\
“你看现在方便吗?”\
陶哲宣的语气很尊重。
\
“如果不方便的话,那咱们就走後续的正式同行评审流程,我在审稿意见里列出来再问也行。”\
李东一副无所谓的样子。
\
“那有啥的,您直接问就行。”\
陶哲宣见状也就不再客套,他从公文袋里抽出了一迭打印好的论文,翻到了其中的一页。
\
“你在步骤二,也就是|a|∈[1,2]区间的证明中,用黎曼显式公式分离主项後,对素数贡献的求和做了一次截断。”\
陶哲宣指着论文上的某个公式。
\
“你在这里引用了素数定理Σ_{p≤x}logp~x作为主项估计的依据,但问题是,当你对x=t^a做积分变换的时候,截断位置选在了t而不是t^(1+e)。”\
“通常来说,在处理这类dirichlet多项式的均值估计时,截断位置的选取会直接影响余项的阶。”\
“你选t作为截断点,余项的放缩似乎会比选t^(1+e)更紧。”\
“但我没看出你是怎麽在不引入额外误差的情况下做到这一点的。”\
李东听完,点了点头。
\
他拿过茶几上的酒店便签纸和笔,随手写了几行公式。
\
“陶教授,其实这里的关键不在截断位置本身。”\
“我用的方法是,先通过围道积分将显式公式里的离散素数和,转化为一条穿过鞍点的连续路径积分。”\
“在这条积分路径上,t^a范围内的素数贡献会自然地被鞍点附近的指数衰减因子吸收掉,所以我不需要人为的去设定一个截断位置。”\
“截断是自适应的积分路径的几何结构本身就完成了截断。”\
陶哲宣看着李东在便签纸上画出的那条积分路径,眼睛微微亮了一下。
\
“围道积分自适应截断……”\
他反复咀嚼着这个思路,陷入了短暂的沉思。
\
这个手
法,从现代解析数论的主流视角来看,几乎没有人会这麽做。
\
因为当代的数学家们在处理这类问题时,已经习惯性的依赖计算机辅助验证和大规模数值模拟来确定最优截断参数,然後再反推出理论上的放缩界限。
\
但李东完全反过来了。
\
他不依赖任何数值的试探,而是直接从复平面的几何拓扑结构出发,让数学本身去选择最优的路径。
\
这种思维方式,太古典了。
本章未完,请翻下一页继续阅读.........