第252章 数学不是一个人的墓碑(二更) (2/4)
正是困扰学界三十年的“非线性正则化”难题的关键突破。
丹尼斯微微点头,认可了陈辉的这个核心构造。
“接下来是-Neumann估计,”陈辉的声音因激动而拔高,“在证明边界强拟凸性后,我们得到一个反直觉的结论,算子□1(ˉω)的L范数上界,其常数C独立于雷诺数。”
会场响起一片抽气声。
雷诺数是流体力学中描述湍流的关键参数,传统方法中,任何与雷诺数无关的估计都被视为“不可能”——因为当雷诺数趋近于无穷大时,湍流的复杂性会指数级爆炸。
这时,大屏幕上出现了一个等式:ωL2=(∫Ω∣ω∣2dx)1\/2
像一把金色的钥匙,插入了NS方程最坚固的锁孔。
台下前排的费弗曼、舒尔茨等人听得如痴如醉,直到看到这个等式,他们都意识到,已经快到最终的时刻了。
“涡旋湮灭的能量耗散被第一陈类c1精确控制。”
果然,下一刻陈辉的声音响起,
他调出磁粉粒子流的模拟动画,银色的“星尘”在虚空中勾勒出复纤维丛的轮廓,最终汇聚成一个闪烁的公式:Φ≤Λ∣c1(V)∣
“这意味着,只要复纤维丛的陈类有限,NS方程的短时解必然光滑!”
陈辉说完,退后半步,看着场下众人。
会场安静了足足几十秒,才逐渐有掌声响起,随后掌声如闷雷般炸响。
前排的阿蒂亚勋爵率先起立,格罗莫夫紧随其后,陶哲轩的眼眶泛红,丹尼斯·沙利文的手掌拍得发红,指节发白。
“陈教授!”主持人伊夫斯提高声音,“在进入提问环节前,请允许我代表数学界,向您和丹尼斯教授致敬!”
掌声再次掀起浪潮。
待到掌声稍微停歇,陈辉才再次开口,“大家对证明过程还有什么疑问吗?”
他完成NS方程证明已经有一个多月了,自由属性点却还没有踪影,也不知道是因为之前已经证明过杨米尔斯方程,证明同级别的猜想只能获得一次自由属性点,还是另有其他原因。
但陈辉认为,根据之前杨米尔斯方程证明的情况来看,他需要得到国际数学界的认可,才能拿到自由属性点,所以,他甚至比台下众人还希望能够讲得尽可能清晰一些。
“陈教授,您构造的四维复凯勒流形中,强拟凸性的证明是否隐含了对初始条件的限制?如果初始涡度分布极端不规则,比如满足H^s范数随s→∞limf(s)崩溃,您的估计是否依然成立?”
陈辉微微一笑,调出备用幻灯片,“丹尼斯教授的问题切中要害。事实上,我们的强拟凸性条件仅依赖于底空间 X的复结构,而非初始数据的具体形式。关键在于……”
他用激光笔圈出凯勒形式中的ν(μ)(μ)gd4x项,“这一项通过复流形的曲率张量自动补偿了初始数据的奇异性,正如丹尼斯教授您当年在拓扑方法中引入的‘辫群修正因子’。”
丹尼斯恍然,盯着屏幕看了老半天,最后退回到了墙壁旁,不再言语。
他没想到,陈辉解决那个困扰了他多时的问题,用到的竟然是他之前用过的方法。
 
本章未完,请点击下一页继续阅读