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

Zelditch, Steven

J. Funct. Anal. 97, No. 1, 1-49 (1991).

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.

Reviewer: J.Eichhorn (Greifswald)

MSC:

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)

Keywords:

cusp forms; equidistribution; Eisenstein series

References:

[1]	P. Cohen and P. Sarnak; P. Cohen and P. Sarnak
[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 · Zbl 0543.58001
[8]	Hörmander, L., The Analysis of Linear Partial Differential Operators I (1983), Springer-Verlag: Springer-Verlag Berlin · Zbl 0521.35001
[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) · Zbl 0324.58020
[18]	Taylor, M., Pseudo-Differential Operators (1981), Princeton Univ. Press: Princeton Univ. Press Princeton, NJ · Zbl 0453.47026
[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 · Zbl 0484.10020
[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
[23]	S. ZelditchMem. AMS; S. ZelditchMem. AMS · Zbl 0753.11023
[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