Escolar Documentos
Profissional Documentos
Cultura Documentos
CAMPINAS
SÃO PAULO - BRASIL
OUTUBRO/2015
SUMÁRIO
A primeira vez que esta função surgiu foi no trabalho de Leonhard Euler ao
estudar a distribuição dos números primos, mostrando que a série
1
em que o produto percorre todos os números primos.
Euler, e mais tarde, Pafnuti Tchebychev, 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
por técnicas da teoria das funções analíticas, publicando em 1859 um artigo dedicado à
distribuição dos números primos onde introduziu a função zeta de Riemann. 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 de função zeta de Riemann.
Riemann anunciou várias propriedades importantes dessa função, porém
suas provas eram incompletas. Seu trabalho foi completado por Hadamard , em 1893, e
por Mangoldt, em 1894.
Essa função levou à criação de importantes subáreas da matemática nos
cem anos seguintes. Formulou também a hipótese de Riemann que permanece sem
solução até hoje.
Foi então um dos matemáticos que mais influenciou futuros
desenvolvimentos da matemática.
2
2. Série de Dirichlet
3
○ Se , é tão pequeno e a série f(s) diverge, não podemos
aplicar essa série para esse caso;
○ Se : , obtemos uma série harmônica que diverge lentamente;
4. Funções Holomorfas
Temos que a função zeta de Riemann, ela possui a característica de ser uma função
holomorfa.
Uma função holomorfa é dita holomorfa, se :
Dado uma função complexa , e dado um subconjunto aberto G definido sobre o
plano complexo , essa função for diferenciável em todos os pontos de G. Ou seja, se
Existir, com .
Seguindo a análise por esta função, teremos que o ponto pode se
aproximar de por diferentes direções, como ilustra a figura 1.
4
Figura 1. Semi-plano dos complexos para z+h se aproximando de z.
5
Se duas funções holomorfas e definidas em um domínio são iguais em
uma sequência ∈ , então,
,
E ,assim, para
Então em . Como podemos ver na figura 3.
6
5. Números de Bernoulli
Para
para .
6. Função Gama
7
A função gama( ) é uma extensão da função fatorial para o conjunto dos
números reais e complexos. Se temos um caso em que n é um inteiro positivo, a função
se definirá da seguinte forma:
, ou
Essa função é estendida por uma continuação analítica (ou extensão analítica)
para todos números complexos.
Podemos também representar a função gama na forma de uma integral
imprópria convergente, com s ∈ ℂ e Re(s) > 1 com x ∈ R.
8
Figura 6. Gráfico de superfície do eixo dos reais da função gamma.
Como podemos ver nas figuras 5, 6 e 7, a função gamma é bem comportada para
, e possui vários polos no eixo negativo e em torno de 0.
9
6.1. Fórmula da Reflexão
Figura 8. Gráfico de .
Como podemos ver na figura 8, essa propriedade faz obter uma função periódica com
polos em .
10
7. Extensão de ζ(s) para todo o plano para Re(s)>1
Portanto:
substituindo , obtemos:
Então:
Que fica:
11
7.1. Teorema 1
Para :
12
Com as devidas substituições feitas, se dará de tal modo:
,
Como essa função é meromorfa para todos valores de , então a fórmula pode
ser usada para estender à uma função meromorfa no plano complexo. Dado que
é analítica em , os pólos nos inteiros devem cancelar os zeros da
integral.
7.2. Corolário 1
A função pode ser estendida a uma função meromorfa no plano complexo cujo
único polo é um polo simples em com resíduo .
13
Temos que em , a função tem um pólo simples com resíduo 1.
De modo que, aplicando-se a fórmula, apresenta-se assim:
8. Equação Funcional
Para .
Para .
A equação funcional fornece uma forma de extensão holomórfica da do plano
para , como podemos ver na figura 11.
14
Figura 11. Domínio da extensão holomórfica do semi-plano dos Re(s)>0 para Re(s)<0.
Temos que a analiticidade da função zeta de Riemann pode ser estendida para
todo o plano complexo, exceto no ponto s = 1. As figuras 12,13 e 14 ilustram um gráfico
da função ζ(s) para os valores reais de seu argumento:
15
Figura 13. Função zeta de Riemann ampliada no eixo dos Reais negativos para mostrar seus zeros
nesses pontos.
Como podemos ver nas figuras 12, 13 e 14, todos os zeros reais estão
localizados no eixo real negativo localizados nos pontos isto
é, . Pela figura, observamos que a origem se dá por e possui
uma singularidade em . Logo, podemos ver que a evidência será para
; e será quando .
16
A conjectura de Riemann afirma que todos os zeros não triviais estão na reta
crítica .
10.1. Teorema 2
17
Conclusão:
18
Referências Bibliográficas:
[4] https://gigantesdamatematica.wordpress.com/2015/12/21/dirichlet-1805-1859/
[5] https://pt.wikipedia.org/wiki/Série_de_Dirichlet
[6] https://pt.wikipedia.org/wiki/Bernhard_Riemann
[7] https://www.math.tecnico.ulisboa.pt/~lmagal/ACAp4.pdf
19