Waring's problem

In number theory, Waring's problem asks whether each natural number k has an associated positive integer s such that every natural number is the sum of at most s kth powers of natural numbers. For example, every natural number is the sum of at most 4 squares, 9 cubes, or 19 fourth powers. Waring's problem was proposed in 1770 by Edward Waring, after whom it is named. Its affirmative answer, known as the Hilbert–Waring theorem, was provided by Hilbert in 1909.[1] Waring's problem has its own Mathematics Subject Classification, 11P05, "Waring's problem and variants."

Relationship with Lagrange's four-square theorem

Long before Waring posed his problem, Diophantus had asked whether every positive integer could be represented as the sum of four perfect squares greater than or equal to zero. This question later became known as Bachet's conjecture, after the 1621 translation of Diophantus by Claude Gaspard Bachet de Méziriac, and it was solved by Joseph-Louis Lagrange in his four-square theorem in 1770, the same year Waring made his conjecture. Waring sought to generalize this problem by trying to represent all positive integers as the sum of cubes, integers to the fourth power, and so forth, to show that any positive integer may be represented as the sum of other integers raised to a specific exponent, and that there was always a maximum number of integers raised to a certain exponent required to represent all positive integers in this way.

The number g(k)

For every k, let g(k) denote the minimum number s of kth powers needed to represent all integers. Every integer is the sum of one first power, itself, so g(1) = 1. Some simple computations show that 7 requires 4 squares, 23 requires 9 cubes, and 79 requires 19 fourth-powers; these examples show that g(2) ≥ 4, g(3) ≥ 9, and g(4) ≥ 19. Waring conjectured that these values were in fact the best possible.

Lagrange's four-square theorem of 1770 states that every natural number is the sum of at most four squares. Since three squares are not enough, this theorem establishes g(2) = 4. Lagrange's four-square theorem was conjectured in Bachet's 1621 edition of Diophantus's Arithmetica; Fermat claimed to have a proof, but did not publish it.[2]

Over the years various bounds were established, using increasingly sophisticated and complex proof techniques. For example, Liouville showed that g(4) is at most 53. Hardy and Littlewood showed that all sufficiently large numbers are the sum of at most 19 fourth powers.

That g(3) = 9 was established from 1909 to 1912 by Wieferich[3] and A. J. Kempner,[4] g(4) = 19 in 1986 by R. Balasubramanian, F. Dress, and J.-M. Deshouillers,[5][6] g(5) = 37 in 1964 by Chen Jingrun, and g(6) = 73 in 1940 by Pillai.[7]

Let [x] and {x} denote the integral and fractional part of x respectively. Since 2k[(3/2)k]-1<3k, only 2k and 1k can be used to represent this number. The most economical representation requires [(3/2)k]-1 terms of 2k and 2k-1 terms of 1k. It follows that g(k) is at least as large as 2k + [(3/2)k] − 2. J. A. Euler, the son of Leonhard Euler, conjectured in about 1772 that, in fact, g(k) = 2k + [(3/2)k] − 2.[8] Later work by Dickson, Pillai, Rubugunday, Niven[9] and many others have proved that

g(k) = 2k + [(3/2)k] − 2                   if   2k{(3/2)k} + [(3/2)k] ≤ 2k
g(k) = 2k + [(3/2)k] + [(4/3)k] − 2   if   2k{(3/2)k} + [(3/2)k] > 2k   and   [(4/3)k][(3/2)k] + [(4/3)k] + [(3/2)k] = 2k
g(k) = 2k + [(3/2)k] + [(4/3)k] − 3   if   2k{(3/2)k} + [(3/2)k] > 2k   and   [(4/3)k][(3/2)k] + [(4/3)k] + [(3/2)k] > 2k.

No value of k is known for which 2k{(3/2)k} + [(3/2)k] > 2k. Mahler[10] proved there can only be a finite number of such k, and Kubina and Wunderlich [11] have shown that any such k must satisfy k > 471,600,000. Thus it is conjectured that this never happens, that is,   g(k) = 2k + [(3/2)k] − 2   for every positive integer k.

The first few values of g(k) are:

1, 4, 9, 19, 37, 73, 143, 279, 548, 1079, 2132, 4223, 8384, 16673, 33203, 66190, 132055 ... (sequence A002804 in OEIS).

The number G(k)

From the work of Hardy and Littlewood, the related quantity G(k) was studied with g(k). G(k) is defined to be the least positive integer s such that every sufficiently large integer (i.e. every integer greater than some constant) can be represented as a sum of at most s kth powers of positive integers. Since squares are congruent to 0, 1, or 4 (mod 8), no integer congruent to 7 (mod 8) can be represented as a sum of three squares, implying that G(2) ≥ 4. Since G(k) ≤ g(k) for all k, this shows that G(2) = 4. Davenport showed that G(4) = 16 in 1939, by demonstrating that any sufficiently large number congruent to 1 through 14 mod 16 could be written as a sum of 14 fourth powers (Vaughan in 1985 and 1989 reduced the 14 successively to 13 and 12). The exact value of G(k) is unknown for any other k, but there exist bounds.

Lower bounds for G(k)

Bounds
1 = G(1) = 1
4 = G(2) = 4
4 ≤ G(3) ≤ 7
16 = G(4) = 16
6 ≤ G(5) ≤ 17
9 ≤ G(6) ≤ 24
8 ≤ G(7) ≤ 33
32 ≤ G(8) ≤ 42
13 ≤ G(9) ≤ 50
12 ≤ G(10) ≤ 59
12 ≤ G(11) ≤ 67
16 ≤ G(12) ≤ 76
14 ≤ G(13) ≤ 84
15 ≤ G(14) ≤ 92
16 ≤ G(15) ≤ 100
64 ≤ G(16) ≤ 109
18 ≤ G(17) ≤ 117
27 ≤ G(18) ≤ 125
20 ≤ G(19) ≤ 134
25 ≤ G(20) ≤ 142

The number G(k) is greater than or equal to

2r + 2             if k = 2r with r ≥ 2, or k = 3×2r;
pr + 1             if p is a prime greater than 2 and k = pr(p − 1);
(pr + 1 − 1)/2   if p is a prime greater than 2 and k = pr(p − 1)/2;
k + 1             for all integers k greater than 1.

In the absence of congruence restrictions, a density argument suggests that G(k) should equal k + 1.

Upper bounds for G(k)

G(3) is at least four (since cubes are congruent to 0, 1 or −1 mod 9); for numbers less than 1.3×109, 1290740 is the last to require six cubes, and the number of numbers between N and 2N requiring five cubes drops off with increasing N at sufficient speed to have people believe G(3)=4;[12] the largest number now known not to be a sum of four cubes is 7373170279850,[13] and the authors give reasonable arguments there that this may be the largest possible. The upper bound G(3) ≤ 7 is due to Linnik in 1943.[14]

13792 is the largest number to require seventeen fourth powers (Deshouillers, Hennecart and Landreau showed in 2000[15] that every number between 13793 and 10245 required at most sixteen, and Kawada, Wooley and Deshouillers extended Davenport's 1939 result to show that every number above 10220 required no more than sixteen). Sixteen fourth powers are always needed to write a number of the form 31·16n.

617597724 is the last number less than 1.3×109 which requires ten fifth powers, and 51033617 the last number less than 1.3×109 which requires eleven.

The upper bounds on the right with k=5,...,20 are due to Vaughan and Wooley.[16]

Using his improved Hardy-Littlewood method, I. M. Vinogradov published numerous refinements leading to

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

in 1947 and, ultimately,

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

for an unspecified constant C and sufficiently large k in 1959.

Applying his p-adic form of the Hardy-Littlewood-Ramanujan-Vinogradov method to estimating trigonometric sums, in which the summation is taken over numbers with small prime divisors, Anatolii Alexeevitch Karatsuba obtained[17] (1985) a new estimate of the Hardy function G(k) (for k \ge 400):

\! G(k) < 2 k\log k + 2 k\log\log k + 12 k.

Further refinements were obtained by Vaughan [1989].

Wooley then established that for some constant C,[18]

G(k)\le k\log k+k\log\log k+Ck.

Vaughan and Wooley have written a comprehensive survey article.[16]

See also

Notes

  1. ↑ Hilbert, David (1909). "Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen (Waringsches Problem)". Mathematische Annalen 67 (3): 281–300. doi:10.1007/bf01450405. MR 1511530.
  2. ↑ Dickson, Leonard Eugene (1920). "Chapter VIII". History of the Theory of Numbers, Volume II: Diophantine Analysis. Carnegie Institute of Washington.
  3. ↑ Wieferich, Arthur (1909). "Beweis des Satzes, daß sich eine jede ganze Zahl als Summe von höchstens neun positiven Kuben darstellen läßt". Mathematische Annalen 66 (1): 95–101. doi:10.1007/BF01450913.
  4. ↑ Kempner, Aubrey (1912). "Bemerkungen zum Waringschen Problem". Mathematische Annalen 72 (3): 387–399. doi:10.1007/BF01456723.
  5. ↑ Balasubramanian, Ramachandran; Deshouillers, Jean-Marc; Dress, François (1986). "Problème de Waring pour les bicarrés. I. Schéma de la solution" [Waring's problem for biquadrates. I. Sketch of the solution]. C. R. Acad. Sci. Paris Sér. I Math (in French) 303 (4): 85–88. MR 0853592.
  6. ↑ Balasubramanian, Ramachandran; Deshouillers, Jean-Marc; Dress, François (1986). "Problème de Waring pour les bicarrés. II. Résultats auxiliaires pour le théorème asymptotique" [Waring's problem for biquadrates. II. Auxiliary results for the asymptotic theorem]. C. R. Acad. Sci. Paris Sér. I Math. (in French) 303 (5,): 161–163. MR 0854724.
  7. ↑ Pillai, S. S. (1940). "On Waring's problem g(6)=73". Proc. Indian Acad. Sci. 12: 30–40. MR 0002993.
  8. ↑ L. Euler "Opera postuma" (1), 203-204 (1862)
  9. ↑ Niven, Ivan M. (1944). "An unsolved case of the Waring problem". American Journal of Mathematics (The Johns Hopkins University Press) 66 (1): 137–143. doi:10.2307/2371901. JSTOR 2371901. MR 0009386.
  10. ↑ Mahler, Kurt (1957). "On the fractional parts of the powers of a rational number II". Mathematika 4 (2): 122–124. doi:10.1112/s0025579300001170. MR 0093509.
  11. ↑ Kubina, Jeffrey M.; Wunderlich, Marvin C. (1990). "Extending Waring's conjecture to 471,600,000". Math. Comp. 55 (192): 815–820. doi:10.2307/2008448. MR 1035936.
  12. ↑ Nathanson (1996, p. 71)
  13. ↑ Deshouillers, Jean-Marc; Hennecart, François; Landreau, Bernard; I. Gusti Putu Purnaba, Appendix by (2000). "7373170279850". Mathematics of Computation 69 (229): 421–439. doi:10.1090/S0025-5718-99-01116-3.
  14. ↑ U.V. Linnik. Mat. Sb. N.S. 12(54), 218–224 (1943) On the representation of large numbers as sums of seven cubes.
  15. ↑ Deshouillers, Jean-Marc; Hennecart, François; Landreau, Bernard (2000). "Waring's Problem for sixteen biquadrates - numerical results". Journal de théorie des nombres de Bordeaux 12: 411–422. doi:10.5802/jtnb.287.
  16. 1 2 Vaughan, R. C.; Wooley, Trevor (2002). "Waring's Problem: A Survey". In Bennet, Michael A.; Berndt, Bruce C.; Boston, Nigel; Diamond, Harold G.; Hildebrand, Adolf J.; Philipp, Walter. Number Theory for the Millennium III. Natick, MA: A. K. Peters. pp. 301–340. ISBN 978-1-56881-152-9. MR 1956283.
  17. ↑ Karatsuba, A. A. (1985). "On the function G(n) in Waring's problem". Izv. Akad. Nauk SSSR, Ser. Math. (49:5): 935–947.
  18. ↑ Vaughan, R.C. (1997). The Hardy-Littlewood method. Cambridge Tracts in Mathematics 125 (2nd ed.). Cambridge: Cambridge University Press. ISBN 0-521-57347-5. Zbl 0868.11046.

References

This article is issued from Wikipedia - version of the Thursday, April 28, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.