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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Kom ihåg att Levi-Civitakonnektionen inte har någon vriding, T (X, Y ) = 0<br />
<strong>för</strong> alla X, Y . Detta i samband med att inse att ∇Z[X, Y ] kan skrivas om<br />
enligt nedan kommer efter formella beräkningar att ge svaret.<br />
[Z, [X, Y ]] = ∇Z[X, Y ] − ∇ [X,Y ]Z ⇔ ∇Z[X, Y ] = [Z, [X, Y ]] + ∇ [X,Y ]Z<br />
Vi har nu gått igenom några av de matematiska följderna men vi vill<br />
även veta hur Kurvaturtensorn ter sig i olika baser eftersom vi då kan se<br />
dess verkan på vektorer. Vi kommer där<strong>för</strong> att avsluta detta avsnitt med att<br />
skriva kurvaturtensorns koordinater i en bas.<br />
Vi ser kurvaturtensorns verkan på dualbasen d x µ <strong>och</strong> koordinatbasen eµ.<br />
Komponenterna i tensorn kan då skrivas 7<br />
R κ λµν = 〈d xκ , R(eµ, eν)eλ〉 = ∂µΓ κ νλ − ∂νΓ κ µλ<br />
7.6.1 Exempel på Riemanns kurvaturtensor<br />
+ Γη<br />
νλ Γκ µη − Γ η<br />
µλ Γκ νη<br />
Vi börjar med att härleda den <strong>allmän</strong>na formen <strong>för</strong> Riemanntensorn <strong>för</strong> en<br />
fyrdimensionell diagonal metrik med avseende på Levi-Civita-konnektionen.<br />
Vidare skall vi tillämpa denna på intressanta specialfall. Det <strong>för</strong>sta exemplet<br />
följer resonemanget i Rindler, [10] ss 419-421.<br />
Exempel 7.3 (4D-Diagonala metrikers Riemanntensor). Metriken vi avser<br />
är i matrisform ekvation 7.8, på differentialformen skrivs den:<br />
ds = Adx 1 dx 1 + Bdx 2 dx 2 + Cdx 3 dx 3 + Ddx 4 dx 4<br />
(7.15)<br />
där koefficienterna är <strong>allmän</strong>na: A = A(x1 , x2 , x3 , x4 ), B = B(x1 , x2 , x3 , x4 ),<br />
C = C(x1 , x2 , x3 , x4 ) <strong>och</strong> D = D(x1 , x2 , x3 , x4 ). Konnektionen är Levi-Civita<br />
<strong>och</strong> där<strong>för</strong> ges konnektionskoefficienterna Γ µ νσ av Christoffelsymbolerna { µ<br />
νσ}.<br />
Vi in<strong>för</strong> några symboler <strong>för</strong> att kunna skriva uttrycken på en mer kompakt<br />
form:<br />
α = 1<br />
1<br />
1<br />
1<br />
2A , β = 2B , γ = 2C , δ = 2D<br />
samt följande konvention <strong>för</strong> derivator:<br />
Aµ = ∂A<br />
∂x µ<br />
Bµ = ∂B<br />
∂x µ<br />
Cµ = ∂C<br />
∂x µ<br />
Aµν = ∂2 A<br />
∂x µ x ν Bµν = ∂2 B<br />
∂x µ x ν Cµν = ∂2 C<br />
∂x µ x ν<br />
.<br />
.<br />
.<br />
Dµ = ∂D<br />
∂x µ<br />
Dµν = ∂2 D<br />
∂x µ x ν<br />
.<br />
(7.16)<br />
(7.17)<br />
7 Genom definitionen av Christoffelsymbolerna. För explicit härledning se s. 255, ekv.<br />
(7.42) i [1]<br />
119