Abstract
The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition in uniform domains with Ahlfors regular boundaries. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular \(L^p\) data case. The first step is taken in Part I, where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant, using a novel application of techniques developed in geometric measure theory. In Part II we establish the final result, that is, the “large constant case”. The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.
Similar content being viewed by others
Notes
We refer the reader also to recent work of Azzam [Azz], in which the author characterizes the domains with Ahlfors regular boundaries for which \(\omega _{-\Delta }\in A_\infty (\sigma )\): they are precisely the domains with uniformly rectifiable boundary which are semi-uniform in the sense of Aikawa and Hirata [AH]; see also [AHMMT, AMT, HM3] for related results characterizing \(L^p\) solvability in the general case that \(\omega _{-\Delta }\) need not be doubling.
And also its non-doubling version, the weak \(A_\infty \) condition.
In Case II, see Remark 4.22 part (ii) we extend \(u_\infty \) to all of \({{\mathbb {R}}}^n\) by setting \(u_\infty (X_0)=+\infty \).
Recall that \(\tau \in (0, \tau _0) \) is the fattening parameter so that \(I^{*} = (1+\tau ) I\) for each Whitney cube I.
References
H. Aikawa and K. Hirata. Doubling conditions for harmonic measure in John domains. Ann. Inst. Fourier (Grenoble), (2)58 (2008), 429–445
M. Akman, M. Badger, S. Hofmann and J.M. Martell. Rectifiability and elliptic measures on 1-sided NTA domains with Ahlfors–David regular boundaries. Trans. Am. Math. Soc., (8)369 (2017), 5711–5745
J. Azzam Semi-uniform domains and a characterization of the \(A_\infty \) property for harmonic measure. Int. Math. Res. Not., (2019). https://doi.org/10.1093/imrn/rnz043
J. Azzam, J. Garnett, M. Mourgoglou and X. Tolsa. Uniform rectifiability, elliptic measure, square functions, and \(\epsilon \)-approximability via an ACF monotonicity formula. Preprint, arXiv:1612.02650
J. Azzam, S. Hofmann, J.M. Martell, S. Mayboroda, M. Mourgoglou, X. Tolsa and A. Volberg. Rectifiability of harmonic measure. Geom. Funct. Anal., (3)26 (2016), 703–728
J. Azzam, S. Hofmann, J. M. Martell, M. Mourgoglou and X. Tolsa. Harmonic measure and quantitative connectivity: geometric characterization of the \(L^p\)-solvability of the Dirichlet problem. Invent. Math., (3)222 (2020), 881–993
J. Azzam, S. Hofmann, J. M. Martell, K. Nyström and T. Toro. A new characterization of chord-arc domains. J. Eur. Math. Soc. (JEMS), (4)19 (2017), 967–981
J. Azzam, M. Mourgoglou and X. Tolsa. Harmonic measure and quantitative connectivity: geometric characterization of the \(L^p\)-solvability of the Dirichlet problem. Part II. Preprint, arXiv:1803.07975
G. Beer. Topologies on Closed and Closed Convex Sets. Mathematics and its Applications. Kluwer Academic Publishers Group, Dordrecht, p 268 (1993).
L.A. Caffarelli, E.B. Fabes and C.E. Kenig. Completely singular elliptic-harmonic measures. Indiana Univ. Math. J., (6)30 (1981), 917–924
L. Carleson. Interpolation by bounded analytic functions and the corona problem. Ann. Math. (2), 76 (1962), 547–559
L. Carleson and J. Garnett. Interpolating sequences and separation properties. J. Analyse Math., 28 (1975), 273–299
J. Cavero, S. Hofmann, J.M. Martell and T. Toro. Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates. Trans. Am. Math. Soc., (11)373 (2020), 7901–7935
M. Christ. A \(T(b)\) theorem with remarks on analytic capacity and the Cauchy integral. Colloq. Math., LX/LXI (1990), 601–628
B.E. Dahlberg, D.S. Jerison and C.E. Kenig. Area integral estimates for elliptic differential operators with nonsmooth coefficients. Ark. Mat., (1)22 (1984), 97–108
G. David and D. Jerison. Lipschitz approximation to hypersurfaces, harmonic measure, and singular integrals. Indiana Univ. Math. J., (3)39 (1990), 831–845
G. David and S. Semmes. Singular integrals and rectifiable sets in \({\mathbb{R}}^n\): Au-dela des graphes lipschitziens. Asterisque 193 (1991)
G. David and S. Semmes. Analysis of and on Uniformly Rectifiable Sets. Math. Surveys Monogr., 38, AMS (1993)
M. Dindos, C. Kenig and J. Pipher. BMO solvability and the \(A_{\infty }\) condition for elliptic operators. J. Geom. Anal., (1)21 (2011), 78–95
R. Fefferman, C. Kenig and J. Pipher. The theory of weights and the Dirichlet problem for elliptic equations. Ann. Math., 134 (1991), 65-124
J. Garnett, M. Mourgoglou and X. Tolsa. Uniform rectifiability in terms of Carleson measure estimates and \(\varepsilon \)-approximability of bounded harmonic functions. Duke Math. J., (8)167 (2018), 1473–1524
D. Gilbarg and N. Trudinger. Elliptic Partial Differential Equations of Second Order. 2nd edition, Springer-Verlag, Berlin (1983).
M. Grüter and K-O. Widman. The Green function for uniformly elliptic equations. Manuscripta Math., 37 (1982), 303–342
J. Heinonen, T. Kilpeläinen and O. Martio. Nonlinear Potential Theory of Degenerate Elliptic Equations. Dover, (Rev. ed.), (2006).
S. Hofmann. Quantitative absolute continuity of harmonic measure and the Dirichlet problem: a survey of recent progress, Acta Mathematica Sinica, English Series 35 (2019) (Special Volume in honor of the 65th birthday of Carlos Kenig), 1011-1026.
S. Hofmann, P. Le, J.M. Martell and K. Nyström. The weak-\(A_\infty \) property of harmonic and \(p\)-harmonic measures. Anal. PDE, 10 (2017), 513–558
S. Hofmann and J.M. Martell. Uniform rectifiability and harmonic measure I: Uniform rectifiability implies Poisson kernels in \(L^p\). Ann. Sci. École Norm. Sup., (3)47 (2014), 577–654
S. Hofmann and J.M. Martell. Uniform Rectifiability and harmonic measure IV: Ahlfors regularity plus Poisson kernels in \(L^p\) implies uniform rectifiability. Preprint, arXiv:1505.06499
S. Hofmann and J.M. Martell. Harmonic measure and quantitative connectivity: geometric characterization of the \(L^p\)-solvability of the Dirichlet problem. Part I. Preprint, arXiv:1712.03696
S. Hofmann, J.M. Martell and S. Mayboroda. Uniform rectifiability, Carleson measure estimates, and approximation of harmonic functions. Duke Math. J., (12)165 (2016), 2331–2389
S. Hofmann, J.M. Martell and S. Mayboroda. Transference of scale-invariant estimates from Lipschitz to non-tangentially accessible to uniformly rectifiable domains. Preprint, arXiv:1904.13116
S. Hofmann, J.M. Martell and T. Toro. \(A_\infty \) implies NTA for a class of variable coefficient elliptic operators. J. Differ. Equ., (10)263 (2017), 6147–6188
S. Hofmann, J.M. Martell and T. Toro. General divergence form elliptic operators on domains with ADR boundaries, and on 1-sided NTA domains. Book in preparation
S. Hofmann, J.M. Martell and I. Uriarte-Tuero. Uniform rectifiability and harmonic measure II: Poisson kernels in \(L^p\) imply uniform rectifiability. Duke Math. J., (8)163 (2014), 1601–1654
D. Jerison and C. Kenig. Boundary behavior of harmonic functions in nontangentially accessible domains. Adv. Math., (1)46 (1982), 80–147
C. Kenig. Harmonic analysis techniques for second order elliptic boundary value problems. CBMS Regional Conference Series in Mathematics, 83. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, (1994)
C. Kenig, B. Kirchheim, J. Pipher and T. Toro. Square functions and the \(A_{\infty }\) property of elliptic measures. J. Geom. Anal., (3)26 (2016), 2383–2383
C. Kenig and J. Pipher. The Dirichlet problem for elliptic equations with drift terms. Publ. Mat., 45 (2001), 199–217
J. Lewis and M. Murray. The method of layer potentials for the heat equation in time-varying domains. Mem. Amer. Math. Soc., (545)114 (1995)
J. L. Lewis and A. Vogel. Symmetry theorems and uniform rectifiability. Value Problems, 2007 (2007), article ID 030190, 59 pages
P. Mattila. Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability. Cambridge Studies in Advanced Mathematics, p. 44
L. Modica and S. Mortola. Construction of a singular elliptic-harmonic measure. Manuscripta Math., (1)33 (1980/81), 81–98
F. Nazarov, X. Tolsa and A.Volberg. On the uniform rectifiability of AD-regular measures with bounded Riesz transform operator: The case of codimension 1. Acta Math., (2)213 (2014), 237–321
B.G. Poggi Cevallos. Failure to Slide: A Brief Note on the Interplay Between the Kenig–Pipher Condition and the Absolute Continuity of Elliptic Measures. Preprint, arXiv:1912.10115
F. and M. Riesz. Über die randwerte einer analtischen funktion. Compte Rendues du Quatrième Congrès des Mathématiciens Scandinaves, Stockholm 1916, Almqvists and Wilksels, Upsala (1920)
C. Rios. \(L^p\) regularity of the Dirichlet problem for elliptic equations with singular drift. Publ. Mat., 50 (2006) 475-507
S. Semmes. Analysis vs. geometry on a class of rectifiable hypersurfaces in \(R^n\). Indiana Univ. Math. J., 39 (1990), 1005–1035
E. M. Stein. Singular Integrals and Differentiability Properties of Functions. Princeton Mathematical Series, No. 30. Princeton University Press, Princeton, N.J. (1970)
T. Toro and Z. Zhao. Boundary rectifiability and elliptic operators with \(W^{1,1}\) coefficients. Adv. Calc. Var., (1)14 (2021), 37–62
N. Wiener. The Dirichlet problem, J. Math. Phys., 3 (1924), 127–146
Z. Zhao. BMO solvability and the \(A_{\infty }\) condition of the elliptic measure in uniform domains. J. Geom. Anal., (3)28 (2018), 866–908
Acknowledgements
The authors would like to express their gratitude to Bruno Giuseppe Poggi Cevallos who pointed out that the examples in [MM] could be used to access the optimality of our results. See Proposition 10.2. They would also like to thank MSRI for its hospitality during the Spring of 2017, all the authors were in residence there when this work was started.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was partially supported by NSF Grants DMS-1664047 and DMS-2000048. The second author acknowledges financial support from the Spanish Ministry of Science and Innovation, through the “Severo Ochoa Programme for Centres of Excellence in R&D” (CEX2019-000904-S) and Grant MTM PID2019-107914GB-I00. The second author also acknowledges that the research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007–2013)/ERC Agreement No. 615112 HAPDEGMT. The third author was partially supported by the NSF INSPIRE Award DMS 1344235, the NSF RAISE-TAQ Grant DMS 1839077, and the Simons Foundation Grant 563916, SM. The fourth author was partially supported by the Craig McKibben & Sarah Merner Professor in Mathematics, by NSF Grant Numbers DMS-1664867 and and DMS-1954545, and by the Simons Foundation Fellowship 614610. The fifth author was partially supported by NSF Grants DMS-1361823, DMS-1500098, DMS-1664867, DMS-1902756 and by the Institute for Advanced Study.
This material is based upon work supported by the National Science Foundation under Grant No. DMS-1440140 while the authors were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 2017 semester.
About this article
Cite this article
Hofmann, S., Martell, J.M., Mayboroda, S. et al. Uniform Rectifiability and Elliptic Operators Satisfying a Carleson Measure Condition. Geom. Funct. Anal. 31, 325–401 (2021). https://doi.org/10.1007/s00039-021-00566-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-021-00566-4