一般相対性理論における二体問題(または相対論的二体問題)とは、一般相対性理論の場の方程式によって記述される二つの物体の運動と重力場を決定する問題である。ケプラー問題を解くことは、重力による光の曲がりや、太陽の周りを公転する惑星の運動を計算するために不可欠である。また、その解は連星の運動を記述したり、重力波によるエネルギーの漸進的な損失を推定したりするためにも用いられる。
一般相対性理論は、重力場を曲がった時空で記述します。この曲率を支配する場の方程式は非線形であるため、閉じた形で解くことは困難です。ケプラー問題の厳密解は見つかっていませんが、近似解であるシュワルツシルト解が存在します。この解は、一方の物体の質量Mが他方の物体の質量mよりも圧倒的に大きい場合に当てはまります。この場合、質量が大きい方の物体は静止しており、重力場に寄与する唯一の物体とみなすことができます。これは、恒星を通過する光子や、太陽の周りを公転する惑星に対して良い近似となります。軽い方の物体(以下「粒子」と呼ぶ)の運動は、シュワルツシルト解から決定できます。その運動は、曲がった時空における測地線(「2点間の最短経路」)です。このような測地線解は、水星の異常な歳差運動を説明するものであり、これは一般相対性理論を支持する重要な証拠の一つです。彼らはまた、重力場における光の曲がりについても説明しており、これは一般相対性理論の証拠としてよく用いられるもう一つの予測である。
連星のように両方の質量が重力場に寄与すると考えられる場合、ケプラー問題は近似的にしか解けません。最初に開発された近似法はポストニュートン展開で、初期解を徐々に修正していく反復法です。最近では、数式の代わりにコンピュータ[ 1 ] [ 2 ] [ 3 ]を使用してアインシュタインの場の方程式を解くことが可能になりました。2つの天体が互いに公転すると、重力波を放出します。これにより、連星パルサーPSR B1913+16で示されているように、エネルギーと角運動量が徐々に失われます。
連星ブラックホールの場合、2体問題の数値解は、3つのグループが画期的な技術を考案したことにより、40年にわたる研究を経て2005年に達成されました。[ 1 ] [ 2 ] [ 3 ]

ケプラー問題は、デンマークの天文学者ティコ・ブラーエの助手として働いていたヨハネス・ケプラーにちなんで名付けられました。ブラーエは太陽系の惑星の運動を非常に正確に測定しました。ケプラーはこれらの測定結果から、惑星運動の最初の近代的な記述であるケプラーの法則を定式化することができました。
ケプラーは1609年に最初の2つの法則を、1619年に3つ目の法則を発表しました。これらの法則は、プトレマイオスやコペルニクスなどの太陽系の従来のモデルに取って代わりました。ケプラーの法則は、二体問題という限定的な場合にのみ適用されます。ヴォルテールとエミリー・デュ・シャトレは、これらの法則を初めて「ケプラーの法則」と呼びました。
それからほぼ1世紀後、アイザック・ニュートンは運動の3法則を定式化した。特に、ニュートンの第2法則は、質量mに力Fを加えると、 F = maという式で与えられる加速度aが生じると述べている。ニュートンは次に、「ケプラーが観測した楕円軌道を生み出す力は何でなければならないのか?」という疑問を投げかけた。彼の答えは万有引力の法則にあり、質量Mと別の質量mの間の力は次の式で与えられる と述べている。 ここで、 rは質量間の距離、Gは重力定数です。この力の法則と運動方程式から、ニュートンは互いに引き合う 2 つの点質量がそれぞれ完全な楕円軌道を描くことを示すことができました。これらの楕円の大きさの比はm / Mであり、質量が大きいほど楕円は小さくなります。M が m よりはるかに大きい場合、質量が大きい方は、質量が小さい方の楕円軌道の焦点で静止しているように見えます。このモデルは、太陽系に近似的に適用できます。太陽の質量は惑星の質量よりもはるかに大きいため、各惑星に作用する力は主に太陽によるものであり、惑星同士の重力は第一近似で無視できます。

2つの天体間の位置エネルギーがニュートンの万有引力の法則の1/ rポテンシャルと正確に一致せず、わずかに異なる場合、軌道の楕円は徐々に回転します (他の可能性のある効果もあります)。この近点歳差は、太陽の扁平 (完全な球形ではない) と他の惑星同士の引力により、太陽を周回するすべての惑星で観測されます。近点と遠点とは、軌道上で最も近い点と最も遠い点 (それぞれ近点と遠点) のことです。近点歳差は、近点を結ぶ線の回転に対応します。また、近点を結ぶ線に沿って指すラプラス・ルンゲ・レンツベクトルの回転にも対応します。
ニュートンの万有引力の法則は、すべての惑星の運動を非常に正確に予測できたため、すぐに受け入れられるようになりました。これらの計算は、18世紀後半にピエール=シモン・ラプラスによって最初に行われ、 19世紀後半にフェリックス・ティスランによって改良されました。逆に、ニュートンの万有引力の法則が惑星の近点歳差を正確に予測できなかった場合、万有引力の理論として放棄されなければなりませんでした。このような異常な歳差運動は、19世紀後半に観測されました。

1859年、ウルバン・ルヴェリエは、水星の軌道歳差運動が本来あるべき姿とは少し異なることを発見した。他の惑星の影響をすべて考慮に入れた後でも、水星の軌道の楕円は、従来のニュートン重力理論で予測されるよりもわずかに速く回転(歳差運動)していた。[ 4 ]この影響は小さい(1世紀あたり約43秒角の回転)が、測定誤差(1世紀あたり約0.1秒角)をはるかに上回っている。ルヴェリエはすぐにこの発見の重要性を認識し、天文学者と物理学者にその説明を求めた。惑星間塵、観測されていない太陽の扁平率、未発見の水星の衛星、あるいはバルカンと名付けられた新しい惑星など、いくつかの古典的な説明が提案された。[ 5 ]これらの説明が却下された後、一部の物理学者は、ニュートンの逆二乗法則が間違っているという、より過激な仮説に至った。例えば、一部の物理学者は、指数が2とわずかに異なるべき乗則を提案した。 [ 6 ]
ニュートンの法則に速度依存ポテンシャルを補足すべきだと主張する者もいた。しかし、これはニュートン力学の天体力学と矛盾する。ラプラスは天体力学に関する論文の中で、重力の影響が瞬時に作用しない場合、惑星自体の運動は厳密には運動量保存則を満たさないことを示した(したがって、運動量の一部は、電磁相互作用の媒介者に運動量を帰属させるのと同様に、重力相互作用の媒介者に帰属させなければならない)。ニュートン力学の観点から見ると、重力の影響が有限の速度で伝播する場合、惑星は常に、太陽の瞬間的な位置ではなく、太陽が以前存在していた場所に引き寄せられることになる。ラプラスは、古典的な基礎を前提として、重力が光速程度の速度で伝播する場合、太陽系は不安定になり、長くは存在し得ないことを示した。太陽系が十分に古いという観測結果から、彼は重力の速度の下限値を設定することができ、それは光速よりも何桁も速いことが判明した。[ 5 ] [ 7 ]
ラプラスの重力速度の推定は、相対性原理を尊重する場の理論では正しくありません。電場と磁場が組み合わさるため、一定速度で移動する点電荷の引力は、観測時に見かけ上占めているように見える位置ではなく、外挿された瞬間位置に向かうことになります。[注1 ]これらの問題を回避するために、1870年から1900年の間に、多くの科学者がヴィルヘルム・エドゥアルト・ウェーバー、カール・フリードリヒ・ガウス、ベルンハルト・リーマンの電気力学の法則を用いて、安定した軌道を生成し、水星の軌道の近日点移動を説明しました。1890年、モーリス・レヴィはウェーバーとリーマンの法則を組み合わせることでこれに成功し、彼の理論では重力速度は光速に等しくなります。また、別の試みとして、ポール・ゲルバー(1898年)は近日点移動の正しい公式を導き出すことに成功しました(これは後にアインシュタインが使用した公式と同一でした)。しかし、ウェーバーらの基本法則が間違っていたため(例えば、ウェーバーの法則はマクスウェルの理論に取って代わられた)、これらの仮説は却下された。[ 8 ]マクスウェルの理論をすでに使用していたヘンドリック・ローレンツ(1900年)による別の試みでは、近日点移動が低すぎる結果となった。[ 5 ]

1904年から1905年頃、ヘンドリック・ローレンツ、アンリ・ポアンカレ、そして最終的にはアルベルト・アインシュタインの特殊相対性理論の研究により、光速を超える効果の伝播の可能性は排除された。したがって、相対論的効果が無視できる状況でニュートンの極限を維持しながら、相対性の原理と両立する別の法則でニュートンの万有引力の法則を置き換える必要があった。このような試みは、アンリ・ポアンカレ(1905年)、ヘルマン・ミンコフスキー(1907年)、アーノルド・ゾンマーフェルト(1910年)によって行われた。[ 9 ] 1907年、アインシュタインはこれを達成するには特殊相対性理論の後継が必要であるという結論に達した。1907年から1915年にかけて、アインシュタインは自身の等価原理を指針となる重要な概念として用いて、新しい理論の構築に取り組んだ。この原理によれば、一様な重力場は内部のあらゆるものに等しく作用するため、自由落下する観測者からは検出できない。逆に、すべての局所的な重力効果は直線的に加速する基準系で再現可能であり、その逆もまた然りである。したがって、重力は遠心力やコリオリ力のような仮想的な力のように作用する。これらの力は加速する基準系にあることから生じるものであり、すべての仮想的な力は重力と同様に慣性質量に比例する。重力と特殊相対性理論を調和させ、等価原理を取り入れるためには、何かを犠牲にしなければならなかった。その何かとは、私たちの空間がユークリッド幾何学の法則に従うという、長年信じられてきた古典的な仮定、例えばピタゴラスの定理が実験的に正しいという仮定である。アインシュタインは、時空の曲率を考慮に入れるために、より一般的な幾何学である擬リーマン幾何学を用いました。これは、時空の曲率を調和させるために必要なものでした。8年間の研究(1907年~1915年)を経て、彼は自然界で観測される物理法則、特に重力を再現するために、時空がどのように曲がるべきかを正確に発見することに成功しました。重力は、遠心力やコリオリ力といった仮想的な力とは異なり、時空の曲率が物理的に実在するものとみなされるのに対し、仮想的な力は力とはみなされません。彼の場の方程式の最初の解は、水星の異常な歳差運動を説明し、光の異常な曲がりを予測しました。これは後に確認されました。彼の理論は発表された。これらの解決策については以下で説明する。
通常のユークリッド幾何学では、三角形はピタゴラスの定理に従います。この定理は、空間内の2点間の距離ds²の二乗は、その垂直成分の二乗の和に等しいと述べています。 ここで、dx、dy、dzは、デカルト座標系における2点のx、y、z座標間の微小差を表します。さて、これが必ずしも当てはまらない世界を想像してみてください。距離が代わりに次のように与えられる世界です。 ここで、F、G、Hは位置の任意の関数です。このような世界を想像するのは難しくありません。私たちはそのような世界に住んでいるのです。地球の表面は湾曲しているため、地球の完全に正確な平面地図を作成することは不可能です。非直交座標系はこのことをよく示しています。たとえば、球面座標( r、θ、φ )では、ユークリッド距離は次のように表すことができます。
別の例としては、長さを測る定規が信頼できない世界、つまり定規が位置や向きによって長さが変わる世界が挙げられます。最も一般的なケースでは、距離dsを計算する際に交差項を考慮する必要があります。 ここで、9 つの関数g xx、g xy、 ...、g zzは計量テンソルを構成し、リーマン幾何学における空間の幾何学を定義します。上記の球面座標の例では、交差項はありません。非ゼロの計量テンソル成分は、g rr = 1、g θθ = r 2、およびg φφ = r 2 sin 2 θ のみです。
アルベルト・アインシュタインは特殊相対性理論において、 2つの空間点間の距離dsは一定ではなく、観測者の運動に依存することを示した。しかし、時空における2点間の距離を表す尺度、すなわち「固有時間」と呼ばれるもの(記号dτで表される)は不変であり、言い換えれば、観測者の運動に依存しない。 これは球面座標で次のように表すことができます。
この公式はピタゴラスの定理の自然な拡張であり、時空に曲率が存在しない場合にのみ成り立つ。しかし、一般相対性理論では、空間と時間には曲率が存在する可能性があるため、この距離公式はより一般的な形に修正する必要がある。 地球表面上の距離を測定するために公式を一般化したのと同様です。計量g μνの正確な形式は、アインシュタイン場の方程式で記述されるように、重力質量、運動量、およびエネルギーに依存します。アインシュタインは、当時知られていた自然法則に合うようにこれらの場の方程式を開発しましたが、それらは(重力による光の曲がりなど)それまで見たことのない現象を予測し、後に確認されました。
アインシュタインの一般相対性理論によれば、質量が無視できる粒子は時空内の測地線に沿って移動する。重力源から遠く離れた曲がっていない時空では、これらの測地線は直線に対応する。しかし、時空が曲がっている場合は、直線からずれる可能性がある。測地線の式は[ 10 ]である。 ここで、Γ はクリストッフェル記号を表し、変数q は粒子の時空における経路、いわゆる世界線をパラメータ化します。クリストッフェル記号は計量テンソルg μνのみに依存し、正確には位置によってどのように変化するかに依存します。変数qは、時間的軌道 (質量のある粒子が移動する軌道) の固有時間τの定数倍であり、通常はこれに等しいとみなされます。光的 (またはヌル) 軌道 (光子などの質量のない粒子が移動する軌道) の場合、固有時間はゼロであり、厳密には変数qとして使用することはできません。しかしながら、光的軌道は、時間的軌道の超相対論的極限、すなわち、粒子の全エネルギーを固定したまま粒子の質量m がゼロに近づく極限として導出できます。
アインシュタイン場の方程式の厳密解はシュワルツシルト計量であり、これは質量Mの静止した、電荷を持たない、回転しない、球対称物体の外部重力場に対応する。これはシュワルツシルト半径として知られる長さスケールr sによって特徴づけられ、それは次の式で定義される。 ここでGは重力定数である。 比r s / rがゼロに近づく極限では、古典的なニュートン重力理論が再現される。 その極限では、計量は特殊相対性理論で定義されたものに戻る。
実際には、この比率はほとんどの場合極めて小さい。たとえば、地球のシュワルツシルト半径r s は約 9 mmであり、地球の表面では、ニュートン重力に対する補正は 10 億分の 1 にすぎない。太陽のシュワルツシルト半径ははるかに大きく、約 2953 メートルであるが、その表面での比率r s / rは約 100 万分の 4 である。白色矮星ははるかに密度が高いが、それでもその表面での比率は約 100 万分の 250 である。この比率が大きくなるのは、中性子星(比率が約 50%) やブラックホールなどの超高密度天体の近くだけである。

極めて微小な質量を持つ試験粒子の軌道中心塊について運動方程式によって与えられる どこは比角運動量であり、そしては換算質量である。これは軌道の式に変換できる。 ここで、簡潔にするために、2つの長さスケール、そしてこれらは導入された。これらは運動の定数であり、試験粒子の初期条件(位置と速度)に依存する。したがって、軌道方程式の解は
上記で導出した粒子の運動方程式 シュヴァルツシルト半径r s の定義を用いて次のように 書き換えることができる。 これは、粒子が一次元有効ポテンシャル内を運動することに相当する。 最初の2つの項はよく知られた古典的なエネルギーであり、1つ目はニュートン力学における引力的な重力ポテンシャルエネルギー、2つ目は斥力的な「遠心力」ポテンシャルエネルギーに対応します。しかし、3つ目の項は一般相対性理論に特有の引力エネルギーです。以下および他の箇所で示されているように、この逆3乗エネルギーによって、楕円軌道は1回転あたり小さな角度δωだけ徐々に歳差運動を起こします。 ここで、 aは軌道の長半径、eは離心率です。ここで、δ ωは球面座標( t、r、θ、φ )からのφ座標の変化ではなく、それに近いものです。これは、古典的な閉じた軌道の近点引数の変化です。
第3項は魅力的で、rの値が小さい場合に支配的となり、粒子がr = 0に不可避的に引き込まれる臨界内半径r innerを与えます。この内半径は、粒子の単位質量あたりの角運動量、または同等に、上で定義された長さスケールの関数です。

有効電位Vは長さで書き直すことができる:
有効力がゼロの場合、円軌道は可能となる。 すなわち、ニュートン重力(第1項)と一般相対性理論特有の引力(第3項)という2つの引力が、反発力である遠心力(第2項)によって正確に釣り合っている状態です。この釣り合いが生じる半径は2つあり、ここではr innerとr outerで表します。 これらは二次方程式を用いて得られる。内半径r innerは不安定である。なぜなら、r が小さくなると、引力である第 3 の力が他の 2 の力よりもはるかに速く強くなるからである。粒子がr inner (3 の力すべてが釣り合っている場所) からわずかに内側に滑り込むと、第 3 の力が他の 2 の力を支配し、粒子をr = 0 に容赦なく引き込む。しかし、外半径では、円軌道は安定している。第 3 項はそれほど重要ではなく、システムは非相対論的ケプラー問題のように振る舞う。
Aがr s(古典的な場合) よりはるかに大きい場合、これらの式は近似的に

Aとr sの定義をr outerに代入すると、質量mの粒子が質量Mの物体の周りを公転する古典的な公式が得られます。
次の式 どこは粒子の軌道角速度であり、非相対論的力学では遠心力をニュートン重力に等しく設定することによって得られる。 どこは換算質量です。
我々の表記法では、古典的な軌道角速度は
もう一方の極端な例として、上から3rs2に近づくと、2つの半径は単一の値に収束する 。上記の二次解は 、r outer が常に 3 r s より大きいことを保証する一方、r inner は 3 / 2 r sと3 r sの間にあることを保証する。3 / 2 r sより小さい円軌道 は 不可能である。質量のない粒子の場合、無限大に近づくということは、 r inner = 3 / 2 r sに光子の円軌道が存在することを意味します。この半径の球は、光子球と呼ばれることもあります。

軌道歳差運動の速度は、非ニュートン遠心力を含むこの半径方向有効ポテンシャルVを用いて導出できる。半径rの円軌道からのわずかな半径方向のずれは、角周波数で安定的に振動する。 これは等しい
両辺の平方根を取り、二項定理を用いて展開すると、次の式が得られる。 1回転の周期Tを掛けると、1回転あたりの軌道の歳差運動が得られる。 ここで、Ω φ T ≈ 2 π (円軌道の場合に正確) と、長さスケールの定義をaで設定しました。シュワルツシルト半径r sの定義を代入すると、
これは、楕円軌道の長半径a、離心率e、および相対角運動量hを用いて簡略化することができ、これらは次の式で関係付けられます。 歳差角を与える
閉じた古典軌道は一般に楕円であるため、量a ( 1 − e 2 )は半正弦である。楕円の。
したがって、単位回転における角近点歳差の最終式は次のようになる。

シュヴァルツシルト解では、質量の大きい方の天体Mが静止しており、Mのみが重力場(すなわち時空の幾何学)を決定すると仮定され、したがって、質量の小さい方の天体mはその固定された時空を通る測地線経路をたどる。これは、光子や、太陽の約600万分の1の質量を持つ水星の軌道に対しては妥当な近似である。しかし、質量が同程度の大きさになる可能性のある連星系には不十分である。
質量が同程度である2つの物体の計量は閉じた形で解くことができないため、ポストニュートン近似や数値近似などの近似手法に頼らざるを得ない。ちなみに、低次元における1つの例外について言及しておく(詳細はR = Tモデル を参照)。(1+1)次元、すなわち1つの空間次元と1つの時間次元からなる空間では、質量が等しい2つの物体の計量はランベルトW関数を用いて解析的に解くことができる。[ 11 ]ただし、2つの物体間の重力エネルギーは、伝播するために3次元空間を必要とする重力子ではなく、ダイラトンを介して交換される。
ポストニュートン展開は、与えられた問題に対してより正確な解を連続的に提供する計算方法です。[ 12 ]この方法は反復的です。粒子の運動の初期解を使用して重力場を計算し、これらの導出された場から新しい粒子の運動を計算し、そこからさらに正確な場の推定値を計算できます。このアプローチは、粒子の軌道に対するニュートン解が初期解としてよく使用されるため、「ポストニュートン」と呼ばれます。
この理論は二つの部分に分けられる。まず、ニュートン力学のポテンシャルに対する一般相対性理論の補正を捉えた二体有効ポテンシャルを求める。次に、得られた運動方程式を解く。
アインシュタイン方程式は、高度な数値計算手法を用いてコンピュータ上で解くこともできます。[ 1 ] [ 2 ] [ 3 ]十分なコンピュータ処理能力があれば、このような解はポストニュートン解よりも正確になる可能性があります。しかし、方程式は一般的に4次元空間で解かなければならないため、このような計算は困難です。それでも、1990年代後半から、一般相対性理論におけるケプラー問題の非常に難しいバージョンである2つのブラックホールの合体のような難問を解くことが可能になりました。
一般相対性理論によれば、入射する重力波がない場合、互いに周回する2つの物体は重力波を放出し、その結果、軌道は徐々にエネルギーを失っていく。
ケプラー問題の2つの天体からの重力放射によるエネルギーと角運動量の損失を記述する式が計算された。 [ 13 ]エネルギー損失率(完全な軌道にわたって平均化)は次のように与えられる。 [ 14 ] ここで、eは軌道離心率、aは楕円軌道の長半径です。式の左辺の角括弧は、1周回の平均を表しています。同様に、角運動量の減少率の平均は、
周期減少率は[ 13 ] [ 15 ]で与えられる。 ここで、Pbは軌道周期である。
軌道の離心率が1に近づくにつれて、すなわち軌道の楕円がますます細長くなるにつれて、エネルギーと角運動量の損失は著しく増加する。放射損失もまた、軌道の大きさaが小さくなるにつれて著しく増加する。
{{cite book}}ISBN /日付の不一致(ヘルプ){{cite book}}ISBN /日付の不一致(ヘルプ){{cite book}}ISBN /日付の不一致(ヘルプ){{cite book}}ISBN /日付の不一致(ヘルプ)