Eine rotationssymmetrische Losung in der allgemeinen

Rela tivitatstheorie
Von A . P u p a p e t r o u

Inhaltsiibersicht
Es wird eine neue exakte rutationssyrrirnetrisclie Losung der Feldgleichungen
der allgemeinen Relativitatstheorie abgeleitet und deren physikalisclie Bedeutung
untersucht.

1. Einleitung
Bekanntlich bestimmt dic S c hwarzschildsche Liisung der Feldgleichungen
der allgemeinen Relativitatstheorie das Gravitationsfclcl eines rulienden kugel-
symmetrischen Kiirpers. Das danach interessanteste Problem ist offensichtlich
die Bestimmung des Feldes eines Korpers, der nur achsiale Symmetrie besitzt.
We yl1) hat das statische achsialsymmetrische Problem allgemein diskutiert
und seine exakte Losung angegeben. Das statische 2, achsialsymmetrische Problem
ist aber physikalisch etwas zu speziell. Man sieht das, wenn man z. B. an dic astro-
nomischen Korper denkt : Der Ubergang von Kugel- zu Rotationssymmetric wird
erst dann notwendig, wenn sich der Korper um seine Symrnetrieachse dreht.
Daher wird das physikalisch wichtigere Problem darin hestehen, das stationare
Gravitationsfeld eines mit konstanter Winkelgeschwindigkeit um die Symmetrie-
achse rotierenden Korpers zu bestimmen.
Die Diskussion des stationaren Prob!ems wurde schon friihzeitig in Angriff ge-
nomnien. Es ist aber noch nicht gelungen, die exakte Losung des Problems zu
finden. Die erste Naherungslosung wurde von L e n s e und T h i r r i n g a ) gegeberi;
diese Autoren. haben das stationare Feld aus der linearen Naherung der Fclcl-
gleichungen berechnet. Bach4) hat eine Naherungsmethode angegeben, die von
dem Schwarzschildschen Feld ausgeht und die Uercchnung des Gravitations-
feldes eines rotierenden Korpers einschlielllich der in der Drehgeschwindigkeit qua -
dratischen Terme gestattet. Ahnliche Rechnungen wurden auch von A n d r e s s 5 )
und Akeleye) unternommen.

1) H. Weyl, Ann. Physik 54, 117 (1917).

*) Wir machen von der ublich gewordenen Vereinbarung Cebrauch, worisch marl als
statisch eiii System ohne Drehimpuls bezeichnet; dagegen wird ein zeitlich unverarider-
liches, aber niit Drehimpuls versehenes System stationar genaririt.
3 ) J. Lense u. H. Thirring, Physik. Z. 19, 156 (1918).
*) R. Rach, Math. %. 18, 119 (1922).
6, W. R. Andress, Proc. Roy. SOC. London A 126, 592 (1930).
6, E. Akeley, Philos. Mag. 11, 322 (1!)31).

Ann. Physik. 6. Folge. Hd. 12 20 E

310 Annalen der Physik. 6. Folge. Band 12. 1953

Einige spezielle exakte Losungen hat, L e w i s i , angegeben. Die einfachste

dieser Losungen beschreibt das Feld eines unendlich langen Zylinders, der gleich -
formig mit Massc belegt, ist und mit konstanter Winkelgeschwindigkeit um seine
Achse rotiert,. I n diesem Pall werden die FeldgroBen nur von der Entfernung
von der Symmctrieachse abhangen ; die Feldgleichungen lassen sich also auf
gewohnliche Differentialgleichungen reduzieren, deren exakte Losung leicht ge-
funden werden kann. Die andcren Losungen von L e w i s hangen von zwei Koor-
dinaten ab ; sie entsprechen einer nicht gleichformigen Massenverteilung, welche
sich aber wieder his ins Unendliche erstreckt,. V a n S t o c k u m 8 ) h a t die erste
Lew issche Losung eingehend diskutiert.
I n der vorliegenden Arbeit werden wir eine neue exakte Losung der Feld-
gleichungen fur den stationaren Fall ableiten. Es zeigt sich aber, daB auch dies,
Losung sehr speziell und physikalisch wenig interessant ist. Wir werden niimlich
weiter nnten finden, daB diese Losung das Gravitationsfeld eines Korpers dar-
stellt, der zwar endliche Ausdehnung und einen nicht verschwindenden Dreh-
impuls, aber eine verschwindende Gesamtmasse besitzt.

2. Die Feldgleichungen
Die Feldgleichungen fur den stationaren rotationssymmetrischen Fall werden
wir unmittelbar aus der Arbeit von L e w i s ;) entnehmen. Das Linienelement hat
die Form
+
ds2 = - el' (d@ dz2) - I dpz - 2 m dp dt f dt2; +
(291)
e, z und 9 sind zylindrische Koordinaten. Die Gro13en p, I, m und f hangen nur
von e und z ab. Die Feldgleichungen sind

p p x
1
(te 1, + f, 1, + mi + mi), (2>2)

t, 1, + mi - mi);
1
[le =- (fo I, -

-2 22
Dabei bedeutet der Index@oder z Ableitung nach e oder z ; ferner ist V 2= a82 + 22 *
Zur Losung dieser Gleichungen betrachten wir zunachst das System der drei
Glcichungen (2,3). Nur zwei dieser Gleichungen sind voneinander unabhangig,
da wegen der Einfuhrung der ,,kanonischen Koordinaten" nur zwei von deli drei
GriiDen f , 1, m voneinander unabhangig sind. Es zeigt sich nlmlich, daB diese
drei GroDen durch folgende Reziehung verbunden sind :

fI + m2 = ~ 2 . (274)
7) T. L e w i s , Proc. Roy. SOC. London A 136, 176 (2932).
*) 117. J. v a n Stockuni, Proc. Roy. SOC. Edinburgh 67, 135 (1937).
 Losung i i ~der Reluticitntstheorie
-4.Papapetrozi: Rotutio~~ssytr~inctrische 31 1
--
Fiir r = +z? --f 00 rriiissen die GroDen f, 2, m asymptotisch gegen folpende
Werte streben:
f-tl, 1+p, rn+--ATe2
3 ’ (2’5)
dabei ist A dem Drehimpuls des Korpers proportional.
Wenn 1, 2, m ails den Gin. (2,3) berechnet worden sind, wird nian die iibrigcn
Gln. (2,2) und (2,2a) zur Bestimmung von p benutzen. Man findet namlich, dsB
G1. (2’2) durch folgende Gleichung ersetzt werden kann

Es ist leicht nschzuweisen, dafi die Vertraglichkeit von (2,2a) und (2,2b) schon
durch G1. (2,3) gesichert ist. Die GroBe p wird also a u s (2,2a) und (2,2b) durch
unmittclhare Integration ermittelt.
Zur Ableitung unserer Losung rnussen wir zuniichst die drei GroDen f, I , ?IL durch
zwei neue, v und w,ausdriicken:

Die drei Gleichungen ( 2 , 3 ) reduzieren sich dann auf die folgenden heiden unab-
Itangigen Gleichungen :

+ Vi)-- (Wi+ w;)

1
- (v; = 0,
e2
(2,7)
- 2 (vewe+ v, w,)= 0.
Die Randbedingungen fur v und w ergeben sich aus (2,s) und (2,6):

v+ 1,

3. Bestimmung von 2)

Die neue Losung ergibt sich, wenn wir v und w der folgenden zusatzlichen Be-
dingung unterwerfen :
v, we v, w,= 0.+ (3J)
Wir konnen (3,l) auch in der Form
V, = E we, ve-- - [ U Y z (3J a )
schrcihen. Es fol@ dann
t V2w+ 5, we + E, WZ = 0.
Vergleichen wir dieses Ergebnis mit der zweiteri der Gleichungen (2,7), welchc nun
die Form
1
v2w--we =0
e
annimnit, so finden wir
312 .4niralcn der Plcpik. 6.Folge. Band 12. 1953

Diese Gleichung bedeutet, da13 Q 6 nur von v abhangt :

5= -p(v).
Aus (3,la) finden wir weiter

Und wenn wir (3,Z) beriicksicht,igen,

P2v + -1 v
Q @
1 dP
-- - - (US
@ d v @
+ v2) =: 0. (3,3)
Andcrerseits finden wir, wenn wir (3,la) in die erste der Gleichunpen (2,7) ein-
fiihren,
(3,4)
Drr Vergleich von (3.3) und (3,4) ergibt eine Gleichung fur @:
1 a$J
c-

q, dl! =& 1 1
+a).
L)ic Losunp dieser Gleicliung ist
@2+1==a2zP,

wo a eine Integra.tionskonst,ante bedeutet.

Durch Einfuhrung von (3,5) in (3,4) ergibt sic11 eine Gleichung fur 1):

Diese Gleichung kann man auf die Laplacesche Gleicliung reduzieren. 1st namlich
11) eine Funktion von v, so findet man unmittelbar

Man sieht jetzt, daI3 (3,6) auf die Laplacesche Gleichnnp

reduziert wird, wenn y so gewahlt wird, daB

Die Losung von (3,9) ist

,--
y = P2
;lg(%?’+ vazv2- 1) + y, (3,10a)

wobci und y zwei weitere Integrationskonstanten hdcuten. Man kann (3,lOa)

nach 2: auflosen. Das Ergebnis ist
v = a’cosh (y’ y) + p’ sinh (y’ y ) , (3,lOb)
wo a‘,B’, y‘ drei Funktionen von 01, B, y, d. 11. dmi neue Konstantc sind. Die
Konstant’e 7’ kann man sofort weglassen, da rnit y auch y’ y eine Losung der L a -
placcschen Gleicliung ist. Man k0nnt.e auch die Konstante /?’ weglassen, wcil
+-
.x’coah y @‘ sinh y = a”&sL &o -+,/j’t)L, Damit wurde man aber die Losung
 8. Papapetrou: Rotatioi~ssZlfiznzetrischeLosung in der ReZatiz.ifutstheorie $13
v = a' (cosh y +
sin11 y ) , welche dem Grenzfall pl' + 00, k'' --f 0 entspricht,
nuschliel3en. Wir setzen daher
v = a cosh y -+ /?sinh y , (3,101
indem wir schliel3lich a und an Stelle von a' und schreiben.
Fur die Uerechnung von w mu13 man @ als Punktion von y ausdriicken. Dabei
darf man nicht unmittelbar (33) verwenden. da die Konstante 6 in (3,lO) von der
in (3,5) mit 6 bezeichneten Konstanten verschieden ist. Am einfachsten wird man
in (3,7) y und v vertauschen:

Beriicksichtigt man. noch (3,s) und vergleicht mit (3,4), so ergibt sich

und dann schliel3licli :

4. Bestimmung von w und p

Zur Bereclinung von w gehen wir von (3,la) aus. Mit Hilfe von (3,2) und
( 3 , I l ) finden wir

Nun kann man leicht nachweisen, da13 es immcr moglich ist, eine neue harmonische
Funktion x,
+
P2x 0x e
1
= 0,
zii finden, so da13
Y = xz.
Die Gleichungen (4,l)nehmen d m n die Form

Daher

31 - --
Die dabei auftrctende Intsgrat,ionskonstante 7 ist unwescn.tlicli. Man bemerkt
niimlich, da.13 Ig g cine harmonische Funktion ist; man kann also

v a2 - p2
Ferner kann man auch das Vorxeichen f in
lich schreiben
w =1/012-p
x absorbieren.
.&IXQ.
durch
crsctzen, wotiurcli die Konstante y aus der Formel vnrsc~iwindet.
x
Man darf also scliliel3-

Crlcichungen (3,10), (4,3) und (4,4)bestimmen eine Losung von (2,7), die von einer
(4>4)

w i l l k i i r l i c h e n harmonisclien Funkt,ion x abhiingt. Nach (2,s) ergeben sich fiir

314 Annalen dcr Physik. 6 . Folgc. Band 12. 1953

f , I und m die Formeln

f = ( 3cosh xz + p sinh xZ)-l,
I

Pn, = 1/.12-p.
f p Xe. I
Zur Berechnung von p fiihren wir (2,6) in (2,2a) und (2,2b) ein :
1
({l - lg v), =
e v2 [@2 (8; -- w;) - :2(. -- 4)],
1
(,c - 1s v), = - (92 v, v, - we w,).
e v2
Beachten wir noch die Ausdriicke (3,lO) und (4,4) fur v und w,so finden wir schlieo-
lich
(p -- 1g v)e = !i Q (y;:- Y X
(4>7)
(p- 1s v), = e Ye Yz-
Daraus wird man die GroDe p-lg v unmittelbar durch Integration gewinnen ".
Man bemerke noch, da13 die rechten Seiten von (4,7) nur die Funktion y ent-
halten, und deshalb mit den in der Weylschen Losung des statischen Problems
eint,retenden Ausdriicken genau iibereinst,immen'O). Die Int,egration von (4,7)
wird sich also genau so wie bei der Weylschen Losung gestalten.

5. Die Randbedingungen
Die erste der Bedingungen (2,5),
f -+ 1 fur r - - t c c ,
wird erfiillt, wenn man x so wahlt, daI3
x, const = A ;
--f

dabei mussen die Konstante 01, fl folgende Beziohung erfiillen:

cx cosh A + fl sinh A = 1.

Die Bedingung m + 32e2 ist mit

r3

gleichwertig. Die dritte Bedingung I + e 2 ist von selbst erfullt, wenn die zwti
ersten schon erfiillt sind.
x
Aus den obigen zwei Bedingungen ersehen wir gleich, da13 folgende Form haben
rnu13"):
x=Az---+ I# ...;
T (591)
die nicht ausgeschriebenen Terme stellen willkiirliche hohere Multipole dar.
O) Die Bedingung fur die Vertraglichkeit von (4,7) ist durch (3,8) gegeben, d. h. bei
harmonischem y automatisch erfiillt.
lo) Die Formeln fur die Weylsche Losung ergeben sich aus (4,5), wenn man darin
x =B 3 1 setzt.
11) Ein konstanter Term in 1: ist offensichtlich fur (4,5) unwesentlich.
 A . PapapPtrm: Rotntionsaymmrtrisch~Losung in drr Relotiiitn'tsthwric 315

x
Es bleibt noch die Aufgabe, die durch eine Funktion der Form (5,l) erzeugte
Losung (4,s)physikalisch zu deuten. Man findet ails (5,l)

Nach der ersten G1. (4,5)wird also die Gro13e f - 1 mit einem Term anfangen,
z 1
der zu r3 proportional ist; und es gibt k e i n e n zu - proportionalen Term. Da
der Koeffizient dieses fehlenden Terms der Masse des das Gravitationsfeld er-
zeugenden Korpers proportional ist, mussen wir daraus schlieOen, da13 die gefundene
Losung einem Korper von verschwindender Masse entspricht.
1
Versucht man in f - 1 einen zii - proportionalen Term einzufuhren, so wird
dies nur dadurch moglich, da13 man in x einen zu lg ( z + T) proportionalen Term
hinzufugt 12). Dann erhalt aber xe einen zu
(z
e
+ 4 proportionalen Term; des-
-

halb wird die Erfullung der Randbedingung fur m nur dadurch moglich, da13 man
LY = P annimmt, d. h. den Drehimpuls gleich Null setzt. Die Losung (4,5)be-
stimmt also das Feld eines Korpers, fur den entweder nur die Masse oder'nur der
Drehimpuls von Null verschieden ist. Das Feld eines Korpers mit nicht ver-
schwindender Masse u n d Drehimpuls ist in (4,5) nicht enthalten: Dieses Feld
aird einer allgerneineren Losung der Gln. (2,7) entsprechen, bei welcher die zu-
siitzliche Redingung (3,l) nicht erfullt ist.
12) \Vie inan leicht nachpruft, ist Ig ( z + r ) eine harrnonische Funktion.
R e r l i n , Deutsclie Akademie der Wissenschaften.

(nei der Redaktion eingegangen am 20. November 1952.)