更改

添加2,232字节 、 2026年5月8日 (星期五)
建立内容为“{{#seo: |keywords=梯度系统,势函数,极限环排除 |description=梯度系统是一类可写成势函数负梯度形式的动力系统,其中不可能存…”的新页面
{{#seo:
|keywords=梯度系统,势函数,极限环排除
|description=梯度系统是一类可写成势函数负梯度形式的动力系统,其中不可能存在周期轨道或极限环。
}}

在[[动力系统]]理论中,'''梯度系统'''(gradient system)是指可以写成光滑势函数负梯度形式的自治系统:

: <math>\mathbf{x}' = -\nabla V(\mathbf{x})</math>

其中 <math>V : \mathbb{R}^n \to \mathbb{R}</math> 为光滑势函数(potential function)。梯度系统在任意维度下均不可能存在[[极限环]]或任何周期轨道,是排除极限环存在的最直接工具之一。<ref name="Strogatz">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos''. Westview Press.</ref>

== 排除极限环的证明 ==

沿任意轨道计算势函数 <math>V</math> 的时间导数:

<math display="block">\frac{d}{dt}V(\mathbf{x}(t)) = \nabla V(\mathbf{x})\cdot \mathbf{x}' = -|\nabla V(\mathbf{x})|^2 \leq 0</math>

这说明 <math>V</math> 沿轨道单调不增,且在非平衡点处严格递减——系统始终沿势函数下降最快的方向运动。而周期轨道要求系统在一个周期后回到初始状态,<math>V</math> 的值也必须恢复原值,这与上述严格单调性矛盾。因此,梯度系统中不可能存在闭轨道或极限环。该结论适用于任意 <math>n</math> 维系统。<ref name="Strogatz" />

== 示例 ==

考虑二维系统:
<math display="block">
\begin{cases}
\dot{x} = -x, \\
\dot{y} = -y.
\end{cases}
</math>

该系统可写成梯度形式 <math>\mathbf{x}' = -\nabla V</math>,其中 <math>V(x,y) = \frac{1}{2}(x^2 + y^2)</math>。计算得

<math display="block">\dot{V} = -x^2 - y^2 \leq 0</math>

且仅在原点处取等。因此 <math>V</math> 沿轨道严格单调递减,系统不可能存在任何闭轨道或极限环。<ref name="Strogatz" />

== 与李雅普诺夫函数方法的关系 ==

梯度系统可视为[[李雅普诺夫函数]]方法的特殊情形:势函数 <math>V</math> 即为一个李雅普诺夫函数。然而梯度系统要求系统具有特定的势函数结构,条件较为严格;李雅普诺夫函数方法则更为灵活,不要求系统具有梯度形式。

== 参考文献 ==

<references/>
152

个编辑