[論文レビュー] Harmonic solutions to a class of differential-algebraic equations with separated variables

Luca Bisconti|arXiv (Cornell University)|Oct 9, 2011

Numerical methods for differential equations参考文献 11被引用数 7

ひとこと要約

本稿は、分離変数を有する微分代数方程式（DAE）のT周期解について、滑らかな多様体 M = g⁻¹(0) 上の常微分方程式（ODE）に問題を還元することにより、全範囲的継続結果を確立する。多様体上のベクトル場の位相的次数理論を用いて、解集合にコンパクト性の仮定が成り立つ場合、非摂動系が非T共振零点を有し、その総インデックスが非ゼロであるとき、十分小さい λ > 0 に対して少なくとも3つのT周期解の存在を証明する。

ABSTRACT

We study the set of T-periodic solutions of a class of T-periodically perturbed Differential-Algebraic Equations with separated variables. Under suitable hypotheses, these equations are equivalent to separated variables ODEs on a manifold. By combining known results on Differential-Algebraic Equations, with an argument about ODEs on manifolds, we obtain a global continuation result for the T-periodic solutions to the considered equations. As an application of our method, a multiplicity result is provided.

研究の動機と目的

• 分離変数を有するT周期的摂動を受けるDAEのT周期解の構造を研究すること。
• λ = 0 における自明解から分岐する非自明なT周期解の全範囲的継続結果を確立すること。
• 多様体上の位相的次数理論を用いて、T周期解の多重性結果を提供すること。
• 陰関数定理および多様体論を用いて、DAE系をC∞部分多様体 M = g⁻¹(0) 上の等価なODEに還元すること。
• 孤立した自明解がλ > 0が増加するにつれて非自明な周期解分岐へと「放出」される条件を特定すること。

提案手法

• ∂₂g(p,q) の可逆性に起因する陰関数定理を活用し、DAE系をC∞部分多様体 M = g⁻¹(0) 上のODEに再定式化する。
• T周期解の存在は、既知の多様体上でのODEの周期解に関する結果が適用可能な多様体Mに問題を移行させることで分析する。
• 多様体上における接ベクトル場の位相的次数理論を用いて、解集合の全範囲的構造を分析する。
• ホモトピー論的議論を適用し、F(p,q) = (f(p,q), g(p,q)) のベクトル場の次数を領域U上で計算することで、孤立した零点におけるインデックスの計算を可能にする。
• 解空間 [0,∞) × C_T(U) 内の「放出点」と「放出集合」の概念を用いて、非コンパクトまたは非自明な解分岐を検出する。
• 摂動パrameter λ を用いて、λ = 0（自明解）から λ > 0（非自明解）への解分岐を追跡する。主な道具は、総次数と非T共振零点における局所インデックスの和との差異である。

実験結果

リサーチクエスチョン

• RQ1 分離変数を有するDAE系において、λ = 0 における自明解からT周期解分岐が生じる条件は何か？
• RQ2 解集合がコンパクトでない場合、T周期解集合の全範囲的構造はどのように特徴づけられるか？
• RQ3 十分小さい λ > 0 に対して複数の非自明なT周期解が存在することを保証する上での位相的条件は何か？
• RQ4 多様体上でのベクトル場の次数は、摂動されたDAEにおける周期解の多重性とどのように関係するか？
• RQ5 非T共振零点 F(p,q) が解空間内でどのようにして解分岐を「放出」するか？

主な発見

• ベクトル場FのU上での総次数が、r個の非T共振零点における局所インデックスの和と一致しない場合、十分小さい λ > 0 に対して少なくとも r+1 個の異なるT周期解が存在する。
• 非T共振零点 (p₀, q₀) に対応する自明なT周期ペア (0, (p̄₀, q̄₀)) は、λ = 0 における解集合内で孤立している。
• 閉包が孤立した自明ペア (0, (p̄₀, q̄₀)) を含み、かつ非コンパクトであるか、他の自明ペアと交差する非自明T周期ペアの連結集合が存在する。
• 例では、ε ∈ (0,1) に対して、十分小さい λ > 0 で3つのT周期解が存在する：(0,0) に1つ、(±aε, ±aε) に2つの対称解が存在し、aε = 1/√(1−ε) である。
• FのU上での次数は0であり、2つの対称的非T共振零点のそれぞれのインデックスは−1であるから、その総和は−2である。これは総次数0と異なるため、多重性の条件を満たしている。
• 次数のホモトピー不変性を用いて deg(F, U) = 0 を示し、非T共振零点 (aε, aε) および (−aε, −aε) は非退化であり、それぞれインデックス−1を有するため、多重性条件が確認された。