洛伦兹系统是三维自治连续系统产生混沌的经典例子:
⎩⎨⎧x˙=σ(y−x),y˙=rx−y−xz,z˙=xy−βz,σ,r,β>0.
在原始对流模型里,x 表示对流强度,y 与水平温差有关,z 表示垂直温度分布偏离。
不动点
令三式为零。第一式给 y=x,第三式给 z=x2/β。代入第二式:
x(r−1−βx2)=0.
所以原点
P0=(0,0,0)
始终存在;当 r>1 时还有
P±=(±β(r−1),±β(r−1),r−1).
原点稳定性与叉式分岔
雅可比矩阵
J=−σr−zyσ−1x0−x−β.
在原点,−β 是一个特征值,另外两个满足
λ2+(σ+1)λ+σ(1−r)=0.
- 0<r<1:所有特征值实部为负,原点稳定;
- r>1:常数项为负,出现正特征值,原点成为鞍点。
在 r=1,两个对称不动点从原点产生,构成叉式分岔。
非零不动点与 Hopf 边界
在 P± 处,特征多项式为
λ3+a1λ2+a2λ+a3=0,
其中
a1=σ+β+1,a2=β(σ+r),a3=2σβ(r−1).
Routh–Hurwitz 条件要求 a1,a2,a3>0 且 a1a2>a3。边界给出
rH=σ−β−1σ(σ+β+3),
前提是 σ>β+1。经典参数
σ=10,β=38
给出 rH≈24.74。
对称性
变换
(x,y,z)↦(−x,−y,z)
保持方程不变。因而 P+、P− 成对出现,轨道若在一个“翅膀”附近绕行,也有一个镜像轨道在另一个翅膀附近。
耗散性
向量场散度是常数:
∇⋅f=−σ−1−β<0.
随流运动的小体积满足
V(t)=V(0)e−(σ+1+β)t.
所以三维体积被持续压缩。耗散并不意味着轨道收敛到一个点;拉伸与折叠可在整体收缩中形成分形吸引子。
为什么会有“蝴蝶”
轨道在某个非零不动点附近旋转并被逐渐甩出,随后穿过中央区域,落到另一个对称区域,再重复类似过程。每次停留时间对初值极敏感,产生看似随机的左右切换。
这种机制同时具备:
- 局部拉伸:邻近轨道分离;
- 全局折叠:轨道被带回有界区域;
- 体积收缩:长期集合维数低于三维。
混沌的三个常用特征
- 对初值敏感,最大 Lyapunov 指数为正;
- 长期有界但不收敛到周期轨道;
- 吸引子具有分形几何结构。
数值图“看起来乱”不是严格判据。最大 Lyapunov 指数必须用变分方程和周期归一化等可靠算法估计。
经典参数的时间线要谨慎
对 σ=10,β=8/3:
- r<1:原点稳定;
- r=1:叉式分岔;
- 1<r<rH:两个非零平衡点局部稳定,但某些参数段可有复杂暂态;
- r=rH:非零平衡点经亚临界 Hopf 失稳;
- r=28:经典混沌吸引子。
不要把整个 1<r<24.74 简单写成“周期”或“暂态混沌”,实际全局结构更细。
考试要点
- 三个不动点必须会从方程直接推导。
- 叉式临界值固定为 r=1;Hopf 临界值依赖 σ,β。
- 散度负证明体积收缩,不单独证明混沌。
- 对称性解释两翼,但不保证每条轨道按固定节奏切换。