Una factorización de una serie de Dirichlet (típicamente con coeficientes multiplicativos) como un producto (a menudo infinito) indexado por números primos; el ejemplo canónico es la función zeta de Riemann ζ(s)=∏_{p}(1−p^{-s})^{-1} en su región de convergencia.

Principio

Si los coeficientes a_n de una serie de Dirichlet Σ a_n n^{-s} son multiplicativos (a_{mn}=a_m a_n para m,n coprimos), la suma se descompone en contribuciones por potencias de primos y se reescribe como un producto sobre primos; analíticamente esto codifica la multiplicatividad aritmética como un producto infinito.

Demostración

Para una función completamente multiplicativa χ (por ejemplo un carácter de Dirichlet), la L-serie L(s,χ)=Σ χ(n) n^{-s} se expande para Re(s) grande como ∏_{p}(1−χ(p)p^{-s})^{-1}; similarmente, con a_n≡1 se obtiene ζ(s)=∏_{p}(1−p^{-s})^{-1}.

Aplicación incorrecta

Afirmar un producto de Euler para una serie de Dirichlet cuyos coeficientes no son multiplicativos (por ejemplo una convolución con interacciones no triviales) o multiplicar factores fuera de la región de convergencia absoluta, lo que produce expresiones divergentes o sin sentido.

Consecuencia

Cuando es válido, un producto de Euler vincula el comportamiento analítico (poles, ceros, continuación analítica) de la serie con la distribución de primos y potencias primarias; proporciona una ruta directa desde propiedades complejas hasta conclusiones aritméticas como afirmaciones de densidad y fórmulas explícitas.

Inversión

Tomar logaritmos convierte el producto de Euler en una serie o suma sobre los primos (log ∏ = Σ log), así que la 'reversión' es el paso de producto a suma sobre primos; si falta multiplicatividad, el producto se colapsa y la suma ya no separa las contribuciones primarias.

Límite

Se aplica solo a series de Dirichlet cuyos coeficientes cumplen la multiplicatividad adecuada y en el semiplano de convergencia absoluta (o tras una continuación analítica justificada); excluye series formales arbitrarias, coeficientes no multiplicativos y reordenamientos injustificados de productos infinitos.

Tensión semántica

Se confunde a veces con la factorización prima única de enteros: esa afirmación algebraica trata de la descomposición de números, mientras que el producto de Euler es una identidad analítica que codifica la multiplicatividad de coeficientes; están relacionadas pero son conceptos distintos.

Síntesis

Un producto de Euler es la manifestación analítica de la multiplicatividad: una serie de Dirichlet con coeficientes multiplicativos se factoriza en un producto indexado por primos, traduciendo la estructura de factores primos de funciones aritméticas a la estructura de producto en análisis complejo y permitiendo la transferencia entre la distribución de primos y propiedades analíticas.