Quantum Harmonic Oscillator – Origin of the Number Operator Explained

harmonic-oscillatorhilbert-spaceoperatorsquantum mechanics

I have recently been learning about the quantum harmonic oscillator and how it is described in the language of ladder operators. At the moment the logic behind the number operator seems incomplete to me. As I understand it, the Hamiltonian can easily be shown to be

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

and then by comparison with the well-known energy spectrum of a harmonic oscillator, this suggests that the eigenvalues of the number operator $\hat{N} = \hat{a}^\dagger\hat{a}$ give the (integer) energy level of the oscillator. But in actually proving that $\hat{N}$ gives the appropriate eigenvalues, the general approach seems to be to use the normalised ladder operator relations:

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

However, to my knowledge these normalising prefactors themselves come from applying the number operator when attempting to normalise the result of an application of a ladder operator!

I would like to know if there is a method of acquiring these normalisations on the ladder operators without assuming the number operator, or alternatively if there is a way of showing the number operator works that doesn't rely on already knowing the normalisations.

Best Answer

You've got the logic of the derivation wrong, I think. I recommend re-reading it, but here's an outline of the process, and you'll see that it's not circular:

  1. Show that $\hat{H}$ can be factored as $\hat{a}^{\dagger}\hat{a}+\hat{I}/2$, where the raising and lowering operators are defined in terms of $\hat{x}$ and $\hat{p}$ as usual. Note that the number operator and $\hat{H}$ clearly commute, and so they share an eigenbasis.

  2. Derive a set of commutation relations using the commutation relations for $\hat{x}$ and $\hat{p}$. The results are $[\hat{a},\hat{a}^{\dagger}]=1$, $[\hat{a},\hat{a}^{\dagger}\hat{a}]=\hat{a}$, $[\hat{a}^{\dagger},\hat{a}^{\dagger}\hat{a}]=-\hat{a}^{\dagger}$, etc.

  3. Using the commutation relations directly, show that $\hat{a}|n\rangle$ is an eigenvector of $\hat{a}^{\dagger}\hat{a}$ with eigenvalue $n-1$. We don't know yet that $n$ is an integer, and (crucially, to show that we are not making a circular argument as the OP suggests) we don't know yet what the constant of proportionality is. That is, we know that $\hat{a}|n\rangle = C_n|n-1\rangle$, but we don't know what $C_n$ is.

  4. Argue that there must be a unique ground state $|G\rangle$ that is annihilated by $\hat{a}$, and use this to show that the eigenvalue is zero, i.e., $\hat{a}^{\dagger}\hat{a}|G\rangle = 0$. From this, we can conclude that the $n$'s are non-negative integers.

  5. Assuming that by $|n\rangle$ we mean the normalized eigenstates, calculate $\langle n | \hat{a}^{\dagger}\hat{a} |n \rangle$ in two ways to determine the value of $C_n$. Similarly, we can figure out the action of $\hat{a}^{\dagger}$ on $|0\rangle$.

Related Question