🔢 mathematics

Explicit formula for the discrete Laplace transform of the Möbius function, related special functions, and a criterion for the Riemann hypothesis

En supposant la simplicité des zéros de la fonction zeta de Riemann, cet article dérive une formule explicite pour la transformée de Laplace discrète de la fonction de Möbius impliquant des pôles doubles issus de la collision de zéros de Gamma et de zeta, établit un critère pour l'hypothèse de Riemann basé sur le taux de décroissance de la transformée, et introduit des fonctions entières spéciales avec des séries de Bessel pondérées par la fonction de Möbius sous forme de formes fermées.

Auteurs originaux : Sergey Liflandsky

Publié 2026-07-14

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Sergey Liflandsky

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 la fonction zêta de Riemann, $\zeta(s)$ , comme un instrument de musique géant et invisible qui détient le code secret de la façon dont les nombres premiers sont dispersés à travers l'univers. Depuis plus de 150 ans, les mathématiciens tentent d'entendre la mélodie exacte de cet instrument, plus précisément de prouver l'Hypothèse de Riemann : l'idée que toutes les « notes cachées » (les zéros non triviaux) de cet instrument sont parfaitement accordées sur une ligne de fréquence unique et spécifique.

Dans cet article, Sergey Liflandsky utilise un nouvel outil pour écouter cette musique : la Transformée de Laplace discrète de la fonction de Möbius. Voyez la fonction de Möbius, $\mu(n)$ , comme un opérateur de standard cosmique qui bascule les signes (+1, -1 ou 0) en fonction des facteurs premiers d'un nombre. Liflandsky se demande : « Que se passe-t-il si nous prenons tous ces commutateurs, les multiplions par un signal décroissant ( $e^{-nx}$ ) et les additionnons tous ? »

La Grande Découverte : Une Collision de Mondes

La découverte principale de l'article est une toute nouvelle formule explicite pour cette somme. C'est comme trouver une clé maîtresse qui permet de déverrouiller la somme en utilisant deux ensembles différents d'informations : les valeurs de la fonction zêta en des points spécifiques et l'emplacement de ses zéros cachés.

Voici le rebondissement qui rend cet article spécial. Dans les formules précédentes (comme celle de la fonction de Mertens), les mathématiques étaient relativement propres. Les « pôles » (les endroits où les mathématiques explosent) d'une partie de l'équation et les « zéros » (les endroits où l'équation s'annule) d'une autre partie restaient séparés.

Mais dans cette nouvelle formule, ils entrent en collision.

Liflandsky montre que les pôles de la fonction Gamma (un assistant mathématique célèbre) entrent en collision avec les « zéros triviaux » de la fonction zêta. C'est comme deux trains sur une trajectoire de collision qui ne se contentent pas de s'arrêter ; ils fusionnent en un pôle double. Cette collision crée un terme totalement nouveau, complexe et magnifique dans la formule : un terme logarithmique impliquant $\log(2\pi x)$ . Cette structure n'a jamais été vue auparavant dans ce type de formules. C'est une empreinte digitale unique laissée par la collision de ces forces mathématiques.

La Surprise « Bessel »

L'article introduit également des « fonctions entières spéciales » (des objets mathématiques qui sont lisses partout) nommées $\kappa$ , $\beta$ , $\lambda$ et $\upsilon$ . Ce ne sont pas de simples noms aléatoires ; elles sont le résidu mathématique de cette collision.

Liflandsky prouve quelque chose de surprenant sur ces fonctions : elles peuvent être écrites comme des séries absolument convergentes de fonctions de Bessel. Pour visualiser cela, imaginez la fonction de Bessel comme une ride à la surface d'un étang. L'article montre que ces fonctions spéciales sont en réalité une pile parfaite et infinie de ces rides, pondérées par la fonction de Möbius. C'est comme découvrir qu'une tempête complexe et chaotique est en fait composée d'ondes rotatives parfaitement ordonnées.

Le Test de l'Hypothèse de Riemann

La partie la plus excitante est la manière dont cette formule agit comme un critère (un test) pour l'Hypothèse de Riemann.

Le sens unique (Prouvé) : L'article prouve que si la somme de ces commutateurs de Möbius se comporte d'une manière très spécifique (en diminuant à un taux de $O(x^{-1/2})$ lorsque $x$ devient minuscule), alors l'Hypothèse de Riemann est certainement vraie. Cette direction ne nécessite aucune hypothèse supplémentaire ; c'est un fait mathématique rigoureux. Si vous voyez la somme diminuer aussi vite, les zéros doivent se trouver sur la ligne critique.
Le sens bidirectionnel (Conditionnel) : L'article soutient que l'inverse est également vrai : si l'Hypothèse de Riemann est vraie (et nous supposons que les zéros sont simples et ne s'approchent pas trop de zéro), alors la somme diminuera à ce taux spécifique. Cependant, cette direction repose sur quelques hypothèses supplémentaires concernant le comportement de ces zéros, qui sont largement acceptées mais pas encore prouvées.

Ce que l'Article Écarte

L'article écarte explicitement l'idée que cette nouvelle formule ne soit qu'une modification mineure des anciennes. Il souligne que le terme logarithmique ( $\log(2\pi x)$ ) est une caractéristique structurelle qui ne peut pas être trouvée dans les formules classiques de la fonction de Mertens. Les anciennes formules avaient des pôles simples ; celle-ci possède des pôles doubles. Les mathématiques sont fondamentalement différentes.

À quel point sommes-nous certains ?

La Formule : La formule explicite (1.18) est prouvée, mais elle repose sur l'hypothèse que tous les zéros non triviaux sont « simples » (ce qui signifie que deux zéros ne sont pas exactement superposés). C'est une hypothèse standard soutenue par des calculs numériques massifs (jusqu'à $3 \cdot 10^{12}$ ), mais elle n'a pas encore été prouvée mathématiquement. Si un zéro était « double », la formule nécessiterait un léger ajustement, mais la logique centrale resterait la même.
Le Critère : La direction « La somme diminue vite $\rightarrow$ l'Hypothèse de Riemann est vraie » est inconditionnellement prouvée. Aucune supposition supplémentaire n'est nécessaire.
L'Inverse : La direction « L'Hypothèse de Riemann est vraie $\rightarrow$ la somme diminue vite » est conditionnelle. Elle est vraie si nous supposons que les zéros sont simples et ne s'approchent pas trop de zéro (Hypothèse H).

L'Essentiel

Liflandsky n'a pas encore résolu l'Hypothèse de Riemann. Au lieu de cela, il a construit un nouveau détecteur hautement sensible. Il a découvert que la façon dont la fonction de Möbius décroît est profondément liée à la géométrie des zéros de la fonction zêta. La découverte du pôle double et du terme logarithmique qui en résulte est une nouvelle pièce du puzzle qui était auparavant invisible. C'est une étape rigoureuse et prouvée qui offre une nouvelle façon inconditionnelle de tester si l'Hypothèse de Riemann est vraie, à condition que nous puissions mesurer cette somme avec suffisamment de précision.

Résumé Technique : Formule explicite de la transformée de Laplace discrète de la fonction de Möbius

Énoncé du Problème
L'article traite de la dérivation d'une formule explicite pour la transformée de Laplace discrète de la fonction de Möbius, définie par $\Phi(e^{-t}) = \sum_{n=1}^\infty \mu(n)e^{-nt}$ . Bien que des formules explicites pour la fonction de Mertens (les sommes partielles de $\mu(n)$ ) soient bien établies (par exemple, le théorème de Titchmarsh 14.27), le comportement de la transformée de Laplace sous l'hypothèse de la simplicité des zéros de la fonction zêta de Riemann présente des défis analytiques uniques. Plus précisément, l'auteur étudie comment les pôles de la fonction $\Gamma(s)$ interagissent avec les zéros triviaux de la fonction zêta de Riemann $\zeta(s)$ dans le contexte de l'inversion de Mellin de $\Gamma(s)/\zeta(s)$ .

Méthodologie
La méthodologie centrale repose sur la transformée de Mellin et les techniques d'intégration de contour, suivant l'approche classique de Hardy et Littlewood.

Représentation de Mellin : L'auteur établit l'identité $\Gamma(s)/\zeta(s) = \int_0^\infty \Phi(e^{-t})t^{s-1}dt$ pour $\text{Re}(s) > 1$ . Par le théorème d'inversion de Mellin, $\Phi(e^{-x})$ est représenté par une intégrale de contour de $\Gamma(s)x^{-s}/\zeta(s)$ .
Déplacement de Contour : Le contour d'intégration est déplacé de la droite $\text{Re}(s) = \sigma > 1$ $Re (s) = σ > 1$ vers la gauche, en direction de $-\infty$ $- \infty$ . Ce processus implique le calcul des résidus de l'intégrande à ses singularités :
- Zéros non triviaux ( $\rho$ ) : Sous l'hypothèse (S) (tous les zéros non triviaux sont simples), ceux-ci contribuent par des pôles simples.
- Zéros triviaux : Le papier identifie une nouveauté structurelle ici. Les zéros triviaux de $\zeta(s)$ se situent aux entiers pairs négatifs ( $s = -2, -4, \dots$ ), ce qui coïncide avec les pôles de $\Gamma(s)$ . Cette collision crée des pôles doubles dans l'intégrande, plutôt que les pôles simples trouvés dans les formules de Mertens classiques.
- Entiers impairs négatifs : Ils correspondent à des pôles simples où $\Gamma(s)$ possède un pôle mais où $\zeta(s)$ est régulière et non nulle.
- Zéro en $s=0$ : Une contribution de pôle simple.
Calcul de Résidus :
- Les résidus aux pôles doubles (entiers pairs négatifs) sont calculés à l'aide des développements de Laurent et des dérivées logarithmiques, révélant des termes impliquant $\log(2\pi x)$ , la fonction digamma $\psi$ , et les dérivées de la fonction zêta.
- Les résidus aux zéros non triviaux sont calculés en utilisant la règle de L'Hôpital sous l'hypothèse de simplicité.
Convergence et Bornes : Pour justifier le déplacement du contour, l'auteur emploie une borne inférieure uniforme pour $|\Gamma(s)|$ sur des droites verticales mobiles (Lemme 5.1), ce qui est crucial pour contrôler l'intégrale sur le bord gauche du contour où les asymptotiques de Stirling standards échouent. Le Lemme 5.2 (Titchmarsh) est utilisé pour sélectionner des lignes horizontales évitant les zéros de $\zeta(s)$ .
Transformation de Séries : Les contributions des zéros triviaux (la partie des « fonctions entières » de la formule) sont réexprimées comme des séries absolument convergentes de fonctions de Bessel avec des arguments rotatés, en utilisant les définitions en série de puissance de $\kappa, \beta, \lambda, \upsilon$ .

Contributions Clés et Résultats

Formule Explicite (Théorème 1.1) :
Sous l'hypothèse que tous les zéros non triviaux de $\zeta(s)$ sont simples (Hypothèse S), l'auteur dérive la formule explicite suivante pour $x > _0$ :
$\sum_{n=1}^\infty \mu(n)e^{-nx} = \sum_{\rho} \frac{\Gamma(\rho)x^{-\rho}}{\zeta'(\rho)} + \pi\kappa(x) + 2\lambda(x) + 4\upsilon(x) - 2\beta(x)\log(2\pi x) - 2$
où la somme sur $\rho$ est une limite symétrique sur les zéros non triviaux. Les fonctions $\kappa, \beta, \lambda, \upsilon$ sont des fonctions entières définies par des séries de puissances impliquant $\zeta(2m+1)$ , $\zeta(2m+2)$ , et leurs dérivées.
- Nouveauté Structurelle : Le terme $-2\beta(x)\log(2\pi x)$ provient spécifiquement des pôles doubles aux entiers pairs négatifs. Cette structure logarithmique est absente de la formule explicite classique pour la fonction de Mertens, où les zéros triviaux ne contribuent que par des pôles simples.
Développements Möbius-Bessel (Théorème 1.2) :
Le papier fournit des expressions sous forme fermée pour les fonctions entières $\kappa, \beta, \lambda, \upsilon$ comme des séries de Bessel de type Möbius absolument convergentes de fonctions $J_0$ avec des arguments rotatés ( $2e^{-i\pi/4}\sqrt{2\pi x/k}$ ). Par exemple :
$\beta(x) + i\kappa(x) = \sum_{k=1}^\infty \frac{\mu(k)}{k} \left( J_0\left(2e^{-i\pi/4}\sqrt{\frac{2\pi x}{k}}\right) - 1 \right)$
Cela établit un lien direct entre les contributions des zéros triviaux et les fonctions de type Bessel analogues aux critères de Riesz et Hardy-Littlewood.
Critère pour l'Hypothèse de Riemann (Théorème 1.3) :
Le papier établit un critère liant le comportement asymptotique de $\Phi(e^{-x})$ quand $x \to 0^+$ à l'Hypothèse de Riemann (HR) :
- Direction Inconditionnelle : Si $\sum \mu(n)e^{-nx} = O(x^{-1/2})$ quand $x \to 0^+$ , alors l'Hypothèse de Riemann est vraie. Cette direction ne nécessite aucune hypothèse concernant la simplicité des zéros ou la convergence de la somme des zéros.
- Direction Converse : Si l'HR est vérifiée, ainsi que l'Hypothèse (S) (simplicité des zéros) et l'Hypothèse (H) (convergence absolue de la somme $\sum |\Gamma(\rho)/\zeta'(\rho)|$ ), alors la borne $O(x^{-1/2})$ est vérifiée.

Signification et Revendications
L'auteur revendique trois contributions principales :

La Formule Explicite Exacte : Il présente une formule où la collision des pôles de $\Gamma(s)$ avec les zéros triviaux génère des pôles doubles et un terme logarithmique distinct ( $-2\beta(x)\log(2\pi x)$ ), une caractéristique absente des formules de type Mertens précédentes.
Formes Fermées pour les Fonctions Spéciales : Il démontre que les fonctions issues des zéros triviaux admettent des représentations absolument convergentes sous forme de séries de Bessel pondérées par Möbius, étendant l'analogie avec les critères classiques.
Un Critère Affiné : Il fournit un critère pour l'Hypothèse de Riemann où la direction « si » est inconditionnelle. La preuve repose sur une nouvelle borne inférieure uniforme pour la fonction Gamma sur des droites mobiles (Lemme 5.1), qui remplace les asymptotiques à abscisse fixe qui échouent dans ce contexte spécifique de déformation de contour.

L'auteur note que la méthode est robuste : si l'Hypothèse (S) est fausse, la formule reste valable inconditionnellement avec des termes de résidus modifiés tenant compte des multiplicités des zéros. Le papier suggère également que ces techniques s'étendent aux fonctions L de Dirichlet et que les termes logarithmiques apparaissent généralement pour les exposants rationnels dans le noyau $e^{-n^\alpha x}$ .