跳到主要内容

基于压缩映射非线性替换的分数次积分包含的存在性结果

摘要

本文通过应用Petryshyn和Fitzpatric对多值映射的(Krasnoselskii型)不动点结果,获得了一个具有分数积分边界条件的分数阶多值问题的新的存在性结果[Trans.Am.Math.Soc.194:1-25,1974]。还讨论了下半连续多值映射的情况。给出了一个示例来说明我们的主要结果。

MSC公司:34A60、34A08。

1引言

分数阶微分方程和包含理论由于在物理学、经济学和工程科学的众多分支中的广泛应用,已发展成为一个重要的研究领域[14]. 分数阶微分算子表现出的非局部行为使其有别于整数阶微分算子。这意味着,涉及分数导数的动力系统或过程的未来状态取决于其当前状态和过去状态。事实上,任意阶微分方程能够描述几种材料和过程的记忆和遗传特性。分数阶微积分的这一特性促成了它的普及,并使许多研究人员相信有必要将他们的重点从经典的积分阶模型转移到分数阶模型。在发展新的理论方面,如周期性、渐近行为和分数方程的数值方法方面,出现了巨大的发展势头。有关此主题的一些最新工作,请参见[518]以及其中引用的参考文献。

本文考虑具有分数积分边界条件的分数阶微分包含的下列边值问题:

{ D类 α x个 ( ) A类 F类 ( , x个 ( ) ) + B类 β ( , x个 ( ) ) , 2 < α , [ 0 , 1 ] , D类 δ x个 ( 0 ) = D类 δ + 1 x个 ( 0 ) = 0 , D类 δ x个 ( 1 ) = 0 η D类 δ x个 ( ) d日 , 0 < η < 1 ,
(1.1)

哪里0<δ1,2<αδ<,β>0, D类 ( ) 表示Riemann-Liouville分数阶导数(),F类,:[0,1]×R(右)P(P)(R(右))是多值映射,P(P)(R(右))是所有非空子集的族A类,B类是实际常数。

我们建立了问题(1.1)的两个新的存在性结果。第一个结果依赖于压缩映射的非线性替换,而在第二个结果中,我们将把单值映射的Leray-Shauder型非线性替换与Bressan和Colombo提出的下半连续多值映射的选择定理结合起来,该映射具有非空闭可分解值。

论文组织如下。在第2节中,我们回顾了续集中需要的一些初步事实,第3节介绍了主要结果。

2准备工作

让我们回顾一下分数微积分的一些基本定义[1].

定义2.1分数阶Riemann-Liouville导数q个对于连续函数:(0,)R(右)定义为

D类 0 + q个 ()= 1 Γ ( n个 q个 ) ( d日 d日 ) n个 0 ( ) n个 q个 1 ()d日,n个1<q个<n个,n个=[q个]+1,

哪里[q个]表示实数的整数部分q个.

定义2.2Riemann-Liouville分数阶积分q个对于函数:(0,)R(右)定义为

q个 ()= 1 Γ ( q个 ) 0 ( ) ( ) 1 q个 d日,q个>0,

只要积分存在。

观察到替换x个()= δ ()= D类 δ ()将问题(1.1)转换为以下形式:

{ D类 α δ ( ) A类 F类 ( , δ ( ) ) + B类 β ( , δ ( ) ) , [ 0 , 1 ] , ( 0 ) = 0 , ( 0 ) = 0 , ( 1 ) = 0 η ( ) d日 .
(2.1)

为了定义问题(1.1)的解,我们需要以下引理。虽然这个引理的证明涉及标准参数,但为了方便读者,我们追踪了它的证明。

引理2.3 对于任何 小时C(0,1)L(左)(0,1),线性分数次边值问题的唯一解

{ D类 α δ ( ) = 小时 ( ) , [ 0 , 1 ] , ( 0 ) = ( 0 ) = 0 , ( 1 ) = 0 η ( ) d日 , 0 < η < 1 ,
(2.2)

()= α δ 小时()+ ( α δ ) α δ 1 α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) .

证明这是众所周知的[](2.2)中分数阶微分方程的解可以写成

()= α δ 小时()+ c(c) 1 α δ 1 + c(c) 2 α δ 2 + c(c) α δ ,
(2.3)

哪里 c(c) 1 , c(c) 2 , c(c) R(右)是任意常数。使用(2.2)中的边界条件,我们发现 c(c) 2 =0, c(c) =0、和

c(c) 1 = α δ α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) .

将这些值代入(2.3)中,得出

()= α δ 小时()+ ( α δ ) α δ 1 α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) .

请注意αδ+ η α δ 鉴于表达式中涉及的参数的给定值。这就完成了证明。 □

因此,方程的解 D类 α x个()=小时()根据(1.1)给出的边界条件,可以写为

x个 ( ) = δ ( ) = δ [ α δ 小时 ( ) + ( α δ ) α δ 1 α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) ] = α 小时 ( ) + ( α δ ) α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) 0 ( ) δ 1 Γ ( δ ) α δ 1 d日 = α 小时 ( ) + ( α δ ) α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) × { α 1 Γ ( δ ) 0 1 ( 1 ν ) δ 1 ν α δ 1 d日 ν } ,

我们使用了替换=ν在最后一项的积分中。使用Beta函数的关系B类(,),

B类(β+1,α)= 0 1 ( 1 u个 ) α 1 u个 β d日u个= Γ ( α ) Γ ( β + 1 ) Γ ( α + β + 1 ) ,

我们发现了

x个 ( ) = α 小时 ( ) + ( α δ ) α δ η α δ ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) { α 1 Γ ( δ ) ( Γ ( δ ) Γ ( α δ ) Γ ( α ) ) } = α 小时 ( ) + Γ ( α δ + 1 ) α 1 ( α δ η α δ ) Γ ( α ) ( α δ 小时 ( 1 ) α δ + 1 小时 ( η ) ) .

C=C([0,1],R(右))表示所有连续函数的Banach空间[0,1]R(右)被赋予由x个=啜饮{|x个()|,[0,1]}.

为了建立本文的主要结果,我们对压缩映射使用以下形式的非线性替代[[19],推论3.8]。

定理2.4 X(X) 成为巴拿赫空间, D类 的有界邻域 0X(X). H(H) 1 :X(X) P(P) c(c) 第页 , c(c) (X(X))(在这里 P(P) c(c) 第页 , c(c) (X(X)) 表示所有非空的家庭,紧子集和凸子集 X(X)) H(H) 2 : D类 ¯ P(P) c(c) 第页 , c(c) (X(X)) 两个满足

  1. (a)

    H(H) 1 是收缩,

  2. (b)

    H(H) 2 是上半部分-连续的(u个..c(c).很快就会)紧凑.

然后,如果 H(H)= H(H) 1 + H(H) 2 ,任何一个

  1. (i)

    H(H) 在中有一个固定点 D类 ¯

  2. (ii)

    有一点 u个D类 λ(0,1) 具有 u个λH(H)(u个).

定义2.5多值映射F类:[0,1]×R(右) P(P) c(c) 第页 , c(c) (R(右))据说是 L(左) 1 -Carathéodory如果

  1. (i)

    F类(,x个)每个都是可测量的x个R(右),

  2. (ii)

    x个F类(,x个)几乎所有结构都是上部半连续的[0,1]、和

  3. (iii)

    对于每个实数ρ>0,存在一个函数 小时 ρ L(左) 1 ([0,1], R(右) + )这样的话

    F类 ( , u个 ) :=啜饮 { | | : F类 ( , u个 ) } 小时 ρ (),[0,1]

为所有人u个R(右)具有u个ρ.

表示

S公司 F类 , x个 = { L(左) 1 ( [ 0 , 1 ] , R(右) ) : ( ) F类 ( , x个 ( ) ) [ 0 , 1 ] } .

引理2.6(Lasota和Opial[20])

X(X) 成为巴拿赫空间. F类:[0,1]×R(右) P(P) c(c) 第页 , c(c) (R(右)) 做一个 L(左) 1 Carathéodory多值映射和letΘ是线性连续映射 L(左) 1 ([0,1],R(右)) C([0,1],X(X)).然后是操作员

Θ S公司 F类 :C ( [ 0 , 1 ] , R(右) ) P(P) c(c) 第页 , c(c) ( C ( [ 0 , 1 ] , R(右) ) ) ,x个(Θ S公司 F类 )(x个)=Θ( S公司 F类 , x个 )

是中的闭合图运算符 C([0,1],R(右))×C([0,1],R(右)).

3存在结果

在给出主要结果之前,我们定义了边值问题(1.1)的解。

定义3.1A函数x个A类 C 2 ([0,1],R(右))被称为问题(1.1)的解决方案,如果 D类 δ x个(0)= D类 δ + 1 x个(0)=0, D类 δ x个(1)= 0 η D类 δ x个()d日并且有功能(f) S公司 F类 , x个 , S公司 , x个 这样的话

x个 ( ) = A类 0 ( ) α 1 Γ ( α ) (f) ( ) d日 B类 0 ( ) α + β 1 Γ ( α + β ) ( ) d日 + α 1 [ A类 0 1 ( 1 ) α δ 1 Γ ( α δ ) (f) ( ) d日 + B类 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( ) d日 A类 0 η ( η ) α δ Γ ( α δ + 1 ) (f) ( ) d日 B类 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( ) d日 ] ,

哪里

= Γ ( α δ + 1 ) ( α δ η α δ ) Γ ( α ) .
(3.1)

在续集中,我们设置

Z轴 1 = | A类 | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) ,
(3.2)
Z轴 2 = | B类 | Γ ( α + β + 1 ) + | B类 | | | Γ ( α δ + β + 1 ) + | B类 | | | η α δ + β + 1 Γ ( α δ + β + 2 ) .
(3.3)

定理3.2 假设

(H)1)F类:[0,1]×R(右) P(P) c(c) 第页 , c(c) (R(右)) 是一个 L(左) 1 Carathéodory多值映射;

(H)2)存在一个函数 k个C([0,1], R(右) + ) 这样的话

H(H) ( F类 ( , x个 ) , F类 ( , ) ) k个()x个[0,1],

为所有人 x个,C([0,1],R(右)) Z轴 1 k个<1,哪里 Z轴 1 由提供(3.2);

(H)):[0,1]×R(右) P(P) c(c) 第页 , c(c) (R(右)) 是一个 L(左) 1 Carathéodory多值映射;

(H)4)存在一个函数 q个C([0,1],R(右)) 具有 q个()>0 对于.e(电子).[0,1] 和一个非递减函数 ψ: R(右) + (0,) 这样的话

( , x个 ) :=啜饮 { | | : ( , x个 ) } q个()ψ ( x个 ) a.电子[0,1],

为所有人 x个R(右);

(H)5)存在一个数字 M(M)>0 这样的话

( 1 Z轴 1 k个 ) M(M) Z轴 1 F类 0 + Z轴 2 q个 ψ ( M(M) ) >1,
(3.4)

哪里 Z轴 1 , Z轴 2 由给定(3.2)(3.3)中,分别地, F类 0 = 0 1 F类(,0)d日.

然后是问题(1.1)有关于的解决方案 [0,1].

证明为了将问题(1.1)转化为定点问题,让我们定义一个运算符N个:C([0,1],R(右))P(P)(C([0,1],R(右)))通过

N个(x个)= { 小时 C ( [ 0 , 1 ] , R(右) ) : 小时 ( ) = { A类 0 ( ) α 1 Γ ( α ) (f) ( ) d日 B类 0 ( ) α + β 1 Γ ( α + β ) ( ) d日 + α 1 [ A类 0 1 ( 1 ) α δ 1 Γ ( α δ ) (f) ( ) d日 + B类 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( ) d日 A类 0 η ( η ) α δ Γ ( α δ + 1 ) (f) ( ) d日 B类 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( ) d日 ] }

对于(f) S公司 F类 , x个 , S公司 , x个 ,其中由(3.1)给出。

我们研究空间中的积分包含C([0,1],R(右))上所有连续实值函数的[0,1]带上确界范数.定义两个多值映射 N个 1 , N个 2 :C([0,1],R(右))P(P)(C([0,1],R(右)))通过

N个 1 (x个)= { 小时 C ( [ 0 , 1 ] , R(右) ) : 小时 ( ) = { A类 0 ( ) α 1 Γ ( α ) (f) ( ) d日 + A类 α 1 [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) (f) ( ) d日 A类 0 η ( η ) α δ Γ ( α δ + 1 ) (f) ( ) d日 ] }

对于(f) S公司 F类 , x个

N个 2 (x个)= { 小时 C ( [ 0 , 1 ] , R(右) ) : 小时 ( ) = { B类 0 ( ) α + β 1 Γ ( α + β ) ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( ) d日 B类 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( ) d日 ] }

对于 S公司 , x个 .

请注意N个= N个 1 + N个 2 我们将向操作员展示 N个 1 N个 2 满足定理2.4的所有条件[0,1]为了清楚起见,我们将证明分为一系列步骤和要求。

步骤1。我们证明了这一点 N个 1 是上的多值收缩 C([0,1],R(右)).

x个,C([0,1],R(右)) u个 1 N个 1 (x个).然后 u个 1 P(P)(C([0,1],R(右)))

u个 1 ( ) = A类 0 ( ) α 1 Γ ( α ) 1 ( ) d日 + A类 α 1 [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) 1 ( ) d日 A类 0 η ( η ) α δ Γ ( α δ + 1 ) 1 ( ) d日 ] ,

对一些人来说 1 S公司 F类 , x个 .自H(H)(F类(,x个),F类(,))k个()x个,存在w个F类(,)这样的话| 1 ()w个()|k个()x个因此,多值运算符U型由定义U型()= S公司 F类 , K(K)(),其中

K(K)()= { w个 R(右) | | 1 ( ) w个 ( ) | k个 ( ) x个 }

具有非空值且可测量。 2 是一个可衡量的选择U型(由Kuratowski-Ryll-Nardzewski的选择定理存在[21,22]). 然后 2 F类(,)| 1 () 2 ()|k个()x个a.e.开启[0,1].

定义

u个 2 ( ) = A类 0 ( ) α 1 Γ ( α ) 2 ( ) d日 + A类 α 1 [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) 2 ( ) d日 0 η ( η ) α δ Γ ( α δ + 1 ) 2 ( ) d日 ] .

由此可见 u个 2 N个 1 ()

| u个 1 ( ) u个 2 ( ) | | A类 0 ( ) α 1 Γ ( α ) [ 1 ( ) 2 ( ) ] d日 + A类 α 1 [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) [ 1 ( ) 2 ( ) ] ( ) d日 0 η ( η ) α δ Γ ( α δ + 1 ) [ 1 ( ) 2 ( ) ] ( ) d日 ] | | A类 | 0 1 ( 1 ) α 1 Γ ( α ) | 1 ( ) 2 ( ) | d日 + | A类 | | | 0 1 ( 1 ) α δ 1 Γ ( α δ ) | 1 ( ) 2 ( ) | d日 + | A类 | | | 0 η ( η ) α δ Γ ( α δ + 1 ) | 1 ( ) 2 ( ) | d日 { | A类 | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) } k个 x个 .

在区间内取得优势[0,1],我们获得

u个 1 u个 2 { | A类 | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) } k个x个.
(3.5)

将不等式(3.5)与通过互换x个,我们得到

H(H) ( N个 1 ( x个 ) , N个 1 ( ) ) { | A类 | | | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) } k个x个,

为所有人x个,C([0,1],R(右))。这表明 N个 1 是多值收缩

Z轴 1 k个= { | A类 | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) } k个<1.

第2步。我们将向操作员展示 N个 2 是美国的紧凑型。这是众所周知的[[23],命题1.2],如果一个算子是完全连续的,并且有一个闭图,那么它就是u.s.c。因此,我们将证明 N个 2 是完全连续的,并且有一个封闭图。此步骤涉及多个索赔。

索赔I N个 2 将有界集映射为中的有界集 C([0,1],R(右)).

B类 第页 ={x个C([0,1],R(右)):x个第页}是中的有界集合C([0,1],R(右)).

现在每个人u个 N个 2 (x个),存在一个w个 S公司 , x个 这样的话

u个 ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) w个 ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) w个 ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) w个 ( ) d日 ] .

然后针对每个[0,1],

| u个 ( ) | | B类 | 0 ( ) α + β 1 Γ ( α + β ) | w个 ( ) | d日 + | B类 | | | [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) | w个 ( ) | d日 + 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) | w个 ( ) | d日 ] | B类 | 0 1 ( 1 ) α + β 1 Γ ( α + β ) q个 ( ) ψ ( x个 ) d日 + | B类 | | | [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) q个 ( ) ψ ( x个 ) d日 + 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) q个 ( ) ψ ( x个 ) d日 ] ψ ( x个 ) q个 { | B类 | Γ ( α + β + 1 ) + | B类 | | | Γ ( α δ + β + 1 ) + | B类 | | | η α δ + β + 1 Γ ( α δ + β + 2 ) } ,

这意味着

u个ψ(第页)q个 { | B类 | Γ ( α + β + 1 ) + | B类 | | | Γ ( α δ + β + 1 ) + | B类 | | | η α δ + β + 1 Γ ( α δ + β + 2 ) } .

因此 N个 2 有界。

权利要求II N个 2 将有界集映射为等连续集.

在索赔I的证明中,让 B类 第页 是一个有界集,并且u个 N个 2 (x个)对一些人来说x个 B类 第页 。然后存在w个 S公司 , x个 这样的话

u个 ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) w个 ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) w个 ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) w个 ( ) d日 ] .

那么对于任何 1 , 2 [0,1]具有 1 2 我们有

| u个 ( 1 ) u个 ( 2 ) | | B类 | 0 2 [ ( 2 ) α + β 1 ( 1 ) α + β 1 ] Γ ( α + β ) | w个 ( ) | d日 + | B类 | 1 2 ( 2 ) α + β 1 Γ ( α + β ) | w个 ( ) | d日 + | B类 | | | | 2 α 1 1 α 1 | [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) | w个 ( ) | d日 + 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) | w个 ( ) | d日 ] | B类 | 0 2 [ ( 2 ) α + β 1 ( 1 ) α + β 1 ] Γ ( α + β ) q个 ( ) ψ ( 第页 ) d日 + | B类 | 1 2 ( 2 ) α + β 1 Γ ( α + β ) q个 ( ) ψ ( 第页 ) d日 + | B类 | | | | 2 α 1 1 α 1 | [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) q个 ( ) ψ ( 第页 ) d日 + 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) q个 ( ) ψ ( 第页 ) d日 ] .

显然,上述不等式的右侧趋向于零,与x个 B类 第页 作为 1 2 0因此,根据Arzelá-Ascoli定理 N个 2 :C([0,1],R(右))P(P)(C([0,1],R(右)))是完全连续的。

权利要求III 接下来我们证明 N个 2 具有闭合图.

x个 n个 x个 , 小时 n个 N个 2 ( x个 n个 ) 小时 n个 小时 .然后我们需要证明这一点 小时 B类( x个 )。与关联 小时 n个 B类( x个 n个 ),存在 n个 S公司 , x个 n个 使得每个[0,1],

小时 n个 ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) n个 ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) n个 ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) n个 ( ) d日 ] .

因此,它足以表明存在 S公司 , x个 使得每个[0,1],

小时 ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( ) d日 ] .

让我们考虑线性算子Θ: L(左) 1 ([0,1],R(右))C([0,1],R(右))由提供

Θ ( ) ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( ) d日 ] .

请注意

小时 n个 ( ) 小时 ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) ( n个 ( u个 ) ( u个 ) ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( n个 ( u个 ) ( u个 ) ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( n个 ( u个 ) ( u个 ) ) d日 ] 0 ,

作为n个因此,根据引理2.6Θ S公司 是一个闭图运算符。此外,我们还有 小时 n个 ()Θ( S公司 , x个 n个 ).自 x个 n个 x个 ,我们有

小时 ( ) = B类 0 ( ) α + β 1 Γ ( α + β ) ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( ) d日 ]

对一些人来说 S公司 , x个 .

因此 N个 2 具有闭合图(因此具有闭合值)。因此, N个 2 是紧值的。

因此,运营商 N个 1 N个 2 满足定理2.4的所有条件。因此,定理2.4的结论适用,条件(i)或条件(ii)均成立。我们证明结论(ii)是不可能的。如果x个λ N个 1 (x个)+λ N个 2 (x个)对于λ(0,1),那么就存在 1 S公司 F类 , x个 2 S公司 , x个 这样的话

x个 ( ) = λ { A类 0 ( ) α 1 Γ ( α ) 1 ( ) d日 + A类 α 1 [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) 1 ( ) d日 0 η ( η ) α δ Γ ( α δ + 1 ) 1 ( ) d日 ] } + λ 1 { B类 0 ( ) α + β 1 Γ ( α + β ) 2 ( ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) 2 ( ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) 2 ( ) d日 ] } .
(3.6)

通过假设(H2),对于所有人[0,1],我们有

F类 ( , x个 ) = H(H) ( F类 ( , x个 ) , 0 ) H(H) ( F类 ( , x个 ) , F类 ( , 0 ) ) + H(H) ( F类 ( , 0 ) , 0 ) H(H) ( F类 ( , x个 ) , F类 ( , 0 ) ) + F类 ( , 0 ) .

因此,对于任何F类(,x个),

| | F类 ( , x个 ) H(H) ( F类 ( , x个 ) , F类 ( , 0 ) ) + F类 ( , 0 ) k个 ( ) x个 + F类 ( , 0 ) ,

为所有人[0,1].那么我们有

| x个 ( ) | | A类 | { 0 ( ) α 1 Γ ( α ) [ k个 ( ) x个 + F类 ( , 0 ) ] d日 + | | | A类 | [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) [ k个 ( ) x个 + F类 ( , 0 ) ] d日 0 η ( η ) α δ Γ ( α δ + 1 ) [ k个 ( ) x个 + F类 ( , 0 ) ] d日 ] } + | B类 | { 0 ( ) α + β 1 Γ ( α + β ) q个 ( ) ψ ( x个 ) d日 + | | | B类 | [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) q个 ( ) ψ ( x个 ) d日 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) q个 ( ) ψ ( x个 ) d日 ] } { | A类 | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) } ( k个 x个 + F类 0 ) + { | B类 | Γ ( α + β + 1 ) + | B类 | | | Γ ( α δ + β + 1 ) + | B类 | | | η α δ + β + 1 Γ ( α δ + β + 2 ) } q个 ψ ( x个 ) = Z轴 1 ( k个 x个 + F类 0 ) + Z轴 2 q个 ψ ( x个 ) .

因此,

x个 Z轴 1 ( k个 x个 + F类 0 ) + Z轴 2 q个ψ ( x个 ) .
(3.7)

现在,如果定理2.4的条件(ii)成立,则存在λ(0,1)x个 B类 第页 这样的话x个=λN个(x个).然后x个是(3.6)的解x个=M(M)因此,不等式(3.7)得出

( 1 Z轴 1 k个 ) M(M) Z轴 1 F类 0 + Z轴 2 q个 ψ ( M(M) ) 1,

这与(3.4)相矛盾。因此,N个在中有一个固定点[0,1]根据定理2.4,这实际上是问题(1.1)的解决方案。这就完成了证明。 □

3.1下部半连续情况

本节致力于研究(1.1)中的映射不一定是凸值的情况。我们通过应用Leray-Shauder型的非线性选择和Bressan和Colombo的选择定理,建立了问题的存在性结果[24]对于具有可分解值的下半连续映射。在展示这个结果之前,我们回顾了一些基本概念。

X(X)是Banach空间的非空闭子集E类:X(X)P(P)(E类)是具有非空闭值的多值运算符。是下半连续(l.s.c.),如果集合{X(X):()B类}对任何开放集开放B类在里面E类.让M(M)是的子集[0,1]×R(右).M(M)L(左)B类可测量条件M(M)属于σ由所有形式集生成的代数J型×D类,其中J型勒贝格的测量单位是[0,1]D类Borel的测量单位是.一个子集S公司属于 L(左) 1 ([0,1],R(右))如果全部可分解u个,S公司和可衡量的J型[0,1]=J型,函数u个 χ J型 + χ J型 J型 S公司,其中 χ J型 代表的特征函数J型.

定义3.3Y(Y)是一个可分度量空间W公司:Y(Y)P(P)( L(左) 1 ([0,1],R(右)))是一个多值运算符。我们说W公司拥有财产(BC),如果W公司是较低的半连续(ls.c.),并且具有非空的闭合和可分解值。

F类:[0,1]×R(右)P(P)(R(右))是具有非空紧值的多值映射。定义多值运算符F类:C([0,1]×R(右))P(P)( L(左) 1 ([0,1],R(右)))与关联F类作为

F类(x个)= { L(左) 1 ( [ 0 , 1 ] , R(右) ) : ( ) F类 ( , x个 ( ) ) 对于a.e [ 0 , 1 ] } ,

它被称为Nemytskii运算符,与F类.

定义3.4F类:[0,1]×R(右)P(P)(R(右))是具有非空紧值的多值函数。我们说F类如果其关联的Nemytskii算子为下半连续型(l.s.c.型)是下半连续的,并且具有非空的闭合可分解值。

引理3.5([25])

Y(Y) 是一个可分度量空间 W公司:Y(Y)P(P)( L(左) 1 ([0,1],R(右))) 是满足该性质的多值算子(不列颠哥伦比亚省).然后 W公司 有一个连续的选择,那就是,存在一个连续函数(单一的-宝贵的)w个:Y(Y) L(左) 1 ([0,1],R(右)) 这样的话 w个(x个)W公司(x个) 对于每个 x个Y(Y).

定理3.6 假设(H)2),(H4),(H5),并且以下条件保持不变:

(H)6)F类,:[0,1]×R(右)P(P)(R(右)) 非空紧-值多值映射,以便

  1. (a)

    (,x个)F类(,x个),(,x个)(,x个) L(左)B类 可测量的,

  2. (b)

    x个F类(,x个,) x个(,x个) 每个都是下半连续的 [0,1];

然后是边值问题(1.1)上至少有一个解决方案 [0,1].

证明它来自(H2),(H4)、和(H6)那个F类为l.s.c.型。那么从引理3.5来看,存在连续函数(f),:C([0,1],R(右)) L(左) 1 ([0,1],R(右))这样的话(f)(x个)F类(x个),(x个)(x个)为所有人x个C([0,1],R(右)).

考虑一下这个问题

{ D类 α x个 ( ) = A类 (f) ( x个 ( ) ) + B类 β ( x个 ( ) ) , 2 < α , [ 0 , 1 ] , D类 δ x个 ( 0 ) = D类 δ + 1 x个 ( 0 ) = 0 , D类 δ x个 ( 1 ) = 0 η D类 δ x个 ( ) d日 , 0 < η < 1 .
(3.8)

请注意,如果x个A类 C 2 ([0,1])是(3.8)的解,则x个是问题(1.1)的解决方案。现在,我们定义了两个多值运算符 N个 ˜ 1 , N个 ˜ 2 :C([0,1],R(右))P(P)(C([0,1],R(右)))通过

N个 ˜ 1 x个()={ A类 0 ( ) α 1 Γ ( α ) (f) ( x个 ( ) ) d日 + A类 α 1 [ 0 1 ( 1 ) α δ 1 Γ ( α δ ) (f) ( x个 ( ) ) d日 A类 0 η ( η ) α δ Γ ( α δ + 1 ) (f) ( x个 ( ) ) d日 ] ,

N个 ˜ 2 x个()={ B类 0 ( ) α + β 1 Γ ( α + β ) ( x个 ( ) ) d日 + B类 α 1 [ 0 1 ( 1 ) α δ + β 1 Γ ( α δ + β ) ( x个 ( ) ) d日 B类 0 η ( η ) α δ + β Γ ( α δ + β + 1 ) ( x个 ( ) ) d日 ] .

很明显 N个 ˜ 1 , N个 ˜ 2 :C([0,1],R(右))C([0,1],R(右))是连续的。定理3.2中的论点也保证了 N个 ˜ 1 N个 ˜ 2 在单值集上满足压缩映射非线性替代的所有条件[26]因此,问题(3.8)有了解决方案。 □

示例3.7考虑以下分数边值问题:

{ D类 5 / 2 x个 ( ) F类 ( , x个 ( ) ) + / 4 ( , x个 ( ) ) , [ 0 , 1 ] , D类 1 / 8 x个 ( 0 ) = D类 9 / 8 x个 ( 0 ) = 0 , D类 1 / 8 x个 ( 1 ) = 0 1 / 2 D类 1 / 8 x个 ( ) d日 ,
(3.9)

哪里

F类(,x个)= [ 18 ( + ) 2 x个 ( 4 + ) 2 2 , 1 10 ] ,(,x个)= [ | x个 | 8 ( | x个 | + ) , | x个 | 9 ( | x个 | + 1 ) ] .

我们有

啜饮 { | u个 | : u个 F类 ( , x个 ) } 2+ 1 ( 4 + ) 2 + 18 ( + ) 2 ,H(H) ( F类 ( , x个 ) , F类 ( , x个 ¯ ) ) k个()|x个 x个 ¯ |

具有k个()= 1 ( 4 + ) 2 。使用给定的数据,我们发现

= Γ ( α δ + 1 ) ( α δ η α δ ) Γ ( α ) 1.000669 , k个 = 1 / 20 , q个 = 1 / 8 , ψ ( M(M) ) = 1 , F类 0 = 3.5 , Z轴 1 = | A类 | Γ ( α + 1 ) + | A类 | | | Γ ( α δ + 1 ) + | A类 | | | η α δ + 1 Γ ( α δ + 2 ) 1.031919 , Z轴 2 = | B类 | Γ ( α + β + 1 ) + | B类 | | | Γ ( α δ + β + 1 ) + | B类 | | | η α δ + β + 1 Γ ( α δ + β + 2 ) 0.264907 .

很明显 Z轴 1 k个<1,根据条件:

( 1 Z轴 1 k个 ) M(M) Z轴 1 F类 0 + Z轴 2 q个 ψ ( M(M) ) >1,

我们发现M(M)> M(M) 1 ,其中 M(M) 1 3.843119因此,满足了定理3.2的所有假设。因此,定理3.2的结论适用于问题(3.9)。

作者信息

沙特阿拉伯吉达阿卜杜拉齐兹国王大学非线性分析和应用数学研究小组成员。

工具书类

  1. Samko SG、Kilbas AA、Marichev OI:分数积分与导数、理论与应用Gordon和Breach,Yverdon;1993

    数学 谷歌学者 

  2. 波德鲁布尼一世:分数阶微分方程圣地亚哥学术出版社;1999

    数学 谷歌学者 

  3. Kilbas AA,Srivastava HM,Trujillo JJ North-Holland数学研究204。分数阶微分方程的理论与应用爱思唯尔,阿姆斯特丹;2006

    谷歌学者 

  4. Baleanu D、Diethelm K、Scalas E、Trujillo JJ复杂性、非线性和混沌系列。分数阶微积分模型与数值方法《世界科学》,波士顿;2012

    谷歌学者 

  5. Henderson J,Ouahab A:有限延迟分数泛函微分包含。非线性分析。2009, 70: 2091-2105. 10.1016/j.na.2008.02.111

    第条 数学 数学科学网 谷歌学者 

  6. Chang Y-K,Nieto JJ:具有边界条件的分数阶微分包含的一些新的存在性结果。数学。计算。模型。2009, 49: 605-609. 2016年10月10日/j.mcm.2008.03.014

    第条 数学 数学科学网 谷歌学者 

  7. Benchohra M,Hamani S,Ntouyas SK:分数阶微分方程的边值问题和非局部条件。非线性分析。2009, 71: 2391-2396. 10.1016/j.na.2009.01.073

    第条 数学 数学科学网 谷歌学者 

  8. Cernea A:关于非凸分数双曲微分包含解的存在性。Commun公司。数学。分析。2010年,9(1):109-120。

    数学 数学科学网 谷歌学者 

  9. Agarwal RP,Benchohra M,Hamani S:关于非线性分数阶微分方程边值问题和包含的存在性结果的综述。《应用学报》。数学。2010, 109: 973-1033. 10.1007年/月10440-008-9356-6日

    第条 数学 数学科学网 谷歌学者 

  10. Ahmad B,Ntouyas SK:具有非分离边界条件的分数阶微分包含边值问题的一些存在性结果。电子。J.资格。理论不同。埃克。2010年、2010年:文章ID 71

    谷歌学者 

  11. Ahmad B,Ntouyas SK,Alsadi A:具有三点积分边界条件的非线性分式微分方程的新存在性结果。高级差异。埃克。2011年、2011年:文章ID 107384

    谷歌学者 

  12. Baleanu D,Mustafa OG,O’Regan D:分数阶微分方程的类Nagumo唯一性定理。《物理学杂志》。A、 数学。西奥。2011年,44(39):文章ID 392003

    谷歌学者 

  13. Ahmad B,Ntouyas SK:非线性分数阶微分方程和包含任意阶和多阶边界条件。电子。J.差异。埃克。2012年、2012年:文章ID 98

    谷歌学者 

  14. Ahmad B,Nieto J:具有三点边界条件的序列分数阶微分方程。计算。数学。申请。2012, 64: 3046-3052. 2016年10月10日/j.camwa.2012.02.036

    第条 数学 数学科学网 谷歌学者 

  15. Sudsutad W,Tariboon J:分数阶积分微分方程的存在性结果-点多项分数阶积分边界条件。已绑定。价值问题。2012年、2012年:文章ID 94

    谷歌学者 

  16. Wang G,Ahmad B,Zhang L,Agarwal RP:Banach空间中无界区域上的非线性分数阶积分微分方程。J.计算。申请。数学。2013, 249: 51-56.

    第条 数学 数学科学网 谷歌学者 

  17. Babakhani A,Baleanu D,Agarwal RP:一类无限时滞非线性分数阶微分方程解的存在唯一性。文章摘要。申请。分析。2013年、2013年:文章ID 592964

    谷歌学者 

  18. Ntouyas SK:非线性分数阶微分方程的边值问题以及具有非局部和分数阶积分边界条件的包含。奥普斯。数学。2013, 33: 117-138. 10.7494/OpMath.2013.33.1.117

    第条 数学 数学科学网 谷歌学者 

  19. Petryshyn WV,Fitzpatric PM:多值非紧映射的度理论、不动点定理和映射定理。事务处理。数学。Soc公司。1974, 194: 1-25.

    第条 数学 谷歌学者 

  20. Lasota A,Opial Z:Kakutani-Ky Fan定理在常微分方程理论中的应用。牛市。阿卡德。波兰。科学。,Sér。科学。数学。阿童木。物理学。1965, 13: 781-786.

    数学 数学科学网 谷歌学者 

  21. Kuratowski K,Ryll-Nardzewski C:关于选择器的一般定理。牛市。阿卡德。波兰。科学。,Sér。科学。数学。阿童木。物理学。1965, 13: 397-403.

    数学 数学科学网 谷歌学者 

  22. Gorniewicz L:多值映射的拓扑不动点理论施普林格,多德雷赫特;2006

    数学 谷歌学者 

  23. Deimling K公司:多值微分方程德格鲁伊特,柏林;1992

     数学 谷歌学者 

  24. Bressan A,Colombo G:具有可分解值的地图的扩展和选择。学生数学。1988年,90:69-86。

    数学 数学科学网 谷歌学者 

  25. Frigon M:不同种类的内含物的解决方案存在性。北约ASI C 472系列。微分方程和包含中的拓扑方法编辑:Granas A,Frigon M.Kluwer Academic,Dordrecht;1995:51-87.

    第章 谷歌学者 

  26. Granas A、Dugundji J:不动点理论纽约施普林格;2005

    谷歌学者 

下载参考资料

致谢

该项目由阿卜杜拉齐兹国王大学科学研究院长(DSR)资助,批准号为3-130/1433/HiCi。因此,作者感谢DSR的技术和财务支持。

作者信息

作者和附属机构

作者

通讯作者

通信至巴希尔·艾哈迈德.

其他信息

竞争性利益

作者声明,他们没有相互竞争的利益。

作者的贡献

每位作者,AA、SKN、BA和HHA,对这部作品的每一部分都做出了平等的贡献,并阅读和批准了手稿的最终版本。

权利和权限

开放式访问本文根据Creative Commons Attribution 2.0 International License的条款分发(https://creativecommons.org/licenses/by/2.0)它允许在任何介质中不受限制地使用、分发和复制原始作品,前提是正确引用了原始作品。

转载和许可

关于本文

引用这篇文章

Alsadei,A.,Ntouyas,S.K.,Ahmad,B。等人。通过压缩映射的非线性替换得到分数积分包含的存在性结果。边界值问题 2014, 25 (2014). https://doi.org/10.1186/1687-2770-2014-25

下载引文

  • 收到:

  • 已接受:

  • 出版:

  • 内政部:https://doi.org/10.1186/1687-2770-2014-25

关键词