第 5–6 章 · 二维系统与相平面

升到二维，世界一下子丰富了：不动点有了品种（结、鞍、焦点、中心）、轨道有了缠绕方式、封闭轨道（振荡）登场。线性化矩阵的特征值是分类的唯一钥匙。

线性系统的品种表

$\dot{\mathbf{x}} = A\mathbf{x}$，特征值 $\lambda_{1,2}$ 决定一切：

哈特曼-格罗布曼定理：非线性系统在双曲不动点（特征值实部非零）附近与线性化拓扑等价——线性化在"品种"层面是可靠的。

• 实数同号：结点（$\lambda_1 \ne \lambda_2$ 快慢两个方向）；实数异号：鞍点（一进一出）；
• 复数：焦点（$\Re\lambda \ne 0$，螺旋进/出）、中心（$\Re\lambda = 0$，封闭椭圆族）；
• 判据速记：$\det A < 0$ 鞍；$\tau^2 > 4\Delta$ 结；$\tau^2 < 4\Delta$ 焦/中心（$\tau$ 为迹）。

保守系统与哈密顿结构

无阻尼机械系统：能量守恒把轨道锁在等能线上。中心 + 鞍的相图（单摆：底部中心、顶部鞍）是标配图像；分界线（ separatrix，过鞍点的轨道）把"振荡区"与"旋转区"分开——分界线是相空间里的国境线。结构上保守系统是"非通有"的：加一点阻尼中心就变焦点。

极限环的准入与排除

二维系统的第二个明星：孤立的闭合轨道（极限环）。三件法律工具：

生态模型（捕食-被捕食）与化学振荡（BZ 反应）是极限环的标准 habitat。

• 庞加莱-本迪克森定理：有界区域内不动点有限 ⟹ $\omega$-极限集是不动点或极限环——"二维不可能混沌"的封印；
• Dulac 判据（找绿卡排除法：$\nabla\cdot(gF)$ 保号 ⟹ 无闭轨）；
• 无穷远分析（Poincaré 变换）排除跑到无穷的解。

老师的提醒

• 拿到二维系统的标准流水线：找不动点 → 逐点算雅可比、定品种 → 画分界线 → 用庞加莱-本迪克森或 Dulac 收尾。考试与科研同款。
• 单摆相图要能手画：中心、鞍、分界线、振荡/旋转两区——它是"保守系统相图"的通用模板。

自检

• 线性系统不动点的完整品种表（含判据）？
• 为什么庞加莱-本迪克森定理封印了二维混沌？
• Lotka-Volterra 为什么结构不稳定？

更深一层：二维相平面的"品种手册"与"排障指南"

二维线性系统的品种手册（$\tau = \mathrm{tr}\,A$、$\Delta = \det A$ 平面）是快速诊断图：$\Delta < 0$ 鞍点；$\Delta > 0, \tau^2 > 4\Delta$ 结点（$\tau < 0$ 稳）；$\tau^2 < 4\Delta$ 焦点/中心（$\tau$ 定进出）；$\tau = 0, \Delta > 0$ 中心。哈特曼-格罗布曼定理为手册背书：双曲不动点（特征值实部非零）附近非线性系统与线性化拓扑等价——线性化"认证"了品种，轨迹的精细形状仍需非线性修正。

保守系统的例外身份要单独标注：哈密顿系统（无阻尼单摆）的中心在阻尼下一律变焦点——保守系统的中心是"非通有"的脆弱结构。这解释了为什么真实世界的振荡几乎都是极限环（有能量收支平衡）而非中心（理想能量守恒）。

推导细读：庞加莱-本迪克森定理的"封印逻辑"

P-B 定理：平面有界区域内不动点有限 ⟹ $\omega$-极限集只能是不动点或极限环。它封印二维混沌的逻辑值得拆解：混沌需要"轨道永不相交 + 永不收敛 + 有界"三者并存——平面上轨道不相交 ⟹ 只能绕圈或进点；三维允许轨道"跨层"穿越（拉伸折叠），混沌的门才打开。这也预告了混沌的最低维度门槛：自治连续流需要 3 维，映射需要 1 维半（非可逆）——Lorenz（3 维）与逻辑斯蒂（1 维映射）恰好卡在门槛上。

Trap 区构造是 P-B 定理的实战用法：构造闭合带状区域、验证向量场处处向内（边界内积 < 0）、区域不动点少于两个 ⟹ 必有极限环。"构造 Trap 区"是证明振荡存在的标准作文——van der Pol 的经典证明就是范本。

在真实世界里：Lotka-Volterra 的"结构脆弱性"教学

捕食-被捕食 LV 模型（封闭轨道族）的教学价值在于它的脆弱：加入任何一点真实效应（密度制约的自限、功能性反应的饱和）中心即破坏——替换为 Rosenzweig-MacArthur（饱和反应）后出现极限环、甚至"富集悖论"（食物增多反而灭绝）。LV 是"结构不稳定的理想花园"：它教会我们区分"数学上有趣的解"与"结构稳定、现实中能存活"的解——结构稳定性是非线性科学对模型提出的额外体检项。

专题深入：二维相平面的"品种手册"与"排障指南"完整版

二维线性系统的品种手册（$\tau = \mathrm{tr}\,A$、$\Delta = \det A$ 平面）是快速诊断图：$\Delta < 0$ 鞍点；$\Delta > 0, \tau^2 > 4\Delta$ 结点（$\tau < 0$ 稳）；$\tau^2 < 4\Delta$ 焦点/中心（$\tau$ 定进出）；$\tau = 0, \Delta > 0$ 中心。哈特曼-格罗布曼定理为手册背书：双曲不动点（特征值实部非零）附近非线性系统与线性化拓扑等价——线性化"认证"了品种，轨迹的精细形状仍需非线性修正。

保守系统的例外身份要单独标注：哈密顿系统（无阻尼单摆）的中心在阻尼下一律变焦点——保守系统的中心是"非通有"的脆弱结构。这解释了为什么真实世界的振荡几乎都是极限环（有能量收支平衡）而非中心（理想能量守恒）。

数学细节展开：庞加莱-本迪克森定理的"封印逻辑"完整版

P-B 定理：平面有界区域内不动点有限 ⟹ $\omega$-极限集只能是不动点或极限环。它封印二维混沌的逻辑值得拆解：混沌需要"轨道永不相交 + 永不收敛 + 有界"三者并存——平面上轨道不相交 ⟹ 只能绕圈或进点；三维允许轨道"跨层"穿越（拉伸折叠），混沌的门才打开。这也预告了混沌的最低维度门槛：自治连续流需要 3 维，映射需要 1 维半（非可逆）——Lorenz（3 维）与逻辑斯蒂（1 维映射）恰好卡在门槛上。

Trap 区构造是 P-B 定理的实战用法：构造闭合带状区域、验证向量场处处向内（边界内积 < 0）、区域不动点少于两个 ⟹ 必有极限环。"构造 Trap 区"是证明振荡存在的标准作文——van der Pol 的经典证明就是范本。

工程案例细节：Lotka-Volterra 的"结构脆弱性"教学（工程版）

捕食-被捕食 LV 模型（封闭轨道族）的教学价值在于它的脆弱：加入任何一点真实效应（密度制约的自限、功能性反应的饱和）中心即破坏——替换为 Rosenzweig-MacArthur（饱和反应）后出现极限环、甚至"富集悖论"（食物增多反而灭绝）。LV 是"结构不稳定的理想花园"：它教会我们区分"数学上有趣的解"与"结构稳定、现实中能存活"的解——结构稳定性是非线性科学对模型提出的额外体检项。