Skip to content

Harmonic Oscillator Hamiltonian

The one-dimensional harmonic-oscillator Hamiltonian is

H^=p^22m+12mω2x^2,m>0,ω>0.\hat H =\frac{\hat p^2}{2m} +\frac12m\omega^2\hat x^2, \qquad m>0, \quad \omega>0.

It defines an exactly soluble bound system on the real line and the leading local approximation near a smooth, nondegenerate stable equilibrium. The same operator algebra describes vibrational normal modes, trapped particles, electromagnetic modes, phonons, and free-field modes, although the physical meanings of x^\hat x, p^\hat p, mm, and ω\omega change from one realization to another.

The full physical treatment is Quantum Harmonic Oscillator. This card identifies the Hamiltonian, its conventions, and the limits within which its familiar formulas apply.

PropertyStandard one-dimensional realization
Hilbert spaceL2(R,dx)L^2(\mathbb R,dx)
Hamiltonianp^2/(2m)+mω2x^2/2\hat p^2/(2m)+m\omega^2\hat x^2/2
Configuration spaceFull real line
Parametersm>0m>0 and angular frequency ω>0\omega>0
Characteristic lengthℓ=ℏ/(mω)\ell=\sqrt{\hbar/(m\omega)}
Characteristic momentumpℓ=ℏ/ℓ=mℏωp_\ell=\hbar/\ell=\sqrt{m\hbar\omega}
Algebraic formH^=ℏω(N^+I/2)\hat H=\hbar\omega(\hat N+I/2)
SpectrumEn=ℏω(n+1/2)E_n=\hbar\omega(n+1/2)
Quantum numbersn=0,1,2,…n=0,1,2,\ldots
DegeneracyNondegenerate in one dimension
Eigenstate parity(−1)n(-1)^n
SolvabilityExact in coordinate or ladder-operator form

The standard model uses

x^=x,p^=−iℏddx\hat x=x, \qquad \hat p=-i\hbar\frac{d}{dx}

on L2(R)L^2(\mathbb R). In the position representation,

H^=−ℏ22md2dx2+12mω2x2.\hat H =-\frac{\hbar^2}{2m}\frac{d^2}{dx^2} +\frac12m\omega^2x^2.

The displayed form assumes:

  • one nonrelativistic canonical degree of freedom;
  • the full line as configuration space;
  • an exactly quadratic, time-independent potential;
  • a positive curvature mω2m\omega^2;
  • no driving force, damping, or environmental coupling;
  • no anharmonic terms or coupling to other modes.

The adjective harmonic refers to the exactly quadratic potential and the resulting sinusoidal classical motion. It does not mean that every state is stationary or that every quantum expectation value follows one classical orbit.

SymbolMeaningSI unitsConvention
mmMass or effective inertiakg\mathrm{kg}Must be positive
ω\omegaAngular frequencys−1\mathrm{s^{-1}}ω=2πν\omega=2\pi\nu for ordinary frequency ν\nu
ℓ\ellOscillator lengthm\mathrm mℓ=ℏ/(mω)\ell=\sqrt{\hbar/(m\omega)}
pℓp_\ellMomentum scalekg m s−1\mathrm{kg\,m\,s^{-1}}pℓ=ℏ/ℓp_\ell=\hbar/\ell
ℏω\hbar\omegaEnergy spacingJ\mathrm JEquals hνh\nu

With

ξ^=x^ℓ,π^=ℓp^ℏ,\hat \xi=\frac{\hat x}{\ell}, \qquad \hat \pi=\frac{\ell\hat p}{\hbar},

the commutator and Hamiltonian become

[ξ^,π^]=i,H^ℏω=12(π^2+ξ^2).[\hat\xi,\hat\pi]=i, \qquad \frac{\hat H}{\hbar\omega} =\frac12\left(\hat\pi^2+\hat\xi^2\right).

Thus every one-dimensional oscillator with positive mm and ω\omega has the same dimensionless spectral problem.

The length convention is a frequent source of factors of 2\sqrt2. This card uses

ℓ=ℏmω,\ell=\sqrt{\frac{\hbar}{m\omega}},

for which the ground-state standard deviations are

Δx0=ℓ2,Δp0=ℏ2 ℓ.\Delta x_0=\frac{\ell}{\sqrt2}, \qquad \Delta p_0=\frac{\hbar}{\sqrt2\,\ell}.

Some sources call Δx0\Delta x_0 rather than ℓ\ell the oscillator length.

The operator is essentially self-adjoint on the Schwartz space S(R)\mathcal S(\mathbb R). Its self-adjoint closure may be characterized by square-integrable wavefunctions for which the kinetic and quadratic-potential terms are also square integrable:

D(H^)={ψ∈L2(R):ψ′′∈L2(R),x2ψ∈L2(R)},\mathcal D(\hat H) = \left\lbrace \psi\in L^2(\mathbb R): \psi''\in L^2(\mathbb R), \quad x^2\psi\in L^2(\mathbb R) \right\rbrace,

with derivatives understood weakly.

Because the potential tends to +∞+\infty as ∣x∣→∞\lvert x\rvert\to\infty, the resolvent is compact and the spectrum is purely discrete. In one dimension the bound-state energies are nondegenerate.

The real-line domain matters. Placing the same differential expression on a finite interval adds boundary data and generally destroys the usual equally spaced spectrum.

Define

a^=12(x^ℓ+iℓp^ℏ),\hat a =\frac{1}{\sqrt2} \left( \frac{\hat x}{\ell} +\frac{i\ell\hat p}{\hbar} \right), a^†=12(x^ℓ−iℓp^ℏ).\hat a^\dagger =\frac{1}{\sqrt2} \left( \frac{\hat x}{\ell} -\frac{i\ell\hat p}{\hbar} \right).

Then

[a^,a^†]=I,N^=a^†a^,[\hat a,\hat a^\dagger]=I, \qquad \hat N=\hat a^\dagger\hat a,

and

H^=ℏω(N^+12I).\hat H =\hbar\omega \left( \hat N+\frac12I \right).

Conversely,

x^=ℓ2(a^+a^†),\hat x=\frac{\ell}{\sqrt2} \left(\hat a+\hat a^\dagger\right), p^=iℏ2 ℓ(a^†−a^).\hat p=\frac{i\hbar}{\sqrt2\,\ell} \left(\hat a^\dagger-\hat a\right).

The algebraic derivation and its domain assumptions live at Ladder-Operator Solution: First Encounter. Compact action formulas are collected at Harmonic Oscillator Ladder Operators.

Number states satisfy

N^∣n⟩=n∣n⟩,n=0,1,2,…,\hat N\lvert n\rangle=n\lvert n\rangle, \qquad n=0,1,2,\ldots,

and therefore

En=ℏω(n+12).E_n =\hbar\omega \left( n+\frac12 \right).

The level spacing and ground energy are

En+1−En=ℏω,E0=12ℏω.E_{n+1}-E_n=\hbar\omega, \qquad E_0=\frac12\hbar\omega.

The normalized ground-state wavefunction is

ψ0(x)=1π1/4ℓexp⁡(−x22ℓ2).\psi_0(x) =\frac{1}{\pi^{1/4}\sqrt{\ell}} \exp\left(-\frac{x^2}{2\ell^2}\right).

Higher eigenfunctions are Hermite polynomials times the same Gaussian envelope. Their exact form and normalization are tabulated at Harmonic Oscillator Spectrum and derived at Differential-Equation Solution.

The parity operator commutes with H^\hat H, and

P∣n⟩=(−1)n∣n⟩.\mathsf P\lvert n\rangle=(-1)^n\lvert n\rangle.

The nnth wavefunction has nn nodes on the real line. The parity alternation and nondegeneracy are specific to the one-dimensional oscillator.

The position and momentum matrix elements follow directly from their ladder-operator forms:

⟨m∣x^∣n⟩=ℓ2(n δm,n−1+n+1 δm,n+1),⟨m∣p^∣n⟩=iℏ2 ℓ(n+1 δm,n+1−n δm,n−1).\begin{aligned} \langle m\vert\hat x\vert n\rangle &=\frac{\ell}{\sqrt2} \left( \sqrt n\,\delta_{m,n-1} +\sqrt{n+1}\,\delta_{m,n+1} \right),\\ \langle m\vert\hat p\vert n\rangle &=\frac{i\hbar}{\sqrt2\,\ell} \left( \sqrt{n+1}\,\delta_{m,n+1} -\sqrt n\,\delta_{m,n-1} \right). \end{aligned}

A perturbation linear in x^\hat x or p^\hat p therefore connects only states with

Δn=±1.\Delta n=\pm1.

This is an operator selection rule, not a complete statement about an experimental transition. The interaction Hamiltonian, polarization, degeneracy, and other quantum numbers must also be specified.

For a state

∣ψ(0)⟩=∑n=0∞cn∣n⟩,\lvert\psi(0)\rangle =\sum_{n=0}^{\infty}c_n\lvert n\rangle,

the exact evolution is

∣ψ(t)⟩=∑n=0∞cne−iω(n+1/2)t∣n⟩.\lvert\psi(t)\rangle =\sum_{n=0}^{\infty} c_n e^{-i\omega(n+1/2)t} \lvert n\rangle.

In the Heisenberg picture,

a^H(t)=e−iω(t−t0)a^H(t0).\hat a_H(t) =e^{-i\omega(t-t_0)}\hat a_H(t_0).

Consequently, x^H\hat x_H and p^H\hat p_H rotate in phase space at angular frequency ω\omega. Their expectation values obey the classical oscillator equation for every state with the required moments:

d2dt2⟨x^⟩+ω2⟨x^⟩=0.\frac{d^2}{dt^2}\langle\hat x\rangle +\omega^2\langle\hat x\rangle=0.

The shape of a general state need not remain fixed. Coherent States are the distinguished Gaussian states whose phase-space center follows the classical orbit without changing their variances.

Near a smooth stable minimum x0x_0 of a potential,

V′(x0)=0,V′′(x0)>0.V'(x_0)=0, \qquad V''(x_0)>0.

Writing q=x−x0q=x-x_0 gives the Taylor expansion

V(x)=V(x0)+12V′′(x0)q2+13!V(3)(x0)q3+⋯ .V(x) =V(x_0) +\frac12V''(x_0)q^2 +\frac{1}{3!}V^{(3)}(x_0)q^3 +\cdots.

The quadratic approximation has

ω=V′′(x0)m.\omega=\sqrt{\frac{V''(x_0)}{m}}.

It is accurate only when the wavefunction is concentrated where the omitted terms are small compared with the quadratic term. Highly excited states probe larger displacements and usually reveal anharmonic level shifts. Oscillator as a Universal Local Model develops this approximation and its validity checks.

For

H^=p^22m+12mω2(x^−x0)2+C,\hat H =\frac{\hat p^2}{2m} +\frac12m\omega^2(\hat x-x_0)^2 +C,

the eigenfunctions are translated, while the energies are

En=C+ℏω(n+12).E_n=C+\hbar\omega\left(n+\frac12\right).

The translation is implemented by a unitary displacement. See Displaced Oscillator.

Adding a time-dependent force,

H^(t)=p^22m+12mω2x^2−F(t)x^,\hat H(t) =\frac{\hat p^2}{2m} +\frac12m\omega^2\hat x^2 -F(t)\hat x,

preserves quadratic solvability but removes the stationary-spectrum description as the complete account of the dynamics. Time ordering and a time-dependent displacement are needed.

A positive quadratic Hamiltonian can be transformed to independent normal modes under appropriate canonical coordinates:

H^=∑j=1fℏωj(n^j+12).\hat H =\sum_{j=1}^{f} \hbar\omega_j \left( \hat n_j+\frac12 \right).

Its energies are

En=∑j=1fℏωj(nj+12).E_{\mathbf n} =\sum_{j=1}^{f} \hbar\omega_j \left( n_j+\frac12 \right).

Degeneracies depend on frequency relations and spatial symmetry. The isotropic oscillator has more degeneracy than a generic anisotropic one. See Coupled Oscillators: First Encounter.

Replacing ω2\omega^2 by a negative curvature gives

H^=p^22m−12mΩ2x^2.\hat H =\frac{\hat p^2}{2m} -\frac12m\Omega^2\hat x^2.

This Hamiltonian is unbounded below and has no oscillator number-state spectrum. It models unstable motion and requires a separate scattering or resonance analysis.

After normal-mode decomposition, every mode of a free bosonic field behaves algebraically like an oscillator. The bridge is summarized at Harmonic Oscillator to Fields. The continuum of modes and vacuum-energy regularization introduce structures absent from one isolated oscillator.

  • Omitting the zero-point term ℏω/2\hbar\omega/2 from the Hamiltonian spectrum.
  • Using ordinary frequency ν\nu where the formula requires angular frequency ω=2πν\omega=2\pi\nu.
  • Confusing ℓ=ℏ/(mω)\ell=\sqrt{\hbar/(m\omega)} with the ground-state width ℓ/2\ell/\sqrt2.
  • Treating a^\hat a as dimensionful under the convention used on this page.
  • Assuming equal spacing for a potential that is only approximately quadratic.
  • Importing one-dimensional nondegeneracy into an isotropic multidimensional oscillator.
  • Using the number-state spectrum for an inverted oscillator.
  • Calling a damped oscillator a closed Hamiltonian system without including an environment or an effective nonunitary model.
  • Dropping all zero-point energies in a setting where energy differences between Hamiltonians matter.
  • Treating oscillator creation operators and relativistic particle-creation operators as physically identical merely because they obey related algebras.

Consider

H^=p^22m+12mω2x^2−Fx^,\hat H =\frac{\hat p^2}{2m} +\frac12m\omega^2\hat x^2 -F\hat x,

where FF is constant. Rewrite it as a shifted oscillator and find its spectrum.

Solution

Define

x0=Fmω2.x_0=\frac{F}{m\omega^2}.

Completing the square gives

H^=p^22m+12mω2(x^−x0)2−F22mω2.\hat H =\frac{\hat p^2}{2m} +\frac12m\omega^2(\hat x-x_0)^2 -\frac{F^2}{2m\omega^2}.

Translation does not change the oscillator spacing. Therefore

En=ℏω(n+12)−F22mω2.E_n =\hbar\omega \left(n+\frac12\right) -\frac{F^2}{2m\omega^2}.

The eigenfunctions are the usual oscillator eigenfunctions centered at x0x_0.

Use the ladder-operator action to evaluate ⟨m∣x^∣n⟩\langle m\vert\hat x\vert n\rangle and identify the allowed changes in nn for a perturbation proportional to x^\hat x.

Solution

Since

x^=ℓ2(a^+a^†),\hat x=\frac{\ell}{\sqrt2} \left(\hat a+\hat a^\dagger\right),

and

a^∣n⟩=n ∣n−1⟩,a^†∣n⟩=n+1 ∣n+1⟩,\hat a\lvert n\rangle=\sqrt n\,\lvert n-1\rangle, \qquad \hat a^\dagger\lvert n\rangle =\sqrt{n+1}\,\lvert n+1\rangle,

one obtains

⟨m∣x^∣n⟩=ℓ2(n δm,n−1+n+1 δm,n+1).\langle m\vert\hat x\vert n\rangle =\frac{\ell}{\sqrt2} \left( \sqrt n\,\delta_{m,n-1} +\sqrt{n+1}\,\delta_{m,n+1} \right).

The matrix element vanishes unless m=n±1m=n\pm1. Thus a purely linear position perturbation has Δn=±1\Delta n=\pm1 within this one-dimensional basis.

Starting from the normalized ground-state wavefunction, show that ⟨x⟩0=0\langle x\rangle_0=0 and ⟨x2⟩0=ℓ2/2\langle x^2\rangle_0=\ell^2/2.

Solution

The density

∣ψ0(x)∣2=1π ℓexp⁡(−x2ℓ2)\lvert\psi_0(x)\rvert^2 =\frac{1}{\sqrt\pi\,\ell} \exp\left(-\frac{x^2}{\ell^2}\right)

is even, so ⟨x⟩0=0\langle x\rangle_0=0. Using the Gaussian moment

∫−∞∞x2e−x2/ℓ2 dx=π2ℓ3,\int_{-\infty}^{\infty} x^2e^{-x^2/\ell^2}\,dx =\frac{\sqrt\pi}{2}\ell^3,

gives

⟨x2⟩0=ℓ22.\langle x^2\rangle_0 =\frac{\ell^2}{2}.

Therefore

Δx0=⟨x2⟩0−⟨x⟩02=ℓ2.\Delta x_0 =\sqrt{\langle x^2\rangle_0-\langle x\rangle_0^2} =\frac{\ell}{\sqrt2}.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, 2 vols., Wiley, 1977.
  • L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Pergamon, 1977.
  • G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed., Academic Press, 2013.