A general canonical transformation of mechanical operators of position and momentum is considered. It is shown that it automatically generates a parameter s which leads to a generalized (or s-parameterized) Wigner function. This allows one to derive a generalized (s-parameterized) Moyal brackets for any dimensions. In the classical limit the s-parameterized Wigner averages of the momentum and its square yield the respective classical values. Interestingly enough,in the latter case the classical Hamilton-Jacobi equation emerges as a consequence of such a transition only if there is a non-zero parameter s.
A general canonical transformation of mechanical operators of position and momentum is considered. It is shown that it automatically generates a parameter s which leads to a generalized (or s-parameterized) Wigner function. This allows one to derive a generalized (s-parameterized) Moyal brackets for any dimensions. In the classical limit the s-parameterized Wigner averages of the momentum and its square yield the respective classical values. Interestingly enough,in the latter case the classical Hamilton-Jacobi equation emerges as a consequence of such a transition only if there is a non-zero parameter s.
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.
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 correspondence for obtaining quantum operators from functions of classical coordinates and momenta is known to be incorrect. To calculate quantum-mechanical expectation values as phase-space averages with the Wigner density function, one cannot use classical functions but must use Weyl transforms. These transforms are defined and their properties derived from quantum mechanics. Their properties are expressed in terms of a Hermitian operator Δ(Q, K) whose Weyl transform is a δ function. The Wigner function is the transform of the density operator. Every Weyl transform is exhibited as a difference of two functions which are nonnegative on the phase spece. Weyl transforms do not obey the algebra of classical functions. In the classical limit ℏ → 0, Weyl transforms become classical functions, the Wigner function becomes nonnegative throughout the phase space, and the Hilbert space is spanned by an orthonormal set of vectors which are simultaneous eigenkets of the commuting coordinate and momentum operators.
The Weyl quantization of classical observables on the torus (as phase space) without regularity assumptions is explicitly computed. The equivalence class of symbols yielding the same Weyl operator is characterized. The Heisenberg equation for the dynamics of general quantum observables is written through the Moyal brackets on the torus and the support of the Wigner transform is characterized. Finally, a dequantization procedure is introduced that applies, for instance, to the Pauli matrices. As a result we obtain the corresponding classical symbols.
The Weyl–Wigner map yields the entire structure of Moyal quantum mechanics directly from the standard operator formulation. The covariant generalization of Moyal theory, also known as Vey quantum mechanics, was presented in the literature many years ago. However, a derivation of the formalism directly from standard operator quantum mechanics, clarifying the relation between the two formulations, is still missing. In this article we present a covariant generalization of the Weyl order prescription and of the Weyl–Wigner map and use them to derive Vey quantum mechanics directly from the standard operator formulation. The procedure displays some interesting features: it yields all the key ingredients and provides a more straightforward interpretation of the Vey theory including a direct implementation of unitary operator transformations as phase space coordinate transformations in the Vey idiom. These features are illustrated through a simple example.
The Weyl-Wigner map yields the entire structure of Moyal quantum mechanics directly from the standard operator formulation. The covariant generalization of Moyal theory, also known as Vey quantum mechanics, was presented in the literature many years ago. However, a derivation of the formalism directly from standard operator quantum mechanics, clarifying the relation between the two formulations is still missing. In this paper we present a covariant generalization of the Weyl order prescription and of the Weyl-Wigner map and use them to derive Vey quantum mechanics directly from the standard operator formulation. The procedure displays some interesting features: it yields all the key ingredients and provides a more straightforward interpretation of the Vey theory including a direct implementation of unitary operator transformations as phase space coordinate transformations in the Vey idiom. These features are illustrated through a simple example. 1