不变流形

在动力系统的研究中，不变流形是在动力系统的作用下不变的拓扑流形。Template:Le、中心流形、稳定流形、不稳定流形、次中心流形（subcenter manifold）和Template:Le都是不变流形的例子。

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

定义

考虑这样的一个自治微分方程 $dx/dt=f(x),x\in {ℝ}^n,$ 其初值 $x(0)=x_0$的解记为流 $x(t)={\varphi }_t(x_0)$。如果对于任一 $x_0\in S\subset {ℝ}^n$，在解 $t\mapsto {\varphi }_t(x_0)$ 的最大存在区间上，$x_0$ 的像都在 $S$ 内，集合 $S$ 就被称为这一微分方程的不变集。也可以这么说，经过 $S$ 中每个点 $x_0$ 的轨迹都总是在 $S$ 中。另外，如果 $S$ 还是个流形，便可称其为不变流形。

例子

简单的二维动力系统

固定参数 $a$，考虑受下面耦合起来的微分方程组所控制的变量 $x(t),y(t)$，

$\begin{array}{cc}\frac{\mathrm{d}x}{\mathrm{d}t}=& ax-xy\\ \frac{\mathrm{d}y}{\mathrm{d}t}=& -y+x^2-2y^2.\end{array}$

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

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

非自治动力系统中的不变流形

以下微分方程

$\frac{\mathrm{d}x}{\mathrm{d}t}=f(x,t),x\in {ℝ}^n,t\in ℝ,$

表示一个Template:Le，它的解记作 $x(t;t_0,x_0)={\varphi }_{t_0}^t(x_0)$，初值条件为 $x(t_0;t_0,x_0)=x_0$。在这样的系统的扩展相空间 ${ℝ}^n\times ℝ$ 中，任一初始曲面 $M_0\subset {ℝ}^n$ 可生成一不变流形

$ℳ={\cup }_{t\in ℝ}{\varphi }_{t_0}^t(M_0).$

在这一大族不变流形中，如何找出那些对整个系统动态性质影响最大的那些流形，是一个非常基础性的问题。在非自治动力系统的扩展相空间中的这些最有影响力的不变流形又被称为拉格朗日拟序结构（Lagrangian Coherent Structures）。

相關條目

• Template:Le
• 拉格朗日拟序结构
• Template:Le