1. 引言
近几年来,分数阶拉普拉斯方程的各种应用引起了人们极大的关注,但它的非局部特征使研究变得困难,我们了解到对称性和单调性在分数阶拉普拉斯方程的研究中起重要作用,在本文中我们致力于研究方程的单调性,许多学者已经在这一问题上取得了很好的成果,移动平面法是解决这一问题的强大工具,具体可参考文献 [1] [2] [3] 。
除此之外,为了克服这一困难,Caffarelli和Silvestre在 [4] 中通过延拓的方法解决非局部问题,这个方法把非局部问题转化为更高维的局部问题,然后通过移动平面法得到解的性质,更多结果可以参考 [5] 。另一个方法是我们考虑相应的积分方程并且建立和微分方程等价的积分方程,通过移动平面法的积分形式得到解的性质,可参见 [6] [7] [8] 。
对于分数阶方程
(1)
其中
,
,
,
。Mouhamed Moustapha Fall在 [9] 中应用比较原则和极值原理得到了半线性方程非负分布解存在性和非存在性。
在文献 [10] 中Dai和Qin研究了更一般的非线性项在外部区域中的方程
(2)
其中
,
,给定任意
,他们建立了与方程相应的积分方程,然后利用缩放球体法建立了Liouville定理,和移动球面法不同的是,缩放球体法可以很好地利用解满足的积分方程,可以应用于各种问题。
总而言之,不管是延拓法还是积分方程,都需要额外的条件,所以有没有直接运用于非局部问题的方法?Jarous和Weth在 [11] 中以反对称函数的极值原理为基础,证明了非负函数的对称性。2017年,Chen,Li等人在 [12] 中介绍了解决分数阶拉普拉斯方程的移动平面法,他们证明了极值原理和移动平面法的关键要素,比如狭窄区域原理和无穷远处衰减原理。在 [13] 中,Chen和Li等人应用此方法解决有界区域和全空间上的非线性分数阶方程,还有半空间上解的非存在性。此外,许多学者把移动平面法应用到带Hardy项的分数阶拉普拉斯方程,更多结果可参见 [14] [15] [16] 。
在上面的研究基础上,Wang,Ren等人在文献 [17] 中研究了Hardy-Schrödinger方程
(3)
其中
,
,作者讨论了非线性薛定谔方程驻波径向解的对称性的结论。首先证明了在无穷远处衰减条件下解的径向对称性,在此基础上,证明了在不衰减的条件下,利用Kelvin变换,得到了解的不存在性和对称性结果。
相似地,叶方琪在 [18] 中研究了分数阶Hartree方程的负解的对称性
(4)
其中
,
,
,
,作者通过建立狭窄区域极值原理和无穷远处衰减原
理,应用某点处Kelvin变换,证明了负解关于某点的对称性。
2. 主要结果及证明
受到以上作者的启发,本文主要考虑上述方程更一般的非线性项形式和Hardy项,然后通过Kelvin变换,应用直接移动平面法,通过狭窄区域极值原理和无穷远处衰减原理得到正解的单调性和对称性。
本文主要研究一般非线性项的分数阶方程:
(5)
其中
,
,
是任意实数。
是一个Hardy常数,我们取
使得
,其中
。
我们定义任何非负函数f有次临界增长如果对于下列关于
的函数
是非减的 (6)
对于所有
关于
。
令
,
其中
,分数阶拉普拉斯算子定义为
其中常数
,PV代表Cauchy主值。
给定任意点
,记
是u以
为中心的Kelvin变换。然后推断出
(7)
设
为
中超平面,选择任意方向为
方向。对于
,令
通过
的定义,我们知道
因此,如果
在
中存在负值,那么
的最小负值一定也在
内部。
对于任意
,令
,
,可以得到
(8)
引理1 (狭窄区域极值定理):设𝒟是
中的狭窄区域,并且
,其中l足够小。假定
,并且在
中下半连续且满足
(9)
那么对于l足够小,有
(10)
证明:如果不成立,由u在
中的下半连续性可知,存在
使得
由条件
在
中,推断出
一定在H的内部。
一方面有
(11)
令
,我们有
也就是说,
(12)
另一方面有
(13)
记
我们对
有以下估计
当l充分小时,我们有
等式两边矛盾。因此我们完成引理1的证明。
引理2 (无穷远处衰减定理):设
,并且
的最小值在
内部取到,则存在常
(与
无关),使得如果有
满足
,那么
(14)
证明:由于
且
,我们有
(15)
对于
,令
,则
,我们有
(16)
因此
(17)
通过(13),我们有
当
足够大时,有
由(15),(16),(17),我们知道存在充分大的
,当
时,有
化简可得
不等式两边矛盾,因此
,因此完成了引理2的证明。
定理1:设
,
且满足
(18)
假设函数
关于u是局部Lipschitz连续的,并且f是次临界的。那么对于任意的
,存在
使得要么
,并且u关于
方向先增后减;要么u满足
证明:我们从
沿着
正方向移动平面,直到极限位置,并且对于任何
,
都成立。它可以分为以下两步。
第一步:我们证明当
足够接近
时,
(19)
由(11),很容易发现,当
充分大时,
根据引理2 (无穷远处衰减定理),得到存在一个常数
(与
无关)使得如果
是
在
中的最小值,那么有
(20)
因此我们已经证明出对于
充分负时,
第二步:我们将平面
向右移直到它的极限位置,令
以下我们分两种情况讨论
情况一:当
时,我们断定
(21)
我们说明
可以往右移动,也就是说,存在
,使得对于任何
,我们有
这和
的定义矛盾。
通过(20),
的最小负值一定在
内部取到,事实上,我们只需证明当
充分靠近
时,
(22)
当
时,有
否则的话,存在一点
使得
我们有
另一方面
矛盾。因此由
,我们知道存在一个常数
,给定
充分小,使得
由于
关于
的连续性,一定存在
并且
,使得对于所有
,有
(23)
设
由引理1 (狭窄区域极值定理),有
(24)
结合(20),(23),(24),可以推断出对于所有
,
这和
的定义矛盾,因此当
时,有
因此,存在
,
情况二:当
时,从
向左移动平面
直到极限位置,如果两平面重合,那么u关于点
对称满足
,并且关于
方向先增后减;如果两平面不重合,那么存在
,有
至此,定理1被证明。
3. 结论
本文主要研究带Hardy项的分数阶拉普拉斯方程正解的对称性和单调性,其中Hardy项是文章的创新点,就此模型我们还可以对带Hardy项的方程组,n个方程以及抛物区域上解的对称性和单调性或者利用移动球面法进行深入探讨、研究。