The variance of a general class of multiplicative functions in short intervals

Sintesi Tecnica: La Varianza di una Classe Generale di Funzioni Moltiplicative in Brevi Intervalli

Enunciato del Problema
Il saggio affronta la valutazione asintotica della varianza delle funzioni moltiplicative in brevi intervalli. Mentre il comportamento globale delle funzioni moltiplicative (specificamente le somme parziali $\sum_{n \le X} f(n)$) è ben studiato, comprendere le loro fluttuazioni in brevi intervalli di lunghezza $H$ (dove $H \ll X$) presenta sfide significative. Gli autori si concentrano sulla varianza continua definita come:
$$\text{Var}_f(X; H) := \frac{1}{X} \int_X^{2X} \left| \sum_{x < n \le x+H} f(n) - \frac{H}{X} \sum_{n \le X} f(n) \right|^2 dx$$
L'obiettivo primario è stabilire formule asintotiche precise per questa varianza per una vasta classe di funzioni moltiplicative, estendendosi oltre casi specifici come la funzione Möbius o gli indicatori di numeri privi di quadrati, verso un quadro generale che coinvolge parametri di crescita e ordine.

Metodologia
Gli autori impiegano una combinazione di analisi di Fourier, analisi complessa e la geometria aritmetica delle forme binarie. La metodologia è strutturata attorno alla decomposizione della funzione moltiplicativa $f(n)$ in una struttura di convoluzione $f = 1 *_k h$, dove $h$ appartiene a una specifica classe di funzioni moltiplicative.

1. Decomposizione e Troncatura: La somma sull'intervallo breve viene suddivisa in "piccoli divisori" (fino a un parametro $z$) e "grandi divisori" (maggiori di $z$). La varianza viene analizzata stimando separatamente il contributo di queste due parti, denotate con $J_{h,z}(X; H)$ e $K_{h,z}(X; H)$.
2. Analisi di Fourier e Calcolo dei Residui: Per la parte dei piccoli divisori, gli autori utilizzano l'analisi di Fourier, specificamente l'espansione di Fourier dei polinomi di Bernoulli e la funzione $S(x) = \frac{\sin \pi x}{\pi x}$. Impiegano l'integrazione di contorno e il teorema del residuo di Cauchy per valutare gli integrali che coinvolgono serie dirette e la funzione zeta di Riemann. Ciò consente loro di estrarre i termini principali e gestire i poli delle funzioni generatrici associate.
3. Conteggio di Punti Razionali su Forme Binarie: Un'innovazione critica nel gestire i casi di ordine superiore ($k \ge 3$) è l'uso del conteggio dei punti razionali su specifiche forme binarie. Invece di fare affidamento esclusivamente sull'approssimazione di Dirichlet (utilizzata nei lavori precedenti per $k=2$), gli autori applicano i risultati di Heath-Brown, Stewart e Xiao riguardanti la densità delle soluzioni intere per forme binarie $F(x, y)$. Questa tecnica è essenziale per limitare i termini fuori diagonale nel calcolo della varianza.
4. Teoremi sui Grandi Valori: Per la parte dei grandi divisori, gli autori utilizzano il teorema dei grandi valori di Huxley, il limite di sub-convessità di Bourgain per la funzione zeta di Riemann e il teorema del valore medio di Montgomery per controllare i termini di errore, particolarmente nel contesto "incondizionato" senza assumere l'ipotesi di Lindelöf.

Contributi Chiave e Risultati

• Definizione della Classe Generale: Il saggio definisce una classe generale di funzioni moltiplicative $\mathcal{F}_{\alpha, \beta, k}$ caratterizzata dai parametri $\alpha$ (crescita), $\beta$ (relativo all'ampiezza dei valori sui numeri primi) e $k$ (ordine). Questa classe comprende funzioni come $\mu_k(n)$ (indicatore di numeri $k$-liberi), $\phi(n)/n$ e le funzioni divisore generalizzate $\sigma_\alpha(n)$.
• Formule Asintotiche per la Varianza:
  • Caso $0 \le \alpha < 1/2$: Gli autori derivano una formula asintotica dove la varianza scala come $H^{(1-2\alpha)/k} (\log H)^{\beta^2-1}$. Il termine principale coinvolge una costante $c_{h,k}$ e un polinomio in $\log H$.
  • Caso $1/2 < \alpha < 2$: La varianza converge a una costante $c_{h,k}(H)$ che dipende dalla lunghezza dell'intervallo $H$, con un termine di errore del tipo $O(H^{-\epsilon})$.
  • Punto Critico $\alpha = 1/2$: Il saggio nota che non viene derivata una formula asintotica diretta per questo caso critico, sebbene venga stabilito un limite superiore di $O((\log H)^{\beta^2})$.
• Range Migliorati per Brevi Intervalli: Il saggio estende significativamente i range noti di $H$ per i quali tali formule asintotiche sono valide.
  • Per i numeri $k$-liberi ($k \ge 3$), il range valido per $H$ è esteso da circa $X^{0.3}$ a $X^{e(k,0)}$, dove $e(k,0)$ aumenta con $k$ (ad esempio, $e(3,0) \approx 0.605$).
  • Sotto l'ipotesi di Lindelöf, questi range sono ulteriormente estesi a $X^{g(k)}$.
• Confutazione di una Congettura: Gli autori forniscono un'analisi dettagliata della funzione totelente di Eulero normalizzata $\phi(n)/n$. Dimostrano che il limite della varianza non è una costante assoluta come congetturato da van Overbeeke, ma piuttosto una funzione $c_\zeta(H)$ che fluttua con $H$. Nello specifico, mostrano che per $H$ primo, la costante è limitata inferiormente da $\approx 0.1036$, contraddicendo il valore congetturato di $\approx 0.03$.
• Funzioni Divisore Generalizzate: I risultati migliorano i precedenti limiti per la varianza di $\sigma_\alpha(n)$ per $\alpha \in (-1, -1/2)$, fornendo formule asintotiche su un range più ampio di $H$ e superando la barriera di $1/2$ per determinati valori di $\alpha$.

Significatività
Il saggio sostiene di unificare lo studio della varianza per diverse funzioni moltiplicative sotto un unico quadro teorico. Collegando le "medie brevi" alle "medie lunghe" attraverso l'analisi di Fourier e la geometria dei numeri (forme binarie), gli autori forniscono un metodo robusto per analizzare le fluttuazioni in brevi intervalli.

Il lavoro è particolarmente degno di nota per:

1. Confutare la Congettura di van Overbeeke: Esso corregge una previsione specifica riguardante la varianza di $\phi(n)/n$, mostrando che il limite dipende dalle proprietà aritmetiche della lunghezza dell'intervallo $H$ piuttosto che da una costante universale.
2. Estendere la "Barriera di Metà": La metodologia permette l'analisi della varianza in intervalli più lunghi di $X^{1/2}$ per specifiche classi di funzioni, un regime in cui i metodi precedenti spesso fallivano o producevano limiti più deboli.
3. Varianza Discreta vs. Continua: Il saggio distingue tra varianze discrete e continue, notando che mentre la varianza continua può superare la barriera di $1/2$ nello spazio di Fourier, la varianza discreta rimane limitata da essa, evidenziando una differenza fondamentale nella rilevazione delle piccole fluttuazioni degli intervalli.

Gli autori sottolineano che i loro risultati forniscono nuove formule asintotiche e miglioramenti nel campo dell'analisi degli intervalli brevi per funzioni che includono indicatori $k$-liberi, il totelente normalizzato e somme divisore generalizzate, senza fare affidamento su congetture non dimostrate come l'Ipotesi di Riemann per i risultati principali incondizionati, sebbene RH e Lindelöf siano discussi per potenziali estensioni del range.