[论文解读] Almost Global Convergence in Singular Perturbations of Strongly Monotone Systems

Liming Wang, Eduardo D. Sontag|ArXiv.org|Apr 17, 2006

Nonlinear Differential Equations Analysis参考文献 10被引用 3

一句话总结

该论文为具有强单调性降低（慢）系统和具有输入-状态稳定性性质的全局稳定快速子系统的奇异摄动系统建立了几乎全局收敛到平衡点的结果。利用几何奇异摄动理论，证明了当 $\varepsilon > 0$ 足够小时，几乎所有轨迹均收敛到平衡点，通过时标分离将赫施的通用收敛定理推广至一大类非单调系统。

ABSTRACT

This paper deals with global convergence to equilibria, and in particular Hirsch's generic convergence theorem for strongly monotone systems, for singular perturbations of monotone systems.

研究动机与目标

• 将赫施的强单调系统通用收敛定理推广至全系统未必单调的奇异摄动系统。
• 分析具有慢变量和快变量的系统之收敛行为，其中快速子系统稳定于依赖于慢变量的稳态流形。
• 建立全系统继承降低系统几乎全局收敛性质的条件，即使原系统缺乏单调性。
• 证明时标分离可使原本非单调的系统表现出单调性，从而通过不变流形理论实现收敛结果。
• 为具有多时标的生物化学和控制系统提供严谨分析框架，特别是具有反馈回路和弛豫振荡的系统。

提出的方法

• 应用几何奇异摄动理论，为全系统构造一个局部吸引的不变流形 $M_{\varepsilon}$，该流形是 $\varepsilon = 0$ 时快速子系统的正则摄动。
• 利用降低系统 $\dot{x} = f(x, h(x))$ 的强单调性（导数最终为正）确保在不变流形上的通用收敛性。
• 施加技术性条件：快速子系统 $\varepsilon \dot{y} = Ay + h(x)$ 的矩阵 $A$ 为赫尔维茨矩阵，且稳态 $y = h(x)$ 具有全局稳定性与输入-状态稳定性性质。
• 利用渐近相位性质表明，所有邻近轨迹均能近似跟踪 $M_{\varepsilon}$ 上的解，从而继承收敛行为。
• 证明导致收敛的初始条件集合在定义域中为剩余集（通用集），利用不变流形结构与降低系统的单调性。
• 考虑主象限锥下的合作系统，尽管该方法可通过类似论证推广至一般锥（相关结果将在后续论文中给出）。

实验结果

研究问题

• RQ1 在何种条件下，奇异摄动系统会继承其降低（慢）系统的几乎全局收敛性？
• RQ2 非单调系统能否通过时标分离实现有效单调性，且在何种条件下可导致收敛至平衡点？
• RQ3 几何奇异摄动理论如何促进赫施通用收敛定理向具有快慢动力学的系统扩展？
• RQ4 快速子系统的输入-状态稳定性在确保全系统动力学跟踪慢流形并实现通用收敛中起何种作用？
• RQ5 收敛结果在多大程度上可超越合作系统，推广至具有任意单调性锥的系统？

主要发现

• 当 $\varepsilon > 0$ 足够小时，奇异摄动系统从紧致区域中几乎所有初始条件出发的轨迹均收敛至平衡点。
• 假设降低系统 $\dot{x} = f(x, h(x))$ 在紧致凸集 $\widetilde{K}$ 上具有最终正导数，从而确保在慢流形上的通用收敛性。
• 不变流形 $M_{\varepsilon}$ 存在且吸引所有邻近解，具有渐近相位性质，因此轨迹可任意紧密地跟踪 $M_{\varepsilon}$ 上的解。
• 收敛为几乎全局：不收敛至平衡点的初始条件集合测度为零，且在定义域中为剩余集。
• 即使原系统对任何象限锥均不单调，只要快速子系统为赫尔维茨矩阵且慢动力学为强单调，结论依然成立。
• 反例表明，当 $\varepsilon$ 较大时收敛性失效，因为当 $\varepsilon > 1$ 时平衡点变为排斥性，依据庞加莱-本迪克松定理产生极限环。