1. 引言
本文将研究如下带有两个参数的分数阶对流弥散方程耦合系统的多重解问题。
(1)
其中,
和
分别是
阶的左、右Riemann-Liouville分数阶积分,
和
是两个正的实参数,
,
,特别地,在
上,对每一个
,
和
是连续函数,且在
上,对任意的
,
和
是
函数,且
,
,
分别表示F,G对s的偏导数。
近几年,关于非线性分数阶微分方程解的存在性和多重性问题被广泛的研究,目前,解决此类问题的一些主要方法包括不动点定理,重合度理论,上下解法,单调迭代法等 [1] [2] [3] [4]。除上述经典方法之外,变分方法和临界点理论已经成功地应用于研究非线性分数阶边值问题解的存在性和多重性问题,此方法对于研究一些复杂的分数阶微分方程具体重大的意义。然而,由于分数阶边值问题的临界点理论往往很难建立一个合适的空间和变分泛函,因此,迄今为止,变分方法和临界点理论应用于分数阶边值问题解的研究还很少 [5] [6] [7] [8] [9]。
在文献 [10] 中,作者研究了如下带有p-Laplacian算子的分数阶微分方程的边界值问题。
(2)
其中,
是任意有界区间,
是一个非负的实参数,
,
,
和
分别为
阶的左、右Riemann-Liouville分数阶导数,函数
,
,满足
,
,
,
,
,
,且
,
为
函数,
,
分别为f,g关于s的偏导数。首先在A-R条件下,作者证明了系统(2)存在无穷多个解,此外,在没有A-R条件的情况下,作者得出了系统(2)至少有一个非平凡解存在的结果。
在上述文献的启发之下,本文将利用变分法及一个三临界点定理研究系统(1)的多重解问题,为此,下文将会建立一个合适的函数空间以及系统(1)的变分结构。
2. 预备知识
在本文中
,
。
定义1令
,
,分数阶导数空间
是空间
的闭包,其范数定义如下
显然,如果
,那么w,
,
,
是一个自反可分空间。
命题2 ( [11])令
,
。对所有的
,有
(3)
此外,如果
,且
,那么
(4)
由(4)可知,关于空间
的范数有下面等式成立
(5)
命题3 ( [11])对于任意的
,则有
(6)
命题4 ( [11])令
,
。设
,当序列
在空间
上弱收敛w,那么在空间
中,
强收敛到w,即
,当
。
因此,对于任意的
,
,定义空间S表示空间
,其范数定义为
显然空间S是一个自反可分的Banach空间,且紧嵌入到空间
中。
我们考虑泛函
,其定义为
其中:
(7)
(8)
显然,
,
是Gâteaux可微泛函,则对任意
,其在点
处的导数
,
分别为
(9)
(10)
因此,如果
是等式
的解,那么
是问题(1)的弱解。
定理5 [12] 令E是一个自反可分的实Banach空间,在其上定义一个单调、强制、半连续算子
,则下面的结果成立:
a) 如果算子A严格单调,那么其存在可逆算子
,且
是严格单调、半连续、有界算子。
b) 如果算子A强单调,那么
Lipschitz连续。
定理6 [13] 令E是一个自反可分的实Banach空间,
为序列弱下半连续、强制、连续Gâteaux可微算子,它的Gâteaux导数在空间
上存在一个连续的逆算子,
是连续Gâteaux可微泛函,其Gâteaux导数是紧的,且
。设存在
,
,使得
,那么
i)
;
ii) 对每个
,泛函
是强制的,则对每个
,泛函
在E上至少有三个不同的临界点。
3. 主要结果
引理7 令
,
。函数
,
分别定义为式(7),(8),则
是一个序列弱下半连续,强制,连续Gâteaux泛函可微,它的Gâteaux导数在空间
上有一个连续的逆,
是一个连续的Gâteaux可微泛函,它的Gâteaux导数是紧的。
证明:事实上,由于S紧嵌入到X中,因此
是一个Gâteaux可微泛函,它在点
处的Gâteaux导数为
,可见式(9)。此外,从式(6)可知,当
,
时,得
从而可知泛函
是强制的。下面,我们将证明
在
上有一个连续的逆,令
,
,根据式(9),得
这表明
是严格单调的,又考虑到S是自反的,且在空间S中,当
时,
,则在空间
中,当
时,
弱收敛到
,则
是半连续的,通过定理5,得到
存在且连续。此外,因为
是下半连续和凸的,那么它是序列弱下半连续泛函( [14] 定理1.2)。
考虑泛函
,显然,由式(8),(10)可知,
是连续的Gâteaux可微泛函,它的导数为
。此外,对于固定的
,设
,当
时,在空间S中,
弱收敛到
,那么
一致收敛到
,即
(11)
式(11)表明
是序列弱上半连续。另一方面,在
上,对所有的
,由于
,
是
函数,那么它是连续函数,则当
时,
,
,利用Lebesgue控制收敛定理,
强收敛到
,则
在S上是强连续的,则
是紧算子,因此引理7得证。
我们给出了一些符号,这些符号将在后面的证明中使用。
定理8设存在正常数k和一个函数
满足
(12)
且
(H1)对每一个
,
;
(H2)
(H3)
则,对任意的
,对每一个连续函数
,
存在
,对任意的
,系统(1)至少存在三个解。其中:令
,且
证明:考虑到引理7,为了证明问题(1)存在多重解,我们只需要证明定理6的条件i)和ii)成立。令
,则根据式(7)及(8)可知,
,
。
令
,且
不难发现
,
,
。
通过计算,有
显然,在
上,
,
是连续的,且
(13)
(14)
令
,则根据式(6),(7),(12)得
接下来,证明定理6的条件i)成立。通过使用定理8的条件(H1),以及
,
,得
(15)
其中,
,对于所有的
,显然
。
根据式(4),(6),(7)得
因此,有
其中,
,对
,
。
如果
,得
(16)
如果
,为了使式(16)仍然成立,得
另一方面,根据式(6),(7),显然
(17)
则由式(15),(17)可知,
如果
,得
(18)
如果
,为了使式(18)成立,得
因此,由式(16),(18)可知,定理6的条件i)得证。
现在,我们验证定理6的条件ii)。为了证明泛函
的强制性,我们假设
固定一个
,使得下列不等式成立
则存在一个函数
使得
其中
,
。那么由
的范围以及上式,对于每一个
,得
(19)
由于
,则有
那么存在一个函数
,使得对每一个
,
,有
因此,我们有
(20)
则根据式(6),(7),(8),(19),(20),当
时,得
即泛函
是强制的。
另一方面,如果
那么存在一个函数
,满足
,对于每一个
,
。和前面证明过程相似,当
,我们可得到
在上述两种情况中,
的强制性成立,则定理6的条件ii)得证。
根据式(16),(18)可知
则根据定理6,泛函
至少存在三个临界点,证明完成。
例子:令
,
,
,则系统(1)变成下面的形式
(21)
其中:
,
,
显然,对所有的
,
,
,计算可得
令
则有
,
,
,取
,则
,得
显然,对每一个
,
,
且
则定理8的所有条件成立,即对任意的
,这里取
,则对任意的
,系统(21)在空间S中至少有三个解。
致谢
感谢导师陈芳启教授的悉心指导!
基金项目
国家自然科学基金(11872201)。