[论文解读] 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$ 中任意两点可被拉近，且（3）$K$ 支持渐近稳定的轨迹时，同步发生且稳定。该结果通过用系统的内在几何与动力性质替代复杂向量场条件，推广了 Baxendale 于 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.

研究动机与目标

• 确定在何种最小、内在条件下，随机动力系统中局部渐近稳定的轨迹可导致几乎必然的相互收敛（即同步）。
• 将 Baxendale 1991 年结果中的复杂向量场条件替换为更一般、具有几何意义的标准，适用于无记忆随机流。
• 建立一个对轨迹扰动（而不仅是参数变化）具有鲁棒性的稳定同步表征。
• 通过聚焦于最小不变集的结构与局部收缩性质，统一并推广现有噪声诱导同步的结果。

提出的方法

• 分析在具有无记忆噪声的滤波随机动力系统（RDS）框架内进行，采用时间齐次、平稳的噪声过程。
• 作者定义并分析了关键概念：局部渐近稳定轨迹、递归 Lyapunov 稳定性，以及对偶对 $(\omega,x)$ 的朴素吸引性。
• 引入并应用了 $(\varepsilon,\delta)$-包含的概念，并利用 Poincaré 重现定理证明某些集合在乘积测度 $\mathbb{P} \otimes \rho$ 下为零测集。
• 证明依赖于关于非自治与随机系统中局部稳定性的技术引理，特别是引理 A3 及不变集的重现性质。
• 一个关键步骤是利用最小不变集 $K$ 的结构及其收缩性质，证明轨迹无法收敛的点集为零测集。
• 论证最终证明了渐近稳定性等价于递归 Lyapunov 稳定性与朴素吸引性的结合，从而建立了完整的表征。

实验结果

研究问题

• RQ1 在随机动力系统中，局部渐近稳定轨迹的存在在何种最小条件下可推出所有轨迹的几乎必然相互收敛？
• RQ2 Baxendale 1991 年结果中的复杂向量场条件能否被更具几何意义与内在动力学性质的条件所替代？
• RQ3 当与局部收缩和稳定性结合时，最小确定性不变集 $K$ 的存在是否足以保证稳定同步？
• RQ4 在 $K$ 中不变性、收缩性与稳定性的相互作用如何保证所有轨迹以几乎必然的方式同步？
• RQ5 在随机动力系统背景下，Lyapunov 稳定性、吸引性与渐近稳定性之间的确切关系为何？

主要发现

• 同步发生且稳定当且仅当存在一个最小的确定性不变集 $K \subset X$，$K$ 中任意两点可被拉近，且 $K$ 允许渐近稳定的轨迹。
• 单点转移概率的唯一遍历性条件足以确保最小不变集 $K$ 的存在，从而替代了对复杂向量场假设的需求。
• 即使不存在全局收缩，只要最小不变集 $K$ 满足上述三个条件，系统仍表现出稳定同步。
• 在温和的正则性条件下，渐近稳定性与递归 Lyapunov 稳定性及朴素吸引性的结合在 $\mathbb{P} \otimes \rho$-几乎处处的 $ (\omega,x) $ 上等价。
• 该结果通过用系统不变集的拓扑与测度性质替代微分几何条件，推广了 Baxendale 1991 年的定理。
• 证明表明，无法同步的轨迹集合是 $\mathbb{P} \otimes \rho$-零测集，从而在给定条件下确认了几乎必然收敛。