In Mathematics, especially spectral theory, Weyl's law describes the asymptotic behavior of eigenvalues of the Laplace-Beltrami operator. This description was discovered 1911 by Hermann Weyl for eigenvalues for the Laplace-Beltrami acting on functions that vanish at the boundary of a bounded domain . In particular, he proved that the number, , of Dirichlet eigenvalues (counting their multiplicities) less than or equal to satisfies
(See  for a proof in English.)
Improved remainder estimate
The remainder estimate above has been improved by many authors up to and even to two-term asymptotics with the remainder estimate (Weyl conjecture), or even marginally better.
The Weyl law has been extended to more general domains and operators. For the Schrödinger operator
it was extended to
as tending to or to a bottom of essential spectrum and/or .
Here is the number of eigenvalues of below unless there is essential spectrum below in which case .
The extended Weyl law fails in certain situations. In particular, the extended Weyl law "claims" that there is no essential spectrum if and only if the right-hand expression is finite in for all .
If one considers domains with cusps (i.e. "shrinking exits to infinity") then the (extended) Weyl law claims that there is no essential spectrum if and only if the volume is finite. However for the Dirichlet Laplacian there is no essential spectrum even if the volume is infinite as long as cusps shrinks at infinity (so the finiteness of the volume is not necessary).
On the other hand, for the Neumann Laplacian there is an essential spectrum unless cusps shrinks at infinity faster than the negative exponent (so the finiteness of the volume is not sufficient).
Weyl conjectured that
The remainder estimate was improved upon by many mathematicians.
In 1922, Richard Courant proved a bound of . In 1952, Boris Levitan proved the tighter bound of for compact closed manifolds. Robert Seeley extended this to include certain Euclidean domains in 1978. In 1975, Hans Duistermaat and Victor Guillemin proved the bound of when the set of periodic bicharacteristics has measure 0. This was finally generalized by Victor Ivrii in 1980. This generalization assumes that the set of periodic billiards has measure 0, which Ivrii conjectured is fulfilled for all bounded Euclidean domains with smooth boundaries. Since then, similar results were obtained for wider classes of operators.
- Über die asymptotische Verteilung der Eigenwerte, Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen, 110–117 (1911).
- 'Das asymptotische Verteilungsgesetz linearen partiellen Differentialgleichungen, Math. Ann., 71:441–479 (1912).
- Partial Differential Equations, by Walter A. Strauss, John Wiley & Sons, 2008. See chapter 11.
- A sharp asymptotic estimate for the eigenvalues of the Laplacian in a domain of . Advances in Math.}, 102(3):244–264 (1978).
- The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math. , 29(1):37–79 (1975).
- Second term of the spectral asymptotic expansion for the Laplace–Beltrami operator on manifold with boundary. Funct. Anal. Appl. 14(2):98–106 (1980).