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 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 . Littlewood (1924) a montré que

Voir aussi

Références

Catégorie:Bernhard Riemann Catégorie:Pages avec des traductions non relues