ポアンカレの定理
![]() | 「ポアンカレの回帰定理」、「ポアンカレの最終幾何定理」、「ポアンカレの補題」、あるいは「ポアンカレ予想」とは異なります。 |
古典力学において、ポアンカレの定理(—のていり、英: Poincaré's theorem)は可積分系に摂動が加わると一般に非可積分系となることを述べる定理である。三体問題を解析的に解くことが不可能であることを示すためにアンリ・ポアンカレによって19世紀末に導かれた。
定理
ハミルトン力学において、系の自由度に等しい数の独立な運動の積分が存在し、それらが互いにポアソン可換であるとき、この系は可積分系と呼ばれ解を求積法によって求めることができる(リウヴィルの定理)[1]。特に、 自由度系においてこれらの積分 , , ..., がそれぞれ一定値を取る超曲面
が連結かつコンパクトであり、その上で勾配 が一次独立であるならば、この超曲面は 次元トーラス と微分同相であり、トーラスの自然な座標 と正準共役な変数 が存在し、ハミルトニアン を という形に表示することができる(リウヴィル=アーノルドの定理)[2]。このような正準座標 を作用・角変数と呼び、このとき運動方程式は振動数ベクトル を用いて
と書ける[3]。この方程式はただちに解け、従って可積分系は一般に求積可能である。
ポアンカレの定理は、可積分系に摂動が加わったとき、その系(近可積分系と呼ばれる)が依然として可積分系になるかどうかを扱ったものである[4]。近可積分系はしばしば摂動論を用いて取り扱われるが、古典力学における正準摂動論は多自由度系 の場合には小分母の問題と呼ばれる問題が存在する。摂動論によって得られた摂動級数の各項はフーリエ級数
という形に表示される[5]。係数 は、例えば摂動の1次では摂動ハミルトニアン のフーリエ級数表示
に現れる係数 に等しい[6]。ところが一般に は整数ベクトル を適切に選べば任意に小さな値を取ることができ、特に が通約可能(英語版)な場合にはあるゼロでない に対して
が成立する[7]。このときこのフーリエ級数は収束せず、従って摂動展開が意味をなさなくなる[7]。これが小分母の問題 (small divisors problem) である[8]。ポアンカレの定理は小分母の問題と密接に関係しており[9]、作用変数 のうち、 個の一次独立なベクトル () が存在し、 かつ
以上の準備のもとで、ポアンカレの定理は次のことを主張する[11][12][13][注釈 1]。
領域 とトーラス の直積 を位相空間とする可積分系 (その作用・角変数を とする) がツイスト条件(非退化の条件)
を満たすと仮定する。パラメータ に解析的に依存する近可積分系
について、そのポアンカレ集合が で稠密であるならば、この系にはハミルトニアンと独立な運動の積分
で各係数 が作用・角変数 の解析的な関数であるようなものは存在しない。
ポアンカレの定理は多自由度の近可積分系には一般に摂動パラメータに解析的に依存する非自明な積分が存在しないこと[14]、あるいは可積分系は摂動パラメータ に関して連続的には存在し得ないことを示している[15]。ただし具体的に与えられた系にポアンカレの定理が適用可能かどうかを判定することは、その仮定が成立するか検討する必要があり、困難であることが多い[15]。例えば円制限平面三体問題は、ケプラーの法則に従い円運動する二天体がつくる重力場中を運動する同一の軌道面内の粒子の運動を問うものであり、そのハミルトニアンは二体の質量比 を用いて
と書ける。これは質量比 を摂動パラメータとみなすとき第一体がつくる重力場中のケプラー運動という可積分系に摂動が加わったものと解釈できる。ポアンカレの定理は(技術的な工夫を要するものの)円制限平面三体問題に対して適用可能であり、ブルンスの定理と併せて三体問題の非可積分性(従って求積不可能性)を示すものとみなされている[16]。
歴史
アイザック・ニュートンらによって古典力学が定式化されると月の運動などへの興味から三体問題は詳細な研究対象となり、18世紀および19世紀を通じてオイラー積分(エネルギー、全運動量、全角運動量、重心運動)以外の運動の積分を見出す試みが継続された[17]。しかしこれらの試みはすべて失敗し、本定理に先行する1887年に Heinrich Bruns によって三体問題には座標、運動量、時刻の代数関数として表される運動の積分はオイラー積分以外に存在しないことが示された[18]。ただしこのブルンスの定理は対象が代数関数に限定されているため、三体問題の求積不可能性を示すためには十分ではなかった[19]。
アンリ・ポアンカレは、スウェーデン王オスカル2世による三体問題に関する国際コンペティションに応募した研究の中で、ホモクリニック軌道の発見(これはカオスの最初の発見とみなされている[20])、リンドステット級数(Poincaré–Lindstedt method)が発散すること[21]、といった成果とともに制限三体問題の求積不可能性を示す本定理に到達し、1890年に出版された研究報告の中でこの定理について述べている[22]。また1892年に出版された著書 Les méthodes nouvelles de la mécanique céleste の第一巻で詳しい証明を与えた[23][24][注釈 2]。なおポアンカレはこのコンペティションでメダルを獲得しているが、メダル獲得が決定した最初の研究成果には深刻な誤りがあり[27]、それを受けて最終的な研究報告は大きく修正されているが、修正前の成果に既に本定理は含まれている[28][注釈 3]。
ポアンカレの定理は原理的に求積不可能な物理系の存在を知らしめ、運動方程式の解を求めるというそれまでの力学の中心的な研究手法から、より定性的な方向の研究を促した[30]。ポアンカレはその後の研究の中で周期解の存在に関連して現在位相幾何学として知られる考え方を導入し、またジョージ・デビット・バーコフらによって受け継がれることになる力学系の理論を創始した[31]。
KAM定理
1954年にアンドレイ・コルモゴロフによってその主張と証明のアイデアが提示され、1960年代にウラジーミル・アーノルドとユルゲン・モーザーによって証明が完遂されたKAM定理は、ポアンカレの定理と同じく可積分系に摂動が加わったときの系の挙動を述べたものである[32](そしてやはり小分母の問題と関係している[33])。KAM定理は、可積分系において存在したトーラスは摂動を受けてもその大部分が生き残り、従って近可積分系にもまたトーラスが存在することを主張する[32]。これはある意味で摂動後の系にも運動の積分が存在することを意味するが、ただしそれを作用変数 について解析的な関数によって表現することはできず、従ってKAM定理はポアンカレの定理と矛盾するものではない[34]。
脚注
注釈
- ^ ここに記したものは Kozlov による表現であり、証明は Kozlov pp. 33-35 において与えられている。大貫&吉田は自由度2の場合に限ってポアンカレの定理を定式化し証明している他、それとほぼ同じ証明が柴山による「ハミルトン系の非可積分性の証明」(#外部リンク節)にある。
- ^ ポアンカレによるオリジナルの証明は厳密性に欠けると大貫&吉田は指摘している[25]。カール・ワイエルシュトラスもまたポアンカレの研究報告に対して同じ懸念を表明していた[26]。
- ^ ただし、初期稿に付随する Note G にはヨースタ・ミッタク=レフラーの要請を受けて書かれた本定理の証明が含まれるが、出版稿ではこの証明は全面的に書き換えられている[29]。
出典
- ^ 大貫&吉田, pp. 100-103.
- ^ 大貫&吉田, pp. 105-107.
- ^ 大貫&吉田, pp. 109-110.
- ^ 大貫&吉田, pp. 164-165.
- ^ Boccaletti & Pucacco, pp. 89-92.
- ^ Boccaletti & Pucacco, pp. 80-86.
- ^ a b c Boccaletti & Pucacco, p. 92.
- ^ “Small Divisors Problem -- from Eric Weisstein's World of Physics”. Wolfram Research. 2020年10月25日閲覧。
- ^ Boccaletti & Pucacco, p. 93.
- ^ Kozlov, p. 33.
- ^ Kozlov, p. 35.
- ^ Boccaletti & Pucacco, pp. 93-95.
- ^ Barrow-Green, pp. 127-129.
- ^ 吉田&大貫, p. 162.
- ^ a b 大貫&吉田, p. 169.
- ^ 柴山, pp. 95-100.
- ^ 大貫&吉田, p. 163.
- ^ Bruns, H. (1887). “Über die Integrale des Vielkörper-Problems”. Acta Mathematica 11: 25-96. doi:10.1007/BF02612319.
- ^ 大貫&吉田, p. 164.
- ^ 神部勉「オイラー方程式の新しい解表現,および最初のカオス理論のポアンカレ(1890)の再認識と上田アトラクタの発見(1961) (オイラー方程式の数理 : カルマン渦列と非定常渦運動100年)」『数理解析研究所講究録』第1776巻、京都大学数理解析研究所、2012年2月、43-58頁、CRID 1050001335764571776、hdl:2433/171764、ISSN 1880-2818、2024年1月11日閲覧。
- ^ Barrow-Green, pp. 126-127.
- ^ Barrow-Green, pp. 1, 3.
- ^ Poincaré, Henri (1892). Les méthodes nouvelles de la mécanique céleste, Tome 1. https://fr.wikisource.org/wiki/Livre:Henri_Poincar%C3%A9_-_Les_m%C3%A9thodes_nouvelles_de_la_m%C3%A9canique_c%C3%A9leste,_Tome_1,_1892.djvu
- ^ Barrow-Green, p. 122.
- ^ 吉田&大貫, p. 166.
- ^ Barrow-Green, p. 135.
- ^ Barrow-Green, p. 67.
- ^ Barrow-Green, pp. 73-74,
- ^ Barrow-Green, p. 128.
- ^ 伊藤孝士, 谷川清隆. “21世紀の天体力学”. p. 3. 2020年10月25日閲覧。 p.7.
- ^ Barrow-Green, pp. 3-4.
- ^ a b Boccaletti & Pucacco, p. 102.
- ^ Boccaletti & Pucacco, pp. 99-102.
- ^ Boccaletti & Pucacco, p. 103.
参考文献
- Barrow-Green (1997). Poincaré and the Three-Body Problem. American Mathematical Society. doi:10.1090/hmath/011/01
- Boccaletti, Dino; Pucacco, Giuseppe (2002). Theory of Orbits: Volume 2: Perturbative and Geometrical Methods. Springer. ISBN 3-540-60355-7
- Kozlov, V. V. (1983). “Integrability and non-integrability in Hamiltonian mechanics”. Russian Mathematical Surveys 38 (1). doi:10.1070/RM1983v038n01ABEH003330.
- 大貫, 義郎、吉田, 春夫『岩波講座 現代の物理学〈1〉力学』(第2刷)岩波書店、1997年。ISBN 4-00-010431-4。
- 柴山, 允瑠『重点解説ハミルトン力学系 : 可積分系とKAM理論を中心に』サイエンス社、2016年。ISSN 0386-8257。
関連項目
- 三体問題 - 制限三体問題 - ブルンスの定理
- 可積分系 - リウヴィル=アーノルドの定理
- KAM定理
外部リンク
- 柴山允瑠「ハミルトン系の非可積分性の証明 (力学系の作る集団ダイナミクス : 保存系・散逸系の枠組みを越えて)」『数理解析研究所講究録』第1827巻、京都大学数理解析研究所、2013年3月、1-17頁、CRID 1050845760735415296、hdl:2433/194788、ISSN 1880-2818、2024年1月11日閲覧。