Banach空间一类奇异脉冲微分方程的多解存在性
Banach空间中混合型积分-微分方程解的存在性
第15卷第1期2013年3月应用泛函分析学报A C T A A N A L Y SI S FU N C T I O N A L I S A PPL I C A T AV01.15,N o.1M ar.,2013D O I:10.3724/SP.J.1160.2013.00001文章编号:1009-1327(2013)01-0001—06B anach空间中混合型积分一微分方程解的存在性周文学,一,刘海忠,1.兰州交通大学数理学院,兰州7300702.复旦大学数学科学学院,上海200433摘要:将微分方程初值问题转化为等价的积分方程,近来此方法被应用于讨论非线性微分方程初值问题解的存在性.利用凸幂凝聚算子的不动点定理,研究了Bana ch空间中混合型非线性二阶积分一微分方程的初值问题解的存在性.关键词:B a nac h空间;积分-微分方程;解的存在性;初值问题中图分类号:0175.81引言在本文中,我们利用凸幂凝聚算子的不动点定理研究了B a nach空间E中混合型非线性二阶积分一微分方程的初值问题u”(t)=f(t,u(£),(K札)(t),(H札)(砒t∈I=【0,n】,、沁):训,(0h。
u’解的存在性,其中I=【0,0】(o<o),,:J×E×E×E_E为非线性映射,X O,X l∈E,且广t广8(K u)(t)=/k(t,s)u(s)ds,(H u)(t)=/h(t,s)u(s)ds(2)30j0在(2)中,k(t,8)∈C[D o,R+】,h(t,s)∈c[△,R+】,D o={(t,8)∈R×R:0≤8≤t≤n),△={(t,8)∈豫×R:(t,s)∈I×J),R+=【0,+。
),R=(一。
,+D。
).该问题是含时间t的偏微分方程的初边值问题的抽象模型,许多数学物理方程的初边值问题及C auchy问题都可以转化为适当函数空间中方程(1)的形式,参见文献fI-2].关于积分一微分方程的解的存在性,极值解以及解的其他讨论已取得许多丰富的成果,如文献【3—8】.特别地,在文献【3-5】中,借助混合单调技巧,作者得到了有序B anach空间中混合型非线性一阶积分一微分方程的初值问题的解.但是对初值问题(1)的解的讨论比较少.最近,在文献【6]中,在非线性项,不包括微分项u’的特殊情形下,作者讨论初值问题(1)的极小解和极大解,并且在比较强的条件下,得到了单调迭代序列.在文献【71中,在非线性项厂不包括算子日u的特殊情形下,并且在比较强的条件下,作者讨论初值问题(1)的极小解或极大解,借助下解或上解和混合单调迭代技巧得到了唯一解.在文献【8】中,借助一些新的比较定理和M5nch不动点定理,并且在更一般混合型情形下,作者获得了初值问题(1)的整体解和唯一解.本文将利用凸幂凝聚算子的不动点定理,在更广泛的条件下,来研究更一般的初值问题(1)解的存在性.因此本文的结果不能由文献【3—8】得到,而且本文的方法也与文献【3’81中的方法有本质不同.收稿日期:20l O-12-02资助项目:国家自然科学基金(11161027,11262009)作者简介:周文学(1976~),男,汉族,甘肃天水人,副教授,博士,研究向:非线性分析理论及其应用,Em ai l:w xzhou 2006@126.c om.2应用泛函分析学报第15卷设C(1,E)为定义于,取值于E的抽象连续函数按范数I l ul l。
Banach空间一类二阶脉冲微分方程解的存在性
问题解的存在 性. 关键词 :非紧性测度 ; 冲;周期边值 问题 脉
中 图分 类 号 : 7. 01 5 8 文献标识码 : A
Ex s e c f s u i ns t l s fs c nd o d r i puli e it n e o ol to o a c a s o e o - r e m sv dif r nta qu to s i na h p c f e e i le a i n n Ba c s a e
() 1
出 P [ , 在范数 l P—spl ( l CJ明 l lC u z £ 下为 B — l z l )l a nc 空 间, C [ , ] l 一ma {l , ah P ,J E 在 l l l X x l l l x
.
一
I u 一 I(( ) , l A : k £) I
【 0 U( )一 ( ,U ( )一 U ( 2 ) 0 2 )
l ,l ) l l 下亦为 Bnc 空间. x aah
以下谈 到 问 题 ( ) 解 是 指 U∈PC [ E]n 1的 ,J, O E E 且满 足 问题 () J,] 1 中各 式.
解 的存 在性 . 式中 : J一[ , , > 0 0 t< £< L< t< 2 , 02]M ,< 1 2 v n
J 一八 {1t, t) f( , ) J× E— E, , ∈ £, L, , t s : 2 P
Banach空间中一阶混合型脉冲积分微分方程周期边值问题解的存在性
Jn 20 u .0 8
文 章 编 号 :6 35 0 (0 8 0 -190 17 - 5 2 0 ) 30 6 -5 0
B nc aah空 问中一阶混合 型脉 冲积分微分方程 周 期 边 兴 ,郑 建 ,王 国涛
( 国石油大 学 数 学与计 算科 学学院 , 东 东营 2 7 6 ) 中 山 50 1
L nja ,S N u n —ig Z E G J n WA G G oto 1We - n O G G a gx , H N i , u n a N u— a
( oeeo te tsadC m u tn l c nei h aU i rt e o u D nyn 50 1 C lg Mahma c n o p t i a i c C i nv syo P t l m, og i 27 6 , l f i ao Se n n ei f re g
摘要 : 利用不动点理论 , 证明 了实 B n c aah空间 中一 阶混合 型脉冲积分 微分方程 周期边 值问题解 的存 在性定 理 , 已 对 有结果作 了推 广和改进 。 关键词 : 脉冲方程 ;周期边值 问题 ;非紧性测度 ; 不动点指数理论
中 图分 类 号 : 7 . 1 O 17 9 文献标识码 : A
维普资讯
20 0 8年 第 3 2卷 第 3期
中国石 油大学学报 ( 自然科 学版)
J u n lo h n n v ri fP t lu o r a fC ia U ie st o er e m y o
Vo132 No. . 3
S a og P oic ,C ia h n n r ne hn ) d v
Absr t: S me e itnc h oemso utpl o iie s l i n fpei d cbo da yv l epr b e o hefrtode mp — t ac o x se e t e r fm li e p stv outo so ro i un r a u o lm frt s r ri ul i sv ntg o d fee ile uai n n Ba ch s a e we e pr v d b i h fx d onti de he r , whih i r v d a d i e i e r — ifr nta q to s i na p c r o e y usng t e i e p i n x t o y c mp o e n g n r lz d t es ls o ti e y o h r . e e aie he r u t b an d b t e s
banach空间中高阶常微分方程周期边值问题的解的存在性
banach空间中高阶常微分方程周期边值问题的解的存在性首先,关于常微分方程周期边值问题,需要先介绍它的定义、性质、以及各种参数。
在介绍它的定义之前,我们需要先介绍Banach 空间,这是一种非常抽象的数学概念,它会限定函数在各种极限中的行为。
Banach空间定义:给定一个复数数域X,X的子集M的定义为线性空间,如果:1.M是完全的,这意味着对于任意元素x∈M,如果(xn)是序列,且xn→x,则x∈M;2.M上有一个范数,即一个M[0,∞)函数,使得M上有正定义的欧式距离,且它具有三角不等式;3.如果x∈M,则存在常数c>0,使得它的范数最小;4.M上定义有完备的封闭性。
因此,Banach空间定义为M上满足以上条件的空间。
定义常微分方程周期边值问题:给定一个常微分方程组:y(t)=f(t,y), (t∈[0,T])给定一(T轴上的固定点)t1,...,tN, 以及一组边值y(t1)=y1, y(t2)=y2,..., y(tN)=yN对于对于Banach空间中的M,我们可以定义常微分方程周期边值问题,它的定义为:找出使得y(t)=f(t,y), y(t1)=y1, y(t2)=y2,..., y(tN)=yN成立的函数y,使y∈M。
对于常微分方程周期边值问题,它具有一些重要的性质,分别是: 1.边值问题具有解的唯一性,即对于边值问题,只有一解满足所有条件,不存在其他解。
2.边值问题具有连续性,即对于边值问题,在给定边值时,只有一解与给定边值相连,并且解是连续的。
3.边值问题具有可导性,即对于边值问题,可以使用微分方法来求解,可以求出方程的导数,并使用导数来分析问题的变化规律。
在介绍完常微分方程周期边值问题以及Banach空间的定义以及性质之后,本文将讨论《Banach空间中高阶常微分方程周期边值问题的解的存在性》,即对于在Banach空间中的高阶常微分方程周期边值问题,存在什么样的条件可以保证它的解的存在性。
Banach空间中一阶非线性微分方程组边值问题解的存在性
一
3 L . 1 J E /
I ( ,) ,。 m x I ( s I k t 1
[ 关键词 ] 微分方程组 ; 边值问题 ; 不动点定理 ; 紧性测度 非 【 中图分类号] 0 7 . 1 17 9 [ 文献标识码 ] A [ 文章编号 ] 17 2 9 (0 0 0 0 0 0 6 2— 5 0 2 1 )6— 0 5— 5
1 引言
考 虑实 B nc 间 中一 阶非 线性 微分 方程 组边 值 问题 ( V ) aah空 B P
=
() 1 . 2 、
文 [ 3 用不 同方 法获得 解 的存在 性 , 对先 验估 计有 较强 的 限制性 条件 . [ ] 1— ] 但 文 4 利用 一个 新 的 比 较结 果改 进 了上述 结果. 而关 于一 阶非 线性微 分 方程组 边值 问题 B P 1 1 研 究 还鲜 有 文献 提 及 , V (. ) 本文 利用 M nh不动点 定理 和一 个新 的 比较结 果 , 较 宽 松 条件 下 , 立 了一 般 情形 下一 阶 非 线性 微 分 方 6c 在 建
(.) 11
( ( J (s (d( ( 上h , ( ) ) D t) ss ) ) (s s £ , ), f k t) )
(y () (y () r ) t,S ) t有类 似 定义. 中 k ts 其 (,)∈C D, ]h ts EC D , ] D={ ts ∈J×,s } [ R ,( ,) [ 。R , (,) - ≤t , ,
6
泰 山 学 院 学 报
第 3 卷 2
显然 c ‘E] [ , 在范 数 l l 下构 成一 个 Bnc 间. X=c jE]X .E , , l j aah空 令 [ , , ] 定义 范数 C[ ,
一类非线性微分方程耦合系统无穷边值问题解的存在性
一类非线性微分方程耦合系统无穷边值问题解的存在性张海燕;李耀红【摘要】在Banach空间中,利用Mönch不动点定理,结合一个新的比较结果,研究一类一阶非线性微分方程耦合系统无穷边值问题,其非线性项和边值条件均具有耦合性。
获得该问题解的存在性定理,并给出一个应用实例。
%By applyingthe Mönch fixed theorem and using a new comparison result,we study existence of so⁃lutions of infinte boundary value problems for a class of nonlinear coupled differential equations systems in Banach spaces,where the system is coupled not only in the differential system but also through the boundary conditions. A new existence theorem is established.As an application,we give an example to demonstrate our result.【期刊名称】《淮北师范大学学报(自然科学版)》【年(卷),期】2015(000)002【总页数】5页(P1-5)【关键词】Banach空间;边值问题;不动点定理;比较结果【作者】张海燕;李耀红【作者单位】宿州学院数学与统计学院,安徽宿州 234000;宿州学院数学与统计学院,安徽宿州 234000【正文语种】中文【中图分类】O177.91令(E,‖·‖)是Banach空间,考虑E中一阶非线性微分方程耦合系统无穷边值问题:这里J=[0 ,+∞),f,g ∈C[J × E ×E,E],α,β > 1.近年来,微分方程耦合系统受到广泛关注,获得许多有价值的结果.如在无穷区间上,文[1-4]获得了微分方程耦合系统解的存在性或多解性;在分数阶情形下,文[5-8]也获得许多微分方程耦合系统的可解性结论.但上述文献中微分方程系统的耦合性主要是指非线性项中变量的耦合,对边值条件的耦合性研究相对较少.注意到耦合边值条件在反扩散问题、热学问题、流体力学等应用科学领域有着广泛的应用.本文将利用Mönch不动点定理,结合一个新的比较结果,研究非线性微分方程耦合系统无穷边值问题(1),其非线性项和边值条件均具有耦合性.1 预备知识和引理记C[J,E]={u:J→E|u(t)连续},C1[J,E]={u:J→E|u(t)连续且一阶可微}.令BC[J,E]={u∈C[J,E]| X=BC[J,E]×BC[J,E], 则易知 BC[J,E]和 X 分别在范数和‖(u,v)‖X=‖ u‖B+‖ v‖B 下为一Banach空间.定义算子T:X→X 如下其中若(u,v)∈X且满足(1),则称(u,v)为边值问题(1)的解.对Banach空间中的有界集C,用α(C)衷示Ku⁃ratowski非紧性测度[9].另记Br={(u,v)∈ X |‖ (u,v‖X≤ r}(r > 0).为方便下文,给出几个需要用到的引理.引理1 若f,g ∈C[J×E×E,E],则(u,v)∈BC[J,E]⋂C1[J,E]×BC[J,E]⋂C1[J,E]是耦合系统(1)的解有且仅当(u,v)是T(u,v)=(u,v)在X中的不动点.证明若(u,v)是耦合系统(1)的解,则直接对耦合系统(1)前两式两边直接从0到t积分,可知令t➝∞,则有将边值条件u(∞)=αv(0),v(∞)=βu(0)代入式(6),直接解方程组计算可知将式(7)(8)代入式(5),易知 u(t)=T1(u,v),v(t)=T2(u,v),即 (u,v)是T(u,v)=(u,v)的不动点.反之,若(u,v)是T(u,v)=(u,v)的不动点,则对等式两边求导,容易验证(u,v)满足系统(1).命题得证.引理2[2]若m(t),γ(t)∈C[J,J],m(t)是有界函数,,且有其中M1≥0,M2,M3 >0,则引理 3[9]若 H 是 C[J0,E](J0=[0,b]⊂J)中的可数可测集,对任给x∈H,存在ρ(t)∈L[J0,J],使得‖ x(t)‖≤ρ(t),t ∈J0,则有α(H(t))∈L[J0,J],且引理4[10]若 B={un}⊂C[J,E](n=1,2,…),存在ρ(t)∈L[J,J],使得‖u ‖n(t)≤ρ(t)(t ∈J,n=1,2,…),则有α(B(t))在J上可积,并且引理5[10]设下文(A1)成立,H是E中的有界集,则,其中αE(TiH)表示TiH(i=1,2)在E中的非紧性测度.注1 由(2)式及引理5易知,αE(TH)≤αE(T1H)+αE(T2H).引理6[11](Mönch定理)设E是Banach空间,Ω ⊂E 是有界开集,θ∈Ω,A:E →E 是一个连续算子,且满足下列条件:(1)x ≠ λAx,∀λ ∈[0,1],x ∈ ∂Ω ;(2)由 H ⊂可数及 H ⊂({θ}⋃A(H))可推出H为相对紧集.则A在Q中至少有一个不动点.引理7[12]设D和F是E中的有界集,则α(D×F)=max{α(D),α(F)},其中α和α 分别为E×E和E中的Kuratowski非紧性测度.2 主要定理为方便,先给出下列假设:(A1)f,g ∈C[J×E×E,E],且存在ai(t),bi(t)∈L[J,J](i=1,2,3),使得其中(A2)对∀t ∈J和H1,H2 ⊂Br,存在ci(t),di(t)∈ L[J,J](i=1,2),使得这里定理1 若条件(A1)-(A2)成立,则耦合系统(1)在BC[J,E]⋂C1[J,E]×BC[J,E]⋂C1[J,E]中至少有一个解.证明由引理l知,只需证明算子T在X中至少有一个不动点.首先证明是X中的有界集.事实上,对任给的(u,v)∈Ω0,则相应地存在0≤λ0≤1,使得当t ∈J=[0,+∞)时,由式(3)(4)(9)及假设(A1)得令则m(t)∈C[J,E]且有界,于是结合式(10)(11)得故由引理2知因此,故Ω0 是 X 中的有界集.令 R >M,取则Ω 是X中的有界开集,且(θ,θ)∈Ω .由R的取法可知,对任何(u,v)∈∂Ω,(u,v)≠λT(u,v),∀λ ∈[0,1].即引理6的条件(1)满足.下面验证引理6 的条件(2)满足.设 H ⊂为可数集且由非紧性测度的性质,结合引理3-4,引理7及假设(A2),可知这里ρ(s)=c1(s)+c2(s),w(s)=d1(s)+d2(s).由H的定义及引理5有于是由引理l知,α(H(t))=0,t ∈J.即H 是Ω 中的相对紧集,于是引理6的条件(2)满足.又注意 f,g 的连续性,显然T是连续算子.故由引理6知,算子T 在Ω 内至少有一个不动点.从而耦合系统无穷边值问题(1)至少有一个解.证毕.例1 考虑一阶非线性微分方程耦合系统无穷边值问题:则耦合系统无穷边值问题(12)至少有一个解.证明令E={x=(x1,x2,…,xn,…)|xn ∈J,xn →0},对x ∈E,令显然耦合系统(12)可转化为X中的系统其中而显然f,g ∈C[J×E×E,E].则可令显然,故条件(A1)满足.利用锥理论中常规方法容易知,存在,使得对任何t ∈J,有界集 H1,H2⊂E,α(f(t),H1,H2))<c1(t)α(H1)+c2(t)α(H2),α(g(t,H1,H2))<d1(t)α(H1)+d2(t)α(H2),故条件(A2)满足.由定理1即知结论成立.参考文献:[1]CHEN Xu,ZHANG Xingqiu.Existence of positive solutions for singular impulsive differential equations with integral boundary conditions on an infinite interval in Banach spaces[J].Electron J Qual Theory Differ Eq,2011(29):1-18.[2]张海燕,张祖峰.Banach 空间中一阶非线性微分方程组无穷边值问题解的存在性[J].华中师范大学学报(自然科学版),2011,45(4):529-533. [3]汤小松,王志伟,罗节英.Banach空间中一阶脉冲微分方程组的无穷边值问题解的存在性唯一性[J].四川师范大学学报(自然科学版),2012,35(6):802-808.[4]李耀红,张祖峰.无穷区间上一阶非线性脉冲微分方程组边值问题的多个正解[J].华中师范大学学报(自然科学版),2014,48(2):171-175.[5]LI Yaohong,WEI Zhongli.Positive solutions for a coupled systems of mixed higher-order nonlinear singular fraction⁃al differential equations [J].Fixed Point Theory,2014,15(1):167-178.[6]申腾飞,宋文耀.一类分数阶微分方程系统边值问题正解的存在性[J].常熟理工学院学报,2012,26(4):28-34.[7]程玲玲,刘文斌.带有p-Laplace 算子分数阶微分方程耦合系统边值问题解的存在性[J].湖北大学学报(自然科学版),2013(1):48-51.[8]曹竞文,胡卫敏.两点分数阶微分方程耦合系统边值问题的解[J].江汉大学学报(自然科学版),2014,42(3):23-26.[9]GUO Dajun,LAKSHMIKANTHAM V,LIU Xinzhi.Nonlinear integral equations in abstract spaces[M].Dordrecht:Kluwer Academic Publisher,1996.[10]刘振斌,刘立山.Banach 空间中一阶非线性微分方程组无穷边值问题解的存在性[J].数学学报,2007,50(1):97-104.[11]DEIMLING Klaus.Nonlinear functional analysis[M].Berlin:Spring-Verlag,1985.[12]GUO Dajun,LAKSHMIKANTHAM V.Coupled fixed points of nonlinear operators with applications[J].Nonlinear Analy⁃sis:TMA,1987,11(5):623-632.。
几类脉冲微分方程解的存在性
几类脉冲微分方程解的存在性几类脉冲微分方程解的存在性摘要:脉冲微分方程是一类带有脉冲信号的微分方程,其解的存在性是微分方程理论的重要问题之一。
本文将探讨几类常见的脉冲微分方程并讨论其解的存在性。
一、引言脉冲微分方程是在某些离散时间点发生突变或发生冲击的微分方程。
相比于普通微分方程,脉冲微分方程的求解更加困难,因为离散时间点的突变或冲击会使系统的动力学行为发生剧变。
因此,解脉冲微分方程的存在性成为研究的重要内容之一。
二、周期性脉冲微分方程周期性脉冲微分方程是一类具有周期性脉冲信号的微分方程,其在固定时间间隔内受到脉冲作用。
解周期性脉冲微分方程的存在性问题可以通过周期延拓方法来解决。
该方法通过将周期延拓后的方程转化为周期函数的微分方程,然后应用连续性和紧性定理,判断原始方程的解是否存在。
三、非线性脉冲微分方程非线性脉冲微分方程是指含有非线性项的微分方程,其解的存在性问题更为复杂。
对于非线性脉冲微分方程,通常可以通过构造适当的Lyapunov函数或应用不动点定理来解决。
Lyapunov函数可以用来刻画系统的稳定性,并通过其定义的正定性和严格增加性来推导解的存在性。
不动点定理则可以将微分方程转化为适当的积分方程,通过分析积分方程的不动点来判断方程的解是否存在。
四、时滞脉冲微分方程时滞脉冲微分方程是一类含有时滞项的微分方程,其解的存在性问题更具挑战性。
对于时滞脉冲微分方程,可以通过使用Lyapunov-Krasovskii函数和稳定矩阵方法来解决。
Lyapunov-Krasovskii函数是一类特殊的Lyapunov函数,通过引入时滞项和矩阵变量,可以刻画系统的稳定性,推导解的存在性。
稳定矩阵方法则通过构造适当的矩阵Lyapunov方程,将微分方程转化为矩阵的稳定性问题,从而判断解的存在性。
五、数值仿真数值仿真是解决脉冲微分方程存在性问题的常用方法之一。
通过将脉冲微分方程离散化为差分方程,然后利用数值计算方法求解差分方程,可以得到脉冲微分方程的数值解。
Banach空间一阶非线性微分方程终值问题解的存在性
引理 2。 设 () [ ¨ + 且 m() [ t Ec 1 ] t是有界 函数 , () [ , + 且 l y td< 。. y t ∈c x+ ] () t 。
[ 稿 日期 ]2 0 —9】 收 0 60 一3 [ 金 项 目] 国 家 自然科 学 基 金 (0 7 1 7 基 16 16 )
紧集 . B n c 对 a a h空 间 中 的 有 界 集 C, a C) 示 其 Kuao k 非 紧 性 测 度. 文 中 , 们 分 别 用 用 ( 表 rtws i 本 我
a )a (・ ,Ⅸ(・) 表示 E, E E 空间 中有界集 的 Kuao k 非 紧性测 度. BC J, ] rtws i 有关非 紧性 测 度 的详 细定 义
对于任 意 , Ec y, , 义度量 E E] 定
,
其 中 lt 一 s p l () ()l 显然 , [ E 在该度 量 d意义下是 F 6h t 间. I —y l . f l u l f 一 £ I . c j, ] rc e 空 容易 知道 , D 是空 间 c[ E 中的相对 紧集 的充要 条件是 对 于任意常 数 m>O D 0 y, ] , l 都是 空问 c i , , ] 的相 对 . l o ] E 中
( 苏工 业 学 院 数 理 学 院 , 苏 常 州 2 3 6 ) 江 江 1 14
[ 摘
要] 在 F6h t 间 中 利用 推 广 的 Tyh n v不动 点 定 理 研 究 了 B n c 间 中一 阶非 线 性 微 分 方 rc e 空 co o a ah空
程 终 值 问题 解 的存 在 性 .
一
{ Ec j E lu “ £ l × . u C J E ,I l 、 u “ £ l 易 知( C[ 明 ,I・ I 为 u [ , ] spl ()l 3 若 6B [ , ] l 一spl ()l, i <C } “l H l B J, I I 脏)
Banach空间中一阶脉冲微分方程组的无穷边值问题解的存在唯一性
Banach空间中一阶脉冲微分方程组的无穷边值问题解的存在唯一性汤小松;王志伟;罗节英【期刊名称】《四川师范大学学报(自然科学版)》【年(卷),期】2012(035)006【摘要】研究如下一类Banach空间中一阶脉冲微分方程组的无穷边值问题u’=f(t,u(t),v(t)),v’=g(t,u(t),v(t)),(A)t∈J,t≠tk,△u|t=tk=Ik(u(tk),v(tk)),△v|t=tk=Jk(u(tk),v(tk)),k=1,2,…u(∞)=βu(0) ,v(∞)=δv(0).首先利用H.M(o)nch不动点定理和非紧性测度,获得了该问题解的存在性,然后在解存在的前提下,利用反证法证明了解的唯一性,所得结果推广了现有文献中已有的结论.最后,举例说明了结果的有效性.%In this paper, the existence and uniqueness of solutions for the following nonlinear first-order impulsive differential systems with infinite boundary value problems are consideredrnu'=f(t,u(t),v(t)),v'=g(t,u(t),v(t)),VtEj,t=tk,u/t=tk=1k(U(tk),v(tk)),v /t=tk=jk(u(tk),v(tk)),k=1.2.`````u(oo)=Bu(0),v(oo)=8v(0).rnFirstly, the existence of solution for the problem is established based on the H. Monch' s fixed point theorem and the measures of non-compactness. Furthermore, based on the existence of solution, the uniqueness of solution is proved by using the argument of contradiction. The obtained results in this paper are new and extend some known results. Finally, an example is presented to illustrate the effects of the present theorems.【总页数】7页(P802-808)【作者】汤小松;王志伟;罗节英【作者单位】井冈山大学数理学院,江西吉安343009;井冈山大学数理学院,江西吉安343009;井冈山大学数理学院,江西吉安343009【正文语种】中文【中图分类】O175.8【相关文献】1.Banach空间中一阶非线性微分方程组边值问题解的存在性 [J], 李耀红2.无穷区间上一阶非线性脉冲微分方程组边值问题的多个正解 [J], 李耀红;张祖峰3.Banach空间中一阶非线性微分方程组无穷边值问题解的存在性 [J], 张海燕;张祖峰4.Banach空间中的一阶脉冲积微分方程无穷边值问题 [J], 石漂漂;王文霞5.Banach空间中含有无穷多个跳跃点的一阶脉冲积分-微分方程的无穷边值问题[J], 袁伟因版权原因,仅展示原文概要,查看原文内容请购买。
Banach空间中带积分边界条件的一阶奇异脉冲微分方程边值问题的正解
(1 1) .
其中J 01,, 0 ,∈ , 且f . ( ≥ , B一㈤ 一‘se ㈩d> :E, > ,g LL 1 ∈, f 0 e 出 f() 5 0 在“= ] p 0] 时g ) — g — 0
张梅 , 丛 丛 , 衍 胜 田 刘
( 山东师范大学数学科学学 院 , 山东 济南 2 0 1 ) 50 4 摘要 : 通过构造一个特殊 的算 子 , 用锥拉伸和锥压缩不动点定 理 , 利 研究 了 B n c a ah空 间中一类 带积分边界 条 件 的奇异脉冲微分方程边值问题 的正解及多重正解的存在性.
关键词 : 奇异 ; 脉冲 ; 积分边界条件 ; 多解
中图 分 类 号 : 15 8 O 7 . 文献 标 识 码 : A
P stv o u i n fFis - d r o ii e S l to so r tOr e
Si ul r I p sve Bo ng a m ul i unda y Va ue Pr bl m r l o e wih nt g a unda y Co t I e r lBo r ndii n n Ba c to i na h Spa e c
1 0
山 东 科 学
2 1 拄 00
处 有奇 异 , u t)=u f)一M f , A ( ( ( ) 这里 u ) 或 (i )表示 u t 在 t=t 的右极 限( ( ( f) () 处 或左极 限 ) .
首 先给 出如下 记号 :o= [ , ]J J 0t , = ( , ]k =12 … , 一1J tt , ,, m ,m= ( 1. t ] , 设 是 实 的 B nc 间 ,c[ , aah空 P .E]= { : — EI 在 .上 连续 ,(i , UJ , U t)=“ t) “ f 存在 , 12 ( ,( ) k= ,,
Banach空间半直线上奇异脉冲积分-微分方程初值问题解的存在性和唯一性
维普资讯
54 0
工
程
数
学
学
报
第 2 卷 4
下成为一 B nc aah空间,且 P CJE cP [ E 。 F [ 】 CJ 】 , , 考虑一阶奇异脉冲积分微分方程 Nhomakorabea值 问题
{毫 t ・ 一c =. ≤ 。 2 2 V 。 = t . E ; J , c
文章编 ̄: 0—0 520)300—8 1 538 (070—530 0
B nc aah空 间半直线上 奇异脉 冲积分一 分方程 微
初 值 问题解 的存 在性和 唯一性牢
赵成 龙 刘衍胜 ,
f.济南工程职业技术学院数理教研 室,山东 2 0 0 1 520 2 .山东师范大学数学科学学院 ,济南 2 0 1 ) 5 0 4 摘 要:本文在更广泛 的情况下 ,利用 S d vki a o si 不动 点定理研究 了 Ba a h空间 中半直线上一类非线性 nc 奇异脉冲积分. 微分方程初 值问题解 的存在性和唯一性,推广并改进 了已有文献中的相关结果。 关键词 : 脉冲积分. 微分方程 ;存在性和唯一性;紧性测度
成为一 B n c a ah空间。令
P C F[ 容易看出 P CJE 在范数 F [ 1 ,
=
P【 C
s : up +
㈣
<∞1 +)
IlF: p ll u xP
收稿 日期: 050-6 作者简介:赵成龙(9 2 月生1 20—70. 17 年5 ,男,硕士. 研究方向:非线性微 分方程 基金项 目:国家 自然科学基 ̄(07 1 1: 山东省 自然科 学基 ̄ ( 06 2) t15 11 ) Y20 A 2.
性奇异混合方程初值问题进行研究,尤其是非线性项无界的情况 。本文采用与文【5 不同的 1】 .
Banach空间中一类非线性弹性梁方程正解的存在性
8月
文章 编 号 :l 0 -3 2 ( 0 )0 ・0 2 0 0 67 0 2 1 1 30 1 - 4
B nc a a h空 间 中一 类非 线性 弹性 梁 方 程
正解 的存 在 性
张培 国
( 泽学 院 初等教 育 系,山 东 菏泽 2 4 0 菏 7 0 0)
摘 要 :讨 论 了 B n c aa h空 间 非 线 性 弹 性 梁 方 程
I ) 2 ( ()t ( = ft ,, E ¨f ,) J
I0= ) “1 u(= ) 甜( = ) r) 0 ( o (= n 1
正 解 的 存 在 性 .通 过 构 造 一 个 特 殊 的 锥 ,运 用锥 拉 伸 压 缩 不 动 点 定 理 ,证 明 了上 述 微 分 方 程 正 解 存 在 的 条 件 ,并 给 出 一 个 例 子 说 明 主 要 结 果 . 关 键 词 :B n c aa h空 间 ;弹 性 梁 方程 ;不 动 点 ;边 值 问题 中 图 分 类 号 :O1 58 7. 文 献 标 志 码 :A
>0,J=(, , 是 E中的 零 元 .令 P ={ ∈E l ) 0 01 ) ’ 妒 ’ , ∈P , P 是 户的对 偶 锥 .本 文 中假设 P ) 称 .
是 正规 锥 ,不 失 一 般 性 ,设 正 规 常数 为 1 . 为 了方 便 ,首 先 列 出 假 设 条 件 :
ZHANG Pe-g o i u
f p rme t f e nayE u ain HeeU iest, z 7 0 0 C ia De at n me tr d c t , z nv ri Hee2 4 0 , hn ) o El o y
banach空间fredholm型积分方程解的存在性判定
banach空间fredholm型积分方程解的存在性判定Banach空间Fredholm积分方程是求解不同种类积分方程的重要方法。
它的求解是基于测度论,随着研究的深入,越来越受到大家的重视,但是由于Banach空间Fredholm积分方程的存在性判定是难以解决的一个重要问题。
本文将重点介绍Banach空间Fredholm积分方程解的存在性判定。
首先,介绍Banach空间Fredholm积分方程。
Banach空间Fredholm积分方程指,如果X是Banach空间,K(x,y)是X×X到实数或复数的积分核,F(x)是X到实数或复数的积分函数,且积分核K(x,y)及积分函数F(x)在X上满足一定条件,则存在一个唯一的函数u(x),使得:$ int_{X}K(x,y)u(y)dy=F(x),x∈X $此方程叫做Banach空间中的Fredholm积分方程,简称Banach 空间Fredholm积分方程。
其次,介绍Banach空间Fredholm积分方程解的存在性判定。
Banach空间Fredholm积分方程解的存在性判定需要满足以下几个条件:(1)积分核K(x,y)是X×X到实数或复数的连续函数;(2)积分函数F(x)是X到实数或复数的连续函数;(3)若存在A为X的子空间,满足K(x,y)极限于零,当x∈A,y∈AA时;(4)F(x)在X上收敛;(5)若存在m∈[1,∞),使得当x∈X,y∈X时,有|K(x,y)|≤m。
根据以上条件,若积分核K(x,y)与积分函数F(x)满足以上五个条件,则Banach空间Fredholm积分方程解的存在性问题就可以证明了。
然后,介绍Banach空间Fredholm积分解的存在性判定中使用的方法。
一是山口穷尽定理,山口穷尽定理提出了一种求解Banach空间Fredholm积分方程解的存在性判定的方法,即若存在若干相互正交的基,则可以构造出Fredholm积分方程的特解,从而实现Fredholm 积分方程的存在性判定。
banach空间常微分方程解的存在定理及其解与纯量方程解的关系
banach空间常微分方程解的存在定理及其解与纯量方
程解的关系
Banach空间常微分方程解的存在定理及其解与纯量方程解的关系:
1.Banach空间的含义:
Banach空间是一类模式空间,它被引入到几何空间的代数结构中,用于处理泛函分析、函数拓扑以及更复杂的物理理论。
它们是线性的、具有正定的距离函数的完备的空间,通常被广泛应用于几何分析、物理学和工程学中。
2. Banach空间常微分方程的存在定理:
Banach空间常微分方程存在定理指的是关于存在解的结果,它确定在Banach空间中存在一个微分方程的具有内在满足性的解集。
首先,定义称Banach空间X上的具有Lipschitz连续梯度的局部Lipschitz函数f 称为C-Lipschitz函数,用f表示,C-Lipschitz函数f(t,u)满足条件:它存在bounded set K 这标量K,只要u ,v∈ K,都有:|f(t,u)-f(t,v)|
≤CL|u-v|,其中C是定数。
3.Banach空间常微分方程解与纯量方程解的关系:
Banach空间常微分方程解与纯量方程解之间存在着相关性。
纯量方程是一种特殊的微分方程,它只含有某一变量的函数表达式,这变量满足所给的微分方程。
而Banach空间常微分方程作为普通的微分方程,
它的解需要满足常微分方程的某种形式的局部Lipschitz函数;纯量方程的解仅仅可以从一个内在参数出发,它通过一个连续的基本表达式满足局部Lipschitz不变条件,从而在Banach空间上获得解集,而这个表达式只是纯量变量的函数表达式。
因此,纯量方程解和Banach空间常微分方程解之间存在着相关性。
Banach空间中一阶非线性微分方程组无穷边值问题解的存在性
摘
要 : 用 一 个新 的 比较 结 果 和 M0 c 利 nh不 动 点 定 理 , 究 了 B nc 研 a ah空 间 中 一 阶 非 线 性 微 分 方
程 组 无 穷 边 值 问 题 , 较 宽 松 的 条 件 下 获 得 了正 解 的存 在 性 定 理 , 进 了某 些 已知 的结 果 . 在 改 关 键 词 :比较 结 果 ;边 值 问题 ;不 动 点 定 理 ; a ah空 间 B nc
+ C } x , 3
对 于任 意 的 ∈ B , ] 定义 范数 C[ E ,
I(。 一 础( ) v o)一 () 。) o , (o o ,
其 中 ,, a > 1 .
l l = s pl ()l, l = u l “l = l 易知 ( C[ , ] l l )为 B n c 间. B - E , l・ l 厂 a ah空
文 献都 得到 了很 好结 果 , 但有 些结 果所 用 的限制 性 条 件较 为严 格 , 对先验 估 计和 非 紧性测 度估 计有 较
强 的要 求.
其 中,
T ( , ()一 lf s s , ) s 1 “ ) £ ( , ) () d + (
)d, ) ( ) 5
() 2
近年 来 , 微分 方程 边值 问题 正解 的存 在性 问题
引起 了学 者 的广泛 关 注 , 获得 许 — B J, ]×B J E] 定义 范数 CE E C[ , , l “ l 一 l l + _ l , l ,)l ( l “l l f () 3 可证 X在 范数 l( )l 下为一 B n c 空 间. l , 』 aah 令
本 文利 用一 个新 的 比较结 果 和 Mo c n h不动 点
Banach空间中一阶脉冲积分-微分方程初值问题整体解的存在性
摘要:通过逐段应用推广的 Dab r o不动点定理,在较弱的条件下 ,给出了实 Ba a h空 间中 nc
一
阶脉冲积分 一 微分方程初值 问题整体解的存在性,改进 了一些 已有 的结果.
1
关键词:一阶非线性脉冲方程;非紧性测度;初值 问题 ;整体解; Dab r o不动点定理.
M R(0 0 2 0 )主题分类:50 ; 4 3 中图分类号: 17 文献标识码: 4 J5 3K 0 O 7. 2 A 文章编号:03 982 0)2331 10— 9(080— —0 3 8
到了 I P 1 解存在的一个充分条件.值的指出的是,上述所有的文献都对脉冲项加了强的 V () 紧型条件 和 系数限制 或加 了严格 的上控 条件 .我 们知道在 抽象 空 间里,上 述条件 都是难 于验 证 的.这 样去掉 和减 弱上 述条 件对 问题 的应 用无疑 是很 有 帮助 的 .本 文受文 献 『 的 启发 , 6 ] 首先 给 出 Dab ro不动 点定理 的 一个推 广形 式 ,见 文献 『 ]然后 通过 逐段 应用推 广 的 Dab 1, 2 ro 不动 点定理 ,得 到 了 I () VP 1 整体 解 存在 的一个 充分条 件 ,同时避 免了对 脉冲 项所 作紧型 条 件 ,系数 限制 或上 控条件 ,从而 本质 上改进 了以往文 献 中的主 要结果 .
维普资讯
20 ,8 2:8— 9 082 A() 332 3
数学物理学报
Ba ah空 间中一阶脉冲积分 一 nc 微分方程初值 问题整体解 的存在性
, 矗 l l
,● ●●● ●,、 ●●● L
张新 光 刘立 山
( 曲阜师范大学数学科 学学院 曲阜 2 3 6 ) 7 1 5
Banach空间中一类非线性Volterra型积分方程整体解的存在性
( ) ( ()d , s )
,
则 ( x) t : ( A ) t .这 里 A () A. ( )
k ∈ c[ R D, ],
= 12 D = { t s ,, ( , )∈ ‘ , t≥ s ,×.: }
( 4) 1
.
E c[ ×n, , E c J×囝, , 是 E 中的开 集 J× E] [ E]
( )= t
、
()ss1()r rr , J () ,) s/ ,)) v 1 ,, , :r((d s ∈ s(( J , )d : . 1
‘
相应 的积分算 子为 :
收 稿 日期 :20 .32 0 80 —6
第1 期
袁 邢 华 , : aih空 间 中 一 类 非 线 性 V lr 等 Bnc t o。r 积 分 方 程 整 体 解 的存 在 性 t a型
第 l卷 第 1 2 期
20 1 年 3月 0
应 用 泛 函分 析 学 报
AC I ANAL I UNCT ONAL S APP I A I YS S F I I L CAT t A
Vo i.12
No.1
Ma c rh.
2 0 01
文 章 编号 :10 .3 7(0 0 1o 6 —5 09 1 2 2 1 )0 一o oO
B nc a ah空 间 中 一 类 非 线 性 V l ra型 ot r e 积 分 方 程整 体 解 的存 在 性
袁邢华, 蒋巧云
( 通 大 学 理 学 院 ,南 通 南 260 ) 2 0 7
摘 要 : 利 用 一 个 新 的不 动 点 定 理 在 较 弱 的 条 件 下 考 虑 B n c a ah空 间 中 一 类 非 线 性 V I r o er 积 分 方 程 t a型
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2 预备知识和引理
设 G为边 值 问题 一 +Mx=0 () () , 0 : 1 =0的 Gre en函数 ,则
f (1th s 0 £ , r -)() s 1 cn ) r , h ( cn
G( s
L ms m h ' 0< < 1 . ’ 一 一 一~
一
( 一0 = (( ) = , ) 亡 ) j
( 1 1 )
.
0 ( 12… ,) k= ,, P
在锥中多解存在性,其中 M >0ft ) , ( 可能在 t , =1 , =0t 附近具有奇异性, f∈ [ ,) ( 1× 0 P P, ∈ [j ] =12… ,. , ] k P P, / k ,, P
收稿 日 t o 51 -8 修订 日 t 0 6 1 —5 期 o - o1 ; 2 期 0 — 21 2
E- al hx 9 5 8 ̄ 1 3.o m i:z q1 7 0 6 cm
} 基金项 目t聊城大学科研启动基金 (10 ) 38 5 、国家 自然科学基金 (07 17 资助 16 16)
・
1 )
其中 m: / c :-5 ,x , 、 h 一 s =竽 , x --h , - + 。 -
, 看出 容易
(. 2) 2
v( s c(,) 0 ts 1 t) , ss, ,
经过 简单计算 可得
1
∞ j) s
为 了(), ∈(,) ∈E, 中 g:01 一 (,0 连 续 , h: — E HI I t ) f , l ( l xlt o1, )h l 其 (,) 0O) E 连续有界 且满足 c(,)()s<+∞. ssgsd (2 对 ( H) H )中的 hx ()有
t 6J
.
设 P为 E 中的一个 锥, 它引入 了 E中的一个 半序关 系 “ . Y当且仅 当 y ∈P, ” - 同 样由 P引入 P [ E 中的半序关系, , CJ ] , Y∈P [ E , Y当且仅当对 Vt xt CJ 】 , ∈ ( ( . ) t ) 本文 考虑二 阶脉 冲奇 异边值 问题 ) ( ( ) t 01, ≠t, =ft t , ∈(,) , ) t k
维普资讯
20 ,7 4: 370 0 7 A() 5—6 2 7
数学物理学报
B nc a ah空间一类奇异脉冲微分方程的多解存在性
张兴秋 仲秋 艳
( 聊城大学数 学科学学院 聊城 22 5) 50 9
摘 要:该文利用不动点指数理论讨论了 Ba ah空 间中一类 带奇异性 的脉 冲微 分方 程 Ne— nc u ma n边值 问题多解 的存在性,并给出了应用 . n .
维普资讯
74 5
数 学
物 理
学 报
V 17 02 l. A
以下谈及问题 (. 的解是指 ∈P [ E 并且 满足 (. 式,正解是指非负且非平 1) 1 CJ ] , 1) 1
凡解 .
设 ( :01 一 E 连续,如果极限 l xt t £ (,) ) 毋. (d 存在 , ) 则称抽象 积分 xt t (d 收敛 , ) 类似 可定义其他各 种广义 积分 的敛 散性 . 令 :{ ∈E: l r, ∈P JE , lc r( >0, l l }B :{ l C[ ]l l } , l P r )对于 D cP [ E , C J ] , 记 D( : {() ∈J}CE(∈J , 表 示 Kuao k 非紧性测 度.有关非紧性 测度 的定 t ) £ : [ t )O ) L rtwsi 义和性 质参见文 献 『 3. 1 ] -
关键词:奇性;脉 冲;多解 .
M R(0 0 2 0 )主题分类:4 2; 50 中囝分类号 : 15 ; 15 5 文献标识码t 3G 0 4J 5 O 7. O 7. 8 1 A 文章编号:0339(070—5— 10—9820)4730 8
1 引言
脉冲微分 方程及抽象 空间微分方 程理论都是 微分 方程理论 的重要分 支.由于它们 广泛 的 应用背景, 近年来得到了充分的发展 [ 3 对两者的结合, 1】 -. 郭大钧教授在文献 f 中进行了深入 3 ] 的讨 论. 另外 , 常微分 方程奇 异边值 问题 的研究也 日趋活跃 [ 引 对于方程 一 ”t+M t= . ( ) () ft ( ) ( t 文献 【 1】 , ) 8 0 在不同的边界条件下进行了研究. — 最近, 文献 【 在 f∈ o1×【 O) 4 】 c[ 】 0 O , , 边 界条件为 () , ) 0即 N u n 0= ( = 1 ema n边界下进 行 了研 究 ,得到 了边值 问题的正 解 .到 目前为止 ,抽象 空 间奇异 边值 问题 ,尤其是 带奇 异性的 具脉 冲作 用的边 值 问题 的多解 ,还很 少有 人进 行研 究.本文利 用锥理 论 中不 动点指 数理 论讨论 了 B nc 间中带奇异性 的具脉 aah空 冲作 用的 N u n ema n边 值问题 多解的 存在性 ,并 给 出了应用 . 设 ( [I E,. fI )是 B nc 空间 ,令 J = f 1 0= t aah 0 】 ,, 0< t l< … < t p< t+ p 1= 1 设 , P [E CJ ]= { I t — E 在 t≠ 处连续,在 t= t , ( ): , k处左连续, ( ) t 存在, k ,, ,) 显然, P [ E 在范数 I =12… p . CJ 】 , P c=spI( l u tI I ) 下成为 B n c x a ah空间.