Unit-quaternions (or Euler parameter) are known to be well-suited for the singularity-free parametrization of finite rotations. Despite of this advantage, unit quaternions were rarely used to formulate the equations of motion (exceptions are the works by Nikravesh [1] and Haug [2]). This might be related to the fact, that the unit-quaternions are redundant, which requires the use of algebraic constraints in the equations of motion. Nowadays robust energy consistent integrators are available for the numerical solution of these differential-algebraic equations (DAEs). In the present work a mechanical integrator for the quaternions will be derived. This will be done by a size-reduction from the director formulation of the equations of motion, which also has the form of DAEs.
Finite rotations described with directors and quaternionsThe directors are the columns of the rotation tensor. They may be arranged in the configuration vector q ∈ R 9 . The three directors are highly redundant due to the six independent orthogonality constraints of the rotation tensorIntroducing rotations described with unit quaternions, one may start with the Euler-Theorem, which states, that a rotation can be described by a rotation axis given by an unitvector n ∈ R 3 and a rotation angle θ ∈ R . The related unit-quaternion can be calculated by the formulaThe unit-quaternions must be of length one, which can be enforced through the algebraic unit-length constraintTo show the connection between unitquaternions and the rotation matrix, one has to use the well-known Euler-Rodrigues Parametrization.
Relations between the different formulationsDifferent ways to formulate the equations of motion exist, such as the quaternion and the director formulation or the euler equations. The different possible descriptions of finite rotations can be connected with three matrices P 1 ∈ R 9×4 , P 2 ∈ R 4×3 and P 3 ∈ R 9×3 of a special form. The three diagrams below show the relations between the velocities, the jacobian of the constraints and the mass matrices in the different formulations.
Jacobian of the constraints
Mass matricesThe constant mass matrix in the director formulation is written as M 9 = diag(E 1 I 1 , E 2 I 2 , E 3 I 3 ) ∈ R 9×9 . The E i 's are the principal values of the Euler tensor, which is related to the classical inertia tensor through J = (trE) I 3 − E . The size-reduction automatically yields to the non-singular mass matrix used in the quaternion formulation, which is required for the transition to the Hamilton equations of motion. In previous works by Maciejewski [3] and Morton [4] the Euler equations were the starting point for the transition to the quaternion formulation. An introduction of an undetermined inertia term was required to set up the Hamiltonian formulation with quaternions. Clearly the mass matrix in the quaternion formulation becomes configuration dependent, which yields to higher nonlinearity of the quaternion formulation in comparison to the one with directors.