Professional Documents
Culture Documents
Gravitacija - Pantić
Gravitacija - Pantić
Gravitacija - Pantić
PRIRODNO-MATEMATIČKI FAKULTET
DEPARTMAN ZA FIZIKU
Milan Pantić
UVOD
U
AJNŠTAJNOVU TEORIJU GRAVITACIJE
Autor:
Dr Milan Pantić, docent Prirodno-matematičkog fakulteta u Novom Sadu
Recenzenti:
Dr Stanoje Stojanović, redovni profesor Prirodno-matematičkog fakulteta u
Novom Sadu
Dr Jugoslav Stahov, redovni profesor Prirodno-matematičkog fakulteta u Tuzli
Predgovor
Ovaj kurs lekcija napisan je na osnovu predavanja koje držim, u okviru pre-
dmeta Teorija gravitacije, na trećoj godini (fond 3+1) studentima Astronomije
(sa astrofizikom) na Departmanu za fiziku PMF-a u Novom Sadu. Kada se go-
vori o teoriji gravitacije obično se misli na Ajnštajnovu Opštu teoriju relativnosti
te otuda i ovakav naslov knjige. Ova teorija je nastala kao pokušaj da se ra-
zume i prevazid̄e izdvojena i privilegovana uloga inercijalnih sistema reference
pri formulaciji fizičkih zakona kako u klasičnoj mehanici tako i u Specijalnoj
teoriji relativnosti. Specijalna teorija relativnosti (STR) je savremena nauka o
prostoru, vremenu i kretanju. Kao takva ona je već odavno postala nezaobilazni
radni instrument u fizici, astronomiji, astrofizici i kosmologiji. Osnovni postulati
i zaključci STR potvrd̄eni su pri neprestanom razvoju teorijske (kvantna meha-
nika, kvantna teorija polja i fizike elementarnih čestica) i eksperimentalne fizike.
Ona je, takod̄e, našla inženjersku i tehničku primenu pri konstrukciji savremenih
ured̄aja za ubrzanje nerelativističkih čestica (akceleratorima, ciklotronima i sl.),
zatim pri rešavanju nuklearnih reaktora, atomskoj energetici, pri izradi atomskih i
hidrogenskih bombi itd.
U današnje vreme praktično je nemoguće izučavati fiziku i astrofiziku bez
izučavanja Opšte teorije relativnosti (OTR). Teorija relativnosti, kako specijalna
tako i opšta, neizbežno privlači interes velikog broja ljudi zahvaljujući tome što
je sa njom povezan radikalni preokret ne samo u shvatanju savremenih fizičkih
zakona već i zbog pravilnog razumevanja strukture prostora, vremena i gravitacije.
Bezuslovno, teorija relativnosti pripada grupi teških disciplina i za njeno usvajanje
i razumevanje potreban je izvesni minimum prethodnih znanja iz oblasti mate-
matike i fizike. Da bi dublje prodrli i shvatili fizičke zakonitosti u okviru OTR,
neophodnih za opisivanje zakrivljenog prostora, potrebno je ustanoviti korektan
vid odgovarajućih jednačina. Za to postoji dobro razvijen, no dovoljno složen,
matematički apatar tenzorske analize. Svako ko hoće da shvati Ajnštajnovu teoriju
treba da ovlada ovim matematičkim aparatom.
Ova knjiga predstavlja postupno izlaganje osnova OTR ili Ajnštajnove teo-
rije gravitacije sa nekim astronomskim primenama. Potreba za uračunavanjem
efekata specijalne i opšte teorije relativnosti je se pojavila kada je tačnost niza
astronomskih merenja postala manja od jedne lučne sekunde. Tačnost savreme-
3
nih astronomskih merenja je reda veličine milisekunde i zbog toga je nužno da
se uračunavaju popravke specijalne (najnovija merenja idu čak i do desetog dela
mikrosekunde) i opšte teorije relativnosti. U tom smislu je ovakav jedan kurs za
studente astrofizike, zaista, neophodan. S obzirom na potrebe kosmičkih eksperi-
menata u XXI veku, i sve veću tačnost i preciznost astronomskih merenja izvesno
je da će tačnost tih merenja biti takva da će imati smisla uračunavanje efekata
teorije relativnosti. Efekti koji su povezani sa zakrivljenjošću prostor-vremena u
našem (Sunčevom) sistemu, a takod̄e i efekti povezani sa nestacionarnošću krivine
prostor-vremna u našoj Galaksiji, biće osnovni efekti koji će definisati (odred̄ivati)
tačnost merenja budućih eksperimenata.
U standardnim udžbenicima posvećenih teoriji relativnosti malo pažnje se po-
svećuje čisto astronomskim aspektima specijalne i opšte teorije relativnosti. Zbog
toga je bilo neophodno da se napiše novi kurs koji je posvećen teoriji relativno-
sti za astronome. Treba napomenuti da iz teorije relativnosti postoji veliki broj
prekrasnih knjiga i udžbenika koji ne pripadaju našem jezičkom govornom po-
dručju. Autor ovih lekcija se potrudio da sakupi i pristupačno iznese osnovne
ideje koje leže u osnovi teorije relativnosti. U knjizi je takod̄e posvećeno dosta
pažnje primerima i zadacima na kojima se demonstrira primena ideja i metoda
teorije relativnosti. Deo tih zadataka je detaljno rešen, a preostali nerešeni zadaci
na kraju glava mogu biti od koristi za samostalan rad onih studenata koji se veoma
ozbiljno interesuju za ovaj predmet.
U prvoj glavi su veoma kratko izloženi osnovni principi klasične (Njutnove)
mehanike i dat je efikasan pregled elemenata STR. U drugoj glavi je veoma de-
taljno i pristupačno izložen neophodan matematički aparat za razumevanje OTR,
odnosno, teorije gravitacije. Sledeća glava je posvećena osnovnim principima
OTR. U glavama IV do VI izložene su osnove Ajnštajnove teorije gravitacije:
uvedeni su Riman-Kristofelov tenzor, potom Ajnštajnov tenzor, a zatim su izve-
dene Ajnštajnove jednačine gravitacionog polja. U tim glavama se takod̄e razma-
tra veza Ajnštajnovih jednačina i Poasonove jednačine koja opisuje gravitaciono
polje u okviru njutnovske teorije gravitacije. U VII glavi su izložene neke astro-
nomske primene ove teorije. Definisan je kvadrat linijskog elementa van sferno-
simetrične nerotirajuće mase i detaljno obrad̄eno čuveno Švarcšildovo rešenje.
Ovo rešenje opisuje geometriju prostor-vremena idealne crne rupe. U poslednjoj
glavi su analizirana tri klasična eksperimenta koja potvrd̄uju OTR. U Dodatku
su obrad̄eni neki problemi iz STR. Obrad̄en je princip najmanjeg dejstva i uve-
den tenzor energije-impulsa. Takod̄e je u dato detaljno i veoma strogo izvod̄enje
Ajnštajnovih jednačina pomoću varijacionog principa. Na kraju je navedena ve-
oma obimna i raznovrsna literatura koja postoji iz teorije relativnosti i gravitacije.
4
Na ovom mestu koristim priliku da se zahvalim svima onima koji su, na bilo
koji način, doprineli da se ova knjiga pojavi u štampi. Autor se zahvaljuje Dr
Svetislavu Lazarevu, profesoru Više tehnološke škole u Šapcu, koji je pročitao
kompletan rukopis i dao niz veoma korisnih primedbi i sugestija koje sam rado
prihvatio. Naročito priznanje i zahvalnost dugujem recenzentima Dr Stanoju Sto-
janoviću, redovnom profesoru PMF-a u Novom Sadu, i Dr Jugoslavu Stahovu,
redovnom profesoru PMF-a u Tuzli, koji su krajnje savesno pregledali celoku-
pan materijal i ukazali na izvesna nejasna i neprecizna mesta i time doprineli po-
boljšanju kvaliteta ukupnog teksta. Takod̄e se zahvaljujem svojoj supruzi Dr Olgi
Bodroža-Pantić, vanrednom profesoru PMF-a u Novom Sadu, koja mi je, kao izvr-
stan poznavalac geometrije pomogla da čitaocima približim veoma suptilne geo-
metrijske pojmove koji su osnovni za pravilno razumevanje suštine Ajnštajnove
teorije gravitacije.
5
6
Sadržaj
Predgovor 3
Uvod 11
1 Istorijski pregled 17
1.1 Klasična mehanika . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.1 Klasični princip relativnosti . . . . . . . . . . . . . . . . 21
1.1.2 Galilejeve transformacije . . . . . . . . . . . . . . . . . . 22
1.2 Specijalna teorija relativnosti . . . . . . . . . . . . . . . . . . . . 23
1.2.1 Majkelson-Morlijev eksperiment . . . . . . . . . . . . . . 25
1.2.2 Lorencove transformacije . . . . . . . . . . . . . . . . . 26
1.2.3 Interval izmed̄u dogad̄aja . . . . . . . . . . . . . . . . . . 28
1.2.4 Prostorno-vremenski dijagram . . . . . . . . . . . . . . . 30
1.2.5 Sopstveno vreme . . . . . . . . . . . . . . . . . . . . . . 32
1.2.6 Zavisnost sopstvenog vremena od puta . . . . . . . . . . 33
1.2.7 Prostor Minkovskog . . . . . . . . . . . . . . . . . . . . 34
1.3 Nedostaci specijalne teorije relativnosti . . . . . . . . . . . . . . 36
7
2.4 Rimanovi prostori . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.5 Tenzorska analiza . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.5.1 Metrički (fundamentalni) tenzor . . . . . . . . . . . . . . 54
2.5.2 Asocirani tenzori . . . . . . . . . . . . . . . . . . . . . . 58
2.5.3 Skalarni proizvod . . . . . . . . . . . . . . . . . . . . . . 62
4 Kristofelovi simboli 85
4.1 Kristofelovi simboli prve vrste . . . . . . . . . . . . . . . . . . . 85
4.2 Kristofelovi simboli druge vrste . . . . . . . . . . . . . . . . . . 87
4.3 Lokalno-inercijalni sistemi reference . . . . . . . . . . . . . . . . 90
4.4 Kovarijantno diferenciranje . . . . . . . . . . . . . . . . . . . . . 92
4.4.1 Kovarijantni izvod kovarijantnog vektora . . . . . . . . . 92
4.4.2 Kovarijantni izvod tenzora . . . . . . . . . . . . . . . . . 94
4.4.3 Kovarijantni izvod fundamentalnog tenzora . . . . . . . . 96
4.5 Paralelni prenos tezora . . . . . . . . . . . . . . . . . . . . . . . 97
4.6 Gradijent, rotor i divergencija . . . . . . . . . . . . . . . . . . . . 103
4.7 Geodezijske linije u zakrivljenom prostoru . . . . . . . . . . . . . 105
8
8 Potvrde Opšte teorije relativnosti 153
8.1 Kretanje perihela planeta . . . . . . . . . . . . . . . . . . . . . . 153
8.2 Skretanje svetlosti u blizini Sunca . . . . . . . . . . . . . . . . . 160
8.3 Gravitacioni crveni pomak . . . . . . . . . . . . . . . . . . . . . 163
DODATAK 169
Bibliografija 211
Indeks 214
9
Uvod
11
12
8πγ/c2 .
15
relativistic model for experimental measurement of the speed of propagation of gravity by VLBI”,
Proccedings of the 6th European VLBI Network Symposium, E.Ros, R.W.Porcas, J.A.Zensus
(Eds.), June 25th - 28th 2002, Bonn, Germany, brzina prostiranja gravitacije iznosi cg /c =
0.95 ± 0.25, gde je c brzina prostiranja svetlosti u vakuumu. Detaljnije o postavci eksperimenta
može se, takod̄e, pročitati i na sledećem sajtu: http://www.arxiv.org/abs/gr-qc0206022.
16
Istorijski pregled
Pozitivna skalarna veličina m, koja ulazi u ove zakone, karakteriše stepen ine-
rtnosti tela i naziva se inertna masa. Po svom smislu, Njutnovi zakoni su for-
mulisani za apsolutno mirujuće sisteme reference, ali važe i za beskonačan broj
sistema koji se kreću konstantnom brzinom (u odnosu na apsolutni prostor) i u ko-
jima važi prvi Njutnov zakon - zakon inercije. Ovakva klasa sistema reference koji
imaju osobinu da su ili apsolutno nepokretni, ili da se kreću uniformno i bez iz-
mene orijentacije osa sa vremenom u odnosu na postulirane apsolutno nepokretne
17
18 Glava 1. Istorijski pregled
prostor (tj. u odnosu na vasionu ili, u kasnijim verzijama teorije, u odnosu na tzv. hipotetički etar).
Takve sisteme reference ćemo zvati apsolutno nepokretni. U Njutnovoj mehanici se podrazumeva
da postoji način da se konstruiše ovakav sistem reference (i da posmatrač koji ga konstruiše to zna
sa sigurnošću). Ako ovo gledište Njutnove mehanike usvojimo kao ispravno, vidimo da je moguće
konstruisati ne jedan već beskonačno mnogo apsolutno nepokretnih sistema reference. Bilo koja
tačka vasione se može uzeti za koordinatni početak i za nju vezati proizvoljan sistem koordinata.
Svakako da ose takvog sistema treba da ostanu nepokretne u toku vremena (što posmatrač, vezan
za takav sistem reference, naravno treba sigurno da zna).
Iz same definicije inercijalnih sistema reference se vidi da je, pored apsolutno nepokretnih si-
stema reference, moguće uvesti jednu širu klasu sistema reference, koji se kreću u odnosu na ap-
solutni prostor (vasionu ili etar), i to tako (što je, ustvari, sadržaj drugog Njutnovog zakona) da je
ubrzanje (ali ne i brzina!) ma koje čestice u njima isto kao i u apsolutno nepokretnim sistemima.
Prema tome, na osnovu Njutnove formulacije zakona klasične mehanike, može se izvesti zaključak
o ekvivalentnosti svih sistema reference koji se kreću ravnomerno i pravolinijski u odnosu na ovaj
poseban, apsolutno nepokretni sistem reference. Med̄utim, ekvivalentnost svih inercijalnih sistema
reference isključuje, pak, mogućnost izdvajanja nekog posebnog inercijalnog sistema reference.
Izvesno je da ne postoji mehanički eksperiment izveden u jednom inercijalnom sistemu reference
kojim bi se utvrdilo da li ovaj sistem miruje ili se uniformno kreće u odnosu na apsolutno nepo-
kretni inercijalni sistem. Upravo zbog neopservabilnosti Njutnovog apsolutnog prostora (a time i
izdvojenog apsolutnog sistema) javlja se odgovarajući nesklad sa logikom klasične mehanike, jer
protivreči klasičnom principu relativnosti. Da bi se ove teškoće prevazišle i izbegle, umesto toga se
u klasičnoj mehanici, i savremenoj fizici uopšte, podvlači ravnopravnost svih inercijalnih sistema
reference (Galilejev princip relativnosti).
2 Citirajmo i originalne Njutnove reči: ,,Apsolutni prostor, po svojoj sopstvenoj prirodi i bez
ne mora biti invarijantan pri prelazu na neki drugi sistem reference. Ovo je posledica činjenice da se,
uopšte uzev, prostorne koordinate dva dogad̄aja ne posmatraju u istom vremenskom trenutku. Neka
su, na primer, koordinate i vreme dva posmatrana dogad̄aja u sistemima refrence S i S0 odred̄eni
sa (x1 , y1 , z1 ,t1 ), (x2 , y2 , z2 ,t2 ) i (x10 , y01 , z01 ,t10 ), (x20 , y02 , z02 ,t20 ), respektivno. Tada se u vremenskom
intervalu ∆t = t2 −t1 = ∆t 0 = t20 −t10 izmed̄u tih dogad̄aja menja položaj jednog koordinatnog sistema
u odnosu na drugi (izuzev ako nema relativnog kretanja sistema S i S0 ). Jasno je, stoga da će
prostorni intervali izmed̄u dva ista dogad̄aja u dva različita sistema reference u opštem slučaju biti
različiti (∆l 6= ∆t 0 ). U tom smislu se može reći da su prostorni intervali med̄u dogad̄ajima relativni.
Zapazimo, med̄utim, da samo u slučaju istovremenih dogad̄aja (∆t = t2 −t1 = 0), prostorni intervali
ostaju invarijantni.
20 Glava 1. Istorijski pregled
okarakterisan skupom njegovih koordinata i vremena (x, y, z,t) u odnosu na dati sistem reference.
1.1. Klasična mehanika 21
pravac - pravac duž koga se sistem kreće u odnosu na apsolutno nepokretne si-
steme. Ispostavlja se, med̄utim, da su fizički zakoni po svojoj prirodi takvi da
posmatrač u ovakvim sistemima reference ne može izvršiti ni jedan eksperiment
po kome bi mogao konstatovati i meriti brzinu svog kretanja kroz vasionu, tako da
je prostor u pokretnim inercijalnim sistemima reference lišen bilo kakvih privile-
govanih pravaca. Prema tome, homogenost prostora i vremena u ovim sistemima
reference ostaju očuvani.
x0 = x − u t , y0 = y , z0 = z , t 0 = t. (1.7)
Prema tome, oblik Njutnovih jednačina se ne menja pri prelazu sa jednog inerci-
jalnog sistema S na drugi inercijalni sistem S0 . Drugim rečima, osnovna jednačina
klasične mehanike je invarijantna6 u odnosu na Galilejeve transformacije. Ovde
je potrebno istaći jednu veoma važnu osobinu sila interakcije kaja važi u klasičnoj
mehanici, a to je njihova nezavisnost od izbora sistema reference7
gde su ~Fik0 i ~Fik sile interakcije u dva različita inercijalna sistema reference S i S0 .
U Njutnovu mehaniku ćemo uključiti Njutnov zakon gravitacije kao i pretpo-
stavke povezane sa njim. Te pretpostavke su sledeće: ideja trenutne interakcije, tj.
trenutnog prenošenja gravitacione interakcije izmed̄u tela na bilo kom rastojanju,
ideja univerzalnosti te interakcije (univerzalni zakon privlačenja), ideja nezavisno-
sti gravitacionog ubrzanja probne čestice8 od njene mase i druge karakteristike i
svojstva.
reference zavisi od relativnog vektora položaja i relativnog vektora brzine dve čestice u datom
vremenskom trenutku (a ne, na primer, i od ubrzanja čestice). Konkretan oblik ove funkcionalne
veze
~Fik = ~Fik (~ri −~rk ,~vi −~vk ), (∗∗)
zavisi od karakteristika date interakcije i naziva se zakon sile. Iz opšteg oblika gornje funkcionalne
zavisnosti sledi da njen analitički oblik ostaje isti u svim inercijalnim sistemima reference. Ovo
postaje očigledno ako se ima u vidu da se argumenti funkcije (∗∗) ne menjaju pri prelasku iz jednog
u drugi inercijalni sistem reference. Zaista, na osnovu Galilejevih transformacija (1.7), i zakona
slaganja brzina u inercijalnim sistemima reference (1.8), dobijamo
nzije, forma i unutrašnja struktura nebitne i koje stvaraju takva polja privlačenja, koja su zanemariva
u odnosu na razmatrano gravitaciono polje.
24 Glava 1. Istorijski pregled
1
c= √ = 2.99792458 · 108 m/s.
ε0 µ0
njega ostvaruje Njutnov apsolutni prostor. Ako se usvoji ovo gledište, etar i ap-
solutni prostor postaju identični, te je kretanje tela u odnosu na etar istovremeno
predstavljalo i apsolutno kretanje tog tela. Što se tiče brzine svetlosti c smatralo
se da se ona odnosi na etar, dok je za posmatrača koji se kreće (kroz etar) brzinom
u, na osnovu (1.8), brzina svetlosti c0 bila u intervalu (c − u, c + u) u zavisnosti
od smera kretanja posmatrača i svetlosti. Na osnovu rečenog, to bi značilo da se
merenjem brzine svetlosti u raznim inercijalnim sistemima moglo utvditi koji od
njih miruje u odnosu na etar, odnosno apsolutni prostor.
Ove relacije predstavljaju čuvene Lorencove transformacije i one čine osnovu ki-
nematike STR. Obrnute transformacije dobijaju se prostom zamenom brzine u sa
1.2. Specijalna teorija relativnosti 27
−u:
t 0 + (u/c2 )x0 x0 + ut 0
t= p , x= p , y = y0 , z = z0 . (1.12)
1 − u2 /c2 1 − u2 /c2
Kao što se vidi iz oblika Lorencovih transformacija, prostorne koordinate
i vreme datog dogad̄aja su povezani u jednu celinu, čime se STR bitno razli-
kuje od klasične mehanike. Vidi se da vremenski trenutak t 0 , u kojem se dati
dogad̄aj dešava u inercijalnom sistemu S0 , zavisi ne samo od vremenskog tre-
nutka t, u kojem se ovaj dogad̄aj odvija u sistemu reference S, nego i od njegovog
položaja (x) u odnosu na posmatrani sistem reference kao i od relativne brzine u
ova dva sistema reference. Ovo je svakako novina u odnosu na Galilejeve trans-
formacije kod kojih se četvrta jednačina (t 0 = t)zapravo implicitno podrazume-
vala, i prožimala celu dotadašnju fiziku. Ova uzajamna povezanost prostorno-
vrmenskih koordinata jednog dogad̄aja u dva inercijalna sistema reference na-
ziva se relativnost vremena, i leži u osnovi svih relativističkih efekata. Lorenco-
vim transformacijama vreme gubi status privilegovanog parametra. Vreme više
nije apsolutno. Za nalaženje vremena više ne možemo koristiti jedan jedinstveni
,,kosmički”časovnik koji bi pokazivao istovetno vreme za sve inercijalne sisteme
reference. Svaki sistem reference ima svoj prostor i svoje vreme, a vezu izmed̄u
prostorno-vremenskog kontinuuma različitih inercijalnih sistema reference uspo-
stavlja se upravo pomoću Lorencovih transformacija. Dakle, u tim transformaci-
jama je u jednoj konciznoj formi ugrad̄ena nova predstava o prostoru i vremenu,
koja sledi iz principa relativnosti, proširenog na sve fizičke pojave uključujući
elektrodinamičke.
Lako je videti da se u graničnom slučaju malih brzina u pored̄enju sa c, tj. za
u/c ¿ 1, Lorencove transofrmacije (1.11) se svode na klasične Galilejeve trans-
formacije. Ovo je u skladu sa Ajnštajnovim principom korespondencije, prema
kojem rezulatati relativističke mehanike prelaze u odgovarajuće rezultate klasične
mehanike ako su relevantne brzine dovoljno male.
Iz Lorencovih transofrmacija (1.11) lako se nalazi i relativistički zakon sabi-
ranja brzina
p p
v − u 1 − u 2 /c2 1 − u2 /c2
v0x = 0 0
x
, vy = vy , vz = vz , (1.13)
1 − uvx /c2 1 − uvx /c2 1 − uvx /c2
gde su vx = dx/dt, v0x = dx0 /dt 0 , ... komponente brzine u S i S0 , respektivno. Ako
se u prvu formulu (1.13) stavi vx = c, dobija se v0x = c, (v0y = 0, v0z = 0), tj. brzina
svetlosti u sistemu S0 je, kao što i treba da bude, ista u svim inercijalnim sistemima
reference.
28 Glava 1. Istorijski pregled
vremena ∆t, u drugu tačku prostora koja se nalazi na rastojanju ∆l = c∆t od prve
tačke. U ovom slučaju je s212 = c2 ∆t 2 − ∆l 2 = 0. Isto tako, ako za dva dogad̄aja po-
stoji sistem S0 takav da se ovi dogad̄aji u njemu dešavaju na istom mestu (∆l 0 = 0)
i istovremeno (∆t 0 = 0), onda će oni, zbog invarijantnosti veličine c2 ∆t 0 − ∆l 0 = 0,
biti povezani nultim intervalom i u svakom drugom inercijalnom sistemu refe-
rence S.
tipa. U toj oblasti je t > 0, tj. svi dogad̄aji iz te oblasti se odigravaju posle
dogad̄aja O. Prema tome, ta se oblast može nazvati ,,apsolutna budućnost”u od-
nosu na dogad̄aj O.
Potpuno analogno, svi dogad̄aji iz oblasti aOc su ,,apsoluno prošli”u odnosu
na O, tj. dogad̄aji iz te oblasti u svim inercijalnim sistemima reference, dešavaju
se pre dogad̄aja O.
Na kraju razmotrimo još oblasti aOd i cOb. Interval izmed̄u bilo kojeg dogad̄a-
ja te oblasti i dogad̄aja O je prostornog tipa. U svakom inercijalnom sistemu refe-
rence ti dogad̄aji se odvijaju u različitim tačkama prostora. Prema tome, te oblasti
se mogu nazvati ,,apsolutno udaljenim”u odnosu na dogad̄aj O. Med̄utim, pojmovi
,,istovremeno”, ,,ranije”i ,,kasniježa te dogad̄aje su relativni. Za svaki dogad̄aj iz te
oblasti postoje takvi sistemi reference, gde se dogad̄aj dešava kasnije od dogad̄aja
O i, najzad, jedan inercijalni sistem reference gde se dešava istovremeno sa O.
Ako se posmatraju sve tri prostorne koordinate umesto jedne, onda umesto 2-
dimenzionog svetlosnog konusa (sa Slike 1.3b) dobili bi tzv. svetlosni hiperkonus
c2t 2 − x2 − y2 − z2 = 0 u 4-dimenzionom sistemu (x, y, z, ct) čija se osa poklapa sa
osom ct tzv. ,,svetskog”konusa.
Dva dogad̄aja mogu biti med̄usobno kauzalno povezani samo u slučaju kada
je interval med̄u njima vremenskog tipa, što neposredno sledi iz činjenice da se
nikakvo uzajamno dejstvo (interakcija) ne može prostirati brzinom koja bi bila
veća od brzine svetlosti. Samo za takve dogad̄aje imaju apsolutno i smisla po-
jmovi ,,ranije”i ,,kasnije”, što je opet neophodan uslov za konzistentnost uzroka i
posledice.
32 Glava 1. Istorijski pregled
sledi r
0 dx2 + dy2 + dz2
dt = dt 1− .
c2 dt 2
Kako je v2 = (dx2 + dy2 + dz2 )/dt 2 , gde je v-brzina pokretnih časovnika, možemo
pisati r
ds v2
dτ = = dt 1 − 2 , (1.20)
c c
gde smo uveli oznaku dt 0 ≡ dτ. Odavde zaključujemo da je sopstveno vreme uvek
manje od odgovarajućeg intervala vremena u nepokretnom (laboratorijskom) si-
stemu. Kako je brzina svetlosti konstantna veličina, iz jednačine (1.20) može se
zaključiti da je sopstveno vreme invarijantno u odnosu na Lorencove transforma-
cije.
Sopstveno vreme je moguće uvesti i za tela koja se kreću ubrzano. U tom
smislu, pretpostavimo, da se neka čestica kreće brzinom v(t) u odnosu na labo-
ratorijski sistem S. Pošto u beskonačno malom vremenskom intervalu dt kreta-
nje ove čestice možemo tretirati kao uniformno, za ovu česticu možemo uvesti
tzv. ,,prateći”(sopstveni11 ) inercijalni sistem reference S0 koji se, u posmatranom
vremenskom intervalu, kreće brzinom v = v(t) u odnosu na sistem S. Ako se
proizvoljno kretanje čestice shvati kao niz uzastopnih uniformnih kretanja, u bes-
konačno malim vremenskim intervalima dt, integracijom (1.20) se dobija
Z t2 r
v2
∆τ = τ2 − τ1 = dt 1 − 2 . (1.21)
t1 c
Z 2r
dx2
∆τ = dt 2 − (1.22)
1 c2
∂x0µ
Λν ≡
µ
.
∂xν
Inverzna transformacija (prelazak sa x0µ → xµ ) se realizuje pomoću matrice Λ−1 (u)
= Λ(−u). Skup od četiri veličine xµ koje se transformušu prema (1.29) predsta-
vlja kvadrivektor položaja u prostoru Minkovskog. Ovaj formalizam se može
dalje razviti i za kvadritenzore u okviru tzv. tenzorske analize13 . Geometrijska
formulacija STR je posebno korisna pri generalizaciji ove teorije na neinercijalne
sisteme reference i pri izgradnji OTR, što će u narednim glavama biti detaljno
izloženo.
Pitanja i Zadaci
1. Naći Lorencove transformacije u opštem slučaju, kada brzina ~u ima proizvoljni
pravac.
2. Polazeći od rezultata Zadatka 1, naći relativistički zakon slaganja brzina u opštem
slučaju. Pokazati, takod̄e, da u graničnom slučaju malih brzina (u/c ¿ 1) ovaj
zakon prelazi u klasični (Galilejev) zakon slaganja brzina (1.8).
3. Ubediti se u invarijantnost kvadratne forme (1.15) na Lorencove transformacije.
4. Pokazati da su Lorencove transformacije formalno ekvivalentne izvesnoj rotaciji
koordinatnih osa (za neki ugao φ) u prostoru Minkovskog.
5. Na osnovu relativističkog zakona sabiranja brzina (1.13) dokazati da je v0x < c pod
pretpostavkom da je vx < c i u < c.
6. Dokazati da je metrički tenzor (1.26) invarijantan na Lorencove transformacije.
7. Na osnovu formule (1.11) naći relativistički izraz za kontrakciju dužina i dilataciju
vremena.
8. Na osnovu formule (1.11) diskutovati relativnost istovremenosti (simultanosti) od
strane posmatrača u različitim inercijalnim sistemima refernce.
9. Objasniti relativistički Doplerov efekat.
38 Glava 1. Istorijski pregled
Glava 2
39
40 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
x0µ = αν xν + βµ ,
µ
se u obliku: ¯ α¯ ¯ ¯
¯∂f ¯ ¯ ∂ϕ0β ¯
¯ ¯ 0 ¯ ¯
J = det ¯ 0β ¯ 6= 0, J = det ¯ α ¯ 6= 0,
∂x ¯ ∂x ¯
ili, eksplicitno ¯ ¯
¯ ∂f0 ∂f0 ∂f0 ∂f0 ¯
¯ ... ¯
¯ ∂x00 ∂x01 ∂x02 ∂x0(n−1) ¯
¯ ¯
¯ ∂f1 ∂f1 ∂f1 ∂f1 ¯
¯ ... ¯
¯ ∂x00 ∂x01 ∂x02 ∂x0(n−1) ¯
¯ ¯
J = ¯ ∂f ∂f2 ∂f2 ∂f2
¯ 2 ¯
... ¯.
¯ ∂x00 ∂x01 ∂x02 ∂x0(n−1) ¯
¯ ¯
¯ .. .. .. .. .. ¯
¯ . . . . . ¯
¯ ¯
¯ ∂ f (n−1) ∂ f (n−1) ∂ f (n−1) ∂ f (n−1) ¯
¯ ... ¯
¯ ¯
∂x00 ∂x01 ∂x02 ∂x0(n−1)
42 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
Ako uzmemo diferencijal jednakosti (2.6), onda na osnovu samih pravila dife-
renciranja, imamo
n−1
∂ϕ0β ν n−1 ∂x0β ν ∂x0β ν
dx0β = ∑ ν dx = ∑ ∂xν dx = ∂xν dx . (2.7)
ν=0 ∂x ν=0
Pri pisanju relacije (2.7), kao i nadalje, koristićemo Ajnštajnovu konvenciju o su-
miranju - po ponovljenim indeksima u nekom izrazu koji se jednom javljaju kao
donji, a drugi put kao gornji (ili obrnuto) podrazumeva se sumiranje. Pritom
usvojimo, da ako se pojavljuju veličine sa grčkim indeksima α, β, ..., onda oni
poprimaju n vrednosti od 0 do n − 1, a ako su latinični i, j, ..., oni uzimaju n − 1
vrednosti od 1 do n − 1. Takod̄e, zbog 4-dimenzionog prostora, u teoriji relativno-
sti je n = 4. Prema tome, formula (2.7) daje pravilo transformacije diferencijala
pri promeni koordinata. Dakle, ne samo koordinate, već i njihovi diferencijali se
mogu razmatrati kao veličine koje trpe izmene (transformišu se). Može se pret-
postaviti da izmene trpe i neke odvojene funkcije, ili skup funkcija, koje su defi-
nisane u svakoj tački (xµ ) neke n-dimenzione mnogostrukosti. Veličine različite
prirode se različito ponašaju prema proizvoljnoj transformaciji koordinata (2.5).
Stoga je od posebnog interesa ispitati kako se pri odred̄enjim transformaci-
jama koordinata transformišu posmatrane veličine ili funkcije. Na bazi toga se
može zasnovati klasifikacija svih fizičkih veličina prema izabranom zakonu trans-
formacije. O ovome će detaljno biti reči u narednim sekcijama. U fizici postoje
veličine različite prirode. Njihovu klasifikaciju možemo izvršiti prema tome kako
se menjaju prilikom proizvoljnih transformacija koordinata (2.5).
tj. pri transformaciji koordinata tipa (2.5) ova funkcija ostaje nepromenjena, onda
se ona naziva tenzor nultog reda, skalar ili invarijanta. Primer takve veličine jeste
kvadratna metrička forma ds2 data formulom (2.30).
Po analogiji sa vektorima u 3-dimenzionom prostoru, u n-dimenzionom Ri-
manovom prostoru vektor je odred̄en sa n komponenata. Skup od n veličina
2.2. Skalari, vektori i tenzori 43
∂xν
Uµ0 = Uν , (µ = 0, 1, . . . , n − 1) (2.10)
∂x0µ
predstavlja kovarijantni4 vektor ili kovarijantni tenzor prvog reda. Kao primer ko-
varijantnog vektora može nam poslužiti gradijent skalarne funkcije (invarijanta),
tj. skup od n veličina ∂ϕ/∂xµ , gde je µ = 0, 1, ..., n − 1. U sistemu koordinata S0 te
veličine imaju oblik ∂ϕ0 /∂x0µ , µ = 0, 1, ..., n − 1. Lako je videti da, prema pravilu
za posredno diferenciranje funkcija, možemo pisati
∂ϕ0 ∂ϕ ∂xν
= . (2.11)
∂x0µ ∂xν ∂x0µ
Na osnovu transformacionog pravila (2.10) vidimo da je skup veličina ∂ϕ/∂xµ
zaista kovarijantni vektor.
Analogno se mogu definisati i tenzori višeg reda. Tako na primer, skup od n2
veličina (u n-dimenzionom prostoru), koji se pri transformaciji koordinata (2.5)
potčinjava zakonu
∂x0µ ∂x0ν
Q0µν = α β Qαβ , (2.12)
∂x ∂x
3 Takvi indeksi se često nazivaju ,,nemi”indeksi.
4 Reč,,kovarijantni”ima dva potpuno različita značenja. Naime, za jednačinu ili fizički zakon
koji imaju jedan te isti oblik u svim sistemima koordinata kažemo da je kovarijantna odnosno ko-
varijantan. Med̄utim, reč ,,kovarijantniše, takod̄e, koristi ako se neka veličina pri transformaciji
koordinata potčinjava svojstvu (2.10). Na taj način, kovarijantna jednačina može sadržati zajedno
sa kovarijantnim i kontravarijantne tenzore i druge objekte koji uopšte nisu tenzori.
44 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
izostavljena.
2.3. Algebra tenzora 45
∂x0ν
Kako su x0ν i x0µ nezavisne koordinate, zbog toga je = δ0ν
µ , što znači da je
∂x0µ
µ = δµ . Odavde je jasno da Kronekerov simbol zaista predstavlja mešoviti
Q0ν 0ν
Skup svih takvih proizvoda daje komponente novog tenzora W . Pri tome je rang
tenzora W jednak zbiru rangova polaznih tenzora. Ako je npr. rang tenzora V
jednak r1 = a1 + b1 , a rang tenzora U jednak r2 = a2 + b2 , gde su ai , bi - brojevi
odgovarajućih kontravarijantnih i kovarijantnih komponenata tenzora V i U, onda
je rang tenzora W jednak r = r1 + r2 = (a1 + a2 ) + (b1 + b2 ). Tenzor dobijen na
ovaj način naziva se spoljašnji proizvod tenzora V i U.
Kao primer spoljašnjeg proizvoda razmotrimo proizvod dva kovarijantna (kon-
travarijantna) tenzora prvog ranga (vektora): VµWν . Antisimetrični deo proizvoda
VµWν ima oblik 21 (VµWν −VνWµ ). U slučaju tri dimenzije antisimetrični deo spolja-
šnjeg proizvoda dva vektora predstavlja njihov vektorski proizvod.
0µρν ∂x0µ ∂xβ ∂x0ρ ∂x0ν αγξ ∂x0µ ∂x0ρ β αγξ ∂x0µ ∂x0ρ αγβ
T 0µρ = Tν = T = α γ δξ Tβ = α γ Tβ ,
∂xα ∂x0ν ∂xγ ∂xξ β ∂x ∂x ∂x ∂x
8 Treba napomenuti da pri takvom tipu sumiranja ostali indeksi imaju neke fiksirane vrednosti.
48 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
tj.
∂x0µ ∂x0ρ αγ
T 0µρ = T .
∂xα ∂xγ
Na osnovu zakona transformacije jasno je da se radi o kontravarijantnom tenzoru
drugog ranga.
µν ε µν
unutrašnji proizvod Vε Wαβ = Uαβ . Analogno se dobija drugi unutrašnji proizvod.
µν ε
Ako stavimo ε = γ i α = ν nalazimo Vε Wνβ
µ
= Uβ .
Uverimo se, neposredno na jednom primeru, da skupovi veličina koji se dobi-
jaju kontrakcijom tenzora zadržavaju tenzorsku prirodu po preostalim indeksima.
Tako, na primer, formirajmo unutrašnji proizvod kovarijantnog vektora Vα i kon-
travarijantnog tenzora U βγ za α = β
W γ = VαU αγ .
∂x0γ ∂x0γ
W 0γ = ε
VµU µε = ε W ε .
∂x | {z } ∂x
Wε
Rešenje: Neka imamo skup veličina (ne moraju obavezno biti tenzori!) Sαβ i Aµν koje
su simetrične, odnosno antisimetrične, u udnosu na svoje indekse, tj. Sαβ = Sβα , Aµν =
−Aνµ . Napravimo dvostruki unutrašnji proizvod (α = µ, β = ν) ovih veličina Sµν Aµν . Ako
u ovom proizvodu izvršimo zamenu nemih indeksa i uzmemo u obzir svojstvo simetrije i
antisimetrije ovih veličina u odnosu na indekse, onda možemo pisati sledeće:
Sµν Aµν = 0,
∂xα ∂x0σ γ α
βγ ∂x ∂x
0σ
A0 (µ, ν)B0νσ = Vµ0σ = Vα = A(α, β)B =
∂x0µ ∂xγ ∂x0µ ∂xγ
∂xβ ∂xα 0σ β
0ξσ ∂x ∂x
α α
0νσ ∂x ∂x
β
= A(α, β)B0ξη δ = A(α, β) B = A(α, β)B .
∂x0ξ ∂x0µ η | ∂x {z ∂x }
0ξ 0µ ∂x0µ ∂x0ν
ξ→ν
50 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
Pošto je B0νσ proizvoljni tenzor, izraz u zagradi mora biti jednak nuli, tj. za ma
koje µ i ν imamo jednakost
∂xα ∂xβ
A0 (µ, ν) = A(α, β) . (2.21)
∂x0µ ∂x0ν
Ovo je formula za transformaciju kovarijantnog tenzora drugog ranga i prema
tome A(α, β) je tenzor Aαβ . Ovakvo rezonovanje se može primeniti na ma kakve
sume sličnog tipa. Time je dokazan zakon količnika koji predstavolja kriterijum
za odred̄ivanje tenzorskog karaktera odnosno tipa samog tenzora.
Prema tome, samo simetrični deo utiče na rastojanje i zbog toga se kaže da su
veličine gµν simetrične, tj. gµν = gνµ . U tom slučaju postoji n(n + 1)/2 nezavisnih
metričkih koeficijenata. Ovaj tenzor u bilo kom sistemu koordinata potpuno je
odred̄en sledećom matricom
g00 g01 g02 . . . g0,n−1
g10 g11 g12 . . . g1,n−1
g20 g g . . . g
21 22 2,n−1 (2.34)
.. .. .. . .
. . . . . .
.
gn−1,0 gn−1,1 gn−1,2 . . . gn−1,n−1
Ako elemente µ-te vrste zamenimo elementima ν-te vrste, tada je vrednost ove
determinante jednaka nuli na osnovu poznatih osobina determinante
(sumira se po ponovljenom indeksu ν), pri čemu je δαµ Kronekerov simbol (2.15)
- mešoviti tenzor drugog reda. Deobom jednačine (2.35) sa g, dobijamo relaciju
G(α,ν)
gµν = δαµ . (2.36)
g
Ovim obrascem definisan je asocirani ili konjugovani metrički tenzor gαν (kon-
travarijantni fundamentalni tenzor drugog reda):
G(α,ν)
gαν = . (2.37)
g
10 Determinanta je jednaka zbiru proizvoda elemenata jedne vrste (ili kolone) i njihovih odgova-
Ovo tvrd̄enje može biti provereno koristeći teoremu količnika (videti Zadatak
2.2). Jasno je, takod̄e, da je konjugovani metrički tenzor potpuno odred̄en me-
trikom prostora.
Da bismo ispitali karakter determinante g, pod̄imo od zakona transformacije
(2.5). Prema formuli za transformaciju tenzora pri prelazu sa jednog sistema ko-
ordinata na drugi, imamo
∂xα ∂xβ
g0µν = 0µ 0ν gαβ .
∂x ∂x
Razmotrimo determinantu g = |gµν | = det g0µν . U tom smislu formirajmo deter-
0 0
minante čiji će elementi biti izrazi sa obe strane gornje jednačine. Na osnovu
poznatog svojstva detrminanti11
¯ ¯ ¯ ¯ ¯ ¯
¯ ∂xα ∂xβ ¯ ¯ ∂x α ¯ ¯ ∂xβ ¯
¯ ¯ ¯ ¯
g0 = |g0µν | = ¯ 0µ 0ν gαβ ¯ = ¯¯gβα 0µ ¯¯ · ¯ 0ν ¯ =
¯ ∂x ∂x ¯ ∂x ¯ ∂x ¯
¯ ¯ ¯ ¯
¯ ¯ ¯ ∂xα ¯ ¯¯ ∂xβ ¯¯
= ¯gβα ¯ · ¯¯ 0µ ¯¯ · ¯ 0ν ¯ = g · J 2 ,
∂x ¯ ∂x ¯
gde je J = |∂xα /∂x0µ | jakobijan transformcije koordinata. Prema tome
g0 = g J 2 . (2.39)
Očigledno je
g = g0 J 02 , (2.40)
gde je J 0 = |∂x0µ /∂xα |.
G(α,ν)
Zadatak 2.2: Pokazati da je veličina g(α,ν) = kontravarijantni tenzor drugog
g
ranga.
Rešenje: Uvedimo najpre oznaku g(α,ν) ≡ G(α,ν) /g. Primenom zakona količnika
jednačinu (2.36) možemo pisati kao
pa je
p √
g0 dV 0 = g dV. (2.47)
Vβ
Ovaj postupak može se proširiti i na još složenije izraze, pri čemu se metrički
tenzori sa kojima se vrši množenje mogu tako izabrati da se izvesni indeksi po
želji mogu dići ili spustiti. Kao primer navedimo proizvod
µλ δ
gµν gαβ gλεVα
·β·δ
γ = Vν·εγ . (3∗)
60 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
Može se dokazati, analogno (1∗), da su, na primer, izrazima (2∗) i (3∗) dobijeni
odgovarajući tenzori.
S obzirom na tenzorsku prirodu ove jednačine, jasno je da njen oblik ostaje isti u proizvolj-
nom (primovanom) sistemu, tj.
g0µν Q0νσ = Q0σµ . (2.51)
Zamenjujući izraze
Konačno,
∂xα ∂x0σ ξ
Q0σ
µ = Qα , (2.52)
∂x0µ ∂xξ
što je i trebalo pokazati. 2
Na taj način, Aµ = gσµ Aσ . Med̄utim, s druge strane važi sledeća jednakost Aµ = δσµ Aσ , gde
je δσµ - Kronekerov simbol. Prema tome,
gσµ = δσµ .
Kako je δσµ tenzor, onda je gσµ takod̄e tenzor i on se naziva mešoviti fundamentalni (ili
metričke) tenzor. Na osnovu rečeneog, jasno je da je Qσµ = gσµ , tj. Qσµ = δσµ , što je i trebalo
pokazati. 2
Vµ = V µ .
tj.
Vµλ = V µλ .
Do sličnog rezultata možemo doći i za tenzore višeg reda, te možemo zaključiti
da se u Euklidovom prostoru kontra- i kovarijantne komponente tenzora sa is-
tim indeksima med̄usobno poklapaju. Zbog toga se u ovim prostorima ne mora
praviti razlika izmed̄u kontra- i kovarojantnih komponenata i indekse možemo pi-
sati po volji gore ili dole. Med̄utim, ovde treba podvući da navedeni zaključci
važe samo pod uslovom da je metrička forma Euklidovog prostora svedena na
oblik dat jednačinom (2.31), što je slučaj kada se posmatra u Dekartovom sistemu
koordinata. U tom slučaju, dakle, nema razlike izmed̄u kontra- i kovarijantnih
komponenata, dok, na primer, u sfernim koordinatama ove komponente nisu više
med̄usobno jednake.
62 Glava 2. Osnovi Rimanove geometrije i tenzorske analize
Zadaci
1. Pretpostavimo da se veličine V (µ, ν, σ) i Q(µ, ν, σ, ξ) transformišu po sledećim za-
konima
∂xα ∂xβ ∂x0σ
a) V 0 (µ, ν, σ) = 0µ 0ν γ V (α, β, γ),
∂x ∂x ∂x
∂x0µ ∂xν ∂xγ ∂xξ
b) Q0 (µ, ν, σ, ξ) = Q(α, β, γ, δ).
∂xα ∂x0β ∂x0σ ∂x0δ
Ispitati da li one imaju tenzorsku strukturu?
2. Kovarijantni tenzori se prilikom rotacije transformišu na isti način kao i kontrava-
rijantni. Kojem svojstvu matrice rotacije odgovara ovo poklapanje.
3. Pokazati da izmed̄u zakona transformacije komponenata kovarijantnog i kontrava-
rijantnog tenzora prvog ranga u odnosu na ortogonalne transformacije u euklid-
skom prostoru ne postoje nikakve razlike.
4. Ispitati kako se ponašaju koordinate proizvoljnog tenzora u odnosu na ortogonalne
transformacije.
5. Neka su V i (i = 1, 2, 3) komponente nekog kontravarijantnog tenzora prvog ranga
(vektora) u odnosu na Dekartov pravougli sistem koordinata u euklidskom pro-
storu. Naći njegove komponente u a) cilindričnim i b) sfernim koordinatama.
6. Dokazati, direktnim računom, da je skalarni proizvod dva vektora U µ Vµ u Rimano-
vom prostoru skalar (invarijanta). Dokazati to isto i za U µνVµν .
7. Neka je u nekom sistemu koordinata data tenzorska jednačina Vµν = Wµν . Pokazati
da ista takva jednačina važi u proizvoljnom sistemu koordinata.
2.5. Tenzorska analiza 63
∂x0µ ∂xβ 0β
8. Ako je Qνµ = Qα , dokazati da onda važi
∂xα ∂x0ν
∂xα ∂x0ν β
Q0ν
µ = Qα .
∂x0µ ∂xβ
9. Napisati obrasce za transformaciju kontravarijantnog tenzora trećeg reda pa izraziti
neprimovane koordinate tenzora pomoću primovanih koordinata.
10. Koristeći matrično množenje prikazati zakone transformacije vektora i tenzora dru-
gog ranga.
11. Napisati zakone transformacija za sve tipove tenzora četvrtog ranga.
µ ξ
12. Ako su Uνσ i Vµ mešoviti tenzori, pokazati, na osnovu zakona transformacije, da
µ ξ
je njihov proizvod UνσVµ tenzor trećeg ranga.
µ µ
13. Ako je Qνσ mešoviti tenzor trećeg ranga, onda je Qνµ kovarijantni vektor (tenzor
prvog ranga). Dokazati.
∂Vµ ∂Vµ ∂Vν
14. Ako je Vµ kovarijantni vektor ispitati da li veličine ν i − imaju ten-
∂x ∂xν ∂xµ
zorsku prirodu?
∂V µ
15. Neka je V µ kontravarijantni vektor. Pokazati da je veličina skalar (invarijanta).
∂xν
16. Neki skup veličina Q(µ, α, β) zadovoljava relaciju
βγ γ
Q(µ, α, β) Uα = Vν ,
αγ γ
gde su Uβ i Vµ proizvoljni tenzori. Koristeći zakon količnika dokazati da je
Q(µ, α, β) takod̄e tenzor.
17. Ako su komponente nekog tenzora u proizvoljnom sistemu koordinata jednake
nuli, onda su one jednake nuli u odnosu na bilo koji sistem. Dokazati.
18. Naći koordinate metričkog tenzora, konjugovanog metričkog tenzora i vrednost
determinante g u cilindričnim i sfernim koordinatama.
19. Pokazati da se metrička forma jedinične sfere (2.27) nikakvim realnim transforma-
cijama ne može izraziti u obliku
65
66 Glava 3. Principi opšte teorije relativnosti
1 U različitim udžbenicima susrećemo različite primere kao što su Ajnštajnova kutija, pokretna
Otuda, specijalno, sledi da ako u liftu ne postoji gravitaciono polje, to je, primora-
vajući lift da se kreće ubrzano, moguće u njemu ,,stvoriti”gravitaciono polje. Obr-
nuto, ako se lift nalazi u homogenom gravitacionom polju, onda primoravajući
ga da se kreće sa ubrzanjem koje saopštava to polje (tj. ako ,,slobodno”pada)
moguće je veštački ,,uništiti”(kompenzovati) gravitaciono polje. U takvom si-
stemu se inercijalno ubrzanje tela poništava sa gravitacionim, i zakoni mehanike,
odnosno zakoni prirode u opštoj formulaciji, postaju isti kao i u inercijalnom si-
stemu reference. U tom smislu se princip ekvivalentnosti formuliše i u drugom
obliku:
b) U sistemu reference koji slobodno pada svi zakoni fizike su isti kao u STR
(koja važi u inercijalnim sistemima reference).
nog karaktera PE, metrika je galilejevska samo u homogenom polju, dok je već u
nehomogenom gravitacionom polju ona negalilejevska.
PE može biti uopšten na slučaj proizvoljnog krivolinijskog ubrzanog kretanja.
Razmotrimo jednostavan primer sistema reference koji ravnomerno rotira ugao-
nom brzinom ω oko z-ose. U jednom takvom neinercijalnom sistemu reference,
drugi Njutnov zakon ima sledeći oblik:
m~a0 = ~F − m~a0 − 2m(~ω ×~v0 ), (3.1)
gde je ~F tzv. aktivna (prava) sila, ~a0 tzv. prenosno ubrzanje, a 2(~ω ×~v0 ) Korio-
lisovo ubrzanje. Ako m~a0 i 2m(~ω ×~v0 ) razmatramo kao sile formalno možemo
smatrati da drugi Njutnov zakon važi i u neinercijalnim sistemima reference.
Ove sile predstavljaju tzv. inercijalne sile, naime silu inercije prenosnog kreta-
nja i Koriolisovu silu inercije. Deobom jednačine (3.1) sa m vidimo da preno-
sno ubrzanje saopštava različitim telima jedno te isto ubrzanje, te je stoga ja-
sno da su te sile slične gravitacionim silama. Prema tome, u sistemu koji ro-
tira pojavljuje se ,,gravitaciono”polje tipa - centrifugalnog ,,polja”. Iz analitičkog
oblika centrifugalne sile (mω2~R⊥ ) vidi se da je ovo ,,polje”usmereno u bilo ko-
joj tački po radijusu od ose rotacije i raste sa udaljavanjem od nje, tj. ono je
nehomogeno. Med̄utim, kao što smo već rekli, u ma kojoj konačnoj oblasti i
,,pravo”gravitaciono polje je nehomogeno, i za razliku od homogenog, ono se
ne može eliminisati, u celom prostoru, nikakvim izborom prostorno-vremenskih
koordinata. Ova činjenica, da se gravitaciono polje ne može isključiti nikakvim
transformacijama koordinata, u isti mah, dovodi u tesnu vezu materiju i gravita-
ciju.
Do sada smo razmatrali, kao primere, ravnomerno ubrzano pravolinijsko kre-
tanje i ravnomerno rotirajuće kretanje referentnog sistema, tj. kretanje sa ubrza-
njem konstantnim u toku vremena. Nije teško shvatiti da je proizvoljno kretanje
sistema reference sa promenljivim ubrzanjem u toku vremena ekvivalentno od-
govarajućem promenljivom ,,gravitacionaom”polju. Zbog toga se princip ekviva-
lentnosti može uopštiti i formulisati na sledeći način:
Proizvoljno kretanje sistema reference (povezano sa ma kakvim promenljivim
ubrzanjem u toku vremena) ekvivalentno je nekom (u opštem slučaju promen-
ljivom i nehomogenom) gravitacionom polju.
dan te isti dogad̄aj (ili proces) može biti opisan u raznim sistemima reference, čiji
je izbor subjektivan i proizvoljan. Tako, na primer, položaj tačke u ravni može
biti zadat pomoću Dekartovih koordinata x i y, pomoću polarnih koordinata ρ i φ
i tako dalje, pri čemu u svim ovim slučajevima mi možemo još proizvoljno za-
dati položaj koordinatnog početka i pravce koordinatnih osa. Takod̄e, možemo u
svakom trenutku, u svim tim slučajevima, preći sa jednog sistema koordinata na
drugi. U trodimenzionom slučaju položaj tačke u prostoru može biti zadat pomoću
Dekartovih koordinata (x, y, z), pomoću sfernih koordinata (r, θ, φ), pomoću cilin-
dričnih koordinata (ρ, φ, z) itd.
Pred̄imo sada na slučaj sistema reference koji se kreću. U STR od svih
mogućih sistema reference izdvojenu ulogu imaju inercijalni sistemi. Ajnštajnov
specijalni princip relativnosti tvrdi da je oblik fizičkih zakona isti u svim inercijal-
nim sistemima reference. Ajnštajn je ovaj princip smatrao kao osnovni nedostatak
STR i želeo je da stav o relativnosti kretanja inercijalnih sistema reference proširi
i na koordinatne sisteme koji se kreću ubrzano jedan u odnosu na drugi i time
obuhvati i gravitaciju.
Med̄utim, PE koji je razmatran u prethodnom poglavlju u korenu menja stvar.
Naime, videli smo da je prelazak na neinercijalne (ubrzane) sisteme reference
ekvivalentan pojavi gravitacionog polja. Prema tome, sa opšte tačke gledišta,
može se za opis pojava i procesa u prirodi koristiti bilo kakav sistem, koji se kreće
na proizvoljan način, uvodeći (simulirajući) pri tome ,,gravitaciono”polje. Tako,
na primer, u STR za opisivanje fizičkog prostor-vremena potrebno je četiri koor-
dinate: tri prostorne koordinate x, y, z i vreme t. Umesto ovih koordinata, može
se preći na bilo koje druge generalisane (krivolinijske) koordinate x0 , x1 , x2 , x3 ,
koje su proizvoljne funkcije Dekartovih (pravouglih) koordinata i vremena. Dru-
gim rečima, zakoni prirode treba da budu invarijantni u odnosu na bilo kakve
(najopštije) transformacije sve četiri koordinate
Ova činjenica predstavlja suštinu tzv. opšteg principa relativnosti koji leži u
osnovi Ajnštajnove opšte teorije relativnosti (OTR) i može se iskazati na sledeći
način:
Svi fizički zakoni moraju biti tako formulisani da imaju isti oblik u svim siste-
mima reference koji se proizoljno kreću.
gravitaciju i sve ostale vrste ubrzanih kretanja. Preme tome, za opisivanje zakona
prirode svi sistemi reference su potpuno ravnopravni. Sada postaje jasno da se
opšti princip relativnosti može realizovati uz pomoć opšteg principa kovarijantno-
sti:
što je svakako važno jeste da se razjasni pitanje veze fizike, odnosno odgova-
rajućih fizičkih merenja, sa geometrijom.
Istorijska je zasluga velikog ruskog matematičara Nikolaja Ivanoviča Lobače-
vskog (1793-1856) što je početkom XIX veka našao odgovor na pitanje o kara-
kteru petog postulata2 , ali na način koji niko nije očekivao. On je bio prvi koji
je posumljao u mogućnost da se V Euklidov postulat izvede iz ostalih postulata
geometrije i koji je imao retku i veliku smelost da to objavi. Lobačevski uvodeći
umesto V Euklidovog postulata negaciju njegovog ekvivalenta – negaciju Plejfe-
rove aksiome o paralelama, po kojoj kroz tačku van date prave, u ravni te tačke
i te prave, prolaze bar dve prave koje ne seku zadatu pravu, razvija sistem svo-
jih teorema i ustanovljava da taj sistem predstavlja jednu novu geometriju, koju
naziva ,,imaginarnom”. On ovu novu geometriju (24. februar 1826.), razvija do
onih granica do kojih je bila razvijena Euklidova geometrija i pri tome u njoj nije
naišao ni na kakve logičke protivrečnosti. U njoj, na primer, postoji teorema po
kojoj je zbir uglova u trouglu manji od opruženog ugla (π).
Kasnije su se pojavile i druge neeuklidske geometrije. Med̄u njima svakako
treba pomenuti istraživanja nemačkog matematičara B. Rimana (1826-1866) koji
je izgradio još jedan neeuklidski geometrijski sistem u kojem uopšte ne postoje
paralelne prave, tj. svake dve prave iste ravni se seku. U ovoj geometriji, izmed̄u
ostalog, zbir uglova trougla veći je od dva prava ugla. Upravo se ta geometrija
koristi da bi se opisao prostor u OTR.
Koja od ovih geometrija važi, zavisi od toga gde se nalazimo, tj. koji si-
stem aksioma usvajamo kao ispravan (valjan, istinit). Naše uverenje u istini-
tost geometrijskih aksioma se zasniva na tome što se tvrd̄enja njenih aksioma i
teorema uzimaju iz našeg (ovozemaljskog) iskustva, a u praksi se dobro slažu
sa rezultatima merenja. U našoj svakodnevnoj praksi3 , osnovnim pojmovima
date geometrije možemo pridati odred̄eni fizički smisao. Tako, na primer, duž
interpretiramo kao zategnutu nit, tačke - kao krajeve niti, a pravu - kao zateg-
nutu nit, pa još ,,produženu”na oba kraja u beskonačnost. U tom slučaju pitanja
o ,,istinitosti”(valjanosti, ispravnosti) geometrijskih iskaza postaju pitanja fizike,
tj. pitanja o tačnosti veze izmed̄u odgovarajućih fizičkih objekata. Otuda veza
2 Navedimo najpoznatiju formulaciju V Euklidovog postulata: Kroz proizvoljnu tačku van date
prave, u ravni te tačke i te prave, prolazi najviše jedna prava koja je ne seče (aksioma o paralelama
– Dž. Plejfer 1748-1819, engleski matematičar).
3 Ili pak, u Njutnovoj mehanici pravu interpretiramo kao putanju tela koje se kreće u skladu sa
zakonom inercije, a tačku - kao telo čije su dimenzije male u odnosu na dimenzije oblasti u kojoj se
kretanje vrši, i čija nas unutrašnja struktura ne interesuje. Takvo telo u mehanici zvaćemo česticom
ili materijalnom tačkom. Ili, na primer, u optici (geodeziji, astronomiji) pravu interpretiramo kao
putanju svetlosnog zraka, a tačku - kao izvor svetlosti, ponovo, zanemarljivo malih dimenzija.
3.3. Gravitacija i geometrija 73
Videli smo da prelaz sa jednog ISR na drugi ostavlja nepromenjen kvadrat inter-
0
vala izmed̄u dogad̄aja (ds2 = ds 2 ). Ako se u ovoj geometriji fiksira, na primer,
vremenska koordinata, preostali deo prostor-vremena se ponaša po pravilima do-
bro poznate Euklidove geometrije.
Med̄utim, u OTR situacija je drugačija: prostorne geometrijske relacije presta-
ju da zadovoljavaju geometriju koja sledi iz (3.3). Dakle, ako pred̄emo na neiner-
cijalni sistem reference, onda ds2 više neće biti jednostavan zbir kvadrata dife-
rencijala četiri koordinate. Da bismo ilustrovali kako do toga dolazi, razmotrimo
geometriju na ravnom disku koji ravnomerno rotira ugaonom brzinom ω (neine-
rcijalni sistem) u odnosu na inercijalni sistem, oko ose normalne na njegovu ravan,
koja prolazi kroz centar ovog diska. Pošto je ubrzan sistem reference ekvivalentan
gravitacionom polju, zaključci do kojih dod̄emo važiće, u principu, i za prava gra-
vitaciona polja.
Prelaskom na sistem reference koji ravnomerno rotira, koristeći rezultate Do-
datka A, imamo
x = x0 cos ωt − y0 sin ωt,
y = x0 sin ωt + y0 cos ωt, (3.4)
z = z0 .
Nalaženjem odgovarajućih diferencijala i zamenom u (3.3) kvadrat intervala u
novom sistemu koordinata (primovanom) poprima oblik:
ds2 = [c2 − ω2 (x02 + y02 )]dt 2 − dx02 − dy02 − dz02 + 2ω y0 dx0 dt − 2ω x0 dy0 dt. (3.5)
gde su gµν komponente metričkog tenzora i one su neke funkcije koordinata, tj.
prostornih koordinata x1 , x2 , x3 i vremenske koordinate x0 . Ova forma važi za pro-
izvoljne koordinate, što se može, kao što smo videli u Glavi 2, lako pokazati.
Veličine gµν odred̄uju sva svojstva geometrije u proizvoljnom (krivolinijskom) si-
stemu koordinata i one, kako se kaže, definišu metriku prostor-vremena. Prema
tome, kada se koristi neinercijalni sistem reference, očigledno je da se radi o jed-
nom 4-dimenzionom krivolinijskom sistemu. Komponente metričkog tenzora su
simetrične, tj. gµν = gνµ i postoji svega 10 veličina gµν , i to četiri veličine sa is-
tim (g00 , g11 , g22 , g33 ) i šest veličina gµν sa različitim indeksima. Razlika metrike
4-dimenzionog prostora (3.6) od galilejevske (3.3), u skladu sa Ajnštajnovim ide-
jama, može se objasniti na račun pojave gravitacije.
U odsustvu pravih gravitacionih polja (inercijalni sistem reference) kompo-
nente metričkog tenzora gµν u celom prostoru imaju konstantne vrednosti koje
iznose
g00 = 1, g11 = g22 = g33 = −1, gµν = 0 za µ 6= ν (3.7)
Med̄utim, za fiziku su važne i one oblasti gde se nalaze tela (prisutna masa),
kao i odgovarajuća prava gravitaciona polja i njihov uticaj. Kao što smo ista-
kli, neinercijalni sistem reference ekvivalentan je nekom gravitacionom polju.
Svako gravitaciono polje nije ništa drugo nego promena prostorno-vremenske
metrike, pa se prema tome definiše veličinama gµν . Ta veoma važna okolnost
pokazuje da geometrijska svojstva prostor-vremena (njegova metrika) upošte nisu
njegova nepromenljiva svojstva, kao što je to u klasičnoj mehanici, već da zavise
od fizičkih objekata koji se nalaze u tom prostor-vremenu. Poznavanje metrike
prostor-vremena omogućava da se odgovori na osnovna pitanja koja obično inte-
resuju fizičare. Postavlja se pitanje kako je moguće odrediti veličine gµν . Traga-
nje za odgovorom na to pitanje dovelo je Ajnštajna do sistema jednačina kojima
treba da zadovoljavaju ovih 10 veličina gµν . Na taj način nastala je teorija gra-
vitacionog polja koja je izgrad̄ena na osnovu teorije relativnosti i naziva se opšta
teorija relativnosti ili Ajnštajnova teorija gravitacionog polja. Nju je zasnovao
i prvi formulisao A. Ajnštajn 1916. godine. Osnovna pretpostavka Ajnštajnove
teorije gravitacije sastoji se u tome da pri postojanju pravog gravitacionog polja,
koga stvaraju tela, kvadrat intervala ima oblik (3.6). Pri tome komponente sime-
tričnog metričkog tenzora gµν su funkcije, koje kao što ćemo videti, zadovoljavaju
jednačine gravitacionog polja (Ajnštajnove jednačine) i ne svode se na Galilejev
oblik (3.7) u svim tačkama realnog prostor-vremena. Ove veličine, kao što ćemo
videti kasnije, zavise od rasporeda materije u prostoru.
Očigledno je da se, pravo gravitaciono polje ne može eliminisati nikakvim
transformacijama koordinata. To znači da je u prisustvu gravitacionog polja pro-
stor-vreme takvo, da se veličine gµν koje definišu njegovu metriku, ne mogu nika-
kvim transformacijama koordinata svesti u čitavom prostoru na njihov Galilejev
oblik. Takav prostor-vreme u OTR se naziva Rimanov ili neeuklidski. U Rimano-
vom prostoru ne važe zakoni obične euklidske geometrije i u njemu se ne može
uvesti (u celom prostor-vremenu) privilegovan (inercijalni) Lorencov sistem ko-
ordinata. Takav prostor-vreme se još naziva zakrivljen za razliku od ravnog gde
je navedena transformacija moguća u svim tačkama prostor-vremena.
Jedino što se može postići pogodnom transformacijom koordinata u Rimano-
vom prostoru je svod̄enje komponenata metričkog tenzora gµν na vrednosti (3.7),
tj. eliminisanje gravitacionog polja u datom beskonačno malom elementu ,,zapre-
mine”prostor-vremena4 , dok u ostalom prostor-vremenu gµν ostaju negalilejev-
ski, tj. funkcije koordinata. I zaista, u beskonačno malom prostoru veličine gµν
5 Ovaj primer je veoma ilustrativan i uspostavlja analogiju sa onim što se dešava u realnom
3.3. Gravitacija i geometrija 77
prave, ravni i slično) i relacije koje važe izmed̄u njih. Različite geometrije imaju različita tvrd̄enja.
Na primer, u Rimanovoj geometriji se svake dve prave iz iste ravni seku, dok u euklidskoj i hiper-
boličnoj geometriji to nije slučaj.
78 Glava 3. Principi opšte teorije relativnosti
ξα = f α (x0 , x1 , x2 , x3 ), α = 0, 1, 2, 3.
Pri tome, sopstveno vreme τ, definisano jednačinom (3.9), takod̄e, mora biti izra-
ženo u novom (proizvoljnom) sistemu koordinata
∂ξµ α ∂ξν β
(cdτ)2 = ηµν dξµ dξν = ηµν dx dx . (3.11)
∂xα ∂xβ
Ako sada umesto xµ koristimo neki novi sistem koordinata x0µ , tada se dobija
formula koja je po obliku slična formuli (3.10) u kojoj je sada xµ svuda zame-
njeno sa x0µ . To znači da je jednačina (3.10) invarijantna u odnosu na proizvoljne
∂xσ ∂2 ξα
transformacije koordinata xµ → x0µ . Zapazimo da su koeficijenti α µ ν , koji
∂ξ ∂x ∂x
ulaze u jednačinu (3.10), odred̄eni samo relacijama izmed̄u koordinata sistema
ξµ i sistema xµ (nisu fizičke veličine) i nemaju odrd̄en fizički smisao. Jasno je
da njihov oblik zavisi od izbora krivolinijskih koordinata. Prema tome, jednačina
(3.10) koja je sada zapisana u novom sistemu koordinata, ekvivalentna je polaznoj
jednačinu (3.8). Med̄utim u taj novi zapis nije unesen nikakav fizički smisao.
Sasvim različito se može gledati na jednačinu (3.10) ako iskoristimo PE. Na-
ime, stavljajući u jednačinu (3.11) da je
∂ξµ ∂ξν
gαβ (x) = ηµν ,
∂xα ∂xβ
i interpretirajući geometrijske veličine gαβ , u skladu sa PE, kao gravitacioni ten-
zor9 , moguće je proširiti smisao jednačine (3.10) do zakona koji povezuje interak-
ciju materijalne tačke (čestice) sa gravitacionim poljem10 . Princip ekvivalentnosti
pokazuje da geometrijske veličine gµν , sa fizičke tačke gledišta, igraju ulogu gra-
vitacionog potencijala. Naime, još je od vremena Njutna dobro poznato da je
raspodela gravitacionog potencijala odred̄ena prostorno-vremenskom raspodelom
9 Skup funcija gµν (x), kojih u OTR ima ukupno 10, definiše tzv. Ajnštajnov gravitacioni tenzor.
Med̄utim, u geometriji veličine gµν (x) predstavljaju metrički ili fundamentalni tenzor i odred̄uju
geometrijska svojstva prostora.
10 Podsetimo da se u Njutnovoj teoriji gravitacije, gravitaciono polje opisuje samo jednom
gde su
∂xσ ∂xα
gσα (x) ≡ ηµν = gσα .
∂ξµ ∂ξν
tzv. kontravarijantne komponente metričkog tenzora koje su takod̄e funkcije ko-
ordinata. Kontravarijantne komponente metričkog tenzora gνα i odgovarajuće ko-
varijantne veličine gαν , kao što je poznato (videti Glavu 2), zadovoljavaju sledeću
relaciju:
gνα gµα = δνµ .
d 2 xσ µ
σ dx dx
ν
= −Γ µν (σ = 0, 1, 2, 3). (3.13)
dτ2 dτ dτ
Ovo su tražene diferencijalne jednačine kretanja slobodne čestice u gravitacionom
polju. Kriva koja se dobija kao rešenje jednačine (3.12), naziva se geodezijska li-
nija. Gornja jednačina tvrdi da se čestice (probna tela) pod uticajem gravitacije
kreću po putanjama čije se jednačine mogu izvesti iz metrike prostora vremena.
Na levoj strani ove jednačine izvod d 2 xσ /dτ2 = duσ /dτ predstavlja 4-ubrzanje
čestice. Koeficijenti Γ, tzv. Kristofelovi simboli ili afine povezanosti11 , na desnoj
strani gornje jednačine sadrže veličine ∂g/∂x. Ako gµν interpretiramo kao gravita-
cione potencijale, onda desna strana (3.13) pomnožena sa masom12 čestice m, tj.
veličina mΓσµν uµ uν , predstavlja silu teže koja dejstvuje na česticu u gravitacionom
polju. Dakle, metrički tenzor gµν igra ulogu ,,potencijala”gravitacionog polja, dok
njegovi izvodi (Γσµν ) odred̄uju ,,jačinu”polja. Smisao unesen u jednačine (3.10) iz-
veden je isključivo zahvaljujući principu ekvivalentnosti. Pri izvod̄enju jednačine
kretanja materijalne tačke (3.13) u gravitacionom polju se ne pojavljuju nikakve
proizvoljnosti i nije nužno uvoditi nikakve druge dodatne pretpostavke.
11 U sledećoj glavi ove veličine biće detaljno obrad̄ene u odnosu na proizvoljni sistem koordinata.
12 U jednačinama kretanja (3.12) u prvom članu treba da stoji inercijalna masa m , a u drugom
i
gravitaciona masa mg materijalne tačke. Na osnovu PE ove dve mase su jednake (mi = mg = m) i
zbog toga su se skratile.
3.5. Njutnovska aproksimacija 81
gµν (x) = ηµν + hµν (x), |hµν (x)| ¿ 1 (µ, ν = 0, 1, 2, 3). (3.14)
|~v| ¿ c. (3.16)
Kristofelovi simboli
85
86 Glava 4. Kristofelovi simboli
ξ ξ
Γαβ gξγ = gξη Γαβ,η gξγ = Γαβ,η gξη gξγ = Γαβ,η δγ = Γαβ,γ . (4.10)
Γ0τ 0τσ 0
µν = g Γµν,σ , (4.12)
uz uračunavanje
à !
∂x0τ ∂x0σ ∂xα ∂xβ ∂2 x ξ ∂xγ
g0τσ = gθη θ η , Γ0µν,σ = Γ αβ,γ + gγξ ,
∂x ∂x ∂x0µ ∂x0ν ∂x0µ ∂x0ν ∂x0σ
dobijamo
à !
θη ∂x ∂x0σ
0τ ∂xα ∂xβ ∂2 x ξ ∂xγ
Γ0τ =g Γ + g =
µν
∂xθ ∂xη ∂x0µ ∂x0ν αβ,γ γξ
∂x0µ ∂x0ν ∂x0σ
à !
∂x0τ γ ∂xα ∂xβ ∂2 xξ
= gθη θ δη Γ + g =
∂x ∂x0µ ∂x0ν αβ,γ γξ 0µ 0ν
∂x ∂x
à ! à !
∂xα ∂xβ θ θγ ∂2 xξ ∂x0τ ∂xα ∂xβ θ ∂2 xθ ∂x0τ
= Γ + g g γξ 0µ 0ν = Γ + .
∂x0µ ∂x0ν αβ ∂x ∂x ∂xθ ∂x0µ ∂x0ν αβ ∂x0µ ∂x0ν ∂xθ
88 Glava 4. Kristofelovi simboli
∂gµα ∂gνα ∂ µ
σ
gνα + gµα σ
= σ (δν ) = 0,
∂x ∂x ∂x
ili ako iskoristimo već dokazanu relaciju (4.16), nalazimo
∂gµα ∂gνα
gνα = −gµα σ = −gµα (Γνσ,α + Γασ,ν ).
∂xσ ∂x
β
Unutrašnjim množenjem sa gνβ , uz korišćenje relacije gνβ gνα = δα , dobijamo
∂gµβ β
= −gνβ gµα Γνσ,α − gνβ gµα Γασ,ν = −gνβ Γνσ − gµα Γασ .
µ
∂xσ
Ako u prvom članu ovog izraza sa desne strane nemi indeks ν prevedemo u α, a zatim β
preimenujemo u ν, konačno dobijamo
∂gµν
= −(gµα Γνασ + gνα Γασ ),
µ
(4.17)
∂xσ
što je i trebalo pokazati.
d) Da bismo dokazali navedenu jednakost polazimo od jednačine (2.35)
g = gµ0 G(µ,0) + gµ1 G(µ,1) + ... + gµn−1 G(µ,n−1) = gµα G(µ,α) .
(ovde se sumira po α, dok je µ-fiksno). Pošto su komponente metričkog tenzora gµα
funkcije koordinata x0 , ..., xn−1 , tada je i G(µ,α) takod̄e funkcija od istih promenljivih.
Diferencirajmo gornju jednačinu po gµν
∂g ∂g ∂gαβ ∂gαβ
= = G(α,β) µ .
∂xµ ∂gαβ ∂xµ ∂x
∂g ∂gαβ
= g gαβ µ .
∂xµ ∂x
∂gαβ
Ako dalje ubacimo iz jednačine (4.16), dobija se
∂xµ
∂g β
= g gαβ (Γαµ,β + Γβµ,α ) = g Γααµ + g Γβµ = 2g Γααµ ,
∂xµ | {z }
β→α
gde je u poslednjem članu ovog izraza izmenjena oznaka nemog indeksa. Odavde je
konačno (g < 0)
∂ √
Γααµ = µ (ln −g), (4.18)
∂x
što je i trebalo dokazati. 2
γ
Teorema: Neka u datom sistemu koordinata S veličine Γαβ imaju vrednost
γ
(Γαβ )0 . Potreban i dovoljan uslov da bi u toj tački (za koju je vezan lokalno-
eτµν u sistemu koordina Se bile jednake nuli jeste da
inercijalni sistem) veličine Γ
formule za transformacije koordinata zadovoljavaju sledeću jednakost:
µ ¶ µ ¶
∂2 x̃α ∂x̃α
= (Γτµν )0 . (4.19)
∂xµ ∂xν 0 ∂xτ 0
Dokaz:
Pri prelasku sa sistema koordinata xµ → x0ν , Kristofelovi simboli se transformišu
prema zakonu koji je dat izrazom (4.14). Ako sada sistem koordinata S identifi-
kujemo sa sistemom koordinata Se (xµ → x̃ν ), a sistem S0 u (4.14) sa sistemom S
(x0µ → xν ) dobijamo:
∂xα
Vµ0 = Vα .
∂x0µ
Vidimo da drugi član u ovom izrazu narušava tenzorski karakter veličine ∂Vµ0 /∂x0ν .
Samo u slučaju linearnih transformacija, izvodi ∂Vα /∂xβ transformisali bi se kao
tenzori. Iako ∂Vα /∂xβ ne obrazuju tenzor, ipak pomoću njega može se formirati
tenzor. Ako ranije dobijenu formulu (4.13) za transformaciju Kristofelovih sim-
bola druge vrste
à !
∂xα ∂xβ θ ∂2 x θ ∂x0τ
Γ0τ
µν = Γ + ,
∂x0µ ∂x0ν αβ ∂x0µ ∂x0ν ∂xθ
∂Vα
Vα; β = − Γθαβ Vθ . (4.24)
∂xβ
Kovarijantni izvod Vα; β kovarijantnog vektora Vα pri prelazu sa jednog si-
stema koordinata na drugi, transformišu se, s obzirom na (4.23), po formulama
∂xα ∂xβ
Vµ;0 ν = V .
∂x0µ ∂x0ν α; β
Na osnovu jednačine (4.24), kovarijantno diferenciranje predstavlja uopštenje obi-
čnog diferenciranja. Slično se, takod̄e, može definisati i kovarijantni izvod kon-
travarijantnog vektora V α . Ako pod̄emo od jednakosti Vα = gαξV ξ , tada jednačina
(4.24) uz korišćenje (4.5), postaje
Na taj način à !
∂V ξ ξ ε
Vα; β = gαξ + ΓβεV .
∂xβ
4 Postoje takod̄e i druge oznake za kovarijantni izvod vektora V (umesto ”; ”), kao na primer:
α
(Vα )β , ∇β Vα . U daljem tekstu mi ćemo koristiti oznaku ”; ”.
94 Glava 4. Kristofelovi simboli
∂(Vα1 Wα2 )
= − Γεα2 µVα1 Wε − Γεα1 µVεWα2 .
∂xµ
Konačno,
∂Qα1 α2
Qα1 α2 ;µ = − Γεα1 µ Qεα2 − Γεα2 µ Qα1 ε ,
∂xµ
čime je jednačina (4.26) dokazana. Slično se dokazuju i preostale dve formule. Dokaz
prepuštamo čitaocu za vežbu. 2
96 Glava 4. Kristofelovi simboli
∂gα1 α2 ∂gα1 α2
gα1 α2 ;µ = − Γεα1 µ gεα2 − Γεα2 µ gα1 ε = − (Γα1 µ,α2 + Γα2 µ,α1 ).
∂xµ ∂xµ
Iz (4.16) sledi da gornja jednačina postaje nula, tj.
∂gα1 α2 ∂gα1 α2
gα1 α2 ;µ = − ≡ 0. (4.33)
∂xµ ∂xµ
∂gαα21 ∂gαα21
gαα21 ;µ = − Γ ε
α g α2
ε + Γ α2 ε
εµ g α = − Γαα21 µ + Γαα21 µ ≡ 0. (4.34)
∂xµ 1 µ 1
∂xµ
ili
gεβ gβα2;µ = gεα2;µ = 0. (4.35)
4.5. Paralelni prenos tezora 97
∂δνµ
δνµ; σ = − Γαµσ δνα + Γνασ δαµ = 0 − Γνµσ + Γνµσ ≡ 0.
∂xσ
2
∂xµ 0ν
Vµ = V ,
∂x0ν
tako da je
µ ¶ µ ¶
∂xµ 0ν ∂xµ ∂xµ
dV µ = d V = dV 0ν +V 0ν d =
∂x0ν ∂x0ν ∂x0ν
(4.36)
∂xµ ∂2 x µ
= dV 0ν +V 0ν dx0σ .
∂x0ν ∂x0σ ∂x0ν
Prema tome, dV µ se, zbod prisustva drugog člana u (4.36), ne transformiše kao
vektor. Ovo isto važi i za diferencijale kovarijantnih vektora. Očigledno je da
samo u slučaju linearnih transformacija, drugi član u formuli (4.36) otpada i dV µ
se transformiše kao vektor.
Da bi se u proizvoljnim negalilejevim koordinatama dobio diferencijal vektora
koji je ponovo vektor, potrebno je da se oba vektora, koji se med̄usobno oduzi-
maju, nalaze u jednoj te istoj tački prostora. Drugim rečima, potrebno je na neki
način ,,premestiti”jedan od dva beskonačno bliska vektora u tačku gde se nalazi
drugi, a potom odrediti razliku oba vektora, koji se sada odnose na jednu te istu
tačku prostora. Sama operacija prenosa mora se, pri tome, odrediti tako da se
u Dekartovim (ili tačnije galilejevskim) koordinatama tražena razlika poklapa sa
običnim diferencijalom dV µ , odnosno da se komponente vektora koji se prenosi
ne menjaju. Ovaj prenos vektora (tenzora), pri kome se njegove komponente u ga-
lilejevskim koordinatama ne menjaju, naziva se paralelni prenos. Med̄utim, ako
se upotrebe proizvoljne koordinate, onda se pri takvom pomeranju komponente
5 Tačnije, uopšte uvek, kada su komponente metričkog tenzora gµν konstantne.
4.5. Paralelni prenos tezora 99
ξ ∂2 x̃ε ∂xξ
Γµθ = ,
∂xµ ∂xθ ∂x̃ε
tako da jednačina (4.41) konačno poprima sledeći oblik:
à !
∂V ξ
ξ
DV ξ = + ΓµθV θ dxµ . (4.42)
∂xµ
ξ
Primetimo da je DV ξ = 0, samo kada je V ;µ = 0 (jer je DV µ = V ;ν dxν ). U
µ
DV µ = 0 (4.45)
·β···
ili, generalno, za proizvoljni tenzor DQα··· = 0. Prema tome, promena vektora V µ
pri paralelnom prenosu izračunava se pomoću formule dV µ = δV µ . Na taj način,
veličina δV µ jeste promena koju vektor dobija pri njegovom paralelnom prenosu.
Kao što smo videli, pri proizvoljnom prenosu vektora, on dobija promenu: dV µ =
102 Glava 4. Kristofelovi simboli
µ +
DV µ δV µ . Odavde
¶ je δV µ = dV µ − DV µ . Kako je, na osnovu (4.42), DV µ =
∂V µ
θ ν i dV µ = ∂V dxν , onda je
µ
Γ
µ
+ νθV dx
∂xν ∂xν
µ µ ¶
∂V ∂V µ
δV = dV − DV = − ν − ΓνθV dxν = −ΓνθV θ dxν .
θ
µ µ µ µ µ
ν
(4.46)
∂x ∂x
Prema tome, pri paralelnom prenosu vektor V µ dobija promenu δV µ koja ima oblik
δV µ = −ΓνθV θ dxν .
µ
(4.47)
S obzirom na prisustvo veličina Γθµν , koje su funkcije koordinata i čiji oblik zavisi
od izbora sistema koordinata, jasno je da u slučaju tzv. galilejevskih sistema Γθµν =
0, tada se kovarijantni izvod poklapa sa pojmom ,,običnog”izvoda i odgovarajuća
promena δVµ (ili δV µ ) vektora jednaka nuli.
d(VµW µ ) = dVµW µ +Vµ dW µ = δVµW µ +Vµ δW µ = (ΓθµνVθ dxν )W µ +Vµ (−ΓνθW θ dxν ) ≡ 0,
µ
∂ϕ
(grad ϕ);µ = ϕ;µ = . (4.49)
∂xµ
Odavde sledi da gradijent predstavlja kovarijantni vektor.
Drugi prost slučaj je kovarijantni rotor. Naime, po definiciji kovarijantni izvod
kovarijantnog vektora je
∂Vµ
Vµ;ν = ν − ΓλµνVλ .
∂x
Pošto su Γλµν simetrični u odnosu na donja dva indeksa µ i ν, tada se kovarijantni
rotor podudara sa običnim rotorom
∂Vµ ∂Vν
(rotVµ );ν = Vµ;ν −Vν;µ = − . (4.50)
∂xν ∂xµ
104 Glava 4. Kristofelovi simboli
∂V µ
+ ΓµνV ν .
µ
V µ;µ = (4.52)
∂xµ
µ
Kako se divergencija dobija kontrakcijom iz kovarijantnog izvoda V ;ν , koji pred-
stavlja mešoviti tenzor, jasno je da je divergencija vektora uvek skalar. Na osnovu
(4.18) iz zadatka 4.1 pod d), imamo
√
∂ ln −g
Γµν =
µ
, (4.53)
∂xν
pa jednačina (4.52) poprima oblik
√ √
µ ∂V µ ∂ ln −g ν ∂V µ ∂ ln −g µ 1 ∂ √
V ;µ = µ + ν
V = µ + V =√ (V µ −g).
∂x ∂x ∂x ∂x µ −g ∂x µ
Prema tome,
1 ∂ √
divV µ = V µ;µ = √ (V µ −g). (4.54)
−g ∂x µ
∂Qµν
+ Γεσ Qεν + Γνεσ Qµε .
µν µ
Q ;σ = σ
(4.55)
∂x
Generalisana divergencija ovog tenzora dobija se tako što se stavi σ = ν,
∂Qµν
+ Γεν Qεν + Γνεν Qµε .
µν µ
Q = (4.56)
∂xν
;ν
Poslednji član u ovoj jednačini se može, prema (4.18), preurediti tako da možemo
pisati
1 ∂ √
(Qµν −g) + Γεν Qεν .
µν µ
Q ;ν = √ ν
(4.57)
−g ∂x
4.7. Geodezijske linije u zakrivljenom prostoru 105
∂Qνµ 1 ∂ √
Qνµ;ν = ν
− Γεµν Qνε + Γνεν Qεµ = √ ν
(Qνµ −g) − Γεµν Qνε . (4.58)
∂x −g ∂x
Linije ekstremne dužine su one duž kojih ovaj integral ima stacionarnu vrednost.
One zadovoljavaju uslov
Z 2 Z 2
δS = δ ds = δds = 0, (4.60)
1 1
gde simbol δ označava prvu varijaciju. Iz ovog uslova se dobijaju jednačine geo-
dezijskih linija.
Neka su jednačine ove krive xα = xα (p), pri čemu je p proizvoljni parametar
koji se ne varira. Tačkama 1 i 2 odgovaraju parametri p1 i p2 . Parametar se može
izabrati na različite načine, a najčešće se za parametar p uzima dužina s koja se
meri duž eksremne krive.
Na osnovu (4.59) i (4.60), ,,rastojanje”izmed̄u tačaka 1 i 2 je
s
Z 2
dxµ dxν
S= gµν d p. (4.61)
1 dp dp
Iz ove jednačine vidimo da je dejstvo oblika
Z 2
S= L d p, (4.62)
1
gde je L - Lagranževa funkcija, koja je, na osnovu (4.61) i (4.62), sledećeg oblika
dS p
L= = gµν ẋµ ẋν , (4.63)
dp
dxµ
gde je ẋµ = . Uslov (4.60), sa uračunavanjem (4.62), prelazi u
dp
Z 2
δ L d p = 0, (4.64)
1
koji dovodi do Ojler-Lagranževih diferencijalnih jednačina
µ ¶
d ∂L ∂L
α
− α = 0. (4.65)
d p ∂ẋ ∂x
Na osnovu Lagranžijana (4.63), nalazimo
∂L 1 1
= p (gµα ẋµ + gαν ẋν ) = gµα ẋµ ,
∂ẋα 2 gµν ẋµ ẋν | {z } L
ν→µ
∂L 1 ∂gµν µ ν 1 ∂gµν ν µ
α
= p α
ẋ ẋ = ẋ ẋ .
∂x 2 gµν ẋ ẋ ∂x
µ ν 2L ∂xα
S obzirom da su gµν funkcije koordinata, a same koordinate - funkcije p, imamo
µ ¶ µ ¶
d ∂L d 1 dxµ gµα d 2 xµ
= g µα = +
d p ∂ẋα dp L dp L d p2
(4.66)
dxµ L gµα,ν ẋν − gµα L̇ gµα d 2 xµ 1 1
+ = + g ẋµ ẋν − 2 gµα ẋµ L̇ ,
dp L2 L d p2 L µα,ν L
4.7. Geodezijske linije u zakrivljenom prostoru 107
Zadatak 4.6: Dokazati da jednačine geodezijskih linija (4.70) ne menjaju svoj oblik
pri proizvoljnim transformacijana koordinata, odnosno da su kovarijantne.
Rešenje: Kao što smo pokazali, jednačina geodezijskih linija zadovoljava sledeću
jednačinu
d 2 xσ µ
σ dx dx
ν
+ Γµν = 0, (4.71)
dτ2 dτ dτ
gde je τ neki parametar (invarijanta) uzet duž trajektorije. Primetimo da ova jednačina važi
i u odsustvu gravitacije, jer je tada Γσµν = 0 (lokalno-inercijalni sistem) i d 2 xσ /dτ2 = 0,
što se poklapa sa jednačinom koja opisuje slobodnu česticu u STR.
Oba izraza zajedno u ovoj jednačini imaju tenzorski karakter (tenzori prvog ranga),
dok pojedinačno uzeti nemaju tenzorski karakter. Ovo ćemo dokazati neposredno. Jedna-
čina (4.71) je invarijantna u odnosu na proizvoljne transformacije koordinata x0µ → xµ .
Naime, možemo pisati
µ ¶
d 2 x0σ d ∂x0σ dxα ∂x0σ d 2 xα ∂2 x0σ dxα dxβ
= α
= α + α β . (4.72)
dτ 2 dτ ∂x dτ ∂x dτ 2 ∂x ∂x dτ dτ
Zatim u izrazu (4.13) za Kristofelove simbole druge vrste
Prema tome, jednačina (4.71) zaista je kovarijantna. Ustvari, kako je ova jednačina te-
nzorske prirode, jasno je (na osnovu principa opšte kovarijantnosti), da ako je ona zado-
voljena u jednom sistemu (lokalno-inercijalnom), tada ona važi i u proizvoljnom gravita-
cionom polju. 2
duµ
+ Γαβ uα uβ = 0,
µ
(4.75)
dλ
λ je afini parametar duž ove krive. Afini parametar (λ) je takav parametar pri
kome se jednačine geodezijskih linija dovode na oblik definisan jednačinom (4.75).
d 2 xα f 00 dxα µ
α dx dx
ν
+ + Γµν = 0.
ds2 f 02 ds ds ds
Da bi ova jednačina imala oblik (4.75) (tj. da bi parametar s bio afini), drugi izvod f 00
treba da bude jednak nuli. Odavde jasno sledi da veza izmed̄u parametra s i λ treba da
bude linearna, tj. f (λ) = const · λ. 2
Na površini sfere (dr = 0, dx1 = dθ, dx2 = dϕ) kvadrat elementa luka iznosi
d 2 x1 dxµ dxν
σ = 1; 2
+ Γ1µν = 0, (4.80)
ds ds ds
d 2 x2 µ ν
2 dx dx
σ = 2; + Γ µν = 0. (4.81)
ds2 ds ds
Nakon sumiranja po µ i ν (od 1 do 2) jednačine geodezijskih linija poprimaju sledeći
oblik: µ ¶2
d2θ dϕ
− sin θ cos θ = 0. (4.82)
ds2 ds
odnosno
d2ϕ dϕ dθ
2
+ 2 cot θ = 0, (4.83)
ds ds ds
Prvi integral jednačine (4.83) nalazimo tako što ovu jednačinu zapišemo u obliku
µ ¶
d dϕ d
ln + 2 (ln | sin θ|) = 0,
ds ds ds
dϕ dϕ
sin2 θ = const. = sin2 θ0 . (4.84)
ds ds0
4.7. Geodezijske linije u zakrivljenom prostoru 111
dθ
Jednačinu (4.82) rešavamo smenom p = . Tada
ds
d 2 θ d p d p dθ dp
2
= = =p .
ds ds dθ ds dθ
Zamenom u (4.82), razdvajanjem promenljivih i integracijom, dobijamo
µ ¶2 µ ¶2
dθ dϕ
+ sin θ
2
= B. (4.85)
ds ds
dϕ
Ako iz (4.84) izrazimo i uvrstimo u (4.85), nalazimo
ds
µ ¶2
dθ A2
= B− 2 . (4.86)
ds sin θ
z = ax + by. (4.87)
Ovo je jednačina ravni kroz koordinatni početak. Jasno je da geodezijske linije dobijamo
u preseku sfere i ovih ravni (najveći krugovi sfere).
Razmotrimo dva specijalna slučaja. Naime, ekvator i meridijan na površini sfere
predstavljaju veliki krug koji se dobija presekom sfera sa ravni koja prolazi kroz njen
centar. Najpre označimo konstante integracije u (4.82) i (4.85) sa
µ ¶2 µ ¶2
dϕ dθ dϕ
A = sin θ0
2
, B= + sin θ0
2
. (4.88)
ds0 ds0 ds0
Kretanje po ekvatoru
π
Posmatrajmo liniju na ekvatoru, θ0 = , i neka se pri tome pravac te linije poklapa
2
sa pravcem ekvatora. Tada je
dθ dϕ
= 0, = 1.
ds0 ds0
112 Glava 4. Kristofelovi simboli
Kretanje po meridijanu
Posmatrajmo kretanje duž meridijana i pokažimo da je i meridijan takod̄e geodezijska
linija. Sada tangentni vektor na putanju (liniju) ima komponente:
dθ dϕ
= 1, = 0.
ds0 ds0
Ako početnu tačku opet izaberemo na ekvatoru, tj. θ0 = π/2, onda iz (4.84) dobijamo
dϕ
= 0 → ϕ(s) = const.
ds
Iz drugog integrala (4.85) imamo
dθ π
= ±1 → θ(s) = ±s + ,
ds 2
odakle se vidi da je meridijan zaista geodezijska linija na sferi.
Zadaci
1. Ako je gµν = 0, za µ 6= ν, dokazati da važi:
1 ∂gνν
a) Γννµ = −Γνν =
µ
,
2 ∂xµ
1 ∂gµµ 1 ∂gµµ
b) Γµµ,µ = , Γνµµ = − ,
2 ∂xµ gνν ∂xν
1 ∂(ln gνν ) 1 ∂(ln gµµ )
c) Γννµ = , Γµµµ = .
2 ∂xµ 2 ∂xµ
2. Ako sa G(µ,ν) obeležimo kofaktor determinante |gµν | koji odgovara elementu gµν ,
dokazati da je
1
gνα G(µ,α) = gαν G(α,µ) = δνµ ,
g
gde je g = |gµν |.
3. Dokazati da je uvek gµν gµν = n, gde je n dimenzija prostora.
4. Dokazati sledeće obrasce:
∂g ∂g ∂ ∂ ∂gµν
a) = ggµν , b) µν = −ggµν , c) (ln g) = gµν , d) α (ln g) = gµν α .
∂gµν ∂g ∂gµν ∂x ∂x
5. Naći Kristofelove simbole prve i druge vrste, u običnom trodimenzionom prostoru,
za a) Dekartove, b) cilindrične i c) sferne koordinate. Zatim, napisati eksplicitno
jednačine geodezijskih linija za cilindrični i sferni sistem koordinata.
6. Dokazati relaciju (4.20).
7. U n-dimenzionom euklidskom prostoru dat je kosougli pravolinijski sistem ko-
ordinata xµ , gde su jedinični vektori koordinatnih osa eµ (µ = 1, 2, ..., n).
Odrediti metričku formu ds2 i determinante |gµν | i |gµν |.
8. Neka je zadat lokalno-inercijalni sistem koordinata u tački xµ = 0. Dokazati da
transformacija
xµ = x0µ + cαβγ x0α x0β x0γ ,
µ
∂Γ0σ
µν ∂Γσµν
− ,
∂x0α ∂xα
u tački x0 = 0.
βγ
9. Naći kovarijantni izvod tenzora Vµν Wα .
10. Za ma koji tenzor drugog ranga važi
µν µν
V ;µν =V ;νµ .
Dokazati.
114 Glava 4. Kristofelovi simboli
važi
√
ln g = 2 ln x1 + ln sin x2 ,
i da je
2
Γ1µ =
µ
, Γ2µ = cot x2 , Γ3µ = 0.
µ µ
x1
14. Nulta geodezijska linija se naziva ona linija za koju diferencijalna jednačina (4.70)
ima prvi integral
dxµ dxν
gµν = 0.
ds ds
Dokazati, na primer, da su u 3-dimenzionom prostoru čija je metrička forma
xµ = aµ s + bµ ,
Tenzor krivine
115
116 Glava 5. Tenzor krivine
β ∂Γαα1 α2 β ∂Γαα1 α3
Vα1 ;α2 ;α3 −Vα1 ;α3 ;α2 = Γαα1 α3 Γαα2 Vβ − α
Vα − Γα1 α2 Γαα3 Vβ + Vα .
∂xα3 ∂xα2
5.2. Svojstva Riman-Kristofelovog tenzora 117
Ako u prvom i trećem članu na desnoj strani ove formule izvršimo smenu nemih
indeksa α i β, imamo
µ α ¶
∂Γα1 α3 ∂Γαα1 α2 β α β α
Vα1 ;α2 ;α3 −Vα1 ;α3 ;α2 = − + Γα1 α3 Γβα2 − Γα1 α2 Γβα3 Vα . (5.6)
∂xα2 ∂xα3
∂Γαα1 α3 ∂Γαα1 α2 β β
Rαα1 α2 α3 = − + Γα1 α3 Γαβα2 − Γα1 α2 Γαβα3 , (5.7)
∂xα2 ∂xα3
onda razlika drugih kovarijantnih izvoda (5.6) glasi
Ovaj tenzor je čuveni Rimanov tenzor ili Riman-Kristofelov tenzor1 . Kao što vi-
dimo on se isključivo sastoji iz komponenata metričkog tenzora i njegovih prvih
i drugih izvoda. Takod̄e, Rimanov tenzor formiran na ovaj način je linearan po
drugim izvodima metričkih koeficijenata, što je veoma značajno u OTR. Važnost
ovog tenzora sastoji se u tome što je on neposredno povezan sa metrikom Rima-
novog prostora i jedan je od najsloženijih tenzora Rimanovog prostora. Može se
pokazati da je Rαα1 α2 α3 jedinstveni tenzor koji se može dobiti od metričkog ten-
zora i njegovih prvih i drugih izvoda. Riman-Kristofelov tenzor naziva se takod̄e
i tenzor krivine, jer on definiše svojstvo Rimanovog prostora, analogno krivini
dvodimenzione površi.
suprotnim znakom.
118 Glava 5. Tenzor krivine
2 Čitalac, zainteresovan ovim pitanjem, može naći veoma elegantan i iscrpan dokaz u knjizi:
A.L. Zel~manov, V.G. Agakov, lementy obwe$
i teorii otnosi-
tel~nosti, Nauka, Moskva, 1989.
5.2. Svojstva Riman-Kristofelovog tenzora 119
Tenzor (5.12) se može napisati u nešto drugačijem obliku. Prva dva člana koji
sadrže izvode Kristofelovih simbola prve vrste mogu se transformisati neposre-
dnim diferenciranjem. Naime,
∂Γα2 α4 ,α1 ∂Γα2 α3 ,α1
− =
∂xα3 ∂xα4
µ ¶ µ ¶
1 ∂ ∂gα4 α1 ∂gα1 α2 ∂gα2 α4 1 ∂ ∂gα3 α1 ∂gα1 α2 ∂gα2 α3
+ − − + − =
2 ∂xα3 ∂xα2 ∂xα4 ∂xα1 2 ∂xα4 ∂xα2 ∂xα3 ∂xα1
µ ¶
1 ∂2 gα1 α4 ∂2 gα2 α4 ∂2 gα1 α3 ∂2 gα2 α3
= − − + .
2 ∂xα2 ∂xα3 ∂xα1 ∂xα3 ∂xα2 ∂xα4 ∂xα1 ∂xα4
(5.13)
Konačno, ovaj tenzor, koji se često sreće u literaturi, ima sledeći oblik:
µ ¶
1 ∂2 gα1 α4 ∂2 gα2 α4 ∂2 gα1 α3 ∂2 gα2 α3
Rα1 α2 α3 α4 = − − + +
2 ∂xα2 ∂xα3 ∂xα1 ∂xα3 ∂xα2 ∂xα4 ∂xα1 ∂xα4
(5.14)
+gαβ (Γα2 α3 ,β Γα4 α1 ,α − Γα2 α4 ,β Γα3 α1 ,α ).
Na bazi formule (5.12) ili (5.14) slede izvesna svojstva simetrije tenzora kri-
vine:
1. Antisimetrija po drugom paru indeksa (µν)
3. Simetrija:
Rαβµν = Rµναβ , Rαβµν = Rβανµ . (5.21)
4. Ričijev identitet:
Rαβµν + Rανβµ + Rαµνβ = 0. (5.22)
µ
1 ∂2 gα1 α4 ∂2 gα2 α4 ∂2 gα1 α3 ∂2 gα2 α3
= − − + +
2 ∂xα2 ∂xα3 ∂xα1 ∂xα3 ∂xα2 ∂xα4 ∂xα1 ∂xα4
∂2 gα1 α2 ∂2 gα3 α2 ∂2 gα1 α4 ∂2 gα3 α4
+ − − + +
∂xα3 ∂xα4 ∂xα1 ∂xα4 ∂xα2 ∂xα3 ∂xα1 ∂xα2
¶
∂2 gα α ∂2 gα α ∂2 gα α ∂2 gα α
+ α 1 α3 − α 3 α4 − α 1 α2 + α 2 α4 ≡ 0. (5.23)
∂x 2 ∂x 4 ∂x 1 ∂x 2 ∂x 3 ∂x 4 ∂x 1 ∂x 3
Prema tome, u lokalno-inercijalnom sistemu koordinata, jednakost (5.22) je zadovoljena
identički. Zbog tenzorskog karaktera ona važi i u bilo kom drugom sistemu koordinata.
Time je svojstvo dokazano. 2
Analogno (5.23) može se dokazati, za mešovoti tenzor Rαα12 α3 α4 , sledeći kori-
stan identitet:
Rαα12 α3 α4 + Rαα13 α4 α2 + Rαα14 α2 α3 = 0. (5.24)
Dokaz prepuštamo čitaocu. Zahvaljujući svojstvu simetrije i antisimetrije može
se pokazati da je broj nezavisnih komponenata Riman-Kristofelovog tenzora u
slučaju n-dimenzionog Rimanovog prostora jednak n2 (n2 − 1)/12. Specijalno,
pri n = 4 Rimanov tenzor ima 20 nezavisnih komponenata.
µ ¶ µ ¶
α ∂ ∂ √ ∂ ∂ √
Rαα2 α3 = α ln −g − α ln −g +
∂x 2 ∂xα3 ∂x 3 ∂xα2
β β
+Γα1 α3 Γαβα1 2 − Γα1 α2 Γαβα1 3 ≡ 0,
jer se nemi indeksi β i α1 u trećem članu mogu razmeniti (β ↔ α1 ), dok su
mešoviti parcijalni izvodi jednaki. Med̄utim, ako se kontrakcija izvrši po gornjem
i poslednjem donjem indeksu dobija se:
Rµν = Rαµνα = gαβ Rµναβ . (5.25)
Ova veličina se naziva Ričijev tenzor i on ima veoma važnu ulogu u teoriji relativ-
nosti. Ovaj tenzor, na osnovu (5.12), može se zapisati kao
¯ ¯ ¯ ¯
¯ ∂ ∂ ¯¯ ¯ Γα Γα ¯
¯ ¯ βα ¯
Rµν = ¯¯ ∂xν ∂xα ¯¯ + ¯ βν β β ¯, (5.26)
α α
¯ Γµν Γµα ¯ ¯ Γµν Γµα ¯
122 Glava 5. Tenzor krivine
ili
∂Γαµα ∂Γαµν β β
Rµν = − α + Γµα Γαβν − Γµν Γαβα .
∂xν ∂x
√
∂ ln −g
Ako iskoristimo poznatu relaciju = Γαεα , onda gornji tenzor može biti
∂xε
zapisan u sledećem obliku:
√ √
∂2 ln −g ∂Γαµν β α β ∂ ln −g
Rµν = − α + Γµα Γβν − Γµν . (5.27)
∂xµ ∂xν ∂x ∂xβ
Zamenom indeksa u ovoj formuli vidimo da je Ričijev tenzor Rµν simetričan. Na
osnovu svojstva antisimetrije (5.19) i (5.20), sledi da je Rµν , u suštini, jedinstveni
tenzor drugog ranga koji može biti obrazovan od Rµναβ . Uopšte, kontrakcijom
Riman-Kristofelovog tenzora Rαµνσ može se dobiti samo nula i Ričijev tenzor. I
zaista, ako izvršimo kontrakciju po gornjem indeksu α i drugom donjem indeksu
ν, dobićemo, zbog poznate antisimetrije tenzora u odnosu na poslednja dva in-
deksa:
Rαµασ = −Rαµσα = −Rµσ .
Dakle, dobili smo opet Ričijev simetrični tenzor, koji se od prethodnog razlikuje
samo po znaku. Pošto je Rµν = Rνµ , tada u 4-dimenzionom prostoru ovaj tenzor
ima deset nezavisnih komponenata (kao i metrički tenzor). Pored ovog tenzora
moguće je takod̄e dobiti i mešoviti i kontravarijantni Ričijev tenzor: Rνµ = gνσ Rσµ
i Rµν = gµα gνβ Rαβ .
Kontrakcijom Ričijevog tenzora sa fundamentalnim tenzorom dobija se inva-
rijanta, u odnosu na koordinatne transformacije, koja se naziva skalarna krivina
ili invarijanta krivine prostora
Ovaj tenzor igra, kao što ćemo kasnije videti, veoma važnu ulogu u OTR. Broj
nezavisnih komponenata ovog tenzora je n(n + 1)/2 (u slučaju 4-dimenzionog
prostora ima ih 10).
Da bismo uspostavili vezu Riman-Kristofelovog i Ričijevog tenzora sa po-
jmom krivine razmotrimo primer sferne površi. Ako je sfera poluprečnika a, onda
je metrika na površi sfere oblika
gde su eµ pozitivne ili negativne konstante. Tada iz (4.5) sledi da su svi Kri-
stofelovi simboli identički jednaki nuli tako da iz (5.14), (5.27) i (5.28) sledi da
124 Glava 5. Tenzor krivine
su Rimanov tenzor, Ričijev tenzor i invarijanta krivine svi identički jednaki nuli.
Prostori sa takvom osobinom nazivaju se ravni. Prema tome, Riman-Kristofelov
tenzor je pokazatelj ,,iskrivljenosti”Rimanovog prostora. Ako je prostor ravan, taj
tenzor je identički jednak nuli i nulti karakter tenzora ne može biti izmenjen ni-
kakvim transformacijama koordinata. Na taj način, zakrivljenost predstavlja unu-
trašnje svojstvo Rimanovog prostora i ne zavisi od izbora sistema koordinata u
kojima zapisujemo metriku. Kao primer ravnih 3-dimenzionih prostora navedimo
običan euklidski prostor sa metrikom (1.5) i prostor Minkovskog čija se metrika
definiše jednačinom (1.25). Pod ,,zakrivljenim”prostorom se podrazumeva Rima-
nov prostor koji nije ravan. Dakle, pojam ,,zakrivljenog prostora”označava prosto
takav prostor u kome je Riman-Kristofelov tenzor različit od nule u nekim (ili
svim) tačkama prostora (u krajnjoj liniji makar u jednoj tački prostora).
gα1 α2 Rαα1 α2 α4 ;α = gα1 α2 gβα Rβα4 α2 α1 ;α = gβα Rβα4 ;α = gβα Rα4 β;α = Rαα4 ;α . (5.36)
odnosno
R;α4 − Rαα4 ;α − Rαα4 ;α = 0,
ili
β β
R;α4 − 2 Rαα4 ;α = 0 ⇔ (gα4 R);β − 2 Rα4 ;β = 0.
Odavde, nakon prenumerisavanja nemih indeksa β → ν zamenom α4 sa µ, sledi
jednakost:
1
(Rνµ − gνµ R);ν = 0. (5.37)
2
Primetimo da je izraz u zagradi Ajštajnov tenzor. Ova relacija može biti prikazana
i u sledećem ekvivalentnom ovliku:
1
(Rµν − gµν R);ν = 0, (5.38)
2
126 Glava 5. Tenzor krivine
odnosno
1
(Rµν − gµν R);ν = 0. (5.39)
2
Prema tome, u jednačinama (5.37) i (5.39) četvorodimenziona divergencija Ajšta-
jnovog tenzora identički je jednaka nuli. Ovaj rezultat je od fundamentalne važno-
sti u primenama tenzorskog računa u teoriji relativnosti. S obzirom da su Ričijev
Rµν i metrički tenzor gµν simetrični, onda je i Ajnštajnov tenzor takod̄e simetričan.
Zadaci
1. Dokazati formule (5.19)-(5.21).
2. Izračunati Riman-Kristofelov tenzor za površ cilindra, konusa i polusfere.
3. Izračunati Rimanov tenzor za metriku
ds2 = −e2α dt 2 + e2β dr2 + e2γ (dν2 + sin2 νdϕ2 ),
dge su α, β, γ - funkcije od r,t. Naći za ovu metriku Ričijev tenzor, skalarnu krivinu
i Ajnštajnov tenzor.
4. U 2-dimenzionom Rimanovom prostoru data je sledeća metrička forma
ds2 = g11 (x)(dx1 )2 + g22 (x)(dx2 )2 .
√ h ³ ´ ³ ´i
Dokazati da je R1212 = − 2 ∂x∂1 √1−g ∂g ∂ 1 ∂g11
−g 22
∂x1
+ ∂x2
√
−g ∂x2
.
5. U teoriji relativnosti susrećemo se sa metričkom formom oblika:
ds2 = eα (dx1 )2 + ex [(dx2 )2 + sin2 x2 (dx3 )2 ] − eγ (dx4 )2 ,
1
~F = −γ mM~r.
r3
Med̄utim, u slučaju proizvoljne raspodele masa, gravitacionu silu možemo dobiti
ako uzmemo integral po gustini. Često se zbog pogodnosti, uvodi pojam gravita-
cionog potencijala ϕ, tako da se gravitaciona interakcija može opisati samo ovom
jednom funkcijom. U tom slučaju se gornja jednačina može predstaviti u obliku:
~F = −m grad ϕ, ϕ = − γM .
r
Gravitacioni potencijal ϕ je funkcija ~r, tj. ϕ = ϕ(~r) = ϕ(x, y, z) i to je skalarna
funkcija koja definiše tzv. skalarno (gravitaciono) polje koje potiče od izvesne
raspodele masa u prostoru.
Jednačina koja odred̄uje njutnovski potencijal gravitacionog polja ϕ je po-
znata Poasonova jednačina koja se može zapisati u obliku
∆ϕ = 4π γ ρ, (6.1)
127
128 Glava 6. Jednačine gravitacionog polja
ili
ν
∂Tµν 1 ∂ √
Tµ;ν = ν − Γαµν Tαν + Γννα Tµα = √ ( −gTµν ) − Γαµν Tαν . (6.4)
∂x −g ∂xν
Za različite fizičke sisteme tenzor energije-impulsa ima različit oblik. Jedan od
najprostijih fizičkih sistema je idealan fluid. Idealni fluid ima svuda istu gustinu,
a izmed̄u njegovih čestica nema interakcije. Na primer, ovaj model je dobar
za model svemirske materije. Na maloj skali svemirska gustina veoma varira -
ima mnogo praznog prostora izmed̄u nebeskih objekata, a ni oni nisu ravnomerno
raspored̄eni. Situacija je slična, na primer, sa približno idealnim razred̄enim ga-
som koji je sastavljen od molekula neravnomerno raspored̄enih unutar prostora,
većinom praznog. Tek na velikoj skali, tj. kada se veliki broj molekula nalazi u
izabranoj jedinici zapremine gasa ili kada se veliki broj nebeskih objekata nalazi u
izabranoj jedinici zapremine svemira, tek tada se može govoriti o istoj prosečnoj
gustini svih zapreminskih jedinica, tj. o istoj gustini svuda. Tenzor energije-
impulsa idealne sredine, u proizvoljnom sistemu koordinata, može biti predsta-
vljen u obliku
³ p0 ´ dxµ dxν p0 µν
T µν = ρ00 + 2 − 2g , (6.5)
c ds ds c
gde je ρ00 - gustina mase u sistemu reference vezanom za sredinu, p0 - pritisak
idealnog fluida, a dxµ /ds su izvodi koordinata metrike (,,svetske brzine”). Ako
uzmemo u obzir jednakost uα = dxα /ds, tada formula (6.5) poprima oblik
³ p0 ´ p0
T µν = ρ00 + 2 uµ uν − 2 gµν , (6.6)
c c
gde je uµ - četvorodimenziona brzina makroskopskog kretanja elementa zapre-
mine sredine u odnosu na korišćeni sistem koordinata. U realnom svemiru ρ00 À
p0 /c2 pa je
p0
T µν = ρ00 uµ uν − 2 gµν . (6.7)
c
Ovaj oblik tenzora energije-impulsa najčešće se koristi za modeliranje pojava u
svemiru.
Na taj način, relativistička jednačina gravitacionog polja može se zapisati u
obliku
Qµν = ±κT µν , κ > 0, (6.8)
pri čemu konstanta κ, čiju vrednost ćemo dati kasnije, dovodi u sklad dimenzije
leve i desne strane jednačine (6.8). Njen izbor sledi iz zahteva da se, u aproksima-
ciji slabog polja, dobije Njutnov zakon gravitacionog polja.
6.2. Ajnštajnove jednačine gravitacionog polja 131
µν
S obzirom na Ajnštajnov identitet (5.38) G ;ν = 0, zatim već dokazani identitet
µν µν
g ;ν = 0 i zakon održanja energije i impulsa T ;ν = 0, jednačina se svodi, za
proizvoljne vrednosti Λ, na identitet.
Pošto su tenzori koji ulaze u jednačinu (6.9) simetrični, onda imamo deset
jednačina sa deset nepoznatih funkcija gµν . Izgleda da se lako mogu odrediti de-
set komponenti metričkog tenzora gµν ako je zadat tenzor energije-impulsa. Pošto
132 Glava 6. Jednačine gravitacionog polja
−R + 4Λ = ±κT , T ≡ Tµµ .
važi. Na primer, očigledno je da će rotirajuća, dakle pokretna, kugla stvarati konstantno polje, no
smerovi vremena nisu ekvivalentni, tj. metrika nije invarijantna na vremensku inverziju.
134 Glava 6. Jednačine gravitacionog polja
∂Γαµα ∂Γαµν β β
Rµν = − α + Γµα Γαβν − Γµν Γαβα . (6.19)
∂xν ∂x
U skladu sa pretpostavkom 3 (relacija (6.15)) mogu se zanemariti proizvodi Kristo-
felovih simbola i u gornjoj jednačini zadržati samo prva dva člana:
∂Γαµα ∂Γαµν
Rµν ≈ − α. (6.20)
∂xν ∂x
Pod pretpostavkama 1-5, različite od nule su samo komponente R00 , te je
Ostali članovi zbira ∂Γi0i /∂x0 jednaki su nuli. Koristeći relaciju (5.26), gornju
jednačinu možemo napisati u obliku:
∂Γ00
j
1 ∂ i j ∂g00 1 i j ∂2 g00 1 i j ∂2 g00 1
− = + (g ) = η = − δ = − ∇2 g00 ,
∂x j 2 ∂x j ∂x i 2 ∂x ∂x j i 2 ∂x ∂x j i 2
odakle dobijamo
1
R00 = − ∇2 g00 . (6.22)
2
Kao što smo već rekli, u skladu sa navedenim pretpostavkama, dovoljno je ra-
zmatrati samo 00 komponente i jednačinu
1
R00 = ±κ(T00 − g00 T ). (6.23)
2
1 1 dx0
R00 = ±κ(T00 − g00 T ) = ±κρ(u0 u0 − g00 ), u0 = , ρ ≡ ρ00 .
2 2 ds
6.3. Slučaj slabih polja. Njutnovska aproksimacija 135
∇2 ϕ = 4πγρ.
Na kraju još samo nekoliko reči o veličini Λ. Naime, kao što ćemo videti u
Glavi 7, može se pokazati da za velike oblasti (u kosmosu, r → ∞) pojave efekti
koji potiču od malih veličina Λ. Prema tome, ako imamo u vidu kosmološke za-
datke, uzima se da je ova veličina, koja se obično naziva kosmološka konstanta,
različita od nule. Ovaj član (Λgµν ) prvi je uveo Ajnštajn da bi pomoću njega
mogao modelirati svemir i time prevazići teškoće u kosmologiji (koje su tada na-
stale!). Tako je Ajnštajnova jednačina postala osnova savremene kosmologije,
a veličina Λ tim povodom se naziva kosmološka konstanta. U današnje vreme
vrednost za Λ nije poznata. Med̄utim, po nekim sadašnjim procenama, apsolutna
vrednost za Λ je mali broj:
Iz gornje tabele se vidi izvesna alnalogija ovih dveju teorija. Med̄utim, u odnosu
na prostor i vreme Ajnštrajnova relativistička teorija je kvalitativno različita od
Njutnove teorije.
138 Glava 6. Jednačine gravitacionog polja
Zadaci
1. Izvesti Poasonovu jednačinu (6.1).
2. Pokušajmo uopštiti Ajnštajnove jednačine, zapisujući ih u obliku
Rµν − αgµν R = −κTµν ,
gde je α - neka bezdimenziona konstanta. Pokazati da ako je α 6= 1/2, tada takve
jednačine polja se ne slažu sa eksperimentom čak i u njutnovkom limitu.
3. Kontrakcijom mešovite forme Rνµ − 12 δνµ R = −κTµν , Ajnštajnove jednačine (6.11)
pokazati da je R = κT , gde je T = Tµ ≡ T00 + T11 + T22 + T33 , i odatle dokazati
µ
jednačinu (6.12).
4. Rešiti Ajnštajnove jednačine za sledeću metriku:
dr2
ds2 = c2 dt 2 − − r2 (dθ2 + sin2 θdϕ2 ), (6.1∗)
1 − Ar2
gde je A konstanta. Upravo ovu metriku Ajnštajn je iskoristio (1917) da bi mo-
delirao vasionu (tzv. model statičkog svemira). Za tenzor energije-impulsa uzeti
model idealnog fluida dat sa (6.5). Šta se dobija ako se zanemari pritosak (p = 0).
Diskutovati slučaj ρ > 0 (negativan pritisak!). Na ovom mestu Ajnštajn zaključuje
da mora učiniti popraku svojih jednačina tako što će uvesti jedan konstantan član,
tzv. kosmološku konstantu Λ. Takod̄e, pokazati da se Ajnštajnova metrika (6.1*),
uvod̄enjem smene r = a sin χ, svodi na oblik:
ds2 = c2 dt 2 − a2 [dχ2 + sin2 χ(dθ2 + sin2 θdϕ2 )].
139
140 Glava 7. Neke primene Opšte teorije relativnosti
vitaciono polje gµν van toga tela. Kako u toj oblasti nema materije (samo gravita-
ciono polje!), onda je tenzor energije-impulsa jednak nuli. U tom slučaju potrebno
je da rešimo jednačinu (6.29).
Da bismo dobili izraz za kvadrat linijskog elementa ds2 u praznom prostoru
posmatraćemo sfernu nerotirajuću i nenaelektrisanu masu sa sferno-simetričnom
distribucijom mase u njoj. Pretpostavićemo da ovo telo formira stacionarno i
statičko sferno-simetrično gravitaciono polje. Tačno rešenje Ajnštajnovih jednači-
na i izraza za ds2 , za navedene uslove, prvi je dobio K. Švarcšild 1916. godine.
On je pretpostavio da na dovoljno velikim rastojanjima od ove mase prostor-vreme
prelazi u ravan prostor Minkovskog. Ovo rešenje ima veliki značaj jer se pomoću
njega može opisati gravitaciono polje Sunca i izvesti formule za tri klasična ek-
sperimenta kojima se pokazuje razlika izmed̄u predskazivanja njutnovske teorije
gravitacije i mnogo tačnijih predvid̄anja OTR.
Uslov stacionarnosti i statičnosti označava da u statičkom koordinatnom si-
stemu, komponenta g00 ne zavisi od vremena x0 (ili t) i da je g0i = 0. Sferna sime-
trija gravitacionog polja ukazuje da metrika prostor-vremena, tj. izraz za interval
ds treba da bude jednak (isti) u svim tačkama koje se nalaze na istom rastojanju od
centra izvora polja. S obzirom na sferno-simetrični karakter polja koji okružuje
gravitacionu masu prirodno je izabrati sferni sistem koordinata r, θ, ϕ
Tada najopštiji izraz za metriku, koja ima ovu simetriju, može se napisati u obliku:
A(r) = eν , B(r) = eλ ,
gde su ν = ν(r), λ = λ(r). Ove funkcije treba da budu odred̄ene tako da zadovo-
ljavaju jednačine polja. Na taj način ds2 možemo zapisati na sledeći način:
Pomoću formula (7.4) i (7.5) lako izračunavamo Kristofelove simbole druge vrste.
Naime, prema (4.9), ovi simboli se mogu izraziti pomoću odgovarajućih izvoda
1 ∂gβµ ∂gβν ∂gµν
metrike kao: Γαµν = gαβ ( ν + µ − β ). Kako je gµν = 0 za µ 6= ν, važno
2 ∂x ∂x ∂x
je naći oblik Kristofelovih simbola za α = β
1 ∂gαµ ∂gαν ∂gµν
Γαµν = gαα ( ν + µ − α ). (7.8)
2 ∂x ∂x ∂x
Mnogi od Kristofelovih simbola su jednaki nuli, a oni koji preostaju imaju oblik
(videti zadatak 7.1)
ν0 ν−λ 0 ν0 λ0
Γ100 = e , Γ01 = , Γ111 = ,
2 2 2
1
Γ122 = −re−λ , Γ122
= , Γ133 = −re−λ sin2 θ, (7.9)
r
1
Γ233 = − sin θ cos θ, Γ323 = cot θ, Γ313 = ,
r
1
gde ,,prim”označava diferenciranje po x (= r), tj. d/dr.
Zadatak 7.1: Izračunati sve Kristofelove simbole Γαµν za metriku datu jednačinom
(7.3).
b) Zatim, neka su jednaka dva donja indeksa (µ = ν ≡ µ). Prema formuli (7.8) i zbog
gαβ = 0, α 6= β važi:
1 ∂gνν 1 1 ∂gνν 1 ∂
Γνµν = gνν µ = = (ln gνν ). (7.12)
2 ∂x 2 gνν ∂xµ 2 ∂xµ
Na osnovu jednačina (7.10) do (7.12) lako je zaključiti da postoji ukupno 40 Kristofe-
lovih simbola od kojih je njih 31 jednako nuli dok ih je samo 9 raličito od nule. Prema
tome, od svih Γµµ različit od nule je samo Γ111 . Od svih Γνµµ preostaju, osim Γ111 , još i
µ
Γ100 , Γ122 , Γ133 kao i Γ233 . Slično, u slučaju c) različiti od nule su sledeći: Γ010 , Γ212 , Γ313 i Γ323 .
Vrednosti tih simbola redom iznose: Prema (7.10), nalazimo
1 ∂ 1 ∂ λ0
Γ111 = (ln g11 ) = (λ) = .
2 ∂x 1 2 ∂x r 2
Slično, prema (7.11) dobija se
1 ∂ ν0
Γ100 = − g11 r g00 = eν−λ ,
2 ∂x 2
1 ∂
Γ122 = − g11 r g22 = −re−λ ,
2 ∂x
1 ∂
Γ133 = − g11 r g33 = −r e−λ sin2 θ,
2 ∂x
1 ∂
Γ233 = − g22 r g33 = − sin θ cos θ.
2 ∂x
Konačno, prema (7.12) nalazimo
1 ∂ ν ν0
Γ010 = (ln e ) = ,
2 ∂xr 2
1 ∂ 1
Γ212 =
(ln r2 ) = ,
2 ∂xr r
1 ∂ 1
Γ313 = (2 ln r) = ,
2 ∂xr r
1 ∂
Γ323 = [ln(r2 sin2 θ)] = cot θ.
2 ∂xθ
Kao što vidimo ukupno ih je devet. 2
7.1. Švarcšildovo rešenje 143
Tµν = 0. (7.13)
Rµν = −Λgµν .
Kao što je rečeno ranije, kosmološko član Λ igra ulogu na velikim rastojanjima
i zbog toga je, pri razmatranju nekosmološkoh zadataka, moguće uzeti da je ova
konstanta jednaka nuli, tj. Λ = 0. Tada jednačina gravitacionog polja u praznom
√
prostoru poprima oblik Rµν = 0. Polazeći od jednakosti Γνµν = ∂(ln −g)/∂xµ ,
jednačina za Ričijev tenzor (6.19) se može napisati u obliku:
∂2 √ ∂ ∂ √
Rµν = ν
(ln −g) − σ Γσµν + Γαµσ Γσαν − Γαµν α (ln −g). (7.14)
∂x ∂x µ ∂x ∂x
Zamenom izraza (7.9) u (7.14) i nakon relativno jednastavnog ali glomaznog
računa, dobija se:
· ¸
1 00 1 0 0 0 ν0 ν−λ
R00 = − ν + ν (λ − ν ) − e , (7.15)
2 4 r
1 1 λ0
R11 = ν00 − ν0 (λ0 − ν0 ) − , (7.16)
2 4 r
· ¸
1
R22 = e−λ 1 + r(ν0 − λ0 ) − 1, (7.17)
2
R33 = R22 · sin2 θ. (7.18)
Ostale komponente Rµν u ovom slučaju identički su jednake nuli, tj. R12 = R23 =
R31 = 0. Ajnštajnov zakon gravitacije zahteva da ove jednačine budu jednake nuli,
što dovdi do sledećeg sistema jednačina:
1 00 1 0 0 ν0
ν − ν (λ − ν0 ) + = 0, (7.19)
2 4 r
1 00 1 0 0 λ0
ν − ν (λ − ν0 ) − = 0, (7.20)
2 4 r
· ¸
−λ 1 0 0
−1 + e 1 + r(ν − λ ) = 0, (7.21)
2
144 Glava 7. Neke primene Opšte teorije relativnosti
½ · ¸¾
−λ 1 0 0
−1 + e 1 + r(ν − λ ) sin2 θ = 0. (7.22)
2
Jednačina (7.22), za θ 6= 0, je identična sa jednačinom (7.21) tako da ostaju svega
tri jednačine. Oduzimanjem jednačine (7.20) od jednačine (7.19) dobijamo
∂
λ0 + ν0 = 0 → (λ + ν) = 0, (7.23)
∂r
odakle je
λ = −ν, (7.24)
jer pri velikom r prostor-vreme treba da bude ravan, i pri r → ∞ i λ i ν teže ka
nuli.
Uzimajući u obzir (7.24), jednačina (7.21) postaje
(reν )0 = 1.
reν = r +C1 ,
2γm
rg = , (7.29)
c2
zvezda, ali samo izvan tela, tj. za r > R, gde je R poluprečnik odgovarajućeg tela.
Unutrašnja oblast ovih tela se opisuje metrikom drugačijeg oblika koja zavisi od
grad̄e i sastava datog tela.
usled uzajamnog kvantnomehaničkog uticaja čestica. Ovaj uzajamni uticaj povezan je sa fundamen-
talnim svojstvom identičnosti čestica. Uzimanje u obzir ovog svojstva u kvantnoj statističkoj fizici
dovodi do toga da verovatnoće zaposednuća različitih stanja, čak u idealnom gasu, nisu nezavisne.
U zavisnosti od spina čestica degenerisani gas se podčinjava Boze (za čestice sa celim spinom)
ili Fermi statistici (za čestice sa polucelim spinom). Degeneracija nastupa kada temperatura gasa
postane niža od tzv. temperature degeneracije. Degenerisani elektronski gas je gas elektrona (npr.
elektroni u metalima, atomska jezgra sa velikim naelektrisanjem - gas nukleona).
Degenerisani gas je stanje materije koje je široko rasprostranjeno u kosmosu: elektronski fermi-
gas u zvezdama, belim patuljcima i crvenim džinovima, fermi-gas neutrona itd.
7.2. Crne rupe 147
bodi viška mase i njen radijus će se smanjivati na vrednost manju od gravitacionog
radijusa rg i zvezda će, u jednom trenutku, postati crna rupa. Tokom kolapsa ta-
kve masivne zvezde intenzitet gravitacije na površini zvezde raste i prostor-vreme
se tako zakrivi da zvezda nestane (postane ,,nevidljiva”) iz našeg svemira. Crna
rupa je ustvari ekstremno zakrivljena oblast prostor-vremena preostala na mestu
zvezde posle kolapsa. Tako svetlosni zraci, na primer, koji se usmere na crnu rupu
bivaju bukvalno zarobljeni u njoj i zauvek nestaju.
Nadalje ćemo se zadržati samo na najjednostavnijem tipu crne rupe. To je
sferno-simetrična crna rupa sa masom od preostale zvezde koja nije imala ni rota-
ciju kao ni naelektrisanje i magnetno polje.
Kao što smo već videli, neposredno rešenje Ajnštajnovih jednačina u sferno-
simetričnom slučaju našao je Švrcšild. Ovo rešenje, prema formuli (7.30), ima
sledeći oblik:
³ rg ´ 2 2 dr2
ds2 = 1 − c dt − − r2 (dθ2 + sin2 θdϕ2 ). (7.32)
r 1 − rg /r
Tek kasnije je shvaćeno da ovo rešenje opisuje geometriju prostor-vremena ide-
alne crne rupe. Treba istaći na ovom mestu da specijalni oblik linearnog elementa,
dat jednačinom (7.30), zavisi od sistema koordinata što ima odred̄ene implikacije
o kojima će biti kasnije nešto više reči. Naime, pri r = rg Švarcšildovo rešenje (rg
je Švarcšildov radijus) postaje singularno jer je u toj tački (tačnije na hipersferi)
komponenta g00 = 0, dok je g11 = −∞. Upravo sa rastojanja ≤ rg , odnosno, ispod
odgovarajuće hipersfere u prostor-vremenu ništa (nikakav signal ili informacija,
na primer) ne može da umakne. Zbog toga se ponekad ova Švarcšildova hiper-
sfera ili barijera naziva i horizont dogad̄aja. Sa Zemlje ne možemo jednaostavno
da vidimo predmete koji se ,,sakriju”(spuste) iza horizonta, odakle i gornji naziv.
Iza horizonta ni jedan dogad̄aj se ne može videti. Za mnoga tela gravitacioni ra-
dijus definisan jednačinom (7.29) je mnogo manji od njihovog realnog radijusa
i Švarcšildova hipersfera (barijera) se ne pojavljuje. Na primer, u slučaju Sunca
MJ = 1.989 · 1030 kg, rg = 1.48km, dok je poluprečnik Sunca RJ = 6.96 · 105 km,
te je RJ À rg . Da bi se barijera nalazila van tela, ono treba da ima veoma ve-
liku gustinu i mali radijus. Zvezda koja prilikom kolapsa prod̄e kroz sopstveni
horizont dogad̄aja nastavlja nezadrživo da se skuplja sve do tačke tako da se celo-
kupna masa zvezde sabije i stane u jednu tačku. U toj tački je beskonačna gustina
i beskonačna krivina prostor-vremena, a tačku u centru takve crne rupe u prostor-
vremenu nazivamo singularnost.
Kao što smo već istakli, Švarcsildovo rešenje ima singularitet na horizontu
dogad̄ja. Naime, tada prestaje smisao matematičkog rešenja Ajnštajnovih jednači-
na. Uzrok pojave singulariteta u Švarcšildvom rešenju jeste izbor sistema ko-
148 Glava 7. Neke primene Opšte teorije relativnosti
i p ¾
u = p 1 − r/rg er/2rg sinh(t/2rg )
za r < rg . (7.34)
v = 1 − r/rg er/2rg cosh(t/2rg )
i to jedna u prošlosti, a druga u budućnosti. Pored toga, postoje još i dve asimp-
totske oblasti; dve vasione izvan i daleko od crne rupe. To se jasno vidi ako
u Švarcšildovim koordinatama posmatramo asimptotsku oblast r À rg . Tada u
ovom slučaju uslov (7.36) glasi u2 À v2 , tako da dobijamo dve spoljašnje asimp-
totske oblasti
u À +|v| i u ¿ −|v|. (7.38)
7.2. Crne rupe 149
singularitet
r=0
2
(II) (I)
II r=2m/c r
t<0 t=const.>0
III I t=0
t=0
u
r=2gm/c2
r=const. t
t<0
IV r=2m/c2
singularitet
r=0 (IV) (III)
2 r=
/c t>0 t= 2gm r
gm ¥ -¥ /c 2
t=0
2
r= t=+ a)
horizont
b) dogadjaja
Slika 7.1: Kruskalov dijagram
(t, r) pokrivaju samo oblasti I i II i kao što se vidi one su nekompletne. Radijalni
nulti geodezijaci su prave linije pod uglom od 45◦ u odnosu na ose u, v i one se
mogu dobiti iz uslova ds2 = 0, odakle je du = ±dv → u ± v = const. Ako su
vektori vremenskog tipa, oni zaklapaju sa vertikalnom osom ugao manji od 45◦ ,
a ako su prostornog tipa tada su pod uglom većim od 45◦ u odnosu na v-osu.
Sa Kruskalovog dijagrama se još može zaključiti da posmatrač ne može preći
iz jedne asimptotske oblasti u drugu jer ne postoji kriva vremenskog tipa koja
povezuje ove dve oblasti.
Gornja diskusija obuhvata dva slučaja. U prvom slučaju, prostor-vreme sadrži
sve četiri oblasti Kruskalovog dijagrama. Ono sadrži dve singularnosti i to jednu
u budućnosti (oblast II) i jednu u prošlosti (oblast IV). Dve identične asimpto-
tski ravne oblasti povezane su ,,mostom”koji se naziva Ajnštajn-Rozenov most.
Najuži deo ovog mosta je sfera r = rg . Ona je granica izmed̄u dva univerzuma ili
kako se to često kaže crna rupa deli prostor na dva svemira. Ovaj model sa dve
singularnosti ne odgovara realnom slučaju u našem univerzumu. Realna situacija
više odgovara drugom slučaju tj. da singularnost postoji samo u budućnosti i
da je ona nastala gravitacionim kolapsom neke zvezde. U ovom slučaju postoje
samo oblasti I i II. Med̄utim, unutar kolapsirajuće oblasti (Tµν 6= 0) metrika nije
Švarcšildova i ima neki drugi oblik koji zavisi od grad̄e i strukture date zvezde.
Zadaci
1. Dokazati da metrika
· ¸2/3 · ¸2/3
4 9M 9M
2
ds = −dt + 2 2
dr + (r − t)2
(dθ2 + sin2 θdϕ2 ),
9 2(r − t) 2
za koju se može misliti da je nestacionarna, jer metrički koeficijenti zavise od vre-
mena t, ustvari statička. Pokazati da ona realno predstavlja Švarcšildovu metriku.
2. Dokazati da je kvadrat ukupnog momenta količine kretanja
6. Naći transformacije koordinata u kojima će prostorna metrika intervala (7.30) biti
proporcionalna svome euklidskom obliku (tj. dl 2 proporcionalno je odgovarajućem
euklidskom izrazu).
7. Naći jednačine koje odred̄uju statičko gravitaciono polje u vakuumu oko nepokret-
nog centralno-simetričnog tela (H. Weyl, 1917).
8. Izvesti jednačine centralno-simetričnog gravitacionog polja u koordinatnom si-
stemu, koji se u svakoj tački kreće zajedno sa materijom koja se nalazi u toj tački
(takav sistem reference ponekad se naziva ,,sopstveni sistem”).
9. Naći opšte rešenje jednačina centralo-simetričnog gravitacionog polja, kada priti-
sak materije iznosi p (B. Datt, 1937).
10. Izvesti jednačine kretanja (jednačine koje povezuju t, r i τ) čestice koja pada ra-
dijalno u polju sa Švarcšildovom geometrijom. Razmotriti tri slučaja: 1) čestica
kreće iz stanja mirovanja pri r = R; 2) čestica kreće iz stanja mirovanja u bes-
konačnosti; 3) čestica se pusta iz beskonačnosti prema centru sa brzinom v∞ .
11. Radiokomentator vodi reportažu o svom radijalnom padanju u švaršildovsku crnu
rupu. Pri samom prelasku švarcšildovskog radijusa njegova frekvencija slanja in-
formacija (vesti) počinje da se jako pomera ka crvenom, koja se opisuje vremen-
skom zavisnošću oblika exp(−t/const), gde se t odred̄uje sopstvenim vremenom u
beskonačnosti. Znajući vrednost konstante u eksponentu, odrediti masu crne rupe.
Glava 8
Nakon same pojave OTR Ajnštajn je predložio tri načina kako da se proveri
OTR. Oni su zasnovani na eksperimentalnim merenjima:
Pored ovih, kasnije su u cilju testiranja OTR, izvršena još dva eksperimenta:
153
154 Glava 8. Potvrde Opšte teorije relativnosti
toga ćemo, pri istraživanju kretanja planeta u gravitacionom polju Sunca, kori-
stiti Švarcšildovo rešenje. Pri tome, prostorno-vremenske trajektorije po kojima
se kreću planete mogu se opisati pomoću jednačina geodezijskih linija za metriku
dxµ dxν
datu formulom (7.30). Relaciju 1 = gµν , za Švarcšildovu metričku formu,
ds ds
možemo zapisati na sledeći način:
µ ¶2 µ ¶2 "µ ¶ µ ¶2 #
2
cdt dr dθ dϕ
eν − e−ν − r2 + sin2 θ = 1. (8.1)
ds ds ds ds
Jednačine geodezijskih linija, kao što je poznato, imaju u opštem slučaju oblik
d 2 xσ µ
σ dx dx
ν
+ Γ µν = 0, (σ = 0, 1, 2, 3). (8.2)
ds2 ds ds
Zbog postojanja veze ds2 = gµν dxµ dxν , tri jednačine, od ukupno četiri, su neza-
visne. Kristofelovi simboli za ovu metriku dati su jednačinom (7.9).
Zamenom Kristofelovih simbola datih jednačinom (7.9) u jednačine geodezij-
skih linija (8.2) dobijamo četiri diferencijalne jednačine koje odgovaraju mogućim
vrednostima σ = 0, 1, 2, 3, tj. x0 = ct, x1 = r, x2 = θ, x3 = ϕ, kojima se podčinjava
kretanje planeta:
d 2t cdt dr
c 2 + ν0 = 0, (8.3)
ds ds ds
" µ ¶ µ ¶2 # "µ ¶ µ ¶2 #
d 2 r ν0 2ν cdt 2 dr ν dθ 2 dϕ
+ e − − re + sin θ
2
= 0, (8.4)
ds2 2 ds ds ds ds
µ ¶2
d 2 θ 2 dr dθ dϕ
2
+ − sin θ cos θ = 0, (8.5)
ds r ds ds ds
· ¸
d2ϕ 1 dr dθ dϕ
+2 + cot θ = 0. (8.6)
ds2 r ds ds ds
Pošto je polje sferno-simetrično, ceo zadatak znatno se uprošćava ako pretposta-
vimo da se orbita posmatrane planete u početnom trenutku nalazi u ekvatorijalnoj
ravni, tj. θ0 = π/2. Kako je θ0 = π/2, (dθ/ds)0 = 0 i cos θ = 0, tada iz (8.5) sledi
jednakost (d 2 θ/ds2 )0 = 0. Prema tome, ako u početnom trenutku vektor brzine
čestice leži u osnovnoj ravni, tada će on i u bilo kom drugom trenutku takod̄e
ležati u toj ravni. Dakle, jednačina (8.5) je trivijalno ispunjena dok se jednačine
(8.4) i (8.6) znatno uprošćavaju jer je θ = const. Prema tome, jednačine kretanja
planeta poprimaju jednostavan oblik:
d 2t cdt dr
c + ν0 = 0, (8.7)
ds2 ds ds
8.1. Kretanje perihela planeta 155
" µ ¶ µ ¶2 # µ ¶2
d 2 r ν0 2ν cdt 2 dr ν dθ
+ e − − re = 0, (8.8)
ds2 2 ds ds ds
d 2 ϕ 2 dr dϕ
+ = 0. (8.9)
ds2 r ds ds
Ove jednačine nije teško rešiti jer jednačine (8.7) i (8.9) mogu odmah da se inte-
grale. Naime, ako jednačine (8.7) i (8.9) u poslednjem sistemu podelimo sa dt/ds
i dϕ/ds, respektivno, dobijamo
½ ¾
d dt ν
ln + ln e = 0,
ds ds
odnosno, ½ ¾
d dϕ 2
ln + ln r = 0.
ds ds
Iz ovih jednačina lako nalazimo dva prva integrala kretanja i to:
dt
c eν = K1 = const, (8.10)
ds
dϕ
c r2 = K2 = const, (8.11)
ds
gde su K1 i K2 - konstante koje karakterišu orbitu. Poslednji integral dat jednači-
nom (8.11) igra ulogu ugaonog momenta jedinice mase (videti: –D. Mušicki: Te-
orijska mehanika, Naučna knjiga, Beograd, 1980.) Sa uračunavanjem prvih in-
tegrala, relativistička jednačina kretanja planeta (8.1) može se, u ovom slučaju
(θ = π/2), zapisati u obliku
µ ¶2 µ ¶2 µ ¶2
ν cdt −ν dr 2 dϕ
e −e −r = 1. (8.12)
ds ds ds
Ako u ovoj jednačini iskoristimo prve integrale (8.10) i (8.11) i eliminišemo za-
visnost r i t od s, prelaskom na uglovnu promenjljivu, smenom
dr dr dϕ K2 dr
= = 2 , (8.13)
ds dϕ ds cr dϕ
dobijamo običnu diferencijalnu jednačinu koja povezuje promenljive r i ϕ za po-
smatranu orbitu
µ ¶2 µ ¶2
dr ν 2 2 4 K1 c2 r4
+e r −c r + eν 2 = 0. (8.14)
dϕ K2 K2
156 Glava 8. Potvrde Opšte teorije relativnosti
dobijamo
µ ¶2 µ ¶ µ ¶
dρ c2 K1 c 2
+ (1 − 2mρ) ρ2 + 2 − = 0.
dϕ K2 K2
Diferenciranjem ove jednačine po ϕ dobija se sledeća diferencijalna jednačina
drugog reda
d2ρ mc2
2
+ ρ = 2 + 3mρ2 . (8.17)
dϕ K2
Ova jednačina predstavlja relativistički oblik poznatog Binetovog obrasca za kre-
tanje planeta (tela) u polju centralnih sila. Ona se razlikuje od klasične nerelati-
vističke jednačine po prisustvu drugog člana na desnoj strani (videti: –D. Mušicki:
Teorijska mehanika, Naučna knjiga, Beograd, 1980.).
Kao što je poznato kretanje planeta (tela), u polju centralne sile Sunca, opisano
je analognom njutnovskom jednačinom
d2ρ
+ ρ = C, (8.18)
dϕ2
gde je C = mc2 /K22 = γM¯ m2 /L2 > 0, a L = mr2 dϕ/dt - moment impulsa. Rešenje
ove jednačine je dobro poznatog oblika
1
ρ≡ = C[1 + ε cos(ϕ − ϕ0 )], (8.19)
r
što predstavlja, za ε < 1, elipsu (ε- ekscentricitet eliptične orbite), dok se ugao
ϕ računa od perihela (minimuma). Relativistička jednačina kretanja (8.17) se
razlikuje od klasične prisustvom člana 3mρ2 . Ovaj član pri c → ∞ otpada.
8.1. Kretanje perihela planeta 157
d 2 ρ(1) mc2
2
+ ρ(1) = 2 , (8.20)
dϕ K2
mc2
ρ(1) = [1 + ε cos(ϕ − ϕ0 )], (8.21)
K22
ili µ 2 ¶2
d 2 ρ(2) (2) mc2 mc
+ ρ = + 3m [1 + ε cos(ϕ − ϕ0 )]2 . (8.22)
dϕ2 K22 K22
Kako je
3m3 c4 1 m3 c4 2
ρ(2) = ρ(1) + ε ϕ sin(ϕ − ϕ 0 ) − ε cos 2(ϕ − ϕ0 ). (8.24)
K24 2 K24
Kao što vidimo pojavila su se dva dodatna člana koji se superponiraju na rešenje
prve aproksimacije. Treći član se može zanemariti u odnosu na prvi. Naime, iz
odnosa
1 m3 c4 2 mc2 1 m2 c2 2
ε : 2 = ε < 10−8 ,
2 K24 K2 2 K22
ovaj periodični član možemo ispustiti i rešenje u drugoj aproksimaciji možemo
napisati u obliku
mc2
ρ ≈ ρ(2) = {1 + ε [cos(ϕ − ϕ0 ) + δϕ0 sin(ϕ − ϕ0 )]} , (8.25)
K22
gde je
3m2 c2
δϕ0 = ϕ. (8.26)
K22
Radi jednostavnosti koordinatni sistem možemo tako izabrati da, u jednačini (8.25),
bude ϕ0 = 0. Dalje, trigonometrijski izraz u uglastoj zagradi može se transformi-
sati kao
cos(ϕ − δϕ0 ) = cos ϕ cos δϕ0 + sin ϕ sin δϕ0 ' cos ϕ + δϕ0 sin ϕ.
8.1. Kretanje perihela planeta 159
24π3 a2
δϕ0 = t [rad].
c2 T 3 (1 − ε2 ) dj0
(8.30) O x
Ovo predstavlja čuveni relativistički
obrazac za ugaono pomeranje pe-
rihela u pravcu kretanja planeta
(Slika. 8.1). Kad je reč o planetama Slika 8.1: Pomeranje perihela
Sunčevog sistema najveći efekat treba očekivati za Merkur jer su njegov eksce-
160 Glava 8. Potvrde Opšte teorije relativnosti
ntricitet orbite najveći dok je njegova velika poluosa najmanja. Rezultati pome-
ranja perihela za Merkur, Veneru i Zemlju (vrednosti za jedan vek zemaljskog
vremena) dati su u Tabeli 8.1.
Planeta a (106 km) e T (dana) δϕ0 (00 / stoleće)
OTR Posmatranje
Merkur 57.91 0.2056 87.9692 43.03 43.11 ± 0.45
Venera 108.21 0.0068 224.7091 8.6 8.4 ± 4.8
Zemlja 149.60 0.0167 365.256 3.8 5.0 ± 1.2
Kao što vidimo, za neke planete bliže Suncu, računi relativističkog pomeranja
perihela orbita dobro se slažu, u granicama eksperimentalne greške, sa astrono-
mskim posmatranjima i merenjima. Na taj način, identifikacija planete sa česticom,
koja opisuje geodezijsku liniju u Švarcšildovskom prostor-vremenu, zadovoljava-
juće objašnjava efekat pomeranja perihela posmatrane planete. Ovaj rezultat bio
je prvi trijumf OTR. Dugo vremena je ovaj efekat bio jedini realno posmatrani
nelinearni efekat OTR. U današnje vreme predvid̄anja OTR potvrd̄ena su mnogo-
brojnim radiolokacionim merenjima sa tačnošću od 1%. Na kraju, treba istaći da
Njutnova teorija gravitacije nije uspela da objasni ovaj efekat.
d2ρ mc2
+ ρ = + 3mρ2 ,
dϕ2 K22
d2ρ
+ ρ = 3mρ2 . (8.31)
dϕ2
8.2. Skretanje svetlosti u blizini Sunca 161
d 2 ρ(2) 3m
2
+ ρ(2) = 2 cos2 ϕ. (8.33)
dϕ d
(Pravac polarne ose smo izabrali tako da je ϕ0 = 0.). Opšte rešenje ove jednačine
glasi:
1h m¡ 2 ¢i
ρ ' ρ(2) = cos ϕ + cos ϕ + 2 sin2 ϕ . (8.34)
d d
Ono predstavlja konačnu jednačinu putanje svetlosnog zraka (fotona), slika 8.3.
Vidimo da je ovo rešenje simetrično u odnosu na polarnu osu, jer je, ρ(ϕ) =
ρ(−ϕ). Očigledno je, na osnovu (8.34), da trajektorija odstupa od prave zbog pri-
sustva drugog člana u gornjoj jednačini. Ocenimo drugi član, u formuli (8.34), u
odnosu na prvi. Naime, m/d 2 : 1/d = m/d ≈ 2 · 10−6 ¿ 1, prema tome, odstu-
panje od prave nije veliko.
Odredimo sada asimptote (isprekidane duži AC i BC) ove trajektorije. Njih
jednostavno dobijamo pri r → ∞ (onda ρ → 0). Tada iz formule (8.34) imamo
sledeću jednačinu:
d
cos2 ϕ − cos ϕ − 2 = 0, (8.35)
m
odakle nalazimo dva rešenja:
r
d d
(cos ϕ)1,2 = ± ( )2 + 2.
2m 2m
162 Glava 8. Potvrde Opšte teorije relativnosti
Prema tome, veličina odstupanja α svetlosnog zraka, jasno se vidi sa slike 8.3,
iznosi
4m 4γM
α = ϕ1 − ϕ2 − π = 2δ = = 2 . (8.36)
d c d
8.3. Gravitacioni crveni pomak 163
tovati skretanje svetlosti u polju bilo kakvih drugih tela, osim Sunca, je lišeno svakog smisla.
164 Glava 8. Potvrde Opšte teorije relativnosti
pri čemu ni g00 , ni g0i ne zavise od vremenske koordinate x0 . Onda postoji takav
sistem koordinata u kome je ∂gµν /∂x0 = 0 i njega možemo uzeti za referentni
sistem. Neka u tom sistemu, u nekoj tački re , izvor svetlosti (na Suncu) Ie i prije-
mnik, na mestu r p , (na Zemlji) Pd miruju. Zamislimo da izvor svetlosti sa površine
Sunca, u radijalnom pravcu, emituje svetlost u intervalu od xe0 (1) do xe0 (2), gde je
xe0 (1, 2) = cte (1, 2) vremenska koordinata u trenutku početka i kraja emitovanja
signala te (1, 2). Oznaka ∆xe0 = xe0 (2) − xe0 (1) - predstavlja razliku vremenskih
koordinata (tzv. koordinatno vreme)
x 0
Na taj način, interval izmed̄u dva dolaska signala u tačku r p i emitovanja signala
u tački re , koji u našem sistemu reference miruje, je invarijantan (ne zavisi od
metrike), tj.
Ako posmatramo slučaj slabog gravitacionog polja, što svakako važi za Sunce na
njegovoj površini, imamo
q
√
g00 = 1 − 2ϕ/c2 ≈ 1 − ϕ/c2 , ϕ = |ϕ|.
δω 1 − ϕe /c2 ¡ ¢¡ ¢ ϕ p − ϕe
= − 1 ≈ 1 − ϕe /c2 1 + ϕ p /c2 − 1 ≈ . (8.44)
ωe 1 − ϕ p /c 2 c2
δλ ϕe − ϕ p
= . (8.45)
λe c2
166 Glava 8. Potvrde Opšte teorije relativnosti
δω ϕe γM¯
=− 2 =− = −2.12 · 10−6 .
ωe c R¯ c2
Ovo znači da frekvencija svetlosti koju emituje atom na površini Sunca (u trenutku
emitovanja ona je bila ωe ) pri merenju na površini Zemlje manja je od ωe za
veličinu δω. Ova promena frekvencije naziva se crveni pomak spektralnih linija.
Poznato je da promena frekvencije emitovanog zračenja zavisi od relativnog
kretanja izvora i posmatrača. Ova pojava se nazaiva Doplerov efekat i uspešno je,
kao što je poznato, objašnjena u STR. Ovaj efekat, takod̄e, dovodi do pomeranja
spektralnih linija i pri tome odnos δω/ωe ne zavisi od frekvencije ω. Ajnštajnov
efekat crvenog pomaka može se karakterisati sa odgovarajućom ekvivalentnom
brzinom za Doplerov efekat, što takod̄e dovodi do iste vrednosti δω/ωe . Tako,
na primer, za sistem Sunce (emiter) - Zemlja (prijemnik) za ekvivalentnu brzinu
dobijamo vrednost koja je jednaka 0.6 km/s. Danas preovladava stav da eksperi-
menti potvrd̄uju teoriju koja je iskazana formulom (8.44). Novija merenja efekta
gravitacionog pomeranja frekvencije (smanjenja) sa kosmičkih stanica i veštačkih
satelita potvrd̄uju navedenu formulu sa tačnošću do 2 · 10−4 što svakako ide u
prilog valjanosti OTR i zaključaka koji iz nje slede.
Zadatak
1. Naći veličinu skretanja svetlosnog snopa ili fotona koji prolaze pored ruba Sunca
u okviru Njutnove teorije gravitacije.
DODATAK
167
Dodatak A
x1 = x, x2 = y, x3 = z. (A.1)
169
Ako~r i~r0 izrazimo pomoću odgovarajućih komponenata, možemo pisati
3 3
∑ xi~ei =~r0 + ∑ xi0~e0i . (A.4)
i=1 i=1
gde je ~r00 j = (~r0 ,~e0j ) =~r0 ·~e0j - j-ta projekcija vektora ~r0 u sistemu koordinata S0 .
Specijalno, ako se koordinatni počeci sistema S i S0 poklapaju, onda je ~r0 = 0 i
transformacija (A.9) postaje
3
x0j = ∑ α ji xi ( j = 1, 2, 3).
i=1
170
Prema Ajnštajnovoj konvenciji o sumiranju poslednju relaciju možemo pisati, i
bez simbola ∑, kao
x0j = α ji xi ( j = 1, 2, 3), (A.10)
ili eksplicitno
x10 = α11 x1 + α12 x2 + α13 x3 ,
x20 = α21 x1 + α22 x2 + α23 x3 , (A.11)
x10 = α31 x1 + α32 x2 + α33 x3 .
Inverzna transformacija (od S0 na S) dobija se množenjem (A.4) skalarno sa
~e j . Tako dobijamo (pri~r0 = 0)
α11 = cos(~e1 ,~e01 ) = cos ϕ, α12 = cos(~e1 ,~e02 ) = − sin ϕ, α13 = cos(~e1 ,~e03 ) = 0,
α21 = cos(~e2 ,~e01 ) = sin ϕ, α22 = cos(~e2 ,~e02 ) = cos ϕ, α23 = cos(~e2 ,~e03 ) = 0,
α31 = cos(~e3 ,~e01 ) = 0, α32 = cos(~e3 ,~e02 ) = 0, α33 = cos(~e3 ,~e03 ) = 1.
Na osnovu datih kosinusa pravaca formule za transformaciju komponenata proiz-
voljne tačke u Dekartovom sistemu koordinata, na osnovu (A.12), su sledećeg
oblika:
x1 = cos ϕ · x10 − sin ϕ · x20 ,
x2 = sin ϕ · x10 + cos ϕ · x20 , (A.13)
x3 = 1 · x30 .
Ako imamo neke proizvoljne tri veličine A1 , A2 , A3 , koje se pri prelasku sa
sistema koordinata S na S0 , transformišu po formulama (A.10) i (A.12), tj.
171
onda se skup od te tri veličine A1 , A2 , A3 naziva trodimenzioni (3-dimenzioni) vek-
tor, a same veličine A1 , A2 , A3 se nazivaju komponentama vektora duž odgova-
rajućih koordinatnih osa x1 , x2 , x3 . Veličine αi j u (A.14) definisane su formulom
(A.8). Ova definicija vektora može se lako proširiti na prostor ma koje dimenzije
n. Pri tome, indeks po kome se vrši sumiranje (tzv. nemi indeks) uzima ne 3 već
n vrednosti.
Iz (A.3) (za~r0 = 0), uzimajući u obzir (A.4), sledi
3 3
r2 = ∑ xi2 = ∑ xi02 , (A.15)
i=1 i=1
tj. pri ovim transformacijama ne menja se veličina vektora ~r (tj. r = |~r|. Ako
zamenimo izraze (A.10) i (A.12) u (A.15), imamo
3 3 3 3 3 3
∑ xi2 = ∑ xi02 = ∑ ∑ ∑ αi j x j αik xk = ∑ x j xk ∑ αi j αik . (A.16)
i=1 i=1 i=1 j=1 k=1 j,k i=1
Leva i desna strana ove jednakosti treba da se poklapaju. Prema tome, na desnoj
strani treba da odsustvuju članovi x j xk za j 6= k, a koeficijenti ispred člana x j xk pri
j = k, treba da budu jednaki jedinici. Odatle sledi da je:
3
∑ αi j αik = δ jk . (A.17)
i=1
172
Jednakosti (A.17) i (A.18) predstavljaju uslove za tzv. ortogonalne transforma-
cije. Ove transformacije očuvavaju apsolutnu veličinu vektora pri transformaciji.
Na primer, iz (A.14) imamo
3 3 3
∑ A02i = ∑ αi j A j αik Ak = ∑ A j Ak ∑ α| i{z
j αik = ∑ A j ,
}
2
(A.19)
i=1 i, j,k j,k i=1 j=1
δ jk
tj. pri ovim transformacijama očuvana je apsolutna veličina bilo kog vektora.
Prema tome, možemo reći da je apsolutna veličina vektora invarijantna u odnosu
na ortogonalne transformacije koordinata. Ovaj tip transformacija se najčešće
susreće i koristi u fizici.
x0 = ct, x1 = x, x2 = y, x3 = z. (A.20)
Kao što se vidi, 4-dimenzioni metrički tenzor ηµν odred̄en je dijagonalnom matri-
com (dimenzije 4 × 4)
173
i očigledno je da se podudara sa svojim inverznim
Ovako definisan 4-dimenzioni prostor naziva se prostor ili svet Minkovskog. Met-
rika prostora Minkovskog se nikakvim transformacijama i realnim promenljivim
ne može svesti na sumu kvadrata diferencijala koordinata, ds2 = (dx0 )2 +(dx1 )2 +
(dx2 )2 + (dx3 )2 , tj. na euklidsku metriku. Zbog toga se ovaj prostor, koji je realan
ali nije euklidski, često naziva pseudoeuklidski ili prostor Minkovskog. On je
specijalan slučaj jednog 4-dimenzionog neeuklidskog Rimanovog prostora koji je
ravan i realan1 .
Zbog specifičnosti prostora Minkovskog, definišu se dve ,,sorte”komponenata
4-dimenzionog vektora (ili skraćeno 4-vektora), koje označavamo slovima Aµ i
Aµ sa indeksom gore i dole. Veličine Aµ nazivaju se kontravarijantnim, a Aµ -
kovarijantnim komponentama 4-vektora. Skup od četiri veličine A0 , A1 , A2 , A3 ,
koje se pri Lorencovim transformacijama koordinata (videti Glavu 2) transformišu
na sledeći način
∂x0µ
A0µ = ν Aν = αν Aν ,
µ
(A.24)
∂x
naziva se kontravarijantan vektor ili kontravarijantni tenzor prvog ranga. Slično,
skup veličina A0 , A1 , A2 , A3 , (sa donjim indeksima) koji se transformišu prema
pravilu
∂xν
A0µ = 0µ Aν = ανµ Aν , (A.25)
∂x
predstavlja kovarijantni vektor ili kovarijantni tenzor prvog ranga.
Analogno slučaju 3-dimenzionih vektora mogu se definisati i vektori, tzv. kva-
drivektori ili četvorovektori u prostoru Minkovskog. Tako, kvadrivektor položaja
(ili 4-dimenzioni radijus-vektor) tačke xµ (µ = 0, 1, 2, 3) odred̄en je skupom
174
uniformnog kretanja duž zajedničke x − x0 -ose, imaju oblik
x00 = γ · x0 − γu/c · x1 + 0 · x2 + 0 · x3 ,
x01 = −γu/c · x0 + γ · x1 + 0 · x2 + 0 · x3 ,
(A.27)
x02 = 0 · x0 + 0 · x1 + 1 · x2 + 0 · x3 ,
x03 = 0 · x0 + 0 · x1 + 0 · x2 + 1 · x3 ,
p
gde je γ = 1/ 1 − u2 /c2 . Ove transformacije se prema (A.10) mogu zapisati u
konciznom obliku kao
3
x0µ = ∑ αµν xν = αµν xν ; (µ = 0, 1, 2, 3) (A.28)
ν=0
∂xν 0µ ∂xν
xν = x = α̃ ν 0µ
x , (α̃ν
≡ ) (A.30)
∂x0µ µ µ
∂x0µ
pri čemu je α̃νµ inverzna matrica matrice αν . Nije teško pokazati da koeficijenti
µ
α̃νµ ασ = δνσ .
µ
(A.31)
∂x0µ ν µ ν ν ∂xν 0µ
A0µ = A = αν A , A = A = α̃νµ A0µ , (A.32)
∂xν ∂x0µ
175
gde su koeficijenti αν definisani matricom (A.29), predstavlja kontravarijantni
µ
176
Imajući u vidu (A.36), možemo pisati
Aµ Bµ = A0 B0 − A1 B1 − A2 B2 − A3 B3 . (A.37)
xµ xµ = c2t 2 − x2 − y2 − z2 ,
što jasno ukazuje da je ova veličina invarijantna, jer predstavlja interval izmed̄u
nultog dogad̄aja i uočenog dogad̄aja sa koordinatama xµ .
Po analogiji sa (A.34) možemo uvesti kontravarijantne komponente 4-tenzora
ranga n. To je skup veličina T ν1 ...νn , koje se pri Lorencovim transformacijama
menjaju isto kao proizvodi odgovarajućih komponenata 4-vektora, tj.
Tµ01 ...µn = α̃νµ11 . . . α̃νµnn Tν1 ...νn , Tν1 ...ν = α̃σν11 . . . α̃σνmm ατ11 . . . ατll Tστ11...σ
0µ ...µ µ µ ...τl
1
m
l
m
. (A.43)
Iz same strukture metričkog tenzora ηµν sledi, da pri spuštanju ili podizanju nekog
indeksa ν komponenta tenzora se ne menja ako je ν = 0, i menja znak ako je
ν = 1, 2, 3.
177
A.3 Kvadrivektori brzine i ubrzanja tačke
Ovi pojmovi su veoma važni u STR jer služe za kovarijantnu formulaciju
zakona mehanike. 4-dimenziona brzina (4-brzina) čestice sa vektorom položaja
xµ = (x0 , xi ) definiše se kao odnos diferencijala dxµ i odgovarajućeg infinitezimal-
nog sopstvenog vremena dτ
dxµ
Uµ = , (µ = 0, 1, 2, 3). (A.44)
dτ
p
Kako je dτ = dt 1 − u2 /c2 , tada se komponente vektora (A.44) mogu predstaviti
u obliku
dx0 dct dt c dx1 dx1 dt u1
U0 = = =p ; U1 = = =p ,
dτ dt dτ 1 − u /c
2 2 dτ dt dτ 1 − u2 /c2
(U)2 = U µUµ = (U 0 )2 − (U 1 )2 − (U 2 )2 − (U 3 )2 =
178
Pri prelasku sa jednog inercijalnog sistema reference na drugi, komponente
kvadrivektora brzine se transformišu po zakonu (A.33), ili eksplicitno
U 0 − u/cU 1 U 1 − u/cU 0
U 00 = p , U 01 = p , U 02 = U 2 , U 03 = U 3 . (A.48)
1 − u /c
2 2 1 − u /c
2 2
Kvadrivektor impulsa
Kvadrivektor impulsa možemo definisati, po analogiji sa vektorom impulsa
čestice u klasičnoj mehanici, kao proizvod kvadrivektora brzine i sopstvene mase
čestice m:
Pµ = m U µ . (A.51)
Sopstvena masa čestice je masa (mera inertnosti) utvrd̄ena u odnosu na sistem
reference u kojem ona miruje i ona je skalar, odnosno invarijanta. Uzimajući
u obzir oblik kvadrivektora brzine (A.45), za kvadrivektor (4-vektor) impulsa Pµ
nalazimo à !
µ µ mc m~u
P =mU = p ,p . (A.52)
1 − u2 /c2 1 − u2 /c2
Odgovarajuće kovarijantne komponente kvadrivektora impulsa (Pµ = m Uµ ) onda
glase: Ã !
mc −m~u
Pµ = m Uµ = p ,p . (A.53)
1 − u2 /c2 1 − u2 /c2
Zapazimo da je i intenzitet kvadrivektora impulsa čestice, takod̄e, skalar. Zaista,
imajući u vidu (A.47) i činjenicu da je m invarijanta lako zaključujemo
Pµ Pµ = m2 c2 , (A.54)
tj. kvadrivektor impulsa čestice je kvadrivektor invarijantne ,,dužine”mc. Dakle,
bez obzira na to kako se čestica kreće, njen kvadrivektor brzine kao i njen kvadri-
vektor impulsa su invarijantnog intenziteta (ili konstantne ,,dužine”).
179
A.4 Relativistička dinamika
Pošto smo uveli osnovne kinematičke i dinamičke veličine, možemo pristupiti
formulaciji samog dinamičkog zakona kretanja. Ideja vodilja u traženju zakona
dinamike mora biti kovarijantna formulacija fizičkih zakona koja je u skladu sa
Ajnštajnovim principom korespondencije. U skladu sa tim principom jednačine
relativističke dinamike, u nerelativističkom slučaju moraju preći u odgovarajući
zakon Njutnove mehanike. Sami postulati STR nisu dovoljni za formulaciju re-
lativističke mehanike. U tom cilju se uvodi zahtev da dinamičke veličine u svim
inercijalnim sistemima reference moraju biti povezane istim zakonima, tj. oblik
tih zakona mora ostati isti, kao u klasičnoj mehanici. Tako na primer, zakon sile
d~p/dt = ~F ili zakom kinetičke energije dT /dt = ~F ·~v treba da zadrže svoj oblik.
Naravno, da pri tome, same dinamičke veličine mogu pretrpeti bitne promene.
Ovaj zahtev može se smatrati kao dopunski postulat relativističke dinamike, koji
nam pruža, zajedno sa Ajnštajnovim principom korespondencije, osnovni kriteri-
jum za uvod̄enje korektnih relativističkih veličina, koje moraju biti u saglasnosti
sa zahtevima STR.
U skladu sa gore rečenim, jednačine relativističke dinamike formulišu se uo-
pštavanjem Njutnovih jednačina
d
(m ui ) = Fi (i = 1, 2, 3). (A.55)
dt
d
(m U µ ) = Ki (µ = 0, 1, 2, 3), (A.56)
dτ
180
Pored̄enjem desnih strana jednačina (A.58) i (A.55) možemo povezati kompo-
nente sile Minkovskog Ki sa komponentama obične 3-dimenzione sile Fi :
q
Fi = Ki 1 − u2 /c2 (i = 1, 2, 3). (A.59)
dU µ
K µUµ = m Uµ = mW µUµ = 0.
dτ
Uvrštavajući eksplicitno komponente U µ iz (A.45), dobijamo
c Fi ui
K0 p −p p = 0,
1 − u2 /c2 1 − u2 /c2 1 − u2 /c2
~F ·~u
K0 = p . (A.61)
c 1 − u2 /c2
Relacije (A.59) i (A.61) potpuno identifikuju strukturu kvadrivektora sile što može-
mo pisati kao à !
~
F ·~
u ~
F
Kµ = p ,p . (A.62)
c 1 − u2 /c2 1 − u2 /c2
Pored̄enjem relacije (A.61) sa zakonom kinetičke energije klasične mehanike,
dT /dt = ~F ·~u, možemo K 0 napisati u obliku:
1 dT
K0 = p (A.63)
c 1 − u /c dt
2 2
181
gde je T - kinetička energija čestice. Posle zamene relacije (A.57) u (A.63) vre-
menska komponenta K 0 poprima sledeći oblik:
à !
d mc 1 dT
p = . (A.64)
dt 1 − u /c
2 2 c dt
mc2
T=p + const. (A.65)
1 − u2 /c2
Time je kinetička energija relativističke čestice izražena kao funkcija njene sop-
stvene mase i brzine. Ako je u/c ¿ 1 formula (A.66) prelazi u klasični izraz za
kinetičku energiju
u2 1
T ' mc2 (1 + 2 ) − mc2 = mu2 . (A.67)
2c 2
Shvatimo li kinetičku energiju čestice kao razliku energije E, koju čestica ima
u stanju kretanja, i njene energije E0 u stanju mirovanja, T = E − E0 , tada, na
osnovu izraza (A.66), dolazimo do Ajnštajnove relacije izmed̄u mase i ukupne
energije slobodne (neinteragujuće) relativističke čestice
mc2
E=p . (A.68)
1 − u2 /c2
Ovo je čuvena Ajnštajnova relacija izmed̄u mase i energije koja uspostavlja uza-
jamnu zavisnost izmed̄u ovih dveju veličina u STR. Navedena energija je energija
koju poseduje svaka čestica sa masom nezavisno od svog stanja kretanja (pa i u
stanju mirovanja).
Ukoliko izolovana čestica miruje, njena energija iznosi mc2 i stoga se ova
energija uobičajeno naziva energija mirovanja i označava se sa E0 :
E0 = mc2 . (A.69)
182
Zbir kinetičke energije i energije mirovanja čestice E = T +mc2 , naziva se ukupna
relativistička energija izolovane (neinteragujuće) čestice.
U svetlu upravo uvedene relativističke energije, kvadrivektor impulsa (A.53)
poprima oblik:
à ! µ ¶
µ mc m~u µ E
P = p ,p ⇒ P = ,~p , (A.70)
1 − u2 /c2 1 − u2 /c2 c
E − upx px − uE/c2 0
E0 = , p0
= p , py = py , p0z = pz . (A.71)
1 − u2 /c2 x 1 − u /c
2 2
Zadaci
1. Naći zakon transformacije komponenata simetričnog kontravarijantnog 4-tenzora
Aµν pri Lorencovim transformacijama (1.11).
183
2. Naći zakon transformacije komponenata antisimetričnog kontravarijantnog 4-ten-
zora Aµν pri Lorencovim transformacijama (1.11).
3. Pokazati da se komponente kvadrivektora ubrzanja čestice W µ može predstaviti u
obliku
µ ¶
µ dU µ ~a ~u(~a ·~u) −~a ·~u
W ≡ = + , ,
dτ 1 − u2 /c2 c2 (1 − u2 /c2 )2 c(1 − u2 /c2 )2
184
Dodatak B
185
Birajući različite krive, tj. razne familije y(x), dobijamo razne brojeve.
Za funkcional kažemo da je linearan ako zadovoljava sledeće uslove:
ima ekstremnu vrednost. U tom smislu, označimo traženu funkciju sa y(x), a bilo
koju drugu iz ove klase funkcija sa ỹ(x). Jasno je da će svakoj od ovih funkcija
ỹ(x) odgovarati odred̄ena vrednost integrala (B.3) koju ćemo označiti sa Φ̃
Z x2
Φ̃ = f [x, ỹ(x), ỹ0 (x)]dx. (B.4)
x1
186
Kako se operacija variranja odnosi na promenu oblika funkcije, a operacija dife-
renciranja na promenu funkcije po jedinici priraštaja nezavisno promenljive, jasno
je da su ove operacije nezavisne pa možemo izmeniti njihov redosled. Prema
tome, dolazimo do relacije
d dy
(δy)0 = δy = δ . (B.8)
dx dx
Analogno definiciji (B.5) možemo definisati i varijaciju integrala Φ kao
δΦ = Φ̃ − Φ,
odnosno Z x2 © ª
δΦ = f [x, ỹ(x), ỹ0 (x)] − f [x, y(x), y0 (x)] dx. (B.9)
x1
Prema tome, naš postavljeni problem možemo formulisati i na sledeći ekviva-
lentan način: od svih funkcija y = y(x), koje zadovoljavaju uslov δy(x1 ) = 0 i
δy(x2 ) = 0, naći onu za koju integral Φ ima ekstremnu vrednost, tj. za koju je
δΦ = 0. U tom cilju pod̄imo od varijacije δy0
odakle sledi
ỹ0 (x) = y0 (x) + δy0 . (B.10)
Razvijmo potom funkciju f [x, ỹ(x), ỹ0 (x)] u Tajlorov red u tački (x, y, y0 ) po stepe-
nima malih veličina δy i δy0
187
Zatim se operacija variranja δ f napiše, formalno, po pravilu za totalni diferencijal,
uzimajući samo umesto diferencijala varijacije odgovarajućih nezavisno prome-
nljivih i stavljajući δx = 0, jer se, prema definiciji varijacije, x ne varira
∂f ∂f
δ f [x, y(x), y0 (x)] = δy + 0 δy0 . (B.12)
∂y ∂y
Pošto varijacija δy0 nije nezavisna od δy, integralimo parcijalno drugi član u in-
tegralu (B.11).
R R
Neka je u = ∂ f /∂y0 , a dv = δy0 dx, tada korišćenjem formule
udv = uv − vdu, dobijamo
Z x2 Z x2 Z x2 Z x2 µ ¶
∂f 0 ∂f d ∂f ∂f ∂f
δy dx = (δy)dx = d(δy) = δy |x2
− δyd .
x1 ∂y0
x1 ∂y0 dx
x1 ∂y0 ∂y0 x1
x1 ∂y0
188
Rešenje ove diferencijalne jednačine je funkcija za koju je y00 = 0, a y0 = ax, ili
konačno y = ax + b. Prema tome, funkcional (B.1) dostiže ekstremum ( u ovom
slučaju, očigledno, minimum) ako za y(x) uzmemo pravu koja spaja tačke 1 i 2 na
Slici d.2.
odnosno
Z t2 r
v2
S = −αc 1− dt, (B.17)
t1 c2
gde se integral uzima duž svetske linije izmed̄u dva zadata dogad̄aja 1 i 2 (nala-
ženje čestice u početnim i konačnim mestima u odred̄enim trenucima vremena t1
i t2 , tj. med̄u zadatim svetskim tačkama). Lako je videtiRda, za svaku česticu,
α treba da bude pozitivna veličina. S obzirom da integral ds, uzet izmed̄u dve
zadate svetske tačke, ima maksimalnu vrednost ako se on uzima duž prave svetske
189
linije koja spaja te tačke2 . Minus dolazi otuda što integral u formuli (B.17) može
u tom slučaju imati minimum - duž prave svetske linije. Veličina v u (B.17) je
brzina materijalne čestice. Na osnovu (B.16) i (B.17) zaključujemo da Lagranževa
funkcija za jednu izolovanu česticu ima oblik:
r
v2
L = −αc 1 − 2 .
c
Zapazimo da L , u nerelativističkom limesu c → ∞, nije kinetička energija čestice.
Nad̄imo stoga vezu α i mase čestice m. Ona se nalazi iz uslova, da u graničnom
sluǎju c → ∞, naš izraz za L treba da poprimi svoj klasični oblik, tj.
mv2
L= .
2
U tom smislu, razvijmo L u red po stepenima v/c do kvadratnih članova ∼ v2 /c2 .
Tako dobijamo r
v2 αcv2
L = −αc 1 − 2 ≈ −αc + 2 .
c 2c
Bilo koja aditivna konstanta, pa i αc koja ulazi u L , može ući u podintegralni
izraz za dejstvo, bez uticaja na Hamiltonov princip (tj. na ekstremalnost dejstva).
Otuda neposredno sledi da je α = mc.
Prema tome, dejstvo za slobodnu materijalnu česticu (tačku) jednako je
Z b
S = −mc ds (B.18)
a
190
U istoriji fizike klasična elektrodinamika je bila prva teorija polja u kojoj su
bili razvijeni i odrad̄eni metodi klasične teorije polja (princip najmanjeg dejstva,
Lagranžev i Hamiltonov opis polja). Lagranžev i Hamiltonov prilaz se efika-
sno primenjuju ne samo u elektrodinamici, već i u kvantnoj teoriji elementarnih
čestica, naročito pri opisu jakih interakcija, teoriji gravitacije itd.
Struktura lagranžijana ne može biti u potpunosti proizvoljna - ona treba da
ispunjava niz ograničenja koji slede iz opštih fizičkih principa i pouzdano usta-
novljenim simetrijama prisutnih u fizičkim pojavama i potvrd̄enih opitom. Na-
brojmo osnovna ograničenja:
stički invarijantno.
191
u prostoru i vremenu odvija se na takav način da dejstvo ostaje stacionarno u od-
nosu na male izmene polja pri njihovim fiksiranim vrednostima na granici oblasti
integracije, tj.
δS = 0, pri δx|Σ = 0,
gde je Σ - trodimenziona hiperpovrš koja ograničava 4-dimenzionu zapreminu
integracije u (B.21).
Zadaci
1. Pod pretpostavkom da je poznat lagranžijan polja, napisati jednačine polja u la-
granževom obliku koristeći varijacioni princip za polje.
2. Po analogiji sa mehanikom sistema materijalnih tačaka uvesti gustinu generalisa-
nog impulsa polja:
∂L
πi = , i = 1, 2, ..., N,
∂x
zatim formirati hamiltonijan (gustina Hamiltonove funkcije) polja i naći jednačine
evolucije polja u hamiltonoskoj formi.
192
Dodatak C
Tenzor energije-impulsa
∂qα
q̇αν = (α = 1, 2, . . . , ν = 0, 1, 2, 3). (C.3)
∂xν
1 Ovde je uveden množitelj 1/c, da bi u nerelativističkom limesu postojala obična veza izmed̄u
193
Za veličine qα i q̇αν se pretpostavlja da zavise od koordinata x0 , x1 , x2 , x3 . Isposta-
vlja se, med̄utim, da parametri qα zavise samo od x0 . Tada dolazimo do poznatog
slučaja kada je qα = qα (t).
Pošto je ∂2 qα /∂xν ∂xµ = ∂2 qα /∂xµ ∂xν , onda važi sledeća relacija:
∂q̇αν ∂q̇αµ
= . (C.4)
∂xµ ∂xν
Element 4-zapremine dV ∗ povezan je sa elementom zapremine u običnom pro-
storu dV sledećom relacijom:
194
Drugi član u ovoj formuli možemo, koristeći pravila diferenciranja, transformisati
na sledeći način:
µ ∗ ¶
∂L ∗ ∂ ∂ ∂L ∂ ∂L ∗
δqα = δq α − δq α ν .
∂q̇αν ∂xν ∂xν ∂q̇αν ∂x ∂q̇αν
Druga suma u ovoj formuli jeste 4-divergencija vektora čija je ν-ta komponenta
∂L ∗
δqα . Koristeći Gausovu teoremu drugi član, u formuli (C.9), može se preve-
∂q̇αν
sti u integral po zatvorenoj hiperpovršini koja sadrži 4-zapreminu po kojoj se vrši
integracija u jednačini (C.9):
Z µ ∗ ¶ I
∂ ∂L ∗ ∂L ∗
ν
δq α dV = δqα · dΣν . (C.10)
∂x ∂q̇αν ∂q̇αν
∂L ∗ ∂ ∂L ∗
q̇αµ − q̇αµ ν = 0.
∂qα ∂x ∂q̇αν
195
Drugi član u ovoj jednačini, koristeći formulu u∂v/∂xν = ∂(uv)/∂xν − v∂u/∂xν ,
možemo transformisati tako da poslednja jednačina prelazi u
µ ¶
∂L ∗ ∂ ∂L ∗ ∂q̇αµ ∂L ∗
q̇αµ = ν q̇αµ − ν . (C.13)
∂qα ∂x ∂q̇αν ∂x ∂q̇αν
Kako je q̇αµ = ∂qα /∂xµ i ∂q̇αµ /∂xν = ∂q̇αν /∂xµ , jednačina (C.13) prelazi u
µ ¶
∂L ∗ ∂qα ∂L ∗ ∂q̇αν ∂ ∂L ∗
+ = ν q̇αµ (µ = 0, 1, 2, 3).
∂qα ∂xµ ∂q̇αν ∂xµ ∂x ∂q̇αν
Pošto je L ∗ = L ∗ (qα , q̇α ), tada je jasno da je leva strana u gornjem izrazu jednaka
∂L ∗ /∂xµ . Tako dolazimo do formule
µ ¶
∂L ∗ ∂ ∂L ∗
= ν q̇αµ (µ = 0, 1, 2, 3).
∂xµ ∂x ∂q̇αν
S druge strane, možemo napisati ∂L ∗ /∂xµ = δνµ ∂L ∗ /∂xµ = ∂/∂xν (δνµ L ∗ ), tako da
je µ ¶
∂ ν ∗ ∂ ∂L ∗
(δ L ) = ν q̇αµ ,
∂xν µ ∂x ∂q̇αν
što se može napisati na sledeći način:
µ ¶
∂ ∂L ∗ ν ∗
q̇αµ − δµ L = 0 (µ = 0, 1, 2, 3). (C.14)
∂xν ∂q̇αν
Izraz u zagradi ima svojstva mešovitog 4-tenzora drugog ranga. Posle uvod̄enja
oznaka
∂L ∗
Teµν = q̇αµ − δνµ L ∗ , (C.15)
∂q̇αν
relacija (C.14) može se napisati u obliku:
∂Teµν
= 0 (µ = 0, 1, 2, 3). (C.16)
∂xν
Tenzor Teµν , koji se pojavljuje u gornjoj jednačini, nejednoznačno je definisan. Na-
ime, svaki tenzor oblika
νρ
∂Qµ
Tµν = Teµν + , (C.17)
∂xρ
νρ νρ ρν
gde je Qµ - antisimetrični tenzor po indeksima ν i ρ (Qµ = −Qµ ), takod̄e zado-
νρ
voljava jednačinu (C.16). Zbog antisimetrije tenzora Qµ , važi
νρ ρν
∂2 Qµ ∂2 Q µ
= −
∂xν ∂xρ ∂xρ ∂xν
196
i prema tome,
νρ νρ
∂ ∂Qµ ∂2 Qµ
= = 0.
∂xν ∂xρ ∂xν ∂xρ
Zbog toga iz jednačine (C.16) sledi uslov
∂Tµν
= 0, (µ = 0, 1, 2, 3), (C.18)
∂xν
ili podizanjem indeksa µ gore možemo pisati
∂T µν
= 0 (µ = 0, 1, 2, 3). (C.19)
∂xν
νρ
Pogodnim izborom tenzora Qµ uvek se može dobiti da tenzor u jednačini (C.17)
bude simetričan. Nadalje ćemo pretpostaviti da važi
T µν = T νµ . (C.20)
Tenzor T µν naziva se tenzor energije-impulsa sistema.
Posmatrajmo tenzor T µν čije su komponente različite od nule u nekoj ograniče-
noj oblasti 4-prostora i zadovoljavaju uslov (C.18), tada se održava vektor Pµ (tj.
njegove vrednosti se ne menjaju tokom vremena) čije su komponente jednake in-
tegralima od veličina T µν po odgovarajućoj hiperpovrini
Z
Pµ = const T µν dΣν , (C.21)
gde je dΣν - komponenta 4-vektora elementa hiperpovrši. Ovaj vektor mora biti
identičan sa 4-vektorom impulsa sistema. Ako za hiperpovrš, po kojoj se vrši
integracija, uzmemo hiperravan x0 = const, onda su svi dΣν , osim dΣ0 = dV ,
jednaki nuli i izraz (C.21) se uprošćava i može se napisati u obliku:
Z Z
µ µ0
P = const T dΣ0 = const T µ0 dV. (C.22)
Kao što je poznato, u slučaju izolovanog sistema, ukupna energija i impuls si-
stema ne menjaju se tokom vremena. Energija i impuls predstavljaju komponente
kvadrivektora impulsa. Prema tome, 4-impuls izolovanog sistema, takod̄e, treba
da se održava. Ova činjenica nam služi kao osnova da vektor, definisan formu-
lom (C.21), identifikujemo sa 4-vektorom impulsa sistema. Konstantni množitelj
ispred integrala u jednačini (C.21) i (C.22) izabiramo tako da vremenska kompo-
nenta P0 bude jednaka energiji sistema (videti Dodatak A) pomnoženoj sa 1/c.
Zamenom µ = 0 u formulu (C.22) dobijamo
Z
P0 = const · T 00 dV = E/c. (C.23)
197
Na osnovu jednačine (C.15), možemo pisati
∂L ∗ ∂L ∗
T 00 = T00 = Te00 = q̇α0 − δ00 L ∗ = q̇α − L ∗,
∂q̇α0 ∂q̇α
gde je q̇α = ∂qα /∂t R(uzeli smo da je q̇α0 = ∂qα /∂x0 = c−1 (∂qα /∂t) = c−1 q̇α ). S
obzirom da integral L ∗ dV daje Lagranževu funkciju, dalje možemo pisati
Z
∂L
T 00 dV = q̇α − L.
∂q̇α
Član na desnoj strani ove relacije definiše energiju sistema. Prema tome,
Z
T 00 dV = E, (C.24)
Sx = cT 01 , Sy = cT 02 , Sz = cT 03 . (C.28)
198
Primenom Gausove teoreme zapreminski integral, na desnoj strani jednačine (C.27),
može se prevesti u integral po zatvorenoj površini, koja ograničava zapreminu V .
Konačno dobijamo I
∂E
− = ~S · d~Σ,
∂t Σ
što se može iskazati i rečima. Smanjenje energije u zapremini V u jedinici vre-
mena jednako je fluksu energije kroz površinu Σ. Prema tome, vektor ~S predstavlja
vektor gustine fluksa energije. S obzirom da su komponente tenzora T µν sime-
trične (T k0 = T 0k ) i one su, sa tačnošću do množitelja 1/c, jednake komponentama
vektora gustine fluksa energije kroz graničnu površinu.
Prostorne komponente vektora impulsa (C.21) jednake su
Z
i 1
p = T i0 dV.
c
Odavde se može zaključiti da vektor ~g sa komponentama (T 10 /c, T 20 /c, T 30 /c)
definišu gustinu impulsa sistema
1 1 1
gx = T 01 , gy = T 02 , gz = T 03 . (C.29)
c c c
Upored̄ujući jednačinu (C.29) sa jednačinom (C.28), dobijamo da je
1
gi = Si (i = 1, 2, 3), (C.30)
c2
ili, u vektorskom obliku,
d~p 1
~g = = 2 ~S. (C.31)
dV c
Na taj način, došli smo do zaključka, da izmed̄u fluksa energije i impulsa postoji
veza. Gustina impulsa jednaka je gustini fluksa energije podeljenoj sa c2 .
Da bismo videli smisao komponenata T i j (i, j = 1, 2, 3), napišimo jednačinu
(C.18) za µ = i:
∂T iν ∂T i0 ∂T ik
= 0 + k = 0 (i = 1, 2, 3).
∂xν ∂x ∂x
Imajući u vidu da je x0 = ct, T i0 = cgi , možemo pisati
∂gi ∂T ik
− = k (i = 1, 2, 3).
∂t ∂x
R
Integracijom dobijenog izraza po nekoj zapremini V , i imajući u vidu da je ~gdV =
~p (~p - je impuls dela sistema koji se nalazi u zapremini V ), dobijamo
Z
∂ ∂T ik
− pi = dV (i = 1, 2, 3).
∂t ∂xk
199
Prevodeći integral na desnoj strani, koristeći Gausovu teoremu, u površinski imamo:
I I
∂
− pi = T ik dΣk = − ~σi · d~Σ (i = 1, 2, 3), (C.32)
∂t Σ Σ
σik = T ik . (C.33)
200
Dodatak D
Izvod̄enje Ajnštajnovih
jednačina iz varijacionog
principa
201
jednačini predstavlja fundamentalnu determinantu, dok je
√ √
d V ∗ = −g dx0 dx1 dx2 dx3 = −g d 4 x
element zapremine 4-dimenzionog prostor-vremena.
Kao što je poznato, gustina lagranžijana odgovarajućeg fizičkog polja zavisi
od potencijala polja (gµν ) i njihovih izvoda. Pri izvod̄enju jednačina gravitacionog
polja pretpostavlja se da te jednačine ne sadrže izvode metričkog tenzora (potenci-
jala) gµν više od drugog reda. S obzirom da se jednačine dobijaju putem variranja
dejstva, to za dobijanje tih jednačina, prirodno je zahtevati da podintegralni izraz
u (D.2) (tj. odgovarajući Lg ) treba da sadrži izvode od metrike (gµν ) koji nisu viši
od prvog reda. Drugim rečima, gustina lagranžijana može zavisiti samo od gµν i
Γσµν ∼ ∂gµν /∂xσ . Med̄utim, iz samih veličina gµν i ∂gµν /∂xσ , nemoguće je sasta-
viti invarijantu, jer izborom sistema koordinata (tzv. lokalno-inercijalnog sistema
koordinata) moguće je uvek udesiti da sve veličine Γσµν u datoj tački budu jednake
nuli. Ipak, postoji skalar (invarijanta) R (R-krivina 4-dimenzionog prostora), koji
osim tenzora gµν i njegovih prvih izvoda, sadrži još i druge izvode od gµν , koji
ulaze samo
R √
linearno. Zahvaljujući toj linearnosti, kao što ćemo pokazati niže,
integral R −g d 4 x je moguće transformisati tako da
Z Z
√ √
δ R −g d 4 x = δ Q −g d 4 x, (D.3)
gde veličina Q sadrži samo tenzor gµν i njegove prve izvode. Izraz na levoj strani
jednačine (D.3) jeRskalar, pa je prema tome i izraz na desnoj strani takod̄e skalar
√
(dok sam integral Q −g d 4 x, naravno, nije skalar, ali njegova varijacija jeste!).
Prema tome, zbog izbora gustine lagranžijana Lg gravitacionog polja, koji
je jednak R (pri Λ = 0, Λ-kosmološka konstanta) ili R − 2Λ (pri Λ 6= 0), to prili-
kom izvod̄enja jednačina gravitacionog polja, jasno je da će one biti diferencijalne
jednačine koje sadrže izvode od gµν ne više od drugog reda.
Uvedimo dejstvo Sg na sledeći način:
Z
√
β Sg = (R − 2Λ) −g d 4 x (D.4)
koeficijenti gµν su bezdimenzioni, dok je dimenzija veličine R recipročna dužina m−2 . Otuda je
jasno da je dimenzija β jednaka s/kg.
202
Z £ ¤ Z
√ √ √ √
= Rµν −gδgµν + Rµν gµν δ( −g) − 2Λδ( −g) d 4 x + gµν −gδRµν d 4 x.
Očigledno je
√
1 ∂ √ ν ∂wν ν 1 ∂ −g
√ ( −g w ) = ν + w √ =
−g ∂xν ∂x −g ∂xν
| {z }
β
Γνβ
∂ µα ν ∂
=− ν
(g δΓµα ) + ν (gµν δΓαµα )+
∂x ∂x
β
+(−gµα δΓνµα + gµν δΓαµα )Γνβ =
∂gµα ν ∂Γνµα ∂gµν α
=− δΓ − gµα
δ + ν δΓµα +
∂xν µα
∂xν ∂x
α
∂Γµα β
+gµν δ ν + (−gµα δΓνµα + gµν δΓαµα )Γνβ .
∂x
µα
Kako je kovarijantni izvod metričkog tenzora jednak nuli, tj. g ;ν = 0, i s obzirom
na već dokazane formule (videti Glavu 4, Zadatak 4.1), imamo
∂gµα
= −gβα Γνβ − gβµ Γανβ ,
µ
∂xν
∂gµν
= −gβν Γνβ − gβµ Γννβ .
µ
∂xν
203
Uzimajući ove jednakosti u obzir, možemo dalje pisati
1 ∂ √
( −g wν ) = gαβ Γνβ δΓνµα + gµβ Γανβ δΓνµα −
µ
√
−g ∂xν | {z } | {z }
α↔ν, β↔µ β↔ν
∂Γνµα ∂Γαµα
− gβν Γνβ δΓαµα − gµβ Γννβ δΓαµα − gµα δ ν +gµν δ ν −
µ
| {z } | {z } | {z∂x } ∂x
β↔µ β↔ν α↔ν
β β
− gµα Γνβ δΓνµα +gµν Γνβ δΓαµα =
| {z }
α↔ν, β↔α
µ
∂Γαµν ∂Γαµα β
= gµν −δ α + δ ν + Γαµ δΓαβν +
∂x ∂x
´
β β β
+Γανβ δΓµα − Γνµ δΓαβα − Γαβα δΓµν =
µ ¶
∂Γαµν ∂Γαµα β α α β
=g µν
δ − α + ν + Γαµ Γβν − Γβα Γµν = gµν δRµν .
∂x ∂x
Dakle,
1 ∂ √
gµν δRµν = √ ( −g wν ), (D.8)
−g ∂xν
odnosno Z Z
√ ∂ √
gµν δRµν −g d 4 x = ( −g wν ) d 4 x. (D.9)
∂xν
R ∂ √
Na osnovu Gausove teoreme, integral ( −g wν ) d 4 x može biti transformi-
∂xν
san u integral od wν po hiperpovršini Σ koja sadrži posmatranu 4-dimenzionu
zapreminu, tj.
Z I
∂ √
( −g w ) d x = wν dσν .
ν 4
(D.10)
∂xν Σ
Kako su na granici oblasti integracije, varijacije polja jednake nuli, tj. na njoj je
δgµν = 0, odnosno δ(∂gµν /∂xα ) = 0, onda je i vektor wν , definisan jednačinom
(D.7), takod̄e jednak nuli (na granici oblasti integracije), tj. wν = 0. Prema tome,
H ν
Σ w dσν = 0, odnosno
Z
√
gµν δRµν −g d 4 x = 0. (D.11)
204
Konačno, iz jednačine (D.6) sledi da je
Z
1 √
β δSg = [Rµν − gµν R + Λ gµν ]δgµν −g d 4 x = 0. (D.12)
2
R √
Pokažimo dalje da se integral R −g d 4 x može transformisati u odgovarajući
R √
integral Q −g d 4 x, tako da važi jednačina (D.3), i nad̄imo čemu je jednako Q .
U tom smislu pod̄imo od sledeće poznate jednakosti
µ
√ √ √ ∂Γαµν ∂Γαµα
−g R = −g g Rµν = −g −gµν α + gµν ν +
µν
∂x ∂x
(D.13)
´
β β
+gµν Γµα Γανβ − gµν Γµν Γααβ
S obzirom da važi
√ ∂Γαµν ∂ √ ∂ √
− −g gµν α = − α ( −g gµν Γαµν ) + Γαµν α ( −g gµν ), (B.13a)
∂x ∂x ∂x
kao i
√ ∂Γαµα ∂ √ ∂ √
−g gµν
= ν ( −g gµν Γαµα ) − Γαµα ν ( −g gµν ), (B.13b)
∂xν ∂x ∂x
jednačina (D.13) postaje
√ √ ∂Γαµν ∂ √
−g R = − −g gµν α + ν ( −g gµν Γαµα )+
∂x ∂x
∂ √ ∂ √
+Γαµν α
( −g gµν ) − Γαµα ν ( −g gµν )+
∂x ∂x
√ β √ β
+ −g gµν Γµα Γανβ − −g gµν Γµν Γααβ ,
tj.
√ ∂ £√ ¤
−g R = ν −g(−gµα Γνµα + gµν Γαµα ) +
∂x
∂ √ ∂ √
+Γαµν α ( −g gµν ) − Γαµα ν ( −g gµν )+ (D.14)
∂x ∂x
√ β β
+ −g gµν (Γµα Γανβ − Γµν Γααβ ).
Pošto je √
∂ √ µν ∂ −g µν √ ∂gµν
( −g g ) = g + −g =
∂xα ∂xα ∂xα
205
√ β √
−g Γαβ gµν − −g(Γαβ gβν + Γναβ gβµ ),
µ
= (B.14a)
odnosno √
∂ √ µν ∂ −g µν √ ∂gµν
( −g g ) = g + −g =
∂xν ∂xν ∂xν
√ β √
= −g Γνβ gµν − −g(Γνβ gβν + Γννβ gβµ ),
µ
(B.14b)
jednačina (D.14) prelazi u
√
√ ∂( −g f ν ) √ β
+ −g (Γαµν Γαβ gµν − Γαµν Γαβ gβν − Γαµν Γναβ gβµ )−
µ
−g R = ν
∂x | {z } | {z } | {z }
α↔β β↔µ β↔ν
√ β
− −g(Γαµα Γνβ gµν − Γαµα Γνβ gβν − Γαµα Γννβ gβµ )+
µ
| {z } | {z }
β↔µ β↔ν
√ β β
+ −g gµν (Γµα Γανβ − Γµν Γααβ ).
Nakon naznačenih prenumerisavanja nemih indeksa, odred̄eni članovi se krate i
konačno nalazimo:
√
√ ∂( −g f ν ) √ β β
−g R = ν
+ −g gµν (Γµν Γααβ − Γµα Γανβ ). (D.15)
∂x
Ovde je uvedena sledeća oznaka
206
pa jednačina (D.16) postaje:
Z Z I
√ √
−g R d 4 x = −g Q d 4 x + f ν dσν .
Σ
Kako je varijacija polja (gµν ) na granici oblasti integracijeH jednaka nuli, tj. δgµν =
0, kao i δ(∂gµν /∂xα ) = 0, onda je δ f ν = 0 pa je takod̄e i Σ (δ f ν ) dσν = 0. Na taj
način, jednačina (D.19) konačno postaje
Z Z
√ √
δ R −g d 4 x = δ Q −g d 4 x. (D.20)
207
Lm ne sadrži izvode od gµν više od prvog reda. Uvedimo dejstvo Sm pomoću
jednakosti Z Z
1 √
Sm = Lm dV = Lm −g d 4 x. (D.22)
c
Integracija u ovoj jednačini se vrši po istoj 4-dimenzionoj zapremini kao i u (D.1).
Potražimo varijaciju dejstva materije. Ako pod̄emo od toga da je
208
gde je
√
√
2 ∂(Lm −g) ∂ ∂(Lm −g)
Tµν = √ − α . (D.27)
∂gµν ∂x ∂( ∂g )
µν
−g
∂xα
Konačno, sabiranjem jednačina (D.12) i (D.26), i izjednačavajući δS sa nulom,
nalazimo:
Z
c 1 √
δS = (Rµν − gµν R + Λgµν + κTµν ) −g δgµν d 4 x = 0. (D.28)
2κ 2
Zbog toga što su varijacije δgµν proizvoljne, očigledno je da izraz u zagradi mora
biti jednak nuli, sledi
1
Rµν − gµν R + Λgµν = −κTµν , (D.29)
2
što predstavlja Ajnštajnove jednačine gravitacionog polja.
Simetrični tenzor Tµν koji, izmed̄u ostalih, ulazi u ove jednačine i koji je defi-
nisan jednačinom (D.27), očigledno zadovoljava jednakost:
Tµν;ν = 0. (D.30)
Stoga tenzor Tµν može biti identifikovan kao tenzor energije-impulsa i zbog toga
se on naziva tenzor energije-impulsa materije. Ovaj tenzor je različit za razne
fizičke sisteme što, naravno, zavisi od njihovih struktura i interakcija. Koliko je
značajan ovaj tenzor govori i činjenica da je Ajnštajn u svome radu o opštoj teoriji
relativnosti, iz 1916. godine, posvetio posebnu pažnju upravo tenzoru energije-
impulsa Tµν .
209
Zadaci
1. Pokazati da
b) δg = g gµν δgµν ,
δg
c) = −gµν δgµν ,
g
√ 1√
d) δ( −g) = − −g gµν δgµν .
2
2. Dokazati jednačinu (D.21).
3. Dokazati da je kovarijantni izvod mešovitog tenzora energije-impulsa (jednačina
(D.30)) jednak nuli.
210
Bibliografija
[3] Blagojević M., Prostor, vreme i gravitacija, SFIN, II(2), Institut za fiziku,
Beograd 1989.
[4] Burke W. I., Spacetime, Geometry, Cosmology, Mill Valley, Califoria, 1980.
[7] Foster J., Nightingale J. D., A Short Course in General Relativity, Springer-
Verlag, New York 1998.
[9] Hawking S. W., Israel W., General relativity, Cambridge University Press,
London, 1981.
[10] Hawking S. W., Penrose R., The Nature of Space and Time, Princenton Uni-
versity Press, Princenton, 2000.
[11] Hawking S. W., Ellis G. F. R., The Large Scale Structure of Space-time,
Cambridge University Press, Cambridge, 1973.
211
[12] Hriploviq I. B., Obxxa teori otnositel~nosti, Regular-
na i haotiqexa dinamika, Moskva, 2001.
[14] Leko M. D., Plavšić M., Rešeni problemi iz tenzorskog računa sa primenama
u mehanici, Grad̄evinska knjiga, Beograd 1973.
[15] Lightman A. P., Press W. H., Price R. H., Teukolsky S. A., Problem Book in
Relativity and Gravitation, Princeton University Press, Princeton 1975.
[16] McVittie G. C., General Relativity and Cosmology, Champman and London
Hall Ltd., London 1956.
[17] Misner C. W., Throne K. S., Wheeler J. A., Gravitation I, II, III, W. H.
Freeman, San Francisco 1973.
[18] Moller C., The Theory of Relativity, Clarendon Press, Oxford 1972.
[19] Mušicki –D., Uvod u teorijsku fiziku - Teorijska mehanika, Naučna knjiga,
Beograd 1980.
[20] Mušicki –D., Uvod u teorijsku fiziku III/1- Elektrodinamika sa teorijom rela-
tivnosti, Gaudeamus, Beograd 1987.
[21] Mušicki –D., Milić B., Matematičke osnove teorijske fizike - sa zbirkom
rešenih zadataka, PMF, Beograd 1984.
[23] Raxevski$
i P. K., Rimanova geometri i tenzorny$
i analiz,
Nauka, Moskva 1967.
212
[28] Utima R., Teori Otnositel~osti, Atomizdat, Moskva,
1979.
[29] Weinberg S., Gravitation and Cosmology, John Wiley & Sons, New York
1972.
213
Indeks
Ajnštajnov Diferenciranje
efekat, 166 kovarijantno, 93
princip korespondencije, 27 Dilatacija vremena, 32
princip relativnosti, 26 Divregencija, 103
tenzor, 125 Dogad̄aj
Ajnštajnova istovremeni, 31
jednakost, 126 nulti, 31
konvencija o sumiranju, 42 u prostoru Minkovskog, 34
teorija gravitacije, 128 Dogad̄aja
Antisimetrični tenzori, 46 interval izmed̄u, 34
Apsolutni Doplerov efekat, 166
prostor, 18 Dvojna zvezda, 150
sistem reference, 18
Apsolutno Ekvivalentnost gravitacije i inercije, 66
buduće, 30 Energija
prošlo, 30 kinetička, 182
vreme, 18 mirovanja, 182
Asocirani tenzori, 58 ukupna, 184
Etar, 24
Bjankijev identitet, 124 Etveš, 66
Braginski, 66
Brzina Fundamentalni tenzor, 55
klasično Funkcija
slaganje, 22 Lagranža, 189
relativistično Galilejev
slaganje, 27 princip relativnosti, 21
Ciklična jednakost, 120 prostor, 74
Crne rupe, 146 sistem koordinata, 74
Crveni pomak, 163 Galilejeve transformacije, 22
Geodezijska linija, 80
Diferencijalna jednačina kretanja, 80 Geometrija
214
euklidska, 20 Kovarijantni
Rimana, 39 tenzor, 43
Gradijent, 103 vektor, 43
Gravitaciona masa, 66 Kovarijantni izvod
Gravitacioni tenzora, 94
crveni pomak, 166 vektora, 92
kolaps, 146 Kristofelovi simboli
radijus, 145 druge vreste, 87
Gravitaciono polje prve vreste, 85
sferno-simetrično, 140 Krivina
slabo, 82 skalarna, 122
stacionarno, 82 tenzor, 115
statičko, 82 Kronekerov simbol, 44
Kruskalov dijagram, 149
Hamiltonov princip, 189 kruskalove koordinate, 148
Homogenost prostora i vremena, 20 Kvadrivektor
Horizont dogad̄aja, 147 brzine, 179
impulsa, 179
Inercijalna masa, 66 položaja, 177
Inercijalni sistemi reference, 18 sile, 180
Integral dejstva, 189 ubrzanja, 179
Interval
izmed̄u dogad̄aja, 28 Lokalno-inercijalni sistem, 90
prostornog tipa, 29 Lorencove transformacije, 26
vremenskog tipa, 28
Majkelson-Morlijev eksperiment, 25
Invarijantnost, 24
Masa
Istovremenost, 28
gravitaciona, 66
Izotropnost prostora, 20
inercijala, 66
Kontrakcija tenzora, 47 Merkurov perihel, 153
Kontravarijantni tenzor, 43 Metrički tenzor, 54
Koordinate Metrika
cilindrične, 40 prostora Minkovskog, 35
Rimanovog prostora, 54
dekartovske, 19
Minkovski, 35
galilejevske, 74
lokalno-inercijalne, 90 Nulte geodezijske linije, 160
opšte, 70
sferne, 41 Opšta teorija relativnosti, 66
Kovarijantna formulacija zakona, 39 Opšti princip relativnosti, 70
215
Ortogonalnost kvadrivektora linija, 30
brzine i ubrzanja, 179 tačka, 30
Skalar, 42
Skalarna invarijanta, 43
Skalarni proizvod, 62
Sopstveno vreme, 32
Specijalna teorija relativnosti, 23
Suma tenzora, 46
Svet dogad̄aja, 34
Svetska
216
(O AUTORU)
Dr Milan Pantić je docent na Prirodno-matematičkom fakultetu u Novom
Sadu. Diplomirao je fiziku na Prirodno-matematickom fakultetu u Novom Sadu
1989. godine. Magistrirao je na Fizičkom fakultetu u Beogradu 1993. godine, a
doktorsku disertaciju je odbranio na PMF-u u Novom Sadu 1997. godine. Najpre
je radio u Institutu za nuklearne nauke ,,Vinča”u Laboratoriji za teorijsku fiziku.
Na PMF u Novom Sadu prešao 2000. godine gde je izabran u zvanje docenta.
U tom zvanju se trenutno nalazi i drži predavanja i vežbe iz predmeta koji pripa-
daju teorijskoj fizici (Teorijska fizika I i II, Mehanika neprekidnih sredina, Ma-
tematička fizika, Teorija gravitacije). Naučna oblast istraživanja kojom se bavi
pripada Teorijskoj fizici kondenzovanog stanja materije. Do sada je objavio preko
četrdeset naučnih radova u med̄unarodnim i domaćim časopisima i preko dvade-
set naučnih saopštenja na med̄unarodnim i domaćim skupovima. Glavne oblasti
rada, istraživanja i interesovanja su: Fizika nisko-dimenzionih sistema, Strukture
sa narušenom diskretnom translacionom simetrijom, Fizika magnetnih sistema,
Jako korelisani elektronski sistemi, Teorija visokotemperaturskih superprovod-
nika, Slojeviti visokotemperaturski superprovodnici, Uzajamno dejstvo magneti-
zma i superprovodljivosti, Nelinearne pojave u kondezovanim sredinama, Mate-
matička fizika i Opšta teorija relativnosti. Tokom 2001. godine boravio je na
usavršavanju u ,,Objedinjenom institutu za nuklearna istraživanja”(JINR) u Dubni
kod Moskve u Laboratoriju za teorijsku fiziku ,,N.N. Bogoljubov”.