Documente Academic
Documente Profesional
Documente Cultură
EUGEN-MIHAIŢ ¼ CIOROIANU
¼
SILVIU-CONSTANTIN SARARU
INTRODUCERE ÎN
TEORIA GRAVITAŢIEI
Editura Universitaria
Craiova, 2008
Cuprins
1 Cuvant inainte 2
4 Ecuatiile Einstein 55
4.1 Ecuatiile de camp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 Limita Newtoniana a ecuatiilor Einstein . . . . . . . . . . . . . . . . . 58
7 Dezvoltari perturbative 90
1
1 Cuvant inainte
Baza acestei lucrari, care se adreseaza studentilor, masteranzilor, doctoranzilor si
tinerilor cercetatori interesati de studiul celei mai slabe dintre interactiile funda-
mentele si anume interactia gravitationala, o constituie cursurile “Introducere in teoria
gravitatiei”de la ciclul de studii universitare de licenta Fizica si “Introducere in teoria
relativitatii generale” de la ciclul de studii universitare de masterat Fizica Teoretica,
ambele predate de autori la Facultatea de Fizica a Universitatii din Craiova, precum
si o serie de seminarii stiinti…ce pentru doctoranzii in domeniul Fizica de la aceeasi
facultate. Materialul de fata isi propune sa ofere cunostintele matematice de baza
necesare in studiul gravitatiei si al teoriilor de camp pe spatii curbate si sa asigure
un punct de start celor care doresc sa-si dezvolte cunostintele despre aceasta parte a
…zicii teoretice (formularea geometrica a interactiei gravitationale).
Subordonat primului obiectiv al acestui manual, si anume acela de o oferi cunos-
tintele matematice de baza, in prima parte sunt introduse elemente de geometrie
diferentiala locala si globala. Astfel, sunt introduse o serie de notiuni asociate catego-
riei varietatilor netede (Man) si subcategoriei varietatilor Riemanniene (Riem). Acest
capitol ofera o multitudine de exemple si propune spre rezolvare o serie de exercitii
care impreuna asigura dezvoltarea capacitatii studentilor si doctoranzilor de a opera
cu notiunile abstracte de matematica si de a le aplica in situatii date.
Celelalte capitole ale lucrarii se subordoneaza celui de-al doilea obiectiv. In capi-
tolul trei al lucrarii utilizand cunostintele matematice introduse anterior sunt deduse si
analizate ecuatiile de miscare ale unei particule test a‡ata intr-un camp gravitational
(ca ecuatii ale geodezicei pe un spatiu curbat) si este investigata limita Newtoniana a
acestora. In cel de-al patrulea capitol sunt deduse din consideratii geometrice ecuatiile
de evolutie ale campului gravitational (ecuatiile Einstein) si studiata limita Newtoni-
ana a acestora. In urmatorul capitol sunt prezentate diferite formulari Lagrangiene
ale campului gravitational – camp dinamic (formularile Hilbert–Einstein, Palatini si
de ordinul unu in derivate) si este demonstrata echivalenta acestor formulari. Capi-
tolul sase este dedicat rezolvarii ecuatiilor Einstein (cu si fara constanta cosmologica)
in absenta surselor pentru campuri gravitationale cu simetrie sferica. De asemenea,
in acest capitol este demonstrata teorema Birkho¤ care asigura faptul ca solutiile
cu simetrie sferica ale ecuatiilor Einstein (cu si fara constanta cosmologica) descriu
campuri gravitationale statice. Ultimul capitol prezinta dezvoltari perturbative ale
gravitatiei Hilbert–Einstein in jurul metricii Minkowski.
Dorim sa multumim in mod deosebit prof. dr. C. Bizdadea si prof. dr. S.O. Saliu
pentru comentariile si suportul acordate in cursul elaborarii acestui material.
In …nal, autorii multumesc apriori tuturor celor care prin observatii si sugestii vor
ajuta la imbunatatirea acestui material in vederea unei noi editii.
Cheltuielile de editare si tiparire pentru acest material au fost acoperite integral
din suma alocata grantului de tip A, cod CNCSIS 581, tema nr. 3, din cadrul con-
tractului de cercetare nr. 65GR/11.06.2008, incheiat intre Universitatea din Craiova
si CNCSIS-MEdC.
Craiova, 15 Septembrie, 2008
Autorii
2
2 Varietati netede. Varietati Riemanniene
Acest capitol isi propune sa furnizeze cunostintele matematice necesare abordarii ri-
guroase a teoriilor de camp ce incorporeaza gravitatia. Varietatile netede apar in
…zica inca din studiul fenomenelor mecanice. Mai precis, in formularea Lagrange
a mecanicii clasice pentru un sistem se introduc asa-numitele coordonate generali-
zate, care impreuna cu derivatele de ordinul unu in raport cu timpul, caracterizeaza
complet starea mecanica a sistemului. Matematic, coordonatele generalizate nu sunt
altceva decat functiile de coordonate asociate unei harti locale pe o varietate neteda
numita varietatea de con…guratie a sistemului. In acest capitol vom introduce catego-
ria varietatilor netede Man, subcategoria celor Riemanniene Riem precum si obiectele
geometrice speci…ce acestora. In …nalul capitolului se evidentiaza structurile neteda
a spatiului Minkowski si Riemanniana a universului spatio-temporal.
De…nitia 1 Fie (M; T ) un spatiu topologic Hausdor¤ [1] care veri…ca a doua axioma
de numarabilitate [2]. Un dublet (U; ), unde U 2 T si : U ! (U ) Rm este un
homeomor…sm [2], se numeste harta locala pe multimea M .
De…nitia 2 Fie (M; T ) un spatiu topologic Hausdor¤ si f(Ui ; i )gi=1;2 doua harti
locale. Spunem ca cele doua harti locale sunt neted compatibile daca:
i) U1 \ U2 = ?,
sau
ii) U1 \U2 6= ? si aplicatiile 1 2 : 2 (U1 \ U2 ) ! 1 (U1 \ U2 ) si 2 1 : 1 (U1 \ U2 ) !
2 (U1 \ U2 ) sunt functii netede.
In de…nitia anterioara prin s-a notat inversa aplicatiei , iar pentru compunerea
de aplicatii s-a omis simbolul traditional " ", .
3
Concret, daca notam cu (x (p))a=1;m si (x0 (p))a=1;m coordonatele locale ale
punctului p 2 U1 \ U2 in hartile locale (U1 ; 1 ) si respectiv (U2 ; 2 ), atunci aplicatiile
netede invocate in de…nitia anterioara sunt
8 1 1 01 0m
8 01 01 1 m
< x = x x ;:::;x
> < x = x x ;:::;x
>
.. si .. (1)
> . > .
: m m 01 0m : 0m
x = x x ;:::;x x = x0m x1 ; : : : ; xm
Exemplul 1 Un spatiu a…n real m-dimensional este tripletul (Am ; '; Vm ), unde Am
este o multime de puncte, Vm este un spatiu vectorial real m-dimensional si ' este
aplicatia ' : Am Am ! Vm cu urmatoarele proprietati
Am 3 P ! R (P ) = x (P ) x1 (P ) ; : : : ; xm (P ) 2 Rm ; (2)
unde
' (O; P ) = x (P ) e : (3)
Evident, pe baza proprietatii a1 ) aplicatia R este inversabila. Intr-adevar, a1 ) ex-
prima bijectivitatea aplicatiei
def
'O : Am ! Vm ; 'O (P ) = ' (O; P ) ; (4)
R : Rm ! Am ; R = 'O tR : (5)
Rm 3 x ! tR (x) = x e 2 Vm : (6)
Vom demonstra
n ca oricare
o doua harti
n locale (Am ;o R ) si (Am ; R0 ) asociate reperelor
R = O; (e ) =1;m si R = O0 ; e0 =1;m sunt neted compatibile. Deoarece
(e ) =1;m si e0 =1;m
sunt baze in acelasi spatiu vectorial real, exista matricile pa-
tratice reale a
^ = (a ) ; =1;m si b
a = (a ) ; =1;m [una inversa celeilalte] astfel
incat
e0 = a e ; e =a e0 : (7)
4
Utilizand notatia R (O0 ) = x0 obtinem ca
sau, pe componente
x0 (x) = a (x x0 ) : (9)
In aceeasi maniera determinam aplicatia compusa R R0
cu expresia pe componente
x (x0 ) = a x + x0 : (11)
5
Hartile locale conduc in mod natural la notiunea de atlas neted.
De…nitia 3 Fie (M; T ) un spatiu topologic Hausdor¤ conex care veri…ca a doua axi-
oma de numarabilitate. O colectie A = f(Ua ; a )ga2A [unde A este o multime de
indici] de harti locale se numeste atlas neted daca sunt satisfacute cerintele:
Problema 3 Fie P m (R) multimea factor obtinuta prin factorizarea lui Rm+1
Rm+1 n f0g la relatia de echivalenta ’ ’ de…nita prin
x y , 9 2 R a:i: x = y: (17)
Remarca 1 Pe baza lemei lui Zorn, este su…cient sa identi…cam un atlas neted A pe
(M; T ) pentru a construi o structura nededa si implicit pentru a construi o varietate
neteda care sa aiba ca spatiu geometric M .
6
Remarca 2 In tripletul care caracterizeaza varietatea neteda, putem sa renuntam la
evidentierea topologiei T deoarece aceasta este complet caracterizata de homeomor…s-
mele corespunzatoare hartilor locale din structura neteda.
si
Rm b (Ua \ Ub ) 3 x0 a
!b x = x (x0 ) 2 a (Ua \ Ub ) Rm ; (19)
invertibilitatea reciproca se exprima prin identitatile
x0 x0 (x (x0 )) ; 8 = 1; m (20)
si
x x (x0 (x)) ; 8 = 1; m: (21)
0
Din (20) si (21) prin derivare partiala in raport cu x si respectiv x obtinem
@x0 @x
(x (x0 )) 0 (x0 ) = ; (22)
@x @x
@x 0 @x0
0
(x (x)) (x) = : (23)
@x @x
Un alt concept legat de varietatile netede este cel de aplicatie neteda intre varietati,
de…nit mai jos.
F~ ;a F a : a (U ) ! Rn ; (24)
este functie neteda. Functia compusa (24) este cunoscuta sub numele de expresia locala
a aplicatiei F in hartile locale (Ua ; a ) si (V ; ).
7
Daca notam cu x = (x ) =1;m si y = y i coordonatele in hartile locale
i=1;n
(Ua ; a ) si (V ; ) pe varietatile M si N , atunci expresia locala F~ ;a a aplicatiei F
devine
y = F~ ;a (x) ; (25)
sau pe componente 8 1
>
> y 1 = F~ ;a x1 ; x2 ; : : : xm
>
<
.. (26)
> .
>
> n
: y n = F~ x1 ; x2 ; : : : xm
;a
Doua varietati netede intre care exista un difeomor…sm neted se numesc difeomorfe.
Din de…nitia anterioara, observam ca varietatile difeomorfe au aceeasi dimensiune. Cu
toate acestea, exista varietati netede care au aceeasi dimensiune dar nu sunt difeo-
morfe. Mai mult, exista varietati netede care au acelasi spatiu geometric dar nu sunt
difeomorfe. Exemple de asemenea varietati sunt cele care au drept spatiu geometric
sfera S 7 si R4 .
Varietatile netede pot … privite ca suprafete regulate in spatii euclidiene, conform
urmatoarei teoreme [Whitney].
8
difeomorfa cu orice interval deschis I = ( ; ) R [4]. Notam cu C (M ) curbele
netede pe M .
Fie (Ua ; a ) 2 AM (p0 ) o harta locala astfel incat p0 2 U si …e o curba neteda pe
M ce trece prin p0 . Folosind de…nitia aplicatiilor netede intre varietati netede [pentru
simplitate, fara a afecta generalitatea problemei, am presupus ca intrega imagine a
aplicatiei se a‡a in domeniul hartii locale, (R) U ], aplicatia a : R ! (U )
Rm este neteda. Relativ la harta locala mentionata de…nim vectorul tangent la curba
in punctul p0 prin
d0 ( a ) (1) ; (27)
unde d0 ( a ) este diferentiala aplicatiei R 3 ! a ( ) 2 Rm in punctul = 0.
Daca notam cu x = (x ) =1;m coordonatele locale pe M asociate hartii (Ua ; a ) si
x ( ) = a ( ), atunci expresia concreta a vectorului evidentiat in (27) este
dx1 ( ) dxm ( )
d0 ( a ) (1) = ;:::; 2 Rm : (28)
d =0 d =0
In (30) am folosit conventia Einstein de sumare care presupune sumarea dupa indicele
care se repeta intr-o expresie.
Avand ca model vectorii tangenti la curbe de…niti anterior, introducem notiunea
de vector tangent intr-un punct dat p0 la varietatea (M; AM ). Notam AM (p0 ) =
f(Ua ; a ) 2 AM j p0 2 U g si in multimea AM (p0 ) Rm de…nim relatia de echivalenta
p0
prin
p0
((Ub ; b ) ; v) ((Ua ; a ) ; u) () v = dx0 b a (u) ; (31)
sau, pe componente
p0 @x0
((Ub ; b ) ; v) ((Ua ; a ) ; u) () v = (x0 ) u ; = 1; m: (32)
@x
p0
Problema 4 Sa se demonstreze ca intr-adevar relatia binara de…nita prin (31)
este una de echivalenta [re‡exiva, simetrica si tranzitiva].
9
Multimea vectorilor tangenti la M in punctul p0 se noteaza cu Tp0 M si se numeste
spatiul tangent in punctul p0 la varietatea neteda M .
Pragmatic, un vector tangent in p0 la M este un obiect X0 care se exprima intr-
o harta locala (Ua ; a ) [ a (p0 ) = x0 ] printr-un set de m numere reale X0 (x0 )
(X0 (x0 )) =1;m si care la schimbari de harti locale (Ua ; a ) ! (Ub ; b ) [x ! x0 =
x0 (x) x0 x1 ; : : : ; xm ; = 1; m] se transforma dupa legea
@x0
X0 (x0 ) ! X00 (x00 ) = (x0 ) X0 (x0 ) ; = 1; m: (34)
@x
Exemplul 4 Fie varietatea neteda Am si p0 2 Am si …e vectorul X0 2 Tp0 Am .
Conform de…nitiei anterioare, intr-o harta locala (Am ; R ) acesta se exprima prin
X0 (x0 ) (X0 (x0 )) =1;m , care la schimbari de harti locale [echivalent in acest caz la
schimbari de repere] se transforma ca in (34). Consideram schimbarea de harti locale
(Am ; R ) ! (Am ; R0 ) analizata in (2)–(11). Corespunzator acesteia, componen-
tele m-uplului (X0 (x0 )) =1;m se transforma [in acord cu (34)] ca
@x0
Rm 3 u = u e ! tb;p0 ta;p0 (u) = (x0 ) u e 2 Rm : (41)
@x
De…nitia vectorului tangent X0 = [((Ua ; a ) ; u)]p0 2 Tp0 M permite constructia
^ 0 : F (M ) ! R de…nita prin
unei aplicatii X
^ 0 f = dx f @ f a
X 0 a (u) = u (x0 ) : (42)
@x
10
Problema 5 Sa se arate, folosind (33), ca de…nitia aplicatiei (42) este corecta [nu
depinde de alegerea hartii locale]. Sa se demonstreze ca aplicatia (42) are urmatoarele
proprietati:
Indicatii 2 Proprietatile (43) si (44) sunt consecinte imediate ale proprietatilor de-
rivatelor partiale ale functiilor reale de mai multe variabile reale. Proprietatea (45)
se demonstreaza pe baza de…nitiilor derivatelor partiale si (42).
^ 0 : F (M ) ! R care satisface
Mai mult, se poate demonstra ca orice aplicatie X
(43)–(45) de…neste in mod unic un vector tangent X0 2 Tp0 M [5].
Bazat pe existenta aplicatiei, notam imaginile vectorilor din baza naturala a
spatiului Rm prin aplicatiile ta;p0 cu
@
ta;p0 (e ) = ; = 1; m: (46)
@x x0
Folosind (41) si (46) identi…cam relatiile dintre bazele pe Tp0 M induse de baza natu-
rala a spatiului Rm
@ @x0 @
= (x0 ) ; (47)
@x x0 @x @x0 x00
unde
@
= tb;p0 (e ) : (48)
@x0 x00
11
Prin urmare, elementele spatiului Tp0 M sunt aplicatiile liniare de…nite pe Tp0 M
cu valori in multimea numerelor reale. Acestea se numesc 1-forme sau covectori in
punctul p0 la M . Fie ! 2 Tp0 M si X0 2 Tp0 M . Alegem harta locala (Ua ; a ) 2
AM (p0 ) si conform de…nitiei anterioare avem
!
@
! (X0 ) = X0 (x0 ) ! X0 (x0 ) ! (x0 ) 2 R; (51)
@x x0
Numerele reale (52) se numesc coe…cientii 1-formei ! relativ la harta locala (Ua ; a ) 2
AM (p0 ) si acestia sunt chiar coordonalele covectorului ! in baza din Tp0 M care este
n o
@
duala bazei naturale @x x0
Tp0 M relativ la harta locala (Ua ; a ) 2
=1;m
AM (p0 ). Notam cu (dx )x0 =1;m
baza duala mentionata, aceasta …ind de…nita
prin !
@
(dx )x0 = : (53)
@x x0
Folosind (47) si (53) se deduce imediat legatura dintre bazele (dx )x0 si
n o =1;m
(dx0 )x0 asociate hartilor locale (Ua ; a ) si respectiv (Ub ; b )
0 =1;m
@x0
(dx0 )x0 = (x0 ) (dx )x0 : (54a)
0 @x
In cele ce urmeaza, determinam legea de transformare a coordonatelor covecto-
rilor intr-un punct dat p0 la M la schimbari de harti locale. Fie (Ua ; a ) si (Ub ; b ) 2
AM (p0 ) doua harti locale pe M si f! (x0 )g =1;m si respectiv ! 0 (x00 ) =1;m coordo-
natele covectorului in cele doua harti locale. Folosind (47), (52) precum si liniaritatea
aplicatiei ! obtinem succesiv
! !
@ @x0 @
! (x0 ) = ! =! (x0 )
@x x0 @x @x0 x0
0
!
@x0 @ @x0
= (x0 ) ! (x0 ) ! 0 (x00 ) : (55)
@x @x0 x0 @x
0
12
Notatia utilizata pentru baza (dx )x0 =1;m din Tp0 M asociata hartii locale
(Ua ; a ) 2 AM (p0 ) se justi…ca dupa cum urmeaza. Fie o functie neteda reala f 2
F (M ). Pe baza aplicatiei (42), aceasta de…neste o aplicatie liniara reala pe Tp0 M
prin
@ f a
(df )p0 (X0 ) = X0 (x0 ) (x0 ) ; (57)
@x
numita diferentiala aplicatiei f in p0 2 M . Daca alegem f a … chiar proiectia pe co-
1
ordonata a aplicatia de coordonate a [extinsa evident prin C -diferentiabilitate
la intreaga varietate M ], atunci
: Rm ! R; (x) = x : (59)
13
Avand in vedere de…nitia tensorilor de tip (r; s) in p0 2 M , precum si bazele
naturale ale spatiilor Tp0 M si Tp0 M asociate unei harti locale (Ua ; a ) 2 AM (p0 ), o
baza in multimea Tsr (Tp0 M ) este
( )
@ @
dx x0
1 dx x0
s : (63)
@x 1 x0 @x r x0
i ; j =1;m
Folosind notatia (61), precum si relatiile (47) si (54a), putem spune ca un tensor
de tip (r; s) in p0 2 M este un obiect T care se exprima intr-o harta locala (Ua ; a )
[ a (p0 ) = x0 ] printr-un set de mr+s numere reale T (x0 ) T 11 sr (x0 ) ; j =1;m
i
si care la schimbari de harti locale (Ua ; a ) ! (Ub ; b ) [x ! x0 = x0 (x)
x0 x1 ; : : : ; xm ; = 1; m] se transforma dupa legea
0 @x0 1 @x0 r
T 1
1
s
r
(x0 ) ! T 1
1
s
r
(x00 ) = (x0 ) (x0 )
@x 1 @x r
@x 1 @x s 0
(x00 ) (x ) T 11 sr (x0 ) : (64)
@x0 1 @x0 s 0
Notatia (63) nu este intamplatoare, sursa acesteia …ind produsul tensorial. Pro-
dusul tensorial este exprimat prin aplicatia biliniara
0 0
r+r
Tsr (Tp0 M ) Tsr0 (Tp0 M ) 3 (T; T0 ) ! T T0 2 Ts+s 0 (Tp0 M ) ; (65)
de…nita prin
0
T T0 ! 1 ; : : : ; ! r+r ; X1 ; : : : Xs+s0 =
0
= T ! 1 ; : : : ; ! r ; X1 ; : : : Xs T0 ! r+1 ; : : : ; ! r+r ; Xs+1 ; : : : Xs+s0 : (66)
Cji T ! 1 ; : : : ; ! r 1
; X 1 ; : : : ; Xs 1 =
!
1 i 1 r 1 @
= T ! ;:::;! ; (dx )x0 ; : : : ; ! ; X 1 ; : : : ; Xj 1; ; : : : ; Xs 1 : (69)
@x x0
14
Problema 7 Sa se demonstreze ca daca T 2 Tsr (Tp0 M ) [ in harta locala (Ua ; a ),
a (p0 ) = x0 , coordonatele acestuia sunt T 1 s (x0 ) ] atunci
1 r
; j =1;m i
1 r 1 1 i 1 i+1 r 1
W 1 s 1 (x0 ) = T 1 j 1 j+1 s (x0 ) (70)
reprezinta componentele [in harta locala (Ua ; a ), a (p0 ) = x0 ] ale unui tensor din
Tsr 11 (Tp0 M ).
Pe baza spatiilor tensoriale Tsr (Tp0 M ) se construieste prin suma directa spatiul
tensorilor in p0 2 M ca
M
T (Tp0 M ) = Tsr (Tp0 M ) ; (71)
r;s2N
unde
Trs 2 Tsr (Tp0 M ) ; 8r; s 2 N; (74)
in care aproape toti termenii din suma sunt triviali [toti cu exceptia unui numar
…nit]. Multimea T (Tp0 M ) poate … structurata ca algebra reala [in…nit-dimensionala]
numita algebra tensoriala in p0 2 M . Legile de compozitie pe T (Tp0 M ) sunt suma
tensorilor
de…nita prin
T + T0 = T00 + T00 1 01 0 00
0 + T0 + T0 + T1 + T1 + ; (76)
inmultirea cu scalari
de…nita prin
de…nit prin
T T0 = T00 T00 0 01 1 00 0 00 0 00
0 + T0 T0 + T0 T0 + T0 T1 + T1 T0
15
+ T00 T02 2 00 1
0 + T0 T0 + T0 T01
0 + : (80)
In continuare, vom investiga consecintele existentei unei aplicatii netede intre
doua varietati netede. Pentru aceasta, presupunem ca avem doua varietati netede
(M; TM ; AM ) si (N; TN ; AN ) de dimensiuni m si respectiv n si o aplicatie neteda
F 2 F (M; N ). Existenta unei astfel de functii asigura, prin intermediul compunerii
de aplicatii, o corespondenta intre curbele netede pe M (C (M )) si cele pe N (C (N )),
dar si o corespondenta intre campurile scalare pe N (F (N )) si cele pe M (F (M )),
corespondente date prin
C (M ) 3 ! F 2 C (N ) ; (81)
F (N ) 3 ' ! 'F 2 F (M ) : (82)
Functiile de…nite prin (81) si (82) permit constructia unor aplicatii liniare intre spatiile
tangente si intre cele cotangente in punctele p0 2 M si q0 = F (p0 ) 2 N , dupa cum
vom vedea in cele ce urmeaza.
De…nitia 11 De…nim aplicatia tangenta
F ;p0 : Tp0 M ! Tq0 N (83)
[cunoscuta si sub numele de "push forward"] ca …ind functia ce asociaza vectorului
tangent la curba 2 C (M ) in punctul p0 vectorul tangent la curba F 2 C (N ) in
punctul q0 .
Utilizand doua harti locale pe M si respectiv N , putem construi expresia aplicatiei
(83) relativ la acestea. Fie (Ua ; a ) 2 AM si (V ; ) 2 AN astfel incat F (Ua ) V .
Construim ca in (24) expresia lui F in hartile locale alese F~ ;a . Fie X 2 Tp0 M ,
X = X (x0 ) @x@ x0 . Atunci,
@y i @
F ;p0 (X) = (x0 ) X (x0 ) ; (84)
@x @y i y0
unde am notat prin y0 = (q0 ). Din (84) se observa ca F ;p0 este intr-adevar aplicatie
liniara. Liniaritatea mentionata permite constructia dualei algebrice a lui F ;p0
F;p0 : Tq0 N ! Tp0 M; (85)
[cunoscuta si sub numele de "pull back"] de…nita prin
F;p0 ( ) (X) = (F ;p0 (X)) : (86)
Concret, pentru orice 1-forma 2 Tq0 N , = i (y0 ) dy i y0
avem
@y i
F;p0 ( ) = i (y0 ) (x0 ) (dx )x0 : (87)
@x
Aplicatiile (83) pot … extinse la orice tensor complet contravariant iar (85) la orice
tensor complet covariant.
Problema 8 Sa se determine actiunile aplicatiei F ;p0 pe un tensor T 2 T r (Tp0 M )
si cea a aplicatiei F;p0 pe un tensor Y 2 Ts (Tq0 N ).
16
2.1.3 Campuri de tensori pe varietati netede
Anterior am de…nit vectorii, covectorii si tensorii in puncte date ale unei varietati
netede (M; AM ). Construim multimile
[
TM = Tp M (88)
p2M
si [
T M= Tp M; (89)
p2M
acestea se numesc spatiul total al …bratului tangent si respectiv cel al …bratului cotan-
gent. Ambele multimi pot … organizate ca varietati netede reale 2m-dimensionale.
Vom demonstra aceasta a…rmatie numai pentru multimea T M .
Fie (Ua ; a ) 2 AM . Construim dubletul U ^a ; a , ai carui factori sunt
[
^a =
U fTp M jp 2 Ua g (90)
este
b a (x; X) = (x0 ; X0 ) ; (94)
unde pe componente avem
17
Am demonstrat anterior ca spatiul T M poate … inzestrat natural cu o structura
de varietate neteda 2m-dimensionala. De…nim aplicatia
def
: T M ! M; (Xp ) = p; (97)
~ (x; X) = x: (98)
Tripletul
(M ) = (T M; ; M ) (99)
se numeste …bratul tangent al varietatii netede (M; AM ) si este un caz particular de
…brat vectorial. Pentru mai multe detalii a se vedea [7].
X = 1M : (100)
18
Intr-o maniera similara se procedeaza pentru introducerea campurilor netede de
def
covectori [1-forme]. Mai precis, daca notam cu 0 : T M ! M , 0 (! p ) = p, un
camp neted de covectori este o aplicatie neteda : M ! T M ce satisface
0
= 1M : (104)
Din punct de vedere intuitiv, un camp de 1-forme este aplicatia care asociaza …ecarui
punct p de pe varietatea M un covector in p la M , asocierea facandu-se in mod neted.
Practic, un camp neted de covectori se exprima intr-o harta locala (Ua ; a ) 2 AM
prin
= (x) dx ; (105)
unde (x) sunt functii netede reale de…nite pe a (Ua ) Rm . La schimbari de harti
locale (Ua ; a ) ! (Ub ; b ) [x ! x0 = x0 (x)], functiile (x) se transforma dupa
legea
@x
(x) ! 0 (x0 ) = (x) : (106)
@x0
Notam cu
0
(M ) = (T M; ; M ) ; (107)
0
si cu (M ) multimea 1-formelor netede pe M [cunoscuta in matematica drept
F (M )-modulul sectiunilor in …bratul cotangent 0 ]. Se poate demonstra ca F (M )-
0
modulul (M ) este dualul algebric al F (M )-modulului ( (M )) [5]. Cu alte
cuvinte, campurile netede de 1-forme pe M sunt aplicatiile F (M )-liniare de…nite pe
( (M )) si cu valori in F (M ).
Generalizarea spatiilor (88) si (89) se face in mod natural pe baza notiunii de
tensor de tip (r; s) in p0 2 M . De…nim multimea
[
Tsr M = Tsr (Tp M ) ; (108)
p2M
cunoscuta sub numele de spatiul total al …bratului tensorial de tip (r; s) pe varietatea
(M; AM ). Ca si in cazul spatiului total al …bratului vectorial, multimea Tsr M poate …
inzestrata cu o structura de varietate neteda reala (m + mr+s )-dimensionala. De…nim,
def
ca si in cazurile anterioare, proiectia canonica (r;s) : Tsr M ! M , (r;s) (Tp ) = p si
identi…cam …bratul tensorial de tip (r; s) ca …ind tripletul
De…nitia 13 Numim camp neted tensorial de tip (r; s) pe varietatea neteda (M; AM ),
o aplicatie neteda T : M ! Tsr M care satisface
(r;s) T = 1M : (110)
Din punct de vedere intuitiv, un camp neted tensorial de tip (r; s) este aplicatia
care asociaza …ecarui punct p de pe varietatea M un tensor de tip (r; s) in p la M ,
19
asocierea facandu-se in mod neted. Practic, un camp tensorial neted T se exprima
intr-o harta locala (Ua ; a ) 2 AM prin
@ @
T=T 1
1
s
r
(x) dx 1
dx s ; (111)
@x 1 @x r
0 @x0 1 @x0 r @x 1 @x s
T 1
1
s
r
(x) ! T 1
1
s
r
(x0 ) = T 1 r
(x) : (112)
@x 1 @x r @x0 1 @x0 s 1 s
In acest caz, produsul tensorial este F (M )-liniar in …ecare dintre factorii acestuia.
De asemenea, contractiile campurilor tensoriale netede se de…nesc in maniera di-
recta. Fie T 2 (r;s) (M ) camp tensorial neted. De…nim contractia acestuia dupa
indicii i 2 1; r si j 2 1; s ca …ind aplicatia F (M )-liniara
Cji T ! 1 ; : : : ; ! r 1
; X 1 ; : : : ; Xs 1 =
@
= T !1 ; : : : ; !i 1
; dx ; : : : ; ! r 1
; X1 ; : : : ; Xj 1; ; : : : ; Xs 1 : (116)
@x
Campurile tensoriale de tip (r; s) pot manifesta anumite simetrii relativ la per-
mutarea indicilor coordonatelor acestora, simetrii independente de harta locala aleasa.
Spre exemplu, despre campul tensorial (111) spunem ca este complet simetric in in-
dicii de covarianta daca pentru orice permutare 2 Ss [Ss sunt permutarile multimii
f1; : : : ; sg] avem egalitatea
T 1
1
s
r
(x) = T 1
(1)
r
(s)
(x) (117)
20
In …nalul acestei sectiuni vom discuta despre constructia unor campuri netede
de tensori prin intermediul aplicatiilor netede. Mai precis vom “globaliza” de…nitiile
aplicatiilor (83) si (85).
Fie (M; AM ) si (N; AN ) doua varietati netede si F : M ! N o functie neteda.
Aplicatiile (83) si (85) permit:
@y i1 @y ir @ @
F V =V 1 r (x (y)) (x (y)) (x (y)) i1 ; (119)
@x 1 @x r @y @y ir
unde y ! x (y) este expresia locala a aplicatiei netede F .
@y i1 @y is
F T = T i1 is (y (x)) dx 1 dx s : (120)
@x 1 @x s
21
(Ua ; a ) 2 AM prin (101). Difeomor…smul in…nitesimal X" [" 2 R, j"j << 1] gen-
erat de (101) are in harta locala (Ua ; a ) 2 AM expresia (103). Acesta “transporta”
punctul p 2 Ua in punctul p0 X" (p) 2 Ua , unde
22
Problema 10 Sa se demonstreze ca daca T 2 (r;s) (M ) este un camp tensorial
neted cu expresia locala (111), atunci functiile netede de…nite prin
r
X
1 i 1 i 1 r
($X T) 1
1
r
s
(x) X (x) @ T 1
1
s
r
(x) T 1 s (x) @ X i (x)
i=1
s
X
+ T 1
1 r
j 1 j+1 s (x) @ j X (x) (130)
j=1
23
sau, intr-o harta locala (Ua ; a) 2 AM ,
a
g (x) = ab e (x) eb (x) ; (135)
unde
ea = ea (x) dx : (136)
Un caz particular de varietati Riemanniene sunt cele ‡at (plate) in care pentru
…ecare punct p0 2 M exista o harta locala (Ua ; a ) 2 AM (p0 ) astfel incat functiile
g (x) sunt constante
g (x) = ; 8x 2 a (Ua ) : (137)
Exemplul 5 Consideram multimea S 2 . Alegand un reper cartezian cu originea in
centrul sferei, inzestram multimea S 2 cu structura neteda subordonata atlasului neted
A = f(UN ; N ) ; (US ; S )g construit in continuare. Domeniile hartilor locale sunt
UN = S 2 n fN = N (0; 0; 1)g si US = S 2 n fS = S (0; 0; 1)g, iar aplicatiile de coordo-
nate sunt
xp yp
N (p) = ; x1 (p) ; x2 (p) ; (138)
1 zp 1 zp
xp yp
S (p) = ; x01 (p) ; x02 (p) ; (139)
1 zp 1 zp
unde p este punctul de pe sfera din domeniul corespunzator al hartii locale si este
caracterizat in reperul cartezian ales prin p = p (xp ; yp ; zp ). Construim incluziunea
naturala a lui S 2 in R3 [relativ la reperul cartezian ales] i : S 2 ! R3 , i (p) =
(xp ; yp ; zp ) care este aplicatie neteda. Expresia acesteia in harta locala (UN ; N ) este
8 1
>
> x = 1+(x12x)2 +(x2 )2
< 2
x1 ; x2 ! y = 1+(x12x)2 +(x2 )2 ; (140)
>
> 2 2
: (x1 ) +(x2 ) 1
z = 1+(x1 )2 +(x2 )2
24
iar in harta locala (US ; S)
4 01
g= h i2 dx dx01 + dx02 dx02 : (144)
2 2
1+ (x01 ) + (x02 )
Acesta este egal cu patratul distantei dintre punctele in…nit mic vecine p (xp ; yp ; zp )
si p0 (xp0 ; yp0 ; zp0 )
2x1 2 x1 + dx1
xp = 2 2; xp0 = 2 2; (147)
1 + (x1 ) + (x2 ) 1 + (x1 + dx1 ) + (x2 + dx2 )
2x2 2 x2 + dx2
yp = 2 2; yp0 = 2 2; (148)
1 + (x1 ) + (x2 ) 1 + (x1 + dx1 ) + (x2 + dx2 )
2 2 2 2
x1 + x2 1 x1 + dx1 + x2 1
zp = 2 2 ; zp0 = 2 2 (149)
1+ (x1 ) + (x2 ) 1+ (x1 + dx1 ) + (x2 + dx2 )
de pe sfera S 2 . Neglijand termenii de ordinul trei in marimile in…nitesimale dx1 si
dx2 obtinem ca
2 2 2
ds2 = (xp xp0 ) + (yp yp0 ) + (zp zp0 ) : (150)
25
Notatia consacrata pentru componentele campului ! X este
0 @ @
(M ) 3 ! = ! (x) dx ! X! = g (x) ! (x) 2 ( (M )) : (157)
@x @x
Notatia consacrata pentru componentele campului vectorial X! este
r + s = r0 + s0 : (159)
unde
g^ (X) = sign (g (x0 ) X (x0 ) X (x0 )) : (161)
26
Problema 12 Sa se demonstreze ca marimea (160) este obiect geometric [nu depinde
de harta locala aleasa].
dx ( ) dx ( )
g (x ( )) 6= 0; (164)
d d
unde x ( ) = a ( ). Continuitatea functiilor care apar in (164) asigura faptul ca
marimea din membrul stang are semn constant. De…nim “lungimea” curbei pe
portiunea p1 p2 [ ( 1 ) = p1 , ( 2 ) = p2 ] prin relatia
Z2 r
dx ( ) dx ( )
lp1 p2 ( ) = d g^g (x ( )) ; (165)
d d
1
27
jdx j << 1] putem sa transportam paralel vectorul X 2 Tp0 M in Tp M construind in
Tp M vectorul Xk care are aceeasi lungime cu X si care face cu vectorul “deplasare”
dx acelasi unghi ca si vectorul X. Folosind transportul paralel in…nitesimal descris
anterior din aproape in aproape, putem transporta paralel de-a lungul unei curbe
regulate vectorii tangenti in puncte diferite ale varietatii Riemanniene (M; AM ; g).
Observam astfel ca nu exista o semni…catie absoluta a transportului paralel intre
punctele p1 , p2 2 M , deoarece transportatul paralel depinde de curba ce trece prin
p1 si p2 si in lungul careia se face transportul paralel. Mai multe aspecte intuitive
referitoare la transportul paralel se pot gasi in [10] si [11].
Avand ca model sfera bidimensionala S 2 , vom presupune [fara a afecta generali-
tatea rezultatelor pe care le vom obtine] ca (M; AM ; g) poate … scufundata regulat in
varietatea neteda AN asociata spatiul a…n real N -dimensional (AN ; '; VN ) inzestrat
cu forma patratica
ds2 = AB dz A dz B ; (166)
unde z = z A A=1;N sunt coordonatele punctelor din AN in raport cu un reper ales
n o
R = O; (eA )A=1;N . Mai mult, putem presupune ca
g=i ; (167)
A
= AB dz dz B 2 (0;2) (AN ) : (168)
@z A (x) @z B (x) A
g (x) = AB AB z ; (x) z B; (x) : (170)
@x @x
Consideram doua puncte in…nit mic vecine p0 , p 2 M [in harta locala (Ua ; a ) 2
AM , a (p0 ) = x0 si a (p) = x0 + x, unde j x j << 1]. Ne propunem sa transportam
paralel pe X 2 Tp0 M , exprimat local prin
@
X = X (x0 ) ; (171)
@x x0
z = z0 + z; (172)
unde
z A = z A; (x0 ) x : (173)
28
Construim imaginea prin i ;p0 a vectorului (171)
unde Yk (z) este imaginea prin i ;p a unui vector Tp M , iar Y? (z) este ortogonal
[relativ la (168)] pe toti vectorii din i ;p (Tp M ). Notam cu Xk 2 Tp M vectorul care
satisface
i ;p Xk = Yk (z) : (177)
Prin de…nitie, acest vector este transportatul paralel al vectorului X 2 Tp0 M . Vec-
torul Xk este unic deoarece descompunerea (176) este unica, iar aplicatia i ;p este
injectiva. Daca notam
@
Xk = Xk (x) ; (178)
@x x
obtinem pentru vectorul i ;p Xk expresia
relatii echivalente cu
f; = f; ; (184)
de unde obtinem
z B; (x) = z B; (x0 ) + z B; (x0 ) x : (185)
29
In ecuatiile de mai sus am folosit notatia
@2f
f; = : (186)
@x @x
Introducem (185) in membrul drept al egalitatii (183) si folosind (170) identi…cam
Xk (x) = X (x0 ) + X (x0 ) z A; (x0 ) z B; (x0 ) x AB : (187)
Marimile
(x0 ) = z A; (x0 ) z B; (x0 ) AB ; (188)
se numesc simbolurile Christo¤el de speta I. Acestea pot … de…nite pe intreg spatiul
M , sunt simetrice in ultimii doi indici
(x0 ) = (x0 ) (189)
si pentru …ecare set , , 2 1; m functiile sunt netede. In termenii de…nitiei
(188), relatia (187) devine
Xk (x) = X (x0 ) + (x0 ) X (x0 ) x : (190)
La prima vedere, functiile par a depinde de spatiul de scufundare AN precum
si de aplicatia i : M ! AN . Vom demonstra insa ca obiectele depind numai
de metrica pe varietatea Riemanniana (M; AM ; g). In acest sens, derivand (170) in
raport cu x
g ; = AB z A; z B; + AB z A; z B; (191)
si luand permutarile circulare in indicii ( ; ; ) ale egalitatii (191) obtinem
A
g ; = AB z ; z B; + A
AB z ; z B; ; (192)
A
g ; = AB z ; z B; + A
AB z ; z B; : (193)
Folosind teorema Schwarz, simetria metricii pe spatiul a…n AB = BA si egalitatile
(191)–(193) obtinem expresiile functiilor (188) in termenii derivatelor metricii pe va-
rietatea Riemanniana (M; AM ; g)
1
(x) = [g ; (x) + g ; (x) g ; (x)] : (194)
2
Din (194) putem exprima derivatele metricii in functie de simbolurile Christo¤el de
speta I ca in ecuatiile
g ; (x) = (x) + (x) : (195)
Desi indicii functiilor (x) sunt de acelasi tip cu indicii coordonatelor locale
pe (M; AM ; g), acestea nu reprezinta componentele unui camp tensorial de tip (0; 3)
intr-o harta locala (Ua ; a ) 2 AM
Problema 14 Demonstrati ca la schimbari de harti locale (Ua ; a) ! (Ub ; b) [x !
x0 = x0 (x)] functiile (x) se transforma dupa legea
0 @x @x @x @x @2x
(x) ! (x0 ) = (x) + g (x) : (196)
@x0 @x0 @x0 @x0 @x0 @x0
30
Indicatii 3 Folositi (194) precum si faptul ca la schimbari de harti locale (Ua ; a) !
(Ub ; b ) [x ! x0 = x0 (x)] coe…cientii metricii se transforma dupa legea
@x @x
g (x) ! g 0 (x0 ) = g (x) : (197)
@x0 @x0
Notam cu dX variatia covectorului X (x) la transportul paralel din p 2 M
in p0 2 M [in harta locala (Ua ; a ) 2 AM , a (p) = x si a (p0 ) = x + x, unde
j x j << 1]
dX Xk (x + x) X (x) = X x : (198)
In cele ce urmeaza vom demonstra ca lungimile vectorilor se conserva la deplasari
paralele in…nitesimale
g ; = g g g ; : (201)
31
In termenii simbolurilor Christo¤el de speta a II-a relatiile (198) devin
dX = X x (206)
Deoarece functiile (x) nu reprezinta coordonatele locale ale unui camp tensorial
de tip (0; 3), rezulta ca nici (x) de…nite in (204) nu sunt componetele unui camp
tensorial de tip (1; 2) in harta locala (Ua ; a ) 2 AM .
dX = X x : (210)
ceea ce implica
(dX ) + X x Y = 0: (211)
In virtutea arbitrarietatii vectorului Y 2 Tp M din (211) rezulta (210).
Fie X 2 ( (M )) un camp vectorial neted si …e p, p0 2 M [in harta locala
(Ua ; a ) 2 AM , a (p) = x si a (p0 ) = x + x, unde j x j << 1]. Atunci,
@
X (x + x) = X (x + x) ; (212)
@x x+ x
si
@
Xk (x + x) = Xk (x + x) (213)
@x x+ x
32
este tot vector tangent in acelasi punct al varietatii. Termenii dintre parantezele
drepte din membrul drept al egalitatii (214) le notam cu
@X 0 (x0 ) @ @x0
X0 ; (x0 ) + 0
(x0 ) X 0 (x0 ) = X (x)
@x0 @x0 @x
@x0 @x @x @x0 @2x @x0
+ (x) + X (x)
@x @x0 @x0 @x @x0 @x0 @x
@ 2 x0 @x @x0 @x
= 0
X (x) + X ; (x)
@x @x @x @x @x0
@x0 @x @x @x0 @2x @x0
+ (x) + X (x) : (216)
@x @x0 @x0 @x @x0 @x0 @x
@x0 @2x @ 2 x0 @x @x
= : (217)
@x @x0 @x0 @x @x @x0 @x0
Pe baza relatiilor anterioare si a ecuatiilor (23) formula (216) devine
@x0 @x
X0 ; (x0 ) = X ; (x) + (x) X (x)
@x @x0
@x0 @x
X ; (x) : (218)
@x @x0
Relatiile (218) demonstreaza caracterul tensorial al marimilor (215).
0
Fie 2 (M ) un camp neted de 1-forme si …e p, p0 2 M [ in harta locala
(Ua ; a ) 2 AM , a (p) = x si a (p0 ) = x + x, unde j x j << 1]. Atunci
si
k (x + x) = ! k (x + x) (dx )x+ x (220)
33
sunt covectori in p0 2 M . Se poate arata si in aceasta situatie ca diferenta celor doi
covectori este tot covector in acelasi punct al varietatii
Termenii din parantezele drepte din membrul drept al egalitatii (221) se noteaza cu
T = X1 Xr !1 !s : (227)
34
unde
@
Xi = Xi (x) ; ! j = ! j (x) dx : (229)
@x
Aplicand regula (223) pentru calculul derivatei covariante in raport cu @=@x a cam-
pului tensorial (228) obtinem
0 10 1
Xr Yr Ys
B C
T 11 sr; (x) = Xk;k (x) @ Xi i (x)A @ ! j j (x)A
k=1 i=1 j=1
i6=k
0 1
r
! s s
Y X B Y C l
+ Xi i (x) B ! j j (x)C
@ A ! l ; (x)
i=1 l=1 j=1
j6=l
2 !0 s 13
r
Y Y
= 4 Xi i (x) @ ! j j (x)A5
i=1 j=1
;
0 10 1
r
X r
Y s
Y
B C
+ k
k
(x) Xk k (x) @ Xi i (x)A @ ! j j (x)A
k=1 i=1 j=1
i6=k
0 1
r s
!
s
Y X BY C
Xi i
(x) B ! j
(x)C l (x) ! l l (x) : (230)
@ j A l
i=1 l=1 j=1
j6=l
Introducand (228) in membrul drept al egalitatii (230) putem scrie derivata covarianta
sub forma
Xr
k
T 11 sr; (x) = T 11 sr; (x) + k
k
(x) T 11 sk 1 k+1 r (x)
k=1
s
X
l
l
(x) T 1
1
l
r
1 l l+1 s
(x) : (231)
l=1
Derivatele covariante ale tensorul metric se obtin din relatiile (231) particularizate
pentru un camp tensorial de tip (0; 2)
g ; (x) = g ; (x) (x) g (x) (x) g (x)
= g ; (x) ( ) (x) : (232)
Pe baza relatiilor (195) obtinem ca derivatele covariante ale tensorului metric (232)
se anuleaza
g ; (x) = 0: (233)
Ecuatiile (233) implica pe baza relatiilor (155) si (223) ca derivatele covariante ale
inversei tensorului metric se anuleaza
g ; (x) = 0: (234)
35
Problema 18 Sa se calculeze simbolurile Christo¤ el pentru metrica indusa pe S 2 ,
exprimata local prin (143) si (144).
Transportatul paralel al vectorul cu coordonatele (236) din Tp2 M in Tp4 M are coor-
donatele
~ (x + dx + x)
X = X (x) (x) X (x) dx + dx
k
~ (x + dx + x) obtinem
Prin calculul diferentei dintre Xk (x + dx + x) si X k
Xk (x + dx + x) ~ (x + dx + x) =
X R (x) X (x) dx x ; (240)
k
36
In (241) am utilizat conventia de antisimetrie
A[ ] =A A : (242)
@
X = X (x) : (243)
@x
Pe baza de…nitiei (215), a simetriei simbolurilor Christo¤el de speta a II-a in indicii
inferiori si a notatiei (241), avem ca
X ; ; (x) X ; ; (x) = X ; ;
(x) X ; ;
(x)
= X ; ;
(x) + (x) X ; (x) (x) X ; (x)
X ; ;
(x) (x) X ; (x) + (x) X ; (x)
= R (x) X (x) : (244)
Relatiile (244) si (245) pot … generalizate pentru un camp tensorial neted arbitrar
T2 (r;s) (M ) . Pentru un astfel de camp tensorial cu expresia in harta locala
(Ua ; a ) 2 AM data prin
@ @
T=T 1
1
s
r
(x) dx 1
dx s ; (246)
@x 1 @x r
avem
r
X
1 k 1 k k+1 r
T 1
1 r
s; ; (x) T 1
1 r
s; ; (x) = R k
k
(x) T 1 s (x)
k=1
37
s
X
+ R l
l
(x) T 1
1 r
l 1 l l+1 s
(x) : (247)
l=1
38
Derivand (254) in raport cu x si utilizand relatiile (253) obtinem
@x0 @x0 0
g ; (x) = (x) g (x0 )
@x @x
@x0 @x0 0 @x0 @x0 @x0 @g 0
+ (x) g (x0 ) + (x0 )
@x @x @x @x @x @x0
@x0 @x0 @x0 @g 0
= (x) g (x) + (x) g (x) + (x0 )
@x @x @x @x0
@x0 @x0 @x0 @g 0
= ( ) (x) + (x0 ) : (255)
@x @x @x @x0
Comparand (195) cu (255) obtinem ecuatiile
R j g R ; (258)
fara a mai evidentia coordonatele asociate hartii locale alese. Din (241) si (258)
observam ca tensorul lui Riemann complet covariant este antisimetric in ultimii doi
indici
R j = R j : (259)
Pe baza relatiilor (241) si (258) exprimam tensorul Riemann complet covariant in
functie de simbolurile Christo¤el si derivatele acestora sub forma
R j = g [ ; ] g [ ] = ; + ;
+g ; g ; + : (260)
R j = [ ; ] [ ] : (261)
39
Simetria coe…cientilor metricii impreuna cu cea a simbolurilor Christo¤el de speta
a II-a conduc la proprietatile de simetrie ale tensorului Riemann complet covariant
R j =R j = R j = R j : (263)
R [ j ] R j +R j +R j = 0; (264)
R j RAB ; (265)
unde
A; B 2 f12; 13; 14; : : : ; (m 1) mg : (266)
Multimea in care indicii A si B iau valori are m(m2 1) elemente. Prima egalitate din
(263) este echivalenta cu simetria obiectului RAB in indicii A si B, ceea ce implica
un numar de
m (m 1) m (m 1) m2 m+2
1+2+ + = (267)
2 8
componente independente. Identitatile Bianchi de speta I stabilesc relatii algebrice
intre componentele (265). Numarul de identitati Bianchi de speta I independente care
nu evidentiaza antisimetria in …ecare dintre cele doua perechi de indici [( ) si ( )]
este
m m (m 1) (m 2) (m 3)
= : (268)
4 24
Diferenta dintre (267) si (268) ne conduce la numarul de componente algebric
independente ale tensorului Riemann complet covariant asociat metricii unei varietati
Riemanniene (M; AM ; g) de dimensiune m
m2 m2 1
Nindep = : (269)
12
Tensorul Riemann complet covariant mai satisface si un set de identitati diferen-
tiale numite identitatile Bianchi de speta a II-a. Acestea sunt o consecinta a faptului
ca tensorul Riemann masoara “abaterea” de la comutativitate a derivatelor covari-
ante.
40
0
Fie un camp neted de 1-forme 2 (M ) cu expresia = ! (x) dx in
harta locala (Ua ; a ) 2 AM . Conform discutiilor anterioare, D = ! ; (x) dx dx
este expresia locala a unui camp tensorial neted de tip (0; 2). Pe baza relatiilor (247)
obtinem ca
! ; ; ; ! ; ; ; =R ! ; +R ! ; : (270)
Scriem egalitatile (270) obtinute prin permutarile circulare in indicii ( ; ; )
! ; ; ; ! ; ; ; = R ! ; +R ! ; ; (271)
! ; ; ; ! ; ; ; = R ! ; +R ! ; : (272)
Sumand membru cu membru relatiile (270)–(272) si folosind (264) obtinem
! ;[ ; ]; +! ;[ ; ]; +! ;[ ; ]; =R ! ; +R ! ; +R ! ; (273)
Prelucrand membrul stang al egalitatii (273) pe baza relatiilor (247) derivam relatiile
R ! ;
+ R ! ;
+ R ! ;
=R ! ; +R ! ; +R ! ; : (274)
41
Efectuand contractia dubla a identitatilor (277) cu inversa metricii obtinem re-
latiile
g g R j[ ; ] g g R j ; + R j ; + R j ; = 0: (280)
Pe baza ecuatiilor (234), a proprietatilor de simetrie (263) si a de…nitiilor (278) relatiile
de mai sus pot … exprimate sub forma
1
R; 2g R ; g R g R = 0: (281)
2 ;
Termenii
1
G g R; R (282)
2
pe care actioneaza derivatele covariante in (281) constituie componentele unui camp
tensorial neted de tip (0; 2) care se numeste tensorul lui Einstein. Relatiile (281) pot
… exprimate compact sub forma
G ; = 0: (283)
Simetria tensorului Ricci (279) si relatia de de…nitie (282) conduc la proprietatea de
simetrie a tensorului Einstein.
Un alt camp tensorial neted construit pe baza tensorului Riemann complet co-
variant este tensorul lui Weyl. Acest camp tensorial se construieste ca o combinatie
liniara a tensorilor Riemann, Ricci si curbura scalara. Combinatia liniara pastreaza
proprietatile de simetrie (263)–(264) ale tensorului Riemann iar contractiile tensorului
Weyl cu inversul tensorului metric sunt nule. Construim campul tensorial mentionat
sub forma
W j =R j +a g [ R ] g [ R ] + bg [ g ] R: (284)
g W j = 0: (285)
Tensorul lui Weyl este obiectul de baza in constructia formularii Weyl a gravitatiei
conforme.
42
2.2.4 Izometrii. Tensori Killing
Existenta unei metrici pe o varietate Riemanniana (M; AM ; g) conduce natural la
problema determinarii difeomor…smelor netede care conserva metrica respectiva.
@y @y
g (y (x)) (x) (x) = g (x) ; ; = 1; m: (289)
@x @x
Un caz particular de izometrii sunt cele in…nitesimale generate de campuri vecto-
riale netede ca in (103). In aceasta situatie de…nitiile (128) si cea anterioara conduc la
faptul ca un camp vectorial neted X 2 ( (M )) genereaza [prin intermediul aplicatiei
(103)] o izometrie in…nitesimala daca si numai daca
X( ; ) = 0; ; = 1; m: (291)
( 1 s ; s+1 )
= 0; 1; : : : ; s+1 = 1; m: (292)
43
si in acelasi loc] independenta de acesta. Notam cu M4 multimea evenimentelor si o
vom inzestra, pe baza principiilor relativitatii restranse, cu o structura de varietate
Riemanniana plata.
Enunturile principiilor relativitatii restranse sunt:
Axioma 2 Viteza luminii in vid are aceeasi valoare in toate sistemele de referinta
inertiale.
44
Introducand (298) si (299) in (294) obtinem
x0 x0 = x x : (300)
Din egalitatea (300) vom determina legatura dintre coordonatele masurate de ob-
servatorii o si o0 2 OI pentru acelasi eveniment p1 2 M4 folosind asumptia rezonabila
conform careia coordonatele masurate de observatorul o depind neted de cele masurate
de o0 pentru acelasi eveniment
R4 3 x ! x0 = x0 (x) 2 R4 ; (302)
R4 3 x0 ! x = x (x0 ) 2 R4 ; (303)
@ 2 x0 @x0 @x0 @ 2 x0
+ = 0; 8 ; ; = 0; 3: (308)
@x @x @x @x @x @x
Efectuam permutarile circulare in indicii , , in egalitatile (308)
@ 2 x0 @x0 @x0 @ 2 x0
+ = 0; 8 ; ; = 0; 3; (309)
@x @x @x @x @x @x
@ 2 x0 @x0
@x0 @ 2 x0
+ = 0; 8 ; ; = 0; 3: (310)
@x @x @x @x @x @x
45
Realizam o combinatie liniara a egalitatilor (308)–(310) astfel: egalitatea (308) intra
cu factorul 1 iar celelalte doua cu factorul +1. Folosind simetria matricii [ =
] si teorema Schwarz privitoare la derivatele partiale ale functiilor netede reale de
mai multe variabile reale deducem
@ 2 x0 @x0
2 = 0; 8 ; ; = 0; 3: (311)
@x @x @x
@x0
Utilizand invertibilitatea matricii cu elementele @x (23) si nesingularitatea matricii
(297), din relatiile (311) deducem
@ 2 x0
= 0; 8 ; ; = 0; 3: (312)
@x @x
Integrand (312) obtinem expresia concreta a aplicatiei compuse o0 o
x ! x0 = x +a ; = 0; 3; (313)
unde sunt elementele unei matrici patratice = ( ) ; =0;3 care satisfac [pe
baza relatiilor (307)]
= ; 8 ; = 0; 3; (314)
iar a sunt niste numere reale care exprima coordonatele observatorului o masurate
de observatorul o0 .
Inversand (313) determinam expresia aplicatiei cumpuse o o0 [ca inversa functiei
o0 o ] ca …ind
x0 ! x = (x0 a ); = 0; 3; (315)
unde sunt elementele inversei matricii .
Prin urmare, am introdus pe multimea M4 o structura de varietate neteda AM4 =
f(M4 ; o ) jo 2 OI g. Schimbarile de harti locale se realizeaza prin functii de tranzitie
(313). Varietatea (M4 ; AM4 ) se inzestreaza natural cu un camp tensorial de tip (0; 2)
simetric si nedegenerat exprimat in harta locala (M4 ; o ) prin
= dx dx : (316)
46
2.2.6 Universul spatio-temporal
Formularea gravitatiei ca teorie relativista de camp a fost realizata de Einstein in
1911 [14] prin suplimentarea principiilor relativitatii restranse cu un nou principiu,
numit principiul echivalentei, al carui enunt [15] este dat mai jos.
Coordonatele asociate hartii locale (Uo ; o ) evidentiate mai sus se numesc coordonate
normale pe varietatea M4 ; AeM4 ; g in punctul p 2 Uo . Coordonatele normale vor
face transparent principiul echivalentei atunci cand vom introduce notiunea de geo-
dezica, notiune care este direct corelata cu traiectoria unei particule test a‡ata in
campul gravitational ale carui potentiale sunt componentele locale ale metricii g.
47
3 Ecuatii de miscare intr-un camp gravitational
In acest capitol mai intai introducem notiunea de geodezica [prin intermediul trans-
portului paralel] si apoi analizam miscarea unei particule “test” intr-un camp gra-
vitational dat, neglijand modi…carea campului gravitational datorata prezentei par-
ticulei considerate. Conform celor discutate in …nalul capitolului anterior, prezenta
campului gravitational inzestreaza spatiul evenimentelor M4 cu o structura de va-
rietate Riemanniana 4-dimensionala M4 ; AeM4 ; g . Ecuatiile de miscare sunt ob-
tinute din principiul variational bazat pe o functionala caracterizata de metrica pe
varietatea Riemanniana M4 ; AeM4 ; g . Ecuatiile de miscare ale particulei “test” in
campul gravitational dat sunt chiar ecuatiile geodezicelor pe varietatea Riemanniana
M4 ; AeM4 ; g . In …nalul capitolului analizam limita Newtoniana a ecuatiilor de mis-
care ale unei particule “test” intr-un camp gravitostatic pentru a determina legatura
dintre potentialul campului si componentele metricii.
3.1 Geodezice
Numim geodezica pe spatiul M4 [ M4 ; AeM4 ; g varietate Riemanniana] o curba :
I R ! M4 ai carei vectori tangenti se transporta paralel in lungul acesteia. In
cele ce urmeaza vom analiza din punct de vedere matematic notiunea de geodezica.
Alegem o harta locala (Uo ; o ) pe M4 care contine in domeniul de de…nitie al acesteia
toata geodezica (I) Uo . Atunci, expresia locala a curbei respective devine
! x( ) 2 o (Uo ) R4 : (318)
dx @
X (x0 ) = ( 0) ; (319)
d @x x0
unde x0 = x ( 0 ).
Transportatul paralel al vectorului (319) in punctul x00 = x ( 0 + ) = x0 + x
[unde 2 R, j j << 1] a‡at pe curba , conform relatiilor (209) si (210), este exprimat
prin
dx dx @
X (x00 ) = ( 0) (x0 ) ( 0) x : (320)
d d @x x0
0
0
Vectorul anterior coincide cu cel tangent in o (x0 ) la curba
dx @
X (x00 ) = ( 0 + ) : (321)
d @x x00
dx dx dx
( 0) (x0 ) ( 0) x = ( 0 + ); 8 = 0; 3: (322)
d d d
48
Utilizand faptul ca deplasarea pe curba [j j << 1] este in…nitesimala, termenii
din egalitatile (322) se aduc la forma
def dx
x = x ( 0 + ) x ( 0 + ) = ( 0) ; (323)
d
dx dx d2 x
( 0 + ) ( 0) = ( 0) : (324)
d d d 2
Introducem (323) si (324) in (322) si obtinem
d2 x dx dx
( 0) + (x0 ) ( 0) ( 0) = 0: (325)
d 2 d d
d2 x dx dx
( )+ (x ( )) ( ) ( ) = 0; 8 = 0; 3: (326)
d 2 d d
Observam ca de…nitia geodezicei asigura faptul ca vectorii tangenti la aceasta au
aceeasi “lungime”
dx dx
g (x ( )) ( ) ( ) = k: (327)
d d
Aceasta observatie permite clasi…carea [similara celei pentru intervalul cvadridimen-
sional] geodezicelor in:
49
2
d2 x d2 dx d d2 x
= + : (331)
d 2 d 2 d d d 2
d2 x dx dx d d2 dx
+ (x ( )) = : (332)
d 2 d d d d 2 d
Notand
d d2
f( ) ; (333)
d d 2
ecuatiile (332) devin
d2 x dx dx dx
+ (x ( )) =f( ) : (334)
d 2 d d d
Ecuatiile anterioare reprezinta ecuatiile geodezicei intr-o parametrizare arbitrara a
acesteia.
Vom demonstra ca daca avem o curba : J ! R care satisface local (334), atunci
exista o alta parametrizare a acesteia p : J 0 R ! J [ ! = ( )] astfel incat
p satisface ecuatiile geodezicei (326) in harta locala (Uo ; o ). Folosind derivatele
functiilor compuse
2
d d d d2 d d2 d2 d
= ; = + ; (335)
d d d d 2 d d 2 d 2d
Cautam = ( ) astfel incat ultimul termen din membrul stang al egalitatii (336)
sa …e acelasi cu membrul drept
d2 d
2 =f( ) d : (337)
d
Rezolvam ecuatia diferentiala ordinara (337) a carei functie necunoscuta este !
= ( ) [inversa parametrizarii p cautate]. Utilizand notatia
d
R( ) = (338)
d
ecuatia (337) conduce la o ecuatie cu variabile separabile
dR
= f ( ) R: (339)
d
50
Solutia generala a ecuatiei anterioare este
R ( ) = C2 exp F ( ) ; (340)
Alegand constanta de integrare C2 > 0, functia (342) este monoton strict crescatoare
[deci injectiva] si prin micsorarea [eventuala] a codomeniului acesteia [la intervalul J 0 ]
devine surjectiva si deci inversabila. Inversa aplicatiei (342) este chiar parametrizarea
cautata p : J 0 R ! J.
Ecuatiile geodezicei (326) pot … exprimate intr-o forma care ulterior ne va per-
mite identi…carea unor integrale prime importante in evolutia particulelor in campuri
gravitationale statice. Notand cu
dx
u ( )= ( ) (343)
d
avem ca
dx
u ( )=g (x ( )) ( ): (344)
d
Contractand ecuatiile (326) cu g (x ( )) obtinem
du
g (x ( )) ( )+ u ( ) u ( ) = 0; 8 = 0; 3: (345)
d
Pe baza de…nitiilor (344) si a relatiilor (195), ecuatiile (345) pot … aduse la forma
du 1
( ) g ; (x ( )) u ( ) u ( ) = 0; 8 = 0; 3: (346)
d 2
Problema 24 Pe baza argumentelor invocate anterior sa se obtina (346).
51
si au signatura constanta g^ [conditie ce asigura de…nitia corecta a integrandului lui
(347)]. In (347) am utilizat notatia x0 ( ) = dx d . Pe baza principiului variational,
extremalele actiunii (347) sunt solutiile ecuatilor Euler–Lagrange
@L d @L
= 0; = 0; 3; (349)
@x d @x0
unde L este integrandul functionalei (347).
Omitand evidentierea parametrului si folosind simetria coe…cientilor campului
metric obtinem
@L g^g ; x0 x0
= p ; (350)
@x 2 g^g x0 x0
@L g^g x0
= p : (351)
@x0 g^g x0 x0
Deoarece curbele au signatura constanta g^ putem alege pentru solutia sistemului
de ecuatii diferentiale ordinare (349) parametrizarea , care satisface conditia
q
d
= g^g (x ( )) x0 ( ) x0 ( ): (352)
d
Utilizand
dx d dx x0
x_ = =p ; (353)
d d d g^g x0 x0
derivatele (350) si (351) devin
q
@L g^g ;
= g^g x0 x0 x_ x_ ; (354)
@x 2
@L
= g^g x_ : (355)
@x0
Introducem (354) si (355) in (349) si identi…cam
g^g ; d
x_ x_ (^
g g x_ ) = 0: (356)
2 d
Derivand efectiv cel de-al doilea termen din membrul stang al egalitatilor (356),
obtinem ca acestea sunt echivalente cu
1
g x
• + (g ; +g ; g ; ) x_ x_ = 0: (357)
2
Multiplicand (357) cu inversul tensorului metric g si utilizand de…nitiile (204),
ecuatiile (357) devin
x
• + x_ x_ = 0: (358)
Acestea sunt chiar ecuatiile geodezicei intr-o parametrizare a…na (326).
52
In cele ce urmeaza revenim la spatiul Minkowski (M4 ; AM4 ; ). Fie (M4 ; ) o
harta locala [ (p) = (p)]. In harta locala aleasa geodezicele satisfac ecuatiile
d2
2
= 0; (359)
d
deoarece simbolurile Christo¤el sunt identic nule [spatiul Minkowski este un spatiu
plat]. Din (359) observam ca geodezicele spatiului Minkowski sunt dreptele [sau seg-
mentele de dreapta]. Astfel, geodezicele de tip temporal ale spatiului Minkowski coin-
cid cu traiectoriile particulelor libere. Aceasta remarca face pertinenta interpretarea
geodezicelor de tip temporal pe varietatea Riemanniena M4 ; AeM4 ; g ca traiectorii
ale particulelor test in campul gravitational cu potentialele coe…cientii metricii uni-
versului spatio-temporal.
Generalizarea enuntata anterior impreuna cu un rezultat matematic general referi-
tor la existenta coordonatelor normale demonstreaza principiul de echivalenta in cazul
miscarii particulelor test in camp gravitational. Rezultatul matematic invocat este
continut in urmatoarea teorema.
g ;0 = 0 si g = +h ; jh j << 1 (361)
si vom presupune ca vitezele cu care evolueaza particula sunt mici in raport cu viteza
luminii in vid
dxi dx0
<< ; 8i = 1; 3: (362)
d d
Pe baza relatiilor (362), ecuatiile (326) devin
d2 x dx0 dx0
+ 00 = 0: (363)
d 2 d d
53
Utilizand intensitatea slaba a campului gravitational [jh j << 1], coe…cientii
inversului tensorului metric sunt
g = h ; (364)
unde am utilizat notatiile
h = h : (365)
De…nitiile simbolurilor Christo¤el (204) impreuna cu faptul ca am considerat un
camp gravitational slab si stationar (361) conduc la
0 1 ij i
00 = 0; 00 =
h00;j : (366)
2
Introducand (366) in (363), identi…cam ecuatiile geodezicei in aproximatia consi-
derata
2
d2 xi 1 ij dx0
h00;j = 0; (367)
d 2 2 d
d2 x0
= 0: (368)
d 2
In urma integrarii ecuatiei diferentiale (368) obtinem
dx0
= k; (369)
d
unde k este o constanta reala nenula, pe care o putem alege a … chiar viteza luminii in
vid c [printr-o selectare adecvata a observatorului]. Pe baza egalitatii x0 = ct obtinem
dx0 dt
= c; = 1: (370)
d d
Introducand (370) in ecuatiile (367), acestea devin
d2 xi c2 ij
= h00;j (371)
dt2 2
sau, scrise sub forma vectoriala,
d2 ~x c2
2
= rh00 : (372)
dt 2
Comparand (372) cu ecuatia lui Newton corespunzatoare aceleiasi situatii
d2 ~x
= r'; (373)
dt2
unde ' este potentialul campului gravitostatic [pentru un corp sferic de masa M
omogen potentialul gravitostatic este ' = GM=r], determinam
2'
h00 = (374)
c2
si componenta corespunzatoare a metricii
2'
g00 = 1+ : (375)
c2
54
4 Ecuatiile Einstein
In acesta parte ne propunem sa investigam constructia unei teorii relativiste de camp
care descrie gravitatia. Constructia se bazeaza pe argumente geometrice si pe cerinta
ca in limita nerelativista sa regasim gravitatia Newtoniana.
Pentru aceasta, vom porni de la teoria Newtoniana a campului gravitostatic, dat
…ind faptul ca aceasta a reprezentat un succes in descrierea miscarii planetelor.
Proprietatile caracteristice ale teoriei Newtoniene a campului gravitostatic sunt:
i) Este o teorie scalara de camp [campul gravitostatic …ind descris printr-un camp
scalar real '];
ii) Sursele campului gravitational sunt corpurile cu masa nenula;
iii) Ecuatia de camp este una cu derivate partiale, liniara si de ordinul II
'=4 G : (376)
2 2 2
@ @ @
In (376) este operatorul Laplace [ = @x 2 + @y 2 + @z 2 ], G este constanta
gravitationala [cea care intra in legea atractiei gravitationale F = Gmr20 M ], iar este
densitatea volumica de masa.
Teoria relativista de camp care descrie gravitatia o vom construi pe baza a doua
cerinte fundamentale [17]:
I. In aproximatia campurilor gravitationale slabe si independente de timp si a
vitezelor mici, teoria relativista sa reproduca teoria Newtoniana a gravitatiei;
II. Teoria relativista sa ofere predictii care sa …e veri…cate experimental.
Cea mai simpla teorie relativista pentru gravitatie ar … o teorie care sa descrie
campul gravitational printr-un potential scalar. Pentru o astfel de teorie sursa cam-
pului gravitational trebuie sa …e o marime scalara, expresia relativista a masei. In
relativitatea speciala materia este caracterizata prin tensorul de materie [cunoscut
drept cvadritensorul energie-impuls] care este un camp tensorial de tip (2; 0) simetric,
notat traditional cu
T : (377)
Conservarea energiei si impulsului este descrisa local prin ecuatiile
T ; = 0; = 0; 3: (378)
Exemplul 7 In electrodinamica clasica sistemul constituit dintr-un camp si sursele
sale [materie purtatoare de sarcina electrica] este caracterizat de cvadritensorul
T = Tmat + Tem ; (379)
unde Tmat caracterizeaza sursele campului electromagnetic iar Tem campul electromag-
netic. In cazul in care materia purtatoare de sarcina electrica consta intr-o colectie
de sarcini electrice punctiforme, primul termen din membrul drept al lui (379) este
XZ dx dx 4
Tmat = d ma (x xa ( )) ; (380)
a
d d
55
iar al doilea termen [care caracterizeaza campul electromagnetic] este
2
Tem = 0c F F F F : (381)
4
T = T : (382)
T ; = 0; = 0; 3: (383)
56
locale E trebuie sa …e liniare in derivatele de ordinul II ale componentelor metricii.
Referitor la astfel de campuri tensoriale pe varietati Riemanniene exista rezultatul
continut in urmatoarea teorema.
R + g R+ g =T ; ; = 0; 3; (385)
unde , si sunt numere reale si in plus 6= 0 [pentru a asigura cerinta I]. Ecuatiile
(385) sunt echivalente cu
R + g R+ g = T ; = 0; 3; (386)
R + g R+ g ;
R + g R ;
= 0; = 0; 3: (388)
G + g = T ; ; = 0; 3: (391)
57
condus [in functie de conditiile la limita alese] la un Univers …e in contractie, …e
in expansiune. Adaugarea termenului cosmologic permite identi…carea de solutii ale
ecuatiilor (391) care descriu un Univers static.
Deoarece nu avem in vedere abordarea problemei cosmologice, vom considera ecu-
atiile Einstein fara constanta cosmologica
G = T ; ; = 0; 3: (392)
R = 0; ; = 0; 3: (394)
R= T g ; (397)
sau echivalent
R= c2 1 h00 : (398)
Introducem (398) in membrul stang al ecuatiilor (392) si pentru = = 0 deter-
minam
R00 = c2 : (399)
2
58
In aproximatia considerata
1
R00 = g R0 0 = g ij R0i0j = @i i
00 = @i g00;i : (400)
2
Anterior obtinusem pentru componenta g00 a metricii forma (375). Inlocuind (375)
in (400) obtinem imediat ca
1
R00 = 2 ': (401)
c
Introducand (401) in (399) si comparand rezultatul obtinut cu (376), determinam
legatura dintre constantele G si de forma
8 G
= : (402)
c4
Din (402) constatam ca valoarea constantei gravitationale relativiste – responsa-
bila pentru interactia gravitationala este foarte mica [ 10 47 ] si nu este adimen-
sionala. Valoarea foarte mica a constantei gravitationale relativiste implica faptul ca
interactia gravitationala este foarte slaba. Existenta dimensiunii constantei de cu-
plaj induce nerenormabilitatea teoriei cuantice de camp cu limita clasica data de
formularea Hilbert–Einstein.
59
5 Formulari Lagrangiene ale campului gravitational
In acest capitol vom prezenta cateva formulari echivalente ale campului gravitational
privit drept camp dinamic. Mai precis, vom enunta formularile Hilbert–Einstein,
Palatini si formalismul de ordinul I in derivate ale campului gravitational. In cadrul
formularilor mentionate vom calcula ecuatiile de evolutie [care deriva din principiul
variational bazat pe o actiune Lagrangiana] si vom evidentia transformarile gauge.
De asemenea, vom demonstra ca formularile Palatini si cea de ordinul I in derivate
sunt echivalente cu formularea Hilbert–Einstein.
Acest capitol se adreseaza in special studentilor doctoranzi care au in planul indi-
vidual de pregatire avansata disciplina "Relativitate generala".
60
Pe baza de…nitiei determinantului unei matrici
X
g= ( ) g0 (0) g1 (1) g2 (2) g3 (3) ; (408)
2S(4)
ceea ce conduce la
@e 1
= eg : (410)
@g 2
@g
Pentru a calcula @g derivam (155) in raport cu g si determinam
@g 1 ( )
= g g : (411)
@g 2
@R j 1 ( )
= g g ( ): (412)
@g 2
Inlocuind (410), (411) si (412) in (407), de unde obtinem pentru primul termen din
membrul stang al sistemului (406) expresia
2
@LHE 1
= eg R 2eR
2 @g 2
eg g g g ( ): (413)
Contributia celui de-al doilea termen din membrul stang al sistemului (406) se da-
toreaza prezentei in tensorul Riemann a produselor de simboluri Christo¤el de speta
I
2
@LHE @
@ = @ eg g ( )
2 @ (@ g ) @ (@ g )
@ @
= @ 2eg g
@ (@ g ) @ (@ g )
= @ e g g g +g g g g g g
g g g +g g g g g g : (414)
Contributia celui de-al treilea termen din mebrul stang al sistemului (406) se datoreaza
prezentei in tensorul Riemann a derivatelor de ordinul II ale metricii
2
@LHE @ 1
@ @ = @ @ eg g @ @ g
2 @ (@ @ g ) @ (@ @ g ) 2
61
1 1 1
@ @ g @ @ g + @ @ g
2 2 2
= @ @ e g g g g
= @ (@ e) g g g g
+e g @ g +g @ g
g @ g g @ g : (415)
Utilizand aceleasi argumente ca in cazul derivarii relatiilor (411), se obtine simplu ca
@ g = g (@ g ) g : (416)
De asemenea, folosind acelasi algoritm ca cel utilizat in stabilirea relatiilor (409),
determinam
@ g=gg @ g ; (417)
ceea ce conduce, pe baza regulii de derivare a functiilor compuse, la
1
@ e= eg @ g : (418)
2
@LHE
Inlocuind (416) si (418) in (415) obtinem pentru @ @ @(@ @ g ) urmatoarea forma
2
@LHE 1
@ @ = @ e (g g g (@ g 2@ g )
2 @ (@ @ g ) 2
g g g (2@ g 2@ g )
g g g (@ g 2@ g ))] : (419)
Pe baza relatiilor (413), (414) si (419), expresia efectiva a membrului stang al sis-
temului (406) devine
@LHE @LHE @LHE 2 1
@ +@ @ 2
e g R R : (420)
@g @ (@ g ) @ (@ @ g ) 2
Datorita nedegenerarii metricii [g 6= 0] si a identitatilor (420), ecuatiile (406) sunt
echivalente cu
1
R g R = 0; ; = 0; 3: (421)
2
Ecuatiile (421) sunt chiar ecuatiile Einstein pentru campul gravitational in absenta
surselor [materiei] (393).
In continuare investigam transformarile gauge ale actiunii (403). Am determinat
anterior derivatele variationale ale densitatii de Lagrangian (405) [identitatile (420)]
sub forma
LHE 2
2
eG : (422)
g
Calculam divergenta
LHE 2
2
e; G + eG ; : (423)
g ;
62
Folosind identitatile (283), membrul drept al relatiilor (423) devine
LHE 2
2
G e; : (424)
g ;
LHE
0; (428)
g ;
numite identitati Noether ale actiunii Hilbert–Einstein (403). Aceste identitati sunt
expresia invariantei actiunii (403) la transformarile gauge in…nitesimale
g = ; + ; ; (429)
unde ( ) =0;3 sunt coordonatele locale ale unui camp tensorial in…nitesimal arbitrar
de tip (0; 1).
Ecuatiile Einstein cu constanta cosmologica si in absenta surselor [ecuatiile (390)
in care punem T = 0] pot … obtinute din principiul variational bazat pe actiunea
Z
2
S HE [g ] = 2 d4 xe (R 2 ) : (430)
63
Si in acest caz campul gravitational este unul dinamic.
La nivel Lagrangian acesta este descris prin actiunea
Z n h i
P 2 4
S g ; k = 2
d x g (eg ); k (eg ); k
eg g g k k k k : (432)
Problema 27 Sa se veri…ce ca
SP g ; k = = S HE [g ] : (433)
LP @LP @LP
@ = 0; (434)
g @g @ (@ g )
LP @LP
= 0: (435)
k @ k
si
2
LP 1 ( ) 1 ( )
e g g g g ; g ; g g g +g g g
2 k 4 2
( ) ( k ) 1 ( )
g g g + g +g g g k (:437)
2
64
pot … explicitate algebric din ecuatiile lor de camp. Intr-adevar, pe baza expresiilor
(437), obtinem ca ecuatiile (435) conduc la
( k ) 1 ( ) 1 ( ) 1 ( )
g g g g k = g g g g ; g g g g ;
2 4 2
1 ( )
g g g g g g ; :(440)
2
In cele ce urmeaza rezolvam (440) in raport cu campurile k . Pentru aceasta
contractam (440) cu g si obtinem
1
= g g g ; +g g g ; : (441)
2
Contractam (440) cu g
1
2g g k = g g g ; 2g g g ;
2
g g g ; +g g g ; : (442)
ceea ce conduce la
( k ) =g ; : (445)
Efectuand permutarile circulare in indicii , si in egalitatile (445), obtinem pentru
campurile k urmatoarele expresii
1
k ( k ) + ( k ) ( k )
2
1
= (g ; +g ; g ; ) : (446)
2
Problema 28 Demonstrati ca solutiile (446) ecuatiilor (435) sunt independente de
dimensiunea varietatii Riemanniene pe care sunt de…nite campurile k .
k = k ; g ; g k
65
+ k ; + k ; g g k ;
+g ; +g k ( ; ); (447)
unde ( ) =0;3 sunt componentele campului de vectori asociat [in maniera (157)] cam-
pului de covectori cu coordonatele ( ) =0;3 .
Observam ca in cadrul acestei formulari campurile k sunt pur auxiliare in
sensul ca acestea pot … eliminate algebric pe ecuatiile lor de camp. De asemenea,
actiunile (403) si (432) au acelasi numar de parametri gauge independenti, cele doua
teorii avand acelasi numar de grade …zice de libertate.
@
ea = ea
@x
g (ea ; eb ) = ab , a; b = 0; 3 (449)
sau, echivalent,
ea eb g = ab ; a; b = 0; 3: (450)
De…nitia inversei unei matrici conduce pe baza relatiilor (450) la relatiile
ab
ea eb =g ; ; = 0; 3: (451)
In continuare analizam cateva proprietati ale campurilor (ea )a; =0;3 . Faptul ca
acestea sunt dualele campurilor vielbein ea a; =0;3
conduce la
a
ea (eb ) ea eb = b;, a; b = 0; 3: (452)
Daca interpretam ea ca si componentele unei matrici reale 4 4 [cu liniile indiciate
de a si coloanele de ], pe care o notam cu e^, iar eb componentele unei matrici
reale cu acelasi numar de linii si coloane [dar in care indiciaza liniile iar b coloanele],
^ relatiile (452) se scriu compact sub forma
notata cu E,
^ = 14 ;
e^E (453)
66
^
unde 14 este matricea unitate din M4 (R). Relatia (453) arata ca matricile e^ si E
sunt una inversa celeilalte, ceea ce implica
ea ea = ;, ; = 0; 3: (454)
In continuare vom calcula mai intai ecuatiile de camp pentru teoria descrisa la
nivel Lagrangian prin (456) si apoi vom eliminam campurile ! jab pe ecuatiile lor de
camp.
Deoarece densitatea de Lagrangian a teoriei (456) depinde de campurile ea ,
! jab si derivatele de ordinul I ale campurilor ea , ecuatiile de camp pentru (456)
sunt
LI @LI @LI
@ = 0; (458)
ea @ea @ (@ ea )
LI @LI
= 0: (459)
! jab @! jab
@ e= eem (@ em ) : (462)
67
Problema 30 Sa se demonstreze (462).
Pentru a determina expresiile ecuatiilor de camp (458) trebuie mai intai sa calcu-
lam derivatele obiectelor e si em [privite ca functii de campurile independente ea
– primul de…nit prin (455) iar cel de-al doilea exprimat implicit prin relatiile (452)
sau (454)] in raport cu campurile ea .
si
2
LI
e ( em (@ em ) + @ ) ea eb ea eb
2 ! jab
+em ea ! j
mb
eb ! j
ma
i
em ea ! j
mb
eb ! j
ma
: (466)
ea = am
em ; a; = 0; 3: (467)
! [ajb]c c[a
! a] = em (@ em ) c[a b]
e c[a
@ eb]
+ ea @ eb eb (@ ea ) ec ; (468)
! ajbc = ea ! j
bc
; !a = mn !
mjna
: (469)
68
Evident, antisimetria (448), de…nitiile (457) si notatiile (469) conduc la
Pentru a realiza scopul propus vom rezolva mai intai ecuatiile (468) [in raport
cu ! ajbc ] si apoi, pe baza de…nitiilor (457) si (469), vom identi…ca solutia sistemului
algebric (459) [cu necunoscutele ! jab ].
Contractam (468) cu ac si obtinem
! b = @ eb eb em (@ em ) : (471)
ea = @ ea ea @ + ab eb ; (475)
mn
! jab = @ ! jab + ! jab @ + @ ab + ! jm[a b]n ; (476)
unde ( ) =0;3sunt componentele [intr-o harta locala] unui camp vectorial in…nitesi-
mal arbitrar pe varietatea M4 ; AeM4 ; g , iar ( ab )a;b=0;3 sunt niste campuri scalare
in…nitesimale arbitrare pe aceeasi varietate neteda, care satisfac proprietatea de anti-
simetrie
ab = ba ; a; b = 0; 3: (477)
LI LI
ea + ! jab @ j ; (478)
ea ! jab
69
unde
n h i
mn mp nq np mq
j = e em en @[ ! j + ! j ! j ! j ! j pq
h i
mn mp nq np mq
2em en @[ ! j + ! j ! j ! j ! j pq
2 mn mp nq np mq
+ ! j @ eem en + 2em en ! j ! j ! j ! j pq
e
h i
+2 @ eea eb + e em ea ! j
mb
em ea ! j
mb
ab : (479)
[a eb] = 0; a; b = 0; 3; (484)
a = diag ( ; +; +; +) : (485)
Alegerea unor conditii de tipul (484) este pertinenta deoarece o metrica data nu
…xeaza campurile vielbein [adica nu exista o corespondenta biunivoca intre con…gu-
ratiile metricii si con…guratiile setului de campuri vielbein].
70
6 Solutiile cu simetrie sferica ale ecuatiilor Einstein
In acest capitol vom identi…ca solutiile cu simetrie sferica ale ecuatiilor Einstein in
absenta surselor fara constanta cosmologica si cu constanta cosmologica. Clasa de
solutii investigata este interesanta deoarece ofera potentialele campului gravitational
in exteriorul sursei produs de un corp sferic omogen [cum ar … o stea sferica de masa
m0 ].
Mai intai, vom introduce notiunea de camp gravitational static, apoi vom de-
duce cea mai generala expresie a metricii cu simetrie sferica, vom rezolva ecuatiile
Einstein pentru metrica mentionata, vom demonstra ca solutiile cu simetrie sferica
ale ecuatiilor Einstein [solutia Schwarzschild] descriu un camp gravitational static,
vom analiza geodezicele pe spatiul Schwarzschild si in …nal vom evidentia doua dintre
testele clasice ale Teoriei Relativitatii Generale.
Toate rezultatele continute in acest capitol sunt date in formularea Hilbert–Einstein
a campului gravitational [potentialele acestuia sunt componentele locale ale metricii
universului spatio-temporal M4 ; AeM4 ; g ].
g x0 + a; ~x = g x0 ; ~x ; ; = 0; 3; (486)
De…nitia anterioara evidentiaza existenta unei harti locale in care metrica se ex-
prima prin
g = g (~x) dx dx : (487)
Se poate demonstra [17] ca un camp gravitational stationar este echivalent cu
existenta unui vector Killing de tip temporal X [cu expresia intr-o harta locala X =
X (x) @=@x ], ceea ce este echivalent cu faptul ca vectorul X satisface conditia
71
O consecinta imediata a de…nitiei campului gravitational static este existenta unui
sistem de coordonate [o harta locala (Ua ; a ) 2 AeM4 ] in care metrica are expresia
locala
g = g00 (~x) dx0 dx0 + gij (~x) dxi dxj : (490)
Sistemul de coordonate evidentiat in (490) nu este unic [19].
a (p0 ) = 0 2 R4 : (491)
Deaoarece parametrii antisimetrici (493) sunt arbitrari, din (494) deducem ecu-
atiile satisfacute de componenta temporala a metricii g00
72
unde am utilizat notatia q
r j~xj = i j
ij x x : (497)
gkl (x) = xk xl f x0 ; r + kl f
~ x0 ; r : (502)
73
ce este echivalent cu a trece la o noua harta locala (Ub ; b ) 2 AeM4 (p0 ). Notand cu x
coordonatele in harta locala (Ub ; b ), aplicatia compusa a b are expresia
8 0
>
> x = x0 ;
< 1
x = x1 sin x2 cos x3 ;
x ! (506)
>
> x2 = x1 cos x2 cos x3 ;
: 3
x = x1 sin x3 :
Din (506) observam identi…carile intre coordonatele sferice (r; ; ') in raport cu reperul
cartezian Ox1 x2 x3 si x1 ; x2 ; x3
x0 ; r = f~ x0 ; r + r2 f x0 ; r ; (511)
0
x ;r = r2 f~ x0 ; r ; (512)
0 0
x ;r = g00 x ; r ; (513)
0 0
x ;r = 2rf x ; r : (514)
Se poate arata [17] ca exista o clasa de harti locale in care (510) are o expresie mai
simpla. Mai precis, folosind schimbari de harti locale (Ub ; b ) ! (Uc ; c ) [(Uc ; c ) 2
AeM4 (p0 ), c (p) = x
~] pentru care functiile de tranzitie b c au forma generica
8 0
>
> x = x0 x ~0 ; x
~1 ;
< 1 1 0
x = x x ~ ;x ~1 ;
~ !
x 2 2 (515)
>
> x = x ~ ;
: 3
x = x ~3 ;
precum si cerinta ca la distante foarte mari de sursa [r ! 1] metrica varietatii
M4 ; AeM4 ; g sa se reduca la cea a spatiului Minkowski, se arata ca (510) poate …
adusa la forma
2 2
ds2 = e dx0 + e dr2 + r2 d + sin2 d'2 ; (516)
74
unde si sunt functii netede reale
= x0 ; r ; = x0 ; r : (517)
0 1 0 1 0 0 1
00 = _; 01 = ; 11 = _e ; (525)
2 2 2
1 1 0 1 1 1 1 0
00 = e ; 10 = _; 11 = ; (526)
2 2 2
1
22 = re ; 1
33 = re sin2 ; 2
33 = sin cos ; (527)
2 1 3 1 3 cos
21 = ; 31 = ; 32 = : (528)
r r sin
Relatia de de…nitie a tensorului Ricci impreuna cu expresiile simbolurile Christo¤el
de speta a II-a netriviale (525)–(528) evidentiaza pentru tensorul Ricci urmatoarele
componente
R00 0 ;0 + 00; 0 0 + 00
75
0 1 0 1 0 0 1 0
= 00;0 + 01;0 + 00;0 + 00;1 00 00 2 00 01
1 1 0 0 1
01 01 + 00 00 + 10
1 1 e 00 1 0 0 0 2 0
= • + _ (_ _) + + ( )+ ; (529)
2 2 2 2 r
R01 0 ;1 + 01; 0 1 + 01
0 1 0 1 0 0 1 0
= 00;1 + 01;1 + 01;0 + 01;1 00 10 00 11
1 1 0 0 1
01 11 + 01 00 + 10 + 101 0 1
01 + 11 + 221 + 3
31
_
= ; (530)
r
R11 1 ;1 + 11; 1 1 + 11
0 1 0 1 1 1 1 0
= 01;1 + 11;1 + 11;0 + 11;1 11 11 2 10 11
0 0 2 2 3 3
10 10 12 12 13 13
0 0 1 1 0 1 2 3
+ 11 00 + 10 + 11 01 + 11 + 21 + 31
e 1 1 00 1 0 0 0 2 0
= •+ _ (_ _) + ( ) ; (531)
2 2 2 2 r
R22 2 ;2 + 22; 2 2 + 22
3 1 1 2 1 0 1 2 3
= 23;2 + 22;1 2 22 21 + 22 01 + 11 + 21 + 31
h r i
0 0
= e e 1+ ( ) ; (532)
2
R33 3 ;3 + 33; 3 3 + 33
1 2 1 3 2 3 1 0 1 2
= 33;1 + 33;2 2 33 31 + 33 32 + 33 01 + 11 + 21
3 2 3
+ 31 + 33 32
h r i
= e e 1+ ( 0 0
) sin2 : (533)
2
Problema 37 Folosind aceleasi argumente ca si in cazul derivarii componentelor
netriviale (529)–(533) ale tensorului Ricci, sa se arate ca restul componentelor ten-
sorului Ricci sunt triviale.
Pe baza celor deduse anterior, ecuatiile Einstein in absenta surselor (394) sunt
1 1 e 00 1 0 0 0 2 0
• + _ (_ _) + + ( )+ = 0; (534)
2 2 2 2 r
_
= 0; (535)
r
e 1 1 00 1 0 0 0 2 0
•+ _ (_ _) + ( ) = 0; (536)
2 2 2 2 r
76
r 0 0
e 1+ ( ) = 0: (537)
2
In continuare, vom rezolva sistemul de ecuatii (534)–(537) cu functiile necunoscute
= x0 ; r si = x0 ; r . Deoarece tensorul lui Ricci satisface identitatile (283),
rezulta ca ecuatiile (534)–(537) nu sunt independente.
Ecuatia (535) restrictioneaza functia neteda sa depinda numai de variabila r
= (r) : (538)
00 1 0 0 0 2 0
+ ( )+ = 0; (539)
2 r
00 1 0 0 0 2 0
+ ( ) = 0; (540)
2 r
r 0 0
e 1+ ( ) = 0; (541)
2
sau echivalent [inlocuind (539) cu diferenta intre (539) si (540)]
0
+ 0 = 0; (542)
00 1 0 0 0 2 0
+ ( ) = 0; (543)
2 r
r 0 0
e 1+ ( ) = 0: (544)
2
Din (538) si (542) exprimam functia in termenii aplicatiei
x0 ; r = (r) + x0 ; (545)
unde x0 este o functie neteda reala arbitrara. Introducand (545) in ecuatiile (543)
si (544) obtinem
00 2 2 0
( 0) + = 0; (546)
r
e 1+r 0 = 0: (547)
Ecuatiile (546) si (547) nu sunt independente. Mai precis, (546) este o consecinta
imediata a ecuatiei (547). Intr-adevar, derivand (547) avem
0 0 00
e + +r = 0: (548)
77
a carei solutie generala este
re =r 2m; (551)
unde m este constanta de integrare.
Din (551) si (545) explicitam functiile necunoscute care apar in (516)
1
(x0 ) 2m 2m
e =e 1 ; e = 1 : (552)
r r
Pe baza acestora identi…cam elementul in…nitesimal de “lungime”asociat unei metrici
cu simetrie sferica care este solutie a ecuatiilor Einstein fara surse si fara constanta
cosmologica
1
(x0 ) 2m 2 2m 2
ds2 = e 1 dx0 + 1 dr2 + r2 d + sin2 d'2 : (553)
r r
In acest moment putem sa formulam si sa demonstram teorema Birkho¤ pentru
cazul in care constanta cosmologica este nula.
Teorema 6 Solutiile cu simetrie sferica ale ecuatiilor Einstein fara surse si fara
constanta cosmologica descriu un camp gravitational static.
Demonstratie. In harta locala (Ub ; b ) 2 AeM4 (p0 ), conform relatiei (553), metrica
pe varietatea Riemanniana M4 ; AeM4 ; g este
1
(x0 ) 2m 2m
g = e 1 dx0 dx0 + 1 dr dr
r r
+r2 d d + sin2 d' d' : (554)
78
i) Daca m = 0 sau r~ ! 1, elementul in…nitesimal de “lungime” se reduce la
intervalul cvadridimensional in…nitesimal [exprimat in coordonate sferice] din
spatiul Minkowski
2 2
ds2 ! ds2 Mink
= x0
d~ r2 + r~2 d~ + sin2 ~d~
+ d~ '2 : (558)
Problema 38 Determinati expresia marimii (560) in harta locala (Ud ; d) 2 AeM4 (p0 )
^0 (p) ; r^ (p) ; ^ (p) ; '
[ d (p) = x ^ (p) ], stiind ca functiile de tranzitie d c au forma
m 2
x ~0 ;
^=x r^ = r~ 1 + ; ^ = ~; '
^='
~: (561)
2~
r
R=4 : (563)
79
Introducem (563) in (562) si, pe baza de…nitiei tensorului Einstein (282), ajungem
la o expresie mai usor de rezolvat a ecuatiilor Einstein pentru vid in cazul constantei
cosmologice netriviale
R = g ; ; = 0; 3: (564)
Rezolvam in continuare sistemul de ecuatii (564) pentru cazul metricii cu simetrie
sferica (518). Introducem (518) si (529)–(533) in (564) si ultimul devine
1 1 e 00 1 0 0 0 2 0
• + _ (_ _) + + ( )+ = e ; (565)
2 2 2 2 r
_
= 0; (566)
r
e 1 1 00 1 0 0 0 2 0
•+ _ (_ _) + ( ) = e ; (567)
2 2 2 2 r
h r i
0 0
e e 1+ ( ) = r2 : (568)
2
Ca si in cazul constantei cosmologice nule, folosind identitatile (283) satisfacute
de tensorul Riemann, constatam ca ecuatiile (565)–(568) nu sunt independente.
Ecuatia (566) restrictioneaza functia neteda sa depinda numai de variabila r,
adica solutia ecuatiei (566) este cea data in (538).
Pe baza remarcii anterioare, introducand solutia (538) in ecuatiile (565), (567) si
(568), setul de ecuatii mentionat devine
00 1 0 0 0 2 0
+ ( )+ = 2 e ; (569)
2 r
00 1 0 0 0 2 0
+ ( ) = 2 e ; (570)
2 r
r 0 0
e 1+ ( ) = r2 e : (571)
2
In cele ce urmeaza vom aduce sistemul (569)–(571) la o forma mai simpla, substituind
prima ecuatie cu diferenta dintre primele doua si pastrand celelalte doua ecuatii
0
+ 0 = 0; (572)
00 1 0 0 0 2 0
+ ( ) = 2 e ; (573)
2 r
r 0 0
e 1+ ( ) = r2 e : (574)
2
Ecuatia (572) impreuna cu expresia generica (538) a functiei necunoscute conduc
la forma (545) a aplicatiei netede . Cu acest rezultat, ecuatiile (573) si (574) se
exprima sub forma
00 2 2 0
( 0) + = 2 e ; (575)
r
e 1+r 0 = r2 e ; (576)
80
Ecuatiile (575) si (576) nu sunt independente. Mai precis, orice solutie a lui (576)
veri…ca si ecuatia (575). Intr-adevar, multiplicam (576) e si rezultatul obtinut il
derivam in raport cu variabila r
h i
0 2
e + 0 e + r 00 e r ( 0) e = 2 r: (577)
r3
re =r 2m; (579)
3
unde m este constanta de integrare.
Din (579) si (545) explicitam functiile necunoscute care apar in (516)
1
(x0 ) 2m 2m
e =e 1 r2 ; e = 1 r2 : (580)
r 3 r 3
(x0 ) 2m 2
ds2 = e 1 r2 dx0
r 3
1
2m 2
+ 1 r2 dr2 + r2 d + sin2 d'2 : (581)
r 3
81
Problema 40 Pe baza de…nitiilor (204) sa se arate ca simbolurile Christo¤ el de speta
a II-a netriviale corespunzatoare metricii Schwarzschild statice (556) sunt
0 1 0 1 1 0 2 1 1 0
01 = ; 00 = e ; 11 = ; (582)
2 2 2
1
22 = re ; 1
33 = re sin2 ; 2
33 = sin cos ; (583)
2 1 3 1 3 cos
21 = ; 31 = ; 32 = ; (584)
r r sin
unde functia e este data in cea de-a doua formula din (552).
•0
x 0 0
x_ r_ = 0; (585)
1 0 2 0 2 1 0 2 2
_ + '_ 2 sin2
r• e x_ + r_ re = 0; (586)
2 2
• + 2 r_ _ '_ 2 sin cos = 0; (587)
r
2 cos _
'
• + r_ '_ + 2 '_ = 0; (588)
r sin
unde prin " " am notat derivarea in raport cu parametrul .
In continuare vom investiga integralele prime [constantele de miscare] ale sistemu-
lui de ecuatii diferentiale ordinare (585)–(588).
O prima integrala prima deriva din semni…catia sistemului de ecuatii diferentiale
ordinare (585)–(588). De…nitia geodezicelor implica relatia (327), care in situatia data
asigura ca pe solutiile ecuatiilor (585)–(588) are loc identitatea
2 2
2 2 _( ) 2
e ( )
x_ 0 ( ) +e ( )
(r_ ( )) + (r ( )) + ('_ ( )) sin2 ( ) = k; (589)
unde b este constanta reala. Integrala prima (590) este proportionala cu energia
unei particule test a‡ata in campul gravitational descris prin solutia Schwarzschild.
Semni…catia integralei prime (590) se obtine pe baza teoremei Noether, din invarianta
actiunii (347) [in care coe…cientii metricii g sunt cei ai metricii Schwarzschild] la
transformarea rigida uniparametrica
82
Utilizand expresiile (346) ale ecuatiilor geodezicei si independenta metricii de co-
ordonata ', identi…cam constanta de miscare
2
u3 ( ) (r ( )) '_ ( ) sin2 ( ) = a; (592)
cu parametrul transformarii.
Integrala prima (592) derivata pe baza teoremei Noether reprezinta proiectia mo-
mentului cinetic pe axa Ox3 . Se poate arata ca si proiectiile momentului cinetic pe
axele Ox1 si Ox2 sunt integrale prime ale sistemului de ecuatii diferentiale (585)–
(588). Caracterul conservativ al proiectiei momentului cinetic pe axa Ox1 este o
consecinta a invariantei actiunii (347) [in care coe…cientii metricii g sunt cei ai
metricii Schwarzschild] la transformarile de simetrie rigida in…nitesimala
cos
x0 ; r; ; ' ! x0 ; r; sin '; ' cos ' ; (594)
sin
cos
x0 ; r; ; ' ! x0 ; r; + cos '; ' sin ' : (595)
sin
si h i
2 _ ( ) cos ' ( )
(r ( )) '_ ( ) sin ( ) cos ( ) sin ' ( ) : (597)
83
aceasta situatie evolutia particulei este data de o geodezica de tip temporal a spatiului
Schwarzschild [k < 0]. Alegand k = 1 ecuatia (589) devine
2 2
e x_ 0 + e r_ 2 + r2 _ + '_ 2 sin2 = 1: (598)
e x_ 0 = b: (600)
r2 '_ = a (601)
•0
x 0 0
x_ r_ = 0; (603)
2
• + r_ '_
' = 0; (604)
r
1 0 2 1 0 2
r• e 2
x_ 0 + r_ re '_ 2 = 0: (605)
2 2
In continuare vom demonstra o teorema care stabileste legatura dintre sistemul de
ecuatii diferentiale ordinare (603)–(605) si constantele de miscare ale acestuia (601)–
(602).
r_ ( ) 6= 0; 8 : (606)
84
Din derivatele de ordinul I ale ecuatiilor (600) si (601) exprimam derivatele de ordinul
•0 si '
II x • . Introducand derivatele de ordinul II mentionate in (607) identi…cam
1 0 2 1 0 2
2re
_ r• e 2
x_ 0 + r_ re '_ 2 = 0: (608)
2 2
x_ 0 = be : (612)
d2 u GM
2
+ u = 2 2: (616)
d' a c
Pentru a realiza comparatia mentionata, derivam relatia (614) si obtinem
du d2 u 1
2 +u m + 3u2 =0 (617)
d' d'2 a2
85
sau, echivalent,
d2 u 1
+u=m + 3u2 : (618)
d'2 a2
Deoarece raza gravitationala are expresia (559), constatam ca (618) aduce corectii
legii traiectoriei Newtoniene (616) de ordinul
GM
; (619)
a2 r2
corectii foarte mici daca evaluam (619) pentru planetele din sistemul nostru solar.
Exemplul 8 Pentru planeta Mercur [cea mai apropiata de Soare], corectia (619) este
de ordinul 10 7 .
d2 u0 m
+ u0 = ; (622)
d'2 a2
d2 u1
+ u1 = 3mu20 ; (623)
d'2
d2 u2
+ u2 = 6mu0 u1 ; (624)
d'2
..
.
Setul de ecuatii (622), (623), (624), etc. consta intr-un sistem de ecuatii diferen-
tiale ordinare liniare cu coe…cienti constanti si neomogene, care se rezolva recursiv
[solutia ecuatiei (622) se introduce in (623) si se rezolva ultima, etc.].
Solutia generala a ecuatiei (622) este
m
u0 (') = [1 + " cos (' '0 )] ; (625)
a2
unde " si '0 sunt constantele de integrare. Solutia (625) reprezinta ecuatia unei conice
in coordonate polare. Alegand niste conditii initiale adecvate, putem presupune ca
'0 = 0 in solutia (625).
86
Introducem (625) in (623) si identi…cam ecuatia
d2 u1 3m3 2
2
+ u1 = 4 (1 + " cos ') (626)
d' a
sau, echivalent,
Problema 43 Sa se arate ca
3m3 "2 "2
u1 (') = 1+ + "' sin ' cos 2' (628)
a4 2 6
Intr-o maniera similara se rezolva si celelalte ecuatii diferentiale din sistemul (622),
(623), (624), etc. Introducand solutiile obtinute in (621), identi…cam solutia ecuatiei
(620). Setand = 1 in solutia determinata anterior obtinem solutia ecuatiei traiecto-
riei (618).
Sa consideram cazul particular al miscarii planetei Mercur in campul gravitational
al Soarelui. Limita Newtoniana a ecuatiei traiectoriei este exprimata prin (625) cu
'0 = 0 si " << 1 [excentricitatea elipsei]. Cu aceste alegeri, ecuatia corectiei de
ordinul I (627) devine
d2 u1 3m3
2
+ u1 = 4 (1 + 2" cos ') ; (629)
d' a
a carei solutie particulara este
3m3
u1 (') = (1 + "' sin ') : (630)
a4
Introducem (625) si (630) in dezvoltarea (621) si identi…cam aproximatia de or-
dinul I a ecuatiei traiectoriei planetei Mercur in campul gravitational al Soarelui
m 3m2
u (') ' 2
1 + " cos ' + 2 (1 + "' sin ')
a a
m 3m2
' 2
1 + " cos ' ' : (631)
a a2
Din (631) constatam ca traiectoria planetei nu mai este eliptica. Totusi, miscarea este
periodica, periaoada …ind
2 3m2
T = 3m2
'2 1+ : (632)
1 a2
a2
87
Periheliul planetei [distanta cea mai apropiata de Soare] se obtine din conditia
3m2
cos ' ' = 1: (633)
a2
Solutiile ecuatiei trigonometrice (633) sunt
2
'0 = 0; '1 = 3m2
>2 ; 'k = k'1 ; (634)
1 a2
unde k numar natural strict pozitiv. Avansul Periheliului este dat prin
6 m2
' = '1 2 ' ; (635)
a2
iar in cazul planetei considerate acesta este de 0; 1" de arc pe revolutie sau 0; 43" de
arc pe secol. Aceste date care ofera predictia evolutiei Periheliului planetei Mercur
au fost con…rmate experimental si constituie unul dintre testele Teoriei Generale a
Relativitatii.
88
Solutia particulara a ecuatiei neomogene (638) se determina simplu pe baza identitatii
1 cos 2'
sin2 ' = : (639)
2
Introducem (639) in (638) si identi…cam solutia particulara de forma
m m
u1 (') = (3 + cos 2') 1 + cos2 ' : (640)
2d2 d2
Folosind contributiile nete de ordinele zero (637) [cu alegerea '0 = 0] si unu
(640) deducem pe baza dezvoltarii (621) [in care setam = 1] expresia aproximatiei
de ordinul unu a ecuatiei traiectoriei unei raze luminoase in prezenta unui camp
gravitational
1h m i
u (') ' sin ' + 1 + cos2 ' ; (641)
d d
care difera dramatic de ecuatia unei drepte in coordonate polare (637).
Deviatia predictionata a unei raze de lumina care trece prin vecinatatea Soarelui
este de 1; 75" de arc, predictie con…rmata experimental. Prima veri…care experimen-
tala a deviatei razelor de lumina in campul gravitational al Soarelui a avut loc in anul
1919 in timpul unei expeditii britanice conduse de Sir Arthur Eddington.
Fenomenul de deviatie a razelor luminoase in campuri gravitationale puternice
permite intelegerea efectului de lentila gravitationala produs de un camp gravitational
intens.
89
7 Dezvoltari perturbative
Un camp gravitational descris de o metrica g ale carei componente difera de compo-
nentele corespunzatoare ale metricii Minkowski prin termeni foarte mici se numeste
camp gravitational slab. De exemplu, in cazul Soarelui campul gravitational din
exteriorul acestuia este descris de o metrica pentru care diferenta fata de metrica
Minkowski este exprimata de termenul 2m=r al metricii Schwarzschild, acesta …ind
de ordinul 10 5 la suprafata Soarelui [raza Soarelui este rS 7 108 m, iar raza
3
gravitationala a Soarelui este mS 1; 5 10 m, in consecinta componentele metricii
g difera de componentele corespunzatoare ale metricii Minkowski prin termeni de
ordinul 2mS =rS 10 5 ). In interiorul Soarelui aceasta diferenta este mai mare,
aproximativ de ordinul 10 4 . In acord cu cele mentionate mai sus, campul gravitatio-
nal al Sorelui este un camp slab, aceasta intamplandu-se pentru majoritatea stelelor.
In cazul piticelor albe, care pot avea raza de 100 de ori mai mica decat raza Soare-
lui, diferenta dintre metrica ce descrie campul gravitationala al acestora si metrica
Minkowski este de ordinul 10 2 in centrul lor. Doar in cazul stelelor neutronice (pul-
sarii), a caror raza este de ordinul 2m, campul gravitational nu este slab. Din cele
prezentate rezulta atentia de care se bucura campurile gravitationale slabe. In cele
ce urmeaza vom dezvolta o metoda de aproximatie care se poate aplica campului
gravitational slab.
In acest moment de…nitia campului este simpla: campul gravitational descris de
o metrica g este slab daca
jg j 1: (642)
Metoda de aproximare pentru campurile gravitationale slabe se bazeaza pe parametrul
care apare in actiunea Lagrangiana (403). Presupunem ca metrica g este o
dezvoltare in serie de forma
(1) 2 (2)
g = + g + g + : (643)
In cele ce urmeaza vom considera numai aproximatia de ordinul I a metricii
(1)
g = + g = + h ; (644)
(1)
unde g h este chiar campul de spin 2 care apare in actiunea Pauli–Fierz, dupa
cum vom vedea in acest capitol.
Vom determina mai intai diferite contributii nete la diverse aproximatii ale inver-
sei metricii g in teoria perturbatiilor. Dezvoltam perturbativ coe…cientii inversei
metricii g in diferite ordine ale constantei
(0) (1) (2) (3)
2 3
g =g + g + g + g + : (645)
Pentru a determina contributiile nete in diferite ordine in parametrul ale inversei
metricii g folosind abordarea perturbativa, introducem dezvoltarile (644) si (645)
in relatia (155) si obtinem
!
(0) (1) (2) (3)
2 3
( + h ) g + g + g + g + = : (646)
90
Proiectand ecuatia anterioara pe diversele ordine ale constantei derivam sirul de
ecuatii echivalent
(0)
0
: g = ; (647)
(1) (0)
1
: g +h g = 0; (648)
(2) (1)
2
: g +h g = 0; (649)
(3) (2)
3
: g +h g = 0; (650)
..
.:
Pentru a rezolva cea de-a doua ecuatie, inlocuim mai intai contributia neta in ordinul
(0)
zero in parametrul a inversei metricii g determinata anterior in ecuatia (648)
(1)
g +h = 0: (652)
Din ecuatia anterioara obtinem pentru contributia neta in ordinul unu in parametrul
(1)
a inversei metricii g urmatoarea forma
(1)
g = h ; (653)
unde h este cel de…nit in (365). Contributia neta in ordinul doi in parametrul a
(2)
inversei metricii g se obtine din ecuatia (649). Inlocuind (653) in (649) ajungem la
ecuatia
(2)
g h h = 0: (654)
Solutia ecuatiei anterioare este
(2)
g =h h ; (655)
unde h = h . Contributia neta in ordinul trei in parametrul a inversei metricii
(3)
g se obtine din ecuatia (650)
(3)
g = h h h : (656)
91
Inlocuind (651), (653), (655) si (656) in gasim ca
2 3
g = h + h h h h h + : (657)
1 (1)
= (h ; +h ; h ; ) : (658)
2
Astfel, am gasit ca numai contributia neta de ordinul unu in parametrul a simbolu-
lui Cristofell de speta I in teoria perturbatiilor este nenula. Dezvoltam perturbativ
tensorul Riemann R j in diferite ordine ale constantei
unde
(0) (0) (0) (0) (0) (0) (0)
1 (0) (0)
R j = @ g [ ; ] @ g [ ; ] +g g ; (660)
2
92
!
(0) (1) (1) (2) (0) (0) (2)
g + +
!
(1) (1) (0) (0) (1) (2) (0) (0)
g + g ; (662)
(1) 1
R j = @ h [ ; ] @ h [ ; ] (665)
2
!
(2) (1) (1) (1) (1)
R j = ; (666)
!
(3) (1) (1) (1) (1)
R j = h : (667)
93
R in diferite ordine ale constantei
Introducand dezvoltarile perturbative ale inversei metricii (645) si ale tensorului Rie-
mann (659) in relatia de de…nitie a tensorului Ricci (278), obtinem
!
(0) (0) (0) (1) (1) (0)
R = g R j + g R j +g R j
!
(0) (2) (1) (1) (2) (0)
2
+ g R j +g R j +g R j
!
(2) (1) (3) (0)
+g R j +g R j + : (669)
Utilizand contributiile nete in diferite ordine in parametrul ale inversei metricii si ale
tensorului Riemann determinate anterior, obtinem pentru tensorul Ricci urmatoarele
contributii nete in diferite ordine in parametrul
(0)
R = 0; (670)
(1) 1
R = @ h [ ; ] @ h [ ; ] ; (671)
2
!
(2) (1) (1) (1) (1)
R =
1
h @ h [ ; ] @ h [ ; ] ; (672)
2
!
(3) (1) (1) (1) (1)
R = h
!
(1) (1) (1) (1)
h
1
+ h h @ h [ ; ] @ h [ ; ] : (673)
2
Problema 47 Sa se obtina contributia neta in ordinele patru si cinci in parametrul
(4) (5)
a tensorului Ricci, R si R in teoria perturbatiilor.
94
Observam ca pentru a dezvolta perturbativ actiunea Hilbert–Einstein avem nevoie
de contributiile nete in diferite ordine in parametrul ale curburii scalare R si ale
marimii e in teoria perturbatiilor. Dezvoltam perturbativ curbura scalara R in diferite
ordine ale constantei
(0) (1) (2) (3)
2 3
R= R+ R+ R+ R+ : (674)
Introducand dezvoltarile perturbative ale inversei metricii (645) si ale tensorului Ricci
(668) in relatia de de…nitie a curburii scalare obtinem
!
(0) (0) (0) (1) (1) (0)
R = g R + g R +g R
!
(0) (2) (1) (1) (2) (0)
2
+ g R +g R +g R
!
(0) (3) (1) (2) (2) (1) (3) (0)
3
+ g R +g R +g R +g R + : (675)
!
(2) (1) (1) (1) (1)
R =
h @ h [ ; ] @ h [ ; ] ; (678)
!
(3) (1) (1) (1) (1)
R = h
!
(1) (1) (1) (1)
2 h
+ h h @ h [ ; ] @ h [ ; ]
1
h h @ h [ ; ] @ h [ ; ] : (679)
2
Problema 48 Sa se obtina contributia neta in ordinele patru si cinci in parametrul
(4) (5)
a curbutii scalare R si R in teoria perturbatiilor.
95
(1)
Prin calcul direct se poate arata ca R este o divergenta totala
(1)
R =@ @ h+@ @ h ; (680)
(2)
iar R se poate scrie sub forma
(2) 1 1 1
R = @ h (@ h ) + (@ h ) @ h (@ h) (@ h)
4 2 4
1 1
+@ h @ h + h @ h +h @ h
2 2
+h @ h 2h @ h : (681)
Utilizand faptul ca det (AB) = det A det B si det = 1 relatia (683) devine
1
h i1
e = [det ( ^ 2:
+ h )] 2 = det 1 + h (684)
Folosind identitatea
det A = exp ln det A = exp Tr ln A; (685)
din (684) obtinem
1 ^ :
e = exp Tr ln 1 + h (686)
2
^ in jurul metricii ‡at
Dezvoltam in serie Taylor ln 1 + h
X1 j+1
^ = ( ) j ^j
ln 1 + h h : (687)
j=1
j
96
Comparand (682) cu (688) obtinem contributiile nete in diferite ordine in parametrul
ale marimii e in teoria perturbatiilor
(0)
e = 1; (689)
(1)
e = h; (690)
(2) 1 2
e = h 2h h ; (691)
8
(3) 1
e = h3 6hh h + 8h h h : (692)
48
Problema 49 Sa se obtina contributiile nete in ordinele patru si cinci in parametrul
ale marimii e in teoria perturbatiilor.
unde Z
( 2) (0)(0)
S =2 d4 x e R ; (694)
Z !
( 1) (0)(1) (1)(0)
4
S =2 d x e R+ e R ; (695)
Z !
(0) (0)(2) (1)(1) (2)(0)
4
S =2 d x e R+ e R+ e R ; (696)
Z !
(1) (0)(3) (1)(2) (2)(1) (2)(1) (3)(0)
4
S =2 d x e R+ e R+ e R+ e R+ e R : (697)
97
1
+ (@ h) (@ h) (@ h) @ h : (700)
2
Relatia (700) este chiar actiunea Pauli–Fierz.
Contributia neta in ordinul unu in parametrul a actiunii Hilbert–Einstein se
obtine din (697) in care utilizam (680), (681), (679), (689)–(692)
(1)
Z
1 1
S = d4 x h@ h@ h @ h@ h h @ h @ h h
4 4
1
+@ h @ h h @ h h h @ h @ h h
2
1 1 1
+ @ hh h + h@ h @ h @ hh h
2 2 2
+@ hh @ h @ h @ h h +h h @ h : (701)
Problema 50 Utilizand dezvoltarile marimii e si ale curburii scalare sa se arate ca
(697) conduce la (701).
In continuare vom dezvolta perturbativ tansformarile gauge ale campului h .
Introducem (644) in (429) si avem
1
( + h )= ; + ; : (702)
98
(1)
h = @ h +@ h @ h ; (710)
(2)
h = h (@ h +@ h @ h ) : (711)
Relatia (709) reprezinta chiar transformarile gauge ale actiunii Pauli–Fierz.
Ecuatiile Einstein ale campului gravitational sunt ecuatii cu derivate partiale de
ordinul II neliniare si hiperbolice. Datorita neliniaritatii ecuatiilor mentionate, rezul-
tatele cantitative in gravitatie sunt di…cil de obtinut. Abordarea perturbativa permite
rezolvarea problemei mentionate anterior.
99
Bibliogra…e
[1] F. De Felice, C. J. S. Clarke, Relativity on Curved Manifolds, Cambridge Uni-
versity Press, 1992
[2] N. Bourbaki, Topologie générale, Hermann, Paris, 1961
[3] N. Bourbaki, Théorie des ensembles, Springer-Verlag, Berlin, 2006
[4] M. M. Postnikov, Smooth manifolds, Mir Publishers, Moscow, 1989
[5] Gh. Gheorghiev, V. Oproiu, Geometrie diferentiala, Editura Didactica si Peda-
gogica, Bucuresti, 1977
[6] M. Popescu, P. Popescu, Geometrie diferentiala, Fundatia Scrisul Românesc,
Craiova, 1999
[7] R. Miron, M. Anastasiei, The Geometry of Lagrange Spaces: Theory and Appli-
cations, Kluwer Academic Publishers,1994
[8] W. Greub, S. Halperin, R. Vanstone, Connections, Curvature, and Cohomology.
Vol. I: De Rham Cohomology of Manifolds and Vector Bundles, Academic Press,
New York, 1972
[9] L. P. Eisenhart, An introduction to di¤ erential geometry with use of the tensor
calculus, Princeton University Press, Princeton, 1940
[10] P. A. M. Dirac, General theory of relativity, John Wiley&Sons, New York, 1975
[11] C. Misner, K. Thorne, J. A. Wheeler, Gravitation, W. H. Freeman and Company,
San Francisco, 1973
[12] J. W. van Holten, R. H. Rietdijk, J. Geom. Phys. 11, 559, 1993
[13] S. Codreanu, L. Tataru, Teoria relativitatii si electrodinamica, Casa Cartii de
Stiinta, Cluj, 1994
[14] A. Einstein, Annalen der Phys. 35, 898–908, 1911
[15] S. Weinberg, Gravitation and cosmology: Principles and applications of the gen-
eral theory of relativity, John Wiley&Sons, New York, 1972
[16] S. Kobayashi, K. Nomizu, Foundation of di¤ erential geometry, Interscience Pub-
lishers, New York, 1963
[17] A. Papapetrou, Lectures on general relativity, D. Reidel Publishing Company,
Dordrecht, 1974
[18] W. Siegel, Fields, hep-th/9912205
[19] C. Schomblond, G. Barnich, Introduction à la Relativité Générale, Notes de cours,
Bruxelles
[20] I. Bakas, Energy-momentum/Cotton tensor duality for AdS(4) black holes, hep-
th/0809.4852
100