二阶线性微分方程

二阶线性微分方程

一. 认识二阶线性微分方程

1. $二阶线性微分方程定义：$
   形如： $y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=f(x)$的方程称为二阶线性微分方程
   当 $f(x)=0$恒成立时，称该方程为二阶线性齐次方程；
   当 $f(x)̸=0$时，称该方程为二阶线性非齐次方程。

2. $定理：$
   $若y_1，y_2是二阶线性齐次方程y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的解，则y=c_1{y}_1+c_2{y}_2（c_1,c_2\in R)仍是它的解。$

二. 二阶线性微分方程求解思路

$【观察发现】y=c_1{y}_1+c_2{y}_2（c_1,c_2\in R)$ $在形式上存在两个常数，符合高阶微分方程通解的规律。$ $（即n阶微分方程的通解中存在n个常数）$
$【提出问题(一）】$$是否能够认为对任意y_1,y_2，存在y=c_1{y}_1+c_2{y}_2（c_1,c_2\in R)为$y’’ + P(x)y’ + Q(x)y = 0$的通解?$

$【找到反例】当y_1=x,y_2=kx满足y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0时，$
$发现y=c_1{y}_1+c_2{y}_2=c(x+kx)=cx中，只存在一个常数，$
$不再符合高阶微分方程通解的规律。$
$⟹$ $对任意y_1,y_2，存在y=c_1{y}_1+c_2{y}_2（c_1,c_2\in R)为y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的通解假设错误$

$【提出问题(二）】$ $当y_1,y_2满足什么关系是，能够使y=c_1{y}_1+c_2{y}_2（c_1,c_2\in R)为y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的通解成立？$

3. $函数组的线性相关性:$
   $设有函数组y_1,y_2....y_n,（其中y是关于x的函数）\forall x\in I,$$如果存在一组不全为零的常数k_1,k_2...k_n,$$使得k_1{y}_1+k_2{y}_2+...+k_n{y}_n=0,$ $则称函数组y_1,y_2....y_n在区间I上时线性相关的;$
   $如果只有当k_1=k_2=...k_n=0时成立，$$则称函数组y_1,y_2....y_n在区间I上时线性无关的。$

$【观察发现】当y_1,y_2线性无关时y=c_1{y}_1+c_2{y}_2始终存在两个常数，$$满足高阶微分方程通解的规律。$

$【提出问题(三）】如何找到二阶线性齐次方程y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的两个线性无关的解？$

4. $线性无关的判定方法：$
   $(1)y_1,y_2是一个函数组，若存在k\in R，满足y_1=k{y}_2,$
   $则y_1,y_2线性相关，否则线性无关。$
   $(2)y_1,y_2....y_n是一个函数组，若存在I=1，2...n,y_i=0,$ $则函数组y_1,y_2....y_n线性相关。$
   $(3)函数组：部分相关\to 整体相关$ ; $整体不相关\to 部分不相关$.

$【提出问题(四）】若已知二阶线性齐次方程y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的一个解，能否找到与其线性无关的另一个解？$

（使用与推导一阶线性非齐次方程相似的常数变易法进行求解）

$假设:y_1是y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的一个解，$
            $y_2=C_{(x)}{y}_1为y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的另一个解$(在求证过程中，始终认为C是关于x的函数
$\Rightarrow$       $y_2^{\prime }=C^{\prime }{y}_1+C{y}_1^{\prime }$
            $y_2^{\prime \prime }=C^{\prime \prime }{y}_1+2C^{\prime }{y}^{\prime }+C{y}^{\prime \prime }$     $代入y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0$
$\Rightarrow$       $C^{\prime \prime }{y}_1+[2y^{\prime }+P(x)y]C^{\prime }=0$
           $令u=C^{\prime },$         $u^{\prime }=C^{\prime \prime }$

$\Rightarrow$       $u^{\prime }{y}_1+[2y^{\prime }+P(x)y]u=0$             $(分离变量)$

$\Rightarrow$       $\int \frac{1}{u}du=-\int \frac{2y_1+P(x)y_1}{y_1}dx$

           $lnu=ln\frac{1}{y_1^2}-\int P(x)dx+ln{C}_1$

$又\because 只需求得y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的一个与y_1线性无关的特解，$                  $可以令C_1=1$

$\Rightarrow$       $u=\frac{1}{y_1^2}{e}^{-\int P(x)dx}$

$\Rightarrow$       $C=\int \frac{1}{y_1^2}{e}^{-\int P(x)dx}dx+C2$

             $令C_2=0$

$\Rightarrow$      $\frac{y_1}{y_2}=\int \frac{1}{y_1^2}{e}^{-\int P(x)dx}dx$

   $\therefore$     $y_2=y_1\int \frac{1}{y_1^2}{e}^{-\int P(x)dx}dx$

5. 【刘维尔公式】
   $若y_1是y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0的一个解，$ $则方程另一个与y_1线性无关的特解:$
   $$y_2=y_1\int \frac{1}{y_1^2}{e}^{-\int P(x)dx}dx$$