Entdecken Sie eBooks
Kategorien
Entdecken Sie Hörbücher
Kategorien
Entdecken Sie Zeitschriften
Kategorien
Entdecken Sie Dokumente
Kategorien
557
im Rahmen der allgemeinen Relativitatstheorie benutzt man iibrigens lie-
ber stattdessen x = 8nf/c2 - in Wirklichkeit eine v e r a n d e r 1 i c h e Gro-
Oe, also eine skalare F e 1d g r o R e sei. Von bestimmten empirischen Tat-
sachen aus h a t D i r a c Grunde fur diese Hypothese angegeben. Anderer-
seits sind verschiedene Verfasser aus theoretischen Grunden dazu gekom-
men, eine Durchdenkung dieser Hypothese zu empfehlen. Im Zusammen-
hang der zahlreichen Versuche, eine ,, e i n h e i t 1i c h e F e 1 d t h e o r i e"
der Gravitation und des Elektromagnetismus aufzustellen, ist insbesondere
die von K a 1u z a, 0. K 1 e i n, V e b 1e n begrundete ,,funfdimensionale"
oder ,,projektive" Relativitatstheorie von zahlreichen Verfassern studiert
und weiterentwidtelt worden. E i n s t e i n, B e r g m a n n, T h i r y, J o n s-
s o n haben auf dieser Grundlage eine V e r a 11 g e m e i n e r u n g der
Theorie durchdacht, und diese Verallgemeinerung ist gleichbedeutend mit
der Annahme, daB x nicht eine Konstante, sondern eine skalare FeldgriiRe
sei.
Wenn man in Rucksicht auf die genannten Verfasser eine ernsthafte Er-
wagung dieser Hypothese fur lohnend halt, so braucht man hierzu keines-
wegs die funfdimensional-projektive Relativitatstheorie ausdrucklich her-
anzuziehen, sondern kann mit der gewohnteren vierdimensionalen Form
der allgemeinen Relativitatstheorie auskommen. Es seien einige Folgerun-
gen dieser Theorie den entsprechenden Ergebnissen der alteren Theo-
rie x = const gegenubergestellt. Wir beschranken uns auf eine Erorterung
der Theorie im m a t h e m a t i s c h e n Sinne, ohne auf die Frage ihrer
empirischen Anwendungen einzugehen.
Bekanntlich wendet Einsteins Theorie den Grundgedanken der R i 6 -
m a n n'schen Geometrie auf die vierdimensionale Raum-Zeit-Mannigfaltig-
keit an. Zwei infinitesimal benachbarte ,,Weltpunkte" haben danach einen
Abstand ds derart, daB ds eine quadratische Form der Koordinatendiffe-
renzen beider Punkte ist: Darin druckt sich aus, daR fur s e h r k l e i n e
Dreiecke die euklidische Geometrie bzw. die spezielle Relativitatstheorie
zutrifft. In der beruhmten Formel
ds* = gkl dxk dxl
ist nach Einsteins Vorschlag darauf verzichtet, ein S u m m e n z e i c h e n
hinzuschreiben, obwohl uber k und 1 summiert werden sol1 (von 0 bis 3);
man hat verabredet, daR eine Summation i m m e r dann gemeint ist, wenn
ein Index in einem Ausdruck z w e i f a c h vorkommt. Es ist also auch in
der Formel
ak = gkla'
eine Summation nach 1 gemeint; diese Formel zeigt, wie die beiden ver-
schiedenen Komponenten-Systeme eines und desselben Vektors - namlich
mit unterem oder mit oberem Index - miteinander zusammenhangen.
Wir bezeichnen mit ak,l die Ableitung von ak nach der Koordinate XI.
In der speziellen Relativitatstheorie ebenso wie in der elementaren Vektor-
analysis sind. die akil Komponenten eines T e n s o r s'; aber in der Riemann'-
schen Geometrie ist das nicht mehr der Fall, und man muO deshalb zwecks
Formulierung invarianter Differentialgleichungen einen abgeanderten
differentiations-ahnlichenRechenprozeB, die ,,k o v a r i a n t e D i f f e r e n-
t i a t i o n" benutzen, wofur wir das Zeichen aklll gebrauchen wollen. Wird
insbesondere eine s k a 1 a r e Grolje x differenziert, so liefert die kova-
riante Differentiation xllk das Gleiche, wie die gewohnliche, als den G r a -
d i e n t e n xlk; dieser Vektor hat auch Komponenten mit oben stehendem
Index, die wir xlk nennen wollen.
Wahrend nach einer Grundregel der Differentialrechnung aklllj = akljli
ist, gilt fur die kovariante Differentiation keineswegs die gleiche Formel.
Vielmehr wird durch
aklllllk-akllklll = -Gmlarn ... (1)
der ,,R i c c i - T e n s o r" Gjl = Glj definiert, der fur die Relativitatstheorie
von grundlegender Bedeutung ist. Fur das m e t r i s c h e Feld gkl = glk
gelten namlich im Vakuumfalle die E i n s t e i n's c h e n F e 1d g 1e i -
chungen
Gkl = 0, . . . (2)
die fur die Gravitation eine analoge Rolle spielen, wie die M a x w e 11'-
schen Gleichungen fur das elektromagnetische Feld. Die durch (1) defi-
nierten Gkl sind kompliziert, aber sinnreich gebaute Funktionen der gkl
und ihrer ersten und zweiten Ableitungen.
S c h w a r z s c h i 1d hat gezeigt, daR man die Einstein'schen Feld-
gleichungen, obwohl sie nichtlinear sind, exakt losen kann fur das Beispiel
des von einem Massenpunkt erzeugten kugelsymmetrischen statischen Fel-
des. Ein kugelsymmetrisches statisches Feld ist hinsichtlich seiner Geometrie
zu beschreiben als eine Schar von konzentrischen Kugelflachen, die wir
unterscheiden durch eine radiale Koordinate r. Dabei konnen wir defini-
tionsweise r so wahlen, daR die FlachengroRe der zu einem r gehorigen
Kugel gleich 4nre ist. Aber dann mu13 - da wir jetzt n i c h t e u k 1i d i -
s c h e G e o m e t r i e haben - die metrische Dicke ds einer Kugelschale
(r, r 4- dr) keineswegs gleich dr sein; sondern sie ist davon um einen ge-
wissen Faktor verschieden, den man exp(ll2) zu nennen pflegt:
ds = exp(U2) dr.
Andererseits gibt es in dieser statischen ,,Welt" eine R o t v e r s c h i e -
b u n g , die man so auffassen kann, daR ein auf einer Kugelflache r (2.B.
der Oberflache der Sonne) erzeugtes Lichtquant entgegen der Gravitations-
anziehung Arbeit leisten muB, wenn es in die Ferne r = 00 fliegt. Ein ferner
Beobachter sieht im Sinne dieser Rotverschiebung alle Vorgange auf der
Kugelflache r v e r l a n g s a m t um einen Faktor, den man exp(d2) zu
nennen pflegt. Naturlich sind die GroRen 1, v Funktionen von r; wenn sie
aber angegeben sind, so ist die raum-zeitliche Metrik des statischen kugel-
symmetrischen Feldes vollkommen festgelegt. Schwarzschilds beruhmte
+
Untersuchung ergab, daI3 1 v = 0 und
exp(-l) = 1 - 2 d r .
. . (3)
ist. Fur groRe r ergibt sich daraus ein Newton'sches Gravitationsfeld, des-
sen Zentralmasse M mit dem ,,Gravitationsradius" m zusammenhangt, ge-
ma6 m = fM/c*.
Die Geometrie des Schwarzschild'schen Feldes konnen wir uns veran-
schaulichen, indem wir durch den Mittelpunkt eine Ebene legen und diese
nichteuklidische Ebene genauer betrachten. Sie ist eine Schar von konzen-
trischen Kreisen, und da nach (3) offenbar stets exp1 > 1 ist, so hat diese
nichteuklidische Ebene genau die gleichen MaRverhaltnisse, wie eine ge-
wisse Rotationsflache im dreidimensionalen euklidischen Raum. Nach (3)
559
bekommt man diese Rotationsflache, indem man die Halfte einer Parabel
um eine gewisse Achse rotieren la13t1).
Diese Rotationsflache h o r t auf bei dem Kreise r 2 m; aber das be-
deutet keineswegs, daR hier physikalisch ein ,,Loch" in der Welt ist. Denn
bei r = 2 m haben wir auch t o t a l e R o t v e r s c h i e b u n g exptrLO.
Konnte unsere Sonne sich so stark kontrahieren, dafi ihr Radius ebenso
klein wie ihr doppelter Gravitationsradius wurde, so wurde alles von der
Sonne zu uns kommende Licht infolge totaler Rotverschiebung unendlich
groRe Wellenlange haben. Alle dortigen Vorgange wiirden fur unsere
Beobachtung unendlich langsam verlaufen; und einen zur Sonne fallenden
Stein wiirden wir innerhalb endlicher Zeit niemals dort ankommen sehen,
weil er ebenfalls von dieser Verlangsamung betroffen wiirde. --
Die Anwendung der allgemeinen Relativitatstheorie auf k o s m o 1 o g i -
s c h e M o d e l l e verlauft so, daR wir uns einen geometrisch und physi-
kalisch homogenen Raum denken, d. h. einen ,,R a u m k o n s t a n t e r
K r u m m u n g", der gleichformig eine Massendichte p oder eine Energie-
dichte u = @c*enthalt, und der einer raumlich gleichformigen Expansion
-
(H u b b 1 e Effekt) unterliegt. FormelmaBig stellt er sich dar durch
dS2 = cedt2- R(t)' d d , . . (4) .
wobei R2d02 fur den dreidimensionalen Raum t = const analoge Bedeu-
tung hat, wie dse fur die vierdimensionale ,,Welt". Fur den Raum ds2 von
konstanter Krummung kommen drei Moglichkeiten in Betracht: Die posi-
tive Krummung B = 1, die einen Raum endlichen Gesamtvolumens 232' Rs
ergibt (der Raum kann definiert werden als die dreidimensionale Ober-
flache einer vierdimensionalen euklidischen Kugel) ; ferner die negative
Kriimmung P = -1 und schliefllich verschwindende Krummung P = 0, d. h.
ein gewohnlicher euklidischer Raum.
Die Einstein'schen Feldgleichungen (2) mussen fur den Fall der An-
wesenheit von Materie oder Lichtfeldern verallgemeinert werden; diesen
verallgemeinerten Feldgleichungen sol1 die Weltmetrik (4) genugen. Dann
ergibt sich, daR fur R(t) ein ganz bestimmter Verlauf vorgeschrieben ist.
Betrachten wir zunachst den Fall eines L i c h t k o s m o s , der statt Mate-
-
rie nur Lichtenergie enthalt. Dann wird R(t) im Falle E = 1 gegeben durch
einen H a 1 b k r e i s ; der Kosmos beginnt also seine Existenz mit R = 0,
expandiert bis zu einem Maximum, und zieht sich dann wieder bis R 0
zusammen. Die Falle E = 0 und -1 hingegen ergeben von R = 0 anfangend
eine unbegrenzte Expansion, die fur E = 0 durch eine Parabel, fur E = -1
hingegen durch eine Hyperbel beschrieben wird.
Im Lichtkosmos herrscht ein Druck p == '/3 u. Betrachten wir stattdessen
einen Materiekosmos mit Druck p = 0, so erhalten wir qualitativ ahnliche,
aber etwas abgeanderte Ergebnisse; insbesondere tritt an die Stelle des
Halbkreises ein Zykloidenbogen. -
Nach dieser kurzen Ubersicht uber die Grundlagen und einige Haupt-
ergebnisse der Einstein'schen Gravitationstheorie wollen wir nun die ent-
sprechenden Verhaltnisse in der erweiterten Theorie mit x =+ const be-
trachten. Zum Teil habe ich dabei zu berichten uber Ergebnisse, die schon
in der Erstauflage meines Buches ,,Schwerkraft und Weltall''e) erlautert
1j-Vgl. Abb. SO, S. 136 sin M. v. L a u e, ,,Relativitatstheorie", Bd. 11, 3. Auil., Vieweg
& Sohn, Braunschweig 1953.
2) P. J 0 r d a n , ,,Schwerkraft und Weltall", Vieweg & Sohn, Braunschweig 1952.
560
sind; zum Teil uber solche, die erst in der demnachst erscheinenden zweiten
Auflage zur Sprache kommen werden.
Betreffs der F e 1d g 1e i c h u n g e n ergeben sinngemafie allgemeine
Forderungen (darunter die Ableitbarkeit aus einem invarianten V a r i a -
t i o n s p r i n z i p), daR wir im wesentlichen nur folgende Moglichkeit in
Betracht zu ziehen haben (wieder fur den Fall des V a k u u ms) :
1 . . . (5)
Darin ist 5 ein dimensionsloser Zahlparameter, der ungleich V Z sein mu&
sonst aber einen zunachst ganz offen gelassenen Wert haben mag.
E. S c h u c k i n g konnte kurzlich einen uberraschenden Satz aufstellen:
Betrachten wir statt der Metrik gkl die ,,konform" abgeanderte Metrik
= xgkl, und bilden wir daraus den neuen Ricci-Tensor &I, so konnen
die 11 Gleichungen (5) ersetzt werden durch folgende nur 10 Gleichungen:
d k l = (5 - '/P) Xlk X [ l / X 2 . . . . (6)
Man kann daraus ablesen, daD die Feldgleichungen eine schon vorher
von P a u 1i erkannte und anderweitig bewiesene I n v a r i a n z e i g e n -
s c h a f t haben: Mit einem beliebigen Exponenten y j l schreibe man
*gkl = xygkl; * x = X1-Y' , *4+-V P =(~-Vz)/(l-y)~ ; . . . (7)
dann sind die Gleichungen (5) gleichbedeutend mit denselben Gleichungen
fiir die gesternten GroRen.
Die Schwarzschild'sche Losung, erganzt durch x = const, befriedigt auch
die Feldgleichungen (5); aber es gibt jetzt auch allgemeinere Moglichkeiten
kugelsymmetrischer statischer Vakuumfelder, die von H e c k m a n n und
F r i c k e entdeckt worden sind. Es handelt sich ja darum, wieder 1 und 19
- und dam auch x - als Funktionen von r anzugeben; und die ,,Heck-
mann'sche Losung" kann beschrieben werden unter Benutzung von Inte-
grationskonstanten rotPo, xo; wir wollen dabei die Bezeichnungen
B = 1 f 280 und 4h2B2= B*- 2Po (1 ( 8 0 )+
benutzen. Die Konstante h2 kann >0, <0, = 0 oder = 00 sein; wir betrach-
ten jetzt nur den Fall, daB h reel1 und VS < h < V z , sowie ro > 0 ist. Dann
ergibt sich folgende Darstellung von r, 1, x durch einen Parameter t:
r = ro . ey = .1/B .
,/r-(r-h - 7h)
4h'
. . . (8)
el = ; Y. = Xo rPo'B.
1 1
561
Von hier aus konnen wir nach zwei entgegengesetzten Richtungen (ZU gro-
Deren oder kleineren Werten t) auf groRere konzentrische Kugelflachen
ubergehen. Die Wegrichtung zu wachsendem t wiirde uns in das schon
besprochene ,,AuRengebiet" fuhren; die entgegengesetzte Wegrichtung fuhrt
uns ebenfalls zu groReren Kugelflachen, die jedoch ein anderes Gebiet des
Raumes, das Jnnengebiet" bilden. In dieses Innengebiet dringen wir fort-
schreitend tiefer ein, indem wir uns dem Werte t = 0 nahern, fur welchen
t o t a 1e R o t v e r s c h i e b u n g eintritt. Die immer groBeren Kugel-
flachen, die wir dabei radial durchqueren, folgen einander in immer kleiner
werdendem metrischen Abstand ds; sobald expl < 1 wird, hort die Mog-
lichkeit obiger Veranschaulichung der entsprechenden nichteuklidischen
Ebene durch eine reelle euklidische Rotationsflache offenbar auf. Dabei
laRt (8) erkennen, daR der radiale Gesamtweg bis r = 00 hin im Innen-
gebiet von e n d l i c h e r L a n g e ist. (Im Aunengebiet ist e r natiirlich
unendlich). Ja, sogar das G e s a m t v o 1 u m des Innengebietes ist
(bei h > VB) von endlicher GroRe, obwohl darin Kugelflachen von beliebig
groRem FlachenmaR enthalten sind.
Dies ist offenbar ein besonders merkwurdiger und reizvoller Fall nicht-
euklidischer Geometrie. Entsprechend dem Charakter dieses Berichtes moge
e r hier nur als ein mathematisch bemerkensllrertes Ergebnis verzeichnet
werden; ich will jedoch nicht ganz unerwahnt lassen, daR ich hypothetisch
dem beschriebenen nichteuklidischen Zaubersack eine bestimmte physikali-
sche Bedeutung zuzuschreiben geneigt bin: Ich glaube, daD seine Unter-
suchung uns erste Anhaltspunkte gibt fur die richtige Behandlung eines
Problems, das wahrscheinlich ganz anders beurteilt werden muB, als bisher
allgemein geglaubt worden ist, namlich des Problems der S t e r n e n t s t e -
h u n g. (Ausfuhrlicheres dazu in der Neuauflage meines erwahnten Buches).
Bei der Berechnung k o s m o l o g i s c h e r M o d e l l e ergeben sich
ebenfalls in der erweiterten Gravitationstheorie wesentlich veranderte Ver-
haltnisse. Betrachten wir zunachst einen L i c h t k o s m o s, und zwar mit
positiver Raumkrummung E = 1. Wir konnen hier nicht ohne weiteres R(t)
in expliziter Form angeben, wohl aber r als Funktion R(x) von x in ein-
facher Weise beschreiben. Danach wird dann x als Funktion der Zeit t
durch eine Quadratur bestimmt:
t = const JR3(x)dx. . . . (9)
Die Formel fur R und eine ahnliche Formel fur dR/dt lauten:
f V g C b2sin[b . ln(x/xl)]
+ V p q * { s i n [ b .ln(xlx1)l + b . cos tb . In(x/x~)l}I . . . (10)
constlxR* =
(llc) . dRidt. b2 = @
Hier sind B und xl Integrationskonstanten. Ferner ist
be = 'IS[ - 1 > 0.
Man sieht aus (lo), daR bei B =b insbesondere eine 1 i n e a r e Expan-
sion
dRldt = ct9/b2
zustande kommt. Dieses Model1 mit linearer Expansion besitzt insofern
eine bevorzugte Bedeutung, als man sagen kann, da6 alle anderen durch
(10) und (9) beschriebenen Losungen sich im Laufe der Zeit asymptotisch an
die lineare Expansion anschlieaen.
562
3R[dR/dt + (C - l)R/t]*d*R/dt*
+ [3dR/dt -t (b -3)R/t] . [dR/dt + (6- l)R/t] . . . . (11)
[2c* + Rd*R/dt*+ (dR/dt)*] '
Sie ist so kompliziert, dal3 man sie als entmutigend ansehen konnte.
Freilich laDt sie sich in trivialer Weise noch auf eine Differentialgleichung
erster Ordnung zuriickfuhren, aber diese kann nicht mehr elementar gelost,
sondern nur grundsatzlich diskutiert
- 2-V
v
und numerisch integriert werden.
H. K o n i g in Clausthal und E.
S c h u c k i n g in Hamburg haben
trotz der Kompliziertheit dieser
Differentialgleichung eine volle Auf-
klarung des Problems enielen kon-
. nen. Als grundsatzliches Ergebnis
ist festzustellen, da13 auch der Ma-
teriekosmos nach dieser Theorie
asymptotisch in lineare Expansion
ubergeht, obwohl er im Anfangs-
abschnitt seiner Entwicklung sehr
4 komplizierte Moglichkeiten zulai8t.
Wir haben namlich vier Typen von
Losungen fur (11) zu unterscheiden:
(a) eine Lijsung mit linearer Expan-
sion dR/dt = const; (b) eine einpara-
metrige Schar von Losungen R(t),
die bei t = 0 mit R = 0 beginnen;
(c) eine zweiparametrige Schar von
Losungen, die bei t = 0 von 0 ver-
schieden sind; (d) eine einparame-
trige Schar singularer Losungen, die
Abb. 1: Liisungskurven der kosmologi- bei t = 0 unendlich sind; ihnen ent-
schen Differentlalgleichung spricht jedoch kein kosmologisches
Modell.
Die zugehorige Differentialgleichung erster Ordnung stellt man am be-
sten graphisch so dar, daD man mit den Bezeichnungen dR/dt = z; R/t = v
die Ebene der Achsen (z-v)/v; c/v betrachtet. Abb. 1 zeigt - auf Grund
numerischer Integration im Institut H. Konig - den Verlauf der Lijsungs-
kurven in dieser Ebene.
563
Die reellen Losungen sind eingeschlossen von einer E n v e 1o p p e, die
gerade eine Ellipse ist; sie entspricht den erwahnten Losungen (d). Alle
anderen Losungskurven haben die Eigenschaft, asymptotisch die zwei
Punkte zu umwinden, welche hier der linearen Losung dWdt = + const
entsprechen. Den Losungen (c) entsprechen diejenigen Kurven, die von
dem unten auf der Ordinatenachse gelegenen Sternpunkt auslaufen; die
Losungen (b) dagegen werden in der Zeichnung durch diejenige Kurve dar-
gestellt, welche die Ordinatenachse durchquert. -
Als letztes hier zu besprechendes reizvolles mathematische Problem der
erweiterten Gravitationstheorie envahne ich folgendes: Ein merkwurdiger,
von B i r k h o f f aufgestellter Satz besagt, daR im Rahmen der Einstein'-
schen Theorie jedes kugelsymmetrische Vakuumfeld von selber auch ein
statisches Feld (also ein Schwarzschildsches) ist. Es erhebt sich die Frage,
ob das auch in der erweiterten Theorie so ist. In der ersten Auflage mei-
nes Buches muate ich diese Frage noch ganz offen lassen und konnte nur
ihre formelma13ige Prazisierung angeben. Es handelt sich jetzt darum, die
drei GroRen 1, Y , x als Funktionen nicht nur von r, sondern auch von t
vorauszusetzen; man kann dann ein System von funf partiellen Differen-
tialgleichungen fur diese drei Funktionen aufstellen. Dieses uberbestimmte
System nichtlinearer Differentialgleichungen ist so uberaus kompliziert,
daB es hier sinnvoller Weise nicht wiedergegeben werden kann. Ich habe
mich vor zwei Jahren Iangere Zeit darum bemiiht, irgendeinen Schritt zu
seiner Integration zu tun, aber vollig ergebnislos. Die inzwischen von
E. S c h ii c k i n g erreichte Umformulierung der Feldgleichungen, also (6)
statt (5), ergibt jedoch eine erhebliche Vereinfachung; und durch weitere
sehr geschickte und gluckliche Behandlung hat Schucking eine grundsatz-
lich vollstandige Losung des Problems erreichen konnen. Danach gibt es in
der erweiterten Theorie kugelsymmetrische nichtstatische Vakuumfelder in
einer Mannigfaltigkeit, welche von zwei willkurlichen Funktionen abhangt.
Es wurde eingangs hervorgehoben, da13 die besprochene Theorie hier in
etwas einseitiger Weise von ihrer mathematischen Seite betrachtet werden
sollte. Sie besitzt freilich - in dieser Hinsicht stark abweichend von der
alteren Theorie mit x = const - vielfaltige Beziehungen zu empirischen
Tatsachen (aus der Geophysik und Planetenphysik sowie aus dem Problem-
bereich der Sternentstehung und der Entwicklung des Kosmos); darauf ein-
zugehen, wiirde jedoch den Rahmen des hier Beabsichtigten iiberschreiten.
Einige hierher gehorige Punkte sind friiher einmal in dieser Zeitschrift
erortert wordens). Ich erwahne, da13 die jetzt vorbereitete zweite Auflage
meines oben genannten Buches die geophysikalischen und astrophysikali-
schen Fragen ausfuhrlicher behandeln wird.
564