Square functions, nontangential limits, and harmonic measure in codimension larger than 1

Research output: Contribution to journalArticlepeer-review

15 Scopus citations


We characterize the rectifiability (both uniform and not) of an Ahlfors regular set E of arbitrary codimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regularized distance is itself a solution to a degenerate elliptic operator in the complement of E. This allows us to precisely compute the harmonic measure of those sets associated to this degenerate operator and prove that, in sharp contrast with the usual setting of codimension 1, a converse to Dahlberg's theorem must be false on lower-dimensional boundaries without additional assumptions.

Original languageEnglish (US)
Pages (from-to)455-501
Number of pages47
JournalDuke Mathematical Journal
Issue number3
StatePublished - Feb 15 2021

Bibliographical note

Funding Information:
David’s work was partially supported by Simons Collaborations in Mathematics and Physical Sciences (MPS) grant 601941, Agence Nationale de la Recherche (ANR) GEOMETRYA project grant ANR-12-BS01-0014, and European Community Marie Curie MANET project grant 607643 and GHAIA project H2020 grant 777822. Engelstein’s work was partially supported by a National Science Foundation (NSF) postdoctoral fellowship, NSF grant DMS-1703306, and by David Jerison’s grant DMS-1500771. Mayboroda’s work was partially supported by NSF INSPIRE grant DMS-1344235, NSF grant DMS-1839077, a Simons Foundation Fellowship, and Simons Collaborations in MPS grant 563916. This project is based upon work supported by NSF grant DMS-1440140 while the authors were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the 2017 spring semester.

Publisher Copyright:
© 2021.


Dive into the research topics of 'Square functions, nontangential limits, and harmonic measure in codimension larger than 1'. Together they form a unique fingerprint.

Cite this