English

A note on the Duffin-Schaeffer conjecture with slow divergence

Number Theory 2018-05-16 v3

Abstract

For a non-negative function ψ: NR\psi: ~ \N \mapsto \R, let W(ψ)W(\psi) denote the set of real numbers xx for which the inequality nxa<ψ(n)|n x - a| < \psi(n) has infinitely many coprime solutions (a,n)(a,n). The Duffin--Schaeffer conjecture, one of the most important unsolved problems in metric number theory, asserts that W(ψ)W(\psi) has full measure provided {equation} \label{dsccond} \sum_{n=1}^\infty \frac{\psi(n) \varphi(n)}{n} = \infty. {equation} Recently Beresnevich, Harman, Haynes and Velani proved that W(ψ)W(\psi) has full measure under the \emph{extra divergence} condition n=1ψ(n)φ(n)nexp(c(loglogn)(logloglogn))=for some c>0. \sum_{n=1}^\infty \frac{\psi(n) \varphi(n)}{n \exp(c (\log \log n) (\log \log \log n))} = \infty \qquad \textrm{for some $c>0$}. In the present note we establish a \emph{slow divergence} counterpart of their result: W(ψ)W(\psi) has full measure, provided\eqref{dsccond} holds and additionally there exists some c>0c>0 such that n=22h+122h+1ψ(n)φ(n)nchfor all h1. \sum_{n=2^{2^h}+1}^{2^{2^{h+1}}} \frac{\psi(n) \varphi(n)}{n} \leq \frac{c}{h} \qquad \textrm{for all \quad $h \geq 1$.}

Keywords

Cite

@article{arxiv.1305.1685,
  title  = {A note on the Duffin-Schaeffer conjecture with slow divergence},
  author = {Christoph Aistleitner},
  journal= {arXiv preprint arXiv:1305.1685},
  year   = {2018}
}

Comments

4 pages; for version 2 some typos have been fixed and a corollary has been added; for version 3, some further minor changes have been made. The manuscript has been accepted for publication by Bull. London Math. Soc

R2 v1 2026-06-22T00:13:11.265Z