Semiclassical quantization of truncated potentials

An infinite potential well, truncated at finite height, provides a simple model for studying the effect of nonanalyticity on semiclassical approximations. An exact quantization condition for the bound states separates the effects associated with the untruncated well from those of the truncation. Because the truncation occurs beyond the classical turning points, it has no effect to any finite order in powers of Planck's constant. The truncation contribution is exponentially small and depends on the potential in the classically forbidden region. The contribution associated with the well, when consistently approximated beyond all semiclassical orders, also leads to a small exponential, depending on the potential in the classically allowed region. Both exponentially small contributions can be extracted by asymptotic analysis, with explicit results in the simple case of a linear well. This combination of several different semiclassical techniques could be pedagogically useful as an exercise in teaching physical asymptotics at the postgraduate level.