Skip to content

Harmonic-Oscillator Number States

Number states are the normalized energy eigenstates of the quantum harmonic oscillator. They are eigenstates of the number operator N^=a^†a^\hat N=\hat a^\dagger\hat a, and the integer nn counts oscillator quanta.

For one oscillator,

N^∣n⟩=n∣n⟩,n=0,1,2,…\hat N\lvert n\rangle=n\lvert n\rangle, \qquad n=0,1,2,\ldots

The word “number” does not always mean literal particle number. For a mechanical oscillator it counts vibrational quanta. For a field mode it can become photon, phonon, or particle occupation number after additional physical interpretation.

Helpful background. Quantum Harmonic Oscillator to recognize oscillator energies, lengths, and eigenfunctions.

The oscillator Hamiltonian is

H^=ℏω(N^+12).\hat H =\hbar\omega\left(\hat N+\frac12\right).

Therefore

H^∣n⟩=En∣n⟩,En=ℏω(n+12).\hat H\lvert n\rangle =E_n\lvert n\rangle, \qquad E_n=\hbar\omega\left(n+\frac12\right).

The ground state is ∣0⟩\lvert0\rangle, not ∣1⟩\lvert1\rangle, and its energy is

E0=12ℏω.E_0=\frac12\hbar\omega.

The levels are equally spaced:

En+1−En=ℏω.E_{n+1}-E_n=\hbar\omega.

This equally spaced spectrum is why oscillator number states are the natural language for normal modes.

Number states are orthonormal:

⟨m∣n⟩=δmn.\langle m\vert n\rangle=\delta_{mn}.

They form a complete basis for the oscillator Hilbert space:

∑n=0∞∣n⟩⟨n∣=I^.\sum_{n=0}^{\infty} \lvert n\rangle\langle n\rvert =\hat I.

An arbitrary normalized oscillator state can be expanded as

∣ψ⟩=∑n=0∞cn∣n⟩,∑n=0∞∣cn∣2=1.\lvert\psi\rangle =\sum_{n=0}^{\infty}c_n\lvert n\rangle, \qquad \sum_{n=0}^{\infty}\lvert c_n\rvert^2=1.

If the oscillator energy is measured, the probability of obtaining the level EnE_n is

P(n)=∣cn∣2.P(n)=\lvert c_n\rvert^2.

When the following sum converges, the mean number is

⟨N^⟩=∑n=0∞n∣cn∣2.\langle \hat N\rangle =\sum_{n=0}^{\infty}n\lvert c_n\rvert^2.

The annihilation and creation operators act as

a^∣n⟩=n ∣n−1⟩,\hat a\lvert n\rangle =\sqrt n\,\lvert n-1\rangle,

and

a^†∣n⟩=n+1 ∣n+1⟩.\hat a^\dagger\lvert n\rangle =\sqrt{n+1}\,\lvert n+1\rangle.

The ground state is defined by

a^∣0⟩=0.\hat a\lvert0\rangle=0.

The normalized number states can be built from the ground state:

∣n⟩=(a^†)nn!∣0⟩.\lvert n\rangle =\frac{(\hat a^\dagger)^n}{\sqrt{n!}} \lvert0\rangle.

The operators themselves do not preserve norm: ∥a∣n⟩∥=n\lVert a|n\rangle\rVert=\sqrt n. The square-root factors tell how to normalize the resulting state and determine transition matrix elements.

Using the oscillator length

ℓ=ℏmω,\ell=\sqrt{\frac{\hbar}{m\omega}},

the position and momentum operators are

x^=ℓ2(a^+a^†),\hat x =\frac{\ell}{\sqrt2} \left(\hat a+\hat a^\dagger\right),

and

p^=ℏiℓ2(a^−a^†).\hat p =\frac{\hbar}{i\ell\sqrt2} \left(\hat a-\hat a^\dagger\right).

Thus x^\hat x and p^\hat p connect only neighboring number states:

⟨m∣x^∣n⟩=ℓ2(n δm,n−1+n+1 δm,n+1).\langle m\vert \hat x\vert n\rangle =\frac{\ell}{\sqrt2} \left( \sqrt n\,\delta_{m,n-1} +\sqrt{n+1}\,\delta_{m,n+1} \right).

This nearest-neighbor structure is the algebraic source of many oscillator selection rules.

In position representation,

ψn(x)=⟨x∣n⟩.\psi_n(x)=\langle x\vert n\rangle.

With ℓ=ℏ/(mω)\ell=\sqrt{\hbar/(m\omega)}, the normalized wavefunctions are

ψn(x)=12nn!(1πℓ2)1/4Hn(xℓ)e−x2/(2ℓ2).\psi_n(x) =\frac{1}{\sqrt{2^n n!}} \left(\frac{1}{\pi\ell^2}\right)^{1/4} H_n\left(\frac{x}{\ell}\right) e^{-x^2/(2\ell^2)}.

Here HnH_n is the nnth Hermite polynomial. The parity is

ψn(−x)=(−1)nψn(x).\psi_n(-x)=(-1)^n\psi_n(x).

Even nn gives even wavefunctions; odd nn gives odd wavefunctions. The nnth wavefunction has nn nodes.

A number state has a time-dependent phase

∣n,t⟩=e−iEnt/ℏ∣n⟩.\lvert n,t\rangle =e^{-iE_nt/\hbar}\lvert n\rangle.

Its probability density is time independent. Also,

⟨n∣x^∣n⟩=0,⟨n∣p^∣n⟩=0.\langle n\vert\hat x\vert n\rangle=0, \qquad \langle n\vert\hat p\vert n\rangle=0.

Thus a number state is not a particle moving back and forth along a classical oscillator trajectory. Classical-like oscillatory motion requires superpositions, with coherent states as the canonical example.

Number states reappear whenever harmonic modes are quantized:

  • molecular vibrations and phonons;
  • electromagnetic field modes and photons;
  • trapped-ion motion;
  • oscillator baths in open-system models;
  • normal modes in many-body theory and QFT.

The many-mode occupation-number language is developed in Fock-Space Number States. The bridge from oscillator modes to field modes is summarized in Harmonic Oscillator to Fields.

  • Starting the number label at n=1n=1 instead of n=0n=0.
  • Forgetting the zero-point energy ℏω/2\hbar\omega/2.
  • Treating a^\hat a and a^†\hat a^\dagger as ordinary numbers that commute.
  • Dropping the square-root factors in the ladder actions.
  • Assuming a number state oscillates in position like a classical mass on a spring.
  • Calling every oscillator quantum a particle without checking the physical interpretation of the mode.
  • Confusing a single-oscillator number basis with many-mode Fock space.
  1. Show that ∣n⟩=(a^†)n∣0⟩/n!\lvert n\rangle=(\hat a^\dagger)^n\lvert0\rangle/\sqrt{n!} is normalized if ∣0⟩\lvert0\rangle is normalized.
Solution

Use the ladder action repeatedly:

a^†∣n−1⟩=n ∣n⟩.\hat a^\dagger\lvert n-1\rangle =\sqrt n\,\lvert n\rangle.

Starting from ∣0⟩\lvert0\rangle, repeated application gives

(a^†)n∣0⟩=n! ∣n⟩.(\hat a^\dagger)^n\lvert0\rangle =\sqrt{n!}\,\lvert n\rangle.

Therefore dividing by n!\sqrt{n!} produces the normalized state ∣n⟩\lvert n\rangle.

  1. Compute ⟨n∣x^∣n⟩\langle n\vert\hat x\vert n\rangle using ladder operators.
Solution

Since

x^=ℓ2(a^+a^†),\hat x =\frac{\ell}{\sqrt2} \left(\hat a+\hat a^\dagger\right),

we have

⟨n∣x^∣n⟩=ℓ2(⟨n∣a^∣n⟩+⟨n∣a^†∣n⟩).\langle n\vert\hat x\vert n\rangle =\frac{\ell}{\sqrt2} \left( \langle n\vert\hat a\vert n\rangle +\langle n\vert\hat a^\dagger\vert n\rangle \right).

But a^∣n⟩\hat a\lvert n\rangle is proportional to ∣n−1⟩\lvert n-1\rangle and a^†∣n⟩\hat a^\dagger\lvert n\rangle is proportional to ∣n+1⟩\lvert n+1\rangle, both orthogonal to ∣n⟩\lvert n\rangle. Hence

⟨n∣x^∣n⟩=0.\langle n\vert\hat x\vert n\rangle=0.
  1. If ∣ψ⟩=(∣0⟩+3 ∣1⟩)/2\lvert\psi\rangle=(\lvert0\rangle+\sqrt3\,\lvert1\rangle)/2, what are the possible oscillator energies and their probabilities?
Solution

The coefficients are c0=1/2c_0=1/2 and c1=3/2c_1=\sqrt3/2. Therefore

P(0)=14,P(1)=34.P(0)=\frac14, \qquad P(1)=\frac34.

The possible energies are

E0=12ℏω,E1=32ℏω.E_0=\frac12\hbar\omega, \qquad E_1=\frac32\hbar\omega.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
  • M. O. Scully and M. S. Zubairy, Quantum Optics, Cambridge University Press, 1997.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.