Small Oscillations About Equilibrium

Tap a wine glass and it rings at one pitch. Pluck a guitar string, nudge a compass needle, kick a molecule with an infrared photon, rock a ship at anchor — each answers with its own hum, a single characteristic frequency it returns to no matter how you disturb it (gently). Nature did not install a separate oscillator inside every object. Something universal is going on, and this article is that something. Here is the whole mechanism. A stable equilibrium is a place where the force vanishes and the potential energy has a local minimum. Expand any smooth potential U(x)U(x) in a Taylor series about that minimum: the constant term is an ignorable energy offset, and the linear term is identically zero — that is what "minimum" means. The first term with any dynamics in it is the quadratic one, and a quadratic potential is exactly the harmonic oscillator. So every smooth well, whatever its global shape, is a parabola up close — and everything sitting near the bottom of one vibrates sinusoidally, with a frequency set not by the well's depth but by its curvature: ω=U′′(x0)/m\omega=\sqrt{U''(x_0)/m}. Mastering this single calculation — find the equilibrium, differentiate twice, divide by the inertia — buys you the vibration frequency of a pendulum, a bond in a molecule, an atom in a crystal, an ion in a trap, an asteroid librating about a Lagrange point. It is the reason simple harmonic motion, honestly a rather special system, ended up as the most reused idea in physics. It is also an approximation with edges, and we will find exactly where they are.

Key takeaways
  • Near a stable equilibrium x0x_0, any smooth potential is a parabola: U≈U(x0)+12U′′(x0)(x−x0)2U\approx U(x_0)+\tfrac12 U''(x_0)(x-x_0)^2 — the linear term vanishes exactly, because equilibrium means zero slope.
  • The restoring force is then Hooke's law with effective spring constant keff=U′′(x0)k_{\rm eff}=U''(x_0), and the motion is simple harmonic with ω=U′′(x0)/m\omega=\sqrt{U''(x_0)/m}.
  • Curvature, not depth, sets the frequency: a sharp well snaps back fast, a gentle well oscillates slowly, and two wells of equal depth can have very different pitches.
  • Stability requires U′′(x0)>0U''(x_0)>0. If U′′(x0)<0U''(x_0)<0 the "frequency" is imaginary and small displacements grow exponentially — an unstable equilibrium. If U′′(x0)=0U''(x_0)=0 the motion is oscillatory but not harmonic.
  • In a generalized coordinate the same rule reads ω=keff/meff\omega=\sqrt{k_{\rm eff}/m_{\rm eff}} with keff=U′′(q0)k_{\rm eff}=U''(q_0) and meffm_{\rm eff} the coefficient of 12q˙2\tfrac12\dot q^2 in the kinetic energy — this is how the pendulum's g/L\sqrt{g/L} falls out in one line.
  • The approximation fails when cubic and quartic Taylor terms compete with the quadratic one; for a pendulum the period correction is T/T0≈1+θ02/16T/T_0\approx 1+\theta_0^2/16, under 1% out to 20°.
The core insight

At a stable minimum the linear force term vanishes, so the leading restoring force is linear in displacement — every smooth potential is locally a harmonic oscillator with ω=U′′(x0)/m\omega=\sqrt{U''(x_0)/m}.

Where this lives today

Ask a modern materials-simulation code what a solid will do and its first substantive act is this article's calculation at industrial scale: relax the structure to equilibrium (find where all forces vanish), then compute the Hessian — the matrix of second derivatives of the energy with respect to every atomic coordinate — and diagonalize it into phonon frequencies. That harmonic spectrum decides whether a proposed crystal is dynamically stable (one negative eigenvalue — one unstable direction — and the structure is rejected), what its heat capacity and thermal conductivity are, and how it will show up in infrared and Raman spectra. The 2026 twist is that machine-learned interatomic potentials now stand in for quantum chemistry in these pipelines, and a standard benchmark for whether a learned potential is trustworthy is precisely whether it reproduces the curvatures: get U′′U'' wrong and every predicted spectrum and stability call goes wrong with it. The same physics runs today's most precise machines. In a trapped-ion quantum computer, each ion sits at the minimum of an electromagnetic pseudo-potential; its motional modes are small oscillations at a few megahertz, and two-qubit entangling gates work by nudging exactly those modes — gate fidelities live and die on how harmonic the trap really is. Kilometre-scale gravitational-wave interferometers hang their mirrors as pendulums so that, above the sub-hertz g/L\sqrt{g/L} resonance, each mirror swings freely enough to feel a passing ripple of spacetime. From a qubit's quiver to a hanging 40 kg mirror, the design rule is the one formula: find the minimum, take two derivatives, divide by the inertia.

The physical picture

Picture any potential-energy landscape as hilly terrain and drop a marble into one of its valleys. Now zoom in on the valley floor with a microscope. However lumpy and asymmetric the landscape looks from far away, the closer you look at the bottom, the more it looks like one specific shape: a parabola. Not approximately-sort-of — systematically, with the mismatch shrinking as the square of how far you zoom out from the minimum. That parabola is a harmonic oscillator. The ubiquity of harmonic motion in nature is this one geometric fact wearing a thousand costumes.

Figure
Zoom into any smooth well and a parabola emerges
any smooth energy landscape under the microscope stable equilibrium — zero slope, positive curvature unstable — falls away ξ = x − x₀ parabola ½ U″(x₀) ξ² the real well U(x) near the bottom the two curves are indistinguishable — that is why small oscillations are harmonic

Two features of the picture do all the work. First, why the parabola and not a straight line: at the very bottom of a valley the slope is zero — that is what makes it the bottom. A Taylor expansion of the landscape about that point therefore has no linear term to offer; the leading survivor is the quadratic. A force that grows linearly with displacement is exactly Hooke's law, so the marble behaves as if attached to an invisible spring of stiffness keff=U′′(x0)k_{\rm eff}=U''(x_0). Second, curvature beats depth. The frequency does not care how deep the well is, how wide it is, or how much energy it would take to escape — only how sharply the floor curves at the very bottom. Two wells of identical depth, one narrow and one broad, ring at different pitches; the narrow one, with larger U′′U'', snaps its marble back faster. This is why chemical bonds of similar strength can have very different vibration frequencies: the frequency reads the stiffness of the bond, not its depth. Not every equilibrium is a valley, and the second derivative is the referee:

Figure
Three equilibria — only positive curvature buys you a frequency
stable — curvature positive unstable — curvature negative marginal — curvature zero restored — oscillates at ω = √(U″/m) pushed away — displacement grows as e^(t/τ) flat-bottomed quartic well — oscillates, but period depends on amplitude: not SHM

A minimum (U′′>0U''>0) pushes the marble back and produces a real frequency. A maximum (U′′<0U''<0) pushes it away — the same algebra returns an imaginary ω\omega, which is mathematics' way of writing exponential runaway. And the borderline case U′′=0U''=0, a flat-bottomed well, still traps the marble but refuses to give it a fixed pitch: its period depends on how hard you hit it. Everything else in this article is the quantitative version of this one figure.

From any well to Hooke's law

The entire theory is one Taylor expansion, so let us write it with care. Take a smooth potential U(x)U(x) and a point x0x_0 where the force vanishes, and expand about it. Nothing is assumed about the global shape of UU — only smoothness at x0x_0:

U(x)=U(x0)+U′(x0)(x−x0)+12U′′(x0)(x−x0)2+⋯(1)U(x)=U(x_0)+U'(x_0)(x-x_0)+\tfrac12 U''(x_0)(x-x_0)^2+\cdots \qquad (1)

where: U′,U′′U', U'' — first and second derivatives of UU evaluated at x0x_0; the dots hide cubic and higher terms. Physically the three written terms are: an energy offset you can calibrate away, a slope term that is exactly zero because x0x_0 is an equilibrium (F=−U′(x0)=0F=-U'(x_0)=0), and the curvature term — the first one that actually pushes. That silent disappearance of the linear term is the entire secret of universal harmonicity. Differentiating equation (1) turns the statement about energy into a statement about force. With the shorthand ξ≡x−x0\xi\equiv x-x_0 for the displacement from equilibrium, the force on the particle is

F=−dUdx≈− U′′(x0) ξ(2)F=-\frac{\mathrm{d}U}{\mathrm{d}x}\approx -\,U''(x_0)\,\xi \qquad (2)

where: U′′(x0)U''(x_0) — a positive constant for a stable equilibrium, playing exactly the role of the spring constant kk in Hooke's law F=−kξF=-k\xi. No spring is present; the "spring" is the local curvature of whatever potential the particle actually lives in. The sign matters: positive curvature means the force opposes the displacement, i.e. restores.

Derivation AFrom a smooth well to simple harmonic motion

We are deriving the master result of this article: a particle near any stable equilibrium of any smooth potential executes simple harmonic motion with ω=U′′(x0)/m\omega=\sqrt{U''(x_0)/m}. The strategy is the shortest honest route — expand the potential in a Taylor series about the equilibrium, discard what cannot push (the constant), watch the linear term vanish by the definition of equilibrium, and feed the surviving linear force into Newton's second law. The step to watch is the vanishing of the linear term: it is not an approximation but an exact consequence of U′(x0)=0U'(x_0)=0, and confusing it with the (genuinely approximate) truncation of the cubic term is the classic conceptual slip. The truncation itself is controlled by the smallness of the amplitude, and we will quantify its price separately.

Step 1. Identify the equilibrium and check its stability:

U′(x0)=0,U′′(x0)>0U'(x_0)=0, \qquad U''(x_0)>0

Why both conditions: zero slope makes x0x_0 force-free, so a particle placed there at rest stays; positive curvature makes the neighbourhood uphill in both directions, so a displaced particle is pushed back rather than away.

Step 2. Taylor-expand the potential about x0x_0 and keep terms through quadratic order in the displacement ξ=x−x0\xi=x-x_0:

U(x)=U(x0)+12 U′′(x0) ξ2+O(ξ3)U(x)=U(x_0)+\tfrac12\,U''(x_0)\,\xi^2+O(\xi^3)

Why the linear term is absent: it multiplies U′(x0)U'(x_0), which is exactly zero by Step 1 — no approximation is involved in dropping it. The constant U(x0)U(x_0) is retained or dropped at will; forces never see it.

Step 3. Write Newton's second law with the force from the truncated potential:

mξ¨=−dUdξ=− U′′(x0) ξm\ddot{\xi}=-\frac{\mathrm{d}U}{\mathrm{d}\xi}=-\,U''(x_0)\,\xi

Why this is Hooke's law: the force is linear in the displacement with a negative coefficient — a restoring force of stiffness k=U′′(x0)k=U''(x_0), manufactured by geometry rather than by any physical spring.

Step 4. Recognize the harmonic-oscillator equation and name its frequency:

ξ¨+ω2ξ=0,ω2=U′′(x0)m(3)\ddot{\xi}+\omega^2\xi=0, \qquad \omega^2=\frac{U''(x_0)}{m} \qquad (3)

Why ω\omega is a property of the well alone: it contains only the local curvature and the inertia — not the amplitude, not the well depth, not the initial conditions. Every sufficiently small disturbance of this system, however it was launched, hums at this same pitch.

Step 5. Solve, fixing the two constants from the initial displacement and velocity:

ξ(t)=Acos⁡(ωt+ϕ),ω=U′′(x0)m(4)\xi(t)=A\cos(\omega t+\phi), \qquad \omega=\sqrt{\frac{U''(x_0)}{m}} \qquad (4)

For a literal spring, U=12kx2U=\tfrac12 kx^2 gives U′′=kU''=k and ω=k/m\omega=\sqrt{k/m} — the formula reproduces the system it generalizes. Dimensions: [U′′]=J/m2=kg/s2[U'']=\mathrm{J/m^2}=\mathrm{kg/s^2}, so U′′/mU''/m has units s−2\mathrm{s^{-2}}, a genuine squared frequency.

The solution deserves one sentence of reading. Equation (4) says the particle oscillates sinusoidally about the minimum with amplitude AA and phase ϕ\phi set by how it was launched, while the frequency is set entirely by the landscape — turn the launch knobs however you like, the pitch does not move. That decoupling of how loud from how fast is the defining fingerprint of harmonic motion, and it survives only as long as the parabolic truncation does.

Beyond Cartesian coordinates: effective mass and stiffness

Real problems rarely hand you a particle on a line. A pendulum is described by an angle, a rolling ball by a contact coordinate, a molecule by a bond length; and the "mass" multiplying q˙2\dot q^2 in the kinetic energy is then generally not the literal mass. The small-oscillation recipe survives intact, provided both the potential and the kinetic energy are expanded about equilibrium. When the kinetic energy near equilibrium has the form T=12meff(q) q˙2T=\tfrac12 m_{\rm eff}(q)\,\dot q^2, the frequency generalizes to

ω=keffmeff,keff=U′′(q0),meff=meff(q0)(5)\omega=\sqrt{\frac{k_{\rm eff}}{m_{\rm eff}}}, \qquad k_{\rm eff}=U''(q_0), \qquad m_{\rm eff}=m_{\rm eff}(q_0) \qquad (5)

where: qq — any generalized coordinate (an angle, an arc length, a bond stretch); keffk_{\rm eff} — the curvature of the potential in that coordinate; meffm_{\rm eff} — the coefficient of 12q˙2\tfrac12\dot q^2, evaluated at the equilibrium. Note that keffk_{\rm eff} and meffm_{\rm eff} separately carry units that depend on the choice of qq, but their ratio is always s−2\mathrm{s^{-2}} — the physics does not care how you parametrize it.

Go deeper · Derivation B · 1 minEffective stiffness and effective mass from the Lagrangian
Derivation BEffective stiffness and effective mass from the Lagrangian

The goal is the generalized frequency formula (5), which upgrades the small-oscillation recipe from "particle on a line" to any one-degree-of-freedom system — pendulums, beads on curved wires, librating asteroids. The strategy is to expand the full Lagrangian, kinetic term included, to quadratic order in the departure from equilibrium and read off the resulting harmonic Lagrangian. The subtlety worth watching is where each function gets evaluated: the potential contributes its curvature at q0q_0, but the effective mass may be evaluated at q0q_0 directly, because any variation of meff(q)m_{\rm eff}(q) multiplies ξ˙2\dot\xi^2, which is already second order — its variation would be third order and beyond our truncation.

Step 1. Start from the general one-coordinate Lagrangian:

L=12 meff(q) q˙2−U(q)L=\tfrac12\,m_{\rm eff}(q)\,\dot q^2-U(q)

Why this form is generic: for any single holonomic coordinate the kinetic energy of a mechanical system is quadratic in q˙\dot q with a possibly qq-dependent coefficient — for a pendulum meff=mL2m_{\rm eff}=mL^2, for a bead on a wire meff=m(1+y′2)m_{\rm eff}=m(1+y'^2), for a two-body vibration the reduced mass μ\mu.

Step 2. Set q=q0+ξq=q_0+\xi and expand both terms to quadratic order in ξ\xi and ξ˙\dot\xi:

L≈12 meff(q0) ξ˙2−12 U′′(q0) ξ2L\approx \tfrac12\,m_{\rm eff}(q_0)\,\dot\xi^2-\tfrac12\,U''(q_0)\,\xi^2

Why meffm_{\rm eff} freezes at q0q_0: writing meff(q)=meff(q0)+meff′(q0)ξ+⋯m_{\rm eff}(q)=m_{\rm eff}(q_0)+m'_{\rm eff}(q_0)\xi+\cdots, the correction term enters as ξξ˙2\xi\dot\xi^2 — third order in small quantities, discarded along with ξ3\xi^3 from the potential. The linear potential term is absent exactly, as always, because U′(q0)=0U'(q_0)=0.

Step 3. Apply the Euler–Lagrange equation to the truncated Lagrangian:

meff(q0) ξ¨=− U′′(q0) ξm_{\rm eff}(q_0)\,\ddot\xi=-\,U''(q_0)\,\xi

Why this is legitimate: the truncated LL is exactly the Lagrangian of a harmonic oscillator with mass meff(q0)m_{\rm eff}(q_0) and stiffness U′′(q0)U''(q_0); variational machinery applied to an approximate Lagrangian gives the equation of motion correct to the same order.

Step 4. Read off the frequency:

ω=U′′(q0)meff(q0)\omega=\sqrt{\frac{U''(q_0)}{m_{\rm eff}(q_0)}}

Dimensional check: [U′′(q0)]/[meff(q0)]=s−2[U''(q_0)]/[m_{\rm eff}(q_0)]=\mathrm{s^{-2}} for any coordinate, since each derivative with respect to qq and each factor of q˙\dot q trade the same unit of qq. The result reduces to (4) when qq is a Cartesian xx and meff=mm_{\rm eff}=m.

Go deeper · Derivation C · 1 minThe pendulum as a first test of the machinery
Derivation CThe pendulum as a first test of the machinery

Every new formula should be marched past a system whose answer is already known, and the pendulum is the canonical checkpoint: we will recover ω=g/L\omega=\sqrt{g/L} from the curvature recipe without ever writing a torque or resolving a force. The route is pure bookkeeping — write U(θ)U(\theta), locate the minimum, differentiate twice, identify the effective inertia from the kinetic energy, and divide. The instructive moment is the mass cancellation at the end: both the stiffness and the inertia are proportional to mm, so the frequency is not — the small-oscillation formalism makes the equivalence-principle cancellation visible as simple algebra.

Step 1. Write the potential energy of a bob of mass mm on a massless rod of length LL, as a function of the angle θ\theta from the vertical:

U(θ)=mgL (1−cos⁡θ)U(\theta)=mgL\,(1-\cos\theta)

Why this form: the bob's height above its lowest point is L(1−cos⁡θ)L(1-\cos\theta); the constant is chosen so U(0)=0U(0)=0, which costs nothing.

Step 2. Locate the equilibrium:

U′(θ)=mgLsin⁡θ=0 ⇒ θ0=0U'(\theta)=mgL\sin\theta=0 \ \Rightarrow\ \theta_0=0

Why θ0=π\theta_0=\pi is rejected: it also zeroes the slope, but U′′(π)=−mgL<0U''(\pi)=-mgL<0 — the inverted pendulum is the unstable-maximum case of the triptych figure, not a home for oscillations.

Step 3. Compute the effective stiffness at the bottom:

U′′(θ)=mgLcos⁡θ,keff=U′′(0)=mgLU''(\theta)=mgL\cos\theta, \qquad k_{\rm eff}=U''(0)=mgL

Why the units look odd: θ\theta is dimensionless, so keffk_{\rm eff} carries joules, not newtons per metre — the effective mass will repair this.

Step 4. Identify the effective inertia from the kinetic energy:

T=12 mL2θ˙2 ⇒ meff=mL2T=\tfrac12\,mL^2\dot\theta^2 \ \Rightarrow\ m_{\rm eff}=mL^2

Why mL2mL^2: the bob's speed is Lθ˙L\dot\theta, so T=12m(Lθ˙)2T=\tfrac12 m(L\dot\theta)^2 — the coefficient of 12θ˙2\tfrac12\dot\theta^2 is the moment of inertia about the pivot.

Step 5. Combine with equation (5):

ω=keffmeff=mgLmL2=gL\omega=\sqrt{\frac{k_{\rm eff}}{m_{\rm eff}}}=\sqrt{\frac{mgL}{mL^2}}=\sqrt{\frac{g}{L}}

This gives T=2πL/gT=2\pi\sqrt{L/g}, the standard small-angle result. The mass cancels between stiffness and inertia — Galileo's observation that pendulum period ignores the bob, recovered as two-line algebra. Units: J/(kg m2)=s−2\mathrm{J}/(\mathrm{kg\,m^2})=\mathrm{s^{-2}}.

Which formula answers which question

you wantusenotes
is this equilibrium stable?sign of U′′(x0)U''(x_0)positive: oscillates; negative: runaway; zero: look at higher derivatives
frequency, Cartesian coordinateω=U′′(x0)/m\omega=\sqrt{U''(x_0)/m}, eq. (4)evaluate U′′U'' at the minimum
frequency, any coordinateω=keff/meff\omega=\sqrt{k_{\rm eff}/m_{\rm eff}}, eq. (5)meffm_{\rm eff} = coefficient of 12q˙2\tfrac12\dot q^2
motion itselfξ(t)=Acos⁡(ωt+ϕ)\xi(t)=A\cos(\omega t+\phi), eq. (4)A,ϕA,\phi from initial conditions
energy storedE=12mω2A2E=\tfrac12 m\omega^2A^2, eq. (6)measured from the well bottom
is the amplitude small enough?∣U′′′′∣A2≪12 U′′\vert U''''\vert A^2 \ll 12\,U'', eq. (7)else anharmonic corrections bite

One more standard result completes the kit. Multiplying the equation of motion by ξ˙\dot\xi and integrating — or simply adding the kinetic energy to the truncated potential — gives the conserved energy of the small oscillation. It is worth displaying because its constancy is what makes the amplitude a meaningful single number:

E=12 mξ˙2+12 U′′(x0) ξ2=12 m ω2A2(6)E=\tfrac12\,m\dot\xi^2+\tfrac12\,U''(x_0)\,\xi^2=\tfrac12\,m\,\omega^2 A^2 \qquad (6)

where: EE — mechanical energy measured from the bottom of the well; the last equality evaluates the conserved sum at a turning point, where all energy is potential. The energy is quadratic in the amplitude — double the swing, four times the energy — and it sloshes between kinetic and potential twice per cycle while the total holds still.

Where the harmonic approximation ends

Truncating the Taylor series is a physical decision, and it has a price tag. The honest question is: at what amplitude do the discarded terms start to matter? For a symmetric well the first discarded term is the quartic, and comparing it to the quadratic gives a clean validity criterion.

Go deeper · Derivation D · 2 minWhere the harmonic approximation breaks down
Derivation DWhere the harmonic approximation breaks down

We are estimating the amplitude at which harmonic theory stops being trustworthy, and extracting the leading amplitude-dependence of the pendulum period as the worked instance. The strategy is crude on purpose: compare the sizes of the quartic and quadratic terms of the potential at the turning point ξ=A\xi=A, since their ratio is the dimensionless knob that controls every anharmonic correction. This gives the scaling of the frequency shift; the exact numerical coefficient for the pendulum (θ02/16\theta_0^2/16 in the period) requires the full perturbative or elliptic-integral treatment, so we quote it and check it against the known expansion rather than pretending the estimate produced it.

Step 1. Keep the next symmetric term of the expansion for a potential with a minimum at ξ=0\xi=0:

U(ξ)=12 U′′ ξ2+124 U′′′′ ξ4+⋯U(\xi)=\tfrac12\,U''\,\xi^2+\tfrac{1}{24}\,U''''\,\xi^4+\cdots

Why the cubic is skipped here: for symmetric wells (pendulum, mass on spring) U′′′(x0)=0U'''(x_0)=0 identically; for asymmetric wells the cubic enters first and even shifts the average position — the origin of thermal expansion — but the symmetric case isolates the frequency effect most cleanly.

Step 2. Form the ratio of the two terms at the turning point ξ=A\xi=A, where the displacement is largest:

124 U′′′′ A412 U′′ A2=U′′′′ A212 U′′\frac{\tfrac{1}{24}\,U''''\,A^4}{\tfrac12\,U''\,A^2}=\frac{U''''\,A^2}{12\,U''}

Why the turning point: the correction oscillates with the motion, and its maximum size — the worst case — is what decides whether the harmonic solution is trustworthy over a full cycle.

Step 3. State the validity condition and the induced frequency shift:

∣U′′′′∣ A2≪12 U′′⇒Δωω∼U′′′′ A2U′′(7)\vert U''''\vert\,A^2\ll 12\,U'' \qquad\Rightarrow\qquad \frac{\Delta\omega}{\omega}\sim\frac{U''''\,A^2}{U''} \qquad (7)

Why the shift scales as A2A^2: the quartic force correction ∝ξ3\propto\xi^3 averages against the harmonic motion to an effective stiffness change ∝A2\propto A^2 — odd powers of a sinusoid average to zero, so the amplitude enters squared. The sign follows U′′′′U'''': positive quartic stiffens the well (frequency rises), negative softens it.

Step 4. Apply to the pendulum, where U=mgL(1−cos⁡θ)U=mgL(1-\cos\theta) gives U′′(0)=mgLU''(0)=mgL and U′′′′(0)=−mgLU''''(0)=-mgL:

T(θ0)T0≈1+θ0216\frac{T(\theta_0)}{T_0}\approx 1+\frac{\theta_0^2}{16}

Why softening: the cosine potential falls below its parabola away from the bottom (a real pendulum's restoring torque sin⁡θ\sin\theta lags the linear θ\theta), so large swings take longer. At θ0=20°\theta_0=20° the correction is θ02/16=0.0076\theta_0^2/16=0.0076 — the period runs 0.76% long, and the ratio of quartic to quadratic energy from Step 2 is θ02/12≈1%\theta_0^2/12\approx 1\%: the two estimates agree on when "small" ends. *The θ02/16\theta_0^2/16 coefficient matches the small-amplitude expansion of the exact elliptic-integral period; the scaling Δω/ω∝A2\Delta\omega/\omega\propto A^2 matches first-order perturbation theory for a quartic term.*

Limiting cases

CaseResultMeaning
literal spring, U=12kx2U=\tfrac12 kx^2U′′=kU''=k, ω=k/m\omega=\sqrt{k/m}the formula contains the system it generalizes — zeroth sanity check
stable minimum, U′′(x0)>0U''(x_0)>0real ω\omega, bounded sinusoidal motionthe generic case; every smooth well at small amplitude
unstable maximum, U′′(x0)<0U''(x_0)<0ω2<0\omega^2<0: solutions e±t/τe^{\pm t/\tau}, τ=m/∣U′′∣\tau=\sqrt{m/\vert U''\vert}imaginary frequency = exponential runaway; τ\tau is the instability timescale
marginal, U′′(x0)=0U''(x_0)=0, U′′′′>0U''''>0oscillates but period depends on amplitudeleading force ∝−ξ3\propto-\xi^3: bounded, periodic, not simple harmonic
amplitude too large∣U′′′′∣A2≳12 U′′\vert U''''\vert A^2 \gtrsim 12\,U''quartic term competes with quadratic; frequency drifts with amplitude, eq. (7)
stiffness to zero, U′′→0+U''\to 0^+ω→0\omega\to 0, T→∞T\to\inftyever-softer wells oscillate ever slower — the onset of the marginal case

Molecules, crystals, Lagrange points

The reach of this one calculation is easiest to feel through its habitats. A chemical bond is a potential well in the interatomic separation rr: steep repulsion at short range, a minimum at the bond length r0r_0, a flattening tail toward dissociation. Expand about r0r_0 and the molecule becomes a two-mass spring with k=U′′(r0)k=U''(r_0) vibrating at ω=k/μ\omega=\sqrt{k/\mu}, where μ\mu is the reduced mass — this is the machinery behind every infrared spectrum, and the worked example below runs the real numbers for HCl.

Figure
A chemical bond is a well — its curvature at the bond length is the spring constant
U(r) interatomic separation r r₀ dissociation — the bond breaks equally spaced levels — spacing sets the IR line parabola k = U″(r₀) true bond potential expand about r₀ and a molecule becomes a spring: ω = √(U″(r₀)/μ) — the origin of infrared spectroscopy

A crystal is the same story multiplied: each atom sits in a well built by its neighbours, and the collective quadratic expansion — a matrix of second derivatives, diagonalized — yields the phonon normal modes that carry sound and heat through every solid. In the sky, a small body parked at the stable Lagrange points L4L_4 and L5L_5 of the Sun–Jupiter system feels an effective potential (gravity plus centrifugal) with a genuine minimum; expanding it to quadratic order gives the libration frequencies of the Trojan asteroids, thousands of which are observed doing exactly the small oscillations Lagrange computed on paper in 1772. Different forces, one identical calculation.

Worked examples

1 · A skate bowl from its curvature (confidence builder)

A skateboarder rolls near the bottom of a smooth concrete bowl whose profile near the low point is y=c x2y=c\,x^2 with c=2.0 m−1c=2.0\ \mathrm{m^{-1}}. Treating the skater as a sliding point mass, find the small-oscillation frequency and period. Does the skater's 62 kg mass matter?

Step 1. Build the potential in the coordinate xx. The height above the low point is y=cx2y=cx^2, so U(x)=mgy=mgc x2U(x)=mgy=mgc\,x^2. This is already a parabola — the Taylor expansion is exact here — with U′(0)=0U'(0)=0 confirming x0=0x_0=0 as the equilibrium.

Step 2. Differentiate twice for the stiffness: keff=U′′(0)=2mgck_{\rm eff}=U''(0)=2mgc. Near the bottom the track is nearly flat, so the speed is essentially x˙\dot x and the effective mass is just mm.

Step 3. Apply equation (5): ω=2gc=2×9.81×2.0=39.2=6.26 rad/s\omega=\sqrt{2gc}=\sqrt{2\times 9.81\times 2.0}=\sqrt{39.2}=\boxed{6.26\ \mathrm{rad/s}}, i.e. a frequency of f=ω/2π≈1.0f=\omega/2\pi\approx 1.0 Hz and a period T=2π/ω=1.00 sT=2\pi/\omega=\boxed{1.00\ \mathrm{s}}.

Step 4. The mass cancelled: both the stiffness (2mgc2mgc) and the inertia (mm) are proportional to mm, so the 62 kg never enters — the same equivalence-principle cancellation as the pendulum. A heavier skater rocks in the bowl at exactly the same one-second period, just with more energy at the same amplitude by equation (6).

2 · Predicting an infrared spectrum from bond curvature (exam level)

The H–Cl bond potential has curvature k=U′′(r0)=481 N/mk=U''(r_0)=481\ \mathrm{N/m} at its minimum (r0=0.127r_0=0.127 nm). Predict the classical vibration frequency of the HCl molecule and the wavenumber of its infrared absorption line, and compare with the measured 2886 cm−12886\ \mathrm{cm^{-1}}. Then estimate the oscillation amplitude if the vibration holds energy E=12ℏωE=\tfrac12\hbar\omega and check the smallness of the oscillation.

Step 1. The oscillating coordinate is the bond stretch ξ=r−r0\xi=r-r_0, and the effective mass for a two-body vibration is the reduced mass. With mH=1.008 um_{\rm H}=1.008\,\mathrm{u} and mCl=34.97 um_{\rm Cl}=34.97\,\mathrm{u}: μ=mHmClmH+mCl=0.980 u=1.63×10−27 kg\mu=\dfrac{m_{\rm H}m_{\rm Cl}}{m_{\rm H}+m_{\rm Cl}}=0.980\,\mathrm{u}=1.63\times10^{-27}\ \mathrm{kg} — essentially the hydrogen atom's mass, since chlorine barely moves.

Step 2. Apply equation (5) with keff=kk_{\rm eff}=k and meff=μm_{\rm eff}=\mu: ω=4811.63×10−27=5.44×1014 rad/s\omega=\sqrt{\dfrac{481}{1.63\times10^{-27}}}=\boxed{5.44\times10^{14}\ \mathrm{rad/s}}, i.e. f=ω/2π=8.65×1013f=\omega/2\pi=8.65\times10^{13} Hz — about ninety trillion stretches per second.

Step 3. Spectroscopists quote the wavenumber ν~=f/c=8.65×10133.00×1010 cm/s=2887 cm−1\tilde\nu=f/c=\dfrac{8.65\times10^{13}}{3.00\times10^{10}\ \mathrm{cm/s}}=\boxed{2887\ \mathrm{cm^{-1}}} — matching the measured fundamental at 2886 cm−12886\ \mathrm{cm^{-1}} to four significant figures. One second derivative of the bond potential predicts where in the infrared this molecule drinks light.

Step 4. Amplitude at E=12ℏωE=\tfrac12\hbar\omega (the quantum ground state's energy scale): from equation (6), 12kA2=12ℏω\tfrac12 kA^2=\tfrac12\hbar\omega gives A=ℏω/k=1.055×10−34×5.44×1014481=1.1×10−11 mA=\sqrt{\hbar\omega/k}=\sqrt{\dfrac{1.055\times10^{-34}\times 5.44\times10^{14}}{481}}=\boxed{1.1\times10^{-11}\ \mathrm{m}}.

Step 5. Check smallness: A/r0=0.011 nm/0.127 nm≈9%A/r_0=0.011\ \mathrm{nm}/0.127\ \mathrm{nm}\approx 9\%. The bond stretches by under a tenth of its length, comfortably inside the parabolic region — which is why the harmonic prediction lands on the measured line. (The few-cm−1^{-1} residual, and the unequal spacing of higher vibrational levels, are precisely the anharmonic corrections of equation (7) at work.)

Origins · 1 minJoseph-Louis Lagrange and how this was discovered
JL
Joseph-Louis Lagrange
1736–1813 · Turin, Berlin, Paris

Lagrange taught himself mathematics in Turin, was doing original work on the calculus of variations at nineteen, and spent his career systematically replacing Newton's geometric mechanics with pure analysis — his Mécanique analytique (1788) famously contains not a single diagram. Small oscillations are among its crown jewels: Lagrange showed how to expand any mechanical system about equilibrium and reduce its vibrations to the eigenvalue problem we now call normal modes, the direct ancestor of every phonon and molecular-vibration calculation. Sixteen years earlier, studying the three-body problem, he had found the five equilibrium points of a rotating two-body system and proved the triangular ones stable — a small-oscillation analysis whose confirmation arrived in 1906, when the first Trojan asteroid was found librating about Jupiter's L4L_4 exactly as his expansion demanded. Napoleon made him a count; he is buried in the Panthéon.

History
1678
— Robert Hooke publishes his spring law "ut tensio, sic vis" — the linear restoring force that every smooth well secretly contains.
1772
— Lagrange finds the triangular libration points of the three-body problem and proves them stable against small displacements.
1788
— The Mécanique analytique systematizes small oscillations about equilibrium, founding normal-mode analysis.
1906
— Max Wolf discovers 588 Achilles librating about Jupiter's L4 point — Lagrange's small-oscillation stability, verified in the sky after 134 years.
1907
— Einstein models a crystal as a set of identical quantum harmonic oscillators, carrying the harmonic approximation into quantum theory and explaining the fall of heat capacities at low temperature.

Going further

References. Morin, Introduction to Classical Mechanics, Ch. 5 (Oscillations) · Goldstein, Classical Mechanics 3rd ed., Ch. 6 (Oscillations) · Landau & Lifshitz, Mechanics Vol. 1, §21–23 · Taylor, Classical Mechanics, Ch. 5 Key results on this page: the linear term vanishes at equilibrium and k=U′′(x0)k=U''(x_0); the pendulum reduction gives ω=g/L\omega=\sqrt{g/L} from U=mgL(1−cos⁡θ)U=mgL(1-\cos\theta), U′′(0)=mgLU''(0)=mgL, meff=mL2m_{\rm eff}=mL^2; the leading pendulum period correction is T/T0≈1+θ02/16T/T_0\approx 1+\theta_0^2/16. Worked-example numbers: ω=6.26 rad/s\omega=6.26\ \mathrm{rad/s}, T=1.00T=1.00 s for the bowl with c=2.0 m−1c=2.0\ \mathrm{m^{-1}}; μ=1.63×10−27\mu=1.63\times10^{-27} kg, ω=5.44×1014\omega=5.44\times10^{14} rad/s, ν~=2887 cm−1\tilde\nu=2887\ \mathrm{cm^{-1}} vs measured 2886, and A=1.1×10−11A=1.1\times10^{-11} m for HCl with k=481k=481 N/m.

Builds on: Simple Harmonic Motion · Energy in Simple Harmonic Motion. Leads to: The Simple Pendulum · The Physical Pendulum · Anharmonic Pendulum and Amplitude Dependence · Complex Exponential Representation of Oscillations · Damped Harmonic Oscillator.

Why exactly does the linear term in the Taylor expansion vanish — is that an approximation?

It is exact, not approximate — and the distinction is the conceptual heart of the article. The linear term of the expansion is U′(x0) (x−x0)U'(x_0)\,(x-x_0), and U′(x0)U'(x_0) is precisely zero because x0x_0 was chosen as an equilibrium: zero force means zero slope, by definition. No smallness argument is involved. The genuine approximation happens one order later, when the cubic and quartic terms are dropped, and that step is controlled by amplitude — equation (7) tells you the price. If you expand about a point that is not an equilibrium, the linear term survives, and it represents a constant force: the particle accelerates toward the true minimum, which is the expansion telling you that you picked the wrong origin.

How small is "small" in practice? Give me a number, not a limit.

Use the criterion of equation (7): the harmonic description is good while ∣U′′′′∣A2≪12 U′′\vert U''''\vert A^2\ll 12\,U'', and the fractional frequency error is of order the same ratio. For the pendulum this becomes concrete: the quartic-to-quadratic energy ratio is θ02/12\theta_0^2/12, which reaches 1% at θ0≈20°\theta_0\approx 20°, and the period runs long by θ02/16\theta_0^2/16 — 0.76% at 20°, 3% at 40°. So "small" for a pendulum honestly means "under about twenty degrees if you care at the percent level." For the HCl bond of Worked Example 2, the ground-state stretch is about 9% of the bond length and the harmonic prediction of the line position is off by only a couple of cm−1^{-1} in 2886. Each system has its own budget; the ratio in (7) is how you read it.

For the pendulum, k_eff = mgL has units of joules, not N/m. How can that be a spring constant?

Because the coordinate is an angle, and an angle is dimensionless — so the "spring constant" U′′(θ)U''(\theta) carries the units of UU itself. This looks alarming but is self-repairing: the effective mass for the same coordinate is meff=mL2m_{\rm eff}=mL^2 (kg·m², a moment of inertia), and the ratio keff/meff=g/Lk_{\rm eff}/m_{\rm eff}=g/L has units of s−2^{-2} regardless. The general rule: each derivative with respect to qq divides by one unit of qq, and each q˙\dot q in the kinetic energy multiplies by one, so the mismatches always cancel in ω2=keff/meff\omega^2=k_{\rm eff}/m_{\rm eff}. Only ω\omega is physical; keffk_{\rm eff} and meffm_{\rm eff} separately depend on your parametrization, and neither needs to look like newtons per metre.

Does a deeper potential well mean a higher oscillation frequency?

No — and this is the single most common misreading of the formula. Depth measures how much energy escape would cost; frequency measures how sharply the floor curves at the very bottom. The two are independent knobs: you can draw a kilometre-deep well with a nearly flat floor (tiny U′′U'', lazy slow oscillation) and a millimetre-deep dimple with ferocious curvature (fast oscillation). What is true is that for wells of a fixed characteristic width aa and depth ε\varepsilon, dimensional analysis suggests U′′∼ε/a2U''\sim\varepsilon/a^2 — so at fixed width, deeper does tend to mean stiffer. But the theorem is only about U′′(x0)U''(x_0); whenever depth and curvature disagree, curvature wins.

What does the imaginary frequency at a maximum actually mean physically?

Run the same algebra at a point with U′′(x0)<0U''(x_0)<0 and you get ω2<0\omega^2<0, i.e. ω=i/τ\omega=i/\tau with τ=m/∣U′′(x0)∣\tau=\sqrt{m/\vert U''(x_0)\vert}. Plug into the solution and the cosine becomes a combination of et/τe^{t/\tau} and e−t/τe^{-t/\tau}: instead of oscillating, a generic small displacement grows exponentially, doubling every 0.69 τ0.69\,\tau. The imaginary frequency is not nonsense — it is the linearized theory correctly reporting that the equilibrium is unstable, and even handing you the instability timescale. A pencil balanced on its tip has τ\tau of a fraction of a second; that number, not zero, is why no one can balance one. The growth cannot continue forever: once the displacement leaves the quadratic region, the discarded higher terms take over and decide where the system actually lands.

If every well is harmonic near the bottom, why does anyone study anharmonic oscillators?

Because "near the bottom" is a boundary, and much of the interesting physics lives at or beyond it. Three examples. Molecular spectra: the harmonic approximation predicts equally spaced vibrational levels, but measured levels crowd together going up — that anharmonic fingerprint is how dissociation energies are measured. Thermal expansion: a purely harmonic crystal would not expand on heating at all — the average position in a symmetric parabola never moves; expansion exists because the cubic term skews the well. Pendulum clocks: the θ02/16\theta_0^2/16 period drift with amplitude was the great headache of precision timekeeping. The harmonic result is the universal first word — equation (7) tells you when it stops being the last.

Why is the effective mass for the pendulum mL² and not just m?

Because meffm_{\rm eff} is defined as the coefficient of 12q˙2\tfrac12\dot q^2 in the kinetic energy, and that depends on which coordinate qq you chose. The pendulum bob moves at speed v=Lθ˙v=L\dot\theta, so T=12mv2=12(mL2)θ˙2T=\tfrac12 m v^2=\tfrac12(mL^2)\dot\theta^2 — read off the coefficient and you get the moment of inertia about the pivot, mL2mL^2. Had you instead used the arc length s=Lθs=L\theta as your coordinate, then T=12ms˙2T=\tfrac12 m\dot s^2 with meff=mm_{\rm eff}=m, while the stiffness would become U′′(s)=mg/LU''(s)=mg/L — and the frequency comes out g/L\sqrt{g/L} either way. The invariance is the point: pick any coordinate, extract its stiffness and its inertia consistently, and ω\omega does not care.

Does any of this survive in quantum mechanics?

Remarkably intact — the harmonic approximation transfers to quantum mechanics more gracefully than almost any other classical idea. Expand the potential about its minimum exactly as in Derivation A; the quantum Hamiltonian becomes the quantum harmonic oscillator, with energy levels En=ℏω(n+12)E_n=\hbar\omega(n+\tfrac12) built on the same ω=U′′(x0)/m\omega=\sqrt{U''(x_0)/m} you would compute classically. The classical amplitude estimate of Worked Example 2 used exactly this bridge: the ground state of HCl carries 12ℏω\tfrac12\hbar\omega and jiggles about 9% of the bond length even at absolute zero — that is zero-point motion, and it is a small oscillation in every sense of this article. The anharmonic corrections have quantum counterparts too, showing up as the shrinking gaps between high vibrational levels of real molecules.

Before this

Where this leads