Quantum mechanics may be formulated in pseudo-phasespace in the Weyl picture. The semiclassical expression for the Weyl transform of the usual time evolution operator is evaluated by summing over paths a semiclassical approximation for a new propagator in pseudo-phasespace. As an example the Bohr-Sommerfeld quantisation rule is recovered. The new propagator may in principle be used to construct other interesting quantities, such as the propagator governing the time evolution of the Wigner function.
Quantum mechanics may be formulated in pseudo-phasespace in the Weyl picture. The semiclassical expression for the Weyl transform of the usual time evolution operator is evaluated by summing over paths a semiclassical approximation for a new propagator in pseudo-phasespace. As an example the Bohr-Sommerfeld quantisation rule is recovered. The new propagator may in principle be used to construct other interesting quantities, such as the propagator governing the time evolution of the Wigner function.
We construct a representation of the coherent state path integral using the Weyl symbol of the Hamiltonian operator. This representation is very different from the usual path integral forms suggested by Klauder and Skagerstam (1985 Coherent States: Applications in Physics and Mathematical Physics (Singapore: World Scientific)), which involve the normal or the antinormal ordering of the Hamiltonian. These different representations, although equivalent quantum mechanically, lead to different semiclassical limits. We show that the semiclassical limit of the coherent state propagator in the Weyl representation involves classical trajectories that are independent of the width of coherent states. This propagator is also free from the phase corrections found in Baranger et al ( 2001 J. Phys. A: Math. Gen. 34 7227 ) for the two Klauder forms and provides an explicit connection between the Wigner and the Husimi representations of the evolution operator.
The Moyal description of quantum mechanics, based on the Wigner-Weyl isomorphism between operators and symbols, provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in ħ and so presents a preferred foundation for semiclassical analysis. Its semiclassical expansion "coefficients," acting on symbols that represent observables, are simple, globally defined (phase space) differential operators constructed in terms of the classical flow. The first of two presented methods introduces a cluster-graph expansion for the symbol of an exponentiated operator, which extends Groenewold′s formula for the Weyl product of two symbols and has ħ as its natural small parameter. This Poisson bracket based cluster expansion determines the Jacobi equations for the semiclassical expansion of "quantum trajectories." Their Green function solutions construct the regular ħ ⇓ 0 asymptotic series for the Heisenberg-Weyl evolution map. The second method directly substitutes such a series into the Moyal equation of motion and determines the ħ coefficients recursively. In contrast to the WKB approximation for propagators, the Heisenberg-Weyl description of evolution involves no essential singularity in ħ, no Hamilton-Jacobi equation to solve for the action, and no multiple trajectories, caustics, or Maslov indices.
The Weyl transform is applied in quantum dynamics to derive and extend Moyal's statistical theory of phase-space distributions for noncommuting coordinate and momentum operators. The distinction is made between Weyl transforms in Schrödinger and Heisenberg pictures; the general case of time-dependent Hamiltonians is considered. The Wigner function for the probability distribution in a phase space of Cartesian coordinates Q and momenta K propagates according to a conditional probability P(t, Q, K | t0, Q0, K0), which is exhibited as a Feynman path integral in phase space. Properties of P(t, Q, K | t0, Q0, K0) are developed; it is expressed in terms of the quantum generalization of the classical Liouville operator. The Weyl transform of a Heisenberg operator propagates according to P(t, Q0, K0 | t0, Q, K) which is also given as a Feynman path integral. An equation for the time evolution of Weyl transforms of Heisenberg operators is obtained, according to which the transform of Heisenberg coordinate and momentum operators obey a quantum form of Hamilton's equations of motion. If the initial density operator of the system commutes with the coordinate operator, then the state of the system is a mixture of pure coordinate states; the spectrum of the density operator in this case is continuous. For a Heisenberg operator AH(t) with Weyl transform AH(t, Q, K), the function A(t,Q)=∫dKAH(t,Q,K) is the expectation at time t of the dynamical property for a quantum system initially in a pure state of coordinate Q; it is the quantum-mechanical generalization of the dynamical property of the system along the classical trajectory in configuration space at time t. The probability amplitude for the time dependence of A(t,Q) can be expressed as a Feynman path integral with a Heisenberg Lagrangian. The amplitude of the conditional probability P(t, Q | t0, Q0) considered by Feynman is expressed as a path integral with a Schrödinger Lagrangian. The velocity in the Heisenberg Lagrangian is the negative of that in the Schrödinger Lagrangian of Feynman, but it agrees with the velocity appearing in the Hamiltonian equations. It is the Heisenberg Lagrangian that is the Lagrangian of classical dynamics. For a particle whose potential energy is a function of position, a quantum form of Newton's second law is obtained. An extension of the formalism to non-Cartesian coordinate systems is given.
A useful and intuitive phase space picture of common semiclassical approximations and procedures is proposed and developed. Underlying the intuitive pictures is the semiclassical, C→0 limit of the Wigner distribution, which is discussed in an Appendix. Simple classical analog phase space diagrams are suggested which represent quantum amplitudes, completeness relations, stationary phase points and integrations, caustic singularities, uniformizations, and the interesting short and long time behavior of the semiclassical propagator. Semiclassical wave packet amplitudes, now known to be on equal footing with the more usual amplitudes between delocalized eigenstates of Hermitian operators, are included in the phase space pictures. It becomes apparent why the primitive semiclassical wave packet amplitudes are to some extent uniformizing, and numerical results are presented to support this conclusion. The power of the phase space picture as an aid in formulating new approximations is illustrated.
Abstract. We establish the difference between the propagation of semiclassical Wigner functions and classical Liouville propagation. First we re-discuss the semiclassical limit for the propagator of Wigner functions, which on its own leads to their classical propagation. Then, via stationary phase evaluation of the full integral evolution equation, using the semiclassical expressions of Wigner functions, we provide the correct geometrical prescription for their semiclassical propagation. This is determined by the classical trajectories of the tips of the chords defined by the initial semiclassical Wigner function and centered on their arguments, in contrast to the Liouville propagation which is determined by the classical trajectories of the arguments themselves. 1. introduction The Wigner [11] function W is a representation of the quantum density operator ˆρ as a real function on phase space, for a non-relativistic dynamical system with classical-quantum correspondence and n degrees of freedom. Here, all the underlying geometry is euclidean and we can include the Wigner function within the general framework of Weyl representation of operators: Â → A ∈ Ck IR (IR2n), so W(x) = (2π�) −n ρ(x) , where x ≡ (p1,...pn, q1,...qn) denotes a point in phase space. In this context, the quantum evolution of the density operator ˆρt effected by an autonomous external hamiltonian