Averages of diagonal Elliott-Halberstam problem twisted by Möbius function with Sobolev and Hölder-Zygmund weights

Sintesi Tecnica: Medie di Problemi di Elliott-Halberstam Diagonali con Funzione di Möbius Torsione con Pesi di Sobolev e Hölder-Zygmund

Enunciato del Problema
Il documento investiga le varianti pesate delle medie del problema di Elliott-Halberstam (EH) con torsione della funzione di Möbius, denotata come $EH_\mu(N^\theta)$. La classica congettura $EH_\mu$ postula che la distribuzione dei numeri primi pesati dalla funzione di Möbius nelle progressioni aritmetiche esibisca una forte cancellazione, una condizione cruciale per superare il "problema della parità" nei metodi di setaccio. Nello specifico, la congettura afferma che per $0 < \theta < 1$, la somma delle discrepanze tra la distribuzione effettiva di $\Lambda(n)\mu(N-n)$ nelle classi di residui e il loro valore medio atteso sia limitata da $N/\log(N)^A$.

L'autore osserva che dimostrare $EH_\mu(N^\theta)$ per $\theta > 1/2$, in congiunzione con la congettura di Elliott-Halberstam classica, implica la congettura di Goldbach binaria per interi pari sufficientemente grandi. Tuttavia, la formulazione originale coinvolge un massimo sul range $y \le N$, il che complica l'analisi. Il documento si concentra su una versione "diagonale" di questo problema, denominata $dEH_{\mu, \log}(N^\theta)$, dove la sommatoria è ristretta al caso diagonale $n \equiv N \pmod q$ (effettivamente ponendo $y=N$ e rimuovendo il massimo su $y$). L'obiettivo primario è stabilire limiti superiori per le medie pesate di questa somma diagonale con torsione, dove i pesi $f$ appartengono a spazi funzionali specifici, dimostrando così la coerenza con i limiti congetturati.

Metodologia
L'innovazione metodologica centrale è l'applicazione di una formula di sommazione di Abel bidimensionale per "disaccoppiare" le funzioni aritmetiche coinvolte nella media pesata. L'autore utilizza due approcci distinti a seconda della regolarità della funzione peso $f$:

1. Caso Continuo (Spazi di Sobolev): Per pesi $f$ nello spazio di Sobolev $W^{2,1}$, l'autore impiega una formula di sommazione di Abel bidimensionale continua (Teorema 8). Questa identità mette in relazione la media pesata della convoluzione di due funzioni aritmetiche con la convoluzione di Laplace delle loro formule esplicite non pesate. Ciò consente all'autore di sostituire direttamente le formule esplicite per la funzione di von Mangoldt $\Lambda(n)$ e la funzione di Mertens $M(n)$ (coinvolgendo le somme sui non triviali zeri delle funzioni $L$) nell'integrazione della rappresentazione.

2. Caso Discreto (Spazi di Hölder-Zygmund): Per pesi con minore regolarità, specificamente negli spazi di Hölder-Zygmund $C_\delta$ per $1 \le \delta < 2$, l'autore impiega una versione discreta della formula di sommazione di Abel (Teorema 9). Questo approccio sostituisce la derivata seconda del peso con differenze avanzate di secondo ordine ($\Delta^2_{1/N} f$). Questo spostamento permette all'analisi di fare affidamento sulle proprietà degli spazi di Hölder-Zygmund, che controllano la crescita di queste differenze finite.

Assunzioni Chiave
I risultati sono condizionati da diverse ipotesi standard o congetturate nella teoria analitica dei numeri:

• Ipotesi di Riemann Generalizzata (GRH): Assunta per le $L$-funzioni rilevanti.
• Congettura di Gonek-Hejhal (Versione Debole): Specificamente, la Congettura 19, che asserisce $\sum_{0<\gamma \le T} |\zeta'(\rho)|^{-2} \ll T$. Questa viene utilizzata per garantire la convergenza assoluta di serie doppie che coinvolgono gli zeri non triviali della funzione zeta di Riemann e delle funzioni $L$ di Dirichlet.
• Semplicità degli Zeri: L'analisi assume che gli zeri non triviali di $\zeta(s)$ siano semplici.

Contributi Chiave e Risultati

1. Riduzione alla Congettura Diagonale: Il documento dimostra prima (Sezione 2) che la congettura diagonale $dEH_{\mu, \log}$ è sufficiente per dimostrare la congettura di Goldbach binaria, giustificando lo studio di questa specifica variante.

2. Formule Esplicite per Medie Pesate:

   • Pesi di Sobolev ($W^{2,1}$): Il Teorema 21 fornisce una formula esplicita troncata per la media pesata coinvolgente un peso $f \in W^{2,1}$. Il termine principale è espresso come una doppia somma sugli zeri non triviali di $\zeta(s)$ e $L(s, \chi)$, pesata da funzioni Gamma e un integrale della derivata seconda di $f$.
   • Pesi di Hölder-Zygmund ($C_\delta$): Il Teorema 23 fornisce una formula esplicita simile per pesi in $C_\delta$, dove l'integrale che coinvolge $f''$ è sostituito da una somma che coinvolge la seconda differenza avanzata di $f$.

3. Limiti Superiori per Medie Pesate:

   • Caso Sobolev: Sotto GRH e la debole congettura di Gonek-Hejhal, il Teorema 22 stabilisce che per pesi in $W^{2,1}$, la media pesata del problema EH diagonale con torsione soddisfa il limite $\ll_\varepsilon N^{2-\varepsilon} E(f'')$ per l'intero range $0 < \theta < 1$ (specificamente $\theta = 1-2\varepsilon$).
   • Caso Hölder-Zygmund: Il Teorema 24 estende questi risultati a pesi in $C_\delta$. Il range raggiungibile di $\theta$ dipende dal parametro di regolarità $\delta$:
     • Per $\delta \in [3/2, 2)$, il limite vale per $\theta < \delta - 1 - 2\varepsilon$.
     • Per $\delta \in [1, 3/2)$, il limite vale per $\theta < 1/2 - 2\varepsilon$.
   • Pesi Logaritmici: La Sezione 5 estende questi risultati al caso in cui la funzione di Möbius è moltiplicata per un logaritmo, $\mu(n)\log(n)$, mostrando limiti analoghi (Teoremi 26 e 28).

4. Esempi: La Sezione 6 applica questi teoremi generali a specifiche funzioni peso, inclusi i classici pesi di Cesàro-Riesz (che rientrano nella classe di Sobolev per $k>1$) e un peso specifico di tipo Zygmund $f_{Zyg}(x) = (1-x)\sin(\log(1-x))$, dimostrando l'applicabilità del framework di Hölder-Zygmund.

Significato e Rivendicazioni
Il documento sostiene di fornire un limite superiore coerente per la media pesata del problema di Elliott-Halberstam diagonale con torsione. Il significato primario risiede nel dimostrare che tali limiti sono coerenti con le "versioni diagonali" della congettura (dove $y=N$) sotto l'assunzione di GRH e di una debole forma della congettura di Gonek-Hejhal.

L'autore sottolinea che il metodo gestisce con successo pesi con diversi gradi di regolarità. Utilizzando la formula di sommazione di Abel discreta, il documento estende l'analisi oltre i pesi lisci di Sobolev alla classe più ampia delle funzioni di Hölder-Zygmund. I risultati suggeriscono che la formulazione "diagonale", pur essendo più debole in termini di massimo su $y$, mantiene la forza necessaria per produrre la cancellazione attesa nelle medie pesate, a patto che i pesi siano sufficientemente regolari (o che la soglia di regolarità $\theta$ venga adeguata di conseguenza). Il lavoro non pretende di dimostrare la piena congettura di Elliott-Halberstam o la congettura di Goldbach in modo incondizionato, ma piuttosto stabilisce la validità delle varianti di medie pesate sotto standard ipotesi analitiche.