1. 引言
分数阶Laplace算子最早由Liouville在1832年提出,但是之后的近百年里,关于分数阶Laplace算子的研究几乎一直处于停滞状态。直到二十世纪七十年代,关于它的研究现状才得以改善,在理论和应用上都取得了长足的发展,作为一类非局部算子,分数阶Laplace算子与整数阶Laplace算子相比不仅有本质区别也有共同之处,例如:基本解、Possion核、Harnack不等式、极值原理等。其中,含有Hardy项类型的问题也受到许多学者的重视,并得到了大量重要的结论,见文献 [1] [2] [3]。
文 [2] 研究了如下带有Hardy项的临界分数阶Laplace方程:
其中
,
,
,
且
是Hardy-Sobolev不等式的最佳嵌入常数。文 [2] 运用了约束极小方法和Lagrange乘子技巧得到了该方程正解的存在性。
文 [3] 研究了如下带有Hardy-Sobolev临界指数的椭圆方程:
其中
和
是常数,且
为
上的Hardy-Sobolev指数。文 [3] 运用了Nehari流形和纤维映射方法证明方程多重解的存在性。
结合 [2] 中带Hardy项的临界分数阶Laplace方程的结果与 [3] 中带Kirchhoff项整数阶Laplace方程的结果,我们运用了Nehari流形、集中紧性原理和纤维映射方法证明了一类Kirchhoff型临界分数阶椭圆该方程正解的存在性和多重解的存在性。
本文主要研究的一类Kirchhoff型临界分数阶椭圆方程为:
(1.1)
其中
和
为常数,且
为
上的Hardy-Sobolev指数。
本文的主要创新点和难点在于临界指标下
序列的紧性证明,为此我们需要运用集中紧性原理并且精细估计收敛的泛函能量水平的阈值。据我们所知很少有文章提及问题(1.1),因此本文的结果是对Kirchhoff型临界分数阶椭圆方程已有结论的扩展和补充。
假设
满足下列条件:
(F)
且存在
使得
。
本文主要结论如下:
定理1.1:假设(F)成立,且
,
,则对任意
,我们有
1) 当
时,问题(1.1)存在至少一个正解;
2) 当
时,问题(1.1)存在至少两个正解;
其中
和
在第二部分给出。
2. Nehari流形和纤维映射
2.1. 预备知识和一些记号
定义
是具有标准范数
的一般Lebesgue空间,记
是
关于
范数的完备化空间,其中:
通过分数阶Hardy不等式 [4]:
,其中
,
我们推出对任意
,
中内积和范数为:
对任意
和
,我们可以定义
(2.1)
且存在正函数
取到
,并且满足:
(2.2)
因此,本文主要研究问题(1.1)多重解的存在性,且(1.1)的对应泛函为:
相似于 [5] 中的证明,我们得到
被定义在
上并且
是
泛函。更进一步,因为(1.1)的任何解都是
的临界点。因此,我们通过求泛函
的临界点来找(1.1)的解。
因为
,通过Hölder不等式和(2.1),可得
(2.3)
为了方便,我们令
2.2. 预备引理
因为
在
上没有下界,所以我们首先研究Nehari流形。定义:
则(1.1)的任何非平凡解都属于
。明显地,
,当且仅当下式成立,
引理2.1泛函
在
上是强制的并且有下界。
证明:对任意
,因为
和
,我们得到
这就得出
在
上是强制的并且有下界。证毕!
对于任意
,Nehari流形
与纤维映射
密切相关。众所周知,上述映射是由Drabek和Pohozaev [6] 提出,并且被Brown和Zhang [7] (或Chen等 [8] )进一步讨论了。对于任意
我们有
对于任意
和
,可得
即当且仅当
,有
。特别地,当且仅当
时,有
相似于Brown和Zhang [7] 的方法,我们将
分为三个部分:
因此,对于任意
,可得
(2.4)
(2.5)
这与Brow和Zhang ( [7],定理2.3)的论证相似,我们可以得到以下引理。
引理2.2假设
是
在
上的局部极小点且
,则在
内有
。
受上述引理启发,我们将在
成立下进行研究。
引理2.3假设
,则
。
证明:对任意
,由(2.4)和(2.5)可知
且由(2.3)可知
这意味着
(2.6)
另一方面,由(2.4)和(2.5)还可以得到
且由(2.3)还可知
这意味着
(2.7)
结合(2.6)和(2.7),得到
,显然矛盾。因此对任意
,都有
。
为了寻找(1.1)的解,我们还需要证明
非空。
引理2.4:假设(F)成立且
,那么对任意
,存在
和唯一的
和
(
)使得
,
和
。
证明:证明过程与( [8] Lemma 4.2]类似,故这里省略。
从引理2.3可知对任意
,都有
。由引理2.4可得
且由引理2.1我们可以定义
,
,
。
引理2.5:在定理1.1的假设下,我们有
1) 若
,则
;
2) 若
,则存在与b无关的
使得
。特别地,
。
证明:1) 对任意
,由(2.4)可得
,
我们可以得到
所以
。
2) 我们分两种情形进行讨论。
情形1:
由(2.6)可知,对任意
,我们有
(2.8)
则对任意
和(2.3)可得
(2.9)
结合(2.8)和(2.9),可得若
,存在与b无关的
使得
。
情形2:
由(2.7)可知,对任意
,我们有
(2.10)
则对任意
和(2.3)可得
(2.11)
结合(2.10)和(2.11),可得若
,存在与b无关的
使得
。
3. 定理1.1的证明
利用Ekeland变分原理 [9] 和( [8],引理5.2),我们得到如下结果。
引理3.1:在定理1.1的假设下,我们有
1) 若
,则
有
序列
;
2) 若
,则
有
序列
。
下面引理给出了
的
条件成立的区间。
引理3.2:若
,当
,
的任何
序列都包含一个强收敛的子序列,其中
(3.1)
由引理3.3给出的正常数。
证明:设
是
的一个
序列。因为
和
因此
在
上有界。因此存在子序列仍记为
和
,使得当
时在
内
,在
内
,在
内
几乎处处收敛到u,且
由集中紧性原理 [10] [11] 可知,存在一个可数集合
,一组不同的点
,非负实数
,
(
)和非负实数
,
和
使得
其中
是
处的Dirac测度。不失一般性,我们只考虑在奇点
处集中的可能性。因此,对任意
,我们令
(
)并选择一个光滑的分段函数
,
且满足这样
,当
时
,当
时
以及
。则
(3.2)
因为
是有界的,由(3.2)知
由(2.1),即
,可得
也就是说,
因此,我们有
这矛盾于我们的假设。因此我们有
,结合(2.3)可得
因此,
故在
内
。证毕!
为了应用引理3.2,我们需要以下结果
引理3.3:在定理1.1的假设下,对任意
我们有
特别地,对任意
,都有
。
证明:由(3.1)可知,对任意
都有
。我们定义
根据(2.2)可知,
,
,
。
通过一些基本的计算,我们得到
当
时,它有唯一解,该解为
因此,可得
也就是说对任意
,都有
(3.3)
因为
,则存在仅依赖于
的
使得对任意
都有
另一方面,由(3.3)可知,
,即对任意
,都有
。
综上所述,对任意
,都有
。
因为
,由引理2.4可知存在唯一的
使得
。因此我们得到
。证毕!
命题3.4:在定理1.1的假设下,对任意
,则存在
使得
1)
是(1.1)的正解且
;
2) 当
时,
。
证明:1) 由Ekland变分原理知,m的任意极小化序列
能转化为
的
序列,也就是说,当
,
和
。
由引理2.1可知,
在
内有界。则存在子序列
使得在
内
。根据m和
的定义可得
。因此由引理3.2和引理3.3可知,在
内
,故
,
。又因为
,所以由引理2.2可得
是(1.1)的一个非平凡解。由于
的对称性可知,
,
。利用Harnack’s不等式 [12] 可得,在
内
,所以
是(1.1)的一个正解。我们现在可以断定
。通过反证法,引理2.3假定
。由引理2.4知存在唯一的
和
且
使得
。根据( [8],引理4.2]中相同方法,可知
在
上严格递增,因此
矛盾!因此,我们可得
,这意味着
。(i)证毕。
2) 因为
,由(2.6)和(2.7)可得,
,
这意味着当
,
。证毕!
接下来,我们证明
上
存在局部极小点。
命题3.5:在定理1.1的假设下,对任意
,则存在
使得
1)
;
2)
是(1.1)的一个正解。
证明:1) 根据命题3.1(2)可知,存在
的一个
序列,使得当
,
和
。由引理2.1可知,
在
内有界。则存在元素
使得在
内
。因此由引理3.2和引理3.3可知,在
内
,故
,
。所以由引理2.2和引理2.5(2)可得
是(1.1)的一个非平凡解。类似于命题3.4,可知
是正解。证毕!
最后,我们给出定理1.1的证明。
定理1.1证明:定理1.1的1)是命题3.4的一个推论。如果
,由命题3.4和3.5,我们可以得到(1.1)存在两个正解
和
。根据
的定义可知
,所以
和
是(1.1)的两个不同正解。