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