Conjecture de Duffin-Schaeffer

La conjecture de Duffin-Schaeffer est une conjecture (maintenant un théorème) en mathématiques, concernant l'approximation diophantienne proposée par R. J. Duffin et A. C. Schaeffer en 1941. Elle stipule que si $f:\mathbb{N}\to {ℝ}^{+}$ est une fonction à valeurs réelles prenant des valeurs positives, alors pour presque tout $\alpha$ (par rapport à la mesure de Lebesgue), l'inégalité

$|\alpha -\frac{p}{q}|<\frac{f(q)}{q}$

a une infinité de solutions en $p,q$ entiers premiers entre eux avec $q>0$ si et seulement si

$\sum _{q=1}^{\mathrm{\infty }}f(q)\frac{\phi (q)}{q}=\mathrm{\infty },$

où $\phi (q)$ est l'indicatrice d'Euler.

En 2019, la conjecture de Duffin-Schaeffer a été prouvée par Dimitris Koukoulopoulos et James Maynard.

Progrès

L'implication de l'existence des approximations rationnelles par la divergence de la série découle du lemme de Borel-Cantelli. La reciproque était le cœur de la conjecture. Il y a eu de nombreux résultats partiels de la conjecture de Duffin-Schaeffer : Paul Erdős a établi en 1970 que la conjecture est vraie s'il existe une constante $c>0$ tel que pour tout entier $n$ nous avons soit $f(n)=c/n$ ou $f(n)=0$Modèle:,. Cela a été renforcé par Jeffrey Vaaler en 1978 pour le cas $f(n)=O(n^{-1})$Modèle:,.

En 2006, Beresnevich et Velani ont prouvé qu'une conjecture analogue pour la mesure de Hausdorff est équivalente à la conjecture originale de Duffin-Schaeffer, qui est a priori plus faible. Ce résultat est publié dans les Annals of Mathematics.

En juillet 2019, Dimitris Koukoulopoulos et James Maynard ont annoncé une preuve de la conjecture. En juillet 2020, la preuve a été publiée dans les Annals of Mathematics.

Problèmes connexes

Un analogue de dimension supérieure de cette conjecture a été résolu par Vaughan et Pollington en 1990Modèle:,Modèle:,.

Références

• Modèle:Ouvrage
• Modèle:Ouvrage

Liens externes

• Modèle:En Article du magazine Quanta sur la conjecture de Duffin-Schaeffer.
• Modèle:En Interview de Numberphile avec James Maynard à propos de la preuve.