New second-order optimality conditions in sub-Riemannian Geometry
Abstract
We study the geometry of the second-order expansion of the extended end-point map for the sub-Riemannian geodesic problem. Translating the geometric reality into equations we derive new second-order necessary optimality conditions in sub-Riemannian Geometry. In particular, we find an ODE for velocity of an abnormal sub-Riemannian geodesics. It allows to divide abnormal minimizers into two classes, which we propose to call 2-normal and 2-abnormal extremals. In the 2-normal case the above ODE completely determines the velocity of a curve, while in the 2-abnormal case the velocity is undetermined at some, or at all points. With some enhancement of the presented results it should be possible to prove the regularity of all 2-normal extremals (the 2-abnormal case seems to require study of higher-order conditions) thus making a step towards solving the problem of smoothness of sub-Riemannian abnormal geodesics. As a by-product we present a new derivation of Goh conditions. We also prove that the assumptions weaker than these used in [Boarotto, Monti, Palmurella, 2020] to derive third-order Goh conditions, imply piece-wise-$C^2$ regularity of an abnormal extremal.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2021
- DOI:
- 10.48550/arXiv.2201.00041
- arXiv:
- arXiv:2201.00041
- Bibcode:
- 2022arXiv220100041J
- Keywords:
-
- Mathematics - Differential Geometry;
- Mathematics - Optimization and Control;
- 53C17;
- 49K15
- E-Print:
- Vastly improved presentation and proof, to appear in ESAIM Control Optim. Calc. Var