更改

添加43字节 、 2026年4月1日 (星期三)
第64行: 第64行:  
因此,极限环描述的不是某一特殊初始条件下的解,而是系统在大范围初始条件下共同趋向的'''渐近行为'''。在生物节律、电子振荡器、化学振荡反应等领域,极限环正是系统自发产生稳定周期行为的数学根源。<ref name="Wikipedia_LC" />
 
因此,极限环描述的不是某一特殊初始条件下的解,而是系统在大范围初始条件下共同趋向的'''渐近行为'''。在生物节律、电子振荡器、化学振荡反应等领域,极限环正是系统自发产生稳定周期行为的数学根源。<ref name="Wikipedia_LC" />
   −
== 典型实例==
+
== 典型实例 ==
−
=== 简单构造的极限环===
     −
简单的极限环可以通过构造特定的二维系统来得到。以如下系统为示例:
+
=== 简单构造的极限环 ===
    +
极限环可以通过显式构造二维系统的径向与角向动力学来得到。考虑如下系统:
 
<math display="block">
 
<math display="block">
 
\begin{cases}
 
\begin{cases}
第76行: 第76行:  
</math>
 
</math>
   −
其中 <math>r^2 = x^2 + y^2</math>。
+
其中 <math>r^2 = x^2 + y^2</math>。将系统改写为极坐标形式,得:
−
 
  −
将系统改写为极坐标形式,可以得到:
      
<math display="block">
 
<math display="block">
第86行: 第84行:  
\end{cases}
 
\end{cases}
 
</math>
 
</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>,轨道向内收缩。因此,只要 <math>r \neq 0</math>,径向分量都将单调收敛至 <math>r = 1</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>r = 1</math> 上的周期运动。该单位圆即为系统唯一的稳定极限环,除原点外的所有轨道均以其为 ω 极限集。<ref name="Strogatz" />
−
 
  −
与此同时,由于角变量 <math>\theta</math> 单调增加,轨道在趋近过程中会不断绕原点旋转,从而在相平面中呈现出螺旋形式。最终,轨道收敛到半径为 1 的圆,并沿该圆作周期运动。
  −
 
  −
因此,除原点外的所有轨道都会在时间趋于无穷时趋向于圆 <math>r = 1</math>。该单位圆构成系统的一条稳定极限环,即它既是周期轨道,又吸引其邻域内的轨道。
     −
该例说明,通过适当构造系统的径向动力学与角向动力学,可以显式构造出具有给定极限环的二维系统。<ref name="Strogatz" />
+
=== Van der Pol 振子 ===
−
===Van der Pol 振子===
  −
[[Image:VanDerPolPhaseSpace.png|right|250px|thumb|'''<font color="#ff8000">范德波尔振荡器 Van der Pol oscillator</font>'''的稳定极限环 ]]
     −
Van der Pol 振子是研究极限环的经典非线性系统之一,其方程为:
+
[[Image:VanDerPolPhaseSpace.png|right|250px|thumb|'''<font color="#ff8000">范德波尔振荡器 Van der Pol oscillator</font>''' 的稳定极限环]]
    +
Van der Pol 振子是研究极限环的经典非线性系统之一。该方程最初由荷兰物理学家巴尔塔萨·范德波尔(Balthasar van der Pol)在研究电子管振荡电路时提出,<ref name="vanderPol">van der Pol, B. (1926). On relaxation-oscillations. ''The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science'', 2(11), 978–992.</ref>其方程为:
 
<math display="block">
 
<math display="block">
 
\ddot{x} - \mu (1 - x^2)\dot{x} + x = 0,
 
\ddot{x} - \mu (1 - x^2)\dot{x} + x = 0,
 
</math>
 
</math>
−
 
+
其中 <math>\mu > 0</math> 为参数,控制非线性阻尼的强度。将其改写为二维一阶系统:
−
其中 <math>\mu > 0</math> 为参数。该方程最初由 :contentReference[oaicite:0]{index=0} 在研究电子振荡电路时提出。<ref name="Strogatz" />
  −
 
  −
将其转化为二维一阶系统,可得:
  −
 
   
<math display="block">
 
<math display="block">
 
\begin{cases}
 
\begin{cases}
第113行: 第103行:  
\end{cases}
 
\end{cases}
 
</math>
 
</math>
 +
该系统在原点处存在唯一平衡点。对原点处的线性化矩阵进行分析,其特征值实部为正,因此原点是不稳定焦点,附近轨道向外螺旋发散。<ref name="Strogatz" />
   −
该系统在原点处存在唯一的平衡点。通过线性化可以证明,当 <math>\mu > 0</math> 时,该平衡点是不稳定的。<ref name="Strogatz" />
+
另一方面,通过估计能量函数可以证明,系统轨道被限制在相平面的某个有界环形区域内,且该区域内不含平衡点。由'''庞加莱-本迪克松定理'''(Poincaré–Bendixson theorem),该区域内必然存在闭轨道;再结合唯一性论证,可知系统恰好存在一条极限环,所有非平衡轨道最终都趋向该闭轨道。<ref name="Strogatz" /><ref name="Perko">Perko, L. (2001). ''Differential Equations and Dynamical Systems'' (3rd ed.). Springer.</ref>
−
 
  −
另一方面,该系统的轨道在相平面中被限制在有界区域内,并且不存在其他闭轨道。由此可知,系统存在一条唯一的极限环,并且所有非平衡轨道最终都会趋向该闭轨道。<ref name="Strogatz" /><ref name="Perko" />
  −
 
  −
当参数 <math>\mu</math> 较小时,系统的振荡近似为正弦波;而当 <math>\mu</math> 较大时,系统表现出明显的非线性特征,轨道在相平面中呈现出缓慢变化与快速跃迁交替的行为,这种现象称为松弛振荡(relaxation oscillation)。<ref name="Strogatz" />
     −
Van der Pol 振子表明,极限环不仅可以通过人工构造得到,还可以作为非线性系统的自然动力学行为出现,在物理、生物及工程系统中具有广泛应用。
+
参数 <math>\mu</math> 的大小决定了振荡的形态:当 <math>\mu</math> 较小时,极限环近似为圆,振荡波形接近正弦波;当 <math>\mu</math> 较大时,极限环在相平面中显著拉伸变形,轨道呈现出缓慢漂移与快速跃迁交替的特征,这种现象称为'''松弛振荡'''(relaxation oscillation)。<ref name="Strogatz" />
    
== 极限环的排除方法==
 
== 极限环的排除方法==
152

个编辑