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 . The useful small parameter is dimensionless:
where is a characteristic action scale of the problem.
In this regime, phases of the form
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.
Why Quantum Mechanics Needs This
Section titled “Why Quantum Mechanics Needs This”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.
Dimensionless Hbar
Section titled “Dimensionless Hbar”The expression "" is shorthand. Since has units of action, only ratios such as
are meaningful.
For a particle with typical momentum and length scale , the condition
means that many de Broglie wavelengths fit across the scale on which the classical data change. Equivalently,
Changing units cannot make a system semiclassical. The physical question is whether the action scales resolved by the problem are large compared with .
Oscillatory Integrals
Section titled “Oscillatory Integrals”The finite-dimensional model is
If is nonzero on a region and no endpoint contribution is present, neighboring phases oscillate rapidly and cancel. Leading contributions come from stationary points:
For a nondegenerate stationary point,
the leading contribution has the form
This formula is the local Gaussian approximation to the integral. The phase 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.
Hamilton–Jacobi Leading Phase
Section titled “Hamilton–Jacobi Leading Phase”Consider the time-dependent Schrödinger equation
Use the WKB-type ansatz
Substituting and collecting powers of gives, at leading order,
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,
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
When is rapidly varying, stationary paths dominate the leading saddle expansion:
For fixed endpoint variations, this condition gives the Euler–Lagrange equations. Thus the leading semiclassical propagator is a sum over classical trajectory branches:
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.
Prefactors Are Part of the Approximation
Section titled “Prefactors Are Part of the Approximation”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 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.
Relation to the Bracket Correspondence
Section titled “Relation to the Bracket Correspondence”The classical–quantum correspondence also has a semiclassical expansion. For a suitable quantization map,
in the Weyl-symbol calculus.
The Poisson bracket is the leading term; the higher powers of are quantum corrections. This is why the Poisson bracket is a classical shadow of the commutator, not a replacement for it at finite .
Breakdown and Repairs
Section titled “Breakdown and Repairs”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.
Relation to Other Classical Limits
Section titled “Relation to Other Classical Limits”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- asymptotic expansion is actually part of the argument.
Common Mistakes
Section titled “Common Mistakes”- Treating 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.
Cross-Links
Section titled “Cross-Links”- Semiclassical Limit Overview
- Asymptotic Analysis
- Hamilton–Jacobi Theory
- Action Principles
- Classical–Quantum Correspondence
- Phase Space
- Symplectic Manifolds, First Look
- WKB Approximation
- Semiclassical Limits and Correspondence
- Semiclassical Propagator
- Van Vleck Determinant
- Why Path Integrals?
- Stationary Phase and the Classical Limit
References
Section titled “References”- 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.
Exercises
Section titled “Exercises”- A particle has typical momentum and the potential changes over a length scale . Show that the condition is equivalent to up to a factor of .
Solution
The de Broglie wavelength is
The condition becomes
or
Since the semiclassical condition is usually order-of-magnitude, this is the same action-scale condition up to the conventional .
- Starting from , explain why the leading equation is Hamilton–Jacobi rather than Schrödinger-like.
Solution
Derivatives of the phase produce factors of . When the ansatz is inserted into the Schrödinger equation, the terms with no positive powers of give
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.
- Why does stationary phase select rather than points where is largest?
Solution
The integrand is oscillatory, not a positive exponential weight. Away from stationary points, nearby phases change rapidly and cancel. Near , the phase is locally stable to first order, so nearby contributions can add coherently. The size of itself is not what selects the contribution.
- 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.
- Give two reasons a leading semiclassical formula can fail even when 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.