×

An explicit formula for the fourth power mean of the Riemann zeta- function. (English) Zbl 0784.11042

In this important paper the author establishes an explicit formula for \[ I(T,\Delta)= (\Delta\sqrt{\pi})^{-1} \int_{-\infty}^ \infty |\zeta ({\textstyle {1\over 2}}+iT+it)|^ 4 e^{-(t/\Delta)^ 2} dt \qquad (0<\Delta< T/\log T) \] by means of spectral theory, trace formula and Hecke series. The result was announced several years ago by the author [Proc. Japan Acad., Ser. A 65, 273-275 (1989; Zbl 0699.10055)], but the present paper contains a detailed proof of this fundamental result of zeta-function theory [see also Chapter 5 of the reviewer’s monograph “Lectures on mean values of the Riemann zeta- function” (Springer, 1991; Zbl 0758.11036)].
One first relates \(I(T,\Delta)\) to an integral of the product of four zeta-values [see the author’s work in Proc. Japan Acad., Ser. A 65, 143- 146 (1989; Zbl 0684.10036)], which is transformed into a sum of Kloosterman sums. Application of Kuznetsov’s trace formulas leads to spectral decomposition, which holds first in a restricted range of the relevant parameters. The crucial step in the proof is to obtain suitable analytic continuation, after which a specialization of the parameters is made. The final formula, which is too complicated to be reproduced here, is remarkably sharp, since it contains an error term which is \(\ll T^{- 1}\log^ 2 T\). Its direct corollary is that, for \(T^{1/2}< \Delta<T/\log T\), one has for some \(B>0\), \[ I(T,\Delta)= \pi(2T)^{-1/2} \sum_{j=1}^ \infty \alpha_ j H_ j^ 3 ({\textstyle {1\over 2}}) \kappa_ j^{-1/2} \sin \left(\kappa_ j \log {{\kappa_ j} \over {4eT}} \right) \exp \left(-\left( {{\Delta\kappa_ j} \over {2T}}\right)^ 2 \right)+ O(\log^ B T) \] in the standard notation of spectral theory: \(H_ j(s)\) is the Hecke \(L\)-series, \(\{\kappa_ j^ 2+{1\over 4}\}\) is the discrete spectrum of the non-Euclidean Laplacian and \(\alpha_ j= |\rho_ j(1)|^ 2 \text{ ch}(\pi\kappa_ j)^{-1}\).
However, the importance of the author’s result is best reflected in the fact that it can be used to derive results on \(E_ 2(T)\), the error term in the asymptotic formula for \(\int_ 0^ T |\zeta({1\over 2}+it)|^ 4 dt\). Using the formula for \(I(T,\Delta)\) and a result of the author on spectral mean values [J. Number Theory 42, 258-284 (1992; Zbl 0759.11026)] the author and the reviewer proved [Proc. Japan Acad., Ser. A 66, 150-152 (1990; Zbl 0688.10037) and “On the fourth power moment of the Riemann zeta-function”, J. Number Theory (in press)] that \(E_ 2(T)= \Omega(T^{1/2})\) (recently the author sharpened this to \(E_ 2(T)= \Omega_ \pm (T^{1/2}))\) and \(E_ 2(T)\ll T^{2/3} \log^ C T\).
In another joint paper [“The mean square of the error term for the fourth power moment of the zeta-function”, Proc. Lond. Math. Soc. (in press)] it is proved that \[ \int_ 0^ T E_ 2^ 2(t)dt \ll T^ 2 \log^ C T. \] Thus although \(I(T,\Delta)\) is a weighted integral, and not directly an integral of \(|\zeta({1\over 2}+it)|^ 4\), the author’s formula for \(I(T,\Delta)\) is of such strength that it permits one to extract from it quite precise results on \(E_ 2(T)\) and other related functions.
Reviewer: A.Ivić (Beograd)

MSC:

11M06 \(\zeta (s)\) and \(L(s, \chi)\)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Atkinson, F.V., The mean value of the Riemann zeta-function.Acta Math., 81 (1949), 353–376. · Zbl 0036.18603 · doi:10.1007/BF02395027
[2] Ivić, A.,The Riemann Zeta-function. John Wiley & Sons. Inc., New York, 1985. · Zbl 0556.10026
[3] Ivić, A. The Mean Values of the Riemann Zeta-function. Tata Inst. Fund. Res. Lectures on Math. and Phys., Bombay. To appear. · Zbl 0758.11036
[4] Ivić, A. & Motohashi, Y., On the fourth power moment of the Reimann zeta-function. To appear. · Zbl 0824.11048
[5] Ivić, A. & Motohashi, Y. The mean square of the error term for the fourth moment of the zeta-function. To appear. · Zbl 0805.11060
[6] Kuznetsov, N.V., Petersson’s conjecture for forms of zero weight, and Linnik’s conjecture. Preprint, Khabarovsk Complex Res. Inst. East Siberian Branch Acad. Sci. USSR, Khabarovsk, 1977. (Russian)
[7] – Petersson’s conjecture for cusp forms of weight zero and Linnik’s conjecture. Sums of Kloosterman sums.Math. USSR-Sb., 39 (1981), 299–342. · Zbl 0461.10017 · doi:10.1070/SM1981v039n03ABEH001518
[8] – Convolution of the Fourier coefficients of the Eisenstein-Maass series.Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI), 129 (1983), 43–84 (Russian) · Zbl 0496.10013
[9] Motohashi, Y., A note on the mean value of the zeta andL-functions. V.,Proc. Japan Acad. Ser. A Math. Sci., 62 (1986), 399–401. · Zbl 0613.10032 · doi:10.3792/pjaa.62.399
[10] Motohashi, Y. Lectures on the Riemann-Siegel formula, inUlam Seminar, Colorado Univ., Boulder, 1987.
[11] – A spectral decomposition of the product of four zeta-values.Proc. Japan Acad. Ser. A Math. Sci., 65 (1989), 143–146. · Zbl 0684.10036 · doi:10.3792/pjaa.65.143
[12] – A note on the mean value of the zeta andL-functions. VI.Proc. Japan Acad. Ser. A Math. Sci., 65 (1989), 273–275. · Zbl 0699.10055 · doi:10.3792/pjaa.65.273
[13] Motohashi, Y. Spectral mean values of Maass wave formL-functions. To appear inJ. Number Theory. · Zbl 0759.11026
[14] Motohashi, Y. The binary additive divisor problem. To appear. · Zbl 0819.11038
[15] Motohashi, Y. Kuznetsov’s trace formulas. Manuscript. · Zbl 0855.11025
[16] Zavorotnyi, N.I., On the fourth moment of the Riemann zeta-function. Preprint, Numerical Center DVCN, Akad. Nauk SSSR, Vladivostok, 1986.
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.