Mean field limit for bosons and propagation of Wigner measures

We consider the N-body Schrodinger dynamics of bosons in the mean field limit with a bounded pair-interaction potential. According to the previous work [Ammari, Z. and Nier, F., "Mean field limit for bosons and infinite dimensional phase-space analysis," Ann. Henri Poincare 9, 1503 (2008)], the mean field limit is translated into a semiclassical problem with a small parameter epsilon -> 0, after introducing an epsilon-dependent bosonic quantization. The limits of quantum correlation functions are expressed as a push forward by a nonlinear flow (e.g., Hartree) of the associated Wigner measures. These object and their basic properties were introduced by Ammari and Nier in the infinite dimensional setting. The additional result presented here states that the transport by the nonlinear flow holds for a rather general class of quantum states in their mean field limit.