„Waring-probléma” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Kope (vitalap | szerkesztései)
Kope (vitalap | szerkesztései)
70. sor:
''G''(''k'') pontos értéke a legtöbb esetben ismeretlen. A fentiek szerint ''G''(3)-ról csak annyit tudunk hogy: <math>4 \leq G(3) \leq 7</math>. Tudjuk, hogy <math>G(k)\geq k+1</math> minden ''k''>1-re és <math>G(2^k)\geq 2^{k+2}</math>, ha <math>k\geq 3</math>, ugyanis a <math>(2^{k+3}-1)(2^{k+2})^n</math> alakú számokhoz legalább ennyi <math>2^k</math>-adik hatvány kell. De ekkor <math>G(3\cdot2^k)\geq 2^{k+2}</math>-nek is teljesülnie kell, hiszen minden <math>3\cdot2^k</math>-adik hatvány egyben <math>2^k</math>-adik hatvány is.
 
''G''(4) értékét pontosan megadja Davenport egy tétele<ref>H. Davenport: On Waring's problem for fourth powers, ''Annals of Mathematics'', ''40''(1939), 731-7347737.</ref>, ami szerint minden elég nagy szám, ha 16-tal osztva nem 14 vagy 15 maradékot ad, felírható 14 negyedik hatvány összegeként. Ebből következik, hogy G(4)=16 és tizenhat negyedik hatványra csak a <math>16^kA</math> alakú számok felírására van szükség, ahol A egy véges halmaz eleme.
 
Hardy és Littlewood igazolta, hogy <math>G(k)\leq 2^k+1</math>. Ezt Vinogradov a <math>G(k)\leq 6k\log{k}+k\log 216</math> becslésre javította. A legjobb eredmény T. D. Wooleytól származik:
<math>G(k)\le k\log k+k\log\log k+O(k)</math>. (Lásd például Vaughan könyvében<ref>R. C. Vaughan: ''The Hardy-Littlewood method'', R. C. Vaughan, 2nd ed., Cambridge Tracts in Mathematics, CUP, 1997</ref>.)
 
== Hivatkozások ==