更改

== 分岔与极限环的产生和消亡 ==

== 分岔与极限环的产生和消亡 ==

在动力系统中，极限环的产生、消亡与结构变化通常与系统参数的变化密切相关。当参数跨越某一临界值时，系统的定性行为发生突变，这一现象称为'''分岔'''（bifurcation）。分岔可分为两类：'''局部分岔'''（霍普夫分岔、鞍结分岔、倍周期分岔、环面分岔等）仅涉及极限环邻域内的局部行为；'''全局分岔'''（同宿分岔、异宿分岔等）则涉及相空间的全局结构。本节仅就分岔与极限环的直接关联作简要介绍，以下各类分岔的核心结论均在满足相应非退化条件下成立，各定理的完整条件与证明详见[[分岔理论]]词条及各类分岔的对应词条。除倍周期分岔仅适用于三维及以上连续自治系统外，以下各类分岔均适用于任意 <math>n</math> 维系统。

在动力系统中，极限环的产生、消亡与结构变化通常与系统参数的变化密切相关。当参数跨越某一临界值时，系统的定性行为发生突变，这一现象称为'''[[分岔]]'''（bifurcation）。分岔可分为两类：'''[[局部分岔]]'''（[[霍普夫分岔]]、[[鞍结分岔]]、[[倍周期分岔]]、[[环面分岔]]等）仅涉及极限环邻域内的局部行为；'''[[全局分岔]]'''（[[同宿分岔]]、[[异宿分岔]]等）则涉及相空间的全局结构。本节仅就分岔与极限环的直接关联作简要介绍，以下各类分岔的核心结论均在满足相应非退化条件下成立，各定理的完整条件与证明详见[[分岔理论]]词条及各类分岔的对应词条。除倍周期分岔仅适用于三维及以上连续自治系统外，以下各类分岔均适用于任意 <math>n</math> 维系统。

[[文件:超临界霍普夫分岔示意.png|thumb|none|400px|超临界霍普夫分岔示意图。横轴为参数 <math>\mu</math>，纵轴为振幅 <math>A</math>。当 <math>\mu < 0</math> 时平衡点稳定；当 <math>\mu > 0</math> 时平衡点失稳，系统产生稳定极限环。]]

[[文件:超临界霍普夫分岔示意.png|thumb|none|400px|超临界霍普夫分岔示意图。横轴为参数 <math>\mu</math>，纵轴为振幅 <math>A</math>。当 <math>\mu < 0</math> 时平衡点稳定；当 <math>\mu > 0</math> 时平衡点失稳，系统产生稳定极限环。]]

* '''[[霍普夫分岔]]'''（Hopf bifurcation）：当平衡点的一对复特征值实部跨越零且满足横截条件与非退化条件时，平衡点失稳并在附近产生极限环。超临界情形产生稳定极限环，亚临界情形产生不稳定极限环，后者通常与一个已存在的稳定极限环共存。霍普夫分岔是高维系统中为数不多的可以严格证明极限环存在的情形之一。<ref name="Kuznetsov" /><ref name="GH" />

* '''[[霍普夫分岔]]'''（Hopf bifurcation）：当平衡点的一对复特征值实部跨越零且满足横截条件与非退化条件时，平衡点失稳并在附近产生极限环。超临界情形产生稳定极限环，亚临界情形产生不稳定极限环，后者通常与一个已存在的稳定极限环共存。霍普夫分岔是高维系统中为数不多的可以严格证明极限环存在的情形之一。<ref name="Kuznetsov" /><ref name="GH" />

* '''[[鞍结分岔]]'''（saddle-node bifurcation of periodic orbits）：一条稳定极限环与一条不稳定极限环在参数变化下逐渐靠近，在临界参数值处合并为半稳定极限环后同时消亡。当系统存在双稳态时，这一机制可导致'''滞后现象'''（hysteresis）。<ref name="Kuznetsov" /><ref name="Strogatz" />

* '''[[鞍结分岔]]'''（saddle-node bifurcation of periodic orbits）：一条稳定极限环与一条不稳定极限环在参数变化下逐渐靠近，在临界参数值处合并为半稳定极限环后同时消亡。当系统存在双稳态时，这一机制可导致'''[[迟滞现象]]'''（hysteresis）。<ref name="Kuznetsov" /><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" />

== 近似与数值方法 ==

== 近似与数值方法 ==