[論文レビュー] Necessary and Sufficient Conditions for Stable Synchronisation in Random Dynamical Systems

Julian Newman|arXiv (Cornell University)|Aug 24, 2014

Nonlinear Dynamics and Pattern Formation参考文献 7被引用数 3

ひとこと要約

この論文は、コンパクト空間上の確率的力学系における安定な鎖交の必要十分条件を確立する。鎖交が発生し、安定であるための必要十分条件は、(1) 最小の決定的不変集合 $K$ が存在すること、(2) $K$ 内の任意の2点がより近づけられること、(3) $K$ が漸近的に安定な軌道を支持することである。この結果は、バクスタンデールの1991年の業績を一般化し、複雑なベクトル場の条件を、系の内在的な幾何学的および力学的性質に置き換える。

ABSTRACT

For a product of i.i.d. random maps or a memoryless stochastic flow on a compact space $X$, we find conditions under which the presence of locally asymptotically stable trajectories (e.g. as given by negative Lyapunov exponents) implies almost-sure mutual convergence of any given pair of trajectories ("synchronisation"). Namely, we find that synchronisation occurs and is stable if and only if the system exhibits the following properties: (i) there is a smallest deterministic invariant set $K \subset X$, (ii) any two points in $K$ are capable of being moved closer together, and (iii) $K$ admits asymptotically stable trajectories. Our first condition (for which unique ergodicity of the one-point transition probabilities is sufficient) replaces the intricate vector field conditions assumed in Baxendale's similar result of 1991, where (working on a compact manifold) sufficient conditions are given for synchronisation to occur in a SDE with negative Lyapunov exponents.

研究の動機と目的

• 確率的力学系における局所的漸近的安定な軌道が、ほとんど確実な相互収束（鎖交）を引き起こすために必要な最小限の、内在的な条件を特定すること。
• バクスタンデールの1991年の結果における複雑なベクトル場の条件を、メモリレスな確率的フローに一般化可能な、より一般的で幾何学的に意味のある基準に置き換えること。
• 軌道の摂動（パrameterの変化だけでなく）に対してロバストな、安定な鎖交の特徴付けを確立すること。
• 最小不変集合の構造と局所的収縮性に注目することで、既存のノイズ誘発鎖交に関する結果を統一的かつ一般化すること。

提案手法

• 記憶のないノイズを伴うフィルタリングされた確率的力学系（RDS）の枠組み内で分析が行われ、時間に依存しない定常なノイズ過程が用いられる。
• 著者たちは、局所的漸近的安定な軌道、再帰的リャプノフ安定性、およびペア $(\omega,x)$ のナイーブな吸引力といった主要概念を定義し、分析する。
• $(\varepsilon,\delta)$-包含の概念を導入し、ポincareの再帰定理を用いて、ある集合が測度 $\mathbb{P} \otimes \rho$ に関して零集合であることを示す。
• 証明は、非自励および確率的系における局所安定性に関する技術的補題（特に補題A3）および不変集合の再帰的性質に依存する。
• 重要な段階として、軌道が収束しない点の集合が零集合であることを、最小不変集合 $K$ 及びその収縮性の構造を用いて示す。
• 結論として、漸近的安定性が再帰的リャプノフ安定性とナイーブな吸引力の両者の組み合わせと同値であることを証明し、完全な特徴付けを確立する。

実験結果

リサーチクエスチョン

• RQ1 確率的力学系において、局所的漸近的安定な軌道が存在するという条件下で、すべての軌道がほとんど確実に相互に収束するための最小限の条件は何か？
• RQ2 バクスタンデールの1991年の結果における複雑なベクトル場の条件を、より幾何学的で内在的な力学的性質に置き換えることは可能か？
• RQ3 最小不変集合 $K$ が存在する場合、局所的収縮性と安定性が組み合わさっていると、それが安定な鎖交を保証するのに十分か？
• RQ4 不変性、収縮性、安定性が $K$ でどのように作用し合うことで、すべての軌道がほとんど確実に鎖交するのか？
• RQ5 確率的力学系の文脈において、リャプノフ安定性、吸引力、漸近的安定性の正確な関係は何か？

主な発見

• 鎖交が発生し、安定であるための必要十分条件は、$K \subset X$ である最小の決定的不変集合が存在し、$K$ 内の任意の2点がより近づけられ、かつ $K$ が漸近的に安定な軌道を支持することである。
• 一点遷移確率の一意的エルゴード性の条件は、最小不変集合 $K$ の存在を保証するのに十分であり、複雑なベクトル場の仮定の代わりに機能する。
• 最小不変集合 $K$ が上記3条件を満たしていれば、グローバルな収縮性がなくても、系は安定な鎖交を示す。
• 弱い正則性条件の下で、$\mathbb{P} \otimes \rho$-ほとんど至るところの $(\omega,x)$ に対して、漸近的安定性と再帰的リャプノフ安定性およびナイーブな吸引力の組み合わせとの同値性が確立された。
• 微分幾何的条件を、不変集合の位相的および測度論的性質に置き換えることで、バクスタンデールの1991年の定理を一般化した。
• 証明により、鎖交に失敗する軌道の集合が $\mathbb{P} \otimes \rho$-零集合であることが示され、提示された条件下でほとんど確実な収束が確認された。