Séries de Dirichlet e a Função Zeta de Riemann

As séries de Dirichlet transformam sequências aritméticas em funções analíticas, e a mais importante delas, a função zeta de Riemann, codifica os números primos através de seu produto de Euler e a distribuição fina dos primos através de seus zeros complexos.

Definition

Uma série de Dirichlet é uma série da forma da soma sobre n de a_n dividido por n elevado à potência s, onde s é complexo. A função zeta de Riemann é a série de Dirichlet com todos os coeficientes iguais a um, analiticamente continuada para uma função meromórfica no plano complexo.

Scope

Este tópico abrange as séries de Dirichlet e sua abcissa de convergência, produtos de Euler para coeficientes multiplicativos, a definição da função zeta de Riemann para a parte real maior que um, sua continuação analítica para todo o plano, a equação funcional, os zeros triviais e não triviais, a faixa crítica e a linha crítica, e a ligação entre os zeros e a contagem de primos via fórmula explícita.

Core questions

• Onde uma série de Dirichlet converge e como um produto de Euler reflete a multiplicidade de seus coeficientes?
• Como a função zeta é continuada além de sua região de convergência, e qual é sua equação funcional?
• Onde estão os zeros da função zeta, e o que distingue os zeros triviais dos não triviais na faixa crítica?
• Como a fórmula explícita converte informações sobre zeros em informações sobre a distribuição de primos?

Key theories

Produto de Euler

Para a parte real maior que um, a função zeta é igual a um produto sobre todos os primos dos fatores geométricos um sobre um menos p elevado a menos s, uma codificação analítica da fatoração única.

Continuação analítica e equação funcional

A função zeta se estende a uma função meromórfica com um único polo simples em s igual a um, e satisfaz uma equação funcional que relaciona seus valores em s e um menos s através da função gama, expondo uma simetria em torno da linha crítica.

Zeros e a fórmula explícita

Os zeros triviais estão em inteiros pares negativos; os zeros não triviais estão na faixa crítica, e a fórmula explícita expressa a função de contagem de primos como uma soma sobre esses zeros, tornando sua localização a chave para a distribuição de primos.

Clinical relevance

A Hipótese de Riemann sobre a localização dos zeros não triviais determina os limites de erro mais precisos para a contagem de primos; esses limites alimentam estimativas usadas na análise de segurança criptográfica e na análise rigorosa de algoritmos da teoria dos números.

History

Euler estudou a série para a função zeta em argumentos inteiros e encontrou seu produto de Euler no século XVIII. O artigo de Riemann de 1859 tratou s como uma variável complexa, estabeleceu a continuação analítica e a equação funcional, e enunciou a hipótese sobre os zeros que leva seu nome e permanece não provada.

Key figures

• Bernhard Riemann
• Leonhard Euler
• Peter Gustav Lejeune Dirichlet

Seminal works

• apostol1976

Frequently asked questions

O que é a linha crítica?

É a linha vertical no plano complexo onde a parte real de s é igual a um meio; a Hipótese de Riemann afirma que todo zero não trivial da função zeta está nela.

Por que o produto de Euler é importante?

Ele expressa a função zeta como um produto sobre primos, que é a afirmação analítica precisa de que todo inteiro se fatora unicamente em primos e é a ponte entre a função zeta e os primos.