On a new approach to the Riemann hypothesis

En supposant que l'hypothèse de Riemann soit fausse, cet article établit une relation asymptotique reliant les résidus de certaines séries à des zéros non triviaux de fonctions $L$ de Dirichlet à une fonction continue, dont les implications pourraient contredire cette hypothèse.

L'essentiel

Imagine que les mathématiques sont comme une immense symphonie, et que la Hypothèse de Riemann est la partition parfaite qui dit que toutes les notes (les nombres premiers) doivent suivre un rythme précis et ordonné.

Ce papier, écrit par Hisanobu Shinya, est une expérience de pensée audacieuse. L'auteur ne cherche pas à prouver que la partition est parfaite. Au contraire, il dit : « Et si la partition était fausse ? »

Voici une explication simple de son approche, utilisant des analogies du quotidien.

1. Le scénario : "Et si le monde était désordonné ?"

L'Hypothèse de Riemann suggère que tous les "points d'erreur" (appelés zéros non triviaux) d'une fonction mathématique complexe se trouvent alignés sur une ligne droite précise, comme des perles sur un fil.

Shinya imagine le pire des cas : Et si l'une de ces perles tombait du fil ? Il suppose qu'il existe une perle qui flotte ailleurs, dans le désordre. C'est ce qu'on appelle une "réduction à l'absurde". Il part de cette hypothèse fausse pour voir ce qui se passe.

2. L'outil : Le détecteur de fréquences

Pour traquer cette perle perdue, l'auteur utilise un outil spécial qu'il appelle M(s, p).

• L'analogie : Imaginez que vous essayez d'écouter une radio dans une voiture qui traverse une ville bruyante. Le bruit de fond, c'est la complexité des nombres. L'auteur crée un "filtre" (la fonction M) qui permet d'isoler une fréquence spécifique (définie par un nombre rationnel p, comme une note de musique précise).
• Ce filtre est très rarement utilisé dans la littérature mathématique, un peu comme un instrument de musique exotique que personne n'ose toucher.

3. La découverte : La résonance

L'auteur fait passer ce filtre à travers le chaos supposé. Il découvre une relation étrange et magnifique.

• L'analogie : Si vous tapez sur un diapason (la fonction de Riemann) et qu'il y a une fissure (le zéro hors de la ligne), le diapason ne vibre plus n'importe comment. Il émet une résonance très spécifique qui dépend de la note que vous jouez (le nombre p).
• L'auteur montre que si cette "fissure" existe, elle crée une onde mathématique qui relie des résidus (des traces laissées par la fonction) à une autre fonction continue. C'est comme si le désordre créait une nouvelle mélodie parfaitement lisse et continue, quelle que soit la note que vous jouez.

4. Le paradoxe et le défi

C'est ici que ça devient fascinant.

• L'auteur montre que cette nouvelle mélodie (le côté droit de son équation) est continue. Cela signifie qu'elle change doucement, sans sauts, quand on change la note p.
• Le problème : Pour que cette mélodie soit vraiment continue, il faut que le "bruit de fond" (la somme de toutes les autres perles perdues) ne soit pas trop fort.
• L'analogie finale : Imaginez que vous essayez d'entendre un chuchotement (la relation continue) dans une tempête. L'auteur dit : "Si l'hypothèse de Riemann est fausse, nous devrions entendre ce chuchotement parfaitement clair." Mais pour l'entendre, il faut prouver que la tempête (les autres nombres) ne crie pas trop fort.

En résumé

Ce papier ne résout pas le mystère de Riemann. Il dit plutôt :

"Si vous pensez que l'Hypothèse de Riemann est fausse, alors vous devez accepter que le monde mathématique obéisse à une règle très étrange et très lisse (continue) que nous venons de découvrir. Mais pour valider cette règle, nous devons encore apprendre à mieux contrôler le bruit de fond."

C'est une invitation à regarder le problème sous un angle totalement nouveau : au lieu de chercher directement la ligne droite, on regarde les ondulations que créerait une ligne brisée. Si ces ondulations sont trop "lisses" pour être vraies, alors l'hypothèse de départ (que la ligne est brisée) est peut-être fausse, ce qui confirmerait indirectement que la ligne est bien droite !

Le mot de la fin : C'est comme si l'auteur avait trouvé une empreinte digitale unique laissée par un criminel (le zéro faux). Il dit : "Si le criminel existe, il a laissé cette empreinte précise." Maintenant, les mathématiciens doivent vérifier si cette empreinte est compatible avec la réalité du monde.

Résumé technique

Voici un résumé technique détaillé de l'article « On a new approach to the Riemann hypothesis » de Hisanobu Shinya, rédigé en français.

1. Problématique et Contexte

L'article aborde l'hypothèse de Riemann (HR) par la méthode de la réduction à l'absurde. L'auteur suppose que l'hypothèse est fausse, c'est-à-dire qu'il existe des zéros non triviaux $\rho^* = 1/2 + \eta^* + i\gamma^*$ de la fonction $\zeta$ de Riemann situés hors de la ligne critique ($\eta^* > 0$).

Le but est de déduire une conséquence asymptotique de cette négation, en reliant les résidus de certaines séries de Dirichlet modifiées aux zéros des fonctions $L$ de Dirichlet, afin d'aboutir à une contradiction ou à une contrainte forte sur la distribution de ces zéros.

2. Méthodologie

La méthode repose sur l'analyse d'une série spécifique, notée $M(s, p)$, définie pour un nombre rationnel $p = a/b \in (0, 1)$ :
$$M(s, p) = \sum_{n \ge 1} \Lambda(n) e^{-2\pi i p n} n^{-s}$$
où $\Lambda(n)$ est la fonction de Mangoldt.

Les étapes clés de la méthodologie sont :

1. Décomposition par caractères de Dirichlet :
   L'auteur établit une relation fondamentale (Lemme 1.1) exprimant $M(s, p)$ comme une combinaison linéaire de dérivées logarithmiques de fonctions $L$ de Dirichlet :
   $$M(s, a/b) = - \sum_{\chi} A(a, b; \chi) \frac{L'}{L}(s, \chi)$$
   où $A(a, b; \chi)$ est un coefficient dépendant du caractère $\chi$ et de la fraction $a/b$.

2. Transformation Intégrale (Théorème 1.2) :
   L'article introduit une identité intégrale complexe reliant la série $M(s, p)$ à des intégrales de contour impliquant la fonction Gamma $\Gamma(s)$ et la fonction $\zeta'/\zeta$. Cette identité (Théorème 1.2) est prouvée en utilisant :

   • La transformation de Mellin inverse.
   • Le théorème de convolution pour les transformées de Mellin.
   • Des changements de variables et des développements en série pour séparer les termes singuliers.

3. Application du Théorème des Résidus :
   En supposant l'existence d'un pôle de $M(s, p)$ en $s = \rho_{n_1, p}$ (correspondant à un zéro hors ligne critique), l'auteur déplace le chemin d'intégration dans le plan complexe. Cela permet d'isoler le résidu principal associé à ce pôle et de l'exprimer en fonction d'une somme sur tous les autres zéros $\rho_j$ des fonctions $L$.

3. Résultats Principaux

Théorème 1.2 (Identité Intégrale)

L'auteur démontre une relation asymptotique exacte reliant une intégrale de contour de $M(s, p)$ pondérée par des fonctions Gamma à une expression impliquant $\zeta'/\zeta$ et une fonction auxiliaire $K(p, \xi)$. Cette relation est valable sous des conditions de convergence sur les paramètres réels $\delta, \kappa, c$.

Théorème 1.3 (Relation Asymptotique sous la Négation de l'HR)

C'est le résultat central de l'article. En supposant que $M(s, p)$ possède un pôle en $\rho_{n_1, p} = 1/2 + \eta_{n_1, p} + i\gamma_{n_1, p}$ avec $\eta_{n_1, p} > 0$, et en considérant la limite où la partie imaginaire $\gamma_{n_1, p} \to \infty$, l'auteur établit la relation suivante :

$$c(p)\Gamma(\rho_{n_1, p})e^{\pi \gamma_{n_1, p}/2} \sim \Gamma(1 + \nu + i\gamma_{n_1, p})e^{\pi \gamma_{n_1, p}/2} \sum_{\rho_j} \rho_j^{-1} (2\pi p)^{-\nu - i\gamma_{n_1, p} + \rho_j} e^{(\nu + i\gamma_{n_1, p} - \rho_j)\pi i/2} \Gamma(-\nu - i\gamma_{n_1, p} + \rho_j)$$

Où :

• $c(p)$ est un coefficient dépendant du résidu de $M(s, p)$ en $\rho_{n_1, p}$.
• La somme s'étend sur les zéros $\rho_j$ des fonctions $L$ associées.
• La relation est continue par rapport à $p$ dans l'intervalle $(0, 1)$.

Conjecture 1.4 (Estimation de la somme partielle)

L'auteur identifie un obstacle technique majeur pour valider pleinement l'asymptotique : la borne de la somme partielle des résidus pour de grands dénominateurs $b$. Il propose la conjecture suivante :
$$\sum_{\chi} A(a, b; \chi) \sum_{|t-\gamma|<1} \frac{1}{s - \rho_\chi} \ll t^\epsilon$$
Cette borne uniforme (indépendante de $b$) est nécessaire pour garantir la continuité et la validité de l'asymptotique lorsque $b \ll \log \gamma$.

4. Contributions Clés

• Nouveau vecteur d'attaque : Introduction de la série $M(s, p)$ comme outil principal pour étudier les zéros hors ligne critique, une approche moins courante que les sommes partielles classiques (comme celles utilisées pour la conjecture de Goldbach faible).
• Lien entre résidus et continuité : Démonstration que si l'HR est fausse, les résidus des pôles de $M(s, p)$ doivent satisfaire une relation asymptotique complexe qui varie continûment avec le paramètre rationnel $p$.
• Formulation précise des conditions : Définition rigoureuse des conditions de convergence et des domaines d'intégration nécessaires pour manipuler les fonctions Gamma et les fonctions $L$.

5. Signification et Implications

• Implication pour l'HR : La continuité de l'expression de droite par rapport à $p$ (Théorème 1.3) contraste avec la nature discrète des zéros. Si l'on pouvait prouver que cette continuité est incompatible avec la structure des zéros (ou si la conjecture 1.4 est vraie et mène à une contradiction), cela pourrait fournir une preuve de l'HR.
• Obstacle actuel : La validité complète de l'approche dépend de la résolution de la Conjecture 1.4, qui concerne la borne de la somme des résidus pour de grands dénominateurs de fractions rationnelles.
• Statut : L'article propose une nouvelle voie de recherche et une relation asymptotique conditionnelle. Il ne prouve pas l'HR, mais établit un cadre théorique où la négation de l'HR mène à des contraintes analytiques très fortes sur la distribution des zéros.

En résumé, Hisanobu Shinya propose une approche analytique sophistiquée reliant les zéros de la fonction $\zeta$ à des séries de Dirichlet modifiées. Si l'HR est fausse, les pôles de ces séries doivent obéir à une loi asymptotique continue en $p$, ce qui ouvre une nouvelle perspective pour tester la validité de l'hypothèse, à condition de surmonter les difficultés techniques liées aux bornes des sommes partielles.