Square function estimates, BMO Dirichlet problem, and absolute continuity of harmonic measure on lower-dimensional sets

TL;DR

This paper investigates the relationship between harmonic measure and boundary regularity for lower-dimensional sets, establishing square function estimates and BMO solvability criteria that characterize absolute continuity in this context.

Contribution

It provides new criteria linking the absolute continuity of harmonic measure to solvability of boundary value problems in BMO for lower-dimensional boundaries.

Findings

Square function estimates are established for lower-dimensional sets.

BMO solvability of the Dirichlet problem characterizes absolute continuity of harmonic measure.

Necessary and sufficient conditions are identified for harmonic measure to belong to A_infinity class.

Abstract

In the recent work [DFM1, DFM2] G. David, J. Feneuil, and the first author have launched a program devoted to an analogue of harmonic measure for lower-dimensional sets. A relevant class of partial differential equations, analogous to the class of elliptic PDEs in the classical context, is given by linear degenerate equations with the degeneracy suitably depending on the distance to the boundary. The present paper continues this line of research and focuses on the criteria of quantitative absolute continuity of the newly defined harmonic measure with respect to the Hausdorff measure, $\omega\in A_\infty(\sigma)$, in terms of solvability of boundary value problems. The authors establish, in particular, square function estimates and solvability of the Dirichlet problem in BMO for domains with lower-dimensional boundaries under the underlying assumption $\omega\in A_\infty(\sigma)$. More generally, it is proved that in all domains with Ahlfors regular boundaries the BMO solvability of the Dirichlet problem is necessary and sufficient for the absolute continuity of the harmonic measure.