[论文解读] Obstacle problems for nonlocal operators with singular kernels

Xavier Ros‐Oton, Marvin Weidner|arXiv (Cornell University)|Aug 3, 2023

Nonlinear Partial Differential Equations被引用 4

一句话总结

该论文在非局部障碍问题中建立了最优的 $C^{1,s}$ 正则性以及自由边界的 $C^{1,\theta}$ 正则性，这些问题由具有奇异、不可比较核的积分微分算子所控制——通过发展新型非局部工具，绕过了对哈纳克不等式或扩展问题的依赖，将经典结果推广至分数阶拉普拉斯框架之外。

ABSTRACT

In this paper we establish optimal regularity estimates and smoothness of free boundaries for nonlocal obstacle problems governed by a very general class of integro-differential operators with possibly singular kernels. More precisely, in contrast to all previous known results, we are able to treat nonlocal operators whose kernels are not necessarily pointwise comparable to the one of the fractional Laplacian. Such operators might be very anisotropic in the sense that they "do not see" certain directions at all, or might have substantial oscillatory behavior, causing the nonlocal Harnack inequality to fail.

研究动机与目标

• 将非局部障碍问题的正则性理论扩展至分数阶拉普拉斯框架之外，其中核不与分数阶拉普拉斯核在点态上可比较。
• 解决非局部算子在具有奇异、各向异性或振荡核时缺乏正则性结果的问题，这些核违反了标准哈纳克不等式。
• 在缺乏点态可比较性条件 $K_{\text{asymp}}$ 的前提下，建立解的最优 $C^{1,s}$ 正则性以及自由边界的 $C^{1,\theta}$ 正则性。
• 发展不依赖于扩展问题或单调性公式的新型分析工具，适用于具有奇异核的一般稳定算子。
• 解决具有在某些方向上可能消失或在球面 $\mathbb{S}^{n-1}$ 上具有 $L^p$-奇点的核的非局部算子的自由边界正则性问题。

提出的方法

• 提出一种新方法，用于分析障碍问题 $\min\{Lu, u - \phi\} = 0$ 解的正则性，其中 $L$ 是具有齐次核 $K(y) = |y|^{-n-2s}K(y/|y|)$ 的稳定积分微分算子。
• 通过爆破与紧致性论证，建立了解的先验 $C^{1,s}$ 正则性估计，依赖于核的结构与障碍函数的光滑性。
• 使用一种非局部版本的尼雷伯格–卡尔德龙型逼近，以控制自由边界附近梯度比 $\partial_i u / \partial_n u$ 的行为。
• 应用一种新的非局部差值衰减估计，控制 $[\partial_i u - K \partial_n u](x)$ 的行为，从而控制水平集法向量的振荡。
• 结合梯度估计与非局部边界哈纳克原理的非局部版本，推导出法向量的霍尔德正则性，从而得出自由边界 $C^{1,\theta}$ 正则性。
• 依赖于尺度变换与紧致性论证，证明解收敛于形如 $(x \cdot e)_+^{1+s}$ 的齐次爆破极限，从而确认在这些点处自由边界的正则性。

实验结果

研究问题

• RQ1 当核 $K$ 不与分数阶拉普拉斯核在点态上可比较时，是否能为非局部障碍问题的解建立最优的 $C^{1,s}$ 正则性？
• RQ2 当非局部算子 $L$ 为各向异性或在 $\mathbb{S}^{n-1}$ 上具有奇点时，自由边界 $\partial\{u > \phi\}$ 的正则性能达到何种程度？
• RQ3 是否可能在不依赖扩展问题或单调性公式的情况下，证明自由边界的 $C^{1,\theta}$ 正则性？
• RQ4 在缺乏非局部哈纳克不等式的情况下，如何控制水平集法向量的振荡？
• RQ5 能否将正则性理论推广至在某些方向上可能消失或在球面上具有 $L^p$-奇点的核的算子？

主要发现

• 该论文即使在核 $K$ 违反点态可比较性条件 $K_{\asymp}$ 的情况下，也建立了障碍问题 $\min\{Lu, u - \phi\} = 0$ 解 $u$ 的最优 $C^{1,s}$ 正则性。
• 在相同的核假设下，证明了自由边界 $\partial\{u > \phi\}$ 在正则点附近具有 $C^{1,\theta}$ 正则性。
• 作者推导出梯度比 $\partial_i u / \partial_n u$ 的新型非局部衰减估计，该估计控制了水平集法向量的霍尔德半范数。
• 该方法避免使用扩展问题与单调性公式，使得对核在 $\mathbb{S}^{n-1}$ 的某些子集上可能消失或具有奇点的算子的分析成为可能。
• 该结果适用于此前正则性理论范围之外的算子，如 $L_1$（双锥支撑）、$L_2$（具有 $L^p$-奇点核）和 $L_3$（各向异性分数阶拉普拉斯算子）。
• 证明依赖于一种新型紧致性论证与尺度变换，表明解的爆破极限收敛于形如 $(x \cdot e)_+^{1+s}$ 的齐次解，从而确认了在正则点处预期的渐近行为。