Sets of absolute continuity for harmonic measure in NTA domains (Q334897): Difference between revisions

For a set \(A\) in a metric space \(Z\), let \(\mathcal{H} ^d(A)\) denote the \(d\)-dimensional Hausdorff measure of \(A\). Given a nontangentially accessible domain \(\Omega \subseteq \mathbb{R}^{d+1}\) and \(z\in \Omega\) we denote by \(\omega=\omega^z_\Omega\) the corresponding harmonic measure. The author is interested in absolute continuity of \(\omega\) with respect to \(\mathcal{H} ^d\) on a set \(E\subset \partial \Omega\), i.e., \(\omega|_E\ll \mathcal{H} ^d|_E\). We say that \(\Omega\) satisfies the \textit{\(C\)-exterior corkscrew condition} if there is a ball \(B(y, r/C)\subseteq B(\xi, r)\setminus \Omega\) for all \(\xi\in \partial \Omega\) and \(r\in (0, \mathrm{diam }\partial \Omega)\). The following theorem is proved in [\textit{J.-M. Wu}, Pac. J. Math. 121, 485--496 (1986; Zbl 0594.31016)]. Theorem A. Let \(\Omega \subseteq \mathbb{R}^{d+1}\) be any domain satisfying the exterior corkscrew condition, and let \(\Gamma\) be a topological sphere such that \(\Gamma^c=\Omega_1\cup \Omega_2\) where \(\Omega_1\) and \(\Omega_2\) are disjoint uniform domains for which \(\omega_{\Omega_i}^{z_i} \ll \mathcal{H} ^d|_\Gamma\) for \(i=1,2\) and \(z_i\in \Omega_i\). Then \(\omega_\Omega^z|_{\Gamma \cap \partial \Omega}\ll \mathcal{H} ^d|_{\Gamma \cap \partial \Omega}\) for \(z\in \Omega\). The author generalizes Theorem A and a result from [\textit{G. David} and \textit{D. Jerison}, Indiana Univ. Math. J. 39, No. 3, 831--845 (1990; Zbl 0758.42008)]. Here we give a corollary. Corollary. Let \(\Omega \subseteq \mathbb{R}^{d+1}\) and \(E\subseteq \partial \Omega \cap Z\) where \(Z\subseteq \mathbb{R}^{d+1}\) is a set of finite \(d\)-measure for which \[ 0< \liminf_{r\to 0} \mathcal{H} ^d(B(\xi,r)\cap Z)/r^d\leq \liminf_{r\to 0} \mathcal{H} ^d(B(\xi,r)\cap Z)/r^d< \infty, \] for every \(\xi \in E\) and \(\omega(E)>0\). Then \(E\) contains a rectifiable subset \(E'\) of positive \(d\)-measure such that \(\omega(E\setminus E')=0\) and \(\omega|_{E'}\ll \mathcal{H} ^d|_{E'}\ll \omega|_{E'} \), so in particular, \(\omega|_E\ll \mathcal{H} ^d|_E\).