[論文レビュー] Rigorous treatment of the averaging process for co-orbital motions in the planetary problem

Philippe Robutel, Laurent Niederman+1 more|arXiv (Cornell University)|Jun 9, 2015

Quantum chaos and dynamical systems参考文献 22被引用数 16

ひとこと要約

本稿では、ハミルトニアン平均化を用いて、惑星系3体問題における共軌道運動を厳密に解析するためのフレームワークを提示する。正則な複素領域の構築と変換のスケール推定を通じて、平均化された力学が長時間スケールで可積分近似と近くに保たれることを証明し、摂動による軌道のずれに対して定量的な境界を確立する。

ABSTRACT

We develop a rigorous analytical Hamiltonian formalism adapted to the study of the motion of two planets in co-orbital resonance. By constructing a complex domain of holomorphy for the planetary Hamilto-nian, we estimate the size of the transformation that maps this Hamil-tonian to its first order averaged over one of the fast angles. After having derived an integrable approximation of the averaged problem, we bound the distance between this integrable approximation and the averaged Hamiltonian. This finally allows to prove rigorous theorems on the behavior of co-orbital motions over a finite but large timescale.

研究の動機と目的

• 標準的な長期間平均化が強い共鳴効果のため失敗する共軌道惑星系に対して、厳密な解析的ハミルトニアン形式を構築すること。
• 非平均化ハミルトニアンから1次平均化形式への変換のスケールを、複素領域の正則性を用いて厳密に推定すること。
• 平均化ハミルトニアンの可積分近似を構築し、それと真の平均化系との残差を境界すること。
• 変換のスケール推定と残差境界を組み合わせることで、共軌道運動の長期的挙動に関する厳密な定理を証明すること。
• 現実的な惑星質量比に対して有効な、有限だが大きな時間スケールにおける軌道ずれの定量的・非摂動的境界を提供すること。

提案手法

• 惑星系ハミルトニアンの正則な複素領域を構築し、摂動項の厳密な解析的推定を可能にする。
• コーシー型不等式を適用して、高速角（平均近点角）に関する平均化に伴うハミルトニアンベクトル場および変換のスケールを境界する。
• 重み付きバナッハ空間におけるノルムを用いて、平均化プロセスにおける残差項、特に摂動 $ H_* $、長期間部分 $ ar{H}_0^* $、および残余 $ R $ の明示的推定を導出する。
• 線形スケーリング $ oldsymbol{ ho} $、正則変換 $ oldsymbol{ heta} $、非線形平均化写像 $ oldsymbol{ ho} $ の一連のシンプレクティック変換を用いて、系を単純化する。
• 変換のスケールと残差項のスケールを制御することで、真の解と可積分近似との間の誤差を境界する。
• 変換スケールの推定と残差スケールの推定を組み合わせ、作用変数の初期値からのずれに対する時間に依存する境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 共軌道共鳴の文脈において、非平均化ハミルトニアンから1次平均化形式への変換のスケールを、どのように厳密に推定できるか？
• RQ2 平均化ハミルトニアンとその可積分近似との間の定量的距離は何か？ そして、これは長期的軌道安定性にどのように影響するか？
• RQ3 共軌道運動が可積分近似とどれくらいの時間スケールで近くに保たれるか？ そして、これを厳密に境界できるか？
• RQ4 変換が恒等写像に近くない共鳴領域において、解析的推定を用いて標準的な平均化法を正当化できるか？
• RQ5 与えられた解析的枠組みのもとで、有限だが大きな時間スケールにおける作用変数の初期値からの最大ずれは何か？

主な発見

• 非平均化ハミルトニアンから1次平均化形式への変換のスケールは、$ \frac{8M\tau}{\rho\theta} \frac{\rho}{\theta} $ で境界され、ここで $ M $, $ \rho $, $ \theta $, $ \tau $ は系の質量、領域サイズ、周波数に関連する。
• 平均化ハミルトニアンとその可積分近似との間の残差は、$ \frac{M\tau}{\theta} \rho \frac{21}{2} \frac{\rho}{\theta} + 40 \frac{\rho}{\theta} \frac{\rho}{\theta} $ で境界され、不変多様体の近傍で摂動が小さいことを保証する。
• 解が初期値の $ \rho $-近傍にとどまる時間 $ \tau $ は、$ \frac{\rho^2}{4L} $ で下から境界され、ここで $ L $ は残差項のスケールに比例する。
• 2番目の作用変数 $ I_2 $ の初期値からのずれは、$ \frac{2L}{\rho\theta} |t| $ で境界され、$ |t| \neq \frac{\rho^2}{4L} $ の時間スケールで安定性が保証される。
• 真の変数と平均化された変数との間の変換は、$ \big\bracevert \frac{\rho}{\theta} \big\bracevert < \frac{\rho}{4} $ を満たし、解が正則領域にとどまることを保証する。
• 元の変数における解は、$ \big\bracevert Z_2(t) - Z_2(0) \big\bracevert < \rho $ を満たし、$ |t| \neq \frac{\rho^2}{4L} $ のとき、解析的制御のもとで共軌道配置の長期的安定性が証明される。