




版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、第三章 一階微分方程(wi fn fn chn)解的存在定理教學(jio xu)目標理解解的存在唯一性定理的條件、結論及證明思路,掌握逐次(zh c)逼近法,熟練近似解的誤差估計式。了解解的延拓定理及延拓條件。理解解對初值的連續性、可微性定理的條件和結論。教學重難點 解的存在唯一性定理的證明,解對初值的連續性、可微性定理的證明。教學方法 講授,實踐。教學時間 12學時教學內容 解的存在唯一性定理的條件、結論及證明思路,解的延拓概念及延拓條件,解對初值的連續性、可微性定理及其證明。考核目標 1.理解解的存在唯一性定理的條件、結論,能用逐次逼近法解簡單的問題。2.熟練近似解的誤差估計式,解對初值的
2、連續性及可微性公式。3.利用解的存在唯一性定理、解的延拓定理及延拓條件能證明有關方程的某些性質。 1 解的存在性唯一性定理和逐步逼近法微分方程來源于生產實踐際,研究微分方程的目的就在于掌握它所反映的客觀規律,能動解釋所出現的各種現象并預測未來的可能情況。在第二章介紹了一階微分方程初等解法的幾種類型,但是,大量的一階方程一般是不能用初等解法求出其通解。而實際問題中所需要的往往是要求滿足某種初始條件的解。因此初值問題的研究就顯得十分重要,從前面我們也了解到初值問題的解不一定是唯一的。他必須滿足一定的條件才能保證初值問題解的存在性與唯一性,而討論初值問題解的存在性與唯一性在常微分方程占有很重要的地位
3、,是近代常微分方程定性理論,穩定性理論以及其他理論的基礎。例如方程 過點的解就是不唯一,易知是方程過的解,此外,容易驗證,或更一般地,函數 都是方程過點而且定義在區間上的解,其中是滿足的任一數。 解的存在唯一性定理能夠很好地解釋上述問題,它明確地肯定了方程的解在一定條件下的存在性和唯一性。另外,由于能得到精確解的微分方程為數不多,微分方程的近似解法具有重要的意義,而解的存在唯一性是進行近似計算的前提,如果解本身不存在,而近似求解就失去意義;如果存在不唯一,不能確定所求的是哪個解。而解的存在唯一性定理保證了所求解的存在性和唯一性。1存在(cnzi)性與唯一性定理:(1)顯式一階微分方程(wi f
4、n fn chn) (3.1)這里(zhl)是在矩形域: (3.2)上連續。 定理1:如果函數滿足以下條件:1)在上連續:2)在上關于變量滿足李普希茲(Lipschitz)條件,即存在常數,使對于上任何一對點,均有不等式成立,則方程(3.1)存在唯一的解,在區間上連續,而且滿足初始條件 (3.3)其中,稱為Lipschitz常數.思路:求解初值問題(3.1)的解等價于積分方程 的連續解。構造近似解函數列 任取一個連續函數,使得,替代上述積分方程右端的,得到 如果,那么是積分方程的解,否則,又用替代積分方程右端的,得到 如果,那么是積分方程的解,否則,繼續進行,得到 (3.4)于是得到(d do
5、)函數序列.函數(hnsh)序列在區間(q jin)上一致收斂于,即 存在,對(3.4)取極限,得到 即.4) 是積分方程在上的連續解.這種一步一步求出方程解的方法逐步逼近法.在定理的假設條件下,分五個命題來證明定理. 為了討論方便,只考慮區間,對于區間的討論完全類似.命題1 設是方程(3.1)定義于區間上,滿足初始條件 (3.3)的解,則是積分方程 (3.5)的定義于上的連續解.反之亦然.證明 因為是方程(3.1)滿足的解,于是有 兩邊取到的積分得到 即有 所以是積分方程定義在區間上的連續解.反之,如果是積分方程(3.5)上的連續解,則 (3.6)由于(yuy)在上連續(linx),從而(c
6、ng r)連續,兩邊對求導,可得 而且 ,故是方程(3.1)定義在區間上,且滿足初始條件的解.構造Picard的逐次逼近函數序列. (3.7)命題2 對于所有的,(3.6)中的函數在上有定義,連續且滿足不等式 (3.8)證明 用數學歸納法證明 當時,顯然在上有定義、連續且有 即命題成立. 假設命題2成立,也就是在上有定義、連續且滿足不等式 當時, 由于在上連續,從而在上連續,于是得知在上有定義、連續,而且有 即命題(mng t)2對時也成立(chngl).由數學歸納法知對所有的均成立(chngl).命題3 函數序列在上是一致收斂的.記,證明 構造函數項級數 (3.9)它的部分和為 于是的一致收
7、斂性與級數(3.9)的一致收斂性等價. 為此,對級數(3.9)的通項進行估計. (3.10)由Lipschitz條件得知設對于正整數,有不等式 成立,則由Lipschitz條件得知,當時,有 于是由數學歸納法可知, 對所有正整數,有 (3.11)由正項(zhn xin)級數 的收斂性,利用Weierstrass判別(pnbi)法,級數(3.9)在上一致收斂(shulin).因而序列在上一致收斂. 設,則也在上連續,且 命題4 是積分方程(3.5)的定義在上的連續解.證明 由Lipschitz條件 以及在上一致收斂于,可知在上一致收斂于.因此 即 故是積分方程(3.5)的定義在上的連續解.命題5
8、 設是積分方程(3.5)的定義在上的一個連續解,則,.證明 設,則是定義在的非負連續函數,由于 而且滿足Lipschitz條件,可得 令,則是的連續(linx)可微函數,且,即,于是(ysh)在上, 故,即,命題(mng t)得證.對定理說明幾點:(1)存在唯一性定理中的幾何意義.在矩形域中,故方程過的積分曲線的斜率必介于與之間,過點分別作斜率為與的直線.當時,即,(如圖(a)所示),解在上有定義;當時,即,(如圖(b)所示),不能保證解在上有定義,它有可能在區間內就跑到矩形外去,只有當才能保證解在內,故要求解的存在范圍是. (2)、 由于(yuy)李普希茲條件的檢驗是比較費事的,而我們能夠用
9、一個(y )較強的,但卻易于驗證的條件來代替他,即如果函數在矩形(jxng)域上關于的偏導數存在并有界,即,則李普希茲條件條件成立. 事實上 這里. 如果在上連續,它在上當然滿足李普希茲條件.但是,滿足李普希茲條件的函數不一定有偏導數存在.例如函數在任何區域都滿足李普希茲條件,但它在處沒有導數. (3)、設方程(3.1)是線性的,即方程為 易知,當在區間上連續時,定理1的條件就能滿足,且對任一初值所確定的解在整個區間上有定義、連續. 實際上,對于一般方程(3.1),由初值所確定的解只能定義在上,是因為在構造逐步逼近函數序列時,要求它不越出矩形域,此時,右端函數對沒有任何限制,只要取. (4)、
10、Lipschitz條件 是保證初值問題解惟一的充分條件,而非必要條件. 例如 試證方程 經過平面上任一點的解都是唯一的. 證明(zhngmng) 時, ,在上連續(linx), 也在上連續(linx),因此對軸外的任一點,方程滿足的解都是唯一存在的.又由 可得方程的通解為 ,其中為上半平面的通解, 為下半平面的通解,它們不可能與相交.注意到是方程的解,因此對軸上的任一點,只有通過,從而保證平面上任一點的解都是唯一的. 但是 因為,故不可能存在,使得 所以方程右端函數在的任何鄰域并不滿足Lipschitz條件. 此題說明Lipschitz條件 是保證初值問題解惟一的充分條件,而非必要條件. 2)
11、考慮一階隱方程 (3.12)由隱函數存在定理,若在的某一鄰域內連續且,而,則必可把唯一地表為的函數 (3.13)并且于的某一鄰域連續,且滿足如果關于所有變元存在連續的偏導數,則對也存在連續的偏導數,并且 (3.14)顯然(xinrn)它是有界的,由定理1可知,方程(3.13)滿足初始條件的解存在且唯一(wi y).從而得到下面的定理.定理(dngl)2 如果在點的某一鄰域中:) 關于所有變元連續,且存在連續的偏導數;)則方程(3.12)存在唯一的解 (為足夠小的正數)滿足初始條件 (3.15)近似計算和誤差估計求方程近似解的方法Picard的逐次逼近法 對方程的第次近似解和真正解在內的誤差估計
12、式 (3.16)此式可用數學歸納法證明. 設有不等式 成立,則 例1 討論(toln)初值問題 , 解的存在唯一性區間,并求在此區間上與真正(zhnzhng)解的誤差不超過0.05的近似解,其中, .解 ,由于(yuy),根據誤差估計式(3.16) 可知.于是 就是所求的近似解,在區間上,這個解與真正解得誤差不超過0.05.2 解的延拓上節我們學習(xux)了解的存在唯一性定理,當的右端函數(hnsh)在上滿足解的存在(cnzi)性唯一性條件時,初值問題的解在上存在且唯一. 但是,這個定理的結果是局部的,也就是說解的存在區間是很小的. 可能隨著的存在區域的增大,而能肯定的解得存在區間反而縮小。
13、例如,上一節的例1,當定義區域變為時,解的范圍縮小為. 在實際引用中,我們也希望解的存在區間能盡量擴大,下面討論解的延展概念,盡量擴大解的存在區間,把解的存在唯一性定理的結果由局部的變成大范圍的.1、飽和解及飽和區間定義1 對定義在平面區域上的微分方程 (3.1)設是方程(3.1)定義在區間上的一個解,如果方程(3.1)還有一個定義在區間上的另一解,且滿足 (1) ;但是 (2)當時,則稱是可延拓的,并稱是在上的延拓.否則如果不存在滿足上述條件的解,則稱是方程(3.1)的不可延拓解或飽和解,此時把不可延拓解的區間稱為一個飽和區間.2、局部李普希茲條件定義2 若函數在區域內連續,且對內每一點,都
14、存在以點為中心,完全含在內的閉矩形域,使得在上關于滿足李普希茲條件(對于不同的點,閉矩形域的大小和李普希茲常數可能不同),則稱在上關于滿足局部李普希茲條件.定理(dngl)3 (延拓定理)如果(rgu)方程的右端函數(hnsh)在(有界或無界)區域上連續,且在關于滿足局部李普希茲條件,則對任意一點,方程以為初值的解均可以向左右延展,直到點任意接近區域的邊界.以向增大的一方來說,如果只能延拓到區間上,則當時,趨于區域的邊界。證明 ,由解的存在唯一性定理,初值問題 (1)存在唯一的解,解的存在唯一區間為.取,以為中心作一小矩形,則初值問題 (2)存在唯一的解,解的存在唯一區間為.因為 ,有唯一性定
15、理,在兩區間的重疊部分應有,即當時.定義函數 則是方程(3.1)滿足(1)(或(2) 的,在上有定義的唯一的解.這樣,把方程(3.1)滿足(1)的解在定義區間上向右延伸了一段.即把解看作方程(3.1)的解在定義區間的向右延拓,延拓到更大區間.同樣的方法,也可把解向左延拓.這種將曲線向左右延拓的辦法可繼續進行下去,最后將得到一個解,不能再向左右延拓了.這個解稱為方程(3.1)的飽和解.推論(tuln)1 對定義(dngy)在平面區域上的初值問題 其中(qzhng)若在區域內連續且關于滿足局部Lipschtiz條件,則它的任一非飽和解均可延拓為飽和解.推論2 設是初值問題 其中的一個飽和解,則該飽
16、和解的飽和區間一定是開區間.證明 若飽和區間不是開區間,不妨設,則,這樣解還可以向右延拓,從而是非飽和解,矛盾.對時,同樣討論,即(或)時, .推論3 如果是無界區域,在上面解的延拓定理的條件下,方程(3.1)通過點的解可以延拓,以向增大(減小)一方的延拓來說,有以下兩種情況:解可以延拓到區間(或);解只可延拓到區間(或),其中為有限數,則當時,或者無界,或者點.例1討論方程分別通過點和點的解的存在區間.解 此方程右端函數在整個平面上滿足解的存在唯一性定理及解的延拓定理的條件.易知方程的通解為 故通過(tnggu)點的解為,這個解的存在(cnzi)區間為;通過(tnggu)點的解為,這個解的存
17、在區間為(如圖所示).注意, 過點的解為向右方可以延拓到,但向左方只能延拓到,因為當時,.例2討論方程過點的解的存在區間.解 方程右端函數在右半平面上滿足解的存在唯一性定理及解的延拓定理的條件.區域(右半平面)是無界開域,軸是它的邊界.易知問題的解為,它于區間 上有定義、連續且當時, ,即所求問題的解向右方可以延拓到,但向左方只能延拓到,且當時積分曲線上的點趨向于區域的邊界上的點.例3 考慮方程,假設和在平面上連續,試證明:對于任意及,方程滿足的解都在上存在.證明 根據題設,易知方程右端函數在整個平面上滿足解的存在唯一性定理及解的延拓定理的條件.又為方程在上的解,由延拓定理可知,對,滿足的解應
18、當無限遠離原點,但是,由解的唯一性, 又不能穿過直線,故只能向兩側延拓,而無限遠離原點,從而解應在存在.注: 如果(rgu)函數于整個(zhngg)平面(pngmin)上定義、連續和有界,同時存在關于的一階連續偏導數,則方程(3.1)的任一解均可以延拓到區間.練習 試證對任意,方程滿足初始條件的解都在上存在.3 解對初值的連續性和可微性定理在初值問題中我們都是把初值看成是固定的數值,然后再去討論方程經過點的解.但是假如變動,則相應初值問題的解也隨之變動,也就是說初值問題的解不僅依賴于自變量,還依賴于初值.例如:時,方程的解是,將初始條件帶入,可得.很顯然它是自變量和初始條件的函數.因此將對初值
19、問題的解記為,它滿足.當初值發生變化時,對應的解是如何變化的?當初始值微小變動時,方程解的變化是否也很小呢?為此就要討論解對初值的一些性質.1、解關于初值的對稱性設方程(3.1)滿足初始條件的解是唯一的,記為,則在此關系式中, 與可以調換其相對位置.即在解的存在范圍內成立關系式 證明(zhngmng) 在方程(fngchng)(3.1)滿足初始條件的解的存在區間(q jin)內任取一點,顯然,則由解的唯一性知,過點的解與過點的解是同一條積分曲線,即此解也可寫為 并且,有.又由是積分曲線上的任一點,因此關系式對該積分曲線上的任意點均成立. 2、 解對初值的連續依賴性由于實際問題中初始條件一般是由
20、實驗 測量得到的,肯定存在誤差. 有的時候誤差比較大,有的時候誤差比較小,在實際應用中我們當然希望誤差較小,也就是說當變動很小的時候,相應的方程的解也只有微小的變動,這就是解對初值的連續依賴性所要研究的問題:在討論這個問題之前,我們先來看一個引理:引理:如果函數于某域內連續,且關于滿足Lipschtiz條件(Lipschtiz常數為),則對方程(3.1)的任意兩個解及,在它們公共存在的區間內成立著不等式 (3.17)其中為所考慮區域內的某一值.證明 設, 于區間上均有定義,令 則 于是 從而 所以,對,有 對于區間,令,并記,則方程(3.1)變為 而且(r qi)已知它有解和.類似(li s)
21、可得因此(ync), 兩邊開平方即得(3.17).利用此引理我們可以證明解對初值的連續依賴性: 解對初值的連續依賴定理 假設在區域內連續,且關于滿足局部李普希茲條件,如果,初值問題有解,它于區間上有定義(),則對任意, ,使得當時,方程(3.1)滿足條件的解在區間上也有定義,并且有 .證明 記積分曲線段是平面上一個有界閉集.第一步:找區域,使,而且在上關于滿足Lipschitz條件.由已知條件,對,存在以它為中心的開圓,使在其內關于滿足Lipschitz條件.因此,根據有限覆蓋定理,可以找到有限個具有這種性質的圓(不同的,其半徑和Lipschitz常數的大小可能不同),它們的全體覆蓋了整個積分
22、曲線段,令,則,對,記,則以上的點為中心,以為半徑的圓的全體及其邊界構成包含的有界閉域,且在上關于滿足Lipschitz條件, Lipschitz常數為.第二步:證明,使得當時,解在區間上也有定義.由于(yuy)是一個(y )有界閉域,且在其內(q ni)關于滿足Lipschitz條件,由解的延拓定理可知, 解必能延拓到區域的邊界上.設它在的邊界上的點為和,這時必有.否則設,由引理有 利用的連續性,對,必有存在,使當時有,取,則當時就有 (3.18)于是對一切成立,特別地有 ,即點和均落在域的內部,這與假設矛盾,故解在區間上有定義.第三步 證明.在不等式(3.18)中將區間換成,可知當時,就有 .根據方程解對初值的連續依賴定理及解對自變量的連續性有3、解對初值的連續性定理若函數在區域內連續,且關于滿足局部李普希茲條件,則方程(3.1) 的解作為的函數在它的存在范圍內是連續的.證明(zhngmng) 對,方程(fngchng)(3.1)過的飽和(boh)解定義于上,
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 內蒙古科技大學《土木工程力學》2023-2024學年第二學期期末試卷
- 四川省德陽市中學江縣市級名校2025年初三下第三次周考綜合試題含解析
- 西藏拉薩片八校2025年高三寒假測試二歷史試題含解析
- 江門職業技術學院《智能計算系統》2023-2024學年第二學期期末試卷
- 咸寧市嘉魚縣2025年數學三下期末教學質量檢測試題含解析
- 濰坊食品科技職業學院《朝鮮語會話(Ⅲ)》2023-2024學年第二學期期末試卷
- 煙臺城市科技職業學院《健康評估技能》2023-2024學年第一學期期末試卷
- 山東水利職業學院《大學生就業指導》2023-2024學年第一學期期末試卷
- 遼寧省錦州市2025屆下學期第三次考試英語試題(輔導班)試題含解析
- 二零二五股權轉讓協議之補充協議
- 服裝生產授權委托書
- 口腔科水路清洗消毒制度
- 近視防控技術的進展
- 蘇州市智能建造試點項目評分表(暫行)
- 工作場所安全與環境保護管理制度
- 電氣自動化試題及答案
- 虹橋商務區核心區一期及南北片區集中供能專項規劃
- 廣東省醫療服務價格項目及價格
- 第3課我愛我家教學課件2021-2022學年贛美版美術八年級下冊
- 2024年江蘇省泰州市泰興市中考一模物理試卷(含答案解析)
- 培訓機構學校:教師管理手冊
評論
0/150
提交評論