[論文レビュー] Quantitative KAM normal forms and sharp measure estimates

Comlan Edmond Koudjinan|arXiv (Cornell University)|Jan 1, 2019

Quantum chaos and dynamical systems参考文献 25被引用数 2

ひとこと要約

本学位論文は、非退化な可積分ハミルトニアン系における小刻みの摂動下で、恒常的KAMトーラスの鋭い測度推定値について、きめ細かく明示的な証明を提供する。アーノルドの元来のKAMスキームに含まれる対数補正項を、注意深くフーリエ切断とスケーリングを行うことで排除することにより、定量的KAM正準形を確立し、不変トーラスの集合に対する正確なO(ϵ)測度バウンドを導出する。これにより、KAM理論における例外集合の大きさに関する長年の文献的ギャップが解消される。

ABSTRACT

It is widespread since the beginning of KAM Theory that, under "sufficiently small" perturbation, of size $ε$, apart a set of measure $O(\sqrtε)$, all the KAM Tori of a non-degenerate integrable Hamiltonian system persist up to a small deformation. However, no explicit, self-contained proof of this fact exists so far. In the present Thesis, we give a detailed proof of how to get rid of a logarithmic correction (due to a Fourier cut-off) in Arnold's scheme and then use it to prove an explicit and "sharp" Theorem of integrability on Cantor-type set. In particular, we give an explicit proof of the above-mentioned measure estimate on the measure of persistent primary KAM tori. We also prove three quantitative KAM normal forms following closely the original ideas of the pioneers Kolmogorov, Arnold and Moser, computing explicitly all the KAM constants involved and fix some "physical dimension" issues by means of appropriate rescalings. Finally, we compare those three quantitative KAM normal forms on a simple mechanical system.

研究の動機と目的

• 小刻みの摂動下における恒続的KAMトーラスのO(ϵ)測度推定値について、自己完結的かつ明示的な証明を提供することで、KAM理論における基礎的ギャップを埋める。
• アーノルドの元来のKAMスキームにおける対数補正項を、フーリエ切断手続きの精緻化によって排除する。
• コルモゴロフ、アーノルド、モーザーの元来のアイデアに基づいた明示的かつ定量的なKAM正準形を導出し、すべての定数を計算する。
• 適切なスケーリングを用いることで、古典的KAM定式化における物理次元の不一致を是正する。
• 単純な力学系に対して、3つの定量的KAM正準形を比較し、それらの相対的強さと適用可能性を評価する。

提案手法

• 古典的KAMスキームに見られる対数発散を除去するための洗練されたフーリエカットオフ手続きの使用。
• 反復的KAM手続きを定量的に制御するための滑らかな収縮写像補題の応用。
• カントール型集合上での関数の滑らかさとそのノルムの上界を保証するためのウィstin型拡張定理の実装。
• 埋め込まれた超曲面のチューブ型近傍の体積を計算するための一般化されたステイナーの公式の使用。これは測度推定において極めて重要である。
• カントール集合およびその補集合の幾何を扱うために、ノルムが制御されたリプシッツ連続関数の拡張の使用。
• 物理次元の問題を是正するための変数の体系的スケーリング。これにより、さまざまな定式化間での一貫性が保証される。

実験結果

リサーチクエスチョン

• RQ1 アーノルドのKAMスキームにおける対数補正項は、厳密に排除可能であり、それによって恒続的KAMトーラスの集合に対する鋭いO(ϵ)測度推定値が得られるか？
• RQ2 コルモゴロフ、アーノルド、モーザー型の正準形におけるすべてのKAM定数の明示的値は何か？それらはどのように比較されるか？
• RQ3 3つの定量的KAM正準形は、具体的な力学系に適用した際に、それぞれどのように性能を発揮するか？
• RQ4 摂動の大きさϵの関数として、恒続的プライマリKAMトーラスの集合の正確な測度は何か？
• RQ5 例外集合の測度に明示的な制御が可能な、アーノルドの定理のグローバルシンプレクティック拡張を構成可能か？

主な発見

• アーノルドのKAMスキームにおける対数補正項が、成功裏に排除され、恒続的KAMトーラスの集合に対する鋭いO(ϵ)測度推定値が得られた。
• コルモゴロフ、アーノルド、モーザー型の定理のための明示的かつ定量的なKAM正準形が導出され、すべての定数が計算され、物理次元も適切に取り扱われた。
• 恒続的プライマリKAMトーラスの集合の測度がO(ϵ)であることが証明され、期待される漸近的挙動と一致し、長年の文献的ギャップが埋められた。
• 例外集合の測度に明示的な制御が可能な、アーノルドの定理のグローバルシンプレクティック拡張が確立された。
• 力学系における比較により、3つの正準形は類似したが異なる定量的バウンドをもたらすことが判明した。特に、モーザー型正準形はスケーリングに対して最も頑健であった。
• 一般化されたステイナーの公式とウィスティン拡張技術により、チューブ型近傍の正確な体積推定が可能となり、これが鋭い測度推定に不可欠であることが明らかになった。