Abstract
A Radon measure |$\mu $| is |$n$|-rectifiable if it is absolutely continuous with respect to |$n$|-dimensional Hausdorff measure and |$\mu $|-almost all of |${\operatorname{supp}}\mu $| can be covered by Lipschitz images of |$\mathbb{R}^n$|. In this paper, we give a necessary condition for rectifiability in terms of the so-called |$\alpha _2$| numbers — coefficients quantifying flatness using Wasserstein distance |$W_2$|. In a recent article, we showed that the same condition is also sufficient for rectifiability, and so we get a new characterization of rectifiable measures.
1 Introduction
Let
|$1\le n\le d$| be integers. We say that a Radon measure
|$\mu $| on
|$\mathbb{R}^d$| is
|$n$|-rectifiable if there exist countably many Lipschitz maps
|$f_i:\mathbb{R}^n\rightarrow \mathbb{R}^d$| such that
and moreover
|$\mu $| is absolutely continuous with respect to
|$n$|-dimensional Hausdorff measure
|$\mathscr{H}^n$|. A set
|$E\subset \mathbb{R}^d$| is
|$n$|-rectifiable if the measure
|${ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{E} }$| is
|$n$|-rectifiable. We will often omit
|$n$| and just write “rectifiable.”
The study of rectifiable sets and measures lies at the very heart of geometric measure theory. We refer the reader to [19, Chapters 15–18] for some classical characterizations of rectifiability involving densities, tangent measures, and projections. The aim of this paper is to prove a necessary condition for rectifiability involving the so-called |$\alpha _2$| coefficients.
1.1 |$\alpha _p$| numbers
Coefficients |$\alpha _p$| were introduced by Tolsa in [25]. In order to define them, we recall the definition of Wasserstein distance.
Let
|$1\le p <\infty $|, and let
|$\mu , \nu $| be two probability Borel measures on
|$\mathbb{R}^d$| satisfying
|$\int |x|^p\ \textrm{d}\mu <\infty ,\ \int |x|^p\ \textrm{d}\nu <\infty $|. The Wasserstein distance
|$W_p$| between
|$\mu $| and
|$\nu $| is defined as
where the infimum is taken over all transport plans between
|$\mu $| and
|$\nu $|, that is, Borel probability measures
|$\pi $| on
|$\mathbb{R}^d\times \mathbb{R}^d$| satisfying
|$\pi (A\times \mathbb{R}^d)=\mu (A)$| and
|$\pi (\mathbb{R}^d\times A)=\nu (A)$| for all measurable
|$A\subset \mathbb{R}^d$|. The same definition makes sense if instead of probability measures we consider
|$\mu ,\ \nu ,\ \pi $| of the same total mass.
Wasserstein distances are a way to measure the cost of transporting one measure to another, and they are of fundamental importance to the theory of optimal transport. For more information see for example [30, Chapter 7] or [31, Chapter 6].
The idea behind |$\alpha _p$| numbers is to quantify how far a given measure is from being a flat measure, that is, from being of the form |$c{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L} }$| for some constant |$c>0$| and some |$n$|-plane |$L$|. In order to measure it locally (say, in a ball |$B$|), we introduce the following auxiliary function.
Let
|$\varphi :\mathbb{R}^d\rightarrow [0,1]$| be a radial Lipschitz function satisfying
|$\varphi \equiv 1$| in
|$B(0,2)$|,
|${\operatorname{supp}}\varphi \subset B(0,3)$|, and for all
|$x\in B(0,3)$| for some constant
|$c>0$|. For example, one could take
|$\varphi (x) = \phi (|x|)$| where
|$\phi :[0,\infty )\to [0,1]$| is such that
|$\phi (r)=1$| for
|$0\le r \le 2$|,
|$\phi (r)=0$| for
|$r \ge 3$|, and
|$\phi (r)=(3-r)^2$| for
|$2<r<3$|. Given a ball
|$B = B(x,r)\subset \mathbb{R}^d$| we set
|$\varphi _{{B}}$| can be seen as a regularized characteristic function of
|$B$|.
For
|$1\le p <\infty $|, a Radon measure
|$\mu $| on
|$\mathbb{R}^d$|, a ball
|$B=B(x,r)\subset \mathbb{R}^d$| with
|$\mu (B)>0$|, and an
|$n$|-plane
|$L$| intersecting
|$B$|, we define
where
|$a_{{B,L}} = (\int \varphi _B\ \textrm{d}\mu )/(\int \varphi _B\ \textrm{d}{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L} })$|. We will usually omit the subscripts and just write
|$a$|. We define also
where the infimum is taken over all
|$n$|-planes
|$L$| intersecting
|$B$|. For a ball
|$B=B(x,r)$| we will sometimes write
|$\alpha _{\mu ,p}(x,r)$| instead of
|$\alpha _{\mu ,p}(B)$|, and we will do the same with all the other coefficients introduced below.
Coefficients |$\alpha _p$| were first defined in [25] with the aim of characterizing uniformly rectifiable measures. The notion of uniform rectifiability, which can be seen as a more quantitative counterpart of rectifiability, was introduced by David and Semmes in [11, 12]. We say that a measure |$\mu $| is uniformly |$n$|-rectifiable if
(i) it is |$n$|-AD-regular, that is, there exists a constant |$C$| such that for all |$x\in{\operatorname{supp}}\mu $| and |$0<r<{\operatorname{diam}}({\operatorname{supp}}\mu )$| we have |$C^{-1}r^n\le \mu (B(x,r))\le Cr^n$|,
(ii) it has
big pieces of Lipschitz images, that is, there exist constants
|$\theta , L>0$| such that for any
|$x\in{\operatorname{supp}}\mu $| and
|$0<r<{\operatorname{diam}}({\operatorname{supp}}\mu )$| we may find an
|$L$|-Lipschitz mapping
|$g$| from the
|$n$|-dimensional ball
|$B^n(0,r)\subset \mathbb{R}^n$| into
|$\mathbb{R}^d$| satisfying
A trivial example of a uniformly rectifiable measure is the surface measure on a Lipschitz graph.
In [25] Tolsa showed the following characterization of uniformly rectifiable measures:
Theorem 1.1Let
|$1\le p\le 2$|. Suppose
|$\mu $| is an
|$n$|-AD-regular measure on
|$\mathbb{R}^d$|. Then,
|$\mu $| is uniformly rectifiable if and only if there exists
|$C>0$| such that for any ball
|$B=B(z,R)$| centered at
|${\operatorname{supp}}\mu $| we have
In this paper, we prove a necessary condition for rectifiability of measures, which is of similar spirit.
Theorem 1.2.Let
|$\mu $| be an
|$n$|-rectifiable measure on
|$\mathbb{R}^d$|. Then for
|$\mu $|-a.e.
|$x\in \mathbb{R}^d$| In [
9, Theorem 1.3], we show that (
1.4) is also a sufficient condition for rectifiability (we use a slightly different version of
|$\alpha _2$|, but it does not matter, see Remark
1.5). Putting the two results together, we get the following characterization.
Corollary 1.3.Let
|$\mu $| be a Radon measure on
|$\mathbb{R}^d$|. Then
|$\mu $| is
|$n$|-rectifiable if and only if for
|$\mu $|-a.e.
|$x\in \mathbb{R}^d$| we have
Remark 1.4.The characterization above is sharp in the following sense. Suppose
|$1\le p \le q<\infty $|. Then it follows easily by Hölder’s inequality, definition of
|$\alpha _p$| numbers, and the fact that
|${\operatorname{supp}}\varphi _B\subset 3B$|, that
Hence, for doubling measures,
|$\alpha _p$| numbers are increasing in
|$p$|. It is well known that rectifiable measures are pointwise doubling, that is,
and so the finiteness of
|$\alpha _2$| square function (
1.4) implies finiteness of
|$\alpha _p$| square function for any
|$1\le p \le 2.$| However, in general, one cannot expect finiteness of
|$\alpha _p$| square function for
|$p>2$|, see Remark
1.7. In other words, Theorem
1.2 cannot be improved.
Remark 1.5.For technical reasons, in [9], we define |$\alpha _p$| numbers normalizing by |$\mu (3B)$| (i.e., in (1.3) we replace |$\mu (B)$| with |$\mu (3B)$|). Of course, the |$3B$|-normalized coefficients are smaller than the |$B$|-normalized variant used here. Hence, if (1.4) is finite for |$B$|-normalized |$\alpha _2$| numbers, then it is finite for |$3B$|-normalized |$\alpha _2$| numbers, and so [9,Theorem 1.3] may be applied to get Corollary 1.3.
It is worthwhile to compare this result with other recent characterizations of rectifiability, which all involve some sort of scale-invariant quantities measuring flatness.
1.2 |$\beta _p$| numbers
The first flatness-quantifying coefficients to be defined were Jones’
|$\beta $| numbers, originating in [
11,
12,
16]. For
|$1\le p <\infty $| and a Radon measure
|$\mu $| on
|$\mathbb{R}^d$| set
where the infimum runs over all
|$n$|-planes
|$L$| intersecting
|$B(x,r)$|. Let us also define upper and lower
|$n$|-dimensional densities of a Radon measure
|$\mu $| at
|$x\in \mathbb{R}^d$| as
respectively. If both quantities are equal, we set
|$\Theta ^{n}(x,\mu ) = \Theta ^{n,*}(x,\mu ) = \Theta _{\ast }^n(x,\mu )$| and we call it
|$n$|-dimensional density.
In [
26] it was shown that for a rectifiable measure
|$\mu $| we have
On the other hand, Azzam and Tolsa proved in [
3] that if a Radon measure
|$\mu $| satisfies (
1.7) and
then
|$\mu $| is
|$n$|-rectifiable. More recently, Edelen, Naber, and Valtorta [
13] managed to weaken the assumption (
1.8) to
An alternative proof showing that (
1.7) and (
1.9) are sufficient for rectifiability is given in [
28].
Theorem 1.6Let |$\mu $| be a Radon measure on |$\mathbb{R}^d$|. Then, |$\mu $| is |$n$|-rectifiable if and only if (1.7) and (1.9) hold for |$\mu $|-a.e. |$x\in \mathbb{R}^d$|.
Contrary to Corollary
1.3, some sort of assumptions on densities of measure seem to be unavoidable because
|$\beta _2$| numbers are “weaker” than
|$\alpha _2$| numbers (see Lemma
3.1). What we mean by that is the following: coefficients
|$\beta _{p}$| measure how close is
|${\operatorname{supp}}\mu $| to being contained in an
|$n$|-plane, and so they do not see holes or high concentrations of measure.
Any measure with support contained in an
|$n$|-plane will have all
|$\beta $| numbers equal to 0—even Dirac mass! Moreover, due to the normalizing factor
|$r^{n}$| in (
1.6),
|$\beta $| numbers do not charge higher dimensional measures properly (note that the
|$(n+1)$|-dimensional Lebesgue measure satisfies (
1.7)). Coefficients
|$\alpha _p$|, on the other hand, penalize such phenomena.
The choice of |$p=2$| in the above considerations is not arbitrary. Condition (1.7) with |$\beta _{\mu ,2}(x,r)$| replaced by |$\beta _{\mu ,p}(x,r)$| is necessary for rectifiability only for |$1\le p\le 2$|. On the other hand, (1.7) together with (1.8) imply rectifiability only for |$p\ge 2$|. See [28] for relevant counterexamples. Still, if instead of (1.8) we assume that |$\Theta _*^{n}(\mu ,x)>0$| and |$\Theta ^{n,*}(\mu ,x)<\infty $| for |$\mu $|-a.e. |$x\in \mathbb{R}^d$|, then the finiteness of |$\beta _p$| square function for certain |$p<2$| becomes sufficient for rectifiability, see [7, 22].
Remark 1.7.The example from [28] shows that one cannot expect finiteness of the |$\alpha _p$| square function when |$p>2$|. Indeed, it is easy to see that |$\alpha _p$| numbers bound from above |$\beta _p$| numbers (see Lemma 3.1, the same proof works with arbitrary |$1\le p<\infty $|). Tolsa gave an example of a rectifiable measure such that for all |$p>2$| the square function involving |$\beta _p$| in infinite almost everywhere. Hence, the |$\alpha _p$| square function of that measure is also infinite almost everywhere.
Let us mention that modified versions of |$\beta $| numbers are also used to study a competing notion of rectifiability for measures, the so-called Federer rectifiability. We say that a measure is |$n$|-rectifiable in the sense of Federer if it satisfies (1.1), and no absolute continuity with respect to |$\mathscr{H}^n$| is required. Dropping the absolute continuity assumption makes such measures very difficult to characterize. A surprising example of a doubling, Federer |$1$|-rectifiable measure supported on the whole plane was found by Garnett, Killip, and Schul [14]. Nevertheless, for |$n=1$|, significant progress has been achieved in [2, 6–8, 17, 18]. See also a recent survey of Badger [5].
Theorem
1.2 yields an easy corollary involving
bilateral |$\beta $| numbers. Set
As shown in Lemma
3.1, if a ball
|$B(x,r)$| satisfies
|$\mu (B(x,r))\approx r^n$| (see Subsection
2.1 for the precise meaning of
|$\approx $| symbol), then coefficients
|$\alpha _{\mu ,2}(x,r)$| bound from above
|$b\beta _{\mu ,2}(x,r)$|. Since for
|$n$|-rectifiable measure
|$\mu $| we have
|$0<\Theta ^{n}(\mu ,x)<\infty $| |$\mu $|-almost everywhere, we immediately get the following.
Corollary 1.8.Let
|$\mu $| be an
|$n$|-rectifiable measure on
|$\mathbb{R}^d$|. Then for
|$\mu $|-a.e.
|$x\in \mathbb{R}^d$| we have
1.3 |$\alpha $| numbers
Another kind of coefficients quantifying flatness that has attracted a lot of interest is |$\alpha $| numbers, first introduced in [24]. Their definition is very similar to that of |$\alpha _p$| coefficients, and in fact they can be seen as a variant of |$\alpha _1$| numbers, see [25, Section 5].
Like before, we define a distance on the space of Radon measures. Given Radon measures
|$\mu , \nu $|, and an open ball
|$B$| we set
where
The coefficient
|$\alpha $| of a measure
|$\mu $| in a ball
|$B=B(x,r)$| is defined as
where the infimum is taken over all
|$n$|-planes
|$L$| and all
|$c\ge 0$| (we do not demand a priori that
|$\mu (B)=c{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L} }(B)$|).
Tolsa showed in [
26] that given a rectifiable measure
|$\mu $| we have
One might ask if (
1.10) is also a sufficient condition for rectifiability. Partial answers to that question were given in [
1] and [
21]. Very recently Azzam, Tolsa, and Toro [
4] proved that a measure
|$\mu $| satisfying (
1.10), which is also pointwise doubling, that is, such that (
1.5) holds, is rectifiable. Since rectifiable measures satisfy (
1.5), the following characterization holds.
Theorem 1.9Let |$\mu $| be a Radon measure on |$\mathbb{R}^d$|. Then |$\mu $| is |$n$|-rectifiable if and only if (1.10) and (1.5) hold for |$\mu $|-a.e. |$x\in \mathbb{R}^d$|.
In the same paper, the authors construct a purely unrectifiable measure satisfying (
1.10), and so the pointwise doubling assumption (
1.5) cannot be omitted. Let us remark that in the characterization from Corollary
1.3, we do not need to assume any doubling property.
We mention briefly yet another kind of square functions used to describe rectifiability. [29] and [27] are devoted to the so-called |$\Delta $| numbers, defined as |$\Delta _{\mu }(x,r)=|\frac{\mu (B(x,r))}{r^n} - \frac{\mu (B(x,2r))}{(2r)^n}|$|. The results from [29] characterize rectifiable measures satisfying |$0<\Theta ^n_*(\mu ,x)\le \Theta ^{n,*}(\mu ,x)<\infty $| for |$\mu $|-a.e |$x\in \mathbb{R}^d$|. In [27] it was shown that for |$n=1$|, analogous results hold under the weaker assumption |$0<\Theta ^{1,*}(x,\mu )<\infty $| for |$\mu $|-a.e. |$x\in \mathbb{R}^d$|.
1.4 Localizing Theorem 1.2 and organization of the paper
Theorem 1.2 follows easily from the following lemma.
Lemma 1.10.Let
|$\mu $| be an
|$n$|-rectifiable measure on
|$\mathbb{R}^d$|, and let
|$\Gamma \subset \mathbb{R}^d$| be an
|$n$|-dimensional
|$1$|-Lipschitz graph. Suppose
|$R\in \mathcal{D}_{\Gamma }$| with
|$\ell (R)=1$| (see (
2.2) for the definition of
|$\mathcal{D}_{\Gamma }$|). Then, for any
|$0<\varepsilon <1$|, there exists a set
|$R^{\prime}\subset R$| such that
|$\mu (R^{\prime})\ge (1-\varepsilon )\mu (R)$| and
Proof of Theorem 1.2 using Lemma 1.10.Let
|$\mu $| be
|$n$|-rectifiable. It is well known that if one replaces Lipschitz images in (
1.1) by Lipschitz graphs, or
|$C^1$| manifolds, the definition of rectifiability remains unchanged (see e.g., [
19, Theorem 15.21]). Each
|$C^1$| manifold is contained in a countable union of (possibly rotated) Lipschitz graphs
|$\Gamma $| with
|${\operatorname{\textrm{Lip}}}(\Gamma )\le 1$|. Hence, there exists a countable family of
|$n$|-dimensional
|$1$|-Lipschitz graphs
|$\Gamma _i$| such that
Each
|$\Gamma _i$| is a countable union of dyadic
|$\Gamma _i$|-cubes
|$R_i^j\in \mathcal{D}_{\Gamma _i}$| satisfying
|$\ell (R_i^j)=1$|. Clearly,
|$\mu (\mathbb{R}^d\setminus \bigcup _{i,j}R_i^j)=0$|.
Now, denote the set of |$x$| where (1.4) does not hold by |$\mathcal{B}$|, and suppose that |$\mu (\mathcal{B})>0$|. Then, there exists |$R_i^j$| such that |$\mu (\mathcal{B}\cap R_i^j)>0$|. Let |$\varepsilon>0$| be such that |$\mu (\mathcal{B}\cap R_i^j)>2\varepsilon \mu (R_i^j)$|. Applying Lemma 1.10 to |$R_i^j$| and |$\varepsilon $| as above we reach a contradiction. Thus, |$\mu (\mathcal{B})=0$|.
The rest of the article is dedicated to proving Lemma
1.10. Let us give a brief outline of the proof.
We introduce the necessary tools in Section
2. In Section
3, we show various estimates of
|$\alpha _2$| coefficients, usually relying heavily on the results from [
25]. In Section
4, we define a family of measures
|$\{\nu _Q\}_{Q\in \mathcal{D}_{\Gamma }}$|, where
|$\nu _Q\ll{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{\Gamma } }$|, and each
|$\nu _Q$| approximates
|$\mu $| in some ball around
|$Q$|. Roughly speaking,
|$\nu _Q$| is defined by projecting the measure of Whitney cubes onto the graph
|$\Gamma $|— but only those Whitney cubes whose sidelength is not much bigger than
|$\ell (Q)$|. Then, we construct a tree of good cubes satisfying
where
|$\widetilde{B}_Q$| are balls with the same center as the corresponding cube
|$Q$|. The stopping region of the tree of good cubes is small. In Section
5, we use the estimate above to show that actually
Using the inequality above, we prove (
1.11) with
|$R^{\prime}=R\setminus \bigcup _{Q\in \mathsf{Stop}(\mathsf{Tree})}Q$|. This finishes the proof of Lemma
1.10.
2 Preliminaries
2.1 Notation
Throughout the paper we will write |$A\lesssim B$| whenever |$A\le CB$| for some constant |$C$|, the so-called “implicit constant.” All such implicit constants may depend on dimensions |$n, d$|, and we will not track this dependence. If the implicit constant depends also on some other parameter |$t$|, we will write |$A\lesssim _{t} B$|. The notation |$A\approx B$| means |$A\lesssim B\lesssim A$|, and |$A\approx _t B$| means |$A\lesssim _t B\lesssim _t A$|. Moreover, if symbols |$\lesssim $| or |$\approx $| appear in the assumptions of a lemma, then the implicit constant of the proven estimate will depend on the implicit constants from the assumptions (see Lemma 3.1 for example).
We denote by |$B(z,r)\subset \mathbb{R}^d$| an open ball with center at |$z\in \mathbb{R}^d$| and radius |$r>0$|. Given a ball |$B$|, its center and radius are denoted by |$z(B)$| and |$r(B)$|, respectively. If |$\lambda>0$|, then |$\lambda B$| is defined as a ball centered at |$z(B)$| of radius |$\lambda r(B)$|.
Given two
|$n$|-planes
|$L_1, L_2$|, let
|$L_1^{\prime}$| and
|$L_2^{\prime}$| be the respective parallel
|$n$|-planes passing through
|$0$|. Then,
where
|${\operatorname{dist}}_H$| stands for Hausdorff distance between two sets. Clearly, we always have
|$\measuredangle (L_1,L_2)\in [0,1]$|, and
|$\measuredangle (L_1,L_2)=0$| if and only if
|$L_1$| and
|$L_2$| are parallel. Note that if
|$L_1$| and
|$L_2$| are lines in the plane, then
|$\measuredangle (L_1,L_2)$| is the sine of the angle between
|$L_1$| and
|$L_2$|.
Given an |$n$|-plane |$L$|, we will denote the orthogonal projection onto |$L$| by |$\Pi _L$|.
For a Borel measure
|$\nu $| on
|$\mathbb{R}^d$| and a Borel map
|$T:\mathbb{R}^d\to \mathbb{R}^d$|, we denote by
|$T_*\nu $| the pushforward of
|$\nu $|, that is, a measure on
|$\mathbb{R}^d$| such that for all Borel
|$A\subset \mathbb{R}^d$| In expressions of the form
|$W_p(\mu _1,a\mu _2)$|, the letter
|$a$| will always mean the unique constant for which the total mass of
|$a\mu _2$| is equal to that of
|$\mu _1$|. In other words,
It may happen that
|$a$| appears in the same line several times, and every time refers to a different quantity. We hope that this will not cause too much confusion.
Let us once and for all fix measure |$\mu $|, an |$n$|-dimensional |$1$|-Lipschitz graph |$\Gamma $|, and a constant |$0<\varepsilon < 1$| for which we are proving Lemma 1.10. We fix also a coordinate system such that |$\Gamma = \{(x,A(x)): x\in \mathbb{R}^{n}\}\subset \mathbb{R}^d,$| where |$A:\mathbb{R}^n\rightarrow \mathbb{R}^{d-n}$| is a |$1$|-Lipschitz map.
We will denote by
|$L_0$| the subspace of
|$\mathbb{R}^d$| formed by the points whose last
|$d-n$| coordinates are zeros, so that
|$\Gamma $| is a graph over
|$L_0$|. We will write
|$\Pi _0$| and
|$\Pi _{\Gamma }$| to denote projections onto
|$L_0$| and
|$\Gamma ,$| respectively, orthogonal to
|$L_0$|. For the sake of convenience, instead of dealing with the usual surface measure on
|$\Gamma $| we will work with
which is comparable to
|${ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{\Gamma } }$| (note that for
|$x\in \Gamma $| we have
|$\sigma (B(x,r))\approx r^n$|).
Given a ball |$B\subset \mathbb{R}^d$| centered at |$\Gamma $| denote by |$L_B$| an |$n$|-plane minimizing |$\alpha _{\sigma ,2}(B)$| (note that for an open ball |$B$|, it could happen that |$L_B\cap B=\varnothing $|). Concerning the existence of minimizers, it follows easily from the fact that |$W_2$| metrizes weak convergence of measures (see e.g., [31, Theorem 6.9]), from good compactness properties of weak convergence, and from the fact that the minimizing sequence is of the special form |$\varphi _B a_{B,L_k}{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L_k} }$|. There may be more than one minimizing plane; if that happens, we simply choose one of them.
For any Radon measure
|$\nu $| such that
|$\nu (B)>0$| we set
Clearly,
|$\widehat{\alpha }_{\nu ,2}(B)\ge \alpha _{\nu ,2}(B)$|. We will show that
which implies (
1.11).
2.2 |$\Gamma $|-cubes
We denote by
|$\mathcal{D}_{\mathbb{R}^n}, \mathcal{D}_{\mathbb{R}^d}$| the dyadic lattices on
|$L_0$| and
|$\mathbb{R}^d$|, respectively. We assume the cubes to be half open-closed, that is, of the form
where
|$i=n$| for
|$\mathcal{D}_{\mathbb{R}^n}$|,
|$i=d$| for
|$\mathcal{D}_{\mathbb{R}^d}$|, and
|$k_1,\ \dots ,\ k_i,\ j,$| are arbitrary integers. The sidelength of
|$Q$| as above will be denoted by
|$\ell (Q)=2^{-j}$|.
The dyadic lattice on
|$\Gamma $| is defined as
The elements of
|$\mathcal{D}_{\Gamma }$| will be called
|$\Gamma $|-cubes, or just cubes. For every
|$Q\in \mathcal{D}_{\Gamma }$| and the corresponding
|$Q_0\in \mathcal{D}_{\mathbb{R}^n}$| we define the sidelength of
|$Q$| as
|$\ell (Q)= \ell (Q_0)$|, and the center of
|$Q$| as
|$z_Q=\Pi _{\Gamma }(z_{Q_0}), $| where
|$z_{Q_0}$| is the center of
|$Q_0$|. We set
where
|$\Lambda =\Lambda (n)>1$| is a constant fixed during the proof. We define also
Recall that
|$L_{B_Q}$| is the
|$n$|-plane minimizing
|$\alpha _{\sigma ,2}(B_Q)$| and that
|$\varphi _{B_Q}$| was defined in (
1.2). The “
|$V$|” in
|$V(Q)$| stands for “vertical,” since
|$V(Q)$| is a sort of vertical cube. Note also that
|$Q\subset B_Q\subset \widetilde{B}_Q$| and
|$r(B_Q)\approx \ell (Q)$|.
Given |$P\in \mathcal{D}_{\Gamma }$|, we will write |$\mathcal{D}_{\Gamma }(P)$| to denote the family of |$Q\in \mathcal{D}_{\Gamma }$| such that |$Q\subset P$|.
Remark 2.1.Let us fix |$R\in \mathcal{D}_{\Gamma }$| with |$\ell (R)=1$| for which we are proving Lemma 1.10. Note that for |$x\in R$| and |$0<r<1$| computing |$\alpha _{\mu ,2}(x,r)$| involves only |${ \left .\kern -\nulldelimiterspace \mu \right |{{\hspace *{-0.0001pt}}}_{B} }$|, where |$B$| is some ball containing |$R$|. Thus, when proving (2.1), we may and will assume that |$\mu $| is a finite, compactly supported measure.
For every
|$e\in \{0,1\}^n$| consider the translated dyadic grid on
|$L_0$| and the corresponding translated dyadic grid on
|$\Gamma $| Let us also define the translated dyadic lattice on
|$\mathbb{R}^d$| The union of all translated dyadic grids on
|$\Gamma $| will be called an extended grid on
|$\Gamma $|:
For each
|$Q\in \widetilde{\mathcal{D}}_{\Gamma }$| we define
|$B_Q,\ \varphi _Q$| etc. in the same way as for
|$Q\in \mathcal{D}_{\Gamma }$|.
The main reason for introducing the extended grid is to use a variant of the well-known one-third trick, which was already used in this context by Okikiolu [20].
Lemma 2.2.There exists |$k_0=k_0(n,\Lambda )>0$| such that for every |$Q\in \mathcal{D}_{\Gamma }$| with |$\ell (Q)\leq 2^{-k_0}$| there exists |$P_Q\in \widetilde{\mathcal{D}}_{\Gamma }$| satisfying |$\ell (P_Q)=2^{k_0}\ell (Q)$| and |$3\widetilde{B}_Q\subset V(P_Q)$|.
Proof.First, we remark that for every |$j\geq 0$| and for every |$x\in L_0$| there exists |$e\in \{0,1\}^n$| and |$P\in \mathcal{D}^e_{\mathbb{R}^n} $| with |$\ell (P)=2^{-j}$| and |$x\in \frac{2}{3}P$|. For a nice proof of this fact see [17, Section 3].
Now, consider the point |$\Pi _0(z_Q)$|. If we take |$P\in \mathcal{D}^e_{\mathbb{R}^n}$| with |$\ell (P)=2^{k_0}\ell (Q)$| such that |$\Pi _0(z_Q)\in \frac{2}{3}P$|, we see that the |$n$|-dimensional ball |$B^n(\Pi _0(z_Q),9\Lambda{\operatorname{diam}}(Q))$| is contained in |$P$| as soon as |$\frac{2^{k_0}}{3}\ell (Q) \ge 9\Lambda{\operatorname{diam}}(Q).$|
It follows that for |$P_Q\in \mathcal{D}^e_{\Gamma }$| such that |$\Pi _0(P_Q)=P$| we have |$3\widetilde{B}_Q\subset V(P_Q)$|.
It may happen that the cube |$P_Q\in \widetilde{\mathcal{D}}_{\Gamma }$| from the lemma above is not unique, so let us just fix one for each |$Q\in \mathcal{D}_{\Gamma }$|. The direction |$e\in \{0,1\}^n$| such that |$P_Q\in \mathcal{D}^e_{\Gamma }$| will be denoted by |$e(Q)$|, and the integer |$k$| such that |$\ell (P_Q)=2^{k_0}\ell (Q)=2^{-k}$| will be denoted by |$k(Q)$|.
We will use later on the fact that
2.3 Whitney cubes
A very useful tool for approximating the measure |$\mu $| close to |$\Gamma $| is Whitney cubes. For each |$e\in \{0,1\}^n$| we consider the decomposition of |$\mathbb{R}^d\setminus \Gamma $| into a family |$\mathcal{W}^e$| of Whitney dyadic cubes from |$\mathcal{D}^e_{\mathbb{R}^d}$|. That is, the elements of |$\mathcal{W}^e\subset \mathcal{D}^e_{\mathbb{R}^d}$| are pairwise disjoint, their union equals |$\mathbb{R}^d\setminus \Gamma $|, and there exist dimensional constants |$K>20, D_0\ge 1$| such that for every |$Q\in \mathcal{W}^e$|
a) |$10Q\subset \mathbb{R}^d\setminus \Gamma $|,
b) |$KQ\cap \Gamma \ne \varnothing $|,
c) there are at most |$D_0$| cubes |$Q^{\prime}\in \mathcal{W}^e$| such that |$10Q\cap 10Q^{\prime}\ne \varnothing $|. Furthermore, for such cubes |$Q^{\prime}$| we have |$\ell (Q^{\prime})\approx \ell (Q)$|.
For the proof see [
23, Chapter VI, §1] or [
15, Appendix J]. Moreover, it is not difficult to construct Whitney cubes in such a way that if
|$y\in \Gamma ,\ Q\in \mathcal{W}^e$| and
|$B(y,r)\cap Q\ne \varnothing $|, then
see [
26, Section 2.3] for details. We set
and also, for every
|$Q\in \mathcal{D}_{\Gamma }$| satisfying
|$\ell (Q)\le 2^{-k_0}$|,
Remark 2.3.It follows immediately from the definition of
|$k(Q)$| that if
|$P\in \mathcal{W}_Q$|, then
2.4 Constants and parameters
For the reader’s convenience, we collect here all the constants that appear in the proof. We indicate what depends on what, and when each constant gets fixed. As usually, the notation “|$C_1=C_1(C_2)$|” means that |$C_1$| is a constant whose precise value depends on some parameter |$C_2$|. An absolute constant is a constant that does not depend on any other parameter.
Recall that the measure |$\mu $|, the Lipschitz graph |$\Gamma $|, and the constant |$0<\varepsilon < 1$| were fixed at the very beginning, in Subsection 2.1, and also that |${\operatorname{\textrm{Lip}}}(\Gamma )\le 1$|. Moreover, in Remark 2.1, we fixed |$R\in \mathcal{D}_{\Gamma }$| with |$\ell (R)=1$|, and without loss of generality we assumed that |$\mu $| is finite and compactly supported.
|$\Lambda $| is an absolute constant from the definition of |$\widetilde{B}_Q=\Lambda B_Q$|, it is fixed in (5.2) (actually, one can take |$\Lambda =9\sqrt{2}$|);
|$k_0=k_0(n,\Lambda )$| is an integer from Lemma 2.2;
|$\varepsilon _0=\varepsilon _0(n)$| is the constant from Lemma 3.2;
|$K$| and |$D_0$| are dimensional constants from the definition of Whitney cubes;
|$\lambda =\lambda (k_0,K,n,d)>3$| is fixed in Lemma 5.1, more precisely in equation (5.1) (one can choose e.g., |$\lambda =C(n,d)\,K\,2^{k_0}$|);
|$M=M(\varepsilon ,\lambda ,\Lambda ,n,d,\mu )>100$| is chosen in Lemma 4.2.
3 Estimates of |$\alpha _2$| Coefficients
We begin by showing the relationship between |$b\beta _2$| and |$\alpha _2$| coefficients.
Lemma 3.1.Suppose that
|$\nu $| is a Radon measure,
|$B$| is a ball satisfying
|$\nu (B)\approx r(B)^n$|, and
|$L$| is a plane minimizing
|$\alpha _{\nu ,2}(B)$|. Then
Proof.Let
|$\pi $| be a minimizing transport plan between
|$\varphi _{{B}}\nu $| and
|$a_{B,L}\varphi _{{B}}{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L} }$| (where
|$a_{B,L}$| is as in the definition of
|$\alpha _{\nu ,2}(B)$|; note that
|$a_{B,L}\gtrsim 1$| since
|$\nu (B)\approx r(B)^n$|). Then, by the definition of a transport plan, and the fact that
|$\varphi _B\equiv 1$| on
|$B$|,
Recall that |$\Gamma $| is an |$n$|-dimensional |$1$|-Lipschitz graph that was fixed in Subsection 2.1, |$\sigma =(\Pi _{\Gamma })_*{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L_0} }$|, and that |$L_Q$| is the plane minimizing |$\alpha _{\sigma ,2}(B_Q)$|. The next lemma states that |$\Gamma $|-cubes |$Q$| whose best approximating planes |$L_Q$| form big angle with |$L_0$| have large |$\alpha _2$| numbers. In consequence, there are very few cubes of this kind (in fact, they form a Carleson family).
Lemma 3.2.There exists
|$\varepsilon _0=\varepsilon _0(n)>0$| such that for every
|$Q\in \widetilde{\mathcal{D}}_{\Gamma }$| with
|$\measuredangle (L_Q,L_0)>1-\varepsilon _0$| we have
Proof.Suppose |$Q\in \widetilde{\mathcal{D}}_{\Gamma }$|. Take |$x_k\in 0.5B_Q\cap \Gamma ,\ k=1,\dots ,n,$| such that |$|x_k-z_Q|=0.5r(B_Q),$| and the vectors |$\{\Pi _0(x_k-z_Q)\}_k$| form an orthogonal basis of |$L_0$|. Set |$B_0=B(z_Q,\eta r(B_Q)),\ B_k=B(x_k,\eta r(B_Q))$|, where |$\eta =\eta (n)<0.01$| is a small dimensional constant that will be chosen later. Clearly, for all |$k=0,\dots ,n$| we have |$B_k\subset B_Q$|.
If
|$L_Q$| does not intersect one of the balls, say
|$B_k$|, then by Lemma
3.1 Now suppose that |$L_Q$| intersects all |$B_k$|. Then, since |$B_k$| are all centered at |$\Gamma $|, |$\Gamma $| is |$1$|-Lipschitz, and |$x_k$| were chosen appropriately, it is easy to see that for |$\eta =\eta (n)$| and |$\varepsilon _0=\varepsilon _0(n)$| small enough we have |$\measuredangle (L_Q,L_0)\le 1-\varepsilon _0$|.
The following two lemmas will let us compare |$\alpha _2$| coefficients at similar scales, so that we can pass from the integral form of |$\alpha _2$| square function (1.4) to its dyadic variant.
Lemma 3.3Let
|$\nu $| be a finite measure supported inside the ball
|$B^{\prime}\subset \mathbb{R}^d$|. Let
|$B\subset \mathbb{R}^d$| be another ball such that
|$3B\subset B^{\prime}$|, with
|$r(B)\approx r(B^{\prime})$| and
|$\nu (B)\approx \nu (B^{\prime})\approx r(B)^n$|. Let
|$L$| be an
|$n$|-plane that intersects
|$B$| and let
|$f:L\rightarrow [0,1]$| be a function such that
|$f\equiv 1$| on
|$3B$|,
|$f\equiv 0$| on
|$L\setminus B^{\prime}$|. Then
Recall that |$\widehat{\alpha }_{\mu ,2}(B) = \alpha _{\mu ,2,L_B}(B)$|.
Lemma 3.4.Let
|$\nu $| be a Radon measure on
|$\mathbb{R}^d$|,
|$B_1,B_2\subset \mathbb{R}^d$| be balls centered at
|$\Gamma $| with
|$3B_1\subset B_2,\ r(B_1)\approx r(B_2),\ \nu (B_1)\approx \nu (3B_2)\approx r(B_2)^n$|. Then we have
Proof.We begin by noting that since |$\nu (3B_1)\lesssim \nu (B_1)$|, we have |$\widehat{\alpha }_{\nu ,2}(B_1)\lesssim 1$|. As a result, it suffices to prove the lemma under the assumption |${\alpha }_{\sigma ,2}(B_2)\leq \delta $| for some small constant |$\delta>0$|, which will be fixed later on.
For brevity of notation set
|$\varphi _i = \varphi _{B_i},\ L_i = L_{B_i}$| for
|$i=1,2.$| We want to apply Lemma
3.3 with
|$ B = B_1,\, B^{\prime} = 3B_2,\, \nu = \varphi _2\nu ,\, L=L_2,\, f = { \left .\kern -\nulldelimiterspace \varphi _2 \right |{{\hspace *{-0.0001pt}}}_{L} }.$| What needs to be checked is that
|$B_1\cap L_2\ne \varnothing $|. If this intersection were empty, we would have by Lemma
3.1 Thus, if
|$B_1\cap L_2= \varnothing $|, then
|${\alpha }_{\sigma ,2}(B_2)\gtrsim 1$| and we arrive at a contradiction with
|${\alpha }_{\sigma ,2}(B_2)\leq \delta $| for
|$\delta $| small enough.
So the assumptions of Lemma
3.3 are met and we get
Similarly, taking
|$\nu = \varphi _2\sigma $| and
|$B = B_1,\, B^{\prime} = 3B_2,\, L=L_2,\, f={ \left .\kern -\nulldelimiterspace \varphi _2 \right |{{\hspace *{-0.0001pt}}}_{L} }$| it follows that
Using the triangle inequality, the scaling of
|$W_2$|, the fact that
|$L_1$| minimizes
|$\alpha _{\sigma ,2}(B_1)$|, and the inequalities above, we arrive at
Dividing both sides by
|$r(B_1)^{1+n/2}$| yields
For technical reasons we define a modified version of
|$\alpha _2$| coefficients. For any
|$Q\in \widetilde{\mathcal{D}}_{\Gamma }$| set
where
|$\varepsilon _0$| is as in Lemma
3.2, and
Recall that
|$\sigma =(\Pi _{\Gamma })_*{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L_0} }\approx{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{\Gamma } }$|.
Lemma 3.5.Let
|$\nu \ll \sigma $|,
|$B\subset \mathbb{R}^d$| be a ball,
|$Q\in \widetilde{\mathcal{D}}_{\Gamma }$|. Suppose they satisfy
|$3B\subset V(Q)\cap B_Q,\ r(B)\approx \ell (Q),\ \nu (B)\approx \nu (Q)\approx \ell (Q)^n$|. Then
Proof.Since |$\nu (B)>0$| and |${\operatorname{supp}}\nu \subset \Gamma $|, we certainly have |$\sigma (3B)\approx r(B)^n$|. Moreover, our assumptions imply that |$\nu (3B)\approx \nu (B)$|, and so |$\widehat{\alpha }_{\nu ,2}(B)\lesssim 1$|. Thus, we may argue in the same way as in the beginning of the proof of Lemma 3.4 to conclude that, without loss of generality, |$L_Q\cap B \ne \varnothing $|. Similarly, we may assume that |$\measuredangle (L_Q,L_0)\le 1-\varepsilon _0$|, because otherwise it would follow from Lemma 3.2 that |$\alpha _{\sigma ,2}(B_Q)$| is big.
Now, since |$\measuredangle (L_Q,L_0)\le 1-\varepsilon _0$|, we get that |$V(Q)\cap L_{Q}\subset \kappa B_Q$| for some constant |$\kappa $| depending on |$\varepsilon _0$|; we may assume |$\kappa>10$|.
We use Lemma
3.3 twice, first with
|$B=B,\ B^{\prime}=\kappa B_Q,\ \nu = \psi _Q\nu ,\ L=L_{Q},\ f={ \left .\kern -\nulldelimiterspace \psi _Q \right |{{\hspace *{-0.0001pt}}}_{L} }$|, and then with
|$B=B,\ B^{\prime}=\kappa B_Q,\ \nu = \varphi _Q\sigma ,\ L=L_{Q},\ f = { \left .\kern -\nulldelimiterspace \varphi _Q \right |{{\hspace *{-0.0001pt}}}_{L} }$|, to obtain
By the triangle inequality, the scaling of
|$W_2$|, the fact that
|$L_B$| minimizes
|$\alpha _{\sigma ,2}(B)$|, and the estimates above we get
Dividing both sides by
|$r(B)^{1+n/2}$| yields the desired result.
We will need an estimate that is a slight modification of [25, Lemma 6.2]. In order to formulate it, let us introduce the usual martingale difference operator. Recall that if |$P\in \mathcal{D}_{\Gamma }^e$| for some |$e\in \{0,1\}^n$|, then |$P^{\prime}\in \mathcal{D}_{\Gamma }^e$| is a child of |$P$| if |$P^{\prime}\subset P$| and |$\ell (P^{\prime})=\frac{1}{2}\ell (P)$|. Children of |$P\in \mathcal{D}_{\mathbb{R}^n}^e$| are defined analogously.
Given
|$g\in L^1_{loc}(\sigma )$| and
|$P\in \mathcal{D}_{\Gamma }^e$| we set
Given
|$h\in L^1_{loc}({ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L_0} })$| and
|$P\in \mathcal{D}^e_{\mathbb{R}^n}$| we define analogously
|$\Delta _P h(x)$|:
Recall that for
|$g\in L^2(\sigma )$| we have
in the sense of
|$L^2(\sigma )$|, and
for details see for example [
10, Part I] or [
15, Section 5.4.2].
Let us introduce also some additional vocabulary. We will say that a family of cubes |$\mathsf{Tree}\subset \mathcal{D}_{\Gamma }^e$| is a tree with root |$R_0$| if it satisfies:
(T1) |$R_0\in \mathsf{Tree}$|, and for every |$Q\in \mathsf{Tree}$| we have |$Q\subset R_0$|,
(T2) for every |$Q\in \mathsf{Tree}$| such that |$Q\neq R_0$|, the parent of |$Q$| also belongs to |$\mathsf{Tree}$|.
By iterating (T2), we can actually see that if |$Q\in \mathsf{Tree}$|, then all the intermediate cubes |$Q\subset P\subset R_0$| also belong to |$\mathsf{Tree}$|.
The stopping region of |$\mathsf{Tree}$|, denoted by |$\mathsf{Stop}(\mathsf{Tree})$|, is the family of all the cubes |$P\in \mathcal{D}^e_{\Gamma }(R_0)$| satisfying:
It is easy to see that the cubes from |$\mathsf{Stop}(\mathsf{Tree})$| are pairwise disjoint, and that they are maximal descendants of |$R_0$| not belonging to |$\mathsf{Tree}$|. Moreover, for every |$x\in R_0$|, we have either |$x\in P$| for some |$P\in \mathsf{Stop}(\mathsf{Tree})$| or |$x\in Q_k$| for a sequence of cubes |$\{Q_k\}_k\subset \mathsf{Tree}$| satisfying |$\ell (Q_k)\xrightarrow{k\to \infty }0.$|
The following lemma is a modified version of [25, Lemma 6.2].
Lemma 3.6.Let
|$\nu $| be a Radon measure on
|$\Gamma $| of the form
|$\nu = g\sigma $|, with
|$g\in L^1(\sigma ),\ 0\le g\le C$| for some
|$C>1$|. Consider a cube
|$Q\in \widetilde{\mathcal{D}}_{\Gamma }$| and a tree
|$\mathcal{\mathsf{Tree}}$| with root
|$Q$|. Suppose that for all
|$P\in \mathcal{\mathsf{Tree}}$| we have
|$C^{-1}\ell (P)^n\le \nu (P)\le C\ell (P)^n$|. Then, we have
and
In the proof we will use [25, Remark 3.14]. It can be thought of as a flat counterpart of Lemma 3.6 — it is valid for more general measures |$\nu $| (even more general than what we state below), but at the price of assuming |$\Gamma =L_0\simeq \mathbb{R}^n$|.
Lemma 3.7(simplified [
25, Remark 3.14]).
Suppose
|$Q\in \mathcal{D}_{\mathbb{R}^n}$| is a dyadic cube in
|$\mathbb{R}^n$| and
|$\mathcal{\mathsf{Tree}}$| is a tree with root
|$Q$|. Consider a measure
|$\nu =g{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{Q} }$| such that
|$\nu (P)\approx \ell (P)^n$| for
|$P\in \mathsf{Tree}$|. Then,
Remark 3.8.The definition of a tree of dyadic cubes in [25, p. 492] is slightly more restrictive than the one we adopted. Apart from conditions (T1) and (T2), they also satisfy
Equivalently, if
|$Q\in \mathsf{Tree}$|, and
|$Q$| is not the root, then all the brothers of
|$Q$| also belong to
|$\mathsf{Tree}$|. To underline the difference between the two notions, sometimes the terms
coherent and
semicoherent family of cubes are used. The former refers to trees satisfying (T1–T3), the latter to those satisfying (T1–T2).
Nevertheless, [25, Remark 3.14] cited above is true for both coherent and semicoherent families of cubes. That is, property (T3) is never used in the proof of either [25, Remark 3.14] or the preceding “key lemma” [25, Lemma 3.13].
We are finally ready to prove Lemma 3.6.
Proof of Lemma 3.6.Let
|$L=L_Q$|. If
|$\measuredangle (L,L_0)>1-\varepsilon _0$|, then by Lemma
3.2 and the definition of
|$\widetilde{\alpha }_{\nu ,2}(Q)$| and we are done. Now assume that
|$\measuredangle (L,L_0)\le 1-\varepsilon _0$|.
Let |$\tilde{\Pi }_L$| be the projection from |$\mathbb{R}^d$| onto |$L$|, orthogonal to |$L_0$|. We also consider the flat measure |$\sigma _L = (\tilde{\Pi }_L)_*\sigma = (\tilde{\Pi }_L)_*{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L_0} } = c_L{ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L} }$| (recall that |$\Pi _{\Gamma }$| is a projection orthogonal to |$L_0$|, so that |$\tilde{\Pi }_L\circ \Pi _{\Gamma } = \tilde{\Pi }_L$|). Define |$g_0:L_0\rightarrow \mathbb{R}$| as |$g_0=g\circ \Pi _{\Gamma }$|.
By triangle inequality
The first term from the right hand side is estimated by
|$\alpha _{\sigma ,2}(B_Q)$|:
We estimate the second term from the right hand side of (
3.7) using the fact that
|${ \left .\kern -\nulldelimiterspace \Pi _0 \right |{{\hspace *{-0.0001pt}}}_{L\cap V(Q)} }: L\cap V(Q) \rightarrow L_0\cap V(Q)$| is bilipschitz, with a constant depending on
|$\varepsilon _0$| (because
|$\measuredangle (L,L_0)\le 1-\varepsilon _0$|):
By Lemma
3.7 we have
where
|$\mathcal{\mathsf{Tree}}_{\mathbb{R}^n}\subset \mathcal{D}_{\mathbb{R}^n}$| is the tree formed by cubes
|$P^{\prime}=\Pi _0(P),\ P\in \mathcal{\mathsf{Tree}}$|, and
|$L^2(L_0)=L^2({ \left .\kern -\nulldelimiterspace \mathscr{H}^n \right |{{\hspace *{-0.0001pt}}}_{L_0} })$|.
Using (
3.7) and the estimates above we get
We conclude the proof of (
3.5) by noting that for each
|$P\in \mathcal{\mathsf{Tree}}$| The estimate (
3.6) follows trivially from the fact that if
|$e\in \{0,1\}^n$| is such that
|$Q\in \mathcal{D}_{\Gamma }^e$|, then
We would like to use Lemma 3.6 also on measures with unbounded density. An approximation argument allows us to get rid of the boundedness assumption, at least if we assume additionally that |$\nu (B_P)\le C\ell (P)^n$| for |$P\in \mathsf{Tree}$|.
Lemma 3.9.Let
|$\nu = g\sigma $| with
|$g\in L^1(\sigma ),\ g\ge 0$|. Consider a cube
|$Q\in \widetilde{\mathcal{D}}_{\Gamma }$| and a tree
|$\mathcal{\mathsf{Tree}}$| with root
|$Q$|. Suppose there exists
|$C>1$| such that for all
|$P\in \mathcal{\mathsf{Tree}}$| we have
|$C^{-1}\ell (P)^n\le \nu (P)\le \nu (B_P)\le C\ell (P)^n$|. Then, we have
and
We divide the proof into smaller pieces. Let
|$\mathsf{Stop}=\mathsf{Stop}(\mathsf{Tree})$|. First, we define the set of good points as
Note that the points from
|$x\in G$| are not contained in any stopping cube, and so there are arbitrarily small cubes
|$P\in \mathcal{\mathsf{Tree}}$| containing
|$x$|. We introduce the following approximating measure:
It is clear that for
|$Q\in \mathsf{Tree}\cup \mathsf{Stop}$| we have
|$\tilde{\nu }(Q)=\nu (Q)$|. Moreover, for
|$Q\in \mathsf{Tree}$| On the other hand, each
|$S\in \mathsf{Stop}$| is a child of some
|$Q\in \mathsf{Tree}$|, so that
Proof.It is trivial that for
|$x\in S\in \mathsf{Stop}$| the density is constant and
On the other hand, by the definition of
|$\tilde{\nu }$|, for
|$\sigma $|-a.e.
|$x\in G$| we have
|$\frac{d\tilde{\nu }}{d\sigma }(x)=\frac{d\nu }{d\sigma }(x)=g(x)$|. Moreover, for
|$\sigma $|-a.e.
|$x\in G$| we have a sequence of cubes
|$Q_j\in \mathcal{\mathsf{Tree}}$| such that
|$\ell (Q_j)=2^{-j}$| and
|$x\in Q_j$|. Note that there exists some integer
|$j_0>0$| (depending on dimension) such that
It follows that
Thus,
Let
|$\tilde{g}\in L^1(\sigma )\cap L^{\infty }(\sigma )$| be such that
|$\tilde{\nu }=\tilde{g}\sigma $|. Applying Lemma
3.6 to
|$\tilde{\nu }$| yields
and
Observe that for
|$P\in \mathsf{Tree}$| we have
Indeed, for
|$x\notin P$|, both quantities are equal to zero. For
|$x\in P^{\prime}\subset P$|, where
|$P^{\prime}$| is a child of
|$P$|, we have
|$P^{\prime}\in \mathsf{Tree}\cup \mathsf{Stop}$|, and so
Hence, (
3.9) follows immediately from (
3.13).
Since for
|$S\in \mathsf{Stop}$| we have
|$\tilde{\nu }(S)=\nu (S)$|, we can use (
3.14) to transform (
3.12) into
In order to reach (
3.8) and finish the proof of Lemma
3.9, we only need to show how to pass from the estimate on
|$\widetilde{\alpha }_{\tilde{\nu },2}(Q)$| (
3.15) to one on
|$\widetilde{\alpha }_{{\nu },2}(Q)$|.
Proof of Lemma 3.9.Recall that if
|$\measuredangle (L_Q,L_0)>1-\varepsilon _0$|, then
|$\widetilde{\alpha }_{\nu ,2}(Q)=1$|, but at the same time
|$\alpha _{\sigma ,2}(B_Q)\gtrsim 1$| by Lemma
3.2, so this case is trivial. Suppose
|$\measuredangle (L_Q,L_0)\le 1-\varepsilon _0$|. We define a transport plan between
|$\psi _Q \tilde{\nu }$| and
|$\psi _Q\nu $|:
and we estimate
From the triangle inequality, the bound above, and (
3.15), we get that
4 Approximating Measures
We will construct a family of measures on
|$\Gamma $| that will approximate
|$\mu $|. For every Whitney cube
|$P\in \mathcal{W}^e$| we define
|$g_P:\Gamma \rightarrow \mathbb{R}$| as
Note that
|$\int g_P\ \textrm{d}\sigma = \mu (P)$|.
Given
|$e\in \{0,1\}^n,\ k\in \mathbb{Z}$|, we define the following measures supported on
|$\Gamma $|:
Moreover, for every
|$Q\in \mathcal{D}_{\Gamma }$| with
|$\ell (Q)\le 2^{-k_0}$| we set
Note that, since we assume
|$\mu $| is finite and compactly supported (see Remark
2.1), all the measures
|$\nu ^e,\nu ^e_k,$| are also finite and compactly supported.
We defined |$\nu _Q$| in such a way that, for “good” |$Q\in \mathcal{D}_{\Gamma }$|, the measures |${ \left .\kern -\nulldelimiterspace \mu \right |{{\hspace *{-0.0001pt}}}_{B_Q} }$| and |${ \left .\kern -\nulldelimiterspace \nu _Q \right |{{\hspace *{-0.0001pt}}}_{B_Q} }$| are close in the |$W_2$| distance. This will be shown in Section 5. The rest of this section is dedicated to the construction of a tree of “good cubes.”
Recall that |$R\in \mathcal{D}_{\Gamma }$| is a |$\Gamma $|-cube fixed in Remark 2.1, and |$0<\varepsilon \ll 1$| is a small constant fixed in Subsection 2.1.
Lemma 4.1.Let
|$\lambda>3$|. Then, there exist a big constant
|$M=M(\varepsilon ,\lambda ,\Lambda ,n,d,\mu )\gg 1$| and a tree of good cubes
|$\mathcal{\mathsf{Tree}}=\mathsf{Tree}(\lambda ,\varepsilon ,M)\subset \mathcal{D}_{\Gamma }(R)$| with root
|$R$|, such that for every
|$Q\in \mathcal{\mathsf{Tree}}$| we have
the stopping region
|$\mathsf{Stop} = \mathsf{Stop}(\mathsf{Tree})$| is small:
and
|$\widehat{\alpha }_{\nu _Q,2}(\widetilde{B}_Q)^2$| satisfy the packing condition:
We split the proof into several small lemmas. First, we define auxiliary families of good cubes in |$\mathcal{D}^e_{\Gamma }$| using a standard stopping time argument.
For each
|$e\in \{0,1\}^n$| there exists a finite collection of cubes
|$\{R_i^e\}\subset \mathcal{D}^e_{\Gamma }$| such that
|$\ell (R_i^e)=1,\ R_i^e\cap R\ne \varnothing .$| Set
|$R^e= \bigcup _i R_i^e$|. Let
|$M\gg 1$| be constant to be fixed later on, and set
|$\mathsf{H}\mathsf{D}$| and
|$\mathsf{L}\mathsf{D}$| stand for “high density” and “low density.” Let
|$\mathsf{Stop}^e\subset \mathcal{D}^e_{\Gamma }$| be the family of maximal with respect to inclusion cubes from
|$\mathsf{H}\mathsf{D}_{\nu ,0}^{e}\cup \mathsf{H}\mathsf{D}_{\mu ,0}^{e}\cup \mathsf{L}\mathsf{D}_{0}^e$|, and set
|$\mathsf{H}\mathsf{D}_{\nu }^e= \mathsf{H}\mathsf{D}_{\nu ,0}^{e}\cap \mathsf{Stop}^e,\ \mathsf{H}\mathsf{D}_{\mu }^e= \mathsf{H}\mathsf{D}_{\mu ,0}^{e}\cap \mathsf{Stop}^e,\ \mathsf{L}\mathsf{D}^e= \mathsf{L}\mathsf{D}_{0}^e\cap \mathsf{Stop}^e$|. Note that cubes from
|$\mathsf{Stop}^e$| are pairwise disjoint. We define
|$\mathcal{\mathsf{Tree}}^e$| as the family of those cubes from
|$\bigcup _i\mathcal{D}^e_{\Gamma }(R^e_i)$|, which are not contained in any cube from
|$\mathsf{Stop}^e$|. Actually, this might not be a tree, but it is a finite collection of trees with roots
|$R_i^e$|.
Lemma 4.2.For
|$M=M(\varepsilon ,\lambda ,\Lambda ,n,d,\mu )$| big enough, we have for all
|$e\in \{0,1\}^n$|
Proof.Let
|$e\in \{0,1\}^n$|. It is easy to see that the measure of
|$\mathsf{L}\mathsf{D}^e$| is small: for every
|$Q\in \mathsf{L}\mathsf{D}^{e}$| we have
|$\mu (Q)\le M^{-1}\sigma (Q)$|, so
To estimate the measure of
|$\mathsf{H}\mathsf{D}_{\mu }^e$|, define for some big
|$N\gg 1$| Since
|$\mu $| is
|$n$|-rectifiable, the density
|$\Theta ^n(x,\mu )$| exists and is positive and finite
|$\mu $|-a.e. Moreover, recall that
|$\mu (\mathbb{R}^d)$| is finite. This implies that for
|$N=N(\mu ,\varepsilon ,n)$| big enough
We will show that, if
|$M$| is chosen big enough, then for all
|$Q\in \mathsf{H}\mathsf{D}^e_{\mu }$| we have
|$Q\subset H_N $|. Indeed, let
|$x\in Q\in \mathsf{H}\mathsf{D}^e_{\mu }$|. Then
|$B(x,2\lambda r(\widetilde{B}_Q)) \supset \lambda \widetilde{B}_Q$|, and so
for
|$M$| big enough with respect to
|$N, \lambda , \Lambda , n$|. Moreover, note that for
|$Q\in \mathsf{H}\mathsf{D}^e_{\mu }$| we have
and so taking
|$M$| big enough (depending on
|$\mu (\mathbb{R}^d), \lambda ,\Lambda , n$|) we can ensure that all
|$Q\in \mathsf{H}\mathsf{D}^e_{\mu }$| satisfy
|$2\lambda r(\widetilde{B}_Q)<1$|. Thus,
|$x\in H_N$|, and we conclude that
Since
|$\nu ^e$| is a finite
|$n$|-rectifiable measure, we can argue in the same way as above to get
Smallness of
|$\mu (\bigcup _{Q\in \mathsf{H}\mathsf{D}_{\nu }^e} Q)$| follows from the fact that
|${ \left .\kern -\nulldelimiterspace \mu \right |{{\hspace *{-0.0001pt}}}_{\Gamma } }\le \nu ^e$|. Putting this together with (
4.3) and (
4.4) we get
We take
|$M$| so big that the above holds for all
|$e\in \{0,1\}^n$|, and the proof is finished.
For each
|$e\in \{0,1\}^n,\ k= 0, 1, 2,\dots ,$| let
|$g^e_k$| be the density of
|$\nu ^e_k$| with respect to
|$\sigma $|. Note that, due to the definition of
|$\mathsf{Tree}^e$|, for any
|$Q\in \mathsf{Tree}^e$| we have
Hence, given a cube
|$Q\in \mathcal{\mathsf{Tree}}^e$| with
|$\ell (Q)=2^{-k}$|, we can estimate
|$\widetilde{\alpha }_{\nu ^e_k,2}(Q)^2$| using Lemma
3.9 (applied to
|$\nu ^e_k$| and
|$\mathsf{Tree}= \{P\in \mathcal{\mathsf{Tree}}^e\:\ P\subset Q \}$|) to get
The following lemma states that the right hand side of this estimate can be made independent of |$k$|.
Lemma 4.3.For all
|$Q\in \mathsf{Tree}^e$| with
|$\ell (Q)=2^{-k},\ k\ge 0,$| we have
Moreover,
Proof.We claim that for
|$P\in \mathcal{\mathsf{Tree}}^e$| with
|$\ell (P)\le 2^{-k}$| (in particular, for
|$P\in \mathcal{\mathsf{Tree}}^e$| such that
|$P\subset Q$|) we have
Indeed, for
|$x\not \in P$| both sides of (
4.8) are zero. For
|$x\in P^{\prime}\subset P$|, where
|$P^{\prime}\in \mathcal{\mathsf{Tree}}^e\cup \mathsf{Stop}^e$| is a child of
|$P$|, we have
The Whitney cubes
|$S$| in the sums above satisfy
|$\ell (S)>2^{-k}\ge \ell (P)$|, and moreover we have
|$\Pi _{\Gamma }(S)\in \mathcal{D}^e_{\Gamma }$|. Hence, we either have
|$P\cap \Pi _{\Gamma }(S)=P$| or
|$P\cap \Pi _{\Gamma }(S)=\varnothing $|. The same is true for
|$P^{\prime}$|. Moreover, we have
|$P\cap \Pi _{\Gamma }(S)\neq \varnothing $| if and only if
|$P^{\prime}\cap \Pi _{\Gamma }(S)\neq \varnothing $|. It follows that the right hand side above is equal to
Thus
|$\Delta ^{\sigma }_P g^e_k = \Delta ^{\sigma }_P g^e_0.$| Using this equality, and also the fact that
|$\nu ^e_k\le \nu ^e$|, we transform (
4.5) into
Concerning (
4.7), it is an immediate consequence of (
3.9) when we apply Lemma
3.9 to
|$\nu ^e_0$| and the trees
|$\{Q\in \mathsf{Tree}^e\:\ Q\subset R^e_i \}$| (recall that the union of such trees gives the entire
|$\mathsf{Tree}^e$|).
We finally define
|$\mathcal{\mathsf{Tree}}$| as the collection of cubes
|$Q\in \mathcal{D}_{\Gamma }$| such that for every
|$e\in \{0,1\}^n$| there exists
|$P\in \mathcal{\mathsf{Tree}}^e$| satisfying
|$\ell (P)=\ell (Q)$| and
|$P\cap Q\not = \varnothing $|. It is easy to check that
|$\mathcal{\mathsf{Tree}}$| is indeed a tree, and that the stopping cubes
|$\mathsf{Stop}=\mathsf{Stop}(\mathsf{Tree})$| satisfy
|$\bigcup _{Q\in \mathsf{Stop}}Q\subset \bigcup _e\bigcup _{Q\in \mathsf{Stop}^e}Q$|. Thus,
Moreover,
|$\mathcal{\mathsf{Tree}}\subset \mathcal{\mathsf{Tree}}_{(0,\dots ,0)}$|, so for all
|$Q\in \mathcal{\mathsf{Tree}}$| The only thing that remains to be shown is the packing condition (
4.1).
Proof.Recall that in Lemma 2.2 we defined a constant |$k_0>0$| such that for any |$Q\in \mathcal{D}_{\Gamma },\ \ell (Q)\le 2^{-k_0}$|, there exists a cube |$P_Q\in \widetilde{\mathcal{D}}_{\Gamma }$| satisfying |$3\widetilde{B}_Q\subset V(P_Q),\ \ell (P_Q)=2^{k_0}\ell (Q)$|. Since there are only finitely many |$Q\in \mathsf{Tree}$| with |$\ell (Q)> 2^{-k_0}$|, we may ignore them in the estimates that follow.
Suppose |$Q\in \mathcal{\mathsf{Tree}}$| and |$\ell (Q)\le 2^{-k_0}$|, let |$P_Q$| be as above. Recall that |$\nu _Q=\nu ^{e(Q)}_{k(Q)}$|, where |$e=e(Q),\ k=k(Q)$| are such that |$P_Q\in \mathcal{D}^e_{\Gamma }$| and |$\ell (P_Q)=2^{-k}$|.
We defined
|$\mathcal{\mathsf{Tree}}$| in such a way that necessarily
|$P_Q\in \mathcal{\mathsf{Tree}}^e$|. It follows from Lemma
3.5 applied with
|$\nu =\nu _Q,\ B=\widetilde{B}_Q,\ Q=P_Q,$| that
We use (
4.6) and the inequality above to obtain
Taking into account that each
|$P_Q\in \mathcal{\mathsf{Tree}}^e$| may correspond to only a bounded number of
|$Q\in \mathcal{\mathsf{Tree}}$|, and that
|$\ell (Q)\approx _{k_0}\ell (P_Q)$|, we get
The first sum from the right hand side is finite because
|$\sigma $| is uniformly rectifiable, see Theorem
1.1. We estimate the second sum by changing the order of summation:
The third sum is treated similarly:
Thus,
5 From Approximating Measures to |$\mu $|
To prove Lemma 1.10 we need to pass from the estimates on |$\widehat{\alpha }_{\nu _Q,2}(\widetilde{B}_Q)$| shown in Lemma 4.1 to estimates on |$\widehat{\alpha }_{\mu ,2}(B_Q)$|.
Recall that |$K>20$| is the constant such that for all Whitney cubes |$Q\in \mathcal{W}^e$| we have |$KQ\cap \Gamma \ne \varnothing $|, and |$k_0=k_0(n,\Lambda )$| is an integer from Lemma 2.2.
Lemma 5.1.There exists
|$\lambda =\lambda (k_0,K,n,d)>3$| such that if
|$M=M(\varepsilon ,\lambda ,\Lambda ,n,d,\mu )$| and
|$\mathsf{Tree}=\mathsf{Tree}(\lambda ,M,\varepsilon )$| are as in Lemma
4.1, then for all
|$Q\in \mathsf{Tree}$| with
|$\ell (Q)\le 2^{-k_0}$|
Proof.Let
|$Q\in \mathcal{\mathsf{Tree}}$| with
|$\ell (Q)\le 2^{-k_0}$|. We will define an auxiliary measure
|$\mu _Q$|. Set
It is easy to check that
for
|$\lambda =\lambda (k_0,K,n,d)$| big enough (e.g.,
|$\lambda =C(n,d)K2^{k_0}$| works). It is crucial that all cubes in
|$I_Q$| have sidelength bounded by
|$2^{k_0}\ell (Q)$|, otherwise no such
|$\lambda $| would exist.
Recall that the functions
|$g_P(x) = \frac{\mu (P)}{\ell (P)^n}\mathds{1}_{\Pi _{\Gamma }(P)}(x),\ P\in \mathcal{W}_Q,$| were used to define
|$\nu _Q$| at the beginning of Section
4. Let
Note that for
|$P\in \mathcal{W}_Q\setminus I_Q$| we have
|$a_P=0$|. The measure
|$\mu _Q$| is defined as
First, let us show that if |$\Lambda $| (the constant from the definition of |$\widetilde{B}_Q=\Lambda B_Q$|) is big enough, then |${ \left .\kern -\nulldelimiterspace \mu \right |{{\hspace *{-0.0001pt}}}_{3B_Q} } = { \left .\kern -\nulldelimiterspace \mu _Q \right |{{\hspace *{-0.0001pt}}}_{3B_Q} }$|. We need to check the following: if |$P\in \mathcal{W}^{e(Q)}$| is such that |$P\cap 3B_{Q}\ne \varnothing $|, then |$P\in I_Q$| and |$a_P=1$|.
Note that for all such
|$P$| we have
and so
|$P\in \mathcal{W}_Q$|. Furthermore, the fact that
|$P\cap 3B_{Q}\ne \varnothing $| and (
2.4) imply that
|$P\subset 9B_Q$|. Since
|$\Pi _{\Gamma }$| is
|$\sqrt{2}$|-Lipschitz continuous, and
|$B_Q$| is centered at
|$\Gamma $|, we get that for
|$\Lambda $| big enough (e.g.,
|$\Lambda =9\sqrt{2}$|)
We conclude that
|$P\in I_Q$| and
|$a_P=1$|, and so,
Set
|$L = L_{\widetilde{B}_Q}$|. We will apply Lemma
3.3 with
|$\nu =\mu _Q,\ B_1=B_Q,\ B_2=\lambda \widetilde{B}_Q,\ L=L,$| and
|$f=\varphi _{\widetilde{B}_Q}$|. Notice that
|${\operatorname{supp}}\mu _Q\subset \lambda \widetilde{B}_Q$| by (
5.1). Moreover, using the same trick as in the beginning of the proof of Lemma
3.4, we may assume that
|$L\cap B_Q\neq \varnothing $|. Since
|$\mu _Q(B_Q)\approx _M\mu _Q(\lambda \widetilde{B}_Q)\approx _M \ell (Q)^n$| by Lemma
4.1, and
|$r(\lambda \widetilde{B}_Q)=\lambda \Lambda r(B_Q)$|, the assumptions of Lemma
3.3 are met, and we get that
Applying the triangle inequality yields
To estimate
|$W_2(\mu _Q,\varphi _{\widetilde{B}_Q}\nu _Q)$| we define the following transport plan:
Then,
Putting together (
5.3), (
5.4), (
5.5), and the estimate above, we get
Finally, we use the triangle inequality, the estimate
|$\mu (3B_Q)\approx _{M} \sigma (B_Q)\approx r(B_Q)^n$|, and the fact that
|$L_Q$| minimizes
|$\alpha _{\sigma ,2}(B_Q)$|, to get
and so the proof is complete.
We are ready to finish the proof of Lemma 1.10.
Proof of Lemma 1.10.Recall that
|$R$| is a
|$\Gamma $|-cube with
|$\ell (R)=1$|, and
|$\varepsilon>0$| is an arbitrary small constant, and that they were both fixed in Subsection
2.1. Let
|$\lambda ,\ M,\ \mathsf{Tree},$| and
|$\mathsf{Stop}$| be as in Lemma
5.1 and Lemma
4.1. Set
By Lemma
4.1, we have
|$\mu (R^{\prime})\ge (1-\varepsilon )\mu (R)$|. Our aim is to show that
For any
|$x\in R^{\prime}$| we have arbitrarily small cubes from
|$\mathsf{Tree}$| containing
|$x$|. Hence, for any
|$k\ge k_0+3,\ r\in (2^{-k},2^{-k+1}],$| we have
|$3B(x,r)\subset B_Q$| for the cube
|$Q\in \mathcal{\mathsf{Tree}}$| containing
|$x$| and satisfying
|$\ell (Q)=2^{-k+3}$|. Thus, by Lemma
3.4,
Integrating both sides with respect to
|$r$| yields
The inequality above holds for all
|$x\in Q\cap R^{\prime}$|, so
Summing over all
|$Q\in \mathcal{\mathsf{Tree}}$| with
|$\ell (Q)=2^{-k+3}$|, and then over all
|$k\ge k_0+3$|, we get
On the other hand, for any
|$r>0$| we have
so
Thus, in order to prove Lemma
1.10, it suffices to show that the sums on the right hand side of (
5.6) are finite.
The finiteness of
follows by Theorem
1.1. To estimate the other sum we apply Lemma
5.1:
The first sum is finite by Lemma
4.1, the second by Theorem
1.1. Concerning the last sum, we may estimate it in the following way:
Thus,
Funding
This work was supported by Spanish Ministry of Economy and Competitiveness, through the María de Maeztu Programme for Units of Excellence in R&D [MDM-2014-0445]; Catalan Agency for Management of University and Research Grants [2017-SGR-0395]; Spanish Ministry of Science, Innovation and Universities [MTM-2016-77635-P].
Acknowledgments
The author would like to thank Xavier Tolsa for all his help and guidance. He is also grateful to the referees for many valuable comments.
References
[1] Azzam
, J.
, G.
David
, and T.
Toro
“
Wasserstein distance and the rectifiability of doubling measures: part I
.”
Math. Ann
.
364
, no.
1–2
(
2016
):
151
–
224
. .
[2] Azzam
, J.
, and M.
Mourgoglou
“
A characterization of 1-rectifiable doubling measures with connected supports
.”
Anal. PDE
9
, no.
1
(
2016
):
99
–
109
. .
[3] Azzam
, J.
, and X.
Tolsa
“
Characterization of |$\textrm{n}$|-rectifiability in terms of Jones’ square function: part II
.”
Geom. Funct. Anal.
25
, no.
5
(
2015
):
1371
–
412
. .
[4] J.
Azzam
, X.
Tolsa
, and T.
Toro
“
Characterization of rectifiable measures in terms of |$\upalpha $|-numbers
”. (
2018
): .
[5] Badger
, M.
“
Generalized rectifiability of measures and the identification problem
.”
Complex Anal. Synerg.
5
, no.
1
(
2019
):
2
. .
[6] Badger
, M.
, and R.
Schul
“
Multiscale analysis of 1-rectifiable measures: necessary conditions
.”
Math. Ann.
361
, no.
3–4
(
2015
):
1055
–
72
. .
[7] Badger
, M.
, and R.
Schul
“
Two sufficient conditions for rectifiable measures
.”
Proc. Amer. Math. Soc.
144
, no.
6
(
2016
):
2445
–
54
. .
[8] Badger
, M.
, and R.
Schul
“
Multiscale analysis of 1-rectifiable measures II: characterizations
.”
Anal. Geom. Metr. Spaces
5
, no.
1
(
2017
):
1
–
39
. .
[9] D.
Dąbrowski
“
Sufficient condition for rectifiability involving Wasserstein distance W|$_2$|
.” (
2019
): .
[10] David
, G.
Wavelets and Singular Integrals on Curves and Surfaces
,
vol. 1465 of Lecture Notes in Math
.
Berlin
:
Springer
,
1991
. .
[11] David
, G.
, and S.
Semmes
“
Singular integrals and rectifiable sets in |${\mathbb{R}}^{\textrm{n}}$|: au-delà des graphes lipschitziens
.”
Astérisque
193
(
1991
). .
[12] David
, G.
, and S.
Semmes
Analysis of and on Uniformly Rectifiable Sets
.
vol. 38 of Math. Surveys Monogr. Amer. Math. Soc.
1993
. .
[13] N.
Edelen
, A.
Naber
, and D.
Valtorta
“
Quantitative Reifenberg theorem for measures
.” (
2016
): .
[14] Garnett
, J.
, R.
Killip
, and R.
Schul
“
A doubling measure on |${\mathbb{R}}^{\textrm{d}}$| can charge a rectifiable curve
.”
Proc. Amer. Math. Soc.
138
, no.
5
(
2010
):
1673
–
9
. .
[15] Grafakos
, L.
Classical Fourier Analysis
,
vol. 249 of Grad. Texts in Math
.
New York, NY
:
Springer
,
2008
. .
[16] Jones
, P. W.
“
Rectifiable sets and the traveling salesman problem
.”
Invent. Math.
102
, no.
1
(
1990
):
1
–
15
. .
[17] Lerman
, G.
“
Quantifying curvelike structures of measures by using |${\textrm{L}}^2$| Jones quantities
.”
Comm. Pure Appl. Math.
56
, no.
9
(
2003
):
1294
–
365
. .
[18] Martikainen
, H.
, and T.
Orponen
“
Boundedness of the density normalised Jones’ square function does not imply 1-rectifiability
.”
J. Math. Pures Appl.
110
(
2018
):
71
–
92
. .
[19] Mattila
, P.
Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability
,
vol. 44 of Cambridge Stud. Adv. Math
.
Cambridge, UK
:
Cambridge Univ. Press
,
1995
. .
[20] Okikiolu
, K.
“
Characterization of subsets of rectifiable curves in R|$^n$|
.”
J. Lond. Math. Soc. (2)
,
46
, no.
2
(
1992
):
336
–
48
.
[21] Orponen
, T.
“
Absolute continuity and |$\upalpha $|-numbers on the real line
.”
Anal. PDE
12
, no.
4
(
2018
):
969
–
96
. .
[22] Pajot
, H.
“
Conditions quantitatives de rectifiabilité
.”
Bull. Soc. Math. France
125
, no.
1
(
1997
):
15
–
53
. .
[23] Stein
, E. M.
Singular Integrals and Differentiability Properties of Functions
,
vol. 30 of Princeton Math. Ser
.
Princeton, NJ, USA:
Princeton Univ. Press
,
1970
.
[24] Tolsa
, X.
“
Uniform rectifiability, Calderón–Zygmund operators with odd kernel, and quasiorthogonality
.”
Proc. Lond. Math. Soc.
3
, no.
98(2)
(
2009
):
393
–
426
. .
[25] Tolsa
, X.
“
Mass transport and uniform rectifiability
.”
Geom. Funct. Anal.
22
, no.
2
(
2012
):
478
–
527
. .
[26] Tolsa
, X.
“
Characterization of |$\textrm{n}$|-rectifiability in terms of Jones’ square function: part I
.”
Calc. Var. Partial Differential Equations
54
, no.
4
(
2015
):
3643
–
65
. .
[27] Tolsa
, X.
“
Rectifiable measures, square functions involving densities, and the Cauchy transform
.”
Mem. Amer. Math. Soc.
245
, no.
1158
(
2017
). .
[28] Tolsa
, X.
“
Rectifiability of measures and the |${\upbeta }_{\textrm{p}}$| coefficients
.”
Publ. Mat
.
63
, no.
2
(
2019
):
491
–
519
. .
[29] Tolsa
, X.
, and T.
Toro
“
Rectifiability via a square function and Preiss’ theorem
.”
Int. Math. Res. Not. IMRN
2015
, no.
13
(
2015
):
4638
–
62
. .
[30] C.
Villani
Topics in Optimal Transportation
,
volume 58 of Grad. Stud. Math. Amer. Math. Soc
.,
2003
. .
[31] Villani
, C.
Optimal Transport: Old and New
,
volume 338 of Grundlehren Math. Wiss.
Berlin, Heidelberg
:
Springer
,
2008
. .
© The Author(s) 2020. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.