🔢 mathematics

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

Este artigo estabelece a expansão assintótica completa da soma de Mertens aditiva $S_k(x)$ , derivando seu comportamento de ordem principal de $x^{k-1}/\log^k x$ e fornecendo fórmulas explícitas para os coeficientes da expansão em termos de integrais logarítmicas múltiplas, com resultados totalmente explícitos para os primeiros termos para um $k$ geral e uma sequência de forma fechada completa para o caso $k=2$ .

Autores originais: Daoyi Peng, Hao Liu

Publicado 2026-07-13

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Daoyi Peng, Hao Liu

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um saco gigante de números primos — os blocos de construção da matemática como 2, 3, 5, 7 e assim por diante. Agora, imagine que você escolhe $k$ desses primos aleatoriamente (onde $k$ é pelo menos 2) e os soma. O artigo faz uma pergunta muito específica: se você tirar o recíproco dessa soma (1 dividido pela soma) e somar todas as combinações possíveis desses primos até um número enorme $x$ , qual será o total?

Isso é chamado de soma de Mertens aditiva, denotada como $S_k(x)$ .

A Grande Surpresa: Não é o que Você Esperava

Por muito tempo, os matemáticos ficaram obcecados com uma versão multiplicativa deste problema. Nessa versão, em vez de somar os primos, você os multiplica (como $p_1 \times p_2 \times \dots$ ). Essa versão cresce muito lentamente, como um sussurro que só fica mais alto quando você clica duas vezes em um botão repetidamente (matematicamente, cresce como $(\log \log x)^k$ ).

Mas este artigo inverte o roteiro. Os autores, Daoyi Peng e Hao Liu, descobriram que quando você soma os primos em vez de multiplicá-los, a soma explode muito mais rápido. Ela não sussurra; ela grita. O termo principal desta soma cresce como $\frac{x^{k-1}}{(\log x)^k}$ .

Para visualizar isso: se a versão multiplicativa é um caracol subindo uma parede, a versão aditiva é um foguete decolando, mas com uma taxa de consumo de combustível muito específica e previsível.

A Receita Mestra: Uma Expansão Assintótica Completa

O artigo não diz apenas a velocidade do foguete; ele escreve a receita completa para toda a trajetória de voo. Eles provaram que, conforme $x$ se torna infinitamente grande, você pode descrever $S_k(x)$ com uma 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)$

Pense nisso como um telescópio de alta precisão. O primeiro termo ( $\text{Constante}_0$ ) dá uma imagem borrada das estrelas. O próximo termo ( $\text{Constante}_1$ ) ajusta o foco. O próximo ( $\text{Constante}_2$ ) torna a imagem cristalina. Os autores provaram que você pode continuar adicionando esses "botões de foco" para sempre para obter uma aproximação cada vez melhor.

Os Ingredientes Secretos: Os Coeficientes

A verdadeira magia reside em descobrir o que são esses "Constantes" de fato. Os autores descobriram que esses números não são aleatórios; eles estão escondidos dentro de integrais multidimensionais complexas (imagine medir o volume de uma forma que existe em $k$ dimensões, onde a forma é definida por logaritmos).

Eles conseguiram decifrar o código para os primeiros ingredientes:

O Primeiro Ingrediente ( $E_{k,0}$ ): Eles encontraram uma fórmula de forma fechada limpa para este. Por exemplo, se você tem 2 primos ( $k=2$ ), este número é $2 \log 2$ .
O Segundo Ingrediente ( $E_{k,1}$ ): Este é um pouco mais complexo, envolvendo constantes matemáticas famosas como $\pi^2$ e funções especiais chamadas polilogaritmos ( $\text{Li}_2$ ).
O Terceiro Ingrediente ( $E_{k,2}$ ): Aqui, as coisas ficam complicadas. Os autores conseguiram escrever uma fórmula perfeita para a parte "diagonal" deste ingrediente (onde as variáveis se comportam bem), mas a parte "transversal" (onde as variáveis se misturam de formas bagunçadas) torna-se um pesadelo para $k \ge 5$ .

Crucialmente, o artigo descarta explicitamente uma fórmula unificada simples para o terceiro ingrediente quando $k$ é grande (5 ou mais). Embora eles possam calcular para casos pequenos como $k=2, 3, 4$ , a matemática fica tão emaranhada com valores estranhos de polilogaritmos que eles admitem que uma expressão de "forma fechada" única e elegante para todos os $k$ provavelmente não existe da maneira que esperamos. Eles não dizem apenas "é difícil"; eles mostram que a estrutura fundamental muda, introduzindo novos tipos de números que não se dão bem com os antigos.

O Caso Especial: $k=2$

Quando você escolhe apenas dois primos ( $k=2$ ), os autores encontraram um "Bilhete Dourado". Eles descobriram que toda a sequência de coeficientes ( $E_{2,0}, E_{2,1}, E_{2,2}, \dots$ ) segue um padrão único e belo envolvendo a função eta de Dirichlet e a função zeta de Riemann. É como descobrir que toda a série infinita de botões de foco para um telescópio específico pode ser descrita por uma única equação elegante.

Quão Certos Eles Estão?

Os autores estão extremamente confiantes em seu resultado principal. Eles não apenas adivinharam; eles provaram usando ferramentas rigorosas como o Teorema do Número Primo e expansões de Taylor multivariadas.

A Prova: Eles demonstraram matematicamente que o erro em sua fórmula diminui mais rápido do que qualquer potência de $\log x$ à medida que $x$ se torna enorme.
Os Números: Para apoiar sua teoria, eles realizaram simulações computacionais massivas.
- Para $k=2$ , eles testaram números até $5.000.000$. A aproximação estava errada por apenas 0,2% ao usar apenas os cinco primeiros termos de sua fórmula.
- Para $k=3$ , eles testaram até $10.000.000$. A fórmula de três termos estava errada em cerca de 1,3%.
- Eles também notaram algo fascinante: se você interromper a fórmula cedo demais para números pequenos, ela piora. Esta é a natureza de uma série "assintótica" — é como um mapa que se torna mais preciso quanto mais longe você viaja, mas se você tentar usar a parte "distante" do mapa para navegar no seu quintal, poderá se perder.

A Conclusão

Este artigo resolve um mistério de longa data sobre como as somas de recíprocos de primos se comportam quando são somadas. Ele substitui um palpite vago por uma receita precisa e infinita. Embora tenham decifrado o código para os primeiros passos da receita (e a receita inteira para o caso mais simples de dois primos), eles também traçaram uma linha clara na areia: para casos mais complexos com muitos primos, os ingredientes de "termos cruzados" são complexos demais para serem escritos em uma única fórmula simples. A matemática está lá, foi provada e foi testada, mas a peça final do quebra-cabeça para grandes $k$ permanece um nó belo e não resolvido.

Resumo Técnico: Expansão Assintótica Completa da Soma de Mertens Aditiva $S_k(x)$

Enunciado do Problema
O artigo aborda o comportamento assintótico da soma de Mertens aditiva, definida para um inteiro $k \ge 2$ e $x > 2$ como:
$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$
onde $p_i$ são primos. Enquanto o análogo multiplicativo (soma de Mertens generalizada $\sum 1/(p_1 \cdots p_k)$ ) é bem estudado com um termo principal de ordem $(\log \log x)^k$ , a soma aditiva exibe uma taxa de crescimento fundamentalmente diferente. Limites elementares derivados da desigualdade AM-GM e do Teorema do Número Primo (PNT) sugerem que o termo principal é de ordem $x^{k-1}/\log^k x$ . O objetivo primário deste trabalho é estabelecer a expansão assintótica completa de $S_k(x)$ , determinando os coeficientes exatos da série e fornecendo expressões de forma fechada para os termos iniciais.

Metodologia
Os autores empregam uma combinação de teoria analítica dos números e técnicas de análise de variáveis reais:

Representação por Integral de Stieltjes: A soma é reformulada como uma integral de Stieltjes de $k$ ordens envolvendo a função de contagem de primos $\pi(u)$ .
Decomposição do Teorema do Número Primo (PNT): O diferencial $d\pi(u)$ é dividido em o termo principal $du/\log u$ e um termo de resto $dR(u)$, onde $R(u) = \pi(u) - \text{Li}(u)$ . Os termos de erro decorrentes do resto são mostrados como negligenciáveis (decaindo mais rápido que qualquer potência de $\log x$ ) usando integração por partes e limites para $R(u)$ .
Redimensionamento de Variáveis e Expansão de Taylor: A integral do termo principal é redimensionada via $u_j = x t_j$ . O domínio é particionado em uma "região principal" (onde $t_j$ estão afastados de 0) e uma "região de fronteira". Na região principal, o núcleo $\prod (L + \log t_j)^{-1}$ (onde $L = \log x$ ) é expandido usando uma série de Taylor multivariada envolvendo polinômios simétricos homogêneos completos $h_n$ .
Técnicas de Transformada de Laplace: As integrais de coeficientes resultantes, definidas sobre o cubo unitário $(0,1]^k$ , são transformadas em integrais de variável única usando a identidade $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$ . Isso reduz o problema à análise de funções geratrizes que satisfazem equações diferenciais de ordem superior específicas.
Extração de Diferenças Finitas: Os coeficientes da expansão são extraídos usando operadores de diferença progressiva $\Delta^{k-1}$ aplicados às funções geratrizes, aproveitando a propriedade de que diferenças de polinômios de grau inferior a $k-1$ são nulas.

Contribuições Principais e Resultados

Expansão Assintótica Completa (Teorema 1): O artigo prova que para qualquer $N \ge 0$ :
$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).$
Os coeficientes $E_{k,n}$ são dados por integrais logarítmicas múltiplas 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 Fechadas para Coeficientes Iniciais (Teorema 2):
- Termo Principal ( $E_{k,0}$ ): Uma forma fechada é derivada envolvendo uma soma finita de logaritmos ponderados por coeficientes binomiais e potências.
- Segunda Ordem ( $E_{k,1}$ ): O coeficiente é expresso em uma base envolvendo $\pi^2$ , $\log m$ e o dilogaritmo $\text{Li}_2(-1/m)$ .
- Terceira Ordem ( $E_{k,2}$ ): O coeficiente é decomposto em uma parte "diagonal" ( $k A_k$ ) e uma parte "transversal" ( $\binom{k}{2} B_k$ ). A parte diagonal admite uma forma fechada para todo $k$ envolvendo $\zeta(3)$ , $\pi^2$ , $\text{Li}_3(-1/m)$ e somas logarítmicas. A parte transversal é totalmente explícita para $k \le 4$ , mas torna-se estruturalmente complexa para $k \ge 5$ , envolvendo polilogaritmos com denominadores $\ge 5$ que não parecem reduzir à base padrão.
Expansões Explícitas para $k=2$ e $k=3$ :
- Para $k=2$ , o artigo fornece uma fórmula fechada para toda a sequência $\{E_{2,n}\}_{n \ge 0}$ . Os coeficientes são combinações lineares $\mathbb{Q}$ -lineares de $\log 2$ e valores da função zeta de Riemann $\zeta(j)$ , derivadas da função eta de Dirichlet.
- Para $k=3$ , os três primeiros termos da expansão são totalmente explícitos, combinando os resultados para $E_{3,0}, E_{3,1}, E_{3,2}$ .
Verificação Numérica: Os autores realizam computações numéricas para $S_2(x)$ e $S_3(x)$ até $x = 10^7$ . Os resultados confirmam que o erro relativo diminui conforme $x \to \infty$ e que a adição de termos sucessivos melhora a precisão, consistente com a natureza assintótica da série. Os dados também ilustram o fenôimento de truncamento ótimo para um $x$ fixo.

Significância e Alegações
O artigo afirma fornecer o primeiro estudo da soma de Mertens aditiva na literatura. Sua principal significância reside em:

Estabelecer a ordem de magnitude correta ( $x^{k-1}/\log^k x$ ) e a estrutura assintótica completa da soma, contrastando-a com o caso multiplicativo.
Reduzir o cálculo de coeficientes assintóticos à avaliação de integrais múltiplas específicas e fornecer formas fechadas explícitas para os termos principal e subjacente.
Identificar uma divergência estrutural nos coeficientes para $k \ge 5$ , onde os termos "transversais" introduzem valores polilogarítmicos que provavelmente resistem à redução a uma forma fechada unificada, destacando um limite nas capacidades analíticas atuais para tais somas.

O trabalho baseia-se estritamente na forma de variável real do PNT e não invoca conjecturas profundas (como a Hipótese de Riemann) para os principais resultados assintóticos, embora os termos de erro dependam do limite clássico do erro do PNT. O artigo conclui que, embora as partes diagonais de coeficientes de ordem superior permaneçam tratáveis via funções geratrizes, as partes transversais apresentam um obstáculo fundamental a uma forma fechada unificada para um $k$ geral.