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].

Symmetric Reduction and Hamilton-Jacobi Equations of the Controlled Underwater Vehicle-Rotor System

Symmetric Reduction and Hamilton-Jacobi Equation of Rigid Spacecraft with a Rotor

Dynamical Equations of Controlled Rigid Spacecraft with a Rotor

Hamilton-Jacobi Theorems for Regular Controlled Hamiltonian System and Its Reduced Systems

Geometric Reductions, Dynamics and Controls for Hamiltonian System with Symmetry

Symmetric Reduction of Regular Controlled Lagrangian System with Momentum Map

The Geometrical Structure of Phase Space of the Controlled Hamiltonian System with Symmetry

Regular Reduction of Controlled Magnetic Hamiltonian System with Symmetry of the Heisenberg Group

Position Tracking Control of Fully-Actuated Underwater Vehicles with Constrained Attitude and Velocities

Hamilton-Jacobi Theorems for Regular Reducible Hamiltonian Systems on a Cotangent Bundle

Reduction by Symmetry and Optimal Control with Broken Symmetries on Riemannian Manifolds

Reduction Theory and the Lagrange–Routh Equations

Poisson reduction for nonholonomic mechanical systems with symmetry

Reduction in mechanical systems with symmetry

Model Order Reduction of Port-Hamiltonian Systems by Riemannian Modified Fletcher-Reeves Scheme.

Singular reduction of implicit Hamiltonian systems

Symmetry Reduction, Contact Geometry and Nonlinear Trajectory Planning

Symplectic Model Reduction of Hamiltonian Systems on Nonlinear Manifolds

Reduction, Symmetry and Phases in Mechanics

Poisson Reduction of Controlled Hamiltonian System by Controllability Distribution

Hamiltonian dynamics on the symplectic extended phase space for autonomous and non-autonomous systems