Reciprocity Theorems for Bettin–Conrey Sums

Reciprocity Theorems for Bettin–Conrey Sums

Juan S. Auli Department of Mathematics
Dartmouth College
Hanover, NH 03755
U.S.A.
juan.s.auli.gr@dartmouth.edu
Abdelmejid Bayad Abdelmejid Bayad
Université d’Évry Val d’Essonne
Laboratoire de Mathématiques et Modélisation d’Évry (CNRS-UMR 8071), I.B.G.B.I., 23 Bd. de France, 91037 Évry Cedex, France
abayad@maths.univ-evry.fr
 and  Matthias Beck Department of Mathematics
San Francisco State University
San Francisco, CA 94132
U.S.A.
mattbeck@sfsu.edu Dedicated to the memory of Tom M. Apostol
20 January 2017
Abstract.

Recent work of Bettin and Conrey on the period functions of Eisenstein series naturally gave rise to the Dedekind-like sum

where , and are positive coprime integers, and denotes the Hurwitz zeta function. We derive a new reciprocity theorem for these Bettin–Conrey sums, which in the case of an odd negative integer can be explicitly given in terms of Bernoulli numbers. This, in turn, implies explicit formulas for the period functions appearing in Bettin–Conrey’s work. We study generalizations of Bettin–Conrey sums involving zeta derivatives and multiple cotangent factors and relate these to special values of the Estermann zeta function.

Key words and phrases:
Dedekind sum, cotangent sum, Bettin–Conrey sum, reciprocity theorem, Hurwitz zeta function, period function, quantum modular form, Estermann zeta function.
2010 Mathematics Subject Classification:
Primary 11F20; Secondary 11L03, 11M35.

1. Introduction and Statement of Results

Our point of departure is recent work of Bettin and Conrey [9, 8] on the period functions of Eisenstein series. Their initial motivation was the derivation of an exact formula for the second moments of the Riemann zeta function, but their work naturally gave rise to a family of finite arithmetic sums of the form

where , and are positive coprime integers, and denotes the Hurwitz zeta function

initially defined for and meromorphically continued to the -plane. We call and its natural generalizations appearing below Bettin–Conrey sums.

There are two major motivations to study these sums. The first is that is essentially a Vasyunin sum, which in turn makes a critical appearance in the Nyman–Beurling–Báez-Duarte approach to the Riemann hypothesis through the twisted mean-square of the Riemann zeta function on the critical line (see, e.g., [6, 17]). Bettin–Conrey’s work, for , implies that there is a hidden symmetry of this mean-square.

The second motivation, and the central theme of our paper, is that the Bettin–Conrey sums satisfy a reciprocity theorem:

extends from its initiation domain to an (explicit) analytic function on , making nearly an example of a quantum modular form in the sense of Zagier [19]. In fact, Zagier’s “Example 0” is the Dedekind sum

which is, up to a trivial factor, . Dedekind sums first appeared in the transformation properties of the Dedekind eta function and satisfy the reciprocity theorem [11, 12]

We now recall the precise form of Bettin–Conrey’s reciprocity theorem.

Theorem 1.1 (Bettin–Conrey [8]).

If and are positive coprime integers then

where

and

Here denotes the Bernoulli number, is any integer , and the integral notation indicates that our integration path is over the vertical line .

We note that Bettin and Conrey initially defined through

in other words, is the period function of the Eisenstein series of weight ,

where , and then showed that satisfies the properties of Theorem 1.1.

We have several goals. We start by showing that the right-hand side of Theorem 1.1 can be simplified by employing an integration technique for Dedekind-like sums that goes back to Rademacher [12]. This yields our first main result:

Theorem 1.2.

Let and suppose and are positive coprime integers. Then for any ,

Theorem 1.2 implies that the function

has a holomorphic continuation to the whole complex plane. In particular, in this sense Theorem 1.2 can be extended to all complex .

Second, we employ Theorem 1.2 to show that in the case that is an odd negative integer, the right-hand side of the reciprocity theorem can be explicitly given in terms of Bernoulli numbers.

Theorem 1.3.

Let be an odd integer and suppose and are positive coprime integers. Then

Our third main result is, in turn, a consequence of Theorem 1.3: in conjunction with Theorem 1.1, it implies the following explicit formulas for and when is an odd negative integer.

Theorem 1.4.

If is an odd integer then for all

and

In [8, Theorem 2], Bettin and Conrey computed the Taylor series of and remarked that, if is a negative integer, is a rational polynomial in . Theorem 1.4 generalizes this remark. We will prove Theorems 1.21.4 in Section 2. We note that both Theorem 1.3 and 1.4 can also be derived directly from Theorem 1.1.

Our next goal is to study natural generalizations of . Taking a leaf from Zagier’s generalization of to higher-dimensional Dedekind sums [18] and its variation involving cotangent derivatives [10], let be positive integers such that for , let be nonnegative integers, a complex number, and define the generalized Bettin–Conrey sum

Here denotes the derivative of the Hurwitz zeta function with respect to .

This notation mimics that of Dedekind cotangent sums; note that

In Section 3, we will prove reciprocity theorems for generalized Bettin–Conrey sums, paralleling Theorems 1.2 and 1.3, as well as more special cases that give, we think, interesting identities.

Our final goal is to relate the particular generalized Bettin–Conrey sum

with evaluations of the Estermann zeta function at integers ; see Section 4.

2. Proofs of Main Results

In order to prove Theorem 1.2, we need two lemmas.

Lemma 2.1.

Let be a nonnegative integer. Then

Furthermore, this convergence is uniform with respect to in a fixed bounded interval.

Proof.

Since , we may estimate

Given that the rightmost term in this inequality vanishes as , we see that

Similarly, the inequality

implies that . Since

it follows that . Similarly,

implies that . We remark that and

so all the derivatives of have a factor, and therefore,

Since the convergence above is independent of , the limit is uniform with respect to in a fixed bounded interval. ∎

Lemma 2.1 implies that

uniformly with respect to in a fixed bounded interval.

The proof of the following lemma is hinted at by Apostol [4].

Lemma 2.2.

If and , then vanishes uniformly with respect to as .

Proof.

We begin by showing that vanishes as if . Since and , we have the integral representation [15, eq. 25.11.25]

which may be written as

(2.1)

Note that for fixed ,

and

so the Riemann–Lebesgue lemma (see, for example, [14, Theorem  16]) implies that

vanishes as . By (2.1), this means that for fixed, vanishes as . In other words, pointwise with respect to as .

Moreover, the vanishing of as is uniform with respect to . Indeed, denote , then (2.1) implies that

and

It then follows from the Riemann–Lebesgue lemma that . If , we may write

Since does not depend on , the speed at which vanishes depends on and . However, we know that , so the speed of the vanishing depends only on .

Finally, note that

so as , and the speed at which vanishes depends on that of . Thus, uniformly as , as long as . ∎

Proof of Theorem 1.2.

The idea is to use Cauchy’s residue theorem to integrate the function

along as , where denotes the positively oriented rectangle with vertices , , and , for and (see Figure 1).

Figure 1. The closed contour

Henceforth, is such that , is a pair of coprime positive intergers, and and are as above, unless otherwise stated. Since is analytic inside , the only poles of are those of the cotangent factors. Thus, the fact that and are coprime implies that a complete list of the possible poles of inside is

and each of these poles is (at most) simple, with the exception of 1, which is (at most) double. For ,

Of course, an analogous result is true for for all , and therefore

or, equivalently,

(2.2)

We now determine . The Laurent series of the cotangent function about 0 is given by

so, by the periodicity of , for in a small neighborhood of ,

and, similarly,

Since is analytic in a small neighborhood of , Taylor’s theorem implies that

where for (derivatives relative to ). Thus, the expansion of about 1 is of the form

Given that , we know that [15, eq. 25.11.17], so . We conclude that and it then follows from (2.2) that

(2.3)

We now turn to the computation of via Cauchy’s residue theorem, which together with (2.3) will provide the reciprocity we are after. Note that the function is analytic on any two closed contours and and since the poles inside these two contours are the same, we may apply Cauchy’s residue theorem to both contours and deduce that

In particular, this implies that

(2.4)

Let be the path along from to . Similarly, define from to , from to , and from to (see Figure 1). Since ,

and so the periodicity of implies that

Lemmas 2.1 and 2.2 imply that vanishes uniformly as (uniformity with respect to ) so

This means that

and it follows from (2.3) and (2.4) that

This completes the proof of Theorem 1.2. ∎

To prove Theorem 1.3, we now turn to the particular case in which is an odd integer and study Bettin–Conrey sums of the form .

Let denote the -th polygamma function (see, for example, [15, Sec. 5.15]). It is well known that for a positive integer,

whenever (see, for instance, [15, eq. 25.11.12]), so for , we may write

By the reflection formula for the polygamma functions [15, eq. 5.15.6],

we know that if is odd, then

for each . Therefore,

which implies that

This means that for odd, is essentially a Dedekind cotangent sum. Indeed, using the notation in [10],

Thus Theorem 1.3 is an instance of Theorem 1.2. Its significance is a reciprocity instance for Bettin–Conrey sums of the form in terms of Bernoulli numbers. For this reason we give the details of its proof.

Proof of Theorem 1.3.

We consider the closed contour defined as the positively oriented rectangle with vertices , , and , with indentations (to the right) of radius around 0 and 1 (see Figure 2).

Figure 2. The closed contour

Since contains the same poles of as the closed contour in Figure 1 used to prove Theorem 1.2, we may apply Cauchy’s residue theorem, letting , and we only need to determine in order to deduce a reciprocity law for the sums .

As in the case of , the integrals along the horizontal paths vanish, so using the periodicity of the cotangent to add integrals along parallel paths, as we did when considering , we obtain

(2.5)

where denotes the indented path around 0 and

Given that is an odd function, the vertical integrals cancel and we may apply Cauchy’s residue theorem to integrate along the positively oriented circle of radius and centered at 0, to deduce that

This is the main reason to use the contour instead of . Indeed, integration along exploits the parity of the function , allowing us to cancel the vertical integrals in (2.5).

The expansion of the cotangent function is

with the convention that must be redefined to be zero. Thus, we have the expansion

and of course, an analogous result holds for . Hence,

(2.6)

and given that [15, eq. 25.6.2], the Cauchy residue theorem and (2.3) yield

(2.7)

Finally, note that the convention is irrelevant in (2.7), since in this sum is always multiplied by a Bernoulli number with odd index larger than 1. ∎

Note that Theorem 1.3 is essentially the same as the reciprocity deduced by Apostol for Dedekind–Apostol sums [3]. This is a consequence of the fact that for an odd integer, is a multiple of the Dedekind–Apostol sum . Indeed, for such [4, Theorem  1]

It is worth mentioning that although the Dedekind–Apostol sum is trivial for even [3, eq. (4.13)], in the sense that is independent of , the Bettin–Conrey sum is not.

The following corollary is an immediate consequence of Theorems 1.2 and 1.3.

Corollary 2.3.

Let be an odd integer and suppose and are positive coprime integers, then for any ,

Proof of Theorem 1.4.

Given that , it follows from Theorems 1.1 and 1.3 that

(2.8)

The function