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

Sintesi Tecnica: Positività della Parte Reale della Derivata Logaritmica della Funzione $\xi$ di Riemann

Enunciato del Problema
Il saggio investiga il comportamento della parte reale della derivata logaritmica della funzione $\xi$ di Riemann, indicata come $\Re \frac{\xi'}{\xi}(s)$, all'interno della striscia critica $0 < \sigma < 1$. Nello specifico, gli autori si concentrano nella regione immediatamente a destra della linea critica, definita da $1/2 + 1/\sqrt{\log t} < \sigma < 1$ per $t$ sufficientemente grande.

Sebbene sia noto che $\Re \frac{\xi'}{\xi}(s) > 0$ per $\sigma > 1$ e che l'Ipotesi di Riemann (RH) sia equivalente alla validità di questa positività per ogni $\sigma > 1/2$, il comportamento nella striscia $1/2 < \sigma < 1$ rimane oggetto di studio. Il lavoro precedente di Goldstein e A.G. [5] ha stabilito un limite inferiore per la somma sui zeri sulla linea critica, ma questo limite tendeva a zero quando $\sigma \to 1/2$. L'obiettivo primario di questo lavoro è migliorare tale limite inferiore verso uno che cresca infinitamente quando $\sigma \to 1/2$, fornendo così una condizione più forte per la positività nelle vicinanze della linea critica.

Metodologia
Gli autori utilizzano tecniche di teoria analitica dei numeri, basandosi principalmente sulla rappresentazione in prodotto infinito della funzione $\xi$ e su metodi di sommazione parziale.

1. Espansione della Derivata Logaritmica: Lo studio utilizza l'espansione $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$, dove la somma corre sui non triviali zeri della funzione zeta di Riemann. La parte reale di questa somma viene decomposta in contributi provenienti dagli zeri sulla linea critica ($\rho = 1/2 + i\gamma$) e da ipotetici zeri fuori dalla linea critica ($\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$).
2. Sommazione Parziale e Approssimazione Integrale: Per stimare la somma sugli zeri della linea critica, gli autori utilizzano la sommazione parziale (Lemma 2) combinata con limiti espliciti per la funzione di conteggio degli zeri $N(T)$ (Lemma 3).
3. Stima Integrale: Una parte significativa del lavoro tecnico consiste nel derivare limiti inferiori espliciti per integrali della forma $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$. Il Lemma 5 fornisce un limite inferiore rigoroso per questi integrali, utilizzati per approssimare le somme discrete sugli zeri.
4. Gestione degli Zeri Ipotetici: Il saggio analizza gli scenari in cui la RH fallisce considerando il contributo degli zeri fuori dalla linea critica. Il Lemma 9 fornisce un limite superiore per la somma degli inversi dei quadrati delle distanze dagli ipotetici zeri, garantendo che il loro contributo non sovrasti il contributo positivo degli zeri della linea critica nella regione specificata.

Contributi Chiave e Risultati

• Limite Inferiore Migliorato (Teorema 6): Il risultato centrale è il Teorema 6, che stabilisce un nuovo limite inferiore esplicito per la parte reale della somma sugli zeri della linea critica. Per $1/2 + 1/\sqrt{\log t} < \sigma < 1$ e $t > 3.11 \times 10^{10}$, gli autori dimostrano che:
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  Qui, $c$ rappresenta la densità inferiore degli zeri sulla linea critica ($c = \liminf N_{1/2}(T)/N(T)$), e $\epsilon(t)$ è una funzione che svanisce come $\frac{\log \log t}{\log t}$. A differenza dei limiti precedenti, questa espressione diverge quando $\sigma \to 1/2$, offrendo un vincolo più forte.

• Analisi degli Scenari di Fallimento della RH: La Sezione 4 investiga la positività di $\Re \frac{\xi'}{\xi}(s)$ sotto l'ipotesi che la RH sia falsa. Gli autori considerano tre casi:

  1. Un singolo zero fuori dalla linea critica.
  2. Un numero finito di zeri fuori dalla linea critica.
  3. Infiniti zeri fuori dalla linea critica.
     In tutti i casi, gli autori dimostrano che $\Re \frac{\xi'}{\xi}(s)$ rimane positivo nella regione $1/2 + 1/\sqrt{\log t} < \sigma < 1$, eccetto potenzialmente in piccoli intorno che circondano gli ipotetici zeri non triviali. Il contributo positivo dagli zeri della linea critica (scalato da $c$) domina i contributi negativi dagli zeri fuori linea nella regione specificata.

• Verifica Numerica: Gli autori utilizzano il database Odlyzko [12] per visualizzare la regione in cui l'ineguaglianza è valida, confermando i limiti teorici per specifici valori elevati di $t$ (ad esempio, $t \approx 2.68 \times 10^{11}$).

Significatività e Rivendicazioni
Il saggio sostiene di perfezionare la comprensione della derivata logaritmica della funzione $\xi$ vicino alla linea critica. Ottenendo un limite inferiore che cresce al tendere di $\sigma \to 1/2$, il lavoro rafforza l'evidenza per la positività di $\Re \frac{\xi'}{\xi}(s)$ nella striscia critica, anche senza assumere che l'Ipotesi di Riemann sia vera.

Gli autori inquadrano modestamente il loro contributo come un miglioramento dei risultati di Goldstein e A.G. [5]. Non pretendono di dimostrare l'Ipotesi di Riemann; piuttosto, mostrano che se la RH fallisce, la "regione di positività" della derivata logaritmica è robusta, persistendo vicino alla linea critica eccetto nelle immediate vicinanze degli ipotetici controesempi. Il lavoro fornisce limiti espliciti e computabili che dipendono dalla densità degli zeri della linea critica ($c$) e dall'ampiezza di $t$.