🔢 mathematics

Oscillation of partial sums of the Möbius function and zeros of Riemann's zeta function

Este artigo demonstra que para valores grandes de Y, a ordem média do módulo das somas parciais da função de Möbius no intervalo [0, Y alinha-se estreitamente com o maior termo de erro da fórmula de Riemann-von Mangoldt para a função de contagem de números primos, vinculando assim a oscilação dessas somas à distribuição dos zeros da função zeta de Riemann.

Autores originais: János Pintz

Publicado 2026-08-26

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: János Pintz

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

No vasto panorama da matemática, existe uma única questão que assombra estudiosos há quase dois séculos: como os números primos são distribuídos? Os primos são os blocos de construção da aritmética, os átomos indivisíveis a partir dos quais todos os outros números inteiros são construídos. Embora pareçam aparecer ao acaso, os matemáticos há muito suspeitam de uma ordem oculta sob o caos. Esta ordem está codificada em um objeto matemático complexo conhecido como função zeta de Riemann. O comportamento desta função, especificamente a localização de seus "zeros" — pontos onde o valor da função cai para zero — dita o ritmo dos primos. Se esses zeros estiverem sobre uma linha específica, os primos seguem um padrão previsível; se eles se desviarem, o padrão torna-se errático. Por mais de cem anos, a conexão entre esses zeros e os erros em nossas previsões de números primos tem sido um mistério central, impulsionando alguns dos trabalhos mais profundos na teoria dos números.

Um artigo recente do matemático János Pintz aborda um aspecto específico e difícil deste mistério: o comportamento das somas parciais da função de Möbius. Para entender isso, imagine uma contagem contínua onde você adiciona ou subtrai um para cada número com base em seus fatores primos. Esta contagem, conhecida como função de Mertens, é um barômetro sensível para a distribuição dos primos. Durante décadas, os matemáticos tentaram prever o quão alto ou baixo essa contagem pode oscilar. Uma conjectura famosa sugeriu outrora que a contagem nunca excederia a raiz quadrada do número que está sendo contado, mas isso foi provado falso na década de 1980. A questão que permanecia não era apenas sobre o tamanho dessas oscilações, mas sobre sua relação precisa com os zeros da função zeta. O tamanho médio dessas oscilações corresponde ao tamanho da maior oscilação individual? E ambos correspondem ao máximo teórico previsto pelos zeros?

O trabalho de Pintz fornece uma resposta definitiva a estas questões, estabelecendo um elo rigoroso entre o comportamento errático da função de Möbius e a geometria dos zeros da função zeta. O artigo prova que a magnitude média das oscilações da função de Möbius e a magnitude máxima dessas oscilações são, a longo prazo, assintoticamente equivalentes em sua ordem logarítmica. Mais importante ainda, o autor demonstra que ambos os valores são determinados com alta precisão por uma função real derivada da distribuição dos zeros da função zeta. Em termos mais simples, o artigo mostra que o "ruído" dos números primos não é um caos aleatório, mas é rigidamente controlado pela posição do zero mais dominante. Esta descoberta unifica duas formas diferentes de medir o erro nas previsões dos números primos — o erro médio e o erro do pior caso — mostrando que eles crescem na mesma taxa e são governados pela mesma força subjacente.

A pesquisa baseia-se em um século de esforços, refinando resultados anteriores que haviam apenas estabelecido conexões vagas ou trabalhado sob suposições estritas. Trabalhos anteriores mostraram que, se os zeros da função zeta permanecerem dentro de uma certa região, o erro na contagem de primos permanece pequeno. No entanto, a questão inversa — se o tamanho do erro nos diz exatamente onde os zeros estão — era muito mais difícil de resolver. O artigo de Pintz aborda isso ao mostrar que as taxas de crescimento do erro médio e do erro máximo são assintoticamente equivalentes às taxas de crescimento previstas pelos zeros. Ao desenvolver novas técnicas para lidar com as singularidades matemáticas que surgem ao trabalhar com o recíproco da função zeta, o autor foi capaz de provar que a relação é uma equivalência assintótica precisa em termos de ordem logarítmica, o que significa que a razão de seus logaritmos aproxima-se de 1. O artigo confirma que o valor máximo que a função de Möbius atinge em um determinado intervalo e o valor médio que ela mantém nesse mesmo intervalo compartilham a mesma taxa de crescimento logarítmico. Isso significa que, à medida que olhamos para números cada vez maiores, a diferença entre o comportamento típico e o comportamento extremo desaparece em um sentido logarítmico, mesmo que os valores em si não se tornem idênticos.

Uma parte crucial desta conquista envolve lidar com o caso em que os zeros podem estar muito próximos da linha crítica que separa a ordem do caos. O artigo aborda o cenário em que os zeros estão o mais à direita possível sem quebrar as leis matemáticas conhecidas. Neste caso difícil, o autor prova que os valores médio e máximo ainda convergem para a mesma previsão derivada dos zeros. Este resultado é significativo porque remove a necessidade de regiões abstratas e complexas de "espaço livre de zeros" para fazer estas previsções. Em vez disso, o artigo mostra que se pode simplesmente olhar para a soma das contribuições de todos os zeros para entender o comportamento da função. O autor estabelece que a soma destas contribuições, a contribuição máxima individual e os valores observados da função crescem todos à mesma taxa.

O artigo também esclarece a relação entre a função de Möbius e o termo de erro do teorema do número primo, que conta o número de primos até um determinado ponto. Embora estes sejam dois objetos matemáticos diferentes, Pintz mostra que seus comportamentos oscilatórios são quase idênticos. O desvio máximo e o desvio médio para o erro de contagem de primos e a soma de Möbius mostram ser governados pela mesma função dos zeros da função zeta. Isso implica uma unidade estrutural profunda em como os primos e suas funções relacionadas flutuam. O trabalho não depende de hipóteses não comprovadas como a própria Hipótese de Riemann; em vez disso, ele é válido independentemente de onde os zeros realmente estejam, desde que estejam dentro dos limites conhecidos. Os resultados são provados matematicamente, não simulados ou sugeridos, oferecendo uma base sólida para a compreensão dos limites da distribuição dos números primos.

No final, este artigo resolve uma ambiguidade de longa data sobre a natureza destas oscilações matemáticas. Ele confirma que o cenário do "pior caso" para a distribuição dos primos não é significativamente pior do que o cenário "médio" quando visto através da lente do crescimento logarítmico. Ambos são ditados pela mesma geometria subjacente da função zeta. O trabalho serve como uma poderosa confirmação de que as flutuações aparentemente aleatórias dos números primos são, de fato, um fenômeno altamente estruturado, rigidamente vinculado à localização dos zeros da função zeta de Riemann. Ao provar que as ordens de magnitude média e máxima coincidem em seu crescimento logarítmico, o artigo fornece um mapa mais claro e preciso do terreno onde os primos vivem, mostrando que os extremos e o cotidiano são dois lados da mesma moeda.

Resumo Técnico: Oscilação das Somas Parciais da Função de Möbius e os Zeros da Função Zeta de Riemann

Enunciado do Problema
O artigo aborda o comportamento assintótico das somas parciais da função de Möbius, definida como $M(x) = \sum_{n \le x} \mu(n)$ . Embora o comportamento oscilatório do termo de erro no Teorema do Número Primo, $\Delta(x) = \psi(x) - x$ , tenha sido estabelecido anteriormente pelo autor (Pintz, 2017) como estritamente ligado à distribuição dos zeros não triviais da função zeta de Riemann $\zeta(s)$ , o caso para $M(x)$ apresenta dificuldades significativamente maiores.

O desafio primordial surge porque a representação analítica de $M(x)$ envolve $1/\zeta(s)$ em vez de $\zeta'(s)/\zeta(s)$ . Consequentemente, a fórmula explícita para $M(x)$ contém singularidades da forma $x^\varrho / (\varrho \zeta'(\varrho))$ , que são mais complexas de manipular do que os polos simples encontrados na fórmula de $\Delta(x)$ . Além disso, sob a Hipótese de Riemann (RH), os melhores limites superiores conhecidos para $M(x)$ são mais fracos do que os de $\Delta(x)$ , e a oscilação de $M(x)$ permanece menos compreendida; por exemplo, não se sabe sequer se $|M(x)| \le 2\sqrt{x}$ para todo $x$ .

O problema central é determinar se a ordem máxima ( $S_{M,\delta}(x)$ ) e a ordem média ( $D_M(x)$ ) de $|M(x)|$ coincidem com alta precisão com o termo máximo da fórmula explícita (denotado por $Z(x)$ ) e com a soma dos termos (denotada por $W(x)$ ), analogamente aos resultados estabelecidos para $\Delta(x)$ .

Metodologia
O autor emprega uma combinação de técnicas de teoria analítica dos números, estendendo métodos anteriormente usados para $\Delta(x)$ ao contexto mais difícil de $M(x)$ .

Regiões de Zero-Livre e Estimativas de Densidade: A análise baseia-se na distribuição dos zeros não triviais $\varrho = \beta + i\gamma = 1 - \delta + i\gamma$ . O artigo utiliza o teorema de densidade de Carlson e a estimativa de Korobov–Vinogradov para $\zeta(s)$ próximo à reta $\sigma=1$ para limitar $|1/\zeta(s)|$ na faixa crítica.
Integração de Contorno: Para derivar limites superiores para $M(x)$ , o artigo utiliza um contorno de integração especializado conhecido como contorno de Huxley–Hooley–Ramachandra. Este contorno é construído dividindo a faixa crítica em retângulos e deslocando a fronteira direita de cada retângulo para passar pelo zero com a maior parte real dentro daquela região. Isso permite um controle preciso sobre o crescimento de $1/\zeta(s)$ ao longo do caminho de integração.
Estimativas de Integrais Ponderados: Para os limites inferiores, o autor introduz uma abordagem de integral ponderada inovadora. Ao definir uma função de peso específica envolvendo um zero $\varrho_0$ próximo à reta $\sigma=1$ , o artigo estabelece um limite inferior para a média ponderada de $|M(x)|$ . Isso envolve a construção de uma função de teste $g(s)$ e o uso da transformada de Mellin inversa para relacionar a integral de $|M(x)| às propriedades de $\zeta(s)$ .
Problemas Extremais: Para converter o limite inferior de uma média ponderada em um limite inferior para a média não ponderada (e, subsequentemente, para o máximo), o artigo resolve um problema extremal. Ele minimiza a integral de uma função $F(x)$ sujeita a uma restrição sobre sua integral ponderada, demonstrando que a distribuição de "pior caso" de $|M(x)|$ está concentrada próximo ao limite superior do intervalo.

Contribuições Principais e Resultados

O artigo estabelece conexões aguçadas entre a oscilação de $M(x)$ e a distribuição dos zeros de zeta, espelhando os resultados anteriormente obtidos para $\Delta(x)$ .

Definições:
- $Z(x) = \max_{\varrho; \gamma>0} \frac{x^\beta}{\gamma}$ (Termo maximal da fórmula explícita).
- $W(x) = \sum_{\varrho; |\gamma| \le x} \frac{x^\beta}{\gamma}$ (Soma dos termos).
- $D_M(x) = \frac{1}{x} \int_0^x |M(u)| du$ (Ordem média).
- $S_{M,\delta}(x) = \max_{x^{1-\delta} \le u \le x} |M(u)|$ (Ordem máxima em um intervalo curto).
- $\omega(x) = \log_x Z(x)$ e $\omega_{DM}(x) = \log_x D_M(x)$ .
Teoremas:
- Teorema 2.1: Para qualquer $\delta > 0$ fixo, quando $x \to \infty$ :
  $\omega_W(x) \sim \omega_{DM}(x) \sim \omega_{S_{M,\delta}}(x) \sim \omega(x)$
  Isso indica que as taxas de crescimento logarítmico da soma dos termos, da ordem média e da ordem máxima de $M(x)$ são assintoticamente equivalentes à taxa de crescimento determinada pelo "pior" zero (aquele que minimiza $\eta \log x + \log \gamma$ ).
- Teorema 2.2: Para qualquer $\delta > 0$ fixo:
  $\log W(x) \sim \log D_M(x) \sim \log S_{M,\delta}(x) \sim \log Z(x)$
- Corolários 2.1–2.2: Estes resultados estendem a equivalência para o termo de erro do Teorema do Número Primo ( $\Delta(x)$ ), mostrando que as ordens média e máxima de $|M(x)|$ e $|\Delta(x)|$ são assintoticamente idênticas e ambas coincidem com alta precisão com o termo maximal $Z(x)$ .
Distinção de Casos:
- Caso $\vartheta < 1$ : Onde $\vartheta = \sup \beta$ , os resultados seguem relativamente diretamente de teoremas de densidade e integração de contorno padrão.
- Caso $\vartheta = 1$ : Este é o caso crítico e mais difícil (correspondente à falsidade da Hipótese de Riemann ou à existência de zeros arbitrariamente próximos a $\sigma=1$ ). O autor prova que, mesmo neste caso, o limite inferior para a ordem média se mantém, superando as limitações de estimativas anteriores (como as do próprio autor em 1982/83) que eram insuficientes para o caso crítico.

Significância
O artigo afirma fornecer uma "generalização e um refinamento de longo alcance" dos resultados anteriores de Ingham (1932) e Turán (1950). Sua principal significância reside em demonstrar que o comportamento oscilatório das somas parciais da função de Möbius não é meramente limitado pela distribuição dos zeros de zeta, mas é assintoticamente determinado por ela com alta precisão.

Especificamente, o trabalho confirma que a ordem máxima e a ordem média de $|M(x)|$ são essencialmente as mesmas, e ambas são governadas pela mesma função $\omega(x)$ que dita o comportamento do termo de maior ordem da fórmula explícita. Isso resolve uma dificuldade de longa data no caso $\vartheta=1$ , mostrando que o "pior" zero (aquele mais próximo da reta $\sigma=1$ ) dita a magnitude do termo de erro, independentemente de a Hipótese de Riemann ser verdadeira ou falsa. Os resultados unificam a compreensão dos termos de erro tanto para o Teorema do Número Primo quanto para a função de Möbius, estabelecendo um elo rigoroso entre as propriedades analíticas de $\zeta(s)$ e as propriedades aritméticas de $\mu(n)$ .

Resumo Técnico: Oscilação das Somas Parciais da Função de Möbius e os Zeros da Função Zeta de Riemann

Mais como este