探究線性微分方程解的存在唯一性_第1頁
探究線性微分方程解的存在唯一性_第2頁
探究線性微分方程解的存在唯一性_第3頁
探究線性微分方程解的存在唯一性_第4頁
探究線性微分方程解的存在唯一性_第5頁
已閱讀5頁,還剩17頁未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1、常微分課程報(bào)告題目:探究線性微分方程解的存在唯一性 組長(zhǎng):侯芮 組員:白柳純 張小雨 李琳 李振勇 報(bào)告日期:5.15目錄引言.11、 引例.22、 證明解的存在唯一性的步驟.23、 一階線性微分方程解的存在唯一性.24、 探究n階線性微分方程解的存在唯一性.85、 用不動(dòng)點(diǎn)定理證明一階線性微分方程解的存在唯一性.101、 不動(dòng)點(diǎn)定理的一些結(jié)論.102、 不動(dòng)點(diǎn)定理證明一階線性微分方程解的存在唯一性.126、 用不動(dòng)點(diǎn)定理證明n階線性微分方程解的存在唯一性.167、 總結(jié).21引言從分析方法入手,來證明滿足初值條件下一階線形微分方程解的存在唯一性定理的證明.我們學(xué)習(xí)了能用初等解法的一階方程的若

2、干類型,但同時(shí)知道大量的一階方程是不能用初等解法求出它的通解,而實(shí)際問題中所需要的往往是要求滿足某種初始條件的解,因此對(duì)初值問題的研究被提到重要地位,自然要問:初值問題的解是否存在?如果存在是否唯一?The analysis method of that satisfy the initial conditions the solution of linear differential equation of first order is the only proof of the theorem of. We learn to use several types of elementary

3、solution of first-order equations, but also know a lot of first-order equations is not elementary solution for the general solutions of, and practical problems need is often required to meet some initial conditions the solution. Therefore, study for the initial value problem is mentioned an importan

4、t position, natural to ask: the existence of solutions of initial value problems? If there is only one?一、引例例: y(0)=0解: 通解: y=0例: y(0)=0解: 及y=0二、證明解的存在唯一性的步驟1、 微分方程的初值問題等價(jià)于一個(gè)積分問題2、 構(gòu)造一個(gè)合適的連續(xù)的逐步逼近序列3、 證明此逐步逼近序列一致收斂4、 證明此收斂的極限函數(shù)為所求初值問題的解5、 證明唯一性三、一階線形微分方程解的存在唯一性首先,我們令這里是在帶形域 R:上的連續(xù)函數(shù).函數(shù)稱為在R上關(guān)于y滿足利普希茲(L

5、ipschitz)條件,如果存在常數(shù)L0使不等式對(duì)于所有的都成立,L稱為利普希茲常數(shù)。下面我們給出一階線性微分方程 (1) 解的存在唯一性定理:如果在R上連續(xù)且關(guān)于y滿足利普希茲條件,則方程(1)存在唯一的解,定義于區(qū)間上,連續(xù)且滿足初始條件:這里 , , 下面我們分五個(gè)命題來證明。 命題1 設(shè)是 一階線性微分方程的定義于區(qū)間 上的,且滿足初始條件 的解,所以 是積分方程的定義于 上的連續(xù)解,反之亦然。 證明:因?yàn)槭?的解 所以兩邊從到取積分得 (2) 又因?yàn)槌跏紬l件即 (3)所以是積分方程 定義于 上的連續(xù)解。 反之:是積分方程 的連續(xù)解,則 微分得到 將代入 得 因此是 的定義于上且滿足初

6、始條件的解。 現(xiàn)在取,構(gòu)造皮卡逐步逼近函數(shù)序列如下: (n=1,2,) (4) 命題2 對(duì)于所有的n,函數(shù) 在 上定義、連續(xù)且滿足不等式 證明 當(dāng)n=1時(shí), 在 上有定義、連續(xù)且有 即n=1時(shí),命題2成立,下面我們用數(shù)學(xué)歸納法證明假設(shè)當(dāng)n=k時(shí)命題2成立,即 由n=k時(shí)成立知道, 在 上有定義、連續(xù)且有 即n=k+1時(shí)命題2成立,即對(duì)所有n成立,即構(gòu)建連續(xù)逐步逼近的序列完畢。 命題3 函數(shù)序列在上是一致收斂的。證明 我們考慮級(jí)數(shù) (5)它的部分和為=因此,要證明序列在上一致收斂,只需證明級(jí)數(shù)(5)在上一致收斂.為此,我們進(jìn)行如下估計(jì).由(4)有 (6)及 利用利普希茲條件及(6)得到 =設(shè)對(duì)于

7、正整數(shù)n,不等式成立,則有利普希茲條件,當(dāng)時(shí),有 于是,由數(shù)學(xué)歸納法得知,對(duì)于所有的正整數(shù)k,有如下的估計(jì) (7)從而可知,當(dāng)時(shí) (8)(8)的右端是正項(xiàng)收斂級(jí)數(shù)的一般項(xiàng)。由維爾斯特拉斯判別法級(jí)數(shù)(5)在上一致收斂,因而序列也在上一致收斂,命題3證畢. 命題4 是積分方程(2)的定義于上的連續(xù)解. 證明 由利普希茲條件以及在上一致收斂于,即知序列 在上一致收斂于.因而對(duì)于(4)兩邊取極限,得到即 (9)這就是說是積分方程(2)的定義于上的連續(xù)解.命題4證畢. 命題5 設(shè)是積分方程(2)的定義于上的一個(gè)連續(xù)解,則 證明 我們首先證明也是序列的一致收斂極限函數(shù).為此,從 (n=1,2,)我們可以進(jìn)

8、行如下估計(jì) 現(xiàn)設(shè),則有 故有數(shù)學(xué)歸納法得知,對(duì)于所有的正整數(shù)n,有下面的估計(jì)式 (10)因此,在上有 (11)是收斂級(jí)數(shù)的公項(xiàng),故因而在上一致收斂于,根據(jù)極限的唯一性,即得 命題5證畢.綜合1-5,即得到一階線性微分方程 解的存在唯一定理的證明。四、探究n階線性微分方程解的存在唯一性 n階線性微分方程的一般形式: (1) 初值條件為: (2)有如下結(jié)論: 定理1:(n階線性微分方程初值問題解的存在與唯一性)設(shè)(i=1,2,.n)和均在區(qū)間I上連續(xù),則對(duì)任一x0屬于I和任意n個(gè)常數(shù)c0,c1,-1,方程(1)恒有且只有一個(gè)定義在整個(gè)區(qū)間I上且滿足條件(2)的解。問題的轉(zhuǎn)化:將n階線性微分方程的初

9、值問題轉(zhuǎn)化成形如的線性微分方程組的初值問題。研究初值問題 (3)的解的存在唯一性定理。定理2:(存在唯一性性定理)如果是n*n矩陣,是n維列向量,它們都在區(qū)間上連續(xù),則對(duì)于區(qū)間上的任何數(shù)t0及任一常數(shù)n維列向量c,方程組存在唯一解,定義于整個(gè)區(qū)間上,且滿足初值條件 。 命題1:設(shè)是方程組(3)的定義于區(qū)間上且滿足初值條件 (4)的解,則是積分方程 ,上的連續(xù)解,反之亦然。證明:因?yàn)槭欠匠蹋?)的解,兩邊從t0到t取定積分得到,將(4)式代入上式,即有 , (5) 命題2:對(duì)于所有的正整數(shù)k,向量在區(qū)間上有定義且連續(xù)?,F(xiàn)取,構(gòu)造皮卡逐步逼近向量函數(shù)序列如下: 命題3:向量函數(shù)序列在區(qū)間上是一致收

10、斂的。由利普希茲條件以及在上一致收斂于,即知序列在上一致收斂于.因而對(duì)于(4)兩邊取極限,得到=即 命題4:是積分方程(5)的定義在區(qū)間上的連續(xù)解。 證明:由在上一致收斂于,以及的連續(xù)性,推知序列在區(qū)間 上一致收斂于。這就是說,是積分方程(5)的定義于上的連續(xù)解。 命題5:設(shè)p(t)是積分方程(5)的定義于上的另一個(gè)連續(xù)解,則 。t)。五、不動(dòng)點(diǎn)定理證明一階線性微分方程解的存在唯一性 (一)不動(dòng)點(diǎn)定理的重點(diǎn)結(jié)論 不動(dòng)點(diǎn),是一個(gè)函數(shù)術(shù)語,在數(shù)學(xué)中是指“被這個(gè)函數(shù)映射到其自身一個(gè)點(diǎn)”。 定義1稱:(X,)(X,)是一個(gè)壓縮映射,如果存在01使得(Tx,Ty)(x,y), 定理1.1 壓縮映射原理(

11、C.(C.-).皮卡(1890);S.Banach(1922)):設(shè)X是一個(gè)完備的度量空間,映射: 把每?jī)牲c(diǎn)的距離至少壓縮倍,即d(x),(y)d(x,y),這里是一個(gè)小于1的常數(shù),那么必有而且只有一個(gè)不動(dòng)點(diǎn),而且從的任何點(diǎn)x0出發(fā)作出序列這序列一定收斂到那個(gè)不動(dòng)點(diǎn)。 定理1.2布勞威爾不動(dòng)點(diǎn)定理(1910):設(shè)是歐氏空間中的緊凸集,那么到自身的每個(gè)連續(xù)映射都至少有一個(gè)不動(dòng)點(diǎn)。 定理1.3萊夫謝茨不動(dòng)點(diǎn)定理:設(shè)是緊多面體,:是映射,那么的不動(dòng)點(diǎn)代數(shù)個(gè)數(shù)等于的萊夫謝茨數(shù)L(),它是一個(gè)容易計(jì)算的同倫不變量.當(dāng)L()0時(shí),與同倫的每個(gè)映射都至少有一個(gè)不動(dòng)點(diǎn)。這個(gè)定理發(fā)展了布勞威爾定理。 定理1.4

12、( Schauder不動(dòng)點(diǎn)定理):設(shè)是Banach空間X的非空緊凸集,是連續(xù)映射,則在中有不動(dòng)點(diǎn)。(二)不動(dòng)點(diǎn)定理證明一階線性微分方程解的存在唯一性定理 1、Banach壓縮映射原理: 對(duì)于一階線性微分方程的初值問題 (1)解的存在與唯一問題,有下面的Picard定理: 設(shè)在矩形上連續(xù),且關(guān)于滿足Lipschitz條件,即存在常數(shù)有 則問題(1)在區(qū)間上有唯一解,這里 證明 首先,問題(1)等價(jià)于積分方程 (2)令則是Banach空間的閉子空間,故也是完備的,而映射事實(shí)上,是上的連續(xù)函數(shù),即且有 故其次, 因故 是上的壓縮映射.于是,由壓縮映射原理,存在唯一使即積分方程(2)有唯一解也就是問題

13、(1)在區(qū)間上有唯一解。例1 (Volterra積分方程的解) 設(shè)是定義在上的連續(xù)函數(shù),則Volterra積分方程 (3)對(duì)任意的以及任意常數(shù)存在唯一的解證明 作到其自身的映射:用表示在上的最大值,表示中的距離.對(duì)于任意的則有 下面用數(shù)學(xué)歸納法來證明 (4)當(dāng)時(shí),不等式(4)已經(jīng)證明.現(xiàn)設(shè)時(shí),不等式(4)成立,則當(dāng)時(shí),有 故不等式(4)對(duì)也成立,于是對(duì)一切自然數(shù)成立.由(4) 因?yàn)閷?duì)任意常數(shù)有, 這樣我們始終可以選取足夠大的自然數(shù)使得,因此,是壓縮映射,故方程(3)在上有唯一的解。2、 Schauder不動(dòng)點(diǎn)定理的應(yīng)用 (5)其中: , 若給定( ,) , ( , ) 則對(duì)于方程求一個(gè)函數(shù) (

14、 t) 滿足 (6)的問題稱為方程( 5) 的Cauchy 問題, 而 ( t ) 稱為Cauchy問題( 6)的一個(gè)解. 定理 3.1 ( Peano解的存在性定理) 設(shè)函數(shù) 在 中的閉區(qū)域: , 上連續(xù), 則Cauchy初值問題( 5 )至少在區(qū)間: 上有解存在,這里 證明 顯然,( 6)等價(jià)于積分方程 的求解.令 : 表示如下:易證是連續(xù)映象, 令,當(dāng) 又 是相對(duì)緊的, 故 是全連續(xù)映象, 且 ( ) ,據(jù)一般的Schauder定理, 在 有不動(dòng)點(diǎn), 即Cauchy問題問題( 6)有解.例2 設(shè)是連續(xù), 有界的, 則兩點(diǎn)邊值問題 有解.證明 令在上定義則是Banach空間.設(shè)定義: 這里

15、 顯然是連續(xù)泛函,且現(xiàn)來證明是全連續(xù)映象, 由于是連續(xù)的, 易證 是連續(xù)的,再者, 任取,則 .令 還有 當(dāng)如令,顯然有 ( ) ,故存在,使.由,顯然有,求兩次導(dǎo)就得到s即兩點(diǎn)邊值問題有解。6、 用不動(dòng)點(diǎn)定理證明n階線性微分方程解的存在唯一性1、對(duì)N階線性微分方程: (1)初值條件: 設(shè) (2)則有 (3) 帶入原方程: (4)進(jìn)一步整理:注釋: (5)很顯然在矩形區(qū)域axb,atx上是連續(xù)的 引理:方程(5)與方程(1),(2)等價(jià),也就是如果是初值問題(1)(2)的解,則(其中)是積分方(5)的解;如果是方程(5)的解,則(其中)是初值問題(1)(2)的解。證明:若是初值問題(1)(2)的解,設(shè) 由上述過程可知: 代回原方程可以得到: 經(jīng)過進(jìn)一步的整理: 得到是方程(5)的解若是方程(5)的解,則有:即 其中 ,)取 (6) 變?yōu)椋航?jīng)過移項(xiàng)可得滿足條件的方程(1),即得到是初值問題(1)(2)的解。故方程(1)(2)與方程(5)是等價(jià)的。2、用引理證明定理 證明:考慮積分方程 在給定的區(qū)域上連續(xù),考率映射 T: 則

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

最新文檔

評(píng)論

0/150

提交評(píng)論