一类分数阶非线性微分包含初值问题的可解性

2017-05-18杨小娟韩晓玲

浙江大学学报（理学版） 2017年3期

关键词：不动点微分算子

杨小娟, 韩晓玲

(西北师范大学数学与统计学院, 甘肃兰州, 730070)

一类分数阶非线性微分包含初值问题的可解性

杨小娟, 韩晓玲*

(西北师范大学数学与统计学院, 甘肃兰州, 730070)

微分包含; 分数阶导数; 可解性;Bohnenblust-Karlin不动点定理

JournalofZhejiangUniversity(ScienceEdition), 2017,44(3):287-291

0 引言

微分包含是微分方程与集值分析的交叉学科,在力学、工程学以及优化与控制理论中有着广泛的应用[1-2].在描述物理、力学、工程、微观经济学等系统时一般都用确定的微分方程模型,但在实际生活及科学实践中,确定的模型通常不适合描述某些动态系统.例如,通常假定微分方程x′(t)=f(t,x(t))的右端为连续函数,但实际中往往难以保证,若将f(t,x(t))嵌入到集值映射F(t,x(t))中,可将其转化为研究微分包含x′(t)∈F(t,x(t)).如文献[2]研究了一阶微分包含周期边值问题

的可解性.

分数阶微分方程被广泛应用于解决各领域的工程问题,如光学、流变学、新材料力学系统等[3-5].此外,在生物学、最优控制等领域亦通过建立微分包含模型对一些实际问题进行理论分析和研究.分数阶微分包含越来越受国内外学者的关注,并取得了一些很好的成果[6].文献[7]介绍了一种新的局部分数阶导数的定义,称为一致分数阶导数,较Riemann-Liouville和Caputo这2种分数阶导数具有更好的性质.文献[8]证明了一致分数阶导数的链式法则、Gronwall不等式以及Laplace变换.文献[9]给出了分数阶导数的一些有意义的计算方法.文献[10]通过定义一个tube解并运用Schauder不动点定理研究了分数阶Cauchy问题

的可解性.

受以上研究的启发,在新的一致分数阶导数的定义下,运用集值映射的不动点定理研究了微分包含问题

(1)

的可解性，并通过定义问题(1)的上下解得到了该问题解的最佳逼近.

1 预备知识

记J=[a,b],C(J)为定义在J上的连续实值函数构成的Banach空间,其范数为‖x‖∞=sup{|x(t)|t∈J}.设Ck(J)为k次连续可微实值函数构成的Banach空间,其范数为‖x‖ck=max{‖x‖∞,…,‖x(k)‖∞}.设L1(J,R)为定义在J上满足∫J|x(t)|dt<+∞可测函数构成的Banach空间,其范数为‖x‖L1=∫J|x(t)|dt.设AC(X)表示X的绝对连续函数全体,CC(X)表示X的非空凸的紧子集全体,BCC(X)表示X的有界非空凸的紧子集全体.

设(X,|·|)是Banach空间,若对任意的x∈X,G(x)是凸(闭)值的,则集值映射G:X→2R是凸(闭)值的.

设对任意的x0∈X,G(x0)是X的非空闭子集,且对每个包含G(x0)的N⊂X,存在x0的开邻域M使得G(M)⊆N,则称G是上半连续的;设B⊂X为有界集,若G(B)是相对紧的,则称G是全连续的;设集值映射G是非空紧的全连续映射,则G是上半连续的充要条件是G有闭图像(即xn→x*,hn→h*,hn→G(xn)⟹h*→G(x*)).

若存在x∈X使得x∈G(x),则G有一个不动点.

以下是一致分数阶导数和微分包含的一些相关结论,详见文献[6-9,11-15].

定义1(一致分数阶导数) 设α∈(0,1]且f:[0,∞)→R,f的一致分数阶导数可定义为

常用fα表示.如果Tα(f)存在,则定义

定义2(一致分数次积分) 设α∈(0,1]且f:[0,∞)→R，f在[a,t]上的α次分数积分可定义为

命题3 设r∈Cα([a,b],R),00}上有rα(t)<0.若r(a)≤0,则对任意t∈[a,b],有r(t)≤0.

定义3 集值映射F:J×R→2R若满足：

(i)对任意的x∈R,有t→F(t,x)是可测的；

(ii)对几乎处处的t∈J,有x→F(t,x)是上半连续的；

(iii)对任意的k>0,存在hk∈L1(J,R+),使得‖F(t,x)‖=sup{|v|:v∈F(t,x)}≤hk(t),其中|x|≤k,t∈J；

则其是L1-Carathéodary函数.

引理2[12]设I是紧的实区间，且X是Banach空间,令F:I×X→CC(X).对任意的y∈X,(t,x)→F(t,x)关于t可测,且对几乎处处的t∈I,(t,x)→F(t,x)关于x是上半连续的.对于每个不动点x∈C[J,R],定义SF,x={v∈L1(J,R):v(t)∈F(t,x(t)),t∈J}≠∅,且设Γ:L1(I,X)→C(I,X)是线性连续映射,则算子Γ°SF:C(I,X)→CC(I,X),x→(Γ°SF)(x):=Γ(SF,x)是C(I,X)×C(I,X)的闭图像算子.

引理3[16]若g∈L1(J,R),则函数x:J→R,

(2)

的解.

定义4 函数x∈AC(J,R)是式(1)的解,如果存在v∈F(t,x(t)),对任意的t∈J,使得xα(t)=v(t)且x(a)=x0.

2 主要结果及其证明

定义5 设φ∈AC(J,R),若存在v1∈L1(J,R)，满足

则称φ(t)是式(1)的下解.

定义6 设ψ∈AC(J,R)，若存在v2∈L1(J,R),满足

则称ψ(t)是式(1)的上解.

定理1 设F:J×R→CC(R)是L1-Carathéodary集值映射,若存在φ,ψ∈AC(J,R),分别是式(1)的下解与上解,其中φ≤ψ.令E={(t,x)∈J×R|φ(t)≤x(t)≤ψ(t)},则对任意的t∈J,式(1)至少有1个解x∈E满足φ(t)≤x(t)≤ψ(t).

(3)

其中，γ:J×R→R定义为

只需证明算子T满足引理1的假设条件,从而可得T有不动点即式(2)的解.

下面分两部分证明：

第1部分:证明上述定义的算子T有不动点.

设0≤λ≤1,则对每一个t∈J,有

ii)对任意常数r>0,令Br={x∈C(J):‖x‖≤r},则Br为C(J)上的有界闭凸集.下证存在r>0,使得T(Br)⊆Br.

对任意的t∈J,有

|hr(t)|=

则‖hr‖≤r,即存在r>0,使得T(Br)⊆Br.

由i)～iii)知T是紧值映射.

iv)T有闭图像.设xn→x*,hn∈T(xn),且hn→h*,下证h*∈T(x*).

由hn∈T(xn)可知，存在vn∈SF,xn,使得

需证存在v*∈SF,x*,使得对任意的t∈J,

因为xn→x*,hn→h*,且r连续,则当n→∞时,

考虑线性连续算子Γ:L1(J,R)→C(J,R),

命题4 Γ∘SF是闭图像算子,而且有

Γ(SF,xn).

因为yn→y*,由命题1知,对某些v*∈SF,x*,有

结合i)～iv),T满足命题3的假设,从而T有不动点，即式(3)的解.

第2部分:证明式(3)的任意解x(t)：φ(t)≤x(t)≤ψ(t).

hα(t0)=(φ(t0)-x(t0))α=φα(t0)-xα(t0)≤v1(t)-v(t)≤0，

且h(a)=φ(a)-x(a)≤x0-x0=0,即h(a)≤0,由命题3,任意t∈J,h(t)≤0,与h(t)>0矛盾,从而φ(t)≤x(t),t∈J.

同理可证x(t)≤ψ(t).

综上可得,式(3)至少有1个解x∈ACα(J,R),使得对任意t∈J,有φ(t)≤x(t)≤ψ(t),而此时γ(t,x(t))=x(t),式(3)即为式(1),定理得证.

推论1(次线性增长条件) 假设F:J×R→BCC(R),(t,x)→F(t,x)关于t可测、关于x上半连续,且存在函数a(t),b(t)∈L1(J,R+),μ∈[0,1],使得

‖F(t,x)‖≤a(t)|x|μ+b(t), (t,x)∈J×R,

则式(1)至少有1个解.

证明在该假设条件下,取hk(t)=a(t)|x|μ+b(t),由定理1即可证得.

推论2(至多线性增长条件) 假设F:J×R→BCC(R),(t,x)→F(t,x)关于t可测、关于x上半连续,且存在函数a(t),b(t)∈L1(J,R+),使得

‖F(t,x)‖≤a(t)|x|+b(t), (t,x)∈J×R，

则式(1)至少有1个解.

证明在该假设条件下,取hk(t)=a(t)|x|+b(t),由定理1即可证得.

[1]ABBASBANDYS,NIETOJJ,ALAVIM.Tuningofreachablesetinonedimensionalfuzzydifferentialinclusions[J]. Chaos Solitons Fractals,2005,26:1337-1341.

[2] BENCHONRA M, NTOUYAS S K. On first order differential inclusions with periodic boundary conditions[J]. Math Inequal Appl,2005,8(1):71-78.

[3] LAKSHMIKANTHAM V, VATSALA A S. Basic theory of fractional differential equations[J]. Nonlinear Analysis，2008,69(18):2677-2682.

[4] HENDERSON J, OUAHAB A. Fractional functional differential inclusions with finite delay[J]. Nonlinear Analysis,2009,70(5):2091-2105.

[5] BENCHOHRA M, HENDERSON J, NTOUYAS S K, et al. Existence results for fractional functional differential inclusions with infinite delay and application to control theory[J]. Fractional Calculus and Applied Analysis，2008,11(1):35-36.

[6] CHENG Y, ZHU G, MARICHEV O I. Existence of solutions to fractional differential equations[J]. Bull Math Anal Appl，2015,310(1):26-29.

[7] KHALIL R, AI HORANI M, YOUSEF A, et al. A new definition of fractional derivative[J]. J Comput Appl Math，2014,264:65-70.

[8] CHANG Y K, NIETO J J. Some new existence results for fractional differential inclusions with boundary conditions[J]. Math Comput Modelling，2009,49:605-609.

[9] SAMKO S G, KIBAS A A，MARICHEV O I. Fractional Integrals and Derivatives:Theory and Applications[M]. Yverdon: Gordon and Breach Science Publisher，1993.

[10] BOHNENBLUST H F, KARLIN S. On a Theorem of Ville, Contributions to Theory of Games[M]. Princeton: Princeton University Press,1950(1):155-160.

[11] CHUNG W S. Fractional Newton mechanics with conformable fractional derivative[J]. J Comput Appl Math,2015,290:150-158.

[12] LASOTA A, OPIAL Z. An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations[J]. Bull Acad Pol Sci Ser Sci Math Astronom Phys，1965(13):781-786.

[13] CHANG Y K, LI W T, NIETO J J. Controllability of evolution differential inclusions in Banach spaces[J]. Nonlinear Anal TMA，2007,67:623-632.

[14] KATUGAMPOLA U N. A new fractional derivative with classical properties[J/OL].Journal of the American Mathematical Society. [2015-03-19].http:∥www.researchgate.net/publication/267395593.

[15] FENG Y Q, TONG P. Existence and nonexistence of positive periodic solutions to a differential inclusion[J]. Topological Methods in Nonlinear Analysis,2013,42:449-459.

[16] BAYOUR B, TORRES D F M. Existence of solution to a local fractional nonlinear differential equation[J]. J Comput Appl Math，2016,312:127-133.

ThesolvabilityofCauchyproblemfornonlinearfractionaldifferentialinclusions.

YANGXiaojuan,HANXiaoling

(College of Mathematics and Statistics, Northwest Normal University, Lanzhou 730070, China)