Lagrangian reduction of generalized nonholonomic systems

In this paper we study the Lagrangian reduction of generalized nonholonomic systems (GNHS) with symmetry. We restrict ourselves to those GNHS, defined on a configuration space QQ, with kinematic constraints given by a general submanifold CK⊂TQCK⊂TQ, and variational constraints given by a distribution CVCV on QQ. We develop a reduction procedure that is similar to that for nonholonomic systems satisfying d’Alembert’s principle, i.e. with CKCK a distribution and CV=CKCV=CK. Special care is taken in identifying the geometrical structures and mappings involved. We illustrate the general theory with an example.