常微分方程的稳定性理论

稳定性理论研究微分方程的解，如果从平衡点附近开始，是否会随时间推移保持在平衡点附近或返回到平衡点。

Definition

如果从足够近的地方开始的解在所有后续时间都保持任意接近，则该平衡点是李雅普诺夫稳定的；如果此外它们收敛到平衡点，则该平衡点是渐近稳定的；不稳定性意味着至少一些附近的解会远离。

Scope

本主题涵盖了李雅普诺夫稳定性、渐近稳定性和不稳定性的定义，线性化和哈特曼-格罗布曼定理，李雅普诺夫函数的直接法，拉萨尔不变原理，以及平面系统平衡点（如节点、鞍点、焦点和中心）的分类。

Core questions

• 平衡点的小扰动会增长、持续还是衰减？
• 线性化何时能正确预测非线性平衡点的稳定性？
• 如何在不显式求解方程的情况下确定稳定性？
• 平面平衡点如何根据其局部相图进行分类？

Key theories

李雅普诺夫直接法

如果一个正定函数沿轨迹递减，则平衡点是稳定的；如果该函数严格递减，则强制实现渐近稳定性，所有这些都无需求解微分方程。

线性化和哈特曼-格罗布曼定理

在双曲平衡点附近，非线性流在拓扑上与其线性化共轭，因此雅可比矩阵的特征值决定了局部稳定性。

拉萨尔不变原理

当李雅普诺夫函数仅是非增的时，轨迹会收敛到其导数为零区域内的最大不变集，从而扩展了渐近稳定性的结论。

Clinical relevance

稳定性分析是控制工程的基础，它验证了设计系统在受到扰动后能恢复到其工作点，并解释了生态、生理和经济模型中平衡点的持久性。

History

李雅普诺夫1892年的博士论文奠定了运动稳定性的一般理论，并引入了线性化和基于函数的直接法。庞加莱对平面系统的定性分析提供了几何图像，20世纪中叶增加了哈特曼-格罗布曼定理和拉萨尔不变原理。

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

李雅普诺夫稳定性和渐近稳定性有什么区别？

李雅普诺夫稳定性意味着附近的解在所有时间都保持在附近，但它们不一定趋近于平衡点。渐近稳定性则额外要求附近的解随着时间的增加实际收敛到平衡点。

线性化何时无法判断稳定性？

线性化仅在双曲平衡点处具有决定性，即雅可比矩阵在虚轴上没有特征值。在临界的非双曲情况下，例如纯中心，非线性项可以决定稳定性，此时需要李雅普诺夫函数或中心流形分析。