一类时滞Logistic方程周期正解的存在性
一致分数阶时滞微分方程边值问题解的存在性与唯一性
第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.。
一类高维时滞微分方程正周期解的存在性
K y wo d e r s:hg e— i n in;p st ep r dcs lt n;L ry S h u e h r aiep icpe ea ih rdme s o o iv ei i oui i o o ea —c a d ra en t rn il ;d ly v
记 ] 实数 集 , 为 非 负实数 集.考 虑如 下 n维 时滞微 分 方程 R为 R+
X ( )=A() ()+ ( , ( 一7 t ) t tX £ , £X解的存在性 , 其中
A( ): da ( l t ,2 t , ,, t ) t ig a ( ) a () … a ( )
是 对角 矩 阵 函数 ,对任 意 的 i ,, ,,a∈C :, ; 对任 意 的 t :12 … n ( R) 且 ∈R, 有 都
a( +T =a () t ) t ;
∈C R, ) 对 任意 的 t ( , ∈曼, 有 都
r t ) = rt ; ( +T ( )
f tX) (, ∈C( R×R ,R ) 对 任意 的 t , ∈R, X∈R , 有 f t 都 ( , , t ,) )= ( +TX . 文献 [ ] 1 应用锥 不 动点定 理 研究 了标 量方 程
Ab ta t s r c :Usn h r y Sc a d rn n i a le n t e t e a t o r v d t e e itn e o o i v e idi i g t e Le a — h u e o l ne ratr ai v h u h rp o e h x se c fp st e p ro c i
g∈C R+ R+ , 对任 意 的 ∈]+ 均有 0<z ( ≤L<∞ ; ( , )且 R , u ≤g ) /∈C R+ R+ ; 任 意 的 >0 均有 ( , )对 ,
应用数学毕业论文选题题目
应用数学毕业论文选题题目应用数学,是利用数学方法解决实际问题的一门学科,在经济金融、工程科技等领域都有应用。
如何对应用数学专业的论文进行选题呢?下面小编给大家带来应用数学毕业论文选题题目推荐,希望能帮助到大家!最新应用数学论文题目1、当前高中数学教学中应用数学史知识的调查研究2、应用数学模型评价Ⅱ类错(牙合)功能矫治后软硬组织的改变3、高师院校数学与应用数学专业学生数学文化素养的现状调查与分析4、高师院校数学与应用数学专业学生数学认识信念的调查分析5、职业学校数学教师关于教学中应用数学史的调查研究6、高校高等数学教学培养学生数学应用能力的研究和实践7、浅谈线性变换的对角化问题8、中美高中数学教材的数学应用水平的比较研究9、高中物理教学培养学生应用数学能力的方法与实践10、地方高师职前教师教育课程体系的构建11、应用数学力学方法研究沥青路面结构特性12、高师生数学认识信念的调查研究13、注重问题发现培养学生学习数学和应用数学的能力14、应用数学模型研究宁夏围栏内甘草的分布格局和土壤水分对甘草生长发育的影响15、培养中专生应用数学意识的研究16、数学史在数学概念教学中的应用研究17、高等应用数学系列教程出版项目的进度管理研究18、数学建模思想在小学数学教学中的应用研究19、拉曼光谱的数学解析及其在定量分析中的应用20、数学形态学及其应用21、数学形态学在信号处理方面的应用研究22、波利亚的数学解题思想及其在中学数学教学中的应用23、高中数学应用翻转课堂的实践研究24、中职数学教学中“学案导学”模式的应用研究25、初中数学教学中数学史应用开发研究26、基于MATLAB的数学实验系统的实现及应用27、信息技术在小学数学课堂教学中的应用研究28、数学形态学图象处理算法应用研究29、“学案导学”模式在中学数学教学中的应用研究30、波浪与建筑物作用的数学模型研究与应用31、模糊数学在膝关节骨性关节炎诊断和疗效评价中的应用32、非线性数学期望下的随机微分方程及其应用33、思维导图在小学六年级数学教学中的应用研究34、极限与极限思想在中学数学中的应用35、高中数学概念图教学的应用研究36、电子书包在小学数学学科教学中的应用研究37、《数学的发现》中的思想在中学数学教学的应用研究38、数形结合方法在高中数学教学中的应用39、高中数学教学中培养学生数学应用意识的实验研究40、高等数学方法在中学数学中的应用研究41、数学中的研究性学习42、经济问题中的概率统计模型及应用43、中学数学中的化归方法44、高斯分布的启示45、a2+b2≧2ab的变形推广及应用46、网络优化 7、泰勒公式及其应用47、浅谈中学数学中的反证法 9、数学选择题的利和弊48、浅谈计算机辅助数学教学 11、论研究性学习49、浅谈发展数学思维的学习方法50、关于整系数多项式有理根的几个定理及求解方法51、数学教学中课堂提问的误区与对策52、中学数学教学中的创造性思维的培养53、浅谈数学教学中的“问题情境”54、市场经济中的蛛网模型55、中学数学教学设计前期分析的研究数学与应用数学专业毕业论文题目1、初中生利用数学解决实际问题的教学研究2、初中生应用题“懂而不会”现象的原因分析与对策研究3、高中物理教学培养学生应用数学能力的方法与实践4、数学与数学文化对人类文明发展的作用5、数学史在高中数列教学中的应用探究6、高中生数学应用意识与应用能力培养7、数学思想对高中解析几何学习影响的研究8、高职院校工科学生数学应用意识及其培养研究9、高中数学教学渗透物理知识现状的调查研究10、应用数学模型评价Ⅱ类错(牙合)功能矫治后软硬组织的改变11、初中数学应用意识和能力的研究12、新课标数学中考的发展趋势13、培养中职生数学应用意识的教学对策研究14、高中数学应用题教学的调查和研究15、高师院校数学与应用数学专业学生数学文化素养的现状调查与分析16、高师院校数学与应用数学专业学生数学认识信念的调查分析17、数学史在中职数学教学中的应用研究18、职业学校数学教师关于教学中应用数学史的调查研究19、初中数学教学中数学史应用开发研究20、数理经济学史研究21、高中数学课程价值取向研究22、科学个案研究与中国科学观的发展23、审计判断研究24、数学建模的认知机制及其教学策略研究25、钱伟长治学理念及教育思想初探26、力学期刊群的内外关系与学科结构27、高师院校数学教师多元化、分层次培养方案设计与研究28、数学实验的历史考察与理论研究29、日本中小学数学综合学习研究30、高中开展数学建模活动的实验研究31、新课程标准视野下的数学建模研究32、中等职业学校数学应用教学模式研究33、培养中专生应用数学意识的研究34、新课程在初中数学教学实施中的几点体会35、将数学建模融入高中日常教学的实践研究36、基于“三环节”模式的教学设计研究37、培养初中生数学应用能力的教学研究38、师范生的培养研究39、中美高中数学教材的数学应用水平的比较研究40、数学史在高中数学课堂教学中的应用研究高等数学论文题目1、将数学建模的思想融入高等数学的教学2、初等数学与高等数学教学衔接问题的研究3、高等数学自主学习的问题与对策研究4、高等数学分层教学方法的实践研究5、信息技术与高等数学课程整合的实践研究6、高校高等数学教学培养学生数学应用能力的研究和实践7、《高等数学》网络课程设计与开发8、数学史在高等数学教学中渗透的研究9、高等数学视角下的中学数学教学研究10、对话理念下的高等数学教师课堂提问11、高职机电类专业高等数学课程改革与实践12、高等数学方法在中学数学中的应用研究13、高等职业技术学院学生《高等数学》满意度研究14、高职院校高等数学课程教学改革的研究15、基于云计算技术的《高等数学》网络教学设计16、基于“翻转课堂”的文科高等数学教学设计研究17、高职院校高等数学课程内容的调查研究18、高职教育高等数学课程教学内容与教学方法改革的研究19、高等数学探究式教学模式及其评价分析20、高等数学“研究性教学”的研究21、周期函数的判定22、阶的估计与应用23、一致连续的判定与应用24、N-L公式的推广与应用25、对称函数的条件极值26、多元函数极值的一阶微分判别法及多元函数最值的极限形式27、非线性时滞Josephson方程的概周期解28、一类二阶非线性系统概周期解29、一类含有概周期强迫项的二阶非线性系统的概周期解30、一类广义时滞Logistic方程的全局吸引性31、一类方程概周期解和有界解的存在性32、一类脉冲系统的周期解33、利用数列的上下极限来计算数列的极限34、Cauchy中值定理的反问题35、微分中值定理中间点的性质36、递推数列上界的判定方法37、曲线积分中间点性质38、开区间内有不可导点的Dabox定理39、最短路径与改进型Dijkstra算法?40、映射一致连续性的判别方法?41、函数高阶微分的表达式42、映射的性质与可积性的关系43、函数列一致收敛性的判定方法44、可数集合的判定方法45、映射对聚点的影响46、谈《几何画板》在几何教学中的作用47、数学CAI课件制作和使用48、反例在数学论证中的应用49、线性方程组解的再讨论50、二元域上对合矩阵的性质51、二次整环中因子分解的讨论52、形式幂级数半环的同余与同态53、具有相同正解的线性方程组的讨论54、矩阵方程的正解、半正解55、陪同矩阵的性质及其应用56、线性递推数列线性空间及其应用57、广义正交变换与广义对称变换的性质58、初等变换与向量组的极大无关组59、Cramer法则的应用60、杨辉三角中的行列式的性质及计算。
时滞微分方程解的存在性
时滞微分方程解的存在性时滞方程更能反映真实的自然现象,关于Banach 空间中具有整数阶物质导数的时滞微分方程解的存在性的研究已有了不少,包括积分方程最优控制,边值问题,方法也都类似,但对于分数阶导数的方程的研究不多。
可能是因为分数阶导数问题还没有被应用到更广泛的领域,或者是因为分数阶导数较整数阶研究更为困难。
一般研究微分方程是在实数空间内,为了使结果更具一般性,下面本文研究抽象空间中一般分数阶物质导数的方程解的存在性,从而得到一般性的结论。
为后文的工作做理论准备。
现有的研究分数阶导数的微分方程解的存在性的文章不多,事先查得的的一篇文章是研究整数阶的有时滞项的微分方程的解的存在性的。
由于分数阶导数和整数阶导数的性质有很大差异,研究整数阶导数方程的方法不能照搬到分数阶导数方程上,所以我们研究时加上了一条限制条件,即方程右端的非线性项的范数小于一个常数加上一个常数和解函数范数的乘积,之后用了皮卡迭代方法,得到一个函数序列,然后用数学归纳法证明此序列一致有界且等度连续,然后结合相关文献,就证明了上面得到的函数序列有弱收敛子列,最后证明弱收敛子列的极限函数就是方程的解。
从而证明了该方程解的存在性。
具体过程如下:令E 为Banach 空间,E*为其对偶空间并且E 0 =C([−h,0],E),上面的范数分别为:,* 和 0E ,0[,0]max ()t h E t ϕϕ∈-=,同时, 00(,){:},X X B y r y X y y r =∈-≤其中,X E =或0E ,(), 表示E 和E*中的元素的内积。
考虑如下Banach 空间分数阶微分方程的初值问题:00()(,),0,01,(2.0.1)t D u t f t u t u E ααψ⎧=≥<<⎪⎨=∈⎪⎩其中D α是Caputo 分数阶导数。
f:[0,+∞)×E 0→E 。
同时对于任意u ∈C([−h,0],E)函数0,0,t u E t ∈≥定义为成u t (s)=u(t+s),s ∈[−h,0]。
几类时滞微分方程解的振动性和正解存在性的开题报告
几类时滞微分方程解的振动性和正解存在性的开题报告时滞微分方程(Delay Differential Equations,DDE)是一种具有时滞项的微分方程,其解的振动性和正解存在性是研究时滞微分方程的重要问题之一。
本文将介绍几类时滞微分方程解的振动性和正解存在性的研究情况。
1. 时滞线性微分方程时滞线性微分方程是一种常见的时滞微分方程形式。
对于具有时滞项的线性微分方程,可以通过矩阵指数函数的方法得到其正解存在性,并进一步确定其解的振动性。
研究表明,当时滞项小于一定值时,时滞线性微分方程的解为渐近稳定的;当时滞项在一定范围内时,时滞线性微分方程的解会出现振荡;当时滞项超过一定值时,时滞线性微分方程的解将变得不稳定。
2. Michaelis-Menten型时滞微分方程Michaelis-Menten型时滞微分方程是一种具有广泛应用的时滞微分方程形式。
研究表明,在一定参数范围内,Michaelis-Menten型时滞微分方程的解存在且唯一,并且解的振动性是有限的。
此外,当时滞项的大小超过一定值时,该方程解将趋于无穷大。
3. Hopfield型神经网络模型Hopfield型神经网络模型是模拟神经网络的常用模型之一,也是一种具有时滞项的微分方程。
研究表明,在一定条件下,Hopfield型神经网络模型的解存在唯一,并且解的振动性也是有限的。
此外,当时滞项的大小超过一定值时,该方程解将趋于发散。
4. Logistic型时滞微分方程Logistic型时滞微分方程是一种描述种群生长和传染病传播的时滞微分方程形式。
研究表明,在一定参数范围内,Logistic型时滞微分方程的解存在唯一,并且解的振动性也是有限的。
此外,当时滞项的大小超过一定值时,该方程解将趋于无穷大或消失。
综上所述,时滞微分方程的解的振动性和正解存在性受时滞项大小和模型参数等因素影响。
研究时滞微分方程解的振动性和正解存在性对于深入理解时滞微分方程模型的特性,有助于应用时滞微分方程模型解决实际问题。
一阶时滞微分方程周期解的存在性
t t I ( )=一 ( ( —r )i s de , h rf ( R )a dr 0, n e slf e x t c f e o i S- - “ t ) s t i w ee eC R , n > a dan wr ut r h i e eo p r d O 厂 u d e t e sn o i c
Vo1 9 No 5 .1 .
S p. e 201 0
d i1 .9 9 ji n 1 7 o:0 3 6 /.s . 6 2—8 1 .0 0 0 . 1 s 5 3 2 1 .5 0 3
一
阶 时 滞 微 分 方 程 周 期 解 的存 在 性
张 绍康
( 昭通师范高等专科学校 数学系 , 云南 昭通 67 0 ) 5 00
定义 2 设 E是一个 H let 间 , c , i r空 b 曰c E .称 A, 曰是弱 环绕 的 ,如果对 E上满 足 Ⅱ:sp ≤ n u,
b=i I 0 n 的弱对 弱 连续泛 函 , 都存在 { f , “ }C E及常
数c 得 b 使 o≤ c< ∞ ,( c ,( 0 , I) t , I) t . 引理 18 设 E是 一个可 分 的 Hi et 间且它 l l r空 b
第 1 9卷 第 5期 21 0 0年 9月
云 南 民族 大 学 学 报 ( 自然 科 学 版 )
Junlo Y na nvrt o a oa ts N trlSi csE io ) ora f u nn U iesy fN t nli ( a a c ne dt n i i ie u e i
一类二维时滞差分系统正周期解的存在性
0 引言
众 所 周知 ,关 于泛 函微 分 方程 正 周 期解 存 在 性 的研 究 是非 常深 入广 泛 的 。最 近 ,关于微 分 方程 多
0 i ) ; ∈c z×R ], ) <a( <1 ( [ ;关于 第 二个 及第
三个变量是连续的, 且
立 ,其 中 n ,=12。 ∈Z i ,
’ I u .ig L AO H ayn ,XU Xi gy n ,H Q .h u a —a g U i o n z
(ag intueo E uai Naca g inx 3 09C ia J n x Istt f d ct n, nhn,ag i 02 ,h ) i i o J 3 n
第 3 第 2期 2卷 2 1 年 3 月 01
V 1 2 No o. . 3 2 Ma.0 1 r2 1
井冈山大学学报 ( 自然科学版 ) Jun l f ig a gh nUnv ri Na rl c n e o ra o n gn sa iesy( t a i c) J t u Se
Ab t a t B mp o i g afx d p i t h o e o e wep e e t o u c e t o d t n ih g a a t et e sr c : y e l y n e o n e r m i c n , r s n mes f in n ii swh c u r n e i t n s i c o h
+ O ,) f(,,) C Y = , n Y 成
下 面 引入一 些概 念和 几个 引理 :
个周期解存在性 的研究也备受关注,并取得 了一些 研 究成 1,] -1。刘 利 用 K ansl i不动 点 定理 20 rsoe ki s 研究了时滞微分系统 。) 一 ( xt+ (xt (, f () 1 ( = at ( f t (一 f …,(一 f )() f ) ) , ) )
一类带有传输时滞方程的概周期解存在性及其指数稳定性
关键字:记忆神经网络方程、非线性脉冲、概周期解、指数稳定性概周期函数又称殆周期函数,是周期函数的一种推广,具有某种近似周期性的有界连续函数。
概周期函数是在研究周期函数某种性质的基础上进一步提出来的。
概周期函数具有指数型二分性法,既从第一近似观点出发,在原点附近的非线性系统(式中的特征根的实部不为零),与它的线性部分有相同的拓扑结构,原因在于后者具有指数型二分性。
对于线性部分为变系数的非线性系统,当它的线性部分是概周期系统且其特征指数不为零时,r.j.萨克和塞尔研究了a(t)和其外壳的性质,得到具有指数二分性的条件。
为了得到及证明我们的结论,我们首先把方程中的变量统一到一些矩阵当中,这样可以极大地方便以后的证明。
为了使后面结论的证明更加清晰,我们把命题分解为两个分命题加以证明:(1)证明概周期解的存在性及唯一性;(2)证明概周期解的指数稳定性。
接下来就是对这两个分命题的证明。
由于命题的证明非常复杂以及要用到大量的定理,为了使推理过程中更加具有说服力及严谨性,我们在参考大量论文的基础上,引用了9大定理推论,为之后的证明作好铺垫。
在计算过程中,我们发现计算非常复杂,过程非常麻烦。
首先体现在给出的方程中,我们可以看到方程的构成是非常复杂的。
其次,后面又要涉及到大量该复杂方程的计算。
所以在经过研究思考之后,我们决定引进矩阵来进行简化,即将很多的平行变量放在同一个矩阵里面,使得到的新方程变得简洁对称,整理所得的新方程为:在给出相关的定理及推论时,这些定理适合的方程具有普遍性,而不是只限定于我们要研究的方程,使得该计算方法更有适用性。
此普适方程为:下面给出命题(1)与命题(2)证明中的关键步骤:命题(1):证明概周期解的存在性及唯一性。
如此就可以证明概周期解的存在性及唯一性。
命题(2):证明概解的指数稳定性。
令如此就可以证明概周期解的指数稳定性。
综上所述,即可证明概周期解的存在性、唯一性及其指数稳定性。
该证明有简单易理解的特点。
一类时滞模型周期正解的存在性问题
2 ) n) 1兰 ( = (z ) 一 ([
和
]
( 3 )
( 4 )
() 5
2 £=z£[() ( ) ()n£一∑b £ (一 )] l) £ r ) (
以及 乘 积 型 L gsi ; 程 [ 1 oi c h t - 1]
=
[f 【 一
i= 1
维普资讯
第1 卷 第3 9 期
。 。 年。 月
工 程 数 学 学 报
J OURNAL OF ENGI NEE NG ATHEM ATI RI M CS
v 19 。 。1N 3 .
Ag 。 u 。
文 章 编 号 :0 53 8 ( 0 2 0 —0 10 1 0 .0 5 2 0 ) 30 2 —5
一。Βιβλιοθήκη 非 线 性 泛 函分 析 中 的一 些 理 论 与 方 法 , 拓 扑 度 理 论 [ , ] 不 动 点 方 法 [ 迭 合 度 理 如 12 , ,
论 lJ 都 是研 究 周 期 解 的 重要 工 具 , 已有 不少 结 果 , 文 [ 3等 并 见 4~8 等 。 文 [ ] 用 迭 合 度 理 ] 7利
]
基金项目 oQ9 1 墼 日 20- - . 作者简介: 期: 55 蒲志林(93 1 年4 6 月生)男, , 博士, 副教授
: 川 省教 育 厅重 点基 金资 助 . 四
维普资讯
2 2
工
程 数 学
学
报
第 1 9卷
但 是 , 外 还 有 一 些 模 型 , 红 血 球 再 生 模 型 [, ] 另 如 61 2
散模 型 的 稳 定 性 和一 致 持 久 性 , 关 于 这 一 模 型 方 程 的 周 期 解 的存 在 性 问 题 , 未见 有 关 的 而 尚 结 果 。 文 以 非 线 性 锥 映 射 拓 扑 度 为 工 具 , 先 建 立 了 一 般 模 型 ( )存 在 正 周 期 解 的 条 件 , 本 首 2 并将 所 得 结 果 应 用 于 Nih l n Sbo l s模 型 ( ) 证 明 了 在 周 期 环 境 下 , c osn S c os ’ l i o wfe 8 , Ni l ’ h o bo l s 型 方 程 ( )存 在 周 期 解 。 lwfe 模 i 8
一类时滞微分方程非常数周期解的存在性及其个数估计
高校应用数学学报2010,25(2):134-140一类时滞微分方程非常数周期解的存在性及其个数估计郭志明(广州大学数学与信息科学学院,广东广州510006)摘要:应用变分方法与无穷维空间Morse理论研究方程˙x=g(x(t−r)),得到上述微分差分方程以4r为周期的非常数周期解存在性的条件,并且给出其个数的下界.因此为研究含有时滞的微分系统周期解的存在性提供了一种新方法.关键词:时滞微分方程;周期解;Morse理论;非共振中图分类号:O176.3;O175.7文献标识码:A文章编号:1000-4424(2010)02-0134-07§1引言考虑一阶时滞微分方程˙x=g(x(t−r)),(1)其中r>0是常数,x∈R,g∈C1(R,R).本文的基本假设是(g)g是奇函数,并且当x→∞时,g′(x)的极限存在,记为g′(∞),其中g′(∞)是有限数.对方程(1)周期解的研究可以追溯到Jones,Nussbaum及Kaplan和Yorke的工作.早在1962年, Jones就应用不动点理论对一个具体的方程周期解存在性给出了一些结果[1].在[2]中,Nuss-baum利用喷射不动点方法研究了方程(1)的周期解,而Kaplan和Yorke在[3]中利用与之耦合的常微分方程方程组,得出了方程(1)的2π周期解的存在性.后来温立志,陈永劭,葛渭高等分别对该方程进行了研究[4-6].1998年,李继彬与何学中首次应用临界点理论研究方程(1)的周期解的存在性,相关文献可参阅[7-8]等.在[7-8]中,作者将方程(1)满足一定对称条件的周期解问题转化为一个相应的Hamilton系统的周期解问题,进而应用临界点理论研究相应Hamilton系统周期解的存在性.但是我们注意到,在一个特定的函数空间上,方程(1)是具有变分结构的微分系统.2005年,郭志明与庾建设[9]对方程(1)的周期解问题在一个特定的函数空间上直接建立变分框架,并应用收稿日期:2008-09-14基金项目:国家自然科学基金(10871053);广州市教育局科技计划项目(62006)郭志明:一类时滞微分方程非常数周期解的存在性及其个数估计135伪指标理论得到了向量形式的方程(1)的周期解的多重性.2006年,Fei[10-11]应用指标理论对方程(1)作了更细致的讨论,得到了重要的研究成果.Morse理论是临界点理论的重要组成部分,它在研究具有变分结构的微分系统周期解存在性及其个数估计方面有着非常广泛的应用.而且一般说来,应用Morse理论得到的周期解含有更丰富的信息,如临界点的Morse指标或临界值的估计等.2000年,Abbondandolo在文[12]中介绍了一种新的无穷维空间Morse理论.一般说来,Hilbert空间上的强不定泛函,其临界点的Morse指标为无穷大.对于这类泛函无法直接应用经典的Morse理论,往往需要将所考虑的泛函约化到某个有限维空间上去讨论.Abbondandolo对Hilbert空间的子空间定义了一种相对维数,同时对泛函的临界点定义新的Morse指标,即E+-Morse指标.这样就可以直接在无穷维空间上应用其建立的Morse理论研究临界点的存在性及其个数.需要指出的是,这种相对Morse指标早在1995年与1997年,Fei与Qiu已经作了类似的研究[13-14].本文的目的就是利用变分方法与Abbondandolo介绍的E+-Morse理论来研究方程(1)的非常数4r周期解的存在性及其个数估计.为简单起见,取r=π2.对一般情形可以通过一个时间变换τ=π2r t,将方程变为r=π2的情形.先对方程(1)建立适当的变分框架,将(1)的2π周期解转化为相应泛函的临界点,然后应用Abbondandolo的E+-Morse理论,研究方程(1)的非常数2π周期解的存在性及其个数.定义1.1方程(1)的2π周期解x(t)称为非共振的,如果线性化方程˙v(t+π2)=g′(x(t))v的所有2π周期解组成的空间是由˙x(t)张成的.定义1.2方程(1)称为在无穷远处是非共振的,如果线性方程˙v(t+π2)=g′(∞)v不存在非零的2π周期解.定义1.3记τ(0)=14(g′(0)+1),称τ(0)为方程(1)关于0的旋转数.同理τ(∞)=14(g′(∞)+1)称为方程(1)在无穷远处的旋转数.记n(2π)为方程(1)的2π非常数周期解的个数.定理1.1假设函数g∈C1(R,R)满足条件(g),方程(1)的所有2π周期解是非共振的,并且方程(1)在无穷远处也是非共振的.则方程(1)的2π非常数周期解的个数n(2π)满足:n(2π)≥|[τ(∞)]−[τ(0)]|.(2)其中[τ(∞)],[τ(0)]分别表示τ(∞),τ(0)的最大整数部分.注1由假设(g),g(0)=0.从而x=0是方程(1)的2π周期解.如果方程(1)的所有2π周期解是非共振的,则简单计算可知,对于任意的正整数k,g′(0)=(−1)k(2k−1).类似地,如果方程(1)在无穷远处是非共振的,则对于任意的正整数k,g′(∞)=(−1)k(2k−1).从而可以得到如下推论.推论1.1在定理1.1的假设下,当g′(0)<g′(∞)时,方程(1)至少存在#({k∈Z|g′(0)<4k−1<g′(∞)})个非常数的2π周期解.当g′(∞)<g′(0)时,方程(1)至少存在#({k∈Z|g′(∞)<4k−1<g′(0)})个非常数的2π周期解,其中#(A)表示集合A所含元素的个数,Z表示整数集.注2在定理1.1中,方程(1)的所有2π周期解是非共振的这一假设条件是技术性的,该条件意味着方程(1)的2π周期解对应作用泛函的非退化临界点.应用退化临界点的Morse理论可以避136高校应用数学学报第25卷第2期免这一假设条件[15].§2变分框架与引理L2(R/2πZ,R)表示R上以2π为周期的平方可积函数组成的空间,简记为L22π.H12(R/2πZ,R)表示L2(R/2πZ,R)中12阶导数平方可积的函数组成的空间,简记为H122π.设u(t)∈H12(R/2πZ,R),有Fourier展开式u(t)=1√2πa0+1√π+∞∑k=1(a k cos kt+b k sin kt),其中a0,a k,b k∈R,k=1,2,···,+∞.由H122π的定义,有a20++∞∑k=1(1+k)(a2k+b2k)<+∞.∀u(1),u(2)∈H122π,定义内积为⟨u,u′⟩=a(1)0a(2)0++∞∑k=1(1+k)(a(1)ka(2)k+b(1)kb(2)k).在此内积下,H122π是Hilbert空间.∀u∈H122π,其范数为∥u∥=[a20++∞∑k=1(1+k)(a2k+b2k)]1/2.设E={u∈H122π|u(t+π2)=−u(t−π2),∀t∈R},(3)则E为H122π中闭线性子空间,因而是Hilbert空间.定义E上的泛函B(u)=12∫2π˙u(t+π2)u(t)d t,∀u∈E.B(u)在E上是Frechet可微的,设B′(u)为B在u的Frechet导数,则∀ξ∈E,B′(u)ξ=∫2π˙u(t+π2)ξ(t)d t.定义E上的线性算子L为(Lu,ξ)E=B′(u)ξ=∫2π0˙u(t+π2)ξ(t)d t,∀u,ξ∈E,则L是E上的自共轭线性算子.事实上,∀u,ξ∈E,(Lu,ξ)E=B′(u)ξ=∫2π0˙u(t+π2)ξ(t)d t=−∫2πu(t+π2)˙ξ(t)d t=−∫5π2π2u(t)˙ξ(t−π2)d t=−∫2π0u(t)˙ξ(t−π2)d t=∫2πu(t)˙ξ(t+π2)d t=(u,Lξ)E.考虑定义在E上的泛函Φ(u)=∫2π0[12˙u(t+π2)u(t)−∫u(t)g(s)d s]d t.(4)由关于g的假设条件可知,泛函Φ的临界点对应于方程(1)的2π周期解.这样,我们就把寻求方程(1)的2π周期解转化为讨论(4)的临界点的存在性.下面概括Abbondandolo关于空间相对维数的一些概念及E+-Morse指标的有关结论而不加证明,详细讨论参见[12,16].设E为实的Hilbert空间,E正交分解为E=E+⊕E−,E+与E−均可以是E的无穷维子空间.定义2.1E的两个闭子空间V,V′称为是可公度的(commensurable),如果商投影V′→E/V及V→E/V′都是紧的.郭志明:一类时滞微分方程非常数周期解的存在性及其个数估计137可公度性是E 的闭子空间上的等价关系.定义义2.2设V 是E 中与E −可公度的闭子空间.V 的E +维数定义为E +-dim V =dim V ∩E +−codim(V +E +)=dim V ∩E +−dim V ⊥∩E −.由可公度性的定义,上述和式中两个被加项都是有限数.例如,如果Y 是有限维的子空间且Y ∩E −={0},则E +-dim(E −⊕Y )=dim Y ≥0;如果Y 是E −中有限余维的子空间,则E +-dim Y =−codim E −Y ≤0.设F 是定义在E 上二次连续可微的泛函,d 2F (u )表示F 在u 的二阶Frechet 导数,则d 2F (u )可以看作E 上有界线性的自共轭算子.假设u 是F 的临界点,即F ′(u )=0,如果d 2F (u )是可逆的,则称u 为F 的非退化临界点.定义2.3设u 为F 的非退化临界点,并且d 2F (u )的最大负特征子空间V −与E −是可公度的,则u 的E +-Morse 指标(记作E +-m (u ))定义为E +-m (u )=E +-m (u ;F )=E +-dim V −.∀u ∈E ,令u (t )=1√2πa 0+1√π+∞∑k =1(a k cos kt +b k sin kt ).由于u (t +π2)=−u (t −π2),直接计算可得a 0=0,a 2k =b 2k =0,k ∈N .因此u 可以表示为u (t )=+∞∑k =1(a k cos(2k −1)t +b k sin(2k −1)t ),∀t ∈R .令E k =span {cos(2k −1)t,sin(2k −1)t },则E =+∞⊕k =1E k .记E +=+∞⊕k =1E 2k ,E −=+∞⊕k =1E 2k −1,则E =E +⊕E −.考虑定义在E 上的泛函Φ(见(4)).由于g ∈C 1(R ,R ),Φ在E 上是二阶Frechet 可微的,且对于任意的u ∈E ,Φ′(u )ξ=∫2π0[˙u (t +π2)ξ(t )−g (u (t ))ξ(t )]d t,∀ξ∈E ;⟨d 2Φ(u )v,ξ⟩|E =∫2π0[˙v (t +π2)−g ′(u (t ))v (t )]ξ(t )d t,∀v,ξ∈E.定义2.4方程(1)的2π周期解x ∈E 称为在E 中是非共振的,如果线性化方程˙v (t +π)=g ′(x (t ))v 包含在E 中的所有2π周期解组成的空间是由˙x (t )张成的.定义2.5方程(1)称为在无穷远处是E 中非共振的,如果线性方程˙v (t +π2)=g ′(∞)v 在E 中不存在非零的2π周期解.由定理1.1的假设条件,0是泛函Φ在E 上的临界点,并且是非退化的.事实上,若∀ξ∈E ,⟨d 2Φ(0)v,ξ⟩|E =0.我们有˙v (t +π2)−g ′(0)v (t )=0,从而v =0.考虑E 上的有界自共轭算子d 2Φ(∞),d 2Φ(∞)定义为d 2⟨Φ(∞)v,ξ⟩|E =∫2π[˙v (t +r )−g ′(∞)v (t )]ξ(t )d t,∀v,ξ∈E.138高校应用数学学报第25卷第2期若d2Φ(∞)最大负特征子空间为V−∞,则d2Φ(∞)在无穷远处的E+-Morse指标定义为V−∞的E+维数,即E+-m(∞)=E+-dim V−∞.应用[16]中Theorem5.2.1的证明方法,可得如下引理.引理2.1假设函数g∈C1(R,R)满足条件(g),方程(1)的所有2π周期解在E中是非共振的,并且在无穷远处也是E中非共振的.则下面的Morse关系式成立λE+−m(0)+(1+λ)W(λ)=λE+−m(∞)+(1+λ)Q(λ).(5)其中W(λ),Q(λ)是具有非负系数的形式Laurent级数,并且设W(λ)=+∞∑l=−∞w lλl.若w l>0,则方程(1)存在w l个非常数的2π周期解.§3主要结论的证明定理1.1的证明将引理2.1中的Morse关系式改写为λE+−m(0)−λE+−m(∞)=(1+λ)B(λ).(6)设W(λ)=∑j w jλj,Q(λ)=∑jq jλj,B(λ)=∑jb jλj=∑j(q j−w j)λj.由于q j≥0,w j≥0,若b j<0,则w j=q j−b j≥−b j>0.记m(2π)为方程(1)在E中非常数2π周期解的个数.则n(2π)≥m(2π)=∑j w j≥−∑b j<0b j.记B−=−∑b j<0b j.下面我们计算B−.首先计算E+-m(0).令⟨d2Φ(0)v,ξ⟩|E=∫2π[˙v(t+π2)−g′(0)v(t)]ξ(t)d t,∀v,ξ∈E.d2Φ(0)的最大负特征子空间记为V−0.考虑特征值问题:˙v(t+π2)−g′(0)v=λv,v∈E.(7)容易求得,λ(0)k=(−1)k(2k−1)−g′(0),∀k=1,2,···.由于方程(1)的所有2π周期解在E中是非共振的,故∀k=1,2,···,λ(0)k=0.当g′(0)≥0时,λ(0)2k−1<0,k=1,2,···,并且当k≤[τ(0)]<14(g′(0)+1)时,λ(0)2k<0.k>[τ(0)]时,λ(0)2k>0.易知V−0=E−⊕E2⊕E4⊕···⊕E2[τ(0)].因此E+-m(0)=2[τ(0)].当g′(0)<0时,λ(0)2k >0,k=1,2,···,并且当k>−[τ(0)]时,λ(0)2k−1<0.k≤−[τ(0)]时,λ(0)2k−1>0.因此V−0=+∞⊕k=−[τ(0)]+1E2k−1.V−0在E−中的正交补空间为(V−0)⊥|E−=E1⊕E3⊕···⊕E−2[τ(0)]−1.郭志明:一类时滞微分方程非常数周期解的存在性及其个数估计139从而E+-m(0)=2[τ(0)].同样,当g′(∞)>0时,E+-m(∞)=2[τ(∞)];当g′(∞)<0时,E+-m(∞)=2[τ(∞)],其中,τ(∞)=14(g′(∞)+1).现考虑Morse关系式(6).不妨设g′(∞)>g′(0),g′(∞)≤g′(0)的情形可类似讨论.将Morse关系式改写为λ2[τ(0)]−λ2[τ(∞)]1+λ=B(λ).(8)则B(λ)=λ2[τ(0)]2([τ(∞)]−[τ(0)])−1∑i=0(−1)iλi.显然,B(λ)中,λ的奇次幂前的系数为−1,而偶次幂前的系数为+1.因此B(λ)中负系数的和B−为B−=[τ(∞)]−[τ(0)].(9)定理1.1证毕.推论1.1的证明当g′(0)<g′(∞)时,τ(0)<τ(∞),从而[τ(0)]≤[τ(∞)].根据定理1.1,方程(1)至少存在[τ(∞)]−[τ(0)]个2π周期解.不妨设[τ(0)]=j<j+1<···<j+l=[τ(∞)].记A={k∈N|g′(0)<4k−1<g′(∞)}.我们将证明#(A)=l.事实上∀p=1,2,···,l, [τ(0)]<j+p≤[τ(∞)].由于τ(0)与τ(∞)不能取整数,所以τ(0)<j+p<τ(∞).由τ(0)与τ(∞)的定义,g′(0)<4(j+p)−1<g′(∞).这说明,j+p∈A.因此,#(A)≥l.另一方面,∀k∈A,g′(0)<4k−1<g′(∞),即τ(0)<k<τ(∞).从而,[τ(0)]<k≤[τ(∞)].即存在p=1,2,···,l,使得k=l+p.因此,#(A)≤l.当g′(0)>g′(∞)时,可以类似地证明.推论1.1证毕.注3在[3]中,Kaplan与Yorke研究了方程˙x=−f(x(t−1))(10)以4为周期解的存在性.他们假设f是奇函数,并且limx→0f(x)x=α,limx→∞f(x)x=β.则当α<π2<β或β<π2<α时,方程(10)至少存在一个4周期解.作时间变量变换t=2πs,并令y(s)=x(2πs),则方程(10)变为y′(s)=−2πf(y(s−π2)).(11)令g=−2πf.应用推论1.1的结论,我们有推论3.1方程(10)存在m个以4为周期的周期解,其中m=#({k∈Z|α<π2(1−4k)<β}),或m=#({k∈Z|β<π2(1−4k)<α}).显然,推论3.1推广了[3]的结论.参考文献:[1]Jones G J.The existence of periodic solutions of f′(x)=−af(x−1)[1+f(x)][J].J MathAnal Appl,1962,5:435-450.140高校应用数学学报第25卷第2期[2]Nussbaum R D.Periodic solutions of some nonlinear autonomous functional differentialequations(II)[J].J Differential Equations,1973,14:368-394.[3]Kaplan J L,Yorke J A.Ordinary differential equations which yield periodic solution of delayequations[J].J Math Anal Appl,1974,48:314-324.[4]Wen Lizhi,Xia Huaxing.Existence of periodic solutions for differential difference equationswith two time lags[J].Scientia Sinica Ser A,1988,31:777-786.[5]Chen Yongshao.The existence of periodic solutions of the equation˙x(t)=−f(x(t),x(t−1))[J].J Math Anal Appl,1992,163:227-237.[6]葛渭高.微分差分方程x′(t)=f(x(t−1))简单周期解的个数[J].数学年刊A辑,1993,14:472-479.[7]Li Jibin,He Xuezhong.Multiple periodic solutions of differential delay equations created byasymptotically Hamiltonian systems[J].Nonlinear Analysis TMA,1998,31:45-54.[8]Li Jibin,He Xuezhong.Proof and generalization of Kaplan-Yorke’s conjecture on periodicsolution of differential delay equations[J].Science in China Ser A,1999,42:957-964.[9]Guo Zhiming,Yu Jianshe.Multiplicity results for periodic solutions to delay differentialequations via critical point theory[J].J Differential Equations,2005,218:15-35.[10]Fei Guihua.Multiple periodic solutions of differential delay equations via Hamiltonian sys-tems(I)[J].Nonlinear Analysis TMA,2006,65:25-39.[11]Fei Guihua.Multiple periodic solutions of differential delay equations via Hamiltonian sys-tems(II)[J].Nonlinear Analysis TMA,2006,65:40-58.[12]Abbondandolo A.Morse theory for asymptotically linear Hamiltonian systems[J].NonlinearAnalysis TMA,2000,39:997-1049.[13]Fei Guihua.Relative Morse index and its applications to Hamiltonian systems in the presenceof symmetries[J].J Differential Equations,1995,122:302-315.[14]Fei Guihua,Qiu Qingjiu.Periodic solutions asymptotically linear Hamiltonian systems[J].Chin Ann Math Ser B,1997,18:359-372.[15]Benci V.Estimate of the number of periodic solutions via the twist number[J].J DifferentialEquations,1997,133:117-135.[16]Abbondandolo A.Morse theory for Hamiltonian systems[A].Research Notes in MathematicsSeries,425[C].London:Chapman&Hall/CRC,2001.Existence and estimate of the number of nontrivial periodic solutionsfor delay differential equationsGUO Zhi-ming(College of Math.and Info.Sci.,Guangzhou Univ.,Guangzhou510006,China)Abstract:In this paper,by using variational methods and infinite dimensional Morse theory, a sufficient condition is obtained for the existence of multiple nontrivial4r-periodic solutions to the following delay differential equations˙x=g(x(t−r)).A lower bound of the number of periodic solutions is also given.As a consequence of this paper,a new method is introduced for investigating the periodic solutions of delay differential equations.Keywords:delay differential equations;periodic solutions;Morse theory;nonresonanceMR Subject Classification:34K10。
一类具有分布时滞的p-Laplacian中立型泛函微分方程周期解的存在性
2 存 在 常数 r ) I>0 r ,2>0 m >0和 d≥ 0, 得 , 使
() 。“ ≤ g / ≤ r l I, / >d i rIl (, ) u V I l ; ,
(i g H >0 ( u (, i )u ( ) 或 gI 1 )<0 , 1J ; ) V I >d 1 ,
3 存 在 常数 s >0 使 得 ) ,
【 ()I+d2 一 + 6] ) 一 t J
D =
【’)卢 z > [二tI+d <… ( +I ) ’ r卢 。 】 m 。( J . J
4) 卜歹 条 件 之 一 成 立 : U
c =・ p, i 一旦 』 , n
其 , f. 中 = 1
、X2I
再将 方程 ( )改为下 列形式 2
rA 。 ()= (zt )= l () (x ) t () t
() t
㈤ :- ) () c( 一 ) 厂 ( ( c) )『 ) g0
.
)e )( +
其 中 , +一 :1 得 出 £ 1 (): ( () ( ) 是方程 ( )的一个 周期 解 , .£ , £ ) 3 则 。t 是方 程 ( )的一个 () 2
c n中立 型泛 函微 分 方程 l a
(,( 一 £ o) 十 ( ) £+ ( f s ms = ( ( £ c 一9 ( gf +) ( ) e ) , ) ( ) ) ( d )
( 1 )
的周期 解 的存 在性 问题 , P> 在 2的条 件下 , 用 重 合 度理 论 获 得 了方程 ( ) 少存 在 一 个 周 期解 的充 分 利 1至
从 而推 广 和改进 了文献 [ ]的相 关结 果. 5
1 准 备 知 识
中北大学毕业设计题目
类型 论文或设计
备注
一类非线性特征值问题正解的存在性 带导数项的非齐次边值问题正解的存在性 一类时滞微分方程边值问题正解的存在性 一类半正边值问题正解的存在性 非线性p-laplacian型方程组边值问题正解的存在性 凸函数在不等式证明等方面的应用研究 一类分数阶微分方程解法的研究和讨论 分数阶控制系统的研究分析 一类网络控制系统的研究 几个矩阵函数的计算及其在控制系统方面的应用 一类非线性方程边值问题的几何方法 线性整数与分数阶微分方程的微分算子方法研究和讨论 线性与非线性扩散方程的解法讨论和应用 疾病流行的潜伏期、患病期估计 微分方程模型的参数估计 统计方法来研究手足口病的传播 反应扩散模型的线性稳定性分析 吉林牛布鲁氏病动力学的研究与分析 媒体宣传效应对传染病传播的影响 SIR”对逼近”传染病模型的Markov过程建模及分析 网络下的产品推荐系统建模与分析 一类高阶微分方程的解的全局结构 变分方法在一类时标动力学方程中的应用 一类非线性非局部问题的变号解 一类减算子的不动点定理及其应用 一类时标上半正动力学方程的正解存在性
教授 教授 教授 教授 教授 教授 教授 教授 教授 教授 讲师 讲师 讲师 讲师 讲师 讲师 讲师 讲师 讲师 讲师 讲师 讲师 讲师 助教 助教 助教 助教 助教 助教 讲师 讲师 讲师
类型 论文或设计 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文
类型 论文或设计 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文 论文
变时滞脉冲Logistic型方程周期正解的存在性
t+ kg
+ 。
( ) ( ) 周 期 序 列 , 即存 在 正 整 数 g使 得 H2 是
= ,
且 >一1k=12… ; , ,,
维普资讯
第2 O卷 第 2期 20 0 8年 6月
湖 南 文 理 学 院 学 报 ( 然 科 学 版) 自
J u n l f n n U ie s yo rs n c n eNau a c n eE i o ) o r a a n v ri A t a d S i c ( t r l i c dt n o Hu t f e S e i
.
本 文 在 一 种特 殊 形 式 的脉冲 扰 动 下 ,运 用 K. 集压 缩算 子抽 象连 续 性原 理考 虑更 为一 般 的具 有脉 冲效 应 的变 时滞 周期 L gsc型方程 o ii t
引理 1】 【 假设条件( )( 3 6 H1 H ) 一 成立, 则式() 2 1 和( ) 的所有 解在 [ O) 有 定义且 在 [, ) 都 为正 的. 一, 上 O OO 上 O
对方 程 () () 变 换 : ut=I ( 1和 2作 ( nyt ) ),则 方 程
变 为:
维普资讯
第 2 期
杨 秋鸿 ,张锐锋 ,冯春 华 变 时滞脉冲 L gsc型方程周期正解的存在性 o ii t
1 9
, = (一 ( “ - i)‘ 一 ( r)a)‘  ̄bt“ f f t ) e ( e
y = O O >0 S 一 ,】 ∈C( D, () () , ) , E[ D, ( [ ,】 ) 一 R
一类中立型积分微分方程概周期解的存在性和唯一性
周期解 的存在唯一性定理 , 我们也推广了相关文献的主要结果.
1 主 要 结 果
定义 1 - : 设 “R [s 7] :一尺 关于 t 是连续 的, 若对任意的 占 0 j = ( > 使得任一长为 z > , ff ) 0, 的区间上 至少含有一个 o= ) r ( 使得对任意 t R都有 ∈
( ) 】 A() + c( ,) s + P ( ( 一丁() )+b t f) = f ( ) s ( ) f £ £ ) ()
,
周期解 的存 在性 和唯一 性 问题.由于周期 函数是 概 周 期 函数 的 特例 , 因而 讨 论微 分 方 程 的概 周期 解 具有 更
( = ( t+f (, xsd+ t (— t) + ( t A ( ! t )()s g(, t ( ) bt ) ) ) C s r) ) …
f
( = (,( )() !∞ (, xsd+ , t r t) + ( t A t t t+f t )()s g( — )) bt ) ) s C t( ( )
I(+ 一 ( l t ) “f u )
成立 , 则称 u t关 于 t () 是概 周期 的. 定义 2 侧 : 设 ∈R , t是 n×n连续 矩 阵 , 性 系统 Q() 线
()=Q() () t tx t () 2
在 R 满足指数型二分性是指存在常数 k 0 > > , 0及投影 P使系统( ) 2 的基本解矩阵 X t满足 ()
(. 1 河池学院
[ 摘
要] 考虑具连续时滞和 离散 时滞的 中立型积分微 分方程
二 £ ( () A t 』 ) s P ( q£ )6) d )蓍 ( £】 ( ) (s (d ( t ') +( (+ 【 q 一 ) = m(+ , ) , -i ) £ (
时滞Nicholson飞蝇方程的正概周期解的不存在性、存在性和唯一性
去描述澳大 利亚绿头苍蝇的数量并 且与文献『 中的实验数据相 2 ] 吻合 , 这里 () t t是 时刻绿 头苍蝇 的数量 , 口是每头苍蝇 的 日产 卵数 的 最 大值 . 是苍蝇以最大速度繁殖 的数量 , 每天 的成年 死亡率 , 是
A
是 辈次 . 方程 (.) 1 被称为 N co o 1 i l n飞蝇模型 。 hs 在许多生物与生态动力 系统 中环境的变化起 着至关 重要 的作用 . 然而 、 自然问题 中 周期或 在 概周期现象 是很普遍 的。 去考虑 Nc o o 飞蝇 模型 的一般 形式是 i ln hs
一
这里 d f, ( () 30和 £ / () 都是定义在吼 ’ 上的连续概周期 函数 ,> , Ax≤ ; / 0 x 在常微 分和泛 函微分方程的定性理论分析 中 . 究周期解 和概周期解 研 () 2 对于任 意的 ∈ p满 足 “ e ≤卢 e l () 0卢 l£> ≤ 】 ( = l > ,l () 的存在性 问题 已经变成 了一个热点 , 并且其在物理科学 中有显著地作 O , ) 对于任意 0 t 1存在 = ( > 使得 A( ) 1r tx << , £ )O , t ≥(+1 A 。 x ) 用。 大多数研究周期解 的一般方式是 Ma hn延拓定理 、cad r 动 wi Shu e不 则 A被称 为 e 凹算子 。 一 点定理 、ru e 不动点定 理和 Krsoesi锥 不动 点定理 ( f一 BoW r ansl i k 见 9 定 义 2 P是一个立体 , : —P . 7 A P 。对于任意的 x 0 O t l如果 > ,<< , l1 但是所有这些理论都是被 一些压缩条件控制 , 3) 。 然而 , 紧性会带来 A( ) tx, A是强次线性的。 t > A 则称  ̄ 其他的制约。 另外 , 概周期是周期的一般化 , 已经失去了周期的一些好 引理 21 P是一个立体 ,> . e 0和 : P, 严+ 如果 A是强次线性 的, 的性质 例如无论在常微分系统还 是泛函微分 系统 中 , 若周期 系统 的 则 A是 e 凹的。 一 解是有界 的. 则这个解一定是周期解 但是这个性质对 于概周期系统 为了方便 , 我们定义一些概念。 就是错误 的( 4) 见[ 。因此去发现概周期解存 在的充分条件 , 比周期 1 要 A ( , ) I( :() c 吼 吼 ,() P 吼 = x t x t E ( , ) 是一个概周期 函数 } ) 。 解困难 主要 的原因是紧性条件不适用于概周期方程族 . 出于这个原 x A ( ,_ 1 t= p (I 5Sl ) s x )则A ( 吼 ) 是一个以 tl (I ) 因. 大多数被 紧性条件控制的方式都不能去用来解 决概周期 问题 。例 Y e P , )g( (U u £, P , + ∈ r 9 如. 可以通过 A zl- cl引理证明以下的引理对 于周期 系统 是正 确 reaAsoi 为范数 的完备空间。 V ( ∈ ( , )令 i m i ) 1 = a £。 i ) A 孵 t P , 。 (  ̄ m x ( = t 1。 ) 的 . 是对 于概周期系统是错误的。 但 引理 1 () ( ; 是一个 周期函数族 , . 1 cc 吼 吼) 其周期 T O若 存 >, 引理 2 P . 2 是一个定义在实数完备空 间 上 的正规锥 , 一 :
一类高阶非线性中立时滞微分方程不可数个有界正解的存在性
辽宁师范大学硕士学位论文一类高阶非线性中立时滞微分方程不可数个有界正解的存在性姓名:***申请学位级别:硕士专业:应用数学指导教师:***2012-04一类高阶非线性中立时滞微分方程不可数个有界正解的存在性作者:于虹学位授予单位:辽宁师范大学引用本文格式:于虹一类高阶非线性中立时滞微分方程不可数个有界正解的存在性[学位论文]硕士 2012河南大学硕士学位论文基于改进遗传算法的模糊聚类研究及应用姓名:朱长江申请学位级别:硕士专业:应用数学指导教师:申石磊2011-05摘要在基于目标函数的聚类算法中,模糊C-均值聚类算法的理论最为完善、应用最为广泛。
从理论上说,它通过迭代的爬山技术来寻找问题的最优解,是一种局部搜索算法。
因此它有一个明显的缺点,就是容易受初始值的影响而陷入局部极小值。
遗传算法是一种应用广泛的全局优化算法,它具有简单、通用、抗噪能力强等特点,是一种与求解问题不相关的算法模式。
正是由于遗传算法的这些优点能够解决模糊C-均值聚类算法对初始化敏感的问题。
因此,把模糊C-均值聚类算法与遗传算法配合起来使用,既可以发挥模糊C-均值聚类算法的局部搜索能力又充分照顾了遗传算法的全局寻优能力,从而提高混合算法的收敛速度并更好地解决聚类问题。
通过阅读大量文献资料,并对模糊聚类算法、遗传算法以及其他相关算法的理解吸收和研究,本文提出了一种基于改进遗传算法的模糊C-均值聚类算法。
论文的主要工作如下:(1) 基本遗传算法的改进。
在遗传算法中根据各个个体到当前最优种子的距离把种群划分成优势种群、次优种群两部分,并分别采用不同的遗传进化策略对两种群分别进行进化。
在选择策略方面,采用了精英保留和轮盘赌混合策略,且与以往不同的是让精英个体参与下一代遗传操作,从而保证了算法的收敛性,确保了遗传进化的稳定性,抑制无效解的扩散,提高了对聚类中心的搜索效率。
交叉变异方面,优势种群主要以交叉为主,次优种群以变异为主,保证了种群的平均适应度和种群的多样性。
具有不确定奇性的Liénard方程周期正解的存在性
2021,41A (3):686-701数学物理学报http: // a ct a 具有不确定奇性的Lienard 方程周期正解的存在性鲁世平**周诗乐余星辰收稿日期:2020-05-06;修订日期:2020-08-21E-mail: ********************; *******************; ********************基金项目:国家留学基金(201908320531)和江苏省研究生科研创新项目(SJKY19_0957)Supported by the China Scholarship Council Project(201908320531) and the Project of Inno vation in Scientific Research for Graduate Students of Jiangsu Province(SJKY19_0957)*通讯作者(南京信息工程大学数学与统计学院南京210044)摘要:该文讨论了下述具有奇性的Lienard 方程X (t ) + /(x )X -甲(t)X (t ) + 弓;?”)= 0周期正解的存在性,其中/ : (0, +x ) t R 为连续函数,且允许其在原点处具有奇性,函数 az e L ([0,T ],R )都是 T -周期的,“ 6 (0, +x ), 5 e (0,1]为常数.函数 a (t )“(t )在 [0,T ]上可变号•利用重合度拓展定理证明了上述方程至少存在一个T -周期正解.关键词:周期解;奇性;拓展定理;重合度理论.MR(2010)主题分类:34B16; 34K13; 34C25 中图分类号:0175.2 文献标识码:A 文章编号:1003-3998(2021)03-686-161引言奇性微分方程来源于物理学、力学、生物学等领域,例如专著[1]给出了很多奇性微分 方程在不同学科领域中的应用事例.1987年,Lazer 和Solimini 在文献[2]中研究了奇性 方程x 〃 土 X - = p (t ) (门)周期问题,利用截断函数以及Schauder 不动点定理,他们得到了方程(1.1)周期解存在的充 要条件.受此影响,越来越多的学者投身于具有吸引型或排斥型奇性的二阶微分方程周期解 的研究,参见文献[3-15].近年来,我们注意到具有不确定奇性的二阶微分方程x 〃沪鶉(1.2)的周期解问题受到了学者们的广泛关注[5-19],其中0是常数,a 是可变号的T -周期 函数.在这种情况下,当a (t ) > 0时,方程(1.2)具有排斥型奇性;而当a (t ) < 0时,方 程(1.2)具有吸引型奇性.此外,当函数a 在某些子区间恒等于零时,方程的奇性项就消失No.3鲁世平等:具有不确定奇性的Lienard方程周期正解的存在性687了.因此,方程(1.2)的恢复力项磐在x=0处的奇性被称为是不确定型的.此类方程常被用来描述许多重要的物理运动(例如在分子动力学中,用于模拟原子粒子之间的相互作用[20-211;在通讯技术中,可描述导波在光纤中的传播[22]).相较于a(t)恒大于零或恒小于零的情形,方程(1.2)的动力学性质更加复杂.文献[18]表明了集合刀0={x E C t:x"(t)入a(t)x"(t),入E(0,1],x(t)>0,t E[0,T]}在C t中不存在先验正下界和先验上界.在文献[23]中,作者研究了方程x"(t)+f(x(t))x'(t)+^(t)x(t)a(t)x"(t)(1.3)的周期解问题,其中/:(0,+Q-R是一个连续函数且允许其在x=0处有奇性,函数a用E L([0,T],R)为T-周期的,“E(0,十8)是一个常数.在0>0和a>0的情况下,作者证明了存在常数Y0>0,M>0和M i>0使得Y o<u(t)<M,maxt e[0,T]|u z(t)|<M i,V u E刀i.(1.4)此处S1={x E C T:x"(t)+入f(x(t))x'(t)—入0(t)x(t)+入;:;)=0,入E(0,1],x(t)>0,t E[0,T]}.(1.5)从(1.4)式可知,集合D既有先验正下界,又有先验上界,这与文献[18]的情形完全不同.受上述文献的启发,本文将继续研究具有不确定奇性的Lienard方程x〃(t)+f(x(t))x'(t)—0(t)x<5(t)+=0(1-6)周期解的存在性,其中f"以及a与方程(1.3)中的相同,d E(0,1]为常数.本文的理论证明主要依赖于周期正解的先验界估计和重合度拓展定理.与文献[23]所研究的方程(1.3)类似,本文仍然假设0>0,a>0.不同的是,方程(1.6)中0(t)x,導前的符号与方程(1.3)中的正好相反.然而,这一细微的改变却使得含有参数入的方程簇x"(t)+入f(x(t))x'(t)—入0(t)x$(t)+=0,入E(0,1],(1.7)其所有可能的T-周期正解在C1空间上缺少形如(1.4)的先验界估计.众所周知,形如(1.4)式的先验估计在应用重合度拓展定理时是至关重要的[24].为了克服方程簇(1.7)的T-周期正解先验估计的困难,我们首先在Banach空间C|中定义一个开子集V(见(3.5)式),并给出方程簇(1.7)在集合V中的所有可能T-周期正解的先验界估计.这与文献[23]中在整个空间C1中估计S i的先验界有着本质的区别.本文的主要结论展示了函数f在原点处的奇性对方程簇(1.7)的T-周期正解先验界影响的信息.在流体力学中,Rayleigh-Plesset方程p(RR〃+|(R)2)=[P v—P g(t)]+P g o(R—寻—聲(1.8)688数学物理学报Vol.41A用于模拟浸没在流体中的半径为丘的球形气泡,在周期声场%作用下的振荡.方程(1.8)中的各项参数的物理意义参见文献[14].通过变量代换R=u5(参见文献[14]),并取k=3,方程(1.8)可改写为x"+孚X-5只—W)]x5+J_(5S-5P g0R o)=0,(1.9)x52p x5I2p丿,'丿其中P g&L([0,T],R)是一个T-周期函数.显然,方程(1.9)是方程(1.6)的一种特殊形式.利用本文中的一些结果,我们得到了方程(1.8)存在T-周期正解的充分必要条件(详见定理3.4),该定理推广了已有的研究结果(如文献[12,定理4.4]).2预备定理本文中,令C t={x G C(R,R):x(t+T)=x(t),V t G R},其范数定义为||x||g= max|x(t)|;C T={x G C1(R,R):x(t+T)=x(t),V t G R},其范数定义为||x||C r= te[0,r]max{||x||g,||x'||g}.对任意给定的T-周期函数y G L([0,T],R),y+(t)和y_(t)分别表示max{y(t),0}和—min{y(t),0}.此外,y=T y(s)d s.显然,我们有y(t)=y+(t)—y_(t),对任意的t G R,且y=歼-y-.弓|理2.1[9]令u G[0,3]t R为任意一个满足u(0)=u(T)的绝对连续函数.那么、2T f T2max u(t)—min u(t))<—|u z(s)|2d s.te[0,T]、te[Q,T]、丿丿-4J o设X和丫为Banach空间,算子L:D(L)c X t Y是线性的,这里D(L)表示算子L 的定义域.如果Im L是Y的一个闭子集,且dim ker L=codim Im L<则称L是指标为零的Fredholm算子.此外,如果L:D(L)c X t Y是一个指标为零的Fredholm算子,那么存在连续映射P:X t ker L和Q:Y t Y满足Im P=ker L,ker Q=Im L,X=ker L©ker P 以及Y=Im L©Im Q.由ker L n(D(L)n ker P)={0},可知 L p:=L|D(L)n k e r p t Im L是可逆的.用K”表示L p的逆映射.假设0C X是一丫有界开集,吏们称连续算子N:乔t Y在集合◎上是L-紧的,如果映射K p(I-Q)N:0t X,QN:0t Y都是紧的.弓|理2.2[24]令X和Y为两个实Banach空间.假设L:D(L)C X t Y是一个指标为零的Fredholm算子,N:0t Y在◎上是L-紧的,这里0是X的一个有界开集.如果以下条件都成立:(1) Lx=入Nx,V x G d0n D(L),入G(0,1);(2) Nx G Im L,V x G d0n ker L;(3) Brouwer度deg(nQN,0n KerL,0)=0.其中,n:Im L t ker L是一个同构映射,那么方程Lx=Nx在0上至少有一个解.为了研究方程(1.6)T-周期正解的存在性,我们列出以下假设.(H i)a(t)<0,a.e.t G J;a(t)>0,a.e.t G[0,T]\J,其中J C[0,T]是一个闭集*(H2)0〉h(d)E严2,其中,d G(0,1]与方程(1.6)中的d相同,h(d)d G(0,1) d=1.No.3鲁世平等:具有不确定奇性的Lienard 方程周期正解的存在性689现在我们将方程(1.6)嵌入下述方程簇x"(t ) + 入f (x (t ))x ' (t )—入0(t )x " (t ) + 入a (t ) x "(t )=0,入 E (0, 1).(2.1)并且我们给出以下定义D = {xE C 1 : x 〃 + 入f (x )x '—入0(t )x $ + = 0,入 E (0,1); x (t ) > 0, V t E [0,T ]}, (2.2)G (x )竽d s,(2.3)3主要结果定理3.1假设a > 0以及(H i ), (H 2)成立.如果存在常数- 1£ E 何(0)71 E GAG ))门(0,(0)"十 \使得且sup G (x ) <x E [A (e ),+x )( // r )inf (G (x )-----)> supG (x )+ T0+,xE (0d ] ' x " ) x G [A (e ); + x )(3.1)(3.2)(3.3)(3.4)这里,A (£) = e (壬石+吟)為,G (x )由(2.3)式所定义,那么方程(1.6)至少存在一个T - 周期正解.证令V = {x E C y : x (t ) > 0, t E [0, T ]; x (t ) > £, t E J }, (3.5)其中,J C [0, T ]由(H i )醴义.显然,V c C i 是一个开集.若u E V n D ,此处D 由(2.2)式所定义,我们有u E V 且u 是方程(2.1)的一个T -周期正解,即u "(t ) + f (u (t ))u Z (t )—入0(t )u " (t ) + u M (t )0.(3.6)在(3.6)式的两端同时除以加,再对其在区间[0,T ]上积分,我们得到u"(t )u 〃(t )f (u (t ))u u (t ) u 〃(t )d t —入0(t )d t + 入—0.(3.7)我们可以从(3.7)式推出豁d t 〉0,u $(t ) _f (u (t ))u '(t ) dt u $(t )0,a (t ) u ^+6 (t )d t,(3.8)(3.9)由于T0〉厂丿690数学物理学报Vol.41A 即根据假设(H i ),得到/ -4|L d t + [ 耳二d t < T0. J u -+d (t ) 丿[Q ,T ]\J u -+d (t )-屮-/ 上黒d t +「"+67、d t < T0.结合(3.5)式,从上式我们可以推出「上+冥d t < [ a ;6t)d t + T0 < I 二Jd t + T0J q u “+6 (t ) - Jj u “+6 (t ) 屮 _ J j £“+6 屮=广 a -(t ) dt 丄 T —= Ta -丄=J Q d t + T ^ =刁+6 + *a +(t )(3.10)由积分中值定理可知,存在一个常数e g [0,t ]使得Ta + < Ta - , T — uT © <科十T 只通过简单的计算得到u (g ) > £+ £“+6 0 丿 :=A (£).根据(3.1)式中的假设£ G (0, (f)為),我们有u (g ) > A (e ) > £.(3.11)另一方面,对于u , —定存在t i ,t 2 G R 使得0 < t 2 - t i < T , u (t i )叫⑴以及呗2)=邸异◎根据(3.11)式’我们有A (e ) < u (t i ).结合(3.3)式得到G (u (t i )) <sup G (x ) := B q < +x .x E [A (e ),+x )将(3.6)式的两端同时除以u 6,再对其在区间[t i ,t 2]上积分,我们有厂2罟d s + A 厂竺瞥d s - A 厂0(s )d s + A 「 u 6(s ) Jti u 6s Jti Jti i (3.⑵u ^(s )J ti结合不等式ft 鴿d s > 0,我们可以从上式推出a (s ) u -+〃 (s )d s = 0.&+ 、p 十6吃2f a (s ) 严2G (u (t 2)) < G (u (t i )) - y u -+6(s )d s + / 0(s )d s< Bq + [ d s + [0+ (s )d s < b q +L 尙給d s +L 0+(s )d s < B Q + u “+环十T 升No.3鲁世平等:具有不确定奇性的Lienard方程周期正解的存在性691由此可知G(u(t2))—护+6(切-B0+T0+,其中B0由(3.⑵式所定义再利用条件(3.4),我们得到min u(t)=u(t2)>Y i・te[0;T]接下来,我们将证明存在两个正的常数M i,M2,使得(3.13)max u(t)—M i,max|u'(t)|—M2.(3.14)tE[0,T]''—te[0;T]z—事实上,对(3.6)式在区间[0,T]上积分,可得r0(t)u6(t)d t j:船血即/°+⑴""(t)d t=/0—(t)u"(t)d t十/吕需比对上式的左端运用积分中值定理,结合(3.13)式,我们可以找到一个常数&E[0,T]使得u"(&)T0+-||u||X缶#d t<||u||X T0—十牛,由此得u'(&)-0+||u||X+寻.此外,根据引理2.1和(3.15)式,我们有(3.15)这等价于不等式||u||2-l u(&)+2(3.16)u"(t)7sf dt在(3.6)式两端同时乘以u,再对其在区间[0,T]上积分,结合(3.13)式,我们有[|u'(t)|2d t=—^[0(t)u i+"(t)d t+X[u(t)a(t)d t丿0丿0丿0r T—入/0—(t)u i+"(t)d t+入|u丿0-T0—||u||^+Ta+|u]X7692数学物理学报Vol.41A 即|u u (t )|2d t )w - ||u ||XF T 2(0—)2 +2 |u |X .\丿0将(3.17)式代入(3.16)式中,我们得到以下不等式||u ||X - 0+ + (字)'0+ [||u ||期T 2(0—)1 +)2|u |X 「-至 + (琴)'0+ T 各(0—)2||u ||严+ (琴)'丑(07i 2 0 2 0 \下面我们将分两种情况来估计集合V 中方程(2.1)的T -周期正解u 的先验上界.(1) d = 1.从(3.18)式可知(]—T0+(0—)2(3.17)a +A 、― ,/1 + 6)62 |u |X .(3.18)a +)|u |x -至 + 孚王(竽)2 ||u ||X .20 07i 20 \ Y i 丿由假设(H 2),我们有0 > 0和空运住(3.19)u |X < 1.因此,我们从(3.19)式可推出20<壽(专)2+(氏)2:20,(3.20)此处,p = 1 —空住.(2) d E (0,1).由于 0i > 0使得< 1以及2 < 1,从(3.18)式我们很容易地知道,存在常数||u ||x < max {00, 0i } := M i .若u 在t i E [0,T ]处达到最大值,那么u '(t i )=0•因此,从(3.6)式可知(3.21)u '(t )=入f (u (s ))u '(s ) + 0(s )u " (s )—d s, V t E [t i , 11 + T ].由此得(' t 1+T ('|u u (t )| -入|F (u (t )) — F (u (t i ))| + 入 / |0(s )|u 〃(s )d s + 入 /丿 t i Jti<2 max “ |F (u )| + M i T 回+ ¥ := m 2,Y i <u<M i Y iF 舄d s 其中尸的定义由(2.3)式给出.因此,我们有max |u '(t )| — M 2. tE [0,T ]「' " 一(3.22)定义 X = C T ,Y = L ([0, T ],R )以及L : D (L ) c X — Y,Lx = x ".此处,D (L ) = {x E X : x E L ([0,T ], R )}, ker L = R , Im L = {y E Y :尺 y (t )d t = 0}.容易验 证L 是指标为零的Fredholm 算子.此外,我们定义如下两个连续映射Y 1厂P : X — ker L,Px = x (0); Q : Y — ^^, Q® = T J y (s )ds.No.3鲁世平等:具有不确定奇性的Lienard 方程周期正解的存在性693显然,我们有 ker L = ImP, ker Q = Im L .令 L p = L |D (L )n ker p t Im L ,则 L p 拥有逆映射 L -i : Im L t D (L ) n ker P .定义K p : Im L t D (L ) n ker P, K p = L —i .通过简单的计算,我们有(K p y )(t ){(t — T )s ' T 丿,0 < s <t < T ; +, 0 < t<s < T.(3.23)定义V i = {x G 电:Y i < x (t ) < max {M i + 1, (t) "^ } := m i , V t G [0, T ]; ||x '||g < M 2 + 1 := m3, 0 = V n V i ,N : 0 t Y, (Nx )(t ) = -f (x (t ))x '(t ) + 0(t )x 6(t ) - x J (t ).(3.24)结合(3.23)已3.24)式,我们可以证明算子K p (I - Q )N 和QN 在集合0上是相对紧的. 因此,咗 ◎上是L -紧的•此外,由(3.2)式可型Y i >£,再根据V, V i 的定义,二我们可 知(dv n V i ) = 0.更进一步地,我们从d 0 c (dv n 玩)u (V n dv i )可以推出d 0 c V n dv i . 根据这个包含关系,我们可以总结出引理2.2中的条件(1)成立.事实上,若其不成立,则 存在A q G (0,1)以及x q G d 0使得L x q = A q N x q .根据d 0 c V n dV i ,我们可得x q g v n dV i ,因此,下式成立x q G V.(3.25)但是由(3.13), (3.21)和(3.22)式,可知Y i < x °(t ) < m i , V t G [0, T ]; ||x z ||g < m 2.再次依据匕白狡义,我们可知x q / dM,这与(3.25)式矛盾.如果x G (V n dV i ) n ker L ,那么x (t )三Y i 或x (t )三m i .据此,我们有QNm i QN y i + 0(t )Yi) d t = — + Y i 0,+ 0(t )m :) d t =------“ + m i 0./ m?注意到在(3.2)式中我们假设Y i G (0, (|)E),结合m i 的定义,可知QN (y i ) < 0, QN (m i ) > 0.694数学物理学报Vol.41A因此,我们有QNx=0,V x G d0n ker L.(3.26)此外,下式也成立deg{nQN,0n ker L,0}=0,(3.27)其中n:R T R,n(x)=x.由(3.26)和(3.27)式,我们得到引理2.2中的条件(2),⑶都成立.利用引理2.2,我们很容易知道方程(1.6)至少存在一个T-周期正解.I 下面的定理3.2和定理3.3分别针又寸0(t)>0,a.e.t G[0,T]和a(t)>0, a.e.t G[0,T]的情形,给出与方程(1.6)T-周期正解存在性相关的结论.定理3.2假设(H i)成立,0(t)>0,a.e.t G[0,T]且0>0.则下述命题成立:命题1a>0是方程(1.6)存在T-周期正解的必要条件.命题2若a>0,sup F(x)<十〜且存在常数xE[A(£),+g)-172G(£,a(£))n(0,(0—)"十\(3.28)使得inf(F(x)—T&+)>sup F(x),(3.29)xE(Q,Y2]'x“丿x e[A(£),+g)其中,F的定义由(2.3)式给出,常数£,A(£)与定理3.1中一致.那么方程(1.6)至少存在一个T-周期正解.命题3若a>0,inf F(x)>-x,且存在常数x E[A(£),+x)了3G(£,a(£))n(0,(0—)"),(3.30)使得sup(F(x))<i nf F(x),(3・31)xE(Q,Y3]'x'xE[A(e)?+g)那么方程(1.6)至少存在一个T-周期正解.证(命题1的证明)设方程(1.6)存在一个T-周期正解y,则y"(t)+/(y(t))y,(t)一0(t)y6(t)+=0.(3.32)y-(t)在(3.32)式两端同时乘以y-,并对其在区间[0,T]上积分,得到fT fT fT fT/y''(t)y"(t)d t+/f(y(t))y'(t)y"(t)d t-/0(t)y-+6(t)d t+/a(t)d t=0.丿Q丿Q丿Q丿Q根据jQ y"(t)y-(t)d t<0和jQ f(y(t))y z(t)y-(t)d t=0,可知r T r T/0(t)y-+6(t)d t<a(t)d t=Ta,J q J q结合假设0(t)>0,a.e.t G[0,T]且0>0,从上式我们可推出a>0.No.3鲁世平等:具有不确定奇性的Lienard 方程周期正解的存在性695少题2的证明)由于条件(H i )成立,且a > 0,我们仍用(3.5)式定义集合V .假设 u E V 且u 为(2.1)式的一个T -周期正解,则u "(t ) + Xf (u (t ))u U (t )—入0(t )u " (t ) + u ^(t ) = 0.(3.33)类似于(3.11)式的证明,可以得到存在常数E [0,T ],使得u (g )〉A (£) > £.(3.34)另一方面,容易验证存在t 3,t 4 E R 满足0 < t 4 — t 3 — T, u (t 3) = max u (t ), u (t 4) = min u (t ).— t E [0,T] ' ' tE [0,T ](3.35)根据(3.34)式得到A (£) - u (t 3)< +8,由此可推出F (u (t 3)) — sup F (x ) := B i .x E [A (e ), + x )对(3.33)式在区间[t 3,t 4]上积分,可得F (u (t 4)) = F (u (t 3)) + / 0(s )u 〃 (s )d s — / a ^) 丿 t 3 Jt?,、‘d s t 3 u "(s )—B i + [ 0(s )u "(s )d s — [ Q(s)、d s.J 0 J t 3t 3 u "(s )(3.36)此外,对(3.33)式在区间[0,T ]上积分,可得0 u "(s )将上式代入(3.36)式,我们有F (u (t 4)) < B i + /J0广Ta (s )u "(s )-B i + /f 0Ta +u “(s )d s +<b 1 + u "(t 4)'t 4 a (s )f / \ ds t 3u "(s ),T a —(s ), ,、‘d s 0 u "(s )T j —即F (u (t 4))—命 < B i .根据(3.29)式,我们可以给出下界的估计min u (t ) = u (t 4) > 72. tE [0,T ](3.37)在(3.33)式两端同时乘以u -,且对其在区间[0,T ]积分,再根据不等式u"(t )u -(t )d t < 0,我们可以得到0(t )u -+6 (t )d t < Ta.由积分中值定理,得到存在常数n o G [0,T ],使得u (n o ) < (f)丹.(3.38)结合引理2.1和(3.38)式,我们得到||u ||g < (a 、為 + f J |u ,(s )|2d s 、2.再次在(3.33)式两端乘以u ,并对其在区间[0,T ]上积分,可得]|u z (t )|2d t =—入/ 0(t )u i +6 (t )d t + 入/ 坯?;;)d t.(3.39)根据条件0(t ) > 0 a.e. t G [0,T ]以及(3.37)式,我们可以从上式推出|u z (t )|2d t <(t )u (t )u -(t )d t < ||u ||g Ta +Y 2将(3.39)式代入上式,可得f|u ,(t )|2d t < [( 0 产 + 琴(八 u®2d s ) 2 ]号这意味着存在一个常数P 3 > 0,使得< P 3.因此,从(3.39)式可以推得||u ||g < (0)為 + 半卩3 := M 3.(3.40)至此,我们已经证明了(3.37)和(3.40)式成立.剩下部分的证明与定理3.1中的证明相同.(命题3的证明)命题2和3的证明十分相似,唯一的不同点在于方程(2.1)所有可能 T -周期正解的先验下界的估计.类似地,我们可以证明(3.34)式成立,且存在常数t 3,t 4 G R 满足(3.35)式.因此,我 们有F (u (t 3)) >inf F (x ) := B 2.x E [A (£), + x)另一方面,对(3.33)式在区间&,t 4)进行积分,可以得到F (u (t 4))〉F (u (t 3))—a +(s ) u "(s )d s +a —(s ) u "(s )d s 〉B 2〉B 2Sf ds Ta + u "(t 4)即F (u (t 4)) + 命〉B结合条件(3.31),我们得到min u (t ) = u (t 4) > 73.te [0;T ]证毕.推论3.1设a > 0,且下述关系式成立lim F (x ) < +8,(3.41)x —(3.42)那么方程(1.6)至少存在一个T -周期正解.证 显然,由(3.41)和(3.42)式,得到 sup F (x ) < +8, (3.28)和(3.29)式都成x E [A (e ), + x )立.因此,该推论的结论可由定理3.2中的命题2直接得到. I类似地,运用定理3.2中的命题3,我们可以得到下述推论.推论3.2设a > 0,且下述关系式成立lim F (x ) > —8,x —lim XT 0+—oo,那么方程(1.6)至少存在一个T -周期正解.定理3.3假设a (t )〉0, a.e. t E [0, T ]且a > 0.则下述命题成立: 命题1 0 > 0是方程(1.6)存在T -周期正解的必要条件.命题2若(出)成立, sup G (x ) < +8,且存在常数xe [( f )為,+x )74 E (0,(0)1(3.43)使得inf G (x ) >xE (0,Y 4]supG (x ) + T0+,xE [( f )丹,+x )那么方程(1.6)至少存在一个T -周期正解”(3.44)命题3若条件(出)成立, infG (x ) > -x ,且存在常数x e [( a )為,+g )- 1Y 5 G (0, (0)冲),使得sup G (x ) <xE (Q ,Y 5]in fG (x ) - T0+,xe [( a) e ,+g)那么方程(1.6)至少存在一个T -周期正解.证(命题1的证明)设方程(1.6)存在一个T -周期正解c ,则c"(t ) + f (c (t ))c '(t ) — 0(t )c 6 (t ) += 0.在(3.47)式两端同时乘以c ,并对其在区间[0,T ]上积分,得a (t ) c -+6 (t )d t < T0.(3.45)(3.46)(3.47)(3.48)根据假设a (t ) > 0 a.e. t G [0, T ]且a > 0,从(3.48)式可知0 > 0.(命题2的证明)鉴于该证明类似于定理3.2中的命题2的证明,我们在此只给出方程(2.1)所有可能T -周期正解的先验下界的估计.假设u 是方程(2.1)的一个T -周期正解, 则u "(t ) + Af (u (t ))u '(t )—入0(t )u "(t ) + 护;)=0. 在(3.49)式两端同时除以u ,并对其在区间[0,T ]上积分,我们有「« d t < T0,J q u -+6(t ) - X (3.49)(3.50)应用积分中值定理,结合假设a (t ) > 0, a.e. t G [0, T ],从(3.50)式,我们可以推出,存在常 数n i G [0,T ]使得u (n i ) > (0产.易知存在常数 t 5,t 6 G R 满足 0 < t 6 - t 5 < T , u (t 5) = max u (t ),以及 u (t 6)= min u (t ).因 te [Q ,T ] te [Q ,T ]此,由(3.51)式可知(3.51)(0)"十§ < u (t 5) < +x ,由此得到G (u (t ^)) < sup G (x ) := C q .对(3.49)式两端同时乘以u ,并对其在区间[t 5,t 6]上积分,我们得到广 a (s )t 5比6G (u (t 6)) < G (u (t 5)) — / u -+6(s ) d s + / 0(s )d s < C Q + T 0+.t5G (u (t 6)) - C 0 + T0+.结合(3.44)式得到min u (t ) = u (t 6) > 74. tE [0,T] ' '(3.52)由于命题3的证明与命题2的证明完全类似,我们在此处略去.推论3.3假设(H 2)成立,a (t )〉0, a.e. t E [0, T ]且a > 0.若下述关系式成立lim G (x ) < +8,(3.53)lim G (x ) = +8.XT 0+(3.54)那么方程(1.6)至少存在一个T -周期正解.证 由(3.53)式知 sup G (x ) < +8.再根据(3.54)式知,存在一个常数74 E (0, (a )為),使得(3.44)式成立.运用定理3.3中的命题2,我们可以直接得到结论.I推论3.4假设(H 2)成立,a (t )〉0, a.e. t E [0, T ]且a > 0.若下述关系式成立lim G (x ) = —8.XT 0+(3.55)(3.56)那么方程(1.6)至少存在一个T -周期正解.证 由方程(3.55)知 inf G (x ) > —8,再根据(3.56)式知,存在常数75 E (0, (a )為),使得(3.46)式成立.运用定理3.3中的命题3,我们可以直接得到结论.推论3.5假设d E (0,1), a (t )〉0, a.e. t E [0, T ]且a > 0.若下述关系式成立lim G (x ) > —8(< + 8),则0 > 0是方程(1.6)存在T -周期正解的充要条件.证 必要性的证明类似于定理3.3中的命题1的证明.由0 > 0且d E (0,1),易知假设 (H 2)成立•因此,由推论3.4(或3.3)可证明充分性. I接下来证明Rayleigh-Plesset 方程(1.9)的T -周期正解的存在性.弓|理3.1[出定理3.4]假设卩" < 石,且S< 帘.若v > 2p [PM - P v ] +,则Rayleigh- Plesset 方程(1.9)至少存在一个T -周期正解.弓|理3.2[12,定理心4]假设P … >P X , 2pS > P g o R 0,如果ess inf (3.57)则Rayleigh-Plesset 方程(1.9)至少存在一个T -周期正解.易知方程(1.9)是方程(1.6)的特殊形式,其中f (x )=马,0(t ) = 5[P v 护t)], a (t )三(5S —x 5 P巴叮°), “ = d = 5•显然,G (x ) = J,爭d s = 4v ln x,x E (0, + 8),则有 lim G (x ) = —8, p x t 0+且lim G (x ) = +8•因此,由推论3.5,我们可以得到以下结论.x —+X定理3.4假设S>零0.则Rayleigh-Plesset方程(1.9)至少存在一个T-周期正解的充分必要条件为P v>P g.注3.1由于方程(1.6)中的Lienard项f(x)x,的系数f(x)允许其在x=0具有奇性,且0(t)和a(t)在[0,T]上都可变号,因此本文完善了文献[15-19]和[23]中的研究工作.此外,条件(3.4),(3.29)和(3.31)在估计方程(1.7)周期解的先验正下界过程中,起着至关重要的作用.所以f(x)在x=0处的奇性有助于方程周期解的存在.注3.2由引理3.1可知,由于文献[13]中定理3.4的条件为P…<P g,S<零0,定理3.4相应条件为P v>P g,S>第許.故定理3.4与文献[13]中的定理3.4的条件完全不同.此外,通过比较引理3.2和定理3.4,我们发现定理3.4不需要条件(3.57)满足.由此可知定理3.4改进了已知结果(如文献[12,定理4.4]).参考文献[1]Torres P J.Mathematical Models with Singularities:A Zoo of Singular Creatures.Paris:Atlantis Press,2015[2]Lazer A C,Solimini S.On periodic solutions of nonlinear differential equations with singularities.ProcAmer Math Soc,1987,99(1):109-114[3]Habets P,Sanchez L.Periodic solutions of some Lienard equations with singularities.Proc Amer MathSoc,1990,109:1035-1044[4]Zhang M.Periodic solutions of Lienard equations with singular forces of repulsive type.J Math AnalAppl,1996,203(1):254-269[5]Jebelean P,Mawhin J.Periodic solutions of singular nonlinear perturbations of the ordinary p-Laplacian.J Adv Nonlinear Stud,2002,2(3):299-312[6]Torres P J.Weak singularities may help periodic solutions to exist.J Differ Equa,2007,232:277-284[7]Chu J,Torres P J,Zhang M.Periodic solutions of second order non-autonomous singular dynamicalsystems.J Differential Equations,2007,239:196-212[8]Li X,Zhang Z.Periodic solutions for second order differential equations with a singular nonlinearity.Nonlinear Anal,2008,69:3866-3876[9]Hakl R,Torres P J,Zamora M.Periodic solutions of singular second-order differential equations:therepulsive case.Topol Method Nonl Anal,2012,39:199-220[10]Chu J,Liang Z,Liao F,Lu S.Existence and stability of periodic solutions for relativistic singular equations.Commun Pure Appl Anal,2017,16(2):591-609[11]Wang Z.Periodic solutions of Lienard equation with a singularity and a deviating argument.NonlinearAnal:Real World Appl,2014,16:227-234[12]Cheng Z,Ren J.Positive solutions for fourth-order singular nonlinear differential equation with variablecoefficient.Math Methods Appl Sci,2016,39:2251-2274[13]Hakl R,Torres P J,Zamora M.Periodic solutions of singular second-order differential equations:Upperand lower functions.Nonlinear Anal,2011,74:7078-7093[14]Hakl R,Torres P J,Zamora M.Periodic solutions of singular second-order differential equations:therepulsive case.Topol Method Nonl Anal,2012,39:199-220[15]Hakl R,Torres P J.On periodic solutions of second-order differential equations with attractive-repulsivesingularities.J Differential Equations,2010,248(1):111-126[16]Chu J,Torres P J,Wang F.Twist periodic solutions for differential equations with a combined attractive-repulsive singularity.J Math Anal Appl,2016,437:1070-1083[17]Bravo J L,Torres P J.Periodic solutions of a singular equation with indefinite weight.Adv NonlinearStud,2010,10(4):927-938[18]Hakl R,Zamora M.Periodic solutions to second-order indefinite singular equations.J Differential Equations,2017,263:451-469[19]Urena A J.Periodic solutions of singular equations.Topol Methods Nonlinear Anal,2016,47:55-72[20]Pishkenari H N,Behzad M,Meghdari A.Nonlinear dynamic analysis of atomic force microscopy underdeterministic and random excitation.Chaos Solitons Fractals,2008,37(3):748-762[21]Torres P J,Zhang M.A monotone iterative scheme for a nonlinear second order equation based on ageneralized antimaximum principle.Math Nachr,2003,251:101—107[22]Towers I,Malomed B A.Stable(2+1)-dimensional solitons in a layered medium with sign-alternating Kerrnonlinearity.J Opt Soc Amer B,2002,19(3):537—543[23]Lu S,Guo Y,Chen L.Periodic solutions for Lienard equation with an indefinite singularity.NonlinearAnalysis:Real World Appl,2019,45:542-556[24]Gaines R E,Mawhin J L.Coincidence Degree,and Nonlinear Differential Equations.Berlin:Springer,1997Periodic Solutions for a Singular Lienard Equation withSign-Changing Weight FunctionsLu Shiping Zhou Shile Yu Xingchen(School of Math&Statistics,Nanjing University of Information Science and Technology,Nanjing210044)Abstract:In this paper,we study the existence of positive periodic solutions for a singular Lienard equationx UU(t)+f(x(t))x U(t)一0(t)x"(t)+xJ^(t)=0,where f:(0,+8)—R is continuous which may have a singularity at x=0,a and0are T-periodic functions with a,0E L([0,T],R),刈E(0,+8)and d E(0,1]are constants.The signs of weight functions a(t)and0(t)are allowed to change on[0,T].We prove that the given equation has at least one positive T-periodic solution.The method of proof relies on a continuation theorem of coincidence degree principle.Key words:Periodic solution;Singularity;Continuation theorem;Coincidence degree principle.MR(2010)Subject Classification:34B16;34K13;34C25。
几类微分方程的概周期型解的存在性和唯一性
理学硕士学位论文几类微分方程的概周期型解的存在性和唯一性肖嘉慧哈尔滨理工大学2011年3月国内图书分类号:O177.9理学硕士学位论文几类微分方程的概周期型解的存在性和唯一性硕士研究生:肖嘉慧导师:姚慧丽申请学位级别:理学硕士学科、专业:基础数学所在单位:应用科学学院答辩日期:2011年3月授予学位单位:哈尔滨理工大学Classified Index: O177.9Dissertation for the Master Degree in ScienceThe Existence and Uniqueness of Almost Periodic Type Solutions for Several Classes of DifferentialEquationsCandidate:Xiao JiahuiSupervisor:Yao HuiliAcademic Degree Applied for:Master of Natural Science Specialty:Fundamental MathematicsDate of Oral Examination:March, 2011University:Harbin University of Scienceand Technology哈尔滨理工大学硕士学位论文原创性声明本人郑重声明:此处所提交的硕士学位论文《几类微分方程的概周期型解的存在性和唯一性》,是本人在导师指导下,在哈尔滨理工大学攻读硕士学位期间独立进行研究工作所取得的成果。
据本人所知,论文中除已注明部分外不包含他人已发表或撰写过的研究成果。
对本文研究工作做出贡献的个人和集体,均已在文中以明确方式注明。
本声明的法律结果将完全由本人承担。
作者签名: 日期: 年 月 日哈尔滨理工大学硕士学位论文使用授权书《几类微分方程的概周期型解的存在性和唯一性》系本人在哈尔滨理工大学攻读硕士学位期间在导师指导下完成的硕士学位论文。
一类时滞周期模型正周期解的存在性
一类时滞周期模型正周期解的存在性
刘兴元
【期刊名称】《湖南理工学院学报(自然科学版)》
【年(卷),期】2005(18)4
【摘要】研究时滞周期模型x'(t)+a·v(t)x(t)xn(t-τ(t))/θn+xn(t-τ(t))=λ(t)其中m、n是正整数,v(t),λ(t)是正周期函数,周期为ω,τ(t)为非负ω周期函数,获得方程存在
一个正周期解的充分条件,推广改进了已有结果[Saker,
Comput.Math.Appl.2002(44)623-632].并举例说明了定理的应用.
【总页数】4页(P15-18)
【作者】刘兴元
【作者单位】邵阳学院,数学系,湖南,邵阳,422000
【正文语种】中文
【中图分类】O175
【相关文献】
1.一类具有时滞的细胞繁殖模型的正周期解的存在性 [J], 周刚;时宝;盖明久;杨树
杰
2.一类时滞种群竞争模型正周期解的存在性 [J], 刘心歌;唐效兰;唐美兰;刘心笔
3.讨论一类有状态依赖时滞和连续时滞积分微分方程系统正周期解的存在性 [J],
任芳
4.一类带脉冲和时滞的宿主——大寄生物模型正周期解的存在性 [J], 李贞阳;杨必裕;龙瑶
5.一类非自治时滞半比率依赖捕食模型的正周期解的存在性 [J], 刘艳;秦丽华;樊小琳
因版权原因,仅展示原文概要,查看原文内容请购买。
时滞周期Logistic方程的周期解的稳定性
时滞周期Logistic方程的周期解的稳定性
傅一平;周笠
【期刊名称】《数学物理学报》
【年(卷),期】2001(021)003
【摘要】该文应用周期解的线性化稳定性的Floquet理论研究了一类含时滞的周期Logistic方程的周期解的稳定性.
【总页数】8页(P303-310)
【作者】傅一平;周笠
【作者单位】华南理工大学应用数学系;华中理工大学数学系
【正文语种】中文
【中图分类】O1
【相关文献】
1.多时滞Logistic差分方程正周期解的存在性 [J], 刘智钢;凡爱平
2.一类具多时滞的Logistic型方程持久性和概周期解的存在性 [J], 施春玲;王丹红
3.具有无穷时滞的时滞微分方程概周期解的唯一性与稳定性 [J], 朱焕然
4.具有时滞的周期Logistic方程的持续性与周期解 [J], 桂占吉;陈兰荪
5.无穷时滞Logistic方程的概周期解存在定理 [J], 徐建华
因版权原因,仅展示原文概要,查看原文内容请购买。