动力系统入门：状态、轨道与相空间

Views: --

动力系统研究的不是某一个时刻的答案，而是状态随时间演化的规律。一个系统可以是钟摆、种群数量、控制器状态，也可以是神经元活动或天气模型；只要能说明“现在的状态怎样决定下一刻”，就能放进动力系统的语言里。

状态与相空间

状态是预测未来所需的最少信息。例如只知道钟摆的角度还不够，因为同一角度下钟摆可能向左也可能向右；必须同时知道角度 θ\theta 和角速度 ω\omega。于是状态向量是

x=(θ,ω).\boldsymbol x=(\theta,\omega).

所有可能状态组成的空间叫相空间。一维种群模型的相空间是一条线，钟摆的相空间是二维平面或圆柱，洛伦兹系统的相空间是三维空间。

相空间中的一个点代表“某一时刻的完整状态”；状态随时间移动留下的曲线叫轨道或轨迹。

连续时间：流

连续系统通常写成

x˙=f(x,t).\dot{\boldsymbol x}=\boldsymbol f(\boldsymbol x,t).

若右端不显含时间，称为自治系统：

x˙=f(x).\dot{\boldsymbol x}=\boldsymbol f(\boldsymbol x).

给定初值 x(0)=x0\boldsymbol x(0)=\boldsymbol x_0，解记为

x(t)=Φt(x0).\boldsymbol x(t)=\Phi_t(\boldsymbol x_0).

Φt\Phi_t 称为流。自治系统满足半群性质

Φt+s=Φt∘Φs,\Phi_{t+s}=\Phi_t\circ\Phi_s,

意思是“先演化 ss，再演化 tt”等价于“一次演化 t+st+s”。

离散时间：映射

离散系统写成

xn+1=F(xn).\boldsymbol x_{n+1}=\boldsymbol F(\boldsymbol x_n).

每一步把当前状态映到下一个状态。连续系统关心向量场与微分方程，离散系统关心函数迭代。两者概念相似，但稳定判据不同：

  • 连续一维系统 x˙=f(x)\dot x=f(x) 在双曲不动点处看 f′(x∗)f'(x^*) 的正负；
  • 离散一维映射 xn+1=F(xn)x_{n+1}=F(x_n) 看 ∣F′(x∗)∣|F'(x^*)| 是否小于 11。

不动点、周期轨道与吸引子

不动点

连续系统的不动点满足

f(x∗)=0,\boldsymbol f(\boldsymbol x^*)=0,

离散系统的不动点满足

F(x∗)=x∗.\boldsymbol F(\boldsymbol x^*)=\boldsymbol x^*.

它代表状态永远不变。稳定不动点像碗底的小球，受到小扰动后仍回到附近；不稳定不动点像山顶的小球。

周期轨道

连续系统若存在 T>0T>0 使

x(t+T)=x(t),\boldsymbol x(t+T)=\boldsymbol x(t),

就有周期轨道。离散系统的 kk 周期点满足 Fk(x)=xF^k(x)=x，但对所有 1≤j<k1\le j<k 都有 Fj(x)≠xF^j(x)\ne x。

吸引子

吸引子是长期吸引一批初值的封闭不变集合。它可能是稳定不动点、稳定极限环，也可能是洛伦兹奇怪吸引子。吸引子不是一条偶然画出来的轨迹，而是长期动力学的组织结构。

为什么要做定性分析

少数微分方程能写出初等函数解，复杂非线性系统通常不能。但我们仍能回答许多更重要的问题：

  • 不动点有几个，稳定吗？
  • 所有初值最终会去哪？
  • 是否存在周期振荡？
  • 参数改变时，会不会突然产生新状态？
  • 是否对初值极端敏感？

这种不依赖闭式解、关注几何结构和长期行为的方法，就是定性分析。

三种常见“看法”

时间序列

画 x(t)x(t) 对 tt。它适合看振幅、周期和暂态，但多个变量时不容易看清状态之间的关系。

相图

画状态变量之间的轨迹，例如 (x(t),y(t))(x(t),y(t))。时间不直接出现在坐标轴上，箭头表示演化方向。相图能同时展示多个初值的全局结构。

分岔图

横轴是参数，纵轴是长期状态或不动点位置，用实线、虚线区分稳定性。它回答“系统结构何时发生质变”。

确定性不等于可预测

洛伦兹系统完全由确定方程控制，但混沌轨道对初值敏感：相差极小的两个初值会指数分离。因此：

  • 确定性：未来由当前状态和方程唯一决定；
  • 长期可预测性：实际测量精度是否足以支撑长期预测。

混沌说明两者不是一回事。

本课程的学习主线

  1. 在一维流中学会相线、稳定性和分岔；
  2. 在二维线性系统中学会用特征值分类相图；
  3. 在二维非线性系统中使用零增长线、线性化和几何结构；
  4. 用 Dulac、Lyapunov 与 Poincaré–Bendixson 讨论闭轨；
  5. 在离散映射中理解倍周期与混沌；
  6. 用洛伦兹系统和分形理解奇怪吸引子。

后续每一篇都在填充这张地图。

考试要点

  • 能区分状态空间、参数空间和物理空间。
  • 连续系统不动点解 f=0\boldsymbol f=0；离散系统不动点解 F(x)=xF(x)=x。
  • 相图中的一条轨迹对应一个初值，轨迹在满足唯一性条件时不能相交。
  • 定性分析的结论是长期结构，不等于求出显式时间解。

评论