Maz'ya-type bounds for sharp constants in fractional Poincaré-Sobolev inequalities

1. 研究背景与问题 (Problem)

核心问题：
本文旨在研究定义在开集 $\Omega \subseteq \mathbb{R}^N$ 上的分数阶 Poincaré-Sobolev 不等式的最佳常数 $\lambda^s_{p,q}(\Omega)$ 的上下界估计。该常数定义为：
$$\lambda^s_{p,q}(\Omega) := \inf_{u \in C^\infty_0(\Omega), \|u\|_{L^q}=1} [u]^p_{W^{s,p}(\mathbb{R}^N)}$$
其中 $[u]_{W^{s,p}}$ 是 Gagliardo-Slobodeckii 半范数，$0 < s < 1$ 为分数阶导数阶数，$1 \le p < \infty$，$q$ 满足次临界条件。

现有挑战：

• 内径的局限性： 经典的 Poincaré 不等式常数通常与区域的内径（inradius, $r_\Omega$）有关。然而，对于分数阶算子，$\lambda^s_{p,q}(\Omega)$ 对区域的“容量扰动”（capacitary perturbations）不敏感。即，如果从 $\Omega$ 中移除一个具有零相对 $(s,p)$-容量的紧集，$\lambda^s_{p,q}$ 的值不变，但内径可能会发生剧烈变化。因此，仅用内径无法完全刻画 $\lambda^s_{p,q}(\Omega)$ 的正定性。
• 局部情形的启发： 在局部情形（$s=1$），Maz'ya 和 Shubin 引入了**内容量半径（interior capacitary radius）**的概念，证明了 Poincaré 常数与该半径的倒数之间存在双向估计（Maz'ya 型界限）。
• 分数阶的缺失： 目前缺乏将 Maz'ya 和 Shubin 的结果推广到非局部（分数阶）情形的系统性理论，特别是关于最佳常数在 $s \to 0$ 和 $s \to 1$ 时的渐近行为（sharp limiting behaviours）。

---

2. 方法论 (Methodology)

作者通过引入新的非局部工具和不等式，成功将局部情形下的 Maz'ya 型估计推广到了分数阶情形。主要方法论包括：

1. 定义分数阶容量内径 (Fractional Capacitary Inradius)：
   定义了 $R^s_{p,\gamma}(\Omega)$，它是经典内径的容量变体。一个球 $B_r(x_0)$ 被认为是 $(s,p,\gamma)$-可忽略的，如果其补集 $B_r(x_0) \setminus \Omega$ 的相对 $(s,p)$-容量小于球本身容量的 $\gamma$ 倍。
   $$R^s_{p,\gamma}(\Omega) := \sup \{ r > 0 : \exists B_r(x_0) \text{ s.t. } B_r(x_0) \setminus \Omega \text{ is } (s,p,\gamma)\text{-negligible} \}$$

2. 构造非对称半范数 (Asymmetric Seminorm)：
   为了解决传统分数阶半范数在 $s \to 0$ 和 $s \to 1$ 时无法保持最优渐近行为的问题，作者引入了定义在“条带”（strips）上的非对称半范数：
   $$[u]_{s,p, \text{strip}} := \left( \iint_{B_r(x_0) \times \mathbb{R}^N} \frac{|u(x) - u(y)|^p}{|x-y|^{N+sp}} dx dy \right)^{1/p}$$
   这种形式继承了 Gagliardo 半范数的插值性质，能够正确反映 $s \to 0$ 时趋向 $L^p$ 范数，$s \to 1$ 时趋向 $W^{1,p}$ 范数的极限行为。

3. 新的分数阶 Maz'ya-Poincaré 不等式：
   利用上述非对称半范数，作者证明了一个新的分数阶 Maz'ya-Poincaré 不等式（Lemma 4.11）。该不等式将函数的 $L^q$ 范数与分数阶容量联系起来，并且其常数在 $s$ 的极限情况下是**最优（sharp）**的。

4. 覆盖论证 (Tiling Argument)：
   在证明下界时，作者构造了一个由等距中心球组成的 $\mathbb{R}^N$ 覆盖（tiling），利用 $R^s_{p,\gamma}(\Omega)$ 的定义，在每个球上应用新的 Maz'ya-Poincaré 不等式，然后求和得到全局估计。

5. 测试函数构造与逼近：
   在证明上界时，利用容量势的逼近序列（smooth functions）和截断函数构造测试函数，结合分数阶 Poincaré-Wirtinger 不等式和 Cheeger 型常数，推导出上界估计。

---

3. 主要贡献与结果 (Key Contributions & Results)

A. 主要定理 (Main Theorems)

定理 1.4 (下界估计)：
存在常数 $\sigma > 0$，使得对于任意开集 $\Omega$：
$$\gamma \sigma \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}} \le \lambda^s_{p,q}(\Omega)$$

• 亮点： 常数 $\sigma$ 在 $s \to 0$ 时表现为 $1/s$，在 $s \to 1$ 时表现为 $1/(1-s)$，这与分数阶 Sobolev 范数的渐近性质完美匹配。

定理 1.5 (上界估计)：
存在阈值 $\gamma_0 \in (0, 1]$，使得对于 $0 < \gamma < \gamma_0$，存在常数 $C$ 满足：
$$\lambda^s_{p,q}(\Omega) \le C \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}$$

• 亮点： 同样具有最优的渐近行为。特别地，当 $p=1$ 时，$\gamma_0 = 1$，即对所有 $\gamma \in (0,1)$ 成立。

B. 重要推论 (Corollaries)

1. 嵌入等价性 (Corollary 1.7)：
   分数阶 Sobolev 空间 $D^{s,p}_0(\Omega)$ 嵌入到 $L^q(\Omega)$ 的充要条件是分数阶容量内径有限：
   $$D^{s,p}_0(\Omega) \hookrightarrow L^q(\Omega) \iff R^s_{p,\gamma}(\Omega) < \infty$$
   这推广了 Maz'ya 在局部情形下的经典结果。

2. 分数阶 Cheeger 常数的刻画 (Corollary 1.8)：
   对于 $p=1$，分数阶 Cheeger 常数 $h_s(\Omega)$ 与 $R^s_{1,\gamma}(\Omega)$ 的倒数等价。这给出了 $h_s(\Omega) > 0$ 的最优刻画（允许 $\gamma$ 取遍 $(0,1)$ 的所有值）。

3. 扭转函数 (Torsion Function) 的 $L^\infty$ 估计 (Corollary 1.9)：
   利用下界定理，得到了分数阶 $p$-Laplacian 扭转函数 $w_{p,s,\Omega}$ 的 $L^\infty$ 范数上界，该上界依赖于 $R^s_{p,\gamma}(\Omega)$。

C. 辅助结果 (Auxiliary Results)

• 分数阶 Poincaré-Wirtinger 不等式： 证明了带有最优渐近常数的新不等式。
• 分数阶 Cheeger 型常数与 Poincaré 常数的关系： 在球体上建立了精确关系。
• 容量与测度的关系： 证明了相对 $(s,p)$-容量与局部 $p$-容量及勒贝格测度之间的不等式关系。

---

4. 技术细节与难点 (Technical Nuances)

• 渐近行为的保持： 作者特别指出，直接套用文献中已有的分数阶 Maz'ya-Poincaré 不等式（如 [6, Prop 4.3]）会导致在 $s \to 0$ 时常数退化（trivial），无法得到最优界限。因此，必须引入非对称半范数（公式 1.18）来重新构造证明。
• $p=1$ 与 $p>1$ 的区别： 在证明上界时，$p=1$ 的情况可以利用 Cheeger 常数的几何性质得到 $\gamma_0=1$ 的最优结果；而 $p>1$ 时，由于缺乏类似的几何刚性，目前得到的 $\gamma_0$ 可能不是最优的（Open Problem）。
• 覆盖多重性控制： 在证明下界时，通过精心设计的球覆盖（tiling），控制了球的重叠次数，确保求和后的常数仅依赖于维数 $N$ 和参数 $p,s,q$。

---

5. 意义与影响 (Significance)

1. 理论突破： 首次建立了分数阶 Poincaré-Sobolev 常数与分数阶容量内径之间的双向 Maz'ya 型界限，填补了非局部几何分析领域的空白。
2. 谱几何应用： 结果直接适用于分数阶 Laplacian 的第一特征值（$p=q=2$）和分数阶 Cheeger 常数，为研究非局部算子的谱性质提供了新的几何判据。
3. 渐近一致性： 论文中的常数在 $s \to 0$ 和 $s \to 1$ 时均表现出正确的渐近行为，确保了分数阶理论在极限情况下能平滑过渡到局部理论（$s=1$）和 $L^p$ 理论（$s=0$）。
4. 开放问题： 论文提出了一个开放问题：对于 $1 < p < \infty$，上界定理中的 $\gamma_0$ 是否也能取到 1？这为未来的研究指明了方向。

总结：
Bozzola 和 Talluri 的这项工作通过引入分数阶容量内径和非对称半范数，成功地将经典的 Maz'ya 理论推广到了分数阶情形。其结果不仅提供了关于最佳常数的精确上下界，还揭示了这些常数在分数阶参数变化下的精细渐近结构，对分数阶偏微分方程、谱几何和非局部变分法领域具有重要的理论价值。