2000 character limit reached
Exact discrete Lagrangian mechanics for nonholonomic mechanics (2003.11362v2)
Published 25 Mar 2020 in math-ph, cs.NA, math.DG, math.MP, and math.NA
Abstract: We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators.