Rolling manifolds on space forms

DOI10.1016/J.ANIHPC.2012.05.005zbMATH Open1321.53021arXiv1011.2925OpenAlexW2064095831MaRDI QIDQ1947422FDOQ1947422

Authors: Yacine Chitour, Petri Kokkonen 

Publication date: 22 April 2013

Published in: Annales de l'Institut Henri Poincaré. Analyse Non Linéaire (Search for Journal in Brave)

Abstract: In this paper, we consider two cases of rolling of one smooth connected complete Riemannian manifold $(M,g)$ onto another one $(hM,hg)$ of equal dimension $ngeq2$. The rolling problem $(NS)$ corresponds to the situation where there is no relative spin (or twist) of one manifold with respect to the other one. As for the rolling problem $(R)$, there is no relative spin and also no relative slip. Since the manifolds are not assumed to be embedded into an Euclidean space, we provide an intrinsic description of the two constraints "without spinning" and "without slipping" in terms of the Levi-Civita connections $abl{a}^g$ and $abl{a}^{hg}$. For that purpose, we recast the two rolling problems within the framework of geometric control and associate to each of them a distribution and a control system. We then investigate the relationships between the two control systems and we address for both of them the issue of complete controllability. For the rolling $(NS)$, the reachable set (from any point) can be described exactly in terms of the holonomy groups of $(M,g)$ and $(hM,hg)$ respectively, and thus we achieve a complete understanding of the controllability properties of the corresponding control system. As for the rolling $(R)$, the problem turns out to be more delicate. We first provide basic global properties for the reachable set and investigate the associated Lie bracket structure. In particular, we point out the role played by a curvature tensor defined on the state space, that we call the emph{rolling curvature}. In the case where one of the manifolds is a space form (let say $(hM,hg)$), we show that it is enough to roll along loops of $(M,g)$ and the resulting orbits carry a structure of principal bundle which preserves the rolling $(R)$ distribution. In the zero curvature case, we deduce that the rolling $(R)$ is completely controllable if and only if the holonomy group of $(M,g)$ is equal to SO(n). In the nonzero curvature case, we prove that the structure group of the principal bundle can be realized as the holonomy group of a connection on $TMoplusR$, that we call the rolling connection. We also show, in the case of positive (constant) curvature, that if the rolling connection is reducible, then $(M,g)$ admits, as Riemannian covering, the unit sphere with the metric induced from the Euclidean metric of $R^{n+1}$. When the two manifolds are three-dimensional, we provide a complete local characterization of the reachable sets when the two manifolds are three-dimensional and, in particular, we identify necessary and sufficient conditions for the existence of a non open orbit. Besides the trivial case where the manifolds $(M,g)$ and $(hM,hg)$ are (locally) isometric, we show that (local) non controllability occurs if and only if $(M,g)$ and $(hM,hg)$ are either warped products or contact manifolds with additional restrictions that we precisely describe. Finally, we extend the two types of rolling to the case where the manifolds have different dimensions.

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

Recommendations

• Controllability of rolling without twisting or slipping in higher dimensions
• Rolling manifolds of different dimensions
• An intrinsic formulation of the problem on rolling manifolds
• Controllability results for the rolling of 2-dimensional against 3-dimensional Riemannian manifolds. I
• On the motion planning of rolling surfaces

zbMATH Keywords

Levi-Civita connectioncontrollablekinematic motions

Mathematics Subject Classification ID

Methods of local Riemannian geometry (53B21)

Cites Work

• Rigidity of integral curves of rank 2 distributions
• Control theory from the geometric viewpoint.
• Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes
• Riemannian Geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Riemannian holonomy groups and calibrated geometry
• An intrinsic formulation of the problem on rolling manifolds
• Rolling bodies with regular surface: Controllability theory and applications
• On the motion planning of rolling surfaces
• On the Controllability of the Rolling Problem onto the Hyperbolic $n$-space
• On the transitivity of holonomy systems
• A geometric proof of the Berger holonomy theorem
• Rolling sphere problems on spaces of constant curvature
• Controllability of rolling without twisting or slipping in higher dimensions
• Title not available (Why is that?)

Cited In (24)

• Rolling of manifolds and controllability in dimension three
• Properties of an affine transport equation and its holonomy
• Rolling bodies with regular surface: Controllability theory and applications
• Title not available (Why is that?)
• Rolling maps and nonlinear data
• Controllability results for the rolling of 2-dimensional against 3-dimensional Riemannian manifolds. I
• Rolling Problems on Spaces of Constant Curvature
• Quantization of the rolling-body problem with applications to motion planning
• On the motion planning of rolling surfaces
• Submersions, Hamiltonian systems, and optimal solutions to the rolling manifolds problem
• The rolling problem: overview and challenges
• Horizontal holonomy for affine manifolds
• Infinitesimally helicoidal motions with fixed pitch of oriented geodesics of a space form
• Rolling manifolds of different dimensions
• Controllability of rolling without twisting or slipping in higher dimensions
• A unifying approach for rolling symmetric spaces
• On the Controllability of the Rolling Problem onto the Hyperbolic $n$-space
• Rolling against a sphere: the non-transitive case
• Symmetric spaces rolling on flat spaces
• Symmetries of the rolling model
• An intrinsic formulation of the problem on rolling manifolds
• Rolling of manifolds without spinning
• Low-Order Controllability and Kinematic Reductions for Affine Connection Control Systems
• Geometric conditions for the existence of a rolling without twisting or slipping

This page was built for publication: Rolling manifolds on space forms

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