Semiclassical expansion of Wigner functions

We show that the time evolved Wigner function of a quantum particle under the action of a smooth potential can be formally expanded in powers of h, where each term of the expansion can be computed in terms of the corresponding classical flow. Moreover the solution can be approximated by the N-order truncation with an error O(h(N+1)). (c) 2006 American Institute of Physics.