侧时,我们交换了两次极限,一次积分,和一重素数幂求和,凭什麽?”
听到这里时坐在台下的邦别里早就目瞪口呆了。
别人不知道凭什麽他还不知道吗?
此时,李东在幕布上放了一篇参考文献。
“我们凭的就是这篇论文。”
“对於单个模数,非对角项确实压不住。”
“但我们并不需要逐个的去压它。”
“我们只需要将素数按模数和尺度分层,然後先在平均意义下使用大筛法,把坏模数留给平滑权重,就行了。”
李东这里使用的方法是邦别里-维诺格拉多夫型的均方估计。
60年前25岁的恩里科邦别里,用它回答了素数在算术级数中,平均而言究竟能分布得多均匀。
而 60年後,李东拿着他的定理,去保证一座连接素数与零点的桥,不会在交换极限的那个时候突然塌掉。
邦别里就这麽看着那行式子,从左看到右,又从右看到左。
“我真是老了呀。”
“原来我 1965年证的那条均匀值定理,居然还能这麽用。”
他的声音虽然不大但是却正好被他旁边的陶哲轩听到了。
陶哲轩刚想安慰他两句,然後就呆住了。
因为李东已经翻到了下一页。
这一页下面的参考文献写着。
【布拉德罗杰斯、陶哲轩:《德布鲁因-纽曼常数非负》。】
德布鲁因-纽曼常数非负。
这是陶哲轩最广为人知的成果之一。
当年他和布拉德罗杰斯接过了德布鲁因与纽曼留下的热流框架。
把一个关於临界常数正负的问题,变成了对无数个零点运动轨迹的追踪。
可当时陶哲轩和罗杰斯是为了研究零点在热流中的运动而做出的成果。
根本就不是为了构造什麽自伴算子啊。
陶哲轩看着幕布上的公式,眉头一点一点地皱了起来。
“李东为什麽会在这里引用它?”
很快,李东就给出了答案。
“刚才的大筛估计已经解决了素数侧的收敛问题。”
“尾项在截断极限中消失以後,我们便可以回到算子的本身了。”
李东继续在黑板的中央写下了一个 d零
“我们的定义域取施瓦兹空间……略”
“所以要证明这个谱实现不依赖任何人为选择的边界条件,就必须证明 d零本质自伴。”
陶哲轩听到这里,眉头稍微舒展了一点。
他大概有些眉目了。
果然,下一刻,李东又在黑板上写下了两条亏方程。
【d零的伴随作用於 u等於正 i乘 u。】
【d零的伴随作用於 u等於负 i乘 u。】
“我们假设其中存在非零解。”
“然後把它放进德布鲁因-纽曼热流里,再用罗杰斯和陶哲轩为零点动力学建立的能量估计进行追踪。”
听到李东这麽说,陶哲轩微微点头。
他终於明白了。
李东这是要用他的零点动力学,给算子d画出严格的正下界啊。
想到这里,他突然理解刚才的邦别里了。
他和罗杰斯建立那套能量控制时,想的是热流零点以及德布鲁因纽曼常数。
他从来没想到有一天,它会被拿来守住一个算子的自伴边界。
一项本来用来说明黎曼猜想有多危险的成果,此刻成了李东证明算子d绝不会分叉的工具。
李东还在向後翻着 ppt。
他每翻一页台下
-->>(第2/4页)(本章未完,请点击下一页继续阅读)