We prove that the partition function associated to a perturbation of the semi-classical harmonic oscillator is the Borel sum of its semi-classical expansion.
Borel summation of the semi-classical expansion of the partition function associated to the Schrödinger equation