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

Aquí se presenta un resumen técnico detallado del artículo "On divisor sums due to Erdős and Ramanujan" de John M. Campbell.

1. Planteamiento del Problema

El artículo investiga el comportamiento asintótico de una suma específica de divisores híbrida que combina elementos de dos problemas clásicos en la teoría analítica de números:

• La Suma de Divisores de Ramanujan: Concierne a la suma de los recíprocos de la función divisor, $\sum_{n \le x} \frac{1}{d(n)}$. Ramanujan (1915) estableció que esta suma se comporta asintóticamente como $\frac{x}{\sqrt{\log x}}$.
• La Suma de Divisores de Erdős: Concierne a la suma de la función divisor iterada, $\sum_{n \le x} d(d(n))$. Erdős (década de 1950) demostró que esta se comporta como $c_1 x \log \log x$.
• El Problema de Divisores de Titchmarsh: Concierne a sumas sobre primos, específicamente $\sum_{p \le x} d(p-1)$. Trabajos recientes de Gabdullin et al. (década de 2020) analizaron la versión recíproca $\sum_{p \le x} \frac{1}{d(p-1)}$, demostrando que es del orden $\frac{x}{(\log x)^{3/2}}$.

El Problema Central:
El autor estudia la suma "híbrida" formada tomando el recíproco de la función iterada de Erdős:
$$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$$
La presencia del recíproco complica significativamente el análisis porque amplifica la contribución de los enteros $n$ donde $d(d(n))$ es excepcionalmente pequeño. El artículo tiene como objetivo determinar el orden de magnitud de $S(x)$.

2. Metodología

La demostración se basa en descomponer el conjunto de enteros $\{n \le x\}$ en conjuntos "típicos" y "excepcionales", acotando la contribución de los conjuntos excepcionales y estimando el término principal utilizando herramientas de teoría de números probabilística.

Herramientas y Definiciones Clave:

• Descomposición de $n$: Los enteros se dividen en una parte libre de cuadrados $a(n)$ y una parte potente $b(n)$ (donde $n = a(n)b(n)$). La función divisor se expresa como $d(n) = 2^{\omega(a(n))} d(b(n))$, donde $\omega(n)$ es el número de factores primos distintos.
• Estimación de Golomb: Se utiliza para acotar la densidad de los números potentes. El número de números potentes $\le x$ es $O(x^{1/2})$.
• Teorema Cuantitativo de Hardy–Ramanujan de Turán: Utiliza la desigualdad Turán–Kubilius para mostrar que $\omega(n)$ se distribuye normalmente alrededor de $\log \log n$. Específicamente, la varianza es pequeña: $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$.
• Sumación de Abel: Se aplica para sumar sobre números potentes y derivar cotas.

Estrategia de Demostración (Descomposición en Lemas):
El autor particiona el rango de sumación $n \le x$ en tres conjuntos disjuntos para acotar la suma por arriba y por abajo:

1. Conjunto $B_1(x)$ (Parte Potente Grande): Enteros donde la parte potente $b(n) > (\log \log x)^2$.

   • Método: Utilizando la estimación de Golomb y la sumación de Abel, el autor demuestra que la cantidad de tales enteros es pequeña ($\ll \frac{x}{\log \log x}$). Dado que $\frac{1}{d(d(n))} \le 1$, su contribución total es despreciable.

2. Conjunto $B_2(x)$ (Factores Primos Atípicos): Enteros donde $\omega(n)$ se desvía significativamente de la media $\log \log x$ (específicamente fuera de $[\frac{1}{2}\log \log x, 2\log \log x]$).

   • Método: Utilizando la estimación de varianza de Turán (Ecuación 15), el autor muestra que el número de tales enteros es $\ll \frac{x}{\log \log x}$. Su contribución también es despreciable.

3. Conjunto $B_3(x)$ (Enteros Libres de Cuadrados Típicos): Enteros que son libres de cuadrados y tienen $\omega(n)$ dentro del rango normal.

   • Método: Para $n$ libre de cuadrados, $d(n) = 2^{\omega(n)}$. En consecuencia, $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$.
   • Dado que $\omega(n) \approx \log \log x$, el término $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$.
   • La densidad de los números libres de cuadrados es $\frac{6}{\pi^2}x$. El autor demuestra que la suma sobre este conjunto proporciona la cota inferior dominante.

3. Contribuciones y Resultados Clave

Teorema Principal:
El artículo establece el orden de magnitud para la suma híbrida:
$$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$$
Esto significa que existen constantes positivas $c_{min}$ y $c_{max}$ tales 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}$$

Conjetura:
Por analogía con la equivalencia asintótica conjeturada para el híbrido Titchmarsh-Ramanujan (Gabdullin et al.), el autor conjetura una fórmula asintótica precisa:
$$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$$
para alguna constante $c_3 \in (0, \infty)$. El autor señala que demostrar la existencia de esta constante específica es probablemente un problema difícil, similar a la dificultad de la conjetura Titchmarsh-Ramanujan.

4. Significado

• Puente entre Problemas Clásicos: El trabajo unifica exitosamente el estudio de la suma de divisores iterada de Erdős y la suma de divisores recíproca de Ramanujan, creando un nuevo problema "híbrido" en la teoría analítica de números.
• Manejo de Recíprocos: Demuestra cómo manejar las dificultades analíticas introducidas por los recíprocos en las sumas de divisores, específicamente cómo los casos de "divisor pequeño" (enteros con pocos divisores) dominan el comportamiento de la suma.
• Aplicación Metodológica: El artículo combina eficazmente las cotas de Golomb sobre números potentes con las estimaciones probabilísticas de Turán sobre la distribución de factores primos para resolver un problema donde las técnicas multiplicativas estándar (como el método de la hipérbola de Dirichlet) fallan debido a la naturaleza no multiplicativa de $d(d(n))$.
• Direcciones Futuras: El artículo prepara el escenario para futuras investigaciones sobre la constante precisa $c_3$ y la aplicación potencial de técnicas híbridas similares a otras funciones aritméticas iteradas.

En resumen, Campbell demuestra que la suma de los recíprocos de la función divisor iterada crece como $\frac{x}{\log \log x}$, un resultado que es más lento que el crecimiento lineal de la suma de Erdős no recíproca pero más rápido que el crecimiento de $\frac{x}{\sqrt{\log x}}$ de la suma recíproca estándar de Ramanujan.