极限集与极限环

极限集刻画了动力系统轨线在 $t \to \pm\infty$ 时的最终归宿。在二维系统中，庞加莱-本尼克松定理给出了极限环（孤立的周期轨道）存在的充分条件。

极限集

$\omega$-极限集

设 $\phi(t, X_0)$ 是 $X' = F(X)$ 以 $X(0) = X_0$ 为初值的解。$X_0$ 的 $\omega$-极限集定义为：

$\omega(X_0) = \{Y \mid \exists t_n \to +\infty, \phi(t_n, X_0) \to Y\}$

即轨线在 $t \to +\infty$ 时"趋向"的所有点的集合。

$\alpha$-极限集

类似地，$t \to -\infty$ 时的极限集称为 $\alpha$-极限集：

$\alpha(X_0) = \{Y \mid \exists t_n \to -\infty, \phi(t_n, X_0) \to Y\}$

极限集的基本性质

• $\omega(X_0)$ 和 $\alpha(X_0)$ 是闭不变集
• 若有界轨线 $\gamma$ 的 $\omega$-极限集退化为单点集 $\{Y\}$，则 $Y$ 必为不动点
• 若 $\omega$-极限集包含一个周期轨道 $\Gamma$，且有界轨线趋近于 $\Gamma$ 但不落在 $\Gamma$ 上，则 $\Gamma$ 是极限环

极限环

定义

极限环（Limit Cycle）是一个孤立的周期轨道——存在邻域，使该邻域内没有其他周期轨道。

极限环是二维以上非线性系统的核心现象之一，对应着自激振荡（如心跳、电路振荡、生态种群周期）。

极限环的类型

类型	定义	附近轨线行为
稳定极限环	$t \to +\infty$ 时附近轨线趋近于它	内外部轨线均螺旋趋近
不稳定极限环	$t \to -\infty$ 时附近轨线趋近于它	内外部轨线均螺旋远离
半稳定极限环	一侧轨线趋近，另一侧远离	混合行为

庞加莱-本尼克松定理

定理（Poincaré-Bendixson）：设 $X' = F(X)$ 是二维平面上的自治系统，$F \in C^1$。若正半轨线 $\gamma^+ = \{\phi(t, X_0) \mid t \geq 0\}$ 有界，且其 $\omega$-极限集 $\omega(X_0)$ 中不含不动点，则 $\omega(X_0)$ 必为一个周期轨道（极限环）。

通俗理解

在二维平面上，一条有界的轨线如果不趋向任何不动点，那么它必然趋向一个周期轨道——不会有更复杂的行为了（在二维平面中不可能出现混沌！）。

重要推论

• 二维平面上的有界轨线只有三种归宿：不动点、周期轨道、或连接不动点的异宿/同宿轨线
• 二维连续自治系统中没有混沌现象——混沌至少需要三维

判定极限环存在的方法

方法一：庞加莱-本尼克松定理的直接应用

构造一个环状区域（annulus），系统在其中"只进不出"且内部不含不动点，则区域内必存在极限环。

方法二：Poincaré 映射

在周期轨道的一个截面上定义 Poincaré 回归映射。回归映射的不动点对应于周期轨道。

方法三：Hopf 分支

当参数变化使不动点从稳定变为不稳定时，可能分支出极限环。

举例：Liénard 方程

Liénard 方程 $x'' + f(x)x' + g(x) = 0$ 在满足一定条件时存在唯一的稳定极限环。经典的 van der Pol 振子即为特例。

van der Pol 振子

$x'' + \mu(x^2 - 1)x' + x = 0 \quad (\mu > 0)$

• $\mu = 0$ 时退化为简谐振子（纯中心，所有轨线是周期轨道）
• $\mu > 0$ 时，存在唯一的稳定极限环——所有非零初值的轨线都趋近于它（自激振荡）

这是一个经典的极限环实例：非线性阻尼 $(x^2-1)$ 使振幅小时"负阻尼"（注入能量），振幅大时"正阻尼"（耗散能量），从而稳定在某个中间振幅。

极限环的意义

极限环为自然界的周期现象提供了数学解释：心跳、神经冲动、化学反应振荡、生态系统的种群周期等，本质上都是非线性系统的稳定极限环。

总结：二维系统的 Poincaré-Bendixson 定理

系统维度	有界轨线的可能行为
一维	只会趋向不动点
二维	不动点、周期轨道、或连接不动点的轨线（无混沌）
三维及以上	不动点、周期轨道、拟周期运动、混沌（Lorenz 吸引子等）