🔢 mathematics

Exceptional sets for compositions involving Euler's function,the divisor-sum function and Dedekind's function

Cet article établit des bornes supérieures quantitatives et des estimations de densité nulle pour les ensembles exceptionnels d'entiers impliquant des compositions des fonctions de l'indicatrice d'Euler, de Dedekind et de la somme des diviseurs, affinant ainsi les résultats de densité précédents de Sandor, Dixit et Bhattacharjee.

Auteurs originaux : Aimin Guo

Publié 2026-08-21

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Aimin Guo

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

Dans le vaste paysage de la théorie des nombres, les mathématiciens étudient souvent la manière dont les nombres se comportent lorsqu'ils sont décomposés en leurs éléments constitutifs. Trois outils spécifiques sont utilisés pour mesurer ces propriétés. Le premier outil est une variante de la somme des diviseurs, ajoutant une touche particulière à la façon dont ces diviseurs sont calculés afin de créer un profil légèrement différent pour chaque nombre. Le deuxième outil compte combien de nombres plus petits peuvent entrer dans un nombre donné sans laisser de reste, une mesure de sa structure interne. Le troisième outil additionne tous les diviseurs d'un nombre, donnant une idée de son poids total dans le monde des facteurs. Bien que ces outils fonctionnent bien individuellement, les mathématiciens sont curieux depuis longtemps de savoir ce qui se passe lorsqu'ils sont empilés les uns sur les autres. Si vous prenez un nombre, appliquez un outil, puis appliquez immédiatement un autre outil au résultat, le nombre final reste-t-il proche de l'original, ou s'en éloigne-t-il considérablement ? Cette question de la manière dont ces fonctions interagissent lorsqu'elles sont composées est au cœur d'une nouvelle étude qui cherche à cartographier les rares exceptions où ces relations mathématiques rompent leurs schémas habituels.

Pendant des décennies, une conjecture spécifique suggérait que lorsque l'on applique le deuxième outil au résultat du premier pour tout nombre supérieur à un, le résultat serait toujours plus petit que le nombre de départ. C'était une règle ordonnée et prévisible qui semblait se tenir pour les dix mille premiers nombres vérifiés. Cependant, cette règle a finalement été prouvée fausse. Un contre-exemple spécifique a été trouvé au nombre 39 270, où le processus a en réalité produit un résultat plus grand que l'original. Bien que cette exception unique ait brisé l'idée d'une règle universelle, la nouvelle recherche confirme que de telles exceptions sont incroyablement rares. L'étude démontre qu'en examinant des collections de nombres de plus en plus grandes, la proportion de ceux qui violent le comportement attendu devient dérisoire. En fait, les chercheurs ont calculé des limites précises sur le nombre de tels atypiques pouvant exister dans n'importe quel intervalle, montrant que la grande majorité des nombres suivent toujours la tendance attendue, même si la règle n'est pas absolue.

L'article se concentre sur quatre combinaisons spécifiques de ces outils mathématiques. Les chercheurs ont étudié ce qui se passe lorsque le deuxième outil est appliqué au résultat du premier, lorsque le deuxième outil est appliqué à la somme des diviseurs, lorsque le premier outil est appliqué à lui-même, et lorsque le premier outil est appliqué à la somme des diviseurs. Pour les deux premières combinaisons, l'équipe a établi des limites supérieures strictes sur le nombre d'entiers qui produisent des résultats inhabituellement grands. Ils ont trouvé que le nombre de ces cas « exceptionnels » croît beaucoup plus lentement que le nombre total d'entiers examinés. Plus précisément, ils ont amélioré les estimations précédentes en montrant que le décompte de ces nombres rares est nettement inférieur à ce que les mathématiciens précédents avaient prédit, affinant ainsi la compréhension de la rapidité avec laquelle ces anomalies disparaissent à mesure que les nombres augmentent.

L'étude a également examiné les cas où les résultats étaient inhabituellement petits. Lorsque le premier outil est appliqué deux fois, ou lorsqu'il est appliqué à la somme des diviseurs, les chercheurs ont prouvé que le nombre d'entiers résultant en une valeur inférieure à une fraction fixe de l'original est également négligeable. Ils ont montré que ces ensembles de nombres sont si clairsemés qu'ils disparaissent effectivement du paysage de tous les entiers à mesure que l'intervalle s'étend. Cela a été réalisé en développant une méthode pour compter combien de nombres évitent d'avoir certains petits facteurs premiers, une technique qui a permis à l'équipe de borner la taille de ces groupes exceptionnels avec une grande précision.

Au-delà de ces limites fixes, les chercheurs ont exploré un scénario plus flexible où le seuil de ce qui compte comme une « exception » est autorisé à changer lentement à mesure que les nombres augmentent. Même avec cette complexité ajoutée, les résultats ont tenu bon. L'étude a confirmé que tant que le seuil croît à un rythme modéré, le nombre d'entiers qui ne respectent pas la condition reste une fraction infime du total. Cela suggère un ordre sous-jacent robuste dans la manière dont ces fonctions arithmétiques interagissent, où les écarts par rapport à la norme sont non seulement rares, mais mathématiquement contraints à être presque inexistants dans le grand schéma des choses. Le travail ne prétend pas avoir trouvé les limites absolues les meilleures, reconnaissant qu'il peut y avoir de la place pour un affinement supplémentaire, mais il fournit une image bien plus nette et plus précise du comportement de ces fonctions composées que ce qui était disponible auparavant.

Résumé Technique : Ensembles Exceptionnels pour les Compositions Impliquant la Fonction d'Euler, la Fonction Somme des Diviseurs et la Fonction de Dedekind

Énoncé du Problème
Cet article étudie la distribution des entiers $n$ pour lesquels des compositions spécifiques de fonctions arithmétiques classiques s'écartent significativement de leur magnitude attendue. Plus précisément, l'auteur étudie les « ensembles exceptionnels » où les valeurs de $\phi(\psi(n))$ , $\phi(\sigma(n))$ , $\psi(\psi(n))$ et $\psi(\sigma(n))$ sont soit inhabituellement grandes, soit inhabituellement petites par rapport à $n$ .

Ici, $\phi(n)$ est la fonction totient d'Euler, $\psi(n)$ est la fonction arithmétique de Dedekind et $\sigma(n)$ est la fonction somme des diviseurs. Bien que ces fonctions soient multiplicatives, leurs compositions perdent généralement cette propriété, rendant les théories classiques des fonctions multiplicatives inapplicables. L'étude se concentre sur l'affinement des résultats qualitatifs de densité nulle (établis par Sándor et d'autres) en bornes supérieures quantitatives pour la taille de ces ensembles exceptionnels.

Méthodologie
Les preuves reposent sur trois ingrédients analytiques primaires :

Estimations de Produits sur les Primes : Utilisation de formules asymptotiques pour les produits de la forme $\prod (1 \pm 1/p)$ pour borner les valeurs des fonctions.
Estimations de Crible : Application de méthodes de crible pour estimer la proportion d'entiers dépourvus de certains facteurs premiers spécifiques. Un composant clé est le Lemme 2.4, qui établit une borne supérieure pour le nombre d'entiers $n \le x$ tels que un nombre premier $p$ donné ne divise pas $\psi(n)$ . Cela adapte les arguments de crible précédemment utilisés par Dixit et Bhattacharjee.
Résultats sur les Petits Diviseurs Premiers : Exploitation des résultats existants (Guo et al., Sándor) stipulant que pour presque tout $n$ , $\psi(n)$ , $\sigma(n)$ et $\phi(n)$ sont divisibles par toutes les puissances de petits nombres premiers jusqu'à un seuil d'environ $c \frac{\log_2 x}{\log_3 x}$ .

La stratégie générale consiste à :

Définir un ensemble exceptionnel $E(x)$ de taille $O(x/(\log_3 x)^2)$ où la propriété des petits diviseurs premiers échoue.
Pour $n \notin E(x)$ , utiliser la divisibilité de $\psi(n)$ ou $\sigma(n)$ par de petits nombres premiers pour borner la composition par le haut ou par le bas.
Appliquer l'inégalité de Markov aux inégalités résultantes (par exemple, $\psi(n)/n > c \log y_x$ ) pour borner le décompte des entiers satisfaisant la condition.
Utiliser la sommation partielle sur les formules asymptotiques connues de $\sum \psi(n)$ et $\sum \sigma(n)$ .

Contributions Clés et Résultats

1. Affinements Quantitatifs pour $\phi(\psi(n))$ et $\phi(\sigma(n))$
L'article fournit des bornes supérieures explicites pour le nombre d'entiers $n \le x$ satisfaisant $\phi(\psi(n)) \ge cn$ et $\phi(\sigma(n)) \ge cn$ pour un $c > 0$ fixé.

Résultat pour $\phi(\psi(n))$ : Le décompte est borné par $\left(\frac{15}{\pi^2 c} + o(1)\right) \frac{x}{\log_3 x}$ . Ceci affine le résultat qualitatif de densité nulle de Sándor.
Résultat pour $\phi(\sigma(n))$ : Le décompte est borné par $\left(\frac{\pi^2}{6c} + o(1)\right) \frac{x}{\log_3 x}$ . Cela améliore le résultat de Dixit et Bhattacharjee, qui obtenaient une borne d'ordre $x/\log^4 x$ ; le présent travail améliore l'ordre à $x/\log^3 x$ .

2. Seuils Variables
L'auteur généralise le seuil fixe $c$ à des fonctions non décroissantes $g(n)$ et $h(n)$ satisfaisant $g(x), h(x) = o(\log_3 x)$ .

La taille de l'ensemble $\{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ est montrée être de $O\left(\frac{x}{g(x) \log_3 x}\right)$ .
De même, l'ensemble $\{n \le x : \phi(\sigma(n)) \ge n/h(n)\}$ est borné par $O\left(\frac{x}{h(x) \log_3 x}\right)$ .
Les deux résultats confirment que ces ensembles ont une densité nulle.

3. Bornes Inférieures pour les Itérés de $\psi$
Le papier établit des estimations quantitatives de densité nulle pour les entiers où le second itéré de la fonction de Dedekind est petit : $\psi(\psi(n)) \le cn$ et $\psi(\sigma(n)) \le cn$ .

Résultat : Pour un $c > 0$ fixé, il existe une constante $z_c$ telle que le décompte est $\ll_c x \left(\frac{\log_2 x}{\log x}\right)^{1/z_c}$ .
Cela implique que les ensembles ont une densité nulle. La preuve repose sur la démonstration que si $\psi(\psi(n)) \le cn$ , alors $\psi(n)$ doit manquer un produit de petits nombres premiers, un événement de faible probabilité dérivé des estimations de crible.
Corollaire : Ce résultat s'étend à l'itéré $k$ -ième $\psi^{(k)}(n)$ pour tout $k \ge 2$ fixé.

Signification et Revendications
L'article prétend fournir des affinements quantitatifs de résultats qualitatifs précédemment connus.

Il corrige l'ordre de grandeur de la borne supérieure de l'ensemble exceptionnel associé à $\phi(\sigma(n))$ , passant de $x/\log^4 x$ à $x/\log^3 x$ .
Il établit les premières estimations quantitatives pour les ensembles exceptionnels impliquant que $\psi(\psi(n))$ et $\psi(\sigma(n))$ sont petits.
L'auteur note explicitement dans les remarques finales que les bornes supérieures dérivées ne sont pas revendiquées comme étant optimales. L'utilisation de l'inégalité de Markov sur un sur-ensemble de l'ensemble exceptionnel cible introduit une perte potentielle de précision.

Ce travail s'inscrit dans le contexte plus large de l'étude des compositions et des itérés de fonctions arithmétiques, s'appuyant sur les travaux fondamentaux d'Alaoglu, Erdős, Granville, Pomerance, Spiro, Sándor et d'autres. Il clarifie la fréquence des comportements « exceptionnels » de ces fonctions composées, démontrant que bien que des contre-exemples à des inégalités comme $\phi(\psi(n)) \le n$ existent (par exemple, $n=39270$ ), ils sont rares.

Articles similaires