By making use of the coherent state representation of the Wigner operator we present a simple approach for deriving the Weyl correspondence product formula in complex phase space. The formula tells us how to express the Weyl classical function corresponding to an operator in terms of the Weyl functions corresponding to and .
We point out that there is a close connection between the Weyl correspondence and coherent state correspondence. By virtue of differential and integral method within normal ordered products we demonstrate that the essence of the Weyl correspondence is just coherent state correspondence in both boson and fermion cases. Furthermore, coherent state form and explicit operator form for the Wigner function are given. With these forms we can derive some important operator formulas from the Weyl correspondence. The Wigner function's zero-point value is also discussed.
Abstract Coherent states, in Wigner representation of quantum mechanics which is classical in structure with Wigner function playing the role of classical phase space probability distribution, and standard quantum mechanical expression for average values of corresponding Weyl quantum operators, general expression for matrix elements of the operator corresponding to phase of the oscillator by Weyl procedure, are obtained in the |n〉 basis. The general expression for matrix elements in the same basis of any other operator is also obtained. As the only mathematical technique necessary in the proposed procedure is a simple change of variables to polar coordinates in the corresponding integrals, this way to introduce Weyl phase operator, and some other operators in Weyl quantization, greatly simplifies necessary derivations and calculations.
On the basis of the preceding paper we present some new applications of both the normal product form and the coherent state form of the Wigner operator, which involve deriving some new quantum operator formulas, giving the coherent state generalization of the Moyal theorem, evaluating some quantum operators which correspond to the given classical functions in the weyl manner and vice versa. Were it not for the Wigner operator's coherent state formulation given by us the above-mentioned calculations would be hard to perform.
If the state space of a quantum system is finite dimensional it may be considered as the carrier space of an irreducible unitary representation of some compact Lie group G. In this case the set of operators may be put in one-to-one correspondence with a class of functions defined on the group parameters (Q representation). For these functions a binary relation is derived that corresponds to the product of two operators. The general formalism is applied to G=SU(2) (spin coherent states) and this result is used to derive a product formula for the non-compact Heisenberg-Weyl group (coherent oscillator states.).