Producto de Euler para la función zeta de Riemann


Producto de Euler para la función zeta de Riemann

Producto de Euler para la función zeta de Riemann

En 1737 Leonhard Euler probó 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  \quad \sum_{n=1}^\infty \, \frac{1}{n^s}  = \prod_{p} \frac{1}{1-p^{-s}}


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 pruebas sobre este resultado, incluida la prueba original de Euler.

Contenido

Prueba original de Euler

La prueba, 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
 \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  \frac{1}{2^s} , y queda:
 \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.
\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,  \frac{1}{3^s} , obtenemos:


\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:
\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:


 \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:
 \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:

\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).

 \square

Otra prueba

Esta prueba, 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í:
 \sum_{k=0}^\infty z^k = \frac{1}{1-z} \quad |z| < 1, \, z \in \mathbb{C}
  • Si s > 1, entonces  \left | p^{-s}\right | < 1  y la serie converge absolutamente, luego:
 \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:


 \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 \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.

 \square

Referencias

  • Euler, Leonhard, Variae observations 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 observations circa series infinitas, Commentarii academiae scientiarum Petropolitanae 9 (1737), 1744, p. 160-188 (Traducido al inglés) [1]
  • Ed Sandifer: "How Euler Did It.Infinitely many primes" (en inglés) [2]
Obtenido de "Producto de Euler para la funci%C3%B3n zeta de Riemann"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Función zeta de Riemann — ζ(s) en el plano complejo. El color de un punto s codifica el valor de ζ(s): Colores fuertes denotan valores cercanos a 0 y el tono codifica el valor del argumento. El punto blanco en s=1 es el polo de la función zeta; los puntos negros en el eje …   Wikipedia Español

  • Producto de Euler — Saltar a navegación, búsqueda Leonhard Euler. En matemática, un producto de Euler es la expansión de un producto infinito, indexado por números primos p de una serie de Dirichlet. El nombre surge del caso especial de la función …   Wikipedia Español

  • Función zeta de Ihara — La función zeta de Ihara tiene similaridades con la función zeta de Selberg, y es utilizada para relacionar el espectro de la matriz de adyacencia de un gráfico G a su característica de Euler. Definición La función zeta de Ihara fue inicialmente… …   Wikipedia Español

  • Función zeta prima — En matemática, la función zeta prima es un análogo de la función zeta de Riemann, estudiada por Glaisher (1891). Está definida por la siguiente serie infinita, la cual converge para todo : . El producto de Euler para la función zeta de… …   Wikipedia Español

  • Función zeta de Dedekind — En matemática, la función zeta de Dedekind es una serie de Dirichlet definida para todo cuerpo K de números algebraicos, expresada como ζK(s) donde s es una variable compleja. Es la suma infinita: realizada sobre todos los I ideales del anillo de …   Wikipedia Español

  • Función divisor — σ0(n) representada hasta n=250. Función divis …   Wikipedia Español

  • Función suma de divisores — En teoría de números, la función suma de divisores es una función que es una suma sobre la función divisor. Se utiliza con frecuencia en el estudio del comportamiento asintótico de la función zeta de Riemann. Varios de los estudios sobre el… …   Wikipedia Español

  • Función multiplicativa — En teoría de números, una función discreta (es decir, definida para n entero) se dice multiplicativa si f(1) = 1 f(m·n) = f(m)·f(n) cuando m y n son enteros coprimos (no tienen factores comunes). Una función multiplicativa queda determinada si se …   Wikipedia Español

  • Leonhard Euler — Retrato de Leonhard Euler, pintado por Johann Georg Bruck …   Wikipedia Español

  • Constante de Euler-Mascheroni — La constante de Euler Mascheroni, (también conocida como constante de Euler ) es una constante matemática que aparece principalmente en teoría de números, y se denota con la letra griega minúscula γ (Gamma). Se define como el límite de la… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.