1、3.3 解對初值的連續(xù)性和可微性定理考察的解 對初值的一些基本性質解對初值的連續(xù)性 解對初值和參數的連續(xù)性 解對初值的可微性 內容:yxG圖例分析(見右)解可看成是關于的三元函數滿足 解對初值的對稱性:前提解存在唯一例:初值問題的解不單依賴于自變量 ,同時也依賴于初值 .初值變動,相應的初值問題的解也將隨之變動. Q:當初值發(fā)生變化時,對應的解是如何變化的? 當初始值微小變動時,方程的解變化是否也是很小呢？證明則由解的唯一性知,即此解也可寫成:且顯然有:按解的存在范圍是否有限,又分成下面兩個問題:Q1:解在某有限閉區(qū)間a,b上有定義,討論初值 的微小變化對解的影響情況,稱為解對初值的連續(xù)性.內

2、容包括:當初值發(fā)生小的變化時,所得到的解是否仍在a,b上有定義以及解在整個區(qū)間a,b上是否也變化很小?Q2:解在某個無限閉區(qū)間 上有定義,討論初值 的微小變化是否仍有解在 上有定義,且解在整個區(qū)間 上變化也很小?這種問題稱為解的穩(wěn)定性問題,將在第六章中討論.一 解對初值的連續(xù)性定義設初值問題1.解對初值的連續(xù)依賴性初值問題引理 如果函數 于某域G內連續(xù)，且關于 y 滿足利普希茨條件（利普希茨常數為L），則對方程 的任意兩個解 及 ,在它們的公共存在區(qū)間內成立著不等式 .其中 為所考慮區(qū)間內的某一值。證明則于是因此兩邊取平方根即得2 定理1 (解對初值的連續(xù)依賴性定理)條件: I. 在G內連續(xù)且

3、關于 滿足局部Lips.條件; II. 是(1)滿足 的解,定義 區(qū)間為a,b.結論: 對 , 使得當時,方程(1)過點 的解 在a,b上也有定義,且 方程0思路分析：記積分曲線段S：顯然S是xy平面上的有界閉集.第一步:找區(qū)域D,使 ,且 在D上滿足Lips.條件.yxG(見下圖)由已知條件,對 ,存在以它為中心的圓 ,使 在其內滿足Lips.條件,利普希茨常數為 .根據有限覆蓋定理,存在N,當 時,有 對 ,記則以 為半徑的圓,當其圓心從S的左端點沿S 運動到右端點時,掃過的區(qū)域即為符合條件的要找區(qū)域Dba00第二步:證明 在a,b上有定義.假定 利用引理2及 的連續(xù)性可得:第三步:證明在不等式(*)中將區(qū)間c,d換成a,b即得. 根據上面定理及方程的解關于自變量的連續(xù)性,顯然有:3 定理2 (解對初值的連續(xù)性定理)條件: 在G內連續(xù)且關于 滿足局部Lips.條件;方程結論:在它的存在范圍內是連續(xù)的.,作為 的函數證明令二 解對初值的可微性 為研究解對初值的可微性,先研究解對初值和參數的連續(xù)依賴性.1 解對初值和參數的連續(xù)依賴定理2 解對初值和參數的連續(xù)性定理3 解對初值可微性定理證明因此,解對初值的連續(xù)性定理成立,即即和于是設即是初值問題的解,根據解對初值和參數的連續(xù)性定理則的解,不難求得即和于是即是