Fórmula de Riemann-von Mangoldt

La fórmula de Riemann-von Mangoldt  es una expresión que describe la distribución de ceros de la función zeta de Riemann ; el número de ceros de la función zeta con una parte imaginaria mayor que 0 y que no exceda de un número dado satisface la siguiente relación [1] :

.

Dado por primera vez por Riemann en su obra "Sobre el número de números primos que no exceden un valor dado" ( 1859 ), finalmente probado por Mangoldt en 1905 .

En 1918, el matemático finlandés Josef Bäcklund ( Ralf Josef Bäcklund ; 1888–1949) obtuvo una estimación de error explícita para todos :

.

Notas

  1. Weistein .

Literatura