[论文解读] Boundary Harnack inequalities for regional fractional Laplacian

Qing-Yang Guan|ArXiv.org|May 11, 2007

Nonlinear Partial Differential Equations参考文献 19被引用 21

一句话总结

该论文为在 $C^{1,\beta-1}$ 和 Lipschitz 域上具有非齐次跳跃核的区域分数阶拉普拉斯算子建立了边界哈纳克不等式（BHI），证明了在非齐次情况下，调和函数在边界附近的衰减速率为 $\rho(x)^{\alpha-1}$，而在内部区域情况下衰减速率为 $\rho(x)^{\alpha/2}$。结果推广了已知的齐次分数阶拉普拉斯算子的 BHI，并将其扩展至具有可变跳跃强度的右截断稳定类似过程。

ABSTRACT

We consider boundary Harnack inequalities for regional fractional Laplacian which are generators of censored stable-like processes on G taking κ(x,y)/|x-y|^{n+α}dxdy, x,y\in G as the jumping measure. When G is a C^{1,β-1} open set, 1

研究动机与目标

• 将已知的齐次区域分数阶拉普拉斯算子的边界哈纳克不等式（BHI）推广至跳跃强度 $\kappa(x,y)$ 为变系数的非齐次情形。
• 在 $1 < \alpha < \beta \leq 2$ 且 $\kappa \in C^1(\overline{G} \times \overline{G})$ 且远离零的条件下，为 $C^{1,\beta-1}$ 域上的区域分数阶拉普拉斯算子建立 BHI。
• 将 BHI 扩展至有界子域 $D \subset \overline{D} \subset G$ 的情形，其中 $0 < \alpha \leq \beta \leq 2$，证明调和函数在 $\partial D$ 附近呈现 $\rho(x)^{\alpha/2}$ 的衰减。
• 在非齐次设定下，为 Lipschitz 域上的区域分数阶拉普拉斯算子建立边界哈纳克不等式，解决了一个开放问题。

提出的方法

• 通过在半空间中对基本解 $w_p(x) = \rho(x)^p$ 进行扰动，构造显式超/次调和函数 $u_p$，并将其适配至域 $D$。
• 结合 Harnack 不等式、边界附近 dyadic 方盒中的调和测度比较以及 Carleson 估计，应用盒子方法。
• 利用积分核和 $\kappa$ 的正则性，构造函数 $u_p$，使其在 $D \cap B(Q,1/A_{14})$ 内满足 $\Delta^{\alpha/2,\kappa}u_p \geq A_{14}\rho(x)^{p-\alpha}$，其中 $\alpha/2 < p < \alpha$。
• 使用先前工作（如 [18]）中的泊松核估计和精确热核界，替代 Carleson 估计中的显式泊松核。
• 将 Bass 和 Burdzy [4] 的概率方法以及 [12] 的路径比较技术适配至非齐次情形。
• 利用反射稳定过程及其与右截断稳定过程的联系，推导调和测度估计。

实验结果

研究问题

• RQ1 对于具有非齐次跳跃核 $\kappa(x,y)$ 的区域分数阶拉普拉斯算子，正调和函数在边界附近的正确衰减速率是什么？
• RQ2 是否可以将齐次区域分数阶拉普拉斯算子的边界哈纳克不等式推广至 $\kappa$ 非常数但光滑且远离零的情形？
• RQ3 当区域为子域 $D$ 且 $\overline{D} \subset G$，$\kappa$ 为非常数时，齐次情形下的 $\rho(x)^{\alpha/2}$ 衰减速率是否仍然成立？
• RQ4 在非齐次设定下，是否可以为 Lipschitz 域上的区域分数阶拉普拉斯算子建立边界哈纳克原理？

主要发现

• 对于满足 $1 < \alpha < \beta \leq 2$ 的 $C^{1,\beta-1}$ 开集 $G$，且 $\kappa \in C^1(\overline{G} \times \overline{G})$ 有正下界，调和函数在 $\partial G$ 附近的衰减速率为 $\rho(x)^{\alpha-1}$。
• 对于满足 $0 < \alpha \leq \beta \leq 2$ 的 $C^{1,\beta-1}$ 子域 $D \subset \overline{D} \subset G$，调和函数在 $\partial D$ 附近的衰减速率为 $\rho(x)^{\alpha/2}$。
• 通过 [8] 的方法和 [18] 的精确估计，为具有非齐次 $\kappa$ 的区域分数阶拉普拉斯算子建立了 Carleson 估计。
• 证明了 Lipschitz 域上的边界哈纳克不等式，将结果推广至超出 $C^{1,1}$ 类别的更广范围的域。
• BHI 中的常数依赖于域的正则性、$\alpha$、$\beta$ 以及 $\kappa$ 的界，但与边界上的具体位置无关。
• 结果将已知的齐次区域分数阶拉普拉斯算子（如 [12]）的 BHI 推广至非齐次情形，为右截断稳定类似过程提供了统一的框架。