152
个编辑
更改
跳到导航
跳到搜索
第141行：
第141行： − + − ===庞加莱–本迪克松定理（Poincaré–Bendixson theorem)=== − ===李纳定理（Liénard theorem）=== − 每一个闭合轨迹在其内部都包含一个系统的驻点 Stationary Point，即点<math>p</math>当有<math>V(p)=0</math>.'''本迪克森-杜拉克定理 Bendixson–Dulac theorem</font>'''和'''庞加莱-本迪克森定理 Poincaré–Bendixson theorem'''分别预言了二维非线性动力系统极限环的缺失或存在。+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
→极限环存在性理论
三种方法在适用范围上逐步推广：梯度系统是最特殊的情形，李雅普诺夫函数方法将其推广到更一般的单调量，而 Dulac 准则则通过引入权函数 <math>B</math> 进一步扩大了适用范围。
三种方法在适用范围上逐步推广：梯度系统是最特殊的情形，李雅普诺夫函数方法将其推广到更一般的单调量，而 Dulac 准则则通过引入权函数 <math>B</math> 进一步扩大了适用范围。
==极限环存在性理论==
== 极限环存在性理论 ==
与排除方法相对，存在性理论回答的是：在什么条件下可以断言系统中一定存在极限环？以下两个定理是二维系统中最核心的存在性工具，各有其适用范围与局限。
=== 庞加莱–本迪克松定理 ===
'''庞加莱–本迪克松定理'''（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>
该定理的核心表述如下：
: 设平面自治系统 <math>\dot{x} = f(x)</math> 的向量场 <math>f</math> 连续可微。若某条正向轨道 <math>\gamma^+(x_0)</math> 有界，且其 ω 极限集 <math>\omega(x_0)</math> 中不含平衡点，则 <math>\omega(x_0)</math> 本身是一条周期轨道。<ref name="Perko" /><ref name="Strogatz" />
在实际应用中，该定理通常通过构造'''捕获区'''（trapping region）来使用：若能找到一个有界闭区域 <math>R</math>，使得向量场在 <math>R</math> 的边界上处处指向区域内部（即轨道一旦进入便无法离开），且 <math>R</math> 内不含平衡点，则由定理可知 <math>R</math> 内至少存在一条极限环。<ref name="Strogatz" />
该定理揭示了二维系统动力学的一个深刻约束：平面上有界轨道的长期行为只有三种可能——趋向平衡点、趋向周期轨道、或趋向由平衡点与同宿/异宿轨道构成的连接集。这也意味着二维连续系统不可能出现混沌行为，奇异吸引子只能在三维及以上系统中出现。<ref name="Perko" />
庞加莱–本迪克松定理的局限在于它只适用于平面（或球面、圆柱面等二维流形）上的系统，对三维及更高维系统不成立。此外，构造捕获区本身在一般情形下并无系统性方法，需要结合具体系统的结构来设计。
=== 李纳定理 ===
庞加莱–本迪克松定理给出了极限环存在的充分条件，但其应用依赖于捕获区的构造，往往需要逐系统分析。对于一类具有特殊结构的非线性振荡方程——'''李纳系统'''（Liénard system），存在更直接的存在唯一性判据。
李纳系统的标准形式为：
: <math>\ddot{x} + f(x)\dot{x} + g(x) = 0,</math>
等价地写成二维一阶系统：
<math display="block">
\begin{cases}
\dot{x} = y - F(x), \\
\dot{y} = -g(x),
\end{cases}
</math>
其中 <math>F(x) = \int_0^x f(s)\,ds</math>。Van der Pol 振子即是令 <math>f(x) = \mu(x^2-1)</math>、<math>g(x) = x</math> 的特殊情形。
'''李纳定理'''（Liénard's theorem）给出了该系统恰好存在唯一稳定极限环的充分条件：<ref name="Lienard">Liénard, A. (1928). Etude des oscillations entretenues. ''Revue générale de l'électricité'', 23, 901–912.</ref><ref name="Perko" />
# <math>f(x)</math> 和 <math>g(x)</math> 均为奇函数，且对 <math>x > 0</math> 有 <math>g(x) > 0</math>；
# <math>F(x)</math> 有且仅有一个正零点 <math>x = a</math>，且在 <math>x \in (0, a)</math> 上 <math>F(x) < 0</math>，在 <math>x > a</math> 上 <math>F(x) > 0</math>；
# 当 <math>x \to +\infty</math> 时，<math>F(x) \to +\infty</math>。
在上述条件下，系统在原点附近存在且仅存在一条极限环，且该极限环是稳定的。<ref name="Strogatz" />
李纳定理的意义在于将存在性与唯一性同时给出，且条件可以直接从方程的函数形式验证，无需构造捕获区。其物理直觉是：条件2要求系统在小振幅时注入能量（<math>F < 0</math> 对应负阻尼），在大振幅时耗散能量（<math>F > 0</math> 对应正阻尼），两者的精确平衡使系统收敛到唯一的周期振荡。这与Van der Pol振子的物理机制完全吻合。<ref name="Strogatz" />
两个定理各有侧重：庞加莱–本迪克松定理适用范围更广，但只给出存在性；李纳定理适用于特定结构的系统，但能同时保证唯一性。在实际分析中，两者常结合使用——先用庞加莱–本迪克松定理确认极限环存在，再用李纳条件或其他唯一性判据排除多个极限环的可能。
=
==极限环的近似定量分析==
==极限环的近似定量分析==