ⓘ Producto de 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 nomb ..

                                     

ⓘ Producto de 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 zeta de Riemann, cuya representación en forma de producto, fue demostrada por Leonhard Euler en 1737.

                                     

1. Definición

En general, una serie de Dirichlet de la forma:

∑ n a n − s {\displaystyle \sum _{n}ann^{-s}\,}

donde a n es una función multiplicativa de n, puede ser escrita de la forma:

∏ P p, s {\displaystyle \prod _{p}Pp,s\,}

donde P p, es la suma:

1 + a p − s + a p 2 p − 2 s + ⋯ {\displaystyle 1+app^{-s}+ap^{2}p^{-2s}+\cdots }.

En efecto, si se consideran estas como funciones generadoras de manera formal, la condición necesaria y suficiente para la existencia del producto de Euler equivalente la serie es que a n sea multiplicativa, o sea, que a n sea igual al producto de a p k para los distintos factores primos p que componen n.

Un caso importante es cuando a n es una función totalmente multiplicativa, donde se cumple que P p, es una serie geométrica. Entonces

P p, s = 1 − a p − s {\displaystyle Pp,s={\frac {1}{1-app^{-s}}}}

como puede ser el caso de la función zeta de Riemann, donde a n = 1, y más generalmente, para los caracteres de Dirichlet.

En la práctica, todos los casos importantes a tener en cuenta son las series y productos infinitos que son absolutamente convergentes en cierta región

Re ⁡ s > C {\displaystyle \operatorname {Re} s> C}

o sea, en la parte derecha del semiplano formado por números complejos. Esto da también alguna información, dado que el producto infinito, al converger, debe dar una valor distinto de cero, y también que la función dada por la serie infinita no es cero en dicho semiplano.

                                     

2. Ejemplos de productos de Euler

  • El producto de Euler correspondiente la función zeta de Riemann véase aquí, usando también la suma de series geométricas es

ζ s = ∑ n = 1 ∞ n − s = ∏ p ∑ n = 0 ∞ p − n s = ∏ p 1 − p − s − 1 {\displaystyle \zeta s=\sum _{n=1}^{\infty }n^{-s}=\prod _{p}{\Big }\sum _{n=0}^{\infty }p^{-ns}{\Big}=\prod _{p}1-p^{-s}^{-1}}.

  • El producto de Euler de la función de Möbius μ n {\displaystyle \mu n} es

1 ζ s = ∏ p 1 − p − s = ∑ n = 1 ∞ μ n − s {\displaystyle {\frac {1}{\zeta s}}=\prod _{p}1-p^{-s}=\sum _{n=1}^{\infty }\mu nn^{-s}}.

  • Productos más específicos derivados de la función zeta son

ζ 2 s ζ s = ∏ p 1 + p − s − 1 = ∑ n = 1 ∞ λ n − s {\displaystyle {\frac {\zeta 2s}{\zeta s}}=\prod _{p}1+p^{-s}^{-1}=\sum _{n=1}^{\infty }\lambda nn^{-s}}

donde λ n = − 1 Ω n {\displaystyle \lambda n=-1^{\Omega n}} es la función de Liouville, y

ζ s ζ 2 s = ∏ p 1 + p − s = ∑ n = 1 ∞ | μ n | n − s {\displaystyle {\frac {\zeta s}{\zeta 2s}}=\prod _{p}1+p^{-s}=\sum _{n=1}^{\infty }|\mu n|n^{-s}}.

  • De manera similar

ζ s 2 ζ 2 s = ∏ p 1 + p − s 1 − p − s = ∏ p 1 + 2 p − s + 2 p − 2 s + ⋯ = ∑ n = 1 ∞ 2 ω n − s {\displaystyle {\frac {\zeta s^{2}}{\zeta 2s}}=\prod _{p}\left{\frac {1+p^{-s}}{1-p^{-s}}}\right=\prod _{p}1+2p^{-s}+2p^{-2s}+\cdots=\sum _{n=1}^{\infty }2^{\omega n}n^{-s}}

donde ω n {\displaystyle \omega n} cuenta el número de divisores primos distintos de n y 2 ω n {\displaystyle 2^{\omega n}} el número de divisores de la forma cuadrado libre.

Si χ n {\displaystyle \chi n} es el carácter de Dirichlet del conductor N {\displaystyle N}, tal que si χ {\displaystyle \chi } es totalmente multiplicativa y χ n {\displaystyle \chi n} solo depende de n modulo N, y χ n = 0 {\displaystyle \chi n=0} si n no es coprimo con N, entonces:

∏ p 1 − χ p − s) − 1 = ∑ n = 1 ∞ χ n − s {\displaystyle \prod _{p}1-\chi pp^{-s})^{-1}=\sum _{n=1}^{\infty }\chi nn^{-s}}.

Aquí es conveniente omitir los número primos p que dividen al conductor N del producto.

Ramanujan, es sus cuadernos, trató de generalizar el producto de Euler para la función zeta en la forma:

∏ p x − p − s ≈ 1 Li s ⁡ x {\displaystyle \prod _{p}x-p^{-s}\approx {\frac {1}{\operatorname {Li} _{s}x}}}

para s > 1 - donde Li s x es la función polilogaritmo - buscando la forma de obtener potencias primas como raíces de cierta función f x, s. Para x =1 el producto de arriba es justamente 1 / ζ s {\displaystyle 1/\zeta s}.