Classical limit of the harmonic oscillator Wigner functions in the Bargmann representation

Abstract

Writing the Wigner functions of any pair of harmonic oscillator eigenstates in the Bargmann representation, a direct and detailed proof is given of their convergence (in the sense of distributions) to at the classical limit , , , m-n fixed, .