On Sub-Riemannian Geodesics in SE(3) whose spatial projections do not have cusps

R. Duits, A. Ghosh, T.C.J. Dela Haije, A. Mashtakov

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
96 Downloads (Pure)

Abstract

We consider the problem Pcurve of minimizing (Formula presented.) for a curve x in (Formula presented.) with fixed boundary points and directions. Here, the total length L≥0 is free, s denotes the arclength parameter, κ denotes the absolute curvature of x, and ξ>0 is constant. We lift problem Pcurve on (Formula presented.) to a sub-Riemannian problem Pmec on SE(3)/({0}×SO(2)). Here, for admissible boundary conditions, the spatial projections of sub-Riemannian geodesics do not exhibit cusps and they solve problem Pcurve. We apply the Pontryagin Maximum Principle (PMP) and prove Liouville integrability of the Hamiltonian system. We derive explicit analytic formulas for such sub-Riemannian geodesics, relying on the co-adjoint orbit structure, an underlying Cartan connection, and the matrix representation of SE(3) arising in the Cartan-matrix. These formulas allow us to extract geometrical properties of the sub-Riemannian geodesics with cuspless projection, such as planarity conditions, explicit bounds on their torsion, and their symmetries. Furthermore, they allow us to parameterize all admissible boundary conditions reachable by geodesics with cuspless spatial projection. Such projections lay in the upper half space. We prove this for most cases, and the rest is checked numerically. Finally, we employ the formulas to numerically solve the boundary value problem, and visualize the set of admissible boundary conditions.

Original languageEnglish
Pages (from-to)771-805
Number of pages35
JournalJournal of Dynamical and Control Systems
Volume22
Issue number4
DOIs
Publication statusPublished - Oct 2016

Keywords

  • Geodesics
  • Pontryagin Maximum Principle
  • Special Euclidean motion group
  • Sub-Riemannian geometry

Fingerprint Dive into the research topics of 'On Sub-Riemannian Geodesics in SE(3) whose spatial projections do not have cusps'. Together they form a unique fingerprint.

  • Cite this