参考 瞿燕辉老师《常微分方程》讲义# 常系数线性方程的解定理 4.2.1 设 A∈Md(R)A\in M_d(\mathbb R)A∈Md(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.I(0,z):{x˙=Axx(0)=z的解在 R\mathbb RR 上存在且唯一,由下式给出ϕ(t,z):=etAz\phi(t,z):=e^{tA}zϕ(t,z):=etAz进一步,系统 x˙=Ax\dot x=Axx˙=Ax 的相流存在且光滑。ProofTips: Picard-Lindelöf, Peano Ordinary Differential Equation