Elliptic Harnack inequality and Poincaré inequality for $p$-energies on metric measure spaces

技术摘要：度量测度空间上 $p$-能量的椭圆哈纳克不等式与庞卡莱不等式

问题陈述
本文探讨了在度量测度空间 $(X, d, m)$ 的非线性 $p$-能量背景下，泛函不等式之间的结构关系。虽然对于线性狄利克雷型（$p=2$），椭圆哈纳克不等式（EHI）、双侧容量界、庞卡莱不等式（PI）以及截断索博列夫不等式（CS）之间的等价性已得到充分论证，但由于非线性情况（$p > 1$）缺乏线性半群或热核，使得此类等价性的证明变得更加困难。

具体而言，作者试图完成经典等价关系的非线性类比：
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
其中 $\Psi$ 是一个合适的标度函数。作者的前期工作 [28] 已经建立了如下蕴含关系：$\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$ 以及 $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$。本文解决的正是剩余的开放步骤，即从椭圆哈纳克不等式和双侧容量界导出庞卡莱不等式 $\text{PI}(\Psi)$。

方法论
证明策略结合了作者前作 [28] 的技术与 [11] 中引入的关于具有上梯度结构的空间的抛物型哈纳克不等式的最新方法。论证过程分为两个主要步骤：

1. 归约为法贝尔–克拉夫内尔不等式（Faber–Krahn Inequality）：
   遵循 [11] 中的策略，作者将证明 $\text{PI}(\Psi)$ 归约为建立法贝尔–克拉夫内尔不等式 $\text{FK}(\Psi)$。该不等式提供了 $p$-拉普拉斯算子在某个区域上的第一特征值相对于该区域测度和标度函数 $\Psi$ 的下界。
   作者证明，若能建立如下形式的估计，则 $\text{PI}(\Psi)$ 成立：
   $$\left( \fint_{B(x_0, R)} |f - c|^p dm \right)^{1/p} \lesssim \left( \frac{\Psi(R)}{V(x_0, R)} \int_{B(x_0, AR)} d\Gamma(f) \right)^{1/p} + \epsilon \fint_{B(x_0, R)} |f| dm$$
   对于合适的常数 $\epsilon$。这通过将函数 $f$ 分解为调和部分和余项来实现，并利用了由 EHI 导出的振荡估计。

2. 通过沃尔夫势（Wolff Potentials）建立法贝尔–克拉夫内尔不等式：
   为了证明 $\text{FK}(\Psi)$，作者采用了标准的 Maz'ya 分解技术，该技术将问题归约为通过集合 $K$ 的相对容量来估计其测度：
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   该估计是利用 [28] 中建立的沃尔夫势估计得出的。证明过程包括：

   • 构造与集合 $K$ 相关的容量势 $u$。
   • 利用与超调和函数 $u$ 相关的里斯测度 $\mu$。
   • 应用沃尔夫势估计从下界约束 $u(x_0)$，将势与测度 $\mu$ 及容量联系起来。
   • 利用体积倍增（VD）和容量界来控制沃尔夫势级数。
   • 应用 5B 覆盖引理来对覆盖 $K$ 的不相交球进行求和，从而通过容量限制 $m(K)$。

关键假设
结果在度量测度空间 $(X, d, m)$ 和 $p$-能量 $(\mathcal{E}, \mathcal{F})$ 满足以下结构性假设下成立：

• 几何性质： 体积倍增（VD）和链条件（CC）。
• 分析性质：
  • EHI： 椭圆哈纳克不等式成立。
  • cap($\Psi$)： 双侧容量界成立。
  • BSP： 底谱正性（有界区域上第一特征值的正性）。
  • LSC： 超调和函数的下半连续性条件。
  • 附加条件： 或者满足线性局部连通（LLC）条件，或者满足环形椭圆哈纳克不等式（EHI$_{\text{ann}}$）。

主要结果

1. 定理 1.1： 在 VD、LSC、BSP、EHI 和 cap($\Psi$) 的假设下，若 LLC 或 EHI$_{\text{ann}}$ 成立，则庞卡莱不等式 $\text{PI}(\Psi)$ 成立。
2. 推论 1.3 和 1.4： 通过将定理 1.1 与 [28] 中的先前结果相结合，本文建立了完整的等价关系：
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   该等价关系在相同的结构假设（VD, LSC, BSP 以及 LLC 或 EHI$_{\text{ann}}$）下成立。

意义与主张
本文声称提供了实现经典线性设置（$p=2$）中已知等价关系的“剩余步骤”——即非线性类比的完整化。

• 结构统一性： 结果表明，$p$-能量的非线性理论在椭圆层面上具有与经典狄利克雷型理论相同的结构形式。具体而言，“哈纳克–容量侧”与“庞卡莱–截断侧”是等价的。
• 鲁棒性： 在缺乏热核（对于非线性 $p$-能量通常不存在）的情况下，这种等价性为经典设置中已知的等价关系提供了一个稳健的替代方案。
• 技术贡献： 本工作将 [11] 中的论证（原用于具有上梯度空间的抛物型哈纳克不等式）适配到更一般的度量测度空间（包括分形）中，通过建立必要的法贝尔–克拉夫内尔不等式，利用了沃尔夫势估计。

作者指出，对于特定的 $p=2$ 情况，仅在 VD 下 $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$ 就已成立。然而，对于一般的 $p > 1$，由于非线性和现有技术的局限性，需要额外的 LSC、BSP 以及 LLC 或 EHI$_{\text{ann}}$ 等假设。