极限环

夏沛雯(讨论 | 贡献)2026年3月26日 (四) 16:37的版本

梯度系统(Gradient systems)

梯度系统提供了一类可以直接排除极限环存在性的动力系统。对于二维梯度系统,其动力学方程可以写为

[math]\displaystyle{ x' = -\nabla V(x) }[/math]

其中 [math]\displaystyle{ V : \mathbb{R}^2 \to \mathbb{R} }[/math] 为光滑标量函数,称为势函数(potential function)。在这种系统中,系统的运动方向始终沿着势函数下降最快的方向。

沿着系统轨道计算函数 [math]\displaystyle{ V(x(t)) }[/math] 的时间导数可得

[math]\displaystyle{ \frac{d}{dt}V(x(t)) = \nabla V(x)\cdot x' = -|\nabla V(x)|^2 \le 0 }[/math]

因此,[math]\displaystyle{ V }[/math] 在轨道上是单调不增的函数,并且除了在平衡点处外严格下降。这意味着系统在演化过程中始终向势函数较小的方向运动。

由于周期轨道要求系统状态在一个周期后返回初始点,从而使所有系统量恢复原值,而 [math]\displaystyle{ V }[/math] 在轨道上严格单调变化,因此在梯度系统中不可能存在闭轨道或极限环。因此,若一个二维系统可以写成梯度系统的形式,则可以直接排除极限环的存在。[1]

李雅普诺夫函数(Lyapunov functions)

李雅普诺夫函数方法也是排除极限环存在的一种常用工具。若存在一个光滑函数 [math]\displaystyle{ V(x) }[/math],使得沿系统轨道有

[math]\displaystyle{ \frac{d}{dt}V(x(t)) = \nabla V(x)\cdot f(x) }[/math]

在某一区域内始终保持严格正值或严格负值,则函数 [math]\displaystyle{ V }[/math] 在该区域内沿轨道单调变化。

由于周期轨道要求系统在一个周期后返回初始状态,因此任何在轨道上单调变化的函数都无法在周期结束时恢复原值。因此,如果存在这样的李雅普诺夫函数,则该区域内不可能存在闭轨道或极限环。

因此,通过构造适当的李雅普诺夫函数,可以证明某一区域内不存在极限环,并进一步分析系统的长期行为。[2]

Dulac 准则(Dulac criterion)

Dulac 准则是排除二维系统中闭轨道的重要工具,也称为 Bendixson–Dulac 定理。考虑平面动力系统

[math]\displaystyle{ x' = P(x,y), \qquad y' = Q(x,y) }[/math]

其中 [math]\displaystyle{ P }[/math] 和 [math]\displaystyle{ Q }[/math] 为连续可微函数。若存在一个连续可微函数 [math]\displaystyle{ B(x,y) }[/math],称为 Dulac 函数,使得

[math]\displaystyle{ \frac{\partial (BP)}{\partial x} + \frac{\partial (BQ)}{\partial y} }[/math]

在某个单连通区域内始终保持同号且不恒为零,则该区域内不存在闭轨道,因此也不存在极限环。

该准则的思想来源于向量场散度的性质:如果适当加权后的向量场在区域内始终表现为整体收缩或扩张,则轨道无法形成封闭循环。因此 Dulac 准则常被用于证明某些平面动力系统不存在极限环。[2]

  1. ↑ 引用错误:无效<ref>标签;未给name属性为Strogatz的引用提供文字
  2. ↑ 2.0 2.1 引用错误:无效<ref>标签;未给name属性为Perko的引用提供文字