首页 > 其他分享 >高等数学 7.10常系数线性微分方程组解法举例

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

时间:2024-10-26 19:09:16浏览次数:1  
标签:7.10 方程组 cfrac tag 微分方程 cases 高等数学 解法 mathrm

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

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

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

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

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

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

例1 解方程组

\[\begin{cases} \cfrac{\mathrm{d}y}{\mathrm{d}x} = 3y - 2z \quad (1) \\ \cfrac{\mathrm{d}z}{\mathrm{d}x} = 2y - z \quad (2) \\ \end{cases} \]

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

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

\[y = \cfrac{1}{2} \left( \cfrac{\mathrm{d}z}{\mathrm{d}x} + z \right) \tag{3} \]

对上式两端求导,有

\[\cfrac{\mathrm{d}y}{\mathrm{d}x} = \cfrac{1}{2} \left( \cfrac{\mathrm{d}^2 z}{\mathrm{d}x^2} + \cfrac{\mathrm{d}z}{\mathrm{d}x} \right) \tag{4} \]

把 \((3)\) 、\((4)\) 代入 \((1)\) 并化简,得

\[\cfrac{\mathrm{d}^2 z}{\mathrm{d}x^2} - 2 \cfrac{\mathrm{d}z}{\mathrm{d}x} + z = 0 \]

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

\[z = (C_1 + C_2 x) \mathrm{e}^x \tag{5} \]

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

\[y = \cfrac{1}{2} (2C_1 + C_2 + 2C_2 x) \mathrm{e}^x \tag{6} \]

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

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

\[\left . y \right|_{x = 0} = 1, \quad \left . z \right|_{x = 0} = 0 \]

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

\[\begin{cases} 1 = \cfrac{1}{2} (2C_1 + C_2) \\ 0 = C_1 \end{cases} \]

由此求得

\[C_1 = 0, \quad C_2 = 2 \]

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

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

例2 解方程组

\[\begin{cases} \cfrac{\mathrm{d}^2 x}{\mathrm{d}t^2} + \cfrac{\mathrm{d}y}{\mathrm{d}t} - x = \mathrm{e}^t \\ \\ \cfrac{\mathrm{d}^2y}{\mathrm{d}t^2} + \cfrac{\mathrm{d}x}{\mathrm{d}t} + y = 0 \end{cases} \]

解:用记号 \(\mathrm{D}\) 表示 \(\cfrac{\mathrm{d}}{\mathrm{d}t}\),则方程组可记作

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

我们可以类似于解代数方程组那样消去一个未知数,例如为消去 \(x\) ,可做如下运算:

\[\begin{align*} (7) - \mathrm{D}(8) &: -x - \mathrm{D}^3 y = \mathrm{e}^t \\ (8) - \mathrm{D}(9) &: (-\mathrm{D}^4 + \mathrm{D}^2 + 1)y = \mathrm{D} \mathrm{e}^t \end{align*} \tag{9} \]

\[(- \mathrm{D}^4 + \mathrm{D}^2 + 1)y = \mathrm{e}^t \tag{10} \]

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

\[-r^4 + r^2 + 1 = 0 \]

解得特征根为

\[r_{1, 2} = \pm \alpha = \pm \sqrt{\cfrac{1 + \sqrt 5}{2}} , \quad r_{3, 4} = \pm \beta \mathrm{i} = \pm \mathrm{i} \sqrt{\cfrac{\sqrt 5 - 1}{2}} \]

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

\[y = C_1 \mathrm{e}^{- \alpha t} + C_2 \mathrm{e}^{\alpha t} + C_3 \cos{\beta t} + C_4 \sin{\beta t} + \mathrm{e}^t \tag{11} \]

再求 \(x\)。由 \((9)\) 式,即有

\[x = - \mathrm{D}^3 y - \mathrm{e}^t \]

以 \((11)\) 式代入上式,即得

\[x = \alpha^3 C_1 \mathrm{e}^{- \alpha t} - \alpha^3 C_2 \mathrm{e}^{\alpha t} - \beta^3 C_3 \sin{\beta t} + \beta^3 C_4 \cos{\beta t} - 2 \mathrm{e}^t \tag{12} \]

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

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

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

标签:7.10,方程组,cfrac,tag,微分方程,cases,高等数学,解法,mathrm
From: https://www.cnblogs.com/mowenpan1995/p/18504378/gdsx7-10cxsxxwffczjfjl

相关文章

  • 高等数学 7.9欧拉方程
    形如\[x^ny^{(n)}+p_1x^{n-1}y^{(n-1)}+\cdots+p_{n-1}xy'+p_ny=f(x)\tag{1}\]的方程(其中\(p_1,p_2,\cdots,p_n\)为常数),叫做欧拉方程。作变换\(x=\mathrm{e}^t\)或\(t=\lnx\),将自变量\(x\)换成\(t\),有\[\begin{align*}\cfrac{......
  • 2024.7.10
    2024.7.10T1题面请构造一颗有\(a\)个度数为\(1\)的点与\(b\)个度数为\(3\)的点的树,无解输出\(0\)\(a,b\le200\)题解先满足\(3\)度点,再满足\(1\)度点即可T2题面给定一个\(n\)个点\(m\)条边的有向图,便有边权\(w\),请找一条从\(1\)到\(n\)的路径,使得......
  • 高等数学 7.8常系数非齐次线性微分方程
    目录一、\(f(x)=\mathrm{e}^{\lambdax}P_m(x)\)型二、\(f(x)=\mathrm{e}^{\lambdax}[P_l(x)\cos\omegax+Q_n(x)\sin\omegax]\)型二阶常系数非齐次线性微分方程的一般形式是\[y''+py'+qy=f(x)\tag{1}\]其中\(p,q\)是常数由之前的内容可知,求二阶......
  • 极狐GitLab 发布安全版本16.10.10, 16.9.11, 16.8.10, 16.7.10, 16.6.10, 16.5.10, 16
    近期,极狐GitLab针对16.x版本正式推出安全版本16.10.10,16.9.11,16.8.10,16.7.10,16.6.10,16.5.10,16.4.7,16.3.9,16.2.11,16.1.8,16.0.10,用来减缓安全漏洞CVE-2024-45409带来的安全风险。极狐GitLab正式推出针对GitLabCE老旧版本免费用户的GitLab专业升级服......
  • 券后价复杂根源和解法
    券后价领域划分不清楚券后价在电商系统中是个很奇怪的存在无论是按商品领域还是营销领域划分,它都不合适归类到这两者中间。结果就是券后价是个很不理想的拆分逻辑。券后价可以理解是商品的价格属性,这个属性是由营销来计算控制。领域划分可以理解为商品领域,营销做计算!核心承接方......
  • 高等数学 7.7常系数齐次线性微分方程
    在二阶齐次线性微分方程\[y''+P(x)y'+Q(x)y=0\tag{1}\]中,如果\(y',y\)的系数\(P(x),Q(x)\)均为常数,即\((1)\)式成为\[y''+py'+qy=0\tag{2}\]其中\(p,q\)是常数,那么称\((2)\)为二阶常系数齐次线性微分方程。如果\(p,q\)不全为常数,就称\((1......
  • 高等数学 7.6高阶线性微分方程
    目录一、线性微分方程的解的结构*二、常数变易法方程\[\cfrac{\mathrm{d}^2y}{\mathrm{d}x^2}+P(x)\cfrac{\mathrm{d}y}{\mathrm{d}x}+Q(x)=f(x)\tag{1}\]叫做二阶线性微分方程。当方程右端\(f(x)\equiv0\)时,方程叫做齐次的;当\(f(x)\not\equiv0\)时,方程叫做非......
  • 【小 w 的代数】(提供一种 n^2 log 的解法)
    前言:卖点记录CTH的发言CTH:你这真是n^3的CTH:我也不知道你线段树优化个啥,\(n^3\logn\)CTH:你优化到哪了啊CTH:······你从赛时打这个题到现在11个小时了,你从\(n^3\)打到\(n^3\logn\)了CTH:······再怎么着,我也不会一道题调三天CTH:我一直都说这么打......
  • 高等数学 7.5可降阶的高阶微分方程
    目录一、\(y^{(n)}=f(x)\)型的微分方程二、\(y''=f(x,y')\)型的微分方程三、\(y''=f(y,y')\)型的微分方程一、\(y^{(n)}=f(x)\)型的微分方程微分方程\[y^{(n)}=f(x)\tag{1}\]的右端仅含有自变量\(x\)。容易看出,只要把\(y^{(n-1)}\)作为新的未知函数,那......
  • 高等数学 7.4一阶线性微分方程
    @目录一、线性方程*二、伯努利方程一、线性方程方程\[\cfrac{\mathrm{d}y}{\mathrm{d}x}+P(x)y=Q(x)\tag{1}\]叫做一阶线性微分方程,因为它对于未知函数\(y\)及其导数是一次方程。如果\(Q(x)\equiv0\),那么方程\((1)\)称为齐次的;如果\(Q(x)\not\equiv0\),那么方......