Fundamental lemma of calculus of variations

Fundamental lemma of calculus of variations

In mathematics, specifically in the calculus of variations, the fundamental lemma in the calculus of variations is a lemma that is typically used to transform a problem from its weak formulation (variational form) into its strong formulation (differential equation).

Contents

Statement

A function is said to be of class Ck if it is k-times continuously differentiable. For example, class C0 consists of continuous functions, and class C^\infty consists of infinitely smooth functions.

Let f be of class Ck on the interval [a,b]. Assume furthermore that

 \int_a^b f(x) \, h(x) \, dx = 0

for every function h that is of class Ck on [a,b] with h(a) = h(b) = 0. Then the fundamental lemma of the calculus of variations states that f(x) is identically zero on [a,b].

In other words, the test functions h (Ck functions vanishing at the endpoints) separate Ck functions: Ck[a,b] is a Hausdorff space in the weak topology of pairing against Ck functions that vanish at the endpoints.

Proof

Let f satisfy the hypotheses. Let r be any smooth function that is 0 at a and b and positive on (a, b); for example, r = − (xa)(xb). Let h = rf. Then h is of class Ck on [a,b], so

0 = \int_a^b f h \; dx = \int_a^b r f^2 \; dx.

The integrand is nonnegative, so it must be 0 except perhaps on a subset of [a,b] of measure 0. However, by continuity if there are points where the integrand is non-zero, there is also some interval around that point where the integrand is non-zero, which has non-zero measure, so it must be identically 0 over the entire interval. Since r is positive on (a, b), f is 0 there and hence on all of [a, b].

The du Bois-Reymond lemma

The du Bois-Reymond lemma (named after Paul du Bois-Reymond) is a more general version of the above lemma. It defines a sufficient condition to guarantee that a function vanishes almost everywhere. Suppose that f is a locally integrable function defined on an open set \Omega \subset \mathbb{R}^n. If

\int_\Omega f(x) h(x) dx = 0\,

for all h \in C^\infty_0(\Omega), then f(x) = 0 for almost all x in Ω. Here, C^\infty_0(\Omega) is the space of all infinitely differentiable functions defined on Ω whose support is a compact set contained in Ω.

Applications

This lemma is used to prove that extrema of the functional

 J[L(t,y,\dot y)] = \int_{x_0}^{x_1} L(t,y,\dot y) \, dt

are weak solutions of the Euler-Lagrange equation

 {\partial L(t,y,\dot y) \over \partial y} = {d \over dt} {\partial L(t,y,\dot y) \over \partial \dot y} .

The Euler-Lagrange equation plays a prominent role in classical mechanics and differential geometry.

References

  • L. Hörmander, The Analysis of Linear Partial Differential Operators I, (Distribution theory and Fourier Analysis), 2nd ed, Springer; 2nd edition (September 1990) ISBN 0-387-52343-X.
  • Lang, Serge (1969). Analysis II. Addison-Wesley. 

This article incorporates material from Fundamental lemma of calculus of variations on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Calculus of variations — is a field of mathematics that deals with extremizing functionals, as opposed to ordinary calculus which deals with functions. A functional is usually a mapping from a set of functions to the real numbers. Functionals are often formed as definite …   Wikipedia

  • Fundamental theorem — In mathematics, there are a number of fundamental theorems for different fields. The names are mostly traditional; so that for example the fundamental theorem of arithmetic is basic to what would now be called number theory. Theorems may be… …   Wikipedia

  • Lemme Fondamental Du Calcul Des Variations — Le lemme fondamental du calcul des variations est un lemme essentiel au calcul des variations. Il énonce que si f est une fonction continue sur l intervalle [a,b], et pour toute fonction avec h(a) = h(b) = 0, alors f(x) est identiquement nulle… …   Wikipédia en Français

  • Lemme fondamental du calcul des variations — Le lemme fondamental du calcul des variations est un lemme essentiel au calcul des variations. Sommaire 1 Énoncé 2 Preuve 3 Lemme de du Bois Reymond 4 Applications …   Wikipédia en Français

  • List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • Euler–Lagrange equation — In calculus of variations, the Euler–Lagrange equation, or Lagrange s equation is a differential equation whose solutions are the functions for which a given functional is stationary. It was developed by Swiss mathematician Leonhard Euler and… …   Wikipedia

  • Laplace operator — This article is about the mathematical operator. For the Laplace probability distribution, see Laplace distribution. For graph theoretical notion, see Laplacian matrix. Del Squared redirects here. For other uses, see Del Squared (disambiguation) …   Wikipedia

  • Lagrangian mechanics — is a re formulation of classical mechanics that combines conservation of momentum with conservation of energy. It was introduced by Italian mathematician Lagrange in 1788. In Lagrangian mechanics, the trajectory of a system of particles is… …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”