[論文レビュー] A geometric control proof of linear Franks' lemma for geodesic flows

Ayadi Lazrag|arXiv (Cornell University)|Jan 31, 2014

Mathematical Dynamics and Fractals参考文献 6被引用数 3

ひとこと要約

本稿は、リーマン多様体上の測地線流れにおける線形Franksの補題の幾何学的制御理論に基づく証明を提示する。長さ1の測地線セグメントに沿った線形化されたPoincaré写像を、小さなC^k計量摂動によって、シンプレクティック群Sp(n-1)内に任意に摂動可能であることを示している。証明は終点写像と可制御性条件を用いて局所的全射性を確立し、力学系における重要な技術的道具の構成的かつ初等的なアプローチを提供する。

ABSTRACT

We provide an elementary proof of the Franks lemma for geodesic flows that uses basic tools of geometric control theory.

研究の動機と目的

• 幾何学的制御理論を用いて、測地線流れの線形Franksの補題のより単純で初等的な証明を提供すること。
• 長さ1の測地線セグメントに沿った線形化されたPoincaré写像が、小さなC^k計量摂動によってSp(n-1)内で自由に摂動可能であることを確立すること。
• 高次元において技術的なContrerasスペクトル仮定を排除するため、制御理論的可制御性条件を用いること。
• 摂動を有限個の横断的測地線の近傍から局所化できることを示し、流れ構造の制御を維持すること。

提案手法

• 計量摂動を測地線流れの線形化ダイナミクスへの制御入力としてモデル化する、行列空間上の双線形制御系を用いる。
• 終点写像を用いて、小さな計量摂動下での線形化Poincaré写像の到達可能集合を分析する。
• 制御ベクトル場が生成するリー代数が、恒等元におけるSp(n-1)の接空間を張ることを確認することで、局所的可制御性を確立する。
• 時間区間[0,1]のコンパクト性と終点写像のC^1正則性を用いて、局所微分同相性の性質を保証する。
• 命題1.2では、滑らかなカットオフ関数を用いて制御入力を変更し、有限個の横断的測地線の近傍を避ける摂動を実現する。
• 終点写像がこのような compact な台を持つ変更後でも、局所微分同相性のままであるという事実に依拠する。

実験結果

リサーチクエスチョン

• RQ1 測地線流れの線形Franksの補題は、重い微分幾何学の代わりに幾何学的制御理論を用いて証明可能か？
• RQ2 測地線セグメントに沿った線形化Poincaré写像が、シンプレクティック群Sp(n-1)内でいつ可制御となるか？
• RQ3 計量の摂動を有限個の横断的測地線の近傍を避けるように局所化可能か？
• RQ4 曲率固有値に関するContrerasスペクトル仮定は、摂動結果に必要か？
• RQ5 Sp(n-1)内での摂動近傍の定量的サイズは、計量摂動のC^kノルムに対してどのように関係するか？

主な発見

• 任意のC^kリーマン計量g₀ ∈ 一般的クラス𝒪₁に対して、r̄>0およびK>0が存在し、S(g₀)を中心とする半径Krの球内に含まれる任意のシンプレクティック行列が、g₀からr-近いC^k計量の線形化Poincaré写像として実現可能である。
• 証明により、終点写像が恒等元で局所微分同相であることが示され、摂動写像の局所的全射性が保証される。
• 制御ベクトル場が生成するリー代数の次元は、dim(T_I Sp(n-1)) = n(n-1)に一致し、完全な可制御性が確認される。
• 摂動は測地線弧γの任意のチューブ近傍に台を持つことができ、有限個の横断的測地線の近傍を除く。
• 2次元の場合（m=1）では、可制御性の条件(12)が、ちょうど3つの線形独立なベクトル場で満たされ、dim(T_I Sp(1)) = 3と一致する。
• 結果はすべてk ≥ 2に対して成り立ち、このような計量の集合はC^k位相において開かつ稠密である。