P\'olya's conjecture up to $\epsilon$-loss and quantitative estimates for the remainder of Weyl's law

TL;DR

This paper establishes explicit bounds relating eigenvalues and domain volume, reducing Pólya's conjecture to a computational problem and providing new estimates for Weyl's law remainder without Neumann eigenvalues.

Contribution

It provides explicit quantitative estimates for the Weyl law remainder and reduces the -loss version of Plya's conjecture to a computational problem, with applications to irregular domains.

Findings

Explicit bounds for eigenvalues in terms of domain volume.

Reduction of Plya's conjecture to a computational problem.

Improved eigenvalue estimates for strip-tiling domains and triangles.

Abstract

Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. For any $\epsilon\in (0,1)$ we show that for any Dirichlet eigenvalue $\lambda_k(\Omega)>\Lambda(\epsilon,\Omega)$, it holds \begin{align*} k&\le (1+\epsilon)\frac{|\Omega|\omega(n)}{(2\pi)^n}\lambda_k(\Omega)^{n/2}, \end{align*} where $\Lambda(\epsilon,\Omega)$ is given explicitly. This reduces the $\epsilon$-loss version of P\'olya'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\'olya'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\'olya conjectured.