Analytic Microlocal Bohr-Sommerfeld Expansions
Antide Duraffour
TL;DR
The paper develops an exponentially sharp Bohr-Sommerfeld quantization for self-adjoint Weyl-quantized pseudodifferential operators on $L^2(\mathbb{R})$ with holomorphic symbols in a regime where the energy sets are regular and discrete. By conjugating the operator with the Bargmann transform to a complex-analytic pseudodifferential framework, it constructs analytic WKB quasimodes around complex energy curves and then patches them globally using a $\overline{\partial}$-lemma, yielding spectral approximations with residuals of order $O(e^{-\mathscr{C}/\hbar})$. A central outcome is the Maslov correction, shown to contribute a $\pi\hbar$ shift in the action, producing a refined quantization condition $\mathcal{A}(\lambda)+\pi\hbar+O(\hbar^2)\in 2\pi\hbar\mathbb{Z}$ and ensuring simple eigenvalues. The approach unifies holomorphic-symbol analysis, Bargmann-space techniques, and microlocal WKB theory to produce exponentially sharp spectral descriptions and provides a pathway to multi-component energy sets via patching. The results advance a rigorous, exponentially precise spectral theory beyond classical Schrödinger settings and have potential implications for quantum tunneling analyses in broader 1D Hamiltonian contexts.
Abstract
This article is devoted to Gevrey-analytic estimates in ___, of the Bohr-Sommerfeld expansion of the eigenvalues of self-adjoint pseudo-differential operators acting on L^2(R) in the regular case. We consider an interval of energies in which the spectrum of P is discrete and such that the energy sets are regular connected curves. Under some assumptions on the holomorphy of the symbol p, we will use the isometry between L^2(R) and the Bargmann space to obtain an exponentially sharp description of the spectrum in the energy window . More precisely it is possible to build exponentially sharp WKB quasimodes in the Bargmann space. A precise examination of the principal symbols will provide an interpretation to the Maslov correction $π$___ in the Bargmann space.
