資源描述:
《常微分方程考研義高階微分方程.doc》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、第四章高階微分方程[教學(xué)目標(biāo)]1.理解高階線性微分方程的一般理論,n階齊次(非齊次)線性微分方程解的性質(zhì)與結(jié)構(gòu),熟練掌握n階常系數(shù)齊次線性微分方程的待定指數(shù)函數(shù)解法。文檔來(lái)自于網(wǎng)絡(luò)搜索2.掌握n階非齊次線性微分方程的常數(shù)變易法,理解n階常系數(shù)非齊次線性微分方程特解的待定系數(shù)法和Laplce變換法。文檔來(lái)自于網(wǎng)絡(luò)搜索3.熟練歐拉方程與高階方程的降階法和冪級(jí)數(shù)解法。4.掌握高階方程的應(yīng)用。[教學(xué)重難點(diǎn)]重點(diǎn)是線性微分方程解的性質(zhì)與結(jié)構(gòu),高階方程的各種解法。難點(diǎn)是待定系數(shù)法求特解。[教學(xué)方法]講授,實(shí)踐。[教學(xué)時(shí)間]16學(xué)時(shí)[教學(xué)內(nèi)容]線性微分
2、方程的一般理論,齊次(非齊次)線性微分方程解的性質(zhì)與結(jié)構(gòu),非齊次線性微分方程的常數(shù)變量易法;常系數(shù)線性方程與歐拉方程的解法,非齊線性方程的比較系數(shù)法與拉氏變換法;高階方程的降階法和冪級(jí)數(shù)解法及高階方程的應(yīng)用。[考核目標(biāo)]文檔來(lái)自于網(wǎng)絡(luò)搜索1.理解高階線性微分方程的一般理論,能夠求解高階常系數(shù)線性微分方程。2.掌握n階非齊次線性微分方程的常數(shù)變易法。3.n階常系數(shù)非齊次線性微分方程特解的待定系數(shù)法和Laplce變換法。4.熟練高階方程的降階法和冪級(jí)數(shù)解法及高階方程的應(yīng)用?!?.1線性微分方程的一般理論4.1.1引言討論階線性微分方程51/5
3、1(4.1)其中及都是區(qū)間上的連續(xù)函數(shù)如果,則方程(4.1)變?yōu)椋海?.2)稱它為階齊線性微分方程,而稱一般的方程(4.1)為階非齊線性微分方程,并且通常把方程(4.2)叫對(duì)應(yīng)于方程(4.1)的齊線性方程。文檔來(lái)自于網(wǎng)絡(luò)搜索定理1如果及都是區(qū)間上的連續(xù)函數(shù),則對(duì)于任一,方程(4.1)存在唯一解,定義于區(qū)間上,且滿足初始條件:文檔來(lái)自于網(wǎng)絡(luò)搜索(4.3)從這個(gè)定理可以看出,初始條件唯一地確定了方程(4.1)的解,而且這個(gè)解在所有及連續(xù)的整個(gè)區(qū)間上有定義。文檔來(lái)自于網(wǎng)絡(luò)搜索4.1.2齊線性方程的解的性質(zhì)與結(jié)構(gòu)討論齊線性方程(4.2)定理2(疊
4、加原理)如果是方程(4.2)的個(gè)解,則它們的線性組合也是(4.2)的解,這里是任意常數(shù)。特別地,當(dāng)時(shí),即方程(4.2)有解(4.4)它含有個(gè)任意常數(shù)。在什么條件下,表達(dá)式(4.4)能夠成為階齊線性方程(4.2)的通解?為了討論的需要,引進(jìn)函數(shù)線性相關(guān)與線性無(wú)關(guān)及伏朗斯基行列式等概念。文檔來(lái)自于網(wǎng)絡(luò)搜索設(shè)是定義在區(qū)間上的函數(shù),如果存在不全為零的常數(shù),使得恒等式51/51對(duì)于所有都成立,稱這些函數(shù)是線性相關(guān)的,否則稱這些函數(shù)在所給區(qū)間上線性無(wú)關(guān),即當(dāng)且僅當(dāng)時(shí),上述恒等式才成立,稱這些函數(shù)在所給區(qū)間上線性無(wú)關(guān)。文檔來(lái)自于網(wǎng)絡(luò)搜索由此定義不難推出
5、如下的兩個(gè)結(jié)論:1)在函數(shù)組中如果有一個(gè)函數(shù)為零,則在上線性相關(guān).2)如果兩個(gè)函數(shù)之比在有定義,則它們?cè)谏暇€性無(wú)關(guān)等價(jià)于比式在上不恒等于常數(shù).例1函數(shù)組在任意區(qū)間上都是線性無(wú)關(guān)的.解比式=不恒等于常數(shù)在任意區(qū)間上成立:例2函數(shù)組在區(qū)間上線性相關(guān).解若取則故已知函數(shù)組在上線性相關(guān).設(shè)函數(shù)在區(qū)間上均有階導(dǎo)數(shù),行列式稱為這些函數(shù)的伏朗斯基行列式。定理3若函數(shù)在區(qū)間上線性相關(guān),則在上它們的伏朗斯基行列式。證明:由假設(shè),即知存在一組不全為零的常數(shù),使得(4.6)51/51依次對(duì)微分此恒等式,得到(4.7)把(4.6)和(4.7)看成關(guān)于的齊次線性代
6、數(shù)方程組,它的系數(shù)行列式就是,由線性代數(shù)的理論知道,要此方程組存在非零解,則它的系數(shù)行列式必須為零,即。文檔來(lái)自于網(wǎng)絡(luò)搜索反之,其逆定理一般不成立。例如函數(shù)和在區(qū)間上,,但在此區(qū)間上卻是線性無(wú)關(guān)的。因?yàn)?,假設(shè)存在恒等式(4.8)則當(dāng)時(shí),可知;當(dāng)時(shí),可知.即當(dāng)且僅當(dāng)時(shí),(4.8)式對(duì)一切成立.故是線性無(wú)關(guān)的.推論1如果函數(shù)組的朗斯基行列式在區(qū)間上某一點(diǎn)處不等于零,即,則該函數(shù)組在上線性無(wú)關(guān).但是,如果是齊線性方程(4.2)的解,那么就有下面的定理:定理4如果方程(4.2)的解在區(qū)間上線性無(wú)關(guān),則在這個(gè)區(qū)間的任何點(diǎn)上都不等于零,即。證明:采用
7、反證法。設(shè)有某個(gè),,使得。考慮關(guān)于的齊次線性代數(shù)方程組51/51(4.9)其系數(shù)行列式,故(4.9)有非零解?,F(xiàn)以這組常數(shù)構(gòu)造函數(shù)根據(jù)疊加原理,是方程(4.2)的解。注意到(4.9),知道這個(gè)解滿足初始條件(4.10)但是顯然也是方程(4.2)的滿足初始條件(4.10)的解。由解的唯一性,即知,即因?yàn)椴蝗珵?,這就與線性無(wú)關(guān)的假設(shè)矛盾,定理得證。推論2設(shè)是方程(4.2)定義在上的個(gè)解,如果存在,使得它的朗斯基行列式,則該解組在上線性相關(guān).推論3方程(4.2)的個(gè)解在其定義區(qū)間上線性無(wú)關(guān)的充要條件是,存在,使得它的朗斯基行列式.定理5階齊線
8、性方程(4.2)一定存在個(gè)線性無(wú)關(guān)的解。定理6(通解結(jié)構(gòu)定理)如果是方程(4.2)的個(gè)線性無(wú)關(guān)的解,則方程(4.2)的通解可表為(4.11)其中,是任意常數(shù),且通解(4.11)包括了方程(4.