Table of Contents
Fetching ...

Evaluations and relations for finite trigonometric sums

Bruce C. Berndt, Sun Kim, Alexandru Zaharescu

Abstract

Several methods are used to evaluate finite trigonometric sums. In each case, either the sum had not previously been evaluated, or it had been evaluated, but only by analytic means, e.g., by complex analysis or modular transformation formulas. We establish both reciprocity and three sum relations for trigonometric sums. Motivated by certain sums that we have evaluated, we add coprime conditions to the summands and thereby define analogues of Ramanujan sums, which we in turn evaluate. One of these analogues leads to a criterion for the Riemann Hypothesis, analogous to the Franel-Landau criterion.

Evaluations and relations for finite trigonometric sums

Abstract

Several methods are used to evaluate finite trigonometric sums. In each case, either the sum had not previously been evaluated, or it had been evaluated, but only by analytic means, e.g., by complex analysis or modular transformation formulas. We establish both reciprocity and three sum relations for trigonometric sums. Motivated by certain sums that we have evaluated, we add coprime conditions to the summands and thereby define analogues of Ramanujan sums, which we in turn evaluate. One of these analogues leads to a criterion for the Riemann Hypothesis, analogous to the Franel-Landau criterion.
Paper Structure (7 sections, 42 theorems, 148 equations)

This paper contains 7 sections, 42 theorems, 148 equations.

Key Result

Theorem 2.1

If $k$ is an odd positive integer $\geq 3$, then and

Theorems & Definitions (72)

  • Theorem 2.1: Equations (1.5) and (1.6) in HRJ
  • proof
  • Theorem 2.2: Equations (1.7)--(1.10) in HRJ
  • proof : Proof of \ref{['(1.9)']}
  • Theorem 3.1
  • proof
  • Theorem 3.2
  • proof
  • Theorem 3.3
  • proof
  • ...and 62 more