查看“︁不变流形”︁的源代码

在[[动力系统]]的研究中，'''不变流形'''是在动力系统的作用下不变的[[拓扑流形]]。<ref>Hirsh M.W., Pugh C.C., Shub M., Invariant Manifolds, Lect. Notes. Math., 583, Springer, Berlin — Heidelberg, 1977</ref>{{le|慢流形|Slow manifold}}、[[中心流形]]、[[稳定流形]]、不稳定流形、次中心流形（subcenter manifold）和{{le|慣性流形|Inertial manifold}}都是不变流形的例子。

不变流形在从[[平衡点]]刚伸出来的时候，方向沿着动力系统 Jacobian 特征子空间的方向。

== 定义 ==
考虑这样的一个自治[[微分方程]] <math>dx/dt = f(x),\ x \in \mathbb R^n,</math> 其初值 <math>x(0)=x_0</math>的解记为流 <math>x(t)=\phi_t(x_0)</math>。如果对于任一 <math>x_0 \in S \subset \mathbb{R}^{n}</math>，在解 <math>t \mapsto \phi_t(x_0)</math> 的最大存在区间上，<math>x_0</math> 的像都在 <math>S </math> 内，集合 <math>S </math> 就被称为这一微分方程的''不变集。''也可以这么说，经过 <math>S </math> 中每个点 <math>x_0</math> 的轨迹都总是在 <math>S</math> 中。另外，如果 <math>S</math> 还是个[[流形]]，便可称其为''不变流形。''<ref>C. Chicone. Ordinary Differential Equations with Applications, volume 34 of Texts in Applied Mathematics. Springer, 2006, p.34</ref>

== 例子 ==

=== 简单的二维动力系统 ===
固定参数 <math>a</math>，考虑受下面耦合起来的微分方程组所控制的变量 <math>x(t),y(t)</math>，

: <math>\begin{align}
\frac{\mathrm dx}{\mathrm dt}=& ax-xy\\  \frac{\mathrm dy}{\mathrm dt}=& -y+x^2-2y^2.
\end{align}</math>

原点便是一平衡点。这一系统有两道穿过原点的值得探究的流形。

* 由于 <math>x=0</math> 时 <math>x</math>-方向的方程有 <math>\tfrac{\mathrm dx}{\mathrm dt}=0</math>，故而纵轴 <math>x=0</math> 是不变的，这一不变流形是原点的[[稳定流形]]（当 <math>a\geq0</math>），因为所有 <math>x(0)=0,\ y(0)>-1/2</math> 的初值条件都会导致解渐进地靠近原点。
* <math>a</math> 不管取何值，抛物线 <math>y=x^2/(1+2a)</math> 都是不变的。 考虑这一时间导数 <math>\tfrac{\mathrm d}{\mathrm dt}\left(\tfrac{y-x^2}{1+2a}\right)</math> ，它在 <math>y=\tfrac{x^2}{1+2a}</math> 上为零，符合不变流形的要求，可见该抛物线是不变流形。当 <math>a>0</math>，这一抛物线是原点的不稳定流形。当 <math>a=0</math> ，这一抛物线是原点的[[中心流形]]，更准确地说是[[慢流形]]。
* 当 <math>a<0</math>，原点的稳定流形只有一道，所有的点 <math>(x,y),\ y>-1/2</math> 都是该[[稳定流形]]中的点。

== 非自治动力系统中的不变流形 ==
以下微分方程

: <math>\frac{\mathrm dx}{\mathrm dt} = f(x,t),\ x \in \mathbb R^n,\ t \in \mathbb R,</math>

表示一个{{le|非自治动力系统|Non-autonomous system (mathematics)}}，它的解记作 <math>x(t;t_0,x_0)=\phi^t_{t_0}(x_0)</math>，初值条件为 <math>x(t_0;t_0,x_0)=x_0</math>。在这样的系统的扩展相空间 <math>  \mathbb R^n \times \mathbb R </math> 中，任一初始曲面 <math> M_0\subset \mathbb R^n</math> 可生成一不变流形

: <math>{\mathcal M}=\cup_{t\in \mathbb R}\phi^t_{t_0}(M_0).</math>

在这一大族不变流形中，如何找出那些对整个系统动态性质影响最大的那些流形，是一个非常基础性的问题。在非自治动力系统的扩展相空间中的这些最有影响力的不变流形又被称为[[拉格朗日拟序结构]]（Lagrangian Coherent Structures）<ref name="Haller2015">{{Cite journal |last1=Haller |first1=G. |year=2015 |title=Lagrangian Coherent Structures |journal=Annual Review of Fluid Mechanics |volume=47 |issue=1 |pages=137–162 |bibcode=2015AnRFM..47..137H |doi=10.1146/annurev-fluid-010313-141322}}</ref>。

== 相關條目 ==
* {{le|双曲集|Hyperbolic_set}}
* [[拉格朗日拟序结构]]
* {{le|波譜子流形|Spectral submanifold}}

== 参考资料 ==
{{Reflist|2}}

[[Category:动力系统]]
[[Category:数学分析]]