Mean Lindelöf hypothesis and equidistribution of cusp forms and Eisenstein series. (English) Zbl 0743.58034

Let \(H\) be the upper half plane, \(\Gamma\subset G=\text{PSL}_ 2(\mathbb R)\) a discrete cocompact subgroup, \(X=\Gamma\backslash H\) and \(\{\phi_ \lambda\}\) the eigenfunctions of the Laplace operator. Then \[ \frac 1{N(\lambda)}\sum_{\sqrt{-\lambda j}\leq \lambda}|(A\phi_ j,\phi_ j)-\bar\sigma_ A|@>>\lambda\to \infty> 0, \] where \(A\) is a 0th order pseudo-differential operator, \(\sigma_ A\) is the principal symbol, \(d\omega\) is the Liouville measure and \(\bar \sigma_ A=(1/\hbox{vol}(S^*X))\int_{S^*X}\sigma_ A d\omega\). The purpose of this paper is to generalize this uniform distribution theorem to finite area, non-compact hyperbolic surfaces \(X_ \Gamma\). Then \(L^ 2(\Gamma\backslash H)\) takes the form \(L^ 2(\Gamma\backslash H)={^ 0L^ 2}(\Gamma\backslash H)\oplus \Theta\), where \(^ 0L^ 2\) is the cuspidal subspace and \(\Theta=L^ 2_{\hbox{eis}}\oplus L^ 2_{\hbox{res}}\oplus\mathbb C\), \(L^ 2_{\hbox{eis}}\) is spanned by the Eisenstein series, \(L^ 2_{\hbox{res}}\) is a finite dimensional space spanned by residues of Eisenstein series at poles in \(]1/2,1[\) and \(\mathbb C\) denotes the constants. The author shows that the generic cusp function and the generic Eisenstein series tend to become uniformly distributed in the unit sphere bundle as the eigenvalues tend to infinity.


58J51 Relations between spectral theory and ergodic theory, e.g., quantum unique ergodicity
11M36 Selberg zeta functions and regularized determinants; applications to spectral theory, Dirichlet series, Eisenstein series, etc. (explicit formulas)
11F72 Spectral theory; trace formulas (e.g., that of Selberg)
Full Text: DOI


[2] de Verdière, Y. Colin, Ergodicité et fonctions propres du laplacien, Comm. Math. Phys., 102, 497-502 (1985) · Zbl 0592.58050
[3] de Verdière, Y. Colin, Quasi-modes, Invent. Math., 43, 15-52 (1977) · Zbl 0449.53040
[4] Deshouillers, J. M.; Iwaniec, H., The non-vanishing of Rankin-Selberg zetafunctions at spectial points, (Contemporary Math., Vol. 53 (1986), Amer. Math. Soc: Amer. Math. Soc Providence, RI) · Zbl 0595.10025
[5] Fay, J., Fourier coefficients of the resolvent for a Fuchsian group, J. Reine Angew. Math., 293, 143-203 (1977) · Zbl 0352.30012
[6] Gradshteyn, I. S.; Ryzhik, I. M., Table of Integrals, Series and Products (1980), Academic Press: Academic Press Sand Diego · Zbl 0521.33001
[7] Helgason, S., Groups and Geometric Analysis (1984), Academic Press: Academic Press San Diego
[8] Hörmander, L., The Analysis of Linear Partial Differential Operators I (1983), Springer-Verlag: Springer-Verlag Berlin
[9] Iwaniec, H., Prime Geodesic Theorem, J. Reine Angew. Math., 349, 136-159 (1984) · Zbl 0527.10021
[10] Iwaniec, H., Non-holomorphic modular forms and their applications, (Rankin, R., Modular Forms (1984), Wiley: Wiley New York) · Zbl 0558.10018
[11] Kubota, T., Elementary Theory of Eisenstein Series (1973), Kodansha Ltd: Kodansha Ltd Tokyo, and Wiley, New York · Zbl 0268.10012
[12] Lang, S., \( SL_2(R) (1975)\), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0311.22001
[13] Lewis, J., Eisenstein Series on the boundary of the Disk, (Thesis (1970), M.I.T. Univ. Press: M.I.T. Univ. Press Cambridge, MA)
[14] Phillips, R.; Sarnak, P., On Cusp forms for co-finite subgroups of the \(PSL_2(R)\), Invent. Math., 80, 339-364 (1984) · Zbl 0558.10017
[15] Sarnak, P., Asymptotic behaviour of periodic orbits of the horocycle flow and Eisenstein series, Comm. Pure Appl. Math., 34, 719-739 (1981) · Zbl 0501.58027
[16] Sarnak, P., On Cusp forms, Contemp. Math., 53 (1986) · Zbl 0707.11040
[17] Snirelman, A. I., Uspekhi Math. Nanuk, 29, 181-182 (1974)
[18] Taylor, M., Pseudo-Differential Operators (1981), Princeton Univ. Press: Princeton Univ. Press Princeton, NJ
[19] Venkov, A. B., Spectral theory of automorphic functions, (Proc. Steklov Inst. Math., 4 (1982)) · Zbl 0501.10029
[20] Zagier, D., Eisenstein series and the Selberg trace formula, (Automorphic Forms, Representation Theory and Arithmetic (1981), Springer-Verlag: Springer-Verlag New York), 305-355, Bombay, 1979
[21] Zagier, D., The Rankin-Selberg method for automorphic functions which are not of rapid decay, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 28, 415-439 (1981) · Zbl 0505.10011
[22] Zelditch, S., Uniform distribution of eigenfunctions on compact hyperbolic surfaces, Duke Math. J., 55, 919-941 (1987) · Zbl 0643.58029
[24] Zelditch, S., Pseudo-differential Operators, trace formulae, and the geodesic period of automorphic forms, Duke Math. J., 56, 295-344 (1988) · Zbl 0646.10024
[25] Zelditch, S., Pseudo-differential analysis on hyperbolic surfaces, J. Funct. Anal., 688, 72-105 (1986) · Zbl 0612.58048
[26] Zelditch, S., The averaging method and ergodic theory for pseudo-differential operators on compact hyperbolic surfaces, J. Funct. Anal., 82, 38-68 (1989) · Zbl 0693.58025
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.