梯度系统(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]