Abstract
We introduce Euler–Lagrange–Herglotz equations on Lie algebroids. The methodology is to extend the Jacobi structure from \(TQ\times \mathbb {R}\) and \(T^{*}Q \times \mathbb {R}\) to \(A\times \mathbb {R}\) and \(A^{*}\times \mathbb {R}\), respectively, where A is a Lie algebroid and \(A^{*}\) carries the associated Poisson structure. We see that \(A^*\times \mathbb {R}\) possesses a natural Jacobi structure from where we are able to model dissipative mechanical systems on Lie algebroids, generalizing previous models on \(TQ\times \mathbb {R}\) and introducing new ones as for instance for reduced systems on Lie algebras, semidirect products (action Lie algebroids) and Atiyah bundles.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Since the works of Weinstein [40] and Martinez [34] during the last 20 years, there has been a lot of applications of Lie algebroids in theoretical physics and other related sciences, more precisely in Classical Mechanics, Classical Field Theory and their applications. The main point is that Lie algebroids provide a general framework for systems with different features as systems with symmetries, systems over semidirect products, Hamiltonian and Lagrangian systems, systems with constraints (nonholonomic and vakonomic), higher-order mechanics and optimal control [1, 6, 7, 10,11,12, 17, 18, 29,30,31,32,33,34,35,36,37] among many others.
In [16] de León et al. have developed a Hamiltonian description for the mechanics on Lie algebroids and they have shown that the dynamics is obtained solving an equation for the Hamiltonian section (Hamiltonian vector field) in the same way than in Classical Mechanics (see also [33]). Moreover, for a Lie algebroid A, they have shown that the Legendre transformation \(\mathbb {F}L:A\rightarrow A^{*}\) associated to a Lagrangian \(L:A\rightarrow \mathbb {R}\) induces a Lie algebroid morphism and when the Lagrangian is regular both formalisms are equivalent. Marrero and collaborators also have studied non-holonomic mechanics on Lie algebroids [11]. In other direction, in [22] Iglesias et al. have studied singular Lagrangian systems and vakonomic mechanics from the point of view of Lie algebroids obtained through the application of a constrained variational principle, and J. Grabowski, K. Grabowska, and collaborators have also developed the geometric formalism for mechanics on Lie algebroids in a serie of papers [18, 19] including optimal control applications [20].
Contact Hamiltonian and Lagrangian systems have deserved a lot of attention in recent years (see [2, 4, 5, 15], and references therein). Throughout this paper, a contact Hamiltonian or Lagrangian system should be understood as the Hamiltonian (respectively, Lagrangian) vector field associated with a particular Jacobi structure on the product \(A^{*}\times \mathbb {R}\) (respectively, \(A\times \mathbb {R}\)), where A is a Lie algebroid, designed to extend standard contact systems on \(T^{*}Q\times \mathbb {R}\) (respectively, \(TQ\times \mathbb {R}\)) and model dissipative phenomena. One of the most relevant features of contact dynamics is the absence of conservative properties contrarily to the conservative character of the energy in symplectic dynamics; indeed, we have a dissipative behavior. This fact suggests that contact geometry may be the appropriate framework to model many physical and mathematical problems with dissipation we find in thermodynamics, statistical physics, quantum mechanics, gravity or control theory, among many others.
Jacobi manifolds were introduced by A. Lichnerowicz as a rich geometrical notion extending several important geometrical structures, including among others, symplectic, Poisson, contact and cosymplectic structures [26]. In this paper we extend the Jacobi structure from \(TQ\times \mathbb {R}\) and \(T^{*}Q \times \mathbb {R}\) to \(A\times \mathbb {R}\) and \(A^{*}\times \mathbb {R}\), respectively, where A is a Lie algebroid and \(A^{*}\) carries the associated Poisson structure. We see that \(A^*\times \mathbb {R}\) possesses a natural Jacobi structure from where we are able to model dissipative mechanical systems, generalizing previous models on \(TQ\times \mathbb {R}\). In particular, when A is the standard Lie algebroid TQ, the Jacobi structure on \(T^{*}Q\times \mathbb {R}\) is just the canonical contact structure.
One of the main contributions of the paper is the identification of the contact dynamics on the extended Lie algebroid \(A\times \mathbb {R}\), generalizing contact dynamics on \(TQ\times \mathbb {R}\). The results in this paper, will be of use to all those who wish to study contact dynamics on Lie groups, homogeneous spaces, action algebroids, Atiyah algebroids or any other phase space different than the tangent bundle. In addition, it also successess in identifying the Jacobi structure hidden behind the dynamics. The other main goal of this paper is to give for first time in the literature the notion of Euler–Lagrange–Herglotz equations on Lie algebroids, extending the Euler–Lagrange–Herglotz equations on \(TQ \times mathbb{R}\), and providing the corresponding equations for reduced systems on Lie algebras, action Lie algebroids, and Atiyah algebroids, that is, the Euler–Poincaré–Herglotz and Lagrange–Poincaré–Herglotz equations, respectively. Moreover, in the presence of a Hamiltonian function \(h:A^{*}\times \mathbb {R}\rightarrow \mathbb {R}\), we consider the corresponding dynamical system on \(A^{*}\times \mathbb {R}\) called Lie–Poisson–Jacobi equations (respectively, Hamilton–Poincaré–Herglotz equations on the Atiyah algebroid). In addition, if the Hamiltonian function is regular then a Lagrangian dynamics, induced by a Lagrangian function \(l:A\times \mathbb {R}\rightarrow \mathbb {R}\), may be considered on the space \(A\times \mathbb {R}\). Some particular examples are discussed: the dissipative Wong’s equations on Atiyah algebroids and the dynamics of a triaxial attitude control testbed as Euler–Poincaré–Herglotz equations on action Lie algebroids.
The outline of the paper is the following: in Sect. 2 we review the definition of the Hamiltonian equations in the canonical Poisson structure of \(A^{*}\), where A is a Lie algebroid. In Sect. 3, we introduce a Jacobi structure on \(A^{*}\times \mathbb {R}\), from where we derive the equations of motion for a contact Hamiltonian system and use it to obtain the contact Lagrangian systems on the bundle \(A\times \mathbb {R}\). In Sect. 4, we particularize our construction to the case of the action Lie algebroid and the Atiyah algebroid and we derive, from a geometric viewpoint, the dynamics for a Triaxial attitude control testbed and the contact Wong’s equations.
2 Mechanics on Lie algebroids
Let \(\tau _{A}:A\rightarrow Q\) be a vector bundle with base manifold Q together with a fiber-preserving map \(\rho :A\rightarrow TQ\) called the anchor map. Let \([\cdot ,\cdot ]_{A}:\Gamma (A)\times \Gamma (A)\rightarrow \Gamma (A)\) be a Lie bracket on the set of sections \(\Gamma (A)\) (that is, a skew-symmetric bilinear map satisfying the Jacobi identity) satisfying the Leibniz rule
The vector bundle \(\tau _{A}:A\rightarrow Q\) equipped with the anchor map \(\rho \) and the bracket of sections \([\cdot ,\cdot ]_{A}\) is called a Lie algebroid (see [27] for instance).
Suppose that \((q^{i})\) are local coordinates on Q and that \(\{e_{a}\}\) is a local basis of sections of A. The local functions \(C^{d}_{a b}\) and \(\rho ^{i}_{a}\) defined by
are called structure functions of the Lie algebroid. In the following sections, we will also considered local coordinates \((q^{i},y^{a})\) on A, adapted to the local basis of sections \(\{e_a\}\).
We will see that the Lie algebroid structure on A naturally induces a Poisson structure on its dual bundle \(A^{*}\). First, we will review the definition of a linear Poisson structure on the vector bundle \(\pi _{A^{*}}:A^{*}\rightarrow Q\).
Definition 2.1
A linear Poisson structure on \(A^{*}\) is a bracket of functions \(\{\cdot ,\cdot \}_{A^{*}}:C^{\infty }(A^{*})\times C^{\infty }(A^{*}) \rightarrow C^{\infty }(A^{*})\) such that:
-
1.
\(\{\cdot ,\cdot \}_{A^{*}}\) is a skew-symmetric bilinear map satisfying the Jacobi identity;
-
2.
\(\{\cdot ,\cdot \}_{A^{*}}\) satisfies the Leibniz rule
$$\begin{aligned} \{f,g h\}_{A^{*}}=g \{f, h\}_{A^{*}}+ \{f,g\}_{A^{*}}h, \quad f,g,h\in C^{\infty }(A^{*}). \end{aligned}$$ -
3.
\(\{f,g\}_{A^{*}}\) is a fiberwise linear function if f and g are also fiberwise linear functions on \(A^{*}\).
The Poisson bracket is associated with a bi-vector \(\Lambda _{A^{*}}\) on \(A^{*}\) such that
There is a correspondence between sections of A and fiberwise linear functions on \(A^{*}\). If \(X\in \Gamma (A)\) then the corresponding linear function is denoted by \(\hat{X}:A^{*}\rightarrow \mathbb {R}\) and given by
for any \(\alpha _{q}\in A^{*}_{q}\).
Now, the following theorem (see [13, 17] for the proof) contains the correspondence between Lie algebroid and linear Poisson structures.
Theorem 2.2
There exists a one-to-one correspondence between Lie algebroid structures on the vector bundle \(\tau _{A}:A\rightarrow Q\) and linear Poisson structures on the dual bundle \(A^{*}\). The correspondence is determined by the relations
for \(X, Y\in \Gamma (A)\) and \(f\in C^{\infty }(Q)\).
If \(\{e_a\}\) is a local basis of sections for \(A\rightarrow Q\), the dual basis \(\{e^{a}\}\) is a local basis of sections for the dual bundle. In local coordinates \((q^{i},p_{a})\) on \(A^{*}\), adapted to the dual basis \(\{e^{a}\}\), the Poisson structure associated to a Lie algebroid \(\tau _{A}:A\rightarrow Q\) is given by the relations
Having fixed a Poisson structure we can provide Hamiltonian equations as follow. Let \(h:A^{*}\rightarrow \mathbb {R}\) be a Hamiltonian function. Then the Hamiltonian vector field is the vector field \(X_{h}\) characterized by
Alternatively, using the Poisson structure \(\Lambda _{A^{*}}\),
Thus, in local coordinates,
Therefore, the Hamilton equations are
Example 2.3
Consider the tangent bundle of a manifold Q. The sections of the bundle \(\tau _{TQ}:TQ\rightarrow Q\) are the set of vector fields on Q. The anchor map \(\rho :TQ\rightarrow TQ\) is the identity function and the Lie bracket defined on \(\Gamma (\tau _{TQ})\) is induced by the Lie bracket of vector fields on Q.
Note that in this case, Hamilton equations (2) become in the usual Hamilton equations
Example 2.4
Given a finite dimensional real Lie algebra \(\mathfrak {g}\) and \(Q=\{q\}\) be a unique point, we consider the vector bundle \(\tau _{\mathfrak {g}}:\mathfrak {g}\rightarrow Q.\) The sections of this bundle can be identified with the elements of \(\mathfrak {g}\) and therefore we can consider as the Lie bracket the structure of the Lie algebra induced by \(\mathfrak {g}\), and denoted by \([\cdot ,\cdot ]_{\mathfrak {g}}\). Since \(TQ=\{0\}\) one may consider the anchor map \(\rho \equiv 0\). The triple \((\mathfrak {g},[\cdot ,\cdot ]_{\mathfrak {g}},0)\) is a Lie algebroid over a point.
Note that in this case, Hamilton equations (2) become in the Lie-Poisson equations
3 Dissipative mechanical systems on Lie algebroids
Let us recall first the definition of a Jacobi structure (see [25, 26]).
Definition 3.1
(Jacobi structure) A Jacobi structure on a manifold M is a pair \((\Lambda ,E)\), where \(\Lambda \) is a bi-vector field and E is a vector field, satisfying the following equations
with \([\cdot ,\cdot ]\) the Schouten-Nijenhuis bracket.
Definition 3.2
(Jacobi bracket) A Jacobi bracket on a manifold M is a bilinear, skew-symmetric map \(\{\cdot ,\cdot \}:C^{\infty }(M)\times C^{\infty }(M) \rightarrow C^{\infty }(M)\) satisfying the Jacobi identity and the following weak Leibniz rule
A Jacobi manifold is a manifold possessing either a Jacobi structure or a Jacobi bracket since these two definitions are equivalent (see [21, 25, 26, 28]). However, it is much more convenient to introduce a Jacobi structure for practical purposes.
Now, from the Jacobi structure we can define an associated Jacobi bracket as follows:
In this case, the weak Leibniz rule is equivalent to the generalized Leibniz rule
In this sense, this bracket generalizes the well-known Poisson brackets. Indeed, a Poisson manifold is a particular case of Jacobi manifold in which \(E=0\).
Given a Jacobi manifold \((M,\Lambda ,E)\), we consider the map \(\sharp _{\Lambda }:\Omega ^{1}(M)\rightarrow \mathfrak {X}(M)\) defined by
We have that \(\sharp _{\Lambda }\) is a morphism of \(C^{\infty }\)-modules, though it may fail to be an isomorphism. Given a function \(f: M \rightarrow \mathbb {R}\) we define the Hamiltonian vector field \(X_f\) by
3.1 Contact Hamiltonian equations on Lie algebroids
Suppose that \(\tau _{A}:A\rightarrow Q\) is a Lie algebroid and \(\pi _{A^{*}}:A^{*}\rightarrow Q\) is its dual vector bundle equipped with the associated Poisson structure.
To formulate our contact Hamiltonian equations we will consider the vector bundle \(\pi _{1}:A^{*}\times \mathbb {R}\rightarrow Q\) given by \(\pi _{1}(\mu ,z)=\pi _{A^{*}}(\mu )\), where z is a global coordinate on \(\mathbb {R}\), so that the following diagram commutes
Next we will introduce two special vector fields: the Reeb vector field on \(A^{*}\times \mathbb {R}\) which is given in local coordinates by
and the Liouville vector field on \(A^{*}\times \mathbb {R}\) which is given by
or, in local coordinates, by
Theorem 3.3
Let \(\Lambda _{A^{*}}\) be the Poisson structure on \(A^{*}\) corresponding to the Lie algebroid structure on A. Then the pair \((\Lambda _{A^{*}\times \mathbb {R}}, E)\), where \(\Lambda _{A^{*}\times \mathbb {R}}\) is the bi-vector defined by
with \(\text {pr}_{1}:A^{*}\times \mathbb {R}\rightarrow A^{*}\) the projection onto the first factor, and \(E = -\mathcal {R}\) is a Jacobi structure on \(A^{*}\times \mathbb {R}\).
Proof
Using the fact that
where \(\Lambda _{A^{*}}\) is the Poisson structure on \(A^{*}\), \(\text {pr}_{1}:A^{*}\times \mathbb {R}\rightarrow A^{*}\) is the projection onto the first factor, \(\Delta ^{*}\) is the Liouville vector field and \(\mathcal {R}=\frac{\partial }{\partial z}\), we may deduce after some computations involving the Schouten-Nijenhuis bracket and interior products that (see [28])
where we used that \([\Delta ^{*} \wedge \mathcal {R}, \Lambda _{A^{*}}]=[\Lambda _{A^{*}}, \Delta ^{*} \wedge \mathcal {R}]\) (since \(\Lambda _{A^{*}}\) and \(\Delta ^{*} \wedge \mathcal {R}\) are both (2, 0)-tensors) and the fact that \([\Lambda _{A^{*}},\Delta ^{*}]= \Lambda _{A^{*}}\). The previous equality is equivalent to
using linearity and skew-symmetry of the wedge product.
In addition, we also have that \([\mathcal {R},\Lambda ]\) vanishes:
The first term vanishes since \(\Lambda _{A^{*}}\) is pulled-back from \(A^{*}\) and so \([\mathcal {R}, \Lambda _{A^{*}}] = \mathcal {L}_{\mathcal {R}} \Lambda _{A^{*}}=0\). The second term also vanishes since \([\mathcal {R}, \Delta ^{*} \wedge \mathcal {R}] = [\mathcal {R}, \Delta ^{*}]\wedge \mathcal {R}+ \Delta ^{*} \wedge [\mathcal {R}, \mathcal {R}] = [\mathcal {R}, \Delta ^{*}]\wedge \mathcal {R}\) and the Lie bracket of \([\mathcal {R}, \Delta ^{*}]\) is zero. Hence, \((\Lambda ,E=-\mathcal {R})\) is indeed a Jacobi structure. \(\square \)
Remark 3.4
The Jacobi structure proposed in the previous theorem is a particular case of the Jacobi structure introduced in [23, 24] using the cocycle \(\phi =(0,1)\in \Gamma (A^{*}\times \mathbb {R})\) in their construction.
The bi-vector \(\Lambda _{A^{*}\times \mathbb {R}}\) naturally generates a Jacobi bracket of functions following the usual definition
In local coordinates, we deduce
Definition 3.5
Given a Hamiltonian function \(h:A^{*}\times \mathbb {R}\rightarrow \mathbb {R}\), the contact Hamiltonian vector field is given by the relation
Hence, the local expression of \(X_{h}\) is
Example 3.6
When \(A=TQ\) is equipped with the Lie brackets and the anchor map is just the identity, then the Jacobi structure is the canonical one in \(T^{*}Q\times \mathbb {R}\). In that case, we recover the contact Hamiltonian equations in [15]
Example 3.7
When A is a Lie algebra, say \(A=\mathfrak {g}\), we find that the Hamiltonian vector field on \(\mathfrak {g}^{*}\times \mathbb {R}\) is just
which gives rise to the Lie–Jacobi equations
3.2 Herglotz equations on Lie algebroids
The Lagrangian function \(l:A\times \mathbb {R}\rightarrow \mathbb {R}\) is said to be regular if the fiber derivative map given by
where
is a diffeomorphism.
We also define the Liouville vector field on \(A\times \mathbb {R}\) to be
or, in local coordinates, by
The Lagrangian energy is the function \(E_{l}:A\times \mathbb {R}\rightarrow \mathbb {R}\) given by
whose local expression is
Theorem 3.8
If \(l:A\times \mathbb {R}\rightarrow \mathbb {R}\) is a regular contact Lagrangian function and \(h:A^{*}\times \mathbb {R}\rightarrow \mathbb {R}\) is the contact Hamiltonian function defined by \(h=E_{l}\circ (\mathbb {F} l)^{-1}\), then the curve \((\mu ,z):I\rightarrow A^{*}\times \mathbb {R}\) is an integral curve of the Hamiltonian vector field \(X_{h}\) if and only if the curve \((\alpha ,z)=(\mathbb {F} l)^{-1} \circ (\mu ,z)\) satisfies the Herglotz equations
Proof
Consider local coordinates in \(A\times \mathbb {R}\) and \(A^{*}\times \mathbb {R}\) given by \((q^{i},y^{a},z)\) and \((q^{i},p_{a}, z)\), respectively. In theses coordinates the fiber derivative has the local expression
Also, suppose that the image of the curve \((q^{i}(t), y^{a}(t), z(t))\) under \(\mathbb {F}l\) is the curve \((q^{i}(t),p_{a}(t), z(t)\) and that the former satisfies the contact Hamiltonian equations for the function h.
Let us pullback the Jacobi structure on \(A^{*}\times \mathbb {R}\) to the Lie algebroid \(A\times \mathbb {R}\) using the fiber derivative. The Jacobi bracket \(\{\cdot , \cdot \}\) of the pullback structure is determined by the relations
and the corresponding Reeb vector field R is the pullback of \(\mathcal {R}= \displaystyle {\frac{\partial }{\partial z}}\) on \(A^{*}\times \mathbb {R}\). Note that \(R(q^{i})=\mathcal {R}(q^{i}) = 0\), \(R(\frac{\partial l}{\partial y^{a}}) = \mathcal {R}(p_{a}) = 0\) and \(R(z)=\mathcal {R}(z)=1\).
Next, we will compute the time derivatives \(\dot{q}^{i}\), \(\dot{z}\) and \(\frac{d}{dt}\frac{\partial l}{\partial y^{a}}\) along the curve \((q^{i}(t), y^{a}(t), z(t))\). In the first place, we obtain that
We have that
and
Now, from the definition of Jacobi bracket of two functions in terms of the Jacobi structure—together with the local expression of the Jacobi brackets of coordinate functions—we deduce that
Thus, we have that
Now, we also have that
Analogously,
Using the same reasoning as before,
Hence,
Finally,
Therefore,
In addition, from
we conclude that
which finishes the proof. \(\square \)
Example 3.9
Note that in the case of the Lie alebroid \(A=TQ\), equations (12) are just Herglotz equations [2, 4, 14, 15]
Moreover, in the case of the Lie algebroid \(A=\mathfrak {g}\), equations (12) are the Euler–Poincaré–Herglotz equations
Example 3.10
Let \(\phi :Q\times G\rightarrow Q\) be an action of G on the manifold M where G is a Lie group. The induced anti-homomorphism between the Lie algebras \(\mathfrak {g}\) and \(\mathfrak {X}(Q)\) by the action is determined by \(\Phi :\mathfrak {g}\rightarrow \mathfrak {X}(Q)\), \(\xi \mapsto \xi _Q\), where \(\xi _{Q}\) is the infinitesimal generator of the action for \(\xi \in \mathfrak {g}.\)
The vector bundle \(\tau _{Q\times \mathfrak {g}}:Q\times \mathfrak {g}\rightarrow Q\) is a Lie algebroid over Q. The anchor map \(\rho :Q\times \mathfrak {g}\rightarrow TQ\), is defined by \(\rho (q,\xi )=\xi _{Q}(q)\) and the Lie bracket of sections is given by the Lie algebra structure on \(\Gamma (\tau _{Q\times \mathfrak {g}})\) as
for \(q\in Q\), where \(\hat{\xi }(q)=(q,\xi )\), \(\hat{\eta }(q)=(q,\eta )\) for \(\xi ,\eta \in \mathfrak {g}\). The triple \((Q\times \mathfrak {g}, \rho , {[\![\cdot ,\cdot ]\!]}_{Q\times \mathfrak {g}})\) is called Action Lie algebroid.
The Euler–Lagrange–Herglotz equations on the action Lie algebroid \(A=Q\times \mathfrak {g}\) are
4 Examples
4.1 Triaxial attitude control testbed
Motivated by the rigid body attitude dynamics studied in [9, 38] for the triaxial attitude control testbed given in [3], we will obtain Euler–Lagrange–Herglotz equations for this system seen as an action Lie algebroid. The model in a particular case of study is just the heavy top with a linear dissipation term as we describe in the following. Consider the Lie algebra \(\mathfrak {g}=\mathfrak {so}(3)\) and the manifold \(M=S^2\). An element of M will be considered as an unit vector \(\chi \) in \(\mathbb {R}^{3}\), representing the direction of the gravity as measured in the body coordinate frame, and an element of \(\mathfrak {so}(3)\) will also be considered as a vector \(\xi \) in \(\mathbb {R}^{3}\), representing the angular velocity in body coordinates.
The anchor map is \(\rho (\chi ,\xi )=(\chi ,\xi \times \chi )\in T_{\chi }S^2\) and the Lie bracket is \({[\![\xi _1,\xi _2]\!]}=\xi _1\times \xi _2\). The Lagrangian function is given by
\(\mathbb {I}: \mathfrak {so}(3)\rightarrow \mathfrak {so}(3)^{*}\) is the inertia tensor of the top (it is calculated with respect to the pivot, which is not, in general, the center of mass), m is the mass of the body, g is the acceleration due to gravity, \(\rho \in \mathbb {R}^{3}\) is the position of the center of mass which is a constant vector in the body coordinate frame, \(\chi \in \mathbb {R}^{3}\) is the direction of gravity as seen in the body coordinate frame, \(\ell \) is the length of the line segment between the center of mass and the contact point of the heavy top with the ground and \(\gamma \in \mathbb {R}\) is a dissipative term. By Example 3.10, the Euler–Lagrange–Herglotz equations on the action Lie algebroid \(A=S^2\times \mathfrak {so}(3)\) are
In the case where the dissipation matrix C from [38] (see section 3 in [38]) is \(\gamma \mathbb {I}\), we obtain the equations for rigid body dynamics studied in [38] and [9] for the triaxial attitude control testbed given in [3].
4.2 Atiyah algebroid and dissipative Wong’s equations
Let G be a Lie group and we assume that G acts freely and properly on Q. We denote by \(\pi :Q\rightarrow \widehat{Q}=Q/G\) the associated principal bundle. The tangent lift of the action gives a free and proper action of G on TQ and \(\widehat{TQ}=TQ/G\) is a quotient manifold. The quotient vector bundle \(\tau _{\widehat{TQ}}:\widehat{TQ}\rightarrow \widehat{Q}\) where \(\tau _{\widehat{TQ}}([v_q])=\pi (q)\) is a Lie algebroid over \(\widehat{Q}.\) The fiber of \(\widehat{TQ}\) over a point \(\pi (q)\in \widehat{Q}\) is isomorphic to \(T_{q}Q.\)
The Lie bracket is defined on the space \(\Gamma (\tau _{\widehat{TQ}})\) which is isomorphic to the Lie subalgebra of G-invariant vector fields, that is,
Thus, the Lie bracket on \(\widehat{TQ}\) is the bracket of G-invariant vector fields. The anchor map \(\rho :\widehat{TQ}\rightarrow T\widehat{Q}\) is given by \(\rho ([v_q])=T_{q}\pi (v_q).\) Moreover, \(\rho \) is a Lie algebra homomorpishm satisfying the compatibility condition since the G-invariant vector fields are \(\pi \)-projectable. This Lie algebroid is called Lie-Atiyah algebroid associated with the principal bundle \(\pi :Q\rightarrow \widehat{Q}.\)
Let \(\mathcal {A}:TQ\rightarrow \mathfrak {g}\) be a principal connection in the principal bundle \(\pi :Q\rightarrow \widehat{Q}\) and \(B:TQ\oplus TQ\rightarrow \mathfrak {g}\) be the curvature of \(\mathcal {A}.\) The connection determines an isomorphism \(\alpha _{\mathcal {A}}\) between the vector bundles \(\widehat{TQ}\rightarrow \widehat{Q}\) and \(T\widehat{Q}\oplus \widetilde{\mathfrak {g}}\rightarrow \widehat{Q}\), where \(\widetilde{\mathfrak {g}}=(Q\times \mathfrak {g})/G\) is the adjoint bundle associated with the principal bundle \(\pi :Q\rightarrow \widehat{Q}\) (see [8] for example).
We choose a local trivialization of the principal bundle \(\pi :Q\rightarrow \widehat{Q}\) to be \(U\times G,\) where U is an open subset of \(\widehat{Q}.\) Suppose that e is the identity of G, \((q^{i})\) are local coordinates on U and \(\{\xi _{A}\}\) is a basis of \(\mathfrak {g}.\)
Suppose that \( \{\xi _{A}\}\) is a basis of \(\mathfrak {g},\) and consider the G-invariant vector fields \(\{e_{A}\}\) on \(U\times G\) given by
where \(ad_{g}: \mathfrak {g}\rightarrow \mathfrak {g}\) is the adjoint action and \(\xi _{Q}\) is the fundamental vector on Q associated with \(\xi \in \mathfrak {g}\). If
for \(i,j= 1,\ldots , \dim (Q)-\dim (G)\), and \(q\in U,\) then the horizontal lift of the vector field \(\frac{\partial }{\partial q^{i}}\) is the vector field on \(\pi ^{-1}(U)\simeq U\times G\) given by
Therefore, the vector fields \(\{e_{i}, e_{A} \}\) on \(U\times G\) are G-invariant under the action of G over Q and define a local basis on \(\Gamma (\widehat{TQ})=\Gamma (\tau _{T\widehat{Q}\oplus \tilde{\mathfrak {g}}})\), which induces local coordinates \((q^{i},\dot{q}^{i},v^{A})\) on TQ/G.
The corresponding local structure functions of \(\tau _{\widehat{TQ}}:\widehat{TQ}\rightarrow \widehat{Q}\) are
being \(\{c_{AB}^{C}\}\) the constant structures of \(\mathfrak {g}\) with respect to the basis \(\{\xi _{A}\}\) (see [16] for more details). That is,
4.2.1 Lagrange–Poincaré–Herglotz equations
On this section, consider the local coordinates \((q^{i},\dot{q}^{i},v^{B})\) on \(\widehat{TQ}=TQ/G\) induced by the basis \(\{e_{i},e_{B}\}\).
Given a reduced contact Lagrangian function \(\ell :\widehat{TQ}\times \mathbb {R}\rightarrow \mathbb {R}\) associated with the Atiyah algebroid \(\widehat{TQ}\rightarrow \widehat{Q},\) the Euler–Lagrange equations for \(\ell \) are given by
which are the Lagrange–Poincaré–Herglotz equations associated to a G-invariant Lagrangian \(L:TQ\times \mathbb {R}\rightarrow \mathbb {R}\) (see [8] and [16] for example).
4.2.2 Dissipative Wong’s equations
To illustrate the theory that we have developed in this section, we will consider Wong’s equations. Wong’s equations arise in the dynamics of a charged particle in a Yang-Mills field and the falling cat theorem (see [39]; and also [8] and references therein). Our framework allows to include dissipative forces in these models.
Let \((M, g_{M})\) be a given Riemannian manifold, G be a compact Lie group with a bi-invariant Riemannian metric \(\kappa \) and \(\pi : Q \rightarrow M\) be a principal bundle with structure group G. Suppose that \({\mathfrak g}\) is the Lie algebra of G, that \(\mathcal {A}: TQ \rightarrow {\mathfrak g}\) is a principal connection on Q and that \(B: TQ \oplus TQ \rightarrow {\mathfrak g}\) is the curvature of \(\mathcal {A}\). If \(q \in Q\) then, using the connection \(\mathcal {A}\), one may prove that the tangent space to Q at q, \(T_{q}Q\), is isomorphic to the vector space \({\mathfrak g} \oplus T_{\pi (q)}M\). Thus, \(\kappa \) and \(g_{M}\) induce a Riemannian metric \(g_{Q}\) on Q and we can consider the kinetic contact energy \(L: TQ \times \mathbb {R}\rightarrow \mathbb {R}\) associated with \(g_{Q}\). The Lagrangian L is given by
for \(v_{q} \in T_{q}Q\), e being the identity element in G. It is clear that L is hyperregular and G-invariant.
On the other hand, since the Riemannian metric \(g_{Q}\) is also G-invariant, it induces a fiber metric \(g_{TQ/G}\) on the quotient vector bundle \(\tau _{Q}|G: TQ/G \rightarrow M = Q/G\). The reduced contact Lagrangian \(\ell : TQ/G \times \mathbb {R}\rightarrow \mathbb {R}\) is just the kinetic energy of the fiber metric \(g_{TQ/G}\), that is,
for \(v_{q} \in T_{q}Q\).
We have that \(\ell \) is hyperregular. In fact, the Legendre transformation associated with \(\ell \) is the map \(([v_{q}], z)\mapsto (\flat _{g_{TQ/G}}([v_{q}]),z)\), where \(\flat _{g_{TQ/G}}\) is the vector bundle isomorphism between TQ/G and \(T^{*}Q/G\) induced by the fiber metric \(g_{TQ/G}\).
Now, we choose a local trivialization of \(\pi : Q \rightarrow M\) to be \(U \times G\), where U is an open subset of M such that there are local coordinates \((x^{i})\) on U. Suppose that \(\{\xi _{A}\}\) is a basis of \({\mathfrak g}\), that \(c_{AB}^{D}\) are the structure constants of \({\mathfrak g}\) with respect to the basis \(\{\xi _{A}\}\), that \(\mathcal {A}_{i}^{A}\) (respectively, \(B_{ij}^{A}\)) are the components of \(\mathcal {A}\) (respectively, B) with respect to the local coordinates \((x^{i})\) and Lie algebra basis \(\{\xi _{A}\}\), and that
where \(\{\xi ^{A}\}\) is the dual basis to \(\{\xi _{A}\}\). Note that since \(\kappa \) is a bi-invariant metric on G, it follows that
Denote by \(\{e_i, \widehat{\xi }_A\}\) the local basis of G-invariant vector fields on Q, and by \((x^i,\dot{x}^i,v^A, z)\) the corresponding local fibred coordinates on \(TQ/G \times \mathbb {R}\). We have that
Thus, the Hessian matrix of \(\ell \), \(W_{\ell }\), is
The Lie algebroid Lagrange–Poincaré–Herglotz equations for the contact Lagrangian function \(\ell \) are given by
4.2.3 Hamilton–Poincaré–Herglotz equations
Given a reduced contact Hamiltonian function \(h:T^{*}Q/G \times \mathbb {R}\rightarrow \mathbb {R}\) associated with the Atiyah algebroid \(\widehat{TQ}\rightarrow \widehat{Q}\), let \(\{e_i, \widehat{\xi }_A\}\) be the local basis of G-invariant vector fields on Q, and \((q^i,\dot{q}^i,v^A)\) be the corresponding local fibred coordinates on TQ/G. Then, denote by \((q^i,p_i,\bar{p}_A)\) the (dual) coordinates on \(T^*Q/G\) and \((q^i,p_i,\bar{p}_A,z)\) the corresponding coordinates on \(T^*Q/G \times \mathbb {R}\).
In these coordinates, the contact Hamiltonian equations are given by
Given the reduced Lagrangian (14), the corresponding reduced Hamiltonian \(h: T^{*}Q/G \times \mathbb {R}\rightarrow \mathbb {R}\) is given by
for \(\alpha _{q} \in T^{*}_{q}Q\), where \(E_{\ell }\) is the Lagrangian energy function (11). In local coordinates,
where \((\kappa ^{AB})\) (respectively, \((g^{ij})\)) is the inverse matrix of \((\kappa _{AB})\) (respectively, \((g_{ij})\)).
The inverse of the Hessian matrix \(W_{\ell }\) is
The contact Hamiltonian equations for the contact Hamiltonian function h are given by
5 Conclusions
In this paper, we introduce Herglotz equations on Lie algebroids. More precisely, for a Lie algebroid A, we introduce a Jacobi structure on the product manifold \(A^{*}\times \mathbb {R}\) (using the linear Poisson structure on the dual bundle \(A^{*}\) associated with the Lie algebroid structure on A). When A is the standard Lie algebroid TQ, the Jacobi structure on \(T^{*}Q\times \mathbb {R}\) is just the canonical contact structure.
Moreover, in the presence of a Hamiltonian function \(h:A^{*}\times \mathbb {R}\rightarrow \mathbb {R}\), we consider the corresponding dynamical system on \(A^{*}\times \mathbb {R}\). In addition, if the Hamiltonian function is regular then a Lagrangian dynamics, induced by a Lagrangian function \(l: A\times \mathbb {R}\rightarrow \mathbb {R}\), may be considered on the space \(A\times \mathbb {R}\). The corresponding dynamical equations are the so-called Herglotz equations for the Lagrangian function l. When A is the standard Lie algebroid TQ, these equations are just the classical Herglotz equations that have been discussed previously in the literature (see for instance [2] and references therein). All these constructions are used to model dissipative mechanical systems on \(A\times \mathbb {R}\) and \(A^{*}\times \mathbb {R}\).
Some particular examples are discussed. In particular we first particularize our construction to the case of Lie algebras, centered semidirect products Lie groups (action Lie algebroids) and the Atiyah algebroid obtaining the Euler–Poincaré–Herglotz equations and Lagrange–Poincaré–Herglotz equations, respectively (correspondingly Lie–Poisson–Jacobi equations and Hamilton–Poincaré–Herglotz equations in the Hamiltonian side) and we derive, from a geometric viewpoint, the contact Wong’s equations from a Lagrangian and Hamiltonian viewpoint. In addition, we show as an example of action Lie algebroid the dynamical model for a triaxial attitude control testbed.
Availability of data and materials
Not applicable.
References
Abrunheiro, L., Colombo, L.: Lagrangian Lie subalgebroids generating dynamics for second-order mechanical systems on Lie algebroids. Mediterr. J. Math. 15(2), 1–19 (2018)
Anahory Simoes, A., Martín de Diego, D., Lainz Valcazar, M., de León, M.: On the geometry of discrete contact mechanics. J. Nonlinear Sci. 31(3), 53 (2021)
Bernstein, D.S., McClamroch, N.H., Bloch, A.: Development of air spindle and triaxial air bearing testbeds for spacecraft dynamics and control experiments. In: Proceedings of the 2001 American Control Conference.(Cat. No. 01CH37148), vol. 5. IEEE, pp. 3967–3972 (2001)
Bravetti, A.: Contact Hamiltonian dynamics: the concept and its use. Entropy 19(12), 535 (2017)
Bravetti, A.: Contact geometry and thermodynamics. Int. J. Geom. Methods Mod. Phys. 16, 1940003 (2018)
Cariñena, J., Nunes da Costa, J., Santos, P.: Quasi-coordinates from the point of view of Lie algebroid. J. Phys. A: Math. Theor. 40, 10031 (2007)
Cariñena, J., Martínez, E.: Lie Algebroid generalization of Geometric Mechanics. In: Lie Algebroids and Related Topics in Differential Geometry, Banach Center Publications, vol. 54, p. 201 (2001)
Cendra, H., Marsden, J., Ratiu, T.: Lagrangian reduction by stages. Memoirs of the American Mathematical Society, vol. 52, no. 722 (2001)
Cho, S., Shen J., McClamroch, N.H.: Mathematical models for the triaxial attitude control testbed. In: Mathematical and Computer Modelling of Dynamical Systems 9(2), 165–192 (2003)
Colombo, L.: Second-order constrained variational problems on Lie algebroids: applications to optimal control. J. Geom. Mech. 9(1), 1–45 (2017)
Cortés, J., de León, M., Marrero, J.C., Martínez, E.: Nonholonomic Lagrangian systems on Lie algebroids. Discrete Contin. Dyn. Syst. Ser. A 24(2), 213–271 (2009)
Cortés, J., Martínez, E.: Mechanical control systems on Lie algebroids. SIAM J. Control Optim. 41(5), 1389–1412 (2002)
Courant, T.J.: Dirac Manifolds. Trans. Am. Math. Soc. 319(2), 631–61 (1990)
de León, M., Lainz Valcázar, M.: Contact Hamiltonian systems. J. Math. Phys. 60(10), 102902 (2019)
de León, M., Lainz, M.: A review on contact Hamiltonian and Lagrangian systems. Rev. Real Acad. Ciencias Canaria XXXI–Mathematics, 1–46 (2019)
de León, M., Marrero, J.C., Martínez, E.: Lagrangian submanifolds and dynamics on Lie algebroids. J. Phys. A 38, R241 (2005)
de León, M., Marrero, J.C., Martín de Diego, D.: Linear almost Poisson structures and Hamilton–Jacobi equation Applications to nonholonomic mechanics. J. Geom. Mech. 2(2), 159–198 (2010)
Grabowska, K., Grabowski, J.: Variational calculus with constraints on general algebroids. J. Phys. A: Math. Theor. 41, 175204 (2008)
Grabowska, K., Urbanski, P., Grabowski, J.: Geometrical mechanics on algebroids. Int. J. Geom. Methods Modern Phys. 3(03), 559–75 (2006)
Grabowski, J., Jóźwikowski, M.: Pontryagin maximum principle on almost Lie algebroids. SIAM J. Control Optim. 49(3), 1306–1357 (2011)
Ibáñez, R., de León, M., Marrero, J.C., Martín de Diego, D.: Co-isotropic and Legendre–Lagrangian submanifolds and conformal Jacobi morphisms. J. Phys. A: Math. Gen. 30(15), 5427 (1997)
Iglesias, D., Marrero, J.C., Martín de Diego, D., Sosa, D.: Singular Lagrangian systems and variational constrained mechanics on Lie algebroids. Dyn. Syst. 23(3), 351–397 (2008)
Iglesias, D., Marrero, J.C.: Some linear Jacobi structures on vector bundles. C. R. Acad. Sci. Paris Ser. I Math. 331(2), 125–130 (2000)
Iglesias, D., Marrero, J.C.: Generalized Lie bialgebroids and Jacobi structure. J. Geom. Phys. 40(2), 176–199 (2001)
Kirillov, A.A.: Local Lie algebras. Akademiya Nauk SSSR i Moskovskoe Matematicheskoe Obshchestvo Uspekhi Matematich- eskikh Nauk 31(4-190), 57–76 (1976)
Lichnerowicz, A.: Les variétés de Jacobi et leurs algébres de Lie associées. J. Math. Pures Appl. (9) 57(4), 453–488 (1978)
Mackenzie, K.: General Theory of Lie Groupoids and Lie Algebroids. London Mathematical society Lecture Notes, vol. 213. Cambridge University Press, Cambridge (2005)
Marle, C.M.: The Schouten–Nijenhuis bracket and interior products. J. Geom. Phys. 23(3–4), 350–359 (1997)
Marrero, J.C.: Hamiltonian mechanical systems on Lie algebroids, unimodularity and preservation of volumes. J. Geom. Mech. 2, 243–263 (2010)
Marrero, J.C., Padrón, E., Rodríguez-Olmos, M.: Reduction of a symplectic-like Lie algebroid with momentum map and its application to fiberwise linear Poisson structures. J. Phys. A: Math. Theor. 45, 16520 (2012)
Martínez, E.: Classical field theory on Lie algebroids: variational aspects. J. Phys. A: Math. Gen. 38, 7145 (2005)
Martínez, E.: Variational calculus on Lie algebroids. ESAIM: Control Optim. Calc. Var. 14(2), 356–380 (2008)
Martínez, E.: Geometric formulation of Mechanics on Lie algebroids. In: Proceedings of the VIII Fall Workshop on Geometry and Physics, Medina del Campo, (1999) Publicaciones de la RSME, 2, pp. 209–222 (2001)
Martínez, E.: Lagrangian Mechanics on Lie algebroids. Acta Appl. Math. 67, 295–320 (2001)
Martínez, E.: Higher-order variational calculus on Lie algebroids. J. Geom. Mech. 7(1), 81–108 (2015)
Martínez, E.: Lie algebroids in classical mechanics and optimal control. SIGMA Symmetry Integrability Geom. Methods Appl. 3, 050 (2007)
Mestdag, T., Langerock, B.: A Lie algebroid framework for non-holonomic systems. J. Phys. A: Math. Gen. 38(5), 1097 (2005)
Shen, J., Sanyal, A.K., McClamroch, N.H.: Asymptotic stability of rigid body attitude systems. In: 42nd IEEE International Conference on Decision and Control (IEEE Cat. No. 03CH37475), vol. 1. IEEE, pp. 544–549 (2003)
Montgomery, R.: Canonical formulations of a particle in a Yang–Mills field. Lett. Math. Phys. 8, 59–67 (1984)
Weinstein, A.: Lagrangian Mechanics and Groupoids. Mechanics Day. Fields Institute Communications, Waterloo (1995)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. Alexandre Anahory Simoes, Leonardo Colombo and Manuel de León acknowledge financial support from Grant PID2019-106715GB-C21 and PID2022-137909NB-C2 funded by MCIN/AEI/ 10.13039/501100011033. Modesto Salgado and Silvia Souto acknowledge financial support of the Ministerio de Ciencia, Innovación y Universidades (Spain), projects PGC2018-098265-B-C33 and D2021-125515NB-21. We acknowledge the reviewers of the paper for the fruitful comments to improve the presentation of this work.
Author information
Authors and Affiliations
Contributions
Al authors contributed equally.
Corresponding authors
Ethics declarations
Conflict of interest
We, the authors declare we do not have any conflicts of interests.
Ethical approval
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Anahory Simoes, A., Colombo, L., de León, M. et al. Euler–Lagrange–Herglotz equations on Lie algebroids. Anal.Math.Phys. 14, 3 (2024). https://doi.org/10.1007/s13324-023-00859-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-023-00859-x