[论文解读] Local integration by parts and Pohozaev identities for higher order fractional Laplacians

Xavier Ros‐Oton, Joaquim Serra|arXiv (Cornell University)|Jun 4, 2014

Nonlinear Partial Differential Equations参考文献 24被引用 4

一句话总结

本文为 $s > 1$ 的高阶分数阶拉普拉斯算子 $(-\Delta)^s$ 建立了局部分部积分公式和 Pohozaev 恒等式，扩展了此前针对 $s \in (0,1)$ 的结果。关键贡献在于推导出涉及 $u/d^s$ 的边界项，从而为有界区域中满足零外部数据的 $(-\Delta)^s$ 特征函数建立了唯一延拓性质。

ABSTRACT

We establish an integration by parts formula in bounded domains for the higher order fractional Laplacian $(-Δ)^s$ with $s>1$. We also obtain the Pohozaev identity for this operator. Both identities involve local boundary terms, and they extend the identities obtained by the authors in the case $s\in(0,1)$. As an immediate consequence of these results, we obtain a unique continuation property for the eigenfunctions $(-Δ)^sϕ=λϕ$ in $Ω$, $ϕ\equiv0$ in $\mathbb R^n\setminusΩ$.

研究动机与目标

• 将分部积分与 Pohozaev 恒等式从 $s \in (0,1)$ 的情形推广至 $s > 1$ 的高阶分数阶拉普拉斯算子。
• 为 $(-\Delta)^s$ 建立一个在有界光滑区域中依然有效的局部边界项公式。
• 证明满足 $(-\Delta)^s\phi = \lambda\phi$ 在 $\Omega$ 内且 $\phi \equiv 0$ 在 $\mathbb{R}^n \setminus \Omega$ 的 $(-\Delta)^s$ 特征函数的唯一延拓性质。
• 基于 Grubb [13] 的正则性结果与函数 $d(x)$ 作为距离的边界加权平滑化，为高阶分数阶 PDE 提供严谨的分析框架。

提出的方法

• 通过借鉴 [29] 中对 $s \in (0,1)$ 情形结果的推广，利用函数 $d(x)$ 定义光滑边界权重，推导出 $s > 1$ 时 $(-\Delta)^s$ 的分部积分公式。
• 利用 Grubb [13] 的正则性理论，证明当 $g \in L^\infty(\Omega)$ 时，若 $u$ 是 $(-\Delta)^s u = g$ 在 $\Omega$ 内的解且在 $\mathbb{R}^n \setminus \Omega$ 上恒为零，则 $u/d^s \in C^\infty(\overline{\Omega})$。
• 通过光滑逼近 $g_k \to g$ 的密度论证，将恒等式从光滑数据推广至 $L^\infty$ 数据，确保 $u_k/d^s$ 在 $C^\alpha(\overline{\Omega})$ 中收敛于 $u/d^s$。
• 通过显式计算 $(-\Delta)^s(1 - |x|^2)_+^s$，利用超几何函数恒等式及分数阶拉普拉斯算子对单项式的运算，计算出 Pohozaev 恒等式中的常数 $\Gamma(1+s)^2$。
• 利用 Pohozaev 恒等式推导唯一延拓结果：在特征函数条件下，边界积分项消失，从而强制 $\phi \equiv 0$。

实验结果

研究问题

• RQ1 能否为 $s > 1$ 的高阶分数阶拉普拉斯算子 $(-\Delta)^s$ 建立类似于 $s \in (0,1)$ 情形的局部分部积分公式？
• RQ2 对于 $s > 1$ 的 $(-\Delta)^s$，Pohozaev 恒等式中的精确边界项形式为何？其如何依赖于 $u/d^s$？
• RQ3 对于 $s > 1$ 的 $(-\Delta)^s$，Pohozaev 恒等式是否蕴含对在 $\Omega$ 外部消失的特征函数的唯一延拓性质？
• RQ4 如何显式计算非整数 $s > 1$ 情形下 Pohozaev 恒等式中的常数 $\Gamma(1+s)^2$？
• RQ5 Grubb [13] 的正则性结果在多大程度上支持了对 $s > 1$ 情形下涉及 $u/d^s$ 的局部恒等式的推导？

主要发现

• 为 $s > 1$ 的 $(-\Delta)^s$ 建立了分部积分公式，其包含一个与 $\Gamma(1+s)^2 \int_{\partial\Omega} \left(\frac{u}{d^s}\right)^2 (x \cdot \nu) \, d\sigma$ 成比例的局部边界项，适用于 $u \in H^s(\mathbb{R}^n)$ 且 $(-\Delta)^s u \in L^\infty(\Omega)$ 的情形。
• 推导出 $s > 1$ 时 $(-\Delta)^s$ 的 Pohozaev 恒等式，形式为 $\int_\Omega (x \cdot \nabla u)(-\Delta)^s u \, dx = \frac{2s - n}{2} \int_\Omega u (-\Delta)^s u \, dx - \Gamma(1+s)^2 \int_{\partial\Omega} \left(\frac{u}{d^s}\right)^2 (x \cdot \nu) \, d\sigma$，其中边界项被明确识别。
• 通过 $(-\Delta)^s$ 作用于函数 $(1 - |x|^2)_+^s$ 的显式计算，利用超几何函数恒等式与分数阶拉普拉斯算子对单项式的性质，严格计算出 Pohozaev 恒等式中的常数 $\Gamma(1+s)^2$。
• 证明了唯一延拓性质：若 $\phi \in H^s(\mathbb{R}^n)$ 满足 $(-\Delta)^s \phi = \lambda \phi$ 在 $\Omega$ 内且 $\phi \equiv 0$ 在 $\mathbb{R}^n \setminus \Omega$，则由于 Pohozaev 恒等式中边界积分项消失，必有 $\phi \equiv 0$ 在 $\Omega$ 内。
• 利用解满足 $(-\Delta)^s u = g$ 在 $\Omega$ 内、$u \equiv 0$ 在 $\mathbb{R}^n \setminus \Omega$ 且 $g \in C^\alpha(\overline{\Omega})$ 时 $u/d^s \in C^\infty(\overline{\Omega})$ 的正则性结果，为密度论证中逼近序列的逐点收敛性提供了依据。