Oscillator as a Universal Local Model

The harmonic oscillator appears everywhere because smooth systems near stable equilibrium are locally quadratic. The exact oscillator is one solvable Hamiltonian, but the oscillator approximation is much broader: it is the first local model of small quantum fluctuations around a stable configuration.

This is the reason oscillator language appears in molecular vibrations, trapped ions, lattice phonons, electromagnetic modes, small field fluctuations, and many normal-mode decompositions.

One-Dimensional Local Expansion

Let $x_0$ be a stable minimum of a smooth potential. Then

$$V'(x_0)=0, \qquad V''(x_0)\gt 0.$$

For a small displacement

$$\eta=x-x_0,$$

Taylor expansion gives

$$V(x_0+\eta) = V(x_0) +\frac12V''(x_0)\eta^2 +\frac16V'''(x_0)\eta^3 +\cdots.$$

For sufficiently small $\eta$, the quadratic term is the leading nonconstant term. Define

$$K=V''(x_0), \qquad \omega=\sqrt{\frac{K}{m}}.$$

Then the local Hamiltonian is

$$\hat H \approx \frac{\hat p^2}{2m} +V(x_0) +\frac12m\omega^2(\hat x-x_0)^2.$$

Thus the low-lying energies are approximately

$$E_n \approx V(x_0) +\hbar\omega \left( n+\frac12 \right), \qquad n=0,1,2,\ldots$$

The constant $V(x_0)$ sets the energy zero for that local well. The spacing is controlled by the curvature $V''(x_0)$ and the mass.

Why This Is Universal

The oscillator approximation comes from two durable facts:

• smooth functions have Taylor expansions;
• a stable equilibrium has no linear term and has positive quadratic curvature.

The linear term vanishes because the force is zero at equilibrium. The quadratic term is the first restoring force. Quantum mechanics then turns this local quadratic Hamiltonian into a ladder of states with spacing $\hbar\omega$ and a finite ground-state width.

This universality is local. It does not claim that the whole potential is parabolic, only that sufficiently small fluctuations around a stable point are governed first by the parabolic part.

Validity Of The Approximation

The oscillator approximation is strongest for low-lying states whose wavefunctions live mostly near the minimum. The natural ground-state width is

$$\Delta x_0=\frac{\ell}{\sqrt2}, \qquad \ell=\sqrt{\frac{\hbar}{m\omega}}.$$

Anharmonic terms are small when the typical displacement sampled by the state is small compared with the length scale over which the potential curvature changes.

For example, comparing the cubic correction with the quadratic term at displacement $\eta$ gives the rough dimensionless ratio

$$\epsilon_3(\eta) \sim \frac{\lvert V'''(x_0)\rvert\,\lvert\eta\rvert} {3V''(x_0)}.$$

If $\epsilon_3(\ell)\ll1$, the ground state is well described by the harmonic approximation. Higher excited states sample larger displacements, so the approximation usually worsens as $n$ increases.

Multiple Degrees Of Freedom

For coordinates collected into a vector $\mathbf q$, expand around an equilibrium $\mathbf q_0$:

$$\mathbf q=\mathbf q_0+\boldsymbol\eta.$$

The potential has the local form

$$V(\mathbf q_0+\boldsymbol\eta) = V(\mathbf q_0) +\frac12\boldsymbol\eta^T K\boldsymbol\eta +\cdots,$$

where $K$ is the Hessian matrix,

$$K_{ij} = \left. \frac{\partial^2 V}{\partial q_i\partial q_j} \right\rvert_{\mathbf q=\mathbf q_0}.$$

With a mass matrix $M$, the small-oscillation problem reduces to normal modes. In mass-weighted coordinates, the relevant symmetric matrix is

$$D=M^{-1/2}KM^{-1/2}.$$

Its eigenvalues are the squared normal-mode frequencies:

$$D\mathbf e_\alpha=\omega_\alpha^2\mathbf e_\alpha.$$

After diagonalization, the quadratic Hamiltonian becomes a sum of independent oscillators:

$$H \approx V(\mathbf q_0) + \sum_\alpha \left( \frac{P_\alpha^2}{2} +\frac12\omega_\alpha^2Q_\alpha^2 \right).$$

Quantization gives

$$E_{\{n_\alpha\}} \approx V(\mathbf q_0) + \sum_\alpha \hbar\omega_\alpha \left( n_\alpha+\frac12 \right).$$

This is the general normal-mode pattern. The two-oscillator version is worked out explicitly in Coupled Oscillators: First Encounter.

Examples

System	Local oscillator coordinate	What sets the frequency	Main caution
Diatomic molecule	bond-length displacement	curvature of the molecular potential at equilibrium	anharmonicity matters near dissociation
Polyatomic molecule	normal-mode coordinate	Hessian of the potential energy surface	rotations, translations, and mode coupling need separation
Crystal lattice	collective displacement mode	force constants and mass density	phonons are normal-mode quanta, not atoms
Trapped ion	displacement in the trap	trap curvature and ion mass	micromotion and coupling to internal states can matter
Electromagnetic mode	field-mode amplitude	cavity or free-space mode frequency	field quantization and gauge conventions enter
Small field fluctuation	fluctuation around a background	quadratic part of the field Hamiltonian or action	interactions and renormalization go beyond the free modes

These examples are not the same physical system. They share the local quadratic structure.

Relation To Normal Modes And Fields

The oscillator becomes especially powerful when a system has many small-amplitude degrees of freedom. The quadratic approximation is first diagonalized classically into normal modes. Then each normal mode is quantized as an oscillator.

For a finite collection of modes this gives a finite sum. For a field in a box, the mode labels become wavevectors. In the continuum limit the sum becomes an integral, and the oscillator algebra becomes the starting point for field quantization.

The bridge is developed in Harmonic Oscillator to Fields. The important restriction is that free fields are quadratic. Interactions are the higher-order terms, just as anharmonicity is the higher-order correction to a molecular vibration.

What The Approximation Does Not Say

The oscillator approximation is a local statement, not a global solution.

It does not determine:

• tunneling between separated minima;
• dissociation of a molecule at large bond length;
• hard-wall boundary conditions far from the minimum;
• highly excited states that explore anharmonic regions;
• spectra near unstable equilibria;
• zero modes associated with translations, rotations, or continuous symmetries;
• interactions between normal-mode quanta.

If the quadratic term is absent or has zero curvature, the leading local model changes. If the curvature is negative, the point is unstable rather than an oscillator minimum. If the potential is nonsmooth, Taylor expansion may not be the right tool.

Common Mistakes

• Saying every bound potential is globally a harmonic oscillator.
• Using the harmonic approximation for states that sample far outside the quadratic region.
• Ignoring the constant offset $V(x_0)$ when comparing different minima.
• Treating normal-mode quanta as particles attached to original coordinates.
• Forgetting zero modes when a symmetry leaves the energy unchanged.
• Calling an unstable maximum an oscillator just because the potential has a quadratic term.
• Presenting field modes as independent oscillators without stating that this is the free, quadratic approximation.

Where This Is Used

• Quantum Harmonic Oscillator gives the exact one-dimensional model.
• Zero-Point Energy explains the universal ground-state contribution of each stable mode.
• Coupled Oscillators: First Encounter shows the finite normal-mode construction.
• Energy Scales in One Dimension uses curvature to estimate local oscillator scales.
• Lagrangian Mechanics Review gives the classical small-oscillation background.
• Quantum Chemistry Crosswalk points to molecular vibration and normal-mode uses.
• Vibrations of Diatomics shows how a local quadratic model becomes a spectroscopic approximation and where anharmonicity and dissociation invalidate it.
• Normal Modes of Polyatomics develops the molecular mass-weighted Hessian, external zero modes, symmetry classification, and computational checks.
• Harmonic Oscillator to Fields explains how quadratic normal modes become field modes.

References

• L. D. Landau and E. M. Lifshitz, Mechanics, 3rd ed., Butterworth-Heinemann, 1976.
• R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
• D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
• C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
• M. Born and K. Huang, Dynamical Theory of Crystal Lattices, Oxford University Press, 1954.
• N. W. Ashcroft and N. D. Mermin, Solid State Physics, Saunders, 1976.

Exercises

1. Let

$$V(x)=a(x^2-b^2)^2, \qquad a\gt 0, \qquad b\gt 0.$$

Find the harmonic frequency near the minimum at $x=b$.

Solution

Compute derivatives:

$$V'(x)=4ax(x^2-b^2),$$

and

$$V''(x)=4a(3x^2-b^2).$$

At $x=b$,

$$V''(b)=8ab^2.$$

Thus the local oscillator frequency is

$$\omega=\sqrt{\frac{8ab^2}{m}}.$$

2. A potential near $x_0$ is

$$V(x_0+\eta) = V(x_0)+\frac12K\eta^2+\cdots.$$

Classify the local behavior for $K\gt 0$, $K=0$, and $K\lt 0$.

Solution

If $K\gt 0$, the point is a stable quadratic minimum and the local model is a harmonic oscillator. If $K=0$, the quadratic term does not supply a restoring force; higher terms or symmetry directions must be examined. If $K\lt 0$, the point is locally unstable, like an inverted oscillator rather than a bound harmonic oscillator.

3. A two-dimensional system has mass $m$ in both coordinates and local potential

$$V = V_0 +\frac12K_1\eta_1^2 +\frac12K_2\eta_2^2.$$

What are the approximate quantum energies?

Solution

The two coordinates are already normal modes. Their frequencies are

$$\omega_1=\sqrt{\frac{K_1}{m}}, \qquad \omega_2=\sqrt{\frac{K_2}{m}}.$$

The energies are

$$E_{n_1,n_2} \approx V_0 +\hbar\omega_1 \left( n_1+\frac12 \right) +\hbar\omega_2 \left( n_2+\frac12 \right).$$

4. Why does an exact double-well potential require more than one local oscillator approximation?

Solution

Each minimum has its own local quadratic approximation, which describes low-lying states localized near that minimum. The full double-well problem also includes tunneling through the barrier and global parity combinations of localized states. Those effects depend on the barrier between minima and are not determined by either local oscillator alone.