152
个编辑
更改
跳到导航
跳到搜索
第274行：
第274行： + + + + + + + + + + + + + + + + + + + + + + + +
→高维系统中的通用分析工具
在'''确认'''极限环存在方面，'''霍普夫分岔理论'''（见[[#分岔与极限环的产生和消亡]]）同样适用于高维系统：当平衡点的特征值跨越虚轴时，可以严格证明附近产生极限环，这一结论在任意维度下均成立。<ref name="Kuznetsov" />
在'''确认'''极限环存在方面，'''霍普夫分岔理论'''（见[[#分岔与极限环的产生和消亡]]）同样适用于高维系统：当平衡点的特征值跨越虚轴时，可以严格证明附近产生极限环，这一结论在任意维度下均成立。<ref name="Kuznetsov" />
'''示例（李雅普诺夫函数排除极限环）：''' 考虑三维系统
<math display="block">
\begin{cases}
\dot{x} = -x + y, \\
\dot{y} = -x - y + z, \\
\dot{z} = -2z.
\end{cases}
</math>
取 <math>V(x,y,z) = x^2 + y^2 + z^2</math>，计算沿轨道的时间导数：
<math display="block">
\dot{V} = 2x\dot{x} + 2y\dot{y} + 2z\dot{z}
= 2x(-x+y) + 2y(-x-y+z) + 2z(-2z)
= -2x^2 - 2y^2 - 4z^2 + 2xy - 2xy + 2yz.
</math>
化简得
<math display="block">
\dot{V} = -2x^2 - 2y^2 - 4z^2 + 2yz
</math>。
由于 <math>2yz \leq y^2 + z^2</math>（由 <math>(y-z)^2 \geq 0</math> 展开得到），可得
<math display="block">
\dot{V} \leq -2x^2 - y^2 - 3z^2 < 0
</math>
在全空间（原点除外）恒成立。因此 <math>V</math> 沿任意非平凡轨道严格单调递减，系统在全空间内不存在极限环。<ref name="Perko" /><ref name="Strogatz" />
=== 高维系统中的稳定性分析：Floquet 理论 ===
=== 高维系统中的稳定性分析：Floquet 理论 ===