A new equivalence to the Riemann Hypothesis by means of the Salem integral equation

1. Problématique

L'article aborde l'une des conjectures les plus célèbres et non résolues des mathématiques : l'Hypothèse de Riemann (HR). Celle-ci postule que tous les zéros non triviaux de la fonction zêta de Riemann, $\xi(s)$, situés dans la bande critique $0 < \text{Re}(s) < 1$, se trouvent sur la droite critique $\text{Re}(s) = 1/2$.

Le papier s'inscrit dans la lignée des travaux de Raphaël Salem (1953), qui a établi une équivalence entre l'HR et l'unicité de la solution nulle pour une certaine équation intégrale impliquant des fonctions mesurables bornées. Les auteurs cherchent à affiner cette équivalence en restreignant l'espace des solutions potentielles à une classe de fonctions très spécifique (des monômes complexes), simplifiant ainsi le critère de vérification de l'hypothèse.

2. Méthodologie

La démonstration repose sur l'analyse des relations entre la fonction zêta de Riemann, la fonction $\eta$ de Dirichlet et une équation intégrale de type Salem.

• Fonctions de base :
  • La fonction zêta $\xi(s) = \sum_{n=1}^{\infty} n^{-s}$ (pour $\text{Re}(s) > 1$).
  • La fonction $\eta(s) = \sum_{n=1}^{\infty} (-1)^{n-1} n^{-s}$, liée à $\xi(s)$ par la relation $\eta(s) = (1 - 2^{1-s})\xi(s)$.
• Représentation intégrale :
  Les auteurs utilisent une identité intégrale connue valable pour $\text{Re}(s) > 0$ et $x > 0$ :
  $$\int_0^{\infty} \frac{t^{s-1}}{e^{xt} + 1} dt = x^{-s} \Gamma(s) \eta(s)$$
  où $\Gamma(s)$ est la fonction Gamma.
• Analyse des zéros :
  En posant $s = \delta + i\gamma$ avec $0 < \delta < 1$, les auteurs montrent qu'un tel $s$ est un zéro de $\xi(s)$ si et seulement si l'intégrale suivante s'annule pour tout $x > 0$ :
  $$\int_0^{\infty} \frac{t^{\delta-1}}{e^{xt} + 1} t^{i\gamma} dt = 0$$
  Cela revient à chercher des solutions de la forme $f(t) = t^{i\gamma}$ (qui sont des fonctions bornées de module 1) dans l'équation intégrale homogène.

3. Contributions Clés et Résultats

Le résultat principal de l'article est l'établissement d'une nouvelle équivalence à l'Hypothèse de Riemann, plus restrictive que celle de Salem originale concernant la nature des fonctions testées.

L'équivalence démontrée :
L'Hypothèse de Riemann est vraie si et seulement si, pour chaque $\delta$ tel que $1/2 < \delta < 1$, l'équation intégrale suivante n'admet aucune solution de la forme $f(t) = t^{i\gamma}$ (avec $\gamma \in \mathbb{R}$) :
$$\int_0^{\infty} \frac{t^{\delta-1}}{e^{xt} + 1} f(t) dt = 0, \quad \forall x > 0$$

Détails de la logique :

1. Si l'HR est fausse, il existe un zéro $s = \delta + i\gamma$ avec $\delta \neq 1/2$. Par symétrie des zéros, on peut supposer $1/2 < \delta < 1$.
2. L'existence de ce zéro implique directement que la fonction $f(t) = t^{i\gamma}$ est une solution non triviale (non nulle presque partout) de l'équation intégrale ci-dessus.
3. Inversement, si une telle solution existe pour un $\delta \in (1/2, 1)$, cela implique l'existence d'un zéro de $\xi(s)$ hors de la droite critique, contredisant l'HR.

Conséquence par rapport à Salem :
L'article relie cette nouvelle condition à l'ancien critère de Salem. Il en déduit que pour tout $\delta \in (0, 1)$ avec $\delta \neq 1/2$, l'unicité de la solution nulle ($f=0$ presque partout) parmi toutes les fonctions mesurables bornées est équivalente à l'absence de solutions de type monôme complexe ($f(t) = t^{i\gamma}$). Cela suggère que pour vérifier l'HR via cette équation intégrale, il suffit de tester l'absence de solutions de cette forme spécifique, sans avoir à considérer l'ensemble infini des fonctions mesurables bornées.

4. Signification

Bien que l'article ne prouve pas l'Hypothèse de Riemann, il offre un cadre théorique intéressant pour son étude :

• Simplification du critère : Il réduit le problème de l'existence de zéros non triviaux à l'analyse spectrale d'un opérateur intégral spécifique, en se concentrant uniquement sur les fonctions propres de type oscillatoire pur ($t^{i\gamma}$).
• Lien structurel : Il renforce la connexion entre la théorie analytique des nombres (zéros de $\xi(s)$) et l'analyse fonctionnelle (équations intégrales de Salem).
• Perspective de recherche : En isolant la classe des solutions $t^{i\gamma}$, les auteurs fournissent un point de départ potentiel pour des approches numériques ou analytiques visant à prouver l'inexistence de telles solutions pour $\delta \neq 1/2$.

En résumé, González et Negrín démontrent que l'Hypothèse de Riemann est équivalente à l'affirmation selon laquelle l'équation intégrale de Salem n'admet aucune solution de type puissance imaginaire pure dans la bande critique, sauf sur la droite critique elle-même.