Académique Documents
Professionnel Documents
Culture Documents
1.
Rdaction :
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
gij V i W j
V W =
i=1,2,3
Les composantes V i peuvent tre runies sous lappellation composantes dun tenseur
ijk U j V k ,
j,k=1,2,3
(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 )
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 ) ,
y = sin x + cos y .
3
ey
ey
Y
ex
ex
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
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
x = r cos
y = r sin
r = x2 + y 2
= arctg y
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
V a =
xa
Vb ,
b
x
b=1,2,3
ment :
ea =
xb
eb .
xa
b=1,2,3
|| 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
|| 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:
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]).
cette transformation (voir plus loin). Les quantits obtenues aprs transformation
gnrale de coordonnes x x seront dsignes par le symbole tilde. Dans
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
A B ,
=1...n
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
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).
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 .
0
+Ex +Ey +Ez
Ex
0
+Bz By
F
=
et J = ,
Ey Bz
0
+Bx
Ez +By Bx
0
F , = J ,
13
1.2
Exercices
xa
xb
et
xa
xb
en les exprimant
i=1,2,3
ijk ilm = jl km jm kl ,
e2
A
A
e1
A
15
e2
A
A
e1
A
D et
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
(1) Vi ,ip .
p!
V(1 ,,p )
V[1 ,,p ]
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
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
, A
E =
B = 0
E =
t
B = +
+
.
t
20
2.1
Note thorique
2.1.1
(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
Q ,
= 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 }
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
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
22
2.1.2
On peut montrer (exercice 4) que la drive covariante dun vecteur covariant scrit
comme:
V | = V , - V .
2.1.3
...
...
...
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
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
dt x
x
= 0
d
dt
T
k
m x = Fk
V
xk
i j
m
T (
q , t) =
gij q q
2
!
d
L
L
Qi =
i V (
q , t)
i
dt
q
q
dt
q
q
d
T
T
k = Qk
dt
q
"q
#
j
i
i j
md
m
Vous trouverez la drivation des quations dEuler Lagrange, exprimes en termes dindices
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
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
1
= g (g, + g, g, ) .
2
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
(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
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).
o e() est une fonction quelconque de . Cette action est invariante sous la
reparamtrisation ()
si
e
29
d
e.
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
dx0
ds
g g
= (x ) g
31
Principe
dequivalence
(ex. 2.7a)
(ex. 2.6b)
connexion
g| = 0
,
-.
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)
godsique affine
godsique mtrique
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 ,
(, , )
33
= V
Q ):
(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 =
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.
sph`
ere
1
g,
2g
*
= [ln |g |],
*
= [ln |g |],
= g ij S,j
V
= V i|i
( V )j = jk V
|k
o 123 = g 1/2
o{, } g
= g
(b)
g g ,
= g
g,
(c) g , = g g
(d) g, = g g g , = g g g,
(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 , .
B A
A
(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
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
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
1
2
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 ,
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
Vous trouverez:
2
R
gkj |i |l + gkl |i |j gil |k |j + gij |k |l
kijl = e
F R
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.
4.2
50
1
R g g = 0 .
2
4.3
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.
4.5
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
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
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.
54
r3
GM
4.9
4.10
4.11
Solution de Reissner-Nordstrm.
1
g F F .
4
4.12
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.
4.14
57
4.15
Mares.
4.15.1
Gravitation newtonienne.
Relativit gnrale
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
B 2 (r) = 1 2 V + O( 1 )
c2
c4
Relativit restreinte
d (mc2 mV ) .
Relativit gnrale
Donnes pratiques:
Pour
le dcalage du prihlie de Mercure, les valeurs numriques appropries sont:
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
4.18
dx4 g R .
dx4 g (R + 2)
61