二阶线性微分方程解的结构（齐次与非齐次）+ 常数变易法 | 高阶微分方程（二）

一、线性微分方程的解的结构

1.1 二阶齐次线性方程

$$y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0\text{\hspace{1em}(1)}$$

定理1：如果函数$y_1(x)$与$y_2(x)$是方程（1）的两个解，那么
$$y=C_1{y}_1(x)+C_2{y}_2(x)\text{\hspace{1em}(2)}$$
也是方程（1）的解，其中$C_1,C_2$是任意常数。

解（2）从形式上看含有$C_1$和$C_2$两个任意常数，但它不一定是方程（1）的通解。那么在什么情况下（2）式才是方程（1）的通解呢？要解决这个问题，还得引入新概念，即函数组的线性相关与线性无关。

设$y_1(x),y_2(x),\cdot \cdot \cdot ,y_n(x)$为定义在区间$I$上的n个函数，如果存在n个不全为零的常数$k_1,k_2,\cdot \cdot \cdot ,k_n$，使得当$x\in I$时有恒等式
$$k_1{y}_1+k_2{y}_2+\cdot \cdot \cdot +k_n{y}_n=0$$
成立，那么称这n个函数在区间I上线性相关；否则线性无关。

应用上述概念可知，对于两个函数的情形，它们线性相关与否，只要看它们的比是否为常数；如果比为常数，那么它们就线性相关；否则就线性无关。

定理2：如果$y_1(x)$与$y_2(x)$是方程（1）的两个线性无关的特解，那么
$$y=C_1{y}_1(x)+C_2{y}_2(x)$$
就是方程（1）的通解，$C_1,C_2$是任意常数。

推论：如果$y_1(x),y_2(x),\cdot \cdot \cdot ，y_n(x)$是n阶齐次线性方程
$$y^{(n)}+a_1(x)y^{(n-1)}+\cdot \cdot \cdot +a_{n-1}(x)y^{\prime }+a_n(x)y=0$$
的n个线性无关的解，那么，此方程的通解为
y=C1y1(x)+C2y2(x)+⋅⋅⋅+Cnyn(x) y=C_1y_1(x)+C_2y_2(x)+···+C_ny_n(x) y=C1​y1​(x)+C2​y2​(x)+⋅⋅⋅+Cn​y