The Quantum Harmonic Oscillator

We have solved this exact system three times before. Newton's second law gave $\ddot x = -\omega^2 x$ . Lagrangian mechanics and the Hamiltonian formalism both reproduced the same equation from completely different starting assumptions, and along the way we found $H = \frac{p^2}{2m} + \frac{1}{2}m\omega^2x^2$ — total energy, a clean parabola in phase space. Three formalisms, one answer, no surprises.

Now let's ask what quantum mechanics says about the same spring. This is where something genuinely new happens: the energy stops being a continuous dial you can set to any value, and becomes a ladder with evenly spaced rungs — and the bottom rung isn't at zero.

Promoting the Hamiltonian

The recipe is exactly the one from the previous topic: take the classical Hamiltonian and reinterpret $x$ and $p$ as operators.

\hat H = \frac{\hat p^2}{2m} + \frac{1}{2}m\omega^2\hat x^2

The time-independent Schrödinger equation, $\hat H\phi = E\phi$ , can be attacked head-on as a differential equation, and if you do, you'll eventually meet a family of functions called Hermite polynomials. That route works, but it obscures the physics in a thicket of series solutions. There's a far more elegant path — algebraic, almost sneaky — that gets to the answer with nothing but the commutator $[\hat x,\hat p] = i\hbar$ we already derived.

Ladder operators: a change of variables that isn't obviously legal

Define two new operators, built by combining $\hat x$ and $\hat p$ in a specific complex combination:

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

There's no obvious motivation for this combination the first time you see it — it looks like an algebra trick pulled from nowhere. Trust it for a moment and watch what it buys you. First, their commutator, computed directly from $[\hat x, \hat p] = i\hbar$ :

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

(a clean, dimensionless number — worth pausing on, since every other commutator we've written so far had units). Second, and this is the payoff, invert the definitions to write $\hat x$ and $\hat p$ back in terms of $\hat a$ and $\hat a^\dagger$ , substitute into $\hat H$ , and after the algebra settles:

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

The messy quadratic Hamiltonian we started with has become almost embarrassingly simple — just a single operator combination, $\hat a^\dagger \hat a$ , dressed in constants.

The number operator and the ladder

Call $\hat N = \hat a^{\dagger}\hat a$ the number operator. Since $\hat H = \hbar\omega(\hat N + \frac12)$ , finding the energy levels of the oscillator is now identical to finding the eigenvalues of $\hat N$ . Using only the commutator $[\hat a,\hat a^\dagger]=1$ , one can show that if $|n\rangle$ is an eigenstate of $\hat N$ with eigenvalue $n$ , then:

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

$\hat a^\dagger$ pushes the system one rung up the ladder; $\hat a$ pushes it one rung down. That's the origin of their names: raising and lowering operators (or, in the language you'll meet again in quantum field theory, creation and annihilation operators). Since $\hat a$ keeps lowering $n$ by one each time it acts, and probabilities can never go negative, this process has to stop somewhere — there must be a lowest rung $|0\rangle$ , the ground state, defined by the condition that lowering it any further gives nothing:

\hat a|0\rangle = 0

Everything else follows from repeatedly applying $\hat a^\dagger$ to this one state. The full spectrum is:

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

An energy-level diagram showing a parabolic potential well with five evenly spaced horizontal energy levels labeled n=0 through n=4, with a gap of one-half h-bar omega between the well's minimum and the lowest level, and a spacing of h-bar omega between each level. — Every rung is separated from its neighbors by exactly ℏω. The bottom rung sits at ½ℏω, not zero — the oscillator is never entirely at rest.

Two things about this result are worth sitting with. First, the levels are evenly spaced — the gap between $n=0$ and $n=1$ is identical to the gap between $n=50$ and $n=51$ , a distinctive fingerprint of this particular potential that most other quantum systems (including the infinite square well from the previous topic, where the spacing grows with $n$ ) don't share. Second, the ground-state energy $E_0 = \frac{1}{2}\hbar\omega$ is not zero. Classically, the lowest-energy state of a spring is simply not moving at all, sitting exactly at equilibrium. Quantum mechanically, that option isn't on the table — it would mean knowing $x=0$ and $p=0$ simultaneously, which the uncertainty principle from the previous topic forbids. This leftover minimum energy is called the zero-point energy, and it's real: it's measurable, and it's the reason a quantum oscillator can never be brought to perfect, motionless rest, no matter how much energy you remove.

Worked example

Find the ground-state wave function of the quantum harmonic oscillator. (click to reveal the solution)

Setting up: rather than solving the Schrödinger equation directly, use the defining property of the ground state: $\hat a|0\rangle = 0$ . In the position representation, with $\hat p = -i\hbar\,d/dx$ , this becomes a first-order differential equation for $\phi_0(x)$ :

\sqrt{\frac{m\omega}{2\hbar}}\left(x + \frac{i}{m\omega}\left(-i\hbar\frac{d}{dx}\right)\right)\phi_0(x) = 0

Simplifying: the overall constant out front doesn't affect where the equation is zero, so we can drop it:

x\phi_0 + \frac{\hbar}{m\omega}\frac{d\phi_0}{dx} = 0 \quad\Longrightarrow\quad \frac{d\phi_0}{dx} = -\frac{m\omega}{\hbar}\,x\,\phi_0

Solving — this separates directly:

\frac{d\phi_0}{\phi_0} = -\frac{m\omega}{\hbar}x\,dx \quad\Longrightarrow\quad \ln \phi_0 = -\frac{m\omega}{2\hbar}x^2 + \text{const} \quad\Longrightarrow\quad \phi_0(x) = C\exp\left(-\frac{m\omega}{2\hbar}x^2\right)

Normalizing: require $\int_{-\infty}^{\infty}|\phi_0(x)|^2\,dx = 1$ . Using the standard Gaussian integral $\int e^{-ax^2}dx = \sqrt{\pi/a}$ with $a = m\omega/\hbar$ :

C^2\sqrt{\frac{\pi\hbar}{m\omega}} = 1 \quad\Longrightarrow\quad C = \left(\frac{m\omega}{\pi\hbar}\right)^{1/4}

So the ground state is a Gaussian:

\phi_0(x) = \left(\frac{m\omega}{\pi\hbar}\right)^{1/4}\exp\left(-\frac{m\omega x^2}{2\hbar}\right)

Notice what we never had to do: solve a second-order differential equation, meet a Hermite polynomial, or grind through a power-series ansatz. The entire ground state fell out of one algebraic condition, $\hat a|0\rangle=0$ . Every excited state $|n\rangle$ can now be reached from here just by applying $\hat a^\dagger$ repeatedly — no new differential equation required at any step.

Where this leads

Notice the language this topic reached for without much comment: raising and lowering, creating and annihilating a quantum of energy $\hbar\omega$ . That's not a coincidence of naming, and it's not a metaphor either. When this same machinery is applied not to a single spring but to a field that fills all of space — the subject of classical and quantum field theory, further along this track — each independent oscillation mode of the field gets its own ladder exactly like this one, and climbing a rung is what it means to create a particle. The ladder operator you just used to find a ground-state wave function is, essentially unchanged, the mathematical object quantum field theory calls a particle.