Aux Equations D'einstein de La Relativit Eg en Erale: Nathalie Deruelle

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 48

Master 2 de Physique Théorique de l’ENS

année 2012-2013

*******************

Nathalie Deruelle

Introduction
aux
équations d’Einstein

de la
Relativité Générale
*

Cours de Pré-Rentrée
3-7 Septembre 2012

1
Sommaire

Première Partie
Relativité et gravitation newtoniennes

Chapitre 1. Géométrie cartésienne

Chapitre 2. Géométrie vectorielle

Chapitre 3. Géométrie gaussienne

Chapitre 4. Dynamique et gravitation newtoniennes

Deuxième Partie
De la Relativité Restreinte à la Relativité Générale

Chapitre 5. Espace-temps de Minkowski et repères inertiels

Chapitre 6. Repères accélérés et géométrisation de l’inertie

Chapitre 7. Principe d’équivalence et géométrisation de la gravitation

Troisième Partie
Espaces-temps courbes et Gravitation

Chapitre 8. Le tenseur de Riemann-Christoffel

Chapitre 9. Variétés riemanniennes

Chapitre 10. Les équations du champ de gravitation

2
Première Partie
Relativité et gravitation newtoniennes

“Les termes (...) de temps, d’espace, de lieu & de mouvement sont connus de tout le monde; mais il faut remarquer que
pour n’avoir considéré ces quantités que par leurs relations à des choses sensibles, on est tombé dans plusieurs erreurs.
Pour les éviter il faut distinguer le temps, l’espace, le lieu & le mouvement, en absolus & relatifs, vrais & apparens,
mathématiques & vulgaires.”
Isaac Newton, in Principia, Londres 1687
Traduit par la Marquise du Châtelet, Paris 1759

Chapitre 1
Géométrie cartésienne
L’objet de cet premièr chapitre est de présenter de manière élémentaire et succinte la géométrie euclidienne, cadre
mathématique dans lequel sont formulées les lois de la physique newtonienne.

SECTION 1. L’espace-temps newtonien


En physique newtonienne espace et lieux “relatifs, apparents et vulgaires” sont représentés par un
ensemble mathématique de points, l’espace “absolu” E3 , postulé être euclidien.
Ainsi, chaque point est caractérisé par trois nombres réels, ses coordonnées, qui définissent sa position.
De plus il existe des systèmes de coordonnées “cartésiennes”, tels que la distance r12 entre deux points, de
coordonnées (X1 , Y1 , Z1 ) et (X2 , Y2 , Z2 ) est donnée par le théorème de Pythagore :
v
u i=3
p uX
r12 = (X2 − X1 ) + (Y2 − Y1 ) + (Z2 − Z1 ) = t (X2i − X1i )2 .
2 2 2 (1)
i=1

L’élément de longueur, c’est-à-dire le carré de la distance dl(≥ 0), entre deux points infiniment voisins de
coordonnées cartésiennes X i et X i + dX i , qui permet de mesurer les longueurs des courbes et de démontrer
toutes les propriétés métriques des figures s’écrit donc
X
dl2 = dX 2 + dY 2 + dZ 2 = δij dX i dX j ≡ δij dX i dX j . (2)
i,j

La deuxième égalité définit le symbole de Kronecker δij ; dans ce contexte géométrique ses six composantes
(δij = 1 si i = j, δij = 0 autrement) s’appellent coefficients de la métrique euclidienne en coordonnées
cartésiennes. La troisième égalité définit la convention de sommation d’Einstein sur les indices répétés.
L’origine et les trois axes de coordonnées constituent un repère cartésien orthonormé, S.
Le temps “apparent” est quant à lui représenté par un nombre réel, le temps “absolu” ou universel,
t ∈ R, le même pour tous les points de l’espace absolu.
On peut ainsi introduire l’espace-temps de Newton, N4 , comme un “feuilletage”, c’est-à-dire une succes-
sion de copies de l’espace euclidien E3 , paginées en ordre croissant par le temps t : N4 = E3 × R. L’ensemble
des copies d’un point de E3 devient alors une “fibre” de N4 représentant un point au repos absolu et dans
ce contexte cinématique l’ensemble des repères cartésiens indexés par t prend le nom de repère absolu.

SECTION 2. Le référentiel absolu


Le temps absolu t est matérialisé par des horloges ou des montres, c’est-à-dire des phénomènes répétitifs.
Une bonne horloge, en fin de compte, est un appareil qui mesure, quel que soit le mouvement dont il est
affecté, des durées en accord avec les prédictions des lois dynamiques écrites en fonction du temps absolu.

3
Un repère cartésien de l’espace absolu est quant à lui matérialisé, dans l’espace “relatif, apparent et
vulgaire”, par un référentiel. Concrètement ce référentiel est un trièdre solide, c’est-à-dire un ensemble
d’objets matériels dont les distances relatives sont invariables dans le temps et dont on a choisi l’orientation
des axes (par la “règle du tire-bouchon” par exemple). On le construit à l’aide d’instruments qu’une utili-
sation répétée permet de qualifier de “rigides” (i.e. solides également), règles, compas etc, en utilisant le
théorème de Pythagore et ses conséquences. Enfin, un étalon de longueur est choisi, par exemple le mètre.
Ce référentiel, qui permet de quadriller l’espace physique, est “bon” si, à la précision des mesures, toutes les
propriétés euclidiennes des figures y sont vérifiées.1
Le référentiel absolu qui matérialise le repère absolu de l’espace-temps de Newton est un référentiel
qui doit être au repos afin que l’on puisse identifier les “fibres” de N4 à des objets matériels immobiles.
Pour Newton, le référentiel absolu était formé du système solaire et de l’ensemble des étoiles suffisamment
lointaines pour paraı̂tre fixes, qu’il postulait être au repos absolu. Quant au mouvement “absolu” d’un
point matériel il est représenté par une courbe d’équation t ∈ R 7→ P (t) ∈ E3 , t étant le temps absolu.
Remarquons que, l’univers semblant pour l’essentiel vide de matière, les points p de E3 n’y sont pour la
plupart que “virtuellement matérialisés”, une contradiction dans les termes qui ne laissa pas de choquer
Descartes et Kant, et fut contournée dès le XVIIIème siècle par l’introduction de la notion d’éther, milieu
élusif chargé de matérialiser E3 .
Si l’espace et le temps incarnent bien la structure que leur prête Newton on peut alors prédire un résultat,
élémentaire mais important : considérons deux voyageurs A et B qui partis d’un endroit se retrouvent après
de quelconques périples ; les durées des voyages mesurées par A et B doivent être les mêmes : leurs montres,
synchronisées au départ, doivent indiquer la même heure à l’arrivée.2

SECTION 3. Changement de coordonnées cartésiennes


Si l’on change l’étiquetage des points de E3 la distance entre deux points est, on le postule, inchangée.
Restreignons-nous aux changements X i 7→ X 0i qui préservent aussi la forme de l’élément de longueur, c.-à-d.
tels que dl2 ≡ δij dX i dX j = δij dX 0i dX 0j . Les nouvelles coordonnées X 0i sont alors aussi, par définition,
cartésiennes et les transformations sont données par

X 0i = Rji (X j − dj ) avec Rki Rl j δij = δkl . (1)

Nous imposerons de surcroı̂t detR = +1, où detR est le déterminant de la matrice de rotation Rji ;
la transformation préserve ainsi l’orientation des axes. Ces transformations forment le groupe (propre)
des changements de repères cartésiens, groupe à n(n + 1)/2 paramètres, n de translation et n(n − 1)/2 de
rotation, n étant la dimension de l’espace. A deux dimensions par exemple la matrice de rotation Rji est
paramétrée par un angle φ et on a RXX = cos φ, RYX = sin φ, RXY = − sin φ et RYY = cos φ.3
Puisque la forme de l’élément de longueur est invariante sous les translations et rotations le choix de
l’origine et de la direction des axes du référentiel absolu doit être sans importance. C’est une première
facette du “principe de Copernic”, dont on peut donner la version (active) suivante : la géométrie d’Euclide
1
Si la construction du référentiel s’avère impossible, ou si des mesures donnent des résultats systématiquement contraires
aux prédictions euclidiennes (e.g. que la somme des angles d’un triangle n’est pas égale à π ) on en déduira alors que la
représentation de l’espace réel (la surface de la Terre par exemple) par un plan euclidien est inadéquate. Pour une exposition
magistrale et concise de ce va-et-vient entre les phénomènes et leur représentation mathématique, cf la lettre de A. Einstein à
M. Solovine, in, e.g., “Einstein et la Relativité Générale” par J. Eisenstaedt, CNRS Edt, 2002.

2
Si lors d’une expérience ce n’était pas le cas, cela signifierait, a priori, que les horloges ne sont pas bonnes. Mais si un
grand nombre d’expériences, effectuées avec soin, donnent un résultat systématiquement différent de la prédiction (ce qui est le
cas...), on en conclura (avec Einstein) que l’espace-temps absolu de Newton ne représente pas adéquatement l’univers réel.

3
A trois dimensions la matrice Rji peut être paramétrée par les 3 angles d’Euler, voir e.g. N. Deruelle et J.P. Uzan,
“Mécanique et Gravitation Newtoniennes”, Vuibert 2006, & 3. Ajoutons que nous supposerons toujours que la topologie de
l’espace absolu est triviale et qu’une orientation globale est possible, excluant ainsi les espaces du genre “ruban de Möbius” à
deux dimensions ou “espace de Klein” à trois.

4
est universelle ; un objet solide triangulaire, par exemple, doit avoir les mêmes propriétés géométriques, où
qu’il soit. L’univers ne le déforme pas ; c’est un réceptacle neutre de la matière, qu’on qualifie d’homogène
et isotrope.
Rappelons que ce référentiel doit par contre être au repos. On le détermine donc par approches suc-
cessives, par le fait que, à la précision des mesures, les mouvements des objets matériels y suivent les lois
de la dynamique telles qu’elles s’écrivent dans le repère absolu. Pour des expériences peu précises “les murs
du laboratoire” peuvent ainsi suffire à matérialiser le repère cartésien absolu ; dans des expériences plus
poussées il faut en revanche passer à un système lié au centre de la Terre, etc.

SECTION 4. Cinématique et champs de vecteurs cartésiens


Les coordonnées des points P (t) représentant le mouvement d’un point matériel étant données par trois
fonctions X i (t) dans un repère cartésien S, t étant le temps absolu, ses vitesse, V i ≡ dX i /dt et accélération,
ai ≡ dV i /dt, deviennent, dans un autre repère cartésien S 0 où l’on a X 0i = Rji (X j − dj ), cf (3.1) :

dX 0i dV 0i
V 0i (t) ≡ = Rji V j (t) , a0i (t) ≡ = Rji aj (t) . (1)
dt dt

Le choix du repère cartésien doit être cinématiquement sans importance, du moment qu’il est au repos.
Il est par conséquent naturel de considérer les composantes de la vitesse d’une trajectoire P (t) dans n’importe
quel repère au repos, i.e. l’ensemble des V 0i = Rji V j paramétré par les matrices de rotation Rji , comme une
classe d’équivalence, c.-à-d. un objet unique, la vitesse de P (t), notée v, les fonctions, ou “composantes”,
V i (t) et V 0i (t) n’en étant que les avatars dans les repères S et S 0 . De même ai et a0i = Rji aj sont les avatars
de l’accélération a de P (t).
Ces vecteurs vitesse ou accélération sont des fonctions du temps. Il s’avèrera particulièrement fructueux
d’introduire, “à la Faraday”, des champs de vecteurs, c.-à-d. des ensembles de trois fonctions des points qui
se transforment dans les changements de repère cartésien selon T i (X j ) → T 0i (X 0j ) où X j et X 0j sont reliés
par (3.1) et où
T 0i = Rji T j . (2)

Dans cette optique la vitesse (ou l’accélération) devient un champ de vecteurs évalué sur la trajectoire :
V i (t) = V i (X j (t)). Enfin un champ scalaire Φ(X i ) est une fonction des coordonnées invariante par change-
ment de repère : Φ0 (X 0i ) = Φ(X i ).

SECTION 5. Le groupe des déplacements rigides


On peut vouloir passer, par commodité de calcul ou pour simplifier la description des phénomènes, ou
pour les rapporter à un référentiel en mouvement par rapport au référentiel absolu, du repère cartésien absolu
S de l’espace-temps N4 = E3 × R à un repère en mouvement, S 0 , c’est-à-dire à une famille de repères de E3
indexés par t dont les origines et directions des axes varient “de feuille à feuille”, i.e. dans chaque section
E3 de N4 . Cette opération est différente d’un passage d’un repère cartésien à un autre puisque l’étiquetage
des points (immobiles dans S) dépend du temps dans S 0 . Ceci étant on continue à postuler que la distance
entre deux points est la même dans S ou dans S 0 .
Nous ne considèrerons que l’ensemble des transformations X i → X 0i qui préservent la forme de l’élément
de longueur, de sorte que les trois axes restent orthonormés (et de même orientation) au cours du mouvement
du repère. Il est défini par :

X 0i = Rji (t) X j − dj (t) avec Rki (t) Rl j (t) δij = δkl



et detR = +1 (1)

où les composantes dans S 0 de la matrice de rotation Rji (t) des trois axes et de la translation de l’origine
di (t) dépendent du temps. Cet ensemble de transformations forme le groupe des déplacements rigides. Ils
décrivent l’évolution au cours du temps de la position et de l’orientation d’un trièdre solide de référence en
mouvement par rapport au reférentiel absolu.

5
Si les coordonnées cartésiennes dans le repère absolu S de la trajectoire P (t) d’un point matériel sont
données par les trois fonctions X i (t), les composantes de ses vitesse et accélération dans S 0 sont
0i

 V 0i ≡ dX = R i V j + Ṙ i X j − (R i dj ).

 j j j
dt (2)
0i
 0i
 dV i j i j i j i j ..
 a ≡ = Rj a + 2 Ṙj V + R̈j X − (Rj d )
dt

où V i (t) ≡ dX i /dt ≡ Ẋ i et ai (t) ≡ dV i /dt ≡ Ẍ i sont ses vitesse et accélération dans S. On voit que les V 0i
ne sont égaux aux Rji V j que dans un changement de repère cartésien indépendant du temps ; quant aux a0i
ils sont égaux aux Rji (t)aj si le changement est la transformation de Galilée :

X 0i = Rji (X j − X0j − V0j t) (3)

où Rji , X0i et V0i sont des constantes. L’ensemble des repères se déduisant du repère absolu par (3) sont dit
inertiels. Ils jouent on le sait un rôle considérable en physique newtonienne.
Exercice : rotation autour d’un l’axe
Montrez que lorsqu’on passe du repère absolu à un repère en rotation avec la vitesse angulaire rétrograde Ω(t) ≡ dφ/dt
autour de l’axe des Z , les composantes (d2 X/dt2 , d2 Y /dt2 ) de l’accélération d’un point matériel deviennent :

 2 0
d X dY 0 dΩ 0 d2 X d2 Y
 2 = +2Ω
 + Ω2 X 0 + Y + cos φ 2 + sin φ 2
dt dt dt dt dt (4)
2 0 0 2 2
 d Y = −2Ω dX + Ω2 Y 0 − dΩ X 0 − sin φ d X + cos φ d Y .

2
dt dt dt 2 dt 2 dt

Chapitre 2
Géométrie vectorielle
L’objet de ce chapitre est de passer de la notion de vecteur comme objet dont les composantes se transforment selon
T i → Rji T j dans un changement de repère, à la notion “intrinsèque” de vecteur, T . Ces notions sont aussi généralisées
aux “tenseurs”.

SECTION 6. Espaces tensoriels


Rappelons qu’un espace vectoriel E est un ensemble d’objets v ou w appelés vecteurs tels que (α v+β w),
où α et β sont des nombres réels, est aussi un vecteur et où addition de vecteurs et multiplication par un
nombre réel possèdent les propriétés habituelles de commutativité, d’associativité, d’existence d’élément
neutre et d’inverse. Par définition d’une base {ei } et de la dimension n de E, tout vecteur v de E se
décompose de façon unique selon v = v i ei , où les n nombres réels v i , i = 1, 2, ...n, sont les composantes de
v dans la base {ei } (et où nous utilisons la convention de sommation d’Einstein).
Rappelons aussi que l’espace dual de E, noté E ∗ , est l’ensemble des applications linéaires (ou formes)
qui à un vecteur associent un nombre réel. On peut construire E ∗ ainsi : à toute base {ei } de E, on associe
la base duale (ou conjuguée) {j } de E ∗ par les formules j (ei ) = δij où δij est le symbole de Kronecker ;
alors, toute forme λ ∈ E ∗ se décompose de façon unique selon λ = λj j où les λj sont ses composantes (ou
coefficients) dans la base {j }.
Rappelons enfin que le dual du dual est isomorphe à E car l’action de la forme λ = λi i sur le vecteur
v = v i ej , qui est λ(v) = λi v i , peut être aussi vue comme une action de v sur λ. On écrit donc λ(v) ≡
v(λ) ≡< λ, v > où < .., .. > dénote le crochet de dualité : ainsi les vecteurs sont aussi des opérateurs agissant
sur des formes pour donner des nombres réels.
Les formes bilinéaires a associent un nombre réel à un couple de vecteurs. On note L2 (E × E, R) leur
ensemble. On peut les définir ainsi : pour v = v i ei ∈ E, w = wj ej ∈ E, on a (par définition de la linéarité) :

6
a(v, w) = v i wj a(ei , ej ) ; donc se donner a équivaut à se donner les n2 nombres réels aij ≡ a(ei , ej ),
composantes (ou coefficients) de a dans la base {ei }.
La notation produit tensoriel, ⊗, engendre une définition “automatique” des formes multilinéaires. Si
nous définissons i ⊗j comme étant la forme bilinéaire telle que (i ⊗j )(v, w) = i (v) j (w) = v i wj (de sorte
que (i ⊗ j )(ek , el ) = δki δlj ), on peut alors écrire a = aij i ⊗ j . Les i ⊗ j forment une base de L2 (E × E, R)
que l’on peut alors noter E ∗ ⊗ E ∗ .
De manière analogue un élément b de L2 (E × E ∗ , R) ≡ E ∗ ⊗ E associe un nombre réel à un couple d’un
vecteur et d’une forme et s’écrit b = bi j i ⊗ ej , etc.
Au lieu de formes bi- ou multilinéaires il s’avère donc plus économique de parler de tenseurs. Par
exemple T = Tij k i ⊗ j ⊗ ek est, par définition, un tenseur deux fois covariant et une fois contravariant.
Une base de l’ensemble de tels tenseurs est i ⊗ j ⊗ ek , construite par produit tensoriel de la base ei de E
et de la base conjuguée j . Ainsi les vecteurs deviennent des tenseurs une fois contravariants, les formes des
tenseurs une fois covariants, la métrique un tenseur deux fois covariant etc. De manière générale on écrira
i ...i
T = Tj11...jqp ei1 ⊗ ei2 ... ⊗ eip ⊗ j1 ⊗ ... ⊗ jq . (1)

Un tenseur p fois contravariant et q fois covariant est dit de type (ou variance), pq .4 Les tenseurs de type

p 0 p p0
  
q forment un espace vectoriel. Les produits des composantes de deux tenseurs T et T de types q et q 0
0
sont les composantes du tenseur T ⊗ T 0 de type p+p 0
q+q 0 , produit tensoriel de T et T .
Les espaces de formes multilinéaires sont alors unifiés et deviennent des éléments d’une algèbre tensorielle
de dimension infinie bâtie sur E par produit tensoriel.
La contraction transforme un tenseur de type pq en un tenseur de type p−1
 
q−1 par sommation sur un
indice covariant et un indice contravariant (ainsi : ea ⊗ a = 1). La trace d’un tenseur de type pp est sa
ijk...
.. Un tenseur de type p0 antisymétrique en tous ses indices est

contraction sur tous ses indices : T = Tijk...
appelé une p-forme.

SECTION 7. Plans affines et euclidiens


Un espace affine E est un ensemble de points où tout bipoint, noté (p,q), est identifié à un vecteur, noté
pq, d’un espace vectoriel E de même dimension.
Un repère affine S de E est l’ensemble d’un point origine O et d’une base ei de E. Ainsi le vecteur Op
se décompose-t-il selon : Op = X i ei , où les X i sont à la fois les composantes de Op dans la base {ei } et les
coordonnées de p dans le repère S.
A un vecteur F correspond tout une classe d’équivalence de bipoints dits équipollents, (p, q), où p est
quelconque et où pq = F . L’opération qui associe (p1 , q1 ) à (p2 , q2 ) s’appelle transport parallèle.
Un espace euclidien est un espace affine muni d’une métrique euclidienne, c’est-à-dire de la forme
bilinéaire symétrique (ou tenseur deux fois covariant)

e = δij i ⊗ j (1)

où δij est le symbole de Kronecker. L’action de e sur les vecteurs de base ei de E est donc e(ek , el ) = δkl .
La base {ei } est alors orthonormée et le repère S = (O, {ei }) cartésien.
Relions l’élément de longueur dl2 défini en & 1 à la métrique e : soient p et q deux points infiniment
voisins de l’espace euclidien E3 , de coordonnées X i et (X i + dX i ) dans le repère cartésien S ; on note
dp ≡ pq = dX i ei le vecteur de l’espace vectoriel associé ; dl2 est alors le résultat de l’action de la métrique
e sur le vecteur dp :
e(dp, dp) = dX i dX j e(ei , ej ) = dX i dX j δij ≡ dl2 . (2)
Plus généralement l’action de e sur deux vecteurs v et w définit leur produit scalaire (v.w) ≡ e(v, w).
4 p
 J1 ...Jp
Une façon de rendre manifeste la variance q
d’un tenseur est de le noter TI1 ...Iq (en se gardant de le confondre avec
j ...jp
ses composantes Ti11...iq dans une base), cf e.g. R. Wald, “General Relativity” Chicago University Press, 1984.

7
SECTION 8. Changement de base et de repère
Un vecteur v est défini indépendamment de la base ei ou e0i choisie : v = v i ei = v 0j e0j . Donc, si
ej = Ri j ei , on aura v i = Ri j v 0j et v 0j = Ri j v i où Ri j est la matrice inverse de Ri j (i.e. telle que
0

Rki Rkj = Rjk Ri k = δij ).


Un changement de base dans E induit un changement de base dans l’espace dual E ∗ : j → 0j = Ri j i .
La base {0j } reste conjuguée de la base {e0j } : 0j (e0i ) = δij . Dans la base {0j } une forme λ se décompose
selon λ = λi i = λ0j 0j avec λi = Ri j λ0j et λ0j = Ri j λi .
On obtient par extension la loi de transformation des composantes des tenseurs dans les changements
de base :
0i ...i k ...k i l
Tj11...jqp = Tl11...lq p Rki11 ...Rkpp Rl1j1 ...R qjq . (1)
Ainsi, les composantes d’un vecteur, d’une forme et plus généralement d’un tenseur ne sont que leurs avatars
dans une base donnée et leur statut supérieur transparaı̂t dans les lois de transformation de leurs composantes.
En fait, et toute l’approche “en composantes” de la géométrie est basée sur cela, la loi de transformation (1)
peut être vue comme une définition d’un tenseur, cf & 4.
Soient S = (O, {ei }) et S 0 = (O0 , {e0j }) deux repères d’un espace affine E. Les rayons vecteurs O0 p ≡ R0
et Op ≡ R du point p dans S 0 et S sont reliés par, en posant OO0 ≡ d,
O0 p = Op − OO0 c.-à-d. R0 = R − d , soit encore
(2)
X 0i e0i i i
= X ei − d ei ce qui implique 0i
X = Rji (X j − dj )

et l’on retrouve ainsi la formule (3.1).


Si la matrice Ri j est une matrice de rotation alors, si S est un repère cartésien, S 0 l’est aussi car la
formule (1) donne
0
δij = Rki Rl j δkl = δij (3)
par définition des matrices de rotation.5

SECTION 9. Cinématique du point


Le mouvement d’un point matériel est représenté par la courbe P (t) de E3 ou, de manière équivalente,
par son rayon vecteur OP (t), t étant le temps absolu. Le vecteur vitesse de P (t) dans S est
d OP dR
v(t) = ≡ ≡ Ṙ . (1)
dt dt
Si OP se décompose selon OP = X i (t) ei , alors v = V i (t) ei où les trois fonctions du temps V i (t) ≡
dX i /dt ≡ Ẋ i (t) sont ses composantes, introduites en & 4. De même le vecteur accélération de P (t) dans S
est a = ai (t)ei où ai (t) ≡ Ẍ i (t).
Vitesse et accélération sont des vecteurs (ou tenseurs une fois contravariants) dans les rotations de
repères cartésiens, X 0i = Rji X j , indépendantes du temps. Par contre si le repère S 0 est en mouvement par
rapport au repère absolu S alors les vitesse et accélération d’une trajectoire P (t) ne sont pas représentées
par les mêmes vecteurs dans S et S 0 . On obtient en effet, en dérivant (8.2) par rapport au temps :

v = v − d˙ − Ω ∧ R0
( 0
(2)
a0 = a − d¨ − 2Ω ∧ v 0 + Ω ∧ (R0 ∧ Ω) − Ω̇ ∧ R0

où ∧ dénote le produit vectoriel, où R0 ≡ O0 P = X 0i (t) e0i est le rayon vecteur de P (t) dans S 0 ; v 0 ≡ Ẋ 0i e0i (6=
Ṙ0 car e0i dépend du temps) et a0 ≡ Ẍ 0i e0i sont ses vitesse et accélération par rapport à S 0 ; v ≡ Ẋ i ei (= Ṙ)
et a ≡ Ẍ i ei sont ses vitesse et accélération par rapport à S ; d ≡ OO0 = di ei ; enfin Ω, défini par

ė0i = Ω ∧ e0i (3)


5
Les composantes de l’indice de Levi-Civita eijk (complètement anti-symétrique avec e123 = 1) sont également invariantes
p
dans les rotations à trois dimensions : e0ijk = Ril Rjm Rk elmp = detR eijk = eijk .

8
est le vecteur de rotation de S 0 par rapport à S. Le terme −2Ω ∧ v 0 est l’accélération de Coriolis, Ω ∧ (R0 ∧ Ω)
est l’accélération centrifuge.
Les équations (2-3) sont les versions vectorielles des équations (5.2).
On ne peut donc pas parler de vitesse ou accélération dans l’absolu, c’est-à-dire indépendamment des
repères où elles sont évaluées, lorsque ces repères se déduisent les uns des autres par des transformations
dépendant du temps. Les seules exceptions sont les transformations de Galilée (pour lesquelles la matrice de
rotation est constante et le vecteur translation linéaire dans le temps), qui laissent l’accélération invariante :

a0 = a soit, en composantes a0i (t) = Rji aj (t) . (6)

La vitesse, quant à elle, n’est jamais représentée par le même vecteur dans deux repères déduits l’un de
l’autre par une transformation dépendant du temps. Dans les transformations de Galilée :

v 0 = v − V0 soit, en composantes V 0i (t) = Rji (V j (t) − V0j ) . (7)

Cette loi de composition galiléenne des vitesses signifie que les repères S et S 0 ne sont pas équivalents du
point de vue cinématique. Les théories d’Einstein de la Relativité simplifieront grandement cela.

Chapitre 3
Géométrie gaussienne
Nous faisons dans ce chapitre une présentation “à la Descartes”, soit encore “en composantes”, des coordonnées
curvilignes, parallèle à celle des coordonnées cartésiennes faite au chapitre 1. Nous reportons au Cours proprement dit
l’introduction de la géométrie différentielle, version “vectorielle” de la géométrie en coordonnées gaussiennes.

SECTION 10. Coordonnées curvilignes


Une fois un repère cartésien et ses coordonnées X i définis, on peut souhaiter étiqueter les points de
l’espace euclidien E3 à l’aide d’un nouveau système C de coordonnées curvilignes (appelées aussi gaussi-
ennes) xi = xi (X j ), et, inversement, X i = X i (xj ), reliées non linéairement aux coordonnées cartésiennes
(par exemple les coordonnées sphériques). Les dérivées partielles ∂xi /∂X j et ∂X j /∂xk forment les matri-
ces jacobiennes de la transformation et sont reliées par (∂xi /∂X j )(∂X j /∂xk ) = δki (et, inversement, par
(∂X i /∂xj )(∂xj /∂X k ) = δki ).
L’élément de longueur dl2 entre deux points infiniment voisins (de valeur postulée invariante) n’est alors
plus manifestement donné par le théorème de Pythagore puisque, par la règle de dérivation des fonctions
composées
∂X i ∂X j k l
dl2 ≡ δij dX i dX j = δij dx dx ≡ ekl dxk dxl (1)
∂xk ∂xl
où les composantes ekl de la métrique e et son inverse ekm (défini par ekl ekm = δlm ) ne sont plus données
par le symbole de Kronecker mais par les fonctions des coordonnées

∂X i ∂X j ∂xk ∂xm
ekl = δij , ekm = δ pq . (2)
∂xk ∂xl ∂X p ∂X q

Exercice : la métrique en coordonnées polaires


Montrez que lorsqu’on passe des coordonnées cartésiennes du plan X i = (X, Y ) aux coordonnées polaires xi = (r, φ)
telles que X = r cos φ, Y = r sin φ on obtient, par application de la formule (2), le résultat familier dl2 = dX 2 + dY 2 =
dr2 + r2 dφ2 .

Elément de volume en coordonnées curvilignes


A n dimensions, si la métrique est diagonale, i.e. si dl2 = g11 (dx1 )2 + g22 (dx2 )2 + ... = (ϑ1 )2 + (ϑ2 )2 + ... avec
√ √
ϑ = g11 dx1 ..., alors l’élément de volume est dV = ϑ1 ϑ2 ... = g11 g22 ...dx1 dx2 ... =
1
detgij dx1 dx2 .... Si la
p

métrique n’est pas diagonale, on a, dans le cas simple à deux dimensions : dl2 = g11 (dx1 )2 + 2g12 dx1 dx2 + g22 (dx2 )2 .

9
On peut la diagonaliser en introduisant ϑ1 = L11 dx1 + L12 dx2 , ϑ2 = L21 dx1 + L22 dx2 avec g11 = (L11 )2 + (L21 )2 ,
g12 = L11 L12 + L21 L22 , g22 = (L12 )2 + (L22 )2 . Les quantités ϑ1 et ϑ2 sont définies à une rotation près : si ϑ1 =
cos ϕ ϑ01 + sin ϕ ϑ02 et ϑ2 = − sin ϕ ϑ01 + cos ϕ ϑ02 on a dl2 = (ϑ1 )2 + (ϑ2 )2 = (ϑ01 )2 + (ϑ02 )2 . L’élément de
volume doit être le même que l’on choisisse (ϑ1 , ϑ2 ) ou (ϑ01 , ϑ02 ). C’est le cas de leur produit vectoriel ; on pose donc
dV = ϑ1 ∧ ϑ2 et c’est alors un calcul élémentaire de voir que
√ √
dV = g dx1 dx2 ≡ g d2 x avec g ≡ detgij = (detg ij )−1 lorsque la métrique s’écrit : dl2 = gij dxi dxj .

Ainsi par exemple en coordonnées sphériques où dl2 = dr 2 + r 2 (dθ 2 + sin2 θ dφ2 ) : dV = r 2 sin θ dr dθ dφ.

SECTION 11. Tenseurs curvilignes


Nous avons défini les champs de vecteurs en & 5 comme des ensembles de trois fonctions T i (X j ) se
transformant selon T i 7→ T 0i = Rji T j dans un changement de repère cartésien. La généralisation de la
matrice de rotation Rji étant la matrice jacobienne ∂xi /∂X j , on définira dans ce contexte élargi un tenseur
p-fois contravariant et q-fois covariant comme un ensemble de fonctions dont la loi de transformation dans
les changements de système de coordonnées est

i ...i k ...k ∂xi1 ∂xip ∂X l1 ∂X lq


tj11 ...jpq = Tl11...lq p ... ... . (1)
∂X k1 ∂X kp ∂xj1 ∂xjq

Ainsi la métrique et son inverse, dont les composantes se transforment selon la formule (10.2), sont respec-
tivement des tenseurs deux fois covariant et deux fois contravariant.
Le produit scalaire de deux vecteurs est invariant dans un changement de système de coordonnées. En
effet on a
(T.U ) ≡ δij T j U i = eij tj ui = ti ui avec ti ≡ eij tj . (2)
ti sont les composantes de la forme déduite du vecteur ti par abaissement d’indice et ti ui peut-être vu comme
la contraction ou trace du tenseur une fois contra- et une fois co-variant ti uj . On note que les fonctions ti
ne sont plus numériquement égales aux ti : la place des indices, assez formelle en coordonnées cartésiennes
où eij = δij , devient cruciale.

Exercice : les composantes polaires d’un champ de vecteurs


Montrez que dans le passage des coordonnées cartésiennes (X, Y ) aux coordonnées polaires (r, φ) on a tr = T X cos φ +
T sin φ et r tφ = −T X sin φ + T Y cos φ.
Y

Montrez que les composantes de la forme associée au vecteur ti sont : tr = tr , tφ = r 2 tφ .

SECTION 12. Dérivation covariante


Dans un changement de repère cartésien les composantes d’un champ de vecteurs T i (X k ) se transfor-
ment, par définition, selon T i 7→ T 0i = Rji T j . Comme la matrice Rji et son inverse sont constantes les
dérivées ∂T i /∂X k se transforment, elles, comme celles d’un tenseur cartésien une fois contra- et une fois co-
variant puisque ∂T 0i /∂X 0k = Rji Rl k (∂T j /∂X l ). Cela n’est plus vrai dans une transformation non-linéaire
de coordonnées où T i 7→ ti = (∂xi /∂X j ) T j car on a alors, par les règles de Leibniz et de dérivation des
fonctions composées,
∂ti
 i
∂xi ∂T j ∂ 2 xi

∂ ∂x j
= T = + Tj
∂xk ∂xk ∂X j ∂X j ∂xk ∂xk ∂X j
(1)
∂xi ∂X l ∂T j ∂ 2 xi ∂X l j
= + T
∂X j ∂xk ∂X l ∂X l ∂X j ∂xk
où toutes les grandeurs sont évaluées en X m (xp ). Le premier terme du membre de droite représente, par
définition, les composantes dans le système xi du tenseur une fois contra- et une fois co-variant de com-
posantes ∂T i /∂X k dans S ; on les note D̃k ti :

∂xi ∂X l ∂T j
D̃k ti ≡ . (2)
∂X j ∂xk ∂X l
10
Ce sont les composantes de la dérivée covariante par rapport à xk du champ de vecteurs de composantes
ti .6 Elles s’expriment en fonction des dérivées ordinaires de ti selon (1), c.-à-d.

∂ 2 xi ∂X l j ∂
D̃k ti = ∂k ti − T où l’on a noté ∂j ≡ (3)
∂X l ∂X j ∂xk ∂xj
soit encore
∂xi ∂ 2 X j
D̃k ti = ∂k ti + Γ̃ikm tm avec Γ̃ikm ≡ (4)
∂X j ∂xk ∂xm
où l’on a transformé le dernier terme de (3) en utilisant le fait que

∂X j ∂xi i ∂X j ∂ 2 xi ∂ 2 X j ∂xi
= δm =⇒ + = 0. (5)
∂xm ∂X j m l
∂x ∂X ∂X j ∂xm ∂X l ∂X j

Les fonctions Γ̃ikm sont les coefficients de connexion. Symétriques en leurs indices inférieurs, ils sont au
nombre de n2 (n + 1)/2 soit 18 en 3 dimensions.

Exercice: champ de vecteurs constant et transport parallèle


Montrez qu’en coordonnées polaires (r, φ) du plan les seuls coefficients de connexion non nuls sont Γ̃rφφ = −r et
Γ̃φrφ = 1/r.
Le champ de vecteurs ti sera constant si D̃j ti = 0. Montrez que cela s’écrit

∂r tr = 0 , ∂r tφ + tφ /r = 0 , ∂φ tr − rtφ = 0 , ∂φ tφ + tr /r = 0 . (6)

Montrez que ce système d’équations différentielles est intégrable (ce qu’on vérifie en constatant que les dérivées secondes
commutent) et que sa solution est tr = a cos(φ + ω), tφ = −(a/r) sin(φ + ω), a et ω étant deux constantes d’intégration.
Vérifiez que les composantes cartésiennes de ce champ sont les constantes T X = a cos ω , T Y = −a sin ω .
j
Si donc un champ de vecteurs a les composantes ti (x1 ) au point p1 , que l’on peut toujours écrire sous la forme
tr (r1 , φ1 ) = a cos(φ1 + ω) , tφ (r1 , φ1 ) = −(a/r1 ) sin(φ1 + ω), les composantes de ce champ transporté parallèlement
au point p2 seront tr|| (r2 , φ2 ) = a cos(φ2 + ω) , t|| (r2 , φ2 ) = −(a/r2 ) sin(φ2 + ω).7
φ

Ayant défini la dérivée covariante d’un vecteur, on peut ensuite définir celle d’une forme de composantes
λi dans C. En effet si wi sont les composantes d’un vecteur, alors, par contraction d’indices, λi wi est une
simple fonction et si l’on pose D̃j (λi wi ) = ∂j (λi wi ) alors, par application de la règle de Leibniz (D̃ étant
une dérivation) on obtient
D̃j λi = ∂j λi − Γ̃kji λk (7)
et, de manière plus générale

D̃j tilm = ∂j tilm + Γ̃ijk tklm − Γ̃kjl tikm − Γ̃kjm tilk . (8)

On remarque que les dérivées covariantes D̃ commutent : D̃k D̃j tilm = D̃j D̃k tilm puisque, dans un
i i 8
système de coordonnées cartésiennes, on a ∂kj Tlm = ∂jk Tlm .
6
De manière plus précise, mais plus lourde quand il n’y a pas de confusion possible sur la coordonnée par rapport à laquelle

on dérive, on peut écrire D̃k = ∂xk
.
Quant au tilde il est là pour rappeler qu’il existe des systèmes de coordonnées (les coordonnées X i cartésiennes) où dérivée
covariante et dérivée ordinaire coı̈ncident. Un espace où il n’existe pas de systèmes globaux de coordonnées cartésiennes est
courbe et on utilisera alors les notations (Dk , Γijk ) au lieu de (D̃k , Γ̃ijk ).

7
Il est crucial pour arriver au résultat que le système (6) soit intégrable. Il ne l’est pas en espace courbe où le transport
parallèle dépend du chemin suivi.

8
Cela n’est plus vrai en espace courbe où on ne peut plus définir de systèmes globaux de coordonnées cartésiennes. L’écart
entre les deux dérivées secondes sera alors relié la courbure locale représentée par le “tenseur de Riemann”, voir & 39.

11
SECTION 13. Transformation des coefficients de connexion
Les composantes ti d’un vecteur s’expriment en fonction de ses composantes t0i dans un autre système de
coordonnées curvilignes x0i selon ti = (∂xi /∂x0l ) t0l . Par conséquent les composantes de sa dérivée covariante
par rapport à xj deviennent :
∂ti ∂xi ∂t0l
 i 
∂ ∂x 0l ∂xk ∂ 2 xi 0m ∂xk
D̃j ti ≡ j
+ Γ̃i k
jk t = j 0l
t + Γ̃ijk 0l t0l = 0l j
+ j 0m
t + Γ̃ijk 0m t0m . (1)
∂x ∂x ∂x ∂x ∂x ∂x ∂x ∂x ∂x

Comme D̃j ti sont les composantes d’un tenseur une fois contra- et une fois co-variant elles s’expriment
selon D̃j ti = (∂x0k /∂xj )(∂xi /∂x0l ) (D̃k tl )0 en fonction de ses composantes (D̃k tl )0 dans C 0 qui sont (D̃k tl )0 =
∂t0l /∂x0k + Γ̃0lkm t0m où les Γ̃0lkm sont les coefficients de connexion dans C 0 . Ainsi

∂x0k ∂xi ∂t0l ∂xi ∂t0l ∂x0k ∂xi 0l 0m


 
0l 0m
D̃j ti = + Γ̃ km t = + Γ̃ t . (2)
j
∂x ∂x 0l ∂x0k 0l
∂x ∂x j ∂xj ∂x0l km

En égalant (1) et (2) on obtient, après multiplication par (∂xj /∂x0p )(∂x0q /∂xi ) :

∂xk ∂xj ∂x0q i ∂x0q ∂ 2 xi


Γ̃0q
pm = Γ̃jk + (3)
∂x0m ∂x0p ∂xi ∂xi ∂x0p ∂x0m
ce qui donne la loi de transformation des coefficients de connexion dans le passage d’un système de coor-
données curvilignes à un autre. On voit que les coefficients de connexion ne sont pas les composantes d’un
tenseur car ils ne se transforment pas comme telles. C’est heureux car, puisqu’ils sont tous nuls dans un
système de coordonnées cartésiennes, il seraient alors tous nuls dans tout système de coordonnées curvilignes.

SECTION 14. Dérivée covariante et tenseur métrique


Les coefficients de connexion de la dérivée covariante ont été introduits indépendamment de la métrique
euclidienne, de composantes eij dans C. Ils peuvent cependant leur être reliés. En effet, on obtient aisément,
en dérivant les composantes de la métrique données en (10.2), en en faisant les sommes et différence appro-
priées pour faire apparaı̂tre le coefficient de connexion donné en (12.4) :
 
1 ∂ekl ∂ejl ∂ejk
Γ̃ijk = eil + − . (1)
2 ∂xj ∂xk ∂xl

Ecrits sous cette forme les coefficients de connexion Γ̃ijk prennent le nom de symboles de Christoffel et la
dérivée covariante celui de dérivée covariante de Levi-Civita.
On peut aussi vérifier explicitement à partir de la définition (12.8) de la dérivée covariante d’un tenseur
et de l’expression (1) des Γ̃ijk que
D̃j eik ≡ 0 . (2)
Ce résultat s’obtient en fait sans calcul en notant que dans le système de coordonnées cartésiennes où dérivée
covariante et dérivée ordinaire coı̈ncident, les composantes de la métrique sont des constantes ; leurs dérivées
(covariantes) sont donc nulles : étant nulles dans ce système elles sont nulles dans tout autre.
Exercice : symboles de Christoffel en coordonnées polaires
Démontrez la formule (1).
Retrouvez, en utilisant la formule (1), les coefficients de connexion du plan en coordonnées polaires, déjà obtenus en & 12.
Vérifiez explicitement l’identité (2) sur l’exemple des coordonnées polaires.

SECTION 15. Cinématique du point


Si la trajectoire d’un point matériel est donnée dans S par X i = X i (t), elle est donnée dans C par
x = xi (t) ≡ xi (X j (t)) de sorte que :
i

 i i
 v i ≡ dx = ∂x V j (t)

∂X j

dt (1)
i
 dv ∂xi j ∂ 2 xi j k
= a (t) + V (t)V (t)


dt ∂X j ∂X j ∂X k

12
où V j (t) ≡ Ẋ j et aj (t) ≡ Ẍ j sont les composantes dans S de ses vitesse et accélération et où ∂xi /∂X j , etc,
sont évalués en X k = X k (t).
Les trois fonctions (∂xi /∂X j ) aj (t) sont, par définition, les composantes dans C de l’accélération. On
voit sur (1) qu’elles ne sont pas égales aux dérivées temporelles ordinaires des v i , mais à leurs dérivées
covariantes : D̃v i /dt ≡ (∂xi /∂X j ) aj (t), que l’on réécrit :

D̃v i dv i ∂xi ∂ 2 X l
≡ + Γ̃ijk v j v k avec Γ̃ijk ≡ (2)
dt dt ∂X l ∂xj ∂xk

où il est entendu que toutes les grandeurs sont évaluées en xi = xi (t).
Si la vitesse v i est vue comme un champ de vecteurs v i (xj ) évalué sur la trajectoire xi = xi (t) on
peut réécrire la dérivée covariante de la vitesse comme D̃v i /dt = v j D̃j v i et la considérer comme une dérivée
directionnelle, contraction du vecteur v j et du tenseur une fois contra- et une fois co-variant D̃j v i . L’équation
v j D̃j v i = 0 est l’équation de transport parallèle du champ de vecteurs v i le long d’une courbe générée par
lui-même appelée auto-parallèle. C’est une droite de E3 .

Exercice : trajectoires en coordonnées polaires et auto-parallèle


Montrez qu’en coordonnées polaires du plan l’accélération d’une trajectoire est donnée par D̃
dt

= r̈ −rφ̇2 , dt = φ̈+2 ṙr φ̇ .
D̃ φ̇

Intégrez ces équations lorsque l’accélération est nulle et montrez, en passant en coordonnées cartésiennes, qu’il s’agit là
de l’équation d’une droite du plan.

Chapitre 4
Dynamique et gravitation newtoniennes
Le cadre euclidien de la physique newtonienne étant posé et les principales propriétés de la cinématique exposées, nous
commençons dans cette section par présenter les facettes les plus saillantes de la dynamique de Newton et du principe de
Relativité Galiléenne.
Il s’agira ensuite de préciser les vecteurs “force” qui décrivent mathématiquement les diverses interactions auxquelles
sont soumis les corps matériels. Celle qui nous occupera dans ce livre est la gravitation, dont nous décrirons succintement
la formulation élaborée par Newton.

SECTION 16. Loi de la dynamique et Relativité Galiléenne


La loi fondamentale du mouvement d’un point matériel P en interaction avec d’autres, Pa , ou “deuxième
loi de Newton”, est une équation différentielle qui s’écrit dans le repère cartésien absolu S selon :

d2 X i
ma = F soit, en composantes, m = Fi (1)
dt2

où a est l’accélération de la trajectoire de P , d’équation X i = X i (t) en coordonnées cartésiennes, et où le


vecteur F représente la “force” exercée à l’instant t sur P par les points matériels Pa . Le paramètre m,
constant, est un attribut du point P , sa masse inerte, exprimée par exemple en kilogrammes.
Dans un système C de coordonnées curvilignes xi la loi (1) s’écrit

D̃v i
m = fi (2)
dt

où v i = (∂xi /∂X j ) V j et f i = (∂xi /∂X j ) F j sont les composantes de la vitesse et de la force dans C et où D̃
est la dérivée covariante : D̃v i /dt = v̇ i + Γ̃ijk v j v k , les Γ̃ijk étant les coefficients de connexion caractérisant C.
Une propriété importante des interactions que la physique newtonienne peut décrire est la loi de l’action
et de la réaction (ou “troisième loi” de Newton) qui exprime que l’action d’un corps P2 sur un autre P1 ,
décrite par F12 , doit être égale est opposée à l’action F21 de P1 sur P2 , ce qui se traduit par la condition
vectorielle : F21 = −F12 .

13
Le vecteur force apparaissant dans la loi du mouvement (1-2) est une fonction du temps. En fait, il est
plutôt une fonctionnelle de la trajectoire de P , ce qui signifie qu’à un instant donné il est fonction du vecteur
position R du point P mais aussi, a priori, de ses vitesse v, accélération a, sur-accélération ȧ etc (cf l’exemple
de la force magnétique). Mais il s’avère qu’une simple dépendance en R suffit pour décrire la gravitation
dans le cadre newtonien et dans ce cas F = F (P ) est un champ de vecteurs à la fois dans le passage à des
coordonnées curvilignes et dans tout changement de repère du groupe des déplacements rigides.
Un point matériel (ou particule) libre est, par définition, soumis à aucune force. De par la loi de Newton
(1) on a alors que son mouvement est rectiligne uniforme dans le repère cartésien absolu.
Cette propriété des particules libres devrait permettre de déterminer le système de référence cartésien
absolu (indépendamment de l’existence d’étoiles lointaines censées être au repos absolu). En effet le système
de référence cartésien (par exemple le système solaire ou les “murs du laboratoire”) où les coordonnées des
particules libres varient linéairement dans le temps devrait être l’incarnation du repère cartésien absolu.9
Cependant, si l’on admet qu’une particule libre est libre dans tout référentiel, la loi de Newton n’est
pas modifiée dans les transformations de Galilée car l’accélération est représentée par le même vecteur dans
tous les repères inertiels ; en d’autres termes la loi de son mouvement a la même forme (est “invariante”)
dans tous les repères en mouvement rectiligne uniforme par rapport au repère absolu : m a = 0, que S soit le
repère absolu ou un repère inertiel. Ainsi, si dans un repère cartésien inertiel Sg sa trajectoire est rectiligne
uniforme de vitesse v, alors dans un autre repère cartésien Sg0 ayant la vitesse V0 constante par rapport à
Sg , sa trajectoire sera également rectiligne uniforme, de vitesse v 0 = v − V0 , qui peut être nulle si v = V0 .
C’est là la première loi de Newton, énoncée en fait par Galilée et appelée aussi principe d’inertie.
Une conséquence de cette loi est que si un objet libre se trouve être au repos dans un système de
référence, on ne peut pas en déduire que ce système est le système de référence absolu et que l’objet est au
repos absolu (identifiable donc à un point donné de E3 , plus précisément à une fibre de N4 = E3 × R), mais
seulement que le système considéré est inertiel. L’objet peut être en mouvement de translation uniforme
quelconque par rapport au système de référence absolu et il est impossible, à l’aide du moins de particules
libres, de mesurer cette vitesse.
Cette invariance dite galiléenne de la loi de la dynamique enlève, on le voit, de sa pertinence à la notion
d’espace absolu. On peut cependant concevoir que des particules soumises à des interactions, permettent,
elles, de le déterminer. Mais si l’interaction est représentée par le même vecteur F dans tous les repères
galiléens alors la loi de Newton s’écrit de la même façon : m a = F dans tout repère inertiel. Or si la loi est
la même dans le repère cartésien absolu S et dans tout repère inertiel cartésien Sg elle ne peut pas permettre
de distinguer S de Sg .10
La question devient alors : une interaction (fondamentale, comme la gravitation ou l’électromagnétisme)
est-elle toujours représentée par le même vecteur dans tous les repères inertiels ? Pendant deux siècles la
réponse, donnée par l’expérience, a été “oui”, au point qu’on en est arrivé à l’ériger en principe, le principe de
relativité galiléenne : toutes les lois de la mécanique newtonienne sont invariantes dans les transformations
de Galilée. (On sait depuis plus d’un siècle maintenant que cela n’est vrai que si les vitesses relatives des
référentiels et des particules restent faibles devant celle de la lumière, voir la deuxième partie.)
Ainsi, en mécanique newtonienne, l’espace absolu est, doublement, un “fantôme” : à la fois parce que
sa structure géométrique est indépendante de son contenu matériel, et parce qu’on ne peut l’“ancrer” nulle
part. En fait, il n’y a pas d’espace et de repère absolus en mécanique newtonienne : seule est absolu sa classe
d’équivalence dynamique, c’est-à-dire l’ensemble des repères inertiels en mouvements rectilignes uniformes
par rapport à lui, que nous noterons dorénavant indifféremment par S ou Sg .

9
Si les particules ne s’avèrent pas en translation uniforme c’est, a priori, que le référentiel ou les horloges sont trop
approximatifs pour la précision des mesures, ou que les particules ne sont pas en fait vraiment libres.

10
Cela serait possible si une loi fixait les conditions initiales des mouvements dans le référentiel absolu. Mais la théorie
newtonienne est muette sur ce point.

14
SECTION 17. Repères en mouvement et forces d’inertie
Tout repère accéléré par rapport à l’ensemble des repères inertiels se distingue en revanche de ces
derniers : les mouvements des particules libres n’y sont pas représentés par des trajectoires rectilignes
uniformes et la loi de la dynamique ne s’écrit pas sous la forme F = m a ; un repère cartésien S 0 étant relié
à un repère inertiel S par un déplacement rigide on a en effet, sous deux formes équivalentes cf (9.2) :
  
 m a0 = F − m d¨ + m −2Ω ∧ v 0 + Ω ∧ (R0 ∧ Ω) − Ω̇ ∧ R0

    (1)
 m a0i = Rji F j − m d¨j + m 2 Ṙji V j + R̈ji X j − (Rji dj )..

où Rji (t) F j sont les composantes dans S 0 du vecteur F représentant l’interaction des particules dans S. Ce
vecteur F représente aussi l’interaction dans S 0 si elle ne dépend pas de l’accélération du référentiel dans
lequel on l’étudie. C’est le cas des forces fondamentales traitées par la mécanique newtonienne et l’on parlera
dorénavant de vecteur force sans préciser le repère. Quant aux autres termes ils répondent au nom de forces
d’inertie, parfois qualifiées (improprement) de fictives car elles s’évanouissent dans un repère inertiel.
L’équation (1) donne en particulier l’accélération dans S 0 d’une particule libre (F = 0), dont la trajec-
toire est rectiligne uniforme dans le repère inertiel S (X i = X0i + V0i t). Cette accélération a0 ne dépend pas
de sa masse m, ce qui est normal car son mouvement est un “effet de perspective” purement cinématique,
dû au mouvement du référentiel et non à l’action d’une force.
De cette propriété mathématique de non-invariance de la loi de la dynamique dans le groupe des
déplacements rigides on déduit donc l’existence de forces d’inertie dans les référentiels non inertiels, aux
effets quantifiables. Ainsi la rotation du plan d’oscillation du pendule de Foucault par rapport aux murs du
Panthéon mesure-t-elle la rotation absolue du Panthéon, qui se trouve coı̈ncider, à la précision des mesures,
avec celle de la Terre par rapport aux étoiles lointaines. Cette conséquence remarquable de la physique
newtonienne ne laissa pas d’étonner Newton lui-même puis Leibniz, Kant, Mach, Poincaré, Einstein...

SECTION 18. Force et champ de gravitation de Newton


La masse inerte, que nous dénoterons temporairement mI , est un paramètre qui apparaı̂t dans la loi de
Newton du mouvement F = mI a, où a est l’accélération de la trajectoire du point matériel et F la force
qu’il subit. Elle mesure en quelque sorte la “résistance” du point matériel à la force qui lui est appliquée
et sa valeur numérique peut s’obtenir en principe par des expériences de collision, en exploitant les lois de
conservation de l’énergie et de l’impulsion.
La “puissance de la gravité” étant un fait expérimental, la masse grave, mG , est un autre paramètre
que l’on est amené à associer aux corps matériels subissant ou créant une “force gravitationnelle”.
Cette notion est donc double : la masse grave passive caractérise la réponse d’un corps à l’action
gravitationnelle d’objets extérieurs, et la masse grave active caractérise, elle, l’objet qui crée un champ
gravitationnel (il s’agit donc de sa “charge gravitationnelle”). Ceci étant la loi d’action et de réaction
implique que masses graves passive et active sont égales et on ne les distinguera plus.
En revanche rien dans la structure de la physique newtonienne n’impose que les masses graves, c.-à-d.
les charges gravitationnelles, soient égales aux masses inertes.
C’est un fait expérimental, établi par Galilée, qu’en l’absence de frottements, tous les corps, quels que
soient leur masse inerte et leurs constituants, tombent de la même façon dans un champ de gravitation
extérieur (ceci est à contraster, par exemple, au comportement dans un champ électrique de deux charges de
signe opposé d’une part et de leur ensemble neutre d’autre part). Les expériences actuelles, parmi les plus
précises de la physique, vérifient ce fait à 10−12 près. Le rapport de la masse grave et de la masse inerte est
donc le même pour tous les corps, qu’on peut prendre égal à 1 :

mI = mG ≡ m . (1)

Quant à l’expression explicite du vecteur force F (t) représentant la force de gravitation exercée sur un
point matériel P en X i = X i (t) par un ensemble d’autres points matériels Pa en X i = X(a) i
(t) elle est

15
donnée, dans le repère cartésien absolu S, par la loi de Newton :
X Gma
F = −m la (2)
a
ra3

où la = Pa P est le vecteur joignant Pa à P (force attractive), de composantes lai = X i (t) − X(a)
i
(t) ; où ra est
2 i j 11
leur distance : ra = δij la la = e(la , la ) ; G est la constante de Newton et m et ma sont les masses (graves,
respectivement passive et active) de P et Pa .
Dans tout autre repère ou système de coordonnées la distance ra est donnée par la même fonction
du temps. Quant aux composantes du vecteur séparation la elles se transforment, dans le passage de S à
un repère accéléré quelconque S 0 ou dans le passage d’un système de coordonnées cartésiennes X i à des
coordonnées curvilignes quelconques xi , selon (en omettant l’indice a) : l0i = Rji lj , l0i = (∂xi /∂X j ) lj où
∂xi /∂X j est évalué sur la trajectoire de P . Par ailleurs il s’avère que la force de gravitation peut être
représentée par le même vecteur dans tout repère. Ainsi s’écrit-elle sous la forme (2) dans tout repère,
inertiel ou non, cartésien ou non.
La force de gravitation peut être aussi définie comme un champ auquel cas le vecteur la est vu comme
une fonction du point p de coordonnées X i et non comme une fonctionnelle de la trajectoire d’un point
matériel P (t). Elle dérive alors d’un potentiel de gravitation U (défini à une constante additive près) selon
X Gma
F = −m ∇U avec U ≡− (3)
a
ra

où ∇U est le gradient de la fonction U , de composantes (∇U )i = eij (∂U/∂xj ) dans un système de coor-
données curvilignes quelconques.
Ainsi les équations du mouvement d’une particule de masse inerte mI et de masse grave mG , dont
l’égalité est imposée par l’expérience, sont données, sous forme vectorielle, par

a = −∇U dans tout repère inertiel






 D̃v = −∇U


dans tout sytème de coordonnées curvilignes

dt   (4)
 a0 = −∇U + −2Ω ∧ v 0 + Ω ∧ (R0 ∧ Ω) − Ω̇ ∧ R0 − d¨






en repère quelconque

où U est le potentiel gravitationnel (3).


L’égalité des masses grave et inerte a pour conséquence capitale que l’équation du mouvement d’un
point matériel P dans un champ de gravitation est indépendante de sa masse. Ecrivons-la dans un repère
accéléré du groupe de Milne, c.-à.d. sans rotation (Ω = 0), X 0 = X, Y 0 = Y, Z 0 = Z − d(t), et posons d¨ = g.
Comme ∇ = (∂/∂X, ∂/∂Y, ∂/∂Z), l’équation (4) devient

a0 = −∇U − g = −∇(U + g Z) = −∇(U + g Z 0 ) (5)

(où g est le module de g). On peut donc “effacer” le champ de gravitation subi par P en rapportant son
mouvement au repère accéléré sans rotation “en chute libre” tel que g = −∇U , où ∇U est évalué sur la
trajectoire de P : dans ce repère a0 = 0 et le mouvement de P est celui d’une particule libre (l’effacement ne
concerne que P et les particules de son voisinage où ∇U peut être considéré comme constant). A l’inverse
on peut créer un champ de gravitation artificiellement (i.e. en absence de toute masse grave) en se plaçant
dans un repère d’accélération g identifié au gradient d’un potentiel gravitationnel.
11
Elle vaut, dans le système international, G = 6.673 × 10−11 m3 kg−1 s−2 et, dans le système C.G.S : G = 6.673 ×
−8
10 cm3 g−1 s−2 .

16
Cette équivalence (locale) entre force de gravitation et forces d’inertie, accidentelle en physique new-
tonienne, sera érigée en postulat en Relativité Générale sous le nom de principe d’équivalence, dont nous
explorerons les diverses facettes au chapitre 7.
SECTION 19. Equation de Poisson
Lorsque la matière est décrite comme un milieu continu de densité de masse (grave) % le potentiel U
(18.3) devient :
%(t, P 0 ) 0
Z
U (P ) = −G dV (1)
rP P 0
où rP P 0 = |P P 0 | = |R − R0 | est la distance entre le point P où l’on évalue U et le point P 0 du corps étendu
créant le champ, et où dV est l’élément de volume dans les coordonnées choisies, voir & 10.

Le théorème de Gauss
12
C’est un exercice facile, mais un résultat important, que de montrer que si la distribution des masses P 0 est à symétrie
sphérique le potentiel U en P est égal à celui créé par un point de même masse totale situé au centre de la distribution.
En effet : plaçons le corps à l’origine du repère ; par symétrie on peut placer le point P en (0, 0, r) ; les composantes
cartésiennes du vecteur position d’un point P 0 sont, en coordonnées sphériques : (r 0 sin θ cos φ, r 0 sin θ sin φ, r 0 cos θ) ;
le potentiel en P est donc
%(r0 , t)
Z
U (r) = −G √ r02 sin θ dr0 dθdφ (2)
r02 + r2 − 2rr0 cos θ
ce qui s’intègre à vue pour donner
GM
U (r) = − si r > r0 (3)
r
R r0
où M = 4π 0 %r 02 dr 0 est la masse totale du corps et r0 son rayon.
C’est la propriété d’effacement : les mouvements internes d’une distribution de masse, s’ils sont à symétrie sphérique,
n’affectent pas le champ gravitationnel extérieur. On montre de la même façon que le potentiel à l’intérieur d’une cavité
sphérique est constant ; le champ qui y règne est donc nul.

Laplace et Poisson déduisirent de (1) une relation différentielle entre U et %, qui transforme la théorie
newtonienne de la gravitation en une théorie de champ :

4U = 4π G % (4)

où 4 est l’opérateur laplacien (en notations tensorielles : 4U ≡ eij D̃i D̃j U = eij D̃i ∂j U ).
On note que la forme locale (4) de l’équation pour U admet d’autres solutions que (1) qui, elle, incorpore
le choix d’une condition aux limites. Ainsi, si par exemple % ne dépend que du temps (cas d’une distribution
homogène de matière dans tout l’espace) alors (1) (soit encore (2) dans ce cas) n’est pas défini alors que
(4) admet la solution U = 23 π G % r2 . Cela joue un rôle lorsqu’on cherche à bâtir des modèles cosmologiques
newtoniens.13

SECTION 20. Lagrangien de la gravitation


La force gravitationnelle entre deux particules peut s’écrire faa0 = −∇a waa0 où waa0 = − Gmr a m0 a0 est
aa
l’énergie potentielle (ou énergie gravitationnelle) du couple Pa , Pa0 (et n’est autre que ma fois le potentiel
U = − Gm a0
r 0 créé en Pa par Pa ). L’énergie potentielle de gravitation d’un ensemble de particules est donc
0
aa

X Gma ma0 1X X Gma0


W =− = m a Ua avec Ua = − . (1)
0
raa0 2 a 0
raa0
a<a a 6=a

12
...qui retarda cependant de vingt-cinq ans la publication des “Principia” car Newton, pour le résoudre, dut inventer
(en concurrence avec Leibniz) le calcul intégral. Remarquons en effet qu’il est impossible, sauf cas exceptionnels, de disposer
uniformément un nombre fini de points sur une sphère ; la notion de distribution de points à symétrie sphérique ne fait vraiment
sens que dans la limite continue, cf e.g. à ce sujet E. Saff et A.B.J. Kuijlaars, Math. Intelligencer, 19 (1997) 5.

13
Voir, e.g., N. Deruelle et J.P. Uzan, “Mécanique et Gravitation Newtoniennes”, Vuibert 2006, chapitre 15.

17
Ayant
R en main l’expression de l’énergie potentielle d’un système gravitationnel, on peut définir son action
S = dtL où son lagrangien L, différence de ses énergies cinétique et gravitationnelle est, en repère inertiel :

X 1 
L= ma va2 − ma U . (2)
a
2

L’action est une fonctionnelle du chemin allant d’une configuration de points P1 à une autre P2 . On vérifie
que les équations d’Euler-Lagrange
d ∂L
= ∇a L (3)
dt ∂va
qui extrémisent l’action lorsqu’on varie le chemin allant de P1 à P2 sont bien équivalentes aux équations du
mouvement (18.4) pour chacun des points matériels a.14
Pour une distribution continue de matière la définition de l’énergie gravitationnelle se généralise à
Z
1
W = % U dV avec 4U = 4πG% . (4)
2

Grâce à l’équation de Poisson on peut éliminer % de l’expression de W ; en effet on a


Z Z Z Z Z
4πG % U dV = U 4U dV = ∇(U ∇U )dV − (∇U )2 dV = − (∇U )2 dV ,

R R
en appliquant le théorème de la divergence (à savoir ∇(U ∇U )dV = U ∇U.dS) et en constatant que,
puisque U ∝ 1/r à l’infini (à condition la distribution de matière soit à support compact), l’intégrale de
surface s’annulle. Ainsi, “on shell” (c.-à-d. si les équations du mouvement sont satisfaites) :
Z Z
1 1
W = %U dV = − (∇U )2 dV . (5)
2 8πG

Quant au lagrangien d’une distribution continue de matière


 on peut l’écrire a priori
 de diverses manières,
au vu de (5) car on peut écrire W sous la forme W = dV (1+c) c 2
R
2 % U + 8πG (∇U ) , c étant une constante
arbitraire. Mais en fait la combinaison à retenir correspond à c = 1, c.-à-d.
Z  
1 2 1
L= %v − %U − (∇U )2 dV . (6)
2 8πG

En effet c’est de ce lagrangien-là qu’on peut dériver l’équation de Poisson (19.4) en faisant varier la confi-
guration du potentiel de gravitation U : si U 7→ U + δU alors

(∇U )2 7→ (∇U )2 + 2∇U . ∇δU = (∇U )2 + 2∇(∇U . δU ) − 24U δU .

Par conséquent on a, après application du théorème de la divergence :


Z  
1
δL = − %− 4U δU dV , (7)
4πG

de sorte que le principe de moindre action (δL = 0 quelle que soit la variation de configuration δU , nulle au
bord du domaine) redonne bien l’équation de Poisson.

14
Pour une introduction plus détaillée au formalisme lagrangien voir, e.g., N. Deruelle et J.P. Uzan, “Mécanique et Gravi-
tation Newtoniennes”, Vuibert 2006, chapitre 8.

18
SECTION 21. Gravitation newtonienne : questions sans réponse
Les principales failles de l’équation newtonienne du mouvement des corps graves furent dénoncées très
tôt, par Newton lui-même et ses contemporains. Ainsi par exemple :
La force de gravitation exercée sur un corps à l’instant t dépend des positions des autres corps au même
instant. L’interaction entre objets distants est donc instantanée, ce qui déroutait Newton qui ne voyait pas
comment expliquer cela (d’où le célèbre “Hypotheses non fingo”).
La force de gravitation est de longue portée ; on ne peut donc isoler un corps de l’attraction des autres
corps graves, sauf à les éloigner à l’infini ; aucun corps ne peut donc être considéré comme complètement
libre ; or la construction des référentiels inertiels repose sur la notion de particule libre.
L’accélération d’un corps est définie par rapport à l’origine du repère considéré. Leibniz refusait ce
privilège accordé à un point non matériel et voulait que n’entrent dans les lois du mouvement que les
distances relatives entre les corps. En soustrayant deux à deux les N équations régissant le mouvement de N
corps graves, on arrive effectivement à (N − 1) équations indépendantes ne mettant en jeu que les vecteurs
séparation laa0 et leurs dérivées secondes ¨laa0 = ¨laa
i 0
0 ei dans tout repère du groupe de Milne des translations

quelconques (i.e. non nécessairement uniformes). L’observation des mouvements relatifs des corps graves ne
permet donc pas de déterminer le mouvement de translation du référentiel par rapport au repère absolu et
on peut toujours trouver un de ces référentiels dans lequel un des corps graves est au repos. Pour ce corps
donc la gravitation est comme effacée.
La Relativité Générale répondra à ces objections ; la vitesse de propagation de l’interaction gravita-
tionnelle y sera en effet finie (égale à celle de la lumière) et tous les corps seront “libres” dans un champ
de gravitation, leur trajectoire extrémisant la distance entre les points d’un espace, non pas euclidien mais
“courbé” par la gravitation.

19
Deuxième Partie
De la Relativité Restreinte à la Relativité Générale

“Messieurs ! La conception de l’espace et du temps que je voudrais développer devant vous a grandi sur le sol de la
Physique expérimentale. C’est ce qui fait sa force. La tendance est radicale. Dès maintenant, l’espace indépendant du
temps, le temps indépendant de l’espace ne sont plus que des ombres vaines : une sorte d’union des deux doit seule leur
subsister encore.”
Hermann Minkowski, Raum und Zeit, conférence de Cologne, 21 Septembre 1908, Phys. Z. 10 (1909) 104

Chapitre 5
Espace-temps de Minkowski et repère inertiels
SECTION 22. Un espace-temps absolu

Principes de relativité et de constance de la vitesse de la lumière


Albert Einstein en 1905 fonda une nouvelle mécanique sur deux postulats : le principe de relativité, à savoir que les lois
de la physique doivent être les mêmes dans tous les repères inertiels (c.-à-d. où les particules libres ont un mouvement
rectiligne uniforme) et ne permettent donc pas de privilégier l’un d’eux ; et le postulat de la constance de la vitesse de la
lumière dans le vide, à savoir qu’elle se propage à une vitesse de module |c| constant dans tous ces repères.
La loi de transformation d’un repère à un autre ne peut donc pas être celle de Galilée, car celle-ci implique que la
vitesse de la lumière n’est pas la même dans deux repères en mouvement relatif : si son module est |c| dans S , il doit être
|c0 | = |c − V0 | dans le repère S 0 allant à la vitesse V0 par rapport à S .
Or les transformations de Galilée découlent directement de la structure prêtée à l’espace et au temps par la physique
newtonienne ; rejeter les transformations de Galilée implique abandonner l’idée de représenter l’espace par un espace
euclidien E3 , le temps par un paramètre universel t et l’espace-temps par un “fibré” E3 × R.1

En Relativité Restreinte l’espace et le temps “relatifs, apparents et vulgaires” (pour reprendre les mots
de Newton) sont représentés par un ensemble mathématique de points, appelés événements, constituant
l’espace-temps de Minkowski : M4 . M4 est postulé pseudo-euclidien, à quatre dimensions. Ceci signifie que
chaque événement p est distingué par un quadruplet de nombres réels, ses coordonnées d’espace-temps ; et
qu’il existe, parmi tous les étiquetages possibles, des systèmes de coordonnées minkowskiennes (ou pseudo-
cartésiennes) (T, X, Y, Z), notées de façon plus ramassée par X µ (µ = 0, 1, 2, 3), tels que ce qu’on appellera
l’élément de longueur, ou intervalle, noté ds2 , entre deux points de coordonnées X µ et X µ + dX µ est défini
par un théorème de Pythagore généralisé :

ds2 = −dT 2 + dX 2 + dY 2 + dZ 2
(1)
X
= ηµν dX µ dX ν = ηµν dX µ dX ν = dXν dX ν .
µ,ν

La deuxième égalité définit les 10 coefficients ηµν de la métrique de Minkowski en coordonnées minkow-
skiennes : η00 = −1, η0i = 0 (i = 1, 2, 3) et ηij = δij où δij est le symbole de Kronecker.2 La troisième
1
On trouvera la traduction française de l’article fondateur d’Einstein, “Sur l’électrodynamique des corps en mouvement”
dans “Les Oeuvres choisies d’Albert Einstein” éditées par F. Balibar, O. Darrigol et B. Jech, Seuil-CNRS, 1991-1994.
Pour une présentation détaillée de la Relativité Restreinte, voir, e.g., N. Deruelle et J.P Uzan, “Relativité Restreinte et
Electromagnétisme”, à paraı̂tre.

2
La signature choisie pour la métrique de Minkowski est donc (−1, +1, +1, +1).
Les indices grecs iront de 0 à 3 et les indices latins de 1 à 3 (ou de 1 à n si la dimension de l’espace n’est pas spécifiée).
Sauf lorsque cela s’avèrera utile nous choisirons c = 1. Il ne reste alors que deux unités fondamentales, celles de temps
(la seconde) et de masse (le kilogramme) ; et l’on a 1 mètre = 2.99792458 1
×108
s = 3.33564 × 10−9 s.

20
égalité rappelle la convention d’Einstein de sommation sur les indices répétés, la dernière définit l’opération
d’abaissement d’indice : dXν ≡ ηµν dX ν (ainsi dX1 = dX mais dX0 = −dT ). L’origine O, de coordonnées
(0, 0, 0, 0), et les quatre axes {T, X, Y, Z} constituent un repère minkowskien orthonormé, S. √
p + dp, de “genre espace”, est ds ≡ ds2 ;
L’intervalle peut être positif, auquel cas la distance entre p et √
s’il est négatif cette distance, de “genre temps”, est notée dτ ≡ −ds2 ; il peut être enfin nul auquel cas
p et p + dp sont à distance nulle l’un de l’autre (mais sont néanmoins distincts car leurs coordonnées sont
différentes). L’ensemble des événements à distance nulle d’un point p est le “cône de lumière” issu de p. Les
courbes qui extrémisent la distance entre deux événements sont des géodésiques, respectivement du genre
temps, espace ou nulles.
C’est du fait que sa métrique est donnée a priori que l’espace-temps M4 de la Relativité Restreinte (par
opposition à ceux de la Relativité Générale où la métrique est une grandeur dynamique) peut-être qualifié
d’espace-temps absolu.
Rappels de géométrie vectorielle (voir & 6-7)
L’espace-temps de Minkowski est un espace affine. Les coordonnées X µ du point p peuvent donc également être
vues comme les composantes du vecteur position Op ≡ X µ eµ , où O est le point origine de coordonnées (0, 0, 0, 0) et
où les quatre vecteurs eµ forment la base, associée aux coordonnées X µ , de l’espace vectoriel M4 sous-tendant M4 ;
l’ensemble de l’origine O et des vecteurs de base eµ constituent un repère S de M4 . De même dX µ représente un
incrément de coordonnée (pas nécessairement infiniment petit) ou, de manière équivalente, la µ-ième composante du
vecteur dp = dX µ eµ ; quant à dXµ , c’est la µ-ième composante de la forme dXµ µ où les quatre formes µ constituent
la base associée aux eµ de M4∗ , espace dual de M4 : µ (eν ) = δνµ où δνµ est le symbole de Kronecker ; enfin la formule (1)
signifie que M4 est muni d’une métrique pseudo-euclidienne, c.-à-d. de la forme bilinéaire symétrique (ou tenseur deux
fois covariant)
` = ηµν µ ⊗ ν . (2)
µ 2
Rappelons que la métrique ` agit sur le vecteur dP = dX eµ pour donner ds selon :
`(dP, dP ) = dX µ dX ν `(eµ , eν ) = dX µ dX ν [ηρσ (ρ ⊗ σ )](eµ , eν )
= dX µ dX ν ηρσ [ρ (eµ )] [σ (eν )] = dX µ dX ν ηρσ δµρ δνσ = ηµν dX µ dX ν = ds2 .
La première égalité exprime la linéarité de ` ; la seconde sa définition ; la troisième celle du produit tensoriel ; la quatrième
celle d’une base duale et la cinquième les propriétés du symbole de Kronecker et de la métrique de Minkowski. Ainsi, tout
comme en géométrie euclidienne, les droites sont aussi des géodésiques.
La métrique définit aussi le produit scalaire de deux vecteurs différents u = uµ eµ et v = v ν eν selon (u · v) ≡ `(u, v) =
ηµν uµ v ν ≡ uµ v µ où uµ ≡ ηµν uν sont les composantes de la forme uµ µ duale du vecteur u.
On rappelle aussi que, quelle que soit la dimension n de l’espace, un tenseur T , p fois contravariant et q fois covariant,
est une forme multilinéaire qui agit sur p formes et q vecteurs pour donner un nombre :
i ···i
T = Tji1···jqp ei1 ⊗ ei2 · · · ⊗ eip ⊗ j1 ⊗ · · · jq (3)
i ···i j1 jq
Tji1···jqp étant les composantes de ce tenseur dans la base ei1 ⊗ · · · eip ⊗  · · · ⊗  , c.-à-d. le résultat de l’action de T
i
sur p formes de base  et q vecteurs de base ej .

SECTION 23. Référentiels inertiels


Une section X 0 = Const. de l’espace-temps de Minkowski étant un espace euclidien E3 , la concrétisation
d’un repère cartésien de E3 peut s’effectuer comme en physique newtonienne par le choix d’un trièdre
matériel orienté (les “murs du laboratoire”), construit en utilisant le théorème de Pythagore ordinaire et ses
conséquences. Les trois coordonnées X i , qualifiées pour cette raison de “spatiales”, repèrent ainsi le lieu de
l’événement p. Quant à la coordonnée X 0 ≡ T , de “temps”, on la concrétise par le temps donné par de
bonnes horloges situées en X i = Const., c.-à-d. immobiles par rapport à la grille de coordonnées spatiales
(la restriction est capitale !).
On impose en plus que, pour incarner un repère minkowskien, le référentiel matériel S ainsi construit,
ensemble d’un trièdre cartésien et d’horloges immobiles, soit inertiel, c’est-à-dire tel que le mouvement des
particules libres, mesuré par le temps T de ses horloges, y est rectiligne uniforme (si ce n’est pas le cas c’est,
sauf preuve du contraire, que les particules sont en fait soumises à des forces ou que les horloges sont soit
de mauvaise qualité soit en mouvement relatif).
Enfin le cône de “lumière” (futur) issu d’un événement p, c.-à-d. la deux-sphère issue du lieu X i à
l’instant T et s’en éloignant à la vitesse c (de module 1), est matérialisé par un signal lumineux (ou toute
couche mince de particules se déplaçant radialement à la vitesse c).

21
“c = 1 ”
On peut s’étonner, à première vue, que la matérialisation dans l’espace “relatif, apparent et vulgaire” des quatre vecteurs
de base eµ de l’espace-temps de Minkowski soit pour l’un le battement d’une horloge et pour les trois autres trois règles
unité orthogonales. Mais en théorie de la Relativité le concept de longueur, de règle et, de manière générale, de corps
rigide, s’avère secondaire ; ainsi par exemple la localisation spatiale s’effectue en pratique non pas à l’aide de “règles” mais
par triangulation à l’aide de télémètres laser, au repos les uns par rapport aux autres (s’ils sont au repos la géométrie
spatiale obtenue doit être euclidienne). Seule l’unité de temps doit par conséquent être définie, l’unité de longueur en
découlant après multiplication par une constante universelle c.
Numériquement, cette constante fondamentale est égale à la vitesse de la lumière dans le vide. Pour cette raison la
lumière a un statut privilégié en Relativité Restreinte, ce qui explique tout une terminologie axée sur elle ; on parle par
exemple de “signaux lumineux” au lieu de “particules se propageant à la vitesse c”, etc. Il faut néanmoins insister sur le
fait que la théorie ne repose pas sur ces identifications : la vitesse fondamentale c pourrait tout à fait être incarnée par
d’autres objets que la lumière, voire aucun. On peut toujours la poser égale à 1 auquel cas les longueurs s’expriment, e.g.,
en secondes, voir Note 2.

Il convient de remarquer qu’un référentiel inertiel n’est a priori pas unique et que, pas plus qu’on est
obligé de choisir la direction des axes du trièdre de référence, on n’est à aucun moment amené à privilégier
l’un ou l’autre d’entre eux.3
Par ailleurs, la valeur de l’intervalle ds2 ne devant pas dépendre des coordonnées choisies, si elle est
nulle dans un repère minkowskien, elle le sera dans tout autre. Par conséquent un signal lumineux devra
se propager avec une vitesse c de module 1 dans tous les référentiels inertiels, contrairement à la prédiction
newtonienne.
Ainsi l’espace-temps de Minkowski est-il un cadre apte à incorporer les deux postulats d’Einstein énoncés
en exergue.

Expérience de Michelson-Morley
Dans un référentiel considéré comme inertiel lié à la Terre, la vitesse de la lumière, comme dans tous les autres, est
de module 1 : |c| = 1. Le temps que mettent deux signaux lumineux pour faire un aller-retour le long des bras de
longueur l d’un interféromètre, l’un parallèle, l’autre perpendiculaire à la vitesse orbitale de la Terre est le même : 2l/|c|.
Il restera le même après rotation de l’appareil. La différence de marche entre les deux signaux sera donc la même dans les
deux configurations, de sorte qu’aucun déplacement de la figure d’interférence n’est attendu, en accord avec l’expérience
(1881), et contrairement aux prédictions de A.A. Michelson et de ses contemporains. Aucun raccourcissement des bras
à la FitzGerald-Lorentz ne doit être invoqué pour rendre compte du résultat, qui s’interprète comme une conséquence
directe des postulats d’Einstein.

Une autre différence entre physiques einsteinienne et newtonienne est qu’en physique newtonienne toutes
les (bonnes) horloges, quels que soient leurs mouvements, sont censées mesurer le même temps T . En
Relativité Restreinte rien n’exige a priori que le temps lu sur une horloge en mouvement coı̈ncide avec le
temps T des horloges de S ; les notions de “présent” et de simultanéité n’ont plus de raison d’être universelles ;
on ne peut plus affirmer par exemple, comme on peut le faire d’emblée en physique newtonienne, que la durée
d’un périple doit être la même à la montre du voyageur et à celle du sédentaire.

SECTION 24. Les transformations de Lorentz


Les changements d’étiquetage X µ → X 0µ des points p de M4 qui préservent la forme de l’intervalle
(ds = ηµν dX µ dX ν = ηµν dX 0µ dX 0ν ) et qui donc décrivent le passage d’un système de coordonnées
2

minkowskiennes S à un autre S 0 sont les transformations de Poincaré. Elles s’écrivent

X 0ν = Λµν (X µ − dµ ) avec Λρµ Λσν ηµν = ηρσ (1)

où dµ et Λµν ne dépendent pas des X µ . Un tel changement de coordonnées s’accompagne d’un changement de
l’origine de l’espace affine, O 7→ O0 avec OO0 = dµ eµ ainsi que d’un changement de base de l’espace vectoriel

3
La notion de repos “absolu”, inhérente à la représentation de l’espace et du temps en physique newtonienne, est donc
superflue en théorie de la Relativité. Il est également superflu d’introduire un éther chargé de matérialiser les points de M4 .

22
M4 , eµ = Λµν e0ν , et de son dual, ν = Λνµ 0µ où Λνµ est la matrice inverse de Λµν , telle que Λµν Λµρ = δρν .4
Ces transformations sont la généralisation minkowskienne des changements de repère cartésien en
géométrie euclidienne. Elles dépendent de 10 paramètres : les 4 composantes du vecteur de translation dµ ,
et les 6 composantes indépendantes de la matrice de “pseudo”-rotation Λµν qui possède en effet 4 × 4 = 16
composantes, contraintes par les 10 relations (1). Trois paramètres, les angles d’Euler par exemple, décrivent
les rotations spatiales, les trois autres les “pseudo”-rotations, appelées aussi boutées ou “boosts”.
Si l’on se restreint aux rotations et pseudo-rotations (dµ = 0) les transformations (1) prennent le nom
de transformations de Lorentz. Si det Λ = +1 la transformation est dite propre ; si Λ00 > 1 elle est dite
orthochrone. Les transformations satisfaisant à ces deux conditions s’appellent transformations de Lorentz
restreintes. Comme on s’en convainc aisément elles forment un groupe, non-commutatif, le groupe de Lorentz.
Considérons la transformation de Lorentz spéciale :

T 0 = T cosh ψ − X sinh ψ , X 0 = −T sinh ψ + X cosh ψ Y0 =Y , Z0 = Z (2)

où ψ est une constante. On a bien ds2 = −dT 2 + dX 2 + dY 2 + dZ 2 = −dT 02 + dX 02 + dY 02 + dZ 02 ; T 0 est


donc un temps-coordonnée et X 0i trois coordonnées spatiales.
Afin que les deux repères S et S 0 demeurent équivalents les trois coordonnées cartésiennes X 0i doivent
repérer le lieu de l’événement p ; quant à la coordonnée T 0 elle doit représenter le temps des horloges dans
le nouveau référentiel. Ainsi X 0 = 0 ⇔ X = T tanh ψ, décrit le mouvement dans S de l’origine spatiale de
S 0 , et la constante tanh ψ ≡ V0 ∈ [0, 1[ s’interprète comme la vitesse du repère S 0 mesurée au temps T de
S : S 0 est en translation uniforme par rapport à S le long de l’axe X.
En fonction de V0 la transformation (2) prend la forme
T − V0 X X − V0 T T 0 + V0 X 0 X 0 + V0 T 0
T0 = p , X0 = p ⇐⇒ T = p , X= p . (3)
1 − V02 1 − V02 1 − V02 1 − V02
En physique newtonienne il a fallu distinguer changements de repère cartésien de E3 et loi de passage
d’un repère à un autre en translation uniforme par rapport au premier. En Relativité Restreinte ces notions
se confondent, du fait que le temps y a le statut de coordonnée. On appelle donc repères inertiels l’ensemble
des repères minkowskiens reliés par des transformations de Lorentz restreintes ; c’est dans ces repères que le
mouvement des particules libres devra être représenté par des lignes droites.

SECTION 25. Le temps propre


Une transformation de Lorentz spéciale se concrétise par l’introduction d’un nouveau trièdre matériel,
en translation uniforme par rapport au premier. Le lieu de l’événement P est repéré par les trois coordonnées
spatiales X 0i du nouveau référentiel. Quant à la nouvelle coordonnée temporelle T 0 elle représente le temps
des horloges immobiles dans le nouveau référentiel, c.-à-d. en mouvement rectiligne uniforme par rapport au
premier. Se confirme ainsi le fait, au vu de la formule (24.3), que le temps indiqué par une horloge au repos
et celui lu sur une horloge identique mais en mouvement ne sont pas les mêmes.
Le fait que T 0 mesure le temps dans S 0 et T celui de S montre aussi que la notion de simultanéité n’est
pas universelle : deux événements O et P1 , simultanés dans un référentiel S 0 , ne le sont pas à l’aune du
temps T de S— ceci est surprenant tant qu’on croit à l’existence d’un temps “absolu”. De même, si deux
événements sont séparés par un intervalle du genre espace il existe un référentiel où ils sont simultanés ; et
si leur intervalle est du genre temps alors il existe un référentiel où ils arrivent au même lieu.
Ainsi donc l’espace et le temps physiques sont-ils conçus comme un “bloc” d’où la notion de “flot” du
temps est absente et que chaque référentiel inertiel “découpe” selon son propre axe du temps et ses “tranches”
d’espace associées. Distinguer un axe des temps n’a pas plus de sens que de distinguer un axe des X.
4
Rappelons que dans une transformation linéaire les composantes d’un tenseur p fois contravariant et q fois covariant
deviennent
0i ···i k ···k i l
Tji 1···jqp = Tli1···lq p Λki11 · · · Λkpp Λl1j1 · · · Λ qjq .
Les composantes ηµν de la métrique de Minkowski, le symbole de Kronecker δνµ et l’indice de Levi-Civita eµνρσ (complètement
antisymétrique et tel que 0123 = +1) sont trois grandeurs invariantes dans les transformations de Poincaré.

23
Le mouvement d’un point matériel est représenté par une ligne d’univers X µ = X µ (λ). Si cette ligne
2
d’univers est partout du genre √ temps, c.-à-d. si ds < 0 µen toutµpoint, on peut choisir comme paramètre λ
l’abscisse curviligne τ , dτ = −ds . La quadri-vitesse U = dX /dτ est alors normalisée : ηµν U µ U ν = −1.
2

Cette abcisse curviligne τ est un invariant géométrique : sa valeur numérique est la même, quel que soit
le système de coordonnées utilisé pour définir la trajectoire du point. √
Prenons le cas où la 3-vitesse V est constante dans S de sorte que ∆τ = 1 − V 2 ∆T , où ∆T est
l’intervalle de temps, mesuré par les horloges immobiles de S, séparant P et P +∆P . Introduisons maintenant
le repère inertiel S 0 dans lequel la particule est au repos. On a alors que ∆τ n’est autre que l’intervalle de
temps séparant P et P + ∆P mesuré au temps T 0 des horloges de S 0 . En effet, si ∆τ représente le battement
d’une horloge (ou la durée de vie d’une particule)
√ dans S 0 alors on a bien que cette durée, mesurée par les
2
horloges de S, est plus longue : ∆T = ∆τ / 1 − V , en accord avec les formules (24.3). Ainsi τ est le temps
mesuré par les horloges en co-mouvement avec P .
Si la 3-vitesse du point matériel n’est pas constante, on généralise ce résultat en postulant que le temps
mesuré par une horloge accélérée, en co-mouvement avec lui, est représenté par τ . L’abcisse curviligne τ
mesure donc le temps propre de l’horloge.
Il faut noter cependant que cette identification de l’abcisse curviligne au temps mesuré par une horloge
accélérée impose que les (bonnes) horloges, bien qu’étant toutes des objets étendus, peuvent être accélérées
sans que leur fonctionnement en soit affecté.

Exercice : les “jumeaux de Langevin”


Considérons dans un repère inertiel S un point matériel Pin en X = Xin > 1/g (le “sédentaire”) et un autre, accéléré,
Pacc (le “voyageur”), dont la ligne d’univers est l’hyperbole : T = 1g sinh gτ , X = 1g cosh gτ où g est une constante.
Montrez que τ est le temps propre de Pacc et que son mouvement est uniformément accéléré.
Les lignes d’univers se coupent en T = ±T0 , instants où le voyageur quitte le sédentaire et où il le retrouve. Montrez
que la durée mesurée par Pacc est
2 g∆τin
∆τacc = ArgSinh (< ∆τin ) .
g 2
Le fait que ∆τacc est toujours inférieur à ∆τin (quelle que soit en fait l’accélération de Pacc ) est la version minkowskienne
de l’“inégalité triangulaire” : la droite, ou géodésique qui relie deux événements p1 et p2 est le plus long chemin possible.

Chapitre 6
Repères accélérés et géométrisation de l’inertie
Repères accélérés et coordonnées curvilignes en physique newtonienne : rappels
En mécanique newtonienne, on est amené à considérer quatre types de changement de coordonnées ou repère :
(1) les changements de repère cartésien (rotation des trois axes et translation de l’origine) qui laissent les vecteurs vitesse
et accélération invariants ;
(2) le passage d’un repère inertiel à un autre par le groupe de Galilée (mouvement de translation uniforme de l’origine et
des trois axes spatiaux), qui modifie la vitesse mais laisse l’accélération et la loi de la dynamique newtonienne invariantes ;
(3) le passage à un repère accéléré par le groupe plus large des déplacements rigides (mouvement quelconque de rotation
des trois axes et de translation de l’origine) qui introduit dans la loi de la dynamique des accélérations d’inertie ;
(4) le passage dans un repère cartésien donné à des coordonnées curvilignes qui conduit à écrire la loi de la dynamique en
termes de dérivée covariante.
Cette relative complexité est due à la structure de l’espace-temps de Newton : les changements de coordonnées (1) et
(4) opèrent dans l’espace euclidien E3 ; les opérations (2) et (3) définissent des familles de repères, un pour chaque feuille
du fibré N4 = E3 × R.

SECTION 26. Repères locaux et coordonnées de Fermi


Dans l’espace-temps pseudo-euclidien de Minkowski M4 les transformations, linéaires, de Poincaré (qui
laissent quadri-accélération et quadri-vitesse invariantes) unifient comme nous l’avons vu les changements
de repères cartésiens et le passage d’un repère inertiel à un autre. Ces transformations ne permettent pas en
revanche de passer d’un repère inertiel à un “repère accéléré”.
Une façon d’effectuer cette transition est de généraliser la notion de repère inertiel “tangent”. Con-
sidérons à cet effet une particule accélérée Pacc dont le vecteur position dans S est OO0 ≡ d(τ ) = dµ (τ )eµ .

24
Si τ est son temps propre sa quadri-vitesse u ≡ d˙ = U µ eµ est contrainte par (u · u) ≡ ηµν U µ U ν = −1.
Considérons au point-événement O0 défini par τ un repère inertiel tangent à la ligne d’univers en ce point.
Il est obtenu par une transformation de Poincaré

X 0ν = Λµν (τ ) (X µ − dµ (τ )) ; eµ = Λµν (τ ) e0ν , 0ν = Λµν (τ ) µ (1)

telle que e00 = u(τ ), ce qui fixe quatre composantes de la matrice inverse en fonction des trois composantes
indépendantes de la quadri-vitesse selon : Λµ0 = U µ (τ ). Les trois vecteurs de base spatiaux e0i sont déterminés
par un choix des trois paramètres définissant les rotations spatiales, e.g. les angles d’Euler (ainsi la matrice
de Lorentz Λµν est déterminée en fonction de 6 paramètres comme il se doit) ; comme la quadri-accélération
p
γ = u̇ est orthogonale à u on peut choisir e01 = γ/ (γ · γ).
Considérons maintenant un point p quelconque. Son rayon vecteur peut être décomposé selon Op =
OO0 + O0 p soit encore : X µ eµ = dµ eµ + X 0µ e0µ . Si P est suffisamment proche de la ligne d’univers de Pacc il
existe un instant τ et un seul pour lequel O0 p est orthogonal à u et pour lequel on a X µ eµ = dµ eµ + X 0i e0i ,
i = (1, 2, 3). La position de p peut être ainsi définie soit par ses coordonnées minkowskiennes X µ soit par la
donnée de τ et de X 0i . Appelons xµ ces quatre coordonnées, dites coordonnées de Fermi : x0 ≡ τ, xi ≡ X 0i .
Elles sont reliées aux X µ par
X µ = dµ (x0 ) + Λµi (x0 ) xi . (2)
Ainsi les coordonnées xµ représentent-elles un événement de l’espace-temps de Minkowski dans un repère
local dont l’origine est liée à une ligne d’univers particulière et dont les vecteurs de base varient de point en
point. Ce repère est l’analogue relativiste d’un repère du groupe des déplacements rigides de la physique
newtonienne. Un point important est que les relations (2) X µ = X µ (xν ) ne sont pas linéaires.

Exercice : métrique de Minkowski en coordonnées de Fermi


En supposant par simplicité que le mouvement accéléré du point O 0 dans le repère inertiel (T, Z) est vertical, dµ (τ ) =
(d0 (τ ), dZ (τ )) (où τ est le temps propre), montrez que les vecteurs de base du repère de Fermi attaché à O0 sont : e00 = ḋ
p
et e03 = −d̈/ d̈.d̈ (pour d̈Z < 0).
Considérons un point p. En exploitant la relation Op = OO 0 +O 0 p (c.-à-d. T e0 +ZeZ = d0 e0 +dZ eZ +T 0 e00 +Z 0 e0Z )
et en choisissant O 0 de sorte que T 0 = 0, montrez que la transformation des coordonnées minkowskiennes (T, Z) aux
coordonnées de Fermi τ ≡ t et Z 0 ≡ z est donnée par
q
T = d0 (t) + z ḋZ , Z = dZ (t) + z 1 + (ḋZ )2 . (3)

Montrez que l’élément de longueur de la métrique de Minkowski s’écrit alors :


!2
2 2 2 z d̈Z
ds = −dT + dZ = − 1+ p dt2 + dz 2 . (4)
1 + (ḋZ )2

SECTION 27. L’exemple des coordonnées de Rindler


Soit dans un repère inertiel S, c.-à-d. dans un système de coordonnées minkowskiennes X µ = (T, Z)
où l’élément de longueur est donné par ds2 = −dT 2 + dZ 2 , une particule uniformément accélérée Pacc . Sa
ligne d’univers dµ (τ ) = (d0 (τ ), dZ (τ )) est la branche Z > 0 de l’hyperbole Z 2 − T 2 = 1/g 2 où g est son
accélération, que l’on peut écrire sous forme paramétrique, τ étant le temps propre de Pacc (voir & 25) :
1 1
d0 (τ ) = sinh gτ , dZ (τ ) = cosh gτ . (1)
g g
Considérons maintenant un point p quelconque, restreint cependant à appartenir au quadrant I de
l’espace-temps de Minkowski (Z > 0, −Z < T < Z). Les coordonnées de Fermi (t, z) de p associées à ligne
d’univers de Pacc sont, cf (26.3) :

gT = (1 + gz) sinh gt , gZ = (1 + gz) cosh gt


p (2)
gz = −1 + g Z 2 − T 2 , gt = argth (T /Z) .

25
Cette construction effectuée, on peut en oublier l’échafaudage, et considérer (2) comme définissant le
passage (dans le cadran I) du système de coordonnées minkowskiennes (T, Z) aux coordonnées curvilignes
(ou gaussiennes) (t, z), dites coordonnées de Rindler.
Chaque ligne de coordonnée z = Cte est une hyperbole de M4 et représente la ligne d’univers d’une
particule de quadri-accélération constante g/(1 + gz). Chaque ligne t = Cte est une droite de genre espace
issue de l’origine.
Dans ce nouveau système l’élément de longueur minkowskien s’écrit, cf aussi (26.4) :
 2  2
∂T ∂T ∂Z ∂Z
ds2 = −dT 2 + dZ 2 = − dt + dz + dt + dz = −(1 + gz)2 dt2 + dz 2 . (3)
∂t ∂z ∂t ∂z

Les coordonnées de Rindler ne se déduisent manifestement pas des coordonnées minkowskiennes (T, Z)
par une transformation de Lorentz. On note plutôt la ressemblance avec le passage des coordonnées
cartésiennes (u, v) aux coordonnées polaires (u = r cos φ, v = r sin φ) en géométrie euclidienne, dl2 =
dv 2 + du2 = r2 dφ2 + dr2 . L’analogie devient complète si l’on pose : 1 + gz = gr, gt = i φ ; Z = u, T = i v
avec i2 = −1. On remarque cependant que si les coordonnées polaires (r, φ) couvrent tout le plan euclidien
(u, v), il n’en est pas de même des coordonnées de Rindler (t, z) qui ne couvrent que le cadran I du plan
minkowskien (T, Z).

SECTION 28. Référentiels accélérés et décalages spectraux


L’équation de la ligne d’univers d’une particule libre, en translation uniforme dans le repère inertiel S,
Z = V T + Z0 , devient, dans un repère uniformément accéléré, cf (27.2) :

g cosh gt − V sinh gt
= . (1)
1 + gz Z0

Ainsi l’équation de la ligne d’univers de la particule Pin au repos en Z0 = 1/g dans S est-elle, dans le
système de Rindler : 1 + gz = 1/ cosh gt. Cependant, comme gT = tanh gt, cette courbe ne représente la
ligne d’univers de Pin que pour −1/g < T < 1/g.
Par ailleurs un corpuscule lumineux issu de Pacc en x = 0 à te est représenté par une ligne d’univers de
longueur nulle [(1 + gz)dt = −dz] et intersecte la ligne d’univers de Pin en z = zr , t = tr donnés par :
p
exp(−2gtr ) = 2 exp(−gte ) − 1 , 1 + gzr = exp(gte ) 2 exp(−gte ) − 1. (2)

Armés de ces résultats on peut effectuer des calculs d’effet Doppler en travaillant en repère accéléré.
Considérons par exemple deux particules uniformément accélérées Pe et Pr , au repos en ze et zr dans
le reférentiel de Rindler.
Pe envoie à Pr un signal lumineux de durée ∆τe . A cette durée de temps propre correspond un intervalle
de temps coordonnée qui se lit sur (1) : ∆t = ∆τe /(1 + gze ). Comme Pr est au repos et que les coefficients
de la métrique ne dépendent pas de t, la durée-coordonnée du signal à son arrivée en Pr sera aussi ∆t, mais
la durée de temps propre ∆τr que Pr observera sera donnée par : ∆τr = ∆t(1 + gzr ) soit
s
1 + gzr l00 (Pr )
∆τr = ∆τe = ∆τe . (3)
1 + gze l00 (Pe )

Si l’on introduit maintenant les accélérations (dans S) ge et gr de Pe et Pr , telles que ze = 1/ge − 1/g et
zr = 1/gr − 1/g (3) se réécrit, avec zr = ze + h (soit h = 1/gr − 1/ge ) :

∆τr = ∆τe (1 + ge h) . (4)

26
Repère inertiel et décalages spectraux
Le même problème peut bien sûr être étudié en utilisant les coordonnées de Minkowski (T, Z) plutôt que celles de
Rindler. Les équations des lignes d’univers de Pe et Pr , respectivement en Ze = 1/ge et Zr = 1/gr à T = 0, sont alors
   
1 1 1 1

e = sinh ge τ , cosh ge τ , dµ
r = sinh gr τ , cosh gr τ
ge ge gr gr

(avec ge > gr ). Pe envoie des signaux lumineux à ∆τe = τe2 − τe1 d’intervalle de son temps propre. Ils sont reçus par
Pr à ∆τr = τr2 − τr1 d’intervalle de son temps propre. La ligne d’univers du premier signal est T = Z − Ze1 + Te1 .
Ainsi gr exp(−gr τr1 ) = ge exp(−ge τe1 ) de sorte que ∆τr = (ge /gr )∆τe . Par conséquent l’intervalle de temps propre
∆τr qui sépare la réception par Pr des deux signaux émis par Pe à ∆τe de son temps propre est bien donné par (4) (en
posant h = 1/gr − 1/ge ).

SECTION 29. Repères tournants


Considérons un repère inertiel S et ses coordonnées minkowskiennes X µ = (T, X, Y, Z) telles que ds2 =
−dT 2 + dX 2 + dY 2 + dZ 2 et effectuons le changement de coordonnées X µ = (T, X, Y, Z) 7→ xµ = (t, r, ψ, z)
qui décrit le passage à un repère en rotation autour de l’axe Z :

T =t , X = r cos(ψ + f (t)) , Y = r sin(ψ + f (t)) , Z = z. (1)

Comme on le voit facilement, l’élément de longueur s’écrit dans ce nouveau système :5

ds2 = −(1 − Ω2 r2 )dt2 + 2Ω r2 dt dψ + dr2 + r2 dψ 2 + dz 2 . (2)

où Ω ≡ df /dt est la vitesse angulaire de rotation du repère.

Géométrie spatiale d’un disque en rotation uniforme


Si l’on définit la distance spatiale dl entre deux points P et P +dP situés respectivement en (r, ψ, z) et (r+dr, ψ+dψ, z)
comme la moitié du temps propre, mesuré par P , que la lumière met pour faire l’aller-retour de P à P + dP , alors on a

r2 dψ 2
dl2 = + dr2 .
1 − Ω2 r 2

(En effet, temps propre τ et coordonnée p
t sont reliés par dτ = 1 − Ω2 r2 dt ; la lumière suit des géodésiques nulles telles
2 2
que ds = 0 et donc dt = (Ωr dψ ± r dψ + (1 − Ω r )dr2 )/(1 − Ω2 r2 ).) Ainsi la circonférence C d’un cercle
2 2 2 2
centré sur l’origine est-elle donnée en fonction de son rayon r par
Z 2π
r dψ 2πr
C= √ = √ .
0 1 − Ω2 r 2 1 − Ω2 r 2

Exercice : L’effet Sagnac


Soit une particule Pacc contrainte à un mouvement circulaire de rayon r0 et pulsation Ω constante dans un repère
inertiel S . Dans le repère tournant où elle est immobile sa ligne d’univers est xµ = (t, r0 , 0, 0). Montrez que son temps
p
propre est relié au temps T = t des horloges immobiles dans S par : τP = 1 − r02 Ω2 t.
Considérons maintenant deux particules P± , l’une prograde l’autre rétrograde, contraintes à suivre les lignes d’univers
d’équations : xµ = (t, r0 , ω± t, 0) où ω± sont des constantes (respectivement positive et négative). Montrez que, mesurée
au ptemps propre de Pacc , la différence entre les temps mis par ces deux particules pour faire un tour est : ∆τP =
2π 1 − r02 Ω2 (ω+ + ω− )/ω+ ω− .

5
Rappelons que dans un changement de coordonnées X µ → xµ l’élément de longueur devient ds2 = ηµν dX µ dX ν =
`µν dxµ dxν où les composantes du tenseur métrique `µν dans les coordonnées xµ sont données par

∂X ρ ∂X σ
`µν = ηρσ .
∂xµ ∂xν

27
p
Montrez que les composantes des quadri-vitesses des deux particules sont uµ = (1, 0, ω± , 0)/ 1 − r02 (Ω + ω± )2 .
Montrez que si on impose que les vitesses tangentielles sont opposées, on a : (ω+ + ω− )/ω+ ω− = 2πr02 /(1 − Ωr02 ).
Montrez que les “délais Sagnac”, i.e. les différences entre les temps mis par ces deux particules ppour faire un tour
mesurées à l’horloge du repère inertiel ou de Pacc sont ∆T = 4πr02 Ω/(1 − r02 Ω2 ) et ∆τP = 4πr02 Ω/ 1 − r02 Ω2 .

SECTION 30. Géométrisation des accélérations d’inertie


Maintenant que nous avons introduit la notion de repère accéléré en Relativité Restreinte et en avons donné quelques
exemples nous pouvons définir la notion d’accélération d’inertie.

Dérivation covariante, rappels


De manière générale l’équation d’une ligne d’univers d’un point matériel est donnée par X µ = X µ (τ ) dans des
coordonnées minkowskiennes X µ , τ étant son temps propre, et par xµ = xµ (τ ) ≡ xµ (X ν (τ )) dans un système de
coordonnées xµ = xµ (X ν ). Les composantes de sa quadri-vitesse et de sa dérivée dans le système xµ sont donc données
par
dxµ ∂xµ ν

 uµ ≡
 = ν
U
dτ ∂X
(1)
duµ ∂xµ ν ∂ 2 xµ
UνUρ

 = ν
γ +
dτ ∂X ∂X ν ∂X ρ
où U ν ≡ dX µ /dτ et γ µ ≡ dU µ /dτ sont les composantes de ses quadri-vitesse et accélération dans les coordonnées
minkowskiennes X µ . Ces formules sont identiques à celles qui donnent la transformation de la vitesse newtonienne
et de sa dérivée dans les changements généraux de coordonnées et montrent que les composantes (∂xµ /∂X ν ) γ ν de
l’accélération dans le système xµ ne sont pas les dérivées temporelles ordinaires des uµ mais leurs dérivées covariantes
D̃uµ /dτ ≡ duµ /dτ − (∂ 2 xµ /∂X ν ∂X ρ )U ν U ρ qui s’écrivent aussi, cf Chap. 1.III

D̃uµ  duµ ∂ 2 X σ ∂xµ


≡ uν D̃ν uµ = uν ∂ν uµ + Γ̃µ
νρ u
ρ
= + Γ̃µ ν ρ
νρ u u
µ
avec Γ̃νρ ≡ (2)
dτ dτ ∂xν ∂xρ ∂X σ

et l’on montre (cf Chap 1.III ) que les coefficients de connexion ou symboles de Christoffel Γ̃µ
νρ peuvent aussi s’écrire en
ρ
∂X σ
fonction des composantes `µν = ηρσ ∂X
∂xµ ∂xν
de la métrique de Minkowski dans le système xµ comme

1 µσ ∂`ρσ ∂`σν ∂`νρ


 
Γ̃µ
νρ = ` + − . (3)
2 ∂xν ∂xρ ∂xσ

Considérons une particule libre. Son mouvement est rectiligne uniforme, c.-à-d. que les composantes
U µ de sa quadri-vitesse u dans un système de coordonnées minkowskiennes sont constantes et celles de sa
quadri-accélération sont nulles : γ µ ≡ dU µ /dτ = 0 ; sa ligne d’univers est une droite de M4 . Dans un
système de coordonnées général xµ les composantes uµ de la quadri-vitesse ne sont plus constantes, cf (1),
mais celles de sa dérivée covariante (2) sont nulles puisque γ µ = 0. Ainsi l’équation du mouvement d’une
particule libre dans le système xµ est-elle :

D̃uµ duµ
≡ + Γ̃µνρ uν uρ = 0 . (4)
dτ dτ

C’est l’équation d’une droite de M4 en coordonnées gaussiennes ; c’est aussi celle qui extrémise le chemin
entre deux événements, d’où son nom d’équation géodésique.
Plaçons-nous pour l’exemple dans un repère tournant où l’élément de longueur de Minkowski a été donné
en (29.2). Effectuons maintenant le nouveau changement de coordonnées xµ = (t, r, ψ, z) 7→ x0µ = (t, x, y, z) :

t=T , x = r cos ψ , y = r sin ψ , z =Z. (5)

Dans ce système de coordonnées l’élément de longueur minkowskien s’écrit

ds2 = − 1 − Ω2 (x2 + y 2 ) dt2 + 2Ω dt(xdy − ydx) + dx2 + dy 2 + dz 2 .


 
(6)

28
Un calcul sans difficulté donne les symboles de Christoffel de la métrique (6) à partir des formules générales
(2) ou (3) selon :

dΩ dΩ
Γ̃xtt = −Ω2 x − y , Γ̃ytx = −Γ̃xty = Ω , Γ̃ytt = −Ω2 y + x (7)
dt dt
(les autres s’obtenant par symétrie ou étant nuls), de sorte que l’équation du mouvement (4) devient

d2 x dy dΩ d2 y dx dΩ
2
= +2Ω + Ω2 x + y , 2
= −2Ω + Ω2 y − x (8)
dt dt dt dt dt dt
ce qui peut se réécrire sous forme tri-dimensionnelle sous la forme

dΩ
a = −2Ω ∧ v + Ω ∧ (R ∧ Ω) − ∧R (9)
dt
où l’on a introduit les grandeurs R ≡ (x, y, 0), v ≡ dR/dt, a ≡ dv/dt et où, ici, Ω est un 3-vecteur parallèle
à eZ . On reconnait dans (9) l’expression des accélérations d’inertie newtoniennes où t = T est le temps
d’horloges immobiles dans le repère inertiel S, cf & 9.

Ainsi les symboles de Christoffel encodent à la fois le système de coordonnées spatiales choisi (ici cartésien
puisqu’à t = Cst. l’élément de longueur (6) se réduit à dx2 + dy 2 + dz 2 ) et les accélérations d’inertie dues au
fait que les axes (x, y, z) tournent par rapport aux axes (X, Y, Z). L’espace-temps de Minkowski offre donc
en quelque sorte comme bonus la géométrisation des forces d’inertie.

A l’inverse on peut se poser la question : les composantes `µν (xρ ) de la métrique de Minkowski étant
données dans un système de coordonnées curvilignes xµ , comment retourner à un repère inertiel et ses
coordonnées minkowskiennes associées X µ et effacer ainsi les accélérations d’inertie ? La réponse est dans
son principe simple : les symboles de Christoffel Γ̃µνρ sont connus en fonction de `µν (xρ ) et de sa matrice
inverse par les formules (3) : Γ̃µνρ = 12 `µσ (∂ν `ρσ +∂ρ `σµ −∂σ `ρν ) ; d’autre part ils sont reliés à des coordonnées
minkowskiennes X µ par les formules (2) qui s’écrivent aussi

∂2X σ ρ ∂X
σ
= Γ̃ µν . (10)
∂xµ ∂xν ∂xρ
Une fois ces équations pour X σ (xν ) linéaires résolues il reste à fixer les constantes d’intégration, ce que
l’on fait en imposant : ηρσ (∂X ρ /∂xµ )(∂X σ /∂xν ) = `µν . Il en restera 10, les 10 paramètres du groupe de
Poincaré dont le choix détermine un repère inertiel particulier.
Concluons par une remarque : pour pouvoir être vues comme composantes de la métrique de Min-
kowski les 10 fonctions `µν (xρ ) ne peuvent pas être quelconques puisqu’elles doivent pouvoir s’exprimer en
fonctions de quatre fonctions indépendantes seulement selon `µν = ηρσ (∂X ρ /∂xµ )(∂X σ /∂xν ). Si ce n’est
pas le cas elles pourront toujours caractériser une métrique mais d’un espace-temps plus complexe que celui
de Minkowski, dit courbe.

SECTION 31. Abandon des solides de référence accélérés


Reste maintenant la question de savoir ce que représentent des coordonnées curvilignes xµ ou, de manière
équivalente, la question de les matérialiser par un système de référence dans l’espace physique réel, “relatif,
apparent & vulgaire”.
Cela ne pose pas de problème conceptuel en physique newtonienne où les repères accélérés s’obtiennent
par déplacement rigide de sorte qu’on peut les concrétiser en accélérant un solide de référence dans lequel,
par construction, la distance entre deux points reste la même et les trois axes restent orthonormés au cours
du temps.
En Relativité Restreinte, la coordonnée minkowskienne T = X 0 représente le temps d’une horloge
immobile dans le repère inertiel S considéré. La coordonnée t = x0 ne représente pas en revanche en général
le temps d’une horloge immobile en xi = Const. car on a postulé que c’est le temps propre qui joue ce rôle.

29
R√
Ce temps propre est donné par τ = 1 − V 2 dT où V est la 3-vitesse de l’horloge par rapport au repère
inertiel. Mesuré en termes des coordonnées xµ il s’obtient à partir de l’élément de longueur en y posant
dxi = (dxi /dt) dt et vaut
Z r
dxµ dxν
Z p Z p
τ= −ds2 = −`µν dt = −`00 dt (1)
dt dt

car la 3-vitesse dxi /dt de l’horloge est nulle.


Quant aux coordonnées spatiales xi , peuvent-elles représenter un solide de référence tridimensionnel
cartésien ? La réponse est “non” en général.6

“Rigidité” du référentiel de Rindler


Considérons dans un repère inertiel S de coordonnées minkowskiennes (T, X) (on se restreint à une seule dimension
d’espace) deux lignes de coordonnées spatiales voisines du repère de Rindler, x(T, X) = x0 et x(T, X) = x0 + ∆x, cf
(27.2) ; elles peuvent représenter des lignes d’univers de deux éléments matériels du repère qui ont dans S un mouvement
uniformément accéléré de vitesse V ≡ dX/dT déterminée par dx/dT = ∂x/∂T + (∂x/∂X)V = 0 ; soit par ailleurs ∆X
leur distance propre, mesurée dans S , c.-à-d. à T constant. Dans le repère inertiel S√
g allant à la vitesse V par rapport à S
où elles sont momentanément au repos leur distance propre est donc ∆Xg = ∆X/ 1 − V 2 (contraction des longueurs).
Un solide peut alors être défini en imposant que ∆Xg soit égal à ∆x, la distance entre les lignes de coordonnées du repère
accéléré.
Le système de coordonnées de Rindler satisfait à ce critère. En effet les lignes d’univers de deux lignes de coordonnées
voisines sont donnés par g 2 (X 2 − T 2 ) = (1 + gx0 )2 et g 2 (X 2 − T 2 ) = [1 + g(x0 + ∆x)]2 . Leur vitesse dans S est
V = dX/dT = T /X . Quant à leur distance propre ∆X , mesurée dans S , c.-à-d. à T constant, elle est donnée par :
gX∆X = (1√+ gx0 )∆x. Dans le repère inertiel tangent à leur ligne d’univers elle est (contraction des longueurs) :
∆Xg = ∆X/ 1 − V 2 . En développant le calcul :

∆X (1 + gx0 )∆x 1 (1 + gx0 )∆x


∆Xg = √ = p = √ = ∆x .
1−V 2 gX 2
1 − T /X 2 g X2 − T 2

En ce sens précis la ligne de coordonnée x = const. peut être considérée comme un “axe rigide” et on peut concevoir
la matérialisation du repère de Rindler par un solide accéléré le long de l’axe X du repère inertiel S . Cette propriété
est particulière au repère de Rindler; dans le cas général il faut abandonner la notion de repère “rigide” et de référentiel
“solide” sauf s’ils sont inertiels.

La notion de solide de référence accéléré ne laissant pas d’être subtile en théorie de la Relativité on est
amené à admettre que tout système de coordonnées xµ peut être associé à un système matériel de référence,
les coordonnées xi étiquetant la position de ses points à un instant coordonnée t = x0 dont la signification
physique en terme de temps propre mesuré par une horloge est à préciser cas par cas. Dans le cadre ainsi
élargi de la Relativité Restreinte on abandonne donc les notions de repère et de référentiels rigides introduits
en physique newtonienne.

Chapitre 7
Principe d’équivalence et géométrisation de la gravitation
L’objet de ce chapitre est de décrire le chemin conceptuel qui mena Einstein de la Relativité Restreinte à la Relativité
Générale. Toutes les notions mathématiques présentées ici de façon qualitative seulement seront explicitées dans la
troisième partie.

SECTION 32. Une relativité “générale”


Les physiciens du XIXème siècle avaient cherché à mesurer la vitesse de la Terre par rapport au milieu
dans lequel la lumière se propageait, l’éther, souvent considéré alors comme l’incarnation de l’espace absolu
6
On trouvera dans le livre de W. Pauli, “Theory of Relativity”, Dover Publications 1981 (première édition 1921) une
discussion claire de la notion de mouvement rigide introduite par M. Born ainsi que de ses limitations.

30
de Newton.7 Ce fut en vain : la vitesse de la lumière était c par rapport au référentiel où le système solaire
et, pensait-on, l’éther, étaient au repos (aberration des étoiles) et par rapport à la Terre (expérience de
Michelson et Morley). Comme le résuma Henri Poincaré : “Il semble au premier abord que l’aberration
de la lumière et les phénomènes optiques qui s’y rattachent vont nous fournir un moyen de déterminer le
mouvement absolu de la Terre, ou plutôt son mouvement, non par rapport aux autres astres, mais par
rapport à l’éther. Fresnel l’avait déjà tenté (...), Michelson (...) échoua à son tour. Il semble que cette
impossibilité de mettre en évidence expérimentalement le mouvement absolu de la Terre soit une loi générale
de la nature.”8
Il fallut donc multiplier les hypothèses sur l’“électrodynamique des corps en mouvement” (temps “fic-
tif” de Lorentz-Poincaré, contraction des longueurs de FitzGerald-Lorentz, etc) pour faire respecter aux
équations de Lorentz et de Maxwell, dans le cadre de la physique de Newton, cette impossibilité de dis-
tinguer le référentiel où l’éther serait au repos. Einstein, en réfléchissant au concept de temps, montra qu’on
pouvait en fait marier naturellement constance observée de la vitesse de la lumière dans tous les référentiels
en mouvement rectiligne uniforme relatif, équivalence dynamique de ces repères inertiels et une loi de com-
position des vitesses, à condition de formuler électromagnétisme et mécanique dans le cadre d’une nouvelle
représentation géométrique de l’espace-temps : la Relativité Restreinte. En 1905 donc, l’espace absolu et
l’éther dont on l’avait rempli retournèrent dans les limbes.
La classe des référentiels inertiels restait cependant privilégiée. C’est seulement dans ces systèmes en
effet que les particules libres peuvent être au repos. Dans tout autre elles sont accélérées et pour les y
maintenir au repos il faut les soumettre à des forces, forces d’inertie, qui signalent seulement que le système
auquel leur mouvement est rapporté n’est pas inertiel. Ces forces d’inertie agissent en quelque sorte comme
un “rappel à l’ordre” de la cohorte des repères galiléens associée au “fantôme” qu’est l’espace absolu. L’on
peut donc être insatisfait “d’un tel acteur restant ainsi dans l’ombre, qui agit sur la matière sans qu’elle
puisse agir en retour sur lui”.9
L’ambition d’Einstein fut alors, dès 1907, de bâtir une théorie où tous les repères seraient privilégiés
(soit encore aucun), où il n’y aurait plus de forces d’inertie, plus de rappel à l’ordre de l’espace absolu, et
où, donc, les lois de la physique auraient la même forme dans tous les repères, inertiels ou non, afin de ne
pouvoir privilégier l’un d’eux ; bref une théorie de Relativité Générale.10
Cette idée comporte plusieurs facettes. La première, dite de covariance générale,11 consiste à écrire
les lois de la dynamique de sorte qu’elles préservent leur forme (soient “invariantes”) dans un changement
général de coordonnées. Ainsi par exemple (comme nous l’avons vu en & 29), dans tout repère, inertiel
ou non, l’équation du mouvement d’une particule de masse m, de quadri-vecteur vitesse u de composantes
uµ = dxµ /dτ dans le système de coordonnées xµ (xµ = xµ (τ ) étant sa ligne d’univers, τ son temps propre)
s’écrit sous la forme
D̃uµ duµ 1
m = f µ ⇐⇒ + Γ̃µνρ uν uρ = f µ (1)
dτ dτ m
où les symboles de Christoffel Γ̃µνρ caractérisant la dérivée covariante D̃ sont déterminés par le système de
coordonnées choisi et où F est un vecteur contravariant décrivant la force (de composantes f µ dans le système
de coordonnées xµ ) à laquelle la particule est soumise.
7
Tout comme on peut déterminer la vitesse d’un avion par rapport à l’atmosphère en mesurant, de l’avion, la vitesse du
son (à condition de savoir dans quelle mesure l’avion entraı̂ne l’atmosphère dans son sillage...)

8
H. Poincaré, “Sur la dynamique de l’électron”, Palermo Rendiconti, 21 (1906) 129 ; cité par J. Eisenstaedt in “Avant
Einstein”, Seuil 2005.

9
Gilles Châtelet, in “Les enjeux du mobile”, Seuil 1993.

10
“Est-il concevable que le principe de relativité vale aussi pour des systèmes qui sont accélérés les uns par rapport aux
autres ?”Jahrb. Rad. Elektr., 4 (1907), 411, cité par A. Pais in “Subtle is the Lord”, p. 179.

11
ou d’indifférence : T. Damour in “Einstein aujourd’hui”, CNRS edts, 2005 et in “Si Einstein m’était conté”, Cherche-Midi
Edt, 2005.

31
Bien que mathématiquement élémentaire dans le cadre de la Relativité Restreinte où coordonnées de
temps et d’espace ont même statut, cette formulation covariante de la loi de la dynamique a néanmoins
pour intéressant corollaire (comme nous l’avons souligné en & 27) de montrer de manière explicite l’origine
géométrique des forces d’inertie. Ainsi le caractère non-inertiel du repère se manifeste dans les symboles de
Christoffel Γ̃µνρ , c.-à-d. dans la métrique, grandeur géométrique.
Une seconde facette du principe de Relativité Générale, beaucoup plus riche de contenu, fut de chercher
à assigner une origine géométrique à toutes les forces, d’inertie et réelles—d’absorber en quelque sorte le
vecteur F dans un opérateur D. Ainsi toutes les forces seraient des manifestations de la géométrie, tout
mouvement serait libre, mais s’effectuerait dans un espace-temps géométriquement plus complexe que ceux
jusqu’alors considérés. On sait qu’Einstein réussit en 1915 à réduire ainsi la force de gravitation ; les autres
résistent encore...
SECTION 33. Le principe d’équivalence12
Le “pied de biche” qu’Einstein utilisa pour “fracturer l’espace-temps absolu”,12 et en extraire la gravi-
tation, fut le fait curieux que tous les corps tombent de la même façon dans un champ de gravitation.
La mécanique newtonienne rend compte de ce fait par une égalité fortuite des masses grave et inerte.
Mais cette égalité, comme Einstein le dévoila, n’est pas anodine. En effet l’accélération à laquelle une
particule libre est soumise du fait que son mouvement est rapporté à un système de référence non-inertiel ne
dépend que du mouvement du référentiel, et non des propriétés intrinsèques de la particule, comme sa masse
inerte. Dans un champ d’inertie donc, comme dans un champ de gravitation, tous les corps “tombent” de
la même façon.
Cette similarité conduisit Einstein à ériger en postulat l’égalité des masses inerte et grave et à identifier
forces d’inertie et de gravitation. C’est le principe d’équivalence.
Ce principe, lui-aussi, a plusieurs facettes. La première est que, les forces d’inertie étant d’essence
géométrique, la gravitation doit l’être également (et donc “encodable” dans les symboles de Christoffel d’une
dérivation covariante). Il implique par ailleurs qu’une accélération peut simuler un champ de gravitation :
ainsi par exemple l’observation d’un décalage de fréquence, dû au fait qu’elle est mesurée dans un référentiel
accéléré, peut légitimement être mis sur le compte d’un champ de gravitation plutôt que sur celui d’effets
cinématiques liés au mouvement du référentiel—comment créer un tel champ n’est pas (encore) la question.
Réciproquement, un champ de gravitation réel (par exemple celui de la Terre ou du Soleil) peut être effacé
par une accélération : dans un référentiel en chute “libre”, et donc accéléré par rapport aux référentiels
inertiels lointains, le champ de gravitation peut être légitimement ignoré car les particules en co-mouvement
c’est-à-dire qui tombent elles aussi, sont en mouvement rectiligne uniforme, de sorte que le référentiel est,
de facto inertiel.13
Un intéressant corollaire de ce principe est la claire reconnaissance que la notion de particule libre (du
moins au regard de la gravitation) n’a pas grand sens : une particule libre est, dans un référentiel accéléré,
soumise à un champ (le champ d’accélération du référentiel) ; quant aux particules attirées par le Soleil par
exemple, elles sont libres dans un référentiel en chute libre. Or la définition des repères inertiels repose sur la
notion de particule libre. Si aucune ne l’est ou si elles le sont toutes, c’est toute la classe des repères inertiels
qui disparaı̂t à son tour dans les limbes.
SECTION 34. Une mosaı̈que d’éclats de M4
Le principe d’équivalence stipule que tout champ gravitationnel peut être gommé. Voyons plus précisé-
ment dans quel sens.

12
“Der glücklichste Gedanke meines Lebens”, Einstein (1920).

13
“...J’étais assis à mon bureau de l’office des brevets de Berne ; soudain je pensai que si quelqu’un tombait en chute libre,
il ne sentirait pas son propre poids. Je fus surpris. Cette simple pensée fit une forte impression sur moi (...) Car pour un
observateur tombant d’un toit, il n’existe pas de champ de gravitation. S’il laisse tomber des objets, ils resteront au repos par
rapport à lui, ou en mouvement uniforme (...) Il est donc en droit de se trouver au repos”. Albert Einstein, 1907 (cité par
A. Pais, op. cit. pp. 178–179.)

32
Le champ de forces d’inertie auquel sont soumises des particules libres du fait que leur mouvement est
rapporté à un référentiel accéléré peut être entièrement effacé par un changement de système de référence ;
l’effacement est global dans le sens où, dans le nouveau référentiel, inertiel, toutes les particules ont ad vitam
aeternam un simple mouvement rectiligne uniforme.
En revanche, dans un référentiel en chute libre, le champ de gravitation ne s’évanouit pas complètement :
deux particules initialement au repos y demeurent, leur distance reste invariable, mais pendant un certain
temps seulement, d’autant plus court que la précision des mesures est grande ; en effet la distance entre les
particules diminue en fait peu à peu car la force de Newton fait converger leurs trajectoires vers le centre
de gravité du corps qui les attirent. Ainsi la propriété d’effacement n’est que locale : à tout moment, en
tout lieu, il existe un système de référence “en chute libre” où le champ de gravitation s’évanouit, où les
particules peuvent être au repos, mais le système dépend du lieu et du moment.
On est ainsi conduit à se représenter le cadre spatio-temporel où se formuleront les lois de la gravitation
comme une “mosaı̈que de petits éclats de l’espace-temps de Minkowski”.11 Dans chaque éclat, c’est-à-dire
localement, l’espace-temps est quasi-minkowskien, la gravitation peut être ignorée, et on postule que tous
les résultats de la Relativité Restreinte y sont valables. C’est le principe de relativité locale.14

SECTION 35. Le “mollusque” de référence


La mécanique newtonienne postule l’existence de trièdres matériels solides dont les distances spatiales
entre les constituants (mesurées à l’aide de règles rigides) sont constantes et dont les axes restent orthornormés
au cours du mouvement. De tels trièdres peuvent (en principe) servir de systèmes de référence globaux
quadrillant tout l’espace, où tester les lois de la mécanique écrites dans tout repère accéléré, déduit du repère
absolu par déplacement rigide. (Et si les lois de la mécanique n’y sont pas vérifiées c’est a priori que le solide
se disloque sous l’effet des forces d’inertie qu’il subit !)
En Relativité Restreinte en revanche, les corps solides, référentiels globaux quadrillant tout l’espace, ne
matérialisent de facto que les repères inertiels. La raison en est simple : comme nous l’avons vu en & 25 le
passage à un repère accéléré s’effectue par un changement non linéaire des coordonnées impliquant le temps,
transformation dont il serait inutilement restrictif d’exiger qu’elle préserve l’orthogonalité des axes spatiaux.
Comme de plus le principe d’équivalence fait perdre aux repères inertiels leur statut privilégié, la notion de
corps rigide de référence fut en fin de compte abandonnée par Einstein.15
En Relativité Générale l’espace-temps devient ainsi un simple continuum, un ensemble d’événements
différenciés par leur étiquetage dans un repérage quelconque. On peut si l’on veut se figurer ce continuum
et son “mollusque” de référence comme un océan peuplé de bathyscaphes reliés par de lâches filins, dont les
mouvements relatifs sont mesurés au temps d’une horloge en mouvement quelconque. Au voisinage de tout
point on peut cependant passer de ce “mollusque” à un “quadrillage” local de coordonnées minkowskiennes
c’est-à-dire passer à un repère momentanément inertiel, en chute libre, appelé espace tangent.

SECTION 36. Un espace-temps pseudo-riemannien


L’espace physique est représenté en physique newtonienne par un espace “absolu” euclidien ; en Rel-
ativité Générale, l’espace et le temps sont représentés par une variété, continuum de points p repérés par
quatre coordonnées xµ qui localement se réduit à l’espace-temps de Minkowski, ainsi que nous venons de le
voir.

14
parfois appelé “principe d’équivalence d’Einstein”, l’identité masse grave masse inerte étant par contraste qualifiée de
principe d’équivalence faible.

15
“Dans les champs gravitationnels il n’y a pas ce qu’on appelle de corps rigides aux propriétés euclidiennes : ainsi le corps
rigide fictif de référence n’est-il d’aucune utilité dans la théorie générale de la relativité”,
“Des corps de référence non-rigides sont utilisés, qui de manière générale non seulement se meuvent de n’importe quelle
façon mais subissent également des modifications de forme ad libitum pendant leur mouvement (...) Ce corps de référence
non-rigide, qui peut de manière appropriée être qualifié de “mollusque de référence”, est en gros équivalent à un système de
coordonnées gaussiennes choisi arbitrairement”.
A. Einstein, in “Relativity, The Special and General Theory”, Methuen, 1954.

33
Une variété16 est beaucoup moins structurée qu’un espace euclidien car si on peut y définir localement
(i.e. sur l’espace tangent du point considéré) des grandeurs géométriques, vecteurs, tenseurs etc, les notions
de parallélisme et de distance n’y sont pas a priori définies.
Pour pouvoir comparer des grandeurs en des points différents, et connecter entre eux les différents éclats
de M4 (i.e. les espaces tangents), il faut lui adjoindre une structure supplémentaire. Le rôle d’une connexion
est de définir le transport parallèle des tenseurs ; plus particulièrement, elle permet de construire les courbes
auto-parallèles (c.-à-d. les plus “droites” possible) d’une variété, de la façon suivante : si leurs lignes d’univers
sont p = p(λ) soit, en coordonnées, xµ = xµ (λ), et si u = dp/dλ (⇔ uµ = dxµ /dλ) sont leurs vecteurs
tangents, alors leur équation est
duµ
+ Γµνρ uν uρ = 0, (1)

où les 64 coefficients de connexion Γµνρ (qui ne sont pas nécessairement symétriques en ν et ρ) sont des
fonctions a priori arbitraires des coordonnées. Si par simple changement de coordonnées ils peuvent être
annulés en tous points (ce qui implique qu’ils peuvent être exprimés en termes de 4 fonctions des coordonnées
seulement), alors la variété est dite plate ; dans le cas contraire elle est courbe.
Afin maintenant de pouvoir comparer à deux instants notablement différents les distances entre deux
particules et en inférer par exemple l’existence d’une masse centrale qui les attire, une structure métrique
définissant la notion de distance doit être également introduite. C’est le rôle du tenseur métrique qui définit
l’élément de longueur comme
ds2 = gµν dxµ dxν (2)

où les 10 fonctions gµν sont a priori arbitraires. La donnée d’une métrique permet de définir les courbes
géodésiques, c’est-à-dire des courbes de longueur extrémale. Au voisinage de chaque point les coefficients
gµν peuvent être réduits par changement de coordonnées aux coefficients ηµν de la métrique de Minkowski
mais il n’est pas possible en général de le faire globalement (cela n’est possible que s’ils peuvent s’exprimer
à l’aide de 4 fonctions seulement).
Les notions de parallélisme et de distance sont conceptuellement distinctes mais toute métrique peut
définir une connexion de Levi-Civita. Dans ce cas les 40 coefficients de connexion (symétriques) prennent le
nom de symboles de Christoffel et s’expriment en fonction des 10 composantes de la métrique sous la forme
(cf & 14)
 
µ 1 µσ ∂gρσ ∂gνσ ∂gνρ
Γνρ = g + − . (3)
2 ∂xν ∂xρ ∂xσ
Auto-parallèles et géodésiques deviennent alors un seul et même objet. Une variété ainsi munie d’une
métrique et de sa connexion de Levi-Civita associée est une variété (pseudo)-riemannienne (“pseudo” car la
métrique doit se ramener localement à ηµν plutôt que δµν ).
Ce sont de telles variétés pseudo-riemanniennes qui représentent l’espace et le temps en Relativité
Générale.17 Un tel espace est courbe dans le sens qu’en général les auto-parallèles s’y coupent (cf les
trajectoires des particules “libres” dans un repère en co-mouvement, qui se rejoignent au centre de gravité).
Dans le cas exceptionnel où il est plat, il existe alors un système de référence minkowskien global (tous les
“éclats” peuvent être “recollés”).
En Relativité Générale tout comme en Relativité Restreinte, la métrique est une structure conférée à
l’espace-temps. Mais alors qu’en Relativité Restreinte cette structure, qui peut se ramener à ηµν , est donnée
a priori, elle est en Relativité Générale une grandeur physique conditionnée par la distribution de masse.
L’espace-temps de la Relativité Générale n’est donc pas un réceptacle passif de la matière.

16
C’est au mois d’Août 1912 qu’Einstein décide de représenter l’espace-temps par un espace plus complexe que celui de
Minkowski. Il appelle son ami mathématicien Marcel Grossmann à la rescousse qui l’introduit alors à la géométrie riemannienne.

17
On trouvera une introduction plus détaillée aux espaces-temps de la Relativité Générale selon la ligne suivie ici dans le
livre de E. Schrödinger, “Space-Time Structure”, CUP, 1950.

34
C’est-là la mise en forme par Einstein d’un complexe d’idées promues par Ernst Mach dont les aspects
les plus saillants sont que (a) l’inertie d’une particule doit être due à une interaction avec toutes les masses
de l’univers, (b) l’espace n’a pas d’existence en soi, indépendamment de la matière.
On voit que si la Relativité Générale incorpore d’une certaine manière la première idée (puisque forces
d’inertie et de gravitation ne sont plus distinguées), elle ne traduit en revanche pas la seconde. En effet, en
l’absence de matière, l’espace-temps ne se réduit pas à “rien”, mais à l’espace-temps de Minkowski. Einstein
ne réalisa donc pas complètement son ambition.18
SECTION 37. Décalage spectral gravitationnel
Einstein illustra dès 1907 (puis en 1911) la richesse des concepts de la Relativité Générale par une
expérience de pensée (“Gedankenexperiment”) restée célèbre, que nous reprendrons ici en utilisant les calculs
faits en & 28.
Considérons dans un référentiel inertiel (T, Z) une “tour de Rindler” de longueur h accélérée le long
de l’axe Z, c.-à-d. deux hyperboles, la “base”, d’équation gT = sinh gτ , gZ = cosh gτ , et le “sommet”,
d’équation gh T = sinh gh τ , gh Z = cosh gh τ , avec h = 1/gh − 1/g. Comme nous l’avons vu en & 28 des
signaux lumineux émis à des intervalles de temps ∆τ de la base de la tour seront mesurés au sommet comme
ayant une durée19

∆τh = (1 + gh)∆τ . (1)

Il est utile d’insister sur le fait que ∆τh est la période, observée du sommet de la tour, de l’horloge située
à sa base, et de préciser que si elle était placée à son sommet ses signaux auraient la période ∆τ car on a
postulé que les appareils mesurant le temps n’étaient pas affectés par leur accélération.
De manière plus générale nous avons aussi vu en & 28, en effectuant les calculs d’effet Doppler dans un
repère accéléré où la tour est au repos, que l’on a
s
g00 (z = h)
∆τh = ∆τ (2)
g00 (z = 0)

où gµν sont les coefficients de la métrique de Minkowski dans le repère accéléré et z = 0, z = h les lignes
d’univers de la base et du sommet de la tour dans les coordonnées où elle est immobile.
La tour est accélérée. Or le principe d’équivalence stipule qu’un champ d’accélération est (localement)
indiscernable d’un champ de gravitation. Le même phénomène de dilatation du temps doit donc se produire
dans un champ de gravitation, par exemple celui de la Terre. Dans ce cas la base de la tour en est le “bas”,
2
le sommet en est le “haut” et h la “hauteur”. Quant à g c’est l’accélération de la pesanteur, g ≡ GM⊕ /R⊕ .
On doit donc avoir :
∆τhaut = (1 + gh)∆τ , (3)

où, rappelons-le, ∆τhaut est par exemple la période observée du haut de la tour d’une transition atomique
ayant lieu au bas de la tour, et ∆τ est la période de cette transition, que l’atome soit au bas ou au haut de
la tour.
18
“J’espérais montrer que l’espace-temps n’était pas nécessairement quelque chose à quoi on puisse assigner une existence
séparée, indépendamment des objets concrets de la réalité physique. Les objets physiques ne sont pas dans l’espace, ils ont
une extension spatiale. En ce sens le concept d’“espace vide” perd son sens (...) Il n’existe pas d’espace vide, c’est-à-dire
d’espace sans champ. L’espace-temps ne prétend pas à une existence propre, mais n’est qu’une propriété structurelle du champ.
Ainsi Descartes n’était pas si loin de la vérité lorsqu’il pensait qu’il fallait refuser l’existence à l’espace vide”, A. Einstein, in
“Relativity”, Methuen 1954.

19
On se convaincra aisément que lorsqu’on se limite au 1er ordre en gh le résultat (1) sera le même que la tour soit celle,
“rigide”, de Rindler ou que les lignes d’univers de ses base et sommet soient, par exemple, (gT = sinh gτ , gZ = cosh gτ ),
(gT = sinh gτ , gZ = cosh gτ + h), voire (Z = 12 gT 2 , Z = 12 gT 2 + h).

35
Si l’on introduit le potentiel de gravitation terrestre U (h) = −GM⊕ /(R⊕ + h) on a que 1 + gh =
1 + (U0 /Uh )(Uh − U0 ), soit, au 1er ordre en (Uh − U0 )/U0 :

∆τhaut ≈ (1 + Uhaut − Ubas )∆τ , (4)

une formule qui se généralise à tout potentiel gravitationnel.


Le principe d’équivalence conduit ainsi à identifier de (4) et (2) ce qui conduit à écrire

g00 ≈ − (1 + 2U ) (5)

où U est le potentiel gravitationnel newtonien, et où l’écart du coefficient g00 à sa valeur minkowskienne est
maintenant interprété comme une déformation de l’espace-temps due à la gravitation.

L’effet (3) fut mesuré par Pound et Rebka en 1960. Ils placèrent un échantillon de fer radioactif au bas
d’une tour de l’université de Harvard de hauteur h = 22.6 m et observèrent au sommet de la tour la fréquence
des rayons gamma émis. Le décalage spectral prédit est (ν −νhaut )/ν ≈ (GM⊕ /c2 R⊕ )(h/R⊕ ) ≈ 2.47×10−15 .
Ils mesurèrent (ν − νhaut )/ν = (2.57 ± 0.26) × 10−15 .
Einstein avait proposé de mesurer le décalage spectral gravitationnel des raies d’émission du Soleil,
beaucoup plus important en principe, puisque de l’ordre de 2 × 10−6 . Mais les mouvements internes du Soleil
ajoutent des effets Doppler cinématiques difficilement contrôlables et ce n’est qu’en 1991 qu’une mesure
précise put être effectuée, par LoPresto et al., en accord à 2% près avec la prédiction.
L’expérience actuellement la plus précise est celle de Vessot et Levine (1976) qui lancèrent une horloge
maser à 10 000 km d’altitude où ils mesurèrent sa fréquence. Ils confirmèrent la prédiction avec une précision
de 2 × 10−4 . Les horloges atomiques du réseau qui définit le temps international ne sont pas toutes au niveau
de la mer : celle de Boulder, Colorado par exemple, à 1600 m d’altitude, gagne environ 5 microsecondes par
an sur celle de Greenwich. Comme la précision des horloges est actuellement de l’ordre de 0.1 microseconde
par an il faut corriger ce retard pour les synchroniser.

Expériences d’Hafele-Keating et de Alley et al.


Mentionnons aussi l’expérience de Hafele et Keating (1971) qui a consisté à comparer le temps d’horloges ayant fait le
tour du monde d’Est en Ouest puis d’Ouest en Est à celui d’une horloge au sol ; ainsi que celle, similaire, de Alley et al.
(1975).
Il faut cependant noter que dans ces expériences il faut tenir compte aussi de l’effet de dilatation du temps dû au
mouvement des horloges.
L’inclusion de ces effets de dilatation du temps (“restreint et général”) est maintenant essentielle à la bonne marche des
routines d’ingéniérie comparant les temps d’horloges atomiques en mouvement relatif, sur Terre et dans les satellites du
réseau GPS par exemple.

Exit donc l’espace-temps de Minkowski de la Relativité Restreinte.

36
Troisième Partie
Espaces-temps courbes et gravitation
“Probablement la plus grande découverte scientifique jamais faite”.
P.A.M. Dirac

Chapitre 8
Le tenseur de Riemann-Christoffel
Ainsi que nous l’avons argumenté dans le chapitre précédent, les espaces-temps “absolus, vrais & mathématiques”
représentant en théorie d’Einstein l’espace et le temps “relatifs, apparents & vulgaires” sont des variétés riemanniennes
munies d’une métrique et de sa connexion de Levi-Civita associée, cette métrique décrivant à la fois le système de
coordonnées choisi pour “étiqueter” les événements, c.-à-d. les positions à un instant donné des éléments de matière,
et le champ de gravitation auquel ces éléments sont soumis.
Nous introduisons ici le tenseur de Riemann, qui caractérise les espaces-temps courbes, puis les équations d’Einstein qui
disent comment le champ de gravitation créé par la matière contraint la géométrie, c.-à-d. la métrique, de l’espace-temps.

SECTION 38. Connexion, transport parallèle et courbure


Comme nous l’avons vu en étudiant l’espace euclidien en coordonnées curvilignes au chapitre 3, la déri-
vation covariante associe à un tenseur un autre tenseur défini au même point p. Mais c’est également (tout
comme la dérivation ordinaire) une opération qui, par “développement de Taylor”, permet de transporter le
tenseur T parallèlement à lui-même du point p à un point proche q, et ainsi de connecter les points p et q.
On pourra ainsi par exemple comparer T , défini en p, à un autre tenseur défini en q ou voir si un champ de
tenseur T est “constant” ou non.
Le transport parallèle d’un vecteur ti (ici i = 1, ...n) le long d’un courbe xj (λ) de vecteur tangent
u = dxj /dλ est donc défini, par simple extension de la définition en espace euclidien, par :
j

Dti dti
≡ uj Dj ti = + Γijk uj tk = 0 (1)
dλ dλ
où maintenant les n3 coefficients de connexion Γijk sont des fonctions a priori arbitraires des n coordonnées
xi . Si les composantes ti sont connues en λ = λ0 , l’équation différentielle ci-dessus les détermine uniquement
pour tout λ.1
Transportons parallèlement le vecteur de composantes ti le long d’un circuit fermé. En espace euclidien
où il existe des coordonnées (cartésiennes) où tous les Γ sont nuls l’intégration de (1) est triviale et l’on
obtient le résultat bien connu qu’à l’arrivée le vecteur sera le même qu’au départ. Cela n’est plus vrai dans
le cas général.
Supposons que le circuit se compose d’un premier tronçon, de p à p1 , le long de la ligne de coordonnée
x1 , suivi d’un second, de p1 à q le long de la ligne de coordonnée x2 , d’un troisième de q à p01 , à nouveau le
long d’une ligne de coordonnée x1 et, enfin, pour boucler la boucle, d’un tronçon de p01 à p le long d’une ligne
de coordonnée x2 . L’équation (1) nous dit que les composantes tipar de ce vecteur transporté parallèlement
sont données implicitement, en p1 , q, p01 et p par les expressions intégro-différentielles :
 Z p1 Z q
i i i k 1 i i
 t (p ) = t (p) − Γ t dx , t (q) = t (p ) − Γi2k tkpar dx2
 par 1 1k par par 1


p p1
Z p01 Z p (2)
i 0 i i k 1 i i 0 i k 2

 tpar (p1 ) = t (q) − Γ1k tpar dx , tpar (p) = t (p1 ) − Γ2k tpar dx


q p01

1
De manière analogue une auto-parallèle est une courbe telle que : dui /dλ + Γijk uj uk = 0. Rappelons qu’en espace
euclidien c’est là l’équation d’une droite puisque qu’en coordonnées cartésiennes tous les Γ sont nuls ; en physique newtonienne
elle décrit la trajectoire d’une particule libre ; en Relativité Restreinte c’est l’équation du mouvement d’une particule libre dans
un repère accéléré.

37
de sorte que
p01
! !
Z q Z p1 Z q Z
∆ti ≡ tipar (p) − ti (p) = − Γi1k tkpar dx1 − − Γi2k tkpar dx2 . (3)
p01 p p1 p

Comme les coordonnées des différents points sont p: xi , p1 : xi +δ1i ∆x1 , q: xi +δ1i ∆x1 +δ2i ∆x2 , p01 : xi +δ2i ∆x2 ,
on a, à l’ordre le plus bas:
∆ti = ∆x1 ∆x2 ∂2 (Γi1k tkpar ) − ∂1 (Γi2k tkpar )
 
(4)
soit, en utilisant à nouveau l’équation de transport parallèle (1) :

∆ti = Ri j21 tj ∆x2 ∆x1 (5)

où
Ri jkl ≡ ∂k Γilj − ∂l Γikj + Γikm Γm i m
lj − Γlm Γkj (6)
1

est le tenseur de courbure (ou encore de Riemann-Christoffel), de type 3 . C’est un tenseur car ∆ti ,
différence de deux vecteurs au même point, est un vecteur, ainsi que ∆x1 et ∆x2 .2 On obtient le même
résultat en comparant, en q, les vecteurs transportés parallèlement via p1 pour l’un et via p01 pour l’autre.
On voit donc que ce n’est que si le tenseur de Riemann est nul que le transport parallèle d’un vecteur (ou
de tout autre tenseur) ne dépend pas du chemin.3

Exercice : transport parallèle sur une 2-sphère


Considérons un espace bi-dimensionnel dans un système de coordonnées (θ, φ), θ ∈ [0, π], φ ∈ [0, 2π] muni de la
connexion suivante
cos θ
Γθφφ = − sin θ cos θ , Γφφθ = Γφθφ =
sin θ
les autres coefficients étant nuls. Soit au point p(θ0 , φ0 ) un vecteur de composantes ti (p) = (1, 0). En le transportant
parallèlement d’abord de p à p1 (θ0 , φ1 ), puis en q(θ1 , φ1 ), puis en p01 (θ1 , φ0 ) pour le ramener enfin en p, montrez que
l’on a

sin(ω1 − ω0 )
∆tθ = cos(ω1 − ω0 ) − 1 , ∆tφ = avec ω1 = (φ1 − φ0 ) cos θ1 , ω0 = (φ1 − φ0 ) cos θ0 .
sin θ0

Montrez que le tenseur de Riemann se réduit à Rθφθφ = sin2 θ , R


φ
θφθ = 1 de sorte que, en accord avec la formule
générale (5) on a, à l’ordre le plus bas et en posant ∆θ = θ1 − θ0 et ∆φ = φ1 − φ0 : ∆tθ = 0, ∆tφ = −∆θ∆φ.

SECTION 39. Commutation des dérivées covariantes, torsion et courbure


La dérivée covariante par rapport à la coordonnée xi d’une fonction f , qui s’identifie à sa dérivée
ordinaire (Dj f = ∂j f ), peut être vue comme la i-ème composante du vecteur covariant Di f . Sa dérivée
seconde est donc : Di Dj f = ∂ij f −Γkij ∂k f , grandeur qui peut être vue comme un tenseur deux fois covariant.
Intervertissant les indices i et j, on a donc :

(Di Dj − Dj Di )f = −(Γkij − Γkji )∂k f


(1)
≡ −Tijk ∂k f
2
C’est donc un exercice (fastidieux) inutile de le montrer directement en utilisant la loi de transformation des coefficients
de connexion, donnée en (13.3).

3
On reconnaı̂t dans l’obtention de la formule (6) une version du théorème de Stokes reliant l’intégrale d’un vecteur le long
~ .~d` = ~ ∧F~ .dΣ
~ , cf le
R R
d’un chemin à l’intégrale du rotationnel de ce vecteur sur une surface bordée par ce chemin : ∂ Σ F Σ

volume “Théorie des Champs” du cours de L. Landau et E. Lifchitz.
On donnerons dans le Cours proprement dit une présentation plus mathématique du tenseur de Riemann. (Nous verrons
entre autres que le fait d’avoir choisi ici les lignes de coordonnées pour définir le circuit fermé simplifie la présentation car leurs
“crochets de Lie” sont nuls.)

38
Les quantités Tijk mesurent l’antisymétrie de la connexion. Ce sont les composantes d’un tenseur T de type
1

2 , appelé la torsion.
Les connexions des espaces-temps décrivant la gravitation en Relativité Générale sont supposées sans
torsion. Nous prendrons donc dorénavant
Tijk = 0 (2)
auquel cas les coefficients de connexion sont au nombre de n2 (n + 1)/2 (soit 40 en quatre dimensions).
Calculons Di Dj v k : v k est un vecteur, Dj v k un tenseur 11 et Di Dj v k est un tenseur 12 . On a donc
 

Di Dj v k = ∂i (Dj v k ) − Γlij Dl v k + Γkil Dj v l , ce qui conduit à (puisque Tijk = 0)

(Di Dj − Dj Di )v k = Rkmij v m . (3)

Et, de même pour un vecteur covariant λk :

(Di Dj − Dj Di )λk = −Rmkij λm . (4)

Ainsi le tenseur de Riemann mesure-t-il la non-commutativité de la dérivation covariante.

SECTION 40. Déviation “géodésique” et courbure


Considérons une famille d’auto-parallèles xip (λ) où λ est le paramètre le long des courbes et p l’indice les
étiquetant. Si ui = dxi /dλ est le vecteur tangent aux courbes, on a : Dui /dλ(≡ uj Dj ui ) = 0. Si par ailleurs
ni = ∂xi /∂p est le vecteur mesurant l’écartement des courbes, on montre facilement que (si la torsion est
nulle) : Dui /dp(≡ nj Dj ui ) = Dni /dλ(≡ uj Dj ni ). On peut ainsi calculer l’“accélération” relative de deux
auto-parallèles voisines :
D 2 ni D Dni D Dui
ai ≡ 2
= = = uj Dj (nk Dk ui )
dλ dλ dλ dλ dp
(1)
= (uj Dj nk )Dk ui + uj nk Djk ui
= (uj Dj nk )Dk ui + uj nk (Dkj ui + Ri mjk um ) en utilisant (39.3).

En utilisant maintenant le fait que les courbes sont des auto-parallèles on a :


D Dui
0= = nj Dj (uk Dk ui ) = nj uk Djk ui + (nj Dj uk )Dk ui
dp dλ (2)
= (uj Dj nk )Dk ui + uj nk Dkj ui .

On obtient ainsi l’équation souvent dite de déviation “géodésique” (bien qu’elle ne fasse pas intervenir de
métrique) :
ai = Ri mjk um uj nk , (3)
qui montre que si le tenseur de Riemann n’est pas nul les parallèles ont tendance à se “couper”.

Chapitre 9
Variétés riemaniennes
SECTION 41. Le tenseur métrique
Une connexion permet de définir le transport parallèle de quantités géométriques d’un point à un autre
d’une variété. Afin de pouvoir également définir une géodésique ou courbe de longueur extrémale entre deux
points, la notion de distance doit maintenant être introduite.4
4
Dans les deux premières parties toutes les propriétés géométriques des espaces-temps de Newton et de Minskowski, en
particulier la notion de transport parallèle, ont été déduites de l’existence d’une métrique (euclidienne ou minkowskienne). Nous
considérons ici le cas plus général où métrique et connexion sont des structures a priori indépendantes.

39
Un tenseur métrique, g, est un champ tensoriel deux fois covariant (i.e. de type 02 ), symétrique et non


dégénéré. Dans un système de coordonnées xi ses n(n + 1)/2 composantes gij (xk ) symétriques (gij = gji )
et inversibles (g ik gkj = δji ) définissent l’élément de longueur selon :5

ds2 = gij dxi dxj . (1)

Comme nous l’avons déjà vu au chapitre 3 dans la présentation des espaces euclidiens en coordonnées
cartésiennes ou curvilignes, le tenseur métrique permet de définir une correspondance biunivoque entre
vecteurs et 1-formes. En effet, si v i sont les composantes d’un vecteur v, alors vi ≡ gij v j est une 1-forme
isomorphe à v (et souvent notée v également). Réciproquement, si λ est une 1-forme decomposantes λi ,
alors λi où λi ≡ g ij λj est un vecteur. De manière plus générale, à tout tenseur de type pq on associe ainsi
des tenseurs de type p−1 p+1
 
q+1 ou q−1 .
Enfin, une métrique définit le produit scalaire de deux vecteurs v et v 0 par : hv, v 0 i = gij v i v 0j . Dans le
cas d’une métrique lorentzienne, si la norme hv, vi de v est positive, v est dit du genre espace ; si elle est
négative, v est du genre temps ; si elle est nulle, v est dit isotrope ou du genre lumière.

SECTION 42. Géodésiques et symboles de Christoffel


La notion de norme associée au tenseur métrique permet de définir la longueur d’une courbe C du genre
temps (et similairement du genre espace) d’équation xi = xi (λ), de vecteur tangent ui ≡ dxi /dλ, entre les
points p1 et p2 , par :
Z λ2 q Z λ2  1
dxi dxj 2
S[C] = dλ −gij ui uj = dλ − gij . (1)
λ1 λ1 dλ dλ
On remarque que S est invariant par reparamétrisation, c.-à-d. dans le changement λ 7→ λ(τ ).
Considérons maintenant un ensemble de courbes Cs indéxées par s, d’équations xi = xis (λ), toutes issues
de p1 et aboutissant en p2 , et calculons la variation δS de la longueur de ces courbes quand on varie s :
λ2
dδxis dxjs dxi dxj
Z  
1
δS = q −2gij − ∂k gij δxks s s dλ . (2)
dλ dλ dλ dλ
λ1 2 −gij uis ujs

On peut, à ce stade (pas avant !), choisir la paramétrisation, par exemple gij uis ujs = −1. En notant alors τ
le paramètre, on a (en omettant l’indice s et en se rappelant que δxi est nul en τ1 et τ2 )
τ2
dδxi j 1
Z  
k i j
δS = −gij u − ∂k gij δx u u dτ
τ dτ 2
Z 1τ2  
d j i d j i 1 k i j
= − (gij u δx ) + (gij u )δx − ∂k gij δxs u u dτ
τ1 dτ dτ 2
Z τ2   (3)
j i τ2 d j i 1 k i j
= −gij u δx |τ1 + (gij u )δx − ∂k gij δxs u u dτ
τ1 dτ 2
Z τ2  j

du 1
= δxk dτ gkj + ∂i gkj ui uj − ∂k gij ui uj .
τ1 dτ 2

La courbe est extrémale si δS = 0 ∀ δxk ; l’intégrant doit donc être nul, ce qui donne l’équation géodésique
qui la détermine :

dui i i 1 il
+ jk uj uk = 0 avec gij ui uj = −1 où les jk
= g (∂j gkl + ∂k glj − ∂l gjk ) (4)
dτ 2
5
En effet, connaissant ses composantes dans les coordonnées xi on les connaı̂t dans tout autre système via la loi de
transformation des tenseurs 2 fois covariants, cf & 11

40
sont les symboles de Christoffel.
S’il existe un système de coordonnées dans lequel tous les coefficients de la métrique sont constants
l’espace est euclidien (ou minkowskien) et les géodésiques sont les droites ui = Const..

SECTION 43. Connexion de Levi-Civita


On voit ainsi que pour que la notion d’auto-parallèle définie en & 38 comme la courbe “la plus droite
possible” se confonde avec celle ici définie de géodésique ou courbe “la plus courte (ou longue) possible”,
il faut identifier les coefficients de connexion de la dérivation covariante et les symboles de Christoffel, la
connexion prenant alors le nom de connexion de Levi-Civita ou de connexion riemannienne. Métrique et
connexion sont donc compatibles si
i 1 il
Γijk = jk
= g (∂j gkl + ∂k glj − ∂l gjk ) . (1)
2
Les symboles de Christoffel étant symétriques, la connexion de Levi-Civita l’est aussi, c.-à-d. qu’elle est sans
torsion.
Il est une autre façon, équivalente et facile à démontrer, d’imposer la compatibilité d’une métrique et
d’une connexion, à savoir qu’elle soit sans torsion et que :6

Di gjk = 0 . (2)

Rappelons la loi de transformation des symboles de Christoffel dans un changement de coordonnées,


xi → x0i , cf & 13 :
∂xk ∂xj ∂x0q i ∂x0q ∂ 2 xi
Γ0q
pm = Γ jk + . (3)
∂x0m ∂x0p ∂xi ∂xi ∂x0p ∂x0m
Ce ne sont pas des tenseurs mais la différence de deux symboles de Christoffel, δΓijk = Γijk − Γ̃ijk , correspon-
dant à des métriques différentes, elle, est un tenseur une fois contravariant et deux fois covariant puisque le
dernier terme de (3) s’élimine.

Exercice : la sphère
Soit l’élément de longueur ds = R (dθ + sin2 θdφ2 ). Vérifiez que ses symboles de Christoffel sont bien donnés par
2 2 2
les expressions déjà utilisées en & 38.
On peut considérer l’intervalle ci-dessus comme la restriction, sur la surface r = R, de l’élément de longueur euclidien
tri-dimensionnel dS 2 = dr 2 + r 2 (dθ 2 + sin2 θdφ2 ). Il donne donc l’élément de longueur sur une sphère de rayon R. Une
sphère se distingue d’un plan. Pour le montrer de manière intrinsèque, c.-à-d. sans la plonger dans un espace euclidien,
plusieurs méthodes (développées par Gauss) sont possibles. En utilisant les outils présentés dans cette section, montrez
que sur une sphère, et contrairement à ce qui se passe dans un plan :
- un vecteur transporté parallèlement à lui-même le long d’un circuit fermé ne retrouve pas son orientation initiale ;
- la somme des angles d’un triangle délimité par des géodésiques est supérieure à π ;
- la circonférence C d’un cercle de rayon r n’y est pas égale à 2πr mais à 2πR sin(r/R) ;
- la distance η entre deux grands cercles n’est pas proportionnelle à la distance s parcourue depuis le pôle; (en utilisant
l’équation de déviation géodésique : d2 η/ds2 = −η/R2 .)
Tous ces écarts à la géométrie euclidienne disparaissent lorsque R → ∞. Ainsi R ne mesure pas seulement la courbure
“extrinsèque” d’une sphère, c.-à-d. son rayon dans l’espace euclidien à trois dimensions dans lequel on peut la plonger; il
mesure aussi sa courbure “intrinsèque”, dite aussi de Gauss.

SECTION 44. Repères localement inertiels


Soit gij (xk ) les composantes du tenseur métrique g dans le système de coordonnées xk . Dans un
autre système X l = X l (xk ) les composantes de g sont fij (X k ) = (∂xk /∂X i )(∂xl /∂X j )gkl . Effectuons un
développement de Taylor autour d’un point p0 de coordonnées X0k :

∂xk ∂xl ∂ 2 xk ∂xl ∂ 2 xk ∂xl ∂xk ∂xl ∂gkl


 
fij (X k ) = gkl + (X m
− X m
) gkl + gkl + + ...
∂X i ∂X j |0 0
∂X m ∂X i ∂X j ∂X m ∂X j ∂X i ∂X i ∂X j ∂X m 0
6
Si on n’impose pas que la torsion soit nulle alors il existe une infinité de connexions compatibles avec la métrique. En
revanche si la torsion est nulle, la connexion métrique est unique, et donnée par (1), comme l’a montré Ricci.

41
La question est : existe-t-il un changement de coordonnées tel que fij = ηij + O(X m − X0m )2 ?
La réponse est oui.
En effet, au point p0 les données sont les n(n + 1)/2 composantes gkl |0 de la métrique (soit 10 en quatre
dimensions), les n2 (n + 1)/2 = 40 composantes ∂m gkl |0 de sa dérivée, les [n(n + 1)/2]2 = 100 composantes
de sa dérivée seconde etc. Les inconnues sont les n2 = 16 nombres (∂xk /∂X i )|0 , les n2 (n + 1)/2 = 40 valeurs
des dérivées secondes, les n2 (n + 1)(n + 2)/3! = 80 valeurs des dérivées troisièmes etc. Par conséquent le
système fij (X0k ) ≡ (∂xk /∂X i )(∂xl /∂X j )gkl |0 = ηij , de 10 équations pour 16 inconnues, a une infinité de
solutions à 6 paramètres, les 6 paramètres du groupe de Lorentz. Quant au système

∂ 2 xk ∂xl ∂ 2 xk ∂xl ∂xk ∂xl ∂gkl


 
gkl + gkl + =0
∂X m ∂X i ∂X j ∂X m ∂X j ∂X i ∂X i ∂X j ∂X m 0

de 40 équations pour 40 inconnues il a, dans le cas générique, une solution unique, cqfd.
En revanche on ne peut pas en général annuler le terme d’ordre 2 car le système à résoudre comporte
100 équations pour 80 inconnues seulement. La différence, 20, est le nombre de composantes du tenseur
de Riemann (voir l’appendice). En développant à l’ordre suivant on trouve en effet (théorème de Riemann-
Cartan)
1
fij (X k ) = ηij − (X m − X0m )(X n − X0n )(Rimjn |0 + Rinjm |0 ) + ... (1)
6
où Rimjn |0 sont les composantes, dans le système de coordonnées X k , du tenseur de Riemann ; quant aux
termes suivants ils s’expriment en fonction des dérivées covariantes du tenseur de Riemann. En effet les
composantes du tenseur de Riemann se réduisent à (en omettant l’indice 0)

1 2
Rijkl = (∂ gil + ∂il2 gjk − ∂ik
2 2
gjl − ∂jl gik ) (2)
2 jk
de sorte que

2 1 1
∂mn gij = (Rimjn + Rinjm ) et Γijk = − (X m − X0m )(Ri jkm + Ri kjm ) . (3)
3 3
Dans ces coordonnées dites “normales” l’équation géodésique s’écrit donc

dui 2
= Ri jkm uj uk (X m − X0m ) + ... (4)
dτ 3
On voit ainsi que, en accord avec les exigences physiques exposées au chapitre 7, on peut en tout
point bâtir un système de coordonnées quasi-minkowskiennes, c.-à-d. un repère quasi-inertiel (défini aux
transformations de Lorentz près). Ce n’est que si le tenseur de Riemann est nul que ce système peut être
étendu à tout l’espace-temps, qui n’est alors autre que l’espace-temps plat de Minkowski.

SECTION 45. Propriétés du tenseur de courbure


Nous donnons ici, sans démonstration générale, de très importantes propriétés du tenseur de courbure.
Elles se démontrent en fait facilement lorsque la variété est riemanienne (c.-à-d. munie d’une connexion
métrique) ; en effet on peut alors se placer dans un repère localement minkowskien (soit encore en “coor-
données normales”) où les symboles de Christoffel sont nuls, de sorte que le tenseur de courbure se réduit à
(44.2). On voit alors sans effort que :
- Rklji = −Rklij (ceci suit de la définition du tenseur de Riemann et est vrai pour toute connexion),
- Rklji + Rkjil + Rkilj = 0 (première identité de Bianchi, vraie si la torsion est nulle),
- Dm Ri jnp + Dn Ri jpm + Dp Ri jmn = 0 (seconde identité de Bianchi, vraie si la torsion est nulle).
Lorsque la connexion, symétrique, est compatible avec un tenseur métrique, le tenseur de courbure
possède les propriétés supplémentaires :

Rijkl = −Rjikl , Rijkl = Rklij où Rijkl ≡ gip Rpjkl . (1)

42
Le tenseur de Riemann étant de type 13 on peut par contraction en déduire des tenseurs de type 02 .
 

A cause de l’antisymétrie métrique ci-dessus, la contraction Ri ijk ≡ 0 et ne reste que le tenseur de Ricci Rij ,
symétrique :
Rij ≡ Rl ilj = −Rl ijl = Rji . (2)
La courbure scalaire est, elle, définie par
R ≡ g ij Rij . (3)
On montre facilement, à partir des secondes identités de Bianchi et de la nullité de la dérivée covariante de
la métrique, une propriété qui joue un rôle considérable en Relativité Générale :
1
Di Gij = 0 où Gij ≡ Rij − gij R (4)
2
est le tenseur d’Einstein.
Enfin on peut isoler dans le tenseur de Riemann les termes qui dépendent du tenseur de Ricci et de la
courbure scalaire ; le terme restant, C am sq s’appelle tenseur de Weyl. Plus précisément, n étant la dimension
de la variété :
1 1
Ram sq = C am sq + δsa Rqm + δqm Rsa − δsm Rqa − δqa Rsm − δsa δqm − δqa δsm R.
 
(5)
n−2 (n − 1)(n − 2)

Le tenseur de Weyl possède toutes les symétries du tenseur de Riemann et est de plus sans trace : C am aq = 0.7

Chapitre 10
Les équations du champ de gravitation
Géométrie et matière
La Relativité Restreinte géométrise les forces d’inertie en les incorporant dans la dérivée covariante associée à l’espace-
temps plat de Minkowski décrit dans un repère accéléré.
Le principe d’équivalence stipule qu’inertie = gravitation.
La gravitation est par ce principe incorporée dans une dérivation covariante associée à un espace plus général que celui de
Minkowski, courbe. Einstein, aidé par le mathématicien Marcel Grossmann, choisit de représenter l’espace-temps “relatif,
apparent et vulgaire” par une variété riemannienne munie d’une connexion de Levi-Civita, c.-à-d. dont les propriétés
géométriques, dont sa courbure, se déduisent toutes de la donnée d’une métrique.
En l’absence de toute matière il n’y a pas de champ de gravitation et l’espace-temps qui représente cet univers vide est
l’espace-temps plat de Minkowski. C’est la matière qui courbe l’espace-temps. Les équations de la gravitation doivent par
conséquent relier géométrie et matière, i.e. le tenseur de Riemann à un objet géométrique décrivant l’“inertie” ou, plus
exactement, le “contenu énergétique” de la matière.

SECTION 46. Mouvement géodésique des points matériels


En Relativité Restreinte, c.-à-d. en absence de gravitation, la ligne d’univers d’une particule libre est
une droite de l’espace-temps de Minkowski, qui extrémise le temps propre, c.-à-d. la longueur, de tous
les chemins possibles entre deux événements donnés. De part le principe d’équivalence le mouvement d’un
point matériel dans un champ de gravitation est un mouvement “libre” mais dans un espace-temps courbé
par la gravitation.8 L’action choisie pour le décrire sera donc la longueur des chemins possibles entre deux
événements Pa et Pb , soit :
Z Pb Z λb r
2
p
µ ν 2 dxµ dxν
Sp = −mc −gµν dx dx ≡ L dλ avec L = −mc −gµν , (1)
Pa λa dλ dλ
7
Mentionnons ici que deux espaces de Riemann, de tenseurs métriques ḡij et gij “conformément” reliés, c.-à-d. tels que
ḡij = F (xk ) gij où F (xk ) est une fonction quelconque des coordonnées, ont même tenseur de Weyl.

8
Nous supposons ici que les “points matériels” considérés n’ont pas de rotation propre ; le mouvement des “toupies” c.-à-d.
des particules dotées d’un “spin”, sera étudié dans le Cours proprement dit.

43
où m est la masse inertielle de la particule et c est la vitesse de la lumière(que nous ne poserons pas égale à 1
dans cette section), où λ est un paramètre quelconque et où les coefficients de la métrique gµν décrivent à la
fois le champ de gravitation et le système de coordonnées xµ . Comme on l’a vu en & 42, son extrémisation
donne l’équation géodésique

Duµ duµ
≡ + Γµνρ uν uρ = 0, avec uµ uµ = −c2 (2)
dτ dτ

où uµ = dxµ /dτ est la quadri-vitesse du point, λ = τ étant son temps propre et où Γµνρ sont les symboles
de Christoffel. Cette équation géodésique est la version “covariantisée” de l’équation du mouvement en
Relativité Restreinte, obtenue en remplaçant la dérivée ordinaire d par la dérivée covariante D.
En mécanique newtonienne, et dans un repère inertiel, l’action d’une particule dans un champ de
gravitation est, cf & 20, Z  
1
Sp(n) = −mc2 + mv 2 − mU dt (3)
2
où U est le potentiel newtonien (et où la constante −mc2 est ajoutée afin que Sp et Sp(n) coı̈ncident en
absence de champ et quand c →R∞).
Comme on a Sp = −mc2 dτ où τ est le temps propre, on a donc qu’à la limite newtonienne où
Sp = Sp(n) :

v2
   
U 2 2 2 2 2 2U
dτ ∼ dt 1 − 2 + 2 soit ds = −c dτ ∼ −c dt 1+ 2 + d~r 2 . (4)
2c c c

On retrouve ainsi de manière générale l’expression obtenue en & 37 de la composante g00 de la métrique en
fonction du potentiel newtonien dans la limite des champ et vitesses faibles.
LaPquadri-impulsion d’un ensemble de particules peut être définie comme en Relativité Restreinte par
Pµ = muµ mais il n’est pas question qu’elle soit conservée avant et après un “choc” puisque la gravita-
tion est une interaction de longue portée. C’est en fait le tenseur énergie-impulsion que nous introduisons
brièvement ci-dessous qui décrira le contenu énergétique d’un système de particules dans un champ de gra-
vitation.9

SECTION 47. Equations du mouvement et tenseur énergie-impulsion des fluides


La dynamique d’un fluide, ensemble continu de particules regroupées en “éléments de fluide”, décrivant
phénoménologiquement ses collisions internes ainsi que son interaction avec un champ gravitationnel, est
postulée être encodée dans un tenseur énergie-impulsion (symétrique), de composantes T µν , que l’on peut
toujours décomposer selon
T µν =  uµ uν + (uµ Qν + uν Qµ ) + Πµν . (1)
Le champ de vitesse du fluide uµ est ici normalisé à l’unité, gµν uµ uν = −1, (xµ ) est une fonction scalaire, le
champ de vecteurs Qµ (xν ) est perpendiculaire à uµ (Qµ uµ = 0) et le tenseur Πµν (xρ ) peut être décomposé
plus avant selon :
Πµν = π µν + p hµν (2)
où hµν est le tenseur de projection : hµν ≡ g µν + uµ uν (⇒ hµν uν = 0) ; où p(xµ ) est une fonction scalaire
et π µν (xρ ) un tenseur sans trace et transverse c.-à-d. tel que π µ µ = 0 et π µν uν = 0. On a ainsi troqué
les 10 composantes de T µν pour les 2 scalaires  et p, les 3 composantes indépendantes du vecteur Qµ et
les 5 composantes indépendantes du tenseur π µν . Un fluide est parfait si Qµ = 0 et π µν = 0. Son tenseur
énergie-impulsion est donc :
T µν = ( + p)uµ uν + p g µν . (3)
9
On trouvera une présentation détaillée des tenseurs énergie-impulsion ainsi que des lois de conservation associées dans
“Relativité Restreinte et Electromagnétisme” par N. Deruelle et J.P. Uzan, à paraı̂tre.

44
Comme on le voit, il se déduit de son expression en Relativité Restreinte9 par “covariantisation”, en y
remplaçant la métrique de Minkowski par celle de la variété riemanienne décrivant le champ de gravitation
dans lequel le fluide est plongé.
Dans l’approche phénoménologique ici adoptée l’équation du mouvement du fluide est obtenue en pos-
tulant que son tenseur énergie-impulsion est conservé, i.e. tel que :

Dν T µν = 0 (4)

qui est la version “covariantisée” (∂µ → Dµ ) de la loi de conservation dont on déduit les loi de conservation de
l’énergie, impulsion, moment angulaire en Relativité restreinte. Dans le cas auquel nous nous restreindrons
désormais où le fluide est parfait, cette équation se développe en

uµ uν ∂ν ( + p) + ( + p)(uν Dν uµ + uµ Dν uν ) + ∂ µ p = 0 . (5)

En la contractant avec uµ on obtient d’abord (puisque uµ uµ = −1)

Dν ( uν ) + p Dν uν = 0 , (6)

ce qui permet de réécrire (5) selon

( + p)uν Dν uµ + uµ uν ∂ν p + ∂ µ p = 0 . (7)

Cette équation ne comporte que 3 composantes indépendantes car elle est orthogonale à uµ ; ainsi l’équation
(5) est-elle équivalente à l’ensemble des équations (6) et (7).
L’équation (7) est l’équation d’Euler relativiste et (6) est l’équation dite de continuité. Par extension de
la terminologie en usage en physique newtonienne on appelle donc  la densité d’énergie et p la pression.
Les équations (6-7) sont un jeu de 4 équations pour 5 inconnues, à savoir , p et les 3 composantes du
vecteur uµ (contraint par uµ uµ = −1). Pour déterminer complètement le mouvement du fluide il faut donc
se donner une équation supplémentaire, l’équation d’état, reliant pression et densité.

Tenseur énergie-impulsion de particules


Le tenseur énergie-impulsion qui décrit un ensemble de particules n’interagissant que gravitationnellement est la “co-
variantisation” de celui qui s’impose en Relativité Restreinte, à savoir9
R
T µν =  uµ uν (xµ ) ≡ m δ4 (xρ − xρ (τ )) √dτ
P
avec −g
. (8)
µ µ ρ µ
où x (τ ) sont leurs lignes d’univers et u (x ) leur champ de vitesse (qui s’identifie à leurs quadri-vitesses u (τ ) du fait

de la présence des distributions de Dirac δ4 (xµ ) = δ(t)δ3 (xi ) telles que d4 x δ4 (xµ ) = 1). Quant au facteur −g il
R
√ √
−g|t d3 x cf & 10, que T µ0 −g d3 x =
R
muµ est bien un vecteur.
P
garantit, puisque l’élément de 3-volume est
On voit ainsi, cf Eq. (3), que la pression d’un fluide de particules est nulle (ce qui est normal puisque, étant “libres”
dans le champ gravitationnel, elles ne subissent pas de chocs). Quant aux équations du mouvement (6-7) déduites de la
conservation de T µν elles se réduisent à
Dν ( uν ) = 0 et uν Dν uµ = 0 .
En y reportant l’expression (8) de  la première exprime la conservation de la masse (Σm = Const.) et la seconde nous
redit que les particules suivent des géodésiques.

SECTION 48. Les équations d’Einstein

L’objet tensoriel qui, en Relativité Restreinte, décrit complètement la matière est son tenseur énergie-
impulsion, Tµν , deux fois covariant. Ses composantes dans un repère accéléré se déduisent de leurs expressions
dans un repère inertiel par la transformation ηµν → `µν et ∂µ → D̃µ où `µν sont les composantes de la
métrique de Minkowski dans les coordonnées xµ et D̃µ la dérivée covariante associée. En Relativité Générale,
la métrique gµν et la dérivée covariante de Levi-Civita associée Dµ caractérisent à la fois le repère choisi et
le champ de gravitation, i.e. la courbure de l’espace-temps. On est donc amené à décrire la matière par un

45
tenseur énergie-impulsion Tµν déduit de son expression en Relativité Restreinte par “covariantisation”, i.e.
par le remplacement `µν → gµν et D̃µ → Dµ , qui respecte l’exigence du principe de relativité locale.
Un tenseur géométrique simple (i.e. linéaire en la courbure) de même type que le tenseur énergie-
impulsion (i.e. deux fois covariant) est Rµν + α gµν R, où Rµν = Rρµρν , contraction du tenseur de Riemann
Rσµρν , est le tenseur de Ricci, où R = g µν Rµν est la courbure scalaire et où α est une constante a priori
arbitraire. Après divers tâtonnements (en particulier α = 0 en 1914 ou α = −1/4 en 1919), les équations du
champ de gravitation proposées par Einstein en novembre 1915 furent

Gµν = κ Tµν . (1)

Gµν = Rµν − 21 gµν R est le tenseur d’Einstein (nous verrons les raisons du choix α = −1/2 plus bas, & 49 et
& 52 ; remarquons seulement ici qu’en dehors de la matière le tenseur d’Einstein est nul, ce qui n’implique
pas que le tenseur de Riemann, lui, soit nul et que donc l’espace-temps est plat : comme en gravitation
newtonienne et en électromagnétisme, le champ de gravitation est présent en dehors des sources); quant à
la constante d’Einstein κ elle doit être reliée à la constante de Newton.
A la limite newtonienne et en repère quasi-inertiel : −g00 ∼ 1 + 2U/c2 , où U est le potentiel newtonien
(voir & 37 et & 46). Quant aux autres composantes de la métrique, elles sont du même ordre en 1/c au
moins. Les symboles de Christoffel Γµνρ sont donc d’ordre 1/c2 , et leurs dérivées temporelles d’ordre 1/c3 .
Par conséquent on a au plus bas ordre :
 
i 1 ij
 1 i ∂U 1
R00 ∼ ∂i Γ00 ∼ − ∂i g ∂j g00 ∼ 2 ∂ i
∼ 2 ∆U. (2)
2 c ∂x c

Le tenseur énergie-impulsion d’un fluide se réduit quant à lui à : T 00 ∼ %c2 où % est la densité propre de
masse, cf & 47. Ce sont là les seuls termes des tenseurs de Ricci et d’énergie-impulsion que nous ayons à
calculer si l’on réécrit les équations d’Einstein sous la forme : Rµν = κ(Tµν − 21 gµν T ). Elles redonnent alors,
à la limite des champs et vitesses faibles, l’équation de Poisson : ∆U = 4πG% si

8πG
κ= (3)
c4
où, rappelons-le, c la vitesse de la lumière et G est la constante de Newton, cf & 18.10

SECTION 49. Identité de Bianchi, invariance de jauge et contraintes


Les équations d’Einstein (48.1) forment un ensemble de dix équations du second ordre aux dérivées
partielles, non linéaires. Le système de coordonnées peut être choisi arbitrairement. En transformant les
quatre xµ on peut ainsi assigner, localement du moins, n’importe quelle valeur à quatre composantes du
tenseur métrique gµν (par exemple g00 = −1 et g0i = 0 ; le système de coordonnées est alors dit synchrone).
Le tenseur métrique a donc six composantes indépendantes. Quant à la matière, e.g. un fluide parfait, elle
est décrite par sa quadri-vitesse uµ sujette à uµ uµ = −1 et par sa densité d’énergie (ou pression), soit quatre
grandeurs. Ainsi nous avons dix équations pour dix inconnues en tout.
En vertu des identités de Bianchi (45.4) (Dµ Gµν ≡ 0, inconnue d’Einstein et de Hilbert en 1915...) et
comme Dµ gνρ ≡ 0, le tenseur T µν doit être conservé, c.-à-d. à divergence nulle : Dµ T µν = 0. Les équations
du mouvement de la matière qui en découlent (e.g. les équations d’Euler, voir & 47) sont par conséquent
incluses dans les équations d’Einstein. En cela la Relativité Générale se démarque de l’électromagnétisme
par exemple où l’équation de Lorentz qui détermine le mouvement des charges n’est pas incluse dans les
équations de Maxwell. En dehors des sources les équations d’Einstein du vide sont Gµν = 0. Dans ce
cas il n’y a que les six gµν indépendants à déterminer ; mais il n’y a alors que six équations d’Einstein
indépendantes, en vertu toujours des identités de Bianchi.
10
G = 6.67 × 10−11 m3 kg−1 s−2 , et, dans le système où c = 1, : G = 2.477 × 10−38 s kg−1 . Nous utiliserons souvent les
unités géométriques où c = 1, G = 1 dans lequel les masses s’expriment en mètres ou secondes ; ainsi : 1M = 2 × 1030 kg=
1.5km= 6µs ; M⊕ = 6 × 1024 kg= 0.45cm.

46
Etudions de façon un tout petit peu plus précise ce lien entre libre choix du système de coordonnées et
identités de Bianchi.11
Si l’on note Cµν toute combinaison des coefficients gµν de la métrique et de leurs dérivées premières
∂ρ gµν , appelée donnée de Cauchy, c’est alors un exercice facile de trouver que (avec i = 1, 2, 3)
1 1 1
Rij = − g 00 ∂00 gij + Cij , Ri0 = + g j0 ∂00 gij + Ci0 , R00 = − g ij ∂00 gij + C00 . (1)
2 2 2
On voit que ni ∂00 g00 ni ∂00 g0i n’apparaissent, et que quatre des dix composantes du tenseur d’Einstein, à
savoir : G0i = g 0j Rij + g 00 Ri0 et G00 = g 00 R00 − g ij Rij /2 ne dépendent que des donnée de Cauchy Cµν .
On peut donc se donner arbitrairement g00 et g0i , mais il existe quatre équations de contraintes sur les Cµν .
Ainsi le problème de la résolution des équations d’Einstein se scinde en deux : trouver des données de Cauchy
Cµν qui satisfassent aux contraintes G0µ = κTµ0 , puis résoudre les équations d’évolution Gij = κTji . On peut
montrer ensuite, à l’aide des identités de Bianchi, que si les contraintes sont satisfaites initialement, elles le
sont toujours. Ainsi donc les équations d’Einstein, comme voulu, ne contraignent pas le choix du système
de coordonnées.
Ce lien entre choix du système de coordonnées et identités de Bianchi devient transparent lorsqu’on
linéarise les équations d’Einstein. Il devient alors similaire au lien entre invariance de jauge et contraintes
en électromagnétisme, comme nous le verrons au chapitre xx.

La “constante cosmologique”
Etant donné qu’en Relativité Générale l’espace-temps, riemannien, est doté d’une connexion de Levi-Civita, la dérivée
covariante de la métrique est nulle, Dµ gνρ ≡ 0, cf & 43. On peut donc généraliser les équations d’Einstein (48.1) en
Gµν + Λgµν = κ Tµν
qui incluent elles-aussi la loi du mouvement de la matière, Dµ Tνµ = 0, si Λ est une constante.
Cette constante est de dimension L−2 . On doit donc avoir Λ  `−2 où ` est la longueur caractéristique sur laquelle, à
l’approximation newtonienne, le potentiel gravitationnel du système considéré varie, ceci afin de retrouver la loi de Poisson,
cf (48.2-3)
∆U = 4πG% − Λ ≈ 4πG% .
Cette constante ne jouera donc de rôle que dans l’étude des systèmes gravitationnels de taille très supérieure aux
systèmes stellaires voire galactiques, d’où son nom de constante cosmologique.

11
Pour un exposé approfondi sur la structure des équations d’Einstein, voir “General Relativity and the Einstein Equations”
par Y. Choquet-Bruhat, O.U.P. (2009)

47
Plan du Cours, septembre-décembre 2012
RELATIVITE GENERALE master 2 ENS, 2012-2013
(Cours: Nathalie Deruelle ; TD/approfondissements: Philippe Grandclément)

Mercredi 12 septembre 14h-18h : Cours 1


Les équations d’Einstein de la Relativité Générale

Mercredi 19 septembre 14h-18h : TD/appro 1


Symétries d’espace-temps

Mercredi 26 septembre 14h-18h : TD/appro 2


Trajectoires d’espace-temps

Mercredi 3 octobre 14h-18h : Cours 2


Trous noirs I

Mercredi 10 octobre : pas de cours

Mercredi 17 octobre 14h-18h : Cours 3


Trous noirs II

Mercredi 24 octobre 14h-18h : TD/appro 3


Ondes gravitationnelles

Mercredi 31 octobre : Vacances de Toussaint

Mercredi 7 novembre 14h-18h : TD/appro 4


Formalisme 3+1

Mercredi 14 novembre 14h-18h : Cours 4


Structure des équations d’Einstein

Mercredi 21 novembre 14h-18h : Cours 5


Les tests de la Relativité Générale

Mercredi 28 novembre 14h-18h : TD/appro5


Trous noirs binaires et relativité numérique

Mercredi 5 décembre 14h-18h : Cours 6


Cosmologie

Mercredi 12 décembre 14h-18h : Cours 7


Au-delà de la Relativité Générale

Vacances de Noël

Mercredi 2 janvier 2013 14h-18h : Examen

48

Vous aimerez peut-être aussi