参考 瞿燕辉老师《常微分方程》讲义

# 相流

性质 4.3.1.1AMd(R)A\in M_d(\mathbb R),定义

ϕ:RRdRd,ϕ(t,z):=etAz\phi:\mathbb R\to \mathbb R^d\to \mathbb R^d,\quad \phi(t,z):=e^{tA}z

ϕ\phiRd\mathbb R^d 上的光滑流。

相流函数可以看作是追踪流体中每一点的运动。给定一系列的点集,随着时间的变化,点集在流动,所占的 体积 也不同。具体的内容参见 5 章的 Liouville 定理。

性质 4.3.1.2 给定系统 x˙=Ax\dot x=Ax,其相流为

ϕ(t,z)=etAz\phi(t,z)=e^{tA}z

有以下规律

  1. etAe^{tA} 保体积当且仅当 trA=0\mathrm{tr}A=0 或者 t=0t=0
  2. trA>0\mathrm{tr}A>0 时,随着 tt 增加,映射 etAe^{tA} 会以指数的速度扩张体积;反之。
  3. trA>=\mathrm{tr}A>= 时,流在任何时候都不改变体积。

# 线性系统的共轭

定义 4.3.2.1 给定 A,BMd(R)A,B\in M_d(\mathbb R),称以下系统 拓扑共轭

x˙=Ax,y˙=By\dot x=Ax,\ \dot y=By

如果存在同胚 F:RdRdF:\mathbb R^d\to \mathbb R^d,使得 tR,zRd\forall t\in\mathbb R,\ z\in\mathbb R^d 均有

F(etAz)=etBF(z)F(e^{tA}z)=e^{tB}F(z)

此时我们也称 FF 是二系统间的一个 拓扑共轭映射

定义 4.3.2.2 给定 A,BMd(R)A,B\in M_d(\mathbb R),称以下系统 光滑共轭

x˙=Ax,y˙=By\dot x=Ax,\ \dot y=By

如果二系统拓扑共轭,且存在拓扑共轭映射 FF,使得 F,F1C1(Rd,Rd)F,F^{-1}\in C^1(\mathbb R^d,\mathbb R^d)。称 线性共轭,如果二系统拓扑共轭,且存在拓扑共轭映射 FF,使得 FFRd\mathbb R^d 上的线性变换。

性质 4.3.2.3 给定 A,BMd(R)A,B\in M_d(\mathbb R),对于线性系统 x˙=Ax,y˙=By\dot x=Ax,\ \dot y=By,以下叙述等价

  1. 二系统光滑共轭
  2. 二系统线性共轭
  3. ABA\sim B
Proof

设二系统光滑共轭,对应的光滑同胚映射为 FF,则

F(etAz)=etBF(z)F(e^{tA}z)=e^{tB}F(z)

zz 求微分

F(etAz)etA=etBF(z)F'(e^{tA}z)e^{tA}=e^{tB}F'(z)

z=0z=0,并对 tt 求偏导

F(0)AetA=BetBF(0)F'(0)Ae^{tA}=Be^{tB}F'(0)

由微分同胚知道可逆,令 t=0t=0

F(0)A[F(0)]1=BF'(0)A[F'(0)]^{-1}=B

这证明了相似。进一步,记 F(0)=PF'(0)=P,则

PetAP1=etBPe^{tA}P^{-1}=e^{tB}

所以显然有线性共轭映射 F:RdRdF:\mathbb R^d\to\mathbb R^d

F(z)=P1z,F(etAz)=P1etAPP1z=etBF(z)F(z)=P^{-1}z,\quad F(e^{tA}z)=P^{-1}e^{tA}PP^{-1}z=e^{tB}F(z)

这证明了线性共轭。而显然可逆线性映射是微分同胚,所以能推出光滑共轭。

进一步讨论线性系统的拓扑共轭类。

定理 4.3.2.4A,BMd(R)A,B\in M_d(\mathbb R) 均为双曲矩阵,则

x˙=Ax,y˙=By\dot x=Ax,\ \dot y=By

拓扑共轭当且仅当

sgn(A)=sgn(B)\mathrm{sgn}(A)=\mathrm{sgn}(B)