Series de Dirichlet y la función zeta de Riemann

Las series de Dirichlet transforman secuencias aritméticas en funciones analíticas, y la más importante de ellas, la función zeta de Riemann, codifica los números primos a través de su producto de Euler y la distribución fina de los primos a través de sus ceros complejos.

Definition

Una serie de Dirichlet es una serie de la forma de la suma sobre n de a_n dividido por n elevado a la potencia s, donde s es complejo. La función zeta de Riemann es la serie de Dirichlet con todos los coeficientes iguales a uno, continuada analíticamente a una función meromorfa en el plano complejo.

Scope

Este tema abarca las series de Dirichlet y su abscisa de convergencia, los productos de Euler para coeficientes multiplicativos, la definición de la función zeta de Riemann para la parte real mayor que uno, su continuación analítica a todo el plano, la ecuación funcional, los ceros triviales y no triviales, la banda crítica y la línea crítica, y el vínculo entre los ceros y el conteo de primos a través de la fórmula explícita.

Core questions

• ¿Dónde converge una serie de Dirichlet y cómo un producto de Euler refleja la multiplicatividad de sus coeficientes?
• ¿Cómo se continúa la función zeta más allá de su región de convergencia y cuál es su ecuación funcional?
• ¿Dónde están los ceros de zeta y qué distingue los ceros triviales de los no triviales en la banda crítica?
• ¿Cómo convierte la fórmula explícita la información sobre los ceros en información sobre la distribución de los números primos?

Key theories

Producto de Euler

Para la parte real mayor que uno, la función zeta es igual a un producto sobre todos los números primos de los factores geométricos uno sobre uno menos p elevado a la menos s, una codificación analítica de la factorización única.

Continuación analítica y ecuación funcional

Zeta se extiende a una función meromorfa con un único polo simple en s igual a uno, y satisface una ecuación funcional que relaciona sus valores en s y uno menos s a través de la función gamma, exponiendo una simetría alrededor de la línea crítica.

Ceros y la fórmula explícita

Los ceros triviales se encuentran en enteros pares negativos; los ceros no triviales se encuentran en la banda crítica, y la fórmula explícita expresa la función de conteo de primos como una suma sobre estos ceros, haciendo de su ubicación la clave para la distribución de los primos.

Clinical relevance

La hipótesis de Riemann sobre la ubicación de los ceros no triviales determina los límites de error más precisos para el conteo de primos; estos límites alimentan las estimaciones utilizadas en el análisis de seguridad criptográfica y en el análisis riguroso de algoritmos de teoría de números.

History

Euler estudió la serie para la función zeta en argumentos enteros y encontró su producto de Euler en el siglo XVIII. El artículo de Riemann de 1859 trató a s como una variable compleja, estableció la continuación analítica y la ecuación funcional, y planteó la hipótesis sobre los ceros que lleva su nombre y que sigue sin probarse.

Key figures

• Bernhard Riemann
• Leonhard Euler
• Peter Gustav Lejeune Dirichlet

Seminal works

• apostol1976

Frequently asked questions

¿Qué es la línea crítica?

Es la línea vertical en el plano complejo donde la parte real de s es igual a un medio; la hipótesis de Riemann afirma que cada cero no trivial de la función zeta se encuentra en ella.

¿Por qué es importante el producto de Euler?

Expresa la función zeta como un producto sobre los números primos, lo cual es la afirmación analítica precisa de que cada entero se factoriza de forma única en números primos y es el puente entre zeta y los primos.