1. 引言
重排优化问题具有丰富的物理背景。著名物理学家W. Thomson (Lord Kelvin)曾提出求解使得某一区域流体动能达到最值的最优涡量场分布问题。1989年Burton将该问题等价转化为在已知涡量场所有重排函数组成的集合上的重排优化问题。通过建立一系列重排函数理论,Burton得到了该重排优化问题的可解性,见 [1] [2]。之后更多微分方程相关的重排优化问题得到了广泛深入的研究,见参考文献 [3] - [9]。
近年来,非局部算子如分数阶Laplace算子相关的重排优化问题得到了许多人们的关注。相关研究见文献 [10] - [16]。我们注意到尚未有分数阶p-Laplace算子相关的能量泛函重排优化问题研究。
本文将考虑分数阶p-Laplace算子方程(
)
引出的重排优化问题,其中
为分数阶p-Laplace算子定义为:
其中
为一个参数,
为某个可测函数。
可以证明,对
方程(
)具有唯一全局极小解,记为
(见第2节定理2.1)。
本文将讨论如下的重排优化问题:
(Opt)
其中
为能量泛函
这里
为方程
中右端项
替换为
时对应的唯一解,
。我们
将证明在参数
的合适取值范围内上述重排优化问题的可解性。
注意到分数阶p-Laplace算子不仅是非局部算子而且是非线性算子,因此,我们的处理需要更多技巧。
2. 预备知识
记
为一个有界光滑区域。设函数
可测,我们记
为由满足如下条件:
的可测函数
组成的函数集合,其中meas(∙)表示Lebegue测度。在本文中,我们将记
为通常的空间
中的范数。记号
表示某个正常数。
记可测函数
的Gagliardo半范数为
并记
为以
为范数的分数阶Sobolev空间,其中
。本文的讨论将在其如下的线性闭子空间
中进行。可以验证
为
中函数的等价范数,见文献 [14]。
为一致凸Banach空间。
方程
对应的能量泛函
为
容易验证,
且对任意的
成立
定义2.1 称
为方程
的一个解,如果对任意的
成立
因此,
为方程
的一个解当且仅当
。
引理 2.1(见文献 [17] 定理6.5)设
,则
连续嵌入
且当
时该嵌入是紧的。
引理2.2 (见文献 [2] 引理2.1)设
则一定有
且
引理2.3 (见文献 [7] 引理2.3)设
,
则线性泛函
,
存在
为其最值点。
令
(2.1)
引理2.4设
且
则
。
证明:显然,
。任取
为一列极小化序列,即
则存在子列,不妨仍记为
,使得
弱收敛于
。由于
紧嵌入
,则
强收敛于
。于是,
因此,
结合范数的弱下半连续性可得
由此即得
。
3. 方程
全局极小解的存在唯一性
定理3.1 设
,
,
,
,其中
如(2.1)中所定义,
则方程
存在唯一全局极小解
,即
且
证明:我们先证明方程
存在全局极小解。任取
,利用Holder不等式及引理2.1
其中
。
再由(2.1)可得
即泛函
是强制的。
易知,
为一个弱下半连续泛函。所以,一定存在
为泛函
的全局极小点,即
。容易验证
,则由全局极小原理即可得到
为方程
的解,即
下面我们证明方程
有且仅有一个全局极小解
。
记
,则
。由于
,则
因此,
是与
等价的范数。由范数的三角不等式可得,对任意的
成立
利用
次幂函数的严格凸性可得
假设存在
也是方程
的全局极小解且
则
。任取
,则
且
,矛盾。因此,
是方程
的唯一全局极小解。证毕。
4. 能量泛函重排优化问题(Opt)极小点的存在性
定理4.1 设
,
,
,
,则存在
,为问题(Opt)的解,即
这里
是方程
的唯一全局极小解。
证明:由定理3.1,方程
存在唯一解
。令
,则
为有限数。事实
上,对任一个
,我们有
(4.1)
根据引理2.2,
,我们由上式可推知
一定是有限数。设
为某个极小化序列,即
,
且
其中
。由(4.1)可知
为
中有界序列,则一定存在子序列(不失一般性,仍记为
)在空间
中弱收敛于某个函数
并且由于
紧嵌入于
可知其在
中强收敛于
。令
为
在
中的
弱闭包。注意到
,则
也为空间
中有界序列,因此一定存在子序列(不失一般性,
仍记为
)在
中弱收敛于
。利用
中序列弱收敛的定义并结合
,我们有
再结合Holder不等式可推出
由于
紧嵌入于
,所以
在
中强收敛于
。结合
即可得到
由以上两式我们即可推得
(4.2)
根据引理2.3,线性泛函
一定存在一个极大点
,即
由(4.2),即可推出
(4.3)
由于
为方程
的全局极小解,则
(4.4)
结合(4.3)和(4.4)显然可以看出
。
另一方面,由定义
,而
则必有
。这样我们就立刻得到,
证毕。
基金项目
本文得到江苏省自然科学基金青年基金(BK20170590)及江苏省政府留学奖学金的支持。