En mathématiques, l'hypothèse de Riemann (on dit Rimane) est une conjecture formulée en 1859 par le mathématicien Bernhard Riemann. Elle dit que les zéros non triviaux de la fonction zêta de Riemann ont tous pour partie réelle 1/2. Sa démonstration améliorerait la connaissance de la répartition des nombres premiers.
Cette conjecture constitue l'un des problèmes non résolus les plus importants des mathématiques du début du XXIe siècle : elle est l'un des fameux problèmes de Hilbert proposés en 1900, et fait l'objet d'un des problèmes Clay pour le troisième millénaire, doté d'un prix d'un million de dollars américains. Comme pour les autres prix, l'énoncé exact de la conjecture à démontrer est accompagné d'une description détaillée, fournissant de nombreuses informations sur l'historique du problème, son importance, et l'état des travaux à son sujet.
La fonction zêta de Riemann est définie pour tous les nombres complexes s de partie réelle supérieure à 1 par
Leonhard Euler l'introduisit (en liaison avec sa solution du problème de Bâle) et montra qu'elle est donnée par le produit eulérien
où le produit infini porte sur tous les nombres premiers p (et converge, là encore, pour tous les s de partie réelle >1) ; c'est ce résultat qui explique l'intérêt de la fonction zêta dans l'étude de la répartition des nombres premiers (Euler en déduisit par exemple que la série de la somme des inverses des nombres premiers est divergente) ; ce résultat montre au passage que la fonction ne s'annule pour aucun s (de partie réelle supérieure à 1).
L'hypothèse de Riemann porte sur les zéros de cette fonction en dehors du domaine de convergence qu'on vient de voir, ce qui peut sembler n'avoir aucun sens. L'explication tient dans la notion de prolongement analytique : on peut démontrer qu'il existe une fonction holomorphe unique définie pour tout complexe (différent de 1, où elle présente un pôle simple) et coïncidant avec zêta pour les valeurs où cette dernière est définie ; on note encore ζ(s) cette nouvelle fonction.
Il n'est en fait pas nécessaire d'utiliser cette technique pour pouvoir prolonger la fonction zêta : il est en effet facile de vérifier que, pour s de partie réelle >1, on a :
or la série de droite (appelée fonction êta de Dirichlet) converge pour tout s de partie réelle strictement positive; du coup, l'hypothèse de Riemann peut se reformuler ainsi : si η(s) = 0, alors la partie réelle de s vaut 1/2. Partant de la fonction êta, on peut montrer par des manipulations de séries l'identité fonctionnelle
où Γ est la fonction Gamma d'Euler. Il devient alors possible d'utiliser cette formule pour définir zêta pour tout s de partie réelle négative, on en déduit alors que les autres zéros (appelés zéros triviaux) de zêta sont les entiers (strictement) négatifs pairs, et donc que les zéros non triviaux sont tous de partie réelle comprise entre 0 et 1 ; cette région du plan complexe s'appelle la bande critique.
Historique de la conjecture
« ...es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien. »
« ...il est fort probable que toutes les racines sont réelles. Bien sûr, une démonstration rigoureuse en serait souhaitable; pour le moment, après quelques vagues tentatives restées vaines, j'ai provisoirement mis de côté la recherche d'une preuve, car elle semble inutile pour l'objectif suivant de mes investigations. »
— énoncé par Riemann de l'hypothèse, dans l'article de 1859 ; Riemann y parle d'une fonction obtenue à partir de zêta, dont toutes les racines devraient être réelles plutôt que sur la ligne critique.
Riemann mentionna la conjecture, appelée plus tard « hypothèse de Riemann », dans son article paru en 1859 Sur le nombre de nombres premiers inférieurs à une taille donnée (Über die Anzahl der Primzahlen unter einer gegebenen Grösse en allemand)[6], dans lequel il donnait une formule explicite pour le nombre de nombres premiers π(x) inférieurs à un nombre donné x.
Exposé détaillé de la formule de Riemann
La formule obtenue par Riemann utilise la fonction associée
qui compte les nombres premiers en ajoutant les puissances pn comptées comme 1/n d'un nombre premier. π(x) peut alors être déduit de cette fonction par
où μ est la fonction de Möbius. La formule devient alors
où la somme est prise sur les zéros non-triviaux ρ de la fonction zêta et où
La somme n'est pas absolument convergente, mais doit être évaluée en prenant les zéros dans l'ordre croissant de leurs parties imaginaires. La fonction Li du premier terme est la fonction logarithme intégral donnée par la valeur principale de Cauchy de l'intégrale divergente
Les termes Li(xρ) correspondants aux zéros de zêta demandent un certain soin dans leur définition, car la fonction Li a des points de branchement en 0 et en 1 ; ils sont définis (pour x>1) par prolongement analytique de la variable complexe ρ dans la région Re(ρ)>0, autrement dit, on doit les considérer comme valant Ei(ρ ln x), où Ei est l'Exponentielle intégrale). Les autres termes correspondent aussi à des zéros : le terme dominant Li(x) vient du pôle en s = 1, considéré comme un zéro de multiplicité −1, et les autres petits termes proviennent des zéros triviaux.
Cette formule affirme que les zéros de la fonction zêta contrôlent les oscillations des nombres premiers autour de leur position « attendue ». Riemann savait que les zéros non triviaux de zêta étaient distribués symétriquement autour de l'axe s = ½ + it, et aussi qu'ils devaient tous être dans la bande critique 0 ≤ Re(s) ≤ 1. Il vérifia que les premiers zéros avaient pour partie réelle exactement 1/2 (ce point sera discuté plus bas ; il s'agit bien d'une démonstration, et non d'un calcul numérique approché) et suggéra qu'ils pourraient bien être tous sur l'axe de symétrie (la ligne critique) Re(s)=1/2 ; c'est cette conjecture qu'on appelle l'hypothèse de Riemann.
En 1896, Hadamard et de la Vallée-Poussin prouvèrent indépendamment qu'aucun zéro ne pouvait se trouver sur la ligne Re(s) = 1, et donc que tous les zéros non triviaux devaient se trouver dans l'intérieur de la bande critique 0 <>Tests numériques
Dès l'énoncé par Riemann de la conjecture, des calculs numériques des premiers zéros non triviaux de la fonction permirent de la confirmer (on trouvera dans la table ci dessous un exposé des divers résultats obtenus). Dans les années 1980, Andrew M. Odlyzko s'était spécialisé dans ce type de calcul, et on affirme ainsi généralement que le milliard et demi de zéros calculés par lui vérifient tous l'hypothèse de Riemann ; on pourrait penser que cela signifie seulement qu'ils sont positionnés assez près de la droite critique (au sens où l'imprécision de calcul ne permettrait pas d'exclure qu'ils peuvent y être exactement) ; il n'en est rien, comme on va le voir.
Cependant, si on a une certitude mathématique pour, mettons, les premiers milliers de zéros, la complexité (y compris informatique) des calculs rend plus relative la confiance qu'on peut avoir dans les derniers résultats ; cette question est soigneusement analysée par Xavier Gourdon dans son article de 2004 où il annonce le record de vérification des 1013 premiers zéros (et des tests statistiques sur des zéros bien plus éloignés encore).
Les méthodes de vérification numérique partent le plus souvent de la remarque selon laquelle la fonction :
a les mêmes zéros que zêta dans la bande critique, et qu'elle est réelle sur la droite critique (à cause de l'équation fonctionnelle vue plus haut reliant ζ(s) et ζ(1 − s)). Il est alors facile de montrer l'existence d'au moins un zéro entre deux points de cette droite en vérifiant numériquement que cette fonction a des signes opposés en ces deux points. En pratique, on utilise la fonction Z de Hardy et la fonction θ de Riemann-Siegel, avec :
; en déterminant de nombreux intervalles dans lesquels Z change de signe, on montre l'existence du même nombre de zéros sur la ligne critique. Pour contrôler l'hypothèse de Riemann jusqu'à une partie imaginaire T donnée, il reste à démontrer qu'il n'y a pas d'autres zéros dans cette région ; il suffit pour cela de calculer le nombre total de zéros dans la région en question (le rectangle de sommets 0,1, iT et 1+iT), ce qui peut se faire en appliquant le théorème des résidus à la fonction 1/ζ (techniquement, le problème d'éventuels zéros doubles fait qu'on utilise en réalité la fonction ζ'/ζ, même si une autre conjecture est qu'il n'en existe pas) : comme ce nombre doit être entier, un calcul numérique suffisamment précis de l'intégrale appropriée donne une certitude. La table suivante recense les calculs effectués jusqu'ici (lesquels, bien sûr, ont tous confirmé l'hypothèse) et donne des indications sur les méthodes utilisées.
Essais de démonstration
De nombreuses preuves supposées de l'hypothèse de Riemann sont régulièrement proposées, principalement sur Internet, ainsi que quelques infirmations, souvent le fait de mathématiciens en marge du système universitaire traditionnel. Aucun de ces travaux n'a pour le moment reçu l'assentiment de la communauté mathématique.
Le site du mathématicien britannique Matthew R. Watkins recense quelques-unes de ces supposées preuves — y compris des « preuves » que l'hypothèse serait fausse —, en plus de quelques parodies.
Egger Ph.