一阶线性微分方程组.doc

第4章 一阶线性微分方程组一 :形如 () 的方程组,(其中是关于的未知函数)叫做一阶微分方程组。若存在一组函数使得在[a,b]上有恒等式成立,则称为一阶微分方程组()的一个解含有n任意常数的解称为()通解。如果通解满方程组则称这个方程组为()的通积分。满足初始条件的解,叫做初值问题的解。令n维向量函数Y=,F(,Y)=,则()可记成向量形式()初始条件可记为Y()=,其中则初值问题为:()一阶线性微分方程组:形如()的一阶微分方程组,()=及F(=则()的向量形式:()F(时     ()称为一阶线性齐次方程组,()式称为一阶线性非齐次方程组。在()式A(即A(()叫做常系数线性非齐次微分方程组.()(一阶线性微分方程组解存在唯一性定理):如果线性微分方程组 中的A及F在区间I=上连续,则对于上任一点以及任意给定的Y,方程组 的满足初始条件的解在上存在且唯一。1)向量函数线性相关性及其判别法则定义:设是m个定义在区间I上的n维向量函数。如果存在m个不全为零的常数使得恒成立,则称这m个向量函数在区间I上线性相关;否则它们在区间I上线性无关。判别法则:①定义法②朗斯基(Wronski)行列式判别法:对于列向量组成的行列式通常把它称为n个n维向量函数组的朗斯基(Wronski)行列式。定理1如果n个n维向量函数组在区间I线性相关,则们的朗斯基(Wronski)行列式在I上恒等于零。逆定理未必成立。如:朗斯基行列式在I上恒等于零,但它们却是线性无关。定理2如果n个n维向量函数组的朗斯基(Wronski)行列式在区间I上某一点处不等于零,即则向量函数组在区间I线性无关。逆定理未必成立。同前例。但如果是一阶线性齐次微分方程组的解,则上述两定理及其逆定理均成立。即定理3一阶线性齐次微分方程组的解是线性无关的充要条件是它们的朗斯基(Wronski)行列式在区间I上任一点处不等于零;解是线性相关的充要条件是它们的朗斯基(Wronski)行列式在区间I上任一点处恒等于零2).基本解组及其有关结论定义:一阶线性齐次微分方程组的n个线性无关解称为它的基本解组判别:一阶线性齐次微分方程组的解是一个基本解组的充要条件是它们的朗斯基(Wronski)行列式在区间I上任一点处不等于零。结论:①一阶线性齐次微分方程组必存在基本解组。②基本解组有无穷多个。3)一阶线性齐次微分方程组通解的结构定理:如果是线性齐次微分方程组的基本解组,则其线性组合Y是线性齐次微分方程组的通解。结论:线性齐次微分方程组的解的全体构成一n维线性空间。4)解与系数的关系,即刘维尔公式定理:如果是线性齐次微分方程组的解,则这n个解的朗斯基行列式与线性齐次微分方程组的系数的关系是:此式称为刘维尔(Liouville),或者恒不为零称为矩阵A的迹。记作。一阶线性非齐次方程组的通解结构定理(通解结构定理):线性非齐次方程组的通解等于对应的齐次微分方程组  的通解与