基于Banach空间中立型无穷时滞微分方程.docVIP

基于Banach空间中立型无穷时滞微分方程 　　摘要: 利用Hausdorff非紧测度、分数幂算子和Darbo不动点理论,在半群失去紧性等较弱条件下，研究了基于Banach空间的一类中立型无穷时滞微分方程适度解的存在性, 改进和推广了一些已知的结果. 　　关键词: Hausdorff非紧测度;适度解; 分数幂算子;中立型微分方程;时滞微分方程 　　中图分类号:O175.15 　　 文献标识码:A文章编号:1672-8513(2010)05-0337-04 　　 　　Neutral Differential Equations with Infinite Delay in Banach Spaces 　　ZHANG Xue?mao?1,DONG Qi?xiang?2,LI Gang?2 　　(1. Department of Mathematics and Physics, Taizhou Normal College, Taizhou 225300, China; 2. School of Mathematical Science, Yangzhou University, Yangzhou 225002, China) 　　Abstract: This paper studies neutral differential equations with infinite delay in Banach spaces. The existence of mild solutions to such equations is obtained by using the theory of Hausdorff measure of noncompactness, Fractional power operator and fixed point theorem, without the compactness assumption on associated semigroups, which can improve and generalize some previous results. 　　Key words: Hausdorff measure of noncompactness; mild solutions; Fractional power operator; neutral differential equations; differential equation with delay 　　 　　 ?设X为实?Banach?空间，研究中立型无穷时滞微分方程： 　　(?d?/?d?t)［x(t)+g(t，x?t)］=Ax(t)+f(t，x?t)，t∈［0，b］,(1) 　　x?0=φ∈B.(2) 　　其中A是解析半群{T(t)：t≥0}的无穷小生成元,f，g：［0，b］×B→X,φ∈B为适当的函数,b是正常数.对任何连续函数x:(－∞,b］→X,t∈［0,b］,x?t：(－∞，0］→X定义为x?t(θ)=x(t+θ),θ∈(－∞，0］,本文总是假定x?t属于某抽象相空间B. 　　从上世纪下半叶始,时滞型微分方程就成了研究热点.由于时滞微分方程能更真实地反映客观变化过程,受到越来越多学者的关注,也取得了较丰富的研究成果［1-5］.本文拟利用?Hausdorff?非紧测度、分数幂算子和?Darbo?不动点定理,研究半群T(t)在失去紧性等较弱条件下,基于?Banach?空间的中立型无穷时滞微分方程(1)、(2)适度解的存在性, 改进和推广已有的相关结果. 　　1 预备知识 　　[JP+2]本文总是记X为一个?Banach?空间,C(［a,b］;X)表示在区间［a,b］取值于X上的连续函数空间.χ为X中的?Hausdorff?非紧测度，χ?c为C(［a,b］;X)的?Hausdorff?非紧测度， A:D(A)→X为一解析半群T(t);t≥0的无穷小生成元,0∈ρ(A)；?t∈［0,b］,T(t)≤M在这些条件下定义的分数幂算子(－A)?α,00使得x?σ∈B.x[JB(|]??［σ,σ+b］[JB)]连续，则?t∈σ,σ+b，且下列条件成立：①x?t∈B；②x(t)≤Hx?t?B；③x?t≤K(t－σ)?sup?{x(s):σ≤s≤t+M(t－σ)x?σ?B}.这里H0为常数，K：（0，+∞）→［0，+∞）连续，M：［0，+∞）→［0，+∞）局部有界，H、K、L、M与x(?)无关.这样的函数x(?)，映射t[XC张学茂.tif;%50%50;S*5]x?t∈B在［σ,σ+b］上连续. 　　定义1［9］ 设Y是实?Banach?空间，若B?Y有界，令[JX-*4]χ[JX*4](B)=