Abstract
We obtain asymptotic formulae for the second discrete moments of the Riemann zeta function over arithmetic progressions \(\frac{1}{2} + i(a n + b)\). It reveals noticeable relation between the discrete moments and the continuous moment of the Riemann zeta function. Especially, when a is a positive integer, main terms of the formula are equal to those for the continuous mean value. The proof requires the rational approximation of \(e^{\pi k/a}\) for positive integers k.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
In this paper, we shall consider averages
This study is one of the attempts to enrich our knowledge on the vertical distribution of the values of the Riemann zeta function \(\zeta (s)\). Discrete moments of the Riemann zeta function have relation to the distribution of the zeros. Putnam [12] showed that there is no infinite arithmetic progression of non-trivial zeros of \(\zeta (s)\). In this direction, there is an important conjecture called the linear independence conjecture, which states that the ordinates of non-trivial zeros of \(\zeta (s)\) are linearly independent over \(\mathbb {Q}\). In 1942, Ingham [3] found out the relation between the linear independent conjecture and the oscillations of \(M(x) = \sum _{n \le x} \mu (n)\), where \(\mu (n)\) is the Möbius function. He showed that the linear independent conjecture implies the failure of the inequality \(M(x) \ll x^{1/2}\). For this reason, many mathematicians doubt this inequality.
We may need much more progress to solve the problem. However, we have an easier conjecture in this direction, that is, there are no non-trivial zeros of \(\zeta (s)\) in any arithmetic progression of length more than two. To consider this problem, discrete moments play an important role. Martin and Ng [7] attacked this conjecture for Dirichlet L-functions by considering some kinds of discrete means of Dirichlet L-functions. Later, Li and Radziwiłł [6] showed that at least one third of the values of the Riemann zeta function on arithmetic progression does not vanish. One of their results (Theorem 2) stated that we have, as \(T \rightarrow \infty \),
where \(\phi (\cdot )\) is a smooth compactly supported function with support in [1, 2], and
with \(r/s \ne 1\) denoting the smallest reduced fraction having a representation in the form \(e^{2\pi k/a}\) for some \(k>0\). This clarify the notable correspondence of discrete means to the continuous one. However, it is difficult to obtain asymptotic formula of the sum (1), since the error term depends on \(\phi \).
Özbek and Steuding [11] proved asymptotic formulae for the first discrete moment of \(\zeta (s)\) on certain vertical arithmetic progressions inside the critical strip. The first discrete moment have been studied recently by Özbek, Steuding and Wegert (see [13] and [10]). Especially, in [10], they showed that
where \(s_0\) may be any complex number with real part in (0, 1).
Remark 1
Good [2] proved asymptotic formulae for fourth moments of the Riemann zeta function on arbitrary arithmetic progressions to the right of the critical line. Namely, he showed that for \(\sigma >\frac{1}{2}\)
where d is not of the form \(2\pi l /\log (k_1/k_2)\) with integral \(l \ne 0\) and positive integers \(k_1 \ne k_2\).
Remark 2
van Frankenhuijsen [14] gave an explicit bound for the length of arithmetic progressions of non-trivial zeros of the Riemann zeta function.
The object of this paper is to prove asymptotic formulae for discrete mean-squares of the Riemann zeta function on vertical arithmetic progressions.
Theorem 1
Let a be a real number such that \(e^{2\pi k/a}\) is irrational for all positive integer k. We have, as \(T \rightarrow \infty \),
Moreover, when a is a positive integer with \(a = o((\log \log T)^{\varepsilon })\), we have
for any fixed \(A > 0\).
This should be compared with the continuous mean-square
where \(\gamma \) is Euler’s constant and E(T) is an error term. Theorem 1 reveals that the discrete mean values (3) equal to the continuous mean value as \(T \rightarrow \infty \) asymptotically.
Our starting point is the approximate functional equation of \(\zeta ^2(s)\)
where \(\chi (s) = 2^s \pi ^{s-1} \sin (\pi s/2)\Gamma (1-s)\) and \(R(s ; t/2\pi )\) is the error term. Motohashi [8, 9] proved that
where \(\Delta (t/2\pi )\) is the error term in the Dirichlet divisor problem, defined by
Here \(\sum '\) indicates that the last term is to be halved if x is an integer. We note that Jutila [5] gave another proof of Motohashi’s result (5).
The key step in our proof is to estimate the sum
where \(e(x):= \exp (2\pi i x)\). Bugeaud and Ivić [1] also studied a quite similar sum to evaluate the discrete mean value of E(T). Thus, the same problem arises in the discrete mean value of E(T) and discrete mean-squares of \(\zeta (s)\). They gave the upper bound
where \(C>0\) is some constant. In our proof, we improve this bound. By the hyperbola method, we obtain the upper bound derived from the exponential sum estimate. The estimate requires a rational approximation of \(e^{2\pi k/a}\) by Dirichlet’s approximation theorem. Moreover, in the case when a is a positive integer, we have a better estimate applying a result of Waldschmidt [15]. Finally, we apply the argument of Li and Radziwiłł [6] to calculate the sum (6). Consequently, we have
for any fixed \(A > 0\).
Remark 3
Bugeaud and Ivić [1] have asserted that
where, for some \(C>0\), unconditionally
By our improvement of the upper bound of (6), this upper bound is also improved to
for any fixed \(A>0\). Thus we can clarify that the term \(\pi x\) in (7) is the main term. Bugeaud and Ivić [1] suggested a conjecture on the upper bound. Now let
be the expansion of \(e^{\pi k}\) as a continued fraction for any non-zero integer k. From the result of Wilton [16], if \(a_n(k)\) satisfies \(a_n(k) \ll n^{1 + K} \ (K \ge 0)\), then
If this estimate is verified, we can improve the upper bound of H(x) and also Theorem 1 with \(a = 1\).
On the other hand, when \(e^{2\pi k_0/a}\) is rational for some \(k_0\), another main term appears.
Theorem 2
Let r, s be co-prime with \(r>2s\). Let a be a real number such that
for some positive integer \(k_0\). We have, as \(T \rightarrow \infty \),
Moreover, when \(k_0 = 1\), we have
In this case, the sum (6) turns out to be
Another main term comes from this sum.
2 The proof of Theorem 1.1
By (4), (5) and the functional equation \(\zeta (1-s) = \chi (1-s) \zeta (s)\), we have
It is known that \(\Delta (t) \ll t^{1/3+\varepsilon }\). Thus, taking \(s = 1/2 + it\), we have
Hence we consider
As for the error term, it is clear that
To consider the main term, we note the following formula
for fixed \(\sigma \) and \(t \ge 1\). Using this, we have
say. To obtain the second equality, we used
For the convenience, we put
and
To calculate \(S_1\) and \(S_2\), we use the saddle-point method.
2.1 An estimate of \(S_1\)
Since the first and second derivative of f(x) are
we have (see Proposition 8.7. in [4])
where \(\theta \) is any number with \(0 < \theta \le 1\). We choose \(\theta = a/2\pi (a + 1)\) and assume \(a > 2\pi /\log (T/\pi )\) hereafter. If \(a \le 2\pi /\log (T/\pi )\), we see that \(k = 0\) and then, the integral is \(\ll a^{-1}T^{1/2}\) by the second derivative test.
Here \(S_1\) can be rewritten as
We note that the saddle-point of \(g_k(x)\), \((2\pi me^{2\pi k/a} - b)/a\), is in \(((Te^{-2\pi \theta /a} - b)/a, (2Te^{2\pi \theta /a} - b)/a)\) by the condition in the inner sum. We divide the inner sum \(((T/2\pi )e^{-2\pi (k + \theta )/a}, (T/\pi )e^{-2\pi (k - \theta )/a})\) into the following five intervals:
-
1.
\(\left( \dfrac{T}{2\pi }e^{-2\pi (k + \theta )/a}, \dfrac{T}{2\pi }e^{-2\pi k/a} - c \right] \),
-
2.
\(\left( \dfrac{T}{2\pi }e^{-2\pi k/a} - c, \dfrac{T}{2\pi }e^{-2\pi k/a} + c \right) \),
-
3.
\(\left[ \dfrac{T}{2\pi }e^{-2\pi k/a} + c, \dfrac{T}{\pi }e^{-2\pi k/a} - c \right] \),
-
4.
\(\left( \dfrac{T}{\pi }e^{-2\pi k/a} - c, \dfrac{T}{\pi }e^{-2\pi k/a} + c \right) \),
-
5.
\(\left[ \dfrac{T}{\pi }e^{-2\pi k/a} + c, \dfrac{T}{\pi }e^{- 2\pi (k - \theta )/a} \right) \),
where \(c = c(a):= 1/4e(1+a)\). Since \(\theta = a/2\pi (a + 1)\), inequalities
and
are valid.
(i)
By the first derivative test, we have
and
Therefore, in this case, the contribution is
(v)
In a similar manner, we can see that the contribution of this case is \(\ll a^{-1}T^{1/2 + \varepsilon }\).
(ii), (iv)
First we note that the number of m in each interval is at most one and
By the second derivative test, we have
Hence we see that the contribution is
(iii)
In this case, the sum of k starts from 1. If \(k = 0\), then we have that \(T/2\pi + c < m\). However, this is impossible, because we consider the case \(m \le T/2\pi \). Using the saddle-point method (see for example Corollary 8.15. in [4]), we have
By the same argument as the case (i) and (v), we see that the contribution of the error term is \(\ll a^{-1}T^{1/2 + \varepsilon }\). Finally, we have to consider
However we see that
and when \((a/2\pi )\log (T/\pi ) \le k < (a/2\pi )\log (T/\pi ) +\theta \), the inner sum is an empty sum. Thus we calculate
In this section we consider the case when \(e^{2\pi k/a}\) is irrational for all positive integer k. In this case, we consider the sum
where \(\alpha = \alpha (k) = e^{2 \pi k/a}\). By the hyperbola method, we have
We can plainly see that the second term is \(\ll \sqrt{M}\).
As for the first sum, making use of the estimate
we obtain
Here, by Dirichlet’s approximation theorem, we can take integers \(p = p(k), q = q(k)\) such that \((p,q) = 1\), \(1 \le q \le \sqrt{M}\) and
In this situation, we have
Applying this estimate with \(M = T e^{-2\pi k/a}\), we see that the sum (10) is
We note that the condition (11) leads to \(p \asymp q\alpha \) and \(pq \gg \alpha \). Therefore we can find an A such that
By the condition (11), when T tends to infinity, for each k, p(k)q(k) does so. Thus
as \(T \rightarrow \infty \). We conclude that the sum (10) is \(o_{a}(T\log T)\) and so as \(S_1\).
Now we consider the special case when a is a positive integer. Then we can obtain better estimate, applying an inequality
due to Waldschmidt. By this bound, when the condition (11) is valid, we have
When \(k < (\log \log T)^{1+\varepsilon }\), we obtain \((\log p)(\log \log p) \gg \log T/(\log 2a)(\log \log T)^{\varepsilon }\), by the above inequality, and hence \(\log p \gg \log T/ (\log 2a)(\log \log T)^{1+\varepsilon }\). Therefore we find that
Thus, in this case, \(S_1\) is \(O(a^{-1}T(\log T)^{-A})\) for any fixed \(A>0\).
2.2 A contribution of \(S_2\)
As in the case of \(S_1\), we have
where \(\theta = a/2\pi (a + 1)\).
Since
the contribution of the error term is \(\ll T^{1/2} \log T \log (a\log T)\).
Finally, we calculate
When \(k = 0\), the above is
The saddle-point of f(x) is \((2\pi m - b)/a\), thus, the saddle-point method leads to
Therefore
When \(k \ne 0\), we have to calculate
but in a similar manner to the case of \(S_1\), we can see that the contribution of this case is
2.3 Conclusion
From the above, we can see that
and so,
where
Finally, replacing T by T/2, T/4, and so on, and adding we have
This completes the proof.
3 The proof of Theorem 2
Now we consider the case that \(e^{2\pi k_0/a}\) is rational for some \(k_0\). In this case, we can write
with relatively prime integers r and s and |r| minimal. Let l be the maximal positive integer such that \(r/s=(x/y)^l\) with r, s relatively prime. Then,
For each k divisible by \(k_0\), \(e^{2\pi k/a} = (r/s)^{k/k_0}\) is rational. On the other hand, k is not divisible by \(k_0\), \(e^{2\pi k/a} = (x/y)^{kl/k_0}\) is irrational since \(k_0 \not \mid l\). Therefore, the sum (10) can be divided as
When \(k_0=1\), the second sum is an empty sum, otherwise it is \(o_{a}(T\log T)\) as can be seen by repeating the same argument as in Case 1 of the proof of Theorem 1.
As for the first sum, we separate the outer sum into two parts as follows :
Using
we have
As for the other sum, since
we see that
Therefore, we obtain
As for \(S_2\), we have
When \(k_0=1\), by the condition of r and s, the double sum is empty, otherwise it is \(o_{a}(T\log T)\) as can be seen by repeating the same argument as in Case 1 of the proof of Theorem 1.
Data availibility
We do not analyse or generate any datasets, because ourwork proceedswithin a theoretical and mathematical approach.
References
Bugeaud, Y., Ivić, A.: Sums of the error term function in the mean square for \(\zeta (s)\). Monatsh. Math. 155(2), 107–118 (2008)
Good, A.: Diskrete Mittel für einige Zetafunktionen. J. Reine Angew. Math. 303(304), 51–73 (1978)
Ingham, A.E.: On Two Conjectures in the theory of Numbers. Am. J. Math. 64, 313–319 (1942)
Iwaniec, H., Kowalski, E.: ‘Analytic Number Theory’, Amer. Math. Soc. Colloq. Publ. 53, Amer. Math. Soc., Providence, RI (2004)
Jutila, M.: On the approximate functional equation for \(\zeta ^2(s)\) and other Dirichlet series. Quart. J. Math. Oxford Ser. (2) 37(146), 193–209 (1986)
Li, X., Radziwiłł, M.: The Riemann zeta function on vertical arithmetic progressions. Int. Math. Res. Not. IMRN 2, 325–354 (2015)
Martin, G., Ng, N.: Nonzero values of Dirichlet \(L\)-functions in vertical arithmetic progressions. Int. J. Number Theory 9(4), 813–843 (2013)
Motohashi, Y.: A note on the approximate functional equation for \(\zeta ^2(s)\). Proc. Jpn. Acad. Ser. A Math. Sci. 59(8), 393–396 (1983)
Motohashi, Y.: Lectures on the Riemann-Siegel formula. Colorado University, Ulam Seminar (1987)
Özbek, S.S., Steuding, J.: The values of the Riemann zeta-function on arithmetic progressions, Analytic and Probabilistic Methods in Number Theory, pp. 149–164. Vilnius Univ. Leidykla, Vilnius (2017)
Özbek, S.S., Steuding, J.: The values of the Riemann zeta-function on generalized arithmetic progressions. Arch. Math. (Basel) 112(1), 53–59 (2019)
Putnam, C.R.: On the Non-periodicity of the Zeros of the Riemann Zeta Function. Am. J. Math. 76, 97–99 (1954)
Steuding, J., Wegert, E.: The Riemann zeta function on arithmetic progressions. Exp. Math. 21(3), 235–240 (2012)
van Frankenhuijsen, M.: Arithmetic progressions of zeros of the Riemann zeta-function. J. Number Theory 115, 360–370 (2005)
Waldschmidt, M.: Simultaneous approximation of numbers connected with the exponential function. J. Austral. Math. Soc. Ser. A 25(4), 466–478 (1978)
Wilton, J.R.: An approximate functional equation with applications to a problem of Diophantine approximation. J. Reine Angew. Math. 169, 219–237 (1933)
Acknowledgements
The author would like to thank Professors Kohji Matsumoto and Yoonbok Lee for their helpful advice. The author is supported by Foundation of Research Fellows, The Mathematical Society of Japan.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no Conflict of interest.
Additional information
Communicated by Tim Browning.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kobayashi, H. Mean-square values of the Riemann zeta function on arithmetic progressions. Monatsh Math (2024). https://doi.org/10.1007/s00605-024-01996-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00605-024-01996-6