On divisor sums due to Erd\H{o}s and Ramanujan

1. Formulação do Problema

O artigo investiga o comportamento assintótico de uma soma híbrida específica de divisores que combina elementos de dois problemas clássicos na teoria analítica dos números:

• A Soma de Divisores de Ramanujan: Refere-se à soma dos recíprocos da função divisora, $\sum_{n \le x} \frac{1}{d(n)}$. Ramanujan (1915) estabeleceu que esta soma comporta-se assintoticamente como $\frac{x}{\sqrt{\log x}}$.
• A Soma de Divisores de Erdős: Refere-se à soma da função divisora iterada, $\sum_{n \le x} d(d(n))$. Erdős (década de 1950) provou que esta comporta-se como $c_1 x \log \log x$.
• O Problema dos Divisores de Titchmarsh: Refere-se a somas sobre primos, especificamente $\sum_{p \le x} d(p-1)$. Trabalhos recentes de Gabdullin et al. (década de 2020) analisaram a versão recíproca $\sum_{p \le x} \frac{1}{d(p-1)}$, provando que é da ordem $\frac{x}{(\log x)^{3/2}}$.

O Problema Central:
O autor estuda a soma "híbrida" formada ao tomar o recíproco da função iterada de Erdős:
$$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$$
A presença do recíproco complica significativamente a análise, pois amplifica a contribuição dos inteiros $n$ onde $d(d(n))$ é excepcionalmente pequeno. O artigo visa determinar a ordem de grandeza de $S(x)$.

2. Metodologia

A prova baseia-se na decomposição do conjunto de inteiros $\{n \le x\}$ em conjuntos "típicos" e "excepcionais", limitando a contribuição dos conjuntos excepcionais e estimando o termo principal utilizando ferramentas da teoria probabilística dos números.

Ferramentas e Definições Chave:

• Decomposição de $n$: Os inteiros são divididos em uma parte livre de quadrados $a(n)$ e uma parte poderosa $b(n)$ (onde $n = a(n)b(n)$). A função divisora é expressa como $d(n) = 2^{\omega(a(n))} d(b(n))$, onde $\omega(n)$ é o número de fatores primos distintos.
• Estimativa de Golomb: Utilizada para limitar a densidade de números poderosos. O número de números poderosos $\le x$ é $O(x^{1/2})$.
• Teorema Quantitativo de Hardy–Ramanujan de Turán: Utiliza a desigualdade de Turán–Kubilius para mostrar que $\omega(n)$ está normalmente distribuído em torno de $\log \log n$. Especificamente, a variância é pequena: $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$.
• Soma de Abel: Aplicada para somar sobre números poderosos a fim de derivar limites.

Estratégia de Prova (Decomposição em Lemas):
O autor particiona o intervalo de somação $n \le x$ em três conjuntos disjuntos para limitar a soma de cima e de baixo:

1. Conjunto $B_1(x)$ (Parte Poderosa Grande): Inteiros onde a parte poderosa $b(n) > (\log \log x)^2$.

   • Método: Usando a estimativa de Golomb e a soma de Abel, o autor prova que a contagem de tais inteiros é pequena ($\ll \frac{x}{\log \log x}$). Como $\frac{1}{d(d(n))} \le 1$, sua contribuição total é negligenciável.

2. Conjunto $B_2(x)$ (Fatores Primos Atípicos): Inteiros onde $\omega(n)$ desvia significativamente da média $\log \log x (especificamente fora de$[\frac{1}{2}\log \log x, 2\log \log x]$).

   • Método: Usando a estimativa de variância de Turán (Eq. 15), o autor mostra que o número de tais inteiros é $\ll \frac{x}{\log \log x}$. Sua contribuição também é negligenciável.

3. Conjunto $B_3(x)$ (Inteiros Livres de Quadrados Típicos): Inteiros que são livres de quadrados e possuem $\omega(n)$ dentro da faixa normal.

   • Método: Para $n$ livre de quadrados, $d(n) = 2^{\omega(n)}$. Consequentemente, $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$.
   • Como $\omega(n) \approx \log \log x$, o termo $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$.
   • A densidade de números livres de quadrados é $\frac{6}{\pi^2}x$. O autor prova que a soma sobre este conjunto fornece o limite inferior dominante.

3. Contribuições e Resultados Principais

Teorema Principal:
O artigo estabelece a ordem de grandeza para a soma híbrida:
$$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$$
Isso significa que existem constantes positivas $c_{min}$ e $c_{max}$ tais que, para $x$ suficientemente grande:
$$c_{min} \frac{x}{\log \log x} \le \sum_{n \le x} \frac{1}{d(d(n))} \le c_{max} \frac{x}{\log \log x}$$

Conjectura:
Por analogia com a equivalência assintótica conjecturada para o híbrido Titchmarsh-Ramanujan (Gabdullin et al.), o autor conjectura uma fórmula assintótica precisa:
$$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$$
para alguma constante $c_3 \in (0, \infty)$. O autor observa que provar a existência desta constante específica é provavelmente um problema difícil, semelhante à dificuldade da conjectura Titchmarsh-Ramanujan.

4. Significado

• Ponte entre Problemas Clássicos: O trabalho unifica com sucesso o estudo da soma de divisores iterada de Erdős e a soma de divisores recíproca de Ramanujan, criando um novo problema "híbrido" na teoria analítica dos números.
• Tratamento de Recíprocos: Demonstra como lidar com as dificuldades analíticas introduzidas por recíprocos em somas de divisores, especificamente como os casos de "divisor pequeno" (inteiros com poucos divisores) dominam o comportamento da soma.
• Aplicação Metodológica: O artigo combina efetivamente os limites de Golomb sobre números poderosos com as estimativas probabilísticas de Turán sobre a distribuição de fatores primos para resolver um problema onde técnicas multiplicativas padrão (como o método da hipérbole de Dirichlet) falham devido à natureza não multiplicativa de $d(d(n))$.
• Direções Futuras: O artigo prepara o terreno para pesquisas futuras sobre a constante precisa $c_3$ e a aplicação potencial de técnicas híbridas semelhantes a outras funções aritméticas iteradas.

Em resumo, Campbell prova que a soma dos recíprocos da função divisora iterada cresce como $\frac{x}{\log \log x}$, um resultado que é mais lento que o crescimento linear da soma de Erdős não recíproca, mas mais rápido que o crescimento de $\frac{x}{\sqrt{\log x}}$ da soma recíproca padrão de Ramanujan.