<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>http://naturalphilosophy.org/wiki/index.php?action=history&amp;feed=atom&amp;title=WKB_approximation</id>
	<title>WKB approximation - Revision history</title>
	<link rel="self" type="application/atom+xml" href="http://naturalphilosophy.org/wiki/index.php?action=history&amp;feed=atom&amp;title=WKB_approximation"/>
	<link rel="alternate" type="text/html" href="http://naturalphilosophy.org/wiki/index.php?title=WKB_approximation&amp;action=history"/>
	<updated>2026-04-09T21:27:19Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0</generator>
	<entry>
		<id>http://naturalphilosophy.org/wiki/index.php?title=WKB_approximation&amp;diff=29738&amp;oldid=prev</id>
		<title>CriticalT: 1 revision imported</title>
		<link rel="alternate" type="text/html" href="http://naturalphilosophy.org/wiki/index.php?title=WKB_approximation&amp;diff=29738&amp;oldid=prev"/>
		<updated>2018-02-06T19:57:28Z</updated>

		<summary type="html">&lt;p&gt;1 revision imported&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Other uses|WKB (disambiguation)}}&lt;br /&gt;
In [[mathematical physics]], the &amp;#039;&amp;#039;&amp;#039;WKB approximation&amp;#039;&amp;#039;&amp;#039; or &amp;#039;&amp;#039;&amp;#039;WKB method&amp;#039;&amp;#039;&amp;#039; 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 slowly changing.&lt;br /&gt;
&lt;br /&gt;
The name is an initialism for &amp;#039;&amp;#039;&amp;#039;Wentzel–Kramers–Brillouin&amp;#039;&amp;#039;&amp;#039;.  It is also known as the &amp;#039;&amp;#039;&amp;#039;LG&amp;#039;&amp;#039;&amp;#039; or &amp;#039;&amp;#039;&amp;#039;Liouville–Green method&amp;#039;&amp;#039;&amp;#039;.  Other often-used letter combinations include &amp;#039;&amp;#039;&amp;#039;JWKB&amp;#039;&amp;#039;&amp;#039; and &amp;#039;&amp;#039;&amp;#039;WKBJ&amp;#039;&amp;#039;&amp;#039;, where the &amp;quot;J&amp;quot; stands for Jeffreys.&lt;br /&gt;
&lt;br /&gt;
== Brief history ==&lt;br /&gt;
This method is named after physicists [[Gregor Wentzel|Wentzel]], [[Hendrik Anthony Kramers|Kramers]], and [[Léon Brillouin|Brillouin]], who all developed it in 1926.  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 R B  Dingle.&amp;lt;ref&amp;gt;R.B. Dingle, Asymptotic Expansions: Their Derivation and Interpretation (Academic Press, 1973).&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Earlier references{{what|reason=This really is not coherent. How can you refer to a method a century before it is developed? Or are they rather forerunners?|date=December 2017}} to the method are: [[Francesco Carlini|Carlini]] in 1817, [[Joseph Liouville|Liouville]] in 1837, [[George Green (mathematician)|Green]] in 1837, [[Lord Rayleigh|Rayleigh]] in 1912 and [[Richard Gans|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.&amp;lt;ref&amp;gt;{{cite book&lt;br /&gt;
 | title = Atmosphere-ocean dynamics&lt;br /&gt;
 | author = Adrian E. Gill&lt;br /&gt;
 | publisher = Academic Press&lt;br /&gt;
 | year = 1982&lt;br /&gt;
 | isbn = 978-0-12-283522-3&lt;br /&gt;
 | page = 297&lt;br /&gt;
 | url = https://books.google.com/?id=1WLNX_lfRp8C&amp;amp;pg=PA297&amp;amp;dq=Liouville-Green+WKBJ+WKB&lt;br /&gt;
 }}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite book&lt;br /&gt;
 | chapter = A Survey on the Liouville–Green (WKB) approximation for linear difference equations of the second order&lt;br /&gt;
 |author1=Renato Spigler  |author2=Marco Vianello&lt;br /&gt;
  |lastauthoramp=yes | title = Advances in difference equations: proceedings of the Second International Conference on Difference Equations : Veszprém, Hungary, August 7–11, 1995     &lt;br /&gt;
 |editor1=Saber Elaydi |editor2=I. Győri |editor3=G. E. Ladas | publisher = CRC Press&lt;br /&gt;
 | year = 1998&lt;br /&gt;
 | isbn = 978-90-5699-521-8&lt;br /&gt;
 | page = 567&lt;br /&gt;
 | url = https://books.google.com/?id=a36iXw5_VzcC&amp;amp;pg=PA567&amp;amp;dq=Liouville-Green+WKBJ+WKB+LG&lt;br /&gt;
 }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The important contribution of Jeffreys, Wentzel, Kramers and Brillouin to the method was the inclusion of the treatment of [[stationary point|turning points]], connecting the [[evanescent wave|evanescent]] and [[oscillation|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.&lt;br /&gt;
&lt;br /&gt;
==WKB method==&lt;br /&gt;
&lt;br /&gt;
Generally, WKB theory is a method for approximating the solution of a differential equation whose &amp;#039;&amp;#039;highest derivative is multiplied by a small parameter&amp;#039;&amp;#039; {{mvar|ε}}. The method of approximation is as follows.&lt;br /&gt;
&lt;br /&gt;
For a differential equation&lt;br /&gt;
:&amp;lt;math&amp;gt; \epsilon \frac{d^ny}{dx^n} + a(x)\frac{d^{n-1}y}{dx^{n-1}} + \cdots + k(x)\frac{dy}{dx} + m(x)y= 0,&amp;lt;/math&amp;gt;&lt;br /&gt;
assume a solution of the form of an [[asymptotic series]] expansion&lt;br /&gt;
:&amp;lt;math&amp;gt; y(x) \sim \exp\left[\frac{1}{\delta}\sum_{n=0}^{\infty}\delta^nS_n(x)\right]&amp;lt;/math&amp;gt;&lt;br /&gt;
in the limit {{math| &amp;#039;&amp;#039;δ&amp;#039;&amp;#039; → 0}}. The asymptotic scaling of {{mvar|δ}} in terms of {{mvar|ε}} will be determined by the equation – see the example below.&lt;br /&gt;
&lt;br /&gt;
Substituting the above [[ansatz]] into the differential equation and cancelling out the exponential terms allows one to solve for an arbitrary number of terms {{math|&amp;#039;&amp;#039;S&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;(x)&amp;#039;&amp;#039;}} in the expansion.&lt;br /&gt;
&lt;br /&gt;
WKB theory is a special case of [[multiple scale analysis]].&amp;lt;ref&amp;gt;{{cite book&lt;br /&gt;
 | title = Acoustics: basic physics, theory and methods&lt;br /&gt;
 | first = Paul &lt;br /&gt;
 | last = Filippi&lt;br /&gt;
 | publisher = Academic Press&lt;br /&gt;
 | year = 1999&lt;br /&gt;
 | isbn = 978-0-12-256190-0&lt;br /&gt;
 | page = 171&lt;br /&gt;
 | url = https://books.google.com/?id=xHWiOMp63WsC&amp;amp;pg=PA171&amp;amp;dq=wkb+multi-scale&amp;amp;q=wkb%20multi-scale&lt;br /&gt;
 }}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;&lt;br /&gt;
{{Cite book &lt;br /&gt;
 | author1=Kevorkian, J. &lt;br /&gt;
 | author2=Cole, J. D. &lt;br /&gt;
 | title=Multiple scale and singular perturbation methods &lt;br /&gt;
 | year=1996 &lt;br /&gt;
 | publisher=Springer &lt;br /&gt;
 | isbn=0-387-94202-5 &lt;br /&gt;
 }}&amp;lt;/ref&amp;gt;&amp;lt;ref name=&amp;quot;:0&amp;quot;&amp;gt;{{cite book&lt;br /&gt;
 | first1=C.M.&lt;br /&gt;
 | last1=Bender&lt;br /&gt;
 | authorlink1=Carl M. Bender&lt;br /&gt;
 | first2=S.A.&lt;br /&gt;
 | last2=Orszag&lt;br /&gt;
 | authorlink2=Steven A. Orszag&lt;br /&gt;
 | title=Advanced mathematical methods for scientists and engineers&lt;br /&gt;
 | publisher=Springer&lt;br /&gt;
 | year=1999&lt;br /&gt;
 | isbn=0-387-98931-5&lt;br /&gt;
 | pages=549–568&lt;br /&gt;
 }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==An example==&lt;br /&gt;
This example comes from the text of Bender and Orszag.&amp;lt;ref name=&amp;quot;:0&amp;quot; /&amp;gt; Consider the second-order homogeneous linear differential equation&lt;br /&gt;
:&amp;lt;math&amp;gt; \epsilon^2 \frac{d^2 y}{dx^2} = Q(x) y, &amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;lt;math&amp;gt;Q(x) \neq 0&amp;lt;/math&amp;gt;. Substituting&lt;br /&gt;
:&amp;lt;math&amp;gt;y(x) = \exp\left[\frac{1}{\delta}\sum_{n=0}^\infty \delta^nS_n(x)\right]&amp;lt;/math&amp;gt;&lt;br /&gt;
results in the equation&lt;br /&gt;
:&amp;lt;math&amp;gt;\epsilon^2\left[\frac{1}{\delta^2}\left(\sum_{n=0}^\infty \delta^nS_n&amp;#039;\right)^2 + \frac{1}{\delta}\sum_{n=0}^{\infty}\delta^nS_n&amp;#039;&amp;#039;\right] = Q(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
To [[leading-order|leading order]] (assuming, for the moment, the series will be asymptotically consistent), the above can be approximated as&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{\epsilon^2}{\delta^2}S_0&amp;#039;^2 + \frac{2\epsilon^2}{\delta}S_0&amp;#039;S_1&amp;#039; + \frac{\epsilon^2}{\delta}S_0&amp;#039;&amp;#039; = Q(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
In the limit {{math|&amp;#039;&amp;#039;δ&amp;#039;&amp;#039; → 0}}, the [[Asymptotic analysis#Method of dominant balance|dominant balance]] is given by&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{\epsilon^2}{\delta^2}S_0&amp;#039;^2 \sim Q(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
So {{mvar|δ}} is proportional to &amp;#039;&amp;#039;ε&amp;#039;&amp;#039;. Setting them equal and comparing powers yields&lt;br /&gt;
:&amp;lt;math&amp;gt;\epsilon^0: \quad S_0&amp;#039;^2 = Q(x),&amp;lt;/math&amp;gt;&lt;br /&gt;
which can be recognized as the [[Eikonal equation]], with solution&lt;br /&gt;
:&amp;lt;math&amp;gt;S_0(x) = \pm \int_{x_0}^x \sqrt{Q(t)}\,dt.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Considering first-order powers of  {{mvar|ε}} fixes&lt;br /&gt;
:&amp;lt;math&amp;gt;\epsilon^1: \quad 2S_0&amp;#039;S_1&amp;#039; + S_0&amp;#039;&amp;#039; = 0.&amp;lt;/math&amp;gt;&lt;br /&gt;
This is the unidimensional [[transport equation]], having the solution&lt;br /&gt;
:&amp;lt;math&amp;gt;S_1(x) = -\frac{1}{4}\ln Q(x) + k_1,&amp;lt;/math&amp;gt;&lt;br /&gt;
where {{math|&amp;#039;&amp;#039;k&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;}} is an arbitrary constant.&lt;br /&gt;
&lt;br /&gt;
We now have a pair of approximations to the system (a pair, because   {{math|&amp;#039;&amp;#039;S&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;}} can take two signs); the first-order WKB-approximation will be a linear combination of the two:&lt;br /&gt;
:&amp;lt;math&amp;gt;y(x) \approx c_1Q^{-\frac{1}{4}}(x)\exp\left[\frac{1}{\epsilon}\int_{x_0}^x\sqrt{Q(t)}\,dt\right] + c_2Q^{-\frac{1}{4}}(x)\exp\left[-\frac{1}{\epsilon}\int_{x_0}^x\sqrt{Q(t)}\,dt\right].&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Higher-order terms can be obtained by looking at equations for higher powers of {{mvar|δ}}.   Explicitly,&lt;br /&gt;
:&amp;lt;math&amp;gt; 2S_0&amp;#039;S_n&amp;#039; + S&amp;#039;&amp;#039;_{n-1} + \sum_{j=1}^{n-1}S&amp;#039;_jS&amp;#039;_{n-j} = 0&amp;lt;/math&amp;gt;&lt;br /&gt;
for {{mvar|n}} ≥ 2.&lt;br /&gt;
&lt;br /&gt;
=== Precision of the asymptotic series ===&lt;br /&gt;
The asymptotic series for {{math|&amp;#039;&amp;#039;y(x)&amp;#039;&amp;#039;}} is usually a [[divergent series]], whose general term {{math|&amp;#039;&amp;#039;δ&amp;lt;sup&amp;gt;n&amp;lt;/sup&amp;gt; S&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;(x)&amp;#039;&amp;#039;}} starts to increase after a certain value {{math|&amp;#039;&amp;#039;n&amp;#039;&amp;#039;{{=}}&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;max&amp;lt;/sub&amp;gt;}}. Therefore, the smallest error achieved by the WKB method is at best of the order of the last included term.&lt;br /&gt;
&lt;br /&gt;
For the equation&lt;br /&gt;
:&amp;lt;math&amp;gt; \epsilon^2 \frac{d^2 y}{dx^2} = Q(x) y, &amp;lt;/math&amp;gt;&lt;br /&gt;
with {{math|&amp;#039;&amp;#039;Q(x)&amp;#039;&amp;#039;}} &amp;lt;0 an analytic function, the value &amp;lt;math&amp;gt;n_\max&amp;lt;/math&amp;gt; and the magnitude of the last term can be estimated as follows:&amp;lt;ref&amp;gt;{{cite journal| last=Winitzki |first=S. |year=2005 |arxiv=gr-qc/0510001 |title=Cosmological particle production and the precision of the WKB approximation |journal=Phys. Rev. D |volume=72 |pages=104011, 14&amp;amp;nbsp;pp. |nopp=yes |doi=10.1103/PhysRevD.72.104011 |bibcode = 2005PhRvD..72j4011W }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;n_\max \approx 2\epsilon^{-1} \left|  \int_{x_0}^{x_{\ast}} \sqrt{-Q(z)}\,dz \right| , &amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\delta^{n_\max}S_{n_\max}(x_0) \approx \sqrt{\frac{2\pi}{n_\max}} \exp[-n_\max], &amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;lt;math&amp;gt;x_0&amp;lt;/math&amp;gt; is the point at which &amp;lt;math&amp;gt;y(x_0)&amp;lt;/math&amp;gt; needs to be evaluated and &amp;lt;math&amp;gt;x_{\ast}&amp;lt;/math&amp;gt; is the (complex) turning point where &amp;lt;math&amp;gt;Q(x_{\ast})=0&amp;lt;/math&amp;gt;, closest to &amp;lt;math&amp;gt;x=x_0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
The number {{math|&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;max&amp;lt;/sub&amp;gt;}}  can be interpreted as the number of oscillations between &amp;lt;math&amp;gt;x_0&amp;lt;/math&amp;gt; and the closest turning point.&lt;br /&gt;
&lt;br /&gt;
If &amp;lt;math&amp;gt;\epsilon^{-1}Q(x)&amp;lt;/math&amp;gt; is a slowly changing function,&lt;br /&gt;
:&amp;lt;math&amp;gt;\epsilon\left| \frac{dQ}{dx} \right| \ll Q^2 ,&amp;lt;/math&amp;gt;&lt;br /&gt;
the number {{math|&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;max&amp;lt;/sub&amp;gt;}}  will be large, and the minimum error of the asymptotic series will be exponentially small.&lt;br /&gt;
&lt;br /&gt;
==Application to the Schrödinger equation==&lt;br /&gt;
[[File:WKB_approximation_example.svg|thumb|WKB approximation to the indicated potential. Vertical lines show the turning points]]&lt;br /&gt;
[[File:WKB_approximation_to_probability_density.svg|thumb|Probability density for the approximate wave function. Vertical lines show the turning points]]&lt;br /&gt;
The above example may be applied specifically to the one-dimensional, time-independent [[Schrödinger equation]],&lt;br /&gt;
:&amp;lt;math&amp;gt;-\frac{\hbar^2}{2m} \frac{d^2}{dx^2} \Psi(x) + V(x) \Psi(x) = E \Psi(x),&amp;lt;/math&amp;gt;&lt;br /&gt;
which can be rewritten as&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{d^2}{dx^2} \Psi(x) = \frac{2m}{\hbar^2} \left( V(x) - E \right) \Psi(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===Approximation away from the turning points===&lt;br /&gt;
The wavefunction can be rewritten as the exponential of another function {{mvar|Φ}} (which is closely related to the [[Action (physics)|action]]), which could be complex,&lt;br /&gt;
:&amp;lt;math&amp;gt;\Psi(x) = e^{\Phi(x)},&amp;lt;/math&amp;gt;&lt;br /&gt;
so that&lt;br /&gt;
:&amp;lt;math&amp;gt;\Phi&amp;#039;&amp;#039;(x) + \left[\Phi&amp;#039;(x)\right]^2 = \frac{2m}{\hbar^2} \left( V(x) - E \right),&amp;lt;/math&amp;gt;&lt;br /&gt;
where  {{mvar|Φ}} &amp;#039; indicates the derivative of  {{mvar|Φ}} with respect to &amp;#039;&amp;#039;x&amp;#039;&amp;#039;. This derivative  {{mvar|Φ}} &amp;#039; can be separated into real and imaginary parts by introducing the real functions &amp;#039;&amp;#039;A&amp;#039;&amp;#039; and &amp;#039;&amp;#039;B&amp;#039;&amp;#039;,&lt;br /&gt;
:&amp;lt;math&amp;gt;\Phi&amp;#039;(x) = A(x) + i B(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The amplitude of the wavefunction is then &lt;br /&gt;
:&amp;lt;math&amp;gt;\exp\left[\int_{x_0}^x A(x&amp;#039;)\,dx&amp;#039;\right],&amp;lt;/math&amp;gt;&lt;br /&gt;
while the phase is&lt;br /&gt;
:&amp;lt;math&amp;gt;\int_{x_0}^x B(x&amp;#039;)\,dx&amp;#039;.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The real and imaginary parts of the Schrödinger equation then become&lt;br /&gt;
:&amp;lt;math&amp;gt;A&amp;#039;(x) + A(x)^2 - B(x)^2 = \frac{2m}{\hbar^2} \left( V(x) - E \right),&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;B&amp;#039;(x) + 2 A(x) B(x) = 0.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Next, the semiclassical approximation is used. This means that each function is expanded as a power series in {{mvar|ħ}}. From the above equations, it can be seen that the power series must start with at least an order of 1/{{mvar|ħ}} to satisfy the real part of the equation. In order to achieve a good classical limit, it is necessary to start with as high a power of Planck&amp;#039;s constant {{mvar|ħ}} as possible:&lt;br /&gt;
:&amp;lt;math&amp;gt;A(x) = \frac{1}{\hbar} \sum_{n=0}^\infty \hbar^n A_n(x),&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;B(x) = \frac{1}{\hbar} \sum_{n=0}^\infty \hbar^n B_n(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
To the zeroth order in this expansion, the conditions on &amp;#039;&amp;#039;A&amp;#039;&amp;#039; and &amp;#039;&amp;#039;B&amp;#039;&amp;#039; can be written,&lt;br /&gt;
:&amp;lt;math&amp;gt;A_0(x)^2 - B_0(x)^2 = 2m \left( V(x) - E \right),&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;A_0(x) B_0(x) = 0 \;.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The first derivatives {{math|&amp;#039;&amp;#039;A&amp;#039;(x)&amp;#039;&amp;#039;}} and {{math|&amp;#039;&amp;#039; B&amp;#039;(x)&amp;#039;&amp;#039;}} were discarded, because they include factors of order 1/{{mvar|ħ}}, higher than  the dominant {{mvar|ħ}}&amp;lt;sup&amp;gt;−2&amp;lt;/sup&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Then, if the amplitude varies sufficiently slowly as compared to the phase (&amp;lt;math&amp;gt;A_0(x) = 0&amp;lt;/math&amp;gt;), it follows that&lt;br /&gt;
:&amp;lt;math&amp;gt;B_0(x) = \pm \sqrt{ 2m \left( E - V(x) \right) },&amp;lt;/math&amp;gt;&lt;br /&gt;
which is only valid when the total energy is greater than the potential energy, as is always the case in [[Classical mechanics|classical motion]].&lt;br /&gt;
&lt;br /&gt;
After the same procedure on the next order of the expansion, it follows that&lt;br /&gt;
&amp;lt;div id=&amp;quot;mass_in_exponent&amp;quot;&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\Psi(x) \approx C_0 \frac{ e^{\theta + i \int \hbar^{-1}\sqrt{2m \left( E - V(x) \right)}\,dx} }{\hbar^{-1/2}\sqrt[4]{2m \left( E - V(x) \right)}}.&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/div&amp;gt;&lt;br /&gt;
&lt;br /&gt;
On the other hand, if it is the phase that varies slowly (as compared to the amplitude), (&amp;lt;math&amp;gt;B_0(x) = 0&amp;lt;/math&amp;gt;) then&lt;br /&gt;
:&amp;lt;math&amp;gt;A_0(x) = \pm \sqrt{ 2m \left( V(x) - E \right) },&amp;lt;/math&amp;gt;&lt;br /&gt;
which is only valid when the potential energy is greater than the total energy (the regime in which [[quantum tunneling]] occurs).&lt;br /&gt;
&lt;br /&gt;
Finding the next order of the expansion yields, as in the example of the previous section,&amp;lt;ref&amp;gt;{{harvnb|Hall|2013}} Section 15.4&amp;lt;/ref&amp;gt;&lt;br /&gt;
{{Equation box 1&lt;br /&gt;
|indent =:&lt;br /&gt;
|equation =  &amp;lt;math&amp;gt;\Psi(x) \approx \frac{ C_{+} e^{\int \hbar^{-1}\sqrt{2m \left( V(x) - E \right)}\,dx} &lt;br /&gt;
+ C_{-} e^{-\int \hbar^{-1}\sqrt{2m \left( V(x) - E \right)}\,dx}}{\hbar^{-1/2}\sqrt[4]{2m \left( V(x) - E \right)}}.&amp;lt;/math&amp;gt;&lt;br /&gt;
|cellpadding= 6&lt;br /&gt;
|border&lt;br /&gt;
|border colour = #0073CF&lt;br /&gt;
|bgcolor=#F9FFF7}}&lt;br /&gt;
&lt;br /&gt;
In the classically allowed region, namely the region where &amp;lt;math&amp;gt;V(x)&amp;lt;E&amp;lt;/math&amp;gt; the integrand in the exponent is imaginary and the approximate wave function is oscillatory. In the classically forbidden region &amp;lt;math&amp;gt;V(x)&amp;gt;E&amp;lt;/math&amp;gt;, the solutions are growing or decaying. It is evident in the denominator that both of these approximate solutions become singular near the classical &amp;#039;&amp;#039;&amp;#039;turning points&amp;#039;&amp;#039;&amp;#039;, where {{math|&amp;#039;&amp;#039;E&amp;#039;&amp;#039; {{=}} &amp;#039;&amp;#039;V(x)&amp;#039;&amp;#039;}}, and cannot be valid. (The turning points are the points where the classical particle changes direction.)&lt;br /&gt;
&lt;br /&gt;
===Behavior near the turning points===&lt;br /&gt;
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, {{mvar|x}}&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;, the term &amp;lt;math&amp;gt;\frac{2m}{\hbar^2}\left(V(x)-E\right)&amp;lt;/math&amp;gt; can be expanded in a power series,&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{2m}{\hbar^2}\left(V(x)-E\right) = U_1 \cdot (x - x_1) + U_2 \cdot (x - x_1)^2 + \cdots\;.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
To first order, one finds&lt;br /&gt;
:&amp;lt;math&amp;gt;\frac{d^2}{dx^2} \Psi(x) = U_1 \cdot (x - x_1) \cdot \Psi(x).&amp;lt;/math&amp;gt;&lt;br /&gt;
This differential equation is known as the [[Airy equation]], and the solution may be written in terms of [[Airy function]]s,&amp;lt;ref&amp;gt;{{harvnb|Hall|2013}} Section 15.5&amp;lt;/ref&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;\Psi(x) = C_A \textrm{Ai}\left( \sqrt[3]{U_1} \cdot (x - x_1) \right) + C_B \textrm{Bi}\left( \sqrt[3]{U_1} \cdot (x - x_1) \right).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Although for any fixed value of &amp;lt;math&amp;gt;\hbar&amp;lt;/math&amp;gt;, 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 &amp;lt;math&amp;gt;\hbar&amp;lt;/math&amp;gt; gets smaller, the height of the wave function at the turning points grows.&lt;br /&gt;
&lt;br /&gt;
===The matching conditions===&lt;br /&gt;
It now remains 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 &amp;quot;connect&amp;quot; properly through the turning points to the classically allowed region. For most values of &amp;#039;&amp;#039;E&amp;#039;&amp;#039;, this matching procedure will not work: The function obtained by connecting the solution near &amp;lt;math&amp;gt;+\infty&amp;lt;/math&amp;gt; to the classically allowed region will not agree with the function obtained by connecting the solution near &amp;lt;math&amp;gt;-\infty&amp;lt;/math&amp;gt; to the classically allowed region. The requirement that the two functions agree imposes a condition on the energy &amp;#039;&amp;#039;E&amp;#039;&amp;#039;, which will give an approximation to the exact quantum energy levels.&lt;br /&gt;
&lt;br /&gt;
Given the two coefficients on one side of the classical turning point, the 2 coefficients on the other side of the classical turning point can be determined by using the Airy function to connect them. Thus, a relationship between &amp;lt;math&amp;gt;C_0,\theta&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;C_{+},C_{-}&amp;lt;/math&amp;gt; can be found. This relationship is obtained using known asymptotic of the Airy function. The relationship can be found to be as follows (often referred to as the &amp;quot;connection formulas&amp;quot;):&amp;lt;ref&amp;gt;{{harvnb|Hall|2013}} Claim 15.7&amp;lt;/ref&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
    C_{+} = + \frac{1}{2} C_0 \cos{\left(\theta - \frac{\pi}{4}\right)},&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
    C_{-} = - \frac{1}{2} C_0 \sin{\left(\theta - \frac{\pi}{4}\right)}.&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
Now the global (approximate) solutions can be constructed. The same can be done at the other turning points; assume there is just another one,  {{mvar|x}}&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;. The expression there, however,  will appear different than the one determined above at  {{mvar|x}}&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt; by a difference in the argument of these trigonometric functions.&lt;br /&gt;
&lt;br /&gt;
The matching condition, needed to get a single-valued, square-integrable approximate solution, takes the following form:&lt;br /&gt;
::&amp;lt;math&amp;gt;\int_{x_1}^{x_2} \sqrt{2m \left( E-V(x)\right)}\,dx = (n+1/2)\pi \hbar ,&amp;lt;/math&amp;gt;&lt;br /&gt;
where &amp;lt;math&amp;gt;x_1,x_2&amp;lt;/math&amp;gt; are the turning points of the potential discussed, where the integrand vanishes. Here &amp;#039;&amp;#039;n&amp;#039;&amp;#039; is a non-negative integer. This condition can also be rewritten as saying that&lt;br /&gt;
::The area enclosed by the classical energy curve is &amp;lt;math&amp;gt;2\pi\hbar(n+1/2)&amp;lt;/math&amp;gt;.&lt;br /&gt;
Either way, the condition on the energy is a version of the [[Bohr-Sommerfeld quantization]] condition, with a &amp;quot;[[Lagrangian Grassmannian#Maslov index|Maslov correction]]&amp;quot; equal to 1/2.&amp;lt;ref&amp;gt;{{harvnb|Hall|2013}} Section 15.2&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
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.&amp;lt;ref&amp;gt;{{harvnb|Hall|2013}} Theorem 15.8&amp;lt;/ref&amp;gt; Specifically, the error in the energies is small compared to the typical spacing of the quantum energy levels. Thus, although the &amp;quot;old quantum theory&amp;quot; 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.&lt;br /&gt;
&lt;br /&gt;
===The probability density===&lt;br /&gt;
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 &amp;#039;&amp;#039;fraction of time the classical particle spends in that interval&amp;#039;&amp;#039; over one period of motion.&amp;lt;ref&amp;gt;{{harvnb|Hall|2013}} Conclusion 15.5&amp;lt;/ref&amp;gt; Since the classical particle&amp;#039;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.&lt;br /&gt;
&lt;br /&gt;
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.&amp;lt;ref&amp;gt;Harald J.W. Müller-Kirsten, Introduction to Quantum Mechanics: Schrödinger Equation and Path Integral, 2nd ed. (World Scientific, 2012).&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Instanton]]&lt;br /&gt;
* [[Airy function]]&lt;br /&gt;
* [[Field electron emission]]&lt;br /&gt;
* [[Langer correction]]&lt;br /&gt;
* [[Method of steepest descent]] / Laplace Method&lt;br /&gt;
*[[Method of matched asymptotic expansions]]&lt;br /&gt;
* [[Old quantum theory]]&lt;br /&gt;
* [[Perturbation methods]]&lt;br /&gt;
* [[Quantum tunneling]]&lt;br /&gt;
* [[Slowly varying envelope approximation]]&lt;br /&gt;
*[[Lagrangian Grassmannian#Maslov index]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
{{Reflist}}&lt;br /&gt;
&lt;br /&gt;
===Modern references===&lt;br /&gt;
*{{cite book | author=[[Carl M. Bender|Bender, Carl]]; [[Steven A. Orszag|Orszag, Steven]] | title=Advanced Mathematical Methods for Scientists and Engineers | publisher=McGraw-Hill | year=1978 | isbn=0-07-004452-X}}&lt;br /&gt;
*{{cite book | author=Child, M. S. | title=Semiclassical mechanics with molecular applications | year=1991 | publisher=Clarendon Press | location=Oxford | isbn=0-19-855654-3}}&lt;br /&gt;
*{{cite book | author=Griffiths, David J. | title=Introduction to Quantum Mechanics (2nd ed.) | publisher=Prentice Hall |year=2004 |isbn=0-13-111892-7}}&lt;br /&gt;
*{{citation|first=Brian C.|last=Hall|title=Quantum Theory for Mathematicians|series=Graduate Texts in Mathematics|volume=267 |publisher=Springer|year=2013| isbn=978-1461471158}}&lt;br /&gt;
*{{cite book | author=[[Liboff, Richard L.]] | title=Introductory Quantum Mechanics (4th ed.) | publisher=Addison-Wesley |year=2003 |isbn=0-8053-8714-5}}&lt;br /&gt;
*{{cite book | author=Olver, Frank William John |author-link=Frank William John Olver | title=Asymptotics and Special Functions | publisher=Academic Press | year=1974 | isbn=0-12-525850-X}}&lt;br /&gt;
*{{cite book | author=Razavy, Mohsen | title=Quantum Theory of Tunneling | publisher=World Scientific | year=2003 | isbn=981-238-019-1}}&lt;br /&gt;
*{{cite book | author=Sakurai, J. J. | title=Modern Quantum Mechanics | publisher=Addison-Wesley |year=1993 |isbn=0-201-53929-2}}&lt;br /&gt;
&lt;br /&gt;
===Historical references===&lt;br /&gt;
*{{cite book | author=[[Francesco Carlini|Carlini, Francesco]] | year=1817 | title=Ricerche sulla convergenza della serie che serva alla soluzione del problema di Keplero | publisher=Milano }}&lt;br /&gt;
*{{cite journal | author=[[Joseph Liouville|Liouville, Joseph]] | year=1837 | title=Sur le développement des fonctions et séries..| journal=Journal de Mathématiques Pures et Appliquées | volume=1 | pages=16–35 }}&lt;br /&gt;
*{{cite journal | author=[[George Green (mathematician)|Green, George]] | year=1837 | title=On the motion of waves in a variable canal of small depth and width | journal=Transactions of the Cambridge Philosophical Society | volume=6 | pages=457–462 }}&lt;br /&gt;
*{{cite journal | author=[[Lord Rayleigh|Rayleigh, Lord (John William Strutt)]] | year=1912 | title=On the propagation of waves through a stratified medium, with special reference to the question of reflection | journal=[[Proceedings of the Royal Society A]] | volume=86 | pages=207–226 | doi=10.1098/rspa.1912.0014 |bibcode = 1912RSPSA..86..207R | issue=586 }}&lt;br /&gt;
*{{cite journal | author=[[Richard Gans|Gans, Richard]] | year=1915 | title=Fortplantzung des Lichts durch ein inhomogenes Medium | journal=Annalen der Physik | volume=47 | pages=709–736 | doi = 10.1002/andp.19153521402 |bibcode = 1915AnP...352..709G }}&lt;br /&gt;
*{{cite journal | author=[[Harold Jeffreys|Jeffreys, Harold]] | year=1924 | title=On certain approximate solutions of linear differential equations of the second order | journal=Proceedings of the London Mathematical Society | volume=23 | pages=428–436 | doi=10.1112/plms/s2-23.1.428 }}&lt;br /&gt;
*{{cite journal | author=[[Léon Brillouin|Brillouin, Léon]] | year=1926 | title=La mécanique ondulatoire de Schrödinger: une méthode générale de resolution par approximations successives | journal=Comptes Rendus de l&amp;#039;Académie des Sciences | volume=183 | pages=24–26 }}&lt;br /&gt;
*{{cite journal | author=[[Hendrik Anthony Kramers|Kramers, Hendrik A.]] | year=1926 | title=Wellenmechanik und halbzahlige Quantisierung | journal=Zeitschrift für Physik | volume=39 |pages=828–840 | doi=10.1007/BF01451751 |bibcode = 1926ZPhy...39..828K | issue=10–11 }}&lt;br /&gt;
*{{cite journal | author=[[Gregor Wentzel|Wentzel, Gregor]] | year=1926 | title=Eine Verallgemeinerung der Quantenbedingungen für die Zwecke der Wellenmechanik | journal=Zeitschrift für Physik | volume=38 | pages=518–529 | doi=10.1007/BF01397171 |bibcode = 1926ZPhy...38..518W | issue=6–7 }}&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
* {{cite web| first=Richard |last=Fitzpatrick|url=http://farside.ph.utexas.edu/teaching/jk1/lectures/node70.html|title= The W.K.B. Approximation|year=2002}} (An application of the WKB approximation to the scattering of radio waves from the ionosphere.)&lt;br /&gt;
&lt;br /&gt;
[[Category:Approximations]]&lt;br /&gt;
[[Category:Theoretical physics]]&lt;br /&gt;
[[Category:Asymptotic analysis]]&lt;br /&gt;
[[Category:Mathematical physics]]&lt;/div&gt;</summary>
		<author><name>CriticalT</name></author>
	</entry>
</feed>