31.08.2013 Views

RELATIVITETSTEORI - (TUTORIAL / F BORG) 1 ... - Saunalahti

RELATIVITETSTEORI - (TUTORIAL / F BORG) 1 ... - Saunalahti

RELATIVITETSTEORI - (TUTORIAL / F BORG) 1 ... - Saunalahti

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>RELATIVITETSTEORI</strong> - (<strong>TUTORIAL</strong> / F <strong>BORG</strong>)<br />

1. Relativ rörelse<br />

2. Ljushastighetens konstans<br />

3. Lorentz transformationen<br />

3.1 "Superluminal jets"<br />

4. Kausal struktur och metrik<br />

5. Egentiden och "tvillingparadoxen"<br />

5.1 Experiment och observationer<br />

6. Relativistisk dynamik<br />

7. E = mc 2<br />

8. Hyperbolisk bana och relativistisk raket<br />

9. Accelererande referenssystem<br />

10. Allmän relativitetsteori (ART)<br />

10.1 Differentialgeometri<br />

10.2 Fältekvationerna<br />

10.3 Schwarzschild lösningen<br />

10.4 Gravitationell strålning<br />

10.5 Kosmologi<br />

11. Historik och litteratur<br />

***<br />

"Namnet 'relativitetsteori' sammanhänger med det faktum<br />

att rörelse för en iakttagare alltid framstår som relativ rörelse<br />

av ett föremål i förhållande till ett annat".<br />

A Einstein, "Relativitetsteorin" (1949).<br />

1. Relativ rörelse<br />

Newtons "första lag", F = ma, gäller för inertiala referenssystem. Fysikaliska<br />

kinematiska och dynamiska storheter hänvisar till ett visst referenssystem (frame of<br />

reference, Bezugsystem). En partikels hastighet beror exv på om den mäts från en fast punkt<br />

på marken (referenssystem R) eller från ett rullande tåg (referenssystem R'). För att ge<br />

storheterna numeriska värden behöver vi för varje referenssystem också ett koordinatsystem<br />

K. I det enklaste fallet kan vi tänka oss K som ett cartesiskt rätvinkligt koordinatsystem med<br />

x-, y- och z-axlar, samt en t(ids)-axel. För att mäta längden längs dessa axlar behöver vi<br />

också en fixerad längdenhet. Tiden igen bestäms med hjälp av en "standardklocka".<br />

Matematiskt sett kan vi identifiera ett referenssytem med en punkt (origo, "observatören",<br />

osv) och riktningsaxlar som utgår därifrån (vilka anger orienteringen).<br />

Som liten grabb kommer jag ihåg att jag under en bilfärd satt i baksätet och lekte<br />

med en vante. Plötsligt fann jag det konstigt (som många andra) att vanten föll rakt ned när<br />

jag släppte den, och inte lämnade efter, sas. Man hade gjort liknande observationer redan<br />

långt före automobilernas tidevarv. I likhet med bilen (under jämn körning) är dynamiken


ombord på ett lugnt seglande skepp densamma som på fasta land. Galilei insåg att vi här har<br />

att göra med en generell relativitetsprincip.<br />

· Dynamiken är densamma för referenssystem med konstant relativ hastighet.<br />

Ett inertialt referenssystem är ett sådant där kroppar rör sig likformigt (eller inte alls) och<br />

rätlinjigt ifall de inte påverkas av yttre krafter (Galileis tröghetsprincip.)<br />

Relativitetsprincipen innebär att om R är ett inertialt referenssytem, och R' rör sig med<br />

konstant hastighet relativt R, då är också R' ett inertialt referenssytem.<br />

R<br />

K<br />

K'<br />

x x'<br />

Två referenssystem med konstant relativ hastighet.<br />

Dynamiken är densamma i de båda. Det går lika bra<br />

att spela bordtennis i det "rörliga" systemet R' som<br />

på "fast mark", R. Bollen "beter sig" på samma sätt.<br />

Figuren illustrerar två referenssystem R ("fast mark") och R' (vagnen) med konstant<br />

relativ hastighet (V). Vi antar att koordinatsystemen K och K' har parallella axlar så att de<br />

sammanfaller vid tiden t = 0 och att den relativa hastigheten sammanfaller med x-riktningen.<br />

Relationen mellan bollens x-koordinater i systemen R-K och R'-K' blir uppenbarligen<br />

x' = x - Vt eller x = x' + Vt.<br />

Om exv bollen befinner sig i vila visavi R' då har vi x' = konstant och, eftersom bollen<br />

följer med vagnen, har vi relativt R, x = konstant + Vt, där Vt är sträckan som vagnen<br />

tillryggalagt i x-riktningen under tiden t. Eftersom den relativa rörelsen mellan R och R'<br />

endast sker längs x-axeln, kan vi skriva de kompletta transformationsformlerna mellan R-K<br />

och R'-K' som<br />

x' = x - Vt;<br />

(G) y' = y; (Galilei transformation)<br />

z' = z;<br />

t' = t.<br />

Här har vi antagit att om de två (ideala) identiska klockorna i R och R' synkroniserats vid en<br />

viss tidpunkt, då kommer de att visa precis samma tid om de återförs och jämförs vid någon<br />

v<br />

R'


senare tidpunkt, t' = t. Detta är Newtons hypotes om den "absoluta unversella tiden" som är<br />

densamma för alla "observatörer".<br />

Ifall bollens hastighet i x-riktningen visavi R'-K' systemet (vagnen) är u', kommer<br />

dess x-hastighetskomponent visavi R-K till följd av transformationen (G) att bli<br />

♦ u = u' + V (Galileisk addition av hastigheter)<br />

Nämligen, sätt x' = u't' = u' t och x = ut i x' = x - Vt, då följer Galileis additionsteorem för<br />

hastigheter, u = u' + V.<br />

Den Galileiska transformationen (G) kan geometriskt beskrivas med följande<br />

diagram:<br />

O<br />

t<br />

T T'<br />

E E'<br />

t'<br />

P<br />

x' x<br />

Vt<br />

x' = x - Vt<br />

måttlinje<br />

Geometrisk beskrivning av Galileis transformation. Det "rörliga" systemets<br />

tids-axel (t') lutar i förhållande till t-axeln; den satsifierar ekvationen<br />

0 = x' = x - Vt, dvs, x = Vt. Rum-tid punkten P:s x'-koordinat fås alltså genom att<br />

dra en linje parallell med t'-axeln som skär x'-axeln (x- och x'-axeln sammanfaller).<br />

Punkt P:s tidskoordinater sammanfaller och fås genom att dra en linje parallell<br />

till x-axeln som skär t'- och t-axlarna. Uppenbarligen kan vi inte använda samma<br />

gradering på t- och t'-axeln, skalan på t'-axeln måste minska för att koordinaterna<br />

(mätt med linjal längs axlarna t ex) skall ge samma tid. Sträckorna OE och OE' i<br />

diagrammet motsvarar samma tid. Väljer vi OE (OE') till tidsenehet kallas linjen<br />

genom E och E' för måttlinje.<br />

Observera betydelsen av "måttlinjen" (ty. Eichkurve) i diagrammet. Ifall sträckan OE (OE')<br />

motsvarar t ex tidsenheten 1 sekund då motsvarar en sträcka OT (OT') tiden t = OT/OE (=<br />

OT'/OE' = t') mätt i sekunder.<br />

2. Ljushastighetens konstans<br />

"Då jag frågade mig själv, varför det var just jag som uppfann<br />

relativitetsteorin, så förefaller mig orsaken vara följande.<br />

En normal vuxen stannar inte i allmänhet upp och börjar tänka<br />

på tidens och rummets problematik. Han anser sig ha grubblat<br />

färdigt på dessa frågor redan som barn. Jag däremot utvecklades


i intellektuellt hänseende så långsamt att jag började grubbla<br />

över rum och tid först i vuxen ålder. Då kunde jag förstås<br />

tränga djupare i frågan än ett normalt begåvat barn."<br />

A Einstein i samtal med J Franck.<br />

Galileis relativitetsprincip hänger intimt samman med Newtons lag, F = ma.<br />

Accelerationen, och därmed kraften, är enligt Newtons lag oberoende av en konstant relativ<br />

hastighet. Inget verkar kunna hota dessa grundläggande principer. Däremot leder Galileis<br />

transformationer och additionsteorem för hastigheter, ifall vi önskar förena mekaniken med<br />

den elektromagnetiska teorin, till problem. Dessa båda teorier måste hänga ihop på något<br />

sätt eftersom elektriska partiklar, vilka påverkas av elektromagnetiska fält, också måste<br />

R<br />

K<br />

K'<br />

x x'<br />

c = 299792456.2 m/sek; ljusets hastighet i vakuum<br />

Mäter man ljushastigheten för ljusstrålen längs x-axeln<br />

i vagnen erhåller man ett värde u' = -c. Enligt Galileis transformation<br />

och additionsteorem blir ljusets hastighet i referenssystemet R<br />

u = u' + V = -c + V.<br />

underlyda mekanikens lagar. Elektromagnetiska vågor utbreder sig med en ändlig och<br />

konstant hastighet i vakuum. En planvåg beskrivs t ex som<br />

(1) E(x,t) = E0 cos(k.x - ωt) (E står här för elektriskt fält).<br />

Denna funktion satisfierar vågekvationen<br />

(2) (∂x 2 +∂y 2 + ∂z 2 - c -2 ∂t 2 )E(x,t) = 0<br />

med c = ω/|k|. Här står k = |k| för vågtalet (vågvektorn k är för en planvåg med<br />

utbredning i x-axelns riktning lika med vektorn (k,0,0)) som är relaterat till våglängden λ<br />

genom k = 2π/λ. Frekvensen ƒ är relaterad till ω genom ω = 2πƒ. I elektromagnetisk teori<br />

ges konstanten c av<br />

(3) c = (ε μ) -½ ≈ 300 000 km/sek,<br />

där ε är vakuumets dielektriska konstant och μ är vakuumets magnetiska permeabilitet.<br />

Detta värde c är samma som ljushastigheten, ty ljuset är en form av elektromagnetiska<br />

strålning. Eftersom vågekvationen i vakuum gäller för vilket intertialt referenssystem som<br />

v<br />

R'


helst följer att den elektromagnetiska strålningens utbredningshastighet är densamma i alla<br />

inertiala referenssystem och lika med ljushastigheten c. Detta strider tydligen mot Galileis<br />

transformationsregler (G) och additionsteorem för hastigheter.<br />

En signalfronts utbredning från origo kan beskrivas med ekvationerna<br />

(4) x 2 + y 2 + z 2 - c 2 t 2 = 0 (i R-K systemet)<br />

x' 2 + y' 2 + z' 2 - c 2 t' 2 = 0 (i R'-K' systemet).<br />

Dessa ekvationer beskriver den sk ljuskonen (light cone), ljusstrålarna som utbreder sig<br />

från origot.<br />

ct<br />

Ljuskonen: |x| - ct = 0. Ljuskonens ekvation invariant för<br />

alla inertiala referenssystem.<br />

3. Lorentz transformationen<br />

"Men tom de bästa av dessa framställningar kan inte<br />

övertyga en läsare som är ärlig mot sig själv att han<br />

verkligen begriper relativitetsteorins grunddrag. Idéerna<br />

och paradoxerna är omsorgsfullt framlagda. Utrustningen<br />

av mätstavar, ljussignaler och klockor uppvisas och<br />

effekten är densamma som av en trolleriuppvisning.<br />

Tricken visas för åskådaren, men förklaras inte för<br />

honom. Han blir underhållen, kanske imponerad men<br />

förvisso inte upplyst."<br />

JR Newman, "Sigma" (Bonniers 1977), Kommentar s. 845.<br />

Newman medger att relativitetsteorin är abstrakt: "Den är<br />

abstrakt, men inte mer än begrepp som negativa tal och fri<br />

företagsamhet." ---<br />

y<br />

x


I föregående avsnitt såg vi hur Galilei transformationen (G) leder till problem när vi<br />

söker kombinera denna med elektromagnetisk teori.<br />

O<br />

ct<br />

x - ct = 0<br />

T T'<br />

ct'<br />

P<br />

x' x<br />

Vt<br />

x' = x - Vt<br />

E E' måttlinje<br />

Ljuskonen har inte en invariant ekvation visavi Galilei transformationen.<br />

Enligt denna följer från x - ct = 0 att x' + Vt - ct = x' - (c - V)t = 0 istället<br />

för x' - ct' = 0. Observera att vi i diagrammet ersatt tidskoordinaten t med<br />

ct vilken har längdenhet liksom x, y, och z-koordinaterna. I detta koordinatsystem<br />

bildar ljusstrålarna 45 graders vinkel med ct-axeln.<br />

Inför index-beteckningarna<br />

x 0 = ct<br />

x 1 = x<br />

x 2 = y<br />

x 3 = z<br />

då kan exv ljusstrålens ekvation x - ct = 0 skrivas som x1 - x0 = 0. Betraktar vi den<br />

geometriska beskrivningen av Galilei transformationen inser man efter en del begrundan att<br />

ekvationen x1 - x0 = 0 överförs på formen x'1 - x'0 = 0 om vi också låter luta x'-axeln mot<br />

x. Koordinaterna x0 och x1 behandlas därmed symmetriskt.


x<br />

0<br />

x'<br />

0<br />

P<br />

x' 1<br />

x<br />

1<br />

x'<br />

1<br />

=<br />

=<br />

x' 0<br />

x 0<br />

Ljusstrålens ekv<br />

invariant visavi<br />

Lorentz transformationen.<br />

Lorentz transformationen erhålls genom en symmetrisering<br />

mellan tids- och rumskoordinaterna. Detta gör att ekvationen<br />

|x| blir invariant för de inertiala referenssystemen.<br />

2 - (ct) 2<br />

Den nya transformationen för referenssytemen med relativ hastighet längs x-axeln skrivs (se<br />

diagrammet)<br />

(L) x' 1 = γ(x 1 - βx 0 )<br />

x' 2 = x 2<br />

x' 3 = x 3 (Lorentz transformation)<br />

x' 0 = γ(x 0 - βx 1 )<br />

(med beteckningen β = V/c)<br />

vilken är symmetrisk för x 1 och x 0 . Parametern γ bestäms från invarianskravet<br />

som ger<br />

x 2 + y 2 + z 2 - c 2 t 2 = x' 2 + y' 2 + z' 2 - c 2 t' 2<br />

(6) γ = (1 - β 2 ) -½ .<br />

Detta resultat kan också härledas utgående från ett symmetrikrav. Nämligen, inversionen R'<br />

ρεφ R till (L) måste ha precis samma form som (L) förutom att β ändrar tecken (den<br />

relativa hastigheten sett från R' är -V och V sett från R):<br />

x 1 = γ(x' 1 + βx' 0 )<br />

(L') x 2 = x' 2<br />

x3 = x'3 (Lorentz transformation)<br />

x0 = γ(x'0 + βx'1 )<br />

(med beteckningen β = V/c)


Sätter vi in värden för x' 1 och x' 0 från (L) i (L') erhåller vi ekvationen γ 2 (1 - β 2 ).= 1.<br />

(I härledningen har vi tyst antagit att γ(−β) = γ(+β). Motivering ?)<br />

Einstein kallade transformationen (L) för Lorentz transformationen efter en av de<br />

första fysikerna som studerade dylika transformationer inom ramen för den<br />

elektromagnetiska teorin. Vi ser att för hastigheter V små relativt ljushastigheten (β = V/c<br />


for so long and they were not part of the common<br />

everyday culture in the way that, for example,<br />

Darwin's theory of the evlution was. "<br />

Prof Russell Stannard i Physics World 6/96.<br />

Stannard skriver bl a om relativitetsteori och kvantmekanik<br />

för barn i sina Uncle Albert böcker.<br />

Inom astronomin har man observerat materiestrålar (jets) från stjärnor vilka<br />

skenbart har en överljushastighet (supraluminala). Detta är en optisk effekt som kan inträffa<br />

då strålen bildar en vinkel mindre än 45 grader med siktlinjen till stjärnan. Föreställ<br />

materiestrålen som en lysande projektil med hastigheten v (se figuren). När den avancerar<br />

mot oss har ljuset en allt kortare väg (r) att nå oss.<br />

d<br />

S<br />

θ<br />

y1<br />

y2<br />

O<br />

t1<br />

r1<br />

r2<br />

t2<br />

En "projektil" från stjärnan S utskickar ljussignaler<br />

vid tiden t1 och t2 som observeras vid O vid tiden<br />

T1 och T2. Projektilens skenbara hastighet vinkelrätt<br />

mot stjärnans siktlinje OS blir<br />

u = (y2 - y1)/(T2 - T1).<br />

Två signaler som utsänds från projektilen vid tiden t1 och t2, räknad från det att projektilen<br />

utskickats från stjärnan, når observatören vid tiden T1 och T2. Tidsskillnaden bestäms<br />

genom<br />

med<br />

T2 - T1 = t2 - t1 - (r2 - r1)/c,<br />

r2 - r1 = [(vt2) 2 + d 2 - 2 vt2 d cosθ] ½ - [(vt1) 2 + d 2 - 2 vt1 d cosθ] ½ .<br />

För en liten tidsdifferens dt, t2 = t1 + dt, ger föregående ekvation (t = t1),


dT = T2- T1 = {1 - (1/c)(v 2 t - v d cosθ)[(vt) 2 + d 2 - 2 vt d cosθ] -½ }dt.<br />

Den skenbara radiala hastigheten (vinkelrät mot siktlinjen till stjärnan) blir<br />

u = (y2 - y1)/dT = vdt sinθ/dT<br />

som för vt c /√2 (θ < 45 grader). Dylika relativistiska hastigheter<br />

kan uppnås exv genom accelererande elektromagnetfält eller genom "presstub-effekten" när<br />

gaser från en närbelägen stjärna dras in i ett svart hål.<br />

4. Kausal struktur och metrik<br />

Matematiskt sett verkar Lorentz transformationen (L) bara vara en liten modifikation<br />

av Galilei transformationen. Einstein var den första som insåg att Lorentz transformationen<br />

innebar ett radikalt nytänkande inom fysiken. Exempelvis måste vi revidera Newtons<br />

begrepp om den universella tiden. Istället har varje referenssystem sin egen tid. En följd av<br />

detta är att två händelser som uppfattas som samtidiga i ett referensystem inte behöver vara<br />

det i ett annat referenssystem.


ct<br />

x<br />

0<br />

c t1'<br />

c t2'<br />

x'<br />

0<br />

P1<br />

P2<br />

x'<br />

1<br />

x<br />

1<br />

Händelserna P1 och P2 är samtidiga enligt<br />

referenssytemet R (båda har tidskoordinaten t)<br />

men inte enligt R' systemet där tidskoordinaterna<br />

är t1' och t2'.<br />

Hotar då denna tidsrelativitet kausalitetsprincipen ? Nämligen, enligt kausalitetsprincipen<br />

måste orsak föregå verkan. Om händelse A orsakar händelse B (identifierade som punkter i<br />

rum-tiden) måste A förekomma tidigare än B: t(A) < t(B). För att kausalitetsprincipen skalll<br />

gälla inom relativitetsteorin måste tidsordningen vara invariant mellan kausalt förknippade<br />

händelser för alla referenssystem. Det vore en motsättning ifall A är orsak till B i ett<br />

referenssystem medan däremot B är orsak till A i ett annat referenssystem.<br />

Postulatet om ljushastigheten som maximal hastighet i fysiken innebär att två<br />

händelser A och B kan vara kausalt förbundna endast om<br />

♦ (K) |x(A) - x(B)| < c |t(A) - t(B)| (nödvändigt villkor för kausalt<br />

samband mellan två händelser)<br />

Väljer vi A som origo i ett referenssytem så innebär kausalitetsvillkoret (K) att händelsen B<br />

måste befinna sig inom ljuskonen med spetspunkten i A.


A<br />

ct<br />

Punkterna B (verkan) och C (orsak) inom A:s ljuskon kan vara kausalt<br />

förknippade med A, men däremot inte punkten D som ligger utanför<br />

A:s ljuskon och som skulle kunna nås från A endast via en överljushastighetssignal.<br />

Eftersom vi i uppbyggnaden av relativitetsteorin utgått från invariansen av ljuskonstrukturen<br />

(ekvationen x2 + y2 + z2 - c2t2 = 0) följer också att den kausala strukturen är<br />

invariant.<br />

Från analytisk geometri vet att vi att längden av en vektor, |x|, är invariant för<br />

"euklidiska transformationer" bestående av rotationer och translationer. Denna invarians kan<br />

formuleras såsom invariansen hos formen x2 + y2 + z2 vilken kan skrivas som g(x,x) med<br />

g() definierad genom (med hjälp av index-notationen)<br />

♦ (E) g(x,y) = x 1 y 1 + x 2 y 2 + x 3 y 3 .<br />

Detta är den vanliga "punktprodukten" x.y för vektorer och är exempel på en metrik. Det<br />

är metriken g( ) som bestämmer längden för vektorer och deras innebördes vinklar. Formen<br />

(E) beskriver en euklidisk metrik vilken är invariant för alla euklidiska transformationer. I<br />

analogi med detta kan vi införa en relativistisk metrik, punktprodukt, för rum-tiden, enligt<br />

en idé som först lanserades av Minkowski,<br />

♦ (M) x . y = g(x, y) = -x 0 y 0 + x 1 y 1 + x 2 y 2 + x 3 y 3 .<br />

Här utgör argumenten fyr-vektorer, x = (x 0 ,x 1 ,x 2 ,x 3 ), osv. Minkowski metriken (M) är<br />

invariant för alla Lorentz transformationer: g(Lx,Ly) = g(x,y), där x → Lx är en Lorentz<br />

transformation.<br />

B<br />

C<br />

D<br />

x


Ett intressant exempel på en invariant produkt av fyr-vektorer har vi i fasen för<br />

planvågen<br />

för de två fyr-vektorerna<br />

(9) k = (ω/c,k)<br />

x = (ct,x)<br />

med Minkowki produkten<br />

E(x,t) = E0 cos(k.x - ωt)<br />

(10) k . x = k.x - ωt (fasen).<br />

Fasens invarians följer fysikaliskt från kravet, att för en given ljusstråle, som passerar genom<br />

två givna punkter A och B, måste antalet svängningar mellan punkterna A och B<br />

(fasskillnaden) vara oberoende av referenssystemet. I annat fall skulle förekomsten av exv<br />

interferens bero från vilket referenssystem fenomenet studeras.<br />

Obervera att ljusstrålar satisfierar ekvationen<br />

(11) k 2 = k . k = k 2 - (ω/c) 2 = 0.<br />

5. Egentiden och "tvillingparadoxen"<br />

"There was once a lady named Bright<br />

who travelled much faster than light.<br />

She departed one day in a relative way<br />

and came home the previous day."<br />

(Limerick som relativisterna minns från sin barndom.)<br />

"Morgonposten ligger oöppnad på mitt skrivbord. Jag har en<br />

halvtimma dyrbar tid att ögna igenom den. I den vanliga högen av<br />

brev, cirkulär och memoranda ligger tre tjocka manuskript som<br />

tillsänts mig från privata adresser. England, Kalifornien och västra<br />

Australien. Alla har anlänt utan att jag bett om dem, och alla åtföljs<br />

av brev som börjar på samma sätt: 'Fastän jag inte är vetenskapsman ... .'<br />

Jag skummar trött igenom sidorna i dessa manuskript. I likhet med<br />

många kolleger får jag flera sådana varje månad. Idag är de likartade<br />

i stil och innehåll. Två innehåller en del handskriven matematik på<br />

grundskolenivå. Budskapet är detsamma: ‘Einstein hade fel: jag har<br />

rätt. Hjälp mig att meddela världen’."<br />

Paul Davies, "I Rättan Tid - Einsteins Ofullbordade Revolution" (1995).<br />

Relativitetsteorin kan sägas bygga på insikten att de fysikaliska storheterna är<br />

definierade lokalt. Det är inte givet att det t ex finns en universell tid som är densamma för<br />

alla referenssystem. Storheterna är istället definierade visavi referenssystemen. För att


jämföra beskrivningar i de olika referenssystemen av ett och samma fysikaliska händelse,<br />

eller tillstånd, med varandra behöver vi "översättningar" - transformationer. Fysiken handlar i<br />

hög grad om att undersöka invarianser under dylika transformationer.<br />

Varje kropp definierar en invariant tid; nämligen, dess egentid. Föreställer vi oss att<br />

en (idealisk) klocka följer med kroppen kommer den att per definition visa kroppens<br />

egentid. Antag att kroppen passerar genom två rum-tid punkter A och B. Vi har följande<br />

invarianta uttryck<br />

(I) (x 1 (B) - x 1 (A)) 2 + (x 2 (B) - x 2 (A)) 2 + (x 3 (B) - x 3 (A)) 2 - (x 0 (B) - x 0 (A)) 2<br />

Beräknar vi uttrycket i kroppens referenssytem R' erhåller vi formen<br />

- (c Δτ) 2<br />

eftersom Δx' = x'(B) - x'(A) = 0. Här betecknar Δτ = t'(B) - t'(A) kroppens egentid.<br />

Formen (I) kan i "laboratoriesystemet" R skrivas som<br />

-c 2 (1 - (v/c) 2 ) Δt 2<br />

med v = | Δx/Δt| och Δt = t(B) - t(A). Identifierar vi dessa båda uttryck kan vi skriva<br />

egentiden som en funktion av laboratorietiden,<br />

(12) Δτ = (1 - (v/c) 2 ) ½ Δt.<br />

Innebörden av denna relation är följande: Ifall vi i laboratoriesystemet (det inertiala<br />

referenssystemet R) observerar en kropp R' som följer en bana x(t) = (ct,x(t)) så kan vi<br />

beräkna egentiden för kroppen R' (den tid som dess klocka visar) enligt<br />

(12') Δτ = ∫ (1 - (v/c) 2 ) ½ dt<br />

där v = |dx(t)/dt| är kroppens hastighet i laboratoriesystemet. Integralen utsträcks över<br />

kroppens bana mellan A och B.<br />

Det är relationen (12) mellan koordinattid och egentid som ger upphov till den sk<br />

"tviliingparadoxen". Nämligen, antag att vi har två identiska klockor som är synkroniserade i<br />

A och därfefter följer skilda banor för att åter jämföras i B. Då kan dessa klockor komma<br />

att visa olika tider eftersom integralen i (12') är vägberoende. Tydligen kommer den klocka<br />

att visa mindre tid som har valt en längre väg eftersom den måste då använda en högre<br />

hastighet v som i sin tur gör faktorn (1 - (v/c) 2 ) ½ i integralen mindre. Låt oss studera ett<br />

enkelt exempel med ett tvillingpar, Castor och


ct<br />

C<br />

A<br />

"Tvillingparadoxen". Castor blir kvar på rymdstationen<br />

som definerar referenssystemet R. Castors bana i<br />

rum-tiden blir visavi R ett rakt streck AC parallell med<br />

tidsaxeln (rumskordinaterna är konstanta). Pollux<br />

däremot ger sig av från rymdstationen till punkt B<br />

B<br />

därifrån han vänder tillbaka och möter Castor i C.<br />

x<br />

Castor finner då att han haft fler<br />

födelsedagar än Pollux sedan de<br />

skildes.<br />

Pollux, på en rymdbas. Castor förblir kvar på basen medan Pollux gör en avstickare med sin<br />

raket, exv till stjärnan Sirius (ett populärt resemål bland relativister) som han möter i punkten<br />

B (se diagrammet). Antag Pollux förflyttar sig med jämn hastighet till punkt B där han<br />

svänger tillbaka och fortsätter med samma hastighet tills han möter Castor i punkt C. Då har<br />

Castor åldrats med tiden t(C) - t(A) sedan deras förra möte medan Pollux har endast åldrats<br />

med tiden (t(C) - t(A)) (1 - (v/c) 2 ) ½ , enligt (12). Vari ligger då det paradoxala ? En<br />

invändning kanske är att situationen mellan Castor och Pollux är symmetrisk och att det<br />

därför inte kan uppkomma någon "tidsdilatation" mellan dem. Faktum är dock att det råder<br />

en asymmetri mellan Castor och Pollux. Nämligen, Pollux' raket hamnar att accelerera och<br />

bromsa för att följa banan ABC och definierar därför inte ett inertialt referenssystem.<br />

Situationen kan åskådliggöras med följande diagram som också illustrerar den sk Doppler<br />

effekten.


10<br />

9<br />

8<br />

7<br />

6<br />

5<br />

4<br />

2<br />

1<br />

3<br />

ct<br />

C<br />

1<br />

E E'<br />

A<br />

7<br />

2<br />

6<br />

3<br />

5<br />

B<br />

4<br />

x<br />

Måttkurvan EE' ges av ekvationen<br />

(med punkten A som origo)<br />

(ct) x 2 2<br />

- = 1<br />

som definerar sträckan för tidsenheten<br />

AE för Castor och AE' för Pollux. För<br />

varje "klick" på klockan sänder Pollux<br />

en ljussignal till Castor. Vi ser att<br />

tidsskillnaderna mellan signalerna<br />

som Castor mottar tänjs ut då<br />

Pollux är på väg bort, och krymps<br />

ihop då Pollux närmar sig (Doppler<br />

effekten). Samma fenomen gäller<br />

inom Newtonsk mekanik. För<br />

relativitetsteorin tillkommer en<br />

"dilatationsfaktor". Punkterna 1, 2, osv<br />

anger klockornas "ticks". Vi ser att<br />

Pollux' klocka hinner ticka ca 8 ggr<br />

innan han återser Castor, medan<br />

Castors klocka då har hunnit ticka<br />

10 ggr ("tvillingparadoxen").<br />

Måttlinjen (x 0 ) 2 - (x 1 ) 2 = 1 (med A som origo) skär AC i punkten E med x 0 = 1, och AB<br />

i punkten E' med x' 0 = 1 i Pollux' referenssytem (som är ett inertial referenssytem mellan<br />

punkterna A och B var måttlinjen därför satsifierar (x' 0 ) 2 - (x' 1 ) 2 = 1). Relationen (12')<br />

gäller för en godtycklig bana och acceleration (vi måste naturligtvis ha v < c) trots att vi<br />

utgick från transformationer mellan inertiala referenssystem. Nämligen, för varje punkt av<br />

banan kan vi betrakta ett kort tidsintervall under vilken hastigheten förändras infinitesimalt.<br />

Vi föreställer oss ett inertialt referenssystem R'' som följer med kroppen (comoving) under<br />

detta tidsintervall. Då kommer dess klocka att ticka i samma takt som den accelererande<br />

kroppens egentid i detta intervall. Relationen (12) som gäller för R'' gäller då också för den<br />

accelererande kroppen.<br />

Generellt är det komplicerat att explicit konstruera en transformation mellan en<br />

kropps referenssystem med varierande acceleration och ett inertialt system. En dylik<br />

problemställning pekar vidare mot den allmänna relativitetsteorin (där det också finns endast<br />

ett fåtal exakta analytiska lösningar för gravitationsfälten). För konstant acceleration erhåller<br />

man emellertid en elementär lösning på transformationen. Detta fall leder oss in på den<br />

relativistiska dynamiken.<br />

5.1 Experiment och observationer<br />

"Det är omöjligt att tro, att människor med<br />

intelligens nog att åstadkomma den modärna<br />

teknologins mirakler kan vara så dumma".


Den antirelativistiska filosofen Herbert Dingles<br />

kommentar om dem tror på relativitetsteori,<br />

i "Science at the Crossroads" (1972), citerad av<br />

P Davies (op. cit.).<br />

Kosmisk strålning innehåller de mest energirika partiklar man känner till. År 1993<br />

upptäckte man t ex med detektorn Fly's Eye en partikel, troligen en proton, med en<br />

hastighet som motsvarar en relativistisk uttänjningsfaktor på γ = 10 11 ! Fria neutroner är<br />

instabila och har en halveringstid på omkr 15 minuter. För en neutron med en hastighet som<br />

motsvarar γ = 10 11 (vad blir hastigheten i procent av ljushastigheten) kommer dess 15<br />

minuter i egentid att motsvara 10 11 x 15 min = 2.85 miljoner år i jordtid. Denna neutron<br />

hinner under en livstid på 15 minuter färdas ca tre miljoner ljusår genom rymden.<br />

Tidsdilatationen ger en förklaring till varför avlägsna astronomiska objekt kan skicka<br />

"kortlivade" neutroner till jorden. Tidsdilatationen har bekräftats t ex för myoner som är<br />

instabila partiklar vilka påträffas i kosmisk strålning. Ett direkt test av tidsdilatationen<br />

genomfördes 1971 av JC Hafele och R Keating som fick låna fyra noggranna cesiumur som<br />

flögs först österut och sedan västerut. På resan österut hade klockorna i medeltal saktat 59<br />

nanosekunder jämfört med uret vid observatoriet, medan klockorna som flögs västerut<br />

avancerade i medeltal 273 nanosekunder. Tänker vi oss ett plan genom jordens ekvator<br />

och att uren håll i detta plan kan egentiden för ett ur skrivas användande polära koordinater,<br />

-(cdτ) 2 = -(cdt) 2 + dr 2 + r 2 (d(θ + ωt)) 2<br />

Här betecknar ω jordens vinkelhastighet; (r, θ) är urets läge i det polära koordinatsystemet<br />

som är fixerat visavi jorden; kordianttiden t hänvisat till ett intertialsystem som följer med<br />

jordens mittpunkt (vi kan försumma jordens acceleration i sin bana kring solen).<br />

ω<br />

θ<br />

Atomur flygs växelvis mot öster och väster,<br />

varefter urens eftersläpning el avancemang,<br />

visavi ett kvarblivet atomur i observatoriet,<br />

kan studeras. Vi har ritat ekvatorialplanet sett<br />

från nordpolen. Jorden roterar österut.


För obervatorieuret har vi dθ = dr = 0, r = r0,<br />

-(cdτo) 2 = -(cdt) 2 + dr 2 + r 2 (d(θ + ωt)) 2 = -(cdt) 2 (1 - r0 2 ω 2 /c 2 ),<br />

medan vi för de flygande uren har (vi antar att de flyger på konstant höjd),<br />

-(cdτ) 2 = -(cdt) 2 (1 - r 2 (ω + dθ/dt) 2 /c 2 ),<br />

där dθ/dt har olika tecken beroende på om man flyger österut (dθ/dt > 0) eller västerut<br />

(dθ/dt < 0). Till detta kommer ytterligare en tidsdilatation som beror på gravitationen (se<br />

nedan ekv (60)), den sk gravitationella rödförskjutningen. Om uren flygs på medelhöjden L<br />

relativit det markbaserade uret kommer de att pga rödförskjutnngen gå före det<br />

markbundna atomuret enligt dτo = (1 - gL/c 2 )dτ, där g betecknar<br />

tyngdkraftsaccelerationen. När alla dessa effekter räknats ihop är överenstämmelsen mellan<br />

Einsteins teori och observationerna närmast perfekt.<br />

6. Relativistisk dynamik<br />

Hur förändrar den relativistiska kinematiken, som vi hittills utvecklat, den klassiska<br />

mekaniken och dynamiken ? Enligt tröghetsprincipen kommer en kropp som inte påverkas<br />

av yttre krafter att inte accelerera visavi inertiala referenssystem. Enligt Newtons lag<br />

accelererar en kropp (massa m) med konstant acceleration a = F/m om den påverkas av en<br />

konstant kraft F. Newtons lag är en generalisering av begreppet tyngden (tyngdkraften) som<br />

verkar med kraften (tyngden) mg på en kropp med massan m; g är<br />

tyngdkraftsaccelerationen. Inom relativitetsteorin verkar en konstant acceleration var<br />

omöjlig, annat än temporärt, ty hastigheten skulle ju till slut nå bortom ljushastigheten efter<br />

tiden t > c/a. Men här handlar det om accelerationen som upplevs av den som följer med<br />

kroppen, sas.<br />

Antag en kropp R' känner av en konstant kraft F och accelererar i x-riktningen. Vi<br />

kan föreställa att R' är en raket med massan m. Om denna drivs fram med en kraft F och<br />

astronauten släpper en liten boll borde han observera hur den accelererar med<br />

accelerationen a = F/m (m, raketens massa) åt det negativa hållet längs x-axeln.


x<br />

F<br />

Raketen med massan m<br />

drivs fram av en kraft<br />

F i x-riktningen. Bollen<br />

som får "falla" fritt<br />

accelererar med accele-<br />

rationen a = F/m relativt<br />

raketen.<br />

Det är samma sak som att raketen ses öka sin hastighet med a Δτ under ett tidsintervall Δτ<br />

(raketens egentid) sett från ett inertialt medföljande (comoving) referenssystem vid en viss<br />

tidpunkt. Sett från "laboratoriesystemet" R ökar raketens hastighet under detta tidsintervall,<br />

enligt additionsteoremet, med<br />

Δv = (v + a Δτ)/(1 + v a Δτ/c 2 ) - v = a Δτ (1- (v/c) 2 )/(1 + v a Δτ/c 2 )<br />

som leder till rörelse-ekvationen<br />

(13) dv/dτ = a (1- (v/c) 2 )<br />

eller (enligt (12))<br />

(14) dv/dt = a (1- (v/c) 2 ) 3/2 (gäller också för varierande acceleration a).<br />

Från detta följer att kraften F = ma kan erhållas från fyr-vektorn F definierad genom<br />

(15) F = dp/dt<br />

ifall vi definierar fyr-impulsen genom<br />

(16) p = m dx/dτ.<br />

Nämligen, denna definition ger för den relativistiska impulsen i x-riktningen (enligt 12)<br />

(17) p = m dx/dτ = m γ v.


Lite algebra ger vidare d(γ v)/dt = γ 3 dv/dt som tillsammans med ekvationen (14) visar att vi<br />

faktiskt har dp/dt = ma. Vi observerar följande intressanta egenskap hos fyr-impulsen: Den<br />

Lorentz invarianta storheten p . p har nämligen det konstanta värdet<br />

(18) p 2 = m 2 (dx/dτ) 2 = - m 2 (cdτ/dτ) 2 = - m 2 c 2 .<br />

var vi nyttjat relationen dx.dx = - (cdτ) 2 som gäller för ett bansegment dx. Differentierar vi<br />

p 2 visavi t följer vidare<br />

(19) 0 = dp 2 /dt = 2 F . p;<br />

dvs, fyr-kraften och fyr-impulsen är "ortogonala" enligt Minkowski geometrin.<br />

7. E = mc 2<br />

"Einstein framställer kravet att atombomben inte<br />

får utelämas till andra makter, särskilt inte Sovjetunionen (...)<br />

Den 'världsregering' som Einstein kräver tycks vara tänkt<br />

med Standard Oil som förebild (...) Den briljanta fackhjärnan<br />

instoppad i en usel fiolspelare och evig gymnasist med en<br />

svaghet för politiska generaliseringar."<br />

Bertol Brecht, Arbeitsjournal 28 oktober 1945.<br />

(Citerad i Francoise Balibar, "Einstein - Tänkaren och Fysikern",<br />

Berghs 1995.)<br />

Vi fortsätter med fallet den konstant accelererande raketen och skall beräkna dess<br />

energiökning på grund av accelerationen. Energin beräknas utifrån definitionen dE = F dx då<br />

kraften verkar i rörelseriktningen x. Eftersom F = ma i detta fall är konstant erhåller vi för en<br />

integration från x = 0 till x = L,<br />

(20) ΔE = ∫ F dx = m a L.<br />

I Newtons mekanik har vi L = ½ a t 2 som ger ΔE = m a (½ a t 2 ) = ½ m v 2 (då v = at)<br />

vilket är det bekanta uttrycket för kinetisk energi. Den relativistiska rörelse-ekvationen för<br />

konstant acceleration (14) (gäller också för varierande acceleration) kan enligt föregående<br />

skrivas (från dp/dt = ma med p = m γ v)<br />

(21) d(γ v)/dt = a<br />

som ger<br />

(22) γ v = at ⇒ v(t) = at (1 + (at/c) 2 ) -½ ⇒<br />

γ = (1 + (at/c) 2 ) -½


För energiökningen maL erhåller vi alltså<br />

(23) ΔE = maL = ma ∫ v dt = ma (c 2 /a) ((1 + (at/c) 2 ) -½ - 1) =<br />

mc 2 (γ - 1).<br />

Från detta resultat ser vi att det är omöjligt att accelerera en kropp till ljushastighet eftersom<br />

detta kräver oändligt med energi iom att γ → ∞ då v → c. Utvecklar vi γ = (1 - (v/c) 2 ) -½<br />

som en serie i v/c (< 1) kan de första termerna för ΔE skrivas<br />

(24) ΔE = ½ m v 2 + (3/4) m v 2 (v/c) 2 + ....<br />

(Vad blir exv den relativistiska korrektionen för den kinetiska energin för en 70 kg person<br />

som cyklar modesta 25 km/h ? För elektroner i partikelacceleratorer hamnar man att<br />

använda den relativistiska formeln (23). Typisk acceleratorenergi för elektroner är omkr 10<br />

GeV = 10 10 eV. Vilken hastighet har dessa elektroner ?)<br />

Ett mer formellt sätt att härleda uttrycket för energin utgår från att skriva definitionen<br />

dE = F. dx på formen dE = v. dp genom att använda F = dp/dt och dx = v dt. Detta kan i<br />

sin tur skrivas som en differentialekvation<br />

(25) dE/dp = v (dE/p i = v i ; i = 1,2,3 ).<br />

Specialiserar vi oss till vårt föregående fall med rörelse och kraft längs x-axeln har vi att lösa<br />

ekvationen dE/dp = v med p = m γ v. Ekvationen kan skrivas som dE/dv = vdp/dv =<br />

mv.d(γv)/dv = mvγ3 som har lösningen<br />

(26) E = m c 2 γ = m c 2 (1 - (v/c) 2 ) -½<br />

För v = 0 erhåller vi viloenergin E = m c2 , eller den sk mass-energin.(Einstein<br />

bifogade den 27 september 1905 en sorts "PS" till sin huvudartikel i relativitetsteorin, från<br />

fyra månader tidgare, där han tillägger formeln E = m c2 med kommentaren: "Det är inte<br />

uteslutet att teorin kan prövas på kroppar, vilkas energiinnehåll är höggradigt föränderligt."<br />

(A Einstein, "Ist die Trägheit eines Körpers von seinem Energieneinhalt abhängig ?", Ann. d.<br />

Phys. Ser 4, Vol. 18; 639-641 (1905).)<br />

Innebörden av mass-energiformeln kan illustreras med följande exempel. Har vi t ex<br />

en kropp på en våg och värmer upp kroppen genom att tillföra en energimängd ΔE kommer<br />

dess vikt att öka med Δmg där Δm ges av Δm = ΔE/c2 . Ett analogt exempel är att tänka sig<br />

en behållare som vi fyller med N partiklar med massan m och hastighet v (en "gas"). Väger<br />

vi behållaren (ifall vi har en tillräckligt noggrann våg) kommer innehållets massa inte att visa<br />

sig vara Nm utan NE/c2 = Nmγ. Vi har alltså att skilja mellan en partikels massa som är<br />

konstant och behållaren+innehållets massa som är en funktion av partiklarnas dynamiska<br />

verkan på behållarens väggar (i gravitationsfältet accelererar partiklarna nedåt och stöter


med lite högre hastighet botten i behållaren - denna kraft mäter vi som tyngden Mg från<br />

vilken vi beräknar massan M). Har vi sammansatta partiklar så kommer deras massa på<br />

liknande sätt att vara en dynamiska funktion av konstituenternas energi i enlighet med massenergi<br />

formeln. Mass-energi formeln betyder alltså inte att massan som "sådan" är<br />

"ekvivalent" med energi utan att energin E i diverse situationer har en tröghet som motsvarar<br />

massan m = E/c 2 . I allmän relativitetsteori (ART) visar det sig att energin också utövar<br />

gravitationell attraktion på samma sätt som en massa m = E/c 2 . (I föregånde exempel kan vi<br />

också använda reaktion = verkan satsen.) Detta följer av Ekvivalensprincipen som<br />

identifierar trög massa m (som används i F = ma) och graviterande massa.m (som används i<br />

F = Gm' m/r 2 ).<br />

Lagen om massans konstans från kemin, och impulsens konservering, ersätts med<br />

konserveringen av fyr-impulsen p inom relativitetsteorin. Fyr-vektorn har nämligen<br />

komponent-uppdelningen<br />

(27) p = (mγc, mγv) = (E/c, p).<br />

Konserveringen av 0-komponenten p 0 = E/c ger alltså mass-energins konservering.<br />

Det kan verka egendomligt att massans totala energi-innehåll är förknippat med<br />

ljushastigheten enligt E = m c 2 . Eftersom ljuset är ett elektromagnetiskt fenomen har<br />

energiformeln föranlett spekulationer att massan har ett sorts elektromagnetiskt ursprung<br />

(dessa idéer dateras eg till tiden före relativitetsteorin). Man kan också resonera att det är<br />

Lorentz gruppen (transformationerna) som är det väsentliga i teorin och att<br />

elektromagnetismen bara är en instans av en teori som är Lorentz kovariant. Den maximala<br />

signalhastigheten och ljushastigheten c kommer från Lorentz transformationerna och<br />

Minkowski strukturen, och inte omvänt. Detta är det moderna synsättet. Man utgår från att<br />

fysikens alla fundamentala teorier måste vara Lorentz kovarianta. (Lorentz kovarians<br />

betyder att teorins storheter transformerar mellan referenssystemen enligt Lorentz<br />

transformationerna.)<br />

Vi har tidigare visat att p 2 = -(mc) 2 som tillsammans med (27) ger<br />

(28) -(mc) 2 = -(E/c) 2 + p 2<br />

vilket är ekvivalent med<br />

(29) E 2 = (mc 2 ) 2 + (cp) 2 .<br />

(Använder vi den tidigare formeln dE/dp = v får vi från energiformeln, v = c|p| ((mc 2 ) 2 +<br />

(cp) 2 ) -½ . Tillåter vi formellt partiklar med imaginär massa ser vi att de enligt formeln har<br />

hastighet v > c, vilket konstaterades i en tidigare kommentar om tachyoner.)<br />

Relativistiska effekter är försumbara vad gäller normala problem inom mekaniken.<br />

När det gäller partikelfysik, atomfysik. astrofysik, osv, spelar relativitetsteorin en<br />

fundamental roll.


(Vad blir exv en elektrons hastighet i väteatomen - utgå från det lägsta energitillståndet - om<br />

man betraktar den som en liten kula som cirklar kring protonen ?) Våra resultat för konstant<br />

acceleration kan exv tillämpas på en elektron som accelereras i ett konstant elektriskt fält E<br />

(a = eE/m där e är elektronens laddning). Vid höga accelerationer hamnar vi i detta fall<br />

beakta att elektronen utstrålar elektromagnetsk energi. Detta är en egenskap som utnyttjas<br />

hos cyklotroner.<br />

8. Hyperbolisk bana och relativistisk raket<br />

Vi fortsätter exemplet med den konstanta accelerationen. Vi definierar fyrhastigheten<br />

u enligt<br />

(30) u = dx/dτ = γ(c, v).<br />

Då skrivs fyr-impulsen som p = mu. Enligt definitionen av egentidsintervallet dτ har vi dx 2 =<br />

- (c dτ) 2 som ger<br />

(40) u 2 = -c 2 .<br />

För den accelerarande kroppen (i x-riktningen) gäller alltså sambandet<br />

(41) (u 0 ) 2 - (u 1 ) 2 = c 2 .<br />

Jämför detta med ekvationen för en cirkel med radien r,<br />

(42) x 2 + y 2 = r 2 .<br />

Cirkeln är invariant för rotationer kring origo. En rotation med en infinitesimal vinkel ε skrivs<br />

som<br />

(43) x → x' = x - εy: Δx = - εy<br />

y → y' = y + εx.: Δy = εx.<br />

Insätter vi x' och y' i (42) ser vi att relationen bibehålles för x' och y' förutom en infintesimal<br />

term av andra ordningen (som kan försummas).


x' = x - εy<br />

y' = y + εx<br />

y'<br />

y<br />

x'<br />

x<br />

ε<br />

Rotation med en<br />

infinitesimal vinkel<br />

Använder vi den imaginära enheten i, som satisfierar i 2 = -1, kan vi skriva (42) på formen<br />

(42') (x + iy)(x - iy) = r 2 .<br />

Inför vi hjälpvariabeln z = x + iy innebär (42') att vi måste ha r 2 /z = x - iy. Omvänt ges x<br />

och y i term av z enligt<br />

(44) x = (1/2)(z + r 2 /z)<br />

y = (1/2i)(z - r 2 /z).<br />

Den infinitesimala rotationen (43) representeras i term av z genom (vi har "diagonaliserat"<br />

matrisen för transformationen (43))<br />

(43') Δz = Δx + iΔy = iε (x + iy) = iε z.<br />

En rotation med den finita vinkeln ϕ kan framställas som N successiva rotationer med<br />

vinkeln ε = ϕ/N. För stort N blir ε = ϕ/N infintesimal och vi kan tillämpa (43') N ggr för att<br />

erhålla den finita transformationen<br />

(45) z → z' = (1 + iϕ/N) N z = e iϕ z (då N → ∞).<br />

Startar vi rotationen från punkten x = r, y = 0, och insätter föregående resultat i (44) erhåller<br />

vi för de nya koordinaterna<br />

x = r cos ϕ (cirkeln som parametriserad kurva)<br />

y = r sin ϕ


där sin ϕ och cos ϕ ges av de Eulerska formlerna cos ϕ = (1/2)(e iϕ + e -iϕ ) och sin ϕ =<br />

(1/2i)(e iϕ - e -iϕ ).<br />

En analog metod kan tillämpas på ekvationen<br />

(46) x 2 - y 2 = c 2<br />

som motsvarar (41) med x = u 0 och y = u 1 . Istället för (43) ser vi genom insättnng att (46)<br />

är invariant (vi försummar termen av andra ordningen i den infintesimala parametern) för den<br />

infinitesimala (Lorentz-) transformationen<br />

(47) x → x' = x + εy: Δx = εy<br />

y → y' = y + εx.: Δy = εx.<br />

Ekvationen (U') kan skrivas som (x + y)(x - y) = c 2 . Inför vi alltså hjälpvariabeln z = x + y<br />

måste vi ha c 2 /z = x - y. Omvänt kan vi skriva x och y i termer av z,<br />

(48) x = (1/2)(z + c 2 /z)<br />

y = (1/2)(z - c 2 /z).<br />

Den infinitesimala transformationen (47) representerad i term av z blir<br />

(49) Δz = Δx + Δy = ε (y + x) = ε z.<br />

För en finit transformation med "vinkeln" ϕ kan vi resonera som i föregående fall och erhåller<br />

(50) z → z' = (1 + ϕ/N) N z = e ϕ z (då N → ∞).<br />

Därmed ges fyr-hastigheten till slut på parameterformen<br />

(51) u 0 = c cosh ϕ<br />

u 1 = c sinh ϕ<br />

där cosh ϕ (cosinus hyperbolicus) och sinh ϕ (sinus hyperbolicus) är definierade genom<br />

(52) cosh ϕ = (1/2)(e ϕ + e -ϕ )<br />

sinh ϕ = (1/2)(e ϕ - e -ϕ ).<br />

Ekvationen för den accelererande kroppen kan skrivas d(γv)/dτ = (a/c) cγ som<br />

motsvarar du 0 /dτ = (a/c) u 1 . Insätter vi formerna (51) i denna ekvation ser vi att vi måste ha<br />

ϕ = aτ/c då a är konstant. Den generella rörelse-ekvatioen skrivs elegant som<br />

(53) dϕ/dτ = (1/c) a(τ).


Kroppens "hyperboliska bana", för konstant acceleration, uttyckt på parameterform som<br />

funktion av egentiden τ blir alltså<br />

(54) u 0 (τ) = c cosh (aτ/c)<br />

Hastigheten v = dx/dt ges genom<br />

u 1 (τ) = c sinh (aτ/c).<br />

(55) v = c (γv/γc) = c u 1 (τ)/u 0 (τ) = c tanh(aτ/c).<br />

Den relativistiska additionsformeln för hastigheter kan nu representeras som en<br />

addition av "hyperboliska vinklar". Har vi hastigheterna u' = c tanh(ϕ') och u'' = c tanh (ϕ'')<br />

i x-riktningen, då ges deras relativistiska summa av u = c tanh (ϕ' + ϕ'') = c(tanh(ϕ') +<br />

tanh(ϕ''))/(1 + tanh (ϕ') tanh (ϕ'')) = (u' + u'')/(1 + u' u''/c 2 ). Nämligen, en Lorentz<br />

transformation L(u') mellan inertiala referenssystem med den relativa hastigheten u' = c tanh<br />

ϕ'<br />

utgör en hyperbolisk rotation med vinkeln ϕ'. Två efterföljande Lorentz transformationer (de<br />

relativa hastigheterna längs x-axeln) ger upphov till transformationen L(u) = L(u'')L(u') och<br />

motsvarar en addition av de hyperboliska rotationsvinklarna, ϕ = ϕ' + ϕ'', analogt med<br />

rotationer i den Euklidiska geometrin. I term av hjälpvariabeln z = x 0 - x 1 beskrivs de<br />

successiva Lorentz transformationerna som<br />

(56) z → z' = e ϕ' z: z' → z'' = e ϕ' z' = e ϕ' + ϕ'' z<br />

vilket visar att produkten faktiskt motsvarar en addition av de hyperboliska vinklarna.<br />

U<br />

0<br />

U<br />

U'<br />

U<br />

1<br />

Fyr-hastigheten U hålls på hyperbeln U 2 = - C 2<br />

Under acceleration företer fyr-hastigheten en<br />

"hyperbolisk rotation" från U till<br />

U'


Som en praktisk tillämpning av teorin skall vi härleda den relativistiska<br />

raketekvationen. Raketdriften baserar sig på konservering av impulsen. Om raketen med<br />

massan m spottar ut en massa med hastigheten u i - x -riktningen, och raketens massa<br />

ändras med dm (< 0), blir raketens hastighetsökning dv bestämd från relationen u dm + (m<br />

+ dm)dv = 0 (totala impulsförändringen är noll). (Observera att vi för raketens<br />

massändring har |dm| = γ(u)dmo = dE/c 2 , där dmo är massan av den utblåsta materien<br />

som har impulsen −γ(u)udmo = udm, och dE betecknar dess energi - det gäller alltså inte<br />

att dm = -dmo som Newtons mekanik skulle föreskriva. Ett intressant exempel på massenergi<br />

relationen.) Detta leder till ekvationen<br />

(57) a = dv/dτ = - (u/m) dm/dτ = -u d(ln m)/dτ.<br />

för accelerationen (visavi ett medföljande inertialt referenssystem vid en viss tidpunkt). Detta<br />

resultat kombineras med den tidigare härledda ekvationen (21). Räkningarna förenklas om<br />

vi använder representationen<br />

(58) γv = c sinh ϕ<br />

γ = cosh ϕ.<br />

Rörelse-ekvationen (21) kan skrivas som d(γv)/dτ = γ a. Nyttjar vi (58) leder rörelseekvationen<br />

till relationen (eller använd direkt (53) från föregående avsnitt)<br />

dϕ/dτ = (1/c) a = -(u/c) d (ln m)/dτ.<br />

Om utblåsningshastigheten u är konstant följer alltså ϕ = (u/c) ln (m(0)/m(τ)), och<br />

hastigheten v = c tanh ϕ skrivs<br />

(59) v = c (1 - (m(τ)/m(0)) (2u/c) )/(1 + (m(τ)/m(0)) (2u/c) ).<br />

Här betecknar m(0) raketens initialmassa, och m(τ) massan vid egentiden τ. Desto högre<br />

utblåsningshastighet u desto högre hastighet når raketen. För en fotonraket når man den<br />

maximala "utblåsningshastigheten" u = c.<br />

(Hur mycken nyttolast kan man maximalt ta med på en fotonraket som skall<br />

accelerera till 90% av ljushastigheten och sedan bromsa in igen ? Dylika numeriska<br />

överläggningar antyder att science fiction författare i regel har ganska optimistiska<br />

föreställnigar om kapaciteten hos sina rymdraketer av taxibils format. Andelen nyttolast kan<br />

ökas ifall drivkraftsanläggningen sätts utanför raketen; exv i form av en laserkanon<br />

placerad på månen som rikats in på rymdskeppet, vilket försetts med stora speglar som<br />

fungerar som ljussegel. Versioner av denna idé har lanserats av RL Forward.)<br />

Betraktar vi ljushastigheten c som en variabel parameter, och låter den gå mot<br />

oändlighet, då reduceras föregående uttryck (59) till den klassiska raketekvationen, v(t) =<br />

u.ln(m(0)/m(t)), som härleddes (utgående från Newtons mekanik förstås) av<br />

rymdfartspionjären KE Tsiolkovski den 25 augusti 1898 (enligt dagboksanteckning).<br />

(Tsiolkovski förslog raketdrift bl a baserad på kärnkraft, och acceleration av elektroner med<br />

elektriska fält.)


"Out there in vacuum, what could a space craft be able to push against ?"<br />

(Classic question by New York Times, enligt P Nicholls (ed.) i "The science of science<br />

fiction", London 1982. Hur skulle du besvara frågan för tidningsläsare som har glömt all<br />

fysik de eventuellt lärde sig skolan?)<br />

9. Accelererande referenssystem<br />

Vi återvänder igen till fallet med den accelererande raketen. Antag att vi före starten<br />

har två synkroniserade identiska klockor som vi placerar vid x' = 0 och x' = L i raketen.<br />

När vi gjort en rundtur med raketen och sedan jämför klockorna märker vi att de visar olika<br />

tider.<br />

x<br />

L<br />

x'<br />

0<br />

I ett accelererande referenssystem<br />

går klockorna på olika<br />

nivåer med olika "hastighet".<br />

Om vi, enligt klockan vid x' = 0, har accelererat under tidintervallet t' när vi stänger av<br />

raketmotorn, visar klockan vid x' = L istället tiden t'' = t'(1 + aL/c 2 ); dvs, vi kommer att ha<br />

en tidsdifferens på<br />

(60) Δt' = t' (a x'/c 2 ). (x' = L)<br />

Klockornas tid skiljer eftersom de följt något annorlunda banor i rum-tiden (genom sina<br />

olika placeringar i raketen - jmf "tvillingparadoxen" i avsnitt 5).<br />

Vi skall konstruera ett speciellt koordinatsystem (motsvarigheten till fig. 2 i avsnitt 3)<br />

för det accelererande referenssytemet R' (raketen) och transformationen till det inertala<br />

referenssystemet R. Av rums-koordinaterna behöver vi bara bry om x-axeln längs vilken<br />

accelerationen sker. För koordinatlinjen x' = 0 väljer vi den bana i det inertiala<br />

referenssystemet som raketsystemets origo beskriver i rum-tiden. Vid starten, t = 0,<br />

sammanfaller x- och x'-axeln. För tidpunkten t > 0, betrakta ett medföljande (comoving)<br />

inertialt referenssystem R'' vars origo och koordinatsystem sammanfaller med raketsystemets<br />

dito vid denna tidpunkt. Antag raketens klocka i origo visar t'. Vi använder Lorentz<br />

transformationen från R'' till R,


Δx 1 = γ(Δx' 1 + βΔx' 0 ) = γΔx' 1<br />

(L'') Δx 0 = γ(Δx' 0 + βΔx' 1 ) = γ βΔx' 1<br />

(med beteckningen β = v/c;<br />

Δx' 0 = 0 eftersom vi transformerar längdkoordinaten<br />

vid en fix tidpunkt t'; en sk "Lorentz kontraktion")<br />

för att upprätta en relationen mellan R' och R för tiden t som motsvaras av tiden t' i R'. Enligt<br />

denna konstruktion kommer linjerna t' = konst att motsvara punkterna med samma hastighet<br />

v = c tanh (at'/c).<br />

x<br />

0<br />

c 2 /a<br />

x' = 0<br />

P Q<br />

x' = konst<br />

t' = konst<br />

x<br />

1<br />

Transformationen mellan det accelererande referenssystemets<br />

(R') kordinater och det inertiala referenssystemet.<br />

Observera att koordinatsystemet (x',t') bara<br />

täcker en del av rum-tiden.<br />

dr<br />

R''<br />

x' = r + dr<br />

x' = r<br />

Ekvationerna (54) för den accelererande raketens origo kan skrivas som<br />

(60) dt/dτ = cosh (aτ/c)<br />

dx/dτ = c sinh (aτ/c)<br />

vilka integreras till<br />

(61) x1 = x = c2 /a cosh (aτ/c) = c2 /a cosh (ax'0 /c2 )<br />

x0 = ct = c2 /a sinh (aτ/c) = c2 /a sinh (ax'0 /c2 )<br />

(x'0 = cτ)


Vi sätter banan (61) som koordinatlinjen x' = 0 (se diagrammet). Tidsaxeln för raketens<br />

referenssystem i varje punkt P är parallell med fyr-hastigheten i P eftersom vi har u = (1,0) i<br />

referensystemet R''. Vi konstruerar alltså x''-axeln i samma punkt P genom att spegla<br />

tidsaxeln i ljuskonens 45-graders linje (se diagrammet). Ligger punkten P på kurvan x' = r<br />

då skär x''-axeln kurvan x = r + dr i punkten x'' = dr (man måste samtidigt komma ihåg att<br />

beakta skalningen av axlarna när man ritar diagrammet - se avsnitt 3). På detta sätt kan man<br />

geometriskt konstruera (x',t') -koordinatnätverket.<br />

Det analytiska uttrycket för denna konstruktion erhålls från (L''). Vi noterar att γ =<br />

cosh (ax' 0 /c 2 ), γv = sinh (ax' 0 /c 2 ), och skriver x' = 0 + Δx' = Δx', samt x = x(raketens<br />

origo) + Δx, vilket slutligen ger,<br />

(62) x 1 = (c 2 /a + x' 1 ) cosh (ax' 0 /c 2 )<br />

Från (62) ser man att<br />

x 0 = (c 2 /a + x' 1 ) sinh (ax' 0 /c 2 ).<br />

(63) (x 0 ) 2 - (x 1 ) 2 = (c 2 /a + x' 1 ) 2<br />

vilket ger en ger en algebraisk representation för banorna x' 1 = konstant. Vi oberverar<br />

också att linjerna t' = konst bildar räta linjer genom origot i (x 0 ,x 1 )-systemet. Uppenbart är<br />

också att raketens koordinatsystem inte täcker hela rum-tiden. Koordinatsystemet krymps<br />

ihop till en punkt för x' 1 = - c 2 /a. Som framgår av diagrammet kan ingen signal som startar<br />

vid en punkt med t > 0 och x < 0 nå fatt raketen fastän signalen avancerar med ljushastighet.<br />

Ljuskonen genom x = 0 bildar en sorts horisont (horizon) (ett begrepp som används inom<br />

teorin för svarta hål).<br />

(Antag man gör en expedition till Vintergatans centrum på 30 000 ljusårs avstånd.<br />

Raketen accelererar med samma acceleration som jordens tyngdkraftsacceleration, och<br />

bromsar in på sluthalvan genom att raketen vänds180 grader. Hur mycket har astronauterna<br />

åldrats under resan när de anländer till Vintergatans centrum, och hur mycket tid har då<br />

förlöpt mätt i jordtid ? Vad ger motsvarande räkning enligt Newtons mekanik ?)<br />

Den fysikaliska betydelsen av koordinaterna x' 0 och x' 1 , enligt vår konstruktion, är<br />

att x' 1 betecknar den fysikaliska längdkoordinaten i raketen, medan x' 0 motsvarar egentiden<br />

för klockan i origo x' = 0. Vi kan nu beräkna egentiden för en klocka vid godtycklig x'koordinat<br />

i raketen enligt (22), integrerat längs x' = konst och med användande av (62),<br />

(64) Δτ(x') = ∫ (1 - (v/c) 2 ) ½ dt = ∫ (1/cosh(at'/c)) dt = (1 + a x'/c 2 ) Δt'.<br />

Av detta ser vi att klockor på olika nivåer (olika x'-koordinater) kommer att "dra" i<br />

förhållande till varandra. Tidskoordinaten t' ger egentiden för klockan i origo (nivån x' = 0).<br />

Detta resultat (64) är speciellt intressant om vi kombinerar det med Einsteins (1907) tes att<br />

· fysiken är densamma i ett gravitationsfält med tyngdkraftsaccelerationen g som i ett<br />

accelererande referenssytem med accelerationen g ("Ekvivalenspincipen").


Därmed skulle klockor på olika nivåer i gravitationsfältet gå med olika "hastighet" relativt<br />

varandra. Denna effekt har kunnat mätas i jordens gravitationsfält i form av<br />

frekvensförskjutning. Nämligen, om vi skickar en ljussignal med frekvensen ƒ = 1/Δt' från<br />

höjden x' = L kommer den enligt (64) att ha frekvensen (Einstein, 1908)<br />

(65) ƒo = 1/Δτ = (1 + g L/c 2 ) ƒ (g = tyngdkraftsaccelerationen)<br />

vid "marknivån" x' = 0. (Alternativt, föreställ att vi från x' = L skickar ljusignaler med<br />

regelbunden intervall Δt', då observeras de vid x' = 0 med intervallen Δτ givet genom (64).)<br />

Skickas signalen i omvänd riktning minskar frekvensen, vilket kallas för "rödförskjutning".<br />

Denna effekt är exv mätbar hos stjärnor vars ljus rödförskjuts när ljuset tar sig ur deras<br />

gravitationsfält. Enligt kvantteorin kan man föreställa sig ljuset som en ström av fotoner med<br />

energin hƒ (h = Plancks konstant; ƒ = frekvensen). Ekv (65) kan då heuristiskt tolkas som<br />

att fotonen har en gravitationell lägesenergi av storleken (hƒ/c 2 ) g L, motsvarande en<br />

"massa" = hƒ/c 2 för fotonen. (Rödförskjutningsformeln (65) bekräftades av RV Pound och<br />

GA Rebka år 1959. De sågade upp en kanal mellan bottenvåningen och översta våningen -<br />

med en höjdskillnad på 22.5 meter - i Jefferson Physical Laboratory vid Harvard University.<br />

För mätningen begagnade de sig av Dopplerprincipen. Man bestämde hastigheten v med<br />

vilken detektorn måste röra sig för att kompensera rödförskjutningen Δƒ: v/c = Δƒ/ƒ.)<br />

En annan intressant konsekvens är att ifall raketen befinner sig termisk jämvikt<br />

kommer temperaturen T att variera med nivån x' enligt (RC Tolman, 1934)<br />

(66) T(x')(1 + a x'/c 2 ) = konstant = T(x' = 0).<br />

Detta resultat kan överföras till gravitationsfält (med a = g, tyngdkraftsaccelerationen) enligt<br />

Ekvivalensprincipen. För att förstå relationen (66), antag vi har en serie oscillatorer (atomer<br />

etc) som är i strålningsjämvikt med varandra. En oscillator A vid x' = a mottar en<br />

rödförskjuten strålning från oscillatorn B vid x' = b < a. För att de skall vara i<br />

strålningsjämvikt måste oscillatorn A:s spektrum vara rödförskjuten relativt oscillatorn B:s<br />

spektrum, enligt (65). Eftersom oscillatorn befinner sig i jämvikt med den omgivande<br />

strålningen måste strålningens temperatur, vilken bestämmer spektret, också variera. I<br />

statistisk fysik visas att spektret (Planck fördelningen) är en funktion av kvoten hƒ/kT (k,<br />

Boltzmanns konstant). Temperaturen kommer därför att variera som frekvensen, enligt ekv<br />

(65), vilket ger (66).<br />

En grundligare undersökning av kvantfältteorin (relativistisk kvantteori) i<br />

accelererande referenssystem visar att i accelererande referenssystem strålar vakuumet och<br />

har en positiv temperatur given genom (WG Unruh, 1976)<br />

(67) kT = (h/2π) a/2πc ≈ 10 -21 a [m/s 2 ] K<br />

(k, Boltzmanns konstant; h, Plancks konstant).<br />

Det är endast för inertiala referenssystem (a = 0) som vakuum är icke-strålande. Enligt<br />

kvantfältteori är vakuum visserligen fullt av sk virtuella partiklar, men de kan vanligen inte<br />

observeras. Men om vakuumet på något sätt "deformeras" (exciteras) - vilket sker t ex i


starka gravitationella (svarta hål) eller elektriska fält (såsom i närheten av atomkärnor med<br />

många protoner) - realiseras en del av dessa virtuella partiklar och blir observerbar strålning<br />

(kallas för Hawking processen). "Vanligt vakuum" (kallat neutralt vakuum) är endast ett av<br />

vakuumets tillstånd, nämligen grundtillståndet utan observerbara partiklar. Annorlunda<br />

uttryckt: För normalt (inertialt Minkowski) vakuum | M> kommer ett system av atomer som<br />

har energi tillstånden En; n = 0,1,2, ...., etc, att i jämvikt med detta vakuum befinna sig i<br />

grundtillståndet 0; för ett accelererande referenssystem kommer däremot en andel av<br />

atomerna proportionell till exp(-En/ kT) (Boltzmann fördelningen) att befinna sig i tillståndet<br />

n (med energin En) - temperaturen T definieras just genom (67).<br />

[För att härleda (67) behöver man det kvantfältteoretiska maskineriet. En mer<br />

heuristisk metod utgår ifrån att studera en planvåg exp(i(kx - ωt)) i inertialsystemet.<br />

Insätter man (62) för x och t i planvågen får man ett komplicerat uttryck i x' och t' för vågen<br />

beskriven i det accelererande referenssystemet. Denna kan dock utvecklas som en summa<br />

(Fourier-integral) av planvågor f(ω') exp(i(k'x' - ω't')) i det accelererande<br />

referenssystemet varvid det visar sig att f(ω') motsvarar en Planck-fördelning med<br />

temperaturen T given av (67). Om vi alltså föreställer oss att Minkowski vakuum |M><br />

innehåller en likformigt fördelad noll-punkt strålning (zero-point radiation) kommer det<br />

accelererande referenssystemets vakuum att ha en Planckfördelning med positiv<br />

temperatur.]<br />

10. Allmän relativitetsteori (ART)<br />

"...enligt min åsikt bör man ej dölja det logiska<br />

oberoendet mellan sinnesdata och begrepp.<br />

Sambandet påminner inte om det mellan buljong<br />

och kött, utan snarare om det mellan<br />

hand och handske."<br />

A Einstein, "Fysiken och Verkligheten" (1936).<br />

"Nu är vi äntligen färdiga att ta itu med<br />

Einsteins gravitationsteori."<br />

B Russell, "Relativitetsteorins ABC" (1960).<br />

Den speciella relativitetsteorin (SR) har blivit en synnerligen framgångsrik teori och<br />

utgör en av den moderna fysikens grundpelare. Ändå var Einstein inte helt tillfredsställd med<br />

sin teori. Einstein stördes av att teorin krävde ett globalt inertialt referenssystem (Minkowski<br />

rummet) som en sorts bakgrund. Detta var en form av kvarleva av det Newtonska absoluta<br />

rummet. Därtill var relativitetsteorin oförenlig med Newtons gravitationsteori. Newtons teori<br />

antar exv att den gravitationella kraften verkar instant, gravitationsfältet har sas oändlig<br />

utbrednings hastighet. Detta kallas för avståndsverkan (action at a distance).<br />

Relativitetsteorin däremot föreskrev att signalhastigheter har en övre gräns lika med<br />

ljushastigheten i vakuum.<br />

Efter publiceringen av SR (1905) uppstod frågan huruvida Newtons teori kunde<br />

generaliseras till en relativistisk gravitationsteori. (Finländaren Gunnar Nordström hörde<br />

bland de främsta fysikerna som dryftade detta problem och han blev också personligt<br />

bekant med Einstein.)


I avsnittet om det accelererande referenssystemet konstruerade vi ett<br />

koordinatsystem (x' 0 , x' 1 ) där koordinataxlarnas riktning varierade från punkt till punkt till<br />

skillnad från det globala inertiala referenssystemet R (Minkowski rummet). Invarianten<br />

(I) (x 1 (B) - x 1 (A)) 2 + (x 2 (B) - x 2 (A)) 2 + (x 3 (B) - x 3 (A)) 2 - (x 0 (B) - x 0 (A)) 2<br />

kan i allmänhet endast formuleras för infinitesimala intervaller dx'. Ifall vi insätter (62) i<br />

formen (dx1 ) 2 + (dx2 ) 2 + (dx3 ) 2 - (dx0 ) 2 erhåller vi i det accelererande referenssytemet<br />

formen (metriken)<br />

(68) ds 2 = -(1 + a x' 1 /c 2 ) 2 (dx' 0 ) 2 + (dx' 1 ) 2 + (dx' 2 ) 2 + (dx' 3 ) 2<br />

där ds 2 alltså betecknar "avståndet" mellan två infintesimalt närliggande punkter enligt<br />

Minkowski metriken. För det generella fallet (godtyckligt koordinatsystem) skriver vi<br />

metriken på formen<br />

(69) ds 2 = Σ gμν dx μ dx ν (summerat över μ ,ν = 0, 1, 2, 3)<br />

Uttrycket har följande betydelse. Om en kropp följer en bana x(λ) i rum-tiden kommer dess<br />

egentid Δτ för ett banavsnitt att ges genom<br />

(70) Δτ = ∫ √ -ds 2 = ∫ (−Σ gμν dx μ /dλ dx ν /dλ ) ½ dλ.<br />

I avsnittet om egentid och tvillingparadoxen observerade vi att egentiden var maximal för<br />

den kropp som ostörd följde en fri kropps bana mellan två rum-tids punkter A och B,<br />

medan en kropp som följde en "forcerad" bana mellan A och B hade ett mindre värde för<br />

sin egentid. Detta generaliseras till en allmän princip inom ART.<br />

Rörelsepostulat:<br />

♦ Fria partiklar följer en geodes i rum-tiden; dvs, en bana med maximal rum-tids längd<br />

(70) (egentid). I Newtons mekanik svarar detta postulat mot satsen att fria partiklar<br />

följer räta linjer med likformig hastighet.<br />

Hur skall man bestämma de metriska koefficienterna gμν(x) ? För det konstant<br />

accelererande referenssystemet beräknade vi dem genom transformationen till ett globalt<br />

inertialt referenssystem. Inom ART kan vi inte förutsätta något dylikt globalt referenssystem.<br />

Vidare, för det acclererande referenssystemet beror de metriska koefficienterna på<br />

accelerationen. Enligt Ekvivalensprincipen är acceleration lokalt fysikaliskt omöjligt att skilja<br />

från gravitationens verkan. Tanken är därför att anta att de metriska koefficenterna<br />

generellt bestäms av gravitationen. Eftersom det är mass(-energin) som är källan till<br />

gravitation är det närliggande att anta att det är mass-energin i universum som<br />

bestämmer metriken (70); dvs, rum-tids geometrin. Den allmänna relativitetsteorin ser<br />

följaktligen på rum-tiden som en dynamisk entitet.


10.1 Differentialgeometri<br />

"Varje gatpojke i Göttingen förstår den<br />

fyr-dimensionella geometrin bättre än Einstein.<br />

Trots detta var det Einstein som gjorde arbetet<br />

[uppfann ART] och inte matematikerna".<br />

En D Hilbert anekdot.<br />

För att kunna vidareutveckla den generella teorin fodras vissa insikter i differential<br />

geometri (i detta skede - kring 1912 - hade Einstein turen att få hjälp av sin forne<br />

studiekamrat, matematikprofessorn Marcel Grossmann, som pliktskyldigt hade gått på<br />

matematikföreläsningarna under studietiden medan Einstein satt och diskuterade filosofi på<br />

caféerna). Kurvlinjära koordinater (såsom sfäriska koordinater) i R 3 representeras via en<br />

funktion r(u 1 ,u 2 , u 3 ) i R 3 . En bana kan skrivas som en funktion r(u 1 (t),u 2 (t), u 3 (t)) vilken<br />

har hastighetsvektorn<br />

(71) V = d r(u i (t))/dt = Σ du i /dt ei<br />

med basvektorerna definierade genom<br />

(72) ei = dr/du i .<br />

Från (71) erhåller vi för kvadraten på magnituden V.V = (ds/dt) 2 uttrycket<br />

(73) V 2 = Σ gij du i /dt du j /dt<br />

med gij = ei . ej för de metriska koefficienterna. Formar vi accelerationen dV/dt hamnar vi<br />

i (71) att differentiera basvektorerna,<br />

(74) dV/dt = Σ d 2 u i /dt 2 ei + Σ du i /dt du j /dt dei/du j<br />

Nu är också vektorn dei/du j en summa av basvektorerna,<br />

(75) dei/du j = Σ Γ k ij ek<br />

(eller på differentialform: dei = Σ ekω k i, ω k i = Σ Γ k ij du j )<br />

där koefficenterna Γ k ij kallas för Christoffel symboler. Ekv (74) kan alltså skrivas som<br />

(76) dV/dt = Σ (d 2 u k /dt 2 + Σ Γ k ij du i /dt du j /dt) ek = Σ V k ;j du j /dt ek<br />

där vi definierat den kovarianta derivatan A k ;j för en generell vektor A k (specialfall V k =<br />

du k /dt) enligt


(77) A k ;j = dA k /du j + Σ Γ k ij A i<br />

(på differentialform: dA = Σ ek (dA k + Σ ω k i A i ))<br />

När det gäller kurvlinjära koordinater r(u 1 ,u 2 , u 3 ) kan Christoffelsymbolerna direkt<br />

beräknas från ekv (75) genom att vi känner (72). Nyttjar vi sambandet gij = ei . ej följer<br />

genom differentation att<br />

(78) gij,k = Σ (gimΓ m ik + gmj Γ m kj) (gij,k = dgij/du k )<br />

(på differentialform: dgij = ωij + ωji; ωij = Σ gikω k j)<br />

som ger en relation mellan de metriska koefficienterna och Γ k ij. Enär Γ k ij och gij är<br />

symmetriska i indexen (i,j) kan vi lösa ut Γ m ik från (78) enligt<br />

(79) Γ k ij = ½ Σ g km (gmj,i + gim,j - gij,m)<br />

där g km är komponenterna till den inversa matrisen G -1 för G = (gmn) vilka satisfierar<br />

(80) Σ g km gml = δ k l (= 1 ifall k = l, i övrigt 0; δ k l kallas för<br />

Kroneckers deltafunktion):<br />

Antag vi gör en koordinattransformation u → u' med u som funktion av u', u = u(u'),<br />

och skriver r(u') = r(u(u')). För basvektorerna e' i det nya koordinatsystemet erhåller vi e'i<br />

= dr/du' i = Σ(du j /du' i )ej (kovariant transformation). Relationen mellan komponenterna hos<br />

vektorn V = ΣV j ej = ΣV' j e'j i det nya och gamla koordinatsystemet blir<br />

(81) V i = Σ (du i /du' j )V' j<br />

V' i = Σ (du' i /du j )V j<br />

Detta är transformationsformeln för vektorer mellan olika koordinatsystem. Vektorens<br />

komponenter med indexen uppe, V i , kallas för dess kontravarianta komponenter (dess<br />

transformation (81) är inversen till basvektorernas (ej) transformation). Vi kan också införa<br />

en vektors kovarianta komponenter, Vi, genom relationerna<br />

(81.1) Vi = Σ gij V j ; V j = Σ g jm Vm.<br />

Därmed skrivs produkten g(U,V) = Σ gij U i V j som Σ Uj V j = Σ Vj U j . Vektorernas<br />

kovarianta transformation skrivs,<br />

(81.2) Vi = Σ (du' j /du i )V'j<br />

V'i = Σ (du j /du' i )Vj


Metrikens kovarianta komponenter gij transformerar uppenbarligen enligt,<br />

(82) g'ml = Σ (du i /du' m )(du j /du' l ) gij.<br />

Nyttjar vi (82) och (81) kan vi bekräfta att produkten g(U,V) = Σ gij U i V j = Σ g'ij U' i V' j<br />

faktiskt är invariant gentemot koordinattransformationer. Differentialgeometrin kan sägas<br />

handla om matematiska storheter som är invaranta eller kovarianta (såsom vektorn i (81)<br />

och metriken i (82)) under koordinattransformationer. [Uppdelningen i kovarianta och<br />

kontravarianta vektorer motsvarar definitionen av vektorrum S och dess duala kovektorum<br />

S* i linjär algebra, med metriken som en avbildning, G: S → S*, representerad på<br />

komponentform i ekv (81.1).]<br />

Vi kan generalisera (73) - (82) till en metrisk mångfald M där metriken i (73) inte<br />

är given genom någon relation av formen gij = dr/du i .dr/du j (vilken är härledd från euklidisk<br />

metrik) utan kan postuleras "godtyckligt". En bana u(t) vars hastighetsvektor (tangentvektor)<br />

V = Σdu i /dt ei är konstant, dV/dt = Σ V k ;j du j /dt ek = 0, kallas geodes.<br />

Tangentvektorerna till alla differentiabla kurvor i en punkt p ∈ M spänner upp ett vektorrum<br />

TpM som kallas tangentrum. För exv en 2-sfär är tangentrummet i en punkt detsamma som<br />

tangentplanet vid denna punkt.<br />

Geodesen är en generalisering av den räta linje från euklidisk geometri. Om vi<br />

kräver att geodesen samtidigt definierar den kortaste banan mellan två punkter, dvs<br />

minimerar integralen<br />

(83) ∫ √(Σ gmn dx m /dt dx n /dt) dt,<br />

och jämför motsvarande variationsekvation med ekvationen (från (76) och dV/dt = 0)<br />

(84) d 2 u k /dt 2 + Σ Γ k ij du i /dt du j /dt = 0<br />

erhåller vi igen relationen (79) mellan metriken och Christoffelsymbolerna.<br />

Slutligen behöver vi ta upp begreppet krökning (curvature, Krümmung).<br />

Karaktäristiskt för ett icke-krökt rum (flat space), såsom Minkowski rummet och det<br />

euklidiska rummet, är att vi har ett globalt parallellitetsbegrepp. Man kan jämföra två<br />

vektorer A och B vid vilka som helst två punkter P och Q genom att parallelltransportera<br />

(hålla dess riktning och magnitud oförändrad, dA = 0) A från punkten P till punkten Q och<br />

jämföra den parallelltransporterade vektorn A med B vid deras gemensamma punkt Q. För<br />

kurvlinjära koordinater definieras parallelltransport av en vektor A längs en bana u(t) av<br />

kravet 0 = dA/dt = Σ A k ;j du j /dt ek som leder till ekvationen 0 = ∇VA = Σ A k ;j du j /dt, i<br />

vilken vi samtidigt infört beteckningen ∇VA för den kovarianta derivatan ∇VA av en<br />

vektor A längs vektorn V = (du j /dt). Vi generaliserar denna formel till den generella metriska<br />

mångfalden (rummet): Vektorn A parallelltransporteras längs banan u(t) om A(u(t))<br />

satisfierar


(85) 0 = ∇VA = Σ A k ;j du j /dt (= Σ(dA k /du j + Σ Γ k ij A i )du j /dt)<br />

längs banan u(t). Ett icke-krökt rum karaktäriseras av egenskapen att parallelltransporten<br />

mellan två punkter P och Q är oberoende av banan mellan P och Q längs vilken<br />

parallelltransporten utförs.<br />

B<br />

P<br />

V<br />

A<br />

Q<br />

V'<br />

V''<br />

V'' - V' = R(A,B,V)<br />

För ett krökt rum beror paralleltransporten av en vektor V mellan två punkter<br />

på vägen längs vilken den utförs. Vektorn V parallelltransporteras längs den<br />

undre och övre sidan av parallellgrammet AB med resultaten V' och V'' som<br />

i allmänhet skiljer sig från varandra. Skillnaden ges via Riemann tensorn R.<br />

Parallelltransporterar vi en vektor V längs en infinitesimal parallellogram uppspänd<br />

av vektorerna A och B (se figuren) får vi för skillnaden, mellan parallelltransporten längs<br />

övre och undre sidan, en vektor ΔV = R(A,B,V). Operatorn R kallas Riemann tensorn<br />

och är linjär i sina argument. Dess explicita uttryck fås genom att använda parallelltransport<br />

villkoret ∇AV= 0 och ∇BV= 0 längs de fyra segmenten. Denna räkning ger<br />

(86) ΔV k = Σ Rlmn k A l B m V n<br />

med komponenterna (varje relativist bör utföra denna beräkning åtminstone en gång under<br />

sin livstid)<br />

(83) Rlmn k = Γ k ln,m - Γ k mn,l + Γ k mj Γ j ln - Γ k lj Γ j mn<br />

(summering över de upprepade indexen: A ..p. ..p... == Σ A ..p. ..p.;<br />

kallas för Einsteins summeringskonvention)..<br />

(Med differentialformer definieras Riemann tensorn genom dubbel-<br />

differentation av en vektor: d 2 V = R(V) = ejR i jV j ; R i j = dω i j + Σ ω i k ∧ ω k j.<br />

Denna definition ger den snabbaste metoden för att beräkna komponenter<br />

hos Riemann tensorn då metriken är diagonal.)


Ett krökt rum kännetecknas alltså av att Riemann tensorn R inte identiskt försvinner. Från<br />

Riemanntensorn R kan man genom sk kontraktioner härleda Riemann matrisen Rmn och en<br />

krökningsskalar R ("skalar" betyder att den är invariant visavi koordinattransformationer):<br />

(84) Rmn = Σ Rlmn l (kontraktion i indexet l)<br />

R = Σ g mn Rmn.<br />

När det gäller differentialgeometrin för rum-tiden gör vi följande specifikationer: För<br />

det första skall rummet vara fyr-dimensionellt. För det andra skall man vid varje punkt P<br />

kunna välja ett lokalt koordinatsystem där metriken i punkten P reduceras på Minkowski<br />

formen<br />

(85) ds 2 = -(dx 0 ) 2 + (dx 1 ) 2 + (dx 2 ) 2 + (dx 3 ) 2 .<br />

Detta motsvarar för vanliga Riemannska rum kravet att de lokalt skall motsvara euklidiska<br />

rum - i varje punkt P skall man kunna välja ett koordinatsystem där Phytagoras' regel gäller,<br />

ds 2 = (dx 1 ) 2 + (dx 2 ) 2 + ... + (dx n ) 2 .<br />

10.2 Fältekvationerna<br />

"You will immediately stop calling<br />

space curved."<br />

Meddelande på ett postkort till Einstein<br />

år 1947 av en upprörd medborgare i Boston.<br />

Den allmänna relativitetsteorin kan sägas ha haft två utgångspunkter. Å ena sidan<br />

kovariansprincipen, som fodrar att fysikens lagar skall formuleras på ett sätt som har<br />

sammma form i alla koordinatsystem. Å andra sidan kan ART betraktas mera som en ren<br />

teori om gravitationen baserad på Ekvivalensprincipen. Det är Ekvivalensprincipen som<br />

grundar antagandet att rum-tiden är en dynamisk entitet vars tillstånd hänger samman med<br />

materiens tillstånd. Det moderna synsättet försöker framställa ART som en sk mått-teori<br />

(gauge theory, Eichtheorie) med Lorentzgruppen som grund. Gravitationen jämställs med de<br />

andra "fundamentala krafterna" i fysiken (svag växelverkan, stark växelverkan, och<br />

elektromagnetism). Gravitationens relation till de övriga krafterna är dock inte<br />

tillfredställnade utredd. Bland teoretikerna finns det en förhoppning att alla krafter skall<br />

kunna härledas ur en enda kraft i en förenhetligad teori (theory of everyting, etc). Populära<br />

kandidater för tillfället är "superteorierna" med superstringar och supersymmetri. Ett av de<br />

svåraste stötestenen är att på ett konsistent sätt foga ihop gravitationen med kvantteorin.<br />

Minkowskirummet kan ses som ett specialfall där gravitationen är försumbar.<br />

Geometriskt karaktäriseras Minkowskirummet av en försvinnande krökning. Krökningen är<br />

ett sorts mått på rum-tidens "deformation", en sorts "spänningsenergi". Einstein antog att<br />

fältekvationerna för gravitationen följer i det generella fallet av att minimera denna<br />

spänningsenergi, rum-tids krökningen. (Einsteins väg till fältekvationerna var betdyligt mer


krokig än vad som här antyds. Det var matematikern David Hilbert som introducerade idéen<br />

att härleda fältekvationerna via variationskalkylen.) Som den skalära funktionen för denna<br />

"spänningsenergi" faller valet ganska naturligt på krökningsskalaren R (84) (bl a har man som<br />

ett villkor att de resulterande ekvationerna skall vara andragrads differentialekvationer för de<br />

metriska komponenterna gμν). Fältekvationen för materien fås å andra sidan, enligt<br />

standard metoder, genom att minimera materiens "energifunktion", Lagrange funktionen.<br />

Fältekvationen för ART erhålls genom ansatsen att minimera (extremalisera) summan av<br />

krökningnsskalaren (integrerad över rum-tiden) och materiens Lagrange funktion,<br />

(86) δ [ (1/κ) ∫ R √ -g d 4 x + (1/c)∫ L(ψ) √ -g d 4 x] = 0.<br />

Här betecknar R krökningsskalaren (84), L(ψ) är materiens (materia-fält ψ,<br />

elektromagnetism, etc) Langrange funktion, √ -g d 4 x är rum-tidens (invarianta)<br />

volymelement med g = det(gμν), κ är en dimensionskonstant som förbinder geometriskkinematiska<br />

[tid-längd] och dynamiska [mass-energi] enheter. Konstanten κ skall<br />

bestämmas från kravet att teorin för relativt svaga gravitationsfält måste approximera<br />

Newtons teori. Ekv (86) innebär att om vi betraktar en närliggande metrik g'μν = gμν +<br />

δgμν till lösningen gμν för (86) blir skillnaden mellan integralen i (86), räknat för gμν och<br />

g'μν, av minst andra ordningen i δgμν. Med hjälp av variationskalkyl härleder man från<br />

(86) Einsteins fältekvation (A Einstein, 1915)<br />

(87) Rμν - ½ gμν R = -(κ/2c) Tμν.<br />

[Tμν står för energi-impuls tensorn T vilken härleds från materia-fältets Lagrange funktion<br />

L. Symboliskt kan man skriva för dess komponenter (δ står här för funktional derivata),<br />

Tμν = (2/√-g) δ(L√-g)/δg μν .<br />

Komponenten T(u,u) ger exv mass-energi tätheten visavi en obervatör med hastigheten u<br />

(T(u,u) = T00 i observatörens referenssystem med u = (1,0)).]<br />

För att bestämma konstanten κ kan man förfara på följande sätt. Man studerar ansatsen där<br />

de metriska koefficenterna minimalt avviker från Minkowski metriken g 0 μν = diag(-<br />

1,1,1,1):<br />

(88) gμν = g 0 μν + hμν,<br />

där vi antar att |hμν|


[Använder man approximationen g00 ≈ -(1 + 2φ/c 2 ) bör ekv (87) för<br />

tidsoberoende fält reduceras till Poissons ekvation, (∂x 2 +∂y 2 + ∂z 2 )φ = 4πGρ, för den<br />

klassiska gravitationspotentialen φ genererad av en masstäthet ρ. För planetrörelse har vi<br />

potentialen φ = − GM/r, samt rörelse-ekvationen, m d 2 r/dt 2 = - m dφ/dr, som kan<br />

jämföras med ekv (84). Energi-impuls tensorn Tμν för "stoft" (dust) har formen Tμν =<br />

ρc 2 uμuν. Den finländska fysikern Gunnar Nordström utgick just från den klassiska Poisson<br />

ekvationen i sitt försök att konstruera en relativistisk teori för gravitationen.]<br />

Fältekvationerna skrivs slutligen som<br />

(87') Rμν - ½ gμν R = (8πG/c 4 ) Tμν.<br />

10.3 Schwarzschild lösningen<br />

(8πG/c 4 ≈ 2.076 x10 -43 s 2 /kg m)<br />

Det finns ett fåtal exakta lösningar till Einsteins fältekvationer. Det viktigaste<br />

exemplet är lösningen för gravitationsfältet kring en sfärisk symmetrisk kropp. För en ickeroterande<br />

kropp (en roterande kropp har förstås endast cylindrisk symmetri) skrivs<br />

lösningens metrik (utanför kroppen) med användande av "sfäriska koordinater" (K<br />

Schwarzschild, 1916),<br />

(89) ds 2 = -(1 - 2GM/rc 2 )(cdt) 2 + (1 - 2GM/rc 2 ) -1 dr 2 + (rdθ) 2 + (r sinθ dϕ) 2 .<br />

Med hjälp av (89) kan man beräkna planetbanor med relativistiska korrektioner, ljusets<br />

avböjning i gravitationsfält, mm. Rödförskjutningsformeln (65) exv blir i Schwarzschild<br />

metriken,<br />

(90) (1 - 2GM/r'c 2 ) -½ ƒ' = (1 - 2GM/rc 2 ) -½ ƒ.<br />

Ljustrålar karaktäriseras av ekvationen ds 2 = 0 Med hjälp av denna ekvation kan vi rita ut<br />

ljuskon-strukturen i (ct,r)-planet (radiella strålar med dθ = dϕ = 0).


ct<br />

r = 2GM/c 2<br />

Ekvationen för radiella ljusstrålar Schwarzschild metriken:<br />

2<br />

dr/cdt = ± (1-2GM/rc )<br />

Från figuren ser vi att om kroppens diameter R är mindre än den sk Schwarzschildradien Rs<br />

= 2GM/c 2 , och metriken kan fortsättas för r < 2GM/rc 2 , kommer ljusstrålarna innanför<br />

Schwarzschildradien att alldrig nå området r > Rs. Härav benämningen svarta hål (black<br />

holes, efter JA Wheeler) på objekt som har en radie mindre än deras Schwarzschildradie.<br />

Sfären r = Rs är ett exempel på en sk horisont (horizon). Inget som hamnar innaför<br />

horisonten kan ta sig ut därifrån igen. Enligt diagrammet är ljusstrålarna böjda vilket till synes<br />

strider mot ljushastighetens konstans. Detta beror på att r-koordinaten inte anger den<br />

metriska radien, och att tidskoordinaten t inte är densamma som fysikalisk tid. För en<br />

observatör O vid en fix radie motsvarar ett koordinattidintervall dt enligt metriken (89) ett<br />

observerat tidintervall (egentid) dτ = dt (1 - 2GM/rc 2 ) ½ : Ett radiesegment dr motsvara för<br />

observatören en längd på dx = dr (1 - 2GM/rc 2 ) -½ . För en observatör O* med en fix<br />

position och radie r* >> Rs motsvarar koordinattiden t närapå observatörens egentid.<br />

Relationen dτ = dt(1 - 2GM/rc 2 ) ½ innebär att O:s tid verkar gå allt långsammare dess<br />

närmare denna kommer Schwarzschildradien sett från O*:s synvinkel. Faktiskt, om O råkar<br />

befinna sig i fritt fall in i svarta hålet kommer O sett från O* att aldrig nå fram till<br />

Schwarzschildradien, utan syns falla allt långsammare tills fallet i praktiken sas "fryser fast".<br />

O själv upplever att fallet tar några minuter (beroende på hålets massa) tills O hamnar i<br />

singulariteten r = 0 eller dess förinnan krossas av tidvattenkrafterna.<br />

10.4 Gravitationell strålning<br />

Vi skall nämna ett sista fundamentalt fenomen som ART förutser till skillnad från<br />

Newtons teori, nämligen gravitationsvågor. Undersöker man de lineariserade<br />

fältekvationerna med ansatsen (88) erhåller man ekvationer som påminner om Maxwells<br />

ekvationer, och man kan i analogi med dessa härleda liknande "strålningsekvationer"<br />

(kvadrupolstrålning) för accelererande och oscillerande massor (A Einstein, 1916).<br />

Energiminskningen för små störningar blir<br />

r


(91) -dE/dt = (G/45c 5 ) Σ (d 3 Dik/dt 3 ) 2<br />

[Dik betecknar systemets kvadrupolmoment definierat<br />

genom Dik = ∫ ρ(x)(xi xk - r 2 δik)d 3 x. För ett system<br />

med massan M, dimensionen R och typisk rörelseperiod T kan<br />

storleken på termerna d 3 Dik/dt 3 grovt uppskattas som<br />

MR 2 /T 3 . Gravitationen har ingen dipolstrålning, till skillnad från<br />

elektromagnetism, vilket hänger samman med att metriken beskrivs<br />

av en gμν-tensor ("spin = 2") medan elektromagnetismen<br />

beskrivs av en vektor ("spin = 1").]<br />

Gravitationsvågor är "störningar" i rum-tids strukturen som fortplantar sig med ljusets<br />

hastighet. System med accelererande massor läcker energi. Kroppar som hamnar i vägen<br />

för dessa störningar utsätts för tidvattenkrafter (tidal forces). Genom att utgå från att den<br />

totala mekaniska energin (+ elektromagnetisk energi, etc) + gravitationsenergin är<br />

konstant, beräknar (och definierar) vi gravitationsenergin. Energidensiteten t ex för en<br />

gravitationsvåg, med amplituden Δg för metrikens "störning" Δgμν och våglängden λ, är av<br />

storleksordningen<br />

(92) (c 4 /G) (Δg/λ) 2<br />

Detta verkar ge betydande värden men amplituden Δg är oftast mycket liten och våglängden<br />

λ mycket stor (30 -300 km), motsvarande en frekvens ν i området 1000 - 10 000 Hz<br />

(λ = c/ν ). Beteckna med Lin den interna dynamiska effektutvecklingen i ett astrofysikaliskt<br />

system, då är den effekt Lgrav som systemet kan utstråla i form av gravitationsvågor (följer<br />

från ekv (91)) i storleksordningen (F Dyson, 1969),<br />

(93) Lgrav ≈ Lin 2 /Lo;<br />

Lo = c 5 /G = 3.63 × 10 52 W.<br />

För hela solsystemet blir effekten som störst kring 100 kW (effekten hos en bilmotor) som<br />

solsystemet utstrålar i form av gravitationsvågor. [För ett gravitationellt system, med massan<br />

M innesluten i ett område med radien R, kan vi göra uppskattningen Lin = kraft × hastighet<br />

= (GM 2 /R 2 ) (GM/R) ½ .] Konstanten Lo anger den maximala gravitationella<br />

energiutstrålningen som ett system oberoende av storlek kan ha; ty blir energiutstrålningen<br />

ännu större kollapsar området till ett svart hål som håller tillbaka utstrålningen.<br />

De kraftigaste gravitationsvågorna uppkommer då svarta hål kolliderar (omkr hälften<br />

av deras mass-energi Mc 2 kan omvandlas i gravitationsvågor). Man räknar med att<br />

effekterna av en dylik kollision (gigantiska svarta hål på 1 miljard ljusårs avstånd) får exv två<br />

fritt upphängda kroppar på jorden med avståndet L att oscillera relativt varandra med en<br />

amplitud kring ΔL = 10 -21 L (ΔL/L ≈ Δgμν /gμν). Hela jorden kommer exv att "töjas"<br />

pga gravitationsvågornas "transversala" (vinkelrätt mot utbredningsriktningen) tidvatteneffekt


med en amplitud på endast omkr 10 7 × 10 -21 m = 10 -14 meter vilket motsvarar ungefär<br />

diametern hos en atomkärna ! Med hjälp av laserinterferometri och kilometerstora<br />

anläggningar (exv LIGO i USA och VIRGO i Europa som är under konstruktion) hoppas<br />

man ändå småningom kunna detektera förskjutningar av storleksordningen 10 3 ×10 -21 =<br />

10 -18 meter. Den första "gravitationsantennen" konstruerades av J Weber med början år<br />

1959. Han förbluffade kollegerna med sin "Weberstav" som kunde mäta längdavvikelser<br />

motsvarande en bråkdel av en atomkärnas diameter (Weber använde sig av piezoelektriska<br />

kristaller). Ändå var detta inte tillräckligt eftersom hans detektor, med en längd på omkr 2<br />

meter, reagerar med en oscillation om endast ca 10 -21 × 2 meter för de kraftigaste<br />

gravitationsvågor man antar når jorden. Förhoppningen är att "gravitationsantennerna"<br />

baserade på laserinterferometri skall bli revolutionerande instrument för astronomiska<br />

observationer av energi-intensiva processer i universum. (Weber publicerade 1951 den<br />

första skissen för en laser. Besviken över att hans bidrag negligerades gav han sig i kast med<br />

ett nytt forskningsområde, gravitationsvågor och deras detektering. Det är en viss ironi att<br />

det är lasern som verkar vara den mest hoppingivande kandidaten för<br />

gravitationsvågdetektor.) Systemet LISA (Laser Interferometry Space Antenna) planeras att<br />

bestå av 3 par satelliter som kretsar kring solen på jordens bana, 50 milj kilometers "efter"<br />

jorden. De tre satellitparen kommer att ordnas i en liksidig triangel med sidan omkr 5 milj<br />

kilometer (parens innebördes avstånd blir ca 200 km). På detta sätt får man tre<br />

interferometrar. (Uppgifter från New Scientist, 10 augusti 1996.)<br />

Det har redan framkommit indirekta bevis för gravitationsvågornas existens. Man<br />

har nämligen observerat stjärnpar (binary stars) vilka kretsar kring varandra med krympande<br />

innebördes avstånd, vilket betyder att systemet förlorar energi. Den uppmätta förändringen<br />

av banelementen överenstämmer med beräkningar av energiförlusten pga<br />

gravitationsstrålning. Noggranna mätningar har t ex gjorts för den binära pulsaren PSR<br />

1913+16 (vilka gav upptäckarna J Taylor och R Hulse Nobelpriset i fysik år 1993).<br />

Energiminskningen för två massor m1 och m2, kretsande längs cirklar kring det<br />

gemensamma masscentret och med innebördes avståndet R, blir enligt ART (ekv (91))<br />

(94) -dE/dt = 32G 4 (m1m2) 2 (m1+m2)/5(cR) 5<br />

Beräkningar för PSR 1913+16 (R omkr 1 milj km; m1 och m2 omkr 1.4 ggr solmassan<br />

MO) ger för utstrålningen värdet 6.3 ×10 25 Watt. Jupiter-sol systmet har som jämförelse en<br />

utstrålning omkr 5.4 kW.<br />

Starka gravitationsvågor är ett mycket komplicerat fenomen att behandla<br />

matematisk pga fältekvationernas icke-linearitet. I extremfall kan kolliderande intensiva<br />

gravitationsvågor exv ge upphov till en så stor energitäthet att det bildas svarta hål.<br />

10.5 Kosmologi<br />

Redan 1917, året efter publiceringen av ART, försöker Einstein tillämpa<br />

relativitetsteorin på hela universum. Detta kan sägas vara inledningen till den moderna<br />

vetenskapliga kosmologin och studiet av kosmologiska modeller. Den enklaste ansatsen är<br />

att utgå ifrån att universum i stort (large-scale structure) är isotropisk och homogent; dvs,<br />

universum ser lika ut i alla riktningar i alla punkter. För ett sådant välordnat universum kan


man definiera en "kosmisk tid" t (om t ex universum expanderar kan krökningen i princip<br />

användas som ett tidsmått; är universum statisk går det att synkronisera klockor i universum<br />

med hjälp av ljussignaler; alla modeller som satisfierar det sk "Weyl postulatet" har en<br />

kosmisk tidsparameter). Om vi fastställer ett koordinatsystem för vår "epok" t0, kommer<br />

galaxernas koordinater att vara konstanta (vi bortser från egenrörelse), medan deras<br />

innebördes avstånd varierar med epoken t enligt en skalningsfaktor R(t) som sätts R(t0) =<br />

1 för vår epok.<br />

En metrik som uppfyller dessa villkor (symmetrikrav) kan skrivas (Robertson-Walker<br />

metrik),<br />

(95) ds 2 = -(cdt) 2 + R(t) 2 {dr 2 + (ℜ sin(r/ℜ)) 2 (dθ 2 + (sin θ dϕ) 2 )}.<br />

10.5.1 Gravitationell rödförskjutning<br />

Metriken (95) innehåller bara en funktion, skalningsfunktionen R(t) (skall inte<br />

sammanblandas med Riemann-skalaren), och en konstant ℜ som betecknar universums<br />

krökningsradie i nuvarande epok. Faktorn till R(t) 2 är en tredimensionell generalisering av<br />

metriken för 2-sfären. Vi ser att om r


c t0<br />

c te<br />

ct<br />

Dt0<br />

Dte<br />

r0 re<br />

Jorden Galaxen<br />

Ekvation för ljusstråle<br />

från galaxen till jorden:<br />

cdt/dr = - R(t)<br />

Relation mellan tidintervallerna<br />

vid jorden<br />

och galaxen:<br />

R(t0)/ Dt0 - R(te)/ Dte = 0<br />

Den kosmiska rödförskjutningen i ett expanderande<br />

universum. Två ljussignaler skickas iväg från<br />

galaxen vid re och epoken te. Deras tidskillnad är<br />

vid re lika med Dte och har töjts ut till Dt0<br />

vid jorden vid epoken t0 pga av expansionen.<br />

Genom att mäta rödförskjutningen kan man fastställa skalningsfunktionen R(t) ifall vi<br />

samtidigt känner till te i (96). För det senare har vi endast indirekta metoder. Man kan<br />

försöka "loda" rymden och räkna antalet galaxer med en viss rödförskjutning; man mäter<br />

magnituden hos en utvald typ av stjärnor, "standard candles" (t ex Cepheid-variablerna och<br />

klass Ia supernovor), som fungerar som fyrbåkar i universum och relaterar detta till deras<br />

rödförskjutning; man försöker bestämma den genomsnittliga masstätheten ρ i universum;<br />

osv. Dessa resultat försöker man sedan anpassa till teoretiska modeller och deras ekvationer<br />

för R. Efter systematiska stjärnlodningar publicerade E Hubble 1929 ett resultat med<br />

slutsatser som förbluffade den dåtida världen; nämligen, att universum utvidgas. Hubble fann<br />

att galaxernas avstånd r (bestämda med hjälp av magnitudmetoden och de sk Cepheidvariablerna)<br />

linjärt korrelerade med rödförskjutningen,<br />

(97) cz = Ho r ("Hubbles lag", en approxiamtion),<br />

där z är rödförskjutningsparametern definierad genom 1 + z = λo/λe. (År 1923 hade H<br />

Weyl observerat att i de Sitter modellen gäller dR(t)/dt = Ho R(t) exakt, med Ho konstant. I<br />

artikeln med ekv (97) hänvisade Hubble också till denna "de Sitter effekt".) Tolkar man<br />

rödförskjutningen som en följd av att galaxerna rör sig iväg bort från oss (och varandra)<br />

betyder Hubbles resultat att universum expanderar (hastigheten enligt Dopplertolkningen<br />

motsvarar v = cz då z


10.5.2 Ekvationer för Universum - Friedmann modellerna.<br />

Kombinerar vi metriken (95) med Einsteins fältekvationer och antar att energi-<br />

impuls tensorn endast innehåller en term för mass-energi täthet (ρ c 2 ) och tryck (p) [T μν =<br />

diag(ρ c 2 ,-p,-p,-p) i medföljande koordinatsystem] erhåller vi ett mycket enkelt set av<br />

ekvationer för universum,<br />

(98) 3(1 + (dQ/cdt) 2 )Q -2 = (8πG/c 4 ) ρ c 2 (= (8πG/c 4 )T 00 );<br />

(1 + (dQ/cdt) 2 )Q -2 + 2 d 2 Q/dt 2 c -2 Q -1 = -(8πG/c 4 )p;<br />

(Q = Rℜ).<br />

[Att approximera innehållet i universum som ett homogent stoft är hoppeligen en valid<br />

approximation i stort. Galaxerna är enligt observationer på ett intressant sätt klumpade i<br />

universum. Omkr 9/10:delar av universum är tomrum, avgränsade av pannkaksformade<br />

galaxhopar, eller trådliknande formationer (strings) av storleksordningen 100 miljoner<br />

ljusår.]<br />

Studerar vi universums utveckling i sin "avkylda fas" kan vi försumma trycket och<br />

sätta p = 0 (Friedmann modellen). Kombinerar man då de två ekvationerna (98) erhålls<br />

(99) d(ρ Q 3 )/dt = 0 ⇔ ρ Q 3 = konstant,<br />

vilket kan tolkas som att massan är konstant i universum. En annat intressant omskrivning av<br />

(98) är formen (genom att differentiera (98.a))<br />

(100) d 2 R/dt 2 = -(4π/3)RG ρ,<br />

vilket är samma ekvation som man får från Newtons teori genom att beräkna<br />

tyngdkraftsaccelerationen i utkanten av ett klot med radien R och masstätheten ρ. (I<br />

Newtons teori blir dock intregrationskonstanten till ekv (100) obestämd.) En uppenbar<br />

konsekvens av (100) är att vi inte kan ha någon statisk lösning med R(t) = konstant ( > 0).<br />

Detta störde Einstein 1917 som var inställd på att universum måste vara statisk. Einstein<br />

adderade därför en positiv balanserande term till högra membrum av (100),<br />

(100') d 2 R/dt 2 = -(4π/3)RG ρ + (2/3) ΛR,<br />

som står för en repulsiv kraft (hindrar universum från att kollapsa). Konstanten Λ kallas för<br />

den kosmologiska konstanten. Denna extra term uppkommer genom att addera en term<br />

Λgμν till Einsteins fältekvationer (87'). Einsteins betraktade senare den kosmologiska<br />

konstanten som det "största misstaget i hans liv". Han missade scoopen att förutse<br />

universums expansion som Hubble senare upptäckte. Endel anser att han gjorde ett ännu


större misstag när han efter Hubbles upptäckt avfärdade den kosmologiska konstanten som<br />

överflödigt skräp. I de moderna teorierna med inflationsmodellerna uppträder en term av<br />

formen Λgμν som kommer från diverse kvantfält φ [ −Λgμν = (8πG/c 4 ) ].<br />

Einstein kom också att avfärda "singulariteterna", som numera kallas för svarta hål, som<br />

matematiska problem vilka bör avlägsnas ur teorin (vide exv J Bernstein, "The reluctant<br />

father of black holes", Scientific American, June 1996). På 30-talet undersökte Einstein<br />

också idén om gravitationella linser vilken han bedömde som en försumbar effekt; en effekt<br />

som har en viktig roll i modern astronomi. ART kom att ha en större astronomisk och<br />

kosmologisk relevans än vad han själv vågade tro !<br />

Eftersom vi har enligt ekv (99), ρ R 3 = ρo Ro 3 , där ρo och Ro (=1) representerar<br />

värden för t = t0, kan (98.a) skrivas,<br />

(101) (dR/dt) 2 = (8πG/3) ρo Ro 3 /R - Kc 2 .<br />

Vi har infört krökningskonstanten K definierad genom K = 1/ℜ 2 . För krökningskonstanten<br />

har vi tre huvudfall:<br />

K > 0 (positiv krökning, slutet rum med elliptisk geometri;<br />

vinkelsumman i en triangel överskrider π)<br />

K = 0 (euklidisk geomtri, plant rum; vinkelsumman i en<br />

triangel är π)<br />

K < 0 (negativ krökning, öppet rum med hyperbolisk geometri;<br />

vinkelsumman i en triangel underskrider π.)<br />

Definiera Hubblekonstanten för vår epok genom Ho = dR(t0)/dt. Eftersom R(t0) = Ro = 1,<br />

erhåller vi från (101),<br />

(102) (Ho) 2 = (8πG/3) ρo - Kc 2 .<br />

Vänder vi på steken får vi ett uttryck för K i observerbara storheter:<br />

(103) K = (Ω - 1)(Ho/c) 2 ,<br />

där Ω = ρo/ρ*, med den sk kritiska tätheten ρ* definierad genom,<br />

(104) ρ* = 3(Ho) 2 /(8πG).<br />

Ifall Ω > 1 är krökningen positiv och från ekv (101) ser vi att universum inte kan expandera<br />

i det oändliga, utan har ett maximivärde Rmax = 8πGρo/(3Kc 2 ) för skalningsfaktorn. I fallet<br />

Ω < 1 kan expansionen fortgå i det oändliga, och når en asymptotisk linjär expansion av<br />

formen R(t) = c t √-K. Masstätheten är inte tillräckligt stor i detta fall för att gravitationen<br />

skall orka hålla ihop universum i en ändlig volym. Observationer antyder att Ω ligger<br />

någonstans i området 0.1 - 1. (Om uppskattningarna av Hubblekonstanten Ho varierar med


en faktor på 2, ser vi av (104) att uppskattningarna för Ω av detta skäl redan varierar med<br />

en faktor på 4.) Ett populärt specialfall är Einstein-de Sitter modellen (de moderna<br />

inflationsteorierna för Big Bang förespråkar denna modell) med Ω = 1 och en expansion av<br />

formen R(t) = t 2/3 (6πG ρo/3) 1/3 .<br />

Kombinerar vi ekv (101) med ekvationen för en ljustråle från en galax (ds 2 = 0),<br />

(105) cdt = -R(t) dr<br />

(negativt tecken eftersom r minskar från galaxen mot jorden),<br />

får vi ett samnband mellan galaxens r koordinat och dess rödförskjutningsparameter z =<br />

R(t) -1 - 1 (en motsvarande formell relation som (105) används inom celest mekanik).<br />

Ekvationen (101) kan skrivas som (för K ≠ 0)<br />

(106) (du/ds) 2 = u -1 - k (k = 1 för K > 0, k = -1 för K < 0)<br />

vars lösning är relaterad till R genom<br />

(107) R(t) = (a/b) u(t √(b 3 /a 2 )),<br />

med a = (8πG/3) ρo och b = Kc 2 . Inför vi en hjälpvariabel x genom ds = u(s) dx, då<br />

skrivs ekv (106) i fallet k = 1 som<br />

(108) (du/dx) 2 = u(1 - u).<br />

Definierar vi en ny funktion v genom u = ½ + v kan ekv (108) skrivas på formen<br />

(109) (dv/dx) 2 + v 2 = 1/4,<br />

som erirnrar oss om den trigonometriska relationen (cos A) 2 + (sin A) 2 = 1, vilken genast<br />

ger oss löningen. Vi väljer den speciella lösningen v(x) = -½ cos x vilken resulterar för u och<br />

s,<br />

(110) u(x) = ½(1 - cos x) ⇒ R(t) = ½ (a/b)(1 - cos x)<br />

s(x) = ½(x - sin x) ⇒ t = ½ √(a 2 /b 3 ) (x - sin x)<br />

(för k = -1 erhåller vi istället hyperboliska funktioner sinh och cosh).<br />

(Ekvationerna (110) motsvarar formellt planetbanornas "Kepler-ekvationer" i celest<br />

mekanik.) Från den definierande relationen ds = u(s) dx och ljusstrålens ekvation (105) ser<br />

vi att dx är relaterad till galaxens r koordinat enligt<br />

(111) r = (x*- x) /√(ab) (x = x* är värdet för vilket vi har R(t) = 1 i ekv (110.a))


Därmed har vi ett komplett relationsset (fallet k = -1 är analogt) för galaxens<br />

rödförskjutningaparameter z = R(t) -1 - 1 och dess r koordinat, samt tiden ("epoken") t för<br />

ljusets emission. Om vi observerar en galax med rödförskjutningsparametern z, kan vi med<br />

hjälp av ekv (110) beräkna emissionstiden te som satisiferar z = R(te) -1 - 1, därefter<br />

bestäms galaxens r koordinat genom<br />

to<br />

r = ∫ cdt/R(t).<br />

te<br />

Från ekv (110.a) observerar vi att i det slutna fallet (K > 0) växer R(t) först och når ett<br />

maximum för att sedan krympa igen. Detta har inspirerat till cykliska modeller för universums<br />

utveckling. Innen beteckningen "Big Bang" (ett nidmann myntat av Fred Hoyle som föredrog<br />

Steady State Teorin) kom i allmänt bruk talade exv George Gamow om "the Big Squeeze";<br />

en sorts extremt sammanpressat tillstånd efter den senaste cykeln, från vilken det nuvarande<br />

universum startade. Det krympande universum ansågs studsa till en ny expansion ("elastic<br />

rebound"). (På grund av en ökande entropi anser endel att cyklerna skulle bli allt längre efter<br />

varje ny studs, eftersom universum fylls alltmer av fotoner vilka ger en kraftigare "studs".)<br />

10.5.3 Galaktiskt lantmäteri<br />

Antag galaxen har en vinkeldiameter Δθ sett från jorden. Då kommer dess verkliga<br />

diameter d (vinkelrätt mot synlinjen) enligt metriken (95) att ges genom<br />

(112) d = R(t) ℜ sin(r/ℜ) Δθ = (1 + z) −1 ℜ sin(r/ℜ) Δθ.<br />

För ett Euklidiskt rum, 1/ℜ → 0, återfår vi det bekanta uttrycket d = r Δθ.<br />

Jorden<br />

Δθ<br />

Galaxens verkliga diameter d (vinkelrätt mot<br />

synlinjen) och dess vinkeldiameter sett från<br />

jorden.<br />

Här beräknas r enligt föregående relationer (110) och (111), ℜ fås från relationen K =<br />

1/ℜ 2<br />

och ekv (103). Vi kan också citera (eller härleda från föregående ekvationer) ett slutet<br />

uttyck för galaxens r koordinat i term av rödförskjutningsparametern z (W Mattig, 1958),<br />

d


(113) ℜ sin(r/ℜ) = 2c [HoΩ 2 (1+z)] -1 {Ωz + (Ω - 2)[(Ωz + 1) ½ - 1]},<br />

(ℜ = (c/Ho)(Ω - 1) -½ ),<br />

vilket gäller för alla K värden. (För z


har man funnit en galaz, 53W091, med en rödförskjutning motsvarande te = 1.6 mrd år efter<br />

Big Bang, enligt den kosmologiska standardmodellen, med stjärnor vars ålder uppskattas till<br />

3.5 mrd år; dvs äldre än universum vid dåvarande tillstånd !]<br />

10.5.5 "Hot Big-Bang"<br />

"In view of the objections raised by some reviewers<br />

concerning the use of the word 'creation', it should be<br />

explained that the author understands this term, not in<br />

the sense of 'making something out of nothing', but<br />

rather as 'making something shapely out of shapeless',<br />

as, for example, in the phrase 'the latest creation of<br />

Parisian fashion'".<br />

George Gamov, "The Creation of The Universe",<br />

Viking Press 1952.<br />

"Wo jetz nur, wie unsere Weisen sagen,<br />

Seelenlos ein Feuerball sich dreht,<br />

Lenkte damals seinen goldenen Wagen<br />

Helios in stiller Majestät."<br />

I Schiller, "Die Götter Griechenlands" (1788).<br />

Expansionsmodellerna implikerar att universum och dess mass-energi vid en tidgare<br />

fas varit i ett komprimerat tillstånd. Detta betyder att vi inte längre kan försumma tryckets<br />

bidrag i ekvation (98.b). Antar att vi energin domineras av elektromagnetisk strålning kan vi<br />

för trycket p insätta strålningstrycket som är relaterat till energi-tätheten genom p = (1/3) ρ<br />

c 2 . [Detta förhållande kan exv härledas med gaskinetiska metoder om vi betraktar ljuset<br />

som en samling bosonpartiklar, fotoner.] Istället för relation (99) får vi då<br />

(115) ρ R 4 = konstant = B/c 2 (strålningsdominerat universum).<br />

Går vi tillbaka i tiden (minskande R) visar (115) att strålningsenergitätheten växer snabbare<br />

än vad mass-energi tätheten växer enligt (99). Härav drog G Gamow slutsatsen att i<br />

universums tidigare faser dominerade strålningsenergin. Denna slutsats utvecklades till teorin<br />

om "hot Big Bang". Redan 1927 framlade Abbé G E Lemaitre ("Big Bang kosmologins<br />

fader") sin teori om att universum uppkom genom radioaktivt söndefall ("explosion") av<br />

"uratomen" (nukleärt fluidum, "Ylem", etc), och utvecklade liknande kosmologiska modeller<br />

som A Friedmann (1922) på basen av ART.<br />

Använder vi (115) modifieras ekv (101) till<br />

(116) (dR/dt) 2 = (8πG/3) B/(c 2 R 2 ) - Kc 2 .<br />

I initialfasen är R liten och 1/R 2 mycket stor varför vi kan jämförelsevis försumma den<br />

konstanta termen i högra membrum av (116). Med denna förenkling erhåller vi,


(117) R(t) = (32πG B/3c 2 ) 1/4 √ t (för expansion i begynnelsen).<br />

Vi kan använda temperaturbegreppet för universum ifall vi antar att där råder en<br />

strålningsjämvikt som följer Plancks lag. Under rödförskjutning är kvoten T/frekvens<br />

konstant, vilket leder till att (1 + z)T = R(t)T är konstant, och att temperaturen varierar som<br />

t -½ med tiden i initalfasen (följer också från villkoret för en adiabatisk expansion). Vi kan<br />

också beräkna temperaturen genom att använda Stefan-Boltzmann relationen för<br />

energitätheten u för strålning med temperaturen T, u = aT 4 (a = 7.5 x !0 -16 J m -3 K -4 ).<br />

Vid tiden t erhåller vi energitätheten, enligt ekv (115), som u = ρ c 2 = B/R(t) 4 . Genom<br />

insättning av ekv (117) och användande av T = (u/a) 1/4 , erhåller vi,<br />

(118) T = [3c 2 /(32πGa)] 1/4 t -½ ≈ 1.5 ×10 10 t -½ K (tiden i sekunder).<br />

(Ett spännande faktum är att formeln (118) för universums temperatur innehåller konstanter<br />

som alla kan mätas i laboratoriet.) När universum expanderar avkyls den. G Gamow<br />

påpekade 1948 att vi fortfarande borde påträffa lämningar av denna strålning i form av<br />

lågtemperaturstrålning som fyller rymden. En dylik "bakgrundsstrålning" upptäcktes faktiskt<br />

"i misstag" av AA Penzias och RW Wilson år 1965. (Strålningen notsvarar en temperatur på<br />

2.726 ± 0.002 K.)<br />

10.5.6 Vad fanns "före Big Bang" ?<br />

"In other words, the ground state is the<br />

amplitude for the Universe to appear<br />

from nothing."<br />

JB Hartle, SW Hawking, Phys. Rev. D<br />

(1983).<br />

"In principle, one can predict everything<br />

in the universe solely from physical laws.<br />

Thus, the long-standing 'first cause'<br />

problem intrinsic in cosmology has been<br />

finally dispelled."<br />

LZ Fang, ZC Wu, International Journal of<br />

Modern Physics A (1986).<br />

Vid t = 0 skulle temperaturen enligt (118) bli oändlig, men man kan inte direkt<br />

extrapolera sambandet till denna "singularitet" (det finns en gräns för hur långt de<br />

termodynamiska antagadena om jämvikt o likn håller). En tanke är att universum i denna<br />

extrema situation bör behandlas kvantmekaniskt ("kvantkosmologi"). Man har dragit en<br />

analogi till den klassiska atommodellen där elektroner genom elektromagnetisk utstrålning<br />

förlorar energi och störtar in i atomkärnan (modellen kollapsar). Kvantmekaniken löste<br />

dilemmat genom att ersätta elektronbanorna med en vågfunktion, varvid vi istället för<br />

elektronbanor har kvanttillstånd vilka erinrar (formellt) om svängningstillstånd hos strängar


och membraner. Ett sätt att söka undvika singulariteter är att tillåta varierande topologier i<br />

form av "rymdtunnlar", såsom Einstein och Rosen förslog redan på 30-talet.<br />

Den enklaste varianten av denna idé är att kvantisera den kosmiska<br />

rörelseekvationen (100) på samma sätt som man kvantiserar de Newtonska<br />

rörelseekvationerna i kvantmekaniken. Ekv (100) är ju också av "Newton-typ". Bland<br />

kvantkosmologerna föreställer man sig att våra vanliga tids- och rumsbegrepp blir<br />

kvantmekaniskt "utsuddade" i universums "initialfas" (idéerna om allt dethär brukar också<br />

drabbas av en likartad suddighet), varför det inte finns någon tidpunkt t = 0, eller en klar<br />

uppdelning i tid och rum. Detta är exv ungefär vad som avses av dem som talar om<br />

"imaginär tid". I vissa kvantfältteoretiska beräkningar [och sk Euklidisk fältteori] ersätts<br />

tidsvariabeln t med it - "i" är den imaginära enheten √-1 - för att hoppeligen få<br />

konvergerande integraler.<br />

Vad denna räkneteknik - sk Wick rotation - har med tidsbegreppet att göra, har<br />

ingen kunnat ge ett ordentligt besked om. Det som formellt utmärker tiden i relativitetsteorin<br />

är att tidskoordinaten har ett annat förtecken i Minkowski metriken än rums-koordinaterna.<br />

Lorentz symmetrin ligger bakom denna skillnad mellan rum och tid. Ifall Lorentz symmetrin<br />

upphävs under extrema förhållanden försvinner också denna formella distinktion mellan rum<br />

och tid (Lorentz ART ersätts av Euklidisk ART ). Dylika ansatser anses göra frågor om<br />

"vad som föregick Big Bang" överflödiga. Begrepp som kausalitet, före och efter, förlorar<br />

betydelse för det extremt hoppressade tillståndet. Alternativt kan vi föreställa att tiden<br />

kvarhåller sin särställning i "Euklidisk ART", men att exv vänstra membrum i ekv (100)<br />

ändrar förtecken och kollapsen vänds till en expansion istället. I konventionell<br />

kvantkosmologi (DeWitt-Hawking-Hartley traditionen) har universums vågfunktion Ψ inget<br />

tidsberoende varför den egentligen inte kan beskriva någon expansion eller kontraktion av<br />

universum. Formellt hänger detta ihop med att energin E för kvantuniversum är odefinierad,<br />

varför Ψ saknar en kvantfaktor av typen exp(-i2πEt/h) som annars brukar signalera<br />

tidsberoende i vågfunktioner. Ett förslag är låta universums radie R "spela rollen" som ett<br />

tidsvariabel.<br />

Modellen med det slutna universum leder också till "the Big Crunch", kollapsen. Det<br />

är något otillfredsställande med en teori som visar att universum försvinner. Att ha universum<br />

lika med en singulär matematisk punkt är förstås en inkonsistent och meningslös "lösning".<br />

Det är därför cykliska teorier varit populära, där man antar att universum på något sätt<br />

svänger kollapsen till en ny expansion. (Formellt är ju faktiskt lösningen (110) för ett slutet<br />

universum en cyklisk funktion.) Eventuellt aktiveras under de extrema<br />

kompressionstillstånden nya fysikaliska frihetsgrader som är sas "nedfrysta" under "normala"<br />

faser och som nu "matar" den kosmologiska konstanten. Med hjälp av den kosmologiska<br />

konstanten får det hopstörtande universum en kvantmekanisk "de Sitter studs" tillbaka till ett<br />

expanderande tillstånd, som sedan följer den klassiska Friedmann modellen. Har dessa<br />

cykler pågått i "evigheter" eller fanns det en första cykel ? Ett synsätta går ut på att universa<br />

"föds" hela tiden "överallt", tom i vårt eget universum. Själv kan vi inte observera fastän ett<br />

nytt unversum skulle födas i vårt eget kök. Processen kan förliknas vid en omvänd svarta<br />

håls kollaps, och pga av den oerhörda tidsförskjutningen hinner vi därför inte se något av Big<br />

Bangens utveckling i köket på miljarder år. I det blivande universum föds på samma sätt nya<br />

universa, och kanske vårt eget universum fötts i någon annans kök, och så vidare ad<br />

infinitum (enligt fysikern Y Ne'emans "kosmologiska surrealism") ... i evigheternas evighet (in<br />

saecula saeculorum, som faktiskt är en träffande formulering i detta fall).


Kvantkosmologi har behandlat vissa förenklade modeller ("minisuperspace") för att<br />

visa att det i princip finns metoder som kan behandla kollapsproblematiken. Motivationen<br />

bakom dessa studier är att Einsteins klassiska teori leder till singulariteter (i svarta hål, Big<br />

Bang, Big Crunch) där teorins förutsättningar kollapsar (krökningen R blir oändlig). Einstein<br />

trodde att man kunde avlägsna singulariteterna genom att modifiera fältekvationerna (han<br />

lyckades aldrig med beskriva det "totala fältet"), medan man idag istället räknar med att<br />

kvanteffekter kommer att spela en viktig roll vid de extrema tillstånden då universums radie<br />

närmar sig den sk Planck längden, Lpl = (hG/c 3 ) ½ ≈ 10 -35 m. (Här står h för Plancks<br />

konstant.)<br />

För en krökningsradie kring Plancklängden blir "Einsteinverkan" (från ekv<br />

(86)) (c 3 /16πG)∫ R √ -g d 4 x i storleksordningen G/c 3 (Lpl) -2 (Lpl) 4 ≈ h. Vi kan också<br />

använda ekv (98) för att uppskatta fluktuationen Δg hos metriken, genom att sätta<br />

energitätheten (98) multiplicerat med volymen λ 3 (volymen för en "graviton" med<br />

våglängden λ) lika med kvantenergin hc/λ. Detta ger för metrikens kvantfluktuation,<br />

(119) Δg ≈ Lpl/λ,<br />

orsakad av "gravitoner" av våglängden λ. "Fluktuationen" blir betydande då λ närmar sig<br />

Plancklängden Lpl. Dylika överläggningar antyder att kvanteffekter blir dominerande i<br />

extrema situationer, men en tillfredsställande formulering av kvantgravitationen är fortfarande<br />

bara ett hägrande mål.<br />

Situationen erinrar om fysikens tillstånd vid förra sekelskiftet visavi "eterteorin".<br />

Kanske vi också håller på och försöker med alltför komplicerade lösningar, eller är alla de<br />

enkla lösningarna redan utprövade ?<br />

11. Historik och litteratur<br />

"Vem följer med till Terrasse-caféet ?"<br />

Einsteins stående slutreplik vid sina<br />

kvällsseminarier som professor i Zürich,<br />

1909-1910.<br />

11.1 Vem uppfann relativitetsteorin ?<br />

Relativitetsteorin har sitt ursprung i försöken att harmonisera mekaniken och<br />

Maxwells teori om elektromagnetism. Redan år 1887 framlade Voigt i en avhandling<br />

(Göttinger gelehrten Nachrichten) de transformationer som senare kom att kallas (av<br />

Einstein) för Lorentz transformationer, vilka utgör grunden för relativitetsteorins kinematik<br />

och dynamik. Senare härledde HA Lorentz, J Larmor och H Poincaré samma formler (HA<br />

Lorentz, Proc. Acad. Sci. Amsterdam, vol 6, 1904). Poincaré introducerade i sina<br />

filosofernade föredrag "relativitetspostulatet" (1899, 1904), och Lorentz föreslog en<br />

"kontraktionshypotes" för kroppar i rörelse (liksom GF Fitzgerald år 1889), samt införde<br />

begrepp såsom "ortstid" (Lorentz transformation av tiden). Ändå var det en 26-årig<br />

tjänsteman vid Berns patentverk, A Einstein, som lade grunden och utvecklade


Relativitetsteorin ("Zur Elektrodynamik bewegter Körper", Annalen der Physik, bd 17,<br />

1905). (Att Einstein fick nöja sig med tjänsten som “patentdräng” berodde på, att när han<br />

med tre andra utexaminerades från matematik-fysiklinjen vid ETH i augusti 1900, blev han<br />

den enda utan assistenttjänst vid ETH.) Lorentz och Poincaré var alltför bundna vid den<br />

gamla eterteorin och begreppen absolut tid och rum. De tog inte på fullt allvar tesen att alla<br />

inertiala system är ekvivalenta, att det inte finns något prioriterat referenssystem som<br />

bestämmer en "absolut betydelse" av rum och tid. Kännetecknande är att både Poincaré och<br />

Lorentz tog till en början avstånd från Einsteins teori. (Einstein blev god vän med Lorentz.<br />

Det var Einstein som införde beteckningen "Lorentz transformationer" för att hedra<br />

Lorentz..) Detta borde stämma de historikerna till eftertanke som anser att Poincaré eller<br />

Lorentz är de egentliga upphovsmännen till relativitetsteorin (dessa historikers åsikter i frågan<br />

väger ganska lätt). Einstein mötte Lorentz under Solvay kongressen 1911 i Bryssel och<br />

träffade där bl a Lorentz vilken han beskriver som den mest civiliserade av teoretikerna där,<br />

"ein Wunder von Intelligenz und feinem Takt".<br />

Endel oseriösa skribenter har försökt hålla liv i myten om att Eisteins serbiska hustru,<br />

Mileva Mari`c (-1948), var upphovkvinnan till relativitetsteorin. Mari`c var den enda<br />

kvinnliga medlemmen i Einsteins kurs (1896-1900) vid tekniska högskolan (ETH) i Zürich,<br />

som var en av de få akademiska institutioner i dåtida Europa som tillät kvinnliga studeranden<br />

(hon hade först börjat studera medicin men övergick sedan till matematik och fysik). Men<br />

det finns inget som visar att Mari`c någonsin ägnade sig åt forskning eller skrev artiklar. De<br />

som hävdar att Mari`c ligger bakom relativitetsteorin har svårt att förklara varför hon aldrig<br />

själv nämnde något därom eller fortsatte att forska i ämnet. Knappast finns det någon orsak<br />

att betvivla A Einsteins intellektuella ärlighet när han redovisat dem som inverkat på hans<br />

arbeten. Om man skall här ta fram de mindre smickrande sidorna hos Einstein, är det<br />

kanske hans misslyckande som make och familjefar. [En fråga som mystifierar biograferna<br />

gäller dottern "Lieserls" öde. Mari`c födde flickebarnet i januari 1902 och hon omnämns i<br />

deras korrespondens (Mari`c bodde hos sina föräldrar). Lieserl är ur bilden när de gifter sig<br />

1903. Hade hon adopterats bort eller dött i någon barnsjukdom ? I september 1996<br />

cirkulerade en tidningsnotis enligt vilken omktr 400 brev från Einsteins till Mari`c kommer att<br />

säljas på auktion för en uppskattad summa på $ 2000 000. Breven hittades i ett bankvalv<br />

1986.]<br />

För dem som växt upp efter 1905 kan det vara svårt att föreställa hur fäst dåtidens<br />

fysiker var fäst vid eterteorin. Man tänkte sig att de elektromagnetiska fälten måste ha ett<br />

medium (eter, ty. Äther) att propagera i, analogt med vad gäller ljudvågor. Lorentz<br />

identifierade etern med det "absoluta rummet". Michelson och Morley uppställde år 1881 ett<br />

sedermera berömt experimentarrangemang med avsikt att mäta "etervindens" inflytande på<br />

ljushastigheten. Man antog att ljusets hastighet på jorden beror på huruvida ljuset går i<br />

riktning "motströms" eller "medströms" relativt "etervinden". Michelson och Morley använde<br />

ett L-formad vridbart arrangemang som mätte ljushastigheten i två vinkelräta riktningar.<br />

Deras mätning baserades på intereferensfenomenet; man delade upp ljuset i två strålar som<br />

skickades i vardera armen och studerade de reflekterade strålarnas interferensmönster<br />

(fasskillnad) med apparaten ställd i olika riktningar. Inga märkbara skillnader upptäcktes i de<br />

olika riktningarna, vilket motsade hypotesen om att jorden rör sig relativt det absoluta<br />

rummet och etern. Det var för att förklara denna "paradox" som Lorentz och Fitzgerald<br />

(1892) introducerade "kontraktionshypotesen". Man tänkte sig att mätstavar förkortas när


de rör sig relativt det absoluta rummet vilket skulle förklara varför man vid mätning inte erfar<br />

någon skillnad i ljushastigheten. Einstein utgick däremot från en logisk och begreppslig analys<br />

av relativitetsprincipen och Maxwells teori och vari kanske inte ens medveten om<br />

Michelson-Morley experimentet då han författade sin artikel 1905.<br />

11.2 Ljusets hastighet<br />

Under Galileis tid debatterades det fortfarande huruvida ljuset hade en ändlig eller<br />

oändlig utbredningshastighet. Galilei föreslog (1638) att mäta ljushastigheten i nattens<br />

mörker, genom att vid en viss tidpunkt t0 avtäcka en lykta som observeras av den andra<br />

expeimentaron på 3 mils avstånd (enligt Galileis beskrivning), som då avtäcker sin lykta vars<br />

ljus observeras av den första observatören vid, säg, tiden t1. Ljushastigheten uppskattas då<br />

enligt formeln c = 2d/(t1-t0). Med dåtidens tidmätningsutrustning var detta ett omöjligt<br />

företag. Ifall den andra experimentatorn satts på månen skulle det kanske bli en rimlig tid för<br />

att reagera på signalerna; det tar ljuset omkr ett par sekunder att åka framåter mellan jorden<br />

och månen. Den första kvantitativa uppskattningen av ljushastigheten använde sig faktiskt av<br />

de astronomiska avstånden.<br />

Den första beviset på att ljusets hastighet är ändligt gavs av den danske astronomen<br />

Olaf Römer år 1676 i ett sinnrikt argument. Römer observerade att förmörkelsetiderna för<br />

Jupiters månar förskjöts framåt eller bakåt beroende på om jorden råkade vara på väg mot<br />

eller från Jupiter. Römer antog att tidskillnaderna berodde på att ljuset hade varierande lång<br />

väg att tillryggalägga mellan jorden och Jupiter. Använder man Römers data kommer man<br />

fram till en ljushastighet nära 220 000 km/s. Skillnaden på 80 000 km/s från det verkliga<br />

värdet (omkr 300 000 km/s) berodde på en överskattning av omloppstiden. Det har<br />

påpekats att Römers stora bedrift inte främst var att han kunde i princip nå fram till ett värde<br />

för ljushastigheten. Hans enastående upptäckt var att ljuset har en ändlig<br />

utbredningshastighet. Symptomatiskt är att Römer brydde sig inte ens om att räkna ut värdet<br />

för ljushastigheten i sin artikel. Huvudpunkten var att visa att den var ändlig, i motsatts till<br />

den rådande uppfattningen vid denna tid (och en ansenlig tid framöver).<br />

Ett annat astronomiskt bevis för en ändlig ljushastighet fann James Bradley (1727) i<br />

den sk aberrationen (som observerats redan av Picard, Flamsteed, Manfredi och Cassini).<br />

Under jordens årliga vandring kring solen verkar fixstjärnornas postioner variera (med den<br />

årliga parallaxen borträknad). Antag man har en vagn som färdas med hastigheten v relativt<br />

en fixstjärna S vinkelrätt mot en ljustråle från S. Om ljustrålen (se figuren) kommer in genom<br />

en öppning A i väggen så träffar den inte väggen bakom precis mittemot vid B utan i punkten<br />

B*, där BB* = vt är sträckan som vagnen hinner tillryggalägga under den tid t det tar för<br />

ljuset att passera genom vagnen. Från detta räknar man fram aberrationsvinkeln. Enligt<br />

anekdot skulle Bradley kommit underfund med principen för aberrationen, då han vid en<br />

färd längs Themsen hamnade ut för regn. "Då han stigit ombord och fartyget begynte röra sig<br />

snabbt, förundrade han sig, huru regn utan vind kom framifrån mot hans ansigte, samt<br />

eftersinnade vidare öfver orsaken härtill", meddelar Hj Tallquist i en uppsats om<br />

aberrationen från 1914.


tan α =<br />

vt/ct = v/c<br />

R'<br />

B*<br />

vt<br />

S S*<br />

A<br />

α<br />

ct<br />

B<br />

J Bradleys förklaring av aberrationen:<br />

På grund av den relativa hastigheten v<br />

och ljusets ändliga hastighet c, syns stjärnan S<br />

på siktlinjen S* sett från referenssystemet R'.<br />

Från mätning av aberrationsvinkeln kan man<br />

uppskatta ljushastigheten, ifall man känner<br />

jordens omloppshastighet.<br />

Detta exempel är intressant ur relativistisk synvinkel om vi använder principen om<br />

konstant ljushastighet. Sett från vagnreferenssystemet R' tillryggalägger ljuset en sträcka ct' =<br />

(L2 + (vt') 2 ) ½ , där L är vagnens bredd som kan lösas ur ekvationen och skrivas L = ct'(1 -<br />

(v/c) 2 ) ½ . Sett från det "vilande" referenssytemet R har vi ct = L = ct'(1 - (v/c) 2 ) ½ vilket<br />

motsvarar den relativistiska formeln för tidstransformationen: Δt' = γ(Δt - vΔx/c2 ), där Δx =<br />

0 (x-axeln är i v:s riktning och ljustrålen har i referenssystemet R ekvationen x = konstant).<br />

Den relativistiska formen av geometrisk optik studeras behändigast med hjälp av fyrvågvektorn<br />

k = (ω/c,k) och dess Lorentz transformationer.<br />

Den första "laboratoriemätningen" (skedde utomhus) av ljushastigheten utfördes av<br />

AH Fizeau år 1849 som med en enkel genialisk metod kringick behovet av en hyperexakt<br />

tidmätare. Han använde sig av avståndet på 8613 meter mellan Montmatre och Suresnes<br />

där en spegel i ena ändan reflekterade tillbaka strålen. Vid ljuskällan roterade ett kugghjul<br />

med 720 tänder. Fizeau observerade att vid lågt varvtal blockerades det reflekterade ljuset,<br />

men då då varvtalet ökades till 25 varv per sekund, återkom det reflekterade ljuset genom<br />

följande hack. Tidsskillnaden mellan två hack blir 1/(720 × 25) = 56 μs vilket ger en<br />

uppskattning på c = 311 000 km/s. Mättekniken förbättrades succesivt av Arago, Cornu,<br />

Foucault, tills Michelson 1926 var uppe i en noggrannhet på 4 km/s.<br />

11.3 Relativitetsteorins reception<br />

Till en början var inte mottagandet av relativitetsteorin precis översvallande. A<br />

Einstein var år 1905 en okänd man utan akademisk befattning. Stilen i hans artikel var också<br />

v<br />

y<br />

x


adikalt annorlunda än vad kutymen föreskrev. Artikeln från 1905 saknar t ex<br />

litteraturhänvisningar förutom en hänvisning till HA Lorentz (Einstein kände till Lorentz'<br />

arbete från 1895). Artikeln var en analys tour de force av fysikens grunder. Tidens främsta<br />

teoretiker insåg nästan genast alla genialiteten i Einsteins arbete. (Den första som tog kontakt<br />

med Einstein efter publikationen var M Planck, en av fysiken stora gestalter och Einsteins<br />

hjälte.) Trots detta fick Einstein aldrig Nobelpriset för den speciella eller allmänna<br />

relativitetsteorin. (Einstein tilldelades 1921 års Nobelpris år 1922 för sin ljuskvantumhypotes<br />

som han framlade samma år 1905. Hans tredje stora bidrag denna annus mirabilis var<br />

artikeln om Browns rörelse som slutligen övertygade de sista kvarvarande skeptikerna om<br />

atomernas existens.) Den allmänna relativitetsteorin fick en sensationell bekräftelse vid 1919<br />

års solförmörkelse då man mätte ljusets avböjning hos ljus från stjärnor som passerade nära<br />

solranden, vilken förutsades av ART. Händelsen blev en världssensation och gjorde Einstein<br />

till en internationell megastjärna.<br />

Den speciella relativitetsteorin fick stöd i experiment med elektroner. Mass-energi<br />

formeln hade bekräftats omkring 1915. Den främsta orsaken till varför Einstein inte fick<br />

Nobelpriset för relativitetsteorin anses vara att Nobelkommittén anlitade professorn i<br />

oftalmiatrik i Uppsala, Allvar Gullstrand, för att granska teorin. Hans utlåtande var att den<br />

inte är värd ett Nobelpris! (Gullstrand hade själv tilldelats Nobelpriset i medicin 1911,<br />

samma år invaldes han i Nobelkommittén.) Gullstrand missförstod bl a Einsteins analys av<br />

Merkurius' perihelrörelse. Filosofen A Hägerström å sin sida invände mot "logiska luckor" i<br />

Einsteins teori. Kan nämnas att G Nordström var en av dem som nominerade Einstein för<br />

Nobelpriset 1921.<br />

Även i Finland dröjde det innan relativitetsteorin slog rot. Gunnar Nordström (1881-<br />

1923), som blev Finlands främsta expert på relativitetsteorin, disputerade år 1908 (efter<br />

studier i Göttingen) med avhandlingen "Die Energiegleichung für das Elektromagnetische<br />

Feld bewegter Körper" (med prof Hj Tallquist som opponent) utan att nämna Einstein eller<br />

relativitetsteorin. Men redan 1909 höll han ett föredrag om relativitetsteorins grunder ("Rum<br />

och tid enligt Einstein och Minkowski", Finska Vetenskaps-Societens Förhandlingar. LII.<br />

1909-1910. Afd. A. N:o 4). (Biografiska anteckningar om Nordström med biblografiska<br />

uppgifter finns i E Isakssons och R Keskinens artikel, "Gunnar Nordström (1881-1923)",<br />

Arkhimedes 33, no. 2, 1981.) Så sent som 1914 skrev nämnde prof Hj Tallquist en uppsats<br />

om "De fysikaliska förklaringarna av aberrationen" (i "Festskrift tillegnad Anders Donner",<br />

Helsingfors 1915) på 80 sidor med omständiga utvecklingar om "eterns medsläpning" mm.<br />

Problemet utgjorde att förklara aberrationen då man observerade en stjärna med<br />

exv ett vattenfyllt (destillerat vatten!) teleskop. Ifall man naivt kombinerar Bradleys<br />

argument med idén om att vattnet "drar med sig etern" får man att aberrationen ändras i<br />

detta fall i motsats till de experimentella resultaten av bl a Airy från 1871. Använder man<br />

relativitetsprincipen föreligger inga problem. Sett från referenssystemet R' (vagnen i figuren<br />

ovan) kommer strålen från riktning S* (helt enligt Bradleys argument) i vilken man måste<br />

rikta teleskopet för att se stjärnan oberoende om teleskopet är vattenfyllt eller inte.<br />

Diskussionen om den astronomiska aberrationen är ett exempel hur man göra enkla saker<br />

svåra genom att fastna i räknemässiga detaljer (linsernas tjocklek, slipning, osv) och inte se<br />

helheten och de allmänna principerna. Det var detta Poincaré och Lorentz fastnade i vid sina<br />

diskussioner av "första och andra ordningens korrektioner" medan relativitetsteorin löser<br />

problemen i en enda handvändning med några enkla postulat. I sin uppsats ägnar faktiskt


Tallquist de fem sista sidorna åt relativitetsteorin, men presentationen tar inte fasta på<br />

relativitetsprincipen, utan blir en omständig räkning utgående från Maxwells ekvationer, och<br />

Lorentz transformationerna för vilka han inte ger någon härledning. Många levde förmodligen<br />

i den föreställnngen, att det som verkar vara ett komplicerat problem också måste ha en<br />

komplicerad lösning.<br />

Aberrationen spökar också i en liten obskyr finsk skrift som jag en gång hittade på<br />

ett antikvariat (A Kalaja, "Einsteinteorian perusteet - Kirjoitettu yliopistolliseksi<br />

väitöskirjaksi", Kotka 1931). Einsteins teori anses av författaren vara "kaiken logillisen<br />

ajattelimisen ulkopuolella". Jag hoppas uppsatsen aldrig blev godkänd i någon form;<br />

författaren förstår uppenbarligen inte exv begreppet transformation (ett begrepp som är långt<br />

ifrån trivialt, dock). Intressant är att läsa avsnittet om relativitetsteorin i den första upplagan<br />

av Lennart Simons "Fysiikka" (WSOY 1946, s. 430-432), som blev grundläroboken i fysik<br />

vid de finländska universiteten. Bland annat inför man den "relativitiska massan" mγ som<br />

påstås följa från den allmänna relativitetsteorin, och man hänvisar i sammanhanget också till<br />

de Sitters modell för ett slutet universum. En ganska konfys framställning. Den första<br />

finländska monografin om relativitetsteorin torde vara astronomen G Järnefelts "Johdatus<br />

Suhteellisuusteoriaan" (Otava 1954). Jämför också Hj Tallquists, "Teoreettinen Fysiikka I"<br />

(1937). Filosofen E Kaila granskar relativitetsteorins betydelse i "Einstein-Minkowskin<br />

invarianssiteoria" (Ajatus XXI, 1958). År 1963 utkom akademikern Rolf Nevanlinnas<br />

"Suhteellisuusteorian Periaatteet" (WSOY 1963) baserad på föreläsningar från 1962 för en<br />

bredare publik. Boken är mycket grundlig och insiktsfull - de första 127 sidorna går till att<br />

diskutera geometrins grunder! (Utkom också på tyska som "Raum, Zeit und Relativität",<br />

Stuttgart 1964, och på svenska.)<br />

Einstein besökte aldrig Finland trots flitigt resande. I juli 1923 föreläste Einstein inför<br />

en publik på 2000 personer i Jubileumshallen i Göteborg, vid stadens 300-års jubileum.<br />

11.4 Realtivitetsteorins senare utveckling<br />

"Man kan, som af det anförda framgår, icke påstå<br />

att Einsteins och Minkowskis teorier blott vore<br />

spekulationer 'ins Blaue hinein' utan kontakt med verkligheten.<br />

Fastmer ge de experimentella resultaten dem ett icke<br />

oväsentligt stöd, och däri ligger dessa teoriers<br />

stora betydelse."<br />

Gunnar Nordström, 1909.<br />

Relativitetsteorin förblev en lång tid en hobby för matematiker och filosofer.<br />

Situationen ändrades på 60-talet då man med hjälp av radar kunde probera dimensionerna i<br />

solsystemet. Bland annat upptäckte man att radioekot från planeterna fördröjdes på ett sätt<br />

som endast kunde förklaras med ART. År 1959 hade Rebka och Pound gjort sitt berömda<br />

experiment som bekräftade den gravitationella rödförskjutningen. På 60-talet upptäckte man<br />

också kvasarerna, enormt intensiva strålningskällor, vars enda möjliga förklaring tycks vara<br />

en energimekanism baserad på svarta hålens gravitationskraft. Överhuvudtaget kan<br />

astrofysiken sägas utgöra en av relativitetsteorins främsta användningsområden och<br />

"laboratorium". Åren 1964-1975 brukar räknas som den teoretiska svarta hål forskningens


"golden age". Upptäckten av pulsarer (neutronstjänror) 1967 - samma år som JA Wheeler<br />

myntade begreppet "black holes" - stimulerade också intresset för relativitetsteorin. Den<br />

relativistiska kosmologin revolutionerade vår uppfattning om universum iom Big Bang teorin<br />

och upptäckten av bakgrundsstrålningen (Penzias och Wilson, 1965). Och nu mot slutet av<br />

90-talet hyser man förhoppningar att det skall bli tekniskt möjligt att mäta gravitationsvågor<br />

direkt. På den teoretiska fronten jobbar man med olika ansatser att förena gravitationen med<br />

de andra krafterna i "superfysiken" (superstringar, supersymmetri, supergravitation, ...). Till<br />

detta problemkomplex hör också den olösta frågan om kvantgravitationen. A Ashtekar och<br />

L Smolin t ex har funnit nya sätt att matematiskt formulera ART vilka har väckt<br />

förhoppningar om att kunna konstruera en konsistent kvantgravitation.<br />

11.1 Litteratur<br />

Historia, vetenskapsteori, samlingsverk och biografi:<br />

[H1] A Pais, Subtle is the Lord ... The Science and the Life of Albert Einstein, Oxford UP<br />

1982. (Standardverket om Einsteins liv och forskning.)<br />

[H2] A Pais, Einstein Lived Here, Clarendon Press, Oxford UP 1994.<br />

[H3] C Seelig, Albert Einstein - Leben und Werk eines Genies unserer Zeit, Europa, Zürich<br />

1960.<br />

[H4] B Kuznetsov, Einstein - Elämä, Kuolema, Kuolemattomuus, Progress (1980), 1985.<br />

[H5] R Highfield, P Carter, The Private Lives of Albert Einstein, Faber & Faber 1993.<br />

[H6] Albert Einstein: Philosopher-Scientist, P Schilpp (ed.), (Library of Living Philosphers,<br />

Vol. 7), Evanston, Illinois, 1949.<br />

[H7] G Holton, Thematic Origins of Scientific Thought - Kepler to Einstein, Harvard UP<br />

1974.<br />

[H8] Einstein - A Centenary Volume, AP French (ed.), Harvard UP 1979.<br />

[H9] 300 Years of Gravitation, SW Hawking, W Israel (eds), Cambridge UP 1987.<br />

[H10] General Relativity - An Einstein Centenary Survey, SW Hawking, W Israel (eds),<br />

Cambridge UP 1979.<br />

[H11] HA Lorentz, A Einstein, H Minkowski, H Weyl, The Principle of Relativity - A<br />

Collection of Original Memoirs on the Special and General Theory of Relativity, Dover<br />

1925.<br />

[H12] MK Munitz, Cosmic Understanding - Philosophy and Science of the Universe,<br />

Princeton UP 1986. (Kosmologi ur sk Wittgensteinskt perspektiv. Exv universums "början"<br />

är en "theoretical construct", inget Ding an sich.)<br />

[H12] L Pyenson, The Young Einstein - The Advent of Relativity, Adam Hilger 1985.<br />

[H13] R Torretti, Relativity and Geometry, Pergamon Press 1983.<br />

[H14] AJ Friedman, Einstein as Myth and Muse, Cambridge UP 1989.<br />

[H15] PA Bucky, The Private Albert Einstein, Andrews and Michael 1993.<br />

[H16] JD Norton, "Einstein, Nordström and the early demise of scalar Lorentz-covariant<br />

theories of gravitation", Archive for History of Exact Sciences, 45, no.1 (15 XII 1992).<br />

[H17] D Brian, Einstein - A Life, Wiley 1996.<br />

[H18] GN Cantor, MJS Hodge, Conceptions of Ether, Cambridge UP 1981.<br />

[H19] Albrecht Fölsing, Albert Einstein - En Biografi, Nya Doxa 1996.


Relativitesteori och Kosmologi:<br />

[R1] CW Misner, KS Thorne, JA Wheeler, Gravitation, WH Freeman 1973.<br />

[R2] LD Landau, EM Lifshitz, The Classical Theory of Fields, Pergamon Press 1975.<br />

[R3] V de Sabbata, M Gasperini, Introduction to Gravitation, World Scientific 1985.<br />

[R4] JV Narlikar, T Padmanabhan, Gravity, Gauge Theories and Quantum Cosmology,<br />

Reidel 1986.<br />

[R5] R Adler, M Bazin, M Schiffer, Introduction to General Relativity, McGraw-Hill 1965.<br />

[R6] ID Novikov, VP Frolov, Physics of Black Holes, Kluwer 1989.<br />

[R7] S Chandrasekhar, The Mathematical Theory of Black Holes, Clarendon Press, Oxford<br />

UP 1983.<br />

[R8] MS Longair, Theoretical Concepts in Physics, Cambridge UP 1984. (Pedagogisk<br />

genomgång av fysikens grundteorier med två kapitel om relativitetsteorin som bl a innehåller<br />

en koncis och klar presentation av kosmologiska tillämpningar)<br />

[R9] Quantum Cosmology, LZ Fang, R Ruffini (eds), World Scientific 1987.<br />

[R10] M Roos, Introduction to Cosmology, Wiley 1994.<br />

[R11] PJE Peebles, Principles of Physical Cosmology, Princeton UP1993.<br />

[R12] A Ashtekar, Lectures on Non-Perturbative Canonical Gravity, World Scientific<br />

1991.<br />

[R13] FNH Robinson, An Introduction to Special Relativity and Its Applications, World<br />

Scientific 1996.<br />

[R14] PR Saulson, Fundamentals of Interferometric Gravitational Wave Detectors, World<br />

Scientific 1994.<br />

[R15] B Laurent, Introduction to Spacetime - A First Course on Relativity, World Scientific<br />

1996.<br />

[R16] RA Mould, Basic Relativity, Springer 1995.<br />

[R17] J Foster, JD Nightingale, A Short Course in General Relativity, Springer 1995.<br />

[R18] EF Taylor, JA Wheeler, Spacetime Physics - An Introduction to Special Relativity,<br />

WH Freeman 1992.<br />

[R19] M Heller, Theoretical Foundations of Cosmology, World Scientific 1992.<br />

[R20] Fang Li Zhi, Li Shu Xian, Creation of the Universe, World Scientific 1989.<br />

[R21] HH v Borzeszkowski, HJ Treder, The Meaning of Quantum Gravity, Reidel 1988.<br />

(Argumenterar att kvantgravitationen, till skillnad från kvantelektrodynamik, inte har några<br />

experimentella konsekvenser, ifall en sådan teori låter sig överhuvutaget konstrueras. "This<br />

analysis proves that it is impossible to distinguish between classical and quantum General<br />

Relativity Theory for the extreme case of Planck's order of magnitude." [Preface, vii].<br />

Tanken är att materiens - mätkroppens - kvantnatur döljer alla eventuella kvantfluktuationer<br />

hos gravitationsfältet. Detta utesluter inte att kvantgravitationen kan vara av betydelse för<br />

singulariteterna i ART.)<br />

[R22] AS Eddington, Space, Time and Gravitation, Cambridge UP 1920.<br />

[R23] RC Tolman, Relativity, Thermodynamics and Cosmology, Clarendon Press 1934.<br />

[R24] S Hawking, R Penrose, The Nature of Space and Time, Princeton UP 1996.<br />

[R25] R Brout, F Englert, E Günzig, "The creation fo the universe as a quantum<br />

phenomena", Ann. d. Phys. 115, 78 (1978).<br />

[R26] DG Blair, The Detection of Gravitational Waves, Cambridge UP 1991.


[R27] PG Bergmann, V de Sabbata, H-J Treder (eds), Quantum Gravity (Proceedings of<br />

the 14th course of the International School of Cosmology and Gravitation, 12-18 June<br />

1995, Erice, Italy), World Scientific 1996.<br />

[R28] M Rees, Perspectives in Astrophysical Cosmology, Cambridge UP 1995.<br />

[R29] S Clark, Towards the Edge of the Universe - A Review of Modern Cosmology,<br />

Wiley 1996.<br />

[R30] A Eddington, Space, Time and Gravitation, Cambridge UP 1987.<br />

[R31] J Stewart, Advanced General Relativity, Cambridge UP 1994.<br />

[R32] YT Chen, A Cook, Gravitational Experiments in the Laboratory, Cambridge UP<br />

1993.<br />

[R24] J Islam, An Introduction to Mathematical Cosmology, Cambridge UP 1992.<br />

[R25] CM Will, Theory and Experiment in Gravitational Physics, Cambridge UP 1993.<br />

[R 26] E Scrödinger, Space-Time Structure, Cambridge UP 1985.<br />

[R27] Leo Sartore, Understanding Relativity - A Simplified Approach to Einstein’s<br />

Theories, University of California Press 1996.<br />

Populärvetenskap:<br />

[P1] P Davies, I Rättan Tid - Einsteins Ofullbordade Revolution, Prisma 1995.<br />

[P2] KS Thorne, Black Holes & Time Warps, WW Norton & Co 1994.<br />

[P3] JA Wheeler, A Journey into Gravity and Spacetime, WH Freeman 1990.<br />

[P4] J Silk, A Short History of The Universe, WH Freeman 1994.<br />

[P5] J Silk, The Big Bang, WH Freeman 1988.<br />

[P6] JV Narlikar, From Black Clouds to Black Holes, World Scientific 1996.<br />

[P7] JD Barrow, Universums Födelse, Natur och Kultur 1995.<br />

[P8] P Davies, De Sista Tre Minuterna, Natur och Kultur 1995.<br />

[P9] S Weinberg, De Tre första Minuterna, Rabén & Sjögren 1980.<br />

[P10] PW Atkins, Creation Revisited, WH Freeman 1992.<br />

[P11] M Begelman, M Rees, Gravity's Fatal Attraction - Black Holes in the Universe, WH<br />

Freeman 1996.<br />

[P12] D Goldsmith, Einstein's Greatest Blunder ? Harvard UP 1995. (Beskriver den<br />

modärna kosmologin - förlagets PR-avdelning är tydligen upphovsmän till boktiteln.)<br />

[P13] I Novikov, Black Holes and the Universe, Cambridge UP 1995.<br />

[P14] JP Luminet, Black Holes, Cambridge UP 1992.<br />

Verk av Einstein:<br />

[E1] The Collected Papers of Albert Einstein, J Stachel et alii (eds), Princeton UP. Band 1<br />

utkom 1987; bd 2, 1989; bd 3, 1993 (material fram till år 1911). Utgivningen fortsätter.<br />

[E2] A Einstein, Om Naturvetenskapen (uppsatser från samlingen "Out of my later years"),<br />

Prisma 1993.<br />

[R3] A Einstein, Min Världsbild, Bonniers 1934.<br />

Multimedia:


[M1] A Brief History of Time on CD-ROM: An Interactive Adventure with Stephen W<br />

Hawking, WH Freeman 1994.<br />

[M2] William J Kaufmann III, Universe 4.0 on CD-ROM, WH Freeman 1994.<br />

[M3] The Ultimate Einstein, CD-ROM for Windows, Macmillan Interactive Publishing<br />

1995. (Multimedians "bibliotek" innehåller texten till Ronald Clarks "Einstein: His Life and<br />

Times" (Avon 1972), men inte i någon värst läsbar form. Inkluderar också "Ideas and<br />

Opinions" och "Autobiographical Notes" av Einstein.)<br />

[M4] Redshift 2, CD-ROM. 1996. (En "klassisk" multimediaprodukt inom astronomi.)

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

Saved successfully!

Ooh no, something went wrong!