Quadrivecteur potentiel

À partir des équations de Maxwell relativistes, si on choisit la jauge de Lorenz, qui peut être définie par ${\displaystyle \partial _{\mu }A^{\mu }(x^{\nu })=0}$, soit ${\displaystyle {\frac {1}{c^{2}}}{\frac {\partial \phi }{\partial t}}+{\text{div}}{\vec {A}}=0}$ on aboutit aux 4 équations suivantes :

${\displaystyle \partial _{\alpha }\partial ^{\alpha }A^{\mu }(x^{\nu })=\mu _{0}J^{\mu }(x^{\nu })}$

où

• ${\displaystyle \partial _{\alpha }={\frac {\partial }{\partial x^{\alpha }}}=\left({\frac {1}{c}}{\frac {\partial }{\partial t}},{\vec {\nabla }}\right)}$ désigne le quadrivecteur gradient covariant, et ${\displaystyle \partial ^{\alpha }={\begin{pmatrix}{\frac {1}{c}}{\frac {\partial }{\partial t}}\\-{\vec {\nabla }}\end{pmatrix}}}$ son équivalent contravariant. En effet, ${\displaystyle \partial ^{\alpha }=\sum _{\beta =0}^{3}\eta ^{\alpha \beta }\partial _{\beta }}$ avec ${\displaystyle \eta ^{\alpha \beta }}$ la métrique de Minkowski en signature (+,-,-,-).
• La répétition des indices implique la somme des termes suivant la convention d'Einstein ${\displaystyle x_{\mu }y^{\mu }=\sum _{\mu =0}^{3}x_{\mu }y^{\mu }}$. Ceci entraîne que ${\displaystyle \partial _{\alpha }\partial ^{\alpha }=\Box ={\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}-\Delta }$ qui n'est autre que l'opérateur d'alembertien.
• ${\displaystyle \mu _{0}={\frac {1}{\epsilon _{0}c^{2}}}}$ désigne la perméabilité du vide
• ${\displaystyle J^{\mu }(x^{\nu })=\rho _{0}V^{\mu }(x^{\nu })=\rho _{0}\gamma (c,{\vec {v}})=\gamma (c\rho _{0},{\vec {j_{0}}})=(c\rho ,{\vec {j}})}$ représente le quadrivecteur densité de courant.

Pour ${\displaystyle \mu =0}$ on trouve l'équation ${\displaystyle \square \phi ={\frac {\rho }{\epsilon _{0}}}}$ qui correspond à l'équation de Maxwell dans le vide ${\displaystyle {\text{div}}{\vec {E}}={\frac {\rho }{\epsilon _{0}}}}$.

En effet, ${\displaystyle \square \phi ={\frac {1}{c^{2}}}{\frac {\partial ^{2}\phi }{\partial t^{2}}}-\Delta \phi ={\frac {1}{c^{2}}}{\frac {\partial ^{2}\phi }{\partial t^{2}}}-{\text{div}}({\vec {\text{grad}}}\ \phi )=-{\frac {\partial }{\partial t}}({\text{div}}{\vec {A}})-{\text{div}}({\vec {\text{grad}}}\ \phi )={\text{div}}\left(-{\vec {\text{grad}}}\ \phi -{\frac {\partial {\vec {A}}}{\partial t}}\right)={\text{div}}{\vec {E}}}$

Pour ${\displaystyle \mu =1,2,3}$ on trouve l'équation ${\displaystyle \square {\vec {A}}=\mu _{0}{\vec {j}}}$ qui correspond à l'équation de Maxwell dans le vide ${\displaystyle {\vec {\text{rot}}}{\vec {H}}={\vec {j}}+{\frac {\partial {\vec {D}}}{\partial t}}}$.

En effet, ${\displaystyle \square {\vec {A}}={\frac {1}{c^{2}}}{\frac {\partial ^{2}{\vec {A}}}{\partial t^{2}}}-\Delta {\vec {A}}={\frac {1}{c^{2}}}{\frac {\partial ^{2}{\vec {A}}}{\partial t^{2}}}+{\vec {\text{rot}}}({\vec {\text{rot}}}{\vec {A}})-{\vec {\text{grad}}}({\text{div}}{\vec {A}})={\frac {1}{c^{2}}}{\frac {\partial ^{2}{\vec {A}}}{\partial t^{2}}}+{\vec {\text{rot}}}\ {\vec {B}}+{\frac {1}{c^{2}}}{\vec {\text{grad}}}({\frac {\partial \phi }{\partial t}})={\vec {\text{rot}}}\ {\vec {B}}+{\frac {1}{c^{2}}}{\frac {\partial }{\partial t}}\left({\vec {\text{grad}}}\ \phi +{\frac {\partial {\vec {A}}}{\partial t}}\right)={\vec {\text{rot}}}\ {\vec {B}}-\epsilon _{0}\mu _{0}{\frac {\partial {\vec {E}}}{\partial t}}=\mu _{0}\left({\vec {\text{rot}}}{\vec {H}}-{\frac {\partial {\vec {D}}}{\partial t}}\right)}$

Tout vecteur à quatre composantes ne définit pas forcément un quadrivecteur en physique relativiste. La base est le principe de relativité combiné à la constante de la vitesse de la lumière dans le vide, ce qui se traduit par le fait que tout quadrivecteur doit se transformer suivant la transformation de Lorentz (symbolisé par le tenseur de Lorentz ${\displaystyle {\Lambda {}^{\mu }}_{\nu }}$) par changement de référentiel galiléen . Ainsi, lors du changement de référentiel, soit les coordonnées se transforment par la transformation de Lorentz et le quadrivecteur reste inchangé, soit les coordonnées restent inchangées mais alors c'est le quadrivecteur qui se transforme, les deux opérations menant au même résultat: ${\displaystyle P^{\mu }(x^{\nu })=P^{\mu }(\Lambda _{\xi }^{\nu }x^{\xi })=\Lambda _{\xi }^{\mu }P^{\xi }(x^{\nu })}$ . De même, si ${\displaystyle P^{\xi }(x^{\nu })}$ est un quadrivecteur, alors ${\displaystyle \Lambda _{\xi }^{\mu }P^{\xi }(x^{\nu })}$ est encore un quadrivecteur puisque la physique reste inchangée par changement de référentiel (indépendant de l'observateur). Pour des exemples de calcul, voir l'article calculs relativistes.

Le d'alembertien est un opérateur différentiel qui a la propriété d'être inchangé quand on change de référentiel en relativité restreinte. En termes plus mathématiques, il est invariant par transformation de Lorentz. En effet, par définition, ${\displaystyle \square =\partial _{\mu }\partial ^{\mu }=\eta _{\mu \nu }\partial ^{\nu }\partial ^{\mu }}$, or puisque le quadrivecteur gradient obéit à la propriété ci-dessus d'un quadrivecteur, par changement de coordonnées, ${\displaystyle {\Lambda ^{\nu }}_{\rho }\partial ^{\rho }}$ est encore un quadrivecteur gradient, or la quantité ${\displaystyle \eta _{\mu \nu }({\Lambda ^{\nu }}_{\rho }\partial ^{\rho })({\Lambda ^{\mu }}_{\sigma }\partial ^{\sigma })=(\eta _{\mu \nu }{\Lambda ^{\nu }}_{\rho }{\Lambda ^{\mu }}_{\sigma })\partial ^{\rho }\partial ^{\sigma }=\eta _{\sigma \rho }\partial ^{\rho }\partial ^{\sigma }=\partial _{\sigma }\partial ^{\sigma }=\square }$ redonne exactement la même expression du d'alembertien. Grâce à cette propriété, on montre aussi que les équations de Maxwell restent invariantes par transformation de Lorentz.

• Quadrimoment
• Quadrivitesse

• Portail de la physique