ポアンカレの定理

古典力学において、ポアンカレの定理（—のていり、）は可積分系に摂動が加わると一般に非可積分系となることを述べる定理である。三体問題を解析的に解くことが不可能であることを示すためにアンリ・ポアンカレによって19世紀末に導かれた。
定理.
ハミルトン力学において、系の自由度に等しい数の独立な運動の積分が存在し、それらが互いにポアソン可換であるとき、この系は可積分系と呼ばれ解を求積法によって求めることができる（リウヴィルの定理）。特に、formula_1 自由度系においてこれらの積分 formula_2, formula_3, ..., formula_4 がそれぞれ一定値を取る超曲面
が連結かつコンパクトであり、その上で勾配 formula_6 が一次独立であるならば、この超曲面は formula_1 次元トーラス formula_8 と微分同相であり、トーラスの自然な座標 formula_9 と正準共役な変数 formula_10 が存在し、ハミルトニアン formula_11 を formula_12 という形に表示することができる（リウヴィル＝アーノルドの定理）。このような正準座標 formula_13 を作用・角変数と呼び、このとき運動方程式は振動数ベクトル formula_14 を用いて
と書ける。この方程式はただちに解け、従って可積分系は一般に求積可能である。
ポアンカレの定理は、可積分系に摂動が加わったとき、その系（近可積分系と呼ばれる）が依然として可積分系になるかどうかを扱ったものである。近可積分系はしばしば摂動論を用いて取り扱われるが、古典力学における正準摂動論は多自由度系 formula_16 の場合には小分母の問題と呼ばれる問題が存在する。摂動論によって得られた摂動級数の各項はフーリエ級数
という形に表示される。係数 formula_18 は、例えば摂動の1次では摂動ハミルトニアン formula_19 のフーリエ級数表示
に現れる係数 formula_21 に等しい。ところが一般に formula_22 は整数ベクトル formula_23 を適切に選べば任意に小さな値を取ることができ、特に formula_24 がな場合にはあるゼロでない formula_23 に対して
が成立する。このときこのフーリエ級数は収束せず、従って摂動展開が意味をなさなくなる。これが小分母の問題 (small divisors problem) である。ポアンカレの定理は小分母の問題と密接に関係しており、作用変数 formula_10 のうち、formula_28 個の一次独立なベクトル formula_29 (formula_30) が存在し、formula_31 かつ
を満足するものの全体をポアンカレ集合と呼ぶ。
以上の準備のもとで、ポアンカレの定理は次のことを主張する。
領域 formula_33 とトーラス formula_8 の直積 formula_35 を位相空間とする可積分系 formula_11 (その作用・角変数を formula_13 とする) がツイスト条件（非退化の条件）
を満たすと仮定する。パラメータ formula_39 に解析的に依存する近可積分系
について、そのポアンカレ集合が formula_41 で稠密であるならば、この系にはハミルトニアンと独立な運動の積分
で各係数 formula_43 が作用・角変数 formula_13 の解析的な関数であるようなものは存在しない。
ポアンカレの定理は多自由度の近可積分系には一般に摂動パラメータに解析的に依存する非自明な積分が存在しないこと、あるいは可積分系は摂動パラメータ formula_39 に関して連続的には存在し得ないことを示している。ただし具体的に与えられた系にポアンカレの定理が適用可能かどうかを判定することは、その仮定が成立するか検討する必要があり、困難であることが多い。例えば円制限平面三体問題は、ケプラーの法則に従い円運動する二天体がつくる重力場中を運動する同一の軌道面内の粒子の運動を問うものであり、そのハミルトニアンは二体の質量比 formula_46 を用いて
と書ける。これは質量比 formula_39 を摂動パラメータとみなすとき第一体がつくる重力場中のケプラー運動という可積分系に摂動が加わったものと解釈できる。ポアンカレの定理は（技術的な工夫を要するものの）円制限平面三体問題に対して適用可能であり、ブルンスの定理と併せて三体問題の非可積分性（従って求積不可能性）を示すものとみなされている。
歴史.
アイザック・ニュートンらによって古典力学が定式化されると月の運動などへの興味から三体問題は詳細な研究対象となり、18世紀および19世紀を通じてオイラー積分（エネルギー、全運動量、全角運動量、重心運動）以外の運動の積分を見出す試みが継続された。しかしこれらの試みはすべて失敗し、本定理に先行する1887年に によって三体問題には座標、運動量、時刻の代数関数として表される運動の積分はオイラー積分以外に存在しないことが示された。ただしこのブルンスの定理は対象が代数関数に限定されているため、三体問題の求積不可能性を示すためには十分ではなかった。
アンリ・ポアンカレは、スウェーデン王オスカル2世による三体問題に関する国際コンペティションに応募した研究の中で、ホモクリニック軌道の発見（これはカオスの最初の発見とみなされている）、リンドステット級数（）が発散すること、といった成果とともに制限三体問題の求積不可能性を示す本定理に到達し、1890年に出版された研究報告の中でこの定理について述べている。また1892年に出版された著書 "Les méthodes nouvelles de la mécanique céleste" の第一巻で詳しい証明を与えた。なおポアンカレはこのコンペティションでメダルを獲得しているが、メダル獲得が決定した最初の研究成果には深刻な誤りがあり、それを受けて最終的な研究報告は大きく修正されているが、修正前の成果に既に本定理は含まれている。
ポアンカレの定理は原理的に求積不可能な物理系の存在を知らしめ、運動方程式の解を求めるというそれまでの力学の中心的な研究手法から、より定性的な方向の研究を促した。ポアンカレはその後の研究の中で周期解の存在に関連して現在位相幾何学として知られる考え方を導入し、またジョージ・デビット・バーコフらによって受け継がれることになる力学系の理論を創始した。
KAM定理.
1954年にアンドレイ・コルモゴロフによってその主張と証明のアイデアが提示され、1960年代にウラジーミル・アーノルドとユルゲン・モーザーによって証明が完遂されたKAM定理は、ポアンカレの定理と同じく可積分系に摂動が加わったときの系の挙動を述べたものである（そしてやはり小分母の問題と関係している）。KAM定理は、可積分系において存在したトーラスは摂動を受けてもその大部分が生き残り、従って近可積分系にもまたトーラスが存在することを主張する。これはある意味で摂動後の系にも運動の積分が存在することを意味するが、ただしそれを作用変数 formula_10 について解析的な関数によって表現することはできず、従ってKAM定理はポアンカレの定理と矛盾するものではない。