Carleson measure estimates, corona decompositions, and perturbation of elliptic operators without connectivity

Abstract

Let Ω⊂Rn+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega \\subset \\mathbb {R}^{n+1}$$\\end{document}, n≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n\\ge 2$$\\end{document}, be an open set with Ahlfors–David regular boundary satisfying the corkscrew condition. When Ω\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega $$\\end{document} is quantitatively connected (i.e., it satisfies the Harnack chain condition) it is known that for any real elliptic operator with bounded coefficients, the quantitative absolute continuity of elliptic measures (i.e., its membership to the class A∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$A_\\infty $$\\end{document}) is equivalent to the fact that all bounded null solutions satisfy Carleson measure estimates. In turn, in the same setting, it is also known that these properties are stable under Fefferman–Kenig–Pipher’s perturbations. Nonetheless, it has been an open problem to show whether, without connectivity, the previous two conditions remain equivalent or whether there is a Fefferman–Kenig–Pipher perturbation theory. In this paper we settle the question of whether, for general real elliptic operators in sets without any connectivity assumption, quantitative absolute continuity of the elliptic measure (expressed via a corona decomposition for the elliptic measure) and Carleson measure type estimates for bounded null solutions are equivalent. We show that any of these conditions is also equivalent to the fact that the Green function is comparable, in the corona sense, to the distance to the boundary. Our characterization has profound consequences. First, we extend Fefferman–Kenig–Pipher’s perturbation result to sets which are not necessarily connected, and this is the first result in this general setting. Second, in the case of the Laplacian, and more generally for L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document}-Kenig–Pipher non-symmetric operators with variable coefficients, our conditions characterize the uniform rectifiability of the boundary. Last, our results generalize previous work in settings where quantitative connectivity is assumed.