1. 引言
反馈是自动控制系统中常见的现象,在电动力学、流行病学、生物学中的许多研究都与迭代微分方程密切相关。近年来迭代整数阶微分方程已经被许多研究者研究,Buica等在文 [1] 中研究了一类泛函微分方程解的存在性和连续依赖性问题
其中
,
,用Schauder不动点定理和压缩映射原理,得到了其解的存在性和唯一性,Kaufmann等在文 [2] 中研究了一类二阶迭代边值问题
应用Schauder不动点定理得到了解的存在性。
分数阶微分方程是微分方程理论中的一个重要研究分支,一直受到人们的关注。它们作为一种有价值的工具出现在科学和工程各个领域的许多现象的模型中。我们可以在物理、化学、生物学等领域找到许多应用。作为整数阶的推广,分数阶微分方程可以更准确的描述某些事物发展的过程,一些杰出的专著为分数阶微分方程的定性分析提供了主要的理论工具,同时也展示了整数阶微分模型与分数阶微分模型之间的相互联系和对比 [3] [4]。Wang等在文 [5] 中研究了一类具有参数线性修正迭代的分数阶微分方程
其中
是Caputo导数
,f是Carathéodory函数。应用Picard算子理论研究了解的存在唯一性。Deng等在文 [6] 中研究了分数阶迭代微分方程
其中
。应用非扩张映射和不动点方法研究了分数阶迭代微分方程解的存在性和逼近性。利用Chebyshev范数、Bielecki范数,在两个不同的工作空间中得到了近似解的不动点迭代法的存在性定理和收敛性定理。
受以上问题及文 [7] 的启发,本文主要研究一类非瞬时脉冲分数阶微分方程局部边值问题
(1.1)
的解的存在性和唯一性,其中
为Caputo型分数阶导数,
,令
,
,
,
,
,
。
分别是
在
的右极限和左极限,
分别是
在
的右极限和左极限,
,
。
现有的研究迭代微分方程的文章大多数集中于研究整数阶的迭代微分方程,研究分数阶迭代微分方程的文章很少,研究带有非瞬时脉冲的分数阶微分方程更不多见。分数阶迭代微分方程能更准确的描述某些事物发展过程中的变化趋势,比如在流行病治疗过程中药物对病情的影响,所以研究这个是非常有意义的。
本文的主要结构如下:在第二部分我们给出了一些关于分数阶微分方程的引理以及要用到的不动点定理;在第三部分证明了解的存在唯一性结果。
2. 准备工作
在这一部分,我们回忆一些关于分数阶微分积分定义。
定义2.1 (见 [3])连续函数
的
阶Riemann-Liouvile型分数阶积分定义为
其中
为Gamma函数,
。
定义2.2 (见 [3])连续函数
的
阶Caputo型分数阶导数定义为
其中
为Gamma函数,
。
引理2.1 (见 [3])设
则
其中
,
。
引理2.2 (Schauder不动点定理) (见 [8])设E是一个实赋范线性空间D是Banach空间E中的一个非空有界闭凸子集,又设映射
是全连续算子,则A在D中必有不动点。
引理2.3 (Banach压缩映像原理) (见 [9])设E是一个Banach 空间,
是一个非空闭集,
,若存在
使得对任意的
有
,则有唯一一个元素
使得
即
是算子A的唯一不动点。
为了方便,记
,
,
。
引理2.4 设
,
,
,
,那么线性分数阶非瞬时脉冲微分方程非局部边值问题
(2.1)
有唯一解
证明:假设
是问题(2.1)的解,则存在常数
,使得对任意的
,有
(2.2)
对任意的
,有
(2.3)
对任意的
有
(2.4)
将初值条件
代入(2.4)得
,
(2.5)
由
结合(2.3)得
将上式代入(2.5)得
对任意的
有
由
得
,所以
(2.6)
由
,结合(2.3)得
将上式代入(2.5)整理得
重复上述过程可得对任意的
有
综上所述结论得证。
记
,由上述引理的证明过程可知下面引理成立。
引理2.5 若
,
,那么问题(1.1)等价于以下积分方程
定义空间
为分段连续函数空间,并赋予范数
。
取
,
,设有
使得对任意的
,
,有
,取
。
记集合:
,
,任意
或
。
定义算子
:
为了方便记
引理2.6 算子
全连续
证明:首先,证明T为连续算子。设
,且
,即
对任意的
,当
时有
。由于
是连续函数,从而满足
时,
,
。由
Lebesgue控制收敛定理可以知道,当
时
。因此,
当
时可得
当
时,可得
。所以,
,
,因此T连续。
其次,证明T是紧的,令
当
时,对任意的
有
当
时,对任意的
有
。因此,
一致有界。
对任意的
,取
。由于
在
上连续,所以
在
上一致连续,从而存在常数
使得当
且
时,有
,
取
。
当
,且
时,对任意的
有
当
且
时,对任意的
有
所以,
在J上等度连续,由Arzela-Ascoli定理知T是紧的。综上所述,T是全连续算子。
3. 边值问题解的存在唯一性
记
,
,
。
假设下列条件成立:
(H1)存在常数
使得下式成立
(H2)
。
定理3.1 假设条件(H1)(H2)成立,则非瞬时脉冲分数阶迭代微分方程非局部边值问题(1.1)至少存在一个解。
证明:由引理2.6可知
是全连续算子。
由条件(H1)(H2)可知,当
时,
又因为当
时,有
,所以对任意的
有
令
,由条件(H1)及引理2.6的证明过程可知对任意的
,任意的
有
。所以
。再由引理2.6可得
是全连续算子。
综上所述,由Schauder不动点定理可知算子T 在
上有不动点,故边值问题(1.1)至少有一个解。
假设下列条件成立:
(H3)存在常数
,使得对任意
及任取
,有
定理3.2 假设条件(H1)~(H3)成立,且有
则非瞬时脉冲分数阶迭代微分方程非局部边值问题(1.1)存在唯一解
。
证明:由定理3.1的条件可知算子
取
,对任意的
,由条件(H1) (H2)可得,当
时有
当
时有
。
综上所述,对任意的
都有
,因为
,所以
,从而可得
T为压缩映射。由Banach压缩映射原理可得,存在唯一一个元素
,使得
,即问题(1.1)存在唯一解。证毕。
4. 结论
本文首先得到了所研究问题的等价积分方程,然后定义了相应算子并利用Arzela-Ascoli定理证明了算子的全连续性,最后利用Schauder不动点定理和压缩映射原理分别得到了分数阶迭代微分方程边值问题解的存在性和唯一性结果。
参考文献