Histoire de la fonction zêta de Riemann

En mathématiques, la fonction zêta de Riemann est définie comme la somme d'une série particulière, dont les applications à la théorie des nombres et en particulier à l'étude des nombres premiers se sont avérées essentielles. Cet article présente une histoire de la fonction zêta de Riemann, et de la compréhension qu'elle a permise de la répartition des nombres premiers.

Introduction : les nombres premiers et la fonction zêta

Un nombre entier naturel (positif) est dit premier s'il admet exactement deux diviseurs (1 et lui-même). Le nombre 1 n'est pas premier. C'est dans l'Antiquité que furent découverts les nombres premiers, probablement au moment de l'invention des fractions. Le rôle des nombres premiers est fondamental en arithmétique par suite du théorème de décomposition, connu dès l'Antiquité, qui énonce que tout entier positif est le produit de nombres premiers, s'il n'est lui-même premier.

Les nombres premiers, initialement rencontrés dans la simplification des fractions, jouent un rôle dans les structures finies telles que l'anneau (Z/nZ, +, ×) qui est un corps commutatif si et seulement si n est premier.

On attribue traditionnellement à Euclide le théorème suivant : « Il existe une infinité de nombres premiers ».

Ce résultat ne résout cependant pas le problème fondamental de la théorie des nombres premiers : comment les trouver « sans peine » ? S'il existait une expression donnant facilement, pour chaque entier n le nombre premier de rang n, la question de la répartition des nombres premiers ne se poserait pas. Mais la nature du problème fait qu'une telle expression est actuellement inconnue et restera probablement hors de portée pour longtemps (voir à ce sujet l'article détaillé Formules pour les nombres premiers). Cet article montre comment historiquement une fonction mathématique compliquée, la fonction zêta de Riemann, est apparue dans ce contexte et la façon dont elle a permis de faire évoluer la connaissance des nombres premiers.

Par la suite, cette fonction a été étudiée pour elle-même, passant ainsi d'outil d'analyse au statut d'objet mathématique d'analyse.

L'histoire mathématique commence donc dans l'Antiquité grecque par la recherche des nombres premiers. Elle se poursuit à l'époque de la Renaissance européenne (qu'on poussera jusqu'au XVII^e siècle) par l'apparition de différentes questions dont le lien avec les nombres premiers n'est pas immédiat, mais se dégagera avec le temps aboutissant à la fonction zêta de Riemann d'aujourd'hui.

Antiquité de la fonction zêta de Riemann

Le crible d'Ératosthène

On ne connait de l'Antiquité que le célèbre crible d'Ératosthène, qui permet de trouver sans trop d'efforts les nombres premiers inférieurs à une limite donnée, à condition que la limite ne soit pas trop grande.

On construit un tableau contenant les entiers jusqu'à la limite voulue, et on raye à partir de 2 tous les entiers de deux en deux.

Le plus petit entier n qui n'est pas rayé est premier. À partir de celui-ci, on raye les entiers du tableau de n en n. Et on recommence, le plus petit des entiers restant est premier…

La formule du crible

La méthode du crible d'Ératosthène débouche sur une formule appelée formule du crible et attribuée à Daniel da Silva (en) et James Joseph Sylvester, mais très probablement beaucoup plus ancienne sous une forme ou sous une autre.

Formule du crible de da Silva et Sylvester

Dans l'ensemble {1, 2, ..., n }, soient $P_1, P_2,\ldots, P_m$ m relations portant sur ces entiers et W(r) le nombre des entiers qui satisfont à r relations P_i.

Alors, le nombre des entiers qui ne satisfont à aucune des relations P_i est donné par la formule

$n+\sum_{k=1}^m{(-1)^k W(k)}.$

Donnons un exemple :

Le nombre des entiers plus petits que n qui ne sont pas divisibles par les m nombres a₁, a₂, ..., a_m, supposés premiers entre eux deux à deux est égal à

$n - \sum_{1\le i \le m}{\Big[\frac n{a_i}\Big]}+\sum_{1\le i<j \le m}{\Big[\frac n{a_i a_j}}\Big]+\ldots+(-1)^m\Big[\frac n{a_1 a_2 \ldots a_m}\Big],$

où [x] désigne la partie entière de x.

La formule du crible se généralise en un procédé systématique appelé méthode du crible et inauguré par Viggo Brun qui démontra ainsi contre toute attente, le théorème de Brun (1919, « La série des inverses des nombres premiers jumeaux est convergente. »)

Depuis, la méthode du crible de Brun a été améliorée (crible de Selberg (en), entre autres).

Les conjectures non démontrées

Le crible d'Érathostène ne fournit (du moins de manière immédiate) aucune information sur la répartition des nombres premiers, les chercheurs se sont proposés, à défaut d'une formule donnant le n-ième nombre premier ou une formule permettant de dire à coup sûr si un nombre est premier, des formules donnant toujours des nombres premiers ou des propriétés similaires.

L'univers des nombres premiers est riche de conjectures non démontrées telles que :

• la conjecture de Goldbach : « Tout entier pair plus grand que 4 est la somme de deux nombres premiers »
• la conjecture des nombres parfaits : « Tout nombre parfait est pair », qui reste la plus ancienne des conjectures non démontrées. Elle date de l'Antiquité.

On a progressé dans l'étude de ces deux conjectures en montrant, pour la première, que tout nombre impair assez grand est somme de trois nombres premiers, et pour la seconde, que tout nombre parfait impair admet au moins 21 diviseurs.

Ni l'Antiquité ni le Moyen Âge n'ont fait progresser l'étude de la répartition des nombres premiers. Une analyse de la liste des nombres premiers laisse penser que les nombres premiers sont répartis au hasard et sans ordre particulier. Tel était l'avis de ceux qui s'étaient intéressés à cette question. Même Fermat n'avait aucune conjecture sur cette répartition. On a cherché aussi pendant longtemps une formule donnant tous les nombres premiers, puis une formule disant si un nombre entier est premier, sans beaucoup de succès. Les formules obtenues (il y en a ; voir l'article formules pour les nombres premiers), sont impraticables ou basées sur le petit théorème de Fermat, ce qui en rend l'usage impossible.

La naissance de zêta

Le problème de Bâle

C'est vers ces époques passées, en 1644, que se pose une question qui va mener tout droit à la fonction $\zeta\,$: Combien vaut la somme de la série numérique $\sum_{n=1}^\infty{\frac1{n^2}} ?$

On prétend que Tartaglia, déjà, s'était posé cette question et savait^[1] que la somme de la série harmonique, $\sum_{n=1}^\infty{\frac1n}$, était infinie. Quoi qu'il en soit, ni Leibniz, ni les Bernoulli ne réussissent à sommer la série. Et pas plus James Stirling qui a publié sa célèbre formule en 1730 dans son traité Methodus differentialis sive tractatus de summatione et interpolatione serierum infinitarum qui traite justement de la sommation des séries numériques et bien que celle du problème de Bâle soit pourtant l'une des plus simples a priori. Stirling n'en donne qu'une somme approchée par une méthode d'accélération de convergence.

Leonhard Euler

Leonhard Euler^[2], enfin, en 1735, en calcule la somme avec précision et conjecture qu'elle vaut π² / 6. C'est finalement en 1748, en utilisant les relations entre les racines d'un polynôme, et en faisant tendre le degré du polynôme vers l'infini qu'il obtient la première justification de sa conjecture de 1735 :

Théorème d'Euler : $\sum_{n=1}^\infty{\frac1{n^2}}= \frac{\pi^2}6.$

Il en restera très fier et dira même que si un seul de ses travaux devait être conservé, que ce soit celui-ci. Mais il ne s'arrête pas à ce résultat, et, utilisant les nombres B_2k, appelés depuis nombres de Bernoulli, il trouve finalement la formule générale

$\sum_{n=1}^\infty{\frac1{n^{2k}}}=\frac{|B_{2k}|2^{2k-1}\pi^{2k}}{2k !}.$

et définit la fonction zêta, notée ζ, sur les réels positifs supérieurs à 1 par

$\zeta(k)=\sum_{n=1}^\infty{\frac1{n^k}}.$

Il réussi à calculer la valeur de ζ(k) pour les entiers k négatifs et trouve ainsi une forme particulière de ce qui sera la relation fonctionnelle de la fonction zêta.

Il ne réussira pas à calculer ζ(2k + 1) mais trouvera cette curieuse formule qui fait le lien avec la théorie des nombres premiers, et qu'on appelle depuis un produit eulérien :

$\zeta(k)=\prod_{p\in\mathcal{P}}{\frac1{1-\frac1{p^k}}}\,$,

où le produit infini est effectué sur l'ensemble $\mathcal{P}$ des entiers p premiers.

Par conséquent il existe un lien, inconnu jusque là, entre les nombres premiers et la fonction ζ.

Euler en profite pour donner une nouvelle démonstration de l'infinitude des nombres premiers, en considérant la valeur particulière $k=1\,$. En effet la série harmonique est divergente, ce qui est incompatible avec un nombre fini de termes dans le produit eulérien.

Enfin, il montre que la série des inverses des nombres premiers est divergente. Pour cela il calcule le logarithme de ζ(k) à partir du produit eulérien et il développe le logarithme en séries de Taylor autour de 1. Il trouve ainsi deux termes^{[réf. souhaitée]}, la somme

$\sum_{p\in\mathcal{P}}\frac1p$

et une série convergente bornée pour tout m > 1 :

$\sum_{p\in\mathcal{P}}\frac1{p^m}$

Faisant alors tendre k vers 1, le membre de gauche tend vers l'infini par suite de la divergence de la série harmonique tandis que le membre de droite est la somme d'une quantité bornée à laquelle on ajoute la somme

$\sum_{p\in\mathcal{P}}\frac1p,$

ce qui entraine la divergence de la somme. Cependant, Euler écrit en 1751 :

« Les mathématiciens ont tâché jusqu'ici en vain de découvrir quelque ordre dans la progression des nombres premiers, et l'on a lieu de croire que c'est un mystère auquel l'esprit humain ne saurait jamais pénétrer. Pour s'en convaincre, on n'a qu'à jeter les yeux sur les tables des nombres premiers que quelques-uns se sont donné la peine de continuer au-delà de cent mille et l'on apercevra d'abord qu'il n'y règne aucun ordre ni règle. »

qui exprime bien l'état de découragement des mathématiciens depuis mille ans devant cette question qui ne progresse guère.

Les travaux de Legendre

• Euler n'allait pas tarder à être démenti. Quand on est confronté à une fonction ayant des variations qui semblent anarchiques, la première idée qui vient est d'essayer de lisser ces données. Un tel lissage peut être une moyenne, éventuellement mobile, mais on peut aussi s'intéresser à la somme de ces valeurs ou au simple comptage du nombre de termes dans un intervalle donné. C'est l'idée initiale de Adrien-Marie Legendre qui dès 1785 cherche une formule approchée pour le nombre de nombres premiers plus petits que $x\,$, qu'il note $\pi(x)\,$ et qu'on appelle aujourd'hui la fonction de compte des nombres premiers. Et il propose la formule

$\pi(x)\approx\frac x{A\ln(x)+B}$

pour deux constantes A et B bien choisies.

Et, par un argument heuristique, il conjecture que le nombre de nombres premiers inférieurs ou égaux à $x\,$ et contenus dans la progression arithmétique $a.n+b\,$, avec $a\,$ et $b\,$ premiers entre eux, est $\pi(x,a,b)\approx\frac1{\varphi(a)}\pi(x)\, ,$ où $\varphi(k)\,$ est le nombre d'entiers premiers avec $k\,$ et inférieurs à $k\,$.

• Legendre publie dans son Essai sur la théorie des nombres^[3] la première forme de ce qui va devenir le théorème des nombres premiers, démontré indépendamment par Jacques Hadamard et Charles-Jean de La Vallée Poussin en 1896.

$\pi(x) \approx \frac x{\ln(x)-1,08366}$

Le nombre 1,08366 est depuis appelé nombre de Legendre.

• Par la suite, dans une lettre à Encke datée de 1849, Gauss soutiendra avoir depuis 1793 une conjecture du même type. Mais Gauss ne publia rien de son vivant sur cette question. Gauss prétend avoir constaté sur la table des nombres premiers que la probabilité qu'un entier n (impair !) soit premier est environ 1 / ln n. Fort de cette conjecture, il en déduit naturellement la formule

$\pi(x) \approx \int_2^x{\frac{\mathrm du}{\ln u}}= Li(x),$

en notant classiquement Li(x) la fonction d'écart logarithmique intégrale. La conjecture de Legendre est donc que l'on a

$\pi(x) \approx Li(x) \approx \frac x{\ln x}\,$.

• Utilisant un procédé voisin de la formule du crible (qui porte ainsi le nom de crible d'Ératosthène-Legendre), Legendre trouve finalement la formule de Legendre (1808)

$\pi(x)-\pi(\sqrt x)=-1+\sum_{d}{\mu(d)\Big[{x \over d}\Big]},$

où la somme est étendue à tous les diviseurs d du produit $p_1p_2\ldots p_n\,$, $p_1,\ldots ,p_n\,$ désignant les nombres premiers inférieurs ou égaux à $\sqrt x$. $\mu(k)\,$ est la fonction de Möbius. Elle vaut $0\,$ si $k\,$ est divisible par le carré d'un entier, et $(-1)^r\,$ si $k\,$ s'écrit comme le produit de $r\,$ nombres premiers distincts.

• Legendre déduisit de sa méthode ce premier résultat, nouveau depuis l'antiquité, sur la répartition des nombres premiers $\lim_{x \rightarrow \infty}{\frac{\pi(x)}x}=0$ en montrant que $\pi(x) \le \frac x{\ln \ln x}.$ Donc la proportion des nombres premiers tend vers $0\,$. On retrouve ainsi cette impression naturelle que les nombres premiers sont de plus en plus rares à mesure qu'on va plus loin dans la liste. Ce théorème est appelé théorème de raréfaction des nombres premiers.

• Dans sa Théorie des nombres, Legendre émit une conjecture, qui porte maintenant le nom de conjecture de Legendre, et qui énonce qu'il existe un nombre premier p compris entre n² et (n+1)² pour tout entier n. Cette conjecture est liée à l'hypothèse de Riemann de la manière suivante:

Prenons pour n la valeur $[\sqrt{p_m}]+1$. Selon la conjecture il existerait un nombre premier p entre n² et (n+1)². On a ainsi les inégalités

$[\sqrt{p_m}]^2 <p_m \le ([\sqrt{p_m}]+1)^2<p<([\sqrt{p_m}]+2)^2$

soit encore, puisque $p_{m+1} \le p$,

$[\sqrt{p_m}]^2 < p_m < p_{m+1} < p_m +4\sqrt{p_m}+4.$

On a ainsi

$p_{m+1}-p_m \le 4\sqrt{p_m}+4.$

On verra que l'hypothèse de Riemann implique pour une constante C > 0 adaptée

$p_{m+1}-p_m \le C\sqrt{p_m} \ln p_m.$

Les séries de Dirichlet

Reprenant la démonstration d'Euler sur l'infinitude des nombres premiers, Dirichlet parvient entre 1837 et 1839 a démontrer une conséquence d'une conjecture de Legendre datant de 1785.

Théorème de Dirichlet :

«  Si les nombres a et b sont premiers entre eux, il existe une infinité de nombres premiers dans la progression arithmétique an + b, $n \in\N$.  »

Mais pour cela il va associer une série, qu'on appelle depuis série de Dirichlet, et qui est de la forme

$\sum_{n=1}^\infty{\frac{a_n}{n^s}}.$

Reprenant l'argument de la démonstration d'Euler sur l'infinité des nombres premiers et la divergence de la série des inverses des nombres premiers, il en déduisit son théorème de la présence d'un pôle de la série associée en s=1.

Il démontra que l'on avait

$\sum_{n=1}^\infty{\frac1{n^s}}=\frac1{s-1}+\varphi(x),$

φ(x) étant une fonction entière.

Le postulat de Bertrand

En analysant une table de nombres premiers jusqu'à 6 000 000, Joseph Bertrand énonce la conjecture :

Postulat de Bertrand (1845) : « Entre n et 2n existe toujours un nombre premier. »

C'est à la démonstration de ce résultat que va travailler Tchebycheff.

Les travaux de Tchebycheff

En 1849, Tchebycheff démontre que si π(x)ln(x) / x tend vers une limite, la limite est égale à 1. Puis en 1850, utilisant astucieusement la formule de Stirling, il démontre une forme faible de la conjecture de Legendre,

Théorème : Pour tout x suffisamment grand, on a $A\frac x{\ln x} \le \pi(x) \le \frac65A\frac x{\ln x}$ avec $A=\ln {\frac{2^{1/2}3^{1/3}5^{1/5}}{30^{1/30}}}\approx 0,92.$

et en déduit le postulat de Bertrand. Mais il est incapable de démontrer l'existence de la limite.

Il en profite pour montrer que le nombre de Legendre, 1,08366, doit être remplacé par 1.

Ces résultats vont avoir une influence considérable. Il faut ici se souvenir que faire des mathématiques jusqu'au XIX^e siècle c'est calculer sur des égalités. On voit ici apparaître des inégalités, chose bien peu courante alors qu'elles sont monnaies courantes à notre époque.

L'enfance de zêta

Les premières conjectures

• Euler, en 1748, est amené à conjecturer que l'on a, dans les notations d'aujourd'hui, $\sum_n\frac{\mu(n)}n=0$ et en donne une justification.
• En 1832, Möbius conjecture de son côté que $\sum_n \frac{\mu(n)\ln(n)}n=-1.$
• Sur ces deux questions, les progrès sont lents. En 1884, Gram démontre que $\sum_n \frac{\mu(n)}n=\mathcal{O}(1).$
• Von Mangold, en 1897, posant $g(x)=\sum_{n \le x} \frac{\mu(n)}n$ et utilisant le théorème de factorisation de Hadamard sur ζ(s) montre que g(x) = o(1). En même temps, il démontre que $M(x)=\sum_{n \le x}\mu(n)=o(x).$
• Il faut attendre 1899 pour que Landau démontre par une autre voie la conjecture d'Euler

$\sum_n \frac{\mu(n)}n=0$

et par une suite de raisonnements élémentaires, obtienne la formule de Möbius.

• Désormais, la question se concentre à l'obtention de nouvelles estimations de g(x) et de sa pendante $f(x)=\sum_{n \le x} \frac{\mu(n)\ln(n)}n.$
• En 1899, du mémoire de De la Vallée Poussin, on obtient $g(x)=\mathcal{O}(1/\ln x)$ et en 1901, Landau montre g(x) = o(1 / ln x) et même, en fait, pour une constante c adaptée

$g(x)=o\left(\frac1{\ln xe^{c\sqrt{\ln \ln x}}}\right).$

et

$f(x)=-1+\mathcal{O}\left(e^{-c\sqrt{\ln \ln x}}\right)$

Ceci montre en fait que l'on a

$M(x)=o\left(\frac1{\ln xe^{c\sqrt{\ln \ln x}}}\right).$

Le mémoire de Riemann

• Le début du XIX^e siècle a vu se créer la théorie des fonctions analytiques complexes et les méthodes de l'analyse moderne. Cauchy découvre le théorème des résidus, entrevu par Siméon Denis Poisson dès 1813, et se préoccupe des fonctions analytiques complexes et de l'intégration. C'est lui qui va définir la notion de convergence uniforme, balayant ainsi la croyance que la limite d'une suite de fonctions continues est toujours continue. Il fait de même avec les séries en définissant la notion de convergence absolue et s'interdit, ou presque, de sommer les séries divergentes, contrairement à ses prédécesseurs qui écrivent sans formalité

$1-1+1-1+1-\ldots = {1 \over 2}.$

• Dans ce contexte, Bernard Riemann reprend les travaux de Tchebyscheff et dans un mémoire de 1859 va faire progresser de manière décisive la recherche sur la conjecture de Legendre. Il utilise pour cela, prolongeant les méthodes de Tchebyscheff, l'analyse complexe, cette théorie encore neuve en pleine effervescence.

• Il étend d'abord la fonction ζ d'Euler à tous les réels positifs plus grands que 1, puis, passe aux valeurs complexes de la variable, qu'il appelle s = σ + it, avec σ > 1. Enfin, utilisant les propriétés de la fonction Γ d'Euler, il en déduit une représentation de ζ(s) par une intégrale curviligne, ce qui lui permet ensuite d'étendre la fonction ζ à l'ensemble du plan complexe, à l'exception de s = 1 dont Dirichlet avait démontré qu'il s'agissait d'un pôle simple de résidu 1.

$\zeta(s)=\frac{\Gamma(1-s)}{2i\pi}\oint{\frac{(-u)^s\mathrm du}{u(e^u-1)}}$

le domaine étant un lacet autour de 0 et s'étend vers $+\infty$.

• Il démontre une relation fondamentale appelée équation fonctionnelle qui relie la valeur de la fonction ζ en s à celle en 1 − s

$\zeta(s)=2(2\pi)^{s-1}\Gamma(1-s)\sin\Big(\frac{\pi s}{2}\Big)\zeta(1-s).$

Cette relation montre que l'axe $\Re{e}(s)=1/2$ joue un rôle fondamental dans l'étude de la fonction ζ. Si l'on connaît le comportement de ζ à droite de cet axe, l'équation fonctionnelle permet de compléter et l'on connaît alors tout sur ζ.

• Riemann montre facilement que la fonction ζ ne s'annule pas sur le demi-plan $\Re{e}(s) > 1$, et donc, par l'équation fonctionnelle, ζ ne s'annule pas non plus sur $\Re{e}(s) < 0$, hormis les entiers pairs négatifs qu'on désigne par « zéros triviaux » . Il est d'autre part facile de montrer que chacun de ces zéros triviaux est simple.

• Riemann, démontre ensuite que ζ(s) ne peut s'annuler, en dehors des entiers négatifs pairs, que dans la bande $0\le \Re{e}(s) \le 1$, et émet la conjecture suivante

Hypothèse de Riemann, (1859) : Tous les zéros non triviaux de ζ sont de partie réelle égale à 1 / 2.

• Dans la théorie de la fonction ζ, par suite du théorème de factorisation de Hadamard relatif aux fonctions méromorphes d'ordre fini ρ, les zéros et les pôles jouent un rôle central. Pour la fonction ζ de Riemann, qui est d'ordre 1, on a :

$\zeta(s)=\frac{e^{bs}}{2(s-1)\Gamma(\frac12s+1)}\prod_\rho{\Big(1-\frac s\rho\Big)e^{\frac s\rho}},$

avec b = ln(2π) − 1 − γ / 2, γ désignant la constante d'Euler-Mascheroni.

• On voit ainsi que la détermination des zéros ρ est une question centrale. Or ces zéros ρ sont répartis symétriquement par rapport à l'axe réel puisque la fonction est réelle sur l'axe réel (principe de symétrie de Schwarz), mais se répartissent également symétriquement par rapport à l'axe $\Re{e}(s)=1/2$.

• La solution la plus simple et la plus agréable au mathématicien est que tous les zéros non triviaux ρ soient sur l'axe 1/2. Il ne faut pas voir autre chose comme motivation initiale à l'hypothèse de Riemann. Cette hypothèse est cependant lourde de conséquences. Mais ni Riemann ni ses continuateurs ne parviendront à la démontrer.

• Le reste du mémoire fait le lien entre les zéros de la fonction ζ(s) et les fonctions de l'arithmétique, mais les démonstrations sont seulement ébauchées.

• Tout d'abord, il donne le nombre de zéros de la fonction ζ(s) dans le rectangle $[0,1]\times[0,iT]$ comme étant :

$\frac T{2\pi}\ln\frac T{2\pi}-\frac T{2\pi}+\mathcal{O}(\ln T).$

Il a été fait ici usage de la notation de Landau (1909), qui en réalité fut utilisée par Bachmann dans son traité Zahlentheorie Tome 2, 1894 (page 402) où $\mathcal{O}(f)$ signifie qu'il existe une constante A qui majore le terme représenté par Af(t) quand t est assez grand.

• Puis vient le lien entre la fonction π(x) et la fonction ζ(s) sous la forme :

$\ln \zeta(s)=s\int_2^\infty{\frac{\pi(x)}{x(x^s-1)}\mathrm dx},$

(avec $\Re{e}(s)>1$) qu'il s'agit d'inverser pour obtenir le théorème des nombres premiers. Il écrit pour cela

$\pi(x)+\sum_{m=2}^\infty{\frac{\pi(x^{1/m})}m}= \frac1{2i\pi}\int_{a-i\infty}^{a+i\infty}{\frac{\ln \zeta(s)}sx^s\mathrm ds}.$

et utilisant un développement de ln ζ(s) en fonction des zéros ρ de ζ(s), il annonce la formule que justifiera pleinement Von Mangold en 1894:

$\pi(x)=\sum_{m=1}^\infty{\mu(m)\frac{f(x^{1/m})}m},$

avec

$f(x)=Li(x)-\sum_{\rho}{Li(x^\rho)}+\int_x^\infty{\frac1{u^2-1}.\frac{\mathrm du}{u\ln u}}+K,$

où K est un nombre précis.

• Pour finir, Riemann prétend que cela explique parfaitement la conjecture de Legendre et qu'on peut même en déduire que Li(x) majore π(x) avec un terme d'erreur $\mathcal{O}(x^{1/2})$. C'est en fait une conjecture de Gauss que l'on a $\pi(x) \le Li(x)$ (mais elle est fausse).

• Ce mémoire est le seul mémoire de Riemann concernant la théorie des nombres. Riemann meurt en 1866, à l'âge de 40 ans.

Les continuateurs de Riemann

• Depuis, la conjecture de Riemann, et l'étude de la fonction ζ(s) occupent l'esprit de nombreux mathématiciens, qui ne mesurent pas tous, loin de là, la difficulté de la tâche léguée par Riemann. Car, disons le franchement, les démonstrations de Riemann sont, lorsqu'elles existent, souvent incomplètes, pour ne pas dire franchement fausses. Il faudra longtemps pour avoir une vraie démonstration du théorème de l'application conforme "de Riemann" par exemple. Et cela est également vrai pour son mémoire de 1859 sur la fonction ζ(s). Cependant, l'audace de Riemann, qui est un partisan convaincu de la puissance des méthodes de la variable complexe, constitue une révolution pour l'époque.

• Les formules du mémoire de Riemann sont démontrées par Hadamard en 1893 et Von Mangold en 1895 (avec une petite erreur concernant la formule sur le nombre de zéros de ζ, réparée en 1905). Ajoutons que l'on démontra que l'hypothèse $\pi(x) \le Li(x)$ entraine l'hypothèse de Riemann sur la partie réelle des zéros de ζ(s).

• On démontrera assez vite le théorème

«  Les trois propositions suivantes sont équivalentes :

• $\pi(x) \approx Li(x),$
• $\Pi(x)=\sum_{n \le x}{\frac{\Lambda(n)}{\ln n}} \approx Li(x),$
• $\theta(x)=\sum_{p \le x}{\ln p} \approx x.$ »

Quelques exemples d'annonces prématurées

• En 1883, Halphen (CRAS, 1883, T96, page 634 et suivantes) annonce

« Je prouverai en effet que la fonction de M. Tchebychef, somme des logarithmes des nombres premiers inférieurs à x, est asymptotique à x, ce qu'on n'avait pu obtenir jusqu'à présent. »

Halphen reconnut que sa méthode rencontrait des difficultés non prévues sur cette question et ne publia pas le résultat annoncé. Reprenant cette méthode, Cahen n'eut pas plus de succès en 1893. La solution allait venir de Hadamard dont la démonstration s'inspira partiellement de la méthode de Halphen, décédé entre temps le 21 mai 1889.

• Toujours dans les Comptes rendus de l'Académie des sciences, à la date du 13 juillet 1885, on trouve une note présentée par Charles Hermite et rédigée par Stieltjes, celui-ci prétend avoir démontré l'hypothèse de Riemann en une petite page !

Cette démonstration est fausse. En 1885, Stieltjes se comporte comme si l'on avait l'égalité $\sum_{n=1}^\infty{\frac{\mu(n)}{n^s}}=\prod_{p}\Big(1-\frac1{p^s}\Big)$ dès que l'un ou l'autre des deux membres converge. Or, le produit infini n'est convergent que si la série des logarithmes des termes qui le composent est convergente. Et cela doit avoir lieu pour tout s, donc notamment pour s réel et plus particulièrement pour s = 1. Comme le théorème des nombres premiers donne $p_n \approx n\ln n$ et comme $\ln(1-x)=-\sum_{k=1}^\infty{\frac{x^k}k}$ on doit donc avoir $-\sum_{p}{\ln(1-1/p^s)}=\sum_p{\sum_k\frac1{p^{ks}k}} < \infty,$ or il est clair que les sommes précédentes sont finies pour s réel strictement plus grand que 1/2 pour $k\ge 2$, mais que la somme $\sum_p{\frac1{p^s}}$ n'est jamais finie si s est compris entre 1/2 et 1 inclusivement.

La démonstration de Stieltjes est donc fausse.

• Dans une correspondance entre Hermite et Stieltjes^[4], Hermite lui demande de prendre contact avec Mittag-Leffler qui vient de lire sa communication et qui demande des explications. On ignore quelle fut la réponse de Stieltjes ni la teneur de la correspondance supposée entre Stieltjes et Mittag-Leffler mais c'est peut-être là qu'il faut trouver l'inexplicable raison de l'abandon par Stieltjes de ses recherches sur la fonction ζ et dont il voulait faire sa thèse. Il soutiendra en effet une thèse écrite en trois mois, "Recherches sur quelques séries semi-convergentes" en 1885.

• Dans le même mémoire dans lequel il démontre la formule qui porte son nom, Johan Jensen annonce en 1899 dans les Acta Mathematica qu'il va démontrer l'hypothèse de Riemann. Pas de suite.

La majorité

Le grand théorème des nombres premiers

• En 1896 Jacques Hadamard^[5] et Charles-Jean de La Vallée Poussin^[6] démontrent indépendamment la conjecture de Legendre sous sa forme définitive :

Théorème des nombres premiers

$\lim_{x \rightarrow \infty}{\frac{\pi(x)}{Li(x)}}=1.$

en montrant que la fonction ζ(s) ne s'annule pas sur un domaine $D=\{ s \in\C|1> \Re{e}(s) > 1-\frac A{\ln \Im{m}(s)}\}.$ où A est une constante adéquate.

• De La Vallée Poussin montra en même temps l'inégalité (pour σ > 1)

$\zeta^3(\sigma)|\zeta(\sigma+it)|^4|\zeta(\sigma+2it)| \ge 1.$

• Jusqu'à présent, personne n'a réussi à faire beaucoup mieux, c'est-à-dire démontrer que ζ(s) est non nulle sur une bande [1 − δ,1], quel que soit δ > 0, alors qu'une majeure partie de la communauté mathématique croit que ζ(s) ne s'annule pas sur la bande ]1 / 2,1], conformément à l'hypothèse de Riemann.

• Edmund Landau, dans une suite de mémoires et de communications, va simplifier les preuves précédentes, donner une nouvelle démonstration du postulat de Bertrand et établir dès 1903 que le théorème des nombres premiers est équivalent à l'affirmation "La fonction ζ(s) ne s'annule pas sur la droite $\Re{e}(s)=1$", résultat établi par Hadamard en 1892.

Le reste dans le théorème des nombres premiers

Helge von Koch, admettant l'hypothèse de Riemann, montra en 1901^[7] que cette hypothèse impliquait l'égalité

$\pi(x)-Li(x)=\mathcal{O}(\sqrt x\ln x).$

Les théorèmes transcendants et les autres

• C'est avec beaucoup de difficulté qu'on avait réussi à démontrer la conjecture de Legendre-Gauss. Aussi, tout théorème qui était équivalent au théorème de Hadamard-De La Vallée Poussin fut qualifié de transcendant.

• En fait, on avait constaté que les théorèmes transcendants initiaux utilisaient de manière profonde la théorie de la variable complexe. Aussi se forgea cette conviction que l'on ne pouvait pas se passer de la théorie de la variable complexe dans la démonstration du théorème des nombres premiers puisque celui-ci était équivalent à montrer que la fonction ζ(s) ne s'annulait pas sur l'axe 1 (théorème de Landau).

• Les mathématiciens distinguèrent ainsi ces théorèmes de théorie des nombres qui nécessitaient la théorie de la variable complexe en les qualifiant de transcendants, tandis que les autres théorèmes disposaient d'une démonstration qualifiée d'élémentaire. Cette classification avait le défaut d'être fluctuante. Ainsi, certaines égalités avaient un membre qualifié de transcendant, tandis que l'autre ne l'était pas ! D'autre part, avec le temps, on finissait par trouver des démonstrations élémentaires pour des théorèmes qualifiés un temps de transcendants.

• Le coup de grâce fut donné en 1949 quand Selberg donna finalement une preuve élémentaire - au sens précédent - du grand théorème des nombres premiers.

De nouveaux outils

Les difficultés rencontrées pour justifier pleinement les affirmations de Riemann incitent les mathématiciens à inventer de nouveaux outils. Deux vont voir le jour à l'orée du vingtième siècle : la théorie des séries de Dirichlet qui sera commencée par Eugène Cahen, et la théorie des fonctions presque périodiques, œuvre d'Ernest Esclangon, mais principalement de Harald Bohr et Edmund Landau, et qui se poursuivra par Jean Favard et Abram Besicovitch avant d'être absorbée par l'analyse harmonique (Wiener, ...).

Bohr et la théorie des fonctions presque périodiques

• La théorie des fonctions presque périodiques est essentiellement l'œuvre de Bohr et Landau à partir de 1909, même si Esclangon a proposé au tout début du vingtième siècle une théorie voisine, celle des fonctions quasi-périodiques. L'objectif est la généralisation des séries de Fourier et de l'étude des propriétés de ces fonctions. Dans la série de Fourier d'une fonction, les coefficients, on s'en souvient, sont calculés à partir d'une intégrale de la fonction, supposée périodique. La fonction s'écrit alors comme une somme de fonctions trigonométriques dont la fréquence est un multiple de la période de la fonction. Et, sans grande difficulté, on passe de la représentation classique par sinus et cosinus à une représentation faisant intervenir une exponentielle dont l'argument est imaginaire pur.

• Dans la théorie des fonctions presque périodiques, soit on se donne les coefficients "de Fourier" d'une série trigonométrique et on en étudie les propriétés, soit on cherche quelles doivent être les propriétés d'une fonction pour qu'elle soit "presque" périodique. On montre que les deux points de vue coïncident si l'on reste raisonnable dans ses demandes.

• On dit qu'une fonction f, définie et continue sur ${}^\R$, est presque périodique (au sens de Bohr) s'il existe un nombre L > 0 tel que pour tout intervalle de longueur L et pour tout ε > 0 existe un nombre $\tau=\tau(\epsilon)\leq L$, appelé $\epsilon$-presque période, tel que

$|f(x+\tau)-f(x)| \le \epsilon$

. Le nombre L est appelé intervalle d'inclusion.

• Cette définition s'étend aux fonctions complexes et l'on dit que f, fonction analytique complexe, est presque périodique dans la bande [σ₁,σ₂] si f(σ + it) est presque périodique en t pour $\sigma \in [\sigma_1,\sigma_2]$.

• La théorie des fonctions presque périodiques démontre que toute fonction presque périodique est bornée et qu'une fonction analytique complexe ne peut être presque périodique dans une bande que si elle y reste bornée.

• La somme et le produit de fonctions presque périodiques sont presque périodiques.

• On démontre ensuite qu'une fonction presque périodique est la limite uniforme d'une suite de fonctions presque périodiques, que la dérivée d'une fonction presque périodique qui est uniformément continue est elle-même presque périodique...

• Le premier résultat de la théorie est que toute fonction presque périodique admet une valeur moyenne

$M(f)=\lim_{T \rightarrow \infty}{\frac1T\int_0^T{f(u)\mathrm du}} < \infty,$

résultat dont on déduit le second résultat de la théorie, et qui concerne la représentation en séries de Fourier généralisées

« Toute fonction f presque périodique s'écrit

$f(t)= \sum_{n=1}^\infty{a_n e^{i\lambda_n t}}.$ »

formule dans laquelle λ_n est une suite de nombres réels jouant le rôle de fréquence de Fourier, les a_n étant les coefficients de Fourier de la série.

• Puis on démontre que

« toute fonction presque périodique peut être approchée uniformément par un polynôme trigonométrique. »

et l'on a une inégalité du genre inégalité de Bessel :

$\sum_{n=1}^\infty{|a_n|^2} \le M(f^2).$

• Le point central est cependant le Théorème de Kronecker

« Soient (a_i) une suite finie de n nombres réels linéairement indépendants et (b_i) une autre suite finie de n réels quelconques. Et un entier q. Il existe n entiers x_i et un nombre t tels que chacune des n inéquations suivantes soient satisfaites $|ta_i-b_i-x_i| \le \frac1q.$ »

qui donne tout à la fois un moyen numérique pour trouver les presque-périodes et un moyen théorique pour l'existence de l'intervalle d'inclusion.

On remarquera que ce théorème est très proche d'un théorème de Dirichlet qui porte différents noms amusants, principe des tiroirs, des trous de pigeons, des chaussettes... :

Principe des tiroirs :

« Soient (a_i) une suite finie de n nombres réels quelconques, un entier q et un nombre t₀, il existe un nombre t dans l'intervalle [t₀,t₀qⁿ] et des entiers x_i tel que chacune des n inéquations suivantes soient satisfaites $|ta_i-x_i| \le \frac1q.$ »

mais la généralité du théorème de Kronecker a un coût, l'absence d'information sur t.

• Concernant la théorie des fonctions analytiques complexes presque périodiques dans une bande, en liaison avec le théorème de Fragmen-Lindelöf qui n'est que l'extension du principe du maximum à un ensemble non borné (bande ou secteur angulaire, ici bande) on démontre que la dérivée d'une fonction analytique complexe presque périodique dans une bande [σ₁,σ₂] est elle-même presque périodique dans la même bande.

• On a d'autre part le résultat suivant dû à Doetsch (de) (1920) :

Théorème des trois droites :

« Soit f(s) une fonction analytique régulière et bornée dans la bande [σ₁,σ₂].

Alors $\ln \sup_{t \in\R}{|f(\sigma+it)|}$ est une fonction convexe de σ dans [σ₁,σ₂]. »

• De tout cela résulte qu'une fonction analytique régulière presque périodique pour une valeur σ est presque périodique dans une bande maximum [σ₁,σ₂] où elle reste bornée, en dehors de cette bande soit elle n'est plus régulière (pôles, ...) soit elle n'est plus bornée, soit elle cesse d'exister. Sa série de Fourier la représente dans sa bande maximale. Si la fonction redevient presque périodique dans une autre bande, elle y admet une autre série de Fourier.

• Appliquée à la fonction ζ de Riemann, la théorie des fonctions presque périodiques montre que ζ(s) est une fonction presque périodique dans la bande $]1, \infty[$, où elle est représentée par sa série de Fourier-Dirichlet $\zeta(\sigma+it)=\sum_{n=1}^\infty{\frac1{n^\sigma}e^{-i\ln(n)t}},$ la bande $]1,\infty[$ étant maximale. Toutes ses dérivées sont également des fonctions presque périodiques sur la même bande.

• Il en est de même de la fonction 1 / ζ(s).

• Le théorème de Dirichlet permet même de montrer le théorème (Bohr et Landau)

« Il existe un nombre A > 0 et aussi grand que soit t₀ des t > t₀ tels que | ζ(1 + it) | > Aln ln t. »

Comme 1 / ζ(s) existe pour tout s de partie réelle supérieure ou égale à 1, et qu'elle n'admet aucun pôle sur l'axe 1, on en déduit qu'elle n'est pas bornée sur cet axe.

• D'autre part, en raison de la presque-périodicité sur le demi-plan σ > 1, à tout ε > 0 il existe une infinité de valeurs de t

tels que

$(1-\epsilon)\zeta(\sigma) \le |\zeta(\sigma+it)| \le \zeta(\sigma)$

et pareillement pour la fonction 1 / ζ :

$(1-\epsilon)\frac{\zeta(\sigma)}{\zeta(2\sigma)} \le \Big|\frac1{\zeta(\sigma+it)}\Big| \le \frac{\zeta(\sigma)}{\zeta(2\sigma)}.$

La théorie générale des séries de Dirichlet

• La théorie générales des séries de Dirichlet est commencée par Eugène Cahen dans sa thèse Sur la fonction de Riemann et sur des fonctions analogues soutenue le 16 mars 1894. Ce travail est l'objet de très sérieuses réserves de la part des mathématiciens de cette époque mais servira de cadre et de guide pour les études suivantes parce qu'il tente de faire une théorie systématique des fonctions représentables par des séries de Dirichlet.

• La théorie s'articule sur la notion d'abscisse de convergence dès qu'est montré que la convergence de la série pour une valeur s₀ = σ₀ + it₀ entraine la convergence pour les valeurs s = σ + it avec σ > σ₀ (théorème de Jensen, 1884). Et on définit classiquement maintenant plusieurs abscisses de convergence. Il y a l'abscisse de convergence absolue qui correspond à l'abscisse de convergence de la série de Dirichlet dont les coefficients sont les valeurs absolues des coefficients de la série de départ. Cette abscisse sera notée σ_a. La série initiale admet elle une abscisse de convergence dite simple notée σ_s. $\sigma_s \le \sigma_a$.

• Dans le demi-plan de convergence simple, la somme de la série de Dirichlet représente une fonction analytique complexe régulière, et sa dérivée est elle-même analytique régulière dans le même demi-plan.

• Théorème (Cahen, 1894)

« Soit une série de Dirichlet $f(s)=\sum_{n=1}^\infty{a_n e^{-\lambda_n s}}$ dont on suppose que l'abscisse de convergence simple est positive ou nulle. Alors l'abscisse de convergence est donnée par $\sigma_s=\limsup_{n \rightarrow \infty}{\frac{\ln |A(n)|}{\lambda_n}}$ où $A(n)=\sum_{k \le n}{a_k}$. »

Faisons deux petites applications à la fonction ζ de Riemann.

On a pour ζ(s) a_n = 1, et λ_n = ln n. D'où | A(n) | = n et la formule donne σ_s = 1.

Par contre pour la fonction $\frac1{\zeta(s)}=\sum_{n=1}^\infty{\frac{\mu(n)}{n^s}},$ on a a_n = μ(n), λ_n = ln n et A(n) = M(n) fonction sommatoire de la fonction de Möbius. Supposons $M(n)= \mathcal{O}(n^\theta)$. La formule donne alors pour abscisse de convergence la valeur θ. Et la fonction sera régulière pour σ > θ donc ζ(s) ne s'annulera pas sur le demi-plan σ > θ.

On voit ainsi qu'il existe un lien entre la fonction ζ(s), l'hypothèse de Riemann, et la fonction sommatoire M(x). En fait, grâce à la formule sommatoire d'Abel, on a la formule intégrale $\frac1{\zeta(s)}=s\int_1^\infty{\frac{M(u)}{u^{1+s}}\mathrm du},$ qui montre que toute hypothèse de croissance sur M(x) se traduit immédiatement sur la convergence de l'intégrale. De telles hypothèses ont été formulées à différentes époques et portent le nom génériques d'hypothèses de Mertens.

• La théorie des séries de Dirichlet cherche ensuite l'ordre de la fonction f(s) représentée par la série. C'est ainsi qu'est définie la notion d'ordre fini (distincte de celle impliquée par le principe de Phragmén-Lindelöf (en)). On démontre en effet que f(s) est o(t) dans un demi-plan plus vaste que son demi-plan de convergence. Aussi, on définit μ(σ) le plus petit des ξ tels que $f(\sigma+it)=\mathcal{O}(t^\xi)$. Le nombre μ(σ) ainsi défini est appelé l'ordre fini de f(s) sur la droite σ.

Appliquant l'un de ses théorèmes

« Soit f(σ + it) une fonction analytique complexe qui est o(exp(e t)) dans une bande [σ₁,σ₂] pour tout e>0; Si elle est $\mathcal{O}(t^a)$ sur σ = σ₁ et $\mathcal{O}(t^b)$ sur σ = σ₂

alors f est $\mathcal{O}(t^{k(\sigma)})$ dans la bande[σ₁,σ₂] où k(σ) est la fonction $k(\sigma)=\frac{(\sigma-\sigma_1)b+(\sigma_2-\sigma)a}{\sigma_2-\sigma_1}.$ »

Lindelöf montra en 1908 le théorème suivant :

« La fonction μ(σ) est une fonction convexe, positive et décroissante de σ. »

Pour la fonction ζ(s), nous savons que μ(σ) = 0 si σ > 1 puisqu'elle est bornée sur le demi-plan de convergence. D'autre part on montre que μ(σ) = 1 / 2 − σ si $\sigma \le 0$ par la relation fonctionnelle. Il s'agit donc de relier le point (0,1/2) au point (1,0) par une courbe positive décroissante et convexe. La droite qui joint ces deux points est d'équation 1 / 2 − σ / 2 et cela donne $\mu(1/2) \le 1/4$. On a montré jusqu'ici $\mu(1/2) \le 139/858$ (Kolesnik). On conjecture que μ(1 / 2) = 0 (hypothèse de Lindelöf).

Les conjectures de Mertens, de Von Sterneck...

Il est temps maintenant de parler des grandes conjectures qui sont sous-jacentes à tout ce qui vient d'être dit.

Les différentes conjectures de Mertens

La première conjecture qui résout l'hypothèse de Riemann est celle de Mertens. On se souvient que Stieltjes dans sa "preuve" de 1885 avait affirmé qu'il était facile de voir que la série de Dirichlet qui définissait 1 / ζ(s) convergeait pourvu que $\Re{e}(s)>1/2$. Cette affirmation était équivalente à affirmer que $M(u)=\mathcal{O}(u^{1/2+\epsilon})$, quel que soit $\epsilon$.

Dans un article de 1897, utilisant une table numérique jusqu'à 10 000, Mertens constate que $|M(n)|\le\sqrt n$ pour n < 10000, résultat bientôt confirmé par Von Sterneck, en 1901, jusqu'à 500 000, et au congrès international des mathématiciens de 1912 pour 16 valeurs en dessous de 5 millions. Celui-ci en profite pour proposer la majoration $|M(n)| \le \sqrt n/2$ qui sera réfutée en 1963 par Neubauer numériquement en montrant que M(7760000000) = 47465, qui est supérieur à la borne de Von Sterneck. Précisons que Wolfgang Jurkat, en 1973, démontrera que la conjecture de Von Sterneck est asymptotiquement fausse.

La conjecture de Mertens se présente sous trois formes

• la forme normale $|M(n)|\le\sqrt n$,
• la forme généralisée, il existe A > 0 tel que $|M(n)|\le A\sqrt n$,
• la forme affaiblie $\int_1^x{\frac{M^2(u)}{u^2}\mathrm du}=\mathcal{O}(\ln x).$

La forme normale implique la forme généralisée qui implique la forme affaiblie.

Résultats actuels sur les conjectures de Mertens

• Actuellement, on sait que la première forme est fausse (Odlyzko (de) et Te Riele (en), 1985) mais la preuve donnée ne permet pas de répondre sur les deux autres formes. On conjecture actuellement que la seconde forme est également fausse. Cependant, la formule sommatoire d'Abel appliquée à 1 / ζ(s) montre que l'on a, si l'hypothèse de Riemann est vraie, $M(u)=\mathcal{O}(u^{1/2+\epsilon}).$

Ce dernier résultat est presque le meilleur qu'on puisse actuellement espérer.

• Comme on l'a vu à propos des séries de Dirichlet, l'hypothèse de Mertens, quelle que soit sa forme, implique l'hypothèse de Riemann, mais elle a une intéressante conséquence, la simplicité des zéros de la fonction ζ. Or justement on a calculé des millions de zéros de la fonction ζ et on les a tous trouvés de partie réelle égale à 1/2 et simples.

L'hypothèse de Lindelöf

• On a essayé de démontrer des versions plus faibles de l'hypothèse de Riemann à mesure que le temps passait et qu'aucun progrès n'était obtenu dans cette voie. Dans un article^[8] paru dans le bulletin des sciences mathématiques en 1908, Lindelöf étudie la croissance de la fonction ζ(s) et des puissances de t en définissant la fonction μ(σ). Il y montre que la fonction μ(σ) est décroissante et convexe, ce qui l'amène à conjecturer que μ(1 / 2) = 0 c'est-à-dire que l'on a

$|\zeta(\sigma+it)| \le t^\epsilon$

quel que soit ε > 0^[9]. Cette hypothèse n'est pas démontrée (il y a cependant dans les prépublications sur arXiv un document dont les auteurs affirment avoir démontré l'hypothèse de Lindelöf, mais il ne semble pas avoir été examiné par un spécialiste). Tout ce qu'on sait c'est qu'elle est impliquée par l'hypothèse de Riemann et qu'elle a certaines conséquences intéressantes.

• Dans sa thèse, soutenue le 20 juin 1914 Sur les fonctions entières d'ordre nul et d'ordre fini et en particulier les fonctions à correspondance régulière, Georges Valiron énonce dans une application un théorème qui s'avère essentiel dans la théorie de la fonction ζ.

« Il existe un nombre δ > 0 tel que dans tout intervalle [T,T + 1] existe une infinité de valeurs de t pour lesquels $|\zeta(\sigma+it)| \ge t^{-\delta},$ et cela quel que soit $\sigma \in [-1,2]$. »

L'importance de ce théorème tient au fait qu'il soit le seul qui permette une traversée de la bande critique [0,1].

• La théorie des séries de Dirichlet montre que $\delta \le 1$ sans hypothèse mais on ne connaît pas une valeur de δ sans hypothèse supplémentaire. Par contre, si l'on admet l'hypothèse de Lindelöf, alors δ peut être pris aussi petit qu'on veut, et cela vaut également pour l'hypothèse de Riemann. En effet, on montre alors que l'on a un théorème de Valiron avec pour δ une fonction décroissante tendant vers 0 à mesure que t tend vers l'infini.

• Le théorème de Valiron sert essentiellement à majorer (ou minorer) des intégrales complexes faisant intervenir la fonction ζ(s) sur un chemin traversant la bande critique.

• C'est grâce à lui qu'on montre que l'hypothèse affaiblie de Mertens (et donc les autres hypothèses) implique non seulement l'hypothèse de Riemann mais également la simplicité des zéros de la fonction de Riemann et certaines minorations entre les zéros de la fonction ζ.

Le théorème de Hardy

• Dans une communication à l'Académie des sciences de Paris, en 1914, Godfrey Harold Hardy démontre que la fonction zêta s'annule une infinité de fois sur l'axe 1/2. Ce beau résultat sera par la suite tempéré par la comparaison entre la proportion des zéros sur l'axe en dessous de T avec ceux attendus : elle est très faible.

Le théorème de Speiser

• Dans une communication faite dans les Comptes rendus de l'Académie des sciences de Paris en 1912, Littlewood annonce avoir démontré "d'un théorème de MM. Bohr et Landau" le théorème suivant

« Ou la fonction ζ(s), ou bien la fonction ζ'(s) a une infinité de zéros dans le demi-plan σ > 1 − δ, δ étant une quantité positive arbitrairement petite. »

• La question du nombre de zéros de ζ'(s) prend alors une nouvelle tournure dans le théorème de Speiser (de), publié dans les Mathematische Annalen en 1935. Celui-ci, analysant la surface de Riemann du point de vue des lignes d'argument constant, et utilisant pleinement la relation fonctionnelle, arrive à la conclusion

« L'hypothèse de Riemann est équivalente à l'absence de zéro non trivial de la dérivée ζ'(s) dans le demi-plan σ < 1 / 2. »

• En 1996, Cem Yıldırım (en) a démontré

«  L'hypothèse de Riemann implique que les fonctions ζ''(s) et ζ'''(s) ne s'annulent pas dans la bande $0 < \Re{e}(s) <1/2.$ »

Les théorèmes d'oscillation

• De tout temps on a constaté qu'il semblait exister une prédominence assez sensible des nombres premiers de la forme 4n+3 par rapport à ceux de la forme 4n+1.

Tchebyscheff avait, en 1853, publié une conjecture concernant la différence entre le nombre de nombres premiers dans la suite arithmétique 4n+3 et ceux de la suite 4n+1. Il conjecturait qu'il existait des valeurs de x tendant vers l'infini pour lesquelles

$\frac{\pi(x,4,3)-\pi(x,4,1)}{\sqrt x\ln(x)}$

prenait des valeurs aussi proche de 1 que l'on veut.

C'est à la démonstration de ce résultat que va s'atteler Phragmén.

• Tout d'abord il obtient le théorème suivant

Théorème de Phragmén (1891) :

« Soit f(u) une fonction réelle localement intégrable pour u >1. On suppose que l'intégrale

$\phi(s)=\int_0^\infty{\frac{f(u)}{u^{1+s}}\mathrm du}.$ converge pour $\Re(s)>1$ et définie une série entière dont le rayon de convergence est strictement supérieur à 1.

Alors

1. quel que soit δ > 0, il n'existe aucun x₀ tel que pour tout x > x₀, on ait f(x) > δ (respectivement f(x) < − δ),
2. si de plus f(x) possède une infinité de points de discontinuités, la divergence d'une certaine série formée à partir des discontinuités et des sauts implique que f(x) oscille indéfiniment autour de 0 (infinité de changement de signes). »

qui est historiquement le premier théorème d'oscillation.

• Le calcul par Jørgen Pedersen Gram des premiers zéros non triviaux de ζ(s) en 1895 et 1903, permet à Erhard Schmidt de démontrer en 1903 le premier théorème d'oscillation qui n'est pas une alternance de signes :

$\sum_{p^\nu \le x}{\frac1\nu}-Li(x)=\Omega_\pm(\frac{\sqrt x}{\ln x}).$

Théorème de Landau (1905) :

« Soit f(u) une fonction réelle localement intégrable. On définit la fonction

$\phi(s)=\int_0^\infty{\frac{f(u)}{u^{1+s}}\mathrm du}$ et on appelle σ_c son abscisse de convergence.

S'il existe un u₀ tel que f(u) > 0 pour tout u > u₀, alors σ_c est une singularité de $\phi(s)\,$. »

dont on déduit que si σ_c n'est pas une singularité, alors f ne garde pas un signe constant.

• Une application immédiate du théorème de Landau à 1 / sζ(s) pour laquelle la fonction f(u) du théorème vaut M(u), fonction sommatoire de Möbius, donne, puisque 1 / sζ(s) est régulière sur l'intervalle [0,2] réel

$M(x)=\sum_{n \le x}{\mu(n)}=\Omega_\pm(\sqrt x).$

On a utilisé en passant le résultat que zêta s'annule pour

ρ₁ = 1 / 2 + 14,1...i

Combien de zéros sur l'axe 1/2

• Hardy avait montré en 1914 qu'il existait une infinité de zéros sur l'axe 1/2. Mais sa démonstration ne donnait qu'une quantité infime par rapport au nombre des zéros dans la bande critique. On chercha donc à compléter le théorème de Hardy.

• On appelle classiquement No(T) le nombre des zéros sur l'axe 1/2 et de partie imaginaire positive inférieure à T et N(T) le nombre des zéros non triviaux dans la bande critique et de partie imaginaire positive inférieure à T. L'hypothèse de Riemann énonce que No(T)=N(T). Mais on ignore encore aujourd'hui si No(T)~N(T). La question de la comparaison de No(T) et de N(T) se pose dès la démonstration du théorème de Hardy. Rappelons que N(T) croit comme T ln(T).

• D'abord, en 1921, Hardy et Littlewood démontrent qu'il existe une constante A pour laquelle on a No(T) > AT.

• Selberg, en 1942, reprenant la démonstration de Hardy et Littlewood réussit à améliorer l'estimation jusqu'à No(T) > A T ln(T). Désormais on a le bon ordre et le travail se concentrera à l'amélioration du rapport No(T)/N(T).

• En 1974, Levinson (en) démontra que le rapport est au moins égal à 1/3 quand T tend vers l'infini.

Et, une observation de Health-Brown (de) et Selberg permet de montrer que ce tiers n'est constitué que de zéros simples. Conrey (en) améliore le rapport en 1983 à 0,3658 puis en 1989 à 0,4.

• À l'inverse, un théorème de Bohr et Landau de 1914 montre que la croissance de | ζ(s) | ² est liée à la répartition des zéros. La valeur moyenne de | ζ(s) | ² est majorée sur les droites σ = cte. On en déduit que la proportion des zéros en dehors de la bande 1 / 2 − δ < σ < 1 / 2 + δ tend vers 0 quand T tend vers l'infini. Cela mène tout droit à l'hypothèse de densité.

Le théorème d'universalité de Voronin

Il existe depuis longtemps des théorèmes dits d'universalité qui expriment qu'une fonction donnée approche toute fonction analytique dans une aire donnée. De tels théorèmes furent démontrés entre les deux guerres mondiales par divers auteurs. Voronin (de) démontra en 1975^[10] que la fonction zêta de Riemann avait cette propriété. Par la suite Bhaskar Bagchi étendit ce résultat et on appelle ainsi théorème de Voronin-Bagchi l'énoncé suivant :

« Soit ε > 0 fixé. Pour tout compact K inclus dans la bande ]1/2;1[ et pour toute fonction f analytique ne s'annulant pas sur K, il existe un t₀ tel que pour tout $s \in K$ on ait $|\zeta(s+it_0)-f(s)|\le\varepsilon.$ »

La fonction sommatoire de Möbius

• La fonction $M(x)=\sum_{n \le x}{\mu(n)}$ est appelée fonction sommatoire de (la fonction de) Möbius. On ne connait que peu de chose sur cette fonction sans hypothèse plus ou moins forte. En dehors des conjectures de Mertens qui font l'objet d'un paragraphe spécial, on sait que M(x) = o(x), cet énoncé étant équivalent au théorème des nombres premiers, et on a réussi à démontrer que $M(x)=\mathcal{O}(x/(\ln x)^\alpha)$ pour tout α > 0.

Sous l'hypothèse de Riemann, on peut montrer que l'on a $M(x)=\mathcal{O}(x^{1/2+e(x)})$ où la fonction e(x) tend vers 0 quand x tend vers l'infini. Edward Charles Titchmarsh a démontré que $e(x)=\mathcal{O}(1/\ln \ln x)$.

• La théorie de la fonction M(u) est très obscure, même avec des hypothèses fortes. Le meilleur résultat actuellement connu est une légère amélioration d'un résultat déjà connu de Landau en 1909 :

$M(u) = \mathcal{O}(u e^{-a\sqrt{\ln u}}).$

On n'a réussi à améliorer que la puissance du ln u qui est passée de 1 / 2 à 3 / 5 en presque un siècle !

• S'il existe un zéro de la fonction de Riemann en s = β + iγ, on montre que $M(x)=\mathcal{O}(x^{\beta+\epsilon})$ pour tout ε > 0.

• L'hypothèse de Mertens affaiblie

$\int_1^x{\frac{M^2(u)}{u^2}\mathrm du}=\mathcal{O}(\ln x)$

a de très intéressantes conséquences :

• • elle implique l'hypothèse de Riemann ;
  • les zéros de la fonction de Riemann sont simples.

La région sans zéro

La méthode de Vinogradov

• Vinogradov, poursuivant les recherches de Hardy, Littlewood et Weyl sur l'estimation des sommes trigonométriques parvient enfin (après plusieurs communications datant des années 1930) à démontrer que l'on a

$|\sum_{k=1}^N{k^{-it}}| \le KN\exp\Big(-\gamma\frac{\ln^3N}{\ln^2t}\Big)$

pour N <t et deux constantes K et γ bien choisies. On peut prendre K = 9,463 et γ = 1 / 133,66.

• De là, en utilisant la formule sommatoire d'Abel, on déduit que la fonction zêta de Riemann ne s'annule pas pour s appartenant à la région définie par

$\Re{e}(s) > 1 - \frac c{(\ln t)^{2/3}(\ln \ln t)^{1/3}}$

où t désigne la partie imaginaire de s et c une constante appropriée. Ce résultat est dû à Vinogradov et Korobov en 1958. Précisons qu'au moment de sa publication, le résultat de Vinogradov-Korobov prétendait que la région sans zéro était de la forme

$\Re{e}(s) > 1 - \frac c{(\ln t)^{2/3}}.$

Cette affirmation fut contestée par la communauté mathématique et jusqu'à présent personne n'a réussi à éliminer le terme (ln ln t)^{1 / 3}.

• La méthode des sommes trigonométriques de Vinogradov et Korobov permet également une estimation des dérivées sur l'axe σ = 1, et également une estimation du module de la fonction zêta de Riemann dans la bande critique. On montre ainsi que l'on a

$|\zeta(\sigma+it)| \le At^{c(1-\sigma)^{3/2}}(\ln t)^{2/3}$

pour des constantes A et c adaptées. Kevin Ford^[11] démontra que l'on pouvait prendre A=76,2 et c=4,45 pour t>3. Ce résultat est lié à la théorie de la fonction μ(σ).

Critères équivalents à l'hypothèse de Riemann

• Pál Turán^[12] montra en 1948 que l'hypothèse de Riemann était impliquée par l'hypothèse que les sommes partielles $S_n=\sum_{k=1}^n{\frac1{k^s}}$

n'avaient pas de zéro dans le demi-plan $\Re{e}(s)>1$ dès que n était assez grand.

Par la suite, il améliora son critère en montrant qu'il suffisait que les sommes partielles n'aient pas de zéro dans la région $\Re{e}(s)>1+c n^{-1/2}$ dès que n était assez grand.

On montra que S₁₉ s'annulait dans le demi-plan $\Re{e}(s)>1$ et Hugh Montgomery (de)^[13] montra en 1983 que S_n avait un zéro dans le demi-plan

$\Re{e}(s)>1+c\frac{\ln \ln n}{\ln n}$

pour tout c < 4 / π − 1.

• Bertil Nyman en 1950^[14] puis Arne Beurling en 1955^[15],[16] prouvèrent indépendamment un lien entre les espaces L^p ([0,1]) et l'hypothèse de Riemann.

Soit M l'espace des fonctions f de la forme $f(x)=\sum_{k=1}^N a_k\{\theta_k/x\}$ avec $\sum a_k\theta_k=0$ qui sont des fonctions bornées mesurables s'annulant pour les x supérieurs au plus grand des θ_k.

La fonction {x} étant la partie fractionnaire de x.

Le théorème de Beurling s'énonce ainsi :

« M est dense dans L^p([0,1]), ${}^{1\le p \le \infty}$, si et seulement si la fonction ζ de Riemann n'a pas de zéro dans le demi-plan σ > 1 / p.  »

• Hu, en 1990^[17]démontra que l'hypothèse de Riemann est impliquée par

$\lim_{R \to \infty} \frac1{2\pi R} \lim_{\delta \to 0}\int_{-\pi/2+\delta}^{\pi/2-\delta} \ln |f(R\cos(\theta)e^{i\theta})| \frac{\mathrm d\theta}{\cos^2(\theta)}=\frac\pi8+\frac\gamma4+\frac{\ln(8\pi)}4-2$

où $f(u)=\frac{\zeta(u+1/2)}{\zeta(1/2)}.$

• Li^[18] démontra en 1997 que l'hypothèse de Riemann était équivalente à la positivité d'une suite de nombres :

En appelant, traditionnellement depuis Riemann, ξ la fonction définie par

$\xi(s)=\frac12s(s-1)\pi^{-s/2} \Gamma \left(\frac s2\right) \zeta(s),$

on considère la suite définie par

$\lambda_n = \frac1{(n-1)!} \left. \frac{\mathrm d^n}{\mathrm ds^n} \left[s^{n-1} \log \xi(s) \right] \right|_{s=1}.$

Le critère de Li (en) énonce

« L'hypothèse de Riemann est équivalente à la propriété que λ_n > 0 pour tout entier positif n. »

On montre que les nombres λ_n s'expriment en fonction des zéros non triviaux de la fonction ζ de Riemann selon la formule

$\lambda_n=\sum_{\rho} \left[1- \left(1-\frac1\rho\right)^n\right]$

où, comme d'habitude, la sommation s'effectue symétriquement

$\sum_\rho = \lim_{N\to\infty} \sum_{|\Im{m}(\rho)|\le N}.$

La question de la nature de ζ(2n + 1)

• On se souvient qu'Euler avait réussi à donner la valeurs de ζ(2n), en exprimant ces valeurs comme π²ⁿ multiplié par un nombre rationnel. Ces valeurs étaient donc transcendantes, au sens que donna à ce mot Joseph Liouville en 1844, puisque d'après le théorème d'Hermite-Lindemann (1882), π était transcendant (donc toutes ses puissances aussi). Qu'en était-il des valeurs aux entiers impairs ?

• On connaît beaucoup d'expressions des nombres ζ(2n + 1) soit sous forme de séries infinies soit sous forme d'intégrales mais cela ne semble pas avoir éclairé outre mesure les mathématiciens sur la nature de ces nombres.

• On conjecture que tous les nombres ζ(2n + 1) sont transcendants. Mais on ne sait pas encore s'ils sont même irrationnels. Ici, il faut dire que la question de la nature d'un nombre défini par une série est un problème d'une folle difficulté qu'on ne sait résoudre simplement que dans quelques cas généraux : le théorème de Liouville-Thue-Siegel-Dyson-Roth qu'on énoncera sous sa forme définitive

Théorème de Roth : tout nombre algébrique est approchable par une infinité de fractions à l'ordre 2 et pas au-delà.

• Le premier résultat notable est le théorème d'Apéry, que celui-ci présenta oralement en 1978, provoquant une polémique sur la validité de son argument. La preuve fut pleinement justifiée par la suite, et depuis, différentes simplifications ont été obtenues.

Théorème d'Apéry : ζ(3) est irrationnel.

• Par la suite, Keith Ball et Tanguy Rivoal, en 2000, démontrèrent l'irrationalité d'une infinité de valeurs de la fonction zêta aux entiers impairs.

• Wadim Zudilin (en), l'année suivante (2001), démontrait qu'au moins un des nombres ζ(5),ζ(7),ζ(9),ζ(11) est irrationnel. Ce résultat a été obtenu par l'intermédiaire des séries hypergéométriques.

De la simplicité des zéros

Outre le lieu des zéros de la fonction ζ de Riemann, une autre question hante les esprits des mathématiciens: la question de la simplicité des zéros. On admet communément que tous les zéros sont simples. Quelques avancées ont été faites sur cette question. On dit qu'un zéro ρ est d'ordre k si la fonction ζ s'annule en ρ ainsi que ses (k-1) dérivées, alors que $\zeta^{(k)}(\rho) \neq 0$. On dit alors que la multiplicité de ρ est égale à k.

On appelle dans la suite m(ρ) la multiplicité du zéro ρ.

Par suite de la formule donnant le nombre N(T) de zéros, on a sans aucune hypothèse $m(\rho) = \mathcal{O}(\ln |\rho|).$

Sous l'hypothèse de Lindelöf, on a immédiatement, par suite de la majoration S(t)=o(ln t), l'inégalité m(ρ) = o(ln  | ρ | ) et sous l'hypothèse de Riemann, on a de même m(ρ) = O(ln  | ρ | ) / ln ln  | ρ | ). Ces inégalités résultent du fait que l'on a $m(\beta+i\gamma)\le N(\gamma+H)-N(\gamma-H)$ pour 0 < H < 1 mais il semble que l'on ne puisse que difficilement améliorer l'estimation dans cette voie.

Sans aucune hypothèse, on sait que la série

$\sum_{|\rho| \le T}\frac1{\rho\zeta'(\rho)}$

ne converge pas quand T tend vers l'infini.

L'hypothèse de Mertens affaiblie (et a fortiori l'hypothèse de Mertens généralisée) implique la simplicité des zéros. On montre en fait que l'on a, sous cette hypothèse,

$\frac1{\zeta'(\rho)}={o}(|\rho|)$

et même un peu plus

$\sum_{\rho}\frac1{|\rho||\zeta'(\rho)|^2}$

est convergente.

Cramér et Landau, en 1920, ont montré que l'hypothèse de Mertens affaiblie impliquait

$\frac1{\zeta'(\rho)}=\mathcal{O}\left(\exp\left(\frac{A \ln^2|\rho|}{\ln \ln |\rho|}\right)\right)$

Montgomery montra que, sous l'hypothèse de Riemann et l'hypothèse des paires corrélées (voir plus loin), on avait

$\sum_{0 < \Im{m}(\rho) \le T}m^2(\rho) \le \Big(\frac43+o(1)\Big)N(T)$

dont on déduit

$N_1(T) \ge \Big(\frac23+o(1)\Big)N(T)$

où N₁(T) désigne le nombre des zéros simples de module plus petit que T.

Cette valeur a été améliorée, au prix de l'hypothèse généralisée de Lindelöf, par Conrey, Ghosh et Gonek

$N_1(T) \ge \Big(\frac{19}{27}+o(1)\Big)N(T).$

Dans une étude datant de 1999, Aleksandar Ivić^[19] a donné quelques précisions sur la valeur de m(ρ). Il a démontré, grâce à l'inégalité de Jensen, le théorème suivant

«  Si ζ(β + iγ) = 0 avec 1 / 2 < β < 1, alors on a

$m(\beta+i\gamma) \le \frac1{|\ln (2-2\beta)|}\left(\max_{\sigma \ge1/2, |t| \le 1/2}\ln |\zeta(\sigma+i\gamma+it)|+O(\ln \ln \gamma)\right),$ »

dont on déduit que m(ρ) est d'autant plus petit que β est plus proche de 1. Il a précisé qu'on avait en fait

«  Si ζ(β + iγ) = 0 avec 1 / 2 < β < 1 et γ > γ₀ > 0, alors

$m(\beta+i\gamma) \ll (1-\beta)^{3/2}\ln |\gamma|+ \ln \ln |\gamma|.$

De plus, si $\lim_{\gamma \to \infty} m(\beta+i\gamma)/\ln \ln \gamma=\infty$ alors, il existe une constante C>0 telle que, pour γ > γ₀ > 0,

$\beta \le 1- C\left(\frac{m(\beta+i\gamma)}{|\ln \gamma|}\right)^{3/2}.$ »

Ce dernier résultat améliore un résultat de Levinson obtenu en 1969^[20].

Les moments

Le problème des moments est un problème classique de la littérature sur la fonction ζ.

Kannan Soundararajan a démontré en 2008 que

«  En admettant l'hypothèse de Riemann, et pour tout k fixé et tout ε > 0, on a

$\int_0^T |\zeta(1/2+iu)|^{2k}\mathrm du \ll_\epsilon T(\ln T)^{k^2+\varepsilon}.$ »

Et peu après, la même année, Ivić a généralisé le résultat de Soundararajan en démontrant le résultat suivant

«  En admettant l'hypothèse de Riemann et pour tout k fixé et tout $\theta \in ]0,1[$, posant H = T^θ, on a

$\int_T^{T+H} |\zeta(1/2+iu)|^{2k}\mathrm du \ll_\epsilon H(\ln T)^{k^2(1+O(1/\ln \ln \ln T))}.$ »

Les grandes conjectures

La conjecture des paires corrélées de Montgomery

En 1972, Hugh Montgomery, au cours d'un symposium à l'université de Saint-Louis, émis une conjecture depuis lors connue sous son nom ou sous le nom de conjecture de corrélation des paires (en).

Montgomery considéra, sous l'hypothèse de Riemann, la fonction

f(x,T) =	∑	xi(γ − γ')w(γ − γ')
	0 < γ,γ' < T

où $w(u)=\frac4{4+u^2},$ la somme s'étendant sur les parties imaginaires γ des zéros ρ = 1 / 2 + iγ de la fonction ζ de Riemann.

Il montra ainsi que

$F(x,T)=\left(\frac T{2\pi}\ln x+ \frac T{2\pi x^2}\ln^2 T\right)(1+o(1))$

pour $1 \le x \le o(T)$ et que Goldston étendit à $1\le x \le T$

Montgomery conjectura que, pour $T\le x$, on avait

$F(x,T)=\frac{T \ln T}{2\pi}(1+o(1))$

qui est la conjecture forte des paires corrélées.

La conjecture faible des paires corrélées, qu'on en déduit, exprime que

$\sum_{0<\gamma,\gamma'<T, 0<\gamma-\gamma'< \frac{2\pi\alpha}{\ln T}}1=\frac{T\ln T}{2\pi}(1+o(1))\int_0^\alpha 1-\left(\frac{\sin(\pi u)}{\pi u}\right)^2\mathrm du.$

Cette dernière conjecture fait le lien avec la théorie des matrices aléatoires.

La conjecture de Hilbert et Pólya

Article détaillé : Conjecture de Hilbert-Pólya.

L'hypothèse de densité

• On appelle N(s,T) le nombre des zéros de partie réelle inférieure à T et de partie réelle supérieure à s. D'après le résultat on a vu que la proportion de ces zéros par rapport à N(T) tend vers 0. On a donc cherché quelle était cette proportion. La connaissance de cette proportion donnant des renseignements sur la différence N(T)-No(T).

• D'un résultat de Ingham (en) (1940) et de Huxley (en) (1972), sans hypothèse, pour tout ε > 0, on montre l'existence d'une constante $C=C(\epsilon)$ telle que, on ait

$N(s,T) \le CT^{12/5(1-s)+\epsilon}$

s étant choisi dans [1/2,1].

• En 1980, A. Ivić^[21] montre que l'on a pour s dans [17/18,1]

$N(s,T) \le CT^{4(1-s)/(2s+1)+\epsilon}$

• Dans ces conditions, on définit l'hypothèse de densité comme étant l'inégalité

$N(s,T) \le CT^{2(1-s)+\epsilon}$

pour s dans [1/2,1]. Elle est plus faible que l'hypothèse de Riemann et partage cependant avec elle des conséquences intéressantes.

• Le travail se concentra donc sur cette question de la détermination de la plus petite valeur A(s) de A telle que $N(s,T) \le CT^{A(1-s)+\epsilon}$ pour s dans [1/2,1]. Et de l'abscisse s₀ pour laquelle on a $A(s) \le 2$ pour $s \ge s_0$.

• Dans cette voie, Montgomery^[22] montre que $s_0 \le 9/10$, valeur améliorée successivement par Huxley, Ramachandra (en), Forti et Viola, … En 1977 on avait $s_0 \le 11/14$ (Jutila (en)^[23]). Depuis lors, en 2000, Jean Bourgain montra que $s_0 \le 25/32$^[24].

Les hypothèses de Riemann généralisées

Article détaillé : Hypothèse de Riemann généralisée.

Fausses preuves

L'hypothèse de Riemann suscite depuis longtemps, et cela avec d'autres conjectures, les annonces de preuves plus ou moins fantaisistes. On a déjà donné au tout début des exemples d'annonces prématurées de mathématiciens sérieux. Cela n'avait pas épuisé le sujet :

• Une « preuve » qui fut donnée par Louis de Branges circule sur internet. Elle reposait sur une propriété de positivité supposée qui s'est avérée numériquement fausse.

• À la mort de Hans Rademacher, une rumeur courut que des papiers qu'il aurait laissés démontraient que l'hypothèse de Riemann était fausse. Mais cette rumeur fut démentie.

• Une nouvelle "preuve" vient d'être donnée par Andrzej Madrecki dans un document Arxiv n°0709.1389v1. La lecture du document de 17 pages amène en page 13 où l'auteur affirme avoir démontré que

$\frac1{\zeta(s)}= \sum_{n=0}^\infty{\frac{(-\pi)^n s(s-1)}{2n!(s+2n)(s+2n+1)}}$

cela pour Re(s) dans (0, 1/2).

Le côté droit de la formule définit une fonction méromorphe dont les pôles se trouvent en -1, -2, -3, -4, -5, ... La série converge pour tout s dans C à l'exception des points -1, -2, -3, -4, ..., la série étant uniformément et absolument convergente sur tout compact n'englobant pas les entiers négatifs sauf 0 et -1. Si l'égalité a lieu sur (0,1/2), par suite du principe du prolongement analytique, cette égalité persiste pour toutes les autres valeurs. On arrive ainsi à la conclusion que ζ(s) n'aurait aucun zéro non réel ! Pire, elle s'annulerait également pour les entiers négatifs impairs !

Voir aussi

Article détaillé : Sur le nombre de nombres premiers inférieurs à une taille donnée.

Article détaillé : Théorème de la droite critique.

Article détaillé : Produit eulérien.

Notes

1. ↑ la démonstration en avait été donnée par et Nicole Oresme
2. ↑ L. Euler, « Démonstration de la somme de cette suite 1 + 1/4 + 1/9 + 1/16 + 1/25 + 1/36 + etc », dans Journal lit. d'Allemagne, de Suisse et du Nord, vol. 2, 1743, p. 115-127 
3. ↑ édition de 1808, page 394
4. ↑ Baillaud & Bourget, Correspondance d'Hermite et de Stieltjes, T.1
5. ↑ J. Hadamard, « Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques », dans Bull. Soc. Math. France (en), vol. 24, 1896, p. 199-220 
6. ↑ C.-J. De la Vallée Poussin, « Recherches analytiques sur la théorie des nombres premiers », dans Annales de la société scientifique de Bruxelles, vol. 20, 1896, p. 183-256 et 281-361 
7. ↑ H. von Koch, « Sur la distribution des nombres premiers », dans Acta Math., vol. 24, n^o 1, 1901, p. 159-182 
8. ↑ E. Lindelöf, « Quelques remarques sur la croissance de la fonction ζ(s) », dans Bulletin des sciences mathématiques, 2^e série, vol. 32, décembre 1908, p. 341-356 
9. ↑ pages 355-356. L'hypothèse formulée est en fait beaucoup plus forte. Lindelöf se demande

   « le module de la fonction ζ(s) ne resterait-il pas inférieur à une limite finie pour $\sigma \ge 1/2+\epsilon$, | t | > t₀( > 0), quelque petit qu'on se donne le nombre $\epsilon$ ? »

   mais sous cette forme, elle ne peut qu'être fausse : il existerait alors une bande dans laquelle la fonction serait bornée donc elle aurait nécessairement une nouvelle série de Dirichlet
10. ↑ (en) Eric W. Weisstein, « Voronin Universality Theorem », MathWorld
11. ↑ (en) K. Ford, « Vinogradov's integral and bounds for the Riemann zeta Function », Proceedings of the London Mathematical Society, 2002, T. 85, p. 565-633
12. ↑ (en) P. Turan, « On some approximative Dirichlet-polynomials in the theory of the zeta-function of Riemann », Danske Vid. Selsk. Mat.-Fys. Medd. 24 (1948), no. 17, 1–36.
13. ↑ (en) H. L. Montgomery, « Zeros of approximations to the zeta function », Studies in Pure Mathematics: to the Memory of Paul Turan, 1983, pp. 497–506.
14. ↑ (en) B. Nyman, On the one-dimensional translation group and semi-group in certain function spaces, Thèse de l'université d'Uppsala, 1950
15. ↑ (en) A. Beurling, « A closure problem related to the Riemann zeta-function », dans PNAS, vol. 41, 1955, p. 312–314 
16. ↑ (en) William F. Donoghue, Distributions and Fourier transforms, New York, Academic Press, 1969, p. 252-257 
17. ↑ (en+zh) Hu Peichu, « The properties of zero point distribution for Riemann’s zeta-function », Pure and Applied Mathematics, T. 6, 1990, p. 6–12.
18. ↑ (en) Xian-Jin Li, « The positivity of a sequence of numbers and the Riemann hypothesis », Journal of Number Theory, V. 65, 1997, p. 325–333
19. ↑ (en) A. Ivić, « On the multiplicity of zeros of the zeta-function », Académie Serbe des Sciences et des Arts, Bulletin CXVIII, Sciences Mathématiques No. 24, Belgrade 1999, p. 119–132, arXiv:math/0501434
20. ↑ (en) N. Levinson, « Zeros of the Riemann zeta-function near the 1-line », dans J. Math. Anal. Appl., vol. 25, 1969, p. 250-253 
21. ↑ (en) A. Ivić, « Exponent pairs and the zeta-function of Riemann », dans Stud. Sci. Math. Hung., vol. 15, 1980, p. 157-181 
22. ↑ (en) H. L. Montgomery, « Zeros of L-functions », dans Inventiones (de), vol. 8, n^o 4, décembre 1969, p. 346-354 
23. ↑ (en) M. Jutila, « Zero density estimates for L-functions », dans Acta Arithmetica (de), vol. 32, 1977, p. 52-62 
24. ↑ (en) J. Bourgain, « On large value estimates for Dirichlet sums and the density hypothesis for the zeta function », dans IMRN (en), vol. 2000 (Millennial Conference on Number Theory, 2000), 2000, p. 133-146 

Bibliographie

• André Blanchard, Initiation à la théorie analytique des nombres premiers, Dunod, 1969
• Jean-Benoît Bost (de), Pierre Colmez et Philippe Biane, La fonction Zêta, Paris, Éditions de l'École polytechnique, 2002 (ISBN 978-2-7302-1011-9).
  Suite d'articles sur différents points de la théorie analytique des nombres et de la fonction zêta. N'est pas destiné à une étude systématique de la fonction zêta de Riemann.
   
• William John Ellison (de) et Michel Mendès France, Les nombres premiers, Paris, Hermann, 1975 (ISBN 978-2-7056-1366-2).
  Malgré son titre, il s'agit essentiellement de l'étude de la fonction zêta de Riemann. On y trouvera aussi une preuve élémentaire du théorème de Hadamard-De La Vallée Poussin, une preuve du théorème de Dirichlet et la démonstration de la région sans zéro de Vinogradov-Korobov. À lire pour commencer. Il a aussi l'avantage d'être en français.
   
• Jean Favard, Leçons sur les fonctions presque-périodiques, Paris, Gauthier-Villars, 1933
  Pour comprendre la théorie de Bohr des séries de Dirichlet dont la fonction zêta fait partie puisqu'elle est presque périodique au sens de Bohr dans le demi-plan à droit du pôle 1.
   
• (en) Aleksandar Ivić, The Riemann Zeta-Function, Wiley, 1985 (ISBN 978-0-471-80634-9).
  Concurrent du traité de Titchmarsh, un peu plus récent.
   
• (en) Anatoliĭ A. Karat͡suba, Basic analytic number theory, Springer, 1993 (ISBN 978-0-387-53345-2).
  Très bon traité.
   
• (en) E. C. Titchmarsh et D. R. Heath-Brown, The Theory of the Riemann Zeta-Function, Oxford University Press, 1987, 2^e éd. (ISBN 978-0-19-853369-6).
  La bible sur la fonction zêta jusqu'à une époque récente, disons 1990. Reste irremplaçable sur certains sujets. La première édition de 1951 n'a pas beaucoup été complétée par la seconde de 1986. Heath-Brown s'est contenté d'indiquer pour chaque chapitre l'état des connaissances en 1986 sans démonstration en deux ou trois pages.
   
• (en) S. J. Patterson (de), An Introduction to the Theory of the Riemann Zeta-Function, Cambridge University Press, coll. « Cambridge Studies in Advanced Mathematics » (n^o 14), 1995 (ISBN 978-0-521-49905-7)