[论文解读] Sharp weighted Sobolev trace inequalities and fractional powers of the Laplacian

Jeffrey S. Case|arXiv (Cornell University)|Jan 28, 2019

Nonlinear Partial Differential Equations参考文献 29被引用 13

一句话总结

本文通过将 Caffarelli-Silvestre 扩展推广至所有非整数阶 γ ∈ (0, ∞) \ N，建立了欧氏上半空间中分数阶拉普拉斯算子的精确加权索博列夫迹不等式。通过引入涉及加权 GJMS 算子的高阶退化椭圆边界问题，定义了广义的 Dirichlet-to-Neumann 算子，证明了分数阶拉普拉斯算子 (−∆)^γ 可通过方程 ∆^{k+1}_m U = 0 的解的边界数据恢复，其中 m = 1 − 2[γ]，并利用 Dirichlet 原理与精确的分数阶索博列夫不等式，推导出具有显式最优常数的精确不等式。

ABSTRACT

We establish a family of sharp Sobolev trace inequalities involving the $W^{k,2}(\mathbb{R}_+^{n+1},y^a)$-norm. These inequalities are closely related to the realization of fractional powers of the Laplacian on $\mathbb{R}^n=\partial\mathbb{R}_+^{n+1}$ as generalized Dirichlet-to-Neumann operators associated to powers of the weighted Laplacian in upper half space, generalizing observations of Caffarelli--Silvestre and of Yang.

研究动机与目标

• 将 Caffarelli-Silvestre 扩展推广至拉普拉斯算子的所有非整数分数阶 γ ∈ (0, ∞) \ N。
• 在上半空间中构造与加权 GJMS 算子相关的广义 Dirichlet-to-Neumann 算子，通过高阶退化椭圆方程解的边界数据恢复 (−∆)^γ。
• 推导出嵌入 W^{⌊γ⌋+1,2}(R^{n+1}_+, y^{1−2[γ]}) ֒→ ⊕H^{γ−2j}(R^n) ⊕ H^{⌊γ⌋−[γ]−2j}(R^n) 的精确加权索博列夫迹不等式，并给出显式最优常数。
• 建立边界算子及其相关能量泛函的共形协变性。
• 证明不等式中等号成立当且仅当解源于具有特定共形不变轮廓函数的广义扩展问题。

提出的方法

• 通过涉及 ∆、∂_y 和 R^n 上 ∆ 的微分算子，递归定义边界算子 B_{2γ}^{2j} 和 B_{2γ}^{2[γ]+2j}，确保其对称性与共形协变性。
• 引入 Dirichlet 能量 E_{2γ}(U) := Q_{2γ}(U,U)，其中 Q_{2γ} 是与加权 GJMS 算子 ∆_m^{k+1}（m = 1 − 2[γ]）相关的双线性型，并证明其在具有预设边界数据的仿射子空间上严格凸。
• 证明广义 Dirichlet 原理：在固定边界数据 B_{2γ}^{2j}(U) = f^{(2j)} 与 B_{2γ}^{2[γ]+2j}(U) = φ^{(2j)} 的函数中，能量 E_{2γ}(U) 由高阶退化椭圆问题 ∆_m^{k+1}U = 0 的唯一解 U_D 最小化。
• 利用精确的分数阶索博列夫不等式（Lieb, 1983）与精确的 Onofri 不等式，从能量下界推导出最优 L^p 迹不等式。
• 在固定 R^n 的共形群作用下，建立边界算子与能量形式的共形协变性。
• 利用 Gamma 函数与组合系数，推导出精确不等式中常数的显式表达式，并通过共形不变性与已知极值函数验证等号成立条件。

实验结果

研究问题

• RQ1 如何在上半空间中通过广义 Dirichlet-to-Neumann 算子实现非整数阶 γ ∈ (0, ∞) \ N 的分数阶拉普拉斯算子 (−∆)^γ？
• RQ2 应采用何种高阶退化椭圆边界值问题，以实现 (−∆)^γ 并导出无需额外边界条件的精确索博列夫迹不等式？
• RQ3 当 m = 1 − 2[γ] 时，W^{k,2}(R^{n+1}_+, y^m) 中加权索博列夫迹不等式的精确常数是什么？
• RQ4 边界算子与能量形式的共形协变性如何与分数阶拉普拉斯算子的共形不变性相联系？
• RQ5 在精确迹不等式中实现等号的显式极值函数是什么？

主要发现

• 对于任意非整数阶 γ ∈ (0, ∞) \ N，分数阶拉普拉斯算子 (−∆)^γ 可通过方程 ∆_m^{k+1}U = 0（其中 m = 1 − 2[γ]，k = ⌊γ⌋ + 1）的解 U 的边界数据 B_{2γ}^{2γ−2j}(U) 恢复为广义 Dirichlet-to-Neumann 算子。
• 建立了嵌入 W^{⌊γ⌋+1,2}(R^{n+1}_+, y^{1−2[γ]}) ֒→ ⊕_{j=0}^{⌊γ/2⌋} H^{γ−2j}(R^n) ⊕ ⊕_{j=0}^{⌊γ⌋−⌊γ/2⌋−1} H^{⌊γ⌋−[γ]−2j}(R^n) 的精确加权索博列夫迹不等式，其最优常数涉及 Gamma 函数与 Vol(S^n)。
• 当且仅当 U 是具有边界数据 f^{(2j)}(x) = a_j (ε_j + |x−ξ_j|^2)^{-(n−2γ+4j)/2} 与 φ^{(2j)}(x) = b_j (ε'_j + |x−ζ_j|^2)^{-(n−2⌊γ⌋+2[γ]+4j)/2} 的广义扩展问题的唯一解时，不等式中等号成立。
• 对于具有高阶边界数据为零的函数，不等式 E_{2γ}(U) ≥ c_γ ∫_{R^n} f(−∆)^γ f dx 的精确常数为 c_γ = (−1)^{1+⌊γ⌋} 2^{1−2[γ]} ⌊γ⌋! γ Γ(−γ)/Γ([γ])，且等号成立当且仅当 U 满足广义扩展问题 (6.2)。
• 在 L^{2n/(n−2γ)} 迹不等式中，精确常数为 Vol(S^n)^{2γ/n} Γ((n+2γ)/2)/Γ((n−2γ)/2) 乘以一个组合因子，与 Lieb 的精确分数阶索博列夫不等式一致。
• 广义扩展问题 (6.2) 通过极限 lim_{y→0} y^{1−2[γ]} ∂_y ∆_m^{⌊γ⌋} U 恢复 (−∆)^γ f，其中常数 2^{1−2[γ]} ⌊γ⌋! γ Γ(−γ)/Γ([γ]) 被显式导出。