Hispanopedia Wiki
Articulo de referencia

Función de conteo de números primos

Los valores de π ( n ) para los primeros 60 enteros positivos En matemáticas , la función de conteo de primos es la función que cuenta la cantidad de números primos menores o ig...

Hispanopedia WikiContenido en espanolLectura gratuita
Los valores de π ( n ) para los primeros 60 enteros positivos

En matemáticas , la función de conteo de primos es la función que cuenta la cantidad 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 π ).

Una variante simétrica que se observa a veces es π 0 ( x ) , que es igual a π ( x ) − 1 ⁄ 2 si x es exactamente un número primo, e igual a π ( x ) en caso contrario. Es decir, la cantidad de números primos menores que x , más la mitad si x es un número primo.

Índice 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 incógnitaregistro⁡incógnita{\displaystyle {\frac {x}{\log x}}} donde log es el logaritmo natural , en el sentido de que límiteincógnita→∞π(incógnita)incógnita/registro⁡incógnita=1.{\displaystyle \lim _{x\rightarrow \infty }{\frac {\pi (x)}{x/\log x}}=1.} Esta afirmación es el teorema de los números primos . Una afirmación equivalente es límiteincógnita→∞π(incógnita)li⁡(incógnita)=1{\displaystyle \lim _{x\rightarrow \infty }{\frac {\pi (x)}{\operatorname {li} (x)}}=1} donde li es la función integral logarítmica . El teorema de los números primos fue demostrado por primera vez en 1896 por Jacques Hadamard y por Charles de la Vallée Poussin de forma independiente, utilizando propiedades de la función zeta de Riemann introducida por Riemann en 1859. Demostraciones del teorema de los números primos que no utilizan la función zeta ni el análisis complejo fueron encontradas alrededor de 1948 por Atle Selberg y por Paul Erdős (en su mayoría de forma independiente). [ 5 ]

Estimaciones más precisas

En 1899, de la Vallée Poussin demostró que [ 6 ]π(incógnita)=li⁡(incógnita)+O(incógnitami−aregistro⁡incógnita)como incógnita→∞{\displaystyle \pi (x)=\operatorname {li} (x)+O\left(xe^{-a{\sqrt {\log x}}}\right)\quad {\text{cuando }}x\to \infty } para alguna constante positiva a . Aquí, O (...) es la notación O grande .

Ahora se conocen estimaciones más precisas de π ( x ) . Por ejemplo, en 2002, Kevin Ford demostró que [ 7 ]π(incógnita)=li⁡(incógnita)+O(incógnitaexp⁡(−0,2098(registro⁡incógnita)3/5(registro⁡registro⁡incógnita)−1/5)).{\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 ] una cota superior explícita para la diferencia entre π ( x ) y li( x ) : |π(incógnita)−li⁡(incógnita)|≤0,2593incógnita(registro⁡incógnita)3/4exp⁡(−registro⁡incógnita6.315)para incógnita≥229.{\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{para }}x\geq 229.}

Para valores de x que no sean 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 π 0 ( x ) = π ( x ) − ⁠ 1 / 2 ⁠ cuando x es un número primo, y π 0 ( x ) = π ( x ) en caso contrario. Bernhard Riemann , en su obra Sobre el número de primos menores que una magnitud dada , demostró que π 0 ( x ) es igual a [ 9 ]

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

π0(incógnita)=R⁡(incógnita)−∑ρR⁡(incógnitaρ),{\displaystyle \pi _{0}(x)=\operatorname {R} (x)-\sum _{\rho }\operatorname {R} (x^{\rho }),} dónde R⁡(incógnita)=∑norte=1∞μ(norte)norteli⁡(incógnita1/norte),{\displaystyle \operatorname {R} (x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\operatorname {li} \left(x^{1/n}\right),}μ ( n ) es la función de Möbius , li( x ) es la función integral logarítmica , ρ indexa cada cero de la función zeta de Riemann, y li( x ⁠ ρ / n ⁠ ) no se evalúa con un corte de rama sino que se considera como Ei( ⁠ ρ / n ⁠ log x ) donde Ei( x ) es la integral exponencial . Si se recogen los ceros triviales y la suma se toma solo sobre los ceros no triviales ρ de la función zeta de Riemann, entonces π 0 ( x ) puede aproximarse por [ 10 ]π0(incógnita)≈R⁡(incógnita)−∑ρR⁡(incógnitaρ)−1registro⁡incógnita+1πarctan⁡πregistro⁡incógnita.{\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 de este tipo se encuentra a lo largo de Re ( s ) = 1 / 2 .

Tabla de π ( x ) , ⁠ x / log x ⁠ , y li( x )

La tabla muestra cómo se comparan las tres funciones π ( x ) , ⁠ x / log x ⁠ , y li( x ) en potencias de 10. Véase también, [ 3 ] [ 11 ] y [ 12 ]

Gráfico que muestra la razón entre la función de conteo de números primos π(x) y dos de sus aproximaciones: x/log x y Li(x). A medida que x aumenta ( nótese que el eje x es logarítmico ) , ambas razones tienden a 1. La razón para x / log x converge muy lentamente desde arriba , mientras que la razón para Li( x ) converge más rápidamente desde abajo .

En la Enciclopedia en línea de secuencias de enteros , la columna π ( x ) es la secuencia OEIS : A006880  , π ( x ) − ⁠ x / log x ⁠ es la secuencia OEIS : A057835 , y li( x ) − π ( x ) es la secuencia OEIS : A057752 .  

El valor de π (10 24 ) 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 por DJ Platt. [ 14 ] El valor de π (10 25 ) es de los mismos cuatro autores. [ 15 ] El valor de π (10 26 ) fue calculado por DB Staple. [ 16 ] Todas las demás entradas anteriores en esta tabla también fueron verificadas como parte de ese trabajo.

Los valores para 10 27 , 10 28 y 10 29 fueron anunciados por David Baugh y Kim Walisch en 2015, [ 17 ] 2020, [ 18 ] y 2022, [ 19 ] respectivamente.

Algoritmos para evaluar π ( x )

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

Una forma más elaborada de encontrar π ( x ) se debe a Legendre (utilizando el principio de inclusión-exclusión ): dado x , si p 1 , p 2 ,…, p n son números primos distintos, entonces el número de enteros menores o iguales a x que no son divisibles por ningún p i es

⌊incógnita⌋−∑i⌊incógnitapagi⌋+∑i<j⌊incógnitapagipagj⌋−∑i<j<k⌊incógnitapagipagjpagk⌋+⋯{\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 piso ). Por lo tanto, este número es igual a

π(incógnita)−π(incógnita)+1{\displaystyle \pi (x)-\pi \left({\sqrt {x}}\right)+1}

cuando los números p 1 , p 2 ,…, p n son 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 1 , p 2 ,…, 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

Φ(metro,norte)=Φ(metro,norte−1)−Φ(metropagnorte,norte−1).{\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 = π ( 3 √ m ) y si μ = π ( √ m ) − n , entonces

π(metro)=Φ(metro,norte)+norte(μ+1)+μ2−μ2−1−∑k=1μπ(metropagnorte+k).{\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 5 , 10 6 , 10 7 , y 10 8 .

En 1959, Derrick Henry Lehmer extendió y simplificó el método de Meissel. Definimos, para m real 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, establecemos P 0 ( m , n ) = 1 . Entonces

Φ(metro,norte)=∑k=0+∞PAGk(metro,norte){\displaystyle \Phi (m,n)=\sum _{k=0}^{+\infty }P_{k}(m,n)}

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

π(metro)=Φ(metro,norte)+norte−1−PAG2(metro,norte){\displaystyle \pi (m)=\Phi (m,n)+n-1-P_{2}(m,n)}

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

PAG2(metro,norte)=∑y<pag≤metro(π(metropag)−π(pag)+1){\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 se realiza sobre números primos.

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

  1. Φ(metro,0)=⌊metro⌋{\displaystyle \Phi (m,0)=\lfloor m\rfloor }
  2. Φ(metro,b)=Φ(metro,b−1)−Φ(metropagb,b−1){\displaystyle \Phi (m,b)=\Phi (m,b-1)-\Phi \left({\frac {m}{p_{b}}},b-1\right)}

Utilizando su método y una IBM 701 , Lehmer pudo calcular el valor correcto de π (10 9 ) y falló en el valor correcto de π (10 10 ) por 1. [ 20 ]

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

Otras funciones de conteo de números primos

También se utilizan otras funciones de conteo de números primos porque son más fáciles de usar.

Función de conteo de potencias primas de Riemann

La función de conteo de potencias primas de Riemann se suele denotar como Π 0 ( x ) o J 0 ( x ) . Presenta saltos de 1 / n en las potencias primas p n y toma un valor intermedio entre ambos extremos en las discontinuidades de π ( x ) . Este detalle adicional se utiliza porque la función puede definirse mediante una transformada inversa de Mellin .

Formalmente, podemos definir Π 0 ( x ) mediante

Π0(incógnita)=12(∑pagnorte<incógnita1norte+∑pagnorte≤incógnita1norte) {\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 números primos dentro de los límites especificados.

También podemos escribir

 Π0(incógnita)=∑norte=2incógnitaΛ(norte)registro⁡norte−Λ(incógnita)2registro⁡incógnita=∑norte=1∞1norteπ0(incógnita1/norte){\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 Λ es la función de von Mangoldt y

π0(incógnita)=límiteε→0π(incógnita−ε)+π(incógnita+ε)2.{\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

π0(incógnita)=∑norte=1∞μ(norte)norte Π0(incógnita1/norte),{\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

registro⁡ζ(s)=s∫0∞Π0(incógnita)incógnita−s−1dincógnita{\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 de números primos p n mediante log p :

ϑ(incógnita)=∑pag≤incógnitaregistro⁡pagψ(incógnita)=∑pagnorte≤incógnitaregistro⁡pag=∑norte=1∞ϑ(incógnita1/norte)=∑norte≤incógnitaΛ(norte).{\displaystyle {\begin{aligned}\vartheta (x)&=\sum _{p\leq x}\log p\\\psi (x)&=\sum _{p^{n}\leq x}\log p=\sum _{n=1}^{\infty }\vartheta \left(x^{1/n}\right)=\sum _{n\leq x}\Lambda (n).\end{aligned}}}

Para x ≥ 2 , [ 22 ]

ϑ(incógnita)=π(incógnita)registro⁡incógnita−∫2incógnitaπ(t)tdt{\displaystyle \vartheta (x)=\pi (x)\log x-\int _{2}^{x}{\frac {\pi (t)}{t}}\,\mathrm {d} t}

y

π(incógnita)=ϑ(incógnita)registro⁡incógnita+∫2incógnitaϑ(t)tregistro2⁡(t)dt.{\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 números primos

Las fórmulas para funciones de conteo de números primos se dividen en dos tipos: fórmulas aritméticas y fórmulas analíticas. Las fórmulas analíticas para el conteo de números primos fueron las primeras en utilizarse 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 ψ :

ψ0(incógnita)=incógnita−∑ρincógnitaρρ−registro⁡2π−12registro⁡(1−incógnita−2),{\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

ψ0(incógnita)=límiteε→0ψ(incógnita−ε)+ψ(incógnita+ε)2.{\displaystyle \psi _{0}(x)=\lim _{\varepsilon \to 0}{\frac {\psi (x-\varepsilon )+\psi (x+\varepsilon )}{2}}.}

Aquí, ρ representa los ceros de la función zeta de Riemann en la banda crítica, donde la parte real de ρ se encuentra 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 sobre las raíces converge condicionalmente y debe tomarse en orden creciente del valor absoluto de la parte imaginaria. Nótese que la misma suma sobre las raíces triviales proporciona el último sustraendo de la fórmula.

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

Π0(incógnita)=li⁡(incógnita)−∑ρli⁡(incógnitaρ)−registro⁡2+∫incógnita∞dtt(t2−1)registro⁡t.{\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. El primer término li( x ) es la función integral logarítmica usual ; 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 corte de rama a lo largo de los reales positivos. La integral final es igual a la serie sobre los ceros triviales:

∫incógnita∞dtt(t2−1)registro⁡t=∫incógnita∞1tregistro⁡t(∑metrot−2metro)dt=∑metro∫incógnita∞t−2metrotregistro⁡tdt=(tú=t−2metro)−∑metroli⁡(incógnita−2metro){\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)}

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

π0(incógnita)=R⁡(incógnita)−∑ρR⁡(incógnitaρ)−∑metroR⁡(incógnita−2metro){\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

R⁡(incógnita)=∑norte=1∞μ(norte)norteli⁡(incógnita1/norte)=1+∑k=1∞(registro⁡incógnita)kk¡kζ(k+1){\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 . Esta última serie se conoce como serie de Gram . [ 25 ] [ 26 ] Debido a que log x < x para todo x > 0 , esta serie converge para todo x positivo por 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 como 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

R⁡(mi−2πt)=1π∑k=1∞(−1)k−1t−2k−1(2k+1)ζ(2k+1)+12∑ρt−ρρporque⁡πρ2ζ′(ρ){\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 ρ recorre los ceros no triviales de la función zeta de Riemann y t > 0 .

La suma sobre ceros zeta no triviales en la fórmula para π 0 ( x ) describe las fluctuaciones de π 0 ( 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

R⁡(incógnita)−∑metro=1∞R⁡(incógnita−2metro){\displaystyle \operatorname {R} (x)-\sum _{m=1}^{\infty }\operatorname {R} \left(x^{-2m}\right)}

como un buen estimador de π ( x ) para x > 1 . De hecho, dado que el segundo término se aproxima a 0 cuando x → ∞ , mientras que la amplitud de la parte "ruidosa" es heurísticamente aproximadamente ⁠ √ x / log x ⁠ , estimar π ( x ) solo con R( x ) es igual de bueno, y las fluctuaciones de la distribución de primos pueden representarse claramente con la función

(π0(incógnita)−R⁡(incógnita))registro⁡incógnitaincógnita.{\displaystyle {\bigl (}\pi _{0}(x)-\operatorname {R} (x){\bigr )}{\frac {\log x}{\sqrt {x}}}.}

Desigualdades

Ramanujan [ 29 ] demostró que la desigualdad

π(incógnita)2<miincógnitaregistro⁡incógnitaπ(incógnitami){\displaystyle \pi (x)^{2}<{\frac {ex}{\log x}}\pi \left({\frac {x}{e}}\right)}

se cumple para todos los valores suficientemente grandes de x .

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

incógnitaregistro⁡incógnita<π(incógnita)<1.25506incógnitaregistro⁡incógnitapara incógnita≥17.{\displaystyle {\frac {x}{\log x}}<\pi (x)<1.25506{\frac {x}{\log x}}\quad {\text{for }}x\geq 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 es 30 log 113 / 113 con 5 decimales, ya que π ( x ) log x / x tiene su valor máximo en x = p 30 = 113. [ 30 ]

Pierre Dusart demostró en 2010: [ 31 ]

incógnitaregistro⁡incógnita−1<π(incógnita)<incógnitaregistro⁡incógnita−1.1para incógnita≥5393 y incógnita≥60184, respectivamente.{\displaystyle {\frac {x}{\log x-1}}<\pi (x)<{\frac {x}{\log x-1.1}}\quad {\text{for }}x\geq 5393{\text{ and }}x\geq 60184,{\text{ respectively.}}}

Más recientemente, Dusart ha demostrado [ 32 ] (Teorema 5.1) que

incógnitaregistro⁡incógnita(1+1registro⁡incógnita+2registro2⁡incógnita)≤π(incógnita)≤incógnitaregistro⁡incógnita(1+1registro⁡incógnita+2registro2⁡incógnita+7.59registro3⁡incógnita),{\displaystyle {\frac {x}{\log x}}\left(1+{\frac {1}{\log x}}+{\frac {2}{\log ^{2}x}}\right)\leq \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),}

para x ≥ 88789 y x > 1 , respectivamente.

En la otra dirección, una aproximación para el n -ésimo primo, p n , es

pagnorte=norte(registro⁡norte+registro⁡registro⁡norte−1+registro⁡registro⁡norte−2registro⁡norte+O((registro⁡registro⁡norte)2(registro⁡norte)2)).{\displaystyle p_{n}=n\left(\log n+\log \log n-1+{\frac {\log \log n-2}{\log n}}+O\left({\frac {(\log \log n)^{2}}{(\log n)^{2}}}\right)\right).}

Aquí se presentan algunas desigualdades para el n- ésimo número primo. La cota inferior se debe a Dusart (1999) [ 33 ] y la cota superior a Rosser (1941). [ 34 ]

norte(registro⁡norte+registro⁡registro⁡norte−1)<pagnorte<norte(registro⁡norte+registro⁡registro⁡norte)para norte≥6.{\displaystyle n(\log n+\log \log n-1)<p_{n}<n(\log n+\log \log n)\quad {\text{for }}n\geq 6.}

La desigualdad de la izquierda se cumple para n ≥ 2 y la desigualdad de la derecha se cumple para n ≥ 6. Una forma variante que a veces se ve sustituyeregistro⁡norte+registro⁡registro⁡norte=registro⁡(norteregistro⁡norte).{\displaystyle \log n+\log \log n=\log(n\log n).} Un límite inferior aún más simple es [ 35 ].

norteregistro⁡norte<pagnorte,{\displaystyle n\log n<p_{n},}

lo cual se cumple para todo n ≥ 1 , pero el límite inferior anterior es más ajustado para n > e e ≈ 15,154 .

En 2010 Dusart demostró [ 31 ] (Proposiciones 6.7 y 6.6) que

norte(registro⁡norte+registro⁡registro⁡norte−1+registro⁡registro⁡norte−2.1registro⁡norte)≤pagnorte≤norte(registro⁡norte+registro⁡registro⁡norte−1+registro⁡registro⁡norte−2registro⁡norte),{\displaystyle n\left(\log n+\log \log n-1+{\frac {\log \log n-2.1}{\log n}}\right)\leq p_{n}\leq n\left(\log n+\log \log n-1+{\frac {\log \log n-2}{\log n}}\right),}

para n ≥ 3 y n ≥ 688383 , respectivamente.

En 2024, Axler [ 36 ] ajustó aún más esto (ecuaciones 1.12 y 1.13) utilizando límites de la forma

F(norte,gramo(w))=norte(registro⁡norte+registro⁡registro⁡norte−1+registro⁡registro⁡norte−2registro⁡norte−gramo(registro⁡registro⁡norte)2registro2⁡norte){\displaystyle f(n,g(w))=n\left(\log n+\log \log n-1+{\frac {\log \log n-2}{\log n}}-{\frac {g(\log \log n)}{2\log ^{2}n}}\right)}

demostrando que

F(norte,w2−6w+11.321)≤pagnorte≤F(norte,w2−6w){\displaystyle f(n,w^{2}-6w+11.321)\leq p_{n}\leq f(n,w^{2}-6w)}

para n ≥ 2 y n ≥ 3468 , respectivamente. El límite inferior también puede simplificarse a f ( n , w 2 ) sin alterar su validez. El límite superior puede ajustarse a f ( n , w 2 − 6 w + 10.667) si n ≥ 46254381 .

Hay límites adicionales de complejidad variable. [ 37 ] [ 38 ] [ 39 ]

La hipótesis de Riemann

La hipótesis de Riemann implica una cota mucho más ajustada para el error en la estimación de π ( x ) , y por lo tanto a una distribución más regular de los números primos,

π(incógnita)=li⁡(incógnita)+O(incógnitaregistro⁡incógnita).{\displaystyle \pi (x)=\operatorname {li} (x)+O({\sqrt {x}}\log {x}).}

Específicamente, [ 40 ]

|π(incógnita)−li⁡(incógnita)|<incógnita8πregistro⁡incógnita,a pesar de incógnita≥2657.{\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

incógnita−4πincógnitaregistro⁡incógnita<pag≤incógnita.{\displaystyle x-{\frac {4}{\pi }}{\sqrt {x}}\log x<p\leq x.}

Véase también

Referencias

  1. ↑ Bach, Eric; Shallit, Jeffrey (1996). Teoría algorítmica de números . MIT Press. Volumen 1, página 234, sección 8.8. ISBN 0-262-02405-5.
  2. ↑ Weisstein, Eric W. "Función de conteo de primos" . MathWorld .
  3. 1 2 "¿Cuántos números primos hay?" . Chris K. Caldwell. Archivado del original el 15-10-2012 . Recuperado el 02-12-2008 .
  4. ↑ Dickson, Leonard Eugene (2005). Historia de la teoría de los números, vol. I: Divisibilidad y primalidad . Dover Publications. ISBN 0-486-44232-2.
  5. ↑ Ireland, Kenneth; Rosen, Michael (1998). Introducción clásica a la teoría moderna de números (Segunda edición). Springer. ISBN  0-387-97329-X.
  6. ↑ Véase también el teorema 23 de A. E. Ingham (2000). The Distribution of Prime Numbers . Cambridge University Press. 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. London Math. Soc . 85 (3): 565– 633. arXiv : 1910.08209 . doi : 10.1112/S0024611502013655 . S2CID 121144007. Archivado del original (PDF) el 1 de febrero de 2022. Consultado el 5 de febrero de 2020 . 
  8. ↑ Mossinghoff, Michael J.; Trudgian, Timothy S. (2015). "Polinomios trigonométricos no negativos y una región libre de ceros para la función zeta de Riemann". J. Number Theory . 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 primos racionales y gaussianos en Sage" (PDF) . Institut des sciences mathématiques . Archivado del original (PDF) el 27 de enero de 2024. Consultado el 31 de julio de 2021 .
  10. 1 2 Riesel, Hans ; Göhl, Gunnar (1970). "Algunos cálculos relacionados con la fórmula de los números primos de Riemann" ( PDF) . Matemáticas de la Computación . 24 (112). Sociedad Matemática Americana: 969–983 . doi : 10.2307/2004630 . ISSN 0025-5718 . JSTOR 2004630. MR 0277489 .   
  11. ↑ «Tablas de valores de π ( x ) y de π 2 ( x ) » . Tomás Oliveira y Silva . Consultado el 31 de marzo de 2024 .
  12. ↑ "Una tabla de valores de π ( x ) " . Xavier Gourdon, Pascal Sebah, Patrick Demichel . Consultado el 14 de septiembre de 2008 .
  13. ↑ Franke, Jens (29-07-2010). "Cálculo condicional de π(10 24 )" . Chris K. Caldwell . Recuperado el 30-03-2024 .
  14. ↑ Platt, David J. (mayo de 2015) [marzo de 2012]. "Cálculo analítico de π ( x ) " . Matemáticas de la computación . 84 (293): 1521– 1535. arXiv : 1203.5712 . doi : 10.1090/S0025-5718-2014-02884-6 .
  15. ↑ "Cálculo analítico de la función de conteo de números primos" . J. Buethe. 27 de mayo de 2014. Consultado el 1 de septiembre de 2015 . Incluye 600.000 valores de π ( x ) para 10¹⁴ ≤ x ≤ 1,6 × 10¹⁸
  16. ↑ Staple, Douglas (19 de agosto de 2015). El algoritmo combinatorio para calcular π(x) (Tesis). Universidad de Dalhousie . Recuperado el 1 de septiembre de 2015 .
  17. ↑ Walisch, Kim (6 de septiembre de 2015). "Nuevo récord confirmado de la función de conteo de primos π(10 27 )" . Mersenne Forum . Archivado del original el 6 de enero de 2024. Recuperado el 25 de abril de 2018 .
  18. ↑ Baugh, David (30 de agosto de 2020). "Nuevo récord de función de conteo de primos, pi(10^28)" . Mersenne Forum . Archivado del original el 1 de abril de 2024. Recuperado el 1 de abril de 2024 .
  19. ↑ Walisch, Kim (4 de marzo de 2022). "Nuevo récord de función de conteo de primos: PrimePi(10^29)" . Mersenne Forum . Archivado del original el 1 de abril de 2024. Recuperado el 1 de abril de 2024 .
  20. ↑ Lehmer, Derrick Henry (1 de abril de 1958). "Sobre el número exacto de primos menores que un límite dado" . Illinois J. Math . 3 (3): 381– 388. Recuperado 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. ↑ Apostol, Tom M. (2010). Introducción a la teoría analítica de números . Springer. ISBN 978-1441928054.
  23. ↑ Titchmarsh, EC (1960). La teoría de las funciones, 2.ª ed . Oxford University Press.
  24. ↑ Weisstein, Eric W. "Función de conteo de primos de Riemann" . MathWorld .
  25. ↑ Riesel, Hans (1994). Números primos y métodos informáticos para la factorización . Progress in Mathematics. Vol. 126 (2.ª ed.). Birkhäuser. pp. 50–51 . ISBN    0-8176-3743-5.
  26. ↑ Weisstein, Eric W. "Gram Series" . MathWorld .
  27. ↑ Bornemann, Folkmar. "Solución de un problema planteado por Jörg Waldvogel" (PDF) .
  28. ↑ "La codificación de la distribución prima mediante los ceros zeta" . Matthew Watkins. Archivado del original el 4 de febrero de 2013. Consultado el 14 de septiembre de 2008 .
  29. ↑ Berndt, Bruce C. (6 de diciembre de 2012). Cuadernos de Ramanujan, Parte IV . Springer Science & Business Media. págs. 112–113 . ISBN  9781461269328.
  30. ↑ Rosser, J. Barkley ; Schoenfeld, Lowell (1962). "Fórmulas aproximadas para algunas funciones de números primos" . Illinois J. Math. 6 : 64–94 . doi : 10.1215/ijm/1255631807 . ISSN 0019-2082 . Zbl 0122.05001 .  
  31. 1 2 Dusart, Pierre (2 de febrero de 2010). "Estimaciones de algunas funciones sobre primos sin RH". arXiv : 1002.0442v1 [ math.NT ].
  32. ↑ Dusart, Pierre (enero de 2018). "Estimaciones explícitas de algunas funciones sobre números primos". Ramanujan Journal . 45 (1): 225– 234. doi : 10.1007/s11139-016-9839-4 . S2CID 125120533 . 
  33. ↑ Dusart, Pierre (enero de 1999). "El k -ésimo primo es mayor que k (ln k + ln ln k − 1) para k ≥ 2" (PDF) . Mathematics of Computation . 68 (225): 411– 415. Bibcode : 1999MaCom..68..411D . doi : 10.1090/S0025-5718-99-01037-6 .
  34. ↑ Rosser, Barkley (enero de 1941). "Límites explícitos para algunas funciones de números primos". American Journal of Mathematics . 63 (1): 211– 232. doi : 10.2307/2371291 . JSTOR 2371291 . 
  35. ↑ Rosser, J. Barkley ; Schoenfeld, Lowell (marzo de 1962). "Fórmulas aproximadas para algunas funciones de números primos". Illinois Journal of Mathematics . 6 (1): 64– 94. doi : 10.1215/ijm/1255631807 .
  36. ↑ Axler, Christian (2019) [23 de marzo de 2017]. "Nuevas estimaciones para el n -ésimo número primo" . Journal of Integer Sequences . 19 (4) 2. arXiv : 1706.03651 .
  37. ↑ "Límites para el n -ésimo número primo" . Mathematics StackExchange . 31 de diciembre de 2015.
  38. ↑ Axler, Christian (2018) [23 de marzo de 2017]. "Nuevas estimaciones para algunas funciones definidas sobre números primos" (PDF) . Enteros . 18 A52. arXiv : 1703.08032 . doi : 10.5281/zenodo.10677755 .
  39. ↑ Axler, Christian (2024) [11 de marzo de 2022]. "Estimaciones efectivas para algunas funciones definidas sobre números primos" (PDF) . Enteros . 24 A34. arXiv : 2203.05917 . doi : 10.5281/zenodo.10677755 .
  40. ↑ Schoenfeld, Lowell (1976). "Límites más precisos para las funciones de Chebyshev θ ( x ) y ψ ( x ). II". Matemáticas de la Computación . 30 (134). Sociedad Matemática Americana: 337– 360. doi : 10.2307/2005976 . ISSN 0025-5718 . JSTOR 2005976 . MR 0457374 .   

Notas

  1. ↑ Montgomery demostró que (suponiendo la hipótesis de Riemann) al menos dos tercios de todos los ceros son simples.
  • Chris Caldwell, The Nth Prime Page en The Prime Pages .
  • Tomás Oliveira e Silva, Tablas de funciones de conteo de primos .
  • Dudek, Adrian W. (2015), "Sobre la hipótesis de Riemann y la diferencia entre primos", International Journal of Number Theory , 11 (3): 771– 778, arXiv : 1402.6417 , Bibcode : 2014arXiv1402.6417D , doi : 10.1142/S1793042115500426 , ISSN 1793-0421 , S2CID 119321107