On additive convolution sum of arithmetic functions and related questions

Sintesi Tecnica: Sulle Somme di Convoluzione Additiva di Funzioni Aritmetiche e Questioni Correlate

Enunciato del Problema
Il saggio affronta il comportamento asintotico delle somme di convoluzione additiva di funzioni aritmetiche, concentrandosi in particolare sulla sottosomma $\sum_{n < M} f(n)g(N-n)$ dove $M \le N$. Mentre la somma di convoluzione traslata $\sum_{n \le N} d(n)d(n+h)$ è stata ampiamente studiata sin dal lavoro seminale di Ingham, la somma di convoluzione additiva $\sum_{n < N} d(n)d(N-n)$ e le sue sottosomme hanno ricevuto meno attenzione. Gli autori mirano a estendere i risultati classici di Ingham per derivare formule asintotiche per queste sottosomme con termini di errore espliciti, in particolare per la funzione divisore $d(n)$, e successivamente generalizzare tali risultati a funzioni aritmetiche che ammettono espansioni di Ramanujan assolutamente convergenti.

Metodologia
Gli autori impiegano una combinazione di tecniche classiche della teoria analitica dei numeri e stime moderne riguardanti le funzioni divisore nelle progressioni aritmetiche.

1. Estensione del Metodo di Ingham (Teorema 1):
   Per la funzione divisore $d(n)$, gli autori adattano l'approccio geometrico di Ingham. Interpretano la somma $\sum_{n \le M} d(n)d(N-n)$ come il conteggio di 4-uple $(l, r, m, s)$ soddisfacenti $lr + ms = N$ con $ms \le M$.

• Ottimizzazione dei Limiti: A differenza dell'uso da parte di Ingham della disuguaglianza AM-GM per limitare il prodotto $n(N-n)$ per $N^2/4$, gli autori utilizzano il vincolo specifico $n \le M$ per derivare un limite più stretto $X = \sqrt{M(N-M)}$.
• Decomposizione dell'Insieme: L'insieme delle soluzioni è decomposto in insiemi simmetrici $P$ e $Q$ e un'intersezione $R$. La cardinalità è stimata utilizzando le proprietà della funzione divisore e la distribuzione delle soluzioni alle equazioni diofantee lineari.
• Analisi degli Intervalli: La dimostrazione distingue attentamente tra diversi intervalli di $M$ rispetto a $N$, analizzando specificamente i termini di errore quando $M$ è vicino a $N/2$ rispetto a quando $M$ è minore.

2. Regime di $M$ Piccolo (Teorema 2):
   Per il caso in cui $M = N^\alpha$ con $3/4 < \alpha < 1$, il metodo geometrico è insufficiente. Gli autori utilizzano l'identità $d(n) = \sum_{t|n} 1$ per riscrivere la somma come una somma su classi di residui.

• Applicano un risultato di Pongsriiam e Vaughan (estendendo Fouvry e Iwaniec) riguardante la media della funzione divisore nelle progressioni aritmetiche: $\sum_{n \le M, n \equiv N \pmod t} d(n)$.
• Ciò consente la derivazione di una formula asintotica che coinvolge le somme di Ramanujan $c_r(N)$ e serie specifiche $S_i(N)$.

3. Funzioni Aritmetiche Generali (Teorema 3):
   Gli autori generalizzano i risultati a funzioni $f$ e $g$ con espansioni di Ramanujan assolutamente convergenti ($f(n) = \sum a_f(r)c_r(n)$).

• Ortogonalità: Utilizzano un lemma di ortogonalità per le somme di Ramanujan: $\sum_{n < M} c_r(n)c_s(N-n) \approx \delta_{r,s} M c_r(N)$.
• Troncamento e Controllo dell'Errore: Le somme sono suddivise in un termine principale (dove gli indici $r, s$ sono piccoli) e un termine di errore (dove gli indici sono grandi). I termini di errore sono controllati utilizzando le condizioni di decadimento $|a_f(r)|, |a_g(r)| \ll r^{-(1+\delta)}$ e i limiti precedentemente stabiliti per la convoluzione della funzione divisore.

Contributi Chiave e Risultati

• Teorema 1 (Sottosumme della Funzione Divisore): Il saggio stabilisce una formula asintotica per $\sum_{n \le M} d(n)d(N-n)$ per $M \le N/2$.

  • Il termine principale è $\frac{6}{\pi^2} M \sigma_{-1}(N) \log^2 X$, dove $X = \sqrt{M(N-M)}$.
  • Il termine di errore dipende dalla relazione tra $M$ e $N$. Specificamente, se $N/(\sigma_{-1}(N) \log N)^2 = o(M)$, la formula è valida.
  • Gli autori forniscono limiti di errore raffinati per diversi intervalli di $M$, inclusi i casi in cui $M$ è vicino a $N/2$ e i casi in cui $M$ è più piccolo ma soddisfa ancora la condizione di crescita.
  • Corollario 1 estende questi risultati all'intervallo $N/2 \le M \le N$ utilizzando la simmetria della somma completa.

• Teorema 2 (Piccolo $M$): Per $M = N^\alpha$ con $3/4 < \alpha < 1$, gli autori derivano una formula asintotica più complessa che coinvolge le serie $S_0(N), S_1(N), S_2(N)$ definite tramite le somme di Ramanujan, colmando un vuoto dove il metodo geometrico del Teorema 1 fallisce.

• Teorema 3 (Funzioni Generali): Per funzioni aritmetiche con espansioni di Ramanujan assolutamente convergenti che soddisfano condizioni di decadimento polinomiale sui loro coefficienti, il saggio dimostra che:
  $$\sum_{n < M} f(n)g(N-n) = M \sum_{r \ge 1} a_f(r)a_g(r)c_r(N) + \text{Termine di Errore}$$
  Il termine di errore è $O(M^{1-\delta}(\log M)^{4-2\delta})$ per $\delta < 1$, $O(\log^3 M)$ per $\delta = 1$, e $O(1)$ per $\delta > 1$.

• Corollario 2: Come applicazione, gli autori derivano formule asintotiche per somme che coinvolgono le funzioni divisore normalizzate $\sigma_\alpha(n)/n^\alpha$, migliorando i risultati precedenti in [6] fornendo termini di errore espliciti ed estendendo l'intervallo dei parametri.

Significato e Rivendicazioni
Il saggio sostiene di estendere i risultati classici di Ingham dalle somme complete alle sottosomme, fornendo una comprensione più granulare di come la convoluzione additiva si comporti al variare del limite di sommatoria $M$.

• Motivazione: Lo studio è motivato da problemi nella teoria additiva dei numeri, come la congettura di Goldbach, dove la comprensione della distribuzione dei sommandi primi (o delle potenze di primi) fino a un certo limite $M \le N/2$ è cruciale. Gli autori osservano che mentre la somma completa conta tutte le rappresentazioni, il comportamento della sottosomma è rilevante per determinare il minimo possibile sommand prime.
• Contributo Metodologico: Il lavoro evidenzia la necessità di scegliere attentamente l'intervallo di $M$ per ottenere formule asintotiche valide con termini di errore gestibili. Dimostra che per $M$ piccolo, il comportamento è governato dalla distribuzione dei divisori nelle progressioni aritmetiche, mentre per $M$ più grande, i vincoli geometrici sul prodotto $n(N-n)$ dominano.
• Limitazioni: Gli autori notano con modestia che il loro metodo per il Teorema 1 non può trattare valori molto piccoli di $M$ (specificamente $M = N^\alpha$ per $\alpha < 3/4$), e che la dimostrazione per il Teorema 2 è limitata a $3/4 < \alpha < 1$. Notano inoltre che le costanti implicite nei termini di errore per le funzioni generali possono dipendere da $N$, sebbene tale dipendenza possa essere mitigata sotto specifiche condizioni di crescita di $M$.

Il saggio non pretende di risolvere la congettura di Goldbach o la congettura dei numeri primi gemelli, ma pone che le formule asintotiche derivate per le sottosumme di convoluzione forniscano strumenti e intuizioni necessari per tali investigazioni.