Abstract:In this paper, we propose the concept of $(\pm)$-discrete Dirac structures over a manifold, where we define $(\pm)$-discrete two-forms on the manifold and incorporate discrete constraints using $(\pm)$-finite difference maps. Specifically, we develop $(\pm)$-discrete induced Dirac structures as discrete analogues of the induced Dirac structure on the cotangent bundle over a configuration manifold, as described by Yoshimura and Marsden (2006). We demonstrate that $(\pm)$-discrete Lagrange--Dirac systems can be naturally formulated in conjunction with the $(\pm)$-induced Dirac structure on the cotangent bundle. Furthermore, we show that the resulting equations of motion are equivalent to the $(\pm)$-discrete Lagrange--d'Alembert equations proposed in Cortés and Martínez (2001) and McLachlan and Perlmutter (2006). We also clarify the variational structures of the discrete Lagrange--Dirac dynamical systems within the framework of the $(\pm)$-discrete Lagrange--d'Alembert--Pontryagin principle. Finally, we validate the proposed discrete Lagrange--Dirac systems with some illustrative examples of nonholonomic systems through numerical tests.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper aims to propose a new method for defining discrete induced Dirac structures on the cotangent bundle of the configuration manifold, thereby constructing discrete Lagrange - Dirac dynamical systems. Specifically, the paper defines discrete constraint spaces by introducing (±)-discrete two - forms and using (±)-finite difference maps, which are discrete analogues of the corresponding concepts in continuous systems. The main objectives of the paper are: 1. **Propose discrete induced Dirac structures**: Define discrete induced Dirac structures on the cotangent bundle of the configuration manifold so that they are consistent with the induced Dirac structures of continuous systems. 2. **Construct discrete Lagrange - Dirac dynamical systems**: Based on the proposed discrete induced Dirac structures, construct discrete Lagrange - Dirac dynamical systems and prove that the equations of motion of these systems are equivalent to the existing discrete Lagrange - d'Alembert equations. 3. **Verify the effectiveness of the discrete systems**: Verify the effectiveness of the proposed discrete Lagrange - Dirac dynamical systems in dealing with nonholonomic systems through numerical tests. ### Main contributions 1. **Definition of discrete induced Dirac structures**: - Introduced (±)-discrete two - forms and discrete constraint spaces. - Defined (±)-discrete induced Dirac structures. 2. **Construction of discrete Lagrange - Dirac dynamical systems**: - Based on (±)-discrete induced Dirac structures, constructed discrete Lagrange - Dirac dynamical systems. - Proved that the equations of motion of these systems are equivalent to the discrete Lagrange - d'Alembert equations. 3. **Numerical verification**: - Through numerical tests of two specific nonholonomic system examples (a vertically rolling disk and a plane, the classical Heisenberg system), verified the effectiveness of the proposed method. ### Mathematical formulas - **Discrete two - forms**: \[ \Omega_d^{\pm} = \text{discrete two - forms} \] - **Discrete constraint spaces**: \[ \Delta_d^{\pm} = \text{discrete constraint spaces} \] - **Discrete induced Dirac structures**: \[ D_d^{\pm} = \text{discrete induced Dirac structures} \] - **Equations of motion of discrete Lagrange - Dirac dynamical systems**: \[ \frac{d}{dt} \left( \frac{\partial L_d}{\partial \dot{q}} \right) - \frac{\partial L_d}{\partial q} = 0 \] - **Discrete Lagrange - d'Alembert equations**: \[ \frac{d}{dt} \left( \frac{\partial L_d}{\partial \dot{q}} \right) - \frac{\partial L_d}{\partial q} \in \Delta_d^{\pm}(q) \] ### Conclusion By proposing new discrete induced Dirac structures and constructing discrete Lagrange - Dirac dynamical systems, the paper provides a new theoretical framework for the numerical integration of nonholonomic systems. Through numerical tests, the effectiveness and accuracy of this method are verified. This research not only extends the existing discrete dynamics theory but also provides strong support for practical applications.

Discrete Dirac structures and discrete Lagrange--Dirac dynamical systems in mechanics

Multi-Dirac Structures and Hamilton-Pontryagin Principles for Lagrange-Dirac Field Theories

The Hamilton-Pontryagin Principle and Multi-Dirac Structures for Classical Field Theories

Graded Poisson and Graded Dirac structures

Dirac Structures And Dynamical R-Matrices

Dynamics on a submanifold: intermediate formalism versus Hamiltonian reduction of Dirac bracket, and integrability

Variational Structures in Cochain Projection Based Variational Discretizations of Lagrangian PDEs

Some Remarks on Dirac Structures and Poisson Reductions

On the Dirac Approach to Constrained Dissipative Dynamics

Lagrangian multiform structure of discrete and semi-discrete KP systems

Discrete pluriharmonic functions as solutions of linear pluri-Lagrangian systems

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

Partial Dirac structures in infinite dimension

Trends in ferromagnetism, hole localization, and acceptor level depth for Mn substitution in

Dirac structures on generalized Riemannian manifolds

Semimartingale driven mechanics and reduction by symmetry for stochastic and dissipative dynamical systems

On discrete Routh reduction and structures on the reduced space

Lagrangian multiforms on coadjoint orbits for finite-dimensional integrable systems

Singular lagrangians and the Hamilton-Jacobi formalism in classical mechanics