Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

技术摘要：区域分数阶 $p$-Laplacian Dirichlet 问题最优稳定性研究

问题陈述
本文研究了与区域分数阶 $p$-Laplacian（记作 $(-\Delta)^s_{p,\Omega}$）相关的 Dirichlet 边值问题在分数阶参数 $s$ 趋于 1（即 $s \to 1^-$）时的渐近行为。该问题定义在有界 Lipschitz 区域 $\Omega \subset \mathbb{R}^d$ 上，其中 $1 < p < \infty$ 且 $sp > 1$。方程如下：
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{在 } \Omega \text{ 内}, \\ \gamma^s_0(u_s) = g_s & \text{在 } \partial\Omega \text{ 上}, \end{cases}$$
其中 $\gamma^s_0$ 是将 $W^{s,p}(\Omega)$ 映射到分数阶迹空间 $W^{s-1/p,p}(\partial\Omega)$ 的迹算子。该算子通过常数 $C_{d,p,s}$ 进行归一化，以确保在 $s \to 1^-$（恢复经典的 $p$-Laplacian $-\Delta_p$）以及 $s \to 0^+$ 时具有一致的渐近行为。

主要目标是建立弱解 $u_s$ 在 $s \to 1^-$ 时向极限解 $u_1$ 的最优稳定性（在自然能量空间中的强收敛）。次要目标是分析相关 Dirichlet 特征对 $(\lambda_s, \phi_s)$ 的渐近稳定性。

方法论与框架
本分析依赖于以下几个关键技术组成部分：

1. 渐近收敛定义： 由于底层空间 $W^{s,p}_0(\Omega)$ 和迹空间随 $s$ 而变化，标准的弱收敛并不适用。作者引入了：

   • 渐近弱收敛： 若泛函序列 $(f_s)$ 有界，且对于在 $L^p$ 中强收敛的序列满足弱-强收敛性质，则称其渐近弱收敛于 $f_1$。
   • 渐近强收敛： 边界数据 $(g_s)$ 在适当的迹范数下强收敛于 $g_1$。

2. 鲁棒插补与紧性： 证明过程利用了鲁棒插补不等式（借鉴自 Foghem [19]），以建立解序列 $(u_s)$ 在 $W^{\eta,p}(\Omega)$ 中（对于 $1/p < \eta < 1$）的紧性。这种紧性对于处理边界行为至关重要，而边界行为被认为是其中的一个显著难点。

3. 迹空间的渐近性质： 研究的大部分工作致力于迹空间 $W^{s-1/p,p}(\partial\Omega)$ 的渐近性质。作者证明了当 $s \to 1^-$ 时，这些空间收敛于经典的迹空间 $W^{1-1/p,p}(\partial\Omega)$。这包括建立迹空间中有界族序列的渐近紧性，并提供通过范数下极限（liminf）来刻画 $W^{1-1/p,p}(\partial\Omega)$ 的方法。

4. 鲁棒 Poincaré-Friedrichs 不等式： 本文建立了在 $s$ 接近 1 时仍保持一致性的若干变体鲁棒 Poincaré 型不等式。这些不等式对于证明能量泛函的强制性（coercivity）和问题的适定性至关重要。

5. $\Gamma$-收敛： 与 Dirichlet 问题相关的能量泛函在 $W^{\eta,p}(\Omega)$ 的强拓扑下表现出 $\Gamma$-收敛。这为极小值的收敛性提供了一个变分框架。

核心贡献与结果

• 定理 1.1（解的最优稳定性）： 在源项 $f_s$ 满足渐近弱收敛且边界数据 $g_s$ 满足渐近强收敛的假设下，弱解序列 $u_s$ 以最优方式强收敛于极限问题的唯一弱解 $u_1$：
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  这一结果改进了以往的研究成果（例如 Foghem [19]），此前仅能建立在 $W^{\eta,p}(\Omega)$（对于 $\eta < 1$）中的收敛性。

• 定理 1.2（特征对的稳定性）： 对于归一化的区域分数阶 $p$-Laplacian 的 Dirichlet 特征对 $(\lambda_s, \phi_s)$，存在一个子序列 $s_n \to 1^-$，使得特征值收敛（$\lambda_{s_n} \to \lambda_1$），且特征函数在能量范数中强收敛：
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• 迹空间刻画（定理 3.3 & 3.4）： 本文确立了迹空间 $W^{s-1/p,p}(\partial\Omega)$ 的渐近紧性，并通过分数阶范数的下极限的有界性刻画了极限空间 $W^{1-1/p,p}(\partial\Omega)$。

• 鲁棒不等式（第 4 节）： 作者推导出了在 $s \in (s_0, 1)$ 范围内一致成立的鲁棒 Poincaré 和 Friedrichs 不等式，包括在边界 $\partial\Omega$ 的某个具有正 Hausdorff 测度的子集 $\Gamma_0 \subset \partial\Omega$ 上施加部分边界条件的情况。

意义与主张
本文声称，关于区域分数阶 $p$-Laplacian 的 Dirichlet 问题弱解的收敛性是一个新结果。其意义在于实现了最优收敛（在 $W^{s,p}$ 范数下的强收敛），而非先前文献中建立的较弱的 $W^{\eta,p}(\eta < 1)$ 收敛性。

作者强调，该分析的主要困难在于弱解在边界 $\partial\Omega$ 附近的行为。通过建立迹算子的鲁棒性以及迹空间的渐近性质，本文克服了这一障碍。这些结果在非局部变分问题与经典局部问题之间架起了一座桥梁，为具有非齐次边界条件的区域算子在 $s \to 1^-$ 极限下的情况提供了严谨的基础。这项工作也通过将研究对象从全分数阶 $p$-Laplacian（定义在 $\mathbb{R}^d$ 上）扩展到区域情形（定义在有界区域上），为非局部到局部的渐近分析领域做出了贡献。