13.05.2013 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!