Semiclassical spectral estimates for Schrödinger operators at a critical energy level. Case of a degenerate minimum of the potential

We study the semi-classical trace formula at a critical energy level for a Schrödinger operator on Rn. We assume here that the potential has a totally degenerate critical point associated to a local minimum. The main result, which computes the contribution of this equilibrium, is valid for all time in a compact and establishes the existence of a total asymptotic expansion whose top order coefficient depends only on the germ of the potential at the critical point.