Sharp semiclassical estimates for the number of eigenvalues below a totally degenerate critical level (Q2372174)

For the elliptic selfadjoint in \(L^2(\mathbb{R}^d)\) differential operator \(A_h = a(x,hD,h)\) with sufficiently regular symbol \(a(x,\xi ,h) = \sum\nolimits_{0 \leq n \leq N} {h^na_n (x,\xi )} \) for \(h \in ]0,h_0 ]\) the author investigates the semiclassical asymptotics behaviour at \(h \to 0\) of the number \(N(A_h ,E)\) of eigenvalues smaller than \(E < \mathop {\lim }\limits_{\left| x \right| + \left| \xi \right| \to \infty } \inf a_0 (x,\xi )\) counted with their multiplicities. This problem was studied in numerous works for the case when \(E\) is not a critical value of \(a_0\), i.e. \(a_0(x,\xi)=E\to\nabla a_0(x,\xi)\neq 0\). It was shown that there exists a constant \(c_0>0\), such that for \(h\in ]0,h_0]\) one has \[ | N(A_h,E)-(2\pi h)^{-d}c_E | \leq c_0 h^{1-d}, \] where \(c_E=\int_{a_0(x,\xi)<E}\,dx\,d\xi=\text{vol}\{ (x,\xi)\in\mathbb{R}^{2d}:\, a_0(x,\xi)<E \}\). The aim of this article is to modify this estimate without any additional assumptions on the Hessian matrix of \(a_0\ldots a_s\). It is shown that for every \(\varepsilon>0\) and \(h\in ]0,h_0]\) the estimate \[ | N(A_h,E)-(2\pi h)^{-d}c_E| \leq c_\varepsilon h^{-d}\mathbb{R}_E^{\varepsilon,a_0}(h), \] is true, where \[ \mathbb{R}_E^{\varepsilon,a_0}(h)=h+\underset{E'\in[ E-h^{1-\varepsilon,E+h^{1-\varepsilon}} ]}{\sup} \text{vol}\{ (x,\xi)\in\mathbb{R}^{2d}:\, | a_0(x,\xi)-E'| \leq h \} \]