Problema di Waring

In matematica, in particolare in teoria dei numeri, il problema di Waring, proposto da Edward Waring nel 1770, pone la seguente questione: esiste per ogni numero naturale $k$ un intero positivo $s$ tale che ogni numero naturale sia la somma di al più $s$ potenze $k$-esime di numeri naturali?

La risposta affermativa, nota come teorema di Hilbert-Waring, fu fornita da Hilbert nel 1909.

Il problema di Waring ha la sua Classificazione delle ricerche matematiche, 11P05, come "Waring's problem and variants".

Il numero g(k)

Per ogni k, il minimo numero s che verifica il teorema di Hilbert-Waring è denotato con g(k). Banalmente g(1)=1.

La prima parziale risposta sulla strada della determinazione esplicita di g(k) è stato il teorema di Lagrange del 1770, il quale stabilisce che quattro quadrati sono sufficienti a rappresentare ogni numero naturale; inoltre 7 non può essere scritto come somma di tre quadrati, e quindi g(2)=4.

Negli anni furono stabiliti vari limiti usando sofisticate tecniche di dimostrazione. Ad esempio Joseph Liouville mostrò che g(4) è minore o uguale di 53. Hardy e Littlewood provarono che ogni numero sufficientemente grande è la somma di 19 quarte potenze.

Wieferich e A. J. Kempner dimostrarono tra il 1909 e il 1913 che g(3)=9; mentre R. Balasubramanian, F. Dress, e J.-M. Deshouillers provarono che g(4)=19 nel 1986; Chen Jingrun dimostrò che g(5)=37 nel 1964 e Pillai che g(6)=73 nel 1940.

Eulero congetturò che

$g(k)=2^{k}+\left[\left({\frac {3}{2}}\right)^{k}\right]-2$

dove [x] denota la parte intera di x.

Il numero G(k)

Legata a g(k) è la funzione G(k), definita come quel numero s tale che ogni numero sufficientemente grande è somma di al più s potenze k-esime. Dalla definizione è chiaro che $G(k)\leq g(k)$, poiché se ogni numero è somma di s potenze a maggior ragione lo sarà ogni numero da un certo punto in poi.

È facile vedere che G(2)=4, perché ogni numero congruo a 7 modulo 8 non può essere rappresentato come somma di tre quadrati (dimostrando quindi che $G(2)\geq 4$), e al contempo si ha g(2)=4.

Harold Davenport dimostrò nel 1939 che G(4)=16.

Non sono noti altri valori di G(k); sono però conosciuti limiti inferiori e superiori.

Limiti inferiori

Per ogni $k$ maggiore di $1$ si ha $G(k)>k$. Per classi speciali di numeri questo limite si alza:

• se $k=2^{r}$ o $k=3\cdot 2^{r}$ (con $r>1$) allora $G(k)\geq 2^{r+2}$;
• se $p$ è un primo maggiore di $2$ e $k=p^{r}(p-1)$, allora $G(k)\geq p^{r+1}$;
• se $p$ è un primo maggiore di $2$ e $k={\frac {p^{r}(p-1)}{2}}$, allora $G(k)\geq {\frac {p^{r+1}-1}{2}}$.

Limiti superiori

Sono noti i seguenti limiti superiori per G(k):

k	3	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20
$G(k)\leq$	7	17	21	33	42	50	59	67	76	84	92	100	109	117	125	134	142

G(3) è almeno 4, poiché i cubi sono congrui a 0, 1 o -1 modulo 9; 1290740 è il più grande numero minore di $1,3\cdot 10^{9}$ che richiede sei cubi, e il numero di interi tra N e 2N decresce con sufficiente velocità all'aumentare di N che si pensa che sia G(3)=4; il più grande numero noto che non è la somma di quattro cubi è 7373170279850 , e ci sono ragioni per affermare che è il più grande esistente.

13792 è il più grande numero che richiede 17 quarte potenze (Deshouillers, Hennecart e Landreau hanno dimostrato nel 2000 che ogni numero tra 13793 e 10²⁴⁵ ne richiede al massimo sedici, e Kawada, Wooley e Deshouillers hanno esteso il risultato di Davenport del 1939 mostrando che ogni numero oltre 10²²⁰ ne richiede al massimo sedici). Inoltre sedici potenze sono sempre necessarie per rappresentare i numeri nella forma $16^{n}\cdot 31$.

617597724 è il più grande numero minore di $1,3\cdot 10^{9}$ che richiede dieci quinte potenze, e 51033617 l'ultimo in questo intervallo che ne richiede 11.

Voci correlate

• Teoria analitica dei numeri

Collegamenti esterni

• (EN) William L. Hosch, Waring’s problem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Problema di Waring, su MathWorld, Wolfram Research.