Normal forms for the endpoint map near nice singular curves for rank-two distributions
ESAIM: Control, Optimisation and Calculus of Variations, Tome 27 (2021), article no. S30

Given a rank-two sub-Riemannian structure (M, Δ) and a point x0 ∈ M, a singular curve is a critical point of the endpoint map F : γ ↦ γ (1) defined on the space of horizontal curves starting at x0. The typical least degenerate singular curves of these structures are called regular singular curves; they are nice if their endpoint is not conjugate along γ. The main goal of this paper is to show that locally around a nice singular curve γ, once we choose a suitable topology on the control space we can find a normal form for the endpoint map, in which F writes essentially as a sum of a linear map and a quadratic form. This is a preparation for a forthcoming generalization of the Morse theory to rank-two sub-Riemannian structures.

DOI : 10.1051/cocv/2020089
Classification : 53C17, 58K50, 58K05
Keywords: Sub-Riemannian geometry, abnormals, endpoint mapping, normal forms
@article{COCV_2021__27_S1_A31_0,
     author = {Agrachev, Andrei A. and Boarotto, Francesco},
     title = {Normal forms for the endpoint map near nice singular curves for rank-two distributions},
     journal = {ESAIM: Control, Optimisation and Calculus of Variations},
     year = {2021},
     publisher = {EDP-Sciences},
     volume = {27},
     doi = {10.1051/cocv/2020089},
     mrnumber = {4222153},
     zbl = {1470.53029},
     language = {en},
     url = {https://www.numdam.org/articles/10.1051/cocv/2020089/}
}
TY  - JOUR
AU  - Agrachev, Andrei A.
AU  - Boarotto, Francesco
TI  - Normal forms for the endpoint map near nice singular curves for rank-two distributions
JO  - ESAIM: Control, Optimisation and Calculus of Variations
PY  - 2021
VL  - 27
PB  - EDP-Sciences
UR  - https://www.numdam.org/articles/10.1051/cocv/2020089/
DO  - 10.1051/cocv/2020089
LA  - en
ID  - COCV_2021__27_S1_A31_0
ER  - 
%0 Journal Article
%A Agrachev, Andrei A.
%A Boarotto, Francesco
%T Normal forms for the endpoint map near nice singular curves for rank-two distributions
%J ESAIM: Control, Optimisation and Calculus of Variations
%D 2021
%V 27
%I EDP-Sciences
%U https://www.numdam.org/articles/10.1051/cocv/2020089/
%R 10.1051/cocv/2020089
%G en
%F COCV_2021__27_S1_A31_0
Agrachev, Andrei A.; Boarotto, Francesco. Normal forms for the endpoint map near nice singular curves for rank-two distributions. ESAIM: Control, Optimisation and Calculus of Variations, Tome 27 (2021), article no. S30. doi: 10.1051/cocv/2020089

[1] A. A. Agračev and R. V. Gamkrelidze, Exponential representation of flows and a chronological enumeration. Mat. Sb. (N.S.) 107 (1978) 467–532, 639. | MR | Zbl

[2] A. Agrachev, D. Barilari and U. Boscain, A Comprehensive Introduction to Sub-Riemannian Geometry. Cambridge Studies in Advanced Mathematics. Cambridge University Press (2019). | MR | Zbl

[3] A. A. Agrachev, Some open problems. In Geometric control theory and sub-Riemannian geometry. Vol. 5 of Springer INdAM Ser.. Springer, Cham (2014) 1–13. | MR | Zbl

[4] A. A. Agrachev, F. Boarotto and A. Lerario, Homotopically invisible singular curves. Calc. Var. Partial Differ. Equ. 56 (2017) 105. | MR | Zbl | DOI

[5] A. A. Agrachev and Y. L. Sachkov, Control theory from the geometric viewpoint. Control Theory and Optimization, II. Vol. 87 of Encyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin (2004). | MR | Zbl

[6] A. A. Agrachev and A. V. Sarychev, Strong minimality of abnormal geodesics for 2 -distributions. J. Dyn. Control Syst. 1 (1995) 139–176. | MR | Zbl | DOI

[7] A. A. Agrachev and A. V. Sarychev, Abnormal sub-Riemannian geodesics: Morse index and rigidity. Ann. Inst. Henri Poincaré Anal. Non Linéaire 13 (1996) 635–690. | MR | Zbl | Numdam | DOI

[8] F. Boarotto and A. Lerario, Homotopy properties of horizontal path spaces and a theorem of Serre in subriemannian geometry. Commun. Anal. Geom. 25 (2017) 269–301. | MR | Zbl | DOI

[9] Y. Chitour, F. Jean and E. Trélat, Genericity results for singular curves. J. Differ. Geom. 73 (2006) 45–73. | MR | Zbl | DOI

[10] V. Gershkovich, On simplest Engel structures on 4-manifolds. In Dynamical systems and applications. Vol. 4 of World Sci. Ser. Appl. Anal. World Sci. Publ., River Edge, NJ (1995) 279–294. | MR | Zbl

[11] M. R. Hestenes, Applications of the theory of quadratic forms in Hilbert space to the calculus of variations. Pacific J. Math. 1 (1951) 525–581. | MR | Zbl | DOI

[12] F. Hirsch and G. Lacombe, Elements of functional analysis. Translated fromthe 1997 French original by Silvio Levy. Vol. 192 of Graduate Texts in Mathematics. Springer-Verlag, New York (1999). | MR | Zbl

[13] L. Hsu, Calculus of variations via the Griffiths formalism. J. Differ. Geom. 36 (1992) 551–589. | MR | Zbl

[14] W. Liu and H. J. Sussmann, Shortest paths for sub-Riemannian metrics on rank-two distributions. Mem. Am. Math. Soc. 118 (1995). | MR | Zbl

[15] R. Montgomery, Abnormal minimizers. SIAM J. Control Optim. 32 (1994) 1605–1620. | MR | Zbl | DOI

[16] R. Montgomery, A tour of subriemannian geometries, their geodesics and applications. Vol. 91 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2002). | MR | Zbl

[17] J. Moser, On the volume elements on a manifold. Trans. Am. Math. Soc. 120 (1965) 286–294. | MR | Zbl | DOI

[18] L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze and E. F. Mishchenko, The mathematical theory of optimal processes. Translated by D. E. Brown. A Pergamon Press Book. The Macmillan Co., New York (1964). | MR

[19] L. Rifford, Sub-Riemannian geometry and optimal transport. Springer Briefs in Mathematics. Springer, Cham (2014). | MR | Zbl | DOI

[20] A. V. Saryčev, Index of second variation of a control system. Mat. Sb. (N.S.) 113 (1980) 464–486. | MR

[21] H. J. Sussmann, A cornucopia of four-dimensional abnormal sub-Riemannian minimizers. In Sub-Riemannian geometry. Vol. 144 of Progr. Math. Birkhäuser, Basel (1996) 341–364. | MR | Zbl

[22] E. Trélat, Some properties of the value function and its level sets for affine control systems with quadratic cost. J. Dyn. Control Syst. 6 (2000) 511–541. | MR | Zbl | DOI

Cité par Sources :

F.B. has been supported by the ANR SRGI (reference ANR-15-CE40-0018), and by the University of Padova STARS Project “Sub-Riemannian Geometry and Geometric Measure Theory Issues: Old and New”.

F.B. and A.A.A. warmly thank the anonymous reviewer for the care paid in the revision process. Many parts of this text have been significantly polished and simplified thanks to his/her suggestions.