第214章 分层筛法(1/2)
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
他的指尖在草稿纸上快速演算起来,试图找到与哥德巴赫猜想适配的工具,寻找突破的可能。
现有的方法,无论是筛法还是圆法,都是从不同角度去逼近这个问题。
筛法像是用一张网去捞素数,圆法则像是用傅里叶分析去探测素数的分布频率。
但这两个工具都有一个共同的局限:它们都是在“外部”观察素数,而不是从素数集合本身的“内部结构”出发。
肖宿忽然想起自已之前研究辛几何时的一个想法。
在辛几何里,研究一个流形的性质,最直接的方法是研究它上面的函数空间。
那些函数在流形上的取值、变化、临界点,能告诉你这个流形长什么样。
如果把素数集合看作一个离散的“流形”呢?
在这个流形上,可以定义一类特殊的函数,比如,把每个偶数n映射成它能够分解成的素数对数目。
这个函数的值,就是哥德巴赫猜想关心的东西。
这个函数在整数轴上的分布,会不会有什么不变的结构?
肖宿重新坐直,打开一个新的文档,开始写下几行字:
“设P为素数集合。对任意偶数n,定义g(n)=#{(,q)∈P×P:+q=n},即n的哥德巴赫分解数目。”
“问题是:g(n)是否恒大于0?”
写完之后,他盯着这几行字看了一会儿。
这是一个古老的问题,但他想换一个全新的角度去看它。
如果从傅里叶分析的视角,g(n)可以看作是两个素数集合的卷积。
也就是说,如果把素数集合表示成一个特征函数,每个整数如果是素数就取1,不是就取0,那么g(n)就是这个特征函数与它自身的卷积。
卷积在傅里叶域里会变成乘法。
也就是说,g(n)的傅里叶变换,等于素数特征函数的傅里叶变换的平方。
所以,如果能搞清楚素数特征函数的傅里叶变换,就能搞清楚g(n)的分布。
这是一个经典的圆法思路。
哈代和李特尔伍德在上个世纪初就用这个方法得到了一个渐近公式:
g(n)≈某个常数×n
(logn)^2×一个与n的奇因子有关的修正因子。
但这个公式只是渐近的,不是严格的。
问题出在哪里呢?
“圆法给出的是主项的估计,但余项的控制一直无法做到足够小,根本原因在于,素数集合的傅里叶变换有太多的振荡,难以精确估计。”
但如果换一个视角呢?
不是从傅里叶域,而是从谱域出发呢?
这是他最近在研究NS方程时想到的东西。
在量子力学里,一个系统的能级分布,可以用谱理论来描述。
每个能级对应一个特征值,这些特征值的分布遵循某种规律。
如果把素数看作某个算子的特征值呢?
这个想法听起来有点疯狂,但数学史上不乏这样的先例。
黎曼猜想本质上就是在研究一个函数,黎曼ζ函数的零点分布。
那些零点,就可以看作某个算子的谱。
肖宿忽然想起去年在普林斯顿的时候,德利涅提过一句:有些数论问题,用代数几何的方法会看得更清楚。
代数几何研究的是多项式方程的解集。
如果把素数看作某些多项式方程的解,那哥德巴赫猜想就变成了关于这些解集的加法性质的问题。
他继续往下写:
“设V_={x∈Z:x≡0od},这是的倍数集合。素数本身,可以看作是这个集合的生成元。”
“对任意偶数n,考虑所有满足≤n的素数。每个对应一个集合V_。n能被写成两个素数之和,当且仅当存在,q使得n∈V_+V_q。”
这个视角把问题从“找素数”变成了“找集合之间的加法关系”。
肖宿盯着这个表述,脑子里忽然闪过一个念头。
在辛几何里,“拉格朗日子流形”可以用弗洛尔同调来描述。
如果把这里的V_看作某种离散版本的“子流形”,那么n∈V_+V_q这件事,是不是也可以看作某种“相交”?
如果是这样,那g(n)的值,也许就和某种相交数有关。
而相交数,在合适的条件下,是拓扑不变量,也就是说,不管你怎么扰动,只要扰动的方式合适,这个数就不变。
肖宿的心跳快了一拍。
本章未完,点击下一页继续阅读。