第 7–8 章 · 极限环与 Poincaré-Bendixson
振荡是自然界最常见的节律:心跳、昼夜、捕食周期、激光脉冲。这一站专讲"自发振荡"的数学对象——极限环——以及证明它存在/不存在的全部手法。
极限环与张弛振荡
极限环 = 相空间中孤立闭合轨道:内外两侧都被它吸引(稳定)或排斥(不稳定)。品种二分:
- 谐和型振荡:近正弦、光滑(van der Pol 小 $\mu$);
- 张弛振荡:慢积累 + 快释放的双时间尺度(van der Pol 大 $\mu$、神经元放电、闪光灯、地热间歇泉)。张弛振荡的画法:慢段沿零线爬行、快段沿垂直轨道跳跃——分段几何法比解方程直观十倍。
存在性证明的标准套路
庞加莱-本迪克森定理的实战用法:构造一个陷 Trap 区(闭合带状区域,向量场只进不出)+ 区域内不动点少于两个 ⟹ 必有极限环。Trap 区的构造手法:流线在某边界向内穿过(内积 < 0)——Liénard 系统($\ddot x + f(x)\dot x + g(x) = 0$)在温和条件下恒有唯一稳定极限环(Liénard 定理),van der Pol 是其特例。
排除闭轨的三板斧
1. Dulac 判据:找到 $g > 0$ 使 $\nabla\cdot(g\mathbf{F})$ 定号 ⟹ 无闭轨; 2. 梯度系统($\dot{\mathbf{x}} = -\nabla V$):势函数单调下降 ⟹ 无振荡; 3. 单调性/比较原理:特定区域流线单调穿越。
分岔进入振荡:两个门
- Hopf 分岔:焦点穿过虚轴(一对复特征值实部变号)——小振幅正弦振荡渐生(激光起振、颤振);超临界/次临界决定振荡是温和生长还是突然爆发加滞后;
- 全局分岔:不动点与鞍点轨道相撞(同宿/异宿)——大振幅振荡突然出现。两个门的入口景象不同,判断工具是线性化的特征值轨迹。
老师的提醒
- 证明极限环存在的通用作文模板:① 构造内外边界组成 Trap 区(各自验证内积符号)② 说明区域内不动点情况 ③ 引用 P-B 定理收束。
- 见到 $\ddot x + f(x)\dot x + g(x)$ 结构直接想 Liénard:负阻尼区 + 正阻尼区 = 自激振荡的配方。
自检
- 张弛振荡与谐和振荡的产生条件与图像差别?
- 写出用庞加莱-本迪克森定理证存在的三步。
- Hopf 分岔前后特征值如何移动?
更深一层:极限环的"存在性证明学"
证明极限环存在的三板斧值得做成工具卡。第一板斧:庞加莱-本迪克森 + Trap 区——内外边界各验证"向量场指向内部"(边界法向内积 < 0),区域不动点数达标,引用定理收尾;第二板斧:Liénard 定理——方程 $\ddot x + f(x)\dot x + g(x) = 0$ 在温和条件下($f$ 偶、$g$ 奇、$g$ 只在原点为零等)恰有一个稳定极限环——van der Pol 是特例,神经膜方程、某些化学振荡直接套用;第三板斧:Hopf 分岔——参数扫过临界值时焦点失稳"长出"小振幅环(超临界温和生长 / 次临界突然爆发并带滞后)。
三板斧的排除法配套:Dulac 判据(找正函数 $g$ 使 $\nabla\cdot(g\mathbf{F})$ 定号 ⟹ 无闭轨)、梯度系统无振荡、发散量($\nabla\cdot\mathbf{F}$ 定号 ⟹ 无闭轨——发散量处处正的系统不可能有周期解)。存在性三板斧 + 排除性三断刀,二维振荡问题的完整武器架。
推导细读:van der Pol 的"能量账本"读法
$\ddot x + \mu(x^2 - 1)\dot x + x = 0$ 的能量账本:阻尼系数 $f(x) = \mu(x^2 - 1)$ 在 $|x| < 1$ 为负(注入能量)、$|x| > 1$ 为正(耗散能量)——极限环是"收支平衡的封闭轨道"。小 $\mu$:近正弦振荡(振幅 $\approx 2$);大 $\mu$:张弛振荡——慢段沿 $\dot x = -x/\mu$ 的零斜线爬行、快段几乎垂直跳跃,周期 $\approx (3 - 2\ln2)\mu$(爬行占绝对大头)。振幅由"跳跃点"($x = \pm2$)决定、周期由"爬行速度"($1/\mu$)决定——波形与节拍的参数解耦是张弛振荡的设计要点(神经元放电、间歇泉、闪光灯同构)。
在真实世界里:Hopf 分岔的"工程登场位"
Hopf 分岔的工程登场清单:气动弹性颤振(机翼扭弯耦合在临界速度下振幅自激生长——颤振速度是适航红线)、激光器(泵浦过阈值从稳态到相干振荡)、化学连续搅拌反应器(温度振荡失控)、电力系统(AVR 增益过高引发低频振荡——衔接 mech-2 电力方向的 PSS 主题)。Hopf 的工程两面性:通信振荡器要"造 Hopf"(起振)、结构系统要"防 Hopf"(颤振裕度)——同一分岔的两个工程人格。
专题深入:极限环的"存在性证明学"完整版
证明极限环存在的三板斧值得做成工具卡。第一板斧:庞加莱-本迪克森 + Trap 区——内外边界各验证"向量场指向内部"(边界法向内积 < 0),区域不动点数达标,引用定理收尾;第二板斧:Liénard 定理——方程 $\ddot x + f(x)\dot x + g(x) = 0$ 在温和条件下($f$ 偶、$g$ 奇、$g$ 只在原点为零等)恰有一个稳定极限环——van der Pol 是特例,神经膜方程、某些化学振荡直接套用;第三板斧:Hopf 分岔——参数扫过临界值时焦点失稳"长出"小振幅环(超临界温和生长 / 次临界突然爆发并带滞后)。
排除法配套:Dulac 判据(找正函数 $g$ 使 $\nabla\cdot(g\mathbf{F})$ 定号 ⟹ 无闭轨)、梯度系统无振荡、发散量($\nabla\cdot\mathbf{F}$ 定号 ⟹ 无闭轨——发散量处处正的系统不可能有周期解)。存在性三板斧 + 排除性三断刀,二维振荡问题的完整武器架。
数学细节展开:van der Pol 的"能量账本"读法完整版
$\ddot x + \mu(x^2 - 1)\dot x + x = 0$ 的能量账本:阻尼系数 $f(x) = \mu(x^2 - 1)$ 在 $|x| < 1$ 为负(注入能量)、$|x| > 1$ 为正(耗散能量)——极限环是"收支平衡的封闭轨道"。小 $\mu$:近正弦振荡(振幅 $\approx 2$);大 $\mu$:张弛振荡——慢段沿 $\dot x = -x/\mu$ 的零斜线爬行、快段几乎垂直跳跃,周期 $\approx (3 - 2\ln2)\mu$(爬行占绝对大头)。振幅由"跳跃点"($x = \pm2$)决定、周期由"爬行速度"($1/\mu$)决定——波形与节拍的参数解耦是张弛振荡的设计要点(神经元放电、间歇泉、闪光灯同构)。
工程案例细节:Hopf 分岔的"工程登场位"工程版
Hopf 分岔的工程登场清单:气动弹性颤振(机翼扭弯耦合在临界速度下振幅自激生长——颤振速度是适航红线)、激光器(泵浦过阈值从稳态到相干振荡)、化学连续搅拌反应器(温度振荡失控)、电力系统(AVR 增益过高引发低频振荡——衔接电力方向的 PSS 主题)。Hopf 的工程两面性:通信振荡器要"造 Hopf"(起振)、结构系统要"防 Hopf"(颤振裕度)——同一分岔的两个工程人格。
例题
van der Pol 方程 $\ddot x + \mu(x^2 - 1)\dot x + x = 0$:解释 $\mu \gg 1$ 时的张弛振荡波形,并估算振幅。
解答
大 $\mu$ 机制:
- $|x| < 1$:阻尼为负 → 位移被慢推离原点(沿 $\dot x = -x/\mu$ 的慢段爬行);
- $|x| > 1$:阻尼为正 → 快速跳回(近似垂直的快段)。
波形 = 慢爬 + 快跳的锯齿状 relaxation:周期 $\approx T = (3 - 2\ln2)\mu \approx 1.61\mu$。 振幅:跳跃发生在 $x \approx \pm2$(零线拐点)→ 振幅 $\approx 2$,与 $\mu$ 无关。
- 张弛振荡无处不在:心跳、闪光灯、间歇泉、神经元放电——"慢积累快释放"的通用电路。