分数阶微分方程边值问题正解存在性.pdfVIP

◎ 生物数学学报2013，283()：395—4O0BiJ0mouartnhaemlatoifcs 分数阶微分方程边值问题正解的存在性 岳亚卿 康淑瑰 。 高 英 。 (1山西师范大学 数学与计算机科学学院，山西 临汾 041000 2山西大同大学 数学与计算机科学学院，山西 大同 037009) 摘 要：讨论 了非线性分数阶微分方程的两点边值问题，其中的导数是 Caputo型分数阶导 数，利用上下解方法和 Schauder不动点定理得到了该边值问题正解存在性． 关键词：边值问题；Caputo型分数阶导数；上下解方法 中图分类号： O175．8 MR 分类号：26A33；34B18 文献标识码：A 文章编号：lOO1—9626(2013)03—0395一C6 0 引 言 分数阶微分方程在许多领域中有着重要的应用．例如：传输理论，控制理论，非牛顿流体 力学，生物系统的电传导系数，神经元的分数阶模型等 [1-7]．近年来，许多关于分数阶微分方 程的研究成果发表．文献 [3】利用上下解方法研究了带有Riemann．L．iouville型分数阶导数的微 分方程．文献 [4】应用 Darbo不动点定理得到了分数阶微分方程解的存在性．文献 [5]研究了 非线性分数阶泛函微分方程的初值问题，分别基于Banach不动点定理，Schauder不动点定理 和逐步逼近法获得解的存在结果． 本文讨论下面的边值问题 { 0／s)ds)=0，1，… ㈣ 其中f：0【，1】×[0，+co)×0【，+。。)— (0，+oc)连续，。D 是 Caputo型分数阶导数． 1 定义和引理 本文用 。D ．厂(t)表示函数 f(t)的 0阶Caputo型分数阶导数，其定义及相关知识可 收稿 日期：2012-o7_01 基金项耳：山西省自然科学基金 (2008011002--1)；山西大同大学自然科学基金 (2009一V-15，2010-B-·01)；山西省高 校科技开发项目基金 20111020) 作者简介：岳亚卿 (1984)，女，山西吕梁人，硕士． E-mail：yueyaqing0503@163．com 生 物 数 学 学 报 第28卷 参见文献 6【，7】． 设 E=c0【，]在范数 II乱II m ax Iu()I下构成一个 Banach空间·令 t∈ 】 P={钆∈e[o，1】lu(t) 0，t∈[0，l】)， 显然 P是 E的一个正规锥．文章都是在 E中讨论． 引理 1【】若 Ec[o，1】且v(t) 0，则分数阶边值问题 JD (￡)+ (t)=0， 0t1，1 2 (2) Iu(0)=u(1)=0， 有唯一一个正解 ()= G(t，s)(s)ds，其中 f 0 s t 1 o(t，s)={【t(1一s)一r() 0 t s 1 r(血) ’ 引理 2 若 r“(t)EC [0，1]是边值问题 (1)的一个正解，则 mp(t) ．“(￡) Up(t)，其中 )= ． 由文献 [3】引理 2．4的方法可以证明． 定义 1 函数 (t)是边值问题 (1)的下解，如果 ()EC。0【，1]满足 。。()一，(，()，tK(，s)(s)ds)，12，t∈(。，1) 【(0) 0， (1) 0． 定义 2