亚历山大·米哈伊洛维奇·李雅普诺夫 (Aleksandr Mikhailovich Lyapunov, 1857-1918)

一、出身——俄罗斯数学的黄金时代

1857年6月6日，俄罗斯雅罗斯拉夫尔一个天文学家的家庭迎来了长子——亚历山大·李雅普诺夫。

他的父亲是一位著名的天文学家，曾任雅罗斯拉夫尔德米多夫学院的院长。母亲也有良好的教育背景。李雅普诺夫家有三个孩子——亚历山大和他的两个弟弟（其中米哈伊尔后来成为了一位斯拉夫语言学家）。

但在李雅普诺夫12岁时，父亲去世了。母亲带着三个孩子搬到亲戚家，生活一度拮据。李雅普诺夫进入了圣彼得堡大学，主修数学。

与切比雪夫的相遇：1875年，18岁的李雅普诺夫在圣彼得堡大学遇到了帕夫努季·切比雪夫（Pafnuty Chebyshev）——当时俄罗斯最著名的数学家。切比雪夫立刻注意到了这个学生的才华。在李雅普诺夫的大学论文中，他解决了流体动力学中的一个未解问题，使切比雪夫惊叹不已。

1880年，23岁的李雅普诺夫在切比雪夫的指导下完成了硕士论文，1884年完成了博士论文。

二、博士论文——19世纪最重要的稳定性理论

2.1 问题背景

1882年，25岁的李雅普诺夫完成了他的博士论文《论旋转液体的平衡形状的稳定性》。这篇论文奠定了李雅普诺夫稳定性理论的全部基础。

问题是什么：一个旋转的液体（如地球内部熔融的地幔或者一个旋转的漩涡），它的平衡形状是否稳定？如果受到小的扰动，液体会恢复到原来的形状，还是会被彻底改变形态？

这个问题表面上是一个抽象的流体力学问题——但它的数学结构适用于一切动力学系统。

2.2 李雅普诺夫稳定性的正式定义

给定一个动力系统 $\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})$ ，设 $\mathbf{x}_0$ 是一个平衡点（ $\mathbf{f}(\mathbf{x}_0) = 0$ ）。

李雅普诺夫意义下的稳定性：对于任意 $\varepsilon > 0$ ，存在 $\delta > 0$ ，使得当初始条件 $\|\mathbf{x}(0) - \mathbf{x}_0\| < \delta$ 时，对所有 $t \geq 0$ 有 $\|\mathbf{x}(t) - \mathbf{x}_0\| < \varepsilon$ 。

模式	含义	工程例子
稳定的	受扰动后不远离	有阻尼的摆
渐近稳定的	受扰动后回到平衡	有阻尼的单摆最终停止
指数稳定的	按指数速度回到平衡	PID控制的无人机悬停
不稳定的	受扰动后远离平衡	倒立摆

2.3 李雅普诺夫第一法（间接法）

通过线性化系统矩阵的特征值判断局部稳定性：

如果 $\mathbf{A} = \frac{\partial \mathbf{f}}{\partial \mathbf{x}}(\mathbf{x}_0)$ 的所有特征值都有负实部 → 平衡点是渐近稳定的。

如果至少一个特征值有正实部 → 不稳定。

这正是你在博客中反复使用的方法——6-DOF动力学方程的稳定性分析、PID控制器的极点配置、飞控系统的特征值分析，全是李雅普诺夫第一法。

2.4 李雅普诺夫第二法（直接法）

找一个满足以下条件的标量函数 $V(\mathbf{x})$ （称为李雅普诺夫函数）：

$V(\mathbf{x}_0) = 0$ ，且当 $\mathbf{x} \neq \mathbf{x}_0$ 时 $V(\mathbf{x}) > 0$
$\dot{V}(\mathbf{x}) < 0$ 对所有 $\mathbf{x} \neq \mathbf{x}_0$

如果存在这样的函数，系统是渐近稳定的。

为什么这一点如此强大？ 因为不需要求解系统方程就能判断稳定性。找到合适的函数 $V$ ，通过它的导数就能判断稳定性。

在工程中， $V$ 通常取为系统的总能量（动能+势能），它的导数 $\dot{V}$ 就是能量耗散率。

三、李雅普诺夫在博客中的足迹

博客文章	李雅普诺夫的出现方式
Stevens飞行器控制与仿真（一）	飞行器动力学线性化->状态矩阵->特征值分析（李雅普诺夫第一法）
微分方程（四）-微分方程组与稳定性	平衡点分类、相平面分析、特征值稳定性
四旋翼飞行动力学建模	姿态控制系统的稳定性分析
PID控制	通过极点配置使闭环特征值满足负实部条件
卡尔曼滤波	可观测性/可控性的理论基础
无人机飞控调参	PX4混控器参数要求系统稳定性

四、李雅普诺夫在圣彼得堡的学术生涯

1892年，35岁的李雅普诺夫发表了那篇改变工程学的基础论文《运动稳定性的一般问题》（The General Problem of the Stability of Motion）。

但有趣的是，李雅普诺夫在当时并没有被认为是”工程领域的革命者”——人们认为他工作的价值主要是在纯数学的微分方程理论方面。直到20世纪30-40年代，控制理论在航空和导弹设计中发展成熟时，工程师们才发现李雅普诺夫的工作是稳定性分析的最强大工具。

他的两个重要合作者：

安德烈·马尔可夫（Andrey Markov）——切比雪夫的另一个学生，以马尔可夫链闻名。李雅普诺夫和马尔可夫是同窗，都师从切比雪夫。
弗拉基米尔·斯捷克洛夫（Vladimir Steklov）——李雅普诺夫在圣彼得堡的好友，后来创立了斯捷克洛夫数学研究所（现在的俄罗斯科学院数学研究所）。

五、李雅普诺夫的性格与悲剧

李雅普诺夫是一位典型的俄罗斯数学家：沉默寡言、极度专注、严肃庄重。

他与妻子的故事：李雅普诺夫与妻子艾玛（一位医生的女儿）婚姻幸福，育有两个孩子。但1917年的十月革命彻底改变了一切。革命后，李雅普诺夫在圣彼得堡大学的职位被取消，他的学术研究被迫中断，收入断绝。

最悲惨的结局：1918年，他患上了严重的膀胱结石疾病。在当时的医疗条件下，他无法得到有效治疗。在他的妻子因病去世后，61岁的李雅普诺夫在极度痛苦中开枪自杀——死在他妻子的葬礼之后。

他的弟弟米哈伊尔在1920年代初也死于肺结核。只有他的学术遗产留存了下来。

六、与冯·卡门的对比

对比维度	冯·卡门（1881-1963）	李雅普诺夫（1857-1918）
出生时代	19世纪末，20世纪初	19世纪中期
国籍	匈牙利→美国	俄罗斯
核心领域	空气动力学、火箭推进	微分方程、稳定性理论
政治命运	逃过纳粹，到美国辉煌	死于俄国革命后的混乱
性格	幽默、开放、国际	严肃、专注、沉默
学术传承	培养了大量学生（GALCIT）	学生很少（受革命影响）
对现代工程的直接贡献	JPL、NASA、超音速飞机	飞控稳定性分析的标准工具

一个历史的讽刺：李雅普诺夫开创的稳定性理论在1950年代以后的航空航天工程中得到了充分应用——但那时他已在贫困中去世了30多年。

七、影响与传承

李雅普诺夫的第二个方法（直接法）在20世纪30年代被苏联控制理论家安德罗诺夫（Aleksandr Andronov）和德国的马格努斯（Magnus）重新发现并推广。1950年代，卡尔曼（Rudolf Kalman）将李雅普诺夫稳定性理论引入现代控制理论的框架中——成为线性二次型调节器（LQR）和卡尔曼滤波器设计的基础。

在今天的工程中：

每一架无人机的飞控系统都隐含地使用李雅普诺夫稳定性来保证悬停和跟踪
LQR最优控制器的设计公式直接来自李雅普诺夫方程
自适应控制、非线性控制的核心工具就是李雅普诺夫直接法
神经网络控制的稳定性证明也依赖李雅普诺夫理论

参考文献

Lyapunov, A. M. (1892). The General Problem of the Stability of Motion. Kharkov Mathematical Society. （英文译本：Academic Press, 1966） — 原始文献
Lyapunov, A. M. (1884). On the Stability of Ellipsoidal Forms of Equilibrium of Rotating Fluids. 博士论文
Smirnov, V. I. (1956). “The Life and Works of A. M. Lyapunov.” Russian Mathematical Surveys, 11(3), 3-20.
Khalil, H. K. (2015). Nonlinear Systems (3rd ed.). Pearson. — 李雅普诺夫稳定性理论的现代教材
Slotine, J. J. E. & Li, W. (1991). Applied Nonlinear Control. Prentice-Hall. — 李雅普诺夫在飞控中的应用

李雅普诺夫教会了工程师如何判断一个系统是否稳定。但如何让一个不稳定的系统变稳定呢？答案是——卡尔曼（Kalman）。这位匈牙利出生的美国工程师在1960年发表的论文，同时解决了两个问题：状态估计（卡尔曼滤波器）和最优控制（LQR）。他把李雅普诺夫的稳定性理论和维纳的滤波理论统一到了一个数学框架下。