Abstract
We prove an integral formula for the spherical measure of hypersurfaces in equiregular sub-Riemannian manifolds. Among various technical tools, we establish a general criterion for the uniform convergence of parametrized sub-Riemannian distances, and local uniform asymptotics for the diameter of small metric balls.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Sub-Riemannian manifolds nowadays constitute a wide area of research, related to PDEs, Geometric Analysis, Differential Geometry and Control Theory. Nevertheless, several aspects of their geometry are still far from being understood. Such difficulties already appear in the wide project to develop Geometric Measure Theory in Carnot groups, which are special classes of sub-Riemannian manifolds. To ease our exposition, in the sequel we abbreviate the adjective “sub-Riemannian” to “SR”.
In the present work, we focus our attention on the surface measure of hypersurfaces embedded in a SR manifold. From a historical perspective, the study of surface measure played an important role in the development of several branches of Mathematics, such as Calculus of Variations, Geometric Analysis, Probability and Geometric Measure Theory. Around the half of the twentieth century many works were devoted to find and study the proper notion of surface measure, in view of applications to Calculus of Variations and to the early stages of Geometric Measure Theory. For instance, the questions related to the notion of Lebesgue area [19,20,21,22] were highly nontrivial and the first works of Federer were devoted to the study of this notion of surface area. The debate on the natural notion of surface measure can be seen from the deep studies of [11, 50]. In the same period, sets of finite perimeter first appeared in the work of Caccioppoli [10] and the theory was developed by De Giorgi [15] through his celebrated rectifiability theorem. The rectifiability of the reduced boundary is crucial to establish the important formula relating perimeter measure to the Hausdorff measure of the reduced boundary.
In the non-Euclidean framework of stratified groups, new theoretical tools are necessary. A key result is the asymptotically doubling property of the perimeter measure in metric spaces, established by Ambrosio [2, 3], that lead to a rectifiability theorem for sets of finite perimeter in some classes of nilpotent Lie groups, proved by Franchi et al. [24, 25], see also [43]. The area formulas for the perimeter measure in these papers were corrected in [37, 40]. The correction subsequently appeared in [26] for a specific symmetric distance. In all of these works, the same measure-theoretic area formula [38, 39] was used, see also [34] for a systematic study of measure-theoretic area formulas. The general representation of the perimeter measure with respect to the spherical measure arising from any homogeneous distance was established in [40]. Concerning the rectifiability problem in stratified groups, more recent results can be found in [16].
Area formulas for the spherical measure in general homogeneous groups and for higher codimensional smooth submanifolds were obtained in [41, 42], see also references therein. As clarified in these papers, one of the difficulties is to establish negligibility results for “points of lower degree”. In fact, even for smooth submanifolds the theory of the surface area in homogeneous groups is still far from being complete.
Extending further the study of the surface measure from homogeneous groups to SR manifolds leads to additional difficulties, as the lack of a group operation and of global dilations. We overcome these issues through the study of some interesting metric properties of equiregular SR manifolds, along with their metric tangent spaces.
Our aim is to find an explicit formula that relates the perimeter measure of a bounded, \(C^1\) smooth and open set of a SR manifold to the spherical measure of its boundary. The fascinating aspect of this question is that the use of the SR distance to construct the spherical measure naturally lets the infinitesimal geometry of the SR manifold enter the question. In many respects the present work can be seen as a continuation of the study started in [4], where the coordinate-free notion of sub-Riemannian perimeter measure was introduced. The spherical measure in sub-Riemannian manifolds was previously studied in [27,28,29], where a number of technical difficulties were overlooked, especially in the application of differentiation theorems for measures.
We consider an oriented \(\textrm{n}\)-dimensional SR manifold M with a metric g on a distribution of \(\textrm{m}\)-planes defined by a family \(\mathcal {D}\) of horizontal vector fields. The oriented “volume measure” is assigned through an everywhere nonvanishing \(\textrm{n}\)-form \(\omega \), hence we get a sub-Riemannian measure manifold \((M,\mathcal {D},g,\omega )\), where the perimeter measure \(\Vert D_{\omega ,g}{\textbf{1}}_E\Vert \) of a measurable set \(E\subset M\) can be defined in intrinsic terms, see Sect. 2 for more details.
For an open set \(\Omega \) with \(C^1\) smooth boundary \(\partial \Omega \), our first result is an integral representation of the perimeter measure
where we have denoted by \(\nu _{{\mathcal {D}}}\) the horizontal normal to \(\partial \Omega \) (Definition 6.9) and \({\overline{g}}\) is any Riemannian metric that extends the sub-Riemannian metric g. Formula (1) is established in Theorem 6.11. The Riemannian surface measure associated with \(\partial \Omega \) is denoted by \(\sigma _{{\overline{g}}}\) and \(U\subset M\) is any open subset. We point out that the proof of (1) requires a general version of the Riemannian divergence theorem with respect to a volume form, see Theorem 6.6. Formula (1) has also an independent interest, since it links the sub-Riemannian perimeter to the Riemannian surface measure \(\sigma _{{\overline{g}}}\), taking into account the fixed volume form \(\omega \). The left-hand side of (1) only needs the SR metric g, hence the right-hand side does not depend on its extension \({\overline{g}}\) and actually motivates the natural definition of sub-Riemannian surface measure for any smooth hypersurface \(\Sigma \subset M\), according to Definition 6.12. For any Borel set \(A\subset \Sigma \), we define
The independence of the extension \({\bar{g}}\) justifies the slight abuse of notation, denoting by the same symbol g any Riemannian metric that extends the sub-Riemannian metric.
To use the spherical measure, we focus our attention on equiregular SR manifolds, whose Hausdorff dimension Q has an explicit formula [46]. Our main result is the following geometric representation of the spherical Federer density \(\mathfrak s^{Q-1}\) of \(\sigma _\Sigma ^{SR}\), namely
The number \(\beta _{d,g}(\nu _\mathcal {D}(q))\) is the spherical factor, which is described below. Equality (3) is proved through a blow-up process that also involves the ambient space, since the SR manifold is not homogeneous with respect to local dilations. As a result, the proof of (3) requires a double blow-up: the one of the SR manifold and the one of the hypersurface. The first blow-up corresponds to the well known nilpotent approximation of the SR manifold, representing the metric tangent space of M at the blow-up point q, see Sect. 2.2 for more information.
The left-hand side of (3) is the spherical Federer density of \(\sigma _\Sigma ^{SR}\) at q (Definition 6.2). Such “density” was first introduced in [39, Definition 5] to establish a measure-theoretic area formula for the spherical measure ([39, Theorem 11]), which represents our bridge to the sub-Riemannian area formula (7). The spherical factor \(\beta _{d,g}(\cdot )\) is a “pointwise geometric invariant” of both the SR manifold and the hypersurface \(\Sigma \), which is related to the nilpotent approximation of M at q and to the horizontal normal \(\nu _\mathcal {D}(q)\) of \(\Sigma \) at q. It can be seen as the maximal area of the intersection between the orthogonal space to \(\nu _\mathcal {D}(q)\) with the sub-Riemannian unit ball in the nilpotent approximation of the SR manifold at p.
For homogeneous groups we have a simpler definition of spherical factor, due to the homogeneity of the ambient space, therefore only the homogeneous tangent space to the submanifold appears ([41, Definition 7.6]). In broad terms, the spherical factor is a sort of “renormalizing constant” for the spherical measure. To give a simple idea, in the Euclidean space it coincides with the constant \(\omega _{\textrm{n}-1}\) appearing in the definition of the \((\textrm{n}-1)\)-dimensional Hausdorff measure, that is the \((\textrm{n}-1)\)-dimensional Lebesgue measure of the Euclidean unit ball in \(\mathbb {R}^{\textrm{n}-1}\).
However, the formal definition of spherical factor in SR manifolds was not easy to conceive (Definition 3.1). We could also imagine other definitions, like considering sub-Riemannian balls with center close to the blow-up point q and one cannot exclude other possible equivalent definitions. Somehow unexpectedly the definition of spherical factor in SR manifolds came after the proof of the “double blow-up”, which was obtained by taking a special system of coordinates. From (3) one may deduce a priori that the spherical factor \(\beta _{d,g}(\cdot )\) is well defined on the horizontal directions of TM and it depends on a number of mathematical objects, like the sub-Riemannian distance, the Riemannian metric and the hyperplane orthogonal to \(\nu _\mathcal {D}\). However, this information is not enough to find its general explicit formula in Definition 3.1. An “invariance property” is necessary and this is provided by the next result, proved in Theorem 3.2.
Theorem 1.1
(Change of exponential coordinates of the first kind) Let \((M,{\mathcal {D}},g,\omega )\) be a sub-Riemannian measure manifold and denote by the same symbol g a Riemannian metric on M that extends the sub-Riemannian metric. We assume that \(p\in M\) is a regular point and consider two privileged orthonormal frames \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) and \(\textbf{Y}=(Y_1,\dots , Y_\textrm{n})\) in an open neighborhood W of p. According to (14), we introduce the exponential coordinates of the first kind \(F_{p,\textbf{X}}, F_{p,\textbf{Y}}:V\rightarrow W\) associated with \(\textbf{X}\) and \(\textbf{Y}\) respectively, around p. The set \(V\subset \mathbb {R}^\textrm{n}\) is an open neighborhood of \(0\in \mathbb {R}^\textrm{n}\). The frames \({\widehat{\textbf{X}}}^p=({\widehat{X}}_1^p,\dots , {\widehat{X}}^p_\textrm{n})\) and \({\widehat{\textbf{Y}}}^p=({\widehat{Y}}_1^p,\dots , {\widehat{Y}}_\textrm{n}^p)\) denote the nilpotent approximations of \(\textbf{X}\) and \(\textbf{Y}\) at p, see Definition 2.18. Then the following facts hold:
-
(i)
the family of maps \(\delta _{1/\varepsilon }\circ F_{p,\textbf{Y}}^{-1}\circ F_{p,\textbf{X}}\circ \delta _\varepsilon :V\rightarrow {\mathbb {R}}^\textrm{n}\) uniformly converges to the restriction of a linear Euclidean isometry \({\widehat{L}}:\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}^\textrm{n}\) as \(\varepsilon \rightarrow 0\);
-
(ii)
we have \({\widehat{L}}=\textrm{d}(F_{p,\textbf{Y}}^{-1}\circ F_{p,\textbf{X}})(0)\) and the matrix associated with \({\widehat{L}}\) is block diagonal;
-
(iii)
if we denote by \({\widehat{d}}_{p,\textbf{X}}\) and \({\widehat{d}}_{p,\textbf{Y}}\) the sub-Riemannian distances associated with \({\widehat{\textbf{X}}}^p\) and \({\widehat{\textbf{Y}}}^p\), respectively, then \({\widehat{d}}_{p,\textbf{Y}}({\widehat{L}}(x),{\widehat{L}}(y))={\widehat{d}}_{p,\textbf{X}}(x,y)\) for every \(x,y\in {\mathbb {R}}^\textrm{n}\).
The notation of this theorem is introduced in Sects. 2.1 and 2.2. Theorem 1.1 implies that the spherical factor does not depend on the choice of the exponential coordinates of the first kind, see Corollary 3.4. Now we state the double blow-up that leads to the key equality (3). Its proof corresponds to that of Theorem 6.13.
Theorem 1.2
(Double blow-up) Let \((M,{\mathcal {D}}, g, \omega )\) be a sub-Riemannian measure manifold. We assume that \(\Sigma \subset M\) is an oriented \(C^1\) smooth hypersurface with orienting unit normal \(\nu \) on \(\Sigma \cap T\) and \(T\subset M\) is an open neighborhood of \(p\in \Sigma \). We also denote by the same symbol g a Riemannian metric on M that extends the given sub-Riemannian metric and we consider the associated SR surface measure \(\sigma _\Sigma ^{SR}\). If p is both a regular point of M and a noncharacteristic point of \(\Sigma \), then
where \(\nu _\mathcal {D}(p)\) denotes the horizontal normal at \(p\in \Sigma \).
Characteristic points are introduced in Definition 6.9 and will be discussed right after Theorem 1.6. Regular points are introduced in Definition 2.5. To prove Theorem 1.2, more difficulties are hidden, since the formula for the spherical Federer density \(\mathfrak s^{Q-1}\) needs uniform asymptotics for the diameters of sub-Riemannian balls. More precisely, another result is necessary, showing that the diameters of a family of sub-Riemannian balls with suitably small radius \(r>0\) are “uniformly close to 2r” in a neighborhood of a regular point.
Theorem 1.3
(Uniform estimates of “small” diameters) Let p be a regular point of a sub-Riemannian manifold M. Then there exists a neighborhood \(T\subset M\) of p such that for every \(0<\varepsilon <1\) there exists a radius \(r_\varepsilon >0\) such that
for every \(q\in T\) and \(0<r<r_\varepsilon \).
The uniform asymptotics (5) are established in Theorem 5.3 and we believe they have an independent interest in the study of equiregular sub-Riemannian manifolds. The proof of (5) in turn needs two additional results. The first one is a uniform nilpotent approximation with respect to the blow-up point, which extends the well-known nilpotent approximations at fixed regular points, for which a wide literature is available, see Sect. 2.2 for more information.
Theorem 1.4
(Uniform nilpotent approximation) Let \((M,{\mathcal {D}}, g)\) be a sub-Riemannian manifold and let \(p\in M\) be a regular point. We consider a privileged orthonormal frame \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) in an open neighborhood of \(p\in M\) and denote by \(F_\textbf{X}\) a system of uniform exponential coordinates on a fixed open set U containing p (Definition 2.12). We define the vector fields in local coordinates \({\widetilde{X}}_i^q= (F_\textbf{X}(q,\cdot )^{-1})_*X_i\), along with the rescaled vector fields \({\widetilde{X}}_i^{q,r}=r^{w_i}(\delta _{1/r})_*{\widetilde{X}}_i^q\) for \(i=1,\ldots ,\textrm{n}\), \(q\in U\) and \(r>0\), see (21). Then for every bounded open set \(A\subset \mathbb {R}^\textrm{n}\) the following statements hold.
-
(1)
The rescaled frame \({\widetilde{\textbf{X}}}^{q,r}=({\widetilde{X}}^{q,r}_1,\ldots ,{\widetilde{X}}^{q,r}_\textrm{n})\) converges to the nilpotent approximation \({\widehat{\textbf{X}}}^q=({\widehat{X}}^q_1,\ldots ,{\widehat{X}}^q_\textrm{n})\) (Definition 2.18) on the subset \(A\subset \mathbb {R}^n\) in the \(C^\infty _{\textrm{loc}}\)-topology as \(r\rightarrow 0\), uniformly with respect to q which varies in any compact set of U.
-
(2)
The rescaled horizontal frame \({\widetilde{\textbf{X}}}^{q,r}_h=({\widetilde{X}}^{q,r}_1,\ldots ,{\widetilde{X}}^{q,r}_\textrm{m})\) induces a local distance \({\widetilde{d}}_q^r\) which converges to \({\widehat{d}}_q\) (Definition 2.18) in \(L^\infty (A\times A)\) as \(r\rightarrow 0\), uniformly as q varies in any compact set of U.
We have denoted by \({\widehat{d}}_q:\mathbb {R}^n\times \mathbb {R}^\textrm{n}\rightarrow [0,+\infty )\) the tangent sub-Riemannian distance (Definition 2.18) and by \({\widetilde{d}}^r_q\) the local distance (Definition 2.13) induced by the rescaled frame \({\widetilde{\textbf{X}}}^{q,r}\). The uniform nilpotent approximation is proved in Theorem 4.6, where more details are added in the statement. Theorem 1.4 is somehow considered known to the experts, but we were unable to find its proof. We notice for instance that the estimate (85) in [6] follows from Theorem 1.4(2). According to [6, Section 8], we can actually think of Theorem 1.4(2) as a uniform Gromov-Hausdorff convergence of the SR manifold to the metric tangent space. When a regular point \(p\in M\) is fixed (Definition 2.5), Theorem 1.4 proves that the rescaled distances \({\widetilde{d}}^r_q\) uniformly converge to the tangent sub-Riemannian distance \({\widehat{d}}_q\) (Definition 2.18) on compact sets of their domains and also uniformly as q varies in a compact neighborhood of p.
A nontrivial technical result behind the uniform nilpotent approximation is a general uniform convergence theorem for families of sub-Riemannian distances, established in Theorem 4.1, see Sect. 4 for more information.
Somehow surprisingly, the uniform convergence of the rescaled distances \({\widetilde{d}}_q^r\) does not immediately imply the uniform diameter estimate of Theorem 1.3. The main issue is that the local sub-Riemannian distance (Definition 2.13) relative to a bounded open set may be larger than the sub-Riemannian distance on the whole manifold. Only at sufficiently small scale, the two distances coincide, as proved in Proposition 2.15. To apply this proposition, we have to show that the radii of the sub-Riemannian balls contained in the “moving exponential local charts” do not degenerate as the center of the sub-Riemannian ball and the chart vary. In other words, we have to guarantee the existence of a “common, moving sub-Riemannian ball with fixed radius”, where the uniform convergence of the sub-Riemannian distances takes place. Exactly at this point the second theorem to show (5) appears. The existence of the “uniform radius” can be actually established for a general “topological exponential mapping” taking values in a length metric space.
Theorem 1.5
(Topological existence of uniform radius) Let M be a length metric space and let \(p\in M\). Let \(T\subset M\) be an open neighborhood of p and let \(A\subset \mathbb {R}^\textrm{n}\) be an open neighborhood of 0. We consider a mapping \(E:T\times A\rightarrow M\) such that
-
(1)
E is continuous,
-
(2)
\(E(q,0)=q\) for every \(q\in T\),
-
(3)
the mapping \(E(q,\cdot ):A\rightarrow E(q,A)\) is a homeomorphism for every \(q\in T\).
Then there exist a bounded open neighborhood \(V\subset A\) of 0, an open neighborhood \(U\subset T\) of p such that the function
is well defined and lower semicontinuous. In particular, there exist \(r_0>0\) and \(\varepsilon _0>0\) such that \(B(q,r_0)\subset E(q,V)\) for every \(q\in B(p,\varepsilon _0)\).
The arguments to prove this theorem also rely on a suitable use of degree theory, see Theorem 5.1. Combining the measure theoretic area formula of Theorem 6.4 and the double blow-up of Theorem 6.13, we finally obtain the area formula (7). More details about the application of Theorem 6.4 are given in Remark 6.5.
Theorem 1.6
(Area formula) Let \((M,\mathcal {D},g,\omega )\) be an equiregular sub-Riemannian measure manifold of Hausdorff dimension Q and denote also by g a Riemannian metric that coincides with the sub-Riemannian metric on horizontal directions. Let \(\Sigma \subset M\) be an oriented hypersurface of class \(C^1\) embedded in M and let \(A\subset \Sigma \) be a Borel set containing an \(\mathcal {S}^{Q-1}\) negligible subset of characteristic points. If \(\nu \) is a continuous unit normal field on \(\Sigma \), then we have
where the spherical measure is introduced in Definition 6.1.
Characteristic points constitute the “intrinsically singular set” of \(\sum \). However, the set of characteristic points is \(\mathcal {S}^{Q-1}\) negligible for \(C^1\) smooth hypersurfaces embedded in stratified groups, [36]. The extension of this result to SR manifolds is not straightforward, since in general they are not locally bi-Lipschitz equivalent to stratified groups, [6, 49, 53], see also [33]. It is then natural to deserve further study to the negligibility issue.
As a simple consequence of the previous area formula, for a \(C^1\) smooth open set \(\Omega \) with boundary \(\partial \Omega \), formula (1) combined with (7) yields
for every Borel set \(A\subset M\) such that the set of characteristic points in the intersection \(\partial \Omega \cap A\) is \(\mathcal {S}^{Q-1}\) negligible. Notice that (8) also extends the area formula for perimeters in stratified groups equipped with a general volume form, in place of the standard Haar measure.
2 Some basic notions and known facts
In this section we introduce sub-Riemannian measure manifolds, along with some basic notions. We also introduce the important notion of exponential coordinates of the first kind, that will be useful in the sequel.
To define a sub-Riemannian manifold without referring to local frame of vector fields, we use the notion of Euclidean vector bundle, that is a vector bundle equipped with a smooth scalar product.
Definition 2.1
(Sub-Riemannian structure) Let M be a smooth, connected manifold and assume that \(f:\textbf{U}\rightarrow TM\) is a morphism of vector bundles, where \(\textbf{U}\) is a Euclidean vector bundle with base M. As a morphism, f is smooth, linear on fibers and verifies \(f_p(\textbf{U}_p)\subset T_pM\) for each \(p\in M\), where \(\textbf{U}_p\) is the fiber of \(\textbf{U}\) at p. We say that \((f,\textbf{U})\) is a sub-Riemannian structure on M. The family of horizontal vector fields are
where \(\Gamma (\textbf{U})\) is the module of sections of \(\textbf{U}\). We assume the Chow’s condition on \(\mathcal {D}\):
For each \(p\in M\), we set the fiber
We define the function \(G_p:T_pM\rightarrow [0,+\infty ]\) as
One may easily notice that \(\sqrt{G_p}:\mathcal {D}_p\rightarrow [0,+\infty )\) is a norm that satisfies the parallelogram identity, hence \(G_p\) is a quadratic form. The family of scalar products \(g_p:\mathcal {D}_p\times \mathcal {D}_p\rightarrow \mathbb {R}\) such that \(G_p(v)=g_p(v,v)\) for all \(p\in M\) and \(v\in \mathcal {D}_p\) defines a sub-Riemannian metric g on M. The triple \((M,\mathcal {D},g)\) is called sub-Riemannian manifold.
For \(q_1,q_2\in M\), we introduce the family \(\mathcal {A}_{q_1,q_2}\) of all AC curves \(\gamma :[0,1]\rightarrow M\) such that \(\gamma (0)=q_1\), \(\gamma (1)=q_2\) and
for a.e. \(t\in [0,1]\). Due to the celebrated Chow’s theorem, \(\mathcal {A}_{q_1,q_2}\ne \emptyset \) for all \(q_1,q_2\in M\). As a consequence, the infimum
is always a well defined real number. Actually, it can be shown that d is a distance on M, well known as sub-Riemannian distance. Any AC curve \(\gamma \) that satisfies (11) for a.e. t is called horizontal curve. The closed ball and the open ball in M are denoted by
respectively.
The sub-Riemannian distance can be also introduced with respect to a family of linearly independent vector fields of \(\mathbb {R}^\textrm{n}\).
Definition 2.2
(Sub-Riemannian distance with respect to vector fields) Let \(\Omega \subset \mathbb {R}^\textrm{n}\) be a connected open set, \(\textrm{m}<\textrm{n}\) and let \(\textbf{X}=(X_1,\ldots ,X_\textrm{m})\) be an ordered collection of everywhere linearly independent smooth vector fields on \(\Omega \). We also assume that the iterated Lie brackets of these vector fields, up to some degree of iteration s, span \(\mathbb {R}^\textrm{n}\) at every point \(x\in \Omega \). Then we choose \(x,y\in \Omega \) and consider the family \(\mathcal {F}(x,y)\) of all absolutely continuous curves \(\gamma :[0,1]\rightarrow \Omega \) such that \(\gamma (0)=x\), \(\gamma (1)=y\) and
for a.e. \(t\in [0,1]\). The sub-Riemannian distance d(x, y) between x and y in \(\Omega \) is then
![](http://media.springernature.com/lw306/springer-static/image/art%3A10.1007%2Fs00526-023-02590-8/MediaObjects/526_2023_2590_Equ236_HTML.png)
where \(\Vert h\Vert _\infty \) is the \(L^\infty \) norm of the measurable function \(t\rightarrow \sqrt{\sum _{j=1}^{\textrm{m}}h_j(t)^2}\).
Remark 2.3
The sub-Riemannian distance with respect to a sub-Riemannian metric and the one with respect to vector fields (Definition 2.2) are clearly related, see Proposition 2.15. This is the case when the vector fields are considered orthonormal with respect to the sub-Riemannian metric.
Remark 2.4
It is easy to notice that the distance of Definition 2.2 is equivalent to the one where we consider time minimizing absolutely continuous curves \(\gamma :[0,T]\rightarrow \Omega \) satisfying (13), connecting x with y and such that \(\Vert h\Vert _\infty \le 1\) a.e.
Definition 2.5
(Equiregular sub-Riemannian manifolds and regular points) Let us consider the sub-Riemannian structure \((f,\textbf{U})\) on a smooth, connected manifold M. If \(\mathcal {D}\) is the associated family of horizontal vector fields, we recursively define \(\mathcal {D}^1=\mathcal {D}\) and
Setting \(\mathcal {D}_p^k=\left\{ X(p)\in T_pM:\, X\in \mathcal {D}^k \right\} \), we obtain a flag at \(p\in M\). Due to the Lie bracket generating condition, there exists \(k_p\in \mathbb {N}\) such that
If g is a sub-Riemannian metric on M, compatible with \((f,\textbf{U})\), we say that \((M,{\mathcal {D}}, g)\) is an equiregular sub-Riemannian manifold of step \(s\in {\mathbb {N}}\) if \({\mathcal {D}}^s_p=T_pM\) for every \(p\in M\) and there exist some positive integers \(\textrm{n}_1, \textrm{n}_2,\dots , \textrm{n}_s\) such that \(\dim {\mathcal {D}}^k_p=\textrm{n}_k\) for every \(k=1,\dots , s\) and every \(p\in M\). A regular point \(p\in M\) has an open neighborhood \({\mathcal {U}}\subset M\) that is also an equiregular sub-Riemannian manifold, when equipped with the restriction of the sub-Riemannian structure.
The triple \((M,\mathcal {D},g)\) always denotes an \(\textrm{n}\)-dimensional, smooth and connected SR manifold of step s. A fixed Riemannian metric on M that extends g is also understood and it is denoted by the same symbol, unless otherwise stated. The sub-Riemannian distance associated with the sub-Riemannian manifold \((M,\mathcal {D},g)\) is denoted by d.
For equiregular sub-Riemannian manifolds, we also set \(\textrm{m}=\textrm{n}_1=\dim \mathcal {D}_p\) for every \(p\in M\), that is called the rank of \(\mathcal {D}\). By definition of \(\mathcal {D}\), for every \(p\in M\) there exists a neighborhood U of p and smooth vector fields \(X_1,\dots ,X_\textrm{m}\) on U such that \({\mathcal {D}}_q=\textrm{span} \{X_1(q),\dots , X_\textrm{m}(q)\}\) for every \(q\in U\). We say that \((X_1,\dots ,X_\textrm{m})\) is a local frame of \(\mathcal {D}\), that is also Lie bracket generating.
Definition 2.6
(Length of iterated Lie brackets) Let \((X_1,\ldots ,X_\textrm{m})\) be a local frame for \(\mathcal {D}\). Whenever a multi-index \(I=(i_1,\ldots ,i_k)\in \{1,2,\ldots ,\textrm{m}\}^k\) is fixed, we say that
is a vector field of length k with respect to \((X_1,\ldots ,X_\textrm{m})\).
Definition 2.7
A sub-Riemannian measure manifold is a quadruple \((M,{\mathcal {D}},g,\omega )\) such that \((M, {\mathcal {D}}, g)\) is an oriented sub-Riemannian manifold and \(\omega \) is a positive volume form on M, namely a non-vanishing smooth \(\textrm{n}\)-form on M such that \(\int _M f \omega \ge 0\), for any nonnegative \(f\in C_c(M)\). We say that \((M,{\mathcal {D}}, g, \omega )\) is equiregular, if so is \((M,{\mathcal {D}}, g)\).
The following definition can be found e.g. in [1, Definition 10.45].
Definition 2.8
(Privileged frame) Let \((M,{\mathcal {D}}, g)\) be an equiregular sub-Riemannian manifold of step s and let \(U\subset M\) be an open set. We say that a frame of smooth vector fields \((X_1,\dots , X_\textrm{n})\) is privileged with respect to \({\mathcal {D}}\) on U if the following conditions are satisfied.
-
(i)
For every \(q\in U\), the vectors \((X_1(q),\dots , X_\textrm{m}(q))\) form a basis for \({\mathcal {D}}_q\).
-
(ii)
For every \(q\in U\) and \(1\le j\le s\), the vector fields \(X_{\textrm{n}_{j-1}+1},\ldots ,X_{\textrm{n}_j}\) are iterated Lie brackets of \(X_1,X_2,\ldots ,X_\textrm{m}\) of length j, where we have set \(\textrm{n}_0=0\) and \(\textrm{n}_j=\dim \mathcal {D}^j_q\) for \(j=1,\ldots ,s\).
-
(iii)
For every \(q\in U\) and \(j=1,\dots , s\), the vectors \((X_{1}(q),\dots , X_{\textrm{n}_j}(q))\) form a basis of \(\mathcal {D}^j(q)\).
Remark 2.9
A standard argument shows that, locally, we can always find a privileged frame for an equiregular sub-Riemannian manifold. Indeed, consider a local frame \((X_1,\dots , X_\textrm{m})\) of \({\mathcal {D}}\) and choose \(X_{\textrm{m}+1}, \dots , X_{\textrm{n}_2}\) among the Lie brackets of \(X_1, \dots , X_\textrm{m}\) such that \((X_1,\ldots ,X_{\textrm{n}_2})\) is a local frame of \(\mathcal {D}^2\). The analogous argument can be repeated for the subsequent \(\mathcal {D}^j\)’s, to get the privileged frame.
Lemma 2.10
Let \((M,{\mathcal {D}}, g)\) be an equiregular sub-Riemannian manifold, let \(p\in M\), and let \((v_1,\dots ,v_\textrm{m})\) be an orthonormal basis for \({\mathcal {D}}_p\). We denote by g also a Riemannian metric that extends the fixed sub-Riemannian metric on M. Then there exist a neighborhood U of p and a privileged orthonormal frame \((X_1,\dots ,X_\textrm{n})\) on U such that \(X_i(p)=v_i\) for every \(i=1,\dots , \textrm{m}\).
Proof
Since \(\mathcal {D}\) is locally spanned by smooth horizontal vector fields, we can first find linearly independent horizontal vector fields \(Y_i\) on a neighborhood of p such that \(Y_i(p)=v_i\) for all \(i=1,\ldots ,\textrm{m}\). Then we apply the Gram–Schmidt algorithm to these vector fields in order to obtain an orthonormal horizontal frame \(X_1,\ldots ,X_\textrm{m}\) such that \(X_i(p)=v_i\) with \(i=1,\ldots ,\textrm{m}\). Then we choose a frame \((Y_{\textrm{m}+1},\ldots ,Y_{\textrm{n}_2})\) such that \((X_1(q),\ldots ,X_\textrm{m}(q),Y_{\textrm{m}+1}(q),\ldots ,Y_{\textrm{n}_2}(q))\) is a basis of \(\mathcal {D}^2_q\) for every q in a neighborhood of p. Again the Gram–Schmidt algorithm provides an orthonormal frame \(X_{\textrm{m}+1},\ldots ,X_{\textrm{n}_2}\) such that \((X_1(q),\ldots ,X_\textrm{m}(q),X_{\textrm{m}+1}(q),\ldots ,X_{\textrm{n}_2}(q))\) is an orthonormal basis of \(\mathcal {D}^2_q\) for every q in a neighborhood of p. Repeating this argument we find a neighborhood of p and a privileged frame \((X_1,\ldots ,X_\textrm{n})\) on U that satisfy our claim. \(\square \)
2.1 Exponential coordinates and local sub-Riemannian distance
We begin the section by introducing the notion of exponential coordinates with respect to a privileged frame of vector fields.
Definition 2.11
(Exponential map) Given a smooth vector field X on M and a compact set K, there exists \(\delta >0\) such that the unique solution of the Cauchy problem
is well defined on \([-\delta ,\delta ]\). The exponential map of X is then defined by
for every \(t\in [-\delta ,\delta ]\) and \(p\in K\).
Definition 2.12
(Exponential coordinates of the first kind) We fix a regular point \(p\in M\) of a sub-Riemannian manifold \((M,\mathcal {D},g)\) and consider a privileged frame \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) with respect to \(\mathcal {D}\) on a neighborhood W of p. For each \(q\in W\) we may find a smooth diffeomorphism \(F_{q,\textbf{X}}:V_q\rightarrow F_{q,\textbf{X}}(V_q)\subset W\) defined as
for some open set \(V_q\subset \mathbb {R}^\textrm{n}\) containing the origin. We say that \((x_1,\ldots ,x_\textrm{n})\) of (14), corresponding to \(F_{q,\textbf{X}}^{-1}\), are exponential coordinates of the first kind centered at q . We may also choose an open neighborhood \(V\subset \mathbb {R}^\textrm{n}\) of 0 and an open neighborhood \(U\subset W\) of p such that the smooth map \(F_\textbf{X}:U\times V\rightarrow W\),
is well defined on \(U\times V\) and, by standard ODE arguments, \(F_\textbf{X}(q,\cdot ):V\rightarrow F_\textbf{X}(\left\{ q \right\} \times V)\) is a \(C^\infty \) diffeomorphism for every \(q\in U\). In this case, we say that \(F_\textbf{X}\) represents a system of uniform exponential coordinates of the first kind relative to the frame \(\textbf{X}=(X_1,\ldots ,X_\textrm{n})\).
The exponential coordinates of the first kind can be naturally associated with a family of dilations as follows. We assign the weight \(w_i=j\) to a coordinate \(x_i\) if \(\textrm{n}_{j-1}<i\le \textrm{n}_j\), where \(\textrm{n}_i\) is introduced in Definition 2.8. Then for every \(r>0\) we define the anisotropic dilation \(\delta _r:\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}^\textrm{n}\) by setting
where \((e_1,\ldots ,e_\textrm{n})\) denotes the canonical basis of \(\mathbb {R}^\textrm{n}\). We say that a function \(\phi :\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}\) is \(\delta \) -homogeneous of degree \(\alpha >0\) if \(\phi (\delta _rx)=r^{\alpha } \phi (x)\) for every \(x\in \mathbb {R}^\textrm{n}\) and \(r>0\).
2.1.1 Sub-Riemannian manifold in local coordinates
We fix a regular point \(q\in M\) of a sub-Riemannian manifold \((M,\mathcal {D},g)\) and choose some exponential coordinates \((x_1,\ldots ,x_\textrm{n})\) of an open and connected neighborhood A of 0. Such coordinates are given by the diffeomorphism
according to (14), where clearly \(F_{q,\textbf{X}}(0)=q\) and \(F_{q,\textbf{X}}(A)\subset M\) is an open neighborhood of \(q\in M\). We may define the vector fields
for each \(j=1,\ldots ,\textrm{n}\) on \(A\subset \mathbb {R}^\textrm{n}\). The ordered family of vector fields \(({\widetilde{X}}_1^q,\dots , {\widetilde{X}}_\textrm{n}^q)\) is a privileged frame with respect to the horizontal vector fields
on A. Considering the preimage of the sub-Riemannian metric g on M, we have obtained an induced sub-Riemannian manifold on A defined by the triple
Since \(A\subset \mathbb {R}^\textrm{n}\) is connected, we have obtained a local sub-Riemannian distance \({\widetilde{d}}_q\) on A with respect to \(\widetilde{{\mathcal {D}}}_{q,\textbf{X}}\) and \(F_{q,\textbf{X}}^* g\), that is obtained by considering only horizontal curves contained in A.
Definition 2.13
(Local distance and local sub-Riemannian ball) We fix a regular point q of a SR manifold \((M,\mathcal {D},g)\) and an associated privileged frame \(\textbf{X}=(X_1,\ldots ,X_\textrm{n})\) defined on a neighborhood W of q. Let \(F_{q,\textbf{X}}:A\rightarrow F_{q,\textbf{X}}(A)\) define a system of exponential coordinates of the first kind centered at q, where \(A\subset \mathbb {R}^\textrm{n}\) is an open and connected neighborhood of \(0\in \mathbb {R}^\textrm{n}\). Let \({\widetilde{d}}_q\) be the local sub-Riemannian distance defined by the frame \(({\widetilde{X}}^q_1,\ldots ,{\widetilde{X}}^q_\textrm{n})\) of (17) on the subset \(A\subset \mathbb {R}^\textrm{n}\) (Definition 2.2). Then we have the associated local sub-Riemannian balls
where \(x\in A\) is the center and \(r>0\) is the radius. The corresponding closed ball is
Remark 2.14
We stress that the local sub-Riemannian balls depend on the fixed domain A of the exponential coordinates and and also refers to a distance made by curves contained in A.
Since \({\widetilde{d}}_q\) strongly depends on A, we may well ask whether it can be related to the sub-Riemannian distance d on M. More precisely, we may wonder which conditions ensure that the local distance \({\widetilde{d}}_q\) on A makes \(F_{q,\textbf{X}}:A\rightarrow F_{q,\textbf{X}}(A)\) an isometry, where \(F_{q,\textbf{X}}(A)\subset M\), where we consider the sub-Riemannian distance d on M.
In the next proposition, we show that for all \(x,y\in A\) it holds
if A is considered “suitably small”.
Proposition 2.15
Let \(A\subset \mathbb {R}^\textrm{n}\) be an open and connected neighborhood of \(0\in \mathbb {R}^n\) and let \(F_{q,\textbf{X}}:A\rightarrow F_{q,\textbf{X}}(A)\) be a system of exponential coordinates of the first kind, centered at a regular point q of a SR manifold \((M,\mathcal {D},g)\). We fix \(r>0\) such that \(B(q,4r)\subset F_{q,\textbf{X}}(A)\) and set \({\widetilde{A}}=F_{q,\textbf{X}}^{-1}(B(q,r))\subset A\). Then the restriction \(F_{q,\textbf{X}}:{\widetilde{A}}\rightarrow F_{q,\textbf{X}}({\widetilde{A}})\) is an isometry, namely (20) holds for every \(x,y\in {\widetilde{A}}\) and we have \({\widetilde{A}}={\widetilde{B}}_q(0,r)\).
Proof
We choose \(q_1,q_2\in B(q,r)\) and \(\varepsilon \in (0,r)\). There exists a horizontal curve \(\gamma :[0,1]\rightarrow M\) connecting \(q_1\) to \(q_2\) such that
By the triangle inequality, one can easily check that
hence \(\gamma (t)\in B(q,4r)\subset \) for all \(t\in [0,1]\). As a consequence, by definition of sub-Riemannian manifold \((A, \widetilde{{\mathcal {D}} }, F_{q,\textbf{X}}^* g)\), the curve \({\widetilde{\gamma }}=F_{q,\textbf{X}}^{-1}\circ \gamma \) is horizontal and contained in \({\widetilde{A}}\), connects the preimages \(x=F_{q,\textbf{X}}^{-1}(q_1)\in {\widetilde{A}}\) and \(y=F_{q,\textbf{X}}^{-1}(q_2)\in {\widetilde{A}}\) and has the same length of \(\gamma \). It follows that
and the arbitrary choice of \(\varepsilon >0\) yields
If we consider any horizonal curve \({\tilde{\gamma }}:[0,1]\rightarrow {\widetilde{A}}\) connecting \(F_{q,\textbf{X}}^{-1}(q_1)\) and \(F_{q,\textbf{X}}^{-1}(q_2)\), then \(F_{q,\textbf{X}}\circ {\widetilde{\gamma }}\) is a horizontal curve of M that connects \(q_1\) and \(q_2\) and has the same length. As a consequence, the opposite inequality immediately follows, hence (20) holds. If we take \(w\in B(q,r)\), we have \({\widetilde{d}}_q(F_{q,\textbf{X}}^{-1}(w),0)=d(w,q)<r\), therefore \({\widetilde{A}}=F_{q,\textbf{X}}^{-1}(B(q,r))\subset {\widetilde{B}}_q(0,r) \). If \(x\in {\widetilde{B}}_q(0,r)\subset A\), we choose a horizontal curve \({\widetilde{\gamma }}:[0,1]\rightarrow A\) connecting x and 0 such that
Then \(\gamma =F_{q,\textbf{X}}\circ {\widetilde{\gamma }}\) is a horizontal curve connecting \(F_{q,\textbf{X}}(x)\) and q with
The opposite inclusion holds and the proof is complete. \(\square \)
2.2 Nilpotent approximation
In geometric terms, the nilpotent approximation corresponds to a metric tangent cone, that can be obtained for equiregular sub-Riemannian manifolds using the well known Gromov-Hausdorff convergence of metric spaces, [46], see also [6, Theorem 7.36]. There is a huge literature on this topic, which goes back to the works of Rothschild and Stein [51], Goodman [30] and Metivier [45]. We mention for instance the papers [4,5,6,7, 31, 44, 47], along with the monographs [1] and [32]. A systematic study of privileged coordinates and the nilpotent approximations has been developed in the recent papers [12, 13], where more references can be found. For our approach, it is convenient to consider the nilpotent approximation with respect to exponential coordinates of the first kind. We refer to [47, Section 2], especially Theorem 2.3, Proposition 2.5 and Remark 2.6, that are summerized in the next result.
Theorem 2.16
Let \((M, {\mathcal {D}}, g)\) be an equiregular sub-Riemannian manifold, let \(p\in M\) and let \((X_1,\dots , X_\textrm{n})\) be a privileged frame of smooth vector fields on an open set W containing p. Let \(F_{p,\textbf{X}}:V_p\rightarrow F_{p,\textbf{X}}(V_p)\subset W\) be as in (14). We define the vector fields \({\widetilde{X}}_i^p= (F_{p,\textbf{X}})^{-1}_*X_i\) and the smooth functions \(a_{ij}^p\in C^\infty (V_p)\), such that for every \(i=1,\dots ,\textrm{n}\) and for every \(x\in V_p\), we have
Then, for any \(i,j=1,\dots ,\textrm{n}\), there exist a unique polynomial \(b^p_{ij}\) and a smooth function \(\rho ^p_{ij}\in C^\infty (V_p)\) such that \(a^p_{ij}=b^p_{ij}+\rho ^p_{ij}\) and the following conditions hold.
-
(a)
If \(w_j\ge w_i\), we have that
-
(1)
\(b^p_{ij}\) is \(\delta \)-homogeneous of degree \(w_j-w_i\),
-
(2)
\(\lim _{x\rightarrow 0} \Vert x\Vert ^{w_i-w_j}\rho ^p_{ij}(x)=0\), in particular \(\rho ^p_{ij}(0)=0\).
-
(1)
-
(b)
If \(w_j=w_i\), then \(b^p_{ij}=\delta _{ij}\) (where \(\delta _{ij}\) denotes the usual Kronecker delta)
-
(c)
If \(w_j<w_i\), then \(b^p_{ij}=0\).
Moreover, if we define for \(i=1,\dots , \textrm{n}\) and \(r>0\) the vector fields
then \({\widetilde{X}}_i^{p,r}\) converges to \({\widehat{X}}^p_i\) as \(r\rightarrow 0\) in the \(C_{\textrm{loc}}^\infty \)-topology. In addition, the frame \(({\widehat{X}}_1^p,\dots , {\widehat{X}}_\textrm{m}^p)\) defines a stratified group structure on \(\mathbb {R}^\textrm{n}\).
Remark 2.17
According to Theorem 2.16, the frame \({\widehat{\textbf{X}}}^p=({\widehat{X}}^p_1,\ldots ,{\widehat{X}}^p_\textrm{n})\) representing the nilpotent approximation has the following property: the polynomials \(b_{ij}^q\) are obtained by taking the homogeneous part of degree \(w_j-w_i\) in the Taylor’s expansion of \(a_{ij}^q\). As a consequence, the coefficients of these polynomials are expressed in terms of the iterated partial derivatives of \(a^p_{ij}\) at the origin. This observation will be important in the proof of Theorem 4.6.
Definition 2.18
(Nilpotent approximation and tangent sub-Riemannian distance) Let \((M,\mathcal {D},g)\) be an equiregular sub-Riemannian manifold and let \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) be a privileged frame of smooth vector fields on an open set \(W\subset M\). If \(p\in W\), the unique frame \({\widehat{\textbf{X}}}^p=({\widehat{X}}^p_1,\ldots ,{\widehat{X}}^p_\textrm{n})\) in (21), provided by Theorem 2.16 represents the so-called nilpotent approximation of the frame \((X_1, \dots ,X_\textrm{n})\) around p. We denote by \({\widehat{g}}_p\) the sub-Riemannian metric of \(\mathbb {R}^\textrm{n}\) that makes \({\widehat{\textbf{X}}}_h=({\widehat{X}}^p_1,\ldots ,{\widehat{X}}^p_\textrm{m})\) a horizontal and orthonormal frame generating a stratified Lie algebra. The previous frame generates a sub-Riemannian distance \({\widehat{d}}_p\) defined on all couples of points of \(\mathbb {R}^\textrm{n}\), hence Theorem 2.16 implies that this distance is left invariant and 1-homogeneous with respect to the dilations (16). Taking into account that the nilpotent approximation can be seen as Gromov-Hausdorff limit of the rescaled sub-Riemannian manifold, [46], it is natural to call \({\widehat{d}}_p\) the tangent sub-Riemannian distance of M at p.
Definition 2.19
(Tangent sub-Riemannian balls) We consider the exponential coordinates of the first kind \(F_{p,\textbf{X}}:V_p\rightarrow F_{p,\textbf{X}}(V_p)\) associated with a regular point \(p\in M\) of a sub-Riemannian manifold \((M,\mathcal {D},g)\). We have denoted by \(\textbf{X}=(X_1,\ldots ,X_\textrm{n})\) a privileged frame on a neighborhood of p and \(V_p\subset \mathbb {R}^\textrm{n}\) is an open neighborhood of \(0\in \mathbb {R}^\textrm{n}\). The tangent sub-Riemannian ball is the open metric ball of center \(x\in \mathbb {R}^\textrm{n}\) and radius \(r>0\) with respect to the tangent sub-Riemannian \({\widehat{d}}_p\) is
The corresponding closed ball is \({\widehat{\mathbb {B}}}_p(x,r)=\{y\in \mathbb {R}^\textrm{n}: {\widehat{d}}_p(x,y)\le r \}\). If we wish to emphasize the frame that generate the nilpotent approximation, we may also write \({\widehat{B}}_{p,\textbf{X}}(x,r)\) and \({\widehat{\mathbb {B}}}_{p,\textbf{X}}(x,r)\) in place of \({\widehat{B}}_p(x,r)\) and \({\widehat{\mathbb {B}}}_p(x,r)\), respectively.
Remark 2.20
The use of the entire frame \(\textbf{X}\) in the notation for the metric balls \({\widehat{B}}_{p,\textbf{X}}(x,r)\) and \({\widehat{\mathbb {B}}}_{p,\textbf{X}}(x,r)\) is justified by the fact that before getting the horizontal frame \({\widehat{\textbf{X}}}_h\) of the nilpotent approximation, we have to first fix a system of exponential coordinates arising from \(\textbf{X}\).
Notation 2.21
The open and closed Euclidean balls of center x and radius \(r>0\) in \(\mathbb {R}^n\) are denoted by \(B_{\textrm{E}}(x,r)\) and \(\mathbb {B}_{\textrm{E}}(x,r)\), respectively.
The following resut is a well known metric version of the nilpotent approximation, that can be found for instance in [1, Lemma 20.20], [4, Theorem 3.5], [18, Theorem 2.9] or [32, Theorem 2.2].
Theorem 2.22
(Pointed blow-up) Let us consider an equiregular sub-Riemannian manifold \((M, {\mathcal {D}}, g)\) and \(p\in M\). Let \({\widehat{\textbf{X}}}^p_h=({\widehat{X}}_1^p,\dots ,{\widehat{X}}_\textrm{m}^p)\) be the horizontal frame defined by (21). Then for every \(R>0\) we have
where \(\widetilde{d}_p\) is the local distance (Sect. 2.1.1) and \(\widehat{d}_p\) is the tangent sub-Riemannian distance (Definition 2.18).
From standard arguments, Theorem 2.22 yields the following well known result.
Theorem 2.23
Let \((M, {\mathcal {D}}, g)\) be an equiregular sub-Riemannian manifold and let \(p\in M\). Then for every \(\varepsilon >0\) there exist \(R>0\) such that, for every \(r\in (0,R)\), we have
where \({\widetilde{B}}_q(x,r)\) denotes local sub-Riemannian ball (Definition 2.13) and \({\widehat{B}}_q(x,r)\) is the tangent sub-Riemannian ball (Definition 2.19).
Remark 2.24
If \(q\in M\) and \(\textbf{X}=(X_1,\dots ,X_\textrm{n})\) is a privileged frame, we consider the nilpotent approximation \({\widehat{\textbf{X}}}^q=({\widehat{X}}^q_1,\dots ,{\widehat{X}}^q_\textrm{n})\) and the associated exponential map
Using basic properties of flows and the convergence of the rescaled vector fields \({\widetilde{X}}^{p,r}_i\) in Theorem 2.16 one can check that \(F_{0,{\widehat{\textbf{X}}}^q}:\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}^\textrm{n}\) is the identity mapping, see the arguments of [47, Remark 2.6].
2.3 Sets of finite perimeter in sub-Riemannian manifolds
In this section a sub-Riemannian measure manifold \((M,\mathcal {D},g,\omega )\) is fixed. We introduce the family of horizontal subunit vector fields
The notion of perimeter measure with respect to a volume form \(\omega \) requires that also the divergence refers to the same volume form. We have the general definition
where X is a vector field and \(L_X\) is its associated Lie derivative.
Definition 2.25
(Sets of finite perimeter) We say that a Borel set \(E\subset M\) has finite perimeter if
The supremum is denoted by \(\Vert D_{\omega ,g}{\textbf{1}}_E\Vert (M)\). It is the sub-Riemannian perimeter of E.
It can be proved that the set function
defined on all open sets U can be extended to a Radon measure on M, see [4] for more information.
3 Spherical factor in equiregular sub-Riemannian manifolds
The present section introduces the spherical factor in SR manifolds, that is the key geometric function to compute the spherical measure of a hypersurface.
We start with the definition of spherical factor using exponential coordinates of the first kind arising from a privileged orthonormal frame.
Definition 3.1
(Spherical factor) Let \((M,{\mathcal {D}},g)\) be a sub-Riemannian manifold and let \(p\in M\) be a regular point. We denote by the same symbol g a Riemannian metric that extends the sub-Riemannian metric. Let \((X_1,\ldots ,X_\textrm{n})\) be a privileged orthonormal frame in a neighborhood of p. Let \(\nu \in \mathcal {D}_p\setminus \left\{ 0 \right\} \) and consider its orthogonal subspace \(\Pi (\nu )\subset T_pM\) with respect to g. We denote by \(({\widehat{X}}_1^p,\dots , {\widehat{X}}_\textrm{n}^p)\) the nilpotent approximation of \((X_1,\dots , X_\textrm{n})\) at p and consider the exponential coordinates of the first kind \(F_{p,\textbf{X}}\) centered at p, given by (14). The spherical factor at p with respect to \(\nu \) is the number
where \({\mathcal {H}}_{\textrm{E}}^{\textrm{n}-1}\) is the \((\textrm{n}-1)\)-dimensional Hausdorff measure with respect to the Euclidean distance \(\mathbb {R}^\textrm{n}\), see Definition 6.1. The closed metric unit ball \({\widehat{\mathbb {B}}}_{p,\textbf{X}}(z,1)\) refers to the SR distance \(\widehat{d}_p\) associated with the horizontal orthonormal frame \({\widehat{\textbf{X}}}^p_h=(\widehat{X}^p_1,\ldots ,\widehat{X}^p_\textrm{m})\).
A priori, the previous definition may depend on the system of exponential coordinates of the first kind that we have chosen. We use the Euclidean Hausdorff measure that refers to these coordinates. The next theorem is the key result to prove that the definition (26) is well posed.
Theorem 3.2
(Change of exponential coordinates of the first kind) Let \((M,{\mathcal {D}},g,\omega )\) be a sub-Riemannian measure manifold and denote by the same symbol g a Riemannian metric on M that extends the sub-Riemannian metric. We assume that \(p\in M\) is a regular point and consider two privileged orthonormal frames \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) and \(\textbf{Y}=(Y_1,\dots , Y_\textrm{n})\) in an open neighborhood W of p. According to (14), we introduce the exponential coordinates of the first kind \(F_{p,\textbf{X}}, F_{p,\textbf{Y}}:V\rightarrow W\) associated with \(\textbf{X}\) and \(\textbf{Y}\) respectively, around p. The set \(V\subset \mathbb {R}^\textrm{n}\) is an open neighborhood of \(0\in \mathbb {R}^\textrm{n}\). The frames \({\widehat{\textbf{X}}}^p=({\widehat{X}}_1^p,\dots , {\widehat{X}}^p_\textrm{n})\) and \({\widehat{\textbf{Y}}}^p=({\widehat{Y}}_1^p,\dots , {\widehat{Y}}_\textrm{n}^p)\) denote the nilpotent approximations of \(\textbf{X}\) and \(\textbf{Y}\) at p, see Definition 2.18. Then the following facts hold:
-
(i)
the family of maps \(\delta _{1/\varepsilon }\circ F_{p,\textbf{Y}}^{-1}\circ F_{p,\textbf{X}}\circ \delta _\varepsilon :V\rightarrow {\mathbb {R}}^\textrm{n}\) uniformly converges to the restriction of a linear Euclidean isometry \({\widehat{L}}:\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}^\textrm{n}\) as \(\varepsilon \rightarrow 0\);
-
(ii)
we have \({\widehat{L}}=\textrm{d}(F_{p,\textbf{Y}}^{-1}\circ F_{p,\textbf{X}})(0)\) and the matrix associated with \({\widehat{L}}\) is block diagonal;
-
(iii)
if we denote by \({\widehat{d}}_{p,\textbf{X}}\) and \({\widehat{d}}_{p,\textbf{Y}}\) the sub-Riemannian distances associated with \({\widehat{\textbf{X}}}^p\) and \({\widehat{\textbf{Y}}}^p\), respectively, then \({\widehat{d}}_{p,\textbf{Y}}({\widehat{L}}(x),{\widehat{L}}(y))={\widehat{d}}_{p,\textbf{X}}(x,y)\) for every \(x,y\in {\mathbb {R}}^\textrm{n}\).
Proof
Since \(\textbf{X}\) and \(\textbf{Y}\) are both orthonormal privileged frames, there exists a smooth matrix-valued map \(C:W\rightarrow O(\textrm{n},\mathbb {R})\) such that \(C(q)=(c_j^i(q))_{ij}\) is a real orthogonal matrix and
for every \(q\in W\) and \(j=1,\dots ,\textrm{n}\). More precisely, the previous sum can be also written using weights
Thus C(q) is a block diagonal matrix and so is \(C(q)^{-1}\) for every \(q\in U\). Precisely, we have
We introduce the vector fields \({\widetilde{X}}_i^p=(F_{p,\textbf{X}}^{-1})_*X_i\) and \({\widetilde{Y}}_i^p=(F_{p,\textbf{Y}}^{-1})_*Y_i\) for all \(i=1,\ldots ,\textrm{n}\). Up to shrinking V, we may assume that both \({\widetilde{X}}^p_i\) and \({\widetilde{Y}}^p_i\) are well defined on V. By definition of \(F_{p,\textbf{X}}\) and \(F_{p,\textbf{Y}}\), we also have \({\widetilde{X}}^p_i(0)={\widetilde{Y}}^p_i(0)=e_i\in \mathbb {R}^\textrm{n}\) for every \(i=1,\dots , \textrm{n}\). As usual, \((e_1,\ldots ,e_\textrm{n}) \) denotes the canonical basis of \(\mathbb {R}^\textrm{n}\). The differential \(\textrm{d}(F_{p,\textbf{Y}}^{-1}\circ F_{p,\textbf{X}})(0)\) is related to the matrix C(p), indeed we have
The second equality follows from (29). Being C(p) orthogonal, we notice that
We define the smooth functions \({\tilde{a}}_\ell ^s:V\rightarrow \mathbb {R}\) such that
Applying \((F_{p,\textbf{Y}}^{-1})_*\) to equality (28), we get
where the last equality is a consequence of (31). Evaluating the previous equalities at 0, we have proved that
where \(\delta _j^s\) is the Kronecker delta. In other words, the matrix \(A=(\tilde{a}^s_i(0))_{si}\) satisfies \(A=C(p)^{-1}\). We define the smooth functions
and observe that
Using dilations \(\delta _r\), it follows that
Theorem 2.16 implies that the ordered sets
with \({\widetilde{X}}^{p,r}_i=r^{w_i}(\delta _{1/r})_*{\widetilde{X}}^p_i\) and \({\widetilde{Y}}^{p,r}_i=r^{w_i}(\delta _{1/r})_*{\widetilde{Y}}^p_i\) are frames for sufficiently small \(r>0\) and uniformly converge to \({\widehat{\textbf{X}}}^p=({\widehat{X}}_1^p,\dots , {\widehat{X}}^p_\textrm{n})\) and \({\widehat{\textbf{Y}}}^p=({\widehat{Y}}_1^p,\dots , {\widehat{Y}}_\textrm{n}^p)\) on compact sets, respectively, as \(r\rightarrow 0\). We may define the “moving dual basis” \(\eta ^{p,r}_j:\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}\) such that
for all \(i,j=1,\ldots ,\textrm{n}\). It uniformly converges to \(\eta ^p_j\) on compact sets, as \(r\rightarrow 0\), where
Applying the moving dual basis to (33), we get
therefore for every \(i,j=1,\ldots ,\textrm{n}\) there exists
The previous limits can be read as a kind of intrinsic differentiability result. Combining the previous limit and formula (32), it follows that
We now define the family of mappings
observing that
where the last equality follows from (31). From the previous definitions, we obtain
Due to the limit (37) and the uniform convergence of \({\widetilde{X}}^p_s\), it follows that
Taking into account Remark 2.24, we have proved that
We set the linear mapping \({\widehat{L}}(x)=C(p)^{-1}x\) for every \(x\in \mathbb {R}^\textrm{n}\), that is a Euclidean isometry, hence the first point of our claim is proved. The second claim follows combining (30) and (38).
For the third claim, we arbitrarily fix \(R>0\) and notice that (22) gives
where \({\widehat{d}}_{p,\textbf{X}}\) is the sub-Riemannian distance associated with \({\widehat{\textbf{X}}}^p\) and \({\widehat{B}}_{p,\textbf{X}}(0,R)\) is the metric ball with respect to \({\widehat{d}}_{p,\textbf{X}}\). Denoting by o(1) any infinitesimal function as \(\varepsilon \rightarrow 0\), we get
The second addend of the previous inequality can be written as
The uniform convergence of \(H_\varepsilon \) proved in the previous step yields \(R_1>R\) such that
for \(\varepsilon >0\) sufficiently small. The metric ball \({\widehat{B}}_{p,\textbf{Y}}(0,R_1)\) is defined by \({\widehat{d}}_{p,\textbf{Y}}\). We get
By the limit (22), we get
that immediately proves our last claim, therefore concluding the proof. \(\square \)
Corollary 3.3
Let \((M,{\mathcal {D}},g,\omega )\) be a sub-Riemannian measure manifold and denote by the same symbol g a Riemannian metric on M that extends the sub-Riemannian metric. We consider two privileged orthonormal frames \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) and \(\textbf{Y}=(Y_1,\dots , Y_\textrm{n})\) in an open neighborhood W of \(p\in M\) and denote by \(F_{p,\textbf{X}}, F_{p,\textbf{Y}}:V\rightarrow W\) the exponential coordinates of the first kind associated with \(\textbf{X}\) and \(\textbf{Y}\) around p, respectively, see (14). Let \(\nu \in \mathcal {D}_p\setminus \left\{ 0 \right\} \) and denote by \(\Pi (\nu )\subset T_pM\) its orthogonal subspace with respect to g. We consider the nilpotent approximations \({\widehat{\textbf{X}}}^p=({\widehat{X}}_1^p,\dots , {\widehat{X}}_\textrm{n}^p)\) and \({\widehat{\textbf{Y}}}^p=({\widehat{Y}}_1^p,\dots , {\widehat{Y}}_\textrm{n}^p)\) of \(\textbf{X}\) and \(\textbf{Y}\) at p. If \({\widehat{L}}:\mathbb {R}^\textrm{n}\rightarrow \mathbb {R}^\textrm{n}\) is the Euclidean isometry of Theorem 3.2, it holds
where \({\mathcal {H}}_{\textrm{E}}^{\textrm{n}-1}\) denotes the standard Euclidean \((\textrm{n}-1)\)-dimensional Hausdorff measure of \(\mathbb {R}^\textrm{n}\) and \(z\in \mathbb {R}^n\).
Proof
Since \(\widehat{L}\) is an Euclidean isometry, it follows that
is equal to
From claim (ii) of Theorem 3.2, we get
Claim (iii) of Theorem 3.2 yields \({\widehat{L}}\left( {\widehat{\mathbb {B}}}_{p,\textbf{X}}(z,1)\right) ={\widehat{\mathbb {B}}}_{p,\textbf{Y}}(L(z),1)\). Thus, using the first equality and (42), the proof of (41) is complete. \(\square \)
Corollary 3.4
Let \((M,{\mathcal {D}},g)\) be a sub-Riemannian manifold with a regular point \(p\in M\) and a Riemannian metric g that extends the sub-Riemannian metric. If d is the associated sub-Riemannian distance and \(\nu \in \mathcal {D}_p\setminus \left\{ 0 \right\} \), then the spherical factor \(\beta _{d,g}(\nu )\) is independent of the choice of the exponential coordinates of the first kind.
Proof
We consider two privileged orthonormal frames \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) and \(\textbf{Y}=(Y_1,\dots , Y_\textrm{n})\) in an open neighborhood W of \(p\in M\). Following (14), we denote by \(F_{p,\textbf{X}}, F_{p,\textbf{Y}}:V_q\rightarrow W_q\) the exponential coordinates of the first kind associated with \(\textbf{X}\) and \(\textbf{Y}\) at p. The open sets \(V_q\subset \mathbb {R}^\textrm{n}\) and \(W_q\subset M\) are neighborhoods of 0 and q, respectively. We consider the Euclidean isometry \(\widehat{L}\) of Theorem 3.2, hence combining (41) and the definition of spherical factor (26) our claim is established. \(\square \)
4 Uniform nilpotent approximation
In this section we prove the uniform convergence of the rescaled sub-Riemannian distances to the distance of the nilpotent approximation, where the “blow-up point” varies in a compact set. Theorem 4.1 is the key tool to establish the uniform nilpotent approximation (Theorem 4.6).
In the proof of the next theorem both Definition 2.2 and Remark 2.4 are considered.
Theorem 4.1
(Uniform convergence of SR distances) Let us consider \(\textrm{m}\le \textrm{n}\), a compact metric space \(\Xi \), two frames \(\textbf{X}^{j,q}_h=(X_1^{j,q},\dots , X_\textrm{m}^{j,q})\) and \(\textbf{X}^q_h=(X_1^q,\dots , X_\textrm{m}^q)\) on the Euclidean ball \(B_{\textrm{E}}(x_0,R_0)\subset \mathbb {R}^\textrm{n}\) satisfying the Chow’s condition for each \(q\in \Xi \) and \(j\in \mathbb {N}\). We assume that all partial derivatives
are continuous for every \(i=1,\dots , \textrm{m}\), \(j\in {\mathbb {N}}\) and every multi-index \(\alpha \in \mathbb {N}^\textrm{n}\). We also suppose that for each \(i=1,\dots ,\textrm{m}\) the vector field \(X_i^{j,q}\) converges to \(X_i^q\) in \(B_{\textrm{E}}(x_0,R_0)\subset \mathbb {R}^\textrm{n}\) with respect to the \(C_{\textrm{loc}}^\infty \)-topology as \(j\rightarrow \infty \), uniformly with respect to \(q\in \Xi \).
Then there exists \(0<r_0<R_0\), such that the SR distance \(d_q^j\) associated with \(\textbf{X}^{j,q}_h\) on \(B_{\textrm{E}}(x_0,R_0)\) converges to the SR distance \(d_q\) associated with \(\textbf{X}^q_h\) on \(B_{\textrm{E}}(x_0,R_0)\) in the topology of \(L^\infty (B_{\textrm{E}}(x_0,r_0)\times B_{\textrm{E}}(x_0,r_0))\) as \(j\rightarrow \infty \), uniformly with respect to \(q\in \Xi \).
Proof
We first notice that the step \(s^q(x)\ge 1\) of the frame \(\textbf{X}_h^q\) at \(x\in \mathbb {B}_{\textrm{E}}(x_0,R_0')\) is upper semicontinuous with respect to \((q,x)\in \Xi \times \mathbb {B}_{\textrm{E}}(x_0,R_0')\) for any fixed \(0<R_0'<R_0\), hence it is bounded on the compact set \(\Xi \times \mathbb {B}_{\textrm{E}}(x_0,R_0')\). Thus, up to slightly reducing \(R_0\), the compactness of \(\Xi \) allows us to consider \(s\in \mathbb {N}\) such that \(s^q(x)\le s\) for every \(x\in B_{\textrm{E}}(x_0,R_0)\) and \(q\in \Xi \). Since each \(X_i^{j,q}\) is converging to \(X_i^q\) in the \(C^\infty _{\textrm{loc}}\)-topology and uniformly as q varies in \( \Xi \), we can choose a sufficiently large \({\widetilde{J}}\in {\mathbb {N}}\) such that \(s_j^q(x)\le s\) for every \(j\ge {\widetilde{J}}\), \(q\in \Xi \) and \(x\in B_{\textrm{E}}(x_0,R_0)\). Up to ignoring a finite number of terms in the sequence of frames and relabeling the indexes, we may assume that the uniform bound on the step holds for every \(j\in {\mathbb {N}}\).
Due to [8, Claim 3.3] joined with [8, Proposition 5.8] (see also [48, Proposition 1.1 and Theorem 4]), for a smooth family of vector fields \(\textbf{Y}_h=(Y_1,\ldots ,Y_\textrm{m})\) on an open set \(\Omega \), that satisfy Chow’s condition, for any compact set \(K\subset \Omega \), there exists a constant \(C>0\) such that
for \(x,y\in K\), where \(d_{\textbf{Y}_h,\Omega }\) is the SR distance considering admissible curves contained in \(\Omega \). According to [8, Claim 3.3], the key point of this result is that the constant \(C>0\) only depends on K, the dimension \(\textrm{n}\) of the space, the rank \(\textrm{m}\), the step s (depending on K), the uniform upper bound on the \(C^\ell (K)\)-norms of the vector fields \(Y_i\) for some large enough \(\ell \in \mathbb {N}\) (depending on s) and the positive lower bound of
where \(Y_{I_j}\) denotes the iterated commutators with respect to the multi-index \(I_j\). As a consequence of our assumptions, and in particular from the uniform convergence of \(X_i^{j,q}\) to \(X_i^q\) in the \(C^\infty _{\textrm{loc}}\)-topology as q varies in \(\Xi \) and \(i=1,\ldots ,\textrm{m}\), considering \(\Omega =B_{{\textrm{E}}}(x_0,R_0)\) and the compact set \(K= \mathbb {B}_{{\textrm{E}}}(x_0,\kappa R_0)\) with a fixed \(0<\kappa <1\), we can find \(C_\kappa \ge 1\), depending on \(\kappa \) and \(\mathbb {B}_{\textrm{E}}(x_0,R_0)\), and \(J_0\in \mathbb {N}\) such that for every \(q\in \Xi \) and \(j\ge J_0\), the following inequalities hold
where \(x,y\in \mathbb {B}_{{\textrm{E}}}(x_0,\kappa R_0)\). We recall that \(d_q^j\) is the sub-Riemannian distance associated with the frame \(\textbf{X}^{j,q}_h\) on \(B_{\textrm{E}}(x_0,R_0)\) and \(d_q\) is the sub-Riemannian distance associated with the frame \(\textbf{X}^q_h\) on \(B_{\textrm{E}}(x_0,R_0)\), according to Definition 2.2. Due to [48, Theorem 4], it is not difficult to notice that the distance used in [8] is equivalent to our \(d_q\) and \(d_q^j\), up to a geometric constant. Notice that \(C_\kappa \) also depends on \(R_0\) and can be arbitrarily large as \(\kappa \) becomes close to 1. We have denoted by \(\mathbb {B}_{{\textrm{E}}}(x_0,\kappa R_0)\) the closed Euclidean ball of center \(x_0\) and radius \(\kappa R_0\).
If \(T>0\), \(x\in B_{\textrm{E}}(x_0, R_0)\), \(h\in L^\infty ([0,T],\mathbb {R}^\textrm{m})\), \(j\in \mathbb {N}\) and \(q\in \Xi \), it is convenient to define \(\gamma _{h,x}^{j,q},\gamma _{h,x}^q:[0,T]\rightarrow \mathbb {R}^\textrm{n}\) as the absolutely continuous curves such that \(\gamma _{h,x}^{j,q}(0)=\gamma _{h,x}^q(0)=x\) that almost everywhere on [0, T] satisfy
We divide the proof into several steps. The next step can be seen as “uniform version” of [17, Lemma 3.2] with respect to \(q\in \Xi \), where another difference is that the vector fields are only defined on the open ball \(B_{\textrm{E}}(x_0,R_0)\).
Step 1. Let us consider \(J_0\in \mathbb {N}\) such that the second estimate of (44) holds for all \(j\ge J_0\) . For every \(\kappa _0\in (0,\kappa )\) , there exists \(T_0>0\) such that the curves \(\gamma _{h,x}^{j,q}, \gamma _{h,x}^q\) satisfying (45) are well defined in the interval \([0,T_0]\) and are contained in \(\mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\) , for every \(x\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _0R_0)\) , \(h\in L^\infty ([0,T_0],\mathbb {R}^\textrm{m})\) , \(\Vert h\Vert _\infty \le 1\) , \(q\in \Xi \) and \(j\ge J_0\) . Precisely, we can choose \(T_0=(\kappa -\kappa _0)R_0/(2 C_\kappa )\) .
Let \(0<\kappa _0<\kappa \) and consider the Euclidean distance between \(\mathbb {B}_{{\textrm{E}}}(x_0,\kappa _0 R_0)\) and \(\mathbb {R}^\textrm{n}\setminus B_{\textrm{E}}(x_0,\kappa R_0)\), that is \((\kappa -\kappa _0)R_0\). Let \(h\in L^\infty ([0,T],\mathbb {R}^\textrm{m})\) be such that \(\Vert h\Vert _\infty \le 1\),
and take any curve \(\gamma _{h,x}^{j,q}\).
We notice that whenever \(t\ge 0\) is sufficiently small, such that \(\gamma _{h,x}^{j,q}(t)\in \mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\), using (44) for all \(j\ge J_0\), it follows that
Thus, the curve \(\gamma ^{j,q}_{h,x}\) can be extended to all the interval [0, T] and
for \(j\ge J_0\) and \(q\in \Xi \). The same inclusion and the analogous estimates hold for the curves \(\gamma _{h,x}^q\). The proof of Step 1 is concluded by setting \(T_0=(\kappa -\kappa _0)R_0/(2 C_\kappa )\).
The following step is a suitable version of [17, Lemma 3.3], again adapted to our setting.
Step 2. For every \(\kappa _0\in (0,\kappa )\) and \(\varepsilon >0\) , there exists \(J_1=J_1(\varepsilon , \kappa , \kappa _0)\in \mathbb {N}\) such that
for every \(j\ge J_1\) , \(x\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _0R_0)\) , \(h\in L^\infty ([0,T_0],\mathbb {R}^\textrm{m})\) with \(\Vert h\Vert _\infty \le 1\) and \(t\in [0,T_0]\) . The number \(T_0=(\kappa -\kappa _0)R_0/(2C_\kappa )\) appeared in the proof of Step 1.
Take \(\varepsilon >0\) and consider \(J_1=J_1(\varepsilon , \kappa , \kappa _0)\in \mathbb {N}\) such that \(J_1\ge J_0\) and
for every \(j\ge J_1\), where \(L>0\) is an upper bound for the Lipschitz constants of \(X_i^{j,q}\) and of \(X_i^q\) on \(\mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\), which is uniform as \(j\in \mathbb {N}\), \(q\in \Xi \), \(i=1,\ldots ,\textrm{m}\) and \(T_0=(\kappa -\kappa _0)R_0/(2C_\kappa )\). The existence of \(L>0\) with the previous properties follows from the convergence of \(X_i^{j,q}\) to \(X_i^q\) in the \(C^\infty _{\textrm{loc}}\)-topology, which is also uniform with respect to \(q\in \Xi \). This proves the existence of \(J_1\) with the above properties. Since we know that for \(0<T\le T_0\), the curves \(\gamma ^{j,q}_{h,x}([0,T]),\gamma ^{q}_{h,x}([0,T])\) are contained in \(\mathbb {B}(x_0,\kappa R_0)\), arguing as in the proof of [17, Lemma 3.3], for \(0\le t\le T\), we obtain
for all \(t\in [0,T]\), with \(0<T\le T_0=R_0(\kappa -\kappa _0)/(2C_\kappa )\) and any \(j\ge J_1\) and \(x\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _0R_0)\).
Step 3. There exists \(\kappa _1\in (0,\kappa )\) such that for any \(j\ge J_0\) and \(q\in \Xi \) , all sub-Riemannian geodesics with respect to either the distance \(d_q^j\) or \(d_q\) connecting points of \(\mathbb {B}_{\textrm{E}}(x_0,\kappa _1 R_0)\) are entirely contained in \(B_{\textrm{E}}(x_0,\kappa R_0)\) .
By the estimates of (44), we first observe that
for \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\), \(q\in \Xi \) and \(j\ge J_0\). For any \(\varepsilon >0\) arbitrarily fixed, we consider any absolutely continuous curve \(\gamma :[0,T]\rightarrow B_{\textrm{E}}(x_0,R_0)\) such that \(\gamma (0)=x\), \(\gamma (T)=y\), where either
with \(\Vert h\Vert _\infty \le 1\) and
Notice that by definition of SR distance on \(B_{\textrm{E}}(x_0,R_0)\) and the estimates (47) such curves always exist. We apply Step 1 with \(\kappa _1\) in place of \(\kappa _0\). Thus, if we knew that for \(0<\kappa _1<\kappa \) the inequality \(T\le T_0= (\kappa -\kappa _1)R_0/(2C_\kappa )\) holds, then we would have
The previous estimate on T actually holds taking \(\kappa _1>0\) such that
for an arbitrary \(0<\varepsilon <\kappa R_0/(2C_\kappa )\). We fix \(\varepsilon =\kappa R_0/(4C_\kappa )\), so that estimate (49) is satisfied whenever
In particular, by the standard Ascoli–Arzelà compactness argument, we have proved that every SR geodesic with respect to either the frame \(\textbf{X}^{j,q}_h\) or \(\textbf{X}^q_h\), with \(j\ge J_0\), \(q\in \Xi \) and connecting x and \(y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) is entirely contained in \(\mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\).
Step 4. Given \(\kappa _1\in (0,\kappa )\) as in (50) and \(\varepsilon >0\) , there exists \(J_2=J_2(\varepsilon ,\kappa , \kappa _1)\in \mathbb {N}\) such that
for every \(j\ge J_2\) , \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) and \(q\in \Xi \) .
We fix \(\kappa _1\) satisfying (50) and \(\varepsilon >0\), with \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\). By the previous step, we may consider a SR geodesic \(\gamma _{{\bar{h}},x}^q:[0,d_q(x,y)]\rightarrow \mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\) connecting x and y, for some \({\bar{h}}\in L^\infty ([0,d_q(x,y)],\mathbb {R}^\textrm{m})\), \(\Vert {\bar{h}}\Vert _\infty =1\) and \(q\in \Xi \). We consider \(\gamma _{{\bar{h}},x}^{j,q}:[0,d_q(x,y)]\rightarrow \mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\) as in (45), with \(h={\bar{h}}\). These curves are all defined on the interval \([0,d_q(x,y)]\), due to (47) and (49) combined with Step 1. We set \(y_q^j=\gamma _{{\bar{h}},x}^{j,q}(d_q(x,y))\) and apply (46) for \(j\ge J_2{:}{=}J_1((\varepsilon /C_\kappa )^s,\kappa , \kappa _1)\), getting
Due to (44), it follows that \(d_q^j(y_q^j,y)\le \varepsilon \), therefore
for every \(j\ge J_2\), \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) and \(q\in \Xi \). The inequality \(d_q^j(x,y_q^j)\le d_q(x,y)\) is an obvious consequence of the definition of SR distance.
Step 5. Given \(\kappa _1\) as in (50) and \(\varepsilon >0\) with \(\Xi =\{p\}\) , then there exists \(J_3=J_3(\varepsilon , \kappa , \kappa _1)\in \mathbb {N}\) and a subsequence \(j_\ell \) such that for every \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) , \(j_\ell \ge J_3\) we have
Let us consider two arbitrary points \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\). Step 3 of the proof shows that all geodesics \(\gamma _{h^j,x}^{j,p}\) with respect to \(\textbf{X}^{j,p}_h\) connecting x and y are contained in \(\mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\). Up to a rescaling, we may assume that \(\gamma _{h^j,x}^{j,p}:[0,1]\rightarrow \mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\), \(\gamma ^{j,p}_{h^j,x}(1)=y\) and
By weak\(^*\) compactness, there exists a subsequence of \(h^j\) that converges to some \({\bar{h}}\in L^\infty ([0,1],\mathbb {R}^\textrm{m})\) in the weak\(^*\) topology. We may relabel \(h^j\), so that \(h^j{\mathop {\rightharpoonup }\limits ^{\!\!*}}{\bar{h}}\). The uniform boundedness of \(\gamma ^{j,p}_{h^j,x}\) combined with the uniform convergence of \(X^{j,p}_i\) to \(X^p_i\), \(i=1,\dots , \textrm{m}\), implies their equi-Lipschitz continuity. Thus, up to further relabeling \(h^j\), by Ascoli–Arzelà compactness theorem, we also get the uniform convergence of \(\gamma _{h^j,x}^{j,p}\) to some \(\Gamma :[0,1]\rightarrow \mathbb {B}_{\textrm{E}}(x_0,\kappa R_0)\). Actually, these conditions allow us to pass to the limit in the following integral equation
as \(j\rightarrow \infty \), so that \(\Gamma =\gamma _{{\bar{h}},x}^p\) satisfies the second ODE of (45). Moreover \(\gamma _{{\bar{h}},x}^p(1)=y\), therefore
where \(d_p^j(x,y)\) is also relabeled, according to the subsequence of \(h^j\). Up to extracting a further subsequence, we have actually proved the existence of \({\tilde{J}}_3={\tilde{J}}_3(\varepsilon ,x,y, \kappa , \kappa _1)\in \mathbb {N}\) such that
for all \(j\ge {\tilde{J}}_3\).
By compactness, let \(x_1,\dots , x_k\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) such that \(\mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\subset \bigcup _{i=1}^kB_p(x_i,\varepsilon )\). We use the notation \(B_p\) and \(B_p^j\) to denote the open metric balls with respect to \(d_p\) and \(d_p^j\), respectively. Thanks to (44) and (53) we can find \(J_3=J_3(\varepsilon , \kappa ,\kappa _1,x_1,\ldots ,x_k)\) such that
for every \(j\ge J_3\). There exist \(i_1,i_2\) such that \(x\in B_(x_{i_1},\varepsilon )\) and \(y\in B_p(x_{i_2},\varepsilon )\). Thanks to (54), by triangle inequality, for \(j\ge J_3\) we have
which implies the desired inequality for the case \(\Xi =\{p\}\).
Step 6. Theorem 4.1holds with \(\Xi =\left\{ p \right\} \) .
Combining Step 4, with \(\Xi =\left\{ p \right\} \), and Step 5, from the arbitrary choice of \(\varepsilon >0\), we obtain a subsequence \(d_p^{j_\ell }\) such that
with \(r_0=\kappa _1R_0\). Since the limit is independent on the choice of the subsequence, our claim immediately follows.
Step 7. Given \(\kappa _1\) as in (50) and \(\varepsilon >0\) , there exists \(J_3=J_3(\varepsilon , \kappa , \kappa _1)\in \mathbb {N}\) such that
for every \(x,y\in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) , \(j\ge J_3\) , \(q\in \Xi \) .
Assume by contradiction that there exist \(\varepsilon _0>0\), some sequences \(x_j, y_j\) in \(\mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) and \(q_j\) in \(\Xi \) such that
for every \(j\in \mathbb {N}\), where \(k_j\rightarrow \infty \). By compactness, up to extracting subsequences, we can find \(x_0,y_0 \in \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\) and \(q_0\in \Xi \) such that \(x_j\rightarrow x_0\), \(y_j\rightarrow y_0\) and \(q_j\rightarrow q_0\) as \(j\rightarrow \infty \), where we have relabeled the indices of the sequences and of \(k_j\). Our assumptions on the convergence of the family \(X_j^{q}\) imply that the sequences \(X^{q_j}_1,\ldots ,X^{q_j}_\textrm{m}\) and \(X^{k_j,q_j}_1,\ldots ,X^{k_j,q_j}_\textrm{m}\) both converge to \(X_1^{q_0},\ldots ,X^{q_0}_\textrm{m}\) in the \(C^\infty _{\textrm{loc}}\)-topology. For the convergence of \(X^{q_j}_1,\ldots ,X^{q_j}_\textrm{m}\), it is enough to use the continuity of all partial derivatives \((x,q)\mapsto \partial _x^\alpha X^q_i(x)\). For the convergence of \(X^{k_j,q_j}_1,\ldots ,X^{k_j,q_j}_\textrm{m}\), we use the triangle inequality and the fact that \(X_i^{j,q}\rightarrow X_i^q\) as \(j\rightarrow \infty \) in the \(C^\infty _{\textrm{loc}}\)-topology, uniformly with respect to \(q\in U\), for any \(i=1,\dots , \textrm{m}\).
We apply Step 6 to both the sequences \(\textbf{X}^{q_j}_h\) and \(\textbf{X}^{k_j,q_j}_h\), hence the associated distances \(d_{q_j}\) and \(d_{q_j}^{k_j}\) uniformly converge to \(d_{q_0}\) in \(\mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\times \mathbb {B}_{\textrm{E}}(x_0,\kappa _1R_0)\). Thus, both \(d_{q_j}(x_j,y_j)\) and \(d_{q_j}^{k_j}(x_j,y_j)\) converge to \(d_{q_0}(x_0,y_0)\) contradicting (56) and completing the proof of Step 7. Setting \(r_0=\kappa _1R_0\), the proof is complete. \(\square \)
Remark 4.2
The previous theorem in some respects can be seen as a uniform version of [17, Theorem 3.4] with respect to an “extra parameter” q varying in an abstract compact metric space. Another difference is that we consider vector fields which are only defined on an open bounded set.
Remark 4.3
We notice that the possible values for \(r_0>0\) in the statement of Theorem 4.1 can be seen somehow more explicitly starting from the condition (50). In fact, we obtain
taking into account the assumption \(C_\kappa \ge 1\). Defining \(\psi :[0,+\infty )\rightarrow [0,+\infty )\), \(\psi (t)=t^{1/s}+t\), we can choose
The point is however that \(C_\kappa \) may depend on \(R_0\), hence we de not know the behavior of the ratio in the previous expression as \(R_0\rightarrow +\infty \). The same formula could be useful only in those cases where more information on the behavior of \(C_\kappa \) is available.
Remark 4.4
Let us point out that the distances \(d^j_q\) on \(B_{\textrm{E}}(x_0,R_0)\) in the assumptions of Theorem 4.1 may be a priori unbounded. Indeed, the norm of the vector fields of \(\textbf{X}^{j,q}_h\) may tend to zero when it is evaluated at points that tend to the boundary.
Remark 4.5
To simplify the exposition, the previous theorem is stated with the local \(C^\infty \) convergence of the frames \(\textbf{X}^{j,q}_h\). Since we may assume that the step of the frame is uniformly bounded, a \(C^k_{\textrm{loc}}\) convergence with k sufficiently large would suffice. Such convergence is necessary to have the uniform estimates (44).
The main application of Theorem 4.1 is the uniform nilpotent approximation of an equiregular sub-Riemannian manifold, as stated in the next theorem.
Theorem 4.6
(Uniform nilpotent approximation) Let \((M,{\mathcal {D}}, g)\) be a sub-Riemannian manifold and let \(p\in M\) be a regular point. We consider a privileged orthonormal frame \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) in an open neighborhood W of \(p\in M\) and denote by \(F_\textbf{X}:U\times V\rightarrow W\) a system of uniform exponential coordinates of the first kind relative to \(\textbf{X}\) with \(p\in U\), see Definition 2.12 and (15). We set \({\widetilde{X}}_i^q= (F_\textbf{X}(q,\cdot )^{-1})_*X_i\) and introduce the rescaled vector fields \({\widetilde{X}}_i^{q,r}=r^{w_i}(\delta _{1/r})_*{\widetilde{X}}_i^q\) for \(i=1,\ldots ,\textrm{n}\), \(q\in U\) and \(r>0\). Then for every bounded open set \(A\subset \mathbb {R}^\textrm{n}\) the following statements hold.
-
(1)
The frame \({\widetilde{\textbf{X}}}^{q,r}=({\widetilde{X}}^{q,r}_1,\ldots ,{\widetilde{X}}^{q,r}_\textrm{n})\) converges to \({\widehat{\textbf{X}}}^q=({\widehat{X}}^q_1,\ldots ,{\widehat{X}}^q_\textrm{n})\) on the subset \(A\subset \mathbb {R}^n\) in the \(C^\infty _{\textrm{loc}}\)-topology as \(r\rightarrow 0\), uniformly with respect to q varying in any compact set of U.
-
(2)
The local distance \({\widetilde{d}}_q^r\) induced by the frame \({\widetilde{\textbf{X}}}^{q,r}_h=({\widetilde{X}}^{q,r}_1,\ldots ,{\widetilde{X}}^{q,r}_\textrm{m})\) converges to \({\widehat{d}}_q\) in \(L^\infty (A\times A)\) as \(r\rightarrow 0\), uniformly as q varies in any compact set of U, where \({\widehat{d}}_q:\mathbb {R}^n\times \mathbb {R}^\textrm{n}\rightarrow [0,+\infty )\) is the tangent sub-Riemannian distance (Definition 2.18).
Proof
We notice that the uniform coordinates \(F_\textbf{X}\) exist, since p is a regular point. For any \(q\in U\), we set
for suitable smooth functions \(a^q_{ij}\in C^\infty (V)\). We may apply Theorem 2.16 with respect to the coordinates \(F_\textbf{X}(q,\cdot ):V\rightarrow W\) for every \(q\in U\). Then there exist smooth functions \(\rho _{ij}^q\in C^\infty (V)\) and polynomials \(b_{ij}^q\in C^\infty (V)\) such that
and the statements (a), (b) and (c) of Theorem 2.16 hold. The homogeneity of the polynomials \(b^q_{ij}\) implies that the vector fields \(\widehat{X}^q_i=\sum _{j=1}^\textrm{n}b^q_{ij}\partial _j\) are homogeneous, precisely
for every \(i=1,\ldots ,\textrm{n}\) and \(q\in U\). As already observed in Remark 2.17, the coefficients of the polynomial \(b_{ij}^q\) are suitable iterated derivatives \(a_{ij}^q\) at 0, with respect to our exponential coordinates of the first kind x centered at q. Since the uniform coordinates \(F_\textbf{X}\) are smooth, then so are \((q,x)\mapsto a_{ij}^q(x)\), \((q,x)\mapsto b_{ij}^q(x)\) and \((q,x)\mapsto \rho _{ij}^q(x)\).
Let \(K\subset U\) be compact and consider \(r_1>0\) sufficiently small, such that such for all \(i=1,\ldots ,\textrm{n}\) and \(0<r\le r_1\) the rescaled vector field \({\widetilde{X}}^{q,r}_i=r^{w_i}(\delta _{1/r})_*{\widetilde{X}}_i^q\) is well defined on A for every \(q\in U\). We wish to prove that \({\widetilde{X}}^{q,r}_i\) converges to \({\widehat{X}}_i^q\) in \(B_{\textrm{E}}(0,R_0)\) with respect to the \(C^\infty _{\textrm{loc}}\)-topology as \(r\rightarrow 0\), uniformly with respect to \(q\in K\) and for every \(i=1,\ldots ,\textrm{n}\). The above homogeneity of \(\widehat{X}^q_i\) implies that
for all \(i=1,\ldots ,\textrm{n}\). The claim (c) of Theorem 2.16 states that the monomials in the Taylor expansion of \(\rho _{ij}^q\) have homogeneous degree greater than \(w_j-w_i\). Then the smooth dependence of \(\rho ^q_{ij}(x)\) with respect to the couple (q, x) implies that for any \(\alpha \in {\mathbb {N}}^\textrm{n}\), we have
where \(x\in A\) and \(O_{\alpha ,i,j}(r)\) is uniform with respect to \(q\in K\). We have proved the first statement of our claim.
To prove the second statement, we fix again a compact set \(K\subset U\). By the first claim with \(A={\widehat{B}}(0,4)\), we have that \(r(\delta _{1/r})_*{\widetilde{X}}_i^q\) converges to \({\widehat{X}}_i^q\) on \({\widehat{B}}(0,4)\) with respect to the topology of \(C^\infty _{\textrm{loc}}\) as \(r\rightarrow 0\), for every \(i=1,\ldots ,\textrm{m}\) and uniformly with respect to \(q\in K\). We denote by \({\widehat{d}}_{q,0}\) the distance induced by the orthonormal frame \({\widehat{\textbf{X}}}^q_h=({\widehat{X}}_1^q,\ldots ,{\widehat{X}}_\textrm{m}^q)\) on \({\widehat{B}}_q(0,4)\), that may differ from the distance \({\widehat{d}}_q\) of the nilpotent approximation. Let us recall that \({\widehat{B}}_q(0,4)\) is defined by \({\widehat{d}}_q\). Obviously \({\widehat{d}}_{q,0}|_{{\widehat{B}}_q(0,1)}\ge {{\widehat{d}}_q}{|_{{\widehat{B}}_q(0,1)}}\), hence we choose \(x,y\in {\widehat{B}}_q(0,1)\). Arguing as in the proof of Proposition 2.15, we may select a horizontal curve \(\gamma :[0,1]\rightarrow \mathbb {R}^n\) connecting x and y, such that \(\textrm{length}(\gamma )<{\widehat{d}}_q(x,y)+\varepsilon \) and \(0<\varepsilon <1\). We obtain
therefore \(\gamma (t)\in {\widehat{B}}_q(0,4)\subset \) for all \(t\in [0,1]\). In particular, we have
that immediately leads to the opposite inequality. We have proved that
We apply Theorem 4.1 to the converging frame \({\widetilde{\textbf{X}}}^{q,r}_h=({\widetilde{X}}^{q,r}_1,\ldots ,{\widetilde{X}}^{q,r}_\textrm{m})\) with some \(0<R_0<1\) such that \(B_{\textrm{E}}(0,R_0)\subset {\widehat{B}}_q(0,1)\), hence we get \(0<r_0<R_0<1\) such that
as \(r\rightarrow 0\), due to (57). The previous limit and a standard rescaling argument conclude the proof. \(\square \)
5 Diameters of sub-Riemannian balls around regular points
In this section, we prove local uniform estimates for the diameter of sub-Riemannian metric balls, which are centered at regular points.
An important tool is the next theorem, which establishes the existence of a “local uniform radius” for all metric balls which are contained in the image of a suitable “uniform topological exponential-type mapping”.
Theorem 5.1
(Topological existence of uniform radius) Let M be a length metric space and let \(p\in M\). Let \(T\subset M\) be an open neighborhood of p and let \(A\subset \mathbb {R}^\textrm{n}\) be an open neighborhood of 0. We consider a mapping \(E:T\times A\rightarrow M\) such that
-
(1)
E is continuous,
-
(2)
\(E(q,0)=q\) for every \(q\in T\),
-
(3)
the mapping \(E(q,\cdot ):A\rightarrow E(q,A)\) is a homeomorphism for every \(q\in T\).
Then there exist a bounded open neighborhood \(V\subset A\) of 0, an open neighborhood \(U\subset T\) of p such that the function
is well defined and lower semicontinuous. In particular, there exist \(r_0>0\) and \(\varepsilon _0>0\) such that \(B(q,r_0)\subset E(q,V)\) for every \(q\in B(p,\varepsilon _0)\).
Proof
We may choose two open neighborhoods \(U\Subset T\) and \(V\Subset A\) of \(p\in T\) and of \(0\in A\), respectively, such that
By conditions (2) and (3) and the fact that \(V\Subset A\), we have \(0<R(q)<+\infty \) for each \(q\in U\), so that the function (59) is well defined. We now fix a point \(q\in U\) and \(t>0\) such that \(t<R(q)\) and \(B(q,2t)\subset U\). By definition of R(q), we may find \(s\in (t,R(q))\cap (t,2t)\) such that
From condition (3), we have \(\partial E(q,V)=E(q,\partial V)\), and hence
Then the triangle inequality implies
for every \(q'\in B(q,\varepsilon )\) and \(\varepsilon \in (0,s-t)\). It remains to prove we can choose \(\varepsilon \in (0,s-t)\) sufficiently small such that
As a consequence of this inclusion, for each \(q'\in B(q,\varepsilon )\), we obtain
Our main tool will be the invariance of the degree of mappings under suitable deformations. First of all, we claim that
for every \(q'\in B(q,\varepsilon )\) and a fixed \(\varepsilon >0\), sufficiently small. We can find \(\sigma _0>0\) such that
By condition (1) and the compactness of \(\partial V\), for every \(\delta \in (0,\sigma _0)\) we can find \(\varepsilon >0\) such that
for every \(q'\in B(q,\varepsilon )\). For any \(w\in \mathbb {B}(q,s)\) and \(v\in \partial V\) we have
for every \(q'\in B(q,\varepsilon )\). This concludes the proof of (63). Since M is a length metric space, we can consider a continuous curve \(\gamma :[0,1]\rightarrow B(q,\varepsilon )\) such that
Thus, in view of (60), we can define the homotopy \(H:{\overline{V}}\times [0,1]\rightarrow \mathbb {R}^\textrm{n}\) by setting
By (63) we know that
for every \(v\in \partial V\) and \(t\in [0,1]\). As a result, for an arbitrary \(w\in E(p,\cdot )^{-1}(B(q,s))\) we have
whenever \(v\in \partial V\) and \(t\in [0,1]\). Clearly the restriction \(H(\cdot ,0)\) is injective on \({\overline{V}}\). The inclusion \(\mathbb {B}(q,s)\subset E(q,V)\), that is a consequence of (61) and the fact that \(w\in E(p,\cdot )^{-1}(B(q,s))\) give \(x\in V\) such that \(w=E(p,\cdot )^{-1}(E(q,x))=H(x,0)\). By [35, Theorem 3.3.3], we obtain that
We are then in a position to apply [23, Thorem 2.3 (2)], hence the function
is constant and in particular,
By [23, Theorem 2.1], we have proved that \(E(p,w)\in E(q',V)\), hence
that completes the proof. \(\square \)
The previous result has an important consequence, when applied to our uniform exponential coordinates of the first kind, as explained in the next corollary.
Corollary 5.2
(Existence of uniform radius) Let \((M,{\mathcal {D}}, g)\) be a sub-Riemannian manifold and let \(p\in M\) be a regular point. Let \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) be a privileged orthonormal frame in an open neighborhood W of \(p\in M\) and consider a system of uniform exponential coordinates of the first kind \(F_\textbf{X}:U\times V\rightarrow W\) with \(p\in U\), according to Definition 2.12 and (15). Then there exist a bounded open neighborhood \(V_0\subset V\) of 0, an open neighborhood \(U_0\subset U\) of p and a positive \(r_0>0\) such that \(B(q,r_0)\subset F_\textbf{X}(q,V_0)\) for every \(q\in U_0\).
Proof
We notice that \(F_\textbf{X}:U\times V\rightarrow W\) satisfies the assumptions of Theorem 5.1. Then there exists \(r_0>0\) and \(\varepsilon _0>0\) such that
for every \(q\in B(p,\varepsilon _0)\). This concludes the proof. \(\square \)
Theorem 5.3
(Uniform local estimates on diameters) Let p be a regular point of a sub-Riemannian manifold \((M,{\mathcal {D}}, g)\). Then we have a neighborhood \(T\subset M\) of p such that for every \(0<\varepsilon <1\) there exists a radius \(r_\varepsilon >0\) such that
for every \(q\in T\) and \(0<r<r_\varepsilon \).
Proof
We choose a privileged orthonormal frame \(\textbf{X}=(X_1,\dots , X_\textrm{n})\) in an open neighborhood U of \(p\in M\) and a system of uniform exponential coordinates of the first kind \(F_\textbf{X}:U\times V\rightarrow W\) relative to \(\textbf{X}\), according to Definition 2.12 and (15). Then we consider \({\widetilde{d}}^r_q\) and \({\widehat{d}}_q\) as in Theorem 4.6, therefore for every bounded set \(A\subset \mathbb {R}^\textrm{n}\) and every compact neighborhood \(K\subset U\) of p, we get
We consider \(A={\widehat{B}}_q(0,1)=\left\{ x\in \mathbb {R}^\textrm{n}:{\widehat{d}}_q(x,0)<1 \right\} \), hence there exists \(r_\varepsilon >0\) such that the distances \({\widetilde{d}}^r_q\) are well defined on \({\widehat{B}}_q(0,1)\), \({\widetilde{d}}_q\) is well defined on \({\widehat{B}}_q(0,r)\) and we have
for all \(x,y\in {\widehat{B}}_q(0,1)\), \(q\in K\) and \(0<r\le r_\varepsilon \). In different terms, we have
for each \(x,y\in {\widehat{B}}_q(0,r)\), \(q\in K\) and \(0<r\le r_\varepsilon \). As a consequence, for \(x\in {\widehat{B}}_q(0,r-r\varepsilon )\) we obtain \({\widetilde{d}}_q(0,x)<r\), therefore
for every \(q\in K\) and \(0<r\le r_\varepsilon \). Combining the inclusion and the previous inequality, for all \(x,y\in {\widehat{B}}_q(0,r-r\varepsilon )\), we get
that immediately yields
From Corollary 5.2 we get an open neighborhood \(U_0\subset U\) of p and \(r_0>0\) such that
for every \(q\in U_0\), where \(V_0\subset V\) is a bounded open neighborhood of 0. We fix an arbitrary compact neighborhood \(T\subset U_0\subset U\) of p and notice that the estimate (66) holds for all \(q\in T\) and \(0<r\le r_\varepsilon \), where \(r_\varepsilon \) may also depend on T. Furthermore, for every \(q\in T\) the diffeomorphism \(F_\textbf{X}(q,\cdot ):V_0\rightarrow F_\textbf{X}(q,V_0)\) is a system of exponential coordinates of the first kind centered at the regular point q. We can apply Proposition 2.15, hence
holds for every \(x,y\in F_{q,\textbf{X}}^{-1}(B(q,\rho ))={\widetilde{B}}_q(0,\rho )\) and every \(q\in T\), where \(0<\rho \le r_0/4\). Due to (66), we obtain
for all \(r\le \min \left\{ r_\varepsilon ,r_0/4 \right\} \) and \(q\in T\), concluding the proof. \(\square \)
6 Finding the spherical Federer density of hypersurfaces
The present section is devoted to the computation of the spherical Federer density of a hypersurface in an equiregular SR manifold at any of its noncharacteristic points. Terminology and tools will be also introduced in the next sections.
6.1 Spherical Federer density and measure-theoretic area formula
In this section, we introduce the measure-theoretic area formula, which will lead us to the sub-Riemannian area formula (7). We follow the presentation in [34].
Definition 6.1
(Spherical measure and Hausdorff measure) If X is a metric space, \(\delta >0\), \(E\subset X\), \(\mathcal {S}\) is a fixed family of closed sets, \(\left\{ F_j:j\in \mathbb {N} \right\} \subset \mathcal {S}\) covers \(E\subset X\) and \(\text{ diam }(F_j)\le \delta \) for every \(j\in \mathbb {N}\), we say that this family is a \(\delta \)-covering of E. For \(\alpha >0\), we set \(\zeta _\alpha (F)= 2^{-\alpha }\, \text{ diam }(F)^\alpha \) for any \(F\in \mathcal {S}\) and introduce the set function
The Borel measure arising from this Carathéodory’s construction is
If \(\mathcal {S}\) is the family \(\mathcal {F}_b\) of all closed balls with positive diameter, then \(\phi ^\alpha \) becomes the \(\alpha \)-dimensional spherical measure, denoted by \(\mathcal {S}^\alpha \). If \(\mathcal {S}\) is the family of all closed sets, then \(\phi ^\alpha \) coincides with the \(\alpha \)-dimensional Hausdorff measure \(\mathcal {H}^\alpha \).
If k is a positive integer and X is a finite dimensional Hilbert space, we define the k-dimensional Euclidean Hausdorff measure as \(\mathcal {H}^k_{\textrm{E}}=\omega _k\mathcal {H}^k\). Here the distance arises from the Euclidean distance and \(\omega _k\) is the k-dimensional Lebesgue measure of the Euclidean unit ball in \(\mathbb {R}^k\).
The next definitions appear in the statement of the measure-theoretic area formula for the spherical measure (Theorem 6.4).
Definition 6.2
(Federer density for the spherical measure) We consider an outer measure \(\mu \) over a metric space X and fix \(\alpha >0\). The spherical Federer \(\alpha \)-density of \(\mu \) at p is defined as
Definition 6.3
(Diametric regularity) A metric space (X, d) is diametrically regular if for every \(x\in X\) there exist \(\delta _x>0\) and \(R_x>0\) such that \((0,+\infty )\ni r\rightarrow \text{ diam }(B(y,r))\) is continuous on \((0,\delta _x)\) for every \(y\in B(x,R_x)\).
The next result is the measure-theoretic area formula of [34, Theorem 5.7].
Theorem 6.4
(Measure-theoretic formula for the spherical measure) Let \(\mu \) be an outer measure over a metric space X and let \(\alpha >0\). We choose a Borel set \(A\subset X\) and assume the validity of the following conditions.
-
(1)
X is a diametrically regular metric space.
-
(2)
\(\mu \) is both a regular measure and a Borel measure.
-
(3)
\((\mathcal {F}_b)_{\mu ,\zeta _{\alpha }}\) covers A finely.
-
(4)
A has a countable covering whose elements are open and have \(\mu \)-finite measure.
-
(5)
The subset \(\lbrace x\in A: \mathfrak s^\alpha (\mu ,x)=0\rbrace \) is \(\sigma \)-finite with respect to \(\mathcal {S}^\alpha \).
-
(6)
We have the absolute continuity
.
Then \(\mathfrak s^\alpha (\mu ,\cdot ):A\rightarrow [0,+\infty ]\) is Borel and for every Borel set \(B\subset A\) we have
Remark 6.5
It is not difficult to realize that Theorem 6.4 combined with the double blow-up immediately gives (7). If we consider the general definition of Federer density, see [34, Definition 3], then actually \((\mathcal {F}_b)_{\mu ,\zeta _{\alpha }}=\mathcal {F}_b\), hence (3) is satisfied. The continuity of the diameter function in sub-Riemannian manifolds proves condition (1). Due to the finiteness of the Federer density (75), we can apply [34, Proposition 3.3], hence getting the absolute continuity stated in (6). The remaining conditions are straightforward.
6.2 Representation of the perimeter measure and double blow-up
In this section we prove the integral formula (71) for the perimeter measure, which will be used in Theorem 6.13 to compute the Federer density.
Using the standard properties of the interior product \(i_X(\omega )\) of a vector field X on the volume form \(\omega \), we obtain the following variant of the divergence theorem.
Theorem 6.6
Let \((\Sigma ,g)\) be an oriented Riemannian manifold of class \(C^1\) with boundary \(\partial \Sigma \) and let X be a vector field on \(\Sigma \) with compact support. Then, for every volume form \(\omega \) on M, we have
![](http://media.springernature.com/lw214/springer-static/image/art%3A10.1007%2Fs00526-023-02590-8/MediaObjects/526_2023_2590_Equ237_HTML.png)
where \(\nu \) denotes the outer normal to \(\partial \Sigma \) with respect to g.
We recall that the divergence \({\textrm{div}}_\omega X\) with respect to \(\omega \) is already introduced in (24).
Remark 6.7
In the special case where the volume form \(\omega \) is the standard Riemannian volume form, the previous theorem yields the classical Divergence Theorem, see e.g. [14, Theorem 1.47].
Theorem 6.6 is used in the proof of Theorem 6.11, that also needs the next definitions.
Definition 6.8
(Horizontal gradient) Let U be an open subset of M, where \((M,{\mathcal {D}}, g)\) is a sub-Riemannian manifold, and let \(f:U\rightarrow \mathbb {R}\) be \(C^1\) smooth. For every \(p\in U\), we denote by \(\nabla _{\mathcal {D}} f(p)\) the horizontal gradient of f at p, namely the unique vector of \({\mathcal {D}}_p\) such that \(\textrm{d}f(p)(w)=g_p(\nabla _\mathcal {D}f(p),w)\) for every \(w\in \mathcal {D}_p\).
Definition 6.9
(Horizontal normal and characteristic points) Let \((M,{\mathcal {D}},g)\) be a sub-Riemannian measure manifold and let \(\Sigma \) be an oriented \(C^1\) smooth hypersurface \(\Sigma \) embedded into M. Let \({\bar{g}}\) be a Riemannian metric on M which extends the sub-Riemannian metric g and let \(\nu \) be a unit normal field on \(\Sigma \). The horizontal normal \(\nu _{\mathcal {D}}(p)\) at \(p\in \Sigma \) is the orthogonal projection of \(\nu (p)\) onto \({\mathcal {D}}_p\) with respect to \({\bar{g}}\). We say that a point \(p\in \Sigma \) is characteristic if \(\mathcal {D}_p\subset T_p\Sigma \), hence if and only if \(\nu _\mathcal {D}(p)=0\).
Definition 6.10
(Regular points for the divergence theorem) Let M be a manifold and let \(\Omega \subset M\) be an open set. We say that \(p\in \partial \Omega \) is a regular point of \(\partial \Omega \) if there exist a neighborhood U of p and a map \(f\in C^1(U)\) so that \(\partial \Omega \cap U=\{q\in U: f(q)=0 \}\), \(\textrm{d}f(q)\ne 0\) for all \(q\in U\) and \(\Omega \cap U=\{q\in U: f(q)<0\}\).
Theorem 6.11
Let \((M,{\mathcal {D}},g,\omega )\) be an equiregular sub-Riemannian measure manifold and consider an open set \(\Omega \subset M\) with \(C^1\) smooth boundary. If \({\bar{g}}\) is any Riemannian metric on M such that \({\bar{g}}|_{{\mathcal {D}}}=g\), then for every open set \(U\subset M\), we have
where \(\nu _{\mathcal {D}}\) denotes the projection on \({\mathcal {D}}\) with respect to \({\bar{g}}\) of the outer normal \(\nu \) to \(\partial \Omega \), and \(\sigma _{{\bar{g}}}\) is the Riemannian surface measure associated with \({{\bar{g}}}\) of the boundary \(\partial \Omega \).
Proof
We first prove a local version of the statement. Let \(p\in \partial \Omega \cap U\), let \(V_p\) be an open and relatively compact neighborhood of p that admits a positively oriented adapted frame \((e_1,\dots ,e_\textrm{n})\) in \(V_p\) with respect to \(\omega \), namely \(\omega (e_1\wedge \cdots \wedge e_\textrm{n})>0\). We can assume that the frame is also orthonormal with respect to \({\bar{g}}\). Denote by \((\alpha _1,\dots ,\alpha _\textrm{n})\) the dual basis of \((e_1,\dots ,e_\textrm{n})\) and set the Riemannian volume form \(\omega _{{\bar{g}}}=\alpha _1\wedge \ldots \wedge \alpha _\textrm{n}\). Hence, we have a unique everywhere positive function \(a\in C^{\infty }(V_p)\) such that \(\omega = a\omega _{{\bar{g}}}\). By the divergence theorem stated in Theorem 6.6, for any smooth vector field X with compact support in \(V_p\) it holds
![](http://media.springernature.com/lw410/springer-static/image/art%3A10.1007%2Fs00526-023-02590-8/MediaObjects/526_2023_2590_Equ72_HTML.png)
where the last equality follows taking into account the induced positive orientation on the boundary \(\partial \Omega \) and Remark 6.7. Taking the supremum over all \(\varphi X\) with \(X\in \mathcal {D}^g\) and \(\varphi \in C_c^\infty (V_p)\) and \(|\varphi |\le 1\), we immediately obtain
from Definition 2.25. For the opposite inequality, we first continuously extend \(\nu _{{\mathcal {D}}}\) on \(V_p\), using Tietze’s Extension Theorem. Then we apply Stone–Weierstrass’ theorem to get a sequence of smooth horizontal vector fields \(\nu _k\) defined on \({\overline{V}}_p\) that uniformly converges to \(\nu _{\mathcal {D}}\) on \(V_p\). Indeed, it is enough to write
where each \(\nu _k^i\) uniformly converges to \(\nu ^i\) on \({\overline{V}}_p\) as \(k\rightarrow \infty \). Take now \(\phi \in C_c^\infty (V_p)\) such that \(0\le \phi \le 1\) and define \(X_k= \phi \frac{\nu _k}{|\nu _k|_g+e^{-k}}\). By evaluating identity (72) for \(X=X_k\), we get
Passing to the limit as \(k\rightarrow \infty \) we obtain
and passing to the supremum on all \(\phi \in C_c^\infty (V_p)\) with \(0\le \phi \le 1\), we get
Since \(\Vert \omega _{{\bar{g}}}\Vert _{{\bar{g}}}=1\), we notice that \(a=\Vert \omega \Vert _{{\bar{g}}}\). In sum, we have proved that for any \(p\in \partial \Omega \cap U\) there exists an open and relatively compact set \(V_p\) containing p, such that
Clearly, the previous equality also holds on any open subset of \(V_p\). By paracompactness of M, we find a countable and locally finite open covering
of \(\partial \Omega \cap U\) such that identity (73) holds on each \(W_i\). Let \(\{\rho _i:i\in {\mathbb {N}}\}\) be a smooth partition of unity subordinate to \({\mathcal {F}}\) (see e.g. [52, Theorem 13.7]) and define the Borel regular measures
![](http://media.springernature.com/lw326/springer-static/image/art%3A10.1007%2Fs00526-023-02590-8/MediaObjects/526_2023_2590_Equ238_HTML.png)
on U. Since \(\sum _{i\in {\mathbb {N}}} \rho _i=1\), one has
![](http://media.springernature.com/lw284/springer-static/image/art%3A10.1007%2Fs00526-023-02590-8/MediaObjects/526_2023_2590_Equ239_HTML.png)
due to the fact that (73) extends to all measurable subsets of \(W_i\). \(\square \)
Theorem 6.11 motivates the following definition of surface measure for hypersurfaces embedded in sub-Riemannian measure manifolds.
Definition 6.12
(SR surface measure) We consider a sub-Riemannian measure manifold \((M,{\mathcal {D}},g,\omega )\) along with an oriented \(C^1\) smooth hypersurface \(\Sigma \) of M. Let \({\bar{g}}\) be a Riemannian metric on M such that \({\bar{g}}|_{{\mathcal {D}}}=g\) and let \(\nu \) be an orienting unit vector field on \(\Sigma \), that is orthogonal to \(\Sigma \) with respect to \({\bar{g}}\). Then we define the SR surface measure of \(\Sigma \) as
for every Borel set \(A\subset M\).
Theorem 6.13
(Double blow-up) Let \((M,{\mathcal {D}}, g, \omega )\) be a sub-Riemannian measure manifold. We assume that \(\Sigma \subset M\) is an oriented \(C^1\) smooth hypersurface with orienting unit normal \(\nu \) on \(\Sigma \cap T\) and \(T\subset M\) is an open neighborhood of \(p\in \Sigma \). We also denote by the same symbol g a Riemannian metric on M that extends the given sub-Riemannian metric and we consider the associated SR surface measure \(\sigma _\Sigma ^{SR}\). If p is both a regular point of M and a noncharacteristic point of \(\Sigma \), then
where \(\nu _\mathcal {D}(p)\) denotes the horizontal normal at \(p\in \Sigma \).
Proof
Since \(\Sigma \) is a hypersurface of class \(C^1\), we may find a suitably small open neighborhood W of p and \(f\in C^1(W)\) such that
with \(\textrm{d}f(q)\ne 0\) and q is a regular point of M for every \(q\in W\). Since p is noncharacteristic, we have \(\nabla _{\mathcal {D}}f(p)\in \mathcal {D}_p\setminus \left\{ 0 \right\} \), then we set
for some \(\theta _p\ne 0\). Then we choose \(v_2,\ldots ,v_\textrm{m}\in \mathcal {D}_p\) such that \((v_1,\ldots ,v_\textrm{m})\) is an orthonormal basis of \(\mathcal {D}_p\). Due to Lemma 2.10, we can build a privileged orthonormal frame \((X_1,\dots , X_\textrm{n})\) such that
Up to changing the sign of one vector field \(X_j\), with \(1\le j\le \textrm{n}\), we can also assume that the previous frame is positively oriented with respect to \(\omega \), namely \(\omega (X_1\wedge \cdots \wedge X_\textrm{n})>0\) on W. By definition of \(X_1(p)=v_1\), it follows that and
We define \(\textbf{X}=(X_1,\ldots ,X_\textrm{n})\) and fix \(F_{p,\textbf{X}}:V_p\rightarrow F_{p,\textbf{X}}(V_p)\subset W\), that introduces exponential coordinates of the first kind centered at p, where \(F_{p,\textbf{X}}\) is a diffeomorphism and \(V_p\) is an open neighborhood of \(0\in \mathbb {R}^\textrm{n}\), according Definition 2.12.
To simplify notation we set \(F=F_{p,\textbf{X}}\), since p and \(\textbf{X}\) are fixed throughout the proof. By the implicit function theorem applied to the composition \(f\circ F\), we find an open neighborhood I of 0 in \(\mathbb {R}^{\textrm{n}-1}\), an open interval \(J\subset \mathbb {R}\) containing 0 and a \(C^1\) smooth function \(\varphi :I\rightarrow J\) with \(\varphi (0)=0\), such that
We define \(A=J\times I\subset V_p\) and consider the restriction \(F:A \rightarrow U\), where \(U=F(A)\). By our definitions
for all \((t,x)\in A\), where \(x=(x_2,\dots ,x_\textrm{n})\in \mathbb {R}^{\textrm{n}-1}\). We also introduce the graph mapping \(\Phi :I\rightarrow J\times I\) as \(\Phi (x)=(\varphi (x), x)\) for every \(x\in I\), so that
Combining the definition of \(\sigma _\Sigma ^{SR}\) from which
the change of variables [9, Section 13.4.3, formula (12)], the Definition 2.13 and the Proposition 2.15, we get that \(\sigma _\Sigma ^{SR}(\mathbb {B}(q,r))\) is equal to
for every \(q\in \mathbb {B}(p,r)\subset U\) and \(r>0\) sufficiently small. For \(i,j=2,\dots , \textrm{n}\), the notation \([g(\partial _i(F\circ \Phi ),\partial _j(F\circ \Phi ))]_{ij}\) indicates the corresponding \((\textrm{n}-1)\times (\textrm{n}-1)\) matrix. For \(\tau >0\), define the dilation \(\Lambda _\tau :\mathbb {R}^{\textrm{n}-1}\rightarrow \mathbb {R}^{\textrm{n}-1}\) by
We also introduce the homogeneous norm \(\Vert \xi \Vert =\sum _{i=1}^\textrm{n}|\xi _i|^{1/w_i}\) for all \(\xi \in \mathbb {R}^\textrm{n}\). To simplify notation, we define \(\alpha (\tau ,\eta )\) as the number given by the formula
for all \(\tau >0\) and \(\eta \in I\) such that \(\Lambda _\tau (\eta )\in I\). For \(r>0\) sufficiently small as above, we perform the change of variables \(\eta \rightarrow \Lambda _r\eta \), obtaining
We first aim to prove that there exists \(r_0>0\) and a compact set \(K\subset \mathbb {R}^{\textrm{n}-1}\) such that
From Proposition 2.15, up to further shrinking both \(A=J\times I\) and U, we get
for all \(v_1,v_2\in J\times I\). We observe that
if and only if \({\widetilde{d}}_p(\Phi (\Lambda _r w),F^{-1}(q))\le r\) with \(0<r\le r_0\) and that \(r_0>0\) can be chosen sufficiently small and independent of q. Indeed, taking \(r>0\) small enough, the sets \({\widetilde{\mathbb {B}}}_p(F^{-1}(q),r)\) are all contained in a compact subset of \(J\times I\), as q varies in \(\mathbb {B}(p,r)\). By (84), taking \(0<r\le r_0\), the previous inequality can be written as follows
This in turn implies that \(d(F(\varphi (\Lambda _r w), \Lambda _r w), p)\le 2r\), which equivalently writes
By Theorem 2.22, observing that both \({\widehat{d}}_p\) and \(\Vert \!\cdot \!\Vert \) are continuous and homogeneous with respect to dilations
up to shrinking U, J and I, then there exists \(C>1\) such that
for every \(\xi \in J\times I\). Then inequality (85) yields
for \(0<r\le r_0\). This in turn implies that
and concludes the proof of (83). As a first consequence, we notice that
and hence there exist a sequence \(r_k>0\) converging to 0 and a sequence \(y_k\in \mathbb {B}(p,r_k)\) such that
where \(A_k=\Lambda _{1/{r_k}}(\Phi ^{-1}(F^{-1}(\mathbb {B}(y_k,r_k))))\). By Theorem 5.3 and the choice \(c_{Q-1}=2^{1-Q}\) we obtain
The dilations \(\delta _r:\mathbb {R}\times \mathbb {R}^{\textrm{n}-1}\rightarrow \mathbb {R}^\textrm{n}\) can be written as \(\delta _r(t,x)=(r t, \Lambda _r x)\). We consider an element \(\delta _{1/{r_k}}F^{-1}(y_k)\), that is contained in \(\delta _{1/{r_k}}{\widetilde{\mathbb {B}}}_p(0,r_k)\).
Due to (23), for \(\varepsilon >0\) fixed and k sufficiently large, we have
Since \(\varepsilon >0\) is arbitrary, up to extracting a subsequence, we may assume that
Next, we prove that for every \((0,w)\in (\{0\}\times \mathbb {R}^{\textrm{n}-1}) {\setminus } {\widehat{\mathbb {B}}}_p(z,1)\) one has
Assume by contradiction that the previous limit does not hold. Up to selecting a subsequence, we can assume that \(w\in A_k\) for every \(k\in {\mathbb {N}}\). By definition of \(A_k\), we have that
In terms of distances, the previous condition becomes
for every \(k\in {\mathbb {N}}\). Due to (90), the triangle inequality allows us to apply Theorem 2.22 with \(R=2\), therefore
for every k sufficiently large. Thus, taking into account (90), we get
for k sufficiently large. As a direct consequence of (77), we have that
for any \(w\in \mathbb {R}^{\textrm{n}-1}\). Passing to the limit in (92), we get
The arbitrary choice of \(\varepsilon >0\) gives \((0,w)\in {\widehat{\mathbb {B}}}_p(z,1)\), that is a contradiction. This proves (89). We consider the set
Due to (76), we observe that the subspace
is orthogonal to \(\nu _\mathcal {D}(p)\). Furthermore, \(S_z\) can be seen as a subset of \(\mathbb {R}^{\textrm{n}-1}\), by means of the projection \(\pi :\mathbb {R}\times \mathbb {R}^{\textrm{n}-1}\rightarrow \mathbb {R}^{\textrm{n}-1}\), hence it is easy to realize that
where \(\mathcal {H}^{\textrm{n}-1}_E\) is the standard Hausdorff measure with respect to the Euclidean norm. We split the integral
as follows
By (83), the sets \(A_k\) are uniformly bounded in K, then the integrand of
is uniformly bounded by a summable function. By the dominated convergence theorem combined with (89), we obtain that \(J_k\rightarrow 0\) as \(k\rightarrow \infty \), therefore (86) gives
We notice that
as \(r\rightarrow 0\) uniformly on compact sets of \(\mathbb {R}^{\textrm{n}-1}\). We wish to simplify the expression of the previous limit. The vectors \(e_2,\dots ,e_\textrm{n}\) denote the canonical basis of \(\mathbb {R}^{\textrm{n}-1}\). Then, for every \(\eta \in I\) and every \(i=2,\dots , \textrm{n}\), one has
We are interested in computing
Notice that, by definition of F in (79), \(\textrm{d}F(0)(e_i)=X_i(p)\), which have been chosen orthonormal with respect to \(g_p\). As a consequence, we get
for every \(i,j=2,\dots , \textrm{n}\). Notice that the entry (i, j) of the matrix \(\textrm{d}\Phi (0)^*\textrm{d}\Phi (0)\) coincides with \(\partial _i\varphi (0)\partial _j\varphi (0)+\delta _{ij}\), therefore
By the implicit function theorem, one also gets
for every \(j=2,\dots ,\textrm{n}\). As consequence, considering also (77), we can write
We have proved that
uniformly on compact sets of \(\mathbb {R}^{\textrm{n}-1}\). Thus, combining (97) and the inequality
we obtain the upper estimate
where \(z_0\in {\widehat{\mathbb {B}}}_p(0,1)\) is such that
As a result, combining (94), (95), (96) and Definition 3.1, we get
It follows that
To prove the opposite inequality of (103), we consider the curve \(y_0^r= F(\delta _r z_0)\) of parameter \(r>0\) and fix \(\lambda >1\). For \(\varepsilon _0>0\) arbitrarily fixed, by Theorem 2.23, there exists \(r_0>0\) such that
whenever \(0<r<r_0\). By definition of \(y_0^r\), we have proved that \(y_0^r\in \mathbb {B}(p,r(1+\varepsilon _0))\) for \(0<r<r_0\). We arbitrarily choose \(0<r'<r_0\). This easily implies that
For arbitrary \(\varepsilon _1>0\), by Theorem 5.3, we can choose \(r'>0\) sufficiently small such that
The right-hand side of the previous inequality is less than or equal to
Thus, from the definition of Federer density, taking the limit as \(r'\rightarrow 0\), it follows that
The arbitrary choice of \(\varepsilon _0,\varepsilon _1>0\) gives
For \(r>0\) sufficiently small, we set
hence taking into account (82), we get
We wish to prove that
whenever \((0,w)\in (\{0\}\times \mathbb {R}^{\textrm{n}-1})\cap {\widehat{\mathbb {B}}}(z_0,\lambda _1)\), with \(1<\lambda _1<\lambda \). The extra parameter \(\lambda _1\) allows us to use the closed ball \({\widehat{\mathbb {B}}}_p(z_0,\lambda _1)\), since the definition (94) of \(S_z\) involves the closed ball. By contradiction, we assume that there exists an infinitesimal sequence \(r_k>0\) such that \(w\notin \Lambda _\lambda A_0^{r_k}\) for all \(k\in {\mathbb {N}}\). By definition of \(A_0^{r_k}\), we get
We know that \(\delta _{r_k}z_0\in {\widehat{\mathbb {B}}}_p(0,r_k)\) and that the limit (93) gives
therefore \(\Phi (\Lambda _{r_k}w)\in {\widehat{\mathbb {B}}}_p(0,\lambda r_k)\) for any k large enough. Then we may apply Theorem 2.22 with \(R=\lambda \) and for any fixed \(1<\lambda '<\lambda \), we get
for k sufficiently large. By (109) and the arbitrary choice of \(\lambda '<\lambda \), we conclude that
that is a contradiction with the initial assumption \((0,w)\in (\{0\}\times \mathbb {R}^{\textrm{n}-1})\cap {\widehat{\mathbb {B}}}_p(z_0,\lambda _1)\). We set
and apply Fatou’s lemma to (107), so that combining (106), (108) and (100), we get
Letting first \(\lambda _1\rightarrow \lambda ^-\) and then \(\lambda \rightarrow 1^+\), it follows that
Due to (102), the opposite inequality is also established, concluding the proof. \(\square \)
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Agrachev, A., Barilari, D., Boscain, U.: A comprehensive introduction to sub-Riemannian geometry. In: Cambridge Studies in Advanced Mathematics, vol. 181. Cambridge University Press, Cambridge (2020). From the Hamiltonian viewpoint, With an appendix by Igor Zelenko
Ambrosio, L.: Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces. Adv. Math. 159(1), 51–67 (2001)
Ambrosio, L.: Fine properties of sets of finite perimeter in doubling metric measure spaces. vol. 10, pp. 111–128 (2002). Calculus of variations, nonsmooth analysis and related topics
Ambrosio, L., Ghezzi, R., Magnani, V.: BV functions and sets of finite perimeter in sub-Riemannian manifolds. Ann. Inst. H. Poincaré Anal. Non Linéaire 32(3), 489–517 (2015)
Antonelli, G., Le Donne, E., Nicolussi Golo, S.: Lipschitz Carnot-Carathéodory structures and their limits. J. Dyn. Control Syst. 29, 805 (2022)
Bellaïche, A.: The tangent space in sub-Riemannian geometry. In: Sub-Riemannian Geometry, Progress in Mathematics. vol. 144, pp. 1–78. Birkhäuser, Basel (1996)
Bellaïche, A.: The tangent space in sub-Riemannian geometry. In: Dynamical Systems, vol. 83. pp. 461–476, 3 (1997)
Bramanti, M., Brandolini, L., Pedroni, M.: Basic properties of nonsmooth Hörmander’s vector fields and Poincaré’s inequality. Forum Math. 25(4), 703–769 (2013)
Burago, Y.D., Zalgaller, V.A.: Geometric inequalities, Grundlehren der Mathematischen Wissenschaften, vol. 285. Springer, Berlin (1988). Translated from the Russian by A. B. Sosinskiĭ, Springer Series in Soviet Mathematics
Caccioppoli, R.: Elementi di una teoria generale dell’integrazione \(k\)-dimensionale in uno spazio \(n\)-dimensionale. In: Atti del Quarto Congresso dell’Unione Matematica Italiana, Taormina, 1951, vol. II, pp. 41–49. Casa Editrice Perrella, Roma (1953)
Cesari, L.: Surface area. Annals of Mathematics Studies, No. 35. Princeton University Press, Princeton, NJ (1956)
Choi, W., Ponge, R.: Privileged coordinates and nilpotent approximation of Carnot manifolds, I. General results. J. Dyn. Control Syst. 25(1), 109–157 (2019)
Choi, W., Ponge, R.: Privileged coordinates and nilpotent approximation of Carnot manifolds, II. Carnot coordinates. J. Dyn. Control Syst. 25(4), 631–670 (2019)
Chow, B., Lu, P., Ni, L.: Hamilton’s Ricci flow. In: Graduate Studies in Mathematics, vol. 77. American Mathematical Society, Providence, RI; Science Press Beijing, New York (2006)
De Giorgi, E.: Nuovi teoremi relativi alle misure \((r-1)\)-dimensionali in uno spazio ad \(r\) dimensioni. Ric. Mat. 4, 95–113 (1955)
Don, S., Le Donne, E., Moisala, T., Vittone, D.: A rectifiability result for finite-perimeter sets in Carnot groups. Indiana Univ. Math. J. 71(5), 2233–2258 (2022)
Don, S., Vittone, D.: A compactness result for BV functions in metric spaces. Ann. Acad. Sci. Fenn. Math. 44(1), 329–339 (2019)
Don, S., Vittone, D.: Fine properties of functions with bounded variation in Carnot-Carathéodory spaces. J. Math. Anal. Appl. 479(1), 482–530 (2019)
Federer, H.: Surface Area. ProQuest LLC, Ann Arbor, MI (1944). Ph.D. Thesis, University of California, Berkeley
Federer, H.: Surface area I. Trans. Am. Math. Soc. 55, 420–437 (1944)
Federer, H.: Surface area II. Trans. Am. Math. Soc. 55, 438–456 (1944)
Federer, H.: On Lebesgue area. Ann. Math. 61(2), 289–353 (1955)
Fonseca, I., Gangbo, W.: Degree theory in analysis and applications. In: Oxford Lecture Series in Mathematics and its Applications, vol. 2. The Clarendon Press, Oxford University Press, Oxford Science Publications, New York (1995)
Franchi, B., Serapioni, R., Serra Cassano, F.: Rectifiability and perimeter in the Heisenberg group. Math. Ann. 321(3), 479–531 (2001)
Franchi, B., Serapioni, R., Serra Cassano, F.: On the structure of finite perimeter sets in step 2 Carnot groups. J. Geom. Anal. 13(3), 421–466 (2003)
Franchi, B., Serapioni, R.P., Serra Cassano, F.: Area formula for centered Hausdorff measures in metric spaces. Nonlinear Anal. 126, 218–233 (2015)
Ghezzi, R., Jean, F.: Hausdorff measure and dimensions in non equiregular sub-Riemannian manifolds. In: Geometric control theory and sub-Riemannian geometry, Springer INdAM Series, vol. 5, pp. 201–218. Springer, Cham (2014)
Ghezzi, R., Jean, F.: Hausdorff volume in non equiregular sub-Riemannian manifolds. Nonlinear Anal. 126, 345–377 (2015)
Ghezzi, R., Jean, F.: On measures in sub-Riemannian geometry. Sém. Théor. Spectr. Géom. 33, 17–46 (2015)
Goodman, R.W.: Nilpotent Lie Groups: Structure and Applications to Analysis. Lecture Notes in Mathematics, vol. 562. Springer, Berlin, New York (1976)
Jean, F.: Uniform estimation of sub-Riemannian balls. J. Dyn. Control Syst. 7(4), 473–500 (2001)
Jean, F.: Control of Nonholonomic Systems: from sub-Riemannian Geometry to Motion Planning. Springer Briefs in Mathematics. Springer, Cham (2014)
Le Donne, E., Ottazzi, A., Warhurst, B.: Ultrarigid tangents of sub-Riemannian nilpotent groups. Ann. Inst. Fourier (Grenoble) 64(6), 2265–2282 (2014)
Leccese, G., Magnani, V.: A study of measure-theoretic area formulas. Ann. Mat. Pur Appl. 201(3), 1505–1524 (2022)
Lloyd, N.G.: Degree Theory. Cambridge Tracts in Mathematics, vol. 73. Cambridge University Press, Cambridge, New York, Melbourne (1978)
Magnani, V.: Characteristic points, rectifiability and perimeter measure on stratified groups. J. Eur. Math. Soc. 8(4), 585–609 (2006)
Magnani, V.: A new differentiation, shape of the unit ball, and perimeter measure. arXiv:1408.4726v1 (2014)
Magnani, V.: On a measure-theoretic area formula. arXiv:1401.2536v1 (2014)
Magnani, V.: On a measure-theoretic area formula. Proc. R. Soc. Edinb. Sect. A 145, 885–891 (2015)
Magnani, V.: A new differentiation, shape of the unit ball, and perimeter measure. Indiana Univ. Math. J. 66(1), 183–204 (2017)
Magnani, V.: Towards a theory of area in homogeneous groups. Calc. Var. Partial Differ. Equ. 58(3), 58–91 (2019)
Magnani, V.: Rotational symmetries and spherical measure in homogeneous groups. J. Geom. Anal. 32(4), 119 (2022)
Marchi, M.: Regularity of sets with constant intrinsic normal in a class of Carnot groups. Ann. Inst. Fourier (Grenoble) 64(2), 429–455 (2014)
Margulis, G.A., Mostow, G.D.: Some remarks on the definition of tangent cones in a Carnot–Carathéodory space. J. Anal. Math. 80, 299–317 (2000)
Métivier, G.: Fonction spectrale et valeurs propres d’une classe d’opérateurs non elliptiques. Commun. Partial Differ. Equ. 1(5), 467–519 (1976)
Mitchell, J.: On Carnot–Carathéodory metrics. J. Differ. Geom. 21(1), 35–45 (1985)
Monti, R., Pigati, A., Vittone, D.: On tangent cones to length minimizers in Carnot–Carathéodory spaces. SIAM J. Control Optim. 56(5), 3351–3369 (2018)
Nagel, A., Stein, E.M., Wainger, S.: Balls and metrics defined by vector fields I. Basic properties. Acta Math. 155(1–2), 103–147 (1985)
Pansu, P.: Geometrie du group d’heisenberg. These pour le titre de Doctour 3éme cycle, Université Paris VII (1982)
Radó, T.: Length and Area, vol. 30. American Mathematical Society, American Mathematical Society Colloquium Publications, New York (1948)
Rothschild, L.P., Stein, E.M.: Hypoelliptic differential operators and nilpotent groups. Acta Math. 137(3–4), 247–320 (1976)
Tu, L.W.: An Introduction to Manifolds, Universitext, 2nd edn. Springer, New York (2011)
Varčenko, A.N.: Obstructions to local equivalence of distributions. Mat. Zamet. 29(6), 939–947, 957 (1981)
Acknowledgements
It is a pleasure to thank Davide Barilari, Antonio Lerario and Luca Rizzi for helpful comments and interesting discussions. We also thank Gioacchino Antonelli for useful comments.
Funding
Open access funding provided by Università di Pisa within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
S.D. was 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’). S.D. was also partially supported by the Swiss National Foundation grant 200020_191978.
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
Don, S., Magnani, V. Surface measure on, and the local geometry of, sub-Riemannian manifolds. Calc. Var. 62, 254 (2023). https://doi.org/10.1007/s00526-023-02590-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02590-8