$p$-Poincaré inequalities and cutoff Sobolev inequalities on metric measure spaces

技术摘要：度量测度空间上的 $p$-庞卡莱不等式与截断索伯列夫不等式

问题陈述
本文研究了具有 $p$-能量（$p > 1$）且满足特定泛函不等式的度量测度空间，这些不等式包括庞卡莱不等式 ($PI(\Psi)$)、截断索伯列夫不等式 ($CS(\Psi)$) 以及体积正则性条件 ($V(\Phi)$)。虽然 $p=2$ 的情况（狄利克雷形式）已得到充分理解，特别是体积倍增性质、庞卡莱不等式与截断索伯列夫不等式的结合与热核估计之间的等价性，但一般的 $p > 1$ 情境呈现出截然不同的挑战。具体而言，本文调查了在上述不等式成立时，对缩放函数 $\Phi$（控制体积增长）和 $\Psi$（控制 $p$-行走维度）所施加的约束。

核心问题在于：

1. 必要性： 若一个空间满足链条件 (CC)、体积正则性 $V(\Phi)$ 以及不等式 $PI(\Psi)$ 和容量上界 $cap(\Psi)_\leq$，那么 $\Phi$ 与 $\Psi$ 之间的关系必须满足哪些约束？
2. 充分性： 相反，给定任何满足这些约束的倍增函数对 $\Phi$ 和 $\Psi$，是否存在一个具有 $p$-能量的度量测度空间，使得 $V(\Phi)$、$PI(\Psi)$ 和 $CS(\Psi)$ 均成立？

方法论
本文采用基于 Laakso 型空间理论的构造方法，将 Murugan [43] 在 $p=2$ 情况下的近期进展扩展到了一般的 $p > 1$ 情况。该方法论分为三个主要阶段：

1. 底层空间的构造：

   • R-树 ($T(b)$)： 作者利用分支函数 $b: \mathbb{Z} \to \mathbb{N}$ 构建了一棵 R-树。通过关于长度测度的梯度在树上定义了一个 $p$-能量。树状结构使得直接验证庞卡莱不等式和容量界限成为可能。
   • 超度量空间 ($U(g)$)： 利用胶合函数 $g: \mathbb{Z} \to \mathbb{N}$ 构建了一个超度量空间。
   • Laakso 型空间 ($L(g, b)$)： 目标空间被定义为乘积空间 $P(g, b) = U(g) \times T(b)$ 在一个由 $g$ 确定的“虫洞”所决定的等价关系下的商空间。作者引入了一种特定的测地距离 $d_{L(g,b)}$，并证明了所得空间是一个测地度量空间。

2. 测地线与测度的分析：

   • 论文对 $L(g, b)$ 中的测地线进行了详细的特征化描述，表明它们要么是单调的，要么具有一次或两次“反转”（即通过虫洞的跳跃）。
   • 商映射 $Q: P(g, b) \to L(g, b)$ 被证明是 David-Semmes 正则的，这允许通过将乘积测度推送到商空间来定义测度 $m_{L(g,b)}$。

3. 能量与不等式：

   • 通过将微分结构从树分量 $T(b)$ 转移，在 $L(g, b)$ 上构造了一个 $p$-能量 $(E_L, F_L)$。
   • 利用“曲线束”（pencil of curves）技术证明了庞卡莱不等式，并将其适配于 $p$-能量设置。
   • 截断索伯列夫不等式是通过直接证明建立的，而非依赖于容量界限与该不等式之间的等价性（这是 Eriksson-Bique 最近在 $p=2$ 时取得的结果）。这种直接证明的方法至关重要，因为本文旨在不假设先前的等价结果的情况下建立 $CS(\Psi)$。

关键结果

1. 必要条件 (命题 2.1)：
   本文证明，如果一个度量测度空间满足链条件、体积正则性 $V(\Phi)$、庞卡莱不等式 $PI(\Psi)$ 以及容量上界 $cap(\Psi)_\leq$，则缩放函数必须满足：
   $$\frac{1}{C} \left(\frac{R}{r}\right)^p \leq \frac{\Psi(R)}{\Psi(r)} \leq C \left(\frac{R}{r}\right)^{p-1} \frac{\Phi(R)}{\Phi(r)}$$
   对于任何 $r \leq R$。在齐次情形下，即 $\Phi(r) = r^{d_h}$ 且 $\Psi(r) = r^{\beta_p}$，这意味着约束为：
   $$p \leq \beta_p \leq d_h + (p - 1)$$

2. 充分性与构造 (定理 2.3)：
   本文的主要贡献是证明了逆命题。对于任何满足上述不等式的倍增函数对 $\Phi$ 和 $\Psi$，作者构造了一个特定的 Laakso 型空间 $L(g, b)$ 及其上的 $p$-能量，使得 $V(\Phi)$、$PI(\Psi)$ 和 $CS(\Psi)$ 均成立。该构造涉及选择近似 $\Phi$ 和 $\Psi$ 增长率的分支函数 $b$ 和胶合函数 $g$。

3. 关于 Ahlfors 正则性的推论：
   作为直接应用，本文确认了对于任何满足 $p \leq \beta_p \leq d_h + (p - 1)$ 的 $d_h, \beta_p > 0$，都存在一个无界的测地度量测度空间，该空间是 $d_h$-Ahlfors 正则的，并具有 $p$-行走维度 $\beta_p$。

4. Besov 空间的临界指数：
   研究结果被用于表征 Besov 空间 $B_{p, \alpha}$ 可达到的临界指数 $\alpha_p$ 的范围。本文确定了 $\beta_p = p \alpha_p$ 可以取遍上述导出范围内的任何值。

意义与主张
本文声称解决了如下问题：即由庞卡莱不等式与容量不等式结合所导出的约束是否是尖锐且充分的。通过使用 Laakso 型空间构建显式示例，作者展示了关于 $p$-行走维度 $\beta_p$ 相对于 Hausdorff 维度 $d_h$ 的导出的界限是优的。

这项工作将热核估计和泛函不等式的理论从线性情况 ($p=2$) 扩展到了非线性 $p$-能量设置。一个重要的技术成就是在这些构造的空间上直接证明了截断索伯列夫不等式，从而绕过了在一般 $p$ 设置下需要依赖于最近证明的“截断索伯列夫不等式与容量界限等价性”的需求。这为分析分形类定义域和电缆系统上的 $p$-能量提供了一个自洽的框架。