Aux Equations D'einstein de La Relativit Eg en Erale: Nathalie Deruelle
Aux Equations D'einstein de La Relativit Eg en Erale: Nathalie Deruelle
Aux Equations D'einstein de La Relativit Eg en Erale: Nathalie Deruelle
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
Deuxième Partie
De la Relativité Restreinte à la Relativité Générale
Troisième Partie
Espaces-temps courbes et 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.
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.
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
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.
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 ).
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 :
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”.
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.
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
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
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 :
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 :
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.
∂X i ∂X j ∂xk ∂xm
ekl = δij , ekm = δ pq . (2)
∂xk ∂xl ∂X p ∂X q
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φ.
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.
∂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.
∂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
D̃
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
En égalant (1) et (2) on obtient, après multiplication par (∂xj /∂x0p )(∂x0q /∂xi ) :
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.
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 .
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.
d2 X i
ma = F soit, en composantes, m = Fi (1)
dt2
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...
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
(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
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
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
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
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
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 .
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.
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 :
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é.
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.
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é
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.
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).
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 ) :
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
dµ
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 ).
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
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 .
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
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) :
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.
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
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.
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
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)
dλ
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
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 :
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.
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.
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) :
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
sin(ω1 − ω0 )
∆tθ = cos(ω1 − ω0 ) − 1 , ∆tφ = avec ω1 = (φ1 − φ0 ) cos θ1 , ω0 = (φ1 − φ0 ) cos θ0 .
sin θ0
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
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
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.
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..
Di gjk = 0 . (2)
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.
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
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.
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.
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
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)
Dν ( uν ) + p Dν uν = 0 , (6)
( + 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é.
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µν = 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
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)
Vacances de Noël
48