[189]
아인슈타인의 이론에 따른 질점의 중력장에 대하여
Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie
1916년 1월 13일 제출됨. (42쪽 참고)[1]
아인슈타인 씨(Hr. Einstein)는 수성(Mercury)의 근일점 운동에 관한 그의 연구에서 (1915년 11월 18일 자 회의보고서[Sitzungsberichte] 참조) 다음과 같은 문제를 제기했다.
한 점이 다음 요구 사항을 따라 움직인다고 하자.
|
이 때
|
|
여기에서 는 변수 의 어떤 함수를 나타내며, 변분 시에 적분 경로의 시작과 끝에서 변수 는 고정되어 있어야 한다. 요컨대, 점은 선소(line element) 로 특정된 다양체(manifold) 위에서 측지선(geodesic line)을 따라 이동한다.
변분을 수행하면 점의 운동 방정식이 생성된다.
|
|
|
여기서
|
|
|
이며, 는 행렬식 의 에 대하여 조정되고 정규화된 소행렬식(역주 : 역행렬 성분)을 나타낸다.
아인슈타인 이론에 따르면, 만약 "중력장의 성분" 가 "장방정식"
[190]
|
|
|
과 "행렬식의 방정식"
|
|
|
을 점 을 제외한 모든 곳에서 만족시킨다면 이것은 에 위치한 질점이 만드는 중력장 안에서 질량이 없는 점이 만드는 운동이다.
장방정식과 행렬식의 방정식은 변수 를 행렬식이 인 변환으로 임의로 대체했을 때 그 형태가 보존된다는 근본적인 속성을 가지고 있다.
은 직교 좌표계를, 는 시간을 나타낸다고 하자. 또한 원점에서의 질량은 시간에 따라 변하지 않으며 무한대에서의 운동은 직선적이고 균일해야 한다. 다음으로, 아인슈타인 씨의 열거 p. 833에 따르면 다음 조건도 충족되어야 한다.
- 1. 모든 성분은 시간 에 대해 독립적이다.
- 2. 에 대하여 방정식 이 정확히 성립한다.
- 3. 해는 공간 상에서 좌표계의 원점에 대하여, 에 직교 변환(회전)을 적용했을 때 다시 동일한 해를 얻는 방식으로 대칭성을 갖는다.
- 4. 는 다음 네 가지 이 아닌 극한을 제외하고는 무한대에서 사라진다.
문제는 장 방정식, 행렬식 방정식과 개의 요구를 만족시키는 계수를 갖는 선소를 찾아내는 것이다.
아인슈타인 씨는 이 문제가, 차 근사를 통해 뉴턴의 법칙으로 이어지고 차 근사를 통해 수성 근일점의 운동에서 알려진 이상 현상을 정확하게 재현한다는 것을 보였다. 다음 계산은 이 문제의 정확한 해를 산출한다. 단순한 형태의 엄밀해가 가능하다는 것은 언제나 즐거운 일이다. 더 중요한 것은 계산이 해의 유일성을 증명한다는 것이다. 이에 대한 아인슈타인 씨의 논의는 여전히 의문을 남겼고, 아래에 제시된 내용을 고려할 때, 그러한 근사 과정으로는 증명이 거의 불가능하다. 따라서 다음을 통해, 아인슈타인 씨의 결과는 보다 분명하게 빛나게 된다.
를 시간, 를 직교 좌표계라 하면 조건 (1) ~ (3)을 만족하는 가장 일반적인 선소는 다음과 같다.
[191]
여기에서 는 의 함수이다.
조건 (4)는 일 때 일 것을 요구한다.
에 따라 극좌표로 이동하면 동일 선 요소는 다음과 같다.
|
|
|
한편 극좌표의 부피소는 와 같고, 기존 좌표와 새로운 좌표의 함수 행렬식[Funktionaldeterminante] 는 과 다르다. 따라서 이러한 극좌표로 계산하면 장 방정식은 불변 형태로 있지 않게 되며 번거로운 변환을 수행해야 한다. 그러나 이 어려움을 피할 수 있는 쉬운 요령이 있다. 각각 다음을 대입한다.
|
|
|
그러면 부피소에 이 적용된다. 따라서 새로운 변수는 행렬식이 인 극좌표이다. 이들은 문제를 다루는 데 있어서 극좌표의 명백한 장점을 가지고 있으면서, 동시에 를 추가하면, 장 방정식과 행렬식 방정식은 그에 대하여 바뀌지 않은 형태로 유지된다.
새로운 극좌표에서 선소는 다음과 같다:
|
|
|
우리는 다음과 같이 쓰고 싶다:
|
|
|
그러면 는 다음 조건을 충족해야 하는 의 세 가지 함수이다.
- 1. 일 때 :
- 2. 행렬식의 방정식:
- 3. 장 방정식
- 4. 을 제외한 의 연속성
장 방정식을 공식화하려면 먼저 선 요소(9)에 해당하는 중력장의 구성 요소를 형성해야 한다. 이것은 다음과 같은 경우 가장 간단한 방법으로 발생한다.
[192]
하나는 변형을 직접 실행하여 측지선의 미분 방정식을 만들고 이들로부터 구성 요소를 읽는다. 선 요소(9)에 대한 측지선의 미분 방정식은 다음 형식의 즉시 변동에서 비롯된다.
(2)와의 비교는 중력장의 구성 요소를 제공한다.
(다른 것들은 0)
원점을 중심으로 한 회전 대칭으로 인해 적도에 대해서만 필드 방정식을 작성하는 것으로 충분하하다. 따라서, 이들은 한 번만 미분될 것이기 때문에, 앞의 표현에서는 로 시작하는 모든 곳에서 설정할 수 있다. 그러면 장 방정식의 계산은 다음을 제공한다.
a)
b)
c)
[193]
이 세 방정식 외에도 함수 은 행렬식의 방정식도 충족해야 한다.
d) 또는
지금은 (b)를 무시하고 (a), (c), (d)에서 세 가지 함수 를 결정한다. (c)는 다음 형식으로 바꿀 수 있다.
c')
이것은 직접 통합될 수 있으며 다음을 제공한다.
c") (α 적분 상수)
(a)와 (c')를 더하면
(d)를 고려하면 다음과 같다.
적분하면
- (ρ 적분 상수)
또한
한번 더 적분하면
무한대의 조건에는 다음이 필요다:
- (10)
따라서 (c") 및 (d)에서 더 많은 결과가 나타난다.
무한대의 조건을 고려하면서 적분함으로써
- (11)
따라서 (d)에서
- (12)
[194]
쉽게 확인할 수 있듯이 식 (b)는 과 에 대해 찾은 식에 의해 자동으로 충족된다.
따라서 연속성 조건을 제외한 모든 조건이 충족된다. 은 다음과 같은 경우 불연속적이다.
이 불연속성이 원점과 일치하려면 다음과 같아야 한다.
- (13)
따라서 연속성 조건은 이러한 방식으로 두 개의 적분 상수 ρ 및 α와 관련된다.
우리의 문제의 완전한 해는 다음과 같다.
여기서 보조량(the auxiliary quantity)
이 도입되었다.
선소의 표현식 (9)에 함수 f의 이러한 값을 도입하고 일반적인 극좌표로 돌아가면 아인슈타인 문제의 정확한 해를 형성하는 선소를 얻는다.
(14)
후자는 원점에 위치한 질량 값에 의존하는 상수 α만을 포함한다.
해의 유일성은 현재의 계산을 통해 자연히 얻어졌다.
다음으로부터 우리는 아인슈타인 씨 방식의 근사 과정으로부터는 유일성을 확인하는 것이 어려웠을 것임을 알 수 있다. 연속성 조건이 없었다면 다음과 같은 결과가 나왔을 것이다.
α 및 ρ가 작을 때 2차 수량까지의 급수 전개는 다음을 제공한다.
이 식은 의 해당 확장과 함께 문제의 모든 조건을 동일한 정확도로 충족한다. 이 근사치 내에서 연속성 조건은 새로운 것을 도입하지 않는다. 불연속성은 원점에서만 자발적으로 발생하기 때문이다.
[195]
그러면 두 개의 상수 α와 ρ가 임의적으로 남아 있는 것으로 보이며 따라서 문제는 물리적으로 결정되지 않을 것이다. 정확한 해는 실제로 근사를 확장함으로써 불연속성이 원점에서 발생하지 않고 에서 발생하며 불연속성이 이 원점으로 이동하려면 만 설정해야 한다는 것을 가리킨다. α와 ρ의 거듭제곱으로 근사하면 α와 ρ 사이의 이러한 연결의 필요성을 파악하기 위해 계수의 법칙을 매우 밀접하게 조사해야 한다.
마지막으로, 중력장에 놓인 한 점의 운동, 즉 선소(14)에 대응되는 측지선을 유도해야 한다.
선소는 미소 변화에 대하여 동차이고 그 계수는 와 에 의존하지 않는다는 세 가지 사실로부터, 변분을을 통해 즉시 3개의 중간 적분을 얻는다. 적도 평면()에서의 운동으로 한정할 경우 이 중간 적분은 다음과 같다.
(15)
(16)
(시간 단위의 결정) (17)
여기에서 다음을 얻는다.
또는 에서
- (18)
라는 표기법을 도입하면 이것은 아인슈타인 씨의 방정식 (11)a.a.0 과 동일하며 관측된 수성의 근일점 편차를 제공한다.
실제로 궤도에 대한 아인슈타인 씨의 근사치는 을
로 대체하면 정확한 해가 된다.
[196]
- 은 행성 속도의 제곱의 2배에 가깝기 때문에(빛의 속도를 단위로) 수성의 경우 괄호는 정도의 양에 대해서만 1과 다르다. 따라서 은 과 거의 동일하고 아인슈타인의 근사값은 가장 실제적 요구에 적합하다.
마지막으로 원형 궤도에 대한 세 번째 케플러 법칙의 정확한 형태가 도출된다. (16)과 (17)로 인해 로 설정하면 각속도 에 대해 다음이 성립한다.
원형 궤도의 경우 와 가 모두 사라져야 한다. (18)로 인해 이것은
이 두 방정식에서 를 제거하면
따라서 다음과 같다.
세 번째 케플러 법칙에서 이 공식의 편차는 태양 표면까지 완전히 무시할 수 있다. 그러나 이상적인 질점의 경우에는 뉴턴의 법칙과 같이 궤도의 반지름이 점점 작아질 때 각속도가 무한히 증가하지 않고 정해진 한계에 가까워진다는 결과가 나온다.
(태양 질량이 있는 지점의 경우 한계 주파수는 초 당 약 이다). 유사한 법칙이 분자력을 지배한다면 이 상황이 흥미로울 수 있다.
|
[189]
Über das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie
Von K. Schwarzschild
(Vorgelegt am 13. Januar 1916 [s. oben S. 42])
§1. Hr. Einstein hat in seiner Arbeit über die Perihelbewegung des Merkur (s. Sitzungsberichte vom 18. November 1915) folgendes Problem gestellt:
Ein Punkt bewege sich gemäß der Forderung
wobei
(1)
ist, Funktionen der Variabeln bedeuten und bei der Variation am Anfang und Ende des Integrationswegs die Variablen festzuhalten sind. Der Punkt bewege sich also, kurz gesagt, auf einer geodätischen Linie in der durch das Linienelement charakterisierten Mannigfaltigkeit.
Die Ausführung der Variation ergibt die Bewegungsgleichungen des Punktes
wobei
ist und die zu koordinierte und normierte Subdeterminante in der Determinante bedeutet.
Dies ist nun nach der Einsteinschen Theorie dann die Bewegung eines masselosen Punktes in dem Gravitationsfeld einer im Punkt befindlichen Masse, wenn die »Komponenten des Gravitationsfeldes« überall, mit Ausnahme des Punktes , den »Feldgleichungen«
[190]
genügen und wenn zugleich die »Determinantengleichung«
erfüllt ist.
Die Feldgleichungen in Verbindung mit der Determinantengleichung haben die fundamentale Eigenschaft, daß sie ihre Gestalt behalten bei der Substitution beliebiger andrer Variablen an Stelle von , falls nur die Substitutionsdeterminante gleich 1 ist.
Sollen rechtwinklige Koordinaten, die Zeit bedeuten, soll ferner die Masse im Nullpunkt zeitlich unveränderlich sein, und soll die Bewegung im Unendlichen gleichförmig gradlinig sein, so sind gemäß Hrn. Einsteins Aufzählung a. a. O. S. 833 noch folgende Forderungen zu erfüllen:
- 1. Alle Komponenten sind von der Zeit unabhängig.
- 2. Die Gleichungen gelten exakt für
- 3. Die Lösung ist räumlich symmetrisch um den Anfangspunkt des Koordinatensystems in dem Sinne, daß man wieder auf dieselbe Lösung stößt, wenn man einer orthogonalen Transformation (Drehung) unterwirft.
- 4. Die verschwinden im Unendlichen, mit Ausnahme folgender vier von null verschiedener Grenzwerte:
Das Problem ist, ein Linienelement mit solchen Koeffizienten ausfindig zu machen, daß die Feldgleichungen, die Determinantengleichung und diese vier Forderungen erfüllt werden.
§ 2. Hr. Einstein hat gezeigt, daß dies Problem in erster Näherung auf das Newtonsche Gesetz führt und daß die zweite Näherung die bekannte Anomalie in der Bewegung des Merkurperihels richtig wiedergibt. Die folgende Rechnung liefert die strenge Lösung des Problems. Es ist immer angenehm, über strenge Lösungen einfacher Form zu verfügen. Wichtiger ist, daß die Rechnung zugleich die eindeutige Bestimmtheit der Lösung ergibt, über die Hrn. Einsteins Behandlung noch Zweifel ließ, und die nach der Art, wie sie sich unten einstellt, wohl auch nur schwer durch ein solches Annäherungsverfahren erwiesen werden könnte. Die folgenden Zeilen führen also dazu, Hrn. Einsteins Resultat in vermehrter Reinheit erstrahlen zu lassen
§ 3. Nennt man die Zeit die rechtwinkligen Koordinaten so ist das allgemeinste Linienelement, welches die Forderungen 1-3 erfüllt, offenbar das folgende
[191]
wobei
- Funktionen von sind.
Die Forderung (4) verlangt: Für
Wenn man zu Polarkoordinaten gemäß übergeht, lautet dasselbe Linienelement:
-
Indessen ist das Volumenelement in Polarkoordinaten gleich , die Funktionaldeterminante der alten noch den neuen Koordinaten ist von 1 verschieden; es würden also die Feldgleichungen nicht in unveränderter Form bestehen, wenn man mit diesen Polarkoordinaten rechnete, und man würde eine umständliche Transformation ausführen müssen. Ein einfacher Kunstgriff gestattet jedoch, diese Schwierigkeit zu umgehen. Man setze
-
Dann gilt für das Volumenelement: . Die neuen Variablen sind also Polarkoordinaten von der Determinante 1. Sie haben die offenbaren Vorzüge von Polarkoordinaten für die Behandlung des Problems, und zugleich bleiben für sie, wenn man noch hinzunimmt, die Feldgleichungen und die Determinantengleichung in unveränderter Form erhalten.
In den neuen Polarkoordinaten lautet das Linienelement
-
wofür wir schreiben wollen
-
Dann sind drei Funktionen von , welche folgende Bedingungen zu erfüllen haben
- 1. Für
- 2. Die Determinantengleichung:
- 3. Die Feldgleichungen.
- 4. Die stetig, außer für
§ 4. Um die Feldgleichungen aufstellen zu können, muß man zunächst die dem Linienelement (9) entsprechenden Komponenten des Gravitationsfeldes bilden. Es geschieht dies am einfachsten, indem
[192]
man durch direkte Ausführung der Variation die Differentialgleichungen der geodätischen Linie bildet und aus diesen die Komponenten abliest. Die Differentialgleichungen der geodätischen Linie für das Linienelement (9) ergeben sich durch die Variation unmittelbar in der Form:
Der Vergleich mit (2) gibt die Komponenten des Gravitationsfeldes
(die übrigen null).
Bei der Rotationssymmetrie um den Nullpunkt genügt es, die Feldgleichungen nur für den Äquator zu bilden, so daß man, da nur einmal differenziert wird, in den vorstehenden Ausdrücken überall von vorneweg gleich 1 setzen darf. Damit liefert dann die Ausrechnung der Feldgleichungen
a)
b)
c)
[193]
Außer diesen drei Gleichungen haben die Funktionen noch die Determinantengleichung zu erfüllen
d) oder:
Ich lasse zunächst (b) weg und bestimme die drei Funktionen aus (a), (c) und (d). (c) läßt sich umstellen in die Form
c')
Das läßt sich unmittelbar integrieren und gibt
c") (α Integrationskonstante)
(a) und (c') addiert geben
Verbunden mit (d) folgt
Integriert
- (ρ Integrationskonstante)
oder
Nochmals integriert
Die Bedingung im Unendlichen fordert: .
Also
- (10)
Damit ergibt sich weiter aus (c") und (d)
Integriert in Rücksicht auf die Bedingung im Unendlichen
- (11)
Nunmehr aus (d)
- (12)
[194]
Die Gleichung (b) ist, wie man leicht nachrechnet, mit den gefundenen Ausdrücken von und von selbst erfüllt.
Damit sind alle Forderungen befriedigt bis auf die Stetigkeitsbedingung. Es wird unstetig, wenn
ist. Damit diese Unstetigkeit mit dem Nullpunkt zusammenfällt, muß
- (13)
sein. Die Stetigkeitsbedingung verknüpft also in dieser Weise die beiden Integrationskonstanten ρ und α.
Die vollständige Lösung unsrer Aufgabe lautet jetzt so:
wobei die Hilfsgröße
eingeführt ist.
Setzt man diese Werte der Funktionen f im Ausdruck (9) des Linienelements ein und kehrt zugleich zu gewöhnlichen Polarkoordinaten zurück, so ergibt sich das Linienelement, welches die strenge Lösung des Einsteinschen Problems bildet:
- (14)
Dasselbe enthält die eine Konstante α, welche von der Größe der im Nullpunkt befindlichen Masse abhängt.
§ 5. Die Eindeutigkeit der Lösung hat sich durch die vorstehende Rechnung von selbst ergeben. Daß es schwer wäre, aus einem Annäherungsverfahren nach Hrn. Einsteins Art die Eindeutigkeit zu erkennen, sieht man an folgendem: Es hatte sich oben, bevor noch die Stetigkeitsbedingung herangezogen war, ergeben:
Wenn α und ρ klein sind, so liefert die Reihenentwicklung bis auf Größen zweiter Ordnung:
Dieser Ausdruck, zusammen mit den entsprechend entwickelten von befriedigt innerhalb derselben Genauigkeit alle Forderungen des Problems. Die Stetigkeitsforderung liefert innerhalb dieser Annäherung
[195]
nichts Neues hinzu, da von selbst nur im Nullpunkt Unstetigkeiten auftreten. Es scheinen also die beiden Konstanten α und ρ willkürlich zu bleiben, womit das Problem physikalisch unbestimmt wäre. Die strenge Lösung lehrt, daß in Wirklichkeit bei der Fortsetzung der Näherungen die Unstetigkeit nicht im Nullpunkt, sondern an der Stelle eintritt, und daß man gerade setzen muß, damit die Unstetigkeit in den Nullpunkt rückt. Man müßte bei der Annäherung nach Potenzen von α und ρ das Gesetz der Koeffizienten schon sehr gut überblicken, um die Notwendigkeit dieser Bindung zwischen α und ρ zu erkennen.
§ 6. Es ist schließlich noch die Bewegung eines Punktes im Gravitationsfelde, die zu dem Linienelement (14) gehörige geodätische Linie, abzuleiten. Aus den drei Umständen, daß das Linienelement homogen in den Differentialen ist und seine Koeffizienten unabhängig von t und von ρ sind, ergeben sich bei der Variation sofort drei intermediäre Integrale. Beschränkt man sich gleich auf die Bewegung in der Äquatorebene ( so lauten diese intermediären Integrale:
- (15)
- (16)
- (Festlegung der Zeiteinheit). (17)
Daraus folgt
oder für
- (18)
Führt man die Bezeichnungen: ein, so ist dies identisch mit Hrn. Einsteins Gleichung (11) a. a. 0. und gibt die beobachtete Anomalie des Merkurperihels.
Überhaupt geht hiernach Hrn. Einsteins Annäherung für die Bahnkurve in die strenge Lösung über, wenn man nur statt r die Größe
[196]
einführt. Da nahe gleich dem doppelten Quadrat der Planetengeschwindigkeit (Einheit die Lichtgeschwindigkeit) ist, so ist die Klammer selbst für Merkur nur um Größen der Ordnung von 1 verschieden. Es ist also praktisch mit identisch und Hrn. Einsteins Annäherung für die entferntesten Bedürfnisse der Praxis ausreichend.
Zum Schluß soll noch die strenge Form des dritten Keplerschen Gesetzes für Kreisbahnen abgeleitet werden. Für die Winkelgeschwindigkeit gilt nach (16) und (17), wenn man einführt,
Für Kreisbahnen muß sowohl als null sein. Das gibt nach (18)
Die Elimination von aus diesen beiden Gleichungen liefert
Damit folgt
Bis zur Sonnenoberfläche hin ist die Abweichung dieser Formel vom dritten Keplerschen Gesetz völlig unmerklich. Für einen idealen Massenpunkt folgt aber, daß die Winkelgeschwindigkeit nicht, wie beim Newtonschen Gesetz, unbegrenzt wächst bei Verkleinerung des Bahnradius, sondern sich einer bestimmten Grenze
nähert. (Für einen Punkt von Sonnenmasse wird die Grenzfrequenz rund in der Sekunde.) Wenn für die Molekularkräfte ähnliche Gesetze herrschen, könnte dort dieser Umstand von Interesse sein.
|