We establish an explicit connection between the perimeter measure of an open set $E$ with $C^1$ boundary and the spherical Hausdorff measure $S^{Q-1}$ restricted to $\partial E$, when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q-1}\left(\partial E\right)$ 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....