Robust interpolation inequalities via Chebyshev-type integral inequalities

技术摘要：通过切比雪夫型积分不等式实现的鲁棒插值不等式

问题陈述
本文旨在解决经典对数凸插值不等式在 Gagliardo 半范数尺度下缺乏鲁棒性的问题。标准的插值估计，例如 $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$，在分数阶 $\eta$ 趋于端点 $0$或$1$时无法保持一致性。具体而言，对于非常数函数，半范数$|u|_{W^{\eta,p}}$在$\eta \to 0^+$和$\eta \to 1^-$ 时表现出奇异爆炸行为。尽管之前的研究（Brezis–Bourgain–Mironescu [BBM01] 和 Maz'ya–Shaposhnikova [MS02]）通过引入诸如 $\eta(1-\eta)$ 的因子来消除这些奇异性，从而建立了渐近极限，但尚未建立一个能够在整个尺度 $s \in [0,1]$ 上避免这些异常现象且具有无维数常数的统一、鲁棒的插值不等式。

本工作的首要动机是研究与区域分数 $p$-Laplacian $(-\Delta)^s_{p,\Omega}$ 相关的区域 Dirichlet 问题在分数阶 $s$ 趋于 $1$时的渐近稳定性。作者旨在建立关于$s$ 均匀成立的收敛结果。

方法论
核心方法论依赖于将 Gagliardo 半范数分解为通过平均 $L^p$-连续模 $U(t)$ 定义的**短程（局部）交互和长程（非局部）**交互。

1. 分解： Gagliardo 半范数被拆分为短距离（$0 < |x-y| \leq r$）和长距离（$|x-y| > r$）的积分。它们分别对应于短程交互 $L_p(s, u, r)$ 和长程交互（分数尾部）$T_p(s, u, r)$。
2. 切比雪夫型不等式： 本文的很大一部分内容（第 2 节）致力于为一般的非同步（及非异步）函数建立新的积分不等式。作者将经典的切比雪夫不等式推广到涉及 $(b,c)$-同步性和弱单调性的情况。这些不等式被应用于形式为 $\int g(t) t^{z-1} dt$ 的奇异积分，以证明交互项关于分数阶 $s$ 的单调性质。
3. 单调性分析： 作者证明了映射 $s \mapsto L_p(s, u, r)$ 是递增的，而 $s \mapsto T_p(s, u, r)$ 基本上是递减的（具体而言，对于 $d \geq 2$，是“2-几乎递减”的）。这种单调性是导出鲁棒插值估计的基础。
4. 重整化： 本文利用特定的重整化半范数 $[u]_{W^{s,p}}$ 和 $[u]^*_{W^{s,p}}$，其中包含了归一化常数（例如 $s(1-s)$ 以及与分数 Laplacian 相关的常数），以确保在 $s \to 0$ 和 $s \to 1$ 时具有一致的极限。

主要贡献与结果

• 鲁棒插值不等式（定理 1.1）： 本文为重整化半范数 $[u]_{W^{\eta,p}}$ 和 Gagliardo 半范数 $|u|_{W^{\eta,p}}$ 建立了鲁棒的对数凸插值不等式。这些不等式对于所有 $0 \leq \sigma < \eta < s \leq 1$ 均成立，且其常数在 $\eta \to 0$ 或 $\eta \to 1$ 时保持有界且定义良好。

  • 对于重整化半范数，不等式形式为 $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$，其中常数 $N_p$ 是无维数且有界的。
  • 在 $p=2$ 的特定情况下，作者利用傅里叶变换导出了一个常数为 1 的更精细的重整化 Sobolev 半范数估计。

• 交互的单调性（定理 1.3）： 作者证明了短程交互 $L_p(s, u, r)$ 关于 $s$ 是连续且递增的，而长程交互 $T_p(s, u, r)$ 是连续且本质上递减的（对于 $d \geq 2$，误差在 2 倍因子以内）。这证实了 $L_p$ 捕捉了局部正则性（当 $s \to 1$ 时收敛至梯度范数），而 $T_p$ 捕捉了非局部行为（当 $s \to 0$ 时收敛至 $L^p$ 范数）。

• 渐近分析（第 4 节）： 本文为分数半范数在 $s \to 0^+$ 和 $s \to 1^-$ 时的渐近极限提供了一种相对简单的处理方法，恢复了 Maz'ya–Shaposhnikova 和 Brezis–Bourgain–Mironescu 的结果。它还将 Maz'ya–Shaposhnikova 公式推广到任意开集 $\Omega$，通过“逃逸扇区” $S_\Omega(x)$ 来刻画极限。

• 区域 Dirichlet 问题的收敛性（定理 1.4）： 作为主要应用，本文证明了区域分数 $p$-Laplacian Dirichlet 问题的弱解 $u_s$ 向局部 $p$-Laplacian 问题弱解 $u_1$ 的强收敛性。具体而言，如果数据进行适当收敛，则当 $s \to 1^-$ 时，$\|u_s - u_1\|_{W^{\eta,p}(\Omega)} \to 0$，对于所有 $0 \leq \eta < 1$ 均成立。这一结果依赖于鲁棒插值不等式以及一种新的鲁棒区域 Poincaré–Friedrichs 不等式。

• 开放问题解答： 本文建立的鲁棒插值不等式为 [BSY23, Question 1.10] 中提出的关于一般设定下插值鲁棒性的开放问题提供了肯定的回答。

意义与主张
本文声称其主要贡献在于建立了能够避免分数尺度端点奇异性的鲁棒插值不等式。通过分解半范数并利用广义的切比雪夫型不等式，作者实现了常数与分数参数趋近于 0 或 1 的程度无关的估计。

这项工作的意义在于其在非局部到局部极限稳定性研究中的应用。作者证明，这些不等式足以证明区域分数 $p$-Laplacian 向局部 $p$-Laplacian 的强收敛，这一结果需要对 $s \to 1$ 时的半范数进行一致控制。文中还强调了在维度 $d=1$ 时关于长程交互单调性的差距，并针对此情况提出了一个关于常数 $C_p$ 的猜想，同时指出所建立的结果在 $d \geq 2$ 时是成立的。

该工作被视为分数 Sobolev 空间分析领域的一项技术性进展，提供了有助于研究非局部问题渐近行为的工具（鲁棒扩展算子、奇异积分的单调性）。