On general divisor functions over Piatetski-Shapiro sequences

1. Il Problema

Il paper si concentra sullo studio delle funzioni divisorie generali all'interno delle successioni di Piatetski-Shapiro.
Le successioni di Piatetski-Shapiro sono definite come $[n^c]$, dove $n$ è un intero positivo e $c > 1$ è un numero reale. Il problema fondamentale in questo campo è determinare la distribuzione asintotica di funzioni aritmetiche $f(n)$ valutate su questi termini, ovvero stimare somme della forma:
$$\sum_{1 \le n \le x} f([n^c])$$
Storicamente, la ricerca si è focalizzata sulla distribuzione dei numeri primi in queste successioni (Teorema dei numeri primi di Piatetski-Shapiro) e sulle funzioni divisorie classiche $\tau_k(n)$ (il numero di modi in cui $n$ può essere scritto come prodotto di $k$ interi).
L'obiettivo specifico di questo lavoro è estendere i risultati noti sulle funzioni divisorie classiche a una classe più ampia di funzioni divisorie generali $f(n)$, definite come convoluzioni che coinvolgono la funzione $\tau(n)$ e una funzione di "errore" o peso $g(n)$, con l'ambizione di ottenere intervalli ammissibili per l'esponente $c$ più ampi rispetto alle tecniche precedenti.

2. Metodologia

L'autore impiega un approccio analitico sofisticato basato sulla teoria dei numeri analitica, in particolare sull'uso di somme esponenziali tridimensionali e tecniche di approssimazione delle funzioni a gradino.

• Decomposizione della somma: La somma principale viene trasformata utilizzando la relazione $[n^c] = m \iff -m\gamma < -n \le -(m+1)\gamma$ (dove $\gamma = 1/c$). Questo permette di esprimere la somma come un termine principale (integrale) più un termine di errore che coinvolge la funzione $\psi(t) = t - [t] - 1/2$.
• Approssimazione di Vaughan/Van der Corput: La funzione $\psi(t)$ viene approssimata tramite una somma di Fourier limitata (Lemma 2.1), introducendo un parametro $H$. Questo trasforma il problema di errore in una stima di somme esponenziali.
• Somme Esponenziali Tridimensionali: Il cuore della dimostrazione risiede nella stima di somme della forma:
  $$S = \sum \sum \sum e(h n_1^\gamma n_2^\gamma n_3^\gamma)$$
  L'autore utilizza il Teorema 3 di [28] (probabilmente un risultato di Iwaniec o simile sulle somme esponenziali con fasi non lineari) per ottenere stime superiori.
• Convoluzione e Simmetria: Sfruttando la struttura $f(n) = \sum_{n_1 n_2 = n} \tau(n_1) g(n_2)$, l'autore riduce il problema alla stima di somme che coinvolgono $\tau(n)$ e $g(n)$. La simmetria della funzione $\tau$ è cruciale per bilanciare i termini.
• Progressioni Aritmetiche: Per il caso delle progressioni aritmetiche (Teorema 1.5), l'autore integra le tecniche sopra citate con:
  • L'uso dei coefficienti di Fourier delle forme cuspidali di Hecke-Maass (Lemma 2.8).
  • Risultati profondi sul problema del divisore additivo binario $D(x, q) = \sum \tau(n)\tau(n+q)$ (Lemma 2.7, risultato classico di Jutila).
  • Disuguaglianze di Cauchy e tecniche di media quadratica per gestire le somme su $n \equiv a \pmod d$.

3. Contributi Chiave e Risultati Principali

Il contributo principale è l'estensione dei risultati sulle funzioni divisorie a una classe generale di funzioni $f(n)$ con un intervallo di $c$ più ampio, ottenibile senza ricorrere a risultati estremamente profondi e specifici (come quelli di Jutila usati per il caso $\tau(n)$ puro), ma piuttosto tramite stime di somme esponenziali tridimensionali.

Teorema 1.1 (Funzioni Generali)

Sia $f(n)$ una funzione aritmetica reale tale che $f(n) \ll n^\varepsilon$ e definita come:
$$f(n) = \sum_{n_1 n_2 = n} \tau(n_1) g(n_2)$$
con la condizione di crescita su $g(n)$:
$$\sum_{1 \le n \le x} |g(n)| \ll x^{5/8 + \varepsilon}$$
Allora, per ogni $c \in (1, 6/5)$, si ha:
$$\sum_{1 \le n \le x} f([n^c]) = \int_1^{x^c} \gamma u^{\gamma-1} d\left(\sum_{1 \le n \le u} f(n)\right) + O(x^{1-\varepsilon})$$
Questo risultato generalizza i casi noti per $\tau_k(n)$ e fornisce una formula asintotica precisa.

Corollari Applicativi

L'autore applica il Teorema 1.1 a casi specifici:

1. Funzione $\tau_{(1,1,2,2)}(n)$: Relativa alla media dei fattori diretti di gruppi abeliani finiti. Si ottiene un'asintotica con un errore $O(x^{1-\varepsilon})$ per $c \in (1, 6/5)$.
2. Funzione Divisoria $k$-free $\tau^{(k)}(n)$: Si ottiene una formula asintotica per la somma dei divisori $k$-free su successioni di Piatetski-Shapiro.
3. Funzione Divisoria Classica $\tau(n)$: Si recupera il risultato di Arkhipov-Chubarikov e il risultato più recente di [32] (che usava il teorema profondo di Jutila), ma con una dimostrazione basata su somme esponenziali tridimensionali, confermando la validità per $c \in (1, 6/5)$.

Teorema 1.5 (Progressioni Aritmetiche e Coefficienti di Hecke-Maass)

Il lavoro estende i risultati alle progressioni aritmetiche. Sia $f(n)$ definita come sopra, ma con una condizione su $g(n)$ che dipende da un parametro $\alpha$ legato ai coefficienti di Fourier $\lambda_\nu(n)$ di forme cuspidali di Hecke-Maass ($\lambda_\nu(n) \ll n^\alpha$).
La condizione diventa:
$$\sum_{1 \le n \le x} |g(n)| \ll x^{\frac{5+4\alpha}{8+4\alpha} + \varepsilon}$$
Per $c \in (1, \frac{8+4\alpha}{7+4\alpha})$, si ottiene una formula asintotica per la somma su $[n^c] \equiv a \pmod d$.

• Caso specifico: Per la funzione divisoria classica $\tau(n)$, dove $\alpha = 7/64$ (il miglior limite noto per i coefficienti di Hecke-Maass), l'intervallo ammissibile per $c$ diventa $c \in (1, 135/119)$. Questo fornisce un analogo delle successioni di Piatetski-Shapiro del risultato di Selberg-Hooley sulla distribuzione uniforme dei divisori nelle progressioni aritmetiche.

4. Significato e Impatto

• Generalizzazione: Il lavoro unifica diversi risultati precedenti (su $\tau_k$, $\tau^{(k)}$, ecc.) sotto un'unica cornice teorica per funzioni divisorie generali.
• Miglioramento degli Intervalli: Sebbene l'intervallo $c \in (1, 6/5)$ non sia il massimo assoluto possibile per i numeri primi (che arriva fino a $c \approx 1.16$), è significativo per le funzioni divisorie complesse, dove le tecniche tradizionali spesso falliscono o richiedono stime molto più deboli.
• Metodologia Alternativa: Dimostra che è possibile ottenere stime forti per le funzioni divisorie su successioni di Piatetski-Shapiro utilizzando somme esponenziali tridimensionali e tecniche di media, senza dipendere esclusivamente da risultati "profondi" e specifici come il teorema di Jutila per il caso $\tau(n)$ puro, rendendo la metodologia più flessibile per altre funzioni aritmetiche.
• Connessione con le Forme Modulari: L'integrazione dei coefficienti di Hecke-Maass nel contesto delle successioni di Piatetski-Shapiro apre nuove direzioni per lo studio della distribuzione di funzioni aritmetiche legate a forme modulari in progressioni aritmetiche.

In sintesi, il paper rappresenta un avanzamento significativo nella teoria analitica dei numeri, fornendo strumenti robusti per analizzare la distribuzione di una vasta classe di funzioni moltiplicative su sequenze non lineari.