Semi‐classical counting function with application to quantum current

We obtain a new two‐term asymptotic formula for the counting function of eigenvalues of h pseudodifferential operators in the limit as h→0. Recent results concerning clustering of eigenvalues obtained in [7] follow in corollary and, as an application, we consider the semi‐classical behaviour of the quantum current studied recently in [2].