An extension of Levi-Civita's theorem to nonholonomic dynamical systems

This paper uses Poincaré formalism to extend the Levi-Civita theorem to cope with nonholonomic systems admitting certain invariant relations whose equations of motion involve constraint multipliers. Sufficient conditions allowing such extension are obtained and, as an application of the theory a generalization of Routh's motion is presented.