Weyl Transformation and the Classical Limit of Quantum Mechanics

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.