The Bohr-Sommerfeld quantization rule and the Weyl correspondence

Abstract

With the use of the Weyl correspondence between quantum mechanical operators and classical dynamical functions, an exact quantization rule is derived for a system with one degree of freedom and arbitrary Hamiltonian. In the semiclassical limit of small Planck's constant, this reduces to the Bohr-Sommerfeld quantization rule as derived by the WKB approximation. Higher order terms are also derived. It is further proven that for a simple harmonic oscillator the Bohr-Sommerfeld rule must give the exact energy eigenvalues for all states.