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

Resumo Técnico: Valores Máximos de Números de Gronwall e o Resto da Fórmula de Mertens Modificada

1. Problema e Contexto

O artigo aborda a relação profunda entre a teoria dos números analítica e a Hipótese de Riemann (RH). O foco central recai sobre os Números de Gronwall, definidos como $G(N) = \frac{\sigma(N)}{N \log \log N}$, onde $\sigma(N)$ é a soma dos divisores de $N$.

O problema fundamental é entender o comportamento assintótico do valor máximo de $G(N)$ para inteiros $N$ que possuem um maior fator primo específico, denotado por $p_k$.

• Historicamente, T. Gronwall (1913) provou que $\limsup_{N \to \infty} G(N) = e^\gamma \approx 1.781$.
• S. Ramanujan e G. Robin estabeleceram que a desigualdade $G(N) < e^\gamma$ para todo $N > 5040$ é equivalente à Hipótese de Riemann.
• O autor investiga o comportamento de $G(N)$ quando $N$ é restrito ao conjunto $\tilde{W}_k$ (inteiros cujos maiores fatores primos são $p_1, \dots, p_k$ e todos aparecem com expoente positivo).

O objetivo principal é estabelecer uma relação limite incondicional (válida sem assumir a Hipótese de Riemann) entre a diferença entre o valor máximo de Gronwall ($\tilde{g}_k = \log \tilde{G}_k$) e a constante de Euler-Mascheroni ($\gamma$), e o termo de resto $Q(p_k)$ na Fórmula de Mertens Modificada.

2. Metodologia

O autor utiliza uma combinação de análise assintótica, propriedades de funções multiplicativas e otimização discreta. A metodologia divide-se em três etapas principais:

1. Construção de Limites Inferiores (Parte I do Teorema 1):

   • O autor constrói explicitamente uma sequência de inteiros $M_k \in \tilde{W}_k$ com estrutura específica de expoentes de fatores primos.
   • A construção envolve dividir os primos em três faixas com expoentes variados ($b_k$, 2 e 1) para maximizar a função objetivo.
   • Utiliza-se a fórmula de Taylor e estimativas para a função soma de divisores $\sigma(N)$ para demonstrar que esses inteiros atingem valores de $G(N)$ próximos ao limite inferior desejado.

2. Caracterização de Inteiros "Ótimos" (Seção 3):

   • O artigo introduz e analisa a classe de números $U_{1,k}$ (números localmente G-improváveis em um passo). Um inteiro $N$ pertence a $U_{1,k}$ se multiplicá-lo por qualquer primo $p \leq p_k$ ou dividi-lo por um fator primo não aumentar o valor de $G(N)$.
   • O autor prova que o máximo de $G(N)$ em $\tilde{W}_k$ é atingido necessariamente em um elemento de $U_{1,k}$.
   • São estabelecidas condições de otimalidade baseadas em desigualdades envolvendo funções auxiliares $\xi(p, \alpha)$ e $\nu(p, \eta)$, que relacionam os expoentes dos primos com o logaritmo do número $N$.
   • Demonstra-se que para $N \in U_{1,k}$, os expoentes dos primos são monotonicamente decrescentes e o logaritmo de $N$ satisfaz uma relação assintótica específica com $\theta(p_k)$ (a função de Chebyshev).

3. Prova de Limites Superiores (Parte II do Teorema 1):

   • Utilizando a caracterização dos números em $U_{1,k}$, o autor relaxa os expoentes inteiros para variáveis reais contínuas ($t_j$) para encontrar o máximo global da função $G(N)$ via cálculo diferencial.
   • Resolve-se um sistema de equações para encontrar o ponto estacionário ótimo, derivando uma equação determinante para o logaritmo do número ótimo $\tilde{\eta}^*$.
   • Aplica-se o Lema 3 para estimar a raiz dessa equação transcendental com alta precisão.
   • A análise assintótica das somas de restos (usando proposições sobre a função $\theta(x)$ e $\psi(x)$) permite refinar a estimativa do erro.

3. Contribuições Principais e Resultados

O resultado central é o Teorema 1, que estabelece uma relação limite incondicional e afiada. Seja $Q_k = Q(p_k)$ o termo de resto na fórmula de Mertens modificada $S(p_k) = \log \log \theta(p_k) + \gamma + Q(p_k)$.

O teorema afirma que:
$$\liminf_{k \to \infty} (\tilde{g}_k - \gamma - Q_k)\sqrt{p_k} \log p_k = -2\sqrt{2}$$

Isso implica duas afirmações concretas:

1. Existência de uma sequência construtiva: Existe uma sequência de inteiros $M_k$ tal que $G(M_k)$ atinge um limite inferior específico, demonstrando que a diferença $\tilde{g}_k - \gamma$ pode ser aproximada por $Q_k - \frac{2\sqrt{2}}{\sqrt{p_k} \log p_k}$.
2. Limitação Superior Universal: Para qualquer $N \in \tilde{W}_k$ (em um conjunto infinito de índices $k$), o valor de $G(N)$ é estritamente limitado acima por essa mesma expressão assintótica.

Descobertas Estruturais:

• Os inteiros que maximizam $G(N)$ para um dado maior fator primo $p_k$ possuem uma estrutura de expoentes muito específica (monotonicidade decrescente, com o último expoente igual a 1).
• O logaritmo desses inteiros ótimos satisfaz $\log N \approx \theta(p_k) + \sqrt{2\theta(p_k)}$.

4. Significado e Implicações

• Independência da Hipótese de Riemann: Diferente de muitos resultados na área que dependem da validade da RH, este trabalho fornece uma relação limite incondicional. Isso é crucial para entender o comportamento "real" das funções aritméticas independentemente de conjecturas não resolvidas.
• Refinamento da Desigualdade de Robin: O resultado fornece uma estimativa de precisão para o quão próximo $G(N)$ pode chegar de $e^\gamma$ para inteiros com fatores primos limitados. A relação com o termo de resto $Q(p_k)$ sugere que a flutuação de $G(N)$ em torno de $e^\gamma$ está intrinsecamente ligada à distribuição dos números primos descrita pela fórmula de Mertens.
• Estrutura dos Números Ótimos: A caracterização da classe $U_{1,k}$ e a prova de que os máximos ocorrem nesses números oferecem uma ferramenta poderosa para futuras investigações sobre a desigualdade de Robin. O autor sugere que esses resultados podem ser a chave para provar (ou refutar) a desigualdade de Robin de forma definitiva.
• Conexão Analítica: O trabalho conecta de forma elegante a análise assintótica de somas de primos (Mertens) com a teoria dos números multiplicativos (Gronwall/Ramanujan), utilizando técnicas de otimização para pontes entre o discreto e o contínuo.

Em suma, o artigo fornece uma descrição precisa e incondicional de como os números de Gronwall se comportam no limite, revelando uma estrutura matemática profunda que une o termo de erro de Mertens à distribuição dos máximos da função soma de divisores.