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 , 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 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 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 ; any set of independent quantities that fixes the configuration completely is a set of generalized coordinates — angles, lengths, or any convenient mixture. Their time derivatives are the generalized velocities.
Example 1.2 (Counting degrees of freedom)
A point on a table: . A plane pendulum of fixed length: one angle, . A double pendulum: two angles, . A bead on a rigid hoop: one angle, — 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, . A gas of free molecules (points): . Each holonomic constraint removes one degree of freedom: two points joined by a rod have .
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 is the function of the coordinates, the velocities, and possibly the time
kinetic minus potential energy, both expressed in the generalized coordinates. The action of a conceivable motion between fixed endpoints and is the number
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
one second-order equation per degree of freedom, in whatever coordinates were chosen.
Proof. Deform the path: with . To first order,
after integrating the second term by parts () and dropping the boundary term, which vanishes at the fixed endpoints. If for every deformation, the bracket must vanish at every instant and for each — were it positive somewhere, a bump concentrated there would give . The converse is read off the same line. ∎
Proposition 1.5 (Newton recovered)
For a particle in Cartesian coordinates, , and the Euler–Lagrange equations read and likewise for , : exactly . 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. , ; the Euler–Lagrange equation is . ∎
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 — 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 — angles for rotations, abscissas along rails. (2) Express the positions , differentiate to get the velocities, and write ; write . (3) , 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 ; , so and . Then , and :
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 slides on a vertical circular hoop of radius forced to spin about its vertical diameter at constant (Example 1.2). One coordinate, the polar angle from the bottom. The bead’s velocity has a component along the hoop and due to the imposed rotation, perpendicular to it:
Equilibria where : the bottom (and the top, always unstable), and, when , a new pair . Writing the equation as with the effective potential energy
makes the geometry visible: below the critical rate 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.
1.3 Symmetries and conservation laws
Definition 1.10 (Generalized momentum, cyclic coordinate)
The generalized momentum conjugate to the coordinate is
For a Cartesian coordinate it is the ordinary momentum ; for an angle it is an angular momentum. A coordinate that does not appear in (though its velocity does) is called cyclic.
Proposition 1.11 (Cyclic coordinates give conservation laws)
If is cyclic, its conjugate momentum is conserved: implies . 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 . ∎
Example 1.12 (Central force, solved by inspection)
A particle in a central potential , in polar coordinates in its plane of motion:
is cyclic, so — 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 , i.e. the one-dimensional motion in the effective potential of that volume.
Theorem 1.13 (Noether’s theorem)
To every continuous symmetry of the Lagrangian corresponds a conserved quantity. Precisely: if the shift leaves unchanged to first order in for all motions, then
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 . On an actual motion, by Euler–Lagrange, so the bracket is . A cyclic coordinate is the special case . The time-shift case needs the separate computation of Proposition 1.14; the full theorem, for transformations that also change or alter 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
If does not depend explicitly on time, is conserved. If moreover the relations between positions and coordinates do not involve time — no imposed rotation, no moving support — then is a quadratic form in the and : the mechanical energy. With a time-dependent constraint, is still conserved when , but it is not the energy: the motor enforcing the constraint exchanges work with the system.
Proof. . The terms cancel; the Euler–Lagrange equations turn into , cancelling the next pair; remains. If , Euler’s identity for quadratic forms gives , so . ∎
Example 1.15 (The spinning hoop keeps , not )
For the bead of Example 1.9, has no explicit , so is conserved — but the mechanical energy is not: varies as the bead slides. The difference is the work of the motor that keeps 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 and (with and , as in the Year 2 volume), the Lagrangian
yields, through the Euler–Lagrange equations, exactly the Lorentz force . 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 , no longer alone.
Proof. For the component: , and . The Euler–Lagrange equation gives . Along the motion , so , and the bracket is the component of — expand both to check. ∎
Proposition 1.17 (Small oscillations and normal modes)
Near a stable equilibrium , expand to second order in the displacements : with constant symmetric matrices. The equations of motion are linear, and every motion is a superposition of normal modes: collective oscillations in which all coordinates vibrate at one common frequency, the amplitudes and frequencies solving — a matrix eigenvalue problem, with modes for degrees of freedom.
Proof. Linear terms vanish at an equilibrium; the Euler–Lagrange equations of the quadratic read . Inserting the trial oscillation gives the stated linear system, which has a nonzero amplitude vector only when : values of , 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 , length ), their bobs joined by a spring of stiffness relaxed when both hang straight. For small angles,
Symmetry suggests the combinations and , which decouple the equations: the in-phase mode (, spring inert) at , and the opposed mode (, spring stretched twice) at . 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 : the coupled-pendulum demonstration, and the mechanism behind every resonant energy transfer from tuned circuits to molecular vibrations.
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 along the slope, the rotation angle being tied to it by rolling, . (c) 3: , , . (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, ; in this plane problem it integrates at once to , 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 and of ; (b) identify physically; (c) derive the small-angle period; (d) compute the action of one full small oscillation of amplitude — and explain the answer before computing (what is the time average of for a harmonic oscillation?).
Solution
Solution of Exercise 1.2.
(a) ; — an angular momentum, since is dimensionless. (b) is the angular momentum of the bob about the pivot. (c) gives . (d) With measured from the equilibrium, a harmonic oscillation has equal time-averaged kinetic and potential energies, so and over a whole period — the computation confirms it: since .
Exercise 1.3 ★
An Atwood machine: masses and hang from an ideal string over a massless pulley. (a) Choose one coordinate and write . (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 be the descent of (so rises by ): . (b) : . (c) The tension acts at both ends of an inextensible string: in any allowed displacement its works cancel, so it never enters . (d) Newton on alone: .
Exercise 1.4 ★
A free particle in cylindrical coordinates: . (a) Which coordinates are cyclic, and what are the conserved momenta? (b) Why is not conserved even though no force acts? (c) Write the Euler–Lagrange equation for and interpret the term . (d) Check that a straight line traversed at constant speed solves it.
Solution
Solution of Exercise 1.4.
(a) and : (angular momentum about the axis) and are conserved. (b) appears in through , so it is not cyclic: . Nothing is wrong — is the radial component of a constant vector , and a component along a turning direction need not be constant. (c) : the centrifugal term, the price of using coordinates attached to directions that rotate. (d) For a line at distance passed at speed : , ; then .
Exercise 1.5 ★★
A block of mass slides on the frictionless face (angle ) of a wedge of mass , itself free to slide on a frictionless floor. (a) Choose two coordinates: the wedge’s abscissa and the block’s distance down the face; write . (b) Which coordinate is cyclic, and what conservation law does it express? (c) Find the two accelerations. (d) Check the limits and .
Solution
Solution of Exercise 1.5.
(a) Block position , so
(b) is cyclic: is conserved — the total horizontal momentum, since no external horizontal force acts. (c) The equation is ; with from (b),
(d) : , the fixed incline; : , — free fall along a vertical face, the wedge unpushed.
Exercise 1.6 ★★
The spherical pendulum: a bob on a rod of length , free in both angles ( from the downward vertical, around it). (a) Write . (b) Identify the cyclic coordinate and the conserved . (c) Reduce the motion of to an effective potential and sketch it. (d) For the conical motion , recover the conical-pendulum relation of the Year 1 volume.
Solution
Solution of Exercise 1.6.
(a) . (b) cyclic: , the vertical angular momentum. (c) Eliminating , is conserved with
a wall at and (for ) with one minimum between — the bob nutates between two circles. (d) At the minimum, with constant: ; inserting gives .
Exercise 1.7 ★★
A pendulum (mass , length ) hangs from a cart of mass free to roll on a horizontal rail. (a) With coordinates (cart) and , write . (b) What is conserved, and why physically? (c) Linearise for small and show that the oscillation frequency is . (d) Explain the limits and — why does a light cart raise the frequency?
Solution
Solution of Exercise 1.7.
(a) Bob at :
(b) cyclic: is conserved — the horizontal momentum of the whole system (the rail pushes only vertically). (c) Small angles: and ; eliminating , , so . (d) : the fixed pivot, . Small : 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 .
Exercise 1.8 ★★
A particle of charge in a uniform field , described by . (a) Write in Cartesian coordinates. (b) Derive the equations of motion and check they describe the cyclotron circle at . (c) Compute the conjugate momenta , : are they , ? Are they conserved? (d) Show that written in cylindrical coordinates has cyclic, and identify the conserved for a circle centred on the axis.
Solution
Solution of Exercise 1.8.
(a) : . (b) The equation: , i.e. ; likewise : circular motion at , constant. (c) ; neither nor is cyclic (), so neither momentum is conserved — only combinations like are (check: its derivative vanishes). (d) In cylindrical coordinates : ; is cyclic, . On a circle of radius centred on the axis, , so .
Exercise 1.9 ★★
For the bead on the rotating hoop (Example 1.9): (a) compute the energy function and verify it is conserved by the equation of motion; (b) compute the mechanical energy and show ; (c) find the power delivered by the motor as a function of and ; (d) find the frequency of small oscillations about the tilted equilibrium when , and show it vanishes as — the slowing down that announces the split of the well.
Solution
Solution of Exercise 1.9.
(a) ; by the equation of motion. (b) . (c) : positive while the bead climbs away from the axis (the motor works against the bead’s inertia), negative on the way back. (d) ; at this is , so as : the restoring force flattens exactly when the wells merge.
Exercise 1.10 ★★★
The equal double pendulum (, ). (a) Show that for small angles . (b) Write the two equations of motion. (c) Find the normal frequencies and the shape of each mode (). (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 , etc.; keeping quadratic terms, the cross velocity term is , giving the stated . (b) and , with . (c) Inserting : , so ; the second line gives : bobs together (slow mode), bobs opposed (fast mode). (d) At large amplitude the and couplings make the equations nonlinear; solutions no longer superpose, and neighbouring initial conditions separate exponentially (chaos). Energy is still exactly conserved — 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 ( downward) to a point . (a) Using energy conservation, show the descent time is — a functional, with playing the role of time. (b) The integrand has no explicit : show that is constant along the optimal curve (the same computation as Proposition 1.14). (c) Deduce for a constant , and verify that the cycloid , satisfies it. (d) Show the bead’s descent to the bottom of one arch takes , and compare with the straight chute to the same point.
Solution
Solution of Exercise 1.11.
(a) and give the functional. (b) The computation of Proposition 1.14 with for time: . (c) , so . For the cycloid, and , hence . (d) (all -dependence cancels), so the bottom () is reached in — whatever the starting point: the cycloid is also the tautochrone. The straight chute to takes , about longer than .
Exercise 1.12 ★★★
Fermat as least action. Light in a medium of index travels between two points in the least time (Year 2 volume). (a) Show the travel time along is . (b) Since the integrand has no explicit , use the conserved of the previous exercise to show , and check this is Snell’s law for a ray measured from the vertical. (c) Over a hot road the index grows with height as ; show a nearly horizontal ray bends with curvature radius . (d) With , from what distance does a driver whose eyes are above the road see the “water” mirage on it?
Solution
Solution of Exercise 1.12.
(a) . (b) is conserved; ( the slope angle) for from the vertical: — Snell’s law, continuously applied. (c) For a nearly horizontal ray with small gives ; since , the curvature is , i.e. , bending upward (toward larger ). (d) A ray from the eye, tangent to the road after curving with radius , touches it at : beyond that distance the road itself is not seen — one sees sky refracted upward, the shimmering “water”.
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 at the end of a massless rigid rod of length ; is the angle from the downward vertical; .
Part I — The rigid pendulum. The pivot is first held fixed.
- Write the Lagrangian and the equation of motion.
- Give the frequency of small oscillations about , and its value.
- Show that here, and use its conservation to find the minimum launch speed of the bob, at the bottom, that carries it to the top.
- Linearise the equation near (set ) and show : how fast does an initial millidegree of tilt grow? Give the time for it to grow by a factor .
- 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 .
Part II — Shaking the pivot. The pivot now oscillates vertically, its height with , adjustable.
- Write the coordinates of the bob and show .
- Show that two Lagrangians differing by a total time derivative give the same Euler–Lagrange equations.
- Using this freedom, reduce the Lagrangian to . (Hint: combines with a term into a total derivative; terms in alone may be dropped.)
Derive the equation of motion
Interpret the second term as the weight being replaced by : the pendulum lives in an elevator.
- Is the energy function conserved now? Is the energy? What pumps energy in and out?
- In Kapitza’s regime and : check these for , , , and explain physically why the bob then cannot follow the drive.
Part III — Separating fast from slow. Seek the motion as : a slow drift plus a small ripple at the drive frequency.
- Keeping only the largest term on each side, show the ripple obeys , with frozen on the drive timescale.
- Deduce , and check that its amplitude is small, of order .
- Expand to first order in and insert it into the equation of motion.
Average over one drive period, with held fixed: using and , show
Show this is motion in the effective potential
- 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?
- Sketch for slow and for fast drive, and describe every equilibrium and its stability in each case.
Part IV — The broom stands up.
Expanding near , show the inverted position is stable exactly when
- Compute the critical drive frequency for our pendulum, and the peak pivot speed and acceleration (in units of ) it demands.
- At , find the frequency of the slow swaying of the standing pendulum about , and its value; check it is indeed slow compared with the drive.
- Still at , what is the ripple amplitude at slightly off , in degrees, for ? Would a photograph betray the trick?
- How far from the vertical may the broom lean and still return? Show the standing well extends over , and evaluate it at .
- 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.
- Summarise the named result: a pivot shaken with amplitude at — twice the critical frequency — holds a pendulum upside down, in a well reaching some from the vertical, swaying gently at about . Where in physics is the same averaged trapping used to hold a single charged particle?
Solution
Solution of Problem 1.1.
1. ; . 2. . 3. The suspension is fixed, so ; from bottom to top : . 4. : with . 5. The inverted equilibrium exists but is exponentially unstable: any tilt, however small, multiplies by every . 6. Bob at ; differentiate and square: the stated , with the cross term . 7. If , the action changes by , a constant under variations with fixed endpoints: same stationary paths, same equations. 8. The cross term is ; dropping the total derivative and the terms in alone ( and ) leaves the stated . 9. . Since , this is : in the pivot’s frame the apparent gravity oscillates. 10. now depends explicitly on : is not conserved, nor is — the shaker feeds energy in and out through the pivot. 11. ; against : ratio . In one drive period () gravity barely changes : the bob is too sluggish to follow, and only quivers. 12. is the largest derivative () and the drive the largest force term: . 13. Integrating twice at fixed : , of amplitude at most : a two-degree quiver. 14. , so
15. Averaging kills , and ; the surviving cross term is , giving the stated equation for . 16. with — differentiate to check. 17. Same 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 (): minimum at , maximum at — nothing new. Fast drive: minima at and , separated by maxima at ; both hanging and standing pendulums oscillate stably. 19. Near , with : ; stability requires the bracket negative: . 20. : ; peak speed , peak acceleration . 21. ; at , so : , thirty times slower than the drive. 22. : leaning off the vertical, — an ordinary photograph shows a broom standing still. 23. The standing well reaches the flanking maxima: ; at , — 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 with amplitude, the pendulum stands inverted in a well, swaying at . 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.