[論文レビュー] Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach

Kaname Matsue|arXiv (Cornell University)|Jul 6, 2015

Quantum chaos and dynamical systems参考文献 39被引用数 6

ひとこと要約

本稿では、1次元の遅い変数をもつ高速・遅速系において、周期的・ホモクライン的・ヘタロクライン的軌道を検証するためのきめ細やかな数値的手法を提示する。同手法は、隔離ブロック、コーン条件、カバーイング関係といったトポロジカルな道具を、新規の概念「カバーイング・エクスチェンジ」を介して統合する。このアプローチにより、十分に小さい 𝜀 に限らない、すべての 𝜀 ∈ (0, 𝜀₀] に対してグローバル軌道の検証が可能となり、遅い多様体付近での計算を効率化するための遅いシャドーイングと m-コーンを用いる。

ABSTRACT

We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system $x' = f(x,y,ε), y' = εg(x,y,ε)$ with one-dimensional slow variable $y$. Our validation procedure is based on topological tools called isolating blocks, cone condition and covering relations. Such tools provide us with existence theorems of global orbits which shadow singular orbits in terms of a new concept, the covering-exchange. Additional techniques called slow shadowing and $m$-cones are also developed. These techniques give us not only generalized topological verification theorems, but also easy implementations for validating trajectories near slow manifolds in a wide range, via rigorous numerics. Our procedure is available to validate global orbits not only for sufficiently small $ε> 0$ but all $ε$ in a given half-open interval $(0,ε_0]$. Several sample verification examples are shown as a demonstration of applicability.

研究の動機と目的

• 十分に小さい 𝜀 > 0 の範囲で有効な数学的存在結果と、与えられた固定された 𝜀 > 0 における数値計算との間のギャップを埋めること。
• すべての 𝜀 ∈ (0, 𝜀₀] の範囲で、特異極限軌道（周期的・ホモクライン的・ヘタロクライン的）の継続性を検証できる、計算的に実行可能できめ細やかな手法を開発すること。
• 遅い多様体をもつ系にトポロジカルな検証技術を拡張するために、遅いシャドーイングと m-コーンといった新しいツールを導入すること。
• 隔離ブロックとカバーイング関係を用いて、強い非線形性や剛性が存在する状況でも、真の軌道が特異軌道をシャドーイングすることを保証するフレームワークを提供すること。

提案手法

• 隔離ブロックを用いて位相空間内にコンパクトな不変集合を定義し、軌道の挙動に対するトポロジカルな制御を確保する。
• コーン条件を用いてベクトル場の横方向の拡張と収縮を追跡し、摂動に対してカバーイング関係のロバスト性を保証する。
• カバーイング・エクスチェンジを新たなトポロジカルな道具として導入し、特異軌道（高速ジャンプと遅い多様体セグメントから成る）をシャドーイングする間に、ブロック間を軌道が遷移可能であることを検証する。
• 遅いシャドーイングを考案し、遅い変数が非自明に変化する場合でも、真の軌道が長時間にわたり遅い多様体に近接していることをきめ細やかに検証する。
• m-コーンを用いて遅い多様体付近でのコーン条件を精緻化し、高曲率領域における計算の効率性と正確性を向上させる。
• C¹-Lohner法を区間演算と組み合わせて、真の軌道とその変分情報の両方をきめ細やかに計算する。これにより、Melnikov型解析による横断性のチェックが可能になる。

実験結果

リサーチクエスチョン

• RQ1 1次元の遅い変数をもつ高速・遅速系において、すべての ε ∈ (0, ε₀] に対してグローバル軌道をきめ細やかに検証できるか。特に 𝜀 → 0 の極限に限らないか。
• RQ2 カバーイング関係のようなトポロジカルな道具は、特異的摂動系における高速・遅速ダイナミクスの遷移をどのように扱えるか。
• RQ3 遅いシャドーイングと m-コーンは、非自明な遅い多様体付近での軌道検証の効率性と信頼性をどのように向上させるか。
• RQ4 カバーイング・エクスチェンジは、遅い多様体上とヘタロクライン接続から成る軌道を検証する一般化されたフレームワークを提供できるか。
• RQ5 剛性や非双曲性のため、標準的な漸近的手法が失敗する系において、きめ細やかな数値計算をどのように適用できるか。

主な発見

• 本手法は、1次元の遅い変数をもつ高速・遅速系において、すべての ε ∈ (0, ε₀] に対して周期的・ホモクライン的・ヘタロクライン的軌道をきめ細やかに検証することに成功し、漸近的解析の範囲を超えて拡張した。
• カバーイング・エクスチェンジの導入により、高速・遅速ダイナミクスの遷移を含む複数セグメントから成る軌道のトポロジカルな検証が可能になった。
• 遅いシャドーイングは、曲率や非線形性が存在する状況でも、真の軌道が長期間にわたり遅い多様体に近接していることを実用的な基準で検証可能である。
• m-コーンは、遅い多様体付近でのコーン条件の検証のロバスト性と効率性を高め、計算コストを低減しながらもきめ細やかな境界を維持する。
• フレームワークは C¹-Lohner法を用いて実装されており、真の軌道とその変分導関数の両方をきめ細やかに計算可能であり、横断性解析を支援する。
• サンプル系への適用により、剛性や有限な 𝜀 の効果のため、従来の漸近的手法が失敗する実際の力学系に対しても適用可能であることが示された。