Pólya's conjecture up to $\hat{I}\mu$-loss and quantitative estimates for the remainder of Weyl's law

Abstract

Let $\hat{I}\text{c◯}\subset {\mathbb{R}}^n$ be a bounded Lipschitz domain. For any $\hat{I}\mu \in (0,1)$ we show that for any Dirichlet eigenvalue $\hat{I}{»}_k(\hat{I}\text{c◯})>\hat{I}›(\hat{I}\mu ,\hat{I}\text{c◯})$, it holds \begin{align*} k&\le (1+ε)\frac{|Ω|ω(n)}{(2π)^n}λ_k(Ω)^{n/2}, \end{align*} where $\hat{I}›(\hat{I}\mu ,\hat{I}\text{c◯})$ is given explicitly. This reduces the $\hat{I}\mu$-loss version of Pólya's conjecture to a computational problem. This estimate is based on quantitative estimates on the remainder of the Weyl law with explicit constants, which we give a new proof without using Neumann eigenvalues. Our arguments in deriving such uniform estimates yield also, in all dimensions $n\ge 2$, classes of domains that may even have rather irregular shapes or boundaries but satisfy Pólya's conjecture. Another key observation is that on strip-tiling domains (and therefore any triangles for instance) one actually has better eigenvalue estimates than Pólya conjectured.

42 pp, final version, to appear in Comm. Pure Appl. Math