Comme dans le cas classique, le lagrangien peut être défini en utilisant un potentiel électromagnétique
En prenant encore
L'impulsion est définie par :
On prendra donc soin de distinguer
L'énergie est définie par :
On obtient :
Et après quelques calculs pour exprimer l'énergie en fonction de l'impulsion :
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.
Le champ électromagnétique se manifeste sous forme d'un quadri-vecteur, appelé quadri-potentiel électromagnétique,
La définition de l'action relativiste infinitésimale d'un champ électromagnétique est donc
On pose
En prenant
Que l'on peut écrire aussi :
En prenant : champ électrique =
On considère un champ de force dont l'interaction avec la particule de charge
La définition de l'action relativiste infinitésimale d'un champ électromagnétique est
En factorisant par
Les équations d'Euler-Lagrange relativistes
donnent :
En prenant dès maintenant
(mais on peut dériver avant si on veut plus de cohérence dans le suivi de la méthode), et on a :
Sachant que
on obtient l'équation du mouvement :
On retrouve le cas sans quadri-écriture en factorisant par
On remarque que si à la place du quadri-potentiel électromagnétique
En appliquant la méthode variationnelle qui fait varier le chemin en gardant les extrémités fixes, le terme
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 :
par le théorème de Schwarz :