Función zeta de Riemann

La función zeta de Riemann (a menudo denominada dseta por transliteración de la letra

griega ζ / 𝜁), nombrada en honor a Bernhard Riemann, es una función que tiene una importancia
significativa en la teoría de números, por su relación con la distribución de los números primos.
También tiene aplicaciones en otras áreas tales como la física, la teoría de probabilidad y
estadística aplicada.

Definición
La función zeta de Riemann ζ(s) está definida, para valores complejos con parte real mayor que
uno, por la serie de Dirichlet:

En la región {s ∈ C | Re(s) > 1}, esta serie infinita converge y define una función que es analítica en
esta región. Riemann observó que la función zeta puede extenderse de manera única por Función zeta de Riemann 𝜁 (s) en el plano
continuación analítica a una función meromorfa en todo el plano complejo con un único polo en s complejo. El color de un punto s codifica el valor
= 1. Esta es la función que se considera en la hipótesis de Riemann. de ζ(s). Colores fuertes denotan valores cercanos
a 0 y el tono codifica el valor del argumento. El
Para los complejos con Re(s)<1, los valores de la función deben ser calculados mediante su punto blanco en s=1 es el polo de la función zeta;
ecuación funcional, obtenida a partir de la continuación analítica de la función. los puntos negros en el eje real negativo y en la
línea crítica Re(s) = 1/2 son sus ceros.
Relación con los números primos
La conexión entre esta función y los números primos fue observada por primera vez por Leonhard Euler, que se dio cuenta de que:

Puesto que para cada primo p, es una serie geométrica, convergente para cualquier número complejo s con Re(s) > 1 a:

se obtiene que:

donde el producto infinito es sobre todos los números primos y s un número complejo con Re(s) > 1. Esta expresión es llamada producto de
Euler, en honor a su descubridor. La fórmula es consecuencia de dos resultados simples pero fundamentales en Matemática: la fórmula para las
series geométricas y el teorema fundamental de la aritmética.

Propiedades básicas

Algunos valores

Euler fue capaz de encontrar una fórmula cerrada para ζ(2k) cuando k es un entero
positivo:

donde B2k son los números de Bernoulli. De esta fórmula se obtiene que: ζ(2) =
π²/6, ξ(4) = π4/90, ξ(6) = π6/945 etc. Para números impares no se conoce una
solución general.

Para valores negativos, si k ≥ 1, entonces

Función zeta de Riemann s > 1 con s real

Se puede ver que para los números pares negativos, la función zeta de Riemann se anula, denominándose éstos como ceros triviales.

corresponde a la serie armónica.

 es la constante de Apéry.

Ecuación funcional

La función zeta de Riemann se puede prolongar analíticamente para todo número complejo excepto s=1, mediante la siguiente ecuación
funcional:

La ecuación tiene un polo simple en s=1 con residuo 1 y fue demostrada por Bernhard Riemann en 1859 en su ensayo Sobre el número de
números primos menores que una cantidad dada. Una relación equivalente fue conjeturada por Euler para la función .

También hay una versión simétrica de la ecuación funcional bajo el cambio .

donde Γ(s) es la función gamma.

En algunas ocasiones se define la función:

con lo que

La ecuación funcional también cumple el siguiente límite asintótico:

Ceros de la función

El valor de la función zeta para los números pares negativos es 0 (viendo la ecuación
funcional es evidente), por lo que son llamados ceros triviales. Aparte de los ceros
triviales, la función también se anula en valores de s que están dentro del rango {s ∈
C: 0 < Re(s) < 1}, y que son llamados ceros no triviales, debido a que es más
difícil demostrar la ubicación de esos ceros dentro del rango crítico. El estudio de
la distribución de estos «ceros no triviales» es muy importante, debido a que tiene
profundas implicaciones en la distribución de los números primos y en cuestiones
relacionadas con la teoría de números. La hipótesis de Riemann, considerado uno de
los mayores problemas matemáticos abiertos en la actualidad, asegura que cualquier
cero no trivial tiene que cumplir Re(s)=1/2, por lo tanto, todos los ceros están
alineados en el plano complejo formando una recta, llamada recta crítica.

La localización de estos ceros tiene significativa importancia en teoría de números,

ya que, por ejemplo, el hecho de que todos los ceros estén en el rango crítico
demuestra el teorema de los números primos. Un mejor resultado es que ζ(σ + it) ≠
0 para cualquier |t| ≥ 3 y

Esta imagen muestra un gráfico polar de la función zeta de

También es conocido que existen infinitos ceros sobre la recta crítica, como mostró
G.H. Hardy y Littlewood.
Ya se conoce un método para Series Convergentes con valores menores a la unidad y
(s = 1) por Andri Lopez.
Riemann a lo largo de la recta crítica para valores de t
comprendidos entre 0 y 34. Los cinco primeros ceros son
claramente visibles, puesto que corresponden al paso de la espiral
por el origen.

Se inicia las serie con estos dos sumandos y tenemos el primer cero absoluto. Para la extensión de las serie se aplica el método de sustitución
progresiva: sustituyendo la última fracción por dos fracciones que tengan por raíz dicha fracción ( es decir sustituir el valor de 1/6).

Recíproco de la función

El reciproco de la función zeta puede ser expresado mediante una serie de Dirichlet sobre la función de Möbius μ(n) , definido para cualquier
número complejo s con la parte real mayor que 1 como:
existen otras expresiones de este tipo que hacen uso de funciones multiplicativas como puede ser

donde φ(n) es la función φ de Euler.

Universalidad

La función zeta tiene la notable propiedad de universalidad. Esta universalidad dice que existe alguna localización dentro del rango crítico que se
aproxima a cualquier función holomorfa bastante bien. Como este tipo de funciones es bastante general, esta propiedad es bastante importante.

Representaciones
La función zeta de Riemann tiene distintas representaciones, siendo algunas las que se muestran a continuación:

Transformada de Mellin
Para valores de s con la parte real mayor que uno se tiene que

La transformada de Mellin de la función 1/(exp(x)-1) es precisamente la expresión anterior. O sea:

También se puede relacionar con los números primos y el teorema de los números primos. Si π(x) es la función contador de números
primos, entonces:

convergente para valores Re(s)>1. Si se define la función ω(s) como

entonces la transformada de Mellin

Una transformada de Mellin similar, que relaciona la función contador de primos de Riemann, definida como es:

Series de Laurent

La función zeta es meromorfa con un polo simple en s=1. Ésta puede expandirse como una serie de Laurent en torno a s=1, la serie resultante es:

donde las constantes γn, son llamadas constantes de Stieltjes y son definidas como:

La constante γ0 corresponde a la constante de Euler-Mascheroni.

Producto de Hadamard

Utilizando el teorema de factorización de Weierstrass, Hadamard dio una expansión en forma de producto infinito de la función zeta:

donde el producto es sobre todos los ceros no triviales ρ de ζ y la letra γ corresponde a la constante de Euler-Mascheroni. Una forma más simple
es:
De esta forma elegante se puede observar el polo simple en s=1 (denominador), los ceros triviales dados por el término de la función gamma
(denominador), y los ceros no triviales, dados cuando s=ρ (numerador).

Serie global

Una representación en forma de serie, convergente para todo número complejo s, excepto 1, fue conjeturada por Konrad Knopp y probada por
Helmut Hasse en 1930:

Aplicaciones
Aunque los matemáticos consideran que la función zeta tiene un interés principal en la «más pura» de las disciplinas matemáticas, la teoría de
números, lo cierto es que también tiene aplicaciones en estadística y en física. En algunos cálculos realizados en física, se debe evaluar la suma de
los números enteros positivos. Paradójicamente, por motivos físicos se espera una respuesta finita. Cuando se produce esta situación, hay
normalmente un enfoque riguroso con un análisis en profundidad, así como un «atajo», usando la función zeta de Riemann. El argumento es el
siguiente:

Queremos evaluar la suma 1 + 2 + 3 + 4 + ... , pero podemos reescribirlo como una suma de sus inversos.

La suma S parece tomar la forma de . Sin embargo, −1 sale fuera del dominio de convergencia de la serie de Dirichlet para la función zeta.
Sin embargo, una serie divergente con términos positivos como ésta a veces puede ser representada de forma razonable por el método de
sumación de Ramanujan. Este método de suma implica la aplicación de la fórmula de Euler-Maclaurin, y cuando se aplica a la función zeta, su
definición se extiende a todo el plano complejo. En particular,

donde la notación indica suma de Ramanujan. Para exponentes pares se tiene que:

y para exponentes impares, se obtiene la relación con los números de Bernoulli:

La regularización de la función zeta se utiliza como un posible medio de la regularización de series divergentes en teoría cuántica de campos.
Como ejemplo notable, la función zeta de Riemann aparece explícitamente en el cálculo del efecto Casimir.

Generalizaciones
Hay una serie de funciones zeta que pueden ser relacionadas con la función zeta de Riemann. Entre ellas se incluye:

La función zeta de Hurwitz, definida como:

que coincide con la función zeta de Riemann cuando q=1 (Nótese que el límite inferior de la suma es 0 y no 1).

El polilogaritmo, que viene dado por

y que corresponde con la función zeta de Riemann cuando z=1.

La función zeta de Lerch, dada por:

y que corresponde con la función zeta de Riemann cuando q=1 y z=1.

Entre las generalizaciones podemos encontrar las funciones L de Dirichlet o la Función zeta de Dedekind, como también funciones zeta múltiples,
definidas como:
Uno puede prolongar analíticamente estas funciones a un espacio complejo n-dimensional. Los valores especiales de estas funciones han sido
utilizados para conectar diferentes ramas de las matemáticas y la física.

Véase también
Constante zeta
Constantes de Stieltjes
Hipótesis de Riemann
Hipótesis generalizada de Riemann
Función theta de Riemann-Siegel

Referencias
Apostol, T. M. (2010), «Zeta and Related Functions» (http://dlmf.nist.gov/25), en Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et
al., eds., NIST Handbook of Mathematical Functions (en inglés británico), Cambridge University Press, ISBN 978-0521192255 .
Riemann, Bernhard (1859). «Über die Anzahl der Primzahlen unter einer gegebenen Grösse» (http://www.maths.tcd.ie/pub/HistMath/People/
Riemann/Zeta/). Monatsberichte der Berliner Akademie (en alemán). En Gesammelte Werke, Teubner, Leipzig (1892), reimpreso por la
editorial Dover, Nueva York (1953).
Jacques Hadamard, Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques (en francés), Bulletin de la Societé
Mathématique de France 14 (1896) pp. 199-220.
Helmut Hasse, Ein Summierungsverfahren für die Riemannsche ζ-Reihe, (1930) Math. Z. 32 pp. 458-464. (Globally convergent series
expression.)
E. T. Whittaker y G. N. Watson (1927). A Course in Modern Analysis, 4.ª edición, Cambridge University Press (Capítulo XIII).
H. M. Edwards (1974). Riemann's Zeta Function (en inglés). Academic Press. ISBN 0-486-41740-9.
G. H. Hardy (1949). Divergent Series (https://archive.org/details/dli.ernet.285939) (en inglés). Clarendon Press, Oxford.
A. Ivic (1985). The Riemann Zeta Function. John Wiley & Sons. ISBN 0-471-80634-X.
A. A. Karatsuba; S. M. Voronin (1992). The Riemann Zeta-Function (en inglés). W. de Gruyter, Berlin.
Hugh L. Montgomery; Robert C. Vaughan (2007). Multiplicative number theory I. Classical theory. Cambridge tracts in advanced mathematics
(en inglés británico) 97. Cambridge University Press. ISBN 0-521-84903-9. Capítulo 10.
Donald J. Newman (1998). Analytic number theory. Graduate Texts in Mathematics (en inglés) 177. Springer-Verlag. ISBN 0-387-98308-2.
Capítulo 6.
E. C. Titchmarsh (1986). The Theory of the Riemann Zeta Function, Second revised (Heath-Brown) edition (en inglés). Oxford University
Press.
Jonathan Borwein, David M. Bradley, Richard Crandall (2000). «Computational Strategies for the Riemann Zeta Function» (http://www.maths.
ex.ac.uk/~mwatkins/zeta/borwein1.pdf) (PDF). J. Comp. App. Math. (en inglés) 121: 11. (enlaces al fichero PDF)
Djurdje Cvijović y Jacek Klinowski (2002). «Integral Representations of the Riemann Zeta Function for Odd-Integer Arguments» (https://web.a
rchive.org/web/20090131213548/http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6TYH-451NM96-2&_user=10&_coverDate=
05%2F15%2F2002&_alid=509596586&_rdoc=17&_fmt=summary&_orig=search&_cdi=5619&_sort=d&_docanchor=&view=c&_acct=C00005
0221&_version=1&_urlVersion=0&_userid=10&md5=76a759d8292edc715d10b1cb459992f1). J. Comp. App. Math. (en inglés) 142: 435-439.
doi:10.1016/S0377-0427(02)00358-8 (https://dx.doi.org/10.1016%2FS0377-0427%2802%2900358-8). Archivado desde el original (http://www.sciencedirect.c
om/science?_ob=ArticleURL&_udi=B6TYH-451NM96-2&_user=10&_coverDate=05%2F15%2F2002&_alid=509596586&_rdoc=17&_fmt=su
mmary&_orig=search&_cdi=5619&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=76a75
9d8292edc715d10b1cb459992f1) el 31 de enero de 2009. Consultado el 17 de diciembre de 2010.
Djurdje Cvijović y Jacek Klinowski (1997). «Continued-fraction expansions for the Riemann zeta function and polylogarithms» (http://www.am
s.org/proc/1997-125-09/S0002-9939-97-04102-6/home.html). Proc. Amer. Math. Soc. (en inglés) 125: 2543-2550. doi:10.1090/S0002-9939-97-
04102-6 (https://dx.doi.org/10.1090%2FS0002-9939-97-04102-6).
Jonathan Sondow, «Analytic continuation of Riemann's zeta function and values at negative integers via Euler's transformation of series (htt
p://www.ams.org/journals/proc/1994-120-02/S0002-9939-1994-1172954-7/home.html)», Proc. Amer. Math. Soc. 120 (1994) pp. 421-424
Jianqiang Zhao (1999). «Analytic continuation of multiple zeta functions» (http://www.ams.org/journal-getitem?pii=S0002-9939-99-05398-8).
Proc. Amer. Math. Soc. (en inglés) 128: 1275-1283.

Guo Raoh: «The Distribution of the Logarithmic Derivative of the Riemann Zeta Function», Proceedings of the London Mathematical Society
1996; s3-72: 1-27
Istvan Mezo y Ayhan Dil, Hyperharmonic series involving Hurwitz zeta function (http://www.sciencedirect.com/science?_ob=MImg&_imageke
y=B6WKD-4XFXX96-3-5&_cdi=6904&_user=1390915&_orig=browse&_coverDate=02%2F28%2F2010&_sk=998699997&view=c&wchp=dG
LzVzz-zSkWA&md5=95961c8b362bda898d6ef6896e9cd396&ie=/sdarticle.pdf) (enlace roto disponible en Internet Archive; véase el historial (https://we
b.archive.org/web/*/http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WKD-4XFXX96-3-5&_cdi=6904&_user=1390915&_orig=browse&_coverDate=0
2%2F28%2F2010&_sk=998699997&view=c&wchp=dGLzVzz-zSkWA&md5=95961c8b362bda898d6ef6896e9cd396&ie=%2Fsdarticle.pdf), la primera versión (https://
web.archive.org/web/1/http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WKD-4XFXX96-3-5&_cdi=6904&_user=1390915&_orig=browse&_coverDate
=02%2F28%2F2010&_sk=998699997&view=c&wchp=dGLzVzz-zSkWA&md5=95961c8b362bda898d6ef6896e9cd396&ie=%2Fsdarticle.pdf) y la última (https://web.a
rchive.org/web/2/http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WKD-4XFXX96-3-5&_cdi=6904&_user=1390915&_orig=browse&_coverDate=02%
2F28%2F2010&_sk=998699997&view=c&wchp=dGLzVzz-zSkWA&md5=95961c8b362bda898d6ef6896e9cd396&ie=%2Fsdarticle.pdf))., Journal of Number
Theory, (2010) 130 , 2, 360-369.
Andri Lopez; convergent series for the zeta function; https://stm.bookpi.org/CTMS-V2/article/view/1779

Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobre Función zeta de Riemann.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Función_zeta_de_Riemann&oldid=155281952»