Rigid Bodies and Rotating Frames
A rigid body is the first mechanical system beyond the point particle that Nature actually supplies: six degrees of freedom, three of them rotational, governed by an inertia tensor rather than by a single mass. This chapter develops rigid-body kinematics and dynamics — the inertia tensor, Euler's equations, tops and gyroscopes — and then turns to motion described from rotating frames, where the centrifugal and Coriolis forces appear and carry the terrestrial evidence of the Earth's rotation: Foucault's pendulum, the eastward deflection of falling bodies, the circulation of the winds, and the Chandler wobble. It builds directly on the dynamics of Newtonian Dynamics and the Lagrangian methods of Lagrangian Mechanics; the rotation group it works with is treated as algebra in Algebraic Structures and as geometry in Lie Groups, Lie Algebras, and Fibre Bundles. Standard treatments are [Goldstein:2002] [Landau:1976].
Two conventions are fixed once and used everywhere below. Body axes are always the principal axes of Theorem 29.16, labelled so that \(I_{1},I_{2},I_{3}\) are the corresponding moments; and Euler angles are always the \(z\)–\(x\)–\(z\) triple of Notation 29.9. Neither choice is forced by the physics, and a formula quoted from another book will differ from the formulae here if its conventions differ.
Rigid-body kinematics
Angular velocity and Euler's theorem
A rigid body is a system of particles, or a continuous mass distribution, subject to the holonomic constraints
A rigid body containing at least three non-collinear particles has exactly six degrees of freedom: three to locate one of its points and three more to orient it. Its configuration space is \(\R^{3}\times\SO(3)\). Rests on Definitions 21.9 and 29.1.
Derives Proposition 29.2. Fix three non-collinear particles of the body. Locating the first costs three coordinates. The second is then confined by Equation (29.1) to a sphere about the first, costing two more; the third is confined to a circle about the axis through the first two, costing one more — six in all. Every further particle is then determined, because its distances from three non-collinear points fix it up to a reflection, and a reflection cannot be reached continuously from the identity. The six coordinates split as the position of the chosen point, an element of \(\R^{3}\), and the orientation of the body frame relative to the space frame, which by Definition 14.26 is an element of \(\SO(3)\).
∎Every displacement of a rigid body that leaves one point fixed is a rotation through some angle about some axis through that point. That axis is the eigenvector of the displacement matrix belonging to the eigenvalue \(+1\). Rests on Propositions 14.30 and 29.2.
Derives Theorem 29.3. The displacement preserves all mutual distances and one point, so in Cartesian axes centred on that point it acts as a matrix \(R\) with \(R\transpose R=\identity\), and it is continuously connected to the identity, so \(\det R=+1\): that is, \(R\in\SO(3)\) (Definition 14.26). By the Rodrigues formula of Proposition 14.30 the exponential map onto \(\SO(3)\) is surjective, so \(R=\exp\left(\theta\,\hat{\vect{n}}\cdot\vect{J}\right)\) for some unit \(\hat{\vect{n}}\) and some angle \(\theta\); this is by construction the rotation by \(\theta\) about \(\hat{\vect{n}}\), and \(R\hat{\vect{n}}=\hat{\vect{n}}\). The general rotation formulae in this form are Euler's [Euler:1776].
∎Let the orthonormal body axes be \(\hat{\vect{e}}_{i}(t)=R(t)\,\hat{\vect{e}}_{i}(0)\) with \(R(t)\in\SO(3)\). Differentiating \(RR\transpose=\identity\) shows that \(\dot{R}R\transpose\) is antisymmetric, hence an element of \(\mathfrak{so}(3)\); the angular velocity \(\vect{\omega}(t)\) is the vector representing it,
Rests on Definition 14.26, Proposition 14.27 and Lemma 14.62.
The identification of an antisymmetric \(3\times3\) matrix with a vector is the isomorphism \(\mathfrak{so}(3)\cong\R^{3}\) of Proposition 14.27, and it is available in three space dimensions and in no other; that is the technical reason why angular velocity is a vector here and a two-index object in general.
If \(\vect{r}\) is measured from a point \(O\) of the body, every material point moves with
where \(\vect{v}_{O}\) is the velocity of \(O\) [Euler:1765]. Rests on Definition 29.4 and Equation (29.1).
Derives Proposition 29.5. Write the position of a material point as \(\vect{R}(t)=\vect{R}_{O}(t)+R(t)\vect{r}_{0}\), with \(\vect{r}_{0}\) its fixed body coordinates — fixed precisely because of Equation (29.1). Differentiating, \(\dot{\vect{R}}=\vect{v}_{O}+\dot{R}\vect{r}_{0} =\vect{v}_{O}+\dot{R}R\transpose\left(R\vect{r}_{0}\right)\), and by Equation (29.2) the second term is \(\vect{\omega}\times\vect{r}\) with \(\vect{r}=R\vect{r}_{0}\).
∎If Equation (29.3) holds with respect to \(O\) and also with respect to a second body point \(O'\), the two angular velocities coincide. There is therefore one \(\vect{\omega}\) for the body, not one per reference point. Rests on Proposition 29.5.
Derives Proposition 29.6. Let \(\vect{d}\) be the vector from \(O\) to \(O'\). Applying Equation (29.3) about each point and subtracting, \(\left(\vect{\omega}-\vect{\omega}'\right)\times \left(\vect{r}-\vect{d}\right)=\vect{0}\) for every material point. A body with three non-collinear points supplies vectors \(\vect{r}-\vect{d}\) spanning \(\R^{3}\), and only the zero vector has vanishing cross product with a spanning set, so \(\vect{\omega}=\vect{\omega}'\).
∎Let \(\vect{Q}(t)\) be any vector, and let a frame rotate with angular velocity \(\vect{\omega}\) relative to an inertial frame. Then
where the second derivative is taken holding the rotating basis fixed. Rests on Definition 29.4 and Proposition 29.5.
Derives Theorem 29.7. Expand \(\vect{Q}=Q_{i}\hat{\vect{e}}_{i}\) in the rotating basis and differentiate in the inertial frame:
The first sum is by definition the derivative computed by an observer who regards the basis as fixed. For the second, \(\hat{\vect{e}}_{i}=R\hat{\vect{e}}_{i}(0)\) gives \(\dd\hat{\vect{e}}_{i}/\dd t=\dot{R}R\transpose\hat{\vect{e}}_{i} =\vect{\omega}\times\hat{\vect{e}}_{i}\) by Equation (29.2), so the second sum is \(\vect{\omega}\times\vect{Q}\).
∎Theorem 29.7 is the single technical fact behind everything in Sections 29.3 and 29.5: applied to the angular momentum it produces Euler's equations, and applied twice to a position vector it produces the centrifugal and Coriolis terms.
Every displacement of a free rigid body can be realised as a rotation about some axis together with a translation along that same axis [Chasles:1830]. Rests on Theorem 29.3 and Proposition 29.5.
Derives Proposition 29.8. By Theorem 29.3 the displacement is \(\vect{r}\mapsto R\vect{r}+\vect{a}\) with \(R\) a rotation by \(\theta\) about a unit vector \(\hat{\vect{n}}\) through the origin. Split \(\vect{a}=a_{\parallel}\hat{\vect{n}}+\vect{a}_{\perp}\). Shifting the axis to pass through a point \(\vect{c}\) replaces \(\vect{a}\) by \(\vect{a}+\left(\identity-R\right)\vect{c}\). Now \(\identity-R\) annihilates \(\hat{\vect{n}}\) and, for \(\theta\) not a multiple of \(2\pi\), is invertible on the plane orthogonal to \(\hat{\vect{n}}\); choose \(\vect{c}\) in that plane with \(\left(\identity-R\right)\vect{c}=-\vect{a}_{\perp}\). About the shifted axis the translation is \(a_{\parallel}\hat{\vect{n}}\), parallel to the axis. If \(\theta\) is a multiple of \(2\pi\) the displacement is a pure translation, the degenerate screw of infinite pitch.
∎Euler angles
Let \(A\) be the matrix carrying the components of a vector in the space frame to its components in the body frame. This treatise writes
that is: rotate by \(\varphi\) about the space \(z\) axis; then by \(\theta\) about the new \(x\) axis, the line of nodes; then by \(\psi\) about the new \(z\) axis, which is the body axis \(\hat{\vect{e}}_{3}\). The ranges are \(\varphi\in[0,2\pi)\), \(\theta\in[0,\pi]\), \(\psi\in[0,2\pi)\), and the elementary matrices are
Multiplying out Equation (29.5),
Rests on Theorem 29.3 and Definition 14.26.
Twelve orderings of axes are in use, and both the active and the passive reading of the matrices occur. Landau's treatment uses the same \(z\)–\(x\)–\(z\) triple as Equation (29.5) [Landau:1976]; aeronautics prefers a \(z\)–\(y\)–\(x\) triple whose angles are yaw, pitch and roll and are not the angles here. A formula lifted from another source into this chapter is therefore wrong unless its convention is checked first. Every Euler-angle formula below — Equations (29.7) and (29.35) in particular — is stated in the convention of Notation 29.9 and in no other. Rests on Notation 29.9.
In the convention of Notation 29.9, the components of \(\vect{\omega}\) along the body axes are
Rests on Notation 29.9 and Definition 29.4.
Derives Proposition 29.11. The three elementary rotations are performed about the space \(z\) axis, about the line of nodes \(\hat{\vect{e}}_{N}\), and about the body axis \(\hat{\vect{e}}_{3}\), so the angular velocities add:
It remains to resolve each of the three axes along the body frame. The third column of Equation (29.6) gives the body components of \(\hat{\vect{z}}\), namely \(\left(\sin\theta\sin\psi,\ \sin\theta\cos\psi,\ \cos\theta\right)\). The line of nodes is the \(x\) axis of the intermediate frame, so applying only the last rotation \(R_{3}(\psi)\) to \((1,0,0)\) gives \(\left(\cos\psi,\ -\sin\psi,\ 0\right)\). Finally \(\hat{\vect{e}}_{3}=(0,0,1)\) in the body frame. Collecting components yields Equations (29.7), (29.8) and (29.9).
∎Read as a linear map from \(\left(\dot{\varphi},\dot{\theta},\dot{\psi}\right)\) to \(\left(\omega_{1},\omega_{2},\omega_{3}\right)\), Equations (29.7), (29.8) and (29.9) have the matrix
At \(\theta=0\) and \(\theta=\pi\) the map is singular: only the sum \(\varphi\pm\psi\) is determined, the two rotations having become rotations about the same axis. This is the defect known in instrument engineering as gimbal lock, and it is a property of the chart, not of the body: nothing whatever happens to a top as its axis passes through the vertical. No single chart can do better, because \(\SO(3)\) is a compact three-manifold (Lie Groups, Lie Algebras, and Fibre Bundles) and therefore admits no global coordinate system; a numerical integration that must pass through \(\theta=0\) changes chart, or abandons Euler angles for the group element itself. Rests on Propositions 14.31 and 29.11.
The inertia tensor
Definition and principal axes
For a body of mass density \(\rho(\vect{r})\) occupying a region \(V\), with \(\vect{r}\) measured from a chosen point \(O\), the inertia tensor about \(O\) is
which is Equation (19.34) with the sum over particles replaced by an integral over the body. The two are the same quantity for the same reason and are used interchangeably below, but neither expression is a special case of the other as written: a finite set of point masses is not a bounded density, so the discrete form is not obtained by substituting a \(\rho\) into Equation (29.10) — it is the same construction with the mass distribution summed rather than integrated. Where a result below holds for only one of the two, the statement says which. Its SI unit is \(\mathrm{kg}\,\mathrm{m}^{2}\). It is symmetric, and under a rotation of the axes its components transform as a Cartesian tensor of second rank (Definition 13.5). Rests on Definitions 7.93, 13.5 and 19.42.
If the point \(O\) is fixed, or is the centre of mass, then
and the kinetic energy of rotation is the quadratic form
For a general motion the total kinetic energy separates as \(T=\tfrac{1}{2}Mv_{\text{cm}}^{2}+T_{\text{rot}}\), with \(T_{\text{rot}}\) computed about the centre of mass. Rests on Definition 29.13, Proposition 29.5 and Definition 19.55.
Derives Proposition 29.14. With \(O\) fixed, Equation (29.3) gives \(\vect{v}=\vect{\omega}\times\vect{r}\), so
using the triple-product expansion \(\vect{a}\times(\vect{b}\times\vect{c}) =\vect{b}(\vect{a}\cdot\vect{c})-\vect{c}(\vect{a}\cdot\vect{b})\), which is the contraction \(\epsilon_{ijk}\epsilon_{ilm} =\delta_{jl}\delta_{km}-\delta_{jm}\delta_{kl}\) of the Levi-Civita symbol of Lemma 14.62. That contraction is quoted here and not proved: Part II states the invariance of the symbol but carries no labelled form of the identity, so it is used on its own authority. In components the result is exactly Equation (29.10) contracted with \(\omega_{k}\), which is Equation (29.11). For the energy,
by the same identity. The separation of the general motion is the centre-of-mass decomposition of Newtonian Dynamics: the cross term carries the factor \(\int_{V}\rho\,\vect{r}\,\dd^{3}r\), which vanishes when \(\vect{r}\) is measured from the centre of mass.
∎For any unit vector \(\hat{\vect{n}}\),
where \(d\) is the distance of the mass element from the line through \(O\) along \(\hat{\vect{n}}\). The form is strictly positive unless the whole mass lies on that line; a body that is not collinear therefore has a positive-definite inertia tensor. Rests on Definition 29.13.
Derives Proposition 29.15. Contract Equation (29.10) with \(\hat{\vect{n}}\): \(n_{i}n_{k}\left(r^{2}\delta_{ik}-x_{i}x_{k}\right) =r^{2}-\left(\vect{r}\cdot\hat{\vect{n}}\right)^{2} =\abs{\vect{r}}^{2}\sin^{2}\alpha=d^{2}\), with \(\alpha\) the angle between \(\vect{r}\) and \(\hat{\vect{n}}\). The integrand is non-negative, and vanishes identically only where \(\rho\) is supported on the line \(d=0\).
∎For every rigid body and every choice of the point \(O\) there exists an orthonormal triad \(\hat{\vect{e}}_{1},\hat{\vect{e}}_{2}, \hat{\vect{e}}_{3}\) fixed in the body in which \(I_{ik}\) is diagonal,
These are the principal axes and the \(I_{i}\) the principal moments of inertia [Segner:1755]. In such axes \(\vect{L}=\left(I_{1}\omega_{1},I_{2}\omega_{2},I_{3}\omega_{3}\right)\) and \(2T_{\text{rot}}=\sum_{i}I_{i}\omega_{i}^{2}\). Rests on Definition 29.13, Theorem 5.75 and Proposition 29.15.
Derives Theorem 29.16. \(I_{ik}\) is a real symmetric matrix, hence self-adjoint with respect to the Euclidean inner product. The spectral theorem (Theorem 5.75) supplies an orthonormal basis of eigenvectors with real eigenvalues, and Corollary 5.27 makes the decomposition orthogonal, so the change of basis is itself a rotation once the triad is ordered to be right-handed. The eigenvalues are the values of the form \(\hat{\vect{n}}\cdot I\hat{\vect{n}}\) on the eigenvectors, and these are non-negative by Proposition 29.15. The remaining formulae are Equations (29.11) and (29.12) evaluated in the diagonalizing basis. Historically the existence of three orthogonal principal axes is Segner's [Segner:1755]; the statement here is the modern one, and the mathematics belongs to Linear Algebra and Representation Theory rather than to mechanics.
∎The eigenvalue problem of Theorem 29.16 is the whole content of the passage from “a body” to “three numbers”. Note that \(\vect{L}\) and \(\vect{\omega}\) are parallel only when \(\vect{\omega}\) lies along a principal axis, or when two or three of the \(I_{i}\) coincide; in general the angular momentum of a spinning body does not point along its spin.
The principal moments satisfy
with equality in the first exactly when the whole mass lies in the \(\hat{\vect{e}}_{1}\hat{\vect{e}}_{2}\) plane. Rests on Theorem 29.16.
Derives Proposition 29.17. In principal axes \(I_{1}=\int\rho\left(y^{2}+z^{2}\right)\), \(I_{2}=\int\rho\left(z^{2}+x^{2}\right)\) and \(I_{3}=\int\rho\left(x^{2}+y^{2}\right)\), all integrals over \(V\) with measure \(\dd^{3}r\). Hence \(I_{1}+I_{2}-I_{3}=2\int_{V}\rho\,z^{2}\,\dd^{3}r\geq0\), which vanishes precisely when \(\rho\) is supported on \(z=0\). The other two follow by relabelling.
∎A body is a spherical top if \(I_{1}=I_{2}=I_{3}\), a symmetric top if exactly two of the principal moments are equal, and an asymmetric top if all three differ. For a symmetric top the two equal moments are written \(A\) and the third \(C\); the body is called prolate if \(C<A\) (a cigar) and oblate if \(C>A\) (a coin). Rests on Theorem 29.16.
The inertia ellipsoid of a body at \(O\) is the level surface
a genuine ellipsoid whenever \(I\) is positive definite, with semi-axes \(I_{i}^{-1/2}\) along the principal axes. Rests on Definition 29.13, Proposition 29.15 and Theorem 29.16.
The ellipsoid has a symmetry axis exactly when the body is a symmetric top, and is a sphere exactly for a spherical top. A cube is a spherical top about its centre, so its inertia ellipsoid is a sphere and every axis through the centre is principal — an example worth keeping in mind, because it shows that the symmetry of the inertia tensor can exceed the symmetry of the body.
Computing moments of inertia
Let \(I^{\text{cm}}_{ik}\) be the inertia tensor about the centre of mass and \(\vect{a}\) the vector from a point \(O\) to the centre of mass. Then the inertia tensor about \(O\) is
In particular the moment about an axis \(\hat{\vect{n}}\) through \(O\) exceeds the moment about the parallel axis through the centre of mass by \(Md^{2}\), with \(d\) the distance between the two axes. Rests on Definitions 19.47 and 29.13.
Derives Theorem 29.20. Write \(\vect{r}=\vect{a}+\vect{r}'\), with \(\vect{r}'\) measured from the centre of mass, so that \(\int_{V}\rho\,\vect{r}'\,\dd^{3}r=\vect{0}\) by Definition 19.47. Substituting into Equation (29.10),
Every term linear in \(\vect{r}'\) integrates to zero. What remains is the \(\vect{r}'\)-quadratic part, which is \(I^{\text{cm}}_{ik}\), plus the \(\vect{a}\)-quadratic part times the total mass, which is \(M\left(a^{2}\delta_{ik}-a_{i}a_{k}\right)\). Contracting Equation (29.15) with \(\hat{\vect{n}}\) twice gives \(Ma^{2}-\left(\vect{a}\cdot\hat{\vect{n}}\right)^{2}M=Md^{2}\) for the added term.
∎Among all axes of a given direction, the one through the centre of mass has the smallest moment of inertia. Rests on Theorem 29.20.
Derives Corollary 29.21. The added term \(Md^{2}\) of Theorem 29.20 is non-negative and vanishes only for \(d=0\).
∎This is the mathematical content of Huygens' theory of the compound pendulum and of the centre of oscillation [Huygens:1673]; the experimental use made of it, in Kater's reversible pendulum, is Phenomenon 34.8 and Equation (34.21).
For a plane lamina lying in the \(xy\) plane,
Rests on Definition 29.13 and Proposition 29.17.
Derives Proposition 29.22. With \(z=0\) throughout the body, Equation (29.10) gives \(I_{xx}=\int\rho y^{2}\), \(I_{yy}=\int\rho x^{2}\) and \(I_{zz}=\int\rho\left(x^{2}+y^{2}\right)\), all over \(V\) with measure \(\dd^{3}r\); adding the first two gives the third. It is the equality case of Proposition 29.17.
∎| Body | Axis | $I$ | ratio |
|---|---|---|---|
| Thin rod, length $\ell$ | perpendicular, through centre | $M\ell^{2}/12$ | $0.0833$ |
| Thin rod, length $\ell$ | perpendicular, through one end | $M\ell^{2}/3$ | $0.3333$ |
| Thin ring, radius $R$ | symmetry axis | $MR^{2}$ | $1$ |
| Disc, radius $R$ | symmetry axis | $MR^{2}/2$ | $0.5$ |
| Disc, radius $R$ | diameter | $MR^{2}/4$ | $0.25$ |
| Solid cylinder, radius $R$, length $\ell$ | transverse, through centre | $M\left(3R^{2}+\ell^{2}\right)/12$ | — |
| Solid sphere, radius $R$ | any diameter | $2MR^{2}/5$ | $0.4$ |
| Spherical shell, radius $R$ | any diameter | $2MR^{2}/3$ | $0.6667$ |
| Rectangular plate, sides $a,b$ | perpendicular, through centre | $M\left(a^{2}+b^{2}\right)/12$ | — |
| Solid ellipsoid, semi-axes $a,b,c$ | the $a$ axis | $M\left(b^{2}+c^{2}\right)/5$ | — |
The disc entries of Table 29.1 illustrate Proposition 29.22: a disc is a lamina, its two diameters are equivalent, and \(MR^{2}/4+MR^{2}/4=MR^{2}/2\) is the moment about the symmetry axis, as required.
The Earth's moment of inertia about its rotation axis is \(C=8.03\times 10^{37}\,\mathrm{kg}\,\mathrm{m}^{2}\), against a mass \(M=5.972\times 10^{24}\,\mathrm{kg}\) and an equatorial radius \(a=6.378\times 10^{6}\,\mathrm{m}\), so that
Table 29.1 gives \(0.4\) for a homogeneous sphere. The measured value is seventeen per cent smaller, and it cannot be made smaller by any redistribution that keeps the density uniform: the deficit is a direct measurement, made from the outside, that the Earth's mass is concentrated towards its centre. The same number enters Sections 29.3.4 and 29.4.4, where it fixes the free wobble and the precession rate; the numerical values here are the conventional astronomical ones collected in Table 29.2. Rests on Definition 29.13 and Table 29.1.
Let a body of mass \(m\), centred on its centre of mass, be viewed from a distant point mass \(M\) at position \(\vect{R}\) with \(R\) much larger than the size of the body. To quadrupole order the mutual gravitational potential energy is
where \(I_{R}=\hat{\vect{R}}\cdot I\hat{\vect{R}}\) is the moment of inertia of the body about the line joining the two centres. Rests on Definition 29.13 and Theorem 9.113.
Derives Proposition 29.24. Write \(U=-GM\int_{V}\rho(\vect{r})\,\abs{\vect{R}-\vect{r}}^{-1} \dd^{3}r\) and expand the kernel in Legendre polynomials by the generating function of Theorem 9.113, with \(\cos\gamma=\hat{\vect{R}}\cdot\hat{\vect{r}}\):
The \(n=0\) term integrates to \(m/R\). The \(n=1\) term vanishes because \(\vect{r}\) is measured from the centre of mass. For \(n=2\), note from Equation (29.10) that \(I_{1}+I_{2}+I_{3}=\tr I=2\int_{V}\rho\,r^{2}\,\dd^{3}r\) and that \(I_{R}=\int_{V}\rho\left(r^{2} -\left(\vect{r}\cdot\hat{\vect{R}}\right)^{2}\right)\dd^{3}r\), whence
Multiplying by \(-GM/(2R^{3})\) gives Equation (29.17).
∎Proposition 29.24 is the bridge from this section to Section 29.4.4: it says that a distant mass feels the orientation of a body only through the combination \(\tr I-3I_{R}\), and therefore exerts on it a torque proportional to the departure of the inertia tensor from a multiple of the identity. A spherical top feels no such torque at all, which is why the precession of the equinoxes measures the Earth's equatorial bulge and nothing else.
Euler's equations and free rotation
Euler's equations
Referred to the principal axes of a body, and about a point that is either fixed or the centre of mass, the rotational equation of motion \(\dd\vect{L}/\dd t=\vect{\tau}\) reads
where every component is taken along the body axes [Euler:1765]. Rests on Theorem 29.7, Postulate 19.22 and Theorem 29.16.
Derives Theorem 29.25. The rotational law of Newtonian Dynamics holds in an inertial frame: \(\left(\dd\vect{L}/\dd t\right)_{\text{space}} =\vect{\tau}\) (Equation (19.14)). The inertia tensor is constant only in the body frame, so transport the derivative there with Equation (29.4):
From Equations (19.14) and (29.4) (transporting the inertial rotational law into the body frame, where the inertia tensor is constant). In principal axes \(L_{i}=I_{i}\omega_{i}\) with constant \(I_{i}\) (Theorem 29.16), so the first term has components \(I_{i}\dot{\omega}_{i}\); and \(\left(\vect{\omega}\times\vect{L}\right)_{1} =\omega_{2}L_{3}-\omega_{3}L_{2} =\left(I_{3}-I_{2}\right)\omega_{2}\omega_{3}\), with the other two components obtained by cyclic permutation. Substituting gives Equations (29.18), (29.19) and (29.20).
∎When \(\vect{\tau}=\vect{0}\), both the rotational kinetic energy and the magnitude of the angular momentum are conserved:
both constant. The trajectory in the space of body-frame angular velocities is therefore confined to the intersection of an ellipsoid with a second ellipsoid. Rests on Theorem 29.25 and Equation (29.12).
Derives Proposition 29.26. Multiply Equations (29.18), (29.19) and (29.20) by \(\omega_{1},\omega_{2},\omega_{3}\) and add: the right-hand side vanishes and the products \(\left(I_{2}-I_{3}\right)\omega_{1}\omega_{2}\omega_{3}\) cancel in pairs, leaving \(\dd\left(\sum_{i}I_{i}\omega_{i}^{2}\right)/\dd t=0\). Multiplying instead by \(I_{1}\omega_{1},I_{2}\omega_{2},I_{3}\omega_{3}\) and adding cancels the same products and leaves \(\dd\left(\sum_{i}I_{i}^{2}\omega_{i}^{2}\right)/\dd t=0\). The second sum is \(\abs{\vect{L}}^{2}\) by Theorem 29.16. Both statements also follow directly in the inertial frame, where \(\vect{L}\) is constant and \(\dd T/\dd t=\vect{\omega}\cdot\vect{\tau}\).
∎Equation (29.21) is not a Hamiltonian system on a cotangent bundle: its variables are the three components of \(\vect{L}\), an odd number, and no symplectic form exists on an odd-dimensional space. It is instead a Lie–Poisson system on the dual of \(\mathfrak{so}(3)\), with bracket \(\pb{L_{i}}{L_{j}}=-\epsilon_{ijk}L_{k}\) and Hamiltonian \(T=\tfrac{1}{2}\sum_{i}L_{i}^{2}/I_{i}\); the second integral \(L^{2}\) of Proposition 29.26 is then not an accident but the Casimir function of that bracket, constant on every trajectory of every Hamiltonian. The structure is developed in Symplectic Geometry of Phase Space (see Definition 24.40 and Definition 24.37), and it is the reason the torque-free problem is integrable for every body whatever. Rests on Proposition 29.26, Definition 24.40 and Definition 24.37.
The free symmetric top
Let \(I_{1}=I_{2}=A\) and \(I_{3}=C\), and let \(\vect{\tau}=\vect{0}\). Then \(\omega_{3}\) is constant, and:
-
Seen from the body, \(\vect{\omega}\) keeps a constant angle with \(\hat{\vect{e}}_{3}\) and its equatorial part rotates uniformly at
\begin{equation}\tag{29.23} \Omega_{\text{body}}=\frac{C-A}{A}\,\omega_{3}\ep \end{equation} -
Seen from space, \(\vect{\omega}\), \(\vect{L}\) and \(\hat{\vect{e}}_{3}\) are coplanar at every instant, and both \(\vect{\omega}\) and \(\hat{\vect{e}}_{3}\) describe cones about the fixed direction \(\vect{L}\) at the rate
\begin{equation}\tag{29.24} \Omega_{\text{space}}=\frac{\abs{\vect{L}}}{A}\ep \end{equation}
Rests on Theorem 29.25 and Definition 29.18.
Derives Proposition 29.28. With \(I_{1}=I_{2}\) the third of Equation (29.20) reads \(C\dot{\omega}_{3}=0\), so \(\omega_{3}\) is constant. The first two become \(A\dot{\omega}_{1}=\left(A-C\right)\omega_{2}\omega_{3}\) and \(A\dot{\omega}_{2}=\left(C-A\right)\omega_{3}\omega_{1}\). Setting \(\zeta:=\omega_{1}+\ii\omega_{2}\) combines them into the single equation \(\dot{\zeta}=\ii\Omega_{\text{body}}\zeta\) with \(\Omega_{\text{body}}\) as in Equation (29.23), whose solution \(\zeta=\zeta_{0}\ee^{\ii\Omega_{\text{body}}t}\) has constant modulus: the equatorial part of \(\vect{\omega}\) has fixed length and turns uniformly, which is statement (i).
For (ii), decompose \(\vect{\omega}=\vect{\omega}_{\perp}+\omega_{3}\hat{\vect{e}}_{3}\), so that \(\vect{L}=A\vect{\omega}_{\perp}+C\omega_{3}\hat{\vect{e}}_{3}\) by Theorem 29.16. Eliminating \(\vect{\omega}_{\perp}\),
which exhibits \(\vect{\omega}\) as a combination of \(\vect{L}\) and \(\hat{\vect{e}}_{3}\) — hence the coplanarity. Since \(\hat{\vect{e}}_{3}\) is carried by the body, \(\dd\hat{\vect{e}}_{3}/\dd t =\vect{\omega}\times\hat{\vect{e}}_{3}\), and substituting Equation (29.25) kills the second term:
which is precisely a rotation of \(\hat{\vect{e}}_{3}\) about the fixed vector \(\vect{L}\) at the rate \(\abs{\vect{L}}/A\). The angle between \(\hat{\vect{e}}_{3}\) and \(\vect{L}\) is constant because \(L_{3}\) and \(\abs{\vect{L}}\) are, so the motion is a cone.
∎Both rates matter and they are different. Equation (29.23) is what an observer riding on the body would measure — for the Earth it is the free wobble of Section 29.3.4 — while Equation (29.24) is what an outside observer sees, and for a thrown object it is the visible tumbling. The two cones roll on one another: the body cone, traced by \(\vect{\omega}\) about \(\hat{\vect{e}}_{3}\), rolls without slipping on the space cone, traced by \(\vect{\omega}\) about \(\vect{L}\), their common line being the instantaneous axis, whose points are momentarily at rest.
In torque-free motion the inertia ellipsoid of the body, carried with it, rolls without slipping on a plane that is fixed in space — the invariable plane, perpendicular to \(\vect{L}\) and at the distance \(\sqrt{2T}/\abs{\vect{L}}\) from the fixed point [Poinsot:1834]. Rests on Definition 29.19 and Proposition 29.26.
Derives Theorem 29.29. Put \(\vect{\rho}:=\vect{\omega}/\sqrt{2T}\). Then \(\vect{\rho}\cdot I\vect{\rho} =\left(\vect{\omega}\cdot I\vect{\omega}\right)/(2T)=1\) by Equation (29.12), so \(\vect{\rho}\) lies on the inertia ellipsoid Equation (29.14) at every instant.
The outward normal to the ellipsoid at \(\vect{\rho}\) is the gradient of the quadratic form, \(\tfrac{1}{2}\nabla \left(\vect{x}\cdot I\vect{x}\right)=I\vect{\rho} =\vect{L}/\sqrt{2T}\), which is parallel to \(\vect{L}\) — a direction fixed in space, because the motion is torque-free. The tangent plane at the contact point is therefore perpendicular to \(\vect{L}\) for all time. Its distance from the centre is
constant by Proposition 29.26. A plane of fixed orientation and fixed distance from a fixed point is a fixed plane.
Finally, the contact point \(\vect{\rho}\) is parallel to \(\vect{\omega}\), so it lies on the instantaneous axis of rotation; by Equation (29.3) its material velocity vanishes. A surface touching a plane at a point of zero velocity rolls without slipping.
∎The curve traced by the contact point on the ellipsoid is the polhode, and the curve it traces on the invariable plane the herpolhode. The polhode is closed — it is the intersection of the two ellipsoids of Equation (29.22), rescaled — and it is what makes the whole torque-free motion visible at a glance: for a body whose \(I_{i}\) are all distinct the polhodes encircle the axes of largest and of smallest moment and are separated by two curves crossing at the intermediate axis, which is the geometric form of Phenomenon 29.31 below. The herpolhode need not close, and does not in general, since the two frequencies of the motion are incommensurable. Rests on Theorem 29.29 and Proposition 29.26.
Stability of rotation about the principal axes
A body with three distinct principal moments of inertia, thrown spinning about the axis of largest or of smallest moment, holds that axis steadily; thrown about the intermediate axis it tumbles, flipping end over end at a regular rate however carefully it was launched. The demonstration wants nothing more than a tennis racket, a book held shut, or a mobile telephone, and it works every time — the flipping is not a symptom of an imperfect throw. The same instability decides the fate of tumbling satellites and asteroids: internal dissipation drives a freely rotating body towards spin about the axis of largest moment, since that is the state of least kinetic energy at fixed angular momentum [Goldstein:2002] [Landau:1976]. Rests on Theorems 29.16 and 29.25.
Derivation. Derives Phenomenon 29.31. Take Euler's torque-free equations in the principal frame (Equation (29.18)),
and perturb the steady rotation \(\vect{\omega}=(\Omega,0,0)\) by writing \(\omega_{1}=\Omega+\varepsilon_{1}\), \(\omega_{2}=\varepsilon_{2}\) and \(\omega_{3}=\varepsilon_{3}\) with the \(\varepsilon_{i}\) small. To first order the first equation gives \(\dot{\varepsilon}_{1}=0\), and the other two give
Differentiating the first and substituting the second,
The coefficient on the right is negative — so that \(\varepsilon_{2}\) merely oscillates, and the axis is stable — when \(I_{1}\) is larger than both of \(I_{2},I_{3}\) or smaller than both; and it is positive — so that \(\varepsilon_{2}\) grows exponentially, and the axis is unstable — exactly when \(I_{1}\) lies strictly between them. The unstable axis is therefore the intermediate one, and only that one. A body with two equal moments has no intermediate axis and shows no such instability, which is why a symmetric top misbehaves in other ways but never in this one.
The growth rate follows from the same coefficient: writing \(\varepsilon_{2}\propto\ee^{\lambda t}\) about the intermediate axis \(I_{2}<I_{1}<I_{3}\),
which is of the order of the spin rate itself unless two of the moments nearly coincide. That is why the flip is fast, and why it recurs at a regular interval rather than settling: the linearization governs only the departure, and the exact motion returns periodically to the neighbourhood of the intermediate axis, as Remark 29.30 shows geometrically.
∎The argument just given solves the linearized equations and reads off the stability of the full nonlinear system. That step is legitimate here because the linearization is hyperbolic in the unstable case — a real positive exponent Equation (29.27), no zero eigenvalue — but the general theorem licensing it is a statement about systems of ordinary differential equations, not about rigid bodies. Part II's chapter on ordinary differential equations treats the scalar equation and its Wronskian theory but carries neither the constant-coefficient linear system \(\dot{\vect{x}}=\mathcal{A}\vect{x}\) nor Lyapunov's first method; those are owed. In the stable case the conclusion is weaker still and is stated as such: the linearization shows bounded oscillation, and it is Theorem 29.29 and Remark 29.30, which are exact, that show the exact motion stays near the axis. Rests on Phenomenon 29.31 and Theorem 29.29.
Among all rotations of a given body with a given angular momentum \(\vect{L}\), the rotational kinetic energy
is least when \(\vect{L}\) lies along the axis of largest moment. A freely rotating body that dissipates energy internally, while conserving \(\vect{L}\) because the dissipation is internal, therefore ends in rotation about that axis. Rests on Proposition 29.26 and Theorem 29.16.
Derives Proposition 29.33. Equation (29.28) is Equation (29.12) written in terms of \(L_{i}=I_{i}\omega_{i}\). At fixed \(L^{2}=\sum_{i}L_{i}^{2}\) the right-hand side is a weighted average of the \(1/I_{i}\) with weights \(L_{i}^{2}/L^{2}\) summing to one, so it lies between \(L^{2}/(2I_{\max})\) and \(L^{2}/(2I_{\min})\) and attains the lower bound exactly when all the weight sits on the largest moment. Internal forces exert no external torque (Postulate 19.48), so \(\vect{L}\) is conserved while \(T\) decreases; a decreasing quantity bounded below by \(L^{2}/(2I_{\max})\) converges, and the only stationary configurations compatible with the bound are rotations about the axis of largest moment.
∎An elongated body set spinning about its long axis — the axis of smallest moment — is therefore stable against small perturbations by Phenomenon 29.31 but not against dissipation by Proposition 29.33: it is at a maximum of \(T\) at fixed \(L\), and any internal flexing bleeds energy away until it tumbles and then settles into an end-over-end rotation about a transverse axis. This is the fate of a spin-stabilized satellite whose structure is not perfectly rigid, and it is also why small asteroids observed in non-principal-axis rotation are taken to have been disturbed recently. No primary reference is cited here for the satellite history; the mechanical statement is Proposition 29.33 and rests on nothing else.
Free nutation of the Earth: the Chandler wobble
The Earth's instantaneous axis of rotation is not fixed within the Earth. The pole traces an irregular, roughly circular path a few metres across on the surface, and that motion contains a free component whose period is near 433 days — some two fifths longer than the 305 days that a rigid Earth of the observed dynamical ellipticity would show [Goldstein:2002]. The discrepancy is not an error of measurement. It is the signature of the planet yielding elastically to the centrifugal bulge that its own wobble creates, and the size of the lengthening is therefore a measurement of the rigidity of the Earth's interior, made from the outside. Rests on Proposition 29.28 and Example 29.23.
Derivation. Derives Phenomenon 29.34. For a rigid symmetric body with equatorial moment \(A\) and polar moment \(C\), Euler's torque-free equations (Equation (29.18)) with \(\omega_{3}\) constant read
Setting \(\zeta:=\omega_{1}+\ii\omega_{2}\) combines the two into \(\dot{\zeta}=\ii\Omega_{\text{free}}\zeta\), so the equatorial part of \(\vect{\omega}\) rotates uniformly within the body at the rate
that is, one turn in \(A/(C-A)\) rotation periods of the body — which is Equation (29.23) specialized to the Earth. The observed dynamical ellipticity is \(H:=\left(C-A\right)/C=3.274\times 10^{-3}\) (Table 29.2), so
and the rigid prediction is a free wobble of about 305 sidereal days — Euler's number [Euler:1765], and one that no observation matches. Chandler's analysis of the latitude records gave a free period near 427 days [Chandler:1891], and modern determinations place it near 433 days; the amplitude corresponds to a displacement of the pole of a few metres at the surface.
The elastic correction follows from the same equations once the body is allowed to yield. A wobble tilts the rotation axis to \(\vect{\omega}=\Omega\left(m_{1},m_{2},1\right)\), with \(\abs{m}\) of order \(5\times 10^{-7}\) for a pole displacement of a few metres, and the centrifugal potential energy per unit mass, \(\Phi=-\tfrac{1}{2}\abs{\vect{\omega}\times\vect{r}}^{2}\), acquires the perturbation
in \(\mathrm{J}/\mathrm{kg}\): a second-degree harmonic of the same shape as a tide, raised by the wobble itself. The Earth responds to it elastically, and Love's number \(k_{2}\) is defined as the ratio of the extra gravitational potential the deformation produces at the surface to the potential that provoked it [Love:1911]. By Equation (29.17) the orientation-dependent part of the external potential of a body is carried entirely by its inertia tensor, and the part of it belonging to the products of inertia \(c_{13},c_{23}\) is \(3G\left(c_{13}xz+c_{23}yz\right)/r^{5}\). Equating that at \(r=a_{\oplus}\) to \(k_{2}\,\delta\Phi\) gives
with \(\kappa\) carrying \(\mathrm{kg}\,\mathrm{m}^{2}\), as an increment of inertia must.
Now redo the free-wobble calculation with \(I=I_{0}+c\). Angular momentum is conserved in space, so by Equation (29.4) its body components obey \(\dot{\vect{L}}+\vect{\omega}\times\vect{L}=\vect{0}\), and to first order in \(m\) and in \(c\) one has \(L_{1}=\Omega\left(Am_{1}+c_{13}\right)\), \(L_{2}=\Omega\left(Am_{2}+c_{23}\right)\) and \(L_{3}=C\Omega\). Writing \(m:=m_{1}+\ii m_{2}\) and combining the first two components as before,
so the free wobble is still circular, but at the rate
From Equations (29.31) and (29.32) (the elastic increment enters only through the ratio of Love numbers). the approximation using \(\kappa/A\sim10^{-3}\). The dimensionless \(k_{\text{s}}\) is the Love number a body would have if it yielded until its whole bulge were centrifugal; from Table 29.2, with \(C-A=HC=2.629\times 10^{35}\,\mathrm{kg}\,\mathrm{m}^{2}\) and \(a_{\oplus}^{5}=1.0556\times 10^{34}\,\mathrm{m}^{5}\), it is \(k_{\text{s}}=0.938\).
Equation (29.33) therefore lengthens the period by the factor \(\left(1-k_{2}/k_{\text{s}}\right)^{-1}\), and the observed lengthening from \(304.5\) to \(433\) days inverts to
which is the measurement the phenomenon promised: one number describing how far the whole planet yields, read off a period. It is of the size of, and a little below, the degree-two Love number near \(0.30\) that Earth-tide observations give—no source is cited here for that comparison value—and the difference is where the fluid outer core, which does not follow the mantle's wobble, and the ocean pole tide enter. Neither is in this calculation. Neither is the damping: the observed wobble decays in a few decades and must therefore be re-excited continually, by some redistribution of mass among the atmosphere, the oceans and the solid Earth. Which of those dominates is a question this treatise does not settle.
∎The mechanism was identified by Newcomb within a year of Chandler's announcement [Newcomb:1892]: a wobbling Earth deforms under the centrifugal field of its own wobble, and the deformation carries part of the equatorial bulge along with the instantaneous pole, so that the effective \(C-A\) opposing the motion is smaller than the static one and the period is correspondingly longer. Equation (29.33) is that argument made quantitative, and it deliberately hides the whole interior in a single number: \(k_{2}\) is what one gets by refusing to model the planet and asking only how much its external field yields. Computing \(k_{2}\) from a density and a rigidity profile, rather than reading it off a period, is elastostatics and belongs to Continuum Mechanics and Elasticity. What the observation delivers without any of that is a bulk measurement of the rigidity of the mantle that no laboratory sample can provide.
The heavy top
The Lagrange top
A Lagrange top is a symmetric rigid body, \(I_{1}=I_{2}=A\) and \(I_{3}=C\) about a fixed point on its symmetry axis, with its centre of mass a distance \(\ell\) from that point along the same axis, moving under uniform gravity \(\vect{g}\). In the Euler angles of Notation 29.9, with the space \(z\) axis vertical, its Lagrangian is
Rests on Proposition 29.11, Definition 21.31 and Theorem 29.16.
The kinetic term is Equation (29.12) in principal axes with \(\omega_{1}^{2}+\omega_{2}^{2} =\dot{\theta}^{2}+\dot{\varphi}^{2}\sin^{2}\theta\) and \(\omega_{3}=\dot{\psi}+\dot{\varphi}\cos\theta\), both read off Equations (29.7), (29.8) and (29.9); the potential is \(Mgz_{\text{cm}}\) with \(z_{\text{cm}}=\ell\cos\theta\). The moments \(A\) and \(C\) are taken about the fixed point, so \(A\) already contains the \(M\ell^{2}\) of Theorem 29.20.
The Lagrange top conserves
The first two are the components of the angular momentum along the body symmetry axis and along the vertical. Rests on Equation (29.35), Theorem 21.36 and Theorem 21.43.
Derives Proposition 29.36. Neither \(\psi\) nor \(\varphi\) appears in Equation (29.35): both are cyclic (Definition 21.35), so their conjugate momenta are conserved by Theorem 21.36. Computing them from Equation (29.35) gives Equations (29.36) and (29.37). The Lagrangian has no explicit time dependence, so the energy function of Theorem 21.43 is conserved, and since the kinetic term is quadratic in the velocities it equals \(T+V\), which is Equation (29.38). That \(p_{\psi}\) and \(p_{\varphi}\) are the stated components of \(\vect{L}\) follows because \(\psi\) generates rotation about \(\hat{\vect{e}}_{3}\) and \(\varphi\) rotation about \(\hat{\vect{z}}\).
∎Write \(u:=\cos\theta\) and set
Then the motion of the axis obeys
a cubic in \(u\) with \(f(\pm1)=-\left(b\mp a\right)^{2}\leq0\) and \(f\to+\infty\) as \(u\to+\infty\). Except in degenerate cases \(f\) has exactly two roots \(u_{1}\leq u_{2}\) in \([-1,1]\), and the axis nutates periodically between the corresponding polar angles \(\theta_{2}\leq\theta\leq\theta_{1}\), while
The solution is reduced to the quadrature \(t=\int\dd u/\sqrt{f(u)}\). Rests on Proposition 29.36 and Theorem 7.23.
Derives Theorem 29.37. Solve Equation (29.37) for \(\dot{\varphi}\), obtaining the first of Equation (29.40), and Equation (29.36) for \(\dot{\psi}\), obtaining the second. Substituting the first into Equation (29.38) and using \(\dot{u}=-\sin\theta\,\dot{\theta}\), so that \(\dot{u}^{2}=\left(1-u^{2}\right)\dot{\theta}^{2}\), gives
which rearranges to Equation (29.39). Evaluating \(f\) at \(u=\pm1\) kills the first product and leaves \(-\left(b\mp a\right)^{2}\), which is negative unless the axis reaches the vertical. Since \(f\) is a cubic with positive leading coefficient \(\beta>0\), it tends to \(+\infty\) at large \(u\); and physical motion requires \(f\geq0\), which the initial condition supplies at some \(u_{0}\in(-1,1)\). The intermediate value theorem (Theorem 7.23) then places a root in \((u_{0},1)\) and another in \((-1,u_{0})\), and a cubic has no more than three roots, the third lying above \(1\) and being unphysical. Between the two roots \(\dot{u}^{2}>0\), and the motion runs from one to the other and back, periodically, because Equation (29.39) is autonomous and \(\dot{u}\) changes sign only at the roots.
∎A rapidly spinning top, held with its axis at an angle to the vertical and then released from rest, does not begin to precess smoothly. Its axis first dips, then rises again to the height it started from, and meanwhile it swings around the vertical; the tip of the axis traces a succession of cusps hanging below the circle of release. The dip and the swing are fast and small compared with the mean progress around the vertical, and the faster the top spins the smaller the dip and the quicker the flutter, until the eye no longer resolves it and the motion looks like the smooth precession of Phenomenon 29.46 [Goldstein:2002]. Rests on Theorem 29.37 and Proposition 29.36.
Derivation. Derives Phenomenon 29.38. Release from rest at \(\theta_{0}\) means \(\dot{\theta}=\dot{\varphi}=0\) there, so Equation (29.37) gives \(b=au_{0}\) with \(u_{0}=\cos\theta_{0}\), and \(f(u_{0})=0\) in Equation (29.39) forces \(\alpha=\beta u_{0}\). Writing \(u=u_{0}+x\) with \(x\) small, \(b-au=-ax\) and \(\alpha-\beta u=-\beta x\), so
Differentiating once, \(\ddot{x}=-a^{2}x-\tfrac{1}{2}\beta\sin^{2}\theta_{0}\): the variable \(x\) performs simple harmonic motion at the angular frequency
about the displaced centre \(x=-\beta\sin^{2}\theta_{0}/(2a^{2})\), with amplitude equal to that displacement. Since \(x\) starts at zero and must be negative for Equation (29.41) to be positive, \(u\) decreases and \(\theta\) increases: the top falls first. Converting the full swing in \(u\) to an angle through \(\Delta u=\sin\theta_{0} \Delta\theta\),
which falls off as the inverse square of the spin.
The precession follows from the first of Equation (29.40): \(\dot{\varphi}=-ax/(1-u^{2})\), which vanishes exactly where \(x=0\) — at the top of each nutation swing. There the axis is momentarily at rest in both angles, which is the cusp. Averaging over one nutation period, \(\avg{-x}\) is the centre offset \(\beta\sin^{2}\theta_{0}/(2a^{2})\), so
which is exactly the fast-top rate Equation (29.55) derived independently below. The two calculations agreeing is the check that the smooth precession of Phenomenon 29.46 is the nutation-averaged motion and not a different phenomenon.
∎A Lagrange top can precess at constant \(\theta\) and constant \(\dot{\varphi}=\Omega\) provided
For \(\theta<\pi/2\) this requires \(C^{2}\omega_{3}^{2}\geq4AMg\ell\cos\theta\): below that spin no steady precession at the given inclination exists at all. The slow root reduces to \(Mg\ell/(C\omega_{3})\) when the spin is large. Rests on Equation (29.35) and Theorem 16.22.
Derives Proposition 29.39. The Euler–Lagrange equation (Theorem 16.22) for \(\theta\) applied to Equation (29.35) is
using \(\omega_{3}=\dot{\psi}+\dot{\varphi}\cos\theta\) from Equation (29.9). Setting \(\ddot{\theta}=0\), \(\dot{\varphi}=\Omega\) and \(\sin\theta\neq0\) gives the quadratic in Equation (29.45), whose roots are as stated. Reality of the roots is the discriminant condition. For \(C\omega_{3}\gg\sqrt{AMg\ell}\), expanding the square root to first order gives \(\Omega_{-}\to Mg\ell/(C\omega_{3})\) and \(\Omega_{+}\to C\omega_{3}/(A\cos\theta)\).
∎A top spinning about the exact vertical, \(\theta=0\), is stable against small disturbances if and only if
Above that spin the top “sleeps”, standing apparently motionless; below it, the vertical position is unstable and the top falls away. Friction slowly reduces \(\omega_{3}\), so a sleeping top wakes when Equation (29.46) fails, and does so abruptly. Rests on Theorem 29.37 and Proposition 29.36.
Derives Proposition 29.40. At \(\theta=0\) the two conserved momenta coincide, \(L_{z}=L_{3}\), since Equation (29.37) at \(\sin\theta=0\) gives \(L_{z}=L_{3}\cos 0\). Eliminating \(\dot{\varphi}\) from Equation (29.38) with Equation (29.40) puts the energy in the one-dimensional form \(E'=\tfrac{1}{2}A\dot{\theta}^{2}+V_{\text{eff}}(\theta)\) (Definition 27.25) with
With \(L_{z}=L_{3}\) the first term is \(\left(L_{3}^{2}/2A\right)\left(1-\cos\theta\right)/ \left(1+\cos\theta\right)\), which for small \(\theta\) is \(L_{3}^{2}\theta^{2}/(8A)\); and \(Mg\ell\cos\theta =Mg\ell-Mg\ell\theta^{2}/2+O(\theta^{4})\). Hence
so \(\theta=0\) is a minimum — and the motion in \(\theta\) is bounded near it — exactly when \(L_{3}^{2}>4AMg\ell\), which with \(L_{3}=C\omega_{3}\) is Equation (29.46). When the coefficient is negative the effective potential falls away from \(\theta=0\) and no bounded motion near the vertical exists.
∎Take a uniform disc of mass \(M=0.100\,\mathrm{kg}\) and radius \(R=0.0300\,\mathrm{m}\) mounted on a light spindle and pivoted at \(\ell=0.0500\,\mathrm{m}\) from its centre, spinning at \(50.0\,/\mathrm{s}\), that is \(\omega_{3}=314\,\mathrm{rad}/\mathrm{s}\). From Table 29.1 and Theorem 29.20,
and \(Mg\ell=4.905\times 10^{-2}\,\mathrm{N}\,\mathrm{m}\) with \(g=9.81\,\mathrm{m}/\mathrm{s}^{2}\). Then:
-
the sleeping criterion Equation (29.46) is met with \(C^{2}\omega_{3}^{2}/(4AMg\ell)=3.74\), so this top would stand upright;
-
the fast-top precession rate Equation (29.55) is \(Mg\ell/(C\omega_{3})=3.47\,\mathrm{rad}/\mathrm{s}\), one turn in \(1.81\,\mathrm{s}\);
-
at \(\theta=60^\circ\) the exact slow root of Equation (29.45) is \(3.59\,\mathrm{rad}/\mathrm{s}\), so the fast-top formula is low by \(3.5\,\mathrm{\%}\), and the fast root is \(100\,\mathrm{rad}/\mathrm{s}\);
-
the nutation frequency Equation (29.42) is \(C\omega_{3}/A=51.9\,\mathrm{rad}/\mathrm{s}\), a period of \(0.121\,\mathrm{s}\), and the nutation amplitude Equation (29.43) on release at \(60^\circ\) is \(0.116\,\mathrm{rad}\), about \(6.6^\circ\).
The separation of scales that makes Equation (29.55) useful is visible in the last two entries: the flutter is fifteen times faster than the precession and a few degrees wide, which is exactly what one sees. Rests on Equations (29.43), (29.45) and (29.55).
The quadrature \(t=\int\dd u/\sqrt{f(u)}\) of Theorem 29.37 can be carried further. Because \(f\) is a cubic, the affine substitution that carries its three roots to \(0\), \(1\) and \(1/k^{2}\) puts the integral in Legendre's normal form, so that \(u=\cos\theta\) is a Jacobi elliptic function of the time; the nutation period \(2\int_{u_{1}}^{u_{2}}\dd u/\sqrt{f(u)}\) is then a complete elliptic integral of the first kind built on the same roots, and the two degenerate cases in which a pair of roots coalesce return steady precession Equation (29.45) and the sleeping top Equation (29.46).
That is a statement about the integral, and it is recorded here and used nowhere. Elliptic integrals and the Jacobi elliptic functions are not developed anywhere in this treatise—the same absence stops Remark 28.66 at the exact period of the finite-amplitude pendulum—so this chapter asserts nothing whose establishment would need the inversion. The nutation frequency Equation (29.42), the nutation amplitude Equation (29.43), the mean precession Equation (29.44), the steady-precession roots Equation (29.45) and the sleeping-top condition Equation (29.46) were all obtained from Equation (29.39) directly, without ever solving it. Rests on Theorem 29.37 and Remark 28.66.
Integrable cases and the Kovalevskaya top
The heavy top with a fixed point has three degrees of freedom and always possesses three integrals of motion: the energy, the vertical component \(L_{z}\) of the angular momentum, and the trivial \(\abs{\vect{\gamma}}=1\), where \(\vect{\gamma}\) denotes the upward vertical resolved along the body axes. Complete integrability requires one more. Exactly three families of bodies supply it for arbitrary initial conditions.
The heavy top with a fixed point admits a fourth independent integral, for all initial data, in the following three cases and — as Kovalevskaya's analysis of the singularity structure of the solutions established — in no others:
-
the Euler case [Euler:1765]: the fixed point is the centre of mass, \(\ell=0\), so the motion is torque-free and the fourth integral is \(\abs{\vect{L}}^{2}\) of Proposition 29.26;
-
the Lagrange case [Lagrange:1788]: \(I_{1}=I_{2}\) with the centre of mass on the symmetry axis, and the fourth integral is \(L_{3}=C\omega_{3}\) of Equation (29.36);
-
the Kovalevskaya case [Kovalevskaya:1889]: \(I_{1}=I_{2}=2I_{3}\) with the centre of mass in the plane of the two equal moments, and the fourth integral is quartic in the angular velocities.
Derives Proposition 29.43. Cases (i) and (ii) are read off the results already proved: Proposition 29.26 supplies \(\abs{\vect{L}}^{2}\) when the torque vanishes, and Proposition 29.36 supplies \(L_{3}\) when the body is symmetric about the axis carrying the centre of mass. The existence of the fourth integral in case (iii), and the completeness of the list, are Kovalevskaya's and are not reproved here; the fourth integral itself is quoted in Remark 29.44.
∎With \(I_{1}=I_{2}=2I_{3}\), the centre of mass at distance \(\ell\) from the fixed point along the body \(1\) axis, and \(\vect{\gamma}\) the upward vertical resolved along the body axes, the conserved quantity Kovalevskaya found is
whose two factors have the same SI dimension, \(/\mathrm{s}^{2}\), as they must. The sign of \(c_{0}\) follows the orientation chosen for the body axes and must be fixed before the expression is used. Rests on Proposition 29.43.
Derives Equation (29.48). Write \(I_{3}=:I\), so that \(I_{1}=I_{2}=2I\). Keep \(\vect{\gamma}\) the upward vertical, and orient the body \(1\) axis from the centre of mass towards the fixed point, so that the centre of mass sits at \(-\ell\hat{\vect{e}}_{1}\) and the gravitational torque about the fixed point is \(\vect{\tau}=\left(-\ell\hat{\vect{e}}_{1}\right)\times \left(-Mg\vect{\gamma}\right) =Mg\ell\,\hat{\vect{e}}_{1}\times\vect{\gamma} =Mg\ell\left(0,-\gamma_{3},\gamma_{2}\right)\). That is the convention of the remark; reversing \(\hat{\vect{e}}_{1}\) reverses the torque and with it the sign of \(c_{0}\), which is the freedom recorded there. Euler's equations Equations (29.18), (29.19) and (29.20) then read
with \(c_{0}=Mg\ell/I\). The vertical is fixed in space, so Equation (29.4) applied to \(\vect{\gamma}\) gives its body components as
Set \(\zeta:=\omega_{1}+\ii\omega_{2}\) and \(\eta:=\gamma_{1}+\ii\gamma_{2}\). Combining the first two components of Equation (29.49), and then of Equation (29.50),
Now differentiate \(\xi:=\zeta^{2}+c_{0}\eta\):
From Equations (29.51) and (29.52) (the two terms carrying \(\gamma_{3}\) cancel identically). The coefficient is purely imaginary, so \(\dd\abs{\xi}^{2}/\dd t=\bar{\xi}\dot{\xi}+\xi\overline{\dot{\xi}} =-\ii\omega_{3}\abs{\xi}^{2}+\ii\omega_{3}\abs{\xi}^{2}=0\), and \(K=\abs{\xi}^{2}\) of Equation (29.48) is conserved.
The ratio of the moments is exactly what makes the cancellation happen. Repeat the calculation with \(I_{1}=I_{2}=A\) and \(I_{3}=C\) arbitrary, the centre of mass still on the body \(1\) axis. Euler's equations now give \(\dot{\zeta}=\ii k\,\omega_{3}\zeta -\ii\left(Mg\ell/A\right)\gamma_{3}\) with \(k:=\left(C-A\right)/A\), while Equation (29.50) is unchanged. For a trial quantity \(\xi=\zeta^{n}+\lambda\eta\),
The two terms in \(\gamma_{3}\) cancel for no choice of \(\lambda\) unless \(n=2\), and then only for \(\lambda=2Mg\ell/A\). What survives, \(\ii\omega_{3}\left(2k\zeta^{2}-\lambda\eta\right)\), is proportional to \(\xi=\zeta^{2}+\lambda\eta\) only if \(2k=-1\), that is only if \(A=2C\); and then \(\lambda=2Mg\ell/(2C)=Mg\ell/I_{3}=c_{0}\). So the quantity displayed in Equation (29.48) is conserved precisely when \(I_{1}=I_{2}=2I_{3}\), which is what singles the Kovalevskaya case out. That no other fourth integral exists for other ratios is Kovalevskaya's own theorem [Kovalevskaya:1889] and is not proved here.
∎For each of the three cases the four integrals are in involution and the machinery of Hamilton–Jacobi Theory and the Optical–Mechanical Analogy applies: the motion is confined to a torus and can be written in action–angle variables (Definition 23.28), so the long-time behaviour is quasi-periodic and predictable indefinitely. A heavy top that is not of one of these three kinds has no such description. Its trajectories are not confined to tori, they are sensitive to initial conditions in the sense of Nonlinear Dynamics and Chaos, and no closed-form solution exists — which is the general situation, the three integrable cases being exceptional. Rests on Proposition 29.43 and Definition 23.28.
Gyroscopes
Set a top spinning rapidly and tilt its axis away from the vertical: it does not topple. Its axis instead sweeps out a cone about the vertical at a slow and steady rate, moving at right angles to the direction in which gravity is pulling it. A spinning bicycle wheel held by one end of its axle behaves the same way, and pushes back sideways against the hand that tries to tilt it. The rate of the sweep is inversely proportional to the spin — the faster the top turns, the slower it precesses and the more nearly it appears simply to stand — and, to the accuracy of the observation, it does not depend on how far the axis is tilted [Goldstein:2002]. Rests on Theorem 29.25 and Equation (19.14).
Derivation. Derives Phenomenon 29.46. Let the top be symmetric, spinning at \(\omega_{3}\) about its own axis \(\hat{\vect{e}}_{3}\), and supported at a point a distance \(\ell\) from its centre of mass along that axis. In the fast-top limit the angular momentum is dominated by the spin, \(\vect{L}\simeq I_{3}\omega_{3}\hat{\vect{e}}_{3}\). About the support the weight exerts the torque
with \(\theta\) the tilt from the vertical. This torque is perpendicular to \(\hat{\vect{e}}_{3}\) and hence to \(\vect{L}\), so by \(\dv{\vect{L}}{t}=\vect{\tau}\) it can turn \(\vect{L}\) but cannot lengthen or shorten it — which is the whole reason the top turns instead of falling. Writing the motion of the axis as a rotation about the vertical at rate \(\Omega\), the tip of \(\vect{L}\) travels on a circle of radius \(I_{3}\omega_{3}\sin\theta\) at speed \(\Omega I_{3}\omega_{3}\sin\theta\); equating this to \(\abs{\vect{\tau}}\), the factor \(\sin\theta\) cancels and
independent of the tilt and inversely proportional to the spin, as observed. The one approximation made was to neglect the angular momentum of the precession itself beside that of the spin, which is what “fast” means; releasing it produces the superposed nutation of Phenomenon 29.38, and Equation (29.44) shows that averaging that nutation returns Equation (29.55) exactly.
∎Foucault gave the instrument its name and exhibited it, in 1852, as a second mechanical proof of the Earth's rotation, complementary to the pendulum of the year before [Foucault:1852]: a pendulum keeps its plane against a rotating frame, and a spinning body keeps its axis. The next proposition is the quantitative form of that claim, and it is the principle of the gyrocompass.
A symmetric rotor spinning at \(\omega_{3}\), whose axis is constrained to remain horizontal but is free in azimuth, is stable with its spin axis pointing north, and oscillates about that direction at the angular frequency
with \(\Omega\) the Earth's sidereal angular velocity and \(\lambda\) the latitude. The instrument therefore finds true north without magnetism and without sight of the sky, and it fails at the poles, where \(\cos\lambda=0\) [Goldstein:2002]. Rests on Theorem 29.7 and Equation (29.11).
Derives Proposition 29.47. Use local axes at latitude \(\lambda\) with \(x\) east, \(y\) north and \(z\) up, in which the Earth's angular velocity is \(\vect{\Omega}=\Omega\left(0,\cos\lambda,\sin\lambda\right)\). Let \(\alpha\) be the azimuth of the spin axis measured from north towards east, so that \(\hat{\vect{e}}=\left(\sin\alpha,\cos\alpha,0\right)\). A rotation carrying north into east is a rotation by \(-\alpha\) about \(\hat{\vect{z}}\), so the slew contributes \(-A\dot{\alpha}\hat{\vect{z}}\) to the angular momentum and
Apply Equation (29.4) in the frame rotating with the Earth: \(\left(\dd\vect{L}/\dd t\right)_{\text{Earth}} +\vect{\Omega}\times\vect{L}=\vect{\tau}\). The rotor is balanced, so gravity exerts no torque about the support; the constraint that keeps the axis horizontal acts about a horizontal axis and so has no vertical component. Taking the vertical component of the equation,
whence \(A\ddot{\alpha}=-C\omega_{3}\Omega\cos\lambda\sin\alpha\). This is the pendulum equation with \(\alpha=0\) — the spin axis pointing north — as the stable equilibrium, and linearizing about it gives Equation (29.56). At \(\cos\lambda=0\) the restoring term vanishes identically and no direction is preferred.
∎For a disc rotor, \(C/A=2\). Taking a spin of \(100\,/\mathrm{s}\), that is \(\omega_{3}=628\,\mathrm{rad}/\mathrm{s}\), at latitude \(45^\circ\) with \(\Omega=7.292\times 10^{-5}\,/\mathrm{s}\), Equation (29.56) gives \(\omega_{\text{gc}}=0.255\,\mathrm{rad}/\mathrm{s}\), a period of about \(25\,\mathrm{s}\). The result is a genuine consequence of the idealization stated in Proposition 29.47 — an axis held exactly horizontal and free in azimuth — and practical instruments differ from it, being made north-seeking by a pendulous suspension and deliberately damped and detuned; no engineering source is cited here for those refinements. Rests on Equation (29.56).
Precession of the equinoxes and astronomical nutation
| Quantity | Symbol | Value |
|---|---|---|
| Earth sidereal angular velocity | $\Omega$ | \(7.29212\times 10^{-5}\,/\mathrm{s}\) |
| Earth equatorial radius | $a_{\oplus}$ | \(6.3781\times 10^{6}\,\mathrm{m}\) |
| Earth mass | $M_{\oplus}$ | \(5.9722\times 10^{24}\,\mathrm{kg}\) |
| Earth polar moment of inertia | $C$ | \(8.03\times 10^{37}\,\mathrm{kg}\,\mathrm{m}^{2}\) |
| Earth dynamical ellipticity $\left(C-A\right)/C$ | $H$ | \(3.2738\times 10^{-3}\) |
| Obliquity of the ecliptic | $\varepsilon$ | \(23.4393^\circ\) |
| Heliocentric gravitational constant | $GM_{\odot}$ | \(1.32712\times 10^{20}\,\mathrm{m}^{3}/\mathrm{s}^{2}\) |
| Lunar gravitational constant | $GM_{\text{M}}$ | \(4.9028\times 10^{12}\,\mathrm{m}^{3}/\mathrm{s}^{2}\) |
| Earth orbital semi-major axis | $a_{\odot}$ | \(1.49598\times 10^{11}\,\mathrm{m}\) |
| Lunar orbital semi-major axis | $a_{\text{M}}$ | \(3.8440\times 10^{8}\,\mathrm{m}\) |
| Inclination of the lunar orbit to the ecliptic | $i$ | \(5.145^\circ\) |
The Earth's axis of rotation is not fixed among the stars. It describes a cone about the pole of the ecliptic whose half-angle is the obliquity, about \(23.4^\circ\), carrying the equinoctial points westward along the ecliptic by roughly fifty seconds of arc a year and completing one circuit in about \(2.6\times 10^{4}\,\mathrm{yr}\). Hipparchus detected the drift in the second century BC by comparing his own star positions with earlier ones, and it is why the pole star changes over historical time and why the zodiacal signs no longer coincide with the constellations that named them. Newton identified the cause: the gravitational torque exerted by the Moon and the Sun upon the Earth's equatorial bulge, so that the planet is a very slow and very large version of Phenomenon 29.46 [Newton:1687]. The modern value of the drift is \(50.29\) seconds of arc a year, corresponding to a period of \(2.577\times 10^{4}\,\mathrm{yr}\). Rests on Proposition 29.24 and Phenomenon 29.46.
Derivation. Derives Phenomenon 29.49. Treat the Earth as a symmetric top with moments \(A=B\) and \(C\) and symmetry axis \(\hat{\vect{e}}_{3}\), and a perturber of mass \(M\) on a circular orbit of radius \(r\) in a plane with unit normal \(\hat{\vect{n}}\). By Proposition 29.24 the orientation dependence of the potential energy is
since for a symmetric top \(\tr I-3I_{r}=\left(C-A\right) \left(1-3\cos^{2}\Theta\right)\) with \(\cos\Theta=\hat{\vect{e}}_{3}\cdot\hat{\vect{r}}\). The torque on the Earth is minus the rotational gradient of Equation (29.57),
Now average over one orbit. Let \(\hat{\vect{e}}_{3}=\cos\varepsilon\,\hat{\vect{n}} +\sin\varepsilon\,\hat{\vect{u}}\) with \(\hat{\vect{u}}\) in the orbit plane, and \(\hat{\vect{v}}=\hat{\vect{n}}\times\hat{\vect{u}}\), and write \(\hat{\vect{r}}=\cos\phi\,\hat{\vect{u}} +\sin\phi\,\hat{\vect{v}}\). Then \(\hat{\vect{e}}_{3}\cdot\hat{\vect{r}}=\sin\varepsilon\cos\phi\) and
Using \(\avg{\cos^{2}\phi}=\tfrac{1}{2}\) and \(\avg{\cos\phi\sin\phi}=0\), only the \(\hat{\vect{v}}\) term survives:
Insert this into \(\dd\vect{L}/\dd t=\avg{\vect{\tau}}\) with \(\vect{L}=C\omega_{3}\hat{\vect{e}}_{3}\), exactly as in Phenomenon 29.46. A precession of \(\hat{\vect{e}}_{3}\) about \(\hat{\vect{n}}\) at rate \(\Omega_{p}\) means \(\dd\hat{\vect{e}}_{3}/\dd t =\Omega_{p}\hat{\vect{n}}\times\hat{\vect{e}}_{3} =\Omega_{p}\sin\varepsilon\,\hat{\vect{v}}\), so the common factor \(\sin\varepsilon\) cancels and
the sign showing the drift to be retrograde — westward along the ecliptic — as observed.
Now put in the numbers of Table 29.2. For the Sun, \(GM_{\odot}/a_{\odot}^{3}=3.964\times 10^{-14}\,/\mathrm{s}^{2}\), and with \(H=3.2738\times 10^{-3}\), \(\cos\varepsilon=0.91748\) and \(\omega_{3}=\Omega\),
For the Moon, \(GM_{\text{M}}/a_{\text{M}}^{3} =8.632\times 10^{-14}\,/\mathrm{s}^{2}\), larger than the Sun's by the factor \(2.177\), so the coplanar estimate is \(34.71\) seconds of arc a year. The lunar orbit is not in the ecliptic but inclined by \(i=5.145^\circ\), and its node regresses in \(18.6\,\mathrm{yr}\), which is short compared with the precession; averaging Equation (29.57) a second time over that cone multiplies the orientation-dependent part by \(1-\tfrac{3}{2}\sin^{2}i=0.98794\), giving \(34.29\). The two contributions add to
against the observed \(50.29\): agreement to one part in a thousand, from the mass and orbit of the Moon, the mass and orbit of the Sun, and one number describing the shape of the Earth. The residual is of the size of the terms deliberately dropped — the orbital eccentricities, the higher multipoles of the Earth's figure, and the periodic terms discarded by the averaging, which are the subject of the nutation.
∎The orbital averaging carried out in Phenomenon 29.49 discards a periodic remainder. Averaging the lunar torque over the month but not over the \(18.6\,\mathrm{yr}\) regression of the lunar nodes, the Earth's axis oscillates about its mean precessional path with that period, with amplitudes
in obliquity and in ecliptic longitude respectively. Here \(\Omega_{\text{M}}\) is the magnitude of the mean lunar precession rate Equation (29.60), \(\Omega_{\text{N}}\) is the rate at which the lunar nodes regress, and \(i\) is the inclination of the lunar orbit to the ecliptic. The two terms are in quadrature: the obliquity follows the cosine of the node angle and the longitude its sine. Rests on Phenomenon 29.49, Equation (29.60) and Equation (29.57).
Derives Proposition 29.50. Return to Equation (29.60) before the second averaging. What that equation describes is a precession of \(\hat{\vect{e}}_{3}\) about the normal \(\hat{\vect{n}}_{\text{M}}\) of the lunar orbit, at a rate proportional to the cosine of the angle \(\varepsilon_{\text{M}}\) between the two:
The lunar orbit normal is not the ecliptic pole \(\hat{\vect{n}}\): it lies on a cone of half-angle \(i\) about it and travels once round that cone in \(18.6\,\mathrm{yr}\) as the nodes regress. In axes with \(\hat{\vect{n}}=\hat{\vect{z}}\) and \(\hat{\vect{e}}_{3}=\left(\sin\varepsilon,0,\cos\varepsilon\right)\),
so that \(\cos\varepsilon_{\text{M}}=\hat{\vect{e}}_{3}\cdot \hat{\vect{n}}_{\text{M}} =\cos i\cos\varepsilon+\sin i\sin\varepsilon\cos\phi\). To first order in \(i\), Equation (29.62) splits into a secular part and a periodic one,
with \(\Omega_{\text{M}}:=\Lambda\cos\varepsilon\) the mean rate already computed. Both periodic terms matter, and they are different things: the second is the wobble of the axis that the torque precesses the Earth about, the first the modulation of the rate at which it does so.
The response is obtained by integrating the periodic terms directly, because \(\Omega_{\text{M}}/\Omega_{\text{N}}\approx5\times 10^{-4}\): the displacement \(\vect{\delta}\) they build up varies at the node rate, so the action of the secular term upon \(\vect{\delta}\) is smaller than \(\dot{\vect{\delta}}\) by that factor and may be dropped. With \(\hat{\vect{n}}\times\hat{\vect{e}}_{3} =\left(0,\sin\varepsilon,0\right)\) and \(\hat{\vect{w}}\times\hat{\vect{e}}_{3} =\left(\sin\phi\cos\varepsilon,-\cos\phi\cos\varepsilon, -\sin\phi\sin\varepsilon\right)\), the bracket of Equation (29.64) is
and integrating in time, with \(\int\sin\phi\,\dd t =\cos\phi/\Omega_{\text{N}}\) and \(\int\cos\phi\,\dd t =-\sin\phi/\Omega_{\text{N}}\) from \(\phi=-\Omega_{\text{N}}t\),
From Equations (29.63) and (29.64) (integrating the periodic forcing at the node frequency). The obliquity is read from the third component: \(\cos\left(\varepsilon+\Delta\varepsilon\right) =\hat{\vect{z}}\cdot\left(\hat{\vect{e}}_{3}+\vect{\delta}\right) =\cos\varepsilon+\delta_{3}\) gives \(\Delta\varepsilon=-\delta_{3}/\sin\varepsilon =\left(\Omega_{\text{M}}\sin i/\Omega_{\text{N}}\right)\cos\phi\), on using \(\Lambda\cos\varepsilon=\Omega_{\text{M}}\). The longitude is read from the second, since displacing \(\psi\) moves \(\hat{\vect{e}}_{3}\) by \(\sin\varepsilon\,\Delta\psi\) in the \(y\) direction: \(\Delta\psi=\delta_{2}/\sin\varepsilon =\left(\Omega_{\text{M}}\sin i/\Omega_{\text{N}}\right) \left(2\cos2\varepsilon/\sin2\varepsilon\right)\sin\phi\). The amplitudes are Equation (29.61), quoted as magnitudes: \(\Lambda\) is negative, since the precession it drives is retrograde, and its sign fixes only the phase of each term relative to the node. Note where each amplitude came from: the obliquity term needs only the wobble of the torque axis, while the longitude term needs the rate modulation as well, and dropping that would leave \(\cot\varepsilon\) in place of \(2\cot2\varepsilon\) and an answer a quarter too large.
∎Put in the numbers. The lunar rate is the coplanar \(34.71\) seconds of arc a year found above, the node rate is \(\Omega_{\text{N}}=2\pi/18.6\,\mathrm{yr}\), that is \(69677\) seconds of arc a year, and \(i=5.145^\circ\) from Table 29.2, so that \(\sin i=0.08968\). Hence \(\Omega_{\text{M}}\sin i/\Omega_{\text{N}}=4.47\times 10^{-5}\) radians, and with \(\varepsilon=23.4393^\circ\),
against the conventional observed principal terms \(9.20\) and \(17.20\); as with Table 29.2, no primary reference is cited here for those two modern values. This is the nodding that Bradley extracted from some twenty years of stellar observations and reported in 1748 [Bradley:1748]. The Sun contributes nothing at this period—its orbit normal is the ecliptic pole, so the wobble that drives the effect is absent—and its own nutation terms are semiannual and an order of magnitude smaller; they are not computed here.
Motion in rotating frames
The transport theorem and the fictitious forces
Let a frame rotate with angular velocity \(\vect{\omega}(t)\) about a fixed origin of an inertial frame. A particle of mass \(m\) at position \(\vect{r}\), with velocity \(\vect{v}\) and acceleration \(\vect{a}\) as measured in the rotating frame, obeys
where \(\vect{F}\) is the true force. The three added terms are the Coriolis [Coriolis:1835], centrifugal [Huygens:1673] and Euler forces. Rests on Theorem 29.7 and Postulate 19.8.
Derives Theorem 29.51. Apply Equation (29.4) to the position vector: \(\left(\dd\vect{r}/\dd t\right)_{\text{space}} =\vect{v}+\vect{\omega}\times\vect{r}\). Apply it again, to that whole vector:
Expanding, the first bracket gives \(\vect{a}+\dot{\vect{\omega}}\times\vect{r} +\vect{\omega}\times\vect{v}\), so
Newton's second law holds in the inertial frame (Postulate 19.8), so \(m\left(\dd^{2}\vect{r}/\dd t^{2}\right)_{\text{space}}=\vect{F}\); solving for \(m\vect{a}\) gives Equation (29.66).
∎Two features of Equation (29.66) are worth stating plainly. The centrifugal term depends on position but not on velocity, so it can be absorbed into a potential — and is, whenever one speaks of “effective gravity”. The Coriolis term depends on velocity but not on position, does no work, since it is perpendicular to \(\vect{v}\), and vanishes for a body at rest in the rotating frame; it cannot therefore be absorbed into any potential, and it is the term that carries the detectable signature of rotation for moving bodies.
With \(\Omega=7.292\times 10^{-5}\,/\mathrm{s}\) and \(a_{\oplus}=6.378\times 10^{6}\,\mathrm{m}\):
-
centrifugal, at the equator: \(\Omega^{2}a_{\oplus}=3.39\times 10^{-2}\,\mathrm{m}/\mathrm{s}^{2}\), about \(0.35\,\mathrm{\%}\) of \(g\);
-
Coriolis, for a body moving at \(10\,\mathrm{m}/\mathrm{s}\): at most \(2\Omega v=1.46\times 10^{-3}\,\mathrm{m}/\mathrm{s}^{2}\), some twenty times smaller;
-
Euler: the Earth's rotation rate changes by a few milliseconds of day length per century, giving \(\dot{\Omega}\sim5\times 10^{-22}\,/\mathrm{s}^{2}\) and \(\dot{\Omega}a_{\oplus}\sim3\times 10^{-15}\,\mathrm{m}/\mathrm{s}^{2}\), which is seven orders of magnitude below the sensitivity of the best absolute gravimeter [Niebauer:1995] and is neglected everywhere below.
Rests on Equation (29.66).
Absolute rotation: Newton's bucket and Mach's critique
A sealed laboratory cannot tell whether it is at rest or moving uniformly, but it can always tell whether it is rotating, and how fast, without consulting anything outside. Water in a spinning bucket climbs the walls and takes a curved surface; a plumb line hangs off the true vertical; a gyroscope holds a direction the walls do not; a pendulum turns its plane of swing. Newton took the bucket as evidence for absolute space [Newton:1687]; Mach replied that the water's surface may be answering not to space but to the distant matter of the universe [Mach:1883]. What is not in dispute is the observation itself: the equivalence of frames that Kinematics establishes for uniform translation does not extend to rotation. Rests on Equation (29.66) and Postulate 18.16.
Derivation. Derives Phenomenon 29.53. Work in the frame rotating with the bucket at angular velocity \(\omega\) about the vertical, in which the water is at rest. The centrifugal term of Equation (29.66) is a gradient and contributes to the effective potential energy per unit mass the amount \(-\tfrac{1}{2}\omega^{2}r^{2}\), so a fluid element at height \(z\) and distance \(r\) from the axis carries
A free surface in equilibrium must be a surface of constant \(\Phi\) — otherwise there would be an unbalanced force tangent to it and the fluid would not be at rest — so the surface obeys
a paraboloid of revolution whose curvature reports \(\omega^{2}\) directly, from measurements made entirely inside the bucket. Since \(\omega\) enters quadratically, the reading is blind to the sense of the rotation but never vanishes for \(\omega\neq0\): there is no rotation rate that mimics rest. Contrast the derivation of Kinematics, where the constancy of the relative velocity made the accelerations — and with them every mechanical observable inside the cabin — identical in the two frames. The difference is that the map to a rotating frame is not constant in time, and its second time derivative does not vanish.
∎Equation (29.67) establishes that the water responds to something, and that the something is not its motion relative to the bucket, since the water and the bucket end up turning together while the surface stays curved. Newton concluded that the response is to absolute space [Newton:1687]. Mach's objection is that the experiment has never been performed with the distant matter of the universe removed, so the observation cannot distinguish rotation relative to space from rotation relative to that matter [Mach:1883]. The objection is not answered by any experiment in this chapter, and it is not answered by mechanics at all; what general relativity has to say about it — that local inertial frames are determined by the metric, which is in turn sourced by matter, but that the determination is not the complete one Mach wanted — belongs to Geometric Formulation of Gravity. Rests on Phenomenon 29.53.
Terrestrial evidence of the Earth's rotation
The acceleration of free fall measured at the Earth's surface is not the same everywhere. It rises smoothly from about \(9.780\,\mathrm{m}/\mathrm{s}^{2}\) at the equator to about \(9.832\,\mathrm{m}/\mathrm{s}^{2}\) at the poles, and away from those two places a plumb line does not point at the Earth's centre. The variation is enormous by the standards of the instrument that measures it: an absolute gravimeter is accurate to some \(2\times 10^{-8}\,\mathrm{m}/\mathrm{s}^{2}\) [Niebauer:1995], so the equator-to-pole difference is resolved a million times over. The conventional value \(9.80665\,\mathrm{m}/\mathrm{s}^{2}\) adopted for the SI is accordingly a convention about which latitude to name, not a measurement of a universal constant [BIPM:2019]. Rests on Equation (29.66).
Derivation. Derives Phenomenon 29.55. In the frame rotating with the Earth, a body at rest on the surface experiences, besides the gravitational attraction, a centrifugal acceleration \(\omega^{2}\rho\) directed away from the rotation axis, where \(\rho=R\cos\lambda\) is the distance from that axis at geographic latitude \(\lambda\). Its component along the local outward vertical is \(\omega^{2}R\cos^{2}\lambda\), and the measured free-fall acceleration is reduced by exactly that amount,
largest in effect at the equator and zero at the poles. With the sidereal rotation rate \(\omega=7.292\times 10^{-5}\,/\mathrm{s}\) and the equatorial radius \(R=6.378\times 10^{6}\,\mathrm{m}\),
about two thirds of the observed equator-to-pole difference of \(5.2\times 10^{-2}\,\mathrm{m}/\mathrm{s}^{2}\). The remaining third is not a defect of the calculation but a second consequence of the same rotation: the Earth is not a sphere, its equatorial radius exceeding the polar by some \(21\,\mathrm{km}\), so equatorial ground stands farther from the mass that attracts it. There is also a component of the centrifugal acceleration tangent to the surface, \(\omega^{2}R\sin\lambda\cos\lambda\), which is what tilts the plumb line; it is largest near \(45^\circ\), where it amounts to about \(1.7\times 10^{-2}\,\mathrm{m}/\mathrm{s}^{2}\) and deflects the vertical by roughly a tenth of a degree.
∎A body released from rest and allowed to fall freely does not land at the point vertically below the release. It lands slightly to the east, by an amount that grows as the three-halves power of the drop height and is largest at the equator. Reich measured it in 1831 in a mineshaft at Freiberg, at latitude about \(50.9^\circ\): from a drop of \(158.5\,\mathrm{m}\), repeated \(106\) times, the mean eastward displacement was \(28.3\,\mathrm{mm}\) [Reich:1832]. The effect is a direct mechanical demonstration of the Earth's rotation, and unlike the pendulum it is over in a few seconds. Rests on Equation (29.66).
Derivation. Derives Phenomenon 29.56. Use local axes at latitude \(\lambda\) with \(x\) east, \(y\) north and \(z\) up, so that \(\vect{\Omega}=\Omega\left(0,\cos\lambda,\sin\lambda\right)\). The centrifugal term is absorbed into the effective gravity by Equation (29.68), and the Euler term is negligible (Example 29.52), so Equation (29.66) leaves
Solve perturbatively in \(\Omega\). At zeroth order \(\dot{\vect{r}}=\left(0,0,-gt\right)\); substituting this into the Coriolis term,
which points due east. Integrating twice from rest,
using \(h=\tfrac{1}{2}gt^{2}\) for the drop. There is no first-order deflection in the north–south direction: the Coriolis term acting on a purely vertical velocity has no northward component, and the southward term generated at second order is smaller by a further factor \(\Omega t\).
For Reich's shaft, \(h=158.5\,\mathrm{m}\) gives \(t=5.68\,\mathrm{s}\), and with \(\lambda=50.9^\circ\) and \(\Omega=7.292\times 10^{-5}\,/\mathrm{s}\), Equation (29.69) predicts \(27.6\,\mathrm{mm}\), against the measured mean of \(28.3\,\mathrm{mm}\) [Reich:1832] — agreement to \(3\,\mathrm{\%}\), which for a measurement of a \(28\,\mathrm{mm}\) displacement at the bottom of a \(160\,\mathrm{m}\) shaft in 1831 is remarkable. The prediction contains no adjustable parameter: \(h\) and \(\lambda\) are properties of the shaft and \(\Omega\) is the rotation rate of the Earth.
∎A body moving horizontally over the Earth's surface has its apparent weight changed by the vertical component of the Coriolis force. For an eastward velocity component \(v_{E}\) at latitude \(\lambda\) the measured gravitational acceleration is reduced by
and increased by the same amount for westward motion. There is no such effect for north–south motion at this order. Rests on Equation (29.66) and Phenomenon 29.55.
Derives Proposition 29.57. In the local axes of Phenomenon 29.56, with \(\dot{\vect{r}}=\left(v_{E},v_{N},0\right)\),
The vertical component is \(2\Omega v_{E}\cos\lambda\), upward for \(v_{E}>0\); a gravimeter, which weighs against the local vertical, therefore reads low by that amount, which is Equation (29.70). The component \(v_{N}\) contributes nothing vertical.
∎The effect is not small on the scale of the instrument. A ship steaming east at \(5\,\mathrm{m}/\mathrm{s}\) near the equator carries \(\Delta g=7.3\times 10^{-4}\,\mathrm{m}/\mathrm{s}^{2}\), some four orders of magnitude above the \(2\times 10^{-8}\,\mathrm{m}/\mathrm{s}^{2}\) accuracy of an absolute gravimeter [Niebauer:1995]; marine and airborne gravity surveys must correct for it before any geological signal can be read, and the correction is named after Eötvös, who identified it in shipborne survey data. No primary reference for that attribution is cited here.
Air does not flow straight from high pressure to low. In the northern hemisphere it circulates anticlockwise about a low-pressure centre and clockwise about a high, seen from above; in the southern hemisphere both senses reverse; near the equator the organized circulation fails altogether and no tropical cyclone forms within a few degrees of it. The wind blows very nearly along the isobars rather than across them, and its speed can be read off a weather chart from the isobar spacing alone. Hadley explained the steadiness of the trade winds by the Earth's rotation in 1735 [Hadley:1735]; the dynamical term responsible is Coriolis's [Coriolis:1835]. Rests on Equation (29.66).
Derivation. Derives Phenomenon 29.58. For horizontal motion only the vertical component of \(\vect{\Omega}\) matters, since the horizontal component produces a vertical Coriolis force that the pressure field balances (this is the same separation used in Proposition 29.57). Define the Coriolis parameter
which at \(45^\circ\) is \(1.03\times 10^{-4}\,/\mathrm{s}\) and vanishes on the equator. In the local horizontal plane the equation of motion of a fluid element of density \(\rho\) is, from Equation (29.66) with the pressure-gradient force of Fluid Dynamics,
When the flow is steady and slowly varying in space the left-hand side is negligible against either term on the right, and the two balance:
This is geostrophic balance, and it says three things at once. The velocity is perpendicular to the pressure gradient, hence along the isobars. Its sense is fixed by the sign of \(f\), so it reverses across the equator. And its magnitude is \(\abs{\vect{u}}=\abs{\nabla_{h}p}/(\rho f)\): for a typical gradient of one hectopascal per \(100\,\mathrm{km}\), that is \(10^{-3}\,\mathrm{N}/\mathrm{m}^{3}\), with \(\rho=1.2\,\mathrm{kg}/\mathrm{m}^{3}\) and \(f\) at \(45^\circ\), the wind is \(8.1\,\mathrm{m}/\mathrm{s}\).
Whether the balance holds is decided by the ratio of the neglected term to the retained one, the Rossby number \(\mathrm{Ro}=U/(fL)\) for a flow of speed \(U\) over a length \(L\). A mid-latitude weather system has \(U\sim10\,\mathrm{m}/\mathrm{s}\) and \(L\sim10^{6}\,\mathrm{m}\), so \(\mathrm{Ro}\approx0.10\) and the balance is good. Near the equator \(f\to0\) and \(\mathrm{Ro}\) diverges, which is why organized cyclonic circulation does not form there.
∎The same estimate disposes of the common claim that a draining basin turns one way in the northern hemisphere and the other in the southern. With \(U\sim0.1\,\mathrm{m}/\mathrm{s}\) and \(L\sim0.3\,\mathrm{m}\) the Rossby number is \(\mathrm{Ro}\approx3\times 10^{3}\): the Coriolis term is three thousand times smaller than the terms neglected in Equation (29.72), and any residual swirl left in the water, or any asymmetry of the basin, dominates it completely. The effect is real and has been made visible in laboratory tanks left still for a day, but it is not what an ordinary basin shows. The lesson is general: a term in Equation (29.66) being non-zero is not the same as its being the term that decides the motion. Rests on Phenomenon 29.58.
The Foucault pendulum
Let a particle move in a plane under a central force \(\vect{F}=F\!\left(\abs{\vect{r}}\right)\vect{r}\), and let the frame rotate uniformly at \(\vect{\Omega}=\Omega\hat{\vect{z}}\) about the normal to that plane. Writing the position as the complex number \(\zeta=x+\ii y\), the rotating-frame equation of motion
is solved exactly by \(\zeta=\ee^{-\ii\Omega t}\eta\), where \(\eta\) obeys the non-rotating equation \(\ddot{\eta}=\left(F/m\right)\eta\). The motion in the rotating frame is therefore the inertial motion referred to axes turning at \(-\Omega\): the Coriolis and centrifugal terms together amount to a rigid rotation of the orbit and to nothing else. Rests on Equation (29.66).
Derives Theorem 29.60. Equation (29.73) is Equation (29.66) written in the plane: for \(\vect{\Omega}=\Omega\hat{\vect{z}}\) the Coriolis term \(-2\vect{\Omega}\times\vect{v}\) becomes \(-2\ii\Omega\dot{\zeta}\) and the centrifugal term \(-\vect{\Omega}\times \left(\vect{\Omega}\times\vect{r}\right)\) becomes \(+\Omega^{2}\zeta\). Substituting \(\zeta=\ee^{-\ii\Omega t}\eta\),
The right-hand side of Equation (29.73) becomes \(\ee^{-\ii\Omega t}\left[\left(F/m\right)\eta -2\ii\Omega\dot{\eta}-2\Omega^{2}\eta+\Omega^{2}\eta\right]\), and the factor \(F\) is unchanged because \(\abs{\zeta}=\abs{\eta}\). Cancelling \(\ee^{-\ii\Omega t}\) and subtracting, the terms in \(\dot{\eta}\) and the terms in \(\Omega^{2}\eta\) cancel identically on both sides, and \(\ddot{\eta}=\left(F/m\right)\eta\) remains. No approximation in \(\Omega\) was made.
∎The exact cancellation is worth dwelling on: the centrifugal term is not “small enough to neglect” in the Foucault problem, it is absorbed, and its whole effect is already contained in the rotation of the axes. Only the first power of \(\Omega\) survives in the observable rate. The same theorem, applied to an electron in a magnetic field rather than to a mass in a rotating frame, is Larmor's.
A long pendulum, set swinging carefully in a plane and then left alone, does not keep that plane with respect to the room. The plane turns steadily — clockwise seen from above in the northern hemisphere, anticlockwise in the southern — at a rate proportional to the sine of the latitude: one full turn in about thirty-two hours at the latitude of Paris, in one sidereal day at either pole, and not at all on the equator. Nothing outside the building is consulted and the room may be sealed, so the experiment measures the rotation of the Earth from inside a laboratory. That is what made Foucault's public demonstration of 1851 the version of the argument that convinced people who had not been convinced by astronomy [Foucault:1851]. The measurement, its apparatus and its data are Section 34.5. Rests on Theorem 29.60 and Equation (29.66).
Derivation. Derives Phenomenon 29.61. Use the local axes of Phenomenon 29.56, in which \(\vect{\Omega}=\Omega\left(0,\cos\lambda,\sin\lambda\right)\), and let the bob swing with small amplitude about the lowest point of its suspension. Three reductions bring the problem into the form of Theorem 29.60.
First, the centrifugal term of Equation (29.66) is independent of time and is absorbed once and for all into the effective gravity and the local vertical, exactly as in Equation (29.68); the swing is then about that vertical.
Second, split \(\vect{\Omega}\) into its vertical and horizontal parts, \(\Omega_{z}=\Omega\sin\lambda\) and \(\Omega_{y}=\Omega\cos\lambda\). For small oscillations the bob's velocity is horizontal to first order, since the vertical excursion is second order in the amplitude. The Coriolis force built from \(\Omega_{y}\) acting on a horizontal velocity is then vertical, and is taken up by the tension in the wire, which is free to adjust; it does not move the bob horizontally. Only \(\Omega_{z}\) survives in the horizontal equations, and this is why the experiment reports the component of \(\vect{\Omega}\) along the local vertical rather than the whole of it.
Third, for small amplitude the horizontal restoring force is central and linear, \(\vect{F}=-m\omega_{0}^{2}\vect{r}\) with \(\omega_{0}^{2}=g/\ell\) (Equation (28.7)). Theorem 29.60 now applies verbatim with \(\Omega\to\Omega_{z}\): the substitution \(\zeta=\ee^{-\ii\Omega_{z}t}\eta\) reduces the motion to \(\ddot{\eta}=-\omega_{0}^{2}\eta\), a plane pendulum whose plane is fixed. Seen from the room, that plane therefore turns at
clockwise from above for \(\lambda>0\), one turn per sidereal day at the pole and none on the equator. Note what does not appear: the length, the mass and the amplitude of the pendulum are all absent, so the effect cannot be confused with a property of the particular apparatus. The numerical value at the latitude of Paris, and the data that confirm it, are Equation (34.39) and Section 34.5.
∎There is a second reading of Equation (29.74) that uses no forces at all. Over one sidereal day the pendulum is carried once around its circle of latitude, and its swing plane, which no torque about the vertical acts on, is parallel-transported along that circle in the sense of Definition 13.146. Relative to the ground the plane has turned by \(2\pi\sin\lambda\), so relative to a direction carried rigidly with the rotating Earth it has failed to return by the angle
which is numerically the solid angle subtended at the Earth's centre by the spherical cap that the latitude circle bounds, a cap of colatitude \(\tfrac{\pi}{2}-\lambda\) having solid angle \(2\pi\left(1-\sin\lambda\right)\). The two computations are independent and they agree. That the agreement is a theorem rather than a coincidence — that the holonomy of parallel transport around a closed curve equals the integrated curvature it encloses — is not proved anywhere in this treatise, and nothing above depends on it; the geometric machinery is that of Differentiable Manifolds, Tensors, and Curvature and Lie Groups, Lie Algebras, and Fibre Bundles. Read this way the Foucault pendulum is the oldest laboratory measurement of a geometric phase. Rests on Phenomenon 29.61 and Definition 13.146.