更改

极限环（Limit Cycle）是非线性动力系统中的重要概念，用于描述系统在长期演化过程中所呈现的周期性行为。当系统的轨道不收敛于平衡点，而是趋于一条闭合曲线时，即形成周期运动。在本文中，主要讨论二维自治系统（二维相空间）中的极限环。在这一情形下，极限环可以理解为相平面中的一条孤立闭轨道，即在该闭轨道的邻域内不存在其他周期轨道。该概念最早由 Henri Poincaré 提出，是微分方程定性理论的重要组成部分，并在分析二维系统的长期行为中具有核心作用。后续内容将基于二维相空间的框架，介绍极限环的定义、性质及其判定方法以及相关应用。

极限环（Limit Cycle）是非线性动力系统中的重要概念，用于描述系统在长期演化过程中所呈现的周期性行为。当系统的轨道不收敛于平衡点，而是趋于一条闭合曲线时，即形成周期运动。在本文中，主要讨论二维自治系统（二维相空间）中的极限环。在这一情形下，极限环可以理解为相平面中的一条孤立闭轨道，即在该闭轨道的邻域内不存在其他周期轨道。该概念最早由 Henri Poincaré 提出，是微分方程定性理论的重要组成部分，并在分析二维系统的长期行为中具有核心作用。后续内容将基于二维相空间的框架，介绍极限环的定义、性质及其判定方法以及相关应用。

==定义==

== 定义 ==

:<math>x'(t)=V(x(t))</math>

=== 2.1 形式化定义 ===

当<math>V:\mathbb{R}^2\to\mathbb{R}^2</math>时，是一个平滑函数。这个系统的“轨迹”是满足这个微分方程的光滑函数。如果这个轨迹不是恒定的，而是返回到它的起始点，那么这个轨迹称为'''闭合'''（或周期）轨迹。如果存在一些 <math>t_0>0</math>有<math>x(t+t_0)=x(t)</math>对于所有的<math>t\in\mathbb{R}</math>。'''<font color="#ff8000">轨道 orbit</font>'''是轨迹的'''<font color="#ff8000">图像 image</font>'''，是<math>\mathbb{R}^2</math>的子集。一个“闭合轨道”，或“循环”，是一个闭合轨迹的图像。极限环是一个循环，它是其他轨迹的极限集。

 

其中 <math>V : \mathbb{R}^2 \to \mathbb{R}^2</math> 为光滑向量场。<ref name="Strogatz">Strogatz, S. H. (1994). ''Nonlinear Dynamics and Chaos''. Westview Press.</ref>

 

该系统的一条轨道（trajectory）是满足上述微分方程的光滑函数 <math>x(t)</math>，其取值在 <math>\mathbb{R}^2</math> 中。轨道在相空间中的像称为其轨道（orbit），是 <math>\mathbb{R}^2</math> 的一个子集。<ref name="Perko">Perko, L. (2001). ''Differential Equations and Dynamical Systems''. Springer.</ref>

 

如果一条轨道不是常数解，并且存在 <math>T>0</math>，使得 

<math>x(t+T)=x(t)</math> 对于所有 <math>t \in \mathbb{R}</math> 成立，则称该轨道为周期轨道，其对应的轨道称为闭轨道（closed orbit）或循环（cycle）。<ref name="Strogatz" />

 

极限环（limit cycle）定义为满足以下性质的闭轨道：该闭轨道是某一其他轨道的极限集，即存在一条不同于该闭轨道的轨道，其在 <math>t \to +\infty</math> 或 <math>t \to -\infty</math> 时趋于该闭轨道。<ref name="Perko" /><ref name="Devaney">Devaney, R. (1989). ''An Introduction to Chaotic Dynamical Systems''. CRC Press.</ref>

 

 

=== 2.2 几何解释 ===

 

在二维相平面中，系统的轨道对应于解 <math>x(t)</math> 在 <math>\mathbb{R}^2</math> 中的路径，而闭轨道表现为封闭曲线。极限环是一类特殊的闭轨道，其区别在于它可以作为其他轨道的极限行为。<ref name="Strogatz" />

 

 

 

==属性==

==属性==