Chapter 4 Key Takeaways

The Big Picture

The quantum harmonic oscillator (QHO) is the single most important exactly solvable problem in quantum mechanics. Every smooth potential near a stable equilibrium is approximately parabolic, making the QHO the universal first approximation to bound quantum systems. Beyond this, the QHO is the mathematical backbone of quantum field theory: every mode of every quantum field is a harmonic oscillator, and photons, phonons, and other quanta are excitations of these oscillators.


Key Equations

Energy Spectrum

$$E_n = \left(n + \frac{1}{2}\right)\hbar\omega, \qquad n = 0, 1, 2, 3, \ldots$$

  • Equally spaced levels with spacing $\Delta E = \hbar\omega$
  • Ground state energy (zero-point energy): $E_0 = \frac{1}{2}\hbar\omega$
  • Angular frequency: $\omega = \sqrt{k/m}$

Wavefunctions (Analytical)

$$\psi_n(x) = \left(\frac{m\omega}{\pi\hbar}\right)^{1/4} \frac{1}{\sqrt{2^n n!}}\, H_n(\xi)\, e^{-\xi^2/2}$$

where $\xi = \sqrt{m\omega/\hbar}\, x$ and $H_n$ are Hermite polynomials.

Ladder Operators (Algebraic)

$$\hat{a} = \sqrt{\frac{m\omega}{2\hbar}}\left(\hat{x} + \frac{i\hat{p}}{m\omega}\right), \qquad \hat{a}^\dagger = \sqrt{\frac{m\omega}{2\hbar}}\left(\hat{x} - \frac{i\hat{p}}{m\omega}\right)$$

$$[\hat{a}, \hat{a}^\dagger] = 1$$

$$\hat{H} = \hbar\omega\left(\hat{a}^\dagger\hat{a} + \frac{1}{2}\right)$$

$$\hat{a}|n\rangle = \sqrt{n}\,|n-1\rangle, \qquad \hat{a}^\dagger|n\rangle = \sqrt{n+1}\,|n+1\rangle$$

Position and Momentum in Terms of Ladder Operators

$$\hat{x} = \sqrt{\frac{\hbar}{2m\omega}}(\hat{a} + \hat{a}^\dagger), \qquad \hat{p} = i\sqrt{\frac{m\omega\hbar}{2}}(\hat{a}^\dagger - \hat{a})$$

Coherent States

$$|\alpha\rangle = e^{-|\alpha|^2/2}\sum_{n=0}^{\infty}\frac{\alpha^n}{\sqrt{n!}}\,|n\rangle, \qquad \hat{a}|\alpha\rangle = \alpha|\alpha\rangle$$

  • Mean photon number: $\bar{n} = |\alpha|^2$
  • Minimum uncertainty: $\Delta x \cdot \Delta p = \hbar/2$
  • Poisson photon number distribution: $P(n) = |\alpha|^{2n}e^{-|\alpha|^2}/n!$

Comparison Table: Analytical vs. Algebraic Methods

Analytical (Hermite) Algebraic (Ladder)
Starting point Schr\u00f6dinger equation as ODE Commutation relation $[\hat{a}, \hat{a}^\dagger] = 1$
Key technique Power series, recursion relation, truncation Operator algebra, norm positivity
Produces energies Yes, from $\epsilon = 2n + 1$ Yes, from $\hat{H} = \hbar\omega(\hat{n} + 1/2)$
Produces wavefunctions Yes, explicit Hermite polynomials Indirectly, via $|n\rangle = (\hat{a}^\dagger)^n|0\rangle/\sqrt{n!}$
Matrix elements Requires integration over Hermite products Immediate from $\hat{a}$, $\hat{a}^\dagger$ action
Mathematical difficulty Heavy (series solutions, special functions) Elegant (commutator algebra)
Best for Explicit spatial calculations Structure, selection rules, generalization
Generalizes to Other ODE-solvable potentials Angular momentum, spin, QFT, Lie algebras

Applications Map

                    Quantum Harmonic Oscillator
                              |
        ┌─────────────┬───────┴────────┬──────────────┐
        |             |                |              |
   Molecular      Phonons         Photons      Quantum
   Vibrations    in Solids     (QED modes)    Circuits
        |             |                |              |
   IR spectra    Specific heat   Laser light     Qubits
   Isotope       Thermal        Casimir        (transmon)
   effects       conductivity   effect
                                Spontaneous
                                emission

Hermite Polynomials Quick Reference

$n$ $H_n(\xi)$ $E_n / \hbar\omega$ Nodes Parity
0 $1$ $1/2$ 0 Even
1 $2\xi$ $3/2$ 1 Odd
2 $4\xi^2 - 2$ $5/2$ 2 Even
3 $8\xi^3 - 12\xi$ $7/2$ 3 Odd
4 $16\xi^4 - 48\xi^2 + 12$ $9/2$ 4 Even
5 $32\xi^5 - 160\xi^3 + 120\xi$ $11/2$ 5 Odd

Key identities: - Rodrigues: $H_n(\xi) = (-1)^n e^{\xi^2}\frac{d^n}{d\xi^n}e^{-\xi^2}$ - Recursion: $H_{n+1} = 2\xi H_n - 2nH_{n-1}$ - Orthogonality: $\int_{-\infty}^{\infty} H_m H_n e^{-\xi^2}d\xi = \sqrt{\pi}\,2^n n!\,\delta_{mn}$


Common Mistakes to Avoid

  1. Forgetting the zero-point energy. The ground state energy is $\frac{1}{2}\hbar\omega$, not zero. This is not optional — it has measurable consequences (Casimir effect, molecular zero-point motion).

  2. Confusing $\hat{a}|0\rangle = 0$ with $\hat{a}|0\rangle = |0\rangle$. The lowering operator applied to the ground state gives the zero vector (nothing), not the ground state itself.

  3. Thinking quantization is imposed. The energy quantization arises because non-terminating power series lead to non-normalizable wavefunctions. It is forced by the mathematics, not assumed.

  4. Assuming coherent states are energy eigenstates. Coherent states are superpositions of all energy eigenstates. They evolve in time — that is precisely what makes them "classical-like."

  5. Mixing up conventions for Hermite polynomials. Physicists use $H_n$ with leading coefficient $2^n$. Probabilists use $He_n$ with leading coefficient $1$. This textbook uses the physicist's convention throughout.


Connections to Other Chapters

Chapter Connection
Ch 2 TISE, normalization, $[\hat{x},\hat{p}] = i\hbar$ — all used directly
Ch 3 Comparison: infinite well ($E \propto n^2$) vs. QHO ($E \propto n$)
Ch 6 Ladder operators revisited in operator formalism context
Ch 8 QHO matrix representation in Dirac notation
Ch 17 Anharmonic oscillator as perturbation theory testbed
Ch 27 Coherent states in quantum optics
Ch 31 QHO propagator via path integrals
Ch 34 $\hat{a}$, $\hat{a}^\dagger$ become creation/annihilation operators in QFT