Caldeira-Leggett — Quantum Brownian Motion

Wigner function W(x,p,t) of a quantum particle in a harmonic potential, coupled to a thermal bath. Quantum coherence decays into classical distribution.