🔢 mathematics

Analytical continuation of prime zeta function for $\Re(s)>\frac{1}{2}$ assuming (RH)

Assumindo a Hipótese de Riemann, o artigo deriva uma expressão simples para a continuação analítica da função zeta dos primos para o domínio $\Re(s)>\frac{1}{2}$ , considerando um corte de ramo adequado, e valida a fórmula numericamente por meio de gráficos.

Autores originais: Artur Kawalec

Publicado 2026-03-27

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Artur Kawalec

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 os números primos (2, 3, 5, 7, 11...) são como as "pedras fundamentais" ou os "átomos" de toda a matemática. Os matemáticos adoram tentar entender como essas pedras se organizam. Uma das ferramentas mais famosas para estudar essa organização é uma função chamada Função Zeta dos Primos (ou Prime Zeta Function).

Pense nessa função como uma máquina de somar. Ela pega cada número primo, faz uma operação matemática com ele e soma tudo. O problema é que essa máquina só funciona perfeitamente quando você usa números "grandes" o suficiente (matematicamente, quando a parte real do número é maior que 1). Se você tentar usar números menores, a máquina começa a falhar, a soma explode e o resultado fica sem sentido.

O Grande Desafio: A "Zona de Perigo"

Por muito tempo, os matemáticos sabiam que podiam estender o funcionamento dessa máquina até certo ponto (até a parte real ser maior que 0), mas havia uma parede invisível em 0. Atrás dessa parede, a função se tornava um caos de erros e não havia como consertá-la.

No entanto, existe uma conjectura famosa chamada Hipótese de Riemann (RH). Se ela for verdadeira (e a maioria dos matemáticos acredita que é), ela diz que os "erros" na distribuição dos números primos são muito menores do que pensávamos. É como se dissesse: "Os primos são um pouco bagunçados, mas não tão bagunçados assim".

A Descoberta de Artur Kawalec

O autor deste artigo, Artur Kawalec, usou essa "Hipótese de Riemann" como uma chave mágica. Ele conseguiu encontrar uma nova fórmula para consertar a máquina de somar e fazê-la funcionar em uma área muito mais ampla: de 1 até 0,5 (ou seja, metade do caminho até a parede do caos).

Como ele fez isso? (A Analogia do Construtor)

Imagine que você está tentando medir a altura de uma montanha (a soma infinita dos primos), mas você só consegue ver até certo ponto porque a neblina (a matemática complexa) esconde o topo.

O Método Antigo: Era como tentar contar cada pedra da montanha uma por uma. Funciona bem no começo, mas quando a neblina chega, você perde o rumo.
O Método de Kawalec: Ele usou uma técnica chamada "Integração de Stieltjes". Imagine que, em vez de contar cada pedra, ele olhou para o formato geral da montanha e usou uma fórmula de engenharia para estimar o que está escondido na neblina.
O "Remendo" Mágico: Ele descobriu que, para consertar a fórmula na nova área, ele precisava adicionar um "termo de correção" especial. Esse termo é uma função chamada Integral Exponencial (chamada de $E_1$ $E_{1}$ ).
- Pense nessa função como um amortecedor ou um cinto de segurança. Ela absorve os choques matemáticos que acontecem quando tentamos ir além do limite antigo.
- No entanto, esse cinto de segurança tem uma "costura" (um corte de ramo, ou branch cut). Isso significa que, se você cruzar uma linha específica (entre 0,5 e 1), a fórmula precisa ser lida de um jeito específico, como se você estivesse virando uma página de um livro para não se perder.

O Que Isso Significa na Prática?

O autor não ficou apenas na teoria. Ele escreveu um código de computador (usando uma linguagem chamada Pari/GP) para testar sua ideia.

O Teste: Ele comparou a fórmula antiga (que funciona em áreas seguras) com a nova fórmula dele (que usa o amortecedor $E_1$ ).
O Resultado: Os gráficos mostraram que as duas fórmulas se encaixaram perfeitamente, como duas peças de quebra-cabeça. A nova fórmula conseguiu "ver" através da neblina onde a antiga falhava, desde que a Hipótese de Riemann fosse verdadeira.

Resumo Simples

O Problema: A função que soma os primos parava de funcionar em certo ponto.
A Solução: Usando a crença de que os primos são "bem comportados" (Hipótese de Riemann), o autor criou uma nova fórmula com um "amortecedor" matemático.
O Resultado: Agora podemos calcular essa função em uma área muito mais ampla (até 0,5), o que nos dá mais poder para entender a distribuição dos números primos.
A Verificação: Computadores confirmaram que a nova fórmula é precisa e funciona na vida real.

Em suma, Kawalec encontrou um novo caminho para explorar o território dos números primos, usando uma "ponte" matemática que só pode ser construída se a Hipótese de Riemann for verdadeira. É como se ele tivesse encontrado um atalho seguro através de uma floresta densa que antes parecia intransitável.

1. O Problema

A função Zeta dos Primos, definida como $P(s) = \sum_{p} p^{-s}$ , é uma série que converge absolutamente apenas para $\Re(s) > 1$ .

Limitação Atual: A representação clássica via fórmula de inversão de Möbius, $P(s) = \sum_{n=1}^{\infty} \frac{\mu(n)}{n} \log \zeta(ns)$ , permite a continuação analítica para $\Re(s) > 0$ .
Barreira Natural: Existe uma barreira natural em $\Re(s) = 0$ , onde uma acumulação densa de singularidades impede qualquer continuação analítica para $\Re(s) \leq 0$ .
Objetivo: O autor busca derivar uma expressão que permita a continuação analítica de $P(s)$ para o domínio mais amplo de $\Re(s) > 1/2$ , assumindo a Hipótese de Riemann (RH) e tratando corretamente os cortes de ramo (branch cuts).

2. Metodologia

O autor utiliza integração de Stieltjes aplicada ao termo de erro da função de contagem de primos. O processo segue os seguintes passos lógicos:

Definição da Função de Contagem: Utiliza-se a função $\pi(x)$ (contagem de primos $\leq x$ ) e sua aproximação assintótica $\pi(x) = \text{li}(x) + f(x)$ , onde $\text{li}(x)$ é o integral logarítmico e $f(x)$ é o termo de erro.
Assunção da Hipótese de Riemann (RH): Sob a RH, o termo de erro é estimado como $f(x) = O(\sqrt{x} \log x)$ .
Integração por Partes (Stieltjes): A soma parcial de $P(s)$ $P (s)$ é expressa como uma integral de Stieltjes envolvendo $d\pi(t)$ $d π (t)$ . Ao substituir $\pi(t)$ $π (t)$ por $\text{li}(t) + f(t)$ $li (t) + f (t)$ , a integral é dividida em duas partes:
- Uma parte envolvendo $\text{li}(t)$ , que pode ser resolvida analiticamente.
- Uma parte envolvendo o termo de erro $f(t)$ .
Transformação da Integral Principal: A integral resultante da parte do $\text{li}(t)$ é transformada (via substituição $u = \log t$ ) na Integral Exponencial $E_1(z)$ .
Análise do Limite: Ao tomar o limite $x \to \infty$ , o autor demonstra que o termo de fronteira envolvendo o erro $f(x)$ decai suficientemente rápido para $\Re(s) > 1/2$ , permitindo sua negligência na fórmula final, embora seja crucial para a prova de convergência.

3. Contribuições Principais

O artigo apresenta o Teorema 1, que fornece uma nova fórmula explícita para a continuação analítica da função Zeta dos Primos:

$P(s) = \lim_{x \to \infty} \left( \sum_{p \leq x} \frac{1}{p^s} + E_1[(s-1)\log(x)] \right)$

Onde:

$E_1(z) = \int_z^\infty \frac{e^{-t}}{t} dt$ é a integral exponencial.
A fórmula é válida para $\Re(s) > 1/2$ .
Corte de Ramo: A fórmula introduz um corte de ramo no intervalo real $(1/2, 1]$ , decorrente da presença do logaritmo na expansão da integral exponencial $E_1$ .
Validação Numérica: O autor fornece um script em Pari/GP que implementa essa fórmula e a compara com a fórmula clássica de Möbius (válido para $\Re(s) > 0$ ).

4. Resultados

Convergência Numérica: As simulações mostram uma correspondência quase perfeita entre a fórmula clássica (Eq. 2) e a nova fórmula (Eq. 3) para $\Re(s) > 0.5$ .
Comportamento na Fronteira: Observa-se que, à medida que $s$ se aproxima de $0.5$, a convergência da nova fórmula começa a desviar, o que é esperado dada a natureza do limite do domínio de validade.
Plots: Foram gerados gráficos comparando as partes real e imaginária de $P(s)$ ao longo de uma linha vertical ( $\sigma = 0.75$ ) e no eixo real, confirmando a precisão da nova expressão.

5. Significado e Implicações

Expansão do Domínio: Este trabalho estende o domínio de definição analítica da função Zeta dos Primos de $\Re(s) > 0$ para $\Re(s) > 1/2$ , aproximando-se da linha crítica da Hipótese de Riemann.
Eficiência Computacional: A nova fórmula pode ser computacionalmente mais eficiente ou estável em certas regiões do plano complexo do que a série de Möbius, especialmente quando se lida com a estrutura de singularidades próxima a $\Re(s) = 1/2$ .
Dependência da RH: É crucial notar que a validade desta continuação para $\Re(s) > 1/2$ é condicional à Hipótese de Riemann. Sem a RH, o termo de erro $f(x)$ não decairia suficientemente rápido para garantir a convergência da integral de erro no limite.
Estrutura Analítica: O trabalho esclarece a estrutura de ramificação da função, identificando explicitamente o corte de ramo em $(1/2, 1]$ , o que é vital para aplicações que envolvem a integração de contorno ou a avaliação numérica precisa de $P(s)$ nesta região.

Em resumo, o artigo oferece uma ferramenta analítica e numérica robusta para estudar a função Zeta dos Primos mais perto da linha crítica, desde que a Hipótese de Riemann seja verdadeira.