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.

Leonhard Euler.

Definición

editar

En general, una serie de Dirichlet de la forma:

 

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

 

donde P(p,s) es la suma:

 .

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 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 función totalmente multiplicativa, donde se cumple que P(p,s) es una serie geométrica. Entonces

 

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

 

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.

Ejemplos de productos de Euler

editar

 .

 .

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

 

donde   es la función de Liouville, y

 .

  • De manera similar

 

donde   cuenta el número de divisores primos distintos de n y   el número de divisores de la forma cuadrado libre.

Si   es el carácter de Dirichlet del conductor  , tal que si   es totalmente multiplicativa y   solo depende de n modulo N, y   si n no es coprimo con N, entonces:

 .

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:

 

para s > 1 — donde Lis (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  .

Véase también

editar

Referencias

editar
  • 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.
  • G. Polya, Induction and Analogy in Mathematics Volume 1 (1954) Princeton University Press L.C. Card 53-6388
  • Tom M. Apostol, Introduction to Analytic Number Theory, (1976) Springer-Verlag, New York. ISBN 0-387-90163-9
  • G.H. Hardy and E.M. Wright, An introduction to the theory of numbers, 5th ed., Oxford (1979) ISBN 0-19-853171-0

Enlaces externos

editar