A conjectura de Schiffer é uma conjectura da teoria dos números que descreve o comportamento assintótico da relação entre duas funções aritméticas multiplicativas clássicas: a função número de divisores e a função soma dos divisores . A conjectura afirma que a condição de divisibilidade ocorre para exatamente metade dos inteiros positivos, em termos de densidade natural.
Notação e definições Para um inteiro positivo , utilizam-se as seguintes funções aritméticas:
: número de divisores positivos de ; : soma dos divisores positivos de ; : número de fatores primos distintos de ; : valorização -ádica de , isto é, o maior inteiro tal que .
Define-se o conjunto
A conjectura afirma que o conjunto possui densidade natural bem definida e igual a
Contexto matemático As funções e são exemplos fundamentais de funções multiplicativas. Resultados clássicos descrevem seu comportamento médio, máximo e distribuição estatística, mas relações de divisibilidade entre seus valores são, em geral, difíceis de analisar.
A conjectura insere-se na tradição da teoria probabilística dos números, onde propriedades aritméticas são estudadas do ponto de vista estatístico, buscando densidades naturais e leis limite.
Redução ao caso livre de quadrados Um passo conceitual importante é a observação de que, para fins de densidade natural, pode-se concentrar a análise nos inteiros livres de quadrados.
Se é livre de quadrados, então:
Nesse caso, a condição é equivalente à desigualdade
Essa reformulação mostra que o problema depende essencialmente do comportamento 2-ádico dos números da forma , onde percorre os primos divisores de .
Estrutura aditiva associada A função é uma função aritmética aditiva, no sentido da teoria de Erdős–Kac. Já a função é um exemplo clássico de função aditiva amplamente estudada.
A comparação entre essas duas quantidades sugere que o problema pode ser abordado por métodos probabilísticos aplicados a funções aditivas sobre os primos.
Modelo probabilístico Heurísticas baseadas na distribuição dos primos em progressões aritméticas indicam que, para um primo ímpar escolhido ao acaso, a variável comporta-se aproximadamente como uma variável geométrica, satisfazendo
Sob hipóteses de independência assintótica, a soma apresenta flutuações comparáveis às de , levando à previsão de que a desigualdade associada à conjectura seja satisfeita com probabilidade limite .
Relação com resultados clássicos A heurística subjacente à Conjectura de Schiffer é compatível com fenômenos descritos por resultados clássicos da teoria dos números, como:
o teorema de Erdős–Kac, que estabelece leis normais para funções aditivas; o comportamento médio de funções multiplicativas estudado por Hardy, Ramanujan e Halász; métodos analíticos baseados em séries de Dirichlet e densidades naturais.
Estado atual Até o momento, não se conhece uma demonstração completa e incondicional da Conjectura de Schiffer na literatura matemática revisada por pares. O problema permanece em aberto, sendo sustentado por fortes evidências heurísticas e modelos probabilísticos.
Problemas relacionados e extensões A conjectura motiva o estudo de outras relações de divisibilidade entre funções aritméticas multiplicativas, como condições da forma onde e são funções aritméticas clássicas. Questões desse tipo compartilham características estatísticas semelhantes e são objeto de investigação atual.
Ver também
Função divisor Função soma dos divisores Funções aritméticas Densidade natural Teorema de Erdős–Kac
Bibliografia
Ligações externas
Preprint em PDF sobre a conjectura