Abstract
We consider the nilpotent left-invariant sub-Riemannian structure on the Engel group. This structure gives a fundamental local approximation of a generic rank 2 sub-Riemannian structure on a 4-manifold near a generic point (in particular, of the kinematic models of a car with a trailer). On the other hand, this is the simplest sub-Riemannian structure of step three. We describe the global structure of the cut locus (the set of points where geodesics lose their global optimality), the Maxwell set (the set of points that admit more than one minimizer), and the intersection of the cut locus with the caustic (the set of conjugate points along all geodesics). The group of symmetries of the cut locus is described: it is generated by a one-parameter group of dilations R+ and a discrete group of reflections Z2 × Z2 × Z2. The cut locus admits a stratification with 6 three-dimensional strata, 12 two-dimensional strata, and 2 one-dimensional strata. Three-dimensional strata of the cut locus are Maxwell strata of multiplicity 2 (for each point there are 2 minimizers). Two-dimensional strata of the cut locus consist of conjugate points. Finally, one-dimensional strata are Maxwell strata of infinite multiplicity, they consist of conjugate points as well. Projections of sub-Riemannian geodesics to the 2-dimensional plane of the distribution are Euler elasticae. For each point of the cut locus, we describe the Euler elasticae corresponding to minimizers coming to this point. Finally, we describe the structure of the optimal synthesis, i. e., the set of minimizers for each terminal point in the Engel group.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Agrachev, A.A. and Sachkov, Yu. L., Control Theory from the Geometric Viewpoint, Encyclopaedia Math. Sci., vol. 87, Berlin: Springer, 2004.
Agrachev, A.A., Barilari, D., and Boscain, U., Introduction to Riemannian and Sub-Riemannian Geometry: Preprint SISSA 09/2012/M, https://webusers.imj-prg.fr/~davide. barilari/2017-11-17-ABB.pdf (Version Nov 17, 2017).
Ardentov, A.A. and Sachkov, Yu. L., Extremal Trajectories in the Nilpotent Sub-Riemannian Problem on the Engel Group, Sb. Math., 2011, vol. 202, nos. 11–12, pp. 1593–1615; see also: Mat. Sb., 2011, vol. 202, no. 11, pp. 31–54.
Ardentov, A.A. and Sachkov, Yu. L., Conjugate Points in Nilpotent Sub-Riemannian Problem on the Engel Group, J. Math. Sci. (N. Y.), 2013, vol. 195, no. 3, pp. 369–390.
Ardentov, A.A. and Sachkov, Yu. L., Cut Time in Sub-Riemannian Problem on Engel Group, ESAIM Control Optim. Calc. Var., 2015, vol. 21, no. 4, pp. 958–988.
Euler, L., Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes, sive solutio problematis isoperimitrici latissimo sensu accepti, Lausanne: Bousquet, 1744.
Love, A. E.H., A Treatise on the Mathematical Theory of Elasticity, 4th ed., New York: Dover, 1944.
Sachkov, Yu. L., Complete Description of Maxwell Strata in the Generalized Dido Problem, Sb. Math., 2006, vol. 197, nos. 5–6, pp. 901–950; see also: Mat. Sb., 2006, vol. 197, no. 6, pp. 111–160.
Whittaker, E.T. and Watson, G.N., A Course of Modern Analysis: An Introduction to the General Theory of Infinite Processes and of Analytic Functions: With an Account of the Principal Transcendental Functions, 4th ed., New York: Cambridge Univ. Press, 1962.
Krantz, S.G. and Parks, H.R., The Implicit Function Theorem: History, Theory, and Applications, Basel: Birkhäuser, 2003.
Arnold, V. I., Gusein-Zade, S. M., and Varchenko, A. N., Singularities of Differentiable Maps: Vol. 1. Classification of Critical Points, Caustics and Wave Fronts, Modern Birkhäuser Classics, New York: Birkhäuser/Springer, 2012.
Arnold, V. I., Gusein-Zade, S. M., and Varchenko, A. N., Singularities of Differentiable Maps: Vol. 2. Monodromy and Asymptotics of Integrals, Modern Birkhäuser Classics, New York: Birkhäuser/Springer, 2012.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ardentov, A.A., Sachkov, Y.L. Maxwell Strata and Cut Locus in the Sub-Riemannian Problem on the Engel Group. Regul. Chaot. Dyn. 22, 909–936 (2017). https://doi.org/10.1134/S1560354717080020
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1560354717080020
Keywords
- sub-Riemannian geometry
- optimal control
- Engel group
- Maxwell strata
- cut locus
- mobile robot
- Euler’s elasticae