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.
We study local and global optimality of geodesics in the left invariant sub-Riemannian problem on the Lie group SH(2). We obtain the complete description of the Maxwell points corresponding to the discrete symmetries of the vertical subsystem of the Hamiltonian system. An effective upper bound on the cut time is obtained in terms of the first Maxwell times. We study the local optimality of extremal trajectories and prove the lower and upper bounds on the first conjugate times. We also obtain the generic time interval for the nth conjugate time which is important in the study of sub-Riemannian wavefront. Based on our results of n-th conjugate time and n-th Maxwell time, we prove a generalization of Rolle's theorem that between any two consecutive Maxwell points, there is exactly one conjugate point along any geodesic.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.