Fractional heat content asymptotics for Carnot groups

技术摘要：Carnot 群上的分数热含量渐近性

问题陈述
本文研究了 Carnot 群中有界区域分数热含量的小时间渐近性。设 $G$ 为配备次拉普拉斯算子 $L$ 的 Carnot 群。对于有界区域 $\Omega \subset G$ 和参数 $\alpha \in [1, 2]$，分数热含量定义为：
$$Q^{(\alpha)}_{\Omega}(t) = \int_{\Omega} u_{\alpha}(x, t) \, dx$$
其中 $u_{\alpha}$ 是抛物型方程 $(\partial_t + L^{\alpha})u_{\alpha} = 0$ 的解，满足狄利克雷边界条件（$u_{\alpha} = 0$ 在 $\partial\Omega$ 上）和初始条件 $u_{\alpha}(0, x) = 1$。核心问题是确定热含量从初始体积 $|\Omega|$ 衰减的速率，当 $t \to 0$ 时，具体识别极限：
$$\lim_{t \to 0} \frac{|\Omega| - Q^{(\alpha)}_{\Omega}(t)}{\mu_{\alpha}(t)}$$
其中 $\mu_{\alpha}(t)$ 是从欧几里得情形导出的特定速率函数。虽然此类渐近性在黎曼和次黎曼流形上的经典扩散情形（$\alpha=2$）以及欧几里得空间中的分数情形已得到充分确立，但本文解决了次黎曼流形（特别是 Carnot 群）上非局部分数次拉普拉斯算子的这一空白。

方法论
作者提出了一种新颖的方法，将 Carnot 群上的概率表示与解析估计相结合，这与先前用于局部情形（$\alpha=2$）的几何热核展开技术不同。

1. 概率表示：利用马尔可夫生成元分数幂的从属论证，热含量通过从属水平布朗运动 $B^{\alpha}(t) = B(S^{\alpha}_t)$ 表示，其中 $B$ 是水平布朗运动，$S^{\alpha}$ 是 $\alpha/2$-稳定从属过程。热含量表示为：
   $$Q^{(\alpha)}_{\Omega}(t) = \int_{\Omega} P_x(\tau^{(\alpha)}_{\Omega} > t) \, dx$$
   其中 $\tau^{(\alpha)}_{\Omega}$ 是 $B^{\alpha}$ 从 $\Omega$ 首次退出的时间。

2. 泛函方法：作者不直接分析区域，而是研究非负可测函数 $f$ 的热含量的泛函形式：
   $$Q^{(\alpha)}_f(t) = \int_G E_x \left[ \inf_{0 \le s \le t} f(B^{\alpha}(s)) \right] dx$$
   这使得可以在群结构上使用泰勒展开。

3. 解析工具：

   • 泰勒公式：证明依赖于 Carnot 群上 $C^{1,1}$ 函数的泰勒展开（由 Bonfiglioli 提出），该展开沿过程路径近似函数值。
   • 退出概率估计：关键部分是建立水平布朗运动在时间 $t$ 内退出半径为 $R$ 的球的概率的尖锐上界。定理 3.1 提供了这些界限，表明退出概率以涉及齐次维数和群分层的项呈指数衰减。
   • 几何测度论：利用水平周长 $|\partial\Omega|_H$，其通过指示函数的水平变差定义。作者采用了关于齐次度量的余面积公式和球面 Hausdorff 测度的性质。

主要贡献与结果
主要结果（定理 1.2）表明，对于具有 $C^2$ 边界且不含特征点的 Carnot 群 $G$ 的有界开子集 $\Omega$，以及 $1 \le \alpha \le 2$：
$$\lim_{t \to 0} \frac{|\Omega| - Q^{(\alpha)}_{\Omega}(t)}{\mu_{\alpha}(t)} = |\partial\Omega|_H$$
此处，$|\partial\Omega|_H$ 表示 $\Omega$ 的水平周长，$\mu_{\alpha}(t)$ 是在欧几里得背景下定义的速率函数（对于 $\alpha > 1$ 涉及 $t^{1/\alpha}$，对于 $\alpha=1$ 涉及 $t \log(1/t)$，对于 $\alpha < 1$ 涉及 $t$）。

具体贡献包括：

• 扩展到非局部算子：本文提供了次黎曼流形上涉及非局部算子（分数次拉普拉斯算子）的分数热含量的首个渐近展开。
• 速率函数的普适性：结果证实，此前已知于欧几里得空间的速率函数 $\mu_{\alpha}(t)$ 在 $1 \le \alpha \le 2$ 时对于 Carnot 群依然有效。
• 一般集合的下界：命题 5.2 证明，渐近极限的下界对任何具有有限水平周长的有界开集均成立，无需 $C^2$ 正则性或无特征点条件。
• 简化的论证：作者用基于泰勒公式和 refined 退出概率估计的简化论证，取代了先前海森堡群研究中使用的复杂退出分布论证。

意义与主张
本文声称其主要意义在于架起了欧几里得空间与次黎曼几何中分数热含量渐近性之间的桥梁。作者强调，他们的方法具有鲁棒性，依赖于小退出时间的估计和泰勒展开，表明该方法可能适用于证明更一般空间上非局部算子的热含量渐近性。

作者明确指出，非特征边界的假设对其方法至关重要，因为它确保了带符号距离函数是 $C^2$ 且 Lipschitz 连续的，这对于泰勒展开和上界证明是必要的。他们承认，虽然他们认为该结果应适用于任何次黎曼流形，但目前他们尚不知道一般情形（超越 Carnot 群）的证明。该工作未提出新的应用或实验设置，而是严格专注于这些渐近极限的理论推导。