Abstract:In this paper we explore the nonholonomic Lagrangian setting of mechanical systems in local coordinates on finite-dimensional configuration manifolds. We prove existence and uniqueness of solutions by reducing the basic equations of motion to a set of ordinary differential equations on the underlying distribution manifold $D$. Moreover, we show that any $D-$preserving discretization may be understood as beeing generated by the exact evolution map of a time-periodic non-autonomous perturbation of the original continuous-time nonholonomic system. By means of discretizing the corresponding Lagrange-d'Alembert principle, we construct geometric integrators for the original nonholonomic system. We give precise conditions under which these integrators generate a discrete flow preserving the distribution $D$. Also, we derive corresponding consistency estimates. Finally, we carefully treat the example of the nonholonomic particle, showing how to discretize the equations of motion in a reasonable way, particularly regarding the nonholonomic constraints. The exploration in this paper lays the ground to analyze the dynamics of appropriate discretizations of nonholonomic mechnical systems in the Lagrangian framework and to relate that dynamics to the dynamics of the original nonholonomic systems. We postpone this analysis to a series of forthcoming papers.

Novel representation of discrete n-D autonomous systems

On the discretization of nonholonomic dynamics in $\mathbb{R}^n$

Transforming A Nonlinear System To A P-Normal Form Via Coordinates Transformation

Web geometry of a system of n first order autonomous ordinary differential equations

Parallelisation of partial differential equations via representation theory

A Novel Description of Linear Time--Invariant Networks via Structured Coprime Factorizations

Generalization of non-Cartan Symmetries to arbitrary dimensions

An algorithm for computing a new normal form for dynamical systems

Partial linearization for nonautonomous differential equations

Symbolic Computation on a (2+1)-Dimensional Generalized Nonlinear Evolution System in Fluid Dynamics, Plasma Physics, Nonlinear Optics and Quantum Mechanics

An algebraic approach to discrete time integrability

Characterization of the class of canonical forms for systems of linear equations

On Equicontinuity and Related Notions in Nonautonomous Dynamical Systems

Integral representation formula for linear non-autonomous difference-delay equations

Representation of Solutions of the Lamé–Navier System by Endomorphisms on Quaternions

On The Equivalence Classes Of Linear Non-Autonomous Systems

Optimal control of constrained mechanical systems in redundant coordinates: Formulation and structure-preserving discretization

Equivalence and Solutions of Descriptor Linear Systems

On the equivalence of geometric and descriptor representations of linear port-Hamiltonian systems

Representations of solutions of systems of time-fractional pseudo-differential equations

Generalization of Sato equation and systems of multidimensional nonlinear Partial Differential Equations