Title: On the geometric discretisation of the Suslov Problem

Abstract: Geometric integrators for nonholonomic systems were introduced by Cort\'es and Mart\'inez by proposing a discrete Lagrange-D'Alembert principle. This approach requires the choice of a discrete Lagrangian and a discrete constraint space. It is commonly accepted that these discrete objects should be chosen in a compatible manner with respect to a finite difference map in order to obtain a better approximation of the continuous flow.
In this paper we consider two different discretisations of the classical nonholonomic Suslov problem having the same discrete constraint space but different discrete Lagrangians. The first of these discretisations is non-compatible and is shown to be a reparametrisation of the one proposed by Fedorov and Zenkov. The second discretisation is compatible. We show that both discretisations approximate the continuous flow with the same order of accuracy, but that only the first one exactly preserves the energy of the system for a generic inertia tensor of the body. We also present numerical experiments to compare both discretisations with the continuous flow. Our results indicate that the compatibility of a discretisation might not be the correct feature to consider in order to construct geometric nonholonomic integrators that possess the essential features of the continuous problem.