arXiv subjects
Publications and source records attributed to Daniele Morbidelli.
In the free, step-2, rank-4 sub-Riemannian Carnot group, we give a clean expression for length-extremals, we provide an explicit equation for conjugate points, we relate it with the conjectured cut-locus of the origin. Finally, we give some upper estimates for the cut-time of extremals.
We study the subRiemannian cut time and cut locus of a given point in a class of step-2 Carnot groups of Reiter-Heisenberg type. Following the Hamiltonian point of view, we write and analyze extremal curves, getting the cut time of any of them, and a precise description of the set of cut points.
A subset of a Carnot group is said to be precisely monotone if the restriction of its characteristic function to each integral curve of every left-invariant horizontal vector field is monotone. Equivalently, a precisely monotone set is a h-convex set with h-convex complement. Such sets have been introduced and classified in the Heisenberg setting by Cheeger and Kleiner in the 2010's. In the present paper, we study precisely monotone sets in the wider setting of step-2 Carnot groups, equivalently step-2 Carnot algebras. In addition to general properties, we prove a classification in step-2 rank-3 Carnot algebras that generalizes the classification already known in the Heisenberg setting using sublevel sets of h-affine functions. A significant novelty is that such sublevel sets can be different from half-spaces.
In this paper we introduce the notion of horizontally affine, h-affine in short, function and give a complete description of such functions on step-2 Carnot algebras. We show that the vector space of h-affine functions on the free step-2 rank-$n$ Carnot algebra is isomorphic to the exterior algebra of $\mathbb{R}^n$. Using that every Carnot algebra can be written as a quotient of a free Carnot algebra, we shall deduce from the free case a description of h-affine functions on arbitrary step-2 Carnot algebras, together with several characterizations of those step-2 Carnot algebras where h-affine functions are affine in the usual sense of vector spaces. Our interest for h-affine functions stems from their relationship with a class of sets called precisely monotone, recently introduced in the literature, as well as from their relationship with minimal hypersurfaces.
We analyze some properties of a class of multiexponential maps appearing naturally in the geometric analysis of Carnot groups. We will see that such maps can be useful in at least two interesting problems. First, in relation to the analysis of some regularity properties of horizontally convex sets. Then, we will show that our multiexponential maps can be used to prove the Pansu differentiability of the subRiemannian distance from a fixed point.
We discuss some estimates of subelliptic type related with vector fields satisfying the Hörmander condition. Our approach makes use of a class of approximate exponentials maps. Such kind of estimates arises naturally in the study of regularity theory of weak solutions of degenerate elliptic equations.
Given the pair of vector fields $X=\partial_x+|z|^{2m}y\partial_t$ and $ Y=\partial_y-|z|^{2m}x \partial_t,$ where $(x,y,t)= (z,t)\in\mathbb{R}^3=\mathbb{C}\times\mathbb{R}$, we give a condition on a bounded domain $Ω\subset\mathbb{R}^3$ which ensures that $Ω$ is an $(ε,δ)$-domain for the Carnot-Carathéodory metric. We also analyze the Ahlfors regularity of the natural surface measure induced at the boundary by the vector fields.
In the setting of step two Carnot groups, we show a "cone property" for horizontally convex sets. Namely we prove that, given a horizontally convex set $C$, a pair of points $P\in \partial C$ and $Q\in $ int $C$, both belonging to a horizontal line $\ell$, then an open truncated subRiemannian cone around $\ell$ and with vertex at $P$ is contained in $C$. We apply our result to the problem of classification of horizontally monotone sets in Carnot groups. We are able to show that monotone sets in the direct product $\mathbb{H} \times\mathbb{R}$ of the Heisenberg group with the real line have hyperplanes as boundaries.
In $\mathbb{R}^3$ we consider the vector fields \[ X_1 =\frac{ \partial }{\partial x},\qquad X_2 =\frac{ \partial }{\partial y}+ |x|^α\frac{ \partial }{\partial z}, \] where $α\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+ =\{(x,y,z)\in\mathbb{R}^3: z\geq 0\}$ be the (closed) upper half-space and let $f\in C^1 ( \mathbb{R} ^3_+ )$ be a function such that $X_1f, X_2f \in L^ p(\mathbb{R}^3_+)$ for some $p>1$. In this paper, we prove that the restriction of $f$ to the plane $z=0$ belongs to a suitable Besov space that is defined using the Carnot-Carathéodory metric associated with $X_1$ and $X_2$ and the related perimeter measure.
We characterize the subRiemannian cut locus of the origin in the free Carnot group of step two with three generators. We also calculate explicitly the cut time of any extremal path and the distance from the origin of all points of the cut locus. Finally, by using the Hamiltonian approach, we show that the cut time of strictly normal extremal paths is a smooth explicit function of the initial velocity covector. Finally, using our previous results, we show that at any cut point the distance has a corner-like singularity.
We show by explicit estimates that the SubRiemannian distance in a Carnot group of step two is locally semiconcave away from the diagonal if and only if the group does not contain abnormal minimizing curves. Moreover, we prove that local semiconcavity fails to hold in the step-3 Engel group, even in the weaker "horizontal" sense.
We prove a quantitative openness theorem for $C^1$ submersions under suitable assumptions on the differential. We then apply our result to a class of exponential maps appearing in Carnot-Carathéodory spaces and we improve a classical completeness result by Palais.
We prove a Frobenius-type theorem for singular distributions generated by a family of locally Lipschitz continuous vector fields satisfying almost everywhere a quantitative finite type condition.
We consider a family of $C^1$ vector fields satisfying a suitable higher order involutivity condition. We discuss the definition of commutators, the regularity of Sussmann's orbits and the Poincaré inequality.
We show a higher order integrability theorem for distributions generated by a family of vector fields under a horizontal regularity assumption on their coefficients. We use as chart a class of almost exponential maps which we discuss in details
We consider a family of vector fields and we assume a horizontal regularity on their derivatives. We discuss the notion of commutator showing that different definitions agree. We apply our results to the proof of a ball-box theorem and Poincaré inequality for nonsmooth Hörmander vector fields.
We prove a ball-box theorem for nonsmooth Hormander vector fields of step s.
We discuss the problem of classifying all local CR diffeomorphisms of a strictly pseudoconvex surface. Our method exploits the Tanaka--Webster pseudohermitian invariants, their transformation formulae, and the Chern--Moser invariants. Our main application concerns a class of generalized ellipsoids where we classify all local CR mappings.