科数网知识库
首页
目录
二阶常系数非齐次常系数线性微分方程
日期:
2022-12-30 14:35
查看:
72
次
五.二阶常系数非齐次常系数线性微分方程 形如 $$ y^{\prime \prime}+p y^{\prime}+q y=f(x) $$ (其中 $p 、 q$ 为常数)的方程称为二阶线性常系数非齐次微分方程. 根据解结构, 其通解为 $y=Y+y^*$, 其中 $Y$ 为对应齐次方程的通解, $y^*$ 为该非齐次方程的一个 特解. 本节主要针对两种形式的自由项 $f(x)$, 用待定系数法(代数的方法)得到 $y^*$, 因为对这两种形式的方程而言, 用待定系数法得到 $y^*$ 则更为简便. 1、 $f(x)=\mathrm{e}^{\lambda x} P_n(x)$ 情形 其中 $P_n(x)=a_0 x^n+a_1 x^{n-1}+\cdots+a_{n-1} x+a_n$ 为 $n$ 次多项式, $\lambda$ 为常数. 方程(6)的自由项是多项式 $P_n(x)$ 与指数函数 $\mathrm{e}^{\lambda x}$ 的乘积, 要求 $y^*$, 使得(6)成 为恒等式. 由于多项式与指数函数的乘积的导数仍然是这种形式, 因此我们推测 $y^*=\mathrm{e}^{\lambda x} Q(x)$ 可能是方程(6)的特解, 其中 $Q(x)$ 为待定系数的多项式. 由于 $y^*=\mathrm{e}^{\lambda x} Q(x)$ $$ \begin{aligned} & y^{* \prime}=\mathrm{e}^{\lambda x}\left(\lambda Q(x)+Q^{\prime}(x)\right), \\ & y^{* \prime \prime}=\mathrm{e}^{\lambda x}\left(\lambda^2 Q(x)+2 \lambda Q^{\prime}(x)+Q^{\prime \prime}(x)\right), \end{aligned} $$ 代入方程(6), 并消去 $\mathrm{e}^{\lambda x}$, 得 $$ Q^{\prime \prime}(x)+(2 \lambda+p) Q^{\prime}(x)+\left(\lambda^2+p \lambda+q\right) Q(x)=P_n(x) $$ (1) 若 $\lambda$ 不是对应齐次方程的特征方程的特征根, 即 $\lambda^2+p \lambda+q \neq 0$, $2 \lambda+p \neq 0$, 那么由于 $P_n(x)$ 是 $n$ 次多项式, 则 $Q(x)$ 也应是 $n$ 次多项式 $\left(Q^{\prime}(x)\right.$, $Q^{\prime \prime}(x)$ 的最高次方皆低于 $Q(x)$ 的最高次方). 因此取 $Q(x)=Q_n(x)=b_0 x^n+b_1 x^{n-1}+\cdots+b_{n-1} x+b_n$. 将 $Q_n(x)$ 代入(7)式, 比较等 式两端 $x$ 的同次幂, 就得到了含有 $b_0, b_1, \cdots b_{n-1}, b_n$ 作为末知数的 $n+1$ 个方程, 解此方程组, 确定 $Q_n(x)$, 从而得到 $y^*=\mathrm{e}^{\lambda x} Q_n(x)$. (2)若 $\lambda$ 是对应齐次方程的特征方程的单特征根, 即 $\lambda^2+p \lambda+q=0$, 但 $2 \lambda+p \neq 0$, 此时可知 $Q^{\prime}(x)$ 应是 $n$ 次多项式, 故 $Q(x)$ 是 $n+1$ 次多项式. 因此取 $Q(x)=x Q_n(x)$. (3) 若 $\lambda$ 是对应齐次方程的特征方程的重特征根, 即 $\lambda^2+p \lambda+q=0$, 同时 $2 \lambda+p=0$, 此时可知 $Q^{\prime \prime}(x)$ 应是 $n$ 次多项式, 故 $Q(x)$ 是 $n+2$ 次多项式. 因此取 $Q(x)=x^2 Q_n(x)$. 由此得到结论: $y^*=x^k \mathrm{e}^{\lambda x} Q_n(x)$, 其中 $k=0,1,2$ 按 $\lambda$ 不是, 是单, 是重特征根 而选取, $Q_n(x)$ 为 $n$ 次待定系数的多项式. 求解二阶线性常系数非齐次微分方程通解的步骤: (1)写出特征方程, 并求出特征根; (2)求出对应齐次方程的通解 $Y$; (3)根据 $\lambda$ 与特征根关系确定特解形式, 并代入原方程后确定其中系数, 从而得到 $y^*$; (4)写成 $y=Y+y^*$. 例 17 下列方程具有什么样形式的特解? (1) $y^{\prime \prime}+5 y^{\prime}+6 y=\mathrm{e}^{3 x}$; (2) $y^{\prime \prime}+5 y^{\prime}+6 y=3 x \mathrm{e}^{-2 x}$; (3) $y^{\prime \prime}+2 y^{\prime}+y=-\left(3 x^2+1\right) \mathrm{e}^{-x}$. 解 (1) 因 $\lambda=3$ 不是特征方程 $r^2+5 r+6=0$ 的根, 故方程具有特解形式: $$ y^*=b_0 \mathrm{e}^{3 x} ; $$ (2) 因 $\lambda=-2$ 是特征方程 $r^2+5 r+6=0$ 的单根, 故方程具有特解形式: $$ y^*=x\left(b_0 x+b_1\right) \mathrm{e}^{-2 x} ; $$ (3) 因 $\lambda=-1$ 是特征方程 $r^2+2 r+1=0$ 的二重根, 所以方程具有特解形式: $$ y^*=x^2\left(b_0 x^2+b_1 x+b_2\right) \mathrm{e}^{-x} . $$ 例 18 求方程 $y^{\prime \prime}-2 y^{\prime}-3 y=3 x+1$ 的一个特解. 解 题设方程右端的自由项为 $f(x)=P_m(x) \mathrm{e}^{2 x}$ 型, 其中 $P_m(x)=3 x+1, \lambda=0$. 对应的齐次方程的特征方程为 $r^2-2 r-3=0$, 特征根为 $r_1=-1, r_2=3$. 由于 $\lambda=0$ 不是特征方程的根, 所以就设特解为 $y^*=b_0 x+b_1$. 把它代入题设方程, 得 $-3 b_0 x-2 b_0-3 b_1=3 x+1$, 比较系数得 $\left\{\begin{array}{l}-3 b_0=3 \\ -2 b_0-3 b_1=1\end{array}\right.$, 解得 $\left\{\begin{array}{l}b_0=-1 \\ b_1=\frac{1}{3}\end{array}\right.$. 于是, 所求特解为 $y^*=-x+\frac{1}{3}$. 例 19 求方程 $y^{\prime \prime}-3 y^{\prime}+2 y=x \mathrm{e}^{2 x}$ 的通解. 解 题设方程对应的齐次方程的特征方程为 $r^2-3 r+2=0$, 特征根为 $r_1=1$, $r_2=2$, 于是, 该齐次方程的通解为 $Y=C_1 x+C_2 \mathrm{e}^{2 x}$, 因 $\lambda=2$ 是特征方程的单根, 故可设题设方程的特解: $y^*=x\left(b_0 x+b_1\right) \mathrm{e}^{2 x}$. 代入题设方程, 得 $2 b_0 x+b_1+2 b_0=x$, 比较等式两端同次幂的系数, 得 $b_0=\frac{1}{2}$, $b_1=-1$, 于是, 求得题没方程的一个特解 $y^*=x\left(\frac{1}{2} x-1\right) \mathrm{e}^{2 x}$. 从而, 所求题设方程的通解为 $$ y=C_1 \mathrm{e}^x+C_2 \mathrm{e}^{2 x}+x\left(\frac{1}{2} x-1\right) \mathrm{e}^{2 x} . $$ 2. $f(x)=\mathrm{e}^{\lambda x}\left[P_l(x) \cos \omega x+P_n(x) \sin \omega x\right]$ 情形 $P_l(x), P_n(x)$ 分别为 $x$ 的 l 次、 $n$ 次多项式(可以出现其中一个多项式为零), $\lambda$ $\omega$ 为常数, 对应的非齐次方程特解为 $$ y^*=x^k \mathrm{e}^{\lambda x}\left[R_m^{(1)}(x) \cos \omega x+R_m^{(2)}(x) \sin \omega x\right], $$ 其中 $R_m^{(1)}(x), R_m^{(2)}(x)$ 均为 $m$ 次待定系数的多项式, $m=\max (l, n)$, 而 $k=0,1$ 按 $\lambda \pm i \omega$ 不是、是特征根而选取. 例 20 求解定解问题 $\left\{\begin{array}{l}y^{\prime \prime}+4 y=2 \cos 2 x \\ \left.y\right|_{x=0}=0,\left.y^{\prime}\right|_{x=0}=2\end{array}\right.$. 解 对应齐次方程的特征方程为 $r^2+4=0$, 得到特征根 $r_{1,2}=\pm 2 \mathrm{i}$, 故对应齐次方程的通解为 $Y=C_1 \cos 2 x+C_2 \sin 2 x$; 取 $y^*=x(a \cos 2 x+b \sin 2 x)$, 代入原方程, 得 $a=0, b=\frac{1}{2}$, 故 $y^*=\frac{x}{2} \sin 2 x$. 故 $y=Y+y^*=C_1 \cos 2 x+C_2 \sin 2 x+\frac{x}{2} \sin 2 x$, 由定解条件得 $C_1=0, C_2=1$, 因此有特解 $y=\sin 2 x+\frac{x}{2} \sin 2 x$.
本系统使用
启明星知识库Kbase
搭建,最后更新于
2022-12-30 14:35
,如果您有意见或建议请点击
反馈
。