Banach空间中一阶非线性微分方程终值问题解的存在性.pdfVIP

第29卷第4期 淮北煤炭师范学院学报 (自然科学版) Vol。29 No．4 2008年 12月 JournalofHuaibeiCoalIndust~TeachersCollege(NaturalScience) Dec．2008 Banach空间中一阶非线性微分方程 终值问题解的存在性 张海燕 一，李耀红 (1．宿州学院数学系，安徽 宿州 234000；2安徽师范大学数学系，安徽 芜湖 241000) 摘 要：文章在 Fr6chet空间利用 Msnch不动点定理，研究了Banach空间中一阶非线性微分方程终值问题，在较宽松 的条件下建立了新的存在性定理，本质上改进和推广了某些已知的结果． 关键词：Banach空问；终值问题；不动点定理；非紧性测度 中图分类号：O1751 文献标识码：A 文章编号：1672—7177(2008)04—0012—04 l 引言 有关一阶非线性常微分方程终值问题，文献[1—2】在实空间对终值问题作了基础性讨论，文献 【3]利用 锥理论将其推广到Banach空间中，得到了更为一般的结果，文献[4】在一定的紧型条件下，对系数加以限制， 利用Sadovskii不动点定理给出了其解的存在性定理，但他们所用的限制性条件都较为严格，对先验估计和 非紧性测度估计有较强的限制性条件．本文在文献 【5J启发下，去掉了上述较强的限制性条件，在较宽松的 条件下，利用Msnch不动点定理，获得 Banach空间一阶非线性微分方程终值问题解的新存在性定理，本质 上改进和推广了文献 【1—4】的结果． 令 (E，Il-l1)是Banach空间，J：[0，+∞)，I厂∈c【JXE，E】，tI ∈E且有界．本文考察Banach空间 E 中一阶非线性微分方程终值问题 ( )： ：f(t，Ⅱ)，∈ … 、【(，∞)、=¨ Ll， 。 解的存在性． 2 预备知识和引理 设 c[-，，E】={tI：．，一EI11,(t)连续)，c 【．，，E {：．，一 I11,(t)连续且一阶可微)．记 BC【．，，E]= {u∈C【J，E】lsupjI“(t)IJ+∞)，且 lira “(t)= (∞)．若 ∈BC[ E】，lluIIc=supII (￡)ll，易知 (BC[J，E】，Il·Ilc)为Banach空间． 对任意 ，Y∈C【E】，我们定义度量 ： 这里 lI —Y』I ： p Jl (t)一Y(t) 显然，c【，E】在此度量 d意义下是 Fr6chet空问．易知， 是空间 、 C[J，E]中的相对紧集的充要条件是对于任意常数 m0，都有 0_l是空间 c[0【，m】，E1中的相对紧集．对 Banach空间中的有界集 c，用 Ot(C)表示Kuratowski非紧性测度．有关非紧性测度的详细定义及性质参见文 收稿 日期：2008—08—28 基金项目：安徽省高校青年教师项闷(2007jql164)；宿州学院自然科学基金项 目(2008yzk02) 作者简介：张海燕 (1980一 )，女，安徽灵壁人，讲师，硕士研究生，研究方向：应』}j非线性泛函分析 第4期 张海燕等：Banaeh空间中一阶非线性微分方程终值问题解的存在性 13 献 6【—7】．另记 B=l ∈BC【．，，E】l}1配l1sr}(rO)． 下面给出几个我们需要用到的引理 ， +∞ r +∞ 弓I理1设7，(