Professional Documents
Culture Documents
Fizički fakultet
Univerzitet u Beogradu
Beograd, 2017. godine
2
Sadržaj
3
4 SADRŽAJ
6 Krivina 107
6.1 Koneksija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.2 Paralelni prenos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
6.3 Geodezijska jednačina . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
6.4 Tenzor krivine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.5 Osobine tenzora krivine . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
6.5.1 Ireducibline komponente tenzora krivine . . . . . . . . . . . . . . . 120
6.6 Kilingovi vektori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
6.6.1 Očuvane veličine . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
6.6.2 Maksimalo simetrični prostori . . . . . . . . . . . . . . . . . . . . . 122
6.7 Jednačina devijacije geodezika . . . . . . . . . . . . . . . . . . . . . . . . . 123
6.8 Zadaci za vežbu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Specijalna relativnost je relevantna za opis fizičkih proces kada se tela kreću brzinama reda
brzine svetlosti. Za tela koja se kreću malim brzinama Njutnova mehanika daje korektan
opis njihovog kretanja. Njutnovi zakoni imaju isti oblik u svim inercijalnim sistemima, tj.
oni su kovarijantni pri Galilejevim transformacijama. U ovoj glavi videćemo da simetrija
Maksvelove teorije elektromagnetizma nije ista kao simetrija Njutnove mehanike. Zakoni
Njutnove mehanike ne važe za svetlost. Izložićemo Ajnštajnove postulate specijalne rela-
tivnosti, a potom analizirati osnovne posledice ovih postulata kao što su: dilatacija vre-
mena, kontrakcija dužine, problem istovremenosti dogadjaja i druge.
t0 = t
r0 = r − Vt . (1.1.1)
7
8 1. POSTULATI SPECIJALNE RELATIVNOSTI I POSLEDICE
Iz prethodnih relacija sledi klasični zakon sabiranja brzina. Ako je v brzina čestice u
sistemu S onda je njena brzina u sistemu S 0 data sa
v0 = v − V . (1.1.2)
a0 = a . (1.1.3)
Njutnov zakon
ma = F (1.1.4)
je invarijantan na transformacije (1.1.1), tj. u sistemu S 0 on ima isti oblik
ma0 = F (1.1.5)
r0 = Rr + Vt + r0
t0 = t + τ , (1.1.6)
E = E0 e−iωt+ikx
B = B0 e−iωt+ikx , (1.1.16)
c0 = c − v . (1.2.19)
Uzmimo da je brzina Zemlje, v duž zraka 2. Vreme potrebno da zrak 2 ode do ogledala
O2 i da se vrati do O je
l2 l2 2l2 1
t2 = + = . (1.2.20)
c−v c+v c 1 − vc22
1.2. MAJKELSON-MORLIJEV EKSPERIMENT 11
Kada je Majkelson izveo eksperiment 1881. godine, zbir l1 +l2 je bio mali, oko 1m. Talasna
dužina svetlosti je λ = 10−6 m. Brzina Zemlje u odnosu na Sunce je v = 30km/s, pa je
odnos
v
≈ 10−4 (1.2.25)
c
mali, te je
1 v2
2 ≈ 1+
1 − vc2 c2
1 v2
q ≈ 1+ . (1.2.26)
2
1 − vc2 2c2
tj. δ 0 = δ . U prethdodnom računu koristili smo klasični zakon sabiranja brzina i hipotezu
etra. I jedno i drugo je pogrešno. Mnogi značajni fizičari sa početka dvadesetog veka nisu
prihvatali činjenicu da etra nema. H. Lorenc i Ficgerald su nezavisno jedan od drugog
shvatili da se negativan rezultat Majkelson-Morlijevog eksperimenta može objasniti ako se
pretpostavi da se dužina tela koje se kreće u etru smanjuje prema
r
v2
L = L0 1 − 2 , (1.2.28)
c
gde je L0 dužina tela u miru. Po Lorencu do kontrakcije je došlo zbog interakcije interfer-
ometra sa etrom. Pretpostavka o kontrakciji dužine je bila dobra, ali je jasno da interakcije
aparature sa etrom nema. Problem je rešio Albert Ajnštajn u svom čuvenom radu iz 1905.
godine. Ajnštajn je uveo dva postulata specijalne teorije relativnosti1 :
1. Fizički zakoni su isti u svim inercijalnim sistemima.
2. Brzina svetlosti je nezavisna od toga da li se izvor ili posmatrač kreću i ista je u svim
inercijalnim sistemima.
Prvi postulat je postulat relativnosti, a drugi konstantnosti brzine svetlosti. Ova dva
postulata radikalno menjaju našu predstavu o prostoru i vremenu. U Njutnovoj mehanici
vreme i prostor su apsolutni, dok je po specijalnoj relativnosti brzina svetlosti apsolutna,
tj. ista za sve inercijalne posmatrače. Njutnovi zakoni imaju isti oblik u inercijalnim
sistemima, pa princip relativnosti važi i u Njutnovoj mehanici, ali ako Galilejeve trans-
formacije povezuju inercijalne sisteme. Galilejeva simetrija nije kompatabilna sa drugim
postulatom.
odnosno
c2 t2 − x2 − y 2 − z 2 = 0 . (1.3.30)
0
Posmatrač u sistemu S ima svoje lenjire i svoj sat. On dogadjaj ”dolazak talasnog fronta”
vidi u trenutku t0 , u tački x0 , y 0 , z 0 . Kako se i za njega svetlost kreće brzinom c (drugi
Ajnštajnov postulat) to je p
ct0 = x02 + y 02 + z 02 (1.3.31)
1
Termin specijalna se odnosi na činjenicu da se razmatraju samo inercijalni sistemi. Neinercijalni
sistemi se razmatraju u okviru opšte teorije relativnosti koja je teorija gravitacije.
1.3. LORENCOV BUST I POSLEDICE 13
odnosno
c2 t02 − x02 − y 02 − z 02 = 0 . (1.3.32)
Dakle, za oba posmatrača veličina c2 t2 − x2 − y 2 − z 2 , koja se naziva kvadratom intervala,
jednaka je nuli. Kvadrat intervala izmedju dogadjaja (t1 , x1 , y1 , z1 ) i (t2 , x2 , y2 , z2 ) je
s2 = c2 (t2 − t1 )2 − (x2 − x1 )2 − (y2 − y1 )2 − (z2 − z1 )2 . (1.3.33)
Za infinitezimalno bliske dogadjaje (t, x, y, z) i (t + dt, x + dx, y + dy, z + dz) kvadrat
intervala je
ds2 = c2 dt2 − dx2 − dy 2 − dz 2 . (1.3.34)
Za posmatrača iz S 0 ova veličina je
ds02 = c2 dt02 − dx02 − dy 02 − dz 02 . (1.3.35)
Kao što smo rekli, za svetlost su i ds2 i ds02 jednaki nuli, pa je
ds02 = f (t, x, y, z, V)ds2 , (1.3.36)
gde je f neka funkcija. Zbog homogenosti vremena i prostora ona ne može zavisiti od t
odnosno x, y, z. Svi pravci su ravnopravni, tj. prostor je izotropan, pa funkcija f zavisi
samo od intenziteta brzine
ds02 = f (V )ds2 . (1.3.37)
Za posmatrača iz S 0 sistem S se kreće brzinom −V ex pa je
ds2 = f (V )ds02 . (1.3.38)
Zamenom (1.3.38) u (1.3.37) dobijamo f 2 = 1, tj. f = ±1. Da li je f = 1 ili f = −1
vidimo iz sledećeg specijalnog slučaja. Ako je V = 0, tj. S = S 0 tada je
ds2 = ds02 , (1.3.39)
pa konačno zaključujemo da je f = 1, odnosno
ds02 = ds2 . (1.3.40)
Za dogadjaje na konačnom rastojanju je
s2 = s02 . (1.3.41)
Invarijantnost intervala izmedju dogadjaja (1.3.40) je osnovni zaključak ove analize. Loren-
cove transformacije su transformacije koordinata koje zadovoljavaju ovaj uslov. Jedno
rešenje uslova s02 = s2 je
t − V2 x
t0 = q c (1.3.42)
2
1 − Vc2
x−Vt
x0 = q (1.3.43)
2
1 − Vc2
y0 = y (1.3.44)
z0 = z , (1.3.45)
14 1. POSTULATI SPECIJALNE RELATIVNOSTI I POSLEDICE
t0 = t
x0 = x−Vt
y0 = y
z0 = z. (1.3.46)
Ako dalje uvedemo tzv. hiperbolni parametar ϕ, sa tan ϕ = V /c, onda je γ = cosh ϕ i
γ = sinh ϕ,pa je
Ovaj oblik Lorencovog busta podseća na rotaciju, samo što su trigonomtrijske funkcije sin
i cos zamenjene sa odgovarajućim hiperbolnim funkcijama. U prethodnim redovima smo
1.3. LORENCOV BUST I POSLEDICE 15
t − c12 V · r
t0 = q
2
1 − Vc2
γ−1
r0 = r + (V · r)V − γtV , (1.3.53)
V2
gde je γ = q 1 .
2
1− V 2
c
dogadjaj. Koordinate ovog dogadjaja u ova dva sistema reference nisu iste. Ovo je pasivna
interpretacija Lorencove transformacije.
t2 − V2 x2 t1 − V2 x1
t02 − t01 = q c −q c . (1.5.54)
2 2
1 − Vc2 1 − Vc2
Slika 1.5: Paljene sijalice posmatrano iz dva vagona, od kojih se jedan kreće brzinom V .
1.6. KONTRAKCIJA DUŽINE 19
je t1 = t2 imamo
V x2 − x1
t02 − t01 = − q
c2 1 − V 2
c2
V 4x
= − 2
q . (1.5.55)
c 1− V2
c2
Kako je x2 > x1 , onda je 4t0 = t02 − t01 < 0, tj. za posmatrača u S 0 prvo se desio dogadjaj
2, pa onda dogadjaj 1.
Na prostorno-vremenskom dijagramu prikazanom na slici 1.6 se jasno vidi da su dogad-
jaji 1 i 2 simultani u sistemu S, a da nisu simultani u sistemu S 0 .
xB − V tB xA − V tA
l0 = x0B − x0A = q − q
2 2
1 − Vc2 1 − Vc2
xB − xA
= q
2
1 − Vc2
l
= q , (1.6.56)
V2
1− c2
odnosno r
V2
l = l0 1− . (1.6.57)
c2
Iz zadnje formule vidimo da je dužina štapa u sistemu S manja od sopstvene dužine štapa.
Ovo je tzv. kontrakcija dužine. Iz Lorencovih transformacija (1.3.42-1.3.45) je jasno da do
kontrakcije neće doći ako je štap postavljen duž y odnosno z ose.
Kontrakcija dužine se lako vidi koristeći prostorno-vremenski dijagram na slici 1.8.
Jednostavnosti radi uzećemo da je tA = 0, xA = 0. Dogadjaj B je istovremen sa A u
sistemu S pa je tB = 0. Onda je l = xB i l0 = x0B . Primenom sinusne teoreme sledi
cos 2α cos α
= , (1.6.58)
l l0
√ √
Zanimljivo je da razmotrite i sledeći primer. Neka je brzina kola v = 3c/ 2, sop-
stvena dužina kola l0 , a garaže l0 /2. Za posmatrača iz garaže dužina kola će biti l0 /2
i staće kompletno u garažu. Ali za posmatrača iz kola, kola imaju dužinu l0 , a garaža
l0 /4. Dogadjaji B i C u ovom slučaju su simultani za posmatrača iz garaže, ali nisu za
posmatrača iz kola.
Na kraju da rezimiramo: Oba posmatrača su u pravu. Da li su kola stala u garažu ili
nisu zavisi od toga da li su dogadjaji B i C simultani ili nisu. Simultanost dogadjaja je
relativna, tj. zavisi od sistema reference.
za posmatrača u S 0 je t0B −t0A = 4t0 . Ovo vreme se naziva sopstveno vreme, jer je izmereno
u sistemu u kome sat miruje. Za posmatrača iz S ova dva dogadjaja nisu na istom mestu.
Posmatrač u sistemu S koristi svoj sat, vremenski interval izmedju ova dva dogadjaja je
4t = tB − tA . Primenom Lorencovih transformacija imamo
t0B + cV2 x0B t0A + cV2 x0A
tB − tA = q − q
2 2
1 − Vc2 1 − Vc2
tB − tA
= q
2
1 − Vc2
4t0
= q , (1.8.59)
2
1 − Vc2
Vremenski interval izmedju ova dva dogadjaja u S je duži nego u sopstvenom sistemu,
4t > 4t0 . Ovo produženje vremena se naziva dilatacija vremena. U pokretnom sistemu
vreme teče sporije; vremenski interval izmedju dva dogadjaja je najkraći u sistemu u kojem
sat miruje.
Na prostorno-vremenskom dijagramu prikazanom na slici 1.10 smo uzeli da su dogadjaji
A i B u koordinatnom početku sistema S 0 , tj. x0B = x0A = 0. Vremenski interval ∆t = tB −tA
izmedju ova dva dogadjaja u sistemu S je
∆t = ∆t0 cos α
∆t0
= √
1 − tan2 α
4t0
= q . (1.8.61)
2
1 − Vc2
Ponovo smo dobili formulu za dilataciju vremena, ali ovog puta koristeći prostorno-vremenski
dijagram.
Neka se čestica u trenutku t nalazi u tački r = (x, y, z), i neka za laboratorijsko vreme
dt čestica dodje u tačku r + dr. Ovo su dva dogadjaja. Kvadrat intervala izmedju ova dva
dogadjaja je
2 2 2 2 2 2
1 dr 2 2 2
v2
ds = c dt − (dr) = c dt 1 − 2 = c dt 1 − 2 . (1.8.62)
c dt c
Sistem koji se kreće zajedno sa česticom (sopstveni sistem) je u malom vremenskom inter-
valu (t, t + dt) inercijalan. U njemu je
ds02 = c2 dτ 2 , (1.8.63)
24 1. POSTULATI SPECIJALNE RELATIVNOSTI I POSLEDICE
jer je dr02 = 0, a dτ je interval sopstvenog vremena. Iz ds02 = ds2 sledi formula za dilataciju
vremena
dτ
dt = q , (1.8.64)
2
1 − Vc2
Kosmički zraci (uglavnom protoni) pri sudarima u gornjim slojevima atmosfere kreiraju
pi-mezone (π), koji se brzo raspadaju na mione. Mion µ− je čestica koja je slična elektronu,
samo je oko 200 puta veće mase. Mion se brzo raspada na elektron, antielektronski neutrino
i mionski neutrino
µ− → e− + ν̄e + νµ . (1.8.66)
Srednje vreme života miona je τ = 2, 2·10−6 s u sistemu u kome mion miruje. Ako bi se mion
kretao brzinom svetlosti (što nije moguće) onda bi prešao put cτ = 0, 66km. Medjutim
mioni predju mnogo veći put pre nego što se raspadnu. Njih detektujemo na površini
Zemlje, tj. oni predju put od oko desetak kilometara. Kako je to moguće? Rešenje
je jednostavno. Vreme kretanja miona za posmatrača sa Zemlje je veće nego njegovo
sopstveno vreme. Put koji mion predje je dat sa
τ
l=q v. (1.8.67)
v2
1− c2
kada dodje do zvezde. Dakle, nema simetrije izmedju ova dva sistema i nema paradoksa.
Bojan je definitivno mladji od Ane2 .
Neka je dolazak Bojana na zvezdu dogadjaj P . Ako uzmemo da se Bojan u odnosu na
Anu kretao konstantnom brzinom, onda su oba sistema inercijalna. Koordinate dogadjaja
P u Aninim koordinatama su (ct = cT, x = vT ), a u Bojanovom (ct0 = cT 0 = cT /γ, x0 =
0). Dogadjaj C na slici 1.11 je simultan sa dogadjajem P u Aninom sistemu, ali ova
dva dogadjaja nisu simultana u Bojanovom sistemu. Linija simultanosti kroz tačku P u
Bojanovom sistemu je data sa
v v2
ct = x + cT 1 − 2 .
c c
Kada je Bojan stigao do zvezde Alfa Kentauri on misli da se Ana nalazi u tački B (slika
1.11) i da je ona ostarila za T 0 /γ = T /γ 2 = 95 god. Oba sistema su inercijalna i postoji
simetrija izmadju njih. U odnosu na Bojana Ana se kreće brzinom −v. Vreme T 0 za
Anu iznosi T 0 /γ. Umesto da Bojan koči, i zatim se ponovo ubrzavajući do brzine v vraća
ka Zemlji razmatraćemo drugu situaciju. Kada Bojan stigne do zvezde sinhronizuje svoj
časovnik sa Markom koji ide ka Zemlji brzinom v. Linije simultanosti u Markovom sistemu
su t00 = const., u koordinatama Aninog sistema linija koja prolazi kroz P i D je
v v2
ct = − x + cT 1 + 2 .
c c
2
Koordinate tačke D su (ct = cT 1 + vc2 , x = 0). Ovo znači sledeće. Kada Marko krene sa
zvezde ka Zemlji (tačka P na slici 1.12) on misli da je Ana u tački D. Markov sat pokazuje
v2
T , a Anin, po Markovom satu T 1 + c2 . Marko se po svom časovniku kreće do Zemlje za
2
Neinercijalnost sistema takodje utiče na tok vremena, ali to nećemo sada razmatrati.
1.10. SLAGANJE BRZINA 27
dt − cV2 dx
dt0 = q (1.10.68)
2
1 − Vc2
dx − V dt
dx0 = q (1.10.69)
2
1 − Vc2
dy 0 = dy (1.10.70)
dz 0 = dz . (1.10.71)
Slično se dobija
q
V2
vy 1− c2
vy0 = (1.10.73)
1 − Vcv2x
q
2
vz 1 − Vc2
vz0 = V vx
. (1.10.74)
1− c2
na Zemlju. Neka se svetlost kreće u Oxy pod uglom θ prema x−osi za posmatrača sa
zvezde. Za posmatrača sa Zemlje ovaj ugao je θ0 . Ova dva ugla nisu ista i to se naziva
aberacijom svetlosti. Aberacija je dakle pojava da ugao pod kojim se vidi neki objekat
zavisi od relativne brzine dva inercijalna sistema. Komponente brzine svetlosti u sistemu
zvezde su
vx = c cos θ
vy = c sin θ
vz = 0 . (1.11.76)
c cos θ − V
vx0 =
1 − Vc cos θ
q
V2
c sin θ 1 − c2
vy0 = V
1− c
cos θ
vz0 = 0. (1.11.77)
Lako se vidi da je brzina svelosti invarijantna, tj. da je vx2 + vy2 = vx02 + vy02 = c2 . Ugao θ0
je odredjen sa
0
r
vy c sin θ V2
tan θ0 = 0 = 1− 2 . (1.11.78)
vx c cos θ − V c
Primenom trigonometrijskih identiteta dobijamo
V /c + cos θ
cos θ0 = . (1.11.79)
1 + V cos θ/c
V
∆θ ≈ sin θ . (1.11.81)
c
Prvi signal će na Zemlju da stigne u trenutku tA + xcA , a drugi tB + xcB . Vremenski interval
izmedju njih je
xB − xA
4t = tB − tA + . (1.12.86)
c
Nakon zamene gornjih izraza dobijamo
s
1 + vc 0
4t = v 4 t = 15s . (1.12.87)
1− c
Zadatak 3. Dve rakete, svaka sopstvene dužine l0 prilaze Zemlji sa suprotnih strana
brzinama v = c/2. Rakete se kreću duž istog pravca. Kolika je dužina jedne rakete za
1.12. ZADACI ZA VEŽBU 31
v0 + u
v= 0 . (1.12.90)
1 + uv
c2
t0 + ulc20
s = v(t2 − t1 ) = v q2 . (1.12.91)
u2
1 − c2
Zadatak 6. Štap dužine l0 u sistemu u kojem miruje nagnut je pod uglom α0 u odnosu
na x0 osu. Primovan sistem S 0 je vezan za štap. Štap se kreće duž x ose laboratorijskog
sistema S koja je paralelna sa x0 osom.
a) Kolika je dužina štapa u sistemu S i koliki ugao zaklapa štap sa x−osom.
b) Posmatrač iz sistema S fotografiše štap. Foto-ploča se nalazi duž x ose. Svetlosni zraci
padaju na ploču paralelno sa y osom. Kolika je dužina štapa na fotografiji?
Rešenje:
a) Dužina x projekcije štapa je
r
v2
lx = l0 cos α0 1 − 2 , (1.12.93)
c
dok je dužina štapa duž y ose nepromenjena ly = l0 sin α0 .
b) Formula za kontrakciju dužine zasnovana je na merenju dužine štapa kao rastojanju
izmedju istovremenih dogadjaja na krajevima štapa. U ovom delu zadatka treba da odred-
imo dužinu štapa koju vidi, odnosno fotografiše posmatrač. Neka je dogadjaj A emisija
fotona sa levog, a dogadjaj B sa desnog kraja štapa. Lik se formira na fotoploči od fotona
koji istovremeno stignu na foroploču. Dakle, dogadjaji A i B nisu istovremeni. Dogadjaj
B se desio pre dogadjaja A za vreme l0 sin α0 /c za posmatrača iz sistema S. Koordinate
dogadjaja A u sistemu S su (t1 , x1 , y1 = 0), a dogadjaja B su (t2 = t1 − l0 sin α0 /c, x2 , y2 ).
Po Lorencovim transformacijama je
x2 − x1 − v(t2 − t1 )
x02 − x01 = q . (1.12.94)
v2
1 − c2
Odrediti rastojanje izmedju ova dva fotona u sistemu koji se kreće brzinom v u smeru
kretanja fotona.
Rešenje: U sistemu S imamo dva fotona, jednačina kretanja prvog fotona je x = ct, a
drugog x = ct+L. Posmatrajmo najpre prvi foton sa stanovista posmatraca S 0 . Primenom
Lorencovih tranaformacija imamo
x − vt ct − vt
x0 = q =q ,
2 2
1 − vc2 1 − vc2
t − v2 x t − vt
t0 = q c =q c .
2 2
1 − vc2 1 − vc2
Ako iz druge jednačine izrazimo t preko t0 i ubacimo u prvu jednačinu, dobijamo da je
jednačina kretanja prvog fotona u sistemu S 0 data sa x0 = ct0 . Potom, ponovimo postupak
i za drugi foton. Lorencove transformacije daju
ct + L − vt
x0 = q ,
2
1 − vc2
t − cv2 (ct + L)
t0 = q .
v2
1 − c2
Opet izrazimo t preko t0 , ubacimo u prvu jednačinu i dobijemo
r
0 0 c+v
x = ct + L .
c−v
Kad uporedimo jednacine prvog i drugog fotona, vidimo da je rastojanje izmedju njih u S 0
jednako r
0 c+v
L =L .
c−v
2
Četvorodimenziona formulacija
Specijalne relativnosti
U ovoj glavi ćemo specijalnu relativnost izložiti malo formalnije, uvodeći četvorodimenzioni
prostor Minkovskog. Osnovni tenzorskog računa su uvedeni u ovoj glavi.
0 0 0 1
0 0 0 −1
35
36 2. ČETVORODIMENZIONA FORMULACIJA SPECIJALNE RELATIVNOSTI
Metrika g deluje neobično, ali je ključ za razumevanje specijalne relativnosti. Ona služi za
odredjivanje dužine vektora. Kvadrat dužine četvorovektora položaja x je
1 0 0 0 ct
0 −1 0 0 x
x2 = xT gx = ct x y z
0 0 −1 0 y
0 0 0 −1 z
= (x0 )2 − (x1 )2 − (x2 )2 − (x3 )2 = c2 t2 − x2 . (2.1.1)
Kontravarijantni vektori imaju gornji indeks. Diferencijali koordinata dxµ , koji su in-
finitezimalna razlika koordinata dve infinitezimalno bliske tačke, su komponente jednog
kontravarijantnog četvorovektora, 2 što se vidi iz
3
X ∂x0µ
dx0µ = dxν . (2.2.6)
ν=0
∂xν
Pokažimo da su ∂F (x)
∂xµ
komponente jednog kovarijantnog četvorovektora. Treba da prover-
imo da li važi pravilo transformacije (2.2.7):
∂F 0 (x0 ) X ∂F (x(x0 )) ∂xν
=
∂x0µ ν
∂xν ∂x0µ
X ∂xν ∂F (x(x0 ))
= 0µ ν
. (2.2.9)
ν
∂x ∂x
je dva puta kontravarijantan tenzor ili tenzor ranga (2, 0). Slično, jednom kovarijantan i
jednom kontravarijantan tenzor (tenzor tipa (1, 1)) se transformiše prema
3 X 3
X ∂x0µ ∂xσ ρ
T 0µν (x0 ) = T (x) . (2.2.11)
ρ=0 σ=0
∂xρ ∂x0ν σ
Aµ = gµν Aν . (2.2.12)
x0 = x0 = ct,
x1 = −x1 = −x,
x2 = −x2 = −y,
x3 = −x3 = −z . (2.2.15)
gg −1 = g −1 g = I , (2.2.16)
Sada je jasno da je
(g −1 )µν = g µν (2.2.18)
tj. inverzna metrika ima gornje indekse. Inverzna metrika omogućava da donje indekse
transformišemo u gornje, tj. Aµ = g µν Aν . Indeksi na metrici u poslednjem izrazu su gornji
i po tome se vidi da je to inverzna metrika.
Skalarni proizvod dva vektora Aµ = (A0 , A) i B µ = (B 0 , B) u prostoru Minkovskog je
definisan sa
A·B = gµν Aµ B ν = Aµ B µ
= A0 B 0 + A1 B 1 + A2 B 2 + A3 B 3
= A0 B 0 − A1 B 1 − A2 B 2 − A3 B 3
= A0 B 0 − A · B . (2.2.19)
∂xα ∂x0µ
A0µ B 0µ = Aα B β
∂x0µ ∂xβ
∂xα
= Aα B β = Aα B α . (2.2.20)
∂xβ
Kvadrat dužine vektora x je
gde je
v 1
β= , γ=q . (2.3.24)
c 1− v2
c2
U oznaci matričnog elemetna Lorencove matrice, Λµν , indeks µ je indeks vrste, a indeks ν
je indeks kolone. Važno je da se indeksi ne pišu jedan iznad drugog, jer tada ne bi znali
koji je od njih indeks vrste, a koji kolone.
Lorencove transformacije su one linearne transformacije koordinata x0 = Λx, gde je
Λ realna 4 × 4 matrica, koje ne menjaju kvadrat dužine četvorovektora, tj. za koje važi
x02 = x2 . Prethodni uslov daje
x0T gx0 = xT gx
xT ΛT gΛx = xT gx ,
odakle sledi
ΛT gΛ = g . (2.3.26)
Dakle, da bi svaka realna 4 × 4 matrica koja zadovoljava uslov (2.3.26) je Lorencova trans-
formacija. Prethodna matrična jednačina sadrži deset uslova na matricu Λ, pa su Lorencove
transformacije odredjene sa 16 − 10 = 6 nezavisnih parametara. Lako se vidi da matrica
busta duž x− ose zadovoljava uslov (2.3.26), tj. ona je Lorencova transformacija. Ako
uvodemo parametar ϕ1 sa tanh ϕ1 = β1 = vx /c onda je
1
cosh ϕ1 = γ1 = q ,
vx2
1− c2
40 2. ČETVORODIMENZIONA FORMULACIJA SPECIJALNE RELATIVNOSTI
gde je
Vx
βx =
c
Vy
βy =
c
Vz
βz =
c
β2 = βx2 + βy2 + βz2
1
γ = q . (2.3.31)
2
1 − Vc2
Rotacije koordinatnog sistema sistema su takodje Lorencove transformacije. Rotacija
za ugao θ oko z−ose
1 0 0 0
0 cos θ sin θ 0
Λµν =
0 − sin θ cos θ 0
0 0 0 1
2.3. LORENCOVE TRANSFORMACIJE 41
je takodje Lorencova transformacija. Bust (2.3.27) podseća na obične rotacije samo što
umesto trigonometrijskih funkcija sin i cos on sadrži hiperbolne funkcije cosh i sinh. Bustovi
se nazivaju još i hiperbolnim rotacijama. Parametar ϕ se naziva hiperbolni parametar3 .
Šest nezavisnih Lorencovih transformacija su tri busta (duž x, y i z ose) i tri rotacije.
Ispitajmo kako se xµ transformiše pri Lorencovim transformacijama:
Zaključak:
x0µ = Λµν xν
x0µ = (Λ−1 )νµ xν = Λµν xν .
Parcijalni izvodi po xµ su
∂ 1 ∂
= , ∇ . (2.3.33)
∂xµ c ∂t
Ispitajmo njegov zakon transformacije:
∂ ∂x0ν ∂ ∂
µ
= µ 0ν
= Λνµ 0ν . (2.3.34)
∂x ∂x ∂x ∂x
∂ ∂
0σ
= (Λ−1 )µσ µ .
∂x ∂x
∂
∂µ = .
∂xµ
Slično
∂ 1 ∂
∂µ = = , −∇
∂xµ c ∂t
su komponente kontravarijantnog vektora.
3
Na engleskom rapidity.
42 2. ČETVORODIMENZIONA FORMULACIJA SPECIJALNE RELATIVNOSTI
x00 = Λ2 x0 = Λ2 Λ1 x .
Λµ 0 gµν Λν 0 = 1 , (2.4.36)
odnosno
3
0
2 X 2
Λ 0 − Λi 0 =1. (2.4.37)
i=1
0 2
Odavde je (Λ 0 ) ≥ 1, odnosno
Λ0 0 ≥ 1 ili Λ0 0 ≤ −1 . (2.4.38)
detΛ = ±1 . (2.4.39)
t → t0 = t, r → r0 = −r . (2.4.41)
0 0 0 −1
Ona je Lorencova transformacija, jer zadovoljava uslov ΛT gΛ = g, ali nije prava ortohrona
Lorencova transformacija jer je determinanta ove transformacije −1. Prostorna inverzija
je diskretna transformacija.
Vremenska inverzija je definisana sa
t → t0 = −t, r → r0 = r . (2.4.42)
Ona je Lorencova transformacija jer zadovoljava uslov ΛT gΛ = g, ali Λ00 = −1 nije or-
tohrona.
ukoliko je u početnom trenutku foton bio u koordinatnom početku, slika 2.1. Ovo je
jednačina konusa u prostoru Minkovskog. Svetlost se, dakle, kreće po svetlosnom konusu.
Masene čestice se kreću unutar svetlosnog konusa. One ne mogu da izadju iz svetlosnog
konusa, jer bi im tada brzina bila veća od brzine svetlost.
Kvadrat intervala izmedju dva dogadjaja (t1 , x1 , y1 , z1 ) i (t2 , x2 , y2 , z2 ) je
Vidimo da on može biti pozitivan, negativan ili jednak nuli. Zbog toga prostor Minkovskog
nije euklidski prostor; nazivamo ga pseudoeuklidskim. Ukoliko je s2 > 0 onda se za takav
interval kaže da je vremenskog tipa; ako je s2 < 0 interval je prostornog tipa, a ako je s2 = 0
interval je svetlosnog tipa. Ako je interval izmedju dva dogadjaja vremenskog tipa, onda
možemo preći u sistem gde su dogadjaji na istom mestu, tj. s2 = c2 (t02 − t01 )2 . Medjutim,
ne možemo preći u sistem gde su ti dogadjaji istovremeni, jer bi tada s2 = −(r02 − r01 )2 < 0
što je suprotno od s2 > 0. Slično, ukoliko je interval izmedju dva dogadjaja prostornog
tipa, možemo preći u inercijalni sistem u kojem su dogadjaji istovremeni. Lako se vidi
da je npr. (1, 1, 0, 0) svetlosni vektor, (0, x, 0, 0) vektor prostornog, a (t, 0, 0, 0) vektor
vremenskog tipa.
4
Imamo dve trajektorije jer foton može da se kreće i u pozitivnom i u negativnom smeru x ose.
2.7. ZADACI ZA VEŽBU 45
∂A0µ (x0 ) µ ∂A
σ
−1 ν ∂x
0ρ
= Λ σ (Λ ) ρ
∂x0µ ∂xν ∂x0µ
σ
∂A
= Λµσ ν (Λ−1 )νρ δµρ
∂x
∂Aσ
= Λµσ (Λ−1 )νµ ν
∂x
σ
ν ∂A ∂Aν (x)
= δσ ν = . (2.7.47)
∂x ∂xν
46 2. ČETVORODIMENZIONA FORMULACIJA SPECIJALNE RELATIVNOSTI
µ
Ovim smo pokazali da je ∂A∂xµ(x) skalar u odnosu na Lorencove transformacije. Lako se vidi
da ova veličina nije skalar pri proizvoljnim koordinatnim transformacijama.
Zadatak 2. Sistem S1 kreće se brzinom v1 u odnosu na inercijalni sistem S, dok se
sistem S2 kreće brzinom v2 u odnosu na sistem S1 . Obe brzine su usmerene duž zajedničke
x−ose sva tri sistema. Odrediti brzinu sistema S2 u odnosu na sistem S.
Rešenje: Neka je β1 = v1 /c, γ1 = √ 1 2 , i analogno β2 = v2 /c, γ2 = √ 1 2 . Lako se vidi
1−β1 1−β2
da je proizvod dva busta duž x−ose ponovo bust duž x−ose. Naime
γ2 −β2 γ2 0 0 γ −β1 γ1 0 0
−β2 γ2 γ2 0 0 −β1 γ1
γ1 0 0
Λ2 Λ1 = 0
0 1 0 0 0 1 0
0 0 0 1 0 0 0 1
γ −βγ 0 0
−βγ γ 0 0
= 0
, (2.7.48)
0 1 0
0 0 0 1
gde su
β1 + β2
β=
1 + β1 β2
i
1
γ=p .
1 − β2
Množenjem dva busta pokazali smo relativistički zakon sabiranja brzina.
Zadatak 3. Pokazati da je matrica (2.3.30) matrica Lorencove transformacije.
Zadatak 4. Odrediti proizvod tri uzastopne Lorencove transfarmacije. Prva je rotacija
oko z−ose za ugao θ. Naredna transformacija je bust duž x−ose, pri čemu se dobijeni
sistem kreće brzinom v u odnosu na sistem dobijen nakon prve transformacije. Na kraju
primeniti rotaciju oko z−ose za ugao −θ.
Rezultat je
γ −βγ cos θ −βγ sin θ 0
−βγ cos θ γ cos2 θ + sin2 θ sin θ cos θ(γ − 1) 0
Λµν = −βγ sin θ sin θ cos θ(γ − 1) γ sin2 θ + cos2 θ 0 .
(2.7.49)
0 0 0 1
(b) gµν g µν ,
(c) gµρ g ρν pν .
2.7. ZADACI ZA VEŽBU 47
Rezultat:
∂ µ
(a) ∂xρ x xµ = 2xρ
(b) 4
(c) pµ
3
Naći A2 = gµν Aµ Aν . Odrediti kovarijantne komponente vektora, Aµ . Da li je vektor Aµ
prostornog, vremenskog ili svetlosnog tipa?
Rešenje: A2 = 12 − (−1)2 − 22 − 32 = −13 < 0, pa je vektor prostornog tipa. Kovarijantne
komponente vektora su
1
1
Aµ = −2 .
−3
48 2. ČETVORODIMENZIONA FORMULACIJA SPECIJALNE RELATIVNOSTI
3
49
50 3. MEHANIKA SPECIJALNE RELATIVNOSTI
Dakle, četiri komponente četvorobrzine nisu nezavisne; izmedju njih postoji veza (3.1.4).
Četvorobrzina je tangentni vektor na trajektoriju čestice u prostoru Minkovskog, xµ =
xµ (τ ).
P 2 = Pµ P µ = m2 c2 . (3.2.8)
Ovaj sistem se naziva sistemom mirovanja čestice. Za bezmasene čestice vektor četvoroimpulsa
je svetlosnog tipa i tada ne postoji sistem mirovanja.
Drugi Njutnov zakon važi i u relativističkoj fizici. Sila koja deluje na česticu je data sa
dp
F= , (3.2.9)
dt
3.2. IMPULS, SILA I ENERGIJA 51
gde smo primenili parcijalnu integraciju. Po teoremi kinetičke energije rad sile je jednak
promeni kinetičke energije
A = T − T0 . (3.2.11)
Početna kinetička energija T0 jednaka je nuli, jer je početna brzina nula. Dakle, kinetička
energija relativističke čestice je
mc2
T =q − mc2 . (3.2.12)
2
1 − vc2
naziva zavisnošću mase čestice od njene brzine, a veličina m(v) relativističkom masom.
Mi nećemo koristiti ovu notaciju, već ćemo pod masom podrazumevam masu mirovanja
čestice, m. Sada je jasno da je nulta komponenta četvoroimpulsa energija:
mc E
P0 = q = . (3.2.16)
1− v2 c
c2
Četvoroimpuls je
µ E/c
P = . (3.2.17)
p
Jasno je da je
E2
P 2 ≡ Pµ P µ = − p2 , (3.2.18)
c2
odnosno
E 2 = m2 c4 + c2 p2 (3.2.19)
∂x0µ ν
P 0µ = P
∂xν
∂xρ
= Λµρ ν P ν
∂x
= Λµν P ν . (3.2.21)
Oznake su jasne. Primovane veličine, E 0 , p0x , p0y i p0z su energija, odnosno Dekartove pro-
jekcije impulsa u sistemu koji se kreće brzinom V duž x− ose. Neprimovane veličine se
odnose na sistem S.
3.3. *ČETVOROUBRZANJE 53
3.3 *Četvoroubrzanje
Četvoroubrzanje je definisano sa
dU µ
Aµ =. (3.3.22)
dτ
Diferenciranjem (3.1.4) po sopstvenom vremenu dobijamo da je Aµ U µ = 0 . Ubrzanje i
brzina su otrogonalni.
Nulta komponenta ubrzanja je
dU 0 γ dγ
A0 = =c = cγ , (3.3.23)
dτ dτ dt
a prostorne
dU i dγ
Ai = = γ vi + γ 2 ai . (3.3.24)
dτ dt
Dakle,
cγ dγ
A= dt , (3.3.25)
γ dγ
dt
v + γ 2a
gde je v = dr
dt
trobrzina, a a = dv dt
troubrzanje čestice.
Kada se čestica kreće ubrzano sistem reference vezan za nju je neinercijalan. Medjutim
u intervalu (t, t + dt) brzina čestice je konstantna i sistem vezan za nju je inercijalan. Ovaj
sistem se naziva usputnim sistemom. Obeležićemo ga sa S 0 . Brzina čestice u S 0 je v0 = 0,
0
ali ubrzanje a0 = dvdt0
nije nula. Četvoroubrzanje u usputnom sistemu je
0 0
A = . (3.3.26)
a0
Iz ovog izraza se jasno vidi da je četvoroubrzanje vektor prostornog tipa. Laboratorijski
sistem S i usputni S 0 su povezani Lorencovim bustom. Jednostavnosti radi uzećemo da se
čestica kreće duž x−ose. Tada je
c dγ v 0
dt
γ c
γ 0 0 0 vγa /c
dγ v + γa v γ γ 0 0 a0 γa0
A = γ dt
c
= 0 0 1 0 0 = 0 .
(3.3.27)
0
0 0 0 0 1 0 0
Odavde dobijamo vezu izmedju a i a0 :
v 2 3/2 0
a= 1− 2 a . (3.3.28)
c
Nadjimo sada jednačinu kretanja čestice koja se kreće sa stalnim ubrzanjem računatim
u usputnom sistemu, tj. a0 = const. Neka se u početnom trenutku čestica nalazila u tački
x(t = 0) = x0 sa početnom brzinom v(t = 0) = 0. Prepišimo (3.3.28) u obliku
dv 0
3/2 = a dt (3.3.29)
v2
1− c2
54 3. MEHANIKA SPECIJALNE RELATIVNOSTI
ca0 t
v=p . (3.3.30)
c2 + (a0 t)2
Odavde je
cta0
dx = p dt , (3.3.31)
c2 + (a0 t)2
pa integraljenjem dobijamo jednačinu kretanja
p
x − x0 = c c2 /a02 + t2 − c2 /a0 (3.3.32)
odnosno 2
(x − x0 + ca0 )2 (ct)2
− 4 02 = 1 . (3.3.33)
c4 /a02 c /a
Dobili smo jednačinu hiperbole. Kretanje sa stalnim ubrzanjem (a0 = const. ) se naziva
hiperbolnim kretanjem. Ako izaberemo x0 = c2 /a0 jednačina kretanja ima prostiji oblik:
x2 (ct)2
− =1. (3.3.34)
c4 /a02 c4 /a02
Neka se u nekom trenutku vremena čestica nalazi u tački P , što je prikazano na slici 3.1.
Čestica P može da primi informaciju iz prošlosti samo od posmatrača iz njenog svetlosnog
konusa i to njegovog dela u prošlosti. Dakle, čestica ne može da primi informaciju iz celog
prostor-vremena. Računajući celu trajektoriju čestice vidimo da linija ct = x deli prostor
na dva dela. Deo univerzuma levo od ove linije je nedostupan za našu česticu (posmatrača
S 0 ). Ova linija se naziva Rindlerovim horizontom dogadjaja za ubrzanog posmatrača.
3.4. KOVARIJANTNI OBLIK DRUGOG NJUTNOVOG ZAKONA 55
dE c2 p dp dp
= =v· =v·F , (3.4.35)
dt E dt dt
gde smo iskoristili
E
p= v. (3.4.36)
c2
Zadnja formula se lako proverava na osnovu izraza za energiju i impuls čestice. Relaciju
(3.4.35) možemo prepisati u obliku
dE v·F
=q . (3.4.37)
dτ v2
1 − c2
Slično imamo
dp F
=q . (3.4.38)
dτ 1− v2
c2
tzv. četvorovektor sile. Drugi Njutnov zakon zapisan u obliku (3.4.39) je kovarijantan;
leva i desna strana su četvorovektori. U drugom inercijalnom sistemu on ima isti oblik
dp0µ
= F 0µ . (3.4.41)
dτ
Fizički zakoni moraju imati isti oblik u svim inercijalnim sistemima. To je sadržaj prvog
Ajnštajnovog postulata.
3.5 Rasejanja
U nerelativističkoj (Njutnovoj) mehanici troimpuls je očuvan ukoliko na sistem ne deluju
spoljne sile. Suma unutrašnjih sila isčezava zbog zakona akcije i reakcije. U elastičnim
sudarima pored zakona održanja impulsa održana je i kinetička energija.
Pri relativističkim sudarima čestica (tj. čestica koje se kreću velikim brzinama, npr. u
CERN-u) situacija je znatno komplikovanija. Interakcija se ne prenosi trenutno, pa zakon
56 3. MEHANIKA SPECIJALNE RELATIVNOSTI
akcije i reakcije nema smisla. Zakoni održanja su uvek posledica neke simetrije sistema.
Troimpuls i energija su očuvani ako je teorija koja opisuje dati fizički proces invarijantna
na prostorne translacije odnosno na vremensku translaciju. Razmatrajmo rasejanje
a + b + ··· → c + d + ... .
Interakcija izmedju čestica se dešava unutar neke male oblasti prostora. Mnogo pre inter-
akcije (u dalekoj prošlosti) i mnogo posle interakcije (daleka budućnost) čestice su skoro
slobodne. Energija čestica pre sudura (misli se mnogo pre sudara, tj. u dalekoj prošlosti)
jednaka je energiji čestica posle sudara (opet mislimo u dalekoj budućnosti)
Ea + Eb + · · · = Ec + Ed + . . . . (3.5.42)
pa + pb + · · · = pc + pd + . . . . (3.5.43)
M cγ 0
mcγ mc
mvγ 0 M v 0 γ 0
0 + 0 = 0 , (3.5.45)
0 0 0
gde je
1 1
γ=q , γ0 = q . (3.5.46)
2 v 02
1 − vc2 1− c2
čudno ako imamo na umu prethodnu lekciju o ekvivalentnosti mase i energije. Pri nerela-
tivističkim rasejanjima masa se održava, dok za relativističke čestice to ne važi.
Sistem centara impulsa čestica je sistem u kojem je ukupni relativistički troimpuls
čestica jednak nuli. Takav sistem uvek postoji. Da bi to dokazali pokažimo prvo sledeće
trvrdjenje:
Ako su P1 i P2 četvorovektori vremenskog ili svetlosnog tipa onda je P1 · P2 ≥ 0. Ovo se
lako pokazuje. Ako su oba vektora svetlosnog tipa onda je P1 · P2 = |p1 ||p2 |(1 − cos θ) ≥ 0 ,
gde je θ = ∠(p1 , p2 ) . Ako je bar jedan od četvorovektora vremenskog tipa možemo preći
u njegov sistem mirovanja. Uzećemo da je
m1 c E2
0
P1 = i P2 = c (3.5.49)
0 p2
0
onda je
P1 · P2 = m1 E2 > 0 .
Pokazaćemo još jedno tvrdjenje: Ukoliko su P1 i P2 četvorovektori vremenskog ili svet-
losnog tipa onda je (P1 + P2 )2 ≥ 0 . Ovo se lako proverava primenom prethodnog tvrdjenja:
Znak jednakosti u prethodnoj formuli bi važio ako bi obe čestice bile bezmasene i ukoliko je
ugao θ = 0, tj. one se kreću paralelno. To ne bi odgovaralo rasejanju. Prema tome za dve
čestice koje se sudaraju uvek postoji sistem reference u kome je ukupni troimpuls jednak
nuli, jer je vektor P1 + P2 vremenskog tipa. Ovo pokazuje da uvek možemo da predjemo u
sistem centra impulsa.
a+b→a+b . (3.6.51)
Analizirajmo prvo ovaj proces u sistemu centra impulsa (CM). Neka se čestice pre rasejanja
kreću duž z−ose. Ugao rasejanja u sistemu CM obeležićemo sa θ. Četvoroimpulsi čestica
a i b pre sudara su
Ẽa Ẽb
c c
0
i P̃ µ = 0 ,
P̃aµ =
0 b 0 (3.6.52)
p̃ −p̃
58 3. MEHANIKA SPECIJALNE RELATIVNOSTI
a posle sudara
Ẽa0 Ẽb0
c c
Q̃µ = −q̃ sin θ .
q̃ sin θ
Q̃a =
0 b 0 (3.6.53)
q̃ cos θ −q̃ cos θ
Iz zakona održanja energije, Ẽa + Ẽb = Ẽa0 + Ẽb0 , sledi
p q p q
m2a c4 + p̃2 c2 − m2b c4 + q̃ 2 c2 = m2a c4 + q̃ 2 c2 − m2b c4 + p̃2 c2 .
Iz ove relacije dobijamo p̃ = q̃, odakle je Ẽa = Ẽa0 i Ẽb = Ẽb0 . Veličina θ potpuno odredjuje
proces rasejanja.
Analizirajmo sada rasejanje u laboratorijskom sistemu, slika 3.2. Neka čestica b miruje,
a čestica a se kreće duž z−ose. Uzećemo da se posle sudara čestice razleću pod uglovima
θ1 , odnosno θ2 u odnosu na z−osu. Četvoroimpulsi čestica pre sudara u LAB sistemu su:
Ea
c
m b c
µ
0 µ
0
Pa =
P = 0 ,
(3.6.54)
0 b
p 0
a posle sudara E0 E0
a b
Qa = c Qb = c . (3.6.55)
qa qb
Iz zakona održanja četvoroimpulsa sledi
Pa + Pb − Qa = Qb .
Kvadriranjem gornje formule dobijamo
Pa2 + Pb2 + Q2a + 2Paµ Pbµ − 2Paµ Qµa − 2Qaµ Pbµ = Q2b . (3.6.56)
Primenom Pa2 = Q2a = m2a c2 , Pb2 = Q2b = m2b c2 i
Paµ Pbµ = Ea mb
Ea Ea0
Paµ Qµa = − pqa cos θ1
c2
Qaµ Pbµ = Ea0 mb . (3.6.57)
dobijamo ugao rasejanja θ1
Ea0 (Ea /c2 + mb ) − m2a c2 − Ea mb
cos θ1 = . (3.6.58)
pqa
Slično se dobija i ugao θ2 . Rezultat je
(Ea /c2 + mb )(Eb0 − mb c)
cos θ2 = . (3.6.59)
pqb
3.7. KOMPTONOVO RASEJANJE 59
E = cp . (3.7.60)
Sa druge strane enegiju fotona možemo izraziti preko frekvence ili talasne dužine
c
E = hν = h , (3.7.61)
λ
gde je h Plankova konstanta. Komptonovo rasejanje je rasejanje fotona na elektronu koji
miruje. Neka se foton kreće duž z− ose i neka mu je talasna dužina λ. Četvorovektor
impulsa ovog fotona c
λ
0
Pfµ 0 .
= (3.7.62)
c
λ
odakle je
Pe0µ = Pfµ + Peµ − Pf0µ . (3.7.67)
Kvadriranjem ovog izraza uz sledeće skalarne proizvode
Pe0µ Pµe
0
= Peµ Pµe = m2 c2
Pf0µ Pµf
0
= Pfµ Pµf = 0
mch
Pf · Pe =
λ
2
h h2
Pf · Pf0 = − cos θ
λλ0 λλ0
mch
Pe · Pf0 = , (3.7.68)
λ0
dobijamo
h θ
λ0 − λ = 2 sin2 . (3.7.69)
mc 2
Talasna dužina fotona posle rasejanja je veća od talasne dužine upadnog fotona, jer je on
predao deo energije elektronu.
Kinetička energija upadne čestice je najmanja ukoliko je desna strana gornje jednačine
najmanja, a to je u slučaju kada produkti procesa miruju u sistemu CM. Tako dobijamo
energiju praga reakcije
(mc + md )2 c2 − (ma + mb )2 c2
(Ta )min = . (3.8.73)
2mb
Razmatrajmo sudar protona sa antiprotonom da bi proizveli Higsov bozon
p + p̄ → H + X , (3.8.74)
gde je X hadron znatno manje mase od mase Higsovog bozona. Neka u procesu proton
miruje. Masa Higsovog bozona je mH = 125GeV, a masa protona mp = 940MeV, pa je
energija praga za ovaj proces
m2H c2 − 4m2p c2 m2 c2
(Tp )min = ≈ H ≈ 8000GeV . (3.8.75)
2mp 2mp
Ogromna energija. Protone i antiprotone je efikasnije sudarati kada se kreću u sustret jedan
drugom, sa istom energijom. Tada je minimalna energija za kreiranje Higsovog bozona, po
svakoj od čestica 60GeV.
dakle proporcionalno je dužini trajektorije čestice izmedju tačaka (1) i (2) u prostoru
Minkovskog. Zamenom (3.10.77) u dejstvo dobijamo
Z t2 r
2 v2
S = −mc dt 1 − 2 . (3.10.79)
t1 c
R
Dejstvo (3.10.78) je Lorencov skalar. Kako smo ga napisali u obliku dt . . . izraz u zagradi
je očigledno Lagranžijan r
v2
L = −mc2 1 − 2 (3.10.80)
c
i on nije skalar, jer veličina dt nije skalar. U nerelativističkom limesu v c lagrančijan
postaje
1 v 2
L = −mc2 (1 + + ...)
2 c
mv 2
= −mc2 + + ... . (3.10.81)
2
Konstantni član ne utiče na jednačine kretanja pa ga možemo odbaciti. Lagranžijan se u
nerelativističkom limesu svodi na kinetičku energiju čestice.
Odredimo Lagranževe jednačine kretanja čestice. Iz (3.10.80) sledi
∂L
=0 (3.10.82)
∂r
i
∂L mv
=q =p (3.10.83)
∂v v2
1 − c2
pa je jednačina kretanja
d ∂L ∂L
− =0
dt ∂v ∂r
(3.10.84)
je
d mv
q =0 (3.10.85)
dt 1− v2
c2
odnosno
dp
=0. (3.10.86)
dt
3.10. *DEJSTVO ZA SLOBODNU RELATIVISTIČKU ČESTICU 63
Generalisani impuls je
∂L mv
p= =q (3.10.87)
∂v 2
1 − vc2
i on je vektor impulsa (troimpuls) slobodne relativističke čestice. Hamiltonijan je
H = v·p−L
mc2
= q
2
1 − vc2
p
= m2 c4 + c2 p2 . (3.10.88)
U poslednjem koraku smo eliminisali brzine preko impulsa jer je Hamiltonijan funkcija
koordinata i impulsa. U nerelativističkom limesu Hamiltonijan postaje
P2
H= + mc2 .
2m
Jednačine kretanja se mogu dobiti u kovarijantnom obliku. Interval ds izmedju tačaka
x i xµ + dxµ je
µ
p
ds = gµν dxµ dxν
r
dxµ dxν
= gµν dτ
p dτ dτ
= gµν U µ U ν , (3.10.89)
∂ L̃ mc
= − p uα = −mUα
∂U α gµν U µ U ν
∂ L̃
= 0
∂xα
Zamenom u
d ∂ L̃ ∂ L̃
α
− α =0 (3.10.91)
dτ ∂U ∂x
64 3. MEHANIKA SPECIJALNE RELATIVNOSTI
x = R cos(ωt)
y = R sin(ωt)
x = ut
gde je
1
γ1 = q .
v12
1− c2
gde je v brzina druge čestice za posmatrača iz sistema vezanog za prvu česticu. Skalarni
proizvod četvorobrzina prve i druge četice je isti u svim inercijalnim sistemima, tj.
dobijamo
(v1 − v2 )2 − (v1 × v2 )2 /c2
v2 = .
v1 ·v2
1 − c2
mc + Tc0
0
P1µ = 0 ,
(3.11.97)
p
a čestice mete
mc
0
P2µ =
0 .
(3.11.98)
0
Četvoroimpuls rasejanog projektila je
mc + Tc1
p01 sin θ1
P10µ =
0 ,
(3.11.99)
p01 cos θ1
gde su T1 i p01 kinetička energija, odnosno intenzitet impulsa rasejane čestice. Zakon
održanja četvoroimpulsa je
P1 + P2 − P10 = P20 ,
gde je P20 četvoroimpuls čestice mete posle sudara. Kvadriranjem gornje relacije dobijamo
r
T0 T 2 T
0 1
T1 2m + 2 = + 2mT0 + 2m cos θ1 (3.11.100)
c c2 c2
odakle, sredjivanjem dobijamo
T0 cos2 θ1
T1 = T0 2
. (3.11.101)
1 + 2mc 2 sin θ1
Zadatak 6. U sudaru protona sa drugim protonom koji miruje, nastataju tri protona i
jedan antiproton. Energije mirovanja protona i antiprotona su jednake i iznose 938MeV.
Odrediti minimalnu kinetičku energiju upadnog protona, da bi došlo do ove reakcije.
Rešenje: Primenom formule (3.8.73) dobijamo Tmin = 6mp c2 = 5628MeV.
Zadatak 7. Četvoroimpuls čestice je P µ . Pokazati da je energija slobodne čestice za
posmatrača čija je četvorobrzina U µ data sa E = Uµ P µ .
Rešenje: Izraz Uµ P µ je Lorencov skalar. U sistemu posmatrača U µ = (c, 0, 0, 0), dok je
nulta komponenta četvoroinmpulsa čestice P 0 = E/c. Prema tome, E = Uµ P µ .
3.11. ZADACI ZA VEŽBU 67
Zadatak 9. Dve čestice masa m elastično se sudaraju. Naći ugao izmedju čestica posle
rasejanja u laboratorijskom sistemu. Uzeti da jedna čestica pre sudara miruje. Rezultat
izraziti preko energija rasejanih čestica, E10 , E20 .
Rezultat: s
(E10 − mc2 )(E20 − mc2 )
cos θ =
(E10 + mc2 )(E20 + mc2 )
Zadatak 10. Čestica mase m1 kreće se brzinom v1 , dok čestica mase m2 miruje u
laboratoriskom sistemu reference. Odrediti:
δS = 0 . (4.0.2)
Ovo je Hamiltonov princip. Lako se može pokazati da uslov stacionarnosti dejstva daje
Lagranževe jednačine kretanja
d ∂L ∂L
− =0. (4.0.3)
dt ∂ q̇i ∂qi
69
70 4. ELEMENTI TEORIJE POLJA U PROSTORU MINKOVSKOG
a Dirakovo
µν /4
ψ 0 (x0 ) = e−iωµν σ ψ(x) .
Generalno
φ0r (x0 = Λx) = Srs (Λ)φs (x) . (4.1.7)
Matrice S(Λ) čine reprezentaciju Lorencove grupe
φ0 (x0 = Λx + a) = φ(x)
A0µ (x0 = Λx + a) = Λµν Aν (x)
µν
ψ 0 (x0 = Λx + a) = e−iωµν σ /4 ψ(x) , (4.1.8)
φ0 (x0 = x + a) = φ(x).
4.1. OJLER-LAGRANŽEVE JEDNAČINE KRETANJA 71
gde je Lagranžijan Z
L= d3 xL .
u + m2 )φ = 0.
(t (4.1.16)
gde je
φ1 + iφ2 φ1 − iφ2
φ= √ φ† = √ . (4.1.18)
2 2
Jednačine kretanja su
u + m2 )φ = 0
(t u + m2 )φ† = 0
(t (4.1.19)
Realno skalarno polje ima jedan a kompleksno dva stepena slobode. Spin skalarnog polja
je 0.
Dirakovo polje opisuje čestice spina s = 1/2. Gustina Lagranžijana je
(iγ µ ∂µ − m)ψ = 0
i∂µ ψ̄γ µ + mψ̄ = 0. (4.1.21)
∂µ F µν + m2 Aν = 0. (4.1.23)
i
∂L 1 ∂Fµν
= − F µν
∂(∂α Aβ ) 2 ∂(∂α Aβ )
1 µν α β
= − F (δµ δν − δµβ δνα )
2
1
= − (F αβ − F βα )
2
= −F αβ .
∂α F αβ = j β , (4.1.26)
odnosno
∂µ (∂ µ Aν − ∂ ν Aµ ) = 0
Aν − ∂ ν ∂µ Aµ = 0 . (4.1.27)
Spin vektorskog polja je 1. Bezmaseno vektorsko polje ima dva a maseno tri stepena
slobode.
xµ → x0µ = xµ + δxµ
φr (x) → φ0r (x0 ) = φr (x) + δφr (x) (4.2.28)
dejstvo se promeni za
Z Z
4 0 0 0 0 0 0
δS = d x L(φr (x ), ∂µ φ (x )) − d4 xL(φr (x), ∂µ φr (x)) .
Ω0 Ω
δφ = φ0 (x0 ) − φ(x)
= φ0 (x0 ) − φ(x0 ) + φ(x0 ) − φ(x)
= δ0 φ(x0 ) + ∂µ φδxµ
= δ0 φ(x) + ∂µ φδxµ . (4.2.29)
U poslednjem koraku smo umesto x0 napisali x što je korektno jer računamo u prvom redu
po δx. Lako se vidi da diferenciranje komutira sa varijacijom forme:
δ0 ∂µ φ = ∂µ δ0 φ .
∂L ∂L
δ0 L = δ0 φ + δ0 ∂µ φ
∂φ ∂(∂µ φ)
Z
= d4 x(δL + ∂µ δxµ L)
Z
= d4 x(d0 L + ∂µ Lδxµ + ∂µ δxµ L)
Z
4 ∂L ∂L ∂L µ
= dx d0 φr + ∂µ δ0 φr − ∂µ δ0 φr + ∂µ (Lδx )
∂φr ∂(∂µ φr ) ∂(∂µ φr )
Z
4 ∂L µ
= d x∂µ δ0 φr + Lδx
∂(∂µ φr )
Z
= d4 x∂µ J µ . (4.2.30)
4.2. NETERINA TEOREMA 75
Polja zadovoljavaju jednačine kretanja, što smo iskoristili u četvrtom redu. Ako su neprekidne
transformacije (4.2.28) simetrija naše klasične teorije, tj. δS = 01 onda je
∂µ J µ = 0, (4.2.31)
∂L ∂L
Jµ = δ0 φr + Lδxµ = δφr − T µ ν δxν , (4.2.32)
∂(∂µ φr ) ∂(∂µ φr )
gde je:
∂L
T µν = ∂ν φr − Lδ µ ν .
∂(∂µ φr )
tenzor energije-impulsa. Veličine Z
a
Q = d3 xJ0a (4.2.33)
dQa
=0. (4.2.34)
dt
Poslednje se lako proverava
dQa
Z
d
= d3 xj0a
dt dt
∂j a
Z
= d3 x 0
∂t
Z
= d3 xdiv~ja (4.2.35)
Z
= d3 xja · dS = 0 , (4.2.36)
pa je Neterina struja
∂L
δ0 φr + Lδxµ − Kµ .
∂(∂µ φr )
76 4. ELEMENTI TEORIJE POLJA U PROSTORU MINKOVSKOG
x0µ = xµ + µ
δφ = 0 ⇒ δ0 φ = −µ ∂µ φ (4.2.37)
Tenzor energije impulsa skalarnog polja je simetričan mada u opštem slučaju nije.
Formalizam zakrivljenog
prostor-vremena
Videli smo da u Specijalnoj relativnosti važi princip ekvivalencije svih inercijalnih refer-
entnih sistema. To jest, zakoni fizike su isti u svim inercijalnim referentnim sistemima.
Proširenje ovog principa i na neinercijalne referentne sisteme dovodi do pojave gravita-
cionog polja, to jest Opšte relativnosti. Kako su neinercijalni referentni sistemi povezani
sa krivolonijskim koordinatama, to će prostor-vreme Opšte relativnosti biti zakrivljeno. U
ovom poglavlju ćemo, posle diskusije principa ekvivalenicije u Opštoj relativnosti, uvesti
matematički opis zakrivljenog prostor-vremena, mnogostrukosti. Definisaćemo i osnovne
objekte na mnogostrukosti: funckije, vektore, tenzore, kao i operacije sa njima. Zatim
ćemo diskutovati i integraciju, koja nam je neophodna ako želimo da formulišemo dejstvo
za gravitaciono polje i/ili za polja materije u prisustvu gravitacionog polja. Na kraju ćemo
diskutovati simetrije mngostrukosti, difeomofizme, i njihovu vezu sa opštim koordinatnim
transformacijama i Lijevim izvodom.
Većina tekstova o Opštoj relativnosti počinje diskusijom tela koje slobodno pada u nekom
liftu koji može da se kreće ili miruje u gravitacionom polju Zemlje. Razmotrimo i mi ovaj
problem.
Razlikujemo četiri (zapravo pet) situacija: lift miruje u gravitacionom polju Zemlje (na
površini Zemlje), lift slobodno pada u gravitacionom polju Zemlje, lift miruje u vakuumu
(van uticaja gravitacionog polja) i lift se kreće ubrzanjem −~g u vakuumu.
77
78 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
Posmatrač koji se nalazi u liftu neće razlikovati situacije sa Slike 5.1, kao ni situacije sa
Slike 5.2. Preciznije, ne postoji eksperiment koji bi posmatrač u liftu mogao da izvede da
bi razlučio da li lift u kome se on nalazi miruje u gravitacionom polju Zemlje, ili se kreće
ravnomeno ubrzano ubrzanjem −~g u vakuumu. Takodje, nijedan eksperiment ne može
da razluči da li lift miruje u vakuumu ili slobodno pada u gravitacionom polju Zemlje.
Treba imati na umu da ovi iskazi važe samo za male oblasti gravitacionog polja na Zemlji
(lokalno, u okolini neke tačke), to jest važe za homogena i izotropna gravitaciona polja.
Kao ilustraciju, pogledajmo Slike 5.3 i 5.4. Dva tela koja slobodno padaju u gravita-
cionom polju Zemlje konvergiraju, to jest rastojanje izmedju njih se smanjuje. Sa druge
strane, dva tela koja slobodna padaju u ravnomerno ubrzanom referentnom sistemu os-
taju na istom rastojanju. Ovo potvrdjuje da se gravitaciono polje koje nije homogeno i
izotropno ne može zameniti ravnomerno ubrzanim referentnim sistemom.
Prethodni iskazi zapravo predstavljaju jednu od formulacija principa ekvivalencije:
Zakoni fizike su isti u ravnomerno ubrzanom referentnom sistemu kao u
homogenom i izotropnom gravitacionom polju.
Razlikujemo slabi i jaki princip ekvivalencije. Slabi princip ekvivalencije se odnosi samo
na zakone mehanike (kretanje tela u gravitacionom polju). Drugi iskaz slabog principa ek-
vivalencije je da su inercijalna i gravitaciona masa tela jednake, to jest da sva tela (bez
obzira na masu) na isti način padaju u gravitacionom polju Zemlje. Eksprimentalno je
ovo proverio još Galilej (G. Galilei) u eksperimentima sa kretanjem tela po strmoj ravni.
Često se jaki princip ekvivalencije deli na Ajnštajnov, (srednje jaki) princip ekvivalencije
i jaki princip ekvivalencije. Ajnštajnov princip ekvivalencije se onda odnosi na sve zakone
fizike, osim graviatacionih, dok jaki obuhvata i gravitacione. Nevaženje jakog principa
ekvivalencije bi se moglo uočiti u sistemima koje ”drži na okupu” samo gravitaciona in-
terakcija, to jest njihova energija veze ja posledica samo gravitacione interakcije. Takvi
sistemi su zvezde, planete, galaksije,. . . i teško je proveriti da li se ovi sistemi ponašaju
5.2. MNOGOSTRUKOSTI 79
5.2 Mnogostrukosti
Intuitivno, n dimenzionu mnogostrukost možemo predstaviti kao prostor koji lokalno iz-
gleda kao Rn . Na Slici 5.5 su primeri mnogostrukosti, dok su na Slici 5.6 primeri prostora
koji nisu mnogostrukosti.
d :X × X → R,
d(x, y) = d(y, x),
d(x, y) ≥ 0 i d(x, x) = 0,
d(x, y) + d(y, z) ≥ d(x, z). (5.2.1)
Slika 5.7
5.2. MNOGOSTRUKOSTI 81
Preslikavanje φα ◦ φ−1
β zapravo predstavlja smenu koordinata. Ako uočimo tačku P ∈
Uα Uβ , njene koordinate na kartama će biti φα (P ) = xµ (P ) i φβ (P ) = y µ (P ). Onda
T
preslikavanje φα ◦ φ−1β predstavlja promenu koordinata y µ → xµ i xµ = xµ (y 1 , . . . y n ).
Maksimalni atlas je onaj koji se ne sadrži ni u jednom drugom atlasu. Izbor maksimalnog
atlasa obezbedjuje da se mnogostrukost sa dva različita atlasa ne klasifikuje kao dve različite
mnogostrukosti.
Mnogostrukosti najčešće ne mogu da se pokriju samo jednom kartom (globalnim koor-
dinatnim sistemom). Tipičan primer za to je sfera S 2 zadata sa x21 + x22 + x23 = 1. Da bi
se potpuno pokrila, neophodne su bar dve karte i one se mogu izabrati na različite načine.
Razmotrimo stenografsku projekciju. Neka je jedna karta S 2 /SP , gde je SP severni pol
i preslikavanje na ravan x3 = −1 zadato1 sa φ−1 2x1 2x2
1 (y1 , y2 ) = ( 1−x3 , 1−x3 ). Ovo preslikavanje
nije definisano za (0, 0, +1), to jest za severni pol, ali on je ionako isključen iz ove karte.
Slika južnog pola je tačka (0, 0) u ravni x3 = −1.
Slika 5.8
Analogno, možemo izabrati drugu kartu koju čine S 2 /JP , gde je JP južni pol sfere i
preslikavanje na ravan x3 = +1 zadato sa φ−1 2x1 2x2
2 (z1 , z2 ) = ( 1+x3 , 1+x3 ). Očigledno da ovo
preslikavanje nije definisano za južni pol (0, 0, −1), dok je slika severnog pola tačka (0, 0).
Može se pokazati da je u preseku ove dve karte, to jest za −1 < x3 < +1, preslikavanje
4y i
φ2 ◦φ−1 i
1 dato sa z = (y 1 )2 +(y 2 )2 , i = 1, 2. Ovo preslikavanje je glatko u oblasti −1 < x3 < +1,
kao što i treba da bude.
Napomenimo još da se mnogostrukosti sa granicom definišu na isti način kao i mno-
gostrukosti bez granice. Razlika je u tome što se kod mnogostrukosti sa granicom, otvoreni
skupovi Uα slikaju u otvoren skup u H n = {(x1 , . . . xn ) ∈ Rn i xn ≥ 0}. Skup tačaka koje
se preslikaju u xn = 0 čine granicu mnogostrukosti M, koja se obeležava sa ∂M.
f : M → R. (5.2.2)
1
U ovom slučaju je pogodnije koristiti inverzna preslikavanja, φ−1 : R3 → S 2 .
82 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
fˆ = f ◦ φ−1 n
P : R → R (5.2.3)
Slika 5.9
χ : M → N, (5.2.6)
su glatka preslikvanja. Ako su dve mnogostrukosti difeomorfne, onda su one iste, to jest
predstavljaju jednu mnogostrukost.
5.2. MNOGOSTRUKOSTI 83
df d
= (f ◦ γ) , (5.2.7)
dλ P dλ P
gde desna strana jednakosti predstavlja matematički precizniji zapis leve strane. Operatori
izvoda duž krive zadovoljavaju Lajbnicovo pravilo
d df dg
(f g)P = g P + f P . (5.2.8)
dλ dλ dλ
Tangentni prostor TP u tački P definišemo kao vektorski prostor koji čine operatori izvoda
duž krivih koje prolaze kroz tačku P . Da li je TP zaista vektorski prostor dimenzije n i
kakve veze on ima sa definicijom vektora na mnogostrukosti?
d d
Dva operatora izvoda duž krive dλ i dη možemo da množimo skalarom (realnim brojem)
d d
i sabiramo. Linearna kombinacija a dλ + b dη , gde su a, b realni brojevi takodje predstavlja
izvod duž krive u tački P i zadovoljava Lajbncovo pravilo u tački P
d d d
(f g) = a +b (f g)
dξ dλ dη
d d d d
= [(a + b )f ]g + f [(a + b )g]
dλ dη dλ dη
df dg
= g+f ,
dξ dξ
1 1
gde su f i g funkcije na M, a ξ = 2a λ+ 2b η. Iz ovoga zaključujemo da je prostor izvoda duž
krive u tački P zatvoren na sabiranje i množenje skalrom, pa je time i vektorski prostor.
Raspišimo sada detaljnije df , koristeći lokalno preslikavanje na kartu φP :
dλ P
df d
= (f ◦ γ)
dλ dλ
d
= (f ◦ φ−1 ◦ φ ◦ γ)
dλ
dxµ ˆ
= ∂µ f . (5.2.9)
dλ
2
Zapravo ćemo raditi sa klasama ekvivalencije krivih. To jest, smatraćemo da su krive γ1 (λ) i γ2 (λ)
koje prolaze kroz tačku P i zadovoljavaju sledeće uslove jednake:
-γ1 (λ = 0) = γ2 (λ = 0) = P .
d µ d µ
- dλ x (γ1 (λ))λ=0 = dλ x (γ2 (λ))λ=0 .
84 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
Slika 5.10
d µ
Vidimo da se lokalno, na karti, operator dλ svodi na dx ∂ , što zaista jeste izvod duž
dλ µ
µ n
krive x (λ) u R . Ovim smo pokazali da je prostor izvoda duž krive u tački P vektorski
prostor dimenzije n i da lokalno odgovara vektorskom prostoru izvoda duž krive xµ (λ). U
specijalnom slučaju krivih koje su koordinatne ose, xµ (λ) = {(λ, 0, . . . , 0), . . . , (0, . . . , 0, λ)}
d
izvodi u pravcu se svode na parcijalne izvode duž koordinatnih osa dλ → {∂1 , . . . ∂n }. Ovaj
bazis se naziva koordinatni bazis i nije jedini mogući izbor bazisa u TP . Očigledna prednost
ovog bazisa je da bazisni vektori komutiraju [∂µ , ∂ν ] = 0.
Koristeći razvoj vektora po koordinatnom bazisu, lako nalazimo zakon transforma-
cije komponenti vektora pri promenama koordinata, to jest prelaska sa karte na kartu.
Posmatrajmo tačku P ∈ Uα Uβ . Koordinate tačke P su φα (P ) = xµ (P ), odnosno
T
φβ (P ) = y µ (P ). Vektor V ∈ TP možemo razložiti po dva koordinatna bazisa kao V =
V µ ∂x∂ µ = Ve µ ∂y∂µ . Odavde lako nalazimo
∂y µ ρ
Ve µ = V . (5.2.10)
∂xρ
Odavde se onda nalazi i zakon transformacije bazisnih vektora3
∂xα (x)
∂µ(y) = ∂ . (5.2.11)
∂y µ α
Videli smo da se u tački P može definisati vektorski prostor izvoda duž krive TP (M).
Skup svih TP (M) za sve tačke na mnogostrukosti naziva se tangentno raslojenje T (M)4
[
T (M) = TP (M). (5.2.12)
P ∈M
3
Ovaj zakon transformacije se može izvesti koristeći i lančano pravilo za diferenciranje.
4
Raslojeni prostor (fiber bundle) (E, π, M, F, G) se sastoji od:
1. diferencijabilne mnogostrukosti E, koja se naziva totalni prostor.
2. diferencijabilne mnogostrukosti M, koja se naziva baza.
3. diferencijabilne mnogostrukosti F , koja se naziva sloj.
4. projekcije π : E → M, koja svakom elementu iz E priključuje tačku P iz baze M. Inverzno
5.2. MNOGOSTRUKOSTI 85
[, ] : X ⊗X →X
[X, Y ] = XY − Y X
[X, Y ] = (X ρ ∂ρ Y µ − Y ρ ∂ρ X µ )∂µ ∈ X , (5.2.13)
gde je poslednja jednačina napisana u koordinatnom bazisu. Osobine Lijeve zagrade su:
∂ ∂
V =Vµ = Ṽ µ µ ,
∂xµ ∂y
pa je
∂y µ ν
Ṽ µ = V .
∂xν
∂y µ
Matrica Gµν = ∂xν mora da bude nesingularna, pa je Gµν ∈ GL(n, R).
86 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
µ
Za λ = 0 xµ (λ) predstavljaju koordinate tačke P , dok je dx | tangentni vektor na krivu
dλ P
u tački P . Najjednostavniji primer integralnih krivih su koordinatne ose u Rn . Neka je
vektorsko polja V = ∂1 . Rešavajući (5.2.14) dobijamo krive zadate sa
µ const., µ 6= 1
x (λ) =
λ, µ = 1.
ω: TP → R
ω(V ) ∈ R (5.2.15)
ω(aV1 + bV2 ) = aω(V1 ) + bω(V2 ) ∈ R,
Baza za ovo raslojenje je M, sloj je TP∗ (M), a projekcija T ∗ (M) → M svakom kotan-
gentnom vektoru iz T ∗ (M) pridružuje odgovarajuću tačku P . Polje 1-formi Λ(1) na mno-
gostrukosti M svakoj tački P glatko pridruži po jednu 1-formu iz odgovarajućeg TP∗ . Na
taj način, u svakoj tački M imamo po jednu 1-formu. Glatkost 1-forme ω(x) = ωµ (x)dxµ
se definiše kao i kod vektorskog polja preko glatkosti komponenti ωµ (x).
5.2. MNOGOSTRUKOSTI 87
Tenzori
Pošto smo uveli vektore i dualne vektore, 1-forme, sada je jednostavno uvesti tenzore.
Tenzor T ranga (r, s) u tački P je multilinearno preslikavanje:
T (r,s) = Tµρ11...µ
...ρs
r
(x)dxµ1 ⊗ · · · ⊗ dxµr ⊗ ∂ρ1 ⊗ · · · ⊗ ∂ρs .
T (2,1) = Tµν
ρ
dxµ ⊗ dxν ⊗ ∂ρ
TP × TP × T∗P → R
T (2,1) (∂α , ∂β , dxµ ) = Tµν
ρ
dxµ ⊗ dxν ⊗ ∂ρ (∂α , ∂β , dxν ) = Tαβ
ν
∈R
Svi T (r,s) u tački P čine vektorski prostor (defininsano je množenje funkcijom i sabiranje)
(r,s) (r,s)
TP . Skup svih vektorskih prostora TP na mnogostrukosti M (za svaku tačku P ) čini
tenzorsko raslojenje T (r,s) (M)
[ (r,s)
T (r,s) (M) = TP (M). (5.2.24)
P ∈M
(r,s)(M)
Baza ovog raslojenja je M, sloj je TP i projekcija T (r,s) (M) → P . Tenzorsko polje
(r,s)
T (r,s) svakoj tački P na M glatko pridružuje po jedan tenzor iz TP . Glatkost tenzorskog
polja se definiše kao i kod vektorskog polja i 1-formi.
88 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
Metrički tenzor
Vrlo važan primer tenzora je metrički tenzor. To je tenzor ranga (2, 0) sa sledećim osobi-
nama
1. g : TP × TP → Rn , g(V1 , V2 ) ∈ Rn .
Kvadrat vektora koji ćemo vrlo često korsititi je interval dogadjaja. Znamo iz Specijalne
relativnosti da je interval dogadjaja rastojanje izmedju dva bliska dogadjaja u prostoru
Minkovskog. U Dekartovim koordinatama je interval dogadjaja u prostoru Minkovskog
dat sa
Primetimo da u ovom izrazu veličina dxµ nije 1-forma, već infinitezimalno rastojanje.
Pravilnije bi bilo pisati δxµ umesto dxµ , ali ćemo se ipak držati uobičajene notacije.
Interval dogadjaja je zakrivljenom prostoru onda
ds2 = g(δxµ ∂µ , δxν ∂ν ) = gµν δxµ δxν = gµν dxµ dxν , (5.2.25)
gde smo se u poslednjoj jednakosti vratili na uobičajenu notaciju, sve vreme imajući na
umu da dxµ u izrazu za interval dogadjaja nije 1-forma već infinitezimalno rastojanje.
Kako je Opšta relativnost invarijantna na difeomorfizme, to jest OKT, možemo se
zapitati kakve posledice ova invarijantnost ima (ako ikakve) na izbor metričkog tenzora u
tački P .
Neka smo u okolini tačke P , neka na odgovarajućoj karti imamo koordinate xµ i neka
su baš xµ (P ) = xµ̂ (P ) = 0. Napravimo sada OKT xµ → x̂µ . Pri tome se metrički tenzor
(njegove komponente) transformišu kao
∂xρ ∂xσ
ĝµν (x̂) = gρσ (x). (5.2.26)
∂ x̂µ ∂ x̂ν
5.2. MNOGOSTRUKOSTI 89
1
Leva strana = ĝµν |P + ∂ˆρ ĝµν |P x̂ρ + ∂ˆρ ∂ˆσ ĝµν |P x̂ρ x̂σ + . . .
2
∂xρ ∂xσ ˆα ( ∂x ρ
∂xσ
Desna strana = µ ν
g ρσ |P + ∂ µ ν
gρσ (x))|P x̂α
∂ x̂ ∂ x̂ ∂ x̂ ∂ x̂ (5.2.27)
1 ˆ ˆ ∂xρ ∂xσ ρ σ
+ ∂ρ ∂σ ( µ ν gρσ )|P x̂ x̂ + . . .
2 ∂ x̂ ∂ x̂
∂xρ ∂xσ ∂xρ ∂xσ ˆ ρ σ
ˆα ( ∂x ∂x )gρσ )|P x̂α + . . . .
= g ρσ |P + ( ∂ α g ρσ + ∂
∂ x̂µ ∂ x̂ν ∂ x̂µ ∂ x̂ν ∂ x̂µ ∂ x̂ν
∂xµ 1 ∂ 2 xµ
xµ = x̂µ (P ) + |P x̂ ρ
+ |P x̂ρ x̂σ + . . . . (5.2.28)
∂ x̂ρ 2 ∂ x̂ρ ∂ x̂σ
Pogledajmo prvi član u jednačini (5.2.27). Izbor OKT kaže da imamo 16 parametara na
µ
raspolaganju, to jest ∂∂xx̂ρ možemo da izabremo prizvoljno. To je dovoljno da se 10 kom-
ponenti metričkog tenzora gµν fiksira da budu gµν = ηµν (doveli smo metrički tenzor u
kanonsku formu5 ), gde je ηµν metrički tenzor u prostoru Minkovskog. Preostalih 6 slobod-
nih parametara predstavlja slobodu Lorencovih transformacija, na koje je ηµν invarijantan.
U drugom članu u jednačini (5.2.27) se pojavljuju prvi izvodi metričkog tenzora ∂ˆα ĝµν .
2 µ
Njih ima 40 nezavisnih. Sa druge strane postoji proizvoljnost izbora drugih izvoda ∂ x̂∂ρ ∂xx̂σ |P
2 µ
u tački P . Njih takodje ima 40 nezavisnih. Tako da, izborom drugih izvoda ∂ x̂∂ρ ∂xx̂σ |P u
tački P možemo anulirati svih 40 komponenti prvog izvoda metričkog tenzora.
U trećemo članu u jednačini (5.2.27) se pojavljuju drugi izvodi metričkog tenzora u
3 µ
tački P . Njih ima 100 nezavisnih. Sa druge strane, imamo treće izvode ∂ x̂ρ∂∂ x̂xσ ∂ x̂λ |P u tački
P koje možemo proizvoljno da izaberemo. Njih ima 80 nezavisnih i njihov odgovarajući
izbor će nam omogućiti da anuliramo 80 komponenti ∂ˆα ∂ˆβ ĝµν . Tako da ostane neodred-
jeno (različito od nule) 20 komponenti drugog izvoda metričkog tenzora. Pokazćemo u
sledećemo poglavlju da tih 20 komponenti tačno odgovara broju nezavisnih komponenti
tenzora krivine (veličine koja opisuje zakrivljenost prostora) u četiri dimenzije.
Možemo zaključiti da, koristeći OKT, lokalno u okolini neke tačke P možemo metrički
tenzor svesti na oblik metričkog tenzora prostora Minkovskog. Takodje, možemo sve prve
izvode metričkog tenzora anulirati, ali ne i sve druge izvode. Ovako konstruisan kordinatni
sistem u okolini tačke P naziva se lokalno inercijalni (ili lokalno ravni) referentni sistem.
5
Kažemo da je metrički tenzor u kanonskoj formi ako je oblika diag(+, . . . , 0, −, . . . ), to jest ako je
dijagonalan i na dijagonali ima samo 0, +1, −1. Ako su na dijagonali samo +1 onda je prostor (signatura)
Euklidski, ako su na dijagonali samo jedno −1 i ostalo +1, onda je signatura Lornecova, a ako na dijagonali
ima više −1, onda je signatura indefinitna. Ako na dijagonali ima nula, onda je metrički tenzor degenerisan
i ne postoji inverz matričkog tenzora.
90 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
k-forme čine vektorski prostor ΛkP u tački P . Definisano je sabiranje k-formi i množenje
realnim brojevima, a, b ∈ R.
(k) (k) (k) (k)
(aω1 + bω2 )(V1 , . . . , Vk ) = aω1 (V1 , . . . , Vk ) + bω2 (V1 , . . . , Vk ). (5.3.30)
Izračunajmo kosi proizvod dve 1-forme ω1 = ω1µ dxµ i ω2 = ω2ν dxν , koristeći (5.3.31):
1
F (∂ρ , ∂σ ) = Fµν dxµ ∧ dxν (∂ρ , ∂σ )
2
1
= (dxµ ⊗ dxν − dxν ⊗ dxµ )(∂ρ , ∂σ )
2
1
= Fµν (δρµ δσν − δrν hoδσµ )
2
1
= (Fρσ − Fσρ ) = Fρσ .
2
Vratimo se na algebru diferencijlanih formi na n dimenzionoj mnogostrukosti M i
(i)
odredimo dimenzije prostora ΛP . Uzmimo primer n = 4:
1 1
∗H (dxµ1 ∧ · · · ∧ dxµk ) = √ ˜µ1 ...µk ρk+1 ...ρn gρk+1 σk+1 . . . gρn σn dxσk+1 ∧ · · · ∧ dxσn .
(n − k)! −g
(5.3.44)
U ovom izrazu gµν su komponente metričkog tenzora, g je determinanta metričkog tenzora,
a ˜µ1 ...µk ρk+1 ...ρn je Levi-Čivita simbol u n dimenzija. U odnosu na OKT Levi-Čivita simbol
nije tenzor. O ovome ćemo više u nastavku.
Koristeći linearnost imamo
1
∗H (ω) = ∗H ( ωµ1..µk dxµ1 ∧ · · · ∧ dxµk )
k!
1
= ωµ1...µk ∗H (dxµ1 ∧ · · · ∧ dxµk )
k!
1 1 1
= ωµ1...µk √ ˜µ1 ...µk ρk+1 ...ρn gρk+1 σk+1 . . . gρn σn dxσk+1 ∧ · · · ∧ dxσn .
k! (n − k)! −g
Dvostruka primena Hodžove dualnosti daje početnu k-formu, sa znakom koji zavisi od
diemnzije mnogostrukosti n i signature metričkog tenzora t
n−t
∗H (∗H ω (k) ) = (−1)k(n−k) 2 ω (k) . (5.3.45)
gde je F = 21 Fµν dxµ ∧ dxν tenzor jačine EM polja. Raspišimo ovo dejstvo u koordinatnom
5.3. ALGEBRA DIFERENCIJALNIH FORMI 95
1
∗H F = ∗H ( Fµν dxµ ∧ dxν )
2
1
= Fµν ∗H (dxµ ∧ dxν )
2
1 1
= Fµν µνρσ ηρα ησβ dxα ∧ dxβ
2 2
1
= Fµν ηαρ ηβσ µνρσ dxα ∧ dxβ .
4
Z
1
S= F ∧ (∗H F )
2
Z
1 1 1
= Fµν dxµ ∧ dxν ∧ Fγδ ηαρ ηβσ γδρσ dxα ∧ dxβ
2 2 4
Z
11
= ηαρ ηβσ Fµν Fγδ γδρσ dxµ ∧ dxν ∧ dxα ∧ dxβ
28
Z
11
= ηαρ ηβσ Fµν Fγδ γβρσ µναβ d4 x
28
Z
11
= Fµν Fγδ {−2(η γµ η δν − η γν η βµ )}d4 x
28
Z
11
=− d4 xFµν F µν 2
24
Z
1
=− d4 xFµν F µν .
4
U računu smo koristili da je dxµ ∧ dxν ∧ dxα ∧ dxβ = µναβ d4 x, kao i identitet γβρσ µναβ =
−2(η γµ η δν −η γν η βµ ). Variarnjem ovog dejstva dobijaju se Maksvelove jednačine u vakuumu
d(∗H F ) = 0.
~ = 0,
div E
~
∂E
~ =
rotB .
∂t
96 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
∂x ∂xρ1 ∂xρn
˜µ1 ...µn det( ) =
˜ρ ...ρ 0 . . . .
∂x0 1 n
∂x µ1 ∂x0 µn
Odavde je
∂x0 ∂xρ1 ∂xρn
˜0µ1 ...µn = det( ) 0 µ1 . . . 0 µn ˜ρ1 ...ρn . (5.4.49)
∂x ∂x ∂x
0
Vidimo da se Levi-Čivita simbol transformiše kao tenzor, do na član det( ∂x ∂x
). Veličina
koja se transformiše na način (5.4.49) naziva se tenzorska gustina težine 1. Očigledno je
da se Levi-Čivita simbol sa gornjim indeksima pri OKT transformiše kao
0 0
0µ
1 ...µn
∂x ∂x µ1 ∂x µn ρ1 ...ρn
˜ = det( 0 ) ρ1 . . . ˜ . (5.4.50)
∂x ∂x ∂xρn
Levi-Čivita simbol nije jedina tenzorska gustina koju koristimo u Opštoj relativnosti.
Iz zakona transfrmacije metričkog tenzora
0 ∂xα ∂xβ
gµν (x0 ) = gαβ (x)
∂x0 µ ∂x0 ν
nalazimo zakon transformacije determinante metričkog tenzora
∂x
g 0 (x0 ) = det2 ( 0
)g(x) = J −2 g(x). (5.4.51)
∂x
5.4. INTEGRACIJA NA MNOGOSTRUKOSTI, TENZORSKE GUSTINE 97
Vidimo da se g transformiše kao tenzorska (zapravo skalarna, jer nema indeksa) gustina
√
težine −2. Odatle sledi da se −g transformiše kao skalarna gustina težine −1. Poredeći
√
sve ove zakone transforamcija možemo zaključiti da se veličina −g˜ρ1 ...ρn transformiše kao
pravi tenzor pri OKT
√ √ ∂xα1 ∂xαn
( −g˜µ1 ...µn )0 = J −1 −gJ 0 µ1 . . . 0 µn ˜α1 ...αn
∂x ∂x
√ ∂xα1 ∂xαn
= −g˜α1 ...αn 0 µ1 . . . 0 µn .
∂x ∂x
1 0 0 0
d n x0 = ˜α1 ...αn dx α1 ∧ · · · ∧ dx αn (5.4.55)
n!
0 0
1 ∂xµ1 ∂xµn ∂x α1 ∂x αn ρn
= J 0 α1 . . . 0 αn ˜µ1 ...µn ρ1 dxρ1 ∧ · · · ∧ dx
n! ∂x ∂x ∂x ∂xρn
1
= J˜µ1 ...µn dxµ1 ∧ · · · ∧ dxµn
n!
=Jdn x.
98 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
Onda je i funkcija h(x) takodje skalarna gustina, težine −1. Ako je mnogostrukost metrička,
√ √
prirodno je h(x) = −g, pa je zapreminska forma ωvol = −gdn x na odgovarajućoj karti.
Da bi definisali integral funkcije f : M → R na mnogostrukosti M, definišimo ovaj
pojam najpre u okolini tačke P ∈ Uα :
Z Z
fω = fˆ(x1 , . . . xn )ĥ(x1 , . . . xn )dn x. (5.4.56)
Uα φα (Uα )
1. 0 6 α (P ) 6 1.
2. α (P ) = 0 ako P ∈
/ Uα .
P
3. α α (P ) = 1.
P P
Koristeći particiju jedinice, možemo napisati f (P ) = α f (P )α (P ) = α fα (P ).
Konačno, integral funkcije f na mnogostrukosi M definišemo kao
Z XZ
fω = fα ω. (5.4.57)
M α Uα
χ∗ (f ) = f ◦ χ : M → R. (5.5.58)
χ∗ (V )f = V χ∗ (f ), χ∗ (V ) ∈ Tχ(P ) . (5.5.59)
∂y ρ σ
χ∗ (V )ρ (y) = V (x), (5.5.60)
∂xσ
pa je vektor χ∗ (V ) dat sa
χ∗ (V ) = χ∗ (V )ρ (y)∂ρ(y) .
Primetimo da za za vektore ne možemo da definišemo ”pullback” vektora sa N na M.
∗
Konačno, ”pullback” dualnog vektora ω ∈ Tχ(P ) (N ) sa mnogostrukosti N na mno-
gostrukost M se definiše kao
Υ:R×M→M
pod kojim svaka tačka na M opisuje krivu. Ovo preslikavanje ima osobine grupe
vektorsko polje ∂ϕ , slika u kružnicu. Ove kružnice pokrivaju celu sferu S 2 . Sa druge strane,
ako fiksiramo parametar λ, svaka tačka na M će se preslikati u neku drugu tačku na M,
videti Sliku 5.13. Ovo je upravo difeomorfizam M na samu sebe, pa je jasno zašto se
preslikavanje χλ naziva jednoparametarska familija difeomorfizama.
Lijev izvod
LV : T (r,s) → T (r,s)
LV (f ) = V µ ∂µ f,
LV (f U ) = LV (f )U + f LV (U ),
LV LU − LU LV = L[V,U ] .
102 5. FORMALIZAM ZAKRIVLJENOG PROSTOR-VREMENA
gde smo zanemarli sve članove višeg reda po ξ. Desna strana se može napisati kao
0
∂x ρ α
D.S. = V (x) =
∂xα
∂
= α
(xρ + ξ ρ )V α (x)
∂x
= V ρ (x) + (∂α ξ ρ )V α (x).
6
Umesto ξ µ ispravno je pisati λξ µ , gde je λ parametar jednoparametarske familije difeomorfizama koju
generiše vektorsko polje ξ. Onda uzimamo da je λ malo, pa je i λξ µ malo.
5.6. ZADACI ZA VEŽBU 103
Vidimo da se vraijacija forme i Lijev izvod razlikuju do na znak. Ovo je očekivani razul-
tat, jer varijacija forme odgovara pasivnoj transformaciji (OKT), a Lijev izvod odgovara
aktivnoj transformaciji to jest difeomorfizmima.
y α (N ) = (x, y, z)
xµ (M) = (t, χ)
ΦM→N (t, χ) = a cosh(t/a) cos χ, a cosh(t/a) sin χ, a sinh(t/a) ,
3. Delovanje Lijevog izvoda duž vektorskog polja V na k-formu ω se može definisati kao
Krivina
U fizici smo navikli da koristimo izvode bez velikog razmišljanja. Izvod u zakrivljenom
prostoru se ne može definisati prostom generalizacijom definicije izvoda u ravnom pros-
toru. To se najjednostavnije vidi na primeru izvoda vektora V µ1 , ∂ρ V µ . Nadjimo zakon
0
transformacije ovog objekta pri OKT xµ → x µ :
0
0 ∂ ∂x µ α
∂ρ0 V µ = ( V )
∂x0 ρ ∂xα
0
∂xβ ∂x µ α (6.0.1)
= ∂β ( α V )
∂x0 ρ ∂x
β 2 0µ 0
∂x ∂ x ∂xβ ∂x µ
= 0ρ α β
V + 0 ρ α ∂β V α .
α
∂x ∂x x ∂x ∂x
Vidimo da veličina ∂ρ V µ nije tenzor. Prvi član u poslednjem redu u (6.0.1) kvari tenzorski
zakon transformacije.
Ovaj rezultat je očekivan. Definicija izvoda podrazumeva poredjenje (razliku) vektora
u dve različite tačke u prostoru. U proizvoljnom zakrivljenom prostoru na možemo da
poredimo objekte u različitim tačkama. Ovaj problem možemo donekle da zaobidjemo
koristeći Lijev izvod, koji smo definisali u Glavi 2.5. Koristeći vektorska polja koja definišu
integralne krive, to jest jednoparametarske familije difeomorfizama, možemo da tenzore
pomeramo duž tih krivih i da tako dobijemo Lijev izvod. Nažalost, ovakav izvod nije
potpuno zadovoljavajući, jer nije moguće povezati bilo koje dve tačke, već samo one koje
se nalaze na odgovarajućim integralnim krivim.
6.1 Koneksija
Da bi se problem poredjenja tenzora u različitim tačkama mnogostrukosti prevazišao,
definiše se koneksija, to jest pravilo prenošenja tenzora iz tačke u tačku mnogostrukosti.
1
Znamo da je V µ zapravo komponenta vektora V u koordinatnom bazisu, na odgovarajućoj karti.
107
108 6. KRIVINA
sa sledećim osobinama
3. ∇f = df
Veličina Γµρ naziva se koneksija. Primenimo ove definicije na kovarijantni izvod vektora
∇V = ∇(V ρ ∂ρ )
= (∇V ρ )∂ρ + V ρ (∇∂ρ )
= dV α ∂α + V ρ Γαρ ∂α
= (∇V )α ∂α (6.1.3)
α β ρ β
= (∂β V )dx ⊗ ∂α + V dx ⊗ Γαβρ ∂α
= (∂β V α + Γαβρ V ρ )dxβ ⊗ ∂α
= (∇V )αβ dxβ ⊗ ∂α .
∇W : T (r,s) → T (r,s)
∇W V = h∇V, W i i ∇µ V = h∇V, ∂µ i. (6.1.4)
ω(V ) = iV (ω) = ωµ V µ
∇µ (ω(V )) = hd(ωα V α ), ∂µ i
= (∇µ ω)(V ) + ω(∇µ V )
= (∇µ ω)(V ) + ωρ (∂µ V ρ + Γρµα V α ).
∇α Tµρ11...µ
...ρs
r
= ∂α Tµρ11...µ
...ρs
r
− Γναµ1 Tνµ
ρ1 ...ρs
2 ...µr
− Γναµ2 Tµρ11,ν...µ
...ρs
r
+ Γραν1 Tµνρ1 ...µ
2 ...ρs
r
+ Γραν2 Tµρ11...µ
,ν...ρs
r
. (6.1.8)
3. Razlika dve koneksije Γαµν i Γ̃αµν , Γµαβ − Γ̃µαβ jeste tenzor. Specijalni primer predstavlja
α
torzija Tµν koja se definiše kao
α
Tµν = Γαµν − Γανµ . (6.1.9)
α
U Opštoj relativnosti je Tµν = 0, to jest koneksija je simetrična Γαµν = Γανµ .
110 6. KRIVINA
Ovaj uslov se naziva metrički postulat. Njegova direktna posledica je očuvanje dužina
vektora kao i uglova izmedju vektora pri paralelnom prenosu, koji ćemo definisati
nešto kasnije. Koneksija koja zadovoljava uslov (6.1.10) i simetrična je naziva se
Levi-Čivita (T. Levi-Civita) koneksija.
Koneksija u Opštoj relativnoti je upravo Levi-Čivita koneksija. Ona se može eksplic-
itno izraziti preko metričkog tenzora koristeći (6.1.10) i računajući:
to jest
1
Γαρµ = g βσ (∂µ gρσ + ∂ρ gσµ − ∂σ gµρ ). (6.1.11)
2
Ova veličina se naziva Kristofelov (E. B. Christoffel) simbol i često se obeležava sa
{αρµ }. Kristofelov simbol ima 40 nezavisnih komponenti. Izborom lokalno ravnog
referentnog sistema (LRRS) u tački, svih 40 komponenti se mogu anulirati, videti
diskusiju na kraju Glave 2.2.2.
Dµ Φ = ∂µ Φ − igAµ Φ,
gde je Aµ gradijentno polje. Gradijentne teorije su, kao i Opšta relativnost, teorije
na raslojenom prostoru. U slučaju Opšte relativnosti govorimo o tangetnom raslo-
jenju, dok je u slučaju gradijentnih teorija reč o ”principal” (principalnom, glavnom)
raslojenju.
∇V T = h∇T, V i = 0. (6.2.14)
h∇T, V i =V ρ h∇T, ∂ρ i
dxρ dxρ
= h∇T, ∂ρ i = ∇ρ T,
dλ dλ
112 6. KRIVINA
to jest u komponentama
D ρ dxα
T = ∇α Tµρ .
dλ µ dλ
U slučaju vektora W µ imamo
dxα
∇α W µ = 0,
dλ
dxα
(∂α W µ + Γµαρ W ρ ) = 0
dλ
dW µ dxα ρ
+ Γµαρ W =0
dλ dλ
Ova diferencijalna jednačina govori o promeni vektora duž proizvoljne krive i tako daje
geometrijski smisao koneksiji i kovarijantnom izvodu. Uočimo da, u slučaju Levi-Čivita
koneksije, dužine vektora i uglovi izmedju vektorapostaju nepromenjeni pri paralelnom
prenosu. Dužina vektora se definiše kao |V | = gρσ V ρ V σ . Promena pri paralelnom
prenosu je
D µ
V = 0,
dλ
pa je
D dxα
(gµν V µ V ν ) = ∇α (gµν V µ V ν )
dλ dλ
dxα µ ν µ ν µ ν
= (∇α gµν )V V + gµν (∇α V )V + gµν V (∇α V )
dλ
= 0,
∇ϕ V θ = 0 = ∂ϕ V θ + Γθϕµ V µ ,
∇ϕ V ϕ = 0 = ∂ϕ V ϕ + Γϕϕµ V µ .
Kako su jedini nenulti Kristofelovi simboli Γθϕϕ = − sin θ cos θ i Γϕθϕ = cot θ, to je
Vidimo da se pri paralelnom prenosu duž zatvorene krive vektor menja. Ova promena je
karakteristika zakrivljenog prostora i u glavi 6.4 ćemo definisati način da je kvantifikujemo.
2. najkraće rastojanje izmedju dve tačke, trajektorija slobodnih čestica (čestica na koje
ne deluju nikakve sile) (”shortest possible line”).
Sada ćemo ove dve definicije generalizovati na slučaj zakrivljenog prostora.
dxµ
Definišimo krivu γ : xµ (λ). Uslov za paralelni prenos tangentnog vektora dλ
njen tangentni vektor u svakoj tački vremenskog tipa. Onda možemo kao afini parametar
koristiti sopstveno vreme τ . Definišemo funkcional
Z B Z Bp
SAB = ds = −gµν dxν dxν
A A
Z Br (6.3.18)
dxµ dxν
= −gµν dτ.
A dτ dτ
Primetimo da je ovo zapravo uopšteno dejstvo za slobodnu relativističku česticu mase m u
0
zakrivljenom prostoru. Nadjimo varijaciju ovog dejstva. Stacionarna varijacija xµ → x µ =
xµ + δxµ zadovoljava uslov δxµ |A,B = 0. Varijacija metričkog tenzora je δgµν = (∂ρ gµν )δxρ ,
pa je varijacija dejstva SAB
Z B r
dxµ dxν
δSAB = δ( −gµν )dτ
A dτ dτ
µ dxν
1 B δ(gµν dx )dτ
Z
dτ dτ
=− q .
2 A −g dxµ dxν
µν dτ dτ
Kako je kriva vremenskog tipa, to smo za afini parametar izabrali sopstveno vreme τ .
µ dxν
Primetimo da je −gµν dx
dτ dτ
= −uµ uµ = 1 kvadrat četvorovektora brzine. Onda je
d2 xν dxµ dxν
gρν + (∂ρ gµν − ∂µ gρν − ∂ν gρµ ) = 0,
dτ 2 dτ dτ
to jest
d2 xα 1 ρα dxµ dxν
+ g (∂ ρ g µν − ∂µ gρν − ∂ ν gρµ ) = 0.
dτ 2 2 dτ dτ
U drugom članu ove jednačine prepoznajemo izraz za Kristofelov simbol (6.1.11), pa se
jednačina može napisati kao
d2 xα µ
α dx dx
ν
+ Γµν = 0. (6.3.20)
dτ 2 dτ dτ
6.3. GEODEZIJSKA JEDNAČINA 115
Ova jednačina definiše metrički geodezik ili ekstremalu. Za razliku od jednačine za afini
geodezik (6.3.17), u ovoj jednačini se eksplicitno poljavljuju Kristofelovi simboli. U slučaju
Levi-Čivita koneksije, afini i metrički geodezik se poklapaju. To je slučaj u Opštoj rela-
tivnosti, pa ćemo koristiti izraz ”geodezijska jednačina” za oba slučaja.
Primetimo da promena afinog parametra τ → λ = aτ + b ne menja geodezijsku
jednačinu. Konstanta b označava slobodu izbor koordinatnog početka, dok konstanta a
predstavlja slobodu izbora jedinice koja se koristi za merenje sopstvenog vremena.
Kako su u Opštoj relativnosti afini i metrički geodezik iste krive, to možemo zaključiti
sledeće: uslov da se tangentni vektor krive parlelno prenosi duž te krive (afini geodezik),
automatski definiše i parametrizaciju krive (ekstemala, parametar τ ). Ako bismo izabrali
neku drugu parametrizaciju geodezika, recimo parametar σ(τ ), onda ne bi bila zadovoljena
jednačina (6.3.17), već opštija jednačina. Razmotrimo ovo malo detaljnije. Znamo da je
dejstvo za masenu česticu reparametrizaciono invarijantno
Z r
dxµ dxν
Z
S = −m ds = −m gµν dσ,
dσ dσ
σ → σ 0 = f (σ) i dσ 0 = f 0 dσ,
Z r
0 dxµ dxν 0
S = −m gµν 0 dσ
dσ dσ 0
Z r
dxµ dxν 1 0
= −m gµν f dσ = S.
dσ dσ f 0
Ako bismo u izvodjenju (6.3.19) umesto sopstvenog vremena izabrali neki drugi parametar
σ(τ ), dobijena jednačina bi imala oblik
d2 xα µ
α dx dx
ν
1 dL dxµ
+ Γ µν = , (6.3.21)
dσ 2 dσ dσ L dσ dσ
q
µ dxν
gde je L = gµν dx dσ dσ
. Ako želimo da jednačinu (6.3.21) dovedemo na oblik (6.3.20), to
onda član na desnoj strani mora biti nula. To se može postići izborom L = C, gde je C
proizvoljna konstanta. U tom slučaju je τ = cσ, to jest parametar je zapravo sopstveno
vreme, do na multiplikativnu konstantu, koja samo ozznačava izbor skale.
U slučaju bezmasene čestice d2 s = 0, pa račun za metrički geodezik ne možemo
ponoviti. Rezultat se ipak može generalizovati, geodezijska jednačina će biti ista, samo
se sopstveno vreme menja afinim parametrom λ
d 2 xα µ
α dx dx
ν
+ Γµν = 0. (6.3.22)
dλ2 dλ dλ
Afini parametar λ je izabran tako da je četvoro-vektor impulsa za bezmasenu česticu
dxµ
pµ = . (6.3.23)
dλ
U Opštoj relativnosti, geodezik predstavlja trajektoriju slobodne čestice u gravita-
cionom polju, to jest trajektoriju česticena koju dejuje samo gravitaciona sila. U odnosu
na to kakvi su geodezici na mnogostrukosti, razlikujemo:
116 6. KRIVINA
1. Promena vektora pri pralelnom prenosu duž zatvorene krive je proporcionalana ten-
zoru krivine, videti zadatak 5.
R : TP × TP × TP → TP
(6.4.24)
R(X, Y )Z = (∇X ∇Y − ∇Y ∇X − ∇[X,Y ] )Z,
3. Tenzor krivine se, slično tenzoru jačine polja u gradijentnim teorijama, može definisati
kao komutator kovarijantnih izvoda:
[∇µ , ∇ν ]V ρ = ∇µ ∇ν V ρ − ∇ν ∇µ V ρ
(6.4.25)
= Rρβµν V β − Tµν
β
∇β V ρ .
U predhodnoj glavi smo definisali koneksiju Opšte relativnosti kao Levi-Čivita koneksiju:
simetričnu i metrički kompatibilnu. To znači da je torzija u Opštoj relativnosti jednaka
nuli.
Rekli smo na početku ove glave da je tenzor krivine veličina koja karakteriše zakrivl-
jenost mnogostrukosti. U zakrivljenom prostoru, rezultat paralelnog prenosa vektora zavisi
od izabrane putanje. Paralelnim prenosom vektora V µ duž zatvorene putanje, dobiće se
0
vektor V µ različiti od početnog, videti zadatak 5.
Slika 6.3
Pokažimo da za prosto-povezane mnogostrukosti važi
Rαβµν = 0 ⇔ mnogostrukost je ravna. (6.4.28)
Kada kažemo da je mnogostrukost ravna, to podrazumeva da se može uvesti globalni
koordinatni bazis, to jest da postoje globalne koordinate xµ , takve da su bazisni vektori u
svakoj tački ∂µ , a bazisne 1-forme dxµ .
Sa desna na levo je očigledno: ako je mnogostrukost ravna, metrički tenzor je gµν = ηµν ,
pa su Kristofelvi simboli, a time i tenzor krivine jednaki nuli.
Dokaz sa leva na desno ćemo uraditi u par koraka. Ako je Rαβµν = 0, onda rezultat
paralelnog prenosa tenzora ne zavisi od izabrane putanje. U tački P uočimo 1-formu
ω = ωµ dxµ . Možemo konstruisati polje 1-formi na mnogostrukosti paralelno prenoseći ω
formu. Važi
dxµ
∇µ ωρ = 0,
dλ
gde je λ afini parametar duž izabrane krive za paralelni prenos. Kako rezultat paralelnog
prenosa ne zavisi od putanje, to se gornja jednačina svodi na
∇µ ωρ = 0,
118 6. KRIVINA
pa je i
∇µ ωρ − ∇ρ ωµ = (dω)µ = 0,
ρ
Rαβµν |LRRS = gαρ Rβµν
= gαρ ∂µ Γρβν − ∂ν Γρβµ + Γρµγ Γγνβ − Γρνγ Γγµβ
1
= gαρ ∂µ g ρσ (∂β gνσ + ∂ν gβσ − ∂σ gβν )
2
1 ρσ (6.5.29)
− gαρ ∂ν g (∂β gµσ + ∂µ gβσ − ∂σ gβµ )
2
1 σ
= δα ∂µ ∂β gνσ + ∂µ ∂ν gβσ − ∂µ ∂σ gβν
2
− ∂ν ∂β gµσ − ∂ν∂µ gβσ + ∂ν ∂σ gβµ
1
= ∂µ ∂β gνα − ∂µ ∂α gβν − ∂ν ∂β gµα + ∂ν ∂α gβµ
2
6.5. OSOBINE TENZORA KRIVINE 119
3. R[αβµν] = 0.
Ovaj identitet je zapravo posledica prve dve osobine tenzora krivine.
Koristeći navedene osobine tenzora krivine, možemo da izračunamo broj nezavisnih
komponenti tenzora krivine u n dimenzija. Koristeći osobinu 1, dobijamo da je broj
komponenti tenzora krivine u n dimenzija
1 n(n − 1) n(n − 1) 1
( + 1) = (n4 − 2n3 + 3n2 − 2n).
2 2 2 8
Broj uslova (veza) je, na osnovu osobine 3, 4!1 n(n − 1)(n − 2)(n − 3) = 1
24
(n4 − 6n3 +
11n2 − 6n). Onda je broj nezavisnih komponenti
1 2 2
n (n − 1). (6.5.30)
12
Vidimo da u n = 1 tenzor krivine Rαβµν ima nula nezavisnih komponenti. U n = 2
Rαβµν ima jednu nezavisnu komponentu, u n = 3 broj nezavisnih komponenti je šest,
dok je u n = 4 broj nezavisnih komponenti dvadeset.
4. Bjankijevi (L. Bianchi) identiteti
∇[λ Rαβ]µν = 0. (6.5.31)
Ovaj identitet je posledica Jakobijevog (C. G. J. Jacobi) identiteta
[∇λ [∇µ , ∇ν ]]V ρ + cikl. = 0
i najjednostavnije se dokazuje u LRRS:
∇λ Rαβµν = ∂λ Rαβµν − Γδλα Rβδµν − Γδλβ Rαδµν − Γδλµ Rδβδν − Γδλν Rδβµδ
= ∂λ Rαβµν .
Dalje je
∂λ Rαβµν = ∂λ gαρ (∂µ Γρβν − ∂ν Γρβµ + Γρµσ Γσβν − Γρνσ Γσβµ )
= gαρ (∂λ ∂µ Γρβν − ∂λ ∂ν Γρβµ + članovi tipa (∂Γ)Γ)
= gαρ ∂λ (∂µ Γρβν − ∂ν Γρβµ )
1
= ∂λ (∂β ∂µ gαν − ∂ν ∂β gαµ − ∂µ ∂α gβν + ∂α ∂ν gβµ ).
2
120 6. KRIVINA
Sabiranjem dobijamo
g νβ g µλ ∇[λ Rαβ]µν = 0.
Eksplicitno:
∇µ Rαµ − ∇α g µλ Rλµν
ν
+ ∇ν Rαµν
µ
= 0.
2∇µ Rαµ − ∇α R = 0
1
∇µ Rαµ − gµα ∇µ R = 0.
2
Ovde smo uveli oznaku ∇µ koja zapravo znači (definisana je kao) ∇µ = g µα ∇α .
Kontrahovani Bajnkijev identitet onda glasi
1
∇µ (Rαµ − gµα R) = 0
2 (6.5.32)
∇µ (Gαµ ) = 0.
R = g νβ Rνβ . (6.5.34)
Konačno, Vajlov (H. Weyl), konformni tenzor predstavlja deo tenzora krivine traga
nula. Na n dimenzionoj mnogostrukosti, Vajlov tenzor je definisan na sledeći način:
2 2
Cαβµν = Rαβµν − gα[µ Rν]β − gβ[µ Rν]α + gα[µ gν]β R. (6.5.35)
(n − 2) (n − 1)(n − 2)
6.6. KILINGOVI VEKTORI 121
∇ρ ξσ + ∇σ ξρ = 0. (6.6.36)
pα ∇α (ξ µ pµ ) = 0. (6.6.37)
2
Ove transformacije se nekada nazivaju reskaliranje metrike, ili Vajlove transformacije. Cela konformna
grupa se, pored Poenkareove grupa sastoji još od dilatacija i specijalnih konformnih transformacija, videti
[13].
122 6. KRIVINA
Krenimo od opštijeg iskaza i pokažimo da, ako je W tangentni vektor na prozvoljni geodezik
µ
xµ (τ ), to jest W = dx
dτ µ
∂ važi
∇W (g(W, ξ)) = 0. (6.6.38)
Koristeći Lajbnicovo pravilo dobijamo
gde je Σ hiperpovrš prostornog tipa (normala nµ na nju je vremenskog tipa) i γij je in-
dukovana metrika na Σ hiperpovrši. Tenzor energije-impulsa čestice je T ρµ .
Može se definisati i Kilingov tenzor Kρ1 ,...ρn , koji je simetričan po indeksima ρ1 , ...ρn .
On zadovoljava jednačinu
∇(µ Kρ1 ,...ρn ) = 0. (6.6.40)
Veličina Kρ1 ,...ρn pρ1 ...pρn je očuvana duž geodezika, to jest
n(n+1)
izometrija. Maksimalno simetričan, n dimenzioni prostor ima, po definiciji, 2
izometrija.
Tenzor krivine u maksimalno simetričnom prostoru ima oblik
Odavde je
Rνσ = g µρ Rµνρσ
= F (g µρ gµρ gνσ − g µρ gµσ gνρ ) (6.6.43)
= F (n − 1)gνσ .
Slika 6.4
dxµ
∂s = ∂µ = S µ ∂µ . (6.7.46)
ds
µ
Komponente vektora ”devijacije” smo obeležili sa S µ = dx ds
.
Veličina ∇T S µ = V µ predstavlja ”relativnu brzinu” geodezika, dok ∇T ∇T S = Aµ pred-
stavlja ”relativno ubrzanje” geodezika. Ova veličina zapravo govori o promeni rastojanja
izmedju geodezika duž geodezika, to jest o širenju/skupljanju geodezika iz jedne geodezijske
familije. Izračunajmo Aµ :
Aµ = T ρ ∇ρ (T σ ∇σ S µ )
= T ρ ∇ρ (T σ ∇σ T µ )
= T ρ (∇ρ S σ )∇σ T µ + T ρ S σ ∇ρ ∇σ T µ
= S ρ (∇ρ T σ )∇σ T µ + T ρ S σ ∇σ ∇ρ T µ + T ρ S σ Rαρσ
µ
Tα
= S ρ ∇ρ (T σ ∇σ T µ ) − S ρ T σ ∇ρ ∇σ T µ + T ρ S σ ∇σ ∇ρ T µ + T ρ S σ Rαρσ
µ
T α.
Na prelazu iz drugog u treći red smo iskoristili (6.7.47) i (6.7.48). Najzad, koristeći (6.7.49),
dobijamo jednačinu geodezijske devijacije
D2 S µ
= Aµ = ∇T ∇T S µ = Rαρσ
µ
T αT ρS σ . (6.7.50)
dt2
Dobijeni rezultat je i bio očekivan: relativno rastojanje izmedju geodezika se menja pro-
porcionalno tenzoru krivine.
Uzmimo primer dvodimenzione sfere S 2 sa koordinatama (θ, ϕ). Može se pokazati da su
sve krive ϕ = const. geodezici. Parametar duž tih geodezika je θ. Jasno je da se rastojanje
izmedju geodezika menja sa promenom θ, to jest idući od severnog ka južnom polu sfere.
Koordinata t je ovde θ, dok je koordinata s ϕ.
Kao drugi primer možemo razmotriti kuglu koja se sastoji od tačkastih masa m i
koja pada u gravitacionom polju Zemlje. U toku pada, ova kugla će se izdužiti u elipsu
usled delovanja gravitacionog polje Zemlje. Tačna deformacija se može izračunati koristeći
jednačinu geodezijske devijacije. Ova deformacija se pripisuje delovanju takozvanih grav-
itacionih plimskih sila.
6.8. ZADACI ZA VEŽBU 125
6. Zadata je metrika
t
ds2 = −dt2 + a2 cosh2 dχ2 ,
a
gde je a pozitivna konstanta, a koordinate t i χ su u opsegu −∞ < t < +∞ i
0 < χ < π.
a) Izračunati Kristofelove simbole, tenzor krivine i skalarnu krivinu za ovu metriku.
b) Znajući da je ovo metrika 2D maksimalno simetričnog prostora (de Sitter), napisati
ternzor krivine i skalrnu krivinu na osnovu ove činjenice, pa uporediti rezultate za
rezultatima pod a).
c) Proveriti da li su krive χ = const. i t = const. geodezici u ovom prostoru.
d) Razmotriti paralelni prenos vektora V µ = (1, 0) duž krive t = const.. Naći
komponente paralelno prenetog vektora u funkiciji od χ. Ako je u početnom trenutku
vektor V nalazio u tački A = (5, 0) naći njegove komponente u tački B = (5, π/2).
7. a) Pokazati da Kilingovi vektori zadovoljavaju
∇µ ∇ν ξ ρ = Rρνµσ ξ σ ,
ξ µ ∇µ R = 0.
10. Pokazati da za koneksiju koja ima toriju različitu od nule Γλαβ − Γλβα = T λαβ 6= 0 važi:
Γλαβ = {αβ
λ
} + K λαβ ,
1
gde je kontorzija K λαβ definisana kao K λαβ = 2
T λαβ + Tα λ
β + Tα λ
β .
128 6. KRIVINA
7
Ajnštajnove jednačine
Postoji više načina da se izvedu osnovne jednačine Opšte relativnosti, Ajnštajnove jednačine.
Mi ćemo koristiti varijacioni princip. Na osnovu osnovnih principa (simetrija, dimenzion-
alnost), ćemo definisati Hilbertovo (D. Hilbert) ili Ajnštajn-Hilbertovo dejstvo. Varijacija
ovog dejstva po metričkom tenzoru gµν daće Ajnštajnove jednačine. U Njutnovom limesu
će se Ajnštajnove jednačine svesti na jednačine Njutnove gravitacije.
129
130 7. AJNŠTAJNOVE JEDNAČINE
d2 xµ
= 0,
dτ 2
to jest
x0 = t = C 1 τ + C 2 . (7.1.6)
U ovoj jednačini konstanta C1 predstavlja izbor skale, a konstanta C2 izbor koordinatnog
početka. Vidimo da su sopstveno vreme τ i laboratorijsko vreme x0 = t jednaki do na
izbor koordinatnog početka i izbor skale.
Iz jednačine (7.1.5) dobijamo
d2 xi 1 i
− ∂ h00 = 0
dτ 2 2
to jest
d2 xi ~ 1 h00 )i .
2
= (∇
dτ 2
7.2. HILBERTOVO DEJSTVO I AJNŠTAJNOVE JEDNAČINE 131
jeste invarijantno na difeomorfizme, ali nije bezdimenziona veličina. Naime, ovakav izraz
ima dimenziju [L]2 , pa se tek deljenjem sa Njutnovom konstantom G dobija bezdimenziona
veličina. Konačno, Hilbertovo dejstvo je oblika
√
Z
C
S= d4 x −gR, (7.2.9)
G
gde je C proizvoljna konstanta koju ćemo odrediti zahtevajući da se jednačina kretanja
koja se iz (7.2.9) dobije variranjem po gµν u Njutnovom limesu svede na (7.1.2).
Varirajmo sada dejstvo (7.2.9) po g µν . Varijacija daje tri člana koja ćemo posebno
razmatrati:
√
Z
C
δS = d4 xδ{ −gg µν Rµν }
G
√ √ √
Z
C
= d4 x{δ( −g)g µν Rµν + −g(δg µν )Rµν + −gg µν δRµν }
G
Z
C
d4 x I + II + III
= (7.2.10)
G
U računu ćemo koristiti sledeće formule
δg µν = −g µα δgαβ g βν , (7.2.11)
δg = gg αβ δgαβ = −ggαβ δg αβ , (7.2.12)
√ 1√ 1√
δ −g = − −gg αβ δgαβ = −ggαβ δg αβ . (7.2.13)
2 2
132 7. AJNŠTAJNOVE JEDNAČINE
Prva formula se dobija jednostavno varijacijom izraza gµν g νβ = δµβ . Dokažimo formulu
(7.2.12) pišući d = detgαβ u svojstvenom bazisu:
δg = δ(eln(Trgαβ ) )
= eTr ln(gαβ ) δ Tr(ln(gαβ ))
= g Tr(ĝ −1 δĝ)
= gg αβ δgαβ
= −ggαβ δg αβ .
Matricu gαβ smo u četvrtom redu obeležili sa ĝ. Formula (7.2.13) sledi iz (7.2.12)
√ 1 1√
δ −g = − √ (−ggµν δg µν ) = −ggµν δg µν .
2 −g 2
1√
Z
I = d4 xR(− −ggµν δg µν ) (7.2.14)
2
i
√
Z
II = d4 x −gRµν δg µν . (7.2.15)
Varijaciju δRµν ćemo izračunati u lokalno ravnom referentnom sistemu (LRRS). U LRRS
su svi Γγαβ jednaki nuli, ali su varijacije Kristofelovih simbola δΓγαβ različite od nule, pa
dobijamo
δRµν |LRRS = ∂α δΓαµν − ∂ν δΓαµα .
Kako je varijacija tenzora tenzor, ovaj izraz možemo prepisati kovarijantno, to jest u
proizvoljnom referentnom sistemu kao
1 αβ
δΓαµν = δ
g (∂µ gνβ + ∂ν gµβ − ∂β gµν ) .
2
7.2. HILBERTOVO DEJSTVO I AJNŠTAJNOVE JEDNAČINE 133
U trećem redu smo koristili metrički postulat, a u četvrtom redu Stoksovu teoremu (6.1.12).
Konačno, varijacije δg µν su stacionarne, to jest jednake nuli na graničnoj površi, pa je i
δΓαµν = 0 na graničnoj površi1 . Konačno, varijacija celog dejstva je
√
Z
C 1
δS = d4 x −g(Rµν − gµν R) = 0, (7.2.24)
G 2
1
Ovaj zaključak nije baš sasvim korektan. Naime, nekada su površinski članovi neophodni da bi vari-
ajcioni princip bio dobro defininsan. Funkcionalni izvod proizvoljnog dejstva za polje φ može izgledati
kao Z
δS = d4 x Eδφ + ∂µ (B1 δφ) + ∂µ (B2 δ∂µ φ) .
Prvi član daje jednačine kretanja za polje φ. Član uz konstantu B1 je površinski član i jednak je nuli jer je
δφ na graničnoj površi jednako nuli. Član uz konstantu B2 je površinski član, ali nije neophodno jednak
nuli, jer δ∂µ φ ne mora biti nula na graničnoj površi. Da bi se ovaj član poništio, to jest da bi funkcionalni
izvod dejstva bio zaista nula, početnom dejstvu se dodaje još jedan površinski član, čija varijacija treba
da poništi član uz konstantu B2 . Za Hilbertovo dejstvo, ovaj član je Gibbons-Hawking-York član
Z √
SGHY = dΣ hK,
M
pa je
1
Rµν − gµν R = 0. (7.2.25)
2
Ovo su vakkumske Ajnštajnove jednačine. Primetimo da vrednost konstante C nije bitna
u slučaju vakuuma.
Pre nego što definišemo dejstvo za polja materije, napomenimo da se varijacija Hilber-
tovog dejstva može naći i na drugačiji način, koristeći takozvani Palatini (A. Palatini)
pristup. Suština ovog pristupa je da se koneksija i metrika tretiraju kao nezavisna polja,
videti zadatak 4.1.
Jednačine (7.2.25) su vakumske Ajnštajnove jednačine. Vrednost konstante C nije bitna
u slučaju vakuumskih Ajnštajnovih jednačina, ali će ona postati značajna kada dodamo
interakciju sa materijom. Neka je ukupno dejstvo definisano kao
S = Sg + Sm , (7.2.26)
C√ 1 δSm
−g(Rµν − gµν R) + µν = 0
G 2 δg
(7.2.27)
1 G δSm G
Rµν − gµν R = − √ µν
= Tµν .
2 C −g δg 2C
2 δSm
Tµν = − √ . (7.2.28)
−g δg µν
1
∇µ (Rµν − gµν R) = 0.
2
Onda je i
2 δSm
∇µ (− √ ) = ∇µ Tµν = 0. (7.2.29)
−g δg µν
Da bismo se uverili da definicija (7.2.28) zaista daje tenzor energije-impulsa, posma-
trajmo primer realnog skalarnog polja φ, mase m, koje je minimalno kuplovano sa grav-
itacionim poljem. Dejstvo Sm je definisano kao
√ m2 2
Z
1
Sm = d4 x −g(− g αβ (∇α φ)(∇β φ) − φ ). (7.2.30)
2 2
7.3. NJUTNOV LIMES AJNŠTAJNOVIH JEDNAČINA 135
2 δSm
Tµν = − √ = (∇µ φ)(∇ν φ) + gµν L, (7.2.31)
−g δg µν
m2 2
Z
1
SSRT = d4 (− η µν ∂µ φ∂ν φ − φ ).
2 2
T µν = (p + ρ)U µ U ν + pg µν , (7.3.33)
T 00 = ρ. (7.3.34)
G
Kontrahovanjem Ajnštajnovih jednačina (7.2.27) sa g µν dobijamo da je R = − 2C T , gde je
µν
T = g Tµν ≈ −ρ trag TEI. Koristeći ovo, Ajnštajnove jednačine se mogu prepisati kao
G G
Rµν = Tµν − gµν T. (7.3.35)
2C 4C
(0, 0) komponenta ove jednačine je
G G
R00 = T00 + T.
2C 4C
Koristeći definiciju Ričijevog tenzora (6.5.33) i limes slabog polja, za R00 dobijamo
1
R00 = ∂i Γi00 = − ∆h00 . (7.3.36)
2
Zamenjujući ovo u (00) komponentu Ajnštajnove jednačine, dobijamo
1 G
− ∆h00 = Gρ.
2 4C
Koristeći sada rezultat is prvog poglavlja, h00 = −2Φ, gde je Φ Njutnov potencijal, dobi-
jamo
G
∆Φ = ρ.
4C
1
Poredeći ovaj rezultat sa Njtnovom jednačinom (7.1.2), zaključujemo da je C = 16π .
Konačno, možemo napisati kompletne Ajnštajnove jednačine
1
Rµν − gµν R = 8πGTµν . (7.3.37)
2
materija. Rezultati merenja crvenog pomaka sa udaljenih supernova iz 1998. godine, kao
i rezultati CMB (kosmičkog mikrotalasnog pozadinskog) zračenja su ukazivali na to da
se Svemir širi, ali ubrzano (”antigravitacioni” efekat). To ubrzanje se ne može objasniti
postojećim oblicima materije u Svemiru, pa je zato uveden pojam Tamne energije. To
je nepoznata forma energije, čija je jednačina stanja p = −ρ, to jest, Tamna energija
ima negativan pritisak. Postoje različiti modeli Tamne energije, ali je trenutno najpri-
hvaćeniji model kosmološke konstante. Naime, u Hilbertovo dejstvo se može dodati član
sa kosmološkom konstantom
√
Z
1
S= d4 x −g(R − 2Λ) + Sm . (7.4.41)
16πG
Jednačine kretanja koje se dobiju iz ovog dejstva se mogu napisati u sledećem obliku
1 (m) 1
Rµν − gµν R = 8πG(Tµν − gµν Λ). (7.4.42)
2 8πG
Odavde vidimo da je TEI koji odgovara kosmološkoj konstanti zapravo
1
Tµν = − gµν Λ.
8πG
Poredeći ovo sa oblikom TEI za idealni fluid T µν = (ρ + p)U µ U ν + g µν p, zaključujemo da
je jednačina stanja koju zadovoljava kosmološka konstanta p = −ρ i da je
Λ
ρΛ = . (7.4.43)
8πG
Vidimo da kosmološka konstanta zaista može opisivati Tamnu energiju. Poreklo kosmološke
konstante je jedan od akutelnih problema u fizici. Prirodno bi bilo očekivati, na osnovu
kvantne teorije polja, da je kosmološka konstanta zapravo energija vakuuma. To za vred-
nost kosmloške konstante daje 1072 GeV 4 = 10112 erg/cm3 = MPl4 . Eksperimentalni rezul-
tati, dobijeni na osnovu ubrzanog širenja Svemira, daju da je vrednost kosmološke kon-
stante 1048 GeV 4 = 10−8 erg/cm3 . Neslaganje izmedju eksperimentalnih rezultata i pred-
vidjanja kvantne teorije polja je 123 redova veličine i poznato je kao ”problem kosmološke
konstante”.
Osim kosmološke konstante, postoje i drugi modeli Tamne energije. Neki od njih
uvode novo skalarno polje, čiji se potencijal modelira tako da može opisivati Tamnu en-
ergiju. Drugi modeli su zasnovani na modifikaciji Opšte relativnosti, to jest Ajnštajnovih
jednačina. Neki od ovih modela su opisani u [15] i [16].
Kada govorimo o različitim TEI i različitim oblicima materije, napomenimo i sledeće.
Tenzor energije impulsa materije se u Opštoj relativnosti najčešće zadaje (modelira). Da
bi zadati TEI zaista opisivao realnu materiju, on mora da zadovoljava odredjene uslove.
Ti uslovi se nazivaju energijski uslovi i ima ih tri tipa: slabi, dominantni i jaki. Najčešće
korišćeni uslov je domnantni energijski uslov i on je definisan na sledeći način. Neka je tµ
proizvoljni vektor vremenskog tipa, tµ tµ < 0. Onda mora da važi:
Tµν tµ tν ≥ 0, (7.4.44)
T µν tν nije prostornog tipa, t.j. (T µν tν )2 ≤ 0. (7.4.45)
7.5. ZADACI ZA VEŽBU 139
gde je Rµν funkcija simetrične koneksije Γραβ i koneksija a priori nema veze sa metrikom.
Naći jednačine kretanja koje se dobijaju variranjem ovog dejstva po metrici i konek-
siji. Pokazati da jednačina koja se dobija variranjem po Γραβ fiksira da je koneksija
metrička koneksija, tj. Γραβ su Kristofelovi simboli.
2. a) U d = 4 iz Ajnštajnovih jednačina sledi
1
Rµν = k(Tµν − T gµν ).
2
Kako izgleda Rµν izražena preko T i Tµν u proizvoljnom broju dimenzija?
b) U d = 2 napisati najopštiji izraz za Rimanov tenzor koji je u saglasnosti sa
simetrijama tog tenzora. Koristeći taj rezultat pokazati da su Ajnštajnove jednačine
u d = 2 ekvivalentne sa Tµν = 0.
3. Dejstvo za elektromagnetno (EM) polje u zakrivljenom prostoru je
4 √
Z 1
µρ νσ ρ
S = d x −g − g g Fµν Fρσ + Aρ J ,
4
gde je J ρ struja materije.
a) Naći jednačine kretanja za EM polje i pokazati da je J ρ kovarijantno očuvana
struja.
b) Naći TEI variajući dejstvo po metrici.
c) Koristeći definiciju dejstva za EM polje u prostoru Minkovskog, na osnovu Neterine
teoreme izračunati TEI (očuvna struja pri prostorno-vremenskim translacijama) za
EM polje. Uporediti rezultat sa rezultatom pod b).
d) Proveriti kako se modifikuju jednačine kretanja za EM polje dobijene pod a), ako
se polaznom dejstvu doda član
Z
S1 = k1 F ∧ F .
Prvo ovo dejstvo napisati u koordinatnom bazisu, pa onda naći jednačine kretanja.
e) Polaznom dejstvu se može dodati novi član
√
Z
S2 = k2 d4 x −gRµν g ρσ Fµρ Fνσ .
Švarcšildovo rešenje
141
142 8. ŠVARCŠILDOVO REŠENJE
dt2 1
ds2 = ( 2
2
− gar dr2 ) + grr dr2 + r2 dΩ2 ,
I (a, r) gaa
to jest
dt2 2
gar
ds2 = + (grr − )dr2 + r2 dΩ2 ,
I 2 (a, r)gaa gaa (8.1.3)
ds2 = A(r, t)dt2 + B(r, t)dr2 + r2 dΩ2 .
to jest
0
ds2 = −e−2β(r) dt 2 + e2β(r) dr2 + r2 dΩ2 , (8.1.7)
gde je dt0 = eγ(t) dt. Koristeći ovaj rezultat, iz (θθ) komponente jednačine (8.1.1) dobijamo
e−2β (2r∂r β − 1) + 1 = 0.
2 C 2 dr2
ds = −(1 + )dt + C
+ r2 dΩ2 . (8.1.9)
r 1+ r
2 2GM 2 dr2
ds = −(1 − )dt + 2M G
+ r2 dΩ2 . (8.1.10)
r (1 − r )
U slučaju stacinarnog rešenja takodje postoji Kilingov vektor vremenskog tipa i metrički
tenzor ne zavisi od vremena. Medjutim, stacionarno rešenje nije invarijantno na vremensku
inverziju. Primer stacionarnog rešenja je gravitaciono polje sferno simetrične, ravnomerno
rotirajuće zvezde (planete ili crne rupe). Ovakvo rešenje naziva se Kerovo (R. Kerr) rešenje.
Kao i kod očuvane energije, jednačinu (8.2.16) ćemo koristiti u oba slučaja (masene i
bezmasene čestice), a smisao veličine L će zavisiti od konkretnog slučaja.
Najzad, kvadrat četvorovektora brzine U µ Uµ je očuvan duž geodezika, pa je
dxµ dxν +1 za masene čestice
µ
−U Uµ = κ = −gµν = −1 za tahione (8.2.17)
dλ dλ
0 za bezmasene čestice
2M G dt 2 1 dr dθ dϕ
(1 − )( ) − 2M G
( )2 − r2 ( )2 − r2 sin2 θ( )2 = κ.
r dλ 1 − r dλ dλ dλ
dr 2 2M G L2
( ) = E 2 − (1 − )( 2 + κ)
dλ r r
= E 2 − V 2 (r), (8.2.18)
gde se
2M G L2
V 2 (r) = (1 − )( 2 + κ) (8.2.19)
r r
1 dr 2 2m L2 α
m( ) = E − ( 2 2
− )
2 dt r 2m r
= E − Vef f . (8.2.20)
Poredeći V 2 (r) i Vef f vidimo da se u Švarcšildovom potencijalu pojavljuje novi član ob-
2
lika 2MrGL
3 . Doprinos ovog člana opada sa porastom r, ali je njegov doprinos vrlo bitan.
Zahvaljujući njemu orbite čestica u Švarcšildovom porencijalu nisu konusni preseci (kao u
slučaju Njutnovog potancijala), već male deformacije istih.
Razmotrimo sada konkretno orbite masenih čestica. Pretpostavimo da su E i L fiksir-
2
ani. Tada je V 2 (r) = (1 − 2Mr G )( Lr2 + 1) funkcija samo radijalne koordinate r i prikazana
je na Slici 8.2.
8.2. IZNAD HORIZONTA DOGADJAJA 147
3. Orbite tipa G: ove orbite predstavljaju transfinitno kretanje čestice koja dolazi iz
beskonačnosti, prolazi pored izvora Švarcšildovog potencijala na rastojanju rmin ,
skreće i ubrzava, pa nastavlja da se odaljava u beskonačnost. Da čestica zaista
ubrzava kada dodje do rmin i nastavi da se kreće dalje, može se videti iz sledeće
analize. Diferenciranjem (8.2.18) po afinom parametru λ, dobija se
dr d2 r dV 2 dr
2 = − ,
dλ dλ2 dr dλ
dr
to jest, koristeći da je dλ
6= 0
2
d2 r 1 dV 2
=− .
dλ 2 dr
dV 2
Sa Slike 8.2 se vidi da je dr
< 0, to jest V 2 se smanjuje kako se r povećava od rmin ,
d2 r 2
to jest kako se čestica udaljava od izvora potencijala. Onda je dλ
> 0, pa se vidi
da čestica zaista ubrzava.
148 8. ŠVARCŠILDOVO REŠENJE
Slika 8.4
4. Orbita tipa F: ovo je orbita čestice koja ima dovoljano energije da iz beskonačnosti
nastavi kretanje sve do r = 0. Ovakve orbite nisu fizičke, jer potencijal V 2 (r) nije
definisan za r < 2M G. Već smo rekli da za realne izvore (planete, zvezde) vrednost
2M G je duboko u unutrašnjosti izvora, pa orbite F tipa zaista nemaju fizičkog smisla.
U slučaju bezmaasenih čestica, potencijal V 2 (r) ima oblik
L2 2M G
V2 = 2 1− , (8.2.21)
r r
2
videti sliku 8.3. Orbita A je kružna orbita. Iz uslova da je dV dr
= 0, dobija se da je
radijus kružne orbite r = 3M G. U Njutnovoj gravitaciji, svetlost (fotoni) ne interaguje
sa gravitacionim poljem, pa samim tim nema ni kružnih orbita za fotone. Orbite G-tipa
predstavljaju transfinitno kretanje, kao i u slučaju masenih čestica. Nefizičke orbite F tipa
postoje i ovde, ali se sa slike 8.3 vidi da orbite C-D tipa (”skoro” eliptične) ne postoje u
slučaju bezmasenih čestica.
Slika 8.5
Poznato je (takodje na osnovu astronomskih merenja) da ova precesija potiče delimično
00
od precesije našeg geocentričnog sistema (5.6 × 103 100god. ). Takodje, deo precesije potiče
00
od uticaja gravitacionog polja drugih planeta (0.532 × 103 100god. ). Ipak, ova dva uzroka
ne objašnjavaju u potpunosti precesiju perihela Merkura. Naime, merenja pokazuju da
00
postoji još 43 100god. precesije koje Njutnova gravitacija ne može da objasni. To je upravo
doprinos Opšte teorije relativnosti, to jest novog člana u potencijalu (8.2.19).
dλ 2
Krenimo od jednačine (8.2.18) i pomnožimo je sa dϕ . Tako dobijamo jednačinu
dr 2 r4 r4 2M G L2
( ) = E 2 2 − 2 (1 − )(1 + 2 ),
dϕ L L r r
to jest
1 dr 2 E 2 1 2M G L2
( ) = − (1 − )(1 + ). (8.2.22)
r4 dϕ L2 L2 r r2
L2
Uvodeći bezdimezionu veličinu x = M Gr
, gornja jednačina se može prepisati kao
(M G)2 dx 2 E 2 1 2 x x2 M 2 G2
( ) = − (1 − 2(M G) )(1 + ).
L4 dϕ L2 L2 L2 L2
Diferenciranjem po ϕ i sredjivanjem, dobijamo
d2 x MG 2 2
− 1 + x − 3( ) x = 0. (8.2.23)
dϕ2 L
d x2
Primećujemo da smo, pored standardnog rezultata Njutnove gravitacije dϕ 2 − 1 + x = 0,
MG 2 2
dobili i novi član −3( L ) x , koji je posledica OTR.
U nastavku ćemo potražiti rešenja jednačine (8.2.23). Koristićemo perturbativni pristup
i pretpostaviti da je rešenje oblika x = x0 + x1 . Ovde x0 predstavlja (već poznato) rešenje
Njutnove gravitacije, dok je x1 mala popravka tog rešenja, koja je posledica novog člana u
jednačini (8.2.23). Zamenjujući pretpostavljeno rešenje, dobijamo
d2 MG 2 2
2
(x0 + x1 ) − 1 + x0 + x1 − 3( ) (x0 + 2x0 x1 + x21 ) = 0.
dϕ L
Jednačina u nultom redu glasi
d2 x0
− 1 + x0 = 0. (8.2.24)
dϕ2
Rešenje ove jednačine daje eliptičku trajetkoriju Merkura
b2
x0 = 1 + e cos ϕ, e2 = 1 − , (8.2.25)
a2
gde je e ekscentricitet elipse, a a i b su velika i mala poluosa respektivno.
150 8. ŠVARCŠILDOVO REŠENJE
gde je ∆ϕ = 2πα. Ova promena se može izraziti preko parametara trajektorije Merkura
kao
MG
∆ϕ = 6π . (8.2.29)
a(1 − e2 )
Zamenjujući podakte za GM c2
= 1.48km (M je masa Sunca), a = 5.79 × 1010 m i e = 0.2056,
dobijamo sledeći rezultat
00
∆ϕ = 43 , (8.2.30)
100god.
što je upravo deo koji nije mogao da se objasni Njutnovom gravitacijom.
Dalje bismo mogli da ovu analizu ponovimo u slučaju kretanja bezmasene čestice (svet-
losti) u gravitacionom polju Sunca. Zaključili bismo da trajektorija svetlosnog zraka u
gravitacionom polju odstupa od prave linije, zadatak 8.2. Ovo odstupanje je prvi put
izmerio Edington (A. Eddington) 1919. godine i dobio slaganje sa predvidjanjima OTR.
Razmotrimo na kraju i crveni pomak svetlosti u gravitacionom polju. Izaberimo usputni
referentni sistem nekog posmatrača u Švarcšildovom potencijalu, koji treba da detektuje
8.3. ISPOD HORIZONTA DOGADJAJA 151
E = −U µ pµ , (8.2.31)
µ
gde je U µ četvorovektor brzine posmatrača, a pµ = dxdλ
četvorovektor impulsa fotona. Neka
posmatrač meri energiju fotona ~ω u dve različite tačke r1 i r2 . Onda ćemo imati
r
2M G 2M G dt
(~ω)1 = −gµν U µ pν = (1 − )U 0 p0 = 1 − ,
r1 r1 dλ
r
µ ν 2M G 0 0 2M G dt
(~ω)2 = −gµν U p = (1 − )U p = 1 − .
r2 r2 dλ
Dalje možemo iskoristiti da se foton kreće po geodeziku (na njega ne deluje nikakva druga
sila, osim gravitacione). Onda je energija fotona očuvana i važi (8.2.13). Zamenjujući
(8.2.13) u prethodne dve jednačine, dobijamo da je odnos energija (frekvenci) izmerenih u
r1 i r2 dat sa v
1 − 2M G
u
(~ω)2 u r1
= t . (8.2.32)
(~ω)1 1 − 2M
r2
G
singularnost u metrici posledica izbora koordinatnog sistema. U ovoj glavi ćemo pokazati
da se izborom drugačijeg koordinatnog sistema, ova singularnost otklanja. Sa druge strane,
r = 0 predstavlja pravu singularnost. Fizičke veličine, kao sto je inverijanta Rµνρσ Rµνρσ
divergiraju u r = 0. Ova singularnost je prava i ne može se otkloniti pogodnim izborom
koordinatnog sistema.
Da bismo bolje razumeli karakteristike hiperpovrši r = 2M G i singularnosti r = 0, pos-
matrajmo kretanje radijalno upadajuće masene čestice u Švarcšildovoj geometriji. Radi-
jalno upadajuće kretanje je takvo da se r smanjuje sa vremenom, a θ i ϕ ostaju nepromen-
jeni. Izračunajmo koliko je vremena potrebno da ova čestice predje iz Rin u Rf in < Rin .
Izračunajmo prvo koliki interval sopstvenog vremena protekne u kretanju od Rin do
Rf in . Krenimo od
dxµ dxν
−1 = gµν
dτ dτ
dt dr
= g00 ( )2 + g11 ( )2
dτ dτ
2M G E2 1 dr
= −(1 − ) 2M G 2
+ 2M G
( )2 .
r (1 − r ) 1 − r dτ
Iskoristili smo da je kretanje radijalno, pa su θ i ϕ konstante. Iskoristili smo (8.2.13), jer se
čestica kreće po geodeziku. Konstantu E možemo odrediti iz uslova da ona u beskonačnosti
E
miruje. Onda je očuvana energija (po jedinici mase, jer se radi o masenoj čestici) E = m =
m
m
= 1. Koristeći ovaj rezultat, dobijamo
√
r
dτ = − √ dr,
2M G
što integracijom daje
2 3 3
τf in − τin = √ (Rin
2
− Rf2in ). (8.3.34)
3 2M G
Na osnovu ovog rezultata zaključujemo da masenoj čestici koja pada ka r = 0 treba konačan
interval sopstvenog vremena da iz Rin stigne do nekog Rf in , pa čak kada je Rf in = 2M G
ili Rf in = 0.
Izračunajmo sada koliki interval vremena t (sopstveno vreme posmatrača u beskonačnosti,
ili bar jako daleko od izvora M ) protekne dok se čestica kreće od Rin do Rf in . Polazeći od
iste jednačine kao u prvom slučaju, dobijamo
dxµ dxν
−1 = gµν
dτ dτ
2M G dt 2 1 dr dt
= −(1 − )( ) + 2M G
( )2 ( )2 .
r dτ 1 − r dt dτ
Odavde je
dr 2 E 2 − (1 − 2Mr G ) 2M G 2
( ) = (1 − )
dt E2 r
2M G 2M G 2
= (1 − ),
r r
8.3. ISPOD HORIZONTA DOGADJAJA 153
to jest r
dr 2M G 2M G
=− (1 − ).
dt r r
Znak − smo izabrali jer se čestica kreće ka manjem r, to jest r opada kako vreme raste.
Integracijom ove jednačine dobijamo
2 3 3 1 1
tf in − tin = − √ Rf2in − Rin
2
+ 6M GRf2in − 6M GRin
2
3 2M G
p √ √ √
( Rf in + 2M G)( Rin − 2M G)
+2M G ln p √ √ √ . (8.3.35)
( Rf in − 2M G)( Rin + 2M G)
Primećujemo da je ∆t = tf in − tin konačno sve dok je Rf in > 2M G. Kada je Rf in =
2M G, ∆t → ∞. To jest, posmatrač u beskonačnosti će meriti da čestici treba beskonačno
vremena da iz nekog Rin stigne u Rf in = 2M G i on nikada neće videti2 (izmeriti) da je
čestica prešla Rf in = 2M G i nastavila da se kreće ka r = 0.
2
Da posmatrač koji je u tački A na prostorno-vremenskom dijagramu, vidi dogadjaj B, zapravo znači
da svetlosni zrak odposlat iz B stiže do A u konačnom vremenskom intervalu, to jest A mora da bude u
budućem svetlosnom konusu od B.
154 8. ŠVARCŠILDOVO REŠENJE
Slika 8.6
Ovo skpljanje i zatvaranje svetlosnog konusa je zapravo posledica specijalnog izbora
koordinatnog sistema. Probajmo sada da definišemo nove koordinate, takve da u njima
svetlosni konus ostane otvoren čak i u r = 2M G. Prvo ćemo uvesti takozvanu tortoaznu
koordinatu r∗ kao
dr
dr∗ = .
1 − 2Mr G
Odavde se integracijom3 dobija
r
r∗ = r + 2M G ln( − 1). (8.3.40)
2M G
Očigledno je da je −∞ < r∗ < +∞ za 2M G < r < +∞. U koordinatama (t, r∗ , θ, ϕ)
Švarcšildova metrika je
2GM
ds2 = (1 − )(−dt2 + dr∗2 ) + r2 (r∗ )dΩ2 . (8.3.41)
r
Za svetlost važi ds2 = 0, pa je onda
dt
= ±1. (8.3.42)
dr∗
Vidimo da se u (t, r∗ , θ, ϕ) koordinatama svetlosni konusi ne skupljaju, već ostaju otvoreni
i u r = 2M G. Medjutim, r∗ koordinataje definisana samo za r > 2M G, pa opet nismo
”pokrili” celo Švarcšildovo prostor-vreme.
3
Zapravo, prilikom integracije se mora voditi računa o vrednosti r. Naime, za r > 2M G rezultat
integracije je (8.3.40). Medjutim, ako je r < 2M G, rezultat integracije će biti
r
r∗ = r + 2M G ln(1 − ). (8.3.39)
2M G
Vidimo da je r∗ u ovom slučaju u opsegu 0 > r∗ > −∞ za 0 < r < +2M G.
8.3. ISPOD HORIZONTA DOGADJAJA 155
v = t + r∗ ,
u = t − r∗ . (8.3.43)
Zamenimo prvo koordinate (t, r) koordinatama (v, r). Švarcšildova metrika je onda
2GM
ds2 = −(1 − )dv 2 + 2dvdr + r2 dΩ2 . (8.3.44)
r
2M G dv 2 dv
−(1 − )( ) + 2 = 0.
r dr dr
Odavde je
dv 2M G dv
( ) 2 − (1 − ) = 0,
dr r dr
pa je
dv dv 2
= 0, ili = . (8.3.45)
dr dr 1 − 2Mr G
Kada je dv dr
= 0, to jest v = const. svetlosni zraci su dolazeći. Ove linije će predstavljati
jednu granicu svetlosnog konusa. Drugu granicu svetlosnog konusa odredjuju linije dv dr
=
2
1− 2M G
. Pogledajmo neke specijalne vrednosti
r
2, r → ∞
4, r = 4M G
dv
= ∞, r = 2M G .
dr
−2, r = M G
0, r = 0
Slika 8.7
2GM
ds2 = −(1 − )du2 − 2dudr + r2 dΩ2 . (8.3.46)
r
8.3. ISPOD HORIZONTA DOGADJAJA 157
du du 2
= 0, ili =− . (8.3.47)
dr dr 1 − 2Mr G
−2, r → ∞
−4, r = 4M G
du
= −∞, r = 2M G .
dr
2, r = M G
0, r = 0
Slika 8.8
Sa slike vidimo da se i u ovom slučaju svetlosni konusi skupljaju i naginju. Dok god je
r > 2M G, svetlosni signali iz r mogu da se šalju i ka R > r i ka R < r. U r = 2M G
svetlosni konus je tako nagnut da je slanje signala ka R < r = 2M G nije više moguće.
Za sve r < 2M G signali mogu da se kreću samo ka R > r. U r = 0 svetlosni konus je
potpuno zatvoren. Singularnost r = 0 se naziva singularnost bele rupe, jer posmatraču
u beskonačnosti (ili jako daleko od r = 0) izgelda da sve čestice (informacije) ”izviru” iz
r = 0. Hiperpovrš r = 2M G naziva se prošli horizont dogadjaja, jer je svim česticama
koje dolaze iz r < 2M G prošlost jednoznačno odredjena: one dolaze iz r = 0.
Birajući različite koordinatne sisteme, pokazali smo da je singularnost u r = 2M G ko-
ordinatna singularnost i da je kauzalna struktura na r = 2M G dobro definisana. Prava sin-
gularnost je u r = 0 i zaista vidimo da svetlosni konusi u r = 0 kolapsiraju. Uočavamo med-
jutim da smo, birajući dva različita seta koordinata, dobili dva različita dela Švarcšildovog
158 8. ŠVARCŠILDOVO REŠENJE
r r 2M G
du0 dv 0 = e 2M G (1 − )dudv. (8.3.50)
2M G r
Odavde je
2M G 2M G − r
(1 − )dudv = e 2M G du0 dv 0 . (8.3.51)
r r
Zamenom u (8.3.46), dobijamo Švarcšildovu metriku u (u0 , v 0 , θ, ϕ) koordinatama
2M G − r
ds2 = − e 2M G du0 dv 0 + r2 (u0 , v 0 )dΩ2 . (8.3.52)
r
Vidimo da je metrika potpuno regularna u r = 2M G, dok singularnost u r = 0 ostaje
vidljiva.
Potražimo vezu izmedju dva seta koordinata (u, v, θ, ϕ) i (u0 , v 0 , θ, ϕ) u oblasti r > 2M G.
Na osnovu (8.3.49) zaljučujemo da imamo dve mogućnosti:
v
I v 0 = 4M Ge 4M G , 0 < v 0 < +∞,
u
u0 = −4M Ge− 4M G , −∞ < u0 < 0. (8.3.53)
v
II v 0 = −4M Ge 4M G , −∞ < v 0 < 0,
u
u0 = 4M Ge− 4M G , 0 < u0 < +∞. (8.3.54)
8.3. ISPOD HORIZONTA DOGADJAJA 159
i koristeći (8.3.39), za metriku u ovoj oblasti dobijamo opet (8.3.52). Veza izmedju (u, v)
i (u0 , v 0 ) koordinata u ovoj oblasti je
v
III v 0 = 4M Ge 4M G , 0 < v 0 < +∞,
u
u0 = 4M Ge− 4M G , 0 < u0 < +∞. (8.3.56)
v
IV v 0 = −4M Ge 4M G , −∞ < v 0 < 0,
u
u0 = −4M Ge− 4M G , −∞ < u0 < 0. (8.3.57)
2M G − r
ds2 = − e 2M G du0 dv 0 + r2 (u0 , v 0 )dΩ2 . (8.3.58)
r
1 1
T = (u0 + v 0 ), R = (v 0 − u0 ). (8.3.59)
2 2
2M G − r
ds2 = e 2M G (−dT 2 + dR2 ) + r2 (T, R)dΩ2 . (8.3.60)
r
dT
= ±1. (8.3.61)
dR
Slika 8.9
Da bismo na ovom dijagramu uočili horizonte dogadjaja i singularnosti crne i bele rupe,
trebalo bi da koordinate (T, R) povežemo sa (t, r) koordinatama. Konkretan oblik veza
zavisiće od oblasti. Mi ćemo navesti ovde veze za I i III oblast, a proširenje na II i IV
oblast se lako nalazi. Dakle
r
r r t
I T = 4M G − 1e 4M G sinh( ),
2M G 4M G
r
r r t
R = 4M G − 1e 4M G cosh( ). (8.3.62)
2M G 4M G
r
r r t
III T = 4M G 1 − e 4M G cosh( ),
2M G 4M G
r
r r t
R = 4M G 1 − e 4M G sinh( ). (8.3.63)
2M G 4M G
Uočimo na Slici 8.9 neke specijalne hiperpovrši u oblastima I i III. Hiperpovrši r = const.
r
su date hiperbolama T 2 − R2 = (4M G)2 (1 − 2Mr G )e 2M G . Hiperpovrši t = const. su prave
T
linije koje prolaze kroz koordinatni početak R = tanh( 4Mt G ), u I oblasti, i R
T
= coth( 4Mt G ),
u III oblasti. Budućem horizontu dogadjaja r = 2M G onda odgovara T 2 − R2 = 0, to
jest T = ±R. Ove hiper-površi su takodje i hiper-površi t = ±∞. U oblasti III se nalazi
singularnost crne rupe u r = 0. Njoj odgovara hiperbola T 2 −R2 = (4M G)2 . Slična analiza
se može uraditi i za oblasti II i IV, videti zadatak 8.5.
Svetlosni konusi na Slici 8.9 odgovaraju analizi kauzalne strukute koju smo uradili u
poglavlju 8.3.1, koristeći Edington-Finkelštajnove koordinate. Singularnost r = 0 u oblasti
III je zaista singularnost crne rupe: svetlosni konusi za 0 < r < 2M G su tako okrenuti
da je moguće kretanje samo u smeru opadajućeg r, to jest ka r = 0. Sa druge strane, u
oblasti IV imamo singularitet bele rupe u r = 0: svetlosni konusi za 0 < r < 2M G su
u toj oblasti okrenuti tako da je jednino moguće kretanje u smeru rastućeg r, to jest ka
8.3. ISPOD HORIZONTA DOGADJAJA 161
dr2
ds2 = + r2 dϕ2
1 − 2Mr G
1
= dr2 ( 2M G
− 1) + dr2 + r2 dϕ2 .
1− r
1
Uvodeći z koordinatu kao dr2 ( 1− 2M 2
G − 1) = dz , možemo ovu hiperpovrš predstaviti kao
r
2D površ u 3D euklidskom prostoru, zadatu sa
z2
r − 2M G = . (8.3.64)
8M G
Slika 8.12
Sa Slike 8.10 vidimo da hiperpovrš (8.3.64) predstavlja dve asimptotski ravne oblasti,
koje su povezane crvotočinom, to jest Ajnštajn-Rozenovim (N. Rosen) mostom. Evolucija
crvotočine, to jest njena širina se može pratiti i izgleda kao na Slici 8.11 i Slici 8.12. U A
vidimo dve asimptorski ravne oblasti (I i II) koje su razdvojene singularnošću u r = 0. U
162 8. ŠVARCŠILDOVO REŠENJE
B se ”otvara” crvotočina koja povezuje ove dve oblasti, a u C je ona najšira i njen orvor
je radijusa r = 2M G. Zatim se crvotočina ponovo sužava, D, i u E imamo opet oblasti I i
II razdvojene singularnošću u r = 0. Ovo širenje i skupljanje cvotočine je toliko brzo, da
ni svetlost ne stigne da prodje kroz nju i predje iz jedna u drugu asimprotski ravnu oblast.
Tako da komunikacija izmedju njih nikada nije moguća. Kako su Anštajnove jednačine
lokalne, to one ništa ne govore o topološkim karakteristikama prostor-vremena. Tako se
može desiti da su oblasti I i II zapravo povezane kao na slici 8.13, to jest da su one dve
oblasti u jednom prostor-vremenu (Svemiru), a ne dva različita Svemira.
Slika 8.13
Pojam crvotočina i putovanja kroz prostor i/ili vreme se vrlo često (i vrlo netačno) koristi
u naučnoj fantastici.
Slika 8.14
Svaka tačka na ovom dijagramu je zapravo dvosfera, jer smo uglove θ, ϕ zanemarili, to jest
nismo ih uzeli u obzir pri cirtanju dijagrama. Ovo jedino ne važi za tačke r = 0, i+ i i− ,
koje su zaista tačke. Razmotrimo bitne tačke i površi na ovom dijagramu.
(2M G)3 − r
ds2 = −4 e 2M G dũdṽ + r(ũ, ṽ)2 dΩ2 . (8.4.75)
r
Ũ Ṽ
= arctan(ũ), = arctan(ṽ), −π 6 Ũ , Ṽ 6 +π. (8.4.76)
2 2
2M G − r dŨ dṼ
ds2 = − e 2M G + r(Ũ , Ṽ )2 dΩ2 (8.4.77)
r 4 cos2 Ṽ cos2 Ũ
2 2
= −F (Ũ , Ṽ )dŨ dṼ + r(Ũ , Ṽ ) dΩ2 .
2 2
Slika 8.15
Slika 8.16
166 8. ŠVARCŠILDOVO REŠENJE
MG 4
gde je r2 = x2 + y 2 + z 2 = ρ2 1 + 2ρ
.
∂ ∂ ∂ ∂ ∂
a) Pokazati da su Kilingovi vektori dati sa ξ0 = ∂t
, ξ1 = x ∂y − y ∂x , ξ2 = y ∂z − z ∂y i
∂ ∂
ξ3 = z ∂x − x ∂z . Naći njihove komutatore.
b) Pokazati da su uglovi izmedju vektora, kao i odnosi dužina vektora jednaki za dve
konformno povezane metrike, g̃µν = f (x)gµν . Koristeći ovaj iskaz objasniti kada je
pogodno i zbog čega je pogodno koristiti izotropne koordinate.
8. Koristeći definicije koordinata (8.3.54) i (8.3.57), kao i definiciju (8.3.59), naći vezu
izmedju (T, R) i (t, r) koordinata u oblastima II i IV. Prateći diskusiju u poglavlju
(8.3.2) analizirati zatim hiperpovrši od značaja u ovim oblastima.
Linearizovana teorija
•
g µν = η µν − η µα hαβ η βν = η µ − hµν . (9.1.2)
Primetino da, u linearnoj aproksimaciji, indekse na hµν podizemo i spuštamo pomoću
ravne metrike ηµν .
•
1
Γµαβ = η µγ (∂α hγβ + ∂β hαγ − ∂γ hαβ ). (9.1.3)
2
•
1
Rµναβ = ∂α ∂ν hµβ − ∂µ ∂α hνβ − ∂β ∂ν hµα + ∂µ ∂β hαν . (9.1.4)
2
169
170 9. LINEARIZOVANA TEORIJA
•
1 σ
∂ ∂α hµσ + ∂ σ ∂µ hασ − t
Rµα = uhµα − ∂µ ∂α h , (9.1.5)
2
gde smo trag hµν označili sa h = η µν hµν .
•
R = ∂µ ∂α hµα − u
th). (9.1.6)
1
Rµν − ηµν R = 8πGTµν . (9.1.7)
2
Leva strana se eksplicitno dobija zamenom izraza (9.1.5) i (9.1.6). Na desnoj strani se
nalazi tenzor energije-impulsa materije. Kako je gravitaciono polje slabo, to je materija
koja ga generise (gustina materije) mala, pa je u linearnoj aproksimaciji tenzor energije-
impulsa nultog reda po perturbaciji hµν . Jednačine (9.1.7) se mogu dobiti i variranjem
dejstva za polje hµν u prostoru Minkovskog, videti zadatak 9.1.
• Gradijentne transformacije
Lξ hµν = ∂µ ξν + ∂ν ξµ . (9.2.9)
Ove transfomacije su posledica difeomrfizama (jednoparametarske grupe difeomor-
fizama duž vektorskog polja ξ = ξ µ ∂µ ), koji su ograničeni uslovom da malu pertur-
baciju prevode u malu perturbaciju.
9.2. SIMETRIJE LINEARIZOVANE TEORIJE I STEPENI SLOBODE 171
Iskaz (9.2.9) se može motivisati izračunavanjem Lijevog izvoda duž polja ξ metričkog
tenzora (9.1.1):
Lξ gµν =Lξ ηµν + Lξ hµν
= + ξ α ∂α (ηµν + hµν ) + (∂µ ξ α )(ηαν + hαν ) + (∂ν ξ α )(ηµα + hµα )
=∂µ ξν + ∂ν ξµ . (9.2.10)
U poslednjem redu smo iskoristili da je ηµν ravna metrika, ako i da su izrazi tipa (∂ν ξ α )hµα
drugog reda po malim veličinama ξ i hµν , pa se mogu zanemariti. Lijev izvod Lξ ηµν smo
već fiksirali globalnim Lorencovim transformacijama, pa ovaj član možemo izuzeti iz izraza
(9.2.10). Tako dobijamo
Lξ hµν = δξ hµν = ∂µ ξν + ∂ν ξµ ≡ δξ hµν . (9.2.11)
Na ovaj način smo difeomorfizme OTR, u slučaju linearizovane teorije na prostoru
Minkovskog, ”podelili” na prostorno-vremenske transformacije pozadinske metrike (glob-
alne Lorencove transformacije) i gradijentne transformacije polja hµν .
Da gradijentne transformacije (9.2.9) zaista ne menjaju geometriju, postaje očigledno
ako se izračuna promena Rimanovog tenzora pri ovim transforamcijama. Koristeći (9.1.4)
i (9.2.9) dobijamo
δξ Rµναβ = 0. (9.2.12)
Da bi se jasnije videli/prebrojali stepeni slobode linearizovane teorije, zgodno je umesto
polja hµν definisati sledeće veličine
h00 = −2Φ, (9.2.13)
h0i = hi0 = wi , (9.2.14)
1
hij = 2sij − 2Ψδij , Ψ = − δ ij hij . (9.2.15)
6
(9.2.16)
Očigledno je da smo polje hµν predstavili preko ireduciblinih komponenti u odnosu na
prostorne rotacije. Polja Φ i Ψ su skalari, polja wi su komponente vektora, dok su sij
komponente tenzora drugog reda, koji je simetričan i nultog traga.
Napišimo sada Ajnštajnove jednačine preko novouvedenih polja:
1
(00) : ∆Ψ = 4πGT00 − ∂k ∂l skl (9.2.17)
2
(0j) : (δij ∆ − ∂j ∂k )wk = −16πGT0j + 4∂0 ∂j Ψ + 2∂0 ∂k skj , (9.2.18)
(ij) : (δij ∆ − ∂i ∂j )Φ = 8πGTij + (δij ∆ − ∂i ∂j − 2δij ∂02 )Ψ
1
− δij ∂0 ∂k wk + ∂0 (∂i wj + ∂j wi ) + u
tsij − ∂k (∂i sj κ + ∂j si κ ) − δij ∂l ∂k slk . (9.2.19)
2
Iz prve jednačine primećujemo da je je polje Ψ nedinamičko, to jest da je potpuno odredjeno
tenzorom energije-impulsa materije i poljem sij . Slično možemo zaključiti i za polje Φ, kao
i za polja wi . Dakle, samo su polja sij dinamička. Njih ima 5 nezavisnih. U nastavku ćemo
taj broj dodatno redukovati fiksiranjem gradijentnih uslova.
172 9. LINEARIZOVANA TEORIJA
δξ Φ = ∂0 ξ0
δξ wi = ∂0 ξi + ∂i ξ0
1
δξ ψ = − ∂i ξ i
3
1 1
δξ sij = (∂i ξj + ∂j ξi ) − (∂k ξ k )δij . (9.3.23)
2 3
U literaturi se mogu naći različiti gradijentni uslovi. Navešćemo tri najčešća:
• Transverzali gradijentni uslov
∂i sij = 0 i ∂i wi = 0. (9.3.24)
Iako je Lorencov gradijentni uslov najčešće korišćen u literaturi, mi ćemo dalju analizu
nastaviti fiksirajući transferzalni gradijentni uslov (9.3.23). Ovaj uslov pojednostavljuje
jednačine (9.3.20)-(9.3.22) na
(00) : ∆Ψ = 0 (9.3.27)
(0j) : δkj ∆wk − 4∂0 ∂j Ψ = 0, (9.3.28)
1
(ij) : (δij ∆ − ∂i ∂j )(Φ − Ψ) + 2δij ∂02 Ψ − ∂0 (∂i wj + ∂j wi ) − t
usij = 0. (9.3.29)
2
9.3. GRAVITACIONI TALASI 173
u
tΦ = 0, (9.3.30)
hT T = 0, (9.3.33)
∂ µ hTµνT = 0, (9.3.34)
hTµ0T = 0, (9.3.35)
thTµνT = 0.
u (9.3.36)
gde je Cµν amplituda gravitacionog talasa i Cµν je tenzor ranga (2, 0) u odnosu na globalne
Lorencove transformacije. Jednačine (9.3.33)-(9.3.36) daju
η µν Cµν = 0,
Cµρ k ρ = 0,
Cµ0 = 0,
k 2 = 0. (9.3.38)
Iskoristili smo da je Cµν = Cνµ , kao i prvu jednačinu u (9.3.38). Vidimo da su samo dve
komponente amplitude Cµν nezavisne, C11 ≡ h+ i C12 ≡ h× .
Da bismo razmortili kako gravitacioni talas utiče na čestice sredine kroz koju se kreće,
moramo da krenemo od jednačine geodezijske devijacije
D2 µ µ
S = Rνρσ U ν U ρS σ . (9.3.41)
dτ
Kako nas zanima promena rastojanja izmedju čestica usled prolaska gravitacionog talasa,
možemo pretpostaviti da čestice miruju, to jest da se vrlo sporo kreću. Tada je U µ =
(1, 0, 0, 0), a τ možemo zameniti sa t. Tako dobijamo
D2
Sµ = Rµ00σ S σ . (9.3.42)
dt
D2 1
Sµ = ∂0 ∂0 hTµσT S σ . (9.3.43)
dt 2
Pretpostavimo sada da je h+ 6= 0, a h× = 0. Jednačina (9.3.43) je onda
∂2 1 ρ
Si = S i ∂t2 (hT+T eik xρ ), i = 1, 2. (9.3.44)
dt 2
2 2
Primetimo da smo kovarijantni izvod Dd zamenili parcijalnim ∂dt . U linearnoj aproksimaciji
svi Kristofelovi simboli su prvog reda po perturbaciji h, pomeranja Si su takodje mala, pa
je proizvod ΓSi drugog reda. Zbog toga se može zanemariti i umesto kovarijantnog pisati
parcijalni. Rešenje ove jednačine, u prvom redu po h je
1
S 1 = (1 + h+ eikx )S(0)
1
(9.3.45)
2
i
1
S 2 = (1 − h+ eikx )S(0)
2
, (9.3.46)
2
dok se S 3 i S 0 ne menjaju. Čestice osciluju u ravni ortogonalnoj na pravac prostiranja
gravitacionog talasa. Oscilacije su prikazane na slici 9.1.
9.3. GRAVITACIONI TALASI 175
Slika 9.1
1
S 1 = S(0)
1
+ h+ eikx S(0)
2
(9.3.47)
2
i
1
S 2 = S(0)
2
+ h+ eikx S(0)
1
, (9.3.48)
2
dok se S 3 i S 0 ne menjaju. Ove oscilacije su prikazane na slici 9.2.
Slika 9.2
Slika 9.3
176 9. LINEARIZOVANA TEORIJA
Slika 9.4
9.4. PROBLEM TENZORA ENERGIJE-IMPULSA ZA GRAVITACIONO POLJE 177
17. avgusta 2017. godine su detktovani i gravitacioni talasi koje je uzrokovao kolaps
sistema dve neutronske zvezde. Rezultat sudara je nova neutronska zvezda, magnetar.
Ovaj dogadjaj je značajan jer osim gravitacionog zračenja, ima i preteće elektromagnetno
zračenje. Zbog toga se ovaj dogadjaj smatra početkom takozvane ”multi-messenger” as-
tronomije.
Napomenimo da je gornji izraz dobro definisan samo ako je granica asimptotski ravna.
Naime, tada je izraz (9.4.56) zaista vektor u odnosu na Lorencove transformacije.
Elementi kosmologije
181
182 10. ELEMENTI KOSMOLOGIJE
gde je dΣ2 = γij dxi dxj metrika maksimalno simetričnog trodimenzionog prostora, dok
faktor skaliranja a(t) govori kako se prostorni deo ponaša u vremenu. Kako maksimalno
simetrično rešenje u 3 prostorne dimenzije mora biti sferno simetrično, to možemo pret-
postaviti da je
dΣ2 = e2β(r) dr2 + r2 (dθ2 + sin2 θdϕ2 ). (10.1.2)
Iz ove metrike se mogu izračunati Kristeofelovi simboli, tenzor krivine i Ričijev tenzor.
Navešćemo komponente Ričijevog tenzora
2
Rrr = ∂r β,
r
Rθθ = e−2β r∂r β − 1 + 1,
(10.1.3)
Rϕϕ = Rθθ sin2 θ.
Rij = 2kγij ,
R
gde je k proporcionalno skalarnoj krivini trodimenzionog prostora k = 6
. Izjednačavajući
(rr) komponente dobijamo
2
∂r β = 2ke2β(r) .
r
Ova jednačina se lako integrali, pa dobijamo
1
e2β(r) = .
c − kr2
10.1. ROBERTSON-VOKER METRIKA 183
dr2
dΣ2 = + r2 (dθ2 + sin2 θdϕ2 ). (10.1.4)
1 − kr2
Konačno, možemo napisati anzac za kosmološko rešenje kao
dr2
2 2 2 2 2 2 2
ds = −dt + a (t) + r (dθ + sin θdϕ ) . (10.1.5)
1 − kr2
Ovo je Robertson-Voker (Fridman-Lemetr) metrika. Primetimo da je u gornjoj jednačini
faktor skaliranja a(t) bezdimenzion, dok koordinata r ima dimenziju dužine. Konstanta
k može biti pozitivna, negativna i jadnaka nuli, u zavisnosti od krivine trodimenzionog
prostora:
Koristeći anzac (10.1.5) možemo analizirati ponašanje materije u toku razvoja svemira
koristeći kovarijatno očuvanje tenzora energije-impulsa. Takodje, možemo anzac zameniti
u Ajnštajnove jednačine i dobiti jednačine po a(t), koje se rešavaju u zavisnosti od sastava
svemira, to jest tenzora energije-impulsa materije.
Tenzor energije-impulsa materije možemo modelirati koristeći model idealnog fluida
Izabraćemo usputni referentni sistem, to jest sistem koji se ”kreće” zajedno sa svemirom,
pa je U µ = (1, 0, 0, 0). Ovaj referentni sistem je izdvojen, jer samo usputni posmatrač
vidi homogen i izotropan svemir. Mi na Zemlji nismo usputni posmatrači zbog relativnog
kretanja Sunčevog sistema u odnosu na svemir. Ovo kretanje se manifestuje kao dipolna
anizotropija CMB zračenja. U usputnom referentnom sistemu tenzor energije-impulsa ima
oblik
ρ 0 0 0
0
Tµν = 0
. (10.1.8)
gij p
0
dρ ȧ
− − 3 (ρ + p) = 0, (10.1.9)
dt a
184 10. ELEMENTI KOSMOLOGIJE
da
gde je ȧ = dt
. Korsteći jednačinu stanja pi = wi ρ, dobijamo
∂t ρ ȧ
= −3(wi + 1) . (10.1.10)
ρ a
ä 4π
(00) : = − G(ρ + 3p), (10.2.12)
a 3
ä ȧ 2 k
(ij) : + 2( ) + 2 2 = 4πG(ρ − p). (10.2.13)
a a a
U praksi se ovde dve jednačine kombinuju i dobija se Fridmanova jednačina
ȧ 8πG k
( )2 = ρ − 2. (10.2.14)
a 3 a
Ova jednačina se onda rešava za poznate ρ i p i tako dobijamo oblik faktora skaliranja.
Pre nego što započnemo diskusijo o rešavanju ove jednačine, uvešćemo nekoliko pojmova
koji predstavljaju standardnu kosmološku terminologiju.
10.2. FRIDMANOVE JEDNAČINE 185
• Hablov parametar:
ȧ
H(t) = . (10.2.15)
a
Vrednost Hablovog parametra u sadašnjem tranutku1 je Hablova konstanta H0 i ona
km 2
iznosi približno H0 ' 70 sM ps
. Podsetimo se Hablovog zakona, koji kaže da je brzina
udaljavanja galaksija proporcionalna njihovom medjusobnom rastojanju
Fizičke koordinate nekog objekta (galaksije) ~xphys su definisane kao ~xphys = a(t)~x(t),
gde su ~x(t) koordinate u usputnom referentnom sistemu. Odgovrajuća brzina je onda
d~xphys
~vphys =
dt
da d~x
= ~x(t) + a(t) = H(t)~xphys + ~vpec .
dt dt
Poslednji član u gornjem izrazu je ~vpec = a(t) d~
x
dt
specifična (”peculiar”) brzina koja
se odnosi na kretanje galaksije u odnosu na kosmološki referentni sistem. Tipične
vrednosti ovih brzina su oko 400km/s, pa se za udaljene galaksije, xphys > 5M ps,
ovaj član zanemaruje. Primetimo da brzina ~vphys predstavlja brzinu udaljavanja dva
objekta (nas i uočene galaksije) koji se nalaze u različitim tačkama iste hiperpovrši
vremenskog tipa. Samim tim, ova brzina ne mora da bude manja od brzine svetlosti,
to jest ne postoji nikakvo ograničenje na intenzitet ~vphys .
Inverz Hablove konstante, Hablovo vreme tH = H10 kaže koliko je svemir star. Je-
dinica M ps je standardna jedinica za rastojanje u kosmologiji, 1ps ≈ 3.26ly, gde sim-
bol ly označava svetlosnu godinu. Napomenimo da najnovija merenja Hablove kon-
stante ukazuju na neslaganje rezultata merenja koja potiču iz ranog svemira (CMB
km
zračenje), koja daju H0 = 66.9 ± 0.6 sM ps
i merenja koja potiču iz kasnog (sadašnjeg)
km
svemira (supernove Ia) i koja daju H0 = 73.24±1.74 sM ps
. Ovo neslaganje je predmet
aktivne naučne diskusije.
• Parametar gustine:
ρ
Ω= , (10.2.18)
ρkr
3H 2
gde je ρkr = ( 8πG ) kritična gustina. Koristeći definiciju parametra gustine, Frid-
manova jednačina (10.2.14) se može prepisato kao
k
Ω−1= . (10.2.19)
H 2 a2
Vidimo da je vrednost Ω neposredno povezana sa vrednošću prostorne krivine svemira:
Ω > 1 ⇒ k > 0, krivina je pozitivna, svemir je zatvoren,
Ω = 1 ⇒ k = 0, krivina je nula, svemir je ravan,
Ω < 1 ⇒ k < 0, krivina je negativna, svemir je otvoren.
Kada u svemiru postoji samo nerelativistička materija, Fridmanova jednačina ima oblik
ȧ 2 8πG
= ρ0 a−3 .
a 3
Jednostavnom integracijom dobijamo
2
a(t) = a0 t 3 . (10.2.20)
K 2 = Kµν V µ V ν .
K 2 = a2 V µ Vµ + (V µ Uµ )2 .
(10.3.26)
Nas zanimaju fotoni koji se kreću duž geodezika od neke zvezde ka nama. Onda je V µ =
dxµ
dλ
, gde je λ afini parametar duž geodezika. Takodje važi V µ Vµ = 0, a V µ Uµ = gµν V µ U ν =
−ω i ω je frekvenca fotona. Zamenom u (10.3.26) dobijamo
K 2 = a2 ω 2 . (10.3.27)
Vidimo da, ako se svemir širi, aem < adet , dobijamo crveni pomak. Sa druge strane, ako se
svemir skuplja, aem > adet , detektovani fotoni će biti pomaknuti u plavi deo spektra. Kako
na Zemlji detektujemo fotone pomaknute u crveni deo spektra, zaključujemo da se svemir
širi.
Veličina koja je vezana za kosmološki crveni pomak se naziva ”crveni pomak” z i defin-
isana je kao
λdet − λem adet
z= = − 1. (10.3.29)
λem aem
Na osnovu merenja frekvenci/talasnih dužina detektovanih fotona, meri se z. Onda se na
osnovu (10.3.29) može zaključiti koliko je bio star svemir u trenutku emitovanja fotona.
Kako je detekcija u sadašnjem trenutku, to je adet = 1, pa je
1
aem = . (10.3.30)
1+z
Zbog toga se z koristi i kao veličina kojom se meri starost svemira. Na primer, kažemo da
je u trenutku nastanka CMB zračenja svemir bio star oko 380.000 godina, ili na crvenom
pomaku zCM B = 1000.
10.3.2 Rastojanja
Rastojanje od nas do centra Mlečnog puta (naše galaksije) je oko 25000 svetlosnih godina,
ili 7.67Kpc. Jasno je da se ova rastojanja ne mogu meriti standardnim metodama koje
koristimo za merenje rastojanja na zemlji. Kako se definišu rastojanja na kosmološkim
skalama? Navešćemo dva primera: istovremeno fizičko rastojanje i luminozno rastojanje.
Istovremeno fizičko rastojanje (”instantenious physicsl distance”) smo zapravo već defin-
isali na početku poglavlja 10.2, kada smo govorili o Hablovom zakonu. Podsetimo se,
predstavlja rastojanje u trenutku t izmedju nas i udaljene galaksije koja se nalazi na ~x(t).
Ovo rastojanje je rastojanje na istoj vremenskoj hiperpovrši, pa samim tim je nemoguće
izmeriti ga.
Rastojanje koje može da se meri je takozvano luminozno rastojanje (”luminosity dis-
tance”). Da bismo definisali ovo rastojenje, napišimo prvo Robertson-Voker metriku
(10.1.5) malo drugačije
2 2 2 2 2 2 2 2 2
ds = −dt + a (t)R dχ + Sk (χ)(dθ + sin θdϕ ) , (10.3.32)
L L
F = = , (10.3.34)
4πa2 (t)R2 Sk2 (χ)(1 + z)2 4πR2 Sk2 (χ)(1 + z)2
gde smo iskoristili da je a(t0 ) = 1 u sadašnjem trenutku, jer fotone merimo u sadašenjem
trenutku. Ovaj izraz je analogan izrazu za izmeren fluks objekta luminoznosti L, na rsto-
janju d = χ u ravnom prostoru
L
F = . (10.3.35)
4πd2
Faktor (1 + z)2 u (10.3.34) se pojavljuje jer se svemir širi i dodatno fotoni su pomaknuti u
crveni deo spektra. Poredeći izraze (10.3.34) i (10.3.35), zaključujemo da se može definisati
luminozno rastojanje kao
dL (χ) = RSk (χ)(1 + z), (10.3.36)
pa je
L
F = . (10.3.37)
4πd2L
Ako je apsolutna luminoznost izvora L poznata, a F se meri, onda je moguće izmeriti
luminozno rastojnje. Izvori čija je apsolutna luminoznost poznata se nekada nazivaju
standardne sveće. To su najčešće supernove tipa Ia, kao i cefeide (svetle zveze koje pulsiraju
sa periodom koji je na tačno odredjen način povezan sa apsolutnom luminoznošću).
R
Konstanta k je povezana sa skalarnom krivinom, k = 12 . U četiri prostorno-vremenske
dimenzije, u zavisnosi od znaka konstante k, razlikujemo tri maksimalno simetrična rešenja.
Kada je k = 0 rešenje je prostor Minkovskog, sa grupom izometrije T 4 ∧ SO(1, 3). Kada je
k < 0 rešenje je anti de Siterov prostor sa grupom izometrije SO(2, 3), dok je za k > rešenje
de Siterov prostor čije je grupa izometrije SO(1, 4). Prostor Minkovskog i njegov značaj
nećemo ovde analizirati, jer smo se više puta u toku kursa sretali sa sa ovim prostorom.
Ovde ćemo ukratko razmotriti de Siterov i anti de Siterov prostor.
10.4. MAKSIMALNO SIMETRIČNA REŠENJA U 4 DIMENIJE 191
−u2 + x2 + y 2 + z 2 + w2 = α2 (10.4.38)
Na hiperpovrši (10.4.38) možemo izabrati koordinate na više različitih načina, to jest pos-
toje različita ”utapanja” dS prostora u petodimenzioni prostor (10.4.39). Razmotrimo prvo
koordinate t, χ, θ, ϕ definisane kao
t
u = α sinh( ), −∞ ≤ t ≤ +∞,
α
t
w = α cosh( ) cos χ, 0 < χ ≤ π,
α
t
z = α cosh( ) sin χ cos θ, 0 < θ ≤ π
α
t
x = α cosh( ) sin χ sin θ cos ϕ, 0 < ϕ ≤ 2π
α
t
y = α cosh( ) sin χ sin θ sin ϕ. (10.4.40)
α
t
ds2 = −dt2 + α2 cosh2 ( ) dχ2 + sin2 χ(dθ2 + sin2 θdϕ2 )
(10.4.41)
α
Drugačiji izbor koordinata, zadatak 2, će pokriti samo polovinu hiperboloida, slika 10.3
desno.
Da bismo razumeli kauzalnu strukturu dS prostora, razmotrićemo konformni dijagram
za ovaj prostor. Na osnovu (10.4.40), vidimo da su sve koordinate osim koordinate t već
kompktifikovane. Uvodeći koordinatu η kao
dt
dη = , (10.4.42)
α cosh( αt )
2 1 2 2 2 2 2 2
ds = − dη + dχ + sin χ(dθ + sin θdϕ ) (10.4.43)
sin2 η
Iz ovog oblika metrike se ovdmah vidi da AdS prostor nije asimptotski ravan, što naravno
znamo od samog početka, jer je AdS prostor rešenje Ajnštajnovih jednačina sa konstatnom
negativnom krivinom.
Detalji o kauzalnoj strukturi AdS prostora se najjednostavnije vide na konformnom di-
jagramu. Zadržaćemo periodičnu vremensku koordinatu λ, pa nam ostaje samo koordinata
ρ sa beskonačnim opsegom. Uvodjenjem nove koordinate
π π
ρe = 2 arctan(eρ ) − , 0 ≤ ρe < (10.4.48)
2 2
metrika (10.4.46) postaje
ds2 = α2 cosh2 ρ − dλ2 + de
ρ2 + sin2 ρe(dθ2 + sin2 θdϕ2 ) . (10.4.49)
3. ”Utapanje” četvorodimenzionog de Sitter-ovog prostora (koordinate t̂, x̂, ŷ, ẑ) u petodi-
4
Košijeva hiperpovrš je hiperpovrš postornog tipa koju svaka vremenska ili nul kriva seče samo jednom.
Ako prostor-vreme ima Košijeve hiperpovrši, onda je globalno hiperboličko. Važi i obrnuto, ako je n
dimenziono prostor-vreme globalno hiperboličko, onda ima Košijeve hiperpovrši i homomorfno je sa R1 ×Σ,
gde je Σ n − 1 dimenziona mnogostrukost. Za svako a ∈ R1 , hiperpovrš {a} × Σ je Košijeva. U prostoru
Minkovskog, hiperpovrši t = const. su Košijeve hiperpovrši, dok su hiperpovrši (x0 )2 − (~x)2 = const. samo
delimične Košijeve hiperpovrši. Zadavanjem početnih uslova na Košijevoj hiperpovrši može se jednoznačno
odrediti evolucija sistema.
197
[1] H. Goldstein, C. Poole and J. Safko, Classical Mechanics, Addison Wesley 2002.
[5] A. French, Special Relativity, W. W. Norton and Comp. New York 1980.
[6] R. Resnik, Introduction to Special Relativity, John Wiley and Sons, New Your, 1968.
[9] B. Schutz, A First Course in General Realtivity, Cambridge University Press 2009.
[12] S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cam-
bridge University Press, 1973.
[13] M. Blagojević, Gravitation and Gauge Symmetries, Taylor & Francis, 2001.
[15] J. Martin, Everything You Always Wanted To Know About The Cosmological Constant
Problem (But Were Afraid To Ask), Comptes Rendus Physique 13, (2012) 566-665,
[arXiv:1205.3365].
[16] S. Nojiri, S.D. Odintsov, V.K. Oikonomou, Modified Gravity Theories on a Nutshell:
Inflation, Bounce and Late-time Evolution, arXiv:1705.11098.
199