\
“你在步骤二,也就是|a|∈[1,2]区间的证明中,用黎曼显式公式分离主项後,对素数贡献的求和做了一次截断。”\
陶哲宣指着论文上的某个公式。\
“你在这里引用了素数定理Σ_{p≤X}logp~X作为主项估计的依据,但问题是,当你对x=T^a做积分变换的时候,截断位置选在了T而不是T^(1+ε)。”\
“通常来说,在处理这类Dirichlet多项式的均值估计时,截断位置的选取会直接影响余项的阶。”\
“你选T作为截断点,余项的放缩似乎会比选T^(1+ε)更紧。”\
“但我没看出你是怎麽在不引入额外误差的情况下做到这一点的。”\
李东听完,点了点头。\
他拿过茶几上的酒店便签纸和笔,随手写了几行公式。\
“陶教授,其实这里的关键不在截断位置本身。”\
“我用的方法是,先通过围道积分将显式公式里的离散素数和,转化为一条穿过鞍点的连续路径积分。”\
“在这条积分路径上,T^a范围内的素数贡献会自然地被鞍点附近的指数衰减因子吸收掉,所以我不需要人为的去设定一个截断位置。”\
“截断是自适应的积分路径的几何结构本身就完成了截断。”\
陶哲宣看着李东在便签纸上画出的那条积分路径,眼睛微微亮了一下。\
“围道积分自适应截断……”\
他反复咀嚼着这个思路,陷入了短暂的沉思。\
这个手
法,从现代解析数论的主流视角来看,几乎没有人会这麽做。\
因为当代的数学家们在处理这类问题时,已经习惯性的依赖计算机辅助验证和大规模数值模拟来确定最优截断参数,然後再反推出理论上的放缩界限。\
但李东完全反过来了。\
他不依赖任何数值的试探,而是直接从复平面的几何拓扑结构出发,让数学本身去选择最优的路径。\
这种思维方式,太古典了。\
古典到让陶哲宣想起了黎曼和柯西那个时代的数学家们。\
那时候没有超算,没有Mathematica,甚至连电子计算器都没有。\
那些人只能依靠纯粹的数学直觉和几何想象力,在复平面的无穷维迷宫里,徒手找到那条唯一正确的道路。\
而李东,似乎也是这样的人。\
陶哲宣压下心中的震撼,继续翻到了下一个问题。\
“那你在步骤四的时候……,你对|a|∈[3,4]边界区间采用的傅里叶优化框架,权函数φ(x)的构造非常精妙。”\
“但我注意到,当你用这个权函数去压制p^3阶素数幂带来的余项发散时,你的放缩链条里有一步跳跃。”\
“具体来说,从余项的L2范数估计到最终的逐点一致收敛,你直接引用了一个看上去像是自定义的Sobolev嵌入不等式,但论文里没有给出完整的证明过程。”\
“这个不等式……是你自己推导的?”\
李东放下笔,想了想说道。\
“是,这个不等式不是标准的文献结果。”\
“它的证明其实不长,大概三四步就能推完。”\
“说白了就是先用极大函数控制住局部振荡的幅度,然後再利用φ(x)在频域上的紧支撑性质,把弱型估计升级为强型估计。”\
李东在便签纸上快速写了几行推导。\
过程干净利落,逻辑严丝合缝。\
陶哲宣看完以後,沉默了好一会儿。\
-->>(第2/4页)(本章未完,请点击下一页继续阅读)