Nonholonomic systems via moving frames: cartan equivalence and chaplygin hamiltonization

Abstract

A nonholonomic system, for short “NH,’’ consists of a configuration space Qn, a Lagrangian L(q, q, t), a nonintegrable constraint distribution H ⊂ TQ, with dynamics governed by Lagrange-d’Alembert’s principle. We present here two studies, both using adapted moving frames. In the first we explore the affine connection viewpoint. For natural Lagrangians L = T −V, where we take V = 0 for simplicity, NH-trajectories are geodesics of a (nonmetric) connection ∇NH which mimics Levi-Civita’s. Local geometric invariants are obtained by Cartan’s method of equivalence. As an example, we analyze Engel’s (2-4) distribution. This is the first such study for a distribution that is not strongly nonholonomic. In the second part we study G-Chaplygin systems; for those, the constraints are given by a connection ɸ: TQ → Lie(G) on a principal bundle G ↪ Q → S = Q/G and the Lagrangian L is G-equivariant. These systems compress to an almost Hamiltonian system (T*S,Hɸ, ΩNH), ΩNH = Ωcan+(J.K), with d(J.K) ≠ 0 in general; the momentum map J : T*Q → Lie(G) and the curvature form K : TQ → Lie(G) * are matched via the Legendre transform. Under an s ∈ S dependent time reparametrization, a number of compressed systems become Hamiltonian, i.e., ΩNH is sometimes conformally symplectic.Anecessary condition is the existence of an invariant volume for the original system. Its density produces a candidate for conformal factor. Assuming an invariant volume, we describe the obstruction to Hamiltonization. An example of a Hamiltonizable system is the “rubber”Chaplygin’s sphere, which extendsVeselova’s system in T*SO(3). This is a ball with unequal inertia coefficients rolling without slipping on the plane, with vertical rotations forbidden. Finally, we discuss reduction of internal symmetries. Chaplygin’s “marble,” where vertical rotations are allowed, is not Hamiltonizable at the compressed T*SO(3) level.We conjecture that it is also not Hamiltonizable when reduced to T*S2.