定义2.1(左右Riemann-Liouville分数积分)
让(f)是定义于的函数.左右Riemann-Liouville分数阶积分γ用于函数(f),表示为和分别定义为
和
如果右侧是按点定义的,其中Γ是伽马函数。
定义2.2(左右Riemann-Liouville分数导数)Let(f)是定义于的函数.左右Riemann-Liouville分数阶导数γfor函数(f),表示为和分别定义为
和
哪里,和.
定义2.3(左右卡普托分数导数)
让和.
-
(i)
如果和,然后是左右Caputo分数阶导数γfor函数(f),表示为和分别存在于.和由表示
和
分别,其中特别是,如果,然后
和
-
(ii)
如果和,然后和由表示
特别地,,.
属性2.1([36])
左右Riemann-Liouville分数次积分算子具有半群的性质,即,
在任何时候对于连续函数(f)几乎每一点如果函数.
定义2.4([36])
定义和.分数导数空间由的闭包定义关于规范
哪里表示所有函数的集合具有显然,分数导数空间是功能空间有一个α-阶Caputo分数导数和.
提议2.1([36])
让 和 .分数导数空间 是自反可分的Banach空间.
提议2.2([36])
让 和 .对于所有人 ,我们有
(2.1)
此外,如果 和 ,然后
(2.2)
根据(2.1),我们可以考虑关于规范
(2.3)
提议2.3([36])
定义 和 .假设 和顺序 弱收敛到 u个 在里面 ,我.e(电子).,.然后 在里面 ,我.e(电子).,,作为 .
本文在Hilbert空间中处理BVP(1.1)使用(2.3)中定义的等效规范。
提案2.4([36])
如果 ,那么对于任何 ,我们有
为了建立系统(1.1)的变分结构,需要构造一些适当的函数空间。笛卡尔积空间由定义
也是关于范数的自反可分Banach空间
(2.4)
哪里.
空间是的闭子集根据规范(2.4)作为由定义2.4关闭。
本文使用(2.3)中定义的范数,它是符合规范(2.4)。
定义2.5让表示本质上有界的可测量函数的空间进入之内低于标准
(2.5)
很明显是范数(2.5)下的Banach空间。
备注2.5我们使用和表示和分别是。
定义2.6([13])
让(f)在给定点附近是Lipschitzx个在巴拿赫空间X(X)、和v(v)是中的任何其他矢量X(X).的广义方向导数(f)在x个在这个方向v(v),表示为,定义如下:
哪里年也是中的向量X(X)和λ是正标量,我们表示为
广义梯度(f)在x个(克拉克次微分)。
引理2.1([20])
让 x个 和 年 是Banach空间中的点 X(X),假设是这样 (f) Lipschitz在包含线段的开集上吗 .那么就存在一个点 u个 在里面 这样的话
定义2.7([32])
A分据说是当地Lipschitz的一个临界点(f)如果,即对于每个.实数c(c)称为临界值(f)如果有一个临界点这样的话.
定义2.8([32])
如果(f)是局部Lipschitz函数,我们说(f)如果每个序列都满足非光滑(P.S.)条件在里面X(X)这样的话有界且具有收敛子序列,其中.
克拉克在年考虑了以下抽象框架[20]:
-
让成为σ-有限正测度空间,且设Y(Y)是可分的Banach空间;
-
让Z轴是的闭子空间,其中表示测度空间本质上有界函数映射S公司到Y(Y)具有通常的最高规范;
-
定义函数(f)在Z轴通过
哪里Z轴是的闭子空间和是给定的函数族;
-
假设映射每个都是可测量的v(v)在里面Y(Y),还有那个x个是一个点定义(有限);
-
假设存在和一个函数在里面这样的话
(2.6)
为所有人以及所有和在里面.
在上述条件下,(f)Lipschitz就在附近x个其中一个有
(2.7)
此外,如果在对于每个t吨,然后(f)定期在x个这一点是平等的。
备注2.6(2.7)的解释如下:,有相应的映射从S公司到具有
拥有每一个v(v)在里面Z轴,有一个
因此,每ζ在(2.7)的左侧是可以写的
哪里是一个可测量的选择.
引理2.2 让 如果 满足条件(A类)和 由……提供 ,然后定义一个函数 (f) 在 通过
然后 (f) Lipschitz开了吗 ,其中一个有
(2.8)
证明取任意元素在里面,那么就足以证明(f)Lipschitz开了吗.
什么时候?(),我们得出结论
(2.9)
根据命题2.2,其中.鉴于引理2.1和,有一个
(2.10)
对于a.e。,其中.
根据(2.9)和(2.10),我们已经
所以(f)Lipschitz也在.
对于任何ζ在里面,有一个
(2.11)
对于任何在里面通过Fatou引理,很明显
(2.12)
对于a.e。以及所有在里面。然后我们得出结论
对于任何在里面并且(2.13)如果我们限制到,它是的闭子空间定义2.4。有界线性泛函ζ在限制为也是一个有界线性泛函,我们使用表示限制在.
我们这样解释(2.13)属于的次梯度凸泛函的
(2.14)
定义见,其中为所有人在里面.鉴于条件(A)和(2.12),我们有
对于a.e。以及所有,在里面.
现在我们可以将克拉克的抽象框架应用于具有以下字符类型:
-
用勒贝格方法,让,它是一个带范数的可分Banach空间;
-
让,它是的闭子空间、和表示测度空间本质上有界函数映射T型到Y(Y)根据定义2.5,具有通常的上确界规范;
-
定义函数在Z轴依据(2.14);
-
映射每个都是可测量的在里面(请参见[20]),还有那个是一个点定义(有限);
-
克拉克抽象框架中的条件(2.6)满足于(2.15)。
通过(2.12),我们得到
因此,每个可以写为
(2.16)
对于任何到,其中对于a.e。.
什么时候?,很明显和在根据定义2.4。因此,对于每个,我们可以选择这样的话
(2.17)
结合(2.16)和(2.17),我们得到
为所有人.然后我们得出结论
这就完成了证明。□
备注2.7表达式(2.8)的解释如下:如果是中的元素和,我们推导出一个可测函数的存在性这样的话
(2.18)
对于a.e。其中一个有
以及任何在里面.
定义函数ϕ在通过
(2.19)
如果在,然后我们可以定义在通过
为所有人,很容易验证.
类似地,如果在,然后我们可以定义在通过
为所有人,并且很容易验证.
引理2.3
相应的功能
和
在
由提供
和
哪里 如果 满足条件(A类)和 ,然后由定义的函数
(2.20)
Lipschitz开了吗 ,和 ,我们有
(2.21)
哪里 和 .
证明通过直接计算,很明显
(2.22)
根据引理2.2和备注2.7,如果,那么我们有
(2.23)
哪里.
自,(2.21)由(2.22)和(2.23)持有,这就完成了证明。□
利用属性2.1和定义2.3,BVP(1.1)相当于以下问题:
(2.24)
哪里因此,我们寻求解决方案u个BVP(2.24),对应于解决方案u个BVP(1.1),前提是.
让我们表示通过
(2.25)
然后我们可以给出BVP(2.24)解的定义。
定义2.9A函数称为BVP(2.24)的解,如果
-
(i)
几乎每个都是可微的.
-
(ii)
u个满足(2.24)。
引理2.4 让 ,和 φ 由定义(2.20).如果假设(A类)感到满意并且 是相应欧拉方程的解 ,然后 u个 是BVP的解决方案(2.24)哪一个,当然,对应于BVP的解(1.1).
证明根据引理2.3,我们有
(2.26)
所有人都在哪里和.
让我们定义通过
以便
根据Fubini定理并注意,我们获得
因此,到(2.26)时,我们每,
(2.27)
如果表示的规范基础,我们可以选择这样的话
傅里叶级数理论和(2.27)表明
a.e.开启对一些人来说.根据,我们有
(2.28)
a.e.开启对一些人来说.
鉴于,我们将确定等价类由其连续代表给出
(2.29)
对于.
因此,根据(2.28)和勒贝格理论的经典结果是的经典导数a.e.开启这意味着定义2.9中的(i)得到验证。
自意味着,仍需证明u个满足(2.24)。事实上,根据(2.29),我们可以得到
此外,意味着. □
引理2.5([32])
让 X(X) 是一个真正的自反Banach空间.如果功能 ψ: 是弱下半-持续性和强制性,我.e(电子).,,那么就有了 这样的话 .此外,然后 .
引理2.6([32])
让 X(X) 是一个真正的自反Banach空间,和 是局部Lipschitz函数.如果存在 和 这样的话 ,
(2.30)
和 ψ 满足非光滑(对.S公司)条件与
哪里
然后 和 c(c) 是的临界值 ψ.
定义2.10([37])
假设紧群G公司对角作用也就是说,
哪里V(V)是一个有限维空间。的操作G公司如果每个连续等变映射都是可容许的有一个零,其中U型是中0的开有界不变邻域,.
示例2.1反足作用在是可以接受的。
我们考虑以下情况:
(A1)紧群G公司在巴拿赫空间上等距地作用,空间是不变的,并且存在有限维空间V(V)这样,对于每个,以及G公司在V(V)是可以接受的。
引理2.7([27])
假设 是不变的局部Lipschitz泛函.如果,对于每个 ,存在 这样的话
(A2),哪里 ;
(A3),作为 ,哪里 ;
(A4)φ 满足非光滑性(对.S公司)
c(c)
每个的条件 .
然后 φ 具有无界的临界值序列.
备注2.8引理2.7的证明需要条件(A1),详见[27]以及其中的参考文献。