常微分方程第次課

常微分方程第次課1第1頁，課件共40頁，創(chuàng)作于2023年2月§6.1線性微分方程組的一般理論第2頁，課件共40頁，創(chuàng)作于2023年2月一階線性微分方程組:稱式(2)為一階齊次線性微分方程組.非齊次線性微分方程組

(1)則式（1）變?yōu)?2)稱式（1）為第3頁，課件共40頁，創(chuàng)作于2023年2月一齊次線性微分方程組1疊加原理定理1證明:則有所以如果是方程（2）的m個解,則它們的線性組合也是方程(2)的解，這里是任意常數(shù)。由于是方程（2）的m個解第4頁，課件共40頁，創(chuàng)作于2023年2月2函數(shù)向量組線性相關(guān)與線性無關(guān)定義設(shè)是一組定義在區(qū)間[a,b]上的函數(shù)列向量，如果存在一組不全為零的常數(shù)使得對所有，有恒等式則稱在區(qū)間[a,b]上線性相關(guān)；否則就稱這組向量函數(shù)在區(qū)間[a,b]上線性無關(guān)。第5頁，課件共40頁，創(chuàng)作于2023年2月證明:例1證明:函數(shù)向量組在任何區(qū)間都是線性相關(guān)的.第6頁，課件共40頁，創(chuàng)作于2023年2月例2證明:函數(shù)向量組證明:要使第7頁，課件共40頁，創(chuàng)作于2023年2月則需因為所以故線性無關(guān).第8頁，課件共40頁，創(chuàng)作于2023年2月3函數(shù)向量組線性相關(guān)與無關(guān)的判別準則(1)Wronsky行列式由這n個向量函數(shù)所構(gòu)成的行列式稱為這n個向量函數(shù)所構(gòu)成的Wronsky行列式第9頁，課件共40頁，創(chuàng)作于2023年2月(2)定理2證明:第10頁，課件共40頁，創(chuàng)作于2023年2月(3)定理3證明:“反證法”則現(xiàn)在考慮函數(shù)向量由定理1知,如果（2）的解線性無關(guān)，則它們的Wronsky行列式第11頁，課件共40頁，創(chuàng)作于2023年2月由(3)知,因此,由解的存在唯一性定理知,即有矛盾注1:注2:第12頁，課件共40頁，創(chuàng)作于2023年2月(4)定理4一階微分方程組(2)一定存在n個線性無關(guān)的解.證明:由解的存在唯一性定理知,(2)一定存在滿足初始條件且第13頁，課件共40頁，創(chuàng)作于2023年2月4通解結(jié)構(gòu)及基本解組定理5證明:①由已知條件,第14頁，課件共40頁，創(chuàng)作于2023年2月又因為第15頁，課件共40頁，創(chuàng)作于2023年2月即它們構(gòu)成n維線性空間的基,現(xiàn)在考慮函數(shù)向量由定理1知,由(4)知,因此,由解的存在唯一性定理,應(yīng)有即第16頁，課件共40頁，創(chuàng)作于2023年2月推論1(2)的線性無關(guān)解的最大個數(shù)等于n?；窘饨M:一個基本解組。注1:齊次微分方程組(2)的基本解組不唯一。注2:齊次微分方程組(2)的所有解的集合構(gòu)成一個n維線性空間。注3:由n階線性微分方程的初值問題與線性微分方程組的初值問題的等價性描述,本節(jié)所有定理都可平行推論到n階線性微分方程去。第17頁，課件共40頁，創(chuàng)作于2023年2月推論2第18頁，課件共40頁，創(chuàng)作于2023年2月5解矩陣與基解矩陣及性質(zhì)(1)定義則稱這個矩陣為齊次微分方程組(2)的解矩陣。則稱該解矩陣為(2)的基解矩陣。基解矩陣——以基本解組為列構(gòu)成的矩陣。第19頁，課件共40頁，創(chuàng)作于2023年2月注:這里C是確定的N維向量空間第20頁，課件共40頁，創(chuàng)作于2023年2月例3驗證是方程組基解矩陣.解:由于又由于第21頁，課件共40頁，創(chuàng)作于2023年2月證明:第22頁，課件共40頁，創(chuàng)作于2023年2月證明:于是有由此可得第23頁，課件共40頁，創(chuàng)作于2023年2月即有例4驗證是方程組的基解矩陣,并求其通解。解:第24頁，課件共40頁，創(chuàng)作于2023年2月又由于其通解為第25頁，課件共40頁，創(chuàng)作于2023年2月二非齊次線性微分方程組1非齊線性微分方程組解的性質(zhì)性質(zhì)1性質(zhì)2第26頁，課件共40頁，創(chuàng)作于2023年2月性質(zhì)32通解結(jié)構(gòu)定理定理6這里C是確定的常數(shù)列向量。證明:由性質(zhì)2知,即這里C是確定的常數(shù)列向量。第27頁，課件共40頁，創(chuàng)作于2023年2月3常數(shù)變易公式則(2)的通解為其中C是任意的常數(shù)列向量,下面尋求(1)形如的解,把(7)代入(1),得(1)一階線性微分方程組的常數(shù)變易公式第28頁，課件共40頁，創(chuàng)作于2023年2月從而反之,可驗證(8)是方程組(1)滿足初始條件的特解。因此,(7)變?yōu)榈?9頁，課件共40頁，創(chuàng)作于2023年2月定理7①

向量函數(shù)是(1)的解,且滿足初始條件②

方程組(1)的通解為注1:注2:公式(8)或(9)稱為(1)的常數(shù)變易公式。第30頁，課件共40頁，創(chuàng)作于2023年2月例5求方程組的通解.解:由例4知是對應(yīng)齊次方程的基解矩陣,由(8)得方程的特解為第31頁，課件共40頁，創(chuàng)作于2023年2月所以,原方程的通解為第32頁，課件共40頁，創(chuàng)作于2023年2月例6試求初值問題解:由例3知是對應(yīng)齊次方程的基解矩陣,第33頁，課件共40頁，創(chuàng)作于2023年2月故方程滿足初始條件的解是第34頁，課件共40頁，創(chuàng)作于2023年2月(2)n階線性微分方程的常數(shù)變易公式則線性微分方組的初值問題的基本解組為從而其基解矩陣為第35頁，課件共40頁，創(chuàng)作于2023年2月第36頁，課件共40頁，創(chuàng)作于2023年2月推論3的基本解組,那么非齊線性方程的滿足初始條件解為第37頁，課件共40頁，創(chuàng)