175
个编辑
更改
跳到导航
跳到搜索
第45行：
第45行： + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
无编辑摘要
=='''非线性中心'''==
=='''非线性中心'''==
在非线性系统 <math>\dot{x}=f(x)</math> 的平衡点 <math>x_0</math> 处，线性化后的雅可比矩阵具有一对纯虚数特征值 <math>\pm i\omega</math> (即线性部分为“中心”)，且加入非线性项后，系统在该平衡点领域内仍然存在一簇闭合轨道（周期解），则称该平衡点 <math>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{x}=f(x)</math> 的平衡点 <math>x_0</math> 处，线性化后的雅可比矩阵具有一对纯虚数特征值 <math>\pm i\omega</math> (即线性部分为“中心”)，且加入非线性项后，系统在该平衡点领域内仍然存在一簇闭合轨道（周期解），则称该平衡点 <math>x_0</math> 为非线性中心<ref>Guckenheimer,J.& Holmes,P.(1983).Nonlinear Oscillations,Dynamical Systems,and Bifurcations of Vector Fields.Springer-Verlag,New York.</ref>。
'''与焦点的区分'''：
* '''非线性中心'''：平衡点邻域内所有充分靠近的轨线均为围绕该点的闭合曲线，既不趋近也不远离平衡点。
* '''焦点'''：轨线呈螺旋状——稳定焦点向内收敛，不稳定焦点向外发散。
* '''本质区别'''：中心要求邻域内所有轨线闭合；焦点不存在闭合轨线。
定义明确了目标，但判定非线性中心的存在远比线性情形困难，这构成了动力系统理论中的经典中心问题。
=='''非线性中心判据'''==
=='''非线性中心判据'''==
===经典中心问题===
'''经典中心问题'''（Classical Center Problem）由 Poincaré 正式提出：
> 对于线性部分为中心的非线性平面系统，在什么条件下，原点邻域仍存在一族闭合轨道（即保持非线性中心）？
线性化分析无法区分中心与焦点，必须考察高阶非线性项的累积效应。非线性项可能导致三种结果：稳定焦点、不稳定焦点，或非线性中心。寻找有效的充分判据成为该领域的核心任务。
解决经典中心问题最直接的方法是逐阶计算系统的 Lyapunov 量，通过其消失条件判定中心是否存在。
===Lyapunov量与焦点量===
====定义====
考虑平面系统
:<math>\left\{ \begin{array}{l} \dot{x} = -y + P(x,y) \\[6pt] \dot{y} = x + Q(x,y) \end{array} \right.</math>
其中 <math>P(x,y), Q(x,y)</math> 为高阶非线性项。通过形式级数法构造
:<math>F(x,y) = x^2 + y^2 + F_3(x,y) + F_4(x,y) + \cdots</math>
使得沿系统轨线
:<math>\frac{dF}{dt} = L_1(x^2+y^2)^2 + L_2(x^2+y^2)^3 + L_3(x^2+y^2)^4 + \cdots</math>
系数 <math>L_1, L_2, L_3, \ldots</math> 称为'''Lyapunov量'''（Lyapunov quantities）或'''焦点量'''（focal values）。
====判定规则====
* 若所有 <math>L_k = 0</math>（<<math>k = 1, 2, 3, \ldots</math>），则原点为'''非线性中心'''。
* 若第一个非零量为 <math>L_k \neq 0</math>，则原点为'''k阶细焦点'''（fine focus of order k），其稳定性由 <math>L_k</math> 符号决定：
** <math>L_k < 0</math>：k阶稳定焦点；
** <math>L_k > 0</math>：k阶不稳定焦点。
====说明====
Lyapunov量的计算随阶数指数增长，通常只能计算前几项。对于具体系统，逐阶验证所有 <math>L_k=0</math> 往往不现实，因此需要寻找更高效的充分条件。
幸运的是，对于两类重要的动力系统——保守系统和可逆系统——无需逐阶计算 Lyapunov 量，即可直接判定非线性中心的存在。
===保守系统中的非线性中心===
===保守系统中的非线性中心===