高等数学 7.10常系数线性微分方程组解法举例

在研究某些实际问题时，会遇到由几个微分方程联立起来共同确定几个具有同一自变量的函数的情况。这些联立的微分方程称为微分方程组。

如果微分方程组中的每一个微分方程都是常系数线性微分方程，那么，这种微分方程组就叫做常系数线性微分方程组。

对于常系数线性微分方程组，我们可以用下述的方法求解它：

第一步 从方程组中消去一些未知函数及其各阶导数，得到只含有一个未知函数的高阶常系数线性微分方程。

第二步 解此高阶微分方程，求出满足该方程的未知函数。

第三步 把已求得的函数代入原方程组，一般来说，不必经过积分就可求出其余未知函数。

例1 解方程组

{\begin{cases} \frac{d y}{d x} = 3 y - 2 z (1) \\ \frac{d z}{d x} = 2 y - z (2) \end{cases}

解：这是含有两个未知函数 $y (x), z (x)$ 的由两个一阶常系数线性方程组成的方程组。

设法消去未知函数 $y$ 。由 $(2)$ 式得

\begin{matrix} (3) & y = \frac{1}{2} (\frac{d z}{d x} + z) \end{matrix}

对上式两端求导，有

\begin{matrix} (4) & \frac{d y}{d x} = \frac{1}{2} (\frac{d^{2} z}{d x^{2}} + \frac{d z}{d x}) \end{matrix}

把 $(3)$ 、 $(4)$ 代入 $(1)$ 并化简，得

\frac{d^{2} z}{d x^{2}} - 2 \frac{d z}{d x} + z = 0

这是一个二阶常系数线性方程，它的通解是

\begin{matrix} (5) & z = (C_{1} + C_{2} x) e^{x} \end{matrix}

再把 $(5)$ 代入 $(3)$ 得

\begin{matrix} (6) & y = \frac{1}{2} (2 C_{1} + C_{2} + 2 C_{2} x) e^{x} \end{matrix}

将 $(5) 、 (6)$ 联立起来，就得到所给方程组的通解。

如果我们要得到方程组满足初值条件

{y |}_{x = 0} = 1, {z |}_{x = 0} = 0

的特解，只需将此条件代入 $(6)$ 和 $(5)$ 式，得

{\begin{cases} 1 = \frac{1}{2} (2 C_{1} + C_{2}) \\ 0 = C_{1} \end{cases}

由此求得

C_{1} = 0, C_{2} = 2

于是所给微分方程组满足上述初值条件的特解为

{\begin{cases} y = (1 + 2 x) e^{x} \\ z = 2 x e^{x} \end{cases}

例2 解方程组

{\begin{cases} \frac{d^{2} x}{d t^{2}} + \frac{d y}{d t} - x = e^{t} \\ \frac{d^{2} y}{d t^{2}} + \frac{d x}{d t} + y = 0 \end{cases}

解：用记号 $D$ 表示 $\frac{d}{d t}$ ，则方程组可记作

{\begin{cases} (D^{2} - 1) x + D y = e^{t} (7) \\ D x + (D^{2} + 1) y = 0 (8) \end{cases}

我们可以类似于解代数方程组那样消去一个未知数，例如为消去 $x$ ，可做如下运算：

\begin{matrix} (9) & \begin{aligned} (7) - D (8) & : - x - D^{3} y = e^{t} \\ (8) - D (9) & : (- D^{4} + D^{2} + 1) y = D e^{t} \end{aligned} \end{matrix}

即

\begin{matrix} (10) & (- D^{4} + D^{2} + 1) y = e^{t} \end{matrix}

$(10)$ 式微四阶非齐次线性方程，其特征方程为

- r^{4} + r^{2} + 1 = 0

解得特征根为

r_{1, 2} = \pm α = \pm \sqrt{\frac{1 + \sqrt{5}}{2}}, r_{3, 4} = \pm β i = \pm i \sqrt{\frac{\sqrt{5} - 1}{2}}

容易求得一个特解 $y^{*} = e^{t}$ ，于是 $(10)$ 的通解为

\begin{matrix} (11) & y = C_{1} e^{- α t} + C_{2} e^{α t} + C_{3} \cos β t + C_{4} \sin β t + e^{t} \end{matrix}

再求 $x$ 。由 $(9)$ 式，即有

x = - D^{3} y - e^{t}

以 $(11)$ 式代入上式，即得

\begin{matrix} (12) & x = α^{3} C_{1} e^{- α t} - α^{3} C_{2} e^{α t} - β^{3} C_{3} \sin β t + β^{3} C_{4} \cos β t - 2 e^{t} \end{matrix}

将 $(11)$ 和 $(12)$ 两个函数联立，就是所求方程组的通解。

这里要注意，在求得一个未知函数以后，再求另一个未知函数式，一般不再积分（积分就会出现新的任意常数，从 $(11) 、 (12)$ 两式可知两式中的任意常数之间有着确定的关系）。

也可利用行列式接上述方程组。解法如下图：
行列式解线性微分方程组

posted @ 2024-10-26 19:17 暮颜阅读(85) 评论(0) 编辑收藏举报

刷新页面返回顶部

登录后才能查看或发表评论，立即登录或者逛逛博客园首页

相关博文：

· 高等数学 7.6高阶线性微分方程

· 高等数学 7.7常系数齐次线性微分方程

· 【习题】5.2 一阶常系数线性微分方程组

· 常微分方程

· 高等数学·微分方程

公告

昵称：暮颜
园龄： 6年4个月
粉丝： 1
关注： 1

+加关注

2025年3月

日

一

二

三

四

五

六

随笔分类 (171)

随笔档案 (91)

文章分类 (1)

高等数学(1)

文章档案 (1)

2021年9月(1)

阅读排行榜

评论排行榜

1. 给博客加了个音乐播放器(4)

乘风

不自见，故明;不自是，故彰; 不自伐，故有功;不自矜，故长。

高等数学 7.10常系数线性微分方程组解法举例

公告

常用链接

最新随笔

我的标签

积分与排名

随笔分类 (171)

随笔档案 (91)

文章分类 (1)

文章档案 (1)

阅读排行榜

评论排行榜

最新评论

乘 风

不自见，故明;不自是，故彰; 不自伐，故有功;不自矜，故长。

高等数学 7.10常系数线性微分方程组解法举例

公告

常用链接

最新随笔

我的标签

积分与排名

随笔分类 (171)

随笔档案 (91)

文章分类 (1)

文章档案 (1)

阅读排行榜

评论排行榜

最新评论

乘风