Formule de Riemann-von Mangoldt
Aller à la navigation
Aller à la recherche
En mathématiques, la formule de Riemann-von Mangoldt, du nom de Bernhard Riemann et Hans Carl Friedrich von Mangoldt, décrit la distribution des zéros de la fonction zêta de Riemann.
La formule indique que le nombre de zéros de la fonction zêta avec une partie imaginaire supérieure à et inférieure ou égale à satisfait
Cette formule a été conjecturée par Riemann dans son mémoire Sur le nombre d'amorces inférieures à une ampleur donnée (1859) et a finalement été prouvée par von Mangoldt en 1895.
Backlund[1] donne une forme explicite de l'erreur pour tout supérieur à :
Conséquences de la formule
- La fonction zêta de Riemann possède une infinité de zéros non triviaux.
- Si désigne la suite croissante des parties imaginaires des zéros de la fonction de Riemann dans le demi-plan supérieur, alors pour [2]. Littlewood[3] (1924) a montré que