$s$-harmonic functions in the small order limit

技术摘要：小阶极限下的 s-调和函数

问题陈述
本文研究了满足分数阶拉普拉斯方程 $(-\Delta)^s u_s = 0$ 的函数族 $u_s$ 在光滑有界区域 $\Omega \subset \mathbb{R}^N$ 中的渐近行为及可微性性质，其中阶参数 $s$ 趋于零（$s \to 0^+$）。虽然极限 $s \to 1^-$ 对应于收敛到经典调和函数，但极限 $s \to 0^+$ 则截然不同，因为分数阶拉普拉斯算子 $(-\Delta)^s$ 形式上趋于恒等算子。作者关注非齐次狄利克雷问题，其中对于固定的外部数据 $g \in L^\infty(\mathbb{R}^N \setminus \Omega)$，在 $\mathbb{R}^N \setminus \Omega$ 上满足 $u_s = g$。本文解决的核心问题包括：

1. 在关于 $g$ 的什么条件下，函数族 $(u_s)_s$ 当 $s \to 0^+$ 时收敛？
2. 解映射 $s \mapsto u_s$ 在 $s=0$ 处是否可微？如果是，导数能否通过对数拉普拉斯算子表达？
3. 对于一般的 $s \in (0, 1)$，$u_s$ 关于 $s$ 的单调性性质是什么？

方法论
分析依赖于显式积分表示、核的渐近展开以及涉及加权空间的泛函分析技术的结合。

• 泊松表示：作者利用 $s$-调和函数在球和一般区域中的显式泊松核表示。这使得能够推导一致估计并分析当 $s \to 0$ 时解的“平坦性”。
• 渐近展开：核心分析工具是分数阶拉普拉斯算子在 $s=0$ 附近的展开：$(-\Delta)^s u = u + s L_\Delta u + o(s)$，其中 $L_\Delta$ 是对数拉普拉斯算子。作者为所考虑的具体边值问题严格证明了这一展开式。
• 核分析：提供了分数阶泊松核 $P_s(x, y)$ 和补泊松核 $P^c_s$ 的详细估计。具体而言，文章建立了极限 $\lim_{s \to 0} P_s(x, y)/s = c_N |x-y|^{-N}$，并分析了涉及这些核与外部数据 $g$ 的积分的收敛性。
• 可微性：为了研究固定 $s > 0$ 时映射 $s \mapsto u_s$ 的可微性，作者采用了格林算子 $G_s$ 和里斯算子。他们将外部数据 $g$ 分解为紧支集分量和消失分量，以分别处理正则性和衰减性，并利用分数阶拉普拉斯算子的半群性质进行局部处理。

主要贡献与结果

1. 有界解的平坦性（定理 1.1）：
   作者证明了 $\Omega$ 中任何一致有界的 $s$-调和函数族 $u_s$ 在 $s \to 0^+$ 时渐近平坦。具体而言，对于任何紧集 $K \subset \Omega$，有 $\inf_{c \in \mathbb{R}} \|u_s - c\|_{L^\infty(K)} \to 0$。这是通过局部泊松表示和球链论证建立的，将已知的哈纳克不等式推广到了小阶极限。

2. 收敛性与一阶展开（定理 1.3）：
   对于具有外部数据 $g$ 的狄利克雷问题，文章建立了收敛条件。

   • 如果 $g$ 在无穷远处的球面平均收敛于常数 $c_g$，则 $u_s$ 在 $\Omega$ 中几乎一致收敛于 $c_g$。
   • 如果此外 $g - c_g$ 的衰减满足可积条件（$\int_1^\infty |\tilde{g}(r) - c_g|/r \, dr < \infty$），则导出一阶展开：
     $$u_s = c_g + s L_g + o(1) \quad \text{在 } \Omega \text{ 中},$$
     其中 $L_g$ 由涉及 $g - c_g$ 的主值积分显式给出。该项 $L_g$ 被识别为 $-L_\Delta(g \mathbf{1}_{\mathbb{R}^N \setminus \Omega} - c_g)$ 在 $\Omega$ 上的限制。
   • 文章还提供了当 $c_g = 0$ 时，针对重缩放解 $u_s/s$ 的极限哈纳克不等式。

3. 非收敛反例（定理 1.6）：
   作者构造了一个反例，表明如果 $g$ 在无穷远处的球面平均不收敛，则函数族 $u_s$ 可能在 $s \to 0^+$ 时无法收敛。具体而言，对于单位球，存在一个有界函数 $g$，使得对于某些 $x \in \Omega$，有 $\limsup_{s \to 0^+} u_s(x) = 1$ 且 $\liminf_{s \to 0^+} u_s(x) = 0$。

4. 解映射的可微性（定理 1.7）：
   对于 $g \in L^\infty(\mathbb{R}^N) \cap C^\alpha(U)$，映射 $s \mapsto u_s$ 被证明在 $(0, \alpha/2)$ 上属于 $C^1$ 类。导数 $\partial_s u_s$ 被刻画为涉及对数拉普拉斯算子 $L_\Delta$ 和分数 - 对数算子 $(-\Delta)^{s+\log}$ 的分数阶狄利克雷问题的唯一解。导数的显式公式为：
   $$(-\Delta)^s (\partial_s u_s) = P^c_s ((-\Delta)^s g|_\Omega) + L_\Delta(\mathbf{1}_\Omega (-\Delta)^s g) - (-\Delta)^{s+\log} g \quad \text{在 } \Omega \text{ 中}.$$

5. 单调性（推论 1.9）：
   导出了 $u_s(x)$ 关于 $s$ 的点态单调性的充分判据。如果在某个范围内对所有 $s$ 都有 $(-\Delta)^s g \geq 0$（或 $\leq 0$）在 $\mathbb{R}^N$ 中成立，则对于每个 $x \in \Omega$，$s \mapsto u_s(x)$ 是递增（或递减）的。文章指出，这适用于非负函数的牛顿势，其中由于里斯核的半群性质，$(-\Delta)^s g$ 的符号得以保持。

意义
本文为理解分数阶拉普拉斯算子问题的“零阶极限”提供了严格的数学基础。其主要意义在于确定对数拉普拉斯算子是控制 $s$-调和函数在 $s \to 0$ 时一阶修正的自然算子。这填补了分数阶拉普拉斯算子与恒等算子之间的空白，提供了过渡阶段的精确描述。此外，关于可微性和单调性的结果为分析非局部解对阶参数的依赖性提供了新工具，这对于涉及分数阶算子的逆问题和优化至关重要。该工作将先前关于齐次狄利克雷问题的研究推广到具有外部数据的更一般的非齐次情形，阐明了无穷远处数据行为在解收敛中的作用。