更改

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