更改

=== 极限环的排除方法 ===

=== 极限环的排除方法 ===

'''极限环排除方法的核心思想是：若能找到一个在系统演化过程中单调变化的量，则系统不可能存在周期轨道。'''以下三种方法各自利用了不同的结构特征，其中梯度系统与李雅普诺夫函数方法在高维中仍然成立，而 Dulac 准则为二维专属方法。各方法的详细内容及示例见对应词条。

'''极限环排除方法的核心思想是：若能找到一个在系统演化过程中单调变化的量，则系统不可能存在周期轨道。'''以下三种方法各自利用了不同的结构特征，其中[[梯度系统]]与[[李雅普诺夫函数]]方法在高维中仍然成立，而[[Dulac准则]]为二维专属方法。

* '''[[梯度系统]]'''（gradient system）：若 <math>n</math> 维系统可写成 <math>\mathbf{x}' = -\nabla V(\mathbf{x})</math>，其中 <math>V</math> 为光滑势函数，则 <math>\dot{V} = -|\nabla V|^2 \leq 0</math> 沿轨道严格单调递减。由于周期轨道要求 <math>V</math> 在一个周期后恢复原值，这与严格单调性矛盾，故梯度系统中不存在极限环。适用于任意 <math>n</math> 维系统。<ref name="Strogatz" />

* '''[[梯度系统]]'''（gradient system）：若 <math>n</math> 维系统可写成 <math>\mathbf{x}' = -\nabla V(\mathbf{x})</math>，其中 <math>V</math> 为光滑势函数，则 <math>\dot{V} = -|\nabla V|^2 \leq 0</math> 沿轨道严格单调递减。由于周期轨道要求 <math>V</math> 在一个周期后恢复原值，这与严格单调性矛盾，故梯度系统中不存在极限环。这一判定标准同样适用于任意 <math>n</math> 维系统。<ref name="Strogatz" />

* '''[[李雅普诺夫函数]]'''（Lyapunov function）：若能构造光滑函数 <math>V(\mathbf{x})</math> 使得 <math>\dot{V} = \nabla V \cdot \mathbf{f}</math> 在某区域内处处严格同号，则该区域内不存在周期轨道。此方法比梯度系统更灵活，适用于任意 <math>n</math> 维系统，但构造 <math>V</math> 一般无系统性方法。<ref name="Perko" />

* '''[[李雅普诺夫函数]]'''（Lyapunov function）：若能构造光滑函数 <math>V(\mathbf{x})</math> 使得 <math>\dot{V} = \nabla V \cdot \mathbf{f}</math> 在某区域内处处严格同号，则该区域内不存在周期轨道。此方法比梯度系统更灵活，适用于任意 <math>n</math> 维系统，但构造 <math>V</math> 一般无系统性方法。<ref name="Perko" />

* '''[[Dulac 准则]]'''（Bendixson–Dulac 定理）：对于平面系统 <math>x' = P(x,y),\ y' = Q(x,y)</math>，若存在连续可微函数 <math>B(x,y)</math> 使得加权散度 <math>\frac{\partial(BP)}{\partial x} + \frac{\partial(BQ)}{\partial y}</math> 在某单连通区域内处处同号且不恒为零，则该区域内不存在极限环。当 <math>B \equiv 1</math> 时退化为经典的 Bendixson 判据。该准则依赖于平面散度，仅适用于二维系统。<ref name="Perko" />

* '''[[Dulac准则]]'''（[[Bendixson–Dulac定理]]）：对于平面系统 <math>x' = P(x,y),\ y' = Q(x,y)</math>，若存在连续可微函数 <math>B(x,y)</math> 使得加权散度 <math>\frac{\partial(BP)}{\partial x} + \frac{\partial(BQ)}{\partial y}</math> 在某单连通区域内处处同号且不恒为零，则该区域内不存在极限环。当 <math>B \equiv 1</math> 时退化为经典的 [[Bendixson判据]]。该准则依赖于平面散度，仅适用于二维系统。<ref name="Perko" />

=== 极限环存在性理论 ===

=== 极限环存在性理论 ===