Abstract
Global optimality analysis in sub-Riemannian problem on the Lie group SH(2) is considered. We cutout open dense domains in the preimage and in the image of the exponential mapping based on the description of Maxwell strata. We then prove that the exponential mapping restricted to these domains is a diffeomorphism. Based on the proof of diffeomorphism, the cut time, i.e., time of loss of global optimality, is computed on SH(2). We also consider the global structure of the exponential mapping and obtain an explicit description of cut locus and optimal synthesis.
Similar content being viewed by others
References
Butt, YA, YL Sachkov, and AI Bhatti. 2014. Extremal trajectories and Maxwell strata in sub-Riemannian problem on group of motions of pseudo-Euclidean plane. J Dyn Control Syst 20 (3): 341–364.
Butt, YA, AI Bhatti, and YL Sachkov. 2015. Integrability by quadratures in optimal control of a unicycle on hyperbolic plane. American control conference, Chicago Illionis 4251–4256.
Agrachev, AA, and YL Sachkov.2004. Control theory from the geometric viewpoint. Springer.
Moiseev, I, and YL Sachkov. 2010. Maxwell strata in sub-Riemannian problem on the group of motions of a plane. ESAIM: COCV 16: 380–399.
Sachkov, YL. 2010. Conjugate and cut time in the sub-Riemannian problem on the group of motions of a plane. ESAIM: COCV 16: 1018–1039.
Sachkov YL. Complete description of the Maxwell strata in the generalized Dido problem. English translation in Sbornik Mathematics, 2006. 901–950.
Ardentov, AA, and YL Sachkov. 2015. Cut time in sub-Riemannian problem on Engel group. ESAIM:COCV 21 (4): 958–988.
Butt, YA, YL Sachkov, and AI Bhatti. 2016. Maxwell strata and conjugate points in the sub-Riemannian problem on the Lie group SH(2). J Dyn Control Syst. Accepted.
Sachkov, YL. 2011. Cut locus and optimal synthesis in the sub-Riemannian problem on the group of motions of a plane. ESAIM: COCV 17: 293–321.
Vilenkin, NJ. 1968. Special Functions and Theory of Group Representations (Translations of Mathematical Monographs). American Mathematical Society revised edition.
Sachkov, YL. 2009. Control theory on Lie groups. J Math Sci 156 (3): 381–439.
Chow, WL. 1940. Uber Systeme von linearen partiellen Dierentialgleichungen erster Ordnung. Math Ann 117: 98–105.
Rashevsky, PK. 1938. Any two points of a totally nonholonomic space may be connected by an admissible line. Uch Zap Ped Inst Im Liebknechta 2: 83–94.
Krantz, SG, and HR Parks. 2001. The implicit function theorem: history, theory and applications Birkauser.
Gradshteyn, IS, and IM Ryzhik.2007. Table of Integrals, Series, and Products. 7th edn, Vol. 2007. Academic Press.
Agrachev, AA, D Barilari, and U Boscain. 2014. Introduction to Riemannian and Sub-Riemannian geometry (from Hamiltonian viewpoint). Preprint SISSA.
Acknowledgments
We are grateful to the anonymous reviewers for valuable comments that improved presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Butt, Y.A., Sachkov, Y.L. & Bhatti, A.I. Cut Locus and Optimal Synthesis in Sub-Riemannian Problem on the Lie Group SH(2). J Dyn Control Syst 23, 155–195 (2017). https://doi.org/10.1007/s10883-016-9337-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10883-016-9337-4
Keywords
- Sub-Riemannian geometry
- Special hyperbolic group SH(2)
- Maxwell points
- Cut time
- Conjugate time
- Optimal synthesis