Producto de Euler

Leonhard Euler.

En matemtica, un producto de Euler es la expansin de un producto infinito, indexado

por nmeros primos p de una serie de Dirichlet. El nombre surge del caso especial de
la funcin zeta de Riemann, cuya representacin en forma de producto, fue demostrada
por Leonhard Euler en 1737.
ndice
[ocultar]

1Definicin
2Ejemplos de productos de Euler

3Vase tambin

4Referencias

5Enlaces externos

Definicin[editar]
En general, una serie de Dirichlet de la forma:

donde a(n) es una funcin multiplicativa de n, puede ser escrita de la forma:

donde P(p,s) es la suma:

.
En efecto, si se consideran stas como funciones generadoras de manera formal, la condicin
necesaria y suficiente para la existencia del producto de Euler equivalente a la serie es
que a(n) sea multiplicativa, o sea, que a(n) sea igual al producto de a(pk) para los distintos
factores primos p que componen n.
Un caso importante es cuando a(n) es una funcin totalmente multiplicativa, donde se cumple
que P(p,s) es una serie geomtrica. Entonces

como puede ser el caso de la funcin zeta de Riemann, donde a(n) = 1, y ms generalmente,
para los caracteres de Dirichlet.
En la prctica, todos los casos importantes a tener en cuenta son las series y
productos infinitos que son absolutamente convergentes en cierta regin

o sea, en la parte derecha del semiplano formado por nmeros complejos. Esto da tambin
alguna informacin, dado que el producto infinito, al converger, debe dar una valor distinto de
cero, y tambin que la funcin dada por la serie infinita no es cero en dicho semiplano.

Ejemplos de productos de Euler[editar]

El producto de Euler correpondiente a la funcin zeta de Riemann (vase aqu),

usando tambin la suma de series geomtricas es:

El producto de Euler de la funcin de Mbius

es:

Productos ms especficos derivados de la funcin zeta son:

donde

es la funcin de Liouville, y

De manera similar

donde
cuenta el nmero de divisores primos distintos de n y
divisores de la forma cuadrado libre.
Si

es el carcter de Dirichlet del conductor

, tal que si

multiplicativa y
slo depende de n modulo N, y
es coprimo con N, entonces:

el nmero de

es totalmente
si n no

.
Aqu es conveniente omitir los nmero primos p que dividen al conductor N del producto.

Ramanujan, es sus cuadernos, trat de generalizar el producto de Euler para la funcin

zeta en la forma:

para s > 1 donde Lis (x) es la funcin polilogaritmo buscando la forma de obtener
potencias primas como races de cierta funcin f(x,s). Para x=1 el producto de arriba es
justamente