[論文レビュー] Double exponential stability for generic real-analytic elliptic equilibrium points

Abed Bounemoura, Bassam Fayad+1 more|arXiv (Cornell University)|Sep 1, 2015

Quantum chaos and dynamical systems参考文献 23被引用数 8

ひとこと要約

本稿は、ディオファントス的周波数をもつ一般の実解析的ハミルトニアン系の楕円的平衡点の近傍で、二重指数的安定性を確立する。次数 $[\frac{n^2+4}{2}]$ までのバーフォームの一般性条件を用いて、初期値が平衡点に近い解が、距離の逆数の二重指数的時間にわたり近接を保つことを証明する。これにより、非一般的仮定を緩和した既存の結果を改善する。

ABSTRACT

We consider the dynamics in a neighborhood of an elliptic equilibrium point with a Diophantine frequency of a symplectic real analytic vector field and we prove the following result of effective stability. Generically, both in a topological and measure-theoretical sense, any solution starting sufficiently close to the equilibrium point remains close to it for an interval of time which is doubly exponentially large with respect to the inverse of the distance to the equilibrium point. We actually prove a more general statement assuming the frequency is only non-resonant. This improves previous results where much stronger non-generic assumptions were required.

研究の動機と目的

• 実解析的ハミルトニアン系の楕円的平衡点の近傍で、ディオファントス的周波数をもつ場合の有効安定性を確立すること。
• ネホロシュフ型安定性結果において従来必要とされてきた強い非一般的仮定を除去すること。
• 位相的および測度論的両方の意味で一般な条件が、二重指数的安定性区間をもたらすことを証明すること。
• 一般的勾配性条件の下で、ディオファントス的でない非共鳴周波数に対しても結果を拡張すること。
• ハミルトニアンのテイラー展開の低次の項にのみ依存する定量的安定性推定を与えること。

提案手法

• 次数 $[\frac{n^2+4}{2}]$ までのバーフォームにおける一般性条件を導入し、一般の実解析的ハミルトニアンに対して勾配性を保証する。
• 再帰的KAM型正規化アルゴリズムを適用し、非共鳴項を段階的に除去する正則な変換を構成する。
• 周期的近似と剰余項の大きさの推定を用いて、正規形誤差の増大を制御する。
• 生成関数とその流れの合成を用いて、ベクトル場およびそのリーブラケットの大きさの推定を実施する。
• 主要級数法を用いて、反復的段階におけるハミルトニアンおよびその微分の解析的ノルムを制御する。
• 摂動の大きさと変換の大きさの推定を、誤差項の二重指数的減衰と組み合わせることで、最終的な安定性境界を達成する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアンに強い非一般的仮定を課さずに、楕円的平衡点の有効安定性を一般的仮定のもとで確立できるか？
• RQ2 実解析的ハミルトニアン系の楕円的平衡点の近傍で、ディオファントス的周波数をもつ場合の最適な安定時間スケールは何か？
• RQ3 安定時間はハミルトニアンのテイラー展開の次数と周波数ベクトルにどのように依存するか？
• RQ4 強い非退化性や非共鳴条件を仮定せずに、二重指数的安定性を達成できるか？
• RQ5 バーフォームにおける勾配性の一般性が、安定時間スケールに及ぼす影響の程度は何か？

主な発見

• 原点におけるディオファントス的周波数ベクトルをもつ一般の実解析的ハミルトニアンに対して、解は $\varepsilon$ の近傍に、$\varepsilon^{-1}$ の二重指数的時間にわたり留まる。
• 次数 $[\frac{n^2+4}{2}]$ までのバーフォームにおける一般的条件のもとで、安定時間は $\exp(\exp(C\varepsilon^{-1}))$ で下から抑えられる。ここで $C>0$ である。
• 結果は位相的および測度論的両意味で一般に成り立ち、一般集合はLebesgue測度1をもつ。
• この手法はディオファントス的周波数に限らず、一般的勾配性条件のもとで非共鳴周波数に対しても適用可能である。
• 反復的正規化プロセスに依拠し、誤差項は $\varepsilon_j = 2^j \varepsilon$ と表され、最終的な誤差は $O(j 2^j 2^{-m} \varepsilon)$ で抑えられ、二重指数的安定性が保証される。
• 鍵となる推定は、$||X_{f_j^+}||_{2s_j,2\xi_j} \leq (j+1)2^j 2^{-m} \varepsilon$ であり、$m$ が増加するにつれて急速に減少し、二重指数的時間スケールの達成を可能にする。