"Bottom of the well" semi-classical trace invariants

V. Guillemin, T. Paul, A. Uribe

Let $\hat{H}$ be an h-admissible pseudodifferential operator whose principal symbol, $H$, has a unique non-degenerate global minimum. We give a simple proof that the semi-classical…