“这样我们得到的某种数值约定，就不是不可约束的了，而是唯一的对称重求和。”
李东说完，在黑板上写下了两行推导
【K等于极限 r趋于无穷时，所有绝对值不超过 r的对称块之和】
【qR（f，g）=〈f，DRg〉】
“在任意固定的施瓦茨半范数下，重排后的修正级数逐阶一致收敛。”
“于是二次型 qR在施瓦兹空间上收敛到一个厄米二次型 q。”
“所以……现在我们的问题就只剩下了一个。”
“那就是从素数侧换到零点侧时，我们交换了两次极限，一次积分，和一重素数幂求和，凭什么？”
听到这里时，坐在台下的邦别里早就目瞪口呆了。
别人不知道凭什么，他还不知道吗？
此时，李东在幕布上放了一篇参考文献。
“我们凭的就是这篇论文。”
“对于单个模数，非对角项确实压不住。”
“但我们并不需要逐个的去压它。”
“我们只需要将素数按模数和尺度分层，然后先在平均意义下使用大筛法，把坏模数留给平滑权重，就行了。”
李东这里使用的方法是邦别里-维诺格拉多夫型的均方估计。
60年前25岁的恩里科邦别里，用它回答了素数在算术级数中，平均而言究竟能分布得多均匀。
而 60年后李东拿着他的定理，去保证一座连接素数与零点的桥，不会在交换极限的那个时候突然塌掉。
邦别里就这么看着那行式子，从左看到右，又从右看到左。
“我真是老了呀。”
“原来我 1965年证的那条均匀值定理，居然还能这么用。”
他的声音虽然不大，但是却正好被他旁边的陶哲轩听到了。
陶哲轩刚想安慰他两句，然后就呆住了。
因为李东已经翻到了下一页。
这一页下面的参考文献写着。
【布拉德·罗杰斯、陶哲轩：《德布鲁因-纽曼常数非负》。】
德布鲁因-纽曼常数非负。
这是陶哲轩最广为人知的成果之一。
当年他和布拉德罗杰斯接过了德布鲁因与纽曼留下的热流框架。
把一个关于临界常数正负的问题，变成了对无数个零点运动轨迹的追踪。
可当时陶哲轩和罗杰斯是为了研究零点在热流中的运动而做出的成果。
根本就不是为了构造什么自伴算子啊。
陶哲轩看着幕布上的公式，眉头一点一点地皱了起来。
“李东为什么会在这里引用它？”
很快，李东就给出了答案。
“刚才的大筛估计已经解决了素数侧的收敛问题。”
“尾项在截断极限中消失以后，我们便可以回到算子的本身了。”
李东继续在黑板的中央写下了一个 D零
“我们的定义域取施瓦兹空间……略”
“所以要证明这个谱实现不依赖任何人为选择的边界条件，就必须证明 D零本质自伴。”
陶哲轩听到这里，眉头稍微舒展了一点。
他大概有些眉目了。
果然，下一刻，李东又在黑板上写下了两条亏方程。
【D零的伴随作用于 u等于正 i乘 u。】
【D零的伴随作用于 u等于负 i乘 u。】
“我们假设其中存在非零解。”
“然后把它放进德布鲁因-纽曼热流里，再用罗杰斯和陶哲轩为零点动力学建立的能量估计进行追踪。”
听到李东这么说陶哲轩微微点头。
他终于明白了。
李东这是要用他的零点动力学，给算子D画出严格的正下界啊。
想到这里，他突然理解刚才的邦别里了。
他和罗杰斯建立那套能量控制时，想的是热流零点以及德布鲁因纽曼常数。
他从来没想到有一天，它会被拿来守住一个算子的自伴边界。
一项本来用来说明黎曼猜想有多危险的成果，此刻成了李东证明算子D绝不会分叉的工具。
李东还在向后翻着 PPT。
他每翻一页台下便会有一位数学家神情发生变化。
有的人看到自己花费了十几年建立的引理，被李东拿去固定形式核的某个边界项。
也有人看见了自己最引以为傲的估计，成了证明极限交换合法的一处支点。
李东就这么随手地使用着他们的工具，去抓那个 170多年都没人抓住的真算子。
台下有人忍不住低声道。
“我怎么感觉这些工具，李东教授用的比他们的发现者还要好啊。”
对，这就是最可怕的。
李东并没有凭空造出一种新的工具。
他只是把许多人已经铺好的路，接到了他们都没有看见的同一个终点上。
所以台下的每个人都听懂了李东在说什么。
而正是因为听懂了，他们现在才不知道该用什么表情，来面对接下来即将要出现的那个结论。
李东放下手中的粉笔，看了一下时间。
刚好 40分钟。
他把 PPT翻到了最后一页，转过身，面对着安静的观众厅，说道。
【核函数修正级数在重排后逐阶一致收敛，算子D的存在性、稠定性与自伴性全部成立。】
李东说完，就这么静静地看着台下。
而台下没有一个人说话。
所有人都看着幕布上那一个结论，心里翻江倒海的。
算子D就这么被揪出来了？
怎么这么简单？
这不是一个世纪难题吗？
怎么李东讲完以后，大家觉得自己像是听了一道四则运算一样？
有教授在脑子里把刚才李东讲的推导又飞快地过了一遍。
不管是全体 n级相关确定厄米核的唯一性，还是对称分块后的博雷尔-拉普拉斯重求和，又或者是素数侧尾项在截断极限中消失。
这些东西他全都懂，整个推导也像德芙一样的丝滑。
没有一个地方是他不理解的。
连李东使用的所有数学工具，他都在第一时间听明白了。
这一刻，他对数学的认知好像被重塑了。
原来世界难题也可以不用晦涩难懂的全新工具，甚至不用几百篇的长篇大论。
只需要把现有的工具用在最恰当的地方，然后用独特的思路重构一遍，这道世界难题就能够轻松被解决？
前排有一位教授，有些无法接受地自言自语。
“数学不应该这么简单呀。”
而坐在他旁边的邦别里则是叹了口气说道。
“数学就应该这么简单。”
此时李东见台下众人半天没有反应，也没有多说什么，只是笑了笑。
“好了，今天的报告会就到这里了。”
“关于算子D的这篇论文我会放到 PMJ的主页上，各位可以自己去下载。”
“明天上午 9点，这里还有第二场报告。”
“为了节省大家的时间，提问环节我也放到了明天。”
说完，他也没再管众人的反应，就和温斯洛教授一起从讲台的另一边离开了。
而台下的学者们都还坐着。
没有一个人离开，也没有一个人说话。
刚才李东讲的算子 D，他们从头听到尾，没有发现任何的问题。
不，应该说他们压根就不觉得这里会有问题。
毕竟谁会觉得 1+1=2有问题呢？
可是算子 D真的就这么被揪出来了。
从希尔伯特和波利亚写下那个设想开始。
人们找了一个世纪它背后的那个真算子。
其间出现过无数的候选对象。
但又因为定义域、边界条件、连续谱，或者是自伴延展上的问题，一个接一个的倒下了。
而从今天开始，围绕这个形式核的那半句假设“假如那个算子存在。”已经可以直接抹掉了。
虽然它还没有证明黎曼猜想。
但它已经从一个愿望变成了一个可以被研究、被质疑，甚至被计算的算子了。
可为什么心里没有激动呢？
好平静啊。
贝尔纳教授碰了碰身边的霍尔姆教授。
“霍尔姆教授我怎么总感觉不对劲呢？我一点都激动不起来。”
霍尔姆也呆滞的点了点头。
“我跟你的感觉一样。”
“可现在不应该是整个数学界都炸开锅了吗？”
“毕竟希尔伯特波利亚猜想的那个算子被人找出来了呀。”
“是呀，要是放在昨天，我听见有人这么说，肯定会说他是个疯子。”
大厅里无数的学者都在这样讨论着。
有人重新翻起了笔记，有人打开了电脑，守着 PMJ的主页刷新。
还有人就这么看着幕布上那对亏指标，像是在确认那两个 0会不会突然变成别的数字。
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我