§3 线性微分方程
一、一般概念
[齐次线性微分方程与非齐次线性微分方程] 设微分方程
(1)
如果方程中的未知函数及其各阶导数都是一次的,这种方程称为线性微分方程.因为,所以(1)称为n阶线性微分方程. 当,(1)称为齐次线性微分方程.当,(1)称为非齐次线性微分方程.如果都是常数,(1)就称为常系数线性微分方程.
[解的存在和唯一性定理] 如果和在区间内连续,且,那末对任意给定的初始条件
方程(1)存在唯一解,式中为实数.
[函数的线性相关性] 对于一组函数,如果有不全为零的常数,使等式
在区间上成立,则称这组函数在区间上线性相关.否则称这组函数线性无关(线性独立).
[朗斯基行列式] 如果是个次可微的函数,则称行列式
为函数的朗斯基行列式.
朗斯基行列式具有以下性质:
1o 如果函数线性相关,那末它们的朗斯基行列式
2o 如果函数是某齐次线性微分方程的解,那末它们线性相关的充分必要条件是它们的朗斯基行列式
[n阶齐次线性微分方程解的结构] 如果阶齐次线性微分方程
,
有个线性无关的解 .那末它的通解是这个解的线性组合,即
其中是任意常数.这时又称为所给齐次线性微分方程的一组基本解.
[阶非齐次线性微分方程解的结构] 非齐次线性微分方程的通解是它的一个特解与对应齐次方程的通解之和,即
式中为任意常数.
二、常系数线性微分方程
1. 齐次线性微分方程通解的求法
[特征方程与特征根] 对于阶实常系数齐次线性微分方程
(2)
作相应的次代数方程
(3)
称它为微分方程(2)的特征方程,特征方程(3)的个根称为相应微分方程(2)的特征根.
[齐次方程的通解] 为了求阶常系数齐次线性微分方程(2)的通解,只要找出它的个线性无关的特解就可以了.根据其全体特征根的各种情况,分别列出对应的线性无关特解.
特 征 根 |
对应的线性无关特解 |
(j = 1,2,…,n)是互异实根 |
yj(x) = (j = 1,2,…,n) |
是特征方程的单根,则 也是特征方程的单根 |
y1(x) = cosβx y2(x) = sinβx |
是特征方程的r重实根 |
y1(x) = , y2(x) = x,…, yr(x) = xr-1 |
是特征方程的r重复根,则 也是r重复根 |
|
2. 非齐次线性微分方程特解的求法
给定阶非齐次线性微分方程
它的特解可用下面两种方法来求.
[常数变易法] 设其相应的齐次线性微分方程的通解是
那末非齐次线性微分方程有一个特解
式中是待定函数,它们的导数满足方程组
例 求微分方程
的通解.
解 先求其相应的齐次方程的通解.
因特征方程,有特征根.于是齐次方程的通解为
利用常数变易法求非齐次方程的一个特解y*(x) .令
而c1(x),c2(x)由下列方程组确定
解方程组得
积分后得
(k1,k2是任意常数)
(因为只要一个特解,可令k1=k2=0),所以原方程的通解为
[待定系数法] 对特殊类型的,可把特解的待定表达式及其相应的各阶导数代入原微分方程,然后比较同类项系数,定出的待定表达式里所含的系数,最后得出方程的特解.现在把部分情况下的特解形式列表如下:
R(x)类型 |
特解y*(x)的待定表达式 |
|
|
表中为已知常数;是正整数,如果的两个多项式的次数不相同,则取为次数较大者;是待定常数.
表中右栏表达式分别是(自上而下)在不是其特征根的情形下的特解的待定表达式;如果它们是特征方程的重根,那末在表中的表达式上再乘以.
例 求解微分方程
解 先求相应的齐次线性方程y(4)+2y"+y=0的通解.
由特征方程4+22+1=(2+1)2=0可知特征根=i都是二重根.所以齐次方程的通解为
y(x)=c1cosx+c2sinx+c3x cosx+c4x sinx
利用待定系数法,求非齐次线性方程的一个特解.由于R(x)=sin2x,属于表中第二类表达式(a=0,b=1,=2),同时i=2i不是特征根,所以特解应为y*(x)=Acos2x+Bsin2x.代入原方程,比较同类项系数得
所以特解是
原方程的通解为
式中c1,c2,c3,c4是任意常数.
三、 欧拉方程
具有形状
(是常数)
的方程称为欧拉方程.
欧拉方程可以通过变量替换或化成未知函数关于新自变量的常系数线性微分方程.
例 求解欧拉方程
解 令或t=lnx,原方程变成
特征方程是
是二重根.通解为
y=e-t(c1+c2t)
所以原方程的通解是
四、 齐次线性微分方程的幂级数解法
[具有幂级数形式的解] 一般变系数的齐次线性微分方程,不一定能找到用初等函数表示的解,这时可以考虑求具有幂级数形式的解.
现以二阶齐次线性微分方程为例说明解法(高阶方程同样适用).设
其中和在可展成幂级数.要求方程在附近的解,只要先假定这个解具有幂级数形式
然后形式地算出所需的各阶导数,代入原方程变成恒等式,确定待定的系数从而得出所求的幂级数解.
如果,在不能展成幂级数,比如是x的有理分式,而分母在等于零,这时可试求具广义幂级数形式
的解,其中a和都是待定常数.
[求勒让德方程的解] 方程
称为勒让德方程,它的解称为勒让德函数.
在x=0附近,方程的系数可以展成幂级数,令
代入原方程,可以定出两个线性无关解
所以勒让德方程的通解为
式中A,B是任意常数,是高斯超几何级数.
若n为整数,则与中有一个为多项式,另一个仍然是无穷级数.适当选取任意常数A,B,使当x=1时,多项式的值为1,这个多项式称为勒让德多项式,记作,它属于第一类勒让德函数.另一个则与线性无关,它是无穷级数,记作 ,属于第二类勒让德函数.此时,勒让德方程的通解为
式中A,B为任意常数.
[求贝塞耳方程的解] 方程
称为v阶贝塞耳方程,式中v为任意实数(或复数),它的解称为贝塞耳函数.
因方程系数 ,在x=0不能展成幂级数,而是x的有理分式.令
代入原方程,令 x各次幂的系数等于零,得 ,先取=v,得
所以
取 ,得贝塞耳方程的一个特解,记作
它称为v阶第一类贝塞耳函数.
取,得另一特解
当v不为整数时,这两个特解线性无关,此时贝塞耳方程的通解为
式中A,B是任意常数.
当v=n为整数时,与线性相关.此时记
它也是贝塞耳方程的一个解,而且与 线性无关.称为n阶第二类贝塞耳函数.于是贝塞耳方程的通解为
式中A,B是任意常数.