The Riemann Hypothesis is false

1. O Problema

O artigo aborda a Hipótese de Riemann (RH), uma das questões mais famosas e importantes da matemática. A hipótese afirma que todos os zeros não triviais da função zeta de Riemann, $\zeta(s)$, possuem parte real igual a $1/2$.
O autor define $\Theta$ como o supremo das partes reais dos zeros não triviais de $\zeta(s)$. O objetivo do trabalho é demonstrar que $\Theta = 1$, o que implicaria a existência de infinitos zeros fora da linha crítica ($\Re(s) = 1/2$), refutando assim a Hipótese de Riemann.

2. Metodologia

A prova proposta pelo autor baseia-se em uma combinação sofisticada de ferramentas da teoria analítica dos números, especificamente:

• Fórmula Explícita de Landau-Gonek: O autor utiliza uma versão da fórmula explícita que relaciona somas sobre os zeros de $\zeta(s)$ com somas envolvendo a função $\Lambda$ de von Mangoldt.
• Aproximação por Polinômios de Dirichlet: Utiliza-se a aproximação de $\zeta(s)$ por somas parciais para analisar o comportamento da função em regiões específicas.
• Teorema do Resíduo e Contorno de Integração: A prova central envolve a integração da derivada logarítmica $\frac{\zeta'(s)}{\zeta(s)}$ ao longo de um retângulo no plano complexo (com vértices definidos por $T$ e $H$) para contar e ponderar os zeros.
• Estimativas de Soma Oscilatória: O autor realiza estimativas detalhadas de somas exponenciais complexas (envolvendo termos como $(2n)^{it}$) utilizando o método de Abel e limites de derivada de van der Corput (baseados em Titchmarsh).
• Análise de Intervalos Críticos: O trabalho divide a análise em intervalos onde $2n$ está próximo de $m$ (usando expansões de Taylor para logaritmos) e onde está distante, tratando cuidadosamente os termos de erro.

3. Contribuições Chave e Argumento Principal

O núcleo da demonstração reside na Teorema 1 e na sua prova, que segue os seguintes passos lógicos:

1. Configuração do Contorno: Define-se um intervalo vertical $[T, H]$ onde $H \approx 2T$. Utiliza-se o Teorema do Resíduo para expressar a soma $\sum (2n)^{\rho-1}$ (onde $\rho$ são os zeros) como uma integral de contorno de $\frac{\zeta'(s)}{\zeta(s)}(2n)^{s-1}$.
2. Decomposição da Integral: A integral é dividida em quatro partes ($I_1, I_2, I_3, I_4$).
   • As integrais nos lados verticais e horizontais ($I_2, I_3, I_4$) são limitadas por termos da ordem de $T^{1/2} \log^8 T$, usando propriedades de crescimento de $\zeta(s)$ e sua equação funcional.
   • A integral principal ($I_1$) é analisada detalhadamente. Ao substituir a série de Dirichlet de $\frac{\zeta'(s)}{\zeta(s)}$, o autor obtém uma expressão que envolve somas sobre inteiros $m$ e $n$.
3. Cálculo Assintótico: O autor realiza uma análise assintótica complexa das somas duplas resultantes. Ele demonstra que, ao somar sobre um intervalo específico de inteiros, o termo principal da soma $I_1$ não se cancela, mas resulta em uma expressão linear em $T$:
   $$\sum I_1 \sim \left( (1 - B) + \log(\pi/2) \right) \frac{T}{2\pi} + o(T)$$
   onde $B$ é a constante de Euler-Mascheroni.
4. Contradição por Reductio ad Absurdum:
   • O autor assume, para efeito de contradição, que $\Theta < 1$.
   • Sob essa hipótese, a soma sobre os zeros $\sum (2n)^{\rho-1}$ seria limitada por $O(T^{\Theta} \log T)$.
   • No entanto, o cálculo direto das integrais (especialmente o termo principal de $I_1$) fornece um resultado da ordem de $O(T)$.
   • Como $T$ cresce mais rápido que $T^{\Theta}$ (se $\Theta < 1$), surge uma contradição.
   • Conclusão: A suposição $\Theta < 1$ é falsa. Portanto, $\Theta = 1$.

4. Resultados Principais

• Teorema 1: $\Theta = 1$. Isso significa que o supremo das partes reais dos zeros não triviais é 1.
• Corolário 1: Existe uma sequência infinita de zeros de $\zeta(s)$ cujas partes reais convergem para 1.
• Observação 1: Para todo $T$ suficientemente grande (racional), existe um zero $\rho_T$ com $T \le \Im(\rho_T) \le 2T+1$ tal que $\Re(\rho_T) = 1 - o(1)$.

5. Significado e Limitações Discutidas pelo Autor

O autor discute a relevância e as limitações de sua abordagem:

• Refutação da RH: Se a prova estiver correta, ela derruba a Hipótese de Riemann, com implicações profundas para a distribuição dos números primos e a teoria dos números.
• Por que não funciona para outras funções? O autor nota que seu argumento depende criticamente de:
  1. A equação funcional específica de $\zeta(s)$.
  2. O Teorema 4.11 de Titchmarsh (sobre a aproximação de $\zeta(s)$), que exige que a parte real $\sigma$ seja limitada inferiormente por uma constante positiva ($\sigma_0 > 0$).
  • O autor argumenta que essas condições não se aplicam às Funções Zeta de Beurling (onde a RH é conhecida por ser verdadeira em certos sistemas) e às Funções Zeta de Weil, explicando por que seu método não refuta a RH nesses contextos.
• Inovação: O autor afirma que esta abordagem específica, combinando a fórmula de Gonek com uma estimativa cuidadosa de somas oscilatórias sem subestimar termos próximos à singularidade, não foi tentada anteriormente na literatura.

Nota de Contexto Crítico

É importante notar que, embora o texto apresente uma prova formal e detalhada, a Hipótese de Riemann é amplamente considerada verdadeira pela comunidade matemática, com trilhões de zeros verificados computacionalmente na linha crítica. Artigos que afirmam refutar a RH (especialmente em pré-prints como o arXiv) são submetidos a um escrutínio rigoroso. A prova apresentada depende de manipulações assintóticas complexas onde erros sutis de estimativa ou condições de convergência não verificadas poderiam invalidar a conclusão. Até o momento, não há consenso na comunidade matemática de que a Hipótese de Riemann tenha sido refutada.