# Harmonic oscillator (quantum)

The prototype of a one-dimensional **harmonic oscillator** is a mass *m* vibrating back and forth on a line around an equilibrium position. In quantum mechanics, the one-dimensional harmonic oscillator is one of the few systems that can be treated exactly, *i.e.*, its Schrödinger equation can be solved analytically.

Although the harmonic oscillator *per se* is not very important, a large number of systems are governed approximately by the harmonic oscillator equation. Whenever one studies the behavior of a physical system in the neighborhood of a stable equilibrium position, one arrives at equations which, in the limit of small oscillations, are those of a harmonic oscillator. Two well-known examples are the vibrations of the atoms in a diatomic molecule about their equilibrium position and the oscillations of atoms or ions of a crystalline lattice. Also the energy of electromagnetic waves in a cavity can be looked upon as the energy of a large set of harmonic oscillators.

## Lowest wave functions

The characterizing feature of the one-dimensional harmonic oscillator is a parabolic potential field that has a single minimum usually referred to as the "bottom of the potential well". As stated above, the Schrödinger equation of the one-dimensional quantum harmonic oscillator can be solved exactly, yielding analytic forms of the wave functions (eigenfunctions of the energy operator). The corresponding energy eigenvalues are labeled by a single quantum number *n*,

where *h* is Planck's constant and *ν* depends on the the mass and the stiffness of the oscillator (see below). Note that for *n* = 0 the energy *E*_{0} is not equal to zero, but equal to the *zero-point energy* ½*hν*. This well-defined, non-vanishing, zero-point energy is due to the fact that the position *x* of the oscillating particle cannot be sharp (have a single value), since the operator *x* does not commute with the energy operator. Hence, by Heisenberg's uncertainty relation, energy and position cannot be sharp simultaneously. Classically, the oscillating particle can come to rest at the bottom of the potential well, where it has zero kinetic and potential energy and a well-defined—sharp—position. Quantum mechanically this is not possible, the position *x* of the particle of lowest possible energy is described by a wave function (a Gaussian function) of energy ½hν.

The four lowest energy harmonic oscillator eigenfunctions are shown in the figure. Note that the lowest function (blue) has indeed the form of a Gaussian function. The functions are shifted upward such that their energy eigenvalues coincide with the asymptotic levels, the zero levels of the wave functions at *x* = ±∞. As an example of a zero level, the zero (asymptotic) energy of the *n* = 2 function (black) is plotted as the black horizontal line of constant energy

*E*_{2}= (2+ ½) hν = 5 hν/2 ≡ 5/2 ℏ ω.

According to quantum mechanics, the wave function squared of a point mass, |ψ(*x*)|², is the probability of finding the mass in the point *x*. In the figure we see that the probability of finding the oscillating mass at points to the left (for negative *x*) or to the right (for positive *x*) of *V*(*x*) is non-zero and we notice that for these points the potential energy *V*(*x*) is larger than the energy eigenvalue. As an example two small vertical lines are plotted: to the left of the small line that lies at negative *x* the potential energy is larger than *E*_{2}, the energy of the *n* = 2 level. The same holds for the region to the right of the small black line at positive *x*. Note that the *n* = 2 wave function (black) is not zero in these regions.

In classical mechanics the potential energy *V* can never surpass the total energy *E*, because *V* = *E* − *T* and the classical kinetic energy *T* is non-negative, so that *V* ≤ *E*. This is why the region, where the energy eigenvalue of an eigenfunction is smaller than the potential energy, is called a *classically forbidden region*. The fact that the probability of finding a mass in a classically forbidden is non-zero, is often expressed by stating that the point mass can *tunnel* into the potential wall. This tunnel effect is one of the more intriguing aspects of quantum mechanics.

## Schrödinger equation

The time-independent Schrödinger equation of the harmonic oscillator has the form

The two terms between square brackets are the Hamiltonian (energy operator) of the system: the first term is the kinetic energy operator and the second the potential energy operator.
The quantity ℏ is Planck's reduced constant, *m* is the mass of the oscillator, and *k* is Hooke's spring constant describing the stiffness of the oscillator. See the classical harmonic oscillator for further explanation of *m* and *k*.

The solutions of the Schrödinger equation are characterized by a vibration quantum number *n* = 0,1,2, … and are of the form

with

Here

The functions *H*_{n}(x) are Hermite polynomials; the first few are:

The graphs of the first four eigenfunctions are shown in the figure. Note that the functions of even *n* are even, that is, , while those of odd *n* are antisymmetric

## Solution of the Schrödinger equation

We rewrite the Schrödinger equation in order to hide the physical constants *m*, *k*, and *h*. As a first step we define the angular frequency ω ≡ √*k*/*m*, the same formula as for the classical harmonic oscillator:

Secondly, we divide through by , a factor that has dimension energy,

Write

and the Schrödinger equation becomes

Note that all constants are hidden in the equation on the right.

A particular solution of this equation is

We verify this

so that

We conclude that ψ_{0}(*y*) ≡ exp(-*y*^{2}/2) is an eigenfunction

with eigenvalue

This encourages us to try to find a total solution ψ(*y*) by a function of the form

Use the Leibniz formula

and

then we see

Divide through by −ψ_{0}(*y*)/2 and we find the equation for *f*

The differential equation of Hermite with polynomial solutions *H*_{n}(*y*) is

Due to the appearance of the integer coefficient 2*n* in the last term the solutions are polynomials. We see that if we put

that we have solved the Schrödinger equation for the harmonic oscillator. The unnormalized solutions are