一阶线性微分方程解的存在唯一性证明

合集下载

大学专业课考试复习资料--《常微分方程》试题库含答案

大学专业课考试复习资料--《常微分方程》试题库含答案

大学专业课考试复习资料--《常微分方程》试题库含答案一、填空题1.微分方程0)(22=+-+x y dx dy dx dy n 的阶数是____________ 答:12.若),(y x M 和),(y x N 在矩形区域R 内是),(y x 的连续函数,且有连续的一阶偏导数,则方程0),(),(=+dy y x N dx y x M 有只与y 有关的积分因子的充要条件是 _________________________ 答:)()1)((y Mx N y M φ=-∂∂-∂∂ 3._________________________________________ 称为齐次方程.答:形如)(xy g dx dy =的方程 4.如果),(y x f ___________________________________________ ,则),(y x f dx dy =存在唯一的解)(x y ϕ=,定义于区间h x x ≤-0 上,连续且满足初始条件)(00x y ϕ= ,其中=h _______________________ .答:在R 上连续且关于y 满足利普希兹条件 ),min(mb a h = 5.对于任意的),(1y x ,),(2y x R ∈ (R 为某一矩形区域),若存在常数)0(>N N 使 ______________________ ,则称),(y x f 在R 上关于y 满足利普希兹条件.答: 2121),(),(y y N y x f y x f -≤-6.方程22y x dxdy +=定义在矩形区域R :22,22≤≤-≤≤-y x 上 ,则经过点 )0,0(的解的存在区间是 ___________________ 答:4141≤≤-x 7.若),.....2,1)((n i t x i =是齐次线性方程的n 个解,)(t w 为其伏朗斯基行列式,则)(t w 满足一阶线性方程 ___________________________________答:0)(1'=+w t a w8.若),.....2,1)((n i t x i =为齐次线性方程的一个基本解组,)(t x 为非齐次线性方程的一个特解,则非齐次线性方程的所有解可表为_____________________答:x x c x n i i i +=∑=19.若)(x ϕ为毕卡逼近序列{})(x n ϕ的极限,则有≤-)()(x x n ϕϕ __________________ 答:1)!1(++n nh n ML 10.______________________称为黎卡提方程,若它有一个特解)(x y ,则经过变换 ___________________ ,可化为伯努利方程. 答:形如)()()(2x r y x q y x p dxdy ++=的方程 y z y += 11.一个不可延展解的存在区间一定是 区间.答:开12.方程1d d +=y x y 满足解的存在唯一性定理条件的区域是 . 答:}0),{(2>∈=y R y x D ,(或不含x 轴的上半平面)13.方程y x xy sin d d 2=的所有常数解是 . 答: ,2,1,0,±±==k k y π14.函数组)(,),(),(21x x x n ϕϕϕ 在区间I 上线性无关的 条件是它们的朗斯基行列式在区间I 上不恒等于零.答:充分15.二阶线性齐次微分方程的两个解)(),(21x y x y 为方程的基本解组充分必要条件是 . 答:线性无关(或:它们的朗斯基行列式不等于零)16.方程02=+'-''y y y 的基本解组是 .答:x x x e ,e17.若)(x y ϕ=在),(∞+-∞上连续,则方程y x x y )(d d ϕ=的任一非零解 与x 轴相交. 答:不能18.在方程0)()(=+'+''y x q y x p y 中,如果)(x p ,)(x q 在),(∞+-∞上连续,那么它的任一非零解在xoy 平面上 与x 轴相切.答:不能19.若)(),(21x y x y ϕϕ==是二阶线性齐次微分方程的基本解组,则它们 共同零点.答:没有20.方程21d d y xy -=的常数解是 .答:1±=y21.向量函数组)(,),(),(21x x x n Y Y Y 在其定义区间I 上线性相关的 条件是它们的朗斯基行列式0)(=x W ,I x ∈.答:必要22.方程22d d y x x y+=满足解的存在唯一性定理条件的区域是 . 答: xoy 平面23.方程0d )1(1)d (22=-+-y x y x y x 所有常数解是 .答:1,1±=±=x y24.方程04=+''y y 的基本解组是 .答:x x 2cos ,2sin25.一阶微分方程的通解的图像是 维空间上的一族曲线. 答:2二、单项选择题1.n 阶线性齐次微分方程基本解组中解的个数恰好是( A )个.(A )n (B )n -1 (C )n +1 (D )n +22.如果),(y x f ,y y x f ∂∂),(都在xoy 平面上连续,那么方程),(d d y x f x y=的任一解的存在区间(D ).(A )必为),(∞+-∞ (B )必为),0(∞+(C )必为)0,(-∞ (D )将因解而定3.方程y x x y+=-31d d 满足初值问题解存在且唯一定理条件的区域是( D ).(A )上半平面 (B )xoy 平面(C )下半平面 (D )除y 轴外的全平面4.一阶线性非齐次微分方程组的任两个非零解之差( C ).(A )不是其对应齐次微分方程组的解 (B )是非齐次微分方程组的解(C )是其对应齐次微分方程组的解 (D )是非齐次微分方程组的通解5. 方程21d d y x y-=过点)1,2(π共有( B )个解.(A )一 (B )无数 (C )两 (D )三6. 方程2d d +-=y x xy ( B )奇解. (A )有三个 (B )无 (C )有一个 (D ) 有两个7.n 阶线性齐次方程的所有解构成一个( A )线性空间.(A )n 维 (B )1+n 维 (C )1-n 维 (D )2+n 维8.方程323d d y xy =过点( A ). (A )有无数个解 (B )只有三个解 (C )只有解0=y (D )只有两个解 9. ),(y x f y '连续是保证),(y x f 对y 满足李普希兹条件的( B )条件.(A )充分 (B )充分必要 (C )必要 (D )必要非充分10.二阶线性非齐次微分方程的所有解( C ).(A )构成一个2维线性空间 (B )构成一个3维线性空间(C )不能构成一个线性空间 (D )构成一个无限维线性空间11.方程y x y =d d 的奇解是( D ). (A )x y = (B )1=y (C )1-=y (D )0=y12.若)(1x y ϕ=,)(2x y ϕ=是一阶线性非齐次微分方程的两个不同特解,则该方程的通解可用这两个解表示为( C ).(A ))()(21x x ϕϕ- (B ))()(21x x ϕϕ+(C ))())()((121x x x C ϕϕϕ+- (D ))()(21x x C ϕϕ+13.),(y x f y '连续是方程),(d d y x f xy =初值解唯一的( D )条件. (A )必要 (B )必要非充分 (C )充分必要 (D )充分14. 方程1d d +=y x y ( C )奇解.(A )有一个 (B )有两个 (C )无 (D )有无数个15.方程323d d y xy =过点(0, 0)有( A ). (A) 无数个解 (B) 只有一个解 (C) 只有两个解 (D) 只有三个解 三、求下列方程的通解或通积分1.3yx y dx dy += 解:23y y x y y x dy dx +=+= ,则 )(121⎰+⎰⎰=-c dy e y e x dy y dy y 所以 cy y x +=23另外 0=y 也是方程的解2.求方程2y x dxdy +=经过)0,0(的第三次近似解 解:0)(0=x ϕ[]2020121)()(x dx x x x x =+=⎰ϕϕ []52021220121)()(x x dx x x x x +=+=⎰ϕϕ []81152022316014400120121)()(x x x x dx x x x x+++=+=⎰ϕϕ 3.讨论方程2y dx dy = ,1)1(=y 的解的存在区间 解:dx y dy =2两边积分 c x y+=-1 所以 方程的通解为 cx y +-=1 故 过1)1(=y 的解为 21--=x y 通过点 )1,1(的解向左可以延拓到∞-,但向右只能延拓到 2,所以解的存在区间为 )2,(-∞4. 求方程01)(22=-+y dxdy 的奇解 解: 利用p 判别曲线得⎩⎨⎧==-+020122p y p 消去p 得 12=y 即 1±=y 所以方程的通解为 )sin(c x y += , 所以 1±=y 是方程的奇解5.0)1()1(cos 2=-++dy yx y dx y x 解: y M ∂∂=2--y , xN ∂∂=2--y , y M ∂∂=x N ∂∂ , 所以方程是恰当方程.⎪⎪⎩⎪⎪⎨⎧-=∂∂+=∂∂211cos yx y y v y x x u 得 )(sin y y x x u ϕ++= )('2y xy yu ϕ+-=∂∂- 所以y y ln )(=ϕ 故原方程的解为 c y yx x =++ln sin 6. x x x y y y 22'sin cos sin 2-=-+解: x x x y y y 22'sin cos sin 2-++-= 故方程为黎卡提方程.它的一个特解为 x y sin = ,令x z y sin += , 则方程可化为2z dx dz -= , c x z +=1 即 c x x y +=-1sin , 故 cx x y ++=1sin 7.0)37()32(232=-+-dy xy dx y xy解: 两边同除以2y 得037322=-+-xdy dy y ydx xdx 0732=--yd xy d dx 所以 c y xy x =--732 , 另外 0=y 也是方程的解 8.21d d x xy x y += 解 当0≠y 时,分离变量得x x x y y d 1d 2+= 等式两端积分得C x y ln )1ln(21ln 2++=即通解为21x C y +=9. x y xy 2e 3d d =+ 解 齐次方程的通解为x C y 3e -= 令非齐次方程的特解为x x C y 3e )(-=代入原方程,确定出 C x C x +=5e 51)( 原方程的通解为x C y 3e -=+x 2e 51 10. 5d d xy y xy += 解 方程两端同乘以5-y ,得x y xy y +=--45d d 令 z y =-4,则xz x y y d d d d 45=--,代入上式,得 x z x z =--d d 41 通解为41e 4+-=-x C z x 原方程通解为41e 44+-=--x C y x 11.0)d (d 222=-+y y x x xy解 因为xN x y M ∂∂==∂∂2,所以原方程是全微分方程. 取)0,0(),(00=y x ,原方程的通积分为C y y x xy yx=-⎰⎰020d d 2 即 C y y x =-3231 12. y y xy ln d d = 解:当0≠y ,1≠y 时,分离变量取不定积分,得C x yy y +=⎰⎰d ln d 通积分为 x C y e ln = 13.03)(22=+'+''x y y y解 原方程可化为0)(2='+'x y y 于是 12d d C x xy y =+ 积分得通积分为23123121C x x C y +-= 14.xy x y x y +-=2)(1d d 解:令xu y =,则xu x u x y d d d d +=,代入原方程,得 21d d u x u x -= 分离变量,取不定积分,得C xx u uln d 1d 2+=-⎰⎰ (0≠C ) 通积分为: Cx xy ln arcsin= 15. xy x y x y tan d d += 解 令u xy =,则x u x u x y d d d d +=,代入原方程,得 u u x u x u tan d d +=+,u xu x tan d d = 当0tan ≠u 时,分离变量,再积分,得C x x u u ln d tan d +=⎰⎰ C x u ln ln sin ln +=即通积分为: Cx x y =sin16. 1d d +=xy x y 解:齐次方程的通解为Cx y = 令非齐次方程的特解为x x C y )(=代入原方程,确定出 C x x C +=ln )( 原方程的通解为Cx y =+x x ln17. 0d d )e (2=+-y x x y x y解 积分因子为21)(x x =μ原方程的通积分为1012d d )(e C y x x y y x x=+-⎰⎰即 1e ,e C C C x yx +==+18.0)(2='+''y y y解:原方程为恰当导数方程,可改写为0)(=''y y即1C y y ='分离变量得x C y y d d 1=积分得通积分21221C x C y +=19.1)ln (='-'y x y解 令p y =',则原方程的参数形式为⎪⎩⎪⎨⎧='+=py p p x ln 1由基本关系式 y x y'=d d ,有p p pp x y y )d 11(d d 2+-⋅='= p p)d 11(-= 积分得 C p p y +-=ln得原方程参数形式通解为⎪⎩⎪⎨⎧+-=+=C p p y p p x ln ln 120.022=+'+''x y y y解 原方程可化为0)(2='+'x y y于是 12d d C x xy y =+ 积分得通积分为23123121C x x C y +-= 21. 0)d (d )(3223=+++y y y x x xy x 解:由于xN xy y M ∂∂==∂∂2,所以原方程是全微分方程. 取)0,0(),(00=y x ,原方程的通积分为103023d d )(C y y x xy x yx=++⎰⎰ 即 C y y x x =++42242四、计算题1.求方程x y y e 21=-''的通解. 解 对应的齐次方程的特征方程为:012=-λ特征根为: 1,121-==λλ故齐次方程的通解为: x x C C y -+=e e 21因为1=α是单特征根.所以,设非齐次方程的特解为x Ax x y e )(1=代入原方程,有 x x x x Ax Ax A e 21e e e 2=-+, 可解出 41=A . 故原方程的通解为 x x x x C C y e 41e e 21++=- 2.求下列方程组的通解 ⎪⎪⎩⎪⎪⎨⎧+=--=y x ty y x t x 43d d 2d d . 解 方程组的特征方程为04321=----=-λλλE A即 0232=+-λλ特征根为 11=λ,22=λ11=λ对应的解为t b a y x e 1111⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡ 其中11,b a 是11=λ对应的特征向量的分量,满足⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡----0014321111b a 可解得1,111-==b a .同样可算出22=λ对应的特征向量分量为 3,212-==b a .所以,原方程组的通解为⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-=⎥⎦⎤⎢⎣⎡t t t t C C y x 2221e 32e e e 3.求方程x y y 5sin 5='-''的通解.解:方程的特征根为01=λ,52=λ齐次方程的通解为 x C C y 521e +=因为i i 5±=±βα不是特征根。

一致分数阶时滞微分方程边值问题解的存在性与唯一性

一致分数阶时滞微分方程边值问题解的存在性与唯一性

第61卷 第5期吉林大学学报(理学版)V o l .61 N o .52023年9月J o u r n a l o f J i l i nU n i v e r s i t y (S c i e n c eE d i t i o n )S e p2023d o i :10.13413/j .c n k i .jd x b l x b .2023011一致分数阶时滞微分方程边值问题解的存在性与唯一性张 敏,周文学,黎文博(兰州交通大学数理学院,兰州730070)摘要:用L e r a y -S c h a u d e r 度理论和B a n a c h 压缩映射原理研究一致分数阶时滞微分方程边值问题D β0+u (t )=f (t ,u (t -τ)), t ɪ[0,1],u (t )=φ(t ), t ɪ[-τ,0],u (0)+u ᶄ(0)=0, u (1)+u ᶄ(1)=ìîíïïïï0解的存在性与唯一性.在非线性项满足增长性条件和L i p s c h i t z 条件下,分别得到了该边值问题解的存在性与唯一性结果,并举例说明所得结果的适用性.关键词:一致分数阶导数;时滞;边值问题;L e r a y -S c h a u d e r 度理论;B a n a c h 压缩映射原理中图分类号:O 175.8 文献标志码:A 文章编号:1671-5489(2023)05-1007-07E x i s t e n c e a n dU n i q u e n e s s o f S o l u t i o n s f o rB o u n d a r y Va l u eP r ob l e m s o fC o n f o r m a b l eF r ac t i o n a lD e l a y D i f f e r e n t i a l E qu a t i o n s Z H A N G M i n ,Z HO U W e n x u e ,L IW e n b o(S c h o o l o f M a t h e m a t i c s a n dP h y s i c s ,L a n z h o u J i a o t o n g U n i v e r s i t y ,L a n z h o u 730070,C h i n a )A b s t r a c t :B y u s i n g L e r a y -S c h a u d e rd e g r e et h e o r y a n d B a n a c h c o n t r a c t i o n m a p p i n g p r i n c i p l e ,w e s t u d i e dt h e e x i s t e n c e a n d u n i q u e n e s s o fs o l u t i o n sf o r b o u n d a r y va l u e p r ob l e m s o fc o n f o r m a b l e f r a c t i o n a lde l a y d if f e r e n t i a l e qu a t i o n s D β0+u (t )=f (t ,u (t -τ)), t ɪ[0,1],u (t )=φ(t ), t ɪ[-τ,0],u (0)+u ᶄ(0)=0, u (1)+u ᶄ(1)=0ìîíïïïï,w h e n t h en o n l i n e a r t e r ms a t i s f i e d t h e g r o w t hc o n d i t i o na n d t h eL i ps c h i t z c o n d i t i o n ,w eo b t a i n e d t h e r e s u l t s o f e x i s t e n c e a n du n i q u e n e s s o f s o l u t i o n f o r t h eb o u n d a r y v a l u e p r o b l e mr e s p e c t i v e l y ,a n d g a v e a ne x a m p l e t o i l l u s t r a t e t h e a p p l i c a b i l i t y of t h e o b t a i n e d r e s u l t s .K e y w o r d s :c o n f o r m a b l e f r a c t i o n a l d e r i v a t i v e ;d e l a y ;b o u n d a r y v a l u e p r o b l e m ;L e r a y -S c h a u d e r d e g r e e t h e o r y ;B a n a c hc o n t r a c t i o nm a p p i n gp r i n c i pl e 收稿日期:2023-01-04. 网络首发日期:2023-07-13.第一作者简介:张 敏(1998 ),女,汉族,硕士研究生,从事分数阶微分方程的研究,E -m a i l :m z h a n g 20222022@126.c o m.通信作者简介:周文学(1976 ),男,汉族,博士,教授,从事非线性分析问题的研究,E -m a i l :w x z h o u 2006@126.c o m.基金项目:国家自然科学基金(批准号:11961039;11801243)和兰州交通大学校青年科学基金(批准号:2017012).网络首发地址:h t t ps ://k n s .c n k i .n e t /k c m s 2/d e t a i l /22.1340.o .20230713.1056.001.h t m l .Copyright ©博看网. All Rights Reserved.0 引 言分数阶微分方程的边值问题是分数阶微分系统理论的重要课题.目前,对分数阶微分方程边值问题的研究已取得了丰富成果,其中最主要的是基于R i e m a n n -L i o u v i l l e 和C a p u t o 分数阶导数的定义[1-9].但这两种导数均不满足经典链式法则,并且这两种导数的某些性质使得分数阶导数的应用很困难.因此,K h a l i l 等[10]提出了一种新的分数阶导数和分数阶积分的定义,称为一致分数阶导数和积分.这种新的分数阶导数的定义可满足经典的分数阶导数不能满足的一些性质,如乘积法则㊁商法则㊁链式法则㊁罗尔定理和中值定理等,并且其在生物物理学㊁电容理论㊁控制理论和实验数据拟合等领域应用广泛[11-13].但对带有时滞的分数阶微分方程边值问题的研究目前报道较少[14-16].Y a n g 等[17]利用S c h a e f e r 不动点定理和K r a s n o s e l s k i i s 不动点定理研究了一类非线性分数阶微分方程边值问题cD α0+u (t )=f (t ,u (t ),u ᶄ(t )),u (0)+u ᶄ(0)=0, u (1)+u ᶄ(1)={正解的存在性,其中0<t <1,1<αɤ2,f :[0,1]ˑ[0,+ɕ)ˑℝң[0,+ɕ)是连续函数,c D α0+是α阶C a p u t o 分数阶导数.X u [18]利用B a n a c h 压缩映射原理㊁L e r a y -S c h a u d e r 度理论和K r a s n o s e l s k i i s 不动点定理研究了一类分数阶微分方程边值问题cD q x (t )=f (t ,x (t )), t ɪ[0,1],x (1)=μʏ1x (s )d s , x ᶄ(0)+x ᶄ(1)={解的存在唯一性,其中1<q <2,f :[0,1]ˑX ңX 是连续函数,c D q 是q 阶C a p u t o 分数阶导数.基于上述研究,本文利用L e r a y -S c h a u d e r 度理论和B a n a c h 压缩映射原理考虑如下一类一致分数阶时滞微分方程边值问题:D β0+u (t )=f (t ,u (t -τ)), t ɪ[0,1],u (t )=φ(t ), t ɪ[-τ,0],u (0)+u ᶄ(0)=0, u (1)+u ᶄ(1)=ìîíïïïï0(1)解的存在性与唯一性,其中1<βɤ2,τ>0,f :[0,1]ˑℝңℝ是连续函数,D β0+是阶数为β的一致分数阶导数.1 预备知识定义1[10] 假设函数f :[0,ɕ)ңℝ,则f 的βɪ(n ,n +1]阶一致分数阶导数定义为D βf (t )=l i m εң0f (β⌉-1)(t +εt β⌉-β)-f (β⌉-1)(t )ε, t >0,(2)其中β是大于等于β的最小整数.式(2)右端极限存在,此时称函数f 是β阶可微的.特别地,当βɪ(1,2]时,D βf (t )=l i m εң0f ᶄ(t +εt 2-β)-f ᶄ(t )ε, t >0.(3) 注1 如果函数f 在(0,b )(b >0)上是β阶可微的,并且l i m t ң0+D βf (t )存在,则D βf (0)=l i m t ң0+D βf (t).注2 由一致分数阶导数定义可知,当β=1时,一致分数阶导数定义即为传统的一阶导数定义.引理1[10] 当βɪ(n ,n +1]并且f 在t >0处n +1阶可微时,有D βf (t )=t β⌉-βf(β⌉)(t ).(4) 证明:令k =εt β⌉-β,则ε=t β-β⌉k ,因此由定义1可得D βf (t )=l i m εң0f (β⌉-1)(t +εt β⌉-β)-f (β⌉-1)(t )ε=l i m k ң0t β⌉-βf (β⌉-1)(t +k )-f (β⌉-1)(t )k=t β⌉-βf (β⌉)(t ). 定义2[19]假设函数f :[0,ɕ)ңℝ,则f 的βɪ(n ,n +1]阶一致分数阶积分定义为8001 吉林大学学报(理学版) 第61卷Copyright ©博看网. All Rights Reserved.I βf (t )=1n!ʏt 0(t -s )n s β-n -1f (s )d s .(5)特别地,当βɪ(1,2]时,I βf (t )=ʏt 0(t -s )s β-2f (s )d s .引理2[19] 假设函数f :[0,ɕ)ңℝ连续,并且βɪ(n ,n +1],则有D βI βf (t )=f (t ).(6) 引理3[19]假设f :[0,ɕ)ңℝ是β阶可微函数,并且βɪ(n ,n +1],则有I βD βf (t )=f (t )+a 0+a 1t + +a nt n ,(7)其中a i ɪℝ,i =0,1,2, ,n .引理4 设函数f :[0,1]ˑℝңℝ是连续的,u (t )是边值问题(1)的解,则u (t )=ʏ10G (t ,s )f (s ,u (s -τ))d s ,t ɪ[0,1],φ(t ),t ɪ[-τ,0{],(8)其中格林函数G (t ,s)为G (t ,s )=(1-s )(2-t )sβ-2,0ɤs ɤt ɤ1,(1-t )(2-s )sβ-2,0ɤt ɤs ɤ1{.(9) 证明:由引理3知,有u (t )=I β0+f (t ,u (t -τ))-a 0-a 1t =ʏt 0(t -s )s β-2f (s ,u (s -τ))d s -a 0-a 1t ,(10)从而u ᶄ(t )=ʏts β-2f (s ,u (s -τ))d s -a 1.根据u (0)+u ᶄ(0)=0,有a 0+a 1=0;(11)根据u (1)+u ᶄ(1)=0,有a 0+2a 1-ʏ10(2-s )s β-2f (s ,u (s -τ))d s =0.(12)结合式(11),(12)可得a 0=-ʏ10(2-s )s β-2f (s ,u (s -τ))d s , a 1=ʏ10(2-s )s β-2f (s ,u (s -τ))d s .(13)将式(13)代入式(10)可得u (t )=ʏt 0(t -s )s β-2f (s ,u (s -τ))d s +ʏ10(2-s )s β-2f (s ,u (s -τ))d s -t ʏ1(2-s )s β-2f (s ,u (s -τ))d s =ʏt 0(1-s )(2-t )s β-2f (s ,u (s -τ))d s +ʏ1t(1-t )(2-s )sβ-2f (s ,u (s -τ))d s =ʏ10G (t ,s )f (s ,u (s -τ))d s . 引理5(A r z e l a -A s c o l i 定理)[20] 集合P ⊂C ([a ,b ])列紧的充分必要条件为:1)集合P 有界,即存在常数ψ,使得对∀u ɪP ,有u (t )ɤψ(∀t ɪ[a ,b ]);2)集合P 等度连续,即对∀ε>0,始终存在σ=σ(ε)>0,使得对于∀t 1,t 2ɪ[a ,b ],只要t 1-t 2<σ,即有u (t 1)-u (t 2)<ε(∀u ɪP ).2 主要结果设A 为C ([-τ,1],ℝ)按范数 u =m a x t ɪ[-τ,1]u (t )构成的B a n a c h 空间,在A 上定义一个算子Q ,Q u (t )=ʏ10G (t ,s )f (s ,u (s -τ))d s ,t ɪ[0,1],φ(t ),t ɪ[-τ,0]{. 假设条件:(H 1)函数f ɪC ([0,1]ˑℝ,ℝ),并且φɪC ([-τ,0],ℝ);9001 第5期张 敏,等:一致分数阶时滞微分方程边值问题解的存在性与唯一性 Copyright ©博看网. All Rights Reserved.(H 2)存在常数α,B >0,使得∀(t ,u )ɪ[0,1]ˑℝ,有f (t ,u )ɤαu +B ;(H 3)存在函数η(t )ɪL 1/2([0,1],ℝ+),使得∀t ɪ[0,1],当任取u ,v ɪℝ时,有f (t ,u )-f (t ,v )ɤη(t )u -v ,其中 η =ʏ10η2(s )d ()s 1/2.为方便,引入记号:Λ1=β+2β(β-1),Λ2=1(β-1)(2β-1)(2β-3),Λ3=2β2-β+1(β-1)(2β-1)(2β-3),32<βɤ2.定理1 如果条件(H 1)和(H 2)成立,并且αɪ(0,Λ-11),则边值问题(1)至少存在一个解.证明:由函数G (t ,s ),f (s ,u (s -τ))的连续性可知算子Q 是连续的,并且易证Q (A )⊂A .设P 是A 中的一个有界集,则存在常数M >0,使得对任意的u ɪP ,有 u ɤM .下面利用L e r a y -S c h a u d e r 度理论证明边值问题(1)正解的存在性,分以下3个步骤.1)证明算子Q (P )是一致有界的.对任意的u ɪP ,有Q u (t)=ʏ10G (t ,s )f (s ,u (s -τ))d s ɤʏ10G (t ,s )㊃f (s ,u (s -τ))d s ɤ(αu +B )ʏ10G (t ,s )d s ɤ(αM +B )ʏ10(2-s )(1-t )s β-2d s +ʏt(t -s )s β-2d []s =(αM +B )β+1β(β-1)(1-t )+1β(β-1)㊃t éëêêùûúúβɤ(αM +B )β+1β(β-1)+1β(β-1éëêêùûúú)=(αM +B )Λ1,因此,算子Q (P )是一致有界的.2)证明算子Q (P )是等度连续的.对任意的u ɪP ,t 1,t 2ɪ[-τ,1]且t 1<t 2:①当0ɤt 1<t 2ɤ1时,有Q u (t 2)-Q u (t 1)=ʏ10G (t 2,s )f (s ,u (s -τ))d s -ʏ1G (t 1,s )f (s ,u (s -τ))d s ɤʏ10G (t 2,s )-G (t 1,s )㊃f (s ,u (s -τ))d s ɤ(αu +B )ʏ10G (t 2,s )-G (t 1,s )d s ɤ (αM +B )ʏt 10G (t 2,s )-G (t 1,s )d s +ʏt 2t 1G (t 2,s )-G (t 1,s )d s +ʏ1t 2G (t 2,s )-G (t 1,s )d []s = (αM +B )ʏt 10{[(2-s )(1-t 2)s β-2-(2-s )(1-t 1)s β-2]+[(t 2-s )s β-2-(t 1-s )s β-2]}d s + (αM +B )ʏt 2t 1{[(2-s )(1-t 2)s β-2-(2-s )(1-t 1)s β-2]+(t 2-s )s β-2}d s + (αM +B )ʏ1t 2[(2-s )(1-t 2)s β-2-(2-s )(1-t 1)s β-2]d s =(αM +B )ʏt 10(t 1-t 2)(2-s )s β-2d s +ʏt 10(t 2-t 1)s β-2d s +ʏt 2t 1(t 1-t 2)(2-s )s β-2d [s + ʏt 2t 1(t 2-s )s β-2d s +ʏ1t 2(t 1-t 2)(2-s )s β-2d ]s ɤ(αM +B )(t β2-t β1)-(β+1)(t 2-t 1)β(β-1); ②当-τɤt 1<t 2ɤ0时,有Q u (t 2)-Q u (t 1)ɤφ(t 2)-φ(t 1);③当-τɤt 1<0<t 2ɤ1时,有Q u (t 2)-Q u (t 1)ɤQ u (t 2)-Q u (0)+Q u (0)-Q u (t 1)ɤʏ10G (t 2,s )-G (0,s )㊃f (s ,u (s -τ))d s +φ(0)-φ(t 1)ɤ(αM +B )ʏ10G (t 2,s )d s +φ(0)-φ(t 1)ɤ0101 吉林大学学报(理学版) 第61卷Copyright ©博看网. All Rights Reserved.(αM +B )t β2β(β-1)+φ(0)-φ(t 1)ɤ(αM +B )t β2-t β1β(β-1)+φ(0)-φ(t 1). 在上面3种情形中,当t 1ңt 2时,总有Q u (t 2)-Q u (t 1)ң0,表明Q (P )是等度连续的.故由引理5可知,Q (P )是列紧的,从而算子Q :A ңA 是全连续的.3)利用L e r a y -S c h a u d e r 度理论证明问题(1)正解的存在性.定义范数 φ [-τ,0]=m a x t ɪ[-τ,0]φ(s ).假设当γɪ[0,1],u ɪA 时,u =γQ u ,则u (t )=γQ u (t )ɤQ u (t)ɤʏ10G (t ,s )㊃f (s ,u (s -τ))d s ,t ɪ[0,1],φ(t ),t ɪ[-τ,0{],ɤʏ10G (t ,s )(αu +B )d s ,t ɪ[0,1],φ(t ),t ɪ[-τ,0{],ɤ(αu +B )ʏ10(2-s )(1-t )s β-2d s +ʏt 0(t -s )s β-2d []s ,t ɪ[0,1],φ(t ),t ɪ[-τ,0{],ɤ(α u +B )Λ1,t ɪ[0,1], φ [-τ,0],t ɪ[-τ,0{],从而 u ɤB Λ11-αΛ1 φìîíïïïɤT .令ω=T +1,B ω={u ɪA : u <ω},则u ʂγQ u ,对任意的u ɪ∂B ω,γɪ[0,1].定义一个映射:F γ(u )=u -γQ u ,则F γ(u )=u -γQ u ʂ0,对任意的u ɪ∂B ω,γɪ[0,1].因此,由L e r a y -S c h a u d e r 度的同伦不变性,有d e g (F γ,B ω,θ)=d e g (I -γQ ,B ω,θ)=d e g (F 1,B ω,θ)=d e g (F 0,B ω,θ)=d e g (I ,B ω,θ)=1ʂθ.从而根据L e r a y -S c h a u d e r 度的可解性可知,方程F 1(u )=u -Q u =0在B ω上至少存在一个解,进而边值问题(1)至少有一个正解.证毕.定理2 如果条件(H 1)和(H 3)成立,并且 η (Λ2+Λ3)<1,则边值问题(1)存在唯一解.证明:假设s u p t ɪ[0,1]f (t ,0)=ζ<ɕ.定义B δ={u ɪA : u ɤδ}为A 中的有界闭球,并选择δȡζΛ11- η (Λ2+Λ3).下面利用B a n a c h 压缩映射原理证明边值问题(1)解的存在唯一性,分以下两个步骤.1)证明Q (B δ)⊂B δ.对任意的u ɪB δ,有Q u (t)ɤʏt 0(t -s )s β-2f (s ,u (s -τ))d s +ʏ10(1-t )(2-s )s β-2f (s ,u (s -τ))d s ɤʏt 0(t -s )s β-2[f (s ,u (s -τ))-f (s ,0)+f (s ,0)]d s +ʏ10(1-t )(2-s )s β-2[f (s ,u (s -τ))-f (s ,0)+f (s ,0)]d s ɤ u ʏt(t -s )s β-2η(s )d s +ζʏt(t -s )s β-2d s +u (1-t )ʏ10(2-s )s β-2η(s )d s +ζʏ10(1-t )(2-s )s β-2d s ɤ u ʏt(t s β-2-s β-1)2d ()s 1/2ʏtη2(s )d ()s 1/2+ζβ(β-1)t β+ u (1-t )ʏ10(2s β-2-s β-1)2d []s 1/2ʏ10η2(s )d ()s 1/2+(β+1)ζβ(β-1)(1-t )ɤ1101 第5期张 敏,等:一致分数阶时滞微分方程边值问题解的存在性与唯一性 Copyright ©博看网. All Rights Reserved.1(β-1)(2β-1)(2β-3) u η t β-1/2+ζβ(β-1)t β+2β2-β+1(β-1)(2β-1)(2β-3) u η (1-t )+(β+1)ζβ(β-1)(1-t )ɤδ η (Λ2+Λ3)+ζΛ1,则 Q u ɤδ.表明算子Q 将B δ中的有界子集映为B δ中的有界子集,即Q (B δ)⊂B δ.2)证明算子Q 为压缩映射.对任意的u ,v ɪA :①当t ɪ[0,1]时,有Q u (t )-Qv (t )ɤʏt 0(t -s )s β-2f (s ,u (s -τ))-f (s ,v (s -τ))d s +ʏ10(1-t )(2-s )s β-2f (s ,u (s -τ))-f (s ,v (s -τ))d s ɤ u -v ʏt(t -s )s β-2η(s )d s + u -v (1-t )ʏ10(2-s )s β-2η(s )d s ɤu -v ʏt(t s β-2-s β-1)2d ()s 1/2ʏtη2(s )d ()s 1/2+u -v (1-t )ʏ10(2s β-2-s β-1)2d ()s 1/2ʏ10η2(s )d ()s 1/2ɤ1(β-1)(2β-1)(2β-3) u -v ㊃ ηt β-1/2+2β2-β+1(β-1)(2β-1)(2β-3) u -v ㊃ η (1-t )ɤ η (Λ2+Λ3) u -v ; ②当t ɪ[-τ,0]时,有Q u (t )-Q v (t )=φ(t )-φ(t )=0.由①,②可得Q u -Q v [-τ,1]ɤ η (Λ2+Λ3) u -v [-τ,1]. 因为 η (Λ2+Λ3)<1,所以算子Q 为压缩映射.即由B a n a c h 压缩映射原理可知算子Q 存在唯一的不动点,故边值问题(1)存在唯一解.3 应用实例考虑下列一致分数阶时滞微分方程边值问题:D 7/40+u (t )=e -3t s i n 1/2t 5(2+t )2㊃u (t -τ)1+u (t -τ), t ɪ[0,1],u (t )=φ(t ), t ɪ[-τ,0],u (0)+u ᶄ(0)=0,u (1)+u ᶄ(1)=ìîíïïïïïï0(14)解的存在性与唯一性.证明:在边值问题(14)中,β=74,函数f (t ,u (t ))=e -3t s i n 1/2t 5(2+t)2㊃u 1+u 是连续的,满足条件(H 1);对任意的u ,v ɪℝ,t ɪ[0,1],有f (t ,u (t -τ))-f (t ,v (t -τ))ɤe -3t s i n 1/2t 5(2+t )2u -v ɤe -3t s i n 1/2t ㊃u -v .所以存在η(t )=e -3t s i n 1/2t ɪL 1/2([0,1],ℝ+),满足条件(H 3),且 η =0.1667.又因为Λ2=1(β-1)(2β-1)(2β-3)ʈ1.0328, Λ3=2β2-β+1(β-1)(2β-1)(2β-3)ʈ2.3944.所以 η (Λ2+Λ3)ʈ0.5713<1.因此根据定理2可知,边值问题(14)存在唯一解.2101 吉林大学学报(理学版)第61卷Copyright ©博看网. All Rights Reserved.参考文献[1] K I Y AM E H RZ ,B A G HA N I H.E x i s t e n c eo fS o l u t i o n so fB V P sf o rF r a c t i o n a lL a n g e v i n E q u a t i o n sI n v o l v i n g C a p u t oF r a c t i o n a lD e r i v a t i v e s [J ].J o u r n a l o fA p p l i e dA n a l ys i s ,2021,27(1):47-55.[2] Z O U Y M ,H EGP .O n t h eU n i q u e n e s s o f S o l u t i o n s f o r aC l a s s o f F r a c t i o n a l D i f f e r e n t i a l E q u a t i o n s [J ].A p p l i e d M a t h e m a t i c sL e t t e r s ,2017,74:68-73.[3] J O N G K S ,C HO I H C ,R IY H.E x i s t e n c eo fP o s i t i v eS o l u t i o n so faC l a s so f M u l t i -p o i n tB o u n d a r y V a l u e P r o b l e m s f o r p -L a p l a c i a nF r a c t i o n a lD i f f e r e n t i a lE q u a t i o n sw i t hS i n g u l a rS o u r c eT e r m s [J ].C o mm u n i c a t i o n s i n N o n l i n e a r S c i e n c e a n dN u m e r i c a l S i m u l a t i o n ,2019,72:272-281.[4] C U IYJ ,MA WJ ,S U N Q ,e t a l .N e w U n i q u e n e s sR e s u l t s f o r B o u n d a r y V a l u e P r o b l e mo f F r a c t i o n a l D i f f e r e n t i a l E q u a t i o n [J ].N o n l i n e a rA n a l y s i s :M o d e l l i n g an dC o n t r o l ,2018,23(1):31-39.[5] L IY H ,Y A N G H J .E x i s t e n c eo fP o s i t i v eS o l u t i o n sf o r N o n l i n e a rF o u r -P o i n tC a p u t oF r a c t i o n a lD i f f e r e n t i a l E q u a t i o nw i t h p -L a p l a c i a n [J ].B o u n d a r y V a l u eP r o b l e m s ,2017,2017:75-1-75-15.[6] A HMA DB ,N T O U Y A SSK ,Z HO U Y ,e t a l .AS t u d y o fF r a c t i o n a lD i f f e r e n t i a l E qu a t i o n s a n d I n c l u s i o n sw i t h N o n l o c a l E r d él y i -K o b e rT y p eI n t e g r a lB o u n d a r y C o n d i t i o n s [J ].B u l l e t i no ft h eI r a n i a n M a t h e m a t i c a lS o c i e t y ,2018,44(5):1315-1328.[7] X U ET T ,L I U W B ,Z HA N G W.E x i s t e n c eo fS o l u t i o n sf o rS t u r m -L i o u v i l l eB o u n d a r y V a l u eP r o b l e m so f H i g h e r -O r d e rC o u p l e d F r a c t i o n a lD i f f e r e n t i a lE q u a t i o n sa tR e s o n a n c e [J ].A d v a n c e si n D i f f e r e n c e E q u a t i o n s ,2017,2017:301-1-301-18.[8] L IY H ,Q I A B .E x i s t e n c eo fP o s i t i v eS o l u t i o n sf o r M u l t i -p o i n tB o u n d a r y V a l u eP r o b l e m so fC a p u t o F r a c t i o n a l D i f f e r e n t i a l E q u a t i o n [J ].I n t e r n a t i o n a l J o u r n a l o fD y n a m i c a l S y s t e m s a n dD i f f e r e n t i a l E q u a t i o n s ,2017,7(2):169-183.[9] S E V I N I K A D I G ÜZ E LR ,A K S O Y Ü,K A R A P I N A R E ,e ta l .O nt h eS o l u t i o no faB o u n d a r y Va l u eP r ob l e m A s s oc i a t ed w i t ha F r a c t i o n a lD i f fe r e n t i a lE q u a t i o n [J /O L ].M a t h e m a t i c a l M e t h o d si nt h e A p pl i e d S c i e n c e s ,(2020-06-23)[2022-09-13].h t t p s ://d o i .o r g/10.1002/mm a .6652.[10] K HA L I LR ,A lHO R A N I M ,Y O U S E F A ,e ta l .A N e w D e f i n i t i o no fF r a c t i o n a lD e r i v a t i v e [J ].J o u r n a lo f C o m p u t a t i o n a l a n dA p pl i e d M a t h e m a t i c s ,2014,264:65-70.[11] I Y I O L A OS ,T A S B O Z A N O ,K U R T A ,e t a l .O n t h eA n a l y t i c a l S o l u t i o n s o f t h e S y s t e mo f C o n f o r m a b l eT i m e -F r a c t i o n a lR o b e r t s o nE q u a t i o n sw i t h1-DD i f f u s i o n [J ].C h a o s ,S o l i t o n s&F r a c t a l s ,2017,94:1-7.[12] Z HO U H W ,Y A N GS ,Z HA N GSQ.C o n f o r m a b l eD e r i v a t i v eA p p r o a c ht oA n o m a l o u sD i f f u s i o n [J ].P h y s i c a A :S t a t i s t i c a lM e c h a n i c s a n d I t sA p pl i c a t i o n s ,2018,491:1001-1013.[13] H ESB ,S U N K H ,M E IX Y ,e ta l .N u m e r i c a lA n a l y s i so fa F r a c t i o n a l -O r d e rC h a o t i cS y s t e m B a s e do n C o n f o r m a b l eF r a c t i o n a l -O r d e rD e r i v a t i v e [J ].T h eE u r o p e a nP h y s i c a l J o u r n a l P l u s ,2017,132:36-1-36-11.[14] L IY N ,S U N S R ,Y A N G D W ,e ta l .T h r e e -P o i n t B o u n d a r y V a l u e P r o b l e m s o f F r a c t i o n a lF u n c t i o n a l D i f f e r e n t i a l E q u a t i o n sw i t hD e l a y [J /O L ].B o u n d a r y V a l u eP r o b l e m s ,(2013-02-22)[2022-08-25].h t t ps ://d o i .o r g/10.1186/1687-2770-2013-38.[15] HA N Z L ,L I Y N ,S U I M Z .E x i s t e n c e R e s u l t sf o r B o u n d a r y V a l u e P r o b l e m so f F r a c t i o n a lF u n c t i o n a l D i f f e r e n t i a lE q u a t i o n sw i t hD e l a y [J ].J o u r n a l o fA p p l i e dM a t h e m a t i c s a n dC o m p u t i n g,2016,51(1/2):367-381.[16] L IM M ,WA N GJR.F i n i t eT i m eS t a b i l i t y o fF r a c t i o n a lD e l a y D i f f e r e n t i a l E q u a t i o n s [J ].A p pl i e d M a t h e m a t i c s L e t t e r s ,2017,64:170-176.[17] Y A N G X ,W E IZL ,D O N G W.E x i s t e n c eo fP o s i t i v eS o l u t i o n s f o r t h eB o u n d a r y Va l u eP r ob l e m o fN o n l i n e a r F r ac t i o n a lD i f f e r e n t i a lE qu a t i o n s [J ].C o mm u n i c a t i o n si n N o n l i n e a rS c i e n c ea n d N u m e r i c a lS i m u l a t i o n ,2012,17(1):85-92.[18] X U YF .F r a c t i o n a l B o u n d a r y V a l u eP r o b l e m sw i t h I n t e g r a l a n dA n t i -p e r i o d i cB o u n d a r y C o n d i t i o n s [J ].B u l l e t i n o f t h eM a l a y s i a n M a t h e m a t i c a l S c i e n c e sS o c i e t y,2016,39(2):571-587.[19] A B D E L J AWA D T.O nC o n f o r m a b l e F r a c t i o n a l C a l c u l u s [J ].J o u r n a l o f C o m p u t a t i o n a l a n dA p p l i e dM a t h e m a t i c s ,2015,279:57-66.[20] 许天周.应用泛函分析[M ].北京:科学出版社,2002:67-72.(X U T Z .A p p l i e dF u n c t i o n a lA n a l ys i s [M ].B e i j i n g :S c i e n c eP r e s s ,2002:67-72.)(责任编辑:赵立芹)3101 第5期张 敏,等:一致分数阶时滞微分方程边值问题解的存在性与唯一性 Copyright ©博看网. All Rights Reserved.。

一阶线性微分方程解的存在唯一性证明

一阶线性微分方程解的存在唯一性证明

一阶线形微分方程解的存在唯一性定理的证明)()(x q y x p dxdy +=摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?首先,我们令f(x,y)=p(x)y+q(x) 这里f(x,y)是在矩形域R:上的连续函数.b y y a x x ≤-≤-00,函数f(x,y)称为在R 上关于y 满足利普希兹条件,如果存在常数L>0使不等式对于所有的 都成立,L 称2121),(),(y y L y x f y x f -≤-R y x y x ∈),(),,(21为利普希兹常数下面我们给出一阶线形微分方程(1)解的存在唯一性)()(x q y x p dxdy+=定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续)(x y ϕ=h x x ≤-0且满足初始条件:这里 00)(y x =ϕ),min(Mba h =),(max y x f M =R y x ∈),(我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只就区间来讨论,对于的讨论完全一样.h x x x +≤≤0000x x h x ≤≤-现在简单叙述一下运用逐步逼近法证明定理的主要思想,首先证明求微分方程的初值问题的解等价于求积分方程的连续解这里我们用f(x,y)=p(x)y+q(x)来[]⎰++=x x dx x q y x p y y 0)()(0替代,因此也就等价于求积分方程 的连续解,然⎰+=xx dx y x f y y 0),(0后去证明积分方程的解的存在唯一性.任取一个连续函数 代入上面的积分方程右端的y 就得)(0x ϕ到函数dx x x f y x xx ))(,()(0001⎰+≡ϕϕ显然也是连续解,如果那么就是积分方)(1x ϕ)(1x ϕ≡)(0x ϕ)(0x ϕ程的解.否则,我们又把代入积分方程右端的y 得到)(1x ϕ dxx x f y x xx ))(,()(0102⎰+≡ϕϕ如果 ,那么就是积分方程的解,否则我们继≡)(2x ϕ)(1x ϕ)(1x ϕ续这个步骤.一般地做函数 (2)dx x x f y x xx n n ))(,()(010⎰-+≡ϕϕ这样就得到连续函数序列,……)(0x ϕ)(1x ϕ)(x n ϕ如果那么就是积分方程的解,如果始终不发生这种≡+)(1x n ϕ)(x n ϕ)(x n ϕ情况,我们可以证明上面的函数序列有一个极限函数即)(x ϕ 存在因此对(2)取极限就得到)()(lim x x n n ϕϕ=∞→dxx x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+=ϕϕ =dxx x f y xx n n ))(,(lim 010⎰-∞→+ϕ =dxx x f y xx ))(,(00⎰+ϕ即 dxx x f y x xx ))(,()(00⎰+≡ϕϕ这就是说是积分方程的解,这种一步一步地求出方程的解的方法)(x ϕ就成为逐步逼近法,由(2)所确定的函数称为问题(1)的n 次近)(x n ϕ似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.命题1,设是一阶线形微分方程(1)的定义于区间)(x y ϕ=上的,且满足初始条件的解,则是积分方h x x x +≤≤0000)(y x =ϕ)(x y ϕ=程()的定义于上的连续解,反⎰+=xx dx y x f y y 0),(0h x x x +≤≤00h x x x +≤≤00之亦然.因为是一阶线形微分方程(1)的解故有)(x y ϕ=))(,()(x x f dxx d ϕϕ=两边从到x 取定积分得到0x dx x x f x x x x ))(,()()(00⎰≡-ϕϕϕhx x x +≤≤00把代上式,即有00)(y x =ϕ dx x x f y x xx ))(,()(00⎰+≡ϕϕhx x x +≤≤00因此, 是积分方程定义于上的)(x y ϕ=⎰+=xx dx y x f y y 0),(0h x x x +≤≤00连续解反之如果是积分方程的连续解,则有)(x y ϕ=⎰+=xx dx y x f y y 0),(0 (3)dx x x f y x xx ))(,()(00⎰+≡ϕϕh x x x +≤≤00微分之,得到))(,()(x x f dxx d ϕϕ=又把代入(3)得到0x x =00)(y x =ϕ因此是方程(1)的定义于 上且满足初始条件)(x y ϕ=h x x x +≤≤00的解.命题1证毕.00)(y x =ϕ现在取,构造皮卡逐步逼近函数序列如下:00)(y x =ϕ ⎪⎩⎪⎨⎧+==⎰-x x n nd f y x y x 0))(,()()(1000ξξϕξϕϕh x x x +≤≤00(n=1,2,…)(4)命题2 函数序列在上是一致收敛的{})(x n ϕh x x x +≤≤00证明:我们考虑级数 (5)[]∑∞=--+110)()()(k k k x x x ϕϕϕh x x x +≤≤00它的部分和为=[]∑=--+nk k k x x x 110)()()(ϕϕϕ)(x ϕ因此,要证明序列在上一致收敛,只需证明级数(5)在{})(x n ϕh x x x +≤≤00上一致收敛.为此,我们进行如下估计.由(4)有h x x x +≤≤00 (6))())(,()()(00001⎰-≤≤-xx x x M d f x x ξξϕξϕϕ及 ⎰-≤-xx d f f x x 0))(,())(,()()(0112ξξϕξξϕξϕϕ利用利普希兹条件及(6)得到⎰-≤-xx d L x x 0)()()()(0112ξξϕξϕϕϕ =ξξd x M L x x ⎰-≤0)(020)(!2x x ML-设对于正整数n,不等式nn n n x x n ML x x )(!)()(011-≤---ϕϕ成立,则有利普希兹条件,当时,有h x x x +≤≤00 ⎰-+-≤-x x n n n n d f f x x 0))(,())(,()()(11ξξϕξξϕξϕϕ⎰--≤xx n n d L 0)()(1ξξϕξϕ100)()!1()(!+-+=-≤⎰n n xx nnx x n ML d x n ML ξξ于是,由数学归纳法得知,对于所有的正整数k,有如下的估计(7)k k k k x x k ML x x )(!)()(011-≤---ϕϕh x x x +≤≤00从而可知,当时h x x x +≤≤00 (8)kk k k h k ML x x !)()(11--≤-ϕϕ(8)的右端是正项收敛级数∑∞=1!k kkk h ML的一般项,由维尔斯特拉斯判别法级数(5)在上一h x x x +≤≤00致收敛,因而序列也在上一致收敛,命题2证毕.{})(x n ϕh x x x +≤≤00命题3 是积分方程(2)的定义于上的连续解.)(x ϕh x x x +≤≤00证明: 由利普希兹条件)()())(,())(,(x x L x x f x x f n n ϕϕϕϕ-≤-以及在上一致收敛于,即知序列{})(x n ϕh x x x +≤≤00)(x ϕ{}{})(,()(x x f x f n n ϕ≡在上一致收敛于.因而对于(4)两边取极h x x x +≤≤00{})(,(x x f ϕ限,得到dxx x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+≡ϕϕ =⎰-∞→+xx n n d f y 0))(,(lim 10ξξϕξ即⎰+=xx d f y x 0))(,()(0ξξϕξϕ这就是说是积分方程(2)的定义于上的连续解.命)(x ϕh x x x +≤≤00题3证毕.命题4 设是积分方程(2)的定义于上的一个连)(x φh x x x +≤≤00续解,则 , )()(x x ϕφ≡hx x x +≤≤00证明:我们首先证明也是序列的一致收敛极限函数.)(x φ{})(x n ϕ为此,从0)(y x =ϕ (n=1,2,…)⎰+=xx n d f y x 0))(,()(0ξξϕξϕ ξξφφd x f y x xx ))(,()(00⎰+≡我们可以进行如下估计)()(,()()(000x x M d f x x xx -≤≤-⎰ξξφξφϕξξφξξϕξφϕd f f x x x x ⎰-≤-0))(,())(,()()(01 ξξφξϕd L xx ⎰-≤0)()(0 200)(!2)(0x x MLd x ML xx -=-≤⎰ξξ现设,则有n n n x x n ML x x )(!)()(011-≤---φϕ ξξφξξϕξφϕd f f x x xx n n ⎰-≤--0))(,())(,()()(1 ξξφξϕd L xx n ⎰-≤-0)()(1 100)()!1()(!+-+=-≤⎰n xx Nx x n MLd x n ML ξξ故有数学归纳法得知,对于所有的正整数n,有下面的估计式(10)10)()!1()()(+-+≤-n nn x x n ML x x φϕ因此,在上有h x x x +≤≤00 (11)1)!1()()(++≤-n n n h n ML x x φϕ是收敛级数的公项,故因而1)!1(++n n h n ML 0)!1(1→+∞→+n n h n ML n 时在上一致收敛于,根据极限的唯一性,即得{})(x n ϕh x x x +≤≤00)(x φ)()(x x ϕφ≡h x x x +≤≤00命题4证毕.综合1-4,即得到一阶线性微分方程解的存在唯)()(x q y x p dxdy+=一定理的证明.。

一阶微分方程的解的存在性定理

一阶微分方程的解的存在性定理
x
y ( x )为积分方程y y0 f ( x , y )dx的定义于x0 x x0 h
x0
上的解。
现在我们先构造积分方程y y0 f ( x , y )dx的定义于 x0 x x0 h上的Picard的逐次逼近函数列 n ( x ) .
结果1:如果f ( x , y )在R上关于y的偏导数f y ( x , y )存在且有界,则 f ( x , y )在R上关于y满足Lipschitz条件。
结果2:如果f ( x , y )在R上关于y的偏导数f y ( x , y )连续,则f ( x , y ) 在R上关于y满足Lipschitz条件。
下面我们分五个命题来证明定理。为此先给出: 定义2(积分方程):如果一个数学关系式中含有定积 分符号且在定积分符号下含有未知函数,则称这样的 数学关系式为一个积分方程。
x 例如, y e y(t )dt 0 x
就是一个简单的积分方程。
x
定义3(积分方程的解)对于积分方程 y y0 f ( x , y )dx,
满足初始条件
y( x0 ) y0 ,
y( x0 ) y0.
3. 近似计算和误差估计
存在唯一性定理不仅肯定了解的存在唯一性,同时还 给出了第n次近似解n(x)和真正解(x)的误差估计
n
ML n ( x) ( x) hn1 (n 1)!
有了误差估计式, 我们就可根据实际要求, 选取适当 的逼近函数 n ( x ).
问题:这样构造函数列是否行的通,即上述的积分是否有 意义?
命题2:对任意的自然数n, n ( x )在x0 x x0 h上有定义、 连续且满足不等式
n ( x) y0 b.

【免费下载】第三章 一阶线性微分方程组 第一讲一阶微分方程组及解的存在唯一性定理

【免费下载】第三章 一阶线性微分方程组   第一讲一阶微分方程组及解的存在唯一性定理

韩山师范学院数学系常微分方程精品课程教案第一讲 一阶微分方程组及解的存在惟一性定理(2课时)一、目的与要求: 了解高阶微分方程与一阶微分方程组的等价关系, 理解用向量和矩阵来研 究一阶微分方程组的作用, 了解微分方程组解的存在唯一性定理.二、重点:一阶微分方程组的向量和矩阵表示及解的存在唯一性定理.三、难点:向量和矩阵列的收敛性的定义, 二者的范数定义及其相关性质.四、教学方法:讲练结合法、启发式与提问式相结合教学法.五、教学手段:传统板书与多媒体课件辅助教学相结合.六、教学过程:1 课题引入在前两章里,我们研究了含有一个未知函数的常微分方程的解法及其解的性质.但是,在很多实际和理论问题中,还要求我们去求解含有多个未知函数的微分方程组,或者研究它们的解的性质.例如,已知在空间运动的质点的速度与时间及(,,)P x y z t 该点的坐标的关系为(,,)x y z v v v v韩山师范学院数学系常微分方程精品课程教案123(,,,)(,,,)(,,,)x y z v f t x y z v f t x y z v f t x y z =⎧⎪=⎨⎪=⎩且质点在时刻经过点,求该质点的运动轨迹。

0t 000(,,)x y z 因为和, 所以这个问题其实就是求,x y dx dy v v dt dt ==z dz v dt =一阶微分方程组123(,,,)(,,,)(,,,)x f t x y z y f t x y z z f t x y z =⎧⎪=⎨⎪=⎩ 的满足初始条件 00(),x t x =00(),y t y =00()z t z =的解.(),(),()x t y t z t 另外,在n 阶微分方程(1.12)()(1)(,,,,)n n y f x y y y -'= 中,令就可(1)121,,,n n y y y y y y --'''=== 以把它化成等价的一阶微分方程组韩山师范学院数学系常微分方程精品课程教案11221111(,,,,)n n n n dy y dx dy y dx dy y dx dy f x y y y dx ----⎧=⎪⎪⎪=⎪⎪⎨⎪⎪=⎪⎪⎪=⎩ 注意,这是一个含n 个未知函数 的一阶微分11,,,n y y y - 方程组.含有n 个未知函数的一阶微分方程组的一般形12,,,n y y y 式为: (3.1)11122112112(,,,,)(,,,,)(,,,,)n n n n dy f x y y y dx dy f x y y y dx dy f x y y y dx ⎧=⎪⎪⎪=⎪⎨⎪⎪⎪=⎪⎩ 如果方程组(3.1)右端函数不显含, 则相应的方程称为是自x 治的. 方程组(3.1)在上的一个解,是这样的一组函数[,]a b韩山师范学院数学系常微分方程精品课程教案12(),(),,()n y x y x y x 使得在上有恒等式[,]a b 12()(,(),(),,())i i n dy x f x y x y x y x dx = (1,2,,)i n = 含有n 个任意常数 的解12,,,n C C C 1112221212(,,,,)(,,,,)(,,,,)n n n n n y x C C C y x C C C y x C C C ϕϕϕ=⎧⎪=⎪⎨⎪⎪=⎩ 称为(3.1)的通解. 如果通解满足方程组11212212121212(,,,,,,,,)0(,,,,,,,,)0(,,,,,,,,)0n n n n n n n x y y y C C C x y y y C C C x y y y C C C Φ=⎧⎪Φ=⎪⎨⎪⎪Φ=⎩ 则称后者为(3.1)的通积分.如果已求得(3.1)的通解或通积分,要求满足初始条件 1010202000(),(),,()n n y x y y x y y x y ===韩山师范学院数学系常微分方程精品课程教案(3.2)的解,可以把初始条件(3.2)代入通解或通积分之中,得到关于的n 个方程式,如果从其中解得,12,,,n C C C 12,,,n C C C 再代回通解或通积分中,就得到所求的初值问题的解. 2 一阶微分方程组的向量和矩阵表示 为了简洁方便,经常采用向量与矩阵来研究一阶微分方程组(3.1). 令n 维向量函数 12()()(),()n y x y x Y x y x ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ 11221212(,,,,)(,,,,)(,)(,,,,)n n n n f x y y y f x y y y F x Y f x y y y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ 并定义 111(),dy dx dy dY x dx dx dy dx ⎡⎤⎢⎥⎢⎥⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦ 00001()()()()x x x x n x x x n x f x dx f x dx F x dx f x dx ⎡⎤⎢⎥⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦⎰⎰⎰⎰ 则(3.1)可记成向量形式(3.3)(,)dY F x Y dx =初始条件(3.2)可记为 其中 00(),Y x Y =102000n y y Y y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ (3.2)′(3.3)的满足(3.2)′的初值问题可记为(3.4)00(,)()dY F x Y dx Y x Y ⎧=⎪⎨⎪=⎩这样,从形式上看,一阶方程组与一阶方程式完全一样了.进一步,对n 维向量Y 和矩阵,()ij A a =12,n y y Y y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ 111212122212n nn n nn a a a a a a A a a a ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦定义 1,n i i Y y ==∑,1niji j A a ==∑易于证明以下性质:1., 且, 当且仅当0Y ≥0Y =0Y =( 表示零向量,下同);02.;1212Y Y Y Y +≤+3.对任意常数,有;αY Y αα=A 4.;0A ≥5.;A B A B +≤+6.对任意常数,有;γA A γγ=A 7.;AY A Y ≤A 8. .AB A B ≤A 称和分别为向量和矩阵的范数. 进而还有如Y A Y A 下性质韩山师范学院数学系常微分方程精品课程教案00()()x x x x F x dx F x dx≤⎰⎰有了维空间的范数定义后,我们可以定义按范数收敛n 的概念. 即:如果对 上的任意x ,有[,]a b lim ()()0n n Y x Y x →∞-=则称 在 上按范数收敛于Y (x ).如果上式对 ()n Y x [,]a b [,]a b 上的x 为一致的,则称 在上 按范数一致收敛()n Y x [,]a b 于.()Y x 另外, 如果对n 维向量函数F (x )有00lim ()()0x x F x F x →-=则称 在 连续. 如果 在区间 上每()F x 0x ()F x [,]a b 一点 都连续, 则称 在区间 上连续.0x ()F x [,]a b 有了以上准备,完全类似于第二章定理2.2,我们有如下的关于初值问题(3.4)的解的存在与唯一性定理.定理3.1 如果函数 在 维空间的区域(,)F x Y 1n +00:,R x x a Y Y b -≤-≤上满足:1) 连续;2) 关于满足李普希兹条件,即存在, 使对于上Y 0N >R 任意两点 ,有1(,),x Y 2(,)x Y韩山师范学院数学系常微分方程精品课程教案1212(,)(,)F x Y F x Y N Y Y -≤-则存在, 使初值问题(3.4)的解在 上存在00h >00x x h -≤且唯一,其中0min(,b h a M =.(,)max (,)x Y R M F x Y ∈= 定理的证明方法与定理2.2完全类似,也是首先证明(3.4)与积分方程 00()(,())x x Y x Y F x Y x dx =+⎰(3.5)同解.为证(3.5)的解在 上的存在性,同样用00x x h -≤逐次逼近法,其步骤可以逐字逐句重复定理2.2的证明.最后,唯一性的证明,同样用贝尔曼不等式完成. 对于方程组(3.3)也有类似第二章关于纯量方程(1.9)的解的延展定理和解对初值的连续依赖性定理,这只要在第二章相应定理中把纯量换成向量即可.y Y 最后,我们要指出方程组(3.3)解的几何意义:我们已经知道,纯量方程(1.9)的一个解是二维空间平面上的一条xoy 曲线,或称为积分曲线,那么,很自然地有方程组(3.3)的一韩山师范学院数学系常微分方程精品课程教案个解就是维空间中的一条曲线了,也称它为方程组x Y1n (,)(3.3)的积分曲线.本节要点:1.一阶微分方程组解的存在唯一性定理及解的几何意义.2.一阶线性微分方程组解的存在唯一性定理及其特征:系数和非齐次项连续区间上整体存在.作业: 完成定理3.1的证明. 。

一阶微分方程解存在唯一性定理Picard定理及其证明

一阶微分方程解存在唯一性定理Picard定理及其证明

3.1 一阶微分方程存在唯一性定理(Existence and Uniqueness Theorem ofInitial Value Problem of ODE )[教学内容] 1. 上一章内容小结和习题课; 2.介绍研究初值问题解的存在唯一性定理必要性; 3. 介绍柯西解的存在唯一性定理和Picard定理; 4. 介绍定理的证明.[教学重难点] 重点是知道并会运用微分方程初值问题的解的存在唯一性定理,难点是如何引入了解定理的证明思路和过程[教学方法] 自学1、2、3;讲授4、5课堂练习[考核目标]1.知道一阶微分方程的类型及其解法;2. 知道Lipshitz条件和解的存在唯一性定理(柯西版本和Picard版本);3. 知道Picard定理的证明思路和过程;4. 会用Picard函数序列给出微分方程初值问题的近似函数解.5. 了解和掌握Graonwall积分不等式.1. 一阶微分方程类型及其初等解法小结(1)认识一阶微分方程:一阶线性方程(交换x,y或Bernoulli方程及其他可通过引入变量替换化为一阶线性方程的)、一阶可分离变量型方程(齐次方程以及其他可化为可分离变量型的)、一阶对称形式的恰当方程(通过引入积分因子可化为恰当方程的方程)一阶隐方程(可解出x或y的类型,以及x, y, y’只含有其中两个的方程类型)(2)解法常数变易公式、Bernoulli方程的变量替换分离变量方法、齐次方程的变量替换恰当方程的解法、积分因子的求法隐方程的求导法和参数法(3)例题上述提到的方程类型各举出一个例子来,并用上面的方法来求解,允许一题多解.(4)介绍一些可以化为微分方程来求解的函数方程和积分方程(参见上节讲义).(5)预告:下周二上午第一节课进行上一章测试,请相互转告.2. 必要准备:数学中的进化论生物上,比如水稻品种一代一代通过基因重组往高产优质方向优化,还有如下图片.在数学上也有类似的进化过程,下面就说一说.(1)考察三次代数方程 x 3+4x-2 0. 该方程没有有理根. 该方程只有唯一实根且落在[0,1]. 下面有两种思路来找到该方程的根.思路一:运用连续函数的零点定理, 记1] [0,]b ,[a 11=表示第一代;将]b ,[a 11平分为两个子区间,取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第二代,即]21 [0,]b ,[a 22=;将]b ,[a 22平分为两个子区间,取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第三代,即]21 ,41[]b ,[a 33=;将]b ,[a 33平分为两个子区间,取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第四代,即]21 ,81[]b ,[a 44=;... ... 这样下去,]b ,[a n n 越来越接近方程的根 x ≈ 0.473466,其中误差就是|a b |n n -.思路二:运用教材P89习题9的结论和证明过程,改写方程为x 42x -3=+,记42x f(x)3+-= 则方程就是f(x)x =,方程的根也就是函数f(x)的不动点. 可以验证f(x)满足教材P89习题9的条件(自行验证),于是方程的根存在且唯一,下面就用进化的思想来寻找方程的根.选取第一代1x 1=(这里可以选其他实数);经过进化机制(用f(x)作用一下)得到第二代25.0)f(x x 12==;再经过进化机制(用f(x)作用一下)得到第三代496094.0)f(x x 23≈=;再经过进化机制(用f(x)作用一下)得到第四代469477.0)f(x x 34≈=;再经过进化机制(用f(x)作用一下)得到第五代474131.0)f(x x 45≈=;再经过进化机制(用f(x)作用一下)得到第六代473354.0)f(x x 56≈=;... ... n x 越来越接近方程的根 x ≈ 0.473466.打个比方,把方程的根比作我们想要的某种属性的对象,我们可以通过迭代(进化)过程来把它造出来或找出来。

压缩映射原理在各种方程的解的存在唯一性上的应用

压缩映射原理在各种方程的解的存在唯一性上的应用

压缩映射原理在各种方程的解的存在唯一性上的应用林芳数学科学学院 数学与应用数学专业 2010级汉(1)班指导教师 官厅摘 要 本文介绍了不动点原理即压缩映射原理及其在代数方程、微分方程、积分方程解的存在性和惟一性方面的重要应用. 关键词 不动点;压缩映射原理;方程.不动点理论是20世纪数学中的一支奇葩.半个多世纪以来,其影响可以说遍及整个数学.函数的不动点,在数学中是指被这个函数映射到其自身的一个点,即函数()f x 的取值过程中,如果有0x 使00(),f x x =就称0x 为()f x 的一个不动点.对此定义,有两方面的理解:1)代数意义:若方程()f x x =有实数根0x ,则()y f x =有不动点0x . 2)几何意义:若函数()y f x =与y x =有交点00(,)x y ,则0x 为()y f x =的不动点.压缩映射原理是最简单的不动点定理,它不但证明了不动点的存在性与唯一性,同时还提供了求不动点的方法-迭代法.就是说,在完备度量空间中,T 是一个压缩映射,从任意选取的一个"初始值"0x 出发,逐次作点列1(1,2,),n n x Tx n -==这个点列必然收敛到方程Tx x =的解.因此这种方法叫做逐次逼近法.压缩映射原理在线性代数方程组,微分方程,积分方程等方面都有广泛的应用.1相关定义及定理 1.1不动点的定义[1]设X 为一非空集,:T X X →是一个映射,如果有*,x X ∈使得**,Tx x =则称*x 为映射T 的一个不动点.1.2压缩映射的定义[2]设X 是度量空间,:T X X →是一个映射,如果存在一个数α,01,α<<使得对所有的,,(,)(,),x y X d Tx Ty d x y α∈≤则称T 是压缩映射,α称为压缩常数.注 压缩映射在几何上的意思是说点x 和y 经T 映射后,它们像的距离缩短了,不超过(,)d x y 的α倍(1).α<1.3压缩映射原理[2]设X 是完备度量空间,T 是X 上的压缩映射,那么T 有且只有一个不动点(就是说,方程Tx x =有且只有一个解).证明 设0x 是X 中任意一点.21021010,,,,.n n n x Tx x Tx T x x Tx T x -=====我们证明点列{}n x 是X 中柯西点列.事实上,21111212(,)(,)(,)(,)(,)m m m m m m m m m m d x x d Tx Tx d x x d Tx Tx d x x ααα+------=≤=≤ 10(,).m d x x α≤≤由三点不等式,当n m >时,1121(,)(,)(,)(,)m n m m m m n n d x x d x x d x x d x x +++-≤+++1101011()(,)(,).1n mm m n md x x d x x αααααα-+--≤+++=⋅-因01,α<<所以11,n mα--<于是得到01(,)(,)().1mm n d x x d x x n m αα≤>-所以当,m n →∞→∞时,(,)0,m n d x x →即点列{}n x 是X 中柯西点列,由X 完备,存在,x X ∈使(),m x x m →→∞又由三点不等式和条件(,)(,),d Tx Ty d x y α≤我们有1(,)(,)(,)(,)(,).m m m m d x Tx d x x d x Tx d x x d x x α-≤+≤+这个不等式右端当m →∞时趋于0,所以(,)0,d x Tx =即.x Tx =下面证唯一性.如果又有~,x X ∈使得~~,T x x =则由条件得~~~(,)(,)(,).d x x d Tx T x d x x α=≤因01,α<<所以必有~(,)0,d x x =即~.x x =2压缩映射原理在代数方程方面的应用 2.1压缩映射原理在线性代数方程组方面的应用例1[1] 在n 维实向量空间n R 中,n R 是一个完备度量空间,我们定义距离1(,)max ,i i i nd x y ξη≤≤=-其中1212(,,,),(,,,).n n x y ξξξηηη==我们在n R 中讨论下列线性代数方程组1ni ij j i j a b ξξ=-=∑ 1,2,,.i n = (1)在系数满足什么条件时,存在唯一的解.解 首先将(1)式写成下列向量形式:.X AX B =+其中12(,,,);T n X ξξξ=();ij n n A a ⨯=12(,,,).T n B b b b =令,TX AX B =+则(1)式可以写成.TX X =于是求方程组(1)的唯一解的问题就化为T 是否有唯一的不动点的问题.显然T 是n n R R →的一个映射.下面来讨论当()ij a 满足什么条件时,T 是一个压缩映射.任取12112212,,(,,,),(,,,).n T T n n X X R X X ξξξηηη∈==于是121212(,)(,)(,)d TX TX d AX B AX B d AX AX =++=1111max()max nnij jj ij j j i ni nj j a a ξηξη≤≤≤≤===-≤-∑∑1211111max max (max )(,).n nij j j ij i nj ni nj j a a d X X ξη≤≤≤≤≤≤==≤-=∑∑由此可见,当11,nij j a α=≤<∑对一切i 成立时,T 是n R 上的一个压缩映射.于是T 满足压缩映射原理的条件,从而T 有唯一的不动点****12(,,,),n X ξξξ=而*X 就是方程组(1)的唯一解.2.2压缩映射原理在非线性代数方程方面的应用例2 证明Kepler 方程sin x x a ε=+存在唯一解,其中,a ε为已知常数,0 1.ε<<证明 1R 空间是完备度量空间,在其上定义距离(,).d x y x y =- 作映射sin ,Tx x a ε=+则有.Tx x =显然T 是11R R →的映射,且1,,x y R ∀∈有(,)sin sin sin sin cos ,d Tx Ty Tx Ty x y x y x y x y εεεεξε=-=-=-≤-≤-ξ在,x y 之间,令.αε=则0 1.α<<有(,)(,).d Tx Ty d x y α≤所以T 是压缩映射. 由压缩映射原理可知T 存在唯一不动点,即Kepler 方程存在唯一的解.3压缩映射原理在积分方程方面的应用例3[1] 设()f s 为a s b ≤≤上的连续函数,(,)K s t 为形,a s b a t b ≤≤≤≤上的连续函数,且存在常数,M 使得(,).baK s t dt M ≤<+∞⎰则当1Mλ<时,弗雷德霍姆()Fredholm 方程 ()()(,)()b as f s K s t t dt ϕλϕ=+⎰ (2)存在唯一的解[,].C a b ϕ∈证明 在完备度量空间[,]C a b 上定义距离[,]((),())max ()().s a b d x s y s x s y s ∈=-定义映射()()(,)().baT s f s K s t t dt ϕλϕ=+⎰记.M αλ=则 1.,[,],C a b αϕψ<∀∈有 (,)max (,)()(,)()b baaa s bd T T K s t t dt K s t t dt ϕψλϕλψ≤≤=-⎰⎰max (,)()()a s bK s t t t dt λϕψ≤≤≤-⎰max ()()a s bM s s λϕψ≤≤≤-(,)d αϕψ=因此:[,][,]T C a b C a b →是一个压缩映射,根据压缩映射原理,T 有唯一的不动点即方程(2)有唯一的解[,].C a b ϕ∈例3'[3]设()f s 为a s b ≤≤上的连续函数,(,)K s t 为形,a s b a t b ≤≤≤≤上的连续函数,令(,)[,][,]max(,),s t a b a b M k s t ∈⨯=<+∞则在1()M b a λ<-时,弗雷德霍姆()Fredholm 方程 ()()(,)()b as f s K s t t dt ϕλϕ=+⎰ (2) 存在唯一的解[,].C a b ϕ∈证明 在完备度量空间[,]C a b 上定义距离[,]((),())max ()().s a b d x s y s x s y s ∈=-定义映射()()(,)().baT s f s K s t t dt ϕλϕ=+⎰记().M b a αλ=- 1.,[,],C a b αϕψ<∀∈有 (,)max (,)()(,)()b baaa s bd T T K s t t dt K s t t dt ϕψλϕλψ≤≤=-⎰⎰max (,)()()baa s bK s t t t dt λϕψ≤≤≤-⎰()max ()()a s bM b a s s λϕψ≤≤≤--(,)d αϕψ=因此:[,][,]T C a b C a b →是一个压缩映射,根据压缩映射原理,T 有唯一的不动点即方程(2)有唯一的解[,].C a b ϕ∈4压缩映射原理在微分方程方面的应用4.1压缩映射原理证明一阶线性微分方程的解的存在唯一性例4[2]设(,)f t x 是矩形00{(,)|,}D t x t t a x x b =-≤-≤上的二元函数,设(,),(,),f t x M t x D ≤∈又(,)f t x 在D 上关于x 满足利普希茨()Lipschitz 条件,即存在常数L ,使得对任意的(,),(,),t x t y D ∈有(,)(,)f t x f t y L x y -≤- (3)那么方程(,)dxf t x dt=在区间00[,]J t t ββ=-+上有唯一的满足初值条件00()x t x =得连续函数解,其中1min{,,}.b a M L β<证明 设00[,]C t t ββ-+表示区间00[,]J t t ββ=-+上的连续函数全体按距离(,)max ()()t Jd x y x t y t ∈=-所成的完备度量空间.又令C 表示00[,]C t t ββ-+中满足条件0()()x t x M t J β-≤∈得连续函数全体所成的子空间,且C 是闭子空间.则C 也是完备度量空间.令00()()(,())tt Tx t x f t x t dt =+⎰ (4)则T 是C 到C 中的映射.因为,M b β<所以若,x C ∈那么当00[,]t t t ββ∈-+时,(,()).t x t D ∈又因为(,)f t x 是D 上的二元连续函数,所以(4)式右端积分有意义.又对一切000,()()(,()),tt t J Tx t x f t x t dt M t t M β∈-=≤-≤⎰所以有当,x C ∈.Tx C ∈下面证T 是压缩映射.由条件(3),对C 中任意两点x 和y ,有 0(,)max ()()()()max[(,)(,)]tt t Jt Jd Tx Ty Tx t Ty t f t x f t y dt ∈∈=--⎰0max ()()(,).a t bt t L x t y t L d x y β≤≤≤-⋅-≤令,L αβ=则01,α<<且(,)(,).d Tx Ty d x y α≤所以T 是C 上的压缩映射.由压缩映射原理可知,存在唯一的,x C ∈使得.Tx x =即00()(,()).tt x t x f t x t dt =+⎰且00().x t x =两边对t 求导,即得()(,()).dx t f t x t dt =这说明()x t 是方程(,)dxf t x dt=满足初值条件 00()x t x =的解.4.2压缩映射原理证明n 阶线性微分方程的解的存在唯一性一般的n 阶线性微分方程可以写成如下形式:111()()()n n n n n d y d y a x a x y F x dx dx--+++= (5)方程的初值条件记为:(1)000101(),(),,()n n y x c y x c y x c --'=== (6)有如下结论:例5[4] (n 阶线性微分方程初值问题解的存在性与唯一性)设()(1,2,,)i a x i n =和()F x 均于区间I 上连续,则对任一0x I ∈和任意n 个常数011,,,,n c c c -方程(5)恒有且只有一个定义在整个区间I 上且满足初值条件(6)的解.注 有时,映射T 不满足压缩映射原理的条件,但T 的某次幂却满足这些条件,于是,可把压缩映射原理推广到下面的情形:推论 设(,)X d 是完备度量空间,:,T X X →如果存在自然数,,n 使得对所有,,(,)(,).n n x y X d T x T y d x y α∈≤其中01,α≤<则T 有唯一的不动点.下面对定理进行证明:证明 对n 阶线性微分方程(5)(6)作如下变化:设(),n n d yx dxϕ=则0111()n x n n x d y t dt c dxϕ---=+⎰0002121022[()]()()n x u x x n n n n n x x x t d yt dt c du c dt t du c x x c dx ϕϕ------=++=+-+⎰⎰⎰⎰102()()()xn n x x t t dt c x x c ϕ--=-+-+⎰00310233[()()()]n x u n n n n x x d yx t t dt c x x c du c dx ϕ-----=-+-++⎰⎰ 0221020311()()()()2!2!x n n n x x t t dt c x x c x x c ϕ---=-+-+-+⎰01121020100111()()()()()(1)!(1)!(2)!x n n n n n x y x t t dt c x x c x x c x x c n n n ϕ-----=-+-+-++-+---⎰代入原方程得:121212()()n n n n n d y d yx F x a a a y dx dxϕ----=----整理后得到积分方程:()(,)()()xx x k x t t dt f x ϕϕ=+⎰ (7)其中2112311(,)[()()()]2!(1)!n n k x t a a x t a x t a x t n -=-+-+-++--21121023102031()()[()][()()]2!n n n n n n f x F x a c a c x x c a c x x c x x c ------=---+--+-+ 1101001[()()](1)!n n n a c x x c x x c n -----++-+-此方程为第二类Volterra 积分方程,显然(,)k x t 在区域{(,)|,}x t a x b a t b ≤≤≤≤上连续.并且方程(7)与方程(5)(6)等价. 下面考虑积分方程 ()(,)()()xax k x t t dt f x ϕϕ=+⎰[,]t a b ∈(,)k x t 在区域{(,)|,}x t a x b a t b ≤≤≤≤上连续,()[,].f x C a b ∈设,sup (,),a x t bk x t M ≤≤=<+∞考虑映射:[,][,]T C a b C a b →()(,)()()xaT x k x t t dt f x ϕϕ=+⎰ [,]C a b ϕ∀∈则 1221()()(,)(()())xaT x T x k x t x x dt ϕϕϕϕ-=-⎰21sup ()()()a x bM x x x a ϕϕ≤≤≤-- 12()((),())M x a d x x ϕϕ≤- 归纳的,若11111212()()()(,)(1)!n n n n x a T x T x M d n ϕϕϕϕ------≤-则 1212()()(,)(()())xn n n n aT x T x k x t T t T t dt ϕϕϕϕ-=-⎰1121()(,)!x nn a M t a dt d n ϕϕ-≤-⎰ 12()(,)!nnx a Md n ϕϕ-≤ 由此得到对于任何自然数n 有:121212()(,)sup (,)!nnnnnna x bb a d T T T T M d n ϕϕϕϕϕϕ≤≤-=-≤由于()0(),!n nb a Mn n -→→∞于是对于充分大的,n 总可使()0 1.!nn b a M n -≤< 因此对于充分大的,n nT 满足推论中压缩映射原理的条件,所以方程(7)有唯一解.由方程的等价性可知,n 阶线性微分方程(5)(6)有唯一解.5压缩映射原理证明隐函数存在定理例6[2]设函数(,)f x y 在带状域,a x b y ≤≤-∞<<+∞中处处连续,且处处有关于y 的偏导数'(,).y f x y 如果还存在常数m 和M 满足'0(,),,y m f x y M m M <≤≤< 则方程(,)0f x y =在区间[,]a b 上必有唯一的连续函数()y x ϕ= 作为解:(,())0,[,].f x x x a b ϕ≡∈证明 在完备度量空间[,]C a b 中作映射T ,使对任意的函数[,],C a b ϕ∈有1()()()(,()).T x x f x x Mϕϕϕ=-按照题中条件,(,)f x y 是连续的,故()()T x ϕ也连 续,即[,].T C a b ϕ∈所以T 是[,]C a b 到自身的映射.下面证T 是压缩映射. 任取12,[,],C a b ϕϕ∈根据微分中值定理,存在01,θ<<满足21212111()()()()()()((,())(,()))T x T x x x f x x f x x M Mϕϕϕϕϕϕ-=---'21121211()()[,()(()())](()())y x x f x x x x x x Mϕϕϕθϕϕϕϕ=--+-⋅-21()()(1).m x x Mϕϕ≤--由于01,m M <<所以令1,mMα=-则有01,α<<且 2121()()()()(()().T x T x x x ϕϕαϕϕ-≤-按[,]C a b 中距离的定义可知2121(,)(,).d T T d ϕϕαϕϕ≤因此T 是压缩映射. 由压缩映射原理可知,存在唯一的[,]C a b ϕ∈满足,T ϕϕ=即1()()(,()),x x f x x Mϕϕϕ≡-这就是说:(,())0,[,].f x x x a b ϕ≡∈ 根据压缩映射原理,若取00(x)=y ϕ作为初始函数,通过迭代111()()(,()),1,2,n n n x x f x x n Mϕϕϕ--=-=得到的函数列{()}n x ϕ将一致收敛于隐函数()y x ϕ=.参考文献:]1[大华.应用泛函简明教程.华中科技大学.2003.]2[程其襄,奠宙,国强,善文,王漱石.实变函数与泛函分析基础.高等教育,2010. [3]秀芹.非线性分析中的几类不动点定理及其应用.东北大学.2008. [4]汪斌.n 阶线性微分方程解的存在与唯一性.华中师大学.2007.。

微分方程的解的存在性与唯一性

微分方程的解的存在性与唯一性

微分方程的解的存在性与唯一性微分方程的解的存在性与唯一性是微分方程理论中的重要问题之一。

它涉及到了微分方程的解是否存在以及是否唯一的问题。

在研究微分方程的过程中,我们常常需要确定方程的解的存在性和唯一性,以便得到准确的结果和合理的推论。

首先,我们来讨论微分方程解的存在性。

对于一阶微分方程dy/dx=f(x, y)来说,如果函数f(x, y)在某个区域内是连续的,那么根据连续函数的存在性定理,方程必有一个解存在。

这个解可能通过求不定积分得到,也可能是通过其他方法求得的特解。

如果方程涉及到一些特殊的函数,如分段定义的函数或含有非连续点的解,那么解的存在性的问题可能就会更加复杂。

其次,我们来探讨微分方程解的唯一性。

唯一性通常需要借助某些定理来证明。

在微分方程理论中,最常用的唯一性定理就是皮卡-林德洛夫定理(Picard-Lindelof定理)。

该定理表明,如果函数f(x, y)在某个区域内是局部利普希茨连续的,即满足|f(x, y1)-f(x, y2)|≤K|y1-y2|,其中K是一个常数,那么方程的初值问题y(x0)=y0必有唯一解存在。

这里需要说明的是,皮卡-林德洛夫定理中的条件比较严格,f(x, y)需要满足利普希茨连续性,这并不是一个常见的条件。

对于一些非连续的函数,可能无法直接使用皮卡-林德洛夫定理来证明解的存在唯一性。

此时,我们可以尝试使用其他的方法来证明解的存在性和唯一性,如变量分离、恰当方程等。

此外,还有一种特殊情况需要考虑,即微分方程解的多解性。

有时候,微分方程的解可能存在多个,这取决于方程本身的特性和约束条件。

比如,对于一元二次方程dy/dx=ax²+bx+c,根据韦达定理,方程的解可能有两个或零个。

在这种情况下,我们需要根据问题的具体条件来确定解的个数,并选择出最符合问题要求的解。

总结起来,微分方程解的存在性与唯一性是微分方程理论中的重要问题。

通过合理选择条件和引入适当的定理,我们可以判断微分方程的解是否存在,以及是否唯一。

《常微分方程指导与实验》第2章:一阶微分方程的解的存在定理

《常微分方程指导与实验》第2章:一阶微分方程的解的存在定理

第二章 一阶微分方程的解的存在定理§2.1 一阶微分方程解的基本理论主要内容一 导数已解出方程初值问题解的存在唯一性定理 考虑导数已解出的一阶DE 的初值问题()()00,y f x y y x y '=⎧⎪⎨=⎪⎩(2.1)(2.2)这里()y x f ,是在闭矩形域R : a x x ≤-0,b y y ≤-0上的连续函数。

定义2.1 如果存在常数0>L ,使得对于所有的点()1,y x ,()2,y x R ∈,都有不等式()()2121,,y y L y x f y x f -≤-成立,则称函数()y x f ,在R 上关于y 满足李普希兹(Lipschitz )条件。

1定理2.1 (毕卡存在唯一性定理) 如果()y x f ,在R 上满足条件: 1)连续;2)关于y 满足李普希兹条件,则初值(2.1)和(2.2)在区间h x x ≤-0上存在唯一解()x y y =,其中()M b a h ,m in=,()y x f M R y x ,max ),(∈=。

注1 取数h 的意义。

注意到()y x f M R y x ,max ),(∈=,从而积分曲线()x y y =在任一点()()R x y x ∈,处的切线斜率()M x y ≤'。

于是从点()o y x p ,0引两条斜率分别为M 和M -的直线1l 和2l ,便知过点P 的积分曲线必限制在图2.1和图2.2的阴影区域内。

而直线1l 和2l 相交情形有如下两种可能。

(i )若相交成如图 2.1所示的情况,则a Mb>,积分曲线()x y y =在a x x ≤-0上不越出R ,从而应取a h =。

(ii )若相交成如图 2.2所示的情况,则a Mb >,积分曲线()x y y =在Mb x x ≤-0上不越出R ,从而应取Mb h =。

总之,取()M ba h ,min =,就是为了使初值问题(2.1)和(2.2)的解在h x x ≤-0上总存在。

3. 一阶常微分方程解的存在唯一性

3. 一阶常微分方程解的存在唯一性

由于ϕn(x) = ϕ0(x) + ϕ1(x) − ϕ0(x) + ϕ2(x) − ϕ1(x) + · · · + ϕn(x) − ϕn−1(x) ,

故只需证明无穷级数ϕ0(x) + [ϕn+1(x) − ϕn(x)]在I上一致收敛即可。采用数学 n=0
归纳法来证明:
特别,取ϕ0(x) = y0,则 |ϕ1(x) − ϕ0(x)| =
设ϕ(x)和ψ(x)都 是 微 分 方 程(3.1)在I上 的 解。 记M = max |ϕ(x) − ψ(x)|, 根 x∈I
据Lipschitz条件,当x ∈ I时,有
|ϕ(x) − ψ(x)| ≤
x
|f (t, ϕ(t)) − f (t, ψ(t))|dt
x0 x
≤ L |ϕ(t) − ψ(t)|dt
第三章 一阶常微分方程解的存在唯一性
本章主要介绍和证明一阶微分方程解的Picard存在和唯一性定理,解的延拓,解对 初值的连续性和可微性等概念。
3.1 Picard存在唯一性定理
3.1.1 一阶显式微分方程
考虑一阶显式常微分方程的初值问题

dy dx
=
f (x, y)
y|x=x0 = y0
(3.1)

LnM n!
x
|t − x0|ndt
x0
=
LnM (n + 1)!
|x

x0|n+1
特别,当|x − x0| ≤ h时,
|ϕn+1(x)

ϕn(x)|

LnM (n + 1)!
hn+1

由于正项级数

一阶微分、差分方程组解的存在唯一性及解关于参数的连续依赖性

一阶微分、差分方程组解的存在唯一性及解关于参数的连续依赖性
贵 州 科 学 2 ( )2 -3 ,0 1 9 3 :8 1 2 1
Gu kho ce c u S in e

阶微 分 、 分 方 程组 解 的存 在 唯 一 性 及 解 关 于参 数 差 的 连 续 依 赖 性
ห้องสมุดไป่ตู้
彭 飞 詹 再 东
( 贵州大学 理学 院, 。 贵阳 5 0 2 ; 50 5 浙江大学数学系 , 杭州 302 ) 10 7
PEN G i Fe
ZHA N id ng Za . o
(D p r etfMa e ai ,G  ̄ o n esy u a g, u hu5 0 2 , hn ; eatet fMahm ts eat n m o t m t s u h uU i rt,G i n G  ̄ o 5 0 5 C ia 。 p r n o h c v i y D m te ai , c Z ea g U i rt , agh u Z ea g3 0 2 C i ) hj n n e i H nzo , h i 1 0 7, hn i v sy jn a
rm ee fsl to s a tro ou in
昆虫 的数量 在某一 季节连 续地增 长 , 在冬 季死亡 , 它
1 引言
众所周 知 , 不少 相似 的理论 和结果 存在 于微 分
们 的虫 卵就 冬眠 , 在下一 季节卵孵 化成虫 。可见 , 它 们 的繁殖 时间既 含 有连 续 成分 , 又有 离散 成 分 。 自 18 9 8年 ,t a i e Se nH l r的工 作 统 一 并 延 拓 了连 续 与 f g

要 : 本文研究一阶微分 、 差分方程组解 的存在唯 一性及 解 关于参数 的连 续依赖性 , 以期在 最优控 制上有广 泛的应用。

一阶线性微分方程解的存在唯一性证明

一阶线性微分方程解的存在唯一性证明

一阶线形微分方程)()(x q y x p dxdy +=解的存在唯一性定理的证明摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?首先,我们令f(x,y)=p(x)y+q(x) 这里f(x,y)是在矩形域 R:b y y a x x ≤-≤-00,上的连续函数.函数f(x,y)称为在R 上关于y 满足利普希兹条件,如果存在常数L>0使不等式2121),(),(y y L y x f y x f -≤- 对于所有的R y x y x ∈),(),,(21 都成立,L 称为利普希兹常数下面我们给出一阶线形微分方程)()(x q y x p dxdy+=(1)解的存在唯一性定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解)(x y ϕ=,定义于区间h x x ≤-0上,连续且满足初始条件:00)(y x =ϕ 这里 ),min(Mba h = ),(max y x f M = R y x ∈),( 我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只就区间h x x x +≤≤00来讨论,对于00x x h x ≤≤-的讨论完全一样.现在简单叙述一下运用逐步逼近法证明定理的主要思想,首先证明求微分方程的初值问题的解等价于求积分方程[]⎰++=xx dx x q y x p y y 0)()(0的连续解这里我们用f(x,y)=p(x)y+q(x)来替代,因此也就等价于求积分方程 ⎰+=xx dx y x f y y 0),(0 的连续解,然后去证明积分方程的解的存在唯一性.任取一个连续函数)(0x ϕ 代入上面的积分方程右端的y 就得到函数dx x x f y x xx ))(,()(0001⎰+≡ϕϕ显然)(1x ϕ也是连续解,如果)(1x ϕ≡)(0x ϕ那么)(0x ϕ就是积分方程的解.否则,我们又把)(1x ϕ代入积分方程右端的y 得到dx x x f y x xx ))(,()(0102⎰+≡ϕϕ如果 ≡)(2x ϕ)(1x ϕ,那么)(1x ϕ就是积分方程的解,否则我们继续这个步骤.一般地做函数 dx x x f y x xx n n ))(,()(010⎰-+≡ϕϕ(2)这样就得到连续函数序列)(0x ϕ ,)(1x ϕ…)(x n ϕ…如果≡+)(1x n ϕ)(x n ϕ那么)(x n ϕ就是积分方程的解,如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数)(x ϕ即)()(lim x x n n ϕϕ=∞→ 存在因此对(2)取极限就得到dx x x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+=ϕϕ=dx x x f y xx n n ))(,(lim 010⎰-∞→+ϕ=dx x x f y xx ))(,(00⎰+ϕ即 dx x x f y x xx ))(,()(00⎰+≡ϕϕ这就是说)(x ϕ是积分方程的解,这种一步一步地求出方程的解的方法就成为逐步逼近法,由(2)所确定的函数)(x n ϕ称为问题(1)的n 次近似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.命题1,设)(x y ϕ=是一阶线形微分方程(1)的定义于区间h x x x +≤≤00上的,且满足初始条件00)(y x =ϕ的解,则)(x y ϕ=是积分方程⎰+=xx dx y x f y y 0),(0(h x x x +≤≤00)的定义于h x x x +≤≤00上的连续解,反之亦然.因为)(x y ϕ=是一阶线形微分方程(1)的解故有))(,()(x x f dxx d ϕϕ= 两边从0x 到x 取定积分得到dx x x f x x xx ))(,()()(00⎰≡-ϕϕϕ h x x x +≤≤00把00)(y x =ϕ代上式,即有dx x x f y x xx ))(,()(00⎰+≡ϕϕ h x x x +≤≤00因此, )(x y ϕ=是积分方程⎰+=xx dx y x f y y 0),(0定义于h x x x +≤≤00上的连续解反之如果)(x y ϕ=是积分方程⎰+=xx dx y x f y y 0),(0的连续解,则有dx x x f y x xx ))(,()(00⎰+≡ϕϕ h x x x +≤≤00 (3)微分之,得到))(,()(x x f dxx d ϕϕ= 又把0x x =代入(3)得到00)(y x =ϕ因此)(x y ϕ=是方程(1)的定义于 h x x x +≤≤00上且满足初始条件00)(y x =ϕ的解.命题1证毕.现在取00)(y x =ϕ,构造皮卡逐步逼近函数序列如下:⎪⎩⎪⎨⎧+==⎰-x x n nd f y x y x 0))(,()()(1000ξξϕξϕϕ h x x x +≤≤00 (n=1,2,…)(4)命题2 函数序列{})(x n ϕ在h x x x +≤≤00上是一致收敛的 证明:我们考虑级数[]∑∞=--+110)()()(k k k x x x ϕϕϕ h x x x +≤≤00(5)它的部分和为[]∑=--+nk k k x x x 110)()()(ϕϕϕ=)(x ϕ因此,要证明序列{})(x n ϕ在h x x x +≤≤00上一致收敛,只需证明级数(5)在h x x x +≤≤00上一致收敛.为此,我们进行如下估计.由(4)有)())(,()()(00001⎰-≤≤-xx x x M d f x x ξξϕξϕϕ (6)及 ⎰-≤-xx d f f x x 0))(,())(,()()(0112ξξϕξξϕξϕϕ利用利普希兹条件及(6)得到⎰-≤-xx d L x x 0)()()()(0112ξξϕξϕϕϕξξd x M L xx ⎰-≤0)(0=20)(!2x x ML- 设对于正整数n,不等式n n n n x x n ML x x )(!)()(011-≤---ϕϕ 成立,则有利普希兹条件,当h x x x +≤≤00时,有⎰-+-≤-xx n n n n d f f x x 0))(,())(,()()(11ξξϕξξϕξϕϕ⎰--≤xx n n d L 0)()(1ξξϕξϕ100)()!1()(!0+-+=-≤⎰n n xx nn x x n ML d x n ML ξξ 于是,由数学归纳法得知,对于所有的正整数k,有如下的估计k k k k x x k ML x x )(!)()(011-≤---ϕϕ h x x x +≤≤00 (7)从而可知,当h x x x +≤≤00时kk k k h k ML x x !)()(11--≤-ϕϕ (8)(8)的右端是正项收敛级数∑∞=1!k kkk h ML的一般项,由维尔斯特拉斯判别法级数(5)在h x x x +≤≤00上一致收敛,因而序列{})(x n ϕ也在h x x x +≤≤00上一致收敛,命题2证毕.命题3 )(x ϕ是积分方程(2)的定义于h x x x +≤≤00上的连续解. 证明: 由利普希兹条件)()())(,())(,(x x L x x f x x f n n ϕϕϕϕ-≤-以及{})(x n ϕ在h x x x +≤≤00上一致收敛于)(x ϕ,即知序列 {}{})(,()(x x f x f n n ϕ≡在h x x x +≤≤00上一致收敛于{})(,(x x f ϕ.因而对于(4)两边取极限,得到dx x x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+≡ϕϕ=⎰-∞→+xx n n d f y 0))(,(lim 10ξξϕξ即⎰+=xx d f y x 0))(,()(0ξξϕξϕ这就是说)(x ϕ是积分方程(2)的定义于h x x x +≤≤00上的连续解.命题3证毕.命题4 设)(x φ是积分方程(2)的定义于h x x x +≤≤00上的一个连续解,则)()(x x ϕφ≡ , h x x x +≤≤00证明:我们首先证明)(x φ也是序列{})(x n ϕ的一致收敛极限函数.为此,从00)(y x =ϕ⎰+=xx n d f y x 0))(,()(0ξξϕξϕ (n=1,2,…)ξξφφd x f y x xx ))(,()(00⎰+≡我们可以进行如下估计)()(,()()(000x x M d f x x xx -≤≤-⎰ξξφξφϕξξφξξϕξφϕd f f x x x x ⎰-≤-0))(,())(,()()(01ξξφξϕd L xx ⎰-≤0)()(0200)(!2)(0x x MLd x ML xx -=-≤⎰ξξ 现设n n n x x n ML x x )(!)()(011-≤---φϕ,则有 ξξφξξϕξφϕd f f x x xx n n ⎰-≤--0))(,())(,()()(1ξξφξϕd L xx n ⎰-≤-0)()(1100)()!1()(!+-+=-≤⎰n xx Nx x n MLd x n ML ξξ 故有数学归纳法得知,对于所有的正整数n,有下面的估计式10)()!1()()(+-+≤-n nn x x n ML x x φϕ (10) 因此,在h x x x +≤≤00上有1)!1()()(++≤-n n n h n ML x x φϕ (11) 1)!1(++n n h n ML 是收敛级数的公项,故0)!1(1→+∞→+n n h n ML n 时因而{})(x n ϕ在h x x x +≤≤00上一致收敛于)(x φ,根据极限的唯一性,即得)()(x x ϕφ≡ h x x x +≤≤00 命题4证毕.综合1-4,即得到一阶线性微分方程)()(x q y x p dxdy+=解的存在唯一定理的证明.仅供个人用于学习、研究;不得用于商业用途。

常微分方程解的存在唯一性定理

常微分方程解的存在唯一性定理

常微分方程解的存在唯一性定理一阶微分方程⑴其中. 是在矩形域丄」’叭」上的连续函数。

定义1如果存在常数二11,使得不等式”(础)-/(砒)冏肝川对于所有--■■-1--- 都成立,贝U函数/、•称为在二上关于:'满足Lipschitz 条件。

定理1如果「二,在二上连续且关于「满足Lipschitz 条件,则方程(1)存在唯一的解y=叭心,定义于区间M ■阳卜月上,连续且满足初始条件W八-卄 A = r—)M = max' ■-.,这里」f,•心「。

Picard逐步逼近法来证明这个定理的主要思想首先证明求微分方程的初值冋题的解等价于求积分方程的连续解。

然后去证明积分方程的解的存在唯一性。

任取一个连续函数代入上面积分方程右端的,就得到函数俅沪)Vp(Z()⑴)必,显然J 也是连续函数,如果,那末l:-'就是积分方程的解。

否则,我们又把J二代入积分方程右端的「,得到汀0恥)皿,如果氛沪仍⑴,那末仇⑴就是积分方程的解。

否则我们继续这个步骤。

一般地作函数惦(3.1.1.4)这样就得到连续函数序列,...,〔「」,…如果二, 那末就是积分方程的解。

如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数厂:;;1,即'厂…I存在,因而对©Ji/)取极限时,就得到f「打「X FJr=y0+l=y0+祕幼必Jf祕x)=y n+/(X 矶兀))必/ 、即•血,这就是说机x)是积分方程的解。

这种一步一步地求出方程的解的方法就称为逐步逼近法。

函数''■■■■■'称为初值问题的第:次近似解。

命题1设—是方程(1)的定义于区间V —'■'‘上,满足初始条件Jf瞅)=刃的解,则厂曲)是积分方程y=y°+y (2曲碳心砒的定义于V ——'■上的连续解。

反之亦然。

现在取,构造皮卡逐步逼近函数序列如下: 京(X)=丹;保(方=丹+ f于(乙矶_1©)時从“英肿hJ*D(聊=12…)1命题2对于所有的卜,函数在J■:上有定义、连续且满足不等式命题3 函数序列"I「在J ------------ '."上是一致收敛的。

第三章 解的存在唯一性

第三章  解的存在唯一性

x
n1(x) n (x) x0 f (,n ( )) f (,n1( ))d
x
L x0 n ( ) n1( )d
MLn
n!
x x0
(
x0 )nd
MLn (x (n 1)!
x0 )n1,
于是由数学归纳法得知,对所有正整数n,有
n (x) n1(x)
MLn1 n!
(x
x0 )n ,
x0 x x0 h,
u' (x) Lu(x), (u' (x) Lu(x))eLx 0,
0 g(x) u(x)
(u' (x) Lu(x))eLx 0,
对最后一个不等式从 x0到x积分得 u(x)eLx u(x0 )eLx0 0,
故g(x) u(x) 0, 即g(x) 0, x [x0, x0 h]. 综合命题1—5得到存在唯一性定理的证明.
现设
lim
n
n
(
x)
(
x),
x0 x x0 h,
则由{n (x)}在[x0, x0 h]的连续性和一致收敛性 得,
(x)在[x0, x0 h]上连续,且
(x) y0 b
命题4 (x)是积分方程 (3.5)定义于[x0, x0 h]上连续解.
证明: 由Lipschitz条件有
f (x,n (x)) f (x,(x)) Ln(x) (x)
以及{n (x)}在[x0, x0 h]的一致收敛性得 ,
函数列{ fn (x)}, ( fn (x) f (x,n (x)))
在[x0, x0 h]上一致收敛于函数 f (x,(x)),
因此对(3.7)两边取极限 ,得
x
lim
n

解的存在唯一性定理

解的存在唯一性定理
由f (x, y)在D上连续性知, f (x,k (x))在[x0, x0 h]
上连续,从而k1(x)在[x0 , x0 h]上连续且
k1(x) y0
x
x0 f ( ,k ( ))d
x x0
f (,k ( ))d
M x x0 Mh b
即当n k 1时成立,命题2成立
综上,命题2得证
二、存在唯一性定理
定理1
dy =f (x, y)
(1)
dx
D :| x x0 | a,| y y0 | b
如果f (x, y)在D上连续且关于y满足利普希茨条件,
则方程(1)存在唯一的连续解y (x),定义在|x x0| h
上,连续且满足初值条件
(x0 ) y0
这里h min(a, b ), M max | f (x, y) |
x
L x0 n ( ) n1( )d
MLn
n!
x x0
(
x0 )nd
MLn (x (n 1)!
x0 )n1,
于是由数学归纳法得知,对所有正整数n,有
n (x) n1(x)
MLn1 n!
(x
x0 )n ,
x0 x x0 h,
(3.11)
从而当x0 x x0 h时,
n (x) n1(x)
于是{n (x)}一致收敛性与级数 (3.9)一致收敛性等价 .
对级数(3.9)的通项进行估计
x
1(x) 0(x) x0 f (,0( ))d M x x0
x
2(x) 1(x) x0 f (,1( )) f (,0 ( ))d
x
L x0 1( ) 0( )d
L
x x0
M (

3-19 - 一阶微分方程解存在唯一性定理Picard定理及其证明

3-19 - 一阶微分方程解存在唯一性定理Picard定理及其证明

3.1 一阶微分方程存在唯一性定理(Existence and Uniqueness Theorem ofInitial Value Problem of ODE )[教学内容] 1. 上一章内容小结和习题课; 2.介绍研究初值问题解的存在唯一性定理必要性; 3. 介绍柯西解的存在唯一性定理和Picard定理; 4. 介绍定理的证明.[教学重难点] 重点是知道并会运用微分方程初值问题的解的存在唯一性定理,难点是如何引入了解定理的证明思路和过程[教学方法] 自学1、2、3;讲授4、5课堂练习[考核目标]1.知道一阶微分方程的类型及其解法;2. 知道Lipshitz条件和解的存在唯一性定理(柯西版本和Picard版本);3. 知道Picard定理的证明思路和过程;4. 会用Picard函数序列给出微分方程初值问题的近似函数解.5. 了解和掌握Graonwall积分不等式.1. 一阶微分方程类型及其初等解法小结(1)认识一阶微分方程:一阶线性方程(交换x,y或Bernoulli方程及其他可通过引入变量替换化为一阶线性方程的)、一阶可分离变量型方程(齐次方程以及其他可化为可分离变量型的)、一阶对称形式的恰当方程(通过引入积分因子可化为恰当方程的方程)一阶隐方程(可解出x或y的类型,以及x, y, y’只含有其中两个的方程类型)(2)解法常数变易公式、Bernoulli方程的变量替换分离变量方法、齐次方程的变量替换恰当方程的解法、积分因子的求法隐方程的求导法和参数法(3)例题上述提到的方程类型各举出一个例子来,并用上面的方法来求解,允许一题多解.(4)介绍一些可以化为微分方程来求解的函数方程和积分方程(参见上节讲义).(5)预告:下周二上午第一节课进行上一章测试,请相互转告.2. 必要准备:数学中的进化论生物上,比如水稻品种一代一代通过基因重组往高产优质方向优化,还有如下图片.在数学上也有类似的进化过程,下面就说一说.(1)考察三次代数方程 x 3+4x-2 0. 该方程没有有理根. 该方程只有唯一实根且落在[0,1]. 下面有两种思路来找到该方程的根.思路一:运用连续函数的零点定理, 记1] [0,]b ,[a 11=表示第一代;将]b ,[a 11平分为两个子区间,取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第二代,即]21 [0,]b ,[a 22=;将]b ,[a 22平分为两个子区间,取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第三代,即]21 ,41[]b ,[a 33=;将]b ,[a 33平分为两个子区间,取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第四代,即]21 ,81[]b ,[a 44=;... ... 这样下去,]b ,[a n n 越来越接近方程的根 x ≈ 0.473466,其中误差就是|a b |n n -.思路二:运用教材P89习题9的结论和证明过程,改写方程为x 42x -3=+,记42x f(x)3+-= 则方程就是f(x)x =,方程的根也就是函数f(x)的不动点. 可以验证f(x)满足教材P89习题9的条件(自行验证),于是方程的根存在且唯一,下面就用进化的思想来寻找方程的根.选取第一代1x 1=(这里可以选其他实数);经过进化机制(用f(x)作用一下)得到第二代25.0)f(x x 12==;再经过进化机制(用f(x)作用一下)得到第三代496094.0)f(x x 23≈=;再经过进化机制(用f(x)作用一下)得到第四代469477.0)f(x x 34≈=;再经过进化机制(用f(x)作用一下)得到第五代474131.0)f(x x 45≈=;再经过进化机制(用f(x)作用一下)得到第六代473354.0)f(x x 56≈=;... ... n x 越来越接近方程的根 x ≈ 0.473466.打个比方,把方程的根比作我们想要的某种属性的对象,我们可以通过迭代(进化)过程来把它造出来或找出来。

一阶微分方程的解的存在定理

一阶微分方程的解的存在定理

第三章 一阶微分方程的解的存在定理教学目的讨论一阶微分方程的解的存在与唯一性定理,解的延拓定理,解对初值的连续性与可微性定理,解对参数的连续性定理教学要求掌握存在与唯一性定理及其证明,会用皮卡逼近法求近似解,理解解对初值的连续性与可微性定理,解对参数的连续性定理,了解奇解及其求法。

教学重点几个主要定理的条件及其证明 教学难点逐次逼近法的应用及其思想;应用存在与唯一性定理及解的延拓定理来研究方程的解;奇解及其求法教学方法讲练结合教学法、提问式与启发式相结合教学法。

教学手段传统板书与多媒体课件辅助教学相结合。

课题导入在上一章我们讨论了一阶方程的解的初等积分法。

解决了几个特殊的方程。

但是,对许多微分方程,为22'y x y +=,不可能通过初等积分法求解,这就产生了一个问题,一个不能用初等积分法求解的微分方程是否意味着没有解呢?或者说,一个微分方程的初值问题在何种条件下一定有解呢?当有解时,农的解是否是唯一的呢?毫无疑问,这是一个很基本的问题,不解决这个问题对微分方程的进一步研究,就无从谈起,本章将重点讨论一阶微分方程的解存在问题的唯一定理,§3.1解的存在唯一性定理与逐步逼近法教学目的讨论Picard 逼近法及一阶微分方程的解的存在与唯一性定理,解的延拓定理,解对初值的连续性与可微性定理。

教学要求熟练掌握Picard 逼近法,并用它证明一阶微分方程初值问题解的存在与唯一性定理及其证明,会用Picard 逼近法求近似解, 教学重点Picard 存在唯一性定理及其证明教学难点逐次逼近分析法的应用及其思想.教学方法讲练结合教学法、提问式与启发式相结合教学法。

教学手段传统板书与多媒体课件辅助教学相结合。

一. 存在唯一性定理1.定理1,考虑初值问题),(y x f dxdy= (3.1)00)(y x y =其中f(x,y)在矩形区域R : b y y a x x ≤-≤-||,||00 (3.2)上连续,并且对y 满足Lipsthits 条件:即存在常数L>0,使对所有R y x y x ∈),(),,(21常存成立,|||),(),(|2121y y L y x f y x f -≤-则初值问题(cauchy 问题)(3.1)在区间h x x ≤-||0上解存在唯一,这里|),(|max ),,min(),(y x f M Mba h R y x ∈==证明思路:1.初值问题(3.1)的解存在等价一动积分方程⎰+=x x dy y x f y y 0),(0(3.5)的连续解。

3.1 一阶微分方程解的存在唯一性定理

3.1 一阶微分方程解的存在唯一性定理

第三章 一阶微分方程解的存在定理[教学目标]1. 理解解的存在唯一性定理的条件、结论及证明思路,掌握逐次逼近法,熟练近似解的误差估计式。

2. 了解解的延拓定理及延拓条件。

3. 理解解对初值的连续性、可微性定理的条件和结论。

[教学重难点] 解的存在唯一性定理的证明,解对初值的连续性、可微性定理的证明。

[教学方法] 讲授,实践。

[教学时间] 12学时[教学内容] 解的存在唯一性定理的条件、结论及证明思路,解的延拓概念及延拓条件,解对初值的连续性、可微性定理及其证明。

[考核目标]1.理解解的存在唯一性定理的条件、结论,能用逐次逼近法解简单的问题。

2.熟练近似解的误差估计式,解对初值的连续性及可微性公式。

3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。

§1 解的存在性唯一性定理和逐步逼近法微分方程来源于生产实践际,研究微分方程的目的就在于掌握它所反映的客观规律,能动解释所出现的各种现象并预测未来的可能情况。

在第二章介绍了一阶微分方程初等解法的几种类型,但是,大量的一阶方程一般是不能用初等解法求出其通解。

而实际问题中所需要的往往是要求满足某种初始条件的解。

因此初值问题的研究就显得十分重要,从前面我们也了解到初值问题的解不一定是唯一的。

他必须满足一定的条件才能保证初值问题解的存在性与唯一性,而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位,是近代常微分方程定性理论,稳定性理论以及其他理论的基础。

例如方程dydx=过点(0,0)的解就是不唯一,易知0y =是方程过(0,0)的解,此外,容易验证,2y x =或更一般地,函数20 0() c<1x cy x c x ≤≤⎧=⎨-≤⎩都是方程过点(0,0)而且定义在区间01x ≤≤上的解,其中c 是满足01c <<的任一数。

解的存在唯一性定理能够很好地解释上述问题,它明确地肯定了方程的解在一定条件下的存在性和唯一性。

解的存在唯一性定理

解的存在唯一性定理

一阶微分方程解的存在性定理的其它证明方法姜旭东摘要 本文在文[1]对一阶微分方程初值问题解得存在唯一性定理证明的基础上,应用压缩映像原理,Schauder 不动点定理,以及Euler 折线法,给出了一阶微分方程解得存在唯一性定理的其它几种证法.关键词 一阶微分方程 不动点定理 解的存在性 唯一性 1、引言微分方程来源于生活实际,研究微分方程的目的在于掌握它所反映的客观规律。

在文[1]第二章里,介绍了能用初等解法求解的一阶方程的若干类型,但同时指出,大量的一阶方程一般是不能用初等解法求解它的通解,而实际问题需要的往往是要求满足某种初始条件的解. 本文在文[1]对一阶微分方程初值问题解的存在唯一性定理证明的基础上,应用压缩映像原理,Schauder 不动点定理,以及Euler 折线法,给出了一阶微分方程解的存在唯一性定理的其它几种证法.考虑一阶微分方程 (,)dyf x y dx= (1.1)这里(,)f x y 是在矩形区域00:||,||R x x a y y b -≤-≤ (1.2)上的连续函数.函数(,)f x y 在R 上满足Lipschitz 条件,即存在常数L >0,使得不等式1212|(,)(,)|||f x y f x y L y y -≤- (1.3)对所有12(,),(,)x y x y R ∈都成立, L 称为Lipschitz 常数。

定理1.1、如果(,)f x y 在R 上连续且关于y 满足Lipschitz 条件,则方程(1.1)存在唯一的解()y x ϕ=,定义于区间0||x x h -≤上,连续且满足初始条件00()x y ϕ=这里min(,)bh a M=,(,)max |(,)|x y R M f x y ∈=.文[1]中采用皮卡逐步逼近法来证明这个定理.为了简单起见,只就区间00x x x h≤≤+来讨论,对于00x h x x -≤≤的讨论完全一样.分五个命题来证明这个定理:命题1、设()y x ϕ=是方程(1.1)定义于区间00x x x h ≤≤+上满足初始条件00()x y ϕ=的解,则()y x ϕ=是积分方程0(,)xx y y f x y dx =+⎰ 00x x x h ≤≤+ (1.4)的定义于00x x x h ≤≤+上的连续解.反之亦然. 现在取00()x y ϕ=,构造皮卡逐步逼近函数序列如下:0000100()()(,())x nn x x y x y f d x x x hϕϕξϕξξ-=⎧⎪⎨=+≤≤+⎪⎩⎰ (1.5)(n=1,2,…)命题2 、对于所有的n ,(1.5)中()n x ϕ在00x x x h ≤≤+上有定义、且满足不等式0|()|n x y b ϕ-≤命题3 、函数序列{}()n x ϕ在00x x x h ≤≤+上是一致收敛的. 命题4 、()x ϕ是积分方程(1.4)的定义于00x x x h ≤≤+上的连续解.命题5 、()x ψ是积分方程(1.4)的定义于00x x x h ≤≤+上的一个连续解,则()()x x ϕψ=,00x x x h ≤≤+.综合命题1—5,即得到存在唯一性定理.本文在方程(1.1)在满足定理1.1条件下,应用应用压缩映像原理,Schauder 不动点定理,以及Euler 折线法,给出了一阶微分方程解得存在唯一性定理的其它几种证法.2、预备知识定义 2.1、 定义在t αβ≤≤上的实值(m 维)向量函数族{}()F f t =,如果存在数M >0,使得对任一f F ∈,都有()f t M ≤,当t αβ≤≤时,则称函数族F 在t αβ≤≤上是一致有界的.定义2.2 、定义在t αβ≤≤上的实值(m 维)向量函数族{}()F f t =,如果对于任给的ε﹥0,总存在δ﹥0,使得对任一f F ∈和任意的12,[,]t t αβ∈,只要12|,|t t -<δ就有12()()f t f t -<ε则称函数族F 在 t αβ≤≤上是同等连续.定义2.3、设X 是度量空间,M 是X 中子集,若M 是X 中紧集,则称M 是X 中相对紧集。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

一阶线形微分方程解的存在唯一性定理的证明)()(x q y x p dxdy +=摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?首先,我们令f(x,y)=p(x)y+q(x) 这里f(x,y)是在矩形域R:上的连续函数.b y y a x x ≤-≤-00,函数f(x,y)称为在R 上关于y 满足利普希兹条件,如果存在常数L>0使不等式对于所有的 都成立,L 称2121),(),(y y L y x f y x f -≤-R y x y x ∈),(),,(21为利普希兹常数下面我们给出一阶线形微分方程(1)解的存在唯一性)()(x q y x p dxdy+=定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续)(x y ϕ=h x x ≤-0且满足初始条件:这里 00)(y x =ϕ),min(Mba h =),(max y x f M =R y x ∈),(我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只就区间来讨论,对于的讨论完全一样.h x x x +≤≤0000x x h x ≤≤-现在简单叙述一下运用逐步逼近法证明定理的主要思想,首先证明求微分方程的初值问题的解等价于求积分方程的连续解这里我们用f(x,y)=p(x)y+q(x)来[]⎰++=x x dx x q y x p y y 0)()(0替代,因此也就等价于求积分方程 的连续解,然⎰+=xx dx y x f y y 0),(0后去证明积分方程的解的存在唯一性.任取一个连续函数 代入上面的积分方程右端的y 就得)(0x ϕ到函数dx x x f y x xx ))(,()(0001⎰+≡ϕϕ显然也是连续解,如果那么就是积分方)(1x ϕ)(1x ϕ≡)(0x ϕ)(0x ϕ程的解.否则,我们又把代入积分方程右端的y 得到)(1x ϕ dxx x f y x xx ))(,()(0102⎰+≡ϕϕ如果 ,那么就是积分方程的解,否则我们继≡)(2x ϕ)(1x ϕ)(1x ϕ续这个步骤.一般地做函数 (2)dx x x f y x xx n n ))(,()(010⎰-+≡ϕϕ这样就得到连续函数序列,……)(0x ϕ)(1x ϕ)(x n ϕ如果那么就是积分方程的解,如果始终不发生这种≡+)(1x n ϕ)(x n ϕ)(x n ϕ情况,我们可以证明上面的函数序列有一个极限函数即)(x ϕ 存在因此对(2)取极限就得到)()(lim x x n n ϕϕ=∞→dxx x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+=ϕϕ =dxx x f y xx n n ))(,(lim 010⎰-∞→+ϕ =dxx x f y xx ))(,(00⎰+ϕ即 dxx x f y x xx ))(,()(00⎰+≡ϕϕ这就是说是积分方程的解,这种一步一步地求出方程的解的方法)(x ϕ就成为逐步逼近法,由(2)所确定的函数称为问题(1)的n 次近)(x n ϕ似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.命题1,设是一阶线形微分方程(1)的定义于区间)(x y ϕ=上的,且满足初始条件的解,则是积分方h x x x +≤≤0000)(y x =ϕ)(x y ϕ=程()的定义于上的连续解,反⎰+=xx dx y x f y y 0),(0h x x x +≤≤00h x x x +≤≤00之亦然.因为是一阶线形微分方程(1)的解故有)(x y ϕ=))(,()(x x f dxx d ϕϕ=两边从到x 取定积分得到0x dx x x f x x x x ))(,()()(00⎰≡-ϕϕϕhx x x +≤≤00把代上式,即有00)(y x =ϕ dx x x f y x xx ))(,()(00⎰+≡ϕϕhx x x +≤≤00因此, 是积分方程定义于上的)(x y ϕ=⎰+=xx dx y x f y y 0),(0h x x x +≤≤00连续解反之如果是积分方程的连续解,则有)(x y ϕ=⎰+=xx dx y x f y y 0),(0 (3)dx x x f y x xx ))(,()(00⎰+≡ϕϕh x x x +≤≤00微分之,得到))(,()(x x f dxx d ϕϕ=又把代入(3)得到0x x =00)(y x =ϕ因此是方程(1)的定义于 上且满足初始条件)(x y ϕ=h x x x +≤≤00的解.命题1证毕.00)(y x =ϕ现在取,构造皮卡逐步逼近函数序列如下:00)(y x =ϕ ⎪⎩⎪⎨⎧+==⎰-x x n nd f y x y x 0))(,()()(1000ξξϕξϕϕh x x x +≤≤00(n=1,2,…)(4)命题2 函数序列在上是一致收敛的{})(x n ϕh x x x +≤≤00证明:我们考虑级数 (5)[]∑∞=--+110)()()(k k k x x x ϕϕϕh x x x +≤≤00它的部分和为=[]∑=--+nk k k x x x 110)()()(ϕϕϕ)(x ϕ因此,要证明序列在上一致收敛,只需证明级数(5)在{})(x n ϕh x x x +≤≤00上一致收敛.为此,我们进行如下估计.由(4)有h x x x +≤≤00 (6))())(,()()(00001⎰-≤≤-xx x x M d f x x ξξϕξϕϕ及 ⎰-≤-xx d f f x x 0))(,())(,()()(0112ξξϕξξϕξϕϕ利用利普希兹条件及(6)得到⎰-≤-xx d L x x 0)()()()(0112ξξϕξϕϕϕ =ξξd x M L x x ⎰-≤0)(020)(!2x x ML-设对于正整数n,不等式nn n n x x n ML x x )(!)()(011-≤---ϕϕ成立,则有利普希兹条件,当时,有h x x x +≤≤00 ⎰-+-≤-x x n n n n d f f x x 0))(,())(,()()(11ξξϕξξϕξϕϕ⎰--≤xx n n d L 0)()(1ξξϕξϕ100)()!1()(!+-+=-≤⎰n n xx nnx x n ML d x n ML ξξ于是,由数学归纳法得知,对于所有的正整数k,有如下的估计(7)k k k k x x k ML x x )(!)()(011-≤---ϕϕh x x x +≤≤00从而可知,当时h x x x +≤≤00 (8)kk k k h k ML x x !)()(11--≤-ϕϕ(8)的右端是正项收敛级数∑∞=1!k kkk h ML的一般项,由维尔斯特拉斯判别法级数(5)在上一h x x x +≤≤00致收敛,因而序列也在上一致收敛,命题2证毕.{})(x n ϕh x x x +≤≤00命题3 是积分方程(2)的定义于上的连续解.)(x ϕh x x x +≤≤00证明: 由利普希兹条件)()())(,())(,(x x L x x f x x f n n ϕϕϕϕ-≤-以及在上一致收敛于,即知序列{})(x n ϕh x x x +≤≤00)(x ϕ{}{})(,()(x x f x f n n ϕ≡在上一致收敛于.因而对于(4)两边取极h x x x +≤≤00{})(,(x x f ϕ限,得到dxx x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+≡ϕϕ =⎰-∞→+xx n n d f y 0))(,(lim 10ξξϕξ即⎰+=xx d f y x 0))(,()(0ξξϕξϕ这就是说是积分方程(2)的定义于上的连续解.命)(x ϕh x x x +≤≤00题3证毕.命题4 设是积分方程(2)的定义于上的一个连)(x φh x x x +≤≤00续解,则 , )()(x x ϕφ≡hx x x +≤≤00证明:我们首先证明也是序列的一致收敛极限函数.)(x φ{})(x n ϕ为此,从0)(y x =ϕ (n=1,2,…)⎰+=xx n d f y x 0))(,()(0ξξϕξϕ ξξφφd x f y x xx ))(,()(00⎰+≡我们可以进行如下估计)()(,()()(000x x M d f x x xx -≤≤-⎰ξξφξφϕξξφξξϕξφϕd f f x x x x ⎰-≤-0))(,())(,()()(01 ξξφξϕd L xx ⎰-≤0)()(0 200)(!2)(0x x MLd x ML xx -=-≤⎰ξξ现设,则有n n n x x n ML x x )(!)()(011-≤---φϕ ξξφξξϕξφϕd f f x x xx n n ⎰-≤--0))(,())(,()()(1 ξξφξϕd L xx n ⎰-≤-0)()(1 100)()!1()(!+-+=-≤⎰n xx Nx x n MLd x n ML ξξ故有数学归纳法得知,对于所有的正整数n,有下面的估计式(10)10)()!1()()(+-+≤-n nn x x n ML x x φϕ因此,在上有h x x x +≤≤00 (11)1)!1()()(++≤-n n n h n ML x x φϕ是收敛级数的公项,故因而1)!1(++n n h n ML 0)!1(1→+∞→+n n h n ML n 时在上一致收敛于,根据极限的唯一性,即得{})(x n ϕh x x x +≤≤00)(x φ)()(x x ϕφ≡h x x x +≤≤00命题4证毕.综合1-4,即得到一阶线性微分方程解的存在唯)()(x q y x p dxdy+=一定理的证明.。

相关文档
最新文档