三体問題

出典: フリー百科事典『ウィキペディア(Wikipedia)』

これはこのページの過去の版です。Osanshouo (会話 | 投稿記録) による 2020年10月12日 (月) 15:05個人設定で未設定ならUTC)時点の版 (誤記などの修正と連星について加筆)であり、現在の版とは大きく異なる場合があります。

古典力学において、三体問題(さんたいもんだい、: three-body problem)とは、互いに重力相互作用する三質点系の運動がどのようなものかを問う問題[1][2][3]天体力学では万有引力により相互作用する天体の運行をモデル化した問題として、18世紀中頃から活発に研究されてきた[4][5]。運動の軌道を与える一般解が求積法では求まらない問題として知られる。

概要

ふたつの質点が互いにニュートン重力を及ぼし合って運動するとき、その軌道は楕円放物線双曲線のいずれかになることが知られている(ケプラーの法則)。三体問題はこの系にさらにひとつの質点が加わった場合の進化を求めるもので、太陽-地球-系や、太陽-木星-土星系など、天体力学の様々な局面で必要となるため古くから調べられてきた。現実的に三体問題を取り扱う場合、問題の簡略化のために、いくつかの仮定がなされることがある。三体ともに同一平面上を運動するという仮定を置く場合、平面三体問題と呼ばれる。三体のうち、一体の質量が他の二体に影響を及ぼさないほど微小で無視できるとする仮定を置いた場合、制限三体問題と呼ばれる。特に制限三体問題において、残り二体の軌道を円軌道と仮定する場合、円制限三体問題と呼ばれる。

よく知られた特殊解としては、円制限三体問題におけるラグランジュ点や、三体の質量が等しい場合に8の字型の軌道をとる8の字解[6]等が存在する。

三体問題が求積可能であるかという可積分性についての否定的な結果は、フランスの数学者アンリ・ポアンカレによって、導かれた[7]。1889年にスウェーデン兼ノルウェー国王オスカー2世の還暦を祝うために開催されたコンテストで、ポアンカレはいくつかの仮定を置いた制限三体問題を考察し、運動を定める第一積分と呼ばれる保存量がある種の摂動級数では表現できないことを示した。さらに、ポアンカレはこの研究の中で安定多様体不安定多様体が交差するために生じるホモクリニック軌道と呼ばれる極めて複雑な運動の挙動の概念に到達した[8]

こうした三体問題を端緒とする積分可能性やカオス現象の研究は、現代的な力学系理論の発展の契機となっている。

運動方程式

一般三体問題

体の運動方程式は、その座標を 、質量を とするとき、次式により与えられる。

ここに は時刻、重力定数である。

この系には以下の10個の運動の積分が存在することがレオンハルト・オイラーの時代までには知られていた ( は第 体の速度)[9]。これらの積分はオイラー積分と呼ばれる[10]

  • エネルギー
  • 運動量
  • 角運動量
  • 重心位置

この系の自由度は18であるため三体問題が求積可能であるためにはさらに7個の積分が必要であるが、これ以外の運動の積分は存在せず、従って三体問題は求積可能ではない(#求積可能性節を参照)。そのため、三体問題の解は(ラグランジュ点のような例外を除いて)摂動論や数値シミュレーション(N体シミュレーション)を用いて求められる。

制限三体問題

第三体の質量が第一体および第二体の質量に比べて十分小さいとき()、第一体および第二体の運動方程式において第三体による重力の寄与を無視することができる。この近似のもとでの三体問題を特に制限三体問題 (restricted three-body problem) と呼ぶ。制限三体問題においては、第一体および第二体の運動はケプラー運動であり、求積可能である。従って、この場合、二体がつくる重力場中を運動する第三体の軌道を求めることが主たる問題となる[11]

多くの場合に、制限三体問題のうち二体が楕円軌道を描く状況が興味の対象となる。特にその軌道が円軌道 (離心率 ) である場合を円制限三体問題 (circular restricted three-body problem) と呼ぶ。この場合、共動回転系では第一体および第二体が静止し数学的な取り扱いが容易になるため、しばしば採用される。この座標系では円制限三体問題の運動方程式は遠心力コリオリ力を含む次の形を取る[12]

ここで を二体運動の軌道長半径として , であり、第一体は座標 に、第二体は座標 にあるものとした。また 軸単位ベクトルである。円制限三体問題にはヤコビ積分として知られる保存量

が存在する[13]

なお、第一体または第二体の近傍には、その天体の重力が支配的な領域が存在し、ヒル圏と呼ばれる[14]

特殊解

ラグランジュ点

第一体(黄)と第二体(青)がつくる重力場中を運動する第三体の回転系での平衡点(ラグランジュ点)。

円制限三体問題において、共動回転系において第三体が静止することが可能な5つの点をラグランジュ点と呼び、記号 L1, L2, L3, L4, L5 により表される。このうち L1 から L3 の3点は第一体、第二体、第三体が一直線上に並ぶもので、オイラーの直線解として知られる。一方 L4 と L5 は三体が正三角形を描くもので、ジョゼフ=ルイ・ラグランジュによって1772年に発見された[15]。ラグランジュの正三角形解は一般三体問題の場合にも存在する[16]

月の運動

の運動は主として地球の重力場によるが、太陽の重力もまた無視できない寄与を持つ。月の軌道の理論は三体問題として定式化され、その運動を正確に求めるために詳細に調べられてきた[17]。この理論はアレクシス・クレロージョージ・ウィリアム・ヒルシャルル=ウジェーヌ・ドロネーアーネスト・ウィリアム・ブラウンらの研究によって発展した[17]

周期解

三体問題の解のうち周期解(ある時間 が経過するともとの配位に戻る解)には特に興味が持たれてきた。ジョージ・ヒルは円制限三体問題において(ある近似のもとで)周期解を発見した[18][19][20]アンリ・ポアンカレはヒルの研究に触発されて[18](回転を除いて)周期的な解が平面制限三体問題に無限に存在することを証明し、これらの解について次のように記述している[21][22]

D'ailleurs, ce qui nous rend ces solutions périodiques si précieuses, c'est qu'elles sont, pour ainsi dire, la seule brèche par où nous puissions essayer de pénétrer dans une place jusqu'ici réputée inabordable. (これらの周期解が貴重なものであるのは、それがこれまで手が届かないと思われていた場所に至る唯一の突破口になり得るからである) — Henri Poincaré、Les méthodes nouvelles de mécanique céleste, Tome 1, p. 82

計算機時代に入ると様々な周期解を数値的に求めることが可能になった。1967年に Szebehely らはピタゴラス三体問題の研究を通じてひとつの周期解を数値的に構成した[23]。1970年代にはMichel Hénonらによってはひとつのパラメータで特徴づけられる周期解の族が発見された(このクラスの解は Broucke-Hadjidemetriou-Hénon family として知られる)[24][25][26][27][28][29][30][31]。1990年代には三体が単一の閉曲線上を運動する解(例えば8の字を描く「8の字解」)の存在が証明され、注目を集めた[32][33][34]。この解のクラスは Carles Simó によって舞踏解英語版 (choreography) と命名され、同様の手法によってn体問題の周期解が多数得られた[35]

解の性質

求積不可能性

三体問題の求積可能性は、19世紀末に証明されたブルンスの定理[36]およびポアンカレの定理[7]によって否定的に解決された[37]

1887年に出版されたブルンスの定理は次のことを主張する[38]

一般三体問題について、座標 、運動量 、時刻 の代数関数であるような運動の積分でオイラー積分(重心運動、エネルギー、運動量、角運動量)と線型独立であるようなものは存在しない。

この事実は、ただちに三体問題の非可積分性を意味するものではないものの、可能な運動の積分の形について強い制約を課す[38]。1898年にポール・パンルヴェはこの定理を拡張し、座標 の代数関数であるような運動の積分はオイラー積分以外に存在しないことを証明した[39][40]

ポアンカレの定理は次のことを主張する[41]

パラメータ を持つ近可積分系ハミルトニアン

(ここに 作用・角変数で、 に関して周期 であるものとする)について、 が恒等的にゼロではなく、 の角変数 に関するフーリエ係数のうちゼロでないものが無限個存在するならば、パラメータ に関してべき級数展開

が可能であるような について解析的な運動の積分 でハミルトニアン と独立なものは存在しない。

特に、制限三体問題は 、かつ をハミルトニアンと解釈することでこの定理の仮定を満足し[42]、従ってパラメータ に関して解析的な運動の積分は存在しない。この結果は「三体問題は解析的に解けない」という表現で広く知られている[42]。ただしこれはあくまでパラメータ に解析的に依存する運動の積分が存在することはないということを主張するだけであって、個々の の値での非可積分性は定理の主張に含まれない[43]

特異点

n体問題の有限時間 での解 について、それを時刻 を超えて延長できないとき、その点を特異点 (singularity) と呼ぶ[44]。極限 において粒子座標が有限値に収束する場合、これは粒子の衝突を意味する[45]ため衝突特異点 (collision singularity) と呼ぶ。一方そうでない場合を非衝突特異点 (non-collision singularity) と呼ぶ[44]。ただし三体問題においては非衝突特異点が存在しないことがポール・パンルヴェによって証明されている(この考察がパンルヴェ予想の出発点となった)[44]

三体問題における二体衝突は正則であり適切な座標変換により除去できることがトゥーリオ・レヴィ=チヴィタカール・スンドマンの研究によって20世紀前半には明らかになっていた[46][47][48][49](詳細はレヴィ=チヴィタ変換を見よ)。一方、三体の同時衝突については Siegel (1941) によって真性特異点であることが示されている[50]。スンドマンは三体衝突が可能であるためには系の全角運動量がゼロでなければならないことを証明した[51]

McGehee は1974年に現在McGehee変数と呼ばれる座標変換を考案し、三体衝突近傍の振る舞いを取り扱うブロー・アップ (blow up) という手法を開発した[52]。この方法はその後の研究でしばしば用いられている[53]

最終運動

ピタゴラス三体問題の数値解。これは一体がエスケープし二体が連星を組むhyperbolic-elliptic型の最終運動に到達する[54]

Chazy (1922)[55] は、三体問題の特異性のない解の での最終的な振る舞いについて研究し、以下に述べる7パターンのいずれかであると結論した[56]。なおここで添え字 , は 1, 2, 3を走り、例えば は第2体と第3体の距離を表す。

  • 二体間距離がすべて無限大に発散する場合 ()。この場合、極限 が存在し、その値に応じて次の3パターンに分類される。
    • The hyperbolic motions : ().
    • The hyperbolic-parabolic motions : かつ ().
    • The parabolic motions : ().
  • ひとつの二体間距離が有界 であり、かつ残りの二体間距離は無限大に発散 () する場合。この場合も極限 に応じて次の2パターンに分類される。
    • The hyperbolic-elliptic motions : ().
    • The parabolic-elliptic motions : ().
  • それ以外の2パターン。
    • The bounded motions : .
    • The oscillatory motions : かつ .

このうち振動運動[53] (oscillatory motions) については、Chazy は理論的可能性としてこのパターンを指摘したものの、それが実際に三体問題において存在するのかどうかは不明だった。この問題については1960年に Sitnikov[57] が制限三体問題に(現在シトニコフ問題として知られる配位において)振動運動解が存在することを証明し、その後 Alekseev (1968)[58][59][60], Saari and Xia (1989)[61] といった研究を経て Xia (1994)[62] が平面三体問題において振動運動解の存在を証明した[53]

天文学への応用

連星

恒星系力学では三体相互作用を通じて連星を形成するチャンネルが存在し、その効果が系全体の進化に影響を及ぼすため重要視されている[53]。一方、近接連星に関して伴星から主星へのガス降着という問題におけるロッシュモデル円制限三体問題に基づいて構築されている[63]

重力波

2010年代の重力波の直接検出は、ブラックホール連星英語版の実在を証明し、同時にその起源という問題を提示した[64]。三体相互作用はブラックホール連星形成シナリオの重要な要素のひとつとして検討されている[65][66]

脚注

  1. ^ 三体問題』 - 天文学辞典(日本天文学会
  2. ^ E. T. Whittaker (1988), Chapter.XIII
  3. ^ 大貫、吉田(2001)、第5章
  4. ^ F. Diacu and P. Holmes (1988)
  5. ^ I. Peterson (1993)
  6. ^ A. Chenciner and R. Montgomery, "A remarkable periodic solution of the three bodyproblem in the case of equal masses," Annals of Mathematics 152, 2000, 881–901.
  7. ^ a b H. Poincaré, "Sur le probléme des trois corps et les équations de la dynamique," Acta Mathematica, 13, 1890, 1-270. doi:10.1007/BF02392506
  8. ^ H. Poincaré, Les Méthodes Nouvelles de la Méchanique Celeste, Gauthier-Villars, Paris, Tome.I (1892), Tome.II(1897), Tome.III(1899)
  9. ^ 大貫&吉田, p. 162.
  10. ^ 堀 源一郎『天体力学講義』東京大学出版会、1988年、136頁。ISBN 978-4130621182 
  11. ^ 木下, pp. 97-98.
  12. ^ 木下, pp. 99-100.
  13. ^ 木下, p. 100.
  14. ^ ヒル半径』 - 天文学辞典(日本天文学会
  15. ^ J.L. Lagrange Essai sur le problème des trois corps, 1772, Oeuvres tome 6
  16. ^ Boccaletti, Dino; Pucacco, Giuseppe (1996). Theory of Orbits: Volume 1: Integrable Systems and Non-perturbative Methods. Springer. pp. 239-242. ISBN 978-3540589631 
  17. ^ a b Fitzpatrick, Richard (2012). “10”. An Introduction to Celestial Mechanics. Cambridge University Press. ISBN 978-1107023819 
  18. ^ a b Frauenfelder, Urs; van Koert, Otto (2018). The Restricted Three-Body Problem and Holomorphic Curves. Birkhäuser Basel. pp. 94-95. doi:10.1007/978-3-319-72278-8. ISBN 978-3-319-72278-8 
  19. ^ Hill, G. W. (1878). “Researches in the Lunar Theory”. American Journal of Mathematics 1 (1): 5-26. doi:10.2307/2369430. 
  20. ^ Hill, G. W. (1886 pages=1-36). “On the part of the motion of the lunar perigee which is a function of the mean motions of the sun and moon”. Acta Mathematica 8. https://projecteuclid.org/euclid.acta/1485888530. 
  21. ^ Alain Chenciner. “Poincar ́e and the Three-Body Problem”. 2020年10月9日閲覧。
  22. ^ Henri Poincaré - Les méthodes nouvelles de la mécanique céleste, Tome 1, 1892”. 2020年10月9日閲覧。
  23. ^ Szebehely, Victor; Peters, C. Frederick (1967). “A new periodic solution of the problem of three bodies”. Astronomical Journal 72: 1187. Bibcode1967AJ.....72.1187S. doi:10.1086/110398. 
  24. ^ Hénon, M. (1974). Celestial Mechanics 10 (3): 375-388. 
  25. ^ Broucke, R.; Boggs, D. (1975). Celestial Mechanics 11: 13-38. 
  26. ^ Broucke, R. (1975). Celestial mechanics 12: 439-462. 
  27. ^ Hadjidemetriou, J (1975). Celestial mechanics 12: 155-174. 
  28. ^ Hadjidemetriou, J; Christides, T. (1975). Celestial mechanics 12: 175-187. 
  29. ^ Hadjidemetriou, J (1975). Celestial mechanics 12: 255-276. 
  30. ^ Hénon, M. (1976). Celestial Mechanics 13: 267-285. 
  31. ^ Hénon, M. (1977). Celestial Mechanics 15: 243-261. 
  32. ^ Moore, C. (1993). “Braids in classical dynamics”. Physical Review Letters 70 (24): 3675-3679. doi:10.1103/PhysRevLett.70.3675. 
  33. ^ Chenciner, A.; Montgomery, R.. “A Remarkable Periodic Solution of the Three-Body Problem in the Case of Equal Masses”. The Annals of Mathematics 152 (3): 881. doi:10.2307/2661357. 
  34. ^ Chenciner, A.; Gerver, J.; Montgomery, R.; Simó, C (2002). “9 Simple Choreographic Motions of N Bodies: A Preliminary Study”. Geometry, Mechanics, and Dynamics: 287-308. doi:10.1007%2Fb97525. 
  35. ^ 柴山允瑠. “アニメーション of 柴山允瑠のホームページ”. 2020年10月9日閲覧。
  36. ^ Bruns, H. (1887). “Über die Integrale des Vielkörper-Problems”. Acta Mathematica 11: 25-96. doi:10.1007/BF02612319. 
  37. ^ 大貫&吉田, pp. 163-170.
  38. ^ a b 大貫&吉田, pp. 163-164.
  39. ^ 堀 源一郎『天体力学講義』東京大学出版会、1988年、137頁。ISBN 978-4130621182 
  40. ^ Painlevé, Paul (1898). “Mémoire sur les intégrales premières du probléme des n corps”. Bulletin Astronomique, Serie I 15: 81-113. Bibcode1898BuAsI..15...81P. 
  41. ^ 大貫&吉田, pp. 164-170.
  42. ^ a b 柴山, 允瑠『重点解説ハミルトン力学系 : 可積分系とKAM理論を中心に』サイエンス社、2016年、95-100.頁。ISSN 0386-8257 
  43. ^ 大貫&吉田, p. 169.
  44. ^ a b c Diacu, Florin (1993). “Painlevé’s Conjecture”. The Mathematical Intelligencer 15 (2): 6-12. doi:10.1007/BF03024186. 
  45. ^ Sigel & Moser, p. 25.
  46. ^ Levi-Civita, T. (1903). Annal. Mat. Pura Appl. 9 (3): 1-32. 
  47. ^ Levi-Civita, T. (1904). Ann. Mat. Ser. 3: 9. 
  48. ^ Levi-Civita, T. (1906). “Sur la résolution qualitative du problème restreint des trois corps”. Acta Math. 30: 305-327. https://projecteuclid.org/euclid.acta/1485887161. 
  49. ^ T., Levi-Civita (1920). “Sur la régularisation du problème des trois corps”. Acta Math. 42: 99-144. https://projecteuclid.org/euclid.acta/1485887516. 
  50. ^ Siegel, Carl Ludwig (1941). “Der Dreierstoss”. Annals of Mathematics 42 (1): 127-168. 
  51. ^ Siegel & Moser, p. 26.
  52. ^ McGehee, R. (1974). “Triple Collision in the Collinear Three-Body Problem”. Inventiones mathematicae 29: 191-227. Bibcode1974InMat..27..191M. doi:10.1007/BF01390175. 
  53. ^ a b c d 谷川清隆 (1997年). “自由落下三体問題における衝突軌道、振動運動とカオス”. 2020年10月7日閲覧。
  54. ^ Szebehely, Victor; Peters, C. Frederick (1967). “Complete solution of a general problem of three bodies”. The Astronomical Journal 72: 876. Bibcode1967AJ.....72..876S. doi:10.1086/110355. 
  55. ^ Chazy, Jean (1922). “Sur l’allure du mouvement dans le problème des trois corps quand le temps croît indéfiniment”. Annales scientifiques de l’É.N.S 39: 29-130. http://www.numdam.org/item/ASENS_1922_3_39__29_0/. 
  56. ^ Alekseev, V. M.. “Final motions in the three-body problem and symbolic dynamics”. Usp. Mat. Nauk 36 (4): 161-176. Bibcode1981UsMN...36..161A.  英訳
  57. ^ Sitnikov, K. (1960). “The existence of oscillatory motions in the three-body problems”. Dokl. Akad. Nauk SSSR 133 (2): 303-306. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=23819&option_lang=eng. 
  58. ^ Alekseev, V. M. (1968). “Quasirandom Dynamical Systems. I. Quasirandom Diffeomorphisms”. Sbornik: Mathematics 5 (1): 73-128. Bibcode1968SbMat...5...73A. doi:10.1070/SM1968v005n01ABEH002587. 
  59. ^ Alekseev, V. M. (1968). “Quasirandom Dynamical Systems. II. One-Dimensional Nonlinear Oscillations in a Field with Periodic Perturbation”. Sbornik: Mathematics 6 (4): 505-560. Bibcode1968SbMat...6..505A. doi:10.1070/SM1968v006n04ABEH001074. 
  60. ^ Alekseev, V. M. (1969). “Quasirandom Dynamical Systems. III Quasirandom Oscillations of One-Dimensional Oscillators”. Sbornik: Mathematics 7 (1): 1-43. Bibcode1969SbMat...7....1A. doi:10.1070/SM1969v007n01ABEH001076. 
  61. ^ Saari, Donald G.; Xia, Zhihong (1989). “The existence of oscillatory and superhyperbolic motion in Newtonian systems”. Journal of Differential Equations 82 (2): 342-355. Bibcode1989JDE....82..342S. doi:10.1016/0022-0396(89)90137-X. 
  62. ^ Xia, Z. (1994). “Arnold Diffusion and Oscillatory Solutions in the Planar Three-Body Problem”. Journal of Differential Equations 110 (2): 289-321. Bibcode1994JDE...110..289X. doi:10.1006/jdeq.1994.1069. 
  63. ^ ロッシュモデル』 - 天文学辞典(日本天文学会
  64. ^ Piran, Zoe; Piran, Tsvi (2020). “The Origin of Binary Black Hole Mergers”. The Astrophysical Journal 892: 64. arXiv:1910.11358. Bibcode2020ApJ...892...64P. doi:10.3847/1538-4357/ab792a. 
  65. ^ Marco Celoria et al. (2018年). “Lecture notes onblack hole binary astrophysics”. pp. 36-42. 2020年10月9日閲覧。
  66. ^ Sasaki, Misao; Suyama, Teruaki; Tanaka, Takahiro; Yokoyama, Shuichiro (2018). “Primordial black holes—perspectives in gravitational wave astronomy”. Classical and Quantum Gravity 35 (6): 063001. Bibcode2018CQGra..35f3001S. doi:10.1088/1361-6382/aaa7b4 arxiv=1801.05235. 

参考文献

関連項目