Moments M_k(T) of the Riemann zeta function are at most CT(log T)^(k^2+e)

You need to know: Complex number, absolute value |z| and real part \text{Re}(z) of complex number z, function of complex variable, meromorphic function, analytic continuation, integration.

Background: For a complex number z with \text{Re}(z)>1, let \zeta(z)=\sum\limits_{n=1}^\infty \frac{1}{n^z}. By analytic continuation, function \zeta(z) can be extended to a meromorphic function on the whole complex plane, and it is called a Riemann zeta function. The Riemann hypothesis states that if \zeta(z)=0 then either z=-2k for some integer k>0 or \text{Re}(z)=\frac{1}{2}. For k>0, function M_k(T) = \int_0^T |\zeta(1/2+it)|^{2k} dt is called a 2k-th moment of \zeta.

The Theorem: On 4th December 2006, Kannan Soundararajan submitted to the Annals of Mathematics a paper in which he, assuming the Riemann hypothesis, proved that for every k>0 and \epsilon>0 there is a constant C=C(k,\epsilon) such that inequality M_k(T) \leq C T(\log T)^{k^2+\epsilon} holds for all T>2.

Short context: Riemann zeta function \zeta is one of the most studied functions in mathematics, and the Riemann hypothesis (RH) is one of the most important open problems. One line of study related to \zeta is understanding the growth of moments M_k(T). It was known that (assuming RH) c_k T(\log T)^{k^2} \leq M_k(T) for some c_k>0 and the Theorem provides an almost (up to \epsilon) matching upper bound. In a later work, Harper (again assuming RH) improved the upper bound to M_k(T) \leq C_k T(\log T)^{k^2}, matching with the lower bound up to the constant factor.

Links: Free arxiv version of the original paper is here, journal version is here. See also Section 9.12 of this book for an accessible description of the Theorem.

Go to the list of all theorems

One thought on “Moments M_k(T) of the Riemann zeta function are at most CT(log T)^(k^2+e)

Leave a comment