omega极限集与紧轨道的长期归宿

一个沿圆周不断转动的点不会停在某一点，却有明确的长期归宿：整条圆周。omega极限集记录的是“无论等多久，仍可能再靠近哪里”，因而能描述不停运动的极限。

形式陈述

设 $U\subset\mathbb R^n$ 开， $f\in C^1(U,\mathbb R^n)$ ， $\phi(t,x)$ 是方程 $x'=f(x)$ 的最大局部流。先设初值 $x_0$ 的解对全部 $t\ge0$ 存在。它的 omega极限集 定义为

\omega(x_0)=\{y\in U:\ \text{存在 }t_j\to+\infty, \ \phi(t_j,x_0)\to y\}. \tag{1}

收敛用通常的欧氏距离。等价地，

\omega(x_0)=\bigcap_{T\ge0} \overline{\{\phi(t,x_0):t\ge T\}}^{\,U}. \tag{2}

上标U提醒：闭包与极限点在同一个状态域中取得。式(2)不是整条轨道的闭包；每次增加T，都删去只在早期经过的部分。

紧轨道结论。 若最大解的正向轨道始终包含在某个紧集 $K\subset U$ 内，则它能延拓到全部正时间，而且：

$\omega(x_0)$ 非空、紧且连通
它双向不变：每个 $y\in\omega(x_0)$ 的解对全部实数时间存在，且 $\phi(t,\omega(x_0))=\omega(x_0)$ ， $t\in\mathbb R$
轨道到集合的距离趋零：

\lim_{t\to\infty}d(\phi(t,x_0),\omega(x_0))=0, \qquad d(z,A)=\inf_{a\in A}\|z-a\|. \tag{3}

这里的紧性是“紧集整个放在U内”。轨道坐标有界，却不断靠近U的缺失边界，不满足这个条件。

直觉

把时间窗依次剪去前1、2、3个单位，只保留后面的轨迹，再对每份尾迹取闭包。能留在所有尾迹闭包中的点，正是任意晚时刻还会被逼近的点。圆周运动的每一段弧都会反复出现，因此整个圆周留下；沿直线指数衰减时，只有终点留下。

从尾迹得到非空与紧性

紧集中的解不会在有限时间逃出定义域内所有紧集，局部流的延拓性质先给全正时间存在。记式(2)中的尾迹闭包为 $K_T$ 。它是K中的非空闭集，且随T递减。紧空间的有限交性质给出非空交集；交集又是K的闭子集，所以紧。

式(1)中的聚点显然落在每个 $K_T$ 。反过来，若 $y\in\bigcap_TK_T$ ，对每个整数j选 $t_j\ge j$ ，使 $\|\phi(t_j,x_0)-y\|<1/j$ ，就得到式(1)所需序列。这也证明了两种定义确实相同。

连通性用到了连续时间

区间 $[T,\infty)$ 连通，轨迹连续，故尾迹及其闭包 $K_T$ 都连通。其递减紧交集也连通，可以直接验证最后一步：若交集被两个不交的非空紧集A、B分开，它们有不交开邻域V、W。充分大的 $K_T$ 必包含在 $V\cup W$ 内，否则从任意晚的 $K_T\setminus(V\cup W)$ 中抽取聚点，会在交集外多出一个交集点。可 $K_T$ 同时含A、B，这与其连通性矛盾。

这里A、B确实紧：假设中的分离使它们成为紧交集的相对闭子集。仅有不交集合并不能随意声称两者有正距离。

极限集为何还对负时间不变

取 $y\in\omega(x_0)$ ，令 $\phi(t_j,x_0)\to y$ 。只要某个有限s处于y的局部存在区间内，流对初值连续，且 $t_j+s\to\infty$ ，于是

\phi(s,y)=\lim_{j\to\infty}\phi(t_j+s,x_0)\in\omega(x_0). \tag{4}

s为负时也成立，因为充分大的j仍满足 $t_j+s\ge0$ 。因此从y出发的最大轨道始终留在紧集 $\omega(x_0)\subset U$ 中，正负两端都能继续延拓。式(4)遂对全部s成立。再以−s作逆得到集合等号，而非只有正向包含。

到集合的距离为何必须趋零

若式(3)不成立，存在 $\varepsilon>0$ 和 $t_j\to\infty$ ，使全部对应距离至少为ε。紧性让 $\phi(t_j,x_0)$ 的某个子列收敛到y；定义给 $y\in\omega(x_0)$ ，故这些点到omega集的距离不超过它们到y的距离，趋于零，矛盾。

这个证明没有给统一收敛速度，也没有比较附近其他初值的轨道。

例子与边界

点极限、圆周极限与早期轨迹

对 $x'=-x$ 、 $x_0=1$ ，轨道闭包是 $[0,1]$ ，而 $\omega(1)=\{0\}$ 。点 $1/2$ 只在时刻 $\log2$ 经过一次，无法用趋向无穷的时间序列反复逼近。

对平面旋转 $x'=-y,y'=x$ ，非零初值的omega集是以原点为圆心的整条轨道圆周。任意目标角度都在相差整数个周期的时刻精确出现。此时式(3)甚至从一开始为零，但位置本身不收敛。

紧轨道的omega集若只有一点p，式(3)就给 $\phi(t,x_0)\to p$ ；双向不变性同时给 $f(p)=0$ 。不能让自治系统的唯一长期极限点保持非零速度。

有界仍可能没有域内极限点

取 $U=(0,1)$ 、 $x'=-x$ 和 $x_0=1/2$ 。解全正时间存在且有界，但其唯一实线极限为不在U中的0，所以 $\omega_U(x_0)=\varnothing$ 。若改为 $U=\mathbb R$ ，同一个公式则有omega集 $\{0\}$ 。环境域是结论的一部分。

对 $U=(0,1)$ 、 $x'=1$ ，从1/2出发的最大正向寿命仅为1/2；坐标仍有界，却撞上缺失边界。这里甚至还不满足式(1)开头的全正时间条件。

离散时间不保证连通

在二点空间 $\{0,1\}$ 上反复应用 $F(0)=1,F(1)=0$ 。离散omega集是 $\{0,1\}$ ，紧且不变，却不连通。连续时间证明使用了整个区间的连续像；整数尾集没有这个性质。

一个包含平衡点的整圆极限集

在环域 $1/2<r<3/2$ 上定义平滑系统

r'=(1-r)^3,\qquad \theta'=1-\cos\theta+(1-r)^2. \tag{5}

取 $1/2<r_0<1$ ，记 $s_0=1-r_0>0$ 。径向方程精确给

1-r(t)=\frac{s_0}{\sqrt{1+2s_0^2t}}. \tag{6}

同时

\theta(t)-\theta(0)\ge \int_0^t\frac{s_0^2}{1+2s_0^2u}\,du =\frac12\log(1+2s_0^2t)\longrightarrow\infty.

角度严格增加且没有上界，因此任意固定方向都被无限次经过；结合r趋于1，omega集恰为整个单位圆。但圆上的 $(1,0)$ 是平衡点，其余圆弧按 $\theta'=1-\cos\theta$ 从该点出发又趋向该点，不能在有限时间穿过它。这个omega集不是非平凡周期轨道，也不是单个平衡点。

推论与应用

Poincaré–Bendixson定理继续研究二维的情形：若上述紧omega集没有平衡点，它必须是一条周期轨。式(5)说明“没有平衡点”是一个真实关口，不能省成“轨道有界”。

omega集是一个初值的长期聚点集，本身不承诺邻域稳定。例如 $x'=x$ 的初值0有 $\omega(0)=\{0\}$ ，但任意正的小扰动都会增长。平衡点稳定性及周期轨道稳定性还要控制邻近初值和整个未来时间，量词不同。

对有界轨道做长时间采样，可以提出极限集候选；有限采样既不能排除很晚的逃逸，也不能证明全部尾迹都靠近该候选。可靠的定性证书通常先构造紧正向不变区域，再使用本页和针对具体系统的结构定理。

参考资料

Gerald Teschl，Ordinary Differential Equations and Dynamical Systems，作者公开初稿，AMS，2012，§6.3，印刷pp.192–196，尤其Lemmas6.3、6.5–6.7：紧轨道延拓、极限集、不变性及到极限集的距离。
Harald Hanche-Olsen，The Poincaré–Bendixson theorem，2007-01-16，印刷pp.1–2：紧正向轨道的omega集与包含平衡点的边界。式(5)–(6)另给可直接复算的整圆极限模型。

形式陈述 ​

从尾迹得到非空与紧性 ​

连通性用到了连续时间 ​

极限集为何还对负时间不变 ​

到集合的距离为何必须趋零 ​

点极限、圆周极限与早期轨迹 ​

有界仍可能没有域内极限点 ​

离散时间不保证连通 ​

一个包含平衡点的整圆极限集 ​

反向链接