On the discrete convolution of the Liouville and Möbius functions

Cet article étudie les propriétés de la convolution discrète de la fonction de Liouville, en établissant une formule explicite pour ses moyennes pondérées afin d'analyser ses séries de Dirichlet et de puissance ainsi que ses généralisations à plusieurs facteurs.

L'essentiel

Imaginez que les nombres entiers (1, 2, 3, 4...) sont comme une immense forêt. Dans cette forêt, il y a des arbres spéciaux appelés nombres premiers (2, 3, 5, 7, 11...). Les mathématiciens adorent essayer de comprendre comment ces arbres sont disposés, car leur répartition semble très erratique, presque chaotique.

Ce papier de recherche est une nouvelle carte pour explorer cette forêt, mais avec un outil très particulier : une sorte de "sonar" mathématique qui écoute les échos entre les arbres.

Voici l'explication simple de ce que les auteurs (Marco, Alessandro et Alessandro) ont découvert :

1. Les deux personnages principaux : Liouville et Möbius

Pour faire simple, les mathématiciens utilisent des "étiquettes" pour classer les nombres.

• La fonction de Liouville ($\lambda$) : Imaginez que vous comptez le nombre de facteurs premiers d'un nombre. Si c'est un nombre pair (comme 6 = 2x3, deux facteurs), vous collez une étiquette +1. Si c'est impair (comme 12 = 2x2x3, trois facteurs), vous collez une étiquette -1.
• La fonction de Möbius ($\mu$) : C'est un cousin très proche de Liouville, qui joue le même jeu mais avec quelques règles supplémentaires (si un nombre a un facteur répété, l'étiquette est 0).

Ces étiquettes sautent de +1 à -1 de manière très imprévisible. C'est comme essayer de prédire si la prochaine pièce de monnaie que vous lancez tombera sur pile ou face, mais avec des règles beaucoup plus complexes.

2. Le problème du "Goldbach" inversé

Le célèbre problème de Goldbach demande : "Peut-on toujours écrire un nombre pair comme la somme de deux nombres premiers ?" (Exemple : 10 = 3 + 7).

Les auteurs de ce papier posent une question similaire, mais avec nos étiquettes +1 et -1. Ils se demandent : Si on prend deux nombres qui s'additionnent pour donner un nombre $N$, et qu'on multiplie leurs étiquettes, que se passe-t-il ?

Ils définissent une fonction $S(N)$ qui est la somme de tous ces produits d'étiquettes pour un nombre $N$.

• Si la somme est positive, cela signifie qu'il y a plus de combinaisons "paires" que "impaires".
• Si elle est nulle ou négative, c'est le contraire.

L'énigme est de savoir si cette somme $S(N)$ est "propre" (proche de zéro) ou si elle devient folle.

3. La méthode : La "Recette de la Soupe" (Convolution)

Pour étudier ce chaos, les auteurs utilisent une technique appelée convolution. Imaginez que vous avez deux ingrédients (les étiquettes de Liouville) et que vous voulez les mélanger pour faire une soupe.

• Au lieu de regarder un seul bol de soupe, ils regardent la moyenne de milliers de bols.
• Ils utilisent une "poudre de magie" (des formules mathématiques complexes liées à la fonction Zêta de Riemann) pour prédire le goût moyen de cette soupe.

4. La découverte principale : La formule magique

Les auteurs ont réussi à écrire une formule explicite. C'est comme s'ils avaient trouvé la recette exacte pour prédire le goût de la soupe, même si les ingrédients individuels sont imprévisibles.

Leur formule dit essentiellement :

"Le comportement moyen de ces étiquettes dépend de deux choses :

1. Une partie simple et régulière (comme le fond de la soupe).
2. Une partie complexe qui dépend des 'points de résonance' cachés dans les nombres premiers (les zéros de la fonction Zêta)."

Ils montrent que si l'on fait des moyennes pondérées (donner plus d'importance à certains nombres qu'à d'autres), on peut obtenir une image très claire de ce qui se passe.

5. Pourquoi c'est important ?

• La Frontière de la Connaissance : Ils prouvent que leur formule fonctionne jusqu'à une certaine limite (la ligne Re(s) = 1). Au-delà, c'est comme si la carte s'arrêtait et que la forêt devenait une jungle inexplorée.
• La Connexion avec les Géants : Leur travail est lié à l'hypothèse de Riemann (le plus grand problème non résolu des mathématiques). Si l'hypothèse de Riemann est vraie, alors leur formule est parfaite.
• L'Extension : Ils ne se sont pas arrêtés à deux nombres. Ils ont montré comment faire ce calcul avec 3, 4, ou même 100 nombres qui s'additionnent. C'est comme passer d'une soupe à deux ingrédients à un ragoût géant avec tout le buffet !

En résumé

Imaginez que vous essayez de comprendre la météo d'une planète où il pleut et fait soleil de manière totalement aléatoire.

• Les mathématiciens précédents savaient que la pluie était aléatoire.
• Ces auteurs ont construit un modèle météorologique qui dit : "Si vous regardez la météo sur une longue période et avec un certain filtre, vous pouvez prédire exactement la moyenne de la pluie, même si chaque goutte individuelle est imprévisible."

Ils ont utilisé des outils puissants (l'hypothèse de Riemann) pour transformer le chaos apparent des nombres en une structure ordonnée et prévisible, du moins en moyenne. C'est une avancée majeure pour comprendre comment les nombres premiers "dansent" ensemble.

Résumé technique

Voici un résumé technique détaillé de l'article « On the Discrete Convolution of the Liouville and Möbius Functions » par Marco Cantarini, Alessandro Gambini et Alessandro Zaccagnini.

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 problèmes additifs et des fonctions arithmétiques à comportement erratique.

• Fonctions étudiées : Les auteurs se concentrent sur la fonction de Liouville $\lambda(n)$ (définie par $(-1)^{\Omega(n)}$) et la fonction de Möbius $\mu(n)$.
• Objet d'étude : L'analyse de la convolution discrète de ces fonctions avec elles-mêmes. Pour la fonction de Liouville, on définit :
  $$S(N) := \sum_{n \le N} \lambda(n)\lambda(N-n)$$
  Cette somme est analogue à la fonction de comptage de Goldbach $R(N)$ (basée sur la fonction de von Mangoldt $\Lambda$), mais pour la fonction de Liouville.
• Conjectures liées : Le travail est motivé par la conjecture de Chowla (concernant les corrélations de $\lambda(n)$) et la conjecture de Goldbach. Il est connu que $S(N) = o(N)$ sous certaines hypothèses (comme l'existence de zéros de Siegel infinis), et plus récemment, Mangerel a prouvé $|S(N)| < N^{-1}$ pour $N$ suffisamment grand.
• Objectif principal : Établir des formules explicites pour les moyennes pondérées de $S(n)$, permettant d'obtenir des informations sur les séries de Dirichlet et les séries de puissances associées à cette convolution, en suivant une approche similaire à celle utilisée pour les problèmes de Goldbach.

2. Méthodologie

L'approche méthodologique repose sur une combinaison d'outils d'analyse complexe et de théorie des nombres, s'appuyant sur des résultats récents de la littérature (notamment [6]).

• Formules explicites tronquées : Les auteurs commencent par dériver des formules explicites pour la fonction de somme partielle $L(x) = \sum_{n \le x} \lambda(n)$ et son analogue pour $\mu(n)$, valables pour tout $x > 0$ (et pas seulement $x \ge 1$). Cela nécessite d'utiliser la formule de Perron et d'estimer soigneusement les termes d'erreur près de l'origine.
• Convolution de Laplace : Ils étudient la convolution de $L(x)$ avec elle-même, notée $C_\lambda(x) = \int_0^x L(y)L(x-y)dy$, qui correspond à la moyenne de Cesàro d'ordre 1 de $S(n)$.
• Hypothèses de travail : Les résultats principaux sont démontrés sous l'hypothèse de Riemann (RH) et l'hypothèse de simplicité des zéros non triviaux de la fonction zêta de Riemann $\zeta(s)$. Ils utilisent également la conjecture (SZ) de Soundararajan-Zhang concernant la somme des inverses des dérivées de $\zeta$ aux zéros.
• Théorème de poids général : En utilisant un théorème général (Proposition 2 de [6]), ils transforment la somme discrète pondérée $\sum \sum \lambda(n)\lambda(m)f(\frac{m+n}{\eta})$ en une intégrale impliquant la convolution $C_\lambda(x)$ et la dérivée seconde de la fonction de poids $f$.
• Analyse des séries doubles : Une partie technique cruciale consiste à prouver la convergence absolue des séries doubles impliquant les zéros non triviaux $\rho$ de $\zeta(s)$, en utilisant la formule de Stirling et les propriétés de densité des zéros.

3. Résultats Clés et Contributions

Les auteurs obtiennent plusieurs résultats majeurs, synthétisés ci-dessous :

A. Formule Explicite pour les Moyennes Pondérées (Théorème 1)

Sous l'hypothèse de Riemann et la simplicité des zéros, pour une fonction de poids $f$ régulière à support compact, ils établissent la formule suivante pour la somme pondérée :
$$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right) = \text{Termes principaux} + \text{Séries sur les zéros} + \text{Erreur}$$

• Termes principaux : Un terme dominant proportionnel à $\eta \int f''(w) w^2 dw$.
• Termes oscillatoires : Une somme simple sur les zéros $\rho$ et une somme double sur les paires de zéros $(\rho_1, \rho_2)$, impliquant des fonctions Gamma et des puissances de $\eta$.
• Terme d'erreur : Contrôlé par $O_\epsilon(\eta^{1/2+\epsilon} \dots)$.

B. Continuation Analytique des Séries de Dirichlet (Corollaire 2 & Théorème 17)

En choisissant une fonction de poids spécifique ($f(w) = w^{-s}$), les auteurs déduisent une formule explicite pour la série de Dirichlet associée à $S(n)$ :
$$\sum_{n \ge 1} \frac{S(n)}{n^s}$$

• Résultat : Cette série admet un prolongement analytique dans le demi-plan $\text{Re}(s) > 1$.
• Frontière naturelle : Ils montrent que la droite $\text{Re}(s) = 1$ constitue une frontière naturelle pour cette série (sous l'hypothèse d'indépendance linéaire des parties imaginaires des zéros de $\zeta(s)$ sur $\mathbb{Q}$), empêchant une extension au-delà de cette ligne.

C. Cas de la Fonction de Möbius et Généralisation

• Des résultats analogues sont obtenus pour la convolution de la fonction de Möbius $S^*(n) = \sum \mu(m_1)\mu(m_2)$.
• Généralisation à $d$ facteurs (Section 5) : Les auteurs généralisent leurs résultats à la convolution de $d$ facteurs ($d \ge 2$) :
  $$S_d(N) = \sum_{m_1 + \dots + m_d = N} \lambda(m_1)\dots\lambda(m_d)$$
  Ils fournissent des formules explicites pour les moyennes pondérées de $S_d(N)$, montrant que la structure des termes principaux et des séries sur les zéros se généralise naturellement avec des facteurs factoriels et des puissances de $x$ ajustées.

4. Signification et Impact

• Outils nouveaux pour les problèmes additifs : L'article fournit un cadre rigoureux pour l'analyse des convolutions de fonctions multiplicatives "signées" comme $\lambda$ et $\mu$, qui sont traditionnellement plus difficiles à manipuler que les fonctions positives comme $\Lambda$.
• Lien avec Goldbach : En établissant des formules explicites pour $S(N)$, le papier renforce le lien structurel entre le problème de Goldbach (via $\Lambda$) et les conjectures sur la distribution des nombres premiers (via $\lambda$ et $\mu$).
• Méthodologie robuste : La capacité à traiter les convolutions avec un nombre arbitraire de facteurs ($d$) et à obtenir des formules pour des poids généraux ouvre la voie à de nouvelles investigations sur les problèmes additifs de haut ordre.
• Compréhension des singularités : La détermination précise de la frontière naturelle de la série de Dirichlet de $S(n)$ apporte une compréhension fine de la complexité analytique de ces sommes de convolution.

En résumé, cet article réussit à transposer les techniques puissantes utilisées pour le problème de Goldbach vers le contexte des fonctions de Liouville et de Möbius, fournissant des formules explicites précises qui révèlent la structure profonde de ces sommes de convolution sous l'hypothèse de Riemann.