Abstract
We derive a central limit theorem for the mean-square of random waves in the high-frequency limit over shrinking sets. Our proof applies to any compact Riemannian manifold of dimension 3 or higher, thanks to the universality of the local Weyl law. The key technical step is an estimate capturing some cancellation in a triple integral of Bessel functions, which we achieve using Gegenbauer’s addition formula.
Funding statement: Matthew de Courcy-Ireland thanks the Natural Sciences and Engineering Research Council of Canada for a PGS D grant [PGSD2-471570-2015]. Marius Lemm thanks the Institute for Advanced Study for its hospitality during the 2017–2018 academic year.
Acknowledgements
We thank Yaiza Canzani for helpful discussions about Weyl’s law. Matthew de Courcy-Ireland thanks Peter Sarnak for his advice, encouragement, and support over the course of this work. Marius Lemm thanks Rupert L. Frank for multiple stimulating discussions on the topic. We thank the anonymous referee for a careful reading of the paper and many constructive comments.
References
[1] N. Anantharaman, Entropy and the localization of eigenfunctions, Ann. of Math. (2) 168 (2008), no. 2, 435–475. 10.4007/annals.2008.168.435Search in Google Scholar
[2] N. Anantharaman and S. Nonnenmacher, Half-delocalization of eigenfunctions for the Laplacian on an Anosov manifold, Ann. Inst. Four. (Grenoble) 57 (2007), no. 6, 2465–2523. 10.5802/aif.2340Search in Google Scholar
[3] N. Anantharaman and L. Silberman, A Haar component for quantum limits on locally symmetric spaces, Israel J. Math. 195 (2013), no. 1, 393–447 10.1007/s11856-012-0133-xSearch in Google Scholar
[4] M. V. Berry, Regular and irregular semiclassical wavefunctions, J. Phys. A 10 (1977), no. 12, 2083–2091. 10.1142/9789813221215_0023Search in Google Scholar
[5] P. Billingsley, Probability and measure, 3rd ed., John Wiley & Sons, New York 1995. Search in Google Scholar
[6] J. Bourgain and E. Lindenstrauss, Entropy of quantum limits, Comm. Math. Phys. 233 (2003), no. 1, 153–171. 10.1007/s00220-002-0770-8Search in Google Scholar
[7] Y. Canzani and B. Hanin, Scaling limit for the kernel of the spectral projector and remainder estimates in the pointwise Weyl law, Anal. PDE 8 (2015), no. 7, 1707–1732. 10.2140/apde.2015.8.1707Search in Google Scholar
[8] Y. Colin de Verdière, Ergodicité et fonctions propres du laplacien, Comm. Math. Phys. 102 (1985), no. 3, 497–502. 10.1007/BF01209296Search in Google Scholar
[9] M. de Courcy-Ireland, Shrinking scale equidistribution for monochromatic random waves on compact manifolds, Int. Math. Res. Not. IMRN 2021 (2021), no. 4, 3021–3055. 10.1093/imrn/rnaa042Search in Google Scholar
[10] S. Dyatlov and L. Jin, Semiclassical measures on hyperbolic surfaces have full support, Acta Math. 220 (2018), no. 2, 297–339. 10.4310/ACTA.2018.v220.n2.a3Search in Google Scholar
[11] A. Erdélyi, W. Magnus, F. Oberhettinger and F. G. Tricomi, Higher transcendental functions. Vol. I, II, McGraw–Hill, New York 1953. Search in Google Scholar
[12] X. Han, Small scale equidistribution of random eigenbases, Comm. Math. Phys. 349 (2017), no. 1, 425–440. 10.1007/s00220-016-2597-8Search in Google Scholar
[13] X. Han and M. Tacy, Equidistribution of random waves on small balls, Comm. Math. Phys. 376 (2020), no. 3, 2351–2377. 10.1007/s00220-019-03628-9Search in Google Scholar
[14] R. Holowinsky, Sieving for mass equidistribution, Ann. of Math. (2) 172 (2010), no. 2, 1499–1516. 10.4007/annals.2010.172.1499Search in Google Scholar
[15] R. Holowinsky and K. Soundararajan, Mass equidistribution for Hecke eigenforms, Ann. of Math. (2) 172 (2010), no. 2, 1517–1528. 10.4007/annals.2010.172.1517Search in Google Scholar
[16] L. Hörmander, The spectral function of an elliptic operator, Acta Math. 121 (1968), 193–218. 10.1007/978-3-662-03030-1_4Search in Google Scholar
[17]
D. Jakobson,
Quantum unique ergodicity for Eisenstein series on
[18] V. F. Lazutkin, KAM Theory and semiclassical approximations to eigenfunctions, Ergeb. Math. Grenzgeb. (3) 24, Springer, Berlin 1993. 10.1007/978-3-642-76247-5Search in Google Scholar
[19]
E. Lindenstrauss,
On quantum unique ergodicity for
[20] E. Lindenstrauss, Invariant measures and arithmetic quantum unique ergodicity, Ann. of Math. (2) 163 (2006), no. 1, 165–219. 10.4007/annals.2006.163.165Search in Google Scholar
[21] F. W. J. Olver, Some new asymptotic expansions for Bessel functions of large orders, Proc. Cambridge Philos. Soc. 48 (1952), 414–427. 10.1017/S030500410002781XSearch in Google Scholar
[22] F. W. J. Olver, D. W. Lozier, R. F. Boisvert and C. W. Clark, NIST Handbook of mathematical functions, Cambridge University, Cambridge, 2010. Search in Google Scholar
[23] Z. Rudnick and P. Sarnak, The behaviour of eigenstates of arithmetic hyperbolic manifolds, Comm. Math. Phys. 161 (1994), no. 1, 195–213. 10.1007/BF02099418Search in Google Scholar
[24] A. I. Šnirelman, Ergodic properties of eigenfunctions, Uspehi Mat. Nauk 29 (1974), no. 6(180), 181–182. Search in Google Scholar
[25] G. Szegö, Orthogonal polynomials, Amer. Math. Soc. Colloq. Publ. 23, American Mathematical Society, Prpovidence 1939. Search in Google Scholar
[26] G. N. Watson, A treatise on the theory of Bessel functions, 2nd ed., Cambridge University, Cambridge 1944. Search in Google Scholar
[27] S. Zelditch, Uniform distribution of eigenfunctions on compact hyperbolic surfaces, Duke Math. J. 55 (1987), no. 4, 919–941. 10.1215/S0012-7094-87-05546-3Search in Google Scholar
© 2022 Walter de Gruyter GmbH, Berlin/Boston
Articles in the same Issue
- Frontmatter
- A central limit theorem for integrals of random waves
- Connectedness of Kisin varieties associated to absolutely irreducible Galois representations
- The Hilbert–Schinzel specialization property
- A mixed elliptic-parabolic boundary value problem coupling a harmonic-like map with a nonlinear spinor
- Isomorphisms among quantum Grothendieck rings and propagation of positivity
- The Neukirch–Uchida theorem with restricted ramification
- Perverse 𝔽p-sheaves on the affine Grassmannian
- Corrigendum to Intrinsic flat stability of the positive mass theorem for graphical hypersurfaces of Euclidean space (J. reine angew. Math. 727 (2017), 269–299)
Articles in the same Issue
- Frontmatter
- A central limit theorem for integrals of random waves
- Connectedness of Kisin varieties associated to absolutely irreducible Galois representations
- The Hilbert–Schinzel specialization property
- A mixed elliptic-parabolic boundary value problem coupling a harmonic-like map with a nonlinear spinor
- Isomorphisms among quantum Grothendieck rings and propagation of positivity
- The Neukirch–Uchida theorem with restricted ramification
- Perverse 𝔽p-sheaves on the affine Grassmannian
- Corrigendum to Intrinsic flat stability of the positive mass theorem for graphical hypersurfaces of Euclidean space (J. reine angew. Math. 727 (2017), 269–299)