Problem 18 - Calculus Of Variations, With Applications To Physics And Engineering

Question

It is required to extremize the integral $$ I=\iint_{D} f\left(\phi_{x}, \phi_{\nu}\right) d x d y $$ with respect to functions which are continuous, with their first derivatives, in \(D\) except for a finite number of smooth arcs which subdivide \(D\), without gap or overlap, into a finite number of subdomains; across these arcs, the eligible functions \(\phi\) may exhibit finite discontinuities. Let the subdomains be denoted by \(D_{1}, D_{2}, \ldots, D_{r}\) and the respective boundaries by \(C_{1}, C_{2}, \ldots, C_{r}\). (a) Show that the " \(\epsilon \eta\) process" of \(9-5(b)\)-with the time integral suppressed, and with extension to take care of the allowable discontinuities-leads to the result $$ \sum_{i=1}^{r}\left\\{-\iint_{D_{i}} \eta\left[\frac{\partial}{\partial x}\left(\frac{\partial f}{\partial \phi_{x}}\right)+\frac{\partial}{\partial y}\left(\frac{\partial f}{\partial \phi_{\nu}}\right)\right] d x d y+\int_{C_{i}} \eta\left[\frac{\partial f}{\partial \phi_{x}} \frac{d y}{d s}-\frac{\partial f}{\partial \phi_{y}} \frac{d x}{d s}\right] d s\right\\}=0 $$ HinT: Apply Green's theorem (22) of 2-13 to each subdomain \(D_{i}\) separately. (b) Show that the permissibility of discontinuities across each \(C_{i}\) of the eligible functions \(\phi\) allows us to choose \(\eta\) arbitrarily in the line integral along each \(C_{i} .\) Hence, conclude that $$ \frac{\partial f}{\partial \phi_{x}} \frac{d y}{d s}-\frac{\partial f}{\partial \phi_{y}} \frac{d x}{d s}=0 \quad \text { on } C_{i} \quad(i=1,2, \ldots, r) $$ But every point of the boundary \(C\) of \(D\) is a point of at least one of the \(C_{i}\); thus we have the result that the boundary condition satisfied by the extremizing \(\phi\) is the same at each subdivision boundary as it is at the exterior boundary of the whole domain. (c) Generalize the final result of part (b) to include cases in which \(\phi\) is required to satisfy normalization and orthogonality conditions in \(D\). Establish the asscrtion made in \(9-12(b)\) that any eigenfunction \(\phi_{k}\) of \(S_{B^{\prime}}\)-which satisfies \(\left(\partial \phi_{k} / \partial n\right)=0\) on \(C\)-must satisfy the same relation on each of \(C_{1}, C_{2}, \ldots, C_{r}\).

Step-by-Step Solution

Answer

The solution for extremizing the given integral is achieved through multiple steps. With the initial application of Green's theorem to each subdomain \(D_i\), an equation following \(\epsilon \eta\) process is derived. In accordance with the arbitrariness of \(\eta\), the boundary condition for the extremizing function across each subdivision is the same. Finally, the results are extended to include normalization and orthogonality conditions, thus asserting that any eigenfunction of \(S_{B'}\), which satisfies the specific condition on \(C\), also applies to each of \(C_{1}, C_{2}, \ldots, C_{r}\).

Step 1: Part (a): Application of Green's Theorem

Apply Green's theorem to each subdomain \(D_i\) separately. According to Green's theorem, \(-\iint_{D_{i}} \eta\left[\frac{\partial}{\partial x}\left(\frac{\partial f}{\partial \phi_{x}}\right)+\frac{\partial}{\partial y}\left(\frac{\partial f}{\partial \phi_{\nu}}\right)\right] d x d y + \int_{C_{i}} \eta\left[\frac{\partial f}{\partial \phi_{x}} \frac{d y}{d s}-\frac{\partial f}{\partial \phi_{y}} \frac{d x}{d s}\right] d s\), equals zero.

Step 2: Part (b): Considering Discontinuities and Identifying Boundary Conditions

The discontinuities in the eligible functions \(\phi\) allows us to choose \(\eta\) arbitrarily in the line integral along each \(C_{i}\). Hence, according to the \( \epsilon \eta\) process, \(\frac{\partial f}{\partial \phi_{x}} \frac{d y}{d s}-\frac{\partial f}{\partial \phi_{y}} \frac{d x}{d s}=0\) holds on each \(C_i\). This fact can be leveraged to establish that the boundary condition applicable to the extremizing \(\phi\) would be consistent at each subdivision boundary as well as at the exterior boundary of the whole domain.

Step 3: Part (c): Generalization of Results to Include Normalization and Orthogonality Conditions

Notably, based on the outcome in part (b), it can be extended to include situations where \(\phi\) is required to satisfy normalization and orthogonality conditions in \(D\). Consequently, the assertion established in \(9-12(b)\) is corroborated, making it possible for any eigenfunction \(\phi_{k}\) of \(S_{B'}\), which satisfies the condition \(\left(\partial \phi_{k} / \partial n\right)=0\) on \(C\), to similarly satisfy the same relation on each of \(C_{1}, C_{2}, \ldots, C_{r}\).

Key Concepts

Green's Theorem

Green's Theorem is a powerful tool in calculus that bridges the gap between a double integral over a region and a line integral over the boundary of that region. It is essential in two-dimensional vector calculus and has significant applications in physics and engineering. In simple terms, Green's theorem equates the circulation around a simple closed curve to the sum of the curl over the enclosed plane region. It states that for a continuously differentiable vector field \(\mathbf{F} = \begin{pmatrix} P(x, y) \ Q(x, y) \end{pmatrix}\), the line integral around a closed curve \(C\) is equivalent to the double integral over the region \(D\), such that:\[\oint_{C} (P \, dx + Q \, dy) = \iint_{D} \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \, dx \, dy\]This theorem is particularly useful when dealing with integrals over complex regions, especially when the problem can be broken down into smaller subdomains. It can simplify calculations by reducing a difficult double integral to a simpler line integral. Remember, the theorem only applies to regions where the functions involved are continuous across the boundary.

Boundary Conditions

Boundary conditions are crucial in solving differential equations, especially in the context of physical problems involving spatial domains. They specify the behavior of a solution at the boundaries of the domain. In the given exercise, the boundary conditions stem from the need to extremize the integral over functions that may exhibit discontinuities across certain arcs. One type of boundary condition is the Dirichlet condition, where the values at the boundary are specified. Another type is the Neumann condition, where the derivative at the boundary is given. There can also be mixed conditions combining different types. In this particular context, the boundary conditions help in aligning solutions along both exterior and interior boundaries of a domain. This ensures consistency across the domain as well as at its edges, which is essential for accurately solving variational problems with discontinuities.

Normalization and Orthogonality

Normalization and orthogonality are fundamental concepts in the study of eigenfunctions associated with boundary value problems. These principles are particularly important in quantum mechanics and wave theory.- **Normalization** refers to the process of ensuring that a function maintains a unit length or total probability. In mathematical terms, a function \( \phi(x) \) is normalized over a domain \(D\) if:\[\int_{D} |\phi(x)|^2 \, dx = 1\]- **Orthogonality** involves ensuring that two functions are perpendicular to each other in an integral sense. This means that the functions have zero overlap in their respective influence over the domain. For functions \( \phi(x) \) and \( \psi(x) \), this is expressed as:\[\int_{D} \phi(x) \psi(x) \, dx = 0\]These properties ensure that functions can be independently treated without interference. They play a key role in the solution process by ensuring that the eigenfunctions behave predictively across each of the subdivisions and adhere to the defined boundary conditions.

Discontinuities in Functions

Discontinuities in functions occur when there are sudden jumps or breaks in the values of the function at certain points. These can pose challenges in mathematical analysis, particularly when dealing with integrals and derivatives, as seen in the exercise. Discontinuities can occur in various ways, including: - **Jump Discontinuities**: When a function leaps from one value to another, as seen with step functions. - **Infinite Discontinuities**: When the function approaches infinity at a point, like with hyperbolas near their vertical asymptotes. In calculus of variations, handling discontinuities involves careful mathematical conduct, especially across different regions or boundaries within a domain. In the provided exercise, handling these discontinuities is critical in accurately applying Green's Theorem and ensuring the appropriate boundary conditions. The ability to choose functions arbitrarily along such discontinuities enables consistency across the entire boundary set, leading to precise results when extremizing integrals.