Voir la source de Principe de moindre action et relativité restreinte

En '''[[relativité restreinte]]''', le '''[[principe de moindre action]]''' pour un [[point matériel]] donne des [[Équation d'Euler-Lagrange|équations d'Euler-Lagrange]] très semblables à [[Principe de moindre action et mécanique classique|celles de la mécanique classique]], mais le [[lagrangien]] n'est plus égal à la différence entre l'[[énergie cinétique]] et l'[[énergie potentielle]]. En fait, le principe de moindre action se base dans ce cas seulement sur l'existence d'une trajectoire continue, paramétrée par le temps, qui minimise une fonction ou la différence entre des fonctions du système étudié (on peut généraliser à un système de points), déterminées à partir de principes généraux, tels que par exemple : 

* Comme la trajectoire dans l'[[espace-temps]] ne dépend pas du [[Référentiel (physique)|référentiel]] par rapport auquel on l'observe, l'action qui la détermine, ainsi que les fonctions qui composent l'action, sont invariantes par changement de référentiel.
* L'indépendance de plusieurs corps implique l'additivité de leurs actions et de leurs lagrangiens, pour que les trajectoires puissent être déterminées séparément en appliquant la méthode variationnelle.

Il se trouve qu'en physique classique, ces fonctions du système sont les énergies cinétiques et potentielles, ce n'est plus le cas en relativité.

En physique relativiste, et en l'absence de [[champ électromagnétique]], on montre que la fonction du corps qui est minimisée dans le principe est particulièrement simple : il s'agit de <math>~ -mc\tau ~~</math> où <math>~ \tau ~</math> est « [[temps propre]] » du trajet (temps s'écoulant dans le référentiel du corps au cours du trajet).<br/>
Minimiser l'action revient à maximiser le « [[temps propre]] », du fait du signe <math>-</math>, que la [[masse]] <math>~ m ~</math> est positive et constante, et de la constance de la [[vitesse de la lumière]] <math>~ c ~</math>.<br/>
{{pas clair|Cela est aussi lié à la  « longueur généralisée » de la trajectoire, mesurée par la métrique de l'espace-temps de Minkowski}}.

Un champ électromagnétique amène des différences de parcours entre les corps, suivant leurs charges et leurs répartitions.<br/> 
Et comme en physique classique, toutes les équations peuvent être obtenues sans le principe de moindre action.

== Étude d'un point matériel ==

=== Formulation analogue à celle de la mécanique non relativiste ===

==== Point matériel isolé (corps libre) ====

* En relativité restreinte, les corps évoluent dans l'espace-temps de Minkowski où chaque référentiel galiléen a ses coordonnées d'espace <math>~ x;y;z ~</math> (repère généralement supposé cartésien orthonormé) et sa coordonnée de temps <math>~ t ~</math>, subissant toutes une modification en cas de changement de référentiel galiléen.

:Les coordonnées d'espace d'un point matériel <math>M</math> sont ici souvent notées <math>x_i</math> (où <math>i=1;2;3</math>), mais la comparaison avec la [[Quadrivecteur|quadri-écriture]] nécessite une attention particulière car cette dernière utilise des indices écrits en haut (à ne pas confondre avec des exposants) puisque ce sont des quantités [[Covariant_et_contravariant|contravariantes]].

:On étudie ici le principe de moindre action sous la forme « classique » : <math>~ S = \int L(x_i(t);v_i(t),t)\ dt</math> , avec <math>~ v_i = \frac{dx_i}{dt}~ </math> (où <math>~ i=1;2;3</math>).

* De même qu'en mécanique non relativiste, l'homogénéité et l'isotropie de l'espace imposent que le lagrangien ne dépende que de la norme de la vitesse (ou son carré) : <math>~ L = L(\left\Vert\vec v\right\Vert^2)</math>.

:L'invariance par changement de référentiel galiléen impose que l'action soit un scalaire vis-à-vis de la transformation de Lorentz ; ceci suggère une expression de la forme : <math>~ S \propto \int ds</math> avec l'élément d'espace-temps <math>~ ds = \sqrt{(c.dt)^2-(dx)^2-(dy)^2-(dz)^2}</math>, c'est-à-dire : <math>~ S \propto \int{ \sqrt{1-\beta^2} \  dt}~ </math> avec <math>~ \beta = \frac{v}{c}</math>.

:♦ remarque : le minimum de l'action correspond ainsi à un mouvement dont la durée propre (<math>~ d\tau ~</math> telle que <math>~ ds = c \  d\tau</math>) pour le point étudié est extrémale.

* Pour les faibles vitesses :  <math>\sqrt{1-\beta^2} \approx 1-\frac{v^2}{2c^2}</math> devrait logiquement redonner la limite non relativiste : <math>L=\frac{1}{2}m v^2</math>. Or, les lois qui s'en déduisent (équations d'Euler-Lagrange) sont inchangées si on ajoute au lagrangien la dérivée totale d'une fonction ne dépendant que de la position et du temps, donc en particulier pour une constante.

:On peut donc considérer :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|<math>S = - m c \int ds</math>}}
correspondant au lagrangien :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|<math>L = - m c^2 \sqrt{1-\beta^2}</math>}}

:♦ remarque : par construction, ceci peut décrire une particule matérielle, mais la description d'un photon nécessite une étude plus approfondie.

==== Impulsion et énergie ====

* Par définition l'impulsion <math>~ \vec{p} ~</math> relativiste correspond à : <math>~ p_i = \frac{ \partial L}{\partial v_i} ~</math> (où <math>~ i=1;2;3</math>) ; ainsi :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|<math>\vec{p} = \gamma m \vec{v}</math> avec <math>\gamma = \frac{1}{\sqrt{1-\beta^2}}</math>}}

* De même qu'en mécanique non relativiste, le [[Opérateur_hamiltonien|hamiltonien]] peut être défini par : <math>~ H = \sum_i \ p_i v_i - L  = \vec{p}.\vec{v} - L  = \gamma m c^2 = \sqrt{m^2 c^4 + c^2 p^2} ~</math> (il doit être exprimé en fonction de l'impulsion).

:Il correspond à une énergie, constante pour tout système dont le hamiltonien (le lagrangien) ne dépend pas explicitement du temps :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|<math>\ E= \gamma m c^2 = \sqrt{m^2 c^4 + c^2 p^2}</math>}}

:En particulier, pour <math>~ v=0</math>, l{{'}}''énergie au repos'' est <math>~ E = mc^2</math>.

:♦ remarque : par différence, ''l'énergie cinétique'' correspond à : <math>~ E_c = (\gamma - 1) m c^2 ~</math> ; <math>~ E_c \approx \frac{1}{2} m v^2 ~</math> à l'approximation des faibles vitesses ; mais le lagrangien relativiste d'un point matériel isolé en diffère d'une constante.

==== Interaction avec un [[champ électromagnétique]] ====

* L'expérience montre que les effets d'un [[champ électromagnétique]] peuvent être exprimés à l'aide d'un potentiel scalaire <math>\phi</math> et d'un potentiel vecteur <math>\vec{A}</math>.

:Ceci correspond à un quadri-potentiel <math>~ \tilde {A} = (\frac{\phi}{c}, \vec{A}) ~</math> utilisé ici uniquement pour expliquer la forme du terme d'interaction dans le lagrangien. Ce terme doit dépendre de la vitesse (les effets magnétiques en dépendent) et être invariant de Lorentz.

:Pour généraliser un déplacement <math> d \vec{M}</math> de coordonnées <math> dx_i</math> (avec <math>i = 1;2;3</math>) on peut utiliser le quadri-déplacement <math> d \tilde{M} = (c \  dt ; d \vec{M})</math>.

:On peut alors proposer de décrire l'interaction d'une particule de charge <math>e</math> par un terme d'interaction proportionnel à : <math>e \  \tilde{A} \cdot d \tilde{M} = e \ \phi(x_i,t) dt - e \  \vec{A}(x_i,t) \cdot \vec{v} \ dt</math>.

:Afin de retrouver dans la limite des faibles vitesses et sans effet magnétique : <math>L = E_c - U</math> avec <math>U = e \ \phi</math>, on considère ici le lagrangien :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|<math> L = L(x_i,v_i,t)  = -m.c^2.\sqrt{1-\beta^2} - e\phi(x_i,t) + e \  \vec{A}(x_i,t) \cdot \vec{v}  </math>}}

* On en déduit une impulsion généralisée : <math>P_i = \frac{ \partial L}{\partial v_i} = p_i + e \  A_i</math>, soit <math>\vec{P} = \vec{p} + e \ \vec{A}</math> en conservant la notation <math>\vec{p} = \gamma m \vec{v}</math>.

:♦ remarque : on prendra donc soin de distinguer <math>\vec{p}</math> et <math>\vec{P}</math>.

* De même que pour un corps libre, le [[Opérateur_hamiltonien|hamiltonien]] peut être défini par : <math>H = \sum_i \ P_i v_i - L  = \vec{P}.\vec{v} - L  = \gamma m c^2 + e \ \phi = \sqrt{m^2 c^4 + c^2 (\vec{P} - e \vec{A})^2} + e \ \phi</math> (il doit être exprimé en fonction de l'impulsion généralisée).

:Il correspond à une énergie, constante pour tout système dont le hamiltonien (le lagrangien) ne dépend pas explicitement du temps :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|<math>E_{tot} = E + e ~ \phi = \gamma m c^2 + e ~ \phi = \sqrt{m^2 c^4 + c^2 p^2} + e \ \phi</math>}}

:Toutes les approximations aux petites vitesses devant <math>c</math> redonnent les résultats classiques.

==== Équations du mouvement ====

* Le mouvement est décrit par les équations d'Euler-Lagrange : <math>\frac{ d P_i}{dt} = \frac{ \partial L}{\partial x_i} = e \  \frac{ \partial (\vec{A} \cdot \vec{v})}{\partial x_i} - e \  \frac{ \partial \phi}{\partial x_i} </math>.

: Avec la notation [[gradient]], ceci peut s'écrire sous la forme : <math>\frac{ d \vec{P}}{dt} = e \  \vec{\nabla} (\vec{A} \cdot \vec{v}) - e \  \vec{\nabla} \phi </math>, avec par ailleurs (puisque <math>x_i</math> et <math>v_i</math> sont des variables indépendantes) : <math>\vec{\nabla} (\vec{A} \cdot \vec{v}) = (\vec{v} \cdot \vec{\nabla}) \vec{A} + \vec{v} \times (\vec{\nabla} \times \vec{A})</math> avec la notation [[rotationnel]].

: En outre, puisque la particule se déplace, la variation de <math>\vec{A}</math> en un point fixe donné est : <math>\frac{\partial \vec{A}}{\partial t} = \frac{d \vec{A}}{d t} - (\vec{v} \cdot \vec{\nabla}) \vec{A}</math> ; ceci donne finalement :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math> \frac{d \vec{p}}{d t} = e \  \vec{E} + e \ \vec{v} \times \vec{B}</math> avec <math>\vec{E} = - \vec{\nabla} \phi - \frac{\partial \vec{A}}{\partial t}</math> et <math>\vec{B} = \vec{\nabla} \times \vec{A}</math>
}}

: ♦ remarque : certains calculs sont plus pratiques en fonction de <math>\vec{v}</math> mais d'autres sont plus simples en fonction de <math>\vec{p}</math>.
: ♦ remarque : attention à ne pas confondre l'énergie <math>E</math> et le champ électrique <math>\vec{E}</math>.

==== Relation entre l'action et l'énergie impulsion ====

* De façon générale : <math>~ dS = L ~ dt  = \sum_i \ P_i ~ dx_i - H ~ dt ~ </math>  (où <math>~ i=1;2;3</math>).

=== Formulations quadrivectorielles ===

==== Notations ====

* Avec les notations quadri-vectorielles, un point <math>M</math> a des [[coordonnées d'espace-temps]] [[covariant et contravariant|contravariantes]] <math>\  (x^\alpha) = (ct;x;y;z)</math> avec <math>\ \alpha = (0;1;2;3)</math>. On note les indices quadri-vectoriels par des symboles grecs ; on utilise des indices latins pour désigner la partie spatiale des [[quadrivecteur|quadrivecteurs]].

: Nous adopterons la [[convention de sommation d'Einstein]] : sommation sous-entendue pour tout indice répété en haut et en bas : <math> U^{\alpha}V_{\alpha} = \Sigma_{\alpha=0}^3U^{\alpha}V_{\alpha}</math>.

: On note <math>\eta_{\alpha\beta}</math> la matrice de la métrique permettant ''d'abaisser les indices'' (les termes non diagonaux sont nuls) : <math>(\eta_{00} = 1 ; \eta_{ii} = -1)</math>. Ainsi pour un quadri-vecteur <math>\ (U^0;U^1;U^2;U^3)\ </math> on obtient : <math>U_\alpha = \eta_{\alpha\beta} U^\beta \ </math> c'est-à-dire : <math>\ U_0 = U^0</math> et <math>\ U_i = -U^i</math>. On note <math>\eta^{\alpha\beta}</math> la matrice inverse permettant ''d'élever les indices'' (les termes non diagonaux sont nuls) : <math>(\eta^{00} = 1 ; \eta^{ii} = -1)</math>.

: En particulier pour deux quadri-vecteurs <math>\ (U^0;U^1;U^2;U^3)\ </math> et <math>\ (V^0;V^1;V^2;V^3)</math>, on définit le ''produit scalaire'' <math>\ \tilde U \cdot \tilde V = \eta_{\alpha\beta} U^\alpha V^\beta = U^{\alpha}V_{\alpha} = V^0.U^0 - V^1.U^1 - V^2.U^2 - V^3.U^3</math> et la (pseudo)-norme : <math>\ \Vert \tilde U \Vert^2 = \tilde U \cdot \tilde U = (U^0)^2 - (U^1)^2 - (U^2)^2 - (U^3)^2</math>.

: De manière similaire, on écrira : <math>\partial^\alpha = \frac{\partial}{\partial x_\alpha}</math>  et <math>\partial_\alpha = \frac{\partial}{\partial x^\alpha}</math>.

* Pour décrire le mouvement d'un point matériel, on peut continuer à paramétrer la quadri-position en fonction du temps : <math>\  x^\alpha(t)</math> (dans ce cas <math>\  x^0(t)</math> est « inutile ») ; mais on peut aussi utiliser un autre paramètre, en particulier si on souhaite une formulation invariante de Lorentz.

: On peut choisir de paramétrer par le temps propre <math>\tau</math> ou selon l'élément d'espace temps tel que <math>ds = c \  d\tau</math>. Certains calculs formels sont toutefois moins évidents dans ce cas : il est alors possible de choisir un paramètre <math>\sigma</math> « quelconque », quitte à imposer ensuite <math>\sigma = \tau</math> ou <math>\sigma = s</math>.

* Il existe toutefois, entre les notations non relativistes et les notations quadri-vectorielles, des différences de conventions de notations pouvant causer des confusions de signes. Il semble ne pas exister de consensus dans la communauté scientifique pour privilégier un choix particulier de notations (principalement parce que '''cela n'a pas d'influence sur les lois physiques''' qui s'en déduisent). Les différentes approches sont précisées dans ce qui suit.

==== Méthode se cantonnant aux propriétés de base ====

* De nombreux physiciens définissent l'énergie-impulsion indépendamment du principe de moindre action et se limitent à utiliser les propriétés de base de ce dernier pour montrer comment les deux sont liés (par exemple S. Weinberg ; Gravitation and cosmology : « Il apparaît ... que les <math>x^\alpha</math> obéissent à ces équations du mouvement et nous concluons donc que cela qualifie l'expression utilisée pour l'action comme appropriée pour ce système » ).

: ♦ remarque : le principe de moindre action n'est en rien indispensable à l'établissement des lois physiques (il n'est qu'une façon, parfois pratique, de les décrire).


* Compte tenu des détails indiqués dans les autres parties, on traite ici directement le cas avec champ électromagnétique (considéré comme imposé par l'extérieur).

* Avec <math>V^\alpha = \frac{dx^\alpha}{d\tau}</math>, l'action peut s'écrire : <math>S = -mc \int ds - e \int A_\alpha V^\alpha d\tau =-mc \int \sqrt{\eta_{\alpha\beta} dx^\alpha dx^\beta} - e \int A_\alpha dx^\alpha</math>.

* On peut utiliser : <math>\delta S = -mc \int \frac{\eta_{\alpha\beta} dx^\alpha \delta(dx^\beta)}{\sqrt{\eta_{\alpha\beta} dx^\alpha dx^\beta}} ~ - ~ e \int A_\alpha ~ \delta(dx^\alpha) = -m \int V_\alpha ~ d(\delta x^\alpha) ~ - ~ e \int A_\alpha ~ d(\delta x^\alpha)</math>.

: L'intégration par parties donne : <math>\delta S = - \left[(m V_\alpha + e A_\alpha) ~ \delta x^\alpha \right] + \int \frac{d(m V_\alpha + e A_\alpha)}{d\sigma} \delta x^\alpha d\sigma</math>.

: Pour des <math>\delta x^\alpha</math> nuls aux extrémités du mouvement : <math>\delta S = \int \eta_{\alpha\beta} \frac{d(m V^\alpha + e A^\alpha)}{d\sigma} \delta x^\beta d\sigma</math>.

* Pour des <math>\delta x^\alpha</math> quelconques durant le mouvement, la condition d'extremum <math>~ \delta S = 0 ~ </math> impose les équations du mouvement : <math>\frac{d(m V^\alpha + e A^\alpha)}{d\sigma} = 0</math>.
: On obtient en particulier une quadri-vitesse constante pour un point matériel isolé : <math>\frac{dV^\alpha}{d\sigma} =0</math>.

: ♦ remarque : on paramètre généralement par <math>\tau</math> mais on peut ici en principe utiliser un paramètre <math>\sigma</math> « quelconque ».

: ♦ remarque : ici encore, la description d'un photon nécessite d'utiliser un autre paramètre car <math>~ d \tau = 0 ~ </math> donc <math>V^\alpha</math> n'est pas défini ; en outre, la méthode doit être adaptée pour éviter qu'un terme (quel qu'il soit) proportionnel à <math>d \tau</math> apparaisse au dénominateur.

==== Formulation la plus ''simplement ressemblante'' à celle sans quadri-écriture pour un corps libre ====

* Ce qui précède suggère qu'on peut raisonner en paramétrant par <math>\tau</math> (ou par <math>s</math> qui lui est proportionnel) et que le principe de Hamilton peut s'écrire à l'aide d'un lagrangien <math>L(x^\alpha (\tau);V^\alpha (\tau);\tau)</math> avec <math>V^\alpha = \frac{dx^\alpha}{d \tau}</math>.

: De nombreux physiciens utilisent alors : <math>\ L = -mc \ \sqrt{\eta_{\alpha\beta} V^\alpha V^\beta} = -mc^2</math>. Avec <math>\ ds = \sqrt{\eta_{\alpha\beta} dx^\alpha dx^\beta}</math>, l'action minimisée entre deux points de l'espace-temps <math>\ S = \int_A^B L \  d\tau = -mc\int_A^B ds</math> montre que '''le chemin suivi par la particule pour aller du point A au point B est celui qui maximise le temps propre''' (le terme négatif <math>-mc</math> transforme la minimisation de <math>\ S = -mc\int_A^B ds</math> en maximisation de <math>\int_A^B ds</math>).

: Cette écriture peut sembler formelle dans la mesure où <math>\sqrt{\eta_{\alpha\beta} V^\alpha V^\beta} = c</math> semble indiquer qu'on cherche l'extrémum d'une « constante » (fonction indépendante de la position et de la vitesse). En fait il faut distinguer la quadri-distance <math>ds</math> et le paramètre <math>\tau</math> (ou <math>s</math>) utilisé.

* Les quantités candidates pour définir la quadri-impulsion « conjuguée » <math>P_\alpha</math> ''semblent'' alors être (mais cela reste à préciser) : <math>\frac{\partial L}{\partial V^\alpha} = -mc\frac{V_\alpha}{\sqrt{\eta_{\alpha\beta} V^\alpha V^\beta}} = -m V_\alpha</math>.

: L'utilisation d'un autre paramètre aboutit au même résultat.


{{Boîte déroulante|titre=Utilisation d'un autre paramètre|contenu=

* Pour contourner l'ambiguïté de l'écriture formelle avec <math>\sqrt{\eta_{\alpha\beta} V^\alpha V^\beta} = c</math> (qui n'est qu'apparente), on peut choisir un paramètre <math>\sigma</math> « arbitraire », en notant <math>L(x^\alpha (\sigma);\underline{V}^\alpha (\sigma);\sigma)</math> avec <math>\underline{V}^\alpha = \frac{dx^\alpha}{d \sigma}</math>, quitte à considérer ensuite la limite <math>\sigma \rightarrow \tau</math> par continuité.

* Les quantités candidates pour définir la quadri-impulsion « conjuguée » <math>P_\alpha</math> ''semblent'' alors être (mais cela reste à préciser) : <math>\frac{\partial L}{\partial \underline{V}^\alpha} = -mc\frac{\underline{V}_\alpha}{\sqrt{\eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta}} = -m \frac{dx_\alpha}{d\sigma} \frac{d\sigma}{d\tau} = -m V_\alpha</math>. Le fait de passer par l'intermédiaire de <math>\sigma</math> ne change rien (on peut paramétrer directement par <math>\tau</math>).

}}


* Or la comparaison avec la mécanique non relativiste (étayée par la description sans quadri-écriture) indique une énergie-impulsion <math>~ p^\alpha = m V^\alpha ~ </math> ; le signe ne correspond pas. Raisonner avec une impulsion généralisée <math> ~ P^\alpha = - p^\alpha ~ </math> (ou l'analogue pour les composantes covariantes ; la métrique <math>\eta_{\alpha\beta}</math> n'influence pas les équations) semble au moins contre-intuitif.


{{Boîte déroulante|titre=Origine du signe contre-intuitif|contenu=


* Cette étrangeté de signe provient de la façon un peu trop simple avec laquelle l'impulsion est définie en mécanique classique, puis généralisée à la mécanique relativiste quand on n'utilise pas les notations quadrivectorielles. Quand on écrit dans ce cadre (sans indices co/contravariants) : <math> ~ P_i</math> “=” <math>\frac{\partial L}{\partial V_i} ~ </math> (avec <math> ~ \alpha = i=1;2;3 ~ </math>), on l'interprète (en précisant les indices) comme : <math> ~ P^i</math> “=” <math>\frac{\partial L}{\partial V^i} ~ </math>.

: Or ceci devient ici incohérent, puisque dans un changement de coordonnées (ici l'exemple typique est la transformation de Lorentz), la grandeur contrevariante <math> ~ P^i</math> subit la transformation inverse de celle à appliquer à la quantité covariante <math>\frac{\partial L}{\partial V^i} ~ </math>.

: On devrait donc maintenant définir ces "impulsions conjuguées" par <math> ~ \mathcal{P}_i = -\frac{\partial L}{\partial V^i} ~ </math>, afin que cela corresponde à <math> ~ \mathcal{P}^i = \eta^{ii} \mathcal{P}_i = p^i = m V^i ~ </math> (sans sommation sur les indices, avec <math> ~ \eta^{ii} = -1 ~ </math>).

* Puisque <math> ~ \eta^{00} = +1 ~ </math>, pour justifier que ce signe s'applique aussi à <math> ~ \mathcal{P}_0 = -\frac{\partial L}{\partial V^0} ~ </math> (quantité qui était décrite à l'aide du hamiltonien <math>H</math> dans la formulation non quadrivectorielle), on peut considérer la relation entre l'action et l'énergie-impulsion, avec l'écriture quadrivectorielle : <math>~ dS = L ~ d\tau = - \mathcal{P}_\alpha ~ dx^\alpha ~</math>.

: Ceci montre que de façon symétrique <math>~ \mathcal{P}_\alpha = - \partial_\alpha S ~</math> (alors que la notation non quadrivectorielle distinguait les signes : <math>~ P_i = \partial_i S ~</math> et <math>~ \frac{H}{c} = -\partial_0 S ~</math>).

: ♦ remarque : ceci montre aussi que le changement de signe de <math> ~ \eta^{\alpha \beta} ~ </math> (signature {-+++} au lieu de {+---}) ne ferait que déplacer l'étrangeté de signe sur la coordonnée temporelle au lieu des coordonnées spatiales.

}}


{{Boîte déroulante|titre=Commentaires plus détaillés|contenu=

* L'effet de la métrique peut aussi apparaitre en relativité restreinte avec des coordonnées non cartésiennes. Ainsi une transformation de Lorentz associée à un mouvement d'axe (Ox) peut par exemple s'exprimer avec des coordonnées cylindriques <math>~ (ct ; x ; r ; \theta) ~ </math>. On utilise dans ce cas <math> ~ ds^2 = c^2 \  dt^2 - dx^2 - dr^2 - r^2 \  d\theta^2 ~ </math> et la métrique <math>\eta_{\alpha\beta}</math> est remplacée par <math>g_{\alpha\beta}</math> avec <math> ~ g_{33} = - r^2 ~ </math>. La composante angulaire donne <math> ~ V^3 = \frac{d\theta}{d\tau} ~ </math> et l'impulsion conjuguée est un moment cinétique <math> ~ P_3 = - r^2 \frac{d\theta}{d\tau} ~ </math> (en [[géométrie riemannienne]] la méthode de Lagrange donne l'impulsion généralisée associée à la coordonnée choisie).

: Ceci montre qu'à partir d'un certain niveau de généralisation, les expressions des "impulsions" généralisées ne correspondent pas forcément à ce qui pourrait être simplement attendu. Les signes contre-intuitifs constatés ici n'ont donc rien de rédhibitoire.

: ♦ remarque : la [[relativité générale]] utilise d'ailleurs la métrique <math> ~ g_{\alpha\beta} ~ </math> pour décrire la gravitation. Il est donc judicieux de commencer par préciser l'écriture quadrivectorielle correspondante en relativité restreinte avant de généraliser davantage.

: ♦ remarque : pour diminuer l'impact des ambiguïtés de signe liées à la métrique, une autre méthode (L. Landau et E. Lifchitz) peut consister à utiliser une première coordonnée imaginaire au lieu des notations co/contra-variantes <math>~ x_0 = i ct ~ </math> (comme en notations non relativistes, il n'y a alors pas d'indices en haut) et de même pour tous les quadrivecteurs, mais ceci ne s'adapte pas à la relativité générale (ni même aux coordonnées non cartésiennes).

}}


* Rien toutefois n'interdit de raisonner avec les quantités <math> ~ P_\alpha = \frac{\partial L}{\partial V^\alpha} = -m V_\alpha ~ </math>, même s'il peut devenir ambigu de continuer à les nommer "impulsions" (mais cette habitude est ancrée depuis longtemps).

: C'est d'ailleurs le choix de certains physiciens comme [[Cornelius Lanczos]] (The Variational Principles of Mechanics).


* Puisque le lagrangien d'un point matériel isolé est indépendant de la position, les équations d'Euler-Lagrange donnent alors pour lois du mouvement : <math>\frac{dP_\alpha}{d\tau} = 0</math> (constantes du mouvement).

* Le carré de la "norme" de cette quadri-impulsion est en outre : <math>P^\alpha P_\alpha = p^\alpha p_\alpha = m^2 ~ V^\alpha V_\alpha = m^2 c^2</math>, donc conforme à la relation usuelle : <math>E^2 - c^2 p^2 = m^2 c^4</math>.

* Le [[Opérateur_hamiltonien|hamiltonien]] correspondant (à ne pas confondre avec celui de la formulation non quadrivectorielle) peut être défini par : <math> ~ H = P_\alpha V^\alpha - L  = - m c^2 + m c^2 = 0 ~ </math>. Écrit ainsi il ne décrit pas une énergie, mais il est vrai que ce rôle est ici dédié à <math>P^0</math>.


{{Boîte déroulante|titre=Amélioration "opportuniste" du hamiltonien|contenu=

* D'un premier point de vue, on peut utiliser le fait que <math>L = - m c^2</math> pour écrire formellement : <math>H = \frac{-1}{m} \  P_\alpha P^\alpha + m c^2</math> (il doit être exprimé en fonction de l'impulsion).
: On obtient alors : <math>\frac{\partial H}{\partial P_\alpha} = \frac{-2 \  P^\alpha}{m} = 2 V^\alpha</math> ; ceci n'est pas conforme à la description de Hamilton.
: ♦ remarque : on obtient ici de façon un peu inattendue une expression sans radical.

* Mais pour contourner l'ambiguïté de l'écriture formelle, on peut choisir un paramètre <math>\sigma</math> « arbitraire », en notant <math>L(x^\alpha (\sigma);\underline{V}^\alpha (\sigma);\sigma)</math> avec <math>\underline{V}^\alpha = \frac{dx^\alpha}{d \sigma}</math>, puis considérer ensuite la limite <math>\sigma \rightarrow \tau</math> par continuité.

: Le [[Opérateur_hamiltonien|hamiltonien]] peut alors s'écrire : <math>H = P_\alpha \underline{V}^\alpha - L  = -mc\frac{\eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta}{\sqrt{\eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta}} - L = -mc \sqrt{\eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta} - L = 0</math>.
: En choisissant maintenant une paramétrisation par <math>\tau</math> et en utilisant le fait qu'alors <math>L = - m c^2</math> on peut écrire formellement : <math>H = -c \  \sqrt{P_\alpha P^\alpha} + m c^2</math> (il doit être exprimé en fonction de l'impulsion).
: On obtient alors : <math>\frac{\partial H}{\partial P_\alpha} = \frac{P^\alpha}{m} = V^\alpha</math> ; ceci est conforme à la description de Hamilton.
: ♦ remarque : on obtient ici de façon un peu plus attendue une expression avec radical.

* Tout ceci ressemble toutefois surtout à du bricolage formel, pouvant difficilement servir de base de raisonnement convaincante.

}}

==== Formulation la plus ''simplement ressemblante'' à celle sans quadri-écriture dans un [[champ électromagnétique]] ====

* Le champ électromagnétique peut être décrit à l'aide d'un quadri-vecteur, appelé quadri-potentiel électromagnétique, <math>A^\alpha</math> dont l'interaction avec la particule de charge <math>e</math> se manifeste sous forme lagrangienne par un terme <math>-e ~ A_\alpha dx^\alpha</math>.

: En paramétrant par <math>\tau</math> le lagrangien relativiste peut donc s'écrire :
{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>L =-mc ~ \sqrt{V_\alpha V^\alpha} - e ~ A_\alpha V^\alpha</math>
}}

* En posant <math>F_{\alpha\beta} = \partial_\alpha A_\beta - \partial_\beta A_\alpha</math> tenseur champ électromagnétique (et <math>F^\alpha_{~\beta} = \eta^{\alpha\gamma} ~ F_{\gamma\beta}</math>), les équations d'Euler-Lagrange donnent les équations du mouvement de la particule : 
{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>m ~ \frac{dV^\alpha}{d\tau} = e ~ F^\alpha_{~\beta} V^\beta</math>
}}


{{Boîte déroulante|titre=Démonstration des équations du mouvement d'une particule dans un champ électromagnétique|contenu=

* Avec le lagrangien relativiste : <math>~L = -mc~\sqrt{V_\alpha V^\alpha} - e ~ A_\alpha V^\alpha</math>, les équations d'Euler-Lagrange : <math>\frac{d~}{d\tau} (\frac{\partial L}{\partial V^\alpha}) \ -  \  \frac{\partial L}{\partial x^\alpha} = 0</math> donnent :
::<math>\frac{d~}{d\tau} (-m V_\alpha - e ~ A_\alpha) + e ~ \partial_\alpha A_\beta ~ V^\beta = 0</math>

* Sachant que <math>A_\alpha</math> ne dépend pas explicitement du paramètre <math>\tau</math> (le temps fait partie des <math>x^\alpha</math> et n'est pas le paramètre), on peut écrire :
::<math>\frac{dA_\alpha}{d\tau} = \partial_\beta A_\alpha ~ \frac{dx^\beta}{d\tau} = \partial_\beta A_\alpha ~ V^\beta</math>.

* En posant <math>F_{\alpha\beta} = \partial_\alpha A_\beta - \partial_\beta A_\alpha</math> tenseur champ électromagnétique, on obtient ainsi l'équation du mouvement :
::<math>m ~ \frac{dV_\alpha}{d\tau} = e ~ F_{\alpha\beta} ~ V^\beta </math>.

* On retrouve la quadri-écriture plus usuelle en élevant l'indice <math>\alpha</math> avec <math>\eta^{\alpha\beta}</math>.

}}


* Le tenseur champ électromagnétique <math>F_{\alpha\beta}</math> comporte 16 composantes ; puisqu'il est antisymétrique par construction, les composantes diagonales sont nulles et seules six des autres sont indépendantes.
: On les note généralement par deux « pseudo-notations vectorielles tridimensionnelles » :
::• Champ électrique : <math>\vec{E} = c ~. \left(F^{10},F^{20},F^{30}\right)</math> ; par exemple : <math>E^1 = - \partial_1 \phi - \frac{\partial A^1}{\partial t} = c ~ \partial^1 A^0 - c ~ \partial^0 A^1</math>.
::• Champ magnétique : <math>\vec{B} = \left(F^{32},F^{13},F^{21}\right)</math> ; par exemple : <math>B^1 = \partial_2 A^3 - \partial_3 A^2 = - \partial^2 A^3 + \partial^3 A^2</math>.
: En décomposant la relation précédente pour l'exprimer avec ces notations, on retrouve la [[force de Lorentz]] sous son écriture habituelle : <math> \frac{d \vec{p}}{d t} = e \  \vec{E} + e \ \vec{v} \times \vec{B}</math>.

: ♦ remarque : vis-à-vis des transformations spatiales dans <math>\mathbb{R}^3</math>, <math>\vec{E}</math> se comporte comme un vecteur et <math>\vec{B}</math> se comporte comme un [[pseudovecteur]] ; vis-à-vis des transformations spatio-temporelles galiléennes dans <math>\mathbb{R}^4</math> il faut appliquer la transformation de Lorentz sur l'objet global <math>F_{\alpha\beta}</math>.
: ♦ remarque : attention à ne pas confondre l'énergie <math>E</math> et le champ électrique <math>\vec{E}</math>.


* On obtient donc les équations du mouvement correctes, mais avec la quadri-impulsion « contre intuitive » : <math>P_\alpha = \frac{\partial L}{\partial V^\alpha} = -m V_\alpha - e ~ A_\alpha</math>, c'est-à-dire : <math>P^\alpha = -p^\alpha - e ~ A^\alpha</math>.


* Le carré de la « norme » de la quadri-impulsion permet d'écrire : <math>\  p^\alpha p_\alpha = (-P^\alpha - e A^\alpha) . (-P_\alpha - e A_\alpha) = m^2 c^2</math>, donc « vaguement » conforme à la relation usuelle, mais avec la convention de signe inversée : <math>(-E_{tot} - e \phi)^2 - c^2 .(-\vec{P} - e \vec{A})^2 = m^2 c^4</math>.


* Le [[Opérateur_hamiltonien|hamiltonien]] correspondant peut être défini par : <math>H = P_\alpha V^\alpha - L  = - m c^2 + m c^2 = 0</math>. Écrit ainsi il ne décrit pas une énergie, mais il est vrai que ce rôle est ici dédié à <math>P^0</math>.

====Formulation en changeant la convention de signe de l'impulsion====

* Pour contourner ce problème de signe, certains physiciens (par exemple J.M. Raimond ; Électromagnétisme et Relativité ; cours à l'E.N.S.) suggèrent d'adapter la [[Équations de Hamilton-Jacobi|méthode de Hamilton]] en changeant la convention de signe de l'impulsion :

{{Bloc emphase
| fond=#FFF8F8|
<math>\mathcal{P}_\alpha = -\partial_\alpha S = -\frac{\partial L}{\partial V^\alpha} = m V_\alpha + e ~ A_\alpha</math>
}}

: Bien sûr cela nécessite d'adapter les signes dans d'autres équations, entre autres celles d'Euler-Lagrange : <math> ~ \frac{ d \mathcal{P}_\alpha}{d\tau} = -\frac{ \partial L}{\partial x_\alpha} ~ </math>.


* Par la même méthode que celle utilisée dans la partie précédente, on obtient dans ce cas : <math>\  p^\alpha p_\alpha = (\mathcal{P}^\alpha - e A^\alpha) . (\mathcal{P}_\alpha - e A_\alpha) = m^2 c^2</math>, donc conforme à la relation usuelle : <math>(E_{tot} - e \phi)^2 - c^2 .(\vec{\mathcal{P}} - e \vec{A})^2 = m^2 c^4</math>.


* En modifiant de façon concordante l'expression du hamiltonien, on obtient de même : <math>H = -\mathcal{P}_\alpha V^\alpha - L  = - m c^2 + m c^2 = 0</math>.

====Formulation en changeant la convention de signe de l'action====

* Pour contourner le problème de signe, d'autres physiciens (par exemple B. Houchmandzadeh ; Théorie de la Relativité ; cours à l'université de Grenoble) suggèrent de changer le signe de l'action, dont en fait seule la condition d'extremum est utilisée (contrairement à ce que suggère le « principe de ''moindre'' action », qu'il faudrait peut être plutôt nommer « principe d'action ''stationnaire'' »).

{{Bloc emphase
| fond=#FFF8F8|
<math>L =mc ~ \sqrt{V_\alpha V^\alpha} + e ~ A_\alpha V^\alpha</math>
}}

: ♦ remarque : cet effet ne peut pas être obtenu en utilisant la métrique en notation anglo-saxonne (<math>ds^2 = dx^2 + dy^2 + dz^2 - c^2 \  dt^2</math>) car elle est associée à plusieurs modifications de signes qui se compensent (ce qui semble assez logique pour des notations « covariantes »).
: ♦ remarque : il faut dans ce cas changer le signe de '''tous''' les termes de l'action (y compris le terme du champ électromagnétique étudié dans la suite pour obtenir les équations de Maxwell).

* On obtient dans ce cas ''naturellement'' :
{{Bloc emphase
| fond=#FFF8F8|
<math>P_\alpha = \frac{\partial L}{\partial V^\alpha} = m V_\alpha + e ~ A_\alpha</math>
}}

* Il peut sembler « incorrect » d'utiliser pour l'action relativiste une expression dont la limite aux faibles vitesses ne redonne pas (ici uniquement pour le signe) l'expression non relativiste. Toutefois, l'expression du lagrangien n'est a priori pas unique : l'important est que ce dernier prédise '''des lois physiques''' dont la limite redonne les lois non relativistes, ce qui est le cas ici.

==== Formulation quadratique (lagrangien ''géodésique'') ====

* Si on paramètre par <math>\tau</math>, on peut multiplier le lagrangien par <math>\frac{ds}{c ~ d \tau} = 1</math>. On obtient ainsi pour un point matériel isolé le lagrangien quadratique <math>L = m ~ \frac{ds^2}{d\tau^2} = m ~ \eta_{\alpha\beta} V^\alpha V^\beta</math>.
: Par construction, pour les faibles vitesses, l'action ainsi obtenue tend (au signe près) vers l'expression non relativiste. Par contre cela correspondrait à une impulsion inadaptée : <math>P_\alpha = \frac{\partial L}{\partial V^\alpha} = 2 m V_\alpha</math>.

* On convient alors généralement (par exemple : R. K. Nesbet ; Variational Principles and Methods ; P. Tourrenc ; Relativité et Gravitation) de multiplier le lagrangien par <math>\frac{1}{2}</math>, ce qui donne une expression de forme analogue à celle du cas non relativiste (généralement nommée ''lagrangien géodésique'') :

{{Bloc emphase
| fond=#FFF8F8|
<math>L = \frac{1}{2} m ~ \eta_{\alpha\beta} V^\alpha V^\beta</math>
}}

: ♦ remarque : un avantage important de cette expression, quadratique mais sans radical, est de simplifier un certain nombre de calculs de mouvements.
: ♦ remarque : On peut reprocher à l'action ainsi définie de ne pas tendre vers l'expression non relativiste dans la limite des faibles vitesses (non seulement pour le signe, mais aussi pour le facteur <math>\frac{1}{2}</math>). Toutefois, le résultat tend vers la limite non relativiste d'une autre façon : sa forme est analogue, vis-à-vis du paramètre <math>\tau</math>, à celle du cas non relativiste vis-à-vis du paramètre <math>t</math>. Or <math>\tau</math> tend vers <math>t</math> pour les faibles vitesses. De ce fait, les équations du mouvement qui s'en déduisent tendent alors vers les lois non relativistes.


{{Boîte déroulante|titre=Utilisation d'un autre paramètre|contenu=

* Pour contourner l'ambiguïté de l'écriture formelle avec <math>\eta_{\alpha\beta} V^\alpha V^\beta = c^2</math> (qui n'est qu'apparente), on peut choisir un paramètre <math>\sigma</math> « arbitraire », en notant <math>\underline{L}(x^\alpha (\sigma);\underline{V}^\alpha (\sigma);\sigma)</math> avec <math>\underline{V}^\alpha = \frac{dx^\alpha}{d \sigma}</math>, quitte à considérer ensuite la limite <math>\sigma \rightarrow \tau</math> par continuité.

* Il faut toutefois prendre garde que dans ce cas le paramètre <math>\sigma</math> n'est pas « muet ». Dès lors qu'on choisit un paramètre « quelconque » (non affine en fonction de <math>\tau</math>), il faut respecter la condition : <math>S = \int L ~ d\tau = \int \underline{L} ~ d\sigma</math>. Ceci impose : <math>\underline{L} = \frac{1}{2} m ~ \eta_{\alpha\beta} V^\alpha \underline{V}^\beta = \frac{1}{2} m ~ \eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta \frac{d\sigma}{d\tau}</math>.

: On peut alors utiliser <math>\frac{c^2 ~ d\tau^2}{d\sigma^2} = \eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta</math> pour obtenir : <math>\underline{L} = \frac{mc}{2} \sqrt{\eta_{\alpha\beta} \underline{V}^\alpha \underline{V}^\beta}</math>.

: Ceci correspond à une quadri-impulsion : <math>P_\alpha = \frac{m}{2} \frac{dx_\alpha}{d\sigma} \frac{d\sigma}{d\tau} = \frac{m}{2} V_\alpha</math>. Le résultat pour <math>\sigma = \tau</math> ne correspond pas à la limite pour <math>\sigma \rightarrow \tau</math>.

:♦ remarque : cela était ''prévisible'' puisque le passage au lagrangien quadratique utilise une multiplication opportuniste par <math>\frac{ds}{c ~ d\tau} = 1</math>, inadéquate pour <math>\sigma \ne \tau</math>.
:♦ remarque : la paramétrisation directement par <math>\sigma \ne \tau</math> est possible sans le coefficient <math>\frac{1}{2}</math> mais elle ne donne pas un lagrangien quadratique.

}}


* On peut traiter ainsi le cas plus général d'une particule en interaction avec un champ électromagnétique (sans oublier qu'il faut changer le signe de tous les termes) : 

{{Bloc emphase
| fond=#FFF8F8|
<math>L = \frac{1}{2} m ~ V_\alpha V^\alpha  + e ~ A_\alpha  V^\alpha</math>
}}

* Ceci correspond à l'impulsion (donnant correctement les équations du mouvement vues précédemment, ce qui en suivant sur ce point le raisonnement de S. Weinberg « qualifie l'expression utilisée pour l'action comme appropriée pour ce système ») :

{{Bloc emphase
| fond=#FFF8F8|
<math>P_\alpha = \frac{\partial L}{\partial V^\alpha} = m V_\alpha + e ~ A_\alpha</math>
}}

* On peut en outre dans ce cas considérer le hamiltonien (exprimé en fonction le l'impulsion généralisée) :

{{Bloc emphase
| fond=#FFF8F8|
<math>H = \eta_{\alpha\beta} P^\alpha V^\beta - L = \frac{1}{2m} \eta_{\alpha\beta} (P^\alpha - e ~ A^\alpha) (P^\beta - e ~ A^\beta)</math>
}}

* Conformément à la méthode de Hamilton, ceci redonne : <math>\frac{\partial H}{\partial P_\alpha} = V^\alpha</math>. En outre, dans la mesure où le hamiltonien ne dépend pas explicitement de <math>\tau</math>, il correspond à une constante du mouvement : <math>H = \frac{mc^2}{2}</math>.


{{Boîte déroulante|titre=Équations du mouvement par la méthode de Hamilton|contenu=

* Les équations du mouvement peuvent s'écrire : <math>\frac{dP^\alpha}{d\tau} = -\frac{\partial H}{\partial x^\alpha} = \frac{e}{m} \eta_{\mu\nu} (P^\mu - e ~ A^\mu) (\partial_\alpha A^\nu) = e ~ V^\beta (\partial_\alpha A_\beta)</math>.

: Par ailleurs : <math>\frac{dP_\alpha}{d\tau} = \frac{dp_\alpha}{d\tau} + e ~ \frac{dA_\alpha}{d\tau}</math> ; or <math>A^\alpha(x^\beta)</math> ne dépend pas explicitement <math>\tau</math> donc : <math>\frac{dA_\alpha}{d\tau} = \partial_\beta A_\alpha \frac{dx_\beta}{d\tau}</math>.

: Ainsi : <math>\frac{dp_\alpha}{d\tau} = e ~ F_{\alpha\beta}V^\beta</math>.

}}

==== Description d'un photon ====
* La description [[Dualité_onde-corpuscule|''corpusculaire'']] d'un photon peut être étudiée à partir de celle d'une particule massive, en passant à la limite pour <math>m \rightarrow 0</math>. Ceci n'est possible qu'avec un lagrangien quadratique, sinon il apparait forcément <math>d\tau = 0</math> au dénominateur.

: Avec une notation quadratique, l'action d'une particule massive peut s'écrire : <math>S = \frac{m}{2} \int \frac{ds^2}{d\tau^2} d\tau = \frac{1}{2} \int \eta_{\mu\nu} p^\mu dx^\nu</math> avec l'impulsion <math>p^\mu = m V^\mu = \frac{m}{\sqrt{1 - \beta^2}} \frac{dx^\mu}{dt}</math>.

: Le point délicat pour un photon est l'indétermination de <math>V^\mu</math> due à la limite <math>\beta \rightarrow 1</math> quand <math>~ m \rightarrow 0</math>. Puisque la relation <math>~ E^2 = m^2 c^4 + c^2 p^2 ~</math> donne la limite <math>~ E = h \nu = c p ~</math> pour l'énergie-impulsion d'un photon, la limite cherchée pour <math>~ v \rightarrow c ~</math>  peut être obtenue en substituant : <math>\frac{m}{\sqrt{1 - \beta^2}} \rightarrow \frac{h \nu}{c^2}</math>.

: Ceci donne : <math>~ S = \frac{h \nu}{2 c^2} \int \eta_{\mu\nu} v^\mu v^\nu dt ~ ~</math> avec <math>~ v^\mu = \frac{dx^\mu}{dt} ~</math> donc un lagrangien quadratique paramétré par <math>t</math> :

{{Bloc emphase
| fond=#FFF8F8|
<math>L = \frac{h \nu}{2 c^2} \eta_{\alpha\beta} v^\alpha v^\beta</math>
}}

:♦ remarque : la méthode peut s'adapter à la relativité générale, mais avec un paramètre (là encore imposé) différent de <math>t</math>.

{{Boîte déroulante|titre=Autre raisonnement|contenu=

* On peut se demander si la démarche utilisée ici peut être applicable au lagrangien avec radical, quitte à utiliser un autre paramètre <math>\sigma</math>.

* On considère alors l'action : <math>~ S = m c \int \frac{ds}{d\sigma} d\sigma = m c \int \sqrt{\underline{V}_\mu \underline{V}^\mu} d\sigma ~</math> avec <math>~ \underline{V}^\mu = \frac{dx^\mu}{d\sigma}</math>.

: La limite peut être obtenue en substituant : <math>m c \rightarrow \frac{h \nu}{c^2} \sqrt{\frac{ds^2}{dt^2}} = \frac{h \nu}{c^2} \sqrt{\underline{V}_\mu \underline{V}^\mu} ~ \frac{d\sigma}{dt}</math>.

: Finalement, ceci correspond forcément à un lagrangien quadratique : <math>~ S = \frac{h \nu}{c^2} \int \underline{V}_\mu \underline{V}^\mu \frac{d\sigma}{dt} d\sigma = \frac{h \nu}{c^2} \int \eta_{\alpha\beta} v^\alpha v^\beta dt</math>.

: Dans la mesure ou ce lagrangien quadratique donne les bonnes équations du mouvement, mais des impulsions incorrectes d'un facteur 2, on le multiplie par un coefficient <math>\frac{1}{2}</math>.

}}

* Puisque <math>~ \frac{\partial L}{\partial x^\alpha} = 0 ~</math> ceci donne pour un photon l'impulsion constante : <math>p_\alpha = \frac{\partial L}{\partial v^\alpha} = \frac{h \nu}{c^2} v_\alpha</math>.

* On obtient par ailleurs le hamiltonien (exprimé en fonction de l'impulsion) : <math>H = \eta_{\alpha\beta} p^\alpha v^\beta - L = \frac{c^2}{2 h \nu} \eta_{\alpha\beta} p^\alpha p^\beta = L</math>.

: Ceci donne, conformément aux relations de Hamilton : <math>~ \frac{\partial H}{\partial p_\alpha} = v^\alpha</math>.

== Étude d'un « champ de force » ==

* En physique classique, l'influence d'un corps sur un autre se transmet instantanément ; avec l'arrivée de l'électromagnétisme de Maxwell et plus encore avec celle de la relativité restreinte, l'influence se transmet au maximum à la vitesse de la lumière (dans le vide). 

: Ainsi, entre le corps influent et le corps influencé, il se propage ''quelque chose'' dans l'espace, en général à la vitesse de la lumière, dont l'effet est un changement de trajectoire du corps influencé. 

: Suivant quelles propriétés ce ''champ'' (appelé ainsi car il décrit une grandeur physique définie en chaque point de l'espace) est-il créé, se propage-t-il, est-il influencé par son environnement, etc ?

: On peut répondre à ces questions à l'aide du principe de moindre action.

* À partir du potentiel électromagnétique, le premier groupe des [[équations de Maxwell]] se démontre sans difficulté : l'équation de Maxwell-Faraday et l'équation de conservation du flux magnétique.


:♦ remarque : dans cette partie, puisqu'on ne se préoccupe pas de l'énergie-impulsion des particules chargées, on utilise la convention de signe négatif du lagrangien (il se trouve que tous les termes sont négatifs).


=== Invariance de jauge du potentiel et du tenseur électromagnétiques ===

* Si on remplace le quadri-potentiel électromagnétique <math>~ A_\alpha ~</math> par le quadri-potentiel <math>~ A'_\alpha =  A_\alpha + \partial_\alpha \varphi ~</math> où <math>~ \varphi ~</math> est une fonction quelconque des coordonnées, alors le terme d'interaction du lagrangien devient <math>~ L' = L - e ~ \partial_\alpha \varphi ~ . V^\alpha ~</math> et l'action <math>~ S' = S - e ~ \int^{\tau_f}_{\tau_i}\partial_\alpha \varphi ~ .dx^\alpha = S - e ~ .(\varphi (x^\alpha(\tau_f)) - \varphi (x^\alpha(\tau_i)))</math>.

:♦ remarque : ne pas confondre <math>~ \varphi ~</math> avec le potentiel « scalaire » <math>~ \phi = c ~ A^0</math>.


* En appliquant la méthode variationnelle qui compare les chemins en gardant les extrémités fixes, le terme <math>~ \varphi (x^\alpha(\tau_f)) - \varphi (x^\alpha(\tau_i)) ~</math> est éliminé.

: Ainsi les deux potentiels <math>~ A_\alpha ~</math> et <math>~ A'_\alpha =  A_\alpha + \partial_\alpha \varphi ~</math> donnent les mêmes équations du mouvement : cette propriété caractérise ce qu'on nomme « invariance de jauge ».

: On constate d'ailleurs que dans les équations du mouvement, le tenseur ''champ'' électromagnétique <math>~ F_{\alpha\beta} ~</math> est invariant de jauge : <math>~ F'_{\alpha\beta} = \partial_\alpha A'_\beta - \partial_\beta A'_\alpha =  \partial_\alpha A_\beta - \partial_\beta A_\alpha + \partial_\alpha \partial_\beta \varphi - \partial_\beta \partial_\alpha \varphi = \partial_\alpha A_\beta - \partial_\beta A_\alpha = F_{\alpha\beta} ~</math> puisque selon le [[théorème de Schwarz]] : <math>~ \partial_\alpha \partial_\beta = \partial_\beta \partial_\alpha</math>.

:♦ remarque : la grandeur généralement nommée « champ électromagnétique » est le tenseur champ électromagnétique ; il peut se déduire du potentiel et la description des phénomènes électromagnétiques peut se faire à l'aide de l'un ou l'autre (le principe de moindre action utilise le potentiel, mais il n'est pas indispensable à la description des lois physiques) ; au sens général, rien n'interdit de considérer le potentiel comme un « champ vectoriel » mais ce n'est pas l'usage.
:♦ remarque : cette ''équivalence'' des descriptions par le champ tensoriel ou le potentiel vectoriel a été discutée à propos de l'[[effet Aharonov-Bohm]].

=== Densité lagrangienne et équations d'Euler-Lagrange associées ===

* Un ''champ'' correspond à une grandeur physique ayant une valeur en chaque point de l'espace, on ne peut donc pas le repérer comme un point matériel et le décrire par des coordonnées <math>~ x^\alpha(\tau) ~</math> et leurs dérivées <math>~ V^\alpha</math>.

: Le potentiel quadri-vectoriel peut être décrit par ses coordonnées <math>~ A_\alpha ~</math> pour ''chaque'' point de l'espace : <math>~ A_\alpha(x^\beta) ~</math>.
: Les quantités jouant un rôle analogue à celui de la vitesse sont les dérivées des coordonnées : <math>~ \frac{\partial A_\alpha}{\partial x^\beta} = \partial_\beta A_\alpha</math>.

: Ainsi les coordonnées <math>~ x^\alpha ~</math> du point où on décrit le potentiel jouent le rôle de paramètres (analogues du paramètre <math>~ \tau ~</math> de la position du point matériel sur sa trajectoire).

:♦ remarque : on peut en principe aussi utiliser les coordonnées  contra-variantes <math>~ A^\alpha ~</math> mais cela complique inutilement certains calculs.

* L'action d'un champ peut alors s'écrire sous la forme : <math>~ S = \frac{1}{c} \int_\mathcal{V} \Lambda(A_\alpha ; \partial_\beta A_\alpha) ~ d\Omega ~</math>, où <math>~ \mathcal{V} ~</math> est le quadri-volume dans lequel on applique la méthode variationnelle et où <math>~ d\Omega = dx^0.dx^1.dx^2.dx^3 = c.dt.dx^1.dx^2.dx^3 ~</math> est l'élément infinitésimal de quadri-volume.

: La fonction <math>~ \Lambda ~</math> est appelée « densité lagrangienne » (si on applique totalement l'analogie formelle, elle pourrait en principe aussi dépendre explicitement des paramètres <math>~ x^\alpha ~</math>).

:♦ remarque : le coefficient <math>~ \frac{1}{c} ~</math> dans l'expression de l'action sert à définir <math>~ \Lambda ~</math> comme une densité volumique d'énergie (on intègre sur <math>~ ct</math>).

* Par une démonstration semblable à celle déjà vue dans le cas d'un corps localisable, et en utilisant la convention de sommation d'Einstein, on obtient les équations d'Euler-Lagrange pour la densité lagrangienne :

{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\partial_\beta \frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} - \frac{\partial \Lambda}{\partial A_\alpha} = 0</math>
}}

{{Boîte déroulante|titre=Démonstration des équations d'Euler-Lagrange pour une densité lagrangienne|contenu=

* On considère ici la variation de l'action correspondant à des variations du potentiel <math>~ A_\alpha</math>, supposées nulles aux limites du quadri-volume d'intégration <math>~ \mathcal{V} ~</math>.

: Cette variation de l'action peut s'écrire : <math>~ \delta S = \frac{1}{c} \int_\mathcal{V} \left( \frac{\partial \Lambda}{\partial A_\alpha} ~ \delta A_\alpha + \frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} ~ \delta (\partial_\beta A_\alpha) \right) ~ d\Omega ~</math>.

* Le second terme peut s'exprimer : <math>~ \int_\mathcal{V} \left( \frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} ~ \delta (\partial_\beta A_\alpha) \right) ~ d\Omega = \int_\mathcal{V} \left( \frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} ~ \partial_\beta (\delta A_\alpha) \right) ~ d\Omega = \int_\mathcal{V} \partial_\beta \left( \frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} ~ \delta A_\alpha \right) ~ d\Omega - \int_\mathcal{V} \left( \partial_\beta (\frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)}) ~ \delta A_\alpha \right) ~ d\Omega ~</math>.

: Or le quadrivecteur : <math>~ \mathfrak{V}^\beta = \frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} ~ \delta A_\alpha ~</math> a un flux nul à travers l'hypersurface « bordant » le quadri-volume d'intégration <math>~ \mathcal{V} ~</math>, puisque <math>~ \delta A_\alpha ~</math> s'y annule.

: D'après le [[Théorème de flux-divergence|théorème d'Ostrogradski]], l'intégrale de sa divergence est nulle : <math>~ \int_\mathcal{V} \partial_\beta \mathfrak{V}^\beta ~ d\Omega = 0 ~</math>.

: Ainsi en simplifiant : <math>~ \delta S = \frac{1}{c} \int_\mathcal{V} \left( \frac{\partial \Lambda}{\partial A_\alpha} - \partial_\beta (\frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)}) \right) ~ \delta A_\alpha ~ d\Omega ~</math>.

* La variation de l'action est donc nulle, quelles que soient les variations <math>~ \delta A_\alpha ~</math> au voisinage de l'extremum, si et seulement si est vérifiée la condition : <math>~ \frac{\partial \Lambda}{\partial A_\alpha} - \partial_\beta (\frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)}) = 0 ~</math>.



}}

=== Tenseur impulsion-énergie d'un champ ===

• La densité lagrangienne <math>~ \Lambda = \Lambda(A_\alpha ; \partial_\beta A_\alpha) ~</math> associée au champ électromagnétique étant donnée, on peut (de manière analogue à la construction du hamiltonien associé à l'énergie d'une particule) définir un « tenseur énergie-impulsion » associé au champ :


{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>T^\gamma_{~\alpha} = \frac{\partial \Lambda}{\partial(\partial_\gamma A_\beta)}.\partial_\alpha A_\beta - \delta^\gamma_{~\alpha}\Lambda</math>
}}

* De même que le hamiltonien décrit une énergie constante s'il ne dépend pas explicitement du paramètre <math>\tau</math>, le tenseur ''énergie-impulsion'' décrit une grandeur « conservée » s'il ne dépend pas explicitement des paramètres <math>x^\alpha</math> :

{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\partial_\gamma T^\gamma_{~\alpha} = 0</math> 
}}


{{Boîte déroulante|titre=Démonstration|contenu=

* On peut considérer : <math>~ \partial_\alpha \Lambda = \frac{\partial \Lambda}{\partial A_\beta}. \partial_\alpha A_\beta + \frac{\partial \Lambda}{\partial (\partial_\gamma A_\beta)} . \partial_\alpha (\partial_\gamma A_\beta)</math>.

: Puis en utilisant les équations d'Euler-Lagrange : <math>~ \frac{\partial \Lambda}{\partial A_\beta} = \partial_\gamma \frac{\partial \Lambda}{\partial (\partial_\gamma A_\beta)} ~</math> et le lemme de Schwarz : <math>~ \partial_\alpha (\partial_\gamma A_\beta) = \partial_\gamma (\partial_\alpha A_\beta) ~</math> on obtient :
:: <math>~ \partial_\alpha \Lambda = \partial_\gamma \frac{\partial \Lambda}{\partial (\partial_\gamma A_\beta)} . \partial_\alpha A_\beta + \frac{\partial \Lambda}{\partial (\partial_\gamma A_\beta)} . \partial_\gamma (\partial_\alpha A_\beta) = \partial_\gamma \left( \frac{\partial \Lambda}{\partial (\partial_\gamma A_\beta)} . \partial_\alpha A_\beta \right)</math>.

: L'égalité <math>~ \partial_\alpha \Lambda = \delta^\gamma_{~\alpha} \partial_\gamma \Lambda ~</math> permet finalement d'écrire :

:: <math>\partial_\gamma \left( \frac{\partial \Lambda}{\partial (\partial_\gamma A_\beta)} . \partial_\alpha A_\beta - \delta^\gamma_{~\alpha} \Lambda \right) = 0</math>.

}}

* La quantité : <math>~ w = T^0_{~0} = \frac{\partial \Lambda}{\partial (\partial_0 A_\beta)} . \partial_0 A_\beta - \Lambda ~</math> décrit une « densité d'énergie » et les quantités <math>~ \Pi^k = c ~ .T^k_{~0} = c ~ \frac{\partial \Lambda}{\partial(\partial_k A_\beta)}.\partial_0 A_\beta ~ (k = 1 ; 2 ; 3) ~</math> décrivent les composantes d'un vecteur « densité de courant d'énergie » <math>~ \vec{\Pi}</math>.

: L'équation <math>~ \partial_\gamma T^\gamma_{~0} = 0 ~</math> est une « équation de conservation de l'énergie » : localement, la variation dans le temps de la densité d'énergie <math>~ w ~</math> dans un volume infinitésimal est égale au flux ''entrant'' de la densité de courant d'énergie <math>~ \Pi^k ~</math> à travers la surface entourant ce volume (d'après le [[Théorème de flux-divergence|théorème d'Ostrogradski]]).

{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\frac{\partial w}{\partial t} + div(~\vec{\Pi}~) = 0</math>
}}

:♦ remarque : les composantes <math>T^\gamma_{~0}</math> ne définissent par contre pas un quadri-vecteur (c'est pour cela qu'on utilise la grandeur tensorielle <math>T^\gamma_{~\alpha}</math>).

=== Densité lagrangienne d'un champ électromagnétique libre ===

* La densité lagrangienne décrivant le champ électromagnétique est : 
{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\Lambda_{em} = -\frac{1}{4\mu_0}F^{\alpha\beta}F_{\alpha\beta}</math>
}}

{{Boîte déroulante|titre=Ébauche d'une démonstration de l'expression de la densité lagrangienne du champ électromagnétique|contenu=
* On cherche la densité lagrangienne du champ électromagnétique qui est composé du ou des nombres construits à partir du potentiel électromagnétique <math>~ A^\alpha ~</math> qui sont invariants par changement de référentiel dans l'espace de Minkowski.

: La manifestation de ce potentiel correspond au champ électrique <math>~ \vec{E} = c ~ .(F^{10},F^{20},F^{30}) ~</math> et le champ magnétique <math>~ \vec{B} = (F^{32},F^{13},F^{21})</math>. 

* On cherche donc les nombres invariants construits à partir de la matrice 4×4 associée : <math>~ \boldsymbol{F} = (F^\alpha_{~\beta})</math>.

: Les coefficients du polynôme caractéristique sont invariants par la transformation d'endomorphismes <math>~ \boldsymbol{F} \to \boldsymbol{L}^{-1}.\boldsymbol{F}.\boldsymbol{L} ~</math>, où <math>~ \boldsymbol{L} ~</math> est la matrice de Lorentz du changement de base dans l'espace de Minkowski, c'est-à-dire de référentiel galiléen en relativité restreinte.

: Les invariants de cette matrice par les changements de base sont les coefficients de son polynôme caractéristique <math>~ P_F(x) = det(\boldsymbol{F} - x.\boldsymbol{Id})</math>.

: On sait, par la définition de ses coefficients, que cette matrice est anti-symétrique : <math>~ ^t\boldsymbol{F} = -\boldsymbol{F} ~</math> (en notant <math>~ ^t\boldsymbol{F} ~</math> la matrice transposée).

: On en déduit que <math>\ P_F(x)</math> est un polynôme pair. Soit : <math>~ P_F(x) = x^4 + a.x^2 + det(\boldsymbol{F})</math>.

: Par ''quelques calculs'', on montre que <math>~ a = - F^\alpha_{~\beta}F_{~\alpha}^\beta  = F^{\alpha\beta}F_{\alpha\beta} = -2.( \frac{\vec{E}^2}{c^2} - \vec{B}^2) ~</math> et que <math>~ det(\boldsymbol{F}) = - (\frac{\vec{E}}{c}.\vec{B})^2</math>.

* Pour une raison de dimension  , le nombre <math>~ (\frac{\vec{E}}{c}.\vec{B})^2 ~</math> ne convient pas (la densité lagrangienne doit avoir la dimension d'une densité d'énergie), il faudrait essayer avec <math>~ \sqrt{(\frac{\vec{E}}{c}.\vec{B})^2} = \left| \frac{\vec{E}}{c}.\vec{B} \right| = \pm \frac{\vec{E}}{c}.\vec{B}</math>.

: Mais par ailleurs on peut montrer que <math>~ \vec{E}.\vec{B} ~</math> est la 4-divergence d'une 4-fonction, donc son ajout à la densité lagrangienne ne changerait en rien les équations d'Euler-Lagrange. Le nombre <math>~ \pm \frac{\vec{E}}{c}.\vec{B} ~</math> peut donc aussi être écarté.

:♦ remarque : pour une particule ponctuelle, l'ajout au lagrangien de la dérivée <math>~ \frac{df}{d\tau} ~</math> d'une fonction ne change pas les équations car cela ajoute à l'action la variation <math>~ f(\tau_{fin}) - f(\tau_{ini}) ~</math> qui est constante lorsqu'on fait varier l'action ; de même pour une densité lagrangienne, l'ajout de la 4-divergence <math>~ \partial_\gamma f^\gamma ~</math> d'un 4-vecteur ne fait qu'ajouter à l'action le flux du 4-vecteur à travers l'hypersurface limitant le domaine d'intégration, or cette quantité reste constante lorsqu'on fait varier l'action (les variations aux limites sont nulles).



* De ce fait, <math>~ F^{\alpha\beta}F_{\alpha\beta} ~</math> est l'unique candidat à être la densité lagrangienne.

: En choisissant un coefficient multiplicateur qui détermine les unités de mesure du champ électromagnétique, on prend : <math>~ \Lambda_{em} = -\frac{1}{4\mu_0} F^{\alpha\beta}F_{\alpha\beta}</math>

:♦ remarque : le signe <math>-</math> correspond au choix lié à la minimisation de l'action, ainsi qu'aux choix des signes des autres termes de l'action (commentés dans les parties précédentes).

}}

=== Les équations du champ électromagnétique ===

* L'hypothèse de ce paragraphe est qu'il y a un courant <math>~ J^\alpha</math> de particules chargées (même s'il n'y en a éventuellement qu'une seule) ; on n'étudie donc pas le champ « libre » mais directement le champ ''en interaction '' avec des charges.
: On suppose le courant « non influencé » par le champ électromagnétique. Avec cette condition, on étudie les variations de l'action associées aux variations du ''champ'' (décrit par le potentiel).

:♦ remarque : ceci signifie que, pour ''nettement'' simplifier les calculs, on étudie les variations de l'action associées aux variations du 4-potentiel (sans faire varier les mouvements des particules chargées) ; de façon analogue, l'étude de particules chargées subissant un champ électromagnétique se fait en supposant le champ ''fixé'' (sans faire varier le 4-potentiel, qui pourtant peut être modifié par les courants associés aux mouvements des charges) ; cette ''séparation'' est possible car les termes associés aux deux types de variations se factorisent séparément.

* Dans la densité lagrangienne, le terme d'interaction peut ici s'écrire : <math>-A_\alpha J^\alpha</math>. La densité lagrangienne à utiliser est ainsi :
<center>
<math>\Lambda = -A_\alpha J^\alpha - \frac{1}{4\mu_0} F^{\alpha\beta}F_{\alpha\beta} </math>
</center>


{{Boîte déroulante|titre=Détails pour déterminer la densité lagrangienne à utiliser|contenu=

* Pour décrire les mouvements des particules chargées, l'interaction entre une particule et le champ se modélise dans l'action par : <math>-e ~ A_\alpha V^\alpha ~ d\tau = -e ~ A_\alpha dx^\alpha</math>.

: L'utilisation d'une densité lagrangienne nécessite par contre ici de raisonner avec une densité de charge (quitte à utiliser pour chaque particule ponctuelle une [[distribution de Dirac]]) : <math>~ \rho = \frac{d^3e}{d^3x} ~</math> avec <math>~ d^3x = dx ~ dy ~ dz = dx^1 dx^2 dx^3</math>.

: Le terme d'interaction de l'action peut donc s'écrire :
:: <math>-\sum_{part} (~ e \int A_\alpha dx^\alpha) = -\sum_{part} (~ e \int A_\alpha \frac{dx^\alpha}{dt} ~ dt) = -\int \int \rho ~ A_\alpha \frac{dx^\alpha}{dt} ~ d^3x ~ dt =  -\frac{1}{c} \int_\mathcal{V} A_\alpha ~ \rho ~ \frac{dx^\alpha}{dt} ~ d\Omega</math>.

:♦ remarque : les intégrations sur <math>~ d^3x ~</math> et <math>~ dt ~</math> ne peuvent pas être ''simplement'' séparées car <math>~ A_\alpha ~</math> et <math>~ \frac{dx^\alpha}{dt} ~</math> doivent être calculés '''au même point''' que <math>~ \rho ~</math> ; si on intègre d'abord sur <math>~ d^3x ~</math> on peut utiliser (pour chaque particule) <math>~ \rho = e ~ \delta^3(x^k - X^k(t)) ~</math> où <math>~ X^k(t) ~</math> correspond à la position à l'instant considéré ;  on peut obtenir une écriture plus ''symétrique'' sur <math>~ d\Omega ~</math> avec <math>~ \rho = e ~ \delta^4(x^\alpha - X^\alpha(t)) ~</math> où <math>~ X^0(t) = ct ~</math> (puisqu'ici on paramètre par <math>~ t</math>).

* On peut alors définir un quadrivecteur ''densité de courant'' : <math> J^\alpha = \rho ~ \frac{dx^\alpha}{dt} = (\rho ~ c ~ ; \rho ~ \vec{v}) = (\rho ~ c ~ ; \vec{j})</math>.

: Ainsi le terme d'interaction peut s'écrire : <math>~ -\sum_{part} (~ e.\int A_\alpha dx^\alpha) = -\frac{1}{c} \int_\mathcal{V} A_\alpha J^\alpha ~ d\Omega </math>.

:♦ remarque : il est important de noter que, par rapport à la transformation de Lorentz, la densité de charge <math>~ \rho ~</math> n'est pas un scalaire (la charge est un scalaire, mais la contraction des volumes modifie <math>~ \rho ~</math>) ; par ailleurs, le 4-objet <math>~ \frac{dx^\alpha}{dt} = (c ~ ; \vec{v}) ~</math> n'est pas un 4-vecteur à cause de la dilatation des durées ; il se trouve que les deux effets se compensent et que le produit des deux est un quadrivecteur.

* On obtient ainsi au total : <math>~ S = -\frac{1}{c} \int_\mathcal{V} ( A_\alpha J^\alpha + \frac{1}{4\mu_0} F^{\alpha\beta} F_{\alpha\beta}) ~ d\Omega = \frac{1}{c} \int_\mathcal{V} \Lambda ~ d\Omega</math>.
}}


* Les équations d'Euler-Lagrange donnent : 
{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\partial_\alpha F^{\alpha\beta} = \mu_0 ~ J^\beta</math>
}}

{{Boîte déroulante|titre=Précisions sur les équations|contenu=

* On obtient :
:: <math>\Lambda = -A_\alpha J^\alpha - \frac{1}{4\mu_0} \eta^{\mu\rho} \eta^{\nu\sigma} F_{\mu\nu}F_{\rho\sigma} </math>
:: <math>\frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} = - \frac{1}{4\mu_0} \left( F^{\mu\nu} \frac{\partial}{\partial (\partial_\beta A_\alpha)} (\partial_\mu A_\nu - \partial_\nu A_\mu) ~  + ~ F^{\rho\sigma} \frac{\partial}{\partial (\partial_\beta A_\alpha)} (\partial_\rho A_\sigma - \partial_\sigma A_\rho) \right) ~</math> ;

:: <math>\frac{\partial \Lambda}{\partial (\partial_\beta A_\alpha)} = - \frac{1}{4\mu_0} \left(
F^{\mu\nu} (\delta_\mu^{~ \beta} ~ \delta_\nu^{~ \alpha} - \delta_\nu^{~ \beta} ~ \delta_\mu^{~ \alpha})
+ F^{\rho\sigma} (\delta_\rho^{~ \beta} ~ \delta_\sigma^{~ \alpha} - \delta_\sigma^{~ \beta} ~ \delta_\rho^{~ \alpha})
\right) ~  = - \frac{1}{\mu_0} F^{\beta\alpha}</math>.

* Par ailleurs : <math>\frac{\partial \Lambda}{\partial A_\alpha} = - J^\alpha ~</math> donc <math>~ \partial_\beta F^{\beta\alpha} = \mu_0 ~  J^\alpha</math>.

}}

* Pour <math>~ \beta = 0 ~</math> on obtient : <math>~ \partial_\alpha F^{\alpha 0} = \mu_0 ~ J^0</math>.

: Mais puisque <math>~ F^{0 0} = 0 ~</math> il reste : <math>~ \partial_k F^{k 0} = \frac{\partial_k E^k}{c} = \mu_0 ~ \rho ~ c</math>.

: Avec <math>~ \mu_0 c^2 = \frac{1}{\varepsilon_0} ~</math> ceci donne l'[[équations de Maxwell|équation de Maxwell-Gauss]] : <math>~ \mathrm{div} ~ \vec{E} ~ = ~ \frac{\rho}{\varepsilon_0}</math>.


* Pour <math>~ \beta = k = 1;2;3 ~</math> on obtient : <math>~ \partial_0 F^{0 k} + \partial_i F^{i k} = -\frac{1}{c^2} \frac{\partial E^k}{\partial t} + \partial_i F^{i k} = \mu_0 ~ j^k</math>.

: Par ailleurs pour <math>~ k = 1 ~</math> (par exemple ; de même pour les autres indices) : <math>~ \partial_2 F^{2 1} + \partial_3 F^{3 1} = \partial_2 B^3 - \partial_3 B^2 = (\vec{\mathrm{rot}} ~ \vec{B})^1</math>.

: Au total ceci donne l'[[équations de Maxwell|équation de Maxwell-Ampère]] : <math>~ \overrightarrow{\mathrm{rot}} ~ \vec{B} ~ = ~ \mu_0 \vec{j} ~ + ~ \varepsilon_0 \mu_0 ~ \frac{\partial \vec{E}}{\partial t}</math>.


* En outre <math>~ \partial_{\alpha\beta} F^{\alpha\beta} = -\partial_{\alpha\beta} F^{\alpha\beta} = 0 ~</math> puisque <math>~ F^{\alpha\beta} ~</math> est antisymétrique et que le théorème de Schwarz <math>~ (\partial_{\beta\alpha} = \partial_{\alpha\beta}) ~</math> implique la symétrie.

: On en déduit en corollaire l'[[Conservation_de_la_charge_électrique|équation de conservation de la charge]] :  
{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\partial_\alpha J^\alpha = 0</math> 
}}

{{Bloc emphase|fond=#fff8ff;border:4px double #888|
<math>\frac{\partial \rho}{\partial t} + \mathrm{div} ~\vec{j} ~ = 0</math>
}}

=== Tenseur énergie-impulsion du champ électromagnétique ===

* De façon générale, on peut considérer : <math>~ T^\alpha_{~\beta} = \frac{\partial \Lambda}{\partial(\partial_\alpha A_\mu)}.\partial_\beta A_\mu - \delta^\alpha_{~\beta}\Lambda ~</math> avec dans ce cas : <math>~ \Lambda_{em} = -\frac{1}{4\mu_0} F^{\mu\nu} F_{\mu\nu}</math>.

: On obtient : <math>~ \frac{\partial \Lambda}{\partial (\partial_\alpha A_\mu)} = - \frac{1}{\mu_0} F^{\alpha\mu} ~</math> ; ainsi : <math>~ T_{\alpha\beta} = - \frac{1}{\mu_0} \eta^{\mu\nu} F_{\alpha\mu}.\partial_\beta A_\nu + \frac{1}{4\mu_0} \eta_{\alpha\beta} F^{\mu\nu} F_{\mu\nu}</math>.

* Ainsi déterminée, l'expression du tenseur énergie-impulsion est généralement dissymétrique ; on peut toutefois montrer qu'elle peut être symétrisée en lui ajoutant la dérivée <math>~ \partial_\gamma \Psi^{\alpha \beta \gamma} ~</math> d'un tenseur <math>~ \Psi^{\alpha\beta\gamma} ~</math> antisymétrique par rapport à <math>~ \alpha \gamma</math>.

: Cela ne change rien à la propriété <math>~ \partial_\alpha T^{\alpha\beta} = 0 ~</math> puisque <math>~ \partial_{\alpha\gamma} \Psi^{\alpha\beta\gamma} = 0 ~</math> (à la fois symétrique et antisymétrique). On peut en outre montrer que cela ne modifie pas les énergies et impulsions qui s'en déduisent par intégration (les contributions de <math>~ \Psi^{\alpha\beta\gamma} ~</math> sont de même nulles).

* Compte tenu de <math>~ \partial^\mu F_{\alpha\mu} = 0 ~</math> (on raisonne pour le champ électromagnétique seul) on peut ajouter <math>~ \frac{1}{\mu_0} F_{\alpha\mu}.\partial^\mu A_\beta = \frac{1}{\mu_0} \partial^\mu (F_{\alpha\mu} A_\beta)</math>.
: Ceci done une formulation symétrique : <math>~ T_{\alpha\beta} = - \frac{1}{\mu_0} \eta^{\mu\nu} F_{\alpha\mu} F_{\beta\nu} + \frac{1}{4\mu_0} \eta_{\alpha\beta} F^{\mu\nu} F_{\mu\nu}</math>.

:♦ remarque : ici encore on rencontre divers choix de conventions de signe ; par exemple les notations anglo-saxonnes changent le signe de la définition de <math>~ \eta_{\alpha\beta}</math> ; il faut adapter les signes dans l'expression précédente (et de même si on change le signe de l'action).


* Ceci peut s'exprimer en considérant : <math>~ F^{\mu\nu} F_{\mu\nu} = F^{0 i} F_{0 i} + F^{i 0} F_{i 0} + F^{ij} F_{ij} ~</math> avec :
:: <math>F^{0 i} F_{0 i} = F^{i 0} F_{i 0} = -\frac{\vec{E}^2}{c^2}</math>
:: <math>F^{ij} F_{ij} = 2 \vec{B}^2 ~</math> (avec les symboles de [[symbole de Levi-Civita|Levi-Civita]] et de [[Symbole_de_Kronecker|Kronecker]] : <math>~ F^{ij} = \varepsilon^{ijk} B_k ~</math> ; <math>~ F_{ij} = -\varepsilon_{ijl} B^l ~</math> ; <math>~ \varepsilon^{ijk} \varepsilon_{ijl} = 2 ~ \delta^k_{~ l} ~</math> ; <math>~ -B_k B^k = \vec{B}^2</math>).

: AInsi <math>~ F^{\mu\nu} F_{\mu\nu} = -2 ~ (\frac{\vec{E}^2}{c^2} - \vec{B}^2)</math>.

:♦ remarque : on peut utiliser des indices covariants et contravariants, mais les symboles de Levi-Civita ne se comportent pas tout à fait comme des tenseurs : <math>~ \eta^{il} \eta^{jm} \eta^{kn} \varepsilon_{lmn} = - \varepsilon^{ijk}</math>.

* On en déduit la densité d'énergie : <math>~ w = T^{00} = \frac{1}{\mu_0} \frac{\vec{E}^2}{c^2} - \frac{1}{2 ~ \mu_0} (\frac{\vec{E}^2}{c^2} - \vec{B}^2) = \frac{\varepsilon_0 \vec{E}^2}{2} + \frac{\vec{B}^2}{2 \mu_0}</math>.
: De même la densité de « courant d'énergie » (associée au [[vecteur de poynting]]) : <math>~ \Pi^i = c ~ T^{0i} = - \frac{c}{\mu_0} \eta_{kj} F^{0 k} F^{ij} = \frac{1}{\mu_0} E_j \varepsilon^{ijl} B_l = \frac{[\vec{E} \times \vec{B}]^i}{\mu_0}</math>.

== Annexes ==
=== Bibliographie ===
* {{Landau}}
* {{cours de physique de Feynman}} - ''Électromagnétisme (I)'', chap. 19, InterEditions, 1979 {{ISBN|2-7296-0028-0}}. Rééd. Dunod, 2000 {{ISBN|2-1000-4861-9}}
* Jean-Claude Boudenot, ''Électromagnétisme et gravitation relativistes'', [[Éditions Ellipses|Ellipses]], 1989 {{ISBN|2729889361}}
* Jean-Louis Basdevant, ''Principes variationnels & dynamique'', Vuibert, 2005 {{ISBN|2711771725}}
* Florence Martin-Robine, ''Histoire du principe de moindre action'', Vuibert, 2006 {{ISBN|2711771512}}
* Edgard Elbaz, ''Relativité générale et gravitation'', Ellipses, 1986

=== Articles connexes ===
* [[Principe de moindre action]]
* [[Mécanique analytique]]
* [[Lagrangien]]
* [[Mécanique hamiltonienne]]
* [[Espace de Minkowski]]
* [[Relativité restreinte]]
* [[Principe de Fermat]], intéressant parallèle avec l'optique

{{Palette|Relativité}}
{{Portail|physique}}

[[Catégorie:Principe physique]]
[[Catégorie:Physique théorique]]
[[Catégorie:Relativité restreinte]]