[論文レビュー] Lecture notes on Mather's theory for Lagrangian systems

Alfonso Sorrentino|arXiv (Cornell University)|Nov 2, 2010

Quantum chaos and dynamical systems参考文献 44被引用数 21

ひとこと要約

本稿は、コンパクト多様体上のラグランジュ系に対するマザー理論について包括的な紹介を提供し、作用最小化測度、マザー集合、アブリ・マニェ集合、およびそれらが安定的・カオス的力学を理解する上で果たす役割に焦点を当てる。本稿では、補正曲線と臨界下位関数を用いて不変性および最小性の性質を証明することで、マニェ集合に制限したオイラー＝ラグランジュ流れの非脱進集合がアブリ集合に含まれることを確立する。

ABSTRACT

These are introductory lecture notes on Mather's theory for Tonelli Lagrangian and Hamiltonian systems. They are based on a series of lectures given by the author at Università degli Studi di Napoli "Federico II" (April 2009), at University of Cambridge (academic year 2009-2010) and at Universitat Politècnica de Catalunya (June 2010).

研究の動機と目的

• コンパクト多様体上のトネリラグランジュ関数に対して、マザー理論の自己完結的かつアクセス可能な紹介を提供すること。
• KAMトーラスの範囲を超えて、作用最小化集合（マザー、アブリ、マニェ集合）の構造と力学的性質を明確にすること。
• 補正曲線と下位関数を用いて、マニェ集合に制限したオイラー＝ラグランジュ流れの非脱進集合がアブリ集合に含まれることを確立すること。
• 変分法とハミルトニアン系のグローバル力学の間のギャップを埋めること、特に可積分でないか摂動を受ける設定において。
• 高次元系における変分的構成を用いて、アーノルド拡散およびカオス的軌道を理解する基盤を築くこと。

提案手法

• コンパクト多様体上のトネリラグランジュ関数を導入し、ヘッセ行列の正定値性と超線形性を仮定することで、最小化測度の存在を保証する。
• 最小作用の原理と補正曲線を用いて、作用最小化測度およびそれに関連する不変集合を定義する。
• 臨界下位関数（u ≤ L + α(c)）を適用し、補正曲線の特徴づけと、等式 ∫(L + α(c))ds = u(y) - u(x) を用いた最小性の確立を行う。
• η-臨界下位関数とその等リプシッツ性を用いて、曲線列の収束を制御する。
• 逐次的コンパクト性と曲線のC¹収束を用いて、作用関数への極限を取る。これにより、極限曲線が依然として補正されることを証明する。
• 非脱進点の定義と流れの不変性を適用し、マニェ集合内の任意の非脱進点がアブリ集合に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 作用最小化測度は、可積分でないか摂動を受けるハミルトニアン系において、KAMトーラスをどのように一般化するか？
• RQ2 マニェ集合の力学的意味は何か？また、非脱進行動の観点から、アブリ集合とはどのように関係しているか？
• RQ3 マニェ集合に制限したオイラー＝ラグランジュ流れの非脱進集合は、アブリ集合に含まれると特徴づけられるか？
• RQ4 収束下で極限曲線の補正を証明する際に、臨界下位関数はどのような役割を果たすか？
• RQ5 変分法は、トゥイスト写像を超えて、マザーおよびマニェ集合を介して高次元系へどのように拡張されるか？

主な発見

• オイラー＝ラグランジュ流れのマニェ集合への制限における非脱進集合はアブリ集合に含まれる。すなわち、Ω(Φ|Ñ_c) ⊆ Ã_c。
• 任意の x, y ∈ Ã_c に対して、距離関数 h_η(x,y) は、すべてのη-臨界下位関数 u における u(y) - u(x) の上限として与えられる。
• マニェ集合の各点に対して補正曲線が存在し、極限において ∫₀^{t_k} (L_η + α(c)) ds = u_k(γ_k(t_k)) - u_k(x_k) の等式が成り立つ。
• 極限曲線 γ(t) は [0, ∞) 上で (u, L_η, α(c))-補正される。対称的議論により、ℝ 上への拡張が可能であり、完全な補正性が証明される。
• η-臨界下位関数の等リプシッツ性により、作用差の収束に対する一様な制御が保証される。
• アブリ集合は空でない。なぜなら、コンパクト空間上の連続な流れは非脱進点を必ず持つし、不変測度の台はアブリ集合に含まれるからである。