本文研究了一类与分数阶p-Laplace算子相关的重排优化问题。首先,通过建立合适的变分框架并利用全局极小原理得到了一个分数阶p-Laplace算子方程的全局极小解。然后,利用反证法证明该全局极小解的唯一性。最后,使用重排优化理论证明在一定的参数范围内相应的能量泛函极小重排优化问题的可解性。<br>This paper focuses on an optimization problem involving the fractional p-Laplacian. Firstly, we use the global minimum principle in the suitable variational framework to obtain a global minimum solution of a fractional p-Laplacian equation. Then, the uniqueness of the solution of the equation can be obtained by using reduction to absurdity. Finally, the solvability of a minimization problem for the energy functional corresponding to the fractional p-Laplace equation will be verified by rearrangement optimization theory.
本文研究了一类与分数阶p-Laplace算子相关的重排优化问题。首先,通过建立合适的变分框架并利用全局极小原理得到了一个分数阶p-Laplace算子方程的全局极小解。然后,利用反证法证明该全局极小解的唯一性。最后,使用重排优化理论证明在一定的参数范围内相应的能量泛函极小重排优化问题的可解性。
重排优化问题,全局极小解,分数阶p-Laplace算子
Chong Qiu
Faculty of Mathematics and Physics, Huaiyin Institute of Technology, Huaian Jiangsu
Received: May 2nd, 2021; accepted: Jun. 3rd, 2021; published: Jun. 10th, 2021
This paper focuses on an optimization problem involving the fractional p-Laplacian. Firstly, we use the global minimum principle in the suitable variational framework to obtain a global minimum solution of a fractional p-Laplacian equation. Then, the uniqueness of the solution of the equation can be obtained by using reduction to absurdity. Finally, the solvability of a minimization problem for the energy functional corresponding to the fractional p-Laplace equation will be verified by rearrangement optimization theory.
Keywords:Optimization, Global Minimum Solution, Fractional p-Laplacian
Copyright © 2021 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
重排优化问题具有丰富的物理背景。著名物理学家W. Thomson (Lord Kelvin)曾提出求解使得某一区域流体动能达到最值的最优涡量场分布问题。1989年Burton将该问题等价转化为在已知涡量场所有重排函数组成的集合上的重排优化问题。通过建立一系列重排函数理论,Burton得到了该重排优化问题的可解性,见 [
近年来,非局部算子如分数阶Laplace算子相关的重排优化问题得到了许多人们的关注。相关研究见文献 [
本文将考虑分数阶p-Laplace算子方程( P λ , f )
{ ( − Δ ) p s u − λ V ( x ) | u | p − 2 u = f ( x ) , x ∈ Ω u = 0 , x ∈ R N \ Ω
引出的重排优化问题,其中 ( − Δ ) p s ( 0 < s < 1 , p > 1 ) 为分数阶p-Laplace算子定义为:
( − Δ ) p s u ( x ) = 2 lim ε ↓ 0 ∫ R N \ B ε ( x ) | u ( x ) − u ( y ) | p − 2 ( u ( x ) − u ( y ) ) | x − y | N + p s d y ,
其中 λ > 0 为一个参数, V ( x ) > 0 为某个可测函数。
可以证明,对 f ( x ) ∈ L q ( Ω ) 方程( P λ , f )具有唯一全局极小解,记为 u f (见第2节定理2.1)。
本文将讨论如下的重排优化问题:
(Opt) inf g ∈ R ( f ) Φ ( g )
其中 Φ ( g ) : R ( f ) ↦ R 为能量泛函
Φ ( g ) = 1 p ‖ u g ‖ p − λ p ∫ Ω V ( x ) | u g | p d x − ∫ Ω g u g d x
这里 u g 为方程 ( P λ , f ) 中右端项 f 替换为 g 时对应的唯一解, ‖ u g ‖ p = ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y 。我们
将证明在参数 λ 的合适取值范围内上述重排优化问题的可解性。
注意到分数阶p-Laplace算子不仅是非局部算子而且是非线性算子,因此,我们的处理需要更多技巧。
记 Ω ⊂ R N , ( N ≥ 3 ) 为一个有界光滑区域。设函数 f : Ω → R 可测,我们记 R ( f ) 为由满足如下条件:
m e a s ( { x ∈ Ω : g ( x ) ≥ a } ) = m e a s ( { x ∈ Ω : f ( x ) ≥ a } ) , ∀ a ∈ R
的可测函数 g 组成的函数集合,其中meas(∙)表示Lebegue测度。在本文中,我们将记 ‖ u ‖ L p 为通常的空间 L p ( Ω ) ( 1 ≤ p ≤ ∞ ) 中的范数。记号 C 表示某个正常数。
记可测函数 u : R N → R 的Gagliardo半范数为
[ u ] s , p = ( ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y ) 1 / p
并记
W s , p ( R N ) = { u ∈ L p ( R N ) : [ u ] s , p < ∞ }
为以
‖ u ‖ s , p = ( ∫ R N | u | p d x + [ u ] s , p p ) 1 / p
为范数的分数阶Sobolev空间,其中 0 < s < 1 , p ≥ 2 , s p < N 。本文的讨论将在其如下的线性闭子空间
W 0 s , p ( Ω ) = { u ∈ W s , p ( R N ) : u ≡ 0 , x ∈ R N \ Ω } ,
中进行。可以验证 ‖ ⋅ ‖ = [ ⋅ ] s , p 为 W 0 s , p ( Ω ) 中函数的等价范数,见文献 [
方程 ( P λ , f ) 对应的能量泛函 I f : W 0 s , p ( Ω ) ↦ R 为
I f ( u ) = 1 p ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y − λ p ∫ Ω V | u | p d x − ∫ Ω f u d x
容易验证, I f ∈ C 1 ( W 0 s , p ( Ω ) , R ) 且对任意的 v ∈ W 0 s , p ( Ω ) 成立
〈 I ′ f ( u ) , v 〉 = ∫ R N ∫ R N | u ( x ) − u ( y ) | p − 2 ( u ( x ) − u ( y ) ) ( v ( x ) − v ( y ) ) | x − y | N + p s d x d y − λ ∫ Ω V | u | p − 2 u v d x − ∫ Ω f v d x
定义2.1 称 u ∈ W 0 s , p ( Ω ) 为方程 ( P λ , f ) 的一个解,如果对任意的 v ∈ W 0 s , p ( Ω ) 成立
∫ R N ∫ R N | u ( x ) − u ( y ) | p − 2 ( u ( x ) − u ( y ) ) ( v ( x ) − v ( y ) ) | x − y | N + p s d x d y − λ ∫ Ω V | u | p − 2 u v d x − ∫ Ω f v d x = 0
因此, u ∈ W 0 s , p ( Ω ) 为方程 ( P λ , f ) 的一个解当且仅当 〈 I ′ f ( u ) , v 〉 = 0 , ∀ v ∈ W 0 s , p ( Ω ) 。
引理 2.1(见文献 [
引理2.2 (见文献 [
引理2.3 (见文献 [
令
λ 1 = inf u ∈ W 0 s , p ( Ω ) { ‖ u ‖ p : ∫ Ω V | u | p d x = 1 } (2.1)
引理2.4设 V ( x ) > 0 且 V ( x ) ∈ L ∞ ( Ω ) 则 λ 1 > 0 。
证明:显然, 0 ≤ λ 1 < ∞ 。任取 { u n } 为一列极小化序列,即
∫ Ω V | u n | p d x = 1 , ‖ u n ‖ p → λ 1 ,
则存在子列,不妨仍记为 { u n } ,使得 u n 弱收敛于 u ¯ ∈ W 0 s , p ( Ω ) 。由于 W 0 s , p ( Ω ) 紧嵌入 L p ( Ω ) ,则 u n 强收敛于 u ¯ ∈ L p ( Ω ) 。于是,
∫ Ω V | ( | u n | p − | u ¯ | p ) | d x ≤ ‖ V ‖ L ∞ ∫ Ω | ( | u n | p − | u ¯ | p ) | d x → 0
因此,
∫ Ω V | u n | p d x → ∫ Ω V | u ¯ | p d x = 1
结合范数的弱下半连续性可得
λ 1 ≤ ‖ u ¯ ‖ p ≤ lim inf n → ∞ ‖ u n ‖ p = λ 1
由此即得 λ 1 = ‖ u ¯ ‖ p > 0 。
定理3.1 设 0 < V ( x ) ∈ L ∞ ( Ω ) , f ∈ L q ( Ω ) , q > p N ( p − 1 ) N + p s , 0 < λ < λ 1 ,其中 λ 1 如(2.1)中所定义,
则方程 ( P λ , f ) 存在唯一全局极小解 u f ∈ W 0 s , p ( Ω ) ,即
〈 I ′ f ( u f ) , v 〉 = 0 , ∀ v ∈ W 0 s , p ( Ω )
且
I ( u f ) = inf v ∈ W 0 s , p ( Ω ) I ( v )
证明:我们先证明方程 ( P λ , f ) 存在全局极小解。任取 u ∈ W 0 s , p ( Ω ) ,利用Holder不等式及引理2.1
| ∫ Ω f u d x | ≤ ‖ f ‖ L q ‖ u ‖ L q ' ≤ C ‖ u ‖
其中 1 < q ′ : = q / ( q − 1 ) < p N / ( N − p s ) 。
再由(2.1)可得
I f ( u ) ≥ 1 p ( 1 − λ λ 1 ) ‖ u ‖ p − C ‖ u ‖ → ∞ , 若 ‖ u ‖ → ∞
即泛函 I f 是强制的。
易知, I f 为一个弱下半连续泛函。所以,一定存在 u f ∈ W 0 s , p ( Ω ) 为泛函 I f 的全局极小点,即 I f ( u f ) = inf v ∈ W 0 s , p ( Ω ) I f ( v ) 。容易验证 I f ∈ C 1 ( W 0 s , p ( Ω ) , R ) ,则由全局极小原理即可得到 u f 为方程 ( P λ , f ) 的解,即
〈 I ′ f ( u f ) , v 〉 = 0 , ∀ v ∈ W 0 s , p ( Ω )
下面我们证明方程 ( P λ , f ) 有且仅有一个全局极小解 u f 。
记 m : = inf v ∈ W 0 s , p ( Ω ) I f ( v ) ,则 I f ( u f ) = m 。由于 0 < λ < λ 1 ,则
‖ u ‖ p ≥ ‖ u ‖ p − λ ∫ Ω V | u | p d x ≥ λ 1 − λ λ 1 ‖ u ‖ p
因此, ‖ u ‖ λ : = ( ‖ u ‖ p − λ ∫ Ω V | u | p d x ) 1 / p 是与 ‖ u ‖ 等价的范数。由范数的三角不等式可得,对任意的
t ∈ ( 0 , 1 ) , u , v ∈ W 0 s , p ( Ω ) 成立
‖ t u + ( 1 − t ) v ‖ λ ≤ t ‖ u ‖ λ + ( 1 − t ) ‖ v ‖ λ
利用 p 次幂函数的严格凸性可得
I f ( t u + ( 1 − t ) v ) = 1 p ‖ t u + ( 1 − t ) v ‖ λ p − ∫ Ω f ( x ) ( t u + ( 1 − t ) v ) d x ≤ 1 p ( t ‖ u ‖ λ + ( 1 − t ) ‖ v ‖ λ ) p − ∫ Ω f ( x ) ( t u + ( 1 − t ) v ) d x < t p ‖ u ‖ λ p + 1 − t p ‖ v ‖ λ p − ∫ Ω f ( x ) ( t u + ( 1 − t ) v ) d x = t I f ( u ) + ( 1 − t ) I f ( v )
假设存在 w f ∈ W 0 s , p ( Ω ) 也是方程 ( P λ , f ) 的全局极小解且 w f ≠ u f 则 I f ( w f ) = m 。任取 t ∈ ( 0 , 1 ) ,则 t u f + ( 1 − t ) w f ∈ W 0 s , p ( Ω ) 且 I f ( t u f + ( 1 − t ) w f ) < t I f ( u f ) + ( 1 − t ) I f ( w f ) = m ,矛盾。因此, u f 是方程 ( P λ , f ) 的唯一全局极小解。证毕。
定理4.1 设 0 < V ( x ) ∈ L ∞ ( Ω ) , f ∈ L q ( Ω ) , q > p N / ( p N − N + p s ) , 0 < λ < λ 1 ,则存在 f ^ ∈ R ( f ) ,为问题(Opt)的解,即
Φ ( f ^ ) = I f ^ ( u ^ ) = inf g ∈ R ( f ) I g ( u g ) = inf g ∈ R ( f ) Φ ( g )
这里 u ^ = u f ^ 是方程 ( P λ , f ^ ) 的唯一全局极小解。
证明:由定理3.1,方程 ( P λ , f ) 存在唯一解 u f ∈ W 0 s , p ( Ω ) 。令 A = inf g ∈ R ( f ) I g ( u g ) ,则 A 为有限数。事实
上,对任一个 g ∈ R ( f ) ,我们有
I g ( u g ) = 1 p ∫ R N ∫ R N | u g ( x ) − u g ( y ) | p | x − y | N + p s d x d y − λ p ∫ Ω V | u g | p d x − ∫ Ω g u g d x ≥ 1 p ( 1 − λ λ 1 ) ‖ u g ‖ p − C ‖ g ‖ L q ‖ u g ‖ 。 (4.1)
根据引理2.2, ‖ g ‖ L q = ‖ f ‖ L q ,我们由上式可推知 A 一定是有限数。设 { g i } 为某个极小化序列,即
g i ∈ R ( f ) , ∀ i ∈ N 且
A = lim i → ∞ I ( u i )
其中 u i = u g i , I ( u i ) = I g i ( u g i ) 。由(4.1)可知 { u i } 为 W 0 s , p ( Ω ) 中有界序列,则一定存在子序列(不失一般性,仍记为 { u i } )在空间 W 0 s , p ( Ω ) 中弱收敛于某个函数 u ∈ W 0 s , p ( Ω ) 并且由于 W 0 s , p ( Ω ) 紧嵌入于
L q ′ ( Ω ) ( 1 < q ′ = q / ( q − 1 ) < p N / ( N − p s ) ) 可知其在 L q ′ ( Ω ) 中强收敛于 u 。令 R ( f ) ¯ q , w 为 R ( f ) 在 L q ( Ω ) 中的
弱闭包。注意到 ‖ g i ‖ L q ≡ ‖ f ‖ L q ,则 { g i } 也为空间 L q ( Ω ) 中有界序列,因此一定存在子序列(不失一般性,
仍记为 { g i } )在 L q ( Ω ) 中弱收敛于 g ¯ ∈ R ( f ) ¯ q , w 。利用 L q ( Ω ) 中序列弱收敛的定义并结合 u ∈ L q ′ ( Ω ) ,我们有
| ∫ Ω ( g i − g ¯ ) u d x | → 0 , i → ∞
再结合Holder不等式可推出
| ∫ Ω ( g i u i − g ¯ u ) d x | ≤ | ∫ Ω g i ( u i − u ) d x | + | ∫ Ω ( g i − g ¯ ) u d x | ≤ ‖ g i ‖ L q ‖ u i − u ‖ L q ′ + | ∫ Ω ( g i − g ¯ ) u d x | → 0 , i → ∞ 。
由于 W 0 s , p ( Ω ) 紧嵌入于 L p ( Ω ) ,所以 { u i } 在 L p ( Ω ) 中强收敛于 u 。结合 0 < V ( x ) ∈ L ∞ ( Ω ) 即可得到
lim i → ∞ ∫ Ω V ( | u i | p − | u | p ) d x = 0
由以上两式我们即可推得
A = lim i → ∞ I ( u i ) ≥ 1 p ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y − λ p ∫ Ω V | u | p d x − ∫ Ω g ¯ u d x (4.2)
根据引理2.3,线性泛函 l : R ( f ) ¯ q , w ↦ R , l ( g ) = ∫ Ω g u d x 一定存在一个极大点 f ^ ∈ R ( f ) ,即
∫ Ω g ¯ u d x ≤ ∫ Ω f ^ u d x
由(4.2),即可推出
A ≥ 1 p ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y − λ p ∫ Ω V | u | p d x − ∫ Ω f ^ u d x (4.3)
由于 u ^ 为方程 ( P λ , f ^ ) 的全局极小解,则
I ( u ^ ) = inf v ∈ W 0 s , p ( Ω ) 1 p ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y − λ p ∫ Ω V | v | p d x − ∫ Ω f ^ v d x ≤ 1 p ∫ R N ∫ R N | u ( x ) − u ( y ) | p | x − y | N + p s d x d y − λ p ∫ Ω V | u | p d x − ∫ Ω f ^ u d x 。 (4.4)
结合(4.3)和(4.4)显然可以看出 I ( u ^ ) ≤ A 。
另一方面,由定义 A = inf g ∈ R ( f ) I g ( u g ) ,而 f ^ ∈ R ( f ) 则必有 I ( u ^ ) ≥ A 。这样我们就立刻得到,
I ( u ^ ) = A
证毕。
本文得到江苏省自然科学基金青年基金(BK20170590)及江苏省政府留学奖学金的支持。
邱 崇. 一类与分数阶p-Laplace算子相关的重排优化问题An Optimization Problem Involving the p-Fractional Laplacian[J]. 理论数学, 2021, 11(06): 1055-1061. https://doi.org/10.12677/PM.2021.116119