[论文解读] Uniform Rectifiability and harmonic measure IV: Ahlfors regularity plus Poisson kernels in $L^p$ implies uniform rectifiability

Steve Hofmann, José María Martell|arXiv (Cornell University)|May 24, 2015

Advanced Harmonic Analysis Research参考文献 14被引用 26

一句话总结

该论文证明，对于 $ mathbb{R}^{n+1}$ 中的 Ahlfors-David 正则集 $E$（其维度为 $n$，$n \geq 2$），若其补集 $ Omega = \mathbb{R}^{n+1} \setminus E$ 的调和测度满足弱-$A_\infty$ 性质，且 Poisson 核的 $L^p$-可积性成立，则 $E$ 是一致可 rectifiable 的。该结果消除了以往研究中对连通性与 Harnack 链条件的依赖，证明了 Poisson 核的尺度不变高阶可积性与调和测度的统一正下界，足以推出一致可 rectifiable 性。

ABSTRACT

Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an Ahlfors-David regular set of dimension $n$. We show that the weak-$A_\infty$ property of harmonic measure, for the open set $Ω:= \mathbb{R}^{n+1}\setminus E$, implies uniform rectifiability of $E$.

研究动机与目标

• 建立一个类似自由边界的结果，将调和测度的性质与一致可 rectifiable 性联系起来，且无需依赖连通性或 Harnack 链条件。
• 证明对于 Ahlfors-David 正则集 $E$ 的补集 $ Omega = \mathbb{R}^{n+1} \setminus E$，若调和测度满足弱-$A_\infty$ 性质，且 Poisson 核具有 $L^p$-可积性，则 $E$ 是一致可 rectifiable 的。
• 消除先前工作中对 Harnack 链条件与连通性假设的依赖，将结果推广至具有 Ahlfors-David 正则边界的任意开集。
• 证明 Poisson 核的尺度不变高阶可积性，结合调和测度的统一正下界，足以推出一致可 rectifiable 性。
• 提供一个基于调和测度与 Poisson 核行为的定量、尺度不变的一致可 rectifiable 性判别准则。

提出的方法

• 利用调和测度 $\omega$ 相对于表面积测度 $\sigma$ 的弱-$A_\infty$ 性质，确保 $\omega \ll \sigma$ 且满足反向 Harnack 不等式。
• 应用 Bourgain 的估计，保证对 Corkscrew 点 $Y_\Delta$ 有调和测度的统一正下界 $\omega^{Y_\Delta}(\Delta) \geq C_0^{-1}$。
• 通过估计 $\int_{C_1\Delta} k^{Y_\Delta}^p \, d\sigma \leq C_0 \sigma(C_1\Delta)^{1-p}$，建立 Poisson 核 $k^{Y_\Delta} = d\omega^{Y_\Delta}/d\sigma$ 的尺度不变高阶可积性。
• 使用 Lewis-Vogel 的论证方法，控制调和测度的增长，并将其与边界几何联系起来。
• 应用 WHSA（弱 John-Nirenberg 型平均）条件，控制振荡并推导出一致可 rectifiable 性。
• 将表面积球 $C_1\Delta$ 覆盖为有限个更小的表面积球 $\Delta_i$，每个均满足弱-$A_\infty$ 控制，通过求和 $L^p$ 范数，推导出全局 $L^p$ 估计。

实验结果

研究问题

• RQ1 能否在不假设连通性或 Harnack 链条件的前提下，仅从调和测度的弱-$A_\infty$ 性质与 Poisson 核的 $L^p$-可积性，推导出 Ahlfors-David 正则集 $E$ 的一致可 rectifiable 性？
• RQ2 Poisson 核的尺度不变高阶可积性，结合调和测度的统一正下界，是否足以推出一致可 rectifiable 性？
• RQ3 先前在连通 NTA 域中得到的结果，能否推广至具有 Ahlfors-David 正则边界的任意开集？
• RQ4 一致可 rectifiable 常数对 $L^p$ 指数与弱-$A_\infty$ 常数的依赖关系如何？
• RQ5 如何对 Poisson 核的 $L^p$ 可积性进行局部化，并在有限覆盖上求和，以获得全局估计？

主要发现

• 即使在不假设连通性或 Harnack 链条件的情况下，$E$ 的一致可 rectifiable 性仍可由调和测度的弱-$A_\infty$ 性质与 Poisson 核的 $L^p$-可积性推出。
• 弱-$A_\infty$ 性质确保调和测度关于表面积测度绝对连续，并满足反向 Harnack 不等式。
• Poisson 核的尺度不变高阶可积性，表达为 $\int_{C_1\Delta} k^{Y_\Delta}^p \, d\sigma \leq C_0 \sigma(C_1\Delta)^{1-p}$，足以推出一致可 rectifiable 性。
• 一致可 rectifiable 常数仅依赖于 $n$、Ahlfors-David 正则性常数、$L^p$ 指数 $p > 1$，以及常数 $C_0$。
• 对于 $ Omega = \mathbb{R}^{n+1} \setminus E$，若 $Y_\Delta$ 选取为 Corkscrew 点，则在 Ahlfors-David 正则性条件下，Bourgain 估计与 Poisson 核的 $L^p$-高阶可积性条件自动满足。
• 证明依赖于表面积球的有限覆盖与 $L^p$ 范数的求和，以推导全局估计，其关键在于覆盖数的统一有界性及每一块上的弱-$A_\infty$ 控制。