Rigorous Methods for Bohr-Sommerfeld Quantization Rules

Joanne Dong, Peter D. Miller, Giorgio Young

In this work, we prove Bohr-Sommerfeld quantization rules for the self-adjoint Zakharov-Shabat system and the Schrödinger equation in the presence of two simple turning points bou…