La cuantización de Bohr-Sommerfeld proporciona una receta aproximada para recuperar el espectro de un sistema cuántico integrable. ¿Existe una explicación matemáticamente rigurosa de por qué funciona esta receta? En particular, supongo que da una descripción exacta de la asintótica de los grandes números cuánticos, que debería ser un teorema.
Además, ¿hay alguna forma de hacer la receta más precisa añadiendo correcciones de algún tipo?