# Semi-classical approximation

quasi-classical approximation

An asymptotic representation, that is, the asymptotics as $h \rightarrow 0$( where $h$ is Planck's constant), of the solutions of the equations of quantum mechanics. The Schrödinger equation

$$\tag{1 } i h \frac{\partial \psi }{\partial t } = - \frac{h ^ {2} }{2} \Delta \psi + V ( x) \psi ,\ x \in \mathbf R ^ {n} ,$$

describes the motion of a quantum-mechanical particle in a potential field $V ( x)$. The motion of a classical particle is described by the Hamilton–Jacobi equation (cf. Hamilton–Jacobi theory)

$$\tag{2 } \frac{\partial S }{\partial t } + \frac{1}{2} ( \nabla S ) ^ {2} + V ( x) = 0$$

or by the Hamiltonian system

$$\tag{3 } \frac{d x }{d t } = p ,\ \ \frac{d p }{d t } = - \nabla V ( x) .$$

The Cauchy problem for the Schrödinger equation,

$$\tag{4 } \psi \mid _ {t=} 0 = \phi ( x) \ \mathop{\rm exp} \left [ \frac{i}{h} S _ {0} ( x) \right ] ,$$

is compared with the Cauchy problem for the system (3):

$$\tag{5 } x \mid _ {t=} 0 = y ,\ \ p \mid _ {t=} 0 = \nabla S _ {0} ,\ \ y \in \mathbf R ^ {n}$$

(here the functions $\phi , S _ {0} , V$ are smooth, $S _ {0} , V$ are real-valued and $\phi$ is of compact support). The asymptotics of the solution $\psi ( t , x )$ as $h \rightarrow 0$, $0 \leq t \leq T$, and for small $T > 0$ have the form:

$$\tag{6 } \psi ( t , x ) \sim \mathop{\rm exp} \left [ \frac{i}{h} S ( t , x ) \right ] \sum _ { j= } 0 ^ \infty (- i h ) ^ {j} \phi _ {j} ( t , x ) .$$

Here $S ( t , x )$ is the solution of (2) with Cauchy data $S \mid _ {t=} 0 = S _ {0} ( x)$( the classical action), while

$$\phi _ {0} ( t , x ) = \phi ( 0 , y ) \sqrt { \frac{J ( 0 , y ) }{J ( t , y ) } } ,\ \ J ( t , y ) = \ \mathop{\rm det} \ \frac{\partial x ( t , y ) }{\partial y } ,$$

where $x = x ( t , y )$, $p = p ( t , y )$ is the solution of (3), (5). The functions $\phi _ {j}$ for $j \geq 1$ are defined from the recurrent system of transport equations (these are ordinary differential equations along the trajectories of the system (3)), so that all terms of the asymptotics are expressed in the terminology of classical mechanics. The Bohr correspondence principle asserts: If $h$ tends to zero, then the quantum laws must go over to the classical laws. The method of seeking asymptotics in the form (6) was proposed by P. Debye and has been widely applied in quantum mechanics.

The asymptotic solution of the problem (1), (4) in the large (that is, for any finite time) is constructed via the canonical operator of V.P. Maslov . The Cauchy data (5) fill out an $n$- dimensional Lagrangian manifold $\Lambda ^ {n}$ in the phase space $\mathbf R _ {x,p} ^ {2n}$. Its translates $\Lambda _ {t} ^ {n} = g ^ {t} \Lambda ^ {n}$ along the trajectories of the system (3) are also Lagrangian manifolds; their union $\Lambda ^ {n+} 1 = \cup _ {- \infty < t < \infty } \Lambda _ {t} ^ {n}$ is an $( n + 1 )$- dimensional Lagrangian manifold in the phase space $\mathbf R ^ {2n+} 2$ with coordinates $( t , x , p _ {0} , p )$. For the canonical operator $K = K _ \Lambda ^ {n+} 1$ corresponding to $\Lambda ^ {n+} 1$, the following commutation relation holds:

$$\tag{7 } \widehat{L} K \phi = - i h K \dot \phi + O ( h ^ {2} ) ,$$

where $\dot \phi$ is the derivative along the system (3) and $\widehat{L}$ is the Schrödinger operator. The asymptotics of the solution $\psi$ in the large are given by the formula

$$\tag{8 } \psi ( t , x ) \sim K \left [ \sum _ { j= } 0 ^ \infty ( - i h ) ^ {j} \chi _ {j} ( t , x ) \right ] ,$$

where the functions $\chi _ {j}$ are defined from the Cauchy data (4) by means of the transport equations and can be expressed in terms of classical mechanics. At a non-focal point $( t _ {0} , x ^ {0} )$ the asymptotics have the form

$$\psi ( t _ {0} , x ^ {0} ) = \ \sum _ { j= } 1 ^ { N } \frac{\phi _ {j} }{\sqrt {| J _ {j} | } } \ \mathop{\rm exp} \left ( \frac{i}{h} S _ {j} - \frac{i \pi }{2} l _ {j} \right ) ,$$

where the sum is taken over all rays arriving at this point, $S _ {j}$ and $J _ {j}$ are the action and Jacobian for the $j$- th ray and $l _ {j}$ is the Morse index of the $j$- th ray. For the stationary Schrödinger equation in the semi-classical approximation the problem of scattering has been studied, as well as the problem of the field of a point source, and the classical series (of Balmer type) of eigenvalues has been obtained.

Semi-classical approximations in the wide sense (synonyms: high-frequency asymptotics, short-wave approximations, approximations of geometrical optics, WKB-method, eikonal method, quasi-classical approximations in the wide sense) are the asymptotics of solutions of partial differential equations with real characteristics of the form

$$\tag{9 } L ( x , \lambda ^ {-} 1 D _ {x} ; ( i \lambda ) ^ {-} 1 ) u( x) = 0 ,\ \ x \in \mathbf R ^ {n} ,$$

as well as of differential and pseudo-differential equations. Here $\lambda \rightarrow \infty$ is a large parameter and the symbol $L ( x , p ; \epsilon )$ depends weakly on $\epsilon$. Corresponding to (9) are the equations of classical mechanics, namely the Hamilton–Jacobi equation

$$L ^ {0} ( x , \nabla S ( x) ) = 0$$

and the Hamiltonian system

$$\tag{10 } \frac{dx}{dt} = \frac{\partial L ^ {0} }{\partial p } ,\ \ \frac{dp}{dt} = - \frac{\partial L ^ {0} }{\partial x } ,$$

where $L ^ {0} = L ( x , p ; 0 )$. The semi-classical approximation is constructed by means of the canonical operator corresponding to the Lagrangian manifolds that are invariant with respect to the dynamical system (10) and having a form similar to (8).

The semi-classical approximation is widely applied in modern physics in problems of the propagation of sound, elastic and electromagnetic waves, in non-relativistic and relativistic quantum mechanics and other questions.

How to Cite This Entry:
Semi-classical approximation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Semi-classical_approximation&oldid=48655
This article was adapted from an original article by M.V. Fedoryuk (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article