152
个编辑
更改
跳到导航
跳到搜索
第45行：
第45行： + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
→性质
进一步地，在二维系统中，极限环是孤立的周期轨道，即其邻域内不存在其他闭轨道。该性质保证了极限环在相空间中的结构稳定性。<ref name="Perko" />同时，极限环可以作为其他轨道的极限集，从而在描述系统长期行为中起重要作用。<ref name="Strogatz" />
进一步地，在二维系统中，极限环是孤立的周期轨道，即其邻域内不存在其他闭轨道。该性质保证了极限环在相空间中的结构稳定性。<ref name="Perko" />同时，极限环可以作为其他轨道的极限集，从而在描述系统长期行为中起重要作用。<ref name="Strogatz" />
== 典型实例==
=== 简单构造的极限环===
=== 4.1 简单构造的极限环 ===
简单的极限环可以通过构造特定的二维系统来得到。以如下系统为示例：
<math display="block">
\begin{cases}
\dot{x} = x(1 - r^2) - y, \\
\dot{y} = y(1 - r^2) + x,
\end{cases}
</math>
其中 <math>r^2 = x^2 + y^2</math>。
将系统改写为极坐标形式，可以得到：
<math display="block">
\begin{cases}
\dot{r} = r(1 - r^2), \\
\dot{\theta} = 1.
\end{cases}
</math>
由此可见，角变量 <math>\theta</math> 以常数速度增长，而径向变量 <math>r</math> 满足一维微分方程 <math>\dot{r} = r(1 - r^2)</math>。该方程在 <math>r = 0</math> 与 <math>r = 1</math> 处存在平衡点，其中 <math>r = 1</math> 为稳定平衡点：当 <math>0 < r < 1</math> 时，<math>\dot{r} > 0</math>，轨道向外增长；当 <math>r > 1</math> 时，<math>\dot{r} < 0</math>，轨道向内收缩。因此，无论初始半径小于还是大于 1，只要 <math>r \neq 0</math>，解都会在时间演化过程中逐渐趋近于 <math>r = 1</math>。
与此同时，由于角变量 <math>\theta</math> 单调增加，轨道在趋近过程中会不断绕原点旋转，从而在相平面中呈现出螺旋形式。最终，轨道收敛到半径为 1 的圆，并沿该圆作周期运动。
因此，除原点外的所有轨道都会在时间趋于无穷时趋向于圆 <math>r = 1</math>。该单位圆构成系统的一条稳定极限环，即它既是周期轨道，又吸引其邻域内的轨道。
该例说明，通过适当构造系统的径向动力学与角向动力学，可以显式构造出具有给定极限环的二维系统。<ref name="Strogatz" />
===Van der Pol 振子===
=== 4.2 Van der Pol 振子 ===
Van der Pol 振子是研究极限环的经典非线性系统之一，其方程为：
<math display="block">
\ddot{x} - \mu (1 - x^2)\dot{x} + x = 0,
</math>
其中 <math>\mu > 0</math> 为参数。该方程最初由 :contentReference[oaicite:0]{index=0} 在研究电子振荡电路时提出。<ref name="Strogatz" />
将其转化为二维一阶系统，可得：
<math display="block">
\begin{cases}
\dot{x} = y, \\
\dot{y} = \mu (1 - x^2)y - x.
\end{cases}
</math>
该系统在原点处存在唯一的平衡点。通过线性化可以证明，当 <math>\mu > 0</math> 时，该平衡点是不稳定的。<ref name="Strogatz" />
另一方面，该系统的轨道在相平面中被限制在有界区域内，并且不存在其他闭轨道。由此可知，系统存在一条唯一的极限环，并且所有非平衡轨道最终都会趋向该闭轨道。<ref name="Strogatz" /><ref name="Perko" />
当参数 <math>\mu</math> 较小时，系统的振荡近似为正弦波；而当 <math>\mu</math> 较大时，系统表现出明显的非线性特征，轨道在相平面中呈现出缓慢变化与快速跃迁交替的行为，这种现象称为松弛振荡（relaxation oscillation）。<ref name="Strogatz" />
Van der Pol 振子表明，极限环不仅可以通过人工构造得到，还可以作为非线性系统的自然动力学行为出现，在物理、生物及工程系统中具有广泛应用。
== 极限环的排除方法==
===梯度系统（Gradient systems）===
===李雅普诺夫函数（Lyapunov functions）===
=== Dulac 准则（Dulac criterion）===
==极限环存在性理论==
===庞加莱–本迪克松定理（Poincaré–Bendixson theorem===
===李纳定理（Liénard theorem）===
==极限环的近似定量分析==
===松弛振荡===
===弱非线性振荡===
===摄动与平均法===
==应用==
（生物系统、化学振荡、工程振荡器等）
==稳定、不稳定和半稳定极限环==
==稳定、不稳定和半稳定极限环==