On sub-Riemannian geodesics in SE(3) whose spatial projections do not have cusps

DOI10.1007/S10883-016-9329-4zbMATH Open1364.53033arXiv1305.6061OpenAlexW2465536258WikidataQ59460212 ScholiaQ59460212MaRDI QIDQ334633FDOQ334633

Authors: T. C. J. Dela Haije, Remco Duits, Arpan Ghosh, Alexey P. Mashtakov 

Publication date: 1 November 2016

Published in: Journal of Dynamical and Control Systems (Search for Journal in Brave)

Abstract: We consider the problem $mathbf{P}_{curve}$ of minimizing $intlimit{s}_0^{L}sqrtx{i}^2+kapp{a}^2(s),mds$ for a curve $mathbfx$ on $mathbbR$ with fixed boundary points and directions. Here the total length $Lgeq0$ is free, $s$ denotes the arclength parameter, $kappa$ denotes the absolute curvature of $mathbfx$, and $xi>0$ is constant. We lift problem $mathbf{P}_{curve}$ on $mathbb{R}^3$ to a sub-Riemannian problem $mathbf{P}_{mec}$ on $operatornameSE(3)olimits/(mathbf0imesoperatornameSO(2)olimits)$. Here, for admissible boundary conditions, the spatial projections of sub-Riemannian geodesics do not exhibit cusps and they solve problem $mathbf{P}_{curve}$. 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 $operatornameSE(3)olimits$ 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.

Full work available at URL: https://arxiv.org/abs/1305.6061

Recommendations

• Cuspless sub-Riemannian geodesics within the Euclidean motion group \(\mathrm{SE}(d)\)
• Geodesics in the sub-Riemannian problem on the group \(\mathrm{SO}(3)\)
• Association fields via cuspless sub-Riemannian geodesics in SE(2)
• Curve cuspless reconstructionviasub-Riemannian geometry
• Sub-Riemannian geodesics in \(\mathrm{SO}(3)\) with application to vessel tracking in spherical images of retina

zbMATH Keywords

sub-Riemannian geometrygeodesicsPontryagin maximum principlespecial Euclidean motion group

Mathematics Subject Classification ID

Existence theories for optimal control problems involving ordinary differential equations (49J15) Sub-Riemannian geometry (53C17) Completely integrable systems and methods of integration for problems in Hamiltonian and Lagrangian mechanics (70H06) Analysis on real and complex Lie groups (22E30)

Cites Work

• Control theory from the geometric viewpoint.
• A tour of subriemannian geometries, their geodesics and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Superintegrability of left-invariant sub-Riemannian structures on unimodular three-dimensional Lie groups
• Cut locus and optimal synthesis in the sub-Riemannian problem on the group of motions of a plane
• Title not available (Why is that?)
• Exponential Operators and Parameter Differentiation in Quantum Physics
• A cortical based model of perceptual completion in the roto-translation space
• Minimal surfaces in the roto-translation group with applications to a neuro-biological image completion model
• Conjugate and cut time in the sub-Riemannian problem on the group of motions of a plane
• Maxwell strata in sub-Riemannian problem on the group of motions of a plane
• Poisson structures
• Optimal control
• Reduction for Constrained Variational Problems and � κ 2 2 ds
• Title not available (Why is that?)
• Association fields via cuspless sub-Riemannian geodesics in SE(2)
• Morphological and linear scale spaces for fiber enhancement in DW-MRI
• A PDE approach to data-driven sub-Riemannian geodesics in \(\mathrm{SE}(2)\)
• Tangent bundle curve completion with locally connected parallel networks
• A parallel algorithm and software for image inpainting via sub-Riemannian minimizers on the group of rototranslations
• Differential continuation for regular optimal control problems
• Left-invariant parabolic evolutions on $SE(2)$ and contour enhancement via invertible orientation scores Part II: Nonlinear left-invariant diffusions on invertible orientation scores
• Left-invariant diffusions on the space of positions and orientations and their application to crossing-preserving smoothing of HARDI images
• Bi-invariant means on Lie groups with Cartan-Schouten connections
• Curve cuspless reconstructionviasub-Riemannian geometry
• Existence of planar curves minimizing length and curvature

Cited In (13)

• Association fields via cuspless sub-Riemannian geodesics in SE(2)
• HARDI segmentation via fourth-order tensors and anisotropy preserving similarity measures
• Sub-Riemannian geometry in image processing and modeling of the human visual system
• Optimal paths for variants of the 2D and 3D Reeds-Shepp car with applications in image analysis
• Title not available (Why is that?)
• Recent geometric flows in multi-orientation image processing via a Cartan connection
• Time minimization problem on the group of motions of a plane with admissible control in a half-disc
• Extremal controls in the sub-Riemannian problem on the group of motions of Euclidean space
• Tracking of lines in spherical images via sub-Riemannian geodesics in \(\mathrm{SO}(3)\)
• Curves in \(\operatorname{SE} (3)\) and their behaviours
• New exact and numerical solutions of the (convection-)diffusion kernels on \(\mathrm{SE}(3)\)
• Cuspless sub-Riemannian geodesics within the Euclidean motion group \(\mathrm{SE}(d)\)
• Asymptotics of extremal controls in the sub-Riemannian problem on the group of motions of Euclidean space

Uses Software

• HamPath

This page was built for publication: On sub-Riemannian geodesics in \(\mathrm{SE}(3)\) whose spatial projections do not have cusps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334633)