二阶线性微分方程

定义

二阶线性微分方程

$\frac{d^{2}y}{d{x}^2}+P(x)\frac{dy}{dx}+Q(x)y=f(x)$

当$f(x)=0$时，方程组满足齐次的定义，此时方程变为

二阶齐次线性微分方程

$\frac{d^{2}y}{d{x}^2}+P(x)\frac{dy}{dx}+Q(x)y=0$

两者具有对应关系，我们称后者为前者对应的齐次方程

---

解的结构

二阶线性微分方程解的结构

解的结构

要求解二阶非齐次线性微分方程, 则需要先讨论齐次的情况

二阶齐次线性微分方程
$y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0$
有以下定理成立

定理1

如果函数$y_1(x)$与$y_2(x)$是二阶线性微分方程的两个解, 则其线性组合$y$也是它的解
$y=C_1{y}_1(x)+C_2{y}_2(x),C_1,C_2\in R$
但不一定是通解(或者说这个通解不能覆盖所有解的可能情况), 所以是个平凡的结论

---

定理2

如果函数$y_1(x)$与$y_2(x)$的比值不为常数, $\frac{y_1(x)}{y_2(x)}\ne C$, 则称为线性无关, 这组解的性质非常良好, 其线性组合$y$即为通解
$y=C_1{y}_1(x)+C_2{y}_2(x),C_1,C_2\in R$
定理2可推广至高阶齐次线性微分方程

---

在一阶线性微分方程中已经看到, 一阶非齐次线性微分方程的通解由两部分组成: 对应的一阶齐次线性微分方程的通解和其本身的一个特解. 实际上高阶非齐次线性微分方程的通解具有同样的结构

定理3

设$y^{\ast }(x)$是二阶非齐次线性方程的一个特解, $Y(x)$是对应二阶齐次线性方程的通解, 则
$y=Y(x)+y^{\ast }(x)$
是二阶非齐次线性方程的通解

---

定理4

设二阶非齐次线性方程右边$f(x)=f_1(x)+f_2(x)$, 而$y_1^{\ast }(x)$,$y_2^{\ast }(x)$分别为
$y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=f_1(x)$
$y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=f_1(x)$
的特解, 则其特解的线性组合为原方程的一个特解:
$y_1^{\ast }(x)+y_2^{\ast }(x)$

定理5

如果已知$y_1^{\ast }(x)$,$y_2^{\ast }(x)$为非齐次线性方程任意两个解，则两个解之差一定为对应齐次线性微分方程的解

这个结论基于线性微分方程的超定性质和叠加原理

1. 假设非齐次线性方程为：

$$L(y)=f(x),$$

其中$L$是线性微分算子，$f(x)$是非齐次项。
2. 如果$y_1^{\ast }(x)$和$y_2^{\ast }(x)$是此方程的解，则有：

$$L(y_1^{\ast })=f(x),L(y_2^{\ast })=f(x).$$

3. 根据线性微分算子的性质，对于任何两个函数$u(x)$和$v(x)$以及常数$a$和$b$，有：

$$L(au+bv)=aL(u)+bL(v).$$

4. 取$u(x)=y_1^{\ast }(x)$, $v(x)=y_2^{\ast }(x)$, 并设$a=1$, $b=-1$，我们得到：

$$L(y_1^{\ast }-y_2^{\ast })=L(y_1^{\ast })-L(y_2^{\ast })=f(x)-f(x)=0.$$

因此，$y_1^{\ast }(x)-y_2^{\ast }(x)$是对应齐次线性微分方程$L(y)=0$的解。

---

求解

1. 齐次方程的求解：通常通过特征方程法或系数比较法来求解。
2. 非齐次方程的求解：可采用常数变易法、不定系数法或格林函数法。

常数变易法

如果已知一个通解
$y(x)=C_1{y}_1(x)+C_2{y}_2(x)$
则可以假设$C_1$, $C_2$为关于x的函数$C_1(x)$, $C_2(x)$

。。。（过程未完成）

最终得非齐次方程通解为
$y=C_1{y}_1+C_2{y}_2-y_1\int \frac{y_{2}f}{W}dx+y_2\int \frac{y_{1}f}{W}dx$

y_1 & y_2 \\ y'_1 & y'_2 \end{vmatrix}$$ # 示例 >[!example]+ > > 考虑一个二阶齐次线性微分方程 > $$ y''-2y'+y = 0 $$ > 方程的一个解为$y_{1}(x)=e^{ x }$, 求以下方程的通解 $$y''-2y'+y=\dfrac{1}{x}e^{ x }$$ **解**: 令$y=e^{ x }u(x)$, 带入非齐次方程, 得到特解$u(x)$, 与$y_{1}(x)$线性组合即为通解Link to original

---

GPT-4

二阶线性非齐次微分方程的一般形式可以表示为：

$$a(x)\frac{d^{2}y}{d{x}^2}+b(x)\frac{dy}{dx}+c(x)y=f(x)$$

其中，$a(x)$、$b(x)$ 和 $c(x)$ 是关于$x$的系数函数，$f(x)$ 是非齐次项。要解这样的方程，通常采用以下步骤：

1. 解对应的齐次方程：首先，解对应的齐次方程（即$f(x)=0$时的方程）： $$a(x)\frac{d^{2}y}{d{x}^2}+b(x)\frac{dy}{dx}+c(x)y=0$$ 这个齐次方程的解通常需要用到特征方程，幂级数解法，或者通过变量变换简化到可以解析求解的形式。
2. 寻找特解：接下来，为原非齐次方程寻找一个特解。常用的方法包括：
   • 常数变易法：利用齐次方程的解的结构，引入参数变化，从而求出非齐次方程的一个特解。
   • 待定系数法：这种方法适用于$f(x)$为多项式、指数函数、正弦或余弦函数等特定类型的情况。通过假设特解具有一定的形式，然后确定这些待定系数来满足原方程。
   • Green函数方法：适用于线性微分方程，通过构造Green函数来求解影响函数，从而得到特解。
3. 构造通解：二阶线性非齐次微分方程的通解是其对应齐次方程的通解与非齐次方程一个特解的和。即如果$y_c$是齐次方程的通解，$y_p$是非齐次方程的一个特解，则原方程的通解为： $$y=y_c+y_p$$

通过这些步骤，你可以求解大多数二阶线性非齐次微分方程。具体解法可能会因方程的具体形式和系数的特点而有所不同。