Le Principe de relativité et la théorie de la gravitation/chap. 15

Jean Becquerel

Le Principe de relativité et la théorie de la gravitation

Gauthier-Villars, 1922 (p. 245-255).

CHAPITRE XV.

LE CHAMP ÉLECTROMAGNÉTIQUE.

---

98. Généralisation des équations de Maxwell-Lorentz.

Les équations fondamentales du champ électromagnétique peuvent être considérées comme établies dans un Univers euclidien (le champ de gravitation de la Terre étant faible), et elles ont été vérifiées expérimentalement par des mesures d’une extrême précision. Nous admettrons l’exactitude rigoureuse de ces lois dans un Espace-Temps euclidien ; partant de leur expression connue en coordonnées galiléennes, nous nous proposons de les exprimer, toujours dans un Univers euclidien, en coordonnées arbitraires, c’est-à-dire nous cherchons à les généraliser en introduisant un champ de force ou champ de gravitation géométrique.

D’après le principe d’équivalence, le résultat que nous obtiendrons sera encore exact dans un champ de gravitation permanent, c’est-à-dire dans l’Univers réel non euclidien.

Dans la théorie ordinaire, on considère un potentiel vecteur ${\mathrm{G}}_1,$ ${\mathrm{G}}_2,$ ${\mathrm{G}}_3$ (unités électromagnétiques), et un potentiel scalaire $\psi$ (unités électrostatiques).

Soient $\mathrm{X},$ $\mathrm{Y},$ $\mathrm{Z}$ les composantes de la force électrique (unités électrostatiques) et $\mathrm{L},$ $\mathrm{M},$ $\mathrm{N}$ les composantes de l’induction magnétique au point d’espace $x,$ $y,$ $z$ (coordonnées galiléennes). On a, comme on le sait,

(1-15)

$\{\begin{array}{cccc}\mathrm{X}& =-\frac{\partial \psi }{\partial x}-\frac{1}{c}\frac{\partial {\mathrm{G}}_1}{\partial t},& \mathrm{L}& =\frac{\partial {\mathrm{G}}_3}{\partial y}-\frac{\partial {\mathrm{G}}_2}{\partial z},\\ \mathrm{Y}& =-\frac{\partial \psi }{\partial y}-\frac{1}{c}\frac{\partial {\mathrm{G}}_2}{\partial t},& \mathrm{M}& =\frac{\partial {\mathrm{G}}_1}{\partial z}-\frac{\partial {\mathrm{G}}_3}{\partial x},\\ \mathrm{Z}& =-\frac{\partial \psi }{\partial z}-\frac{1}{c}\frac{\partial {\mathrm{G}}_3}{\partial t},& \mathrm{N}& =\frac{\partial {\mathrm{G}}_2}{\partial x}-\frac{\partial {\mathrm{G}}_1}{\partial y}\cdot \end{array}$

En vue de la généralisation, posons

(2-15)

$\{\begin{array}{cccccccc}{x}_1& =x,& x_2& =y,& x_3& =z,& x_4& =ct,\\ {\phi }_1& =-{\mathrm{G}}_1,& {\phi }_2& =-{\mathrm{G}}_2,& {\phi }_3& =-{\mathrm{G}}_3,& {\phi }_4& =\psi .\end{array}$

Les équations (1-15) s’écrivent, avec cette notation,

(3-15)

$\{\begin{array}{cccc}\mathrm{X}& =\frac{\partial {\phi }_1}{\partial x_4}-\frac{\partial {\phi }_4}{\partial x_1},& \mathrm{L}& =\frac{\partial {\phi }_2}{\partial x_3}-\frac{\partial {\phi }_3}{\partial x_2},\\ \mathrm{Y}& =\frac{\partial {\phi }_2}{\partial x_4}-\frac{\partial {\phi }_4}{\partial x_2},& \mathrm{M}& =\frac{\partial {\phi }_3}{\partial x_1}-\frac{\partial {\phi }_1}{\partial x_3},\\ \mathrm{Z}& =\frac{\partial {\phi }_3}{\partial x_4}-\frac{\partial {\phi }_4}{\partial x_3},& \mathrm{N}& =\frac{\partial {\phi }_1}{\partial x_2}-\frac{\partial {\phi }_2}{\partial x_1}\cdot \end{array}$

Écrivons maintenant les équations de Maxwell-Lorentz. L’unité de charge étant choisie de manière que le facteur $4\pi$ disparaisse (système d’Heaviside-Lorentz), soient $u,$ $v,$ $w$ les composantes de la densité de courant (unités électromagnétiques) et $\mathrm{P}$ la densité de charge (unités électrostatiques). Les équations bien connues sont les suivantes :

$-\frac{1}{c}\frac{\partial \mathrm{L}}{\partial t}=\frac{\partial \mathrm{Z}}{\partial y}-\frac{\partial \mathrm{Y}}{\partial z};$		$\frac{1}{c}\frac{\partial \mathrm{X}}{\partial t}+u=\frac{\partial \mathrm{N}}{\partial y}-\frac{\partial \mathrm{M}}{\partial z},$
...............,		.................,
$\mathrm{Div}(\mathrm{L},\mathrm{M},\mathrm{N})=0,$		$\mathrm{Div}(\mathrm{X},\mathrm{Y},\mathrm{Z})=\mathrm{P},$

c’est-à-dire, avec notre notation^[1],

(4-15)

$\{\begin{array}{cc}\frac{\partial \mathrm{L}}{\partial x_4}+\frac{\partial \mathrm{Z}}{\partial x_2}-\frac{\partial \mathrm{Y}}{\partial x_3}& =0,\\ \frac{\partial \mathrm{M}}{\partial x_4}+\frac{\partial \mathrm{X}}{\partial x_3}-\frac{\partial \mathrm{Z}}{\partial x_1}& =0,\\ \frac{\partial \mathrm{N}}{\partial x_4}+\frac{\partial \mathrm{Y}}{\partial x_1}-\frac{\partial \mathrm{X}}{\partial x_2}& =0,\\ \frac{\partial \mathrm{L}}{\partial x_1}+\frac{\partial \mathrm{M}}{\partial x_2}+\frac{\partial \mathrm{N}}{\partial x_3}& =0,\end{array}$

(5-15)

$\{\begin{array}{cc}-\frac{\partial \mathrm{X}}{\partial x_4}+\frac{\partial \mathrm{N}}{\partial x_2}-\frac{\partial \mathrm{M}}{\partial x_3}& =u,\\ -\frac{\partial \mathrm{Y}}{\partial x_4}+\frac{\partial \mathrm{L}}{\partial x_3}-\frac{\partial \mathrm{N}}{\partial x_1}& =v,\\ -\frac{\partial \mathrm{Z}}{\partial x_4}+\frac{\partial \mathrm{M}}{\partial x_1}-\frac{\partial \mathrm{L}}{\partial x_2}& =w,\\ \frac{\partial \mathrm{X}}{\partial x_1}+\frac{\partial \mathrm{Y}}{\partial x_2}+\frac{\partial \mathrm{Z}}{\partial x_3}& =\mathrm{P}.\end{array}$

Soient maintenant, d’une façon générale, ${\phi }_{\mu }$ les composantes d’un quadrivecteur covariant (arbitraire pour le moment) ; nous pouvons former sa dérivée covariante

${\phi }_{\mu \nu }=\frac{\partial {\phi }_{\mu }}{\partial x_{\nu }}-\left\{\begin{array}{c}\mu \nu \\ \rho \end{array}\right\}{\phi }_{\rho }$ (coordonnées quelconques).

${\phi }_{\mu \nu }$ étant un tenseur covariant, les expressions

(6-15)

$\frac{\partial {\phi }_{\mu }}{\partial x_{\nu }}-\frac{\partial {\phi }_{\nu }}{\partial x_{\mu }}={\phi }_{\mu \nu }-{\phi }_{\nu \mu }={\mathrm{F}}_{\mu \nu }$

sont les composantes d’un nouveau tenseur covariant du second ordre.

Ce tenseur ${\mathrm{F}}_{\mu \nu }$ est symétrique gauche, car on a ${\mathrm{F}}_{\mu \nu }=-{\mathrm{F}}_{\nu \mu }.$

D’après la formation de ${\mathrm{F}}_{\mu \nu },$ on a les identités

(7-15)

$\frac{\partial {\mathrm{F}}_{\nu \mu }}{\partial x_{\sigma }}+\frac{\partial {\mathrm{F}}_{\nu \sigma }}{\partial x_{\mu }}+\frac{\partial {\mathrm{F}}_{\sigma \mu }}{\partial x_{\nu }}\equiv 0.$

Donnons à $\mu ,$ $\nu ,$ $\sigma$ les valeurs suivantes :

$\begin{array}{ccccc}\mu & 2,& 3,& 4,& 1\\ \nu & 3,& 4,& 1,& 2\\ \sigma & 4,& 1,& 2,& 3,\end{array}$

nous obtenons les quatre identités

(8-15)

$\{\begin{array}{c}\frac{\partial {\mathrm{F}}_{23}}{\partial x_4}+\frac{\partial {\mathrm{F}}_{34}}{\partial x_2}+\frac{\partial {\mathrm{F}}_{42}}{\partial x_3}\equiv 0\\ \frac{\partial {\mathrm{F}}_{34}}{\partial x_1}+\frac{\partial {\mathrm{F}}_{41}}{\partial x_3}+\frac{\partial {\mathrm{F}}_{13}}{\partial x_4}\equiv 0\\ \frac{\partial {\mathrm{F}}_{41}}{\partial x_2}+\frac{\partial {\mathrm{F}}_{12}}{\partial x_4}+\frac{\partial {\mathrm{F}}_{24}}{\partial x_1}\equiv 0\\ \frac{\partial {\mathrm{F}}_{12}}{\partial x_3}+\frac{\partial {\mathrm{F}}_{23}}{\partial x_1}+\frac{\partial {\mathrm{F}}_{31}}{\partial x_2}\equiv 0\end{array}$

Le tenseur ${\mathrm{F}}_{\nu \mu },$ étant symétrique gauche, a quatre composantes nulles, et n’a que six composantes distinctes, au signe près. Posons

(9-15)

$\{\begin{array}{cccc}{\mathrm{F}}_{14}& =-{\mathrm{F}}_{41}=\mathrm{X}& {\mathrm{F}}_{23}& =-{\mathrm{F}}_{32}=\mathrm{L},\\ {\mathrm{F}}_{24}& =-{\mathrm{F}}_{42}=\mathrm{Y}& {\mathrm{F}}_{31}& =-{\mathrm{F}}_{13}=\mathrm{M},\\ {\mathrm{F}}_{34}& =-{\mathrm{F}}_{43}=\mathrm{Z}& {\mathrm{F}}_{12}& =-{\mathrm{F}}_{21}=\mathrm{N},\end{array}$

${\mathrm{F}}_{11}={\mathrm{F}}_{22}={\mathrm{F}}_{33}={\mathrm{F}}_{44}={\mathrm{F}}_{34}=0.$

Les premiers membres des identités (8-15) sont précisément les premiers membres des équations (4-15) de Maxwell-Lorentz. De plus, les composantes du champ électrique et les composantes de l’induction magnétique sont formées à partir du potentiel vecteur (changé de signe) et du potentiel scalaire (3-15) comme les composantes du tenseur ${\mathrm{F}}_{\mu \nu }$ sont formées à partir du quadrivecteur ${\phi }_{\mu },$ d’après (6-15).

Nous pouvons donc donner l’interprétation suivante du premier groupe (4-15) des équations de Maxwell : les composantes de l’induction électrique et les composantes du champ magnétique constituent un tenseur symétrique gauche ${\mathrm{F}}_{\mathrm{\mu }\mathrm{\nu }}$ du second ordre, formé lui-même à partir d’un quadrivecteur potentiel ${\phi }_{\mu }$ dont les composantes d’espace (changées de signe) sont les composantes du potentiel vecteur (en unités électromagnétiques) et dont la composante de temps est le potentiel scalaire (en unités électrostatiques) de la théorie ordinaire. Le potentiel est un quadrivecteur covariant.

En coordonnées galiléennes, le tenseur covariant du champ électromagnétique est le suivant, d’après (9-15) :

(10-15)

$\{\begin{array}{c}\\ \\ \\ \end{array}$	${\mathrm{F}}_{\mathrm{\mu }\mathrm{\nu }}=$	$\begin{array}{cccc}0& \mathrm{N}& -\mathrm{M}& \mathrm{X}\\ -\mathrm{N}& 0& \mathrm{L}& \mathrm{Y}\\ \mathrm{M}& -\mathrm{L}& 0& \mathrm{Z}\\ -\mathrm{X}& -\mathrm{Y}& -\mathrm{Z}& 0\end{array}$

Comme vérification, si l’on passe d’un système galiléen $\mathrm{S}$ à un autre système galiléen ${\mathrm{S}}^{\prime }$ et si l’on transforme les composantes du tableau (10-15) suivant la loi de transformation des composantes d’un tenseur covariant, on trouve précisément les forces électriques et magnétiques du système ${\mathrm{S}}^{\prime }$ telles qu’on les obtient par les formules de transformation de la relativité restreinte. Le tableau (10-15) est donc bien un tenseur.

Le tenseur contrevariant associé

${\mathrm{F}}^{\mu \nu }=g^{\mu \alpha }{g}^{\nu \beta }{\mathrm{F}}_{\alpha \beta }$

va nous permettre d’exprimer le second groupe d’équations de Maxwell. Ce tenseur est, en coordonnées galiléennes,

(11-15)

$\{\begin{array}{c}\\ \\ \\ \end{array}$	${\mathrm{F}}^{\mathrm{\mu }\mathrm{\nu }}=$	$\begin{array}{cccc}0& \mathrm{N}& -\mathrm{M}& -\mathrm{X}\\ -\mathrm{N}& 0& \mathrm{L}& -\mathrm{Y}\\ \mathrm{M}& -\mathrm{L}& 0& -\mathrm{Z}\\ \mathrm{X}& \mathrm{Y}& \mathrm{Z}& 0\end{array}$

Le second groupe de Maxwell (5-15) s’écrit maintenant

(12-15)

$\{\begin{array}{cc}\frac{\partial {\mathrm{F}}^{12}}{\partial x_2}+\frac{\partial {\mathrm{F}}^{13}}{\partial x_3}+\frac{\partial {\mathrm{F}}^{14}}{\partial x_4}& =u,\\ \frac{\partial {\mathrm{F}}^{21}}{\partial x_1}+\frac{\partial {\mathrm{F}}^{23}}{\partial x_3}+\frac{\partial {\mathrm{F}}^{24}}{\partial x_4}& =v,\\ \frac{\partial {\mathrm{F}}^{31}}{\partial x_1}+\frac{\partial {\mathrm{F}}^{32}}{\partial x_2}+\frac{\partial {\mathrm{F}}^{34}}{\partial x_4}& =w,\\ \frac{\partial {\mathrm{F}}^{41}}{\partial x_1}+\frac{\partial {\mathrm{F}}^{42}}{\partial x_2}+\frac{\partial {\mathrm{F}}^{43}}{\partial x_3}& =\mathrm{P};\end{array}$

Les premiers membres des quatre équations (12-15), qui se résument sous la forme abrégée

$\frac{\partial {\mathrm{F}}^{\mu \nu }}{\partial x_{\nu }}$

constituent les quatre composantes d’un quadrivecteur contrevariant, car $\frac{\partial {\mathrm{F}}^{\mu \nu }}{\partial x_{\nu }}$ est la forme dégénérée en coordonnées galiléennes de la divergence ${\mathrm{F}}_{\nu }^{\mu \nu }$ qui est un quadrivecteur contrevariant. Par conséquent les seconds membres $u,$ $v,$ $w,$ $\mathrm{P}$ des équations (12-15) sont les composantes d’un quadrivecteur contrevariant, le quadrivecteur « courant », dont les composantes d’espace constituent le courant de convection (unités électromagnétiques) et dont la composante de temps est la densité de charge (unités électrostatiques). Nous pouvons donc poser

(13-15)

$u={\mathrm{J}}^1,v={\mathrm{J}}^2,w={\mathrm{J}}^3,\mathrm{P}={\mathrm{J}}^4.$

On peut d’ailleurs voir directement que les ${\mathrm{J}}^{\mu }$ sont les composantes d’un quadrivecteur contrevariant ; on a, en effet,

(14-15)

$\begin{array}{cc}(u,v,w,\mathrm{P})& =\mathrm{P}(\frac{1}{c}\frac{dx}{dt},\frac{1}{c}\frac{dy}{dt}\frac{1}{c}\frac{dz}{dt},\frac{dt}{dt})\\ & =\mathrm{P}(\frac{d{x}_1}{d{x}_4},\frac{d{x}_2}{d{x}_4},\frac{d{x}_3}{d{x}_4},\frac{d{x}_4}{d{x}_4})\\ & =\mathrm{P}\frac{ds}{d{x}_4}(\frac{d{x}_1}{ds},\frac{d{x}_2}{ds},\frac{d{x}_3}{ds},\frac{d{x}_4}{ds})\cdot \end{array}$

$\mathrm{P}\frac{ds}{d{x}_4}$ est la charge totale par unité de volume propre, car $\frac{ds}{d{x}_4}=\alpha$ est la contraction de volume. Or la charge du volume propre est invariante (relativité restreinte n^o 38), donc $u,$ $v,$ $w,$ $\mathrm{P}$ se trans-

forment comme les $d{x}_{\mu }$ et constituent par suite un quadrivecteur

contrevariant^[2].

En résumé les équations de Maxwell s’écrivent :

Premier groupe (4-15), (6-15), (8-15).

(15-15)

$\{\begin{array}{cc}& \frac{\partial {\mathrm{F}}_{\mu \nu }}{\partial x_{\sigma }}+\frac{\partial {\mathrm{F}}_{\nu \sigma }}{\partial x_{\mu }}+\frac{\partial {\mathrm{F}}_{\sigma \mu }}{\partial x_{\nu }}=0,\\ & \text{ou}\\ & {\mathrm{F}}_{\mu \nu }=\frac{\partial {\phi }_{\mu }}{\partial x_{\nu }}-\frac{\partial {\phi }_{\nu }}{\partial x_{\mu }}\cdot \end{array}$

Deuxième groupe (5-15), (12-15).

(16-15)

$\frac{\partial {\mathrm{F}}^{\mu \nu }}{\partial x_{\nu }}={\mathrm{J}}^{\mu }.$

Jusqu’à présent, nous avons des coordonnées galiléennes. Il s’agit de trouver les relations générales valables dans un système de coordonnées arbitraires et se réduisant aux précédentes pour un système galiléen. La généralisation est immédiate ; l’équation (15-15) est covariante : elle subsiste dans tous les systèmes ; quant à l’équation (16-15), c’est la forme dégénérée de ${\mathrm{F}}_{\nu }^{\mu \nu }={\mathrm{J}}^{\mu };$ il suffit, pour avoir la relation tensorielle générale, de remplacer $\frac{\partial {\mathrm{F}}^{\mu \nu }}{\partial x_{\nu }}$ par la divergence ${\mathrm{F}}_{\nu }^{\mu \nu }.$

Les équations générales de l’électromagnétisme sont donc les suivantes :

(17-15)

$\begin{array}{cc}{\mathrm{F}}_{\mu \nu }& =\frac{\partial {\phi }_{\mu }}{\partial x_{\nu }}-\frac{\partial {\phi }_{\nu }}{\partial x_{\mu }}\\ {\mathrm{F}}_{\nu }^{\mu \nu }& ={\mathrm{J}}^{\mu }\end{array}$

${\phi }_{\mu }$ étant le quadrivecteur potentiel et ${\mathrm{J}}^{\mu }$ le quadrivecteur densité de courant-densité de charge.

Telle est la généralisation des équations de Maxwell-Lorentz.

Ces équations sont valables dans un champ de gravitation permanent (Univers non euclidien) parce que les conditions d’application du principe d’équivalence (n^o 77) sont remplies.

La divergence ${\mathrm{F}}_{\nu }^{\mu \nu }$ se simplifie à cause du caractère symétrique gauche de ${\mathrm{F}}^{\mu \nu };$ on a, d’après (60-13), en introduisant les densités tensorielles,

(18-15)

${𝔉}_{\nu }^{\mu \nu }=\frac{\partial {𝔉}^{\mu \nu }}{\partial x_{\nu }}={𝔍}^{\mu }.$

99. La loi de conservation de l’électricité.

De l’équation précédente nous tirons

(19-15)

$\frac{\partial {𝔍}^{\mu }}{\partial x_{\mu }}=\frac{{\partial }^2{𝔉}^{\mu \nu }}{\partial x_{\mu }\partial x_{\nu }}=0,$

car ${𝔉}^{\mu \nu }$ étant symétrique gauche, $\frac{{\partial }^2{𝔉}^{\mu \nu }}{\partial x_{\mu }\partial x_{\nu }}=0.$ D’après (55-13), il résulte de là

(20-15)

${𝔍}_{\mu }^{\mu }=0.$

En coordonnées galiléennes $x,$ $y,$ $z,$ $t,$ cette équation s’écrit

(21-15)

$\frac{\partial u}{\partial x}+\frac{\partial v}{\partial y}+\frac{\partial w}{\partial z}+\frac{1}{c}\frac{\partial \mathrm{P}}{\partial t}=0.$

Semblable à l’équation de continuité de l’hydrodynamique (60-14), elle est l’expression de la loi de conservation de l’électricité.

100. La force électrodynamique.

Supposons un espace-temps euclidien et adoptons des coordonnées galiléennes. Dans le champ électromagnétique $\mathrm{X},$ $\mathrm{Y},$ $\mathrm{Z};$ $\mathrm{L},$ $\mathrm{M},$ $\mathrm{N},$ les composantes ${\mathrm{K}}_1,$ ${\mathrm{K}}_2,$ ${\mathrm{K}}_3$ de la force mécanique qui s’exerce sur l’unité de volume contenant charges et courants sont données par les formules de la théorie habituelle (formules qui sont rigoureuses ainsi que nous l’avons montré en relativité restreinte) :

(22-15)

$\{\begin{array}{cc}{\mathrm{K}}_1& =\mathrm{X}\mathrm{P}+\mathrm{N}v-\mathrm{M}w,\\ {\mathrm{K}}_2& =\mathrm{Y}\mathrm{P}+\mathrm{L}w-\mathrm{N}u,\\ {\mathrm{K}}_3& =\mathrm{Z}\mathrm{P}+\mathrm{M}u-\mathrm{L}v.\end{array}$

D’autre part, le travail accompli par le courant pendant l’unité de temps est

$\frac{d𝔗}{dt}=\mathrm{X}cu+\mathrm{Y}cv+\mathrm{Z}cw.$

Désignons par ${\mathrm{K}}_4$ ce travail changé de signe et divisé par $c$

(23-15)

${\mathrm{K}}_4=-\frac{d𝔗}{d{x}_4}=-\mathrm{X}u-\mathrm{Y}v-\mathrm{Z}w.$

D’après la définition du tenseur ${\mathrm{F}}_{\mu \nu }$ (10-15) et celle du quadrivecteur ${\mathrm{J}}^{\mu }$ (13-15), les équations (22-15) et (23-15) se résument ainsi :

(24-15)

${\mathrm{K}}_{\mu }={\mathrm{F}}_{\mu \nu }{\mathrm{J}}^{\nu }={\mathrm{F}}_{\mu \nu }{\mathrm{F}}_{\sigma }^{\nu \sigma },$

ce qui prouve que les ${\mathrm{K}}_{\mu }$ forment un quadrivecteur covariant ; les composantes d’espace de ce quadrivecteur sont les composantes de la force mécanique s’exerçant sur l’unité de volume, ou, ce qui revient au même, les composantes du gain de quantité de mouvement pour l’unité de volume de la matière ; la composante de temps (coordonnée $x_4=ct$) est la perte d’énergie (divisée par $c$). En coordonnées galiléennes, on doit donc écrire

(25-15)

$-c^2\frac{\partial {\mathrm{T}}_{\mu }^{\alpha }}{\partial x_{\alpha }}={\mathrm{K}}_{\mu },$

${\mathrm{T}}_{\mu }^{\alpha }$ étant le tenseur matériel (45-14) dont les composantes ont les dimensions physiques d’une densité matérielle.

La généralisation en coordonnées quelconques, et pour un espace-temps de structure quelconque, est nécessairement

(26-15)

$-c^2{\mathrm{T}}_{\mu \alpha }^{\alpha }={\mathrm{K}}_{\mu }={\mathrm{F}}_{\mu \nu }{\mathrm{J}}^{\nu }={\mathrm{F}}_{\mu \nu }{\mathrm{F}}_{\sigma }^{\nu \sigma }.$

Si la loi de conservation de l’impulsion-énergie s’étend aux phénomènes électromagnétiques, il doit exister un tenseur d’énergie électromagnétique ${\mathrm{E}}_{\mu }^{\alpha }$ dont la variation compense la variation du tenseur matériel, c’est-à-dire qu’on ait

(27-15)

${\mathrm{E}}_{\mu \alpha }^{\alpha }+{\mathrm{T}}_{\mu \alpha }^{\alpha }=0,$

ou

(28-15)

${\mathrm{E}}_{\mu \alpha }^{\alpha }=\frac{1}{c^2}{\mathrm{K}}_{\mu }=\frac{1}{c^2}{\mathrm{F}}_{\mu \nu }{\mathrm{F}}_{\sigma }^{\nu \sigma }.$

101. Le tenseur d’énergie électromagnétique.

Il existe effectivement un tel tenseur ; il est donné par les expressions

(29-15)

${\mathrm{E}}_{\mu }^{\sigma }=\frac{1}{c^2}(-{\mathrm{F}}_{\mu \alpha }{\mathrm{F}}^{\sigma \alpha }+\frac{1}{4}{g}_{\mu }^{\sigma }{\mathrm{F}}_{\alpha \beta }{\mathrm{F}}^{\alpha \beta }).$

Nous allons vérifier que l’équation (28-15) est bien satisfaite. Prenons la divergence des deux membres, en observant que $g_{\mu }^{\sigma }$ est une constante (0 ou 1),

$c^2{\mathrm{E}}_{\mu \sigma }^{\sigma }=-{\mathrm{F}}_{\mu \alpha }{\mathrm{F}}_{\sigma }^{\sigma \alpha }-{\mathrm{F}}^{\sigma \alpha }{\mathrm{F}}_{\mu \alpha \sigma }+\frac{1}{4}({\mathrm{F}}_{\mu }^{\alpha \beta }{\mathrm{F}}_{\alpha \beta }+{\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\alpha \beta \mu }).$

Les deux derniers termes sont égaux, de sorte que nous pouvons écrire

$c^2{\mathrm{E}}_{\mu \sigma }^{\sigma }={\mathrm{F}}_{\mu \alpha }{\mathrm{F}}_{\sigma }^{\alpha \sigma }-{\mathrm{F}}^{\sigma \alpha }{\mathrm{F}}_{\mu \alpha \sigma }+\frac{1}{2}{\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\alpha \beta \mu };$

or ${\mathrm{F}}^{\alpha \sigma }{\mathrm{F}}_{\mu \alpha \sigma }$ peut s’écrire ${\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\mu \alpha \beta }$ ou aussi ${\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\beta \mu \alpha };$ on a donc

$c^2{\mathrm{E}}_{\mu \sigma }^{\sigma }={\mathrm{F}}_{\mu \alpha }{\mathrm{F}}_{\sigma }^{\alpha \sigma }+\frac{1}{2}({\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\mu \alpha \beta }+{\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\beta \mu \alpha }+{\mathrm{F}}^{\alpha \beta }{\mathrm{F}}_{\alpha \beta \mu }).$

L’expression entre parenthèses est nulle, car d’après la loi de formation des dérivées covariantes à trois indices (38-13) on constate que les termes contenant les symboles de Christoffel se détruisent mutuellement ; l’expression se réduit alors à

$\frac{\partial {\mathrm{F}}_{\mu \alpha }}{\partial x_{\beta }}+\frac{\partial {\mathrm{F}}_{\beta \mu }}{\partial x_{\alpha }}+\frac{\partial {\mathrm{F}}_{\alpha \beta }}{\partial x_{\mu }},$

expression qui est nulle d’après (15-15).

Finalement

$c^2{\mathrm{E}}_{\mu \sigma }^{\sigma }={\mathrm{F}}_{\mu \alpha }{\mathrm{F}}_{\sigma }^{\alpha \sigma },$

ce qui est bien l’équation (28-15).

En coordonnées galiléennes, le tenseur d’énergie électromagnétique ${\mathrm{E}}_{\mu }^{\sigma }$ groupe toutes les grandeurs qui interviennent dans la théorie ancienne :

1o

$c^2{\mathrm{E}}_4^4=\frac{1}{2}({\mathrm{X}}^2+{\mathrm{Y}}^2+{\mathrm{Z}}^2+{\mathrm{L}}^2+{\mathrm{M}}^2+{\mathrm{N}}^2)$

est la densité d’énergie du champ électromagnétique, expression bien connue^[3].

2^o Les composantes ${\mathrm{E}}_4^{\sigma }=-{\mathrm{E}}_{\sigma }^4$ multipliées par $c^2,$

$\mathrm{Y}\mathrm{N}\mathrm{-}\mathrm{Z}\mathrm{M},\mathrm{Z}\mathrm{L}\mathrm{-}\mathrm{X}\mathrm{N},\mathrm{X}\mathrm{M}\mathrm{-}\mathrm{Y}\mathrm{L},$

sont les composantes du vecteur de Poynting (quantité de mouvement électromagnétique).

3^o Le tenseur réduit aux neuf composantes d’espace (suppression de la dernière ligne et de la dernière colonne) est le tenseur de Maxwell (tensions électromagnétiques).

Contractons ${\mathrm{E}}_{\mu }^{\sigma }$ en faisant $\sigma =\mu ,$ nous obtenons un scalaire nul

(30-15)

$\mathrm{E}=\frac{1}{c^2}(-{\mathrm{F}}_{\mu \alpha }{\mathrm{F}}^{\mu \alpha }+\frac{1}{4}{g}_{\mu }^{\mu }{\mathrm{F}}_{\alpha \beta }{\mathrm{F}}^{\alpha \beta })\equiv 0.$

102. Loi générale de la gravitation en présence de matière et d’énergie électromagnétique.

L’expression la plus générale de la loi de conservation est (27-15)

${\mathrm{E}}_{\mu \alpha }^{\alpha }+{\mathrm{T}}_{\mu \alpha }^{\alpha }=0.$

Lorsque $\sqrt{-g}=1,$ elle s’écrit

$\frac{\partial }{\partial x_{\alpha }}($	${\mathrm{T}}_{\mu }^{\alpha }$	$+$	${\mathrm{E}}_{\mu }^{\alpha }$	$+$	$t_{\mu }^{\alpha }$	$)=0.$
	Matière.		Champ électromagnétique.		Champ de gravitation.

En l’absence de matière, on a ${\mathrm{E}}_{\mu \alpha }^{\alpha }=0,$ c’est-à-dire qu’en un point d’Univers où il n’y a que de l’énergie libre, on obtient, ${\mathrm{E}}_{\mu \nu }$ étant symétrique,

(31-15)

$\frac{\partial {𝔈}_{\mu }^{\alpha }}{\partial x_{\alpha }}=\left\{\begin{array}{c}\mu \alpha \\ \beta \end{array}\right\}{𝔈}_{\beta }^{\alpha }=-\frac{1}{2}\frac{\partial g^{\alpha \beta }}{\partial x_{\mu }}{𝔈}_{\alpha \beta },$

et si $\sqrt{-g}=1$

(32-15)

$\frac{\partial {\mathrm{E}}_{\mu }^{\alpha }}{\partial x_{\alpha }}=\left\{\begin{array}{c}\mu \alpha \\ \beta \end{array}\right\}{\mathrm{E}}_{\beta }^{\alpha }=-\frac{1}{2}\frac{\partial g^{\alpha \beta }}{\partial x_{\mu }}{\mathrm{E}}_{\alpha \beta },$

semblables aux équations (63-14) et (64-14) qui étaient relatives à la matière seule, ces équations expriment l’influence énergétique du champ de gravitation sur l’énergie électromagnétique.

Si, au point d’Univers considéré, il y a présence de matière et d’énergie électromagnétique, le fait que la divergence de $({\mathrm{T}}_{\mu }^{\nu }+{\mathrm{E}}_{\mu \nu })$ doit être nulle pour que la loi de conservation soit satisfaite conduit (comme à la page 201) à écrire que cette somme de tenseurs doit être, à un facteur constant près, égale au tenseur conservatif ${\mathrm{R}}_{\mu }^{\nu }-\frac{1}{2}{g}_{\mu }^{\nu }\mathrm{R},$ et l’on obtient la loi générale de la gravitation

(33-15)

${\mathrm{R}}_{\mu }^{\nu }-\frac{1}{2}{g}_{\mu }^{\nu }\mathrm{R}=-\varkappa ({\mathrm{T}}_{\mu }^{\nu }+{\mathrm{E}}_{\mu }^{\nu }).$

Le tenseur d’énergie électromagnétique s’ajoute simplement au tenseur matériel.

Mais l’énergie électromagnétique présente une profonde différence avec la matière ; elle ne contribue pas à modifier la courbure totale $\mathrm{R},$ car l’invariant contracté $\mathrm{E}$ étant nul (30-15), la courbure $\mathrm{R}$ est toujours égale à $\varkappa {\rho }_0$ (50-14) ; cette courbure totale est déterminée par la matière, et non par l’énergie libre. C’est là un résultat fondamental qui montre que la matière ne peut pas être formée uniquement à partir du tenseur ${\mathrm{E}}_{\mu }^{\nu },$ ce tenseur ne contribuant pas à la constitution de la densité matérielle.

1. Dans un champ statique la quatrième des équations (5-15) s’écrit
   $\mathrm{\Delta }{\phi }_4=-\mathrm{P}:$

   c’est l’expression analytique de la loi de Coulomb.

2. Inversement, ${\mathrm{J}}^{\mu }$ étant un quadrivecteur contrevariant d’après ce qui précède, $\mathrm{P}\frac{ds}{d{x}_1}$ est un invariant, ce qui prouve que la charge du volume propre est invariante. C’est une nouvelle manière d’établir ce résultat.
3. Ne pas oublier que nous avons choisi les unités de façon à faire disparaître le facteur $4\pi .$