Fundamental lemma of calculus of variations
In mathematics, specifically in the calculus of variations, the fundamental lemma of the calculus of variations states that if the definite integral of the product of a continuous function f(x) and h(x) is zero, for all continuous functions h(x) that vanish at the endpoints of the domain of integration and have their first two derivatives continuous, then f(x)=0. This lemma is used in deriving the Euler–Lagrange equation of the calculus of variations. It is a lemma that is typically used to transform a problem from its weak formulation (variational form) into its strong formulation (differential equation).
A function is said to be of class if it is k-times continuously differentiable. For example, class consists of continuous functions, and class consists of infinitely smooth functions.
Let f be of class on the interval [a,b]. Assume furthermore that
for every function h that is of class on [a,b] with h(a) = h(b) = 0. Then the fundamental lemma of the calculus of variations states that is identically zero on .
Let f satisfy the hypotheses. Let r be any smooth function that is 0 at a and b and positive on the open interval (a, b); for example, r = - (x - a) (x - b). Let h = r f. Then h is of class Ck on [a,b]. By the hypotheses,
The integrand now 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. Thus the integrand 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 is a locally integrable function defined on an open set . If
- 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.
- Leitmann, George (1981). The Calculus of Variations and Optimal Control: An Introduction. Springer. ISBN 0-306-40707-8. Retrieved 2007-04-17.