Note on the positivity of the real part of the log-derivative of the Riemann $ξ$-function near the critical line

Resumo Técnico: Positividade da Parte Real da Log-Derivada da Função $\xi$ de Riemann

Enunciado do Problema
O artigo investiga o comportamento da parte real da derivada logarítmica da função $\xi$ de Riemann, denotada como $\Re \frac{\xi'}{\xi}(s)$, dentro da faixa crítica $0 < \sigma < 1$. Especificamente, os autores focam na região imediatamente à direita da linha crítica, definida por $1/2 + 1/\sqrt{\log t} < \sigma < 1$ para $t$ suficientemente grande.

Embora seja conhecido que $\Re \frac{\xi'}{\xi}(s) > 0$ para $\sigma > 1$ e que a Hipótese de Riemann (HR) é equivalente a essa positividade valendo para todo $\sigma > 1/2$, o comportamento na faixa $1/2 < \sigma < 1$ permanece um objeto de estudo. Trabalhos anteriores de Goldstein e A.G. [5] estabeleceram um limite inferior para a soma sobre os zeros na linha crítica, mas este limite tendia a zero quando $\sigma \to 1/2$. O objetivo primário deste trabalho é melhorar esse limite inferior para um que cresça infinitamente conforme $\sigma \to 1/2$, proporcionando assim uma condição mais forte para a positividade nas proximidades da linha crítica.

Metodologia
Os autores empregam técnicas de teoria analítica dos números, baseando-se primordialmente na representação de produto infinito da função $\xi$ e em métodos de somação por partes.

1. Expansão da Derivada Logarítmica: O estudo utiliza a expansão $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$, onde a soma percorre os zeros não triviais da função zeta de Riemann: a parte real desta soma é decomposta em contribuições de zeros na linha crítica ($\rho = 1/2 + i\gamma$) e de zeros hipotéticos fora da linha crítica ($\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$).
2. Somação por Partes e Aproximação Integral: Para estimar a soma sobre os zeros da linha crítica, os autores utilizam a somação por partes (Lema 2) combinada com limites explícitos para a função de contagem de zeros $N(T)$ (Lema 3).
3. Estimativa Integral: Uma parte significativa do trabalho técnico envolve a derivação de limites inferiores explícitos para integrais da forma $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$. O Lema 5 fornece um limite inferior rigoroso para essas integrais, que são utilizadas para aproximar as somas discretas sobre os zeros.
4. Tratamento de Zeros Hipotéticos: O artigo analisa cenários onde a HR falha, considerando a contribuição de zeros fora da linha crítica. O Lema 9 fornece um limite superior para a soma dos inversos dos quadrados das distâncias até os zeros hipotéticos, garantindo que sua contribuição não sobrecarregue a contribuição positiva dos zeros da linha crítica na região especificada.

Principais Contribuições e Resultados

• Limite Inferior Melhorado (Teorema 6): O resultado central é o Teorema 6, que estabelece um novo limite inferior explícito para a parte real da soma sobre os zeros da linha crítica. Para $1/2 + 1/\sqrt{\log t} < \sigma < 1$ e $t > 3.11 \times 10^{10}$, os autores provam:
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  Aqui, $c$ representa a densidade inferior de zeros na linha crítica ($c = \liminf N_{1/2}(T)/N(T)$), e $\epsilon(t)$ é uma função que se anula conforme $\frac{\log \log t}{\log t}$. Diferentemente de limites anteriores, esta expressão diverge conforme $\sigma \to 1/2$, oferecendo uma restrição mais forte.

• Análise de Cenários de Falha da HR: A Seção 4 investiga a positividade de $\Re \frac{\xi'}{\xi}(s)$ sob a suposição de que a HR é falsa. Os autores consideram três casos:

  1. Um único zero fora da linha crítica.
     de um número finito de zeros fora da linha crítica.
  2. Infinitos zeros fora da linha crítica.
     Em todos os casos, os autores demonstram que $\Re \frac{\xi'}{\xi}(s)$ permanece positivo na região $1/2 + 1/\sqrt{\log t} < \sigma < 1$, exceto potencialmente em pequenas vizinhanças ao redor dos hipotéticos zeros não triviais. A contribuição positiva dos zeros da linha crítica (escalonada por $c$) domina as contribuições negativas dos zeros fora da linha na região especificada.

• Verificação Numérica: Os autores utilizam o banco de dados de Odlyzko [12] para visualizar a região onde a desigualdade se mantém, confirmando os limites teóricos para valores específicos de $t$ grandes (por exemplo, $t \approx 2.68 \times 10^{11}$).

Significância e Alegações
O artigo afirma refinar a compreensão da log-derivada da função $\xi$ perto da linha crítica. Ao obter um limite inferior que cresce conforme $\sigma \to 1/2$, o trabalho fortalece a evidência para a positividade de $\Re \frac{\xi'}{\xi}(s)$ na faixa crítica, mesmo sem assumir que a Hipótese de Riemann seja verdadeira.

Os autores enquadram modestamente sua contribuição como uma melhoria sobre os resultados de Goldstein e A.G. [5]. Eles não pretendem provar a Hipótese de Riemann; em vez disso, mostram que, se a HR falhar, a "região de positividade" da log-derivada é robusta, persistindo perto da linha crítica, exceto na vizinhança imediata de contraexemplos hipotéticos. O trabalho fornece limites explícitos e computáveis que dependem da densidade de zeros da linha crítica ($c$) e da magnitude de $t$.