175
个编辑
更改
无编辑摘要
在前述的线性化失效与临界扰动背景下，要使系统在非线性范畴内维持循环运动，其不动点必须满足更严格的条件。在非线性系统 <math>\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})</math> 的平衡点 <math>\mathbf{x}_0</math> 处，若线性化后的雅可比矩阵具有一对纯虚数特征值 <math>\pm i\omega</math>（即线性部分为“中心”），且加入高阶非线性项后，系统在该平衡点邻域内仍然存在一簇闭合轨道（周期解），则称该平衡点 <math>\mathbf{x}_0</math> 为'''非线性中心'''<ref>Guckenheimer, J., & Holmes, P. (1983). Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, New York.</ref>。
在前述的线性化失效与临界扰动背景下，要使系统在非线性范畴内维持循环运动，其不动点必须满足更严格的条件。在非线性系统 <math>\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})</math> 的平衡点 <math>\mathbf{x}_0</math> 处，若线性化后的雅可比矩阵具有一对纯虚数特征值 <math>\pm i\omega</math>（即线性部分为“中心”），且加入高阶非线性项后，系统在该平衡点邻域内仍然存在一簇闭合轨道（周期解），则称该平衡点 <math>\mathbf{x}_0</math> 为'''非线性中心'''<ref>Guckenheimer, J., & Holmes, P. (1983). Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, New York.</ref>。
为了直观展示这一解析定义的物理与生物学意义，我们可以引入经典的 '''Lotka-Volterra 捕食者-猎物模型'''。该模型用于描述生态系统中猎物 <math>x(t)</math> 与捕食者 <math>y(t)</math> 的相互作用，其非量纲化方程为<ref>Murray, J. D. (2002). Mathematical biology: I. An introduction (Vol. 17). Springer Science & Business Media.</ref>：
[[文件:Lotka-Volterra 相图.png|缩略图|右|图3：Lotka-Volterra 模型的非线性中心。相图显示猎物（x）与捕食者（y）数量围绕平衡点 (1,1) 呈周期性循环运动。|320px]]
:<math>\left\{ \begin{array}{l} \dot{x} = x(1-y) \\[6pt] \dot{y} = y(x-1) \end{array} \right.</math>
该系统在正象限内存在平衡点 <math>(1, 1)</math>，其雅可比矩阵特征值为 <math>\lambda = \pm i</math>，满足线性中心的前提条件。进一步分析可知，该系统存在严格守恒的能量函数 <math>H(x, y) = (x - \ln x) + (y - \ln y)</math>。由于沿系统轨线 <math>\frac{dH}{dt} \equiv 0</math>，且 <math>H(x,y)</math> 在 <math>(1,1)</math> 处达到全局极小值，高阶非线性项无法破坏轨线的闭合性。因此，该平衡点被确认为一个严格的'''非线性中心'''。在相图上，这表现为捕食者与猎物的种群数量不会趋于静态，而是围绕平衡点呈现出持续的、由初始状态决定的周期性闭轨波动。
除上述解析定义与直观模型外，非线性中心在动力系统中还具备以下几个核心的几何与拓扑特征：
=== 几何连续性与极限环的区别 ===
=== 几何连续性与极限环的区别 ===