[論文レビュー] On the stability of Mañé critical hypersurfaces

Leonardo Macarini, Gabriel P. Paternain|ArXiv.org|Oct 29, 2009

Advanced Differential Equations and Dynamical Systems参考文献 8被引用数 3

ひとこと要約

本稿は、n ≥ 2 におけるトネリハミルトニアンのトーラス 𝕋ⁿ 上で、マニェ臨界超曲面が安定（測地的）である明示的例を構成し、これにより長年の懸案であったこれらのエネルギー準位の安定性に関する問題を解決する。また、特定の自由ホモトピー類に閉軌道が存在しないことに基づく不安定性の基準を確立し、任意の安定エネルギー準位が少なくとも1つの閉軌道を含むべきであることを証明する。

ABSTRACT

We construct examples of Tonelli Hamiltonians on $\T^n$ (for any $n\geq 2$) such that the hypersurfaces corresponding to the Mañé critical value are stable (i.e. geodesible). We also provide a criterion for instability in terms of closed orbits in free homotopy classes and we show that any stable energy level of a Tonelli Hamiltonian must contain a closed orbit.

研究の動機と目的

• トーラス 𝕋² 以外の多様体上におけるトネリハミルトニアンのマニェ臨界超曲面が安定（測地的）であるかどうかを特定すること。
• 特定の自由ホモトピー類に閉軌道が存在しないことに基づき、臨界超曲面 Σ_{c_u} の不安定性に関する基準を提供すること。
• 任意の安定エネルギー準位が、少なくとも1つの閉軌道を含むべきであることを証明すること。
• 任意の n ≥ 2 に対して、トーラス 𝕋ⁿ 上でマニェ臨界超曲面が安定であるようなトネリハミルトニアンの明示的例を構成すること。

提案手法

• 可解リー群 Sol 上の左不変ハミルトニアンの構造を活用し、3次元多様体 M = Γ\Sol 上で明示的例を構成する。
• |θ| = 1 および θ = e^{-z}dx を用いて、H = ½|p + θ_x|² で定義されるハミルトニアンを用い、M 上にトネリハミルトニアンを定義する。
• 特定の自由ホモトピー類 Γ に閉軌道が存在しない場合、Σ_{c_u} は不安定であるという基準を適用する。
• アメニタリ群（Sol など）では c_u(H) = c_0(H) = 1/2 が成り立つことを利用して、臨界値が正しく定義され、正則であることを保証する。
• 補題 2.1 および補題 2.2 を用いた再帰的構成により、𝕋² 上の安定例を高次元トーラス 𝕋ⁿ に持ち上げる。
• ハミルトニアンベクトル場の Σ_{1/2} 上の力学を分析し、すべての閉軌道がゼロにホモロジーラスであることを証明し、これにより不安定性基準に基づき不安定性を示す。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 2 のとき、トーラス 𝕋ⁿ 上のトネリハミルトニアンに対して、マニェ臨界超曲面が安定であることは可能か？
• RQ2 自由ホモトピー類における閉軌道の存在有無という観点から、Σ_{c_u} の安定性にトポロジカル的または力学的障害があるか？
• RQ3 任意の安定エネルギー準位が、少なくとも1つの閉軌道を含む必要があるか？
• RQ4 高次元トーラス上に、安定な臨界超曲面を明示的に構成できるか？

主な発見

• 本稿は、任意の n ≥ 2 に対して、トーラス 𝕋ⁿ 上でマニェ臨界超曲面 Σ_c が安定（測地的）であるようなトネリハミルトニアンの明示的例を構成する。
• 特定の自由ホモトピー類 Γ にエネルギー c_u の閉軌道が存在しない場合、Σ_{c_u} は不安定であることを証明する。
• 任意の安定エネルギー準位が、少なくとも1つの閉軌道を含むべきであることを確立する。
• ココンパクト格子を備えた可解リー群 Sol に対して、|θ| = 1 である H = ½|p + θ_x|² を用いると、c_u(H) = c_0(H) = 1/2 が成り立ち、Σ_{1/2} 上のすべての閉軌道はゼロにホモロジーラスである。これにより、不安定性が示される。
• 𝕋² から 𝕋ⁿ への反復的持ち上げにより、任意の次元 n ≥ 2 で安定臨界超曲面が得られる。
• M = Γ\Sol 上の例は、Σ_{1/2} が接触型であるにもかかわらず、非自明なホモトピー類に非自明な閉軌道が存在しないことから、不安定であることが示される。