, ,

<ph f="cmr"> </ph><ph f="cmbx">Determinations of Analogues of Gauss Sums and Other Trigonometric Sums</ph>

Matthias Beck, Bruce C. Berndt1, O-Yeat Chan, and Alexandru Zaharescu

Department of Mathematics, San Francisco State University, 1600 Holloway Ave, San Francisco, CA 94132 Department of Mathematics, University of Illinois, 1409 West Green Street, Urbana, IL 61801, USA E-mail address : beck@math.sfsu.edu E-mail address : berndt@math.uiuc.edu E-mail address : ochan@math.uiuc.edu E-mail address : zaharesc@math.uiuc.edu

DETERMINATIONS OF ANALOGUES OF GAUSS SUMS AND OTHER TRIGONOMETRIC SUMS MATTHIAS BECK, BRUCE C. BERNDT¹ ² , O-YEAT CHAN³ , and ALEXANDRU ZAHARESCU

Abstract. Explicit evaluations of several classes of trigonometric sums in closed form are given.

These sums can be viewed as analogues or generalizations of Gauss sums. In a previous paper, two of the present authors considered primarily sine sums associated with primitive odd characters. In this paper, we establish two general theorems involving both sines and cosines, with more attention given to cosine sums in special cases.

2000 AMS Classification Numbers: Primary, 11L03; Secondary, 11R29, 11L10.

1 Introduction

Motivated by two trigonometric identities

\begin{matrix} \frac{sin (2 π / 7)}{{sin}^{2} (3 π / 7)} - \frac{sin (π / 7)}{{sin}^{2} (2 π / 7)} + \frac{sin (3 π / 7)}{{sin}^{2} (π / 7)} = 2 \sqrt{7} \end{matrix}

(1.1)

and

\begin{matrix} \frac{{sin}^{2} (3 π / 7)}{sin (2 π / 7)} - \frac{{sin}^{2} (2 π / 7)}{sin (π / 7)} + \frac{{sin}^{2} (π / 7)}{sin (3 π / 7)} = 0, \end{matrix}

(1.2)

discovered by Berndt and L.–C. Zhang [4] as corollaries of two theta-function identities in Ramanujan's notebooks [8] , and also motivated by further identities found by Z.–G. Liu [7,pp. 107–108] , Berndt and Zaharescu [3] evaluated large classes of trigonometric sums in terms of class numbers of imaginary quadratic fields. As an illustration, we begin by offering one of these general theorems and one of its corollaries.

Theorem 1.1. Let

χ

denote an odd, real, non-principal, primitive character of modulus

k

, where

k

is odd and

k \geq 7

. Let

\begin{matrix} S_{1} (k, χ, a, b) : = \sum_{0 < n < k / 2} χ (n) \frac{{sin}^{a} (b π n / k)}{{sin}^{a + 1} (π n / k)}, \end{matrix}

(1.3)

where

a

and

b

are positive integers with

a

odd,

b

even, and

a b - a - 3 < 2 k

Define

\begin{matrix} C_{a, b} : = \sum_{n, m, r \geq 0 n + b m + r = (a b - a - 1) / 2} (- 1)^{m} χ (n) (\binom{a}{m}) (\binom{a + r}{r}) . \end{matrix}

(1.4)

Then

\begin{matrix} S_{1} (k, χ, a, b) = \sqrt{k} (b^{a} h (- k) - 2 C_{a, b}), \end{matrix}

(1.5)

where

h (- k)

denotes the class number of the imaginary quadratic field

Q (\sqrt{- k})

The requirement

a b - a - 3 < 2 k

is technical; we could dispense with this condition, but then

C_{a, b}

would have to be replaced by a more complicated sum.

Corollary 1.2. If

χ

is given as above, then

\begin{matrix} \sum_{0 < n < k / 2} χ (n) \frac{sin (4 π n / k)}{{sin}^{2} (π n / k)} = \sqrt{k} (4 h (- k) - 2) . \end{matrix}

(1.6)

The evaluation 1.1 is the special case of 1.6 when

k = 7

and

χ (n)

is the Legendre symbol

(\frac{n}{7})

The proofs in [3] depend on contour integration and elementary properties of Gauss sums.

While sums involving powers of the sine function, odd characters, and class numbers of imaginary quadratic fields are the focus of [3] , in this paper we consider sums with both sines and cosines, and sums involving either odd or even characters. Some of our main theorems are for odd characters, and others are for even characters. Although some of our evaluations can be expressed in terms of class numbers in special cases, we do not emphasize such instances in the present paper.

Before embarking on the proofs of our general theorems, we thought it best to begin with the evaluation of a class of cosine sums associated with even characters. Thus, in Section 2 , we alter our ideas from [3] to evaluate a large class of trigonometric sums involving even characters.

In Section 3 , we establish our main general theorems, while in the following section we apply the aforementioned results and prove two principal general theorems on sums of trigonometric functions. We also offer several corollaries.

Some of the identities found by Liu [7] are not associated with characters. In Section 5 , we evaluate a large class of trigonometric sums which includes four of Liu's identities.

We close the introduction by recording those properties of Gauss sums that are used in the sequel. Throughout this paper,

χ

denotes a non-principal, real, primitive character modulo

k

, where

k

is an odd positive integer at least equal to 3. Define the Gauss sum

G (z, χ)

for any complex number

z

\begin{matrix} G (z, χ) : = \sum_{j = 0}^{k - 1} χ (j) e^{2 π i j z / k} . \end{matrix}

(1.7)

Then, for each integer

n

, we have the factorization theorem [2,p. 9,Thm. 1.1.3]

\begin{matrix} G (n, χ) = χ (n) G (1, χ) = : χ (n) G (χ) . \end{matrix}

(1.8)

In fact, 1.8 characterizes real primitive characters, i.e., 1.8 holds if and only if

χ

is real and primitive [1,p. 482,Thm. 1] , [6,pp. 65–66] . We need Gauss's famous evaluation [5,p. 349,Thm. 7] , [2,p. 22,Thm. 1.3.4]

\begin{matrix} G (χ) = {\begin{matrix} \sqrt{k}, & if χ is even \\ i \sqrt{k}, & if χ is odd . \end{matrix} \end{matrix}

(1.9)

In the sequel,

R_{α} (f) = R_{α}

denotes the residue of a meromorphic function

f

at a pole

α

2 Trigonometric Sums Associated with Even Characters

At the outset, we remark that we consider less general functions in Theorem 2.1 than we did for the corresponding theorem in [3] , because otherwise the computations of residues would have been more cumbersome and the results less elegant.

Theorem 2.1. Let

χ

be a real, non-principal, even, primitive character of modulus

k

, where

k

is odd. For each nonnegative integer

a

and even positive integer

b

, define

\begin{matrix} S_{1} (a, b, χ) : = \sum_{0 < n < k / 2} χ (n) \frac{{cos}^{a} (b π n / k)}{{cos}^{2} (π n / k)} \end{matrix}

(2.1)

and

\begin{matrix} E (a, b, χ) : = \frac{1}{2^{a - 2}} \sum_{n, j, r \geq 02 (n + j + b r) = a b} (- 1)^{j} j χ (n) (\binom{a}{r}), \end{matrix}

(2.2)

where the sum is over all nonnegative integers

n

j

, and

r

satisfying the condition

2 (n + j + b r) = a b

. Also, set

\begin{matrix} g (χ) : = \sum_{j = 1}^{k - 1} (- 1)^{j} j χ (j) . \end{matrix}

(2.3)

Then,

\begin{matrix} S_{1} (a, b, χ) = - \sqrt{k} ((- 1)^{a b / 2} g (χ) + E (a, b, χ)) . \end{matrix}

(2.4)

Proof. For

N > 0

, let

C_{N}

denote the positively oriented indented rectangle with horizontal sides through

\pm i N

and vertical sides through

0

and

k

. On the left side of

C_{N}

, there is a semicircular indentation

I_{0}

of radius less than

1

centered at

0

and to its left. On the right side of

C_{N}

, the semicircular indentation comprises the points

I_{0} + k

Consider the meromorphic function

\begin{matrix} f (z) = \frac{G (z, χ)}{G (χ)} \frac{{cos}^{a} (b π z / k)}{{cos}^{2} (π z / k)} \frac{1}{e^{2 π i z} - 1} . \end{matrix}

(2.5)

We shall integrate

f (z)

over the contour

C_{N}

, on the interior of which the function

f (z)

has simple poles (at most) at

z = 1, 2, . . ., k - 1

. Also on the interior of

C_{N}

f (z)

has a simple pole at

z = k / 2

. This pole is simple because

k

is odd and because

G (k / 2, χ) = 0

. To see this, use 1.7 , replace

j

k - j

, and recall that

χ

is even. We thus find that

G (k / 2, χ) = - G (k / 2, χ)

, i.e.,

G (k / 2, χ) = 0

. Lastly, since

G (0, χ) = 0

f (z)

does not have a pole at

z = 0

We first calculate the residues of the poles of

f (z)

on the interior of

C_{N}

. Using 1.8 , we easily find that for each positive integer

n

\begin{matrix} R_{n} = \frac{G (n, χ)}{G (χ)} \frac{{cos}^{a} (b π n / k)}{{cos}^{2} (π n / k)} \frac{1}{2 π i} = \frac{χ (n)}{2 π i} \frac{{cos}^{a} (b π n / k)}{{cos}^{2} (π n / k)} \end{matrix}

(2.6)

and

\begin{matrix} R_{k - n} = \frac{G (k - n, χ)}{G (χ)} \frac{{cos}^{a} (b π (k - n) / k)}{{cos}^{2} (π (k - n) / k)} \frac{1}{2 π i} = R_{n}, \end{matrix}

(2.7)

because

χ

and

b

are even. Secondly, using 1.9 , we readily find that

\begin{matrix} R_{k / 2} & = {lim}_{z \to k / 2} \frac{1}{G (χ)} \frac{G (z, χ)}{cos (π z / k)} \frac{z - k / 2}{cos (π z / k)} \frac{{cos}^{a} (b π z / k)}{e^{2 π i z} - 1} \end{matrix}

\begin{matrix} = - \frac{(- 1)^{a b / 2} \sqrt{k} i}{π} \sum_{j = 1}^{k - 1} (- 1)^{j} j χ (j) \end{matrix}

\begin{matrix} = - \frac{(- 1)^{a b / 2} \sqrt{k} i}{π} g (χ), \end{matrix}

(2.8)

\begin{matrix}  \end{matrix}

by 2.3 . Hence, by the residue theorem, 2.6 – 2.8 , and 2.1 ,

\begin{matrix} \int_{C_{N}} f (z) d z = 2 (- 1)^{a b / 2} \sqrt{k} g (χ) + 2 S_{1} (a, b, χ) . \end{matrix}

(2.9)

Next, we let

N \to \infty

in order to calculate directly the integral in 2.9 . Firstly, observe from 2.5 that because

b

is even,

f (z)

has period

k

, and so the integrals over the indented vertical sides of

C_{N}

cancel. Secondly, examine the integral over the top horizontal side

C_{N T}

C_{N}

. Set

z = x + i N

0 \leq x \leq k

, and

\begin{matrix} μ : = e^{2 π i z / k} = e^{- 2 π N / k} e^{2 π i x / k} . \end{matrix}

(2.10)

Then, by 1.7 ,

\begin{matrix} \frac{G (z, χ)}{e^{2 π i z} - 1} & = (\sum_{j = 0}^{k - 1} χ (j) μ^{j}) (- \sum_{n = 0}^{\infty} μ^{k n}) = - \sum_{n = 0}^{\infty} \sum_{j = 0}^{k - 1} χ (j) μ^{k n + j} \end{matrix}

\begin{matrix} = - \sum_{n = 0}^{\infty} \sum_{j = 0}^{k - 1} χ (k n + j) μ^{k n + j} = - \sum_{m = 0}^{\infty} χ (m) μ^{m}, \end{matrix}

(2.11)

\begin{matrix} {cos}^{a} (b π z / k) & = {(\frac{μ^{b / 2} + μ^{- b / 2}}{2})}^{a} = \frac{1}{2^{a}} μ^{- a b / 2} (1 + μ^{b})^{a} = \frac{1}{2^{a}} μ^{- a b / 2} \sum_{r = 0}^{a} (\binom{a}{r}) μ^{b r}, \end{matrix}

(2.12)

\begin{matrix} and {cos}^{- 2} (π z / k) & = \frac{4}{μ^{- 1} (1 + μ)^{2}} = 4 \sum_{j = 1}^{\infty} (- 1)^{j - 1} j μ^{j} . \end{matrix}

(2.13)

\begin{matrix}  \end{matrix}

Thus,

f (z)

has the form

\begin{matrix} f (z) = f (x + i N) = \sum_{n = - a b / 2}^{0} c_{n} μ^{n} + \sum_{n = 1}^{\infty} c_{n} μ^{n} \end{matrix}

(2.14)

for some constants

c_{n}

, along the top horizontal side

C_{N T}

. Observe that we can ignore the terms of the form

c_{n} μ^{n}

with

n > 0

, since their contributions to the integral of

f (z)

over

C_{N T}

tend to 0 as

N

tends to

\infty

(recall that

| μ | = e^{- 2 π N / k}

). Thus, we truncate 2.14 , keeping only the first sum in 2.14 , and integrate termwise. Since, for

n \neq 0

\begin{matrix} \int_{k}^{0} μ^{n} d x = 0, \end{matrix}

(2.15)

we find that

\begin{matrix} \int_{C_{N T}} f (z) d z = - k c_{0} . \end{matrix}

(2.16)

Since

f (z)

is an odd function with period

k

, we find that

\begin{matrix} \int_{C_{N T}} f (z) d z & = \int_{z = k + i N}^{z = i N} f (z) d z = - \int_{- z = - k - i N}^{- z = - i N} f (- z) d z \end{matrix}

\begin{matrix} = \int_{u = - k - i N}^{u = - i N} f (u) d u = \int_{u = - i N}^{u = k - i N} f (u) d u = \int_{C_{N B}} f (z) d z, \end{matrix}

(2.17)

\begin{matrix}  \end{matrix}

where

C_{N B}

is the lower horizontal path of

C_{N}

. Thus, by 2.9 and 2.16 , we conclude that

\begin{matrix} - 2 k c_{0} = 2 (- 1)^{a b / 2} \sqrt{k} g (χ) + 2 S_{1} (a, b, χ), \end{matrix}

(2.18)

where

c_{0}

is defined in 2.14 . To compute

c_{0}

, we utilize 2.11 – 2.13 and the definition 2.5 of

f

to find that along

C_{N T}

\begin{matrix} f (z) & = - \frac{1}{G (χ)} \frac{μ^{- a b / 2}}{2^{a - 2}} \sum_{n = 0}^{\infty} χ (n) μ^{n} \sum_{r = 0}^{a} (\binom{a}{r}) μ^{b r} \sum_{j = 1}^{\infty} (- 1)^{j - 1} j μ^{j} . \end{matrix}

(2.19)

\begin{matrix}  \end{matrix}

The constant term in 2.19 is equal to

\begin{matrix} c_{0} = \frac{1}{2^{a - 2} G (χ)} \sum_{n, j, r \geq 0 n + j + b r = a b / 2} (- 1)^{j} j χ (n) (\binom{a}{r}) = \frac{1}{\sqrt{k}} E (a, b, χ), \end{matrix}

(2.20)

by 1.9 and 2.2 . Hence, from 2.18 and 2.20 , we deduce that

- 2 k c_{0} = - 2 \sqrt{k} E (a, b, χ) = 2 (- 1)^{a b / 2} \sqrt{k} g (χ) + 2 S_{1} (a, b, χ),

which completes the proof of Theorem 2.1 . □

We state the special case

a = 1

as a separate corollary.

Corollary 2.2. Let

b

be a positive even integer, and assume that

χ

satisfies the conditions of Theorem 2.1 . Let

\begin{matrix} E (b, χ) : = 2 \sum_{n, j \geq 12 n + 2 j = b} (- 1)^{j} j χ (n) . \end{matrix}

(2.21)

Then

\begin{matrix} \sum_{0 < n < k / 2} χ (n) \frac{cos (b π n / k)}{{cos}^{2} (π n / k)} = - \sqrt{k} ((- 1)^{b / 2} g (χ) + E (b, χ)) . \end{matrix}

(2.22)

In particular, if

b = 2

, then

E (2, χ) = 0

. We thus deduce the following corollary of Corollary 2.2 .

Corollary 2.3. For

χ

as above,

\begin{matrix} \sum_{0 < n < k / 2} χ (n) \frac{cos (2 π n / k)}{{cos}^{2} (π n / k)} = g (χ) \sqrt{k} . \end{matrix}

(2.23)

In particular, from 2.3 , we note that

g (χ)

is an integer, and so 2.23 is an analogue of Gauss's theorem 1.9 for even

χ

, namely,

\begin{matrix} \sum_{n = 1}^{k - 1} χ (n) cos (2 π n / k) = \sqrt{k} . \end{matrix}

(2.24)

Letting

k = 5

in 2.23 and noting that

g (χ) = 4

, we find that

\begin{matrix} \frac{cos (2 π / 5)}{{cos}^{2} (π / 5)} + \frac{cos (π / 5)}{{cos}^{2} (2 π / 5)} = 4 \sqrt{5} . \end{matrix}

(2.25)

Of course, since

\begin{matrix} cos (\frac{π}{5}) = \frac{\sqrt{5} + 1}{4} and cos (\frac{2 π}{5}) = \frac{\sqrt{5} - 1}{4}, \end{matrix}

(2.26)

2.25 may be easily verified directly.

3 A General Theorem

k

is an odd positive integer, let

χ_{o} (n)

be a real, odd, non-principal, primitive character of period

k

, and let

χ_{e} (n)

be a real, even, non-principal, primitive character of period

k

. Define

\begin{matrix} H_{o} (z) & : = \frac{G (z; χ_{o})}{G (χ_{o})} \frac{1}{e^{2 π i z} - 1}, \end{matrix}

\begin{matrix} H_{e} (z) & : = \frac{G (z; χ_{e})}{G (χ_{e})} \frac{1}{e^{2 π i z} - 1} . \end{matrix}

\begin{matrix}  \end{matrix}

Theorem 3.1. Let

k

χ_{o}

χ_{e}

H_{o}

, and

H_{e}

be as above, and let

f_{o} (z)

and

f_{e} (z)

be meromorphic functions satisfying the following properties:

(i) $f_{o} (z) = f_{o} (z + k)$ and $f_{e} (z) = f_{e} (z + k)$ for all $z \in C$ ,
(ii) $f_{o} (- z) = - f_{o} (z)$ and $f_{e} (- z) = f_{e} (z)$ for all $z \in C$ ,
(iii) $f_{o} (z)$ and $f_{e} (z)$ are analytic for $Im (z) \neq 0$ as well as at integers not divisible by $k$ ,
(iv) $f_{o}$ and $f_{e}$ have poles at the points $z_{1}^{o}, . . ., z_{M}^{o}$ and $z_{1}^{e}, . . ., z_{M^{'}}^{e}$ , respectively,

(v)

f_{o} (z)

and

f_{e} (z)

have Fourier expansions of the form

\begin{matrix} f_{o} (z) & = \sum_{m = - D}^{\infty} A_{m} e^{2 π i m z / k}, \end{matrix}

(3.1)

\begin{matrix} f_{e} (z) & = \sum_{m = - D^{'}}^{\infty} B_{m} e^{2 π i m z / k} \end{matrix}

(3.2)

\begin{matrix}  \end{matrix}

in the upper half-plane.

Then,

\begin{matrix} \sum_{0 < n < k / 2} χ_{o} (n) f_{o} (n) = - i \sqrt{k} \sum_{m = 0}^{D} χ_{o} (m) A_{- m} - π i \sum_{m = 1}^{M} R_{z_{m}^{o}} (H_{o} f_{o}) - π i R_{0} (H_{o} f_{o}) \end{matrix}

(3.3)

and

\begin{matrix} \sum_{0 < n < k / 2} χ_{e} (n) f_{e} (n) = \sqrt{k} \sum_{m = 0}^{D^{'}} χ_{e} (m) B_{- m} - π i \sum_{m = 1}^{M^{'}} R_{z_{m}^{e}} (H_{e} f_{e}) - π i R_{0} (H_{e} f_{e}) . \end{matrix}

(3.4)

Proof. We prove 3.3 ; the proof of 3.4 is similar.

Note that

\begin{matrix} H_{o} (- z) & = \frac{\sum_{j = 1}^{k - 1} χ_{o} (j) e^{2 π i j (- z) / k}}{G (χ_{o})} \frac{- e^{2 π i z}}{e^{2 π i z} - 1} \end{matrix}

\begin{matrix} = \frac{- \sum_{j = 1}^{k - 1} χ_{o} (j) e^{2 π i (k - j) z / k}}{G (χ_{o}) (e^{2 π i z} - 1)} \end{matrix}

\begin{matrix} = \frac{\sum_{j = 1}^{k - 1} χ_{o} (k - j) e^{2 π i (k - j) z / k}}{G (χ_{o}) (e^{2 π i z} - 1)} \end{matrix}

\begin{matrix} = H_{o} (z) . \end{matrix}

\begin{matrix}  \end{matrix}

Thus, the function

F_{o} (z) : = H_{o} (z) f_{o} (z)

is an odd function with period

k

. This function has poles at

z_{1}^{o}, . . ., z_{M}^{o}

, and (at most) simple poles at the points

z = 1, . . ., k - 1

. It also may have a pole at

z = 0

. Let

C_{N}

denote the same positively oriented indented rectangle as in Theorem 2.1 . Hence, by the residue theorem,

\begin{matrix} \frac{1}{2 π i} \int_{C_{N}} F_{o} (z) d z = \sum_{j = 1}^{k - 1} R_{j} (F_{o}) + \sum_{m = 1}^{M} R_{z_{m}^{o}} (F_{o}) + R_{0} (F_{o}) . \end{matrix}

(3.5)

We first compute the residues at the integers

z = 1, . . ., k - 1

. Since these are (at most) simple poles, the residue at

z = j

is given by

R_{j} (F_{o}) = {lim}_{z \to j} (z - j) F_{o} (z) = {lim}_{z \to j} \frac{G (z; χ_{o})}{G (χ_{o})} f_{o} (z) \frac{z - j}{e^{2 π i z} - 1} = \frac{1}{2 π i} χ_{o} (j) f_{o} (j),

where we have used 1.8 in the last step. By the oddness and periodicity of

χ_{o}

and

f_{o}

, we find that

\begin{matrix} \sum_{j = 1}^{k - 1} R_{j} (F_{o}) = \sum_{j = 1}^{k - 1} \frac{1}{2 π i} χ_{o} (j) f_{o} (j) = \frac{1}{π i} \sum_{1 \leq j < k / 2} χ_{o} (j) f_{o} (j) . \end{matrix}

(3.6)

Secondly, we evaluate the integral on the left-hand side of 3.5 directly. By periodicity, the integrals along the vertical sides of

C_{N}

cancel. Thus, using the oddness of

F_{o} (z)

and periodicity, we see that the integral along the upper horizontal edge is equal to

\begin{matrix} \int_{z = k + i N}^{z = i N} F_{o} (z) d z = - \int_{- z = - k - i N}^{- z = - i N} F_{o} (- z) d z = \int_{u = - k - i N}^{u = - i N} F_{o} (u) d u = \int_{u = - i N}^{u = k - i N} F_{o} (u) d u, \end{matrix}

(3.7)

which is the integral along the lower horizontal edge. Also, since the right-hand side of 3.5 is independent of

N

, we may let

N

tend to

\infty

. Thus, it remains to evaluate

{lim}_{N \to \infty} \frac{1}{2 π i} \int_{C_{N}} F_{o} (z) d z = {lim}_{N \to \infty} \frac{1}{π i} \int_{k}^{0} F_{o} (x + i N) d x .

Now let

\begin{matrix} μ : = e^{2 π i z / k} \end{matrix}

(3.8)

and expand

F_{o} (z)

in a power series in

μ

. Since

\frac{1}{e^{2 π i z} - 1} = - 1 - μ^{k} - μ^{2 k} - \dots,

\begin{matrix} F_{o} (z) & = \frac{1}{G (χ_{o})} (\sum_{j = 0}^{k - 1} χ_{o} (j) μ^{j}) (\sum_{m = - D}^{\infty} A_{m} μ^{m}) (- \sum_{n = 0}^{\infty} μ^{k n}) \end{matrix}

\begin{matrix} = \frac{1}{G (χ_{o})} (- \sum_{n = 0}^{\infty} \sum_{j = 0}^{k - 1} χ_{o} (j) μ^{k n + j}) (\sum_{m = - D}^{\infty} A_{m} μ^{m}) \end{matrix}

\begin{matrix} = \frac{1}{G (χ_{o})} (- \sum_{n = 0}^{\infty} χ_{o} (n) μ^{n}) (\sum_{m = - D}^{\infty} A_{m} μ^{m}) \end{matrix}

\begin{matrix} = \frac{1}{G (χ_{o})} \sum_{m = - D}^{\infty} c_{m} μ^{m} \end{matrix}

(3.9)

\begin{matrix}  \end{matrix}

for some constants

c_{m}, m \geq - D

. Since

\int_{k}^{0} \sum_{m = 1}^{\infty} c_{m} μ^{m} d x

tends to 0 as

N

tends to

\infty

, and

\int_{k}^{0} μ^{m} d x = 0

for any

m \neq 0

, we find that, upon the use of 3.7 ,

\begin{matrix} {lim}_{N \to \infty} \frac{1}{2 π i} \int_{C_{N}} F_{o} (z) d z = - \frac{k c_{0}}{π i G (χ_{o})} = \frac{k}{π i G (χ_{o})} \sum_{m = 0}^{D} A_{- m} χ_{o} (m), \end{matrix}

(3.10)

by 3.1 .

In summary, we utilize 3.6 and 3.10 in 3.5 to conclude that

\begin{matrix} \frac{k}{π i G (χ_{o})} \sum_{m = 0}^{D} A_{- m} χ_{o} (m) = \frac{1}{π i} \sum_{1 \leq j < k / 2} χ_{o} (j) f_{o} (j) + \sum_{m = 1}^{M} R_{z_{m}^{o}} (F_{o}) + R_{0} (F_{o}) . \end{matrix}

(3.11)

Upon using the evaluation 1.9 for

G (χ_{o})

, we see that 3.11 is equivalent to 3.3 . □

4 Two Theorems on Trigonometric Sums and Corollaries

We observe that for any integer

b

the sine and cosine functions satisfy the following properties:

\begin{matrix} sin (b π (x + k) / k) & = (- 1)^{b} sin (b π x / k), \end{matrix}

\begin{matrix} cos (b π (x + k) / k) & = (- 1)^{b} cos (b π x / k) . \end{matrix}

\begin{matrix}  \end{matrix}

Thus, we may construct odd and even functions satisfying properties (i)–(v) in Theorem 3.1 by taking appropriate products and quotients of sines and cosines. In particular, we have the following theorem.

Theorem 4.1. Let

k

be an odd positive integer, and let

χ_{e}

be a real, even, non-principal, primitive character of period

k

. Let

L

a

, and

J

be non-negative integers with

a \leq J + 1

. Let

b_{1}, . . ., b_{L}, c_{1}, . . ., c_{L}, d_{1}, . . ., d_{J}

be positive integers such that the sum

E : = - a + \sum_{ℓ = 1}^{L} (b_{ℓ} - c_{ℓ}) + \sum_{j = 1}^{J} d_{j}

is even, and that

d_{1}, . . ., d_{a - 1}

are odd. Suppose also that

(c_{ℓ}, k) = 1

for

1 \leq ℓ \leq L

, and

(c_{i}, c_{j}) = 1

for each

i \neq j

. Define

\begin{matrix} g (χ_{e}) = \sum_{j = 1}^{k - 1} (- 1)^{j} j χ_{e} (j), \end{matrix}

(4.1)

and let

P_{o} (n)

(resp.,

P_{e} (n)

) denote the number of solutions in the

(2 L + J + a)

-tuples

(ɛ_{1}, . . ., ɛ_{L}, m_{1}, . . ., m_{L}, ɛ_{1}^{'}, . . ., ɛ_{J}^{'}, m_{1}^{'}, . . ., m_{a}^{'})

to the equation

\begin{matrix} n = ɛ_{1} b_{1} + \dots + ɛ_{L} b_{L} + m_{1} c_{1} + \dots + m_{L} c_{L} + ɛ_{1}^{'} d_{1} + \dots + ɛ_{J}^{'} d_{J} + m_{1}^{'} + \dots + m_{a}^{'}, \end{matrix}

(4.2)

where

\sum ɛ_{i} + \sum m_{i}^{'}

is odd (resp., even ), and

ɛ_{i}, ɛ_{i}^{'} \in {0, 1}, m_{i}, m_{i}^{'} \in N \cup {0}

Then

\begin{matrix} \sum_{0 < n < k / 2} χ_{e} (n) (^{L} \prod_{ℓ = 1} \frac{sin (b_{ℓ} π n / k)}{sin (c_{ℓ} π n / k)}) (\frac{\prod_{j = 1}^{J} cos (d_{j} π n / k)}{{cos}^{a} (π n / k)}) \end{matrix}

\begin{matrix} = \sqrt{k} {2^{a - J} \sum_{m = 0}^{E / 2} χ_{e} (m) (P_{e} (\frac{E}{2} - m) - P_{o} (\frac{E}{2} - m)) \end{matrix}

\begin{matrix} - i (\sum_{M = 1}^{L} \sum_{1 \leq n < c_{M} n \neq c_{M} / 2} \frac{(- 1)^{n}}{c_{M}} \frac{G (n k / c_{M}, χ_{e}) \prod_{ℓ = 1}^{L} sin (n b_{ℓ} π / c_{M}) \prod_{j = 1}^{J} cos (n d_{j} π / c_{M})}{(e^{2 π i n k / c_{M}} - 1) {cos}^{a} (n π / c_{M}) \prod_{ℓ \neq M} sin (n c_{ℓ} π / c_{M})}) \end{matrix}

\begin{matrix} - \sum_{1 \leq M \leq L c_{M} even} \frac{(- 1)^{c_{M} / 2}}{c_{M}} \frac{(- 1)^{a} g (χ_{e}) \prod_{j = 1}^{a - 1} (- 1)^{(d_{j} - 1) / 2} d_{j} \prod_{ℓ = 1}^{L} sin (b_{ℓ} π / 2) \prod_{j = a}^{J} cos (d_{j} π / 2)}{\prod_{ℓ \neq M} sin (c_{ℓ} π / 2)}} . \end{matrix}

(4.3)

\begin{matrix}  \end{matrix}

In the preceding theorem, and throughout the rest of this section, we adopt the convention that the empty products

\prod_{j = 1}^{0} a_{j} = 1

and

\prod_{j = 1}^{- 1} a_{j} = 0

Proof. In Theorem 3.1 , let

f_{e} (z)

be given by

\begin{matrix} f_{e} (z) = (^{L} \prod_{ℓ = 1} \frac{sin (b_{ℓ} π z / k)}{sin (c_{ℓ} π z / k)}) (\frac{\prod_{j = 1}^{J} cos (d_{j} π z / k)}{{cos}^{a} (π z / k)}) . \end{matrix}

(4.4)

The function

f_{e}

has possible poles at the points

n k / c_{ℓ}

, where

1 \leq n < c_{ℓ}

. We note that none of these values are integers, because

(c_{ℓ}, k) = 1

for all

ℓ

. Since

(c_{i}, c_{j}) = 1

for all

i \neq j

, these values are distinct. Thus, these are at most simple poles, with the possible exception of

k / 2

, which occurs if one of the

c_{ℓ}

is even. Since at least

a - 1

of the

d_{j}

are odd, the point

z = k / 2

contributes a pole of order at most 1 from the cosine factors. Since the numbers of sine factors in the numerator and denominator are equal,

z = 0

is a removable singularity.

Since

H_{e}

has a removable singularity at

z = 0

and a simple zero at

z = k / 2

(since

G (k / 2, χ_{e}) = 0

), we conclude that

H_{e} f_{e}

has at most simple poles at

n k / c_{ℓ}

for each

1 \leq n < c_{ℓ}, 1 \leq ℓ \leq L

. Thus, the residue at the point

n k / c_{M}

, where

1 \leq M \leq L

and

n \neq c_{M} / 2

, is

\begin{matrix} R_{n k / c_{M}} (H_{e} f_{e}) & = {lim}_{z \to n k / c_{M}} \frac{z - n k / c_{M}}{sin (c_{M} π z / k)} \frac{G (z, χ_{e}) \prod_{ℓ = 1}^{L} sin (b_{ℓ} π z / k) \prod_{j = 1}^{J} cos (d_{j} π z / k)}{G (χ_{e}) (e^{2 π i z} - 1) {cos}^{a} (π z / k) \prod_{ℓ \neq M} sin (c_{ℓ} π z / k)} \end{matrix}

\begin{matrix} = \frac{(- 1)^{n} k}{c_{M} π} \frac{G (n k / c_{M}, χ_{e}) \prod_{ℓ = 1}^{L} sin (n b_{ℓ} π / c_{M}) \prod_{j = 1}^{J} cos (n d_{j} π / c_{M})}{G (χ_{e}) (e^{2 π i n k / c_{M}} - 1) {cos}^{a} (n π / c_{M}) \prod_{ℓ \neq M} sin (n c_{ℓ} π / c_{M})} . \end{matrix}

(4.5)

\begin{matrix}  \end{matrix}

When

z = (c_{M} / 2) k / c_{M}

, where

c_{M}

is the unique even

c_{ℓ}

(if there is such a

c_{ℓ}

), the residue is

\begin{matrix} R_{k / 2} (H_{e} f_{e}) & = {lim}_{z \to k / 2} \frac{z - k / 2}{sin (c_{M} π z / k)} \frac{G (z, χ_{e}) \prod_{j = 1}^{a - 1} cos (d_{j} π z / k)}{{cos}^{a} (π z / k)} \end{matrix}

\begin{matrix} \times \frac{\prod_{ℓ = 1}^{L} sin (b_{ℓ} π z / k) \prod_{j = a}^{J} cos (d_{j} π z / k)}{G (χ_{e}) (e^{2 π i z} - 1) \prod_{ℓ \neq M} sin (c_{ℓ} π z / k)} \end{matrix}

\begin{matrix} = \frac{(- 1)^{c_{M} / 2} k}{c_{M} π} \frac{2 π i g (χ_{e}) \prod_{j = 1}^{a - 1} (- 1)^{(d_{j} - 1) / 2} d_{j} \prod_{ℓ = 1}^{L} sin (b_{ℓ} π / 2) \prod_{j = a}^{J} cos (d_{j} π / 2)}{π (- 1)^{a} G (χ_{e}) (- 2) \prod_{ℓ \neq M} sin (c_{ℓ} π / 2)} . \end{matrix}

(4.6)

\begin{matrix}  \end{matrix}

Lastly, we need to compute the Fourier expansion of

f_{e} (z)

in the upper half-plane.

We note that, with

μ = e^{2 π i z / k}

as in 3.8 ,

\begin{matrix} f_{e} (z) & = (^{L} \prod_{ℓ = 1} \frac{e^{i b_{ℓ} π z / k} - e^{- i b_{ℓ} π z / k}}{e^{i c_{ℓ} π z / k} - e^{- i c_{ℓ} π z / k}}) 2^{a - J} \frac{\prod_{j = 1}^{J} (e^{i d_{j} π z / k} + e^{- i d_{j} π z / k})}{(e^{i π z / k} + e^{- i π z / k})^{a}} \end{matrix}

\begin{matrix} = 2^{a - J} {μ^{- {\sum_{ℓ = 1}^{L} (b_{ℓ} - c_{ℓ}) - a + \sum_{j = 1}^{J} d_{j}} / 2}}^{L} \prod_{ℓ = 1} \frac{1 - μ^{b_{ℓ}}}{1 - μ^{c_{ℓ}}} \frac{\prod_{j = 1}^{J} (1 + μ^{d_{j}})}{(1 + μ)^{a}} \end{matrix}

\begin{matrix} = 2^{a - J} {μ^{- E / 2}}^{L} \prod_{ℓ = 1} (1 - μ^{b_{ℓ}})^{L} \prod_{ℓ = 1} {(\sum_{m = 0}^{\infty} μ^{m c_{ℓ}})}^{J} \prod_{j = 1} (1 + μ^{d_{j}}) {(\sum_{m = 0}^{\infty} (- 1)^{m} μ^{m})}^{a} . \end{matrix}

(4.7)

\begin{matrix}  \end{matrix}

By 3.4 , we need to determine the coefficient

B_{- m}

μ^{- m}

, as defined in 3.2 . Collecting powers in 4.7 , we see that

\begin{matrix} B_{- m} = 2^{a - J} (P_{e} (\frac{E}{2} - m) - P_{o} (\frac{E}{2} - m)) . \end{matrix}

(4.8)

Using 4.5 , 4.6 , and 4.8 in 3.4 , along with the evaluation of

G (χ_{e})

in 1.9 , we complete the proof. □

Theorem 4.2. For each pair of odd positive integers

a

and

b

\begin{matrix} \sum_{0 < n < k / 2} χ_{e} (n) \frac{{cos}^{a} (b π n / k)}{cos (π n / k)} = \sqrt{k} F (a, b, χ), \end{matrix}

(4.9)

where

F (a, b, χ) : = \frac{1}{2^{a - 1}} \sum_{n, j, r \geq 02 (n + j + b r) = a b - 1} (- 1)^{j} χ (n) (\binom{a}{r}),

where the sum is over all nonnegative integers

n

j

, and

r

satisfying the condition

2 (n + j + b r) = a b - 1

Proof. In Theorem 4.1 , let $L = 0$ , $a = 1$ , $J = a$ , and $d_{1} = \cdot \cdot \cdot = d_{J} = b$ . Then we find that $E = a b - 1$ is even, and that the second and third sums on the right-hand side of 4.3 equal $0$ . We also find that the right-hand side of 4.2 becomes $b (ɛ_{1}^{'} + \dots + ɛ_{a}^{'}) + m_{1}^{'}$ .
Therefore, $P_{e} (\frac{a b - 1}{2} - m) - P_{o} (\frac{a b - 1}{2} - m) = \sum_{m_{1}^{'}, r \geq 0 (a b - 1) / 2 - m - m_{1}^{'} - b r = 0} (- 1)^{r} (\binom{a}{r}),$ where the sum is over all non-negative integers $m_{1}^{'}, r$ satisfying the condition $(a b - 1) / 2 - m - m_{1}^{'} - b r = 0$ . Rearranging the expression for the indices of summation, and summing over $m$ , we complete the proof. □

We now examine some special cases of Theorem 4.2 when

b = 1

Corollary 4.3. If

a

is odd and

χ

is even,

\begin{matrix} \sum_{0 < n < k / 2} χ (n) {cos}^{a - 1} (π n / k) = \sqrt{k} F (a, 1, χ) . \end{matrix}

(4.10)

Proof. Set $b = 1$ in Theorem 4.2 . □

a = 1

, then trivially

F (1, 1, χ) = 0

, and so Corollary 4.3 reduces to

\begin{matrix} \sum_{0 < n < k / 2} χ (n) = 0, \end{matrix}

(4.11)

which is easy to establish directly.

a = 3

, observe that

F (3, 1, χ) = \frac{1}{4}

. Thus, from Corollary 4.3 ,

\begin{matrix} \sum_{0 < n < k / 2} χ (n) {cos}^{2} (π n / k) = \frac{1}{4} \sqrt{k} . \end{matrix}

(4.12)

The evaluation 4.12 is also elementary, because if one applies the double angle formula for

cos (2 π n / k)

on the left side of 4.12 and uses both 2.24 and 4.11 , 4.12 easily follows.

k = 5

in 4.12 , we deduce that

{cos}^{2} (π / 5) - {cos}^{2} (2 π / 5) = \frac{1}{4} \sqrt{5},

which of course is an easy consequence of 2.26 .

a = 5

, Corollary 4.3 reduces to

\begin{matrix} \sum_{0 < n < k / 2} χ (n) {cos}^{4} (π n / k) = \frac{1}{16} (4 + χ (2)) \sqrt{k} . \end{matrix}

(4.13)

Using the double angle for cosine twice, along with 2.24 , 4.11 , and 4.12 , we can verify 4.13 directly.

Corollary 4.4. Let

a

d

, and

J

be nonnegative integers such that

a \leq J + 1

and

E : = d J - a + 12

is even. Then

\begin{matrix} \sum_{0 < n < k / 2} χ_{e} (n) \frac{sin (3 π n / k) sin (5 π n / k) sin (7 π n / k) {cos}^{J} (d π n / k)}{{sin}^{3} (π n / k) {cos}^{a} (π n / k)} \end{matrix}

\begin{matrix} = \frac{k}{2^{J - a} G (χ_{e})} \sum_{m = 0}^{E / 2} χ_{e} (m) \sum_{E / 2 - m - 3 ɛ_{1} - 5 ɛ_{2} - 7 ɛ_{3} - d j > 0 ɛ_{i} \in {0, 1}, 0 \leq j \leq J} (- 1)^{j + ɛ_{1} + ɛ_{2} + ɛ_{3}} \end{matrix}

\begin{matrix} \times (\binom{E / 2 - m - 3 ɛ_{1} - 5 ɛ_{2} - 7 ɛ_{3} - d j + 3 + a}{3 + a}) . \end{matrix}

(4.14)

\begin{matrix}  \end{matrix}

Proof. Put $L = 3$ and set $c_{ℓ} = 1$ , $1 \leq ℓ \leq 3$ . Thus, the second and third sums on the right-hand side of 4.3 equal $0$ . By moving the terms involving $ɛ_{i}$ and $ɛ_{i}^{'}$ to the left-hand side of 4.2 , we find that the number of representations in $(m_{1}, m_{2}, m_{3}, m_{1}^{'}, . . ., m_{a}^{'})$ of $E / 2 - m - \sum ɛ_{i} b_{i} - \sum ɛ_{i}^{'} d_{i} = m_{1} + m_{2} + m_{3} + m_{1}^{'} + . . . + m_{a}^{'}$ is equal to $(\binom{E / 2 - m - \sum ɛ_{i} b_{i} - \sum ɛ_{i}^{'} d_{i} + 3 + a}{3 + a}) .$ The desired result now follows. □

The next result is an analogue of Theorem 7.1 in [3] . Technically, this theorem follows from Theorem 4.1 , but it is perhaps easier to derive the result from Theorem 3.1 .

Theorem 4.5. Let

χ

be even, and suppose that

b

is an even positive integer. Then

\begin{matrix} S_{3} (b, χ) : = \sum_{0 < n < k / 2} χ (n) sin (b π n / k) cot (π n / k) = \sqrt{k} H (b, χ), \end{matrix}

(4.15)

where

\begin{matrix} H (b, χ) : = \frac{1}{2} χ (\frac{b}{2}) + \sum_{n, j \geq 12 n + 2 j = b} χ (n) . \end{matrix}

(4.16)

Proof. We let

f_{e} (z) = sin (b π z / k) cot (π z / k)

and

χ_{e} = χ

in Theorem 3.1 . Observe that

f (z)

has no poles at non-integer points. To compute its Fourier expansion, note that

\begin{matrix} sin (b π z / k) & = - \frac{1}{2 i} μ^{- b / 2} (1 - μ^{b}) \end{matrix}

(4.17)

\begin{matrix} and cot (π z / k) & = - i (1 + 2 \sum_{j = 1}^{\infty} μ^{j}) . \end{matrix}

(4.18)

\begin{matrix}  \end{matrix}

Thus,

\begin{matrix} f_{e} (z) & = \frac{1}{2} μ^{- b / 2} (1 - μ^{b}) + μ^{- b / 2} (1 - μ^{b}) \sum_{j = 1}^{\infty} μ^{j} \end{matrix}

\begin{matrix} = \frac{μ^{- b / 2} - μ^{b / 2}}{2} + μ^{- b / 2} \sum_{j = 1}^{b - 1} μ^{j} . \end{matrix}

(4.19)

\begin{matrix}  \end{matrix}

Therefore the coefficient

B_{- m}

μ^{- m}

when

m \geq 0

\begin{matrix} B_{- m} = {\begin{matrix} 1 / 2, & if m = b / 2, \\ 1, & otherwise . \end{matrix} \end{matrix}

(4.20)

Using 4.20 in 3.4 , we obtain 4.15 , and the proof of Theorem 4.5 is complete. □

Corollary 4.6. For even

χ

\begin{matrix} \sum_{0 < n < k / 2} χ (n) {cos}^{2} (π n / k) = \frac{1}{4} \sqrt{k} . \end{matrix}

(4.21)

Proof. Set $b = 2$ and use the identity $sin (2 θ) = 2 sin θ cos θ$ in 4.15 . Then note that $H (2, χ) = \frac{1}{2}$ . □

The identity 4.21 is identical to 4.12 .

We now derive an analogue of Theorem 4.1 for odd characters.

Theorem 4.7. Let

k

be an odd positive integer, and let

χ_{o}

be a real, odd, non-principal, primitive character of period

k

. Let

L

a

, and

J

be non-negative integers with

a \leq J + 1

. Let

b_{1}, . . ., b_{L}, c_{1}, . . ., c_{L}, d_{1}, . . ., d_{J}

denote positive integers such that the sum

E^{'} : = - 1 - a + \sum_{ℓ = 1}^{L} (b_{ℓ} - c_{ℓ}) + \sum_{j = 1}^{J} d_{j}

is even and such that

d_{1}, . . ., d_{a - 1}

are odd. Suppose also that

(c_{ℓ}, k) = 1

for

1 \leq ℓ \leq L

and that

(c_{i}, c_{j}) = 1

for

i \neq j

. Let

P_{o}^{'} (n)

(resp.,

P_{e}^{'} (n)

) denote the number of solutions in the

(2 L + J + a + 1)

-tuples

(ɛ_{1}, . . ., ɛ_{L}, m_{0}, m_{1}, . . ., m_{L}, ɛ_{1}^{'}, . . ., ɛ_{J}^{'}, m_{1}^{'}, . . ., m_{a}^{'})

to the equation

\begin{matrix} n = ɛ_{1} b_{1} + \dots + ɛ_{L} b_{L} + m_{0} + m_{1} c_{1} + \dots + m_{L} c_{L} + ɛ_{1}^{'} d_{1} + \dots + ɛ_{J}^{'} d_{J} + m_{1}^{'} + \dots + m_{a}^{'}, \end{matrix}

(4.22)

where

\sum ɛ_{i} + \sum m_{i}^{'}

is odd (resp., even ),

ɛ_{i}, ɛ_{i}^{'} \in {0, 1}

, and

m_{i}, m_{i}^{'} \in N \cup {0}

Then

\begin{matrix} \sum_{0 < n < k / 2} χ_{o} (n) ({\frac{1}{sin (π n / k)}}^{L} \prod_{ℓ = 1} \frac{sin (b_{ℓ} π n / k)}{sin (c_{ℓ} π n / k)}) (\frac{\prod_{j = 1}^{J} cos (d_{j} π n / k)}{{cos}^{a} (π n / k)}) \end{matrix}

\begin{matrix} = \sqrt{k} {2^{1 + a - J} \sum_{m = 0}^{E^{'} / 2} χ_{o} (m) (P_{e}^{'} (\frac{E^{'}}{2} - m) - P_{o}^{'} (\frac{E^{'}}{2} - m)) \end{matrix}

\begin{matrix} - \sum_{M = 1}^{L} \sum_{1 \leq n < c_{M}} \frac{(- 1)^{n}}{c_{M}} \frac{G (n k / c_{M}, χ_{o}) \prod_{ℓ = 1}^{L} sin (n b_{ℓ} π / c_{M}) \prod_{j = 1}^{J} cos (n d_{j} π / c_{M})}{(e^{2 π i n k / c_{M}} - 1) sin (n π / c_{M}) {cos}^{a} (n π / c_{M}) \prod_{ℓ \neq M} sin (n c_{ℓ} π / c_{M})} \end{matrix}

\begin{matrix} + \frac{G (k / 2, χ_{o}) \prod_{j = 1}^{a - 1} (- 1)^{(d_{j} - 1) / 2} d_{j} \prod_{ℓ = 1}^{L} sin (b_{ℓ} π / 2) \prod_{j = a}^{J} cos (d_{j} π / 2)}{2 \prod_{ℓ = 1}^{L} sin (c_{ℓ} π / 2)} \end{matrix}

\begin{matrix} - {\frac{\sum_{j = 1}^{k - 1} j χ_{o} (j)}{k}}^{L} \prod_{ℓ = 1} \frac{b_{ℓ}}{c_{ℓ}}} . \end{matrix}

(4.23)

\begin{matrix}  \end{matrix}

Proof. The proof is analogous to that of Theorem 4.1 . We highlight the main differences.

We let

f_{o} (z)

in Theorem 3.1 be given by

\begin{matrix} f_{o} (z) = \frac{1}{sin (π z / k)} (^{L} \prod_{ℓ = 1} \frac{sin (b_{ℓ} π z / k)}{sin (c_{ℓ} π z / k)}) (\frac{\prod_{j = 1}^{J} cos (d_{j} π z / k)}{{cos}^{a} (π z / k)}) . \end{matrix}

(4.24)

We now need to determine the poles of the function

H_{o} f_{o}

. Note that again we have poles at each of the points

n k / c_{ℓ}

1 \leq n < c_{ℓ}

1 \leq ℓ \leq L

. There is also (at most) a simple pole at

k / 2

. Note that for odd characters

G (k / 2, χ_{o}) \neq 0

, but there is a possible pole at

k / 2

arising from an even

c_{ℓ}

. Finally, there exists a pole at

z = 0

arising from the extra sine factor in the denominator.

For

1 \leq M \leq L

1 \leq n < c_{M}

\begin{matrix} R_{n k / c_{M}} (H_{o} f_{o}) \end{matrix}

\begin{matrix} = {lim}_{z \to n k / c_{M}} \frac{z - n k / c_{M}}{sin (c_{M} π z / k)} \frac{G (z, χ_{o}) \prod_{ℓ = 1}^{L} sin (b_{ℓ} π z / k) \prod_{j = 1}^{J} cos (d_{j} π z / k)}{G (χ_{o}) (e^{2 π i z} - 1) sin (π z / k) {cos}^{a} (π z / k) \prod_{ℓ \neq M} sin (c_{ℓ} π z / k)} \end{matrix}

\begin{matrix} = \frac{(- 1)^{n} k}{c_{M} π} \frac{G (n k / c_{M}, χ_{o}) \prod_{ℓ = 1}^{L} sin (n b_{ℓ} π / c_{M}) \prod_{j = 1}^{J} cos (n d_{j} π / c_{M})}{G (χ_{o}) (e^{2 π i n k / c_{M}} - 1) sin (n π / c_{M}) {cos}^{a} (n π / c_{M}) \prod_{ℓ \neq M} sin (n c_{ℓ} π / c_{M})} . \end{matrix}

(4.25)

\begin{matrix}  \end{matrix}

Next,

\begin{matrix} R_{k / 2} (H_{o} f_{o}) \end{matrix}

\begin{matrix} = {lim}_{z \to k / 2} \frac{(z - k / 2) \prod_{j = 1}^{a - 1} cos (d_{j} π z / k)}{{cos}^{a} (π z / k)} \frac{G (z, χ_{o}) \prod_{ℓ = 1}^{L} sin (b_{ℓ} π z / k) \prod_{j = a}^{J} cos (d_{j} π z / k)}{G (χ_{o}) (e^{2 π i z} - 1) sin (π z / k) \prod_{ℓ = 1}^{L} sin (c_{ℓ} π z / k)} \end{matrix}

\begin{matrix} = \frac{k \prod_{j = 1}^{a - 1} (- 1)^{(d_{j} - 1) / 2} d_{j}}{π} \frac{G (k / 2, χ_{o}) \prod_{ℓ = 1}^{L} sin (b_{ℓ} π / 2) \prod_{j = a}^{J} cos (d_{j} π / 2)}{G (χ_{o}) (- 2) \prod_{ℓ = 1}^{L} sin (c_{ℓ} π / 2)} . \end{matrix}

(4.26)

\begin{matrix}  \end{matrix}

Finally,

\begin{matrix} R_{0} (H_{o} f_{o}) & = {lim}_{z \to 0} \frac{z}{sin (π z / k)} \frac{G (z, χ_{o})}{G (χ_{o}) (e^{2 π i z} - 1)} (^{L} \prod_{ℓ = 1} \frac{sin (b_{ℓ} π z / k)}{sin (c_{ℓ} π z / k)}) \frac{\prod_{j = 1}^{J} cos (d_{j} π z / k)}{{cos}^{a} (π z / k)} \end{matrix}

\begin{matrix} = \frac{k}{π} {\frac{\sum_{j = 1}^{k - 1} j χ_{o} (j)}{k G (χ_{o})}}^{L} \prod_{ℓ = 1} \frac{b_{ℓ}}{c_{ℓ}} . \end{matrix}

(4.27)

\begin{matrix}  \end{matrix}

Lastly, we determine the Fourier expansion of

f_{o} (z)

. We readily find that, again with

μ = e^{2 π i z / k}

as in 3.8 ,

\begin{matrix} f_{o} (z) & = \frac{2 i}{e^{i π z / k} - e^{- i π z / k}} (^{L} \prod_{ℓ = 1} \frac{e^{i b_{ℓ} π z / k} - e^{- i b_{ℓ} π z / k}}{e^{i c_{ℓ} π z / k} - e^{- i c_{ℓ} π z / k}}) 2^{a - J} \frac{\prod_{j = 1}^{J} (e^{i d_{j} π z / k} + e^{- i d_{j} π z / k})}{(e^{i π z / k} + e^{- i π z / k})^{a}} \end{matrix}

\begin{matrix} = 2^{1 + a - J} i μ^{- {- 1 + \sum_{ℓ = 1}^{L} (b_{ℓ} - c_{ℓ}) - a + \sum_{j = 1}^{J} d_{j}} / 2} {\frac{1}{1 - μ}}^{L} \prod_{ℓ = 1} \frac{1 - μ^{b_{ℓ}}}{1 - μ^{c_{ℓ}}} \frac{\prod_{j = 1}^{J} (1 + μ^{d_{j}})}{(1 + μ)^{a}} \end{matrix}

\begin{matrix} = 2^{1 + a - J} i μ^{- E^{'} / 2} {(\sum_{m = 1}^{\infty} μ^{m})}^{L} \prod_{ℓ = 1} (1 - μ^{b_{ℓ}})^{L} \prod_{ℓ = 1} (\sum_{m = 0}^{\infty} μ^{m c_{ℓ}}) \end{matrix}

\begin{matrix} \times^{J} \prod_{j = 1} (1 + μ^{d_{j}}) {(\sum_{m = 0}^{\infty} (- 1)^{m} μ^{m})}^{a} . \end{matrix}

(4.28)

\begin{matrix}  \end{matrix}

Collecting powers, we find that the coefficient

A_{- m}

μ^{- m}

, as defined in 3.1 , is equal to

P_{e}^{'} (\frac{E^{'}}{2} - m) - P_{o}^{'} (\frac{E^{'}}{2} - m)

If we integrate

F_{e} (z)

over the contour

C_{N}

, apply the residue theorem, and calculate directly the integral of

F_{e} (z)

over

C_{N}

, using the calculation of the preceding paragraph for the horizontal sides, we complete the proof in the same manner as we did for Theorem 4.1 . □

Theorem 4.8. If

b

and

d

are odd positive integers,

\begin{matrix} S_{4} (b, d) & : = 4 \sum_{0 < n < k / 2} χ_{o} (n) \frac{sin (b π n / k) cos (d π n / k)}{{sin}^{2} (2 π n / k)} \end{matrix}

\begin{matrix} = \sqrt{k} (4 I (b, d, χ_{o}) - \frac{(- 1)^{(b + d) / 2}}{2} G (k / 2, χ_{o})) - \frac{b}{\sqrt{k}} \sum_{j = 1}^{k - 1} j χ_{o} (j), \end{matrix}

(4.29)

\begin{matrix}  \end{matrix}

where

\begin{matrix} I (b, d, χ_{o}) & : = \sum_{m, r \geq 0} χ_{o} (m) {(- 1)^{r} (r + 1) ((\binom{(b + d) / 2 - m - r}{2}) + (\binom{(b - d) / 2 - m - r}{2})) . \end{matrix}

\begin{matrix} + (- 1)^{r + 1} (r + 1) (\binom{(d - b) / 2 - m - r}{2})} . \end{matrix}

(4.30)

\begin{matrix}  \end{matrix}

Proof. Let

L = J = 1

b_{1} = b

d_{1} = d

c_{1} = 1

, and

a = 2

in Theorem 4.7 . Then, upon the use of the identity

sin (2 θ) = 2 sin θ cos θ

, we find that the left-hand side of 4.23 is equal to

S_{4} (b, d)

. We also find that

E^{'} = - 1 - 2 + (b - 1) + d = b + d - 4

is even. We compute the right-hand side of 4.23 . With our choice of parameters, the right-hand side of 4.22 becomes

\begin{matrix} b ɛ_{1} + m_{0} + m_{1} + d ɛ_{1}^{'} + m_{1}^{'} + m_{2}^{'} . \end{matrix}

(4.31)

We let

r = m_{1}^{'} + m_{2}^{'}

and observe that for each fixed

r \geq 0

, we obtain exactly

r + 1

ordered pairs of nonnegative integers

(m_{1}^{'}, m_{2}^{'})

. Therefore, for each fixed

m

\begin{matrix} P_{e}^{'} (\frac{1}{2} E^{'} - m) - P_{o}^{'} (\frac{1}{2} E^{'} - m) \end{matrix}

\begin{matrix} = \sum_{r \geq 0} (- 1)^{r} (r + 1) ((\binom{(b + d - 4) / 2 - m - r + 2}{2}) + (\binom{(b - d - 4) / 2 - m - r + 2}{2})) \end{matrix}

\begin{matrix} + (- 1)^{r + 1} (r + 1) (\binom{(d - b - 4) / 2 - m - r + 2}{2}) . \end{matrix}

(4.32)

\begin{matrix}  \end{matrix}

Note that the second sum on the right hand side of 4.23 is empty, and thus is equal to zero. Using 4.32 in 4.23 and simplifying the remaining sums with our choice of parameters, we conclude the proof. □

Corollary 4.9. If

b

is a positive odd integer,

\begin{matrix} 2 \sum_{0 < n < k / 2} χ_{o} (n) \frac{sin (2 b π n / k)}{{sin}^{2} (2 π n / k)} & = 4 \sqrt{k} \sum_{m, r \geq 0} χ_{o} (m) (- 1)^{r} (r + 1) (\binom{b - m - r}{2}) \end{matrix}

\begin{matrix} - \frac{\sqrt{k} (- 1)^{b}}{2} G (k / 2, χ_{o}) - \frac{b}{\sqrt{k}} \sum_{j = 1}^{k - 1} j χ_{o} (j) . \end{matrix}

(4.33)

\begin{matrix}  \end{matrix}

Proof. Let $b = d$ in Theorem 4.8 . □

Theorem 4.10. If

a

b

, and

d

are integers with

a \geq 0

b \geq 0

and even, and

d

odd, then

\begin{matrix} S_{5} (a, b, d) : = 2 \sum_{0 < n < k / 2} χ_{o} (n) \frac{{cos}^{a + b} (d π n / k)}{sin (2 π n / k) {cos}^{a} (π n / k)} \end{matrix}

\begin{matrix} = {\begin{matrix} \sqrt{k} (2^{2 - b} J (a, b, d, χ_{o}) - \frac{1}{k} \sum_{j = 1}^{k - 1} j χ_{o} (j)), & if b > 0, \\ \sqrt{k} (4 J (a, 0, d, χ_{o}) + \frac{(- 1)^{a (d - 1) / 2}}{2} d^{a} G (k / 2, χ_{o}) - \frac{1}{k} \sum_{j = 1}^{k - 1} j χ_{o} (j)), & if b = 0, \end{matrix} \end{matrix}

(4.34)

\begin{matrix}  \end{matrix}

where

\begin{matrix} J (a, b, d, χ_{o}) : = \sum_{m, r, m_{0}, n \geq 02 d n + a + 2 + 2 m + 2 r + 2 m_{0} = d (a + b)} χ_{o} (m) (- 1)^{r} (\binom{a + r + 1}{a + 1}) (\binom{a + b}{n}) . \end{matrix}

(4.35)

Proof. In Theorem 4.7 , replace

a

a + 1

and let

L = 0

J = a + b

, and

d_{1} = \cdot \cdot \cdot = d_{J} = d .

Then upon applying the identity

sin (2 θ) = 2 sin θ cos θ

, we find that the left hand side of 4.23 is equal to

S_{5} (a, b)

. Note that

E^{'} = - 1 - (a + 1) + d (a + b) = a (d - 1) + d b - 2

is even. The right hand side of 4.22 is

\begin{matrix} m_{0} + d (ɛ_{1}^{'} + \dots + ɛ_{a + b}^{'}) + m_{1}^{'} + \dots + m_{a + 1}^{'} . \end{matrix}

(4.36)

Therefore, it is easy to see that if we let

r = m_{1}^{'} + \dots + m_{a + 1}^{'}

, for each fixed

m \geq 0

\begin{matrix} P_{e}^{'} (\frac{a d + b d - a}{2} - 1 - m) - P_{o}^{'} (\frac{a d + b d - a}{2} - 1 - m) \end{matrix}

\begin{matrix} = \sum_{r \geq 0} (- 1)^{r} (\binom{a + r + 1}{a + 1}) \sum_{m_{0} \geq 0} (\binom{a + b}{((a d + b d - a) / 2 - 1 - m - r - m_{0}) / d}) \end{matrix}

\begin{matrix} = \sum_{r, m_{0}, n \geq 02 d n + a + 2 + 2 m + 2 r + 2 m_{0} = d (a + b)} (- 1)^{r} (\binom{a + r + 1}{a + 1}) (\binom{a + b}{n}) . \end{matrix}

(4.37)

\begin{matrix}  \end{matrix}

Using 4.37 and evaluating the remaining terms on the right hand side of 4.23 , we easily complete the proof. □

Corollary 4.11. If

a \geq 1

is even, and if

b \geq 0

is odd, then

\begin{matrix} 2 \sum_{0 < n < k / 2} χ_{o} (n) \frac{{cos}^{a} (b π n / k)}{sin (2 π n / k)} \end{matrix}

\begin{matrix} = \sqrt{k} (2^{2 - a} \sum_{m, r, m_{0}, n \geq 02 (b n + m + r + m_{0}) = a b} χ_{o} (m) (- 1)^{r} (r + 1) (\binom{a}{n}) - \frac{1}{k} \sum_{j = 1}^{k - 1} j χ_{o} (j)) . \end{matrix}

(4.38)

\begin{matrix}  \end{matrix}

Proof. Let $a = 0, b = a,$ and $d = b$ in Theorem 4.10 . □

We note that Corollary 4.11 is analogous to Theorem 5.5 of [3] . The main difference is that the parameter

b

in Corollary 4.11 above is odd, whereas the corresponding parameter in Theorem 5.5 of [3] is even.

5 Evaluations of Trigonometric Sums Not Involving Characters

Theorem 5.1. Suppose that

a

b

, and

k

are positive integers, where

b > 1

and

k

is odd. Then

\begin{matrix} \sum_{0 < n < k / 2} \frac{{sin}^{a} (2 π b n / k)}{{sin}^{a} (2 π n / k)} = - \frac{1}{2} b^{a} + \frac{1}{2} k S (a, b), \end{matrix}

(5.1)

where

\begin{matrix} S (a, b) : = 2 \sum_{m, n, r \geq 02 b n + 2 m + r k = a b - a} (- 1)^{n} (\binom{a}{n}) (\binom{a - 1 + m}{m}), \end{matrix}

(5.2)

where in the case

r = 0

, the terms are to be multiplied by

\frac{1}{2}

Theorem 5.1 includes four identities found by Liu [7] , namely, the special cases

(a, b, k) = (1, 2, 7),

(1, 3, 7)

(7, 2, 7)

, and

(7, 3, 7)

Proof. Let

\begin{matrix} f (z) : = \frac{{sin}^{a} (2 π b z / k)}{{sin}^{a} (2 π z / k)} cot π z, \end{matrix}

(5.3)

and integrate over the same contour

C_{N}

described at the beginning of the proof of Theorem 2.1 . Observe that

f (z)

has simple poles at

z = 0, 1, 2, . . ., k - 1

. A simple calculation shows that

\begin{matrix} R_{0} = \frac{b^{a}}{π} . \end{matrix}

(5.4)

For

0 < n < k

, we easily find that

\begin{matrix} R_{n} = \frac{{sin}^{a} (2 π b n / k)}{π {sin}^{a} (2 π n / k)} = R_{k - n} . \end{matrix}

(5.5)

Hence, by the residue theorem, 5.4 , and 5.5 ,

\begin{matrix} \int_{C_{N}} f (z) d z = 2 i b^{a} + 4 i \sum_{0 < n < k / 2} \frac{{sin}^{a} (2 π b n / k)}{{sin}^{a} (2 π n / k)} . \end{matrix}

(5.6)

Next we calculate the integral above directly. From the periodicity of

f (z)

, we see that the integrals along the vertical sides of

C_{N}

cancel. To compute the integrals on the horizontal pieces, let

μ = e^{2 π i z / k}

. Then

\begin{matrix} {sin}^{a} (2 π b z / k) & = {(\frac{i}{2})}^{a} μ^{- a b} \sum_{n = 0}^{a} (- 1)^{n} (\binom{a}{n}) μ^{2 b n}, \end{matrix}

\begin{matrix} {sin}^{- a} (2 π z / k) & = {(\frac{i}{2})}^{- a} μ^{a} \sum_{m = 0}^{\infty} (\binom{a - 1 + m}{m}) μ^{2 m}, \end{matrix}

\begin{matrix} cot π z & = i \frac{μ^{k} + 1}{μ^{k} - 1} = - i (1 + 2 \sum_{j = 1}^{\infty} μ^{k j}) . \end{matrix}

\begin{matrix}  \end{matrix}

Hence,

\begin{matrix} f (z) = - i μ^{- a b + a} (\sum_{n = 0}^{a} (- 1)^{n} (\binom{a}{n}) μ^{2 b n}) (\sum_{m = 0}^{\infty} (\binom{a - 1 + m}{m}) μ^{2 m}) (1 + 2 \sum_{r = 1}^{\infty} μ^{k r}) . \end{matrix}

(5.7)

As in the proofs in the preceding section, we need to determine the constant term, say

C_{1}

, in the expansion 5.7 . With some care, we see that

\begin{matrix} C_{1} = - i S (a, b), \end{matrix}

(5.8)

where

S (a, b)

is defined by 5.2 . Hence, letting

N

tend to

\infty

, we deduce that

\begin{matrix} {lim}_{N \to \infty} \int_{C_{N T}} f (z) d z = - \int_{0}^{k} C_{1} = i k S (a, b) . \end{matrix}

(5.9)

By an analogous argument, we also find that

\begin{matrix} {lim}_{N \to \infty} \int_{C_{N B}} f (z) d z = i k S (a, b) . \end{matrix}

(5.10)

Finally, combining 5.6 , 5.9 , and 5.10 , we conclude that

2 i b^{a} + 4 i \sum_{0 < n < k / 2} \frac{{sin}^{a} (2 π b n / k)}{{sin}^{a} (2 π n / k)} = 2 i k S (a, b),

which is equivalent to 5.1 □

By a similar argument, we can also prove the following theorem.

Theorem 5.2. Suppose that

a

b

, and

k

are positive integers, where

b > 1

and

k

is odd. Then

\begin{matrix} \sum_{0 < n < k / 2} \frac{{cos}^{a} (2 π b n / k)}{{cos}^{a} (2 π n / k)} = - \frac{1}{2} + \frac{1}{2} k T (a, b), \end{matrix}

(5.11)

where

\begin{matrix} T (a, b) : = 2 \sum_{m, n, r \geq 02 b n + 2 m + r k = a b - a} (\binom{a}{n}) (\binom{a - 1 + m}{m}), \end{matrix}

(5.12)

where in the case

r = 0

, the terms are to be multiplied by

\frac{1}{2}

References

T. M. Apostol, Euler's $φ$ -function and separable Gauss sums, Proc. Amer. Math. Soc. 24 (1970), 482–485.
B. C. Berndt, R. J. Evans, and K. S. Williams, Gauss and Jacobi Sums, Wiley, New York, 1998.
B. C. Berndt and A. Zaharescu, Finite trigonometric sums and class numbers, Math. Ann. 330 (2004), 551–575.
B. C. Berndt and L.–C. Zhang, Ramanujan's identities for eta-functions, Math. Ann. 292 (1992), 561–573.
Z. I. Borevich and I. R. Shafarevich, Number Theory, Academic Press, New York, 1966.
H. Davenport, Multiplicative Number Theory, 3rd ed., Springer–Verlag, New York, 2000.
Z.–G. Liu, Some Eisenstein series identities related to modular equations of the seventh order, Pacific J. Math. 209 (2003), 103–130.
S. Ramanujan, Notebooks (2 volumes), Tata Institute of Fundamental Research, Bombay, 1957.

¹ Research partially supported by grant MDA904-00-1-0015 from the National Security Agency.

² Research partially supported by the Korea Institute for Advanced Study.

³ Research partially supported by a grant from the University of Illinois Research Board.