Abstract

A 3D almost-Riemannian manifold is a generalized Riemannian manifold defined locally by 3 vector fields that play the role of an orthonormal frame, but could become collinear on some set $\Zz$ called the singular set. Under the Hormander condition, a 3D almost-Riemannian structure still has a metric space structure, whose topology is compatible with the original topology of the manifold. Almost-Riemannian manifolds were deeply studied in dimension 2. In this paper we start the study of the 3D case which appear to be reacher with respect to the 2D case, due to the presence of abnormal extremals which define a field of directions on the singular set. We study the type of singularities of the metric that could appear generically, we construct local normal forms and we study abnormal extremals. We then study the nilpotent approximation and the structure of the corresponding small spheres. We finally give some preliminary results about heat diffusion on such manifolds.

Highlights

  • A n-dimensional Almost Riemannian Structure (n-ARS for short) is a rank-varying sub-Riemannian structure that can be locally defined by a set of n smooth vector fields on a n-dimensional manifold, satisfying the Hormander condition

  • More precisely we prove that the following properties hold under generic conditions1 (G1) the dimension of (q) is larger than or equal to 2 and q ∈ M; 1for the precise definition of generic see Definition 7 (q) + [, ](q) = TqM, for every

  • When the n-ARS is trivializable, the problem of finding a curve minimizing the energy between two fixed points q0, q1 ∈ M is naturally formulated as the distributional optimal control problem with quadratic cost and fixed final time nT n q = uiXi(q), ui ∈ R, u2i (t) dt → min, q(0) = q0, q(T ) = q1

Read more

Summary

Introduction

A n-dimensional Almost Riemannian Structure (n-ARS for short) is a rank-varying sub-Riemannian structure that can be locally defined by a set of n (and not by less than n) smooth vector fields on a n-dimensional manifold, satisfying the Hormander condition (see for instance [2, 12, 31, 39]). The simplest example of analytic sub-Riemannian structure for which there are abnormal minimisers and for which the “sum of the square” is not analytic hypoelliptic is provided by a 3-ARS, namely the Baouendi-Goulaouic example, defined by the following three vector fields: 0. For this structure, the trajectory (0, y0 + t, 0) is an abnormal minimizer and the Green functions of the operator. The nilpotent approximation at a type-2 point is the Heisenberg sub-Riemannian structure and is not a 3-ARS. Appendix B contains the explicit construction of the heat kernel for ∆L

Basic Definitions
Minimizers and geodesics
Local Representations
Proof of Theorem 2
Abnormal extremals
Nilpotent approximations
Conjugate time in the nilpotent cases
Some numerical simulations describing the conjugate locus
Cut locus in the nilpotent cases
Images of the balls in the nilpotent cases
Some Remarks on the heat diffusion
Thom Transversality Theorem
Proof of Proposition 1
Findings
B Explicit expressions of heat kernels
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.