MathLabs

华林问题

已解决,1909年算术与数论
问题陈述

对于任意整数指数 k≥1k \ge 1,存在有限数 g(k)g(k),使得每个正整数 n≥1n \ge 1 都可以表示为至多 s≤g(k)s \le g(k) 个非负整数的 kk 次幂之和,即 n=x1k+x2k+⋯+xskn = x_1^k + x_2^k + \dots + x_s^k。

该问题最初由爱德华·华林于1770年提出,大卫·希尔伯特于1909年利用由单位球面上 2525 重积分导出的多项式恒等式,定性证明了对任意 kk 均有 g(k)g(k) 存在(希尔伯特–华林定理)。20世纪20年代,G. H. 哈代与 J. E. 利特尔伍德创立了解析圆法,给出了定量上界并研究了表出所有充分大整数所需的 kk 次幂个数 G(k)G(k),此后又经维诺格拉多夫、华罗庚与特雷弗·伍利等人不断改进。

由于形如 2k⌊(3/2)k⌋−12^k \lfloor (3/2)^k \rfloor - 1 的小整数只能用 1k1^k 和 2k2^k 累加,J. A. 欧拉于1772年猜想对所有 kk 均有 g(k)=2k+⌊(3/2)k⌋−2g(k) = 2^k + \lfloor (3/2)^k \rfloor - 2;除非出现 {(3/2)k}>1−(3/4)k\{(3/2)^k\} > 1 - (3/4)^k,该公式恒成立且已在所有已知情形下得到验证。更深刻的渐近量 G(k)G(k)(针对充分大的整数)目前仅精确知道 G(2)=4G(2) = 4 和 G(4)=16G(4) = 16(达文波特,1939),而即便 4≤G(3)≤74 \le G(3) \le 7 的精确值仍未解决。

参考文献

  1. David Hilbert (1909). Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen (Waringsches Problem) · DOI:10.1007/BF01450405
  2. R. C. Vaughan, Trevor D. Wooley (2002). Waring's problem: a survey