[论文解读] The Neumann problem for the fractional Laplacian: regularity up to the boundary

Alessandro Audrito, Juan-Carlos Felipe-Navarro+1 more|arXiv (Cornell University)|Jun 17, 2020

Nonlinear Partial Differential Equations被引用 4

一句话总结

该论文首次建立了分数阶拉普拉斯算子诺伊曼问题的边界正则性结果，证明弱解在边界处具有霍尔德连续性，且当 $ s > \frac{1}{2} $ 时，属于霍尔德空间 $ C^{2s-1+\alpha}(\overline{\Omega}) $。作者提出了一种新颖的带有对数修正的边界莫泽迭代方法，以克服非局部性及缺乏反射对称性带来的挑战。

ABSTRACT

We study the regularity up to the boundary of solutions to the Neumann problem for the fractional Laplacian. We prove that if $u$ is a weak solution of $(-Δ)^s u=f$ in $Ω$, $\mathcal N_s u=0$ in $Ω^c$, then $u$ is $C^α$ up tp the boundary for some $α>0$. Moreover, in case $s>\frac12$, we then show that $u\in C^{2s-1+α}(\overlineΩ)$. To prove these results we need, among other things, a delicate Moser iteration on the boundary with some logarithmic corrections. Our methods allow us to treat as well the Neumann problem for the regional fractional Laplacian, and we establish the same boundary regularity result. Prior to our results, the interior regularity for these Neumann problems was well understood, but near the boundary even the continuity of solutions was open.

研究动机与目标

• 建立分数阶拉普拉斯算子诺伊曼问题的首个边界正则性理论，此前解在边界处的连续性与霍尔德正则性尚不明确。
• 将正则性分析扩展至区域分数阶拉普拉斯算子，该算子描述了被限制的随机过程，且具有不同的能量结构。
• 克服经典反射技术在非局部设定下失效的根本困难，原因在于缺乏奇/偶对称性。
• 开发一种新型边界莫泽迭代方案，结合对数修正，以控制非局部方程在边界附近的振荡。
• 证明 $ C^{2s-1+\alpha} $ 正则性是最优的，通过构造模型解 $ |x_N|^{2s-1} $ 在上半空间中点态满足方程但并非弱解来验证。

提出的方法

• 将莫泽迭代方法适配至非局部诺伊曼设定，通过在边界估计中引入对数修正，以处理奇异核与非局部相互作用。
• 基于能量泛函 $ \mathcal{E}(u) = \frac{c_{N,s}}{4} \iint_{\mathbb{R}^{2N} \setminus (\Omega^c)^2} \frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}} \, dx\,dy - \int_\Omega f u $ 的变分形式，刻画弱解。
• 为 $ x \in \Omega^c $ 定义非局部诺伊曼算子 $ \mathcal{N}_s u(x) = c_{N,s} \int_\Omega \frac{u(x)-u(y)}{|x-y|^{N+2s}} \, dy $，以保证质量守恒与变分一致性。
• 通过证明区域算子诺伊曼问题的解满足相同的正则性估计，建立全算子与区域算子之间对偶性。
• 通过构造模型解 $ |x_N|^{2s-1} $ 证明边界正则性阈值 $ 2s-1 $ 是严格的，该函数在上半空间点态满足方程但不是弱解。
• 利用分部积分恒等式与核分解，将非局部诺伊曼问题与具有有界可测系数的散度型方程联系起来，从而可应用先进的正则性技术。

实验结果

研究问题

• RQ1 当 $ f \in L^q(\Omega) $ 且 $ q > \frac{N}{2s} $ 时，分数阶拉普拉斯算子诺伊曼问题 $ (-\Delta)^s u = f $ 在 $ \Omega $ 中，$ \mathcal{N}_s u = 0 $ 在 $ \Omega^c $ 中，其弱解的最优边界正则性是什么？
• RQ2 分数阶拉普拉斯算子诺伊曼问题的边界正则性理论能否推广至源于被限制过程的区域分数阶拉普拉斯算子？
• RQ3 为何经典基于反射的正则性理论在非局部设定下失效？需要何种新型分析工具才能实现边界正则性？
• RQ4 正则性阈值 $ C^{2s-1+\alpha} $ 是否最优？其与显式解如 $ |x_N|^{2s-1} $ 的关系如何？
• RQ5 莫泽迭代如何适配至非局部边界设定？对数修正在控制边界振荡中起何种作用？

主要发现

• 对于任意有界利普希茨区域 $ \Omega $，若 $ f \in L^q(\Omega) $ 且 $ q > \frac{N}{2s} $，且 $ \int_\Omega f = 0 $，则诺伊曼问题的弱解 $ u $ 满足 $ \|u\|_{C^{\alpha}(\overline{\Omega})} \leq C\left(\|f\|_{L^q(\Omega)} + \|u\|_{L^2(\Omega)}\right) $，其中 $ \alpha > 0 $。
• 当 $ s > \frac{1}{2} $，$ q > N $，且 $ \Omega $ 为 $ C^1 $ 时，解属于 $ C^{2s-1+\alpha}(\overline{\Omega}) $，其范数受 $ \|f\|_{L^q(\Omega)} + \|u\|_{L^2(\Omega)} $ 控制。
• 正则性阈值 $ 2s-1 $ 是严格的，由函数 $ |x_N|^{2s-1} $ 证明：该函数在上半空间点态满足方程，但不是弱解。
• 边界莫泽迭代技术通过引入对数修正，成功适配至非局部设定，即使在缺乏反射对称性的情况下，也能有效控制 $ \partial\Omega $ 附近的振荡。
• 相同的正则性结果也适用于区域分数阶拉普拉斯算子关联的诺伊曼问题，证实了该方法在不同非局部算子下的鲁棒性。
• 非局部诺伊曼算子 $ \mathcal{N}_s u $ 满足自然的分部积分公式，并保证质量守恒，与 $ s \to 1^- $ 时经典诺伊曼问题一致。