资源描述
5.2 线性微分方程组的一般理论*15.2 线性微分方程组的一般理论主要研究微分方程组的解得结构问题5.2 线性微分方程组的一般理论*15.2 线性微分方程一阶线性微分方程组:称(5.15)为一阶齐次线性微分方程组（强调时也称对应于（5.14）的齐次）.一阶非齐线性微分方程组.*25.2 线性微分方程组的一般理论一阶线性微分方程组:称(5.15)为一阶齐次线性微分方程组（一一 齐次线性微分方程组齐次线性微分方程组1 1 1 1 叠加原理叠加原理叠加原理叠加原理定理定理2证明证明:则有则有所以所以*35.2 线性微分方程组的一般理论一 齐次线性微分方程组1 叠加原理定理2证明:则有所以*352 函数向量组线性相关与无关*45.2 线性微分方程组的一般理论注：恒等于0的0是零列向量。2 函数向量组线性相关与无关*45.2 线性微分方程组的一般证明证明:例例1证明:向量值函数组在任何区间都是线性相关的.*55.2 线性微分方程组的一般理论证明:例1证明:向量值函数组在任何区间都是线性相关的.*55证明证明:要使例例2 证明:函数向量组*65.2 线性微分方程组的一般理论证明:要使例2证明:函数向量组*65.2 线性微分方程组的一则需因为所以故线性无关.*75.2 线性微分方程组的一般理论则需因为所以故线性无关.*75.2 线性微分方程组的一般理论再比如：*85.2 线性微分方程组的一般理论线性无关。线性无关。再比如：*85.2 线性微分方程组的一般理论线性无关。3 3 3 3 向量值函数组线性相关与无关的判别准则向量值函数组线性相关与无关的判别准则向量值函数组线性相关与无关的判别准则向量值函数组线性相关与无关的判别准则(1)Wronsky(1)Wronsky行列式行列式行列式行列式由这n个向量函数所构成的行列式称为这n个向量函数所构成的Wronsky行列式。*95.2 线性微分方程组的一般理论3 向量值函数组线性相关与无关的判别准则(1)Wronsk(2)定理3证明证明:相关,*105.2 线性微分方程组的一般理论(2)定理3证明:相关,*105.2 线性微分方程组的一般理(3)定理4证明证明:“反证法”则现在考虑函数向量由定理2知,*115.2 线性微分方程组的一般理论(3)定理4证明:“反证法”则现在考虑函数向量由定理2知,*由(5.17)知,因此,由解的存在唯一性定理知,即有矛盾。矛盾。注1:注2:*125.2 线性微分方程组的一般理论由(5.17)知,因此,由解的存在唯一性定理知,即有矛盾。注(4)定理5(5.15)一定存在一定存在n个线性无关的解个线性无关的解.证明证明:由解的存在唯一性定理知,(5.15)一定存在满足初始条件且*135.2 线性微分方程组的一般理论(4)定理5(5.15)一定存在n个线性无关的解.证明:由解4 通解结构及基本解组通解结构及基本解组定理6证明证明:由已知条件,*145.2 线性微分方程组的一般理论4 通解结构及基本解组定理6证明:由已知条件,*145.2 又因为从而可知*155.2 线性微分方程组的一般理论又因为从而可知*155.2 线性微分方程组的一般理论即它们构成n维线性空间的基,现在考虑向量值函数由定理2知,由(5.20)知,因此,由解的存在唯一性定理,应有即*165.2 线性微分方程组的一般理论即它们构成n维线性空间的基,现在考虑向量值函数由定理2知,由推论推论1(5.15)的线性无关解的最大个数等于n.基本解组基本解组:称为(5.15)的一个基本解组.注1:(5.15)的基本解组不唯一（有无穷多个）.注2:(5.15)所有解的集合构成一个n维线性空间.注3:由n阶线性微分方程的初值问题(5.6)与线性微分方组的初值问题(5.7)的等价性描述,本节所有定理都可平行推论到n阶线性微分方程去.*175.2 线性微分方程组的一般理论推论1(5.15)的线性无关解的最大个数等于n.基本解组:称首先有:线性相关.证明:*185.2 线性微分方程组的一般理论首先有:线性相关.证明:*185.2 线性微分方程组的一般理即有即向量组(*)是线性相关的.*195.2 线性微分方程组的一般理论即有即向量组(*)是线性相关的.*195.2 线性微分方程组反之,如果向量组(*)是线性相关,当然有 从而,从4.1.2中Wronsky行列式的概念可看出,从本节定理3,4,5立即分别推出第四章定理3,4,5.从本节定理6立即得到下面：*205.2 线性微分方程组的一般理论反之,如果向量组(*)是线性相关,当然有 从而,从4.推论3*215.2 线性微分方程组的一般理论推论3*215.2 线性微分方程组的一般理论5 解矩阵与基解矩阵及性质(1)定义则称这个矩阵为(5.15)的解矩阵.则称该解矩阵为(5.15)的基解矩阵.基解矩阵-以基本解组为列构成的矩阵.*225.2 线性微分方程组的一般理论5 解矩阵与基解矩阵及性质(1)定义则称这个矩阵为(5.15由定理5,6得由定理3,4得*235.2 线性微分方程组的一般理论由定理5,6得由定理3,4得*235.2 线性微分方程组的一注1:行列式恒等于零的矩阵列向量未必线性相关.如矩阵注2:*245.2 线性微分方程组的一般理论注1:行列式恒等于零的矩阵列向量未必线性相关.如矩阵注2:*例3验证是方程组的基解矩阵.解:由于又由于*255.2 线性微分方程组的一般理论例3验证是方程组的基解矩阵.解:由于又由于*255.2 线性证明:*265.2 线性微分方程组的一般理论证明:*265.2 线性微分方程组的一般理论证明:于是有由此可得*275.2 线性微分方程组的一般理论证明:于是有由此可得*275.2 线性微分方程组的一般理论即有例4验证是方程组的基解矩阵,并求其通解.解:*285.2 线性微分方程组的一般理论即有例4验证是方程组的基解矩阵,并求其通解.解:*285.2又由于其通解为*295.2 线性微分方程组的一般理论又由于其通解为*295.2 线性微分方程组的一般理论二二 非齐次线性微分方程组非齐次线性微分方程组1 非齐次线性微分方程组解的性质性质性质1性质性质2*305.2 线性微分方程组的一般理论二 非齐次线性微分方程组1 非齐次线性微分方程组解的性质性质性质性质32 通解结构定理定理7这里C是确定的常数列向量.证明:由性质2知,即这里C是确定的常数列向量.*315.2 线性微分方程组的一般理论如果知道了对应齐次方程的通解，能不能求非齐次特解？性质32 通解结构定理定理7这里C是确定的常数列向量.证明:3 常数变易公式则(5.15)的通解为其中C是由n个任意常数构成的列向量。下面寻求(5.14)形如的解,把(5.24)代入(5.14),得(1)一阶线性微分方程组的常数变易公式*325.2 线性微分方程组的一般理论3 常数变易公式则(5.15)的通解为其中C是由n个任意常数从而反之,可验证(5.26)是方程组(5.14)满足初始条件的特解.因此,(5.24)变为*335.2 线性微分方程组的一般理论从而反之,可验证(5.26)是方程组(5.14)满足初始条件定理8(1)向量函数是(5.14)的解,且满足初始条件(2)方程组(5.14)的通解为注1:注2:公式(5.26)或(5.27)称为(5.14)的常数变易公式.*345.2 线性微分方程组的一般理论定理8(1)向量函数是(5.14)的解,且满足初始条件(例5求方程组的通解.解:由例4知是对应齐次方程的基解矩阵,由(5.26)得方程的特解为*355.2 线性微分方程组的一般理论伴随矩阵除以原矩阵的行列式例5求方程组的通解.解:由例4知是对应齐次方程的基解矩阵,由所以,原方程的通解为*365.2 线性微分方程组的一般理论所以,原方程的通解为*365.2 线性微分方程组的一般理论例6试求初值问题的解.解:由例3知是对应齐次方程的基解矩阵,*375.2 线性微分方程组的一般理论伴随矩阵除以原矩阵的行列式例6试求初值问题的解.解:由例3知是对应齐次方程的基解矩阵,故方程满足初始条件的解是*385.2 线性微分方程组的一般理论故方程满足初始条件的解是*385.2 线性微分方程组的一般理(2)n阶线性微分方程的常数变易公式则(5.7)对应齐次方程的基本解组为从而其基解矩阵为*395.2 线性微分方程组的一般理论(2)n阶线性微分方程的常数变易公式则(5.7)对应齐次方*405.2 线性微分方程组的一般理论*405.2 线性微分方程组的一般理论推论推论3的基本解组,那么非齐线性方程的满足初始条件解为*415.2 线性微分方程组的一般理论推论3的基本解组,那么非齐线性方程的满足初始条件解为*415公式(5.29)称为(5.28)的常数变易公式.方程(5.28)的通解可表为*425.2 线性微分方程组的一般理论公式(5.29)称为(5.28)的常数变易公式.方程(5.但是*435.2 线性微分方程组的一般理论但是*435.2 线性微分方程组的一般理论而通解是*445.2 线性微分方程组的一般理论而通解是*445.2 线性微分方程组的一般理论例7 试求方程的一个解.解:易知对应齐线性方程的基本解组为由(5.31)求方程的一个解,这时故*455.2 线性微分方程组的一般理论例7试求方程的一个解.解:易知对应齐线性方程的基本解组为由(所以也是原方程的一个解.*465.2 线性微分方程组的一般理论所以也是原方程的一个解.*465.2 线性微分方程组的一般理*5.2 线性微分方程组的一般理论47*5.2 线性微分方程组的一般理论47*5.2 线性微分方程组的一般理论48作业P216 1,2,4,6*5.2 线性微分方程组的一般理论48作业P216 1,
展开阅读全文