The WKB approximation estimates solutions of the one-dimensional Schrödinger equation when
changes slowly over a wavelength. The idea is that the quantum wave is locally like a free-particle wave with slowly changing momentum
In a classically allowed region, , WKB gives
Thus the local wavelength is , and the amplitude grows where the particle moves slowly. In a forbidden region,
, define
; then the wave is approximately exponential,
A turning point satisfies
. Classically, the particle stops and reverses there; quantum mechanically, the wave changes from oscillatory to decaying. Raw WKB fails exactly at
, because
makes its prefactor diverge. Near a simple turning point, the correct local approximation is an Airy function: it stays finite at the turning point, oscillates on the allowed side, and decays on the forbidden side. Thus WKB is accurate away from turning points, Airy is accurate near them, and in their overlap region the Airy asymptotics reproduce WKB—including the
phase shift.
The harmonic oscillator is one of the best places to understand WKB approximation because we know the exact answer. Usually, in quantum mechanics, one writes down an approximation because the exact wavefunction is unknown. Here the situation is better: the exact wavefunctions are Hermite functions, and we can ask a more revealing question: When the quantum number is large, what does the exact Hermite wavefunction actually look like?
The answer is that it naturally breaks into three regions. In the middle, where the classical particle is allowed to move, the exact wavefunction becomes an oscillating WKB wave. Near the places where the classical particle turns around, ordinary WKB fails and the exact wavefunction becomes Airy-like. Beyond those turning points, the same exact wavefunction becomes an exponentially decaying WKB tail. Thus WKB and Airy functions are different asymptotic faces of one exact solution.
The purpose of this discussion is to show that analytically. We will begin with the exact Hermite wavefunction, convert it into an exact contour integral, and study that integral when is large. WKB, the Airy function, the classically allowed region, the forbidden region, and the phase shift
will all emerge from the geometry of that integral.
Harmonic Oscillator
The one-dimensional harmonic oscillator has potential
Its time-independent Schrödinger equation is
It is useful to measure distance in units of the oscillator length Define the dimensionless coordinate
To avoid heavy notation, write
simply as
.
Then the exact normalized -th eigenfunction is
where
is the
-th Hermite polynomial. The corresponding energy is
It is convenient to introduce
Then the exact differential equation for can be written as
The classical turning points occur where the kinetic energy vanishes. Since the dimensionless kinetic-energy factor is the turning points are
Inside this interval the classical momentum is real. This is the classically allowed region. Outside,
we have
, so classical motion is impossible. This is the classically forbidden region. For later use, define
and
In physical units,
is the local momentum divided by
.
WKB prediction
Before deriving anything from Hermite functions, let us state what WKB would predict. Inside the allowed region, WKB predicts an oscillatory wave:
Two important features appear here. First, the local wavelength is approximately Thus as
approaches a turning point and
, the wavelength becomes longer and longer. Second, the amplitude has the form
This reflects the fact that a classical particle moves more slowly near a turning point, and therefore spends more time there.
Outside the allowed region, WKB predicts an exponential tail:
However, ordinary WKB has a problem at a turning point. Since
the expression diverges as
. The true wavefunction does not diverge. The purpose of the Airy function is to repair this failure. The main point of what follows is that these formulas are not merely plausible guesses. For the harmonic oscillator, they can be extracted from the exact Hermite function.
Analysis of exact solutions
The Hermite polynomials have the exact generating function The coefficient of
can be recovered by a contour integral:
Here
is any positively oriented closed contour surrounding
. Substituting this exact formula into the normalized wavefunction gives
Nothing has been approximated yet. Now rescale position by the turning-point size: Thus
measures position relative to the classical amplitude. The right turning point is now at
, and the left turning point is at
. Also rescale the contour variable by
After straightforward algebra, the exact wavefunction becomes
where and
The expression above is exact. The quantity is large when the oscillator is highly excited. Thus the integral has the form
Integrals of this kind are governed, for large
, by the stationary points of
. This is the method of steepest descent.
Saddle Point Approximation
Suppose one has an integral such as where
is very large. Because of the factor
, the integral is strongly concentrated near points where the phase changes least rapidly. These are the points where
Such points are called saddle points or stationary points. If
then near
,
Thus the integral near the saddle becomes approximately Gaussian. The Gaussian approximation produces the familiar
factor and, in complex problems, a phase coming from the square root of a complex number. If two saddles merge together, then the quadratic term vanishes:
The first nonzero term is often cubic:
A cubic saddle is governed by the Airy function. This is why Airy functions appear at turning points.
Thus the entire WKB story will come from following the saddle points of as
moves from inside to outside the interval
. Differentiate the exact exponent:
The saddle points satisfy
Multiplying by
,
Therefore
This formula contains the whole geometry.
When , the quantity
is negative, so the saddles are complex conjugates. Their contributions interfere, producing oscillations. When
, the saddles are real. One produces a decaying exponential and the other corresponds to a growing exponential. When
, the two saddles collide. This is the turning point, and this collision produces the Airy function.
Classical Region
Suppose Write
Then
and the two saddle points become
The saddles are complex conjugates. This matters because the two contributions have equal magnitude but opposite phase. Adding them produces a cosine. At the first saddle,
At the conjugate saddle,
Define
The two exponential factors are then
and
These are the two semiclassical traveling waves.
To estimate the integral near each saddle, one expands to second order. For example,
The relevant second derivatives are
and
The local integrals are Gaussian, but they are complex Gaussians. The direction of steepest descent and the square root of the complex curvature contribute a quarter-turn phase. After carrying out the standard saddle-point calculation, the two contributions combine into
The
is therefore phase produced by the local Gaussian geometry of the exact contour integral.
After including the amplitude factors and Stirling’s approximation for , one obtains the asymptotic formula
This is valid uniformly when It is valid everywhere in the allowed region except in small neighborhoods of the turning points.
The exact saddle-point formula already looks like WKB, but let us show that it is precisely WKB.
The local wave number is Set
Then
Thus the amplitude factor becomes
This is exactly the WKB amplitude. Now examine the phase. The WKB action from
to the right turning point
is
Put
. Then
and
Therefore
But Hence
This is exactly the phase that emerged from the saddle points. Thus the exact Hermite asymptotic becomes
This is exactly the oscillatory WKB wavefunction.
Forbidden Region
Now suppose Write
Then the two saddle points are real:
The exact normalized harmonic oscillator wavefunction must decay as
. Therefore its asymptotics must select the recessive, or decaying, saddle. A careful steepest-descent deformation of the original coefficient contour passes through the saddle
. The other saddle corresponds to the exponentially growing solution, which is excluded by normalizability.
At the relevant saddle, Thus the exponential part of the wavefunction is
The full saddle-point calculation gives
Again, this formula is valid away from the turning point.
Outside the turning point, If
then
Thus the amplitude is
Now compute the forbidden WKB action:
Put
Then
and
Therefore
Using
we get
Hence the exact Hermite asymptotic becomes
This is the decaying WKB solution. Thus, outside the classical region, the exact Hermite function becomes the WKB exponential tail.
Turning Point
The WKB formulas we have derived are very good away from . But both contain singular amplitudes:
At the turning point,
Thus raw WKB diverges.
The exact Hermite function does not diverge. It remains smooth and finite. The contour-integral explanation is equally clear. At , the two saddle points become
The two saddles merge. Ordinary saddle-point approximation assumes that the second derivative is nonzero. But at the merged saddle,
The Gaussian approximation fails. This is exactly analogous to WKB failing because
. We need a new local approximation.
Near the right turning point, write where
Since
we have
Therefore the turning-point layer has width
This is much smaller than the total oscillator size
For highly excited states, the oscillator therefore has a large bulk oscillatory region, a narrow Airy transition layer, and then a forbidden exponential tail. The special
scale is not arbitrary. It comes from balancing the cubic saddle behavior against the small displacement from the turning point.
Near the turning point, write and zoom into the merged saddle using
The exponent is
At
, its Taylor expansion around
is
Notice what has happened: the linear and quadratic terms vanish. The first nontrivial term is cubic. Substituting and including the small displacement of
away from
, one finds
Therefore the leading local integral has the form
But this is exactly the contour integral defining the Airy function:
After restoring the prefactor, we obtain
This is valid when remains in a fixed bounded interval. Thus the Airy function is the correct local approximation to the exact Hermite wavefunction near the turning point.
The Airy variable is Therefore:
which is the allowed side.
which is the turning point.
which is the forbidden side. The single Airy function does all three things:
oscillates,
is finite and
decays exponentially. This is why it is the right local function.
Raw WKB gives the correct behavior away from the turning point, but it fails precisely where the character of the wave changes. The Airy function is the smooth bridge through that change.
For large positive ,
Take a point slightly inside the turning point:
Then
Near the turning point,
Since
we obtain
But this is the leading approximation to the WKB action:
The amplitude also matches:
Therefore the Airy formula becomes
Since this is exactly the WKB formula obtained earlier from the bulk saddle analysis.
For large positive ,
Now take a point slightly outside the turning point:
Then
Near the turning point,
The WKB exponent is
But
The Airy prefactor also becomes the WKB prefactor:
Therefore
This is precisely the decaying WKB tail.
The Airy approximation is valid near the turning point, while raw WKB is valid away from it. There is a region where both are valid. The Airy asymptotic formulas require Thus
But the local turning-point expansion also requires
So the overlap region is
In that region, Airy asymptotics and WKB give the same formula. This is the precise meaning of “matching.” They are not the same formula at the turning point. Raw WKB diverges there, while Airy stays finite. But there is a region sufficiently far from the turning point for Airy to simplify, and sufficiently near it for the local geometry to remain relevant. In that overlap region, the two approximations agree.
Quantization
The harmonic oscillator has two turning points, at and
. Each smooth turning point contributes a phase shift of
. The total action across the allowed region is
This is the area of a semicircle of radius
:
Since
,
Thus the WKB quantization rule is
For the harmonic oscillator, this semiclassical quantization formula gives the exact energies. The extra is not an arbitrary correction. It comes from the two turning points:
That total phase shift changes the naive integer rule into the correct half-integer rule.
Conclusion:
The three formulas describe one exact Hermite wavefunction in different regions. Inside , two complex saddle points contribute and interfere, giving the oscillatory WKB wave:
Near , the saddles merge, so the usual Gaussian saddle approximation fails. The resulting cubic approximation is the Airy function:
Outside , one real saddle gives the decaying WKB tail:
So for the exact Hermite wavefunction, WKB is the correct large- approximation away from the turning points, while the Airy function is the correct approximation near them.