The Poisson top

The Poisson top, a close relative to the Lagrange top, is an axisymmetric rigid body that is free to move on a horizontal surface with one point P in contact with the ground, as illustrated in Figure 1 below. In the early 1800s, Poisson [1] examined the dynamics of this top in the (overly optimistic) hopes of being able to use it to establish the vertical (i.e., the plumb line) in a ship at sea.

Contents

Equations of motion

Following our discussion of the Lagrange top, the Poisson top depicted in Figure 1 has mass m, a longitudinal axis of symmetry, and a center of mass \overline{X} that falls along this axis such that the top’s principal moments of inertia \lambda_{1} = \lambda_{2} = \lambda_{t} and \lambda_{3} = \lambda_{a}. The position of the moving contact point P relative to the mass center is \bpi_{P} = - \ell_{3} \mathbf{e}_{3}, where \{ \mathbf{e}_{1}, \, \mathbf{e}_{2}, \, \mathbf{e}_{3} \} is the top’s corotational basis. We locate the top’s center of mass using a set of Cartesian coordinates, x_{i} = \overline{\mathbf{x}} \cdot \mathbf{E}_{i} (i = 1, \, 2, \, 3), where \{ \mathbf{E}_{1}, \, \mathbf{E}_{2}, \, \mathbf{E}_{3} \} denotes the space-fixed basis, while the rotation of the top may be parameterized by a set of Euler angles: \psi, \theta, and \phi.

Figure 1. Schematic of the Poisson top illustrating the alignment of the corotational basis  \{ \mathbf{e}_{1}, \, \mathbf{e}_{2}, \, \mathbf{e}_{3} \}.

In contrast to the Lagrange top, because the Poisson top’s contact point P is able to slide on a horizontal surface, the top is subject to a single integrable (i.e., holonomic) constraint given by \mathbf{v}_{P} \cdot \mathbf{E}_{3} = 0; that is, point P maintains contact with the horizontal surface, and thus it does not have a vertical component of velocity.

The equations of motion for the Poisson top may be obtained by a Lagrangian approach, for which the top’s potential energy U = m g x_{3}, and its total kinetic energy T has the form

(1)   \begin{equation*} T = \frac{m}{2} \sum_{i \, \, = \, 1}^{3} \dot{x}_{i}^2 + \frac{1}{2} \left ( \lambda_{t} \omega_{1}^2 + \lambda_{t} \omega_{2}^2 + \lambda_{a} \omega_{3}^2 \right ) , \end{equation*}

where \omega_{i} = \bomega \cdot \mathbf{e}_{i} are the corotational components of the top’s angular velocity. In terms of a 3-2-3 set of Euler angles, \omega_{i} are related to \psi, \theta, and \phi and their rates of change according to the following expressions:

(2)   \begin{eqnarray*} && \omega_{1} = -\dot \psi \sin(\theta) \cos(\phi) + \dot \theta \sin(\phi) , \\ \\ && \omega_{2} = \dot \psi \sin(\theta) \sin(\phi) + \dot \theta \cos(\phi) , \\ \\ && \omega_{3} = \dot \psi \cos(\theta) + \dot \phi . \end{eqnarray*}

We assume the horizontal surface over which the Poisson top slides is smooth. Upon applying Lagrange’s equations, it can be shown that the top’s equations of motion for the unconstrained coordinates \mathsf{u} = \left [ \psi, \ \theta, \ \phi, \ x_1, \ x_2 \right ]^T may be expressed in the second-order matrix-vector form \mathsf{M}(t, \, \mathsf{u}) \ddot{\mathsf{u}} + \upalpha (t, \, \mathsf{u}, \, \dot{\mathsf{u}}) = \mathsf{f}(t, \, \mathsf{u}), where

(3)   \begin{eqnarray*} && \mathsf{M}(t, \, \mathsf{u}) = \left[ \begin{array}{c c c c c} \lambda_a \cos^2(\theta) + \lambda_t \sin^2(\theta) & 0 & \lambda_a \cos(\theta) & 0 & 0 \\ 0 & \lambda_t + m\ell^2_3\sin^2(\theta) & 0 & 0 & 0 \\ \lambda_a \cos(\theta) & 0 & \lambda_a & 0 & 0 \\ 0 & 0 & 0 & m & 0 \\ 0 & 0 & 0 & 0 & m \\ \end{array} \right], \\ \\ \\ && \upalpha (t, \, \mathsf{u}, \, \dot{\mathsf{u}}) = \left[ \begin{array}{c} 2 \left(\lambda_t - \lambda_a\right) \dot{\psi}\dot{\theta}\cos(\theta)\sin(\theta) - \lambda_a \dot{\phi}\dot{\theta}\sin(\theta) \\ \left(\lambda_a - \lambda_t\right) \dot{\psi}^2\cos(\theta)\sin(\theta) + \lambda_a \dot{\phi}\dot{\psi}\sin(\theta) + m\ell^2_3\dot{\theta}^2\cos(\theta)\sin(\theta) \\ - \lambda_a \dot{\psi}\dot{\theta}\sin(\theta) \\ 0 \\ 0 \\ \end{array} \right], \hspace{1in} \scalebox{0.001}{\textrm{\textcolor{white}{.}}} \\ \\ \\ && \mathsf{f}(t, \, \mathsf{u}) = \left[ \begin{array}{c} 0 \\ m g \ell_3 \sin(\theta) \\ 0 \\ 0 \\ 0 \\ \end{array} \right]. \end{eqnarray*}

In order to numerically integrate the top’s equations of motion in MATLAB, we introduce the state vector \mathsf{y} = \left [ \mathsf{u}^T, \ \dot{\mathsf{u}}^T \right ]^T so that the state-space (i.e., first-order) formulation of the second-order equations of motion is given by

(4)   \begin{equation*} \dot{\mathsf{y}} = \left[\begin{array}{c} \dot{\mathsf{u}} \\ \mathsf{M}^{-1}(t, \, \mathsf{u}) \left ( \mathsf{f}(t, \, \mathsf{u}) - \upalpha (t, \, \mathsf{u}, \, \dot{\mathsf{u}}) \right ) \end{array} \right]. \end{equation*}

Simulation and animation

A sample animation of the Poisson top’s motion obtained by numerical simulation is provided in Figure 2. The animation window also displays the evolution of the corotational basis vectors, the trajectory of the top’s contact point P, and the total mechanical energy E = T + U over time.


Figure 2.
Sample animations of the Poisson top’s motion and the corresponding evolution of the corotational basis vectors, trajectory of the top’s contact point, and energy level over time. The animation was recorded at 8x slower speed.

Note that, as with the Lagrange top, the Poisson top can execute a steady rotational motion with a constant precession rate \dot{\psi}_{0}, spin rate \dot{\phi}_{0}, and nutation angle \theta_{0} if they satisfy the condition

(5)   \begin{equation*} (\lambda_{t} - \lambda_{a}) \dot{\psi}_{0}^2 \cos(\theta_{0}) - \lambda_{a} \dot{\psi}_{0} \dot{\phi}_{0} + m g \ell_{3} = 0 . \end{equation*}

Indeed, Figure 3 demonstrates one such steady motion. Notice that the path of the top’s contact point P traces out a circle in this case, and this is true of all steady motions.


Figure 3.
Animations of the Poisson top undergoing a steady motion and the corresponding evolution of the corotational basis vectors, trajectory of the top’s contact point, and energy level over time. The animation was recorded at 8x slower speed.

Lastly, we wish to point out that because the top is allowed to slide without friction, its motion conserves not only the total mechanical energy E, but also the lateral components of the top’s linear momentum, \mathbf{G} \cdot \mathbf{E}_{1} and \mathbf{G} \cdot \mathbf{E}_{2}. In addition, the top’s motion conserves two components of the angular momentum with respect to the mass center: \mathbf{H} \cdot \mathbf{E}_{3} = \textrm{constant} and \mathbf{H} \cdot \mathbf{e}_{3} = \textrm{constant}.

Downloads

The MATLAB code used to generate the animations in Figures 2 and 3 is available here. Many thanks to Andreas Hansen for creating this code.

References

  1. Poisson, S. D., A Treatise of Mechanics, Longmans, London (1842). Translated from the French by H. H. Harte.