非线性中心 - 版本历史

王晔：/* 定理（保守系统的非线性中心） */

2026-07-12T07:42:28Z

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

王晔：优化了保守和可逆系统的非线性中心定理证明部分的表述

2026-07-12T07:39:49Z

优化了保守和可逆系统的非线性中心定理证明部分的表述

Jake：/* 示例：无阻尼钟摆 */

2026-07-10T09:05:26Z

示例：无阻尼钟摆

Jake：/* 示例：双阱势系统 */

2026-07-10T09:03:21Z

示例：双阱势系统

Jake：/* 一般情况的判定——Lyapunov量 */

2026-07-10T09:00:15Z

一般情况的判定——Lyapunov量

Jake：/* 非线性中心判据 */

2026-07-10T08:59:36Z

非线性中心判据

Jake：/* 几何连续性与极限环的区别 */

2026-07-05T04:09:37Z

几何连续性与极限环的区别

Jake：/* 高维系统的中心流形推广 */

2026-07-05T04:07:34Z

高维系统的中心流形推广

Jake：/* 周期与振幅的非线性依赖 */

2026-07-05T04:07:22Z

周期与振幅的非线性依赖

Jake：/* 拓扑特征与庞加莱指数 */

2026-07-05T04:07:08Z

拓扑特征与庞加莱指数

@@ 第129行： / 第129行： @@
 '''证明思路：''' 由于能量沿轨迹守恒，每条轨迹都位于 <math>E(\mathbf{x})</math> 的某一[[等高线]]上。在局部极值点附近，等高线是闭合的。又因假设 <math>\mathbf{x}^*</math> 是孤立不动点，故在该点的小邻域内，等高线上不存在其他不动点，因此轨迹必定沿着闭合等高线运动，形成周期轨道。
-'''内在联系：''' 在一般非线性系统中，线性化分析所得的中心极易因非线性项的扰动而失去闭合性，演化为螺旋收敛或发散的焦点。然而，保守系统固有的能量守恒性质排除了此种演变的可能：若轨迹以螺旋方式趋近或远离不动点，则其守恒量将随时间单调变化，这与守恒量沿轨迹恒定的定义相矛盾。由此推知，只要不动点对应于守恒量的局部极值，其邻近轨迹便被约束于闭合的等高线上，从而保证了非线性中心的存在。
+'''内在联系：''' 在一般非线性系统中，线性化分析所得的中心极易因非线性项的扰动而失去闭合性，演化为螺旋收敛或发散的焦点。然而，保守系统固有的能量守恒性质排除了此种演变的可能——若轨迹以螺旋方式趋近或远离不动点，则其守恒量将随时间单调变化，这与守恒量沿轨迹恒定的定义相矛盾。由此推知，只要不动点对应于守恒量的局部极值，其邻近轨迹便被约束于闭合的等高线上，从而保证了非线性中心的存在。
 [[文件:保守系统的非线性中心示例图.png|缩略图|图5：双阱系统能量等高线图及其相平面投影|right|360px]]

@@ 第129行： / 第129行： @@
 '''证明思路：''' 由于能量沿轨迹守恒，每条轨迹都位于 <math>E(\mathbf{x})</math> 的某一[[等高线]]上。在局部极值点附近，等高线是闭合的。又因假设 <math>\mathbf{x}^*</math> 是孤立不动点，故在该点的小邻域内，等高线上不存在其他不动点，因此轨迹必定沿着闭合等高线运动，形成周期轨道。
-'''内在联系：'''
+'''内在联系：''' 在一般非线性系统中，线性化分析所得的中心极易因非线性项的扰动而失去闭合性，演化为螺旋收敛或发散的焦点。然而，保守系统固有的能量守恒性质排除了此种演变的可能：若轨迹以螺旋方式趋近或远离不动点，则其守恒量将随时间单调变化，这与守恒量沿轨迹恒定的定义相矛盾。由此推知，只要不动点对应于守恒量的局部极值，其邻近轨迹便被约束于闭合的等高线上，从而保证了非线性中心的存在。
 [[文件:保守系统的非线性中心示例图.png|缩略图|图5：双阱系统能量等高线图及其相平面投影|right|360px]]
@@ 第148行： / 第147行： @@
 ==== 定理（可逆系统的非线性中心）====
-假设原点 <math>\mathbf{x}^* = \mathbf{0}</math> 是一个连续可微可逆系统的'''线性中心'''。若系统是可逆的，则原点也是一个'''非线性中心'''，即所有充分接近原点的轨迹都是闭合的。
+假设原点 <math>\mathbf{x}^* = \mathbf{0}</math> 是一个连续可微的可逆系统的'''线性中心'''。若系统是可逆的，则原点也是一个'''非线性中心'''，即所有充分接近原点的轨迹都是闭合的。
-'''证明思路：''' 考虑一条从正 <math>x</math> 轴出发靠近原点的轨迹。由于线性部分是中心，该轨迹将绕原点旋转并最终与负 <math>x</math> 轴相交。利用可逆性，将轨迹关于 <math>x</math> 轴反射并反转时间方向，将得到一条具有相同端点但箭头相反的轨迹。这两条轨迹共同构成一个闭合曲线。因此原点被一族闭轨包围。
+'''证明思路：''' 考虑一条从正 <math>x</math> 轴出发靠近原点的轨迹。由于线性部分是中心，该轨迹将绕原点旋转并最终与负 <math>x</math> 轴相交。利用可逆性，将轨迹关于 <math>x</math> 轴反射并反转时间方向，将得到一条具有相同端点但时间箭头反向的相异轨迹，这两条轨迹共同构成一个闭合曲线。
-'''判定逻辑：'''
+'''反证法：''' 若非线性扰动致使闭合轨迹转变为向内螺旋的焦点，则由可逆性推知其反射逆像必然形成向外螺旋的轨迹。此种轨迹行为与微分方程解的唯一性相冲突，因而在可逆系统中，线性中心在非线性扰动下仍保持为闭合轨迹族，即构成'''非线性中心'''。
-该定理表明，[[可逆系统]]所具备的[[时间反演对称性]]为非线性中心提供了独立于[[能量守恒]]的稳定性机制。即便系统不满足保守条件，只要其在时间反演与空间反射的复合变换下保持不变，线性中心便具有抵御非线性扰动的能力。其几何解释为：若非线性扰动致使闭合轨迹转变为向内螺旋的焦点，则由可逆性推知其反射逆像必然形成向外螺旋的轨迹。此种轨迹行为与微分方程解的唯一性相冲突，因而在可逆系统中，线性中心在非线性扰动下仍保持为闭合轨迹族，即构成'''非线性中心'''。
 ==== 示例：无阻尼钟摆 ====

@@ 第156行： / 第156行： @@
 ==== 示例：无阻尼钟摆 ====
-无阻尼钟摆的非线性本质通过小角度的近似值<math>\sin\theta\approx\theta</math>被忽略。利用相图的分析钟摆旋转到顶部这一大角度的区域，在缺少阻力和外部吸引力的情况下，钟摆由下式决定：
+如图6，无阻尼钟摆的非线性本质通过小角度的近似值<math>\sin\theta\approx\theta</math>被忽略。利用相图的分析钟摆旋转到顶部这一大角度的区域，在缺少阻力和外部吸引力的情况下，钟摆由下式决定：
 [[文件:钟摆.png|缩略图|右|图6：无阻尼钟摆|right|280px]]

@@ 第135行： / 第135行： @@
 ==== 示例：双阱势系统 ====
-考虑一个单位质量粒子在双阱势 <math>V(x) = -\frac{1}{2}x^2 + \frac{1}{4}x^4</math> 中的无阻尼运动。运动方程为 <math>\ddot{x} = x - x^3</math>，等价系统为：
+如图5，考虑一个单位质量粒子在双阱势 <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>
 系统具有守恒量（总能量）：

@@ 第101行： / 第101行： @@
 考虑平面系统
 :<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>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>
 使得沿系统轨线

@@ 第89行： / 第89行： @@
 =='''非线性中心判据'''==
-'''经典中心问题'''（Classical Center Problem）由 Poincaré 正式提出<ref>POINCARÉ H. Mémoire sur les courbes définies par une équation différentielle (I)[J]. Journal de Mathématiques Pures et Appliquées, 1881, 7(3): 375-422.</ref>：
+'''[[经典中心问题]]'''（Classical Center Problem）由 Poincaré 正式提出<ref>POINCARÉ H. Mémoire sur les courbes définies par une équation différentielle (I)[J]. Journal de Mathématiques Pures et Appliquées, 1881, 7(3): 375-422.</ref>：
-: 给定一个平面解析系统，其线性部分为中心，如何通过系统的系数判定该平衡点究竟是中心还是焦点？
+: 给定一个[[平面解析系统]]，其线性部分为[[中心]]，如何通过系统的系数判定该平衡点究竟是中心还是[[焦点]]？
 线性化分析无法区分中心与焦点，必须考察高阶非线性项的累积效应。

@@ 第73行： / 第73行： @@
 ==== 几何连续性与极限环的区别 ====
-[[文件:非线性中心与极限环对比图.png|缩略图|右|图4：非线性中心与极限环对比图|320px]]
+[[文件:非线性中心与极限环对比图.png|缩略图|右|图4：非线性中心与极限环对比图|400px]]
 非线性中心的核心几何特征在于其闭轨的连续分布性。在中心的一个充分小的邻域内，除平衡点本身外，所有的相轨线均是嵌套的闭合周期轨线，构成一个[[连续统]]（Continuum）。

@@ 第84行： / 第84行： @@
 在纯[[线性系统]]中，中心周围所有闭轨的运转[[周期]]恒为常数 <math>T = 2\pi/\omega</math>，与轨线的振幅大小无关。对于一般的非线性中心，由于高阶非线性项的影响，系统沿闭轨运动的周期 <math>T(r)</math> 通常会依赖于轨线的振幅（即极径 <math>r</math>）。在特殊情况下，若非线性系统不仅存在中心，且周围所有闭轨的周期依然保持恒定，则该奇点被称为“'''[[等时中心]]'''”（Isochronous Center）。等时中心的判定是[[常微分方程定性理论]]中的一项具体研究课题<ref>Chavarriga, J., & Sabatini, M. (1999). A survey of isochronous centers. Qualitative Theory of Dynamical Systems, 1(1), 1-70. </ref>。
-=== 高维系统的中心流形推广 ===
+==== 高维系统的中心流形推广 ====
 对于相空间维度 <math>n \ge 3</math> 的非线性系统，中心的概念可通过'''[[中心流形定理]]'''（Center Manifold Theorem）进行高维推广。若系统在[[不动点]]处的[[雅可比矩阵]]存在一对纯虚数特征值，且其余特征值的实部均不为零，则系统在[[不动点]]附近存在一个二维的[[中心流形]]。高维系统的局部渐近动力学可降维至该[[流形]]上进行分析。若降维后的二维子系统呈现非线性中心特征，则高维系统在对应子空间内同样表现为局部的周期振荡行为<ref>Kuznetsov, Yu. A. (2004). Elements of Applied Bifurcation Theory (3rd edition). Springer.</ref>。

@@ 第81行： / 第81行： @@
 在[[向量场拓扑学]]中，奇点的局部结构可通过[[庞加莱指数]]（Poincaré Index）进行定量刻画<ref>Perko, L. (2013). Differential Equations and Dynamical Systems (3rd ed.). Springer Science & Business Media. ISBN 978-1-4613-0003-8.</ref>。对于[[二维非线性系统]]，沿包围非线性中心且不包含其他奇点的任意简单闭曲线，其向量场旋转的圈数恒为 1。因此，非线性中心的[[庞加莱指数]]为 <math>+1</math>。这一拓扑不变量与[[结点]]、[[焦点]]的指数相同，但与指数为 <math>-1</math> 的[[鞍点]]具有明确的拓扑差异。
-=== 周期与振幅的非线性依赖 ===
+==== 周期与振幅的非线性依赖 ====
 在纯[[线性系统]]中，中心周围所有闭轨的运转[[周期]]恒为常数 <math>T = 2\pi/\omega</math>，与轨线的振幅大小无关。对于一般的非线性中心，由于高阶非线性项的影响，系统沿闭轨运动的周期 <math>T(r)</math> 通常会依赖于轨线的振幅（即极径 <math>r</math>）。在特殊情况下，若非线性系统不仅存在中心，且周围所有闭轨的周期依然保持恒定，则该奇点被称为“'''[[等时中心]]'''”（Isochronous Center）。等时中心的判定是[[常微分方程定性理论]]中的一项具体研究课题<ref>Chavarriga, J., & Sabatini, M. (1999). A survey of isochronous centers. Qualitative Theory of Dynamical Systems, 1(1), 1-70. </ref>。

@@ 第78行： / 第78行： @@
 这一特征将其与[[极限环]]（Limit Cycle）区分开来（见图4）：极限环同为[[闭合周期轨线]]，但它是孤立的，即在极限环的充分小邻域内不存在其他闭合轨线，其内侧或外侧的相邻轨线会以螺旋形式渐近地趋向（或远离）该极限环。
-=== 拓扑特征与庞加莱指数 ===
+==== 拓扑特征与庞加莱指数 ====
-在向量场拓扑学中，奇点的局部结构可通过[[庞加莱指数]]（Poincaré Index）进行定量刻画<ref>Perko, L. (2013). Differential Equations and Dynamical Systems (3rd ed.). Springer Science & Business Media. ISBN 978-1-4613-0003-8.</ref>。对于[[二维非线性系统]]，沿包围非线性中心且不包含其他奇点的任意简单闭曲线，其向量场旋转的圈数恒为 1。因此，非线性中心的[[庞加莱指数]]为 <math>+1</math>。这一拓扑不变量与[[结点]]、[[焦点]]的指数相同，但与指数为 <math>-1</math> 的[[鞍点]]具有明确的拓扑差异。
+在[[向量场拓扑学]]中，奇点的局部结构可通过[[庞加莱指数]]（Poincaré Index）进行定量刻画<ref>Perko, L. (2013). Differential Equations and Dynamical Systems (3rd ed.). Springer Science & Business Media. ISBN 978-1-4613-0003-8.</ref>。对于[[二维非线性系统]]，沿包围非线性中心且不包含其他奇点的任意简单闭曲线，其向量场旋转的圈数恒为 1。因此，非线性中心的[[庞加莱指数]]为 <math>+1</math>。这一拓扑不变量与[[结点]]、[[焦点]]的指数相同，但与指数为 <math>-1</math> 的[[鞍点]]具有明确的拓扑差异。
 === 周期与振幅的非线性依赖 ===