[论文解读] Constructive Proof of Global Lyapunov Function as Potential Function

Ruoshi Yuan, Yi-An Ma+2 more|arXiv (Cornell University)|Dec 13, 2010

Control and Stability of Dynamical Systems参考文献 29被引用 25

一句话总结

本文提出一种构造性证明，建立了非线性动力学中全局李雅普诺夫函数与物理学中势函数之间的等价性，通过物理原理实现李雅普诺夫函数的系统性构造。主要贡献是构建了一个统一框架，将工程稳定性分析与物理能谷景观联系起来，表明李雅普诺夫方程在直线系统中是广义爱因斯坦关系的简化形式。

ABSTRACT

We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge between these distinct fields. This result suggests new approaches on the significant unsolved problem namely to construct Lyapunov functions for general nonlinear systems through the analogy with existing methods on potential functions. In addition, we show another connection that the Lyapunov equation is a reduced form of the generalized Einstein relation for linear systems.

研究动机与目标

• 建立工程中经典李雅普诺夫函数与非线性动力系统中物理势函数之间的构造性桥梁。
• 通过势函数理论方法，解决为一般非线性系统构造李雅普诺夫函数这一长期挑战。
• 证明全局李雅普诺夫函数与随机动力学中广义力分解所导出的势函数等价。
• 表明在线性系统中，李雅普诺夫方程作为广义爱因斯坦关系的简化形式出现，且在扩散矩阵指定下具有唯一性。
• 实现对多稳态和极限环等复杂行为的定量分析，超越经典局部李雅普诺夫函数的适用范围。

提出的方法

• 提出向量场的规范分解，分为对称（耗散）与反对称（保守）分量：$[S + T]\dot{\mathbf{q}} = -\nabla\psi$。
• 通过反对称矩阵 $T$ 引入广义向量叉积，将三维洛伦兹力公式推广至任意维度。
• 将全局李雅普诺夫函数 $\psi$ 定义为满足所有平衡点处 $\nabla\psi(\mathbf{q}^*) = 0$ 且全局满足 $\dot{\psi} \leq 0$ 的势函数。
• 建立广义爱因斯坦关系 $[S + T]\dot{\mathbf{q}} = -\nabla\psi$，作为从系统动力学推导势函数的基础。
• 利用扩散矩阵 $D$ 唯一确定全局李雅普诺夫函数，将微观耗散与宏观稳定性联系起来。
• 将该框架应用于线性系统，表明李雅普诺夫方程 $A^T P + P A + R = 0$ 对应于 $D = \frac{1}{4}P^{-1} R P^{-1}$ 时的广义爱因斯坦关系。

实验结果

研究问题

• RQ1 能否基于物理原理，发展一种构造性方法，系统性地生成一般非线性系统的全局李雅普诺夫函数？
• RQ2 全局李雅普诺夫函数与随机动力学中势函数之间的精确数学与物理解释等价性是什么？
• RQ3 扩散矩阵 $D$ 的指定如何解决全局李雅普诺夫函数的非唯一性问题，并产生唯一定量度量？
• RQ4 李雅普诺夫方程在直线系统中作为广义爱因斯坦关系的简化形式，其成立程度如何？
• RQ5 该框架能否实现对多稳态和极限环等复杂动力学行为的定量分析，超越经典李雅普诺夫理论的范围？

主要发现

• 全局李雅普诺夫函数 $\psi$ 在数学上等价于由广义力分解 $[S + T]\dot{\mathbf{q}} = -\nabla\psi$ 导出的势函数，建立了工程与物理之间的构造性桥梁。
• 在线性系统 $\dot{\mathbf{q}} = A\mathbf{q}$ 中，李雅普诺夫方程 $A^T P + P A + R = 0$ 被证明是广义爱因斯坦关系的简化形式，且当 $D = \frac{1}{4}P^{-1} R P^{-1}$ 时保证唯一性。
• 当扩散矩阵 $D$ 指定时，势函数 $\psi$ 成为唯一且定量的稳定性度量，解决了经典全局李雅普诺夫函数的非唯一性问题。
• 该框架可实现对鞍点、极限环和多稳态等复杂行为的分析，这些行为超出了经典局部李雅普诺夫函数的分析能力。
• 在 $S=0$ 的哈密顿系统中，全局李雅普诺夫函数退化为哈密顿量 $H$，与能量守恒一致。
• 玻尔兹曼-吉布斯分布作为系统演化的稳态分布出现，其中 $\psi$ 作为自由能函数，将统计力学与稳定性理论联系起来。