This article proposes the construction of Wigner measures in the infinite dimensional bosonic quantum field theory, with applications to the derivation of the mean field dynamics. Once these asymptotic objects are well defined, it is shown how they can be used to make connections between different kinds of results or to prove new ones.

International audienceContrary to the finite dimensional case, Weyl and Wick quantizations are no more asymptotically equivalent in the infinite dimensional bosonic second quantization. Moreover neither the Weyl calculus defined for cylindrical symbols nor the Wick calculus defined for polynomials are preserved by the action of a nonlinear flow. Nevertheless taking advantage carefully of the information brought by these two calculuses in the mean field asymptotics, the propagation of Wigner measures for general states can be proved, extending to the infinite dimensional case a standard result of semiclassical analysis