The Duffin-Schaeffer Conjecture with extra divergence

Abstract

Given a nonnegative function $ψ: \N \to \R $, let $W(ψ)$ denote the set of real numbers $x$ such that $|nx -a| < ψ(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(ψ)$ is of full Lebesgue measure if there exists an $ε> 0 $ such that $$ \textstyle \sum_{n\in\N}(\frac{ψ(n)}{n})^{1+ε}φ(n)=\infty . $$ The Duffin-Schaeffer Conjecture is the corresponding statement with $ε= 0$ and represents a fundamental unsolved problem in metric number theory. Another consequence is that $W(ψ)$ is of full Hausdorff dimension if the above sum with $ε= 0$ diverges; i.e. the dimension analogue of the Duffin-Schaeffer Conjecture is true.