Buzzanova søger deltidsprogrammør. Buzzanova, en af de hurtigst
Transcription
Buzzanova søger deltidsprogrammør. Buzzanova, en af de hurtigst
Noter til Generel Relativitetsteori – Eksamensnoter til Generel Relativitetsteori og Kosmologi Pia Jensen, http://fys.bozack.dk, 9. november 2011, Version 1.0. 2 Indholdsfortegnelse Indledning Denne samling af noter er lavet i løbet af min eksamenslæsning til kurset Generel Relativitetsteori og Kosmologi på Niels Bohr Institutet under Københavns Universitet, efteråret 2011. Noterne følger bogen “An Introduction to General Relativity – Spacetime and Geometry” af Sean M. Carroll, og afsnitsnummereringen i samlingen er den samme som i bogen. Pensum i kurset var som følger: ◮ ◮ ◮ ◮ ◮ ◮ ◮ Kapitel Kapitel Kapitel Kapitel Kapitel Kapitel Kapitel 1.1 og 1.9 2.1-6 og 2.8 (uden s. 57-59) 3.1-9 (uden side s. 111-113, 124m-126, 137-139 og 143m-144) 4.1-2, 4.5 og 4.7 5.1-7 (uden s. 198m-204 og 228-229) 6.5 (uden s. 256-261) 8.1-5 Videre blev der også uddelt en 3-siders note om bøjning af lys pga. solen, som også vil blive gennemgået til sidst i dette notesæt. Jeg har også taget en del mere med af kapitel 1, for at komme godt igennem den grundlæggende matematik, og for at få en opfrisker på speciel relativitetsteori. Notesamlingen gennemgår den grundlæggende teori til eksamen – de første par kapitler – samt den teori der skal fremlægges til eksamen i løbet af de fem eksamensspørgsmål. Selve eksamensspørgsmålene kan ses i appendiks A (på side 88), hvor der også er en lille gennemgang af hvad der giver mening at tale om til hvert spørgsmål. Formålet med eksamen skulle ligge på fysikken, koncepterne og logikken, og ikke så meget på udregninger – men det var fint hvis man kunne tage nogle enkelte udledninger af mere teknisk art med. Indholdsfortegnelse 1 Speciel relativitetsteori og flad rumtid 1.1 Motivation . . . . . . . . . . . . . . . 1.2 Rum og tid, hver for sig og sammen . 1.3 Lorentz transformationer . . . . . . . . 1.4 Vektorer . . . . . . . . . . . . . . . . . 1.5 Dual vektorer (one-forms) . . . . . . . 1.6 Tensorer . . . . . . . . . . . . . . . . . 1.9 Energi og impuls . . . . . . . . . . . . 2 Manifolder 2.1 Tyngdekraften som en geometri 2.2 Hvad er en manifold? . . . . . . 2.3 Vektorer igen . . . . . . . . . . 2.4 Tensorer igen . . . . . . . . . . 2.5 Metrikken . . . . . . . . . . . . 2.6 Et ekspanderende univers . . . 2.8 Tensor densiteter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5 5 8 8 10 11 12 . . . . . . . 16 16 18 21 22 23 24 25 Indholdsfortegnelse 3 3 Kurvatur 3.1 Oversigt . . . . . . . . . . . . . . . . . 3.2 Kovariant afledte . . . . . . . . . . . . 3.3 Parallel transport og geodætiske baner 3.4 Egenskaber for geodætiske baner . . . 3.5 Et ekspanderende univers igen . . . . 3.6 Riemann kurvatur tensoren . . . . . . 3.7 Riemann tensorens egenskaber . . . . 3.8 Symmetrier og Killing vektorer . . . . 3.9 Maksimalt symmetriske rum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 27 27 30 32 33 36 37 39 42 4 Tyngdekraft 4.1 Fysik i en kurvet rumtid . . 4.2 Einsteins ligning . . . . . . 4.5 Den kosmologiske konstant 4.7 Ækvivalensprincippet igen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 44 46 48 50 . . . . . . . 51 51 53 54 55 58 61 64 6 Mere generelle sorte huller 6.5 Ladede (Reissner-Nordstr¨ om) sorte huller . . . . . . . . . . . . . . . . . . . . . . . 68 68 8 Kosmologi 8.1 Maksimalt symmetriske universer 8.2 Robertson-Walker metrik . . . . 8.3 Friedmann ligningen . . . . . . . 8.4 Evolution af skalafaktoren . . . . 8.5 Rødskifte og afstande . . . . . . 70 70 73 75 78 81 . . . . . . . . . . . . . . . . . . . . . . . . 5 Schwarzschild løsningen 5.1 Schwarzschild metrikken . . . . . . . . . . . . . 5.2 Birkhoffs teorem . . . . . . . . . . . . . . . . . 5.3 Singulariteter . . . . . . . . . . . . . . . . . . . 5.4 Geodætiske baner for Schwarzschild . . . . . . 5.5 Eksperimentelle tests . . . . . . . . . . . . . . . 5.6 Schwarzschild sorte huller . . . . . . . . . . . . 5.7 Den maksimalt udvidede Schwarzschild løsning 9 Afbøjning af lys ved solen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 Appendikser A Eksamensspørgsmål 88 B Vigtige ligninger 89 Indeks 90 4 Indholdsfortegnelse Oversigt over beviser, sætninger og definitioner 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 1.10 1.11 1.12 1.13 1.14 1.15 1.16 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 2.10 2.11 2.12 2.13 2.14 2.15 2.16 3.1 3.2 3.3 3.4 3.5 3.6 Rumtid . . . . . . . . . . . . . . . . Inertialsystem . . . . . . . . . . . . . Notation . . . . . . . . . . . . . . . . Rumtids-diagram . . . . . . . . . . . Proper tid . . . . . . . . . . . . . . . Tangentrum . . . . . . . . . . . . . . Tangentvektor til kurve . . . . . . . Dual rum . . . . . . . . . . . . . . . Tensor . . . . . . . . . . . . . . . . . Tensor produkt . . . . . . . . . . . . Indre produkt . . . . . . . . . . . . . Kronecker delta . . . . . . . . . . . . Invers metrik . . . . . . . . . . . . . Fire-hastighed . . . . . . . . . . . . Impuls-firevektor . . . . . . . . . . . Energi-impuls tensoren . . . . . . . . Det svage ækvivalensprincip (WEP) Einsteins ækvivalensprincip (EEP) . Gravitationelt rødskifte . . . . . . . Manifold . . . . . . . . . . . . . . . . Mapning . . . . . . . . . . . . . . . . Åbent sæt . . . . . . . . . . . . . . . Manifold (matematisk) . . . . . . . . Kædereglen . . . . . . . . . . . . . . Tangentrum (generel manifold) . . . Kommutator . . . . . . . . . . . . . Tensor (generel manifold) . . . . . . Linie-element (generel manifold) . . Metrikken på kanonisk form . . . . . Lokale intertialkoordinater . . . . . Levi-Civita symbolet . . . . . . . . . Tensor densitet . . . . . . . . . . . . Forbindelseskoefficienter . . . . . . . Kovariant afledte . . . . . . . . . . . Torsion tensoren . . . . . . . . . . . Christoffel forbindelsen . . . . . . . . Parallel transport . . . . . . . . . . . Retningsbestemt kovariant afledte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 6 6 7 7 8 9 10 11 11 12 12 12 13 13 14 16 17 17 18 19 19 20 20 21 22 22 23 23 24 25 25 28 29 29 29 30 31 3.7 3.8 3.9 3.10 3.11 3.12 3.13 3.14 3.15 3.16 3.17 3.18 4.1 4.2 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 5.9 8.1 8.2 8.3 8.4 8.5 8.6 8.7 8.8 8.9 8.10 8.11 8.12 8.13 8.14 8.15 Parallel transport (matematisk) . . Geodætisk bane . . . . . . . . . . . Affin parameter . . . . . . . . . . . Det kosmologiske rødskifte . . . . Riemann tensoren . . . . . . . . . Bianchi identiteten . . . . . . . . . Ricci tensoren og Ricci skalaren . . Einstein tensoren . . . . . . . . . . Symmetri . . . . . . . . . . . . . . Isometri . . . . . . . . . . . . . . . Killing vektor . . . . . . . . . . . . Maksimalt symmetrisk rum . . . . Einsteins ligning . . . . . . . . . . Den kosmologiske konstant . . . . Schwarzschild metrikken . . . . . . Schwarzschild radius . . . . . . . . Birkhoffs teorem . . . . . . . . . . Singularitet . . . . . . . . . . . . . Det effektive potentiale . . . . . . Tortoise koordinater . . . . . . . . Eddington-Finkelstein koordinater Hændelseshorisont . . . . . . . . . Kruskal koordinater . . . . . . . . Isotropi . . . . . . . . . . . . . . . Homogenitet . . . . . . . . . . . . Maksimal symmetri . . . . . . . . de Sitter rum . . . . . . . . . . . . Anti-de Sitter rum . . . . . . . . . Einstein statisk univers . . . . . . Friedmann ligningerne . . . . . . . Einstein-de Sitter modellen . . . . Milne universet . . . . . . . . . . . Nedkøling af gas . . . . . . . . . . Rødskifte . . . . . . . . . . . . . . Luminositets-afstand . . . . . . . . Proper bevægelses-afstand . . . . . Vinkeldiameter-afstand . . . . . . Lookback tid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 31 32 34 37 38 38 39 39 39 41 42 48 49 51 53 53 54 56 62 63 64 65 70 70 70 71 71 72 77 80 80 82 82 83 84 84 85 1 1 1.1 Speciel relativitetsteori og flad rumtid 5 Speciel relativitetsteori og flad rumtid Motivation Einsteins generelle relativitetsteori kan beskrives med nogle få essentielle ord: Mens de fleste naturkræfter kan repræsenteres som felter i rumtiden, så er tyngdekraften en egenskab ved rumtiden selv. Specielt er tyngdekraft en manifestation af kurvatur af rumtiden. For at forstå rumtiden og hvordan kurvaturen af denne kan omsættes til en tyngdekraft, er det godt lige at se på hvordan vi plejer at arbejde med tyngdekraften, med Newtonsk mekanik. Der er to basale elementer: En ligning der fortæller hvordan tyngdefeltet ser ud når der er en masse, og en ligning for hvordan en masse reagerer på et tyngdefelt. Potentialet er relateret til massedensiteten ρ ved Poisson’s ligning, ∇2 Φ = 4πGρ, hvorved accelerationen af en partikel er givet ved a = −∇Φ, og kraften på massen er så F = ma, hvor m er massen af den påvirkede partikel. For at kunne definere generel relativitetsteori bliver man nødt til at erstatte disse ligninger med noget der har at gøre med rumtidens kurvatur. Ligningen der fortæller hvordan rumtiden reagerer på masse og energi er Einsteins ligning, der er givet ved 1 Rµν − Rgµν = 8πGTµν . 2 Venstresiden er et mål for rumtidens kurvatur, mens højresiden måler energi og impuls af stof. Ligningen der fortæller hvordan stof reagerer på rumtidens kurvatur er givet ved den geodætiske ligning, der giver geodætiske baner xµ (λ) i rumtiden som masserne vil følge, σ ρ d2 xµ µ dx dµ + Γ = 0. ρσ dλ2 dλ dλ De geodætiske kurver er faktisk hvad der svarer til rette linier i Eukludisk rum, og er kurver med kortest mulig afstand mellem to punkter, i en eventuel kurvet rumtid. Det er vigtigt at forstå at tyngdekraften ikke er en kraft – den er nærnere en del af rumtiden. Det giver faktisk mening at sige at en bold der flyver i luften er mere uaccelereret end en bold der ligger stille på et bord; bolden der ligger på bordet bliver afbøjet fra den geodætiske kurve som den gerne vil følge. Det grundlæggende koncept brugt til at beskrive rumtidens kurvatur er den metriske tensor, oftest kaldt gµν . Metrikken fortæller kurvaturen af rummet ved at opskrive afvigelsen fra Pythagoras teorem (∆l)2 = (∆x)2 + (∆y)2 , der kun er gyldig i det flade Euklidiske rum. 1.2 Rum og tid, hver for sig og sammen Speciel relativitetsteori er en teori der handler om strukturen af rumtiden, og den er en erstatning for Newtonsk mekanik. 6 1 Speciel relativitetsteori og flad rumtid Definition 1.1 (Rumtid) Rumtiden er et fire-dimensionelt sæt med et label for tid og tre for rum. Et enkelt punkt i dette sæt kaldes for en hændelse, et event. Banen for en partikel igennem ◭ rumtiden kaldes for en verdenslinie. En speciel ting ved den specielle relativitetsteori ift. den Newtonske mekanik, er samtidighed, at to hændelser kan ske “samtidigt”. I speciel relativitetsteori er der ikke nogen veldefineret samtidighed. I stedet definerer man en lys-kegle, en light-cone, der er samlingen af kurver igennem rumtiden som det er muligt for lys at komme fra og til igennem hændelsen. Fysiske partikler kan ikke rejse hurtigere en lyset, og bliver altså altid inden for disse lys-kegler. Definition 1.2 (Inertialsystem) Den naturlige generalisation af karthesiske koordinater i rummet til rumtiden er et inertialsystem. Man opsætter koordinater (t, x, y, z), hvor de tre rumlige koordinater (x, y, z) er kartesiske, mens tids-koordinaten t skal defineres mere specielt. Det kartesiske koordinatsystem (x, y, z) bevæger sig uaccelereret, og herfra vil tiden være defineret ved at sætte en masse ure ind i koordinatsystemet, alle bevægende sig med det. Sender man nu en lysstråle fra et punkt 1 i rummet til et punkt 2, og så tilbage igen (med hastighed hhv. c og −c), så skal urene nu stilles så tiden på uret i punkt 2, t2 er halvvejs mellem tiden på uret i punkt 1 ved afsændelsen, t1 , og ankomsten t′1 , altså t2 = (t′1 + t1 )/2. Med denne definition af koordinatsystemet er det kun muligt at lave lokale sammenligninger ◭ – og man kan f.eks. ikke sammenligne to ure langt væk fra hinanden på samme tid. Det er muligt at konstruere masse er inertialsystemer på denne måde, med forskel på start-position, tid, vinkel og (konstant) hastighed. Rumtidsintervallet, eller the spacetime interval, mellem to hændelser er givet ved (∆s)2 = −(c∆t)2 + (∆x)2 + (∆y)2 + (∆z)2 . Denne er invariant, beholder sin form, under et skift til et andet inertialsystem (t′ , x′ , y ′ , z ′ ), så (∆s)2 = −(c∆t′ )2 + (∆x′ )2 + (∆y ′ )2 + (∆z ′ )2 , selv om man kan have roteret rum og tid ind i hinanden. Man tænker altså på den fire-dimensionelle rumtid som et enkelt rum, kaldt Minkowski rummet. Sætning 1.3 (Notation) Der bruges en bestemt notation i bogen, som skal introduceres her. Koordinater på rumtiden beskrives med græske bogstaver der går fra 0 til 3, hvor 0 er for tids-koordinaten, altså xµ : x0 = ct, x1 = x, x2 = y, x3 = z. Oftest bruges der også bare c = 1. Ofte bruger man latinske bogstaver til kun at henvise til den rumlige del af en koordinat, så xi : x1 = x, x2 = y, x3 = z. 1 Speciel relativitetsteori og flad rumtid 7 Ofte skrives rumtidsintervallet også på en kortere form (i hvert fald kortere når det bliver mere avanceret), som metrikken, hvor man bruger to sænkede indekser, ηµν −1 0 = 0 0 0 1 0 0 0 0 1 0 0 0 , 0 1 hvorved man har den simple notation (bemærk at der summes over indekser der er både hævede og sænkede, dummy indekser) ◭ (∆s)2 = ηµν ∆xµ ∆xν . Definition 1.4 (Rumtids-diagram) En meget brugbar ting i relativitetsteorien er et rumtidsdiagram, hvor man simpelthen plotter ting i et koordinatsystem med koordinaterne (t, x, y, z). Hvis man bare bruger en enkelt rumlig dimension, og så den tidslige (som oftest plottes opad), ser man lys-keglerne defineret ved at have hældning ±c = ±1. Sættet af alle punkter inden for fortiden og fremtiden af et punkts lys-kegle kaldes for tidsligst, eller time-like, separarede veje, mens dem der ligger uden for lys-keglen er rumligt, eller space-like, separerede veje. Dem der ligger præcist på keglen kaldes for null, light-like, separerede. t tidslig null x rumlig Rumtidsintervallet mellem tidsligt separerede punkter er negativ, og mellem rumligt separerede punkter er positivt. Den er nul for null separerede punkter. Definition 1.5 (Proper tid) At rumtidsintervallet er negativt for tidsligt separerede punkter er irriterende, så man definerer proper time τ med (∆τ )2 = −(∆s)2 = −ηµν ∆xµ ∆xν . Dette er den tid som en observatør der rejser på en ret linie mellem de to punkter vil måle. Det er vigtigt at bemærke at tids-koordinaten og proper time ikke er de samme. Hvis en observatør rejser en længere vej, vil denne måle en kortere proper time end hvis den rette linie mellem punkterne blev fulgt! ◭ 8 1 Speciel relativitetsteori og flad rumtid Nogen gange bliver man nødt til at arbejde med differentialer i stedet for hele linier. Det infinitesimale linieelement er ds2 = ηµν dxµ dxν . Hvis man nu ser på en parametriseret kurve igennem rumtiden, xµ (λ), kan man finde længden af kurven for rumlige kurver til at være Z r dxµ dxν ηµν ∆s = dλ, dλ dλ mens man for tidslige kurver i stedet bruger proper time, der vil være givet ved Z r dxµ dxν −ηµν dλ. ∆τ = dλ dλ Begge disse vil være nul for null kurver. 1.3 Lorentz transformationer Der er flere transformationer mellem forskellige inertialsystemer. De mest simple er translationer, der simpelthen skifter koordinaterne i rum og/eller tid ′ ′ xµ → xµ = δµµ (xµ + aµ ), ′ hvor aµ er et sæt med fire konstante tal, og δµµ er den fire-dimensionelle version af Kronecker delta symbolet ( ′ 1 når µ = µ′ , δµµ = 0 når µ , µ′ . Andre transformationer inkluderer rumlige rotationer og boosts (et skift med en konstant hastighed). Disse er lineære transformationer, hvor man ganger xµ med en rumtids-uafhængig matrice, så ′ ′ xµ = Λµ ν xν . Det er dog kun en bestemt slags matricer der efterlader rumtidsintervallet invariant; disse kaldes for Lorentz transformationerne, og overholder ′ ′ ηρσ = Λµ ρ Λν σ ηµ′ ν ′ . 1.4 Vektorer I rumtiden er vektorer fire-dimensionelle, og kaldes ofte for fire-vektorer. Hver vektor befinder sig i et bestemt punkt i rumtiden, og markerer altså ikke afstanden eller vejen mellem to punkter, som man oftest tænker på vektorer i det tre-dimensionelle Eukludiske rum. Definition 1.6 (Tangentrum) Til hvert punkt p i rumtiden kan man associere et sæt af alle mulige vektorer i det punkt. Dette sæt kaldes for tangentrummet ved p, eller Tp . Navnet kommer 1 Speciel relativitetsteori og flad rumtid 9 fra at man tænker på et rum i færre dimensioner, hvor man har en kurvet flade, der i hvert punkt har et sæt af tangentvektorer – et plan tangent til fladen i punktet. Tp b p manifold M Et vektorrum er en samling af objekter der kan lægges sammen og ganges med reelle tal på en lineær måde. Så hvis V og W er vektorer, og a og b er reelle tal, så skal der gælde at (a + b)(V + W ) = aV + bV + aW + bW. Ethvert vektorrum har også en nul-vektor, der er en identitet ved addition. Et vektorfelt er et sæt af vektorer hvor der er præcist en vektor i hvert punkt i rummet. Ofte skriver man vektorerne med en basis, der er et sæt af vektorer der spanner vektorrummet (så alle vektorer er en lineær kombination af basisvektorerne) og er lineært uafhængige (der er ikke en af basisvektorerne der er en lineær kombination af de andre). Der er uendeligt mange valg af basisvektorer, men der vil altid være det samme antal for et givent vektorrum, og dette tal er dimensionaliteten af rummet. Hvis man har en basis af fire vektorer eˆ(µ) , kan man skrive en vektor som A = Aµ eˆ(µ) = A0 eˆ(0) + A1 eˆ(1) + A2 eˆ(2) + A3 eˆ(3) , hvor man kalder koefficienterne Aµ for komponenterne af vektoren A, ofte egentlig bare refereret til som vektoren Aµ . Den egentlige vektor er et abstrakt objekt, mens komponenterne bare er koefficienterne i et eller andet givent koordinatsystem. Sætning 1.7 (Tangentvektor til kurve) Et standardeksempel på en vektor i rumtiden er tangentvektoren til en kurve. En parametriseret kurve igennem rumtiden er specificeret som xµ (λ), hvorved tangentvektoren V (λ) er dxµ . Vµ = dλ ′ Den egentlige vektor er V = V µ eˆ(µ) . Under en Lorentz transformation Λµ µ vil koordinaterne xµ ændre sig, mens parameteren λ er den samme. Derfor vil komponenterne af vektoren ændre sig som ′ ′ V µ → V µ = Λµ µ V µ . Derimod vil vektoren V selv ikke ændres under transformationen, da den jo ikke har noget at gøre med hvilket koordinatsystem man ser på den fra – den er invariant under Lorentz ◭ transformationer. 10 1 Speciel relativitetsteori og flad rumtid Det faktum at vektorer er invariante under Lorentz transformationer kan lede frem til at finde ud af hvordan basisvektorerne transformerer, nemlig med den inverse transformation. 1.5 Dual vektorer (one-forms) Når man har defineret et vektorrum, kan man definere et tilhørende vektorrum med samme dimension, kaldt et dual vektorrum. Dual rummet skrives sådan at hvis Tp er tangentrummet i punktet p, så er Tp∗ cotangent rummet, der er dual rummet til Tp . Definition 1.8 (Dual rum) Dual rummet er rummet med alle lineære mapninger fra det originale vektorrum til de reelle tal; hvis ω ∈ Tp∗ er en dual vektor, så opererer den som en mapning så ω(aV + bW ) = aω(V ) + bω(W ) ∈ R, hvor V, W ∈ Tp og a, b ∈ R. Det gode ved disse mapninger er at de selv former et vektorrum, ◭ for hvis ω og η er dual vektorer, så er (aω + bη)(V ) = aω(V ) + bη(V ). Man kan introducerer basisvektorer θˆ(ν) for dual rummet ved at kræve θˆ(ν) (ˆ e(µ) ) = δµν , hvorved man kan skrive alle dual vektorer som en lineær kombination af disse og deres komponenter, ω = ωµ θˆ(µ) . Ligesom for vektorer skriver man ofte bare ωµ når man henviser til hele dual vektoren. Et andet navn for dual vektorer er one-forms. Ofte henviser man til vektorer i et tangentrum Tp som kontravariante vektorer, mens dual vektorer i dual rummet Tp∗ kaldes for kovariante vektorer. Måden at skrive vektorer og dual vektorer med komponenter gør det nemt at opskrive hvordan en dual vektor virker på en vektor. Det kan nemlig vises at ω(V ) = ωµ V µ ∈ R. Faktisk gælder der også at vektorrummet er dual rummets dual rum, så V (ω) = ω(V ). I rumtiden er man ikke kun interesseret i enkelte vektorfelter, men derimod i felter af vektorer og dual vektorer. Her er virkningen af en dual vektor på en vektor ikke længere et enkelt tal, men derimod en skalar funktion på rumtiden. Eksempel 1 (Gradient) Det simpleste eksempel på en dual vektor er gradienten af en skalar funktion, ∂φ ˆ(µ) θ . dφ = ∂xµ 1 Speciel relativitetsteori og flad rumtid 11 Man skriver ofte gradienten med følgende korte notation, fordi det er en dual vektor, ∂φ = ∂µ φ, ∂xµ så selv om xµ har et hævet indeks, bliver det et sænket fordi det er i bunden af en differential◭ operator. 1.6 Tensorer Definition 1.9 (Tensor) En ligetil generalisation af vektorer og dual vektorer er tensorer. Lige som en dual vektor er en lineær mapning fra vektorer til R, er en tensor T af typen (eller rank) (k, l) en multilineær mapning fra en samling af dual vektorer og vektorer til R, T : Tp∗ × · · · × Tp∗ × Tp × · · · × Tp → R. | {z } | {z } k gange l gange Dermed er en skalar en type (0, 0) tensor, en vektor er en type (1, 0) tensor og en dual vektor ◭ er en type (0, 1) tensor. At en tensor kaldes multilineær betyder bare at den opererer lineært på hvert af sine argumenter. Rummet med alle (k, l) tensorer er også et vektorrum. For at lave en basis for dette vektorrum er det dog nødvendigt at definere en ny operation, kaldt et tensorprodukt, som skrives ⊗. Definition 1.10 (Tensor produkt) Hvis T er en (k, l) tensor og S er en (m, n) tensor, er (k + m, l + n) tensoren T ⊗ S givet ved T ⊗ S(ω (1) , . . . , ω (k) , . . . , ω (k+m) , V (1) , . . . , V (l) , . . . , V (l+n) ) = T (ω (1) , . . . , ω (k) , V (1) , . . . , V (l) ) × S(ω (k+1) , . . . , ω (k+m) , V (l+1) , . . . , V (l+n) ), hvor ω (i) og V (i) er hele dual vektorer og vektorer, ikke bare komponenter. ◭ Man kan nu finde basisvektorerne for et rum af (k, l) tensorer ved at udregne alle tensorerne med formen eˆ(µ1 ) ⊗ · · · ⊗ eˆ(µk ) ⊗ θˆ(ν1 ) ⊗ · · · ⊗ θˆ(νl ) . I en fire-dimensionel rumtid vil der være 4k+l basis tensorer i alt. Man kan derved skrive sin tensor ved linearkombinationen T = T µ1 ···µk ν1 ···νl eˆ(µ1 ) ⊗ · · · ⊗ eˆ(µk ) ⊗ θˆ(ν1 ) ⊗ · · · ⊗ θˆ(νl ) . Oftest vil man bare henvise til tensoren som T µ1 ···µk ν1 ···νl . Videre kan dens virkning på vektorer og dual vektorer skrives som T (ω (1) , . . . , ω (k) , V (1) , . . . , V (l) ) = T µ1 ···µk ν1 ···νl ωµ(1) · · · ωµ(k) V (1)ν1 · · · V (l)νl . 1 k 12 1 Speciel relativitetsteori og flad rumtid En (k, l) tensor har altså k hævede indekser og l sænkede indekser. Det kan vises at når man transformerer en tensor, så vil hvert hævet indeks transformere som en vektor, mens hvert sænket indeks vil transformere som en dual vektor. Bemærk at man ikke nødvendigvis er nødt til at bruge en tensor som en lineær mapning fra sæt af vektorer og dual vektorer til R, selv om det var sådan den blev defineret. Man kan f.eks. godt lade en (1, 1) tensor være en mapning fra vektorer til vektorer, så T µ ν : V µ → T µ ν V µ , hvilket er en vektor. Man kan også lade en tensor operere på en tensor for at få en tredje tensor, f.eks. U µ ν = T µρ σ S σ ρν . Definition 1.11 (Indre produkt) Et eksempel på en tensor er metrikken, ηµν . Dennes virkning på to vektorer er så brugbar at den får sit eget navn – det indre produkt, skalarproduktet eller prikproduktet η(V, W ) = ηµν V µ W ν = V · W. Lige som i det gode gamle Euklidiske rum, vil to vektorer med indre produkt nul blive kaldt for ortogonale. Normen er defineret som det indre produkt af en vektor med sig selv, og der gælder her at så er V µ tidslig < 0, µ ν ◭ hvis ηµν V V er = 0, så er V µ null µ > 0, så er V rumlig. Definition 1.12 (Kronecker delta) Kronecker deltaet δρµ er en (1, 1) tensor, som man normalt tænker på at være en mapning fra vektorer til vektorer. Denne er simpelthen identitetsmapningen. For denne unikke tensor behøver man ikke at tænke på om de hævede eller sænkede indekser kommer først, da δ µ ρ er numerisk identisk med δρ µ . ◭ Definition 1.13 (Invers metrik) Den inverse metrik η µν er en type (2, 0) tensor defineret som den “inverse” af metrikken, η µν ηνρ = ηρν η νµ = δρµ . Denne inverse metrik har faktisk præcist de samme elementer som metrikken selv, når der er ◭ tale om et fladt karthesisk rum. 1.9 Energi og impuls Man starter ud med verdenslinien af en enkelt partikel. Denne er specificeret af en mapning fra R til rumtiden M , hvor M står for manifolden der repræsenterer rumtiden. Man tænker normalt på banen som en parametriseret kurve xµ (λ). Tangentvektoren til denne kurve er dxµ /dλ. 1 Speciel relativitetsteori og flad rumtid 13 Et interessant objekt er normen af tangentvektoren for kurven, der karakteriserer banen; hvis tangentvektoren er tidslig/null/rumlig ved en parameterværdi λ, så kaldes banen også for tidslig/null/rumlig. Definition 1.14 (Fire-hastighed) Banerne for massive partikler vil altid være tidslige. Det er muligt at udregne τ (λ) for en sådan kurve, og derefter invertere for at få λ(τ ), så man kan få sin kurve parametriseret med proper tiden i stedet for λ. Tangentvektoren i denne parametrisering kaldes for fire-hastigheden U µ Uµ = dxµ , dτ som altid er normaliseret pga. dτ 2 = −ηµν dxµ dxν , så ηµν U µ U ν = −1. Fire-hastigheden er ikke en hastighed igennem rummet, men derimod en hastighed igennem rumtiden. ◭ I en partikels hvilesystem har fire-hastigheden altid komponenter U µ = (1, 0, 0, 0). Definition 1.15 (Impuls-firevektor) Impuls-firevektoren er relateret til fire-hastigheden ved pµ = mU µ , hvor m er hvilemassen af partiklen. Energien af en partikel er den tidslige komponent af en partikel, E = p0 . Bemærk at denne ikke er invariant under Lorentz transformationer, da den bare er en komponent i en vektor. Dette giver dog fin mening, da energien selvfølgelig ikke er den samme for en partikel der ligger stille og en partikel der bevæger sig. I en partikels hvilesystem har man at p0 = m, og dette er det samme som Einstein’s berømte formel, E = mc2 (når man husker at c = 1 her). I et inertialsystem der bevæger sig kan man finde komponenterne af pµ ved en Lorentz transformation: For en partikel der bevæger sig med tre-hastigheden v = dx/dt langs x-aksen gælder der at 1 . pµ = (γm, vγm, 0, 0), γ= √ 1 − v2 For små v giver dette de velkendte p0 = m + mv 2 /2, hvile-energi plus kinetisk energi, og p1 = mv, Newtonsk impuls. For mere generelle tilfælde vil der gælde at pµ pµ = −m2 , eftersom pµ pµ = m2 Uµ U µ , og U µ er normaliseret så dens norm er −1. Dette kan også skrives som p E = m2 + p 2 , hvor p2 = δij pi pj . ◭ 14 1 Speciel relativitetsteori og flad rumtid Definition 1.16 (Energi-impuls tensoren) Selv om fire-impulsen giver en komplet beskrivelse af energien om impulsen af en enkelt partikel, kan det nogen gange være nødvendigt at arbejde med større systemer, der består af mange partikler. I stedet for at specificere alle de individuelle fire-impulser kan man i stedet beskrive systemet som en væske – et kontinuum der ar karakteriserert med makroskopiske egenskaber som tæthed, tryk, entropi, viskositet, osv. Væsken har et overordnet fire-hastigheds felt, men et enkelt fire-impuls felt er ikke nok til at beskrive energien og impulsen af hele væsken. Man definerer i stedet energi-impuls tensoren, T µν . Hvis man forestiller sig et infinitesimal element af væsken i dets hvilesystem, hvor der ikke er nogen samlet bevægelse, gælder der følgende: T 00 er “fluksen af p0 (energi) i x0 (tids) retningen”, eller simpelthen hvilesystemets energidensitet, ρ. Tilsvarende er T 0i = T 0i impulsdensiteten. Rumkomponenterne T ij er impuls-fluksen, eller stressen. De diagonate elementer T ii er det man ◭ normalt tænker på som trykket pi . Eksempel 2 (Støv) Det simpleste eksempel på en energi-impuls tensor er støv, der er en samling af partikler der ikke har nogen hastighed i forhold til hinanden, hvorved fire-hastigheds feltet U µ (x) simpelthen er den konstante kollektive fire-hastighed af partiklerne. Man kan nu definere antal-fluks fire vektoren (number-flux fire vektoren) ved N µ = nU µ , hvor n er antals-densiteten af partiklerne, som målt i deres hvilesystem. Så er N 0 antalsdensiteten af partikler, som målt i et hvilket som helst andet system, og N i er fluksen af partikler i xi retningen. Hvis man forestiller sig at alle partiklerne har samme masse m, vil energi-densiteten af støvet være ρ = mn. Per definition vil ρ specificere støvet helt. Men ρ måler kun energi-densiteten i hvilerammen, hvad med alle de andre rammer? Man kan nu bemærke at både n og m er nul-komponenter af fire-vektorer i deres hvilesystem, µ N = (n, 0, 0, 0) og pµ = (m, 0, 0, 0). Derfor er ρ 00-komponenten af tensoren p ⊗ N , når den måles i hvilesystemet. Derfor defineres energi-impuls tensoren for støv til at være µν Tstøv = pµ N µ = mnU µ U ν = ρU µ U ν , hvor ρ er energi-densiteten i hvilesystemet. ◭ Eksempel 3 (Perfekt væske) En perfekt væske kan beskrives med to egenskaber, en hvilesystems energi-densitet ρ og et isotropisk hvilesystems-tryk p, der er trykket i alle retninger. 1 Speciel relativitetsteori og flad rumtid 15 Isotropien betyder at T µν er diagonal i hvilesystemet, hvor den er µν Tstøv ρ 0 0 p = 0 0 0 0 0 0 p 0 0 0 . 0 p Denne er dog kun gyldig i en flad rumtid, og man vil gerne have et udtryk der er mere generelt. For støv var sådant et udtryk givet ved T µν = ρU µ U ν , så man kunne jo gætte på at udtrykket for den perfekte væske var T µν = (ρ+p)U µ U ν , hvilket dog ikke er helt nok. Det endelige udtryk er µν µ ν Tperf. væske = (ρ + p)U U + pηµν , som er korrekt i alle inertialsystemer. ◭ En perfekt væske er generel nok til at beskrive rigtig mange forskellige systemer. For at bestemme udviklingen af sådan en væske definerer man en tilstandsligning der forbinder energi-densiteten med trykket, p = p(ρ). Støv er et specialtilfælde hvor p = 0, mens en isotropisk gas a fotoner har udtrykket p = ρ/3. Et mere specielt tilfælde er vakuum energien, hvor energi-impuls tensoren er proportional med metrikken µν Tvakuum = −ρvakuum η µν . Vakuum er altså en form for perfekt væske med pvakuum = −ρvakuum . Ud over at være symmetrisk, har T µν en anden og mere vigtig egenskab, den er bevaret, hvilket betyder at ∂µ T µν = 0. Dette er fire ligninger (en for hver ν), hvor nul-komponenten svarer til energibevarelse, mens de tre andre, ∂µ T µk = 0, svarer til bevarelse af det k’te komponent af impulsen. 16 2 2 Manifolder Manifolder 2.1 Tyngdekraften som en geometri Det dynamiske felt der giver anledning til tyngdekraften er den metriske tensor der beskriver kurvaturen af rumtiden selv, ikke et eller andet udefrakommende felt der propagerer igennem rumtiden. Den fysiske indsigt der ledte Einstein til denne konklusion i sin tid, var universaliteten af den gravitationelle interaktion, formuleret ved ækvivalensprincippet (eller the principle of equivalence). Sætning 2.1 (Det svage ækvivalensprincip (WEP)) Det svage ækvivalensprincip, eller WEP for the weak equivalence principle, siger at den inertielle masse og gravitationelle masse af et hvilkent som helst objekt er den samme. ◭ Dette lyder måske underligt, men massen der indgår i f.eks. Newtons 2. lov, F = mi a, den inertielle masse, er ikke nødvendigvis den samme som den proportionalitetskonstant der indgår i en masses respons til et gravitationelt felt, som f.eks. i Fg = −mg ∇Φ. Man kan tænke på mg /mi som den gravitationelle ladning af massen. WEP siger at m i = mg for ethvert objekt. En direkte konsekvens af WEP er at opførslen af frit faldende partikler er universel, og uafhængig at deres masse, nemlig at a = −∇Φ. Fra dette kan det konkluderes at der eksisterer en foretrukken klasse af baner igennem rumtiden, kaldt inertielle (eller frit-faldende) baner, hvor uaccelererede partikler rejser. Her betyder uaccelereret at partiklerne kun føler tyngdekraft, og ikke andre udefrakommende kræfter. Dette er tydeligvis ikke tilfældet for andre kræfter, som f.eks. den elektromagnetiske, hvor partikler kan have forskellige ladninger. Universaliteten af tyngdekraften, som den udledes fra WEP, kan også formuleres på en anden måde: Der er ikke nogen måde at se forskel på effekterne af et gravitationelt felt og effekterne af at være i et accelererende koordinatsystem, hvis man ser på frit faldende partikler. Dette bør dog kun menes for “små nok områder” i rumtiden, for hvis man er i et stort nok område, vil man f.eks. kunne se at det graviationelle felt fra en planet ikke var fladt. WEP kan derfor også skrives: Bevægelsen af frit faldende partikler er den samme i et gravitationelt felt og i et uniformt accelererende koordinatsystem i små nok områder af rumtiden. Det var dog logisk for Einstein at energi og masse er to navne på den samme størrelse, og han ville derfor udvide WEP til en mere generel sætning. Ideen var simpelthen er der ikke var nogen måde over hovedet for en observatør at se forskel på et gravitationelt felt og et accelererende koordinatsystem, uanset hvilket eksperiment der blev udført. 2 Manifolder 17 Sætning 2.2 (Einsteins ækvivalensprincip (EEP)) Einsteins ækvivalensprincip, eller EEP for Einstein equivalence principle, siger at i små nok regioner i rumtiden vil fysikkens love reduceres til dem i den specielle relativitetsteori – det er umuligt at detektere eksistensen af et ◭ gravitationelt felt ved at lave lokale eksperimenter. EEP foreslår at den gravitationelle kraft har at gøre med kurvaturen af rumtiden. I den specielle relativitetsteori er inertialsystemer vigtige, men disse kan ikke bruges når der arbejdes med tyngdekraften – der er ikke noget gravitationelt neutralt object imod hvilket man kan måle en acceleration. I stedet definereres “uaccelereret” eller “frit faldende” som følgende tyngdefeltet, og ikke andre kræfter. Hermed er “at bevæge sig uaccelereret” pludselig blevet at bevæge sig efter det tyngdefelt der nu engang er til stede. I den specielle relativitetsteori kan man definere et inertialsystem til simpelthen at udspænde hele universet, men pga. inhomogeniteter i det gravitationelle felt er dette ikke længere muligt i den generelle relativitetsteori. I stedet bliver man nødt til at definere lokale inertisystemer, som følger individuelle frit faldende partikler i små nok områder i rumtiden. Man er nødt til at finde et matematisk værktøj der kan være konsistent med disse fysiske teorier, hvilket betyder at man skal forestille sig at rumtiden er kurvet, og at tyngdekraften er en manifestation af denne kurvatur. Den matematiske struktur man skal bruge for at gøre dette kaldes for en differentiabel manifold. Dette er essentielt set et sæt der lokalt ligner fladt rum, men kan have en meget anderledes global geometri. Det er ikke muligt at bevise at tyngdekraften skulle være et produkt at en kurvatur, men det er muligt at foreslå det som en id´e, og se om konsekvenserne passer med virkeligheden. Sætning 2.3 (Gravitationelt rødskifte) Man skal forestille sig to raketter i en afstand z fra hinanden, og begge bevæger sig med en konstant acceleration a i et område langt væk fra alle gravitationelle felter. Til tiden t0 udsender den bagerste raket en foton med bølgelængde λ0 . Raketterne forbliver i den konstante afstand fra hinanden, så fotonen når den forreste raket efter tiden ∆t = z/c. I denne tid vil raketterne have accelereret til en ekstra hastighed ∆v = a∆t = az/c. Derfor vil fotonen der når den forreste raket være rødskiftet med den konventionelle Dopplereffekt, ved ∆v az ∆λ = = 2. λ0 c c Ifølge EEP burde det samme ske i et uniformt gravitationelt felt. Man kan altså forestille sig et tårn med højde z på overfladen af en planet med et gravitationelt felt med styrke ag . Observatørerne i “raketten” øverst i tårnet kun kan observere fotoner der kommer fra jorden, og kan ellers ikke se andet. Dermed vil EEP direkte føre til at en foton udsendt med bølgelængde λ0 fra jordoverfladen vil blive rødskiftet med en mængde ∆λ ag z = 2 . λ0 c Dette er det gravitationelle rødskift. ◭ 18 2 Manifolder Ligningen for det gravitationelle rødskifte skrives nogen gange på en anden form, hvor man bruger det Newtonske potentiale Φ, hvor a = ∇Φ. Et ikke-konstant gravitationelt felt kræver at man integrerer, og man får derved at Z Z ∆λ 1 1 ∇Φdt = 2 ∂z Φdz = ∆Φ, = λ0 c c hvor ∆Φ er den totale ændring i det gravitationelle potentiale, igen med c = 1. t ∆t1 ∆t0 z0 z1 z Ud fra det gravitationelle rødskifte kan man også konkludere at rumtiden må være kurvet. Hvis man tegner et rumtids-diagram for eksperimentet, hvor en person udsender lys med bølgelængde λ0 fra en højde z0 , op til toppen af tårnet i højden z1 , så vil tiden imellem begyndelsen af en enkelt bølge og slutningen af samme bølge være givet ved ∆t0 = λ0 /c, mens det samme interval ved absorptionen må være ∆t0 = λ1 /c. Hvis det gravitationelle felt er statisk, så vil alle bølger følge en kongruent vej, og simpel geometri ville så sige at tiderne ∆t0 og ∆t1 var ens. Men det er det ikke, da det gravitationelle rødskifte siger at ∆t1 > ∆t0 . Dette kan fortolkes som at uret i tårnets top løber hurtigere – rumtiden hvor fotonerne rejste er kurvet. 2.2 Hvad er en manifold? Normalt arbejder man med egenskaber af n-dimensionelle Eulidiske rum, Rn , sættet af n-tupler (x1 , . . . , xn ), der ofte har en flad positiv definit metrik med komponenter δij . Man kan lave analyse på sådanne rum, differentation, integration, funktionsegenskaber, osv. Der findes dog også kurvede rum som man gerne vil gøre sådan noget på, f.eks. kugler. Definition 2.4 (Manifold) En manifold er et rum der kan være kurvet og have en kompliceret topologi, men ser ud som Rn i lokale regioner. Hele manifolden er lavet ved at “sy” sådanne områder sammen. ◭ Dimensionaliteten n af de Euklidiske rum der bruges lokalt skal være den samme i alle dele af manifolden, og da er manifolden også i n dimensioner. Eksempler på manifolder er ◮ Rn selv. Dette er logisk, eftersom Rn selvfølgelig ser ud som Rn lokalt også. ◮ Den n-dimensionelle kugle S n . Denne kan indlejres i Rn+1 som en flade hvor alle punkter har samme afstand til et centrum. Cirkelen er S 1 , kuglen (to-kuglen) er S 2 , osv. ◮ Det direkte produkt mellem to manifolder er en manifold. Så givet en manifold M og en manifold M ′ med dimension n og n′ , kan man lave en ny manifold M × M ′ med dimension n + n′ , der indeholder ordnede par (p, p′ ) hvor p ∈ M og p′ ∈ M ′ . 2 Manifolder 19 Det er dog nødvendigt at formalisere definitionen af en manifold lidt mere end at den består af regioner der “lokalt ligner Rn ” der er “syet glat sammen”. Definition 2.5 (Mapning) Givet to sæt M og N , er en mapning φ : M → N en sammenhæng der for hvert element i M tildeler en præcist ´en værdi i N . En mapning er altså bare en simpel generalisation af en funktion. Givet to mapninger φ : A → B og ψ : B → C, defineres kompositionen ψ ◦ φ : A → C ved operationen (ψ ◦ φ)(a) = ψ(φ(a)). Så a ∈ A, φ(a) ∈ B, og dermed er (ψ ◦ φ)(a) ∈ C. ψ◦φ A C φ ψ B En mapning φ : M → N kaldes for injektiv (eller one-to-one) hvis hvert element i N har maksimalt et element af M mapped på sig, og surjektiv (eller onto) hvis hvert element i N har mindst et element af M mapped på sig. En mapning der både er injektiv og surjektiv kaldes invertibel (eller bijektiv), og her kan man definere en invers mapning φ−1 : N → M ved (φ−1 ◦ φ)(a) = a. φ M N φ−1 Selv om mapningen ikke er invertibel er det stadig altid muligt at definere pre-billedet φ−1 (U ), der er defineret for et hvilken som helst undersæt U ⊆ N som sættet af elementer fra M der bliver mapped til U . Sættet M kaldes for domænet for mapningen φ : M → N , mens sættet af punkter i N som M mappes på kaldes for billedet. ◭ En mapning mellem Euklidiske rum, φ : Rm → Rn , tager en m-tuple (x1 , x2 , . . . , xm ) til en n-tuple (y 1 , y 2 , . . . , y n ), og kan tænkes på som en samling af n funktioner φi med m variable. Der henvises til disse funktioner som værende C p hvis deres p første afledte eksisterer og er kontinuerte, mens der henvises til hele mapningen φ : Rm → Rn som værende C p hvis dette mindst gælder for alle funktionerne. Mapninger der er C ∞ kaldes nogen gange for glatte (eller smooth). Definition 2.6 (Åbent sæt) En åben bold er sættet af alle punkter x i Rn således at |x − y| < r P for en eller anden fastsat y ∈ Rn og r ∈ R, hvor |x − y| = | i (xi − y i )2 |1/2 . Altså er den åbne bold den inderste del af en n-kugle med radius r og centrum y. Et åbent sæt i Rn er så et sæt konstrueret fra et arbitrært antal åbne bolde. Så V ∈ Rn er ◭ åben hvis der for alle y ∈ V er en åben bold centreret i y der er komplet inden i V . Et kort (eller chart eller bare koordinatsystem) består af et subsæt U af et sæt M , sammen med en injektivt mapning φ : U → Rn , således at billedet φ(U ) er åbent i Rn . Så kan det siges at U er et åbent sæt i M . 20 2 Manifolder Rn M φ U φ(U ) Et C ∞ atlas er en indekseret samling af kort {(Uα , φα )} der overholder de to krav ◮ Foreningen af Uα ’erne er lig med M . ◮ Kortene er “syet” glat sammen. Mere præcist, hvis to kort overlapper, Uα ∩ Uβ , ∅, så vil n n mapningen (φα ◦φ−1 β ) tage punkter i φβ (U α∩Uβ ) ⊂ R hen til et åbent sæt φα (Uα ∩Uβ ) ⊂ R , og alle disse mapninger skal være C ∞ . Rn M Uβ Uα φα (Uα ) φα φα ◦ φ−1 β φβ φβ (Uβ ) φβ ◦ φ−1 α Disse maps er kun defineret på de farvede områder Rn Så et kort er hvad man normalt tænker på som et koordinatsystem på et åbent sæt, mens et atlas er en samling af kort der er glat forbundet i deres overlap. Definition 2.7 (Manifold (matematisk)) En C ∞ n-dimensional manifold er simpelthen et sæt ◭ M sammen med et maksimalt atlas, der indeholder alle mulige kompatible kort. Kravet om at sættet skal være C ∞ kan godt slækkes, og kravet om et maksimalt atlas er for at undgå at to ækvivalente manifolder med forskellige atlas’er ikke tæller som to forskellige manifolder. Bemærk at definitionen af en manifold ikke kræver en indlejring i et større-dimensionelt rum. Det er ofte nemt at tænke på manifolder sådan, men det er ikke strengt nødvendigt. De fleste manifolder kan ikke dækkes af kun et kort, hvorfor det var nødvendigt at gå igennem så mange definitioner. Det simpleste eksempel er to-kuglen S 2 , der kan mappes til R2 ved f.eks. stereografisk projektion. Men denne misser enten det ene punkt i sydpolen eller nordpolen, hvorfor man er nødt til at have to kort til at mappe hele S 2 til R2 . Sætning 2.8 (Kædereglen) En enkelt lille del af den konventionelle kalkulus skal bruges i det følgende, og det er derfor værd lige at tage det med. Man har to mapninger f : Rm → Rn og g : Rn → Rl , og dermed kompositionen (g ◦ f ) : Rm → Rl . Man kan nu navngive de forskellige variable på rummene som xa på Rm , y b på Rn og z c på Rl . Kædereglen forbinder så de partielle 2 Manifolder 21 afledte for de individuelle mapninger, X ∂f b ∂g c ∂ (g ◦ f )c = , a ∂x ∂xa ∂y b b der normalt forkortes som X ∂y b ∂ ∂ = . ∂xa ∂xa ∂y b b Når m = n kaldes determinanten af matricen ∂y b /∂xa for Jacobianten for mapningen, og ◭ mapningen er invertibel når Jacobianten er forskellig fra nul. 2.3 Vektorer igen Man kan forestille sig at man ville konstruere et tangentrum i et punkt p på en manifold M , ved kun at bruge ting der var egenskaber for M . Man kan se på sættet af alle parametriserede kurver i M som går igennem p, dette er rummet af alle mapninger γ : R → M således at p er i billedet af γ. Det ville så være logisk at definere tangentrummet som sættet af tangentvektorer til disse kurver i p, men en tangentvektor på en manifold er endnu ikke blevet defineret! Definition 2.9 (Tangentrum (generel manifold)) Man definerer F som værende rummet med alle glatte funktioner på M (altså alle C ∞ mapninger f : M → R). Alle kurver igennem p definerer en operator på dette rum, den retningsafhængige afledte, der mapper f → df /dλ i p. Tangentrummet kan da identificeres med rummet af retningsafhængige afledte operatorer ◭ langs kurver igennem p. Det kan nu vises at dette rum faktisk er et vektorrum, og at det er det rum der blev ledt efter – det har altså samme dimensionalitet som M , og giver en naturlig ide om hvad der menes med en vektor der peger i en bestemt retning. Den nemmeste måde at vise at rummet faktisk er tangentrummet, er at finde en basis for det. Hvis man har et kort med koordinater xµ , er der et logisk sæt af afledte i punktet p, nemlig de retningsbestemte afledte ∂µ . Dette er faktisk netop definitionen af en partielt afledt af xµ – den retningsbestemte afledte langs en kurve xν = konstant for alle ν , µ, parametriseret af xµ selv. Det kan nu vises at de partielle afledte {∂µ } ved p former en basis for tangentrummet Tp , ved at se at dxµ d = ∂µ . dλ dλ Denne ligning er ligesom den normale ligning V = V µ eˆ(µ) , hvor vektoren nu er V = d/dλ, og basisvektorerne er ∂µ . Denne basis kaldes for koordinatbasisen for Tp . Det er også muligt at finde hvordan disse vektorer transformerer når man skifter koordinatsystem, ved simpelthen at kræve at V = V µ ∂µ er invariant under denne. Derved findes det at ′ ′ Vµ = ∂xµ µ V . ∂xµ 22 2 Manifolder Denne kaldes også for vektortransformationsloven. Definition 2.10 (Kommutator) Eftersom en vektor i et punkt kan tænkes på som en retningsbestemt differentialoperator langs en kurve i dette punkt, kan man definere et vektorfelt som en mapning fra de glatte funktioner til de glatte funktioner ved at tage en afledt i hvert punkt. Givet sådan to vektorfelter X og Y , kan man nu definerer kommutatoren [X, Y ] ved dens virkning på en funktion f (xµ ) [X, Y ](f ) = X(Y (f )) − Y (X(f )). Denne operator er koordinat-uafhængig, og er faktisk i sig selv et vektorfelt (den opererer lineært, og overholder Leibniz reglen). Komponenterne af kommutatoren kan findes til at være [X, Y ]µ = X λ ∂λ Y µ − Y λ ∂λ X µ . 2.4 ◭ Tensorer igen Igen kan kotangentrummet tænkes på som sætte af lineære mapninger ω : Tp → R. Et eksempel på en sådan er gradienten af en funktion f , df , der når den opererer på en tangentvektor d/dλ netop giver den retningsbestemte afledte d df df = . dλ dλ En dual vektor eksisterer, ligesom en vektor, kun i det punkt hvor den er defineret, og aafhænger ikke af information om andre steder på manifolden. Lige som de partielle afledte er en basis for tangentrummet, er gradienterne af koordinatfunktionerne xµ en basis for kotangentrummet, således at en dual vektor kan skrives som ω = ωµ dxµ . Denne transformerer som ωµ′ = ∂xµ ωµ , ∂xµ′ altså med den omvendte partielle afledte af hvordan en vektor transformerer. Definition 2.11 (Tensor (generel manifold)) Lige som i det flade rum defineres en (k, l) tensor som en multilineær mapning fra en samling af k dual vektorer og l vektorer til R. Denne kan skrives som T = T µ1 ···µk ν1 ···νl ∂µ1 ⊗ · · · ⊗ ∂µk ⊗ dxν1 ⊗ · · · ⊗ dxνl . Koordinattransformationer foregår ved at de hævede indekser transformerer som vektorer, mens de sænkede transformerer som dual vektorer, og der gælder altså at ′ T µ′1 ···µ′k ν1′ ···νl′ ′ ∂xµk ∂xν1 ∂xµ1 ∂xνl µ1 ···µk · · · = · · · ν1 ···νl . ′ T ′ ∂xµ1 ∂xµk ∂xν1 ∂xνl ◭ 2 Manifolder 23 Desværre er det ikke alle tensor operationer fra det flade rum der kan oversættes direkte til en generel metrik. F.eks. er den partielt afledte af en tensor ikke generelt en ny tensor. Dette kan man se ved simpelthen at udregne den partielt afledte af en dual vektor, ∂µ Wµ , og skifte koordinater for at se om den transformerer som den skal, ν ∂xµ ∂xν ∂xµ ∂ ∂xν ∂x ∂xµ ∂ ∂ ∂ ′ = + Wν µ′ µ ν ′ . W W W = ν ν ν ′ ′ ′ ′ ′ µ µ µ ν µ ν µ ∂x ∂x ∂x ∂x ∂x ∂x ∂x ∂x ∂x ∂x Det sidste af de to udtryk burde ikke være der hvis ∂µ Wµ faktisk transformerede som en (0, 2) tensor. Derfor bliver det senere nødvendigt at definere en ny form for partielt afledt – den kovariant afledte. 2.5 Metrikken Den metriske tensor i et kurvet rum er meget vigtig, og får sit eget navn gµν (mens ηµν er reserveret til kun at tale om Minkowski metrikken). Der er ikke mange krav til metrikken, andet end at den er en symmetrisk (0, 2) tensor. Ofte tages metrikken som værende ikke-degeneret (så determinanten g = |gµν | er forskellig fra nul), hvorved det er muligt at definere en invers metrik g µν ved g µν gνσ = gλσ g λµ = δσµ . Symmetrien af gµν fortæller at g µν også er symmetrisk. Metrikken og dens inverse kan bruges til at hæve og sænke indekser, lige som i den specielle relativitetsteori. Sætning 2.12 (Linie-element (generel manifold)) I speciel relativitetsteori havde man linieelementet ds2 = ηµν dxµ dxν , men nu ved man at dxµ i virkeligheden er en basis dual vektor, hvorfor det virker naturlig at bruge ordene “metrik” og “linie-element” om det samme, ds2 = gµν dxµ dxν . ◭ Den metriske tensor indeholder al den information der er brug for til at beskrive kurvaturen af manifolden. I et fladt rum er metrikken konstant igennem hele rummet (selvfølgelig kun med det rette koordinatsystem, som dog altid kan findes), men generelt vil metrikken være en funktion af koordinaterne som man ser rummet med. Sætning 2.13 (Metrikken på kanonisk form) Man sætter matrikken på sin kanoniske form for at karakterisere rummet meget groft. Man kan simpelthen skrive den som en diagonal på formen gµν = diag(−1, −1, . . . , −1, +1, +1, . . . , +1, 0, 0, . . . , 0), hvor diag betyder en diagonal matrice med de givne elementer. Signaturen af metrikken er antallet af positive og negative egenværdier, f.eks. kalder man Minkowski metrikken for minusplus-plus-plus. Hvis nogen af egenværdierne er nul, kaldes metrikken for degenereret, og den vil ikke have en invers. Hvis alle fortegnene er positive kaldes metrikken Euklidisk eller Riemannian (eller bare positivt definit). Hvis der derimod er et enkelt minustegn kaldes metrikken for Lorentzian eller 24 2 Manifolder pseudo-Riemannian. En metrik med et andet forhold mellem positive og negative fortegn kaldes ◭ indefinit. Definition 2.14 (Lokale intertialkoordinater) Det viser sig at i et hvilkent som helst punkt p ∈ M eksisterer der et koordinatsystem xµˆ i hvilket gµˆνˆ tager sin kanoniske form, og de første afledte ∂σˆ gµˆνˆ er nul, således at gµˆνˆ (p) = ηµˆνˆ , ∂σˆ gµˆνˆ (p) = 0. Sådanne koordinater kaldes for lokale intertialkoordinater (eller locally intertial coordinates), og de lokale basisvektorer laver et lokalt Lorentz inertialsystem. Hattene over indekserne fortæller at man er i et sådant koordinatsystem. ◭ Til første orden vil metrikken i p se ud til at være fladt rum, og det er netop det der menes med “små nok områder i rumtiden”. Lokale inertialkoordinater er virkelig brugbare. Bedst af alt er det ikke generelt nødvendigt at lave koordinaterne, det er ofte nok bare at vide at de kan laves. Det normale trick er at tage et spørgsmål af fysisk interesse, svare på det i konteksten af de lokale inertialkoordinater, og så udtrykke svaret i en koordinat-uafhængig form. 2.6 Et ekspanderende univers Et simpelt eksempel på en ikke-triviel Lorentzian geometri er den fire-dimensionelle kosmologiske rumtid med metrik ds2 = −dt2 + a2 (t)[dx2 + dy 2 + dz 2 ]. Dette beskriver et univers hvor rum til en bestemt tid t er det tre-dimensionelle Euklidiske rum, som udvider sig som en funktion af tid. Funktionen a(t) kaldes for skalafaktoren. Verdenslinier xi der bliver ved konstante rumlige koordinater kaldes for comoving. Områder i rummet det udvider sig sammen med hele rummet (så grænserne er ved faste rumlige koordinater) kaldes for comoving volumener. Denne metrik er et specielt tilfælde af en Robertson-Walker metrik, med fladt rum i hver tidsøjeblik. Typiske løsninger for skalafaktoren er potensfunktioner, a(t) = tq , 0 < q < 1. Et univers domineret af stof har q = 2/3, mens et univers domineret af stråling har q = 1/2. En vigtig egenskab er at skalafaktoren går mod nul for t → 0, så vores rumtid stopper når t kommer helt derned. Lys-kegler i denne kurvede geometri er defineret at null vejene, hvor ds2 = 0. Hvis man holder y og z konstante, har man altså 0 = −dt2 + t2q dx2 , der giver hældninger dx = ±t−q dt ⇒ t = (1 − q)1/(1−q) (±x − x0 )1/(1−q) , 2 Manifolder 25 hvor x0 er en integrationskonstant. Disse kurver definerer lys-keglerne i det ekspanderende univers. Den stiplede linie i bunden af figuren er t = 0 linien, og her vil lys-keglerne tangere, eftersom 0 < q < 1. t En vigtig ting i denne rumtid er at lyskeglerne ikke nødvendigvis skærer hinanden i fortiden, hvilket de altid gjorde i Minkowski rummet. Hver hændelse definerer en hændelseshorisont, uden for hvilken der eksisterer verdenslinier som ikke kan have haft nogen indflydelse på hvad der sker i denne hændelse. Dette er selvfølgelig fordi der ikke er noget der kan påvirke en hændelse uden for lys-keglen. 2.8 Tensor densiteter Definition 2.15 (Levi-Civita defineret ved +1 ǫ˜µ1 µ2 ···µn = −1 0 symbolet) Det komplette antisymmetriske Levi-Civita symbol er hvis µ1 µ2 · · · µn er en lige permutation af 0 1 · · · (n − 1), hvis µ1 µ2 · · · µn er en ulige permutation af 0 1 · · · (n − 1), ellers. ◭ Definition 2.16 (Tensor densitet) Levi-Civita symbolet ændrer sig ikke under koordinattransformationer, og er altså ikke en tensor. Faktisk transformerer den næsten som en tensor, men med en determinant foran, ∂xµ′ ∂xµ1 ∂xµ2 ∂xµn · · · ǫ˜µ′1 µ′2 ···µ′n = µ ǫ˜µ1 µ2 ···µn µ′ ′ ′ . ∂x ∂xµn ∂x 1 ∂xµ2 Objekter der transformerer på denne måde kaldes for tensor densiteter. ◭ Et andet eksempel på en tensor densitet er determinanten af metrikken, g = |gµν |. Det kan vises at denne transformerer som ∂xµ′ −2 ′ g(xµ ) = µ g(xm u), ∂x Dette er altså heller ikke en ren tensor transformation, men det minder lidt om den måde LeviCivita symbolet transformerede, med en Jacobiant foran, denne gang dog i potensen −2. Denne 26 2 Manifolder potens af Jacobianten kaldes for tensor densitetens vægt: Levi-Civita symbolet er en tensor densitet med vægt 1, mens determinanten af metrikken er en tensor densitet med vægt −2. Tensor densiteter er dog ikke lige så rare som tensorer, og der er heldigvis en simpel måde at konvertere en tensor densitet til en tensor – man ganger simpelthen med |g|w/2 , hvor w er vægten. F.eks. er Levi-Civita tensoren givet ved ǫµ1 µ2 ···µn = og denne transformerer som en tensor. p |g|˜ ǫµ1 µ2 ···µn , 3 3 3.1 Kurvatur 27 Kurvatur Oversigt Kurvatur er ret nemt at forstå som en abstrakt egenskab, men det er lidt sværere at stille op matematisk. For at gøre dette skal man opstille noget der hedder en forbindelse (eller connection), der giver en måde at forbinde vektorer i forskellige tangentrum i punkter tæt på hinanden. Der kan laves en unik forbindelse ud fra metrikken, som er givet ved et objekt kaldt et Christoffel symbol, 1 Γλµν = g λσ (∂µ gνσ + ∂ν gσµ − ∂σ gµν ). 2 Den grundlæggende brug af en forbindelse er at tage den kovariant afledte, ∇µ (en generalisering af den partielt afledte), der er givet ved ∇µ V ν = ∂µ V ν + Γνµσ V σ , og lignende for andre tensorer. Forbindelsen bruges også i definitionen af geodætiske baner (en generalisation af rette linier i fladt rum). En kurve x(λ)µ er en geodætisk bane hvis den overholder d2 xµ dxρ dxσ + Γµρσ = 0, 2 dλ dλ dλ der kaldes for den geodætiske ligning. Endelig er det tekniske udtryk for kurvaturen indeholdt i Riemann tensoren, en (1, 3) tensor der findes ud fra forbindelsen ved Rρ σµν = ∂µ Γρνσ − ∂ν Γρµσ + Γρµλ Γλνσ − Γρνλ Γλµσ . Alt hvad man gerne vil vide om kurvaturen af en manifold er givet i Riemann tensoren – den er kun nul hvis metrikken er helt flad. 3.2 Kovariant afledte Det er naturligt at tænke på kurvaturen som noget der kun afhænger af metrikken. Man finder dog ved lidt nærmere undersøgelse af kurvaturen i stedet afhænger af forbindelsen, der kan afhænge af metrikken (men ikke nødvendigvis gør det). Man kan dog vise at eksistensen af en metrik definerer en bestemt forbindelse, hvis kurvatur man så kan tænke på som metrikkens kurvatur. Dette er netop hvad der gøres i den generelle relativitetsteori. Forbindelsen er nødvendig når man skal forsøge at fikse at den partielt afledte ikke er en god tensor operator – man vil gerne have en kovariant afledt, der reducerer til den partielt afledte i et fladt rum med inertialkoordinater, men ellers transformerer en tensor på en arbitrær manifold. I det flade rum i inertialkoordinater er den partielle differentationsoperator ∂µ en mapning fra (k, l) tensorfelter til (k, l + 1) tensorfelter, som virker lineært på sine argumenter, og overholder Leibniz reglen for tensor produkter. Alt dette skal vores nye partielle afledte også overholde, men det skal være på en koordinat-invariant måde, så man definerer en kovariant afledt ∇ til at gøre det samme som ∂, men på en invariant måde. ∇ skal være en mapning fra (k, l) tensorfelter til (k, l + 1) tensorfelter med egenskaberne 28 3 Kurvatur ◮ Linearitet: ∇(T + S) = ∇T + ∇S. ◮ Leibniz (produkt) regelen: ∇(T ⊗ S) = (∇T ) ⊗ S + T ⊗ (∇S). Hvis ∇ skal overholde Leibniz regelen kan man altid skrive den som en partielt afledt plus en eller anden lineær transformation – så man kan lave sin kovariante afledte ved først at bruge den partielt afledte, og så lægge en korrektion oveni. Definition 3.1 (Forbindelseskoefficienter) For hver retning µ vil den kovariante afledte ∇µ være givet ved den partielt afledte plus en korrektion specificeret med en sæt af n matricer (Γµ )ρ σ (en n × n matrice for hver µ, hvor n er dimensionaliteten af manifolden). Oftest skriver man bare disse matricer, kaldt forbindelseskoefficienterne (eller the connection coefficients), ◭ uden parentesen, som Γρµσ . Der skal altså gælde at den kovariante afledte på en vektor er ∇µ V ν = ∂µ V ν + Γνµλ V λ . Man kan nu bestemme transformationsegenskaberne for Γνµλ ’erne ved at kræve at den venstre side er en (1, 1) tensor. Med dette finder man af forbindelseskoefficienterne transformerer som ′ ′ Γνµ′ λ′ ′ ∂xµ ∂xλ ∂ 2 xν ∂xµ ∂xλ ∂xν ν Γ + . = ′ ′ µλ ∂xµ ∂xλ ∂xν ∂xµ′ ∂xλ′ ∂xµ ∂xλ Dette er tydeligvis ikke som en tensor, og det fortæller altså at forbindelseskoefficienterne ikke er komponenter af en tensor! Men det er fint, for de er stadig lavet på en sådan måde at ∇µ V ν transformerer som en tensor. Man kan tilsvarende opskrive den kovariante afledte af en dual vektor som ˜ λ ωλ , ∇µ ων = ∂µ ων + Γ µν ˜ ν er et nyt sæt matricer, der ikke nødvendigvis er de samme som dem der bruges for hvor Γ µλ ˜ ν og Γλ koefficienterne skal der laves to krav mere for den vektorer. For at sammenligne Γ µν µλ kovariante afledte: ◮ Den skal kommutere med sammentrækninger: ∇µ (T λ λρ ) = (∇T )µ λ λρ . ◮ Den skal reducere til partielle afledte på skalarer: ∇µ φ = ∂µ φ. Den første af disse to er ækvivalent med at sige at Kronecker deltaet skal være kovariant konstant, ∇µ δνλ = 0, hvilket selvfølgelig giver god mening. ˜ σ = −Γσ , og dermed kan man altså opskrive den kovariante Med disse kan det nu vises at Γ µλ µλ afledte af en dual vektor som ∇µ ων = ∂µ ων − Γλµν ωλ . 3 Kurvatur 29 Definition 3.2 (Kovariant afledte) Forbindelseskoefficienterne indeholder al nødvendig information for at tage den kovariante afledte af en tensor af arbitrær størrelse. For hvert hævet indeks skal man tilføje et led med en +Γ, mens man for hvert sænket indeks skal tilføje et led med en −Γ. Altså er det generelle udtryk for den kovariante afledte ∇σ T µ1 µ2 ···µk ν1 ν2 ···νl = ∂σ T µ1 µ2 ···µk ν1 ν2 ···νl + Γµσλ1 T λµ2 ···µk ν1 ν2 ···νl + Γµσλ2 T µ1 λ···µk ν1 ν2 ···νl + · · · − Γλσν1 T µ1 µ2 ···µk λν2 ···νl − Γλσν2 T µ1 µ2 ···µk ν1 λ···νl − · · · ◭ For at definere den kovariant afledte skal man altså bare have en forbindelse på sin manifold, specificeret i et koordinatsystem som et sæt af koefficienter Γλµν . Man kan lave rigtig mange forskellige forbindelser, men i den generelle relativitetsteori definerer metrikken også en unik forbindelse, som bliver brugt. Det kan vises at et hvilkent som helst sæt af forbindelseskoefficienter kan skrives som en anden ˆ λ + S λ µν . Det kan også vises at man kan finde forbindelse, plus en tensor korrektion, Γλµν = Γ µν en ny forbindelse ved simpelthen at rotere de sænkede indekser på forbindelseskoefficienterne, fra Γλµν til Γλνµ . Definition 3.3 (Torsion tensoren) For en hvilken som helst forbindelse er det muligt at definere torsions tensoren ved T λ µν = Γλµν − Γλνµ = 2Γλ[µν] . Torsionen er antisymmetrisk i de sænkede indekser, og en forbindelse der er symmetrisk i sine ◭ sænkede indekser kaldes derfor for torsions-fri. Det er nu muligt at definere en unik forbindelse på en manifold med metrik gµν ved at introducere to nye krav: ◮ Forbindelsen skal være torsions-fri: Γλµν = Γλνµ . ◮ Forbindelsen skal være metrisk kompatibel: ∇ρ gµν = 0. At en forbindelse er metrisk kompatibel (eller metric compatible) betyder at den kovariante afledte af metrikken mht. denne forbindelse er nul over alt. Dette betyder direkte at Levi-Civita tensoren og den inverse metrik også har kovariant afledt lig nul, ∇λ ǫµνρσ = 0 og ∇ρ g µν = 0. En metrisk kompatibel kovariant afledt vil desuden kommutere med hævning og sænkning af indekser, så for et vektorfelt V λ vil der gælde at gµλ ∇ρ V λ = ∇ρ (gµλ V λ ) = ∇ρ Vµ . Sætning 3.4 (Christoffel forbindelsen) Der er præcis en torsion-fri forbindelse på en given manifold der er kompatibel med metrikken på denne manifold. Det kan vises at denne er givet ved 1 Γσµν = g σρ (∂µ gνρ + ∂ν gρµ − ∂ρ gµν ). 2 Dette er en af de vigtigste formler i hele dette emne. 30 3 Kurvatur Denne forbindelsen for metrikken kaldes også for Christoffel forbindelsen, Levi-Civita for◭ bindelsen, eller Riemannian forbindelsen. Det er ikke altid nødvendigt at konvertere partielle afledte til kovariante afledte for at konstruere tensorer. For eksempel er vektorfelts-kommutatoren begge veldefinerede tensorer som udtryk af partielle differentialer, essentielt fordi der er led der får de ikke tensorielle dele til at gå ud med hinanden. 3.3 Parallel transport og geodætiske baner Man tænker på en afledt som noget der fortæller hvor hurtigt noget ændrer sig. Men hvad er det lige tensorer ændrer sig i forhold til? Det viser sig at en kovariant afledt fortæller den instantane rate af ændring over et tensor felt til sammenligning med hvad tensoren ville være hvis den blev “parallel transporteret”. Med andre ord definerer den kovariante afledte en måde at holde en tensor konstant langs en bane. Definition 3.5 (Parallel transport) I fladt rum giver det god mening at sammenligne vektorer to et punkter, da man bare kan transportere den ene vektor over til den anden og sammenligne dem. At flytte en vektor langs en kurve, og samtidig holde den konstant, kaldes for parallel ◭ transport. For at kunne parallel transportere noget på man kende forbindelsen. Den store forskel mellem fladt rum og kurvet rum er at i et kurvet rum er resultatet af transporten af en vektor fra et punkt til et andet afhængigt af vejen der tages imellem de to punkter. Et simpelt eksempel på dette er en vektor der ligger på ækvator på S 2 kuglen, som peger i retning af nordpolen. Hvis man flytter den op direkte mod polen vil den pege ´en vej, og hvis man flytter den op ved først er køre det lidt rundt langs ækvator først, så vil den pege en anden vej. Der er simpelthen ikke en bestemt bane igennem manifolden hvorpå man kan sige at man bør flytte en vektor – der er rigtig mange forskellige, og de giver forskellige resultater. To vektorer kan simpelthen kun sammenlignes på en naturlig måde hvis de er en del af det samme tangentrum. Så faktisk giver det ikke mening f.eks. at sammenligne hastigheden at to objekter langt fra hinanden – dette giver simpelthen ikke mening. Når man i kosmologien ser på galakser, og ser at de har en forskydning af deres bølgelængde, så får man lyst til at sige at de bevæger sig med en bestemt hastighed i forhold til os, givet ved den konventionelle Dopplereffekt. Men dette giver simpelthen ikke mening, fordi deres hastighed i forhold til os bare ikke er veldefineret. Hvad der i virkeligheden er sket, er at metrikken mellem galaksen og os har ændret sig (universet er blevet 3 Kurvatur 31 større) langs fotonens vej til os, og derfor er lyset blevet forskudt til en anden bølgelængde. Denne misforståelse kan faktisk føre til at det ser ud som om nogen galakser bevæger sig væk fra os med en hastighed over lysets! Definition 3.6 (Retningsbestemt kovariant afledte) Parallel transport er simpelthen bare at en vektor (eller sådan set en hvilken som helst størrelse tensor) er konstant langs den bane man bevæger den. Givet en kurve xµ (λ), vil dette svare til at alle komponenterne af tensoren er konstante, dxµ ∂ µ1 µ2 ···µk d µ1 µ2 ···µk T T ν1 ν2 ···νl = 0. ν1 ν2 ···νl = dλ dλ ∂xµ For at lave dette tensorialt erstatter man simpelthen den partielt afledte med en kovariant afledt, og definerer den retningsbestemte kovariante afledte som dxµ D = ∇µ . dλ dλ Denne er en mapning defineret langs kurven, fra (k, l) tensorer til (k, l) tensorer. ◭ Definition 3.7 (Parallel transport (matematisk)) Man kan nu definere parallel transport af en tensor T langs en vej xµ (λ) til at være kravet at den kovariante afledte af T langs vejen er nul, µ1 µ2 ···µk dxσ D T ∇σ T µ1 µ2 ···µk ν1 ν2 ···νl = 0. ≡ dλ dλ ν1 ν2 ···νl Dette er en veldefineret tensorligning, der kaldes for ligningen for parallel transport. For en vektor har den formen dxσ ρ d µ V + Γµσρ V = 0. ◭ dλ dλ Parallel transport er selvfølgelig forskellig for forskellige forbindelser. Hvis forbindelsen er metrisk kompatibel, vil der gælde at metrikken altid bliver parallel transporteret, D dxσ gµν = ∇σ gµν = 0. dλ dλ Videre gælder der at det indre produkt mellem to parallel transportedede vektorer stadig er det samme, så parallel transport bevarer normen, ortogonalitet, osv. Definition 3.8 (Geodætisk bane) Nu da parallel transport er blevet defineret, er det tid til at definere geodætiske baner. En sådan bane er en generalisation af en ret linie i flad rumtid – vejen med kortest afstand mellem to punkter. En lige så god definition er dog at en linie er en vej der parallel transporterer sin egen tangentvektor. Disse to er ens hvis man bruger Christoffel forbindelsen. ◭ Det er nemmest at arbejde med den sidste af disse to definitioner, at “en geodætisk bane er en der paralleltransporterer sin egen tangentvektor”. Tangentvektoren til en bane xµ (λ) er dxµ /dλ. 32 3 Kurvatur At den bliver parallel transporteret betyder at D dxµ = 0, dλ dλ eller udskrevet, σ ρ d2 xµ µ dx dx + Γ = 0. ρσ dλ2 dλ dλ Dette er den geodætiske ligning. I stedet kan man også se på den anden definition, at “en geodætisk bane er kurven med kortest afstand mellem to punkter”. Ved i første omgang kun at se på tidslige baner, hvor proper tiden er defineret ved 1/2 Z dxµ dxν dλ, −gµν τ= dλ dλ hvor integralet er over banen. Det viser sig at kurver med den korteste afstand er dem med den længste proper tid (dette blev udledt i speciel relativitetsteori). Ved at lave variationsregning på dette, kan det findes at d2 xρ dτ 2 2 1 dxµ dxν + g ρσ (∂µ gνσ + ∂ν gσµ − ∂σ gµν ) = 0. 2 dτ dτ Denne ligning er præcis den geodætiske ligning hvis man bruger Christoffel forbindelsen. 3.4 Egenskaber for geodætiske baner Den primære brug af geodætiske baner i den generelle relativitetsteori er at de er de baner som uaccelererede testpartikler følger. En testpartikel er et objekt der ikke selv påvirker den geometri som den bevæger sig igennem. Dette er aldrig helt sandt, men ofte en fin approksimation. Den geodætiske ligning kan tænkes på som en generalisering af Newtons lov F = ma, for tilfældet med F = 0 i den kurvede rumtid. Definition 3.9 (Affin parameter) Man skal være opmærksom på hvordan man parametriserer sin bane. En kurve parametriseret med en eller anden parameter λ, kan også parametriseres med proper tid τ i stedet, hvis man laver en lineær transformation τ → λ = aτ + b, for konstanter a og b. En parameter der er forbundet til proper tid med sådan en sammenhæng ◭ kaldes for en affin parameter. Der er ingen der siger at man skal bruge en affin parameter, men ellers vil den geodætiske ligning ikke blive overholdt på den form den blev skrevet før. Man vil i stedet skulle arbejde med ligningen σ ρ dxµ d2 xµ µ dx dx + Γ = f (α) , ρσ dα2 dα dα dα 3 Kurvatur 33 hvor α(λ) er parameteren, og f (α) er forbundet til den affine parameter ved f (α) = − d2 α dλ2 dα dλ −2 . For tidlige veje kan man opskrive den geodætiske ligning som en funktion af fire-hastigheden U µ = dxµ /dτ ved U λ ∇λ U µ = 0, og tilsvarende kan man gøre det for fire-impulsen pµ = mU µ ved pλ ∇λ pµ = 0. Denne ligning fortæller på en lidt anden måde at partikler der følger geodætiske baner hele tiden bevæger sig i den retning som deres impuls peger. For null baner er der ikke nogen proper tid τ , og den er altså ikke en god affin parameter som kan parametrisere banerne. Man kan dog stadig godt spørge om en parametriseret bane xµ (λ) overholder den geodætiske ligning. Hvis den gør dette for parameteren λ, så vil den også overholde det for alle andre affine parametre af formen aλ + b, men der er her ikke nogen foretrukken parameter. Ofte vælger man parametriseringen af en null bane til at være med parametren λ sådan at dxµ /dλ er lig med fire-impulsen, pµ = dxµ . dλ Dette er i kontrast til tidslige baner, hvor dxµ /dτ er impulsen per enhedsmasse. Dermed vil en observatør med fire-hastighed U µ måle energien af partiklen til at være E = −pµ U µ . Dette er faktisk udtrykket for energien af en partikel med impuls pµ målt af en observatør med fire-hastighed U µ , uanset om pµ er null eller tidslig. En anden vigtig egenskab ved geodætiske baner i en Lorentz rumtid er at typen af banen (tidslig/null/rumlig) aldrig ændrer sig. Dette kommer af at parallel transport bevarer indre produkter. 3.5 Et ekspanderende univers igen Husk metrikken der blev defineret tidligere for et simpelt ekspanderende univers, ds2 = −dt2 + a2 (t)[dx2 + dy 2 + dz 2 ] = −dt2 + a2 (t)δij dxi dxj . Denne metrik beskriver et univers der består af flade rumlige koordinater der udvider sig som en funktion af tid, med den relative afstand mellem partikler i faste rumlige koorinater voksende proportionalt med skalafaktoren a(t). Når man er givet en metrik, er det første man skal gøre at udregne Christoffel symbolerne. Disse kan findes (ved hjælp af variationsregning af et integral) til at være Γ000 = 0, Γ0i0 = Γ00i = 0, Γ0ij = aaδ ˙ ij , Γi00 = 0, Γij0 = Γi0j = a˙ i δ , a j Γijk = 0. 34 3 Kurvatur Det er nu tid til at forsøge at løse den geodætiske ligning med disse forbindelseskoefficienter. I første omgang kan man forsøge at løse for null geodætiske baner, hvor man bruger λ i stedet for τ som sin parameter. Uden noget tab i generalitet kan man desuden vælge at se på baner der ligger langs x-retningen, for hvilke xµ (λ) = (t(λ), x(λ), 0, 0). For null paths vil der jo gælde at ds2 = 0, og derfor findes det at 0 = −dt2 + a2 (t)dx2 ⇒ 1 dt dx = . dλ a dλ Hvis man sætter denne null betingelsen ind i µ = 0 komponenten af den geodætiske ligning finder man at 2 d2 t a˙ dt dt ω0 + =0 ⇒ = , dλ2 a dλ dλ a hvor ω0 er en konstant. For en given skalafaktor a(t) kan denne ligning integreres for at finde t(λ). Sætning 3.10 (Det kosmologiske rødskifte) Det er dog mere interessant at se på energien E af fotonen som den ville blive målt at en comoving observatør (en observatør der sidder i en fikseret rumlig koordinat), der vil have fire-hastighed U µ = (1, 0, 0, 0). Det kan så findes at E = −pµ U µ = −g00 dx0 0 ω0 U = , dλ a √ hvor det blev brugt at normaliseringen af fire-hastigheden, gµν U µ U ν = −1, giver U 0 = −g00 for den givne fire-hastighed. Dermed er ω0 simpelthen frekvensen af fotonen ved a = 1 (når man sætter ~ = 1). Dette er netop det kosmologiske rødskifte: En foton udsendt med energi E1 ved skalafaktoren a1 og observeret med energi E2 ved skalafaktoren a2 , vil have a1 E2 = . E1 a2 Bølgelængden bliver altså større med tiden (i et univers der vokser), og bliver skiftet mod de rødere farver. Ofte skriver man mængden af rødskifte ved z= ω1 − ω2 a2 = − 1, ω2 a1 og denne er nul hvis skalafaktoren ikke har ændret sig, hvis man f.eks. er meget tæt på det ◭ objekt man ser på. Husk at det kosmologiske rødskifte ikke er det samme som Dopplerskiftet, da det ikke giver nogen mening at sammenligne hastighederne af to objekter der er langt fra hinanden. Ud over i selve den geodætiske ligning, vil kovariante afledte spille en rolle i at generalisere fysikkens love fra den flade rumtid over i den kurvede geometri i den generelle relativitetsteori. En simpel tommelfingerregel er simpelthen bare at erstatte alle partielle afledte med kovariante afledte, og alle den flade rumtids metrik ηµν med den kurvede metrik gµν . F.eks. bliver energi-impuls bevarelses ligningen fra den specielle relativitetsteori, ∂µ T µν = 0, hvor T µν er energi-impuls tensoren, 3 Kurvatur 35 simpelthen bare til ∇µ T µν = 0. I kosmologien modelleres stoffet der fylder rummet ofte som en perfekt væske. Den tilsvarende energi-impuls tensor for dette system kan generaliseres til en kurvet geometri ved T µν = (ρ + p)U µ U ν + pg µν , hvor ρ er energi densiteten og p er trykket, mens U µ er fire-hastigheden af væsken. Den inverse metrik i det ekspanderende univers kan vises til at være −1 a−2 g µν = , a−2 a−2 og dermed vil væsken i sit eget hvilesystem (hvor U µ = (1, 0, 0, 0)) have ρ a−2 p T µν = . a−2 p −2 a p Nu er det nemt at se hvad energi-impuls bevarelsesligningen ∇µ T µν = 0 siger for en perfekt væske i et ekspanderende univers. Der må gælde at ∇µ T µν = ∂µ T µν + Γµµλ T λν + Γνµλ T µλ = 0, hvilket er en ligning med fire komponenter (en for hvert ν), hvor de tre ν = i ∈ {1, 2, 3} er ækvivalente. Ved at indsætte udtrykkene for Christoffel symbolerne, og den kendte tensor T µν , kan man for ν = 0 og ν = i komponenterne finde ligningerne ν=0: a˙ ρ˙ = −3 (ρ + p), a ν=i: ∂i p = 0. Det er interessant at sammenligne dette med hvad man ville få i en Minkowski rumtid, hvor a = 1 og a˙ = 0. Dette ville ikke ændre på ∂i p = 0, og trykket må altså være konstant igennem rummet (set for en comoving observatør). Derimod vil ν = 0 ligningen med kurvaturen få en værdi på højresiden forskellig fra nul (hvilket den er for den flade rumtid). For at undersøge dette videre ses der nu på tilstandsligninger af formen p = wρ, hvor w er en konstant. Dermed bliver differentialligningen til ρ˙ a˙ = −3(1 + w) ρ a ⇒ ρ ∝ a−3(1+w) . Der er tidligere blevet nævnt tre forskellige typer af perfekte væsker med tilstandsligninger på formen p = wρ; nemlig støv w = 0, stråling w = 1/3 og vakuum w = −1. En samling af ikke-relativistiske, ikke-vekselvirkende partikler opfører sig som støv; et sæt fotoner eller andre 36 3 Kurvatur masseløse partikler opfører sig som stråling; og en konstant (ikke nul) energi-densitet igennem rumtiden opfører sig som et vakuum. Der gælder altså at stof stråling vakuum p=0 p = ρ/3 p = −ρ ρ ∝ a−3 , ρ ∝ a−4 , ρ = constant. Disse giver alle mening. For stof er det bare en udvidelse af rummet der selvfølgelig gør densiteten tilsvarende mindre. For stråling er det både dette og det gravitationelle rødskifte der er på færde. Endelig er vakuum energien en konstant ting for et bestemt volumen, og den hverken stiger eller falder selv om volumenet ændrer sin størrelse. 3.6 Riemann kurvatur tensoren Kurvaturen er kvantificeret med Riemann tensoren, som findes fra forbindelsen. Dette gøres ud fra det man allerede ved hvad der menes med en forbindelse på et fladt rum – parallel transportation omkring en lukket kurve lader vektoren være uændret, kovariante afledte af tensorer kommuterer, geodætiske kurver der starter ud med at være parallelle bliver ved med at være det, osv. Riemann tensoren dukker op når man undersøger hvordan disse egenskaber ændrer sig når rummet bliver kurvet. Parallel transport af en vektor omkring en lukket kurve i et kurvet rum vil transformere vektoren. Denne transformation afhænger af den totale kurvatur omsluttet af loopet, men det ville være mere brugbart at have en lokal beskrivelse af kurvaturen i hvert punkt. Dette er netop hvad Riemann tensoren skal give. Man kan indføre Riemann tensoren som parallel transport omkring en infinitesimal lukket kurve (et loop). Eftersom rumtiden ser flad ud i små nok områder, vil kurven være specificeret af to infinitesimale vektorer Aµ og B ν . Parallel transport af en vektor V µ kan så foregå ved først at flytte den i retning af Aµ , så i retning af B ν , derefter baglæns langs Aµ , og til sidst baglæns langs B ν . Da parallel transport er koordinatuafhængig må der være en eller anden tensor der beskriver hvordan vektoren ændrer sig når den kommer tilbage til sit startpunkt. Dette vil være en lineær transformation på en vektor, og vil altså have både et hævet og et sænket indeks. Men den vil også afhænge af vektorerne Aµ og B ν , og vil så have to ekstra sænkede indekser. Tensoren skal være antisymmetrisk i disse to sidste indekser, da en ombytning af vektorerne bare svarer til at gå den anden vej rundt om loopet. Derfor forventes det altså at udtrykket for ændringen i vektoren, δV ρ er givet ved δV ρ = Rρ σµν V σ Aµ B ν , hvor (1, 3) tensoren Rρ σµν er Riemann tensoren (eller bare kurvatur tensoren). Den er antisymmetrisk i de sidste to indekser, så Rρ σµν = −Rρ σνµ . Aµ ∇µ Bν Bν Aµ ∇ν ∇ν ∇µ 3 Kurvatur 37 Definition 3.11 (Riemann tensoren) I stedet for at regne videre på dette for at få et udtryk for Riemann tensoren, er det dog meget nemmere at indse at kommutatoren mellem to kovariante afledte også er et udtryk for forskellen mellem at parallel transportere den ene eller den anden vej rundt om et loop. Det kan vises at [∇µ , ∇ν ]V ρ = Rρ σµν V σ − T λ µν ∇λ V ρ , hvor T λ µν er torsions tensoren, og Riemann tensoren kan identificeres med Rρ σµν = ∂µ Γρνσ − ∂ν Γρµσ + Γρµλ Γλνσ − Γρνλ Γλµσ . Faktisk gælder denne definition for alle forbindelser, ikke kun dem der er metrik kompatible og ◭ torsions-fri. Bemærk at udtrykket for Riemann tensoren indeholder en masse ikke-tensorer, men at den alligevel transformerer som en tensor. De dele der ikke transformerer rigtigt går ud med hinanden. Bemærk også at kravet om anti-symmetri i de to sidste indekser er helt tydeligt overholdt i ligningen. I den generelle relativitetsteori er man normalt kun interesseret i Christoffel forbindelsen, og her er den associerede kurvatur også kurvaturen for metrikken. Der vil faktisk gælde følgende for flade rum: ◮ Hvis der eksisterer et koordinatsystem hvor komponenterne af metrikken er konstante, så er Riemann tensoren nul. ◮ Hvis Riemann tensoren er nul, så er det altid muligt at konstruere et koordinatsystem hvori metrikkens komponenter er konstante. 3.7 Riemann tensorens egenskaber Riemann tensoren har med sine 4 indekser naivt set n4 uafhængige komponenter i et n-dimensionelt rum. Antisymmetri-kravet skærer dog ned på dette tal til n3 (n − 1)/2. Der dukker dog andre symmetrier op når man bruger Christoffel forbindelsen, og disse gør tallet endnu mindre. Den simpleste måde at se på disse symmetrier får man hvis man ser på Riemann tensoren med alle indekser sænkede, Rρσµν = gρλ Rλ σµν . Videre kan man se på komponenterne af denne tensor i lokale inertialkoordinater xµˆ i et punkt p. Her vil Christoffel symbolerne selv være nul, men deres afledte vil stadig eksistere, hvorved ˆ ˆ λ λ Rρˆ ˆ (∂µ ˆσ µ ˆν ˆ (p) = gρˆλ ˆ Γν ˆ Γµ ˆσ ˆ − ∂ν ˆσ ˆ) 1 ˆ = gρˆλˆ g λˆτ (∂µˆ ∂νˆ gσˆ τˆ + ∂µˆ ∂σˆ gτˆνˆ − ∂µˆ ∂τˆ gνˆσˆ − ∂νˆ ∂µˆ gσˆ τˆ − ∂νˆ ∂σˆ gτˆµˆ + ∂νˆ ∂τˆ gµˆσˆ ) 2 1 = (∂µˆ ∂σˆ gρˆ ˆν − ∂µ ˆ ∂ρˆgν ˆσ ˆ − ∂ν ˆ ∂σ ˆ gρˆ ˆµ + ∂ν ˆ ∂ρˆgµ ˆσ ˆ ). 2 ˆ Her blev det brugt at Γτµˆˆνˆ (p) = 0, at pµˆ g λˆτ = 0 i Riemann normal koordinater, og at partielle afledte kommuterer. Fra dette lange udtryk kan man med det samme finde forskellige egenskaber for Rρσµν : 38 3 ◮ ◮ ◮ ◮ ◮ ◮ Kurvatur Den er antisymmetrisk i de første to indekser: Rρσµν = −Rσρµν . Den er antisymmetrisk i de to sidste indekser: Rρσµν = −Rρσνµ . Den er invariant under ombytning af det første par indekser med det andet: Rρσµν = Rµνρσ . Summen af cykliske permutationer af de tre sidste indekser er nul: Rρσµν +Rρµνσ +Rρνσµ = 0. Den antisymmetriske del af de tre sidste indekser er nul: Rρ[σµν] = 0. Den totale antisymmetriske del af tensoren er nul: R[ρσµν] = 0. Alle disse er blevet udledt i et specielt koordinatsystem, men da de alle er tensorligninger vil de gælde i alle koordinatsystemer. I sidste ende kan man vise at alle disse egenskaber gør at der er 1 2 2 n (n − 1) 12 uafhængige komponenter i Riemann tensoren. Så i fire dimensioner har Riemann tensoren altså 20 uafhængige komponenter. Sætning 3.12 (Bianchi identiteten) Det kan vises at Riemann tensoren overholder identiteten ∇[λ Rρσ]µν = 0. For en generel forbindelse ville der her være nogle flere led der indeholdt torsion tensoren. ◭ Rieman tensoren har fire indekser. Nogle gange er det dog brugbart at skrive en tensor som en sum af forskellige dele der individuelt er nemmere at håndtere, og måske har forskellige fysiske fortolkninger. Tricket er at dette skal gøres på en koordinatinvariant måde. Der er to grundlæggende tricks der kan bruges til at gøre dette: Sammentrækninger og par af symmetriske og antisymmetriske dele. For eksempel kan man, givet en arbitrær (0, 2) tensor Xµν opdele den i dens symmetriske og antisymmetriske dele, Xµν = X(µν) + X[µν] . Videre kan den ˆ µν = X(µν) − symmetriske del opdeles i dens spor (eller trace) X = g µν X(µν) og spor-fri del X Xgµν /n, således at 1 ˆ µν + X[µν] . Xµν = Xgµν + X n Når man skifter koordinater bliver disse tre dele roteret ind i sig selv, ikke hinanden, og de danner altså invariante underrum på rummet af (0, 2) tensorer. For mere generelle tensorer er der desværre ikke altid helt så simpel en fremgangsmåde hvorpå man kan opdele. Definition 3.13 (Ricci tensoren og Ricci skalaren) For Riemann tensoren er det første trin at tage en sammentrækning for at danne Ricci tensoren Rµν = Rλ µλν . Ricci tensoren der er associeret med Christoffel forbindelsen er automatisk symmetrisk, og dens spor (eller trace) kaldes for Ricci skalaren (eller kurvatur skalaren), R = Rµ µ = g µν Rµν . ◭ 3 Kurvatur 39 Ricci tensoren og skalaren indeholder al information om spor for Riemann tensoren. De spor-frie dele er defineret ved den såkaldte Weyl tensor (også kendt som conformal tensoren) Cρσµν = Rρσµν − 2 2 (gρ[µ Rν]σ − gσ[µ Rν]ρ ) + gρ[µ gν]σ R. 2−n (n − 1)(n − 2) Denne formel er konstrueret således at alle mulige sammentrækninger af Cρσµν er nul, mens den overholder Riemann tensorens symmetrier: Cρσµν = C[ρσ][µν] , Cρσµν = Cµνρσ og Cρ[σµν] = 0. Det kan videre vises at Bianchi identiteten sammentrukket to gange giver at ∇µ Rρµ = 1 ∇ρ R. 2 Definition 3.14 (Einstein tensoren) Man definerer Einstein tensoren som 1 Gµν = Rµν − Rgµν . 2 Denne tensor er symmetrisk som en følge af Ricci tensorens symmetri, og det kan vises at den dobbelt sammentrukne Bianchi identitet ovenfor giver at ∇µ Gµν = 0. ◭ Det er værd lige at stoppe op og overveje hvad der er blevet indført indtil nu. Den normale intuition omkring kurvatur er ikke helt korrekt – for normalt ville man tænke på en et-kugle S 1 som havende en kurvatur fordi den er bøjet i R2 , hvor den kan indlejres. Med definitionen af Riemann tensoren finder man dog ud af at et-kuglen ikke er kurvet, for denne tensor har 0, 1, 6 og 20 uafhængige komponenter i 1-, 2-, 3-, og 4-dimensionelle rum. Det er simpelthen ikke muligt at have en kurvatur på et et-dimensionelt rum. 3.8 Symmetrier og Killing vektorer Den virkelige verden er et rodet sted, og man har ikke en chance for at definere en metrik der faktisk beskriver vores univers fuldt ud. I stedet forsøger man at modellere rumtiden med forskellige approksimationer om den fysiske situation man vil undersøge. F.eks. kan man modellere rummet omkring en stjerne som sfærisk symmetrisk, osv. I et kurvet rum skal man dog være helt sikker på hvad man mener med en symmetri. Sætning 3.15 (Symmetri) Man tænker på en manifold M som havende en symmetri hvis geometrien er invariant under en bestemt transformation der mapper M på sig selv; hvis metrikken ◭ er den samme fra et punkt til et andet. Definition 3.16 (Isometri) Symmetrier i metrikken kaldes for isometrier. For eksempel er translationer og Lorentz transformationer isometrier i det fire-dimensionelle Minkowski rum, fordi metrikken ikke ændrer sig ved disse transformationer. Dette er meget nemt at se fordi metrikkens komponenter ηµν er uafhængige af de enkelte koordinatfunktioner xµ , og der gælder 40 3 Kurvatur faktisk at hvis ∂σ∗ gµν = 0 for en konstant σ∗ (men for alle µ og ν), så er der en symmetri under translation langs xσ∗ , ⇒ ∂σ∗ gµν = 0 xσ∗ → xσ∗ + aσ∗ er en symmetri. ◭ Isometrier af formen ovenfor har direkte konsekvenser for partikler der bevæger sig som beskrevet af den geodætiske ligning. Husk at den geodætiske ligning kan skrives vha. fire-impulsen som pλ ∇λ pµ = 0. Ved metrisk kompabilitet er det tilladt at sænke µ indekset, og efter at udvide den kovariante afledte har man så at pλ ∇λ pµ − Γσλµ pλ pσ = 0. Det første led fortæller hvordan impulsen ændrer sig langs banen, ved pλ ∇λ pµ = m dxλ dpµ ∂λ pµ = m , dτ dτ mens det andet led er givet ved 1 σν g (pλ gµν + pµ gνλ − pν gλµ )pλ pσ 2 1 = (pλ gµν + pµ gνλ − pν gλµ )pλ pν 2 1 = (pµ gνλ )pλ pν , 2 Γσλµ pλ pσ = hvor symmetrien i pλ pν blev brugt for at komme til den sidste linie. Dermed kan den geodætiske ligning altså skrives som dpµ 1 m = (pµ gνλ )pλ pν . dτ 2 Så hvis alle de metriske koefficienter er uafhængige af koordinaten xσ∗ , så betyder isometrien at impuls-komponenten pσ∗ er bevaret, ∂σ∗ gµν = 0 ⇒ dpσ∗ = 0. dτ Dette vil være sandt for alle geodætiske baner, selv om den kun står for tidslige her. Det er dog ikke alle symmetrier der viser sig så direkte som ikke at være med i metrikken. Dette kan ses ved bare at overveje at man kan transformere over i et meget kompliceret koordinatsystem, hvor metrikken er rigtig kompliceret, og så kompliceret at end ikke translationelle symmetrier var tydelige. Symmetrierne ville dog stadig være i systemet til trods for det nye koordinatsystem. Det er altså nødvendigt at finde en mere systematisk måde at finde symmetrier på. Dette kan gøres ved at omskrive bevarelsesligningen dpσ∗ /dτ = 0 fra ovenfor på en mere kovariant måde. Man vil se på vektoren ∂σ∗ , som man kalder for K, K = ∂ σ∗ , K µ = (∂σ∗ )µ = δσµ∗ . Man siger at vektoren K µ genererer isometrien, og transformationen hvor geometrien er invariant foregår infinitesimalt som en bevægelse i retning af K µ . Den ikke-kovariante størrelse pσ∗ er her 3 Kurvatur 41 bare givet ved p σ∗ = K ν p ν = K ν p ν . At denne skalare værdi skal være bevaret langs kurven er ækvivalent med at den retningsbestemte afledte langs den geodætiske bane er nul, og altså dpσ∗ =0 dτ pµ ∇µ (Kν pν ) = 0. ⇒ Denne ligning kan udvides ved pµ ∇µ (Kν pν ) = pµ Kν ∇µ pν + pµ pν ∇µ Kν = pµ pν ∇µ Kν = pµ pν ∇(µ Kν) , hvor den geodætiske ligning (pµ ∇µ pν = 0) blev brugt, samt at pµ pν automatisk er symmetrisk i µ og ν, så kun den symmetriske del af ∇µ Kν kan tilføje noget. Definition 3.17 (Killing vektor) Det kan altså konkluderes at en hvilken som helst vektor Kµ der overholder ∇(µ Kν) = 0 betyder at Kν pν er bevaret langs en geodætisk bane, ∇(µ Kν) = 0 ⇒ pµ ∇µ (Kν pν ) = 0. Ligningen til venstre kaldes også Killings ligning, og vektorfelter der overholder den kaldes for ◭ Killing vektorfelter (eller bare Killing vektorer). For en Killing vektor K µ vil der gælde at man altid kan finde et koordinatsystem hvor K = ∂σ∗ , men det er ikke generelt muligt at finde et koordinatsystem hvor alle Killing vektorerne har denne form. Man kan faktisk også med samme logik der blev brugt for at vise at Kν pν er bevaret langs en geodætisk bane hvis ∇(µ Kν) = 0, generalisere til flere indekser: En Killing tensor er en symmetrisk l-indeks tensor Kν1 ···νl der overholder ∇(µ Kν1 ···νl ) = 0, og vil lede til bevarede størrelser ved at sammentrække l kopier af impulsen, ∇(µ Kν1 ···νl ) = 0 ⇒ pµ ∇µ (Kν1 ···νl pµ1 ···µl ) = 0. Metrikken selv er faktisk en Killing tensor. Killing tensorer er dog ikke forbundet med fysisk bevarede størrekser på nogen simpel måde, men de er brugbare senere. Det kan vises at afledte af Killing vektorer kan forbindes med Riemann tensoren ved ∇µ ∇σ K ρ = Rρ σµν K ν , og en sammentrækning af denne ligning giver at ∇µ ∇σ K ρ = Rσν K ν . Disse to sammenhænge, sammen med Bianchi identiteten og Killings ligning, er nok til at vise at den retningsbestemte afledte af Ricci skalaren langs et Killing vektorfelt er nul, K λ ∇λ R = 0. 42 3 Kurvatur Og dette betyder altså igen at geometrien ikke ændrer sig langs et Killing vektorfelt. 3.9 Maksimalt symmetriske rum Men hvor symmetrisk kan en rum være? Et eksempel på et rum med den højest mulige symmetri er Rn med den flade Euklidiske metrik. Isometrierne for dette rum er translationerne og rotationerne i n dimensioner. Man kan se på disse omkring et punkt p. Her vil translationerne svare til at flytte punktet, hvilket kan gøres langs de n akser, så der er altså n mulige translationer. Rotationerne omkring p er dem der efterlader p invariant – man flytter en akse igennem p over til en af de andre akser. Der er n akser, og for hver akse er der n − 1 andre akser som den kan roteres over til. Man skal dog ikke tælle det som to rotationer af rotere x-aksen over i y-aksen og omvendt, så i alt vil der være n(n − 1)/2 rotationer. Derfor er der altså i alt 1 1 n + n(n − 1) = n(n + 1) 2 2 uafhængige symmetrier i Rn . Eftersom argumenterne kun var for lokalt omkring punktet p vil dette også gælde for et rum med en kurvatur. Hvis metrikken ikke er Euklidisk vil nogle af rotationerne faktisk være boosts. Definition 3.18 (Maksimalt symmetrisk rum) Antallet af isometrier er selvfølgelig antallet af lineært uafhængige Killing vektorfelter. Man henviser derfor til en n-dimensionel manifold med ◭ n(n + 1)/2 Killing vektorer som et maximalt symmetrisk rum. De bedst kendte eksempler på maximalt symmetriske rum er det n-dimensionelle Euklidiske rum Rn og kugle S n . Hvis en manifold er maksimalt symmetrisk, vil kurvaturen være den samme over alt (ud fra translations-lignende symmetrier) og den samme i alle retninger (ud fra rotations-lignende symmetrier). Så hvis man kender kurvaturen i et punkt i sådan et rum, kender man den over alt. Rummet vil så være klassificeret med kurvatur skalaren R (der vil være konstant over alt), dimensionaliteten n, den metriske signatur, og muligvis lidt ekstra egenskaber – f.eks. radius for forskellige S n kugler. Det burde så være muligt at genskabe hele Riemann tensoren fra disse egenskaber. Logikken er at kurvatur tensoren burde se ens ud i alle retninger fordi geometrien gør det. Først vælger man lokale intertialkoordinater så gµˆνˆ = ηµˆνˆ . De lokale inertialkoordinater er dog ikke unikke, og kan f.eks. ændres med en Lorentz transformation uden at ændre ηµˆνˆ . Eftersom geometrien er maksimalt symmetrisk vil man gerne have at det samme gælder for Riemann tensoren – komponenterne Rρˆ ˆσ µ ˆν ˆ skal ikke ændre sig under en Lorentz transformation. Men der findes unikke tensorer der netop har denne egenskab at de ikke ændrer sine komponenter under en Lorentz transformation – metrikken, Kronecker delta og Levi-Civita tensoren. Dette betyder at komponenterne Rρˆ ˆσ µ ˆν ˆ i dette punkt vil være proportional med en tensor lavet af disse invariante tensorer. Det kan vises at valget er Rρˆ ˆσ µ ˆν ˆ ∝ gρˆ ˆµ gσ ˆν ˆ − gρˆ ˆν gσ ˆµ ˆ. I og med at denne er en tensor ligning vil den gælde i alle koordinatsystemer. I et maksimalt symmetrisk rum er alle punkter lige, så denne må også gælde i alle andre punkter i rummet. 3 Kurvatur 43 Proportionalitetskonstanten kan findes ved en dobbelt sammentrækning, så venstresiden bliver R og højresiden bliver n(n − 1). Dermed findes ligningen Rρσµν = R (gρµ gσν − gρν gσµ ), n(n − 1) der er sand i alle maksimalt symmetriske rum, i alle punkter og alle koordinatsystemer. På den anden side, hvis Riemann tensoren overholder denne ligning (med R en konstant over hele manifolden), så er metrikken maksimalt symmetrisk. For et rum med kun to dimensioner er det nok at vise at Ricci skalaren er konstant over hele rummet, for at se at rummet er maksimalt symmetrisk. Lokalt er et maksimalt symmetrisk rum af en given dimension n og signatur fuldt ud specificeret med R. Den grundlæggende klassifikation af sådanne rum er simpelthen om R er positiv, nul eller negativ. For Euklidiske signaturer svarer dette til kugler S n , flade rum Rn og hyperboloider H n . 44 4 4 Tyngdekraft Tyngdekraft 4.1 Fysik i en kurvet rumtid Fysikken i en kurvet rumtid falder naturligt ind i to kategorier: Hvordan det gravitationelle felt påvirker opførslen af stof, og hvordan stof bestemmer det gravitationelle felt. I Newtonsk mekanik består disse to elementer af udtrykket for accelerationen af et objekt i et gravitationelt potentiale Φ, a = −∇Φ, og Poissons differentialligning for potentialet som funktion af stof-densiteten ρ og Newtons gravitationelle konstant G, ∇2 Φ = 4πGρ. I den generelle relativitetsteori vil tilsvarende ligninger fortælle hvordan kurvaturen af rumtiden virker på stof, og manifesterer sig selv som en tyngdekraft, og hvordan energi og impuls påvirker rumtiden og danner kurvatur. Der er en simpel fremgangsmåde for at generalisere fysiske love til en kurvet rumtid, kaldt det minimale koblingsprincip (eller the minimal coupling-principle). I sin korteste form kan den skrives: ◮ Tag en fysisk lov der er sand i inertialkoordinater i en flad rumtid. ◮ Opskriv den i en koordinat-invariant (tensorial) form. ◮ Den resulterende fysiske lov er nu sand i en kurvet rumtid. Dette handler oftest om at tage loven fra fladt rum og erstatte Minkowski metrikken ηµν med den mere generelle metrik gµν , og erstatte partielle afledte ∂µ med kovariante afledte ∇µ . Eksempel 4 (Den geodætiske ligning på en anden måde) Et simpelt eksempel på det minimale koblingsprincip kan ses ved at se på partikler der bevæger sig frit. I det flade rum bevæger sådanne sig i rette linier, der er givet ved d2 xµ = 0. dλ2 Denne er ikke en tensorligning, fordi den andenordens afledte ikke er en veldefineret tensor. Man kan udskrive dette udtryk med kædereglen så det er mere tydeligt, d2 xµ dxν dxµ = ∂ν , 2 dλ dλ dλ hvor det nu er tydeligt at for at gøre det til en tensor, så skal den partielt afledte bare erstattes af en kovariant afledt, så dxν dxµ ∂ν dλ dλ → σ ρ dxν dxµ d2 xµ µ dx dx + Γ ∇ν = . ρσ dλ dλ dλ2 dλ dλ 4 Tyngdekraft 45 Dermed kan man genkende at den passende generalisation af rette linier i fladt rum til et kurvet rum er netop de geodætiske kurver, der overholder den geodætiske ligning, σ ρ d2 xµ µ dx dx + Γ = 0. ρσ dλ2 dλ dλ ◭ Et endnu mere simpelt eksempel er ligningen for energi- og impulsbevarelse, ∂µ T µν = 0, som simpelthen bare generaliseres til ∇µ T µν = 0. Det er ´en ting at kunne generalisere de fysiske love, men noget helt andet at se at det kurvede rum faktisk giver det man tænker på som tyngdekraften. Den Newtonske grænse er der hvor partiklerne bevæger sig langsomt ift. lyset, gravitationelle felter er svage (så de kan tænkes på som en pertubation af det flade rum) og feltet er statisk. Nu kan man se hvad der sker med den geodætiske ligning i denne grænse, når man bruger proper tid som sin affine parameter. At bevæge sig langsomt betyder at dxi dt ≪ , dτ dτ hvorved mange af leddene i den geodætiske ligning kan negligeres, og den samlet bliver 2 d2 xµ dt µ = 0. + Γ 00 2 dτ dτ Og eftersom feltet er statisk (så ∂0 gµν = 0), kan de relevante Christoffel symboler forsimples til Γµ00 = 1 µλ 1 g (∂0 gλ0 + ∂0 g0λ − ∂λ g00 ) = − g µλ ∂λ g00 . 2 2 Fordi at feltet tænkes svagt, kan man skrive metrikken som Minkowski metrikken plus en lille pertubation gµν = ηµν + hµν , |hµν | ≪ 1. Bemærk at der her arbejdes med inertialkoordinater, så metrikken ηµν er på sin kanoniske form. Kravet |hµν | ≪ 1 giver ikke rigtig mening i arbitrære koordinater. Ud fra definitionen af den inverse metrik, g µν gνσ = δσµ , vil der til første orden i h gælde at g µν = η µν − hµν , hµν = η µρ η νσ hρσ . Faktisk kan Minkowski metrikken bruges til at hæve og sænke indekser på alle objekter af en hvilken som helst orden af h, eftersom korrektionerne alle er til højere orden. Til første orden i hµν gælder der altså at 1 Γµ00 = − η µλ ∂λ h00 , 2 og den geodætiske ligning er derfor d2 xµ 1 = η µλ ∂λ h00 dτ 2 2 dt dτ 2 . Tids-komponenten, µ = 0, af denne ligning bliver bare (når man bruger at ∂0 h00 = 0) d2 t = 0, dτ 2 46 4 Tyngdekraft så dt/dτ er altså konstant. De rumlige komponenter af ligningen, µ = i ∈ {1, 2, 3} kan skrives 2 d2 xµ 1 dt ∂i h00 , = dτ 2 2 dτ hvor det blev brugt at de rumligt komponenter af η µν bare er 3 × 3 identitetsmatricen. Hvis man dividerer begge sider med (dt/dτ )2 bliver differentialet på venstresiden bare over t i stedet for τ , og d2 xµ 1 = ∂i h00 . 2 dt 2 Hvis man nu identificerer h00 = −2Φ, eller g00 = −(1 + 2Φ) finder man at denne ligning er den samme som a = −∇Φ, den Newtonske mekaniks ligning for et objekts reaktion på et gravitationelt potentiale. 4.2 Einsteins ligning Lige som Maxwells ligninger fortæller hvordan elektriske og magnetiske felter reagerer på ladninger og strømme, fortæller Einsteins feltligning hvordan metrikken reagerer på energier og impulser. I sidste ende skal denne ligning bare postuleres, og så testes eksperimentelt – den kan ikke blive udledt fra en eller anden endelig sandhed. Det er dog muligt at lave en række plausible argumenter for hvordan den skal se ud. Man vil gerne have en ligning der overtager Poisson ligningen for det Newtonske potentiale, ∇2 Φ = 4πGρ, hvor ∇2 = δ ij ∂i ∂j er Laplace operatoren på rummet og ρ er massedensiteten. Hvilke egenskaber skal den nye ligning så have? På venstre side er der tale om en andenordens differentialoperator på det gravitationelle potentiale, og på højre side er der et mål for massedistributionen. En relativistisk generalisering skal være en tensorligning – og vi kender allerede generalisationen af massedensiteten som en tensor, nemlig energi-impuls tensoren Tµν . Det gravitationelle potentiale skal erstattes af den metriske tensor, men problemet er at den logiske fremgangsmåde, at lade d’Alembert operatoren = ∇µ ∇µ virke på metrikken gµν , ikke vil virke, fordi dette altid vil give nul pga. metrik kompabiliteten. Der er dog et andet objekt der er konstrueret vha. andenordens afledte af metrikken, Riemann tensoren Rρ σµν . Riemann tensoren kan dog ikke bruges direkte, da den ikke har det korrekte antal indekser. I stedet sammentrækkes den til Ricci tensoren, Rµν , der har det rigtige antal indekser. Man ville nu måske gætte på at den gravitationelle feltligning skulle have formen Rµν = κTµν , men dette er ikke korrekt. Man kræver energibevarelse, og dette betyder at ∇µ Tµν = 0, og derved skulle det jo betyde at ∇µ Rµν = 0, hvilket ikke er korrekt. Fra Bianchi identiteten ved man at ∇µ Rµν = 1 ∇µ R. 2 Ricci skalaren R er sporet af Ricci tensoren, R = Rµ µ = g µν Rµν , så hvis man bruger den foreslåede form Rµν = κTµν ville dette betyde at R = κg µν Tµν = κT , og dermed skulle der samlet gælde at ∇µ T = ∂µ T = 0, hvor den kovariante afledte er blevet erstattet af en partiel afledt, da den bare er dette når den opererer på en skalar. Dette skulle betyde at T er konstant igennem hele rumtiden, hvilket er meget usandsynligt! 4 Tyngdekraft 47 Det er selvfølgelig ikke nødvendigt at lede meget mere, for der er allerede blevet defineret en tensor som automatisk har kovariant afledt nul, nemlig Einstein tensoren 1 Gµν = Rµν − Rgµν , 2 som altid overholder ∇µ Gµν = 0. Derfor foreslåes nu at ligningen skal have formen Gµν = κTµν . Denne ligning overholder alle de krav der er blevet stillet, og man skal altså bare have fundet proportionalitetskonstanten κ, og tjekke om ligningen forsimples til Poissons ligning for det gravitationelle potentiale i den Newtonske grænse. Bemærk at en sammentrækning af begge sider af ligningen (i fire dimensioner) giver at R = κT , og dette kan bruges til at omskrive ligningen til formen 1 Rµν = κ Tµν − T gµν . 2 Man skal nu undersøge hvordan denne ligning forsimples i grænsen med svagt felt, tids-uafhængighed og langsomt bevægende partikler. Hvis man ser på en perfekt væske af energi-impuls, er Tµν = (ρ + p)Uµ Uν + pgµν , hvor U µ er væskens fire-hastighed og ρ og p er hvilesystemets energi- og impuls-densiteter. I den Newtonske grænse kan man helt negligere trykket p, hvorfor man i virkeligheden ser på energiimpuls tensoren for støv, Tµν = ρUµ Uν . Den “væske” der ses på er et massivt objekt, som f.eks. solen, og der ses på den i dens hvilesystem, hvor fire-hastigheden er U µ = (U 0 , 0, 0, 0). Den tidslige komponent kan fikseret ved at kræve normaliseringen gµν U µ U ν = −1. I svagtfelts-grænsen vil g00 = −1 + h00 , g 00 = −1 − h00 , så til første orden i hµν vil der altså gælde at U 0 = 1 + 21 h00 . Det er dog ikke nødvendigt med så stor præcision her, så man kan bare sætte U 0 = 1, og dermed U0 = −1. Så er den eneste komponent i Tµν som ikke er nul T00 = ρ. Den tidslige komponent (µ = ν = 0) af feltligningen på den anden form kan så ses at være R00 = 1 κρ, 2 hvor sporet af energi-impuls tensoren, T = g 00 T00 = −T00 = −ρ, blev brugt. Denne ligning relaterer afledte af metrikken til energidensiteten. For at finde et udtryk der faktisk indvolverer metrikken, er man nødt til at evaluere R00 = Rλ 0λ0 . Det viser sig at R0 000 = 0, så man behøver kun udregne de tre rumlige komponenter, der må være givet ved Ri 0j0 = ∂j Γi00 − ∂0 Γij0 + Γijλ Γλ00 − Γi0λ Γλj0 . Den tidsafledte (led nummer to) er nul, fordi der arbejdes med statiske felter. Videre er trejde og fjerde led af anden orden, og kan derfor negligeres. Tilbage er altså Ri 0j0 = ∂j Γi00 . Dermed findes 48 4 Tyngdekraft det altså at R00 = Ri 0i0 = ∂i 1 iλ 1 1 g (∂0 gλ0 + ∂0 g0λ − ∂λ g00 ) = − δ ij ∂i ∂j h00 = − ∇2 h00 . 2 2 2 Sammenligner man dette resultat med resultatet at R00 = κρ/2, får man altså at ∇2 h00 = −κρ, og da det tidligere er blevet fundet at h00 = −2Φ, så er denne ligning altså Poissons ligning, hvis κ = 8πG. Sætning 4.1 (Einsteins ligning) Så der gælder altså at Einsteins ligning for den generelle relativitetsteori er givet ved 1 Rµν − Rgµν = 8πGTµν , 2 hvor det skal huskes at G er Newtons gravitationskonstant, det er ikke sporet af Gµν . Ved at tage sporet af begge sider af denne ligning kan man finde at R = −8πGT , og dermed kan man omskrive ligningen til en anden form, Rµν = 8πG Tµν 1 − T gµν . 2 ◭ Nogle gange er man interesseret i Einsteins ligning i vakuum, hvor Tµν = 0. Her vil højresiden af den anden form af Einsteins ligning simpelthen blive nul, og Einsteins ligning i vakuum er altså Rµν = 0. 4.5 Den kosmologiske konstant En bestemt egenskab er ny i den generelle relativitetsteori: Kilden til det gravitationelle felt er hele energi-impuls tensoren. I ikke-gravitationel fysik er det kun ændringer i energien der tæller, og en partikel der bevæger sig i forhold til et potentiale V (x) vil bevæge sig på samme måde hvis potentialet bliver forskudt med en konstant til V (x) + V0 . Med tyngdekraften er det dog den faktisk værdi af energien der betyder noget, ikke bare forskelle i energi mellem tilstande. Dette åbner op for vakuum energi, en energidensitet i det tomme rum. Man forventer at vakuum ikke vælger nogen bestemte retninger, så energi-impuls tensoren skal være Lorentz invariant i lokale inertialkoordinater. Lorentz invarians betyder at den tilsvarende energi-impuls tensor skal være proportional med metrikken, Tµˆvakuum = −ρvakuum ηµˆνˆ , ν ˆ eftersom ηµˆνˆ er den eneste Lorentz invariante (0, 2) tensor. Dette generaliseres direkte fra inertialkoordinater til generelle koordinater ved vakuum Tµν = −ρvakuum gµν . 4 Tyngdekraft 49 Hvis man sammenligner dette med energi-impuls tensoren for en perfekt væske, hvor Tµν = (ρ + p)Uµ Uν + pgµν , så ses det at vakuum ser ud som en perfekt væske med et isotropisk tryk der er den negative energidensitet, pvakuum = −ρvakuum . (stof) Hvis man nu deler energi-impuls tensoren op i en stof del Tµν −ρvakuum gµν , kan Einsteins ligning skrives som (vakuum) og en vakuum del Tµν = 1 (stof) − ρvakuum gµν . Rµν − Rgµν = 8πG Tµν 2 Definition 4.2 (Den kosmologiske konstant) Einstein forsøgte at finde en statisk kosmologisk model, eftersom det var hvad observationerne på det tidspunkt sagde at universet var. Det betød dog at han var nødt til at tilføje et ekstra led i sin ligning, så den havde formen 1 Rµν − Rgµν + Λgµν = 8πGTµν , 2 hvor Λ er den såkaldte kosmologiske konstant. Hvis man sammenligner med udtrykket ovenfor, hvor energi-impuls tensoren er delt op i en stof og en vakuum del, ser man at ρvakuum = Λ , 8πG hvorfor ordene “vakuum energi” og “kosmologisk konstant” nogle gange bruges in flæng. ◭ Vakuum energien er en naturkonstant, men den er en samling af forskellige bidrag. Vakuumfluktuationer – energien af kvantefelter i deres vakuumtilstand – er et af disse bidrag. Det kan vises at det frie kvantefelt kan skrives som en uendelig række af oscillatorer. Alle disse oscillatorer vil have en nulpunktsenergi, som en ganske normal kvantemekanisk oscillator, så dette giver altså en uendeligt stor vakuumenergi. Man kan dog vælge at fjerne modes med meget høje bølgevektorer, og lave et cutoff kmax for den maksimalt tilladte bølgevektor af oscillatorerne. Så kan det findes at energidensiteten har formen 4 ρvakuum ∼ ~kmax . Hvis man stoler på kvantefeltteorien hele vejen op til den reducerede Plank skala m ¯ P = (8πG)−1/2 ∼ 18 10 GeV, forventer man en energi i størrelsesordenen ρvakuum ∼ (1018 GeV)4 ∼ 10112 erg/cm3 . Kosmologiske observationer siger dog nærmere at |ρobserveret | ≤ (10−12 GeV)4 ∼ 10−8 erg/cm3 , Λ hele 120 størrelsesordener væk fra det teoretiske resultat! Man kunne i teorien godt tilpasse vakuumenergien sådan at denne grænse overholdes, hvis ikke det var for et problem: Man kender ikke nogen speciel symmetri der kan fjerne vakuumenergien og samtidig være konsistent med de kendte fysiske love. Dette er det “kosmologiske konstant problem”. 50 4 4.7 Tyngdekraft Ækvivalensprincippet igen Det er normalt at bruge ækvivalensprincippet for at argumentere for følgende egenskaber i den generelle relativitetsteori: ◮ Fysikkens love bør opskrives i en generel kovariant form. ◮ Der eksisterer en metrik på rumtiden, og dennes kurvatur kan fortolkes som tyngdekraft. ◮ Der eksisterer ikke andre felter der ligner tyngdekraften. ◮ Vekselvirkningerne mellem stof og kurvatur er minimal: De involverer ikke direkte koblinger til Riemann tensoren eller dens sammentrækninger. Den første af disse kaldes for kovarians princippet. Den siger ikke så meget; “generelt kovariant” betyder simpelthen at alle led i en ligning transformerer på den samme måde uder et koordinatskift. På grund af den universelle natur af tensor transformationsloven er den nemmeste måde at gøre dette netop ved at lave sine ligninger tensoriale. Der er sådan set ikke noget galt med at lave en ligning der ikke er generelt kovariant, så længe man ved at det er muligt at omskrive den på en koordinatinvariant måde. Den anden vej, det er altid muligt at skrive en lov på en koordinatinvariant måde, hvis ellers loven er veldefineret til at starte med. Det fjerde punkt er mere interessant. At masse ikke kobler direkte til Riemann tensoren eller dens sammentrækninger kan ses i den geodætiske ligning, der ikke indeholder nogen af disse. Man kunne i teorien tænke sig at der ville være en kobling så ligningen i stedet havde formen σ ρ d2 xµ dxµ dxσ µ dx dx + Γ = α(∇ R) , σ ρσ dλ2 dλ dλ dλ dλ hvor R er Ricci skalaren og α er en koblingskonstant. Denne koblingskonstant vil have dimensionen længde i anden, og det forventes at den har størrelse af Plank længden, 2 α ∼ lP . Men hvad betyder dette? Et typisk eksempel er at sammenligne Plank længden lP til en typisk gravitationel længdeskala i nærheden af jorden. Styrken af tyngdekraften tæt på jordoverfladen er karakteriseret ved tyngdeaccelerationen ag = 980 cm/s2 . For at få en størrelse med enhed af længde defineres c2 ∼ 1018 cm, l⊕ = ag hvor symbolet ⊕ står for jorden. Så den relative styrke af højere ordens gravitationelle effekter er målt ved lP sin 10−51 , l⊕ 2 så eftersom man forventer koblingen α ∼ lP vil dette være i størrelsesordenen 10−102 . Der er altså ikke særlig stor grund til at bekymre sig om sådanne koblinger. 5 Schwarzschild løsningen 5 51 Schwarzschild løsningen 5.1 Schwarzschild metrikken Den mest logiske anvendelse af teorien for tyngdekraft er i et sfærisk symmetrisk tyngdefelt. Dette vil kunne beskrive f.eks. jorden eller solen (i hvert fald til en god approksimation). Her skal der ses på løsninger uden for massen, i vakuum, da objekters bevægelse uden for massen oftest er det der ønskes. Definition 5.1 (Schwarzschild metrikken) I den generelle relativitetsteori er den unikke sfærisk symmetriske vakuum løsning kaldt Schwarzschild metrikken, der i sfæriske koordinater (t, r, θ, φ) er givet ved 2GM ds = − 1 − r 2 2GM dt + 1 − r 2 −1 dr2 + r2 dΩ2 , hvor dΩ2 er metrikken for en enheds to-kugle, dΩ2 = dθ2 + sin2 θdφ2 . Konstanten M fortolkes som massen af objektet. ◭ Eftersom man i første omgang er interesseret i løsningen uden for objektet, er det Einsteins ligning i vakuum, Rµν = 0 der skal løses. Eftersom “kilden” er statisk og sfærisk symmetrisk skal der selvfølgelig også ledes efter løsninger der har disse egenskaber. Statisk betyder at alle komponenter i metrikken er uafhængige af tids-koordinaten, og at der ikke er nogen krydsled mellem tid og rum i metrikken (altså led som dtdxi + dxi dt). Dette betyder at løsningen skal være invariant under tidsvending, t → −t. For at få den sfæriske symmetri starter man med at skrive metrikken for Minkowski rummet i polære koordinater xµ = (t, r, θ, φ), ds2Minkowski = −dt2 + dr2 + r2 dΩ2 . Et krav for at den sfæriske symmetri holdes er at dΩ2 stadig beholdes – kugler i rummet skal blive ved med at være runde. Det står dog stadig helt frit for at gange alle de andre led med separate koefficienter, så længe de kun er funktioner af r, ds2 = −e2α(r) dt2 + e2β(r) dr2 + e2γ(r) r2 dΩ2 . Der blev her brugt eksponentialfunktioner for at signaturen af metrikken bevares. Man kan nu forestille sig at man definerer en ny koordinat r¯ ved r¯ = eγ(r) r, 52 5 Schwarzschild løsningen der vil have basis et-formen dγ dr = e dr + e rdγ = 1 + r eγ dr. dr γ γ Dermed kan metrikken omskrives til 2 2α(r) ds = −e dγ dt + 1 + r dr 2 −2 e2β(r)−2γ(r) d¯ r2 + r¯2 dΩ2 , hvor hvert r er en funktion af r¯. Hvis man nu laver omdøbningerne −2 dγ r¯ → r, 1+r e2β(r)−2γ(r) → e2β , dr kan metrikken altså skrives på den lidt mere overskuelige form ds2 = −e2α(r) dt2 + e2β(r) dr2 + r2 dΩ2 , der faktisk bare ser ud som før, med e2γ faktoren fjernet. Man kan nu tage denne metrik og bruge Einsteins ligning til at løse for funktionerne α(r) og β(r). Christoffel symbolerne (der ikke er nul eller relateret til de følgende) kan findes til at være Γttr = ∂r α 1 Γθrθ = r Γrtt = e2(α−β) ∂r α Γrθθ = −re−2β Γrφφ = −re−2β sin2 θ Γθφφ = − sin θ cos θ Γrrr = ∂r β 1 Γφrφ = r cos θ φ . Γθφ = sin θ Fra disse kan man nu finde de dele af Riemann tensoren der ikke er nul t Rrtr = ∂r α∂r β − ∂r2 α − (∂r α)2 t Rφtφ = −re−2β sin2 θ∂r α r Rφrφ = re−2β sin2 θ∂r β t Rθtθ = −re−2β ∂r α r Rθrθ = re−2β ∂r β θ Rφθφ = (1 − e−2β ) sin2 θ. Sammentrækninger giver nu Ricci tensoren, 2 2 2 2(α−β) ∂r α + (∂r α) − ∂r α∂r β + ∂r α Rtt = e r −2β Rθθ = e r(∂r β − ∂r α) − 1 + 1 2 Rrr = −∂r2 α − (∂r α)2 + ∂r α∂r β + ∂r β r Rφφ = sin2 θRθθ . I sidste ende kan Ricci skalaren også findes til at være 2 1 2 2 −2β 2β ∂r α + (∂r α) − ∂r α∂r β + (∂r α − ∂r β) + 2 (1 − e ) . R = −2e r r Med Ricci tensoren udregnet, vil man gerne sætte den lig med nul, for at løse Einsteins ligning. Eftersom Rtt og Rrr bliver nul uafhængigt af hinanden, kan man skrive 0 = e2(β−α) Rtt + Rrr = 2 (∂r α + ∂r β), r hvilket må betyde at α = −β + c, hvor c er en konstant. Konstanten kan sættes til nul ved at reskalere tiden med t → e−c t, hvorefter man har α = −β. 5 Schwarzschild løsningen 53 Det næste man kan se på er Rθθ = 0, der vil være e2α (2r∂r α + 1) = 1 ⇒ ∂r (re2α ) = 1 ⇒ e2α = 1 − RS , r hvor RS er en konstant. Med disse to udtryk der giver α og β kan man nu skrive metrikken som −1 RS RS ds2 = − 1 − dt2 + 1 − dr2 + r2 dΩ2 , r r og den eneste frihed der er tilbage er altså værdien af konstanten RS . Heldigvis løser alle værdier af RS ligningerne Rtt = 0 og Rrr = 0. Definition 5.2 (Schwarzschild radius) Konstanten RS kaldes også for Schwarzschild radiusen. Det kan vises at tt-komponenten af metrikken omkring en punktmasse overholder 2GM , gtt = − 1 − r og Schwarzschild metrikken skulle gerne reducere til svagtfelts-tilfældet når r ≫ 2GM . For tt-komponenten er formen dog allerede den samme, hvis man identificerer RS = 2GM. ◭ Med denne endelige definition når man netop frem til Schwarzschild metrikken som den blev skrevet op i starten af dette afsnit. Bemærk at hvis M → 0 vil man komme tilbage til Minkowski rummet – hvilket giver god mening. Metrikken vil også se mere og mere Minkowski agtig ud jo større r man kommer ud til. Dette kaldes asymptotisk fladhed. 5.2 Birkhoffs teorem Sætning 5.3 (Birkhoffs teorem) Birkhoffs teorem er sætningen at Schwarzschild metrikken er den unikke vakuum løsning med sfærisk symmetri, og at der ikke er nogen tidsafhængige løsninger af denne form. ◭ Birkhoffs teorem bevises ved at argumentere for tre ting. For det første at en sfærisk symmetrisk rumtid kan bygges op af to-kugler, så at næsten alle punkter ligger på en unik kugle der er invariant under generatorer af den sfæriske symmetri. For det andet at metrikken rent geometrisk skal have formen ds2 = dτ 2 (a, b) + r2 (a, b)dΩ2 (θ, φ), hvor (a, b) er koordinaterne der går transverst på kuglerne, og r er en funktion af disse. For det tredje sættes denne metrik ind i Einsteins ligning i vakuum, for at vise at Schwarzschild er den unikke løsning. En S 2 kugle har den egenskab at man kan rotere den, og den forbliver invariant. Dette vil svare til de tre Killing vektorer R, S og T (i (θ, φ) koordinater) R = ∂φ , S = cos φ∂θ − cot θ sin φ∂φ , T = − sin φ∂θ − cot θ cos φ∂φ . 54 5 Schwarzschild løsningen En sfærisk symmetrisk manifold er en manifold der har Killing vektorfelterne der er de samme som dem på S 2 . Disse Killing vektor felter kan skrives på en måde så man er sikker på at man kan bruge dem i et mere generelt rum, [R, S] = T, [S, T ] = R, [T, R] = S. Så en manifold siges at have en sfærisk symmetri hvis og kun hvis den har tre Killing vektorfelter der overholder dette. Frobeniuses teorem siger at hvis man har et sæt af vektorfelter hvis kommutatorer lukker (kommutatoren mellem to felter i sættet er en lineær kombination af andre felter på sættet), så vil kurver for vektorfelterne passe sammen til at beskrive undermanifolder på manifolden. Vektorfelter der overholder de tre kommutatorer ovenfor vil danne underrum der er to-kugler, og netop derved kan man sige at en sfærisk symmetrisk manifold kan opbygges af S 2 kugler. Efter at have fundet dette kan man opstille metrikken på en generel form, og løse den i Einsteins ligning. Med dette finder man virkelig at Schwarzschild metrikken er den unikke løsning, og tidsuafhængigheden kommer ud automatisk. 5.3 Singulariteter Ud fra udtrykket for Schwarzschild metrikken er det tydeligt at der er problemer når r = 0 og r = 2GM = RS , hvor koefficienterne i metrikken bliver uendelige. Koefficienterne er dog koordinat-afhængige, så disse singulariteter kan være koordinatsingulariteter, der viser et nedbrud i koordinatsystemet, ikke metrikken selv. Definition 5.4 (Singularitet) Man ser en egentlig singularitet i en metrik ved at kurvaturen bliver uendelig. Kurvaturen måles af Riemann tensoren, og det er selvfølgelig svært at sige hvornår denne bliver uendelig, fordi den også er koordinat-afhængig. Man kan dog konstruere Ricci skalaren R = g µν Rµν , som er invariant under koordinattransformationer, og derfor er et godt mål i alle koordinatsystemer. Man kan dog også lave andre skalarer, f.eks. Rµν Rµν , Rµνρσ Rµνρσ , osv. Hvis ´en af disse skalarer bliver uendelig (ikke nødvendigvis alle sammen) når ◭ man kommer til et eller andet punkt, siger man at kurvaturen har en singularitet. For Schwarzschild metrikken viser det sig at Rµνρσ Rµνρσ = 48G2 M 2 , r6 og dette er nok til at argumentere for at r = 0 er en sand singularitet. Det andet punkt der måske var singulart, ved Schwarzschild radiusen r = RS , viser sig dog at være en koordinat singularitet, og det er faktisk muligt at transformere over i et andet koordinatsystem hvor dette sted opfører sig ganske pænt. Det bør bemærkes at opførslen af Schwarzschild metrikken inden for Schwarzschild radiusen normalt ikke er særlig relevant. Metrikken blev kun fundet i vakuummet uden om objektet, og for typiske objekter viser det sig at objektets radius er langt større end Schwarzschild radiusen, hvorfor man slet ikke kan nå ind til denne grænse alligevel. Men der er selvfølgelig stadig få objekter hvor man har brug for den fulde Schwarzschild metrik – sorte huller. 5 5.4 Schwarzschild løsningen 55 Geodætiske baner for Schwarzschild For at forstå Schwarzschild metrikken bedre er det et godt første skridt at se hvordan geodætiske baner opfører sig. For at finde ud af dette skal Christoffel symbolerne (der ikke er nul) findes, RM (r − 2GM ) r3 1 = r −GM r(r − 2GM ) Γrtt = Γrrr = Γθrθ Γrθθ = −(r − 2GM ) Γφrφ Γθφφ = − sin θ cos θ Γφθφ Γrφφ = −(r − 2GM ) sin2 θ GM r(r − 2GM ) 1 = r cos θ . = sin θ Γttr = Med disse bliver den geodætiske ligning til de følgende fire ligninger, hvor λ er en affin parameter, d2 t dr dt GM + =0 dλ2 r(r − 2GM ) dλ dλ 2 2 GM dr GM dt d2 r − + 3 (r − 2GM ) dλ2 r dλ r(r − 2GM ) dλ " 2 # 2 dθ dφ 2 −(r − 2GM ) =0 + sin θ dλ dλ 2 d2 θ 2 dθ dr dφ =0 + − sin θ cos θ dλ2 r dλ dλ dλ cos θ dθ dφ d2 φ 2 dφ dr + +2 = 0. dλ2 r dλ dλ sin θ dλ dλ Det ser ikke umiddelbart ud som om at dette er et nemt ligningssystem at løse. Heldigvis er der masser af symmetrier i Schwarzschild metrikken – specifikt de fire Killing vektorer, tre for sfærisk symmetri og en for tidsomvending. Hver af disse vil lede til en bevaret størrelse, som også skal være bevaret for bevægelser i rummet. Hvis K µ er en Killing vektor, så er Kµ dxµ = konstant. dλ Ud over dette er der endnu en bevaret størrelse, som følger af den geodætiske ligning selv, sammen med metrisk kompabilitet (den er altså sand for alle geodætiske baner), ǫ = −gµν dxµ dxν . dλ dλ For en hvilken som helst bane kan man i hvert fald vælge en affin parameter λ således at ǫ er konstant. For en massiv partikel vælger man ofte λ = τ , hvorved man får ǫ = −gµν U µ U ν = 1. For masseløse partikler, der bevæger sig langs null baner, vil man altid have ǫ = 0. Man kan også nogle gange være interesseret i rumlige geodætiske baner, hvor ǫ = −1. Før man udskriver egentlige udtryk for de bevarede størrelser kan det være godt lige at tænke lidt over dem. I fladt rum fører invarians under tidsombytning fører til energibevarelse, mens invarians under rumlige rotationer fører til impulsmomentbevarelse. Det er essensielt set det samme i Schwarzschild metrikken. Man kan tænke på impulsmomentet som en tre-vektor med en størrelse (en komponent) og en retning (to komponenter), og bevarelse af denne svarer til at partiklen vil bevæge sig i et plan. Man kan nu tænke sig at hvis man kun arbejder med ´en partikel, så kan man simpelthen sætte θ = π/2, og lade planet være det ækvatoriale plan, ved en rotation af koordinatsystemet. 56 5 Schwarzschild løsningen De to tilbageværende Killing vektorer svarer til bevarelse af energi og størrelse af impulsmomentet. Bevarelse af energien kommer fra den tidslige Killing vektor 2GM µ µ K = (∂t ) = (1, 0, 0, 0), Kµ = − 1 − , 0, 0, 0 , r mens Killing vektoren der sørger for bevarelse af impulsmomentstørrelsen er Rµ = (∂φ )µ = (0, 0, 0, 1), Rµ = (0, 0, 0, r2 sin2 θ). Eftersom θ = π/2 vil sin θ = 1 langs geodætiske baner, og de to bevarede størrelser er altså 2GM dt dxµ dφ dxµ = 1− , L = Rµ = r2 . E = −Kµ dλ r dλ dλ dλ For masseløse partikler er dette bevaret energi og impulsmoment, mens det for massive partikler er bevaret energi og impulsmoment per enhedsmasse. Sætning 5.5 (Det effektive potentiale) Definitionen af den bevarede størrelse ǫ kan nu udvides ved at bruge definitionerne af E og L. Først indsættes metrikken, 2 −1 2 2 dt dr 2GM dφ 2GM + 1− + r2 = −ǫ, − 1− r dλ r dλ dλ og så indsættes definitionerne af E og L, hvorved man får 2 −E + dr dλ 2 2GM + 1− r L2 + ǫ = 0. r2 Dette er en enkelt ligning for r(λ), i stedet for de rigtig mange koblede ligninger der blev set tidligere, og den kan endda skrives endnu pænere hvis den sættes på formen 1 2 dr dλ 2 + V (r) = E, hvor V (r) = GM L2 GM L2 1 , ǫ−ǫ + 2− 2 r 2r r3 E= 1 2 E . 2 Dette er præcis ligningen for en klassisk partikel med enhedsmasse og “energi” E, der bevæger ◭ sig i et et-dimensionelt potentiale V (r). Selvfølgelig er den egentlige situation lidt mere kompliceret end bevægelse i ´en dimension, og det er heller ikke kun r(λ), men også t(λ) og φ(λ) der er interessante. Men i første omgang kan man lære en del af bare at se på opførslen af r(λ). En lignende analyse med klassisk Newtonsk mekanik ville også have givet denne ligning, men det sidste led i potentialet, −GM L2 /r3 , ville ikke have været der. Det vil vise sig at dette ekstra led laver store ændringer, specielt for små r. Man kan nu se lidt på opførslen ved at undersøge V (r). Der er forskellige typer af V (r) for forskellige L, og opførslen af banen kan bedømmes ud fra disse og en sammenligning med E. Schwarzschild løsningen 0.8 0.8 Newton, masseløs partikel γ = 0, ǫ = 0 0.7 V (r) 57 0.6 0.6 0.5 0.5 0.4 L L L L L 0.3 0.2 0.1 0 0 5 10 15 20 Newton, massiv partikel γ = 0, ǫ = 1 0.7 = = = = = V (r) 5 1 2 3 4 5 25 0.4 L L L L L 0.3 0.2 0.1 0 30 0 5 10 r 0.8 0.8 30 0.6 0.5 0.4 L L L L L 0.3 0.2 0.1 0 5 10 15 20 25 = = = = = V (r) V (r) 25 GR, massiv partikel γ = 1, ǫ = 1 0.7 0.6 0 20 1 2 3 4 5 r GR, masseløs partikel γ = 1, ǫ = 0 0.7 15 = = = = = 1 2 3 4 5 0.5 0.4 L L L L L 0.3 0.2 0.1 0 30 0 5 r 10 15 20 25 = = = = = 1 2 3 4 5 30 r Den generelle opførsel af en partikel vil være at flytte sig ind i potentialet (altså mod lavere r) indtil den når et vendepunkt hvor V (r) = E, hvor den vil begynde at bevæge sig i den anden retning igen. Det kan også ske at der ikke er noget vendepunkt, hvorfor partiklen bare vil fortsætte. Andre gange kan partiklen blive i en konstant cirkulær bane med radius rc = konstant, hvilket sker når potentialet er fladt, dV /dr = 0, og sker altså ved ǫGM rc2 − L2 rc + 3GM L2 γ = 0, hvor der er blevet ganget igennem med rc4 for at få det på en simplere form. Her er γ = 0 for Newtonsk tyngdekraft og γ = 1 for den generelle relativitetsteori. Cirkulære baner vil være stabile hvis de svarer til et minimum i potentialet, og ustabile hvis de svarer til et maksimum. Bundne baner der ikke er cirkulære vil oscillere omkring radiusen af den stabile bane. I den Newtonske tyngdekraft er der cirkulære baner ved rc = L2 , ǫGM og der er ikke cirkulære baner for masseløse partikler (ǫ = 0). En masseløs partikel vil her bare bevæge sig i en ret linie forbi objektet. Hvis man derimod arbejder med den generelle relativitetsteori, så vil masseløse partikler i stedet bevæge sig ind mod objektet, lige så stille sænke farten, for så at ramme et vendepunkt og rejse væk igen. For massive partikler vil der være de stabile cirkelbaner, lige som i den Newtonske tyngdekraft, men der vil også være bundne baner der oscillerer omkring denne radius. Hvis energien er større end asymptoteværdien E = 1, vil banerne ikke være bundne, og partiklen vil i stedet nærme sig og rejse væk igen. I Newtons teori er baner keglesnit – bundne baner er cirkler eller ellipser, og ubundne baner er parabler eller hyperbler. I den generelle relativitetsteori er situationen lidt anderledes, dog kun for små r, eftersom leddet GM L2 /r3 → 0 for r → ∞. Men når r → 0 går potentialet nu mod −∞ i stedet for +∞ som i det Newtonske tilfælde. Videre er potentialet ved r = 2GM = RS altid nul (inden for denne radius er der tale om et sort hul). For masseløse partikler er der altid en barriere, 58 5 Schwarzschild løsningen men en foton med høj nok energi (i forhold til dens impulsmoment) vil kunne blive fanget og ikke kunne komme ud igen. Toppen af barrieren giver anledning til ustabile cirkulære baner, og for fotoner (γ = 1 og ǫ = 0) kan radius findes til at være rc = 3GM, så fotoner kan altså også være i en (ustabil) bunden cirkulær bane. For massive partikler er der igen forskellige regimer afhængigt af impulsmomentet. De cirkulære baner er ved √ L2 ± L4 − 12G2 M 2 L2 , rc = 2GM så for store L vil der være to cirkulære baner (en stabil og en ustabil). I r → ∞ grænsen vil deres radier være 2 L2 ± L2 (1 − 12G2 M 2 /L2 ) L = , 3GM . rc = 2GM GM Her er det den stabile bane der er længst væk, mens den ustabile går imod 3GM , en opførsel parallel til tilfældet for masseløse partikler. Når L stiger vil de to baner komme tættere på hinanden, og √ de rammer hinanden når L = 12GM , hvor radiusen så er rc = 6GM, der er den mindste radius der over hovedet er mulig med Schwarzschild metrikken. Der er selvfølgelig også ubundne tilstande, hvor partiklen kommer ind mod objektet og så flyver væk igen, samt bundne ikke-cirkulære baner. Disse bundne ikke-cirkulære baner vil ikke nødvendigvis følge keglesnit, som de ellers gjorde med Newtonsk mekanik. Til sidst er der også muligheden for en bane der går ind mod objektet, og ender i r = 0. Dette kan ske hvis energien √ er højere end barrieren, eller for L < 12GM , hvor barrieren forsvinder helt. Husk til sidst at alle disse baner bare er de geodætiske baner. Der er intet der siger at en partikel ikke kan accelere væk igen efter at være kommet ned under r = 3GM , så længe den ikke kommer under r = 2GM . 5.5 Eksperimentelle tests De fleste tests af den generelle relativitetsteori har at gøre med bevægelse af testpartikler i solsystemet, og dermed geodætiske baner for Schwarzschild metrikken. Einstein foreslog tre tests: ◮ Deflektionen af lys. ◮ Precessionen af perihelion. ◮ Det gravitationelle rødskifte. I dette afsnit vil de to sidste punkter blive gennemgået (deflektion af lys kan ses i svagtfeltsgrænsen). Perihelion er punktet tættest på solen i en elliptisk bane, og selve navnet betyder noget med “sol” (helion). Precessionen af perihelion viser det faktum at ikke-cirkulære baner i den generelle relativitetsteori ikke er perfekte lukkede ellipser. Til en god approksimation er de simpelthen ellipser der precesserer. 5 Schwarzschild løsningen 59 For at beskrive dette skal man beskrive evolutionen af den radiale koordinat r som funktion af vinkelkoordinaten φ, hvor der for en perfekt ellipse ville gælde at r(φ) var periodisk med periode 2π. Man starter ud med ligningen for den radielle koordinat for en massiv partikel, altså 1/2(dr/dλ)2 + V (r) = E, med ǫ = 1 i potentialet. For at få en ligning for dr/dφ kan man gange med −2 r4 dφ = 2, dλ L hvilket giver ligningen dr dφ 2 + 1 4 2GM 3 2E r − r + r2 − 2GM r = 2 r4 . 2 2 L L L For at løse denne ligning skal man bruge to tricks. Man definerer en ny variabel x= L2 , GM r sådan at x = 1 svarer til den Newtonske cirkulære bane. Dermed bliver ligningen til dx dφ 2 + L2 G2 M 2 − 2x + x2 − 2G2 M 2 3 2EL2 x = 2 2. 2 L G M Det andet trick er at differentiere dette udtryk mht. φ, hvorved man får en andenordens differentialligning for x(φ), 3G2 M 2 2 d2 x − 1 + x = x . dφ2 L2 I en Newtonsk udregning ville det sidste led bare være nul, og denne ligning ville så kunne løses eksakt for x. Her kan den i stedet behandles som en pertubation, så man sætter x = x0 + x1 , og nulteordens ligningen og dens løsning er så d2 x0 − 1 + x0 = 0, dφ2 ⇒ x0 = 1 + e cos φ. Denne løsning er standardløsningen fra Newton eller Kepler – en perfekt ellipse med eccentricitet e. En ellipse er beskrevet ved semi-major aksen a, afstanden fra centrum til punktet længst væk, og semi-minor aksen b, afstanden fra centrum til punktet tættest på. Eccentriciteten e er så givet ved e2 = 1 − b2 /a2 . 60 5 Schwarzschild løsningen Førsteordens ligningen er (med nulteordens løsningen indsat, og derefter udskrevet ved brug af identiteten 2 cos2 φ = cos 2φ + 1) d2 x1 3G2 M 2 2 + x = x0 1 dφ2 L2 3G2 M 2 (1 + e cos φ)2 = L2 1 2 1 2 3G2 M 2 1 + + 2e cos φ + e e cos 2φ . = L2 2 2 Det kan nu vises at løsningen til denne er 1 2 1 2 3G2 M 2 1 + + eφ sin φ − x1 = e e cos 2φ . L2 2 6 De tre led i parentesen har forskellige egenskaber: Det første er bare et konstant offset, mens det tredje oscillerer omkring nul. Den vigtige effekt ligger i det midterste led, der akkumulerer over de udførte baner. Dette led kombineres med nulteordens løsningen, hvorved man får x = x0 + 3G2 M 2 e 3G2 M 2 eφ sin φ = 1 + e cos φ + φ sin φ. L2 L2 Dette er ikke en fuld løsning, men den viser hvad der er af interesse. Specielt kan denne ligning skrives som ligningen for en ellipse med en vinkelperiode der ikke helt er 2π, x = 1 + e cos [(1 − α)φ], α= 3G2 M 2 . L2 Det kan vises ved en Taylor ekspansion af e cos [(1 − α)φ] at dette netop er som udtrykket for x ovenfor. Så perihelion flytter sig altså med ∆φ = 2πα = 6πG2 M 2 L2 for hver omgang. Dette kan også skrives med mere konventionelle variable i stedet for impulsmomentet L, ved at bruge nogle udtryk der er gyldige for Newtonske baner (eftersom den størrelse man leder efter allerede er en lille pertubation). En normal ellipse overholder r= (1 − e2 )a , 1 + e cos φ hvor a er semi-major aksen. Hvis man sammenligner dette med nulteordens løsningen x0 = 1 + e cos φ og definitionen x = L2 /(GM r), ses det at L2 ≈ GM (1 − e2 )a. Hvis man sætter denne approksimation ind i udtrykket for ∆φ (og indsætter eksplicitte faktorer af c), fås ∆φ = 6πGM . c2 (1 − e2 )a2 5 Schwarzschild løsningen 61 Eksempel 5 (Merkur) Historisk set var precessionen af Merkur den første test af den generelle relativitetsteori. Faktisk kendte man allerede Merkurs precession før Einstein opfandt teorien. De relevante parametre for Merkurs bane omkring solen er GM⊙ = 1.48 × 105 cm, c2 a = 5.79 × 1012 cm, e = 0.2056, hvilket giver ∆φMerkur = 5.01 × 10−7 rad/omgang = 0.103 ”/omgang = 43.0 ”/århundrede, hvor det i det sidste blev brugt at Merkurs bane når rundt om solen en gang per 88 dage, og det viser sig at dette passer rigtig godt overens med den målte værdi på 43 ”/århundrede. ◭ Eftersom Schwarzschild metrikken er en eksakt løsning i den generelle relativitetsteori, skal den også forudsige det gravitationelle rødskifte, der reducerer til ækvivalensprincippet i små områder af rumtiden. Man forestiller sig en observatør med fire-hastighed U µ , der er stationær i Schwarzschild coordinaterne, så U i = 0 (observatøren kunne godt have en hastighed, men dette ville bare komplicere udregningerne ved at lægge et Dopplerskift oven på det hele). Fire-hastigheden overholder Uµ U µ = −1, hvilket i Schwarzschild metrikken betyder at U0 = 1− 2GM r −1/2 . Sådan en observatør vil måles frekvensen af en foton der følger en null geodætisk bane xµ (λ) til at være 1/2 −1/2 dt 2GM 2GM µ dxν E, ω = −gµν U = 1− = 1− dλ r dλ r hvor definitionen af E tidligere blev givet til at være (1 − 2GM/r)dt/dλ. Eftersom E er en bevaret størrelse, og resten af udtrykket afhænger af r, vil ω altså ændre sig for forskellige r. For en foton der udsendes i afstand r1 og observeres i afstand r2 vil de observerede frekvenser have forholdet ω2 GM GM =1− + = 1 − Φ1 − Φ2 , ω1 r1 r2 hvor Φ = −GM/r er det Newtonske potentiale. Dette fortæller at frekvensen går ned når Φ vokser, hvilket sker når man klatrer ud af et gravitationelt felt – lyset rødforskydes. Når r ≫ 2GM er denne udregning enig med udregningen der tidligere blev lavet på baggrund af ækvivalensprincippet. 5.6 Schwarzschild sorte huller Nu er opførslen af geodætiske baner uden for r = 2GM blevet undersøgt, og disse er normalt dem man bruger når man arbejder med solsystemet, og egentlig de fleste andre astrofysiske situationer. Men der er også objekter der har en radius der er mindre end r = 2GM , sorte huller. En måde at forstå en geometri af rumtiden er at undersøge den kausale struktur, der er defineret ved lys-keglerne. Derfor undersøges der nu radielle null kurver, som har ds2 = 0 (og også konstante 62 5 Schwarzschild løsningen θ og φ), 2GM ds = 0 = − 1 − r 2 2GM dt + 1 − r 2 −1 dr 2 −1 dt 2GM . =± 1− dr r ⇒ Dette er hældningen af lys-keglerne i rumtidsdiagrammet i (t, r)-planet. For store r er denne hældning ±1 (som den er i fladt rum), mens den går mod uendeligt for r → 2GM . Lys-keglerne “lukker” altå sammen, og det vil for en observatør i dette koordinatsystem se ud til at et objekt der går ind mod r = 2GM aldrig vil komme derhen. t t ∆τ2′ > ∆τ2 ∆τ2 ∆τ1 ∆τ1 2GM 2GM r r Faktisk er denne nedbremsning en illusion, for partiklen har i virkeligheden ingen problemer med at nå til r = 2GM på en endelig tid. En observatør langt væk vil dog aldrig kunne se dette. Man ser simpelthen bare signaler der kommer frem langsommere og langsommere: Når en observatør der falder ind mod det sorte hul, som sender et signal ud med et fast tidsinterval ∆τ1 i sin proper tid, vil dette bare svare til et længere og længere interval ∆τ2 i proper tid for en observatør langt væk. Så det ser ud som om at observatøren der flyver ind i det sorte hul bevæger sig langsommere og langsommere, og bliver samtidig mere og mere rødforskudt. For at svare på spørgsmålet om en partikel der rejser mod et sort hul faktisk rammer r = 2GM , kan man undersøge om den når dertil i en endelig værdi af dens proper tid. Den bedste måde at svare på dette er at skifte til at sæt koordinater der opfører sig pænere ved r = 2GM . Definition 5.6 (Tortoise koordinater) Problemet med de nuværende koordinater er at dt/dr → ∞ langs radielle null geodætiske baner der går mod r = 2GM – og altså bliver fremskridt i r-retningen langsommere og langsommere mht. tids-koordinaten t. Man kan forsøge at fikse dette ved at erstatte t med en koordinat der bevæger sig mere langsomt langs null geodætiske baner. Først skal det bemærkes at man kan løse ligningen ovenfor eksplicit, og karakterisere radielle null geodætiske ligninger ved t = ±r∗ + konstant, hvor tortoise (skildpadde) koordinaten r∗ er defineret ved r∗ = r + 2GM ln r −1 . 2GM ◭ Tortoise koordinaten er kun ordentligt relateret til r for r ≥ 2GM , men det er alligevel kun her 5 Schwarzschild løsningen 63 koordinaterne giver mening alligevel. Schwarzschild metrikken bliver med denne nye koordinat 2GM ds2 = 1 − (−dt2 + dr∗2 ) + r2 dΩ2 , r hvor der tænkes på r som en funktion af r∗ . Her vil lys-keglerne ikke lukke sammen, og ingen af metrikkens komponenter bliver uendelige ved r = 2GM . Til gengæld er den interessante overflade r = 2GM blevet skubbet ud til uendeligt. t r∗ r = 2GM r∗ = −∞ Nu kan man vælge at arbejde med koordinater af formen v = t + r∗ , u = t − r∗ , hvor indfaldende radiale null geodætiske baner er karakteriseret ved v = konstant, og udgående ved u = konstant. Definition 5.7 (Eddington-Finkelstein koordinater) Nu kan man finde på at gå tilbage til den normale radielle koordinat r, men erstatte tids-koordinaten t med v. Dette kaldes EddingtonFinkelstein koordinater, og her er metrikken 2GM dv 2 + (dvdr + drdv) + r2 dΩ2 . ◭ ds2 = − 1 − r Metrikken har ikke en singularitet ved r = 2GM i disse koordinater, og dette er det endelige bevis på at denne singularitet bare var en koordinat singularitet i koordinatsystemet (t, r, θ, φ). I Eddington-Finkelstein koordinater vil betingelsen for radielle null kurver overholde 0 (indfaldende), dv −1 = 2GM dr (udgående). 2 1− r Så lys-keglerne opfører sig pænt hen over r = 2GM overfladen, og denne overflade er placeret ved en endelig værdi af r. Der sker dog noget interessant med lys-keglerne – de lukker ikke sammen, men vipper, således at for r < 2GM vil alle fremtidsrettede baner pege mod mindre r. v r=0 r = 2GM r 64 5 Schwarzschild løsningen Overfladen ved r = 2GM opfører sig pænt lokalt, men fungerer globalt som et punkt hvorfra man aldrig kan komme tilbage – a point of no return. Når først en testpartikel kommer ned under denne, så vil den aldrig kunne komme tilbage. Definition 5.8 (Hændelseshorisont) En hændelseshorisont, eller event horizon, defineres som en overflade som partikler aldrig kan komme væk fra. I Schwarzschild metrikken er hændelses◭ horisonten ved r = 2GM . Eftersom det er umuligt for selv lys at komme væk fra hændelseshorisonten, er det umuligt for observatører udenfor at se hvad der sker bag ved den, og det er herfra navnet “sort hul” kommer. Et sort hul er simpelthen et område i rumtiden der er separeret fra uendeligt ved an hændelseshorisont. Der er nogle egenskaber ved sorte huller der er værd at nævne: ◮ Den eksterne geometri af et sort hul er den samme Schwarzschild løsning som man ville have uden for en stjerne eller planet – så et sort hul suger ikke masse til sig i højere grad end f.eks. solen, og en partikel langt uden for r = 2GM vil opføre sig på samme måde uanset om tyngdekraftens kilde er et sort hul eller noget andet. ◮ Der er en vildledende Newtonsk analogi for sorte huller. Den Newtonske undvigelseshastighed (escape velocity) for en partikel i afstand r fra et objekt med masse M er vund = r 2GM , r så hvis man naivt spørger hvornår denne er lig med lysets hastighed, finder man r = 2GM . Selv om lysets hastighed ikke har nogen fundamental rolle i Newtonsk mekanik, virker det lidt underligt at lys (tænkt på som en massiv partikel der bevæger sig med hastighed c) ikke kan komme væk fra et objekt med masse M og en radius mindre end 2GM . Der er dog en vigtig forskel mellem dette tilfælde og hvad man ser i den generelle relativitetsteori: Undvigelseshastigheden er den hastighed som en partikel skal have fra starten af for at have energi til at undslippe end tyngdekraft-kilde på en fri bane. Men man kunne sagtens bruge en accelereret bane i stedet, f.eks. en hvor partiklen bevægede sig med en konstant hastighed væk fra objektet. Derfor ville et Newtonsk sort hul ikke have egenskaben at intet kunnne slippe ud. 5.7 Den maksimalt udvidede Schwarzschild løsning Hvis man i stedet for (v, r)-koordinaterne, hvor man kan rejse hen over hændelseshorisonten i de fremtidsrettede baner, bruger (u, r)-koordinater, kan man se det omvendte af et sort hul – et hvidt hul. Hvis man bruger u-koordinaten vil metrikken være GM ds = − 1 − r 2 du2 − (dudr + drdu) + r2 dΩ2 . Og med dette kan det vises at lys-keglerne tilter den anden vej, så man i stedet for at rejse fremad i tiden for at komme ind i under hændelseshorisonten, skal rejse bagud i tiden. 5 Schwarzschild løsningen 65 u r=0 r = 2GM r Rumtiden er altså nu både udvidet til fremtiden, med de sorte huller, og fortiden, med de hvide huller. Spørgsmålet er nu om man kan udvide rumtiden mere. For at gøre dette skal man dog definere nogle nye koordinater der er gode over alt. Et gæt ville være at man bare kunne bruge både v og u i stedet for t og r, men dette er ikke helt godt nok – da man så får nogle af problemerne med de gamle koordinater tilbage (man finder at r = 2GM er uendeligt langt væk, og man vil gerne have den et endeligt sted, ved v = −∞ eller u = ∞). I stedet vælger man koordinaterne r 1/2 1/2 r e(r+t)/4GM , u′ = −e−u/4GM = − e(r−t)/4GM . −1 −1 v ′ = ev/4GM = 2GM 2GM I dette nye (v ′ , u′ , θ, φ) system er Schwarzschild metrikken så givet ved ds2 = − 16G3 M 3 −r/2GM e (dv ′ du′ + du′ dv ′ ) + r2 dΩ2 , r hvor r er en funktion af v ′ og u′ . Med denne metrik er der ingen henvisning til nogen som helst form for singularitet ved r = 2GM , der er ingen af metrikkens komponenter der opfører sig underligt på hændelseshorisonten. Definition 5.9 (Kruskal koordinater) Det er normalt at definere to nye koordinater ud fra v ′ og u′ (for at få ´en tidslig koordinat og ´en rumlig, i stedet for to tidslige – selv om man sagtens kunne fortsætte med de to tidslige) ved r 1/2 t 1 ′ (v + u′ ) = −1 , er/4GM sinh 2 2GM 4GM 1/2 1 r t R = (v ′ − u′ ) = er/4GM cosh −1 , 2 2GM 4GM T = og med disse bliver metrikken ds2 = hvor r er defineret ud fra 32G3 M 3 −r/2GM e (−dT 2 + dR2 ) + r2 dΩ2 , r T 2 − R2 = 1 − r r/2GM e . 2GM Koordinaterne (T, R, θ, φ) kaldes for Kruskal koordinater, eller Kruskal-Szekeres koordinater.◭ Kruskal koordinaterne har en række imponerende egenskaber. Lige som med (t, r∗ ) koordinaterne ser de radielle null kurver ud som de gør i fladt rum, T = ±R + konstant. 66 5 Schwarzschild løsningen Der er dog den forskel at for Kruskal koordinaterne ligger hændelseshorisonten r = 2GM ikke uendeligt langt væk, men derimod ved T = ±R. Man kan også se på flader med r = konstant, hvilket vil svare til T 2 − R2 = konstant, der er hyperbolaer i RT -planet. Flader med konstant t er givet ved t T = tanh , R 4GM der er rette linier igennem origo med hældning tanh t/4GM . Koordinaterne (T, R) er i intervallerne −∞ ≤ R ≤ ∞ og T 2 < R2 + 1 (så de er ikke i punktet r = 0, hvor der er en ægte singularitet). Derudover bliver T og R imaginære for r < 2GM , men dette er kun en illusion, for i dette område er (r, t) koordinaterne ikke gode (f.eks. er |t| > ∞). Man kan nu tegne et rumtids diagram i T R-planet, kaldt et Kruskal diagram. Hvert punkt i diagrammet er en to-kugle, fordi der jo også er de to koordinater θ og φ. Diagrammet repræsenterer den maksimale udvidede Schwarzschild geometri – koordinaterne dækker over hele manifolden som løsningen beskriver. De originale Schwarzschild koordinater (t, r) var kun gode for r > 2GM , men Kruskal diagrammet viser et større område end dette. Normalt opdeler man diagrammet i fire dele: 5 Schwarzschild løsningen 67 ◮ Del I svarer til r > 2GM , og er altså den del hvori de originale koordinater er veldefinerede. ◮ Del II rammes når man følger de fremtids-rettede null baner. ◮ Dette er sorte huller, og når først noget er rejst fra del I ind i del II vil det aldrig kunne undslippe igen. ◮ Faktisk ender alle fremtidsrettede baner i del II med at ramme singulariteten i r = 0, så med det samme man kommer ind bag ved hændelseshorisonten er man på spanden. ◮ Del III rammes når man følger de fortids-rettede null baner. ◮ Denne del er sådan set bare den tidsomvendte del II – en del af rumtiden som alle ting kan slippe fri fra, og man kan aldrig komme dertil – et hvidt hul. ◮ Der er en singularitet i fortiden, som hele universet ser ud til at være kommet fra. ◮ Del IV rammes hvis man undersøger rumlige geodætiske baner. ◮ Denne del kan man ikke komme til på nogen måde fra vores del I, hverken forlæns eller baglæns i tiden, og der er intet fra denne region der kan komme over til os. ◮ Det er en anden asymptotisk flad del af rummet – et spejlbillede af del I. Sådan set er definitionerne af T og R som funktion af t og r kun rigtige i del I – man bliver nødt til at ændre nogle fortegn for at undgå at de bliver komplekse i de andre dele. Man kan tænke på del I og IV som forbundet med et ormehul (wormhole, eller en EinsteinRosen bro). Man kan dele Kruskal diagrammet ind i rumlige overflader med konstant T . Derefter kan man så tegne disse skiver sammen med en af vinkel-koordinaterne. Her ser man at man kan beskrive Schwarzschild geometrien som to asymptotisk flade rum der rører hinanden med et ormehul i et stykke tid, og så ikke hænger sammen mere. Ormehullet lukker dog så hurtigt at ingen tidslig observatør kan komme igennem det. 68 6 6.5 6 Mere generelle sorte huller Mere generelle sorte huller Ladede (Reissner-Nordstr¨ om) sorte huller Et ladet sort hul er måske ikke så relevant for astrofysiske tilfælde, fordi det hurtigt ville blive neutralt på grund af vekselvirkninger med omgivelserne, men løsningen af et ladet sort hul giver et godt eksempel på nogle mere generelle situationer. Da den sfæriske symmetri stadig er til stede, kan metrikken skrives som ds2 = −e2α(r,t) dt2 + e2β(r,t) dr2 + r2 dΩ2 . Nu er man dog ikke længere i vakuum, da det sorte hul vil have et elektromagnetisk felt, der igen opfører sig som en kilde til energi-impuls. Energi-impuls tensoren for elektromagnetismen er 1 Tµν = Fµρ Fν ρ − gµν Fρσ F ρσ , 4 hvor Fµν er den elektromagnetiske feltstyrke tensor. Eftersom der var sfærisk symmetri vil den mest generelle feltstyrke tensor have komponenterne (alle andre er nul) Ftr = f (r, t) = −Frt , Fθφ = g(r, t) sin θ = −Fφθ , hvor f (r, t) og g(r, t) er funktioner der skal bestemmes af feltligningerne. Ftr svarer til et radielt elektrisk felt, mens Fθφ er et radielt magnetisk felt. Feltligningerne er i dette tilfælde både Einsteins ligning og Maxwells ligninger, g µν ∇µ Fνσ = 0, ∇[µ Fνρ] = 0. Disse to sæt af ligninger er koblede til hinanden, eftersom den elektromagnetiske feltstyrke tensor indgår i energi-impuls tensoren i Einsteins ligning, og metrikken indgår i Maxwells ligninger. Løsningen på dette ligningssæt giver Reissner-Nordstr¨ om metrikken, der er givet ved ds2 = −∆dt2 + ∆−1 dr2 + r2 dΩ2 , hvor ∆=1− 2GM G(Q2 + P 2 ) + . r r2 Her er M massen af hullet, Q er den totale elektriske ladning, og P er den totale magnetiske ladning (selv om magnetiske monopoler evt. ikke eksisterer, kan man jo godt tage den med for en sikkerheds skyld). De elektromagnetiske felter associerede med denne løsning er givet ved Er = Frt = Q , r2 Br = Fθφ P = 2. sin θ r r2 Reissner-Nordstr¨ om metrikken har en sand singularitet i r = 0, ligesom et ikke-ladet sort hul, men horisont-strukturen er mere kompliceret end den i Schwarzschild løsningen. Det viser sig at hændelseshorisonten er lokaliseret ved p r± = GM ± G2 M 2 − G(Q2 + P 2 ), 6 Mere generelle sorte huller 69 og dette kan give både to, en eller nul løsninger, afhængigt af de relative værdier af G2 M 2 og Q2 + P 2 . 70 8 8 Kosmologi Kosmologi 8.1 Maksimalt symmetriske universer Moderne kosmologiske modeller baserer på at universet sådan set er det samme over det hele – et koncept der nogle gange kaldes for det Koperniske princip. Umiddelbart lyder sådan en antagelse sindssyg – der er ret stor forskel på solens indre og det kolde tomme rum – men her vil Koperniske princip kun blive brugt på meget store skalaer, hvor man tager gennemsnittet af de lokale variationer i densitet. Det Koperniske princip bygger på to mere grundlæggende matematisk præcise egenskaber som en manifold kunne have; isotropi og homogenitet. Definition 8.1 (Isotropi) En manifold M er isotropisk omkring et punkt p, hvis rummet ser ens ud uanset i hvilken retning man kigger fra punktet. ◭ Man kan tænke på isotropi som invarians under rotationer. Definition 8.2 (Homogenitet) Homogenitet er erklæringen at metrikken er den samme igennem hele manifolden. Med andre ord, hvis p og q er punkter i manifolden M , så er der en isometri der tager p til q. ◭ Man kan tænke på homogenitet som invarians under translationer. Isotropi og homogenitet har ikke nødvendigvis noget med hinanden at gøre – en manifold kan være en af hver, begge to eller ingen af dem. Men hvis et rum er isotropisk over alt, så er det homogent. Den anden vej rundt, hvis et rum er isotropisk i ´et punkt, og homogent, så er det isotropisk over alt. Herfra antager man at vores rum er både isotropisk og homogent. Definition 8.3 (Maksimal symmetri) Hvis et rum er både homogent og isotropisk i alle punkter, vil det have det maksimale antal Killing vektorer, og dermed være maksimalt symmetrisk.◭ En ekstrem version af det Koperniske princip ville være at insistere på at rumtiden var maksimalt symmetrisk. Dette er dog ikke sandt – man ved at universet er maksimalt symmetrisk i rum, men ikke i hele rumtiden. Det er dog stadig interessant at se på maksimalt symmetriske rumtider, og det skal vise sig at de faktisk kan ses som en form for grundtilstande for den generelle relativitetsteori. Riemann tensoren for en maksimalt symmetrisk n-dimensionel manifold med metrik gµν vil være Rρσµν = κ(gρµ gσν − gρν gσµ ), hvor κ er et normaliseret mål for Ricci skalaren, κ= R , n(n − 1) og Ricci skalaren vil være en konstant over manifolden. 8 Kosmologi 71 Eftersom man altid i et enkelt punkt kan skrive metrikken på sin kanoniske form (gµν = ηµν ), er maksimalt symmetriske manifolder karakteriseret lokalt af signaturen af metrikken og fortegnet på κ. Her er man interesseret i metrikker med signatur (− + ++). Når kurvaturen er nul (κ = 0) er den maksimalt symmetriske rumtid bare Minkowski rummet, med metrik ds2 = −dt2 + dx2 + dy 2 + dz 2 . Definition 8.4 (de Sitter rum) Den maksimalt symmetriske rumtid med positiv kurvatur (κ > 0) kaldes de Sitter rummet. Man kan nu tage et 5-dimensionelt Minkowski rum med metrik ds25 = −du2 + dx2 + dy 2 + dz 2 + dw2 , og indlejre en hyperboloide givet ved −u2 + x2 + y 2 + z 2 + w2 = α2 . Man kan nu introducere koordinaterne (t, χ, θ, φ) på hyperboloiden via t , α t y = α cosh sin χ cos θ cos φ, α u = α sinh t cos χ, α t z = α cosh sin χ sin θ sin φ, α w = α cosh x = α cosh t sin χ cos θ, α og da er metrikken på hyperboloiden ds2 = −dt2 + α2 cosh2 t 2 dχ + sin2 χ(dθ2 + sin2 θdφ2 ) . α Man kan genkende udtrykket i de runde parenteser som metrikken for en to-kugle, dΩ22 , og udtrykket i de firkantede parenteser som metrikken for en tre-kugle, dΩ23 . de Sitter rummet beskriver en rumlig tre-kugle der først krymper, og så når et minimum ◭ ved t = 0, og derefter vokser igen. Definition 8.5 (Anti-de Sitter rum) Den maksimalt symmetriske rumtid med negativ kurvatur (κ < 0) kaldes for anti-de Sitter rummet. Dette rum kan laves lidt lige som de Sitter rummet: Man starter med et tænkt 5-dimensionelt Minkowski rum med metrik ds25 = −du2 − dv 2 + dx2 + dy 2 + dz 2 , og indlejrer en hyperboloide givet ved −u2 − v 2 + x2 + y 2 + z 2 = −α2 . Og man kan så introducere koordinaterne (t′ , ρ, θ, φ) via u = α sin t′ cosh ρ, v = α cos t′ cosh ρ, y = α sinh ρ sin θ cos φ, z = α sinh ρ sin θ sin φ, x = α sinh ρ cos θ, der giver en metrik på hyperboloiden ds2 = α2 (− cosh2 ρdt′2 + dρ2 + sinh2 ρdΩ22 ). 72 8 Kosmologi Disse koordinater har den tossede egenskab at t′ er periodisk. Det kan vises at en kurve med konstant ρ, θ og ρ vil være en lukket tidslig kurve. Dette er dog ikke en egenskab der er indbygget i rumtiden – bare en ting der kommer pga. den måde metrikken er blevet udledt på som en indlejring af en hyperboloide. Det kan lade sig gøre at lave et covering rum for manifolden; rumtiden givet ved metrikken ovenfor, hvor man tillader t′ at gå fra −∞ til ∞. Det er dette ◭ rum der for eftertiden vil blive kaldt anti-de Sitter rummet. Definition 8.6 (Einstein statisk univers) Einsteins statiske univers er en rumtid med topologi R × S 3 ligesom de Sitter rummet, men hvor kuglen ikke ændrer radius. Metrikken for dette rum kan skrives d¯ s2 = −dt′2 + dχ2 + sin2 χdΩ22 , hvor de sidste to led tilsammen kan genkendes som metrikken for en tre-kugle, dΩ23 . ◭ Så der er altså nu tre rumtider der er maksimalt symmetriske: Minkowski (κ = 0), de Sitter (κ > 0), og anti-de Sitter (κ < 0). Men er der nogen af disse der faktisk kan beskrive vores univers? For at svare på dette starter man med at se at Ricci tensoren og Ricci skalaren med de givne metrikker er Rµν = 2κgµν , R = 12κ. Så Ricci tensoren er proportional med metrikken i et maksimalt symmetrisk rum. En rumtid med denne egenskab kaldes nogen gange for et Einstein rum (med lad være med at forveksle dette med Einsteins statiske univers, denne er ikke et Einstein rum). Dette resultat kan indsættes i Einstein tensoren, 1 Gµν = Rµν − Rgµν = −3κgµν , 2 og Einsteins ligning Gµν = 8πGTµν siger så at energi-impuls tensoren er proportional med metrikken (igen for et maksimalt symmetrisk rum, ikke generelt) Tµν = − 2κ gµν . 8πG Sådan en energi-impuls tensor svarer til en vakuum-energi eller kosmologisk konstant. Energidensiteten og trykket er givet ved 2κ ρ = −p = , 8πG og hvis ρ > 0 får man en de Sitter løsning – hvis ρ < 0 får man en anti-de Sitter løsning. Men, vores univers indeholder masse og stråling (og muligvis vakuum energi), så de maksimalt symmetriske rumtider er ikke kompatible med dette. Videre, fordi man ser synligt stof bevæge sig væk i universet, så har universet på et tidspunkt været endnu mere tæt end det er i dag – og dengang ville de maksimalt symmetriske rumtider slet ikke kunne gøre rede for det hele. De maksimalt symmetriske universer er dog (lokalt) unikke løsninger til Einsteins ligning, når der ikke er masse eller stråling til stede, og derfor kan man tænke på dem som en form for grundtilstand. 8 Kosmologi 8.2 73 Robertson-Walker metrik For at beskrive den virkelige verden er man nødt til at droppe ideen om det helt perfekte Koperniske princip – kravet om maksimal symmetri i hele rumtiden. Det viser sig at man kan nøjes med at beholde maksimal symmetri i rum-koordinaterne, og altså have et univers der er rumligt homogent og isotropisk, men som ændrer sig i tid. Man tænker altså på rumtiden som R × Σ, hvor R repræsenterer tiden og Σ er en maksimalt symmetrisk tre-manifold. Dermed kan rumtidens metrik skrives ds2 = −dt2 + R2 (t)dσ 2 , hvor R(t) er en funktion der kaldes for skalafaktoren og dσ 2 er metrikken på Σ, der kan skrives som dσ 2 = γij dui duj , hvor (u1 , u2 , u3 ) er koordinater på Σ og γij er en maksimalt symmetrisk tre-dimensionel metrik. Skalafaktoren fortæller hvor stor den rumlige del Σ er til tiden t. De koordinater der er brugt her, hvor metrikken ikke har nogen kryds-termer dtdui og hvor koefficienten af dt2 er uafhængig af ui , kaldes comoving koordinater. En observatør der sidder i en fast ui position kaldes også for comoving. Interessen ligger nu i maksimalt symmetriske Euklidiske tre-metrikker γij . Man ved allerede at en maksimalt symmetrisk metrik overholder (3) Rijkl = k(γik γjl − γil γjk ), hvor (3) k= R , 6 og hvor der er sat et hævet (3) på for at huske at dette er for den tre-dimensionelle metrik γij , ikke for metrikken for hele rumtiden. Ricci tensoren er derfor givet ved (3) Rij = 2kγij . Hvis rummet er maksimalt symmetrisk er det i hvert fald også sfærisk symmetrisk. Der er allerede tidligere blevet arbejdet med sfærisk symmetriske rum, og der blev det vist at metrikken kan skrives på formen r2 + r¯2 dΩ2 , dσ 2 = γij dui duj = e2β(¯r) d¯ hvor r¯ er den radielle koordinat og metrikken for en to-kugle er dΩ2 = dθ2 + sin2 θdφ2 . Komponenterne for Ricci tensoren (der ikke er nul) kan så findes til at være (3) R11 = 2 ∂1 β, r¯ Ved at bruge disse og (3) (3) R22 = e−2β (¯ r∂1 β − 1) + 1, (3) R33 = [e−2β (¯ r∂1 β − 1) + 1] sin2 θ. Rij = 2kγij kan man nu få et sæt ligninger der kan løses for β(¯ r), 1 β = − ln (1 − k¯ r2 ), 2 74 8 Kosmologi hvilket endelig giver metrikken for tre-fladen Σ til at være dσ 2 = d¯ r2 + r¯2 dΩ2 . 1 + k¯ r2 Bemærk at k fortæller hvad kurvaturen, og dermed størrelsen, af rummet er. Ofte normaliserer man dette ud så k ∈ {+1, 0, −1}, og så bliver størrelsen fuldt ud bestemt af skalafaktoren R(t). Den fysiske forståelse af disse tre tilfælde er tydeligere hvis man bruger en alternativ form af metrikken, ved at introducere en ny variabel d¯ r , dχ = √ 1 − k¯ r2 så r¯ = Sk (χ), hvor sådan at metrikken bliver sin χ Sk (χ) = χ sinh χ k = +1, k = 0, k = −1, dσ 2 = dχ2 + Sk2 (χ)dΩ2 . Der er altså de følgende tre tilfælde: ◮ For k = −1 er der en konstant negativ kurvatur af Σ, hvilket også kaldes for åbent (open). ◮ Her bliver metrikken dσ 2 = dχ2 + sinh2 (χ)dΩ2 , der er metrikken for et tre-dimensionelt rum med konstant negativ kurvatur – en hyperboloide. ◮ For k = 0 er der ingen kurvatur af Σ, og den er flad. ◮ Her bliver metrikken simpelthen dσ 2 = dχ2 + χdΩ2 = dx2 + dy 2 + dz 2 , det simple flade Euklidiske rum. ◮ For k = +1 er der en konstant positiv kurvatur af Σ, hvilket også kaldes for lukket (closed). ◮ Her er metrikken dσ 2 = dχ2 + sin2 (χ)dΩ2 , der er metrikken for en tre-kugle. Metrikken på rumtiden der beskriver disse tilfælde af maksimalt symmetriske hyperoverflader der ændrer sig i tid, er d¯ r2 2 2 2 2 2 ds = −dt + R (t) + r¯ dΩ . 1 − k¯ r2 Dette er Robertson-Walker metrikken. For at bestemme skalafaktoren R(t) skal man bruge Einsteins ligning på denne metrik. Bemærk at substitutioner af formen R → λ−1 R, r¯ → λ¯ r, k → λ−2 k, efterlader formen af metrikken invariant, hvorfor det er muligt at lave forskellige normalisationer som man nu har lyst til. 8 Kosmologi 75 Med koordinaterne hvor k er normaliseret til {+1, 0, −1} vil skalafaktoren have enhed af længde, mens den radielle koordinat r¯ vil være enhedsløs. Man kan i stedet arbejde med en dimensionsløs skalafaktor og en koordinat med enhed af længde, så man har de nye parametre a(t) = R(t) , R0 r = R0 r¯, κ= k . R02 Kurvaturen κ kan nu tage alle værdier, og ikke kun være {+1, 0, −1}. I disse koordinater er Robertson-Walker metrikken givet ved 2 2 2 ds = −dt + a (t) dr2 2 2 + r dΩ . 1 − κr2 Med denne metrik kan man nu udregne Christoffel symbolerne til at være (eller relateret til disse ved symmetrier) Γ011 = aa˙ , 1 − κr2 Γ022 = aar ˙ 2, Γ122 = −r(1 − κr2 ), Γ212 = Γ312 = κr , 1 − κr2 = −r(1 − κr2 ) sin2 θ, Γ101 = Γ202 , 1 , r Γ111 = Γ033 = aar ˙ 2 sin2 θ, Γ133 Γ323 = cot θ. Γ233 = − sin θ cos θ, Γ303 = a˙ , a Komponenterne i Ricci tensoren (der ikke er nul) kan også findes, til at være a ¨ R00 = −3 , a R22 = r2 (a¨ a + 2a˙ 2 + 2κ), og Ricci skalaren er så R33 " a ¨ R=6 + a 8.3 a¨ a + 2a˙ 2 + 2κ , 1 − κr2 = r2 (a¨ a + 2a˙ 2 + 2κ) sin2 θ, R11 = # 2 κ a˙ + 2 . a a Friedmann ligningen Robertson-Walker metrikken er defineret for alle opførsler af skalafaktoren a(t). Det næste trin vil derfor være at bruge Einsteins ligning til at udlede Friedman ligningen (eller egentlig ligningerne), der kan relatere skalafaktoren med energi-impuls tensoren af universet. Her skal universet modelleres som en perfekt væske. Denne væske ligger stille i et eller andet isotropisk koordinatsystem – men da det koordinatsystem der allerede bruges også er isotropisk må det betyde at væsken faktisk ligger stille i comoving koordinaterne. Fire-hastigheden er så U µ = (1, 0, 0, 0), og energi-impuls tensoren Tµν = (ρ + p)Uµ Uν + pgµν vil blive Tµν ρ 0 0 0 = 0 gij p 0 0 . 76 8 Kosmologi Hvis man hæver det ene indeks får man den på den simple form T µ ν = diag (−ρ, p, p, p), og denne har spor T = T µ µ = −ρ + 3p. Før dette bliver sat ind i Einsteins ligning kan det være lærerigt at se på nul-komponenten af energibevarelsesligningen ∇µ T µ ν , a˙ 0 = ∇µ T µ 0 = ∂µ T µ 0 + Γµµλ T λ 0 − Γλµ0 T µ λ = −∂0 ρ − 3 (ρ + p). a For at komme videre med dette kan man fastsætte en tilstandsligning, der giver sammenhængen mellem ρ og p. Perfekte væsker der er relevante for kosmologien har ofte tilstandsligningen p = wρ, hvor w er en tids-uafhængig konstant. Energibevarelsesligningen bliver så ρ˙ a˙ = −3(1 − w) . ρ a Hvis ω er en konstant kan denne løses til at ρ ∝ a−3(1+w) . Man kræver nu at |w| ≤ 1, hvilket stammer fra null dominant energy condition, der tillader en vakuum energi med både positivt og negativt fortegn, men ellers kræver at stof ikke kan destabilisere vakuum. Der er nu tre typiske eksempler på værdier af w: ◮ w = 0: Stof er en samling af kollisionsløse og ikke-relativistiske partikler, der essentielt set har nul tryk, pstof = 0. Stof kaldes også for støv, og universer hvis energi-densitet er primært fra stof kaldes for stof-dominerede (matter-dominated). ◮ Energi-densiteten i stof falder som ρstof ∝ a−3 . Dette kan simpelthen fortolkes som faldet i antalsdensitet af partiklerne når universet ekspanderer. For stof er energidensiteten domineret af hvileenergien, hvorfor denne må være proportional med antalsdensiteten. ◮ w = 1/3: Stråling kan være enten egentlig elektromagnetisk stråling, eller massive partikler der bevæger sig med relativistiske hastigheder, så de (i hvert fald hvad angår deres tilstandsligning) ikke er anderledes end fotoner. Det kan vises, ved at se på udtrykket for energi-impuls tensoren som funktion af feltstyrke tensoren fra elektromagnetismen, og sammenligne med udtrykket for energi-impuls tensoren for den perfekte væske, at pstråling = ρstråling /3. Universer hvis energi-densitet er primært fra stråling kaldes for strålings-dominerede (radiationdominated). ◮ Energi-densiteten af stråling falder som ρstråling ∝ a−4 , og falder altså lidt hurtigere end den gør for stof. Dette sker fordi antals-densiteten falder lige som den gør for massive partikler, men fotonerne tager også energi som a−1 pga. rødskiftet. ◮ w = −1: Vakuum tager også formen af en perfekt væske, med tilstandsligningen pΛ = −ρΛ . Universer hvis energi-densitet er primært fra vakuum kaldes for vakuum-dominerede. De maksimale symmetriske rum de Sitter og anti-de Sitter er eksempler på dette. 8 Kosmologi 77 ◮ Energi-densiteten af vakuum vil være konstant, ρΛ ∝ a0 . Man mener i dag at strålingsdensiteten er meget mindre end stof-densiteten, med ρstof /ρstråling ∼ 103 . Men i fortiden, hvor universet var meget mindre, ville energidensiteten af stråling have domineret. Når rummet har udvidet sig nok ender det dog med at vakuum-densiteten overtager, da denne er konstant, mens de to andre falder. Det er nu tid til at se på Einsteins ligning, der på formen 1 Rµν = 8πG Tµν − T gµν 2 giver 00- og ij-ligningerne (der er kun en af ij-ligningerne pga. isotropien) 2 a ¨ κ a˙ a ¨ +2 + 2 2 = 4πG(ρ − p). −3 = 4πG(ρ + 3p), a a a a Definition 8.7 (Friedmann ligningerne) Den første ligning ovenfor kan bruges til at fjerne andenordens afledte i den anden, hvorved man (efter lidt mere omskrivning) får de to ligninger 2 a˙ 8πG κ = ρ − 2, a 3 a a ¨ 4πG =− (ρ + 3p). a 3 Dette er Friedmann ligningerne. Hvis man kender ρ’s afhængighed af a er det nok kun at bruge den første af Friedmann ligningerne til at finde a(t), og derfor kalder man ofte den for Friedmann ligningen, alene. Når en Robertson-Walker metrik overholder Friedmann ligningerne kalder man den for et ◭ Friedmann-Robertson-Walker univers. Der er en del forskellige parametre og navne forbundet med de kosmologiske parametre, og nogle af dem skal oplistes her. Ekspansionsraten er karakteriseret ved Hubble parameteren H= a˙ . a Værdien af Hubble parameteren i den nuværende epoke er Hubble konstanten H0 . Nuværende målinger siger at H0 = 70±10 km/s/Mpc. Eftersom der er store usikkerheder på Hubble konstanten skriver man den nogen gange på formen H0 = 100hkm/s/Mpc, så h ≈ 0.7. Typiske kosmologiske skalaer er givet ved Hubble længden dH og Hubble tiden tH c = 9.25 × 1027 h−1 cm = 3.00 × 103 h−1 Mpc, H0 1 = 3.09 × 1017 h−1 s = 9.78 × 109 h−1 yr. = H0 dH = tH Eftersom man ofte sætter c = 1 vil man dog støde på H0−1 både med navnet Hubble længden og Hubble tiden. 78 8 Kosmologi Der er også deaccelerations-parameteren a¨ a , a˙ 2 q=− der måler raten af ændring i raten af ekspansion. Endnu en brugbar parameter er densitetsparameteren Ω= 8πG ρ ρ= , 3H 2 ρkritisk hvor den kritiske densitet er defineret ved ρkritisk = 3H 2 . 8πG Med denne parameter kan man skrive Friedmann ligningen på formen Ω−1= κ , H 2 a2 så fortegnet på κ er bestemt ved Ω’s forhold til 1. Der gælder at ρ < ρkritisk ρ = ρkritisk ρ > ρkritisk ↔ ↔ ↔ Ω<1 ↔ Ω=1 ↔ Ω>1 ↔ κ<0 ↔ κ=0 ↔ κ>0 ↔ åben, flad, lukket. Så densitetsparameteren fortæller altså hvilken af de tre Robertson-Walker metrikker der beskriver vores univers. De nyeste målinger siger at den er meget tæt på 1. 8.4 Evolution af skalafaktoren Givet en specifikation af mængden af energidensitet ρi for forskellige typer i, samt deres tilstandsligninger pi = pi (ρi ), samt mængden af rumlig kurvatur κ, kan man løse Friedmann ligningen og finde en komplet historie for evolutionen af skalafaktoren a(t). For at simplificere denne udregning forestiller man sig at alle de forskellige komponenter af energidensiteter kan skrives på formen af en potenslov, ρi = ρi0 a−ni . Dette er det samme som at kræve at alle tilstandsligninger med parameter wi = pi /ρi er givet ved wi = 1 ni − 1. 3 Man kan forsimple systemet endnu mere ved at definere kurvaturen som en fiktiv energidensitet med energidensitet ρc , og tilsvarende densitetsparameter Ωc , ρc = − 3κ , 8πGa2 Ωc = − κ . H 2 a2 Husk at dette bare er for at gøre notationen nemmere i sidste ende, dette er ikke en egentlig energidensitet! De fire forskellige kilder til energidensitet kan nu opsummeres med tabellen: 8 Kosmologi 79 stof stråling kurvatur vakuum wi ni 0 1/3 −1/3 −1 3 4 2 0 I disse variable kan Friedmann ligningen skrives som H2 = 8πG X ρi , 3 i(c) P hvor notationen i(c) henviser til at der summes over alle de faktiske energidensiteter ρi , og så den for kurvaturen oveni. Hvis begge sider divideres med H 2 får man X 1= Ωi . i(c) Højresiden er den totale densitetsparameter Ω, plus densitetsparameteren for kurvaturen, således at Ωc = 1 − Ω. Man kan nu starte med at se hvad der sker hvis alle ρi (inkl. ρc ) er ikke-negative. Fordi P H er proportional med i(c) ρi vil universet aldrig gå igennem en overgang fra at ekspandere P til at trække sig sammen, så længe i(c) ρi , 0. Man kan også tage den tidsafledte af Hubble parameteren for at få 2 a˙ a ¨ , H˙ = − a a 2 og denne kan så indsættes i Friedmann ligningerne for at få X H˙ = −4πG (1 + wi )ρi . i(c) Eftersom |wi | ≤ 0, vil man altid have H˙ ≤ 0 når alle ρi er ikke-negative. Med andre ord bliver universet ved med at ekspandere, men ekspansionsraten bliver mindre og mindre. Hubble parameteren og skalafaktoren er svaret på to forskellige spørgsmål: Hvis man har to testpartikler med en fast startafstand, og spørger hvor meget de er blevet separeret en kort tid efter, er svaret givet ved Hubble parameteren. Hvis man derimod man vælger en fikseret kilde, og spørger hvordan den ser ud til at bevæge sig væk fra sig i tiden, er svaret givet ved ændringen i skalafaktoren. Der er altså to forskellige meninger med at “accelerere”. I praksis mener man typisk at acceleration betyder a ¨ > 0, endda selv om H˙ < 0 (faktisk er der en god sandsynlighed for at vores univers er af denne type). Det er dog langt fra sikkert at alle ρi er ikke-negative. Selvfølgelig vil man forvente at ρi er positiv for stof og stråling, men for vakuum og kurvatur er sagen en anden. Hvis man har en negativ vakuum eller kurvatur energidensitet, vil Hubble parameteren kunne blive nul, eller endda skifte fortegn. Et eksempel på dette er de Sitter metrikken, der har en positiv vakuum energi, men samtidig også en positiv kurvatur (husk at ρc ∝ −κ). Dette rum beskriver et univers der først kollapser, når et vendepunkt, og så ekspanderer. 80 8 Kosmologi Det virkelige univers er et rod af forskellige typer energidensitet, men fordi de forskellige kilder udvikler sig med forskellige hastigheder, vil der være lange tider hvor universet er domineret af en type energidensitet. Det er derfor brugbart at se på løsninger til Friedman ligningen når der kun er ´en slags energidensitet ρ ∝ a−n . Eftersom den rumlige kurvatur er taget med som en energidensitet bliver der her set på et tomt rum med kurvatur, eller et fladt rum med en af de tre andre energidensiteter. Da siger Friedman ligningen at a˙ ∝ a1−n/2 a ∝ t2/n . ⇒ Sætning 8.8 (Einstein-de Sitter modellen) Et fladt univers domineret af stof, så Ω = Ωstof = 1, kaldes en Einstein-de Sitter model. For denne gælder der altså at a ∝ t2/3 . ◭ Et fladt strålings-domineret univers vil på den anden side udvikle sig ved a ∝ t1/2 . Disse løsninger har alle en singularitet i a = 0, kaldt Big Bang. Dette punkt repræsenterer dannelsen af universet fra en singulær tilstand (og ikke en eksplosion af stof ind i en allerede eksisterende rumtid). Det kan vises at alle universer med ρ > 0 og p ≥ 0 er nødt til at være startet med en singularitet. Et univers domineret af vakuum er dog et specielt tilfælde, da n = 0 her, og så er 2/n faktoren i ligningen for a ikke god mere. Her vil skalafaktoren følge et eksponentiale i stedet for en potenslov, og den fulde metrik vil være ds2 = −dt2 + eHt (dx2 + dy 2 + dz 2 ), hvor Hubble parameteren H er en konstant. Det viser sig at dette er den samme rumtid som de Sitter rummet, bare med lidt anderledes koordinater, og denne metrik dækker ikke hele fortiden af de Sitter rumtiden. Sætning 8.9 (Milne universet) Et andet interessant tilfælde er det helt tomme rum med en kurvatur. Her bliver Friedmann ligningen H2 = − κ , a2 så kurvaturen κ må være negativ. Et sådant univers vil ekspandere lineært, da ρc ∝ a−2 fører til a ∝ t. Denne rum kaldes for Milne universet. Milne universet er faktisk bare en del af Minkowski rumtiden i andre koordinater, og dækker ikke hele Minkowski rumtiden. Det kan tænkes på som den indre del af fremtids lys-keglen for et fast punkt i Minkowski rummet. ◭ En realistisk rumtid vil dog have flere former for energi-impuls. I vores univers lige nu ser det ud til at stråling ikke er så vigtig, men at både vakuum og stof er vigtige. Derfor kan man parametrisere universet med Ωstof og ΩΛ , med kurvaturen givet ved Ωc = 1 − Ωstof − ΩΛ . Når dette rum ekspanderer vil de forskellige stoftypers densiteter ændre sig forskelligt ΩΛ ∝ Ωc A2 ∝ Ωstof a3 . 8 Kosmologi 81 Når a → 0 i fortiden, vil kurvatur og vakuum være negligible, og universet vil opføre sig som Einstein-de Sitter. Når a → ∞ i fremtiden, vil kurvaturen og stof være negligible, og universet vil gå mod at være de Sitter, med mindre universet begynder at genkollapse ved en endelig tid. Der vil altid ske genkollaps hvis vakuum energien er negativ: Når universet udvider sig vil vakuum energien til sidst dominere, og effekten af at ΩΛ < 0 er at forårsage deacceleration og genkollaps (ligesom ΩΛ > 0 påvirker universet til at udvide sig). Genkollaps er også muligt selv om ΩΛ ≥ 0, hvis Ωstof er stor nok til at stoppe ekspansionen før ΩΛ har en chance for at tage over. Mulighederne kan ses på figuren nedenfor, hvor den diagonale linie viser Ωtotal = 1, hvilket betyder at κ = 0, og hvor cirklen markerer der hvor vores univers ligger: ΩΛ 1 positiv rumlig kurvatur ekspanderer for evigt 0.5 negativ rumlig kurvatur genkollapser −1 0 1 2 ΩM Det kan vises at værdien af ΩΛ for hvilke universet vil udvide sig for evigt er 0 0 ≤ Ωstof,0 ≤ 1, ΩΛ,0 ≥ 4π 1 − Ωstof,0 1 −1 3 4Ωstof,0 cos Ωstof,0 > 1. + cos 3 Ωstof,0 3 Bemærk at når ΩΛ,0 = 0, vil åbne flade universer (Ω0 = Ωstof,0 ≤ 1) udvide sig for evigt, mens lukkede universer (Ω0 = Ωstof,0 > 1) vil genkollapse. 8.5 Rødskifte og afstande For at finde ud af hvilket af de forskellige Friedmann-Robertson-Walker universer der svarer til vores univers vil man gerne finde forskellige målbare parametre, som så kan måles i virkeligheden. Man vil selvfølgelig gerne finde H0 , og Ω der giver κ via Ω − 1 = κ/H 2 a2 . For at finde disse ser man på geodætisk bevægelse i universet. Der er et antal forskellige Killing vektorer, men ikke en Killing vektor for tid, som ellers ville kunne give et udtryk for energibevarelse. Der er dog en Killing tensor. Hvis U µ = (1, 0, 0, 0) er fire-hastigheden af comoving observatører, så vil tensoren Kµν = a2 (gµν + Uµ Uν ) overholde Killings ligning (udvidede) ∇(σ Kµν) = 0, og er derfor en Killing tensor. Så hvis en partikel har fire-hastighed V µ = dxµ /dλ, vil K 2 = Kµν V µ V ν = a2 [Vµ V ν + (Uµ V ν )2 ] være en bevaret størrelse langs geodætiske baner. 82 8 Kosmologi Sætning 8.10 (Nedkøling af gas) Hvis nu man har en massiv partikel, der har Vµ V µ = −1, så (V 0 )2 = 1 + |V |2 , hvor |V |2 = gij V i V j . Der gælder selvfølgelig også at Uµ V µ = −V 0 , så udtrykket for K 2 bliver K |V | = . a Partiklen vil altså “sænke farten” mht. comoving koordinater når universet ekspanderer. Dette er faktisk en egentlig sænkning af hastigheden – en gas a partikler med høje relative hastigheder vil køle ned når universet ekspanderer. ◭ Sætning 8.11 (Rødskifte) Noget lignende sker for null geodætiske baner, hvor Vµ V µ = 0, og man kan få resultatet at K Uµ V µ = . a Frekvensen af en foton, som målt af en comoving observatør, er givet ved Ω = −Uµ V µ , så frekvensen af fotonen udsendt med frekvens ωudsendt vil derfor observeres med en mindre frekvens ωobserveret når universet ekspanderer, audsendt ωobserveret = . ωudsendt aobserveret Kosmologer vil gerne skrive dette som rødskiftet zudsent , der giver forskellen på bølgelængde som en brøk-ændring mellem to hændelser, zudsent = λobserveret − λudsendt . λudsendt ◭ Hvis observationen af en foton tager sted i dag (hvor aobserveret = a0 = 1), kan man vise at skalafaktoren dengang fotonen blev udsendt var audsendt = 1 . 1 + zudsendt Så hvis man måler rødskiftet af et objekt, så kan man sige hvad skalafaktoren var dengang fotonen blev udsendt. Selv om rødskiftet ikke er en konventionel Doppler effekt, tænker kosmologer ofte på den som sådan, og definerer derfor en “hastighed” v = cz. Selv om man sådan set ikke kan tale om relative hastigheder af objekter der er langt væk fra hinanden, vil dette virker over relativt korte afstande. I denne approksimation kan “afstanden” d mellem vores galakse og en anden galakse siges at være den instantane fysiske afstand dP . Robertson-Walker metrikken på formen ds2 = −dt2 + a2 (t)R02 [dχ2 + Sk2 (χ)dΩ2 ] kan så give afstanden målt til tiden t mellem os og galaksen i coordinaten χ til at være dP = a(t)R0 χ. 8 Kosmologi 83 Bemærk dog at man her antager at de to galakser er comoving, så χ er konstant. Hvis dette ikke er sandt skal der nogle korrektioner på ligningen. Dermed vil den observerede hastighed være givet ved a˙ v = d˙P = aR ˙ 0 χ = dP , a der evalueret i dag vil være den berømte Hubble lov, v = H0 d P . Den observerede hastighed er altså proportional med afstanden, i hvert fald for galakser der ikke er alt for langt væk. Hvis rødskiftet er stort, vil man ikke lige så nemt kunne definere denne hastighed, da dP ikke er veldefineret. I virkeligheden kan man bruge mange forskellige mål for en hastighed i Euklidisk rum, og håbe på at det også virker i universet. Nogle af disse gennemgåes her: Definition 8.12 (Luminositets-afstand) Hvis L er den absolutte luminositet af en kilde, og F er fluks målingen lavet af en observatør, kan man definere luminositets-afstanden til at være d2L = L . 2πF Denne definition kommer fra det faktum at fladt rum opdeler fluksen ligeligt over en kugleflade omkring kilden, så F/L = 1/A(d) = 1/4πd2 . I et Friedmann-Robertson-Walker univers vil dette dog ikke være sandt – fluksen vil blive mindre og mindre. Bevarelse af antallet af fotoner fortæller at alle fotonerne der udsendte fra kilden i sidste ende vil gå igennem en kugleoverflade med comoving afstand χ fra kilden. Men fluksen vil være mindre pga. to effekter – individuelle fotoner rødskiftes med en faktor 1 + z, og fotonerne rammer kuglen sjældnere, da to fotoner der blev udsendt med en tid δt imellem sig vil måles til at have en tid (1 + x)δt mellem sig. Derfor vil der altså gælde at 1 F = , L (1 + z)2 A og arealet af kuglen centreret kan findes til at være A = 4πR02 Sk2 (χ), hvor a(t) = 1 fordi man siger at man måler fotonen i dag. Dermed får man altså i sidste ende at dL = (1 + z)R0 Sk (χ). ◭ Denne afstand er en man kan håbe på at måle, da der faktisk er nogle kosmologiske objekter som man kender den absolutte luminositet for. Problemet er bare at man ikke kan måle χ, så denne skal fjernes fra ligningen. En radiel null geodætisk bane vil have Z Z dt da 1 1 = . 0 = ds2 = −dt2 + a2 R02 dχ2 ⇒ χ= 2 R0 a R0 a H(a) 84 8 Kosmologi Normalt skifter man til at bruge rødskiftet z via a = 1/(1 + z) som variabel, så 1 χ(z) = R0 Z 0 z dz ′ . H(z ′ ) For at finde Hubble parameteren i dette integrale kan man bruge Friedmann ligningen, der kunne sættes på formen 8πG X ρi , H2 = 3 i(c) og endnu engang antage at hver energidensitet kan skrives som en potenslov, ρi = ρi0 a−ni = ρi0 (1 + z)ni . Dermed kan man altså finde at H(z) = H0 E(z), hvor 1/2 X ni E(z) = . Ωi0 (1 + z) i(c) Hvis energidensiteterne ikke udvikler sig som potenslove kan man stadig bruge E(z) = H(z)/H0 , hvis man bare finder H(z) med Friedmanns ligning. Dermed er luminositetsafstanden givet ved dL (z) = (1 + z)R0 Sk 1 R 0 H0 Z dz ′ E(z ′ ) . Denne omskrives ofte til kun at afhænge af kosmologisk målbare variable, ved at bruge R0 = p √ H0−1 −kΩc0 = H0−1 |Ωc0 |, hvor Ωc0 = 1 − Ω0 = −k/R02 H02 , H −1 Sk dL (z) = (1 + z) p 0 |Ωc0 | p |Ωc0 | Z dz ′ E(z ′ ) . Definition 8.13 (Proper bevægelses-afstand) Lige som luminositets-afstanden findes ud fra kildens luminositet i fladt rum, kan man finde proper bevægelses-afstanden (proper motion distance) dM ud fra den egentlige og målte bevægelse af kilden, dM = u , θ˙ hvor u er proper transvers hastighed, og θ˙ er det observerede vinkelmoment. ◭ Definition 8.14 (Vinkeldiameter-afstand) Vinkeldiameter-afstanden (angular diameter distance) måles på den anden side ud fra kildens indbyggede og målte størrelse, dA = R , θ hvor R er proper størrelsen af objektet og θ er den observerede vinkeldiameter. ◭ 8 Kosmologi 85 Det viser sig heldigvis at der er en simpel sammenhæng mellem de forskellige mål for afstand, dL = (1 + z)dM = (1 + z)2 dA . Så hvis man måler den ene kan man finde de andre. Definition 8.15 (Lookback tid) Den tid der er gået fra nu og til lyset fra et objekt der er rødskiftet z blev udsendt, kan defineres som lookback tiden. Hvis alderen af universet er t0 lige nu, og en foton blev udsendt til tiden t∗ , så er lookback tiden Z z∗ Z 1 Z t0 dz ′ 1 da = . dt = t0 − t∗ = ◭ H0 0 (1 + z ′ )E(z ′ ) t∗ aH(a) t∗ For eksempel vil et fladt (k = 0) stof-domineret (ρ = ρstof = ρstof0 a−3 ) univers have E(z) = (1 + z)3/2 , så Z z∗ 1 2 dz ′ t0 − t∗ = = 1 − (1 + z∗ )−3/2 . ′ 5/2 H0 0 (1 + z ) 3H0 Den totale alder af universet kan så finde ved at lade t∗ → 0 (eller z∗ → ∞), og t0 (stof-domineret) = 2 . 3H0 For universer der ikke er helt stof-dominerede finde man at faktoren 2/3 ikke er helt korrekt, men man vil normalt have at t0 ∼ H0−1 . 86 9 9 Afbøjning af lys ved solen Afbøjning af lys ved solen Der skal her ses på null geodætiske baner i Schwarzschild løsningen. Disse skal overholde ligningen 2 L2 GM L2 1 1 dr + 2− = E2. 2 dλ 2r r3 2 Det kan nu bruges at dφ/dλ = L/r2 , hvorved der gælder at dr dφ dr L dr = = 2 , dλ dλ dφ r dφ og dermed kan ligningen skrives som " #−1/2 2 rGM E 1 1 dφ = 2 − 2 1− . dr r L r r Man kan nu relatere L/E og impact parameteren b. Hvis impulsen af partiklen er P , vil der gælde at impulsmomentet er L = pb. Og en foton har E = p, så L/E = b. δφdef R b Solen b Nu kan man så finde deflektions-vinkelen. Først skal vendepunktet r1 findes for banen. Denne findes ud fra dr/dλ = 0, så 1 2GM 1 1− = 2. 2 r1 r1 b Bemærk at i figuren er r1 = R, så partiklen lige tangerer solen – men den kunne sagtens have været længere væk. Fra geometrien vil man have en vinkel −1/2 Z ∞ Z ∞ Z ∞ 2GM dr 1 1 dφ 1 − . =2 − dr dφ = 2 ∆φ = 2 2 b2 dr r2 r r1 r r1 r1 Man kan nu omdefinere sine variable med r = b/w og dr = −(b/w2 )dw, så −1/2 Z w1 2GM dw 1 − w2 1 − ∆φ = 2 w , b 0 hvor w1 = b/r1 , eller den mindste rod af 2GM w = 0. 1 − w2 1 − b Integralet er eksakt, men man er typisk interesseret i at evaluere det for små GM/b = α. Her kan man lave en Taylor-ekspansion der giver at Z w1 1 + αw ∆φ = 2 + O(α2 ). dw √ 1 + 2αw − w2 0 9 Afbøjning af lys ved solen 87 Man bliver også nødt til at ekspandere udtrykket for w1 , og det kan vises at til ledende orden er w1 ≈ 1. Hvis man nu sætter w1 ≈ 1 + λα, og sætter ind i ligningen, og ekspanderer omkring λ = 1, finder man at w1 = 1 + α + O(α2 ). For at løse integralet skal man endelig skifte til en ny variabel u = w/(1 + α), og man kan så finde at Z 1 1 + u + u2 1 √ + α + O(α2 ). du √ ∆φ = 2 1 − u2 (u + 1) 1 − u2 0 Endnu et skift i variable til u = cos t giver så at ∆φ = 2 Z π/2 0 1 − cos2 t dt 1 + α + O(α2 ) = π + 4α + O(α2 ). sin2 t Deflektionsvinklen, relativt til en lysstråle der ikke ville blive afbøjet (som vil have ∆φ = π), er så givet ved δφdef = ∆φ − π, og til første orden er δφdef ≈ 2GM . c2 b For en lysstråle der lige præcis tangerer solen, så b = R, vil denne afbøjning være 8.5 × 10−6 rad. 88 A Eksamensspørgsmål Appendikser A Eksamensspørgsmål De fem eksamensspørgsmål er oplistet nedenfor. Under hvert delspørgsmål har jeg oplistet de emner der giver mening at tale om inden for hver del. Spørgsmål 1 Geodesic equation and Einstein Equivalence Principle ◮ Kovariant afledt (forbindelse, parallel transport) ◮ Geodætisk bane ◮ Einstein ækvivalensprincip (rødskifte) Spørgsmål 2 Einstein equations and general covariance ◮ Minimal koblingsprincip (geodætisk ligning) ◮ Newton Poisson (Riemann og Ricci, Einstein, Newton grænse perfekt væske) ◮ Vakuum (kosmologisk konstant) Spørgsmål 3 Schwarzschild solution and geodesics/experimental tests ◮ Sfærisk symmetri (Christoffel, Riemann, Ricci, metrik) ◮ Geodætisk ligning ◮ Symmetrier (potentiale, precession) Spørgsmål 4 Schwarzschild solution and black holes ◮ Sfærisk symmetri (Christoffel, Riemann, Ricci, metrik) ◮ Light cones (normalt, tortoise, Eddington-Finkelstein) ◮ Kruskal Spørgsmål 5 Cosmology ◮ ◮ ◮ ◮ ◮ Maksimal symmetri (grundtilstande) Robertson-Walker (ekspanderende univers) Einsteins ligning (perfekt væske, energibevarelse, tilstandsligning) Friedmanns ligninger Opdelte energidensiteter B B Vigtige ligninger 89 Vigtige ligninger ∇µ V ν = ∂µ V ν + Γνµλ V λ Γσµν = 12 g σλ (∂µ gνλ + ∂ν gλµ − ∂λ gµν ) dxµ D = ∂µ dλ dλ σ ρ d2 xµ µ dx dx + Γ ρσ dλ2 dλ dλ Rρ σµν = ∂µ Γρσν − ∂ν Γρσµ + Γρµλ Γλνσ − Γρνλ Γλµσ Rµν = Rλ µλν R = Rµ µ = g µν Rµν Gµν = Rµν − 21 Rgµν Gµν = 8πGTµν Rµν = 8πG(Tµν − 21 T gµν ) Tµν = (ρ + p)Uµ Uν + pgµν 2GM ds = − 1 − r 2 ǫ = −gµν 1 2 V (r) = −1 2GM dt + 1 − r 2 dr dλ 2 dr2 + r2 dΩ2 dxµ dxν dλ dλ + V (r) = 1 2 E 2 1 GM L2 GM L2 ǫ−ǫ + 2− 2 r 2r r3 d¯ r2 + r¯2 dΩ2 ds = −dt + R (t) 1 − k¯ r2 2 2 2 a˙ ρ˙ = −3(1 + w) ρ a 2 a˙ 8πG κ = ρ− 2 a 3 a 4πG a ¨ =− (ρ + 3p) a 3 90 Indeks Indeks I det følgende indeks er hovedkoncepterne i notesættet henvist til, som oftest der hvor de første gang nævnes, eller der hvor de bruges til at komme videre til noget andet. Tal markeret med fed henviser til sider hvor koncepterne defineres eller indføres første gang. Acceleration, 5, 17, 44, 79 Affin parameter, 32, 55 Afstand, 82 Alder af universet, 85 Antals-densitet n, 14 Anti-de Sitter rum, 71 Asymptotisk fladhed, 53 Atlas, 20 Bølgevektor, 49 Basis, 9, 10, 11, 21, 22 Bevarelsesligning, 35, 40 Bianchi identiteten, 38, 41, 46 Big Bang, 80 Bijektiv, 19 Billede, 19 Birkhoffs teorem, 53 Boost, 8, 42 Bølgelængde, 17 Chart, 19 Christoffel forbindelsen, 29, 31 Christoffel symboler, 27, 33, 45, 52, 55, 75 Cirkel, 57 Cirkulær bane, 57 Comoving, 24, 73, 81, 83 Comoving koordinater, 73, 75 Connection coefficients, 28 Connetion, 27 Cotangentrum, 10 Covering rum, 72 d’Alembert operatoren, 46 de Sitter, 81 de Sitter rum, 71, 79, 80 Deacceleration, 81 Deaccelerations-parameteren, 78 Deflektion, 86 Degenereret, 23 Densitetsparameter, 79 Densitetsparameteren, 78 Determinant, 21, 25 Differentation, 18 Differentiabel manifold, 17 Differentialoperator, 11 Dimensionalitet, 9, 18, 21, 42 Domæne, 19 Dopplereffekt, 17, 34, 61, 82 Dual rum, 10 Dual vektor, 10, 11, 22 Eccentricitet, 59 Eddington-Finkelstein koordinater, 63 EEP, 17 Effektivt potentiale, 56 Egenværdi, 23 Einstein rum, 72 Einstein statisk univers, 72 Einstein tensor, 39, 47, 72 Einstein-de Sitter model, 80, 81 Einstein-Rosen bro, 67 Einsteins ligning, 5, 48, 51, 68, 72, 74, 77 Einsteins ækvivalensprincip, 17 Ekspansion, 24, 33, 79, 81 Elektrisk ladning, 68 Elektromagnetisk felt, 68 Elektromagnetisme, 68 Ellipse, 57, 58 Energi, 5, 13, 33, 44, 56 Energi-densitet ρ, 14, 14, 15, 36 Energi-impuls tensoren T µν , 14, 34, 46, 68, 72 Energibevarelse, 15, 46, 55, 76 Energidensitet, 48, 72, 80, 84 Energidensitet ρ, 14 Entropi, 14 Escape velocity, 64 Euklidisk metrik, 23, 42 Euklidisk rum, 5, 18 Event, 6 Event horizon, 64 Feltstyrke tensor, 68 Fire-hastighed, 13, 14, 33, 47, 61, 75, 81 Fire-impuls, 13, 14, 33, 40 Fire-vektor, 8 Fladt rum, 23, 31, 74 Fluks, 83 Forbindelse, 27, 30 Forbindelseskoefficient, 28, 34 Foton, 17, 35 Foton gas, 15 Fremtidsrettet bane, 63, 67 Friedmann ligningen, 75, 79 Friedmann-Robertson-Walker univers, 77, 83 Friedmanns ligning, 77 Frit fald, 16, 17 Frobenius teorem, 54 Generator, 40 Generel kovariant form, 50 Genkollaps, 81 Geodætisk bane, 27, 31, 41, 45, 55, 56, 58, 61, 81, 86 Geodætisk ligning, 5, 27, 32, 40, 45, 50, 55 Glat, 22 Glat mapning, 19 Gradient, 10, 22 Gravitationel masse, 16 Gravitationelt potentiale, 44 Gravitationelt rødskifte, 17, 61 Grundtilstand, 70, 72 Hastighed, 82 Helion, 58 Homogenitet, 70 Hubble konstanten, 77 Hubble længden, 77 Hubble lov, 83 Hubble parameteren, 77, 79 Hubble tiden, 77 Hvidt hul, 64, 67 Hvilemasse, 13 Hvilesystem, 13, 14, 35, 47 Hyperbel, 57, 66 Hyperboloide, 43, 71, 74 Indeks Hændelse, 6 Hændelseshorisont, 25, 64, 66, 68 Identitets-mapning, 12 Identitetsmatrice, 46 Ikke-degenereret, 23 Impact parameter, 86 Impuls, 5, 14, 44 Impuls-firevektor, 13 Impulsbevarelse, 15 Impulsdensitet, 14 Impulsmoment, 86 Impulsmomentbevarelse, 55 Indefinit metrik, 24 Indre produkt, 12, 31 Inertialkoordinater, 27, 45, 48 Inertialsystem, 6, 8, 13, 15, 17 Inertiel masse, 16 Inertielle baner, 16 Injektiv, 19 Integration, 18 Invarians, 6, 9, 13, 21, 39, 55 Invers metrik, 12, 29, 35, 45 Invertibel, 19 Isometri, 39, 42 Isotropi, 70, 75 Isotropisk, 14 Isotropisk tryk, 49 Jacobiant, 21, 25 Kanonisk form, 23, 24, 45, 71 Karthesiske koordinater, 6 Keglesnit, 57 Kepler, 59 Killing tensor, 41, 81 Killing vektor, 41, 53, 55, 81 Killings ligning, 41 Kinetisk energi, 13 Koblindskonstant, 50 Kollaps, 79 Kommutator, 22, 30, 37, 54 Komponenter, 9 Komposition, 19 Kongruent, 18 Kontinuum, 14 Kontravariant vektor, 10 Koordinat-singularitet, 54 Koordinatbasis, 21 Koordinatskift, 50 91 Koordinatsystem, 19, 41 Koordinatsytem, 55 Koordinattransformation, 22, 25 Kopernisk princip, 70 Kort, 19 Kosmologisk konstant, 49, 72 Kosmologisk rumtid, 24 Kosmologisk rødskifte, 34 Kotangentrum, 22 Kovarians princippet, 50 Kovariant afledte, 23, 27, 28, 29, 31, 34, 36, 40, 44 Kovariant vektor, 10 Kraft, 5 Kronecker delta, 8, 12, 28, 42 Kruskal diagram, 66 Kruskal koordinater, 65 Kugle, 18, 19, 30, 42, 51, 53, 71 Kurvatur, 5, 17, 23, 27, 36, 44, 71, 74, 78, 80 Kurvatur skalaren, 38 Kurve, 8 Kvantemekanisk oscillator, 49 Kædereglen, 20, 44 Ladet sort hul, 68 Laplace operator, 46 Leibnix reglen, 27 Leibniz reglen, 22 Levi-Civita forbindelsen, 30 Levi-Civita symbolet, 25 Levi-Civita tensor, 29, 42 Ligningen for parallel transport, 31 Lineær mapning, 10, 11, 22 Lineær transformation, 8, 28, 32 Linie-element, 23 Lokale inertialkoordinater, 24, 42, 48 Lokalt inertisystem, 17 Lookback tid, 85 Lorentz invarians, 48 Lorentz transformation, 8, 9, 13, 39, 42 Lorentzian metric, 23 Lukket rum, 74 Luminositets-afstand, 83 Lys-kegle, 6, 7, 24, 61, 64, 80 Magnetisk ladning, 68 Magnetisk monopol, 68 Maksimal symmetri, 70, 72 Maksimalt atlas, 20 Maksimalt symmetrisk rum, 42 Manifold, 17, 18, 20, 21, 27, 70 Mapning, 19, 21, 27, 31, 39 Masse, 51 Massedensitet, 46 Massedensitet ρ, 5 Masseløs partikel, 56 Massiv partikel, 13, 56 Massse, 72 Maxwells ligninger, 68 Merkur, 61 Metrik, 5, 7, 23, 23, 27, 34, 41, 44, 50, 51, 56, 68, 72 Metrisk kompatibel, 29, 31, 37, 40, 55 Metrisk signatur, 42 Metrisk tensor, 5, 16, 46 Milne univers, 80 Minimale koblingsprincip, 44 Minkowski metrik, 45 Minkowski rummet, 6, 23, 35, 39, 44, 51, 71, 80 Multilineær mapning, 11, 22 Nedkøling, 82 Newtons gravitationskonstant G, 48 Newtonsk grænse, 45, 47 Newtonsk mekanik, 5, 13, 16, 32, 44, 56, 59 Newtonsk potentiale, 46 Nordpol, 30 Norm, 31 Null, 7, 13, 24, 33 Null dominant energy condition, 76 Nulpunktsenergi, 49 Observatør, 7, 16, 33, 61 One-form, 10 Ormehul, 67 Ortogonal, 31 Oscillator, 49 Parabel, 57 Parallel transport, 30, 31, 31, 36 Parametriseret kurve, 9, 21, 32 92 Partielt afledte, 21, 27, 44 Perfekt væske, 14, 35, 47, 75 Perihelion, 58 Pertubation, 45, 59 Plank længden, 50 Point of no return, 64 Poisson ligningen, 5, 46, 48 Poissons ligning, 44 Polære koordinater, 51 Positiv definit, 23 Potensfunktion, 24 Potentiale, 44, 57 Potentiale Φ, 5, 18 Pre-billede, 19 Precession, 58 Proper bevægelses-afstand, 84 Proper tid, 62 Proper tid τ , 7, 13, 32 Pseudo-Riemannian metrik, 23 Pythagoras teorem, 5 Raket, 17 Rank, 11 Reissner-Nordstr¨ om metrik, 68 Ret linie, 31 Retningsafhængig afledt, 21 Retningsbestemt afledt, 41 Retningsbestemt kovariant afledte, 31 Ricci skalar, 38, 41, 46, 50, 52, 70, 72, 75 Ricci tensor, 38, 46, 52, 72, 73, 75 Riemann tensor, 27, 37, 41, 50, 52, 70 Riemann tensoren, 46 Riemannian forbindelsen, 30 Riemannian metrik, 23 Robertson-Walker metrik, 24, 74, 82 Rotation, 42, 55, 70 Rotationer, 8 Rumlig, 7, 13 Rumtid, 5, 6, 16 Rumtids-diagram, 7, 62 Rumtidsinterval, 6, 7, 8, 23 Rødskifte, 17, 34, 58, 61, 62, 82 Sammentrækning, 38, 41, 50, 52 Samtidighed, 6 Indeks Schwarzschild metrik, 51, 55, 58, 61 Eddington-Finkelstein koordinater, 63 Kruskal koordinater, 65 Tortoise koordinater, 63 Schwarzschild radius RS , 53, 54 Semi-major akse, 59 Semi-minor akse, 59 Sfærisk symmetri, 51, 54, 68, 73 Sfæriske koordinater, 51 Signatur, 23, 42, 71 Singularitet, 54, 66, 68, 80 Skalafaktor, 24, 33, 73, 79 Skalar funktion, 10 Skildpadde koordinater, 62 Smooth, 19, 22 Sol, 58 Solsystemet, 61 Sort hul, 61, 64, 67 Spacetime interval, 6 Speciel relativitetsteori, 5, 17, 23, 32 Spejlunivers, 67 Spor, 38, 46, 47, 76 Støv, 35, 47 Statisk felt, 47 Statisk kosmologisk model, 49 Stof, 24, 35, 72, 76 Stof-densitet, 44 Stof-domineret, 76 Stress, 14 Stråling, 24 Strålings-domineret, 76 Stråling, 72 Stråling, 35, 76 Støv, 14 Surjektiv, 19 Svagtfelts-grænsen, 47, 53 Symmetri, 15, 39 Tangentrum, 8, 10, 21, 27 Tangentvektor, 9, 12, 22, 31 Tensor, 11, 22 Tensor densitet, 25 Tensorfelt, 27 Tensorligning, 31, 38, 44, 46, 50 Tensorprodukt, 11 Testpartikel, 32, 58, 64 Tidslig, 7, 13, 33, 40 Tidsvending, 51, 55 Tilstandsligning, 15, 35, 76, 78 Topologi, 18 Torsion tensor, 29, 37 Torsions-fri, 29, 37 Tortoise koordinater, 62 Trace, 38 Transformation, 21, 39 Translation, 8, 39, 42, 70 Tryk, 14, 14, 15, 72 Tyngdeaccelerationen, 50 Tyngdefelt, 5 Tyngdekraft, 5, 16, 50 Type (tensor), 11 Tæthed, 14 Tårn, 17 Uaccelereret, 17, 32 Undvigelseshastighed, 64 Univers, 24 Ur, 6 Vakuum, 15, 35, 49, 51, 76 Vakuum energi, 48, 49, 72 Vakuum-domineret, 76, 80 Vakuumfluktuationer, 49 Variationsregning, 32 Vektor, 8, 11 Vektorrum, 9, 11, 21 Vektortransformationsloven, 22 Vendepunkt, 57, 79, 86 Verdenslinie, 6, 12, 24 Vinkeldiameter, 84 Vinkeldiameter-afstand, 84 Vinkelmoment, 84 Viskositet, 14 Vægt, 26 Væske, 14 WEP, 16 Weyl tensor, 39 Wormhole, 67 Ækvator, 30, 55 Ækvivalensprincippet, 16, 50 Åben bold, 19 Åbent rum, 74 Åbent sæt, 19