Abstract
This note concerns low-dimensional intrinsic Lipschitz graphs, in the sense of Franchi, Serapioni, and Serra Cassano, in the Heisenberg group \({\mathbb {H}}^n\), \(n\in {\mathbb {N}}\). For \(1\leqslant k\leqslant n\), we show that every intrinsic L-Lipschitz graph over a subset of a k-dimensional horizontal subgroup \({\mathbb {V}}\) of \({\mathbb {H}}^n\) can be extended to an intrinsic \(L'\)-Lipschitz graph over the entire subgroup \({\mathbb {V}}\), where \(L'\) depends only on L, k, and n. We further prove that 1-dimensional intrinsic 1-Lipschitz graphs in \({\mathbb {H}}^n\), \(n\in {\mathbb {N}}\), admit corona decompositions by intrinsic Lipschitz graphs with smaller Lipschitz constants. This complements results that were known previously only in the first Heisenberg group \({\mathbb {H}}^1\). The main difference to this case arises from the fact that for \(1\leqslant k<n\), the complementary vertical subgroups of k-dimensional horizontal subgroups in \({\mathbb {H}}^n\) are not commutative.
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.
1 Introduction
This note deals with low-dimensional intrinsic Lipschitz graphs in Heisenberg groups. The n-th Heisenberg group \({\mathbb {H}}^n\) is the set \({\mathbb {R}}^{2n+1}\) with the group product “\(\cdot \)” given by
for \((x_1,\ldots ,x_{2n},t),(x_1',\ldots ,x_{2n}',t')\in {\mathbb {R}}^{2n+1}\). We equip \({\mathbb {H}}^n\) with the left-invariant metric
where \(\Vert (x,t)\Vert :=\max \{|x|,\sqrt{|t|}\}\) and \(|\cdot |\) denotes the usual Euclidean norm on \({\mathbb {R}}^{2n}\).
Intrinsic Lipschitz graphs (iLG) in \({\mathbb {H}}^n\) were introduced by Franchi, Serapioni, and Serra Cassano in [13]. The definition of codimension-1 iLG is motivated by their appearance in connection with a structure theorem for sets of finite perimeter [12], see also [21,22,23] for various applications of such sets. The definition of iLG makes perfect sense also for low dimensions, but there are fewer works that study specifically low-dimensional iLG. Recently, they have appeared in [1, 2]. To the best of our knowledge, 1-dimensional iLG in \({\mathbb {H}}^1\) were first applied by Orponen and the second author in [11] to prove the boundedness of certain singular integral operators on regular curves in \({\mathbb {H}}^1\). The results of the present paper constitute a first step towards the generalization of [11] to higher-dimensional Heisenberg groups. At the same time, we believe that the results are of independent interest in geometric measure theory, as they complement the list of fundamental properties that low-dimensional iLG share with Euclidean Lipschitz graphs. This is our first main result:
Theorem 1.2
(Intrinsic Lipschitz extension) Let \(n\in {\mathbb {N}}\), \(k\in \{1,\ldots ,n\}\), and assume that \({\mathbb {V}}\) is a k-dimensional horizontal subgroup of \({\mathbb {H}}^n\) with complementary vertical subgroup \({\mathbb {W}}\). Then, for every \(L\geqslant 0\), there exists a constant \(L'=L'(L,k,n)\geqslant 0\) such that every intrinsic L-Lipschitz function \(\phi :E \rightarrow {\mathbb {W}}\), defined on a subset \(E\subset {\mathbb {V}}\), can be extended to an intrinsic \(L'\)-Lipschitz function \({\overline{\phi }}:{\mathbb {V}}\rightarrow {\mathbb {W}}\). Moreover, if \(k=n=1\), then one can take \(L'= C(n) \max \{L,L^2\}\) where \(C(n) \geqslant 1\) is a constant depending only on n.
We defer the definitions to Sect. 2 and more precise statements to Sect. 4, and start by discussing the connection between Theorem 1.2 and other Lipschitz extension results.
A pair (X, Y) of metric spaces has the Lipschitz extension property if there exists a constant \(C>0\) such that, for every \(E\subset X\), every Lipschitz function \(f:E \rightarrow Y\) can be extended to a Lipschitz function \({\overline{f}}:X\rightarrow Y\) with Lipschitz constant \(\mathrm {Lip}({\overline{f}})\leqslant C\, \mathrm {Lip}(f)\). It is known that the pair of metric spaces \(({\mathbb {R}}^k,{\mathbb {H}}^n)\) has the Lipschitz extension property if and only if \(k\leqslant n\), see [5, 10, 17, 20, 26]. Theorem 1.2 is related to this result since every intrinsic Lipschitz function \(\phi :{\mathbb {V}}\rightarrow {\mathbb {W}}\) (as in Theorem 1.2) is in one-to-one correspondence with a (metrically defined) Lipschitz function
for which \(\Phi (E)\) is an intrinsic graph in the sense of Definition 2.1, see Remark 2.4. So the point of Theorem 1.2 is to extend the Lipschitz function \(\Phi :E \rightarrow {\mathbb {H}}^n\) to \({\overline{\Phi }}:{\mathbb {R}}^k \rightarrow {\mathbb {H}}^n\) in such a way that the intrinsic graph structure of the image is preserved.
While Theorem 1.2 thus yields a conclusion that does not follow from the general Lipschitz extension property of \(({\mathbb {R}}^k,{\mathbb {H}}^n)\) for \(k\leqslant n\), our assumption is also stronger in that the image of the initially given, partially defined Lipschitz map \(\Phi \) is an intrinsic graph. This additional information is very helpful in the construction of Lipschitz extensions, and it led us to a proof for Theorem 1.2 that is different from the extension methods used in [20, 26]. The case \(k=n=1\) was proven before in [11], but it also follows, with a different argument, from our proof of Theorem 1.2. A new phenomenon appears in higher-dimensional Heisenberg groups, where there is a qualitative difference between the condition for k-dimensional iLG in the middle dimension \(k=n\) and in smaller dimensions \(k< n\). We establish the case \(k=n\) of Theorem 1.2 by applying a \(C^{1,1}\) version of Whitney’s extension theorem by Glaeser [16] to the last component of \(\phi \). The bridge between [16] and intrinsic Lipschitz graphs is provided by the infinitesimal condition appearing in Proposition 3.12. The extension theorem in the case \(k<n\) can be deduced by suitably embedding k-dimensional graphs into n-dimensional graphs and applying the \(k=n\) version of Theorem 1.2.
Theorem 1.2 complements extension results for low-codimensional iLG in \({\mathbb {H}}^n\), proved in [14, 21] for codimension 1, and in [25] for codimension \(k\leqslant n\). The proofs in [14, 21] use an argument similar to the classical McShane Lipschitz extension theorem, which is possible since 1-dimensional horizontal subgroups in \({\mathbb {H}}^n\) can be equipped with an order structure. The extension result in [25] is based on a new level set description of low-codimensional iLG. Neither of these approaches is available for low-dimensional iLG.
Theorem 1.2, the results mentioned in the last paragraph, and the Rademacher-type theorems in [1, 14, 25] show that all intrinsic Lipschitz functions between complementary homogeneous subgroups of \({\mathbb {H}}^n\) share two fundamental properties with Euclidean Lipschitz functions: the extension property and the almost everywhere differentiability. These are crucial features for applications in geometric measure theory. The second main result of the present paper establishes an additional property for 1-dimensional intrinsic 1-Lipschitz graphs, namely a corona decomposition by intrinsic Lipschitz graphs (possibly over different subgroups) with smaller constants. The corresponding result for Euclidean Lipschitz graphs plays a crucial role in the theory of quantitative rectifiability and singular integrals [8, 9, 24].
Theorem 1.3
(Intrinsic Lipschitz corona decomposition) For every \(n\in {\mathbb {N}}\) and \(\eta \in (0,1)\), every 1-dimensional intrinsic 1-Lipschitz graph in \({\mathbb {H}}^n\) admits a corona decomposition by 1-dimensional intrinsic \(\eta \)-Lipschitz graphs.
A corona decomposition of a 1-dimensional (intrinsic) Lipschitz graph \(\Gamma \) is a hierarchical partitioning, called coronization, of \({\mathbb {R}}\) (or a 1-dimensional horizontal subgroup) into “good” and “bad” dyadic intervals, where the bad ones are controlled by a Carleson packing condition, and the good ones can be partitioned into a forest of trees satisfying suitable properties.
In particular, each tree \({\mathcal {T}}\) comes with an (intrinsic) Lipschitz graph \(\Gamma _{{\mathcal {T}}}\) with smaller Lipschitz constant that approximates \(\Gamma \) well at the resolution of the intervals in the tree. A more precise statement is given in Theorem 5.26. Bearing in mind potential applications to singular integral operators, Theorem 5.26 states the approximation in parametric form, using maps defined on a common domain, rather than intrinsic graphs over possibly different horizontal subgroups.
In \({\mathbb {H}}^1\), a version of Theorem 5.26 was known before, see [11, Theorem 3.15]. Using related ideas in the context of \({\mathbb {H}}^n\), we give a proof for the case \(n>1\). Theorem 5.26 yields a corona decomposition for 1-dimensional intrinsic 1-Lipschitz maps. By fixing the trees of dyadic intervals in the coronization, and rescaling the components of the map, we also obtain a corona decomposition for all intrinsic Lipschitz maps with constant greater than 1, as stated in Corollary 5.30. This generalizes [11, Corollary 3.22].
In order to prove Theorem 5.26, we start by recalling the corona decomposition for Euclidean Lipschitz graphs given by David and Semmes in [9], which we then state for convenience in a slightly different form, Theorem 5.3. In a certain sense, it allows to approximate a 1-Lipschitz map by \(\delta \)-Lipschitz maps for given \(\delta \in (0,1)\), up to subtracting linear maps. A common challenge in the proof of the extension result (Theorem 1.2) and the corona decomposition (Theorem 1.3) is the presence of nonlinear terms in the intrinsic Lipschitz condition in dimensions \(1\leqslant k<n\), see Lemma 3.1, which are absent for \(k=n\), and in particular for \(n=1\).
Structure of the paper. Most concepts relevant for the paper are introduced in Sect. 2. Section 3.1 contains standard computations related to low-dimensional iLG in Heisenberg groups. Section 3.2 provides an infinitesimal characterization of 1- and n-dimensional entire iLG in \({\mathbb {H}}^n\). The extension result, Theorem 1.2, is proven in Sect. 4. The corona decomposition, Theorem 1.3, is finally given in Sect. 5.
2 Definitions
2.1 Homogeneous subgroups, projections, and intrinsic Lipschitz graphs
Let \(n\in {\mathbb {N}}\). To introduce the relevant concepts, we first fix a horizontal subgroup \({\mathbb {V}}\) of \({\mathbb {H}}^n\) of dimension \(k\in \{1,\ldots ,n\}\), which is given by a set of the form
where V is a k-dimensional isotropic subspace of the standard symplectic space \({\mathbb {R}}^{2n}\). This is equivalent to say that V is a k-dimensional subspace of \({\mathbb {R}}^{2n}\) so that \(({\mathbb {V}},\cdot )\) is an abelian group isomorphic to \(({\mathbb {R}}^k,+)\), see for instance [4, Section 2]. Equipped with the metric d defined in (1.1), the subgroup \({\mathbb {V}}\) is isometric to \(({\mathbb {R}}^k,|\cdot |)\). The complementary vertical subgroup \({\mathbb {W}}\) is given by the Euclidean orthogonal complement of \({\mathbb {V}}\), that is, \({\mathbb {W}}=V^{\bot }\times {\mathbb {R}}\).
Every point \(p\in {\mathbb {H}}^n\) has a unique decomposition as
Definition 2.1
Assume that \({\mathbb {V}}\) and \({\mathbb {W}}\) are homogeneous subgroups of \({\mathbb {H}}^n\) as above. A map \(\phi : E\subset {\mathbb {V}} \rightarrow {\mathbb {W}}\) is said to be intrinsic L-Lipschitz for a constant \(L\geqslant 0\) if
where \(\Phi :E\subset {\mathbb {V}}\rightarrow {\mathbb {H}}^n\) is the graph map defined by \(\Phi (v):= v\cdot \phi (v)\). The intrinsic graph of \(\phi \) is the set
and we say that \(\Gamma \) is an intrinsic L-Lipschitz graph (over \(E\subset {\mathbb {V}}\)).
It follows from [4, Lemma 2.1] and the choice of the metric d that for any pair of complementary homogeneous subgroups \(({\mathbb {V}},{\mathbb {W}})\) and \(({\mathbb {V}}',{\mathbb {W}}')\) as above there exists an isometric isomorphism \(f:({\mathbb {H}}^n,d)\rightarrow ({\mathbb {H}}^n,d)\) with the properties that \(f({\mathbb {V}})={\mathbb {V}}'\), \(f({\mathbb {W}})={\mathbb {W}}'\) and such that f maps every intrinsic L-Lipschitz graph over a subset in \({\mathbb {V}}\) to an intrinsic L-Lipschitz graph over a subset in \({\mathbb {V}}'\). For this reason, it is not restrictive to assume, as we will in the following unless otherwise stated, that
and
Remark 2.4
It follows from [15, Proposition 3.7] that if \(\phi :E\subset {\mathbb {V}}\rightarrow {\mathbb {W}}\) is intrinsic Lipschitz, then the associated graph map is a Lipschitz function \(\Phi \) from (E, d) to \(({\mathbb {H}}^n,d)\), or from \((E,|\cdot |)\) to \(({\mathbb {H}}^n,d)\), if we identify E with a subset of \({\mathbb {R}}^k\), using the map
Conversely, if \(\Phi :(E,|\cdot |)\rightarrow ({\mathbb {H}}^n,d)\) is L-Lipschitz with respect to the given metrics, and we assume in addition that it is of the form \(\Phi (v):= v \cdot \phi (v)\in {\mathbb {V}}\cdot {\mathbb {W}}\) for a map \(\phi : E\subset {\mathbb {V}} \rightarrow {\mathbb {W}}\), then \(\phi \) is intrinsic Lipschitz since, for all \(v,v'\in E\),
Once complementary subgroups as in (2.2) and (2.3) have been fixed, it is convenient to identify \(\phi :E\subset {\mathbb {V}} \rightarrow {\mathbb {W}}\) with a function \(\phi :E\subset {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) in the obvious way. This identification applied to intrinsic Lipschitz functions leads to the notion of tame maps which we discuss in the next section, see especially Propositions 3.3 and 3.6.
2.2 Tame maps
In connection with one-dimensional intrinsic Lipschitz graphs in \({\mathbb {H}}^1\), tame maps from subsets of \({\mathbb {R}}^k\) to \({\mathbb {R}}^{2n+1-k}\) for \(k=n=1\) were introduced in [11]. We extend the definition to arbitrary \(1\leqslant k\leqslant n\) with a slight adaptation of the notation. Here, \(\langle \cdot , \cdot \rangle \) denotes the standard scalar product on \({\mathbb {R}}^k\).
Definition 2.5
Let \(k,n\in {\mathbb {N}}\), \(1\leqslant k\leqslant n\), \(E\subset {\mathbb {R}}^k\), and \(L_i\geqslant 0\) for \(i\in \{k+1,\ldots ,2n+1\}\). We say that a map \(\phi =(\phi _{k+1},\ldots , \phi _{2n+1}) :E \rightarrow {\mathbb {R}}^{2n+1-k}\) is \(( L_{k+1},\ldots ,L_{2n+1})\)-tame if
-
(1)
\(\phi _i\) is Euclidean \(L_i\)-Lipschitz for \(i=k+1,\ldots ,2n\);
-
(2)
\(\psi :=(\phi _{n+1}, \ldots ,\phi _{n+k} )\) satisfies the following conditions:
-
(a)
if \(k=n\), then
$$\begin{aligned} \left| \phi _{2n+1}(y) - \phi _{2n+1}(x) -\left\langle \psi (y), y-x\right\rangle \right|&+ \left| \phi _{2n+1}(y) - \phi _{2n+1}(x) - \left\langle \psi (x), y-x\right\rangle \right| \\&\leqslant L_{2n+1} |x-y|^2,\quad x,y\in E, \end{aligned}$$ -
(b)
if \(k<n\), then
$$\begin{aligned}&\Big |\phi _{2n+1}(y) - \phi _{2n+1}(x) -\langle \psi (y), y-x\rangle \\&\qquad -\tfrac{ 1 }{2} \sum _{i=k+1}^n \phi _i(y)\phi _{n+i} (x) -\phi _i(x)\phi _{n+i} (y)\Big | \\&\qquad +\Big | \phi _{2n+1}(y) - \phi _{2n+1}(x) - \langle \psi (x), y-x\rangle -\tfrac{ 1}{ 2} \sum _{i=k+1}^n \phi _i(y)\phi _{n+i} (x) -\phi _i(x)\phi _{n+i} (y)\Big | \\&\quad \leqslant L_{2n+1} |y-x|^2,\quad x,y\in E. \end{aligned}$$
-
(a)
Remark 2.6
Condition (2) in Definition 2.5 is implied (with twice the constant \(L_{2n+1}\)) by a one-sided version of itself:
and
for \(x,y\in E\), if \(k<n\).
Remark 2.7
Condition (2) in Definition 2.5 implies by triangle inequality that
If \(k=1\), then \(\psi =\phi _{n+1}\) is a real-valued function and (2.8) shows that \(\phi _{n+1}\) is \(L_{2n+1}\)-Lipschitz. In other words, if \(k=1\), then the Lipschitz continuity of \(\phi _{n+1}\) is automatically implied by part (2) of Definition 2.5, and part (1) holds with “\(L_{n+1}\)” replaced by “\(\min \{L_{n+1},L_{2n+1}\}\)”.
Remark 2.9
For all \(1\leqslant k\leqslant n\), Definition 2.5 implies that \(\phi _{2n+1}\) is locally Lipschitz. This is immediate in the case \(k=n\), and if \(k<n\), it follows easily once one has observed that
3 Elementary properties of tame maps
3.1 Connection between tame maps and intrinsic Lipschitz functions
In this section, we explore the connection between intrinsic Lipschitz functions (as in Definition 2.1) and tame maps (as in Definition 2.5). It is this connection that initially motivated Definition 2.5. Throughout this section, we assume that \(1\leqslant k\leqslant n\), and \({\mathbb {V}}\) is a k-dimensional horizontal subgroup of \({\mathbb {H}}^n\) with complementary vertical subgroup \({\mathbb {W}}\) with coordinate expressions as in (2.2) and (2.3). Slightly abusing notation, we identify a set \(E\subset {\mathbb {V}}\) with \(E\subset {\mathbb {R}}^k\), and \(\phi :E\rightarrow {\mathbb {W}}\) with \(\phi :E\rightarrow {\mathbb {R}}^{2n+1-k}\).
Lemma 3.1
A function \((\phi _{k+1},\ldots , \phi _{2n+1}) :E\subset {\mathbb {V}} \rightarrow {\mathbb {W}}\) is intrinsic L-Lipschitz if and only if
where
and, if \(k<n\), then
Proof
We recall from Definition 2.1 that \(\phi \) is intrinsic L-Lipschitz if and only if
The graph map \(\Phi \) of \(\phi \) is given by
for \(v=(v_1,\ldots ,v_k)\in E\). Recalling that \(\psi (v)=( \phi _{n+1}(v),\dots , \phi _{n+k} (v)),\) we observe
where
and, if \(k<n\), then \(h(v,v')\) is equal to
Next, since \(\pi _{\mathbb {V}}(x_1,\dots ,x_{2n},t) = (x_1,\dots , x_k,0,\dots ,0)\) and
the right-hand side of (3.2) equals \(L|v'-v|\), and the left-hand side can be written as
for \( v,v'\in E\), where \(H(v,v')\) is defined as in the statement of the lemma. \(\square \)
Lemma 3.1 provides a link between intrinsic Lipschitz and tame maps. We formulate this in two separate propositions.
Proposition 3.3
If \(\phi =(\phi _{k+1},\ldots , \phi _{2n+1}):E\subset {\mathbb {V}} \rightarrow {\mathbb {W}}\) is intrinsic L-Lipschitz, then \((\phi _{k+1},\ldots , \phi _{2n}, -\phi _{2n+1})\) is an \((L_{k+1},\ldots ,L_{2n+1})\)-tame map from \(E\subset {\mathbb {R}}^k\) to \({\mathbb {R}}^{2n+1-k}\) with
If \(k=1\), then one can take \(L_{n+1}=\min \{L,2L^2\}\).
Proof
Once the tameness is established, the improvement for \(k=1\) follows from (3.4) by Remark 2.7. Hence, it remains to prove the first part of the Proposition. Let \(\phi \) be an intrinsic L-Lipschitz function. According to Lemma 3.1, this means that
where
and
if \(k<n\). Recalling that \(\Vert (x,t)\Vert =\max \{|x|,\sqrt{|t|}\}\) for \((x,t)\in {\mathbb {R}}^{2n}\times {\mathbb {R}}\), inequality (3.5) implies first that \(\phi _i\) is a Euclidean L-Lipschitz function for \(i=k+1,\dots , 2n\), which is part (1) of the tameness condition in Definition 2.5. Second, we deduce from (3.5) that
and
for \(v,v'\in E\) if \(k<n\). Hence, \((\phi _2,\ldots , \phi _{2n}, -\phi _{2n+1})\) is \((L,\ldots L,2L^2)\)-tame in both cases. \(\square \)
We now consider the converse implication.
Proposition 3.6
If \((\phi _{k+1},\ldots , \phi _{2n}, -\phi _{2n+1}):E\subset {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) is an \((L_{k+1},\ldots ,L_{2n+1})\) -tame map, then \(\phi =(\phi _{k+1},\ldots , \phi _{2n+1}) :E\subset {\mathbb {V}} \rightarrow {\mathbb {W}}\) is intrinsic L -Lipschitz with
Proof
If \((\phi _{k+1},\ldots , \phi _{2n}, -\phi _{2n+1})\) is \((L_{k+1},\ldots ,L_{2n+1})\)-tame, we find by the first condition in Definition 2.5 that for \(i=k+1,\ldots ,2n\), the function \(\phi _i\) is \(L_i\)-Lipschitz on E. Moreover, recalling that
the second condition in the tameness definition for \((\phi _{k+1},\ldots , \phi _{2n}, -\phi _{2n+1})\) reads as follows: if \(k=n\),
and, if \(k<n\),
for all \(v,v'\in E\).
Using Lemma 3.1, we conclude that \(\phi :=(\phi _{k+1},\dots , \phi _{2n+1}) :E \rightarrow {\mathbb {W}}\) is an intrinsic L-Lipschitz function since its graph map satisfies
\(\square \)
3.2 Infinitesimal condition for tame maps on open sets
Tame maps defined on open quasiconvex sets can be characterized by an infinitesimal condition. This characterization will be applied in the proofs of the main results of this paper, the extension and the corona decomposition for low-dimensional intrinsic Lipschitz graph. We first discuss the case \(k=1\) and \(n>1\), which will be used in the proof of Theorem 5.26.
Proposition 3.7
Assume that \(n>1\). Let \(I\subset {\mathbb {R}}\) be an open interval, and let \(\phi =(\phi _2,\ldots ,\phi _{2n+1}):I \rightarrow {\mathbb {R}}^{2n}\).
-
(1)
If \(\phi \) is \((L_2,\ldots ,L_{2n+1})\)-tame, then \(\phi _{i}\) is \(L_{i}\)-Lipschitz for \(i=2,\ldots ,2n\), and \(\phi _{2n+1}\) is differentiable almost everywhere on I, \({\dot{\phi }}_{2n+1}\in {\mathcal {L}}^{\infty }_{loc}(I)\), and
$$\begin{aligned} {{\dot{\phi }}}_{2n+1} = \phi _{n+1} +\tfrac{ 1}{2} \sum _{i=2}^n \dot{\phi }_i \phi _{n+i} -\phi _i {{\dot{\phi }}}_{n+i},\quad \text {a.e. on }I. \end{aligned}$$(3.8) -
(2)
Conversely, if \(\phi _i\) is \(L_i\)-Lipschitz for \(i=2,\ldots ,2n\), \(\phi _{2n+1}\) is locally Lipschitz, and (3.8) holds, then \(\phi \) is \((L_2',\ldots ,L_{2n+1}')\)-tame with
$$\begin{aligned} L_i':=L_i\quad \text {for }i\ne 2n+1\quad \text {and}\quad L_{2n+1}':= 2\left( L_{n+1}+ \sum _{i=2}^n L_{i}L_{n+i}\right) . \end{aligned}$$
Proof
We assume first that \(\phi \) is \((L_2,\ldots ,L_{2n+1})\)-tame, in particular, \(\phi _i\) is a Lipschitz function on I for \(i=2,\ldots ,2n\). Rademacher’s theorem implies that \(\phi _i\) is differentiable almost everywhere on I with bounded derivative. Condition (2) in Definition 2.5 reads
for all \(x,y\in I\) with \(x\ne y\), and formula (2.10) for \(k=1\) is
Using these two facts, it is easy to see that \( {{\dot{\phi }}}_{2n+1}\) exists almost everywhere on I and (3.8) holds. In particular, \( {{\dot{\phi }}}_{2n+1}\in {\mathcal {L}}^{\infty }_{loc}(I)\).
Conversely, assume that \(\phi _i\) is an \(L_i-\)Lipschitz function for \(i=2,\dots , 2n\) and \( \phi _{2n+1}\) is a locally Lipschitz function satisfying (3.8). Then, the corresponding one-sided version of (3.9) is satisfied for “\(L_{n+1}+ \sum _{i=2}^n L_{i}L_{n+i}\)” instead of “\(L_{2n+1}\)”. Indeed, for \(x, y \in I \) with \(x<y\), the expression (3.10) can be rewritten as
and we obtain that
where in the last inequality we used the fact that \(\phi _i\) is \(L_{i}-\)Lipschitz for every \(i=2,\dots , 2n\). \(\square \)
If \(n>1\), there is a fundamental difference between tame maps \(\phi :E\subset {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) for \(k=n\) and for \(k<n\). This difference is visible already in part (2) of Definition 2.5, where the expression for \(k<n\) contains an additional summand compared to the one for \(k=n\). The simple form of tame maps if \(k=n\) can be used to characterize them by means of a gradient equation for the last component, at least if E is open and quasiconvex. Recall that a set \(U\subset {\mathbb {R}}^n\) is C-quasiconvex for a constant \(C\geqslant 1\) (with respect to the Euclidean distance) if for all \(x,y\in U\), there is a curve \(\gamma \) connecting x to y inside U of Euclidean length \(\mathrm {length}(\gamma )\leqslant C |x-y|\).
Proposition 3.12
Let \(n\in {\mathbb {N}}\) and assume that U is an open subset of \({\mathbb {R}}^n\). For a function \(\phi =(\phi _{n+1},\ldots ,\phi _{2n+1}):U \rightarrow {\mathbb {R}}^{n+1}\) the following holds:
-
(1)
If \(\phi \) is \((L_{n+1},\ldots ,L_{2n+1})\)-tame, then \(\phi _{i}\), \(i=n+1,\ldots , 2n\), is Euclidean \(L_{i}\)-Lipschitz and \(\phi _{2n+1}\) is differentiable on U with Lipschitz continuous gradient
$$\begin{aligned} \nabla \phi _{2n+1} = (\phi _{n+1},\ldots ,\phi _{2n}) \quad \text {on }U. \end{aligned}$$(3.13)In particular, \(\phi _{2n+1}\in C^{1,1}(U)\).
-
(2)
If U is additionally assumed to be C-quasiconvex, if \((\phi _{n+1},\ldots ,\phi _{2n})\) is L-Lipschitz with respect to the Euclidean metric, and \(\phi _{2n+1}\) satisfies (3.13), then \(\phi \) is \((L_{n+1}',\ldots ,L_{2n+1}')\)-tame with
$$\begin{aligned} L_i':=L\quad \text {for }i\in \{n+1,\ldots ,2n\}\quad \text {and}\quad L_{2n+1}':= 2 C^2\, L. \end{aligned}$$
Remark 3.14
If \(k<n\), then one can still carry out the argument in the first part of the proof of Proposition 3.12 for tame \(\phi :U\subset {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\), but the conclusion is that \(\phi _{2n+1}\) satisfies
cf. Proposition 3.7 for \(k=1\). Since \(\phi _{i},\phi _{n+i}\), \(i\in \{k+1,\ldots ,n\}\), are merely Lipschitz functions, they are only almost everywhere differentiable and the derivatives are just bounded measurable functions, so one cannot conclude that \(\phi _{2n+1}\) is \(C^{1,1}(U)\).
Remark 3.15
Proposition 3.12 yields a self-improvement phenomenon for the tameness constant \(L_{2n+1}\) of a \((L_{n+1},\ldots ,L_{2n+1})\)-tame map \((\phi _{n+1},\ldots ,\phi _{2n+1}):U \rightarrow {\mathbb {R}}^{n+1}\) defined on an open and C-quasiconvex set \(U\subset {\mathbb {R}}^n\). By assumption, such \((\phi _{n+1},\ldots ,\phi _{2n})\) is Euclidean \(|(L_{n+1},\ldots ,L_{2n})|\)-Lipschitz on U, and by Proposition 3.12 (1), the last component \(\phi _{2n+1}\) is differentiable on U with \(\nabla \phi _{2n+1}=(\phi _{n+1},\ldots ,\phi _{2n})\). It then follows from part (2) of the same proposition that \((\phi _{n+1},\ldots ,\phi _{2n+1})\) is in fact tame with constants
Hence, the initially given tameness constant “\(L_{2n+1}\)” can be replaced by
In particular, if \(U={\mathbb {R}}^n\), then this holds with \(C=1\).
Remark 3.16
The correspondence between intrinsic Lipschitz and tame maps relates Proposition 3.12 to earlier results by Magnani [20] and the second author [10], keeping in mind the connection to metric Lipschitz functions explained in Remark 2.4. More precisely, [20, Theorem 1.1] and [20, Theorem 4.5] provide a characterization of (locally) Lipschitz functions \(\Phi \) from (geodetically convex) subsets of Riemannian manifolds into graded groups through a system of first order PDEs known as weak contact equations. This characterization applies in particular in our setting, where the source space is Euclidean space \({\mathbb {R}}^k\) and the target space is the Heisenberg group \({\mathbb {H}}^n\). The purpose of Proposition 3.12 is to show that if \(\Phi :{\mathbb {R}}^k \rightarrow {\mathbb {H}}^n\) arises as graph map of an intrinsic Lipschitz function \(\phi \), and if \(k=n\), then this characterization takes a particularly simple form and leads to a gradient equation for the last component of \(\phi \) that holds in the classical sense pointwise everywhere. This generalizes an observation made in [11]: the condition for a curve \(\gamma \) in \({\mathbb {H}}^1\) to be horizontal (or Lipschitz with respect to d) simplifies if \(s\mapsto \gamma (s)= (s,0,0)\cdot \phi (s,0,0)\) has intrinsic graph form. Indeed, whereas the last component of a Lipschitz curve \(\gamma \) in \({\mathbb {H}}^1\) need not even be everywhere differentiable, the last component of \(\phi \) is \(C^{1,1}\) if \(\gamma \) is Lipschitz.
Proof of Proposition 3.12
We assume first that \(\phi \) is \((L_{n+1},\ldots ,L_{2n+1})\)-tame, in particular, \(\phi _i\) is a Lipschitz function on U for \(i=n+1,\ldots ,2n\). Condition (2) (a) in Definition 2.5 and the fact that U is open then imply that \( \nabla \phi _{2n+1}\) exists on U and (3.13) holds.
For the converse implication, we assume in addition that U is C-quasiconvex. We claim that if \((\phi _{n+1},\ldots ,\phi _{2n})\) is an L-Lipschitz function, and (3.13) holds, then the tameness condition (2) (a) in Definition 2.5 is satisfied with constant
(instead of \(L_{2n+1}\)). According to Remark 2.6, it suffices to verify the one-sided version of it (without the constant “2”). To prove the latter, let x and y be arbitrary distinct points in U, and apply the C-quasiconvexity of U to find a curve \(\gamma :[0,1]\rightarrow U\) with \(\gamma (0)=x\), \(\gamma (1)=y\) and \(\mathrm {length}(\gamma )\leqslant C |x-y|\). Since \(\gamma \) is a curve of finite length, we may without loss of generality assume that the parametrization is Lipschitz continuous. The fundamental theorem of calculus then yields for \(\psi :=(\phi _{n+1},\ldots ,\phi _{2n})\) that
Taking absolute values on both sides, we conclude that
\(\square \)
4 Extension results
The core of this section are extension results for tame maps \(\phi :E\subset {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\), first for \(k=n\) and then, as a corollary, for \(k<n\). In the final subsection, we use Propositions 3.3 and 3.6 to translate these results into an extension theorem for intrinsic Lipschitz functions (Theorem 1.2 in the introduction).
4.1 Extension of tame maps in the case \(k=n\)
A classical method for extending Lipschitz functions \(f:E \rightarrow {\mathbb {R}}^m\) from a closed set \(E\subset {\mathbb {R}}^n\) to the entire space \({\mathbb {R}}^n\) is based on a Lipschitz partition of unity associated with a Whitney decomposition of the complement \({\mathbb {R}}^n \setminus E\), see for instance [18, 2.10]. Variants of this approach are also at the core of the Lipschitz extension theorems in [19, 26]. To establish the main result of this section, we apply a version of Whitney’s extension theorem, so that the proof is again, albeit indirectly, based on a Whitney decomposition of \({\mathbb {R}}^n \setminus E\). The key observation is that in our setting it suffices to apply Whitney’s construction to the last component of the tame map. More precisely, we will use a \(C^{1,1}\) version of Whitney’s extension theorem due to Glaeser [16], see for instance [6, Definition 2.2, (2.48), and Theorem 2.19], [7, Lemma 10.70], and the references cited in [3]. Here, \(C^{1,1}({\mathbb {R}}^n)\) is the space of \(C^1({\mathbb {R}}^n)\) functions with Lipschitz continuous gradients.
Theorem 4.1
(Glaeser’s \(C^{1,1}\) Whitney extension theorem) Let \(n\in {\mathbb {N}}\) and assume that E is a subset of \({\mathbb {R}}^n\). The following conditions for functions \(f:E\rightarrow {\mathbb {R}}\) and \(\psi :E\rightarrow {\mathbb {R}}^n\) are equivalent:
-
(a)
there exists \({\overline{f}}\in C^{1,1}({\mathbb {R}}^n)\) with \({\overline{f}}|_E = f\) and \((\nabla {\overline{f}})|_E=\psi \),
-
(b)
for a constant \(\lambda >0\) and all \(x,y\in E\), the following holds:
-
(1)
\(|\psi (x)-\psi (y)|\leqslant \lambda |x-y|\),
-
(2)
\(|f(x)-f(y)-\langle \psi (x),x-y\rangle |\leqslant \lambda |x-y|^2\).
-
(1)
Moreover, if (b) holds, then \({\overline{f}}\) can be constructed so that the Lipschitz constant of \(\nabla {\overline{f}}\) satisfies
where the \(\inf \) ranges over all \(\lambda \) satisfying (b), and C(n) is a constant depending only on n.
Remark 4.2
Theorem 4.1 is stated for arbitrary subsets E of \({\mathbb {R}}^n\), and the same holds true for our application in Theorem 4.3 and the corollaries thereof. As observed in [3, §1], if f and \(\psi \) satisfy condition (b) in Theorem 4.1 for a set \(E\subset {\mathbb {R}}^n\), then one can always extend them to the closure \({\overline{E}}\) of E so that inequalities (1) and (2) in (b) are satisfied on \({\overline{E}}\) with the same constant \(\lambda \). (Extending f and \(\psi \) as continuous maps to the closure is straightforward since f is locally Lipschitz and \(\psi \) is Lipschitz; then, it just remains to verify that the inequalities (1) and (2) continue to hold on \({\overline{E}}\).) Conversely, if f and \(\psi \) defined on E satisfy condition (a), then they can obviously be extended to \({\overline{E}}\) so that (a) continues to hold. Thus, the proof of Theorem 4.1 is reduced to the case of closed sets.
Theorem 4.3
Let \(n\in {\mathbb {N}}\). An \((L_{n+1},\ldots ,L_{2n+1})\)-tame map \(\phi :E \subset {\mathbb {R}}^n \rightarrow {\mathbb {R}}^{n+1}\) can be extended to an \((L_{n+1}',\ldots ,L_{2n+1}')\)-tame map \({\overline{\phi }}:{\mathbb {R}}^n \rightarrow {\mathbb {R}}^{n+1}\) such that \({\overline{\phi }}|_E = \phi \) and
Proof of Theorem 4.3
Let \(\phi \) be a tame map on \(E\subset {\mathbb {R}}^n\) as in the statement of the theorem. In order to extend \(\phi \) to a tame map defined on all of \({\mathbb {R}}^n\), we apply the \(C^{1,1}\) Whitney extension theorem the function \(\phi _{2n+1}:E\rightarrow {\mathbb {R}}\). The tameness conditions in Definition 2.5 ensure that the assumptions of Theorem 4.1 are satisfied with
Thus we find a \(C^{1,1}\) function \({\overline{\phi }}_{2n+1}:{\mathbb {R}}^n \rightarrow {\mathbb {R}}\) with \({{\overline{\phi }}_{2n+1}}|_E=\phi _{2n+1}\) whose gradient is \(C(n)\lambda \)-Lipschitz and agrees with \(\psi =(\phi _{n+1},\ldots ,\phi _{2n})\) on E. Then, we simply define
and observe that this extends \((\phi _{n+1},\ldots ,\phi _{2n})\) from E to \({\mathbb {R}}^n\). Thus,
is an extension of \(\phi \) to the entire space \({\mathbb {R}}^n\).
Finally, we apply the infinitesimal characterization from Proposition 3.12 to conclude that \({\overline{\phi }}\) is a tame map. Since the domain \(U={\mathbb {R}}^n\) is quasiconvex with constant 1, Proposition 3.12 (2) implies that \({\overline{\phi }}\) is \((L_{n+1}',\ldots ,L_{2n}',L_{2n+1}')\)-tame with
\(\square \)
Remark 4.5
Applying Theorem 4.1 to the last component \(\phi _{2n+1}\) of a tame map \(\phi \) and extending \(\psi =(\phi _{n+1},\ldots ,\phi _{2n})\) by formula (4.4) ensures that
is satisfied by definition. If, on the other hand, one tried to extend \((\phi _{n+1},\ldots ,\phi _{2n})\) first, then one would have to make sure that the extension can arise as gradient, and this would entail a further differential constraint for \({\overline{\phi }}_i\), \(i\in \{n+1,\ldots ,2n\}\), cf. the related isotropic mappings appearing in [10, 20].
4.2 Extension of tame maps in the case \(k<n\)
In this section, we prove the extension result for tame maps \(\phi :E\subset {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) in the case \(k<n\). The situation is qualitatively different from the middle-dimensional case \(k=n\) discussed in the previous section. Indeed, recall from Remark 3.14 that the last component of an entire tame map \(\phi :{\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) satisfies almost everywhere the nonlinear gradient equation
so we are no longer in a setting where Whitney’s extension theorem is directly applicable. However, it turns out that the extension in case \(k<n\) can be reduced to the case \(k=n\). This is best understood if one thinks of intrinsic Lipschitz graphs instead of tame maps. The idea is essentially that a k-dimensional intrinsic Lipschitz graph in \({\mathbb {H}}^n\) for \(k<n\) can be embedded in an n-dimensional intrinsic Lipschitz graph. The latter can be extended using Theorem 4.3, and then it remains to show that one can select a suitable k-dimensional subset of it in order to obtain an extension of the original graph.
Theorem 4.6
Let \(k,n\in {\mathbb {N}}\) with \(1\leqslant k<n\). An \((L_{k+1},\ldots ,L_{2n+1})\)-tame map
can be extended to an \((L_{k+1},\ldots ,L_n,L_{n+1}',\ldots ,L_{2n+1}')\)-tame map \({\overline{\phi }}:{\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) with \({\overline{\phi }}|_E = \phi \) and
for \(i=n+1,\ldots ,2n\), and
for a constant \(c_n\) that depends only on n.
Proof
Since \(k<n\), the Lipschitz map \((\phi _{k+1},\ldots ,\phi _n)\) has at least one component, and we can consider the associated k-dimensional Lipschitz graph
The remaining components of \(\phi \) are used to define \( f: \Gamma ^{(\phi _{k+1}, \dots , \phi _n)} (E)\subset {\mathbb {R}}^n \rightarrow {\mathbb {R}}^{n+1} \) by
Firstly, we show that f is a tame map and so we can apply Theorem 4.3 to find an extension \({{\bar{f}}}=({{\bar{f}}}_{n+1}, \dots , {{\bar{f}}}_{2n+1}):{\mathbb {R}}^n \rightarrow {\mathbb {R}}^{n+1}\) of f with the corresponding tameness assumption satisfied. Second, if \(({{\bar{\phi }}} _{k+1}, \dots , {{\bar{\phi }}} _{n})\) denotes a suitable Euclidean Lipschitz extension of \(( \phi _{k+1}, \dots , \phi _{n})\), we prove that the map \(\bar{\phi }: {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) given by
is the tame extension of \(\phi \) to \({\mathbb {R}}^k\) we are looking for. We begin by proving that the map f defined in (4.7) is \((L_{n+1}'',\ldots ,L_{2n+1}'')\)-tame with
To see this, fix two points
The components \( f_{n+1}, \dots , f_{2n}\) are clearly Lipschitz since, for \(i=n+1,\ldots ,2n\), we have by the \(L_i\)-Lipschitz continuity of \(\phi _i\) that
It remains to check that the tameness condition (2) in Definition 2.5 holds with constant \(L_{2n+1}'''\). Using the notation \(\psi =(\phi _{n+1},\dots , \phi _{n+k})\) and recalling the expressions for p and q given in (4.10), we have that
and analogously with the roles of p and q reverted. Summing up the two expressions, we obtain by the \((L_{k+1},\ldots ,L_{2n+1})\)-tameness of \(\phi \) that
Hence, condition (2) in Definition 2.5 holds, and we have shown that f is \((L_{n+1}'',\ldots ,L_{2n+1}'')\)-tame with the constants defined in (4.9). By Theorem 4.3 applied to f, it then follows that there exists an extension \(\bar{f}=({{\bar{f}}}_{n+1}, \dots , {{\bar{f}}}_{2n+1}):{\mathbb {R}}^n \rightarrow {\mathbb {R}}^{n+1}\) of f which is \((L_{n+1}''',\ldots ,L_{2n+1}''')\)-tame with
To construct an extension \({\overline{\phi }}\) for the given map \(\phi \), we first extend independently the components \(\phi _{k+1},\ldots ,\phi _n\). For \(i=k+1,\ldots , n\), we simply apply McShane’s extension theorem to extend the \(L_i\)-Lipschitz function \(\phi _i:E \rightarrow {\mathbb {R}}\) to an \(L_i\)-Lipschitz function \({\overline{\phi }}_i:{\mathbb {R}}^k \rightarrow {\mathbb {R}}\). With the extensions \({\overline{f}}\) and \({\overline{\phi }}_{k+1},\ldots ,{\overline{\phi }}_n\) at hand, we are now able to prove that the map \({{\bar{\phi }}} : {\mathbb {R}}^k \rightarrow {\mathbb {R}}^{2n+1-k}\) defined in (4.8) is the desired tame extension of \(\phi \).
Recalling that \({\overline{f}}|_{\Gamma ^{\phi _{k+1},\ldots ,\phi _n}(E)}=f\) and keeping in mind expression (4.7) for f, it is clear that \(\bar{\phi }\) is an extension of \(\phi \). Moreover, for every \(i=n+1,\ldots ,2n\), the function
is Lipschitz:
Recalling formula (4.11) for \(L_i'''=\mathrm {Lip}({\overline{f}}_i)\), we conclude that \({\overline{\phi }}_i\) is \(L_i'\)-Lipschitz with
for \(i=n+1,\ldots ,2n\) and a constant \(c_n\) that depends only on n.
As a consequence, the only nontrivial condition to check for the map \({{\bar{\phi }}}\) is the second part of the tameness condition, namely (2) in Definition 2.5. Let \(x,y \in {\mathbb {R}}^k,\) and, for simplicity, put \(p:=(x,{{\bar{\phi }}} _{k+1}(x), \dots ,{{\bar{\phi }}} _n (x)), q:=(y,{{\bar{\phi }}} _{k+1}(y), \dots , {{\bar{\phi }}} _n (y))\) and
We have that
Summing this term and the corresponding expression with the roles of x and y reverted, we find by the tameness condition of \({\overline{f}}\) and the Lipschitz continuity of \(\bar{\phi }_{k+1},\ldots ,{{\bar{\phi }}}_n\) that
for arbitrary \(x,y\in {\mathbb {R}}^k\). Now we only have to recall the expressions for \(L_j'''\), \(j=n+1,\ldots ,2n\), given in (4.11). Then, for a constant \(c_n\) that depends only on n, the last tameness constant of \({\overline{\phi }}\) can be chosen as
\(\square \)
4.3 Extension result for low-dimensional intrinsic Lipschitz graphs
Combining the previous results, we establish the extension theorem for low-dimensional intrinsic Lipschitz graphs in \({\mathbb {H}}^n\), Theorem 1.2 from the introduction.
Proof of Theorem 1.2
Let \(1\leqslant k \leqslant n\). First, if \(\phi =(\phi _{k+1},\ldots ,\phi _{2n+1})\) is intrinsic L-Lipschitz on \(E\subset {\mathbb {R}}^k\), Proposition 3.3 implies that \((\phi _{k+1},\ldots ,\phi _{2n},-\phi _{2n+1})\) is \((L_{k+1},\ldots ,L_{2n+1})\)-tame with
Applying the extension result from Theorem 4.3, if \(k=n\), and Theorem 4.6, if \(k<n\), to this tame map yields an \((L_{k+1}',\ldots ,L_{2n+1}')\)-tame extension \(({\overline{\phi }}_{k+1},\ldots ,{\overline{\phi }}_{2n},-{\overline{\phi }}_{2n+1})\), where the tameness constants depend only on \(L_{k+1},\ldots ,L_{2n+1}\) (thus on L), k, and n. Finally, we use Proposition 3.6 to conclude that \( {\overline{\phi }}:= ({\overline{\phi }}_{k+1},\ldots ,{\overline{\phi }}_{2n},{\overline{\phi }}_{2n+1}) \) is an intrinsic \(L'\)-Lipschitz function on \({\mathbb {V}}\) with
The better quantitative control over the intrinsic Lipschitz constant if \(k=n=1\) follows since Proposition 3.3 yields \( L_2=\min \{L,2L^2\} \) in this case. Then, \(L_2'\) and \(L_3'\) in Theorem 4.3 can be bounded from above by a constant times \(L^2\), and it follows that we can take \(L'= C\max \{L^2,L\}\) for a suitable constant C. \(\square \)
5 Corona decomposition for 1-dimensional intrinsic Lipschitz graphs
The main result of this section is a corona decomposition of 1-dimensional iLG in \({\mathbb {H}}^n\), \(n>1\), by iLG with smaller Lipschitz constant (Theorem 5.26). The corresponding result for \(n=1\) (and tame maps) was proven in [11, Theorem 3.15], motivated by an application to singular integral operators on 1-dimensional iLG in \({\mathbb {H}}^1\). As was the case for [11], our argument is ultimately based on a corona decomposition for Euclidean Lipschitz graphs. The version that we will employ looks a little different from the formulations in the literature, so we state it in Section 5.1 and explain how to deduce it from the “standard” corona decomposition for Euclidean Lipschitz graphs given in [9, p.57, Definition 3.19 and p.61, (3.33)]. Based on these preparations, we prove the result for iLG in Sect. 5.2.
5.1 Corona decomposition for 1-dimensional Euclidean Lipschitz graphs
Definition 5.1
(Dyadic intervals and trees) The family of standard dyadic intervals of \({\mathbb {R}}\) is called “\({\mathcal {D}}\)”. For \(j \in {\mathbb {Z}}\), we write \({\mathcal {D}}_{j} \subset {\mathcal {D}}\) for the dyadic intervals Q of length \(|Q|=2^{-j}\). A collection \({\mathcal {T}}\subset {\mathcal {D}}\) is a tree if
-
(T1)
\({\mathcal {T}}\) contains a top interval \(Q({\mathcal {T}})\), that is, a unique maximal element.
-
(T2)
\({\mathcal {T}}\) is coherent: if \(Q \in {\mathcal {T}}\), then \(Q' \in {\mathcal {T}}\) for all dyadic intervals \(Q \subset Q' \subset Q({\mathcal {T}})\).
-
(T3)
If \(Q \in {\mathcal {T}}\), then either both, or neither, of the children of Q lie in \({\mathcal {T}}\).
Definition 5.2
(Coronization) A decomposition \({\mathcal {D}} = {\mathcal {G}} {\dot{\cup }} {\mathcal {B}}\) of \({\mathcal {D}}\) into good intervals \({\mathcal {G}}\) and bad intervals \({\mathcal {B}}\) (with \({\mathcal {G}}\cap {\mathcal {B}}=\emptyset \)) is called a coronization if there exists a constant C such that the following conditions are satisfied:
-
(1)
The intervals in \({\mathcal {B}}\) satisfy a Carleson packing condition:
$$\begin{aligned} \sum _{\begin{array}{c} Q \in {\mathcal {B}} \\ Q \subset Q_0 \end{array} } |Q| \leqslant C |Q_0|, \quad \text {for all } Q_0 \in {\mathcal {D}}. \end{aligned}$$ -
(2)
The intervals in \({\mathcal {G}}\) can be decomposed into a forest \({\mathcal {F}}\) of disjoint trees \({\mathcal {T}}\)
$$\begin{aligned} {\mathcal {G}} = {\dot{\bigcup }}_{{\mathcal {T}} \in {\mathcal {F}}} {\mathcal {T}} \end{aligned}$$whose top intervals satisfy a Carleson packing condition:
$$\begin{aligned} \sum _{\begin{array}{c} {\mathcal {T}} \in {\mathcal {F}} \\ Q({\mathcal {T}}) \subset Q_0 \end{array} } |Q({\mathcal {T}})| \leqslant C |Q_0|, \quad \text {for all } Q_0 \in {\mathcal {D}}. \end{aligned}$$
Theorem 5.3
(Corona decomposition for Lipschitz maps) For every \(n\in {\mathbb {N}}\) and \(\delta \in (0,1)\), there exists a constant \(C \geqslant 1\) with the following property. Let \(\psi :{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) be 1-Lipschitz. Then, there exists a coronization \({\mathcal {D}} = {\mathcal {B}} {\dot{\cup }} {\mathcal {G}}\) and a forest \( {\mathcal {F}}\), satisfying the conditions in Definition 5.2with constant C, such that the following holds. For every \({\mathcal {T}} \in {\mathcal {F}}\) there is a 2-Lipschitz linear function \(L_{{\mathcal {T}}} :{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) and a \(\delta \)-Lipschitz function \(\psi _{{\mathcal {T}}} :{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) such that
where 2Q is the interval with the same midpoint as Q but twice its length.
Proof
For \(n=1\), the result was deduced in [11, Theorem 3.20] from the corona decomposition in [9, p.61, (3.33)]. The same approach works for \(n>1\), although the reduction to [9, p.61, (3.33)] is now a bit more involved.
To start the proof, let us fix \(n>1\). By [9, p.61, (3.33) and p.328, §2.2] we know that for every \(\delta '\in (0,1)\), there exists a constant \(C=C(n,\delta ')\) such that, for every 1-Lipschitz function \(\psi :{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\), there is a coronization \({\mathcal {D}} = {\mathcal {B}} {\dot{\cup }} {\mathcal {G}}\) with constant C that satisfies the following property. For every tree \({\mathcal {T}}\) in the associated forest \({\mathcal {F}}\) there is a 1-dimensional \(\delta '\)-Lipschitz graph \(\Gamma _{{\mathcal {T}}}\) such that
In other words, there exists a \(\delta '\)-Lipschitz function \(\varphi _{{\mathcal {T}}}:{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) and \(R\in O(2n)\) such that (5.5) holds for
To be precise, [9, p.61, (3.33)] refers to a system of dyadic cubes on the graph of \(\psi \), rather than in the domain \({\mathbb {R}}\), but (5.5) is easily deduced. The thus given coronization is the same that appears in the statement that we are about to prove, so the only challenge is to find \(\delta '(\delta ,n)\) so that we can deduce from (5.5) that (5.4) holds for suitable \(\psi _{{\mathcal {T}}}\) and \(L_{{\mathcal {T}}}\). As it will be convenient to work in coordinates, we represent R as a matrix with respect to the standard basis of \({\mathbb {R}}^{2n}\),
so that for \(\varphi _{{\mathcal {T}}}=(\varphi _{{\mathcal {T}},2},\ldots ,\varphi _{{\mathcal {T}},2n})\) the identity (5.6) reads
Then, the approximation property (5.5) means exactly that for every \(Q\in {\mathcal {T}}\), and for every \(s\in 2Q\), there exists \(x_s\in {\mathbb {R}}\) such that
For a given point s, there can be several points with this property, but we just choose one of them and call it \(x_s\). We will apply (5.9) for small enough \(\delta '\in (0,1)\) depending on n and the parameter \(\delta \) in the statement of the theorem. The precise condition will appear in (5.19), but the bound on \(\delta '\) has to be chosen such that \(\Gamma _{{\mathcal {T}}}\) in (5.8) can be written as graph over the \(x_1\)-axis of a function of the form \(\psi _{{\mathcal {T}}}+L_{{\mathcal {T}}}\), where \(\psi _{{\mathcal {T}}}:{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) is \(\delta \)-Lipschitz, and \(L_{{\mathcal {T}}}:{\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\) is linear with Lipschitz constant 2. For this purpose, we define
and, recalling (5.8), our goal is to write
for \(\psi _{{\mathcal {T}}}\) and \(L_{{\mathcal {T}}}\) as mentioned above. Assume for a moment that we know that \(b_{1,1}\ne 0\). Then, we can define
and solving (5.10) for \(\psi _{{\mathcal {T}}}(z(x))\) yields
To establish that the thus defined functions \(L_{{\mathcal {T}}}\) and \(\psi _{{\mathcal {T}}}\) are Lipschitz with the claimed constants will require us to prove a suitable uniform upper bound for \(|(b_{2,1},\ldots ,b_{2n,1})|/|b_{1,1}|\) assuming an upper bound for \(\delta '\) (this will show in particular that \(b_{1,1}\ne 0\)). Supposing for a moment that this can be done, we will then prove that \(z:{\mathbb {R}} \rightarrow {\mathbb {R}}\) is a bi-Lipschitz homeomorphism if \(\delta '\) is chosen small enough (it is obviously always Lipschitz continuous). This will finally also yield that \(\Gamma _{{\mathcal {T}}}\) is indeed the graph of \(\psi _{{\mathcal {T}}}+L_{{\mathcal {T}}}\). Before entering the computations, we recall that R is an orthogonal matrix, so all its rows and columns have length 1, and in particular we obtain that
Combined with the \(\delta '\)-Lipschitz continuity of \(\varphi _{{\mathcal {T}}}\), this yields that
for all \(x_1,x_2\in {\mathbb {R}}\). Once again, a universal positive lower bound on \(b_{1,1}\) will conclude the proof if \(\delta '\) is chosen small enough.
Motivated by these considerations, we now concentrate our efforts on proving that
To see why such a statement is plausible, it may help the reader to picture the case \(n=1\). Then, (5.15) essentially says that if the graph of the 1-Lipschitz function \(\psi \) is well-approximated by \(\Gamma _{{\mathcal {T}}}\), which is obtained by rotating the graph of a \(\delta '\)-Lipschitz function \(\varphi _{{\mathcal {T}}}\) over the \(x_1\)-axis by angle \(\theta \), then \(|\tan (\theta )|=|b_{2,1}/b_{1,1}|<2\) if \(\delta '\) is small enough.
We will now prove (5.15) for \(n>1\). To this end, pick an arbitrary interval \(S\in {\mathcal {T}}\) and denote by \(s_1\) and \(s_2\) the endpoints of S. Moreover, let \(x:=x_{s_1}\in {\mathbb {R}}\) be such that (5.9) holds for \(s=s_1\) and \(Q=S\), and in the same way, associate to the other endpoint \(s_2\) a point \(x':=x_{s_2}\in {\mathbb {R}}\) such that (5.9) holds for \(s=s_2\) and \(Q=S\). Using this property, combined with the 1-Lipschitz continuity of \(\psi \), the matrix representation (5.7) of \(R\in O(2n)\), and the \(\delta '\)-Lipschitz continuity of \(\varphi _{{\mathcal {T}}}\), we conclude that
This implies that
The above estimates hold for arbitrary points in 2S, but the fact that \(s_1\) and \(s_2\) are the endpoints of S, allow us to show that \(|S|\lesssim |x-x'|\). More precisely, since \(\varphi _{{\mathcal {T}}}\) is \(\delta '\)-Lipschitz, we find
Moving the terms with |S| to the left-hand side, we conclude for small enough \(\delta '\) as in (5.15) that
Inserting this estimate in (5.16) and dividing both sides by \(|x-x'|\), we observe that
As the columns of the orthogonal matrix R are unit vectors, we have
If \(\delta '\) is small enough, say as in (5.15), then we can deduce from (5.17) that \(b_{1,1}^2 > 1/5\), and hence
which concludes the proof of (5.15).
It is now immediate from formula (5.11) that \(L_{{\mathcal {T}}}\) is 2-Lipschitz. Moreover, it follows from the formula for \(\psi _{{\mathcal {T}}}\) in (5.12), the \(\delta '\)-Lipschitz continuity of \(\varphi _{{\mathcal {T}}}\), the Cauchy–Schwarz inequality, and (5.18) that
for all \(x_1,x_2\in {\mathbb {R}}\). Since \(|b_{1,1}|\geqslant 1/\sqrt{5}\) and (5.14) holds, it is clear that for
the function \(\psi _{{\mathcal {T}}}\) is \(\delta \)-Lipschitz, as required.
It remains to verify the approximation condition (5.4). This follows easily from (5.9), which can now be rewritten as
Since \(|s-z(x_s)|\leqslant \delta ' |Q|\), and \(\psi _{{\mathcal {T}}} + L_{{\mathcal {T}}}\) is 3-Lipschitz, it follows that (5.20) holds with \(z(x_s)\) replaced by s, and \(\delta '\) replaced by \(\delta \), recalling the bound (5.19). This concludes the proof of Theorem 5.3. \(\square \)
We make one more modification in the construction of \(\psi _{{\mathcal {T}}}\), see Corollary 5.22. This is an additional step compared to the proof for \(n=1\) in [11], necessitated by the noncommutativity of codimension-1 vertical subgroups in \({\mathbb {H}}^n\) for \(n>1\).
In the setting of Theorem 5.3, if \({\mathcal {T}} \in {\mathcal {F}}\) is a tree with top interval \(Q({\mathcal {T}})\), we denote by \({\mathcal {S}} ({\mathcal {T}})\) the (possibly empty) collection of minimal intervals in \({\mathcal {T}}\). Moreover, we write
for the set of points in \(Q({\mathcal {T}})\) in infinite branches of \({\mathcal {T}}\). By the approximation condition (5.5) in the corona decomposition, we have
For the application to intrinsic Lipschitz graphs in \({\mathbb {H}}^n\), \(n>1\), in Sect. 5.2, it will be beneficial to have the identity (5.21) also in all points \(s\in \bigcup _{S\in {\mathcal {S}}({\mathcal {T}})}\partial S\). Otherwise, error terms will appear depending on the position of the intrinsic graph and caused by the noncommutativity of codimension-1 vertical subgroups.
Corollary 5.22
For \({\mathcal {T}}\in {\mathcal {F}}\), the function \(\psi _{{\mathcal {T}}}\) in Theorem 5.3can be constructed so that
Proof
Fix an arbitrary tree \({\mathcal {T}}\) in the forest \({\mathcal {F}}\) associated with the corona decomposition given by Theorem 5.3 for the 1-Lipschitz function \(\psi :{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) and parameter “\(\delta /(8\sqrt{2n-1})\)”. Assume that \({\mathcal {S}}({\mathcal {T}})\) is nonempty, otherwise there is nothing to prove. Let \(\psi _{{\mathcal {T}}}\) and \(L_{{\mathcal {T}}}\) be the associated functions provided by Theorem 5.3. We will now slightly modify \(\psi _{{\mathcal {T}}}\) inside each minimal interval \(S\in {\mathcal {S}}({\mathcal {T}})\) so that (5.23) holds for the modified function \({\widetilde{\psi }}_{{\mathcal {T}}}\), which will be \(\delta \)-Lipschitz and satisfy (5.5) (for \(\psi , L_{{\mathcal {T}}}\) and “\(\delta \)”). Set \({\widetilde{\psi }}_{{\mathcal {T}}} (s):= \psi _{{\mathcal {T}}} (s) = \psi (s)-L_{{\mathcal {T}}} (s)\) for \(s\in E.\) It is possible to define the modified function \(\psi _{{\mathcal {T}}}\) on \(Q({\mathcal {T}})\setminus E\) by considering one minimal interval S at the time, since the boundary points of S either belong to E, where (5.21) already holds, or they are boundary points of two adjacent minimal intervals, so that the modification will be well-defined. Assuming that \(\psi _{{\mathcal {T}}}\) is defined on the entire real line, we set \({\widetilde{\psi }}_{{\mathcal {T}}}=\psi _{{\mathcal {T}}}\) outside \(Q({\mathcal {T}})\).
Fix \(S=[a,b] \in {\mathcal {S}}({\mathcal {T}})\). The components of \({\widetilde{\psi }}_{{\mathcal {T}},l}\), \(l=2,\ldots ,2n\), can be taken of the form
for suitable constants \(c_{S,l}\in {\mathbb {R}}\) with
Since we have merely added an affine function, the modified map \({\widetilde{\psi }}_{{\mathcal {T}}}\) is clearly Lipschitz with constant \(\delta /(8\sqrt{2n-1}) + |(c_{S,2},\ldots ,c_{S,2n})|\leqslant (3/8)\delta \).
Moreover,
by construction, and
So we only have to show that \(c_{S,2},\ldots ,c_{S,2n}\) can be chosen such that the two functions match also at the other endpoint of S, that is \({\widetilde{\psi }}_{{\mathcal {T}},l}(b)=\psi _l(b) - L_{{\mathcal {T}},l}(b)\) for \(l=2,\ldots ,2n\). This forces us to take
Then, the approximation condition (5.5) provides the desired bound for \(c_{S,l}\), \(l=2,\ldots ,2n\), namely
which yields (5.24). We apply the same procedure for every minimal interval S. This yields the modified function \({\widetilde{\psi }}_{{\mathcal {T}}}:{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\), which is \(\frac{3}{8} \delta \)-Lipschitz. This follows from
and the \(\frac{\delta }{8 \sqrt{2n-1}}\)-Lipschitz continuity of \(\psi _{{\mathcal {T}} }\) as well as the \(\frac{3}{8} \delta \)-Lipschitz continuity of \({\widetilde{\psi }}_{{\mathcal {T}} _{|_{\mathcal {S}}}}\) for all \(S\in {\mathcal {S}}({\mathcal {T}})\).
Finally, we verify that \({\widetilde{\psi }}_{{\mathcal {T}}}\) has the desired approximation property. For every \(Q\in {\mathcal {T}}\), \(s\in 2Q\), there exists a point
with \(|s-s_1|\leqslant |Q|\). This point satisfies by construction
Then, for \(s\in 2Q\) as above, we find that
where in the last inequality we used the facts that \(\psi _{{\mathcal {T}} }\) and \({\widetilde{\psi }}_{{\mathcal {T}} _{|_{\mathcal {S}}}}\) are \(\frac{\delta }{8 \sqrt{2n-1}}\)-Lipschitz and \(\frac{3}{8} \delta \)-Lipschitz, respectively. Hence, it remains to estimate the term \( |{\psi }_{{\mathcal {T}}}(s_1) - {\widetilde{\psi }}_{{\mathcal {T}}}(s_1)|.\) There are two cases: \(s_1 \in E\) or \(s_1 \in \bigcup _{S\in {\mathcal {S}}({\mathcal {T}})}\partial S.\) In the first case, \( |{\psi }_{{\mathcal {T}}}(s_1) - {\widetilde{\psi }}_{{\mathcal {T}}}(s_1)|=0\) because of (5.25). On the other hand, if \(s_1 \in Q \cap \partial S\) for some \(S\in {\mathcal {S}}({\mathcal {T}})\), then \({\widetilde{\psi }}_{{\mathcal {T}}} (s_1)= \psi (s_1) - L_{{\mathcal {T}}} (s_1)\) by construction, and so
Inserting the bound for \( |{\psi }_{{\mathcal {T}}}(s_1) - {\widetilde{\psi }}_{{\mathcal {T}}}(s_1)|\) in the previous estimate, we deduce that
which shows that the approximation condition (5.4) holds for \({\widetilde{\psi }}_{{\mathcal {T}}}\), and thus concludes the proof of Corollary 5.22. \(\square \)
5.2 Corona decomposition for 1-dimensional intrinsic Lipschitz graphs
With Corollary 5.22 at hand, we are now ready to establish the corona decomposition for 1-dimensional intrinsic Lipschitz graphs. Given such a graph in \({\mathbb {H}}^n\), the idea is to apply Corollary 5.22 to the 1-dimensional Euclidean Lipschitz graph in \({\mathbb {R}}^{2n}\) which is obtained by projecting the intrinsic graph to the horizontal coordinate plane \(\{t=0\}\). We obtain a corona decomposition of this graph with approximating Lipschitz functions
While it is straightforward to lift these approximating functions to intrinsic Lipschitz functions, these lifts may not approximate the initially given iLG well enough in the t-variable. Analogously to the approach in [11], the following theorem is therefore based on a modification of \(\psi _{{\mathcal {T}}}\) which will ensure that the lift of \(\psi _{{\mathcal {T}}}+L_{{\mathcal {T}}}\) has the desired approximation properties.
Theorem 5.26
(Corona decomposition for intrinsic 1-Lipschitz maps) Let \(n>1\), and assume that \({\mathbb {V}}\) is a 1-dimensional horizontal subgroup in \({\mathbb {H}}^n\) with complementary vertical subgroup \({\mathbb {W}}\). For every \(\eta \in (0,1)\), there exists a constant \(C\geqslant 1\) such that the following holds. Let
be intrinsic 1-Lipschitz. Then, there exists a coronization \({\mathcal {D}} = {\mathcal {G}} {\dot{\cup }} {\mathcal {B}}\) satisfying the conditions in Definition 5.2with constant C such that, for every \({\mathcal {T}} \in {\mathcal {F}}\), there is an intrinsic Lipschitz map \(\phi _{\mathcal {T}} =(L_{{\mathcal {T}}} + \psi _{{\mathcal {T}}}, \phi _{{\mathcal {T}}, 2n+1}):{\mathbb {V}}\rightarrow {\mathbb {W}}\) where \(L_{\mathcal {T}}: {\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\) is a linear 2-Lipschitz map and \(\psi _{\mathcal {T}}: {\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\) is a \(\eta \)-Lipschitz map such that \(\phi _{\mathcal {T}}\) approximates \(\phi \) well at the resolution of the intervals in \({\mathcal {T}}\):
In (5.27), d refers to left invariant metric on \({\mathbb {H}}^n\) as defined in (1.1):
If \(\Phi \) and \(\Phi _{{\mathcal {T}}}\) denote the intrinsic graph maps of \(\phi \) and \(\phi _{{\mathcal {T}}}\), respectively, then \(d(\phi (s), \phi _{\mathcal {T}} (s))= d(\Phi (s),\Phi _{{\mathcal {T}}}(s))\), so that (5.27) really gives an estimate on how well the intrinsic graph of \(\phi _{{\mathcal {T}}}\) approximates the intrinsic graph of \(\phi \).
Theorem 5.26 looks a little different from the corona decomposition stated in Theorem 1.3 in the introduction. The reason is simply that the graph of \(\phi \) and all the approximating intrinsic graphs in Theorem 5.26 are written as intrinsic graphs of functions over the same horizontal subgroup, say they are all graphs over the \(x_1\)-axis. Consequently, \(\phi _{{\mathcal {T}}}\) itself need not have small intrinsic Lipschitz constant, but its first components have small Lipschitz constants, up to subtracting the linear term \(L_{{\mathcal {T}}}\). The following lemma can be used to deduce Theorem 1.3 from Theorem 5.26 applied with constant “\(\eta ^2/c_n^2\)”.
Lemma 5.28
Let \(n\in {\mathbb {N}}\), and consider the horizontal subgroup \({\mathbb {V}}=\{(x_1,0,\ldots ,0):\; x_1 \in {\mathbb {R}}\}\) with complementary vertical subgroup \({\mathbb {W}}\). There exists a constant \(1\leqslant c_n<\infty \), such that the following holds for every \(\eta \in (0,1)\). If \(\phi =(\phi _2,\ldots ,\phi _{2n+1}):{\mathbb {V}}\rightarrow {\mathbb {W}}\) is an intrinsic Lipschitz function with the property that
is the sum of an \(\eta \)-Lipschitz map \(\psi :{\mathbb {R}} \rightarrow {\mathbb {R}}^{2n-1}\) and a linear map \(L:{\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\), then \(\{v\cdot \phi (v):\,v\in {\mathbb {V}}\}\) is an intrinsic \(c_n \sqrt{\eta }\)-Lipschitz graph over the horizontal subgroup
Proof
We write \({\mathbb {V}}_L\) as the span of a unit vector \(v_1:=(b_{1,1},\ldots ,b_{1,2n})\) in the horizontal plane \(\{t=0\}\). Now we can use similar arguments as in the proof of Theorem 5.3. For arbitrary points \((x,\psi (x)+L(x))\) and \((x',\psi (x')+L(x'))\), we compute
Here, the first inequality can be deduced by triangle inequality and the fact that the vector \((x-x',L(x-x'))\) is parallel to \(v_1\). The remaining inequalities use that \(v_1=(b_{1,1},\ldots ,b_{2n,1})\) is a unit vector, and \(\psi \) is \(\eta \)-Lipschitz for some \(\eta \in (0,1)\). Denoting
the previous computations show
and \(z:{\mathbb {R}}\rightarrow {\mathbb {R}}\) is a homeomorphism. Now we complete \(v_1\) to an orthonormal basis \(\{v_1,\ldots ,v_{2n}\}\) of \({\mathbb {R}}^{2n}\), and we define a map \( \varphi : \mathrm {span}(v_1) \rightarrow \mathrm {span}\{v_2,\ldots ,v_{2n}\} \) by setting
so that the graph of \(\varphi \) (over \({\mathbb {V}}_L\)) as a set in \({\mathbb {R}}^{2n}\) coincides with graph of \(\psi +L\) (over \({\mathbb {V}}\)). Then, there exists a constant \(\lambda _n\), depending only on n, such that
This shows that the projection of the intrinsic graph \(\Gamma \) of \(\phi \) to the horizontal plane \(\{t=0\}\) is the graph of the Euclidean Lipschitz function \(\varphi \) over \(\mathrm {span}(v_1)\). Then, it is easy to see that there exists a unique real-valued function \(\varphi _{2n+1}\) so that \(\Gamma \) is the intrinsic graph of \((\varphi ,\varphi _{2n+1})\) over \({\mathbb {V}}_L\), and the graph map of \(\phi \) at x equals the graph map of \((\varphi ,\varphi _{2n+1})\) at \(z(x)v_1\). It remains to show that \((\varphi ,\varphi _{2n+1})\) is intrinsic \(c_n\sqrt{\eta }\)-Lipschitz for a suitable constant \(c_n\). It is easy to deduce from the intrinsic Lipschitz property of \(\phi \), Remark 2.4 applied to \(\phi \), and (5.29) that the graph map of \((\varphi ,\varphi _{2n+1})\) is a Lipschitz function with respect to the Heisenberg metric. Applying again Remark 2.4, but now to \((\varphi ,\varphi _{2n+1})\), we conclude that this function is intrinsic Lipschitz. Finally, it follows from the Euclidean \((\lambda _n\,\eta )/(\sqrt{2}-1)\)-Lipschitz continuity and the arguments in Sect. 2 that the intrinsic Lipschitz constant of \((\varphi ,\varphi _{2n+1})\) can be taken to be \(c_n \sqrt{\eta }\). \(\square \)
Before proving Theorem 5.26, we give another version for intrinsic N-Lipschitz maps \(\phi =(\phi _2,\ldots ,\phi _{2n+1})\) with \(N \geqslant 1\), similarly as in [11]. We can consider
which is an intrinsic 1-Lipschitz map. Hence, we apply Theorem 5.26 to \({{\hat{\phi }}}\) and constant \(\eta \). This yields a coronization with Carleson packing constants independent of N, and for every associated tree \({\mathcal {T}}\) an approximating map \({{\hat{\phi }}}_{{\mathcal {T}}}=({{\hat{\psi }}}_{{\mathcal {T}}}+{\hat{L}}_{{\mathcal {T}}},{{\hat{\phi }}}_{{\mathcal {T}},2n+1})\) as stated in Theorem 5.26. Then,
is intrinsic Lipschitz and its projection to the horizontal plane \(\{t=0\}\) is the sum of a \(\eta N^2\)-Lipschitz map \(\psi _{{\mathcal {T}}}\) and a linear \(2 N^2\)-Lipschitz map \(L_{{\mathcal {T}}}\) with the properties stated in the following corollary. The appearance of the constant \(N^2\) (instead of N) is related to the fact that intrinsic N-Lipschitz maps correspond essentially to \((N,\ldots ,N,N^2)\)-tame maps by Propositions 3.3 and 3.6.
Corollary 5.30
(Corona decomposition for intrinsic N-Lipschitz maps) For every \(n\in {\mathbb {N}}\), \(n>1\), and \(\eta \in (0,1)\), there exists a constant \(C\geqslant 1\) such that the following holds. Let \(N\geqslant 1\) be arbitrary and let \(\phi =(\phi _2 , \dots , \phi _{2n+1}): {\mathbb {V}}\rightarrow {\mathbb {W}}\) be intrinsic N-Lipschitz. Then, there exists a coronization \({\mathcal {D}} = {\mathcal {G}} {\dot{\cup }} {\mathcal {B}}\) satisfying the conditions in Definition 5.2with constant C such that, for every \({\mathcal {T}} \in {\mathcal {F}}\), there is an intrinsic Lipschitz map \(\phi _{\mathcal {T}} =(L_{{\mathcal {T}}} + \psi _{{\mathcal {T}}}, \phi _{{\mathcal {T}}, 2n+1}):{\mathbb {V}}\rightarrow {\mathbb {W}}\) where \(L_{\mathcal {T}}: {\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\) is a linear \(2N^2\)-Lipschitz map and \(\psi _{\mathcal {T}}: {\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\) is a \(\eta N^2\)-Lipschitz map such that \(\phi _{\mathcal {T}}\) approximates \(\phi \) well at the resolution of the intervals in \({\mathcal {T}}\):
Proof of Theorem 5.26
We apply the Lipschitz corona decomposition stated in Theorem 5.3 and Corollary 5.22 with parameter \(\delta := \eta ^2/(100 n)\) to the 1-Lipschitz map \(\psi :=( \phi _{2} , \dots , \phi _{2n}):{\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1} \). Hence, there are a coronization with Carleson packing constant depending on n and \(\eta \), and an associated forest \({\mathcal {F}}\) of trees. We fix \({\mathcal {T}}\in {\mathcal {F}}\), and consider the top interval \(Q({\mathcal {T}})=[x,y]\) with \(x<y\). Then, there exists a \(\delta \)-Lipschitz map \(\psi _{{\mathcal {T}}}= ( \psi _{{\mathcal {T}},2} , \dots , \psi _{{\mathcal {T}},2n}):{\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1} \) and a linear 2-Lipschitz map \(L_{{\mathcal {T}}}=( L_{{\mathcal {T}},2} , \dots , L_{{\mathcal {T}},2n}):{\mathbb {R}}\rightarrow {\mathbb {R}}^{2n-1}\) such that
In addition, we may assume by Corollary 5.22 that
Here, as before, \({\mathcal {S}} ({\mathcal {T}})\) is the collection of minimal intervals in \({\mathcal {T}}\) (possibly an empty collection) and
Now we would like to produce an intrinsic Lipschitz function
satisfying the claims stated in Theorem 5.26. The challenge is to find the last component of \(\phi _{{\mathcal {T}}}\) so that the intrinsic Lipschitz and approximation property hold, and this will require some changes in the terms \(L_{{\mathcal {T}},n+1} + \psi _{{\mathcal {T}},n+1}\) (but not in the other components).
For \(S=[a,b] \in {\mathcal {S}} ({\mathcal {T}})\) fixed, we will modify the restriction of \(\psi _{{\mathcal {T}},n+1}\) to \(\frac{1}{2} S =[s_1,s_2]\) with \(s_1\leqslant s_2\), which is the interval with the same centre but half the length as S. The property of \(\frac{1}{2} S\) needed in the future is that if \(Q \in {\mathcal {T}}\) with \(|Q| < |S|\), then
Analogously as in the proof of [11, Theorem 3.15], we add to \(\psi _{{\mathcal {T}},n+1}\) a suitable “correction term” \(\xi _S : S \rightarrow {\mathbb {R}}\) in order that
-
(1)
\(\xi _S (t)=0, \quad \forall t \ne [s_1,s_2]\);
-
(2)
it holds
$$\begin{aligned} \int _a^b - \xi _S (r)\, dr&= \int _a^b - \phi _{n+1} (r) + \psi _{{\mathcal {T}},n+1}(r) + L_{{\mathcal {T}},n+1}(r)\nonumber \\&\quad +\frac{1}{2} \sum _{i=2}^n \phi _i (r) {{\dot{\phi }}}_{n+i} (r)-{{\dot{\phi }}}_i (r) \phi _{n+i}(r ) - \phi _{{\mathcal {T}},i} (r) \dot{\phi }_{{\mathcal {T}},n+i} (r)-{{\dot{\phi }}}_{{\mathcal {T}},i} (r) \phi _{{\mathcal {T}},n+i}(r ) \, d r. \end{aligned}$$(5.35)
The idea behind (5.35) is the following. As suggested by (5.33), we will define
but for \(i=n+1\) and \(S\in {\mathcal {S}}({\mathcal {T}})\), we set
while \(\phi _{{\mathcal {T}},n+1}|_{E}:=\psi _{{\mathcal {T}},n+1}|_E + L_{{\mathcal {T}},n+1}|_E\). The function \(\xi _S\) allows us to match \(\phi _{{\mathcal {T}},2n+1}\) with \(\phi _{2n+1}\) in endpoints of minimal intervals. Up to a sign change, the desired intrinsic Lipschitz property of \(\phi _{{\mathcal {T}}}\) is equivalent to the tameness condition. Tame maps on intervals can be characterized as in Proposition 3.7, so we will obtain \(\phi _{{\mathcal {T}},2n+1}\) by integrating an expression involving the components \(\phi _{{\mathcal {T}},2},\ldots ,\psi _{{\mathcal {T}},2n}\). Then, (5.35) ensures that the thus defined \(\phi _{{\mathcal {T}},2n+1}\) agrees with \(\phi _{2n+1}\) in endpoints of the minimal intervals \(S\in {\mathcal {S}}({\mathcal {T}})\).
To obtain (5.35), we define \(\xi _S : S \rightarrow {\mathbb {R}}\) as
where \(c\in {\mathbb {R}}\) is such that (5.35) holds. Since
and \(S=[a,b]\), the requirement (5.35) means that
The \(\eta \)-Lipschitz continuity of
on S will follow from a bound on |c|. We claim that \(|c|\leqslant 24 n \delta \); indeed, by (5.36),
Using (5.31), we obtain that \(|I_1|\leqslant 4 \delta \); moreover, using again (5.31) and recalling that \(\psi _{{\mathcal {T}}} \) is a \(\delta \)-Lipschitz map with \(\delta <1\) and \(L_{{\mathcal {T}}}\) is a linear 2-Lipschitz map, we have that \(|I_i|\leqslant 12 (n-1) \delta \) for \(i=2,3\). Finally, integrating by parts, and using \(\phi _i(s)= \phi _{{\mathcal {T}},i}(s)\) for \(s\in \{a,b\}\) and \(i=2,\ldots ,2n\), we get that \(I_4=0\).
Hence, \(|c|\leqslant 24 n \delta \), as desired. Consequently, we get that \(\xi _S\) is \(96 n \delta \)-Lipschitz with \(\Vert \xi _S\Vert _{L^\infty } \leqslant 24 n \delta |S|\).
We make analogous modifications inside all intervals \(S \in {\mathcal {S}} ({\mathcal {T}})\). Recalling that we have chosen \(\delta \) so that \(100 n \delta = \eta ^2\leqslant \eta \), we obtain an \(\eta \)-Lipschitz map on \({\mathbb {R}}\), piecewise defined on S as in (5.37).
We next show that the modified map still satisfies (5.31), albeit with a larger constant than \(\delta \). Indeed, for \(Q\in {\mathcal {T}}\) it suffices to check the condition for \(s\in 2Q\) that belong to \(\frac{1}{2}S\) for some \(S\in {\mathcal {S}}({\mathcal {T}})\), as this is the only place where we have done a modification. So assume \(s\in 2Q \cap \frac{1}{2}S\). Then, \(|S|\leqslant |Q|\) by (5.34), and (5.31) yields
Now we consider the last component of the approximation map \(\phi _{{\mathcal {T}}}\) of \(\phi \). For \(Q({\mathcal {T}})=[x,y]\), we define
for all \(s \in [x,y].\) By Proposition 3.7, \(\phi _{{\mathcal {T}}}: {\mathbb {V}}\rightarrow {\mathbb {W}}\) is an intrinsic Lipschitz map. The next step is to show
for \(s \in E \cup \bigcup _{S \in {\mathcal {S}} ({\mathcal {T}})} \partial S\). By construction, this is equivalent to verifying that for \(s \in E \cup \bigcup _{S \in {\mathcal {S}} ({\mathcal {T}})} \partial S\) and \(Q({\mathcal {T}})=[x,y]\) we have
We recall that E is a measurable set because \(E= Q({\mathcal {T}})\setminus \bigcup _{ S \in {\mathcal {S}} ({\mathcal {T}})} S\) and \({\mathcal {S}} ({\mathcal {T}})\) is a countable family of intervals. Moreover,
If E is a Lebesgue null set, then the integral over E is not relevant. On the other hand, the derivatives of \(\phi _i,\phi _{{\mathcal {T}},i}\), \(i=2,\ldots ,2n+1\) exist almost everywhere, and if E has positive measure, then almost every point in E is a Lebesgue density point of E. Since \(\phi _i(s)=\phi _{{\mathcal {T}},i}(s)\) for all \(s\in E\) and \(i=2,\ldots ,2n\), it follows that \({{\dot{\phi }}}_{i}(s)=\dot{\phi }_{{\mathcal {T}},i} (s)\) for almost every \(s\in E\) and so \( \dot{\phi }_{{\mathcal {T}},2n+1} (s)= {{\dot{\phi }}} _{2n+1}(s)\) for almost every \(s\in E\). Moreover,
Indeed, by the choice of \(s\in E \cup \bigcup \partial S\) we have two cases to consider: \( S \cap [x,s]= S\) or \( S \cap [x,s] =\emptyset .\) The latter intervals S can be ignored, and for the former, the integrals on the left and on the right-hand side of (5.41) agree, by (5.35). This proves (5.40).
Finally, it remains to check the approximation condition (5.27). Having already established (5.39), the only nontrivial inequality is
for every \(Q\in {\mathcal {T}}\), \(s\in 2Q\). We have two different cases: \(s\in E\) and \(s\notin E.\) Firstly, for \(s\in E\), the left-hand side of (5.42) vanishes by (5.32) and (5.40), and so the inequality holds trivially true. Secondly, for \(s\notin E\), as in the proof of [11, Proposition 3.6], we know that there is \({{\tilde{s}}} \in Q \cap (E \cup \bigcup _{ S \in {\mathcal {S}} ({\mathcal {T}})} \partial S)\) such that \(|s-{{\tilde{s}}} | \leqslant |Q|\). Since \(\phi _{{\mathcal {T}},n+1} ({{\tilde{s}}}) = \phi _{n+1}({{\tilde{s}}})\), we can estimate as follows:
For convenience, let us denote the integral in the above expression by “I”, so that
Using similar computations as in the bound for c, see (5.38), we find
Notice that \([{{\tilde{s}}}, s] \subset 2Q\) (or \([s, {{\tilde{s}}}] \subset 2Q\)), so \(|\phi _{{\mathcal {T}},n+1}(r)-\phi _{n+1}(r)|\leqslant 25 n \delta |Q|\) for all \(r\in [{{\tilde{s}}},s]\) by (5.39), and \(|\phi _{{\mathcal {T}},i}(r)-\phi _{i}(r)|\leqslant \delta |Q|\) for \(i\in \{2,\ldots ,2n\}\setminus \{n+1\}\) by the property coming from Theorem 5.3. Using also that \(|s-{{\tilde{s}}}|\leqslant |Q|\), we obtain the desired estimates for the first three summands: \( |J_1|+|J_2|+|J_3| \leqslant 50 n \delta |Q|^2.\) The term “\(J_4\)” might look problematic at first since \(\Phi (s)\) does not necessarily agree with \(\Phi _{{\mathcal {T}}}(s)\). However, if we combine it first with the second summand in (5.43), then cancellation occurs by partial integration:
Since \(\Phi ({{\widetilde{s}}}) = \Phi _{{\mathcal {T}}}({{\widetilde{s}}})\), the expression on the right vanishes. Hence, we obtain that
Finally, we recall that \(10 0 n \delta = \eta ^2\), so (5.42) holds, as desired. This concludes the proof. \(\square \)
References
Antonelli, G., Merlo, A.: Intrinsically Lipschitz functions with normal targets in Carnot groups. Ann. Acad. Sci. Fenn. Math. (2020). arXiv:2006.02782
Antonelli, G., Merlo, A.: On rectifiable measures in Carnot groups: structure theory, (2020). arXiv:2009.13941
Azagra, D., Le Gruyer, E., Mudarra, C.: Explicit formulas for \(C^{1,1}\) and \(C_{{\rm conv}}^{1,\omega }\) extensions of 1-jets in Hilbert and superreflexive spaces. J. Funct. Anal. 274(10), 3003–3032 (2018)
Balogh, Zoltán M., Fässler, Katrin, Mattila, Pertti, Tyson, Jeremy T.: Projection and slicing theorems in Heisenberg groups. Adv. Math. 231(2), 569–604 (2012)
Balogh, Zoltán M., Fässler, Katrin S.: Rectifiability and Lipschitz extensions into the Heisenberg group. Math. Z. 263(3), 673–683 (2009)
Brudnyi, A., Brudnyi, Y.: Methods of geometric analysis in extension and trace problems: volume 1. Monographs in mathematics, Springer, Basel (2012)
Brudnyi, A., Brudnyi, Y.: Methods of geometric analysis in extension and trace problems: volume 2. Monographs in mathematics, Springer, Basel (2012)
David, G., Semmes, S.: Singular integrals and rectifiable sets in \({\bf R}^n\): Au-delà des graphes lipschitziens. Astérisque 193, 152 (1991)
David, G., Semmes, S.: Analysis of and on uniformly rectifiable sets. Mathematical surveys and monographs. American Mathematical Society, Providence, RI (1993)
Fässler, Katrin: Extending Lipschitz maps from Euclidean spaces into Heisenberg groups. Master’s thesis, University of Bern, (2007)
Fässler, K., Orponen, T.: Singular integrals on regular curves in the Heisenberg group. J. Math. Pures Appl. (2019). arXiv:1911.03223
Franchi, B., Serapioni, R., Cassano, F.S.: Rectifiability and perimeter in the Heisenberg group. Math. Ann. 321(3), 479–531 (2001)
Franchi, B., Serapioni, R., Cassano, F.S.: Intrinsic Lipschitz graphs in Heisenberg groups. J. Nonlinear Convex Anal. 7(3), 423–441 (2006)
Franchi, Bruno, Serapioni, R., Cassano, F.S.: Differentiability of intrinsic Lipschitz functions within Heisenberg groups. J. Geom. Anal. 21(4), 1044–1084 (2011)
Franchi, Bruno, Serapioni, R.P.: Intrinsic Lipschitz graphs within carnot groups. J. Geom. Anal. 26(3), 1946–1994 (2016)
Glaeser, G.: Étude de quelques algèbres tayloriennes. J. Anal. Math. 6, 1–124 (1958)
Gromov, Mikhael: Carnot-Carathéodory spaces seen from within. In Sub-Riemannian geometry, volume 144 of Progr. Math., pp. 79–323. Birkhäuser, Basel, (1996)
Heinonen, J.: Lectures on Lipschitz analysis. Report, vol. 100. University of Jyväskylä Department of Mathematics and Statistics. University of Jyväskylä, Jyväskylä (2005)
Lang, Urs, Schlichenmaier, T.: Nagata dimension, quasisymmetric embeddings, and Lipschitz extensions. Int. Math. Res. Not. 58, 3625–3655 (2005)
Magnani, Valentino: Contact equations, Lipschitz extensions and isoperimetric inequalities. Calc. Var. Partial Diff. Equ. 39(1–2), 233–271 (2010)
Naor, A., Young, R.: Vertical perimeter versus horizontal perimeter. Ann. Math. 188(1), 171–279 (2018)
Naor, A., Young, R.: Foliated corona decompositions, 2020. arXiv:2004.12522
Orponen, T., Villa, M.: Sub-elliptic boundary value problems in flag domains, (2020). arXiv:2006.08293
Semmes, S., Analysis vs. geometry on a class of rectifiable hypersurfaces in \({\mathbb {R}}^n\). Indiana Univ. Math. J. 39(4), 1005–1035 (1990)
Vittone, D.: Lipschitz graphs and currents in Heisenberg groups, (2020). arXiv:2007.14286
Wenger, Stefan, Young, R.: Lipschitz extensions into jet space Carnot groups. Math. Res. Lett. 17(6), 1137–1149 (2010)
Acknowledgements
We would like to thank Tuomas Orponen and an anonymous referee for helpful suggestions.
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.
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.
D.D.D. is partially supported by the Academy of Finland (grant 288501 “Geometry of subRiemannian groups” and by grant 322898 “Sub-Riemannian Geometry via Metric-geometry and Lie-group Theory”) and by the European Research Council (ERC Starting Grant 713998 GeoMeG “Geometry of Metric Groups”). K.F. is supported by the Academy of Finland through the grant 321696 “Singular integrals, harmonic functions, and boundary regularity in Heisenberg groups”.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Di Donato, D., Fässler, K. Extensions and corona decompositions of low-dimensional intrinsic Lipschitz graphs in Heisenberg groups. Annali di Matematica 201, 453–486 (2022). https://doi.org/10.1007/s10231-021-01124-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01124-3