Abstract:This paper continues the work of Koon and Marsden [10] that began the comparison of the Hamiltonian and Lagrangian formulations of nonholonomic systems. Because of the necessary replacement of conservation laws with the momentum equation, it is natural to let the value of momentum be a variable and for this reason it is natural to take a Poisson viewpoint. Some of this theory has been started in van der Schaft and Maschke [24]. We build on their work, further develop the theory of nonholonomic Poisson reduction, and tie this theory to other work in the area. We use this reduction procedure to organize nonholonomic dynamics into a reconstruction equation, a nonholonomic momentum equation and the reduced Lagrange-d'Alembert equations in Hamiltonian form. We also show that these equations are equivalent to those given by the Lagrangian reduction methods of Bloch, Krishnaprasad, Marsden and Murray [4]. Because of the results of Koon and Marsden [10], this is also equivalent to the results of Bates and Śniatycki [2], obtained by nonholonomic symplectic reduction.Two interesting complications make this effort especially interesting. First of all, as we have mentioned, symmetry need not lead to conservation laws but rather to a momentum equation. Second, the natural Poisson bracket fails to satisfy the Jacobi identity. In fact, the so-called Jacobiizer (the cyclic sum that vanishes when the Jacobi identity holds), or equivalently, the Schouten bracket, is an interesting expression involving the curvature of the underlying distribution describing the nonholonomic constraints.The Poisson reduction results in this paper are important for the future development of the stability theory for nonholonomic mechanical systems with symmetry, as begun by Zenkov, Bloch and Marsden [25]. In particular, they should be useful for the development of the powerful block diagonalization properties of the energy-momentum method developed by Simo, Lewis and Marsden [23].

Almost-Poisson brackets for nonholonomic systems with gyroscopic terms and Hamiltonisation

Almost-Poisson Brackets for Nonholonomic Systems with Gyroscopic Terms and Hamiltonisation

A new perspective on nonholonomic brackets and Hamilton-Jacobi theory

A new perspective on nonholonomic brackets and Hamilton–Jacobi theory

Poisson reduction for nonholonomic mechanical systems with symmetry

Canonical Hamiltonian Gyrocenter Variables and Gauge Invariant Representation of the Gyrokinetic Equation

Even More Generalized Hamiltonian Dynamics

Exact stationary solutions of stochastically excited and dissipated gyroscopic systems

Controlled Lagrangians and Stabilization of Euler--Poincaré Equations with Symmetry Breaking Nonholonomic Constraints

The Hamiltonian Structure and Euler-Poincaré Formulation of the Vlasov-Maxwell and Gyrokinetic Systems

Generalization of Hamiltonian Mechanics to a Three Dimensional Phase Space

Dynamics on a submanifold: intermediate formalism versus Hamiltonian reduction of Dirac bracket, and integrability

An Almost Poisson Structure for the Generalized Rigid Body Equations

Supercomputers against strong coupling in gravity with curvature and torsion

Hamilton-Jacobi theory for nonholonomic and forced hybrid mechanical systems

On nonholonomic and vakonomic dynamics of mechanical systems with nonintegrable constraints

Singular lagrangians and the Hamilton-Jacobi formalism in classical mechanics

Higher Order Lagrange-Poincaré and Hamilton-Poincaré Reductions

Generalizing Hamiltonian Mechanics with Closed Differential Forms

Relative Equilibria for Scaling Symmetries and Central Configurations