The resolvent trace, or equivalently the heat trace, expansion for
second order Laplace type operators goes back at least to
Minakshisundaram and Pleijel [MiPl49]. Via Karamata’s
tauberian theorem there is a connection to the eigenvalue counting
fun…