[论文解读] Uniform domains with rectifiable boundaries and harmonic measure

Mihalis Mourgoglou|arXiv (Cornell University)|May 22, 2015

Advanced Harmonic Analysis Research参考文献 13被引用 8

一句话总结

该论文证明，在 ℝ^{d+1}（d ≥ 2）中的均匀区域中，若其边界为下部 Ahlfors-David d-正则且 d-可 rectify 的，则在 Hausdorff 测度局部有限的条件下，d 维 Hausdorff 测度关于调和测度是绝对连续的，至多在 Hausdorff 测度为零的集合上例外。该结果解决了长期存在的问题：即使没有完整的 Ahlfors-David 正则性，仅凭均匀性与可 rectify 性是否足以保证这种绝对连续性。

ABSTRACT

We assume that $Ω\subset \mathbb{R}^{d+1}$, $d \geq 2$, is a uniform domain with lower $d$-Ahlfors-David regular and $d$-rectifiable boundary. We show that if $\mathcal{H}^d|_{\partial Ω}$ is locally finite, then the Hausdorff measure $\mathcal{H}^d$ is absolutely continuous with respect to the harmonic measure $ω$ on $\partial Ω$, apart from a set of $\mathcal{H}^d$-measure zero.

研究动机与目标

• 确定具有可 rectify 且下部 Ahlfors-David d-正则边界的均匀区域是否满足 Hausdorff 测度关于调和测度的绝对连续性。
• 解决关于 Hausdorff 测度局部有限性与几何正则性（均匀性、可 rectify 性）是否足以保证 H^d ≪ ω 的开放问题。
• 证明下部 Ahlfors-David d-正则性条件是紧致的，若不成立则绝对连续性结论将不成立。
• 构造一个 s ∈ (d−1, d) 的反例，表明当边界仅为 s-正则时，该结果不成立，从而证明 d-正则性假设的紧致性。

提出的方法

• 利用 Whitney 方体分解构造具有受控几何结构与边界结构的内部子区域 Ω′_E′。
• 应用最大值原理比较子区域上的调和测度 ω 与 ω⁻，实现绝对连续性性质的传递。
• 采用 Badger [8] 的结果：当 H^d 局部有限时，在 NTA 区域中 H^d|_∂Ω ≪ ω 成立，并将其推广至均匀区域。
• 利用均匀区域中 d-可 rectify 边界蕴含 NTA 性质的事实，从而可应用已知的 A_∞-等价结果。
• 通过在上半空间中构造 Ahlfors-David s-正则集（s < d）作为反例，证明当 d-正则性被移除时 H^d ≪ ω 失效。
• 应用 Bourgain 关于下部正则集中正调和测度的结果，以及调和测度的加倍性质，证明 ω(R^d) = 0，从而推出 H^d 不关于 ω 绝对连续。

实验结果

研究问题

• RQ1 在具有 d-可 rectify 边界的均匀区域中，若边界上 H^d 局部有限，是否蕴含 H^d ≪ ω？
• RQ2 下部 Ahlfors-David d-正则性是否为此类区域中 H^d ≪ ω 所必需的条件？
• RQ3 能否在不具完整 Ahlfors-David 正则性的情况下建立 H^d 关于 ω 的绝对连续性？
• RQ4 当边界仅为 s-正则（s < d）时，绝对连续性会发生什么变化？
• RQ5 在这些区域中，H^d 测度为正的集合是否具有正的调和测度？

主要发现

• 在具有 d-可 rectify 且下部 Ahlfors-David d-正则边界的均匀区域中，若 H^d|_∂Ω 局部有限，则 H^d ≪ ω 几乎处处成立于 ∂Ω。
• 下部 Ahlfors-David d-正则性假设是紧致的：对每个 s ∈ (d−1, d)，存在一个反例，其中 ∂Ω 为 s-正则，Ω 为均匀且 d-可 rectify，但 H^d ≪ ω 不成立。
• 反例区域满足 ∂Ω = R^d ∪ E，其中 E 为 s-正则，且 ω(R^d) = 0，因此任何满足正 H^d 测度的子集 F ⊂ R^d 均有 ω(F) = 0。
• 在构造的反例中，调和测度 ω 是加倍的，且对 ω-几乎处处的 x ∈ R^d，有 ω(B(x,r)) → 0（当 r → 0），从而确认 ω(R^d) = 0。
• 结果表明，仅凭均匀性与可 rectify 性不足以保证 H^d ≪ ω，必须附加下部正则性；d-正则性是必不可少的。
• 证明依赖于通过最大值原理将绝对连续性从子区域传递，并结合 NTA 区域中 H^d 局部有限时的已知结果。