Skip to content

Particle-in-a-Box Spectrum

For a particle of mass mm confined to 0<x<L0\lt x\lt L by impenetrable walls,

V(x)={0,0<x<L,∞,x≤0 or x≥L,V(x)= \begin{cases} 0, & 0\lt x\lt L,\\ \infty, & x\leq0\text{ or }x\geq L, \end{cases}

the normalized energy eigenfunctions and energies are

ψn(x)=2Lsin⁡ ⁣(nπxL),\psi_n(x) = \sqrt{\frac{2}{L}} \sin\!\left(\frac{n\pi x}{L}\right), En=n2π2ℏ22mL2,n=1,2,3,….E_n = \frac{n^2\pi^2\hbar^2}{2mL^2}, \qquad n=1,2,3,\ldots.

The quantization comes from the Dirichlet boundary conditions

ψ(0)=ψ(L)=0,\psi(0)=\psi(L)=0,

not from a nonzero force inside the box. The symbol V=∞V=\infty is shorthand for this ideal boundary-value problem.

The full derivation, domain discussion, revival structure, and numerical benchmark are at Infinite Square Well.

QuantityFormula
Allowed wave numberkn=nπ/Lk_n=n\pi/L
De Broglie wavelengthλn=2L/n\lambda_n=2L/n
Normalized eigenfunctionψn(x)=2/Lsin⁡(nπx/L)\psi_n(x)=\sqrt{2/L}\sin(n\pi x/L)
EnergyEn=n2π2ℏ2/(2mL2)E_n=n^2\pi^2\hbar^2/(2mL^2)
Adjacent spacingEn+1−En=(2n+1)E1E_{n+1}-E_n=(2n+1)E_1
Interior nodesn−1n-1
Mean position⟨x⟩n=L/2\langle x\rangle_n=L/2
Mean-square momentum⟨p2⟩n=(nπℏ/L)2\langle p^2\rangle_n=(n\pi\hbar/L)^2
Time factore−iEnt/ℏe^{-iE_nt/\hbar}
Revival timeTrev=4mL2/(πℏ)T_{\rm rev}=4mL^2/(\pi\hbar)

The label starts at n=1n=1. The apparent n=0n=0 solution is the zero function and cannot represent a normalized state.

The Hilbert space is L2([0,L])L^2([0,L]) with

⟨ϕ∣ψ⟩=∫0Ldx ϕ(x)∗ψ(x).\langle\phi\vert\psi\rangle = \int_0^Ldx\, \phi(x)^*\psi(x).

The Hamiltonian is

H=−ℏ22md2dx2H = -\frac{\hbar^2}{2m}\frac{d^2}{dx^2}

on the Dirichlet domain. A standard self-adjoint realization has

D(H)=H2(0,L)∩H01(0,L).\mathcal D(H) = H^2(0,L)\cap H_0^1(0,L).

The boundary conditions are part of the operator. Replacing them by periodic conditions produces a particle on a ring, with different eigenfunctions, degeneracies, and momentum structure.

For functions in the Hamiltonian domain,

⟨ψ∣H∣ψ⟩=ℏ22m∫0Ldx ∣ψ′(x)∣2≥0.\langle\psi\rvert H\lvert\psi\rangle = \frac{\hbar^2}{2m} \int_0^Ldx\, \lvert\psi'(x)\rvert^2 \geq0.

Thus the hard-wall Hamiltonian has no negative- or zero-energy eigenstate.

Define the natural scales

k1=πL,p1=πℏL,E1=π2ℏ22mL2.k_1=\frac{\pi}{L}, \qquad p_1=\frac{\pi\hbar}{L}, \qquad E_1=\frac{\pi^2\hbar^2}{2mL^2}.

Then

kn=nk1,En=n2E1.k_n=nk_1, \qquad E_n=n^2E_1.

The spectrum is not equally spaced:

En+1−En=(2n+1)E1.E_{n+1}-E_n =(2n+1)E_1.

The absolute spacing grows with nn, while the relative spacing shrinks:

En+1−EnEn=2n+1n2∼2n.\frac{E_{n+1}-E_n}{E_n} = \frac{2n+1}{n^2} \sim \frac{2}{n}.

All levels are nondegenerate in one dimension. The nnth state has nodes at

xj=jLn,j=1,…,n−1.x_j=\frac{jL}{n}, \qquad j=1,\ldots,n-1.

The basis obeys

∫0Ldx ψm(x)∗ψn(x)=δmn,\int_0^Ldx\, \psi_m(x)^*\psi_n(x) = \delta_{mn},

and the distributional completeness relation

∑n=1∞ψn(x)ψn(x′)∗=δ(x−x′)\sum_{n=1}^{\infty} \psi_n(x)\psi_n(x')^* = \delta(x-x')

for interior coordinates. Any state in L2([0,L])L^2([0,L]) can be expanded as

ψ(x,0)=∑n=1∞cnψn(x),\psi(x,0) = \sum_{n=1}^{\infty}c_n\psi_n(x),

with

cn=∫0Ldx ψn(x)∗ψ(x,0).c_n = \int_0^Ldx\, \psi_n(x)^*\psi(x,0).

For a normalized state,

∑n=1∞∣cn∣2=1.\sum_{n=1}^{\infty}\lvert c_n\rvert^2=1.

Square integrability is enough for norm convergence of the expansion. It is not enough to justify applying HH term by term or to guarantee finite mean energy; those require additional regularity or weighted coefficient sums.

An energy eigenstate evolves by a phase:

ψn(x,t)=ψn(x)e−iEnt/ℏ.\psi_n(x,t) = \psi_n(x)e^{-iE_nt/\hbar}.

A general initial state evolves as

ψ(x,t)=∑n=1∞cnψn(x)e−iEnt/ℏ.\psi(x,t) = \sum_{n=1}^{\infty} c_n\psi_n(x)e^{-iE_nt/\hbar}.

The energy probabilities ∣cn∣2\lvert c_n\rvert^2 remain constant, but relative phases can make the position density time dependent. For two components, interference oscillates at the Bohr frequency

ωmn=Em−Enℏ=(m2−n2)π2ℏ2mpL2,\omega_{mn} = \frac{E_m-E_n}{\hbar} = \frac{(m^2-n^2)\pi^2\hbar}{2m_{\rm p}L^2},

where mpm_{\rm p} denotes the particle mass in this line to avoid confusing it with the state index mm.

The spectral propagator is

K(xf,t;xi,0)=∑n=1∞ψn(xf)ψn(xi)∗e−iEnt/ℏ=2L∑n=1∞sin⁡ ⁣(nπxfL)sin⁡ ⁣(nπxiL)e−in2E1t/ℏ.\begin{aligned} K(x_f,t;x_i,0) &= \sum_{n=1}^{\infty} \psi_n(x_f)\psi_n(x_i)^* e^{-iE_nt/\hbar}\\ &= \frac{2}{L} \sum_{n=1}^{\infty} \sin\!\left(\frac{n\pi x_f}{L}\right) \sin\!\left(\frac{n\pi x_i}{L}\right) e^{-in^2E_1t/\hbar}. \end{aligned}

It satisfies the Dirichlet conditions in both coordinate arguments and tends to the interval delta distribution as t→0t\to0.

For every energy eigenstate,

⟨x⟩n=L2,\langle x\rangle_n=\frac{L}{2}, ⟨x2⟩n=L2(13−12n2π2),\langle x^2\rangle_n = L^2 \left( \frac13- \frac{1}{2n^2\pi^2} \right),

and

(Δx)n2=L2(112−12n2π2).(\Delta x)_n^2 = L^2 \left( \frac1{12}- \frac{1}{2n^2\pi^2} \right).

The real standing waves give the formal first-derivative matrix element

⟨p⟩n=0,\langle p\rangle_n=0,

while the unambiguous kinetic-energy relation gives

⟨p2⟩n=2mEn=n2π2ℏ2L2.\langle p^2\rangle_n = 2mE_n = \frac{n^2\pi^2\hbar^2}{L^2}.

Hence

Δpn=nπℏL,\Delta p_n=\frac{n\pi\hbar}{L},

and

(Δx)n(Δp)n=ℏ2n2π23−2.(\Delta x)_n(\Delta p)_n = \frac{\hbar}{2} \sqrt{\frac{n^2\pi^2}{3}-2}.

A vanishing mean momentum does not imply vanishing kinetic energy.

For calculations involving a uniform electric field or dipole coupling,

xmn=⟨m∣x∣n⟩x_{mn} = \langle m\rvert x\lvert n\rangle

is

xmn={L/2,m=n,0,m≠n and m+n even,−8Lmnπ2(m2−n2)2,m+n odd.x_{mn} = \begin{cases} L/2, & m=n,\\ 0, & m\neq n\text{ and }m+n\text{ even},\\ -\dfrac{8Lmn} {\pi^2(m^2-n^2)^2}, & m+n\text{ odd}. \end{cases}

The off-diagonal rule is a parity selection rule expressed in the shifted interval convention. For example,

⟨1∣x∣2⟩=−16L9π2.\langle1\rvert x\lvert2\rangle = -\frac{16L}{9\pi^2}.

The sign depends on harmless phase choices for individual eigenfunctions, while ∣xmn∣\lvert x_{mn}\rvert and physical transition probabilities do not.

For the equivalent interval

−L2<x<L2,-\frac{L}{2}\lt x\lt\frac{L}{2},

the normalized states may be chosen as

ψn(c)(x)=2L{cos⁡(nπx/L),n odd,sin⁡(nπx/L),n even.\psi_n^{(c)}(x) = \sqrt{\frac{2}{L}} \begin{cases} \cos(n\pi x/L), & n\text{ odd},\\ \sin(n\pi x/L), & n\text{ even}. \end{cases}

Odd nn then labels even parity and even nn labels odd parity. The energies are unchanged. In this convention,

⟨m∣x∣n⟩=0\langle m\rvert x\lvert n\rangle=0

between states of the same parity, because xx is parity odd. Translating the origin changes diagonal position matrix elements but not energy gaps or transition probabilities.

Since En=n2E1E_n=n^2E_1, every spectral phase returns to unity at

Trev=2πℏE1=4mL2πℏ.T_{\rm rev} = \frac{2\pi\hbar}{E_1} = \frac{4mL^2}{\pi\hbar}.

Indeed,

e−iEnTrev/ℏ=e−i2πn2=1.e^{-iE_nT_{\rm rev}/\hbar} = e^{-i2\pi n^2} =1.

Thus every initial state revives in Hilbert-space norm. At half the revival time, the state is reflected about the center up to a global phase:

ψ(x,Trev/2)=−ψ(L−x,0).\psi(x,T_{\rm rev}/2) = -\psi(L-x,0).

For a wave packet concentrated near a large n0n_0, the classical round-trip time scale is

Tcl≃2mL2n0πℏ.T_{\rm cl} \simeq \frac{2mL^2}{n_0\pi\hbar}.

Classical-looking bounces and exact quantum revivals are distinct phenomena.

For a separable box with side lengths Lx,Ly,LzL_x,L_y,L_z, the eigenfunctions are products of one-dimensional sine modes and

Enxnynz=π2ℏ22m(nx2Lx2+ny2Ly2+nz2Lz2),E_{n_xn_yn_z} = \frac{\pi^2\hbar^2}{2m} \left( \frac{n_x^2}{L_x^2} +\frac{n_y^2}{L_y^2} +\frac{n_z^2}{L_z^2} \right),

with all three quantum numbers positive integers. Degeneracy can occur when different triples give the same sum, especially for equal side lengths. The full treatment is at Three-Dimensional Box.

The hard-wall result is exact only for the ideal Dirichlet problem. In a finite well:

  • bound-state wavefunctions penetrate into the classically forbidden region;
  • the boundary value of the wavefunction is not zero;
  • the energies are lower than the corresponding hard-wall values for the same nominal width and interior potential;
  • only finitely many bound states exist;
  • even and odd states satisfy transcendental matching equations.

Use the forthcoming finite-square-well formula card or the canonical Finite Square Well instead of imposing hard-wall sines at finite depth.

QuantitySI unitsScaling
LLmbox size
knk_nm−1^{-1}n/Ln/L
pnp_n as a kinetic scalekg m s−1^{-1}n/Ln/L
EnE_nJn2/(mL2)n^2/(mL^2)
ψn\psi_nm−1/2^{-1/2}L−1/2L^{-1/2}
K(xf,t;xi,0)K(x_f,t;x_i,0)m−1^{-1}inverse coordinate measure

Doubling LL divides every energy by four. Doubling the particle mass divides every energy by two. Adding a constant potential V0V_0 inside and outside the abstract interval shifts every energy by V0V_0 without changing the eigenfunctions.

The differential expression −iℏd/dx-i\hbar d/dx can be used formally to evaluate matrix elements on smooth hard-wall states, but the first-derivative operator with Dirichlet conditions at both endpoints is not a self-adjoint momentum observable on the interval. Self-adjoint interval momenta use phase-related endpoint conditions instead.

The Hamiltonian and p2=2mHp^2=2mH are well defined for the hard-wall problem. A release-and-measure momentum experiment is instead described by extending the released wavefunction to the full line and Fourier transforming it; it does not generally yield only two delta peaks at ±nπℏ/L\pm n\pi\hbar/L. See Hermitian vs Self-Adjoint Operators.

  • Starting the spectrum at n=0n=0.
  • Treating the infinite potential as an ordinary number rather than a boundary condition.
  • Forgetting the factor 2/L\sqrt{2/L}.
  • Imposing ψ′=0\psi'=0 at a hard wall; Dirichlet conditions require ψ=0\psi=0.
  • Using periodic eigenfunctions for a hard-wall interval.
  • Calling the n2n^2 spectrum equally spaced.
  • Confusing ⟨p⟩=0\langle p\rangle=0 with zero kinetic energy.
  • Assuming −iℏd/dx-i\hbar d/dx with two Dirichlet endpoints is self-adjoint.
  • Using hard-wall energies for a finite-depth well.
  • Expecting high-nn densities to converge pointwise to a uniform classical density; the agreement is coarse grained.
  • Assuming every normalized sine series has finite mean energy.
  • Forgetting that the coordinate origin changes parity and position matrix element conventions.

Show that Asin⁡(nπx/L)A\sin(n\pi x/L) is normalized when ∣A∣=2/L\lvert A\rvert=\sqrt{2/L}.

Solution

Use

∫0Ldx sin⁡2 ⁣(nπxL)=L2.\int_0^Ldx\, \sin^2\!\left(\frac{n\pi x}{L}\right) = \frac{L}{2}.

Then

1=∣A∣2L2,1 = \lvert A\rvert^2\frac{L}{2},

so

∣A∣=2L.\lvert A\rvert = \sqrt{\frac{2}{L}}.

The remaining phase of AA is physically irrelevant.

Evaluate ⟨m∣x∣n⟩\langle m\rvert x\lvert n\rangle for m≠nm\neq n and show that it vanishes when m+nm+n is even.

Solution

Use the product identity for the two sine functions:

xmn=1L∫0Ldx x[cos⁡ ⁣((m−n)πxL)−cos⁡ ⁣((m+n)πxL)].\begin{aligned} x_{mn} &= \frac{1}{L} \int_0^Ldx\,x \left[ \cos\!\left(\frac{(m-n)\pi x}{L}\right) -\cos\!\left(\frac{(m+n)\pi x}{L}\right) \right]. \end{aligned}

For nonzero integer rr,

∫0Ldx xcos⁡ ⁣(rπxL)=L2r2π2[(−1)r−1].\int_0^Ldx\,x\cos\!\left(\frac{r\pi x}{L}\right) = \frac{L^2}{r^2\pi^2} \left[(-1)^r-1\right].

The integers m−nm-n and m+nm+n have the same parity. If that parity is even, both terms vanish. If it is odd, simplification gives

xmn=−8Lmnπ2(m2−n2)2.x_{mn} = -\frac{8Lmn}{\pi^2(m^2-n^2)^2}.

Thus xmnx_{mn} is nonzero only between opposite-parity centered-well states.

Compute (Δx)1(Δp)1(\Delta x)_1(\Delta p)_1 and compare it with ℏ/2\hbar/2.

Solution

For n=1n=1,

(Δx)12=L2(112−12π2),(\Delta x)_1^2 = L^2 \left( \frac1{12}-\frac{1}{2\pi^2} \right),

and

(Δp)1=πℏL.(\Delta p)_1=\frac{\pi\hbar}{L}.

Therefore

(Δx)1(Δp)1=ℏ2π23−2≈0.568ℏ.(\Delta x)_1(\Delta p)_1 = \frac{\hbar}{2} \sqrt{\frac{\pi^2}{3}-2} \approx 0.568\hbar.

This exceeds ℏ/2\hbar/2. The box ground state is not a minimum-uncertainty Gaussian.

Show that the state at Trev/2T_{\rm rev}/2 is the reflected initial state up to a global phase.

Solution

At half the revival time,

e−iEnTrev/(2ℏ)=e−iπn2=(−1)n.e^{-iE_nT_{\rm rev}/(2\hbar)} = e^{-i\pi n^2} = (-1)^n.

The eigenfunctions satisfy

ψn(L−x)=(−1)n+1ψn(x).\psi_n(L-x) = (-1)^{n+1}\psi_n(x).

Hence

(−1)nψn(x)=−ψn(L−x).(-1)^n\psi_n(x) = -\psi_n(L-x).

Applying this identity term by term to the spectral expansion gives

ψ(x,Trev/2)=−ψ(L−x,0).\psi(x,T_{\rm rev}/2) = -\psi(L-x,0).

The minus sign is a global phase and does not affect probabilities.

  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018, Ch. 2.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994, Ch. 5.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Vol. 1, Wiley, 1977.
  • E. Merzbacher, Quantum Mechanics, 3rd ed., Wiley, 1998.
  • R. W. Robinett, “Quantum wave packet revivals,” Physics Reports 392, 1–119 (2004).