Théorème de Hardy-Ramanujan

En mathématiques et plus précisément en théorie des nombres, le théorème de Hardy-Ramanujan, demontré par G. H. Hardy et S. Ramanujan en 1917, énonce que ${\textstyle \ln(\ln \,n)}$ est un ordre normal du nombre ${\textstyle \omega (n)}$ de facteurs premiers distincts d'un entier naturel $n$, où ln(x) désigne la fonction logarithme naturel.

Cela signifie que la plupart des nombres ont environ ce nombre de facteurs premiers distincts. Par exemple, le nombre de facteurs premiers d'un entier inférieur à un milliard ${\textstyle (10^{9})}$ est ${\textstyle \ln(\ln \,10^{9})\approx 3,03.}$

Énoncé

Une version plus précise indique que pour toute fonction à valeurs réelles ${\textstyle \psi (n)}$ qui tend vers l'infini quand n → $\infty$, on a :

$$|\omega (n)-\ln(\ln \,n)|<\psi (n){\sqrt {\ln(\ln \,n)}}$$

Cette relation n'est pas valable que pour une proportion infinitésimale de nombres réels. Si $g(x)$ désigne le nombre d'entiers naturels $n$ inférieurs à $x$ pour lesquels l'inégalité ci-dessus n'est pas valide : alors $g(x)/x$ converge vers zéro lorsque $x$ tend vers l'infini.

Preuve

Une autre preuve a été donnée par Pál Turán en 1934. La mathématicien a utilisé le crible de Turán afin de prouver la majoration :

$$\sum _{n\leq x}|\omega (n)-\ln(\ln \,n)|^{2}\ll x\ln(\ln \,x).$$

Ordre Moyen

G. H. Hardy et S. Ramanujan ont aussi montré l'équivalence suivante:

$${\frac {\omega (1)+\omega (2)+\,...+\,\omega (n)}{n}}\sim \ln(\ln \,n)\qquad (n\rightarrow +\infty ).$$

On dit alors que ${\textstyle \ln(\ln \,n)}$ est un ordre moyen de ${\textstyle \omega (n)}$.

Généralisations

Les mêmes résultats sont vrais pour ${\textstyle \Omega (n)}$, le nombre de facteurs premiers de n comptés avec multiplicité. Ce théorème est généralisé par le théorème d'Erdős–Kac, qui montre que $\omega (n)$ est essentiellement normalement distribué.

Voir aussi

• Kuo, Wentang; Liu, Yu-Ru (2008), "The Erdős–Kac theorem and its generalizations", in De Koninck, Jean-Marie ; Granville, Andrew ; Luca, Florian (éd.), Anatomy of integers. D'après l'atelier CRM, Montréal, Canada, 13-17 mars 2006, Actes de CRM et notes de cours, 46, Providence, RI: American Mathematical Society, pp.   209-216, (ISBN 978-0-8218-4406-9), Zbl 1187.11024
• Turán, Pál (1934), "On a theorem of Hardy and Ramanujan", Journal de la London Mathematical Society, 9 (4): 274-276, doi : 10.1112 / jlms / s1-9.4.274, ISSN 0024-6107, Zbl 0010.10401
• Hildebrand, A. (2001) [1994], "H/h110080", dans Hazewinkel, Michiel (éd.), Encyclopedia of Mathematics, Springer Science + Business Media BV / Kluwer Academic Publishers, (ISBN 978-1-55608-010-4)