On Maximal Values of Gronwall Numbers for Integers with Given Greatest Prime Factor and Remainder in Modified Mertens Formula

Resumen Técnico del Artículo: "Sobre los Valores Máximos de los Números de Gronwall para Enteros con un Máximo Factor Primo Dado y el Residuo en la Fórmula Modificada de Mertens"

Autor: Gennadiy Kalyabin
Clasificación MSC: 11A25, 11N37 (Primaria); 11M26 (Secundaria)

1. Planteamiento del Problema

El artículo aborda la relación entre dos conceptos fundamentales en la teoría analítica de números:

1. Los Números de Gronwall: Definidos como $G(N) = \frac{\sigma(N)}{N \log \log N}$, donde $\sigma(N)$ es la suma de los divisores de $N$. El teorema de Gronwall (1913) establece que $\limsup_{N \to \infty} G(N) = e^\gamma$, donde $\gamma$ es la constante de Euler-Mascheroni.
2. La Fórmula de Mertens Modificada: Una versión refinada de la fórmula asintótica de Mertens para la suma de los recíprocos de los primos, expresada como $S(x) = \log \log \theta(x) + \gamma + Q(x)$, donde $Q(x)$ es el término de error (residuo).

El problema central es establecer una relación asintótica precisa y incondicional (sin asumir la Hipótesis de Riemann, RH) entre el valor máximo de $G(N)$ para enteros con un factor primo máximo dado ($p_k$) y el residuo $Q(p_k)$ en la fórmula de Mertens.

El autor se enfoca en el conjunto $\tilde{W}_k$ de enteros $N$ tales que su mayor factor primo es $p_k$ y que son múltiplos del primorial $p_1 \dots p_k$ (es decir, todos los exponentes en su factorización son positivos). Se define $\tilde{G}_k = \max \{G(N) : N \in \tilde{W}_k\}$.

2. Metodología

El autor emplea un enfoque analítico combinado con construcciones combinatorias de enteros específicos:

• Construcción de Enteros Óptimos: Se definen secuencias de enteros $M_k$ y se estudian las propiedades de los números "G-unmejorables en un paso" (clase $U_1$), introducidos en trabajos previos del autor. Estos son números para los cuales multiplicar o dividir por un primo no aumenta el valor de $G(N)$.
• Análisis Asintótico de Funciones: Se utilizan estimaciones precisas de las funciones de Chebyshev ($\theta(x)$, $\psi(x)$) y expansiones de Taylor para aproximar logaritmos de productos y sumas.
• Optimización Variacional: En la demostración de la cota superior, el autor relaja los exponentes enteros de la factorización de $N$ a variables reales continuas ($t_j$) para encontrar el máximo global de la función $G(N)$ mediante cálculo diferencial (derivadas parciales).
• Lemas Auxiliares: Se utilizan proposiciones sobre la equivalencia de condiciones para la maximalidad local de $G(N)$ y estimaciones de series de primos (Proposición A).

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1)

El resultado central del artículo es la siguiente relación límite incondicional:
$$\liminf_{k \to \infty} (\tilde{g}_k - \gamma - Q_k)\sqrt{p_k} \log p_k = -2\sqrt{2}$$
donde $\tilde{g}_k = \log \tilde{G}_k$ y $Q_k = Q(p_k)$ es el residuo en la fórmula de Mertens modificada evaluada en $p_k$.

Esto se desglosa en dos partes:

1. Cota Inferior (Construcción): Existe una secuencia constructiva de enteros $M_k \in \tilde{W}_k$ tal que:
   $$\log G(M_k) > S(p_k) - \log \log \theta(p_k) - \frac{2\sqrt{2} + \epsilon}{\sqrt{p_k} \log p_k}$$
   Esto demuestra que los valores máximos de Gronwall pueden acercarse a la cota teórica con una precisión específica relacionada con el residuo de Mertens.

2. Cota Superior (Optimización): Existe un conjunto infinito de índices $E$ tal que para todo $k \in E$ y todo $N \in \tilde{W}_k$:
   $$\log G(N) < S(p_k) - \log \log \theta(p_k) - \frac{2\sqrt{2} - \epsilon}{\sqrt{p_k} \log p_k}$$
   Esto establece que no se pueden superar estos valores máximos, independientemente de la validez de la Hipótesis de Riemann.

Caracterización de Números Máximos (Teorema 2)

El autor caracteriza la estructura de los enteros que alcanzan estos valores máximos (clase $U_{1,k}$):

• Los exponentes de los primos en la factorización son monótonamente decrecientes ($\alpha_1 \ge \alpha_2 \ge \dots \ge \alpha_k$).
• El exponente del mayor primo es siempre 1 ($\alpha_k = 1$).
• El logaritmo del entero óptimo $\eta = \log N$ satisface una relación asintótica precisa con el primorial: $\eta \approx \theta_k + \sqrt{2\theta_k}$.

Algoritmo de Construcción

Se presenta un algoritmo inductivo (Proposición 5) para construir el elemento mínimo $V_k$ en el conjunto de números que satisfacen las condiciones de maximalidad local, demostrando la existencia de tales números para infinitos $k$.

4. Significado e Impacto

• Independencia de la Hipótesis de Riemann: A diferencia de muchos resultados relacionados con la desigualdad de Robin (que es equivalente a la RH), este trabajo proporciona una relación asintótica incondicional. Esto es crucial porque establece límites reales sobre el comportamiento de la función suma de divisores sin depender de conjeturas no probadas.
• Conexión Profunda: El artículo revela una conexión cuantitativa directa entre el error en la distribución de los primos (residuo de Mertens) y la magnitud de los valores extremos de la función suma de divisores. El término $-2\sqrt{2}$ emerge como una constante universal en esta relación.
• Avance en la Desigualdad de Ramanujan-Robin: El autor sugiere que estas investigaciones sobre la estructura de los números que maximizan $G(N)$ y su relación con el residuo de Mertens podrían ser la clave para probar la desigualdad de Ramanujan-Robin ($G(N) < e^\gamma$ para $N > 5040$), la cual es equivalente a la Hipótesis de Riemann.
• Herramientas Nuevas: La introducción y análisis de la clase de números "G-unmejorables en un paso" ($U_1$) y sus versiones locales proporciona nuevas herramientas estructurales para estudiar problemas extremos en la teoría de números aditiva y multiplicativa.

En resumen, el paper ofrece una comprensión más profunda de cómo los errores en la distribución de los primos afectan los valores extremos de las funciones aritméticas clásicas, proporcionando cotas precisas y constructivas que son válidas en el marco de la matemática actual sin suposiciones adicionales.