The Damped Harmonic Oscillator
Statement
For a mass \(m\) subject to a linear restoring force \(-kx\) and a linear viscous drag \(-c\dot{x}\), the equation of motion \(m\ddot{x}+c\dot{x}+kx=0\) is a homogeneous second-order linear ODE. The exponential trial solution \(x=e^{\lambda t}\) reduces it to the characteristic equation \(m\lambda^{2}+c\lambda+k=0\), with roots \(\lambda_{\pm}=-\gamma\pm\sqrt{\gamma^{2}-\omega_0^{2}}\) where \(\gamma\equiv c/2m\) and \(\omega_0^{2}\equiv k/m\). The sign of the discriminant \(\Delta=c^{2}-4mk\) (equivalently \(\gamma^{2}-\omega_0^{2}\)) partitions the motion into exactly three regimes: under-damped (\(\Delta<0\), oscillatory decay), critically damped (\(\Delta=0\), fastest non-oscillatory return), and over-damped (\(\Delta>0\), slow non-oscillatory return), with the boundary at the critical damping \(c_{c}=2\sqrt{mk}=2m\omega_0\).
Why it matters
Every real oscillator loses energy. The undamped result \(x=A\cos(\omega_0 t+\phi)\) is an idealisation; adding the simplest physically admissible loss — one linear in velocity — is the minimal correction that keeps the equation linear and closed-form solvable, and it already reproduces the qualitative ringdown of pendulums in air, \(RLC\) circuits, and galvanometer needles.
The three-way classification by a single dimensionless ratio, the damping ratio \(\zeta=c/c_c\), is the template for all of linear systems engineering. Shock absorbers, control-loop stability margins, and seismometer response are all tuned by pushing \(\zeta\) toward the critical value, where a system returns to rest as fast as possible without overshoot. Reading a qualitative threshold off a discriminant, rather than off a plotted curve, is the transferable skill.
Assumptions
Derivation
Result
Reading. Every root has real part \(-\gamma\), so all free motion decays with envelope time constant \(1/\gamma=2m/c\), set by drag and mass alone — independent of the spring. What the spring (through \(\omega_0\)) decides is only the character of the decay: whether the system rings on the way down (\(\zeta<1\)), does the fastest non-oscillatory return (\(\zeta=1\)), or crawls (\(\zeta>1\)). The under-damped ring frequency \(\omega_d=\omega_0\sqrt{1-\zeta^2}\) is always below \(\omega_0\): friction slows the wobble. All roots have negative real part for \(c>0\), so equilibrium is always asymptotically stable.
Units check. \([\gamma]=[c/2m]=(\text{kg s}^{-1})/\text{kg}=\text{s}^{-1}\) and \([\omega_0]=\sqrt{[k/m]}=\sqrt{(\text{N m}^{-1})/\text{kg}}=\sqrt{\text{s}^{-2}}=\text{s}^{-1}\); both are rates, so \(\lambda\) has units \(\text{s}^{-1}\) and the exponent \(\lambda t\) is dimensionless as required. \([\Delta]=[c^2]=[mk]=\text{kg}^2\text{s}^{-2}\) (consistent), and \(\zeta=c/2\sqrt{mk}\) is dimensionless.
Limiting cases
- \(c\to0\) (\(\zeta\to0\)): \(\gamma\to0\), \(\lambda_\pm=\pm i\omega_0\), recovering undamped SHM \(x=A\cos(\omega_0 t+\phi)\) (prior result: shm-from-linear-restoring-force).
- \(\zeta\ll1\) (light damping): \(\omega_d\approx\omega_0\left(1-\tfrac12\zeta^2\right)\); the frequency shift is second order, so weak damping barely changes the period but steadily bleeds amplitude.
- \(\zeta=1\) exactly: the two roots merge at \(-\omega_0\) and the under-damped modes coalesce into \((A+Bt)e^{-\omega_0 t}\); fastest settling.
- \(\zeta\gg1\) (heavy damping): \(\lambda_{+}\approx -\omega_0^{2}/(2\gamma)=-k/c\) (slow, spring-limited) and \(\lambda_{-}\approx-2\gamma=-c/m\) (fast, drag-limited); the two time scales separate widely and inertia becomes irrelevant to the slow mode.
- \(k\to0\): \(\omega_0\to0\), roots become \(\lambda=0\) and \(\lambda=-c/m\); a free particle coasting to rest under drag, no restoring force.
Breaks when
- Nonlinear drag. At high speed in a fluid, drag scales as \(\dot{x}^2\) (quadratic), or for dry contact as constant Coulomb friction. The equation is no longer linear, superposition fails, and there is no discriminant to classify regimes; Coulomb decay is linear-in-time and stops dead at a nonzero displacement.
- Anharmonic potential. For large amplitude the restoring force departs from \(-kx\) (e.g. a real pendulum, \(-mg\sin\theta\)). The characteristic-equation method collapses: frequency becomes amplitude-dependent and the modes are no longer exponentials.
- Negative or zero damping (\(c\le0\)). If \(c<0\) (energy-injecting medium) the real part of \(\lambda\) turns positive and the "decaying" solution grows without bound — the labels survive but the settling interpretation is void.
- Time-varying or memory-laden media. If \(c=c(t)\), \(\omega_0=\omega_0(t)\), or the drag depends on the whole velocity history (viscoelastic, retarded fluid), the constant-coefficient ansatz \(e^{\lambda t}\) is not a solution and one needs Laplace/convolution or Floquet theory.
Failure modes
- Using \(\omega_0\) for the ring frequency. The observed oscillation is at \(\omega_d=\omega_0\sqrt{1-\zeta^2}\), always smaller; only in the \(\zeta\to0\) limit do they coincide.
- Dropping the \(t\,e^{-\gamma t}\) term at critical damping. Writing \(x=Ae^{-\gamma t}\) alone gives a one-parameter family that cannot satisfy two independent initial conditions \((x_0,\dot{x}_0)\).
- Forgetting the factor of \(2\) in \(\gamma=c/2m\). Setting \(\gamma=c/m\) misplaces the critical condition by a factor of \(2\) and corrupts every downstream number.
- Thinking over-damped returns fastest. Beyond \(\zeta=1\) the slow root \(-k/c\) approaches zero — the system gets slower, not faster. Critical is the optimum.
- Treating \(\zeta\) as having units. Comparing \(c\) directly to \(1\) without the \(2\sqrt{mk}\) normalisation; only the dimensionless \(\zeta\) sorts regimes.
- Confusing amplitude and energy decay rates. The amplitude envelope decays as \(e^{-\gamma t}\), so the energy \(\propto A^2\) decays as \(e^{-2\gamma t}\) — twice the rate.
Discussion
The whole story lives in the complex \(\lambda\)-plane. Each root is a point whose real part is a decay rate and imaginary part an oscillation frequency. As \(c\) increases from zero, the conjugate pair starts on the imaginary axis at \(\pm i\omega_0\) (pure SHM), slides left along a circle of radius \(\omega_0\) while staying conjugate (under-damped), collides on the negative real axis at \(-\omega_0\) (critical), then splits into two real roots that walk apart — one racing toward \(-\infty\), the other creeping toward the origin (over-damped). Critical damping is precisely the moment of collision, which is why it is a genuine boundary and not merely "a lot of damping."
Energetically, the drag does negative work at rate \(P=-c\dot{x}^2\le0\), so the mechanical energy \(E=\tfrac12 m\dot{x}^2+\tfrac12 kx^2\) is monotonically non-increasing: \(\dot{E}=-c\dot{x}^2\). This is the physical content behind every root having \(\operatorname{Re}\lambda<0\). The quality factor \(Q=\omega_0/2\gamma=\sqrt{mk}/c=1/2\zeta\) repackages the same physics: \(Q\) counts, up to \(2\pi\), the oscillations before the energy falls by \(e^{-1}\). Under-damped is \(Q>\tfrac12\), critical exactly \(Q=\tfrac12\), over-damped \(Q<\tfrac12\); a wine glass has \(Q\sim10^3\), a quartz crystal \(\sim10^6\).
Term for term, the same characteristic equation is the series \(RLC\) circuit \(L\ddot{q}+R\dot{q}+q/C=0\), under the map \(m\to L,\ c\to R,\ k\to1/C\): inductance is inertia, resistance is drag, inverse capacitance is stiffness. Under-, critically, and over-damped ringdown of a circuit are the electrical translation of this mechanical result, which is why one differential-equations toolkit serves mechanics, electronics, and acoustics alike.
Deeper still, the roots \(\lambda_\pm\) are the eigenvalues of the companion matrix of the first-order system \(\dot{x}=v,\ \dot{v}=-\omega_0^2 x-2\gamma v\), and the three regimes are the phase-plane classification of a fixed point: stable spiral (\(\Delta<0\)), degenerate/improper node (\(\Delta=0\)), stable node (\(\Delta>0\)). In the Laplace domain the same \(\lambda_\pm\) are the poles of the transfer function \(H(s)=1/(ms^2+cs+k)\); \(\Delta<0\) places them off the real axis at \(-\gamma\pm i\omega_d\) in the left half-plane, their distance from the imaginary axis being the decay rate and their height the ringing frequency. The complex-to-real transition at \(\Delta=0\) is a codimension-one event whose generalisation decides the linear stability of equilibria in every autonomous dynamical system.
Common misconceptions. "More damping always settles faster" is false past critical; "damped frequency equals natural frequency" ignores the \(-\gamma^2\) shift; and "over-damped means no motion" is wrong — the system still moves, it simply crawls back monotonically without crossing zero.
Worked examples
Reading. The wheel oscillates about three times a second, each swing \(1/e\) smaller after \(0.21\ \text{s}\) — noticeable float. Critical damping would need \(c_c=2m\omega_0=2(250)(18.97)\approx9.5\times10^{3}\ \text{N s m}^{-1}\), about four times the fitted value.
Units check. \(\gamma,\omega_0,\omega_d\) all in \(\text{s}^{-1}\); \(\zeta\) dimensionless; envelope exponent \(\gamma t=(\text{s}^{-1})(\text{s})\) dimensionless.
Reading. Critical damping requires exactly \(20\ \text{N s m}^{-1}\). The mass returns to within \(1\%\) of equilibrium in about a third of a second without ever overshooting; any larger \(c\) would take longer.
Units check. \([c_c]=2\sqrt{\text{kg}\cdot\text{N m}^{-1}}=2\sqrt{\text{kg}\cdot\text{kg s}^{-2}}=\text{kg s}^{-1}=\text{N s m}^{-1}\); the exponent \(\gamma t\) is dimensionless and \(t\) emerges in seconds.
Problems
- A mass \(m=2.0\ \text{kg}\) on a spring \(k=50\ \text{N m}^{-1}\) has damping \(c=30\ \text{N s m}^{-1}\). Classify the regime and give the roots.
Solution
\(\Delta=c^2-4mk=900-4(2.0)(50)=900-400=+500>0\Rightarrow\) over-damped. Check: \(\omega_0=\sqrt{50/2.0}=5.0\ \text{s}^{-1}\), \(\gamma=30/(2\cdot2.0)=7.5\ \text{s}^{-1}\), \(\zeta=7.5/5.0=1.5>1\). Roots \(\lambda_\pm=-7.5\pm\sqrt{56.25-25}=-7.5\pm5.59\), i.e. \(\lambda_+=-1.91\ \text{s}^{-1}\) and \(\lambda_-=-13.1\ \text{s}^{-1}\); both real and negative, decay dominated by the slow \(-1.91\ \text{s}^{-1}\) mode. - A system has \(m=0.20\ \text{kg}\), \(k=5.0\ \text{N m}^{-1}\), \(c=0.40\ \text{N s m}^{-1}\). Classify it, give \(\omega_d\), and find the \(c\) that would make it critical.
Solution
\(\omega_0=\sqrt{5.0/0.20}=\sqrt{25}=5.0\ \text{s}^{-1}\), \(\gamma=0.40/(2\cdot0.20)=1.0\ \text{s}^{-1}\). Since \(\gamma=1.0<\omega_0=5.0\Rightarrow\) under-damped. \(\omega_d=\sqrt{25-1}=\sqrt{24}=4.90\ \text{s}^{-1}\) (about \(2\%\) below \(\omega_0\)). Critical: \(c_c=2\sqrt{mk}=2\sqrt{(0.20)(5.0)}=2\sqrt{1.0}=2.0\ \text{N s m}^{-1}\); the fitted \(c\) is one-fifth of critical. - Compare settling speeds. For fixed \(\omega_0=10\ \text{s}^{-1}\), find the dominant (slowest) decay rate at \(\zeta=1\) and at \(\zeta=2\), and say which returns to rest faster.
Solution
At \(\zeta=1\): repeated root \(\lambda=-\gamma=-\omega_0=-10\ \text{s}^{-1}\); envelope \(\sim e^{-10t}\) (times a slowly rising \(t\)). At \(\zeta=2\): \(\gamma=2\omega_0=20\), \(\beta=\sqrt{\gamma^2-\omega_0^2}=\sqrt{400-100}=17.3\); slow root \(\lambda_+=-20+17.3=-2.68\ \text{s}^{-1}\). The over-damped case is governed by the slow \(-2.68\ \text{s}^{-1}\) mode, far slower than the \(-10\ \text{s}^{-1}\) of critical damping. Critical wins — increasing \(c\) past \(c_c\) slows the return. - An \(RLC\) series circuit has \(L=0.10\ \text{H}\), \(R=200\ \Omega\), \(C=1.0\ \mu\text{F}\). Using \(m\to L,\ c\to R,\ k\to1/C\), classify the charge oscillation and find any ring frequency.
Solution
\(\Delta=R^2-4L/C=200^2-4(0.10)/(1.0\times10^{-6})=4.0\times10^{4}-4.0\times10^{5}<0\Rightarrow\) under-damped. \(\omega_0=1/\sqrt{LC}=1/\sqrt{(0.10)(1.0\times10^{-6})}=1/\sqrt{1.0\times10^{-7}}=3.16\times10^{3}\ \text{s}^{-1}\). \(\gamma=R/(2L)=200/0.20=1.0\times10^{3}\ \text{s}^{-1}\). \(\omega_d=\sqrt{\omega_0^2-\gamma^2}=\sqrt{1.0\times10^{7}-1.0\times10^{6}}=\sqrt{9.0\times10^{6}}=3.0\times10^{3}\ \text{s}^{-1}\). The charge rings at \(\approx3.0\times10^{3}\ \text{rad s}^{-1}\) with envelope \(e^{-1000t}\). - A critically-damped system (\(\gamma=\omega_0=2.0\ \text{s}^{-1}\)) starts from rest at \(x(0)=0.10\ \text{m}\). Using \(x=(A+Bt)e^{-\gamma t}\), find \(A,B\) and the time of maximum speed.
Solution
Position: \(x(0)=A=0.10\ \text{m}\). Velocity \(\dot{x}=(B-\gamma(A+Bt))e^{-\gamma t}\); at rest \(\dot{x}(0)=B-\gamma A=0\Rightarrow B=\gamma A=2.0(0.10)=0.20\ \text{m s}^{-1}\). So \(x(t)=(0.10+0.20t)e^{-2t}\). Speed is extremal where \(\ddot{x}=0\): \(\ddot{x}=\gamma(-2B+\gamma(A+Bt))e^{-\gamma t}\). Setting the bracket to zero: \(-2(0.20)+2.0(0.10)+2.0(0.20)t=0\Rightarrow-0.40+0.20+0.40t=0\Rightarrow t=0.50\ \text{s}\).