三体問題
古典力学において、三体問題（さんたいもんだい、英: three-body problem）とは、互いに重力相互作用を及ぼす三質点系の運動がどのようなものかを問う問題である[1][2][3]。天体力学では万有引力により相互作用する天体の運行をモデル化した問題として、18世紀中頃から活発に研究されてきた[4][5]。運動の軌道を与える一般解が求積法では求まらない問題として知られる。
概要
ふたつの質点が互いにニュートン重力を及ぼし合って運動するとき、その軌道は楕円、放物線、双曲線のいずれかになることが知られている（ケプラーの法則）。三体問題はこの系にさらにひとつの質点が加わった場合の進化を求めるもので、太陽-地球-月系や、太陽-木星-土星系など、天体力学の様々な局面で必要となるため古くから調べられてきた。現実的に三体問題を取り扱う場合、問題の簡略化のために、いくつかの仮定がなされることがある。三体ともに同一平面上を運動するという仮定を置く場合、平面三体問題と呼ばれる。三体のうち、一体の質量が他の二体に影響を及ぼさないほど微小で無視できるとする仮定を置いた場合、制限三体問題と呼ばれる。特に制限三体問題において、残り二体の軌道を円軌道と仮定する場合、円制限三体問題と呼ばれる。
よく知られた特殊解としては、円制限三体問題におけるラグランジュ点や、三体の質量が等しい場合に8の字型の軌道をとる8の字解[6]等が存在する。
三体問題が求積可能であるかという可積分性についての否定的な結果は、フランスの数学者アンリ・ポアンカレによって、導かれた[7]。1889年にスウェーデン兼ノルウェー国王オスカー2世の還暦を祝うために開催されたコンテストで、ポアンカレはいくつかの仮定を置いた制限三体問題を考察し、運動を定める第一積分がある種の摂動級数では表現できないことを示した（ポアンカレの定理）。さらに、ポアンカレはこの研究の中で安定多様体、不安定多様体が交差するために生じるホモクリニック軌道と呼ばれる極めて複雑な運動の挙動の概念に到達した[8]。
こうした三体問題を端緒とする積分可能性やカオス現象の研究は、現代的な力学系理論の発展の契機となっている。
問題
一般三体問題
第 円制限三体問題において、共動回転系において第三体が静止することが可能な5つの点をラグランジュ点と呼び、記号 L1, L2, L3, L4, L5 により表される。このうち L1 から L3 の3点は第一体、第二体、第三体が一直線上に並ぶもので、オイラーの直線解として知られる。一方 L4 と L5 は三体が正三角形を描くもので、ジョゼフ＝ルイ・ラグランジュによって1772年に発見された[15]。ラグランジュの正三角形解は一般三体問題の場合にも存在する[16]。
月の運動は主として地球の重力場によるが、太陽の重力もまた無視できない寄与を持つ。月の軌道の理論は三体問題として定式化され、その運動を正確に求めるために詳細に調べられてきた[17]。この理論はアレクシス・クレロー、ジョージ・ウィリアム・ヒル、シャルル＝ウジェーヌ・ドロネー、アーネスト・ウィリアム・ブラウンらの研究によって発展した[17]。
三体問題の解のうち周期解（ある時間 計算機時代に入ると様々な周期解を数値的に求めることが可能になった。1963年に Richard Arenstorf は現在Arenstorf orbit[24]として知られる制限三体問題の周期解を数値的に計算した[25]。1967年に Szebehely らはピタゴラス三体問題の研究を通じてひとつの周期解を数値的に構成した[26]。1970年代にはMichel Hénonらによってひとつのパラメータで特徴づけられる周期解の族が発見された（このクラスの解は Broucke-Hadjidemetriou-Hénon family として知られる）[27][28][29][30][31][32][33][34]。1990年代には三体が単一の閉曲線上を運動する解（例えば8の字を描く「8の字解」）の存在が証明され、注目を集めた[35][36][37]。この解のクラスは Carles Simó によって舞踏解 (choreography) と命名され、同様の手法によってn体問題の周期解が多数得られた[38]。
三体問題の求積可能性は、19世紀末に証明されたブルンスの定理[39]およびポアンカレの定理[7]によって否定的に解決された[40]。
1887年に出版されたブルンスの定理は次のことを主張する[41]。
一般三体問題について、座標 Chazy (1922)[67] は、三体問題の特異性のない解の 
月の運動
周期解
解の性質
求積不可能性
- Three-Body Problemのページへのリンク
