Wigner distribution function

Also available as: PDF, LaTeX.
The Wigner distribution function is a quasi-probability distribution function used to study quantum mechanics in phase space.

1Definition

The Wigner Transform maps a quantum operator $\hat A$ to a classical function in phase space. Eugene Wigner used this to associate to a quantum system a real phase space function, now called Wigner distribution function (WDF) [1]. It is defined to be the symbol associated to the density operator$\hat \rho$ describing the quantum system
 (1)
In the case of a mixed state, the density operator can be written as convex combination of the pure state wavefunctions$\psi _n$
 (2)
For mixed states the WDF thus reads
 (3)
while for a pure state it reduces to
 (4)

2Properties

The WDF has many similarities to the classical distribution function:
$P_W(x,p)$ is a real function, as follows by taking the complex conjugate and changing variables $y \mapsto -y$. It is normalized to $1$ in the following sense
 (5)
When integrated over all momenta, it gives the probability density:
 (6)
whereas when integrated over all positions, it yields the momentum distribution
 (7)
where the subscripts $\pm$ denote the dependence on $x_\pm := x \pm \frac {y}{2}$. The WDF thus has the attractive property that the marginal distributions, obtained by integrating over either the position or momentum variables, do reproduce the correct non-negative position and momentum probability distributions respectively, as specified by quantum mechanics.
Compared to the classical distribution function, the Wigner distribution function has the peculiar property that it may assume negative values. For this reason it is usually called a quasi-probability distribution and cannot be interpreted as a phase space probability density in the sense of classical mechanics.
The dynamical evolution of the Wigner distribution function is described by the Wigner equation, reducing to the classical Vlasov equation in the formal $\hbar \to 0$ limit.
References:
• [1]^ E.P. Wigner: On the quantum correction for thermodynamic equilibrium. In: Phys. Rev. 40, 1932, pp. 749–759.