[論文レビュー] Arnold Diffusion, Quantitative Estimates and Stochastic Behavior in the Three-Body Problem

Maciej J. Capiński, Marian Gidea|arXiv (Cornell University)|Dec 10, 2018

Quantum chaos and dynamical systems参考文献 49被引用数 4

ひとこと要約

本稿では、時間周期的摂動が小さいハミルトニアン系におけるアーノルド拡散を厳密に確立するための位相的手法を提示する。この手法により、摂動の大きさεに依存しないエネルギーの漂流、カオス的エネルギー遷移、およびε → 0のときブラウン運動にドリフトを伴う確率過程への収束が証明される。この方法は、拡散時間（O(1/ε)）、拡散する軌道のLebesgue測度、カオス的軌道のハウスドルフ次元、および確率的極限について明示的な定量的推定値をもたらし、具体的なモデル（平面楕円型制限三体問題におけるネプチューン-トリトン系など）におけるコンピュータ支援証明の実装が可能である。

ABSTRACT

We consider a class of autonomous Hamiltonian systems subject to small, time-periodic perturbations. When the perturbation parameter is set to zero, the energy of the system is preserved. This is no longer the case when the perturbation parameter is non-zero. We describe a topological method to establish orbits which diffuse in energy for every suitably small perturbation parameter $\varepsilon>0$. The method yields quantitative estimates: (i) The existence of orbits along which the energy drifts by an amount independent of $\varepsilon$. The time required by such orbits to drift is $O(1/\varepsilon)$; (ii) The existence of orbits along which the energy makes chaotic excursions; (iii) Explicit estimates for the Hausdorff dimension of the set of such chaotic orbits; (iv) The existence of orbits along which the time evolution of energy approaches a stopped diffusion process (Brownian motion with drift), as $\varepsilon$ tends to $0$. For each $\varepsilon$ fixed, the set of initial conditions of the orbits that yield the diffusion process has positive Lebesgue measure, and in the limit the measure of these sets approaches zero. Moreover, we can obtain any desired values of the drift and variance for the limiting Brownian motion, for appropriate sets of initial conditions. A key feature of our topological method is that it can be implemented in computer assisted proofs. We give an application to a concrete model of the planar elliptic restricted three-body problem, on the motion of an infinitesimal body relative to the Neptune-Triton system.

研究の動機と目的

• 時間周期的摂動が任意に小さいハミルトニアン系において、エネルギーの大きな漂流を示す軌道の存在を確立すること。
• 拡散時間、拡散する軌道の測度、カオス的軌道のハウスドルフ次元についての明示的な定量的推定値を提供すること。
• 特定の軌道のエネルギーの時間的変化が、摂動パラメータε → 0のとき停止した拡散過程（ドリフト付きブラウン運動）に収束することを示すこと。
• 具体的な物理的モデルの検証に適したコンピュータ支援証明に実装可能な手法を開発すること。
• 平面楕円型制限三体問題に、特にネプチューン-トリトン系を適用し、物理的に妥当なパラメータを用いること。

提案手法

• 位相的アプローチとして、位相空間における不変多様体と被覆関係を用いた遷移チェーンの構成に基づく。
• ε > 0 の区間（0に限りなく近い値を含む）における漸近的挙動を、有限精度での有限個の明示的条件の検証から導出する。
• 記号的力学系とディスクの伝播を用いて、フロー下での集合の時間的変化を追跡し、拡散を確立する。
• I が非摂動系（ε = 0）で保存される作用角変数を用いたハミルトニアン系への適用。
• 位相空間内にカントール型集合を構成することで、カオス的軌道のハウスドルフ次元を推定する。
• エネルギーの時間的変化がε → 0のときドリフト付きブラウン運動に近づくことを示し、ドリフトと分散の両方を初期条件によって明示的に制御することを導出する。

実験結果

リサーチクエスチョン

• RQ1 アーノルド拡散は、三体問題のような具体的な物理的モデルにおいて、摂動が小さい場合に厳密に確立可能か？
• RQ2 固定されたエネルギー変化量を達成するのに要する時間の明示的定量的境界は、εに依存しないか？
• RQ3 各固定されたε > 0 に対して、エネルギー拡散を引き起こす初期条件の集合のLebesgue測度は何か？ また、ε → 0 のときその測度はどのように振る舞うか？
• RQ4 カオス的エネルギー遷移を示す軌道の集合のハウスドルフ次元は何か？
• RQ5 ε → 0 のときのエネルギー変化の極限確率過程は明示的に記述可能か？ また、初期条件によってドリフトと分散を制御可能か？

主な発見

• εに依存しないエネルギーの漂流を示す軌道が存在し、その漂流に要する時間はO(1/ε)である。
• 各固定されたε > 0 に対して、エネルギー拡散を引き起こす初期条件の集合は正のLebesgue測度を持ち、ε → 0 のときその測度は0に収束する。
• カオス的エネルギー遷移を示す軌道の集合のハウスドルフ次元は明示的に推定され、εに依存しない正の定数で下から抑えられている。
• 特定の軌道のエネルギー時間的変化は、ε → 0 のとき停止した拡散過程（ドリフト付きブラウン運動）に収束し、ドリフトと分散は初期条件によって明示的に制御可能である。
• この手法は、有効な数値計算を用いたコンピュータ支援証明に実装可能であり、ネプチューン-トリトン系のような具体的なモデルの厳密な検証を可能にする。
• 結果は、物理的に妥当なパラメータ（観測された質量比と離心率を含む）を有する平面楕円型制限三体問題に適用可能である。