一阶非齐次线性微分方程组的常数变易公式

内容来源

常微分方程(第四版) (王高雄,周之铭,朱思铭,王寿松) 高等教育出版社

• 一阶非齐次线性微分方程组

$$x^{\prime }=A(t)x+f(t)\text{\hspace{1em}(1)}$$

其中 $A(t)$ 是区间 $[a,b]$ 上连续的 $n\times n$ 矩阵，$f(t)$ 是同一区间上连续的 $n$ 维向量

初值条件 $x(t_0)=\eta$

• 对应的齐次线性微分方程组

$$x^{\prime }=A(t)x\text{\hspace{1em}(2)}$$

$\Phi (t)$ 是其基解矩阵

则 $(2)$ 的通解为

$$\phi (t)=\Phi (t)c$$

将 $c$ 变易为 $t$ 的向量函数

$$\phi (t)=\Phi (t)c(t)$$

代入 $(1)$ 得

$${\Phi }^{\prime }(t)c(t)+\Phi (t)c^{\prime }(t)=A(t)\Phi (t)c(t)+f(t)$$

因为 $\Phi (t)$ 是 $(2)$ 的基解矩阵，所以 ${\Phi }^{\prime }(t)=A(t)\Phi (t)$，那么

$$\Phi (t)c^{\prime }(t)=f(t)$$

移项积分得

$$c(t)={\int }_{t_0}^t{\Phi }^{-1}(s)f(s)\mathrm{d}s$$

这样 $c(t_0)=0$

所以 $(1)$ 的解为

$$\phi (t)=\Phi (t){\int }_{t_0}^t{\Phi }^{-1}(s)f(s)\mathrm{d}s$$

且满足初值条件 $\phi (t_0)=0$

所以满足初值条件 $\phi (t_0)=\eta$ 的解为

$$\phi (t)=\Phi (t){\Phi }^{-1}(t_0)\eta +\Phi (t){\int }_{t_0}^t{\Phi }^{-1}(s)f(s)\mathrm{d}s$$