Skip to content

Semiclassical Limit

The semiclassical limit is an asymptotic regime in which quantum phases are organized by classical action functions. It is not the statement that quantum mechanics becomes classical mechanics by setting ℏ=0\hbar=0. The useful small parameter is dimensionless:

ϵ∼ℏS0,ϵ≪1,\epsilon \sim \frac{\hbar}{S_0}, \qquad \epsilon\ll1,

where S0S_0 is a characteristic action scale of the problem.

In this regime, phases of the form

exp⁡(iℏS)\exp\left(\frac{i}{\hbar}S\right)

oscillate rapidly. Contributions with nonstationary phase tend to cancel, while neighborhoods of stationary action survive. This is the mathematical reason classical trajectories, Hamilton–Jacobi equations, WKB phases, and Van Vleck determinants appear inside quantum calculations.

The Core overview explains the physical interpretation at Semiclassical Limit Overview. This Toolkit page focuses on the mathematical mechanism.

For the applied sequence from local WKB solutions through connection formulas, quantization, tunneling, and semiclassical kernels, use WKB and Semiclassical Methods.

Semiclassical reasoning appears in:

  • WKB wavefunctions and connection formulas;
  • Bohr–Sommerfeld and EBK quantization;
  • stationary-phase evaluation of propagators;
  • path-integral saddle-point expansions;
  • high-energy and short-wavelength scattering;
  • coherent-state and Gaussian wave-packet dynamics;
  • trace formulas, caustics, and Maslov phases;
  • the leading term in the Poisson-to-commutator correspondence.

The common thread is asymptotic control. A semiclassical formula should say what is held fixed, what dimensionless parameter is small, and where the approximation fails.

The expression "ℏ→0\hbar\to0" is shorthand. Since ℏ\hbar has units of action, only ratios such as

Sℏ,pLℏ,ETℏ\frac{S}{\hbar}, \qquad \frac{pL}{\hbar}, \qquad \frac{E T}{\hbar}

are meaningful.

For a particle with typical momentum pp and length scale LL, the condition

pLℏ≫1\frac{pL}{\hbar}\gg1

means that many de Broglie wavelengths fit across the scale on which the classical data change. Equivalently,

λdB=2πℏp≪L.\lambda_{\mathrm{dB}} = \frac{2\pi\hbar}{p} \ll L.

Changing units cannot make a system semiclassical. The physical question is whether the action scales resolved by the problem are large compared with ℏ\hbar.

The finite-dimensional model is

I(ℏ)=∫a(x)exp⁡(iℏS(x))dx.I(\hbar) = \int a(x) \exp\left( \frac{i}{\hbar}S(x) \right)dx.

If S′(x)S'(x) is nonzero on a region and no endpoint contribution is present, neighboring phases oscillate rapidly and cancel. Leading contributions come from stationary points:

S′(x⋆)=0.S'(x_\star)=0.

For a nondegenerate stationary point,

S′′(x⋆)≠0,S''(x_\star)\ne0,

the leading contribution has the form

I(ℏ)∼a(x⋆)exp⁡(iℏS(x⋆))exp⁡[iπ4sgn⁡S′′(x⋆)]2πℏ∣S′′(x⋆)∣.I(\hbar) \sim a(x_\star) \exp\left( \frac{i}{\hbar}S(x_\star) \right) \exp\left[ i\frac{\pi}{4} \operatorname{sgn}S''(x_\star) \right] \sqrt{ \frac{2\pi\hbar} {\lvert S''(x_\star)\rvert} }.

This formula is the local Gaussian approximation to the integral. The phase S(x⋆)/ℏS(x_\star)/\hbar is the leading action phase; the square-root factor is the fluctuation prefactor; the extra phase records the sign of the quadratic form.

Path integrals and propagators are infinite-dimensional versions of this same logic, with determinants replacing finite-dimensional Hessians.

Consider the time-dependent Schrödinger equation

iℏ∂ψ∂t=[−ℏ22m∇2+V(q,t)]ψ.i\hbar\frac{\partial\psi}{\partial t} = \left[ - \frac{\hbar^2}{2m}\nabla^2 + V(q,t) \right]\psi.

Use the WKB-type ansatz

ψ(q,t)=A(q,t)exp⁡(iℏS(q,t)).\psi(q,t) = A(q,t) \exp\left( \frac{i}{\hbar}S(q,t) \right).

Substituting and collecting powers of ℏ\hbar gives, at leading order,

∂S∂t+12m(∇S)2+V(q,t)=0.\frac{\partial S}{\partial t} + \frac{1}{2m} \left( \nabla S \right)^2 + V(q,t) = 0.

This is the Hamilton–Jacobi equation. The leading semiclassical phase is therefore not arbitrary: it is a classical action function.

The next order gives a transport equation for the amplitude. For real leading amplitude in this simple scalar case,

∂A∂t+1m∇S⋅∇A+A2m∇2S=0.\frac{\partial A}{\partial t} + \frac{1}{m} \nabla S\cdot\nabla A + \frac{A}{2m} \nabla^2S = 0.

This equation describes how the amplitude changes as neighboring classical trajectories focus or spread. It is the wave-mechanics ancestor of Van Vleck determinants and caustic phases.

Classical Paths as Stationary Contributions

Section titled “Classical Paths as Stationary Contributions”

The real-time path-integral expression for a propagator is schematically

K(qb,tb;qa,ta)=∫Dq exp⁡(iℏS[q]).K(q_b,t_b;q_a,t_a) = \int \mathcal Dq\, \exp\left( \frac{i}{\hbar}S[q] \right).

When S[q]/ℏS[q]/\hbar is rapidly varying, stationary paths dominate the leading saddle expansion:

δS[qγ]=0.\delta S[q_\gamma]=0.

For fixed endpoint variations, this condition gives the Euler–Lagrange equations. Thus the leading semiclassical propagator is a sum over classical trajectory branches:

Ksc∼∑γAγexp⁡(iℏSγ).K_{\mathrm{sc}} \sim \sum_\gamma A_\gamma \exp\left( \frac{i}{\hbar}S_\gamma \right).

The phrase “sum over classical paths” is easy to misuse. The path integral sums over all histories; classical paths are stationary branches that contribute to an approximation. Multiple classical branches contribute amplitudes and can interfere.

Keeping only the exponential phase often gives the right intuition but the wrong amplitude. The prefactor contains:

  • local normalization;
  • the fluctuation determinant around a stationary path;
  • trajectory stability information;
  • Maslov or caustic phases;
  • endpoint and boundary-condition effects.

For one-particle propagators, this information is organized by the Van Vleck determinant. For WKB wavefunctions, the familiar 1/p(x)1/\sqrt{p(x)} factor is the same kind of transport information in one dimension.

The lesson is simple: semiclassical does not mean “phase only.” A leading semiclassical formula usually has both a rapidly oscillating phase and a slowly varying prefactor.

The classical–quantum correspondence also has a semiclassical expansion. For a suitable quantization map,

1iℏ[Op⁡(f),Op⁡(g)]=Op⁡({f,g})+O(ℏ2)\frac{1}{i\hbar} [\operatorname{Op}(f),\operatorname{Op}(g)] = \operatorname{Op}(\{f,g\}) + O(\hbar^2)

in the Weyl-symbol calculus.

The Poisson bracket is the leading term; the higher powers of ℏ\hbar are quantum corrections. This is why the Poisson bracket is a classical shadow of the commutator, not a replacement for it at finite ℏ\hbar.

Semiclassical approximations are local asymptotic tools. They fail or need modification near:

  • turning points, where WKB momentum vanishes;
  • caustics, where trajectory projections focus and simple prefactors diverge;
  • separatrices and unstable fixed points;
  • long chaotic evolution, where errors can grow rapidly;
  • discontinuous potentials or sharp boundaries;
  • tunneling regions, where complex paths or analytic continuation may be needed;
  • Stokes lines, where saddle contributions switch on or off;
  • global topology, where phases and boundary conditions are not captured by a single local chart.

The failure is not a disaster; it is information. Turning points are repaired by Airy-function matching. Caustics require uniform approximations or representation changes. Tunneling needs complex or Euclidean saddle methods. Global phase jumps are tracked by Maslov indices and topology.

The semiclassical limit is only one route to classical-looking behavior. It is strongest when action phases and stationary phase are the controlling mechanism. Other classical-limit mechanisms include coarse graining, environmental decoherence, thermodynamic limits, large occupation numbers, and statistical averaging.

This distinction matters. A WKB wavefunction can be semiclassical while still displaying interference. A decohered macroscopic pointer can look classical without being described by a single WKB phase. A high-temperature oscillator can obey classical thermodynamic averages while retaining a quantum Hilbert-space description.

Use the phrase “semiclassical” when an action-over-ℏ\hbar asymptotic expansion is actually part of the argument.

  • Treating ℏ=0\hbar=0 as a literal substitution inside quantum equations.
  • Forgetting to identify the dimensionless small parameter.
  • Calling any large or macroscopic system semiclassical.
  • Keeping only the action phase and dropping the prefactor without justification.
  • Using leading WKB at turning points or caustics.
  • Treating classical paths in a saddle expansion as classical probabilities.
  • Assuming the first correction is always negligible.
  • Confusing the semiclassical limit with decoherence or measurement.
  • M. V. Berry and K. E. Mount, “Semiclassical approximations in wave mechanics,” Reports on Progress in Physics 35, 315-397, 1972.
  • M. C. Gutzwiller, Chaos in Classical and Quantum Mechanics, Springer, 1990.
  • M. Brack and R. K. Bhaduri, Semiclassical Physics, Westview Press, 2003.
  • V. P. Maslov and M. V. Fedoriuk, Semi-Classical Approximation in Quantum Mechanics, Reidel, 1981.
  • L. S. Schulman, Techniques and Applications of Path Integration, Wiley, 1981.
  • V. I. Arnold, Mathematical Methods of Classical Mechanics, 2nd ed., Springer, 1989.
  • R. B. Dingle, Asymptotic Expansions: Their Derivation and Interpretation, Academic Press, 1973.
  1. A particle has typical momentum pp and the potential changes over a length scale LL. Show that the condition λdB≪L\lambda_{\mathrm{dB}}\ll L is equivalent to pL/ℏ≫1pL/\hbar\gg 1 up to a factor of 2π2\pi.
Solution

The de Broglie wavelength is

λdB=2πℏp.\lambda_{\mathrm{dB}} = \frac{2\pi\hbar}{p}.

The condition λdB≪L\lambda_{\mathrm{dB}}\ll L becomes

2πℏp≪L,\frac{2\pi\hbar}{p} \ll L,

or

pLℏ≫2π.\frac{pL}{\hbar} \gg 2\pi.

Since the semiclassical condition is usually order-of-magnitude, this is the same action-scale condition pL/ℏ≫1pL/\hbar\gg1 up to the conventional 2π2\pi.

  1. Starting from ψ=AeiS/ℏ\psi=Ae^{iS/\hbar}, explain why the leading equation is Hamilton–Jacobi rather than Schrödinger-like.
Solution

Derivatives of the phase produce factors of 1/ℏ1/\hbar. When the ansatz is inserted into the Schrödinger equation, the terms with no positive powers of ℏ\hbar give

∂S∂t+12m(∇S)2+V=0.\frac{\partial S}{\partial t} + \frac{1}{2m} \left( \nabla S \right)^2 + V = 0.

This is the Hamilton–Jacobi equation. The amplitude equation appears at the next order. Thus the leading semiclassical phase is governed by a classical action equation.

  1. Why does stationary phase select S′(x⋆)=0S'(x_\star)=0 rather than points where S(x)S(x) is largest?
Solution

The integrand is oscillatory, not a positive exponential weight. Away from stationary points, nearby phases change rapidly and cancel. Near S′(x⋆)=0S'(x_\star)=0, the phase is locally stable to first order, so nearby contributions can add coherently. The size of SS itself is not what selects the contribution.

  1. In a semiclassical propagator, why is the prefactor not optional?
Solution

The phase records the classical action along a stationary path, but the amplitude depends on fluctuations around that path. The prefactor carries normalization, stability, focusing, and caustic-phase information. Dropping it can give wrong probabilities, wrong matching across caustics, and wrong composition behavior for propagators.

  1. Give two reasons a leading semiclassical formula can fail even when S/ℏS/\hbar is large.
Solution

First, a turning point or caustic can make the leading prefactor singular, requiring a uniform approximation. Second, several saddle points can compete or switch across Stokes lines, so a single-branch approximation misses interference or exponentially small contributions. Other valid examples include sharp boundaries, long chaotic evolution, and global topology.