On the relation between the Wigner function and an exact dynamical invariant

The wave packet solution of the time-dependent Schrödinger equation for the harmonic oscillator with time-dependent frequency yields a coupled pair of equations of motion for the mean value and uncertainty of position which corresponds to an exact dynamical invariant. Its relation to the corresponding time-dependent Wigner function will be shown.