🔢 mathematics

Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

Este artículo establece la expansión asintótica completa de la suma de Mertens aditiva $S_k(x)$ , derivando su comportamiento de orden principal de $x^{k-1}/\log^k x$ y proporcionando fórmulas explícitas para los coeficientes de la expansión en términos de integrales logarítmicas múltiples, con resultados totalmente explícitos para los primeros términos para un $k$ general y una secuencia de forma cerrada completa para el caso $k=2$ .

Autores originales: Daoyi Peng, Hao Liu

Publicado 2026-07-13

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Daoyi Peng, Hao Liu

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes una bolsa gigante de números primos—los bloques de construcción de las matemáticas como el 2, 3, 5, 7, y así sucesivamente. Ahora, imagina que eliges $k$ de estos primos al azar (donde $k$ es al menos 2) y los sumas. El artículo plantea una pregunta muy específica: Si tomas el recíproco de esa suma (1 dividido por la suma) y sumas todas las combinaciones posibles de estos primos hasta un número enorme $x$ , ¿cómo se ve el total?

Esto se llama la suma de Mertens aditiva, denotada como $S_k(x)$ .

La gran sorpresa: no es lo que esperabas

Durante mucho tiempo, los matemáticos estuvieron obsesionados con una versión multiplicativa de este problema. En esa versión, en lugar de sumar los primos, los multiplicas (como $p_1 \times p_2 \times \dots$ ). Esa versión crece muy lentamente, como un susurro que solo se vuelve más fuerte cuando haces doble clic en un botón una y otra vez (matemáticamente, crece como $(\log \log x)^k$ ).

Pero este artículo cambia el guion. Los autores, Daoyi Peng y Hao Liu, descubrieron que cuando sumas los primos en lugar de multiplicarlos, la suma explota mucho más rápido. No es un susurro; es un grito. El término principal de esta suma crece como $\frac{x^{k-1}}{(\log x)^k}$ .

Para visualizarlo: si la versión multiplicativa es un caracol subiendo por una pared, la versión aditiva es un cohete lanzándose hacia el espacio, pero con una tasa de consumo de combustible muy específica y predecible.

La receta maestra: una expansión asintótica completa

El artículo no solo te dice la velocidad del cohete; escribe la receta completa para toda la trayectoria del vuelo. Demostraron que, a medida que $x$ se vuelve infinitamente grande, puedes describir $S_k(x)$ con una fórmula precisa:

$S_k(x) \approx \frac{x^{k-1}}{(\log x)^k} \times \left( \text{Constante}_0 + \frac{\text{Constante}_1}{\log x} + \frac{\text{Constante}_2}{(\log x)^2} + \dots \right)$

Piensa en esto como un telescopio de alta gama. El primer término ( $\text{Constante}_0$ ) te da una imagen borrosa de las estrellas. El siguiente término ( $\text{Constante}_1$ ) enfoca la imagen. El siguiente ( $\text{Constante}_2$ ) hace que la imagen sea cristalina. Los autores demostraron que puedes seguir añadiendo estos "botones de enfoque" para siempre para obtener una mejor y mejor aproximación.

Los ingredientes secretos: los coeficientes

La verdadera magia reside en averiguar qué son realmente esos "Constantes". Los autores descubrieron que estos números no son aleatorios; están ocultos dentro de integrales multidimensionales complejas (imagina medir el volumen de una forma que existe en $k$ dimensiones, donde la forma está definida por logaritmos).

Lograron descifrar el código de los primeros ingredientes:

El primer ingrediente ( $E_{k,0}$ ): Encontraron una fórmula de forma cerrada y limpia para esto. Por ejemplo, si tienes 2 primos ( $k=2$ ), este número es $2 \log 2$ .
El segundo ingrediente ( $E_{k,1}$ ): Este es un poco más complejo e involucra constantes matemáticas famosas como $\pi^2$ y funciones especiales llamadas polilogaritmos ( $\text{Li}_2$ ).
El tercer ingrediente ( $E_{k,2}$ ): Aquí, las cosas se complican. Los autores pudieron escribir una fórmula perfecta para la parte "diagonal" de este ingrediente (donde las variables se comportan bien), pero la parte "cruzada" (donde las variables se mezclan de forma desordenada) se convierte en una pesadilla para $k \ge 5$ .

Crucialmente, el artículo descarta explícitamente una fórmula simple y unificada para el tercer ingrediente cuando $k$ es grande (5 o más). Aunque pueden calcularlo para casos pequeños como $k=2, 3, 4$ , las matemáticas se vuelven tan enredadas con valores extraños de polilogaritmos que admiten que una expresión de "forma cerrada" única para todo $k$ probablemente no existe de la manera que esperamos. No solo dicen "es difícil"; demuestran que la estructura cambia fundamentalmente, introduciendo nuevos tipos de números que no se llevan bien con los antiguos.

El caso especial: $k=2$

Cuando solo eliges dos primos ( $k=2$ ), los autores encontraron un "Billete Dorado". Descubrieron que toda la secuencia de coeficientes ( $E_{2,0}, E_{2,1}, E_{2,2}, \dots$ ) sigue un patrón único y hermoso que involucra la función eta de Dirichlet y la función zeta de Riemann. Es como descubrir que toda la serie infinita de botones de enfoque para un telescopio específico puede describirse mediante una única ecuación elegante.

¿Qué tan seguros están?

Los autores están extremadamente seguros de su resultado principal. No solo supusieron; demostraron usando herramientas rigurosas como el Teorema del Número Primo y expansiones de Taylor multivariadas.

La prueba: Demostraron matemáticamente que el error en su fórmula disminuye más rápido que cualquier potencia de $\log x$ a medida que $x$ se vuelve enorme.
Los números: Para respaldar su teoría, realizaron simulaciones computacionales masivas.
- Para $k=2$ , probaron números hasta $5,000,000$. La aproximación tuvo un error de solo 0.2% al usar solo los primeros cinco términos de su fórmula.
- Para $k=3$ , probaron hasta $10,000,000$. La fórmula de tres términos tuvo un error de aproximadamente 1.3%.
- También notaron algo fascinante: si detienes la fórmula demasiado pronto para números pequeños, empeora. Esta es la naturaleza de una serie "asintótica": es como un mapa que se vuelve más preciso cuanto más lejos viajas, pero si intentas usar la "parte lejana" del mapa para navegar en tu propio patio trasero, podrías perderte.

La conclusión

Este artículo resuelve un misterio de larga data sobre cómo se comportan las sumas de los recíprocos de los primos cuando se suman. Reemplaza una suposición vaga con una receta infinita y precisa. Si bien descifraron el código para los primeros pasos de la receta (y la receta completa para el caso más simple de dos primos), también trazaron una línea clara en la arena: para casos más complejos con muchos primos, los ingredientes de los "términos cruzados" son demasiado desordenados para ser escritos en una sola fórmula simple. La matemática está ahí, ha sido probada y ha sido testeada, pero la pieza final del rompecabezas para un $k$ grande sigue siendo un nudo hermoso y sin resolver.

Resumen Técnico: Expansión Asintótica Completa de la Suma de Mertens Aditiva $S_k(x)$

Planteamiento del Problema
El artículo aborda el comportamiento asintótico de la suma de Mertens aditiva, definida para un entero $k \ge 2$ y $x > 2$ como:
$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$
donde $p_i$ son números primos. Mientras que el análogo multiplicativo (suma de Mertens generalizada $\sum 1/(p_1 \cdots p_k)$ ) está bien estudiado con un término principal de orden $(\log \log x)^k$ , la suma aditiva exhibe una tasa de crecimiento fundamentalmente diferente. Los límites elementales derivados de la desigualdad AM-GM y el Teorema del Número Primo (PNT) sugieren que el término principal es de orden $x^{k-1}/\log^k x$ . El objetivo principal de este trabajo es establecer la expansión asintótica completa de $S_k(x)$ , determinando los coeficientes exactos de la serie y proporcionando expresiones en forma cerrada para los términos iniciales.

Metodología
Los autores emplean una combinación de teoría de números analítica y técnicas de análisis de variables reales:

Representación mediante Integral de Stieltjes: La suma se reformula como una integral de Stieltjes de $k$ órdenes involucrando la función de conteo de primos $\pi(u)$ .
Descomposición del Teorema del Número Primo (PNT): El diferencial $d\pi(u)$ se divide en el término principal $du/\log u$ y un término de resto $dR(u)$, donde $R(u) = \pi(u) - \text{Li}(u)$ . Se demuestra que los términos de error provenientes del resto son despreciables (decaen más rápido que cualquier potencia de $\log x$ ) utilizando integración por partes y cotas sobre $R(u)$ .
Reescalado de Variables y Expansión de Taylor: La integral del término principal se reescala mediante $u_j = x t_j$ . El dominio se particiona en una "región principal" (donde $t_j$ están alejados de 0) y una "región de frontera". En la región principal, el núcleo $\prod (L + \log t_j)^{-1}$ (donde $L = \log x$ ) se expande utilizando una serie de Taylor multivariada que involucra polinomios simétricos homogéneos completos $h_n$ .
Técnicas de Transformada de Laplace: Las integrales de los coeficientes resultantes, definidas sobre el cubo unitario $(0,1]^k$ , se transforman en integrales de una sola variable utilizando la identidad $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$ . Esto reduce el problema al análisis de funciones generatrices que satisfacen ecuaciones diferenciales de orden superior específicas.
Extracción de Diferencias Finitas: Los coeficientes de la expansión se extraen utilizando operadores de diferencia hacia adelante $\Delta^{k-1}$ aplicados a las funciones generatrices, aprovechando la propiedad de que las diferencias de polinomios de grado menor a $k-1$ se anulan.

Contribuciones Clave y Resultados

Expansión Asintótica Completa (Teorema 1): El artículo demuestra que para cualquier $N \ge 0$ fijo:
$S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^N \frac{E_{k,n}}{\log^n x} + O\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right).$
Los coeficientes $E_{k,n}$ están dados por integrales logarítmicas múltiples absolutamente convergentes:
$E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dots, \log t_k)}{t_1 + \cdots + t_k} dt.$
Formas Cerradas para los Coeficientes Iniciales (Teorema 2):
- Término Principal ( $E_{k,0}$ ): Se deriva una forma cerrada que involucra una suma finita de logaritmos ponderados por coeficientes binomiales y potencias.
- Segundo Orden ( $E_{k,1}$ ): El coeficiente se expresa en una base que involucra $\pi^2$ , $\log m$ y el dilogaritmo $\text{Li}_2(-1/m)$ .
- Tercer Orden ( $E_{k,2}$ ): El coeficiente se descompone en una parte "diagonal" ( $k A_k$ ) y una parte "transversal" ( $\binom{k}{2} B_k$ ). La parte diagonal admite una forma cerrada para todo $k$ involucrando $\zeta(3)$ , $\pi^2$ , $\text{Li}_3(-1/m)$ y sumas logarítmicas. La parte transversal es totalmente explícita para $k \le 4$ , pero se vuelve estructuralmente compleja para $k \ge 5$ , involucrando polilogaritmos con denominadores $\ge 5$ que no parecen reducirse a la base estándar.
Expansiones Explícitas para $k=2$ y $k=3$ :
- Para $k=2$ , el artículo proporciona una fórmula cerrada para toda la secuencia $\{E_{2,n}\}_{n \ge 0}$ . Los coeficientes son combinaciones lineales $\mathbb{Q}$ -lineales de $\log 2$ y valores de la función zeta de Riemann $\zeta(j)$ , derivadas de la función eta de Dirichlet.
- Para $k=3$ , los tres primeros términos de la expansión son plenamente explícitos, combinando los resultados de $E_{3,0}, E_{3,1}, E_{3,2}$ .
Verificación Numérica: Los autores realizan computaciones numéricas para $S_2(x)$ y $S_3(x)$ hasta $x = 10^7$ . Los resultados confirman que el error relativo disminuye a medida que $x \to \infty$ y que la adición de términos sucesivos mejora la precisión, lo cual es consistente con la naturaleza asintótica de la serie. Los datos también ilustran el fenómeno de truncamiento óptimo para un $x$ fijo.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer estudio de la contraparte aditiva de la suma de Mertens en la literatura. Su importancia primordial radica en:

Establecer el orden de magnitud correcto ( $x^{k-1}/\log^k x$ ) y la estructura asintótica completa de la suma, contrastándola con el caso multiplicativo.
Reducir el cálculo de los coeficientes asintóticos a la evaluación de integrales múltiples específicas y proporcionar formas cerradas explícitas para los términos de orden principal y sub-principal.
Identificar una divergencia estructural en los coeficientes para $k \ge 5$ , donde los términos "transversales" introducen valores polilogarítmicos que probablemente resisten la reducción a una forma cerrada unificada, resaltando un límite en la capacidad analítica actual para tales sumas.

El trabajo se basa estrictamente en la forma de variables reales del PNT y no invoca conjeturas profundas (como la Hipótesis de Riemann) para los resultados asintóticos principales, aunque los términos de error dependen del límite de error clásico del PNT. El artículo concluye que, si bien las partes diagonales de los coeficientes de orden superior siguen siendo tratables mediante funciones generatrices, las partes transversales presentan un obstáculo fundamental para una forma cerrada unificada para un $k$ general.