Modulus of continuity for solutions of non-local heat equations

技术摘要：非局部热方程解的连续模量

1. 问题陈述与背景

本文研究了非局部热方程解的连续模量（modulus of continuity）的保持问题。作者将“连续模量”方法——一种历史上用于证明经典抛物型方程基本间隙猜想（Fundamental Gap Conjecture）的技术——扩展到了非局部领域。主要目标是确定在何种条件下，解 $u(\cdot, 0)$ 的初始连续模量 $\phi(\cdot, 0)$ 在随后的所有时刻 $t > 0$ 都能得到保持。具体而言，作者试图建立如下结论：如果初始数据满足 $|u(y, 0) - u(x, 0)| \le 2\phi(|y-x|/2, 0)$，则对于所有 $t \ge 0$，均有 $|u(y, t) - u(x, t)| \le 2\phi(|y-x|/2, t)$ 成立。

本研究探讨了三种截然不同的情况：

1. 全空间 $\mathbb{R}^n$ 上的非局部热方程。
2. 有界凸区域 $\Omega \subset \mathbb{R}^n$ 上的“区域性”（regional）非局部热方程（其中相互作用被限制在定义域内）。
3. $\mathbb{R}^n$ 上的非线性非局部热方程。

2. 研究方法

所有章节的证明均依赖于一种利用最大值原理进行矛盾证明的方法，该方法针对非局部算子进行了调整。核心方法包括以下步骤：

• 辅助函数构造： 定义一个辅助函数 $Z_\epsilon(x, y, t)$ 为：
  $$Z_\epsilon(x, y, t) = u(y, t) - u(x, t) - 2\phi\left(\frac{|y-x|}{2}, t\right) - \epsilon e^{Ct}(\Psi(x) + \Psi(y))$$
  其中 $\Psi$ 是一个径向对称的正则化函数，在边界处（或在 $\mathbb{R}^n$ 的无穷远处）趋于无穷大，$\epsilon$ 和 $C$ 为正常数。目标是证明在处处满足 $Z_\epsilon < 0$。

• 首次接触点论证： 假设存在矛盾（即 $Z_\epsilon$ 在某处大于等于零），作者考虑 $Z_\epsilon$ 达到全局最大值零点的首次时间 $t_0$ 以及不同的点 $x_0, y_0$。在该点处，时间导数 $\partial_t Z_\epsilon \ge 0$。

• 反射耦合（Coupling-by-Reflection）： 为了处理非局部积分，作者采用了“反射耦合”技术。他们引入了一个关于连接 $x$ 和 $y$ 的弦的垂直超平面的反射映射 $R$。通过变量代换并利用核函数 $\rho$ 的旋转对称性和单调性，他们配对了积分区域以抵消项或建立不等式。

• 一维归约： 该方法的一个关键组成部分是要求模量函数 $\phi$（及其奇函数扩展 $\tilde{\phi}$）必须满足相应的一维非局部热方程。这使得可以将 $n$ 维算子中的非局部项与模量函数的时间导数进行匹配。

• 处理奇异核： 对于奇异核（例如分数阶拉普拉斯算子），作者使用绝对积分的柯西主值极限来代替。他们引入了一个截断反射恒等式（引理 2.13）来管理原点处的奇异性，证明剩余项在截断参数 $\delta \to 0$ 时趋于零。

3. 主要结果

• 情况 1：$\mathbb{R}^n$ 上的非局部热方程
  定理 2.3 确立了对于具有勒贝格可积核的 $\mathbb{R}^n$ 上的解，只要核函数是非负、非增且旋转对称的，其连续模量即得到保持。定理 2.16 将此结果扩展到满足 Lévy 可积条件的奇异核（包括分数阶拉普拉斯算子 $-( -\Delta)^s$），前提是解是有界的，且正则化函数 $\Psi$ 满足特定的增长和有界性条件。

• 情况 2：区域热方程（有界凸区域）
  定理 3.3 证明了在一维情况下（紧区间上）区域热方程的连续模量性质成立。该证明需要仔细处理涉及定义域边界的积分区间情况。
  然而，作者展示了该结果无法推广到高维情况。在第 3.2 节中，他们利用一个薄矩形区域 $[0, L] \times [-\epsilon, \epsilon]$ 构造了一个反例。他们表明，即使直径保持不变，通过改变长宽比，可以使区域分数阶拉普拉斯算子的第一个非平凡特征值 $\lambda_2$ 变得任意小。这与高维连续模量定理的含义相矛盾，因为后者会暗示 $\lambda_2$ 被一个仅取决于其直径的量所限制（通过类比 Payne-Weinberger 不等式）。因此，作者得出结论：在维度 $n > 1$ 时，仅依赖于直径的非局部 Payne-Weinberger 不等式是不成立的。

• 情况 3：非线性非局部热方程
  定理 4.2 将连续模量结果扩展到形式为 $u_t = L_{\mathbb{R}^n}u + q(|Du|)$ 的方程，其中 $q$ 是单调递增且利普希茨连续的非线性项。证明过程通过利用利普希茨常数和正则化函数 $\Psi$ 的梯度来限制非线性项 $T_q = q(|Du(y)|) - q(|Du(x)|)$，从而对线性情况进行调整。

4. 意义与主张

本文声称成功地将连续模量方法从经典的局部抛物型方程推广到了 $\mathbb{R}^n$ 上的非局部设置以及一维有界区域。其主要意义在于，为包括分数阶拉普拉斯算子在内的正则及奇异核提供了严格的保持性质证明。

至关重要的是，本文针对向高维有界区域推广时遇到的负面结果提供了说明。通过将高维连续模量定理的潜在有效性与非局部版本的 Payne-Weinberger 不等式联系起来，并随后通过反例证伪了后者，作者明确了非局部谱几何的几何局限性。他们断言，与局部情况不同，凸域上非局部算子的谱间隙（spectral gap）不仅取决于直径。

这项工作被视为理解非局部谱几何的重要基础性步骤，特别指出，由于高维连续模量定理的失效，证明非局部 Payne-Weinberger 不等式将需要比单纯直径更复杂的几何不变量。