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

# 常系数线性方程的解

定理 4.2.1AMd(R)A\in M_d(\mathbb R),则初值问题

I(0,z):{x˙=Axx(0)=z\mathcal I(0,z):\left\{\begin{array}{ll} \dot x=Ax\\ x(0)=z\end{array}\right.

的解在 R\mathbb R 上存在且唯一,由下式给出

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

进一步,系统 x˙=Ax\dot x=Ax 的相流存在且光滑。

Proof

Tips: Picard-Lindelöf, Peano