🔢 mathematics

On divisor sums due to Erd\H{o}s and Ramanujan

Ce papier établit l'ordre de grandeur asymptotique $\sum_{n \leq x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$ pour la somme hybride des diviseurs combinant les problèmes d'Erdős et de Ramanujan en utilisant l'estimation de Golomb pour les nombres puissants et la forme quantitative de Turán du théorème de Hardy-Ramanujan.

Auteurs originaux : John M. Campbell

Publié 2026-05-04

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : John M. Campbell

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes un détective tentant de comprendre les motifs cachés des nombres. Dans le monde des mathématiques, chaque nombre entier (comme 1, 2, 3, 100) possède une « famille » de diviseurs. Par exemple, le nombre 12 a pour diviseurs 1, 2, 3, 4, 6 et 12. Le nombre de ces diviseurs est noté $d(n)$ .

Depuis plus d'un siècle, de célèbres mathématiciens comme Ramanujan et Erdős tentent de déterminer ce qui se produit lorsque l'on additionne ces nombres de diviseurs pour des millions de nombres. Ils ont découvert de beaux motifs prévisibles.

Ce papier, rédigé par John Campbell, aborde un nouveau mystère plus épineux. Au lieu de simplement compter les diviseurs, l'auteur se demande : Que se passe-t-il si l'on prend le réciproque (le « un sur ») d'un nombre de diviseurs très spécifique et compliqué ?

Voici la décomposition de l'histoire du papier, utilisant des analogies simples :

1. Le Contexte : Deux Problèmes Célèbres

Pour comprendre le nouveau problème, nous devons d'abord connaître les deux anciens qu'il combine :

Le Problème de Ramanujan : Imaginez une immense foule de personnes (des nombres). Vous demandez à chacun : « Combien d'amis (diviseurs) avez-vous ? » Ramanujan a déterminé que si l'on additionne les réciproques de ces nombres d'amis (1 divisé par le nombre d'amis), le total croît d'une manière très spécifique et prévisible.
Le Problème d'Erdős : Maintenant, imaginez un jeu de « téléphone arabe ». Vous prenez un nombre, vous comptez ses amis ( $d(n)$ ), puis vous comptez les amis de ce nombre ( $d(d(n))$ ). Erdős a déterminé comment se comporte le total de ces « amis d'amis ».

2. Le Nouveau Mystère : L'« Hybride »

Le papier de Campbell se demande : Et si nous combinions ces deux aspects ?
Au lieu de simplement compter les « amis d'amis » ( $d(d(n))$ ), que se passe-t-il si l'on prend le réciproque de ce nombre ?
$\text{Somme de } \frac{1}{d(d(n))}$

C'est comme demander : « Si je regarde les « amis d'amis » pour chaque nombre jusqu'à un million, et que j'additionne les fractions $1/\text{ce nombre}$ , quel est le total ? »

L'auteur note que ceci est beaucoup plus difficile que les problèmes originaux. Prendre le réciproque revient à augmenter le volume des nombres « bizarres ». Si un nombre a un nombre d'« amis d'amis » très faible, son réciproque devient énorme, déséquilibrant la somme.

3. Le Travail de Détective : Filtrer la Foule

Pour résoudre cela, Campbell a dû diviser la foule de nombres en trois groupes, comme trier une pièce en désordre en tas :

Tas A (Les Nombres « Puissants ») : Ce sont des nombres ayant une structure très lourde et « puissante » (mathématiquement, ils sont divisibles par des carrés de nombres premiers). Campbell a utilisé une règle découverte par Golomb pour montrer que ces nombres sont assez rares pour ne pas trop perturber la somme totale.
Tas B (Les « Valeurs Aberrantes ») : Ce sont des nombres qui ont un nombre étrange de facteurs premiers (soit beaucoup trop, soit beaucoup trop peu). En utilisant un outil statistique classique appelé l'inégalité de Turán (qui est comme un « test de variance » en statistiques), Campbell a prouvé que ces valeurs aberrantes sont également assez rares pour être ignorées dans le calcul principal.
Tas C (Les Nombres « Normaux ») : C'est la vaste majorité des nombres. Pour ceux-ci, le nombre d'« amis d'amis » se comporte bien. Campbell a montré que pour ce groupe, la valeur de $1/d(d(n))$ est à peu près de la même taille pour tout le monde.

4. La Grande Révélation

Après avoir filtré les tas désordonnés (A et B), Campbell a examiné le groupe principal (C). Il a découvert que la somme se comporte d'une manière étonnamment simple.

Le Résultat :
Le total de la somme croît à un taux d'environ :
$\frac{x}{\log(\log x)}$
(Où $x$ est la taille de la foule que vous examinez.)

En termes simples : si vous doublez la taille de votre foule, la somme ne double pas ; elle croît légèrement plus lentement, suivant une courbe spécifique de « double logarithme ».

5. La « Devinette » (Conjecture)

Le papier prouve la taille (l'ordre de grandeur) de cette somme. Cependant, l'auteur fait également une hypothèse audacieuse (une conjecture) :
Tout comme Ramanujan a trouvé un nombre constant spécifique pour son problème, Campbell soupçonne qu'il existe également un nombre constant spécifique pour ce nouveau problème hybride. Il écrit que prouver l'existence de cette constante spécifique est probablement très difficile, similaire à d'autres célèbres problèmes non résolus en mathématiques.

Résumé

John Campbell a pris une énigme mathématique complexe impliquant les « diviseurs de diviseurs » et leurs réciproques. En utilisant un mélange d'outils statistiques anciens et de nouvelles techniques de filtrage, il a prouvé que la somme de ces valeurs croît à un taux prévisible : proportionnelle à la taille des nombres divisée par le logarithme du logarithme de la taille.

C'est l'histoire d'un objet mathématique chaotique et irrégulier, trié en groupes « normaux » et « anormaux », montrant que le groupe « normal » dicte la réponse finale.

1. Énoncé du problème

L'article étudie le comportement asymptotique d'une somme hybride spécifique de diviseurs combinant des éléments de deux problèmes classiques en théorie analytique des nombres :

La somme de diviseurs de Ramanujan : Concerne la somme des inverses de la fonction diviseur, $\sum_{n \le x} \frac{1}{d(n)}$ . Ramanujan (1915) a établi que cette somme se comporte asymptotiquement comme $\frac{x}{\sqrt{\log x}}$ .
La somme de diviseurs d'Erdős : Concerne la somme de la fonction diviseur itérée, $\sum_{n \le x} d(d(n))$ . Erdős (années 1950) a prouvé que cela se comporte comme $c_1 x \log \log x$ .
Le problème des diviseurs de Titchmarsh : Concerne les sommes sur les nombres premiers, spécifiquement $\sum_{p \le x} d(p-1)$ . Des travaux récents de Gabdullin et al. (années 2020) ont analysé la version réciproque $\sum_{p \le x} \frac{1}{d(p-1)}$ , prouvant qu'elle est d'ordre $\frac{x}{(\log x)^{3/2}}$ .

Le problème central :
L'auteur étudie la somme « hybride » formée en prenant l'inverse de la fonction itérée d'Erdős :
$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$
La présence de l'inverse complique considérablement l'analyse car elle amplifie la contribution des entiers $n$ pour lesquels $d(d(n))$ est exceptionnellement petit. L'article vise à déterminer l'ordre de grandeur de $S(x)$ .

2. Méthodologie

La preuve repose sur la décomposition de l'ensemble des entiers $\{n \le x\}$ en ensembles « typiques » et « exceptionnels », la majoration de la contribution des ensembles exceptionnels, et l'estimation du terme principal à l'aide d'outils de théorie probabiliste des nombres.

Outils et définitions clés :

Décomposition de $n$ : Les entiers sont divisés en une partie sans facteur carré $a(n)$ et une partie puissante $b(n)$ (où $n = a(n)b(n)$ ). La fonction diviseur s'exprime comme $d(n) = 2^{\omega(a(n))} d(b(n))$ , où $\omega(n)$ est le nombre de facteurs premiers distincts.
Estimation de Golomb : Utilisée pour borner la densité des nombres puissants. Le nombre de nombres puissants $\le x$ est $O(x^{1/2})$ .
Théorème quantitatif de Hardy–Ramanujan de Turán : Utilise l'inégalité de Turán–Kubilius pour montrer que $\omega(n)$ est normalement distribué autour de $\log \log n$ . Plus précisément, la variance est faible : $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$ .
Sommation d'Abel : Appliquée pour sommer sur les nombres puissants afin de dériver des bornes.

Stratégie de preuve (Décomposition par lemme) :
L'auteur partitionne l'intervalle de sommation $n \le x$ en trois ensembles disjoints pour borner la somme par le haut et par le bas :

Ensemble $B_1(x)$ (Partie puissante grande) : Entiers où la partie puissante $b(n) > (\log \log x)^2$ .
- Méthode : En utilisant l'estimation de Golomb et la sommation d'Abel, l'auteur prouve que le nombre de tels entiers est faible ( $\ll \frac{x}{\log \log x}$ ). Puisque $\frac{1}{d(d(n))} \le 1$ , leur contribution totale est négligeable.
Ensemble $B_2(x)$ (Facteurs premiers atypiques) : Entiers où $\omega(n)$ s'écarte significativement de la moyenne $\log \log x$ (spécifiquement en dehors de $[\frac{1}{2}\log \log x, 2\log \log x]$ ).
- Méthode : En utilisant l'estimation de variance de Turán (Éq. 15), l'auteur montre que le nombre de tels entiers est $\ll \frac{x}{\log \log x}$ . Leur contribution est également négligeable.
Ensemble $B_3(x)$ (Entiers sans facteur carré typiques) : Entiers qui sont sans facteur carré et dont $\omega(n)$ se situe dans la plage normale.
- Méthode : Pour $n$ sans facteur carré, $d(n) = 2^{\omega(n)}$ . Par conséquent, $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$ .
- Puisque $\omega(n) \approx \log \log x$ , le terme $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$ .
- La densité des nombres sans facteur carré est $\frac{6}{\pi^2}x$ . L'auteur prouve que la somme sur cet ensemble fournit la borne inférieure dominante.

3. Contributions et résultats clés

Théorème principal :
L'article établit l'ordre de grandeur pour la somme hybride :
$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$
Cela signifie qu'il existe des constantes positives $c_{min}$ et $c_{max}$ telles que pour $x$ suffisamment grand :
$c_{min} \frac{x}{\log \log x} \le \sum_{n \le x} \frac{1}{d(d(n))} \le c_{max} \frac{x}{\log \log x}$

Conjecture :
Par analogie avec l'équivalence asymptotique conjecturée pour l'hybride Titchmarsh-Ramanujan (Gabdullin et al.), l'auteur conjecture une formule asymptotique précise :
$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$
pour une certaine constante $c_3 \in (0, \infty)$ . L'auteur note que prouver l'existence de cette constante spécifique est probablement un problème difficile, similaire à la difficulté de la conjecture Titchmarsh-Ramanujan.

4. Importance

Pont entre problèmes classiques : L'œuvre unifie avec succès l'étude de la somme de diviseurs itérée d'Erdős et de la somme de diviseurs réciproque de Ramanujan, créant un nouveau problème « hybride » en théorie analytique des nombres.
Gestion des réciproques : Elle démontre comment traiter les difficultés analytiques introduites par les inverses dans les sommes de diviseurs, spécifiquement comment les cas de « petits diviseurs » (entiers avec peu de diviseurs) dominent le comportement de la somme.
Application méthodologique : L'article combine efficacement les bornes de Golomb sur les nombres puissants avec les estimations probabilistes de Turán sur la distribution des facteurs premiers pour résoudre un problème où les techniques multiplicatives standard (comme la méthode de l'hyperbole de Dirichlet) échouent en raison du caractère non multiplicatif de $d(d(n))$ .
Perspectives futures : L'article prépare le terrain pour de futures recherches sur la constante précise $c_3$ et l'application potentielle de techniques hybrides similaires à d'autres fonctions arithmétiques itérées.

En résumé, Campbell prouve que la somme des inverses de la fonction diviseur itérée croît comme $\frac{x}{\log \log x}$ , un résultat qui est plus lent que la croissance linéaire de la somme d'Erdős non réciproque mais plus rapide que la croissance $\frac{x}{\sqrt{\log x}}$ de la somme réciproque standard de Ramanujan.