首页
第368章 课题路线图 二
返回

第368章 课题路线图 二

章节报错(免登陆)
下载APP,无广告、完整阅读

一秒记住【笔趣阁小说网】
biquge678.com,更新快,无弹窗!


    这个构造的真正天才之处在于,它把「哥德巴赫猜想是否成立「这个问题,从一个需要「艰难估计「的解析问题,变成了一个需要「优雅判定「的谱论问题。
    在传统的方法里,数学家试图证明r(N)的渐进公式,需要控制一大堆误差项,每一项都像一头随时可能掀桌子的野兽。
    但徐辰的思路完全不同。
    他的框架说:你根本不需要去估计r(N)的大小,你只需要证明Tr(Φ_N)不等于零!
    而Tr(Φ_N)不等于零,等价于谱侧那个求和不等于零。
    而谱侧的求和,是关于自守表示的特徵值的——这是一个纯粹的代数结构,完全脱离了解析估计的泥潭!
    ……
    拉福格在听到这里的时候,整个人陷入了长达大约三十秒的完全静默。
    徐辰没有催他,只是把笔放在了白板托盘上,安静地等待着。
    「所以……「拉福格终于开口,声音有些乾涩,「你实际上是在说……」
    「哥德巴赫猜想的本质,「徐辰语气十分平静,「不是一个关于素数分布的解析问题,而是一个关于GL(2)自守表示空间上卷积算子正定性的代数问题。」
    「证明哥猜,等价于证明Φ_N这个算子在自守谱上的总贡献严格为正。」
    拉福格缓缓抬起头,看着徐辰。
    眼神里,有一种复杂的东西在涌动。
    那是一个在某个领域耕耘了三十年的人,第一次从完全陌生的角度,看到了那扇困住他三十年的门背后,其实是另一个世界的感觉。
    ……
    「但是,「拉福格强迫自己保持冷静,用严谨的学术直觉发问,「这个算子的正定性,如何证明?如果谱侧有某个自守表示的特徵值是负的……」
    「好问题。这正是整个证明最核心丶也是唯一真正困难的地方。」
    徐辰拿起笔,在谱侧的求和式旁边,写下了两个字:
    「ε因子」
    「在每个局部素数p处,π(Φ_N)的值,完全由对应的局部自守表示π_p对测试算子Φ_N,p的作用决定。而Φ_N,p的构造方式,确保了这个局部值永远是非负实数。」
    徐辰在每一个局部分量旁边,画了一个小箭头,指向「≥0「。
    「每个局部分量都≥0。」
    「而全局的乘积……」
    徐辰的笔在这里停了一下。
    这是整个证明最优雅丶也是最出人意料的核心跳跃。
    「全局的乘积,由欧拉乘积公式连接——」
    徐辰写下:
    π(Φ_N)=∏_pπ_p(Φ_{N,p})
    「因为每一个局部因子都严格大于零,所以它们的欧拉乘积也严格大于零。」
    「因此谱侧的每一项都严格为正。」
    「因此Tr(Φ_N)严格为正。」
    「因此r(N)严格大于零。」
    「因此哥德巴赫猜想成立。」
    ……
    白板上,整个证明的链条就这么摆在两人面前。
   
章节报错(免登陆)
下载APP,无广告、完整阅读
验证码: 提交关闭