Convergence of a quantum normal form and an exact quantization formula

International audienceThe operator - i (h) over bar omega.Delta on L-2(T-1), quantizing the linear flow of diophantine frequencies omega = (omega(1),...,omega(l)) over T-l, l > 1, is perturbed by the operator quantizing a function V-omega(xi, x) = V(omega . xi, x) : R-1 x T-l > R, z bar right arrow V(z, x) : R x T-l -> R real-holomorphic. The corresponding quantum normal form (QNF) is proved to converge uniformly in (h)over bar> is an element of [0,]. This yields non-trivial examples of quantum integrable systems, an exact quantization formula for the spectrum, and a convergence criterion for the Birkhoff normal form, valid for perturbations holomorphic away from the origin. The main technical aspect concerns the solution of the quantum homological equation, which is constructed and estimated by solving the Moyal equation for the operator symbols. The KAM iteration can thus be implemented on the symbols, and its convergence proved. This entails the convergence of the QNF, with radius estimated in terms only of the diophantine constants of omeg