Lagrangian reduction of nonholonomic discrete mechanical systems by stages

Abstract

In this work we introduce a category $LD{P}_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincaré systems, and study some of its elementary properties. Examples of objects of $LD{P}_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete Lagrange-Poincaré systems. We also introduce a notion of symmetry group for objects of $LD{P}_d$ and a process of reduction when symmetries are present. This reduction process extends the reduction process of discrete Lagrange--Poincaré systems as well as the one defined for nonholonomic discrete mechanical systems. In addition, we prove that, under some conditions, the two-stage reduction process (first by a closed and normal subgroup of the symmetry group and, then, by the residual symmetry group) produces a system that is isomorphic in $LD{P}_d$ to the system obtained by a one-stage reduction by the full symmetry group.

References in corpus (3)

• Discrete Nonholonomic Lagrangian Systems on Lie Groupoids
• Lagrangian reduction of discrete mechanical systems by stages
• Lagrange-d'Alembert-Poincarè equations by several stages