On singularity of $p$-energy measures on metric measure spaces

技术摘要：关于度量测度空间上 $p$-能量测度的奇异性

问题陈述
本文研究了度量测度空间上 $p$-能量测度相对于底层参考测度的奇异性问题。在狄利克雷型（Dirichlet forms）的语境下，扩散过程对应于一个局部正则的狄利克雷型，该型关联着一个能量测度。对于经典的 $p=2$ 情况，已在分形（如谢尔宾斯基垫片和谢尔宾斯基地毯）上确立了：能量测度相对于底层测度是奇异的，当且仅当行走维数 $\beta$ 严格大于 2。本文旨在将这一结果推广到 $p > 1$ 的非线性情形。具体而言，本文研究了一个猜想：对于具有 $p$-行走维数 $\beta_p$ 的 $p$-能量，其关联的 $p$-能量测度在 $\beta_p > p$ 时是相对于底层测度奇异的。

方法论
作者采用了类似于 [27] 中针对 $p=2$ 情况证明策略，利用了空间中函数不等式与几何性质之间的相互作用。其核心方法论包括：

1. 函数不等式： 分析依赖于带有特定缩放函数 $\Psi(r) = r^{\beta_p}$ 的庞卡莱不等式（Poincaré inequality, $PI$）和截断索伯列夫不等式（cutoff Sobolev inequality, $CS$）。
2. 由调和函数逼近： 证明过程通过构造一系列“分段调和函数”来逼近 $p$-能量定义域中的任何非负函数。这涉及通过变分原理在有界开集上定义调和函数，并利用底谱正性条件（bottom spectrum positivity condition, $BSP$）。
3. 反向庞卡莱不等式： 一个关键的技术步骤是从截断索伯列夫不等式导出反向庞卡莱不等式。这使得能够通过调和函数的 $L^p$ 范数在环形区域上的表现来控制其能量测度。
4. 矛盾论证： 为了证明奇异性，作者假设能量测度存在非平凡的绝对连续部分。通过结合庞卡莱不等式、截断索伯列夫不等式以及绝对连续性的假设，推导出一个关于缩放函数 $\Psi$ 的渐近行为的矛盾（具体为极限条件 $\lim_{\lambda \to \infty} \lim_{r \downarrow 0} \lambda^p \Psi(r/\lambda)/\Psi(r) = 0$）。
5. 等价性证明： 本文建立了电阻估计（resistance estimate, $R$）与“庞卡莱不等式及容量上界”的结合，以及“庞卡莱不等式及截断索伯列夫不等式”的结合之间的等价关系。该等价性是在“慢体积正则性”（slow volume regularity, $SVR$）条件下证明的，该条件将$p=2$时的强回归条件推广到了$p>1$ 的情况。

主要贡献

• 向 $p > 1$ 的推广： 本文证明了如果一个度量测度空间满足体积倍增条件、庞卡莱不等式和满足特定 $\Psi$ 的截断索伯列夫不等式，且 $\beta_p > p$，则其关联的 $p$-能量测度相对于底层测度是奇异的。
• 直接导出截断索伯列夫不等式： 一个重要的技术贡献是在 $SVR$ 条件下，从庞卡莱不等式和容量上界直接且简单地导出截断索伯列夫不等式。这避免了对热核估计（heat kernel estimates）的依赖，而热核估计通常难以直接建立。
• 电阻与函数不等式的等价性： 本文证明了在 $SVR$ 条件下，电阻估计等价于“庞卡莱不等式与容量上界”的结合，同时也等价于“庞卡莱不等式与截断索伯列夫不等式”的结合。
• 在分形上的应用： 研究结果被应用于特定的分形空间，包括谢尔宾斯基垫片和谢尔宾斯基地毯。

主要结果

• 定理 2.1： 在满足体积倍增（$VD$）、庞卡莱不等式（$PI(\Psi)$）以及满足特定$\Psi$极限条件的截断索伯列夫不等式（$CS(\Psi)$）的假设下，对于定义域中的任何$f$，其$p$-能量测度$\Gamma(f)$相对于测度$m$是奇异的。特别地，若$\beta_p > p$，则奇异性成立。
• 定理 2.3： 在慢体积正则性条件（$SVR(\Phi, \Psi)$）下，以下各项是等价的：
  1. 电阻估计 $R(\Phi, \Psi)$。
  2. 庞卡莱不等式 $PI(\Psi)$ 和容量上界 $cap(\Psi)_\le$。
  3. 庞卡莱不等式 $PI(\Psi)$ 和截断索伯列夫不等式 $CS(\Psi)$。
• 推论 2.5： 对于谢尔宾斯基垫片和谢尔宾斯基地毯，如果 $p$ 严格大于阿福尔德正则共形维数（Ahlfors regular conformal dimension, $\dim_{ARC}$），则其 $p$-能量测度相对于底层测度是奇异的。这是因为在这些空间中，电阻估计成立，从而蕴含了必要的函数不等式，且当 $p > \dim_{ARC}$ 时满足 $\beta_p > p$。

意义与主张
本文声称在解决“只要 $p$-行走维数超过 $p$，则 $p$-能量测度是奇异的”这一猜想方面取得了进展。作者指出，该领域的主要困难历来在于如何直接建立截断索伯列夫不等式。通过提供从庞卡莱不等式和容量上界（在 $SVR$ 下）直接导出该不等式的途径，本文为在分形和度量测度空间上证明奇异性提供了一条更易行的路径，而不必依赖于显式的热核估计。

这些结果将以往在自相似集（其中 $p=2$）上的发现推广到了更广泛的 $p$-能量类。本文明确指出，对于包括谢尔宾斯基垫片和地毯在内的很大一类分形，当 $p$ 严格大于阿福尔德正则共形维数时，奇异性成立。作者承认，此前在 [47] 中给出了谢尔宾斯基垫片在 $p=2$ 时截断索伯列夫不等式的证明，而本文采用了该方法并将其推广到了 $p>1$ 的情形。这项工作被呈现为对该猜想的一个部分回答，其有效性取决于特定空间中电阻估计或函数不等式的成立情况。