🔢 mathematics

Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

Cet article établit le développement asymptotique complet de la somme de Mertens additive $S_k(x)$ , dérivant son comportement de premier ordre en $x^{k-1}/\log^k x$ et fournissant des formules explicites pour les coefficients du développement en termes d'intégrales logarithmiques multiples, avec des résultats pleinement explicites pour les premiers termes pour un $k$ général et une séquence complète sous forme fermée pour le cas $k=2$ .

Auteurs originaux : Daoyi Peng, Hao Liu

Publié 2026-07-13

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Daoyi Peng, Hao Liu

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 avez un sac géant de nombres premiers — les blocs de construction des mathématiques comme 2, 3, 5, 7, et ainsi de suite. Maintenant, imaginez que vous en choisissez $k$ au hasard (où $k$ est au moins égal à 2) et que vous les additionnez. Le papier pose une question très spécifique. Si vous prenez l'inverse de cette somme (1 divisé par la somme) et que vous additionnez toutes les combinaisons possibles de ces nombres premiers jusqu'à un nombre immense $x$ , à quoi ressemble le total ?

C'est ce qu'on appelle la somme de Mertens additive, notée $S_k(x)$ .

La grande surprise : ce n'est pas ce à quoi vous vous attendiez

Pendant longtemps, les mathématiciens étaient obsédés par une version multiplicative de ce problème. Dans cette version, au lieu d'additionner les nombres premiers, on les multiplie (comme $p_1 \times p_2 \times \dots$ ). Cette version croît très lentement, comme un murmure qui ne s'amplifie que si l'on double le clic de la souris de façon répétée (mathématiquement, elle croît comme $(\log \log x)^k$ ).

Mais ce papier renverse la situation. Les auteurs, Daoyi Peng et Hao Liu, ont découvert que lorsqu'on additionne les nombres premiers au lieu de les multiplier, la somme explose beaucoup plus vite. Elle ne murmure pas ; elle crie. Le terme principal de cette somme croît comme $\frac{x^{k-1}}{(\log x)^k}$ .

Pour visualiser cela : si la version multiplicative est un escargot grimpant le long d'un mur, la version additive est une fusée qui décolle, mais avec un taux de consommation de carburant très spécifique et prévisible.

La recette maîtresse : une expansion asymptotique complète

Le papier ne se contente pas de vous donner la vitesse de la fusée ; il écrit la recette complète de toute sa trajectoire de vol. Ils ont prouvé que lorsque $x$ tend vers l'infini, on peut décrire $S_k(x)$ avec une formule précise :

$S_k(x) \approx \frac{x^{k-1}}{(\log x)^k} \times \left( \text{Constante}_0 + \frac{\text{Constante}_1}{\log x} + \frac{\text{Constante}_2}{(\log x)^2} + \dots \right)$

Voyez cela comme un télescope de haute précision. Le premier terme ( $\text{Constante}_0$ ) vous donne une image floue des étoiles. Le terme suivant ( $\text{Constante}_1$ ) affine la mise au point. Le suivant ( $\text{Constante}_2$ ) rend l'image parfaitement nette. Les auteurs ont prouvé que l'on peut continuer à ajouter ces « boutons de réglage » indéfiniment pour obtenir une meilleure et meilleure approximation.

Les ingrédients secrets : les coefficients

La véritable magie réside dans la détermination de ce que sont réellement ces « Constantes ». Les auteurs ont découvert que ces nombres ne sont pas aléatoires ; ils sont cachés à l'intérieur d'intégrales multidimensionnelles complexes (imaginez mesurer le volume d'une forme qui existe dans $k$ dimensions, où la forme est définie par des logarithmes).

Ils ont réussi à décrypter le code pour les premiers ingrédients :

Le premier ingrédient ( $E_{k,0}$ ) : Ils ont trouvé une formule propre sous forme fermée pour celui-ci. Par exemple, si vous avez 2 nombres premiers ( $k=2$ ), ce nombre est $2 \log 2$ .
Le deuxième ingrédient ( $E_{k,1}$ ) : Celui-ci est un peu plus complexe, impliquant des constantes mathématiques célèbres comme $\pi^2$ et des fonctions spéciales appelées polylogarithmes ( $\text{Li}_2$ ).
Le troisième ingrédient ( $E_{k,2}$ ) : Ici, les choses se corsent. Les auteurs ont pu écrire une formule parfaite pour la partie « diagonale » de cet ingrédient (où les variables se comportent bien), mais la partie « croisée » (où les variables se mélangent de manière désordonnée) devient un cauchemar pour $k \ge 5$ .

Crucialement, le papier exclut explicitement une formule simple et unifiée pour le troisième ingrédient lorsque $k$ est grand (5 ou plus). Bien qu'ils puissent le calculer pour de petits cas comme $k=2, 3, 4$ , les mathématiques deviennent si emmêlées avec des valeurs étranges de polylogarithmes qu'ils admettent qu'une expression unique et élégante sous forme fermée pour tout $k$ n'existe probablement pas de la manière dont nous l'espérons. Ils ne disent pas seulement que « c'est difficile » ; ils montrent que la structure change fondamentalement, introduisant de nouveaux types de nombres qui ne s'accordent pas avec les anciens.

Le cas particulier : $k=2$

Lorsque vous ne choisissez que deux nombres premiers ( $k=2$ ), les auteurs ont trouvé un « ticket doré ». Ils ont découvert que toute la séquence de coefficients ( $E_{2,0}, E_{2,1}, E_{2,2}, \dots$ ) suit un motif unique et magnifique impliquant la fonction êta de Dirichlet et la fonction zêta de Riemann. C'est comme découvrir que toute la série infinie des boutons de réglage pour un télescope spécifique peut être décrite par une seule équation élégante.

À quel point sont-ils sûrs d'eux ?

Les auteurs sont extrêmement confiants dans leur résultat principal. Ils n'ont pas simplement deviné ; ils l'ont prouvé en utilisant des outils rigoureux comme le théorème des nombres premiers et les développements de Taylor multivariés.

La preuve : Ils ont démontré mathématiquement que l'erreur dans leur formule diminue plus vite que n'importe quelle puissance de $\log x$ à mesure que $x$ devient immense.
Les chiffres : Pour appuyer leur théorie, ils ont effectué de vastes simulations informatiques.
- Pour $k=2$ , ils ont testé des nombres jusqu'à $5\,000\,000$ . L'approximation n'était décalée que de 0,2 % en utilisant seulement les cinq premiers termes de leur formule.
- Pour $k=3$ , ils ont testé jusqu'à $10\,000\,000$ . La formule à trois termes présentait une erreur d'environ 1,3 %.
- Ils ont également remarqué quelque chose de fascinant : si l'on arrête la formule trop tôt pour de petits nombres, elle devient moins précise. C'est la nature d'une série « asymptotique » — c'est comme une carte qui devient plus précise à mesure que l'on voyage, mais si l'on essaie d'utiliser la partie « lointaine » de la carte pour naviguer dans son propre jardin, on risque de s'égarer.

L'essentiel

Ce papier résout un mystère de longue date sur la manière dont les sommes des réciproques des nombres premiers se comportent lorsqu'on les additionne. Il remplace une supposition vague par une recette infinie et précise. Bien qu'ils aient décrypté le code pour les premières étapes de la recette (et la recette entière pour le cas le plus simple de deux nombres premiers), ils ont également tracé une ligne claire dans le sable : pour des cas plus complexes avec de nombreux nombres premiers, les ingrédients des « termes croisés » sont trop désordonnés pour être écrits dans une seule formule simple. Les mathématiques sont là, elles sont prouvées, et elles ont été testées, mais la dernière pièce du puzzle pour un grand $k$ reste un nœud magnifique et non résolu.

Résumé Technique : Développement Asymptotique Complet de la Somme de Mertens Additive $S_k(x)$

Énoncé du Problème
Le document traite du comportement asymptotique de la somme de Mertens additive, définie pour un entier $k \ge 2$ et $x > 2$ par :
$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$
où les $p_i$ sont des nombres premiers. Alors que l'analogue multiplicatif (somme de Mertens généralisée $\sum 1/(p_1 \cdots p_k)$ ) est bien étudié avec un terme principal d'ordre $(\log \log x)^k$ , la somme additive présente une vitesse de croissance fondamentalement différente. Des bornes élémentaires dérivées de l'inégalité AM-GM et du Théorème des Nombres Premiers (PNT) suggèrent que le terme principal est d'ordre $x^{k-1}/\log^k x$ . L'objectif principal de ce travail est d'établir le développement asymptotique complet de $S_k(x)$ , en déterminant les coefficients exacts de la série et en fournissant des expressions de forme fermée pour les premiers termes.

Méthodologie
Les auteurs emploient une combinaison de techniques de la théorie analytique des nombres et de l'analyse réelle :

Représentation par Intégrale de Stieltjes : La somme est reformulée comme une intégrale de Stieltjes à $k$ variables impliquant la fonction de comptage des nombres premiers $\pi(u)$ .
Décomposition du Théorème des Nombres Premiers : Le différentiel $d\pi(u)$ est décomposé en un terme principal $du/\log u$ et un terme de reste $dR(u) $, où$ R(u) = \pi(u) - \text{Li}(u)$. Il est démontré que les termes d'erreur provenant du reste sont négligeables (décroissant plus vite que n'importe quelle puissance de $\log x$ ) en utilisant l'intégration par parties et des bornes sur $R(u)$ .
Rescalage de Variables et Développement de Taylor : L'intégrale du terme principal est rescalée via $u_j = x t_j$ . Le domaine est partitionné en une « région principale » (où les $t_j$ sont éloignés de 0) et une « région de bord ». Dans la région principale, le noyau $\prod (L + \log t_j)^{-1}$ (où $L = \log x$ ) est développé à l'aide d'un développement de Taylor multivarié impliquant les polynômes symétriques homogènes complets $h_n$ .
Techniques de Transformée de Laplace : Les intégrales de coefficients résultantes, définies sur le cube unité $(0,1]^k$ , sont transformées en intégrales à une variable en utilisant l'identité $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$ . Cela réduit le problème à l'analyse de fonctions génératrices satisfaisant des équations différentielles d'ordre supérieur spécifiques.
Extraction par Différences Finies : Les coefficients de l'expansion sont extraits en utilisant des opérateurs de différence directe $\Delta^{k-1}$ appliqués aux fonctions génératrices, en exploitant la propriété selon laquelle les différences de polynômes de degré inférieur à $k-1$ s'annulent.

Contributions Clés et Résultats

Développement Asymptotique Complet (Théorème 1) : Le document prouve que pour tout $N \ge 0$ fixé :
$S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^N \frac{E_{k,n}}{\log^n x} + O\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right).$
Les coefficients $E_{k,n}$ sont donnés par des intégrales logarithmiques multiples absolument convergentes :
$E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dots, \log t_k)}{t_1 + \cdots + t_k} dt.$
Formes Fermées pour les Coefficients Initiaux (Théorème 2) :
- Terme Principal ( $E_{k,0}$ ) : Une forme fermée est dérivée impliquant une somme finie de logarithmes pondérés par des coefficients binomiaux et des puissances.
- Second Ordre ( $E_{k,1}$ ) : Le coefficient est exprimé dans une base impliquant $\pi^2$ , $\log m$ , et le dilogarithme $\text{Li}_2(-1/m)$ .
- Troisième Ordre ( $E_{k,2}$ ) : Le coefficient est décomposé en une partie « diagonale » ( $k A_k$ ) et une partie « croisée » ( $\binom{k}{2} B_k$ ). La partie diagonale admet une forme fermée pour tout $k$ impliquant $\zeta(3)$ , $\pi^2$ , $\text{Li}_3(-1/m)$ , et des sommes logarithmiques. La partie croisée est entièrement explicite pour $k \le 4$ mais devient structurellement complexe pour $k \ge 5$ , impliquant des polylogarithmes avec des dénominateurs $\ge 5$ qui ne semblent pas se réduire à la base standard.
Développements Explicites pour $k=2$ et $k=3$ :
- Pour $k=2$ , le document fournit une formule fermée pour toute la séquence $\{E_{2,n}\}_{n \ge 0}$ . Les coefficients sont des combinaisons $\mathbb{Q}$ -linéaires explicites de $\log 2$ et des valeurs de la fonction zêta de Riemann $\zeta(j)$ , dérivées de la fonction êta de Dirichlet.
- Pour $k=3$ , les trois premiers termes de l'expansion sont entièrement explicites, combinant les résultats pour $E_{3,0}, E_{3,1}, E_{3,2}$ .
Vérification Numérique : Les auteurs effectuent des calculs numériques pour $S_2(x)$ et $S_3(x)$ jusqu'à $x = 10^7$ . Les résultats confirment que l'erreur relative diminue lorsque $x \to \infty$ et que l'ajout de termes successifs améliore la précision, ce qui est cohérent avec la nature asymptotique de la série. Les données illustrent également le phénomène de troncature optimale pour un $x$ fixé.

Signification et Revendications
Le document affirme fournir la première étude de l'analogue additif de la somme de Mertens dans la littérature. Sa signification primaire réside dans :

L'établissement de l'ordre de grandeur correct ( $x^{k-1}/\log^k x$ ) et de la structure asymptotique complète de la somme, contrastant avec le cas multiplicatif.
La réduction du calcul des coefficients asymptotiques à l'évaluation d'intégrales multiples spécifiques et la fourniture de formes fermées explicites pour les termes de premier et second ordre.
L'identification d'une divergence structurelle dans les coefficients pour $k \ge 5$ , où les termes « croisés » introduisent des valeurs polylogarithmiques qui résistent probablement à une réduction vers une forme fermée unifiée, soulignant une limite des capacités analytiques actuelles pour de telles sommes.

Le travail repose strictement sur la forme de variable réelle du PNT et n'invoque pas de conjectures profondes (comme l'Hypothèse de Riemann) pour les principaux résultats asymptotiques, bien que les termes d'erreur dépendent de la borne d'erreur classique du PNT. Le document conclut que si les parties diagonales des coefficients d'ordre supérieur restent traitables via des fonctions génératrices, les parties croisées présentent un obstacle fondamental à une forme fermée unifiée pour un $k$ général.