On additive convolution sum of arithmetic functions and related questions

Resumen Técnico: Sobre las Sumas de Convolución Aditiva de Funciones Aritméticas y Cuestiones Relacionadas

Planteamiento del Problema
El artículo aborda el comportamiento asintótico de las sumas de convolución aditiva de funciones aritméticas, centrándose específicamente en la sub-suma $\sum_{n < M} f(n)g(N-n)$ donde $M \le N$. Si bien la suma de convolución desplazada $\sum_{n \le N} d(n)d(n+h)$ ha sido extensamente estudiada desde el trabajo seminal de Ingham, la suma de convolución aditiva $\sum_{n < N} d(n)d(N-n)$ y sus sub-sumas han recibido menos atención. Los autores pretenden extender los resultados clásicos de Ingham para derivar fórmulas asintóticas para estas sub-sumas con términos de error explícitos, particularmente para la función divisor $d(n)$, y posteriormente generalizar estos hallazgos a funciones aritméticas que admiten expansiones de Ramanujan absolutamente convergentes.

Metodología
Los autores emplean una combinación de técnicas clásicas de la teoría analítica de números y estimaciones modernas relativas a las funciones divisoras en progresiones aritméticas.

1. Extensión del Método de Ingham (Teorema 1):
   Para la función divisor $d(n)$, los autores adaptan el enfoque geométrico de Ingham. Interpretan la suma $\sum_{n \le M} d(n)d(N-n)$ como el conteo de 4-tuplas $(l, r, m, s)$ que satisfacen $lr + ms = N$ con $ms \le M$.

• Optimización de Límites: A diferencia del uso por parte de Ingham de la desigualdad AM-GM para acotar el producto $n(N-n)$ por $N^2/4$, los autores utilizan la restricción específica $n \le M$ para derivar un límite más ajustado $X = \sqrt{M(N-M)}$.
• Descomposición de Conjuntos: El conjunto de soluciones se descompone en conjuntos simétricos $P$ y $Q$ y una intersección $R$. La cardinalidad se estima utilizando las propiedades de la función divisor y la distribución de las soluciones a ecuaciones diofánticas lineales.
• Análisis de Rangos: La demostración distingue cuidadosamente entre diferentes rangos de $M$ en relación con $N$, analizando específicamente los términos de error cuando $M$ está cerca de $N/2$ frente a cuando $M$ es menor.

2. Régimen de $M$ Pequeño (Teorema 2):
   Para el caso donde $M = N^\alpha$ con $3/4 < \alpha < 1$, el método geométrico es insuficiente. Los autores utilizan la identidad $d(n) = \sum_{t|n} 1$ para reescribir la suma como una suma sobre clases de residuos.

• Aplican un resultado de Pongsriiam y Vaughan (extendiendo a Fouvry e Iwaniec) respecto al promedio de la función divisor en progresiones aritméticas: $\sum_{n \le M, n \equiv N \pmod t} d(n)$.
• Esto permite la derivación de una fórmula asintótica que involucra sumas de Ramanujan $c_r(N)$ y series específicas $S_i(N)$.

3. Funciones Aritméticas Generales (Teorema 3):
   Los autores generalizan los resultados a funciones $f$ y $g$ con expansiones de Ramanujan absolutamente convergentes ($f(n) = \sum a_f(r)c_r(n)$).

• Ortogonalidad: Utilizan un lema de ortogonalidad para las sumas de Ramanujan: $\sum_{n < M} c_r(n)c_s(N-n) \approx \delta_{r,s} M c_r(N)$.
• Truncamiento y Control de Error: Las sumas se dividen en un término principal (donde los índices $r, s$ son pequeños) y un término de error (donde los índices son grandes). Los términos de error se controlan utilizando las condiciones de decaimiento $|a_f(r)|, |a_g(r)| \ll r^{-(1+\delta)}$ y los límites establecidos previamente para la convolución de la función divisor.

Contribuciones Clave y Resultados

• Teorema 1 (Sub-sumas de la Función Divisor): El artículo establece una fórmula asintótica para $\sum_{n \le M} d(n)d(N-n)$ para $M \le N/2$.

  • El término principal es $\frac{6}{\pi^2} M \sigma_{-1}(N) \log^2 X$, donde $X = \sqrt{M(N-M)}$.
  • El término de error depende de la relación entre $M$ y $N$. Específicamente, si $N/(\sigma_{-1}(N) \log N)^2 = o(M)$, la fórmula se mantiene.
  • Los autores proporcionan límites de error refinados para diferentes rangos de $M$, incluyendo casos donde $M$ está cerca de $N/2$ y casos donde $M$ es menor pero aún satisface la condición de crecimiento.
  • El Corolario 1 extiende estos resultados al rango $N/2 \le M \le N$ utilizando la simetría de la suma completa.

• Teorema 2 (M Pequeño): Para $M = N^\alpha$ con $3/4 < \alpha < 1$, los autores derivan una fórmula asintótica más compleja que involucra las series $S_0(N), S_1(N), S_2(N)$ definidas mediante sumas de Ramanujan, llenando un vacío donde el método geométrico del Teorema 1 falla.

• Teorema 3 (Funciones Generales): Para funciones aritméticas con expansiones de Ramanujan absolutamente convergentes que satisfacen condiciones de decaimiento polinómico en sus coeficientes, el artículo demuestra:
  $$\sum_{n < M} f(n)g(N-n) = M \sum_{r \ge 1} a_f(r)a_g(r)c_r(N) + \text{Término de Error}$$
  El término de error es $O(M^{1-\delta}(\log M)^{4-2\delta})$ para $\delta < 1$, $O(\log^3 M)$ para $\delta = 1$, y $O(1)$ para $\delta > 1$.

• Corolario 2: Como aplicación, los autores derivan fórmulas asintóticas para sumas que involucran funciones divisoras normalizadas $\sigma_\alpha(n)/n^\alpha$, mejorando los resultados previos en [6] al proporcionar términos de error explícitos y extendiendo el rango de los parámetros.

Significado y Reivindicaciones
El artículo afirma extender los resultados clásicos de Ingham desde sumas completas hacia sub-sumas, proporcionando una comprensión más granular de cómo se comporta la convolución aditiva a medida que el límite de la suma $M$ varía.

• Motivación: El estudio está motivado por problemas en la teoría de números aditiva, como la conjetura de Goldbach, donde la comprensión de la distribución de los sumandos primos (o potencias de primos) hasta un cierto límite $M \le N/2$ es crucial. Los autores señalan que mientras la suma completa cuenta todas las representaciones, el comportamiento de la sub-suma es relevante para determinar el menor sumando primo posible.
• Contribución Metodológica: El trabajo destaca la necesidad de elegir cuidadosamente el rango de $M$ para obtener fórmulas asintóticas válidas con términos de error manejables. Demuestra que para $M$ pequeño, el comportamiento está gobernado por la distribución de los divisores en progresiones aritméticas, mientras que para $M$ más grande, las restricciones geométricas sobre el producto $n(N-n)$ predominan.
• Limitaciones: Los autores señalan modestamente que su método para el Teorema 1 no puede tratar valores muy pequeños de $M$ (específicamente $M = N^\alpha$ para $\alpha < 3/4$), y que la prueba para el Teorema 2 está restringida a $3/4 < \alpha < 1$. También observan que las constantes implícitas en los términos de error para funciones generales pueden depender de $N$, aunque esta dependencia puede mitigarse bajo condiciones de crecimiento específicas de $M$.

El artículo no pretende resolver la conjetura de Goldbach ni la conjetura de los primos gemelos, sino que postula que las fórmulas asintóticas derivadas para las sub-sumas de convolución proporcionan herramientas y perspectivas necesarias para tales investigaciones.