APP下载

Banach空间脉冲微分方程整体解的存在性

2011-12-02汪子莲

郑州大学学报(理学版) 2011年3期
关键词:汪子不动点算子

汪子莲, 丁 珂

(1.兰州工业高等专科学校 基础学科部 甘肃 兰州 730050; 2.中山大学 岭南学院 广东 广州 510275)

Banach空间脉冲微分方程整体解的存在性

汪子莲1, 丁 珂2

(1.兰州工业高等专科学校 基础学科部 甘肃 兰州 730050; 2.中山大学 岭南学院 广东 广州 510275)

利用Darbo不动点定理研究了Banach空间中一类含有无穷多个跳跃点的一阶脉冲微分方程初值问题,在较弱的条件下获得了其整体解的存在性.

正规锥; 脉冲微分方程; 非紧性测度; 初值问题

0 引言

脉冲微分方程理论研究在固定时刻或不固定时刻发生快速变化或跳跃的发展过程,是对自然界发展过程更直接的反映,近年来得到了广泛关注[1-4].

本文研究有序Banach空间E中脉冲微分方程初值问题

(1)

最近,抽象空间中脉冲微分方程初值问题得到了广泛的研究[2-4],但都是考虑在有限闭区间上局部解的存在性,并且考虑的是有限个脉冲点的情形.文[5-6]在耗散型条件下获得了没有脉冲的微分方程初值问题

(2)

在Hibert空间H中整体解的存在性.本文运用不同于文[5-6]的方法,获得了Banach空间E中含有无穷多个脉冲点的微分方程初值问题(1)整体解的存在性.

1 预备工作及引理

设E为有序Bananch空间,其正元锥P正规,正规常数为N,E中的序关系“≤”由锥P引出[7],x≤y⟺y-x∈P.

引理3(Darbo) 设E为Banach空间,Ω⊂E为非空有界凸闭集,若映像A:Ω→Ω是严格集压缩的,则A在Ω中必有不动点.

首先考察线性脉冲微分方程初值问题

(3)

其中h(t)∈BPC(J,E).

引理4对∀h(t)∈BPC(J,E),x0∈E和yk∈E,k=1,2,…,线性脉冲初值问题(3)有唯一解u∈BPC(J,E)∩C1(J′,E),且

(4)

证明设y0=θ,如果u∈BPC(J,E)∩C1(J′,E)是线性脉冲初值问题(1)的解,则u限制在Jk上满足线性微分方程初值问题

相反,直接验证可知,由(4)式定义的函数u(t)是直线性脉冲微分方程初值问题(3)的解.

引理5假设条件

‖f(t,u)‖≤p(t)‖u‖+q(t),∀t∈J,u∈E;‖Ik(u)‖≤Ck‖u‖,k=1,2,…

成立,则A:BPC(J,E)→BPC(J,E)且u∈BPC(J,E)∩C1(J′,E)是问题(1)的解当且仅当u∈BPC(J,E)是算子A的不动点.

证明对∀u∈BPC(J,E),显然,Au∈BPC(J,E),于是

故‖Au‖≤R,从而Au∈BPC(J,E).因此,算子A有定义.又由引理4可知,u∈BPC(J,E)∩C1(J′,E)是问题(1)的解当且仅当u∈BPC(J,E)是算子A的不动点.

首先证明α(AC)≤d.事实上,由算子A的定义及假设H1易知(AC)(t)为Jk上等度连续的函数族,且对∀ε>0,∃N,当t1,t2>N时,对一切u∈C,有

‖(Au)(t1)-(Au)(t2)‖<ε.

(5)

因为函数族(AC)(t)在每个Ji(i=1,2,…,k)上等度连续,由引理1可知

(6)

因而对∀Au1,Au2∈ACi,当t>tk时,由(5)式与(6)式,有

‖(Au1)(t)-(Au2)(t)‖≤‖(Au1)(t)-(Au1)(tk)‖+‖(Au1)(tk)-(Au2)(tk)‖+
‖(Au2)(tk)-(Au2)(t)‖<3ε+d,t>tk.

(7)

‖(Au1)(t)-(Au2)(t)‖≤‖Au1-Au2‖≤α(AC)+ε,

(8)

2 主要结果

定理1设E为有序Banach空间,其正元锥P正规,正规常数为N.f∈C(J×E,E),Ik∈C(E,E),k=1,2,….若条件H1满足,并且假设H2如下:

H2存在l∈L[0,+∞)及非负常数Mk,使得对任意有界集D⊂E,有

α(f(t,D))≤l(t)α(D);α(Ik(D))≤Mkα(D),k=1,2,…,

证明由算子A的定义、假设H1及引理5,易知A:BPC(J,E)→BPC(J,E)连续.

下面证明A:B→B.事实上,对∀u∈B,由算子A的定义及假设H1,有

因此,A为从凸闭集B到B的连续算子.

由引理2及假设H2,有

由t的任意性可知

(9)

由(9)式、假设H2及引理2,有

(10)

所以,A:B→B为严格集压缩映射.

因此,由引理3可知,A在B中至少有一个不动点u,故u∈BPC(J,E)为问题(1)的解.证毕.

下面给出一个例子说明我们的结论.

例1考虑无穷维脉冲系统

(11)

其中,0

定理2脉冲微分系统(11)在[0,+∞)中至少存在一个解.

(12)

显然,x0∈E,f∈C(J×E,E),Ik∈C(E,E),k=1,2,….下面验证H1与H2成立.

故H1满足.

由文[8-9]知,h(t,D)在E中相对紧,即α(h(t,D))=0,t∈J.因此,有

α(f(t,D))≤l(t)α(D),α(Ik(D))≤Mkα(D),t∈J,k=1,2,…,

故H2满足.因此,由定理1可知结论成立.

[1] Lakshmikantham V,Bainov D D,Simeonov P S.Theory of Impulsive Differential Equations[M].Singapore:World Scientific,1989:2-18.

[2] Sun Jingxian. Extremal solutions initial value problem for integro-differential of mixed type in Banach spaces[J].Ann Diff Eqs,1992,8(1):469-475.

[3] Guo Dajun, Liu Xinzhi. Extremal solutions of nonlinear impulsive integro-differential equations in Banach spaces[J].J Anal Math Anal,1993,177(2):538-553.

[4] Liu Xinzhi, Guo Dajun. Initial value problems for first-order impulsive integro-differential equations on unbound domains in a Banach space[J].Comm Appl Nonlinear Anal,1995,2(1):65-83.

[5] Martin J R H. Differential equations on closed subsets of a Banach space[J].Trans Amer Math Aoc,1973,17(1):399-414.

[6] Deiling K.On existence and uniqueness for differential equations[J].Ann Mat Pura Appl,1975,106(1):1-12.

[7] 郭大钧.非线性分析中的半序方法[M].济南:山东科学技术出版社,2000:15-20.

[8] Guo Dajun,Lakshmikantham V.Nonlinear in Abstract Cones[M].San Diego:Academic Press,Inc,1988:24-25.

[9] 杨洁,孟风娟.一类二阶超二次哈密顿系统的周期解[J].郑州大学学报:理学版,2009,41(4):6-10.

ExistenceofGlobalSolutionsforImpulsiveDifferentialEquationsinBanachSpaces

WANG Zi-lian1, DING Ke2

(1.CollegeofBasicCourses,LanzhouPolytechnicCollege,Lanzhou730050,China; 2.LingnanCollege,SunYat-setUniversity,Guangzhou510275,China)

By using Darbo fixed point theorem, a kind of initial value problems for first order impulsive differential equations with infinite skip points in a Banach space was studied.And the existence of global solutions was obtained under weak conditions.

normal cone; impulsive differential equation; measure of noncompactness; initial value problems

O 175.15

A

1671-6841(2011)03-0022-05

2010-05-08

甘肃省教育厅科研项目,编号0712B- 02.

汪子莲(1964-),女,副教授,主要从事常微分方程边值问题研究,E-mail:sapingddk@163.com.

猜你喜欢

汪子不动点算子
与由分数阶Laplace算子生成的热半群相关的微分变换算子的有界性
一类截断Hankel算子的复对称性
我们家的“猫老肥”
基于一类迭代方程可微性解存在探讨
工厂化、小棚、大汪子…… 400精英齐聚山东,探讨北方养虾新思路
拟微分算子在Hp(ω)上的有界性
Heisenberg群上与Schrödinger算子相关的Riesz变换在Hardy空间上的有界性
W-空间上6个映射的公共不动点
活用“不动点”解决几类数学问题
弑父(短篇小说)