Poincaré transformations in nonholonomic mechanics

We report on the application of the Poincaré transformation (from the theory of adaptive geometric integrators) to nonholonomic systems—mechanical systems with non-integrable velocity constraints. We prove that this transformation can be used to express the dynamics of certain nonholonomic systems at a fixed energy value in Hamiltonian form; examples and potential applications are also discussed.