Warings problem

Warings problem formulerades av Edward Waring 1770 och handlar om uppdelningar av ett givet positivt heltal i en summa av så få termer som möjligt, där varje term är en bestämd potens (kvadraten, kuben, fjärde potensen etc.) av ett heltal.

Till exempel består talet 4 av minst en kvadrat (4=2²), 7 består av minst fyra kvadrater (7=2²+1²+1²+1²), 9 består av minst en kvadrat (9=3²), 9 består av minst två kuber (9=1³+2³), 23 består av minst nio kuber (23=2³+2³+1³+1³+1³+1³+1³+1³+1³) osv.

Man kan visa att det exempelvis aldrig behövs mer än 4 kvadrater eller mer än 9 kuber för en sådan summaframställning. Waring ställde frågan om motsvarande var sant för varje given bestämd potens. Först år 1909 kunde David Hilbert visa att så var fallet. Med andra ord visade Hilbert, att det för varje positivt heltal k finns ett positivt heltal g sådant att varje positivt heltal s kan framställas som en summa av högst g k:tepotenser:

s=\sum _{i=1}^{l}m_{i}^{k}\,,

där l är ett positivt heltal som är mindre än eller lika med g, och $m_{1},\ \ldots ,m_{l}\,$ är positiva heltal. Låter man $g(k)$ vara det minsta möjliga värdet på g för ett givet k, så definierar detta enligt Hilberts sats en heltalsvärd funktion på de positiva heltalen; men Hilberts resultat ger inte funktionsvärdena.

Talet G(k)

Efter arbete av Hardy och Littlewood vet man att det relaterade talet G(k) är mera fundamentalt än g(k). G(k) definieras som det minsta positiva heltalet s så att varje tillräckligt stort heltal (det vill säga, varje heltal större än någon konstant) kan skrivas som summan av högst s k-te-potenser av positiva heltal.

Övre gränser för G(k)

Genom att använda en förbättrad version av Hardy-Littlewoods cirkelmetod bevisade I. M. Vinogradov flera resultat om G(k), såsom (1947)

G(k)\leq k(3\log k+11)

och

G(k)\leq k(2\log k+2\log \log k+C\log \log \log k)

för någon konstant C och alla tillräckligt stora k 1959.

Genom att använda sin p-adiska form av Hardy-Littlewood-Ramanujan-Vinogradovs metod för uppskattning av trigonometriska summor, där summan är över alla tal med små primtalsdelare, bevisade Anatolii Alexeevitch Karatsuba (för $n\geq 400$ ):