二维分岔与 Hopf 分岔

二维系统的分岔不仅能产生、消灭不动点，还能产生周期轨道。最重要的新机制是 Hopf 分岔：一对共轭特征值穿过虚轴，平衡点与小振幅振荡之间发生转换。

零特征值分岔

鞍结、跨临界、叉式分岔都可嵌入二维系统，例如

$$\dot x=\mu-x^2,\qquad \dot y=-y.$$

$y$ 方向始终稳定，分岔完全发生在 $x$ 方向。临界点雅可比有一个零特征值，另一个特征值实部非零。

局部上，中心流形把问题约化到一维正规形，所以一维分岔的分类仍适用。

Hopf 分岔的必要线性条件

设不动点处雅可比特征值为

$$\lambda_{1,2}(\mu)=\alpha(\mu)\pm i\omega(\mu).$$

Hopf 候选点 $\mu_c$ 满足

$$\alpha(\mu_c)=0,\qquad \omega(\mu_c)\ne0,$$

并要求横截条件

$$\left.\frac{d\alpha}{d\mu}\right|_{\mu_c}\ne0.$$

对二维矩阵，等价地常检查

$$\tau(\mu_c)=0,\qquad \Delta(\mu_c)>0,$$

以及迹随参数真正穿过零。

这只是必要线性信息；分岔是超临界还是亚临界，要看非线性项。

Hopf 正规形

极坐标正规形可写成

$$\dot r=\mu r-ar^3+O(r^5),\qquad \dot\theta=\omega+O(r^2).$$

超临界：$a>0$

• $\mu<0$：原点稳定；
• $\mu>0$：原点失稳，同时产生半径 $r\approx\sqrt{\mu/a}$ 的稳定极限环。

振幅从零连续长出，所以通常是“软”起振。

亚临界：$a<0$

原点稳定的一侧存在不稳定小极限环。越过临界点后原点失稳，轨道可能直接跳到远处吸引子，常伴随滞后和突跳。

洛伦兹系统中的 Hopf

非零不动点的特征方程是

$$\lambda^3+(\sigma+\beta+1)\lambda^2 +\beta(\sigma+r)\lambda +2\sigma\beta(r-1)=0.$$

令 $\lambda=i\omega$，分离实虚部可得

$$r_H=\frac{\sigma(\sigma+\beta+3)}{\sigma-\beta-1}, \qquad \sigma>\beta+1.$$

经典参数下 $r_H\approx24.74$，对应亚临界 Hopf。重要的是：Hopf 只描述非零平衡点的局部失稳，不等价于“这一刻才首次出现混沌”。洛伦兹系统还包含同宿结构和暂态混沌。

全局分岔

局部分岔只看不动点附近，全局分岔涉及整个轨道结构。

同宿分岔

鞍点的非稳定流形离开后又回到同一鞍点，形成同宿轨。参数变化会打破连接，可能产生或消灭周期轨道与复杂不变集。

异宿分岔

一条轨道连接两个不同鞍点。这样的连接通常对参数很敏感，小扰动就会改变相图拓扑。

极限环的鞍结

一条稳定极限环与一条不稳定极限环碰撞并消失。仅观察平衡点雅可比无法发现它。

如何用相图判断

1. 跟踪不动点位置与雅可比特征值；
2. 标出零特征值或纯虚特征值的候选参数；
3. 比较候选点两侧相图；
4. 检查是否出现小周期轨道；
5. 若变化涉及鞍点流形连接，考虑全局分岔。

考试要点

• “一对纯虚特征值”只是 Hopf 候选，还需穿越条件和非线性非退化条件。
• 超临界/亚临界由产生的极限环稳定性决定，不由“参数变大还是变小”决定。
• $r=1$ 的洛伦兹叉式分岔与 $r_H$ 的 Hopf 分岔必须分清。
• 全局分岔不能只靠局部雅可比判断。