An Explicit Formulation of Singularity-Free Dynamic Equations of Mechanical Systems in Lagrangian Form---Part one: Single Rigid Bodies

This paper presents the explicit dynamic equations of a mechanical system. The equations are presented so that they can easily be implemented in a simulation software or controller environment and are also well suited for system and controller analysis. The dynamics of a general mechanical system consisting of one or more rigid bodies can be derived from the Lagrangian. We can then use several well known properties of Lie groups to guarantee that these equations are well defined. This will, however, often lead to rather abstract formulation of the dynamic equations that cannot be implemented in a simulation software directly. In this paper we close this gap and show what the explicit dynamic equations look like. These equations can then be implemented directly in a simulation software and no background knowledge on Lie theory and differential geometry on the practitioner's side is required. This is the first of two papers on this topic. In this paper we derive the dynamics for single rigid bodies, while in the second part we study multibody systems. In addition to making the equations more accessible to practitioners, a motivation behind the papers is to correct a few errors commonly found in literature. For the first time, we show the detailed derivations and how to arrive at the correct set of equations. We also show through some simple examples that these correspond with the classical formulations found from Lagrange's equations. The dynamics is derived from the Boltzmann--Hamel equations of motion in terms of local position and velocity variables and the mapping to the corresponding quasi-velocities. Finally we present a new theorem which states that the Boltzmann--Hamel formulation of the dynamics is valid for all transformations with a Lie group topology. This has previously only been indicated through examples, but here we also present the formal proof. The main motivation of these papers is to allow practitioners not familiar with differential geometry to implement the dynamic equations of rigid bodies without the presence of singularities. Presenting the explicit dynamic equations also allows for more insight into the dynamic structure of the system. Another motivation is to correct some errors commonly found in the literature. Unfortunately, the formulation of the Boltzmann-Hamel equations used here are presented incorrectly. This has been corrected by the authors, but we present here, for the first time, the detailed mathematical details on how to arrive at the correct equations. We also show through examples that using the equations presente