Producto de Euler para la función zeta de Riemann

Ir a la navegación
Ir a la búsqueda
Este artículo trata sobre el producto de Euler para la función zeta de Riemann.
Para productos de Euler de manera global, véase producto de Euler.

En 1737 Leonhard Euler demostró un resultado que abrió las puertas de la moderna
teoría de números (teoría analítica de números) enunciando el siguiente teorema:

Si s > 1, entonces ∑ n = 1 ∞ 1 n s = ∏ p 1 1 − p − s {\displaystyle \quad \sum

_{n=1}^{\infty }\,{\frac {1}{n^{s}}}=\prod _{p}{\frac {1}{1-p^{-s}}}} {\
displaystyle \quad \sum _{n=1}^{\infty }\,{\frac {1}{n^{s}}}=\prod _{p}{\frac {1}
{1-p^{-s}}}}

Leonhard Euler (1737)

Si se toma como variable s, esta serie o producto toma el nombre de función zeta de
Riemann y se denota como ζ(s). Nótese que el producto se extiende sobre todos los
números primos. A continuación se dan un par de demostraciones sobre este
resultado, incluida la demostración original de Euler.
Índice

1 Demostración original de Euler

2 Otra demostración
3 Referencias
4 Enlaces externos

Demostración original de Euler

La demostración, escrita en 1737 y publicada en 1744, muestra una forma original de

obtener el producto, utilizando una cierta forma de cribado. Para su obtención
solamente se utilizan métodos elementales, con lo cual cualquier persona con
nociones básicas sobre álgebra puede entenderla.

Se escribe

ζ ( s ) = 1 + 1 2 s + 1 3 s + 1 4 s + 1 5 s + ⋯ {\displaystyle \zeta (s)=1+{\

frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{5^{s}}}+\cdots }
{\displaystyle \zeta (s)=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}
+{\frac {1}{5^{s}}}+\cdots }

Se multiplica ambos miembros por 1 2 s {\displaystyle {\frac {1}{2^{s}}}} {\

displaystyle {\frac {1}{2^{s}}}}, y queda:

1 2 s ζ ( s ) = 1 2 s + 1 4 s + 1 6 s + 1 8 s + 1 10 s + ⋯ {\displaystyle {\
frac {1}{2^{s}}}\zeta (s)={\frac {1}{2^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{6^{s}}}+
{\frac {1}{8^{s}}}+{\frac {1}{10^{s}}}+\cdots } {\displaystyle {\frac {1}{2^{s}}}\
zeta (s)={\frac {1}{2^{s}}}+{\frac {1}{4^{s}}}+{\frac {1}{6^{s}}}+{\frac {1}
{8^{s}}}+{\frac {1}{10^{s}}}+\cdots }

Restando la segunda serie a la primera, eliminaremos todos los términos que son
múltiplos de 2.

( 1 − 1 2 s ) ζ ( s ) = 1 + 1 3 s + 1 5 s + 1 7 s + 1 9 s + ⋯ {\displaystyle \
left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{3^{s}}}+{\frac {1}{5^{s}}}+
{\frac {1}{7^{s}}}+{\frac {1}{9^{s}}}+\cdots } {\displaystyle \left(1-{\frac {1}
{2^{s}}}\right)\zeta (s)=1+{\frac {1}{3^{s}}}+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}
+{\frac {1}{9^{s}}}+\cdots }

Si repetimos sobre el siguiente término, 1 3 s {\displaystyle {\frac {1}

{3^{s}}}} {\displaystyle {\frac {1}{3^{s}}}}, obtenemos:

1 3 s ( 1 − 1 2 s ) ζ ( s ) = 1 3 s + 1 9 s + 1 15 s + 1 21 s + 1 27 s + ⋯ {\
displaystyle {\frac {1}{3^{s}}}\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)={\frac
{1}{3^{s}}}+{\frac {1}{9^{s}}}+{\frac {1}{15^{s}}}+{\frac {1}{21^{s}}}+{\frac {1}
{27^{s}}}+\cdots } {\displaystyle {\frac {1}{3^{s}}}\left(1-{\frac {1}{2^{s}}}\
right)\zeta (s)={\frac {1}{3^{s}}}+{\frac {1}{9^{s}}}+{\frac {1}{15^{s}}}+{\frac
{1}{21^{s}}}+{\frac {1}{27^{s}}}+\cdots }

Restando de nuevo, obtenemos:

( 1 − 1 3 s ) ( 1 − 1 2 s ) ζ ( s ) = 1 + 1 5 s + 1 7 s + 1 11 s + 1 13 s + ⋯
{\displaystyle \left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\
zeta (s)=1+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}{11^{s}}}+{\frac {1}
{13^{s}}}+\cdots } {\displaystyle \left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac
{1}{2^{s}}}\right)\zeta (s)=1+{\frac {1}{5^{s}}}+{\frac {1}{7^{s}}}+{\frac {1}
{11^{s}}}+{\frac {1}{13^{s}}}+\cdots }

Podemos ver que la parte de la derecha se está cribando, repitiendo este

proceso indefidamente:

⋯ ( 1 − 1 11 s ) ( 1 − 1 7 s ) ( 1 − 1 5 s ) ( 1 − 1 3 s ) ( 1 − 1 2 s ) ζ
( s ) = 1 {\displaystyle \cdots \left(1-{\frac {1}{11^{s}}}\right)\left(1-{\frac
{1}{7^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\
right)\left(1-{\frac {1}{2^{s}}}\right)\zeta (s)=1} {\displaystyle \cdots \left(1-
{\frac {1}{11^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}
{5^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\
zeta (s)=1}

Dividiendo ambas partes por todo el producto obtenido que multiplica a ζ(s)
obtenemos:

ζ ( s ) = 1 ( 1 − 1 2 s ) ( 1 − 1 3 s ) ( 1 − 1 5 s ) ( 1 − 1 7 s ) ( 1 − 1 11
s ) ⋯ {\displaystyle \zeta (s)={\frac {1}{\left(1-{\frac {1}{2^{s}}}\right)\left(1-
{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}
{7^{s}}}\right)\left(1-{\frac {1}{11^{s}}}\right)\cdots }}} {\displaystyle \zeta
(s)={\frac {1}{\left(1-{\frac {1}{2^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\
left(1-{\frac {1}{5^{s}}}\right)\left(1-{\frac {1}{7^{s}}}\right)\left(1-{\frac {1}
{11^{s}}}\right)\cdots }}}

Esto puede escribirse de forma simplificada como producto sobre todos los números
primos p:

ζ ( s ) = ∏ p 1 1 − p − s {\displaystyle \zeta (s)=\prod _{p}{\frac {1}{1-p^{-

s}}}} {\displaystyle \zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}}

Para hacer rigurosa esta prueba, sólo es necesario observar que si s es un número
complejo tal que Re(s) > 1, el miembro de la derecha ( el que se está cribando ),
tiende a 1,lo cual se muestra inmediatamente de la convergencia de la serie de
Dirichlet para ζ(s).

◻ {\displaystyle \square } {\displaystyle \square }

Otra demostración
Esta demostración, más estricta, es la que se muestra a continuación:

Cada factor del producto ( dado por un número primo p ), puede ser escrito en
forma de serie geométrica así:

∑ k = 0 ∞ z k = 1 1 − z | z | < 1 , z ∈ C {\displaystyle \sum _{k=0}^{\

infty }z^{k}={\frac {1}{1-z}}\quad |z|<1,\,z\in \mathbb {C} } {\displaystyle \sum
_{k=0}^{\infty }z^{k}={\frac {1}{1-z}}\quad |z|<1,\,z\in \mathbb {C} }

Si s > 1, entonces | p − s | < 1 {\displaystyle \left|p^{-s}\right|<1} {\

displaystyle \left|p^{-s}\right|<1} y la serie converge absolutamente, luego:

∑ k = 0 ∞ p − k s = 1 + 1 p s + 1 p 2 s + 1 p 3 s + ⋯ + 1 p k s + ⋯ = 1 1 − p −
s {\displaystyle \sum _{k=0}^{\infty }p^{-ks}=1+{\frac {1}{p^{s}}}+{\frac {1}
{p^{2s}}}+{\frac {1}{p^{3s}}}+\cdots +{\frac {1}{p^{ks}}}+\cdots ={\frac {1}{1-p^{-
s}}}} {\displaystyle \sum _{k=0}^{\infty }p^{-ks}=1+{\frac {1}{p^{s}}}+{\frac {1}
{p^{2s}}}+{\frac {1}{p^{3s}}}+\cdots +{\frac {1}{p^{ks}}}+\cdots ={\frac {1}{1-p^{-
s}}}}

Así pues, se puede coger un número finito de factores, multiplicarlos todos

ellos y reagruparlos. Cogiendo todos los números primos p hasta un número primo
límite q, obtenemos que:

| ζ ( s ) − ∏ p ≤ q ( 1 1 − p − s ) | < ∑ n = q + 1 ∞ 1 n σ {\displaystyle \
left|\zeta (s)-\prod _{p\leq q}\left({\frac {1}{1-p^{-s}}}\right)\right|<\sum
_{n=q+1}^{\infty }{\frac {1}{n^{\sigma }}}} {\displaystyle \left|\zeta (s)-\prod
_{p\leq q}\left({\frac {1}{1-p^{-s}}}\right)\right|<\sum _{n=q+1}^{\infty }{\frac
{1}{n^{\sigma }}}}

Donde σ es la parte real de s. Por el teorema fundamental de la aritmética,

cuando se extiende este producto parcial, se obtiene la suma correspondiente a los
términos 1 n s {\displaystyle {\frac {1}{n^{s}}}} {\displaystyle {\frac {1}
{n^{s}}}}, donde n son números naturales que se pueden representar como producto de
números primos menores o iguales que q. La desigualdad resulta del hecho de que
sólo enteros mayores que q no pueden aparecer en la expansión parcial del producto.
Puesto que la diferencia entre el producto parcial y ζ(s) tiende a 0 cuando σ > 1,
obtenemos la convergencia en dicha región.

◻ {\displaystyle \square } {\displaystyle \square }

Referencias

Euler, Leonhard, Variae observationes circa series infinitas, Commentarii

academiae scientiarum Petropolitanae 9 (1737), 1744, p. 160-188. Reprinted in Opera
Omnia Series I volume 14, p. 216-244.

Enlaces externos

http://www.EulerArchive.org (en inglés)

Euler, Leonhard, Variae observationes circa series infinitas, Commentarii
academiae scientiarum Petropolitanae 9 (1737), 1744, p. 160-188 (Traducido al
inglés) [1] (enlace roto disponible en Internet Archive; véase el historial, la
primera versión y la última).
Ed Sandifer: "How Euler Did It.Infinitely many primes" (en inglés) [2]

Control de autoridades

Proyectos Wikimedia Wd Datos: Q4117082

Categorías:

Funciones Zeta y LEpónimos relacionados con las matemáticasCiencia y tecnología

de SuizaCiencia de 1737

Menú de navegación

No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder

Artículo
Discusión

Leer
Editar
Ver historial

Buscar

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

‫العربية‬
English
中文

Editar enlaces

Esta página se editó por última vez el 8 jul 2019 a las 16:50.
 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 privacidad
Acerca de Wikipedia
Limitación de responsabilidad
Versión para móviles
Desarrolladores
Estadísticas
Declaración de cookies

Wikimedia Foundation
Powered by MediaWiki