A note on harmonic measure (Q2467662): Difference between revisions

Let \(\Omega\) be a Dirichlet region (i.e. a region for which the Dirichlet problem is solvable) in the unit disk \(D=\{z: | z| <1\}\) such that \(0\in\Omega\subset D\), and let \(\omega_\Omega\) denote the harmonic measure on \(\partial \Omega\) for evaluation at \(0\). Given a Borel set \(E\subset \partial D\) and \(\omega_\Omega (E)>0\), the author determines a simply connected region G satisfying \[ 0\in G\subset D, \qquad \partial G \subset \Omega\cup E, \quad \omega_G (E)>0, \] such that for the set \(U=G\cup \Omega\), \(\omega_U\) and \(\omega_\Omega\) are boundedly equivalent on \(\partial U\). Some consequences of this result are mentioned.