| Part of a series of articles about |
| Quantum mechanics |
|---|
Scientists |
This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(November 2023) (Learn how and when to remove this message) |

Thequantum harmonic oscillator is thequantum-mechanical analog of theclassical harmonic oscillator. Because an arbitrary smoothpotential can usually be approximated as aharmonic potential at the vicinity of a stableequilibrium 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][4]


TheHamiltonian of the particle is:wherem is the particle's mass,k is the force constant, is theangular frequency of the oscillator, is theposition operator (given byx in the coordinate basis), and is themomentum operator (given by in the coordinate basis). The first term in the Hamiltonian represents the kinetic energy of the particle, and the second term represents its potential energy, as inHooke's law.[5]
The time-independentSchrödinger equation (TISE) is,where denotes a real number (which needs to be determined) that will specify a time-independentenergy level, oreigenvalue, and the solution denotes that level's energyeigenstate.[6]
Then solve the differential equation representing this eigenvalue problem in the coordinate basis, for thewave function, using aspectral method. It turns out that there is a family of solutions. In this basis, they amount to Hermite functions,[7][8]
The functions are the physicists'Hermite polynomials,
The corresponding energy levels are[9]The expectation values of position and momentum combined with variance of each variable can be derived from the wavefunction to understand the behavior of the energy eigenkets. They are shown to be and owing to the symmetry of the problem, whereas:
The variance in both position and momentum are observed to increase for higher energy levels. The lowest energy level has value of which is its minimum value due to uncertainty relation and also corresponds to a gaussian wavefunction.[10]
This energy spectrum is noteworthy for four 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 theBohr model of the atom, or theparticle in a box. Third, the lowest achievable energy (the energy of then = 0 state, called theground state) is not equal to the minimum of the potential well, butħω/2 above it; this is calledzero-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 theHeisenberg uncertainty principle. Fourth, the energy levels are nondegenerate implying that every eigenvalue is associated with only one solution (state).[11]
The ground state probability density is concentrated at the origin, which means the particle spends most of its time at the bottom of the potential well, as one would expect for a state with little energy. As the energy increases, the probability density peaks at the classical "turning points", where the state's energy coincides with the potential energy. (See the discussion below of the highly excited states.) This is consistent with the classical harmonic oscillator, in which the particle spends more of its time (and is therefore more likely to be found) near the turning points, where it is moving the slowest. Thecorrespondence principle is thus satisfied. Moreover, special nondispersivewave packets, with minimum uncertainty, calledcoherent states oscillate very much like classical objects, as illustrated in the figure; they arenot eigenstates of the Hamiltonian.

The "ladder operator" method, developed byPaul Dirac, allows extraction of the energy eigenvalues without directly solving the differential equation.[12] It is generalizable to more complicated problems, notably inquantum field theory. Following this approach, we define the operators and itsadjoint,Note these operators classically are exactly thegenerators of normalized rotation in the phase space of and,i.e they describe the forwards and backwards evolution in time of a classical harmonic oscillator.[clarification needed]
These operators lead to the following representation of and,
The operatora is notHermitian, since itself and its adjointa† are not equal. The energy eigenstates|n⟩, when operated on by these ladder operators, give
From the relations above, we can also define a number operatorN, which has the following property:
The followingcommutators can be easily obtained by substituting thecanonical commutation relation,
and the Hamilton operator can be expressed as
so the eigenstates of are also the eigenstates of energy.To see that, we can apply to a number state:
Using the property of the number operator:
we get:
Thus, since solves the TISE for the Hamiltonian operator, is also one of its eigenstates with the corresponding eigenvalue:
QED.
The commutation property yields
and similarly,
This means that acts on to produce, up to a multiplicative constant,, and acts on to produce. For this reason, is called anannihilation operator ("lowering operator"), and acreation operator ("raising operator"). The two operators together are calledladder operators.
Given any energy eigenstate, we can act on it with the lowering operator,a, to produce another eigenstate withħω less energy. By repeated application of the lowering operator, it seems that we can produce energy eigenstates down toE = −∞. However, since
the smallest eigenvalue of the number operator is 0, and
In this case, subsequent applications of the lowering operator will just produce zero, instead of additional energy eigenstates. Furthermore, we have shown above that
Finally, by acting on with the raising operator and multiplying by suitablenormalization factors, we can produce an infinite set of energy eigenstates
such thatwhich matches the energy spectrum given in the preceding section.
Arbitrary eigenstates can be expressed in terms of,[13]
The preceding analysis is algebraic, using only the commutation relations between the raising and lowering operators. Once the algebraic analysis is complete, one should turn to analytical questions. First, one should find the ground state, that is, the solution of the equation. In the position representation, this is the first-order differential equationwhose solution is easily found to be theGaussian[nb 1]Conceptually, it is important that there is only one solution of this equation; if there were, say, two linearly independent ground states, we would get two independent chains of eigenvectors for the harmonic oscillator. Once the ground state is computed, one can show inductively that the excited states are Hermite polynomials times the Gaussian ground state, using the explicit form of the raising operator in the position representation. One can also prove that, as expected from the uniqueness of the ground state, the Hermite functions energy eigenstates constructed by the ladder method form acomplete orthonormal set of functions.[14]
Given that Hermite functions are either even or odd, it can be shown that the average displacement and average momentum is 0 for all states in QHO.[11]
Explicitly connecting with the previous section, the ground state |0⟩ in the position representation is determined by,henceso that, and so on.
The quantum harmonic oscillator possesses natural scales for length and energy, which can be used to simplify the problem. These can be found bynondimensionalization.
The result is that, ifenergy is measured in units ofħω anddistance in units of√ħ/(mω), then the Hamiltonian simplifies towhile the energy eigenfunctions and eigenvalues simplify to Hermite functions and integers offset by a half,whereHn(x) are theHermite polynomials.
To avoid confusion, these "natural units" will mostly not be adopted in this article. However, they frequently come in handy when performing calculations, by bypassing clutter.
For example, thefundamental solution (propagator) ofH −i∂t, the time-dependent Schrödinger operator for this oscillator, simply boils down to theMehler kernel,[15][16]whereK(x,y;0) =δ(x −y). The most general solution for a given initial configurationψ(x,0) then is simply

Thecoherent states (also known as Glauber states) of the harmonic oscillator are special nondispersivewave packets, with minimum uncertaintyσxσp =ℏ⁄2, whoseobservables'expectation values evolve like a classical system. They are eigenvectors of the annihilation operator,not the Hamiltonian, and form anovercomplete basis which consequentially lacks orthogonality.[17]
The coherent states are indexed by and expressed in the|n⟩ basis as
Since coherent states are not energy eigenstates, their time evolution is not a simple shift in wavefunction phase. The time-evolved states are, however, also coherent states but with phase-shifting parameterα instead:.
Because and via the Kermack-McCrae identity, the last form is equivalent to aunitarydisplacement operator acting on the ground state:. Calculating the expectation values:
where is the phase contributed by complexα. These equations confirm the oscillating behavior of the particle.
The uncertainties calculated using the numeric method are:
which gives. Since the only wavefunction that can have lowest position–momentum uncertainty,, is a Gaussian wavefunction, and since the coherent state wavefunction has minimum position–momentum uncertainty, we note that the general Gaussian wavefunction in quantum mechanics has the form:Substituting the expectation values as a function of time, gives the required time varying wavefunction.
The probability of each energy eigenstates can be calculated to find the energy distribution of the wavefunction:
which corresponds to aPoisson distribution.
Whenn is large, the eigenstates are localized into the classical allowed region, that is, the region in which a classical particle with energyEn can move. The eigenstates are peaked near the turning points: the points at the ends of the classically allowed region where the classical particle changes direction. This phenomenon can be verified throughasymptotics of the Hermite polynomials, and also through theWKB approximation.
The frequency of oscillation atx is proportional to the momentump(x) of a classical particle of energyEn and positionx. Furthermore, the square of the amplitude (determining the probability density) isinversely proportional top(x), reflecting the length of time the classical particle spends nearx. The system behavior in a small neighborhood of the turning point does not have a simple classical explanation, but can be modeled using anAiry function. Using properties of the Airy function, one may estimate the probability of finding the particle outside the classically allowed region, to be approximatelyThis is also given, asymptotically, by the integral
In thephase space formulation of quantum mechanics, eigenstates of the quantum harmonic oscillator inseveral different representations of thequasiprobability distribution can be written in closed form. The most widely used of these is for theWigner quasiprobability distribution.
The Wigner quasiprobability distribution for the energy eigenstate|n⟩ is, in the natural units described above,[18]whereLn are theLaguerre polynomials. This example illustrates how the Hermite and Laguerre polynomials arelinked through theWigner map.
Meanwhile, theHusimi Q function of the harmonic oscillator eigenstates have an even simpler form. If we work in the natural units described above, we haveThis claim can be verified using theSegal–Bargmann transform. Specifically, since theraising operator in the Segal–Bargmann representation is simply multiplication by and the ground state is the constant function 1, the normalized harmonic oscillator states in this representation are simply . At this point, we can appeal to the formula for the Husimi Q function in terms of the Segal–Bargmann transform.
The two-dimensional Cartesian harmonic oscillator and the two-dimensional isotropic harmonic oscillator in cylindrical coordinates have been treated in detail in the book of Müller-Kirsten.[19]
The one-dimensional harmonic oscillator is readily generalizable toN dimensions, whereN = 1, 2, 3, .... In one dimension, the position of the particle was specified by a singlecoordinate,x. InN dimensions, this is replaced byN position coordinates, which we labelx1, ...,xN. Corresponding to each position coordinate is a momentum; we label thesep1, ...,pN. Thecanonical commutation relations between these operators are
The Hamiltonian for this system is
As the form of this Hamiltonian makes clear, theN-dimensional harmonic oscillator is exactly analogous toN independent one-dimensional harmonic oscillators with the same mass and spring constant. In this case, the quantitiesx1, ...,xN would refer to the positions of each of theN particles. This is a convenient property of ther2 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 the energy eigenfunctions for theN-dimensional oscillator are expressed in terms of the 1-dimensional eigenfunctions as:
In the ladder operator method, we defineN sets of ladder operators,
By an analogous procedure to the one-dimensional case, we can then show that each of theai andai† operators lower and raise the energy byℏω respectively. The Hamiltonian isThis Hamiltonian is invariant under the dynamic symmetry groupU(N) (the unitary group inN dimensions), defined bywhere is an element in the defining matrix representation ofU(N).
The energy levels of the system are
As in the one-dimensional case, the energy is quantized. The ground state energy isN times the one-dimensional ground energy, as we would expect using the analogy toN independent one-dimensional oscillators. There is one further difference: in the one-dimensional case, each energy level corresponds to a unique quantum state. InN-dimensions, except for the ground state, the energy levels aredegenerate, meaning there are several states with the same energy.
The degeneracy can be calculated relatively easily. As an example, consider the 3-dimensional case: Definen =n1 +n2 +n3. All states with the samen will have the same energy. For a givenn, we choose a particularn1. Thenn2 +n3 =n −n1. There aren −n1 + 1 possible pairs{n2,n3}.n2 can take on the values0 ton −n1, and for eachn2 the value ofn3 is fixed. The degree of degeneracy therefore is:Formula for generalN andn [gn being the dimension of the symmetric irreduciblen-th power representation of the unitary groupU(N)]:The special caseN = 3, given above, follows directly from this general equation. This is however, only true for distinguishable particles, i.e. in Maxwell-Boltzmann statistics (not in quantum statistics) or one particle inN dimensions (as dimensions are distinguishable). For the case ofN bosons in a one-dimension harmonic trap, the degeneracy scales as the number of ways to partition an integern using integers less than or equal toN. It can be shown that the large- asymptotic behavior of the degeneracy is practically independent of the energy - different from the classical case in which this diverges[20]. This degeneracy is
This arises due to the constraint of puttingN quanta into a state ket where and, which are the same constraints as in integer partition.

The Schrödinger equation for a particle in a spherically-symmetric three-dimensional harmonic oscillator can be solved explicitly by separation of variables. This procedure is analogous to the separation performed in thehydrogen-like atom problem, but with a differentspherically symmetric potentialwhereμ is the mass of the particle. Becausem will be used below for the magnetic quantum number, mass is indicated byμ, instead ofm, as earlier in this article.
The solution to the equation is:[21]where
aregeneralized Laguerre polynomials; The orderk of the polynomial is a non-negative integer, coinciding with the number of nodes of the radial part of the wavefunction;
The energy eigenvalue isThe energy is usually described by the singlequantum number
Becausek is a non-negative integer, for every evenn we haveℓ = 0, 2, ...,n − 2,n and for every oddn we haveℓ = 1, 3, ...,n − 2,n . The magnetic quantum numberm is an integer satisfying−ℓ ≤m ≤ℓ, so for everyn andℓ there are 2ℓ + 1 differentquantum states, labeled bym . Thus, the degeneracy at leveln iswhere the sum starts from 0 or 1, according to whethern is even or odd.This result is in accordance with the dimension formula above, and amounts to the dimensionality of a symmetric representation ofSU(3),[22] the relevant degeneracy group.
The notation of a harmonic oscillator can be extended to a one-dimensional lattice of many particles. Consider a one-dimensional quantum mechanicalharmonic chain ofN identical atoms. This is the simplest quantum mechanical model of a lattice, and we will see howphonons 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 byx1,x2, ..., as measured from their equilibrium positions (i.e.xi = 0 if the particlei is at its equilibrium position). In two or more dimensions, thexi are vector quantities. TheHamiltonian for this system is
wherem is the (assumed uniform) mass of each atom, andxi andpi are the position andmomentum operators for thei th atom and the sum is made over the nearest neighbors (nn). However, it is customary to rewrite the Hamiltonian in terms of thenormal modes of thewavevector rather than in terms of the particle coordinates so that one can work in the more convenientFourier space.

We introduce, then, a set ofN "normal coordinates"Qk, defined as thediscrete Fourier transforms of thexs, andN "conjugate momenta"Π defined as the Fourier transforms of theps,
The quantitykn will turn out to be thewave number of the phonon, i.e. 2π divided by thewavelength. 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 resultit is easy to show, through elementary trigonometry, that the potential energy term iswhere
The Hamiltonian may be written in wave vector space as
Note that the couplings between the position variables have been transformed away; if theQs and Πs wereHermitian (which they are not), the transformed Hamiltonian would describeNuncoupled harmonic oscillators.
The form of the quantization depends on the choice of boundary conditions; for simplicity, we imposeperiodic 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 ton comes from the minimum wavelength, which is twice the lattice spacinga, as discussed above.
The harmonic oscillator eigenvalues or energy levels for the modeωk are
If we ignore thezero-point energy then the levels are evenly spaced at
So anexact amount ofenergyħω, must be supplied to the harmonic oscillator lattice to push it to the next energy level. In analogy to thephoton case when theelectromagnetic field is quantised, the quantum of vibrational energy is called aphonon.
All quantum systems show wave-like and particle-like properties. The particle-like properties of the phonon are best understood using the methods ofsecond quantization and operator techniques described elsewhere.[23]
In thecontinuum limit,a → 0,N → ∞, whileNa is held fixed. The canonical coordinatesQk devolve to the decoupled momentum modes of a scalar field,, whilst the location indexi (not the displacement dynamical variable) becomes the parameterx argument of the scalar field,.
The inverted harmonic oscillator has been investigated in detail by G. Barton.[25] See also H.J.W. Müller-Kirsten[26] and C. Yuce, A. Killen and A. Coruh.[27]
The consideration of the harmonic oscillator e.g. from the energy in analogy to a derivation of the Dirac equation – so-to-speak from the "square root" of the equation – has been explored by Lorella M. Jones.[28]