Research on a lightweight electronic component detection method based on knowledge distillation

1.   Introduction

Symmetry reduction plays a central role in the field of geometric mechanics ^[1,4,23], and it involves expressing the dynamics of a mechanical system with symmetry in terms of the equivalence classes of group orbits on the space of solutions. This allows one to derive reduced equations of motion on a lower-dimensional reduced space which is obtained by quotienting the phase space by the symmetry action. The modern approach to symmetry reduction was introduced in ^[3,26,28,33], but the notion of symmetry reduction arises in earlier work of Lagrange, Poisson, Jacobi, and Noether.

Discrete variational mechanics ^[12,17,27] provides a discrete (in time) notion of Lagrangian dynamics, based on a discrete Hamilton's principle. This leads to discrete flow maps that are symplectic, and exhibit a discrete Noether's theorem. In turn, this naturally raises the question of whether one can develop a corresponding theory of symmetry reduction for discrete variational mechanics. Interest in this direction was motivated in part by attempts to understand the integrable discretization of the Euler top due to ^[29]. Prior work on discrete symmetry reduction includes a constrained variational formulation of discrete Euler–Poincaré reduction ^[7,21], the associated reduced discrete Poisson structure ^[22], discrete Euler–Poincaré reduction for field theories ^[36] and discrete fluids ^[30,32], discrete Lie–Poisson integrators ^[5,18], discrete higher-order Lagrange–Poincaré reduction ^[6], and a discrete notion of Routh reduction for abelian groups ^[11]. The resulting symplectic and Poisson integrators can be viewed as geometric structure-preserving numerical integrators, and this is an active area of study that is surveyed in ^[10]. In addition, discrete reduction theory can also be expressed in terms of composable groupoid sequences, which was the approach introduced in ^[39], and explored further in ^[19], and extended to field theories in ^[37].

The goal of this paper is to develop a discrete analogue of Dirac cotangent bundle reduction ^[42] for Lagrangian systems, that is to say, a discrete Dirac reduction theory for implicit Lagrangian systems. The relevance of this type of reduction lies in the fact that it allows for treating a wide variety of systems with symmetry from a unifying viewpoint, including degenerate systems. Therefore, our discrete analogue allows us to construct geometric integrators for those systems. The theory presented here is limited to systems with abelian symmetry groups, but we expect to extend it to nonabelian groups in the future. Moreover, our work here is the first step in the construction of a category containing discrete Dirac structures that is closed under quotients, as proposed in ^[16], which is fundamental for the study of discrete Dirac reduction by stages.

In addition, framing the discrete reduction theory in the context of discrete Dirac mechanics is significant, as it is the natural setting for studying discrete Hamiltonian mechanics on manifolds, particularly when expressed in terms of the discrete generalized energy. This is because the notion of discrete Hamiltonians ^[12,17], which are Type 2 and 3 generating functions, does not make intrinsic sense on a nonlinear manifold, since it is not possible to specify a covector on a nonlinear manifold without also specifying a base point. In contrast, the discrete generalized energy does make intrinsic sense, and is a more promising foundation on which to construct a discrete analogue of Hamiltonian mechanics on manifolds. Discrete Dirac mechanics is also the basis of a discrete theory of interconnections ^[31], which allows one to construct discretizations of complex multiphysics systems by interconnecting simpler subsystems, which provides a framework for geometric structure-preserving discretization of port-Hamiltonian systems ^[35].

Reduction theory can be addressed either in terms of the reduction of geometric structures like the symplectic or Poisson structures, or in terms of the reduction of variational principles. In this work, we will start with the discrete Lagrange–Dirac mechanics that was developed in ^[16], which can be viewed as a discrete analogue of Lagrange–Dirac mechanics, that can be formulated both in terms of Dirac structures ^[40] and the Hamilton–Pontryagin variational principle ^[41]. In order to coordinatize the reduced spaces arising in the reduction that we will perform, we rely on the notion of discrete principal connections that was introduced in ^[14] and further developed in ^[9].

Overview

In Section 2, we will recall the notion of discrete principal connection ^[9,14] and discrete Dirac mechanics ^[15,16]. Initially, we will consider the case where the configuration space $Q$ is a vector space, and the symmetry group $G$ is a vector subspace acting on $Q$ by addition, and show how the discrete Dirac structure is group-invariant, descends to a discrete Dirac structure on the quotient space in Section 3. In Section 4, we will show how the reduced discrete Dirac structure can be used to derive the reduced discrete equations of motion, after we derive the reduced discrete Dirac differential, which is a map arising in the reduced discrete Tulczyjew triple. In Section 5, we also show that the discrete variational principle can be expressed in terms of a discrete generalized energy, and that if the discrete Lagrangian is group-invariant, then so is the discrete generalized energy. This induces a reduced discrete variational principle, which yields the same reduced discrete equations of motion. Then, in Section 6, we show that, in the nonlinear setting, we can use the notion of retractions ^[2] and an atlas of retraction compatible charts ^[16] to develop a global discrete theory, whose local representatives recover the vector space theory that we considered in the earlier part of the paper. This is significant, because that implies that with respect to an atlas of retraction compatible charts, the local theory that we initially constructed on each chart is compatible on overlapping domains, and induces a well-defined global theory on a manifold endowed with a semi-global retraction map. In Section 7, we will illustrate the proposed discrete reduction theory by applying it to simulate the charged particle in a magnetic field, and the double spherical pendulum. Finally, we will summarize our contributions in the conclusion, and discuss future research directions.

2.   Preliminaries

2.1.   Group actions

Let $Q$ be a smooth manifold, $G$ be a Lie group, and $\Phi^Q: G\times Q\to Q$ a free and proper left action of $G$ on $Q$. We will denote $\Phi^Q(g, q) = g\cdot q$ for each $q\in Q$ and $g\in G$. For a fixed $g\in G$, we define the map $\Phi_g^Q:Q\to Q$ as $q\mapsto q\cdot g$. Likewise, for a fixed $q\in Q$, we define the map $\Phi_q^Q:G\to Q$ as $g\mapsto q\cdot g$. The action being free and proper yields a principal bundle $\pi_{Q, \Sigma}: Q\to\Sigma$, where $\Sigma = Q/G$. We denote the equivalence class of $q\in Q$ by $[q]\in \Sigma$. In general, we use a superscript to denote the space where $G$ acts, and brackets $[\cdot]$ to denote the corresponding equivalence classes.

The diagonal action on $Q\times Q$ is given by

Likewise, the lift of the action to the cotangent bundle is given by

where the superscript $*$ denotes the adjoint map. In other words, for each $v_{g\cdot q}\in T_{g\cdot q} Q$ we have

The infinitesimal generators (or fundamental vector fields) of the action $\Phi^Q$ are denoted by $\xi_Q\in\mathfrak X(Q)$ for each $\xi\in\mathfrak g$, where $\mathfrak g$ is the Lie algebra of $G$, and analogously for the actions defined on the other spaces. In the same fashion, the momentum map $J: T^*Q\to\mathfrak g^*$ of the action is defined by $\langle J(p_q), \xi\rangle = \langle p_q, \xi_Q(q)\rangle$ for each $p_q\in T^*Q$ and $\xi\in\mathfrak g$.

2.1.1.   Group actions on vector spaces

Now we suppose that $Q$ is a vector space, which allows us to identify

In addition, assume that $G\subset Q$ is a vector subspace^* acting by addition, i.e., $g\cdot q = g+q$ for each $g\in G$ and $q\in Q$. In this case, we have $g^{-1} = -g$ and the action on $T^*Q$ reduces to,

^*Recall that any vector space can be regarded as a Lie group with the additive structure.

To conclude, note that $\mathfrak g = G$ and $\mathfrak g^* = G^*$, and that the exponential map is the identity. Hence, $\xi_Q(q) = \xi$ for each $\xi\in\mathfrak g$ and $q\in Q$. Subsequently, the momentum map is given by $\langle J(q_0, p_0), \xi\rangle = \langle p_0, \xi\rangle$ for each $(q_0, p_0)\in T^*Q$ and $\xi\in\mathfrak g$.

2.2.   Discrete principal connections

Discrete principal connections were first introduced in ^[14] and further studied in ^[9]. Let $Q$ be a smooth manifold and $G$ be a Lie group acting freely and properly on $Q$.

Definition 2.1. A discrete principal connection on the principal bundle $\pi_{Q, \Sigma}: Q\to\Sigma$ is a (smooth) function $\omega_d: Q\times Q\to G$ such that

1. $\omega_d(q_0, q_0) = e$, the identity element, for each $q_0\in Q$.

2. $\omega_d(g_0\cdot q_0, g_1\cdot q_1) = g_1 \omega_d(q_0, q_1) g_0^{-1}$ for each $(q_0, q_1)\in Q\times Q$ and $g_0, g_1\in G$.

Discrete principal connections are not generally defined globally on $Q\times Q$, as its global existence implies a global trivialization of $TQ$. Instead, it is only semi-globally defined on a $G$-invariant open subset $U\subset Q\times Q$ containing the diagonal, i.e., $(q_0, q_0)\in U$ for each $q_0\in Q$. Nevertheless, in the following we assume that they are globally defined in order to simplify the notation.

A discrete principal connection $\omega_d$ enables us to define the discrete horizontal bundle as

In addition, $\omega_d$ induces a discrete horizontal lift, i.e., a map $h_d: Q\times\Sigma\to Q\times Q$ that is the inverse of the diffeomorphism $(\text{id}_Q\times\pi_{Q, \Sigma})|_{H_d}: H_d\to Q\times\Sigma$. We denote $\overline h_d = \pi_2\circ h_d: Q\times\Sigma\to Q$, where $\pi_2$ denotes the projection onto the second component.

2.2.1.   Local expression of discrete connections on vector spaces

Suppose that $Q$ is a vector space and $G\subset Q$ is a vector subspace acting by addition. Therefore, $\Sigma = Q/G$ is a vector space and the projection $\pi_{Q, \Sigma}: Q\to\Sigma$ is linear. In this case, we assume that the horizontal lift, $h_d: Q\times\Sigma\to Q\times Q$, is a linear map (where the vector structure on the product is given by the direct sum). This, in turn, ensures that $\overline h_d: Q\times\Sigma\to Q$ is also linear.

Working in a trivialization of $\pi_{Q, \Sigma}$, i.e., supposing that $Q = \Sigma\times G$ with $\pi_{Q, \Sigma} = \pi_1$ and the vector structure given by the direct sum, then the horizontal lift of the discrete connection is determined by a map $\text{h}_d: Q\times \Sigma\to G$ defined by $\text{h}_d = \pi_2\circ\overline h_d$, i.e.,

Of course, $\text{h}_d$ is also linear and, from [9, Equation (4.2)], it satisfies

In particular, $\text{h}_d(q_0, x_0) = g_0$ and $\text{h}_d(g+q_0, x_1) = g+ \text{h}_d(q_0, x_1)$, for each $g\in G$ (to obtain this second equation we have used the equivariance of $\omega_d$).

On the other hand, the dual of $Q$ is given by $Q^* = \Sigma^*\times G^*$, and the adjoint of $\text{h}_d$ can be written as $\text{h}_d^* = \left(\text{h}_{d, Q}^*, \text{h}_{d, \Sigma}^*\right): G^*\to Q^*\times\Sigma^*$ for some linear maps $\text{h}_{d, Q}^*: G^*\to Q^*$ and $\text{h}_{d, \Sigma}^*: G^*\to\Sigma^*$. They are related to the adjoint of $\overline h_d$ as follows

Similarly, we denote by $\text{h}_{d, Q}:\Sigma\to G$ the adjoint map of $\text{h}_{d, Q}^*$, and analogously for $\text{h}_{d, \Sigma}:\Sigma\to G$. In fact, we have $\text{h}_{d, Q}(q_0) = \text{h}_d(q_0, 0)$ and $\text{h}_{d, \Sigma}(x_1) = \text{h}_d(0, x_1)$. Hence,

For the sake of simplicity, we introduce the map $\text{h}_d^0:\Sigma\times\Sigma\to G$, where $\text{h}_d^0(x_0, x_1) = \text{h}_d((x_0, 0), x_1)$. Lastly, observe that $\text{h}_d: Q\times\Sigma\to G$ may be regarded locally as a map defined on $(\Sigma\times G)\times\Sigma$. For this reason, we denote its partial derivatives by

for each $(q_0, x_1) = ((x_0, g_0), x_1)\in(\Sigma\times G)\times\Sigma$. Due to the linearity of $\text{h}_d$, they are given by

We conclude with the following straightforward result.

Lemma 2.2. Let $Q = \Sigma\times G$ be a trivialization of $\pi_{Q, \Sigma}$. Then for each $q_0 = (x_0, g_0)\in Q$ and $p_0 = (w_0, r_0)\in Q^*$ we have $J(q_0, p_0) = r_0$.

2.3.   Discrete Dirac mechanics

Let us briefly recall the formulation of discrete Dirac mechanics introduced in ^[15,16]. Here, we present only the unconstrained case. In the following, let $Q$ be a vector space.

2.3.1.   Generating functions and discrete Tulczyjew triple

The Tulczyjew triple consists of three diffeomorphisms defined between the iterated tangent and cotangent bundles of a smooth manifold (cf. ^[40]).

If $\Theta_{T^*(T^*Q)}\in\Omega^1(T^*(T^*Q))$ and $\Theta_{T^*(TQ)}\in\Omega^1(T^*(TQ))$ denote the tautological 1-forms on $T^*(T^*Q)$ and $T^*(TQ)$, respectively, then the Tulczyjew triple induce a symplectic form on $T(T^*Q)$,

Remark 2.3. Given a continuous Lagrangian, $L:TQ\to\mathbb R$, the Tulczyjew ^[34] and the Dirac ^[40] approaches of mechanics make use of the Tulczyjew triple to define the induced Dirac structure on $T^*Q$,

and the Dirac differential,

Then, the Lagrange–Dirac equations for the vector field $X:T^*Q\to T(T^*Q)$ are given by

where $\mathbb FL:TQ\to T^*Q$ is the Legendre transform of the Lagrangian. The key idea of discrete Dirac mechanics is to build a discrete analogue of the Tulczyjew triple that retains the symplecticity of the maps involved. In turn, the discrete Tulczyjew triple will be used to construct the discrete analogue of the induced Dirac structure. To that end, generating functions are utilized to construct the symplectic maps.

By means of the Poincaré Lemma (see [16, § 3.2] for details), it can be shown that a map $F:T^*Q\to T^*Q$, given by $(q_0, p_0)\mapsto(q_1, p_1)$ is symplectic if and only if there exists a function $S_1:Q\times Q\to\mathbb R$, known as the Type 1 generating function, such that $p_0 = -D_1 S_1(q_0, q_1)$ and $p_1 = D_2 S_1(q_0, q_1)$ for each $(q_0, q_1)\in Q\times Q$. We denote by $\iota_1:Q\times Q\to T^*Q\times T^*Q$ the map defined as $(q_0, q_1)\mapsto\big((q_0, p_0), (q_1, p_1)\big)$, and arrive at the following commutative diagram.

An analogous conclusion may be reached by using a function $S_2:Q\times Q^*\to\mathbb R$, known as Type 2 generating function. In such case, we obtain a map

This way, we define the $(+)$-discrete Tulczyjew triple as follows,

The discrete triple preserve the symplecticity of the continuous triple in the sense that the following is a natural symplectic form on $T^*Q\times T^*Q$,

On the other hand, a function $S_3:Q^*\times Q\to\mathbb R$, known as Type 3 generating function, may be used to get a map

By using $\Omega_{d-}^\flat$ instead of $\Omega_{d+}^\flat$, we arrive to an analogous diagram called the $(-)$-discrete Tulczyjew triple, which also inherits the symplecticity properties of the continuous triple.

2.3.2.   Discrete implicit Lagrangian systems

Definition 2.4. The $(+)$-discrete induced Dirac structure is defined as

where $z = (q, p)\in T^*Q\simeq Q\times Q^*$. Similarly, the $(-)$-discrete induced Dirac structure is defined as

Remark 2.5. A Dirac structure on a smooth manifold $M$ is a maximally isotropic subbundle of its Pontryagin bundle, $TM\oplus T^*M$ (see, for example, ^[40]). Recall that the Whitney sum is a fibered sum over $M$, i.e., its elements are of the form $(v_x, \alpha_x)\in T_x M\times T_x^* M$ for each $x\in M$. Note that $\pi_1(z_0, z_1) = z_0\neq z^+ = \pi_1(\alpha_{z^+})$, where $\pi_1$ denotes the projection onto the first component. Subsequently, $(z_0, z_1, \alpha_{z^+})$ are not elements of the Pontryagin bundle of $M = T^*Q$ and, hence, the $(+)$-discrete induced Dirac structure $D^{d+}$ defined above is not a Dirac structure on $T^*Q$ in the sense of Dirac structures on manifolds. The same holds for the $(-)$-discrete induced Dirac structure. Despite this, we refer to these objects as discrete induced Dirac structures, in order to be consistent with the existing literature on discrete Dirac mechanics ^[16,31].

Although these discrete structures are not Dirac structures themselves, the discrete Tulczyjew structure is still present. Therefore, the maps involved are symplectic and, hence, they can be used to construct variational integrators.

Remark 2.6. It is worth noting that a new approach to discrete Dirac mechanics has been introduced in ^[8]. In this proposed approach, the discrete structures are actual Dirac structures, which allows one to apply the previous results found in the literature for Dirac mechanics. It would be interesting to explore a reduction theory for this new discrete Dirac mechanics and to compare it with the one given in the present paper. We leave this for future work.

Given a (possibly degenerate) discrete Lagrangian $L_d: Q\times Q\to\mathbb R$, its derivative is the map $dL_d: Q\times Q\to T^*(Q\times Q)$ given by

where $D_i$ denotes the partial derivative with respect to the $i$-th component, $i = 1, 2$. The $(+)$-discrete Dirac differential is the map

Analogously, the $(-)$-discrete Dirac differential is the map

At last, a discrete vector field on $T^*Q$ is a sequence

Definition 2.7 ($(+)$-discrete implicit Lagrangian system). A $(+)$-discrete implicit Lagrangian system, also called a $(+)$-discrete Lagrange–Dirac system, is a pair $(L_d, X_d)$, where $L_d$ is a discrete Lagrangian on $Q$ and $X_d$ is a discrete vector field on $T^*Q$, satisfying the $(+)$-discrete Lagrange–Dirac equations, i.e.,

The equations are locally given by

Definition 2.8 ($(-)$-discrete implicit Lagrangian system). A $(-)$-discrete implicit Lagrangian system, also called a $(-)$-discrete Lagrange–Dirac system, is a pair $(L_d, X_d)$, where $L_d$ is a discrete Lagrangian on $Q$ and $X_d$ is a discrete vector field on $T^*Q$, satisfying the $(-)$-discrete Lagrange–Dirac equations, i.e.,

The equations are locally given by

Since we are considering the unconstrained case, both the $(+)$ and $(-)$-discrete Lagrange–Dirac equations are equivalent to the discrete Euler–Lagrange equations ^[27].

2.3.3.   Variational structure for discrete implicit Lagrangian systems

The discrete Lagrange–Dirac equations may also be obtained from a variational principle, as shown in ^[16]. As above, there exist two possible choices when performing discretization. Firstly, the $(+)$-discrete Pontryagin bundle is the (vector) bundle over $Q$ given by

Given a discrete Lagrangian $L_d: Q\times Q\to\mathbb R$, the $(+)$-discrete Lagrange–Pontryagin action is the discrete augmented action defined as

The $(+)$-discrete Lagrange–Pontryagin principle,

is obtained by enforcing free variations $\left\{(\delta q_k, \delta q_k^+, \delta p_{k+1})\in Q\times Q\times Q^*\mid 0\leq k\leq N\right\}$ that vanish at the endpoints, i.e., $\delta q_0 = \delta q_N = 0$.

Theorem 2.9. The $(+)$-discrete Lagrange–Pontryagin principle is equivalent to the $(+)$-discrete Lagrange–Dirac equations.

On the other hand, the $(-)$-discrete Pontryagin bundle is given by

The $(-)$-discrete Lagrange–Pontryagin action is defined as

The $(-)$-discrete Lagrange–Pontryagin principle,

is obtained by enforcing free variations $\left\{(\delta q_{k+1}^-, \delta p_k, \delta q_{k+1})\in Q\times Q\times Q^*\mid 0\leq k\leq N\right\}$ that vanish at the endpoints, i.e., $\delta q_0 = \delta q_N = 0$.

Theorem 2.10. The $(-)$-discrete Lagrange–Pontryagin principle is equivalent to the $(-)$-discrete Lagrange–Dirac equations.

3.   Reduction of the discrete Dirac structure

Let $Q$ be a vector space and $G\subset Q$ be a vector subspace acting by addition on $Q$. In this section we will show that the discrete induced Dirac structure on $Q$ is $G$-invariant and we will reduce it to the corresponding quotient.

3.1.   Trivializations of the tangent bundle and cotangent bundles

Let $\omega_d: Q\times Q\to G$ be a discrete connection form on $\pi_{Q, \Sigma}$. We define a right trivialization of $TQ = Q\times Q$ as

Observe that it is a linear map with the vector structure of $Q\times Q$ given by the direct sum. Using [9, Remark 4.3] it is straightforward to check that $\lambda_d$ is an isomorphism (of bundles over $T\Sigma = \Sigma\times\Sigma$) with inverse given by

The action of $G$ on $Q\times Q$ induces an action on $Q\times(\Sigma\times G)$ by means of $\lambda_d$. Using the equivariance of $\omega_d$, such an action is given by

By construction, $\lambda_d$ is equivariant, i.e., $\lambda_d\circ\Phi_g^{Q\times Q} = \Phi_g^{Q\times(\Sigma\times G)}\circ\lambda_d$ for each $g\in G$. Subsequently, it descends to a left trivialization of $(Q\times Q)/G$, i.e., an isomorphism of the corresponding quotients,

Furthermore, note that $(Q\times(\Sigma\times G))/G\simeq\Sigma\times(\Sigma\times G)$ via the isomorphism

Remark 3.1. For the $(-)$-case, it will be useful to trivialize the first factor instead, i.e., we consider the map

Of course, all the computations performed for $\lambda_d$ are also valid for $\tilde\lambda_d$ by exchanging the order of the factors.

On the other hand, we define a right trivialization of $T^*Q\simeq Q\times Q^*$ as

Again, this trivialization is a linear map with the vector structure on $Q\times Q^*$ given by the direct sum.

Remark 3.2. Observe that the adjoint of the projection $\pi_{Q, \Sigma}: Q\to \Sigma$ yields a canonical embedding of $\Sigma^*$ into $Q^*$. However, there is not a canonical linear projection of $Q^*$ onto $\Sigma^*$. The discrete principal connection gives a choice of this projection via the adjoint of the horizontal lift, thus yielding the following split

In addition, $\langle\pi_{Q, \Sigma}^*(w), \xi_Q(q_0)\rangle = 0$ for every $w\in\Sigma^*$ and $\xi\in\mathfrak g$, so we have

where the superscript $0$ denotes the annihilator.

Using the previous remark, it can be seen that the inverse of $\hat\lambda_d$ is given by

where $(\mu_0)_Q(q_0)\in Q^*$ is implicitly defined by the relations $\langle(\mu_0)_Q(q_0), \xi_Q(q_0)\rangle = \langle\mu_0, \xi\rangle$ for each $\xi\in\mathfrak g$ and $\left(\pi_2\circ\overline h_d^*\right)((\mu_0)_Q(q_0)) = 0$.

It is easy to check that the action of $G$ on $Q\times(\Sigma^*\times\mathfrak g^*)$ induced by $\hat\lambda_d$ is given by

Remark 3.3. For the $(-)$-case, it will be useful to trivialize the first factor instead. To that end, we consider the map

As for $\tilde\lambda_d$, all the computations performed for $\hat\lambda_d$ are also valid for $\check\lambda_d$ by exchanging the order of the factors.

Since $Q\times Q$, $Q\times(\Sigma\times G)$, $Q\times Q^*$ and $Q\times(\Sigma^*\times\mathfrak g^*)$ are vector spaces, we may identify their tangent and cotangent bundles as in (2.2), e.g., $T^*(Q\times Q) = Q\times Q\times Q^*\times Q^*$. Furthermore, we may consider the diagonal actions of $G$ on $T(Q\times Q)$ and $T(Q\times Q^*)$, as in (2.1). Likewise, on $T^*(Q\times Q)$ and $T^*(Q\times Q^*)$ we consider the cotangent lift of the action, as in (2.3). In turn, these actions may be transferred to the corresponding (co)tangent bundles of $Q\times(\Sigma\times G)$ and $Q\times(\Sigma^*\times\mathfrak g^*)$ using the maps $\lambda_d$ and $\hat\lambda_d$, and their adjoint maps, accordingly. Note that since these maps are linear, their derivatives are the maps themselves. This can be done because $\lambda_d$ and $\hat\lambda_d$ are linear isomorphisms. For instance, the action of $G$ on $T^*(Q\times(\Sigma^*\times\mathfrak g^*))$ is induced from the action on $T^*(Q\times Q^*)$ using the map $\hat\lambda_d$ and its adjoint, as well as their inverses.

3.2.   Local expressions of the trivializations and quotients

In order to study the explicit expression of the maps introduced above, we choose a trivialization $Q = \Sigma\times G$ of $\pi_{Q, \Sigma}$ as in Section 2.2.1. Using the local expression of the discrete connection, we have

Hence,

Its adjoint is given by

for each $(p_0, w_1, r_1)\in Q^*\times(\Sigma^*\times G^*)$. Hence,

for each $(p_0, p_1)\in Q^*\times Q^*$. Now we perform analogous computations for $\hat\lambda_d$, where we used (2.4) and Lemma 2.2,

The inverse is given by

Likewise, its adjoint is given by

At last, we have

On the other hand, observe that the group action is locally given by

where we identify $G\simeq\{0\}\times G\subset Q$. Using the local expression for the trivializations and their adjoints, we obtain the local expression for the actions of $G$ on the (co)tangent bundles of $Q\times(\Sigma\times G)$ and $Q\times(\Sigma^*\times\mathfrak g^*)$.

Proposition 3.4. The action of $G$ on $T^*(Q\times(\Sigma^*\times\mathfrak g^*))$ is locally given by

for each $g\in G$, $(q_0, w_0, \mu_0)\in Q\times(\Sigma^*\times\mathfrak g^*)$ and $(p_1, x_1, \xi_1)\in Q^*\times(\Sigma\times\mathfrak g)$.

Analogously, the action on $T(Q\times(\Sigma^*\times\mathfrak g^*))$ is locally given by

for each $g\in G$ and $(q_0, w_0, \mu_0), (q_1, w_1, \mu_1)\in Q\times(\Sigma^*\times\mathfrak g^*)$.

Proof. As explained at the end of the previous section, the action of $G$ on $T^*(Q\times(\Sigma^*\times\mathfrak g^*))$ is induced from the action on $T^*(Q\times Q^*)$. Namely,

The computation for $T(Q\times(\Sigma^*\times\mathfrak g^*))$ is analogous.

To conclude, by the previous proposition, we may define the following local isomorphisms,

and

Remark 3.5. By using $\check\lambda_d$ instead of $\hat\lambda_d$ (recall Remark 3.3), we arrive at analogous results. In particular, we have the isomorphisms

and

3.3.   Invariance of the discrete induced Dirac structure

The definition of invariance for (continuum) Dirac structures ^[42] can be extended to the discrete setting. More specifically, $D^{d+}$ is said to be $G$-invariant if for each $g\in G$ and $(z_0, z_1, \alpha_{z^+})\in D^{d+}$ we have

Similarly, $D^{d-}$ is said to be $G$-invariant if for each $g\in G$ and $(z_0, z_1, \alpha_{z^-})\in D^{d-}$ we have

Proposition 3.6. The discrete induced Dirac structures $D^{d+}$ and $D^{d-}$ are $G$-invariant.

Proof. Let $g\in G$ and $(z_0, z_1, \alpha_{z^+})\in D^{d+}$. By definition, we have

Recall that the actions are given by

and

respectively. Hence,

and

where $\tilde z^+ = \left(g+q_0, p_1\right)$. It immediately follows that $\Omega_{d+}^\flat(\tilde z_0, \tilde z_1) = \tilde\alpha_{\tilde z^+}$, which establishes the desired result. The computation for $D^{d-}$ is analogous.

On the other hand, the right trivialization $\hat\lambda_d$ allows $D^{d+}$ to induce a $(+)$-discrete Dirac structure on $Q\times(\Sigma^*\times\mathfrak g^*)$,

where, for the sake of simplicity, we let $\hat z = \hat\lambda_d(z)$ for each $z = (q, p)\in Q\times Q^*$. Equivalently, $\Omega_{d+}^\flat$ induces a map $\hat\Omega_{d+}^\flat$ between the trivialized spaces by imposing the commutativity of the following diagram,

This way, $\hat D^{d+}$ can be regarded as the $(+)$-discrete Dirac structure induced by $\hat\Omega_{d+}^\flat$, i.e.,

Of course, the $G$-invariance of $D^{d+}$ implies the $G$-invariance of $\hat D^{d+}$, since we have constructed the actions on the trivialized space so that $\hat\lambda_d$ is equivariant.

The same stands for the $(-)$-discrete Dirac structure. Namely, we have the following diagram,

Hence, we define

3.4.   Reduced discrete Dirac structure

The $G$-invariance of $\hat D^{d+}$ ensures that it descends to a discrete Dirac structure on the quotient space. Since $\Omega_{d+}^\flat$ and $\hat\lambda_d$ are equivariant, so is $\hat\Omega_{d+}^\flat$, which induces a well-defined map between the quotient spaces,

Then, the reduced $(+)$-discrete Dirac structure is the structure induced by this map, i.e.,

Locally, identifications (3.10) and (3.11) enable us to regard $[\hat\Omega_{d+}^\flat]$ as a map between the trivializations,

Lemma 3.7. Working in a trivialization and using the above identification, we have

for each $(x_0, w_0, \mu_0, q_1, w_1, \mu_1)\in\Sigma\times(\Sigma^*\times\mathfrak g^*)\times Q\times(\Sigma^*\times\mathfrak g^*)$.

Proof. We employ the explicit local expression computed in the previous sections,

Observe that $[\hat\Omega_{d+}^\flat]$ is a bundle morphism covering the identity if we regard the previous maps as bundles over $\Sigma$ with the projection onto the first component.

Proposition 3.8. Locally, the reduced $(+)$-discrete Dirac structure is given by

In the same fashion, we may define the reduced $(-)$-discrete Dirac structure as

By analogous computations using Remark 3.5, we arrive at the local expressions.

Lemma 3.9. Locally, we have

for each $(q_0, w_0, \mu_0, x_1, w_1, \mu_1)\in Q\times(\Sigma^*\times\mathfrak g^*)\times\Sigma\times(\Sigma^*\times\mathfrak g^*)$.

Proposition 3.10. Locally, the reduced $(-)$-discrete Dirac structure is given by

4.   Discrete Lagrange–Poincaré–Dirac reduction

Making use of the reduced discrete Dirac structure, we will compute the the reduced equations corresponding to a discrete Lagrange–Dirac system. Let $Q$ be a vector space and $G\subset Q$ be a vector subspace acting by addition on $Q$, and $L_d:Q\times Q\to\mathbb R$ be a (possibly degenerate) $G$-invariant discrete Lagrangian, i.e.,

The invariance of the discrete Lagrangian leads to the invariance of its partial derivatives.

Lemma 4.1. If $L_d$ is $G$-invariant, then so are its partial derivatives $D_i L_d: Q\times Q\to Q^*$, $i = 1, 2$, i.e.,

Proof. For each $q\in Q$ we have

An analogous computation establishes the result for $D_2 L_d$.

Remark 4.2. Working on a trivialization $Q = \Sigma\times G$ of $\pi_{Q, \Sigma}$, we may regard $L_d$ as a function defined on $(\Sigma\times G)\times(\Sigma\times G)$. This way, its partial derivatives can be written as

for each $(q_0, q_1) = (x_0, g_0, x_1, g_1)\in(\Sigma\times G)\times(\Sigma\times G)$, and analogous for $D_2 L_d(q_0, q_1)$.

We may regard a discrete vector field, $X_{d+}$, that is a solution of the $(+)$-discrete Lagrange–Dirac equations, as a map

It follows from Lemma 4.1 that this map is $G$-equivariant. Similarly to $\Omega_{d+}^\flat$, this induces a map between the trivialized spaces by imposing the commutativity of the following diagram,

Since $\hat X_{d+}$ is $G$-equivariant, it descends to a $(+)$-discrete reduced vector field,

As above, locally we may regard it as $[\hat X_{d+}]:\Sigma\times(\Sigma\times G)\to\Sigma\times(\Sigma^*\times\mathfrak g^*)\times Q\times(\Sigma^*\times\mathfrak g^*)$.

Similarly, if $X_{d-}$ is a solution of the $(-)$-discrete Lagrange–Dirac equations, we may trivialize it as follows,

This way, we obtain the $(-)$-discrete reduced vector field,

Locally, we may regard it as a map $[\hat X_{d-}]:(\Sigma\times G)\times\Sigma\to Q\times(\Sigma^*\times\mathfrak g^*)\times\Sigma\times(\Sigma^*\times\mathfrak g^*)$.

4.1.   Reduced discrete Dirac differential

The next step is to trivialize $\gamma_Q^{d+}$ and the exterior derivative of the discrete Lagrangian. To that end, we impose the commutativity of the following diagram,

Furthermore, since $\gamma_Q^{d+}$, $\lambda_d$ and $\hat\lambda_d$ are $G$-equivariant, so is $\hat\gamma_Q^{d+}$, by construction. The same holds for $\hat{dL}_{d}$, by Lemma 4.1. By composing the previous maps, we induce the $(+)$-discrete Dirac differential on the trivialized spaces,

Due to $G$-equivariance, it descends to the corresponding quotients, yielding the reduced $(+)$-discrete Dirac differential,

Proposition 4.3. Locally, the reduced $(+)$-discrete Dirac differential is given by a map $[\hat{\mathcal D}^{+}L_d]:\Sigma\times(\Sigma\times G)\to\Sigma\times(\Sigma^*\times\mathfrak g^*)\times Q^*\times(\Sigma\times\mathfrak g)$. Furthermore, for each $(x_0, x_1, g_1)\in\Sigma\times(\Sigma\times G)$, it is given by

where the partial derivatives of $L_d$ are evaluated at $\left(x_0, 0, x_1, g_1+ \text{h}_d^0(x_0, x_1)\right)$.

Proof. Once again, we use the explicit local expressions computed in the previous sections,

where the partial derivatives are evaluated at $\left(x_0, 0, x_1, g_1+ \text{h}_d^0(x_0, x_1)\right)$ and we used (2.5) in the last step.

For the $(-)$-case, we consider the diagram

Subsequently, we arrive at the reduced $(-)$-discrete Dirac differential,

Proposition 4.4. Locally, the reduced $(-)$-discrete Dirac differential is given by a map $[\hat{\mathcal D}^{-}L_d]:(\Sigma\times G)\times\Sigma\to(\Sigma^*\times\mathfrak g^*)\times\Sigma\times(\Sigma\times\mathfrak g)\times Q^*$. Furthermore, for each $(x_0, g_0, x_1)\in(\Sigma\times G)\times\Sigma$, it is given by

where the partial derivatives of $L_d$ are evaluated at $\left(x_0, g_0+ \text{h}_d^0(x_1, x_0), x_1, 0\right)$.

4.2.   (+)-discrete Lagrange–Poincaré–Dirac equations

Define $\hat L_{d+}: Q\times(\Sigma\times G)\to\mathbb R$ by the condition $\hat L_{d+}\circ\lambda_d = L_d$. Clearly, it is $G$-invariant, thus inducing the $(+)$-discrete reduced Lagrangian,

Locally, we may regard it as $l_{d+}:\Sigma\times\Sigma\times G\to\mathbb R$. It is easy to check that

Lemma 4.5. Locally, for each $(x_0, x_1, g_1)\in\Sigma\times\Sigma\times G$ we have

where the partial derivatives of $L_d$ and $l_{d+}$ are evaluated at $\left(x_0, 0, x_1, g_1+ \text{h}_d^0(x_0, x_1)\right)$ and $(x_0, x_1, g_1)$, respectively.

Proof. Let $(x_0, g_0, x_1, g_1')\in(\Sigma\times G)\times(\Sigma\times G)$. Using (3.2), we obtain

Recall that the partial derivatives of $\text{h}_d$ are given by (2.6). Using this fact, as well as the chain rule and the relation above, we obtain

In the above expressions, the partial derivatives of $L_d$ and $l_{d+}$ are evaluated at $(x_0, g_0, x_1, g_1')$ and $(x_0, x_1, g_1'- \text{h}_d((x_0, g_0), x_1))$, respectively. To conclude, we choose $g_0 = 0$ and $g_1' = g_1+ \text{h}_d^0(x_0, x_1)$.

Gathering the results of the previous sections, we arrive at the main result of this paper.

Theorem 4.6. ($(+)$-discrete Lagrange–Poincaré–Dirac equations). Let $(L_d, X_{d+})$ be a $(+)$-discrete Lagrange–Dirac system and suppose that $L_d$ is $G$-invariant. Let $[\hat D^{d+}]$, $[\hat X_{d+}]$ and $[\hat{\mathcal D}^{+} L_d]$ be the reduced $(+)$-discrete Dirac structure, the $(+)$-discrete reduced vector field and the reduced $(+)$-discrete Dirac differential defined in (3.12), (4.1) and (4.3), respectively. Then, they satisfy the $\textrm{$ (+) $-discrete Lagrange–Poincaré–Dirac equations}$, i.e., for each $0\leq k\leq N-1$, we have

In order to obtain its local expression, we write the discrete vector field as

Subsequently, the reduced equations read as

Making use of Proposition 3.8, Proposition 4.3 and Lemma 4.5 we arrive at the local expression for the reduced discrete equations of motion,

In the above equations, partial derivatives of $l_{d+}$ are evaluated at $(x_k, x_k^+, g_k^+)$.

4.3.   (–)-discrete Lagrange–Poincaré–Dirac equations

As in the previous case, we define $\hat L_{d-}: (\Sigma\times G)\times Q\to\mathbb R$ by the condition $\hat L_{d-}\circ\tilde\lambda_d = L_d$, which induces $(-)$-discrete reduced Lagrangian,

Locally, it is given by $l_{d-}:\Sigma\times G\times\Sigma\to\mathbb R$. It is easy to check that

Lemma 4.7. Locally, for each $(x_0, x_1, g_1)\in\Sigma\times\Sigma\times G$ we have

where the partial derivatives of $L_d$ and $l_{d-}$ are evaluated at $\left(x_0, g_0+ \text{h}_d^0(x_1, x_0), x_1, 0\right)$ and $(x_0, g_0, x_1)$, respectively.

Theorem 4.8 ($(-)$-discrete Lagrange–Poincaré–Dirac equations). Let $(L_d, X_{d-})$ be a $(-)$-discrete Lagrange–Dirac system and suppose that $L_d$ is $G$-invariant. Let $[\hat D^{d-}]$, $[\hat X_{d-}]$ and $[\hat{\mathcal D}^{-} L_d]$ be the reduced $(-)$-discrete Dirac structure, the $(-)$-discrete reduced vector field and the reduced $(-)$-discrete Dirac differential defined in (3.13), (4.2) and (4.4), respectively. Then, they satisfy the $\textrm{$ (-) $-discrete Lagrange–Poincaré–Dirac equations}$, i.e., for each $0\leq k\leq N-1$, we have

Locally, the equations are given by

Making use of Proposition 3.10, Proposition 4.4 and Lemma 4.7 we arrive at the local expression for the reduced discrete equations of motion,

In the above equations, partial derivatives of $l_{d-}$ are evaluated at $(x_{k+1}^-, g_{k+1}^-, x_{k+1})$.

5.   Reduction of the discrete variational principle

In this section, we perform reduction of discrete Lagrange–Dirac systems from the variational point of view. As expected, we will recover the discrete Lagrange–Poincaré–Dirac equations obtained from the geometric reduction of the discrete Dirac structure. Let $Q$ be a vector space and $G\subset Q$ be a vector subspace acting by addition on $Q$.

5.1.   Trivialization of the (+)-discrete Pontryagin bundle

Let $\omega_d: Q\times Q\to G$ be a discrete connection form. Using the trivializations defined in Section 3.1, we define the following map

Again, the $G$-action on $Q\times Q\times Q\times Q^*$ given by

induces an action on the trivialized space via $\Lambda_{d+}$.

Let $Q = \Sigma\times G$ be a trivialization of $\pi_{Q, \Sigma}$, as in Section 2.2.1. For each $q_0 = (x_0, g_0), q_0^+ = (x_0^+, g_0^+), q_1 = (x_1, g_1)\in Q = \Sigma\times G$ and $p_1 = (w_1, r_1)\in Q^* = \Sigma^*\times G^*$, the local expression of $\Lambda_{d+}$ is

Similarly, for each $q_0 = (x_0, g_0), q_1 = (x_1, g_1)\in Q$, $(x_0^+, g_0^+)\in\Sigma\times G$ and $(w_1, \mu_1)\in\Sigma^*\times\mathfrak g^*$ we have

At last, locally we may identify the quotient spaces as

and

5.2.   Trivialization of the (-)-discrete Pontryagin bundle

In the same vein as in the previous section, we trivialize the $(-)$-discrete Pontryagin bundle. Namely, we define

Again, the $G$-action on $Q\times Q\times Q^*\times Q$ may be transferred to the trivialized space via $\Lambda_{d-}$.

Let $Q = \Sigma\times G$ be a trivialization of $\pi_{Q, \Sigma}$, as in Section 2.2.1. For each $q_0 = (x_0, g_0), q_1^- = (x_1^-, g_1^-), q_1 = (x_1, g_1)\in Q = \Sigma\times G$ and $p_0 = (w_0, r_0)\in Q^* = \Sigma^*\times G^*$, the local expression of $\Lambda_{d+}$ is

Similarly, for each $q_0 = (x_0, g_0), q_1 = (x_1, g_1)\in Q$, $(x_1^-, g_1^-)\in\Sigma\times G$ and $(w_0, \mu_0)\in\Sigma^*\times\mathfrak g^*$ we have

At last, locally we may identify the quotient spaces as

and

5.3.   (+)-discrete reduced variational principle

Let $L_d: Q\times Q\to\mathbb R$ be a (possibly degenerate) $G$-invariant discrete Lagrangian and consider the corresponding $(+)$-discrete reduced Lagrangian $l_{d+}:(Q\times(\Sigma\times G))/G\to\mathbb R$. The $(+)$-discrete generalized energy is the map

Since $L_d$ is $G$-invariant, so is $E_{d+}$. Analogous to the discrete Lagrangian, we consider the trivialized energy, i.e., $\hat E_{d+}: Q\times(\Sigma\times G)\times Q\times(\Sigma^*\times\mathfrak g^*)\to\mathbb R$, which is defined by the condition $\hat E_{d+}\circ\Lambda_{d+} = E_{d+}$. Again, $\hat E_{d+}$ is $G$-invariant, what enables us define the reduced $(+)$-discrete generalized energy,

Lemma 5.1. Locally, the reduced $(+)$-discrete generalized energy is a map $e_{d+}:\Sigma\times(\Sigma\times G)\times Q\times(\Sigma^*\times\mathfrak g^*)\to\mathbb R$. Furthermore, for each $(x_0, x_0^+, g_0^+, q_1, w_1, \mu_1)\in\Sigma\times(\Sigma\times G)\times Q\times(\Sigma^*\times\mathfrak g^*)$ we have

Proof. It is a straightforward computation, making use of the local expressions of the maps and actions that we have computed previously,

The following result relates the variational principles in both the original and the reduced spaces.

Theorem 5.2 (Reduced variational principle). Let $L_d: Q\times Q\to\mathbb R$ be a $G$-invariant discrete Lagrangian and $\left\{(q_k, q_k^+, p_{k+1})\in Q\times Q\times Q^*\mid 0\leq k\leq N\right\}$ be a trajectory on the $(+)$-discrete Pontryagin bundle. Consider the reduced trajectory, i.e.,

where $(\hat q_k, \hat x_k^+, \hat g_k^+, \hat q_{k+1}, \hat w_{k+1}, \hat \mu_{k+1}) = \Lambda_{d+}(q_k, q_k^+, q_{k+1}, p_{k+1})$ for $0\leq k\leq N-1$. Then the $(+)$-discrete Lagrange–Pontryagin principle (2.11) is satisfied if and only if the $\textrm{reduced $ (+) $-discrete Lagrange–Pontryagin principle}$ is satisfied, i.e.,

for free variations

with fixed endpoints, i.e., $\delta\hat q_0 = \delta\hat q_N = 0$.

Proof. By construction, we have

To arrive at our conclusion, note that the free variations of the Lagrange–Pontryagin principle yield free variations on the trivialized space (with fixed endpoints), since $\Lambda_{d+}$ is a linear isomorphism.

Lastly, we show that the reduced variational equations agree with the reduced geometric equations obtained in the previous section from the reduced discrete Dirac structure.

Proposition 5.3. The variational equations obtained from the reduced $(+)$-discrete Lagrange–Pontryagin principle are the $(+)$-discrete Lagrange–Poincaré–Dirac equations.

Proof. Since the equations are local, we may work in a trivialization $Q\simeq\Sigma\times G$ of $\pi_{Q, \Sigma}$. Observe that locally, (5.8) reads as

for free variations

with fixed endpoints, i.e., $\delta x_0 = \delta x_N = 0$ and $\delta g_0 = \delta g_N = 0$. Making use of Lemma 5.1 and taking variations $\delta x_k$, $1\leq k\leq N-1$, with fixed endpoints, we get

Analogously, taking variations $\delta g_k$, $1\leq k\leq N-1$, with fixed endpoints, yield

Now, we consider variations $\delta x_k^+$, $0\leq k\leq N-1$,

Similarly, for variations $\delta g_k^+$, $0\leq k\leq N-1$,

Next, for variations $\delta w_{k+1}$, $0\leq k\leq N-1$,

In the end, for variations $\delta\mu_{k+1}$, $0\leq k\leq N-1$,

In the above equations, partial derivatives of $l_{d+}$ are evaluated at $(x_k, x_k^+, g_k^+)$. By gathering all the equations and rearranging terms, it is easy to check that these equations are exactly (4.6).

5.4.   (-)-discrete reduced variational principle

Last of all, we carry out the same procedure, but using the $(-)$-discrete reduced Lagrangian $l_{d-}:((\Sigma\times G)\times Q)/G\to\mathbb R$. The $(-)$-discrete generalized energy is the map

The trivialized energy, $\hat E_{d-}\circ\Lambda_{d-} = E_{d-}$, gives rise to the reduced $(-)$-discrete generalized energy,

Lemma 5.4. Locally, the reduced $(-)$-discrete generalized energy is a map $e_{d-}:(\Sigma\times G)\times\Sigma\times(\Sigma^*\times\mathfrak g^*)\times Q\to\mathbb R$. Furthermore, for each $(x_1^-, g_1^-, x_1, w_0, \mu_0, q_0)\in(\Sigma\times G)\times\Sigma\times(\Sigma^*\times\mathfrak g^*)\times Q$ we have

Theorem 5.5 (Reduced variational principle). Let $L_d: Q\times Q\to\mathbb R$ be a $G$-invariant discrete Lagrangian and $\left\{(q_{k+1}^-, p_k, q_{k+1})\in Q\times Q^*\times Q\mid 0\leq k\leq N\right\}$ be a trajectory on the $(-)$-discrete Pontryagin bundle. Consider the reduced trajectory, i.e.,

where $(\hat x_{k+1}^-, \hat g_{k+1}^-, \hat q_{k+1}, \hat w_k, \hat \mu_k, \hat q_k) = \Lambda_{d-}(q_{k+1}^-, q_{k+1}, p_k, q_k)$ for $0\leq k\leq N-1$. Then the $(-)$-discrete Lagrange–Pontryagin principle (2.13) is satisfied if and only if the $\textrm{reduced $ (-) $-discrete Lagrange–Pontryagin principle}$ is satisfied, i.e.,

for free variations

with fixed endpoints, i.e., $\delta\hat q_0 = \delta\hat q_N = 0$.

Proposition 5.6. The variational equations obtained from the reduced $(-)$-discrete Lagrange–Pontryagin principle are the $(-)$-discrete Lagrange–Poincaré–Dirac equations.

6.   Nonlinear theory

The previous reduction theory has been developed for the linear setting, i.e., when $Q$ is a vector space and $G\subset Q$ is a vector subspace acting by addition on $Q$. Nevertheless, it can be applied when $Q$ is an arbitrary smooth manifold and $G$ is an abelian Lie group acting freely and properly on $Q$. In order to see this, we use retractions and retraction compatible charts (see, for example, ^[2,16]).

Definition 6.1. A retraction of a smooth manifold $M$ is a smooth map $\mathcal R: TM\to M$ such that for each $m\in M$ we have $\mathcal R_m(0_m) = m$ and $\left(d\mathcal R_m\right)_{0_m} = \text{id}_{T_m M}$, where $\mathcal R_m = \mathcal R\vert_{T_m M}$ and we make the identification $T_{0_m}(T_m M)\simeq T_m M$.

Observe that the second condition ensures that $\mathcal R_m: T_m M\to M$ is invertible around $0_m$.

Definition 6.2. Let $M$ be an $n$-dimensional smooth manifold and $\mathcal R: TM\to M$ be a retraction of $M$. A coordinate chart $(U, \phi)$ on $M$ is said to be compatible at $m\in M$ with $\mathcal R$ if $\phi(m) = 0$ and $\mathcal R(v_m) = \phi^{-1}\left((d\phi)_m(v_m)\right)$ for each $v_m\in T_m M$, where we identify $T_m\mathbb R^n\simeq\mathbb R^n$ using the standard coordinates in $\mathbb R^n$.

For the particular case of a Lie group $G$ and $g\in G$, it was shown in [16, §9] that the canonical coordinates of the first kind at $g\in G$ (cf. ^[21,38]) are a coordinate chart compatible with the retraction defined by $\mathcal R_g^G = L_g\circ\exp\circ(dL_{g^{-1}})_g$, where $L_g: G\to G$ denotes the left multiplication by $g$.

Proposition 6.3. Let $\mathcal R: TM\to M$ be a retraction of an $n$-dimensional smooth manifold $M$ and $(U, \phi)$ be a compatible coordinate chart on $M$ at $m\in M$. Then for each^† $r\in U$ and $p_m\in T_m^* M$ we have

^†We will assume that the inverse of $\mathcal R_m$ is defined on the whole of $U$ by choosing a smaller coordinate domain if necessary.

where $\mathcal R_m^{-1}(r)\simeq r^i\partial_i$ and $p_m\simeq p_i dq^i$ in this chart.

In other words, the previous result says that the dual pairing of $T_m M$ and $T_m^* M$ reduces to the usual Euclidean inner product on $\mathbb R^n$ when using retraction compatible charts.

6.1.   Retractions and abelian Lie group actions

In what follows, let $Q$ be a smooth manifold and $G$ be a connected, abelian Lie group acting freely and properly (on the left) on $Q$, thus yielding a principal bundle $\pi_{Q, \Sigma}: Q\to\Sigma = Q/G$. Consider retractions $\mathcal R^\Sigma: T\Sigma\to\Sigma$ and $\mathcal R^G: TG\to G$ of $\Sigma$ and $G$, respectively, and a trivializing set $U\subset\Sigma$ of $\pi_{Q, \Sigma}$. For simplicity, we write $U = \Sigma$, so we have an identification $Q\simeq\Sigma\times G$. Under this identification, a straightforward check shows that the map

is a retraction of $Q$. We may use it to define (at least locally) a discrete Lagrange–Pontryagin action. Namely, given a (possibly degenerate) discrete Lagrangian $L_d: Q\times Q\to\mathbb R$, the $(+)$-discrete Lagrange–Pontryagin action is defined as

where $q_k, q_k^+\in Q$ and $p_{k+1}\in T_{q_{k+1}}^*Q$. The $(+)$-discrete Lagrange–Pontryagin principle is obtained by enforcing free variations vanishing at the endpoints. In order for the previous expression to be well-defined, $q_k^+$ must be in the neighborhood of $q_{k+1}$ where $\mathcal R_{q_{k+1}}$ is invertible for each $0\leq k\leq N-1$. This can always be achieved for bounded initial conditions by reducing the size of the time step. Furthermore, Proposition 6.3 ensures that using retraction compatible coordinate charts, this discrete action reduces to the one considered in the linear case (2.10).

In the same vein, the $(-)$-discrete Lagrange–Pontryagin action is defined as

where $q_{k+1}^-, q_{k+1}\in Q$ and $p_k\in Q^*$. Once again, Proposition 6.3 ensures that, in a retraction compatible chart, the discrete action reads as in the linear case (2.12).

On the other hand, recall that the $G$ action on the trivialized principal bundle is given by the left multiplication, i.e., $g\cdot q_0 = (x, gg_0)$ for each $g\in G$ and $q_0 = (x_0, g_0)\in Q\simeq \Sigma\times G$. Furthermore, suppose that the retraction on $G$ is given by $\mathcal R_{g_0}^G = L_{g_0}\circ\exp\circ(dL_{g_0^{-1}})_{g_0}$, as mentioned when describing the canonical coordinates of the first kind. Since $G$ is abelian and connected, the exponential map is surjective and, hence, the inverse of $\mathcal R_{g_0}^G$ exists locally around every element of the group. As a result, when $q_0 = (x_0, g_0)$ is fixed, an action of $T_{g_0}G$ on $T_{q_0}Q = T_{x_0}\Sigma\oplus T_{g_0}G$ may be built as follows

for each $v_{x_0}\in T_{x_0}\Sigma$, and $u_{g_0}, v_{g_0}\in T_{g_0}G$. When $g_0 = 0$, this action has a very simple expression,

where we have used that $G$ is abelian. This is the case considered in the previous sections, a vector subspace acting by addition. Note that if $g_0\neq 0$, we obtain the same result by using the left translation.

In summary, the linear theory developed above is the coordinate representation of a general system with abelian group of symmetries when retraction compatible charts are used. This allows us to use the linear theory at least locally on a coordinate chart. Furthermore, if $\Sigma$ and $G$ both admit retraction compatible atlases, then a retraction compatible atlas for $Q$ can be built such that each coordinate domain is a trivializing set for $\pi_{Q, \Sigma}$. Hence, we can make computations on the whole $Q$ by starting from a specific compatible chart and changing to another one whenever it is necessary. Since the variational principle, as well as the group action, have the same expressions in each compatible chart, the local preservation of geometric properties extends to the global setting. This is an important feature of retraction compatible atlases, since computation on local charts might otherwise lead to dynamics that is not globally well-defined. The discrete analogue of Tulczyjew dynamics (see, ^[34]) appears to be the discrete Dirac mechanics of ^[16] that we based our construction upon, so the analogous reduced discrete geometric structures for discrete Tulczyjew dynamics can be obtained from our construction.

7.   Examples

We present two examples to illustrate the reduction theory developed above. In both of them, we employ the $(+)$-discrete equations.

7.1.   Charged particle in a magnetic field

We analyze the dynamics of a charged particle moving in a magnetic field, as presented in ^[25] for the continuous case. To account for gauge symmetry, we consider the Kaluza-Klein configuration space,

with coordinates $(q, \theta)$, where $q = (q^1, q^2, q^3)\in\mathbb R^3$ and $\theta\simeq e^{i\theta}\in\mathbb S^1$. The Kaluza-Klein Lagrangian is defined as

where $m\in\mathbb R^+$ is the mass of the particle, $A\in\Omega^1(\mathbb R^3)$ is the magnetic potential, and $\left\langle {\left\langle {\cdot, \cdot} \right\rangle } \right\rangle$ denotes the Euclidean inner product in $\mathbb R^3$. The conjugate momenta are given by

It is clear that this Lagrangian is invariant under the tangent lifted action of $\mathbb S^1$ on $Q_K$ given by $\theta'\cdot(q, \theta) = (q, \theta'+\theta)$ for each $(q, \theta)\in Q_K$ and $\theta'\in\mathbb S^1$. Note that using these coordinates, the action is linear. The corresponding quotient is $\Sigma = Q_K/\mathbb S^1\simeq\mathbb R^3$. Choosing the principal connection $\omega = A+d\theta\in\Omega^1(Q_K)$ on $Q_K\to\mathbb R^3$, the corresponding reduced equations are the Lorentz force law together with the conservation of the momentum corresponding to $\theta$, i.e.,

where $\textbf B\in\mathfrak X(\mathbb R^3)$ is the magnetic field corresponding to^‡ $B = dA\in\Omega^2(\mathbb R^3)$, and $e = c\, p_\theta$ is the electric charge of the particle.

^‡Recall that we can associate to each 2-form $\alpha = \alpha^i\iota_{\partial_i}(d^3q)\in\Omega^2(\mathbb R^3)$ a vector field $\boldsymbol\alpha = \alpha^i\partial_i\in\mathfrak X(\mathbb R^3)$, which is known as proxy field, where $\iota_U$ denotes the left interior product by $U\in\mathfrak X(\mathbb R^3)$.

7.1.1.   Discrete equations

Given $h > 0$, consider the following discrete Lagrangian

It is easy to check from Definition 2.1 that the following is a discrete principal connection,

Subsequently, the local map $\text{h}_d: Q_K\times\mathbb R^3\to\mathbb S^1$ is given by $\text{h}_d((q_0, \theta_0), q_0^+) = \theta_0$ and $\text{h}_{d, \Sigma}\equiv0$. The reduced discrete Lagrangian (4.5) is

Consider an interval $[0, T]\subset\mathbb R$ and divide it into $N = T/h$ subintervals $[t_k, t_{k+1}]$, with $t_k = kh$, $0\leq k\leq N-1$. As usual, we let $q_k = q(t_k)$, $0\leq k\leq N$, and analogously for the other quantities. Similarly, we express the discrete vector field as $[\hat X_d^k] = (q_k, w_k, \mu_k, q_{k+1}, \theta_{k+1}, w_{k+1}, \mu_{k+1})$. By computing the partial derivatives of the reduced discrete Lagrangian, we obtain the reduced discrete equations

7.1.2.   Numerical computations

In order to implement the above equations, we need to make a particular choice of the particle mass and charge, time interval, magnetic field and initial conditions. We express all of the magnitudes in natural units, i.e., $c = 1$. We choose $m = 1$, $e = 1$ and $T = 20$. For each $q = (q^1, q^2, q^3)\in\mathbb R^3$, we write $q = q^i\partial_i\in T_q\mathbb R^3\simeq\mathbb R^3$ when regarded as a vector. Hence, $\left\langle {\left\langle { q, \cdot} \right\rangle } \right\rangle = q^i dq^i$. On the other hand, we suppose that the magnetic field is constant, i.e., $\text{B}(q) = B_0\partial_z$ for some fixed $B_0\in\mathbb R$. The corresponding magnetic potential is

We suppose that the initial position is the origin, $q_0 = 0$, and the initial velocity is $\dot q_0 = \partial_1+\partial_3$. Likewise, we choose $\theta_0 = 0$. Since $A(q_0) = A(0) = 0$, the corresponding initial momenta are

and $(p_\theta)_0 = e = 1$. Likewise, we have $\dot\theta_0 = (p_\theta)_0-\langle A(q_0), \dot q_0\rangle = 1$. The initial position and momenta may be trivialized using (3.6),

On the other hand, it is easy to check that the exact solution of (7.1) for $B_0 = 1$ is

After working out the approximate solution for different values of $N$ and comparing it to the exact solution, we can see that the error decreases with the number of steps at a second-order rate of convergence, as shown in Table 1. In addition, Figure 1 compares both the exact and numerical trajectories for $N = 100$, i.e., $h = 0.2$.

7.2.   Double spherical pendulum

In this example, we investigate the double spherical pendulum. We assume that there is no friction and that the system is under a uniform gravitational field. The dynamics of the double spherical pendulum has been investigated in ^[20,24] and variational integrators from different perspectives have been proposed in ^[11,13].

For $i = 1, 2$, we denote by $m_i\in\mathbb R^+$, $l_i\in\mathbb R^+$ and $r_i\in\mathbb R^3$ the particle mass, the link length and the position of the $i$-th pendulum, respectively. Furthermore, we use standard coordinates $r_i = (r_i^1, r_i^2, r_i^3)\in\mathbb R^3$ with the coordinate origin at the fixed pivot, and we suppose that the gravitational acceleration is given by $\boldsymbol{g} = (0, 0, -g)$ for some fixed $g\in\mathbb R^+$. This way, the Lagrangian is

where $\left\langle {\left\langle {\cdot, \cdot} \right\rangle } \right\rangle$ denotes the Euclidean inner product in $\mathbb R^3$. In addition, the links connecting the particles yield the following constraints,

To avoid the need for constraints, we use spherical coordinates for each particle, $r_i = (\rho_i, \theta_i, \varphi_i)$, $i = 1, 2$, where the origin of the first sphere is at the pivot and the origin of the second one is at the first particle, as shown in Figure 2. As such, the constraints become $\rho_i = l_i$, $i = 1, 2$, and may be imposed explicitly in the Lagrangian. Then, the configuration space is given by

with angular coordinates $(\theta_1, \varphi_1, \theta_2, \varphi_2)$. After the change of coordinates, the Lagrangian reads

where $T_2$ is the kinetic energy of the second pendulum,

Observe that the system is invariant by simultaneous rotation of both pendula around the $Z$-axis, i.e., the group of symmetries is $G = \mathbb S^1$ with the action on $\mathbb S^2\times\mathbb S^2$ given locally by

for each $(\theta_1, \varphi_1, \theta_2, \varphi_2)\in\mathbb S^2\times\mathbb S^2$ and $\theta\in\mathbb S^1$. As usual, we denote the quotient by $\Sigma = (\mathbb S^2\times\mathbb S^2)/\mathbb S^1$.

Remark 7.1. Observe that this action is not free. Indeed, it leaves invariant configurations with $\varphi_1 = k_1\pi$ and $\varphi_2 = k_2\pi$ for some $k_1, k_2\in\mathbb Z$. Therefore, the following is only valid for trajectories not passing through those configurations.

At last, we perform another change of coordinates,

with $\varphi_1$ and $\varphi_2$ remaining the same. Observe that the inverse is given by $\theta_1 = \vartheta_1-\vartheta_2$ and $\theta_2 = \vartheta_1+\vartheta_2$. In these coordinates, the action reads

for each $(\vartheta_1, \varphi_1, \vartheta_2, \varphi_2)\in\mathbb S^2\times\mathbb S^2$ and $\theta\in\mathbb S^1$.

7.2.1.   Discrete equations

For the sake of simplicity, we will let $q_0 = (\vartheta_1, \varphi_1, \vartheta_2, \varphi_2)\in\mathbb S^2\times\mathbb S^2$ and $x_0 = (\varphi_1, \vartheta_2, \varphi_2)\in(\mathbb S^2\times\mathbb S^2)/\mathbb S^1$, and analogous for $q_0^+$ and $x_0^+$. Given $h > 0$, we define the discrete Lagrangian as

Likewise, we choose the following discrete principal connection

In particular, the map $\text{h}_d: Q\times\Sigma\to G$ is given by $\text{h}_d\left(q_0, x_0^+\right) = \vartheta_1$. Thus, $\text{h}_{d, \Sigma}\equiv0$, $\text{h}_{d, \Sigma}^*\equiv0$ and $\text{h}_d^0\equiv0$. The reduced discrete Lagrangian is

for each $x_0, x_0^+\in\Sigma$ and $\vartheta_1^+\in\mathbb S^1$. Given the interval $[0, T]\subset\mathbb R$, we divide it into $N = T/h$ subintervals $[t_k, t_{k+1}]$, with $t_k = kh$, $0\leq k\leq N-1$. We denote the discrete vector field by $[\hat X_d^k] = (x_k, w_k, \mu_k, q_{k+1}, w_{k+1}, \mu_{k+1})$, $0\leq k\leq N-1$. Observe that $w_k = (w_k^1, w_k^2, w_k^3)\in\Sigma^*\simeq\mathbb R^3$ and $\mu_k\in G^*\simeq\mathbb R$. Since $\text{h}_d((\vartheta_1, 0), 0) = \vartheta_1$ and $\text{h}_{d, Q}(x_0, 0) = 0$, the reduced discrete equations read

where $(\varphi_1, \vartheta_2, \varphi_2)$, $\mu_0$ and $w_0$ are the initial conditions, and $(\vartheta_1^+, \varphi_1^+, \vartheta_2^+, \varphi_2^+)$, $\mu_1$ and $w_1$ are the unknowns. As in the previous example, by using (3.6), the momentum is given by $p_0 = (\mu_0, w_0)$.

7.2.2.   Numerical computations

For the numerical simulation, we need to fix the parameters of the system, as well as the initial conditions. Using SI units, we pick $T = 100$, $N = 10^4$, $m_1 = 20$, $m_2 = 35$, $l_1 = 500$, $l_2 = 800$, $g = 9.8$, $q_0 = (0, 9/4, 2, 3)$ and $(\mu_0, w_0) = (0, 0, 1, 1)$. Recall that the $(+)$-discrete generalized energy of the system is given by (5.7), i.e., $(E_d)_k = L_d(q_k, q_k^+)$, where we have used that $q_{k+1} = q_k^+$, $0\leq k\leq N-1$. The evolution of the energy is plotted in Figure 4. Observe that it exhibits good near energy conservation, since it oscillates around a fixed value instead of exhibiting a spurious drift. This is typical of symplectic, and in particular, variational integrators, but is not generally true of standard integrators. Moreover, we have simulated the system by using the $(+)$-discrete Euler–Lagrange equations. The difference between the energies obtained from our reduced equations and the energy obtained from the Euler–Lagrange equations is also plotted in Figure 4. As can be seen, both methods give almost the same values for the discrete energy. However, we have observed that our method was about 75% faster than the usual discrete Euler–Lagrange equations, which suggests that the reduced integrator could be significantly faster than the unreduced one.

8.   Conclusions

In this paper, we developed the theory of discrete Dirac reduction of discrete Lagrange–Dirac systems with an abelian symmetry group acting on a linear configuration space. This involves using the notion of discrete principal connections to coordinatize the quotient spaces, which allows us to study the reduction of the Dirac structure and the discrete variational principle expressed in terms of the discrete generalized energy. Both the reduced discrete Dirac structure and the reduced discrete variational principle lead to the same reduced discrete equations of motion. We also discussed the role of retractions and the atlas of retraction compatible charts in allowing us to generalize the local theory that was discussed to a discrete reduction theory that is globally well-defined on a manifold.

For future work, we will extend this to the setting of nonabelian symmetry groups, and to discrete analogues of Routh reduction, where the discrete dynamics is also restricted to the level sets of the discrete momentum. In the same vein, it would be interesting to explore discrete Dirac reduction by stages. To that end, a category containing discrete Dirac structures that is closed under quotients must be constructed and the reduction procedure must be defined on the whole category.

Acknowledgments

The first author was supported by Ministerio de Universidades, Spain, under an FPU grant and partially supported by Ministerio de Ciencia e Innovación, Spain, under grant PID2021-126124NB-I00. The second author was supported in part by the NSF under grants DMS-1411792, DMS-1345013, DMS-1813635, CCF-2112665, by AFOSR under grant FA9550-18-1-0288, and by the DoD under grant HQ00342010023 (Newton Award for Transformative Ideas during the COVID-19 Pandemic).

Conflict of interest

The authors declare there is no conflict of interest.