- Lemme fondamental du calcul des variations
-
Le lemme fondamental du calcul des variations est un lemme essentiel au calcul des variations.
Sommaire
Énoncé
Une fonction est dite de classe Ck si elle est k-fois continuement dérivable. Par exemple la classe C0 est constituée des fonctions continues, et la classe est constituée des fonctions infiniment dérivables.
Soit f de classe Ck sur l'intervalle [a,b] telle que
pour toute fonction h de classe Ck sur [a,b] avec h(a) = h(b) = 0.
Alors f est identiquement nulle sur l'intervalle [a,b].
Preuve
Soit f satisfaisant les hypothèses. Soit r une fonction infiniment dérivable nulle en a et b et strictement positive sur ]a, b[, par exemple : r(x) = − (x − a)(x − b). Soit h=fr. Alors h est de classe Ck sur [a,b] et
L'intégrande étant continu et positif sur l'intervalle [a, b], il est nul sur tout cet intervalle, donc f est nulle sur ]a, b[ et (par continuité) nulle aussi en a et b.
Lemme de du Bois-Reymond
Plus généralement, le résultat de ce lemme reste vrai pour f seulement localement intégrable sur un ensemble ouvert U de , en considérant les fonctions h de classe et à support compact dans U : la conclusion est changée en « f est nulle presque partout »[1].
Applications
Ce lemme est utilisé pour prouver que les extrema de la fonctionnelle
sont des solutions faibles de l'équation d'Euler-Lagrange :
Référence
Catégories :- Calcul des variations
- Lemme de mathématiques
Wikimedia Foundation. 2010.