Abstract
The rational numbers a/q in [0, 1] can be counted by increasing height H(a/q) = max(a, q), or ordered as real numbers. Franel’s identity shows that the Riemann hypothesis is equivalent to a strong bound for a measure of the independence of these two orderings. We give a proof using Dedekind sums that allows weights w(q). Taking w(q) = χ(q) we find an extension to Dirichlet L-functions.
Similar content being viewed by others
References
M. Aigner and G. M. Ziegler, Proofs from the Book (Springer, Berlin, 1998).
P. Codecà and M. Nair, “Extremal Values of Δ(x, N) = Σ n < xN, (n, N) = 1 1 − xρ(N),” Can. Math. Bull. 41(3), 335–347 (1998).
J. Franel, “Les suites de Farey et le problème des nombres premiers,” Gött. Nachr., 198–201 (1924).
G. R. H. Greaves, R. R. Hall, M. N. Huxley, and J. C. Wilson, “Multiple Franel Integrals,” Mathematika 40, 51–70 (1993).
R. R. Hall and P. Shiu, “The Index of a Farey Sequence,” Mich. Math. J. 51, 209–223 (2003).
M. N. Huxley, “The Distribution of Farey Points. I,” Acta Arith. 18, 281–287 (1971).
S. Kanemitsu and M. Yoshimoto, “Farey Series and the Riemann Hypothesis,” Acta Arith. 75, 351–374 (1996).
A. Ya. Khinchin, Three Pearls of Number Theory (Gostekhizdat, Moscow, 1947; Graylock Press, Rochester, NY, 1952).
E. Landau, Vorlesungen über Zahlentheorie (S. Hirzel, Leipzig, 1927).
G. J. Rieger, “Dedekindsche Summen in algebraischen Zahlkörpern,” Math. Ann. 141, 377–383 (1960).
I. M. Vinogradov, “Sur la distribution des résidus et des non-résidus des puissances,” Zh. Fiz.-Mat. Obshch. Permsk. Univ. 1, 94–98 (1918).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the 75th birthday of A.A. Karatsuba
Rights and permissions
About this article
Cite this article
Huxley, M.N. Identities involving Farey fractions. Proc. Steklov Inst. Math. 276, 125–139 (2012). https://doi.org/10.1134/S0081543812010105
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543812010105