Abstract
We provide several equivalent characterizations of locally flat, d-Ahlfors regular, uniformly rectifiable sets E in \({\mathbb {R}}^n\) with density close to 1 for any dimension \(d \in {\mathbb {N}}\), \(1 \le d < n\). In particular, we show that when E is Reifenberg flat with small constant and has Ahlfors regularity constant close to 1, then the Tolsa \(\alpha \) coefficients associated to E satisfy a small-constant Carleson measure estimate. This estimate is new, even when \(d= n-1\), and gives a new characterization of chord-arc domains with small constant.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
The connection between quantitative properties of elliptic PDEs, harmonic analysis, and geometric measure in the past thirty years has significantly been influenced by the introduction of uniformly rectifiable sets by David and Semmes in the early 90 s. At its core, uniform rectifiability of a d-dimensional set \(E \subset {\mathbb {R}}^n\) is the precise condition on E which guarantees all (sufficiently nice) Calderón-Zygmund operators are \(L^2\) bounded [11]. In terms of elliptic boundary value problems, it turns out that uniform rectifiability of the boundary \(\partial \Omega \) of a domain \(\Omega \) arises naturally as one of the sharp geometric conditions under which one can solve the Laplace-Dirichlet problem on \(\Omega \) with singular (i.e., \(L^p\)) boundary data (see [3] for a recent result, but also the series of works [19, 21, 22]). At their core, though, uniformly rectifiable sets have many equivalent geometric characterizations, all of which quantify (in some sense) the d-rectifiability of E at different points \(x \in E\) and scales \(r >0\).
Just to list two such examples, a d-Ahlfors regular set \(E \subset {\mathbb {R}}^n\) is d-uniformly rectifiable if and only if the Tolsa \(\alpha _{{\mathcal {H}}^d|_E}\) numbers satisfy the Carleson measure estimate [40]
for some uniform \(M_1 > 0\). Here the \(\alpha _{{\mathcal {H}}^d|_E}(x,r)\) are bounded coefficients which measure the distance from E to the space of d-planes in the ball B(x, r) (see Definition 1.5), and so the estimate (1.1) says that for most balls B(x, r) centered on E, this distance is quantitatively small in a precise sense. Of course, in the estimate above, one could take different coefficients (e.g., the so-called \(L^1\) beta coefficients, \(\beta _1\)) and still obtain a characterization [11]. In terms of a slightly more concrete definition, it turns out that (1.1) is equivalent to E having “big pieces of Lipschitz images of subsets of \({\mathbb {R}}^d\),” which is to say the following: there is some uniform \(M_2> 0\) so that for each \(x \in E\) and every \(r >0\), one can find a Lipschitz mapping \(\rho : B_d(0, r) \subset {\mathbb {R}}^d \rightarrow {\mathbb {R}}^n\) with Lipschitz norm \(\le 1 + M_2\) so that
There are many other interesting geometric and analytic characterizations of uniformly rectifiable sets, and we refer the reader to [10, 11] where this is pursued. The goal of the current paper is to take on a systematic study of the quantitative relationship between such constants \(M_1\) and \(M_2\) in the small-constant regime: if \(M_1\) is sufficiently small, does it mean that \(M_2\) also is? If so, can such a relationship be made quantitative?
In this paper, we show that this is indeed the case. In fact, we show that the estimate (1.1) with small constant \(M_1\) (along with good Ahlfors regularity control) characterizes a certain class of Ahlfors regular sets \(E \subset {\mathbb {R}}^n\) of any dimension \(1 \le d \le n-1\) that have very good approximations by very flat Lipschitz graphs (Theorem 1.9). This approximation property is even stronger than the “big pieces of Lipschitz images of subsets of \({\mathbb {R}}^d\)” property mentioned above. We call such sets uniformly rectifiable of dimension d with small constant \(\delta >0\) (see Definition 1.7). Moreover, our result is quantitative in that (1.1) holds with \(M_1 = \delta ^\theta \) for some dimensional constant \(\theta \in (0,1)\) depending only on n and d; whenever, \(E \subset {\mathbb {R}}^n\) is uniformly rectifiable of dimension d with small constant \(\delta \), and a converse holds as well. This quantitative Carleson measure estimate serves as an important tool in the upcoming work in [17], where the authors study the regularity of the Poisson kernel associated to a degenerate elliptic operator outside of Ahlfors regular sets of high co-dimension in \({\mathbb {R}}^n\). In addition, our method of proof brings with it several other characterizations. In particular, we relate the constant \(M_1\) to the control of the oscillation of the tangent planes to E and the Reifenberg flatness of E.
These two other characterizations are largely motivated by the of work Semmes [38, 39] (and later Blatt [5]) on chord-arc surfaces with small constant as well as Kenig and Toro [27, 28] in their study of the Poisson kernel regularity for chord-arc domains with small (and vanishing) constant. In particular, the work of Kenig and Toro showed that chord-arc domains with small constant in many ways serve as an appropriate substitute for \(C^1\) domains in the study of boundary value problems for elliptic PDE below the Lipschitz thresh-hold. It turns out that under a global assumption of Reifenberg flatness of a domain \(\Omega \), the Poisson kernel k associated to the Laplace operator on \(\Omega \) satisfies \(\log k \in \textrm{VMO}(\partial \Omega )\) if and only if the domain \(\Omega \) is a chord-arc domain with vanishing constant [29]. This result is the proper analog (and converse) of the earlier result of Jerison and Kenig, which says that \(\log k \in \textrm{VMO}(\partial \Omega )\) for \(C^1\) domains (though, in general \(\log k\) need not be continuous or even bounded for such domains) [25]. Since then, chord-arc domains with small constant have continued to be an important geometric object in the study of quantitative properties of solutions to elliptic PDE on rough domains [8, 9, 16, 20, 33, 34], free boundary problems for elliptic measure [2, 4, 6, 7, 36], and even have corresponding analogs and importance in other PDE settings [18, 30, 35], and we can only scratch the surface here on the plethora of theory devoted to the study of PDE on such domains.
Since chord-arc domains with small constant \(\Omega \) have rich PDE properties, there has been much interest in understanding and providing alternative geometric characterizations of such domains. Roughly speaking, these are domains whose boundaries locally separate space in two and whose boundaries are Ahlfors regular and bilaterally well approximated by hyperplanes. In addition, these domains have unit normal with small BMO-norm (see Definition 1.13 for a more precise statement) [28]. It is known that such domains also have good Lipschitz graph approximations, and thus, their boundaries are closely related to uniformly rectifiable sets of dimension \((n-1)\) with small constant. In fact, when \(\Omega \) is a domain satisfying some underlying topological assumptions, we shall use our results to give an alternative characterization of \(\Omega \) being a chord-arc domain with small constant using the Carleson measure estimate (1.1) on \(\partial \Omega \) (see Theorem 1.15).
Before rigorously stating the main result, we remark that the relationship between some of the defining characteristics of chord-arc domains with small constant (such as Reifenberg flatness, oscillation of the unit normal, and Lipschitz graph approximations) has been studied and exists in the literature in varying contexts (in the co-dimension one case for chord-arc surfaces and chord-arc domains in [20, 29, 38], and in any co-dimension for smooth embedded hypersurfaces [5], for example). Still in our main result for uniformly rectifiable sets \(E \subset {\mathbb {R}}^n\) of dimension d and small constant \(\delta >0\), we provide proofs that hold for general Ahlfors regular sets of any co-dimension, and we do not impose any topological assumptions on the set \({\mathbb {R}}^n \setminus E\) apriori. In any case, the characterization in terms of the small constant Carleson measure estimate (1.1) is new in any dimension and co-dimension. In addition, our techniques provide a systematic way to obtain small-constant Carleson measure estimates such as (1.1) for coefficients besides the Tolsa \(\alpha \) numbers for small-constant uniformly rectifiable sets, which we hope to prove useful for small-constant PDE results in the future. Let us now provide enough background to state the main result, Theorem 1.9.
1.1 Main Result and Outline of the Paper
In this paper, we always denote the ambient space by \({\mathbb {R}}^n\), for \(n \in {\mathbb {N}}\), and \(d \in {\mathbb {N}}\) will always be so that \(0< d < n\). We reserve the notation A(n, d) to denote the collection of all d-planes \(P \subset {\mathbb {R}}^n\), and G(n, d) for the Grassmannian of d-dimensional subspaces of \({\mathbb {R}}^n\). Also, we denote by \({\mathcal {H}}^d\) the d-dimensional Hausdorff measure on \({\mathbb {R}}^n\), normalized for notational convenience so that if \(P \in A(n,d)\), \(x \in P\), and \(r >0\), then \({\mathcal {H}}^d(B(x,r) \cap P) = r^d\). Lastly, whenever P is a plane, we denote by \(\pi _P: {\mathbb {R}}^n \rightarrow P\) the orthogonal projection onto the plane P. Let us begin by introducing several related notions of d-dimensional sets in \({\mathbb {R}}^n\) and their geometric regularity that are needed to state our main result.
Definition 1.1
A Borel measure \(\mu \) on \({\mathbb {R}}^n\) is said to be d-Ahlfors regular with constant \(C_\mu >0\) provided that for each \(x \in \mathrm {spt \, }\mu \) and each \(r >0\), one has
If \(E \subset {\mathbb {R}}^n\) is closed, we say that E is d-Ahlfors regular with constant \(C_E >0\) if \({\mathcal {H}}^d|_E\) is d-Ahlfors regular with constant \(C_E >0\). Finally, if only the upper (lower) bound holds as above, then we say \(\mu \) is upper (lower) d-Ahlfors regular with constant \(C_\mu \).
Remark 1.2
The choice to normalize \({\mathcal {H}}^d\) as above, and the role of the constant \(C_\mu \) in Definition 1.1 is important, since we shall often want to measure how close a d-Ahlfors regular measure \(\mu \) is to d-dimensional surface measure on \(\mathrm {spt \, }\mu \). In particular, we shall often use the phrase “d-Ahlfors regular with small constant” when the constant \(C_\mu > 1\) is very close to 1, even though the phrase is misleading.
Next we introduce Jones’ \(\beta \) numbers (see [11, 26]) and Tolsa’s \(\alpha \) numbers (see [40]), which have been studied extensively in relation to rectifiable and uniformly rectifiable measures on \({\mathbb {R}}^n\) and singular integral operators. We also introduce the notion of Reifenberg flat sets, which were introduced by Reifenberg in his solution of the Plateu problem [37].
Definition 1.3
If E is a d-Ahlfors regular set, then define for \(x \in {\mathbb {R}}^n\) and \(r >0\),
Definition 1.4
For \(\Omega \subset {\mathbb {R}}^n\) open, denote by \(\Lambda (\Omega )\) the space of 1-Lipschitz functions \(f: {\mathbb {R}}^n \rightarrow {\mathbb {R}}\) that are compactly supported in \(\Omega \). If \(\mu \) and \(\nu \) are measures on \({\mathbb {R}}^n\), then we define the localized Wasserstein distance between \(\mu \) and \(\nu \) in \(B(x,r) \subset {\mathbb {R}}^n\) by
Definition 1.5
Denote by \(\textrm{Flat}(n,d)\) the set of measures of the form \(c {\mathcal {H}}^d|_P\) where \(c > 0\) and \(P \in A(n,d)\). If \(\mu \) is a d-Ahlfors regular measure, then define for \(x \in {\mathbb {R}}^n\) and \(r >0\),
In our notation \(\alpha _{\mu }\), we omit the dependence on the dimension d of the measure \(\mu \), since it shall be clear from context.
Definition 1.6
We define the normalized local Hausdorff distance for closed sets \(E, F \subset {\mathbb {R}}^n\) that meet \(\overline{B(x,r)}\) by
With this distance, we define the bilateral beta (infinity) numbers by
where the infimum is taken over all d-planes \(P \in A(n,d)\) that meet \(\overline{B(x,r)}\). Moreover, we say that a closed set \(E \subset {\mathbb {R}}^n\) is \(\delta \)-Reifenberg flat if \(b \beta _{\infty , E}(x,r) \le \delta \) for every \(x \in E\) and \(r >0\). We warn the reader that this definition of \(\delta \)-Reifenberg flatness is different than that in [28].
Finally, we come to the notion of small-constant uniformly rectifiable sets.
Definition 1.7
A closed set \(E \subset {\mathbb {R}}^n\) is \(\delta \)-uniformly rectifiable of dimension d (\(\delta \)-UR for short) if \(0< \delta < 1/10\) and the following holds:
Again we usually omit the dimension d since it will be clear from context.
Remark 1.8
In the definition of \(\delta \)-UR, we impose that \(\delta < 1/10\). This is because if \(\delta \) were allowed to be large, the definition would be satisfied for any d-Ahlfors regular set E, whereas we want the \(\delta \)-UR condition to be some small-constant quantification uniform rectifiability. In particular, since \(\delta < 1/10\), it is straight forward to verify that \(\delta \)-UR sets are d-Ahlfors regular with constant close to 1 (see Lemma 3.2). Moreover, they satisfy the “big pieces of Lipschitz graphs condition” and so \(\delta \)-UR sets are d-uniformly rectifiable as in the sense of David and Semmes [10] with bounded constant (see Definition 4.1). From the previous discussion, it follows that \(\delta \)-UR sets are d-rectifiable, so they have approximate tangent planes for \({\mathcal {H}}^d\)-almost all \(x \in E\) (see Theorem 5.1), which we denote by \(T(x) \in G(n,d)\).
Notice also that the \(\delta \)-UR condition is strictly stronger than the “big pieces of Lipschitz images of subsets of \({\mathbb {R}}^d\)” condition mentioned in (1.2) with small constant \(M_2\). Indeed, if \(E = V_1 \cup V_2\) where \(V_1\) and \(V_2\) are distinct d-planes in \({\mathbb {R}}^n\), then one can check that E is d-Ahlfors regular and satisfies (1.2) with \(M_2 = 0\) but is not \(\delta \)-UR of dimension d for \(\delta \) small.
In the language of the above, our main result is that a set \(E \subset {\mathbb {R}}^n\) is \(\delta \)-UR of dimension d if and only if one of various other quantities is sufficiently small (with quantitative control). We refer the reader to Definition 2.1 for the precise definition of a \(\delta \)-Corona decomposition, which is somewhat cumbersome to place here without first discussing the Christ-David dyadic lattice in Sect. 2.1.
Theorem 1.9
Fix \(n, d \in {\mathbb {N}}\) with \(0< d <n\) and \(C_E >0\). Then there are constants \(\delta _0 >0\) and \(\theta _0 \in (0,1)\) depending only on n, d, and \(C_E >0\), so that the following holds. Whenever \( 0< \delta < \delta _0\), \(E \subset {\mathbb {R}}^n\) is d-Ahlfors regular with constant \(C_E\), and one of the following conditions holds
-
(A)
E is \(\delta \)-uniformly rectifiable,
-
(B)
E admits \(\delta \)-Corona decompositions,
-
(C)
E is upper d-Ahlfors regular with constant \((1+\delta )\), and for any Borel g satisfying \((1 + \delta )^{-1} \le g \le (1 + \delta )\), if \(d\mu (x) = g(x) d{\mathcal {H}}^d|_E(x)\), then for all \(x \in E\) and \(r >0\),
$$\begin{aligned} \mu (B(x,r))^{-1}\int _{B(x,r)} \int _0^r \alpha _\mu (y,t)^2 \; \dfrac{d\mu (y)dt}{t}\le \delta , \end{aligned}$$ -
(D)
E is upper d-Ahlfors regular with constant \((1+\delta )\), and for all \(x \in E\) and \(r >0\), \(b\beta _{1, E}(x,r) \le \delta \),
-
(E)
E is upper d-Ahlfors regular with constant \((1+\delta )\) and \(\delta \)-Reifenberg flat,
-
(F)
E is d-rectifiable, lower d-Ahlfors regular with constant \((1+\delta )\), and for every \(x \in E\) and \(r >0\), there is a \(V \in G(n,d)\) so that
then all of the others also hold with constant \(\delta ^{\theta _0}\) in place of \(\delta \).
Remark 1.10
(Sharpness of the Ahlfors regularity assumption) Let us discuss the sharpness of the small-constant Ahlfors regularity assumptions appearing in the conditions (A)–(F) in Theorem 1.9. We reminder the reader that in the statement of Theorem 1.9 and the discussion that follows below, our sets \(E \subset {\mathbb {R}}^n\) are always assumed to be d-Ahlfors regular with (large) constant \(C_E> 1\).
First, in the places they appear in (D), (E), and (F), they are necessary. We shall see shortly that (D) and (E) are easily seen to be equivalent. In (E), the upper Ahlfors regularity assumption can be seen to be necessary by example of a very flat snowflake, as in [13]. The key point is that there are \(\delta \)-Reifenberg flat snowflakes for arbitrarily small \(\delta \) that have infinite \({\mathcal {H}}^d\) measure. Finite truncations of such constructions yield very flat d-Ahlfors regular sets E with large constant \(C_E \gg 1\), but for which small-constant Ahlfors regularity fails. By Lemma 3.2, such sets are not \(\delta ^{\theta _0}\)-UR. In (F), one can see the lower d-Ahlfors regularity assumption is necessary by taking \(E = V^+\) for some half d-plane \(V^+\). Again, such an E is d-Ahlfors regular with large constant and satisfies the other condition in (F) trivially with \(\delta =0\), but is not \(\delta ^\theta \)-UR.
This brings us to (C) which is more delicate. If one instead considers the measure \(d\mu (x) = g(x) d{\mathcal {H}}^d|_E(x)\) where \(1/2\le g \le 2\), g attains the values 1/2 and 2 somewhere, yet \(\left\Vert g \right\Vert _{{{\,\textrm{BMO}\,}}} = \delta \), then in fact, our arguments will show that still the Carleson condition
holds whenever E is \(\delta \)-UR (see the proofs of Lemmas 4.4 and 4.5). On the other hand, \(\mu \) is not d-Ahlfors regular with small-constant, and thus, a small-constant Carleson condition on the coefficients \(\alpha _\mu \) alone cannot imply small-constant Ahlfors regularity of the measure \(\mu \). This is not to say that the implication cannot hold for the measure \({\mathcal {H}}^d|_E\), and indeed, there is a subtle but important difference between \(\mu \) and \({\mathcal {H}}^d|_E\) in the \(\alpha \) coefficients. At this stage, we do not know whether the small-constant d-Ahlfors regularity assumption in (C) is necessary.
We prove Theorem 1.9 one step at a time, proving (in alphabetical order) each of the conditions (A)–(F) with constant \(\delta \) implies the subsequent condition with constant \(C_0 \delta ^{\theta _0}\), where \(C_0, \theta _0 > 0\) depend only on n, d, and \(C_E\). Instead of repeating this phrase over and over, we shall instead write “(A) gives (B)”, when really we mean that (A) implies (B) with constant \(C_0 \delta ^{\theta _0}\) in place of \(\delta \). By taking \(\delta _0\) and \(\theta _0\) even smaller, this is enough to prove the Theorem. We do not explicitly compute \(\theta _0\) in the proof of each implication, except for where there is a clear optimal power; instead, we care only that each condition is quantitatively controlled by the previous one.
The bulk of our work (and our main contribution) is in showing (A) gives (B), and (B) gives (C), which are done in Sects. 3 and 4, respectively. Here we should emphasize as stated previously that for (large-constant) Ahlfors regular, uniformly rectifiable measures \(\mu \), one has the large-constant Carleson measure estimate
(see [40, Theorem 1.2]). However, it takes delicate analysis to show that this quantity is small for \(\delta \)-UR sets (and in fact, necessitates the appropriate notion of a “small-constant”-Corona decomposition, which we introduce here).
That (C) gives (D) is immediate once one recalls the fact that for Ahlfors regular sets E, the Carleson measure estimate in (C) in fact implies that \(\alpha _\mu (x,r)^2 \le C \delta \), and that the \(\alpha _\mu \) dominate the \(b\beta _{1, E}\) [40, Lemma 3.2]. Similarly that (D) gives (E) is a straight-forward estimate that uses the Lipschitz nature of the distance function and d-Ahlfors regularity of E to show \(b\beta _{\infty ,E}(x,r) \le C b\beta _{1,E}(x,r)^{1/(d+1)}\). As such we omit the proofs. We prove that (E) gives (F) in Sect. 5 from an argument that estimates the portion of E whose tangent planes make a large angle with a good approximation to E in a ball B(x, r). This argument is different than the proof using the Gauss-Green Theorem by Kenig and Toro in co-dimension 1 (see Theorem 2.1 in [27] and also the proof following (2.18) in [7]), and in particular also works in any co-dimension. Finally, the proof of (F) gives (A) exists in several forms in the literature. When \(d =n-1\) and E is a smooth enough hypersurface, the argument is due to Semmes [38, Proposition 5.1] (and the resulting approximating Lipschitz graphs are referred to as Semmes decompositions) and later used in [27]. It is also proved under different topological assumptions of a domain \(\Omega \) in [20, Theorem 4.16], where the hypothesis on the quantity \(\left|\pi _{V^\perp }(y-x) \right|/r\) is removed, and proved by other means. When \(d < n -1\), this implication is essentially proved in [5, Lemma 3.2] again when \(E \subset {\mathbb {R}}^n\) is a \(C^1\) manifold, but for the sake of completeness, we outline the proof of Blatt in Sect. 6 to make clear the fact that in our setting (and with the Ahlfors regularity assumptions), the argument does not require E to be a \(C^1\) manifold.
1.2 An Application to Chord-Arc Domains
Let us end the introduction with a discussion relating \(\delta \)-UR sets of dimension \((n-1)\) in \({\mathbb {R}}^n\), and \(\delta \)-chord-arc domains (as defined in [28]), as promised earlier. All of the arguments involved in the proof of Theorem 1.9 are local, and thus, there are corresponding local and “vanishing” results that follow from these arguments, though they are slightly technical to write down. In fact, these local results, which we leave to Sect. 7, are in more direct analogy to the so-called \(\delta \)-chord-arc domains introduced by Kenig in Toro in [27] and [28]. Let us define these rigorously now.
Definition 1.11
A domain \(\Omega \subset {\mathbb {R}}^n\) is said to satisfy the separation property if for each \(K \subset {\mathbb {R}}^n\) compact, there is an \(R_K >0\) so that for each \(x \in \partial \Omega \cap K\) and each \(r \in (0, R_K)\), there is a choice of \(V \in A(n,n-1)\) and choice of normal vector \(\textbf{n}_V\) to V so that \(x \in V\), and
If \(\Omega \) is unbounded, we assume also that \(\partial \Omega \) divides \({\mathbb {R}}^n\) into two distinct, nonempty connected components.
Definition 1.12
Let \(\delta \in (0, \delta _n)\) for some small dimensional constant \(\delta _n >0\). A domain \(\Omega \subset {\mathbb {R}}^n\) is said to be a \(\delta \)-Reifenberg flat domain if for each \(K \subset {\mathbb {R}}^n\) compact, there is an \(R_K > 0\) so that for each \(x \in \partial \Omega \cap K\) and each \(r \in (0, R_K)\), \(b\beta _{\infty , \partial \Omega }(x,r) \le \delta \). If \(\Omega \) is unbounded, we assume also that
Definition 1.13
Let \(\delta \in (0,\delta _n)\). A set of locally finite perimeter \(\Omega \subset {\mathbb {R}}^n\) is called a \(\delta \)-chord-arc domain if \(\Omega \) is a \(\delta \)-Reifenberg flat domain satisfying the separation property, \(\partial \Omega \) is \((n-1)\)-Ahlfors regular, and in addition the following holds. For each \(K \subset {\mathbb {R}}^n\) compact, there is an \(R_K >0\) so that for each \(x \in \partial \Omega \cap K\),
Here \(\textbf{n}(y)\) is the unit outer normal to \(\partial \Omega \), , and
In the terminology, we have introduced thus far, there is no immediate containment between \(\delta \)-UR sets of dimension \((n-1)\) and boundaries of \(\delta \)-chord-arc domains. This is because chord-arc domains satisfy topological separation conditions and are sets of locally finite perimeter, and because \(\delta \)-UR sets satisfy global flatness conditions, while \(\delta \)-chord-arc domains satisfy local ones. However, these differences are minor, and the two notions are very closely related. In particular, equation (2.18) in [7] says that for \(\delta \)-chord-arc domains, one has \(\left|\langle \textbf{n}_{x,r}, y-x \rangle \right| \le C \delta ^{1/2} r\) for \(y \in B(x,r)\) whenever \(\left\Vert \textbf{n} \right\Vert _* (B(x,r)) \le \delta \). This implies that the second condition in (F) holds locally for \(\delta \)-chord-arc domains. In addition, one can prove local lower \((n-1)\)-Ahlfors regularity of \(\partial \Omega \) (with small constant) from the local Reifenberg flatness condition (see the proof of Theorem 5.2). Combining these with the fact that the proof of Theorem 1.9 is local, we see that when \(\Omega \) is a \(\delta \)-chord-arc domain, then on compact sets for small enough scales, \(\partial \Omega \) satisfies the \(\delta ^{\theta _0}\)-UR conditions. This is made precise by the following Theorem, and in fact, as long as we assume some underlying conditions on a domain \(\Omega \), we obtain a new characterization of \(\delta \)-chord-arc domains. For simplicity, we choose just one such condition coming from (A)-(F) to give the characterization, which we make as the following local definition.
Definition 1.14
Let \(\mu \) be d-Ahlfors regular. We say that \(\mu \) satisfies the local \(\delta \)-UR condition of dimension d if for each \(K \subset {\mathbb {R}}^n\) compact, there is an \(R_K >0\) so that for each \(x \in \mathrm {spt \, }\mu \, \cap K\) and \(r \in (0,R_K)\) one has \(\mu (B(x,r)) \le (1 + \delta )r^d\) and
Theorem 1.15
Fix \(n \in {\mathbb {N}}\) and \(C_E > 0\). Then there are constants \(\delta _0, \theta _0 \in (0,1)\) depending only on n and \(C_E\) so that the following holds.
Let \(\Omega \subset {\mathbb {R}}^n\) be a set of locally finite perimeter such that \(\Omega \) satisfies the separation property and \(\partial \Omega \) is \((n-1)\)-Ahlfors regular with constant \(C_E\). If \(\Omega \) is unbounded, assume in addition that \(\sup _{x \in \partial \Omega , \; r > 0 } b\beta _{\infty , \partial \Omega }(x,r) \le \delta _0\). Then for any \(\delta \in (0, \delta _0)\) each of the conditions
-
(I)
\(\Omega \) is a \(\delta \)-chord-arc domain,
-
(II)
For any measure \(d\mu (x) = g(x) {\mathcal {H}}^{n-1}|_{\partial \Omega }(x)\) with \((1 +\delta )^{-1} \le g \le 1 + \delta \), \(\mu \) satisfies the local \(\delta \)-UR condition of dimension \((n-1)\),
implies the other with constant \(\delta ^{\theta _0}\) in place of \(\delta \).
2 Preliminary Definitions
We introduce the system of “dyadic cubes” for Ahlfors regular sets, which is an integral part of the definition of a \(\delta \)-Corona decomposition. They also play an important role in the square function estimates we prove on the Tolsa \(\alpha \) coefficients in Theorem 4.7, since we opt to prove a dyadic version instead of the continuous one.
2.1 The Christ-David Dyadic Lattice
Recall that as in [12], if E is a d-Ahlfors regular set in \({\mathbb {R}}^n\) with constant \(C_E\), then one can construct a family of subsets of E that plays an analogous role to the family of dyadic cubes in \({\mathbb {R}}^n\). In particular, for each \(j \in {\mathbb {Z}}\), there is a partition \(\Delta _j\) of E into “dyadic cubes" of E that satisfy the following:
Remark that in (2.1)–(2.3) above, the constant \(C_D\) only depends on the dimensions n, d, and \(C_E\). Also, condition (2.3) for \(\tau \) sufficiently small furnishes the existence of a “center” of each cube \(c_Q \in Q\), which satisfies
so that
By convention, we define for \(\lambda >1\),
In a similar manner, for any Q, we define \(B_Q = B(c_Q, \mathrm {diam \, }Q)\) so that \(B_Q\) is a ball centered on E satisfying
If \(Q \subset Q'\), and \(Q \in \Delta _j, Q' \in \Delta _{j+1}\), then Q is said to be a child of \(Q'\), and \(Q'\) is said to be the parent of Q. Similarly, if R and \(R'\) share a parent, then they are said to be siblings. The set of all dyadic cubes of E is \(\Delta = \cup _j \Delta _j\), and for \(R \in \Delta \), we denote all dyadic cubes contained in R by \(\Delta (R)\). Finally, if \(Q \in \Delta \) belongs to \(\Delta _j\), we write \({{\,\textrm{gen }\,}}Q = j\).
2.2 Small-Constant Corona Decompositions
Let us define precisely \(\delta \)-Corona decompositions for d-Ahlfors regular sets. We opt to make the definition as strong as possible, since we anticipate this will be the most useful property of small-constant UR sets from which one can obtain precise, quantitative, small-constant square function estimates. Fix a constant \(C_{n,d} > 1\) large, and to be determined below in the discussion of Remark 2.2.
Definition 2.1
Suppose that \(E \subset {\mathbb {R}}^n\) is d-Ahlfors regular, and E has a system of dyadic cubes \(\Delta \) with constant \(C_D\le C_{n,d}\). Then we say that E admits a \(\delta \)-Corona decomposition in \(R_0 \in \Delta \) if for each \(R \in \Delta \) such that \({{\,\textrm{gen }\,}}R = {{\,\textrm{gen }\,}}R_0\) and \(R \subset \delta ^{-1} B_{R_0}\), there is a partition \({\mathcal {F}}(R)\) of \(\Delta (R)\) which satisfies the following:
Moreover, we have the following condition on the “top” Lipschitz graphs of the Corona decomposition:
Finally we say that E admits \(\delta \)-Corona decompositions if it admits a \(\delta \)-Corona decomposition in each \(R_0 \in \Delta \).
Remark 2.2
Some remarks about this definition (and how it is different from the usual Corona decomposition as in [11]) are in order. In general, a Corona decomposition for a uniformly rectifiable set E includes a partition of dyadic cubes into “good cubes" and “bad cubes," where the bad cubes do not have a good approximating Lipschitz graph as in (2.6). In the small-constant setting, it turns out that all cubes are “good," and thus the main condition satisfied is that there are not too many families \(S \in {\mathcal {F}}(R)\) as quantified by (2.7). Also, since we are interested in bi-lateral approximations of Ahlfors regular sets by planes, we include in (2.6) that the approximating graph \(\Gamma \) be sufficiently close to E as well. The facts that there are measure estimates on \(E \Delta \Gamma \) inside \(\delta ^{-1} B(Q(S))\) and that (2.8) holds are perks we obtain for free when showing (A) gives (B), which shall be useful to us in estimating the Tolsa \(\alpha \) coefficients for \(\delta \)-UR sets. However, it should be noted that these measure estimates in condition (2.6) are the strongest; for \(\delta \) sufficiently small, the condition (2.6) implies that E is \(C\delta \)-UR (recall Definition 1.7). Since we shall use this fact later, we provide a quick proof in Lemma 2.3 below.
One other main difference is that in a \(\delta \)-Corona decomposition, as opposed to a general one, we require that the Carleson packing constant appearing in (2.7) be controlled as \(\delta \downarrow 0\). This plays a crucial role in the arguments that follow, since this implies that if \(R' \in \Delta (R)\) is a maximal cube in some family, \(R' = Q(S)\) for some \(S \in {\mathcal {F}}(R)\), then necessarily one has
Also it is important to remark that the so-called “coherent” condition on the families \({\mathcal {F}}(R)\) from (2.5) includes two pieces. The second part, which asserts that if \(Q \in S\) then either all of its children are or none of its children are, has as an important consequence that
Finally this brings us to the appearance (and definition) of the constant \(C_{n,d}\). Notice that by definition, a \(\delta \)-Corona decomposition of E is assumed to hold over a dyadic system \(\Delta \) with bounded constant \(C_D\le C_{n,d}\) where \(C_{n,d}\) is chosen as follows. We shall soon see (Lemma 3.2) that \(\delta \)-UR sets of dimension d in \({\mathbb {R}}^n\) are d-Ahlfors regular with uniformly bounded constant. In particular, they admit a system of dyadic cubes \(\Delta \) as in Sect. 2.1 with constant \(C_D\) depending only n, d, which we define to be \(C_{n,d}\). Forcing this condition on the system \(\Delta \) is rather minor, but it allows us to rule out pathological examples of \(\delta \)-Corona decompositions for \(\delta \)-UR sets associated to a system of dyadic cubes with very large constant.
Lemma 2.3
Suppose that E is d-Ahlfors regular and admits a system of dyadic cubes with constant \(C_D >1\). Then if E admits \(\delta \)-Corona decompositions for \(0< \delta < (2 C_D +1)^{-1}\) and \(\delta \) sufficiently small, then E is \((C_D \delta )\)-UR.
Proof
Fix \(x \in E\) and \(r >0\). Choose some integer \(j \in {\mathbb {Z}}\) so that \(2^j \le r \le 2^{j+1}\). Since \(\Delta _j\) is a partition of E, we may choose a dyadic cube \(R_0 \in \Delta _j\) so that \(x \in R_0\).
Now since E admits \(\delta \)-Corona decompositions, then it admits a \(\delta \)-Corona decomposition in \(R_0\), and thus there is a partition of \(\Delta (R_0)\) into coherent subfamilies \(S \in {\mathcal {F}}(R_0)\), \(S \subset \Delta (R_0)\) satisfying conditions (2.5)–(2.8). Since the subfamilies \(S \in {\mathcal {F}}(R_0)\) partition \(\Delta (R_0)\) and \(R_0 \in \Delta (R_0)\), there is some \(S \in {\mathcal {F}}(R_0)\) so that \(R_0 \in S\). Notice that the maximal cube Q(S) of S is a subset of \(R_0\), but since \(R_0 \in S\) then \(R_0 \equiv Q(S)\).
Applying condition (2.6) to \(R_0 \equiv Q(S)\), we see that there is Lipschitz graph \(\Gamma \) with Lipschitz constant \(\le \delta \) so that
By (2.11), the proof will be finished as long as we show that \(\delta ^{-1}B_{R_0} \supset B_r(x)\). However, if \(\left|y-x \right| < r\), then
where \(c_{R_0}\) is the center of \(R_0\). This proves the inclusion, since \(B_{R_0} {:}{=}B_{\textrm{diam}(R_0)}(c_{R_0})\). \(\square \)
2.3 Conventions for Constants
In general, we denote by C a constant which is allowed to change line per line, depending on the parameters explicitly stated in the statement of a Lemma, Theorem, or Corollary. We avoid using the symbols \(\lesssim , \gtrsim \) but very infrequently will use the notation \(A \simeq _D B\) to mean that there is some constant \(C >0\) depending only on D so that \(C^{-1}A \le B \le C A\).
3 \(\delta \)-UR Measures Admit \(\delta ^{\theta _0}\)-Corona Decompositions
In this section, we show that (A) gives (B), i.e., we prove Theorem 3.3. Let us begin within two useful lemmas. The first shall be used repeatedly in future Sections.
To motivate the first result, remark that if \(\mu \) is d-Ahlfors regular with constant \(C_\mu > 0\) and support E, then in general we may only conclude that \(\mu \) and \({\mathcal {H}}^d|_E\) are mutually absolutely continuous with density \(g = d \mu /d{\mathcal {H}}^d|_E\) satisfying \(C_\mu ^{-1} \le g \le 2^d C_\mu \), and moreover, E is d-Ahlfors regular with constant \(2^d C_\mu ^2\) (see for example, [32, Theorem 6.9]). This crude estimate is problematic if we want precise control of the Ahlfors regularity constant of \({\mathcal {H}}^d|_E\) when \(\mu \) is d-Ahlfors regular with constant \(C_\mu \) that is close to 1. When more geometric regularity is assumed, though, this can be strengthened as in the following.
Lemma 3.1
Suppose that \(\mu \) is a d-Ahlfors regular measure in \({\mathbb {R}}^n\) with constant \(C_\mu >0\), and that \(E = \mathrm {spt \, }\mu \) is d-rectifiable. Then the density \(d{\mathcal {H}}^d|_E/d\mu \) exists and satisfies
\(\mu \)-almost everywhere. In particular, for any subset \(A \subset {\mathbb {R}}^n\) Borel, we have
and \({\mathcal {H}}^d|_E\) is d-Ahlfors regular with constant \(C_\mu ^2 >0\).
Proof
It is straight-forward to see from the Ahlfors regularity of \(\mu \) that E is also d-Ahlfors regular, and \({\mathcal {H}}^d|_E\) and \(\mu \) are mutually absolutely continuous with density \(d{\mathcal {H}}^d|_E/d\mu \) bounded above and below. Since E is rectifiable, we know that the density
exists and equals 1 for \({\mathcal {H}}^d\) almost all \(x \in E\) (see, for example, Theorem 16.2 in [32]). It follows then that for \({\mathcal {H}}^d|_E\) (and thus \(\mu \)) almost all x,
by Ahlfors regularity of \(\mu \). A similar computation shows \(d{\mathcal {H}}^d|_E/d\mu (x) \ge C_\mu ^{-1}\) for \(\mu \) almost all x, and thus whenever \(A \subset {\mathbb {R}}^n\) is Borel,
Since \({\mathcal {H}}^d|_E(A) = \int _A (d {\mathcal {H}}^d|_E /d \mu ) \; d\mu \) (see for example, Theorem 2.12 in [32]), this shows (3.1). The last claim of the Lemma follows by taking \(A = B(x,r)\) for \(x \in E\) in (3.1) and using Ahlfors regularity of \(\mu \). \(\square \)
The proof of the following lemmas are omitted, since they are proved (when \(d = n-1\)) in [16, Lemma 5.4]. The arguments in higher codimension are the same.
Lemma 3.2
(see Lemma 5.4, [16]) There is a constant \(C_0 \ge 1\) depending only on n and d such that if \(E \subset {\mathbb {R}}^n\) is \(\delta \)-UR of dimension d, then E is d-Ahlfors regular with constant at most \(1 + C_0 \delta ^{1/d}\) and \(C_0 \delta ^{1/d}\)-Reifenberg flat.
We may now state the main Theorem of this section, which is that (A) gives (B). Of course, in our setting of \(\delta \)-UR sets, life becomes easier in that we need not go through the effort of constructing the Lipschitz graphs by hand in a small-constant Corona decomposition, as the authors do in [11]. Instead, the following result simply says that with our approximating Lipschitz graphs coming from the definition of a \(\delta \)-UR set, we obtain a Corona decomposition with a loss in a constant, and an exponent in \(\delta \).
Theorem 3.3
There are \(C_0 \ge 1\), \(\delta _0 >0\) and \(\theta _0 \in (0,1)\) depending only on the underlying dimensions n and d so that if \(E \subset {\mathbb {R}}^n\) is \(\delta \)-UR of dimension d in \({\mathbb {R}}^n\) with \(\delta \in (0,\delta _0)\), then E admits \(C_0 \delta ^{\theta _0}\)-Corona decompositions.
Proof
As mentioned at the end of Remark 2.2, since E is \(\delta \)-UR of dimension d, we may fix once and for all a system of dyadic cubes \(\Delta \) for E with constant \(C_D\le C_{n,d}\).
Now begin with some dyadic cube \(R_0 \in \Delta \) for E. Denote by \(C_E\) the Ahlfors regularity constant of \({\mathcal {H}}^d|_E\), which by Lemma 3.2, is bounded. Fix \(\theta , \theta ' \in (0,1)\) to be determined, and set \(\eta {:}{=}\delta ^\theta , M {:}{=}\delta ^{-\theta '}\). For definiteness, we state now that \(\theta = 1/2\) and \(\theta ' < \theta /(2d)\) shall suffice here, but these parameters are different than the \(\theta _0\) in the conclusion of the Theorem. We construct our partition \({\mathcal {F}}\equiv {\mathcal {F}}(R_0)\) by sequential coherent generations. That is, we will construct \({\mathcal {F}}\) as a disjoint union \({\mathcal {F}}= {\mathcal {F}}_0 \cup {\mathcal {F}}_1 \cup {\mathcal {F}}_2 \cup \dotsc \) where each \({\mathcal {F}}_i\) consists of coherent collections \(S \subset \Delta (R_0)\), and \({\mathcal {F}}_0\) contains a single collection \(S_0\) with top cube \(Q(S_0) = R_0\). Moreover, each \({\mathcal {F}}_i\) for \(i \in {\mathbb {N}}\) will satisfy the following: for each \(S \in {\mathcal {F}}_i\), there is a unique \(S' \in {\mathcal {F}}_{i-1}\) so that \(Q(S) \subset Q(S')\), and all cubes \(Q \in \Delta (R_0)\) with \(Q(S) \subsetneq Q \subset Q(S')\) are such that \(Q \in S'\). Also, we shall deal only with the partition \({\mathcal {F}}= {\mathcal {F}}(R_0)\) of \(\Delta (R_0)\) for now, and leave to the very end of the proof how to ensure that (2.8) holds for the other \(R \in \Delta \) that are nearby \(B_{R_0}\).
As mentioned, we shall take \(R_0\) to be the top cube of the only collection \(S_0\) in the zeroth generation family, \({\mathcal {F}}_0\). Since E is \(\delta \)-UR, we choose a \(\delta \)-Lipschitz graph \(\Gamma \equiv \Gamma (S_0)\) so that
In what follows, estimate (3.2) (and the fact that \(\Gamma , E\) are sufficiently flat) shall be the only fact we use about \(\Gamma \) to ensure that this particular \(\Gamma \) shall suffice in the construction of \(S_0\).
Now we continue adding children of \(R_0\) to the collection \(S_0\) until we reach a cube Q that has a sibling \(Q'\) (possibly \(Q' = Q\)) which is mediocre for \(S_0\), meaning that
At this stage, Q, and all of its siblings become minimal cubes of the collection \(S_0\), and all of their children become top cubes for the new collections \(S \in {\mathcal {F}}_1\). Notice that for such Q, if \({\tilde{Q}}\) is the parent of Q, then \({\tilde{Q}}\) is not mediocre for \(S_0\), and thus,
with constant C depending only on \(C_D\) and the underlying dimensions.
Let us make some observations about the family \(S_0\) constructed. First of all, \(S_0\) is coherent (i.e., satisfies condition (2.5)) by construction. Moreover, from (3.4) we see that all \(Q \in S_0\) satisfy
since those \(Q \in S_0\) that are not minimal satisfy the above inequality with \(C = 1\). Let us show now that this measure estimate implies that for the cubes in \(S_0\), \(\Gamma \) and E are very near each other in that for any \(Q \in S_0\), we have
for some constant C depending only on the dimensions and \(C_D\).
First, suppose that \(Q \in S_0\), and \(x \in B(c_Q, C_D^{-1} \mathrm {diam \, }Q/2) \cap Q {\setminus } \Gamma \) (recall that \(c_Q\) is the center of Q, for which (2.4) holds). Denoting \(r = \mathrm {dist \, }(x, \Gamma )\), then as long as \(\delta _0\) is sufficiently small, we must have \(r \le C_D^{-1} \mathrm {diam \, }Q/2\). This is because otherwise we have \(Q \setminus \Gamma \supset Q \cap B(x, C_D^{-1} \mathrm {diam \, }Q /2)\), and thus \({\mathcal {H}}^d(Q {\setminus } \Gamma ) \ge {\mathcal {H}}^d(Q \cap B(x, C_D^{-1} \mathrm {diam \, }Q /2)) \ge c {\mathcal {H}}^d(Q)\) for some constant \(0< c < 1\) depending only on \(C_D\) and \(C_E\). When \(\delta _0\) (and thus \(\eta \)) is sufficiently small, this contradicts (3.5) and whence the fact that \(Q \in S_0\). Hence, we may assume that \(r \le C_D^{-1} \mathrm {diam \, }Q/2\), so \(B(x,r) \subset B(c_Q, C_D^{-1} \mathrm {diam \, }Q)\), and thus
Since \(Q \in S_0\), we have that (3.5) gives \(r \le C \eta ^{1/d} \mathrm {diam \, }Q\), i.e.,
Next, recall from Lemma 3.2 that E is \(C \delta ^{1/d}\) Reifenberg flat, and similarly, so is \(\Gamma \). We claim that for \(\delta _0\) sufficiently small, this implies
Assume (3.8) for the time being. Along with (3.7), the existence of such a point shows that
Appealing again to the fact that E and \(\Gamma \) are \(C \delta ^{1/d}\) Reifenberg flat, one deduces (3.6) from (3.9) with a possibly larger C. The proof is slightly technical, but it merely requires choosing good approximating planes for E and \(\Gamma \) at different scales. For the sake of completeness, let us sketch a few details.
Recall here that we use the notation \(d_{x,r}\) for the normalized local Hausdorff distance as in Definition 1.6. In addition, \(\theta , \theta '\) are such that \(\theta ' < \theta /(2d)\), and thus we have that \(M^2 \eta ^{1/d}\) can be made arbitrarily small if \(\delta _0\) is chosen small enough. Since \(\Gamma \) is a \(\delta \)-Lipschitz graph, we know that there is some plane d-plane \(P_\Gamma \) so that
as long as \(\delta _0\) is sufficiently small, and as long as \(r \ge C_D^{-1} \mathrm {diam \, }Q/8\). Since E is \(C \delta ^{1/d}\)-Reifenberg flat, we may choose d-planes \(P_E\) and \(P_E'\) so that
The fact that \(P_E\) and \(P_E'\) are very good approximations to E inside \(2 B_Q\), and run very near the center of \(B_Q\), imply that \(d_{c_Q, 2 \mathrm {diam \, }Q}(P_E, P_E') \le C M \delta ^{1/d}\), and thus
Finally, recalling estimate (3.9), we see that \(d_{c_Q, \mathrm {diam \, }Q}(P_\Gamma , P_E) \le C \eta ^{1/d}\), which implies \(d_{c_Q, M \mathrm {diam \, }Q}(P_\Gamma , P_E) \le C \eta ^{1/d}\). Thus if we compare distances from \(\Gamma \), to \(P_\Gamma \), to \(P_E\), then \(P_E'\) and finally to E inside \(B(c_Q, M \mathrm {diam \, }Q)\), we obtain (3.6).
This leaves us to justifying (3.8), which can be argued by contradiction. Indeed, if no such point \(y \in E \cap B(x, 2 \mathrm {dist \, }(x, E))\) exists, then each such y satisfies \(\mathrm {dist \, }(y, \Gamma ) < (2/3)\mathrm {dist \, }(x, E)\). Then the fact that E and \(\Gamma \) are very well approximated by d-planes in \(B(x, 2 \mathrm {dist \, }(x, E))\) and similar arguments to those described above would lead to the contradiction that there is some \(z \in E\) with \(\left|x - z \right| < \mathrm {dist \, }(x, E)\). Now we simply recall that \(c_Q \in E\), and so since \(x \in B(c_Q, C_D^{-1} \mathrm {diam \, }Q /8)\) we have that \(\mathrm {dist \, }(x, E) \le C_D^{-1} \mathrm {diam \, }Q /8\), so that necessarily, \(y \in B(c_Q, C_D^{-1}\mathrm {diam \, }Q/2)\). This completes the proof of (3.8).
Hence, for the first family \({\mathcal {F}}_0\), we have that the first part of (2.6) holds with \(C M^2 \eta ^{1/d} = C \delta ^{\theta /d - 2 \theta '}\). By construction (recall (3.2)), we also have the desired measure estimate
We have one final step for \({\mathcal {F}}_0\), which is to estimate the portion of minimal cubes of \(S_0\), denoted \(m(S_0)\), contained in \(Q(S_0)\).
Recall that if \(Q \in m(S_0)\), then necessarily Q has a sibling \(Q' \in m(S_0)\) which is mediocre for \(S_0\), i.e., (3.3) holds. Then since the number of siblings of any dyadic cube in \(\Delta \) is uniformly bounded (by Ahlfors regularity of E), we have that
by definition of \(\eta \). Notice that if \(\theta , \theta '\) are sufficiently small, then \(1 - d \theta ' - \theta >0\), and in particular, taking \(\theta = 1/2\) and \(\theta ' < \theta /2d\) shall suffice for these purposes.
Now assuming that \({\mathcal {F}}_{i-1}\) has been constructed for \(i \in {\mathbb {N}}\), we make each child \(Q_0\) of some \(Q ' \in m(S')\) for \(S' \in {\mathcal {F}}_{i-1}\) a top cube \(Q_0 = Q(S)\) of a new collection \(S \in {\mathcal {F}}_{i}\), and construct \(S \in {\mathcal {F}}_{i}\) in the same way as we did \(S_0 \in {\mathcal {F}}_0\). That is, since E is \(\delta \)-UR, we choose a Lipschitz a \(\delta \)-Lipschitz graph \(\Gamma = \Gamma (Q_0)\) for which
We continue to add subcubes of \(Q \in \Delta (Q_0)\) to the collection S until we find a some cube Q who has a sibling \(Q'\) which is mediocre for S in that (3.3) holds. At this stage Q and all of its siblings become minimal cubes of S, and each of their children become top cubes in the next generation \({\mathcal {F}}_{i+1}\). The same proof above applies to this collection S in place of \(S_0\): it is coherent in that (2.5) holds, and in addition, we have the following estimates:
Recalling that \(M = \delta ^{-\theta '}\), we conclude that E admits a \(C \delta ^{\theta _0}\) Corona decomposition with \(\theta _0 = \min \{\theta /d - 2\theta ', 1 -d\theta ' -\theta , \theta ' \} > 0\) provided that we show (3.13) implies (2.7) with \(C \delta ^{\theta _0}\) in place of \(\delta \), i.e.,
Let \(R \in \Delta (R_0)\), and choose an index \(i^* \in {\mathbb {N}}\cup \{0\}\) and a collection \(S^*\) so that \(R \in S^* \in {\mathcal {F}}_{i^*}\). Assume first R is the top cube of \(S^*\), \(R = Q(S^*)\). Then by construction,
where each of the unions above is a disjoint union. In particular, we see
by (3.13). Now, for any index \(k \in {\mathbb {N}}\), \(k \ge i^* +1\), we have that
where each of the unions above are disjoint. This gives
where the first inequality in the above follows from (3.13), and the second is by induction on k. As long as \(\delta _0\) is small enough (depending only on \(\theta _0\) and the underlying dimensions), \(C \delta _0^{\theta _0} < 1\). Whence from (3.15) we obtain
since again, \(\delta _0\) is small enough so that \(\sum _{k \ge 1} (C \delta ^{\theta _0})^k = 1 - (1 - C\delta ^{\theta _0})^{-1}\le C \delta ^{\theta _0}\). We have thus shown that whenever \(R \in \Delta (R_0)\) is a top cube, \(R = Q(S^*)\), then
From here, we deduce our estimate for general R.
Suppose that \(R \in \Delta (R_0)\) is arbitrary. Then we can decompose the collection of top cubes \(Q(S) \subset R\), \(S \in {\mathcal {F}}\) into 2 disjoint collections, \({\mathcal {T}}(R)\) and \({\mathcal {R}}(R)\), where
Put simply, \({\mathcal {T}}(R)\) consists of the collections \(S \in {\mathcal {F}}\) whose top cubes are the “first” descendants of R that are top cubes, and \({\mathcal {R}}(R)\) are the rest. Note that necessarily the cubes in \({\mathcal {T}}(R)\) are disjoint, and also to each \(Q(S) \in {\mathcal {R}}(R)\) there is some \(S' \in {\mathcal {T}}(R)\) for which \(Q(S) \subsetneq Q(S')\). We estimate
In the above, we used (3.16) in the third inequality, and the fact that the cubes Q(S) for \(S \in {\mathcal {T}}(R)\) are disjoint and contained in R in the last. This shows (3.14), and thus our proof is complete once we can justify how to construct the other \({\mathcal {F}}(R)\) as in Definition 2.1 so that (2.8) holds.
However, this last step is simple. Notice that if \(R \in \Delta _j\) where \({{\,\textrm{gen }\,}}R = j = {{\,\textrm{gen }\,}}R_0\), and also \(R \subset (M/3) B_{R_0}\), then for \(\delta _0\) sufficiently small, we have that \((M/3 C_D) B_R \subset M B_{R_0}\). Hence (3.2) gives that
where \(C >0\) depends only on n, d and \(C_D\). In particular, we recall that this was the only condition we used on the Lipschitz graph \(\Gamma (S_0)\) to be chosen for the top cube of \(S_0\) in order to construct \({\mathcal {F}}\). In particular, by simply taking \(C >0\) larger in the conclusion of the Theorem, we can use this same Lipschitz graph \(\Gamma (S_0)\) for each such R, and repeat the construction of \({\mathcal {F}}\) essentially verbatim to construction the partition \({\mathcal {F}}(R)\) of \(\Delta (R)\) for each such R, finishing the proof of the Theorem. \(\square \)
4 \(\delta \)-Corona Decompositions Imply \(\alpha _{\mu }(x,r)\) are Small
In this section, we show that (B) gives (C), i.e., we prove Theorem 4.7. Although the Carleson measure estimate we prove is a dyadic version of (C), this discrete estimate appearing in Theorem 4.7 implies the continuous one. This estimate can be found in [15, Lemma 5.9] so we omit the proof. The first step in the proof is to obtain small-constant Carleson measure estimates on the \(\alpha _\mu (x,r)\) when \(\mu \) is a measure supported on a small-constant Lipschitz graphs with density close to 1. This estimate is done in [40] when \(\mu \) is surface measure on the graph, but for completeness we fill in the gap when one takes \(\mu \) slightly more general.
To state the Theorem in the same language as in [40], whenever \(E = \mathrm {spt \, }\mu \) is d-Ahlfors regular, \(\Delta \) is a system of dyadic cubes for E, and \(Q \in E\), we abuse notation of \(\alpha _\mu \) and set
where of course, \(\alpha _\mu (c_Q, 3 \, \mathrm {diam \, }Q)\) is as in Definition 1.5. There is a very minor difference in \(\alpha _\mu (Q)\) and that written in [40], where the normalization is taken with respect to the quantity \(\ell (Q)\) (which is \(\ell (Q) = 2^j\) when \(Q \in \Delta _j\)) in place of \(3 \, \mathrm {diam \, }Q\), but since these quantities are comparable (with constant \(C_D\)) this difference is unimportant in the estimates that follow. Let us state two main Theorems proved in [40], which we shall use in our proof of Theorem 4.7. First we recall the definition of “large-constant” uniformly rectifiable measures.
Definition 4.1
Suppose that \(\mu \) is a d-Ahlfors regular measure on \({\mathbb {R}}^n\). Then \(\mu \) is said to be d-uniformly rectifiable (with constant \(M >1\)) if for each \(x \in \mathrm {spt \, }\mu \) and \(r >0\), there exists a Lipschitz map \(f: B_d(0, r) \subset {\mathbb {R}}^d \rightarrow {\mathbb {R}}^n\) with Lipschitz constant \(\le M\), so that
Theorem 4.2
(Theorem 1.2 in [40]) Let \(\mu \) be a d-Ahlfors regular measure in \({\mathbb {R}}^n\) with constant \(C_\mu \), and suppose that \(\mu \) is d-uniformly rectifiable (with large constant, \(M > 1\)). Fix a system \(\Delta \) of dyadic cubes for \(\mu \) with constant \(C_D> 0\). Then there is some constant \(C_0 = C_0(n,d, C_\mu , M, C_D) >1\) so that one has the Carleson condition
Theorem 4.3
(Theorem 1.1 and Remark 4.1 that follows in [40]) Suppose that \(\Gamma \) is a d-dimensional Lipschitz graph in \({\mathbb {R}}^n\) with constant \(\delta < 1\), let \(\mu = {\mathcal {H}}^d|_\Gamma \), and suppose that \(\Delta \) is a system of dyadic cubes for E with constant \(C_D> 0\). Then the following Carleson condition holds:
where \(C_0 = C_0(n,d, C_D)\) is independent of \(\delta \).
To be totally transparent, Remark 4.1 in [40] is stated for true dyadic cubes in \({\mathbb {R}}^n\) that meet the Lipschitz graph \(\Gamma \), and the result is stated as a global Carleson packing condition for compactly supported Lipschitz graphs. However, it is straight-forward to deduce the Theorem above from how Remark 4.1 is stated. Indeed, one can obtain a local result from a global one by fixing an initial cube \(R_0\) of \(\Gamma \), and finding a \((C\delta )\)-Lipschitz graph \(\Gamma '\) that agrees with \(\Gamma \) in \(10 B_{R_0}\) and has support in \(20 B_{R_0}\). Then Theorem 4.3 applied to \(\Gamma '\) gives the result, since the \(\alpha _\mu (Q)\) are local to \(3B_{R_0}\) anyway.
From here, we can extend this small-constant estimate to measures of the form \(d\mu (x) = g(x) \; d{\mathcal {H}}^d|_\Gamma (x)\) where g(x) is some controlled density, using the following two Lemmas.
Lemma 4.4
Suppose that \(\mu \) is a d-Ahlfors regular in \({\mathbb {R}}^n\) with constant \(C_\mu > 0\), and \(\Delta \) is a system of dyadic cubes for \(\mathrm {spt \, }\mu \) with constant \(C_D>0\). Then for any \(g \in L^2_{\textrm{loc}}(\mu )\), the coefficients \({\mathcal {O}}_{\mu , g}(Q)\) defined on the cubes Q by
satisfy the Carleson condition
Here, \(C_0 = C_0(n, d, C_\mu , C_D) > 0 \) is independent of g.
Proof
The idea is to use a dyadic Martingale decomposition of g with respect to the dyadic cubes for \(E = \mathrm {spt \, }\mu \), but for a family of adjacent dyadic cubes for E rather than the single system from Sect. 2.1 (we shall see the flexibility this gives us shortly). Lemma 2.2 in [1] (which uses Theorems 2.9 and 5.9 in [24]) imply that there exists \(\delta \in (0,1)\) small, and \(M \in {\mathbb {N}}\), \(C_{{\mathcal {D}}} > 1\), large depending only on n, d and \(C_\mu \), so that the following holds. For each \(\omega \in \{1, \dotsc , M\}\), one can find a system of \({\mathcal {D}}(\omega ) = \cup _{j \in {\mathbb {Z}}} {\mathcal {D}}_j(\omega )\) of “dyadic cubes” for E such that
These first properties are essentially the same as the system \(\Delta \) from Sect. 2.1, but here the \(\{ {\mathcal {D}}(\omega ) \;: \; 1 \le \omega \le M\}\) also satisfy
We shall use the family of dyadic systems \(\{ {\mathcal {D}}(\omega )\}_{\omega =1}^{M}\) in conjunction with the fixed dyadic system \(\Delta \) from Sect. 2.1 to prove the result.
Let \(Q_0 \in \Delta \) be a dyadic cube of E from Sect. 2.1, and fix any cube \(R \subset Q_0\). By (4.8), there exists some \(1 \le \omega _R \le M\), \(j_R \in {\mathbb {Z}}\) with \(\delta ^{j_R} \simeq _{C_{{\mathcal {D}}}} \mathrm {diam \, }R\), and \(Q_R \in {\mathcal {D}}_{j_R}(\omega _R)\) so that \(3B_R \subset Q_R\). Now since \(g \chi _{Q_R} \in L^2(\mu )\), we may write
with convergence in \(L^2(\mu )\), where by definition, \({\mathcal {D}}(\omega _R, Q_R)\) are the subcubes of \(Q_R\) (in \({\mathcal {D}}(\omega _R)\)),
and . Moreover, one has that
since the terms on the right-hand side of (4.9) are pairwise orthogonal in \(L^2(\mu )\).
Now since \({\mathcal {O}}_{\mu , g}(R) = {\mathcal {O}}_{\mu , g + a} (R)\) for any constant a, we may assume that \((g)_{Q_R} = 0\) in our estimate of \({\mathcal {O}}_{\mu , g}(R)\). Fix \(f \in \Lambda (3B_R)\), and note that since f is 1-Lipschitz and \(\mathrm {spt \, }f \subset Q_R\),
Since f was arbitrary, taking \(\lambda = 0\) in (4.3) and recalling that \(\mu (R) \simeq _{C_\mu } (\mathrm {diam \, }R)^d\) we obtain for some constant C depending only on n, d and \(C_\mu \),
Using the fact that \(\mathrm {diam \, }Q_R \simeq _{C_{{\mathcal {D}}}} \mathrm {diam \, }R\), the Cauchy-Schwarz inequality, and the estimate \(\left( \sum _{S \in {\mathcal {D}}(\omega _R, Q_R)} \left( \dfrac{\mathrm {diam \, }S}{ \mathrm {diam \, }R} \right) \mu (S) \right) \le C \mu (Q_R) \le C \mu (R)\) give
Setting \({\mathcal {I}}(\omega ) = \{ Q \in {\mathcal {D}}(\omega ) \;: \; Q \subset C_2 Q_0 \}\) for some large \(C_2 >1\) depending only on \(n, d, C_\mu , C_D\) and \(C_{{\mathcal {D}}}\), we can crudely estimate (4.10) by
for some large constant \(C>1\) depending on the same parameters. This is because each term in the summand of (4.10) appears in (4.11), and to each term in (4.11) there are only finitely many terms coming from (4.10) which are associated to those of (4.11), by Ahlfors regularity and the fact that \(\mathrm {diam \, }Q_R \simeq _{C_{{\mathcal {D}}}} R\).
Finally, switching the order of summation in (4.11) and using the fact that
we see that
where \(\textrm{top}({\mathcal {I}}(\omega ))\) are the maximal cubes in \({\mathcal {I}}(\omega )\) whose boundaries intersect in sets of zero \({\mathcal {H}}^d\) measure. This completes the proof, since the constants \(\delta , M\) and \(C_{{\mathcal {D}}}\) depend only on n, d and \(C_\mu \). \(\square \)
Lemma 4.5
Suppose that \(\mu \) is a d-Ahlfors regular measure with constant \((1 + \delta ) < 2\). Moreover, assume that \(E = \mathrm {spt \, }\mu \) is d-rectifiable. Fix \(\Delta \), a system of dyadic cubes for E with constant \(C_D> 0\). Then for the function \(g = d\mu /d{\mathcal {H}}^d|_E\), we have
where \(C_0 = C_0(n,d, C_D) > 0\) is independent of \(\mu \) and \(\delta \).
Proof
By virtue of Lemma 3.1, we know that the densities \(d {\mathcal {H}}^d|_E/d\mu \) and \(d\mu /d{\mathcal {H}}^d|_E\) exist and satisfy
\(\mu \)-almost everywhere. Set \(g {:}{=}d\mu /d{\mathcal {H}}^d|_E\). We readily compute for any dyadic cube \(Q \in \Delta \), any \(f \in \Lambda (3 B_Q)\), \(\lambda \in {\mathbb {R}}\) and \(\nu \) a d-flat measure,
Taking the infimum over \(\lambda \in {\mathbb {R}}\) which minimizes the quantity \({\mathcal {O}}_{{\mathcal {H}}^d|_E, g}\) (which one readily sees must be in \([(1+\delta )^{-1}, (1+ \delta )]\), by the bounds on g), and then taking the infimum over flat measures in the definition of \(\alpha _{{\mathcal {H}}^d|_E}\), we obtain
with constant \(C >0\) depending on n, d and \(C_D\). Reversing the roles of \(\mu \) and \({\mathcal {H}}^d|_E\) gives the other inequality. \(\square \)
Putting together the previous Lemmas and Theorem 4.3, we obtain our small-constant Carleson measure estimate we shall use in proving Theorem 4.7.
Corollary 4.6
Suppose that \(\Gamma \) is a d-dimensional \(\delta \)-Lipschitz graph in \({\mathbb {R}}^n\), and \(\mu \) is a d-Ahlfors regular measure with support \(\Gamma \) and with constant \((1 + \delta )\). Fix \(\Delta \), a system of dyadic cubes for \(\Gamma \) with constant \(C_D\). Then one has the Carleson packing condition,
Here \(C_0 = C_0(n,d, C_D) > 0\) is independent of \(\mu \) and \(\delta \).
Proof
Set \(g {:}{=}d\mu /d{\mathcal {H}}^d|_\Gamma \). Lemma 3.1 implies that \(g, g^{-1} \le (1 + \delta )\). We combine the cube-wise inequality from Lemma 4.5 along with the Carleson packing conditions from Theorem 4.3 and Lemma 4.4 to see that for any \(R_0 \in \Delta \) and \({{\,\textrm{osc }\,}}g = {{\,\mathrm{ess \, sup}\,}}g - {{\,\mathrm{ess \, inf}\,}}g\),
completing the proof of the Corollary. \(\square \)
Finally, we transfer the \(\alpha \)-Carleson packing conditions from Lipschitz graphs to \(\delta \)-UR sets with the small-constant Corona decomposition, i.e., we prove (B) implies (C). The upper Ahlfors regular in this implication essentially comes for free.
Theorem 4.7
There are constants \(C_0 > 1\) and \(\delta _0, \theta _0 \in (0,1)\) depending only on the dimensions n and d so that the following holds. Whenever \(0< \delta < \delta _0\), \(E \subset {\mathbb {R}}^n\) is d-Ahlfors regular and admits \(\delta \)-Corona decompositions, then for any measure \(\mu \) of the form \(d\mu (x) = g(x) d{\mathcal {H}}^d|_E(x)\) where g is Borel and satisfies \((1 + \delta )^{-1} \le g \le (1 + \delta )\), we have the Carleson condition
Moreover, E is upper d-Ahlfors regular with constant \(1+C_0 \delta ^{\theta _0}\).
Here \(\Delta \) is a fixed system of dyadic cubes for E with bounded constant \(C_D\le C_{n,d}\) coming from the definition of \(\delta \)-Corona decompositions.
Proof
Choose a system of dyadic cubes \(\Delta \) for E as in the definition of a \(\delta \)-Corona decomposition with constant \(C_D\le C_{n,d}\). We begin the proof with a reduction. Recall that by Lemma 2.3, E is \(C \delta \)-UR as long as \(\delta _0\) is sufficiently small. By Lemma 3.2 then, we may assume that E is Ahlfors regular with constant \((1+ C_0 \delta ^{1/d}) \le (1 + C_0 \delta _0^{1/d})\). Let \({{\tilde{\mu }}}= {\mathcal {H}}^d|_E\). Whenever \(R_0 \in \Delta \), denote by \({\mathcal {F}}(R_0)\) the partition of \(\Delta (R_0)\) given by the \(\delta \)-Corona decomposition of E in Definition 2.1. Moreover, denote by \(S_{R_0} \in {\mathcal {F}}(R_0)\) the subcollection of \(\Delta (R_0)\) containing \(R_0\). We show that the conclusion of the Theorem follows from the estimate
Indeed, assume that (4.13) holds, and let \(R_0 \in \Delta \) be given. Choose \({\mathcal {F}}(R_0)\) as in the Definition of a \(\delta \)-Corona decomposition. Then
as long as \(\delta _0 < 1\), where \(C >0\) is some dimensional constant depending only on n, d here and in the future. Next, one argues just as in the proof of Corollary 4.6 to replace \({{\tilde{\mu }}}\) with \(\mu \) to obtain
This shows that it suffices to demonstrate (4.13), and thus from here on we fix \(R_0 \in \Delta \), \({\mathcal {F}}= {\mathcal {F}}(R_0)\), and we may as well assume in our estimates that \(\mu = {{\tilde{\mu }}}= {\mathcal {H}}^d|_E\). Fix the top family \(S \equiv S_{R_0} \in {\mathcal {F}}\) to be the subcollection for which \(R_0 \in S_{R_0}\), and choose an approximating \(\delta \)-Lipschitz graph \(\Gamma = \Gamma (S)\) as in (2.6) that also satisfies (2.8). Notice also that \(R_0 = Q(S)\). We break the remainder of the proof into three steps.
Step one: We define a measure on \(\Gamma \cap 3 B_{Q(S)}\) to compare to \(\mu \). Recall that \(c_{Q(S)}\) is the center of Q(S), and that \(B_{Q(S)} = B(c_{Q(S)}, \mathrm {diam \, }Q(S)) \supset Q(S)\). The condition (2.6) on the proximity of \(\Gamma \) to E near \(\delta ^{-1} B_{Q(S)}\) implies that there is \(c_{\Gamma , S} \in \Gamma \cap B_{Q(S)}\) so that \(\left|c_{Q(S)} - c_{\Gamma , S} \right| \le \delta \, \mathrm {diam \, }Q(S)\).
Now we produce a system of dyadic cubes for \(\Gamma \) that come from true dyadic cubes in \({\mathbb {R}}^n\) as follows. Note that up to rotation, we may assume that \(\Gamma \) is the graph of a Lipschitz function over \({\mathbb {R}}^d \subset {\mathbb {R}}^n\). Let \(Q^\Gamma (S)\) be a (true) closed cube in \({\mathbb {R}}^n\) with axis-parallel sides centered at \(c_{\Gamma , S}\) such that \(10 B_{Q(S)} \subset Q^\Gamma (S) \subset 20 \sqrt{n} B_{Q(S)}\), so that \(\mathrm {diam \, }Q^\Gamma (S) \simeq _{n,d} \mathrm {diam \, }Q(S)\). Denote by \({\tilde{Q}}^\Gamma (S)\) the projection of \(Q^\Gamma (S)\) onto \({\mathbb {R}}^d\), and notice that \({\tilde{Q}}^\Gamma (S)\) is a true cube in \({\mathbb {R}}^d\), since \(Q^\Gamma (S)\) has axis-parallel sides. Split \({\tilde{Q}}^\Gamma (S)\) into \(2^d\) closed subcubes \({\tilde{Q}}^\Gamma _{1,1} \dotsc , {\tilde{Q}}^\Gamma _{1, 2^d}\) of \({\tilde{Q}}^\Gamma (S) \subset {\mathbb {R}}^d\) with disjoint interiors. Denote this collection of cubes in \({\mathbb {R}}^d\) by \(\Delta _1^\Gamma ({\tilde{Q}}^\Gamma (S))\), which we call first generation (true) dyadic cubes in \({\mathbb {R}}^d\) contained in \({\tilde{Q}}^\Gamma (S)\). Then one generates the family \(\Delta ^\Gamma _j({\tilde{Q}}^\Gamma (S))\) from \(\Delta ^\Gamma _{j-1}({\tilde{Q}}^\Gamma (S))\) by splitting each cube in the previous generation into \(2^d\) more (true) closed cubes in \({\mathbb {R}}^d\). With \(\Delta _0^\Gamma ({\tilde{Q}}^\Gamma (S)) = \{ {\tilde{Q}}^\Gamma (S)\}\), denote by
We then lift the dyadic cubes in \(\Delta ^\Gamma ({\tilde{Q}}^\Gamma (S))\) to closed cubes in \({\mathbb {R}}^n\) centered on \(\Gamma \). That is, if \({\tilde{Q}}^\Gamma \in \Delta ^\Gamma _j({\tilde{Q}}^\Gamma (S))\) with center \(c_{{\tilde{Q}}^\Gamma }\), then since \(\Gamma \) is a \(\delta \)-Lipschitz graph defined over \({\mathbb {R}}^d\), there is a unique \(c_{Q^\Gamma } \in \Gamma \) so that \(\pi _{{\mathbb {R}}^d}(c_{Q^\Gamma }) = c_{{\tilde{Q}}^\Gamma }\). Let \(Q^\Gamma \) be a closed cube in \({\mathbb {R}}^n\) with axis-parallel sides, center equal to \(c_{Q^\Gamma }\), and side-length equal to that of \({\tilde{Q}}^\Gamma \). Denote the collection of all such cubes generated this way by \(\Delta _j^\Gamma (Q^\Gamma (S))\), and set
Notice by construction we have the following facts about the dyadic cubes in \(\Delta ^\Gamma (Q^\Gamma (S))\):
Indeed, conditions (4.14), (4.15), and (4.16) follow from the fact that \(\Gamma \) is a \(\delta \)-Lipschitz graph as long as \(\delta _0\) is chosen small enough.
Fix parameters \(M, \lambda >1\) to be determined. In the end, the choice of these parameters shall depend only on the underlying dimensions n and d. Since E is d-Ahlfors, the set
has boundedly many elements, \(R_1, R_2, \dotsc , R_k\) with \(k \le C\), again for some dimensional constant C depending only on n and d. As per (2.8), we know that for each \(1 \le j \le k\), there is a partition \({\mathcal {F}}_i = {\mathcal {F}}(R_i)\) of \(\Delta (R_i)\) that satisfy the conditions of the \(\delta \)-Corona decomposition, (2.5)–(2.7). Moreover, such a partition can be chosen so that when \(S_i \in {\mathcal {F}}_i\) is the subcollection with \(R_i \in S_i\), we know that the conditions (2.5)–(2.7) are satisfied with the same Lipschitz graph \(\Gamma \) as the one chosen for S.
We perform a stopping time argument on the cubes in \(\Delta ^\Gamma \) to find some coherent collection \(S^\Gamma \subset \Delta ^\Gamma \) of (true) cubes in \({\mathbb {R}}^n\) for which \(\Gamma \) and E are sufficiently close. Let us say that a cube \(Q^\Gamma \in \Delta ^\Gamma \) is ‘far from S’ (written FS) if the cube \(\lambda Q^\Gamma \) does not meet any \(Q \in S \cup S_1 \cup \cdots \cup S_k {=}{:}S^*\) satisfying
Now we proceed generation by generation. If \(M, \lambda \) are chosen large enough and if \(\delta _0\) is sufficiently small (depending on only on the underlying dimensions), then one readily checks that the first few generations of cubes in \(\Delta ^\Gamma \) are not FS. Therefore, let the first generation of \(\Delta ^\Gamma \) be in the set \(S^\Gamma \). We continue generation by generation in the dyadic system \(\Delta ^\Gamma \) adding cubes to \(S^\Gamma \), until we reach a cube \(Q^\Gamma \) which has a sibling (possibly itself) which is FS. At this stage, \(Q^\Gamma \) and all of its siblings become minimal cubes of \(S^\Gamma \), denoted \(m(S^\Gamma )\), and no other subcubes from the parent of \(Q^\Gamma \) are added to \(S^\Gamma \). Notice that this gives that the collection \(S^\Gamma \) is coherent, and its minimal cubes are disjoint and contained in \(Q^\Gamma (S)\). In addition, if \(Q^\Gamma \in m(S^\Gamma )\), then the fact that its parent, \(R^\Gamma \) is not FS implies that \(\lambda R^\Gamma \) meets some element \(Q \in S^*\) with
As long as \(\delta _0\) is taken sufficiently small (depending on M and \(\lambda \)), then the fact that \(\mathrm {diam \, }R^\Gamma \) and \(\mathrm {diam \, }Q\) are comparable and the fact that \(\lambda R^\Gamma \) meets Q implies that
Then condition (2.6) implies that
Since \(Q^\Gamma \subset R^\Gamma \), this implies
Now, we claim that for any cube \(Q^\Gamma \) satisfying (4.19) (and thus, for all cubes \(Q^\Gamma \in S^\Gamma \)), we have that
for constants \(C_1 >1\) and \(\theta _1 \in (0,1/d)\) depending only the underlying dimensions n, d, and the constant M as long as \(\delta _0\) is small. The proof of this fact is a bit tedious, but the main ideas are that \(\Gamma \) is the graph of a \(\delta \)-Lipschitz graph defined over \({\mathbb {R}}^d\), and there is another \(\delta \)-Lipschitz graph \(\Gamma '\) that gives a good (measure) approximation to E inside \(Q^\Gamma \) in the sense that
by virtue of (2.6). Then the fact that \(Q^\Gamma \) is centered on \(\Gamma \), and estimate (4.19) implies that \(\Gamma '\) also passes near the center of \(Q^\Gamma \) in that \(\mathrm {dist \, }(c_{Q^\Gamma }, \Gamma ') \le C( \delta ^{1/d} + \delta M ) \mathrm {diam \, }Q^\Gamma \le C \delta ^{1/d} \mathrm {diam \, }Q^\Gamma \). Moreover, \(\Gamma '\) can be written as a \(C \delta ^{1/d}\)-Lipschitz graph over \({\mathbb {R}}^d\), so that since \(Q^\Gamma \) is a true cube with sides parallel to the coordinate axes, we can estimate with the area formula that
Along with (4.21), the estimate above on \({\mathcal {H}}^d|_{\Gamma '}(Q^\Gamma )\) then implies
so that the estimates on \({\mathcal {H}}^d|_\Gamma (Q^\Gamma )\) in (4.21) then give (4.20) with any \(\theta _1 \in (0, 1/d)\) and \(C_1\) depending on \(\theta _1\).
Finally, we define our density for our measure on \(\Gamma \). Define the coefficients \(b_{Q^\Gamma } {:}{=}{\mathcal {H}}^d|_E(Q^\Gamma )/{\mathcal {H}}^d|_\Gamma (Q^\Gamma )\), set
and define \(d\gamma (x) {:}{=}g(x) d{\mathcal {H}}^d|_\Gamma (x)\). Notice that by (4.20), we have that \(1 - C_1(M \delta )^{\theta _1} \le g(x) \le 1 + C_1(M \delta )^{\theta _1}\) on \(\Gamma \), so that since \(\Gamma \) is a \(\delta \)-Lipschitz graph, we have that
for some (larger) \(C_1 >1\), depending only on n and d. In addition, the density g(x) is chosen in such a way that for each \(Q^\Gamma \in m(S^\Gamma )\),
where we recall that we are assuming without loss of generality that \(\mu = {\mathcal {H}}^d|_E\). With our definition of our approximating measure in hand, we move to the main estimate.
Step two: We estimate the \(\alpha _\mu \) by the \(\alpha _\gamma \). First, notice that if \(x \in (E \Delta \Gamma ) \cap Q^\Gamma (S)\), then x belongs to some minimal cube of \(S^\Gamma \) (since otherwise, being contained in arbitrarily small cubes of \(S^\Gamma \), and (4.19) gives that \(x \in E \cap \Gamma \)). From this, one deduces that for any cube \(Q^\Gamma \in S^\Gamma \),
Now, let us begin our estimate. Fix any cube \(Q \in S\) for E. Notice \( 3 B_Q \subset 10 B_{Q(S)} \subset Q^\Gamma (S)\), by choice of \(Q^\Gamma (S)\). Now since \({\mathcal {F}}\) is coherent, any \(Q^\Gamma \in \Delta ^\Gamma \) meeting \(3 B_Q\) that also satisfies \(M \mathrm {diam \, }Q^\Gamma \ge \mathrm {diam \, }Q\) must be so that \(Q^\Gamma \in S^\Gamma \). Indeed let us argue this by contradiction and suppose that this is not true. Then there is some minimal cube \(R^\Gamma \in S^\Gamma \) containing \(Q^\Gamma \), and some sibling of \(R^\Gamma \), \((R^\Gamma )' \in \Delta ^\Gamma \) which is FS. That is, \(\lambda (R^\Gamma )'\) does not meet any \(R \in S^*\) satisfying
However, notice that as long as \(\lambda \) is chosen large enough (depending on M), then the fact that \((R^\Gamma )'\) and \(R^\Gamma \) are siblings, \(R^\Gamma \) meets \(3B_Q\), and \(\mathrm {diam \, }Q \le M \mathrm {diam \, }Q^\Gamma \le M \mathrm {diam \, }(R^\Gamma )'\) implies that \(\lambda (R^\Gamma )'\) meets Q. Since \((R^\Gamma )'\) is FS, then \(Q \in S\) and \(\mathrm {diam \, }Q \le M \mathrm {diam \, }(R^\Gamma )'\) imply \(\mathrm {diam \, }(R^\Gamma )' > M \mathrm {diam \, }Q\). However, since \({\mathcal {F}}\) is coherent, and \(\lambda (R^\Gamma )'\) meets Q, one may find some parent \(Q' \supset Q\) with \(Q' \in S\) so that
which contradicts the fact that \((R^\Gamma )'\) is FS. Hence, we have proved that for any cube \(Q^\Gamma \in \Delta ^\Gamma \),
From here, we see that (4.25) and the fact that \(\Delta ^\Gamma \) partitions the space \(Q^\Gamma (S)\) that whenever \(Q \in S\),
For every \(Q \in S\), denote by any such choice of a cube \(Q^\Gamma \) as in (4.26) by \(T(Q) \in S^\Gamma \). Remark that since \(\mathrm {diam \, }T(Q) \ge \mathrm {diam \, }Q\) for \(Q \in S\), we know that \(10 T(Q) \supset 3 B_Q\).
For each cube \(Q \in S\), choose a flat measure \(\nu _{Q}\) minimizing the quantity
where \(\textrm{Flat}(n,d)\) is the space of flat measures as in Definition 1.5 and \({\mathcal {D}}_{x,r}\) is as in Definition 1.4. Then whenever \(f \in \Lambda ( 3B_Q)\),
To estimate the first term above, we notice that by (4.24), we have
since \(\mu (Q^\Gamma ) = \gamma (Q^\Gamma )\) for \(Q^\Gamma \in m(S^\Gamma )\) (recall (4.23)), and since f is 1-Lipschitz. Combining the above with (4.27) then gives
To estimate (I), we remark that the diameter estimate on T(Q), (4.26), gives us that for some dimensional constant \(C >0\), and uniformly over all \(R^\Gamma \in S^\Gamma \),
Hence we readily see,
To be clear, the second to last inequality above follows from the estimate on the d-Ahlfors regularity constant of \(\gamma \), (4.22), and the fact that \(\Gamma \) is a \(\delta \)-Lipschitz graph. Along with the fact that the cubes \(Q^\Gamma \cap \Gamma \) for \(Q^\Gamma \in \Delta ^\Gamma \) serve as a system of dyadic cubes for \(\Gamma \), the estimate then follows from Corollary (4.6). This gives our desired estimate on (I).
We now move onto (II). Define the collection of cubes \({\mathcal {I}}(Q) \subset m(S^\Gamma )\) for \(Q \in S\) by
Notice that the same argument that precedes (4.25) can be used to demonstrate that if \(Q^\Gamma \in m(S^\Gamma )\) and \(Q^\Gamma \cap 3B_Q \ne \emptyset \) for \(Q \in S\), then necessarily, \(\mathrm {diam \, }Q^\Gamma \le 2 \mathrm {diam \, }Q\). Indeed, otherwise, the fact that \(Q^\Gamma \) is minimal and choosing \(\lambda \) large enough (depending on M) guarantees the stronger inequality \(\mathrm {diam \, }Q^\Gamma > M \mathrm {diam \, }Q\). But then the fact that S is coherent can be used to show that none of the siblings of \(Q^\Gamma \) are far from S, so \(Q^\Gamma \) is not minimal. Thus,
from which we can easily see we have equality of sets
We now move on to the main estimate for (II).
We have the following string of inequalities:
In the above, the first inequality holds simply because we sum the same cubes, by (4.29), and since \(\mu (Q) \simeq _{n,d} (\mathrm {diam \, }Q)^d\). The second holds by Cauchy-Schwarz and since \(\mathrm {diam \, }Q \simeq _{n,d} \mathrm {diam \, }T(Q)\), and the third because the cubes in \({\mathcal {I}}(Q)\) are disjoint minimal cubes of \(S^\Gamma \) contained in \(10 B_Q\). The fourth follows from (4.26) and (4.28), so that to each Q there corresponds an \(R^\Gamma \in S^\Gamma \) for which the term appears, and each such \(R^\Gamma \) corresponds to only finitely many such \(Q \in S\). The fifth is just a switching of the order of summation, and the sixth is because the remaining inner series is a geometric series.
In view of our estimate on (I), our last step of the proof is to verify that for some \(\theta >0\) (depending only on n and d),
In fact, we shall see that we may take \(\theta = 1\).
Step three: we prove (4.30). Let \(Q^\Gamma \in m(S^\Gamma )\). By definition, there is some \(R^\Gamma \in S^\Gamma \), a sibling of \(Q^\Gamma \) that is FS. Recall that \(R^\Gamma \subset Q^\Gamma (S) \subset 20 \sqrt{n} B_{Q(S)}\), and thus (4.20) implies that \(R^\Gamma \) must meet one of the \(R_0, R_1, \dotsc , R_k\), say \(R_j\), as long as \(\delta _0\) is small. Indeed (4.20) says that such an \(R^\Gamma \) must meet some portion of E for \(\delta _0\) small, and since the \(R_i\) cover all of E in a neighborhood of \(R_0\), then \(R^\Gamma \) must meet one of them. For convenience write \(S_0 = S = S(R_0)\). Recall that
for some dimensional constant \(C_2 > 1\). By taking \(M \ge \max \{ C_2, C_D\}\), we see that it must be the case that \(\mathrm {diam \, }R_j > M \mathrm {diam \, }R^\Gamma \), since otherwise \(R^\Gamma \) is not FS. Now we repeat this argument on the children of \(R_j\). Because \(R^\Gamma \) meets \(R_j\), we see that there is some \(R_{j}^1 \subset R_j\) a child of \(R_j\) that meets \(R^\Gamma \). Since \(\mathrm {diam \, }R_j^1 \ge C_D^{-2} \mathrm {diam \, }R_j\), we know that \(\mathrm {diam \, }R_j^1 \ge M C_D^{-2} \mathrm {diam \, }R^\Gamma \ge M^{-1} \mathrm {diam \, }R^\Gamma \) by the choice of M above. Since \(R^\Gamma \) is FS, either \(R_j^1 \not \in S_j\), or, \(R_j^1 \in S_j\) and in fact the stronger inequality \(\mathrm {diam \, }R_j^1 > M \mathrm {diam \, }R^\Gamma \) holds. We continue this argument finitely many times until we reach a child \(R_j^\ell \subset R_j, R_j^\ell \in m(S_j)\), which meets \(R^\Gamma \) and satisfies \(\mathrm {diam \, }R_j^\ell > M \mathrm {diam \, }R^\Gamma \). In particular, since \(Q^\Gamma \) is a sibling of \(R^\Gamma \), and since \(\mathrm {diam \, }R^\Gamma < M^{-1} \mathrm {diam \, }R_j^\ell \), we readily see that \(Q^\Gamma \subset 3 B_{R_j^\ell }\). This shows that
Using (4.31) and the fact that the \(Q^\Gamma \in m(S^\Gamma )\) are disjoint, we then estimate
Recalling that \(k \le C\) for some dimensional constant C depending only on n and d this shows (4.30), and thus the proof of the Theorem is complete. \(\square \)
5 Reifenberg Flatness Implies \(\gamma (E)\) is Small
In this section show that (E) gives (F), i.e., we prove Theorem 5.2. First let us introduce in what sense E will have tangent planes, which requires some notation. If \(\mu _n, \mu \) are Radon measures on \({\mathbb {R}}^n\), then we write \(\mu _n \rightharpoonup \mu \) (and say, \(\mu _n\) converges weakly to \(\mu \)) to mean that for each \(\phi \in C_c({\mathbb {R}}^n)\), \(\int \phi \; d\mu _n \rightarrow \int \phi \; d \mu \) as \(n \rightarrow \infty \). Whenever \(\mu \) is a Radon measure and \(f: {\mathbb {R}}^n \rightarrow {\mathbb {R}}^n\) is proper continuous map, then the Radon measure \({f}_\# {\mu }\) is defined by \({f}_\# {\mu }(A) \equiv \mu (f^{-1}(A))\). Finally, denote for \(x \in {\mathbb {R}}^n\) and \(r >0\), \(\Phi _{x,r}(y) = (y-x)/r\).
Theorem 5.1
(see Theorem 10.2, [31]) Let \(E \subset {\mathbb {R}}^n\) be d-rectifiable. Then for \({\mathcal {H}}^d\)-almost all \(x \in E\), there is a unique d-plane \(T(x) \in G(n,d)\) so that
We call T(x) the approximate tangent d-plane to E at x.
Finally, we introduce the quantity \(\gamma (E)\) as in [5] which is the one appearing in Condition (F) in Theorem 1.9. Suppose that \(E \subset {\mathbb {R}}^n\) is d-Ahlfors regular and d-rectifiable, so that E has approximate d-planes T(x) for \({\mathcal {H}}^d\)-almost all \(x \in E\) by Theorem 5.1. Define
Our intent in this section is to estimate this \(\gamma (E)\) when E is Reifenberg flat as in the following Theorem. In the next section, we will then use arguments from [5] to construct Lipschitz graph approximations to E when \(\gamma (E)\) is small.
Theorem 5.2
There are constants \(C_0, \delta _0 >0\) depending only on n and d so that whenever \(\delta \in (0, \delta _0)\), \(E \subset {\mathbb {R}}^n\) is d-Ahlfors upper regular with constant \((1 + \delta )\) and \(\delta \)-Reifenberg flat, then E is d-rectifiable, and moreover, \(\gamma (E) \le C_0 \delta ^{1/2}\). In addition, E is lower d-Ahlfors regular with constant \((1+ C_0 \delta )\).
Proof
Suppose that the hypotheses of the Theorem hold. As long as \(\delta _0 > 0\) is chosen sufficiently small (depending only on n and d), then Theorem 15.2 in [13] implies that E satisfies the “big pieces of Lipschitz graphs” property, and thus is d-uniformly rectifiable (see the main Theorem in [11], or Theorem 1.57 in [10]). Here we are using the fact that if \(\delta _0\) is small enough, then then the Reifenberg flatness of E guarantees that E is lower d-Ahlfors regular with some bounded constant (this is made more precise in the following paragraph). In particular, E is d-rectifiable, and thus T(x) exists for \({\mathcal {H}}^d\)-almost all \(x \in E\). Denote the set of all such x by \(E'\).
Fix \(x \in E, r >0\), and denote by \(P \in A(n,d)\) some choice of a d-plane so that \(d_{x, 2r}(E, P) = b\beta _{\infty , E}( x, 2r) \le \delta \). Notice that by translation invariance of the hypotheses and conclusion of the Theorem, we may as well assume that \(P \in G(n,d)\). Recall that \(d_{x,r}\) is the normalized local Hausdorff distance, so that by definition,
Choose some point \(p \in P\) so that \(\left|x-p \right| \le 2 \delta r\), and thus we have that \(B(p, (1-2\delta )r) \subset B(x, r)\). By Reifenberg’s topological disk Theorem, we have that if \(\delta _0\) is chosen sufficiently small depending only on n and d, then necessarily E is a \(C^\alpha \)-topological, d-disk [37] (see also Section 3 in [14] or [23] for other proofs). In particular, since E is very well approximated by P in B(x, 2r), one can argue by contradiction to show that for \(y \in P \cap B(p, r)\), there is some \(x_y \in E \cap B(p, (3/2)r)\) so that \(\pi _{P}(x_y) = y\), provided that \(\delta _0\) is sufficiently small. The argument is essentially contained in Lemma 8.3 of [14], so we omit the details. This conclusion on projections also gives that E is lower d-Ahlfors regular as follows.
Notice that in fact, the above implies that to each \(y \in P \cap B(p, (1-4\delta )r)\), there is some \(x_y \in E \cap B(p, (1-2\delta )r)\) for which \(\pi _P(x_y) = y\). Indeed, just choose the \(x_y\) from above, so that \(x_y \in E \cap B(p, (3/2)r)\). Then we estimate
so necessarily \(x_y \in B(p, (1-2\delta )r)\). In particular, since \(\pi _P\) is 1-Lipschitz, we obtain the lower Ahlfors regularity of E:
as long as \(\delta _0\) is small enough and \(C_0> 1\) is large enough.
We are now ready to begin our estimate on the \(\pi _{T(x)}\). Fix \(\varepsilon > \delta \) to be determined, and set
Define \(\nu {:}{=}{(\pi _P)}_\# {{\mathcal {H}}^d|_{E}}\) to be the push-forward measure of \({\mathcal {H}}^d|_E\) through the map \(\pi _P\). Notice that a naive application of Chebysev gives us the estimate \(\nu (F) \le C \varepsilon ^{-1} r^d\). The key step in estimating \(\gamma (E)\) is to show the stronger estimate \(\nu (F) \le C \delta \varepsilon ^{-1} r^d\) given that E is \(\delta \)-Reifenberg flat. We claim that
for each \(y \in {\tilde{F}}\). Let us show this now.
Let \(y \in {\tilde{F}}\) so that there is some \(x_y \in E' \cap B(p, (1- 2 \delta )r)\) with \(\pi _P(x_y) = y\) and \(\left\Vert \pi _{T(x_y)} - \pi _P \right\Vert > \varepsilon \). Choose a unit vector \(e_y \in {\mathbb {R}}^{n}\) for which \(e_y \in T(x_y)\) but \(\left|\pi _P(e_y) \right| < 1 - \varepsilon \). We assume as well that \(\pi _P(e_y) \ne 0\), but the argument when \(\pi _P(e_y) = 0\) is similar, and in fact, one can show in this case that the left-hand side of (5.1) is \(+ \infty \). Choose unit vectors \(e_1, \dotsc , e_{d-1} \in {\mathbb {R}}^n\) so that \(\{ \pi _P(e_y)/\left|\pi _P(e_y) \right|, e_1, \dotsc , e_{d-1} \}\) is an orthonormal basis for \(P \subset {\mathbb {R}}^n\). If we consider the set
for \(s \ll r\), then a direct computation of \(\left|y - \pi _P(z) \right| = \left|\pi _P(x_y - z) \right|\) for \(z \in H_s(x_y)\) using \(\left|\pi _P(e_y) \right|< 1- \varepsilon \) gives that \(\pi _P(H_s(x_y)) \subset P \cap B(y,s)\). In particular, we obtain
so that
where \(s H + x_y \equiv H_s(x_y)\) defines the set H. However, H contains a d-ellipsoid \(A \subset T(x_y)\) of the form
where \(\{e_y, e_1', \dotsc , e_{d-1}'\}\) is some orthonormal basis for \(T(x_y)\). Thus, in view of Theorem 5.1, (5.2), and the fact that \({\mathcal {H}}^d|_{T(x_y)}(\partial A) = 0\), we obtain that
proving (5.1). Here we have used the fact that if \(\mu _n \rightharpoonup \mu \) and \(B \subset {\mathbb {R}}^n\) is Borel and bounded with \(\mu (\partial B) = 0\), then \(\mu _n(B) \rightarrow \mu (B)\) (see for example, Proposition 4.26 in [31]). We are also using our convention that \({\mathcal {H}}^d\) is normalized so that if B is a ball of radius r centered on \(T(x_y)\), then \({\mathcal {H}}^d|_{T(x_y)}(B) = r^d\), which gives the value of \({\mathcal {H}}^d|_{T(x_y)}(A)\) above.
Finally, we get an estimate on the size of \({\mathcal {H}}^d|_E(F)\). First, Theorem 2.13(2) in [32] along with estimate (5.3) implies
(in particular, we do not need \(\nu \ll {\mathcal {H}}^d|_P\) to get the first inequality above). Denote \(G = E \cap B(p, (1-2r)) \setminus F\). Recalll that \(\pi _P(E \cap B(p, (1- 2 \delta )r)) \supset P \cap B(p, (1-4\delta )r)\) and the fact that \({\mathcal {H}}^d|_E( B(p, (1-2\delta )r) {\setminus } (F \cup G)) = 0\). Hence the inequality (5.4), the fact that \({\mathcal {H}}^d|_E\) is upper d-Ahlfors regular with constant \((1+\delta )\), and the fact that \(\pi _P\) is 1-Lipschitz gives
Rearranging for \({\mathcal {H}}^d|_E(F)\) yields that
where C is some constant depending only on d. Thus since \(B(x, (1- 4\delta )r) \subset B(p, (1- 2 \delta )r)\),
by taking \(\varepsilon = \delta ^{1/2}\).
Now we take on the second term of \(\gamma (E)\); this estimate comes directly by choice of P. Notice that for any \(y \in B(x, (1-4\delta )r) \cap E\) we have that
by choice of P. Thus, altogether we’ve shown that
from which we readily see that \(\gamma (E) \le C \delta ^{1/2}\). \(\square \)
6 \(\gamma (E)\) Small Implies Good Lipschitz Approximations to E
In this last section, we briefly detail how the work of [5] demonstrates that (F) gives (A). The argument involving the Hardy-Littlewood Maximal function goes back to the co-dimension 1 case in [38]. Under different assumptions on a domain \(\Omega \) when \(\partial \Omega \) is \((n-1)\)-Ahlfors regular, there is also a proof in [20]. Our goal here is to point the reader to the fact that for these particular arguments in [5], one does not need E to be a \(C^1\) d-dimensional chord-arc submanifold, as long as we instead assume Ahlfors regularity of E. Since all of the arguments exist in this work, we only enumerate the various steps in the proof. Let us state precisely the Theorem that can be obtained.
Theorem 6.1
(Theorem 3.1 in [5]) There are constants \(\delta _0, C_0 >0\) depending only on n, d, and \(C_E\), so that whenever E is lower d-Ahlfors regular with constant \((1+\delta )\), upper d-Ahlfors regular with constant \(C_E >0\), and \(\gamma (E) \le \delta < \delta _0\), then E is \((C_0 \delta ^{1/2})\)-UR.
Proof
Recall that \(\gamma (\cdot )\) is only defined on d-rectifiable subsets, so we assume \(\gamma (E) \le \delta \) and E is d-rectifiable. Thus Theorem 5.1 applies so that E has approximate tangent d-planes almost everywhere in E. We continue as in the proof of Lemma 3.2 of [5].
Fix \(x_0 \in E, R >0\), and \(\tau \in (10 \delta , 1/3)\). Denote by \({\mathcal {M}}_R\) for \(R >0\) the variant of the Hardy-Littlewood Maximal function, for \(x \in E\) and \({\mathcal {M}}_R f(x) =0 \) otherwise.
Set
where T(y) is the approximate tangent d-plane to E at y and \(T_{x_0, 4R} \in G(n,d)\) is a d-plane minimizing the quantity
over all \(V \in G(n,d)\). Then Step 1 in [5, Lemma 3.2] (which only uses the Ahlfors regularity of E, and the definition of \(\gamma (E)\)) gives that for \(\delta _0\) chosen small enough, there are uniform constants \(a, C>0\) depending only on n, d, and \(C_E\) so that
Steps 2 and 4 of the proof of the same Lemma (which again, only use Ahlfors regularity of E and Step 1) then give that for \(\delta _0\) sufficiently small, there is a Lipschitz graph \(\Gamma \) with constant \(\le C \tau \) for which \(F \subset \Gamma \). Consequently, setting \(\tau = \delta ^{1/2}\) gives
The fact that \({\mathcal {H}}^d|_E\) is lower d-Ahlfors regular with constant \((1 + \delta )\) and the norm on the Lipschitz constant of \(\Gamma \) readily give
Together with (6.2), this shows that E is \((C_0 \delta ^{1/2})\)-UR. \(\square \)
In all, Theorem 6.1 thus concludes the proof of Theorem 1.9.
7 A Comment on Local Results and Chord-Arc Domains With Small Constant
As mentioned in the introduction, Theorem 1.9 has local and “vanishing” versions, which correlate more closely to the local definition of \(\delta \)-chord-arc domains as in [28]. Instead of formulating very precise local definitions here, we simply remark the following about the proofs of Theorems 3.3, 4.7, 5.2, and 6.1. In each of these proofs, the conclusion of the Theorem is deduced inside a ball B(x, r) centered on E using information about E in the ball \(B(x, C_0r)\) up to scale \(C_0 r\) for some dimensional constant \(C_0 = C_0(n,d, C_E) >0\), except for Theorem 3.3. In the argument of Theorem 3.3, we used information about E inside the larger ball \(B(x, C_0 r)\) up to the scale \( C_0 \delta ^{-\theta '} r\) where \(\theta ' \in (0, 1/4d)\). This means that the local version of Theorem 1.9 should be loosely formulated in the following way.
Theorem 7.1
(Local version of Theorem 1.9) Fix \(n, d \in {\mathbb {N}}\) with \(0< d < n\) and \(C_E >0\). Then there are constants \(\tau _0, \theta _0, \delta _0 \in (0,1)\) depending only on n, d and \(C_E\) so that the following holds.
Suppose that E is a set which satisfies
for each \(x \in E \cap B(0,R)\) and \(0< r < r_0\). Assume in addition that any one of the conditions (A)–(F) hold for \(x \in E \cap B(0, R)\) and \(0< r < r_0\) with constant \(\delta \in (0, \delta _0)\). Then the rest hold for all points \(x \in E \cap B(0, \tau _0 R_0)\) and scales \(0< r < \delta \tau _0 r_0\) with constant \(\delta ^{\theta _0}\).
Here, the phrase “condition (B) holds for \(x \in E \cap B(0, R)\) and \(0< r < r_0\) with constant \(\delta \)” really means that for each \(Q_0 \in \Delta \) with \(\mathrm {dist \, }(Q_0, B(0, R)) \le r_0\) and \(\mathrm {diam \, }Q_0 \le r_0\), E admits \(\delta \)-Corona decompositions in \(Q_0\). For the others, the meaning is self-explanatory: we just mean the conditions defining the statement are required to hold only for such points \(x \in E\) and such scales \(r > 0\) as opposed to uniformly.
In particular, this remark can be used to prove Theorem 1.15 in the following way.
Proof of Theorem 1.15
Let \(\Omega \subset {\mathbb {R}}^n\) be such a domain as in the statement of the Theorem, and for convenience write \(\sigma {:}{=}{\mathcal {H}}^{n-1}|_{\partial \Omega }\). Fix \(\theta _0\), \(\tau _0\), and \(\delta _0\) coming from Theorem 7.1 depending on n and \(C_E\), and let \(\delta < \delta _0\).
Suppose first that \(\Omega \) is a \(\delta \)-chord-arc domain. Fix a ball B(0, R) with \(R >1\) large, and assume without loss of generality that \(0 \in \partial \Omega \). Then we may find some \(\rho >0\) small so that for \(x \in \partial \Omega \cap B(0, R)\) and \(r \in (0, \rho )\),
This first local Reifenberg condition on \(\partial \Omega \) gives, by the proof of Theorem 5.2 that
whenever \(x \in B(0, \tau _0 R)\) and \(r \le \tau _0 \rho \) for some constant \(C>0\) depending only on n. Moreover, [7, equation (2.18)] implies the estimate \(\left|\langle \textbf{n}_{x,r}, y-x\rangle \right| \le C r \delta ^{1/2}\) whenever \(x \in \partial \Omega \cap B(0, R)\), \(r \in (0, \rho )\) and \(y \in \partial \Omega \cap B(x, r)\). Here C is a constant depending only on n and \(C_E\). Combined with the lower Ahlfors regularity condition above, this says exactly that \(\partial \Omega \) satisfies condition (F) for points \(x \in \partial \Omega \cap B(0, \tau _0 R)\) and scales \(r \in (0, \tau _0 \rho )\) with constant \(C \delta ^{1/2}\). Theorem 7.1 then implies that (C) holds for points \(x \in \partial \Omega \cap B(0, \tau _0^2 R)\) and scales \(r \in (0, \delta \tau _0^2 \rho )\) with constant \(C \delta ^{\theta _0/2}\). Since \(R> 0\) is arbitrary, this shows that (I) implies (II) with worse constant, \(\delta ^{\theta _0'}\) for some \(\theta _0'\) small.
Conversely, assume that \(\Omega \) satisfies (II). Again fix a ball B(0, R) with \(R >1 \) large, and assume without loss of generality that \(0 \in \partial \Omega \). By assumption, there is some \(\rho >0\), so that the measure \(\sigma \) satisfies the small-constant Carleson measure condition
for all \(x \in \partial \Omega \cap B(0, R)\) and \(r \in (0, \rho )\). Also, \(\sigma (B(x,r)) \le (1+\delta )r^{n-1}\) for such x and r. In other words, \(\partial \Omega \) satisfies condition (C) for \(x \in B(0, R)\) and \(r \in (0, \rho )\) with constant \(\delta \), so Theorem 7.1 implies that for \(x \in \partial \Omega \cap B(0, \tau _0 R)\) and \(r \in (0, \delta \tau _0 \rho )\), \(\partial \Omega \) satisfies conditions (E) and (F) with constant \(\delta ^{\theta _0}\). In other words, for each \(x \in \partial \Omega \cap B(0, \tau _0 \rho )\) and \(r \in (0, \delta \tau _0 \rho )\), we have
Since \(R >0\) is arbitrary, then joint with the underlying assumptions on \(\Omega \) made in the statement of the Theorem, this implies that \(\Omega \) is a \(\delta ^{\theta _0}\)-chord-arc domain.\(\square \)
References
Azzam, J., Dąbrowski, D.: An \(\alpha \)-number characterization of \(L^p\) spaces on uniformly rectifiable sets. Publ. Mat. 67(2), 819–850 (2023)
Azzam, J., Mourgoglou, M., Tolsa, X.: The one-phase problem for harmonic measure in two-sided NTA domains. Anal. PDE 10(3), 559–588 (2017)
Azzam, J., Hofmann, S., Martell, J.M., Mourgoglou, M., Tolsa, X.: Harmonic measure and quantitative connectivity: geometric characterization of the \(L^p\)-solvability of the Dirichlet problem. Invent. Math. 222(3), 881–993 (2020)
Badger, M., Engelstein, M., Toro, T.: Regularity of the singular set in a two-phase problem for harmonic measure with Hölder data. Rev. Mat. Iberoam. 36(5), 1375–1408 (2020)
Blatt, S.: Chord-arc constants for submanifolds of arbitrary codimension. Adv. Calc. Var. 2(3), 271–309 (2009)
Bortz, S., Hofmann, S.: A singular integral approach to a two phase free boundary problem. Proc. Amer. Math. Soc. 144(9), 3959–3973 (2016)
Bortz, S., Engelstein, M., Goering, M., Toro, T., Zhao, Z.: Two phase free boundary problem for Poisson kernels. Indiana Univ. Math. J. 71(1), 251–306 (2022)
Bortz, S., Toro, T., Zhao, Z.: Optimal Poisson kernel regularity for elliptic operators with Hölder continuous coefficients in vanishing chord-arc domains. J. Funct. Anal. 285(5), 64 (2023)
Byun, S.-S., Jehan, O.: Global gradient estimates for the borderline case of double phase problems with BMO coefficients in nonsmooth domains. J. Differ. Eqs. 263(2), 1643–1693 (2017)
David, G., Semmes, S.: Analysis of and on uniformly rectifiable sets. Mathematical Surveys and Monographs, vol. 38. American Mathematical Society, Providence, RI (1993)
David, G., Semmes, S.: Singular integrals and rectifiable sets in\({\mathbb{R}}^n\). Au-delà des graphes lipschitziens. Number 193 in Astérisque. Société mathématique de France (1991)
David, G.: Wavelets and singular integrals on curves and surfaces, Lecture Notes in Mathematics, vol. 1465. Springer-Verlag, Berlin (1991)
David, G., Toro, T.: Reifenberg parameterizations for sets with holes. Mem. Amer. Math. Soc. 215(1012), vi+102 (2012)
David, G., Kenig, C., Toro, T.: Asymptotically optimally doubling measures and Reifenberg flat sets with vanishing constant. Comm. Pure Appl. Math. 54(4), 385–449 (2001)
David, G., Feneuil, J., Mayboroda, S.: Dahlberg’s theorem in higher co-dimension. J. Funct. Anal. 276(9), 2731–2820 (2019)
David, G., Li, L., Mayboroda, S.: Small \(A_\infty \) results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries. Trans. Amer. Math. Soc. 376(11), 7857–7909 (2023)
Engelstein, M., Jeznach, C., Li, L., Mayboroda, S.: Small \(a_\infty \) results for dahlberg-kenig-pipher operators outside of uniformly rectifiable sets with high co-dimension. In preparation
Engelstein, M.: A free boundary problem for the parabolic Poisson kernel. Adv. Math. 314, 835–947 (2017)
Hofmann, S., Martell, J.M.: Uniform rectifiability and harmonic measure I: Uniform rectifiability implies Poisson kernels in \(L^p\). Ann. Sci. Éc. Norm. Supér. (4) 47(3), 577–654 (2014)
Hofmann, S., Mitrea, M., Taylor, M.: Singular Integrals and Elliptic Boundary Problems on Regular Semmes-Kenig-Toro Domains. Int. Math. Res. Notices 2010(14), 2567–2865 (2009)
Hofmann, S., Martell, J.M., Mayboroda, S.: Uniform Rectifiability and Harmonic Measure III: Riesz Transform Bounds Imply Uniform Rectifiability of Boundaries of 1-sided NTA Domains. Int. Math. Res. Notices 2014(10), 2702–2729 (2013)
Hofmann, S., Martell, J.M., Uriarte-Tuero, I.: Uniform rectifiability and harmonic measure, II: Poisson kernels in \(L^p\) imply uniform rectifiability. Duke Math. J. 163(8), 1601–1654 (2014)
Hong, Guanghao: Wang, Lihe: A new proof of Reifenberg’s topological disc theorem. Pacific J. Math. 246(2), 325–332 (2010)
Hytönen, T., Tapiola, O.: Almost lipschitz-continuous wavelets in metric spaces via a new randomization of dyadic cubes. J. Approx. Theo. 185, 12–30 (2014)
Jerison, D.S., Kenig, C.E.: The logarithm of the Poisson kernel of a \(C^{1}\) domain has vanishing mean oscillation. Trans. Amer. Math. Soc. 273(2), 781–794 (1982)
Jones, P.W.: Rectifiable sets and the traveling salesman problem. Invent. Math. 102(1), 1–15 (1990)
Kenig, C.E., Toro, T.: Harmonic measure on locally flat domains. Duke Math. J. 87(3), 509–551 (1997)
Kenig, C.E., Toro, T.: Free boundary regularity for harmonic measures and Poisson kernels. Ann. Math. 150(2), 369–454 (1999)
Kenig, C.E., Toro, T.: Poisson kernel characterization of Reifenberg flat chord arc domains. Ann. Sci. École Norm. Sup. (4) 36(3), 323–401 (2003)
Lewis, J.L., Nyström, K.: Regularity and free boundary regularity for the \(p\)-Laplace operator in Reifenberg flat and Ahlfors regular domains. J. Amer. Math. Soc. 25(3), 827–862 (2012)
Maggi, F.: Sets of finite perimeter and geometric variational problems, volume 135 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, (2012). An introduction to geometric measure theory
Mattila, P.: Geometry of sets and measures in Euclidean spaces. Cambridge Studies in Advanced Mathematics, vol. 44. Cambridge University Press, Cambridge (1995)
Milakis, Emmanouil: Toro, Tatiana: Divergence form operators in Reifenberg flat domains. Math. Z. 264(1), 15–41 (2010)
Milakis, E., Pipher, J., Toro, T.: Harmonic analysis on chord arc domains. J. Geom. Anal. 23(4), 2091–2157 (2013)
Mourgoglou, M., Puliatti, C.: Blow-ups of caloric measure in time varying domains and applications to two-phase problems. J. Math. Pures Appl. 9(152), 1–68 (2021)
Prats, M., Tolsa, X.: The two-phase problem for harmonic measure in VMO. Calc. Var. Partial Differential Equations 59(3), 58 (2020)
Reifenberg, E.R.: Solution of the Plateau Problem for \(m\)-dimensional surfaces of varying topological type. Acta Math. 104, 1–92 (1960)
Semmes, S.: Chord-arc surfaces with small constant. I. Adv. Math. 85(2), 198–223 (1991)
Semmes, S.: Chord-arc surfaces with small constant II. Good parameterizations. Adv. Math. 88(2), 170–199 (1991)
Tolsa, X.: Uniform rectifiability, Calderón-Zygmund operators with odd kernel, and quasiorthogonality. Proc. Lond. Math. Soc. (3) 98(2), 393–426 (2009)
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.
C. Jeznach was partially supported by the Simons Collaborations in MPS grant 563916, and NSF DMS grant 2000288. The author would like to thank his advisors Max Engelstein and Svitlana Mayboroda, as well as Guy David for many helpful conversations regarding the main result. The author also thanks the referees for many helpful comments which improved the paper.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Jeznach, C. Small-Constant Uniform Rectifiability. J Geom Anal 34, 125 (2024). https://doi.org/10.1007/s12220-024-01567-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01567-z