解对初值的连续性和可微性PPT通用课件

1、第三章第三章 一阶微分方程解的一阶微分方程解的 存在唯一性定理存在唯一性定理Existence & Uniqueness Theorem of First-Order ODE2022-6-211 1常微分方程-重庆科技学院-李可人3.3 解对初值的连续性和可解对初值的连续性和可微性微性/Continuous and differentiable dependence of the solutions/ 解对初值的连续性解对初值的连续性 解对初值的可微性解对初值的可微性本节要求本节要求： 1 了解解对初值及参数的连续依赖性定理；了解解对初值及参数的连续依赖性定理； 2 了解解对初值及参数

2、的可微性定理。了解解对初值及参数的可微性定理。内容提要内容提要3.3 Continuity & differentiability Continuity & differentiability2022-6-213 3常微分方程-重庆科技学院-李可人3.3.1 解对初值的对称性定理解对初值的对称性定理设 f (x,y) 于域 D 内连续且关于 y 满足利普希茨条件，),(,),(0000 yxxyGyx是初值问题00)( ),(yxyyxfdxdy的唯一解，则在此表达式中， 与 可以调换其相对位置，即在解的存在范围内成立着关系式3.3 Continuity & diffe

3、rentiability Continuity & differentiability),(00yx),(yx),(00yxxy2022-6-214 4常微分方程-重庆科技学院-李可人3.3.2解对初值的连续依赖性定理解对初值的连续依赖性定理假设 f (x,y) 于域 G 内连续且关于 y 满足局部利普希茨条件，),(,),(0000 yxxyGyx是初值问题00 yxyyxfdxdy)(),(的解，它于区间 有定义 ，那么，对任意给定的 ，必存在正数， 使得当bxa)(bxa00),(ba2200200)()(yyxx时，方程满足条件 的解00yxy)(),(00yxxy在区间bxa

4、也有定义，并且bxayxxyxx 0000,),(),(3.3 Continuity & differentiability Continuity & differentiability2022-6-215 5常微分方程-重庆科技学院-李可人引理引理 如果 f(x,y) 在某域 D 内连续，且关于 y 满足利普希兹条件（利普希兹常数为L），则方程(3.1.1)任意两个解 在它们公共存在区间成立不等式)()(xx及000 xxLexxxx)()()()(其中 为所考虑区间内的某一值。0 x证明证明设 在区间 均有定义，令)(),(xxbxa2)()()(xxxVbxa不妨设因此，

5、有( )( )xx3.3 Continuity & differentiability Continuity & differentiability2022-6-216 6常微分方程-重庆科技学院-李可人则)()()()()(xxxxxV2),(),()()(xfxfxx 2)()()()(xxxxL 2)(xLV20222LxLxexLVexV)()(于是02)(LxexVdxd因此，在区间 a,b 上 为减函数，有LxexV2)(02 ()00( )(),L x xV xV x exxb3.3 Continuity & differentiability Conti

6、nuity & differentiability2022-6-217 7常微分方程-重庆科技学院-李可人对于区间，并记令000txtxxxa,则则),(ytfdtdy并且已知它有解)(),(tyty类似以上推导过程，令2)()()(ttt)()(tt2attettttL0200,)()()(注意到)()()()(00 xVtxVtxt及0200 xxaexVxVxxL,)()()(因此0200( )(),L x xV xV x eaxb axb两边取平方根，得000 xxLexxxx)()()()(3.3 Continuity & differentiability Cont

7、inuity & differentiability2022-6-218 8常微分方程-重庆科技学院-李可人解对初值的连续依赖性定理的证明解对初值的连续依赖性定理的证明（一）构造满足利普希茨条件的有界闭区域（一）构造满足利普希茨条件的有界闭区域因为，积分曲线段bxaxyxxyS :00),(),(是 x y 平面上一个有界闭集，又按假定对S上每一点(x,y)必存在一个以它为中心的开圆 使在其内函数 f(x , y) 关于 y 满足利普希茨条件。根据有限覆盖定理，可以找到有限个具有这种性质的圆 并且它们的全体覆盖了整个积分曲线段S。设 为圆 的半径， 表示 f(x,y) 于 内的相应的利

8、普希茨常数。,:GCC),(NiCi21iriCiLiC3.3 Continuity & differentiability Continuity & differentiability2022-6-219 9常微分方程-重庆科技学院-李可人令,iNiCG1 则有,GGS且 的边界与S的距离 。对预先给定的G00若取),max(),min(NLLLL21 2及则以S上每一点为中心，以 为半径的圆的全体，连同它们的圆周一起构成S的有界闭域 ，且 f (x，y)GD 在D上关于 y 满足利普希茨条件，利普希茨常数为L。3.3 Continuity & differentia

9、bility Continuity & differentiability2022-6-211010常微分方程-重庆科技学院-李可人（二）解对初值的连续依赖性（二）解对初值的连续依赖性断言，必存在这样的正数),(),( ba使得只要 满足不等式2200200)()(yyxx则解 必然在区间 00yx ,)(),(xyxxy00bxa也有定义。由于D是有界闭区域，且 f (x，y)在其内关于 y 满足利普希茨条件，由延拓性定理知，解 必能延拓到区域D的边界上。设它在D的边界上的点为),(00yxxy和)(,(cc,),(,(dcdd这时必然有.,bdac3.3 Continuity &a

10、mp; differentiability Continuity & differentiability2022-6-211111常微分方程-重庆科技学院-李可人因为否则设 则由引理,bdacdxcexxxxxxL,)()()()(000由 的连续性，对)(x,)(abLe211必存在,02使得当 时有20 xx10)()(xx取),min(21则当2200200)()(yyxx022002xxLexxxx)()()()(0220000 xxLexxxx)()()()(3.3 Continuity & differentiability Continuity & dif

11、ferentiability2022-6-211212常微分方程-重庆科技学院-李可人022002xxLexxxx)()()()(0220000 xxLexxxx)()()()(02200200 2xxLexxxx)()()()(222 ()1002 L b ayye22 ()214L b aedxc,于是)()(xx对一切 成立，特别地有, dcx)()(cc)()(dd即点和)(,(cc)(,(dd均落在D的内部，而不可能位于D的边界上。与假设矛盾，因此，解 在区间a,b上有定义。)(x3.3 Continuity & differentiability Continuity &a

12、mp; differentiability2022-6-211313常微分方程-重庆科技学院-李可人)()(xxdxc,在不等式中，将区间c，d换为a，b ，可知 ，当2200200)()(yyxx时，有bxayxxyxx 0000,),(),(定理得证。3.3 Continuity & differentiability Continuity & differentiability2022-6-211414常微分方程-重庆科技学院-李可人的解 作为 的函数在它的存在范围内是连续的。解对初值的连续性定理解对初值的连续性定理假设 f (x,y) 于域 G 内连续且关于 y 满足局

13、部利普希茨条件，则方程),(00 yxxy ),(yxfdxdy00yxx,3.3 Continuity & differentiability Continuity & differentiability2022-6-211515常微分方程-重庆科技学院-李可人1.1. 含参数的一阶方程表示含参数的一阶方程表示)(),(Eyxfdxdy ,),(:GyxG2. 2. 一致利普希兹条件一致利普希兹条件 设函数),(yxf一致地一致地关于 y 满足局部利普希兹局部利普希兹 (Lipschitz)(Lipschitz)条件条件，为中心的球 ，使得对任何2121yyLyxfyxf),

14、(),(其中L 是与 无关的正数。在 内连续，且在 内GG即对 内的每一点 都存在以成立不等式G),(yx),(yxGC ),(1yx),(2yx3.3 Continuity & differentiability Continuity & differentiability2022-6-211616常微分方程-重庆科技学院-李可人由解的存在唯一性定理，对每一方程 的解唯一确定。记为E),(000yxxy ),(03.3 Continuity & differentiability Continuity & differentiability2022-6-211

15、717常微分方程-重庆科技学院-李可人解对初值和参数的连续依赖性定理解对初值和参数的连续依赖性定理假设 于域 内连续，且在 内关于 y 一致地满足局部利普希茨条件，),(,),(000000 yxxyGyx是方程 通过点 的解，在区间 那么，对任意给定的 ，必存在正数bxa,bxa00),(ba220200200)()()(yyxx时，方程满足条件 的解00yxy)(),(00yxxy 在区间bxa也有定义，并且bxayxxyxx 00000,),(),(),(yxfGGE),(00yx有定义其中使得当3.3 Continuity & differentiability Continu

16、ity & differentiability2022-6-211818常微分方程-重庆科技学院-李可人的解 作为 的函数在它的存在范围内是连续的。解对初值和参数的连续性定理解对初值和参数的连续性定理),(00 yxxy ),(yxfdxdy,00yxx假设 于域 内连续，且在 内关于 y 一致地满足局部利普希茨条件，则方程),(yxfGG3.3 Continuity & differentiability Continuity & differentiability2022-6-211919常微分方程-重庆科技学院-李可人3.3.3解对初值的可微性定理解对初值的可微性

17、定理的解 作为 的函数在它的存在范围内是连续可微的。若函数 f (x,y) 以及 都在区域 G 内连续，则方程),(00 yxxy ),(yxfdxdy00yxx,yf3.3 Continuity & differentiability Continuity & differentiability2022-6-212020常微分方程-重庆科技学院-李可人解分别是下列初值问题的00yx,000( , ) ()(,)dzf xzdxyz xf xy 0( , ) ()1dzf xzdxyz xxxdxyxfyxfx0000),(exp),(xxdxyxfy00),(exp),(,(

18、00yxxxfx3.3 Continuity & differentiability Continuity & differentiability2022-6-212121常微分方程-重庆科技学院-李可人证明证明yf由在区域 G 内连续，推知 f (x,y)在G 内关于 y 满足局部利普希茨条件。因此，解对初值的连续性定理成立，即),(00 yxxy下面进一步证明对于函数 的存在范围内任一点的偏导数),(00 yxxy00yxx,在它的存在范围内关于 是连续的。存在且连续。00 yxx,3.3 Continuity & differentiability Continu

19、ity & differentiability2022-6-212222常微分方程-重庆科技学院-李可人设由初值),(),(00000 yxxxyyxxy 和为足够小的正数）所确定的方程的解分别为,)(,(),(000000 xyxxyx 和即 )( 00dxx,fyxx )( 000dxx,fyxxx 于是 )()( 000dxx,fdxx,fxxxxx )()(0000dxyx,fdxx,fxxxxx)()( 其中.10先证0 x存在且连续。3.3 Continuity & differentiability Continuity & differentiabili

20、ty2022-6-212323常微分方程-重庆科技学院-李可人注意到 及的连续性，有yf,1)()(ryx,fyx,f)(其中 具有性质1r。时，且当时当0 00 01010rxrx 类似地2000)( )(1000r,yxfdxx,fxxxx 其中 与 具有相同的性质，因此对2r1r 00时，有x 3.3 Continuity & differentiability Continuity & differentiability2022-6-212424常微分方程-重庆科技学院-李可人 )()( 0120000dxxryx,fr,yxfxxx 0 x 即是初值问题00001)(

21、zryxfxzzryx,fdxdz),()(的解，在这里 被视为参数。 00 x 显然，当 时上述初值问题仍然有解。00 x 3.3 Continuity & differentiability Continuity & differentiability2022-6-212525常微分方程-重庆科技学院-李可人0 x 根据解对初值和参数的连续性定理，知是000 xzxx ,的连续函数。从而存在0000 xxx lim而是初值问题),()(000)(yxfxzzyx,fdxdz的解。0 x0000( , )(,)expxxf xf x ydxxy 且 ，显然00yxx,的连续函

22、数。它是3.3 Continuity & differentiability Continuity & differentiability2022-6-212626常微分方程-重庆科技学院-李可人再证存在且连续。0y为初值),(000 yyxxy ),(000yyx 设)(0y 所确定的方程的解。类似地可推证0y 是初值问题1)(03)(xzzryx,fdxdz的解。因而xxdxryxfx030),(exp 3.3 Continuity & differentiability Continuity & differentiability2022-6-212727常微分方程-重庆科技学院-李可人其中 具有性质3r。时，且当时当0 00 03030ryry xxydxyxfyy00000),(explim 故有至于 的