解析力学から様々な理論分野を組み立てる 第2部 第16章 §2.16.3 ★★★ 軌道の式の 3 G M u 2 / c 2 3GMu^2/c^2 3 GM u 2 / c 2 を摂動として扱い、1周あたり 6 π G M / [ c 2 a ( 1 − e 2 ) ] 6\pi GM/[c^2a(1-e^2)] 6 π GM / [ c 2 a ( 1 − e 2 )] の近日点の進みを出す。水星で 1 世紀に 43 ′ ′ 43'' 4 3 ′′
Newton の楕円とその上の摂動
3 G M u 2 / c 2 3GMu^2/c^2 3 GM u 2 / c 2 の項が無ければ、(2.16.16) の解は
u 0 ( φ ) = 1 + e cos φ p , p ≔ ℓ 2 G M = a ( 1 − e 2 ) (2.16.18) u_0(\varphi)=\frac{1+e\cos\varphi}{p},\qquad p\coloneqq\frac{\ell^2}{GM}=a(1-e^2)\tag{2.16.18} u 0 ( φ ) = p 1 + e cos φ , p : = GM ℓ 2 = a ( 1 − e 2 ) ( 2.16.18 )
である(e e e は離心率、a a a は長半径、p p p は半直弦。近日点を φ = 0 \varphi=0 φ = 0 にとった)。これは閉じた楕円で、近日点は φ = 0 , 2 π , 4 π , … \varphi=0,2\pi,4\pi,\dots φ = 0 , 2 π , 4 π , … に来る。太陽系の惑星では (2.16.16) の右辺の2項の比が ( 3 G M u 2 / c 2 ) / ( G M / ℓ 2 ) ≈ 3 G M / ( c 2 p ) (3GMu^2/c^2)/(GM/\ell^2)\approx3GM/(c^2p) ( 3 GM u 2 / c 2 ) / ( GM / ℓ 2 ) ≈ 3 GM / ( c 2 p ) で、水星でも 8 × 10 − 8 8\times10^{-8} 8 × 1 0 − 8 しかない。そこで小さいパラメータを
ϵ ≔ G M c 2 p (2.16.19) \epsilon\coloneqq\frac{GM}{c^2p}\tag{2.16.19} ϵ : = c 2 p GM ( 2.16.19 )
とおき、u = u 0 + u 1 + O ( ϵ 2 ) u=u_0+u_1+\mathcal{O}(\epsilon^2) u = u 0 + u 1 + O ( ϵ 2 ) と展開する。u 1 u_1 u 1 は ϵ \epsilon ϵ の1次で、右辺の摂動項に u 0 u_0 u 0 を入れた
d 2 u 1 d φ 2 + u 1 = 3 G M c 2 u 0 2 = 3 ϵ p ( 1 + 2 e cos φ + e 2 cos 2 φ ) \frac{\mathrm{d}^2u_1}{\mathrm{d}\varphi^2}+u_1=\frac{3GM}{c^2}u_0^2=\frac{3\epsilon}{p}\Bigl(1+2e\cos\varphi+e^2\cos^2\varphi\Bigr) d φ 2 d 2 u 1 + u 1 = c 2 3 GM u 0 2 = p 3 ϵ ( 1 + 2 e cos φ + e 2 cos 2 φ )
を満たす。右辺の3つの項はそれぞれ特解を持つ。定数 1 1 1 の特解は定数、cos 2 φ = 1 2 ( 1 + cos 2 φ ) \cos^2\varphi=\frac12(1+\cos2\varphi) cos 2 φ = 2 1 ( 1 + cos 2 φ ) の特解は定数と cos 2 φ \cos2\varphi cos 2 φ で、どちらも周期 2 π 2\pi 2 π の関数である。ところが中央の 2 e cos φ 2e\cos\varphi 2 e cos φ は左辺の演算子の固有振動 cos φ \cos\varphi cos φ と同じ振動数を持つので、強制振動の共鳴と同じく振幅が φ \varphi φ に比例して増え、特解は
3 ϵ p ⋅ e φ sin φ \frac{3\epsilon}{p}\cdot e\,\varphi\sin\varphi p 3 ϵ ⋅ e φ sin φ
となる(左辺に入れると ( φ sin φ ) ′ ′ + φ sin φ = 2 cos φ (\varphi\sin\varphi)''+\varphi\sin\varphi=2\cos\varphi ( φ sin φ ) ′′ + φ sin φ = 2 cos φ なので確かめられる)。このように振幅が際限なく増える項を永年項 と呼ぶ。
永年項は近日点の回転を表す
u 0 u_0 u 0 と永年項を合わせると、1次までで
u ≈ 1 p [ 1 + e cos φ + 3 ϵ e φ sin φ ] + ( 周期 2 π の小さな項 ) u\approx\frac1p\Bigl[1+e\cos\varphi+3\epsilon e\,\varphi\sin\varphi\Bigr]+(\text{周期 }2\pi\text{ の小さな項}) u ≈ p 1 [ 1 + e cos φ + 3 ϵe φ sin φ ] + ( 周期 2 π の小さな項 )
である。cos ( φ − φ 0 ) ≈ cos φ + φ 0 sin φ \cos(\varphi-\varphi_0)\approx\cos\varphi+\varphi_0\sin\varphi cos ( φ − φ 0 ) ≈ cos φ + φ 0 sin φ (φ 0 \varphi_0 φ 0 が小さいとき)と比べると、3 ϵ φ 3\epsilon\varphi 3 ϵ φ が小さいうちは
u ≈ 1 p [ 1 + e cos ( ( 1 − 3 ϵ ) φ ) ] (2.16.20) u\approx\frac1p\Bigl[1+e\cos\bigl((1-3\epsilon)\varphi\bigr)\Bigr]\tag{2.16.20} u ≈ p 1 [ 1 + e cos ( ( 1 − 3 ϵ ) φ ) ] ( 2.16.20 )
と同じである。つまり軌道は「少しずつ回転する楕円」で、近日点(u u u が最大になる所)は ( 1 − 3 ϵ ) φ = 2 π (1-3\epsilon)\varphi=2\pi ( 1 − 3 ϵ ) φ = 2 π 、すなわちφ = 2 π / ( 1 − 3 ϵ ) ≈ 2 π ( 1 + 3 ϵ ) \varphi=2\pi/(1-3\epsilon)\approx2\pi(1+3\epsilon) φ = 2 π / ( 1 − 3 ϵ ) ≈ 2 π ( 1 + 3 ϵ ) で再び来る。1周ごとに近日点は公転と同じ向きに
Δ φ = 6 π ϵ = 6 π G M c 2 a ( 1 − e 2 ) (2.16.21) \Delta\varphi=6\pi\epsilon=\frac{6\pi GM}{c^2a(1-e^2)}\tag{2.16.21} Δ φ = 6 π ϵ = c 2 a ( 1 − e 2 ) 6 π GM ( 2.16.21 )
だけ進む。素朴な展開 u 0 + u 1 u_0+u_1 u 0 + u 1 そのものは φ ∼ 1 / ϵ \varphi\sim1/\epsilon φ ∼ 1/ ϵ で破綻する(永年項が主要項と同じ大きさになる)が、(2.16.20) のように振動数をずらして書き直した形は何周後でも正しい。この書き直しは Poincaré–Lindstedt の方法の最も簡単な例で、数学としては 近似の数理 第7章 の永年項の議論に当たる。
実際、ϵ \epsilon ϵ を大きくとって (2.16.16) を数値で積分すると、軌道は花びらのような形を描く(図 2.16.2 )。ϵ = 10 − 3 \epsilon=10^{-3} ϵ = 1 0 − 3 で数値積分した近日点の間隔と 2 π + 6 π ϵ 2\pi+6\pi\epsilon 2 π + 6 π ϵ との差は 6 π ϵ 6\pi\epsilon 6 π ϵ の 0.8 % 0.8\% 0.8% で、ϵ \epsilon ϵ を半分にすると差は約4分の1になる。差が ϵ 2 \epsilon^2 ϵ 2 の大きさであり、(2.16.21) が1次まで正しいことがこれで確かめられる(検算)。
図 2.16.2 近日点 20 G M / c 2 20\,GM/c^2 20 GM / c 2 ・遠日点 60 G M / c 2 60\,GM/c^2 60 GM / c 2 の軌道(半直弦 p = 30 G M / c 2 p=30\,GM/c^2 p = 30 GM / c 2 、離心率 e = 0.5 e=0.5 e = 0.5 。ϵ ≈ 1 / 30 \epsilon\approx1/30 ϵ ≈ 1/30 で、効果を見せるため水星の 10 6 10^6 1 0 6 倍に誇張した)。実線は Newton の楕円 (2.16.18) 、点線は近日点と遠日点が同じになるように ℓ \ell ℓ を選んで (2.16.16) を数値で積分した約2周半分。近日点は1周ごとに公転の向きへ 43 ∘ 43^\circ 4 3 ∘ 回り、軌道は閉じない(1次の式 6 π ϵ 6\pi\epsilon 6 π ϵ は 36 ∘ 36^\circ 3 6 ∘ で、差は ϵ \epsilon ϵ が大きいための高次の項)。
観測との比較
水星の近日点が Newton の重力で説明できない分だけ進んでいることは、U. Le Verrier が 1859 年に見つけた1 1 U. J. J. Le Verrier (1859), Comptes Rendus de l'Académie des Sciences 49, 379–383。当時の値は 1 世紀に約 38 ′ ′ 38'' 3 8 ′′ 。 。観測される近日点の進み(1 世紀に約 5600 ′ ′ 5600'' 560 0 ′′ )の大部分は、地球の歳差(座標系の回転)と金星・木星などほかの惑星の引力で説明でき、残りが一般相対論の効果である。G. M. Clemence は観測値からほかの惑星の寄与を引いた残りを 1 世紀に 42.56 ′ ′ ± 0.94 ′ ′ 42.56''\pm0.94'' 42.5 6 ′′ ± 0.9 4 ′′ とした2 2 G. M. Clemence (1947), Reviews of Modern Physics 19, 361–364. 。(2.16.21) の値は次の例題のとおり 42.98 ′ ′ 42.98'' 42.9 8 ′′ で、誤差の範囲で一致する。A. Einstein は 1915 年に、場の方程式を完成させるのと同時にこの値を出した3 3 A. Einstein (1915), Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften, 831–839. 。
例題 2.16.3 内惑星の近日点移動 ★★★
オリジナル G M ⊙ = 1.32712440018 × 10 20 m 3 s − 2 GM_\odot=1.32712440018\times10^{20}\,\mathrm{m^3\,s^{-2}} G M ⊙ = 1.32712440018 × 1 0 20 m 3 s − 2 、1 a u = 1.495978707 × 10 11 m 1\,\mathrm{au}=1.495978707\times10^{11}\,\mathrm m 1 au = 1.495978707 × 1 0 11 m とする。水星は a = 0.387098 a u a=0.387098\,\mathrm{au} a = 0.387098 au 、e = 0.205630 e=0.205630 e = 0.205630 、公転周期 87.9691 87.9691 87.9691 日、金星は a = 0.723332 a u a=0.723332\,\mathrm{au} a = 0.723332 au 、e = 0.006772 e=0.006772 e = 0.006772 、224.701 224.701 224.701 日、地球は a = 1.00000261 a u a=1.00000261\,\mathrm{au} a = 1.00000261 au 、e = 0.0167086 e=0.0167086 e = 0.0167086 、365.256363 365.256363 365.256363 日である。1 世紀を 36525 36525 36525 日とする。
(1) 水星の (2.16.19) の ϵ \epsilon ϵ と、1周あたりの近日点の進み(秒角)を求めよ。
(2) 3つの惑星について、1 世紀あたりの近日点の進みを求めよ。
解答 (1) p = a ( 1 − e 2 ) = 0.387098 × 1.495979 × 10 11 × ( 1 − 0.205630 2 ) = 5.546 × 10 10 m p=a(1-e^2)=0.387098\times1.495979\times10^{11}\times(1-0.205630^2)=5.546\times10^{10}\,\mathrm m p = a ( 1 − e 2 ) = 0.387098 × 1.495979 × 1 0 11 × ( 1 − 0.20563 0 2 ) = 5.546 × 1 0 10 m 。G M ⊙ / c 2 = 1476.6 m GM_\odot/c^2=1476.6\,\mathrm m G M ⊙ / c 2 = 1476.6 m なので ϵ = 1476.6 / 5.546 × 10 10 = 2.66 × 10 − 8 \epsilon=1476.6/5.546\times10^{10}=2.66\times10^{-8} ϵ = 1476.6/5.546 × 1 0 10 = 2.66 × 1 0 − 8 。1周あたり Δ φ = 6 π ϵ = 5.02 × 10 − 7 r a d \Delta\varphi=6\pi\epsilon=5.02\times10^{-7}\,\mathrm{rad} Δ φ = 6 π ϵ = 5.02 × 1 0 − 7 rad 、秒角に直すと(1 r a d = 206265 ′ ′ 1\,\mathrm{rad}=206265'' 1 rad = 20626 5 ′′ )0.1035 ′ ′ 0.1035'' 0.103 5 ′′ である。
(2) 1 世紀の公転の回数は水星で 36525 / 87.9691 = 415.2 36525/87.9691=415.2 36525/87.9691 = 415.2 回なので、0.1035 ′ ′ × 415.2 = 42.98 ′ ′ 0.1035''\times415.2=42.98'' 0.103 5 ′′ × 415.2 = 42.9 8 ′′ 。同じ計算で金星は1周 0.0531 ′ ′ 0.0531'' 0.053 1 ′′ ・162.5 162.5 162.5 回で 8.62 ′ ′ 8.62'' 8.6 2 ′′ 、地球は1周 0.0384 ′ ′ 0.0384'' 0.038 4 ′′ ・100.0 100.0 100.0 回で 3.84 ′ ′ 3.84'' 3.8 4 ′′ である。
水星の値が最も大きいのは、Δ φ ∝ 1 / [ a ( 1 − e 2 ) ] \Delta\varphi\propto1/[a(1-e^2)] Δ φ ∝ 1/ [ a ( 1 − e 2 )] が太陽に近いほど大きく、そのうえ公転周期が短く(Kepler の第3法則で ∝ a 3 / 2 \propto a^{3/2} ∝ a 3/2 )1 世紀の周回数が多いからで、1 世紀あたりの値は a − 5 / 2 a^{-5/2} a − 5/2 に比例して減る。金星と地球の値も、観測で確かめられている(ただし離心率が小さいので近日点の位置を決める誤差が大きい)。
近似の裏付け
型 B(極限) | 小さいもの ϵ = G M / ( c 2 p ) → 0 \epsilon=GM/(c^2p)\to0 ϵ = GM / ( c 2 p ) → 0 (水星で 2.7 × 10 − 8 2.7\times10^{-8} 2.7 × 1 0 − 8 ) | 証明 条件付き(太陽を球対称・静的とし、惑星を試験粒子として Schwarzschild 計量の測地線を追う。太陽の扁平とほかの惑星の引力は Newton の摂動として別に差し引く) | 行き先 近似の数理 第7章
1 U. J. J. Le Verrier (1859), Comptes Rendus de l'Académie des Sciences 49, 379–383。当時の値は 1 世紀に約 38 ′ ′ 38'' 3 8 ′′ 。
2 G. M. Clemence (1947), Reviews of Modern Physics 19, 361–364.
3 A. Einstein (1915), Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften, 831–839.
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com