Una serie de Dirichlet es una serie compleja de la forma Σ_{n≥1} a_n n^{-s}, donde s es una variable compleja y (a_n) es una sucesión de coeficientes complejos; actúa como función generadora de sucesiones aritméticas y es central en la teoría analítica de números.

Principio

Traducir la información aritmética o multiplicativa codificada en la sucesión de coeficientes (a_n) en propiedades analíticas de una función de s; la multiplicatividad de los coeficientes se relaciona con factorizaciones en productos de Euler y la continuación analítica revela consecuencias aritméticas profundas.

Demostración

La función zeta de Riemann ζ(s)=Σ_{n≥1} n^{-s} es una serie de Dirichlet con abscisa de convergencia Re(s)>1 y producto de Euler ζ(s)=Π_p (1-p^{-s})^{-1} que refleja la estructura multiplicativa de los enteros.

Aplicación incorrecta

Asumir convergencia o convergencia absoluta fuera de la abscisa de convergencia, o intercambiar indebidamente la continuación analítica con manipulaciones término a término; tratar una serie de Dirichlet como si fuera una serie de potencias en e^{-s} sin comprobar la región de validez.

Consecuencia

Las propiedades analíticas de las series de Dirichlet — regiones de convergencia, polos, ceros y ecuaciones funcionales — se traducen en información sobre sumas y distribución de los coeficientes a_n, conduciendo a resultados sobre primos, sumas de divisores y valores medios.

Inversión

La inversión es una serie de potencias ordinaria Σ a_n z^n cuyo dominio analítico es un disco y que no codifica directamente productos de Euler multiplicativos; transformadas de Mellin relacionan a veces datos de series de potencias con series de Dirichlet en contextos adecuados.

Límite

Una serie de Dirichlet tiene una abscisa de convergencia (o de convergencia absoluta) y puede admitir continuación analítica más allá de ella; no todas las sucesiones producen productos de Euler, y la teoría requiere control del crecimiento de a_n para deducir continuación analítica y ecuaciones funcionales.

Tensión semántica

A menudo se confunde con funciones generadoras ordinarias o con funciones L; la característica distintiva es el peso n^{-s} y la relación entre multiplicatividad y productos de Euler, por lo que se necesita precisión sobre las propiedades de los coeficientes.

Síntesis

Una serie de Dirichlet es la transformada en variable compleja Σ a_n n^{-s} de una sucesión aritmética cuya convergencia, factorización, continuación y singularidades reflejan y ponen de manifiesto la estructura aritmética multiplicativa y sustentan muchos resultados de la teoría analítica de números.