We construct a canonically defined affine connection in sub-Riemannian contact geometry. Our method mimics that of the Levi-Civita connection in Riemannian geometry. We compare it with the Tanaka-Webster connection in the three-dimensional case.
We apply the well-known homotopy continuation method to address the motion planning problem (MPP) for smooth driftless control-affine systems. The homotopy continuation method is a Newton-type procedure to effectively determine functions only defined implicitly. That approach requires first to characterize the singularities of a surjective map and next to prove global existence for the solution of an ordinary differential equation, the Wazewski equation. In the context of the MPP, the aforementioned...
We apply the well-known homotopy continuation method to address the motion planning problem (MPP) for smooth driftless control-affine systems. The homotopy continuation method is a Newton-type procedure to effectively determine functions only defined implicitly. That approach requires first to characterize the singularities of a surjective map and next to prove global existence for the solution of an ordinary differential equation, the Wazewski equation. In the context of the MPP, the aforementioned...
For an equiregular sub-Riemannian manifold M, Popp’s volume is a smooth volume which is canonically associated with the sub-Riemannian structure, and it is a natural generalization of the Riemannian one. In this paper we prove a general formula for Popp’s volume, written in terms of a frame adapted to the sub-Riemannian distribution. As a first application of this result, we prove an explicit formula for the canonical sub- Laplacian, namely the one associated with Popp’s volume. Finally, we discuss...
Let f : G → H be a Lipschitz map between two Carnot groups. We show that if B is a ball of G, then there exists a subset Z ⊂ B, whose image in H under f has small Hausdorff content, such that BZcan be decomposed into a controlled number of pieces, the restriction of f on each of which is quantitatively biLipschitz. This extends a result of [14], which proved the same result, but with the restriction that G has an appropriate discretization. We provide an example of a Carnot group not admitting such...
We obtain a blow-up theorem for regular submanifolds in the Heisenberg group, where intrinsic dilations are used. Main consequence of this result is an explicit formula for the density of (p+1)-dimensional spherical Hausdorff measure restricted to a p-dimensional submanifold with respect to the Riemannian surface measure. We explicitly compute this formula in some simple examples and we present a lower semicontinuity result for the spherical Hausdorff measure with respect to the weak convergence...
We establish an explicit connection between the perimeter measure of an open set with boundary and the spherical Hausdorff measure restricted to , when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of is less than or equal to up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli, Garofalo...
The left-invariant sub-Riemannian problem on the group of motions (rototranslations) of a plane SE(2) is studied. Local and global optimality of extremal trajectories is characterized. Lower and upper bounds on the first conjugate time are proved. The cut time is shown to be equal to the first Maxwell time corresponding to the group of discrete symmetries of the exponential mapping. Optimal synthesis on an open dense subset of the state space is described.
We provide a generalization of continued fractions to the Heisenberg group. We prove an explicit estimate on the rate of convergence of the infinite continued fraction and several surprising analogs of classical formulas about continued fractions.
These notes give an introduction to the equivalence problem of sub-Riemannian manifolds. We first introduce preliminaries in terms of connections, frame bundles and sub-Riemannian geometry. Then we arrive to the main aim of these notes, which is to give the description of the canonical grading and connection existing on sub-Riemann manifolds with constant symbol. These structures are exactly what is needed in order to determine if two manifolds are isometric. We give three concrete examples, which...
The left-invariant sub-Riemannian problem on the group of motions (rototranslations) of a plane SE(2) is considered. In the previous works [Moiseev and Sachkov, ESAIM: COCV, DOI: 10.1051/cocv/2009004; Sachkov, ESAIM: COCV, DOI: 10.1051/cocv/2009031], extremal trajectories were defined, their local and global optimality were studied. In this paper the global structure of the exponential mapping is described. On this basis an explicit characterization of the cut locus and Maxwell set is obtained....
The left-invariant sub-Riemannian problem on the group of motions (rototranslations) of a plane SE(2) is considered. In the previous works [Moiseev and Sachkov, ESAIM: COCV, DOI: 10.1051/cocv/2009004; Sachkov, ESAIM: COCV, DOI: 10.1051/cocv/2009031], extremal trajectories were defined, their local and global optimality were studied. In this paper the global structure of the exponential mapping is described. On this basis an explicit characterization of the cut locus and Maxwell set is obtained....
A Carnot group G is a connected, simply connected, nilpotent Lie group with stratified Lie algebra. We study intrinsic Lipschitz graphs and intrinsic differentiable graphs within Carnot groups. Both seem to be the natural analogues inside Carnot groups of the corresponding Euclidean notions. Here ‘natural’ is meant to stress that the intrinsic notions depend only on the structure of the algebra of G. We prove that one codimensional intrinsic Lipschitz graphs are sets with locally finite G-perimeter....