The Fourier–Wigner transform of two functions is first defined and is given an alternative expression. The Wigner transform is then defined to be the Fourier transform of the Fourier–Wigner transform. The Moyal identity, which is an analog of the Plancherel formula, is then proved for the Wigner transform. The Weyl transform with a given symbol is then defined in terms of the Wigner transform. Another formula for the Weyl transform with a given symbol is then proved and used to establish the fact that the product of two Weyl transforms is also a Weyl transform with symbol given by a twisted convolution of the two given symbols.
By virtue of the property that Weyl ordering is invariant under similar transformations we show that the Weyl ordered form of the Wigner operator, a Dirac δ-operator function, brings much convenience for deriving miscellaneous Wigner transforms. The operators which engender various transforms of the Wigner operator, can also be easily deduced by virtue of the Weyl ordering technique. The correspondence between the optical Wigner transforms and the squeezing transforms in quantum optics is investigated.
By virtue of the property that Weyl ordering is invariant under similar transformations we show that the Weyl ordered form of the Wigner operator, a Dirac δ-operator function, brings much convenience for deriving miscellaneous Wigner transforms. The operators which engender various transforms of the Wigner operator, can also be easily deduced by virtue of the Weyl ordering technique. The correspondence between the optical Wigner transforms and the squeezing transforms in quantum optics is investigated.