Discrepancy of Farey sequences (Q1975048)

From MaRDI portal
Revision as of 00:27, 30 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Discrepancy of Farey sequences
scientific article

    Statements

    Discrepancy of Farey sequences (English)
    0 references
    0 references
    3 April 2000
    0 references
    The author proves the very remarkable result, that the absolute discrepancy of the Farey sequence of order \(n\), consisting of all rational numbers in the unit interval of denominator smaller or equal to \(n\), is exactly \(1/n\). The right order of growth was already obtained in \textit{H. Niederreiter} [Math. Ann. 201, 341-345 (1973; Zbl 0248.10013)]. An analogous result for the square mean discrepancy is equivalent to the Riemann hypothesis by an old result of Franel. The proof given here is divided into two difficult parts \((n< 10^{110}\) and \(N> 10^{400})\), studies ``major and minor arcs'' and uses upper bounds of an integral related to a summatory function of the Möbius function. One has to estimate carefully several special cases, in particular in connection with rationals of small denominators. Useful is also a concept of truncated convergence, neglecting ``small relative errors'' (of order smaller than \(10^{-100})\).
    0 references
    absolute discrepancy
    0 references
    Farey sequence of order \(n\)
    0 references

    Identifiers