In the recent work 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,
,
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
. 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.