更改

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

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

稳定性的严格定量判断需借助'''[[庞加莱映射]]'''（Poincaré map）：在相空间中选取一个与极限环横截相交的 <math>(n-1)</math> 维[[庞加莱截面]]，记录轨道每次穿越截面的位置，从而将连续系统的稳定性问题转化为离散映射的不动点问题。该返回映射在不动点处的线性化给出一组'''[[Floquet乘子]]'''（characteristic multipliers）：若除平凡乘子外所有乘子的模均小于 1，则极限环渐近稳定；若存在模大于 1 的乘子，则不稳定。这一判断与所选截面的具体位置无关。<ref name="Wiggins">Wiggins, S. (2003). ''Introduction to Applied Nonlinear Dynamical Systems and Chaos'' (2nd ed.). Springer.</ref>

稳定性的严格定量判断需借助'''[[庞加莱映射]]'''（Poincaré map）：在相空间中选取一个与极限环横截相交的 <math>(n-1)</math> 维[[庞加莱截面]]，记录轨道每次穿越截面的位置，从而将连续系统的稳定性问题转化为离散映射的[[不动点]]问题。该返回映射在[[不动点]]处的线性化给出一组'''[[Floquet乘子]]'''（characteristic multipliers）：若除平凡乘子外所有乘子的模均小于 1，则极限环[[渐近稳定]]；若存在模大于 1 的乘子，则不稳定。这一判断与所选截面的具体位置无关。<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>\theta = 0</math> 为庞加莱截线，设轨道从 <math>r_0 > 0</math> 出发，经过一整圈（用时 <math>T = 2\pi</math>）后返回截线于 <math>P(r_0)</math>。对径向方程显式求解，返回映射的解析表达式为：<ref name="Strogatz" />

以二维极坐标系统 <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>。对径向方程显式求解，返回映射的解析表达式为：<ref name="Strogatz" />

<math display="block">P(r_0) = \frac{1}{\sqrt{1 + e^{-4\pi}(r_0^{-2} - 1)}}</math>

<math display="block">P(r_0) = \frac{1}{\sqrt{1 + e^{-4\pi}(r_0^{-2} - 1)}}</math>

不动点满足 <math>P(r_0) = r_0</math>，解得 <math>r_0 = 1</math>，对应单位圆极限环。在不动点处的特征乘子为 <math>P'(1) = e^{-4\pi} \approx 3.5 \times 10^{-6}</math>，由于其模小于 1，确认该极限环渐近稳定。

不动点满足 <math>P(r_0) = r_0</math>，解得 <math>r_0 = 1</math>，对应[[单位圆]]极限环。在不动点处的特征乘子为 <math>P'(1) = e^{-4\pi} \approx 3.5 \times 10^{-6}</math>，由于其模小于 1，确认该极限环[[渐近稳定]]。

以上性质在任意维度下均成立，合在一起揭示了极限环在系统长期行为中的核心作用：稳定极限环是其吸引域内轨道的 '''[[ω极限集]]'''，不稳定极限环则是对应轨道的 '''[[α极限集]]'''。因此，极限环描述的不是某一特殊初始条件下的解，而是系统在大范围初始条件下共同趋向的渐近行为。<ref name="Strogatz" />

以上性质在任意维度下均成立，合在一起揭示了极限环在系统长期行为中的核心作用：稳定极限环是其吸引域内轨道的 '''[[ω极限集]]'''，不稳定极限环则是对应轨道的 '''[[α极限集]]'''。因此，极限环描述的不是某一特殊初始条件下的解，而是系统在大范围初始条件下共同趋向的渐近行为。<ref name="Strogatz" />