Some remarks about semiclassical trace invariants and quantum normal forms
Résumé
In this paper we explore the connection between semi-classical and quantum Birkhoff canonical forms (BCF) for Schrödinger operators. In particular we give a "non-symbolic" operator theoretic derivation of the quantum Birkhoff canonical form and provide an explicit recipe for expressing the quantum BCF in terms of the semi-classical BCF.