Abstract
Mechanical systems with singular and/or configuration-dependent mass matrix can pose difficulties to Hamiltonian formulations, which are the standard choice for the design of energy-momentum conserving time integrators. In this work, we derive a structure-preserving time integrator for constrained mechanical systems based on a mixed variational approach. Livens’ principle (or sometimes called Hamilton–Pontryagin principle) features independent velocity and momentum quantities and circumvents the need to invert the mass matrix. In particular, we take up the description of rigid body rotations using unit quaternions. Using Livens’ principle, a new and comparatively easy approach to the simulation of these problems is presented. The equations of motion are approximated by using (partitioned) midpoint discrete gradients, thus generating a new energy-momentum conserving integration scheme for mechanical systems with singular and/or configuration-dependent mass matrix. The derived method is second-order accurate and algorithmically preserves a generalized energy function as well as the holonomic constraints and momentum maps corresponding to symmetries of the system. We study the numerical performance of the newly devised scheme in representative examples for multibody and rigid body dynamics.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
1.1 State of the art
Dynamics modeling
Over time, two approaches to the description of dynamical systems have been developed: the well-known Lagrangian and Hamiltonian formalisms both consider descriptive energetic scalars and deploy certain operations on them to generate the system’s equations of motion [26]. However, another formulation, which unifies both frameworks by means of independent position, velocity, and momentum quantities, has been proposed by Livens [41]. Livens’ principle has been recently taken up (cf. [13, 27, 54]) under the name of Hamilton–Pontryagin principle due to its close relation to the Pontryagin principle from the field of optimal control [51]. Livens’ principle allows for an advantageous universal description due to its mixed character. In the previous works [32, 33] Livens’ principle serves as a basis for the design of a new variational principle for constrained dynamics.
Numerical integration
Over the last decades, numerical methods have been developed to solve the equations of motion approximately. The class of structure-preserving integrators seeks to inherit the conservation principles of dynamical systems in a discrete sense (cf. monographs such as Hairer et al. [24]). In the field of mechanics, structure-preserving integration schemes can be mainly divided into two different groups: symplectic methods, of which variational integrators are an important subclass, and energy-momentum (EM) integrators.
EM integrators are implicit methods that inherit the energy and momentum-map conservation of the time-continuous dynamical system in discrete time. These methods are popular due to the enhanced stability [23], allowing for robust long-time simulations. Mostly based on discrete gradients [21, 22, 28, 44], EM schemes typically build up on a Hamiltonian framework. This requires to set up a Hamiltonian function, such that the mass matrix (or inertia matrix) needs to be invertible.
Parametrizations of finite rotations
When simulating multibody system dynamics, the mathematical properties of the formulation heavily depend on the particular choice of coordinates. Especially the parametrization of rotational degrees of freedom offers a multitude of possibilities [1, 4, 15]. The investigation of rotations dates back to the historical work by Euler [16]. Possible ways to parameterize the three rotational degrees of freedom include, but are not limited to:
-
Euler angles: This minimal representation is non-unique, non-global and can induce the gimbal lock.
-
Rotation matrices / direction cosines / directors: They are unique and global, but have a high redundancy of six.
-
Unit quaternions / Euler parameters: They are non-uniqueFootnote 1 but global and only have a redundancy of one.
As an extension of complex numbers, which can be used to describe planar rotations, the concept of unit quaternions offers an appealing and widely-used approach to the description of spatial rotations. Basic textbooks on the fundamentals of quaternions can be found in [1, 36] and the seminal works by Haug [25] and Nikravesh [48]. Until now, unit quaternion parametrizations of spatial rigid body rotations and their numerical integration are an active field of research [29, 49, 52, 55, 60, 62, 63]. The standard approach yields a singular \(4 \times 4\) mass matrix, thus making a direct transition to the Hamiltonian setup impossible. Over time, Hamiltonian approaches have been developed nevertheless [3, 12, 42, 46, 62]. While novel methods using unit quaternions can still induce notable energy errors [55, 63], most EM methods in this context are based on the classical Euler’s equations [35, 39, 53, 57]. Only few works target the EM-consistent integration of rigid body rotations formulated in quaternions: Besides [47], another exception is [7], circumventing the need of an undetermined inertia term for setting up the Hamiltonian framework. This was achieved by starting from a director-based formulation of finite rotations with the nine independent components of the rotation matrix ([9, 34] or [38, Chap. 8]) and a subsequent size-reduction to obtain a regular mass matrix in the quaternion-based framework.
Non-standard mass matrices
In the previous works [32, 33], the usage of Livens’ principle has been restricted to constrained mechanical systems with constant mass matrix. However, in a multitude of frameworks, the mass matrix can even become singular or does depend on the coordinates themselves (cf. [18, 59]). Apart from easy model problems, where the singularity of the mass matrix can be overcome easily by means of modeling approaches, the rigid body dynamics formulated in unit quaternions (see above) is an important case. These cases pose some difficulties for Hamiltonian methods, since the inversion of the mass matrix might not be feasible. The advantageous structure of Livens’ principle with respect to non-standard mass matrices has only been recently explored in [31].
1.2 Present contributions
In the present work we make contributions in the following fields:
-
Multibody systems analysis: This paper introduces a novel approach to multibody systems with singular and/or configuration-dependent mass matrices, utilizing Livens’ principle [13, 27, 32, 33, 41]. Unlike Hamiltonian frameworks, this approach avoids the inversion of the mass matrix, providing a new basis for the development of structure-preserving time integrators.
-
Structure-preserving integrators: We design an energy- and momentum-consistent time integrator by directly discretizing Livens’ equations of motion in conjunction with Gonzalez discrete derivatives [21, 24]. This new EM integrator handles both singular and configuration-dependent mass matrices, ensuring time-discrete energy and momentum preservation and exact satisfaction of holonomic constraints. The design of such a method would not be feasible in this straightforward way in a Hamiltonian or Lagrangian framework.
-
Quaternion-based dynamics: The paper explores the unit quaternion representation for rigid body rotations and tailors a new EM integrator for this problem class. Leveraging Livens’ principle, we can set up in a straightforward manner the kinetic energy in terms of quaternions and quaternion velocities. In contrast to existing approaches [7, 47, 62], here one does not require a sophisticated augmentation of the mass matrix with additional inertia terms.
1.3 Outline
The outline of the present work is as follows: In Sect. 2 the fundamentals of the dynamics of mechanical system are briefly outlined. After recapitulating Lagrangian and Hamiltonian mechanics of holonomically constrained systems, we introduce Livens’ principle in Sect. 2.3. After that, the usage of unit quaternions (or Euler parameters) for the parametrization of the rotational dynamics of rigid bodies are covered by Sect. 3. This includes a revision of necessary fundamentals as well as a demonstration, how Livens’ principle provides a new modelling approach in this context (see Sect. 3.3). In Sect. 4 we discretize the deduced equations of motion pertaining to Livens’ principle using discrete derivatives to obtain a new EM-consistent time-stepping scheme, which is used in Sect. 5 for the simulation of representative example problems. Section 6 concludes this paper by reviewing the main findings and giving a short outlook for future research directions. The Appendix contains useful relations and definitions, which are not crucial to understand the main concepts and ideas of the bulk part of this work. Especially, we include the Hamiltonian reference procedure from [7], see Appendix D.
Notation
Throughout this work we follow the upcoming notation rules. Column vectors \(\mbox{$\boldsymbol {a}$} , \mbox{$\boldsymbol {b}$} ,{\boldsymbol {\mu}} \in \mathbb{R}^{n}\) just use an italic, bold font, and lowercase letters, and their row vector counterpart is obtained from transposition, i.e., \(\mbox{$\boldsymbol {a}$} ^{\mkern -1.5mu\mathsf {T}}, \mbox{$\boldsymbol {b}$} ^{\mkern -1.5mu\mathsf {T}}, {\boldsymbol {\mu}} ^{\mkern -1.5mu\mathsf {T}}\in \mathbb{R}^{1 \times n}\). A matrix \(\mbox{$\mathbf {A}$} \in \mathbb{R}^{n \times m}\) uses bold font as well, but typically assumes uppercase letters. Matrix transposition is denoted by \(\mbox{$\mathbf {A}$} ^{\mkern -1.5mu\mathsf {T}}\). A scalar quantity is written using normal font, e.g., \(V \in \mathbb{R}\). Quaternions are indicated using blackboard-typed font, e.g., , . Scalar-multiplication uses the dot product or \(\mbox{$\boldsymbol {a}$} \cdot \mbox{$\boldsymbol {b}$} \). The outer (or dyadic) product of two vectors \(\mbox{$\boldsymbol {a}$} \otimes \mbox{$\boldsymbol {b}$} \) yields a matrix with components \(a_{i} b_{j}\). Matrix-vector multiplication is denoted as \(\mbox{$\mathbf {A}$} \mbox{$\boldsymbol {b}$} \) or . The \(d \times d\) identity matrix is denoted by \(\mbox{$\mathbf {I}$} _{d \times d}\). Moreover, we define column concatenation and a row concatenation such that
Partial derivatives are denoted by \(\partial _{x} f(x,y)\) and the gradient operator of functions with multiple arguments is given by \(\nabla f(x,y) = [\partial _{x} f \ \partial _{y} f]^{\mkern -1.5mu\mathsf {T}}\). If not stated otherwise, \(|| \square ||\) denotes the standard Euclidean norm. The widehat-notation (see, e.g., [26]) will be used, such that the cross-product \(\mbox{$\boldsymbol {a}$} \times \mbox{$\boldsymbol {b}$} = \widehat{ \mbox{$\mathbf {a}$} } \mbox{$\boldsymbol {b}$} \) is formulated with the skew-symmetric matrix
where \(a_{i}\) denotes the \(i\)th component of vector \(\mbox{$\boldsymbol {a}$} \) in a given coordinate frame. If not mentioned differently, we assume this to be an inertial and Euclidean coordinate frame, denoted by \(\{ \mbox{$\boldsymbol {e}$} _{i} \}\).
2 Dynamics modeling
In this chapter, we review the fundamentals of conservative Lagrangian and Hamiltonian formulations for the dynamics of holonomically constrained systems in Sect. 2.1 and Sect. 2.2, respectively. Subsequently, we present the alternative formulation using Livens’ principle in Sect. 2.3 and demonstrate its conservation principles.
2.1 Lagrangian dynamics
Consider the motion of a conservative dynamical system in a time interval of interest \(\mathcal{T} = [0,t_{\mathrm{end}}]\) with \(n\) coordinates \(\mbox{$\boldsymbol {q}$} : \mathcal{T} \rightarrow \mathcal{Q}\), the configuration space, which is constrained by \(m\) independent scleronomic, holonomic constraint equations \(g_{k} \colon \mathcal{Q} \rightarrow \mathbb{R}\) (\(k=1, \ldots ,m\)) comprised in a column-vector such that
Correspondingly, the configuration space is given by
and hidden velocity constraints are imposed due to consistency requiring
where the constraint Jacobian has rank \(m\) due to the independence of the constraints. Admissible velocities \(\dot{ \mbox{$\boldsymbol {q}$} }\) belong to the tangent space
henceforth omitting time-dependency for clarity. The motion of such a dynamical system is determined by Hamilton’s principle of least action, which ensures the stationarity of the action integral leading to
In the last relation Lagrange multipliers \(\mbox{$\boldsymbol {\lambda}$} : \mathcal{T} \rightarrow \mathbb{R}^{m}\) have been introduced to enforce constraint equation (3). Moreover, \(L: T\mathcal{Q} \rightarrow \mathbb{R}\) is the Lagrange function. In this work we consider separable forms
where the kinetic energy function \(T: T\mathcal{Q} \rightarrow \mathbb{R}\) is set up using the symmetric, positive semidefinite mass matrix \(\mbox{$\mathbf {M}$} : \mathcal{Q} \rightarrow \mathbb{R}^{n \times n}\), which is explicitly allowed to have rank deficiency. Moreover, in (8), \(V: \mathcal{Q} \rightarrow \mathbb{R}\) denotes the potential energy function. For the present case, the dynamics are governed by constraints as well, making it reasonable to define an augmented Lagrangian
The variational principle (7) leads to the well-known Lagrangian equations of the first kind as corresponding Euler–Lagrange equations, i.e.,
The total energy of the system in the Lagrangian setup is given by the sum of kinetic and potential energy, i.e.,
2.2 Hamiltonian dynamics
The Hamiltonian framework for conservative dynamical systems can be derived under some assumptions using a Legendre transformation, yielding a map from the tangent bundle \(T\mathcal{Q}\) to the co-tangent bundle
Definition 2.1
Given a Lagrangian system, the corresponding Hamiltonian function \(H: T^{*}\mathcal{Q} \rightarrow \mathbb{R} \) can be obtained by employing a Legendre transformation \(F_{L}: ( \mbox{$\boldsymbol {q}$} ,\dot{ \mbox{$\boldsymbol {q}$} }) \mapsto ( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {p}$} )\), where the conjugate momenta are defined a priori using the fiber derivative
such that
This Legendre transformation exists only if relation (13) can be inverted, i.e., if systems with Lagrange function (8) have an invertible mass matrix. If this is the case, the system’s Hamiltonian pertaining to the augmented Lagrangian (9) reads
where \(T^{*}: T^{*}\mathcal{Q} \rightarrow \mathbb{R}\) denotes the kinetic co-energy, satisfying \(T^{*}( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {p}$} ) = T( \mbox{$\boldsymbol {q}$} ,\dot{ \mbox{$\boldsymbol {q}$} }( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {p}$} ))\). Relation (15) also demonstrates that the Hamiltonian can be identified with the total energy of the system in the Hamiltonian setup corresponding to (11).
Eventually, for the constrained mechanical systems of our interest, the well-known Hamiltonian equations of motion appear in their canonical form as first order ordinary differential equations
As the transition to the Hamiltonian framework may not be feasible in general, we now want to introduce a different and more general framework, which circumvents the inversion of the system’s mass matrix.
2.3 Livens’ principle
From Hamilton’s principle of least action (7) one can proceed by allowing the velocities to be independent variables \(\mbox{$\boldsymbol {v}$} \in T_{ \mbox{$\boldsymbol {q}$} } \mathcal{Q}\). The kinematic relation \(\dot{ \mbox{$\boldsymbol {q}$} } = \mbox{$\boldsymbol {v}$} \) can be enforced by means of Lagrange multipliers \(\mbox{$\boldsymbol {p}$} \in T^{*}_{ \mbox{$\boldsymbol {q}$} } \mathcal{Q}\).
Definition 2.2
The augmented action integral for Livens’ principle accounting for holonomic constraints reads
Initially termed Livens’ principle (cf. Sect. 26.2 in Pars [50]) after G.H. Livens, who proposed this functional for the first time (cf. Livens [41]), Marsden and co-workers (e.g., [13]) coined the name Hamilton–Pontryagin principle for this functional due to its close relation to the classical Pontryagin principle from the field of optimal control. Due to its mixed character with three independent fields (\(\mbox{$\boldsymbol {q}$} \), \(\mbox{$\boldsymbol {v}$} \), \(\mbox{$\boldsymbol {p}$} \)), it resembles the Hu–Washizu principle from the area of elasticity theory. Initially, this principle did not account for constraints. More recently, preliminary works [32, 33] have taken up Livens’ principle to obtain a novel variational principle, the GGL principle, which extends Livens’ principle to holonomically constrained systems and explicitly accounts for velocity constraints in the sense of (5).
By stating the stationary condition
and executing the variations with respect to every independent variable, one obtains the equations of motion
where the arbitrariness of variations and standard endpoint conditions \(\delta \mbox{$\boldsymbol {q}$} (t=0) = \delta \mbox{$\boldsymbol {q}$} (t=T) = \mbox{$\boldsymbol {0}$} \) have been taken into account. With regard to (19c), the Lagrange multiplier \(\mbox{$\boldsymbol {p}$} \) can be identified as the conjugate momentum. Thus, Livens’ principle automatically accounts for the Legendre transformation (see Def. 2.1), whereas within the framework of Hamiltonian dynamics momentum variables have to be defined a priori using the fiber derivative.
It can be shown that the above differential algebraic equations (DAEs) (19a)–(19d) have differentiation index 3 (see, for example, [37]), which can lead to numerical instabilities. An index reduction using the classical Gear–Gupta–Leimkuhler stabilization [19] or an expansion of (17) to account also for the hidden constraints (cf. GGL principle in [32, 33]) can circumvent the arising problems.
In analogy to (14), a generalized energy function can be introduced as follows.
Definition 2.3
Given a Lagrangian (8) the quantity
is called a generalized energy function and \(E_{\mathrm{kin}}( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} , \mbox{$\boldsymbol {p}$} ) := \mbox{$\boldsymbol {p}$} \cdot \mbox{$\boldsymbol {v}$} - T( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} ) \) is the corresponding generalized kinetic energy function, both being defined for independent coordinates, velocities and momenta.
Remark 2.4
Alternative form of Livens’ principle
Using the generalized energy function, (17) can be recast as
such that the Euler–Lagrange equations (19a)–(19d) are equivalently given by
Proposition 2.5
The generalized energy (20) is a conserved quantity along solutions of (19a)–(19d).
Proof
We compute
where the partial derivatives of \(E\) have been used and (22a)–(22d) has been inserted. Thus, the second term vanishes while the first and third term cancel each other. Having in mind that (5) holds, also this last part is zero, such that \(\,\mathrm {d} E / \mathrm {d}t= 0\). □
Proposition 2.6
Assume that a dynamical system has symmetry, i.e., it satisfies the invariance properties
where \(( \textit{$\boldsymbol {q}$} ^{\alpha}, \textit{$\boldsymbol {v}$} ^{\alpha})\) are one-parameter curves in the configuration space (4) and tangent space (6), respectively, resulting from the action of a matrix group \(G\) on the configuration space. Then, according to Noether’s theorem, each symmetry induces the conservation of an associated momentum map, defined by
where \(\textit{$\boldsymbol {\xi}$} \) is an element of the Lie algebra of \(G\).
Proof
Livens’ principle with constraints is a special case of the GGL principle. The proposition follows from a proof in analogy to Sect. 2.2.1 and 3.2.1 in [32]. The reference is restricted to constant mass matrices. However, this does not alter the deduction of the proof. □
Remark 2.7
Equivalence with Lagrangian dynamics
Note that reinserting (19c) into (19b) yields
which traces back to the Lagrangian equations of the first kind (10), after substituting (26a) into (26b).
Remark 2.8
Equivalence with Hamiltonian dynamics
For mechanical systems with Lagrangian (8) where the mass matrix is invertible, relation (19c) yields \(\mbox{$\mathbf {M}$} ( \mbox{$\boldsymbol {q}$} )^{\mathrm{-1}} \mbox{$\boldsymbol {p}$} = \mbox{$\boldsymbol {v}$} \). Then, (19a), (19b), and (19d) directly lead to the canonical Hamiltonian equations of motion (16a)–(16c). Moreover, in this case, the generalized energy function can be identified as the Hamiltonian, such that \(E( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} ( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {p}$} ), \mbox{$\boldsymbol {p}$} ) = H( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {p}$} )\).
3 Unit quaternions for rigid body rotations
In this section, we briefly introduce the notion of unit quaternions (or Euler parameters) and their application for rigid body rotations. Section 3.3 represents the core of the underlying work: We show that the naturally emerging singular mass matrix can be directly used for simulation when using Livens’ principle (see Chap. 2).
3.1 Unit quaternions
A quaternion can be considered as a 4-tuple combining a scalar part \(q_{0} \in \mathbb{R}\) and a vector part \(\mbox{$\boldsymbol {q}$} \in \mathbb{R}^{3}\) with components \(q_{i}\). Correspondingly, we use the notation , which is equivalent to
Moreover, quaternion multiplication for two quaternions is defined as
Multiplication (28) is not commutative due to the presence of the cross-product within the vector-part, but associative, i.e., . The identity element for multiplication such that , is given by . Additionally, the conjugate quaternion is given by , and it can be shown that . The Euclidean norm of a quaternion is computed via
Especially helpful is the notion of unit quaternions. Unit quaternions are a subset of all quaternions satisfying the unit length condition , which can be recast as
with the corresponding group of unity quaternions \(Sp(1)\), the symplectic group, which can be identified with the 4-dimensional unit hypersphere
For a detailed introduction to quaternions, we refer to [1, 36].
3.2 Linear algebra representation
It is quite handy to define certain matrix operations in order to recast the quaternion multiplication (28). Thus, following [36], we make use of the representation given by
with the \(4 \times 4\) matrices
the inverses of which can be found in (134). In (33a)–(33b), there are moreover the quantities
defined, as well as the \(3 \times 4\) matrices
Remember the widehat-notation (2). The linear algebra representation (32) can also be written as the exponential map [7, 56] with
3.3 Rotational dynamics of rigid bodies
Consider a rigid body undergoing a pure rotation about the origin \(O\) of an orthonormal frame \(\{ \mbox{$\boldsymbol {e}$} _{i}\}\). The reference configuration occupies the regular domain ℬ, and every point is uniquely defined by its material vector \(\mbox{$\boldsymbol {X}$} = X_{i} \mbox{$\boldsymbol {e}$} _{i} \in \mathcal{B}\). For simplicity, we assume \(O\) to be the center of mass and \(\mbox{$\boldsymbol {e}$} _{i}\) coincides with the principal axes of ℬ. During motion the spatial position may be addressed via \(\mbox{$\boldsymbol {x}$} ( \mbox{$\boldsymbol {X}$} ,t) = \mbox{$\mathbf {R}$} (t) \mbox{$\boldsymbol {X}$} \), where the rotation matrix \(\mbox{$\mathbf {R}$} = \mbox{$\mathbf {R}$} ^{\mkern -1.5mu\mathsf {-T}}\in SO(3)\), the special orthogonal group in three dimensions, describes the time-dependency of a local (body-fixed) frame \(\{ \mbox{$\boldsymbol {d}$} _{i}\}\) as \(\mbox{$\boldsymbol {d}$} _{i}(t) = \mbox{$\mathbf {R}$} (t) \mbox{$\boldsymbol {e}$} _{i}\). The body’s kinetic energy is therefore given by
where \(\rho _{0} : \mathcal{B} \rightarrow \mathbb{R}_{+}\) denotes the material mass density and \(\dot{ \mbox{$\boldsymbol {x}$} }( \mbox{$\boldsymbol {X}$} ,t) = \dot{ \mbox{$\mathbf {R}$} }(t) \mbox{$\boldsymbol {X}$} \) is a material velocity vector. It is common to describe the rotational motion in terms of angular velocity vectors, e.g., using the spatial angular velocity \(\mbox{$\boldsymbol {\omega}$} \) such that \(\dot{ \mbox{$\boldsymbol {x}$} }( \mbox{$\boldsymbol {X}$} ,t) = \mbox{$\boldsymbol {\omega}$} (t) \times \mbox{$\boldsymbol {x}$} ( \mbox{$\boldsymbol {X}$} ,t) = \widehat{ \mbox{$\boldsymbol {\omega}$} } \mbox{$\boldsymbol {x}$} \). Using the relation \(\mbox{$\boldsymbol {\omega}$} = \mbox{$\mathbf {R}$} \mbox{$\boldsymbol {\Omega}$} \), the convective counterpart, the material representation \(\mbox{$\boldsymbol {\Omega}$} \) of the angular velocity is obtained. Note the important relation \(\dot{ \mbox{$\mathbf {R}$} } = \mbox{$\mathbf {R}$} \widehat{ \mbox{$\boldsymbol {\Omega}$} } = \widehat{ \mbox{$\boldsymbol {\omega}$} } \mbox{$\mathbf {R}$} \), which leads to \(\dot{ \mbox{$\boldsymbol {x}$} } = \mbox{$\mathbf {R}$} \widehat{ \mbox{$\boldsymbol {\Omega}$} } \mbox{$\boldsymbol {X}$} = - \mbox{$\mathbf {R}$} \widehat{ \mbox{$\boldsymbol {X}$} } \mbox{$\boldsymbol {\Omega}$} \). Plugging this into (37) eventually leads to another representation of the kinetic energy in terms of the convective angular velocity (see, e.g., [9])
with the convected inertia tensor
which can be diagonalized using its principal values \(J_{0}^{i}\).
An important result from Euler’s theorem of rotations [16] is that any rotation of a rigid body may be specified by a rotation axis and a rotation angle, such that the rotation vector is given by \({\boldsymbol {\vartheta}} = \vartheta \mbox{$\boldsymbol {n}$} \) with the unit vector \(\mbox{$\boldsymbol {n}$} = {\boldsymbol {\vartheta}}/\mathopen{\lVert }{\boldsymbol {\vartheta}}\mathclose{\rVert } \in S^{2}\), the unit sphere in \(\mathbb{R}^{3}\), and the rotation angle \(\vartheta = \mathopen{\lVert }{\boldsymbol {\vartheta}}\mathclose{\rVert } \in \mathbb{R}\). The unit quaternion describing this rotation is obtained by using the appropriate exponential map (see [56]) yielding
This relation has given unit quaternions an alternative name: Euler parameters. This has led to the development to parameterize rigid body rotations by using unit quaternions , i.e., it satisfies the holonomic unity constraint (30) at all times. Remembering (5), this induces hidden (velocity-level) constraints as
such that the tangent space is defined via
The velocity constraint (41) can alternatively be written as . Based on this representation, it can be shown that the convective angular velocity \(\mbox{$\boldsymbol {\Omega}$} \) satisfies , see [8] for the details. Correspondingly, the convective angular velocity \(\mbox{$\boldsymbol {\Omega}$} \) and its spatial counterpart \(\mbox{$\boldsymbol {\omega}$} \) can be written as
and the inverse relations
which can be verified using (135). As core of this work, we can now rewrite the kinetic energy (38) in terms of unit quaternions and their velocities as
along with the \(4 \times 4\) mass matrix
which is singular for all since has rank three. Thus also \(\tilde{ \mbox{$\mathbf {M}$} }_{4}\) has only rank three. While many works need to avoid the singularity of the mass matrix for example by augmenting it, this does not bother us when making use of Livens’ principle. For the rotational dynamics, Livens’ equations of motion become
The two partial derivatives read
where we additionally allow for potential forces, e.g., due to gravity.
Remark 3.1
We refer to [7] for an insightful discourse on how to perform the transition from a rotation matrix \(\mbox{$\mathbf {R}$} \in SO(3)\) to unit quaternions. In this context the rotation of a vector \({\boldsymbol {\xi}} \in \mathbb{R}^{3}\) can be described by
Consequently, the rotation matrix can be linked to the quaternion representation and its transformation matrices (35a)–(35b) via
Making use of (136), it can be checked that this automatically ensures the proper orthogonality of the rotation matrix. In terms of the quaternion components the rotation matrix eventually reads
see, e.g., [47]. This relation can also be obtained using the Rodrigues formula (see, e.g., [11, 47])
featuring the angle-axis representation from (40) and making use of double-angle formulas.
3.4 Conservation of angular momentum
Here, we show the invariance of the kinetic energy of a rigid body (45) with respect to superposed rotations. In accordance with Noether’s theorem, this leads to a conserved quantity, the angular momentum (see Proposition 2.6). To this end, consider a one-parameter family of rigid body rotations about the axis defined by \({\boldsymbol {\xi}\in \mathbb{R}^{3}}\) given by , see (40), such that
Corollary 3.2
The convective angular velocity (43) is invariant under superposed rotations such that
This induces the symmetry
for the kinetic energy of the rigid body.
Proof
We demonstrate that
which is identical with
In view of (33a)–(33b) this implies
which concludes the proof due to definition (43). □
We now want to highlight that under certain assumptions Corollary 3.2 induces symmetry of the total dynamical system, in correspondence with Proposition 2.6.
Proposition 3.3
Given the rotational invariance of the potential energy, i.e., , the rotational dynamics of a rigid body has symmetry in the sense of
where the constraint is given by the unity constraint of quaternions (30).
Proof
In view of (134), one can define the constraint invariant
This proves the second symmetry condition. The first one follows from the assumption as well as Corollary 3.2. □
Corresponding to (59), there are infinitesimal invariance conditions given by
which make use of the exponential map (36). Applying the chain rule, taking the sum, and making use of the definition of an augmented Lagrangian (9), this yields
Proposition 3.4
The angular momentumFootnote 2 (see [7])
is preserved about a symmetry axis defined by \(\textit{$\boldsymbol {\xi}$} \). The corresponding momentum map is given by
and satisfies \(\frac{ \,\mathrm {d} }{ \,\mathrm {d} t}L_{\boldsymbol {\xi}} =0\).
Proof
Executing the time derivative yields
and can be compared with (63). This leads us to the conditions
conforming with the angular momentum map (65). □
4 Structure-preserving discretization
In this section, a novel integration method, which conserves first integrals of the equations of motion pertaining to Livens’ principle, e.g., the generalized energy function \(E\), is proposed. This scheme results from a direct discretization of the Euler–Lagrange equations (19a)–(19d) emanating from Livens’ principle with constraints. Particularly, discrete derivatives are used, and we focus on the ones in the sense of Gonzalez [21]. The scheme is specified for rigid body rotations using unit quaternions. In addition to that, we propose a size reduction procedure to enhance computational efficiency.
For the discretization in time, the time interval of interest is divided into \(N \in \mathbb{N}\) subintervals, i.e.,
of constant time step size \(h \in \mathbb{R}\), with \(t^{n}= n h\). Correspondingly, approximations at the discrete points in time are addressed via \(\square ^{n}\approx \square (t^{n})\) and \(t^{n+1}\) is referred to as endpoint of the respective time interval.
4.1 Discrete gradients
Discrete gradients are a popular tool for generating geometric integration methods for dynamical systems. A general definition is as follows.
Definition 4.1
Discrete gradients, see [24]
Given a function \(f : \mathbb{R}^{n} \rightarrow \mathbb{R} \), an operator \(\overline {\nabla } : \mathbb{R}^{n} \times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n} \) is called discrete gradient if it is a continuous function satisfying
-
1.
Directionality
$$\begin{aligned} \overline {\nabla } f( \mbox{$\boldsymbol {x}$} , \mbox{$\boldsymbol {y}$} ) \cdot ( \mbox{$\boldsymbol {y}$} - \mbox{$\boldsymbol {x}$} ) = f( \mbox{$\boldsymbol {y}$} ) -f ( \mbox{$\boldsymbol {x}$} ) \text{,} \end{aligned}$$(69) -
2.
Consistency
$$\begin{aligned} \overline {\nabla } f\left ( \mbox{$\boldsymbol {x}$} , \mbox{$\boldsymbol {x}$} \right ) = \nabla f\left ( \mbox{$\boldsymbol {x}$} \right ) \text{.} \end{aligned}$$(70)
In particular, we restrict ourselves to a specific type of discrete gradients, which can yield symmetric methods of second order accuracy, as they represent second-order approximations to the exact gradients.
Definition 4.2
Gonzalez discrete gradient, see [21]
For a given function \(f : \mathbb{R}^{n} \rightarrow \mathbb{R} \), the Gonzalez (or midpoint) discrete gradient \(\overline {\nabla } : \mathbb{R}^{n} \times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n} \) is defined by
4.2 Livens-based energy-momentum integrator
We are now in a position to discretize the Euler–Lagrange equations from Livens’ principle (19a)–(19d) in time, using Gonzalez discrete derivatives (71). Specifically, partial discrete derivatives are used. Moreover, temporal derivatives are approximated in terms of difference quotients, and the constraint functions are evaluated in the endpoint \(t^{n+1}\).
Thus, we propose the energy-momentum (EM) integrator, governed by
where we use midpoint interpolations \(\mbox{$\boldsymbol {v}$} ^{n+1/2}= \frac{1}{2}( \mbox{$\boldsymbol {v}$} ^{n}+ \mbox{$\boldsymbol {v}$} ^{n+1})\) and \(\mbox{$\boldsymbol {p}$} ^{n+1/2}= \frac{1}{2}( \mbox{$\boldsymbol {p}$} ^{n}+ \mbox{$\boldsymbol {p}$} ^{n+1})\). Moreover, \(\overline {\partial } _{ \mbox{$\boldsymbol {q}$} }\) and \(\overline {\partial } _{ \mbox{$\boldsymbol {v}$} }\) denote the partitioned discrete derivatives, which are described for the sake of completeness in Appendix A. Directionality condition (69) extends to partitioned discrete derivatives such that
where \(\Delta \mbox{$\boldsymbol {q}$} = \mbox{$\boldsymbol {q}$} ^{n+1}- \mbox{$\boldsymbol {q}$} ^{n}\) and \(\Delta \mbox{$\boldsymbol {v}$} = \mbox{$\boldsymbol {v}$} ^{n+1}- \mbox{$\boldsymbol {v}$} ^{n}\).
Definition 4.3
A discrete version of the generalized energy function (20) is given by
Proposition 4.4
The discrete-time generalized energy (74) is conserved by time-stepping method (72a)–(72d).
Proof
Scalar multiplying (72b) with \(\Delta \mbox{$\boldsymbol {q}$} \) and adding the scalar product of (72c) with \(\Delta \mbox{$\boldsymbol {v}$} \) yields
Inserting (72a) and making use of the directionality property gives
After cancelling some terms on the left-hand side of the previous relation and taking into account that the constraints are identically satisfied in each time step (see (72d)), one eventually arrives at
which concludes the proof. □
Remark 4.5
In compliance with Noether’s theorem (see Proposition 2.6), the present integrator preserves momentum maps also in the discrete setting, i.e.,
See Sect. 4.4 for the proof of the preserved angular momentum map for rigid body rotations. An analogous proof for the general case can be found in [32].
Proposition 4.6
The discrete fiber derivative (72c) in general does not imply a pointwise fulfillment of the continuous fiber derivative. That is, \(\textit{$\boldsymbol {p}$} ^{n}= \textit{$\mathbf {M}$} ( \textit{$\boldsymbol {q}$} ^{n}) \textit{$\boldsymbol {v}$} ^{n}\) does not hold in general. However, the relation \(\textit{$\boldsymbol {p}$} ^{n}= \textit{$\mathbf {M}$} \textit{$\boldsymbol {v}$} ^{n}\) is satisfied for constant mass matrices. As a consequence, the discretized Hamiltonian
and the discrete total energy
are only identical to the discrete energy function (74) if the mass matrix is constant.
Proof
With the kinetic energy from (8) it can be verified that
such that with the discrete gradient design from Appendix A, eventually
Consequently, the discrete fiber derivative (72c) yields
In the case of a constant mass matrix, the discrete derivative is given by \(\overline {\partial } _{ \mbox{$\boldsymbol {v}$} } T ( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} ) = \mbox{$\mathbf {M}$} \mbox{$\boldsymbol {v}$} ^{n+1/2}\). Accordingly, the discrete fiber derivative (72c) yields \(\mbox{$\boldsymbol {p}$} ^{n+1/2}= \mbox{$\mathbf {M}$} \mbox{$\boldsymbol {v}$} ^{n+1/2}\). Consequently, provided that \(\mbox{$\boldsymbol {p}$} ^{n}= \mbox{$\mathbf {M}$} \mbox{$\boldsymbol {v}$} ^{n}\) is satisfied, \(\mbox{$\boldsymbol {p}$} ^{n+1}= \mbox{$\mathbf {M}$} \mbox{$\boldsymbol {v}$} ^{n+1}\) is fulfilled, too. Assuming that consistent initial values are chosen, such that \(\mbox{$\boldsymbol {p}$} ^{0} = \mbox{$\mathbf {M}$} ( \mbox{$\boldsymbol {q}$} ^{0}) \mbox{$\boldsymbol {v}$} ^{0}\), by (84), the proposition has been proven. □
Remark 4.7
Discrete time equivalence to Lagrangian methods
As a consequence of Proposition (4.6), one can show that the proposed Livens-based EM method (72a)–(72d) can be written as a Lagrangian scheme if the mass matrix is constant. The scheme reads
and represents a direct approximation of (26a)–(26c). Due to the mixed nature of the discrete fiber derivative (84), there exists no such equivalence if the mass matrix depends on the generalized coordinates. In this case, an EM-consistent method cannot be derived in a Lagrangian framework in a straightforward way.
4.3 Application to rigid body rotations
For the rotational dynamics of rigid bodies in terms of Livens’ principle and unit quaternions, governed by (47a)–(47d), the method is specified by
Since the kinetic energy may be formulated in terms of one invariant quantity, the convective angular velocity, see Corollary 3.2, the partitioned discrete derivatives for the present case become
where
which differs from . We refer to [21] for more details on so-called G-equivariant discrete gradients. It can be shown that the specification above satisfies the directionality condition
Note that we have taken into account the fact that \(\mbox{$\boldsymbol {\Omega}$} \) is bilinear in and , see (88), and that \(\tilde{T}( \mbox{$\boldsymbol {\Omega}$} )\) is a quadratic function, see (38). Moreover, the integrator meets the orthogonality conditions (see [21])
pertaining to the symmetry conditions in continuous time (61). Making use of the augmented Lagrangian (9), the last two equations yield
Lastly, due to the quadratic structure of the unity constraint (30), its discrete gradient can be introduced as
Remark 4.8
The present method satisfies the velocity constraint (41) in the midpoint \(t^{n+1/2}\) but not in the endpoint. This can be derived from the premultiplication of (86a) with and using the normality condition (86d) such that
Assuming , one arrives at
Consequently, this method should not be applied to the augmented system with regular mass matrix (140). See also Remark D.1. This has no negative impact if the scheme is applied, as recommended, to the system with singular mass matrix (46).
4.4 Conservation principles in discrete time
Proposition 4.9
The generalized energy function is a conserved quantity in discrete time, provided by solutions of (86a)–(86d), viz.
Proof
Multiplying (86b) with , adding (86c) multiplied by , and inserting (86a) leads to
which, using (86d), and making use of the directionality condition (89), yields
which confirms the proposition. □
Proposition 4.10
The angular momentum map (65) is a conserved quantity in discrete time, provided by solutions of (86a)–(86d).
Proof
It can be shown that
Inserting (86a), (86b), and (86c) yields
which is zero due to (92). □
4.5 Size reduction procedures
To obtain the mentioned beneficial numerical properties without the drawback of an increased numerical effort due to the enhanced state space with independent velocities and momenta, an implementation variant is proposed. We perform a size reduction such that the scheme can be enhanced to increase computational efficiency. By eliminating and from the set of unknowns in the implementation, we reduce the amount of nonlinear equations to be solved in each time step. From (86a) we can determine
and (86c) serves to recast
By inserting these relations into (86b), together with (86d) we end up with five nonlinear equations
for five unknowns, namely four components of the quaternion and one scalar value for the Lagrange multiplier. After solving (103), equations (101) and (102) yield the updated velocities and momenta.
Remark 4.11
Discrete null-space method
An alternative size reduction procedure is given by a discrete null-space method [5] along the lines of Sect. 4.5 in [7]. It consists of an elimination of the Lagrange multiplier and a replacement of by an incremental rotation vector \({\boldsymbol {\vartheta}} \in \mathbb{R}^{3}\). In this context, can be used as a discrete null space matrix. Premultiplication of (86b) with that matrix eliminates the constraint forces due to (93), i.e.,
where property (135) has been used. Moreover, the unity constraint can be neglected by replacing the update formula for the quaternion (86a) with
where the exponential map on \(S^{3}\) is given in (40). Note that the last relation (105) automatically ensures the unity constraint such that . Using a similar elimination of the velocities and momenta as above eventually yields a minimal set of three nonlinear equations for the unknown \({\boldsymbol {\vartheta}}\) for each time step. The incremental rotation vector can be computed for each time step individually such that, in contrast to minimal representations using Euler angles, singularities due to the trigonometric functions are avoided.
Note that the above size reduction techniques do not alter the above-mentioned conservation properties of the proposed EM scheme.
5 Numerical studies
In the following, the newly proposed scheme (72a)–(72d) is applied to some numerical examples. Since this involves the solution of an implicit set of equations, Newton’s method is used in every time step with a tolerance of \(\varepsilon _{\mathrm{Newton}}=10^{-9}\). The computations have been performed using the code package available at [30], which can also be used for verification. The first two examples represent model problems dealing with singular and configuration-dependent mass matrix, respectively. Examples 3 and 4 show rigid body rotation problems, which are known from literature. Here we apply the newly proposed EM scheme (86a)–(86d). We moreover target a comparison to an established Hamiltonian EM method from [7] as well as two midpoint schemes, based on the Hamiltonian and Livens-based equations of motion, see Table 1. The last example shows how our approach can be adapted to more complex multibody systems, which include translational motion and external constraints.
The time step size for each example has been chosen according to the existing literature. When differing from that, we have made choices such that all methods under investigation converge to a solution. Due to the enhanced robustness of EM methods, this value is only restricted by the convergence of Newton’s method in each time step.
5.1 Mass-spring system with redundant coordinates
We take up an example with singular mass matrix from [59, Sect. 5, Example 3] as depicted in Fig. 1 with masses \(m_{i}\) and springs with constants \(k_{i}\) and resting lengths \(l_{i0}\), where \(i \in \{1,2 \}\). The system can be considered as a modular multibody system with two separate subsystems and two degrees of freedom. However, we use two coordinates describing the springs’ elongations (\(x_{1}\) and \(x_{2}\)) and one coordinate \(q_{2}\) where the two subsystems are interconnected such that \(n=3\). Correspondingly, we use
and the interconnection constraint \(q_{2} = x_{1} + l_{10} + w \) arises, which can be recast as
such that \(m=1\). The total kinetic energy is given by
and thus we identify a mass matrix, which is constant and singular for all configurations. Thus, the inverse \(\mbox{$\mathbf {M}$} ^{\mathrm{-1}}\) does not exist, and we cannot find a Hamiltonian for this problem. Moreover, the discrete generalized energy (74) and the discrete total energy of system (80) are equivalent, see Proposition 4.6. The potential is given by the elastic potential of the two springs, which is assumed to be nonlinear, such that
The initial conditions are \(\mbox{$\boldsymbol {q}$} ^{0}=[0 \ 1.1 \ 0]^{\mkern -1.5mu\mathsf {T}}\) and \(\mbox{$\boldsymbol {v}$} ^{0}=[1 \ 1 \ -1]^{\mkern -1.5mu\mathsf {T}}\), and the simulation parameters have been chosen as shown in Table 2.
The simulation yielded the energy evolutions displayed in Fig. 1, where energy transfer between kinetic and potential energy becomes visible. The energy-consistent approximation provided by the proposed method becomes obvious in Fig. 2, where the temporal increment of the generalized energy is close to computer precision. Furthermore, Fig. 2 underlines the computationally exact treatment of the constraint equation in each time step.
5.2 Nonlinear spring pendulum with spherical coordinates
We analyze a nonlinear spring pendulum in three dimensions, which is a popular finite–dimensional model problem for nonlinear elastic mechanical systems (see, e.g., [40]). We consider spherical coordinates for three degrees of freedom
such that the distance of the mass \(m\) from the Cartesian origin is given by \(r \in \mathbb{R}_{\geq 0}\) and two angles \(\theta \) and \(\varphi \) describe the orientation, as depicted in Fig. 3. The mass matrix for this example is given by
and depends on the coordinates.Footnote 3 The potential energy is given by the nonlinear internal potential with spring constant \(EA \in \mathbb{R}_{\geq 0}\) such that
where we consider Green–Lagrangian strains \(\varepsilon (r) =(r^{2} - l_{0}^{2})/(2 l_{0}^{2})\) and \(l_{0}\) denotes the spring’s resting length. Initial conditions have been chosen as \(\mbox{$\boldsymbol {q}$} ^{0} = [1.05 \ \pi /2 \ 0]^{\mkern -1.5mu\mathsf {T}}\) and \(\mbox{$\boldsymbol {v}$} ^{0} = [0 \ 1 \ 1]^{\mkern -1.5mu\mathsf {T}}\) to achieve an initial elongation of the spring by \(5\%\) and a tangential initial velocity. Further simulation parameters are given in Table 3.
The evolution of the energetic quantities can be seen in Fig. 3. While the conservation of the discrete total energy is captured down to an order of \(10^{-4}\) (cf. Fig. 4, left), the generalized energy function is again exactly preserved by the newly proposed scheme (see Fig. 4, right).
5.3 Free rotation of a rigid body
This example simulation is concerned with the free rotation of a rigid body, which is specified by a convective inertia tensor (39) corresponding to principal axes given by \(\mbox{$\mathbf {J}$} _{0} = \mathrm{diag}(6, 8, 3)\). This problem has been taken from [7] and originates in [9] with the same parameter choices. Similarly, the initial state is given by an initial orientation angle \(\vartheta _{0} = 0\) and an arbitrary orientation vector \(\mbox{$\boldsymbol {n}$} _{0}\), see (40), such that and the initial convective angular velocity is given by \(\mbox{$\boldsymbol {\Omega}$} ^{0} = \mbox{$\boldsymbol {\Omega}$} (t=0) = [10 \ 20 \ 20]^{\mkern -1.5mu\mathsf {T}}\). Correspondingly, initial quaternion velocities and momenta are determined from and . The time-step size has been set to \(h=0.05\) and the problem has been simulated for \(t \in \mathcal{T} = [0, 2]\), leading to a rotational motion (see snapshots depicted in Fig. 5).
As of before, the energy-consistent behavior of our method is verified in Fig. 6. The method preserves the configuration space, i.e., the unity constraint (30) is computationally conserved (see Fig. 7, left). The discrete total energy (80) is not preserved by EML (see Fig. 7 (right)), due to the configuration-dependence of the quaternion mass matrix (46). The additional conservation of the spatial angular momentum (65) according to Proposition 4.10 can be observed in Fig. 8.
Lastly, we investigate the increase in numerical efficiency with regard to the size reduction techniques mentioned in Sect. 4.5. To this end, the current problem is simulated with different time step sizes for a prolonged simulation period of \(\mathcal{T} = \left [0, 10\right ]\), and we display an average real runtime \(t_{\mathrm{comp}}\) for representative simulations.Footnote 4 Solving the EML scheme with size reduction (103) (labeled ‘‘REML’’) reduces the computational effort by nearly \(50\%\), see Fig. 9. An application of the discrete null space method as outlined in Remark 4.11 (labeled ‘‘Null-EML’’), yielding a minimal set of nonlinear time-stepping equations, again lowers the computational costs notably.
5.4 Steady precession of a heavy top
This example is concerned with the motion of a symmetrical and heavy top, see Fig. 10 for a depiction. It is a well-known benchmark problem for rigid body rotations and has yet been addressed in, inter alia, [6, 7, 20, 32, 34, 47]. More specifically, the gyroscopic top undergoes a motion characterized by steady precession, i.e., its center of mass rotates on a circular trajectory with constant vertical height.
The simulation parameters are comprised in Table 4. The parameters are set according to a cone shape with height \(a\), radius \(r=a/2\), the center of mass located along the symmetry axis with a distance of \(l=3/4 a\) away from the tip. The total mass amounts to \(m= 1/3 \rho \pi r^{2} a\). Moreover, the momenta of inertia with respect to the center of mass are given by
yielding \(J_{0}^{1} = J_{0}^{2} = J_{0}^{3} = 5.3014 \cdot 10^{-4}\). With respect to the fixed point of rotation, the momenta of inertia can be computed using the parallel axis theorem as
which represent the principal values of the convective inertia tensor such that \(\mbox{$\mathbf {J}$} _{0} = \mathrm {diag} (J_{1}, J_{2}, J_{3})\). Additionally, we assume gravity with magnitude \(g\) acting in the negative vertical direction, i.e., \(\mbox{$\boldsymbol {b}$} = -g \mbox{$\boldsymbol {e}$} _{3}\), such that the external potential reads
where \(z_{\mathrm{cm}}\) is the vertical Cartesian coordinate of the center of mass and the 33-component of the rotation matrix can be extracted from (51). Correspondingly, potential forces are given by
The heavy top starts with an initial configuration inclined by the nutation angle \(\vartheta _{0}\) about the \(\mbox{$\boldsymbol {e}$} _{1}\)-axis, such that in accordance with (40), one obtains
The steady precession condition, which allows for an analytical reference solution, is given by
(see [20, 45]), where \(\omega _{\mathrm{p}}\) is the precession rate and \(\omega _{\mathrm{s}}\) is the spin rate. In detail, to be consistent with [7, 32], we choose \(\omega _{\mathrm{p}} = 10\) and obtain the initial spatial angular velocity
with .
The simulation again verifies the structure-preserving properties of the proposed integrator, yielding energy-conservation in discrete time. In Fig. 10 the results from our method EML are compared with the results obtained from the comparison methods,Footnote 5 see Table 1. It can be observed that standard integration methods should not be used if one desires an accurate energy approximation for the present problem.
The conservation of the angular momentum map is for this example problem restricted to the component about the \(\mbox{$\boldsymbol {e}$} _{3}\)-axis since the present gravity prohibits symmetry about the other two axes. With respect to Proposition 3.3, this means that the present potential energy (115) satisfies with , leading to the results depicted in Fig. 11.
In Fig. 12 we display the results for the 1- and 3-component of the center of mass for both the present integrator and the EMH scheme and compare it with the analytical solution for the Euclidean position of the center of mass
While there is no visible difference in the quality of the approximation for the vertical component between the two EM methods (see Fig. 12, left), the novel EML method seems to yield more accurate results for the 1-component (see Fig. 12, right).
We moreover target a convergence analysis comparing the four above-mentioned schemes. To this end, we define the error measure
where \(\mbox{$\boldsymbol { \varphi }$} _{\mathrm{num}}\) denotes the numerical solution obtained using the different methods. The results in Fig. 13 highlight the good performance of the present EML method compared to EMH. It can be observed that the Livens-based integrators exhibit lower errors than the Hamiltonian methods. Interestingly, the MPL scheme performs better than the EML scheme. For a prescribed time step size it yields the lowest error for the present example. As expected, all methods show a second order convergence behavior.
5.5 Closed loop multibody system
This example is concerned with a multibody system consisting of four rigid bars interconnected by four spherical joints according to [10, Sect. 4.1.2], see Fig. 14. The bars have length \(l\) and a unit square cross section \(A = 1\) such that the total mass of each bar amounts to \(m = \rho A l\). In addition to the orientation of each rigid body, which is parametrized with a unit-quaternion , \(a \in \{1,2,3,4\}\), the coordinates are completed by the Cartesian coordinates of the respective center of mass \(\mbox{$\boldsymbol { \varphi }$} ^{(a)} \in \mathbb{R}^{3}\) such that
and \(n=28\). The kinetic energy sums over all bodies and contains the translational parts as well, i.e.,
with the singular and configuration-dependent rotation-related mass matrices for each body (46).
This induces a singular and configuration-dependent overall mass matrix with block-diagonal structure
Besides the internal constraints enforcing the unit-condition of each quaternion, the spherical joints induce the external constraints
where denotes the spatial vector from the center of mass of body \((a)\) to the joint with body \((b)\) and involves the rotation matrix (50). The total amount of constraints is \(m=16\) and the pertaining external constraint forces are given by, for example,
using the notation from equation (137). Deriving this relation makes use of equations (136) and (137) contained in the Appendix. During \(t \in [0, 1]\) the system is subject to an external force and torque, respectively, given by
both acting in the center of mass of the first bar, i.e., at \(\mbox{$\boldsymbol {X}$} = l/2 \mbox{$\boldsymbol {e}$} _{1}\). The time function is depicted in Fig. 14. To find an equivalent quaternion representation, one can consider the externally induced power. In view of (43), this yields an external loading vector given by
which is added to the balance of momentum on the right-hand side of (19b). The simulation parameters are shown in Table 5, and the resulting motion can be viewed in the snapshots contained in Fig. 15. Figure 16 shows that, as soon as the system is closed, the conservation principles concerning energy and angular momentum are numerically identically fulfilled. This example underlines the applicability of the proposed approach to forced (i.e., open) systems as well as more advanced multibody systems, including closed loop structures.
6 Conclusion and outlook
The present approach to the numerical integration of holonomically constrained dynamical systems is based on Livens’ principle. This variational principle is characterized by combining Lagrangian and Hamiltonian viewpoints on mechanics by accounting for independent coordinates, velocities, and momenta. Thus, the need for the inversion of the mass matrix is avoided, which allows for a novel approach to the simulation of mechanical systems with singular and/or configuration-dependent mass matrix. Moreover, a generalized total energy function depending on position, velocity, and momentum is introduced, which serves as a conserved quantity of the equations of motion pertaining to Livens’ principle (see previous works [32, 33]) and shows how to overcome the restrictions therein to constant and non-singular mass matrices.
In this work we have also targeted the modeling of rigid body rotations in terms of unit quaternions. The standard derivation yields a configuration-dependent mass matrix with rank-deficiency. In contrast to the existing literature, the usage of Livens’ principle avoids to set up an additional inertia parameter by circumventing a purely Hamiltonian setup. We have shown that the proposed approach can directly account for the singular mass matrix.
Based on the novel formulation, a structure-preserving discretization has been applied. As the corresponding scheme makes use of Gonzalez discrete gradients, the proposed integrator preserves the discrete generalized total energy, which differs (in case of configuration-dependent mass matrices) from the total energy in the Lagrangian setting. Moreover, the proposed scheme discretely covers the conservation of momentum maps corresponding to system symmetries and the holonomic constraints. Due to the relation to the midpoint rule, the scheme exhibits second-order accuracy. The newly proposed structure-preserving integration scheme enhances the method presented by Gonzalez [22] with respect to the formulation in a more general (not necessarily Hamiltonian) framework, which makes possible the EM-consistent simulation of systems with configuration-dependent and/or singular mass matrices comprising rigid body rotations in unit quaternions. In contrast to Lagrangian or Hamiltonian mechanics, the usage of Livens’ principle largely facilitates the design of such a method, see Remark 4.7.
The numerical properties of the present method have been demonstrated in model problems from multibody dynamics. Three examples, including a closed loop multibody system, have shown the method’s properties when dealing with rigid body dynamics in terms of unit quaternions. In one of the investigated examples, the Livens-based EM scheme (and also a standard midpoint scheme) shows a better approximation behavior than established Hamiltonian schemes. Additionally, the use of size reduction techniques allows computationally efficient implementations while keeping the desired conservation properties.
It should be noted that in the present work we have focussed on the design of an EM-consistent scheme. The development of variational integrators based on Livens’ principle with configuration dependent and/or singular mass matrices is interesting as well. Especially the design of higher order methods by following the ideas presented in Wenger et al. [61] might be in the scope of future research. In this connection, the approach by Altmann and Herzog [2] should also be applicable. While we have restricted ourselves to conservative systems, an extension can be obtained using the Lagrange–d’Alembert principle for non-conservative systems [43], as for example in [33, Sect. 4.3]. Lately, unit quaternions have been used for the modeling of the 3D mathematical pendulum in [14], which therefore seems to be yet another interesting application case of unit quaternions for rigid body rotations. To this end, the dynamics on \(S^{2}\) could be regarded as a special case of \(SO(3)\) allowing for unit quaternion representations with additional constraints. Lastly, the presented framework could be extended to infinite-dimensional systems where finite rotations need to be parameterized as well, e.g., geometrically exact shells [11].
Change history
20 August 2024
The original online version of this paper has been updated to correct Section 5.4. The term “\(+ml^{2}\)” needs to be in the left part of formula 114, yielding
\(J_{1} = J_{2} = J_{0}^{1} + ml^{2} = J_{0}^{2} + ml^{2} ,\quad J_{3} = J_{0}^{3}\)
Notes
A given (unique) rotation matrix corresponds to both and . While this can lead to unwinding phenomena in control [15], this ambiguity is not an issue in quaternion-based time stepping approaches.
This formula for the spatial angular momentum can be derived from the rotational kinetic energy in terms of the spatial angular velocities via \(\mbox{$\boldsymbol {L}$} =\partial _{ \mbox{$\boldsymbol {\omega}$} }T= \mbox{$\mathbf {R}$} \mbox{$\mathbf {J}$} _{0} \mbox{$\mathbf {R}$} ^{\mkern -1.5mu\mathsf {T}} \mbox{$\boldsymbol {\omega}$} \) and using (50), (43), and (47c).
Note that the mass matrix (111) undergoes an additional singularity for \(\theta = k \pi \) for all integers \(k \in \mathbb{Z}\).
The exact runtime may vary slightly from simulation to simulation.
For the Hamiltonian methods, the quaternion velocities taking place in the generalized energy function have been computed via , using relation (139) for all \(n\). Moreover, the application of an advanced initial guess for Newton’s method is necessary for EMH and MPH, using the initialization .
References
Altmann, S.L.: Rotations, Quaternions, and Double Groups. Clarendon Press, Oxford (1986)
Altmann, R., Herzog, R.: Continuous Galerkin schemes for semiexplicit differential-algebraic equations. IMA J. Numer. Anal. 42(3), 2214–2237 (2022). https://doi.org/10.1093/imanum/drab037
Arribas, M., Elipe, A., Palacios, M.: Quaternions and the rotation of a rigid body. Celest. Mech. Dyn. Astron. 96, 239–251 (2006). https://doi.org/10.1007/s10569-006-9037-6
Bauchau, O.A.: Flexible Multibody Dynamics. Solid Mechanics and Its Applications., vol. 176. Springer, Berlin (2011)
Betsch, P.: The discrete null space method for the energy consistent integration of constrained mechanical systems: Part I: Holonomic constraints. Comput. Methods Appl. Mech. Eng. 194(50–52), 5159–5190 (2005). https://doi.org/10.1016/j.cma.2005.01.004
Betsch, P., Leyendecker, S.: The discrete null space method for the energy consistent integration of constrained mechanical systems. Part II: multibody dynamics. Int. J. Numer. Methods Eng. 67(4), 499–552 (2006). https://doi.org/10.1002/nme.1639
Betsch, P., Siebert, R.: Rigid body dynamics in terms of quaternions: Hamiltonian formulation and conserving numerical integration. Int. J. Numer. Methods Eng. 79(4), 444–473 (2009). https://doi.org/10.1002/nme.2586
Betsch, P., Siebert, R.: Rigid body dynamics in terms of quaternions: Hamiltonian formulation and conserving numerical integration. Int. J. Numer. Methods Eng. 79(4), 444–473 (2009). https://doi.org/10.1002/nme.2586
Betsch, P., Steinmann, P.: Constrained integration of rigid body dynamics. Comput. Methods Appl. Mech. Eng. 191(3–5), 467–488 (2001). https://doi.org/10.1016/S0045-7825(01)00283-3
Betsch, P., Steinmann, P.: A DAE approach to flexible multibody dynamics. Multibody Syst. Dyn. 8, 367–391 (2002). https://doi.org/10.1023/A:1020934000786
Betsch, P., Menzel, A., Stein, E.: On the parametrization of finite rotations in computational mechanics: a classification of concepts with application to smooth shells. Comput. Methods Appl. Mech. Eng. 155(3–4), 273–305 (1998). https://doi.org/10.1016/S0045-7825(97)00158-8
Borri, M., Trainelli, L., Croce, A.: The embedded projection method: a general index reduction procedure for constrained system dynamics. Comput. Methods Appl. Mech. Eng. 195(50–51), 6974–6992 (2006). https://doi.org/10.1016/j.cma.2005.03.010
Bou-Rabee, N., Marsden, J.E.: Hamilton–Pontryagin integrators on Lie groups, Part I: Introduction and structure-preserving properties. Found. Comput. Math. 9(2), 197–219 (2009). https://doi.org/10.1007/s10208-008-9030-4
Campa, R., Soto, I., Martínez, O.: Modelling and control of a spherical pendulum via a non–minimal state representation. Math. Comput. Model. Dyn. Syst. 27(1), 3–30 (2021). https://doi.org/10.1080/13873954.2020.1853175
Chaturvedi, N.A., Sanyal, A.K., McClamroch, N.H.: Rigid-body attitude control. IEEE Control Syst. Mag. 31(3), 30–51 (2011). https://doi.org/10.1109/MCS.2011.940459
Euler, L.: Formulae generales pro translatione quacunque corporum rigidorum. In: Novi Commentarii academiae scientiarum Petropolitanae, pp. 189–207 (1776)
Franke, M., et al.: A novel mixed and energy-momentum consistent framework for coupled nonlinear thermo-electro-elastodynamics. Int. J. Numer. Methods Eng. 124(10), 2135–2170 (2023). https://doi.org/10.1002/nme.7209
García de Jalón, J., Gutiérrez, M.D.: Multibody dynamics with redundant constraints and singular mass matrix: existence, uniqueness, and determination of solutions for accelerations and constraint forces. Multibody Syst. Dyn. 30(3), 311–341 (2013). https://doi.org/10.1007/s11044-013-9358-7
Gear, C.W., Leimkuhler, B., Gupta, G.K.: Automatic integration of Euler-Lagrange equations with constraints. J. Comput. Appl. Math. 12–13, 77–90 (1985). https://doi.org/10.1016/0377-0427(85)90008-1
Goldstein, H.: Classical Mechanics, 2nd edn. Addison-Wesley, Reading (1980)
Gonzalez, O.: Time integration and discrete Hamiltonian systems. J. Nonlinear Sci. 6, 449–467 (1996). https://doi.org/10.1007/BF02440162
Gonzalez, O.: Mechanical systems subject to holonomic constraints: differential–algebraic formulations and conservative integration. Phys. D: Nonlinear Phenom. 132(1–2), 165–174 (1999). https://doi.org/10.1016/S0167-2789(99)00054-8
Gonzalez, O., Simo, J.C.: On the stability of symplectic and energy-momentum algorithms for non-linear Hamiltonian systems with symmetry. Comput. Methods Appl. Mech. Eng. 134(3–4), 197–222 (1996). https://doi.org/10.1016/0045-7825(96)01009-2. (Visited on 03/13/2021)
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations. Springer, Berlin (2006). https://doi.org/10.1007/3-540-30666-8
Haug, E.J.: Computer Aided Kinematics and Dynamics of Mechanical Systems, vol. 1. Allyn and Bacon, Boston (1989)
Holm, D.D.: Geometric Mechanics - Part I: Dynamics and Symmetry. World Scientific, Singapore (2011)
Holm, D.D.: Geometric Mechanics - Part II: Rotating, Translating and Rolling, 2nd edn. Imperial College Press, London (2011)
Itoh, T., Abe, K.: Hamiltonian-conserving discrete canonical equations based on variational difference quotients. J. Comput. Phys. 76(1), 85–102 (1988). https://doi.org/10.1016/0021-9991(88)90132-5
Ji, Y., Xing, Y.: A three-sub-step composite method for the analysis of rigid body rotations with Euler parameters. Nonlinear Dyn. 111, 14309–14333 (2023). https://doi.org/10.1007/s11071-023-08410-0
Kinon, P.L., Bauer, J.K.: “metis: computing constrained dynamical systems”. Version v1.1.1. GitHub repository, archived on Zenodo (2024). https://doi.org/10.5281/zenodo.11917636
Kinon, P.L., Betsch, P.: Energy-consistent integration of mechanical systems based on livens principle. In: Proceedings of the 11th ECCOMAS Thematic Conference on Multibody Dynamics, Lisbon, Portugal (2023). https://doi.org/10.48550/arXiv.2312.02825
Kinon, P.L., Betsch, P., Schneider, S.: Structure-preserving integrators based on a new variational principle for constrained mechanical systems. Nonlinear Dyn. 111, 14231–14261 (2023). https://doi.org/10.1007/s11071-023-08522-7
Kinon, P.L., Betsch, P., Schneider, S.: The GGL variational principle for constrained mechanical systems. Multibody Syst. Dyn. 57, 211–236 (2023). https://doi.org/10.1007/s11044-023-09889-6
Krenk, S., Nielsen, M.B.: Conservative rigid body dynamics by convected base vectors with implicit constraints. Comput. Methods Appl. Mech. Eng. 269, 437–453 (2014). https://doi.org/10.1016/j.cma.2013.10.028
Krysl, P.: Explicit momentum-conserving integrator for dynamics of rigid bodies approximating the midpoint Lie algorithm. Int. J. Numer. Methods Eng. 63(15), 2171–2193 (2005). https://doi.org/10.1002/nme.1361
Kuipers, J.B.: Quaternions and Rotation Sequences. Princeton University Press, Princeton (1999)
Kunkel, P., Mehrmann, V.: Differential-Algebraic Equations: Analysis and Numerical Solution. EMS Textbooks in Mathematics. Eur. Math. Soc., Zurich (2006). https://doi.org/10.4171/017
Leimkuhler, B., Reich, S.: Simulating Hamiltonian Dynamics. Cambridge Monographs on Applied and Computational Mathematics. Cambridge University Press, Cambridge (2005). https://doi.org/10.1017/CBO9780511614118
Lens, E.V., Cardona, A., Géradin, M.: Energy preserving time integration for constrained multibody systems. Multibody Syst. Dyn. 11, 41–61 (2004). https://doi.org/10.1023/B:MUBO.0000014901.06757.bb
Lichtenecker, D., Nachbagauer, K.: A discrete adjoint gradient approach for equality and inequality constraints in dynamics. Multibody Syst. Dyn. 1–28 (2024). https://doi.org/10.1007/s11044-024-09965-5
Livens, G.H.: IX. – On Hamilton’s principle and the modified function in analytical dynamics. Proc. R. Soc. Edinb. 39, 113–119 (1920). https://doi.org/10.1017/S0370164600018617
Maciejewski, A.J.: Hamiltonian formalism for Euler parameters. Celest. Mech. 37(1), 47–57 (1985). https://doi.org/10.1007/BF01230340
Marsden, J.E., Ratiu, T.S.: Introduction to Mechanics and Symmetry: A Basic Exposition of Classical Mechanical Systems, 2nd edn. Springer, Berlin (1999). https://doi.org/10.1007/978-0-387-21792-5
McLachlan, R.I., Quispel, G.R.W., Robidoux, N.: Geometric integration using discrete gradients. Philos. Trans. R. Soc. Lond. A, Math. Phys. Eng. Sci. 357(1754), 1021–1045 (1999). https://doi.org/10.1098/rsta.1999.0363
Moon, F.C.: Applied Dynamics: With Applications to Multibody and Mechatronic Systems. Wiley, New York (2008)
Morton, H.S. Jr.: Hamiltonian and Lagrangian formulations of rigid-body rotational dynamics based on the Euler parameters. J. Astronaut. Sci. 41(4), 569–591 (1993)
Nielsen, M., Krenk, S.: Conservative integration of rigid body motion by quaternion parameters with implicit constraints. Int. J. Numer. Methods Eng. 92(8), 734–752 (2012). https://doi.org/10.1002/nme.4363. https://onlinelibrary.wiley.com/doi/pdf/10.1002/nme.4363
Nikravesh, P.E.: Computer-Aided Analysis of Mechanical Systems. Prentice Hall, New York (1988)
O’Reilly, O.M., Varadi, P.C.: Hoberman’s sphere, Euler parameters and Lagrange’s equations. J. Elast. 56, 171–180 (1999). https://doi.org/10.1023/A:1007624027030
Pars, L.A.: A treatise on analytical dynamics. Math. Gaz. 50(372), 226–227 (1966). https://doi.org/10.2307/3612016
Pontryagin, L., et al.: The Mathematical Theory of Optimal Processes. Wiley, New York (1962). https://doi.org/10.1002/zamm.19630431023
Rabier, P.J., Rheinboldt, W.C.: Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint. SIAM, Philadelphia (2000)
Romero, I.: Formulation and performance of variational integrators for rotating bodies. Comput. Mech. 42(6), 825–836 (2008). https://doi.org/10.1007/s00466-008-0286-y
Sato Martin de Almagro, R.: Discrete Mechanics for Forced and Constrained Systems. PhD thesis. Universidad Complutense de Madrid (UCM) & Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM), 2019
Seelen, L.J.H., Padding, J.T., Kuipers, J.A.M.: Improved quaternion-based integration scheme for rigid body motion. Acta Mech. 227, 3381–3389 (2016). https://doi.org/10.1007/s00707-016-1670-x
Siebert, R.: Mechanical integrators for the optimal control in multibody dynamics. PhD thesis, Universität Siegen (2012) https://dspace.ub.uni-siegen.de/handle/ubsi/652
Simo, J.C., Wong, K.K.: Unconditionally stable algorithms for rigid body dynamics that exactly preserve energy and momentum. Int. J. Numer. Methods Eng. 31(1), 19–52 (1991). https://doi.org/10.1002/nme.1620310103
Stillfried, G.: mArrow3.m - easy-to-use 3D arrow. MATLAB Central File Exchange (2009). https://www.mathworks.com/matlabcentral/fileexchange/25372-marrow3-m-easy-to-use-3d-arrow
Udwadia, F.E., Phohomsiri, P.: Explicit equations of motion for constrained mechanical systems with singular mass matrices and applications to multi-body dynamics. Proc. R. Soc. A 462, 2097–2117 (2006). https://doi.org/10.1098/rspa.2006.1662
Wendlandt, J.M., Marsden, J.E.: Mechanical integrators derived from a discrete variational principle. Phys. D: Nonlinear Phenom. 106(3–4), 223–246 (1997). https://doi.org/10.1016/S0167-2789(97)00051-1
Wenger, T., Ober-Blöbaum, S., Leyendecker, S.: Construction and analysis of higher order variational integrators for dynamical systems with holonomic constraints. Adv. Comput. Math. 43(5), 1163–1195 (2017). https://doi.org/10.1007/s10444-017-9520-5
Xu, X., Luo, J., Wu, Z.: The numerical influence of additional parameters of inertia representations for quaternion-based rigid body dynamics. Multibody Syst. Dyn. 49(3), 237–270 (2020). https://doi.org/10.1007/s11044-019-09697-x
Zhao, F., van Wachem, B.G.M.: A novel quaternion integration approach for describing the behaviour of non-spherical particles. Acta Mech. 224(12), 3091–3109 (2013). https://doi.org/10.1007/s00707-013-0914-2
Acknowledgements
PLK thanks Julian Karl Bauer for interesting discussions. The financial support for this work by the DFG (German Research Foundation) – project number 289782590 - is gratefully acknowledged.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
PLK: Conceptualization, methodology, software, validation, formal analysis, investigation, data curation, writing–original draft preparation, writing–review and editing, visualization. PB: Conceptualization, methodology, validation, formal analysis, resources, writing–review and editing, supervision, project administration, funding acquisition.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this paper has been updated to correct Section 5.4. The term “\(+ml^{2}\)” needs to be in the left part of formula 114, yielding
\(J_{1} = J_{2} = J_{0}^{1} + ml^{2} = J_{0}^{2} + ml^{2} ,\quad J_{3} = J_{0}^{3}\)
Appendices
Appendix A: Implementation details for partitioned discrete derivatives
The two partitioned discrete derivatives used in the time-stepping scheme (72a)–(72d) can be specified as \(\overline {\partial } _{ \mbox{$\boldsymbol {q}$} } L( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} ) = \overline {\partial } _{ \mbox{$\boldsymbol {q}$} } T( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} ) - \overline {\nabla } V( \mbox{$\boldsymbol {q}$} )\) and \(\overline {\partial } _{ \mbox{$\boldsymbol {v}$} } L( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} ) = \overline {\partial } _{ \mbox{$\boldsymbol {v}$} } T( \mbox{$\boldsymbol {q}$} , \mbox{$\boldsymbol {v}$} )\), where
In further detail, the last relation makes use of
and
We refer to [17] for the general construction details.
Appendix B: Reference integrators
Here we display the governing equations for two integrators, which are used for comparison in Sect. 5.
Definition B.1
A midpoint discretization of the Euler–Lagrange equations (19a)–(19d) with consistent constraint approximation is given by
Definition B.2
A standard midpoint scheme for the Hamiltonian equations of motion (16a)–(16c) is given by
and is only applicable to systems with known Hamiltonian, where the mass matrix is non-singular.
Appendix C: Linear algebra relations
This appendix contains useful relations for the linear algebra relations of quaternions , the transformation matrices from (35a)–(35b), and vectors \(\mbox{$\boldsymbol {x}$} \in \mathbb{R}^{3}\). The inverses of the multiplication matrices (33a)–(33b) are given by
Other helpful identities read as follows:
as well as
Lastly, we have the relation
Appendix D: Hamiltonian reference framework
One possible way to obtain a geometric integration for rigid body rotations using unit quaternions in a Hamiltonian setup (see [7]), i.e., using the kinetic co-energy
is based on the extended convective inertia matrix \(\mbox{$\mathbf {J}$} _{4} = \mathrm {diag} (J_{0}, \mbox{$\mathbf {J}$} _{0}) \in \mathbb{R}^{4 \times 4}\), with \(J_{0} = 1/2 {\mathrm {tr} }\left ( \mbox{$\mathbf {J}$} _{0} \right )\), taking place in the invertible and configuration-dependent mass matrix with its inverse
This mass matrix can be linked to the singular mass matrix (46), which we have derived in a straightforward way, by
which resembles a rank-one augmentation. Note that this is only possible due to
where the second part vanishes in view of the velocity-level constraint (41) in continuous time.
Remark D.1
Note that the use of this augmented formulation is only valid if the velocity constraint is fulfilled. Using numerical integration, the scheme must provide
given that . If the used method violates the velocity constraint, the condition for the rank-augmentation of the mass matrix (140) is not met. Correspondingly, the scheme would solve the motion of a system with a different (non-physical) kinetic energy.
The canonical Hamiltonian equations of motion pertaining to (138) read
and are identical to the invariant representation
This latter formulation takes account of and makes use of the invariant quantity
as well as the constraint invariant (60).
Definition D.2
A Hamiltonian EM method for unit quaternions rigid body rotations (see [7], in this work referred to as ‘‘EMH’’) is given by
with .
The scheme conserves the Hamiltonian, as well as momentum maps and the constraint. We moreover highlight that the scheme provides a consistent approximation of the velocity constraints in the sense of Remark D.1, such that the usage of the augmented mass matrix is valid. For more details, see [7].
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
Kinon, P.L., Betsch, P. Conserving integration of multibody systems with singular and non-constant mass matrix including quaternion-based rigid body dynamics. Multibody Syst Dyn (2024). https://doi.org/10.1007/s11044-024-10001-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11044-024-10001-9