Les équations du mouvement Modifier
Considérons un système dynamique repéré par des paramètres de position qi (aussi appelés coordonnées généralisées ). Au cours du temps, ces paramètres varient, leur taux de variation étant
q
˙
i
=
d
q
i
d
t
{\displaystyle {\dot {q}}_{i}={\frac {\mathrm {d} q_{i}}{\mathrm {d} t}}}
. L'ensemble des paramètres
φ
i
{\displaystyle \varphi _{i}}
du système est constitué des qi , des
q
˙
i
{\displaystyle {\dot {q}}_{i}}
et du temps t . Dans un grand nombre de situations, il est possible de définir une fonction
L
[
φ
i
]
{\displaystyle {\mathcal {L}}[\varphi _{i}]}
telle que, si on pose :
p
i
=
∂
L
∂
q
˙
i
{\displaystyle p_{i}={\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{i}}}}
(la dérivée partielle étant calculée comme si les paramètres étaient indépendants entre eux), alors les équations du mouvement sont données par :
d
p
i
d
t
=
∂
L
∂
q
i
.
{\displaystyle {\frac {\mathrm {d} p_{i}}{\mathrm {d} t}}={\frac {\partial {\mathcal {L}}}{\partial q_{i}}}.}
Formellement, on constate que ces équations s'obtiennent par application du principe de moindre action (ou principe d'action extrémale), qui s'écrit :
δ
S
δ
φ
i
=
0
{\displaystyle {\frac {\delta {\mathcal {S}}}{\delta \varphi _{i}}}=0}
avec l'action
S
[
φ
i
]
=
∫
L
[
φ
i
(
s
)
]
d
n
s
{\displaystyle {\mathcal {S}}[\varphi _{i}]=\int {{\mathcal {L}}[\varphi _{i}(s)]{}\,\mathrm {d} ^{n}s}}
.
Les équations du mouvement obtenues sont alors équivalentes aux équations d'Euler-Lagrange issues du principe précédent. Un système dynamique dont les équations du mouvement peuvent s'obtenir à partir d'un lagrangien est un système dynamique lagrangien . C'est le cas de la version classique du modèle standard , des équations de Newton , des équations de la relativité générale , et de problèmes purement mathématiques comme les équations des géodésiques ou le problème de Plateau .
Lagrangien en mécanique classique Modifier
La mécanique lagrangienne fut historiquement une reformulation de la mécanique classique à l'aide du concept de lagrangien. Dans ce contexte, le lagrangien est généralement défini par la différence entre l'énergie cinétique Ec = T et l'énergie potentielle Ep = V :
L
=
E
c
−
E
p
=
T
−
V
.
{\displaystyle {\mathcal {L}}=E_{c}-E_{p}=T-V.}
Avec ce formalisme, l'équation de Lagrange s'écrit :
d
d
t
∂
L
∂
q
˙
k
=
∂
L
∂
q
k
.
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{k}}}={\frac {\partial {\mathcal {L}}}{\partial q_{k}}}.}
Démonstration
Considérons un système constitué de points matériels de masse mi . Les positions
r
→
i
{\displaystyle {\vec {r}}_{i}}
de ces points sont fonction des paramètres de position qk , ces derniers variant au cours du temps. Ces points sont soumis à des forces de liaison
f
→
i
{\displaystyle {\vec {f}}_{i}}
, la résultante des autres forces étant
F
→
i
{\displaystyle {\vec {F}}_{i}}
. S'il n'y a pas de frottement, le travail virtuel des forces de liaison lors d'un déplacement virtuel
δ
r
→
i
{\displaystyle \delta {\vec {r}}_{i}}
est nul. La vitesse de chaque particule est donnée par :
r
→
˙
i
=
d
r
→
i
d
t
=
∑
j
∂
r
→
i
∂
q
j
d
q
j
d
t
=
∑
j
∂
r
→
i
∂
q
j
q
˙
j
.
{\displaystyle {\dot {\vec {r}}}_{i}={\frac {\mathrm {d} {\vec {r}}_{i}}{\mathrm {d} t}}=\sum _{j}{\frac {\partial {\vec {r}}_{i}}{\partial q_{j}}}{\frac {\mathrm {d} q_{j}}{\mathrm {d} t}}=\sum _{j}{\frac {\partial {\vec {r}}_{i}}{\partial q_{j}}}{\dot {q}}_{j}.}
C'est une fonction de
t , des
qj et des
q
˙
j
{\displaystyle {\dot {q}}_{j}}
.
L'énergie cinétique du système est donnée par :
T
=
1
2
∑
i
m
i
r
→
˙
i
2
.
{\displaystyle T={\frac {1}{2}}\sum _{i}m_{i}{{\dot {\vec {r}}}_{i}}\,^{2}.}
On a, compte tenu de l'expression précédente de
r
→
˙
i
{\displaystyle {\dot {\vec {r}}}_{i}}
:
∂
T
∂
q
˙
k
=
∑
i
m
i
⟨
r
→
˙
i
,
∂
r
→
˙
i
∂
q
˙
k
⟩
=
∑
i
m
i
⟨
r
→
˙
i
,
∂
r
→
i
∂
q
k
⟩
{\displaystyle {\frac {\partial T}{\partial {\dot {q}}_{k}}}=\sum _{i}m_{i}\left\langle {\dot {\vec {r}}}_{i},{\frac {\partial {\dot {\vec {r}}}_{i}}{\partial {\dot {q}}_{k}}}\right\rangle =\sum _{i}m_{i}\left\langle {\dot {\vec {r}}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle }
où l'on a noté ⟨ , ⟩ le produit scalaire entre vecteurs. On a donc :
d
d
t
∂
T
∂
q
˙
k
=
∑
i
m
i
⟨
r
→
¨
i
,
∂
r
→
i
∂
q
k
⟩
+
∑
i
m
i
⟨
r
→
˙
i
,
d
d
t
∂
r
→
i
∂
q
k
⟩
=
∑
i
m
i
⟨
r
→
¨
i
,
∂
r
→
i
∂
q
k
⟩
+
∑
i
m
i
⟨
r
→
˙
i
,
∑
j
∂
2
r
→
i
∂
q
k
∂
q
j
q
˙
j
⟩
.
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial T}{\partial {\dot {q}}_{k}}}=\sum _{i}m_{i}\left\langle {\ddot {\vec {r}}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle +\sum _{i}m_{i}\left\langle {\dot {\vec {r}}}_{i},{\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle =\sum _{i}m_{i}\left\langle {\ddot {\vec {r}}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle +\sum _{i}m_{i}\left\langle {\dot {\vec {r}}}_{i},\sum _{j}{\frac {\partial ^{2}{\vec {r}}_{i}}{\partial q_{k}\partial q_{j}}}{\dot {q}}_{j}\right\rangle .}
Mais
∑
j
∂
2
r
→
i
∂
q
k
∂
q
j
q
˙
j
{\displaystyle \sum _{j}{\frac {\partial ^{2}{\vec {r}}_{i}}{\partial q_{k}\partial q_{j}}}{\dot {q}}_{j}}
n'est autre que
∂
∂
q
k
∑
j
∂
r
→
i
∂
q
j
q
˙
j
=
∂
r
→
˙
i
∂
q
k
{\displaystyle {\frac {\partial {}}{\partial q_{k}}}\sum _{j}{\frac {\partial {\vec {r}}_{i}}{\partial q_{j}}}{\dot {q}}_{j}={\frac {\partial {\dot {\vec {r}}}_{i}}{\partial q_{k}}}}
. Donc :
d
d
t
∂
T
∂
q
˙
k
=
∑
i
m
i
⟨
r
→
¨
i
,
∂
r
→
i
∂
q
k
⟩
+
∑
i
m
i
⟨
r
→
˙
i
,
∂
r
→
˙
i
∂
q
k
⟩
=
∑
i
m
i
⟨
r
→
¨
i
,
∂
r
→
i
∂
q
k
⟩
+
∂
T
∂
q
k
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial T}{\partial {\dot {q}}_{k}}}=\sum _{i}m_{i}\left\langle {\ddot {\vec {r}}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle +\sum _{i}m_{i}\left\langle {\dot {\vec {r}}}_{i},{\frac {\partial {\dot {\vec {r}}}_{i}}{\partial q_{k}}}\right\rangle =\sum _{i}m_{i}\left\langle {\ddot {\vec {r}}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle +{\frac {\partial T}{\partial q_{k}}}}
donc :
d
d
t
∂
T
∂
q
˙
k
−
∂
T
∂
q
k
=
∑
i
m
i
⟨
r
→
¨
i
,
∂
r
→
i
∂
q
k
⟩
.
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial T}{\partial {\dot {q}}_{k}}}-{\frac {\partial T}{\partial q_{k}}}=\sum _{i}m_{i}\left\langle {\ddot {\vec {r}}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle .}
L'application du principe fondamental de la dynamique donne, en tenant compte que, en ce qui concerne les forces de liaisons,
⟨
f
→
i
,
∂
r
→
i
∂
q
k
⟩
=
0
{\displaystyle \left\langle {\vec {f}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle =0}
:
d
d
t
∂
T
∂
q
˙
k
−
∂
T
∂
q
k
=
∑
i
⟨
F
→
i
,
∂
r
→
i
∂
q
k
⟩
.
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial T}{\partial {\dot {q}}_{k}}}-{\frac {\partial T}{\partial q_{k}}}=\sum _{i}\left\langle {\vec {F}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle .}
Supposons que chaque force
F
→
i
{\displaystyle {\vec {F}}_{i}}
dérive d'un potentiel
Ui fonction de
r
→
i
{\displaystyle {\vec {r}}_{i}}
, de sorte que
F
→
i
=
−
∇
→
U
i
{\displaystyle {\vec {F}}_{i}=-{\vec {\nabla }}U_{i}}
(où
∇
→
{\displaystyle {\vec {\nabla }}}
désigne le gradient). On a alors :
⟨
F
→
i
,
∂
r
→
i
∂
q
k
⟩
=
−
⟨
∇
→
U
i
,
∂
r
→
i
∂
q
k
⟩
=
−
∂
U
i
∂
q
k
{\displaystyle \left\langle {\vec {F}}_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle =-\left\langle {\vec {\nabla }}U_{i},{\frac {\partial {\vec {r}}_{i}}{\partial q_{k}}}\right\rangle =-{\frac {\partial U_{i}}{\partial q_{k}}}}
et donc :
d
d
t
∂
T
∂
q
˙
k
−
∂
T
∂
q
k
=
−
∑
i
∂
U
i
∂
q
k
=
−
∂
V
∂
q
k
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial T}{\partial {\dot {q}}_{k}}}-{\frac {\partial T}{\partial q_{k}}}=-\sum _{i}{\frac {\partial U_{i}}{\partial q_{k}}}=-{\frac {\partial V}{\partial q_{k}}}}
en prenant pour
V la somme des
Ui . La fonction
V ne dépend que des
qk donc, si l'on pose
L
=
T
−
V
{\displaystyle {\mathcal {L}}=T-V}
, on obtient :
d
d
t
∂
L
∂
q
˙
k
=
∂
L
∂
q
k
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}_{k}}}={\frac {\partial {\mathcal {L}}}{\partial q_{k}}}}
qui est bien l'équation de Lagrange annoncée.
Non-unicité du lagrangien Modifier
Pour un lagrangien
L
=
L
(
q
i
,
q
˙
i
,
t
)
{\displaystyle L=L(q_{i},{\dot {q}}_{i},t)}
donné, s'il est possible de le réécrire comme
L
=
L
′
+
d
F
(
q
i
,
t
)
d
t
{\displaystyle L=L'+{\frac {\mathrm {d} F(q_{i},t)}{\mathrm {d} t}}}
où F est une fonction continue et différentiable quelconque des coordonnées généralisées du système, alors
L
′
{\displaystyle L'}
satisfait aussi les équations d'Euler-Lagrange.
Démonstration
Soit un lagrangien
L
=
L
(
q
i
,
q
˙
i
,
t
)
{\displaystyle L=L(q_{i},{\dot {q}}_{i},t)}
. On suppose que l'on peut le réécrire comme
L
=
L
′
+
d
F
d
t
{\displaystyle L=L'+{\frac {\mathrm {d} F}{\mathrm {d} t}}}
où
F
=
F
(
q
i
,
t
)
{\displaystyle F=F(q_{i},t)}
est une fonction quelconque des coordonnées généralisées et du temps (une telle fonction peut survenir en effectuant une transformation des coordonnées du système par exemple). Dans ce cas, on a :
0
=
d
d
t
(
∂
L
∂
q
˙
i
)
−
∂
L
∂
q
i
=
d
d
t
(
∂
L
′
∂
q
˙
i
)
−
∂
L
′
∂
q
i
+
d
d
t
(
∂
∂
q
˙
i
d
F
d
t
)
−
∂
∂
q
i
d
F
d
t
.
{\displaystyle {\begin{aligned}0&={\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\partial L}{\partial {\dot {q}}_{i}}}\right)-{\frac {\partial L}{\partial q_{i}}}\\&={\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\partial L'}{\partial {\dot {q}}_{i}}}\right)-{\frac {\partial L'}{\partial q_{i}}}+{\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\partial }{\partial {\dot {q}}_{i}}}{\frac {\mathrm {d} F}{\mathrm {d} t}}\right)-{\frac {\partial }{\partial q_{i}}}{\frac {\mathrm {d} F}{\mathrm {d} t}}.\end{aligned}}}
On peut réécrire la dérivée totale de F comme :
d
F
d
t
=
∑
k
∂
F
∂
q
k
d
q
k
d
t
+
∂
F
∂
t
=
∑
k
∂
F
∂
q
k
q
˙
k
+
∂
F
∂
t
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} F}{\mathrm {d} t}}&=\sum _{k}{\frac {\partial F}{\partial q_{k}}}{\frac {\mathrm {d} q_{k}}{\mathrm {d} t}}+{\frac {\partial F}{\partial t}}\\&=\sum _{k}{\frac {\partial F}{\partial q_{k}}}{\dot {q}}_{k}+{\frac {\partial F}{\partial t}}\\\end{aligned}}}
Donc
∂
∂
q
˙
i
d
F
d
t
=
∂
F
∂
q
i
{\displaystyle {\frac {\partial }{\partial {\dot {q}}_{i}}}{\frac {\mathrm {d} F}{\mathrm {d} t}}={\frac {\partial F}{\partial q_{i}}}}
. On insère ceci dans l'équation d'Euler-Lagrange plus haut :
0
=
d
d
t
(
∂
L
′
∂
q
˙
i
)
−
∂
L
′
∂
q
i
+
d
d
t
∂
F
∂
q
i
−
∂
∂
q
i
d
F
d
t
=
d
d
t
(
∂
L
′
∂
q
˙
i
)
−
∂
L
′
∂
q
i
{\displaystyle {\begin{aligned}0&={\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\partial L'}{\partial {\dot {q}}_{i}}}\right)-{\frac {\partial L'}{\partial q_{i}}}+{\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial F}{\partial q_{i}}}-{\frac {\partial }{\partial q_{i}}}{\frac {\mathrm {d} F}{\mathrm {d} t}}\\&={\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\partial L'}{\partial {\dot {q}}_{i}}}\right)-{\frac {\partial L'}{\partial q_{i}}}\end{aligned}}}
et ainsi, on voit que le lagrangien
L
′
{\displaystyle L'}
satisfait aussi les équations d'Euler-Lagrange.
Cette propriété de transformation du lagrangien démontre que le lagrangien d'un système n'est jamais unique, car on peut toujours ajouter un terme de la forme
d
F
d
t
{\displaystyle {\frac {\mathrm {d} F}{\mathrm {d} t}}}
à un lagrangien tout en conservant les équations du mouvement.
Un exemple en coordonnées cartésiennes Modifier
La dérivée temporelle d'une variable est indiquée par un point porté au-dessus de celle-ci. Ainsi si
x
→
{\displaystyle {\vec {x}}}
est la position,
v
→
=
x
→
˙
{\displaystyle {\vec {v}}={\dot {\vec {x}}}}
désigne la vitesse et
a
→
=
v
→
˙
=
x
→
¨
{\displaystyle {\vec {a}}={\dot {\vec {v}}}={\ddot {\vec {x}}}}
l'accélération.
Le lagrangien d'une particule de masse m non relativiste dans un espace euclidien à trois dimensions, soumise à un potentiel Ep s'écrit :
L
(
x
→
,
x
→
˙
)
=
E
c
−
E
p
=
1
2
m
v
→
2
−
V
(
x
→
)
=
1
2
m
x
→
˙
2
−
V
(
x
→
)
{\displaystyle L({\vec {x}},{\dot {\vec {x}}})\ =\ E_{c}-E_{p}\ =\ {\frac {1}{2}}\ m\ {\vec {v}}^{2}\ -\ V({\vec {x}})\ =\ {\frac {1}{2}}\ m\ {\dot {\vec {x}}}^{2}\ -\ V({\vec {x}})}
ou encore
L
(
x
→
,
x
→
˙
)
=
p
→
2
2
m
−
V
(
x
→
)
{\displaystyle L({\vec {x}},{\dot {\vec {x}}})\ =\ {\frac {{\vec {p}}\,^{2}}{2m}}\ \ -\ V({\vec {x}})}
où p est la quantité de mouvement :
p
→
=
m
v
→
=
m
x
→
˙
{\displaystyle {\vec {p}}\ =\ m\ {\vec {v}}\ =\ m\ {\dot {\vec {x}}}}
Appliquons les équations d'Euler-Lagrange en coordonnées cartésiennes :
d
d
t
(
∂
L
∂
x
˙
i
)
−
∂
L
∂
x
i
=
0
{\displaystyle {\frac {\mathrm {d} ~}{\mathrm {d} t}}\ \left(\,{\frac {\partial L}{\partial {\dot {x}}_{i}}}\,\right)\ -\ {\frac {\partial L}{\partial x_{i}}}\ =\ 0}
où l'indice i désigne l'une des 3 variables spatiales : x 1 = x , x 2 = y et x 3 = z . Les dérivées respectives de
L
(
x
→
,
x
→
˙
)
{\displaystyle L({\vec {x}},{\dot {\vec {x}}})}
donnent alors :
∂
L
∂
x
i
=
−
∂
V
∂
x
i
{\displaystyle {\frac {\partial L}{\partial x_{i}}}\ =\ -\ {\frac {\partial V}{\partial x_{i}}}}
∂
L
∂
x
˙
i
=
∂
∂
x
˙
i
(
1
2
m
x
→
˙
2
)
=
m
x
˙
i
{\displaystyle {\frac {\partial L}{\partial {\dot {x}}_{i}}}\ =\ {\frac {\partial ~}{\partial {\dot {x}}_{i}}}\,\left(\,{\frac {1}{2}}\ m\ {\dot {\vec {x}}}^{2}\,\right)\ =\ m\,{\dot {x}}_{i}}
d
d
t
(
∂
L
∂
x
˙
i
)
=
m
x
¨
i
{\displaystyle {\frac {\mathrm {d} ~}{\mathrm {d} t}}\ \left(\,{\frac {\partial L}{\partial {\dot {x}}_{i}}}\,\right)\ =\ m\,{\ddot {x}}_{i}}
donc on obtient explicitement pour chaque axe spatial i :
m
x
¨
i
+
∂
V
∂
x
i
=
0
{\displaystyle m\,{\ddot {x}}_{i}\ +\ {\frac {\partial V}{\partial x_{i}}}\ =\ 0}
Dans un référentiel galiléen et lorsque la force dérive du potentiel V
F
→
resultante
=
−
∇
→
V
(
x
)
{\displaystyle {\vec {F}}_{\text{resultante}}\ =\ -\ {\vec {\nabla }}V(x)}
on retrouve bien la deuxième loi de Newton :
m
a
→
=
m
x
→
¨
=
F
→
resultante
.
{\displaystyle m\ {\vec {a}}\ =m\ {\ddot {\vec {x}}}\ =\ {\vec {F}}_{\text{resultante}}.}
En coordonnées sphériques Modifier
Soit un espace à trois dimensions en coordonnées sphériques
(
r
,
θ
,
φ
)
{\displaystyle (r,\theta ,\varphi )}
, et le lagrangien :
L
=
m
2
(
r
˙
2
+
r
2
θ
˙
2
+
r
2
sin
2
(
θ
)
φ
˙
2
)
−
V
(
r
,
θ
,
φ
)
.
{\displaystyle L={\frac {m}{2}}\left({\dot {r}}^{2}+r^{2}{\dot {\theta }}^{2}+r^{2}\sin ^{2}(\theta )\,{\dot {\varphi }}^{2}\right)-V(r,\theta ,\varphi ).}
Les équations d'Euler-Lagrange s'écrivent alors :
d
d
t
(
δ
(
L
)
δ
(
r
˙
)
)
−
δ
(
L
)
δ
(
r
)
=
0
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\delta (L)}{\delta ({\dot {r}})}}\right)-{\frac {\delta (L)}{\delta (r)}}=0}
d
d
t
(
δ
(
L
)
δ
(
θ
˙
)
)
−
δ
(
L
)
δ
(
θ
)
=
0
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\delta (L)}{\delta ({\dot {\theta }})}}\right)-{\frac {\delta (L)}{\delta (\theta )}}=0}
d
d
t
(
δ
(
L
)
δ
(
φ
˙
)
)
−
δ
(
L
)
δ
(
φ
)
=
0.
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\delta (L)}{\delta ({\dot {\varphi }})}}\right)-{\frac {\delta (L)}{\delta (\varphi )}}=0.}
Soit ici :
m
r
¨
−
m
r
(
θ
˙
2
+
sin
2
(
θ
)
φ
˙
2
)
+
V
r
′
=
0
,
{\displaystyle m\,{\ddot {r}}-m\,r\left({\dot {\theta }}^{2}+\sin ^{2}(\theta )\,{\dot {\varphi }}^{2}\right)+V_{r}'=0,}
(
m
r
2
θ
¨
)
+
2
m
r
r
˙
θ
˙
−
m
r
2
sin
(
θ
)
cos
(
θ
)
φ
˙
2
+
V
θ
′
=
0
,
{\displaystyle \left(m\,r^{2}\,{\ddot {\theta }}\right)+2\,m\,r\,{\dot {r}}{\dot {\theta }}-m\,r^{2}\sin(\theta )\cos(\theta )\,{\dot {\varphi }}^{2}+V_{\theta }'=0,}
m
(
r
2
sin
2
(
θ
)
φ
¨
+
2
r
r
˙
sin
2
(
θ
)
φ
˙
+
2
r
2
cos
(
θ
)
sin
(
θ
)
θ
˙
φ
˙
)
+
V
φ
′
=
0.
{\displaystyle m\left(r^{2}\sin ^{2}(\theta )\,{\ddot {\varphi }}+2\,r\,{\dot {r}}\sin ^{2}(\theta )\,{\dot {\varphi }}+2\,r^{2}\cos(\theta )\sin(\theta )\,{\dot {\theta }}\,{\dot {\varphi }}\right)+V_{\varphi }'=0.}
Ici l'ensemble des paramètres
s
i
{\displaystyle s_{i}}
se réduit au temps
t
{\displaystyle t}
, et les variables dynamiques
φ
i
(
s
)
{\displaystyle \varphi _{i}(s)}
sont les trajectoires
x
→
(
t
)
{\displaystyle {\vec {x}}(t)}
des particules.
Lagrangien dans la théorie des champs Modifier
L'intégrale du lagrangien sur le temps est l'action , notée
S
{\displaystyle S}
. Dans la théorie des champs , on distingue parfois le lagrangien
L
{\displaystyle L}
, dont l'intégrale sur le temps est l'action :
S
=
∫
L
d
t
{\displaystyle S=\int {L\,\mathrm {d} t}}
de la densité lagrangienne
L
{\displaystyle {\mathcal {L}}}
, qu'on intègre sur tout l'espace-temps pour obtenir l'action :
S
[
φ
i
]
=
∫
L
[
φ
i
(
x
)
]
d
4
x
.
{\displaystyle S[\varphi _{i}]=\int {{\mathcal {L}}[\varphi _{i}(x)]\,\mathrm {d} ^{4}x}.}
Le lagrangien est ainsi l'intégrale spatiale de la densité lagrangienne. Cependant, on appelle souvent
L
{\displaystyle {\mathcal {L}}}
simplement le lagrangien, surtout dans l'usage moderne. C'est plus simple dans les théories relativistes où l'espace est défini localement. Ces deux types de lagrangiens peuvent être vus comme des cas particuliers d'une formule plus générale, selon qu'on introduit la variable spatiale
x
→
{\displaystyle {\vec {x}}}
dans les index
i
{\displaystyle i}
ou dans les paramètres
s
{\displaystyle s}
pour écrire
φ
i
(
s
)
{\displaystyle \varphi _{i}(s)}
. Les théories quantiques des champs en physique des particules, comme l'électrodynamique quantique , sont généralement écrites en termes de densités de lagrangiens
L
{\displaystyle {\mathcal {L}}}
, ces termes se transformant facilement pour donner les règles permettant d'évaluer les diagrammes de Feynman .
Équations d'Euler-Lagrange Modifier
Les équations d'Euler-Lagrange en théorie des champs s'écrivent
∀
i
{\displaystyle \forall i}
:
0
=
∂
μ
(
∂
L
∂
(
∂
μ
φ
i
)
)
−
∂
L
∂
φ
i
.
{\displaystyle 0=\partial _{\mu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\varphi _{i})}}\right)-{\frac {\partial {\mathcal {L}}}{\partial \varphi _{i}}}.}
Non-unicité de la densité lagrangienne en théorie des champs classique Modifier
Comme pour la non-unicité du lagrangien, la densité lagrangienne en théorie des champs n'est pas unique.
En effet, soit une densité lagrangienne
L
{\displaystyle {\mathcal {L}}}
alors, si on peut la réécrire comme
L
=
L
′
+
∂
μ
F
μ
{\displaystyle {\mathcal {L}}={\mathcal {L}}'+\partial _{\mu }F^{\mu }}
où
F
μ
=
F
μ
[
φ
,
x
]
{\displaystyle F^{\mu }=F^{\mu }[\varphi ,x]}
est un quadrivecteur qui dépend uniquement des champs (et non de leurs dérivées) et du vecteur d'espace-temps, alors
L
′
{\displaystyle {\mathcal {L}}'}
satisfait les mêmes équations d'Euler-Lagrange que
L
{\displaystyle {\mathcal {L}}}
.
Démonstration
En partant des équations d'Euler-Lagrange de la densité lagrangienne originale, on a pour tout
i
{\displaystyle i}
:
0
=
∂
μ
(
∂
L
∂
(
∂
μ
φ
i
)
)
−
∂
L
∂
φ
i
=
∂
μ
(
∂
L
′
∂
(
∂
μ
φ
i
)
)
−
∂
L
′
∂
φ
i
+
∂
μ
[
∂
∂
(
∂
μ
φ
i
)
∂
ν
F
ν
]
−
∂
∂
φ
i
∂
ν
F
ν
{\displaystyle {\begin{aligned}0&=\partial _{\mu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\varphi _{i})}}\right)-{\frac {\partial {\mathcal {L}}}{\partial \varphi _{i}}}\\&=\partial _{\mu }\left({\frac {\partial {\mathcal {L}}'}{\partial (\partial _{\mu }\varphi _{i})}}\right)-{\frac {\partial {\mathcal {L}}'}{\partial \varphi _{i}}}+\partial _{\mu }\left[{\frac {\partial }{\partial (\partial _{\mu }\varphi _{i})}}\partial _{\nu }F^{\nu }\right]-{\frac {\partial }{\partial \varphi _{i}}}\partial _{\nu }F^{\nu }\end{aligned}}}
On peut réécrire la quadridivergence du vecteur
F
ν
{\displaystyle F^{\nu }}
comme :
∂
μ
F
μ
[
φ
i
,
x
]
=
∑
i
∂
F
μ
∂
φ
i
∂
μ
φ
i
→
∂
∂
(
∂
μ
φ
i
)
∂
ν
F
ν
=
∂
F
ν
∂
φ
i
.
{\displaystyle {\begin{aligned}\partial _{\mu }F^{\mu }[\varphi _{i},x]&=\sum _{i}{\frac {\partial F^{\mu }}{\partial \varphi _{i}}}\partial _{\mu }\varphi _{i}\\\rightarrow {\frac {\partial }{\partial (\partial _{\mu }\varphi _{i})}}\partial _{\nu }F^{\nu }&={\frac {\partial F^{\nu }}{\partial \varphi _{i}}}.\end{aligned}}}
Ainsi, en insérant cette identité dans l'équation du haut on obtient :
0
=
∂
μ
(
∂
L
′
∂
(
∂
μ
φ
i
)
)
−
∂
L
′
∂
φ
i
+
∂
μ
[
∂
F
μ
∂
φ
i
]
−
∂
∂
φ
i
∂
ν
F
ν
=
∂
μ
(
∂
L
′
∂
(
∂
μ
φ
i
)
)
−
∂
L
′
∂
φ
i
{\displaystyle {\begin{aligned}0&=\partial _{\mu }\left({\frac {\partial {\mathcal {L}}'}{\partial (\partial _{\mu }\varphi _{i})}}\right)-{\frac {\partial {\mathcal {L}}'}{\partial \varphi _{i}}}+\partial _{\mu }\left[{\frac {\partial F^{\mu }}{\partial \varphi _{i}}}\right]-{\frac {\partial }{\partial \varphi _{i}}}\partial _{\nu }F^{\nu }\\&=\partial _{\mu }\left({\frac {\partial {\mathcal {L}}'}{\partial (\partial _{\mu }\varphi _{i})}}\right)-{\frac {\partial {\mathcal {L}}'}{\partial \varphi _{i}}}\end{aligned}}}
et ainsi, la densité lagrangienne
L
′
{\displaystyle {\mathcal {L}}'}
satisfait les mêmes équations d'Euler-Lagrange que la densité
L
{\displaystyle {\mathcal {L}}}
.
Lagrangien d'une particule chargée Modifier
En général, en mécanique classique lagrangienne, le lagrangien vaut :
L
=
T
−
V
{\displaystyle L=T-V}
où T est l'énergie cinétique et V l'énergie potentielle.
Étant donnée une particule chargée électriquement de masse m et charge q , et de vitesse
v
→
{\displaystyle {\vec {v}}}
dans un champ électromagnétique de potentiel scalaire
ϕ
{\displaystyle \phi }
, et de potentiel vecteur
A
→
{\displaystyle {\vec {A}}}
, l'énergie cinétique de la particule est :
T
=
1
2
m
v
→
⋅
v
→
{\displaystyle T={1 \over 2}m{\vec {v}}\cdot {\vec {v}}}
et son énergie potentielle est :
V
=
q
ϕ
−
q
v
→
⋅
A
→
.
{\displaystyle V=q\phi -q{\vec {v}}\cdot {\vec {A}}.}
Le lagrangien électromagnétique est alors :
L
=
1
2
m
v
→
⋅
v
→
−
q
ϕ
+
q
v
→
⋅
A
→
.
{\displaystyle L={1 \over 2}m{\vec {v}}\cdot {\vec {v}}-q\phi +q{\vec {v}}\cdot {\vec {A}}.}
Démonstration
Cet encart explique comment on peut établir l'expression du lagrangien.
Le lagrangien électromagnétique se construit à partir de l'expression de la force de Lorentz qui est, rappelons-le, une force non conservative. Si elle ne dérive pas d'un potentiel classique, elle dérive en revanche d'un potentiel dit généralisé au sens des équations de Lagrange . Son énergie potentielle V satisfait en effet l'équation suivante :
F
→
=
d
d
t
∂
V
(
r
→
,
v
→
,
t
)
∂
v
→
−
∂
V
(
r
→
,
v
→
,
t
)
∂
r
→
(
∗
)
.
{\displaystyle {\vec {F}}={\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial V({\vec {r}},{\vec {v}},t)}{\partial {\vec {v}}}}-{\frac {\partial V({\vec {r}},{\vec {v}},t)}{\partial {\vec {r}}}}\quad (*).}
La force de Lorentz a pour expression :
F
→
=
q
(
E
→
+
v
→
×
B
→
)
.
{\displaystyle {\vec {F}}=q({\vec {E}}+{\vec {v}}\times {\vec {B}}).}
D'après Maxwell :
E
→
=
−
∇
→
ϕ
−
∂
A
→
∂
t
{\displaystyle {\vec {E}}=-{\vec {\nabla }}\phi -{\frac {\partial {\vec {A}}}{\partial t}}}
donc :
F
→
=
q
(
−
∇
→
ϕ
−
∂
A
→
∂
t
+
v
→
×
(
∇
→
×
A
→
)
)
{\displaystyle {\vec {F}}=q(-{\vec {\nabla }}\phi -{\frac {\partial {\vec {A}}}{\partial t}}+{\vec {v}}\times ({\vec {\nabla }}\times {\vec {A}}))}
.
Or d'après la formule de Gibbs :
v
→
×
(
∇
→
×
A
→
)
=
∇
→
(
v
→
⋅
A
→
)
−
(
v
→
⋅
∇
→
)
A
→
{\displaystyle {\vec {v}}\times ({\vec {\nabla }}\times {\vec {A}})={\vec {\nabla }}({\vec {v}}\cdot {\vec {A}})-({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}}
⇒
F
→
=
q
[
−
∇
→
ϕ
−
∂
A
→
∂
t
+
∇
→
(
v
→
⋅
A
→
)
−
(
v
→
⋅
∇
→
)
A
→
]
{\displaystyle \Rightarrow {\vec {F}}=q[-{\vec {\nabla }}\phi -{\frac {\partial {\vec {A}}}{\partial t}}+{\vec {\nabla }}({\vec {v}}\cdot {\vec {A}})-({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}]}
=
−
q
[
∂
A
→
∂
t
+
(
v
→
⋅
∇
→
)
A
→
]
+
q
[
−
∇
→
ϕ
+
∇
→
(
v
→
⋅
A
→
)
]
=
−
q
[
∂
A
→
∂
t
+
(
v
→
⋅
∇
→
)
A
→
]
+
q
∇
→
[
−
ϕ
+
(
v
→
⋅
A
→
)
]
{\displaystyle =-q\left[{\frac {\partial {\vec {A}}}{\partial t}}+({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}\right]+q[-{\vec {\nabla }}\phi +{\vec {\nabla }}({\vec {v}}\cdot {\vec {A}})]=-q\left[{\frac {\partial {\vec {A}}}{\partial t}}+({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}\right]+q{\vec {\nabla }}[-\phi +({\vec {v}}\cdot {\vec {A}})]}
=
−
q
[
∂
A
→
∂
t
+
(
v
→
⋅
∇
→
)
A
→
]
−
∂
∂
r
→
q
[
ϕ
−
(
v
→
⋅
A
→
)
]
.
{\displaystyle =-q\left[{\frac {\partial {\vec {A}}}{\partial t}}+({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}\right]-{\frac {\partial }{\partial {\vec {r}}}}q[\phi -({\vec {v}}\cdot {\vec {A}})].}
Posons :
V
′
=
q
[
ϕ
−
(
v
→
⋅
A
→
)
]
⇒
F
→
=
−
q
[
∂
A
→
∂
t
+
(
v
→
⋅
∇
→
)
A
→
]
−
∂
V
′
∂
r
→
{\displaystyle V'=q[\phi -({\vec {v}}\cdot {\vec {A}})]\quad \Rightarrow \quad {\vec {F}}=-q\left[{\frac {\partial {\vec {A}}}{\partial t}}+({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}\right]-{\frac {\partial V'}{\partial {\vec {r}}}}}
.
Déterminons
d
d
t
∂
V
′
∂
v
→
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial V'}{\partial {\vec {v}}}}}
:
∂
V
′
∂
v
→
=
−
q
A
→
⇒
d
d
t
∂
V
′
∂
v
→
=
−
q
d
A
→
d
t
{\displaystyle {\frac {\partial V'}{\partial {\vec {v}}}}=-q{\vec {A}}\Rightarrow {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial V'}{\partial {\vec {v}}}}=-q{\frac {\mathrm {d} {\vec {A}}}{\mathrm {d} t}}}
.Or :
d
A
→
=
∂
A
→
∂
t
d
t
+
∂
A
→
∂
x
d
x
+
∂
A
→
∂
y
d
y
+
∂
A
→
∂
z
d
z
⇒
d
A
→
d
t
=
∂
A
→
∂
t
+
∂
A
→
∂
x
x
˙
+
∂
A
→
∂
y
y
˙
+
∂
A
→
∂
z
z
˙
{\displaystyle \mathrm {d} {\vec {A}}={\frac {\partial {\vec {A}}}{\partial t}}\,\mathrm {d} t+{\frac {\partial {\vec {A}}}{\partial x}}\,\mathrm {d} x+{\frac {\partial {\vec {A}}}{\partial y}}\,\mathrm {d} y+{\frac {\partial {\vec {A}}}{\partial z}}\,\mathrm {d} z\quad \Rightarrow \quad {\frac {\mathrm {d} {\vec {A}}}{\mathrm {d} t}}={\frac {\partial {\vec {A}}}{\partial t}}+{\frac {\partial {\vec {A}}}{\partial x}}{\dot {x}}+{\frac {\partial {\vec {A}}}{\partial y}}{\dot {y}}+{\frac {\partial {\vec {A}}}{\partial z}}{\dot {z}}}
⇒
d
d
t
∂
V
′
∂
v
→
=
−
q
d
A
→
d
t
=
−
q
∂
A
→
∂
t
−
q
[
+
∂
A
→
∂
x
x
˙
+
∂
A
→
∂
y
y
˙
+
∂
A
→
∂
z
z
˙
]
.
{\displaystyle \Rightarrow {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial V'}{\partial {\vec {v}}}}=-q{\frac {\mathrm {d} {\vec {A}}}{\mathrm {d} t}}=-q{\frac {\partial {\vec {A}}}{\partial t}}-q\left[+{\frac {\partial {\vec {A}}}{\partial x}}{\dot {x}}+{\frac {\partial {\vec {A}}}{\partial y}}{\dot {y}}+{\frac {\partial {\vec {A}}}{\partial z}}{\dot {z}}\right].}
On peut remarquer au passage :
∂
A
→
∂
x
x
˙
+
∂
A
→
∂
y
y
˙
+
∂
A
→
∂
z
z
˙
=
(
x
˙
∂
A
x
∂
x
+
y
˙
∂
A
x
∂
y
+
z
˙
∂
A
x
∂
z
x
˙
∂
A
y
∂
x
+
y
˙
∂
A
y
∂
y
+
z
˙
∂
A
y
∂
z
x
˙
∂
A
z
∂
x
+
y
˙
∂
A
z
∂
y
+
z
˙
∂
A
z
∂
z
)
=
(
x
˙
∂
∂
x
+
y
˙
∂
∂
y
+
z
˙
∂
∂
z
)
(
A
x
A
y
A
z
)
=
[
(
x
˙
y
˙
z
˙
)
⋅
(
∂
∂
x
∂
∂
y
∂
∂
z
)
]
(
A
x
A
y
A
z
)
{\displaystyle {\frac {\partial {\vec {A}}}{\partial x}}{\dot {x}}+{\frac {\partial {\vec {A}}}{\partial y}}{\dot {y}}+{\frac {\partial {\vec {A}}}{\partial z}}{\dot {z}}={\begin{pmatrix}{}{\dot {x}}{\frac {\partial A_{x}}{\partial x}}+{\dot {y}}{\frac {\partial A_{x}}{\partial y}}+{\dot {z}}{\frac {\partial A_{x}}{\partial z}}\\{\dot {x}}{\frac {\partial A_{y}}{\partial x}}+{\dot {y}}{\frac {\partial A_{y}}{\partial y}}+{\dot {z}}{\frac {\partial A_{y}}{\partial z}}\\{\dot {x}}{\frac {\partial A_{z}}{\partial x}}+{\dot {y}}{\frac {\partial A_{z}}{\partial y}}+{\dot {z}}{\frac {\partial A_{z}}{\partial z}}\end{pmatrix}}=({\dot {x}}{\frac {\partial }{\partial x}}+{\dot {y}}{\frac {\partial }{\partial y}}+{\dot {z}}{\frac {\partial }{\partial z}}){\begin{pmatrix}{}A_{x}\\A_{y}\\A_{z}\end{pmatrix}}=\left[{\begin{pmatrix}{}{\dot {x}}\\{\dot {y}}\\{\dot {z}}\end{pmatrix}}\cdot {\begin{pmatrix}{}{\frac {\partial }{\partial x}}\\{\frac {\partial }{\partial y}}\\{\frac {\partial }{\partial z}}\end{pmatrix}}\right]{\begin{pmatrix}{}A_{x}\\A_{y}\\A_{z}\end{pmatrix}}}
donc :
d
A
→
d
t
=
∂
A
→
∂
t
+
(
v
→
⋅
∇
→
)
A
→
{\displaystyle {\frac {\mathrm {d} {\vec {A}}}{\mathrm {d} t}}={\frac {\partial {\vec {A}}}{\partial t}}+({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}}
⇒
d
d
t
∂
V
′
∂
v
→
=
−
q
d
A
→
d
t
=
−
q
[
∂
A
→
∂
t
+
(
v
→
⋅
∇
→
)
A
→
]
⇒
F
→
=
d
d
t
∂
∂
v
→
q
[
ϕ
−
(
v
→
⋅
A
→
)
]
−
∂
∂
r
→
q
[
ϕ
−
(
v
→
⋅
A
→
)
]
{\displaystyle \Rightarrow {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial V'}{\partial {\vec {v}}}}=-q{\frac {\mathrm {d} {\vec {A}}}{\mathrm {d} t}}=-q\left[{\frac {\partial {\vec {A}}}{\partial t}}+({\vec {v}}\cdot {\vec {\nabla }}){\vec {A}}\right]\Rightarrow {\vec {F}}={\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial }{\partial {\vec {v}}}}q[\phi -({\vec {v}}\cdot {\vec {A}})]-{\frac {\partial }{\partial {\vec {r}}}}q[\phi -({\vec {v}}\cdot {\vec {A}})]}
.
V
′
=
q
[
ϕ
−
(
v
→
⋅
A
→
)
]
{\displaystyle V'=q[\phi -({\vec {v}}\cdot {\vec {A}})]}
satisfait l'équation de Lagrange (*) vue supra.
V
′
{\displaystyle V'}
est donc l'énergie potentielle relative à la
force de Lorentz dont le lagrangien est
L
=
1
2
m
v
→
2
−
q
[
ϕ
−
(
v
→
⋅
A
→
)
]
{\displaystyle \quad L={\frac {1}{2}}m{\vec {v}}^{2}-q[\phi -({\vec {v}}\cdot {\vec {A}})]}
.
Autre démonstration
Cet encart propose de vérifier que le lagrangien
L
=
1
2
m
v
→
⋅
v
→
−
q
ϕ
+
q
v
→
⋅
A
→
{\displaystyle L={1 \over 2}m{\vec {v}}\cdot {\vec {v}}-q\phi +q{\vec {v}}\cdot {\vec {A}}}
donne bien le principe fondamental de la dynamique pour une particule de masse m et de charge électrique q soumise à la force de Lorentz. Il constitue donc la démonstration dans le sens contraire de la précédente.
On écrit explicitement
L
{\displaystyle L}
en coordonnées cartésiennes indicées
x
1
,
x
2
,
x
3
.
{\displaystyle x_{1},x_{2},x_{3}.}
On a donc :
L
=
1
2
m
∑
i
=
1
3
x
i
˙
2
+
q
∑
i
=
1
3
x
i
˙
A
i
−
q
ϕ
,
{\displaystyle L={\frac {1}{2}}m\sum _{i=1}^{3}{\dot {x_{i}}}^{2}+q\sum _{i=1}^{3}{\dot {x_{i}}}A_{i}-q\phi ,}
avec
A
i
=
A
i
(
x
1
(
t
)
,
x
2
(
t
)
,
x
3
(
t
)
,
t
)
{\displaystyle A_{i}=A_{i}(x_{1}(t),x_{2}(t),x_{3}(t),t)}
composante n°
i du potentiel vecteur
A
→
{\displaystyle {\vec {A}}}
et
ϕ
=
ϕ
(
x
1
(
t
)
,
x
2
(
t
)
,
x
3
(
t
)
,
t
)
.
{\displaystyle \phi =\phi (x_{1}(t),x_{2}(t),x_{3}(t),t).}
Évaluons les équations de Lagrange pour la composante n°1 :
∂
L
∂
x
1
=
q
∑
i
=
1
3
x
i
˙
∂
A
i
∂
x
1
−
q
∂
ϕ
∂
x
1
et
d
d
t
∂
L
∂
x
1
˙
=
d
d
t
(
m
x
1
˙
+
q
A
1
)
=
m
d
2
x
1
d
t
2
+
q
d
A
1
d
t
.
{\displaystyle {\frac {\partial L}{\partial x_{1}}}=q\sum _{i=1}^{3}{\dot {x_{i}}}{\frac {\partial A_{i}}{\partial x_{1}}}-q{\frac {\partial \phi }{\partial x_{1}}}\qquad {\text{et}}\qquad {\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial L}{\partial {\dot {x_{1}}}}}={\frac {\mathrm {d} }{\mathrm {d} t}}\left(m{\dot {x_{1}}}+qA_{1}\right)=m{\frac {\mathrm {d} ^{2}x_{1}}{\mathrm {d} t^{2}}}+q{\frac {\mathrm {d} A_{1}}{\mathrm {d} t}}.}
Or la dérivée totale par rapport au temps de
A
1
{\displaystyle A_{1}}
est égale à sa dérivée particulaire :
d
A
1
d
t
=
∂
A
1
∂
t
+
∑
i
=
1
3
x
i
˙
∂
A
1
∂
x
i
.
{\displaystyle {\frac {\mathrm {d} A_{1}}{\mathrm {d} t}}={\frac {\partial A_{1}}{\partial t}}+\sum _{i=1}^{3}{\dot {x_{i}}}{\frac {\partial A_{1}}{\partial x_{i}}}.}
D'où l'expression de l'équation du mouvement pour la composante n°1 :
m
d
2
x
1
d
t
2
+
q
d
A
1
d
t
=
q
∑
i
=
1
3
x
i
˙
∂
A
i
∂
x
1
−
q
∂
ϕ
∂
x
1
{\displaystyle m{\frac {\mathrm {d} ^{2}x_{1}}{\mathrm {d} t^{2}}}+q{\frac {\mathrm {d} A_{1}}{\mathrm {d} t}}=q\sum _{i=1}^{3}{\dot {x_{i}}}{\frac {\partial A_{i}}{\partial x_{1}}}-q{\frac {\partial \phi }{\partial x_{1}}}}
m
d
2
x
1
d
t
2
+
q
∂
A
1
∂
t
+
q
∑
i
=
1
3
x
i
˙
∂
A
1
∂
x
i
=
q
∑
i
=
1
3
x
i
˙
∂
A
i
∂
x
1
−
q
∂
ϕ
∂
x
1
{\displaystyle m{\frac {\mathrm {d} ^{2}x_{1}}{\mathrm {d} t^{2}}}+q{\frac {\partial A_{1}}{\partial t}}+q\sum _{i=1}^{3}{\dot {x_{i}}}{\frac {\partial A_{1}}{\partial x_{i}}}=q\sum _{i=1}^{3}{\dot {x_{i}}}{\frac {\partial A_{i}}{\partial x_{1}}}-q{\frac {\partial \phi }{\partial x_{1}}}}
En simplifiant, il reste :
m
d
2
x
1
d
t
2
=
−
q
∂
A
1
∂
t
−
q
∂
ϕ
∂
x
1
+
q
x
2
˙
(
∂
A
2
∂
x
1
−
∂
A
1
∂
x
2
)
+
q
x
3
˙
(
∂
A
3
∂
x
1
−
∂
A
1
∂
x
3
)
.
{\displaystyle m{\frac {\mathrm {d} ^{2}x_{1}}{\mathrm {d} t^{2}}}=-q{\frac {\partial A_{1}}{\partial t}}-q{\frac {\partial \phi }{\partial x_{1}}}+q{\dot {x_{2}}}\left({\frac {\partial A_{2}}{\partial x_{1}}}-{\frac {\partial A_{1}}{\partial x_{2}}}\right)+q{\dot {x_{3}}}\left({\frac {\partial A_{3}}{\partial x_{1}}}-{\frac {\partial A_{1}}{\partial x_{3}}}\right).}
Avec
B
→
=
∇
→
×
A
→
{\displaystyle {\vec {B}}={\vec {\nabla }}\times {\vec {A}}}
et
E
→
=
−
∂
A
→
∂
t
−
∇
→
ϕ
{\displaystyle {\vec {E}}=-{\frac {\partial {\vec {A}}}{\partial t}}-{\vec {\nabla }}\phi }
, on reconnait à droite de l'égalité l'expression de la première composante de la force de Lorentz. On procède de même pour les autres composantes
Lagrangien du champ électromagnétique Modifier
On se place dans l'espace de Minkowski
M
{\displaystyle {\mathcal {M}}}
de la relativité restreinte . En présence de termes sources
J
μ
=
(
ρ
c
,
j
→
)
{\displaystyle J^{\mu }=(\rho c,{\vec {j}})}
, la densité lagrangienne du champ électromagnétique est donnée par
L
=
−
1
4
μ
0
F
μ
ν
F
μ
ν
+
J
μ
A
μ
{\displaystyle {\mathcal {L}}=-{\frac {1}{4\mu _{0}}}F_{\mu \nu }F^{\mu \nu }+J^{\mu }A_{\mu }}
où
F
μ
ν
=
∂
μ
A
ν
−
∂
ν
A
μ
{\displaystyle F_{\mu \nu }=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }}
est le tenseur de Maxwell , et
A
μ
{\displaystyle A_{\mu }}
est le quadrivecteur potentiel . Le premier terme est lié à la densité d'énergie du champ dans l'espace, et est l'invariant de Lorentz le plus simple du tenseur
F
μ
ν
{\displaystyle F_{\mu \nu }}
.
Exemples de densité lagrangiennes en théorie quantique des champs Modifier
Le lagrangien de Dirac Modifier
La densité lagrangienne pour un champ de Dirac (en) est :
L
=
ψ
¯
(
i
ℏ
c
⧸
D
−
m
c
2
)
ψ
{\displaystyle {\mathcal {L}}={\bar {\psi }}\left(i\,\hbar \,c\not \!D-m\,c^{2}\right)\psi }
où
ψ
{\displaystyle \psi }
est un spineur ,
ψ
¯
=
ψ
†
γ
0
{\displaystyle {\bar {\psi }}=\psi ^{\dagger }\gamma ^{0}}
est son adjoint de Dirac ,
D
{\displaystyle D}
est la dérivée covariante de jauge , et
⧸
D
{\displaystyle \not \!D}
est la notation de Feynman pour
γ
σ
D
σ
{\displaystyle \gamma ^{\sigma }D_{\sigma }}
.
Le lagrangien de l'électrodynamique quantique Modifier
La densité lagrangienne en QED est :
L
Q
E
D
=
ψ
¯
(
i
ℏ
c
⧸
D
−
m
c
2
)
ψ
−
1
4
μ
0
F
μ
ν
F
μ
ν
{\displaystyle {\mathcal {L}}_{\mathrm {QED} }={\bar {\psi }}(i\hbar c\not \!D-mc^{2})\psi -{1 \over 4\mu _{0}}F_{\mu \nu }F^{\mu \nu }}
où
F
μ
ν
{\displaystyle F^{\mu \nu }}
est le tenseur électromagnétique .
Le lagrangien de la chromodynamique quantique Modifier
La densité lagrangienne en QCD est[ 1] , [ 2] , [ 3] :
L
Q
C
D
=
∑
n
ψ
¯
n
(
i
ℏ
c
⧸
D
−
m
n
c
2
)
ψ
n
−
1
4
G
α
μ
ν
G
α
μ
ν
{\displaystyle {\mathcal {L}}_{\mathrm {QCD} }=\sum _{n}{\bar {\psi }}_{n}(i\hbar c\not \!D-m_{n}c^{2})\psi _{n}-{1 \over 4}G^{\alpha }{}_{\mu \nu }G_{\alpha }{}^{\mu \nu }}
où
D
{\displaystyle D}
est la dérivée covariante de jauge en QCD, et
G
α
μ
ν
{\displaystyle G^{\alpha }{}_{\mu \nu }}
est le tenseur de la force du champ du gluon .
Formalisme mathématique Modifier
Soit
M
{\displaystyle M}
une variété de dimension
n
{\displaystyle n}
, et une variété de destination
T
{\displaystyle T}
. Soit
C
{\displaystyle {\mathcal {C}}}
l'ensemble des fonctions
C
∞
{\displaystyle {\mathcal {C}}^{\infty }}
de
M
{\displaystyle M}
dans
T
{\displaystyle T}
, appelé espace de configuration .
Avant tout donnons quelques exemples :
en mécanique classique, dans le formalisme d'Hamilton ,
M
{\displaystyle M}
est la variété de dimension 1
R
{\displaystyle \mathbb {R} }
, qui représente le temps, et l'espace de destination est le fibré cotangent de l'espace des positions généralisées ;
dans la théorie des champs,
M
{\displaystyle M}
est la variété espace-temps et l'espace de destination est l'ensemble des valeurs possibles des champs en chaque point. Si par exemple il y a
m
{\displaystyle m}
champs scalaires réels φ1 ,...,φm , alors la variété de destination est
R
m
{\displaystyle \mathbb {R} ^{m}}
. Si l'on a un champ de vecteurs réels, la variété de destination est isomorphe à
R
n
{\displaystyle \mathbb {R} ^{n}}
. Il y a en fait une manière plus élégante d'utiliser le fibré tangent, mais on s'en tiendra à cette version. Supposons maintenant qu'il existe une fonctionnelle
S
:
C
→
R
{\displaystyle S:{\mathcal {C}}\to \mathbb {R} }
, qu'on appelle l'action physique. C'est une application vers
R
{\displaystyle \mathbb {R} }
, et non vers
C
{\displaystyle \mathbb {C} }
, pour des raisons physiques.
Pour que l'action soit locale, nous avons besoin de restrictions supplémentaires. Si
φ
∈
C
,
{\displaystyle \varphi \in {\mathcal {C}},}
on impose que S [φ ] soit l'intégrale sur M d'une fonction de φ, de ses dérivées et des positions qu'on appelle le lagrangien
L
(
φ
,
∂
φ
,
∂
2
φ
,
…
,
x
)
{\displaystyle {\mathcal {L}}(\varphi ,\partial \varphi ,\partial ^{2}\varphi ,\dots ,x)}
. En d'autres termes,
∀
φ
∈
C
,
S
[
φ
]
≡
∫
M
d
n
x
L
(
φ
(
x
)
,
∂
φ
(
x
)
,
∂
2
φ
(
x
)
,
…
,
x
)
.
{\displaystyle \forall \varphi \in {\mathcal {C}}\;,\;S[\varphi ]\equiv \int _{M}d^{n}x{\mathcal {L}}(\varphi (x),\partial \varphi (x),\partial ^{2}\varphi (x),\dots ,x).}
La plupart du temps, on impose que le lagrangien dépende uniquement de la valeur des champs, de leur dérivées premières, mais pas des dérivées d'ordre supérieur. C'est en fait seulement par commodité, et ce n'est pas vrai en général. Nous le supposons cependant dans le reste de cet article.
Fixons des conditions aux limites , essentiellement la donnée de φ aux frontières si M est compact , ou une limite pour φ quand x tend vers l'infini (ce qui est pratique lors d'intégrations par parties). Le sous-espace de
C
{\displaystyle {\mathcal {C}}}
des fonctions φ telles que toutes les dérivées fonctionnelles de l'action S en φ soient 0 et que φ satisfasse aux conditions aux limites, est l'espace des solutions physiques.
La solution est donnée par les équations d'Euler-Lagrange (en utilisant les conditions aux limites) :
δ
δ
φ
S
=
−
∂
μ
(
∂
L
∂
(
∂
μ
φ
)
)
+
∂
L
∂
φ
=
0.
{\displaystyle {\frac {\delta }{\delta \varphi }}S=-\partial _{\mu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\varphi )}}\right)+{\frac {\partial {\mathcal {L}}}{\partial \varphi }}=0.}
On retrouve la dérivée fonctionnelle par rapport à φ de l'action dans le membre de gauche.
Notes et références Modifier