This paper is concerned with the Weyl composition of symbols in large dimension. We specify a class of symbols in order to estimate the Weyl symbol of the product of two Weyl h-pseudodifferential operators, with constants independent of the dimension. The proof includes regularized and hybrid compositions, together with a decomposition formula. We also analyze, in this context, the remainder term of the semiclassical expansion of the Weyl composition. The class of symbols contains symbols of Schrodinger semigroups in large dimension, typically for nearest neighbors or mean field interaction potentials. The Weyl composition is applied with Kac operators.
Read full abstract