16733解對(duì)初值的連續(xù)性和可微性定理-wenkub
2022-09-12 14:17:09 本頁(yè)面
【正文】 00( , )xy[ , )a ??[ , )a ??[ , )a ??一 解對(duì)初值的連續(xù)性 定義 設(shè)初值問題 )(,)(),(00???????yxyyxfdxdy,],[),( 00 上存在在區(qū)間的解 bayxxy ??使得對(duì)于滿足如果對(duì) ,0),(,0 ????? ba????2202000 )()( ????? yyxx),( 00 yx的一切 并且上存在都在區(qū)間的解 ,],[),( 00 bayxxy ??],[,),(),( 0000 baxyxxyxx ??? ???).,(),(),()(00000039。 xV則 ))()((2 xx ?? ??))()((2 xx ?? ? ))()(( 39。 II. 是 (1)滿足 的解 ,定義 區(qū)間為 [a,b]. 0? ? ?? ? ?( , , )ab0???結(jié)論 : 對(duì) , 使得當(dāng) 00?? ( , , )y x x y00( , )xy0 0 0 0? ? ?? ? ? ?( , , ) ( , , ) , .x x y x x y a x b時(shí) ,方程 (1)過點(diǎn) 的解 在 [a,b]上也有 定義 ,且 2 1? ? ?( , ) , ( ) ), (dy f x y x y G Rdx方程 xy0 00( , )p x ya bm in ( , / 2 )? ? ??0x0y0y0xGD思路分析： 記積分曲線段 S： 顯然 S是 xy平面上的有界閉集 . 00??? ? ?( , , ) ( ) , [ , ]y x x y x x a b第一步 :找區(qū)域 D,使 ,且 在 D上滿足 . SD? ( , )f x yy x G 00( , )xy00: ( , , )S y x x y??iC(見下圖 ) 由已知條件 ,對(duì) ,存在以它為中心的圓 ,使 在其內(nèi) 滿足 ,利普希茨常數(shù)為 .根據(jù)有限 覆蓋定理 ,存在 N,當(dāng) 時(shí) ,有 ??( , )x y S iCG?( , )f x y iL1NiiGC?? S G G??對(duì) ,記 0???? ?( , ) , m in , / 2d G S? ? ? ?? ? ?則以 為半徑的圓 ,當(dāng)其圓心從 S的 左端點(diǎn)沿 S 運(yùn)動(dòng)到右端點(diǎn)時(shí) ,掃過 的區(qū)域即為符合條件的要找區(qū)域 D ?? ?1m a x , , NL L L? Gb a xy0 00( , )p x ya bm in( , / 2)? ? ??0x0yGDxy0 00( , )p x ya bm in ( , / 2 )? ? ??0x0y0y0xGD第二步 :證明 在 [a,b]上有定義 . 00( ) ( , , )x x x y?? ?dc假定 利用引理 2及 的連續(xù)性可得 : ()x??[ , ] [ , ]c d a b? ? ?? ? ? ?( ) ( ) , ( * )x x c x d000( ) ( ) ( ) ( )L x xx x x x e? ? ? ? ?? ? ?00 0 0 0( ( ) ( ) ( ) ( ) )L x xx x x x e? ? ? ? ?? ? ? ?)(0000 ))()((abLexxyy ????? ??)(1
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1