6
$\begingroup$

Let $(M^n,g)$ be a closed $n$ dimensional Riemannian manifold with $\mathrm{Ric}_g\ge -K$, $(K\ge 0)$. Weyl's law(along with Karamata Tauberian Theorem) asserts that the eigenvalue $\lambda_i$ of $-\Delta$ has the following asymptotic behavior $$ \lambda_i \sim c_n\left(\frac{i}{\mathrm{Vol}_g(M^n)}\right)^{2/n}\quad (i\to \infty) $$ Is there a finer version of Weyl's law so that for $i$ large enough, the following uniform bound is true? $$ \left|\lambda_i-c_n\left(\frac{i}{\mathrm{Vol}_g(M^n)}\right)^{2/n}\right|\le C(K,n,D,\mathrm{Vol}_g(M^n)) $$ Here $C(K,n,D, \mathrm{Vol}_g(M^n))$ is a constant depending on the Ricci lower bound $-K$, dimension $n$, diameter $D$ of $M^n$ and the volume $\mathrm{Vol}_g(M^n))$, the point is that it does not depend on $i$. If the conditions given at the beginning are not sufficient, what are the other conditions one can put on $M^n$ for the uniform estimates to hold (or any example to show it never holds)?

Thanks in advance.

$\endgroup$

1 Answer 1

10
$\begingroup$

It seems unlikely that such a bound holds except in very special cases. For instance, it fails for round spheres, which have very large multiplicity of eigenvalues. In fact, for spheres the eigenvalue counting function has jumps of order $\lambda^{n-1}$. On a round 2-sphere, for a constant eigenvalue $\lambda $, the second term in your estimate will vary on order $\lambda$, which makes a uniform bound on the left hand side impossible.

For generic metrics where closed geodesics are "sparse," it's possible to strengthen the standard Weyl law, but the refinement isn't strong enough to give uniform bounds on the difference between eigenvalues and the asymptotic formula from Weyl's law. I believe the state of the art refinement of Weyl's law is due to Canzani and Galkowski, and their paper is a good reference. The relevant result is Theorem 7 on page 12.

$\endgroup$
3
  • $\begingroup$ That is very helpful, it is then a interesting question to see how does the second term in Weyl's law look like, i.e. let the eigenvalue counting function be $N(\lambda)$, what is the second term in the expansion of $N(\lambda)$? The reference give the order of the second term, can we also obtain the coefficient or have a estimate of the second term? If you also have any reference toward this direction it will be more helpful. Thanks a lot! $\endgroup$
    – WhiteDwarf
    Nov 29, 2020 at 6:25
  • $\begingroup$ @WhiteDwarf That's a good question. I think the higher order terms in the expansion of $N(\lambda)$ are likely to be very subtle. For instance, the term of order $\lambda^{n-1}$ seems to correspond to closed geodesics. In particular, when the set of unit tangent vectors whose geodesic flow is closed has zero measure, this term vanishes. $\endgroup$
    – Gabe K
    Nov 29, 2020 at 18:48
  • $\begingroup$ However, to get any quantitative improvement you need to use some involved microlocal analysis as was done in that paper. I also don't know how sharp the estimate is. It might be interesting to see if there are some hyperbolic surfaces whose spectrum is known to understand the higher order terms of the expansion. $\endgroup$
    – Gabe K
    Nov 29, 2020 at 18:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.