[論文レビュー] Cooperative irreducible systems of ordinary differential equations with first integral

Janusz Mierczyński|arXiv (Cornell University)|Aug 23, 2012

Differential Equations and Numerical Methods参考文献 6被引用数 9

ひとこと要約

この論文は、$C^1$級の第一積分が正の勾配を持つ協調的非可約常微分方程式系において、強い力学的制約が成立することを確立している。すべての前向きおよび後向きの非奔流点が平衡点であることが示され、グローバルな位相図は極めて構造的である。主な結果は、第一積分の勾配が一様に正かつ有界である場合、すべてのオメガ極限集合がシングルトン（平衡点）であるか、空集合であるかのいずれかになることである。これは、すべての解が平衡点に収束するか、再帰的挙動を示さないことを意味する。

ABSTRACT

This note considers cooperative irreducible systems of ordinary differential equations admitting a $C^{1}$ first integral with positive gradient. We prove that all forward or backward nonwandering points are equilibria. We obtain also some results on the global phase portrait of such systems. The main tool of proof is a canonically defined Finsler structure with respect to which the derivative skew-product dynamical system is contractive.

研究の動機と目的

• 協調的非可約常微分方程式系が$C^1$級の第一積分を有し、その勾配が正である場合の長期的挙動を分析すること。
• 特に、非奔流集合の構造を特定すること、特に非平衡な再帰的点を含む可能性があるかどうかを同定すること。
• 第一積分の勾配が一様に正かつ有界であるという仮定の下で、グローバルな位相図の制約を確立すること。
• 適切な条件下で、すべてのオメガ極限集合がシングルトンであることを証明し、平衡点への収束を示すこと。
• 第一積分を組み込んだ協調的系の理論を拡張し、非奔流集合や極限集合といった力学的不変量に与える影響を分析すること。

提案手法

• 第一積分の勾配を用いて、状態空間上に標準的につくられたフィンスラー構造を構築し、そのノルムが導関数スケール積系を収縮的にするように定義する。
• 非可約性と協調性による流れの強い単調性を活用し、単調力学系の理論を適用する。
• 第一積分の等高面が前向き不変であることに着目し、ボルワーアの不動点定理を用いてコンパクトな等高面上に平衡点の存在を示す。
• コンリーの隔離近傍および吸引子の理論を用いて、第一積分の文脈における漸近的安定性および極限集合を分析する。
• フィンスラーノルムに一様な上限を確立し、解が有限時間内に脱出しないことを証明することで、軌道のグローバル存在を保証する。
• フィンスラー構造の収縮性と勾配の正の性質を組み合わせ、非奔流点が必ず平衡点でなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 協調的非可約ODE系において、第一積分の勾配が正である場合、非奔流点が平衡点でないことがあるだろうか？
• RQ2 第一積分の勾配がどのような条件下で、グローバル位相図においてオメガ極限集合がすべてシングルトンであるか？
• RQ3 第一積分の勾配の正および有界性が、特に再帰的挙動に関して、可能な力学的挙動をどのように制限するか？
• RQ4 このような系が空でない非シングルトンのオメガ極限集合を有することは可能か？
• RQ5 フィンスラー構造は、収縮性および平衡点への収束を示すために果たす役割は何か？

主な発見

• $C^1$級の第一積分と正の勾配を持つ協調的非可約系において、すべての前向きおよび後向きの非奔流点が平衡点である。
• 第一積分の勾配がゼロから一様に離れておりかつ上界がある場合、すべてのオメガ極限集合がシングルトン（平衡点）であるか、空集合である。
• 平衡点の集合は厳密順序$\ll$に関して単純順序付けられており、内部順序の意味で二つの平衡点は比較不能である。
• 第一積分の勾配に関する提示された条件下で、解はすべての時間にわたって存在する（$\tau(x) = \infty$）。
• グローバルな力学は、再帰的挙動として可能なのは、単一の平衡点への収束に限られる。
• 第一積分の正規化勾配を用いて定義されるフィンスラー構造により、導関数スケール積系が収縮的であることが保証され、主な収束結果が得られる。