Equivalence of dynamics for systems with transverse constraints

This paper is concerned with the dynamics of a mechanical system subject to nonintegrable constraints. In the first part, we prove the equivalence between the classical nonholonomic equations and those derived from the nonholonomic variational formulation, proposed by Kozlov in [10–12], for a class of constrained systems with constraints transverse to a foliation. This result extends the equivalence between the two formulations, proved for holonomic constraints, to a class of linear nonintegrable ones. In the second part, we derive the nonholonomic variational reduced equations for a constrained system with symmetry and constraint transverse to a principal bundle fibration, using a reduction procedure similar to the one developed in [5]. The resulting equations are compared with the nonholonomic reduced ones through mechanical examples.