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
-
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).
-
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.
-
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.
-
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."
-
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 |