[論文レビュー] Action-angle coordinates and KAM theory for singular symplectic manifolds

Eva Miranda, Arnau Planas|arXiv (Cornell University)|Dec 31, 2022

Advanced Differential Equations and Dynamical Systems被引用数 4

ひとこと要約

本稿は、横断的超曲面を持つ特異なシンプレクティック構造である$b^m$-シンプレクティック多様体に対して、作用角座標を構築し、微小摂動下でも準周期的トーラスが保存されることを保証するKAM定理を確立することで、$b^m$-シンプレクティック多様体におけるKAM理論を確立する。主な貢献は、シンプレクティック圏を超えたポisson多様体上での可積分系に対する初めての摂動理論であり、特異化と$b$-接触構造を介して天体力学および流体力学への応用を含む。

ABSTRACT

This monograph explores classification and perturbation problems for integrable systems on a class of Poisson manifolds called $b^m$-Poisson manifolds. Even if the class of $b^m$-Poisson manifolds is not ample enough to represent general Poisson manifolds, this investigation can be seen as a first step for the study of perturbation theory for general Poisson manifolds. We prove an action-angle coordinate and a KAM theorem for $b^m$-Poisson manifolds which improves the one obtained for $b$-Poisson manifolds for $m=1$ in [KMS16]. As an outcome of this result together with the extension of the desingularization techniques of Guillemin-Miranda-Weitsman to the realm of integrable systems, we obtain a KAM theorem for folded symplectic manifolds. We also obtain a new KAM theorem for symplectic manifolds where the perturbation keeps track of a distinguished hypersurface. In several problems in celestial mechanics, this distinguished hypersurface can be the line at infinity or can represent the collision set.

研究の動機と目的

• 古典的シンプレクティック設定を超えて、横断的臨界超曲面を持つ特異シンプレクティック多様体のクラスとしての$b^m$-シンプレクティック多様体へのKAM理論の拡張。
• 一般化された古典的Arnold-Liouville-Mineur定理を特異ポアソン構造へ拡張する、$b^m$-可積分系のための作用角座標形式の構築。
• $b^m$-シンプレクティック多様体に対するKAM定理を確立し、微小摂動下でも不変トーラスが保存されることを保証することで、準周期的ダイナミクスの研究を可能にする。
• 特異化技術（例：McGehee座標）を用いて、制限三体問題や脱出軌道を含む天体力学的問題への理論の応用。
• $b$-Reeb-Beltrami対応を介して、$b^m$-ダイナミクスと流体力学を結びつけ、定常流の流れにおける特異周期的軌道および脱出軌道の同定。

提案手法

• $b^m$-シンプレクティック構造を、滑らかな超曲面$Z$を除いて非退化で、$b^m$-形式による滑らかな拡張を許すシンプレクティック形式の一般化として導入。
• $b^m$-1形式のサイクルに沿った積分によって、正則領域内のサイクル上で作用変数を定義することで、$b^m$-可積分系のための作用角座標を構築。
• $b^m$-可積分系が局所的にトーラス作用を持ち、正則なレベル集合上で角度座標が存在することを示す、$b^m$-シンプレクティック版のArnold-Liouville定理の証明。
• $b^m$-フレームワークにおけるNash-Moser反復を用いて、摂動問題を解くことにより、$b^m$-シンプレクティック多様体のための新しいKAM定理を確立。
• 特異化技術（例：McGehee変換）を用いて、$b^m$-構造と古典的天体力学的問題（例：ケプラー問題、2固定中心問題）を関連付ける。
• $b$-Reeb-Beltrami対応を活用し、接触幾何学における周期的および脱出軌道に関する結果を流体力学および天体力学へと移行。

実験結果

リサーチクエスチョン

• RQ1 $b^m$-シンプレクティック多様体、すなわちシンプレクティック形式が超曲面上で退化する特異ポアソン多様体のクラスに対して、KAM理論を拡張することは可能か？
• RQ2 $b^m$-可積分系は、古典的シンプレクティックケースに類似した明確な作用角座標系を有するか？
• RQ3 $b^m$-シンプレクティック系において、微小摂動下で準周期的トーラスが保存される条件は何か？
• RQ4 $b^m$-シンプレクティック多様体におけるKAM定理を、特に無限大または衝突特異点付近での新しい周期的軌道の特定にどのように応用できるか？
• RQ5 $b^m$-接触構造と$b$-Reeb-Beltrami対応は、流体力学および天体力学的系における脱出軌道および特異周期的軌道の同定に果たす役割は何か？

主な発見

• $b^m$-シンプレクティック多様体に対する新しいKAM定理が確立され、$b^m$-カテゴリー内での微小$C^\nu$-滑らか摂動下でも準周期的トーラスが保存されることを証明。
• $b^m$-形式と正則領域内のサイクルを用いて、$b^m$-可積分系のための作用角座標が構築され、古典的Arnold-Liouville定理が特異ポアソン構造へ一般化された。
• McGehee変換によりケプラー問題が$b^3$-接触構造に変換され、リウヴィルベクトル場がエネルギー面集合に対して横断的な$b^3$-ベクトル場となることが示された。
• 特異化後、無限大付近の制限三体問題は、臨界集合上に無限個の非自明な周期的軌道を持つ$b^3$-接触構造を示した。
• $b$-Reeb-Beltrami対応により、臨界集合の連結成分が$N$個ある3次元多様体上の一般な$b$-ベルトラミベクトル場は、少なくとも$2N$個または無限個の脱出軌道を持つことが示された。
• KAM法を用いることで、これらの特異周期的軌道を摂動系における真正の周期的軌道へと変換可能であり、Poincaréの続行法が$b^m$-設定へと拡張された。