On the discrete convolution of the Liouville and Möbius functions

Este artículo estudia las propiedades de la convolución discreta de la función de Liouville, proporcionando una fórmula explícita para sus promedios ponderados que permite obtener información sobre sus series de Dirichlet y potencias, así como sobre convoluciones con múltiples factores.

Lo esencial

Imagina que los números enteros (1, 2, 3, 4...) son como una gran ciudad llena de edificios. Algunos edificios son "especiales" porque están construidos con bloques primos (números que solo se pueden dividir por sí mismos y por 1).

Los matemáticos tienen dos herramientas mágicas para estudiar estos edificios:

1. La función de Liouville ($\lambda$): Es como un semáforo que le pone un color a cada edificio. Si el edificio está hecho de un número par de bloques primos, le pone un color verde (+1). Si está hecho de un número impar de bloques primos, le pone un color rojo (-1).
2. La función de Möbius ($\mu$): Es una prima un poco más estricta de la anterior. Si un edificio tiene bloques repetidos (como un edificio de ladrillos rojos y rojos), la función lo ignora (le pone un 0). Si no, también le pone verde o rojo según la regla de par/impar.

El Problema: La "Búsqueda del Tesoro"

El artículo que leíste trata sobre un juego de suma. Imagina que tienes un número grande, digamos $N$. Quieres saber cuántas formas hay de descomponer $N$ sumando dos números más pequeños ($m_1 + m_2 = N$).

Pero no solo quieres contar las formas; quieres sumar los "colores" de esos números.

• Si sumas un número verde (+1) con otro verde (+1), obtienes +2.
• Si sumas un rojo (-1) con un rojo (-1), obtienes +2.
• Si sumas un verde con un rojo, se cancelan y obtienes 0.

La pregunta es: ¿Cuál es el resultado total de sumar todos estos colores para un número $N$?

En matemáticas, esto se llama una "convolución". Es como mezclar dos sopas de colores y ver qué color resulta al final. Los matemáticos sospechaban que, para números muy grandes, los verdes y los rojos se cancelaban casi perfectamente, dejando un resultado muy pequeño (casi cero). Esto es como decir que en la ciudad, el caos de los colores se equilibra solo.

Lo que hicieron los autores (Cantarini, Gambini y Zaccagnini)

Los autores de este paper no se conformaron con decir "es casi cero". Quisieron ver exactamente cómo se comportan estos colores.

Para lograrlo, usaron una analogía muy potente: La música y las ondas.

1. El Mapa de la Ciudad (La Hipótesis de Riemann):
   Los matemáticos saben que los "bloques primos" no están distribuidos al azar; siguen un patrón oculto muy complejo relacionado con la Función Zeta de Riemann. Imagina que la Zeta es un mapa de frecuencias de radio. Si sintonizas la radio en las frecuencias correctas (los "ceros no triviales" de la Zeta), puedes escuchar la "música" de los números primos.

   • Los autores asumen que este mapa es perfecto (la Hipótesis de Riemann es cierta).

2. La Receta Mágica (Fórmulas Explícitas):
   Usaron una receta matemática (llamada "fórmula explícita") que les permite traducir el problema de sumar colores en un problema de escuchar ondas de radio.

   • En lugar de sumar número por número (lo cual es lento y caótico), miraron las ondas de la Zeta.
   • Descubrieron que el resultado total de la suma de colores se puede escribir como una sinfonía.
   • La "nota principal" de la sinfonía es un término grande y suave.
   • Luego, hay muchas "notas secundarias" (las ondas de la Zeta) que hacen que el resultado oscile un poco, como las vibraciones de una cuerda de guitarra.

3. El Resultado Sorprendente:
   Ellos demostraron que, si asumes que el mapa de la Zeta es correcto, puedes escribir una fórmula exacta para predecir el resultado de esta suma de colores.

   • No solo funciona para sumar dos números ($m_1 + m_2 = N$), sino que lo generalizaron para sumar cualquier cantidad de números ($m_1 + m_2 + ... + m_d = N$).
   • Es como si pudieras predecir el sabor de una sopa hecha con 2, 3, 10 o 100 ingredientes, solo mirando las ondas de radio de los ingredientes base.

¿Por qué es importante esto?

Imagina que quieres predecir el clima. Si solo miras si llueve hoy o mañana, es difícil. Pero si tienes una fórmula que te dice cómo interactúan el viento, la presión y la temperatura (las ondas), puedes predecir tormentas a años vista.

• Conexión con la Conjetura de Goldbach: El problema de los números primos (Goldbach) dice que todo número par es la suma de dos primos. Los autores muestran que su método para los colores de Liouville es muy similar al método para los primos. Si entendemos cómo se comportan los colores (Liouville), entendemos mejor cómo se comportan los primos.
• Nuevas Herramientas: Han creado una "caja de herramientas" matemática. Ahora, cualquier matemático puede usar sus fórmulas para estudiar no solo la suma de dos números, sino de muchos, y puede calcular series infinitas (como sumar $1/2 + 1/4 + 1/8...$) de una manera mucho más limpia y elegante.

En resumen

Este artículo es como si los autores hubieran encontrado la partitura musical oculta detrás del caos de los números.

• Antes: Mirábamos la suma de colores y veíamos ruido.
• Ahora: Gracias a sus fórmulas, podemos escuchar la melodía exacta (las ondas de la Zeta) que genera ese ruido.

Nos dicen que, aunque los números parezcan locos y desordenados, si escuchas la música correcta (la Hipótesis de Riemann), todo tiene un orden perfecto y predecible. Y lo mejor de todo, ¡lo hicieron para sumar no solo dos, sino cualquier cantidad de números!

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "On the Discrete Convolution of the Liouville and Möbius Functions" (Sobre la convolución discreta de las funciones de Liouville y Möbius), escrito por Marco Cantarini, Alessandro Gambini y Alessandro Zaccagnini.

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría analítica de números: el estudio del comportamiento de las sumas de convolución de funciones aritméticas altamente oscilatorias, específicamente la función de Liouville $\lambda(n)$ y la función de Möbius $\mu(n)$.

• Función de Liouville: $\lambda(n) = (-1)^{\Omega(n)}$, donde $\Omega(n)$ es el número total de factores primos de $n$.
• Función de Möbius: $\mu(n)$, definida clásicamente en teoría de números.
• El Objeto de Estudio: Se define la función de conteo tipo Goldbach para Liouville como la convolución discreta:
  $$S(N) := \sum_{n \le N} \lambda(n) \lambda(N-n)$$
  Análogamente, para Möbius se define $S^*(N) = \sum_{m_1+m_2=N} \mu(m_1)\mu(m_2)$.

El problema central es entender la distribución y las propiedades analíticas de estas sumas. Históricamente, se ha conjeturado (Corrádi y Kátai) que $S(N) = o(N)$, y recientemente se ha demostrado que $|S(N)| < N^{-1}$ para $N$ suficientemente grande (Mangerel). Sin embargo, el objetivo de este trabajo es ir más allá de las cotas de magnitud y obtener fórmulas explícitas para promedios ponderados de estas funciones, conectándolas con los ceros no triviales de la función Zeta de Riemann $\zeta(s)$.

2. Metodología

Los autores emplean un enfoque basado en el análisis complejo y la teoría de la convolución, siguiendo la línea de trabajo introducida en una referencia previa [6]. La metodología se estructura en los siguientes pasos:

1. Conexión con la Convolución de Laplace:
   En lugar de estudiar directamente $S(n)$, los autores analizan la suma ponderada $C_\lambda(x) = \sum_{n \le x} S(n)(x-n)$, que corresponde a la convolución de Laplace de la función de conteo parcial $L(x) = \sum_{n \le x} \lambda(n)$ consigo misma:
   $$C_\lambda(x) = \int_0^x L(y) L(x-y) \, dy$$
   Esto permite transformar el problema discreto en uno integral.

2. Fórmulas Explícitas Truncadas:
   Utilizan la fórmula de Perron y las propiedades de los ceros de $\zeta(s)$ para obtener fórmulas explícitas para $L(x)$ (y $M(x) = \sum \mu(n)$) válidas no solo para $x \ge 1$, sino para todo $x > 0$. Esto es crucial porque en la integral de convolución, los argumentos pueden acercarse a cero.

   • Asumen la Hipótesis de Riemann (RH) y la Conjetura de la Simplicidad de los Ceros (SZ) (todos los ceros no triviales son simples).
   • Utilizan estimaciones precisas para $\zeta(s)$ y $1/\zeta(s)$ en la banda crítica.

3. Integración Término a Término:
   Sustituyen la fórmula explícita de $L(y)$ dentro de la integral de convolución. El cálculo se basa en la identificación de funciones Beta y Gamma que surgen de la integración de términos de la forma $y^\rho (x-y)^\sigma$.

   • Se demuestra la convergencia absoluta de las series dobles sobre los ceros no triviales $\rho_1, \rho_2$ de $\zeta(s)$, utilizando el Teorema 4 del artículo y la conjetura SZ.

4. Generalización a Promedios Ponderados:
   Aplican un teorema general (Teorema 16, basado en [6]) que relaciona sumas ponderadas de convoluciones con integrales que involucran derivadas de la función de peso $f(w)$. Esto permite derivar fórmulas para series de Dirichlet y series de potencias de manera sistemática.

3. Contribuciones Clave y Resultados Principales

El artículo presenta varios resultados teóricos significativos bajo las hipótesis de RH y SZ:

A. Fórmula Explícita para la Convolución de $L(x)$ (Teorema 14)

Se obtiene una fórmula explícita para $C_\lambda(x) = \int_0^x L(y)L(x-y)dy$:
$$C_\lambda(x) = \frac{\pi x^2}{8\zeta(1/2)^2} + \frac{\sqrt{\pi}}{\zeta(1/2)} \sum_{\rho} \frac{\zeta(2\rho)\Gamma(\rho)}{\zeta'(\rho)\Gamma(\rho+5/2)} x^{\rho+3/2} + \sum_{\rho_1}\sum_{\rho_2} \frac{\zeta(2\rho_1)\zeta(2\rho_2)\Gamma(\rho_1)\Gamma(\rho_2)}{\zeta'(\rho_1)\zeta'(\rho_2)\Gamma(\rho_1+\rho_2+2)} x^{\rho_1+\rho_2+1} + O(x^{3/2+\epsilon})$$
Donde las sumas son sobre los ceros no triviales de $\zeta(s)$. Se demuestra que las series simples y dobles convergen absolutamente.

B. Fórmulas para Promedios Ponderados (Teorema 1)

Se establece una fórmula general para sumas ponderadas de la forma:
$$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right)$$
Esta fórmula expresa la suma en términos de integrales de la segunda derivada de la función de peso $f''(w)$ multiplicadas por potencias de $w$ y coeficientes que dependen de los ceros de $\zeta(s)$.

C. Continuación Analítica de Series de Dirichlet (Corolario 2 y Teorema 17)

Uno de los resultados más importantes es la demostración de que la serie de Dirichlet asociada a $S(n)$:
$$D(s) = \sum_{n \ge 1} \frac{S(n)}{n^s}$$
admite una continuación analítica al semiplano $\text{Re}(s) > 1$.

• La fórmula explícita muestra que los polos y la estructura de la función están determinados por los ceros de $\zeta(s)$.
• Bajo la hipótesis adicional de que las partes imaginarias de los ceros son linealmente independientes sobre $\mathbb{Q}$, la línea $\text{Re}(s) = 1$ se identifica como la frontera natural de la serie (no se puede continuar más allá).

D. Generalización a $d$ Factores (Teorema 20)

Los autores generalizan los resultados a la convolución de $d$ factores:
$$S_d(N) = \sum_{m_1 + \dots + m_d = N} \lambda(m_1) \dots \lambda(m_d)$$
Obtienen fórmulas explícitas para la media de Cesàro de orden $d-1$ de $S_d(N)$, mostrando cómo la estructura de los ceros de $\zeta(s)$ se mantiene y se generaliza en dimensiones superiores.

E. Resultados para la Función de Möbius

Se demuestra que resultados análogos se obtienen para la función de Möbius $\mu(n)$ y su convolución $S^*(n)$, lo cual es relevante dado que el control de sumas de Möbius está ligado al problema de Goldbach clásico a través del producto de Dirichlet con la función $\Lambda(n)$.

4. Significado e Impacto

• Conexión Profunda: El trabajo refuerza la conexión entre los problemas aditivos (tipo Goldbach) y la distribución de los ceros de la función Zeta de Riemann. Muestra que el comportamiento de las convoluciones de funciones multiplicativas "caóticas" está dictado por la estructura espectral de $\zeta(s)$.
• Herramientas Analíticas: Proporciona un marco metodológico robusto para obtener fórmulas explícitas para promedios ponderados de funciones aritméticas, superando las dificultades de las singularidades cerca de cero mediante extensiones de las fórmulas explícitas clásicas.
• Avance en Conjeturas: Aunque no resuelve la conjetura de Goldbach, ofrece una comprensión más fina de las "fuerzas" subyacentes (los ceros de Riemann) que gobiernan la distribución de estas sumas, validando heurísticas y proporcionando herramientas para futuros ataques a problemas abiertos en teoría de números aditiva.
• Generalidad: La capacidad de extender estos resultados a un número arbitrario de sumandos ($d \ge 2$) abre la puerta al estudio de problemas aditivos más complejos con funciones multiplicativas.

En resumen, el artículo es una contribución técnica sólida que utiliza la teoría espectral de la función Zeta para descomponer y entender la estructura de las convoluciones de Liouville y Möbius, estableciendo nuevas fronteras para la continuación analítica de sus series generadoras.