更改

|description=稳定性理论被用于研究微分方程解的稳定性和动力系统在初始条件的微小扰动下轨迹的稳定性问题。

|description=稳定性理论被用于研究微分方程解的稳定性和动力系统在初始条件的微小扰动下轨迹的稳定性问题。

}}

}}

常微分方程在经历了长期的求精确解的努力后逐渐停滞，庞加莱在分析的基础上引入几何方法，开创了常微分方程定性理论，同时在分析中引入几何方法，搭建起分析与几何之间的沟通桥梁，带来了微分方程研究的新突破。李雅普诺夫则在庞加莱定性分析的基础上 ,转而进入了新的稳定性研究。如今 ,李雅普诺夫稳定性理论被普遍认为是微分方程定性理论的基本成就之一。不仅有精确的定义 ,更有严格的分析证明 ,将微分方程及稳定性理论的研究推向了新的高度。庞加莱被公认是19世纪后四分之一和二十世纪初的领袖数学家，是对于数学和它的应用具有全面知识的最后一个人，他在数学方面的杰出工作对20世纪和当今的数学造成极其深远的影响。'''庞加莱映射 Poincaré map'''是由相空间中轨道运动定义的一种映射，是当轨道反复穿越同一截面时，反映后继点对先行点依赖关系的映射<ref>Perko. Differential equations and dynamical systems[M]. Springer, 2001.</ref>。一个连续非线性动力系统的求解是非常困难的，庞加莱给出了相图分析法。在相图中虽然不能定量地知道物理量随时间的变化，但可以定性地得到轨线的形态类型及其拓扑结构，从而了解动力系统运动的全局图像。为了更清楚了解高维相空间运动的形态，在连续运动的轨线上用一个截面（称庞加莱截面）将其横截，轨线在截面上穿过的情况就可以简捷地判断运动的形态。对于庞加莱映射是稳定的还是不稳定的判断则取决于其特征，如图所示，在相空间区间中向下的方向上稳定性增加。

常微分方程在经历了长期的求精确解的努力后逐渐停滞，庞加莱在分析的基础上引入几何方法，开创了常微分方程定性理论，同时在分析中引入几何方法，搭建起分析与几何之间的沟通桥梁，带来了微分方程研究的新突破。李雅普诺夫则在庞加莱定性分析的基础上 ,转而进入了新的稳定性研究。如今 ,李雅普诺夫稳定性理论被普遍认为是微分方程定性理论的基本成就之一。不仅有精确的定义 ,更有严格的分析证明 ,将微分方程及稳定性理论的研究推向了新的高度。庞加莱被公认是19世纪后四分之一和二十世纪初的领袖数学家，是对于数学和它的应用具有全面知识的最后一个人，他在数学方面的杰出工作对20世纪和当今的数学造成极其深远的影响。'''庞加莱映射 Poincaré map'''是由相空间中轨道运动定义的一种映射，是当轨道反复穿越同一截面时，反映后继点对先行点依赖关系的映射<ref>Perko. Differential equations and dynamical systems[M]. Springer, 2001.</ref>。一个连续非线性动力系统的求解是非常困难的，庞加莱给出了相图分析法。在相图中虽然不能定量地知道物理量随时间的变化，但可以定性地得到轨线的形态类型及其拓扑结构，从而了解动力系统运动的全局图像。为了更清楚了解高维相空间运动的形态，在连续运动的轨线上用一个截面（称庞加莱截面）将其横截，轨线在截面上穿过的情况就可以简捷地判断运动的形态。对于庞加莱映射是稳定的还是不稳定的判断则取决于其特征，如图所示，在相空间区间中向下的方向上稳定性增加。

==动力系统概述==

==动力系统概述==

微分方程和动力系统定性理论的许多部分关心系统或者方程解的渐近性质及其轨迹，这也意味着系统经过很长时间后会发生什么 <ref>Palis J ,  Melo W D . Geometric theory of dynamical systems[J]. Springer-Verlag, 1982, 10.1007/978-1-4612-5703-5.</ref>。系统最简单的行为表现为'''平衡点 Equilibrium points'''或不动点，以及'''周期轨道 Periodic orbit'''。如果我们已经很好地理解了一个特定的轨道，那么很自然地就会问下一个问题：初始条件的一个微小变化对于系统来说是否仍会保持类似的行为。稳定性理论解决了以下问题：附近的轨道是否会无限靠近给定的轨道？已知的轨道会收敛到给定的轨道吗？在前一种情况下，轨道被称为是'''稳定 Stable'''的；在后一种情况下，轨道是'''渐近稳定 Asymptotically stable '''的，并且收敛到给定的轨道称为'''吸引子 Attractor'''<ref>Zaslavsky G M . The simplest case of a strange attractor[J]. Physics Letters A, 1978, 69(3):145-147.</ref>。

微分方程和动力系统定性理论的许多部分关心系统或者方程解的渐近性质及其轨迹，这也意味着系统经过很长时间后会发生什么 <ref>Palis J ,  Melo W D . Geometric theory of dynamical systems[J]. Springer-Verlag, 1982, 10.1007/978-1-4612-5703-5.</ref>。系统最简单的行为表现为'''平衡点 Equilibrium points'''或不动点，以及'''周期轨道 Periodic orbit'''。如果我们已经很好地理解了一个特定的轨道，那么很自然地就会问下一个问题：初始条件的一个微小变化对于系统来说是否仍会保持类似的行为。稳定性理论解决了以下问题：附近的轨道是否会无限靠近给定的轨道？已知的轨道会收敛到给定的轨道吗？在前一种情况下，轨道被称为是'''稳定 Stable'''的；在后一种情况下，轨道是'''渐近稳定 Asymptotically stable '''的，并且收敛到给定的轨道称为'''吸引子 Attractor'''<ref>Zaslavsky G M . The simplest case of a strange attractor[J]. Physics Letters A, 1978, 69(3):145-147.</ref>。

对于一个一阶常微分方程自治系统的平衡解<math>f_e</math>：

对于一个一阶常微分方程自治系统的平衡解<math>f_e</math>：

*如果对于任意（小的）<math>\epsilon > 0</math>，存在<math>\delta > 0 </math>，使得只要初始条件与平衡点的距离在<math> \delta </math>范围内，例如<math> \| f(t_0) - f_e \| < \delta</math>，就有，对任何<math> t \ge t_0 </math>满足解 <math>f(t) </math> 与平衡点的距离在 <math> \epsilon </math> 范围内，例如<math>\| f(t) - f_e \| < \epsilon</math>，那么该平衡点称为稳定的。

*如果对于任意（小的）<math>\epsilon > 0</math>，存在<math>\delta > 0 </math>，使得只要初始条件与平衡点的距离在<math> \delta </math>范围内，例如<math> \| f(t_0) - f_e \| < \delta</math>，就有，对任何<math> t \ge t_0 </math>满足解 <math>f(t) </math> 与平衡点的距离在 <math> \epsilon </math> 范围内，例如<math>\| f(t) - f_e \| < \epsilon</math>，那么该平衡点称为稳定的。

*如果该平衡点是稳定的，并且存在 <math>\delta_0 > 0</math>，使得对于任何<math>\| f(t_0) - f_e \| < \delta_0 </math>，当<math>t \rightarrow \infty </math>时都有<math>f(t) \rightarrow f_e </math>，那么该平衡点是渐近稳定的。

*如果该平衡点是稳定的，并且存在 <math>\delta_0 > 0</math>，使得对于任何<math>\| f(t_0) - f_e \| < \delta_0 </math>，当<math>t \rightarrow \infty </math>时都有<math>f(t) \rightarrow f_e </math>，那么该平衡点是渐近稳定的。

稳定性意味着在微小的扰动下轨迹不会发生太大的变化。相反的情况中，微小的扰动会使得轨迹发生较大变化，即附近的轨道与给定的轨道互相排斥，这也是一种有趣的现象。一般来说，在某些方向对初始状态的扰动使得轨道渐近地接近给定轨道，而在其他方向的扰动则使得轨道远离给定轨道。也可能存在对初始状态在某些方向的扰动使得轨道行为变得比较复杂（比如既不会收敛也不会完全逃逸），从而稳定性理论不能对于这样的动力学状态给予充分的预测信息。

稳定性意味着在微小的扰动下轨迹不会发生太大的变化。相反的情况中，微小的扰动会使得轨迹发生较大变化，即附近的轨道与给定的轨道互相排斥，这也是一种有趣的现象。一般来说，在某些方向对初始状态的扰动使得轨道渐近地接近给定轨道，而在其他方向的扰动则使得轨道远离给定轨道。也可能存在对初始状态在某些方向的扰动使得轨道行为变得比较复杂（比如既不会收敛也不会完全逃逸），从而稳定性理论不能对于这样的动力学状态给予充分的预测信息。

稳定性理论的关键思想之一是用轨道附近系统的线性化，来分析轨道在扰动下的定性行为。特别地，在 n 维'''相空间 Phase space'''的光滑动力系统的每个平衡点上，都存在一个 n×n 的矩阵 A，其特征值刻画了邻近点的动力学行为'''（Hartman-Grobman 定理 Hartman–Grobman theorem）'''。更确切地说，如果矩阵所有的特征值都是负实数或实部为负的复数，那么这个平衡点就是一个稳定的吸引子，并且附近的点以指数速率收敛到它，参考'''李雅普诺夫稳定性 Lyapunov stability'''和'''指数稳定性 Exponential stability'''。如果所有的特征值都不是纯虚数(或零) ，那么吸引方向和排斥方向都与矩阵 A 的特征空间有关，其特征值的实部分别为负和正。对于更复杂的轨道上的扰动情形，也有类似的表述。

稳定性理论的关键思想之一是用轨道附近系统的线性化，来分析轨道在扰动下的定性行为。特别地，在 n 维'''相空间 Phase space'''的光滑动力系统的每个平衡点上，都存在一个 n×n 的矩阵 A，其特征值刻画了邻近点的动力学行为'''（Hartman-Grobman 定理 Hartman–Grobman theorem）'''。更确切地说，如果矩阵所有的特征值都是负实数或实部为负的复数，那么这个平衡点就是一个稳定的吸引子，并且附近的点以指数速率收敛到它，参考'''李雅普诺夫稳定性 Lyapunov stability'''和'''指数稳定性 Exponential stability'''。如果所有的特征值都不是纯虚数(或零) ，那么吸引方向和排斥方向都与矩阵 A 的特征空间有关，其特征值的实部分别为负和正。对于更复杂的轨道上的扰动情形，也有类似的表述。

==不动点稳定性==

==不动点稳定性==

最简单的一种轨道就是一个不动点，称为平衡态，或者叫做平衡点。如果一个力学系统处于稳定的平衡状态，那么只需要一个很小的推力就会导致局部运动的发生，例如，类似钟摆那样的小规模的振动。在有阻尼的系统中，稳定的平衡态是渐近稳定的<ref> Hui Y ,  Michel A N ,  Ling H . Stability theory for hybrid dynamical systems[C]// IEEE Conference on Decision & Control. IEEE, 2002.</ref>。另一方面，对于一个不稳定的平衡，例如一个球停留在山顶的最高顶点上，一个极其微小的推力就会导致一个大幅度的运动，这个运动可能会也可能不会收敛到原始状态。

最简单的一种轨道就是一个不动点，称为平衡态，或者叫做平衡点。如果一个力学系统处于稳定的平衡状态，那么只需要一个很小的推力就会导致局部运动的发生，例如，类似钟摆那样的小规模的振动。在有阻尼的系统中，稳定的平衡态是渐近稳定的<ref> Hui Y ,  Michel A N ,  Ling H . Stability theory for hybrid dynamical systems[C]// IEEE Conference on Decision & Control. IEEE, 2002.</ref>。另一方面，对于一个不稳定的平衡，例如一个球停留在山顶的最高顶点上，一个极其微小的推力就会导致一个大幅度的运动，这个运动可能会也可能不会收敛到原始状态。

对于线性系统而言，存在许多行之有效的测试方法来检验线性系统的稳定性。非线性系统的稳定性通常可以首先考虑其线性化的系统，并从其线性化系统的稳定性中推断出原非线性系统的稳定性。

对于线性系统而言，存在许多行之有效的测试方法来检验线性系统的稳定性。非线性系统的稳定性通常可以首先考虑其线性化的系统，并从其线性化系统的稳定性中推断出原非线性系统的稳定性。

===映射===

===映射===

考虑一个通过迭代函数得到的动力系统:

考虑一个通过迭代函数得到的动力系统:

:<math> x_{n+1}=f(x_n), \quad n=0,1,2,\ldots.</math>

:<math> x_{n+1}=f(x_n), \quad n=0,1,2,\ldots.</math>

当函数 {{Math|''f''}} 在 {{Math|''a''}} 点的导数的绝对值严格小于1时，不动点是稳定的；当在 {{Math|''a''}} 点的导数严格大于1时是不稳定的。这是因为在这个点附近，函数的斜率具有的线性近似值为:

当函数 {{Math|''f''}} 在 {{Math|''a''}} 点的导数的绝对值严格小于1时，不动点是稳定的；当在 {{Math|''a''}} 点的导数严格大于1时是不稳定的。这是因为在这个点附近，函数的斜率具有的线性近似值为:

:<math> f(x) \approx f(a)+f'(a)(x-a). </math>

:<math> f(x) \approx f(a)+f'(a)(x-a). </math>

因此

因此

:<math>x_{n+1}-x_{n} = f(x_n)-x_n \simeq f(a) + f'(a)(x_n-a)-x_n = a + f'(a)(x_n-a)-x_n = (f'(a)-1)(x_n-a) \to \frac{x_{n+1}-x_{n}}{x_n-a}=f'(a)-1</math>

:<math>x_{n+1}-x_{n} = f(x_n)-x_n \simeq f(a) + f'(a)(x_n-a)-x_n = a + f'(a)(x_n-a)-x_n = (f'(a)-1)(x_n-a) \to \frac{x_{n+1}-x_{n}}{x_n-a}=f'(a)-1</math>

这意味着导数测量的是函数连续迭代接近或偏离不动点 {{Math|''a''}} 的速率。如果不动点 {{Math|''a''}} 处的导数恰好是1或-1，那么就需要更多的信息才能判断系统的稳定性。

这意味着导数测量的是函数连续迭代接近或偏离不动点 {{Math|''a''}} 的速率。如果不动点 {{Math|''a''}} 处的导数恰好是1或-1，那么就需要更多的信息才能判断系统的稳定性。

对于具有一个不动点 {{Math|''a''}} 的连续可微映射 {{Math|''f'': '''R'''^''n'' → '''R'''^''n''}}，存在一个类似的判据，由 {{Math|''a''}} 的雅可比矩阵 {{Math|''J''_''a''(''f'')}} 表示。

对于具有一个不动点 {{Math|''a''}} 的连续可微映射 {{Math|''f'': '''R'''^''n'' → '''R'''^''n''}}，存在一个类似的判据，由 {{Math|''a''}} 的雅可比矩阵 {{Math|''J''_''a''(''f'')}} 表示。

如果 {{Math|''J''}} 的所有特征值都是绝对值严格小于1的实数或复数，则该点是稳定不动点；

如果 {{Math|''J''}} 的所有特征值都是绝对值严格小于1的实数或复数，则该点是稳定不动点；

如果{{Math|''J''}} 的所有特征值中至少有一个的绝对值严格大于1，则它是不稳定的。

如果{{Math|''J''}} 的所有特征值中至少有一个的绝对值严格大于1，则它是不稳定的。

对于{{Math|''J''}} 的最大特征值的绝对值等于1的情况，需要进一步研究。仅仅使用雅可比矩阵检验是无法确定稳定性类型的。同样的准则对光滑流形的微分同胚情况也有着广泛的适用性。

对于{{Math|''J''}} 的最大特征值的绝对值等于1的情况，需要进一步研究。仅仅使用雅可比矩阵检验是无法确定稳定性类型的。同样的准则对光滑流形的微分同胚情况也有着广泛的适用性。

===线性自治系统===

===线性自治系统===

如我们所知，线性系统是一类数学模型，指的是由线性运算子组成的系统，也就是说，这类系统首先满足线性的特性<ref>Luenberger D G . Observing the State of a Linear System[J]. IEEE Transactions on Military Electronics, 2007, 8(2):74-80.</ref>。相较于非线性系统，线性系统的特性比较简单。

如我们所知，线性系统是一类数学模型，指的是由线性运算子组成的系统，也就是说，这类系统首先满足线性的特性<ref>Luenberger D G . Observing the State of a Linear System[J]. IEEE Transactions on Military Electronics, 2007, 8(2):74-80.</ref>。相较于非线性系统，线性系统的特性比较简单。

根据系统矩阵A是否随时间变化，引入'''自治系统 autonomous system'''的概念后，可以把线性系统分为自治的和非自治的，对于线性系统一般也可以称为定常的和时变的，也就是说：

根据系统矩阵A是否随时间变化，引入'''自治系统 autonomous system'''的概念后，可以把线性系统分为自治的和非自治的，对于线性系统一般也可以称为定常的和时变的，也就是说：

（2）而非自治的线性系统就是时变线性系统。

（2）而非自治的线性系统就是时变线性系统。

对于非线性系统，就可以分为非线性自治系统和非线性非自治系统。

对于非线性系统，就可以分为非线性自治系统和非线性非自治系统。

这里我们首先考察线性自治系统，利用常系数一阶线性微分方程组对应系数矩阵的特征值，便可以分析其不动点的稳定性。

这里我们首先考察线性自治系统，利用常系数一阶线性微分方程组对应系数矩阵的特征值，便可以分析其不动点的稳定性。

对于一个如下的'''自治系统 autonomous system'''

对于一个如下的'''自治系统 autonomous system'''

:<math>x' = Ax,</math>

:<math>x' = Ax,</math>

当 {{Math|''x''(''t'') ∈ '''R'''^''n''}} 且 {{Math|''A''}} 是一个 {{Math|''n''×''n''}} 的实矩阵时，它具有常数解

当 {{Math|''x''(''t'') ∈ '''R'''^''n''}} 且 {{Math|''A''}} 是一个 {{Math|''n''×''n''}} 的实矩阵时，它具有常数解

可以这样描述：最初的原点（{{Math|0 ∈ '''R'''^''n''}} ） 是该动力系统的平衡点。当且仅当对于{{Math|''A''}}的所有特征值 {{Math|''λ''}} 有 {{Math|Re(''λ'') < 0}} 时，这个解是随着{{Math|''t'' → ∞}}是渐近稳定的（未来趋势）。类似地，当且仅当对于 {{Math|''A''}} 的所有特征值 {{Math|''λ''}} 有{{Math|Re(''λ'') > 0}} 时，系统随着{{Math|''t'' → -∞}}是渐近稳定的（负号表示方向指向过去趋势）。如果存在一个{{Math|''A''}}的特征值 {{Math|''λ''}} 使得 {{Math|Re(''λ'') > 0}}，则该解在{{Math|''t'' → ∞}}时是不稳定的。

可以这样描述：最初的原点（{{Math|0 ∈ '''R'''^''n''}} ） 是该动力系统的平衡点。当且仅当对于{{Math|''A''}}的所有特征值 {{Math|''λ''}} 有 {{Math|Re(''λ'') < 0}} 时，这个解是随着{{Math|''t'' → ∞}}是渐近稳定的（未来趋势）。类似地，当且仅当对于 {{Math|''A''}} 的所有特征值 {{Math|''λ''}} 有{{Math|Re(''λ'') > 0}} 时，系统随着{{Math|''t'' → -∞}}是渐近稳定的（负号表示方向指向过去趋势）。如果存在一个{{Math|''A''}}的特征值 {{Math|''λ''}} 使得 {{Math|Re(''λ'') > 0}}，则该解在{{Math|''t'' → ∞}}时是不稳定的。

为了判定线性系统原点的稳定性，可以使用劳斯-赫尔维茨稳定性判据'''Routh–Hurwitz stability criterion'''，来将这一结果应用在实践中。矩阵的特征值是其特征多项式的根。如果所有根的实部都是严格负的，那么一个具有实系数的单变量多项式称为赫尔维茨多项式 '''Hurwitz polynomial''' 。劳斯-赫尔维茨定理 '''Routh–Hurwitz theorem'''通过一种避免计算根的算法来描述赫尔维茨多项式的特征。

为了判定线性系统原点的稳定性，可以使用劳斯-赫尔维茨稳定性判据'''Routh–Hurwitz stability criterion'''，来将这一结果应用在实践中。矩阵的特征值是其特征多项式的根。如果所有根的实部都是严格负的，那么一个具有实系数的单变量多项式称为赫尔维茨多项式 '''Hurwitz polynomial''' 。劳斯-赫尔维茨定理 '''Routh–Hurwitz theorem'''通过一种避免计算根的算法来描述赫尔维茨多项式的特征。

===非线性自治系统===

===非线性自治系统===

前面我们介绍了线性自治系统的稳定性判断，这里我们来考察非线性自治系统的情况。非线性系统不动点的渐近稳定性通常可以用 Hartman-Grobman 定理来判断。

前面我们介绍了线性自治系统的稳定性判断，这里我们来考察非线性自治系统的情况。非线性系统不动点的渐近稳定性通常可以用 Hartman-Grobman 定理来判断。

设{{Math|''J''_''p''(''v'')}}为向量场 {{Math|''v''}}在点{{Math|''p''}}的{{Math|''n''×''n''}}'''雅可比矩阵 Jacobian matrix'''。如果 {{Math|''J''}} 的所有特征值都具有严格负的实部，则系统的解是渐近稳定的。这个条件可以用劳斯-赫尔维茨判据'''Routh–Hurwitz stability criterion'''来检验。

设{{Math|''J''_''p''(''v'')}}为向量场 {{Math|''v''}}在点{{Math|''p''}}的{{Math|''n''×''n''}}'''雅可比矩阵 Jacobian matrix'''。如果 {{Math|''J''}} 的所有特征值都具有严格负的实部，则系统的解是渐近稳定的。这个条件可以用劳斯-赫尔维茨判据'''Routh–Hurwitz stability criterion'''来检验。

==一般动力系统的李雅普诺夫函数==

==一般动力系统的李雅普诺夫函数==

李雅普诺夫函数 Lyapunov functions在稳定性分析和控制理论中都起着重要的作用，它的应用使得许多领域中的一系列问题的解决变得相对容易，尤其是在一些应用型的分析领域中。在常微分方程理论中，可用它来证明常微分方程平衡点的稳定性<ref>Branicky,  M. S . Multiple Lyapunov functions and other analysis tools for switched and hybrid systems[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL AC, 1998, 43(4):475-482.</ref>。所以我们建立动力系统的李雅普诺夫稳定性或渐近稳定的一般方法即是利用李亚普诺夫函数来分析。

李雅普诺夫函数 Lyapunov functions在稳定性分析和控制理论中都起着重要的作用，它的应用使得许多领域中的一系列问题的解决变得相对容易，尤其是在一些应用型的分析领域中。在常微分方程理论中，可用它来证明常微分方程平衡点的稳定性<ref>Branicky,  M. S . Multiple Lyapunov functions and other analysis tools for switched and hybrid systems[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL AC, 1998, 43(4):475-482.</ref>。所以我们建立动力系统的李雅普诺夫稳定性或渐近稳定的一般方法即是利用李亚普诺夫函数来分析。

==拓展阅读==

==拓展阅读==

*冯诺依曼稳定性分析 Von Neumann stability analysis

*冯诺依曼稳定性分析 Von Neumann stability analysis

==参考文献==

==参考文献==

{{Reflist}}

{{Reflist}}

==外部链接==

==外部链接==

*[http://demonstrations.wolfram.com/StableEquilibria/ Stable Equilibria] 源于Michael Schreiber，Wolfram示范项目。

*[http://demonstrations.wolfram.com/StableEquilibria/ Stable Equilibria] 源于Michael Schreiber，Wolfram示范项目。