En matemáticas, la función de Chebyshov es alguna de dos funciones relacionadas. La primera función de Chebyshov ϑ(x) o θ(x) se expresa como:
![{\displaystyle \vartheta (x)=\sum _{p\leq x}\log p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba38682ec80afa73c29c41a52a63ea1976ee7305)
con el sumatorio comprendiendo todos los números primos p menores que x. La segunda función de Chebyshov
se define como:
![{\displaystyle \psi (x)=\sum _{n\leq x}\Lambda (n),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/120bc258adf7a1edc0ead86bed47caeb9dcf7200)
donde
es la función de von Mangoldt. Se usa frecuentemente la función de Chebyshov en pruebas relacionadas con los números primos, ya que es más fácil de usar que la función contadora de primos,
. Ambas funciones son asintóticas a
, lo cual equivale al teorema de los números primos.
Ambas funciones se llaman así en recuerdo de Pafnuti Chebyshov.
Propiedades
Un teorema de Erhard Schmidt asegura que, para cualquier real, positivo K, existen valores de x tal que
![{\displaystyle \psi (x)-x<-K{\sqrt {x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81dc7cca021574896fabdd77f611713163d783f3)
y
![{\displaystyle \psi (x)-x>K{\sqrt {x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23aabff50fb9b84f59bec903286184c1aa91db0a)
se cumple en infinitas ocasiones.[1][2] En notación O, podríamos expresar lo anterior como
![{\displaystyle \psi (x)-x\neq O\left({\sqrt {x}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aadda847acec9436dd0f2c20a0f37371401d28ab)
Hardy y Littlewood[2] probaron un resultado más fuerte:
![{\displaystyle \psi (x)-x\neq O\left({\sqrt {x}}\log \log \log x\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9293c024cf3508a3d73a0ef7c9f62bc6ad5c73a)
Relaciones
La segunda función de Chebyshov puede relacionarse con la primera escribiéndola como
![{\displaystyle \psi (x)=\sum _{p\leq x}k\log p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b13acdec2698b7719326d434d0f1411aacde5609)
donde k es el único entero que cumple
pero
. Una relación más directa es la dada por
![{\displaystyle \psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{1/n}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c55bd5f1b0f4687fc80fc2c13811411829fe6181)
Nótese que este última suma solo tiene un número finito de sumandos que no se cancelan, ya que
para ![{\displaystyle n>\log _{2}x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67df50c16c3d160f260d7fda3abcd78bacb448fa)
La segunda función de Chebyshov es el logaritmo del mínimo común múltiplo de los enteros comprendidos entre 1 y n.
![{\displaystyle \operatorname {mcm} (1,2,\dots n)=e^{\psi (n)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f8697dedd7a1cea285b2927e6c66598620887f)
Relación con la función
La función de Chebyshov puede ser relacionada con la función
de la siguiente manera. Defina
![{\displaystyle \Pi (x)=\sum _{n\leq x}{\frac {\Lambda (n)}{\log n}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f09f36af683ce08ee290af00b923f4c2a74020)
Entonces
![{\displaystyle \Pi (x)=\sum _{n\leq x}\Lambda (n)\int _{n}^{x}{\frac {dt}{t\log ^{2}t}}+{\frac {1}{\log x}}\sum _{n\leq x}\Lambda (n)=\int _{2}^{x}{\frac {\psi (t)\,dt}{t\log ^{2}t}}+{\frac {\psi (x)}{\log x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6427253d033f913032ce0ba2afec714d14a2dd5)
La relación entre
y la función contadora de primos,
, se tiene en la siguiente ecuación
![{\displaystyle \Pi (x)=\pi (x)+{\frac {1}{2}}\pi (x^{1/2})+{\frac {1}{3}}\pi (x^{1/3})+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77f576028dcfc7c8e61fa8cad600f4262618ba70)
Ciertamente
, de manera que la última relación se puede escribir en la forma
![{\displaystyle \pi (x)=\Pi (x)+O({\sqrt {x}}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f39e62c7087e6ebcbf1b1aa74c5edb15599933)
Relación con los primoriales
La primera función de Chebyshov es el logaritmo del primorial de x, denotado por x#:
![{\displaystyle \vartheta (x)=\sum _{p\leq x}\log p=\log \prod _{p\leq x}p=\log x\#.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91113a1ef3a1e657c26afcc4a13be2651c1aef41)
Esto prueba que el primorial x# es asintóticamente igual a exp((1+o(1))x), donde "o" es el símbolo de Landau (o notación o-pequeña, véase notación O) y junto con el teorema de los números primos, establece un comportamiento asintótico de pn#.
Relación con la función suavizante
La función suavizante se define como
![{\displaystyle \psi _{1}(x)=\int _{0}^{x}\psi (t)\,dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40d9a64670c4d85490e2555d95093a201534b158)
Se puede demostrar que
![{\displaystyle \psi _{1}(x)\sim {\frac {x^{2}}{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/908203191fead1c3171043ca7991edc32019a7af)
Una fórmula exacta
En 1895, Hans Carl Friedrich von Mangoldt halló[3] una expresión explícita para
, que contiene una suma sobre los ceros no triviales de la función zeta de Riemann:
![{\displaystyle \psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-{\frac {\zeta '(0)}{\zeta (0)}}-{\frac {1}{2}}\log(1-x^{-2}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8723bcb5d2fd9e9abb641211921f5ace55f3dd95)
donde
recorre todos los ceros no triviales de la función zeta, y
![{\displaystyle \psi _{0}(x)={\begin{cases}\psi (x)-{\frac {1}{2}}\Lambda (x)&x=p^{m}{\mbox{, }}p{\mbox{ primo, }}m{\mbox{ natural}}\\\psi (x)&{\mbox{en caso contrario.}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdc2ffaa4ceea59bd1af8e2209fb3555f9a1b3aa)
En la serie de Taylor para el logaritmo, el último término de la fórmula explícita puede ser interpretado como el sumatorio de
sobre todos los ceros no triviales de la función zeta,
, es decir,
![{\displaystyle \sum _{k=1}^{\infty }{\frac {x^{2k}}{2k}}={\frac {1}{2}}\log(1-x^{-2}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3efe60f187f153ed835d13dabb9508d9ee3a816b)
Comportamiento asintótico
Pierre Dusart[4] probó los siguientes comportamientos asintóticos para las funciones de Chebyshov:
para k' ≥ exp(22)
para k ≥ 198
para k ≥ 198
para x ≥ 10.544.111
para x ≥ exp(22)
para x ≥ exp(30)
Estas anteriores, junto con
, dan una buena caracterización de estas dos funciones.
La función de Chebyshov evaluada en x = exp(t) minimiza el funcional
![{\displaystyle J[f]=\int _{0}^{\infty }{\frac {f(s)\zeta '(s+c)}{\zeta (s+c)(s+c)}}\,ds-\int _{0}^{\infty }\!\!\!\int _{0}^{\infty }e^{-st}f(s)f(t)\,ds\,dt,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/934e68a1fe60c4be0b06237286f305dc342fb883)
entonces
![{\displaystyle f(t)=\psi (e^{t})e^{-ct},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97ab1926a0b15fc7f4173241f7317a55244c5a50)
para c > 0.
Referencias
- ↑ Erhard Schmidt, "Über die Anzahl der Primzahlen unter gegebener Grenze", Mathematische Annalen, 57 (1903), pp.195-204.
- ↑ a b G.H. Hardy and J.E. Littlewood, "Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes", Acta Mathematica, 41(1916) pp.119-196.
- ↑ Davenport, Harold (2000). In Multiplicative Number Theory. Springer. p. 104. ISBN 0-387-95097-4. Google Book Search.
- ↑ Pierre Dusart, "Sharper bounds for ψ, θ, π,
", Rapport de recherche n.º 1998-06, Université de Limoges. An abbreviated version appeared as "The kth prime is greater than k(ln k + ln ln k - 1) for k ≥ 2", Mathematics of Computation, Vol. 68, No. 225 (1999), pp. 411–415.
Enlaces externos
- Riemann's Explicit Formula
Control de autoridades | - Proyectos Wikimedia
Datos: Q1046711 |
---|
Datos: Q1046711