# Quantum harmonic oscillator

{{#invoke: Sidebar | collapsible }}

The **quantum harmonic oscillator** is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, it is one of the most important model systems in quantum mechanics. Furthermore, it is one of the few quantum-mechanical systems for which an exact, analytical solution is known.^{[1]}^{[2]}^{[3]}

## Contents

## One-dimensional harmonic oscillator

### Hamiltonian and energy eigenstates

The Hamiltonian of the particle is:

where Template:Mvar is the particle's mass, Template:Mvar is the angular frequency of the oscillator, Template:Overset is the position operator (= Template:Mvar), and Template:Overset is the momentum operator, given by

The first term in the Hamiltonian represents the possible kinetic energy states of the particle, and the second term represents its respectively corresponding possible potential energy states.

One may write the time-independent Schrödinger equation,

where Template:Mvar denotes a yet-to-be-determined real number that will specify a time-independent energy level, or eigenvalue, and the solution |*ψ*⟩ denotes that level's energy eigenstate.

One may solve the differential equation representing this eigenvalue problem in the coordinate basis, for the wave function ⟨*x*|*ψ*⟩ = *ψ(x)*, using a spectral method. It turns out that there is a family of solutions. In this basis, they amount to

The functions *H _{n}* are the Hermite polynomials,

The corresponding energy levels are

This energy spectrum is noteworthy for three reasons. First, the energies are quantized, meaning that only discrete energy values (integer-plus-half multiples of *ħω*) are possible; this is a general feature of quantum-mechanical systems when a particle is confined. Second, these discrete energy levels are equally spaced, unlike in the Bohr model of the atom, or the particle in a box. Third, the lowest achievable energy (the energy of the *n* = 0 state, called the ground state) is not equal to the minimum of the potential well, but *ħω*/2 above it; this is called zero-point energy. Because of the zero-point energy, the position and momentum of the oscillator in the ground state are not fixed (as they would be in a classical oscillator), but have a small range of variance, in accordance with the Heisenberg uncertainty principle. This zero-point energy further has important implications in quantum field theory and quantum gravity.

Note that the ground state probability density is concentrated at the origin. This means the particle spends most of its time at the bottom of the potential well, as we would expect for a state with little energy. As the energy increases, the probability density becomes concentrated at the classical "turning points", where the state's energy coincides with the potential energy. This is consistent with the classical harmonic oscillator, in which the particle spends most of its time (and is therefore most likely to be found) at the turning points, where it is the slowest. The correspondence principle is thus satisfied. Moreover, special nondispersive wave packets, with minimum uncertainty, called coherent states in fact oscillate very much like classical objects, as illustrated in the figure; they are *not* eigenstates of the Hamiltonian.

### Ladder operator method

The spectral method solution, though straightforward, is rather tedious. The "ladder operator" method, developed by Paul Dirac, allows us to extract the energy eigenvalues without directly solving the differential equation. Furthermore, it is readily generalizable to more complicated problems, notably in quantum field theory. Following this approach, we define the operators Template:Mvar and its adjoint *a*^{†},

This leads to the useful representation of Template:Overset and Template:Overset,

The operator Template:Mvar is not Hermitian, since itself and its adjoint *a*^{†} are not equal. Yet the energy eigenstates |*n*⟩, when operated on by these ladder operators, give

It is then evident that *a*^{†}, in essence, appends a single quantum of energy to the oscillator, while Template:Mvar removes a quantum. For this reason, they are sometimes referred to as "creation" and "annihilation" operators.

From the relations above, we can also define a number operator Template:Mvar, which has the following property:

The following commutators can be easily obtained by substituting the canonical commutation relation,

And the Hamilton operator can be expressed as

so the eigenstate of Template:Mvar is also the eigenstate of energy.

The commutation property yields

and similarly,

This means that Template:Mvar acts on |*n*⟩ to produce, up to a multiplicative constant, |*n*–1⟩, and *a*^{†} acts on |*n*⟩ to produce |*n*+1⟩. For this reason, Template:Mvar is called a "lowering operator", and *a*^{†} a "raising operator". The two operators together are called ladder operators. In quantum field theory, Template:Mvar and *a*^{†} are alternatively called "annihilation" and "creation" operators because they destroy and create particles, which correspond to our quanta of energy.

Given any energy eigenstate, we can act on it with the lowering operator, Template:Mvar, to produce another eigenstate with *ħω* less energy. By repeated application of the lowering operator, it seems that we can produce energy eigenstates down to *E* = −∞. However, since

the smallest eigen-number is 0, and

In this case, subsequent applications of the lowering operator will just produce zero kets, instead of additional energy eigenstates. Furthermore, we have shown above that

Finally, by acting on |0⟩ with the raising operator and multiplying by suitable normalization factors, we can produce an infinite set of energy eigenstates

such that

which matches the energy spectrum given in the preceding section.

Arbitrary eigenstates can be expressed in terms of |0⟩,

The ground state |0⟩ in the position representation is determined by *a* |0⟩ = 0,

and hence

and so on, as in the previous section.

### Natural length and energy scales

The quantum harmonic oscillator possesses natural scales for length and energy, which can be used to simplify the problem. These can be found by nondimensionalization.

The result is that, if we measure *energy* in units of *ħω* and *distance* in units of Template:Sqrt, then the Hamiltonian simplifies to

while the energy eigenfunctions and eigenvalues simplify to

where *H*_{n}(*x*) are the Hermite polynomials.

To avoid confusion, we will not adopt these "natural units" in this article. However, they frequently come in handy when performing calculations, by bypassing clutter.

For example, the fundamental solution (propagator) of *H−i∂ _{t}*, the time-dependent Schroedinger operator for this oscillator, simply boils down to the Mehler kernel,

^{[4]}

^{[5]}

where *K*(*x,y*;0) =*δ*(*x−y*). The most general solution for a given initial configuration *ψ*(*x*,0) then is simply

### Phase space solutions

In the phase space formulation of quantum mechanics, solutions to the quantum harmonic oscillator in several different representations of the quasiprobability distribution can be written in closed form. The most widely used of these is for the Wigner quasiprobability distribution, which has the solution

where

and *L _{n}* are the Laguerre polynomials.

This example illustrates how the Hermite and Laguerre polynomials are linked through the Wigner map.

*N*-dimensional harmonic oscillator

The one-dimensional harmonic oscillator is readily generalizable to *N* dimensions, where *N* = 1, 2, 3, ... . In one dimension, the position of the particle was specified by a single coordinate, *x*. In *N* dimensions, this is replaced by *N* position coordinates, which we label *x*_{1}, ..., *x*_{N}. Corresponding to each position coordinate is a momentum; we label these *p*_{1}, ..., *p*_{N}. The canonical commutation relations between these operators are

The Hamiltonian for this system is

As the form of this Hamiltonian makes clear, the *N*-dimensional harmonic oscillator is exactly analogous to *N* independent one-dimensional harmonic oscillators with the same mass and spring constant. In this case, the quantities *x*_{1}, ..., *x*_{N} would refer to the positions of each of the *N* particles. This is a convenient property of the potential, which allows the potential energy to be separated into terms depending on one coordinate each.

This observation makes the solution straightforward. For a particular set of quantum numbers {*n*} the energy eigenfunctions for the *N*-dimensional oscillator are expressed in terms of the 1-dimensional eigenfunctions as:

In the ladder operator method, we define *N* sets of ladder operators,

By a procedure analogous to the one-dimensional case, we can then show that each of the *a*_{i} and *a*^{†}_{i} operators lower and raise the energy by ℏω respectively. The Hamiltonian is

This Hamiltonian is invariant under the dynamic symmetry group *U(N)* (the unitary group in *N* dimensions), defined by

where is an element in the defining matrix representation of *U(N)*.

The energy levels of the system are

As in the one-dimensional case, the energy is quantized. The ground state energy is *N* times the one-dimensional energy, as we would expect using the analogy to *N* independent one-dimensional oscillators. There is one further difference: in the one-dimensional case, each energy level corresponds to a unique quantum state. In *N*-dimensions, except for the ground state, the energy levels are *degenerate*, meaning there are several states with the same energy.

The degeneracy can be calculated relatively easily. As an example, consider the 3-dimensional case: Define *n* = *n*_{1} + *n*_{2} + *n*_{3}. All states with the same *n* will have the same energy. For a given *n*, we choose a particular *n*_{1}. Then *n*_{2} + *n*_{3} = *n* − *n*_{1}. There are *n* − *n*_{1} + 1 possible pairs {*n*_{2}, *n*_{3}}. *n*_{2} can take on the values 0 to *n* − *n*_{1}, and for each *n*_{2} the value of *n*_{3} is fixed. The degree of degeneracy therefore is:

Formula for general *N* and *n* [*g*_{n} being the dimension of the symmetric irreducible *n*^{th} power representation of the unitary group *U(N)*]:

The special case *N = 3*, given above, follows directly from this general equation. This is however, only true for distinguishable particles, or one particle in N dimensions (as dimensions are distinguishable). For the case of *N* bosons in a one-dimension harmonic trap, the degeneracy scales as the number of ways to partition an integer *n* using integers less than or equal to *N*.

This arises due to the constraint of putting *N* quanta into a state ket where and , which are the same constraints as in integer partition.

### Example: 3D isotropic harmonic oscillator

The Schrödinger equation of a spherically-symmetric three-dimensional harmonic oscillator can be solved explicitly by separation of variables; see this article for the present case. This procedure is analogous to the separation performed in the hydrogen-like atom problem, but with the spherically symmetric potential

where Template:Mvar is the mass of the problem. (Because Template:Mvar will be used below for the magnetic quantum number, mass is indicated by Template:Mvar, instead of Template:Mvar, as earlier in this article.)

The solution reads

where

are generalized Laguerre polynomials; The order Template:Mvar of the polynomial is a non-negative integer;

- is a spherical harmonic function;
- Template:Mvar is the reduced Planck constant:

The energy eigenvalue is

The energy is usually described by the single quantum number

Because Template:Mvar is a non-negative integer, for every even Template:Mvar we have ℓ = 0,2,...,*n*−2,*n* and for every odd Template:Mvar we have ℓ =1,3,...,*n*−2,*n* . The magnetic quantum number Template:Mvar is an integer satisfying -ℓ ≤ *m* ≤ℓ, so for every Template:Mvar and ℓ there are *2ℓ+1* different quantum states, labeled by Template:Mvar . Thus, the degeneracy at level Template:Mvar is

where the sum starts from 0 or 1, according to whether Template:Mvar is even or odd.
This result is in accordance with the dimension formula above, and amounts to the dimensionality of a symmetric representation of *SU(3)*, the relevant degeneracy group.

## Harmonic oscillators lattice: phonons

We can extend the notion of a harmonic oscillator to a one lattice of many particles. Consider a one-dimensional quantum mechanical *harmonic chain* of *N* identical atoms. This is the simplest quantum mechanical model of a lattice, and we will see how phonons arise from it. The formalism that we will develop for this model is readily generalizable to two and three dimensions.

As in the previous section, we denote the positions of the masses by *x _{1},x_{2},...*, as measured from their equilibrium positions (i.e.

*x*= 0 if the particle Template:Mvar is at its equilibrium position.) In two or more dimensions, the

_{i}*x*are vector quantities. The Hamiltonian for this system is

_{i}where Template:Mvar is the (assumed uniform) mass of each atom, and *x _{i}* and

*p*are the position and momentum operators for the

_{i}*i*th atom and the sum is made over the nearest neighbors (nn). However, it is customary to rewrite the Hamiltonian in terms of the normal modes of the wavevector rather than in terms of the particle coordinates so that one can work in the more convenient Fourier space.

We introduce, then, a set of Template:Mvar "normal coordinates" *Q _{k}*, defined as the discrete Fourier transforms of the Template:Mvars, and Template:Mvar "conjugate momenta" Template:Mvar defined as the Fourier transforms of the Template:Mvars,

The quantity *k _{n}* will turn out to be the wave number of the phonon, i.e. 2

*π*divided by the wavelength. It takes on quantized values, because the number of atoms is finite.

This preserves the desired commutation relations in either real space or wave vector space

From the general result

it is easy to show, through elementary trigonometry, that the potential energy term is

where

The Hamiltonian may be written in wave vector space as

Note that the couplings between the position variables have been transformed away; if the Template:Mvars and Template:Mvars were hermitian(which they are not), the transformed Hamiltonian would describe Template:Mvar *uncoupled* harmonic oscillators.

The form of the quantization depends on the choice of boundary conditions; for simplicity, we impose *periodic* boundary conditions, defining the (*N*+1)th atom as equivalent to the first atom. Physically, this corresponds to joining the chain at its ends. The resulting quantization is

The upper bound to Template:Mvar comes from the minimum wavelength, which is twice the lattice spacing Template:Mvar, as discussed above.

The harmonic oscillator eigenvalues or energy levels for the mode *ω _{k}* are

If we ignore the zero-point energy then the levels are evenly spaced at

*ħω*, 2*ħω*, 3*ħω*, ...

So an **exact** amount of energy *ħω*, must be supplied to the harmonic oscillator lattice to push it to the next energy level. In comparison to the photon case when the electromagnetic field is quantised, the quantum of vibrational energy is called a phonon.

All quantum systems show wave-like and particle-like properties. The particle-like properties of the phonon are best understood using the methods of second quantization and operator techniques described later.^{[6]}

## Applications

- The vibrations of a diatomic molecule are an example of a two-body version of the quantum harmonic oscillator. In this case, the angular frequency is given by

- where
*μ = m*is the reduced mass and is determined by the masses_{1}m_{2}/(m_{1}+m_{2})*m*_{1},*m*_{2}of the two atoms.^{[7]}

- The Hooke's atom is a simple model of the helium atom using the quantum harmonic oscillator
- Modelling phonons, as discussed above
- A charge, Template:Mvar, with mass, Template:Mvar, in a uniform magnetic field, Template:Mvar, is an example of a one-dimensional quantum harmonic oscillator: the Landau quantization.

## See also

## References

- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ Template:Cite web
- ↑ Pauli, W. (2000),
*Wave Mechanics: Volume 5 of Pauli Lectures on Physics*(Dover Books on Physics). ISBN 978-0486414621 ; Section 44. - ↑ Condon, E. U. (1937). "Immersion of the Fourier transform in a continuous group of functional transformations",
*Proc. Nat. Acad. Sci. USA***23**, 158–164. online - ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ Template:Cite web

## External links

- Quantum Harmonic Oscillator
- Calculation using a noncommutative free monoid: (mathematical version) / (abbreviated version)
- Rationale for choosing the ladder operators
- Live 3D intensity plots of quantum harmonic oscillator
- Driven and damped quantum harmonic oscillator (lecture notes of course "quantum optics in electric circuits")

{{ safesubst:#invoke:Unsubst||$N=Use dmy dates |date=__DATE__ |$B= }}