Função zeta de Riemann

Função zeta de Riemann em um plano complexo

A função zeta de Riemann é uma função especial de variável complexa, definida para $\mathrm{Re}(s)>1$ pela série $\zeta(s) = \sum_{k=1}^{\infty} k^{-s}$.

Fora do conjunto dos números complexos com parte real maior do que a unidade a função de Riemann pode ser definida por continuação analítica da expressão anterior. O resultado é uma função meromorfa com um pólo em $s=1$ de resíduo $1$.

Esta função é fundamental para a teoria dos números e em particular devido à hipótese de Riemann.

História

A primeira vez que esta função surgiu foi no trabalho de Euler, que, ao estudar a distribuição dos números primos, mostrou que a série:

$\sum_{n=1}^{\infty} \frac{1}{p_n}\,$

era uma série divergente (o que, como corolário, é mais uma prova de que existem infinitos números primos).

A prova de Euler se baseou na identidade:

$\sum_{n=1}^{\infty} n^{-s} = \prod_p (1 + p^{-s} + p^{-2s} + \ldots) = \prod_p (1 - p^{-s})^{-1}\,$

em que o produto percorre todos os números primos.

Euler e, mais tarde, Chebyshev, haviam usado esta identidade, respectivamente, para s igual a um e para s real. Riemann, em 1858, tratou s como uma variável complexa, e estudou a série:

$\sum_{n=1}^{\infty} n^{-s}\,$

por técnicas da teoria das funções analíticas. Esta série converge apenas em parte do plano complexo, mas define, por continuação analítica, uma função única para todos os números complexos, exceto para o polo em s = 1. Riemann usou a letra grega zeta para escrever esta função, e por causa disto ela é chamada função zeta de Riemann.

Riemann anunciou várias propriedades importantes desta função, porém suas provas eram incompletas. Seu trabalho foi completado por Hadamard, em 1893, e por Mangoldt, em 1894.

Propriedades

$\frac{1}{\zeta(s)}=\sum^{\infty}_{k=1}\frac{\mu(k)}{k^s}$ onde $\mu$ é a função de Möbius

Ligações externas

• Outras Relações da Função Zeta de Riemann
• Propriedades da função Zeta de Riemann
• Valores da função Zeta de Riemann