Nonholonomic LR Systems as Generalized Chaplygin Systems with an Invariant Measure and Flows on Homogeneous Spaces

Abstract

We consider a class of dynamical systems on a compact Lie group G with a left-invariant metric and right-invariant nonholonomic constraints (so called LR systems) and show that, under a generic condition on the constraints, such systems can be regarded as generalized Chaplygin systems on the principle bundle G → Q = G/H, H being a Lie subgroup. In contrast to generic Chaplygin systems, the reductions of our LR systems onto the homogeneous space Q always possess an invariant measure.We study the case G = SO(n), when LR systems are multidimensional generalizations of the Veselova problem of a nonholonomic rigid body motion which admit a reduction to systems with an invariant measure on the (co)tangent bundle of Stiefel varieties V (k, n) as the corresponding homogeneous spaces.For k = 1 and a special choice of the left-invariant metric on SO(n), we prove that after a time substitution, the reduced system becomes an integrable Hamiltonian system describing a geodesic flow on the unit sphere S n−1 . This provides a first example of a nonholonomic system with more than two degrees of freedom for which the celebrated Chaplygin reducibility theorem is applicable for any dimension. In this case we also explicitly reconstruct the motion on the group SO(n).

An algorithm based on rolling to generate smooth interpolating curves on ellipsoids

“…The problem of deriving geodesics on the ellipsoid goes back to Jacobi. A modern treatment of geodesics on quadratics through studies of geodesic flows has been given in [6]. The solution can be obtained in ellipsoidal coordinates.…”

Integrability of the constrained rigid body

“…We note that the potential (20) contains as particular subcases the potential studied by Veselova and Fedorov-Jovanovic [9].…”

Nonholonomic systems via moving frames: Cartan equivalence and Chaplygin Hamiltonization

“…Fedorov and Jovanovic [2003] considered the case where G is compact and Lie(H ) is orthogonal to D with respect to the bi-invariant metric. 9…”