RELATIVITETSTEORI - (TUTORIAL / F BORG) 1 ... - Saunalahti
RELATIVITETSTEORI - (TUTORIAL / F BORG) 1 ... - Saunalahti
RELATIVITETSTEORI - (TUTORIAL / F BORG) 1 ... - Saunalahti
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.)