更改

== 性质 ==

== 性质 ==

极限环作为动力系统中的孤立闭轨道，具有一系列重要的几何与动力学性质。这些性质在任意 <math>n</math> 维（<math>n \geq 2</math>）自治系统中均成立，揭示了极限环如何约束其邻域内轨道的行为，并最终决定系统的长期演化趋势。二维系统中极限环还具有额外的拓扑性质，将在[[#二维情形]]一节中单独介绍。

 

 

 

此外，极限环内部至少包含系统的一个平衡点（即满足 <math>V'(p) = 0</math> 的点 <math>p</math>）。若极限环内部只有一个平衡点，则该点必为汇、源或中心，而不能是鞍点。<ref name="Wikipedia_LC" />

=== 不变性 ===

=== 不变性 ===

孤立性的一个直接推论是：极限环邻域内的轨道不再是闭合曲线，而只能呈螺旋状趋近或远离极限环。这就引出了极限环的稳定性问题。

孤立性的一个直接推论是：极限环邻域内的轨道不再是闭合曲线，而只能呈螺旋状趋近或远离极限环。这就引出了极限环的稳定性问题。

=== 稳定性分类 ===

根据邻近轨道在时间演化中的渐近行为，极限环通常可分为三类：<ref name="Strogatz" />

根据邻近轨道的渐近行为，极限环可分为三类：<ref name="Strogatz" />

* '''稳定极限环'''（stable limit cycle）：若在极限环某邻域内的轨道在 <math>t \to +\infty</math> 时均趋近于该极限环，则称其为稳定极限环。此类极限环对应于系统的一种吸引型周期运动，许多非线性振荡系统中的自维持振荡即由稳定极限环所产生。

* '''稳定极限环'''（stable limit cycle）：内外两侧的邻近轨道在 <math>t \to +\infty</math> 时均螺旋趋近于该极限环，是系统自发产生稳定周期振荡的典型来源。

* '''不稳定极限环'''（unstable limit cycle）：若极限环邻域内除极限环本身外的轨道在 <math>t \to +\infty</math> 时均远离该极限环，则称其为不稳定极限环。若将时间反向（<math>t \to -\infty</math>），邻近轨道则趋近于该极限环。

* '''不稳定极限环'''（unstable limit cycle）：内外两侧的邻近轨道在 <math>t \to +\infty</math> 时均螺旋远离该极限环；若将时间反向（<math>t \to -\infty</math>），则轨道趋近极限环。

* '''半稳定极限环'''（semi-stable limit cycle）：若极限环在某些方向上吸引邻近轨道，而在另一些方向上排斥邻近轨道，则称其为半稳定极限环。在二维系统中，这种情形常表现为极限环的一侧轨道趋近、另一侧轨道远离。半稳定极限环通常出现在系统参数的临界值附近，例如当一个稳定极限环与一个不稳定极限环合并并消失时所对应的'''鞍结分岔'''（saddle-node bifurcation of periodic orbits）。<ref name="Kuznetsov">Kuznetsov, Yu. A. (2004). ''Elements of Applied Bifurcation Theory'' (3rd ed.). Springer.</ref>

* '''半稳定极限环'''（semi-stable limit cycle）：内外其中一侧轨道趋近极限环，另一侧轨道远离。半稳定极限环通常出现在系统参数的临界值处，对应一个稳定极限环与一个不稳定极限环合并消亡的'''鞍结分岔'''（saddle-node bifurcation of periodic orbits）。<ref name="Kuznetsov">Kuznetsov, Yu. A. (2004). ''Elements of Applied Bifurcation Theory'' (3rd ed.). Springer.</ref>

[[文件:极限环类型.png|thumb|稳定、不稳定与半稳定极限环示意图，引自<ref name="Strogatz" />|600x600像素]]

[[文件:极限环类型.png|thumb|稳定，不稳定与半稳定极限环，引自<ref name="Strogatz" />|600x600像素]]

上述分类提供了对极限环稳定性的直观描述，但在一般维数的动力系统中，稳定性的严格判定通常需要借助'''庞加莱映射'''（Poincaré map）。其基本思想是：在相空间中选取一个与极限环横截相交的 <math>(n-1)</math> 维超曲面（称为'''庞加莱截面'''），记录轨道每次穿越该截面的位置，从而将连续时间系统的动力学转化为一个离散映射的不动点问题。<ref name="Wikipedia_PM">Poincaré map. ''Wikipedia''. https://en.wikipedia.org/wiki/Poincaré_map</ref>

上述分类在直觉上清晰，但要对稳定性给出严格的定量判断，需借助'''庞加莱映射'''（Poincaré map）。其做法是：在相平面内作一条与极限环横截相交的截线，记录轨道每次穿越截线的位置，从而将连续系统的稳定性问题转化为一个离散映射的不动点稳定性问题。<ref name="Wikipedia_PM">Poincaré map. ''Wikipedia''. https://en.wikipedia.org/wiki/Poincaré_map</ref>若该映射在极限环对应不动点处的导数（即'''特征乘子'''，characteristic multiplier）的模小于1，则极限环渐近稳定；若模大于1，则不稳定。值得注意的是，这一稳定性判断与所选截线的具体位置无关。<ref name="Wiggins">Wiggins, S. (2003). ''Introduction to Applied Nonlinear Dynamical Systems and Chaos'' (2nd ed.). Springer.</ref>

该返回映射在对应不动点处的线性化给出一组'''特征乘子'''（characteristic multipliers），亦称'''Floquet乘子'''。若除平凡乘子外所有乘子的模均小于 <math>1</math>，则该极限环为渐近稳定；若存在模大于 <math>1</math> 的乘子，则极限环不稳定。值得注意的是，这一稳定性判据与所选庞加莱截面的具体位置无关。<ref name="Wiggins">Wiggins, S. (2003). ''Introduction to Applied Nonlinear Dynamical Systems and Chaos'' (2nd ed.). Springer.</ref>

以下以一个二维极坐标系统为例，具体说明庞加莱映射的计算过程。考虑系统 <math>\dot{r} = r(1-r^2),\ \dot{\theta} = 1</math>。取正实轴

以极坐标系统 <math>\dot{r} = r(1-r^2),\ \dot{\theta} = 1</math> 为例。取正实轴

<math>\theta = 0</math> 为庞加莱截线，设轨道从 <math>r_0 > 0</math> 出发，经过一整圈（用时 <math>T = 2\pi</math>）后返回截线于 <math>P(r_0)</math>。

<math>\theta = 0</math> 为庞加莱截线，设轨道从 <math>r_0 > 0</math> 出发，经过

一整圈（用时 <math>T = 2\pi</math>）后返回截线于 <math>P(r_0)</math>。

对径向方程显式求解，可得返回映射的解析表达式：<ref name="Strogatz" />

对径向方程显式求解，可得返回映射的解析表达式：<ref name="Strogatz" />

由于 <math>|P'(1)| < 1</math>，确认该极限环渐近稳定，与从径向动力学直接分析的结论一致。

由于 <math>|P'(1)| < 1</math>，确认该极限环渐近稳定，与从径向动力学直接分析的结论一致。

 

以上性质在任意维度下均成立，合在一起揭示了极限环在系统长期行为中的核心作用。对于稳定极限环而言，其吸引域内所有轨道最终都将收敛至该极限环，也就是说无论初始条件如何，系统的长期行为都趋向同一个周期振荡。对应动力系统的语言中，稳定极限环是其吸引域内轨道的'''ω极限集'''，即轨道在 <math>t \to +\infty</math> 时的极限集合，通俗来说，就是这条轨道将“往哪里去”；相应地，不稳定极限环则是对应轨道的'''α极限集'''，即 <math>t \to -\infty</math> 时的极限集合，换言之，这条轨道是“从哪里来”。<ref name="Strogatz" />

以上性质合在一起，揭示了极限环在系统长期行为中的核心作用。对于稳定极限环而言，其吸引域内所有轨道最终都将收敛至该极限环，也就是说无论初始条件如何，系统的长期行为都趋向同一个周期振荡。对应动力系统的语言中，稳定极限环是其吸引域内轨道的'''ω极限集'''，即轨道在 <math>t \to +\infty</math> 时的极限集合，通俗来说，就是这条轨道将“往哪里去”；相应地，不稳定极限环则是对应轨道的'''α极限集'''，即 <math>t \to -\infty</math> 时的极限集合，换言之，这条轨道是“从哪里来”。<ref name="Strogatz" />

因此，极限环描述的不是某一特殊初始条件下的解，而是系统在大范围初始条件下共同趋向的'''渐近行为'''。在生物节律、电子振荡器、化学振荡反应等领域，极限环正是系统自发产生稳定周期行为的数学根源。<ref name="Wikipedia_LC" />

因此，极限环描述的不是某一特殊初始条件下的解，而是系统在大范围初始条件下共同趋向的'''渐近行为'''。在生物节律、电子振荡器、化学振荡反应等领域，极限环正是系统自发产生稳定周期行为的数学根源。<ref name="Wikipedia_LC" />