第七十章：弱·哥德巴赫猜想的一个等价形式(1/4)
起身去倒了杯水后,韩川重新坐回了书桌前。并没有急着对弱·哥德巴赫猜想发起冲锋,他先将那篇《关于劣弧边界层加权控制列的一个变体构造》从头到尾翻阅了一遍。
这篇论文相当于他手里那套工具的完整说明书,从定义到引理到定理到证明,每一步都经过了至少三次重写,边角的批注比正文还多。
那些批注是对论文本身推导延续的拓展,就像是对一片原始森林进行开荒一样,批注标记了那些地方可以通行,那些地方不能前进,那些地方是断崖……………
合上手中的论文,韩川把它放到左手边,然后翻开一页全新的稿纸,在最上方写下了一行标题。
《关于弱·哥德巴赫猜想的一个等价形式:基于加权控制列的圆法重构!》
在数学里,把一个难题转化成另一个形式,往往比直接攻击原问题更容易找到突破口。
他不确定这条路是否走得通,但如果走通了,这个等价形式本身就会成为整个证明的骨架。
他拿起笔,开始写正文的第一段。
“设N为一个大于某绝对常数的奇数。我们要证明可以表示为三个素数的和。令R_3(N)=∑_{p_1+p_2+p_3=N}1。弱·哥德巴赫猜想等价于证明R_3(N)>0对所有足够大的奇数成立。”
思索着,韩川又在后面补上了一句。
“这里的‘足够大’将由本文的估计方法给出一个具体的数值。”
第一步很简单,只是一个标准的定义。
简单来说,就是把问题翻译成计数函数的形式。
但接下来的每一步都会越来越难。
思索了片刻,韩川没有停留,他从圆法出发,把计数函数写成积分,然后把积分路径分成主项和余项,再分别估计。
这套流程在此之前他已经做过无数次,但每一次都是从外围绕过去的,从来没有真正走进过核心。
而现在,他准备走进去了。
【R_3(N)=f0^1S(a)^3e(-Na)da】
其中S(a)=2{p≤N}e(pa),这是标准的素变数指数和。
然后韩川把控制列框架的边界加权构造写在了右边,作为余项估计的预埋工具。
他要的不是一个全新的圆法,而是在圆法的框架里嵌入一种新的余项控制方式。
即把传统的静态放缩替换成动态的、与边界距离相关的衰减机制。
书桌前,韩川沉浸在对弱·哥德巴赫猜想的推导中。
深邃的黑夜中,外面偶尔有汽车驶过的声音,在安静的冬夜里拖出一道模糊的低频声响,然后消失在更远处。
韩川没有抬头,笔尖继续在纸面上移动着,把那个等价形式的骨架一根一根地搭起来。
从框架定义到劣弧覆盖,再到余项控制,最后收到主项估计的门口。
日子就这样一天一天过去了近一周的时间。
又是一个周日,睁开眼从床上坐起来的韩川掀开被子伸了个懒腰。
拉开窗,一股深冬的冷风径直地吹了进来,吹的他打了个激灵,整个人也快速地清醒了过来。
这是他最近新找到的一种能够在起床后快速清醒自己大脑的方法,不过不能吹太久,吹久了容易感冒。
一月中旬的普林斯顿已经飘起了雪花,外面白茫茫的一片,校园里的红砖建筑在雪的覆盖下变得柔和了许多。
宿舍楼下已经有早起的人在雪地上踩