Devoir à la maison à rendre le 10/10/2016

MAT431
2016-2017
Devoir à la maison
Ce problème constitue une suite à l’exercice 4 de la feuille 1 (Calcul des variationsEquation d’Euler-Lagrange). Rappelons le contexte et les résultats obtenus.
Soit V un espace de Hilbert de dimension finie. Soit E = C 1 ([0; 1]; V ), muni de la norme
||γ||E = sup ||γ(t)||V + sup ||γ 0 (t)||V .
t∈[0;1]
t∈[0;1]
Soit I un intervalle ouvert contenant [0, 1] et
L : I × V × V −→ R,
(u, q, v) 7→ L(u, q, v)
une application de classe C 2 . (On a changé le nom des variables pour se rapprocher des
notations des physiciens ; on peut penser à la variable q comme à une position, et à la
variable v comme une vitesse. Les physiciens, qui n’ont peur de rien, utilisent même la
notation q̇ pour cette variable).
On fixe a, b dans V et l’on note Ea,b le sous-espace des γ ∈ E tel que γ(0) = a, γ(1) = b
(espaces des courbes à extrémités fixées a et b dans V ). C’est un sous-espace affine de E,
l’espace vectoriel sous-jacent étant E0,0 .
On définit
Z
1
L̂ : E → R,
L(t, γ(t), γ 0 (t)) dt
L̂(γ) =
0
On a montré que L̂ est de classe C 1 et on a calculé
Z 1
∂L
∂L
0
0
0
dL̂γ (h) =
(t, γ(t), γ (t)) · h(t) +
(t, γ(t), γ (t)) · h (t) dt.
∂q
∂v
0
On a montré que si γ est un point critique de la restriction de L̂ à Ea,b , c’est-à-dire si
dL̂γ (h) = 0 pour tout h ∈ E0,0 , alors γ vérifie l’équation d’Euler-Lagrange (E.L) : pour
tout t ∈ [0; 1],
d
∂L
∂L
0
(E.L)
t 7→
(t, γ(t), γ (t)) =
(t, γ(t), γ 0 (t)).
dt
∂v
∂q
Nous supposerons dans ce problème que les solutions γ de l’équation d’Euler-Lagrange
que nous considérons sont de classe C 2 . Lorsque le Lagrangien est régulier (voir préambule
de la question (7) pour la définition de cette notion), ceci est toujours le cas.
***************************************************************************
(1) On suppose ici V = Rn muni du produit scalaire usuel et de la norme qui en découle.
On suppose que L = T − U , où T ne dépend que de v, T (v) = 21 ||v||2 (on reconnaı̂t
l’énergie cinétique), et U ne dépend que de q (c’est un potentiel ). Montrer que
l’équation d’Euler-Lagrange (E.L) est alors l’équation de Newton
γ 00 (t) = −∇U (γ(t)),
où ∇U désigne le gradient de U .
On voudrait tout d’abord reformuler les résultats du préambule dans le cas où le Lagrangien L n’est pas défini sur I × V × V , mais sur une partie de la forme I × U1 × U2 , où
U1 et U2 sont des ouverts de V . Par exemple, avec les notations de la première question,
1
on voudrait autoriser un potentiel U (q) = ||q||
défini seulement sur V \ {0}.
1
2
On veut donc imposer aux courbes γ ∈ E de vérifier : pour tout t ∈ [0; 1], γ(t) ∈ U1 ,
γ (t) ∈ U2 (les courbes restent confinées dans U1 , et leurs vecteurs tangents dans U2 ).
Notons E(U1 , U2 ) (respectivement Ea,b (U1 , U2 )) l’ensemble des γ ∈ E (respectivement
γ ∈ Ea,b ) vérifiant ces conditions. Commençons par une question préliminaire de topologie.
0
(2) Soient K et U respectivement un compact et un ouvert d’un espace métrique X (on
note d la distance). On suppose K ⊂ U. Pour tout > 0, on note
[
K =
B(x, ).
x∈K
C’est l’ensemble des points à distance plus petite que de K. On veut montrer que
pour assez petit, on a K ⊂ U. Introduisons le complémentaire F de U dans X.
Montrer en raisonnant par l’absurde que l’inf de la fonction
d : K × F → R,
(x, y) 7→ d(x, y)
est strictement positif et conclure.
(3) En déduire que E(U1 , U2 ) et Ea,b (U1 , U2 ) sont ouverts respectivement dans E et Ea,b
que les résultats de l’exercice rappelés ci-dessus restent valides. On pourra fixer γ0
dans l’un de ces espaces, et appliquer la question précédente aux compacts K =
{γ0 (t)| t ∈ [0; 1]} et K 0 = {γ00 (t)| t ∈ [0; 1]}
On s’intéresse maintenant à savoir ce qu’il advient de l’équation d’Euler-Lagrange lorsqu’on effectue un changement de variables. Supposons donc que L soit défini sur I ×U ×V
où U est un ouvert de V , et soit φ : V → U un difféomorphisme (au moins C 2 ) d’un ouvert
V de V sur U. Posons
L1 : I × V × V → R,
(u, q1 , v1 ) 7→ L(u, φ(q1 ), dφq1 (v1 )).
(4) Montrer que si β = φ ◦ γ vérifie l’équation d’Euler-Lagrange pour L, où γ : [0; 1] → V,
alors γ vérifie l’équation d’Euler-Lagrange pour L1 .
Dans la suite, on suppose le Lagrangien L défini sur I × U × V . Soit X un champ
de vecteurs C ∞ sur U ne dépendant pas du temps. On note (s, x) 7→ F (s, x) = Fs (x)
son flot, que l’on suppose défini sur R × U. Rappelons que pour tout s ∈ R, Fs est un
difféomorphisme de U dans lui-même, et que Fs1 ◦ Fs2 = Fs1 +s2 On suppose que L est
invariant sous l’action du groupe à un paramètre de difféomorphismes (Fs )s∈R , c’est-à-dire
que pour tout s ∈ R, pour tout (u, q, v) ∈ I × U × V ,
L(u, Fs (q), d(Fs )q (v)) = L(u, q, v).
(5) Différencier cette identité par rapport à s, et évaluer en s = 0.
(6) Soit γ une courbe dans U vérifiant l’équation d’Euler-Lagrange. En se servant de la
question précédente,montrer que la fonction
∂L
∂F
0
t 7→ Q(t) =
(t, γ(t), γ (t)) ·
(s, γ(t))
∂v
∂s
|s=0
est constante.
Remarque. Ce résultat fondamental est le théorème de Noether : si le Lagrangien est
invariant sous l’action d’un groupe à un paramètre de difféomorphismes, on peut associer
une quantité conservée. C’est par exemple le fondement de la physique des particules
(modèle standard, etc). A titre d’exemple, les plus courageux pourront reprendre le Lagrangien de la première question dans le cas où V = R3 et où le potentiel U admet une
3
1
symétrie sphérique, U (q) = ||q||
par exemple, et déduire de l’invariance du Lagrangien par
rotation l’invariance du moment cinétique .
Nous revenons maintenant à l’équation d’Euler-Lagrange pour une courbe γ, et nous
aimerions transformer celle-ci en une équation différentielle du second ordre vérifiant les
hypothèses du théorème de Cauchy-Lipschitz. Pour cela, il faut faire certaine hypothèses.
Tout d’abord, on suppose le Lagrangien défini sur I ×V ×V (pour simplifier les notations)
2
et γ de classe C 2 . Rappelons que pour tout (u, q, v) ∈ I × V × V , ∂∂vL2 (u, q, v) est une
forme bilinéaire symétrique sur V :
∂ 2L
(`1 , `2 ) ∈ V × V 7→
(u, q, v) · (`1 , `2 ).
∂v 2
On peut voir
∂ 2L
`1 ∈ V 7→
(u, q, v) · (`1 , . )
∂v 2
comme une application linéaire de V à valeurs dans L(V ; R). L’hypothèse supplémentaire
que l’on fait dans la suite est que cette application linéaire est un isomorphisme de V sur
L(V ; R). On dit alors que le Lagrangien est régulier.
(7) On pose
∂L
(u, q, v)).
∂v
Montrer qu’en tout point (u0 , q0 , v0 ) de I × V × V , dΦ(u0 ,q0 ,v0 ) est un isomorphisme.
En déduire que si l’on pose p = ∂L
(u, q, v) ∈ L(V ; R), on peut localement autour
∂v
de ce point (u0 , q0 , v0 ) exprimer v comme une fonction de classe C 1 de (u, q, p) ∈
I × V × L(V ; R) :
v = g(u, q, p).
Φ : I × V × V → I × V × L(V ; R),
(u, q, v) 7→ (u, q,
(8) En remplaçant (u, q, v) par (t, γ(t), γ 0 (t)) et p par p(t) = ∂L
(t, γ(t), γ 0 (t)), réécrire
∂v
localement l’équation d’Euler-Lagrange sous la forme d’un système
(
γ 0 (t) = g(t, γ(t), p(t))
p0 (t) = ∂L
(t, γ(t), g(t, γ(t), p(t)).
∂q
et que les hypothèses du théorème de Cauchy-Lipschitz sont satisfaites pour celui-ci.
(9) En déduire que si on se donne (t0 , q0 , v0 ) ∈]0; 1[×V × V , il existe un intervalle ouvert
J ⊂]0, 1[ tel qu’il existe une unique courbe γ vérifiant l’équation d’Euler-Lagrange
avec γ(t0 ) = q0 et γ 0 (t0 ) = v0 .