Harmonic measure and quantitative connectivity: geometric characterization of the $L^p$-solvability of the Dirichlet problem

Abstract

It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-$A_{\infty }$ property) of harmonic measure with respect to surface measure, on the boundary of an open set $\Omega \subset {\mathbb{R}}^{n+1}$ with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in $\Omega$, with data in $L^p(\partial \Omega )$ for some $p<\infty$. In this paper, we give a geometric characterization of the weak-$A_{\infty }$ property, of harmonic measure, and hence of solvability of the $L^p$ Dirichlet problem for some finite $p$. This characterization is obtained under background hypotheses (an interior corkscrew condition, along with Ahlfors-David regularity of the boundary) that are natural, and in a certain sense optimal: we provide counter-examples in the absence of either of them (or even one of the two, upper or lower, Ahlfors-David bounds); moreover, the examples show that the upper and lower Ahlfors-David bounds are each quantitatively sharp.

arXiv commentThis paper is a combination of arXiv:1712.03696 and arXiv:1803.07975 To appear in Invent. Math

References in corpus (9)

• A new characterization of chord-arc domains
• Harmonic measure and quantitative connectivity: geometric characterization of the $L^p$-solvability of the Dirichlet problem
• Null sets of harmonic measure on NTA domains: Lipschitz approximation revisited
• Uniform Rectifiability, Carleson measure estimates, and approximation of harmonic functions
• The weak-$A_{\infty }$ property of harmonic and $p$-harmonic measures implies uniform rectifiability
• Uniform Rectifiability and harmonic measure IV: Ahlfors regularity plus Poisson kernels in $L^p$ implies uniform rectifiability
• Uniform rectifiability, elliptic measure, square functions, and $\epsilon$-approximability via an ACF monotonicity formula
• Rectifiability, interior approximation and Harmonic Measure
• Semi-uniform domains and the $A_{\infty }$ property for harmonic measure

Cited by in corpus (15)

• Harmonic measure and quantitative connectivity: geometric characterization of the $L^p$-solvability of the Dirichlet problem
• Carleson measure estimates for the Green function
• Transference of scale-invariant estimates from Lipschitz to Non-tangentially accessible to Uniformly rectifiable domains
• Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case
• Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one
• Carleson measure estimates for caloric functions and parabolic uniformly rectifiable sets
• The Green function with pole at infinity applied to the study of the elliptic measure
• Quantitative Besicovitch projection theorem for irregular sets of directions
• Connectivity conditions and boundary Poincaré inequalities
• Boundary Value Problems in graph Lipschitz domains in the plane with $A_{\infty }$-measures on the boundary
• A Green function characterization of uniformly rectifiable sets of any codimension
• Necessary condition for the $L^2$ boundedness of the Riesz transform on Heisenberg groups
• Interactions between quantitative rectifiability, singular integrals, and boundary value problems for harmonic functions
• Absolute continuity of degenerate elliptic measure
• Lipschitz decompositions of domains with bilaterally flat boundaries