Waring's problem involving D.H. Lehmer numbers

Sintesi Tecnica: Il Problema di Waring relativo ai numeri di D.H. Lehmer

Enunciato del Problema
Questo articolo affronta una variazione del classico problema di Waring, investigando specificamente la rappresentazione di interi positivi sufficientemente grandi come somme di quarte potenze di numeri di D.H. Lehmer. Sia $p$ un numero primo dispari. Un numero di D.H. Lehmer è definito come un intero $a$ tale che $1 \le a \le p$, $\gcd(a, p) = 1$, e $a + \bar{a} \equiv 1 \pmod 2$, dove $\bar{a}$ è l'inverso moltiplicativo unico di $a$ modulo $p$ nell'intervallo $[1, p]$. L'insieme di questi numeri è indicato con $L(p)$.

Gli autori cercano di determinare il numero di quarte potenze di elementi di $L(p)$ necessari per rappresentare qualsiasi intero sufficientemente grande $N$. Questo si basa sui risultati classici di H. Davenport, il quale ha stabilito che ogni intero sufficientemente grande è la somma di 16 quarte potenze di numeri naturali, e che ogni intero sufficientemente grande non congruo a 15 o 16 modulo 16 è la somma di 14 tali potenze. L'articolo mira ad estendere questi risultati all'insieme ristretto dei numeri di D.H. Lehmer.

Metodologia
Gli autori impiegano il metodo del cerchio di Hardy-Littlewood, una tecnica analitica standard per i problemi di teoria additiva dei numeri. Il nucleo della metodologia consiste in:

1. Funzioni Generatrici: Gli autori definiscono somme esponenziali sull'insieme $L(p)$. Nello specifico, $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$, dove $P \approx (N/100)^{1/4}$. Per gestire la rappresentazione di $N$ come somma di 14 quarte potenze, introducono un insieme ausiliario di interi $\{u_1, \dots, u_U\}$, che sono somme di 4 quarte potenze di numeri di Lehmer, e definiscono $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$.
2. Rappresentazione Integrale: Il numero di rappresentazioni, $r_{14}(N)$, è espresso come un integrale sull'intervallo unitario: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$.
3. Archi Maggiori e Minori: Il dominio di integrazione è diviso in archi maggiori $\mathfrak{M}$ (vicino a numeri razionali con denominatori piccoli) e archi minori $\mathfrak{m}$.
   • Approssimazione sugli Archi Maggiori: Gli autori approssimano la somma esponenziale $T(\alpha)$ sugli archi maggiori utilizzando una componente di serie singolare $T^*(\alpha, a, q)$ e un termine di errore $H(\alpha)$. Ciò si basa sulla decomposizione della somma su $L(p)$ mediante somme di caratteri e proprietà della funzione di Möbius.
   • Stima sugli Archi Minori: Utilizzando la disuguaglianza di Weyl e i limiti sulle somme esponenziali che coinvolgono i caratteri, gli autori stabiliscono che il contributo dagli archi minori è trascurabile rispetto al termine principale.
4. Lemmi e Limiti: La dimostrazione si basa su una serie di lemmi che stabiliscono i limiti per:
   • Somme di caratteri (Lemma 1).
   • La distribuzione dei numeri di Lehmer in intervalli brevi (Lemma 3, Lemma 5).
   • Il numero di soluzioni a equazioni della forma $x^4 + u_h = y^4 + u_i$ (Lemma 6).
   • La densità dei numeri rappresentabili come somme di $s$ quarte potenze di numeri di Lehmer (Lemma 7).
   • Limiti per $T(\alpha)$ sia sugli archi maggiori che su quelli minori (Lemma 8, Lemma 14).

Contributi Chiave e Risultati
L'articolo stabilisce due teoremi primari riguardanti la rappresentabilità di grandi interi:

• Teorema 1: Ogni intero positivo sufficientemente grande $N$, a condizione che $N \not\equiv 15, 16 \pmod{16}$, può essere rappresentato come la somma di 14 quarte potenze di numeri di D.H. Lehmer.
• Teorema 2: Ogni intero positivo sufficientemente grande può essere rappresentato come la somma di 16 quarte potenze di numeri di D.H. Lehmer.

La dimostrazione del Teorema 1 consiste nel dimostrare che il termine principale nell'integrazione domina i termini di errore, garantendo che $r_{14}(N) > 0$ per le classi di congruenza specificate. Il Teorema 2 segue immediatamente dal Teorema 1 e dall'osservazione che 1 è un numero di Lehmer; pertanto, gli interi congrui a 15 o 16 modulo 16 possono essere ridotti alla forma $N-2$ (che rientra nelle classi di congruenza ammissibili) sottraendo due istanze di $1^4$.

Significato e Rivendicazioni
Gli autori affermano che questa è la prima ricerca condotta sul problema di Waring specificamente riguardante i numeri di D.H. Lehmer. La significatività del lavoro risiede nel fatto che:

1. Estensione dei Risultati Classici: Esso adatta con successo i metodi maturi utilizzati per il classico problema di Waring (specificamente per $k=4$) a un insieme ristretto di interi definiti da proprietà di aritmetica modulare.
2. Validazione di $G(4)=16$: Gli autori notano che il loro risultato, che restringe l'intervallo degli interi rappresentabili come somme di 16 quarte potenze al sottoinsieme specifico dei numeri di Lehmer, fornisce una prospettiva alternativa che valida il classico risultato $G(4)=16$.
3. Problemi Aperti: L'articolo conclude suggerendo che la scomposizione di $N$ in somme di potenze ristrette ai numeri di D.H. Lehmer per altri casi del problema di Waring rimane un'area aperta per future investigazioni.

Il lavoro è sostenuto dal Progetto di Ricerca Fondamentale per la Scienza Matematica e la Fisica dello Shaanxi e dal Progetto di Ricerca di Base delle Scienze Naturali della Provincia dello Shaanxi.