Función de Chebyshov

Ir a la navegaciónIr a la búsqueda
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}{\displaystyle \vartheta

(x)=\sum _{p\leq x}\log p}
con el sumatorio comprendiendo todos los números primos p menores que x. La segunda
función de Chebyshov {\displaystyle \psi (x)}{\displaystyle \psi (x)} se define
como:

{\displaystyle \psi (x)=\sum _{n\leq x}\Lambda (n),}{\displaystyle \psi (x)=\sum

_{n\leq x}\Lambda (n),}
donde {\displaystyle \Lambda }\Lambda 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,
{\displaystyle \pi (x)}{\displaystyle \pi (x)}. Ambas funciones son asintóticas a
{\displaystyle x}x, lo cual equivale al teorema de los números primos.

Ambas funciones se llaman así en recuerdo de Pafnuti Chebyshov.

Índice
1 Propiedades
2 Relaciones
2.1 Relación con la función {\displaystyle \Pi (x)}{\displaystyle \Pi (x)}
2.2 Relación con los primoriales
2.3 Relación con la función suavizante
3 Una fórmula exacta
4 Comportamiento asintótico
5 Aplicación a la formulación variacional
6 Referencias
7 Enlaces externos
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}}}{\displaystyle \psi (x)-x<-K{\sqrt {x}}}

y

{\displaystyle \psi (x)-x>K{\sqrt {x}}}{\displaystyle \psi (x)-x>K{\sqrt {x}}}

se cumple en infinitas ocasiones.12 En notación O, podríamos expresar lo anterior
como

{\displaystyle \psi (x)-x\neq O\left({\sqrt {x}}\right).}{\displaystyle \psi (x)-

x\neq O\left({\sqrt {x}}\right).}
Hardy y Littlewood2 probaron un resultado más fuerte:

{\displaystyle \psi (x)-x\neq O\left({\sqrt {x}}\log \log \log x\right).}

{\displaystyle \psi (x)-x\neq O\left({\sqrt {x}}\log \log \log x\right).}
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}{\displaystyle \psi (x)=\sum _{p\leq

x}k\log p}
donde k es el único entero que cumple {\displaystyle p^{k}\leq x}{\displaystyle
p^{k}\leq x} pero {\displaystyle p^{k+1}>x}{\displaystyle p^{k+1}>x}. Una relación
más directa es la dada por
{\displaystyle \psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{1/n}\right).}
{\displaystyle \psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{1/n}\right).}
Nótese que este última suma sólo tiene un número finito de sumandos que no se
cancelan, ya que

{\displaystyle \vartheta \left(x^{1/n}\right)=0}{\displaystyle \vartheta

\left(x^{1/n}\right)=0} para {\displaystyle n>\log _{2}x.}{\displaystyle n>\log
_{2}x.}
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)}.}{\displaystyle

\operatorname {mcm} (1,2,\dots n)=e^{\psi (n)}.}
Relación con la función {\displaystyle \Pi (x)}{\displaystyle \Pi (x)}
La función de Chebyshov puede ser relacionada con la función {\displaystyle \pi
(x)}{\displaystyle \pi (x)} de la siguiente manera. Defina

{\displaystyle \Pi (x)=\sum _{n\leq x}{\frac {\Lambda (n)}{\log n}}.}{\displaystyle

\Pi (x)=\sum _{n\leq x}{\frac {\Lambda (n)}{\log n}}.}
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}}.}{\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}}.}
La relación entre {\displaystyle \Pi (x)}{\displaystyle \Pi (x)} y la función
contadora de primos, {\displaystyle \pi (x)}{\displaystyle \pi (x)}, 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 .}{\displaystyle \Pi (x)=\pi (x)+{\frac {1}{2}}\pi (x^{1/2})+
{\frac {1}{3}}\pi (x^{1/3})+\cdots .}
Ciertamente {\displaystyle \pi (x)\leq x}{\displaystyle \pi (x)\leq x}, de manera
que la última relación se puede escribir en la forma

{\displaystyle \pi (x)=\Pi (x)+O({\sqrt {x}}).}{\displaystyle \pi (x)=\Pi (x)

+O({\sqrt {x}}).}
Relación con los primoriales
La primera función de Chebyshov es el logaritmo de el primorial de x, denotado por
x#:

{\displaystyle \vartheta (x)=\sum _{p\leq x}\log p=\log \prod _{p\leq x}p=\log

x\#.}{\displaystyle \vartheta (x)=\sum _{p\leq x}\log p=\log \prod _{p\leq x}p=\log
x\#.}
Esto prueba que el primorial x# es asintóticamente igual a exp((1+o(1))x), donde
"o" es el símbolo de Landau (ó 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.}{\displaystyle \psi _{1}

(x)=\int _{0}^{x}\psi (t)\,dt.}
Se puede demostrar que

{\displaystyle \psi _{1}(x)\sim {\frac {x^{2}}{2}}.}{\displaystyle \psi _{1}(x)\sim

{\frac {x^{2}}{2}}.}
Una fórmula exacta
En 1895, Hans Carl Friedrich von Mangoldt halló3 una expresión explícita para
{\displaystyle \psi (x)}{\displaystyle \psi (x)}, 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}).}{\displaystyle \psi _{0}(x)=x-\sum
_{\rho }{\frac {x^{\rho }}{\rho }}-{\frac {\zeta '(0)}{\zeta (0)}}-{\frac {1}
{2}}\log(1-x^{-2}).}
donde {\displaystyle \rho }\rho 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}}}{\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}}}
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 {\displaystyle -x^{\omega }/{\omega }}
{\displaystyle -x^{\omega }/{\omega }} sobre todos los ceros no triviales de la
función zeta, {\displaystyle \omega =-2,-4,-6,\ldots }{\displaystyle \omega =-2,-
4,-6,\ldots }, es decir,

{\displaystyle \sum _{k=1}^{\infty }{\frac {x^{2k}}{2k}}={\frac {1}{2}}\log(1-x^{-

2}).}{\displaystyle \sum _{k=1}^{\infty }{\frac {x^{2k}}{2k}}={\frac {1}{2}}\log(1-
x^{-2}).}
Comportamiento asintótico
Pierre Dusart4 probó los siguientes comportamientos asintóticos para las funciones
de Chebyshov:

{\displaystyle \vartheta (p_{k})\geq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-

2.0553}{\ln k}}\right)}{\displaystyle \vartheta (p_{k})\geq k\left(\ln k+\ln \ln k-
1+{\frac {\ln \ln k-2.0553}{\ln k}}\right)} para k' ≥ exp(22)
{\displaystyle \vartheta (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}
{\ln k}}\right)}{\displaystyle \vartheta (p_{k})\leq k\left(\ln k+\ln \ln k-1+
{\frac {\ln \ln k-2}{\ln k}}\right)} para k ≥ 198
{\displaystyle \psi (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln
k}}\right)+1.43{\sqrt {x}}}{\displaystyle \psi (p_{k})\leq k\left(\ln k+\ln \ln k-
1+{\frac {\ln \ln k-2}{\ln k}}\right)+1.43{\sqrt {x}}} para k ≥ 198
{\displaystyle |\vartheta (x)-x|\leq 0,006788{\frac {x}{\ln x}}}{\displaystyle
|\vartheta (x)-x|\leq 0,006788{\frac {x}{\ln x}}} para x ≥ 10.544.111
{\displaystyle |\psi (x)-x|\leq 0,006409{\frac {x}{\ln x}}}{\displaystyle |\psi
(x)-x|\leq 0,006409{\frac {x}{\ln x}}} para x ≥ exp(22)
{\displaystyle \psi (x)-\vartheta (x)<0,0000132{\frac {x}{\ln x}}}{\displaystyle
\psi (x)-\vartheta (x)<0,0000132{\frac {x}{\ln x}}} para x ≥ exp(30)
Estas anteriores, junto con {\displaystyle \psi (x)\geq \vartheta (x)}
{\displaystyle \psi (x)\geq \vartheta (x)}, dan una buena caracterización de estas
dos funciones.

Aplicación a la formulación variacional

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,}
{\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,}
entonces
{\displaystyle f(t)=\psi (e^{t})e^{-ct},\,}{\displaystyle f(t)=\psi (e^{t})e^{-
ct},\,}
para c > 0.

Referencias
Erhard Schmidt, "Über die Anzahl der Primzahlen unter gegebener Grenze",
Mathematische Annalen, 57 (1903), pp.195-204.
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 ψ, θ, π, {\displaystyle p_{k}}{\displaystyle
p_{k}}", 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 WikimediaWd Datos: Q1046711
Categorías: Funciones aritméticasFunciones especialesFunciones epónimas
Menú de navegación
No has accedidoDiscusiónContribucionesCrear una cuentaAcceder
ArtículoDiscusión
LeerEditarVer historialBuscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir

En otros idiomas
‫العربية‬
Deutsch
English
Français
日本語
한국어
Русский
3 más
Editar enlaces
Esta página se editó por última vez el 20 sep 2019 a las 10:40.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadVersión para
móvilesDesarrolladoresEstadísticasDeclaració