更改

== '''非线性系统的线性化失效''' ==

== '''非线性系统的线性化失效''' ==

对于一般的非线性系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math>，不动点 <math>\mathbf{x}^*</math> 附近的局部动力学行为通常可通过线性化系统来近似判定。根据'''哈特曼-格罗伯曼定理'''（'''Hartman-Grobman Theorem'''），若不动点是'''双曲不动点'''（即雅可比矩阵的所有特征值实部均不为零），则非线性系统与其线性化系统在不动点附近是局部拓扑等价的，线性化分析能够正确反映系统的定性行为（如稳定性）。

对于一般的非线性系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math>，不动点 <math>\mathbf{x}^*</math> 附近的局部动力学行为通常可通过线性化系统来近似判定。根据'''[[哈特曼-格罗伯曼定理]]'''（'''Hartman-Grobman Theorem'''），若不动点是'''[[双曲不动点]]'''（即雅可比矩阵的所有特征值实部均不为零），则非线性系统与其线性化系统在不动点附近是局部拓扑等价的，线性化分析能够正确反映系统的定性行为（如稳定性）。

然而，当不动点为'''非双曲不动点'''时（即存在实部为零的特征值），该定理不再适用。此时，高阶非线性项主导了不动点邻域内的动力学行为，微小的扰动即可能导致线性化预测的彻底失效。以下三类典型的非双曲边界情形极易发生定性改变：

然而，当不动点为'''[[非双曲不动点]]'''时（即存在实部为零的特征值），该定理不再适用。此时，高阶非线性项主导了不动点邻域内的动力学行为，微小的扰动即可能导致线性化预测的彻底失效。以下三类典型的非双曲边界情形极易发生定性改变：

[[文件:不动点的类型与稳定性.png|缩略图|图1：不动点的类型与稳定性|right|360px]]

[[文件:不动点的类型与稳定性.png|缩略图|图1：不动点的类型与稳定性|right|360px]]

当雅可比矩阵存在零特征值时，线性化系统预测存在一整条直线（或平面）的不动点。这类情形称为'''非孤立不动点'''（'''Non-Isolated Fixed Point'''）。然而，任意微小的非线性扰动通常会使这一连续统塌缩为若干个孤立的不动点，或完全消失。这类情形对应于系统处于分岔的临界状态，其动力学行为由高阶非线性项主导。

当雅可比矩阵存在零特征值时，线性化系统预测存在一整条直线（或平面）的不动点。这类情形称为'''非孤立不动点'''（'''Non-Isolated Fixed Point'''）。然而，任意微小的非线性扰动通常会使这一连续统塌缩为若干个孤立的不动点，或完全消失。这类情形对应于系统处于分岔的临界状态，其动力学行为由高阶非线性项主导。

综上，对于特征值为纯虚数的'''中心'''情形，线性化分析无法给出可靠结论。为判定非线性系统的中心稳定性，需要借助系统的附加结构性质。两类重要的系统——'''保守系统'''与'''可逆系统'''——提供了判定非线性中心的有力工具。这两种方法分别从能量守恒的几何性质和时间反演的对称性出发，确立了非线性中心存在的充分条件。

综上，对于特征值为纯虚数的'''中心'''情形，线性化分析无法给出可靠结论。为判定非线性系统的中心稳定性，需要借助系统的附加结构性质。两类重要的系统——'''[[保守系统]]'''与'''[[可逆系统]]'''——提供了判定非线性中心的有力工具。这两种方法分别从能量守恒的几何性质和时间反演的对称性出发，确立了非线性中心存在的充分条件。

== '''保守系统中的非线性中心''' ==

== '''保守系统中的非线性中心''' ==