WKB approximation

Last updated

In mathematical physics, the WKB approximation or WKB method is a method for finding approximate solutions to linear differential equations with spatially varying coefficients. It is typically used for a semiclassical calculation in quantum mechanics in which the wavefunction is recast as an exponential function, semiclassically expanded, and then either the amplitude or the phase is taken to be changing slowly.

Contents

The name is an initialism for Wentzel–Kramers–Brillouin. It is also known as the LG or Liouville–Green method. Other often-used letter combinations include JWKB and WKBJ, where the "J" stands for Jeffreys.

Brief history

This method is named after physicists Gregor Wentzel, Hendrik Anthony Kramers, and Léon Brillouin, who all developed it in 1926. [1] In 1923, mathematician Harold Jeffreys had developed a general method of approximating solutions to linear, second-order differential equations, a class that includes the Schrödinger equation. The Schrödinger equation itself was not developed until two years later, and Wentzel, Kramers, and Brillouin were apparently unaware of this earlier work, so Jeffreys is often neglected credit. Early texts in quantum mechanics contain any number of combinations of their initials, including WBK, BWK, WKBJ, JWKB and BWKJ. An authoritative discussion and critical survey has been given by Robert B. Dingle. [2]

Earlier appearances of essentially equivalent methods are: Francesco Carlini in 1817, Joseph Liouville in 1837, George Green in 1837, Lord Rayleigh in 1912 and Richard Gans in 1915. Liouville and Green may be said to have founded the method in 1837, and it is also commonly referred to as the Liouville–Green or LG method. [3] [4]

The important contribution of Jeffreys, Wentzel, Kramers, and Brillouin to the method was the inclusion of the treatment of turning points, connecting the evanescent and oscillatory solutions at either side of the turning point. For example, this may occur in the Schrödinger equation, due to a potential energy hill.

Formulation

Generally, WKB theory is a method for approximating the solution of a differential equation whose highest derivative is multiplied by a small parameterε. The method of approximation is as follows.

For a differential equation assume a solution of the form of an asymptotic series expansion in the limit δ → 0. The asymptotic scaling of δ in terms of ε will be determined by the equation – see the example below.

Substituting the above ansatz into the differential equation and cancelling out the exponential terms allows one to solve for an arbitrary number of terms Sn(x) in the expansion.

WKB theory is a special case of multiple scale analysis. [5] [6] [7]

An example

This example comes from the text of Carl M. Bender and Steven Orszag. [7] Consider the second-order homogeneous linear differential equation where . Substituting results in the equation

To leading order in ϵ (assuming, for the moment, the series will be asymptotically consistent), the above can be approximated as

In the limit δ → 0, the dominant balance is given by

So δ is proportional to ϵ. Setting them equal and comparing powers yields which can be recognized as the eikonal equation, with solution

Considering first-order powers of ϵ fixes This has the solution where k1 is an arbitrary constant.

We now have a pair of approximations to the system (a pair, because S0 can take two signs); the first-order WKB-approximation will be a linear combination of the two:

Higher-order terms can be obtained by looking at equations for higher powers of δ. Explicitly, for n ≥ 2.

Precision of the asymptotic series

The asymptotic series for y(x) is usually a divergent series, whose general term δnSn(x) starts to increase after a certain value n = nmax. Therefore, the smallest error achieved by the WKB method is at best of the order of the last included term.

For the equation with Q(x) <0 an analytic function, the value and the magnitude of the last term can be estimated as follows: [8] where is the point at which needs to be evaluated and is the (complex) turning point where , closest to .

The number nmax can be interpreted as the number of oscillations between and the closest turning point.

If is a slowly changing function, the number nmax will be large, and the minimum error of the asymptotic series will be exponentially small.

Application in non relativistic quantum mechanics

WKB approximation to the indicated potential. Vertical lines show the turning points WKB approximation example.svg
WKB approximation to the indicated potential. Vertical lines show the turning points
Probability density for the approximate wave function. Vertical lines show the turning points WKB approximation to probability density.svg
Probability density for the approximate wave function. Vertical lines show the turning points

The above example may be applied specifically to the one-dimensional, time-independent Schrödinger equation, which can be rewritten as

Approximation away from the turning points

The wavefunction can be rewritten as the exponential of another function S (closely related to the action), which could be complex, so that its substitution in Schrödinger's equation gives:

Next, the semiclassical approximation is used. This means that each function is expanded as a power series in ħ. Substituting in the equation, and only retaining terms up to first order in , we get: which gives the following two relations: which can be solved for 1D systems, first equation resulting in:and the second equation computed for the possible values of the above, is generally expressed as:


Thus, the resulting wavefunction in first order WKB approximation is presented as, [9] [10]


In the classically allowed region, namely the region where the integrand in the exponent is imaginary and the approximate wave function is oscillatory. In the classically forbidden region , the solutions are growing or decaying. It is evident in the denominator that both of these approximate solutions become singular near the classical turning points, where E = V(x), and cannot be valid. (The turning points are the points where the classical particle changes direction.)


Hence, when , the wavefunction can be chosen to be expressed as:and for ,The integration in this solution is computed between the classical turning point and the arbitrary position x'.

Validity of WKB solutions

From the condition:

It follows that:


For which the following two inequalities are equivalent since the terms in either side are equivalent, as used in the WKB approximation:

The first inequality can be used to show the following:

where is used and is the local de Broglie wavelength of the wavefunction. The inequality implies that the variation of potential is assumed to be slowly varying. [10] [11] This condition can also be restated as the fractional change of or that of the momentum , over the wavelength , being much smaller than . [12]


Similarly it can be shown that also has restrictions based on underlying assumptions for the WKB approximation that:which implies that the de Broglie wavelength of the particle is slowly varying. [11]

Behavior near the turning points

We now consider the behavior of the wave function near the turning points. For this, we need a different method. Near the first turning points, x1, the term can be expanded in a power series,

To first order, one finds This differential equation is known as the Airy equation, and the solution may be written in terms of Airy functions, [13]

Although for any fixed value of , the wave function is bounded near the turning points, the wave function will be peaked there, as can be seen in the images above. As gets smaller, the height of the wave function at the turning points grows. It also follows from this approximation that:

Connection conditions

It now remains to construct a global (approximate) solution to the Schrödinger equation. For the wave function to be square-integrable, we must take only the exponentially decaying solution in the two classically forbidden regions. These must then "connect" properly through the turning points to the classically allowed region. For most values of E, this matching procedure will not work: The function obtained by connecting the solution near to the classically allowed region will not agree with the function obtained by connecting the solution near to the classically allowed region. The requirement that the two functions agree imposes a condition on the energy E, which will give an approximation to the exact quantum energy levels.

WKB approximation to the indicated potential. Vertical lines show the energy level and its intersection with potential shows the turning points with dotted lines. The problem has two classical turning points with
U
1
<
0
{\displaystyle U_{1}<0}
at
x
=
x
1
{\displaystyle x=x_{1}}
and
U
1
>
0
{\displaystyle U_{1}>0}
at
x
=
x
2
{\displaystyle x=x_{2}}
. WKB approximation example.svg
WKB approximation to the indicated potential. Vertical lines show the energy level and its intersection with potential shows the turning points with dotted lines. The problem has two classical turning points with at and at .

The wavefunction's coefficients can be calculated for a simple problem shown in the figure. Let the first turning point, where the potential is decreasing over x, occur at and the second turning point, where potential is increasing over x, occur at . Given that we expect wavefunctions to be of the following form, we can calculate their coefficients by connecting the different regions using Airy and Bairy functions.

First classical turning point

For ie. decreasing potential condition or in the given example shown by the figure, we require the exponential function to decay for negative values of x so that wavefunction for it to go to zero. Considering Bairy functions to be the required connection formula, we get: [14]

We cannot use Airy function since it gives growing exponential behaviour for negative x. When compared to WKB solutions and matching their behaviours at , we conclude:

, and .

Thus, letting some normalization constant be , the wavefunction is given for increasing potential (with x) as: [10]


Second classical turning point

For ie. increasing potential condition or in the given example shown by the figure, we require the exponential function to decay for positive values of x so that wavefunction for it to go to zero. Considering Airy functions to be the required connection formula, we get: [14]

We cannot use Bairy function since it gives growing exponential behaviour for positive x. When compared to WKB solutions and matching their behaviours at , we conclude:

, and .

Thus, letting some normalization constant be , the wavefunction is given for increasing potential (with x) as: [10]


Common oscillating wavefunction

Matching the two solutions for region , it is required that the difference between the angles in these functions is where the phase difference accounts for changing cosine to sine for the wavefunction and difference since negation of the function can occur by letting . Thus: Where n is a non-negative integer. This condition can also be rewritten as saying that:

The area enclosed by the classical energy curve is .

Either way, the condition on the energy is a version of the Bohr–Sommerfeld quantization condition, with a "Maslov correction" equal to 1/2. [15]

It is possible to show that after piecing together the approximations in the various regions, one obtains a good approximation to the actual eigenfunction. In particular, the Maslov-corrected Bohr–Sommerfeld energies are good approximations to the actual eigenvalues of the Schrödinger operator. [16] Specifically, the error in the energies is small compared to the typical spacing of the quantum energy levels. Thus, although the "old quantum theory" of Bohr and Sommerfeld was ultimately replaced by the Schrödinger equation, some vestige of that theory remains, as an approximation to the eigenvalues of the appropriate Schrödinger operator.

General connection conditions

Thus, from the two cases the connection formula is obtained at a classical turning point, : [11]

and:

The WKB wavefunction at the classical turning point away from it is approximated by oscillatory sine or cosine function in the classically allowed region, represented in the left and growing or decaying exponentials in the forbidden region, represented in the right. The implication follows due to the dominance of growing exponential compared to decaying exponential. Thus, the solutions of oscillating or exponential part of wavefunctions can imply the form of wavefunction on the other region of potential as well as at the associated turning point.

Probability density

One can then compute the probability density associated to the approximate wave function. The probability that the quantum particle will be found in the classically forbidden region is small. In the classically allowed region, meanwhile, the probability the quantum particle will be found in a given interval is approximately the fraction of time the classical particle spends in that interval over one period of motion. [17] Since the classical particle's velocity goes to zero at the turning points, it spends more time near the turning points than in other classically allowed regions. This observation accounts for the peak in the wave function (and its probability density) near the turning points.

Applications of the WKB method to Schrödinger equations with a large variety of potentials and comparison with perturbation methods and path integrals are treated in Müller-Kirsten. [18]

Examples in quantum mechanics

Although WKB potential only applies to smoothly varying potentials, [11] in the examples where rigid walls produce infinities for potential, the WKB approximation can still be used to approximate wavefunctions in regions of smoothly varying potentials. Since the rigid walls have highly discontinuous potential, the connection condition cannot be used at these points and the results obtained can also differ from that of the above treatment. [10]

Bound states for 1 rigid wall

The potential of such systems can be given in the form:

where .


Finding wavefunction in bound region, ie. within classical turning points and , by considering approximations far from and respectively we have two solutions:

Since wavefunction must vanish near , we conclude . For airy functions near , we require . We require that angles within these functions have a phase difference where the phase difference accounts for changing sine to cosine and allowing .

Where n is a non-negative integer. [10] Note that the right hand side of this would instead be if n was only allowed to non-zero natural numbers.


Thus we conclude that, for In 3 dimensions with spherically symmetry, the same condition holds where the position x is replaced by radial distance r, due to its similarity with this problem. [19]

Bound states within 2 rigid wall

The potential of such systems can be given in the form:

where .


For between and which are thus the classical turning points, by considering approximations far from and respectively we have two solutions:

Since wavefunctions must vanish at and . Here, the phase difference only needs to account for which allows . Hence the condition becomes:

where but not equal to zero since it makes the wavefunction zero everywhere. [10]

Quantum bouncing ball

Consider the following potential a bouncing ball is subjected to:

The wavefunction solutions of the above can be solved using the WKB method by considering only odd parity solutions of the alternative potential . The classical turning points are identified and . Thus applying the quantization condition obtained in WKB:

Letting where , solving for with given , we get the quantum mechanical energy of a bouncing ball: [20]

This result is also consistent with the use of equation from bound state of one rigid wall without needing to consider an alternative potential.

Quantum Tunneling

The potential of such systems can be given in the form:

where .


Its solutions for an incident wave is given as

where the wavefunction in the classically forbidden region is the WKB approximation but neglecting the growing exponential. This is a fair assumption for wide potential barriers through which the wavefunction is not expected to grow to high magnitudes.


By the requirement of continuity of wavefunction and its derivatives, the following relation can be shown:

where and .


Using we express the values without signs as:


Thus, the transmission coefficient is found to be:

where , and . The result can be stated as where . [10]

See also

Related Research Articles

<span class="mw-page-title-main">Uncertainty principle</span> Foundational principle in quantum physics

The uncertainty principle, also known as Heisenberg's indeterminacy principle, is a fundamental concept in quantum mechanics. It states that there is a limit to the precision with which certain pairs of physical properties, such as position and momentum, can be simultaneously known. In other words, the more accurately one property is measured, the less accurately the other property can be known.

<span class="mw-page-title-main">Quantum harmonic oscillator</span> Important, well-understood quantum mechanical model

The quantum harmonic oscillator is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary smooth potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, it is one of the most important model systems in quantum mechanics. Furthermore, it is one of the few quantum-mechanical systems for which an exact, analytical solution is known.

<span class="mw-page-title-main">Schrödinger equation</span> Description of a quantum-mechanical system

The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

<span class="mw-page-title-main">Wave function</span> Mathematical description of quantum state

In quantum physics, a wave function is a mathematical description of the quantum state of an isolated quantum system. The most common symbols for a wave function are the Greek letters ψ and Ψ. Wave functions are complex-valued. For example, a wave function might assign a complex number to each point in a region of space. The Born rule provides the means to turn these complex probability amplitudes into actual probabilities. In one common form, it says that the squared modulus of a wave function that depends upon position is the probability density of measuring a particle as being at a given place. The integral of a wavefunction's squared modulus over all the system's degrees of freedom must be equal to 1, a condition called normalization. Since the wave function is complex-valued, only its relative phase and relative magnitude can be measured; its value does not, in isolation, tell anything about the magnitudes or directions of measurable observables. One has to apply quantum operators, whose eigenvalues correspond to sets of possible results of measurements, to the wave function ψ and calculate the statistical distributions for measurable quantities.

The Klein–Gordon equation is a relativistic wave equation, related to the Schrödinger equation. It is second-order in space and time and manifestly Lorentz-covariant. It is a differential equation version of the relativistic energy–momentum relation .

<span class="mw-page-title-main">Path integral formulation</span> Formulation of quantum mechanics

The path integral formulation is a description in quantum mechanics that generalizes the stationary action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.

<span class="mw-page-title-main">Particle in a spherically symmetric potential</span> Quantum mechanical model

In quantum mechanics, a spherically symmetric potential is a system of which the potential only depends on the radial distance from the spherical center and a location in space. A particle in a spherically symmetric potential will behave accordingly to said potential and can therefore be used as an approximation, for example, of the electron in a hydrogen atom or of the formation of chemical bonds.

<span class="mw-page-title-main">Wave packet</span> Short "burst" or "envelope" of restricted wave action that travels as a unit

In physics, a wave packet is a short burst of localized wave action that travels as a unit, outlined by an envelope. A wave packet can be analyzed into, or can be synthesized from, a potentially-infinite set of component sinusoidal waves of different wavenumbers, with phases and amplitudes such that they interfere constructively only over a small region of space, and destructively elsewhere. Any signal of a limited width in time or space requires many frequency components around a center frequency within a bandwidth inversely proportional to that width; even a gaussian function is considered a wave packet because its Fourier transform is a "packet" of waves of frequencies clustered around a central frequency. Each component wave function, and hence the wave packet, are solutions of a wave equation. Depending on the wave equation, the wave packet's profile may remain constant or it may change while propagating.

In quantum mechanics, the particle in a one-dimensional lattice is a problem that occurs in the model of a periodic crystal lattice. The potential is caused by ions in the periodic structure of the crystal creating an electromagnetic field so electrons are subject to a regular potential inside the lattice. It is a generalization of the free electron model, which assumes zero potential inside the lattice.

In quantum mechanics, the case of a particle in a one-dimensional ring is similar to the particle in a box. The Schrödinger equation for a free particle which is restricted to a ring is

Creation operators and annihilation operators are mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. An annihilation operator lowers the number of particles in a given state by one. A creation operator increases the number of particles in a given state by one, and it is the adjoint of the annihilation operator. In many subfields of physics and chemistry, the use of these operators instead of wavefunctions is known as second quantization. They were introduced by Paul Dirac.

In theoretical physics, supersymmetric quantum mechanics is an area of research where supersymmetry are applied to the simpler setting of plain quantum mechanics, rather than quantum field theory. Supersymmetric quantum mechanics has found applications outside of high-energy physics, such as providing new methods to solve quantum mechanical problems, providing useful extensions to the WKB approximation, and statistical mechanics.

In physics, a free particle is a particle that, in some sense, is not bound by an external force, or equivalently not in a region where its potential energy varies. In classical physics, this means the particle is present in a "field-free" space. In quantum mechanics, it means the particle is in a region of uniform potential, usually set to zero in the region of interest since the potential can be arbitrarily set to zero at any point in space.

The Gross–Pitaevskii equation describes the ground state of a quantum system of identical bosons using the Hartree–Fock approximation and the pseudopotential interaction model.

In quantum mechanics and quantum field theory, a Schrödinger field, named after Erwin Schrödinger, is a quantum field which obeys the Schrödinger equation. While any situation described by a Schrödinger field can also be described by a many-body Schrödinger equation for identical particles, the field theory is more suitable for situations where the particle number changes.

The Gamow factor, Sommerfeld factor or Gamow–Sommerfeld factor, named after its discoverer George Gamow or after Arnold Sommerfeld, is a probability factor for two nuclear particles' chance of overcoming the Coulomb barrier in order to undergo nuclear reactions, for example in nuclear fusion. By classical physics, there is almost no possibility for protons to fuse by crossing each other's Coulomb barrier at temperatures commonly observed to cause fusion, such as those found in the Sun. When George Gamow instead applied quantum mechanics to the problem, he found that there was a significant chance for the fusion due to tunneling.

<span class="mw-page-title-main">Helium atom</span> Atom of helium

A helium atom is an atom of the chemical element helium. Helium is composed of two electrons bound by the electromagnetic force to a nucleus containing two protons along with two neutrons, depending on the isotope, held together by the strong force. Unlike for hydrogen, a closed-form solution to the Schrödinger equation for the helium atom has not been found. However, various approximations, such as the Hartree–Fock method, can be used to estimate the ground state energy and wavefunction of the atom. Historically, the first such helium spectrum calculation was done by Albrecht Unsöld in 1927. Its success was considered to be one of the earliest signs of validity of Schrödinger's wave mechanics.

This article relates the Schrödinger equation with the path integral formulation of quantum mechanics using a simple nonrelativistic one-dimensional single-particle Hamiltonian composed of kinetic and potential energy.

In quantum mechanics, energy is defined in terms of the energy operator, acting on the wave function of the system as a consequence of time translation symmetry.

<span class="mw-page-title-main">Kicked rotator</span>

The kicked rotator, also spelled as kicked rotor, is a paradigmatic model for both Hamiltonian chaos and quantum chaos. It describes a free rotating stick in an inhomogeneous "gravitation like" field that is periodically switched on in short pulses. The model is described by the Hamiltonian

References

  1. Hall 2013 Section 15.1
  2. Dingle, Robert Balson (1973). Asymptotic Expansions: Their Derivation and Interpretation. Academic Press. ISBN   0-12-216550-0.
  3. Adrian E. Gill (1982). Atmosphere-ocean dynamics . Academic Press. p.  297. ISBN   978-0-12-283522-3. Liouville-Green WKBJ WKB.
  4. Renato Spigler & Marco Vianello (1998). "A Survey on the Liouville–Green (WKB) approximation for linear difference equations of the second order". In Saber Elaydi; I. Győri & G. E. Ladas (eds.). Advances in difference equations: proceedings of the Second International Conference on Difference Equations : Veszprém, Hungary, August 7–11, 1995. CRC Press. p. 567. ISBN   978-90-5699-521-8.
  5. Filippi, Paul (1999). Acoustics: basic physics, theory and methods. Academic Press. p. 171. ISBN   978-0-12-256190-0.
  6. Kevorkian, J.; Cole, J. D. (1996). Multiple scale and singular perturbation methods. Springer. ISBN   0-387-94202-5.
  7. 1 2 Bender, Carl M.; Orszag, Steven A. (1999). Advanced mathematical methods for scientists and engineers. Springer. pp. 549–568. ISBN   0-387-98931-5.
  8. Winitzki, S. (2005). "Cosmological particle production and the precision of the WKB approximation". Phys. Rev. D. 72 (10): 104011, 14 pp. arXiv: gr-qc/0510001 . Bibcode:2005PhRvD..72j4011W. doi:10.1103/PhysRevD.72.104011. S2CID   119152049.
  9. Hall 2013 Section 15.4
  10. 1 2 3 4 5 6 7 8 Zettili, Nouredine (2009). Quantum mechanics: concepts and applications (2nd ed.). Chichester: Wiley. ISBN   978-0-470-02679-3.
  11. 1 2 3 4 Zwiebach, Barton. "Semiclassical approximation" (PDF).
  12. Bransden, B. H.; Joachain, Charles Jean (2003). Physics of Atoms and Molecules. Prentice Hall. pp. 140–141. ISBN   978-0-582-35692-4.
  13. Hall 2013 Section 15.5
  14. 1 2 Ramkarthik, M. S.; Pereira, Elizabeth Louis (2021-06-01). "Airy Functions Demystified — II". Resonance. 26 (6): 757–789. doi:10.1007/s12045-021-1179-z. ISSN   0973-712X.
  15. Hall 2013 Section 15.2
  16. Hall 2013 Theorem 15.8
  17. Hall 2013 Conclusion 15.5
  18. Harald J.W. Müller-Kirsten, Introduction to Quantum Mechanics: Schrödinger Equation and Path Integral, 2nd ed. (World Scientific, 2012).
  19. Weinberg, Steven (2015-09-10). Lectures on Quantum Mechanics (2nd ed.). Cambridge University Press. p. 204. doi:10.1017/cbo9781316276105. ISBN   978-1-107-11166-0.
  20. Sakurai, Jun John; Napolitano, Jim (2021). Modern quantum mechanics (3rd ed.). Cambridge: Cambridge University Press. ISBN   978-1-108-47322-4.

Modern references

Historical references