更改

=='''非线性中心'''==

=='''非线性中心'''==

在非线性系统<math>dot{x}=f(x)</math>的平衡点处，线性化后的雅可比矩阵具有一对纯虚数特征值<math>\pm i\omega</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>(即线性部分为“中心”)，且加入非线性项后，系统在该平衡点领域内仍然存在一簇闭合轨道（周期解）<ref>Guckenheimer,J.& Holmes,P.(1983).Nonlinear Oscillations,Dynamical Systems,and Bifurcations of Vector Fields.Springer-Verlag,New York.</ref>。则称该平衡点<math>x_0</math>为非线性中心。

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

=='''非线性中心判据'''==

=== 定义 ===

 

==== 定义 ====

在经典力学与非线性动力学中，若一个二阶系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math>（其中 <math>\mathbf{x} \in \mathbb{R}^2</math>）存在一个光滑的实值函数 <math>E(\mathbf{x})</math>，使得沿任意轨迹 <math>\mathbf{x}(t)</math> 均有 <math>\frac{dE}{dt} = 0</math>，且 <math>E(\mathbf{x})</math> 在任何开集上不为常数，<math>E(\mathbf{x})</math> 称为'''守恒量'''，称具有该守恒量的系统为'''保守系统'''<ref>STROGATZ S H. 非线性动力学与混沌[M]. 孙梅, 汪小帆, 译. 2版. 北京: 机械工业出版社, 2017</ref>。

在经典力学与非线性动力学中，若一个二阶系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math>（其中 <math>\mathbf{x} \in \mathbb{R}^2</math>）存在一个光滑的实值函数 <math>E(\mathbf{x})</math>，使得沿任意轨迹 <math>\mathbf{x}(t)</math> 均有 <math>\frac{dE}{dt} = 0</math>，且 <math>E(\mathbf{x})</math> 在任何开集上不为常数，<math>E(\mathbf{x})</math> 称为'''守恒量'''，称具有该守恒量的系统为'''保守系统'''<ref>STROGATZ S H. 非线性动力学与混沌[M]. 孙梅, 汪小帆, 译. 2版. 北京: 机械工业出版社, 2017</ref>。

=== 定理（保守系统的非线性中心）===

==== 定理（保守系统的非线性中心）====

考虑系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math>，其中 <math>\mathbf{x} = (x, y) \in \mathbb{R}^2</math>，<math>\mathbf{f}</math> 是连续可微的。假设存在一个守恒量 <math>E(\mathbf{x})</math>，且 <math>\mathbf{x}^*</math> 是一个'''孤立不动点'''（即在其某个邻域内没有其他不动点）。若 <math>\mathbf{x}^*</math> 是 <math>E(\mathbf{x})</math> 的一个'''局部极小值'''（或局部极大值），则所有充分接近 <math>\mathbf{x}^*</math> 的轨迹都是闭合的，即 <math>\mathbf{x}^*</math> 是一个'''非线性中心'''。

考虑系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math>，其中 <math>\mathbf{x} = (x, y) \in \mathbb{R}^2</math>，<math>\mathbf{f}</math> 是连续可微的。假设存在一个守恒量 <math>E(\mathbf{x})</math>，且 <math>\mathbf{x}^*</math> 是一个'''孤立不动点'''（即在其某个邻域内没有其他不动点）。若 <math>\mathbf{x}^*</math> 是 <math>E(\mathbf{x})</math> 的一个'''局部极小值'''（或局部极大值），则所有充分接近 <math>\mathbf{x}^*</math> 的轨迹都是闭合的，即 <math>\mathbf{x}^*</math> 是一个'''非线性中心'''。

[[文件:保守系统的非线性中心示例图.png|缩略图|图4：双阱系统能量等高线图及其相平面投影|right|360px]]

[[文件:保守系统的非线性中心示例图.png|缩略图|图4：双阱系统能量等高线图及其相平面投影|right|360px]]

=== 示例：双阱势系统 ===

==== 示例：双阱势系统 ====

考虑一个单位质量粒子在双阱势 <math>V(x) = -\frac{1}{2}x^2 + \frac{1}{4}x^4</math> 中的无阻尼运动。运动方程为 <math>\ddot{x} = x - x^3</math>，等价系统为：

考虑一个单位质量粒子在双阱势 <math>V(x) = -\frac{1}{2}x^2 + \frac{1}{4}x^4</math> 中的无阻尼运动。运动方程为 <math>\ddot{x} = x - x^3</math>，等价系统为：

:<math>\dot{x} = y, \quad \dot{y} = x - x^3.</math>

:<math>\dot{x} = y, \quad \dot{y} = x - x^3.</math>

不动点为 <math>(0,0)</math> 和 <math>(\pm 1, 0)</math>。在 <math>(0,0)</math> 处，能量曲面的等高线呈现鞍点特征；而在 <math>(\pm 1, 0)</math> 处，<math>E(x, y)</math> 达到局部极小值。根据定理，这两个不动点均为非线性中心，附近存在一族闭轨（周期轨道）。

不动点为 <math>(0,0)</math> 和 <math>(\pm 1, 0)</math>。在 <math>(0,0)</math> 处，能量曲面的等高线呈现鞍点特征；而在 <math>(\pm 1, 0)</math> 处，<math>E(x, y)</math> 达到局部极小值。根据定理，这两个不动点均为非线性中心，附近存在一族闭轨（周期轨道）。

== '''可逆系统中的非线性中心''' ==

===可逆系统中的非线性中心===

===定义===

====定义====

如果存在一个相空间到自身的映射 <math>R(\mathbf{x})</math>，满足 <math>R^2(\mathbf{x}) = \mathbf{x}</math>（即 <math>R</math> 是一个对合变换），使得系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math> 在变换 <math>t \to -t</math>，<math>\mathbf{x} \to R(\mathbf{x})</math> 下保持不变，则称该系统为'''可逆系统'''。

如果存在一个相空间到自身的映射 <math>R(\mathbf{x})</math>，满足 <math>R^2(\mathbf{x}) = \mathbf{x}</math>（即 <math>R</math> 是一个对合变换），使得系统 <math>\dot{\mathbf{x}} = \mathbf{f}(\mathbf{x})</math> 在变换 <math>t \to -t</math>，<math>\mathbf{x} \to R(\mathbf{x})</math> 下保持不变，则称该系统为'''可逆系统'''。

最常见的二维情形是系统具有关于 <math>x</math> 轴的反射对称性：即变换 <math>t \to -t</math>，<math>y \to -y</math> 保持系统不变。这等价于要求方程 <math>\dot{x} = f(x,y)</math>，<math>\dot{y} = g(x,y)</math> 中的 <math>f</math> 关于 <math>y</math> 是奇函数（<math>f(x,-y) = -f(x,y)</math>），且 <math>g</math> 关于 <math>y</math> 是偶函数（<math>g(x,-y) = g(x,y)</math>）。

最常见的二维情形是系统具有关于 <math>x</math> 轴的反射对称性：即变换 <math>t \to -t</math>，<math>y \to -y</math> 保持系统不变。这等价于要求方程 <math>\dot{x} = f(x,y)</math>，<math>\dot{y} = g(x,y)</math> 中的 <math>f</math> 关于 <math>y</math> 是奇函数（<math>f(x,-y) = -f(x,y)</math>），且 <math>g</math> 关于 <math>y</math> 是偶函数（<math>g(x,-y) = g(x,y)</math>）。

=== 定理（可逆系统的非线性中心）===

==== 定理（可逆系统的非线性中心）====

假设原点 <math>\mathbf{x}^* = \mathbf{0}</math> 是一个连续可微可逆系统的'''线性中心'''。若系统是可逆的，则原点也是一个'''非线性中心'''，即所有充分接近原点的轨迹都是闭合的。

假设原点 <math>\mathbf{x}^* = \mathbf{0}</math> 是一个连续可微可逆系统的'''线性中心'''。若系统是可逆的，则原点也是一个'''非线性中心'''，即所有充分接近原点的轨迹都是闭合的。

该定理表明，可逆系统所具备的时间反演对称性为非线性中心提供了独立于能量守恒的稳定性机制。即便系统不满足保守条件，只要其在时间反演与空间反射的复合变换下保持不变，线性中心便具有抵御非线性扰动的能力。其几何解释为：若非线性扰动致使闭合轨迹转变为向内螺旋的焦点，则由可逆性推知其反射逆像必然形成向外螺旋的轨迹。此种轨迹行为与微分方程解的唯一性相冲突，因而在可逆系统中，线性中心在非线性扰动下仍保持为闭合轨迹族，即构成'''非线性中心'''。

该定理表明，可逆系统所具备的时间反演对称性为非线性中心提供了独立于能量守恒的稳定性机制。即便系统不满足保守条件，只要其在时间反演与空间反射的复合变换下保持不变，线性中心便具有抵御非线性扰动的能力。其几何解释为：若非线性扰动致使闭合轨迹转变为向内螺旋的焦点，则由可逆性推知其反射逆像必然形成向外螺旋的轨迹。此种轨迹行为与微分方程解的唯一性相冲突，因而在可逆系统中，线性中心在非线性扰动下仍保持为闭合轨迹族，即构成'''非线性中心'''。

=== 示例：无阻尼钟摆 ===

==== 示例：无阻尼钟摆 ====

无阻尼钟摆的非线性本质通过小角度的近似值<math>sin𝜃 ≈ 𝜃</math>被忽略。利用相图的分析钟摆旋转到顶部这一大角度的区域，在缺少阻力和外部吸引力的情况下，钟摆由下式决定：

无阻尼钟摆的非线性本质通过小角度的近似值<math>sin𝜃 ≈ 𝜃</math>被忽略。利用相图的分析钟摆旋转到顶部这一大角度的区域，在缺少阻力和外部吸引力的情况下，钟摆由下式决定：