Principe de moindre action et relativité restreinte - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Cas d'un corps dans un champ électromagnétique

Sans la quadri-écriture

Comme dans le cas classique, le lagrangien peut être défini en utilisant un potentiel électromagnétique  (\phi(\vec{q},t), \vec{A}(\vec{q},t))  :

 L = L(\vec{q},\vec{v},t)  = \ -m.c^2.\sqrt{1-\frac{v^2}{c^2}} - e\phi(\vec{q},t) + e. \vec{v} \cdot \vec{A}(\vec{q},t)

En prenant encore  \vec{p} = \frac{m\vec{v}}{\sqrt{1-\frac{v^2}{c^2}}} , les équation d'Euler-Lagrange donnent :

ce qui n'est pas une égalité pratique à utiliser car la dérivation de  \vec{p}~~ est laborieuse.

L'impulsion est définie par : \vec{P} = \frac{ \partial L}{\partial \vec{v}} = \frac{m\vec{v}}{\sqrt{1-\frac{v^2}{c^2}}} + e.\vec{A} = \vec{p} + e.\vec{A}

On prendra donc soin de distinguer \vec{p} et \vec{P}

L'énergie est définie par : \ E = \vec{P}.\vec{v} - L

On obtient : \ E = \frac{mc^2}{\sqrt{1-\frac{v^2}{c^2}}} + e.\phi

Et après quelques calculs pour exprimer l'énergie en fonction de l'impulsion : \ (E-e\phi)^2 = \left(\vec{P} - e.\vec{A}\right)^2.c^2 + m^2.c^4

Toutes les approximations aux petites vitesses devant c redonnent les résultats classiques.

À 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.

Avec la quadri-écriture

Le champ électromagnétique se manifeste sous forme d'un quadri-vecteur, appelé quadri-potentiel électromagnétique, \ A^j dont l'interaction avec la particule de charge \ e se manifeste sous forme lagrangienne par \ e.A^j.dx_j

La définition de l'action relativiste infinitésimale d'un champ électromagnétique est donc \  L.dt = \ -mc.\sqrt{dx_j.dx^j} - e.A^j.dx_j .

On pose  F^{ij} = \partial^i A^j - \partial^j A^i tenseur champ électromagnétique.

En prenant \ t_0 le temps propre de la particule, les équations d'Euler-Lagrange donnent les équations du mouvement de la particule :

m. \frac{dV^i}{dt_0} = e.V_j.F^{ij}

Que l'on peut écrire aussi :

mc. \frac{dV^i}{ds} = e.V_j.F^{ij}

En prenant : champ électrique = \vec{E} = c.\left(F^{01},F^{02},F^{03}\right) et champ magnétique = \vec{B} = \left(F^{23},F^{31},F^{12}\right) , on retrouve la force de Lorentz sous son écriture habituelle.

  • On se rappelle que la quadri-impulsion, comme l'impulsion, est définie par P^i = \frac{\partial L_0}{\partial V_i}
D'où :  P^i = -mc\frac{V^i}{\sqrt{V^jV_j}} - e.A^i
Pour i = 0 , on obtient : P^0 = -mc.\frac{(\frac{c.dt}{dt_0})}{(\frac{ds}{dt_0})} - e.A^0 = -mc.\frac{c.dt}{ds} - e.\frac{\phi}{c} = -\frac{mc}{\sqrt{1-\frac{v^2}{c^2}}} - \frac{e}{c}.\phi = -\frac{E}{c}
Pour i = 1;2;3 , de manière similaire au cas i=0, on obtient : (P^1,P^2;P^3)= \frac{m\vec{v}}{\sqrt{1-\frac{v^2}{c^2}}} + e.\vec{A} =  \vec{p} + e.\vec{A} = \vec{P} .
De manière similaire au cas d'un corps libre, la constante \ P^iV_i-L par rapport au temps \ t_0~ est en fait la constante 0, et une petite manipulation permet d'en déduire l'égalité déjà vue \ m^2.c^4 = (E - e.\phi)^2 - \left(\vec{P} - e\vec{A}\right)^2.c^2 .

L'invariance de jauge du potentiel et du tenseur électromagnétiques

On remarque que si à la place du quadri-potentiel électromagnétique \ A^j , on a le quadri-potentiel \ A'^j =  A^j + \partial^j \phi \ \phi est une fonction quelconque des coordonnées, alors le lagrangien devient  L' = L + \partial^j \phi.dx_j et l'action S' = S + \int^{t_f}_{t_i}\partial^j \phi.dx_j = S + \phi (x_i(t_f)) - \phi (x_i(t_i))

En appliquant la méthode variationnelle qui fait varier le chemin en gardant les extrémités fixes, le terme \ \phi (x_i(t_f)) - \phi (x_i(t_i)) est éliminé. Donc les deux potentiels \ A^j et \ A'^j =  A^j + \partial^j \phi donnent les mêmes équations du mouvement : on appelle cela l'« invariance de jauge ».

On constate d'ailleurs que dans les équations du mouvement, le tenseur électromagnétique, terme représentant l'influence du champ électromagnétique, est bien invariant de jauge :  F'^{ij} = \partial^i A'^j - \partial^j A'^i =  \partial^i A^j - \partial^j A^i + \partial^i \partial^j \phi- \partial^j \partial^i \phi = \partial^i A^j - \partial^j A^i = F^{ij}

par le théorème de Schwarz : \partial^i \partial^j = \partial^j \partial^i .

Page générée en 0.131 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise