Jacob's ladders and the almost exact asymptotic representation of the Hardy-Littlewood integral

From MaRDI portal
Publication:650301



Abstract: In this paper we introduce a nonlinear integral equation such that the system of global solution to this equation represents a class of a very narrow beam at Toinfty (an analogue to the laser beam) and this sheaf of solutions leads to an almost-exact representation of the Hardy-Littlewood integral. The accuracy of our result is essentially better than the accuracy of related results of Balasubramanian, Heath-Brown and Ivic.


The ``Hardy-Littlewood integral in the title refers to the mean square of \(|\zeta(\frac{1}{2}+it)|\), where as usual \(\zeta(s)\) is the Riemann zeta-function. The author asserts that \[ \begin{aligned} \int_0^T |\zeta(\tfrac{1}{2}+it)|^2\,dt &= F(\phi(T)) + O\left(\frac{\log T}{T}\right)\cr F(y) &= \frac{y}{2}\log\left(\frac{y}{2}\right) + (c-\log(2\pi))\frac{y}{2} +c_0,\end{aligned} \leqno(1) \] where \(c = -\Gamma'(1)\) is Euler's constant, and \(c_0\) is another constant. The function \(\phi(y)\) belongs to a class of smooth functions satisfying an integral equation connecting the left-hand side of (1) to a similar integral containing the exponential function (this is the ``Jacob's ladder from the title of the paper). The author does not explicitly evaluate \(\phi(y)\) in terms of elementary functions, which would be very interesting. The problem of the mean square of \(|\zeta(\frac{1}{2}+it)|\) is a fundamental problem in the theory of the zeta-function (see e.g., the reviewer's monograph [Lectures on mean values of the Riemann zeta function. Berlin: Springer-Verlag (1991; Zbl 0758.11036)] and his paper with \textit{M. N. Huxley} [Bull., Cl. Sci. Math. Acad. Serbe Nat., Sci. Math. 134, No. 32, 13--32 (2007; Zbl 1239.11090)]). It is known that \[ \int_0^T |\zeta(\tfrac{1}{2}+it)|^2\,dt = T\log\Bigl({T\over2\pi}\Bigr) + (2c-1)T + E(T), \] where \(E(T) = \Omega(T^{1/4})\) and (this is due to \textit{N. Watt} [``A note on the mean square of \(|\zeta(\frac{1}{2}+it)|\), J. Lond. Math. Soc., II. Ser. 82, No. 2, 279--294 (2010; Zbl 1253.11082)] \[ E(T) \ll_\varepsilon T^{131/416+\varepsilon}\; \qquad\Bigl({131\over416} = 0.314903\ldots\Bigr). \] Any new information on the order of \(E(T)\) would be of great interest.











This page was built for publication: Jacob's ladders and the almost exact asymptotic representation of the Hardy-Littlewood integral

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q650301)