更改

== 定义 ==

== 定义 ==

'''极限环的定义：'''极限环是 <math>n</math> 维（<math>n \geq 2</math>）[[动力系统]][[相空间]]中一条孤立的周期轨道，且在其某个[[邻域]]内不存在其他周期轨道。等价地，至少存在一条不同于极限环本身的轨道，在 <math>t \to +\infty</math> 或 <math>t \to -\infty</math> 时趋近于该闭合轨道，即极限环是这些轨道的[[ω极限集]]或[[α极限集]]（其中 ω 极限集为轨道在 <math>t\to+\infty</math> 时的聚集点集合，α 极限集为轨道在 <math>t\to-\infty</math> 时的聚集点集合）。<ref name="Perko">Perko, L. (2001). ''Differential Equations and Dynamical Systems''. Springer.</ref><ref name="Devaney">Devaney, R. (1989). ''An Introduction to Chaotic Dynamical Systems''. CRC Press.</ref>

'''极限环的定义：'''极限环是 <math>n</math> 维（<math>n \geq 2</math>）[[动力系统]][[相空间]]中一条孤立的周期轨道，且在其某个[[邻域]]内不存在其他周期轨道。等价地，至少存在一条不同于极限环本身的轨道，在 <math>t \to +\infty</math> 或 <math>t \to -\infty</math> 时趋近于该闭合轨道，即极限环是这些轨道的[[ω极限集]]或[[α极限集]]（其中 ω 极限集为轨道在 <math>t\to+\infty</math> 时的聚集点集合，α 极限集为轨道在 <math>t\to-\infty</math> 时的聚集点集合）。<ref name="Perko">Perko, L. (2001). ''Differential Equations and Dynamical Systems'' (3rd ed.). Springer.</ref>

值得注意的是，一维[[自治系统]]中不可能存在极限环，因为一维相空间中的轨道只能单调递增、单调递减或停留于平衡点，无法构成闭合曲线。

值得注意的是，一维[[自治系统]]中不可能存在极限环，因为一维相空间中的轨道只能单调递增、单调递减或停留于平衡点，无法构成闭合曲线。

极限环是相空间中的'''[[不变集]]'''：若系统的初始条件恰好落在该闭轨道上，则对应解将永远沿该轨道周期性演化。<ref name="Strogatz"/>

极限环是相空间中的'''[[不变集]]'''：若系统的初始条件恰好落在该闭轨道上，则对应解将永远沿该轨道周期性演化。<ref name="Strogatz"/>

这一性质来源于微分方程解的'''[[存在唯一性定理]]'''（[[Picard定理]]）：[[相空间]]中过同一点只能有一条轨道。因此，若某轨道与极限环有一点相交，则由解的唯一性，该轨道必与极限环重合；反之，极限环外的轨道也不能穿入极限环。<ref name="LibreTexts">Lebl, J. ''Differential Equations for Engineers'', §8.4: Limit cycles. LibreTexts. https://math.libretexts.org</ref>

这一性质来源于微分方程解的'''[[存在唯一性定理]]'''（[[Picard定理]]）：[[相空间]]中过同一点只能有一条轨道。因此，若某轨道与极限环有一点相交，则由解的唯一性，该轨道必与极限环重合；反之，极限环外的轨道也不能穿入极限环。<ref name="LibreTexts">Lebl, J. ''Notes on Diffy Qs: Differential Equations for Engineers'', §8.4: Limit cycles. Available at: https://www.jirka.org/diffyqs/ (accessed June 2026).</ref>

=== 孤立性 ===

=== 孤立性 ===

=== 拓扑性质 ===

=== 拓扑性质 ===

极限环是相平面上的一条简单闭曲线。'''[[若尔当曲线定理]]'''（Jordan curve theorem）指出，任何简单闭曲线都将平面划分为内部与外部两个互不相交的区域，且两者只以该曲线为公共边界。<ref name="Wikipedia_LC">Limit cycle. ''Wikipedia''. https://en.wikipedia.org/wiki/Limit_cycle</ref> 这一性质对极限环邻域内的轨道行为有根本性的约束：内部轨道与外部轨道处于拓扑上完全隔离的两个区域，无法在不穿越极限环本身的情况下相互转化。<ref name="Coddington">Coddington, E. A., & Levinson, N. (1955). ''Theory of Ordinary Differential Equations''. McGraw-Hill.</ref>

极限环是相平面上的一条简单闭曲线。'''[[若尔当曲线定理]]'''（Jordan curve theorem）指出，任何简单闭曲线都将平面划分为内部与外部两个互不相交的区域，且两者只以该曲线为公共边界。<ref name="Coddington">Coddington, E. A., & Levinson, N. (1955). ''Theory of Ordinary Differential Equations''. McGraw-Hill.</ref> 这一性质对极限环邻域内的轨道行为有根本性的约束：内部轨道与外部轨道处于拓扑上完全隔离的两个区域，无法在不穿越极限环本身的情况下相互转化。<ref name="Coddington" />

此外，极限环内部至少包含系统的一个平衡点。若极限环内部只有一个[[平衡点]]，则该点必为[[汇]]、[[源]]或[[中心]]，而不能是[[鞍点]]。<ref name="Wikipedia_LC" />

此外，极限环内部至少包含系统的一个平衡点。若极限环内部只有一个[[平衡点]]，则该点必为[[汇]]、[[源]]或[[中心]]，而不能是[[鞍点]]。<ref name="Perko" />

=== 典型实例 ===

=== 典型实例 ===

* '''[[李雅普诺夫函数]]'''（Lyapunov function）：若能构造光滑函数 <math>V(\mathbf{x})</math> 使得 <math>\dot{V} = \nabla V \cdot \mathbf{f}</math> 在某区域内处处严格同号，则该区域内不存在周期轨道。此方法比梯度系统更灵活，适用于任意 <math>n</math> 维系统，但构造 <math>V</math> 一般无系统性方法。<ref name="Perko" />

* '''[[李雅普诺夫函数]]'''（Lyapunov function）：若能构造光滑函数 <math>V(\mathbf{x})</math> 使得 <math>\dot{V} = \nabla V \cdot \mathbf{f}</math> 在某区域内处处严格同号，则该区域内不存在周期轨道。此方法比梯度系统更灵活，适用于任意 <math>n</math> 维系统，但构造 <math>V</math> 一般无系统性方法。<ref name="Perko" />

* '''[[Dulac准则]]'''（[[Bendixson–Dulac定理]]）：对于平面系统 <math>x' = P(x,y),\ y' = Q(x,y)</math>，若存在连续可微函数 <math>B(x,y)</math> 使得加权散度 <math>\frac{\partial(BP)}{\partial x} + \frac{\partial(BQ)}{\partial y}</math> 在某单连通区域内处处同号且不恒为零，则该区域内不存在极限环。当 <math>B \equiv 1</math> 时退化为经典的 [[Bendixson判据]]。该准则依赖于平面散度，仅适用于二维系统。<ref name="Perko" />

* '''[[Dulac准则]]'''（[[Bendixson–Dulac定理]]）：对于平面系统 <math>x' = P(x,y),\ y' = Q(x,y)</math>，若存在连续可微函数 <math>B(x,y)</math> 使得加权散度 <math>\frac{\partial(BP)}{\partial x} + \frac{\partial(BQ)}{\partial y}</math> 在某单连通区域内处处同号且不恒为零，则该区域内不存在极限环。当 <math>B \equiv 1</math> 时退化为经典的 [[Bendixson判据]]。该准则依赖于平面散度，仅适用于二维系统。<ref name="Bendixson">Bendixson, I. (1901). Sur les courbes définies par des équations différentielles. ''Acta Mathematica'', 24, 1–88.</ref>

=== 极限环存在性理论 ===

=== 极限环存在性理论 ===

==== 庞加莱–本迪克松定理 ====

==== 庞加莱–本迪克松定理 ====

'''[[庞加莱–本迪克松定理]]'''（Poincaré–Bendixson theorem）是二维连续动力系统中最基本的存在性定理，由 Henri Poincaré 于1892年首先提出，Ivar Bendixson 于1901年给出严格证明：<ref name="Wikipedia_PB">Poincaré–Bendixson theorem. ''Wikipedia''. https://en.wikipedia.org/wiki/Poincaré–Bendixson_theorem</ref>

'''[[庞加莱–本迪克松定理]]'''（Poincaré–Bendixson theorem）是二维连续动力系统中最基本的存在性定理，由 Henri Poincaré 于1892年首先提出，Ivar Bendixson 于1901年给出严格证明：<ref name="Poincare">Poincaré, H. (1892). ''Les méthodes nouvelles de la mécanique céleste'', Vol. 1. Gauthier-Villars.</ref><ref name="Bendixson" />

: 设平面自治系统 <math>\dot{x} = f(x)</math> 的向量场 <math>f</math> 连续可微。若某条正向轨道有界，且其 [[ω极限集]]中不含平衡点，则该 ω 极限集本身是一条周期轨道。<ref name="Perko" /><ref name="Strogatz" />

: 设平面自治系统 <math>\dot{x} = f(x)</math> 的向量场 <math>f</math> 连续可微。若某条正向轨道有界，且其 [[ω极限集]]中不含平衡点，则该 ω 极限集本身是一条周期轨道。<ref name="Perko" /><ref name="Strogatz" />

* '''[[同宿与异宿分岔]]'''（homoclinic／heteroclinic bifurcation）：极限环趋近于平衡点的连接轨道时，其周期趋向无穷大并最终消亡。在三维系统中，若同宿轨道趋近于[[鞍焦点]]且满足 [[Shilnikov 条件]]（鞍焦点的不稳定特征值实部大于稳定特征值实部的绝对值），系统附近可出现可数无穷条周期轨道及混沌动力学，称为 '''[[Shilnikov混沌]]'''。<ref name="Shilnikov">Shilnikov, L. P. (1965). A case of the existence of a denumerable set of periodic motions. ''Soviet Mathematics Doklady'', 6, 163–166.</ref><ref name="GH" />

* '''[[同宿与异宿分岔]]'''（homoclinic／heteroclinic bifurcation）：极限环趋近于平衡点的连接轨道时，其周期趋向无穷大并最终消亡。在三维系统中，若同宿轨道趋近于[[鞍焦点]]且满足 [[Shilnikov 条件]]（鞍焦点的不稳定特征值实部大于稳定特征值实部的绝对值），系统附近可出现可数无穷条周期轨道及混沌动力学，称为 '''[[Shilnikov混沌]]'''。<ref name="Shilnikov">Shilnikov, L. P. (1965). A case of the existence of a denumerable set of periodic motions. ''Soviet Mathematics Doklady'', 6, 163–166.</ref><ref name="GH" />

* '''[[倍周期分岔]]'''（period-doubling bifurcation）〔仅适用于三维及以上连续自治系统〕：极限环失稳时产生周期加倍的新极限环，反复发生形成'''[[倍周期级联]]'''（period-doubling cascade），最终导致混沌。[[Feigenbaum]]于1978年证明这一过程具有普适的定量规律，收敛速率由 '''[[Feigenbaum 常数']]'' <math>\delta \approx 4.669</math> 描述。<ref name="Feigenbaum">Feigenbaum, M. J. (1978). Quantitative universality for a class of nonlinear transformations. ''Journal of Statistical Physics'', 19(1), 25–52.</ref><ref name="Kuznetsov" />

* '''[[倍周期分岔]]'''（period-doubling bifurcation）〔仅适用于三维及以上连续自治系统〕：极限环失稳时产生周期加倍的新极限环，反复发生形成'''[[倍周期级联]]'''（period-doubling cascade），最终导致混沌。[[Feigenbaum]]于1978年证明这一过程具有普适的定量规律，收敛速率由 '''[[Feigenbaum 常数]]''' <math>\delta \approx 4.669</math> 描述。<ref name="Feigenbaum">Feigenbaum, M. J. (1978). Quantitative universality for a class of nonlinear transformations. ''Journal of Statistical Physics'', 19(1), 25–52.</ref><ref name="Kuznetsov" />

* '''[[环面分岔]]'''（Neimark-Sacker bifurcation）：极限环的一对复特征乘子模跨越 1 时，极限环失稳并产生二维环面吸引子，轨道在其上作准周期运动。若环面进一步破裂，系统可进入混沌状态。这一分岔是[[霍普夫分岔]]在周期轨道层面的类比，适用于任意维度。<ref name="Kuznetsov" />

* '''[[环面分岔]]'''（Neimark-Sacker bifurcation）：极限环的一对复特征乘子模跨越 1 时，极限环失稳并产生二维环面吸引子，轨道在其上作准周期运动。若环面进一步破裂，系统可进入混沌状态。这一分岔是[[霍普夫分岔]]在周期轨道层面的类比，适用于任意维度。<ref name="Kuznetsov" />

科学应用中许多自持振荡系统的仿真中，极限环具有重要意义。典型例子包括：

科学应用中许多自持振荡系统的仿真中，极限环具有重要意义。典型例子包括：

* 空气动力学中的极限环振荡<ref>Thomas, Jeffrey P.; Dowell, Earl H.; Hall, Kenneth C. (2002). "Nonlinear Inviscid Aerodynamic Effects on Transonic Divergence, Flutter, and Limit-Cycle Oscillations". ''AIAA Journal'', 40(4): 638.</ref>

* 空气动力学中的极限环振荡<ref name="Thomas">Thomas, J. P., Dowell, E. H., & Hall, K. C. (2002). Nonlinear inviscid aerodynamic effects on transonic divergence, flutter, and limit-cycle oscillations. ''AIAA Journal'', 40(4), 638–646.</ref>

* 神经元动作电位的[[霍奇金–赫胥黎模型]]（Hodgkin–Huxley model）

* 神经元动作电位的[[霍奇金–赫胥黎模型]]（Hodgkin–Huxley model）

* 糖酵解过程中的[[塞尔科夫模型]]（Sel'kov model）<ref>Sel'kov, E. E. (1968). "Self-Oscillations in Glycolysis 1. A Simple Kinetic Model". ''European Journal of Biochemistry'', 4(1): 79–86.</ref>

* 糖酵解过程中的[[塞尔科夫模型]]（Sel'kov model）<ref name="Selkov">Sel'kov, E. E. (1968). Self-oscillations in glycolysis 1. A simple kinetic model. ''European Journal of Biochemistry'', 4(1), 79–86.</ref>

* 动物基因表达、激素水平和体温的周期性变化，属于[[昼夜节律]]（circadian rhythm）<ref>Leloup, J.-C.; Gonze, D.; Goldbeter, A. (1999). ''Journal of Biological Rhythms'', 14(6): 433–448.</ref><ref>Roenneberg, T. et al. (2008). ''Current Biology'', 18(17): R826–R835.</ref>

* 动物基因表达、激素水平和体温的周期性变化，属于[[昼夜节律]]（circadian rhythm）<ref name="Leloup">Leloup, J.-C., Gonze, D., & Goldbeter, A. (1999). Limit cycle models for circadian rhythms based on transcriptional regulation in ''Drosophila'' and ''Neurospora''. ''Journal of Biological Rhythms'', 14(6), 433–448.</ref>

* 癌细胞在局限微环境中的迁移<ref>Brückner, D. B. et al. (2019). ''Nature Physics'', 15(6): 595–601.</ref>

* 癌细胞在局限微环境中的迁移<ref name="Bruckner">Brückner, D. B., Fink, A., Schreiber, C., Röttgermann, P. J. F., Rädler, J. O., & Broedersz, C. P. (2019). Stochastic nonlinear dynamics of confined cell migration in two-state systems. ''Nature Physics'', 15(6), 595–601.</ref>

* 非线性电路系统，包括[[范德波尔模型]]（Van der Pol model）<ref>Ginoux, J.-M.; Letellier, C. (2012). ''Chaos'', 22(2): 023120.</ref>

* 非线性电路系统，包括[[范德波尔模型]]（Van der Pol model）<ref name="Ginoux">Ginoux, J.-M., & Letellier, C. (2012). Van der Pol and the history of relaxation oscillations: Toward the emergence of a concept. ''Chaos'', 22(2), 023120.</ref>

== 参考文献 ==

== 参考文献 ==

<references/>

<references/>