[論文レビュー] Relaxation Oscillations and the Entry-Exit Function in Multi-Dimensional Slow-Fast Systems

Ting-Hao Hsu, Shigui Ruan|arXiv (Cornell University)|Oct 14, 2019

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 52被引用数 5

ひとこと要約

本稿は、不変多様体を有する多次元の遅い-速い系に一般化されたエントリーエグジット関数を提示し、転換点における安定性の変化が生じる場合のリラクゼーション振動の存在および安定性に関する基準を導出する。この手法により、急速な進化的ダイナミクスを示す生態モデルにおける周期的軌道の厳密な予測が可能となり、捕食者-被捕食者系における特性進化の数値的予測を確認・拡張する。

ABSTRACT

For a slow-fast system of the form $\dot{p}=εf(p,z,ε)+h(p,z,ε)$, $\dot{z}=g(p,z,ε)$ for $(p,z)\in \mathbb R^n imes \mathbb R^m$, we consider the scenario that the system has invariant sets $M_i=\{(p,z): z=z_i\}$, $1\le i\le N$, linked by a singular closed orbit formed by trajectories of the limiting slow and fast systems. Assuming that the stability of $M_i$ changes along the slow trajectories at certain turning points, we derive criteria for the existence and stability of relaxation oscillations for the slow-fast system. Our approach is based on a generalization of the entry-exit relation to systems with multi-dimensional fast variables. We then apply our criteria to several predator-prey systems with rapid ecological evolutionary dynamics to show the existence of relaxation oscillations in these models.

研究の動機と目的

• 1次元の速い変数から多次元の速い変数への古典的エントリーエグジット関数の拡張を図り、複雑な遅い-速い系におけるリラクゼーション振動の解析を可能にする。
• 制限された遅い・速い系の軌道から形成される特異な閉じた軌道の周囲における周期的軌道の存在および軌道的安定性のための十分条件を確立する。
• 急速な生態的および進化的ダイナミクスを示す捕食者-被捕食者モデルに一般化されたフレームワークを適用し、数値的に予測されたリラクゼーション振動の存在を確認する。
• 特性進化によって駆動される生態系における急速なレジームシフトを理解するための厳密な解析的基盤を提供する。
• モノドロミー写像と遷移写像を用いて、特異摂動設定下での周期的軌道の安定性を決定する明示的基準を導出する。

提案手法

• 安定性が転換点で変化する多様体を有する系において、転移写像を解析することで、1次元から多次元の速い変数へのエントリーエグジット関数の一般化を実施する。
• 幾何学的特異摂動理論（GSPT）を用いて、系を制限された遅い・速い部分系に分解し、ヘテロクロニック接続から特異な閉じた軌道を構築する。
• 遷移写像 $ D\tilde{Q}_i $ を介したモノドロミー写像アプローチを用い、ポアンカレ写像の微分を計算することで、周期的軌道の安定性解析を可能にする。
• 遷移写像の合成の微分の絶対値の対数を含む重要な基準を導出し、$ \text{trace} $ の符号が軌道的安定性を決定する。
• 漸近的展開と陰関数定理を用いて、遷移写像 $ Q $ を定義し、平衡点におけるその微分を計算する。
• ジャコビアンの数値近似を用いて、2つの生態モデル（Cortez-Weitz系：捕食者・被捕食者の共進化、Cortez-Ellner系：被捕食者のみの進化）において手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 不変多様体を有する多次元の遅い-速い系において、転換点で安定性が変化する場合、リラクゼーション振動が存在する条件は何か？
• RQ2 1次元の速い変数に制限された古典的エントリーエグジット関数は、どのように多次元の速い変数を有する系に一般化できるか？
• RQ3 遅い・速い部分軌道から構成される特異な閉じた軌道の周囲における周期的軌道の軌道的安定性を決定づける基準は何か？
• RQ4 一般化されたフレームワークは、生態進化モデルにおける捕食者-被捕食者系で数値的に観測されたリラクゼーション振動の存在を、厳密に確認できるか？
• RQ5 遷移写像から導かれるモノドロミー写像は、特異摂動系における周期的軌道の安定性とどのように関係するか？

主な発見

• 一般化されたエントリーエグジット関数は、転換点で安定性が変化する多次元の遅い-速い系において、リラクゼーション振動の存在を的確に予測できる。
• 4つの多様体（$ \beta = 0,1 $, $ \beta = 0,1 $）を有する Cortez-Weitz モデルでは、モノドロミー写像の固有値が $ \rho_1 \to 0.39 $, $ \rho_2 \to -6.14 \times 10^{-5} $, $ \rho_3 \to -5.11 \times 10^{-11} $ となり、いずれも1未塔の大きさを示し、軌道的漸近的安定性が確認される。
• 2つの多様体（$ \beta = 0,1 $）を有する Cortez-Ellner モデルでは、条件 $ \rho = \text{trace}(D\tilde{P}) < 1 $ を用いて、安定なリラクゼーション振動の存在が確認され、数値シミュレーションと整合的である。
• 導出された基準 $ \text{sign}(\text{trace}(D\tilde{P})) $ は軌道的安定性を決定づける：$ \text{trace} < 0 $ であれば漸近的安定、$ \text{trace} > 0 $ であれば不安定。
• 従来の要件よりも弱い仮定の下で、リラクゼーション振動の存在を証明するHsu-Wolkowiczの定理における数値的証拠の代わりに、より厳密な代替手段を提供する。
• ポアンカレ写像の固有値解析により、モノドロミー写像のすべての固有値の大きさが1未塔であれば、周期的軌道は軌道的局所的漸近的安定であることが確認される。