Skip to content

Advanced Mechanics

// definitely split this page up

Newton’s laws are written in terms of forces and vectors. For systems with constraints — a bead on a wire, a pendulum, a rolling disk — forces of constraint are unknown and annoying: you must introduce a normal force or tension, solve for it, and then discard it. The Lagrangian formulation sidesteps all of that by working with energy and a set of freely chosen coordinates.

Generalized coordinates and degrees of freedom

Section titled “Generalized coordinates and degrees of freedom”

A system’s configuration is specified by a set of generalized coordinates q1,…,qnq_1,\dots,q_n (e.g. polar, spherical, etc.) that define convenient parameters (lengths, angles, arc lengths) that pin down where everything is. The number nn of independent coordinates is the number of degrees of freedom: the total number of coordinates minus the number of independent (holonomic) constraints. A pendulum bob in a plane has two Cartesian coordinates but one constraint (fixed string length), so n=1n=1, and the natural coordinate is the angle θ\theta.

The whole point is to choose coordinates that build the constraints in automatically, so constraint forces never appear. A bead confined to a wire of shape y=f(x)y=f(x) has one degree of freedom; instead of carrying xx and yy plus a normal force, you carry the single arc length (or xx) and the constraint is already enforced by the parametrization. This is the structural advantage over Newton: constraints are absorbed into the choice of coordinates rather than fought as unknown forces.

Define the Lagrangian as kinetic minus potential energy,

L(q,q˙,t)=T−V,L(q,\dot q,t)=T-V,

expressed entirely in terms of the generalized coordinates and their time derivatives.

Theorem (Euler–Lagrange equations). The motion is governed by one Euler–Lagrange equation per coordinate:

 ddt ⁣(∂L∂q˙i)−∂L∂qi=0 .\ \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot q_i}\right)-\frac{\partial L}{\partial q_i}=0\ .

Why the difference T−VT-V rather than the more natural-looking sum? Heuristically, ∂L/∂q˙i\partial L/\partial \dot q_i plays the role of a momentum and ∂L/∂qi\partial L/\partial q_i plays the role of a force; for L=12mx˙2−V(x)L=\tfrac12 m\dot x^2 - V(x) the equation is literally ddt(mx˙)=−V′(x)\tfrac{d}{dt}(m\dot x) = -V'(x), i.e. ma=Fma=F. The minus sign is exactly what makes the potential act as a restoring “force” −∂V/∂q-\partial V/\partial q while the kinetic term supplies the inertia. The formula derives from the principle of least action, which states that any process aims to minimize a quantity called action.

Proof (Euler-Lagrange equation). Define the action as the time integral of the Lagrangian along a path q(t)q(t) between fixed endpoints q(t1)q(t_1) and q(t2)q(t_2):

S[q]=∫t1t2L(q,q˙,t) dt.S[q]=\int_{t_1}^{t_2}L(q,\dot q,t)\,dt.

Physically, SS assigns a single number to each entire trajectory, not to an instant. Nature selects the path that makes SS stationary (δS=0\delta S=0) under small variations q(t)→q(t)+δq(t)q(t)\to q(t)+\delta q(t) that vanish at the endpoints — the path is an extremum (usually a minimum for short times), so neighboring wiggled paths cost the same SS to first order. Expanding,

δS=∫t1t2(∂L∂q δq+∂L∂q˙ δq˙)dt.\delta S=\int_{t_1}^{t_2}\left(\frac{\partial L}{\partial q}\,\delta q+\frac{\partial L}{\partial \dot q}\,\delta\dot q\right)dt.

Integrate the second term by parts, using δq˙=ddtδq\delta\dot q=\tfrac{d}{dt}\delta q and δq=0\delta q=0 at the endpoints:

δS=∫t1t2(∂L∂q−ddt∂L∂q˙)δq dt.\delta S=\int_{t_1}^{t_2}\left(\frac{\partial L}{\partial q}-\frac{d}{dt}\frac{\partial L}{\partial \dot q}\right)\delta q\,dt.

For this to vanish for every allowed δq\delta q, the bracket must be zero everywhere — that is the Euler–Lagrange equation. For a single particle with L=12mx˙2−V(x)L=\tfrac12 m\dot x^2-V(x) it reduces to mx¨=−V′(x)m\ddot x=-V'(x), ordinary Newton. I highly recommend watching the Veritasium videos on the principle of least action.

The hardest step in practice is almost always step 2: getting TT right when the coordinates are curvilinear or the constraint is moving. The reliable method is to write each particle’s Cartesian position in terms of the qiq_i, differentiate to get x˙,y˙,z˙\dot x,\dot y,\dot z, and then form T=12m(x˙2+y˙2+z˙2)T=\tfrac12 m(\dot x^2+\dot y^2+\dot z^2).

Example. A bead of mass mm slides without friction on a circular hoop of radius RR that is forced to spin about its vertical diameter at constant angular speed Ω\Omega. Find the angular frequency of the bead’s oscillation ω\omega, assuming it is at a stable equilibrium.

Let θ\theta be the angle measured from the bottom of the hoop. Since the hoop’s rotation is imposed, the azimuthal angle is not a free coordinate (ϕ=Ωt\phi=\Omega t is prescribed), so there is just one degree of freedom, θ\theta.

Setup. Place the origin at the center. The bead sits at radius Rsin⁡θR\sin\theta from the vertical axis and height −Rcos⁡θ-R\cos\theta below center. It has two velocity contributions: motion along the hoop, of speed Rθ˙R\dot\theta, and motion around the axis carried by the spin, of speed (Rsin⁡θ)Ω(R\sin\theta)\Omega. These are perpendicular, so

T=12m(R2θ˙2+R2sin⁡2θ Ω2),V=−mgRcos⁡θ.T=\tfrac12 m\left(R^2\dot\theta^2+R^2\sin^2\theta\,\Omega^2\right),\qquad V=-mgR\cos\theta .

Equation of motion. With L=T−VL=T-V,

∂L∂θ˙=mR2θ˙,∂L∂θ=mR2Ω2sin⁡θcos⁡θ−mgRsin⁡θ,\frac{\partial L}{\partial \dot\theta}=mR^2\dot\theta,\qquad \frac{\partial L}{\partial \theta}=mR^2\Omega^2\sin\theta\cos\theta-mgR\sin\theta,

so the Euler–Lagrange equation is

mR2θ¨=mR2Ω2sin⁡θcos⁡θ−mgRsin⁡θ⟹θ¨=sin⁡θ(Ω2cos⁡θ−gR).mR^2\ddot\theta=mR^2\Omega^2\sin\theta\cos\theta-mgR\sin\theta \quad\Longrightarrow\quad \ddot\theta=\sin\theta\left(\Omega^2\cos\theta-\frac{g}{R}\right).

The “centrifugal” term Ω2cos⁡θ\Omega^2\cos\theta emerged automatically from the kinetic energy — no pseudo-forces required, because we worked in the lab frame.

Equilibria. Set θ¨=0\ddot\theta=0. Either sin⁡θ=0\sin\theta=0 (so θ=0\theta=0 at the bottom, or θ=π\theta=\pi at the top), or

cos⁡θ⋆=gRΩ2.\cos\theta^\star=\frac{g}{R\Omega^2}.

This off-bottom equilibrium exists only when g/(RΩ2)≤1g/(R\Omega^2)\le 1, i.e. Ω2>g/R\Omega^2>g/R. Below that critical spin the bottom is the only stable point; above it the bottom becomes unstable and the bead climbs to θ⋆=arccos⁡ ⁣(g/(RΩ2))\theta^\star=\arccos\!\big(g/(R\Omega^2)\big) — a pitchfork bifurcation.

Small oscillations about θ⋆\theta^\star (for Ω2>g/R\Omega^2>g/R). Write θ=θ⋆+ϵ\theta=\theta^\star+\epsilon and define f(θ)=sin⁡θ (Ω2cos⁡θ−g/R)f(\theta)=\sin\theta\,(\Omega^2\cos\theta-g/R) so that ϵ¨=f(θ⋆+ϵ)≈f′(θ⋆) ϵ\ddot\epsilon=f(\theta^\star+\epsilon)\approx f'(\theta^\star)\,\epsilon. Differentiate:

f′(θ)=cos⁡θ(Ω2cos⁡θ−gR)+sin⁡θ (−Ω2sin⁡θ).f'(\theta)=\cos\theta\left(\Omega^2\cos\theta-\frac{g}{R}\right)+\sin\theta\,(-\Omega^2\sin\theta).

At the equilibrium the first bracket vanishes (that was the equilibrium condition), leaving

f′(θ⋆)=−Ω2sin⁡2θ⋆=−Ω2(1−cos⁡2θ⋆)=−Ω2(1−g2R2Ω4).f'(\theta^\star)=-\Omega^2\sin^2\theta^\star=-\Omega^2\left(1-\cos^2\theta^\star\right) =-\Omega^2\left(1-\frac{g^2}{R^2\Omega^4}\right).

Since this is negative, θ⋆\theta^\star is stable, and ϵ¨=−ω2ϵ\ddot\epsilon=-\omega^2\epsilon with

  ω2=Ω2−g2R2Ω2  \;\omega^2=\Omega^2-\frac{g^2}{R^2\Omega^2}\;

This is the oscillation angular frequency of wobble about the tilted equilibrium. Note ω→0\omega\to 0 as Ω2→g/R\Omega^2\to g/R (the bifurcation is “soft”: the restoring effect vanishes right at threshold), and ω→Ω\omega\to\Omega for very fast spin.

Example. Two pendula are hung in series: a bob m1m_1 on a rigid massless rod of length ℓ1\ell_1 from a fixed pivot, and a second bob m2m_2 on a rod of length ℓ2\ell_2 hung from m1m_1. Use the two angles from vertical, θ1\theta_1 and θ2\theta_2, as generalized coordinates (n=2n=2) and write a differential equation in terms of the two angles (you need not solve it out).

Positions. Measuring yy downward-negative from the pivot,

x1=ℓ1sin⁡θ1,y1=−ℓ1cos⁡θ1,x_1=\ell_1\sin\theta_1,\qquad y_1=-\ell_1\cos\theta_1, x2=ℓ1sin⁡θ1+ℓ2sin⁡θ2,y2=−ℓ1cos⁡θ1−ℓ2cos⁡θ2.x_2=\ell_1\sin\theta_1+\ell_2\sin\theta_2,\qquad y_2=-\ell_1\cos\theta_1-\ell_2\cos\theta_2.

Velocities. Differentiating,

x˙1=ℓ1θ˙1cos⁡θ1,y˙1=ℓ1θ˙1sin⁡θ1  ⇒  v12=ℓ12θ˙12.\dot x_1=\ell_1\dot\theta_1\cos\theta_1,\quad \dot y_1=\ell_1\dot\theta_1\sin\theta_1 \;\Rightarrow\; v_1^2=\ell_1^2\dot\theta_1^2. x˙2=ℓ1θ˙1cos⁡θ1+ℓ2θ˙2cos⁡θ2,y˙2=ℓ1θ˙1sin⁡θ1+ℓ2θ˙2sin⁡θ2.\dot x_2=\ell_1\dot\theta_1\cos\theta_1+\ell_2\dot\theta_2\cos\theta_2,\qquad \dot y_2=\ell_1\dot\theta_1\sin\theta_1+\ell_2\dot\theta_2\sin\theta_2.

Squaring and adding x˙22+y˙22\dot x_2^2+\dot y_2^2, the cross term combines via cos⁡θ1cos⁡θ2+sin⁡θ1sin⁡θ2=cos⁡(θ1−θ2)\cos\theta_1\cos\theta_2+\sin\theta_1\sin\theta_2=\cos(\theta_1-\theta_2):

v22=ℓ12θ˙12+ℓ22θ˙22+2ℓ1ℓ2θ˙1θ˙2cos⁡(θ1−θ2).v_2^2=\ell_1^2\dot\theta_1^2+\ell_2^2\dot\theta_2^2+2\ell_1\ell_2\dot\theta_1\dot\theta_2\cos(\theta_1-\theta_2).

Lagrangian.

T=12(m1+m2)ℓ12θ˙12+12m2ℓ22θ˙22+m2ℓ1ℓ2θ˙1θ˙2cos⁡(θ1−θ2),T=\tfrac12(m_1+m_2)\ell_1^2\dot\theta_1^2+\tfrac12 m_2\ell_2^2\dot\theta_2^2 +m_2\ell_1\ell_2\dot\theta_1\dot\theta_2\cos(\theta_1-\theta_2), V=−(m1+m2)gℓ1cos⁡θ1−m2gℓ2cos⁡θ2,V=-(m_1+m_2)g\ell_1\cos\theta_1-m_2 g\ell_2\cos\theta_2,

and L=T−VL=T-V.

Equations of motion. For θ1\theta_1, with Δ≡θ1−θ2\Delta\equiv\theta_1-\theta_2:

∂L∂θ˙1=(m1+m2)ℓ12θ˙1+m2ℓ1ℓ2θ˙2cos⁡Δ,\frac{\partial L}{\partial\dot\theta_1}=(m_1+m_2)\ell_1^2\dot\theta_1+m_2\ell_1\ell_2\dot\theta_2\cos\Delta, ddt∂L∂θ˙1=(m1+m2)ℓ12θ¨1+m2ℓ1ℓ2θ¨2cos⁡Δ−m2ℓ1ℓ2θ˙2sin⁡Δ (θ˙1−θ˙2),\frac{d}{dt}\frac{\partial L}{\partial\dot\theta_1}=(m_1+m_2)\ell_1^2\ddot\theta_1+m_2\ell_1\ell_2\ddot\theta_2\cos\Delta-m_2\ell_1\ell_2\dot\theta_2\sin\Delta\,(\dot\theta_1-\dot\theta_2), ∂L∂θ1=−m2ℓ1ℓ2θ˙1θ˙2sin⁡Δ−(m1+m2)gℓ1sin⁡θ1.\frac{\partial L}{\partial\theta_1}=-m_2\ell_1\ell_2\dot\theta_1\dot\theta_2\sin\Delta-(m_1+m_2)g\ell_1\sin\theta_1.

Subtracting and dividing by ℓ1\ell_1 gives the first equation; the θ2\theta_2 calculation is symmetric. The result is the standard coupled pair

(m1+m2)ℓ1θ¨1+m2ℓ2θ¨2cos⁡Δ+m2ℓ2θ˙22sin⁡Δ+(m1+m2)gsin⁡θ1=0,(m_1+m_2)\ell_1\ddot\theta_1+m_2\ell_2\ddot\theta_2\cos\Delta+m_2\ell_2\dot\theta_2^2\sin\Delta+(m_1+m_2)g\sin\theta_1=0, ℓ2θ¨2+ℓ1θ¨1cos⁡Δ−ℓ1θ˙12sin⁡Δ+gsin⁡θ2=0.\ell_2\ddot\theta_2+\ell_1\ddot\theta_1\cos\Delta-\ell_1\dot\theta_1^2\sin\Delta+g\sin\theta_2=0.

Interpretation. These are nonlinear and famously chaotic. In the small-angle limit (sin⁡θ≈θ\sin\theta\approx\theta, cos⁡Δ≈1\cos\Delta\approx1, drop quadratic-velocity terms) they linearize to a coupled mass–spring system Mθ¨=−Kθ\mathbf{M}\ddot{\boldsymbol\theta}=-\mathbf{K}\boldsymbol\theta, whose two normal-mode frequencies are found exactly as for coupled oscillators.

The Lagrangian formulation makes conservation laws transparent. Define the generalized (canonical) momentum conjugate to qiq_i:

pi=∂L∂q˙i.p_i=\frac{\partial L}{\partial \dot q_i}.

Despite the name, pip_i does not have units of kg⋅m/s\text{kg·m/s}: conjugate to an angle it is an angular momentum, conjugate to an area-like coordinate it is something else again. It is whatever quantity the Euler–Lagrange equation says is changed by the corresponding generalized force.

If a coordinate does not appear explicitly in LL (only its derivative does), it is called cyclic or ignorable, and its Euler–Lagrange equation immediately gives

dpidt=∂L∂qi=0⟹pi=const.\frac{dp_i}{dt}=\frac{\partial L}{\partial q_i}=0 \quad\Longrightarrow\quad p_i=\text{const}.

Physically, a cyclic coordinate signals a symmetry: if shifting qiq_i leaves LL unchanged, the system “doesn’t care” about that direction, and the associated momentum cannot change. This is the mechanical core of Noether’s theorem: each continuous symmetry of LL yields a conserved quantity. Translational invariance ⟶\longrightarrow linear momentum; rotational invariance (no ϕ\phi dependence) ⟶\longrightarrow angular momentum. Look for cyclic coordinates before solving the equations: each gives a first-order conservation law that can replace a second-order ODE.

Example. A bob of mass mm swings on a rigid massless rod of length ℓ\ell from a fixed pivot, free to move in all three dimensions (not confined to a plane). Find a generalized differential equation for the scenario that does NOT include the azimuthal angle and only depends on mm, ll, the downward vertical angle θ\theta, and momentum.

Use spherical angles: θ\theta measured from the downward vertical, and azimuth ϕ\phi about the vertical. There are n=2n=2 degrees of freedom.

Lagrangian. The bob speed has a polar part ℓθ˙\ell\dot\theta and an azimuthal part ℓsin⁡θ ϕ˙\ell\sin\theta\,\dot\phi (the radius of the circle of latitude is ℓsin⁡θ\ell\sin\theta), giving

T=12mℓ2(θ˙2+sin⁡2θ ϕ˙2),V=−mgℓcos⁡θ,T=\tfrac12 m\ell^2\big(\dot\theta^2+\sin^2\theta\,\dot\phi^2\big),\qquad V=-mg\ell\cos\theta, L=12mℓ2(θ˙2+sin⁡2θ ϕ˙2)+mgℓcos⁡θ.L=\tfrac12 m\ell^2\big(\dot\theta^2+\sin^2\theta\,\dot\phi^2\big)+mg\ell\cos\theta.

Cyclic coordinate. The angle ϕ\phi appears only through ϕ˙\dot\phi — it is cyclic (rotating the whole apparatus about the vertical changes nothing). Hence its conjugate momentum is conserved:

pϕ=∂L∂ϕ˙=mℓ2sin⁡2θ ϕ˙=const.p_\phi=\frac{\partial L}{\partial\dot\phi}=m\ell^2\sin^2\theta\,\dot\phi=\text{const}.

This is exactly the component of angular momentum about the vertical axis, LzL_z — a quantity Newton would have you extract from torque balance, but which here just falls out of the structure of LL.

Reduction to 1D. Solve the conservation law for ϕ˙=pϕ/(mℓ2sin⁡2θ)\dot\phi=p_\phi/(m\ell^2\sin^2\theta) and substitute into the θ\theta equation. The Euler–Lagrange equation for θ\theta,

mℓ2θ¨=mℓ2sin⁡θcos⁡θ ϕ˙2−mgℓsin⁡θ,m\ell^2\ddot\theta=m\ell^2\sin\theta\cos\theta\,\dot\phi^2-mg\ell\sin\theta,

becomes, after eliminating ϕ˙\dot\phi,

mℓ2θ¨=pϕ2cos⁡θmℓ2sin⁡3θ−mgℓsin⁡θ.m\ell^2\ddot\theta=\frac{p_\phi^2\cos\theta}{m\ell^2\sin^3\theta}-mg\ell\sin\theta.

This is a single equation for θ(t)\theta(t) alone, equivalent to 1D motion in the effective potential

Veff(θ)=pϕ22mℓ2sin⁡2θ−mgℓcos⁡θ,V_{\rm eff}(\theta)=\frac{p_\phi^2}{2m\ell^2\sin^2\theta}-mg\ell\cos\theta,

whose first term is the centrifugal barrier that keeps the bob from reaching the poles. A minimum of VeffV_{\rm eff} is a conical pendulum (steady circular motion at fixed θ\theta); small oscillations about it give the precessing, nodding motion. Using a cyclic coordinate plus energy conservation has reduced a two-angle problem to a one-dimensional one — the same “effective potential” reduction that powers central-force and orbit problems.


A central force points along the line joining two bodies and depends only on their separation, F⃗=F(r)r^\vec F=F(r)\hat r. Gravity and the Coulomb force are the most famous cases. Two features make these problems tractable: the two-body problem reduces to one body, and the motion is confined to a plane (since L⃗\vec L is conserved, r⃗\vec r and v⃗\vec v always lie in the plane perpendicular to it).

Reduction to one body and the effective potential

Section titled “Reduction to one body and the effective potential”

A two-body system interacting through a central force reduces to a single particle of reduced mass μ=m1m2/(m1+m2)\mu=m_1m_2/(m_1+m_2) moving in the potential V(r)V(r) about a fixed center. The trick is to use the center-of-mass and relative coordinates r⃗=r⃗1−r⃗2\vec r=\vec r_1-\vec r_2: the kinetic energy splits into a free-particle CM piece plus 12μr⃗˙ 2\tfrac12\mu\dot{\vec r}^{\,2}, and the internal dynamics depend only on r⃗\vec r. For a light body of mass mm orbiting a much heavier one of mass MM, μ→m\mu\to m and the heavy body is effectively fixed.

Angular momentum L=μr2θ˙L=\mu r^2\dot\theta is conserved (the force exerts no torque about the center), which is Kepler’s second law: dA/dt=L/2μdA/dt=L/2\mu is constant, so the radius sweeps equal areas in equal times. Using LL to eliminate θ˙\dot\theta, the energy becomes a one-dimensional problem in rr alone:

E=12μr˙2+L22μr2+V(r)⏟Veff(r).E=\tfrac12\mu\dot r^2+\underbrace{\frac{L^2}{2\mu r^2}+V(r)}_{V_{\text{eff}}(r)} .

The effective potential bundles the real potential with a repulsive centrifugal barrier L2/2μr2L^2/2\mu r^2. It converts a 2D orbit problem into the 1D motion of a “particle” of energy EE rolling in the well Veff(r)V_{\text{eff}}(r):

  • A minimum of VeffV_{\text{eff}} is a circular orbit (r˙=0\dot r=0 for all time, so rr sits at the bottom of the well). The condition Veff′(r0)=0V_{\text{eff}}'(r_0)=0 just says the inward real force supplies exactly the centripetal requirement.
  • If EE lies between the well bottom and zero, the “particle” oscillates between two turning points rmin⁡r_{\min} and rmax⁡r_{\max} (where r˙=0\dot r=0, i.e. E=VeffE=V_{\text{eff}}). These are the perihelion and aphelion; the orbit is bound.
  • If EE exceeds the barrier (or the well has no bound region), there is a single turning point and the body escapes to infinity: an unbound orbit.

A subtle point: a bound orbit oscillates radially between rmin⁡r_{\min} and rmax⁡r_{\max}, but it need not be closed. The orbit closes only if the angle swept during one radial oscillation (the apsidal angle) is a rational multiple of 2π2\pi. Bertrand’s theorem states that the only central potentials for which every bound orbit closes are the inverse-square force (V∝−1/rV\propto -1/r) and the harmonic force (V∝r2V\propto r^2). That gravity is one of these two is the reason planetary ellipses do not precess in the idealized two-body problem.\

A useful trick for central-force problems is to assume that the two objects are in elliptical orbits, where the major axis is the distance between the objects and the minor axis is 00. Still, all of Kepler’s laws still apply if the force is an inverse-square force.

Example. A point charge +Q+Q with mass MM and another point charge −q-q with mass mm are separated by a distance RR, and then released from rest at t=0t=0. When do these two charges collide? Neglect the gravitational interaction, and assume that the Coulomb’s law still applies in this case.

Method 1 (Reduced mass)

Since the pair is released from rest, the total momentum is zero and the center of mass never moves; the charges meet when the relative coordinate r=r1−r2r=r_1-r_2 shrinks from RR to 00. The relative motion is that of a single particle of reduced mass

μ=mMM+m\mu=\frac{mM}{M+m}

in the attractive potential U(r)=−krU(r)=-\dfrac{k}{r}, where k=Qq4πε0k=\dfrac{Qq}{4\pi\varepsilon_0}.

The particle is released from rest at r=Rr=R, so its total energy is E=U(R)=−k/RE=U(R)=-k/R. At a later separation rr,

12μr˙2−kr=−kR⟹r˙2=2kμ(1r−1R).\tfrac12\mu\dot r^2-\frac{k}{r}=-\frac{k}{R} \quad\Longrightarrow\quad \dot r^2=\frac{2k}{\mu}\left(\frac1r-\frac1R\right).

Since rr is decreasing, r˙=−2kμR−rrR\dot r=-\sqrt{\dfrac{2k}{\mu}\dfrac{R-r}{rR}}. Separating variables and integrating over the whole collapse r:R→0r:R\to 0 gives the collision time

t=μR2k∫0RrR−r dr.t=\sqrt{\frac{\mu R}{2k}}\int_0^{R}\sqrt{\frac{r}{R-r}}\,dr .

The substitution r=Rsin⁡2ϕr=R\sin^2\phi turns the integral into 2R∫0π/2sin⁡2ϕ dϕ=πR22R\displaystyle\int_0^{\pi/2}\sin^2\phi\,d\phi=\dfrac{\pi R}{2}, so

t=π2μR32k=ππε0 μR32Qq=ππε0 mMR32Qq(M+m),t=\frac{\pi}{2}\sqrt{\frac{\mu R^3}{2k}} =\pi\sqrt{\frac{\pi\varepsilon_0\,\mu R^3}{2Qq}} =\pi\sqrt{\frac{\pi\varepsilon_0\,mMR^3}{2Qq(M+m)}} ,

substituting k=Qq/4πε0k=Qq/4\pi\varepsilon_0 and μ=mM/(M+m)\mu=mM/(M+m).

Method 2 (Squashed orbits)

First consider the situation where M⟶+∞M \longrightarrow +\infty, and the system becomes a point mass and moves in an attractive central force field that follows the inverse-square-law. Therefore, the motion of the mass follows the Kepler’s laws. If the mass is released at rest, its trajectory is a straight line going towards M. This straight-line can be treated as an extremely thin elliptical orbit with a=R2a=\frac{R}{2} and b=0b=0. The time it takes to collide with MM is half of the period of this orbit. According to Kepler’s 3rd law, the period of an elliptical orbit depends only on aa, not bb. Therefore, we can use a circular orbit with a radius R/2R/2 to calculate the period of the elliptical orbit with a=R/2a = R/2. Using the dynamics equations of a circular orbit, we set the Coulomb force equal to the centripetal force at radius R/2R/2:

14πε0Qq(R2)2=m R2 ω2.\frac{1}{4\pi\varepsilon_0}\frac{Qq}{\left(\frac{R}{2}\right)^2}=m\,\frac{R}{2}\,\omega^2 .

Solving for ω\omega and using T=2π/ωT=2\pi/\omega gives the period of the orbit,

T=2πω=2ππε0mR32Qq.T=\frac{2\pi}{\omega}=2\pi\sqrt{\frac{\pi\varepsilon_0 mR^3}{2Qq}} .

The collision happens after half a period, so

t=T2=ππε0mR32Qq.t=\frac{T}{2}=\pi\sqrt{\frac{\pi\varepsilon_0 mR^3}{2Qq}} .

If MM is finite, we just replace mm in the result with the reduced mass μ=mMM+m\mu=\dfrac{mM}{M+m}:

t=T2=ππε0mMR32Qq(M+m).t=\frac{T}{2}=\pi\sqrt{\frac{\pi\varepsilon_0 mMR^3}{2Qq(M+m)}} .

For gravity, V(r)=−k/rV(r)=-k/r with k=Gm1m2k=Gm_1m_2. The orbit equation follows from rewriting the radial dynamics in terms of u=1/ru=1/r as the independent-variable function u(θ)u(\theta).

Proof (Binet equation). Start from the radial equation of motion for the reduced particle,

μr¨−μrθ˙2=F(r),\mu\ddot r-\mu r\dot\theta^2=F(r),

where the second term on the left is the centrifugal contribution. We eliminate time using conservation of L=μr2θ˙L=\mu r^2\dot\theta, so that θ˙=L/μr2\dot\theta=L/\mu r^2. Substitute u=1/ru=1/r, i.e. r=1/ur=1/u. Then by the chain rule,

r˙=drdθθ˙=−1u2dudθ⋅Lμr2=−1u2dudθ⋅Lu2μ=−Lμdudθ.\dot r=\frac{dr}{d\theta}\dot\theta=-\frac{1}{u^2}\frac{du}{d\theta}\cdot\frac{L}{\mu r^2} =-\frac{1}{u^2}\frac{du}{d\theta}\cdot\frac{Lu^2}{\mu} =-\frac{L}{\mu}\frac{du}{d\theta}.

Differentiate again, again converting d/dt=θ˙ d/dθ=(Lu2/μ) d/dθd/dt=\dot\theta\,d/d\theta=(Lu^2/\mu)\,d/d\theta:

r¨=ddt ⁣(−Lμdudθ)=−Lμd2udθ2⋅Lu2μ=−L2u2μ2d2udθ2.\ddot r=\frac{d}{dt}\!\left(-\frac{L}{\mu}\frac{du}{d\theta}\right) =-\frac{L}{\mu}\frac{d^2u}{d\theta^2}\cdot\frac{Lu^2}{\mu} =-\frac{L^2u^2}{\mu^2}\frac{d^2u}{d\theta^2}.

Also rθ˙2=1u(Lu2μ)2=L2u3μ2r\dot\theta^2=\dfrac{1}{u}\left(\dfrac{Lu^2}{\mu}\right)^2=\dfrac{L^2u^3}{\mu^2}. Plug both into the radial equation:

μ(−L2u2μ2d2udθ2)−μ⋅L2u3μ2=F(1/u).\mu\left(-\frac{L^2u^2}{\mu^2}\frac{d^2u}{d\theta^2}\right)-\mu\cdot\frac{L^2u^3}{\mu^2}=F(1/u).

Divide through by −L2u2/μ-L^2u^2/\mu to obtain the general Binet equation

d2udθ2+u=−μL2u2 F(1/u).\frac{d^2u}{d\theta^2}+u=-\frac{\mu}{L^2u^2}\,F(1/u).

For gravity, F(r)=−k/r2=−ku2F(r)=-k/r^2=-ku^2, so the right side becomes +μk/L2+\mu k/L^2, a constant:

 d2udθ2+u=μkL2 .\ \frac{d^2u}{d\theta^2}+u=\frac{\mu k}{L^2}\ .

This is the equation of a harmonic oscillator in θ\theta with a constant drive — its solution is a sinusoid offset by a constant, which is precisely a conic section.

The general solution of Binet’s equation is u=μk/L2+Acos⁡(θ−θ0)u=\mu k/L^2+A\cos(\theta-\theta_0). Choosing θ0=0\theta_0=0 (perihelion at θ=0\theta=0) and writing AA in terms of the constants of motion gives a conic section (Luke jumpscare):

r(θ)=p1+ecos⁡θ,p=L2μk,e=1+2EL2μk2.r(\theta)=\frac{p}{1+e\cos\theta},\qquad p=\frac{L^2}{\mu k},\qquad e=\sqrt{1+\frac{2EL^2}{\mu k^2}} .

The eccentricity ee sorts the orbit by energy:

EnergyEccentricityOrbit
E<0E<00≤e<10\le e<1ellipse (circle if e=0e=0)
E=0E=0e=1e=1parabola (just unbound)
E>0E>0e>1e>1hyperbola

The eccentricity has a physical meaning beyond the normal definition seen in precalculus: it measures how far the energy sits above the circular-orbit minimum for a given LL. A circle (e=0e=0) is the lowest-energy orbit at fixed LL (the bottom of the well); raising EE toward zero stretches the ellipse until at E=0E=0 the far turning point runs off to infinity and the orbit unbinds.

For a bound orbit the semi-major axis depends only on energy, a=−k/2Ea=-k/2E, and Kepler’s third law follows from the area law (period = total area πab\pi ab divided by the constant areal rate L/2μL/2\mu):

T2=4π2G(m1+m2) a3.T^2=\frac{4\pi^2}{G(m_1+m_2)}\,a^3 .

The vis-viva equation relates orbital speed to position and follows from energy conservation with a=−k/2Ea=-k/2E:

 v2=GM ⁣(2r−1a) \ v^2=GM\!\left(\frac{2}{r}-\frac{1}{a}\right)\

(for a light body orbiting mass MM).

A common olympiad task gives you the speed and distance at one point and asks for the whole orbit. Two conserved quantities (energy and angular momentum) are enough, because at the apsides the velocity is purely tangential and the geometry collapses.

Example. A comet orbits the Sun (mass MM). At perihelion it is at distance rpr_p moving at speed vpv_p; the only other thing known is that its aphelion distance is rar_a. Show how to find vpv_p from rpr_p and rar_a alone, then find the aphelion speed vav_a and the eccentricity.

At both apsides the velocity is perpendicular to the radius, so L=μrvL=\mu r v with no angle factor. Conservation of angular momentum between perihelion and aphelion gives immediately

rpvp=rava⇒va=rpra vp.r_p v_p=r_a v_a\quad\Rightarrow\quad v_a=\frac{r_p}{r_a}\,v_p.

Now impose energy conservation, 12vp2−GMrp=12va2−GMra\tfrac12 v_p^2-\dfrac{GM}{r_p}=\tfrac12 v_a^2-\dfrac{GM}{r_a} (dividing the reduced-mass energy by μ\mu since μ\mu cancels for a test body). Substitute va=(rp/ra)vpv_a=(r_p/r_a)v_p:

12vp2 ⁣(1−rp2ra2)=GM ⁣(1rp−1ra).\tfrac12 v_p^2\!\left(1-\frac{r_p^2}{r_a^2}\right)=GM\!\left(\frac{1}{r_p}-\frac{1}{r_a}\right).

Factor the left side as 12vp2 (ra−rp)(ra+rp)ra2\tfrac12 v_p^2\,\dfrac{(r_a-r_p)(r_a+r_p)}{r_a^2} and the right side as GM ra−rprpraGM\,\dfrac{r_a-r_p}{r_p r_a}. The common factor (ra−rp)(r_a-r_p) cancels, leaving

vp2=2GMra+rp⋅rarp=2GM rarp(ra+rp).v_p^2=\frac{2GM}{r_a+r_p}\cdot\frac{r_a}{r_p} =\frac{2GM\,r_a}{r_p(r_a+r_p)}.

This is exactly vis-viva with a=(rp+ra)/2a=(r_p+r_a)/2, since 2rp−1a=2rp−2rp+ra=2rarp(rp+ra)\dfrac{2}{r_p}-\dfrac{1}{a}=\dfrac{2}{r_p}-\dfrac{2}{r_p+r_a}=\dfrac{2r_a}{r_p(r_p+r_a)} — a useful self-check. The aphelion speed is then va=(rp/ra)vp=2GM rpra(ra+rp)v_a=(r_p/r_a)v_p=\sqrt{\dfrac{2GM\,r_p}{r_a(r_a+r_p)}}, and the eccentricity follows from the apsidal distances directly:

rp=a(1−e),ra=a(1+e) ⇒ e=ra−rpra+rp.r_p=a(1-e),\quad r_a=a(1+e)\ \Rightarrow\ e=\frac{r_a-r_p}{r_a+r_p}.

The whole orbit is fixed by two distances; speeds drop out as a consequence.

Many problems hinge on what an impulsive event does: a thruster fires for a negligible time, or the central force abruptly changes. Because the burn is instantaneous, rr and any velocity component perpendicular to the impulse are unchanged at that instant; only the new {E,L}\{E,L\} — hence the new aa and ee — must be recomputed.

Example. A particle is in a circular orbit of radius r0r_0 about a star, so its speed is v0=GM/r0v_0=\sqrt{GM/r_0} and its energy is E0=−12GMm/r0E_0=-\tfrac12 GMm/r_0 (with a=r0a=r_0). The star suddenly loses a fraction of its mass, M→M′=αMM\to M'=\alpha M with 0<α<10<\alpha<1, while the particle’s instantaneous position and velocity are unchanged. Describe the new orbit, and find the condition for the particle to escape.

Just after the event, r=r0r=r_0 and v=v0=GM/r0v=v_0=\sqrt{GM/r_0} still, but the new potential is V′=−GM′m/r=−αGMm/rV'=-GM'm/r=-\alpha GMm/r. The velocity is still tangential, so r0r_0 is an apsis of the new orbit. The new energy per unit mass is

E′m=12v02−GM′r0=GM2r0−αGMr0=GMr0(12−α).\frac{E'}{m}=\tfrac12 v_0^2-\frac{GM'}{r_0}=\frac{GM}{2r_0}-\frac{\alpha GM}{r_0}=\frac{GM}{r_0}\left(\tfrac12-\alpha\right).

Escape condition. The particle is unbound when E′≥0E'\ge0, i.e. α≤12\alpha\le\tfrac12: if the star loses at least half its mass, the planet flies off. This matches the familiar fact that circular speed is exactly 1/21/\sqrt2 times escape speed, so halving MM halves the depth of the well and turns the present speed into the escape speed.

Bound case (α>12\alpha>\tfrac12). The new semi-major axis comes from E′=−GM′m/2a′E'=-GM'm/2a':

a′=−GM′m2E′=α GMm2⋅GMmr0(α−12)=α r02α−1.a'=-\frac{GM'm}{2E'}=\frac{\alpha\,GM m}{2\cdot\frac{GM m}{r_0}\left(\alpha-\tfrac12\right)}=\frac{\alpha\,r_0}{2\alpha-1}.

Since r0r_0 is the apsis where the burn happened and v0v_0 now exceeds the new circular speed αGM/r0\sqrt{\alpha GM/r_0}, the point r0r_0 is the perihelion of a larger ellipse; the eccentricity follows from r0=a′(1−e)r_0=a'(1-e):

e=1−r0a′=1−2α−1α=1−αα.e=1-\frac{r_0}{a'}=1-\frac{2\alpha-1}{\alpha}=\frac{1-\alpha}{\alpha}.

As α→1\alpha\to1 (no mass lost) we recover e→0e\to0, the original circle; as α→12+\alpha\to\tfrac12^+, a′→∞a'\to\infty and e→1e\to1, the orbit stretching into an escaping parabola. The entire post-event orbit is read off from one energy evaluation and the rule that the impulse point is an apsis.


Near a stable equilibrium, almost every system behaves like one or more harmonic oscillators.

Expand the potential about a stable equilibrium x0x_0 (where V′(x0)=0V'(x_0)=0, V′′(x0)>0V''(x_0)>0):

V(x)≈V(x0)+12V′′(x0)(x−x0)2.V(x)\approx V(x_0)+\tfrac12 V''(x_0)(x-x_0)^2 .

The linear term vanishes by definition of equilibrium, so to leading order the restoring force is Hooke’s law with effective stiffness keff=V′′(x0)k_{\text{eff}}=V''(x_0), giving

ω=V′′(x0)m.\omega=\sqrt{\frac{V''(x_0)}{m}} .

For a general coordinate, replace mm by the effective inertia multiplying 12q˙2\tfrac12\dot q^2 in the kinetic energy. This reduces “find the small-oscillation frequency” to two derivatives: locate the minimum, then evaluate the curvature there.

Example. A particle of mass mm moves radially in the effective potential

V(x)=αx2−βx,α,β>0, x>0,V(x)=\frac{\alpha}{x^2}-\frac{\beta}{x},\qquad \alpha,\beta>0,\ x>0,

the shape that governs orbital radial motion and many central-force problems. Find the equilibrium radius and the frequency of small radial oscillations about it.

First the equilibrium, V′(x0)=0V'(x_0)=0:

V′(x)=−2αx3+βx2=0⟹βx2=2αx3⟹x0=2αβ.V'(x)=-\frac{2\alpha}{x^3}+\frac{\beta}{x^2}=0 \quad\Longrightarrow\quad \frac{\beta}{x^2}=\frac{2\alpha}{x^3} \quad\Longrightarrow\quad x_0=\frac{2\alpha}{\beta}.

Now the curvature:

V′′(x)=6αx4−2βx3.V''(x)=\frac{6\alpha}{x^4}-\frac{2\beta}{x^3}.

Evaluate at x0=2α/βx_0=2\alpha/\beta. Using x03=8α3/β3x_0^3=8\alpha^3/\beta^3 and x04=16α4/β4x_0^4=16\alpha^4/\beta^4,

V′′(x0)=6α β416α4−2β β38α3=3β48α3−β44α3=3β4−2β48α3=β48α3>0,V''(x_0)=\frac{6\alpha\,\beta^4}{16\alpha^4}-\frac{2\beta\,\beta^3}{8\alpha^3} =\frac{3\beta^4}{8\alpha^3}-\frac{\beta^4}{4\alpha^3} =\frac{3\beta^4-2\beta^4}{8\alpha^3} =\frac{\beta^4}{8\alpha^3}>0,

so the equilibrium is stable. The small-oscillation frequency is

ω=V′′(x0)m=β28m α3=β22α2mα.\omega=\sqrt{\frac{V''(x_0)}{m}}=\frac{\beta^2}{\sqrt{8m\,\alpha^3}} =\frac{\beta^2}{2\alpha\sqrt{2m\alpha}} .

Only V′′V'' at one point was needed; the global shape of the well never entered.


For a body rotating with angular velocity ω⃗\vec\omega about a point OO, each mass element at r⃗\vec r moves with v⃗=ω⃗×r⃗\vec v=\vec\omega\times\vec r and carries angular momentum r⃗×mv⃗\vec r\times m\vec v. Summing and expanding the double cross product r⃗×(ω⃗×r⃗)=ωr2−r⃗(r⃗⋅ω⃗)\vec r\times(\vec\omega\times\vec r)=\omega r^2-\vec r(\vec r\cdot\vec\omega) gives a linear map from ω⃗\vec\omega to L⃗\vec L:

Li=∑jIij ωj,Iij=∑mm(r2δij−rirj),L_i=\sum_j I_{ij}\,\omega_j,\qquad I_{ij}=\sum_m m\left(r^2\delta_{ij}-r_i r_j\right),

a real symmetric matrix called the inertia tensor I\mathbf I. The diagonal entries Ixx=∑m(y2+z2)I_{xx}=\sum m(y^2+z^2) are the ordinary moments of inertia about each axis; the off-diagonal entries Ixy=−∑m xyI_{xy}=-\sum m\,xy are the products of inertia.

The crucial conceptual break from AP physics: L⃗\vec L is generally not parallel to ω⃗\vec\omega. A matrix sends a vector to a parallel vector only along its eigenvectors, so L⃗∥ω⃗\vec L\parallel\vec\omega only for special spin directions.

What the products of inertia mean physically. Imagine a rigid body spinning at constant ω⃗\vec\omega on a fixed shaft. If Ixy≠0I_{xy}\neq0 for the shaft axis, then L⃗\vec L is tilted off the axis and, since the body carries L⃗\vec L around with it, L⃗\vec L sweeps out a cone once per revolution. But L⃗\vec L is constant in the body and rotating in space means dL⃗/dt=ω⃗×L⃗≠0d\vec L/dt=\vec\omega\times\vec L\neq0, which by τ⃗=dL⃗/dt\vec\tau=d\vec L/dt demands a torque — supplied by the bearings as a rotating sideways force. This is dynamic imbalance: a wheel can be statically balanced (center of mass on the axis) yet still shake the bearings because its products of inertia don’t vanish. Tire shops fix it by adding small weights to zero out IxzI_{xz} and IyzI_{yz}.

Principal axes. Since I\mathbf I is real symmetric, it has three mutually orthogonal eigenvectors, the principal axes, with real eigenvalues I1,I2,I3I_1,I_2,I_3, the principal moments. In that frame the tensor is diagonal,

I=(I1000I2000I3),L⃗=(I1ω1, I2ω2, I3ω3).\mathbf I=\begin{pmatrix}I_1&0&0\\0&I_2&0\\0&0&I_3\end{pmatrix},\qquad \vec L=(I_1\omega_1,\,I_2\omega_2,\,I_3\omega_3).

Spin purely about a principal axis and L⃗∥ω⃗\vec L\parallel\vec\omega: the products of inertia vanish, the bearings feel no rotating load, and the spin is “balanced.” Any axis of symmetry is automatically principal, which lets you read off principal axes by inspection for symmetric bodies. The parallel-axis theorem I=Icm+Md2I=I_{\text{cm}}+Md^2 (proved on the AP pages) shifts the reference point for a single moment; its tensor version is Iij=Iijcm+M(d2δij−didj)I_{ij}=I_{ij}^{\text{cm}}+M(d^2\delta_{ij}-d_id_j). For rolling without slipping the contact constraint vcm=ωRv_{\text{cm}}=\omega R links translation and rotation, with kinetic energy 12Mvcm2+12Icmω2\tfrac12 Mv_{\text{cm}}^2+\tfrac12 I_{\text{cm}}\omega^2.

Example. A uniform cube of mass MM and side aa has its corner at the origin and edges along x^,y^,z^\hat x,\hat y,\hat z. Find its inertia tensor about the corner, then compute L⃗\vec L when it spins about the edge x^\hat x and when it spins about the body diagonal, and in each case find the angle between L⃗\vec L and ω⃗\vec\omega.

By symmetry of the cube under permuting axes, all three diagonal entries are equal. With uniform density ρ=M/a3\rho=M/a^3,

Ixx=ρ ⁣∫0a ⁣ ⁣∫0a ⁣ ⁣∫0a(y2+z2) dx dy dz=ρ a ⁣(a33a+aa33)=23Ma2.I_{xx}=\rho\!\int_0^a\!\!\int_0^a\!\!\int_0^a (y^2+z^2)\,dx\,dy\,dz=\rho\,a\!\left(\frac{a^3}{3}a+a\frac{a^3}{3}\right)=\frac{2}{3}Ma^2.

Each product of inertia is equal by the same symmetry; take

Ixy=−ρ ⁣∫0a ⁣ ⁣∫0a ⁣ ⁣∫0axy dx dy dz=−ρ a⋅a22⋅a22=−14Ma2.I_{xy}=-\rho\!\int_0^a\!\!\int_0^a\!\!\int_0^a xy\,dx\,dy\,dz=-\rho\,a\cdot\frac{a^2}{2}\cdot\frac{a^2}{2}=-\frac{1}{4}Ma^2.

So about the corner,

I=Ma2(23−14−14−1423−14−14−1423).\mathbf I=Ma^2\begin{pmatrix}\tfrac23&-\tfrac14&-\tfrac14\\[2pt]-\tfrac14&\tfrac23&-\tfrac14\\[2pt]-\tfrac14&-\tfrac14&\tfrac23\end{pmatrix}.

Spin about the edge ω⃗=ωx^\vec\omega=\omega\hat x. Then L⃗=Iω⃗=Ma2ω(23,−14,−14)\vec L=\mathbf I\vec\omega=Ma^2\omega\left(\tfrac23,-\tfrac14,-\tfrac14\right). This is not along x^\hat x — the edge is not a principal axis, so spinning a cube on one of its edges is dynamically unbalanced. The angle between L⃗\vec L and ω⃗=x^\vec\omega=\hat x is

cos⁡β=L⃗⋅x^∣L⃗∣=2/3(2/3)2+2(1/4)2=0.66670.4444+0.125=0.66670.7546=0.8835,\cos\beta=\frac{\vec L\cdot\hat x\lvert \vec L \rvert}=\frac{2/3}{\sqrt{(2/3)^2+2(1/4)^2}}=\frac{0.6667}{\sqrt{0.4444+0.125}}=\frac{0.6667}{0.7546}=0.8835,

so β≈27.9∘\beta\approx27.9^\circ. The bearings must supply a torque to drag this off-axis L⃗\vec L around.

Spin about the body diagonal ω⃗=ω3(1,1,1)\vec\omega=\dfrac{\omega}{\sqrt3}(1,1,1). Now

I(111)=Ma2(23−14−1423−14−1423−14−14)=Ma2⋅16(111).\mathbf I\begin{pmatrix}1\\1\\1\end{pmatrix}=Ma^2\begin{pmatrix}\tfrac23-\tfrac14-\tfrac14\\\tfrac23-\tfrac14-\tfrac14\\\tfrac23-\tfrac14-\tfrac14\end{pmatrix}=Ma^2\cdot\frac{1}{6}\begin{pmatrix}1\\1\\1\end{pmatrix}.

The body diagonal is an eigenvector: L⃗=16Ma2 ω⃗\vec L=\tfrac16 Ma^2\,\vec\omega is exactly parallel to ω⃗\vec\omega, with principal moment I=16Ma2I=\tfrac16 Ma^2. Physically, the cube has threefold symmetry about its body diagonal, which forces it to be a principal axis (in fact, by symmetry, any axis through the corner lying in the plane perpendicular to the diagonal shares the eigenvalue 23+14=1112\tfrac{2}{3}+\tfrac14=\tfrac{11}{12}… — more precisely the other two principal moments are degenerate at 1112Ma2\tfrac{11}{12}Ma^2, since the trace 2Ma2=16+2⋅11122Ma^2=\tfrac16+2\cdot\tfrac{11}{12} checks out). Spinning a cube on a body-diagonal point would be perfectly balanced.

The key rigid-body equation is still τ⃗=dL⃗/dt\vec\tau=d\vec L/dt — but when L⃗\vec L is large and the torque is perpendicular to it, the torque turns L⃗\vec L rather than lengthening it. This explains why a fast-spinning top can precess under gravity instead of toppling.

A non-spinning top falls because gravity’s torque creates angular momentum in the direction of the torque so it starts to tip. A fast-spinning top already has a huge L⃗\vec L along its axis. Gravity’s torque τ=mgrsin⁡θ\tau=mgr\sin\theta is horizontal, perpendicular to L⃗\vec L, so dL⃗=τ⃗ dtd\vec L=\vec\tau\,dt adds a horizontal sliver perpendicular to L⃗\vec L. Adding a perpendicular vector to L⃗\vec L rotates it without changing its length: the axis swings sideways (azimuthally) instead of dropping. The “falling” tendency is continuously converted into sideways circulation. The faster the spin, the smaller the fractional change dL⃗/Ld\vec L/L per unit time, hence the slower the precession. This explains all of the viral reels/videos about how spinning wheels can withstand gravitational effects while non-spinning wheels can’t.

Euler’s equations and torque-free motion

Section titled “Euler’s equations and torque-free motion”

To handle a body whose axis itself moves, write τ⃗=dL⃗/dt\vec\tau=d\vec L/dt in a frame rotating with the body, where I\mathbf I is constant. Using (dL⃗/dt)space=(dL⃗/dt)body+ω⃗×L⃗\left(d\vec L/dt\right)_{\text{space}}=\left(d\vec L/dt\right)_{\text{body}}+\vec\omega\times\vec L and aligning axes with the principal axes (Li=IiωiL_i=I_i\omega_i) gives Euler’s equations:

I1ω˙1=(I2−I3) ω2ω3,I2ω˙2=(I3−I1) ω3ω1,I3ω˙3=(I1−I2) ω1ω2,I_1\dot\omega_1=(I_2-I_3)\,\omega_2\omega_3,\qquad I_2\dot\omega_2=(I_3-I_1)\,\omega_3\omega_1,\qquad I_3\dot\omega_3=(I_1-I_2)\,\omega_1\omega_2,

(plus external torque on the right when present). For torque-free motion (τ⃗=0\vec\tau=0) of a non-spherical body, L⃗\vec L is fixed in space, but ω⃗\vec\omega — generally not parallel to L⃗\vec L — traces a cone. This is free precession, and it is what makes a tumbling phone, a wobbling thrown frisbee, or a misshapen planet behave the way they do.

Example. A torque-free symmetric body has I1=I2≡I⊥I_1=I_2\equiv I_\perp and symmetry axis moment I3I_3. Find the rate at which the spin axis ω⃗\vec\omega wobbles about the symmetry axis (the “body cone”), and the rate the symmetry axis sweeps about the fixed L⃗\vec L (the “space cone”).

With I1=I2I_1=I_2, the third Euler equation gives I3ω˙3=(I1−I2)ω1ω2=0I_3\dot\omega_3=(I_1-I_2)\omega_1\omega_2=0, so ω3=const\omega_3=\text{const}. The first two become

ω˙1=I⊥−I3I⊥ ω3 ω2,ω˙2=−I⊥−I3I⊥ ω3 ω1.\dot\omega_1=\frac{I_\perp-I_3}{I_\perp}\,\omega_3\,\omega_2,\qquad \dot\omega_2=-\frac{I_\perp-I_3}{I_\perp}\,\omega_3\,\omega_1.

Define Ωbody≡(I3−I⊥)I⊥ ω3\Omega_{\text{body}}\equiv\dfrac{(I_3-I_\perp)}{I_\perp}\,\omega_3. Then ω˙1=−Ωbody ω2\dot\omega_1=-\Omega_{\text{body}}\,\omega_2 and ω˙2=Ωbody ω1\dot\omega_2=\Omega_{\text{body}}\,\omega_1, which is simple harmonic: the transverse part (ω1,ω2)(\omega_1,\omega_2) rotates at constant magnitude with angular rate Ωbody\Omega_{\text{body}}. So in the body frame, ω⃗\vec\omega traces a cone about the symmetry axis at rate

Ωbody=I3−I⊥I⊥ ω3.\Omega_{\text{body}}=\frac{I_3-I_\perp}{I_\perp}\,\omega_3.

In space, L⃗\vec L is fixed; the symmetry axis precesses about L⃗\vec L. Resolve L⃗=I⊥ω⃗⊥+I3ω3e^3\vec L=I_\perp\vec\omega_\perp+I_3\omega_3\hat e_3. The symmetry axis e^3\hat e_3, the spin ω⃗\vec\omega, and L⃗\vec L are always coplanar, and that plane rotates about L⃗\vec L at

Ωspace=LI⊥,\Omega_{\text{space}}=\frac{L}{I_\perp},

obtained by noting the transverse component of L⃗\vec L is L⊥=I⊥ω⊥L_\perp=I_\perp\omega_\perp and the symmetry axis circulates so as to keep L⃗\vec L fixed. For Earth (I3−I⊥)/I⊥≈1/305I_3-I_\perp)/I_\perp\approx 1/305, the predicted free-precession (Chandler-wobble) period is ∼305\sim305 days, famously off from the observed ∼433\sim433 days because Earth is not perfectly rigid — a beautiful example of theory exposing the elastic correction.

The “fast spin → slow effect” theme recurs: with I3≈I⊥I_3\approx I_\perp the body cone is slow, and the symmetry axis nearly coincides with ω⃗\vec\omega and L⃗\vec L, so a well-thrown frisbee or football flies clean; a wobble appears only when spun about an axis off its symmetry axis.

The tennis-racket (intermediate-axis) theorem

Section titled “The tennis-racket (intermediate-axis) theorem”

Order the principal moments I1<I2<I3I_1<I_2<I_3. Rotation is stable about the largest and smallest principal axes but unstable about the intermediate one: flip a phone or a tennis racket spun about its middle axis and it tumbles, doing a half-twist. The proof is a linearization of Euler’s equations.

Proof (intermediate-axis instability). Spin nominally about axis 2 (the intermediate axis): ω2=Ω\omega_2=\Omega large and constant, with tiny perturbations ω1,ω3\omega_1,\omega_3. Euler’s torque-free equations are

I1ω˙1=(I2−I3)ω2ω3,I2ω˙2=(I3−I1)ω3ω1,I3ω˙3=(I1−I2)ω1ω2.I_1\dot\omega_1=(I_2-I_3)\omega_2\omega_3,\quad I_2\dot\omega_2=(I_3-I_1)\omega_3\omega_1,\quad I_3\dot\omega_3=(I_1-I_2)\omega_1\omega_2.

To first order ω2≈Ω\omega_2\approx\Omega (its equation is second-order small since ω3ω1\omega_3\omega_1 is a product of small terms). The other two linearize to

ω˙1=(I2−I3)ΩI1 ω3,ω˙3=(I1−I2)ΩI3 ω1.\dot\omega_1=\frac{(I_2-I_3)\Omega}{I_1}\,\omega_3,\qquad \dot\omega_3=\frac{(I_1-I_2)\Omega}{I_3}\,\omega_1.

Differentiate the first and substitute the second:

ω¨1=(I2−I3)ΩI1 ω˙3=(I2−I3)(I1−I2)Ω2I1I3 ω1≡σ ω1.\ddot\omega_1=\frac{(I_2-I_3)\Omega}{I_1}\,\dot\omega_3 =\frac{(I_2-I_3)(I_1-I_2)\Omega^2}{I_1 I_3}\,\omega_1\equiv\sigma\,\omega_1.

With the intermediate axis, I2−I3<0I_2-I_3<0 and I1−I2<0I_1-I_2<0, so their product is positive and σ>0\sigma>0: solutions are ω1∼e±σ t\omega_1\sim e^{\pm\sqrt{\sigma}\,t}, exponential growth — the tumble. The growth rate is

σ=Ω(I2−I3)(I2−I1)I1I3.\sqrt\sigma=\Omega\sqrt{\frac{(I_2-I_3)(I_2-I_1)}{I_1 I_3}}.

For the largest axis (I3I_3, set ω3=Ω\omega_3=\Omega) or the smallest (I1I_1), the analogous coefficient is negative: σ<0\sigma<0 gives ω∼e±i∣σ∣t\omega\sim e^{\pm i\sqrt{\lvert \sigma \rvert}t}, a bounded oscillation — the perturbation merely orbits and the spin is stable. Hence stability about the extreme axes, instability about the middle one.

This same linearization is the rigorous engine behind every “self-righting” toy and the reason satellites are spin-stabilized about their axis of maximum (or minimum) inertia, never the intermediate one.

Olympiad problems often combine the translational momentum law F⃗=Mv⃗˙cm\vec F=M\dot{\vec v}_{\text{cm}} with the rotational law τ⃗cm=dL⃗cm/dt\vec\tau_{\text{cm}}=d\vec L_{\text{cm}}/dt. Keeping both books simultaneously is the whole game.

Example. A uniform ball of mass MM, radius RR, moment I=25MR2I=\tfrac25 MR^2 rests on a table. A horizontal cue strikes it with impulse JJ at a height hh above the table. Find the hh for which the ball immediately rolls without slipping, taking no impulse from friction.

The horizontal impulse sets the center-of-mass speed:

J=Mvcm  ⇒  vcm=JM.J=Mv_{\text{cm}}\;\Rightarrow\;v_{\text{cm}}=\frac{J}{M}.

The impulse acts a height h−Rh-R above the center, so its angular impulse about the center is J(h−R)J(h-R), setting the spin:

J(h−R)=Iω=25MR2 ω  ⇒  ω=5J(h−R)2MR2.J(h-R)=I\omega=\tfrac25 MR^2\,\omega\;\Rightarrow\;\omega=\frac{5J(h-R)}{2MR^2}.

Immediate rolling without any frictional correction requires vcm=ωRv_{\text{cm}}=\omega R at the instant of the strike:

JM=5J(h−R)2MR2⋅R=5J(h−R)2MR.\frac{J}{M}=\frac{5J(h-R)}{2MR^2}\cdot R=\frac{5J(h-R)}{2MR}.

Cancel J/MJ/M:

1=5(h−R)2R  ⇒  h−R=2R5  ⇒  h=75R.1=\frac{5(h-R)}{2R}\;\Rightarrow\;h-R=\frac{2R}{5}\;\Rightarrow\;h=\frac{7}{5}R.

So the cue must strike at 75R\tfrac75R above the cloth — equivalently 25R\tfrac25R above center. Hit lower and the ball slides forward (friction must then spin it up); hit higher and it overspins (“topspin,” friction slows the surplus). The special height h−R=I/(MR)=k2/Rh-R=I/(MR)=k^2/R, the radius of gyration squared over RR, is the center of percussion about the contact point: striking there delivers no jolt to the contact.

When the strike is not at the magic height, friction must reconcile spin and translation.

Example. A ball (I=25MR2I=\tfrac25 MR^2) is launched along a table with speed v0v_0 and zero spin (a “stun shot”). Kinetic friction μ\mu acts backward until rolling begins. Find the final speed, the time to roll, and the distance slid.

While sliding, the contact point moves forward, so kinetic friction f=μMgf=\mu Mg acts backward. Translation:

Mv˙=−μMg  ⇒  v(t)=v0−μg t.M\dot v=-\mu Mg\;\Rightarrow\;v(t)=v_0-\mu g\,t.

Friction also torques the ball about its center (lever arm RR), spinning it up forward:

Iω˙=fR=μMgR  ⇒  ω˙=μMgR25MR2=5μg2R,ω(t)=5μg2R t.I\dot\omega=fR=\mu MgR\;\Rightarrow\;\dot\omega=\frac{\mu MgR}{\tfrac25 MR^2}=\frac{5\mu g}{2R},\qquad \omega(t)=\frac{5\mu g}{2R}\,t.

Rolling begins when v=ωRv=\omega R:

v0−μg t=5μg2R t R=52μg t  ⇒  v0=72μg t  ⇒  t∗=2v07μg.v_0-\mu g\,t=\frac{5\mu g}{2R}\,t\,R=\frac{5}{2}\mu g\,t \;\Rightarrow\;v_0=\frac{7}{2}\mu g\,t\;\Rightarrow\;t^*=\frac{2v_0}{7\mu g}.

The final (rolling) speed:

vf=v0−μg t∗=v0−μg⋅2v07μg=57v0.v_f=v_0-\mu g\,t^*=v_0-\mu g\cdot\frac{2v_0}{7\mu g}=\frac{5}{7}v_0.

The sliding distance:

d=v0t∗−12μg t∗2=v02v07μg−12μg4v0249μ2g2=2v027μg−2v0249μg=12 v0249 μg.d=v_0 t^*-\tfrac12\mu g\,t^{*2} =v_0\frac{2v_0}{7\mu g}-\tfrac12\mu g\frac{4v_0^2}{49\mu^2g^2} =\frac{2v_0^2}{7\mu g}-\frac{2v_0^2}{49\mu g}=\frac{12\,v_0^2}{49\,\mu g}.

Switching to a moving frame is often the difference between a one-line answer and a page of algebra. Here we build the full kinematics of relative motion, because olympiad problems frequently combine translation and rotation of the observer. The strategic payoff is always the same: a clever choice of frame can turn a hard dynamics problem (find the trajectory) into an easy statics problem (find where the forces balance).

Let a frame S′S' have its origin at R⃗O(t)\vec R_O(t) relative to an inertial frame SS, with no rotation. A particle’s position, velocity, and acceleration relate by simple addition:

r⃗=R⃗O+r⃗′,v⃗=V⃗O+v⃗′,a⃗=A⃗O+a⃗′.\vec r=\vec R_O+\vec r',\qquad \vec v=\vec V_O+\vec v',\qquad \vec a=\vec A_O+\vec a' .

If S′S' accelerates (A⃗O≠0\vec A_O\ne 0), then in S′S' Newton’s law reads ma⃗′=F⃗real−mA⃗Om\vec a'=\vec F_{\text{real}}-m\vec A_O: every object feels a uniform pseudo-force −mA⃗O-m\vec A_O, exactly as if gravity had gained a component. The pseudo-force is proportional to the object’s own mass, which is precisely why it imitates gravity — the inertial mass that resists A⃗O\vec A_O is the same mass that couples to g⃗\vec g, so the two are indistinguishable to an observer inside the box. This is the seed of the equivalence principle, and at the practical level it means you can fold −A⃗O-\vec A_O straight into gravity. A pendulum in a forward-accelerating car hangs back at angle tan⁡θ=AO/g\tan\theta=A_O/g, settling along the effective gravity

g⃗eff=g⃗−A⃗O.\vec g_{\text{eff}}=\vec g-\vec A_O .

Once you have g⃗eff\vec g_{\text{eff}} you may treat the accelerating box as a stationary lab with a tilted, rescaled gravity: a fluid surface lies perpendicular to g⃗eff\vec g_{\text{eff}}, a ball rolls “downhill” along it, and oscillation periods use geff=∣g⃗−A⃗O∣g_{\text{eff}}=\lvert \vec g-\vec A_O \rvert.

The one identity that generates everything about rotating frames: for any vector A⃗\vec A, its rates of change as seen in the inertial frame and in a frame rotating at ω⃗\vec\omega differ by ω⃗×A⃗\vec\omega\times\vec A,

 (dA⃗dt)in=(dA⃗dt)rot+ω⃗×A⃗ .\ \left(\frac{d\vec A}{dt}\right)_{\text{in}}=\left(\frac{d\vec A}{dt}\right)_{\text{rot}}+\vec\omega\times\vec A\ .

Why this is the master identity: any vector can be written in the rotating basis as A⃗=Axe^x+Aye^y+Aze^z\vec A=A_x\hat e_x+A_y\hat e_y+A_z\hat e_z. Differentiating, the product rule splits into two pieces — the components A˙i\dot A_i changing (which is what the rotating observer sees, the first term), plus the basis vectors e^i\hat e_i themselves swinging around. But a unit vector rigidly attached to a body spinning at ω⃗\vec\omega obeys e^˙i=ω⃗×e^i\dot{\hat e}_i=\vec\omega\times\hat e_i, so ∑iAi e^˙i=ω⃗×A⃗\sum_i A_i\,\dot{\hat e}_i=\vec\omega\times\vec A. That is the entire content of the theorem: the first term is how the numbers change, the ω⃗×A⃗\vec\omega\times\vec A term is how the rulers turn. Since it holds for every vector, you apply it to r⃗\vec r to get velocities, then apply it again to get accelerations — and that single repeated application produces all three pseudo-forces with no extra physics.

Proof (velocity and acceleration in a rotating frame). Apply the transport theorem to r⃗\vec r:

v⃗in=v⃗rot+ω⃗×r⃗.\vec v_{\text{in}}=\vec v_{\text{rot}}+\vec\omega\times\vec r .

Differentiate again in the inertial frame. The left side becomes a⃗in\vec a_{\text{in}}. On the right, apply the transport theorem to each rotating-frame vector — v⃗rot\vec v_{\text{rot}} and r⃗\vec r — since each is naturally expressed in the rotating basis:

a⃗in=(a⃗rot+ω⃗×v⃗rot)+ω⃗˙×r⃗+ω⃗×(v⃗rot+ω⃗×r⃗).\vec a_{\text{in}}=\big(\vec a_{\text{rot}}+\vec\omega\times\vec v_{\text{rot}}\big)+\dot{\vec\omega}\times\vec r+\vec\omega\times\big(\vec v_{\text{rot}}+\vec\omega\times\vec r\big).

Collecting terms,

a⃗in=a⃗rot+2 ω⃗×v⃗rot+ω⃗×(ω⃗×r⃗)+ω⃗˙×r⃗.\vec a_{\text{in}}=\vec a_{\text{rot}}+2\,\vec\omega\times\vec v_{\text{rot}}+\vec\omega\times(\vec\omega\times\vec r)+\dot{\vec\omega}\times\vec r .

The factor of 22 on the Coriolis term is not a coincidence: one factor of ω⃗×\vec\omega\times comes from differentiating the explicit ω⃗×r⃗\vec\omega\times\vec r in the velocity, and an identical one comes from the rotation of v⃗rot\vec v_{\text{rot}}‘s basis. Solving for the acceleration measured in the rotating frame and multiplying by mm gives the pseudo-force law below.

For a frame that both translates and rotates, the full chain is

a⃗in=A⃗O+a⃗rot+2 ω⃗×v⃗rot+ω⃗×(ω⃗×r⃗)+ω⃗˙×r⃗.\vec a_{\text{in}}=\vec A_O+\vec a_{\text{rot}}+2\,\vec\omega\times\vec v_{\text{rot}}+\vec\omega\times(\vec\omega\times\vec r)+\dot{\vec\omega}\times\vec r .

Moving the kinematic terms to the force side, Newton’s law in the rotating frame becomes

ma⃗rot=F⃗real−m ω⃗×(ω⃗×r⃗)⏟centrifugal−2m ω⃗×v⃗rot⏟Coriolis−m ω⃗˙×r⃗⏟Euler−mA⃗O.m\vec a_{\text{rot}}=\vec F_{\text{real}} \underbrace{-m\,\vec\omega\times(\vec\omega\times\vec r)}_{\text{centrifugal}} \underbrace{-2m\,\vec\omega\times\vec v_{\text{rot}}}_{\text{Coriolis}} \underbrace{-m\,\dot{\vec\omega}\times\vec r}_{\text{Euler}} -m\vec A_O .
  • Centrifugal: −m ω⃗×(ω⃗×r⃗)-m\,\vec\omega\times(\vec\omega\times\vec r) points outward from the axis with magnitude mω2ρm\omega^2\rho (ρ\rho = distance to the axis). It depends only on position, so it is a conservative pseudo-force derivable from a potential Φcf=−12ω2ρ2\Phi_{\text{cf}}=-\tfrac12\omega^2\rho^2 (force per mass =−∇Φcf=+ω2ρ⃗=-\nabla\Phi_{\text{cf}}=+\omega^2\vec\rho). Because it acts like an extra potential, you can add it to the real potential energy and use energy conservation in the rotating frame. This is what flattens planets, sets a rotating fluid’s parabolic surface, and lets you treat a steadily rotating system as a statics problem under g⃗eff\vec g_{\text{eff}}.
  • Coriolis: −2m ω⃗×v⃗rot-2m\,\vec\omega\times\vec v_{\text{rot}} acts only on bodies moving in the rotating frame, always perpendicular to their velocity. Being perpendicular to v⃗rot\vec v_{\text{rot}}, it satisfies F⃗Cor⋅v⃗rot=0\vec F_{\text{Cor}}\cdot\vec v_{\text{rot}}=0, so it does no work and cannot change rotating-frame kinetic energy — it only bends paths, never speeds them up. This is why a Coriolis-only energy argument is consistent, and why you can ignore Coriolis entirely when you only care about energetics. It governs cyclones, ocean gyres, the Foucault pendulum, and the eastward deflection of falling bodies.
  • Euler: −m ω⃗˙×r⃗-m\,\dot{\vec\omega}\times\vec r appears only when the spin rate changes; usually zero for steady rotation. It is the rotational analogue of the translational −mA⃗O-m\vec A_O — the “jerk-back” you feel when a merry-go-round speeds up.

The simplification is this: for steady rotation (ω⃗˙=0\dot{\vec\omega}=0) the only velocity-dependent term is Coriolis, which does no work, so the centrifugal-augmented potential

Ueff=Ureal−12mω2ρ2U_{\text{eff}}=U_{\text{real}}-\tfrac12 m\omega^2\rho^2

controls all the energetics. Equilibria of the rotating system are exactly the stationary points of UeffU_{\text{eff}}. Whether such an equilibrium is stable is then decided by Coriolis, because it is the only force left to push back on a small displacement that has acquired a velocity — a theme that culminates in the Lagrange points below.

Example. Drop a mass from rest at height hh at latitude λ\lambda. Find the deflection of the object, assuming it’s dropped on Earth.

Choose local axes with x^\hat x east, y^\hat y north, z^\hat z up; then ω⃗=ω(0,cos⁡λ,sin⁡λ)\vec\omega=\omega(0,\cos\lambda,\sin\lambda). To leading order the body falls with v⃗≈−gt z^\vec v\approx -gt\,\hat z. The Coriolis acceleration is

−2ω⃗×v⃗=−2 ω(0,cos⁡λ,sin⁡λ)×(0,0,−gt)=−2ωgtcos⁡λ (y^×z^-component)=+2ωgtcos⁡λ x^,-2\vec\omega\times\vec v=-2\,\omega(0,\cos\lambda,\sin\lambda)\times(0,0,-gt)=-2\omega g t\cos\lambda\,(\hat y\times\hat z\text{-component})=+2\omega g t\cos\lambda\,\hat x,

i.e. magnitude 2ωgtcos⁡λ2\omega g t\cos\lambda pointing east. Integrating twice from rest,

xeast=∫0tf ⁣ ⁣∫0t2ωgt′cos⁡λ dt′ dt=13 ωgcos⁡λ tf3,tf=2hg,x_{\text{east}}=\int_0^{t_f}\!\!\int_0^{t}2\omega g t'\cos\lambda\,dt'\,dt=\tfrac13\,\omega g\cos\lambda\,t_f^3,\qquad t_f=\sqrt{\tfrac{2h}{g}},

so the deflection is

xeast=ωcos⁡λ38h3gx_{\text{east}}=\frac{\omega\cos\lambda}{3}\sqrt{\frac{8h^3}{g}}

Note it is eastward in both hemispheres (it depends on cos⁡λ\cos\lambda, which is positive everywhere).

When a problem is naturally circular — a bead in a rotating tube, a mass near a Lagrange point, a satellite viewed from a co-rotating frame — moving into the rotating frame replaces “what is the trajectory?” with “where does the effective force balance?” The following examples show the machinery in full.

Example. A frictionless tube lies in a horizontal plane and rotates about a vertical axis through one end at constant angular speed ω\omega. A bead of mass mm slides inside it. At t=0t=0 the bead is at radius r0r_0, at rest relative to the tube. Find r(t)r(t) and the normal force the tube exerts.

Work in the frame co-rotating with the tube. Let rr be the distance along the tube (the radial coordinate). Because rotation is steady, ω⃗˙=0\dot{\vec\omega}=0 and there is no Euler term. The real forces are gravity (vertical, irrelevant in the horizontal plane) and the tube’s normal force N⃗\vec N, which is perpendicular to the tube — it has no radial component. The pseudo-forces are centrifugal (radial, outward) and Coriolis (perpendicular to v⃗rot\vec v_{\text{rot}}, hence perpendicular to the tube).

Radial equation. Along the tube, only centrifugal survives:

mr¨=+mω2r⟹r¨=ω2r.m\ddot r=+m\omega^2 r\quad\Longrightarrow\quad \ddot r=\omega^2 r .

This is the outward-pushing analogue of SHM — note the ++ sign — so it has exponential, not oscillatory, solutions. The general solution is r(t)=Acosh⁡(ωt)+Bsinh⁡(ωt)r(t)=A\cosh(\omega t)+B\sinh(\omega t). Apply r(0)=r0r(0)=r_0 and r˙(0)=0\dot r(0)=0: A=r0A=r_0, B=0B=0. Thus

 r(t)=r0cosh⁡(ωt) ,r˙(t)=r0 ωsinh⁡(ωt).\,r(t)=r_0\cosh(\omega t)\,,\qquad \dot r(t)=r_0\,\omega\sinh(\omega t).

The bead flies outward exponentially; there is no stable equilibrium because the centrifugal “potential” −12mω2r2-\tfrac12 m\omega^2 r^2 is a downward parabola — any displacement runs away. This is the rotating-frame statement of the familiar fact that a bead in a spinning tube is flung out.

Normal force (the Coriolis reaction). The transverse direction is perpendicular to the tube. In that direction the bead’s rotating-frame acceleration is zero (it stays on the tube line), so the transverse forces balance:

N−2mωr˙=0⟹N=2mωr˙=2mω2r0sinh⁡(ωt).N - 2m\omega \dot r = 0 \quad\Longrightarrow\quad N = 2m\omega\dot r = 2m\omega^2 r_0\sinh(\omega t).

Here 2mωr˙2m\omega\dot r is the magnitude of the Coriolis term ∣−2m ω⃗×v⃗rot∣\lvert {-2m\,\vec\omega\times\vec v_{\text{rot}}} \rvert with v⃗rot=r˙ r^\vec v_{\text{rot}}=\dot r\,\hat r (radial), which points transversely. The tube must push sideways with exactly this force to keep the bead on the line. Cross-check in the inertial frame: the bead has angular momentum L=mr2θ˙=mr2ωL=mr^2\dot\theta=mr^2\omega about the axis, and the only torque is rNrN, so L˙=rN\dot L=rN. Compute L˙=mω ddt(r2)=mω⋅2rr˙\dot L=m\omega\,\frac{d}{dt}(r^2)=m\omega\cdot 2r\dot r, giving N=L˙/r=2mωr˙N=\dot L/r=2m\omega\dot r — identical. The Coriolis pseudo-force in the rotating frame is the inertial-frame statement that the tube must supply the torque to spin up the bead’s growing angular momentum.

Example. A turntable rotates at constant ω\omega (counterclockwise, ω⃗=ωz^\vec\omega=\omega\hat z). At t=0t=0 a frictionless puck is launched from the center with inertial-frame velocity v0 x^v_0\,\hat x. Describe its path (a) in the inertial frame and (b) in the rotating frame, and verify the rotating-frame path with the pseudo-forces.

(a) Inertial frame. Nothing touches the puck, so it moves in a straight line at constant speed: r⃗in(t)=(v0t, 0)\vec r_{\text{in}}(t)=(v_0 t,\,0). This is the whole point — the “true” motion is trivial.

(b) Rotating frame. The rotating axes have turned by angle θ=ωt\theta=\omega t, so to express the same point in rotating coordinates we rotate by −ωt-\omega t:

xrot=−xincos⁡ωt+yinsin⁡ωt=v0tcos⁡ωt,yrot=−xinsin⁡ωt+yincos⁡ωt=−v0tsin⁡ωt.\begin{aligned} x_{\text{rot}}&=\phantom{-}x_{\text{in}}\cos\omega t+y_{\text{in}}\sin\omega t=v_0 t\cos\omega t,\\ y_{\text{rot}}&=-x_{\text{in}}\sin\omega t+y_{\text{in}}\cos\omega t=-v_0 t\sin\omega t. \end{aligned}

So in the rotating frame the puck spirals: ρ(t)=xrot2+yrot2=v0t\rho(t)=\sqrt{x_{\text{rot}}^2+y_{\text{rot}}^2}=v_0 t (radius grows linearly) while the polar angle is ϕ=−ωt\phi=-\omega t (winding backward, i.e. clockwise — opposite the table’s spin). This is an Archimedean spiral ρ=− (v0/ω) ϕ\rho=-\,(v_0/\omega)\,\phi. A straight inertial path looks curved to the rotating observer; the curvature is the visible signature of the pseudo-forces.

Verify with pseudo-forces. Differentiate the rotating coordinates. With ρ=v0t\rho=v_0 t, ρ˙=v0\dot\rho=v_0, ρ¨=0\ddot\rho=0, ϕ˙=−ω\dot\phi=-\omega:

arot,ρ=ρ¨−ρϕ˙2=0−(v0t)ω2=−ω2ρ,arot,ϕ=ρϕ¨+2ρ˙ϕ˙=0+2v0(−ω)=−2ωv0.a_{\text{rot},\rho}=\ddot\rho-\rho\dot\phi^2=0-(v_0t)\omega^2=-\omega^2\rho,\qquad a_{\text{rot},\phi}=\rho\ddot\phi+2\dot\rho\dot\phi=0+2v_0(-\omega)=-2\omega v_0 .

There are no real horizontal forces (F⃗real=0\vec F_{\text{real}}=0), so the rotating-frame law ma⃗rot=F⃗cf+F⃗Corm\vec a_{\text{rot}}=\vec F_{\text{cf}}+\vec F_{\text{Cor}} must reproduce these. Centrifugal gives +ω2ρ+\omega^2\rho outward; but we found arot,ρ=−ω2ρa_{\text{rot},\rho}=-\omega^2\rho. The resolution: centrifugal is over-supplied radially, and the radial component of the velocity-dependent Coriolis term reverses the sign. Using v⃗rot=ρ˙ ρ^+ρϕ˙ ϕ^=(v0, −ωρ)\vec v_{\text{rot}}=\dot\rho\,\hat\rho+\rho\dot\phi\,\hat\phi=(v_0,\,-\omega\rho) in polar components, the Coriolis acceleration −2ω⃗×v⃗rot-2\vec\omega\times\vec v_{\text{rot}} has radial part −2ωρϕ˙=−2ω2ρ-2\omega\rho\dot\phi=-2\omega^2\rho and transverse part −2ωρ˙=−2ωv0-2\omega\dot\rho=-2\omega v_0. Adding the contributions component by component:

centrifugal+Coriolis:aρ=ω2ρ⏟cf−2ω2ρ⏟Cor, radial=−ω2ρ,aϕ=0⏟cf−2ωv0⏟Cor, transv=−2ωv0,\text{centrifugal} + \text{Coriolis}:\quad a_\rho=\underbrace{\omega^2\rho}_{\text{cf}}\underbrace{-2\omega^2\rho}_{\text{Cor, radial}}=-\omega^2\rho,\qquad a_\phi=\underbrace{0}_{\text{cf}}\underbrace{-2\omega v_0}_{\text{Cor, transv}}=-2\omega v_0,

matching the kinematics exactly. So the apparent inward bending near large ρ\rho is Coriolis overpowering centrifugal, and the transverse sweep that curls the path backward is pure Coriolis — the same force that organizes cyclones.

Example. Two large masses M1>M2M_1>M_2 orbit their common center of mass on circular orbits with separation aa and angular velocity ω\omega, where Kepler gives ω2=G(M1+M2)/a3\omega^2=G(M_1+M_2)/a^3. A test particle of negligible mass moves in their gravity. Work in the frame co-rotating at ω\omega, in which M1M_1 and M2M_2 are fixed. Find the equilibrium points and characterize their stability.

Because rotation is steady, the energetics are governed entirely by the effective potential (per unit mass) combining the two gravitational wells and the centrifugal term:

 Φeff(ρ⃗)=−GM1r1−GM2r2−12 ω2ρ2 ,\,\Phi_{\text{eff}}(\vec\rho)=-\frac{GM_1}{r_1}-\frac{GM_2}{r_2}-\tfrac12\,\omega^2\rho^2\,,

where r1,r2r_1,r_2 are distances to the two masses and ρ\rho is distance to the rotation axis through the barycenter. Equilibria (places a particle can sit at rest in the rotating frame) are stationary points ∇Φeff=0\nabla\Phi_{\text{eff}}=0, because Coriolis ∝v⃗rot\propto\vec v_{\text{rot}} vanishes for a particle momentarily at rest. There are five, the Lagrange points.

Collinear points (L1, L2, L3). On the line through the two masses, by symmetry the gradient is purely along that line; setting it to zero gives a quintic, but the geometry is clear: L1 sits between the masses, L2 beyond the smaller mass M2M_2, L3 beyond the larger mass M1M_1. For the small mass ratio μ=M2/(M1+M2)≪1\mu=M_2/(M_1+M_2)\ll1, L1 and L2 lie at distance ≈a (μ/3)1/3\approx a\,(\mu/3)^{1/3} from M2M_2 (the Hill radius), and L3 lies almost diametrically opposite M2M_2 at r1≈a (1+512μ)r_1\approx a\,(1+\tfrac{5}{12}\mu). Along the line, Φeff\Phi_{\text{eff}} has a maximum (the two wells plus the inverted centrifugal parabola all curve down outward there), so the collinear points are saddles: stable against transverse displacement but unstable along the line. They are equilibria you can park at only with active station-keeping (e.g. the JWST at Sun–Earth L2).

Equilateral points (L4, L5). Remarkably, the two points forming equilateral triangles with M1M_1 and M2M_2 (r1=r2=ar_1=r_2=a) are always equilibria, independent of the masses. Quick check: at r1=r2=ar_1=r_2=a each gravitational pull has magnitude GMi/a2GM_i/a^2 directed toward MiM_i; their vector sum points toward the barycenter with magnitude G(M1+M2)/a2⋅(ρ/a)G(M_1+M_2)/a^2\cdot(\rho/a) after geometry, which is exactly ω2ρ\omega^2\rho — balancing centrifugal. So ∇Φeff=0\nabla\Phi_{\text{eff}}=0 there.

The Coriolis paradox at L4/L5. Examining the second derivatives shows L4 and L5 are maxima of Φeff\Phi_{\text{eff}} — yet they are observed to be stable (the Trojan asteroids of Jupiter, the Sun–Jupiter L4/L5 clouds). How can a particle sit stably at a potential maximum? Because Φeff\Phi_{\text{eff}} governs only the conservative part; the moment the particle drifts and acquires velocity, Coriolis −2m ω⃗×v⃗rot-2m\,\vec\omega\times\vec v_{\text{rot}} deflects it sideways and curls its path into a small loop instead of letting it roll off the hilltop. This is the same velocity-dependent steering seen in the cyclotron motion of a charge in a magnetic field (ω⃗\vec\omega playing the role of B⃗\vec B). Linearizing about L4 gives the stability condition

M1M2 ≳ 12(25+621)≈24.96,\frac{M_1}{M_2}\ \gtrsim\ \frac{1}{2}\left(25+\sqrt{621}\right)\approx 24.96,

i.e. L4/L5 are stable whenever one body is at least ∼25\sim25 times heavier than the other — comfortably satisfied by Sun–Jupiter (∼1047\sim1047) and Earth–Moon (∼81\sim81). It is a beautiful, exam-worthy illustration of the closing theme: centrifugal sets where the equilibria are, Coriolis decides whether they hold.


The hardest part of an advanced-mechanics problem is usually choosing the right framework before any algebra. A decision tree: