STRUCTURE PRESERVING DISCRETIZATION OF TIME-REPARAMETRIZED HAMILTONIAN SYSTEMS WITH APPLICATION TO NONHOLONOMIC MECHANICS

We propose a discretization of vector fields that are Hamiltonian up to multiplication by a positive function on the phase space that may be interpreted as a time reparametrization. We construct a family of maps, labeled by an arbitrary I G N indicating the desired order of accuracy, and prove that our method is structure preserving in the sense that the discrete flow is interpolated to order I by the flow of a continuous system possessing the same structure as the vector field that is being discretized. In particular, our discretization preserves a smooth measure on the phase space to the arbitrary order I. We present applications to a remarkable class of nonholo-nomic mechanical systems that allow Hamiltonization. To our best knowledge, these results provide the first instance of a measure preserving discretization (to arbitrary order) of measure preserving nonholonomic systems.