[論文レビュー] Adiabatic limits of closed orbits for some Newtonian systems in R^n

Andrea Malchiodi|ArXiv.org|Jun 30, 2000

Mathematical Dynamics and Fractals参考文献 9被引用数 15

ひとこと要約

本稿は、ℝⁿにおけるニュートン系において、ポテンシャルエネルギーVの非退化的でコンパクトな(n−1)次元臨界多様体Mを有する場合、任意に遅い周期的解の存在を確立する。H¹ループのヒルバート多様体M上でリャプノフ＝シュミット還元を適用し、周期T → ∞のとき、スケーリングされた解がM上の閉じた測地線に収束することを証明する。主な結果は、反発的ポテンシャル（V''[n,n] < 0）の下で、このような周期的軌道が存在し、その断熱的極限がM上の非退化的閉じた測地線であるということである。

ABSTRACT

We deal with a Newtonian system like x'' + V'(x) = 0. We suppose that V: \R^n o \R possesses an (n-1)-dimensional compact manifold M of critical points, and we prove the existence of arbitrarity slow periodic orbits. When the period tends to infinity these orbits, rescaled in time, converge to some closed geodesics on M.

研究の動機と目的

• ℝⁿにおけるニュートン系で、ポテンシャルVのコンパクトな(n−1)次元臨界多様体Mを有する場合、任意に大きな周期を持つ周期的解の存在を確立すること。
• 周期T → ∞のとき、これらの解の漸近的挙動を分析し、M上の閉じた測地線への収束に焦点を当てる。
• Vの非退化性および反発的条件の下で、このような解の断熱的極限がM上の閉じた測地線として特徴付けられることを示すこと。
• 吸引的ケース（V''[n,n] > 0）へ分析を拡張し、Tₖ → ∞を満たす周期の系列に沿って解が存在することを証明すること。

提案手法

• 時間のスケーリングを用いて特異摂動問題に定式化：ε² = 1/Tにより時間スケーリングを行い、ε → 0におけるε²ẍ + V′(x) = 0の1周期解を研究する。
• H¹(S¹; M)というH¹滑らかループの無限次元ヒルバート多様体上でリャプノフ＝シュミット還元を適用する。
• 元の問題を、M上で定義された摂動付きの平方長さ関数Lεを近似エネルギーとして用いる有限次元変分問題に還元する。
• 非退化的測地線には局所逆写像定理を、退化的ケースには最小最大化スキームを用いて解の存在を証明する。
• 方程式における特異項1/εを制御するため、V′およびその微分の精密な漸近展開を用いる。
• Hölder空間における収縮写像の議論を用いて還元方程式を解き、解の存在およびコンパクト性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ内の臨界多様体M ⊂ ℝⁿを有するニュートン系が、T → ∞のときM上の閉じた測地線に収束する任意に大きな周期を持つ周期的解を有するための条件は何か？
• RQ2 このような解の断熱的極限はM上の閉じた測地線として特徴付けられるか？ そのような特徴付けを保証する位相的または幾何的条件は何か？
• RQ3 ポテンシャルの性質（反発的対吸引的）は、遅い周期的軌道の存在および収束にどのように影響するか？
• RQ4 リャプノフ＝シュミット還元法は、有限次元から無限次元多様体（例：H¹(S¹; M)）へ拡張可能か？ そのような特異摂動を研究するにあたり。
• RQ5 基本群π₁(M)は、M上での非可縮みループに対応する断熱的極限の存在にどのような役割を果たすか？

主な発見

• M上に非退化的閉じた測地線x₀が存在する場合、Vが反発的（V''[n,n] < 0）であれば、十分大きなすべてのTに対して、u_T(T·) → x₀がC¹(S¹; ℝⁿでT → ∞のとき成り立つT周期解u_Tが存在する。
• 非退化性がなくても、任意のT_k → ∞の列に対して、u_k(T_k·)がC⁰(S¹; ℝⁿでM上のに非自明な閉じた測地線x₀に収束するT_k周期解u_kの列が存在する。
• π₁(M) ≠ 0のとき、断熱的極限x₀は、Mにおける与えられた自由ホモトピー類のループ上での平方長さ関数の最小化子として特徴付けられる。
• 吸引的ケース（V''[n,n] > 0）では、2階微分が定数で3階微分が消える条件の下で、T_k → ∞を満たす列T_kが存在し、解が存在してM上の閉じた測地線に収束する。
• 収束は、H¹(S¹; M)上でのリャプノフ＝シュミット還元により確立され、解作用素の一様推移性がHölderノルムにおける収縮性を保証する。
• この手法により、還元関数およびその微分に対して、一様なO(√ε)のバインドが得られ、解の存在および極限におけるコンパクト性が保証される。