Sets of absolute continuity for harmonic measure in NTA domains

TL;DR

This paper proves that harmonic measure in NTA domains is absolutely continuous with respect to Hausdorff measure on certain sets, and establishes quantitative $A_{ abla}$-type conditions even when the boundary isn't locally finite.

Contribution

It extends the understanding of harmonic measure's absolute continuity and $A_{ abla}$-type conditions to NTA and uniform domains with less regular boundaries.

Findings

Harmonic measure is absolutely continuous with respect to Hausdorff measure on sets contained in Ahlfors regular sets.

Quantitative $A_{ abla}$-type conditions hold even when the boundary isn't locally finite.

Results apply to Lipschitz images of subsets of Euclidean space within uniform domains.

Abstract

We show that if $\Omega$ is an NTA domain with harmonic measure $w$ and $E\subseteq \partial\Omega$ is contained in an Ahlfors regular set, then $w|_{E}\ll \mathscr{H}^{d}|_{E}$. Moreover, this holds quantitatively in the sense that for all $\tau>0$ $w$ obeys an $A_{\infty}$-type condition with respect to $\mathscr{H}^{d}|_{E'}$, where $E'\subseteq E$ is so that $w(E\backslash E')<\tau w(E)$, even though $\partial\Omega$ may not even be locally $\mathscr{H}^{d}$-finite. We also show that, for uniform domains with uniform complements, if $E\subseteq\partial\Omega$ is the Lipschitz image of a subset of $\mathbb{R}^{d}$, then there is $E'\subseteq E$ with $\mathscr{H}^{d}(E\backslash E')<\tau \mathscr{H}^{d}(E)$ upon which a similar $A_{\infty}$-type condition holds.