Bohr-Sommerfeld quantization condition derived by a microlocal WKB method (Q817116)

The purpose of the paper is to explain the uses of so-called microlocal WKB analysis for a concrete example of the one-dimensional Schrödinger equation with a simple well potential. The heart of the method lies in passing from the configuration space to the phase space of the system by means of the Bargmann transformation. The general discussion of more advanced topics can be found in [\textit{C. Gérard} and \textit{J. Sjöstrand}, Commun. Math. Phys. 108, 391--421 (1987; Zbl 0637.35027)], and in the monograph ``Introduction to semiclassical and microlocal analysis'', by \textit{A. Martinez} [Springer-Verlag, Berlin (2002; Zbl 0994.35003)].