# 相流
性质 4.3.1.1 设 A∈Md(R),定义
ϕ:R→Rd→Rd,ϕ(t,z):=etAz
则 ϕ 是 Rd 上的光滑流。
相流函数可以看作是追踪流体中每一点的运动。给定一系列的点集,随着时间的变化,点集在流动,所占的 体积 也不同。具体的内容参见 5 章的 Liouville 定理。
性质 4.3.1.2 给定系统 x˙=Ax,其相流为
ϕ(t,z)=etAz
有以下规律
- etA 保体积当且仅当 trA=0 或者 t=0;
- 当 trA>0 时,随着 t 增加,映射 etA 会以指数的速度扩张体积;反之。
- 当 trA>= 时,流在任何时候都不改变体积。
# 线性系统的共轭
定义 4.3.2.1 给定 A,B∈Md(R),称以下系统 拓扑共轭
x˙=Ax, y˙=By
如果存在同胚 F:Rd→Rd,使得 ∀t∈R, z∈Rd 均有
F(etAz)=etBF(z)
此时我们也称 F 是二系统间的一个 拓扑共轭映射。
定义 4.3.2.2 给定 A,B∈Md(R),称以下系统 光滑共轭
x˙=Ax, y˙=By
如果二系统拓扑共轭,且存在拓扑共轭映射 F,使得 F,F−1∈C1(Rd,Rd)。称 线性共轭,如果二系统拓扑共轭,且存在拓扑共轭映射 F,使得 F 是 Rd 上的线性变换。
性质 4.3.2.3 给定 A,B∈Md(R),对于线性系统 x˙=Ax, y˙=By,以下叙述等价
- 二系统光滑共轭
- 二系统线性共轭
- A∼B
Proof
设二系统光滑共轭,对应的光滑同胚映射为 F,则
F(etAz)=etBF(z)
对 z 求微分
F′(etAz)etA=etBF′(z)
令 z=0,并对 t 求偏导
F′(0)AetA=BetBF′(0)
由微分同胚知道可逆,令 t=0
F′(0)A[F′(0)]−1=B
这证明了相似。进一步,记 F′(0)=P,则
PetAP−1=etB
所以显然有线性共轭映射 F:Rd→Rd
F(z)=P−1z,F(etAz)=P−1etAPP−1z=etBF(z)
这证明了线性共轭。而显然可逆线性映射是微分同胚,所以能推出光滑共轭。
进一步讨论线性系统的拓扑共轭类。
定理 4.3.2.4 设 A,B∈Md(R) 均为双曲矩阵,则
x˙=Ax, y˙=By
拓扑共轭当且仅当
sgn(A)=sgn(B)