Función de conteo de primos

Función que representa el número de números primos menores o iguales a un número dado.

En matemáticas , la función de conteo de primos es la función que cuenta el número de números primos menores o iguales a algún número real x . ^{[1] [2]} Se denota por π ( x ) (sin relación con el número π ).

Los valores de π ( n ) para los primeros 60 enteros positivos

Tasa de crecimiento

De gran interés en la teoría de números es la tasa de crecimiento de la función de conteo de primos. ^{[3] [} 4 ^] Gauss y Legendre conjeturaron a finales del siglo XVIII que era aproximadamente

$${\displaystyle {\frac {x}{\log(x)}}}$$

loglogaritmo natural

$${\displaystyle \lim _{x\rightarrow \infty }{\frac {\pi (x)}{x/\log(x)}}=1.}$$

teorema de los números primos

$${\displaystyle \lim _{x\rightarrow \infty }{\frac {\pi (x)}{\operatorname {li} (x)}}=1}$$

liintegral logarítmicaJacques HadamardCharles de la Vallée Poussinfunción zeta de RiemannRiemannanálisis complejos.Atle SelbergPaul Erdős^[5]

Estimaciones más precisas

En 1899, de la Vallée Poussin demostró que ^[6]

$${\displaystyle \pi (x)=\operatorname {li} (x)+O\left(xe^{-a{\sqrt {\log x}}}\right)\quad {\text{as }}x\to \infty }$$

aO (...)notación O grande

Ahora se conocen estimaciones más precisas de π ( x ) . Por ejemplo, en 2002, Kevin Ford demostró que ^[7]

$${\displaystyle \pi (x)=\operatorname {li} (x)+O\left(x\exp \left(-0.2098(\log x)^{3/5}(\log \log x)^{-1/5}\right)\right).}$$

Mossinghoff y Trudgian demostraron ^[8] un límite superior explícito para la diferencia entre π ( x ) y li( x ) :

$${\displaystyle {\bigl |}\pi (x)-\operatorname {li} (x){\bigr |}\leq 0.2593{\frac {x}{(\log x)^{3/4}}}\exp \left(-{\sqrt {\frac {\log x}{6.315}}}\right)\quad {\text{for }}x\geq 229.}$$

Para valores de x que no son excesivamente grandes, li( x ) es mayor que π ( x ) . Sin embargo, se sabe que π ( x ) − li ( x ) cambia de signo infinitas veces. Para una discusión sobre esto, consulte el número de Skewes .

forma exacta

Para x > 1 sea π ₀ ( x ) = π ( x ) −1/2cuando x es un número primo y π ₀ ( x ) = π ( x ) en caso contrario. Bernhard Riemann , en su obra Sobre el número de primos menores que una magnitud dada , demostró que π ₀ ( x ) es igual a ^[9]

Fórmula explícita de Riemann utilizando los primeros 200 ceros no triviales de la función zeta

$${\displaystyle \pi _{0}(x)=\operatorname {R} (x)-\sum _{\rho }\operatorname {R} (x^{\rho }),}$$

$${\displaystyle \operatorname {R} (x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\operatorname {li} \left(x^{1/n}\right),}$$

μ ( n ) función de Möbius li( x ) función integral logarítmica ρ li( x^ρ/norte)corte de ramaEi(ρ/nortelog x )Ei( x )integral exponencialsoloρπ ₀ ( x )^[10]

$${\displaystyle \pi _{0}(x)\approx \operatorname {R} (x)-\sum _{\rho }\operatorname {R} \left(x^{\rho }\right)-{\frac {1}{\log(x)}}+{\frac {1}{\pi }}\arctan {\frac {\pi }{\log(x)}}.}$$

La hipótesis de Riemann sugiere que cada cero no trivial se encuentra a lo largo de Re( s ) =1/2.

Tabla de π ( x ) ,X/iniciar sesión ( x )y li( x )

La tabla muestra cómo las tres funciones π ( x ) ,X/iniciar sesión ( x ), y li( x ) comparado a potencias de 10. Véase también ^{[3] [11]} y ^[12]

Gráfico que muestra la relación de la función de conteo de primos π ( x ) con dos de sus aproximaciones,X/iniciar sesiónxy Li( x ) . A medida que x aumenta (obsérvese que el eje x es logarítmico), ambas razones tienden a 1. La razón paraX/iniciar sesiónxconverge desde arriba muy lentamente, mientras que la relación para Li( x ) converge más rápidamente desde abajo.

En la Enciclopedia en línea de secuencias enteras , la columna π ( x ) es la secuencia OEIS : A006880 , π ( x ) − X/iniciar sesiónxes la secuencia OEIS : A057835 , y li( x ) − π ( x ) es la secuencia OEIS : A057752 .

El valor de π (10 ²⁴ ) fue calculado originalmente por J. Buethe, J. Franke , A. Jost y T. Kleinjung asumiendo la hipótesis de Riemann . ^[13] Posteriormente fue verificado incondicionalmente en un cálculo realizado por DJ Platt. ^[14] El valor de π (10 ²⁵ ) se debe a J. Buethe, J. Franke , A. Jost y T. Kleinjung. ^[15] El valor de π (10 ²⁶ ) fue calculado por DB Staple. ^[16] Todas las demás entradas anteriores en esta tabla también fueron verificadas como parte de ese trabajo.

El valor de 10 ²⁷ fue anunciado en 2015 por David Baugh y Kim Walisch. ^[17]

El valor de 10 ²⁸ fue anunciado en 2020 por David Baugh y Kim Walisch. ^[18]

El valor de 10 ²⁹ fue anunciado en 2022 por David Baugh y Kim Walisch. ^[19]

Algoritmos para evaluar π ( x )

Una forma sencilla de encontrar π ( x ) , si x no es demasiado grande, es usar el tamiz de Eratóstenes para producir los números primos menores o iguales a x y luego contarlos.

Una forma más elaborada de encontrar π ( x ) se debe a Legendre (usando el principio de inclusión-exclusión ): dado x , si p ₁ , p ₂ ,…, p _n son números primos distintos, entonces el número de números enteros menores que o igual a x que no es divisible por p _i es

${\displaystyle \lfloor x\rfloor -\sum _{i}\left\lfloor {\frac {x}{p_{i}}}\right\rfloor +\sum _{i<j}\left\lfloor {\frac {x}{p_{i}p_{j}}}\right\rfloor -\sum _{i<j<k}\left\lfloor {\frac {x}{p_{i}p_{j}p_{k}}}\right\rfloor +\cdots }$

(donde ⌊ x ⌋ denota la función suelo ). Por lo tanto, este número es igual a

${\displaystyle \pi (x)-\pi \left({\sqrt {x}}\right)+1}$

cuando los números p ₁ , p ₂ ,…, p _n son los números primos menores o iguales a la raíz cuadrada de x .

El algoritmo de Meissel-Lehmer

En una serie de artículos publicados entre 1870 y 1885, Ernst Meissel describió (y utilizó) una forma combinatoria práctica de evaluar π ( x ) : Sean p ₁ , p ₂ ,…, p _n los primeros n primos y denotemos por Φ( m , n ) el número de números naturales no mayores que m que no son divisibles por ninguno de los p _i para cualquier i ≤ n . Entonces

${\displaystyle \Phi (m,n)=\Phi (m,n-1)-\Phi \left({\frac {m}{p_{n}}},n-1\right).}$

Dado un número natural m , si n = π ( ³ √ m ) y si μ = π ( √ m ) − n , entonces

${\displaystyle \pi (m)=\Phi (m,n)+n(\mu +1)+{\frac {\mu ^{2}-\mu }{2}}-1-\sum _{k=1}^{\mu }\pi \left({\frac {m}{p_{n+k}}}\right).}$

Utilizando este enfoque, Meissel calculó π ( x ) , para x igual a5 × 10 ⁵ , 10 ⁶ , 10 ⁷ y 10 ⁸ .

En 1959, Derrick Henry Lehmer amplió y simplificó el método de Meissel. Defina, para m reales y para números naturales n y k , P _k ( m , n ) como el número de números no mayores que m con exactamente k factores primos, todos mayores que p _n . Además, establezca P ₀ ( m , n ) = 1 . Entonces

${\displaystyle \Phi (m,n)=\sum _{k=0}^{+\infty }P_{k}(m,n)}$

donde la suma en realidad sólo tiene un número finito de términos distintos de cero. Sea y un número entero tal que ³ √ m ≤ y ≤ √ m , y establezca n = π ( y ) . Entonces P ₁ ( m , n ) = π ( m ) − n y P _k ( m , n ) = 0 cuando k ≥ 3 . Por lo tanto,

${\displaystyle \pi (m)=\Phi (m,n)+n-1-P_{2}(m,n)}$

El cálculo de P ₂ ( m , n ) se puede obtener de esta manera:

${\displaystyle P_{2}(m,n)=\sum _{y<p\leq {\sqrt {m}}}\left(\pi \left({\frac {m}{p}}\right)-\pi (p)+1\right)}$

donde la suma es sobre números primos.

Por otro lado, el cálculo de Φ( m , n ) se puede realizar utilizando las siguientes reglas:

1. ${\displaystyle \Phi (m,0)=\lfloor m\rfloor }$
2. ${\displaystyle \Phi (m,b)=\Phi (m,b-1)-\Phi \left({\frac {m}{p_{b}}},b-1\right)}$

Usando su método y un IBM 701 , Lehmer pudo calcular el valor correcto de π (10 ⁹ ) y falló el valor correcto de π (10 ¹⁰ ) por 1. ^[20]

Lagarias, Miller, Odlyzko, Deléglise y Rivat realizaron más mejoras a este método. ^[21]

Otras funciones de conteo de primos

También se utilizan otras funciones de conteo de primos porque es más conveniente trabajar con ellas.

Función de conteo de potencias primarias de Riemann

La función de conteo de potencias primarias de Riemann generalmente se denota como Π ₀ ( x ) o J ₀ ( x ) . Tiene saltos de1/norteen potencias primas p ⁿ y toma un valor a medio camino entre los dos lados en las discontinuidades de π ( x ) . Ese detalle añadido se utiliza porque la función puede definirse mediante una transformada inversa de Mellin .

Formalmente, podemos definir Π ₀ ( x ) por

${\displaystyle \Pi _{0}(x)={\frac {1}{2}}\left(\sum _{p^{n}<x}{\frac {1}{n}}+\sum _{p^{n}\leq x}{\frac {1}{n}}\right)\ }$

donde la variable p en cada suma abarca todos los primos dentro de los límites especificados.

También podemos escribir

${\displaystyle \ \Pi _{0}(x)=\sum _{n=2}^{x}{\frac {\Lambda (n)}{\log n}}-{\frac {\Lambda (x)}{2\log x}}=\sum _{n=1}^{\infty }{\frac {1}{n}}\pi _{0}\left(x^{1/n}\right)}$

donde Λ( n es la función de von Mangoldt y

${\displaystyle \pi _{0}(x)=\lim _{\varepsilon \to 0}{\frac {\pi (x-\varepsilon )+\pi (x+\varepsilon )}{2}}.}$

La fórmula de inversión de Möbius da entonces

${\displaystyle \pi _{0}(x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\ \Pi _{0}\left(x^{1/n}\right),}$

donde μ ( n ) es la función de Möbius .

Conociendo la relación entre el logaritmo de la función zeta de Riemann y la función de von Mangoldt Λ , y utilizando la fórmula de Perron tenemos

${\displaystyle \log \zeta (s)=s\int _{0}^{\infty }\Pi _{0}(x)x^{-s-1}\,\mathrm {d} x}$

La función de Chebyshev

La función de Chebyshev pondera los números primos o potencias primas p ⁿ mediante log( p ) :

${\displaystyle {\begin{aligned}\theta (x)&=\sum _{p\leq x}\log p\\\psi (x)&=\sum _{p^{n}\leq x}\log p=\sum _{n=1}^{\infty }\theta \left(x^{1/n}\right)=\sum _{n\leq x}\Lambda (n).\end{aligned}}}$

Para x ≥ 2 , ^[22]

${\displaystyle \vartheta (x)=\pi (x)\log x-\int _{2}^{x}{\frac {\pi (t)}{t}}\,\mathrm {d} t}$

y

${\displaystyle \pi (x)={\frac {\vartheta (x)}{\log x}}+\int _{2}^{x}{\frac {\vartheta (t)}{t\log ^{2}(t)}}\mathrm {d} t.}$

Fórmulas para funciones de conteo de primos.

Las fórmulas para funciones de conteo de primos son de dos tipos: fórmulas aritméticas y fórmulas analíticas. Las fórmulas analíticas para el conteo de primos fueron las primeras que se utilizaron para demostrar el teorema de los números primos . Provienen del trabajo de Riemann y von Mangoldt y generalmente se conocen como fórmulas explícitas . ^[23]

Tenemos la siguiente expresión para la segunda función de Chebyshev ψ :

${\displaystyle \psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-\log 2\pi -{\frac {1}{2}}\log \left(1-x^{-2}\right),}$

dónde

${\displaystyle \psi _{0}(x)=\lim _{\varepsilon \to 0}{\frac {\psi (x-\varepsilon )+\psi (x+\varepsilon )}{2}}.}$

Aquí ρ son los ceros de la función zeta de Riemann en la franja crítica, donde la parte real de ρ está entre cero y uno. La fórmula es válida para valores de x mayores que uno, que es la región de interés. La suma de las raíces es condicionalmente convergente y debe tomarse en orden creciente del valor absoluto de la parte imaginaria. Tenga en cuenta que la misma suma de las raíces triviales da el último sustraendo de la fórmula.

Para Π ₀ ( x ) tenemos una fórmula más complicada

${\displaystyle \Pi _{0}(x)=\operatorname {li} (x)-\sum _{\rho }\operatorname {li} \left(x^{\rho }\right)-\log 2+\int _{x}^{\infty }{\frac {\mathrm {d} t}{t\left(t^{2}-1\right)\log t}}.}$

Nuevamente, la fórmula es válida para x > 1 , mientras que ρ son los ceros no triviales de la función zeta ordenados según su valor absoluto. La integral es igual a la serie sobre los ceros triviales:

${\displaystyle \int _{x}^{\infty }{\frac {\mathrm {d} t}{t\left(t^{2}-1\right)\log t}}=\int _{x}^{\infty }{\frac {1}{t\log t}}\left(\sum _{m}t^{-2m}\right)\,\mathrm {d} t=\sum _{m}\int _{x}^{\infty }{\frac {t^{-2m}}{t\log t}}\,\mathrm {d} t\,\,{\overset {\left(u=t^{-2m}\right)}{=}}-\sum _{m}\operatorname {li} \left(x^{-2m}\right)}$

El primer término li( x ) es la función integral logarítmica habitual ; la expresión li( x ^ρ ) en el segundo término debe considerarse como Ei( ρ log x ) , donde Ei es la continuación analítica de la función integral exponencial desde los reales negativos al plano complejo con rama cortada a lo largo de los reales positivos.

Así, la fórmula de inversión de Möbius nos da ^[10]

${\displaystyle \pi _{0}(x)=\operatorname {R} (x)-\sum _{\rho }\operatorname {R} \left(x^{\rho }\right)-\sum _{m}\operatorname {R} \left(x^{-2m}\right)}$

válido para x > 1 , donde

${\displaystyle \operatorname {R} (x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\operatorname {li} \left(x^{1/n}\right)=1+\sum _{k=1}^{\infty }{\frac {\left(\log x\right)^{k}}{k!k\zeta (k+1)}}}$

es la función R de Riemann ^[24] y μ ( n ) es la función de Möbius . La última serie se conoce como serie Gram . ^{[25] [26]} Debido a que log x < x para todo x > 0 , esta serie converge para todo x positivo en comparación con la serie para e ^x . El logaritmo en la serie de Gram de la suma sobre la contribución cero no trivial debe evaluarse como ρ log x y no log x ^ρ .

Folkmar Bornemann demostró, ^[27] al asumir la conjetura de que todos los ceros de la función zeta de Riemann son simples, ^{[nota 1]} que

${\displaystyle \operatorname {R} \left(e^{-2\pi t}\right)={\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}t^{-2k-1}}{(2k+1)\zeta (2k+1)}}+{\frac {1}{2}}\sum _{\rho }{\frac {t^{-\rho }}{\rho \cos {\frac {\pi \rho }{2}}\zeta '(\rho )}}}$

donde ρ pasa por los ceros no triviales de la función zeta de Riemann y t > 0 .

La suma de ceros zeta no triviales en la fórmula para π ₀ ( x ) describe las fluctuaciones de π ₀ ( x ), mientras que los términos restantes dan la parte "suave" de la función de conteo de primos, ^[28] por lo que se puede usar

${\displaystyle \operatorname {R} (x)-\sum _{m=1}^{\infty }\operatorname {R} \left(x^{-2m}\right)}$

como buen estimador de π ( x ) para x > 1 . De hecho, dado que el segundo término tiende a 0 cuando x → ∞ , mientras que la amplitud de la parte "ruidosa" es heurísticamente aproximadamente√x​/iniciar sesiónx, estimar π ( x ) solo mediante R ( x ) es igual de bueno, y las fluctuaciones de la distribución de los números primos se pueden representar claramente con la función

${\displaystyle {\bigl (}\pi _{0}(x)-\operatorname {R} (x){\bigr )}{\frac {\log x}{\sqrt {x}}}.}$

Desigualdades

Aquí hay algunas desigualdades útiles para π ( x ) .

${\displaystyle {\frac {x}{\log x}}<\pi (x)<1.25506{\frac {x}{\log x}}}$

para x ≥ 17 .

La desigualdad de la izquierda se cumple para x ≥ 17 y la desigualdad de la derecha se cumple para x > 1 . La constante 1,25506 es30 registro 113/113con 5 decimales, comoπ ( x ) registro x/Xtiene su valor máximo en x = 113 . ^[29]

Pierre Dusart lo demostró en 2010: ^[30]

${\displaystyle {\frac {x}{\log x-1}}<\pi (x)\quad {\text{for }}x\geq 5393,}$

y

${\displaystyle \pi (x)<{\frac {x}{\log x-1.1}}\quad {\text{for }}x\geq 60184.}$

Aquí hay algunas desigualdades para el n- ésimo primo, p _n . El límite superior se debe a Rosser (1941), ^[31] el inferior a Dusart (1999): ^[32]

${\displaystyle n(\log(n\log n)-1)<p_{n}<n{\log(n\log n)}\quad {\text{for }}n\geq 6.}$

La desigualdad de la izquierda es válida para n ≥ 2 y la desigualdad de la derecha es válida para n ≥ 6 .

Una aproximación para el n- ésimo número primo es

${\displaystyle p_{n}=n(\log(n\log n)-1)+{\frac {n(\log \log n-2)}{\log n}}+O\left({\frac {n(\log \log n)^{2}}{(\log n)^{2}}}\right).}$

Ramanujan ^[33] demostró que la desigualdad

${\displaystyle \pi (x)^{2}<{\frac {ex}{\log x}}\pi \left({\frac {x}{e}}\right)}$

es válido para todos los valores suficientemente grandes de x .

En 2010 ^[30] Dusart demostró (Proposición 6.6) que, para n ≥ 688383 ,

${\displaystyle p_{n}\leq n\left(\log n+\log \log n-1+{\frac {\log \log n-2}{\log n}}\right),}$

y (Proposición 6.7) que, para n ≥ 3 ,

${\displaystyle p_{n}\geq n\left(\log n+\log \log n-1+{\frac {\log \log n-2.1}{\log n}}\right).}$

Más recientemente, Dusart ^[34] ha demostrado (Teorema 5.1) que, para x > 1 ,

${\displaystyle \pi (x)\leq {\frac {x}{\log x}}\left(1+{\frac {1}{\log x}}+{\frac {2}{\log ^{2}x}}+{\frac {7.59}{\log ^{3}x}}\right),}$

y que, para x ≥ 88789 ,

${\displaystyle \pi (x)>{\frac {x}{\log x}}\left(1+{\frac {1}{\log x}}+{\frac {2}{\log ^{2}x}}\right).}$

La hipótesis de Riemann

La hipótesis de Riemann implica un límite mucho más estricto para el error en la estimación de π ( x ) y, por tanto, una distribución más regular de los números primos,

${\displaystyle \pi (x)=\operatorname {li} (x)+O({\sqrt {x}}\log {x}).}$

Específicamente, ^[35]

${\displaystyle |\pi (x)-\operatorname {li} (x)|<{\frac {\sqrt {x}}{8\pi }}\,\log {x},\quad {\text{for all }}x\geq 2657.}$

Dudek (2015) demostró que la hipótesis de Riemann implica que para todo x ≥ 2 existe un primo p que satisface

${\displaystyle x-{\frac {4}{\pi }}{\sqrt {x}}\log x<p\leq x.}$

Ver también

• El postulado de Bertrand
• La conjetura de Oppermann.
• Ramanujan principal

Referencias

1. Bach, Eric; Shalit, Jeffrey (1996). Teoría algorítmica de números . Prensa del MIT. tomo 1 página 234 apartado 8.8. ISBN 0-262-02405-5.
2. Weisstein, Eric W. "Función de conteo principal". MundoMatemático .
3. "¿Cuántos números primos hay?". Chris K. Caldwell. Archivado desde el original el 15 de octubre de 2012 . Consultado el 2 de diciembre de 2008 .
4. Dickson, Leonard Eugene (2005). Historia de la teoría de los números, vol. I: Divisibilidad y Primalidad . Publicaciones de Dover. ISBN 0-486-44232-2.
5. Irlanda, Kenneth; Rosen, Michael (1998). Una introducción clásica a la teoría de números moderna (Segunda ed.). Saltador. ISBN 0-387-97329-X.
6. Véase también el teorema 23 de AE ​​Ingham (2000). La distribución de números primos . Prensa de la Universidad de Cambridge. ISBN 0-521-39789-8.
7. Kevin Ford (noviembre de 2002). "Integral de Vinogradov y límites para la función Zeta de Riemann" (PDF) . Proc. Matemáticas de Londres. Soc . 85 (3): 565–633. arXiv : 1910.08209 . doi :10.1112/S0024611502013655. S2CID  121144007.
8. Mossinghoff, Michael J.; Trudgian, Timothy S. (2015). "Polinomios trigonométricos no negativos y una región libre de cero para la función zeta de Riemann". J. Teoría de números . 157 : 329–349. arXiv : 1410.3926 . doi :10.1016/J.JNT.2015.05.010. S2CID  117968965.
9. Hutama, Daniel (2017). "Implementación de la fórmula explícita de Riemann para números primos racionales y gaussianos en Sage" (PDF) . Instituto de Ciencias Matemáticas .
10. Riesel, Hans ; Göhl, Gunnar (1970). «Algunos cálculos relacionados con la fórmula de números primos de Riemann» (PDF) . Matemáticas de la Computación . Sociedad Matemática Estadounidense. 24 (112): 969–983. doi :10.2307/2004630. ISSN  0025-5718. JSTOR  2004630. SEÑOR  0277489.
11. "Tablas de valores de π(x) y de π2(x)". Tomás Oliveira y Silva . Consultado el 14 de septiembre de 2008 .
12. "Una tabla de valores de π (x)". Xavier Gourdon, Pascal Sébah, Patrick Demichel . Consultado el 14 de septiembre de 2008 .
13. "Cálculo condicional de π (1024)". Chris K. Caldwell . Consultado el 3 de agosto de 2010 .
14. Platt, David J. (2012). "Calcular π ( x ) analíticamente)". arXiv : 1203.5712 [matemáticas.NT].
15. "¿Cuántos números primos hay?". J. Buethe . Consultado el 1 de septiembre de 2015 .
16. Staple, Douglas (19 de agosto de 2015). El algoritmo combinatorio para calcular π (x) (Tesis). Universidad de Dalhousie . Consultado el 1 de septiembre de 2015 .
17. Walisch, Kim (6 de septiembre de 2015). "Nuevo registro de función de recuento de primos π (1027) confirmado". Foro de Mersenne .
18. Baugh, David (26 de octubre de 2020). "Nuevo registro de función de conteo de primos π (1028) confirmado". OEIS .
19. Baugh, David (28 de febrero de 2022). "Nuevo registro de función de conteo de primos π (1029) confirmado". OEIS .
20. Lehmer, Derrick Henry (1 de abril de 1958). "Sobre el número exacto de números primos menores que un límite determinado". Illinois J. Matemáticas . 3 (3): 381–388 . Consultado el 1 de febrero de 2017 .
21. Deléglise, Marc; Rivat, Joel (enero de 1996). "Cálculo de π (x): el método de Meissel, Lehmer, Lagarias, Miller, Odlyzko" (PDF) . Matemáticas de la Computación . 65 (213): 235–245. doi : 10.1090/S0025-5718-96-00674-6 .
22. Apóstol, Tom M. (2010). Introducción a la teoría analítica de números . Saltador.
23. Titchmarsh, CE (1960). La teoría de las funciones, 2ª ed . Prensa de la Universidad de Oxford.
24. Weisstein, Eric W. "Función de conteo principal de Riemann". MundoMatemático .
25. Riesel, Hans (1994). Números primos y métodos informáticos de factorización . Progreso en Matemáticas. vol. 126 (2ª ed.). Birkhäuser. págs. 50–51. ISBN 0-8176-3743-5.
26. Weisstein, Eric W. "Serie Gram". MundoMatemático .
27. Bornemann, Folkmar. «Solución de un problema planteado por Jörg Waldvogel» (PDF) .
28. "La codificación de la distribución prima por los ceros zeta". Mateo Watkins . Consultado el 14 de septiembre de 2008 .
29. Rosser, J. Barkley ; Schoenfeld, Lowell (1962). "Fórmulas aproximadas para algunas funciones de números primos". Illinois J. Matemáticas . 6 : 64–94. doi : 10.1215/ijm/1255631807 . ISSN  0019-2082. Zbl  0122.05001.
30. Dusart, Pierre (2 de febrero de 2010). "Estimaciones de algunas funciones sobre números primos sin RH". arXiv : 1002.0442v1 [matemáticas.NT].
31. Rosser, Barkley (1941). "Límites explícitos para algunas funciones de números primos". Revista Estadounidense de Matemáticas . 63 (1): 211–232. doi :10.2307/2371291. JSTOR  2371291.
32. Dusart, Pierre (1999). "El k-ésimo primo es mayor que k(ln k + ln ln k − 1) para k ≥ 2". Matemáticas de la Computación . 68 (225): 411–415. doi : 10.1090/S0025-5718-99-01037-6 .
33. Berndt, Bruce C. (6 de diciembre de 2012). Cuadernos de Ramanujan, Parte IV. Medios de ciencia y negocios de Springer. págs. 112-113. ISBN 9781461269328.
34. Dusart, Pierre (enero de 2018). "Estimaciones explícitas de algunas funciones sobre números primos". Diario Ramanujan . 45 (1): 225–234. doi :10.1007/s11139-016-9839-4. S2CID  125120533.
35. Schoenfeld, Lowell (1976). "Límites más definidos para las funciones de Chebyshev θ ( x ) y ψ ( x ). II". Matemáticas de la Computación . Sociedad Matemática Estadounidense. 30 (134): 337–360. doi :10.2307/2005976. ISSN  0025-5718. JSTOR  2005976. SEÑOR  0457374.

Notas

1. Montgomery demostró que (asumiendo la hipótesis de Riemann) al menos dos tercios de todos los ceros son simples.

enlaces externos

• Chris Caldwell, La enésima página principal en The Prime Pages .
• Tomás Oliveira e Silva, Tablas de funciones de recuento de primos.
• Dudek, Adrian W. (2015), "Sobre la hipótesis de Riemann y la diferencia entre números primos", Revista Internacional de Teoría de Números , 11 (3): 771–778, arXiv : 1402.6417 , Bibcode :2014arXiv1402.6417D, doi :10.1142/ S1793042115500426, ISSN  1793-0421, S2CID  119321107