(n)
主导,贡献主项。
劣弧:单位圆上剩下的、远离低分母有理点的绝大部分弧段。在这些弧段上,生成函数
f(z)
的模很小,其积分贡献可作为误差项。
主项与误差项的分离估计:
主项估计:在优弧上,通过局部近似(通常将生成函数近似为高斯和与奇异积分),给出主项的精确表达式:r_k(n)
~
(n)
j(n)。其中
(n)
是体现同余条件影响的“奇异级数”,j(n)
是体现解析条件的“奇异积分”。
误差项控制:在劣弧上,通过高精度的指数和估计(运用韦伊估计、范·德·科珀特方法等),证明其积分贡献远小于主项,即
∫_劣弧
=
o(主项)。
李特尔伍德的阐述,冷静而清晰,将圆法从一个依赖灵感的“戏法”,提升为一座由复分析、丢番图逼近和解析指数和理论
共同支撑的、结构严谨的逻辑大厦。他强调了每一步的条件和适用范围,指出了理论进一步深化所需攻克的技术难点(如高维情况下的劣弧估计)。这标志着圆法已从“工具”演变为“理论”。
第二部分:辉煌的战果——华林问题的精确渐近式
在奠定了理论框架后,哈代再次上前,展示圆法的巅峰之作——对华林问题的彻底征服。他不满足于希尔伯特证明的“存在性”,而是要给出表示方法数量
r_k(n)
的精确渐近公式。
“希尔伯特教授证明了
g(k)
的存在性,这是一项伟大的功绩。”哈代首先向哥廷根学派致敬,随即话锋一转,“但圆法允许我们走得更远。我们不仅可以知道‘能否表示’,还可以精确地知道‘有多少种表示方法’,并且能解释这个数量背后的数学原因!”
他在黑板上,以铿锵有力的笔触,写下了那个经典的公式: