《微积分学(华中科技大学数学系编)》(高等教育出版社)以及《高等数学(第三版)》(人民卫生出版社) 在推导二阶常系数齐次线性微分方程通解时,使用的均是一种 “受启发法” 的方式, 如 “在解一阶常系数齐次线性微分方程时,得到它的通解为指数函数 $y=Ce^{-\int p(x)\mathrm{d}x}$。 受此启发,假定微分方程 $y''+py'+qy=0$ 也有指数函数形式的解, 即 $y=e^{rx}$ 是微分方程 $y''+py'+qy=0$ 的解,则将 $y=e^{rx}$ 和 \(y''=re^{rx}\),\(y''=r^2e^{rx}\) 代入微分方程 \(y''+py'+qy=0\)......” 由此,便推出了特征根;再如其在推导特征根两根相等时通解的求法时,似乎又是受了某种启发, 直接猜测 “ $y_2=u(x)e^{rx}$ 为微分方程 $y''+py'+qy=0$ 的另一个特解”。
这样,在推导二阶常系数齐次线性微分方程通解时,竟有两个关键之处使用了天才式的猜测, 显得生硬突兀,不够自然,而且很不容易让人理解,并且会让人误解为 “这似乎是在碰运气“,没有很好得体现数学的美感。
回顾初中时解二次方程 $ax^2+bx+c=0$,有一种策略是将原方程化成 $a(x+k)^2+m=0$ 的形式(其中 $k$、$m$ 为与 $a$、$b$、$c$ 相关的待定系数),继而$x=\pm\sqrt{\frac{-m}{a}}-k$,从而达到了降次的目的。同 样的,我们也可以将 $y''+py'+qy=0$ 化成 $(y'+ay)’+b(y'+ay)=0$ 的形式(其中 $a$,$b$ 为与 $p$,$q$ 相关的待定系数),从而达到降阶的目的,则有:
系数对应 $\Rightarrow$ $a+b=p$,$ab=q$
再由韦达定理
\[\begin{aligned} &\Rightarrow a,b\space\text{是一元二次方程}\space x^2-px+q=0\space\text{的两根} \\ &\Rightarrow a,b=\frac{p\pm\sqrt{p^2-4q}}{2} \end{aligned}\]
为便于书写,不妨令 $u=y'+ay$,则
\[u’+bu=0\]
运用公式解得:
\[u=C_1 e^{−bx}\]
\[\Rightarrow y'+ay=C_1 e^{-bx}\]
运用公式解得:
\[\begin{aligned} y&=e^{-ax}(\int C_1 e^{-bx}e^{ax}\mathrm{d}x+c_2) \\ &=e^{-ax}(\int C_1 e^{(a-b)x}\mathrm{d}x+c_2) \end{aligned}\]
分情况讨论:
(a) $a-b \neq 0$ 即 $p^2−4q \neq 0$ 时
(a.1) 若 $p^2 − 4q > 0$
\[\begin{aligned} y&=e^{-ax}(\frac{C_1}{a-b}e^{(a−b)x} + C_2) \\ &=C_1e^{-bx}+C_2 e^{-ax} \end{aligned}\]
比较《高等数学(第三版)》上的过程, 显然,$a$,$b$ 是特征方程 $x^2+px+q=0$ 两根的相反数,不妨令 $a=-r_2$,$b=-r_1$,则
\[y=C_1 e^{-bx}+C_2 e^{-\alpha x}=C_1 e^{r_1 x}+C_2 e^{r_2 x}\]
结果与《高等数学(第三版)》上相同;
(a.2) 若 $p^2 − 4q < 0$
方程 $x^2-p𝑥+q=0$ 有一对共轭复根
\[a, b=\frac{p\pm\sqrt{p^2-4q}}{2}\]
比较《高等数学(第三版)》上的过程,不妨令 $a, b=-\alpha\pm i \beta$,则
\[\begin{aligned} y&=C_1 e^{-bx}+C_2 e^{-ax} \\ &=C_1e^{(\alpha+i\beta)x}+C_2 e^{(\alpha-i\beta)x} \\ &=e^{\alpha x}(C_1 e^{i\beta x}+C_2 e^{-i\beta x}) \end{aligned}\]
由欧拉公式:
\[\begin{aligned} y&=e^{\alpha x}[C_1(\cos{\beta x}+i\sin{\beta x})+C_2(\cos{\beta x}-i\sin{\beta x}) ] \\ &=e^{\alpha x}(C_1 cos{\beta x}+C_2 sin{\beta x}) \end{aligned}\]
结果与《高等数学(第三版)》上相同
(b) 若 $a-b=0$ 即 $p^2-4q=0$
\[y=e^{-a x}(C_1 x+C_2)\]
比较《高等数学(第三版)》上的过程, 显然,$a=b=\frac{p}{2}$ 是特征方程 $x^2+px+q=0$ 的唯一根的相反数,不妨令 $a=b=-r$,则
\[y=e^{rx}(C_1 x+C_2)\]
结果也与《高等数学(第三版)》上相同。
所有情况的结果均与《高等数学(第三版)》上相同,因此,此种解法结果正确。
这种解法的好处是:
- 推导过程自然,顺理成章;
- 以解一阶线性微分方程为基础推导得出,多处直接使用公式,方法更简洁易懂;
- 不涉及二阶线性微分方程解的性质及定理,直接求出通解;
使用该法亦可直接推出二阶常系数非齐次线性微分方程通解;
思路如下:
\[y''+py'+qy=f(x)\]
令 $u=y'+ay$
则 $u’+bu=f(x)$
运用公式:$u=e^{-bx}[\int f(x)e^{bx}\mathrm{d}x+C_1]$
又 $y'+ay=u$
运用公式:$y=e^{-ax}[\int u(x)e^{ax}\mathrm{d}x+C_2]$
此时不需要特解而能得出通解,虽然我们可以由对应的齐次线性微分方程 的通解和非齐次项 $f(x)$ 对应的特解更为简便地求出通解,但当我们忘记非齐次项 $f(x)$ 对应的特解形式时,这倒是个不错的通法。
使用此降阶思想,也适用于某些特殊的高阶常系数线性微分方程,如:
\[y^{(4)}−2y^{(3)}+2y''−2y'+y=0\]
令 $u=y''-2y'+y$
则 $u''+u=0$
由先前的推导 $u=C_1\cos{x}+C_2\sin{x}$
则 $y''-2y'+y=C_1\cos{x}+C_2\sin{x}$
运用 4 的思路易得 $y=C_1\cos{x}+C_2\sin{x}+(C_3+C_4x)e^x$
最近修改于 2007-11-11 22:24