李雅普诺夫函数

李雅普诺夫函数（Lyapunov function）是动力系统稳定性分析的核心工具，由俄罗斯数学家亚历山大·李雅普诺夫于1892年提出，属于稳定性分析的“第二方法”。它本质上是一个定义在状态空间上的标量函数，需满足连续可导、正定性及其沿系统轨迹导数半负定等严格数学条件。与直接求解微分方程的传统方法不同，该方法通过构造能量似然的函数形式，将复杂的动态行为转化为代数不等式判定，从而高效验证系统在受到扰动后能否收敛至平衡点。尽管传统构造依赖人工启发式，但近年来结合符号计算与深度学习的新兴研究正试图突破这一百年难题。

在现代计算架构与算法领域，李雅普诺夫函数扮演着“系统安全卫士”的角色，是确保控制算法鲁棒性与收敛性的理论基石。它广泛应用于机器人运动规划、强化学习策略优化、神经网络稳定性分析以及马尔可夫链状态收敛验证等场景。其核心价值在于提供了一种无需显式求解系统轨迹即可判定长期行为的方法，极大地降低了复杂非线性系统的仿真成本与验证难度。然而，对于高维非线性系统，传统构造方法仍面临巨大的工程挑战，这促使学术界转向利用生成式模型（如符号Transformer）辅助函数构造，标志着该领域正从纯数学推导向数据驱动与符号计算融合的新范式演进。