Part 3 · One-dimensional problems
3.5 The harmonic oscillator
Source: the analytic solution, Hermite polynomials and the ladder operators from the 2024/25 boards #12 and #13; this year’s course has not reached it yet
Objectives
- Understand why anything near a stable equilibrium is an oscillator, and why its levels are equally spaced.
- Recipes: solve the oscillator with a series; solve it again with ladder operators.
- Picture: a ladder of equally spaced levels inside a parabola, each eigenfunction leaking past its turning points.
- Theorems: ; , .
- Vocabulary: Hermite polynomials, zero-point energy, creation and annihilation operators, number operator.
The classical oscillator
A mass on a spring, sliding along . ==The force always points back to the rest position, and grows with the displacement== (Hooke’s law): with solution , period . The amplitude and phase are fixed by how the motion starts; depends only on and .
Why it is everywhere. Expand any force about an equilibrium : , and . For small displacements the linear term wins, with . ==Anything slightly displaced from a stable equilibrium is a harmonic oscillator==: atoms in a bond, atoms in a crystal, a pendulum.
The potential energy is , and . The ball rolls between the turning points where . Classically any is allowed, the lowest being the ball at rest at the bottom (beyond the boards). Unlike the finite well, the parabola never levels off: every state is bound. Like the infinite well it confines forever, but its walls slope, so the region the particle can reach widens with . That is why the levels come out evenly spaced rather than growing as .
The analytic solution
With , the Hamiltonian is Multiply by , call , divide by , and change to the dimensionless position : is an inverse length, so the energy appears only as : ==the oscillator’s natural unit of energy is == (beyond the boards).
Far from the centre, beats any fixed energy, and gives ; the other solution, , cannot be normalised. (The board justifies dropping the energy term with “if ”; what makes it negligible is .)
with the Hermite polynomials and normalisation
The series must stop
The board goes straight from the series to the result; the steps are beyond the boards.
- Put into the equation. The terms cancel and, with , .
- Insert . Each power gives
- If the series never stops, for large , the ratio of the series of . Then blows up.
- So it must stop: at some the numerator vanishes, , which is . is then a polynomial of degree .
is stated on the board without proof; is derived on board 13 (Theorem 3.5.8).
==Normalisability is what quantises the energy==, as the walls do in the infinite well.
- ==The levels are equally spaced, by ==: one quantum of the classical frequency.
- ==The lowest is , not zero.== The classical lowest state, at rest at the bottom, would have position and momentum both exactly 0, which forbids (Theorem 2.4.3). This zero-point energy is the zero-point vibration of a chemical bond.
| nodes | parity | |||
|---|---|---|---|---|
| 0 | none | even | ||
| 1 | odd | |||
| 2 | even |
by the chain rule; by differentiating once more. At the exam the polynomials are given. has nodes and parity . Each spreads wider as grows, with turning points at , and its tails go past them into the forbidden region.
Loading the demo…
An electron with nm: s⁻¹, so eV and eV. Room-temperature eV is smaller than the spacing: the electron sits mostly in the ground state.
Ladder operators
The second solution uses only operator algebra: no differential equation, no series. The idea (beyond the boards): in dimensionless variables the energy is , and for numbers . For operators that factorisation costs an extra , because and do not commute.
Rescale. With and , both dimensionless and Hermitian,
is the adjoint of : the example of Definition 1.4.8. So == is not Hermitian and not an observable==; it moves between states.
The Hamiltonian in ladder operators
The four products are , , and ; for numbers the commutator would be zero. Set beside , the energy eigenstates are eigenstates of with eigenvalue .
==The is the zero-point energy, and it comes from .== counts the quanta above the ground state. It is never negative, since is the squared length of (§1.4 Hermitian operators and Dirac notation, beyond the boards).
Proof
is the same expansion in the other order, which flips the sign of the commutator term: . Subtracting leaves 1. Then the commutes with everything. the same way, factoring out to the left (beyond the boards).
Lowering and raising
and with the phases chosen real and positive,
Proof
- lowers. , so : == is again an energy eigenstate, one rung down.== In 1D each energy has a single state, so , and the bra is . raises the same way (derived beyond the boards): .
- . , acting left and right; and gives . So . (Board 13 writes , copying the bracket from the line above; both brackets are 1.)
- . .
is the lowering or annihilation operator, the raising (the board writes “rising”) or creation operator. The levels are the rungs of a ladder: climbs one, adding a quantum ; steps down one. Read as adding or removing one photon in a mode of light, or one phonon in a crystal, they create and annihilate (beyond the boards). The spin operators of §4.1 Spin do the same between spin states.
with .
==Lowering the ground state gives the zero vector, not another state: the ladder has a bottom.== (The board crosses out .) It also pins the spectrum: a state with non-integer , lowered again and again, would never hit and would reach negative , which cannot be. So from the algebra alone (beyond the boards). Each step up brings , which is where the comes from.
The ground-state wavefunction
- In position, with , ; and .
- becomes ==a first-order equation instead of the second-order Schrödinger equation==:
- Separate: , so , the Gaussian of the analytic route (the integration is beyond the boards).
- Normalise with : .
The board sets the result beside : ==the two methods give the same ground state.==
is the turning point of a classical oscillator with the zero-point energy. The probability of finding the particle beyond it is : 16% of the time the ground state is where a classical particle of the same energy could never be (beyond the boards). The excited states follow by applying : , the analytic .
Exercises
(i) Write the Hamiltonian and the time-independent Schrödinger equation. (ii) Find the energy levels and sketch the first three eigenfunctions. (iii) Derive the eigenfunctions (Hermite polynomials given). (iv) Analogies and contrasts between classical and quantum results. (v) Write with ladder operators and discuss them. (vi) Find , , . (vii) Write the -th state from .
Solution
(i) , from , and . (ii) (Theorem 3.5.1); sketches from the table, each on its own level inside the parabola, with 0, 1, 2 nodes and tails past it. (iii) : dimensionless form, Gaussian at large , series, termination. (iv) Same ; classical any value , quantum discrete with spacing ; classical minimum 0, quantum ; the quantum particle leaks past the turning points; the classical density peaks at the turning points, where the ball is slowest, the quantum ground state at the centre. At large the averaged approaches the classical curve. (v) ; removes one quantum, adds one; not Hermitian, so not observables. (vi) , , (Theorem 3.5.6). (vii) .
At , in the oscillator. (a) . (b) and again. © .
Solution
(a) ; . (b) ; is unchanged. © links only neighbours: , . Each pair and its mirror add to a cosine: ==The average position oscillates at the classical frequency.== A single eigenstate would give : motion needs a superposition of neighbouring levels.
Two non-interacting identical spin-½ particles in the same oscillator are in . (a) The spin part. (b) The total energy. © Its value in eV for nm and an electron’s mass.
Solution
(a) The spatial part is symmetric under ; fermions need the whole state antisymmetric, so is the singlet (§5.1 Identical particles). (b) is the spatial part: one particle in , one in . . (The sheet’s prefactor makes ; normalised it is . The energy is unaffected.) © s⁻¹, eV, eV.
Show that in , and , and that the ground state has .
Solution
changes by , so its diagonal element is 0. In only the middle two keep : . The same for : . So , the minimum at , a Gaussian (Key observation 2.5.4).
Evaluate and . Is Hermitian?
Solution
; then gives . . No: ; the Hermitian combinations are and .
A diatomic molecule vibrates with eV. Zero-point energy, and the photon that excites ?
Solution
eV; the photon carries eV, µm, infrared. With equal spacing every step absorbs the same photon.