On Maximal Values of Gronwall Numbers for Integers with Given Greatest Prime Factor and Remainder in Modified Mertens Formula

Titre de l'article

Sur les valeurs maximales des nombres de Gronwall pour les entiers avec un plus grand facteur premier donné et le reste dans la formule de Mertens modifiée.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie analytique des nombres, plus précisément dans l'étude des fonctions arithmétiques liées aux diviseurs et à l'hypothèse de Riemann (HR).

• Nombres de Gronwall : Soit $\sigma(N)$ la somme des diviseurs de $N$. Les nombres de Gronwall sont définis par $G(N) = \frac{\sigma(N)}{N \log \log N}$. En 1913, Gronwall a démontré que $\limsup_{N \to \infty} G(N) = e^\gamma$, où $\gamma$ est la constante d'Euler-Mascheroni.
• Lien avec l'Hypothèse de Riemann : Ramanujan (1915) et Robin (1983) ont établi que l'inégalité $G(N) < e^\gamma$ pour tout $N > 5040$ est équivalente à l'Hypothèse de Riemann.
• Formule de Mertens modifiée : L'article se concentre sur la formule asymptotique modifiée de Mertens pour la somme des inverses des nombres premiers :
  $$S(x) = \sum_{p \le x} \frac{\log p}{p-1} = \log \log \theta(x) + \gamma + Q(x)$$
  où $\theta(x)$ est la première fonction de Chebyshev et $Q(x)$ est le terme d'erreur (reste).
• Objectif : L'auteur cherche à établir une relation limite inconditionnelle (sans supposer la validité de l'HR) entre le reste $Q(p_k)$ de cette formule et les valeurs maximales des nombres de Gronwall, notées $\tilde{G}_k$, parmi les entiers $N$ dont le plus grand facteur premier est $p_k$ et qui sont multiples du primorial $P_k = p_1 \dots p_k$.

2. Méthodologie

L'approche de Kalyabin combine l'analyse asymptotique fine, la théorie des nombres multiplicatifs et l'optimisation discrète.

• Définition des ensembles :
  • $W_k$ : Ensemble des entiers $N$ dont le plus grand facteur premier est $p_k$.
  • $\tilde{W}_k$ : Sous-ensemble de $W_k$ où $N$ est divisible par tous les premiers $p_j \le p_k$ (c'est-à-dire que tous les exposants dans la factorisation sont strictement positifs).
  • L'auteur étudie les maxima $\tilde{G}_k = \max \{G(N) : N \in \tilde{W}_k\}$.
• Classes de nombres "G-improvable" : L'article utilise des classes d'entiers introduites précédemment par l'auteur, notamment la classe $U_1$ des nombres "uniquement G-improvable" (où multiplier par un nombre premier ne peut pas augmenter $G(N)$). L'auteur définit des versions locales $U_{1,k}$ pour les entiers de $W_k$.
• Construction explicite et bornes :
  • Partie inférieure (Théorème 1, Partie I) : Construction explicite d'une suite d'entiers $M_k \in \tilde{W}_k$ dont les exposants sont choisis de manière à maximiser $G(N)$, en utilisant des approximations de Taylor et des estimations de sommes de séries sur les nombres premiers.
  • Partie supérieure (Théorème 1, Partie II) : Utilisation des propriétés des nombres dans $U_{1,k}$ (monotonie des exposants, relations d'inégalités impliquant des fonctions auxiliaires $\xi(p, \alpha)$ et $\nu(p, \eta)$) pour prouver que tout autre entier dans $\tilde{W}_k$ donne une valeur de $G(N)$ inférieure à celle de ces maxima.
• Analyse asymptotique : L'auteur résout des équations transcendantes pour trouver les exposants optimaux (traités comme des réels continus dans une première étape, puis ajustés) et développe les termes d'erreur en fonction de $p_k$.

3. Résultats Principaux

Le résultat central est le Théorème 1, qui établit une relation limite inconditionnelle précise.

Soit $Q_k = Q(p_k)$ le reste dans la formule de Mertens modifiée évaluée en $p_k$, et $\tilde{g}_k = \log \tilde{G}_k$. Le théorème affirme :

$$\liminf_{k \to \infty} (\tilde{g}_k - \gamma - Q_k) \sqrt{p_k} \log p_k = -2\sqrt{2}$$

Cela se décompose en deux assertions :

1. Existence d'une suite optimisante : Il existe une suite constructible d'entiers $M_k \in \tilde{W}_k$ telle que pour tout $\epsilon > 0$ et $k$ suffisamment grand :
   $$\tilde{g}_k \ge \log G(M_k) > S(p_k) - \log \log \theta(p_k) - \frac{2\sqrt{2} + \epsilon}{\sqrt{p_k} \log p_k}$$
2. Bornes supérieures universelles : Il existe un ensemble infini d'indices $E$ tel que pour tout $k \in E$ et tout $N \in \tilde{W}_k$ :
   $$\log G(N) \le \tilde{g}_k < S(p_k) - \log \log \theta(p_k) - \frac{2\sqrt{2} - \epsilon}{\sqrt{p_k} \log p_k}$$

Structure des entiers maximaux :
L'article décrit également la structure des entiers $N$ où ces maxima sont atteints. Pour $k \in E$, les exposants $\alpha_j$ de la factorisation $N = \prod p_j^{\alpha_j}$ sont décroissants ($\alpha_1 \ge \alpha_2 \ge \dots \ge \alpha_k = 1$) et satisfont des inégalités précises liant $\log N$ aux fonctions $\xi(p, \alpha)$. La taille de ces entiers est approximativement $\log N \approx \theta_k + \sqrt{2\theta_k}$.

4. Contributions Clés

1. Résultat Inconditionnel : Contrairement à de nombreux résultats liés à l'inégalité de Robin qui dépendent de l'Hypothèse de Riemann, ce résultat est prouvé sans aucune hypothèse non prouvée. Il décrit le comportement asymptotique exact de l'écart entre les valeurs maximales de Gronwall et la constante $e^\gamma$.
2. Lien Quantitatif Précis : L'article établit un lien quantitatif direct entre le terme d'erreur de la formule de Mertens modifiée ($Q_k$) et la déviation des nombres de Gronwall maximaux par rapport à $e^\gamma$. Le terme dominant de cette déviation est $-2\sqrt{2}/(\sqrt{p_k} \log p_k)$.
3. Caractérisation des Extrema : L'auteur fournit une caractérisation fine des entiers qui atteignent ces maxima locaux, définissant des classes d'entiers ($U_{1,k}$) et des algorithmes pour les construire (via la suite $V_k$).
4. Outils Analytiques : Introduction et utilisation de nouvelles fonctions auxiliaires ($\xi, \nu$) pour caractériser les conditions d'optimalité locale de la fonction $G(N)$.

5. Signification et Perspectives

• Pour l'Hypothèse de Riemann : Bien que le résultat soit inconditionnel, il offre une nouvelle perspective sur l'inégalité de Robin. La compréhension fine de la structure des entiers qui "menacent" de violer l'inégalité de Robin (ceux qui maximisent $G(N)$) est cruciale. Si l'on pouvait prouver que pour tout $k$, le maximum global $g_k$ (sans restriction sur les exposants nuls) suit la même loi, cela pourrait éclairer la voie vers une preuve ou un contre-exemple de l'HR.
• Analyse Asymptotique : Le papier affine considérablement notre compréhension du comportement des sommes de diviseurs pour les entiers à facteur premier maximal fixé, au-delà des estimations grossières habituelles.
• Fondements Théoriques : Il renforce le lien entre la distribution des nombres premiers (via $\theta(x)$ et la formule de Mertens) et les propriétés multiplicatives extrêmes des entiers.

En résumé, cet article apporte une avancée technique majeure en quantifiant précisément la "déviation" des nombres de Gronwall maximaux par rapport à la constante $e^\gamma$, en la reliant directement au reste de la formule de Mertens, le tout sans dépendre de l'Hypothèse de Riemann.