UNIV ERSIT E CAT HOLIQUE DE LOUV AIN

Facult des Sciences

Dpartement de Physique

1.

EXERCICES DE RELATIVITE GENERALE

Exercices du cours PHYS2143

Assistante :

Sophie Pireaux, B301 FYMA

Rdaction :

Michael Beuthe et Sophie Pireaux

Anne acadmique 2001-2002

Quelques rfrences utiles en plus du syllabus fourni par le professeur J-M.

Grard:
S. Weinberg, Principles and applications of the General Theory of Relativity
Eddington, The Mathematical Theory of Relativity Cambridge University
Press, 1924
B.F. Schutz, A first course in General Relativity, Cambridge University
Press, 1993
L. Landau, E. Lifchitz, Physique Thorique, tome 2: Thorie des champs,
Ed. Moscou, 1989
J.A. Wheeler, C. Misner, K.S. Thorne, Gravitation, W.H. Freeman and
Co., 1973
A. Lichnerowicz, Elments de calcul tensoriel, Paris, Librairie A. Colin, 1950
J.L. Synge, A. Schild, Tensor calculus, University of Toronto Press 1949
http://www.fyma.ucl.ac.be/pireaux/cours_net_GR.html
...pour dautres notes de cours de Relativit Gnrale disponibles sur le net.
... nhsitez surtout pas consulter ces rfrences pour rsoudre les exercices qui
vous sont proposs.
Rappelez-vous que ce cours est un cours difficile et qui demande beaucoup de travail! Il est donc plus que souhaitable que vous prpariez les
sances dexercices (avant chaque sance, une srie dexercices vous seront
remis). Surtout nhsitiez pas rsoudre des exercices supplmentaires
ceux suggrs aux scances!
Lassistante est votre disposition pour toute question...

TENSEURS

1.1
1.1.1

Note thorique
Les vecteurs en coordonnes quelconques

Intret du formalisme tensoriel: Vous connaissez dj, dans lespace 3 dimension (n = 3), un exemple de tenseur sous le nom de vecteur. Le vecteur est
usuellement dfini en donnant ses composantes dans une base particulire:

V =
V i ei =
gij V i ej ,
i=1,2,3

i=1,2,3

o gij = ei ej est la metrique, qui permet de definir le produit scalaire de deux

vecteurs:

gij V i W j
V W =
i=1,2,3

Les composantes V i peuvent tre runies sous lappellation composantes dun tenseur

un indice contravariant (indice en haut) V , et les composantes ei peuvent tre

runies sous lappellation composantes du tenseur un indice covariant (indice en
bas) de base e (souvent appel 1-forme de base, forme parce portant des indices
covariants et un pour le nombre dindices).
Lon sous-entend que les indices i, j prennent les valeurs de 1 n.
Pour montrer lintret du formalisme tensoriel dindice tel quutilis au cours,
prennons par exemple les coordones cartsiennes, c--d gij = ij (base orthonorme
x, y et z).
Les oprations vectorielles scrivent simplement avec la notation tensorielle en terme

dindices. Par exemple, le produit vectoriel Q U V est exprim dans une

base orthonorme par
Qi =

ijk U j V k ,

j,k=1,2,3

o ijk est un ensemble de nombres dfinis par

123 = 231 = 312 = 132 = 321 = 213 = 1 ,
2

(1)

et vaut zro si deux indices sont rpts. Ds lors, la vrification didentits vectorielles est grandement facilite. Ainsi, lidentit

U ( V W ) = V (W U )

se dmontre comme suit :

U (V W) =

i=1,2,3

U i ( V W )i

U i ijk V j W k

i,j,k=1,2,3

V j jki W k U i

i,j,k=1,2,3

j=1,2,3

V j ( W U )j

= V (W U ) ,

o lon a utilis la proprit de permutation (1) de ijk . La dmonstration classique,

composante par composante, est beaucoup plus laborieuse. Si vous nen tes pas
convaincus, pensez que les calculs en relativit gnrale seffectuent avec des vecteurs
4 composantes au lieu de 3 !
Les vecteurs ont t utiliss ci-dessus sans recevoir de dfinition. Leur proprit
essentielle est en fait leur comportement sous transformation de coordonnes.
Envisageons tout dabord les vecteurs sous changement de coordonnes
dans un espace deux dimensions: Considrons le cas dune rotation dun
angle de la base orthogonale (coordonnes cartsiennes) du plan (i, j = 1 n = 2,
sont pris comme x et y) (fig. 1).
Les coordonnes (x, y) dun point P deviennent alors (
x, y) :
x
 = + cos x + sin y ,

y = sin x + cos y .
3

ey
ey
Y

ex

ex

Figure 1: Exemple de changement de coordonnes: rotation.

Un vecteur sera dfini provisoirement comme un dplacement entre deux points A
et B de coordonnes (xA , yA ) et (xB , yB ). Les coordonnes du vecteur sont donc
(V x, V y ) (xB xA , yB yA ) et se transforment sous la rotation de la base comme
un vecteur contravariant (indices en haut):

x

x
x
V
+ cos + sin
V
V

y
y
y
V
sin + cos
V
V

V i = Ai j V j
Remarquez que la loi de transformation dun vecteur est la mme quels que soient
les points A et B puisque langle a t choisi une fois pour toutes. Une nouvelle
base de coordonnes est dfinie par la transformation des vecteurs de base covariants
(indices en bas):



e
+ cos + sin
e
e
x =
x A1 T x
ey
ey
ey
sin + cos

ei =

 1 j
A
e
i j

Les coordonnes des vecteurs contravariants se transforment avec la loi (A =

 x 
)
x

inverse de transformation par rapport aux vecteurs covariants! De sorte que la ralit


physique du vecteur V = i=1,2,3 V i ei = i=1,2,3 V i ei reste inchange lorsquon
4

change de base (= changer de description! Pour une transformation passive de

coordonnes).
Examinons maintenant le passage des coordonnes cartsiennes aux coordonnes
polaires dfinies par

x = r cos
y = r sin

r = x2 + y 2
= arctg y

Le changement de coordonnes diffrant en chaque point, la loi de transforma-

tion du vecteur dfini comme dplacement entre deux points sera complique. Par
contre, la transformation garde une forme simple si lon se restreint aux vecteurs de
dplacement entre deux points infiniment proches. Un tel vecteur, de composantes
(dx, dy) dans la base orthogonale, se rexprimera dans la base polaire par
x
x
dr +
d = cos dr r sin d ,
r

y
y
dy =
dr +
d = sin dr + r cos d ,
r

dx =

ou encore
r
dx +
x

d =
dx +
x
dr =

r
dy = + cos dx + sin dy ,
y

1
1
dy = sin dx + cos dy .
y
r
r

Par extension, un vecteur V , de composantes (V x , V y ), attach un point de coordonnes (r, ), sera dfini comme se transformant de la mme faon que le vecteur
infinitsimal :
r x
V +
x
x
=
V +
x

Vr =
V

o donc A =

+ cos
1r

sin

r y
V = + cos V x + sin V y ,
y
y
1
1
V = sin V x + cos V y .
y
r
r

+ sin
+ 1r

cos

.
5

(2)

Cela revient dfinir une nouvelle base de coordonnes en chaque point de lespace:
er = + cos ex + sin ey ,
e = r sin ex + r cos ey .

(3)

Remarquez que cette base est diffrente en chaque point du plan (fig. 2).
er
e

er

Figure 2: Base diffrente en chaque point du plan.

Envisageons ensuite les vecteurs sous changement de coordonnes dans

un espace trois dimensions: Par analogie avec (2), un vecteur sera dfini
par sa proprit de transformation sous un changement quelconque de coordonnes
xa xa :

V a =

xa
Vb ,
b
x
b=1,2,3

o V a sont les composantes du vecteur dans le nouveau systme de coordonnes.

En analogie avec (3), la base du systme de coordonnes se transforme inverse-

ment :
ea =

xb
eb .
xa
b=1,2,3

Tenseur mtrique: On pourrait maintenant se demander comment calculer la

norme dun vecteur. Cest trs simple grce au produit scalaire :




|| V ||2 V 2 = V V =
V a ea
V b eb =
(ea eb ) V a V b .
a=1,2,3

b=1,2,3

a,b=1,2,3

Les produits scalaires des vecteurs de base forment les composantes de la mtrique
gab du systme de coordonnes :
gab ea eb .
La mtrique est symtrique par dfinition :
gab = gba .
Donc

|| V ||2 =
gab V a V b .
a,b=1,2,3

Par exemple, en coordonnes polaires,

grr er er = (cos ex) (cos ex ) = 1 ,

gr = gr er e = (cos ex ) (r sin ex + r cos ey ) = 0 ,
g e e = (r sin ex + r cos ey ) (r sin ex + r cos ey ) = r2 ,
o lon a utilis les formules (3) et la proprit dorthogonalit de la base (ex , ey ).
Ds lors,

|| V ||2 = (V x )2 + (V y )2 = (V r )2 + r2 (V )2 .
Il est temps dtendre ces notions des espaces courbs de dimension quelconque.
1.1.2

Formalisme gnral:

Rfrences conseilles: En ce qui concerne la description mathmatique de ces

objets1 , le lecteur est rfr au cours Elments de physique thorique et mathmatique (Phys 1140) de J-P. Antoine, J. Pestieau et J. Weyers, p48 63 et p277 286.
De notre point de vue, il suffira de les considrer comme des lments combiner
suivant une grammaire simple et stricte. Leurs proprits seront expliques sous la
forme dun ensemble de rgles rappeles ci-dessous.
1

On peut aussi aller voir Elments de calcul tensoriel de A. Lichnerowicz, Tensor calculus

de J. L. Synge et A. Schild ou dans la plupart des livres de relativit gnrale, par exemple A
first course in general relativity de Schutz.
Egalement, il existe un cours de Gomtrie Riemannienne donn par L. Haine et Y. Felix qui
vous est propos au second semestre (MATH 2130 [30-15-0]).

Notion de tenseurs: Soit un espace n dimensions. Un tenseur est un ensemble

de nombres, appels composantes du tenseur, attach chaque point de lespace.
Par exemple, T (P ) est un ensemble de n2 nombres (, = 1 . . . n) attach un
point P de lespace, dans une base donne. Une transformation gnrale de coordonnes, dfinie en ce mme point, va mlanger ces nombres entre eux de manire
simple pour fournir les composantes du tenseur dans le nouveau systme de co
(P ). Le tenseur est dfini par son comportement sous
ordonnes, T (P ) ou T

cette transformation (voir plus loin). Les quantits obtenues aprs transformation
gnrale de coordonnes x x seront dsignes par le symbole tilde. Dans

le premier systme de coordonnes, P aura des coordonnes xP tandis que dans le

second systme de coordonnes il aura des coordonnes xP .

Un tenseur est dit de type (p, q) o p est le nombre dindices contravariants (en
haut) et q le nombre dindices covariants (en bas).
Dfinitions:
x ) = (x ) .
1. est un scalaire si (
P
P
2. V est un vecteur contravariant, ou tenseur de type (1,0), si
x
V (
xP ) =
|P V (xP ) ,
x
avec une sommation implicite sur lindice ( = 1 . . . n). Cette quation
tant valable en tout point P , on ne spcifiera plus les coordonnes du point
en question :
x
V =
|P V ,

x
Il faudra cependant toujours se rappeler que toute expression tensorielle est
value en un point donn. Lexemple typique du vecteur contravariant est le
dplacement infinitsimal dx .
3. U est un vecteur covariant, ou tenseur de type (0,1), si
x
(
U
xP ) = |P U (xP ) .
x
8

Notez que la position de lindice change du tout au tout la loi de transforma

tion. Lexemple typique est la drive dun scalaire
.
x
4. Si un indice suprieur est identique un indice infrieur, il y a toujours une
sommation implicite sur ces indices :
A B

A B ,

=1...n

o n est le nombre de dimensions de lespace(-temps). Cest la convention dite

convention dEinstein.
5. Soit p le nombre dindices suprieurs et q le nombre dindices infrieurs. T
est un tenseur de type (p,q), c.--d. p fois contravariant et q fois covariant, si
x
x x
x
T =

T
.
x
x x
x
Un exemple important est la mtrique g , dfinie par llment de longueur
ds2 = g dx dx . On vrifie que cest un tenseur symtrique de type (0,2).
La mtrique dite de Minkowski, espace plan cartsien, sera note

1
0

...

0
1

6. Les composantes du delta de Kronecker sont dfinies dans tout systme de

coordonnes comme nulles sauf si les deux indices sont gaux. Dans ce cas,
elles sont gales 1. On vrifie que cest un tenseur de type (1,1). Il est de
plus (avec le tenseur nul) le seul tenseur invariant, c.--d. que ses composantes
sont identiques dans tout systme de coordonnes.
7. La mtrique inverse g est dfinie par
g g = .
On vrifie que cest un tenseur de type (2,0).
9

8. Llment de longueur invariant sous transformation de coordonnes gnral .

 dx
ises, est ds2 = g dx dx = g
dx

9. Les transformations de Lorentz constituent un cas particulier de transforma x

, identique
tions gnrales de coordonnes. La matrice de transformation
x
en tout point, est obtenue en drivant la relation x = x :
x
= ,
x
o est la matrice correspondant la transformation de Lorentz.

10. Les indices ne suffisent pas caractriser un tenseur ! Nous rencontrerons

par exemple un objet crit , appel connexion et qui ne se transforme pas
comme un tenseur (c--d qui ne vrifie pas la loi de transformation donne
la cinquime dfinition).
Un autre exemple est une matrice de transformation de lorentz qui nest
pas dfinie en un point (un des indices correspond une base, lautre indice
correspond lautre base!).
Algbre:
1. La combinaison linaire de plusieurs tenseurs du mme type est un tenseur du
mme type :
T a A + b B ,
o a et b sont des constantes.
2. Le produit direct de deux tenseurs de types (a, b) et (c, d) est un tenseur de
type (a + c, b + d) :
T A C .
3. La contraction dun tenseur de type (p, q) est dfinie en galant un indice
covariant avec un indice contravariant (avec pour consquence une sommation
implicite) et fournit un tenseur de type (p 1, q 1) :
T T .
10

4. Un indice contravariant peut tre transform en un indice covariant en le

contractant avec la mtrique :
g T T .
5. Un indice covariant peut tre transform en un indice contravariant en le
contractant avec la mtrique inverse :
g T T .
...Ces deux dernires oprations tablissent une dualit entre les indices covariants et contravariants. Lutilisation dune mtrique permet donc de considrer
comme mme objet physique un tenseur quelles que soient les positions de ses
indices.
6. La drive usuelle dun tenseur nest pas un tenseur, sauf dans le cas du
scalaire.
Equations tensorielles:
1. Une quation tensorielle est une somme ou une galit de tenseurs de mme
type. Les indices correspondants non somms (convention dEinstein) dans
un terme de lquation doivent tre symboliss par la mme lettre la mme
position (haute ou basse) dans chaque terme de lquation:
A B C = T D

BON ,

A B C = T D E

mauvais .

2. Lintrt de ces quations est quelles prservent leur forme sous une transformation gnrale de coordonnes, cest ce quon appelle la covariance dune
quation sous un changement de coordonne donn:

A = B
C = 0

11

,
A = B
C = 0 .

Elles sont de plus locales, puisquelles sont toujours dfinies en un point donn.
Cette proprit est un ingrdient relativiste capital.
3. Deux indices covariants dun tenseur ou dune quation tensorielle doivent toujours tre symboliss par des lettres diffrentes.
De mme, deux indices contravariants doivent toujours tre symboliss par des
lettres diffrentes.
Lgalit dun indice covariant et dun indice contravariant implique toujours
une contraction (convention dEinstein).

4. On peut toujours remplacer un indice par un autre, si on le fait de manire

consistante dans toute lquation et si le nouvel indice napparaissait pas dj
dans lquation :

1.1.3

A B C = T D A B C = T D

BON ,

A B C = T D A B C = T D

mauvais ,

A B C = T D A B C = T D

mauvais .

Covariance sous transformation de coordonnes

...on parle de covariance sous un certain type de transformation de coordonnes.

Mcanique de Newton ... elle est covariante sous les transformations de Galile.
Les objets invariants ces transformations sont les scalaires, tandis que vecteurs se
transforment la manire de tenseurs (ils vrifient la loi de transformation donne
la cinquime dfinition) sous les transformations de Galile. Cest donc en termes
de vecteurs que les quations de la mcanique de Newton est formule.

Exemples: le scalaire de nergie E; ou le vecteur quantit de mouvement

p.
Relativit Restreinte ... elle est covariante sous transformation de Lorentz. Les
objets, les plus simples, invariants sous ce type de transformation sont les scalaires...
Et comme la physique ne peut se construire laide de seuls scalaires, on gnralise
12

la notion de vecteur dans un espace trois dimensions de la mcanique de Newton

la notion de tenseur dans un espace quatre dimensions (dimensions indices 0
pour le temps et 1,2,3 pour lespace), dont le cas particulier du 4-vecteur.
Exemples:

le 4-vectueur quantit de mouvment p = (E,

p ).
le tenseur lectromagntique et le 4-vecteur courant qui permettent de rcrire
les quations de Maxwell de faon covariante sous tranformations de Lorentz
(une drive usuelle /x se notera , ):

0
+Ex +Ey +Ez



Ex
0
+Bz By

F
=
et J = ,
Ey Bz
0
+Bx

Ez +By Bx
0

et les quations de Maxwell

F , = J ,




o le champ lctrique E = Ex , Ey , Ez , le champ magntique B =




Bx , By , Bz , la densit de charge et la densit de courant =



x , y , z correspondent aux notations usuelles.
Relativit Gnrale ...cette thorie est cette fois covariante sous transformation
de coordonnes gnralises. Afin dcrire des quations tensorielles covariantes quel
que soit le changement de coordonnes, en plus de la notion de vecteur, on remplacera les drives usuelle par des drives covariantes (note par un ; ou un | au
lieu de la , de la drive usuelle -voir chapitre 2-).
Exemple:
les quations de Maxwell crites de faon covariante sous tranformations quelconque de coordonnes:
F ; = J .

13

1.2

Exercices

1. (a) Ecrivez le changement de coordonnes des coordonnes cartsiennes aux

coordonnes sphriques dans R3 .
(b) Obtenez les matrices de transformation

 xa 
xb

et

 xa 
xb

en les exprimant

toutes les deux en termes des coordonnes primes.

(c) Trouvez les jacobiens J et J . Quand J est-il nul ou infini?

2. Dmontrez les identits vectorielles suivantes par calcul tensoriel :
,u (,v w)
, = (,u w),
, v (,u ,v)w
,,
(,u ,v ) (w
, ,t) = (,u w)(,
, v ,t) (,u ,t)(,v w)
, .
Lidentit suivante vous sera utile :

i=1,2,3

ijk ilm = jl km jm kl ,

o le symbole ij vaut 1 si i = j et zro sinon.

3. Il est possible de visualiser les vecteurs contravariants et covariants de la
manire suivante. Localement, lespace est en bonne approximation plat et
cest la non-orthogonalit des coordonnes qui va permettre de distinguer les
2 types de vecteurs.
Prenons le cas simple de vecteurs dans le plan. Je dfinis une base non orthogonale mais de norme unit (fig. 3). Un vecteur quelconque peut se projeter de
deux manires. Les composantes contravariantes sont dfinies par la projection
parallle (fig. 4),et les composantes covariantes sont dfinies par la projection
perpendiculaire (fig. 5).
, est donne par (A A )1/2 .
(a) Prouvez gomtriquement que la norme de A
(b) Calculez la mtrique dans la base ,e .
Calculez A en fonction de A et vrifiez le rsultat du (a).
, = A ,e . Cette base est la base
(c) Construisez la base ,e telle que A
rciproque utilise en cristallographie. Faites un dessin.
14

e2

Figure 3: Base non orthogonale.

e2

A
A

e1
A

Figure 4: Composantes contravariantes dun vecteur.

Note : Nous avons choisi ici didentifier lespace vectoriel original et son espace
dual. Il ny a donc quun seul type dobjets, les vecteurs, qui se dcomposent
selon deux bases.
En gnral les deux espaces ne peuvent pas tre identifis mais sont relis par
une bijection A A .
Les objets dun espace sont appels vecteurs et ceux de lautre espace 1-formes.
Leur dnomination commune est celle de tenseur (qui inclut aussi les produits
directs de vecteurs et de 1-formes).
4. (a) Montrez que le fait quun tenseur covariant du second rang soit symtrique
dans un systme de coordonnes est une proprit tensorielle.

15

e2

A
A

e1
A

Figure 5: Composantes covariantes dun vecteur.

(b) Soit A et S des tenseurs respectivement antisymtrique et symtrique.
Montrez que, pour un tenseur V quelconque,
A S = 0
V A = 12 (V V )A
V S = 12 (V + V )S
5. Soit D un tenseur. Montrez que

D et

D ne sont pas invari

ants sous transformation de coordonnes mais que D lest. Donnez un

exemple.

6. Soit F un tenseur antisymtrique sur ses 2 indices dfini sur un espace muni
de la mtrique de Minkowski. Montrez que
F , F = F, F .
7. Montrez que le dterminant du tenseur mtrique g = det(g ) nest pas un
scalaire.
8. (a) Soit un tenseur T de rang r dans un espace mtrique n dimensions.
Combien de composantes indpendantes a-t-il?
(b) Si le tenseur est symtrique sur k indices, combien de composantes indpendantes a-t-il?
16

(c) Si le tenseur est antisymtrique sur indices, mme question.

9. Je dfinis
1

Vi ,ip ,
p!
1

(1) Vi ,ip .
p!

V(1 ,,p )
V[1 ,,p ]

La somme est faite sur toutes les permutations p des nombres 1, 2, , p et

(1) vaut +1 ou 1 selon la parit de la permutation. La quantit V peut

avoir dautres indices, qui ne sont pas indiqus, mais seuls les p indices indiqus
entrent en jeu dans les dfinitions ci-dessus.
(a) Si F est antisymtrique et T symtrique, appliquez les dfinitions
pour obtenir des formules explicites des expressions suivantes :
V[] ; F[] ; F() ; T[] ; T() ; V[] ; T(,) ; F[,]
(b) Vrifiez les formules suivantes :
V((1 p )) = V(1 p ) ,
V[[1 p ]] = V[1 p ] ,
V(1 [ m ]p ) = 0 ,
V[1 [ m ]p ] = V[1 m p ] .
(c) Utilisez ces notations pour montrer que F = A, A, implique les
quations de Maxwell homognes :
F, + F, + F, = 0 .
10. (a) Montrez que, pour tout tenseur 2 indices X ,
X = X() + X[] .
(b) Montrez que de faon gnrale
Y = Y() + Y[] .
17

11. (a) Montrez que le delta de Kronecker est un tenseur.

(b) Montrez que la mtrique est un tenseur.
(c) Montrez que la mtrique inverse est un tenseur.
12. (a) Montrez que, part une multiplication par une constante, il ny a quun
unique objet qui est totalement antisymtrique (c.--d. sous lchange
de nimporte lesquels de ses indices) en 4 dimensions. On peut poser la
convention que 0123 = 1.
(b) Quelle est la loi de transformation de ?
(c) Dfinir une quantit comprenant et qui est invariante sous une transformation gnrale de coordonnes.
Les objets se transformant comme vous venez de le dterminer sont appels densits tensorielles.
13. (a) Montrez que, dans un repre de Minkowski, = .
Quelle est la relation similaire dans un repre de coordonnes quelconques
muni dune mtrique g ?
(b) Quelle est la loi de transformation de sous une transformation
gnrale de coordonnes ?
(c) Comment pourrait-on dfinir un invariant partir de (et mme
question pour ) ?
14. Evaluez dans un repre de Minkowski.
15. Montrez que pour tout tenseur A
A A A A = det A  ,
o A  est la matrice des composantes A .

16. Le tenseur
est dfini par

.
det ..

18

..
.

Montrez que sil y a plus de 4 indices suprieurs (ou infrieurs), le tenseur est
identiquement nul.
1
et
17. Prouvez dans un repre de Minkowski la relation
= 2

gnralisez pour des

dautres rangs.

18. Dans un espace 4 dimensions, llment de volume tridimensionnel dune

hypersurface x = x (a, b, c) est dfini par


1
(x , x , x )
d = da db dc
3!
(a, b, c)
3

o le dernier facteur est un jacobien.

Calculez les composantes de d3 pour une hypersurface de genre espace
x0 = constant, paramtrise par x1 = a, x2 = b, x3 = c.
19. Llment de volume propre en 4 dimensions est donn par dV = (g)1/2 d4 x o
d4 x = dx dy dz dt dans le systme de coordonnes de la mtrique g . Montrez
quil est invariant sous une transformation gnrale de coordonnes.
20. Llment de volume propre tridimensionnel dun observateur qui a une quadrivitesse u est
d3 v = (g)1/2 u0 d3 x
Montrez que cest un invariant scalaire et quil se rduit lexpression usuelle
dans un repre comobile.
21. Plaons nous dans un repre de Minkowski:
(a) Prouvez que les quatre quations de Maxwell peuvent se rcrire sous une
seule forme trs compacte, savoir
F , = J .

Entre autre, montrez que, au vu de la dfinition de F , lquation suivante serait redondante

F, + F, + F, = 0.
19

, A

(b) On notera le 4-vecteur de potentiel lectromagntique par K =

o est le potentiel scalaire et A le potentiel vecteur...ce tenseur est-il

dtermin univoquement?
...rappel: les quations de Maxwell selon les conventions dHeavyside
(4 c 1) sont

E =

B = 0

E =
t

B = +
+
.
t

20

DERIVEE COVARIANTE ET GEODESIQUES

2.1

Note thorique

2.1.1

Drive covariante dun vecteur contravariant:

(fig. 6)
Considrons un champ vectoriel contravariant V (x ). La diffrence entre 2
vecteurs de ce champ, situs en des points proches P (soit V (x )) et Q (soit V (x +
dx )) ,vaut
V

V P = V (x + dx ) V (x ) dV (x ).

La drive usuelle est dfinie comme le passage la limite dans cette diffrence,
c--d:
V , lim

dx 0

1
{V

dx

V P } = lim

dx 0

1
{V (x + dx ) V (x )}.

dx

La diffrence entre le champ de vecteur en deux points, tout comme la drive

usuelle, ne sont pas des tenseurs car jai soustrait des tenseurs valus en 2 points
diffrents P et Q.
Je vais donc dfinir une nouvelle drive, cette fois tensorielle, en construisant un
vecteur au point Q, V

Q ,

qui qui sera le vecteur au P , V P , transport dune

certaine faon au point Q.

Puisque ces 2 points sont proches, je peux supposer que le vecteur transport diffre
peu du vecteur original en P , soit dune quantit note V (x ):
V

Q V

= V


(x + dx ) V (x ) V (x ).

Comme V (x ) doit tre nul quand V (x ) ou dx est nul, je peux supposer que
V (x ) est tout simplement linaire en V et dx . Je dfinis donc
V (x ) = (x ) V (x ) dx
o le signe moins est conventionnel et est appel connexion. La connection contient linformation sur la faon deffectuer le transport, que lon appellera transport
21

parallle.
On peut cette fois parler de la diffrence entre deux vecteurs au mme point Q:
V

Q

= V (x + dx ) [V (x ) + V (x )] = dV (x ) V (x ).

Je dfinis ensuite la drive covariante par le passage la limite dans cette diffrence
:
V | lim

dx 0

1
{V

dx

Q }

= lim {V (x + dx) [V (x) + V (x)]}

dx 0

et donc,
V | =V , + V .
... Cette nouvelle drive sera un tenseur, partir du moment o V

Q

lest.
Il reste dduire les proprits de transformation de (cf exercice 2a) pour
que V

Q

soit un tenseur, ce qui revient encore imposer que V | se

transforme comme un tenseur (contrairement V , !).

Nous trouvons:


x
xa

x
xa

xc xb
 x

x
c
x xb
 x

x

acb +
acb

2 xa
x

xa x
 x
a
b

x x 2 x
 x
 xa xb
x

VP

V =V P+ V

dV - V

x + dx

VQ =V P + dV
Q

Figure 6: Transport parallle.

22

2.1.2

Drive covariante dun tenseur covariant:

On peut montrer (exercice 4) que la drive covariante dun vecteur covariant scrit
comme:
V | = V , - V .
2.1.3

Drive covariante dun tenseur de rang quelconque:

On gnralisera la drive covariante un tenseur de rang (p, q) quelconque de la

faon suivante (exercice 5):
...

...

...

...
T 11... qp| = T 11... qp , + 1 T 1 ...pq + ... + p T11...
q
...

...

p
1
1 T...
+ ... q T 11... p .
q

2.1.4

Equation de Newton en coordonnes gnralises:

Le but fix par Einstein en dveloppant la Relativit Gnrale tait dtablir une nouvelle thorie de la mcanique qui succderait la Relativit Restreinte (ne prenant en
compte que des transformations de Lorentz, cest--dire des transformation entres
repres en mouvements vitesse relative constante), comprendrait la gravitation
et serait cette fois compatible avec le formalisme des quations lectromagntiques
de Maxwell. Cette nouvelle thorie tiendrait cette fois compte des transformations
gnralises (acclrations) entre les diffrents repre... Ainsi, une quation dcrirait
le mouvement dune particule massive ou non, valable dans nimporte quel systme
de coordonnes gnralises (que ce soit un rfrentiel inertiel ou non).
Esquissons brivement ces quations...
Les quations du mouvement dune particule dans un repre inertiel

(
x = (x, y, z), t,
x ) sont donnes par les clbles quations de Newton. On peut
les redriver partir du principe variationnel appliqu au lagrangien correspondant
en coordonnes cartsiennes (L = T V o T = lnergie cintique et V = le
potentiel), ce qui donne lieu aux quations dEuler Lagrange.
Soit pour

mv 2
m
ij

T (
x , t) =
= ij x x
2
2

23

Fi =

V
(
x , t)
xi

les quations dEuler Lagrange sont



d
L
L
k
k

dt x
x

... o la force F est conservative,

= 0
d

dt

T
k

m x = Fk

V
xk

Pour trouver les quations du mouvement en coordonnes coordonnes

q ), il suffit donc de rutiliser les quations dEuler Lagrange2 ,

gnralises (
q , t,
mais exprimes cette fois dans les nouvelles coordonnes. La formulation lagrangienne prsente en effet cet avantage consquent sur la formulation Newtonienne dtre
invariante sous changement de coordones (q i (xj )) puisque le lagrangien L est un
scalaire!
Soit

i j
m

T (
q , t) =
gij q q
2 

!
d
L
L

Qi =
i V (
q , t)
i
dt
q
q

... pour la force Q , force gnralise,

o gij est la mtrique de lespace (gij =

ei
ej )...
Les quations dEuler Lagrange sont donc cette fois-ci


d
L
L
k = 0
k

dt
q
q


d
T
T
k = Qk

dt
q
"q
#
j
i
i j
md
m

gkj q +gik q gij,k q q = Qk

2 dt
2
"
#
i
i j
d
m
m
gik q gij,k q q = Qk
dt
2
2

Vous trouverez la drivation des quations dEuler Lagrange, exprimes en termes dindices

covariants, partir du principe variationnel, dans le cours PHYS1140.

24

l i

m gik q +m gik,l q q
i

m gik q +

i j
m
gij,k q q = Qk
2

i j
m
(2gik,j gij,k ) q q = Qk
2

soit encore en multipliant par g kl ,

i j
g kl
(gik,j + gjk,i gij,k ) q q = Qk
2

l i j
l
q q = Qk
m q +m
.
ij
l

m q +m

Ce systme dquations du mouvement obtenu ici en terme de coordonnes gnralises mrite quelques remarques.
Tout dabord, le premier terme de cette quation nest autre chose que le terme
masse*acclration correspondant la seconde loi de Newton dans un refrentiel
inertiel. On retrouve effectivement Newton en se plaant en coordonnes cartsiennes cest--dire en utilisant la mtrique de Minkowski (gij = ij ).
Le second terme reprsente les forces apparentes/fictives dans un repre non inertiel
(voir lexercice 15 pour illustration), qui peuvent toujours tres annules localement
par une transformation de coordonnes approprie (transformation non linaire.
Voir exercice 2a et b), tout comme le stipule le principe dquivalence. Ceci est
faisable car la connexion nest pas un tenseur (voir exercice 2a). Rapellons que
si toutes les composantes dun tenseur sont nulles en un mme point donn, elles
seront toujours nulles, quelque soit le au point o elles seront values (voir la loi
de transformation des composantes dun tenseur sous changement de coordonnes).
Nous verrons que la gravitation, implmente par la gomtrie de lespace-temps est
une force de type fictive.
Lorsquaucun terme de force gnralis nest prsent (Qk = 0 k) ces quations
sont appeles quations des godsiques et correspondent au mouvement dune particule libre dans la gomtrie donne par gij . Elles peuvent tre dirrectement drives
partir du principe variationnel appliqu laction pour une particule massive ou
non (voir exercices 10 et 11).
Egalement, cest une connexion particulire qui intervient dans les quations des
25

godsiques pour la Relativit Gnrale,

dont
les composantes sont appeles sym
boles de Christoffel de seconde espce

'

1
= g (g, + g, g, ) .
2

Cette connexion est obtenue en se restreignant aux transformations de coordonnes

(transports parallles) qui conservent les normes des vecteurs, ce qui impose que
la drive covariante de la mtrique soit nulle (voir exercice 7); et une connexion
symtrique, ce qui correspond imposer le principe dquivalence (voir exercice 6b).

26

2.2

Exercices

1. Montrez que la drive usuelle dun vecteur nest pas un tenseur en crivant
la loi de transformation.
2. (a) Montrez que nest pas un tenseur en tablissant sa loi de transformation sous changement de coordonnes, soit partir de la dfinition
de la drive covariante, soit partir de la dfinition de la variation des
vecteurs de base :
d,e = dx ,e .
Note : toute quantit qui obit cette loi de transformation est appele
connexion affine.
(b) Soit une connection symtrique qui prend dans le systme de coordonnes x et au point P les valeurs |P . Montrez quil est possible de
|P = 0.
construire une transformation x x telle que

Note : Il est mme possible dannuler la connexion le long dune courbe

quelconque en choisissant un systme de coordonnes adapt.
3. Prouvez que la drive covariante dun scalaire est gale la drive habituelle.
4. Si lon exige que la drive covariante satisfasse la rgle de Leibniz, tablissez
la formule de la drive covariante dun vecteur covariant.
5. Etablissez la formule de la drive covariante dun tenseur de rang (p, q).
6. (a) La partie de la connexion antisymtrique en ses indices covariants est
appele torsion, Q . Prouvez que la torsion est un tenseur.
(b) Montrez que le principe dquivalence implique une connexion symtrique.
7. Connexion et symbole de Christoffel:
(a) En imposant la conservation de la longueur dun vecteur au cours dun
transport parallle, dmontrez que la drive covariante de la mtrique
est nulle.
27

(b) En imposant la condition (a) et une connexion symtrique, calculez lexpression de celle-ci en fonction de la mtrique.
Note : on appelle cette expression pour la connexion symbole de Christoffel de 2e espce.
(c) Sans imposer une connexion symtrique mais en gardant la condition (a),
calculez lexpression de cette connexion en fonction de la mtrique et de
la torsion.
8. Le symbole de Christoffel de 2e espce est dfini par
(
'
1

= g (g, + g, g, ) .

2
Montrez quil se transforme comme une connexion.
Note : On voit ainsi quil est consistant dgaler la connexion au symbole de
Christoffel.
9. Godsiques affines:
Soit une courbe paramtrise par x = f (). Le vecteur tangent la courbe
au point P est
dx
|P u (P ) .
d
Si cette courbe telle que le vecteur tangent en un point P quelconque, transport paralllement au point Q, est parallle au vecteur tangent la courbe
en Q, elle est appele godsique affine.
(a) Etablissez lquation de la godesique affine:
u u|

= g() u
du

+ u u = g() u
d

d2 x
dx dx

= g() u .

d d
d2

(b) Si on prend une connexion conservant les longueurs (cf exercice 7) et

d comme lment de longueur (c.--d. d = ds o ds2 = g dx dx ),
28

montrez que lquation des godsiques devient :

u u| = 0 .
Note : on appelle cette paramtrisation : paramtrisation affine.
(c) Montrez que lquation des godsiques conserve la forme u u| = 0
pour une classe de paramtres, appels paramtres affins, relis par des
transformations linaires.
10. Godsiques mtriques, partir de laction pour particules massives:
Soit laction pour une particule de masse m
)
)
*

I1 = m c ds = m c g x x d ,

x u

dx
,
d

paramtrisant la courbe.
Calculez par principe variationnel lquation des courbes minimisant I1 (les
drives de la mtrique seront regroupes dans le symbole de Christoffel dfini
lexercice 8),
(a) en supposant que la paramtrisation est affine : = s + ,
(b) pour une paramtrisation quelconque.
(c) Minimiser laction I1 correspond maximiser le temps propre de la particule. Montrez que, dans un champ gravitationnel faible, la trajectoire
dune particule ayant une vitesse non relativiste minimise laction clas+
2
sique (Iclassique = ( m2v V ) dt).

11. Godsiques mtriques, partir de laction pour particules massives ou non:

Soit laction pour une particule de masse m
)

c  1

I2 =
e () g x x +m2 e() d ,
2

o e() est une fonction quelconque de . Cette action est invariante sous la

reparamtrisation ()
si
e
29

d
e.

(a) En variant I2 par rapport e, vrifiez que I2 est quivalent I1 .

Note : I2 prsente des avantages par rapport I1 , surtout en paramtrisation affine :
pas de problme de dfinition de la racine carre
valable aussi bien pour m = 0 que m = 0
calcul plus facile des godsiques car pas de racine
(b) En variant I2 par rapport x (sans remplacer e par son expression
calcule en (a) !), calculez lquation des courbes minimisant I2 .
(c) Le choix de la fonction e() correspond une paramtrisation de la
courbe. Quel choix faut-il faire pour que la paramtrisation soit affine ?
(On se ramne aux courbes de lexercice 9b).
(d) Que se passe-t-il si m tend vers zro ? Laction reste-t-elle la mme ? Et
les courbes la minimisant ?
(e) Montrez que la limite classique de I2 pour une particule massive est
laction correspondant au lagrangien de la mcanique classique (L =
Ek Ede masse au repos ).

(f) Prouvez que g x x = , o est une constante, est une intgrale

premire de lquation des godsiques.
Vous pouvez alors calculer les godsiques plus facilement par principe
variationnel appliqu sur laction
)
c

I=
g x x d.
2
On obtient
d
d

"

K
=0
x

o K = g x x = et
= +1 si godsique de genre temps
= 0 si godsique de genre lumire
30

Note : On peut remplacer une des quations des godsiques par son

intgrale premire, donne par llment de longueur g x x = .

(g) Montrez que si g est indpendant de x pour un fix, alors u =
g dx /d est une constante du mouvement.
Note :Cette nouvelle intgrale premire peut remplacer une autre quation godsique. Par exemple, si la mtrique est indpendante du temps
et diagonale, alors
u0 = g00

dx0
ds

est une constante correspondant lnergie relativiste de la particule.

12. Considrez la transformation suivante, sappliquant la mtrique (transformation de Weyl):
2

g g
= (x ) g

(a) Comment se rcrit lquation des godesiques,

du
x
+ u u = 0 o u =
,
d

en termes de la nouvelle mtrique g

?

(b) Comment interprtez-vous le terme supplmentaire obtenu pour cette

nouvelle quation des godesiques (rappelez-vous les rsultats des trois
exercices prcdents)?

31

Rsum thorique sur les godsiques

Les courbes minimisant I1 et I2 sont appeles godsiques mtriques. Elles
sont les mmes que les godsiques affines si la connexion est choisie gale
au symbole de Christoffel. On parle alors de connexion mtrique. On peut
voir que cela entrane que la drive covariante de la mtrique est nulle. Cela
vaut en fait dans les 2 sens; cest ce que nous avons prouv lexercice 7 : si
g| = 0, alors la connexion est la connexion mtrique.
Sous forme de schma :

Conservation des longueurs

Principe

sous transport parallle

dequivalence

(ex. 2.7a)

(ex. 2.6b)

connexion

g| = 0
,

-.

(ex. 2.7b et 2.8)

connexion = Christoffel

symtrique

(c.--d.connexion mtrique)

godsique affine = godsique mtrique
.

/,

transport parallle
du vecteur tangent

principe de
moindre action

sur I1 , I2 ,ou I

(ex. 2.9)

(ex. 2.10 et 2.11)

godsique affine

godsique mtrique

Remarque : Nous travaillerons dsormais avec une connexion mtrique et

des godsiques paramtrises affinement.
32

13. Dans un repre inertiel o la mtrique est , lquation du mouvement dune

particule libre est
d2 x
=0,
d 2
o est le temps propre. En utilisant une transformation gnrale de coordonnes, transforme la mtrique en g et montre que lquation du mouvement
devient lquation des godsiques :

d2 x
dx dx
+

=0.

d 2
d d

14. Soit un espace euclidien plat deux dimensions, dcrit par des coordonnes
polaires r et .
(a) Calculez les symboles de Christoffel partir des vecteurs unitaires, en
utilisant la dfinition
,e
= ,e .

x
(b) En coordonnes cartsiennes (x, y), la connexion est donne par
= 0 ,

(, , )

Utilisez la loi de transformation pour les symboles de Christoffel pour les

calculer en coordonnes polaires.
(c) A partir de lintervalle
ds2 = dr2 + r2 d 2 ,
calculez les symboles de Christoffel de la faon usuelle comme des drives
des coefficients de la mtrique g .
(Les trois mthodes doivent videmment fournir comme rsultats les
mmes valeurs pour les symboles de Christoffel. Il y a encore une quatrime mthode possible : partir de lquation des godsiques, si lon
sait davance quelles sont les godsiques. Pour les courageux...).

33

15. Tu as 7 ans et tu te trouves sur un cheval de bois dans un mange. Quelles

sont les forces fictives qui sexercent sur toi, si tu considres ton cheval comme
au repos ? (Indication : calcule lquation des godsiques pour la mtrique
dun repre en rotation).
16. Soit lespace mtrique (qui vous est maintenant assez familier) :
ds2 = dr2 + r2 d2 .
(a) Ecrivez les deux quations qui rsultent de lquation des godsiques et
montrez que les quations suivantes en sont des intgrales premires :
d
r2
= R0 ,
ds
" #2
" #2
dr
d
2
+r
=1,
ds
ds
o R0 est une constante.
(b) Utilisez les rsultats ci-dessus pour obtenir une quation diffrentielle du
premier ordre pour r().
(c.--d. liminez s en tant que paramtre et substituez-le par ).
(c) En tenant compte du fait que lespace mtrique ci-dessus est tout simplement un espace euclidien plat deux dimensions, crivez lquation
gnrale pour une ligne droite en coordonnes r et et montrez que la
ligne droite satisfait lquation obtenue en (b).
17. Ecrivez lquation des godsiques en coordonnes sphriques (3D).
18. Dans le plan muni de coordonnes polaires (r, ),
(a) crivez les quations dcrivant un vecteur qui serait transport paralllement le long de la courbe suivante (c--d que en tout point Q de la courbe,
on a V

= V

Q ):

i. une droite passant par lorigine,

ii. le cercle unit.
34

(b) Rsolvez les quations dans chacun des cas pour obtenir lexpression du
vecteur transport paralllement (Ar et A ); illustrez et interprtez en
rfrence aux coordonnes cartsiennes (Ax et Ay ).
19. Sur la surface de la 2-sphre (ds2 = d2 + sin2 d2 ), le vecteur A est gal ,e
en = 0 , = 0 (,e = vecteur unitaire de dplacement lorsque lon varie ).
Que vaut A aprs son transport parallle le long du cercle = 0 ? Que vaut
sa norme ?
20. Considre la Terre comme la surface dune sphre de rayon R. En coordonnes
sphriques lquateur correspond =

et les ples nord et sud = 0 et

= respectivement. Calcule leffet du transport parallle dun champ de

vecteurs arbitraire, tangent la Terre, S = (S , S ) autour dune courbe
ferme partant de (, ) = ( 2 , 0) le long dune courbe de longitude constante
jusquau ple nord, puis le long dune ligne de longitude constante 0 jusqu
lquateur, et puis de retour au point de dpart le long de lquateur.
21. Soit la mtrique en 2 dimensions
ds2 =

dx2 dt2
.
t2

(a) Calcule les symboles de Christoffel et les quations des godsiques (ces
dernires en repartant du principe variationnel, c--d les intgrales premires (voir ex 2.11 f et g), pour plus de facilit).
(b) Intgre ces quations et dessine-les.
22. Soit la mtrique dun espace 1 + 1 dimensions :
ds2 =

r2 dr2
dr2 + r2 d2

,
(r2 a2 )2
r 2 a2

r>a.

(a) Calculez lquation des godsiques de genre temps, lumire et espace.

(b) Si vous interprtez r et comme les coordonnes polaires dun plan euclidien, montrez que les godsiques sont des droites de ce plan. Quelle est
la particularit des godsiques de genre lumire ?
35

23. Une projection cartographique de type cylindrique projette la surface du globe

sur un cylindre lenveloppant et tangent lquateur. Les mridiens sont projets sur des droites verticales dont lespacement est constant et les parallles
sur des droites horizontales dont lespacement varie suivant une loi spcifier.
La projection de Mercator est une projection cylindrique conforme, autrement
dit elle conserve les angles. En navigation, la boussole permet de suivre des
trajets cap constant, c.--d. coupant les mridiens et les parallles sous un
angle constant. Il est pratique dtablir une carte o ces routes sont reprsentes par des droites. Cest ce que fait la projection de Mercator grce sa
proprit de conformit.
(a) Prouvez quune transformation conforme g (x ) = 2 (x ) g (x ) conserve les angles.
(b) Imposez que la mtrique de la surface de la sphre soit conformment
plate (c--d g

sph`
ere

= 2 (x ) (dx2 + dy 2 )) et utilisez les proprits de

la projection cylindrique pour tablir le lien entre les coordonnes (, )

de la sphre et les coordonnes (x, y) de la carte.
(c) Donnez la variation de lintervalle entre les parallles sur la carte en fonction de la latitude.
(d) Donnez lquation des godsiques de la sphre dans les coordonnes de la
carte ainsi que dans les coordonnes de la sphre. Rsolvez ces quations.
24. Soit la mtrique
ds2 = (c2 a2 t) dt2 2 a t dx dt dx2 dy 2 dz 2 .
Calcule et rsous lquation des godsiques. Interprte le rsultat.
25. Pour une mtrique diagonale, montrez que dans un systme de coordonnes,
les symboles de Christoffel sont donns par :
= 0
36

1
g,
2g
*
= [ln |g |],
*
= [ln |g |],

o = = et il ny a pas de sommation sur les indices rpts.

26. Pour une mtrique quelconque,
(a) montre que
1
= (ln g),
2
o g est la valeur absolue du dterminant de la mtrique.
(b) Dduis-en que, si est un champ scalaire,

1 
g || = g g , ,
g
27. Oprateurs et coordonnes sphriques.
(a) Calculez la mtrique en coordonnes sphriques en 3 dimensions.
(b) Soit S un scalaire et V un vecteur.
On exprime les gradient, divergence et rotationnel en fonction des drives
covariantes comme suit:

= g ij S,j

V
= V i|i

( V )j = jk V
|k

o 123 = g 1/2

Calculez les gradient, divergence, rotationnel et laplacien en coordonnes

sphriques. (Indication : lexercice 25 facilite le calcul). Comparez avec
les expressions de votre formulaire de calcul vectoriel.
Note : Les expressions obtenues sont valables dans la base de coordonnes, obtenue partir de la base cartsienne par changement de coordonnes. Les composantes dun vecteur sont alors les composantes contravariantes. Cependant, une autre convention est habituellement utilise dans
37

le calcul vectoriel en coordonnes curvilinaires. La base est dans ce cas

normalise (et ne peut plus tre obtenue par changement de coordonnes
!). Les composantes dun vecteur dans cette base sont Vi = hi V i = h1
i Vi
o gij = h2i ij (la mtrique est diagonale). Pour retomber sur les expressions habituelles des oprateurs vectoriels, vous devez les redfinir dans
la base normalise et exprimer les rsultats en fonction des composantes
du vecteur dans cette base, c.--d. Vi .
28. Vrifie les identits suivantes :
(a) g, = {, } + {, }
'
(

o{, } g
= g

(b)

g g ,

= g

g,

(c) g , = g g
(d) g, = g g g , = g g g,

(e) = (ln g),

1  
g
(f ) g =
|g|
,
|g|



1
(g) A| =
|g| A
,
|g|



1

(h) A | =
|g|A
A
,
|g|



1
(i) A | =
|g| A
si A est antisymtrique.
,
|g|

1 
|
(j)
S S| =
|g| g S,
,
|g|

Note : on crit souvent =
qui est le symbole de Christoffel de

2e espce tandis que {, } est appel symbole de Christoffel de 1re espce.

29. Prouve que les objets suivants sont des tenseurs mme sils ne comprennent
que des drives usuelles :
(a) F = A, A, ,
38

(b) Z = A B , B A, ,

(c) N
= J J , J J , J J , + J J , .

o A, B sont des vecteurs et J un tenseur de type (1,1).

30. Vous vous souvenez peut-tre du soit-disant paradoxe des jumeaux, dans lequel
un astronaute fait un aller-retour de la Terre une destination quelconque
une vitesse proche de celle de la lumire. A son retour il retrouve son frre
jumeau beaucoup plus g que lui (ou mort). En relativit restreinte, leffet
de lacclration sur lge des astronautes est nglig (sauf comme argument
pour considrer la situation comme asymtrique). Il est possible de traiter
plus compltement ce problme en relativit gnrale.
Soit 2 horloges identiques A et B, synchronises et au repos au dpart sur la
surface de la Terre. A reste au repos, tandis que B tourne autour du globe
une hauteur h dans un avion dont la vitesse par rapport au sol est v. Aprs
un tour du monde, A et B sont compars, c.--d. que le temps propre A de
A est compar avec le temps propre B de B.
Le tour du monde se fait lquateur. La Terre a une vitesse angulaire de T
par rapport au repre localement inertiel dans lequel elle se trouve (c.--d. un
repre en chute libre dans le champ du soleil).
(a) Calculez A et B en utilisant la paramtrisation dEddington-Robertson.
(b) Calculez la quantit =

B A
A

et simplifiez en dveloppant au 1er ordre.

(c) Evaluez le dcalage entre les 2 horloges pour une altitude et vitesse de
lavion raisonnables (2 cas : lavion vole vers lest ou vers louest).
Note : Cette exprience a t ralise en 1971 (vol non quatorial) avec pour
rsultats :
B A (ns)
direction du vol

exprience

thorie

vers louest

273 7

275 21

vers lest

59 10

40 23

39

31. Equations de Maxwell et quations duales.

(a) Reformulez les quations de Maxwel de faon ce quelles soient covariantes sous nimporte quel changment de coordonnes (en coordonnes
gnralises).
(avoir fait pralablement lexercice 1.21)
(b) On dfinit le tenseur dual F comme
F = F .

Si lon devait penser que lesthtique est une considration importante

pour les lois de la physique, on serait tent dcrire les quations de
Maxwell comme
F | = L
F | = J .

...Quelle serait alors la signification de L ?

32. Contribution lectromagntique au tenseur nergie-moment.
(a) Calculez lexpression de la contribution lectromagntique au tenseur nergie moment en notant
T

tenseur nergie-moment global



contribution due la matire

contribution due au champ lectromagntique

Vous trouverez
1
E = F F g F F
4

40

(b) Montrez que la trace de ce tenseur est nulle. Interprtez ce rsultat par
rapport la densit dnergie T = T .
(c) Montrez que E | = 0 (c--d la contribution lectromagntique au tenseur
nergie moment est conserve) en labsence de sources charges.
Quen est-il en prsence de sources charges?

41

3
3.1

COURBURE
Note sur les conventions

Lors de la lecture dun livre ou dun article, il faut faire attention aux diffrentes
conventions adoptes par les auteurs.
Trois conventions de signe posent souvent des problmes.
Mtrique de Minkowski
Dans le cours, elle est choisie de trace ngative :

1
0
=

0
1

Un vecteur de genre temps aura donc dans une mtrique quelconque un ds2 > 0.

On trouve souvent

1
1
0

0
1
1

Dans ce cas, un vecteur de genre temps dans une mtrique quelconque a ds2 < 0.
Tenseur de Riemann
Dans le cours, il est dfini comme suit :
R = , , + .
On trouve souvent la convention de signe oppose.
Tenseur de Ricci
Dans le cours, il est contract sur le premier et dernier indice:
R = R = g R .
On trouve souvent la convention de contraction entre le premier et troisime indice,
ce qui donne un signe diffrent vu lantisymtrie des deux derniers indices.
42

Scalaire de courbure
R = R = g R .

43

3.2

Exercices

1. Combien de composantes indpendantes le tenseur de Riemann a-t-il en n

dimensions ?
(a) Pour le tenseur de Riemman mixte R qui ne ncssite pas la notion
de mtrique pour sa dfinition:
Vrifie dabord les symtries suivantes: R = R et 0 =
R[] R + R + R ,

Utilise la mthode des tableaux de Young.

Vrifie la rponse obtenue par analyse combinatoire.
(a) Pour le tenseur de Riemman covariant R qui lui ncssite la notion
de mtrique pour sa dfinition:
Vrifie dabord les symtries suivantes: R = R = R =
+R et 0 = R[] ,
Utilise la mthode des tableaux de Young.
Vrifie la rponse obtenue par analyse combinatoire.
2. Dans le cas dune connexion non symtrique, dmontre la relation
V || V || = R V 2Q V | ,
o le tenseur Q

1
2



est appel la torsion.

3. Quelle est la condition pour que lon puisse dfinir un champ de vecteurs
globalement parallles sur une varit ? (Utilise la condition dintgrabilit
dune quation diffrentielle, c.--d. que les drives partielles commutent).
4. Un circuit infinitsimal en forme de paralllogramme peut tre spcifi par les
dplacements cts du paralllogramme. Soit un vecteur A qui est transport
paralllement sur ce circuit. Montre que A est modifi par le transport autour
du circuit par
A =

1
R A S
2
44

o S sont les composantes de llment de surface.

5. Prouve les identits dites de Bianchi: R[|] = 0
Note : utilise un systme de coordonnes localement inertiel.
6. Le tenseur dEinstein est dfini par G = R

1
2

R g . Montre que les

identits de Bianchi entranent que la drive covariante du tenseur dEinstein

est nulle : G| = 0.
7. Dans un espace petit nombre de dimensions, il existe des expressions simples
pour le tenseur de Riemann tout fait covariant :
(a) Que vaut ce tenseur dans un espace 1 dimension ?
(b) Exprime ce tenseur dans un espace 2 dimensions en fonction de la
mtrique et du scalaire de courbure.
(c) Exprime ce tenseur dans un espace 3 dimensions en fonction de la
mtrique et du tenseur de Ricci.
(d) Exprime Riemann en n dimensions en fonction de la mtrique, de Ricci
et dun tenseur supplmentaire, le tenseur de Weyl , qui a les mmes
symtries que Riemann et dont les traces sont nulles :
g W = 0 ,
g W = 0 .
8. Prouve que le tenseur de Ricci est symtrique. (Lexercice 2.26 peut tre utile.)
9. Calcule les composantes du tenseur de courbure dans un espace euclidien 3
dimensions, ainsi que le scalaire de courbure :
(a) pour la surface dun cylindre;
(b) pour la surface dun cne droit;
(c) pour la surface dune sphre.

45

10. (a) Calcule la mtrique pour la surface dun tore dans un espace euclidien
3 dimensions.
(b) Calcule le tenseur de courbure correspondant ainsi que le scalaire de courbure.
11. (a) Montre que les drives secondes covariantes dun champ scalaire commutent.
(b) Calcule les drives troisimes S|() et S|[] .
Note : S| S|||
12. Prouve que pour tout tenseur de rang 2,
A| = A| .
13. Dans un espace isotrope de dimension n, le tenseur de Riemann peut scrire :
Rabcd = K(gac gbd gad gbc ) .
(a) Justifie cette expression.
(b) Utilise les identits de Bianchi pour montrer que K doit tre une constante
si n > 2.
(c) Calcule le scalaire de courbure.
(d) Montre que cet espace est un espace conformment plat, c.--d. que le
tenseur de Weyl est nul.
14. Prouve que tout espace 2D possdant une mtrique de signature nulle est
conformment plat, c--d que tu peux ramener la mtrique la forme g =
e2 . Indication : utilise des courbes de genre lumire comme courbes de
coordonnes en passant aux coordonnes
= (x, y) ,
= (x, y) ,
46

vrifiant
g , , = 0 ,
g , , = 0 .
15. Paramtrisation dEddington-Robertson:
Calcule R et R dans la paramtrisation dEddington-Robertson.
16. Thorie Scalaire de Nordstrm:
(a) Calcule le tenseur de Riemann, le tenseur de Ricci, le scalaire de courbure
et le tenseur de Weyl pour la mtrique conformment plate g = e2
(en 4 dimensions) o = (x ) est une fonction arbitraire. Cette question
est un cas particulier de lexercice 3.18.
(b) Une thorie mtrique (invente par Nordstrm en 1913) relie g T
par les quations

W
= 0 ,
R = kT ,

o W est le tenseur de Weyl.

Montre que cette thorie, dans la limite newtonienne et avec le bon choix
de la constante k, est en accord avec la thorie de gravitation newtonienne, mais que cette thorie ne prdit pas la dflexion de la lumire
par le soleil. Cette thorie est-elle en accord avec lexprience de PoundRebka ? (remarque: tu peux utiliser les rsultats de lexercice 3.15)
Note : une condition ncessaire et suffisante pour quune mtrique soit conformment plate est que le tenseur de Weyl soit nul; cest pourquoi nous avons
tilis ce terme en ce sens lexercice 13.
17. Montre que les quations de Maxwell sont invariantes sous ce quon appelle
transformation conforme/de Weyl

g
g 

F F

J J

en dimension 4:
= e2 g ,
= F ,
= e2 J ,

47

o est une fonction arbitraire de x .

18. (a) Calculez leffet dune transformation conforme de la mtrique sur le tenseur
 R
 et R
 en fonction
de courbure en n dimensions, c.--d. calculez R,
de R, R et R si 
g = e2 g o est une fonction arbitraire de x .

(Utilisez les rsultats dj obtenus pour lexercice 2.12 )

Vous trouverez:

Rkijl + gkj |i|l gkl |i|j + gil |k|j gij |k|l

2

R
gkj |i |l + gkl |i |j gil |k |j + gij |k |l
kijl = e

+ (gkj gil gkl gij ) g ab |a |b

ij = Rij +(2n) |i|j gij g ab |a|b (2n) |i |j +(2n) gij g ab |a |b

R
1
2
 = e2 R + 2 (1 n) g ij |i|j + (n 1)(2 n) g ij |i |j
R

(b) Prouvez que le tenseur de Weyl W est un invariant conforme, c--d:


W
kijl = Wkijl .
Note : On utilise la transformation conforme sur une action gravitationnelle
pour introduire un couplage champ gravitationnel-champ scalaire, o est interprt comme champ scalaire (ex : thorie de Brans-Dicke, dilaton en thorie
des cordes).
Linvariance conforme du tenseur de Weyl est utilise pour construire des
thories invariantes conformes.
19. (a) Calcule la constante de gravitation G en units naturelles (en tout
cas en particules lmentaires), c.--d. en GeV (giga lectronvolts). Ces
units sont dfinies par  = c = 1.
(b) Les units de Planck sont dfinies par  = c = G = 1.
Exprime les quantits suivantes en units de Planck : un Watt, un Newton, la constante de structure fine, la masse du soleil, la taille dun atome
dhydrogne, 1 GeV, lge de lunivers.
20. Montre quun rayon de lumire de section circulaire ne subit pas de distorsion
(le cercle ne se dforme pas en ellipse) si le tenseur de Weyl est nul.
48

21. Soit la mtrique

ds2 = e2 dt2 e2 dz 2 dx2 dy 2 ,
o et sont des fonctions de z uniquement.
(a) Calcule le tenseur de Riemann et donne la condition sur et pour quil
soit nul.
(b) Si = , calcule la mtrique pour que lespace soit plat.
22. Equations dondes lectromagntiques.
Drivez lquation de propagation du potentiel lectromagntique:

K = J R

et celle du champ lectromagntique:

F = J| J| + 2R F + R

F R

partir des quations de Maxwell.

Remarques:
suite la sous-question b de lexercice 1.21, choisissez la jauge K

0;
utilisez lidentit dmontre dans lexercice 3.2 o la torsion est ici nulle.
23. Action lectromagntique et principe variationnel.
Retrouvez, laide du principe variationnel de laction lectromagntique
)

1
Sem =
dx4 g F F ,
4
(a) les quations du champ lectromagntique, en variant laction par rapport
au potentiel K :
F | = J

(b) lexpression du tenseur nergie-moment lectromagntique E (voir exercice 2.32) en variant cette fois par rapport la mtrique g .

49

RELATIVITE GENERALE

4.1

Solution de Schwarzschild.

Il sagit de calculer la mtrique lextrieur dune toile de masse M . Celle-ci est

considre en premire approximation comme sphrique.
La forme la plus gnrale pour llment de distance 4D possdant la symtrie
sphrique est :
ds2 = e2 dt2 e2 dr2 r2 (d2 + sin2 d2 )
o = (t, r) et = (t, r) sont des fonctions arbitraires de r et t.
1. Justifie lexpression de ds2 .
2. Calcule g , g et g .
3. Calcule .
4. Calcule R .
5. Prouve le thorme de Birkhoff : toute solution symtrie sphrique de lquation dEinstein dans le vide est statique. Tu dois donc prouver quil est possible
de dfinir = (r) et = (r).
6. Dtermine les solutions symtrie sphrique de lquation dEinstein dans le
vide de faon retrouver le rsultat classique de Newton dans la limite de
champ faible (c--d loin de ltoile).


Tu tablis ainsi les solutions de Schwarzschild o e2 = 1 + 2 cV2 et V est
le potentiel de Newton associ la source sphrique de masse M.

4.2

Matire sombre et constante cosmologique.

On observe que la vitesse de rotation dune toile autour du centre de sa galaxie

devient approximativement indpendante du rayon de sa trajectoire quand celui-ci
devient grand (r>
50 000 annes-lumire).

50

1. Quelle est la prdiction de la gravitation newtonienne ?

2. La relativit gnrale est en accord avec Newton pour des effets de champ
faible. Elle ne rsout donc pas le problme. Cest ce qui mne postuler
la prsence de matire supplmentaire dans la galaxie, encore non observe,
appele matire sombre.
Une autre possibilit serait lintroduction dune constante cosmologique. Rsous donc lquation dEinstein munie dune constante cosmologique non nulle
pour trouver les solutions symtrie sphrique :
R

1
R g g = 0 .
2

(Utilise les calculs de lexercice 4.1).

3. Que devient le potentiel de Newton si = 0 ?
Calcule la valeur de ncessaire pour expliquer les observations. Tu peux
supposer que la majeure partie de la masse de la galaxie est concentre dans
son noyau (M 1011 masse du soleil).

4.3

Solution de Schwarzschild en prsence de matire

(Schwarzschild intrieur").

1. Quel est le tenseur nergie-impulsion pour un fluide parfait de densit (x )

et de pression P (x ) ? Ecris les quations de conservation de ce tenseur en
fonction de , P et de la mtrique de lexercice 4.1.
2. Soit une boule de rayon r de gaz de poussire, c.--d. un fluide parfait o
la pression est nulle. Cherche la solution symtrie sphrique des quations
dEinstein si le vide rgne lextrieur de la boule.
3. Soit un fluide parfait de pression et densit quelconques mais symtrie
sphrique.
En utilisant la loi de conservation de lnergie-impulsion et lquation dEinstein, cris les quations liant la mtrique aux variables (r), P (r) et m(r)
51

o
m(r) =

(u) 4 u2 du .

Montre que ces 3 variables sont lies par 2 quations diffrentielles du premier
ordre :
dm
= 4r2 ,
dr
( + P )(m + 4r3 P )
dP
= G
.
dr
r(r 2Gm)
Note : Pour rsoudre ce systme, tu as besoin dune quation supplmentaire,
lquation dtat P = P (), ainsi que de conditions frontires. Tu peux alors
rsoudre les quations te donnant la mtrique en fonction de P, , m. Lquation liant P, et m est appele quation dOppenheimer-Volkoff. Elle est utile
pour tudier, par exemple, leffondrement gravitationnel dune toile en un
trou noir.
4. Rsous lquation dOppenheimer-Volkoff en supposant que la densit est
constante pour r < R et nulle pour r R, o R est le rayon de ltoile.
Cest la solution de Schwarzschild intrieur.
Vrifie la continuit avec Schwarzschild extrieur la surface de ltoile.

4.4

Tenseur de Weyl.

1. Calcule le tenseur de Weyl pour la mtrique symtrie sphrique donne

lexercice 4.1.
2. Vrifie que la solution de Schwarzschild intrieur (cf exercice 4.3) est conformment plate.

4.5

Schwarzschild en coordonnes isotropes

La mtrique de Schwarzschild, telle que drive lexercice 4.4.1, nest pas donne
en coordonnes isotropes car llment de longueur qui y correspond prsente un
coefficient diffrent pour llment radial (dr2 ) et llment angulaire (r2 d2 o
52

d2 = d + sin2 d2 ).
Il est possible, par un changement de coordonnes, de se ramener une forme
isotrope:
ds2 = f (rI ) dt2 h(rI ) (drI2 rI2 d2 ) .
1. Montre que ce changement de coordonnes, obtenu par intgration, et en identifiant les deux lments de longueur, est le suivant:
"
#2
V (rI )
rS rI 1
,
2c2
o rS est la variable r dans la mtrique de Schwarzschild; rI , la variable radiale en coordonnes isotropes; et V , le potentiel gravitationnel de cette mme
mtrique.
Ecris ensuite llment de longueur de Schwarzschild en coordonnes isotropes.
2. Dtermine les facteurs (, , ) en comparant le rsultat obtenu en 1 avec la
mtrique de Eddington-Robertson.
3. Que devient lhorizon de Schwarzschild en coordonnes isotropes ?
4. Lhorizon est-il une singularit physique/essentielle?

4.6

Contrainte des tests classiques sur la constante cosmologique.

Soit un espace-temps vide symtrie sphrique en prsence dune constante cosmologique , dont tu as calcul la mtrique lexercice 4.2.
1. Ecris lquation des godsiques.
2. Quelle est lquation du mouvement dune particule massive ?
Le dplacement du prihlie est-il modifi par rapport au cas = 0 ?
3. Quelle est lquation du mouvement dun photon ? La dflexion de la lumire
est-elle plus ou moins importante que si = 0 ?
4. Daprs tes rsultats ci-dessus, donne une limite sur .
53

4.7

Chute libre dans un trou noir.

Une particule massive est initialement au repos par rapport un trou noir, dcrit
par la mtrique de Schwarzschild. Elle est lche et tombe en chute libre dans le
trou noir, radialement.
1. Quel temps propre scoule entre son passage en r1 et son passage en r2 (avec
r1 > r2 )...
(a) si la particule part de linfini? Particulariser au temps mis pour atteindre
lhorizon, puis de lhorizon au centre du trou-noir.
(b) si la particule part de r0 fini r1 ? Particulariser au temps mis pour
atteindre lhorizon, puis de lhorizon au centre du trou-noir.
2. Quel temps de coordonnes (pour un observateur linfini) scoule
entre son passage en r1 et son passage en r2 (avec r1 > r2 )...
(a) si la particule part de linfini? Et particulariser au temps mis pour atteindre lhorizon.
(b) si la particule part de r0 fini r1 ? Et particulariser au temps mis pour
atteindre lhorizon.
3. Comparer et expliquer la diffrence entre le rsultat obtenu en terme de temps
propre et de temps de coordonnes.
Note : le calcul des godsiques se fait le plus simplement comme expliqu dans
la note aprs lexercice 2.11 sur les godsiques.

4.8

Orbites circulaires.

1. Etablis lquation des godsiques dune particule massive dans un potentiel

de Schwarzschild.

54

2. En crivant lquation de la trajectoire comme une somme Ep + Ek = const.,

dtermine la condition dexistence dorbites circulaires, leurs rayons ainsi que
leur stabilit ou instabilit.
3. Montre que la loi de Kepler
T = 2

r3
GM

est vrifie pour les orbites circulaires de Schwarzschild si T est la priode

calcule linfini.

4.9

Les trois faux jumeaux.

Jean-Marc est en orbite circulaire dans un potentiel de Schwarzschild.

1. Calcule la priode de rvolution de Jean-Marc en fonction du rayon de lorbite
et de la masse la source du potentiel.
2. Jean-Marc veut montrer comme il tourne vite et envoie un signal aprs chaque
tour Jacques qui se repose linfini. Mais quel intervalle de temps va donc
mesurer Jacques entre deux signaux ?
3. Jean est califourchon sur une fuse qui le maintient immobile en un point
de lorbite de Jean-Marc. Combien de temps scoule-t-il pour lui entre deux
passages successifs de son collgue mais nanmoins ami ?
4. Calcule 2 en secondes si Jean-Marc se trouve r = 6GM/c2 et si M =
14 Msoleil . On sattend ce que le spectre de rayons X de la source Cygnus
X-1 prsente au minimum une telle fluctuation. Peux-tu le justifier ?
5. Si Jacques vieillit de 40 ans, de combien dannes aura vieilli Jean-Marc ?

4.10

Capture de la lumire par un trou noir.

1. Calcule lquation des godsiques pour la dflexion de la lumire par un objet

massif (potentiel de type Schwarzschild). Utilise les coordonnes de Schwarzschild.
55

2. Dtermine les orbites circulaires. Sont-elles stables ?

3. Quel est le paramtre dimpact en-dessous duquel un photon venant de linfini
sera captur ? Calcule la section efficace de capture de la lumire par un trou
noir.

4.11

Solution de Reissner-Nordstrm.

Il sagit de calculer la mtrique autour dune masse ponctuelle charge. Il y a donc

symtrie sphrique. On suppose que la
solution est statique et asymptotiquement plate, c.--d. que la mtrique tend
vers la mtrique de Minkowski loin de la masse. La solution de Schwarzschild est
un cas particulier quand la charge est nulle.
1. Que deviennent les quations de Maxwell en prsence de gravitation ?
2. Choisis un repre tel que la particule est au repos lorigine.
Calcule F .
Rsous les quations de Maxwell, c.--d. trouve le champ lectromagntique
une distance quelconque de la charge.
3. Le tenseur nergie-moment lectromagntique (voir exercice 2.32)scrit :
E = g F F +

1
g F F .
4

Rsous lquation dEinstein G = T (Tu peux poser G = 1).

4.12

Chute libre dans un trou noir charg.

Dcris le mouvement dune particule neutre massive en chute radiale dans un trounoir charg (mtrique de Reissner-Nordstrm, ex 4.4.11).

56

4.13

Equations de Friedmann-Lematre.

La mtrique pour un espace homogne et isotrope (mtrique de Robertson-Walker),

utilise en cosmologie, scrit en coordonnes sphriques :
(
'
d 2
2
2 2
2
2
2
.
ds = c dt R (t)
+ d
1 k 2
Elle peut se rcrire :
ds2 = c2 dt2 R2 (t) gij dq i dqj
o gij est la mtrique de lespace 3 dimensions, indpendante du temps. Calcule les quations de Friedmann-Lematre, en insrant cette dernire mtrique dans
lquation dEinstein, en prsence dun fluide parfait.

4.14

Modle cosmologique anisotrope et solution de Kasner.

Soit la mtrique dfinie par

ds2 = c2 dt2 t2p1 dx21 t2p2 dx22 t2p3 dx23
o p1 , p2 , p3 sont des constantes.
1. Calcule les composantes du tenseur de Ricci.
2. Montre alors que lquation dEinstein en labsence de source nadmet pas de
solution 3-isotrope.
3. Prouve que la solution anisotrope du type p1 = p2 = p3 est unique si nous
imposons un tenseur de Weyl non nul. Cette solution est appele mtrique de
Kasner.
Note : Une solution de ce type a t propose pour expliquer la compactification
de dimensions supplmentaires (cf exercice 4.17). En effet, si un des pi est ngatif,
la dimension xi deviendra rapidement non observable.

57

4.15

Mares.

4.15.1

Gravitation newtonienne.

1. Calcule le potentiel gravitationnel, en un point de la surface de la Terre, d

au soleil (tu peux travailler en coupe, donc 2 dimensions).
Calcule les forces drivant du potentiel et dcompose le rsultat en force uniforme de chute libre et en force de mare.
Fais un dessin des forces en diffrents points de la surface.
2. Exprime le potentiel la surface, en 3 dimensions, comme un dveloppement de
Taylor autour de lorigine place au centre de la Terre. Interprte les premiers
termes du dveloppement.
4.15.2

Relativit gnrale

1. Utilise le principe dquivalence pour crire la relation entre la connexion et le

potentiel de Newton au 1er ordre.
2. Dduis-en Ri ooj (travaille dans un repre localement inertiel).
3. Dduis-en la relation entre la composante Wiooj du tenseur de Weyl et le potentiel de Newton. Compare avec la gravitation newtonienne.

4.16

Avance du prihlie.

Note : Va revoir dans Landau-Lifschitz ou un autre livre pour le calcul dune orbite
daprs le Lagrangien (problme de Kepler).
4.16.1

Cas gnral: une mtrique dans la paramtrisation dEddingtonRobertson

Soit une mtrique donne dans la paramtrisation dEddington-Robertson :



ds2 = A2 (r) dt2 B 2 (r) dr2 + r2 d2 + r2 sin2 d2 ,
58

A2 (r) = 1 + 2 cV2 + 2( cV2 )2 + O( c16 )

B 2 (r) = 1 2 V + O( 1 )
c2
c4

, , sont les paramtres dEddington-Robertson

V (r) est le potentiel de Newton

1. Etablis les quations des godsiques.

2. Intgre les quations pour obtenir les constantes du mouvement (nergie et

moment angulaire).
3. Ecris lquation du mouvement pour la variable u 1/r, en considrant u
comme une fonction de . Retrouves-tu lquation du mouvement de Newton
dans la limite classique c ?
4. En utilisant le fait que la vitesse radiale sannule aux rayons minimum r et
maximum r+ de lorbite, calcule les constantes du mouvement en fonction de
r et de r+ .
5. Dans la limite de champ faible V /c2 1, tu peux dvelopper les facteurs A,

B, E et J en fonction de V /c2 . Etablis le dveloppement de lquation du

mouvement jusquau deuxime ordre en V /c2 .

6. Drive lquation du mouvement par rapport pour obtenir une quation

diffrentielle du second degr en fonction des paramtres , , , puis rsousla.
4.16.2

Relativit restreinte

Soit laction pour une particule de masse m dans un potentiel gravitationnel

V (r) = GM/r :
S=

d (mc2 mV ) .

1. En interprtant cette action comme lintgrale dun lment de longueur dans

un espace courbe, calcule la mtrique correpondante. Elle est la solution des
quations de la thorie scalaire (cf exercice 3.16b).
59

2. Calcule les paramtres dEddington-Robertson de cette thorie.

3. Dduis en les prdictions en matire davance du prihlie de Mercure pour
cette thorie et compare tes rsultats lobservation.
4.16.3

Relativit gnrale

1. Calcule les paramtres dEddington-Robertson pour la mtrique de Schwarzschild (ex 4.1)

2. Dduis en les prdictions en matire davance du prihlie de Mercure pour
cette thorie et compare tes rsultats lobservation.
4.16.4

Donnes pratiques:

Pour
le dcalage du prihlie de Mercure, les valeurs numriques appropries sont:

Priode de Mercure = 88 jours

Masse du soleil = 1,99.1030 kg

Rayon minimum de lorbite = 46 millions de km

Rayon maximum de lorbite = 70 millions de km

Les observations permettent de dduire une avance du prihlie de Mercure de

43/sicle...

4.17

Kaluza-Klein.

Une des premires tentatives dunifier la gravitation avec une autre interaction est
celle de Kaluza et Klein dans les annes 20.
Lespace-temps usuel 4 dimensions est englob dans un espace 5 dimensions o
la 5e dimension est compactifie, c.--d. que la 5e coordonne est priodique sur un
cercle de trs petit rayon.
La mtrique en 5 dimensions a la forme gnrale

gab Aa Ab
Aa
gAB =
Ab

60

o gab est la mtrique de lespace-temps usuel 4 dimensions, est un scalaire et

Aa un vecteur.
1. Montre quun changement de la 5e coordonne correspond une transformation de jauge sur A .
2. Suppose que la physique est dcrite par la gnralisation 5 dimensions de
laction dEinstein. Rduis cette action 4 dimensions en lexprimant en
fonction du scalaire de courbure 4 dimensions et de A en posant, pour
simplifier le calcul, = 1. Interprte le rsultat.
3. Ecris lquation des godsiques en 4 dimensions. Interprte les diffrents
termes.

4.18

Principe variationnel et action dHilbert-Einstein.

Les quations du champs dEinstein (avec constante cosmologique ) peuvent-tre

redrives partir dune action dite d Hilbert-Einstein.
1. Retrouvez les quations dEinstein partir du principe variationnel appliqu
laction
SHE =

dx4 g R .

2. Utilisant la derivation ci-dessus, montrez que laction suivante permet cette

fois de retrouver les quations dEinstein en prsence dune constante cosmologique.
SHE =

dx4 g (R + 2)

3. Commentez laction correspondant la matire de faon retrouver par principe

variationnel les quations dEinstein en prsence de sources (avec le tenseur
nergie-moment T ).

61