Lower Semicontinuity of Multiple Integrals in Calculus of Variations

Calculus of variations is a branch of mathematical analysis that deals with finding functions that optimize (maximize or minimize) functionals. Lower semicontinuity is a fundamental concept in this field, playing a crucial role in ensuring the existence of minimizers for variational problems involving multiple integrals. This article explores the concept, its mathematical foundations, and its significance in the calculus of variations.

Introduction to Multiple Integrals in Variational Problems

In the calculus of variations, we often encounter functionals of the form:

where ℝⁿ is an open domain, u: ℝ^m is our function (or function vector), and f: ℝ^m ℝ^mn ℝ is the integrand. The goal is to find functions u that minimize this functional under certain constraints.

For such problems, the existence of minimizers hinges on two main properties: coercivity and lower semicontinuity of the functional I. While coercivity ensures that the functional is bounded from below, lower semicontinuity provides the necessary topological structure to guarantee that minimizing sequences converge to an actual minimizer.

Definition of Lower Semicontinuity

Equivalently, I is lower semicontinuous at x₀ if for any sequence {x_k} converging to x₀, we have I(x₀) lim_inf I(x_k). The functional is called lower semicontinuous if it has this property at every point in its domain.

In the context of variational problems with multiple integrals, we typically work with the topology induced by L^p norms or weak topologies in various Sobolev spaces. The choice of topology is crucial, as a functional might be lower semicontinuous in one topology but not in another.

Significance in Direct Method of Calculus of Variations

The direct method of the calculus of variations is a powerful technique for proving the existence of minimizers for variational problems. This method relies heavily on lower semicontinuity. The direct method consists of three main steps:

1. Take a minimizing sequence {u_k}.
2. Show that the sequence has a convergent subsequence (using compactness arguments).
3. Prove that the limit of this subsequence is a minimizer (using lower semicontinuity).

Without lower semicontinuity, even if a minimizing sequence converges to some limit, the value of the functional at that limit might be greater than the infimum of the functional values, meaning the limit is not a true minimizer. This is why establishing lower semicontinuity is essential for proving the existence of solutions in variational problems.

Convexity and Lower Semicontinuity

One of the most important results connecting the geometry of the integrand with lower semicontinuity of the associated functional is the following theorem:

This theorem essentially tells us that convexity of the integrand with respect to the gradient variable is a sufficient condition for lower semicontinuity of the functional. This is why many problems in physics and mechanics, which often involve convex energy densities, have well-posed variational formulations.

Quasiconvexity and Its Role

For multiple integrals, the notion of convexity needs to be refined. The appropriate concept for problems in higher dimensions is quasiconvexity, introduced by Morrey:

Quasiconvexity plays a role analogous to convexity in one-dimensional problems. The following theorem establishes its connection to lower semicontinuity:

This result is fundamental in the modern calculus of variations, as it provides necessary and almost sufficient conditions for lower semicontinuity of multiple integrals in the vectorial case.

Relaxation and Non-Convex Problems

When the integrand is not convex (or quasiconvex in the multi-dimensional case), the functional may fail to be lower semicontinuous. In such situations, the direct method of the calculus of variations breaks down, and minimizers may not exist. This leads to the concept of relaxation.

Relaxation involves finding the lower semicontinuous envelope of the functional, defined as:

The relaxed functional I_sc is lower semicontinuous by construction, and its minimizers (which exist under suitable conditions) can be interpreted as "generalized" solutions to the original problem. The theory of relaxation has important applications in elasticity theory and materials science, where many energy functionals are non-convex.

Lower Semicontinuity in Sobolev Spaces

For variational problems defined on Sobolev spaces, different notions of convergence yield different requirements for lower semicontinuity. In particular:

• Sequential lower semicontinuity with respect to strong convergence in W^1,p requires only measurability and appropriate growth conditions on the integrand.
• Sequential lower semicontinuity with respect to weak convergence in W^1,p requires convexity (or quasiconvexity) of the integrand with respect to the gradient.

This distinction is crucial because compactness results in Sobolev spaces typically provide weak convergence, not strong convergence. Therefore, for the direct method to be applicable, we need to establish weak lower semicontinuity, which necessitates the convexity or quasiconvexity conditions mentioned earlier.

Applications

The theory of lower semicontinuity of multiple integrals has numerous applications in physics, engineering, and economics:

1. Elasticity Theory: Problems in elasticity involve minimizing elastic energy functionals, which are multiple integrals of deformation gradients. Lower semicontinuity ensures the existence of equilibrium configurations.
2. Fluid Mechanics: Many variational formulations of fluid flow problems involve functionals depending on velocity and pressure fields.
3. Image Processing: Variational methods for image denoising and segmentation employ functionals that need to be lower semicontinuous to ensure the existence of optimal solutions.
4. Control Theory: Optimal control problems with distributed parameters often involve minimizing multiple integrals over space and time.

Conclusion

Lower semicontinuity of multiple integrals is a cornerstone concept in the calculus of variations. It provides the necessary conditions for the existence of minimizers, which is fundamental to solving many variational problems arising in mathematics and applied sciences. The connection between convexity/quasiconvexity of the integrand and lower semicontinuity of the functional represents one of the most fruitful areas of research in this field.

Understanding this concept allows mathematicians and scientists to determine when variational problems have well-posed solutions and provides tools for handling situations where standard existence theorems fail. The theory continues to evolve, with ongoing research extending these concepts to more general settings and exploring applications in emerging fields.