PHASE-SPACE FORMULATION OF QUANTUM-MECHANICS UNDER PHASE-SPACE TRANSFORMATIONS - WIGNER FUNCTIONS OF AN OSCILLATOR SYSTEM IN CROSSED MAGNETIC AND ELECTRIC-FIELDS

We give a rigorous proof for the following result that combines those discussed earlier by Kr̈ger and Poffyn [Physica 85A, 84 (1976)] and by Springborg [J. Phys. A 16, 535 (1983)]: The Wigner correspondence of a quantum operator can be obtained by simple substitutions under an arbitrary linear phase-space transformation. This property cannot be generalized to any other transformations or rules of phase-space correspondence. As an application of this result, the Wigner distribution functions of an anisotropic harmonic-oscillator system in crossed magnetic and electric fields are obtained. © 1990 The American Physical Society.