Explicit estimates of sums related to the Nyman–Beurling criterion for the Riemann Hypothesis

Abstract

We give an estimate for sums appearing in the Nyman–Beurling criterion for the Riemann Hypothesis. These sums contain the Möbius function and are related to the imaginary part of the Estermann zeta function. The estimate is remarkably sharp in comparison to other sums containing the Möbius function. The bound is smaller than the trivial bound – essentially the number of terms – by a fixed power of that number. The exponent is made explicit. The methods intensively use tools from the theory of continued fractions and from the theory of Fourier series.