On certain sums over ordinates of zetazeros II
Abstract
Let denote the imaginary parts of complex zeros of . The problem of analytic continuation of the function to the left of the line is investigated, and its Laurent expansion at the pole is obtained. Estimates for the second moment on the critical line are revisited. This paper is a continuation of work begun by the second author in [9].
Dedicated to the memory of S. Srinivasan (1943 – 2005)
Saksman’s research was supported in part by the Lars Onsager Professorship at NTNU and in part by the Finnish Academy CoE “Analysis and Dynamics”. The research of Bondarenko and Seip was supported in part by Grant 227768 of the Research Council of Norway.

2010 Mathematics Subject Classification. 11M06
Keywords. Riemann zetafunction, Riemann hypothesis, analytic continuation, Laurent expansion, second moment
1. Introduction: the function
We will be concerned with the Dirichlet series
(1.0) 
where denotes the ordinates of the complex zeros of the Riemann zetafunction , counted as usual with multiplicities. Thus converges absolutely and represents a holomorphic function in the halfplane , in view of the classical Riemann–von Mangoldt formula
(1.0) 
for the zero counting function (see [8, p. 17] or [15, p. 214]). The condition in (1.) is natural, since the property ensures that is a zero of if is a zero.
The function is mentioned in the work of Delsarte [3] and, in a perfunctory way, in the works of Chakravarty [1, 2]. A related zeta function, namely
was studied by Fujii [4], but its properties are different from those of , and we shall not consider it here. Both Chakravarty and Delsarte (as well as Fujii) assume the Riemann hypothesis (that all complex zeros of satisfy ) when dealing with . Delsarte [3, p. 430] obtains its analytic continuation to by employing Poisson summation and a sort of a modular relation.
We discuss analytic continuation of Delsarte’s function in Section 2. We give a different proof of Delsarte’s result on the analytic continuation under the Riemann hypothesis. Moreover, we note that meromorphic extension to a larger halfplane would have strong consequences related to the density hypothesis. In Section 3., we provide an explicit Laurent expansion of at . Section 4. is devoted to estimating the second moment . There the growth of the second moment is connected explicitly to the fluctuations of the function (see (2.0) below), and we provide lower and upper bounds for the growth. Finally, in Section 5. we observe how the connection of to the “super zeta functions” studied in the monograph [16]^{1}^{1}1The study of such zeta functions goes back to Mellin [10] in 1916 and seems not to be widely known. leads to yet another approach to Delsarte’s result.
2. Analytic continuation of
The second author introduced and studied in [9]. Starting from the classical formula
(2.0) 
it was shown that, for and a suitable constant ,
(2.0) 
Here, if is not an ordinate of a zero,
(2.0) 
where the argument of is obtained by continuous variation of the argument of along the straight lines joining the points 2, , , starting with the value 0 at . If is an ordinate of a zero, then . The function is smooth and admits an asymptotic expansion in terms of negative odd powers of , namely for any given integer one has
(2.0) 
where the are explicit constants, and means that the implied constant depends only on . From (2.0)–(2.0) one obtains the analytic continuation of for .
Further analytic continuation will follow by integrating the integral in (2.0) by parts. This will give, for and a suitable constant ,
(2.0)  
since we have the (unconditional) bound (see [15, pp. 221–222])
(2.0) 
To study the analytic continuation of for we need some notation. Following [5], we define
and for ,
(2.0) 
where and
for every positive integer . When , we put
On the Riemann hypothesis, it is known that (see [15, pp. 350–354])
(2.0) 
Here means that the constant implied by the symbol depends only on . Note that
(2.0) 
Thus using (2.0) and (2.0), we see that
in (2.0) represents a meromorphic function in , which has simple poles at . Hence repeated integrations by parts of the last term in (2.0) show, on using (2.0), that under the Riemann hypothesis the function admits meromorphic continuation to . Its only poles are: (order two) and (order one).
We next look at what are the consequences if we do not assume the Riemann hypothesis to hold, but instead assume that admits a meromorphic continuation across the line . The integration by parts argument used in the preceding discussion implies in particular that then the function
(2.0) 
continues meromorphically across the same line. By [5, Theorem 3], we have
(2.0) 
where we have set . We therefore obtain that also the function
extends meromorphically across .
Now let as usual be the number of zeros with and . We may then write
Namely the righthand side above equals
By Selberg’s uniform density estimate [15, Theorem 9.19 (C)],
Now
Hence cannot have a pole at , and by our assumption it thus has to be analytic at . Then since is nonnegative and increasing, a classical theorem of Landau [14, Theorem 6, Chapter II.1] implies that there is such that
It follows from the definition of and the fact that is a decreasing function that for ,
(2.0) 
with the implicit constant depending only on . For close to , this assertion is stronger than the density hypothesis that .
We summarize the preceding discussion as follows:
Theorem 2.1
Unconditionally, has meromorphic continuation at least to ; it has only one pole in this halfplane, located at and of order two. If the Riemann hypothesis is true, then extends meromorphically to with additional poles that are all simple and located at . If continues meromorphically across , then the strong implication (2.0) holds for the density of the zeros off the critical line.
Remark 2.2
As noted in Section 1., the meromorphic continuation of to on the Riemann hypothesis was already obtained by Delsarte [3], but the above proof is simpler (see also Section 5. below). The last assertion of Theorem 2.1 indicates that establishing meromorphic continuation across the line is likely to be very difficult.
Notice that we may have meromorphic extension to the whole complex plane even if the Riemann hypothesis fails. This will for instance be the case if there are finitely many nontrivial zeros with . To see this, we write (2.0) in the form . Plugging this into (2.0), we see that the term gives rise to an additional simple pole at , while the term , by repeated integration by parts and use of [5, Theorem 1], yields an entire function.
An elaboration of this observation, along the lines of our discussion of possible meromorphic continuation across , shows that the distinctive feature of the meromorphic continuation obtained on the Riemann hypothesis is that will be analytic on the segment . This leads to the following statement.
Theorem 2.3
The Riemann hypothesis holds if and only if has meromorphic continuation to the halfplane with only two poles that are located at respectively and .
3. The Laurent expansion of at
From (2.0) one can obtain the (unconditional) Laurent expansion of at its pole . Namely, denoting for brevity, we have for ,
(3.0) 
say, with
(3.0) 
Here we could interchange integration and summation in view of absolute convergence; this follows from the bound which holds because . Writing the last expression in (2.0) as
and using (3.0), we obtain
Theorem 3.1
4. Estimates for the second moment
We will now provide upper and lower bounds for the second moment
thus continuing the investigations started in [9, Section 2]. To this end, we follow [9] and write
where
Integrating by parts, we get
(4.0) 
which to begin with is valid for , but which continues meromorphically for all . For , the integral on the righthand side of (4.0) may be written as , where . Hence elementary estimates and Parseval’s identity together with Selberg’s bound yield
Choosing we get
(4.0) 
As we will see in (4.0) below, when for some positive number . Hence the second moment of the partial sum yields the dominant term which needs to be studied in more detail.
Let be a symmetric function in satisfying^{2}^{2}2We may for example choose .
for all in . Let be an arbitrary subset of . We find that
Fix an arbitrary constant and replace by in the above computation. We obviously obtain an upper estimate up to a constant, but as , we infer that
(4.0)  
(4.0)  
As the parameter is arbitrary, we see that there is some flexibility in choosing the size of the “window” in (4.0) yielding the pairs of ordinates that contribute significantly to the second moment.
By considering only the diagonal in (4.0) and using the known average density of the ordinates, we obtain
(4.0) 
whenever for some exponent in .
Our next goal is to express (4.0) in terms of either of the functions and in the special case when . We start with the basic formula involving .
Lemma 4.1
Suppose that . Then
(4.0) 

We start from (4.0) in the form
(4.0) Here we discarded the condition that in the sum on the righthand side. The righthand side has thus been increased by a term of size which is admissible because the lefthand side is . We have also taken into account that implies .
Set and . We divide into intervals for ; it will be convenient to agree that For any real interval let denote the number of zeta zeros with ordinates in . Then for an arbitrary in we obtain
It follows that
On the other hand, we clearly have
Summing both the upper and lower estimates over and using (4.0), we get
(4.0) We may neglect the first interval and consider with . Divide each into three equally long subintervals. One of these three intervals contains at least ordinates, and there is then a subinterval of with such that for every in . Since for in we thus obtain
where the last inequality follows on noting that for interior points in . Summing over and using (4.0), we finally arrive at (4.0).
We may alternatively replace by in (4.0):
(4.0) 
Indeed, by (2.0), (4.0) implies that
Since the lefthand side is , we get that the second term on the righthand side can be removed. Since (2.0) implies that
it is also clear that (4.0) trivially implies
The above lemma as expressed by (4.0) shows that the asymptotics that we are interested in, depends crucially on the oscillations of in rather small intervals. To gain more insight into this asymptotics, we will next take a closer look at the size of the dyadic parts
Proposition 4.2
(i) Assume that . Then
(ii) Assume that Then

We may assume that is an integer. Divide the interval into subintervals for . By (4.0), arguing as in the proof of (4.0), we then get
(4.0) Since we know that , an application of the Cauchy–Schwarz inequality to (4.0) yields immmediately the lower bound To obtain the upper bound, we divide the ordinates in into 1separated sets, and apply the Montgomery–Vaughan inequality [11, Corollary 2] to each of the corresponding sums.
In the proof of the upper bound of part (ii), we will use the following lemma.
Lemma 4.3
There is a universal constant such that if for a subinterval of , then

By the Riemann–von Mangoldt formula, the assumption implies that
This implies that if , then in which case may choose a positive constant independent of such that the desired bound holds on the interval . On the other hand, if , then holds on the interval .

We divide the interval into the same subintervals as in the preceding case. The lower bound of part is again proved by the Cauchy–Schwarz inequality. Indeed, observing that the number of nonzero summands in the sum over is at most of order , we find that
We turn to the proof of the upper bound. To begin with, note that since , we have . This means that satisfies the condition of Lemma 4.3 whenever . This fact allows us to make the following construction. Let be the smallest such that , and let be the largest such that
Now choose and inductively such that is the smallest such that and while is the largest such that
We terminate this iteration when . We set
and notice that since
It is also clear, by the maximality of , that
(4.0) Plainly by the construction, since , all the ordinates in will be covered by the intervals , and we thus have
(4.0) Now, by a standard covering argument (see e.g. [6, Proof of Lemma 4.4]), we can find a subcollection of the intervals ^{3}^{3}3If is an interval, stands for the interval with same center and twice the length. such that no point in belongs to more than two intervals and such that the union of covers all the intervals . In particular, we have
Combining this with Lemma 4.3 and (4.0), we get
where in the last step we used the Cauchy–Schwarz inequality and Selberg’s mean value theorem^{4}^{4}4Alternatively, we could appeal to Ghosh’s asymptotic formula for the first moment of [7]. for . Recalling (4.0) and (4.0), we obtain the upper bound of part (ii).
As an immediate consequence of the preceding analysis, we now obtain a mean square estimate ^{5}^{5}5The upper bound was stated in [9] but with an incomplete proof. for the function on the critical line:
Theorem 4.4

We choose the length of the partial sum to be so that the contribution from the remainder term is given by (4.0). By (4.0) (or directly by (4.0)) there is quasiorthogonality between the dyadic parts of the sum (i.e., dyadic parts that are not adjacent are orthogonal with respect to a weighted norm, where the size of the weight is approximately ). We apply part (i) of Proposition 4.2 to suitable dyadic subintervals of and part (ii) to subintervals of . Summing over all these dyadic intervals, we obtain the desired upper bound. The lower bound is a consequence of (4.0) and (4.0).
We expect, partly in view of the very regular behavior of the ordinates predicted by the random matrix analogy, that the true order for dyadic summands is akin to something like
(4.0) 
We note that this prediction corresponds to the lower bounds in Proposition 4.2. This leads us to the following
Conjecture 4.5
Remark 4.6
On the Riemann hypothesis, we may split the sequence of ordinates in the range in sequences that are all separated with separation constant . Using again the Montgomery–Vaughan inequality, we then obtain the conjectured bound for the sum over in this restricted range, namely
5. On super zeta functions
In 1917 Mellin [10] considered a class of zeta functions that are defined by using the Riemann zeta zeros as the building block of new Dirichlet series. For example, he established meromorphic continuation to the whole complex plane for a class of such functions including the function
where the sum is taken over all nontrivial zeros of the Riemann zeta function. Voros has devoted a monograph [16] on generalisations of such functions, for which he coins the name super zeta functions^{6}^{6}6We urge the reader to take a look at Frankenhuijsen’s MathSciNet review of the book, where Serge Lang’s point of view of “climbing the ladder” is explained..
For the convenience of the reader, we now sketch a proof of the existence of a meromorphic extension of the function
(5.0) 
to the whole complex plane. This function is initially welldefined in the halfplane , as one sets for in , using the convention that is realvalued for real . We will will consider only with , although we could consider the more general case. However, our main interest lies in the case , which under the Riemann hypothesis yields another approach to Delsarte’s result. We refer to [16, Section 7] which contains a detailed discussion of the analytic continuation, and also note that [16, Appendix D] provides an English translation of Mellin’s work [10] which was originally written in German.
Clearly (5.0) defines a function analytic in the halfplane . Set and let be the “Hankel contour” going from below the real line to , where it follows the semicircle of radius centred at to the left of to , and then going back to . Then the integral
defines an entire function , by the rapid decay of . For , the contour can be moved into the left halfplane and towards in the usual way and therefore
(5.0) 
where as usual is the Hurwitz zeta function. The meromorphic continuation follows since the Hurwitz zeta function is known to be a meromorphic function in which is analytic in with a simple pole of residue at .
Remark 5.1
We notice that in the case , we may write