🔢 mathematics

On additive convolution sum of arithmetic functions and related questions

Cet article étend les résultats classiques d'Ingham sur les sommes de convolution additive en dérivant des formules asymptotiques avec des termes d'erreur pour les sommes partielles de la fonction diviseur et en généralisant ces conclusions aux fonctions arithmétiques possédant des développements de Ramanujan absolument convergents.

Auteurs originaux : Bikram Misra, Biswajyoti Saha, Anubhav Sharma

Publié 2026-06-08

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Bikram Misra, Biswajyoti Saha, Anubhav Sharma

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 résoudre un mystère impliquant deux nombres dont la somme est égale à une cible spécifique, appelons cette cible $N$ .

Dans le monde des mathématiques, il existe un célèbre casse-tête appelé la conjecture de Goldbach. Elle demande : « Tout nombre pair peut-il être écrit comme la somme de deux nombres premiers ? » (Par exemple, $14 = 3 + 11$ ou $14 = 7 + 7$ ).

Pour mener cette enquête, les mathématiciens utilisent un outil appelé somme de convolution. Voyez cela comme un immense compteur automatique. Vous parcourez chaque nombre $n$ de 1 jusqu'à $N$ , et vous vérifiez : « Est-ce que $n$ possède une propriété spéciale ? Est-ce que $N-n$ possède également cette propriété ? » Si les deux sont vrais, vous ajoutez un point à votre score.

L'ancien travail de détective (la découverte d'Ingham)

Des décennies auparavant, un mathématicien nommé Ingham a étudié une version spécifique de ce jeu. Il s'est penché sur la fonction diviseur, notée $d(n)$ .

Qu'est-ce que $d(n)$ ? C'est simplement le décompte du nombre de valeurs qui divisent $n$ sans reste. Par exemple, $d(6) = 4$ car 1, 2, 3 et 6 divisent 6.
Le Jeu : Ingham a compté combien de paires $(n, N-n)$ existent où les deux nombres possèdent des diviseurs. Il a trouvé une formule élégante qui prédit le score total pour l'ensemble de la plage de 1 à $N$ lorsque $N$ devient immense.

Cependant, Ingham n'a regardé que l'ensemble de la situation. Il ne s'est pas arrêté pour demander : « Et si nous ne comptions que les paires où le premier nombre est petit ? Et si nous arrêtons de compter à la moitié du chemin ? »

La nouvelle découverte (la contribution de l'article)

Les auteurs de cet article, Misra, Saha et Sharma, ont décidé de zoomer. Ils voulaient savoir ce qui se passe si nous ne comptons que les paires où le premier nombre, $n$ , est inférieur à un nombre plus petit $M$ (où $M$ est inférieur à $N$ ).

Voyez cela comme ceci :

La Somme Totale : Compter toutes les manières de remplir une piscine avec de l'eau.
La Sous-Somme : Compter seulement l'eau dans les premiers centimètres de la piscine.

Les auteurs ont découvert que si vous choisissez votre point d'arrêt $M$ avec soin, vous pouvez prédire le score pour cette « partie de la piscine » avec une formule très précise.

La zone « Goldilocks » pour $M$

L'article révèle que la taille de $M$ importe beaucoup. Ce n'est pas « n'importe quel nombre plus petit que $N$ ».

Trop petit : Si $M$ est minuscule (comme un grain de poussière comparé à $N$ ), les mathématiques deviennent complexes et leurs outils actuels ne peuvent pas donner de réponse claire.
Juste ce qu'il faut : Si $M$ est une part significative de $N$ (mais pas la totalité), ils ont trouvé un motif magnifique. Le score de la somme partielle est approximativement proportionnel à la quantité de la piscine que vous avez remplie, mais avec une nuance : la partie « logarithmique » de la formule change en fonction de l'endroit exact où vous vous êtes arrêté.

Ils ont prouvé que si vous vous arrêtez à $M$ , la formule ressemble à ceci :
$\text{Score} \approx \text{Constante} \times M \times \text{Logarithme}(\text{Quelque chose lié à } M \text{ et } N)$

C'est une avancée majeure car cela étend les anciens travaux d'Ingham. Cela nous indique que la « densité » de ces paires de diviseurs n'est pas uniforme ; elle se déplace légèrement en fonction de la distance parcourue sur la droite numérique.

La connexion « Ramanujan »

L'article ne se contente pas de compter les diviseurs. Ils ont également examiné des fonctions arithmétiques plus complexes (des règles mathématiques qui attribuent un nombre à chaque entier).

Ils ont utilisé un outil spécial inventé par le légendaire mathématicien Srinivasa Ramanujan appelé Développements de Ramanujan.

L'analogie : Imaginez que vous avez une chanson complexe (une fonction arithmétique compliquée). Ramanujan a montré que vous pouvez décomposer cette chanson en une série de notes musicales simples et pures (appelées sommes de Ramanujan).
L'application : Les auteurs ont utilisé cette « décomposition musicale » pour analyser les sommes partielles de ces fonctions complexes. Ils ont montré que si les « notes » de la chanson deviennent silencieuses assez rapidement (mathématiquement, si les coefficients décroissent rapidement), vous pouvez prédire la somme partielle avec une grande précision.

Pourquoi est-ce important ?

L'article relie ces mathématiques à deux problèmes célèbres :

Les nombres premiers jumeaux : Des paires de nombres premiers qui sont proches l'un de l'autre (comme 3 et 5, ou 11 et 13).
La conjecture de Goldbach : La somme de deux nombres premiers.

Les auteurs expliquent que si nous voulons prouver la conjecture de Goldbach, nous pourrions avoir besoin de comprendre non seulement le nombre total de façons d'écrire $N$ comme une somme, mais spécifiquement les façons où le plus petit nombre premier est en dessous d'une certaine limite. Leurs nouvelles formules donnent aux mathématiciens un outil plus précis pour examiner ces « sous-sommes » spécifiques.

Résumé en langage simple

Cet article est comme une mise à jour de carte.

Avant : Nous avions une carte montrant tout le terrain du point A au point B.
Maintenant : Les auteurs ont dessiné une nouvelle carte qui nous dit exactement à quoi ressemble le terrain si nous nous arrêtons au point C (où C se trouve quelque part entre A et B).
Le bémol : La carte n'est parfaitement précise que si le point C n'est pas trop proche de A. S'il est trop proche, le terrain est trop accidenté pour leurs outils actuels.
Le résultat : Ils ont fourni une formule précise pour ce « voyage partiel », en utilisant des astuces ingénieuses impliquant l'histoire de la théorie des nombres (Ingham et Ramanujan) pour résoudre un problème qui était resté largement ignoré jusqu'à présent.

Ils n'ont pas résolu la conjecture de Goldbach elle-même, mais ils ont tendu aux détectives une loupe bien meilleure pour observer les indices.

Résumé technique : Sur les sommes de convolutions additives de fonctions arithmétiques et questions connexes

Énoncé du problème
L'article traite du comportement asymptotique des sommes de convolutions additives de fonctions arithmétiques, en se concentrant spécifiquement sur la sous-somme $\sum_{n < M} f(n)g(N-n)$ où $M \le N$ . Bien que la somme de convolution décalée $\sum_{n \le N} d(n)d(n+h)$ ait été largement étudiée depuis les travaux séminaux d'Ingham, la somme de convolution additive $\sum_{n < N} d(n)d(N-n)$ et ses sous-sommes ont reçu moins d'attention. Les auteurs visent à étendre les résultats classiques d'Ingham pour dériver des formules asymptotiques pour ces sous-sommes avec des termes d'erreur explicites, particulièrement pour la fonction diviseur $d(n)$ , et de généraliser par la suite ces résultats à des fonctions arithmétiques admettant des développements de Ramanujan absolument convergents.

Méthodologie
Les auteurs emploient une combinaison de techniques classiques de la théorie analytique des nombres et d'estimations modernes concernant les fonctions diviseurs dans les progressions arithmétiques.

Extension de la méthode d'Ingham (Théorème 1) :
Pour la fonction diviseur $d(n)$ , les auteurs adaptent l'approche géométrique d'Ingham. Ils interprètent la somme $\sum_{n \le M} d(n)d(N-n)$ comme le comptage de 4-uplets $(l, r, m, s)$ satisfaisant $lr + ms = N$ avec $ms \le M$ .

Optimisation des bornes : Contrairement à l'utilisation par Ingham de l'inégalité AM-GM pour borner le produit $n(N-n)$ par $N^2/4$ , les auteurs utilisent la contrainte spécifique $n \le M$ pour dériver une borne plus serrée $X = \sqrt{M(N-M)}$ .
Décomposition d'ensembles : L'ensemble des solutions est décomposé en ensembles symétriques $P$ et $Q$ et une intersection $R$ . La cardinalité est estimée en utilisant les propriétés de la fonction diviseur et la distribution des solutions d'équations diophantiennes linéaires.
Analyse de plage : La preuve distingue soigneusement les différents intervalles de $M$ par rapport à $N$ , en analysant spécifiquement les termes d'erreur lorsque $M$ est proche de $N/2$ par rapport aux cas où $M$ est plus petit.

Régime de petit $M$ (Théorème 2) :
Pour le cas où $M = N^\alpha$ avec $3/4 < \alpha < 1$ , la méthode géométrique est insuffisante. Les auteurs utilisent l'identité $d(n) = \sum_{t|n} 1$ pour réécrire la somme comme une somme sur des classes de résidus.

Ils appliquent un résultat de Pongsriiam et Vaughan (étendant Fouvry et Iwaniec) concernant la moyenne de la fonction diviseur dans les progressions arithmétiques : $\sum_{n \le M, n \equiv N \pmod t} d(n)$ .
Cela permet de dériver une formule asymptotique impliquant les sommes de Ramanujan $c_r(N)$ et des séries spécifiques $S_i(N)$ .

Fonctions arithmétiques générales (Théorème 3) :
Les auteurs généralisent les résultats à des fonctions $f$ et $g$ possédant des développements de Ramanujan absolument convergents ( $f(n) = \sum a_f(r)c_r(n)$ ).

Orthogonalité : Ils utilisent un lemme d'orthogonalité pour les sommes de Ramanujan : $\sum_{n < M} c_r(n)c_s(N-n) \approx \delta_{r,s} M c_r(N)$ .
Troncation et contrôle de l'erreur : Les sommes sont divisées en un terme principal (où les indices $r, s$ sont petits) et un terme d'erreur (où les indices sont grands). Les termes d'erreur sont contrôlés en utilisant les conditions de décroissance $|a_f(r)|, |a_g(r)| \ll r^{-(1+\delta)}$ et les bornes précédemment établies pour la convolution de la fonction diviseur.

Contributions clés et résultats

Théorème 1 (Sous-sommes de la fonction diviseur) : L'article établit une formule asymptotique pour $\sum_{n \le M} d(n)d(N-n)$ pour $M \le N/2$ .
- Le terme principal est $\frac{6}{\pi^2} M \sigma_{-1}(N) \log^2 X$ , où $X = \sqrt{M(N-M)}$ .
- Le terme d'erreur dépend de la relation entre $M$ et $N$ . Spécifiquement, si $N/(\sigma_{-1}(N) \log N)^2 = o(M)$ , la formule est valide.
- Les auteurs fournissent des bornes d'erreur raffinées pour différentes plages de $M$ , incluant les cas où $M$ est proche de $N/2$ et les cas où $M$ est plus petit mais satisfait toujours la condition de croissance.
- Corollaire 1 étend ces résultats à la plage $N/2 \le M \le N$ en utilisant la symétrie de la somme complète.
Théorème 2 (Petit $M$ ) : Pour $M = N^\alpha$ avec $3/4 < \alpha < 1$ , les auteurs dérivent une formule asymptotique plus complexe impliquant les séries $S_0(N), S_1(N), S_2(N)$ définies via les sommes de Ramanujan. Cela comble une lacune là où la méthode géométrique du Théorème 1 échoue.
Théorème 3 (Fonctions générales) : Pour les fonctions arithmétiques ayant des développements de Ramanujan absolument convergents satisfaisant des conditions de décroissance polynomiale sur leurs coefficients, l'article prouve :
$\sum_{n < M} f(n)g(N-n) = M \sum_{r \ge 1} a_f(r)a_g(r)c_r(N) + \text{Terme d'Erreur}$
Le terme d'erreur est $O(M^{1-\delta}(\log M)^{4-2\delta})$ pour $\delta < 1$ , $O(\log^3 M)$ pour $\delta = 1$ , et $O(1)$ pour $\delta > 1$ .
Corollaire 2 : En tant qu'application, les auteurs dérivent des formules asymptotiques pour les sommes impliquant les fonctions diviseurs normalisées $\sigma_\alpha(n)/n^\alpha$ , améliorant les résultats précédents de [6] en fournissant des termes d'erreur explicites et en étendant la plage des paramètres.

Signification et affirmations
L'article affirme étendre les résultats classiques d'Ingham des sommes complètes aux sous-sommes, fournissant une compréhension plus granulaire de la manière dont la convolution additive se comporte lorsque la limite de sommation $M$ varie.

Motivation : L'étude est motivée par des problèmes en théorie additive des nombres, tels que la conjecture de Goldbach, où la compréhension de la distribution des somands premiers (ou des puissances de nombres premiers) jusqu'à une certaine borne $M \le N/2$ est cruciale. Les auteurs notent que tandis que la somme complète compte toutes les représentations, le comportement de la sous-somme est pertinent pour déterminer le plus petit sommet premier.
Contribution méthodologique : Le travail souligne la nécessité de choisir soigneusement la plage de $M$ pour obtenir des formules asymptotiques valides avec des termes d'erreur gérables. Il démontre que pour de petits $M$ , le comportement est régi par la distribution des diviseurs dans les progressions arithmétiques, tandis que pour de plus grands $M$ , les contraintes géométriques sur le produit $n(N-n)$ dominent.
Limites : Les auteurs notent modestement que leur méthode pour le Théorème 1 ne peut traiter de très petites valeurs de $M$ (spécifiquement $M = N^\alpha$ pour $\alpha < 3/4$ ), et que la preuve du Théorème 2 est restreinte à $3/4 < \alpha < 1$ . Ils notent également que les constantes implicites dans les termes d'erreur pour les fonctions générales peuvent dépendre de $N$ , bien que cette dépendance puisse être atténuée sous des conditions de croissance spécifiques sur $M$ .

L'article ne prétend pas résoudre la conjecture de Goldbach ou la conjecture des nombres premiers jumeaux, mais pose que les formules asymptotiques dérivées pour les sous-sommes de convolution fournissent des outils et des perspectives nécessaires pour de telles investigations.