152
个编辑
更改
→极限环的排除方法
== 极限环的排除方法==
== 极限环的排除方法==
===梯度系统（Gradient systems）===
=== 梯度系统（Gradient systems） ===
===李雅普诺夫函数（Lyapunov functions）===
=== Dulac 准则（Dulac criterion）===
梯度系统提供了一类可以直接排除极限环存在性的动力系统。对于二维梯度系统，其动力学方程可以写为
: <math>x' = -\nabla V(x)</math>
其中 <math>V : \mathbb{R}^2 \to \mathbb{R}</math> 为光滑标量函数，称为势函数（potential function）。在这种系统中，系统的运动方向始终沿着势函数下降最快的方向。
沿着系统轨道计算函数 <math>V(x(t))</math> 的时间导数可得
: <math>\frac{d}{dt}V(x(t)) = \nabla V(x)\cdot x' = -|\nabla V(x)|^2 \le 0</math>
因此，<math>V</math> 在轨道上是单调不增的函数，并且除了在平衡点处外严格下降。这意味着系统在演化过程中始终向势函数较小的方向运动。
由于周期轨道要求系统状态在一个周期后返回初始点，从而使所有系统量恢复原值，而 <math>V</math> 在轨道上严格单调变化，因此在梯度系统中不可能存在闭轨道或极限环。因此，若一个二维系统可以写成梯度系统的形式，则可以直接排除极限环的存在。<ref name="Strogatz" />
=== 李雅普诺夫函数（Lyapunov functions） ===
李雅普诺夫函数方法也是排除极限环存在的一种常用工具。若存在一个光滑函数 <math>V(x)</math>，使得沿系统轨道有
: <math>\frac{d}{dt}V(x(t)) = \nabla V(x)\cdot f(x)</math>
在某一区域内始终保持严格正值或严格负值，则函数 <math>V</math> 在该区域内沿轨道单调变化。
由于周期轨道要求系统在一个周期后返回初始状态，因此任何在轨道上单调变化的函数都无法在周期结束时恢复原值。因此，如果存在这样的李雅普诺夫函数，则该区域内不可能存在闭轨道或极限环。
因此，通过构造适当的李雅普诺夫函数，可以证明某一区域内不存在极限环，并进一步分析系统的长期行为。<ref name="Perko" />
=== Dulac 准则（Dulac criterion） ===
Dulac 准则是排除二维系统中闭轨道的重要工具，也称为 Bendixson–Dulac 定理。考虑平面动力系统
: <math>x' = P(x,y), \qquad y' = Q(x,y)</math>
其中 <math>P</math> 和 <math>Q</math> 为连续可微函数。若存在一个连续可微函数 <math>B(x,y)</math>，称为 Dulac 函数，使得
: <math>\frac{\partial (BP)}{\partial x} + \frac{\partial (BQ)}{\partial y}</math>
在某个单连通区域内始终保持同号且不恒为零，则该区域内不存在闭轨道，因此也不存在极限环。
该准则的思想来源于向量场散度的性质：如果适当加权后的向量场在区域内始终表现为整体收缩或扩张，则轨道无法形成封闭循环。因此 Dulac 准则常被用于证明某些平面动力系统不存在极限环。<ref name="Perko" />
==极限环存在性理论==
==极限环存在性理论==