APP下载

CFC-分数阶微分方程边值问题的Lyapunov不等式研究

2023-06-05马德香张瑞琦

关键词:实值边值问题导数

马德香,张瑞琦

(华北电力大学 数理学院,北京 102206)

0 引言

随着分数阶微分方程在生物、化学、工程中的应用,各种不同定义的分数阶导数由此产生,相应的分数阶微分方程边值问题的Lyapunov 不等式的研究成为热点。

在文献[1]中研究了下列分数阶微分方程边值问题,

在文献[2]中研究了下列分数阶微分方程边值问题,

关于不同分数阶导数的定义详见文献[3-14]。

最近文献[15]中研究了下列分数阶微分方程边值问题,

在文献[15]中,同时定义了另一种新型导数即在左Caputo 和Fabrizio 的意义下的α阶左 Caputo分数阶导数(简记为CFC-分数阶导数),并研究了下列分数阶微分方程初值问题

解的存在性;同时给出了下列分数阶微分方程边值问题

的等价积分方程。

受以上文献启发,本文讨论下列分数阶微分方程的Lyapunov 和Lyapunov-type 不等式,

1 相关概念、引理

1.1 相关概念

定义1[16]设α>0,f是定义在[a,b]上的实值函数。aIαf表示函数f的α阶左Riemann-Liouville分数积分,定义为:

其中

定义2[17-18]设α∈(0,1],f是定义在[a,b]上的实值函数。表示函数f的α阶Caputo-Fabrizio 分数阶积分,定义为:

其中,B(α)>0 是一个满足B(0)=B(1)=1 的函数。

定义3[15]设α∈(n,n+1],n≥1,f是定义在[a,b]上的实值函数。表示函数f的α阶Caputo-Fabrizio 分数阶积分,定义为:

其中,aIn是n阶的Riemann-Liouville 分数阶积分,是β(β=α-n∈(0,1])阶的Caputo-Fabrizio 分数阶积分。

定义4[15]设α∈(0,1],f是定义在[a,b]上的实值函数。表示函数f的在左Caputo 和Fabrizio 意义下的α阶左 Caputo 分数阶导数(简写CFC-分数阶导数),定义为:

定义5[15]设α∈(n,n+1],n≥1,f(n)是定义在[a,b]上的实值函数。表示函数f的α阶CFC-分数阶导数,定义为:

性质1[15]设α∈(n,n+1],n≥1,u(t)是定义在[a,b]上的函数,则

1.2 相关引理

2 主要结果

3 例子

4 结论

本文基于Green 函数的获得以及对其性质的研究,得到含有CFC-分数阶导数的微分方程边值问题的Lyapunov 和Lyapunov-type 不等式,并讨论了相应特征值问题;利用压缩映射原理证明了相应的非线性问题存在唯一解。丰富了CFC-分数阶微分方程的Lyapunov 和Lyapunov-type 不等式,以及相应非线性问题唯一解的理论,为分数阶方程在数学、生物、化学等领域的应用提供了理论参考。

猜你喜欢

实值边值问题导数
多粒度实值形式概念分析
解导数题的几种构造妙招
带有积分边界条件的奇异摄动边值问题的渐近解
n维模糊数值函数Henstock-Stieltjes积分原函数的可导性与导函数的可积性
实值多变量维数约简:综述
关于导数解法
导数在圆锥曲线中的应用
双正交周期插值小波函数的实值对称性
奇异二阶Neumann边值问题正解的存在性
非线性m点边值问题的多重正解