Method of quantum characteristics

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Quantum characteristics are phase-space trajectories that arise in the phase space formulation of quantum mechanics through the Wigner transform of Heisenberg operators of canonical coordinates and momenta. These trajectories obey the Hamilton equations in quantum form and play the role of characteristics in terms of which time-dependent Weyl's symbols of quantum operators can be expressed. In the classical limit, quantum characteristics reduce to classical trajectories. The knowledge of quantum characteristics is equivalent to the knowledge of quantum dynamics.

Weyl-Wigner association rule[edit]

In Hamiltonian dynamics, classical systems with n degrees of freedom are described by 2n canonical coordinates and momenta

^{\;}\xi^{i} = (x^1, . . . , x^n, p_1, . . . , p_n) \in \mathbb{R}^{2n},

that form a coordinate system in the phase space. These variables satisfy the Poisson bracket relations

^{\;}\{\xi^{k},\xi^{l}\}=-I^{kl}.

The skew-symmetric matrix ^{\;}I^{kl},

\left\| I\right\| =\left\| 
\begin{array}{ll}
0 & -E_{n} \\ 
E_{n} & 0
\end{array}
\right\|,

where ^{\;}E_n is the n \times n identity matrix, defines nondegenerate 2-form in the phase space. The phase space acquires thereby the structure of a symplectic manifold. The phase space is not metric space, so distance between two points is not defined. The Poisson bracket of two functions can be interpreted as the oriented area of a parallelogram whose adjacent sides are gradients of these functions. Rotations in Euclidean space leave the distance between two points invariant. Canonical transformations in symplectic manifold leave the areas invariant.

In quantum mechanics, the canonical variables ^{\;}\xi are associated to operators of canonical coordinates and momenta

\hat{\xi}^{i} = (\hat{x}^1, . . . , \hat{x}^n, \hat{p}_1, . . . , \hat{p}_n) \in \operatorname{Op}(L^2(\mathbb{R}^n)).

These operators act in Hilbert space and obey commutation relations

[\hat{\xi}^{k},\hat{\xi}^{l}]=-i\hbar I^{kl}.

Weyl’s association rule[1] extends the correspondence \xi^i \rightarrow \hat{\xi}^i to arbitrary phase-space functions and operators.

Taylor expansion[edit]

A one-sided association rule f(\xi) \to \hat{f} was formulated by Weyl initially with the help of Taylor expansion of functions of operators of the canonical variables

\hat{f} = f(\hat{\xi}) \equiv \sum_{s=0}^{\infty } \frac{1}{s!}
\frac{\partial ^{s}f(0)}{\partial \xi^{i_{1}}...\partial \xi ^{i_{s}}} \hat{\xi}^{i_{1}}...\hat{\xi}^{i_{s}}.

The operators \hat{\xi} do not commute, so the Taylor expansion is not defined uniquely. The above prescription uses the symmetrized products of the operators. The real functions correspond to the Hermitian operators. The function ^{\;}f(\xi) is called Weyl's symbol of operator \hat{f}.

Under the reverse association f(\xi) \leftarrow \hat{f}, the density matrix turns to the Wigner function.[2] Wigner functions have numerous applications in quantum many-body physics, kinetic theory, collision theory, quantum chemistry.

A refined version of the Weyl-Wigner association rule is proposed by Groenewold[3] and Stratonovich.[4]

Groenewold-Stratonovich basis[edit]

The set of operators acting in the Hilbert space is closed under multiplication of operators by c-numbers and summation. Such a set constitutes a vector space \mathbb{V}. The association rule formulated with the use of the Taylor expansion preserves operations on the operators. The correspondence can be illustrated with the following diagram:


\left. 
\begin{array}{c}
\begin{array}{c}
\left. 
\begin{array}{ccc}
f(\xi ) & \longleftrightarrow  & \hat{f} \\ 
g(\xi ) & \longleftrightarrow  & \hat{g} \\ 
c\times f(\xi ) & \longleftrightarrow  & c \times \hat{f} \\ 
f(\xi )+g(\xi ) & \longleftrightarrow  & \hat{f} + \hat{g}
\end{array}
\right\} \;\text{vector space}\;\; \mathbb{V}
\end{array}
\\ 
\begin{array}{ccc}
{ f(\xi )\star g(\xi )} & {\longleftrightarrow}  & \;\; { \hat{f}\hat{g} }
\end{array}
\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;
\end{array}
\right\} {\text{algebra}}

Here, ^{\;}f(\xi) and ^{\;}g(\xi) are functions and \hat{f} and \hat{g} are the associated operators.

The elements of basis of ^{\;}\mathbb{V} are labelled by canonical variables ^{\;}\xi_i. The commonly used Stratonovich basis looks like

\hat{B}(\xi )= \int \frac{d^{2n}\eta }{(2\pi \hbar )^{n}}
\exp (-\frac{i}{\hbar }\eta _{k}(\xi - \hat{\xi})^{k}) \in \mathbb{V}.

The Weyl-Wigner two-sided association rule for function ^{\;}f(\xi) and operator \hat{f} has the form

f(\xi )=\operatorname{Tr}[\hat{B}(\xi )\hat{f}],
\hat{f} =\int \frac{d^{2n}\xi }{(2\pi \hbar )^{n}}f(\xi )\hat{B}(\xi ).

The function ^{\;}f(\xi) provides coordinates of the operator \hat{f} in the basis \hat{B}(\xi ). The basis is complete and orthogonal:

\int \frac{d^{2n}\xi }{(2\pi \hbar )^{n}}\hat{B}(\xi )\operatorname{Tr}[\hat{B}(\xi )\hat{f}] =\hat{f},
\operatorname{Tr}[\hat{B}(\xi )\hat{B}(\xi ^{\prime })] = (2\pi \hbar )^{n}\delta^{2n}(\xi -\xi ^{\prime }).

Alternative operator bases are discussed also.[5] The freedom in choice of the operator basis is better known as the operator ordering problem.

Star-product[edit]

The set of operators Op(L^2(\mathbb{R}^n)) is closed under the multiplication of operators. The vector space \mathbb{V} is endowed thereby with an associative algebra structure. Given two functions

f(\xi ) = Tr[\hat{B}(\xi )\hat{f}]~~\mathrm{and}~~g(\xi ) = Tr[\hat{B}(\xi )\hat{g}],

one can construct a third function

f(\xi )\star g(\xi )=Tr[\hat{B}(\xi )\hat{f}\hat{g}]

called \star-product [3] or Moyal product. It is given explicitly by

f(\xi )\star g(\xi )=f(\xi )\exp (\frac{i\hbar }{2}\mathcal{P})g(\xi ).

where

\mathcal{P} = -{I}^{kl}
\overleftarrow{
\frac{\partial} {\partial \xi^{k}}
}
\overrightarrow{
\frac{\partial} {\partial \xi^{l}}}

is the Poisson operator. The \star-product splits into symmetric and skew-symmetric parts

f\star g=f\circ g+\frac{i\hbar}{2}  f\wedge g.

The \circ-product is not associative. In the classical limit \circ-product becomes the dot-product. The skew-symmetric part f \wedge g is known under the name of Moyal bracket. This is the Weyl's symbol of commutator. In the classical limit Moyal bracket becomes Poisson bracket. Moyal bracket is quantum deformation of Poisson bracket.

Quantum characteristics[edit]

The correspondence \xi \leftrightarrow \hat{\xi} shows that coordinate transformations in the phase space are accompanied by transformations of operators of the canonical coordinates and momenta and vice versa. Let \mathbf{\hat{U}} be the evolution operator,

\hat{U} = \exp\Bigl(-\frac{i}{\hbar} \hat{H}\tau \Bigr),

and \hat{H} is Hamiltonian. Consider the following scheme:

\xi \stackrel{q} \longrightarrow  \acute{\xi}
\updownarrow   \;\;\;\;\;\;                         \updownarrow
\hat{\xi}  \stackrel{\hat{U}}\longrightarrow \acute{\hat{\xi}},

Quantum evolution transforms vectors in the Hilbert space and, upon the Wigner association rule, coordinates in the phase space. In Heisenberg representation, the operators of the canonical variables are transformed as

\hat{\xi}^{i} \rightarrow \acute{\hat{\xi}^{i}}=\hat{U}^{+}\hat{\xi}^{i}\hat{U}.

The phase-space coordinates \acute{\xi}^{i} that correspond to new operators \acute{\hat{\xi}^{i}} in the old basis \hat{B}(\xi) are given by

\xi^{i} \rightarrow \acute{\xi}^{i} = q^{i}(\xi,\tau) = Tr[\hat{B}(\xi ) \hat{U}^{+} \hat{\xi}^{i}  \hat{U}],

with the initial conditions

^{\;}q^{i}(\xi,0)=\xi^{i}.

The functions ^{\;}q^{i}(\xi,\tau) define quantum phase flow. In the general case, it is canonical to first order in \tau.[6]

Star-function[edit]

The set of operators of canonical variables is complete in the sense that any operator can be represented as a function of operators \hat{\xi}. Transformations

\hat{f} \rightarrow \acute{\hat{f}}=\hat{U}^{+}\hat{f}\hat{U}

induce under the Wigner association rule transformations of phase-space functions:

f(\xi) \stackrel{q}\longrightarrow \acute{f}(\xi) = Tr[\hat{B}(\xi )\hat{U}^{+}\hat{f}\hat{U}]
\updownarrow   \;\;\;\;\;\;\;\;\;\;\,                        \updownarrow
\hat{f} \;\;\;\; \stackrel{\hat{U}}\longrightarrow \,\acute{\hat{f}} \;\;\;\;\; =\hat{U}^{+}\hat{f}\hat{U}

Using the Taylor expansion, the transformation of function ^{\;}f(\xi ) under the evolution can be found to be

f(\xi ) \rightarrow \acute{f}(\xi ) \equiv Tr[\hat{B}(\xi )\hat{U^{+}}f(\hat{\xi})\hat{U}] =\sum_{s=0}^{\infty }\frac{1}{s!}\frac{\partial ^{s}f(0)}{\partial \xi
^{i_{1}}...\partial \xi ^{i_{s}}}q^{i_{1}}(\xi,\tau )\star ...\star q^{i_{s}}(\xi,\tau) \equiv f(\star q(\xi ,\tau)).

Composite function defined in such a way is called \star-function. The composition law differs from the classical one. However, semiclassical expansion of f(\star q(\xi,\tau )) around f(q(\xi ,\tau))^{\;} is formally well defined and involves even powers of \hbar only. This equation shows that, given quantum characteristics are constructed, physical observables can be found without further addressing to Hamiltonian. The functions ^{\;}q^{i}(\xi ,\tau) play the role of characteristics[7] similarly to classical characteristics used to solve classical Liouville equation.

Quantum Liouville equation[edit]

The Wigner transform of the evolution equation for the density matrix in the Schrödinger representation leads to a quantum Liouville equation for the Wigner function. The Wigner transform of the evolution equation for operators in the Heisenberg representation,

\frac{\partial }{\partial \tau} \hat{f} = -\frac{i}{\hbar}[\hat{f},\hat{H}],

leads to the same equation with the opposite (plus) sign in the right-hand side:

\frac{\partial }{\partial \tau} f(\xi,\tau) = f(\xi,\tau) \wedge H(\xi ).

\star-function solves this equation in terms of quantum characteristics:

f(\xi ,\tau)=f(\star q(\xi ,\tau),0).

Similarly, the evolution of the Wigner function in the Schrödinger representation is given by

W(\xi ,\tau)=W(\star q(\xi ,- \tau),0).

The Liouville theorem of classical mechanics fails, to the extent that, locally, the "probability" density in phase space is not preserved in time.

Quantum Hamilton's equations[edit]

Quantum Hamilton's equations can be obtained applying the Wigner transform to the evolution equations for Heisenberg operators of canonical coordinates and momenta

\frac{\partial }{\partial \tau }q^{i}(\xi ,\tau ) = \{\zeta ^{i},H(\zeta )\}|_{\zeta =\star q(\xi ,\tau )}.

The right-hand side is calculated like in the classical mechanics. The composite function is, however, \star-function. The \star-product violates canonicity of the phase flow beyond the first order in \tau.

Conservation of Moyal bracket[edit]

The antisymmetrized products of even number of operators of canonical variables are c-numbers as a consequence of the commutation relations. These products are left invariant by unitary transformations and, in particular,

q^{i}(\xi,\tau)\wedge q^{j}(\xi,\tau)=\xi ^{i}\wedge \xi ^{j}=- {I}^{ij}.

Phase-space transformations induced by the evolution operator preserve the Moyal bracket and do not preserve the Poisson bracket, so the evolution map

\xi \rightarrow \acute{\xi} = q(\xi,\tau),

is not canonical.[7] Transformation properties of canonical variables and phase-space functions under unitary transformations in the Hilbert space have important distinctions from the case of canonical transformations in the phase space:

Composition law[edit]

Quantum characteristics can hardly be treated visually as trajectories along which physical particles move. The reason lies in the star-composition law

q(\xi ,\tau_1 + \tau_2 ) = q(\star q(\xi ,\tau_1 ),\tau_2),

which is non-local and is distinct from the dot-composition law of classical mechanics.

Energy conservation[edit]

The energy conservation implies

H(\xi )=H(\star q(\xi ,\tau )),

where

H(\xi )=Tr[\hat{B}(\xi )\hat{H}]

is Hamilton's function. In the usual geometric sense, ^{\;}H(\xi ) is not conserved along quantum characteristics.

Summary[edit]

The origin of the method of characteristics can be traced back to Heisenberg’s matrix mechanics. Suppose that we have solved in the matrix mechanics the evolution equations for the operators of the canonical coordinates and momenta in the Heisenberg representation. These operators evolve according to

\hat{\xi}^{i} \rightarrow \hat{\xi}^{i}(\tau)=\hat{U}^{+}\hat{\xi}^{i}\hat{U}.

It is known that for any operator \hat{f} one can find a function f(ξ) through which \hat{f} is represented in the form f(\hat{\xi}). The same operator \hat{f} at time τ is equal to

 \hat{f}(\tau) = U^{+}\hat{f}U = U^{+} f(\hat{\xi})U = f(U^{+} \hat{\xi}U ) = f(\hat{\xi}(\tau)).

This equation shows that \hat{\xi}(\tau) are characteristics that determine the evolution for all of the operators in Op(L2(Rn)). This property is fully transferred to the phase space upon deformation quantization and, in the limit of ħ → 0, to the classical mechanics.

\mathrm{CLASSICAL \;DYNAMICS} \mathrm{QUANTUM \;DYNAMICS}
Liouville equation
Finite-order PDE Infinite-order PDE
\frac{\partial}{\partial \tau} \rho(\xi,\tau) = - \{ \rho(\xi,\tau), \mathcal{H}(\xi) \} \frac{\partial }{\partial \tau }W(\xi ,\tau ) = - W(\xi ,\tau ) \wedge H(\xi )
Hamilton's equations
Finite-order ODE Infinite-order PDE
\frac{\partial}{\partial \tau} c^{i}(\xi,\tau) = \{\zeta^{i}, \mathcal{H}(\zeta)\}|_{\zeta = c(\xi,\tau)} \frac{\partial }{\partial \tau }q^{i}(\xi ,\tau ) = \{\zeta ^{i},H(\zeta )\}|_{\zeta =\star q(\xi ,\tau )}
Initial conditions Initial conditions
^{\;}c^{i}(\xi,0) = \xi^{i} ^{\;}q^{i}(\xi,0) = \xi^{i}
Composition law \star-composition law
^{\;}c(\xi ,\tau_1 + \tau_2 ) = c(      c(\xi ,\tau_1 ),\tau_2) q(\xi ,\tau_1 + \tau_2 ) = q(\star q(\xi ,\tau_1 ),\tau_2)
Conservation of Poisson bracket Conservation of Moyal bracket
^{\;}\{c^{i}(\xi,\tau), c^{j}(\xi,\tau)\}=\{\xi ^{i}, \xi ^{j}\} q^{i}(\xi,\tau)\wedge q^{j}(\xi,\tau)=\xi ^{i}\wedge \xi ^{j}
Energy conservation Energy conservation
^{\;}H(\xi )=H(      c(\xi ,\tau )) ^{\;}H(\xi )=H(\star q(\xi ,\tau ))
Solutions to Liouville equation
^{\;}\rho(\xi,\tau) = \rho(c(\xi ,- \tau ),0) ^{\;}W(\xi,\tau) = W(\star q(\xi ,- \tau ),0)

Table compares properties of characteristics in classical and quantum mechanics. PDE and ODE are partial differential equations and ordinary differential equations, respectively. The quantum Liouville equation is the Weyl-Wigner transform of the von Neumann evolution equation for the density matrix in Schrödinger representation. The quantum Hamilton equations are the Weyl-Wigner transforms of the evolution equations for operators of the canonical coordinates and momenta in Heisenberg representation.

In classical systems, characteristics ^{\;}c^{i}(\xi,\tau) satisfy usually first-order ODE, e.g., classical Hamilton's equations, and solve first-order PDE, e.g., classical Liouville equation. Functions ^{\;}q^{i}(\xi,\tau) are characteristics also, despite both ^{\;}q^{i}(\xi,\tau) and ^{\;}f(\xi,\tau) obey infinite-order PDE.

The quantum phase flow contains entire information on the quantum evolution. Semiclassical expansion of quantum characteristics and \star-functions of quantum characteristics in power series in \hbar allows calculation of the average values of time-dependent physical observables by solving a finite-order coupled system of ODE for phase space trajectories and Jacobi fields.[8][9] The order of the system of ODE depends on truncation of the power series. The tunneling effect is nonperturbative in \hbar and is not captured by the expansion. The density of the quantum probability fluid is not preserved in phase-space, and there is no unambiguously defined notion of trajectories for quantum systems, as the quantum fluid "diffuses".[10] Quantum characteristics must therefore be distinguished from both the trajectories of the de Broglie - Bohm theory [11] and the trajectories of the path-integral method in phase space for the amplitudes [12] and the Wigner function. [13][14] So far, only a few quantum systems have been explicitly solved using the method of quantum characteristics. [15]

See also[edit]

References[edit]

  1. ^ H. Weyl, Z. Phys. 46, 1 (1927).
  2. ^ E. P. Wigner, On the quantum correction for thermodynamic equilibrium, Phys. Rev. 40, 749 (1932).
  3. ^ a b H. J. Groenewold, On the Principles of elementary quantum mechanics, Physica, 12, 405 (1946).
  4. ^ R. L. Stratonovich, Sov. Phys. JETP 4, 891 (1957).
  5. ^ C. L. Mehta, J. Math. Phys. 5, 677 (1964).
  6. ^ P. A. M. Dirac, The Principles of Quantum Mechanics, First Edition (Oxford: Clarendon Press, 1930).
  7. ^ a b M. I. Krivoruchenko, A. Faessler, Weyl's symbols of Heisenberg operators of canonical coordinates and momenta as quantum characteristics, J. Math. Phys. 48, 052107 (2007).
  8. ^ M. I. Krivoruchenko, C. Fuchs, A. Faessler, Semiclassical expansion of quantum characteristics for many-body potential scattering problem, Annalen der Physik 16, 587 (2007).
  9. ^ S. Maximov, On a special picture of dynamical evolution of nonlinear quantum systems in the phase-space representation, Physica D238, 1937 (2009).
  10. ^ J. E. Moyal, Quantum mechanics as a statistical theory, Proceedings of the Cambridge Philosophical Society, 45, 99 (1949).
  11. ^ P. R. Holland, The quantum theory of motion, (Cambridge University Press, 1993).
  12. ^ F. A. Berezin, Feynman path integrals in a phase space, Sov. Phys. Usp. 23, 763 (1980).
  13. ^ M. S. Marinov, A new type of phase-space path integral, Phys. Lett. A 153, 5 (1991).
  14. ^ Wong, C. Y. (2003). "Explicit solution of the time evolution of the Wigner function". Journal of Optics B: Quantum and Semiclassical Optics 5 (3): S420. doi:10.1088/1464-4266/5/3/381. 
  15. ^ G. Braunss, Quantum dynamics in phase space: Moyal trajectories 2, J. Math. Phys. 54, 012105 (2013). doi:10.1063/1.4773229

Textbooks[edit]

  • H. Weyl, The Theory of Groups and Quantum Mechanics, (Dover Publications, New York Inc., 1931).
  • V. I. Arnold, Mathematical Methods of Classical Mechanics, (2-nd ed. Springer-Verlag, New York Inc., 1989).
  • M. V. Karasev and V. P. Maslov, Nonlinear Poisson brackets. Geometry and quantization. Translations of Mathematical Monographs, 119. (American Mathematical Society, Providence, RI, 1993).
  • Some Applications of Quantum Mechanics, Ed. M. R. Pahlavani, (InTech, Zagreb, 2012).