[论文解读] Boundary regularity for nonlocal operators with kernels of variable orders

Minhyun Kim, Panki Kim+2 more|arXiv (Cornell University)|Apr 5, 2018

Nonlinear Partial Differential Equations参考文献 26被引用 3

一句话总结

本文通过引入广义 Hölder 空间框架，建立了具有变阶核的非局部 Dirichlet 问题的黏性解的边界正则性。在核的 Lévy 密度满足弱标度和衰减条件的前提下，证明了解满足 $ u \in C^V(D) $ 且 $ u/V(d_D) \in C^\alpha(D) $，其中 $ V $ 为更新函数，$ d_D $ 为到边界的距离，且具有统一估计。

ABSTRACT

We study the boundary regularity of solutions of the Dirichlet problem for the nonlocal operator with a kernel of variable orders. Since the order of differentiability of the kernel is not represented by a single number, we consider the generalized Hölder space. We prove that there exists a unique viscosity solution of $Lu = f$ in $D$, $u=0$ in $\mathbb{R}^n \setminus D$, where $D$ is a bounded $C^{1,1}$ open set, and that the solution $u$ satisfies $u \in C^V(D)$ and $u/V(d_D) \in C^α(D)$ with the uniform estimates, where $V$ is the renewal function and $d_D(x) = \mbox{dist}(x, \partial D)$.

研究动机与目标

• 建立具有变阶核的非局部 Dirichlet 问题黏性解的边界正则性。
• 将经典的 Hölder 正则性理论推广至空间上变化的微分阶数的非局部算子。
• 通过与底层 Lévy 过程相关的更新函数 $ V $ 刻画解的精确边界行为。
• 证明解 $ u $ 在距离函数 $ d_D $ 和更新函数 $ V $ 的统一估计下的性质。
• 在弱标度和衰减条件下，将分数阶 Laplacian（常数阶）的结果推广至具有变阶核的非局部算子。

提出的方法

• 通过将非局部算子解释为次生布朗运动的无穷小生成元，使用概率工具。
• 利用 Bernstein 函数 $ \phi $ 建模变阶行为，其中 $ \phi(\lambda) $ 在无穷远处满足弱标度条件。
• 定义与一维 Lévy 过程相关的更新函数 $ V $，其控制解的边界行为。
• 构造障碍函数并使用 Harnack 型不等式控制 $ u/V(d_D) $ 在边界附近的振荡。
• 在 dyadic 环形区域中应用插值与振荡估计，证明 $ u/V(d_D) $ 在 $ D $ 中的 Hölder 连续性。
• 利用次生布朗运动的吸收过程的潜在算子推导先验估计。

实验结果

研究问题

• RQ1 当核具有变阶时，非局部 Dirichlet 问题的解 $ u $ 在边界附近的性质如何？
• RQ2 更新函数 $ V $ 在刻画解的边界正则性方面起什么作用？
• RQ3 经典的 Hölder 正则性理论能否推广至具有变阶核的非局部算子？
• RQ4 在何种 Lévy 密度条件下，解 $ u $ 满足 $ u/V(d_D) \in C^\alpha(D) $ 且具有统一估计？
• RQ5 对 $ \phi $ 和 $ j(r) $ 的弱标度与衰减条件如何影响解的边界正则性？

主要发现

• 非局部 Dirichlet 问题 $ Lu = f $ 在 $ D $ 中，$ u = 0 $ 在 $ \mathbb{R}^n \setminus D $ 中存在唯一黏性解 $ u $，其中 $ D $ 为有界 $ C^{1,1} $ 域。
• 解满足 $ u \in C^V(D) $，即其受更新函数 $ V $ 控制，$ V $ 捕捉了核的变阶性质。
• 归一化解 $ u/V(d_D) $ 属于 Hölder 空间 $ C^\alpha(D) $（某 $ \alpha > 0 $），且具有仅依赖于 $ \|f\|_{L^\infty(D)} $ 的统一估计。
• 对于半径为 $ r $ 的球，$ u/V(d_D) $ 的 Hölder 半范数受 $ C r^{-\beta} / V(r) $ 控制，其中 $ r = d_D(x) $，确保了解在边界处的正则性。
• 证明依赖于 dyadic 环形区域中的振荡估计，以及 $ 1/V(d_D) $ 的 Hölder 与 Lipschitz 范数之间的插值，得到 $ \left[ u/V(d_D) \right]_{C^\beta} \leq C r^{-\beta} / V(r) $。
• 通过结合小距离 $ |x-y| $ 的局部估计与大距离 $ |x-y| $ 的全局振荡界，最终在 $ D $ 上建立 $ u/V(d_D) $ 的 Hölder 连续性，得到全局 $ C^\alpha $ 估计（$ \alpha > 0 $）。