A Halász-type asymptotic formula for logarithmic means and its consequences

Resumen Técnico: Una Fórmula Asimptótica de Tipo Halász para Medias Logarítmicas y sus Consecuencias

1. Planteamiento del Problema

El artículo aborda un problema central en la teoría de números analítica: entender el comportamiento de las sumas parciales de funciones multiplicativas acotadas.

• Contexto: Tradicionalmente, el teorema de Halász proporciona cotas superiores para las sumas de Cesàro $M_f(x) = \sum_{n \le x} f(n)$. Sin embargo, estas cotas a menudo no son asintóticamente precisas (sharp) en todos los casos, especialmente cuando la función $f$ "pretende" ser una función de la forma $n^{it}$.
• Objetivo: Los autores buscan establecer una fórmula asintótica precisa para las sumas parciales logarítmicas:
  $$L_f(x) := \sum_{n \le x} \frac{f(n)}{n}$$
  donde $f: \mathbb{N} \to [-1, 1]$ es una función multiplicativa (completamente multiplicativa en muchos casos de interés).
• Motivación: A diferencia de $M_f(x)$, que puede ser grande si $f$ se asemeja a $n^{it}$, el valor absoluto $|L_f(x)|$ solo es grande cuando $|t|$ es muy pequeño. Además, existe una relación elemental $M_g(x)/x \approx L_f(x)$ (donde $g = 1 * f$), pero refinar esta relación para obtener un término principal preciso y un error controlado ha sido un desafío abierto.

2. Metodología y Nuevas Herramientas

La innovación central del trabajo radica en la conexión entre las sumas logarítmicas y los valores de la función $g = 1 * f$ en un punto desplazado.

• El desplazamiento $w_0$:
  La contribución técnica más notable es la introducción de la constante $w_0 = e^{1-\gamma}$ (donde $\gamma$ es la constante de Euler-Mascheroni). Los autores demuestran que el término principal de $L_f(x)$ no depende de $M_g(x)$, sino de $M_g(w_0 x)$.

  • Esto se deriva de analizar la diferencia entre la fórmula de Perron para $L_f(x)$ y la transformada de Mellin de $M_g(w_0 x)$, utilizando la expansión de Laurent de la función Zeta de Riemann $\zeta(s)$ cerca de $s=1$.
  • La elección de $w_0$ es crucial para cancelar términos singulares y obtener una estimación "sin pérdida" (lossless) en el error.

• Estrategia de "Promedios de Promedios":
  Siguiendo la estrategia clásica de Halász, los autores utilizan un enfoque de promedios a diferentes escalas. Definen $\Delta(y) = L_f(y) - \tilde{M}_g(w_0 y)$ y acotan $|\Delta(x)|$ mediante integrales de promedios logarítmicos de $|\Delta(y)|$.

  • Utilizan desigualdades de Cauchy-Schwarz y el teorema de Plancherel para relacionar estos promedios con integrales $L^2$ de series de Dirichlet.
  • El análisis se divide en rangos de la parte imaginaria de $s$ ($|t| \le 1/2$ y $1/2 \le |t| \le T$), controlando los errores mediante funciones auxiliares $H_1$ y $H_2$ que capturan la distancia "pretenciosa" de $f$ respecto a $n^{it}$.

• Reducción a Funciones Completamente Multiplicativas:
  Para funciones reales, se utiliza la propiedad de que si $f$ es completamente multiplicativa y toma valores en $[-1, 1]$, entonces $g = 1 * f$ es no negativa ($g \ge 0$). Esto permite acotar $\tilde{M}_g$ de manera efectiva. Para el caso general, se reduce el problema al caso completamente multiplicativo mediante una descomposición de Dirichlet.

3. Contribuciones y Resultados Principales

A. Fórmula Asintótica Principal (Teorema 1.1 y 1.2)
Se establece que para $f: \mathbb{N} \to [-1, 1]$ completamente multiplicativa:
$$L_f(x) = \left(1 + O\left(\frac{1}{\log x}\right)\right) \tilde{M}_g(w_0 x) + \text{Error}$$
El término de error es explícito y depende de la distancia de Halász. Esta fórmula es aguda (sharp) en muchos casos, superando las cotas anteriores que eran demasiado grandes cuando $L_f(x) = O(1)$.

B. Mejora en el Problema de la Truncación Negativa (Corolario 2.1)
Granville y Soundararajan (2007) habían demostrado que para funciones completamente multiplicativas $f: \mathbb{N} \to [-1, 1]$, $L_f(x) \ge -c/(\log \log x)^{3/5}$.

• Nuevo Resultado: Los autores prueban que existe una constante $c > 0$ tal que:
  $$L_f(x) \ge -\frac{c}{(\log x)^{1 - 2/\pi}}$$
  Esto mejora significativamente el exponente logarítmico. Además, muestran que si $f$ no se comporta como la función de Liouville $\lambda$, el exponente puede mejorarse a $-1 + o(1)$.

C. El Problema de Turán "Random" (Teorema 2.3)
Considerando una función completamente multiplicativa aleatoria de Rademacher (valores $\pm 1$ en primos con probabilidad 1/2), se estudia la probabilidad de que $L_f(x) < 0$.

• Resultado: Se establece que esta probabilidad es extremadamente pequeña:
  $$\mathbb{P}(L_f(x) < 0) \ll \exp(-x^c)$$
  para alguna $c \in (0, 1)$. Esto confirma una conjetura previa y mejora drásticamente las cotas conocidas (que eran del tipo $\exp(-\exp(\dots))$).

D. Teoremas de Converse para Valores Pequeños (Corolarios 2.4 y 2.5)
Se caracteriza cuándo $|L_f(x)|$ es pequeño.

• Si $|L_f(x)|$ es muy pequeño (del orden de $1/\log x$ multiplicado por un factor sub-exponencial), entonces $f$ debe "pretender" ser la función de Liouville $\lambda$ (es decir, la distancia pretenciosa $D(f, \lambda; x)$ es pequeña).
• Se construyen ejemplos que muestran que estos límites son esencialmente óptimos.

E. Conjetura de Goldmakher (Corolario 2.7)
Se prueba una versión más fuerte de una conjetura de Goldmakher sobre sumas parciales restringidas por el mayor factor primo, obteniendo una cota de error de tipo $(\log x)^{-(1-2/\pi)}$.

4. Significado e Impacto

1. Precisión Asintótica: El trabajo cierra la brecha entre las cotas superiores de Halász y las fórmulas asintóticas reales, proporcionando un término principal preciso ($\tilde{M}_g(w_0 x)$) que antes se consideraba solo una aproximación burda.
2. Resolución de Problemas Abiertos: Resuelve o mejora sustancialmente problemas de 20 años de antigüedad sobre la truncación negativa de sumas logarítmicas y el comportamiento de funciones aleatorias.
3. Nueva Constante Crítica: La aparición de $w_0 = e^{1-\gamma}$ como un desplazamiento natural en el argumento de la suma promedio es un descubrimiento estructural profundo que conecta la teoría de funciones multiplicativas con las propiedades analíticas de $\zeta(s)$ en $s=1$.
4. Aplicabilidad: Las técnicas desarrolladas (especialmente el manejo de la independencia en funciones aleatorias y el análisis de la distancia pretenciosa) ofrecen herramientas poderosas para futuros problemas en teoría de números analítica, incluyendo la distribución de valores de funciones $L$ y sumas de funciones multiplicativas.

En conclusión, este artículo representa un avance fundamental en la comprensión de las sumas logarítmicas de funciones multiplicativas, proporcionando fórmulas asintóticas precisas que permiten atacar problemas extremos y probabilísticos que eran inaccesibles con las técnicas anteriores.