Why are normal sub-Riemannian extremals locally minimizing?

Abstract

It is well-known that normal extremals in sub-Riemannian geometry are curves which locally minimize the energy functional. Most proofs of this fact do not make, however, an explicit use of relations between local optimality and the geometry of the problem. In this paper, we provide a new proof of that classical result, which gives insight into direct geometric reasons of local optimality. Also the relation of the regularity of normal extremals with their optimality becomes apparent in our approach.

Small corrections. Watch on YT: https://youtu.be/K3HApRo-V_s 14 pages, 1 figure. Comments are wellcome

References in corpus (1)

• A contact covariant approach to optimal control with applications to sub-Riemannian geometry

Cited by in corpus (2)

• New second-order optimality conditions in sub-Riemannian Geometry
• Higher derivatives of the end-point map of a linear control system via adapted coordinates