三体問題

古典力学において、三体問題（さんたいもんだい、）とは、互いに重力相互作用する三質点系の運動がどのようなものかを問う問題。天体力学では万有引力により相互作用する天体の運行をモデル化した問題として、18世紀中頃から活発に研究されてきた。運動の軌道を与える一般解が求積法では求まらない問題として知られる。
概要.
ふたつの質点が互いにニュートン重力を及ぼし合って運動するとき、その軌道は楕円、放物線、双曲線のいずれかになることが知られている（ケプラーの法則）。三体問題はこの系にさらにひとつの質点が加わった場合の進化を求めるもので、太陽-地球-月系や、太陽-木星-土星系など、天体力学の様々な局面で必要となるため古くから調べられてきた。現実的に三体問題を取り扱う場合、問題の簡略化のために、いくつかの仮定がなされることがある。三体ともに同一平面上を運動するという仮定を置く場合、平面三体問題と呼ばれる。三体のうち、一体の質量が他の二体に影響を及ぼさないほど微小で無視できるとする仮定を置いた場合、制限三体問題と呼ばれる。特に制限三体問題において、残り二体の軌道を円軌道と仮定する場合、円制限三体問題と呼ばれる。
よく知られた特殊解としては、円制限三体問題におけるラグランジュ点や、三体の質量が等しい場合に8の字型の軌道をとる8の字解等が存在する。
三体問題が求積可能であるかという可積分性についての否定的な結果は、フランスの数学者アンリ・ポアンカレによって、導かれた。1889年にスウェーデン兼ノルウェー国王オスカー2世の還暦を祝うために開催されたコンテストで、ポアンカレはいくつかの仮定を置いた制限三体問題を考察し、運動を定める第一積分がある種の摂動級数では表現できないことを示した（ポアンカレの定理）。さらに、ポアンカレはこの研究の中で安定多様体、不安定多様体が交差するために生じるホモクリニック軌道と呼ばれる極めて複雑な運動の挙動の概念に到達した。
こうした三体問題を端緒とする積分可能性やカオス現象の研究は、現代的な力学系理論の発展の契機となっている。
運動方程式.
一般三体問題.
第 formula_1 体の運動方程式は、その座標を formula_2、質量を formula_3 とするとき、次式により与えられる。
ここに formula_5 は時刻、formula_6 は重力定数である。
この系には以下の10個の運動の積分が存在することがレオンハルト・オイラーの時代までには知られていた（formula_7 は第 formula_8 体の速度）。これらの積分はオイラー積分と呼ばれる。
この系の自由度は18であるため三体問題が求積可能であるためにはさらに7個の積分が必要であるが、これ以外の運動の積分は存在せず、従って三体問題は求積可能ではない（#求積不可能性節を参照）。そのため、三体問題の解は（ラグランジュ点のような例外を除いて）摂動論や数値シミュレーション（N体シミュレーション）を用いて求められる。
制限三体問題.
第三体の質量が第一体および第二体の質量に比べて十分小さいとき（formula_13）、第一体および第二体の運動方程式において第三体による重力の寄与を無視することができる。この近似のもとでの三体問題を特に制限三体問題 (restricted three-body problem) と呼ぶ。制限三体問題においては、第一体および第二体の運動はケプラー運動であり、求積可能である。従って、この場合、二体がつくる重力場中を運動する第三体の軌道を求めることが主たる問題となる。
多くの場合に、制限三体問題のうち二体が楕円軌道を描く状況が興味の対象となる。特にその軌道が円軌道 (離心率 formula_15) である場合を円制限三体問題 (circular restricted three-body problem) と呼ぶ。この場合、共動回転系では第一体および第二体が静止し数学的な取り扱いが容易になるため、しばしば採用される。この座標系では円制限三体問題の運動方程式は遠心力とコリオリ力を含む次の形を取る。
ここで formula_19 を二体運動の軌道長半径として formula_20, formula_21 であり、第一体は座標 formula_22 に、第二体は座標 formula_23 にあるものとした。また formula_24 は formula_25 軸単位ベクトルである。円制限三体問題にはヤコビ積分として知られる保存量
が存在する。
なお、第一体または第二体の近傍には、その天体の重力が支配的な領域が存在し、ヒル圏と呼ばれる。
特殊解.
ラグランジュ点.
円制限三体問題において、共動回転系において第三体が静止することが可能な5つの点をラグランジュ点と呼び、記号 L1, L2, L3, L4, "L"5 により表される。このうち L1 から L3 の3点は第一体、第二体、第三体が一直線上に並ぶもので、オイラーの直線解として知られる。一方 L4 と L5 は三体が正三角形を描くもので、ジョゼフ＝ルイ・ラグランジュによって1772年に発見された。ラグランジュの正三角形解は一般三体問題の場合にも存在する。
月の運動.
月の運動は主として地球の重力場によるが、太陽の重力もまた無視できない寄与を持つ。月の軌道の理論は三体問題として定式化され、その運動を正確に求めるために詳細に調べられてきた。この理論はアレクシス・クレロー、ジョージ・ウィリアム・ヒル、シャルル＝ウジェーヌ・ドロネー、アーネスト・ウィリアム・ブラウンらの研究によって発展した。
周期解.
三体問題の解のうち周期解（ある時間 formula_27 が経過するともとの配位に戻る解）には特に興味が持たれてきた。ジョージ・ヒルは円制限三体問題において（ある近似のもとで）周期解を発見した。アンリ・ポアンカレはヒルの研究に触発されて（回転を除いて）周期的な解が平面制限三体問題に無限に存在することを証明し、これらの解について次のように記述している。
計算機時代に入ると様々な周期解を数値的に求めることが可能になった。1963年に は現在Arenstorf orbitとして知られる制限三体問題の周期解を数値的に計算した。1967年に Szebehely らはピタゴラス三体問題の研究を通じてひとつの周期解を数値的に構成した。1970年代にはらによってひとつのパラメータで特徴づけられる周期解の族が発見された（このクラスの解は Broucke-Hadjidemetriou-Hénon family として知られる）。1990年代には三体が単一の閉曲線上を運動する解（例えば8の字を描く「8の字解」）の存在が証明され、注目を集めた。この解のクラスは Carles Simó によって (choreography) と命名され、同様の手法によってn体問題の周期解が多数得られた。
解の性質.
求積不可能性.
三体問題の求積可能性は、19世紀末に証明されたブルンスの定理およびポアンカレの定理によって否定的に解決された。
1887年に出版されたブルンスの定理は次のことを主張する。
一般三体問題について、座標 formula_28、運動量 formula_29、時刻 formula_5 の代数関数であるような運動の積分でオイラー積分（重心運動、エネルギー、運動量、角運動量）と線型独立であるようなものは存在しない。
この事実は、ただちに三体問題の非可積分性を意味するものではないものの、可能な運動の積分の形について強い制約を課す。1898年にポール・パンルヴェはこの定理を拡張し、運動量に関して代数関数であるような運動の積分はオイラー積分以外に存在しないことを証明した。
アンリ・ポアンカレが1890年の研究報告および1892年の著書で定式化したポアンカレの定理は次のことを主張する。
パラメータ formula_31 を持つ近可積分系ハミルトニアン
（ここに formula_33 は作用・角変数で、formula_34 は formula_35 に関して周期 formula_36 であるものとする）について、formula_37 が恒等的にゼロではなく、formula_38 の角変数 formula_35 に関するフーリエ係数のうちゼロでないものが無限個存在するならば、パラメータ formula_31 に関してべき級数展開
が可能であるような formula_42 について解析的な運動の積分 formula_43 でハミルトニアン formula_44 と独立なものは存在しない。
特に、制限三体問題は formula_45、かつ formula_46 をハミルトニアンと解釈することでこの定理の仮定を満足し、従ってパラメータ formula_31 に関して解析的な運動の積分は存在しない。この結果は「三体問題は解析的に解けない」という表現で広く知られている。ただしこれはあくまでパラメータ formula_31 に解析的に依存する運動の積分が存在することはないということを主張するだけであって、個々の formula_31 の値での非可積分性は定理の主張に含まれない。
その後、20世紀後半から21世紀初めにかけて、ソフィア・コワレフスカヤの特異点解析（これは彼女をコワレフスカヤのコマの発見に導いた）の流れを受ける Ziglin 解析による、あるいは Ziglin 解析に微分ガロア理論を応用する Morales-Ramis 理論による、三体が任意の質量を持つ一般三体問題の非可積分性の証明が得られた。
特異点.
n体問題の有限時間 formula_50 での解 formula_51 について、それを時刻 formula_52 を超えて延長できないとき、その点を特異点 (singularity) と呼ぶ。極限 formula_53 において粒子座標が有限値に収束する場合、これは粒子の衝突を意味するため衝突特異点 (collision singularity) と呼ぶ。一方そうでない場合を非衝突特異点 (non-collision singularity) と呼ぶ。ただし三体問題においては非衝突特異点が存在しないことがポール・パンルヴェによって証明されている（この考察がパンルヴェ予想の出発点となった）。
三体問題における二体衝突は正則であり適切な座標変換により除去できることがトゥーリオ・レヴィ＝チヴィタやカール・スンドマンの研究によって20世紀前半には明らかになっていた（詳細はレヴィ＝チヴィタ変換を見よ）。一方、三体の同時衝突については Siegel (1941) によって真性特異点であり正則化できないことが示されている。スンドマンは三体衝突が可能であるためには系の全角運動量がゼロでなければならないことを証明した（カール・ワイエルシュトラスはスンドマンより早くこの事実を知っていたが、証明を出版しなかった）。なおスンドマンはこれらの結果をもとに、全角運動量がゼロでない初期値に対して、すべての時刻 formula_5 で収束する三体問題の無限級数解の存在を、それを実際に構成することにより証明した。ただしこの無限級数解は収束が極めて遅く、このような解の表示から何らかの帰結を引き出すことは実際上不可能であると考えられている。
McGehee は1974年に現在McGehee変数と呼ばれる座標変換を考案し、三体衝突近傍の振る舞いを取り扱うブロー・アップ (blow up) という手法を開発した。この方法はその後の研究でしばしば用いられている。
最終運動.
Chazy (1922) は、三体問題の特異性のない解の formula_55 での最終的な振る舞いについて研究し、以下に述べる7パターンのいずれかであると結論した。なおここで添え字 formula_8, formula_57 は 1, 2, 3を走り、例えば formula_58 は第2体と第3体の距離を表す。
このうち振動運動 (oscillatory motions) については、Chazy は理論的可能性としてこのパターンを指摘したものの、それが実際に三体問題において存在するのかどうかは不明だった。この問題については1960年に Sitnikov が制限三体問題に（現在シトニコフ問題として知られる配位において）振動運動解が存在することを証明し、その後 Alekseev (1968), Saari and Xia (1989) といった研究を経て Xia (1994) が平面三体問題において振動運動解の存在を証明した。
天文学への応用.
連星.
恒星系力学では三体相互作用を通じて連星を形成するチャンネルが存在し、その効果が系全体の進化に影響を及ぼすため重要視されている。一方、近接連星に関して伴星から主星へのガス降着という問題におけるロッシュモデルは円制限三体問題に基づいて構築されている。
重力波.
2010年代の重力波の直接検出は、の実在を証明し、同時にその起源という問題を提示した。三体相互作用はブラックホール連星形成シナリオの重要な要素のひとつとして検討されている。