Topologi och geometri för allmän relativitetsteori - Chalmers ...
Topologi och geometri för allmän relativitetsteori - Chalmers ...
Topologi och geometri för allmän relativitetsteori - Chalmers ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
där k = −1, 0, 1 beroende på om den skalära kurvaturen är R < 0, R = 0<br />
eller R > 0. A(t) är en godtycklig funktion. 2 Ett byte till sfäriska koordinater<br />
x 1 = r sin θ cos φ, x 2 = r sin θ sin φ <strong>och</strong> x 3 = r cos θ ger nu<br />
dω 2 = −A 2<br />
dr 2<br />
1 − kr 2 + r2 dθ 2 + r 2 sin 2 θdφ 2<br />
<br />
(8.9)<br />
Vi kombinerar nu ihop detta med tidsdelen i ekvation (8.2) <strong>och</strong> ersätter<br />
dessutom f(x 0 )dx 0 dx 0 med dt 2 <strong>för</strong> att få standardformen på Robertson-<br />
Walker-metriken: 3<br />
ds 2 = dt 2 − A 2<br />
dr 2<br />
1 − kr 2 + r2 dθ 2 + r 2 sin 2 θdφ 2<br />
<br />
(8.10)<br />
Metriken som ges av denna ekvation beskriver alltså den fyrdimensionella,<br />
homogena <strong>och</strong> isotropa rumtiden som utgör en bra modell av vårt<br />
universum. Faktorn A(t) är en skalfaktorn som beskriver hur den rumsliga<br />
delen av universum ändras med tiden. För tydlighetens skull kan vi skriva<br />
ut komponenterna som elementen i en matris:<br />
⎛<br />
⎞<br />
1 0 0 0<br />
⎜0<br />
−A2 1<br />
⎟<br />
(gµν) =<br />
⎜<br />
⎝<br />
1−kr 2 0 0<br />
0 0 −A 2 r 2 0<br />
0 0 0 −A 2 r 2 sin 2 θ<br />
8.3 Härledning av Friedmannekvationerna<br />
⎟<br />
⎠ . (8.11)<br />
I <strong>för</strong>egående avsnitt har Einsteins fältekvation (8.1) inte använts en enda<br />
gång. Formen på metriken (8.10) är alltså bara ett resultat av kravet på<br />
isotropi <strong>och</strong> koordinatvalet. Skalfaktorn A = A(t) är dock fortfarande en helt<br />
okänd funktion. Denna funktion beskriver hur rummet ändras med tiden <strong>och</strong><br />
<strong>för</strong> att bestämma den måste vi lösa Einsteins fältekvation <strong>för</strong> en rimlig form<br />
på energi-rörelsemängdstensorn Tµν.<br />
Kraven på isotropi <strong>och</strong> homogenitet bör rimligtvis även gälla <strong>för</strong> Tµν. Vart<br />
vi än befinner oss skall alltså energitätheten ε <strong>och</strong> trycket p vara densamma.<br />
Trycket måste också vara detsamma från alla riktningar <strong>för</strong> att kravet på<br />
isotropi skall vara uppfylld. Det går att visa att under dessa <strong>för</strong>utsättningar<br />
så måste Tµν ha samma form som energi-rörelsemängdstensorn <strong>för</strong> en perfekt<br />
gas: 4<br />
⎛<br />
⎞<br />
ε 0 0 0<br />
⎜<br />
(Tµν) = ⎜0<br />
g11 p 0 0 ⎟<br />
⎝0<br />
0 g22 p 0 ⎠<br />
(8.12)<br />
0 0 0 g33 p<br />
2 I fortsättningen skriver vi bara A, t-beroendet är under<strong>för</strong>stått.<br />
3 Detta motsvarar variabelbytet t = f(x 0 )dx 0 .<br />
4 Se Weinberg [12] <strong>för</strong> en härledning.<br />
138