Physics · Book 5 · Bachelor Year 3

University Physics — Year 3

University Physics — Year 3 · Bachelor Year 3

1Lagrangian Mechanics

Try to write Newton’s law for a double pendulum: two tension forces, neither known in advance, both changing direction at every instant, and four scalar equations to untangle just to find how two angles evolve. Now do the same for a bead on a rotating hoop, a chain of coupled springs, a robot arm. The forces that hold a system together — rods, rails, hinges — do no work, yet Newton’s method forces us to carry them through every calculation. This chapter presents the reformulation that Lagrange published in 1788: describe the system by the few coordinates that can actually change, write a single function L=EkEpL = E_k - E_p, and one recipe produces the equations of motion in any coordinates, with every rod and rail already eliminated. Better, the new formulation makes visible what Newton’s hides: each symmetry of LL yields a conserved quantity — momentum from uniformity of space, energy from uniformity of time — a result of Emmy Noether that has become the organising principle of physics far beyond mechanics.

1.1 From forces to coordinates

Definition 1.1 (Constraints, degrees of freedom, generalized coordinates)

A constraint is a geometric condition imposed on the positions of a system — a bead stays on its wire, a pendulum’s rod keeps a fixed length, two wheels of an axle turn together. A constraint expressible as an equation f(r1,,rN,t)=0f(\vect r_1, \dots, \vect r_N, t) = 0 among the coordinates (and possibly the time) is called holonomic. The number of independent ways the configuration can still vary is the number of degrees of freedom nn; any set of nn independent quantities q1,,qnq_1, \dots, q_n that fixes the configuration completely is a set of generalized coordinates — angles, lengths, or any convenient mixture. Their time derivatives q˙1,,q˙n\dot q_1, \dots, \dot q_n are the generalized velocities.

Example 1.2 (Counting degrees of freedom)

A point on a table: n=2n = 2. A plane pendulum of fixed length: one angle, n=1n = 1. A double pendulum: two angles, n=1+1=2n = 1 + 1 = 2. A bead on a rigid hoop: one angle, n=1n = 1 — even if the hoop itself is forced to rotate, since the imposed rotation adds no freedom. A rigid body free in space: three coordinates of its centre plus three angles, n=6n = 6. A gas of NN free molecules (points): n=3Nn = 3N. Each holonomic constraint removes one degree of freedom: two points joined by a rod have 3+31=53 + 3 - 1 = 5.

Generalized coordinates: each system is described by the angles that can actually change, not by the Cartesian coordinates of its masses. The rod tensions and the hoop’s normal force never appear.
Generalized coordinates: each system is described by the angles that can actually change, not by the Cartesian coordinates of its masses. The rod tensions and the hoop’s normal force never appear.

1.2 The principle of least action

Definition 1.3 (Lagrangian and action)

The Lagrangian of a mechanical system whose forces derive from a potential energy EpE_p is the function of the coordinates, the velocities, and possibly the time

L(q,q˙,t)=EkEp,L(q, \dot q, t) = E_k - E_p ,

kinetic minus potential energy, both expressed in the generalized coordinates. The action of a conceivable motion q(t)q(t) between fixed endpoints q(t1)q(t_1) and q(t2)q(t_2) is the number

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

SS is a functional: it eats a whole path and returns one number, in joule-seconds — the units of Planck’s constant.

Theorem 1.4 (Hamilton’s principle and the Euler–Lagrange equations)

Among all conceivable motions joining the same two endpoints in the same time, the actual motion is the one that makes the action stationary (Hamilton’s principle, or the principle of least action). Equivalently, the motion obeys the Euler–Lagrange equations

 ⁣d ⁣dtLq˙iLqi=0,i=1,,n:\frac{\dd}{\dd t}\frac{\partial L}{\partial\dot q_i} - \frac{\partial L}{\partial q_i} = 0 , \qquad i = 1, \dots, n :

one second-order equation per degree of freedom, in whatever coordinates were chosen.

Proof. Deform the path: qi(t)qi(t)+δqi(t)q_i(t) \to q_i(t) + \delta q_i(t) with δqi(t1)=δqi(t2)=0\delta q_i(t_1) = \delta q_i(t_2) = 0. To first order,

δS=t1t2i(Lqiδqi+Lq˙iδq˙i) ⁣dt=t1t2i(Lqi ⁣d ⁣dtLq˙i)δqi ⁣dt,\delta S = \int_{t_1}^{t_2}\sum_i\Big( \frac{\partial L}{\partial q_i}\,\delta q_i + \frac{\partial L}{\partial\dot q_i}\,\delta\dot q_i\Big)\dd t = \int_{t_1}^{t_2}\sum_i\Big( \frac{\partial L}{\partial q_i} - \frac{\dd}{\dd t}\frac{\partial L}{\partial\dot q_i}\Big)\delta q_i\,\dd t ,

after integrating the second term by parts (δq˙i= ⁣d(δqi)/ ⁣dt\delta\dot q_i = \dd(\delta q_i)/\dd t) and dropping the boundary term, which vanishes at the fixed endpoints. If δS=0\delta S = 0 for every deformation, the bracket must vanish at every instant and for each ii — were it positive somewhere, a bump δqi\delta q_i concentrated there would give δS0\delta S \neq 0. The converse is read off the same line.

Hamilton’s principle: among all paths with the same endpoints and duration, the actual one makes S = ∈t L\, t stationary — first-order deformations q change S only at second order.
Hamilton’s principle: among all paths with the same endpoints and duration, the actual one makes S=L ⁣dtS = \int L\,\dd t stationary — first-order deformations δq\delta q change SS only at second order.

Proposition 1.5 (Newton recovered)

For a particle in Cartesian coordinates, L=12m(x˙2+y˙2+z˙2)Ep(x,y,z)L = \tfrac12 m(\dot x^2 + \dot y^2 + \dot z^2) - E_p(x,y,z), and the Euler–Lagrange equations read mx¨=Ep/xm\ddot x = -\partial E_p/\partial x and likewise for yy, zz: exactly ma=Fm\vect a = \vect F. Lagrangian and Newtonian mechanics agree wherever both apply; the new form simply survives a change of coordinates, which Newton’s component equations do not.

Proof. L/x˙=mx˙\partial L/\partial\dot x = m\dot x, L/x=Ep/x\partial L/\partial x = -\partial E_p/\partial x; the Euler–Lagrange equation is  ⁣d(mx˙)/ ⁣dt+Ep/x=0\dd(m\dot x)/\dd t + \partial E_p/\partial x = 0.

Remark 1.6 (Why the constraint forces disappear)

The tension of a rod, the normal force of a rail, act perpendicularly to every displacement the constraint allows: they do no work in any motion compatible with the constraint. Since the action is built from energies evaluated only on such motions, these forces never enter LL — that is the practical miracle of the method. The general justification (d’Alembert’s principle of virtual work) is admitted here; for every system of this book the recipe below can be checked directly against Newton, as Proposition 1.5 began to do. If a constraint force is itself wanted — will the rod snap? — one returns to Newton for that force alone, with the motion already known.

Method 1.7 (The Lagrangian recipe)

(1) Count the degrees of freedom and choose coordinates qiq_i — angles for rotations, abscissas along rails. (2) Express the positions r(qi,t)\vect r(q_i, t), differentiate to get the velocities, and write EkE_k; write EpE_p. (3) L=EkEpL = E_k - E_p, dropping any additive constant. (4) One Euler–Lagrange equation per coordinate. (5) Before solving, harvest the conserved quantities: cyclic coordinates (Definition 1.10) and the energy function (Proposition 1.14). (6) Check limits: small angles, switched-off rotation, known special cases.

Example 1.8 (The pendulum, in three lines)

One coordinate θ\theta; v=θ˙eθ\vect v = \ell\dot\theta\,\vect e_\theta, so Ek=12m2θ˙2E_k = \tfrac12 m\ell^2\dot\theta^2 and Ep=mgcosθE_p = -mg\ell\cos\theta. Then L=12m2θ˙2+mgcosθL = \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta, and  ⁣d(m2θ˙)/ ⁣dt=mgsinθ\dd(m\ell^2\dot\theta)/\dd t = -mg\ell\sin\theta:

θ¨=gsinθ,\ddot\theta = -\frac{g}{\ell}\sin\theta ,

the equation the Year 1 volume obtained from the torque of the weight — with the tension never mentioned.

Example 1.9 (Bead on a rotating hoop)

A bead of mass mm slides on a vertical circular hoop of radius RR forced to spin about its vertical diameter at constant ω\omega (Example 1.2). One coordinate, the polar angle θ\theta from the bottom. The bead’s velocity has a component Rθ˙R\dot\theta along the hoop and ωRsinθ\omega R\sin\theta due to the imposed rotation, perpendicular to it:

L=12mR2θ˙2+12mω2R2sin2θ+mgRcosθ,mR2θ¨=mω2R2sinθcosθmgRsinθ.L = \tfrac12 mR^2\dot\theta^2 + \tfrac12 m\omega^2R^2\sin^2\theta + mgR\cos\theta , \qquad mR^2\ddot\theta = m\omega^2R^2\sin\theta\cos\theta - mgR\sin\theta .

Equilibria where θ¨=0\ddot\theta = 0: the bottom θ=0\theta = 0 (and the top, always unstable), and, when ω2>g/R\omega^2 > g/R, a new pair cosθeq=g/ω2R\cos\theta_{\text{eq}} = g/\omega^2R. Writing the equation as mR2θ¨= ⁣dUeff/ ⁣dθmR^2\ddot\theta = -\dd U_{\text{eff}}/\dd\theta with the effective potential energy

Ueff(θ)=mgRcosθ12mω2R2sin2θU_{\text{eff}}(\theta) = -mgR\cos\theta - \tfrac12 m\omega^2R^2\sin^2\theta

makes the geometry visible: below the critical rate ωc=g/R\omega_{\text{c}} = \sqrt{g/R} the bottom is a well; above it, the bottom becomes a summit and the bead settles on the slope, climbing higher as the hoop spins faster — the principle of the centrifugal governor that regulated steam engines.

The effective potential of the bead on the rotating hoop. As  crosses √g/R the single well at the bottom splits into two symmetric wells: the equilibrium angle rises with the spin rate.
The effective potential of the bead on the rotating hoop. As ω\omega crosses g/R\sqrt{g/R} the single well at the bottom splits into two symmetric wells: the equilibrium angle rises with the spin rate.

1.3 Symmetries and conservation laws

Definition 1.10 (Generalized momentum, cyclic coordinate)

The generalized momentum conjugate to the coordinate qiq_i is

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

For a Cartesian coordinate it is the ordinary momentum mx˙m\dot x; for an angle it is an angular momentum. A coordinate that does not appear in LL (though its velocity does) is called cyclic.

Proposition 1.11 (Cyclic coordinates give conservation laws)

If qiq_i is cyclic, its conjugate momentum is conserved: L/qi=0\partial L/\partial q_i = 0 implies  ⁣dpi/ ⁣dt=0\dd p_i/\dd t = 0. Choosing coordinates so that as many as possible are cyclic is the single most effective step in solving a mechanics problem.

Proof. Immediate from the Euler–Lagrange equation for qiq_i.

Example 1.12 (Central force, solved by inspection)

A particle in a central potential Ep(r)E_p(r), in polar coordinates in its plane of motion:

L=12m(r˙2+r2φ˙2)Ep(r).L = \tfrac12 m(\dot r^2 + r^2\dot\varphi^2) - E_p(r) .

φ\varphi is cyclic, so pφ=mr2φ˙p_\varphi = mr^2\dot\varphi — the angular momentum — is conserved: Kepler’s law of areas, which the Year 1 volume derived from the torque equation, here falls out before any equation is solved. The remaining radial equation is mr¨=mrφ˙2Ep(r)m\ddot r = mr\dot\varphi^2 - E_p'(r), i.e. the one-dimensional motion in the effective potential Ep(r)+pφ2/2mr2E_p(r) + p_\varphi^2/2mr^2 of that volume.

Theorem 1.13 (Noether’s theorem)

To every continuous symmetry of the Lagrangian corresponds a conserved quantity. Precisely: if the shift qiqi+εKi(q)q_i \to q_i + \varepsilon\,K_i(q) leaves LL unchanged to first order in ε\varepsilon for all motions, then

Q=ipiKi(q)Q = \sum_i p_i\,K_i(q)

is constant along every actual motion. Uniformity of space (invariance under translation) yields momentum; isotropy of space (invariance under rotation) yields angular momentum; uniformity of time yields the energy (Proposition 1.14).

Proof. Invariance to first order means 0=δL=i(qiLKi+q˙iLK˙i)ε0 = \delta L = \sum_i\big(\partial_{q_i}L\,K_i + \partial_{\dot q_i}L\,\dot K_i\big)\varepsilon. On an actual motion, qiL=p˙i\partial_{q_i}L = \dot p_i by Euler–Lagrange, so the bracket is i(p˙iKi+piK˙i)= ⁣dQ/ ⁣dt\sum_i(\dot p_iK_i + p_i\dot K_i) = \dd Q/\dd t. A cyclic coordinate is the special case Ki=δijK_i = \delta_{ij}. The time-shift case needs the separate computation of Proposition 1.14; the full theorem, for transformations that also change tt or alter LL by a total derivative, is proved in courses on analytical mechanics and admitted here in that generality.

Proposition 1.14 (The energy function)

Along any motion, the energy function

h=iq˙iLq˙iLobeys ⁣dh ⁣dt=Lt.h = \sum_i \dot q_i\,\frac{\partial L}{\partial\dot q_i} - L \qquad\text{obeys}\qquad \frac{\dd h}{\dd t} = -\frac{\partial L}{\partial t} .

If LL does not depend explicitly on time, hh is conserved. If moreover the relations r(q)\vect r(q) between positions and coordinates do not involve time — no imposed rotation, no moving support — then EkE_k is a quadratic form in the q˙i\dot q_i and h=Ek+Eph = E_k + E_p: the mechanical energy. With a time-dependent constraint, hh is still conserved when L/t=0\partial L/\partial t = 0, but it is not the energy: the motor enforcing the constraint exchanges work with the system.

Proof.  ⁣dh/ ⁣dt=i(q¨ipi+q˙ip˙i)i(qiLq˙i+q˙iLq¨i)tL\dd h/\dd t = \sum_i(\ddot q_ip_i + \dot q_i\dot p_i) - \sum_i(\partial_{q_i}L\,\dot q_i + \partial_{\dot q_i}L\,\ddot q_i) - \partial_tL. The q¨i\ddot q_i terms cancel; the Euler–Lagrange equations turn p˙i\dot p_i into qiL\partial_{q_i}L, cancelling the next pair; tL-\partial_tL remains. If Ek=12ajk(q)q˙jq˙kE_k = \tfrac12\sum a_{jk}(q)\dot q_j\dot q_k, Euler’s identity for quadratic forms gives q˙iEk/q˙i=2Ek\sum\dot q_i\,\partial E_k/\partial\dot q_i = 2E_k, so h=2Ek(EkEp)=Ek+Eph = 2E_k - (E_k - E_p) = E_k + E_p.

Example 1.15 (The spinning hoop keeps hh, not EE)

For the bead of Example 1.9, LL has no explicit tt, so h=12mR2θ˙2+Ueff(θ)h = \tfrac12 mR^2\dot\theta^2 + U_{\text{eff}} (\theta) is conserved — but the mechanical energy E=12mR2θ˙2+12mω2R2sin2θmgRcosθE = \tfrac12 mR^2\dot\theta^2 + \tfrac12 m\omega^2R^2\sin^2\theta - mgR\cos\theta is not: E=h+mω2R2sin2θE = h + m\omega^2R^2\sin^2\theta varies as the bead slides. The difference is the work of the motor that keeps ω\omega constant while the bead’s distance from the axis changes.

1.4 Charged particles and small oscillations

Proposition 1.16 (Lagrangian of a charged particle)

In an electromagnetic field described by the potentials VV and A\vect A (with E=VtA\vect E = -\vect\nabla V - \partial_t\vect A and B=curlA\vect B = \operatorname{\vect{curl}}\vect A, as in the Year 2 volume), the Lagrangian

L=12mv2qV+qvAL = \tfrac12 m\vect v^{\,2} - qV + q\,\vect v\cdot\vect A

yields, through the Euler–Lagrange equations, exactly the Lorentz force mv˙=q(E+vB)m\dot{\vect v} = q(\vect E + \vect v\wedge\vect B). The magnetic force, which does no work and derives from no ordinary potential energy, enters through a term linear in the velocity; the conjugate momentum becomes p=mv+qA\vect p = m\vect v + q\vect A, no longer mvm\vect v alone.

Proof. For the xx component: px=mx˙+qAxp_x = m\dot x + qA_x, and xL=qxV+qvxA\partial_xL = -q\,\partial_xV + q\,\vect v\cdot\partial_x\vect A. The Euler–Lagrange equation gives mx¨=qxVq ⁣dAx/ ⁣dt+qvxAm\ddot x = -q\,\partial_xV - q\,\dd A_x/\dd t + q\,\vect v\cdot\partial_x\vect A. Along the motion  ⁣dAx/ ⁣dt=tAx+(v)Ax\dd A_x/\dd t = \partial_tA_x + (\vect v\cdot\vect\nabla)A_x, so mx¨=qEx+q[vxA(v)Ax]m\ddot x = qE_x + q\big[\vect v\cdot\partial_x\vect A - (\vect v\cdot \vect\nabla)A_x\big], and the bracket is the xx component of v(A)=vB\vect v\wedge(\vect\nabla\wedge\vect A) = \vect v\wedge\vect B — expand both to check.

Proposition 1.17 (Small oscillations and normal modes)

Near a stable equilibrium qeqq^{\text{eq}}, expand LL to second order in the displacements ui=qiqiequ_i = q_i - q_i^{\text{eq}}: L12miju˙iu˙j12kijuiujL \approx \tfrac12\sum m_{ij}\dot u_i\dot u_j - \tfrac12\sum k_{ij}u_iu_j with constant symmetric matrices. The equations of motion are linear, and every motion is a superposition of normal modes: collective oscillations ui(t)=aicos(Ωt+ϕ)u_i(t) = a_i\cos(\Omega t + \phi) in which all coordinates vibrate at one common frequency, the amplitudes and frequencies solving j(kijΩ2mij)aj=0\sum_j(k_{ij} - \Omega^2m_{ij})\,a_j = 0 — a matrix eigenvalue problem, with nn modes for nn degrees of freedom.

Proof. Linear terms vanish at an equilibrium; the Euler–Lagrange equations of the quadratic LL read jmiju¨j=jkijuj\sum_jm_{ij}\ddot u_j = -\sum_jk_{ij}u_j. Inserting the trial oscillation gives the stated linear system, which has a nonzero amplitude vector only when det(kijΩ2mij)=0\det(k_{ij} - \Omega^2m_{ij}) = 0: nn values of Ω2\Omega^2, all positive at a stable equilibrium. That the general motion is a superposition of the modes is the diagonalisation of a pair of quadratic forms, a result of the linear algebra of the Year 2 mathematics volume; completeness is admitted.

Example 1.18 (Two pendulums coupled by a spring)

Two equal pendulums (mass mm, length \ell), their bobs joined by a spring of stiffness kk relaxed when both hang straight. For small angles,

L=12m2(θ˙12+θ˙22)12mg(θ12+θ22)12k2(θ2θ1)2.L = \tfrac12 m\ell^2(\dot\theta_1^2 + \dot\theta_2^2) - \tfrac12 mg\ell(\theta_1^2 + \theta_2^2) - \tfrac12 k\ell^2(\theta_2 - \theta_1)^2 .

Symmetry suggests the combinations s=θ1+θ2s = \theta_1 + \theta_2 and d=θ1θ2d = \theta_1 - \theta_2, which decouple the equations: the in-phase mode (θ1=θ2\theta_1 = \theta_2, spring inert) at Ω1=g/\Omega_1 = \sqrt{g/\ell}, and the opposed mode (θ1=θ2\theta_1 = -\theta_2, spring stretched twice) at Ω2=g/+2k/m\Omega_2 = \sqrt{g/\ell + 2k/m}. Start one pendulum alone — an equal mixture of the two modes — and the energy migrates entirely from one pendulum to the other and back at the beat frequency (Ω2Ω1)/2π(\Omega_2 - \Omega_1)/2\pi: the coupled-pendulum demonstration, and the mechanism behind every resonant energy transfer from tuned circuits to molecular vibrations.

The two normal modes of the coupled pendulums. In phase, the spring never stretches and the frequency is the free pendulum’s; opposed, each bob feels the spring doubled.
The two normal modes of the coupled pendulums. In phase, the spring never stretches and the frequency is the free pendulum’s; opposed, each bob feels the spring doubled.
A double pendulum traced by a long exposure: two coordinates, one Lagrangian, and a motion no formula predicts for long — the least-action machinery of this chapter writes the equations; chaos keeps their solutions humble.
A double pendulum traced by a long exposure: two coordinates, one Lagrangian, and a motion no formula predicts for long — the least-action machinery of this chapter writes the equations; chaos keeps their solutions humble.

1.5 Exercises

Exercise 1.1

Count the degrees of freedom and propose generalized coordinates: (a) a particle on the inside of a fixed bowl; (b) a cylinder rolling without slipping down a fixed incline; (c) a double pendulum whose upper pivot slides on a horizontal rail; (d) a dumbbell (two masses, rigid rod) in space; (e) two beads on the same fixed circular wire. Which constraint in this list relates velocities rather than positions, and why is it nevertheless integrable to a holonomic one?

Solution

Solution of Exercise 1.1.

(a) 2 (two angles on the bowl’s surface). (b) 1: the abscissa xx along the slope, the rotation angle being tied to it by rolling, x=Rϕx = R\phi. (c) 3: XX, θ1\theta_1, θ2\theta_2. (d) 5: three for the centre, two for the rod’s direction. (e) 2: one angle each. The rolling condition is a relation between velocities, x˙=Rϕ˙\dot x = R\dot\phi; in this plane problem it integrates at once to x=Rϕ+constx = R\phi + \text{const}, hence holonomic. (For a ball rolling on a plane it does not integrate, and Lagrangian mechanics needs an extension.)

Exercise 1.2

For the plane pendulum (Example 1.8): (a) verify the dimensions of LL and of pθ=L/θ˙p_\theta = \partial L/\partial\dot\theta; (b) identify pθp_\theta physically; (c) derive the small-angle period; (d) compute the action SS of one full small oscillation of amplitude θ0\theta_0 — and explain the answer before computing (what is the time average of EkEpE_k - E_p for a harmonic oscillation?).

Solution

Solution of Exercise 1.2.

(a) [L]=J[L] = \mathrm{J}; [pθ]=kgm2/s[p_\theta] = \mathrm{kg}\,\mathrm{m}^{2}/\mathrm{s} — an angular momentum, since θ\theta is dimensionless. (b) pθ=m2θ˙p_\theta = m\ell^2\dot\theta is the angular momentum of the bob about the pivot. (c) θ¨=(g/)θ\ddot\theta = -(g/\ell)\theta gives T=2π/gT = 2\pi\sqrt{\ell/g}. (d) With EpE_p measured from the equilibrium, a harmonic oscillation has equal time-averaged kinetic and potential energies, so L=0\langle L\rangle = 0 and S=0S = 0 over a whole period — the computation confirms it: S=0T12m2θ02[ω2sin2ωt(g/)cos2ωt] ⁣dt=0S = \int_0^T\tfrac12 m\ell^2\theta_0^2[\omega^2\sin^2 \omega t - (g/\ell)\cos^2\omega t]\,\dd t = 0 since ω2=g/\omega^2 = g/\ell.

Exercise 1.3

An Atwood machine: masses m1m_1 and m2m_2 hang from an ideal string over a massless pulley. (a) Choose one coordinate and write LL. (b) Find the acceleration. (c) Newton’s treatment needed the tension — where did it go? (d) How would you recover the tension once the motion is known?

Solution

Solution of Exercise 1.3.

(a) Let xx be the descent of m1m_1 (so m2m_2 rises by xx): L=12(m1+m2)x˙2+(m1m2)gxL = \tfrac12(m_1 + m_2)\dot x^2 + (m_1 - m_2)gx. (b) (m1+m2)x¨=(m1m2)g(m_1 + m_2)\ddot x = (m_1 - m_2)g: a=(m1m2)g/(m1+m2)a = (m_1 - m_2)g/(m_1 + m_2). (c) The tension acts at both ends of an inextensible string: in any allowed displacement its works cancel, so it never enters LL. (d) Newton on m1m_1 alone: T=m1(ga)=2m1m2g/(m1+m2)T = m_1(g - a) = 2m_1m_2g/(m_1 + m_2).

Exercise 1.4

A free particle in cylindrical coordinates: L=12m(r˙2+r2φ˙2+z˙2)L = \tfrac12 m(\dot r^2 + r^2\dot\varphi^2 + \dot z^2). (a) Which coordinates are cyclic, and what are the conserved momenta? (b) Why is prp_r not conserved even though no force acts? (c) Write the Euler–Lagrange equation for rr and interpret the term mrφ˙2mr\dot\varphi^2. (d) Check that a straight line traversed at constant speed solves it.

Solution

Solution of Exercise 1.4.

(a) φ\varphi and zz: pφ=mr2φ˙p_\varphi = mr^2\dot\varphi (angular momentum about the axis) and pz=mz˙p_z = m\dot z are conserved. (b) rr appears in LL through r2φ˙2r^2\dot\varphi^2, so it is not cyclic: p˙r=mrφ˙20\dot p_r = mr\dot\varphi^2 \neq 0. Nothing is wrong — pr=mr˙p_r = m\dot r is the radial component of a constant vector p\vect p, and a component along a turning direction need not be constant. (c) mr¨=mrφ˙2m\ddot r = mr\dot\varphi^2: the centrifugal term, the price of using coordinates attached to directions that rotate. (d) For a line at distance bb passed at speed vv: r=b2+v2t2r = \sqrt{b^2 + v^2t^2}, r2φ˙=bvr^2\dot\varphi = bv; then r¨=b2v2/r3=r(bv/r2)2=rφ˙2\ddot r = b^2v^2/r^3 = r(bv/r^2)^2 = r\dot\varphi^2.

Exercise 1.5 ★★

A block of mass mm slides on the frictionless face (angle α\alpha) of a wedge of mass MM, itself free to slide on a frictionless floor. (a) Choose two coordinates: the wedge’s abscissa XX and the block’s distance ss down the face; write LL. (b) Which coordinate is cyclic, and what conservation law does it express? (c) Find the two accelerations. (d) Check the limits MM \to \infty and α90\alpha \to 90^\circ.

Solution

Solution of Exercise 1.5.

(a) Block position (X+scosα, ssinα)(X + s\cos\alpha,\ -s\sin\alpha), so

L=12MX˙2+12m(X˙2+2X˙s˙cosα+s˙2)+mgssinα.L = \tfrac12 M\dot X^2 + \tfrac12 m\big(\dot X^2 + 2\dot X\dot s\cos\alpha + \dot s^2\big) + mgs\sin\alpha .

(b) XX is cyclic: P=(M+m)X˙+ms˙cosαP = (M + m)\dot X + m\dot s\cos\alpha is conserved — the total horizontal momentum, since no external horizontal force acts. (c) The ss equation is s¨+X¨cosα=gsinα\ddot s + \ddot X\cos\alpha = g\sin\alpha; with X¨=ms¨cosα/(M+m)\ddot X = -m\ddot s\cos\alpha/(M + m) from (b),

s¨=(M+m)gsinαM+msin2α,X¨=mgsinαcosαM+msin2α.\ddot s = \frac{(M + m)g\sin\alpha}{M + m\sin^2\alpha} , \qquad \ddot X = -\frac{mg\sin\alpha\cos\alpha}{M + m\sin^2\alpha} .

(d) MM \to \infty: s¨gsinα\ddot s \to g\sin\alpha, the fixed incline; α90\alpha \to 90^\circ: s¨g\ddot s \to g, X¨0\ddot X \to 0 — free fall along a vertical face, the wedge unpushed.

Exercise 1.6 ★★

The spherical pendulum: a bob on a rod of length \ell, free in both angles (θ\theta from the downward vertical, φ\varphi around it). (a) Write LL. (b) Identify the cyclic coordinate and the conserved pφp_\varphi. (c) Reduce the motion of θ\theta to an effective potential and sketch it. (d) For the conical motion θ=θ0\theta = \theta_0, recover the conical-pendulum relation cosθ0=g/ω2\cos\theta_0 = g/\ell\omega^2 of the Year 1 volume.

Solution

Solution of Exercise 1.6.

(a) L=12m2(θ˙2+sin2θφ˙2)+mgcosθL = \tfrac12 m\ell^2(\dot\theta^2 + \sin^2\theta\,\dot\varphi^2) + mg\ell\cos\theta. (b) φ\varphi cyclic: pφ=m2sin2θφ˙p_\varphi = m\ell^2\sin^2\theta\,\dot\varphi, the vertical angular momentum. (c) Eliminating φ˙\dot\varphi, 12m2θ˙2+Ueff(θ)\tfrac12 m\ell^2\dot\theta^2 + U_{\text{eff}}(\theta) is conserved with

Ueff(θ)=pφ22m2sin2θmgcosθ:U_{\text{eff}}(\theta) = \frac{p_\varphi^2}{2m\ell^2\sin^2\theta} - mg\ell\cos\theta :

a wall at θ=0\theta = 0 and θ=π\theta = \pi (for pφ0p_\varphi \neq 0) with one minimum between — the bob nutates between two circles. (d) At the minimum, θ˙=0\dot\theta = 0 with θ=θ0\theta = \theta_0 constant: pφ2cosθ0/m2sin3θ0=mgsinθ0p_\varphi^2\cos\theta_0/m\ell^2\sin^3\theta_0 = mg\ell\sin\theta_0; inserting pφ=m2sin2θ0ωp_\varphi = m\ell^2\sin^2\theta_0\,\omega gives ω2cosθ0=g\ell\omega^2\cos\theta_0 = g.

Exercise 1.7 ★★

A pendulum (mass mm, length \ell) hangs from a cart of mass MM free to roll on a horizontal rail. (a) With coordinates XX (cart) and θ\theta, write LL. (b) What is conserved, and why physically? (c) Linearise for small θ\theta and show that the oscillation frequency is Ω=(1+m/M)g/\Omega = \sqrt{(1 + m/M)\,g/\ell}. (d) Explain the limits MM \to \infty and M0M \to 0 — why does a light cart raise the frequency?

Solution

Solution of Exercise 1.7.

(a) Bob at (X+sinθ, cosθ)(X + \ell\sin\theta,\ -\ell\cos\theta):

L=12(M+m)X˙2+mcosθX˙θ˙+12m2θ˙2+mgcosθ.L = \tfrac12(M + m)\dot X^2 + m\ell\cos\theta\,\dot X\dot\theta + \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta .

(b) XX cyclic: (M+m)X˙+mcosθθ˙(M + m)\dot X + m\ell\cos\theta\,\dot\theta is conserved — the horizontal momentum of the whole system (the rail pushes only vertically). (c) Small angles: (M+m)X¨+mθ¨=0(M + m)\ddot X + m\ell\ddot\theta = 0 and θ¨+X¨+gθ=0\ell\ddot\theta + \ddot X + g\theta = 0; eliminating X¨\ddot X, θ¨[1m/(M+m)]=gθ\ell\ddot\theta\,[1 - m/(M + m)] = -g\theta, so Ω2=(M+m)g/M=(1+m/M)g/\Omega^2 = (M + m)g/M\ell = (1 + m/M)\,g/\ell. (d) MM \to \infty: the fixed pivot, Ω2=g/\Omega^2 = g/\ell. Small MM: the cart recoils opposite to the bob, the pivot-to-bob swing happens about a point between them (the fixed centre of mass), shortening the effective pendulum — hence the higher frequency, diverging as M0M \to 0.

Exercise 1.8 ★★

A particle of charge qq in a uniform field B=Bez\vect B = B\vect e_z, described by A=12Br\vect A = \tfrac12\vect B\wedge\vect r. (a) Write LL in Cartesian coordinates. (b) Derive the equations of motion and check they describe the cyclotron circle at ωc=qB/m\omega_{\text{c}} = qB/m. (c) Compute the conjugate momenta pxp_x, pyp_y: are they mx˙m\dot x, my˙m\dot y? Are they conserved? (d) Show that LL written in cylindrical coordinates has φ\varphi cyclic, and identify the conserved pφp_\varphi for a circle centred on the axis.

Solution

Solution of Exercise 1.8.

(a) A=12B(y,x,0)\vect A = \tfrac12 B(-y, x, 0): L=12m(x˙2+y˙2+z˙2)+12qB(xy˙yx˙)L = \tfrac12 m(\dot x^2 + \dot y^2 + \dot z^2) + \tfrac12 qB(x\dot y - y\dot x). (b) The xx equation:  ⁣d(mx˙12qBy)/ ⁣dt=12qBy˙\dd(m\dot x - \tfrac12 qBy)/\dd t = \tfrac12 qB\dot y, i.e. mx¨=qBy˙m\ddot x = qB\dot y; likewise my¨=qBx˙m\ddot y = -qB\dot x: circular motion at ωc=qB/m\omega_{\text{c}} = qB/m, z˙\dot z constant. (c) px=mx˙12qBymx˙p_x = m\dot x - \tfrac12 qBy \neq m\dot x; neither xx nor yy is cyclic (L/x=12qBy˙\partial L/\partial x = \tfrac12 qB\dot y), so neither momentum is conserved — only combinations like mx˙qBym\dot x - qBy are (check: its derivative vanishes). (d) In cylindrical coordinates Aφ=12BrA_\varphi = \tfrac12 Br: L=12m(r˙2+r2φ˙2+z˙2)+12qBr2φ˙L = \tfrac12 m(\dot r^2 + r^2\dot\varphi^2 + \dot z^2) + \tfrac12 qBr^2\dot\varphi; φ\varphi is cyclic, pφ=mr2φ˙+12qBr2p_\varphi = mr^2\dot\varphi + \tfrac12 qBr^2. On a circle of radius RR centred on the axis, φ˙=ωc\dot\varphi = -\omega_{\text{c}}, so pφ=qBR2+12qBR2=12qBR2p_\varphi = -qBR^2 + \tfrac12 qBR^2 = -\tfrac12 qBR^2.

Exercise 1.9 ★★

For the bead on the rotating hoop (Example 1.9): (a) compute the energy function hh and verify it is conserved by the equation of motion; (b) compute the mechanical energy EE and show Eh=mω2R2sin2θE - h = m\omega^2R^2\sin^2\theta; (c) find the power delivered by the motor as a function of θ\theta and θ˙\dot\theta; (d) find the frequency of small oscillations about the tilted equilibrium when ω2>g/R\omega^2 > g/R, and show it vanishes as ω2g/R\omega^2 \to g/R — the slowing down that announces the split of the well.

Solution

Solution of Exercise 1.9.

(a) h=θ˙L/θ˙L=12mR2θ˙212mω2R2sin2θmgRcosθ=12mR2θ˙2+Ueffh = \dot\theta\,\partial L/\partial\dot\theta - L = \tfrac12 mR^2\dot\theta^2 - \tfrac12 m\omega^2R^2\sin^2\theta - mgR\cos\theta = \tfrac12 mR^2\dot\theta^2 + U_{\text{eff}};  ⁣dh/ ⁣dt=θ˙[mR2θ¨+Ueff(θ)]=0\dd h/\dd t = \dot\theta\,[mR^2\ddot\theta + U_{\text{eff}}'(\theta)] = 0 by the equation of motion. (b) E=12mR2θ˙2+12mω2R2sin2θmgRcosθ=h+mω2R2sin2θE = \tfrac12 mR^2\dot\theta^2 + \tfrac12 m\omega^2R^2\sin^2\theta - mgR\cos\theta = h + m\omega^2R^2\sin^2\theta. (c) P= ⁣dE/ ⁣dt=mω2R2sin2θθ˙P = \dd E/\dd t = m\omega^2R^2\sin2\theta\,\dot\theta: positive while the bead climbs away from the axis (the motor works against the bead’s inertia), negative on the way back. (d) Ueff=mgRcosθmω2R2cos2θU_{\text{eff}}'' = mgR\cos\theta - m\omega^2R^2\cos2\theta; at cosθeq=g/ω2R\cos\theta_{\text{eq}} = g/\omega^2R this is mω2R2sin2θeqm\omega^2R^2\sin^2\theta_{\text{eq}}, so ωosc=ωsinθeq=ω1(g/ω2R)20\omega_{\text{osc}} = \omega\sin\theta_{\text{eq}} = \omega\sqrt{1 - (g/\omega^2R)^2} \to 0 as ω2g/R\omega^2 \to g/R: the restoring force flattens exactly when the wells merge.

Exercise 1.10 ★★★

The equal double pendulum (m1=m2=mm_1 = m_2 = m, 1=2=\ell_1 = \ell_2 = \ell). (a) Show that for small angles L=12m2(2θ˙12+2θ˙1θ˙2+θ˙22)12mg(2θ12+θ22)L = \tfrac12 m\ell^2(2\dot\theta_1^2 + 2\dot\theta_1\dot\theta_2 + \dot\theta_2^2) - \tfrac12 mg\ell(2 \theta_1^2 + \theta_2^2). (b) Write the two equations of motion. (c) Find the normal frequencies Ω±2=(22)g/\Omega_\pm^2 = (2 \mp \sqrt2)\,g/\ell and the shape of each mode (θ2=±2θ1\theta_2 = \pm\sqrt2\,\theta_1). (d) At large amplitude this system is a standard example of chaos: explain in a few lines what breaks the small-angle analysis, and why no conservation law is lost.

Solution

Solution of Exercise 1.10.

(a) Positions x2=(sinθ1+sinθ2)x_2 = \ell(\sin\theta_1 + \sin\theta_2), etc.; keeping quadratic terms, the cross velocity term is m2θ˙1θ˙2m\ell^2\dot\theta_1\dot\theta_2, giving the stated LL. (b) 2θ¨1+θ¨2=2ω02θ12\ddot\theta_1 + \ddot\theta_2 = -2\omega_0^2\theta_1 and θ¨1+θ¨2=ω02θ2\ddot\theta_1 + \ddot\theta_2 = -\omega_0^2\theta_2, with ω02=g/\omega_0^2 = g/\ell. (c) Inserting θi=aicosΩt\theta_i = a_i\cos\Omega t: det(2ω022Ω2Ω2Ω2ω02Ω2)=Ω44ω02Ω2+2ω04=0\det\begin{pmatrix} 2\omega_0^2 - 2\Omega^2 & -\Omega^2\\ -\Omega^2 & \omega_0^2 - \Omega^2\end{pmatrix} = \Omega^4 - 4\omega_0^2\Omega^2 + 2\omega_0^4 = 0, so Ω±2=(22)ω02\Omega_\pm^2 = (2 \mp \sqrt2)\omega_0^2; the second line gives a2/a1=Ω2/(ω02Ω2)=±2a_2/a_1 = \Omega^2/(\omega_0^2 - \Omega^2) = \pm\sqrt2: bobs together (slow mode), bobs opposed (fast mode). (d) At large amplitude the sin\sin and cos\cos couplings make the equations nonlinear; solutions no longer superpose, and neighbouring initial conditions separate exponentially (chaos). Energy is still exactly conserved — LL has no explicit time — chaos is about predictability, not conservation.

Exercise 1.11 ★★★

The brachistochrone. A bead slides without friction from rest at the origin down a curve y(x)y(x) (yy downward) to a point (a,b)(a, b). (a) Using energy conservation, show the descent time is T=0a(1+y2)/2gy ⁣dxT = \int_0^a\sqrt{(1 + y'^2)/2gy}\,\dd x — a functional, with xx playing the role of time. (b) The integrand F(y,y)F(y, y') has no explicit xx: show that h=yF/yFh = y'\,\partial F/\partial y' - F is constant along the optimal curve (the same computation as Proposition 1.14). (c) Deduce y(1+y2)=2ry(1 + y'^2) = 2r for a constant rr, and verify that the cycloid x=r(ϕsinϕ)x = r(\phi - \sin\phi), y=r(1cosϕ)y = r(1 - \cos\phi) satisfies it. (d) Show the bead’s descent to the bottom of one arch takes πr/g\pi\sqrt{r/g}, and compare with the straight chute to the same point.

Solution

Solution of Exercise 1.11.

(a) v=2gyv = \sqrt{2gy} and  ⁣ds=1+y2 ⁣dx\dd s = \sqrt{1 + y'^2}\,\dd x give the functional. (b) The computation of Proposition 1.14 with xx for time:  ⁣dh/ ⁣dx=F/x=0\dd h/\dd x = -\partial F/\partial x = 0. (c) h=1/2gy(1+y2)h = -1/\sqrt{2gy(1 + y'^2)}, so y(1+y2)=2ry(1 + y'^2) = 2r. For the cycloid, y=sinϕ/(1cosϕ)y' = \sin\phi/(1 - \cos\phi) and 1+y2=2/(1cosϕ)1 + y'^2 = 2/(1 - \cos\phi), hence y(1+y2)=2ry(1 + y'^2) = 2r. (d)  ⁣dt= ⁣ds/v=r/g ⁣dϕ\dd t = \dd s/v = \sqrt{r/g}\,\dd\phi (all ϕ\phi-dependence cancels), so the bottom (ϕ=π\phi = \pi) is reached in πr/g\pi\sqrt{r/g} — whatever the starting point: the cycloid is also the tautochrone. The straight chute to (πr,2r)(\pi r, 2r) takes π2+4r/g3.72r/g\sqrt{\pi^2 + 4}\,\sqrt{r/g} \approx 3.72\sqrt{r/g}, about 18%18\% longer than πr/g\pi\sqrt{r/g}.

Exercise 1.12 ★★★

Fermat as least action. Light in a medium of index n(y)n(y) travels between two points in the least time (Year 2 volume). (a) Show the travel time along y(x)y(x) is T=1cn(y)1+y2 ⁣dxT = \tfrac1c\int n(y)\sqrt{1 + y'^2}\,\dd x. (b) Since the integrand has no explicit xx, use the conserved hh of the previous exercise to show n(y)/1+y2=constn(y)\big/\sqrt{1 + y'^2} = \text{const}, and check this is Snell’s law nsini=constn\sin i = \text{const} for a ray measured from the vertical. (c) Over a hot road the index grows with height as n(y)n0(1+βy)n(y) \approx n_0(1 + \beta y); show a nearly horizontal ray bends with curvature radius R1/βR \approx 1/\beta. (d) With β=1.2×105m1\beta = 1.2 \times 10^{-5}\,\mathrm{m}^{-1}, from what distance does a driver whose eyes are 1.2m1.2\,\mathrm{m} above the road see the “water” mirage on it?

Solution

Solution of Exercise 1.12.

(a)  ⁣dt= ⁣ds/(c/n)\dd t = \dd s/(c/n). (b) h=n(y)/1+y2h = -n(y)/\sqrt{1 + y'^2} is conserved; 1/1+y2=cosθ1/\sqrt{1 + y'^2} = \cos\theta (θ\theta the slope angle) =sini= \sin i for ii from the vertical: nsini=constn\sin i = \text{const} — Snell’s law, continuously applied. (c) For a nearly horizontal ray ncosθconstn\cos\theta \approx \text{const} with θ\theta small gives θ ⁣dθ= ⁣dn/nβ ⁣dy\theta\,\dd\theta = \dd n/n \approx \beta\,\dd y; since  ⁣dy=θ ⁣dx\dd y = \theta\,\dd x, the curvature is  ⁣dθ/ ⁣dx=β\dd\theta/\dd x = \beta, i.e. R=1/β83kmR = 1/\beta \approx 83\,\mathrm{km}, bending upward (toward larger nn). (d) A ray from the eye, tangent to the road after curving with radius RR, touches it at d=2hR=2×1.2×8.3e4450md = \sqrt{2hR} = \sqrt{2 \times 1.2 \times 8.3e4} \approx 450\,\mathrm{m}: beyond that distance the road itself is not seen — one sees sky refracted upward, the shimmering “water”.

Foucault’s pendulum in the Panthéon, Paris. Generalised coordinates, a constraint, and a slowly turning frame: the room’s rotation appears in the equations of motion — and the swing plane’s drift lets a basement measure the Earth’s spin. Photograph: Olga Khomitsevich, CC BY 2.0.
Foucault’s pendulum in the Panthéon, Paris. Generalised coordinates, a constraint, and a slowly turning frame: the room’s rotation appears in the equations of motion — and the swing plane’s drift lets a basement measure the Earth’s spin. Photograph: Olga Khomitsevich, CC BY 2.0.

1.6 Problem: The broom that stands upside down

Problem 1.1

Weekend problem — Kapitza’s inverted pendulum

A rigid pendulum can stand stably above its pivot if the pivot is shaken up and down fast enough — a discovery analysed by Kapitza in 1951, striking enough to look like a conjuring trick, and the principle by which oscillating electric fields trap single ions. We model the pendulum as a point mass mm at the end of a massless rigid rod of length =40cm\ell = 40\,\mathrm{cm}; θ\theta is the angle from the downward vertical; g=9.81m/s2g = 9.81\,\mathrm{m}/\mathrm{s}^{2}.

Part I — The rigid pendulum. The pivot is first held fixed.

  1. Write the Lagrangian and the equation of motion.
  2. Give the frequency f0f_0 of small oscillations about θ=0\theta = 0, and its value.
  3. Show that h=Eh = E here, and use its conservation to find the minimum launch speed of the bob, at the bottom, that carries it to the top.
  4. Linearise the equation near θ=π\theta = \pi (set θ=π+ϵ\theta = \pi + \epsilon) and show ϵ¨=+(g/)ϵ\ddot\epsilon = +(g/\ell)\epsilon: how fast does an initial millidegree of tilt grow? Give the time for it to grow by a factor ee.
  5. A broom balanced on a fingertip falls in about a second, yet never stands alone: state in one sentence what the linearised equation says about the equilibrium θ=π\theta = \pi.

Part II — Shaking the pivot. The pivot now oscillates vertically, its height ys(t)=acosΩty_{\text{s}}(t) = a\cos\Omega t with a=2.0cma = 2.0\,\mathrm{cm}, Ω\Omega adjustable.

  1. Write the coordinates of the bob and show v2=2θ˙22aΩsin(Ωt)sinθθ˙+a2Ω2sin2Ωt\vect v^{\,2} = \ell^2\dot\theta^2 - 2a\Omega\ell\sin(\Omega t)\sin\theta\,\dot\theta + a^2\Omega^2\sin^2\Omega t.
  2. Show that two Lagrangians differing by a total time derivative  ⁣dF(q,t)/ ⁣dt\dd F(q,t)/\dd t give the same Euler–Lagrange equations.
  3. Using this freedom, reduce the Lagrangian to L=12m2θ˙2maΩ2cos(Ωt)cosθ+mgcosθL = \tfrac12 m \ell^2\dot\theta^2 - ma\Omega^2\ell\cos(\Omega t)\cos\theta + mg\ell\cos\theta. (Hint: sin(Ωt)sinθθ˙\sin(\Omega t)\sin\theta\,\dot\theta combines with a cos(Ωt)cosθ\cos(\Omega t)\cos\theta term into a total derivative; terms in tt alone may be dropped.)
  4. Derive the equation of motion

    θ¨=gsinθ+aΩ2cos(Ωt)sinθ.\ddot\theta = -\frac{g}{\ell}\sin\theta + \frac{a\Omega^2}{\ell}\cos(\Omega t)\sin\theta .

    Interpret the second term as the weight being replaced by g+y¨sg + \ddot y_{\text{s}}: the pendulum lives in an elevator.

  5. Is the energy function hh conserved now? Is the energy? What pumps energy in and out?
  6. In Kapitza’s regime aa \ll \ell and Ωω0=g/\Omega \gg \omega_0 = \sqrt{g/\ell}: check these for a=2cma = 2\,\mathrm{cm}, =40cm\ell = 40\,\mathrm{cm}, Ω/2π=40Hz\Omega/2\pi = 40\,\mathrm{Hz}, and explain physically why the bob then cannot follow the drive.

Part III — Separating fast from slow. Seek the motion as θ(t)=Θ(t)+ξ(t)\theta(t) = \Theta(t) + \xi(t): a slow drift Θ\Theta plus a small ripple ξ\xi at the drive frequency.

  1. Keeping only the largest term on each side, show the ripple obeys ξ¨+(aΩ2/)cos(Ωt)sinΘ\ddot\xi \approx +(a\Omega^2/\ell)\cos(\Omega t) \sin\Theta, with Θ\Theta frozen on the drive timescale.
  2. Deduce ξ(t)=(a/)cos(Ωt)sinΘ\xi(t) = -(a/\ell)\cos(\Omega t)\sin\Theta, and check that its amplitude is small, of order a/a/\ell.
  3. Expand sinθ=sin(Θ+ξ)\sin\theta = \sin(\Theta + \xi) to first order in ξ\xi and insert it into the equation of motion.
  4. Average over one drive period, with Θ\Theta held fixed: using cosΩt=0\langle\cos\Omega t\rangle = 0 and cos2Ωt=12\langle\cos^2\Omega t\rangle = \tfrac12, show

    Θ¨=gsinΘa2Ω222sinΘcosΘ.\ddot\Theta = -\frac{g}{\ell}\sin\Theta - \frac{a^2\Omega^2}{2\ell^2}\sin\Theta\cos\Theta .
  5. Show this is motion in the effective potential

    Ueff(Θ)=mg(cosΘ+a2Ω24gsin2Θ).U_{\text{eff}}(\Theta) = mg\ell\Big({-\cos\Theta} + \frac{a^2\Omega^2}{4g\ell}\sin^2\Theta\Big) .
  6. Compare with the bead on the rotating hoop (Example 1.9): same mathematics, opposite sign of the new term — what does the shaking do to the bottom equilibrium that the rotation did not?
  7. Sketch UeffU_{\text{eff}} for slow and for fast drive, and describe every equilibrium and its stability in each case.

Part IV — The broom stands up.

  1. Expanding UeffU_{\text{eff}} near Θ=π\Theta = \pi, show the inverted position is stable exactly when

    a2Ω2>2g.a^2\Omega^2 > 2g\ell .
  2. Compute the critical drive frequency fc=Ωc/2πf_{\text{c}} = \Omega_{\text{c}}/2\pi for our pendulum, and the peak pivot speed aΩca\Omega_{\text{c}} and acceleration aΩc2a\Omega_{\text{c}}^2 (in units of gg) it demands.
  3. At Ω=2Ωc\Omega = 2\Omega_{\text{c}}, find the frequency of the slow swaying of the standing pendulum about Θ=π\Theta = \pi, and its value; check it is indeed slow compared with the drive.
  4. Still at Ω=2Ωc\Omega = 2\Omega_{\text{c}}, what is the ripple amplitude ξ\xi at Θ\Theta slightly off π\pi, in degrees, for a/=0.05a/\ell = 0.05? Would a photograph betray the trick?
  5. How far from the vertical may the broom lean and still return? Show the standing well extends over Θπ<arccos(2g/a2Ω2)|\Theta - \pi| < \arccos(2g\ell/a^2\Omega^2), and evaluate it at Ω=2Ωc\Omega = 2\Omega_{\text{c}}.
  6. A juggler balancing a broom on a still fingertip also keeps it up — by what entirely different mechanism? Name the feature of Kapitza’s pendulum that needs no feedback.
  7. Summarise the named result: a pivot shaken with amplitude 2cm2\,\mathrm{cm} at 45Hz45\,\mathrm{Hz} — twice the critical frequency — holds a 40cm40\,\mathrm{cm} pendulum upside down, in a well reaching some 7575^\circ from the vertical, swaying gently at about 1.4Hz1.4\,\mathrm{Hz}. Where in physics is the same averaged trapping used to hold a single charged particle?
Solution

Solution of Problem 1.1.

1. L=12m2θ˙2+mgcosθL = \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta; θ¨=(g/)sinθ\ddot\theta = -(g/\ell)\sin\theta. 2. f0=g//2π=0.79Hzf_0 = \sqrt{g/\ell}/2\pi = 0.79\,\mathrm{Hz}. 3. The suspension is fixed, so h=E=12m2θ˙2mgcosθh = E = \tfrac12 m\ell^2\dot\theta^2 - mg\ell\cos\theta; from bottom to top 12mv2=2mg\tfrac12 mv^2 = 2mg\ell: v=2g=4.0m/sv = 2\sqrt{g\ell} = 4.0\,\mathrm{m}/\mathrm{s}. 4. ϵ¨=+(g/)ϵ\ddot\epsilon = +(g/\ell)\epsilon: ϵet/τ\epsilon \propto \eu^{t/\tau} with τ=/g=0.20s\tau = \sqrt{\ell/g} = 0.20\,\mathrm{s}. 5. The inverted equilibrium exists but is exponentially unstable: any tilt, however small, multiplies by ee every 0.2s0.2\,\mathrm{s}. 6. Bob at (sinθ, acosΩtcosθ)(\ell\sin\theta,\ a\cos\Omega t - \ell\cos\theta); differentiate and square: the stated v2\vect v^{\,2}, with the cross term 2aΩsin(Ωt)sinθθ˙-2a\Omega\ell\sin(\Omega t)\sin\theta\,\dot\theta. 7. If L=L+ ⁣dF(q,t)/ ⁣dtL' = L + \dd F(q,t)/\dd t, the action changes by F(q2,t2)F(q1,t1)F(q_2, t_2) - F(q_1, t_1), a constant under variations with fixed endpoints: same stationary paths, same equations. 8. The cross term is maΩsin(Ωt)sinθθ˙= ⁣d[maΩsin(Ωt)cosθ]/ ⁣dtmaΩ2cos(Ωt)cosθ-ma\Omega\ell\sin(\Omega t)\sin\theta\, \dot\theta = \dd[ma\Omega\ell\sin(\Omega t)\cos\theta]/\dd t - ma\Omega^2\ell\cos(\Omega t)\cos\theta; dropping the total derivative and the terms in tt alone (12ma2Ω2sin2Ωt\tfrac12 ma^2\Omega^2\sin^2\Omega t and mgacosΩt-mga\cos\Omega t) leaves the stated LL. 9. m2θ¨=mgsinθ+maΩ2cos(Ωt)sinθm\ell^2\ddot\theta = -mg\ell\sin\theta + ma\Omega^2\ell\cos(\Omega t)\sin\theta. Since y¨s=aΩ2cosΩt\ddot y_{\text{s}} = -a\Omega^2\cos\Omega t, this is θ¨=[(g+y¨s)/]sinθ\ddot\theta = -[(g + \ddot y_{\text{s}})/\ell]\sin\theta: in the pivot’s frame the apparent gravity oscillates. 10. LL now depends explicitly on tt: hh is not conserved, nor is EE — the shaker feeds energy in and out through the pivot. 11. a/=0.05a/\ell = 0.05; Ω=251rad/s\Omega = 251\,\mathrm{rad}/\mathrm{s} against ω0=4.9rad/s\omega_0 = 4.9\,\mathrm{rad}/\mathrm{s}: ratio 5151. In one drive period (25ms25\,\mathrm{ms}) gravity barely changes θ˙\dot\theta: the bob is too sluggish to follow, and only quivers. 12. ξ¨\ddot\xi is the largest derivative (Ω2\propto\Omega^2) and the drive the largest force term: ξ¨=(aΩ2/)cos(Ωt)sinΘ\ddot\xi = (a\Omega^2/\ell)\cos(\Omega t)\sin\Theta. 13. Integrating twice at fixed Θ\Theta: ξ=(a/)cos(Ωt)sinΘ\xi = -(a/\ell)\cos(\Omega t)\sin\Theta, of amplitude at most a/=0.05a/\ell = 0.05: a two-degree quiver. 14. sinθsinΘ+ξcosΘ\sin\theta \approx \sin\Theta + \xi\cos\Theta, so

Θ¨+ξ¨=g(sinΘ+ξcosΘ)+aΩ2cosΩt(sinΘ+ξcosΘ).\ddot\Theta + \ddot\xi = -\frac{g}{\ell}(\sin\Theta + \xi\cos\Theta) + \frac{a\Omega^2}{\ell}\cos\Omega t\,(\sin\Theta + \xi\cos\Theta) .

15. Averaging kills ξ¨\ddot\xi, cosΩt\langle\cos\Omega t\rangle and ξ\langle\xi\rangle; the surviving cross term is (aΩ2/)cosΘξcosΩt=(a2Ω2/22)sinΘcosΘ(a\Omega^2/\ell)\cos\Theta\,\langle\xi\cos\Omega t\rangle = -(a^2\Omega^2/2\ell^2)\sin\Theta\cos\Theta, giving the stated equation for Θ\Theta. 16. Θ¨=(1/m2)Ueff(Θ)\ddot\Theta = -(1/m\ell^2)\,U_{\text{eff}}'(\Theta) with Ueff=mg[cosΘ+(a2Ω2/4g)sin2Θ]U_{\text{eff}} = mg\ell[-\cos\Theta + (a^2\Omega^2/4g\ell) \sin^2\Theta] — differentiate to check. 17. Same sin2\sin^2 term as the hoop’s but with the opposite sign: rotation dug wells on the flanks and could only flatten the bottom; vertical shaking stiffens the bottom well and digs a new well at the top. 18. Slow drive (a2Ω2<2ga^2\Omega^2 < 2g\ell): minimum at Θ=0\Theta = 0, maximum at π\pi — nothing new. Fast drive: minima at 00 and π\pi, separated by maxima at cosΘ=2g/a2Ω2\cos\Theta^* = -2g\ell/a^2\Omega^2; both hanging and standing pendulums oscillate stably. 19. Near π\pi, with Θ=π+ϵ\Theta = \pi + \epsilon: ϵ¨=[g/a2Ω2/22]ϵ\ddot\epsilon = [g/\ell - a^2\Omega^2/2\ell^2]\,\epsilon; stability requires the bracket negative: a2Ω2>2ga^2\Omega^2 > 2g\ell. 20. Ωc=2g/a=140rad/s\Omega_{\text{c}} = \sqrt{2g\ell}/a = 140\,\mathrm{rad}/\mathrm{s}: fc=22Hzf_{\text{c}} = 22\,\mathrm{Hz}; peak speed aΩc=2.8m/sa\Omega_{\text{c}} = 2.8\,\mathrm{m}/\mathrm{s}, peak acceleration aΩc2=392m/s240ga\Omega_{\text{c}}^2 = 392\,\mathrm{m}/\mathrm{s}^{2} \approx 40g. 21. ωslow=a2Ω2/22g/\omega_{\text{slow}} = \sqrt{a^2\Omega^2/2\ell^2 - g/\ell}; at Ω=2Ωc\Omega = 2\Omega_{\text{c}}, a2Ω2=8ga^2\Omega^2 = 8g\ell so ωslow=3g/=8.6rad/s\omega_{\text{slow}} = \sqrt{3g/\ell} = 8.6\,\mathrm{rad}/\mathrm{s}: 1.4Hz1.4\,\mathrm{Hz}, thirty times slower than the 45Hz45\,\mathrm{Hz} drive. 22. ξmax=(a/)sinΘ\xi_{\max} = (a/\ell)\sin\Theta: leaning 1010^\circ off the vertical, ξmax=0.05sin170=8.7mrad0.5\xi_{\max} = 0.05\sin170^\circ = 8.7\,\mathrm{mrad} \approx 0.5^\circ — an ordinary photograph shows a broom standing still. 23. The standing well reaches the flanking maxima: Θπ<arccos(2g/a2Ω2)|\Theta - \pi| < \arccos(2g\ell/a^2\Omega^2); at Ω=2Ωc\Omega = 2\Omega_{\text{c}}, arccos14=75\arccos\tfrac14 = 75^\circ — a remarkably forgiving well. 24. The juggler uses feedback: eyes measure the tilt, the hand accelerates sideways to cancel it. Kapitza’s stabilisation is open-loop — the drive never knows where the pendulum is. 25. Shaken at 45Hz45\,\mathrm{Hz} with 2cm2\,\mathrm{cm} amplitude, the 40cm40\,\mathrm{cm} pendulum stands inverted in a 7575^\circ well, swaying at 1.4Hz1.4\,\mathrm{Hz}. The same time-averaged effective potential, made with an oscillating electric quadrupole field instead of a shaken pivot, confines single ions in the Paul trap — the workhorse of atomic clocks and trapped-ion quantum computing.

Terms defined in this chapter

See all 431 terms in the glossary