A conjectura de Bateman-Horn e o Lambda-cálculo de Golomb

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: Pontes, Pedro Henrique
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25072012-204437/
Resumo: A Conjectura de Bateman-Horn dá condições sobre uma família de polinômios com coeficientes inteiros $f_1(X),\\dots,f_k(X)$ para que hajam infinitos $n \\in \\N$ tais que $f_1(n),\\dots,f_k(n)$ sejam todos primos, e determina qual deve ser o comportamento assintótico de tais inteiros $n$. Neste texto, vamos estudar essa conjectura, assim como um método desenvolvido por Solomon W. Golomb que pode ser usado para demonstrá-la. Veremos que esse cálculo prova a Conjectura de Bateman-Horn a menos da troca de um limite com uma série infinita, que é o único passo ainda não provado desse método. Também estudaremos uma tentativa para solucionar esse problema por meio do uso de teoremas abelianos de regularidade, e provaremos que teoremas tão gerais não são suficientes para provar a troca do limite com a série.