Semiclassical estimates for Weyl quantisation (Q1363020)

The author shows that the operator \(\widehat f\) defined as the Weyl quantization of \(f\), from an appropriate class of holomorphic functions, has as a suitable invariant domain in the Hilbert space of holomorphic functions. In order to assert this, the author passes to the annihilation and creation operators (or classically, to complex canonical coordinates) from the position and momentum operators, the so-called Bargmann representation. A convergent expansion in powers of \(\hslash\) of the commutator \((i/\hslash)[f,g]\) is presented. These results are applied to the semiclassical limit of perturbation theory for a nonresonant harmonic oscillator.