愣愣地看着陆舟,盯着他看了大概半分钟那么久,莫丽娜忽然伸出了手。
看向那只摸向自己额头的手,陆舟下意识躲掉了。
“你想干啥?”
若无其事地收回了手,莫丽娜一本正经道:“没什么,我只是想看看,你是不是发烧了?”
陆舟:“……”
认真地看着陆舟,莫丽娜继续说道:“说真的,虽然我没研究过偏微分方程,但你为什么要把问题搞得这么复杂?”
陆舟拍了拍裤子上的草,站起身来。
“我也想让它变得简单点,但没办法,它就是这么的复杂。”
莫丽娜也站了起来,走到了陆舟的面前:“如果一项计算结果已经违背了基本常识,那么它大概率是哪里出了问题。”
陆舟并没有否认她的说法。
“也许你是正确的,因为我也是这么认为。然而比起三维NS方程的解在某一个特殊点上是否具备全局正则性,我更想知道的是,为什么?”
停顿了片刻,凝视着湖面的陆舟继续说道。
“为什么我们的方程爆炸了。”
……
“爆炸”在计算流体力学领域也可以称之为发散,很多外文文献中部分作者喜欢用“Blow-up”一词进行描述这种令人头疼的现象。
在数学上,它泛指的问题也有很多,比如可能是求解的过程分母为0,可能是求解的矩阵没有收敛……
而对于NS方程来说,所谓爆炸问题,或者说发散问题,则指的是某个时间点和某个空间点,流体流速越来越快,进而速度趋向于无穷大,超乎了现实中的常理。
Lions等人早在半个世纪前便证明了,二维情形下这个点是不存在的,即二维情形下NS方程的整体弱解的唯一性、正则性和稳定性。但三维情形下的NS方程又是个什么情况,学术界依然没有一个统一的定论。
数学界普遍的观点对三维情形下的NS方程解具有存在性与光滑性持乐观的态度,搞计算流体力学方向的人因为屁.股问题当然也认同这点——否则的话,他们根据实验数据建立的那些唯像模型,岂不是等于在用谎言去解释谎言?
带着一身汗回到了家中,陆舟将衣服扔进了洗衣机,转身去浴室冲了个澡。
热水从头上流下的感觉,让他心中的浮躁冷静了不少。
通过抽象的双线性算子进行间接证明的思路或许是存在问题,与其在不确定的问题上反复纠结,不如做两手准备,比如另辟蹊径地尝试一条额外的思路。
这种挑战人类心智巅峰的游戏,本身就没有什么解决问题的定式。
在卡拉比猜想被解决之前,微分几何学界从来没想到偏微分方程和黎曼几何还能这么玩。而卡拉比猜想被解决之后,基于PDE方法的几何分析学便应运而生了。
说不准,在解决NS方程的同时,他能从中发现更伟大的东西也不一定?
回到书房之后,他便打开了电脑,开始检索起关于NS方程的文献。
毕竟是被克雷研究所悬赏的世纪难题,NS方程在偏微分领域拥有举足轻重的地位,因此偏微分方程界的学者们围绕这个方程也做出了不少漂亮的研究成果。
每当研究陷入瓶颈的时候,陆舟都会通过从数据库中检索论文的方式,试图去寻找自己所欠缺的那块拼图。
就像佩雷尔曼在看到汉密尔顿关于理解Ricci流奇点的论文之后,立刻将这套方法运用在解决庞加莱猜想时一样,他也在寻找着类似的东西。
然而……
想要找到这块拼图,显然没有这么简单。
窗外的晚霞已经铺上了漫天的繁星,墙上挂钟的时针也走过了12点,开始向着1点偏移。
长出一口气,陆舟靠在了椅子上,捏了捏有些酸涩的眉心。
他脑海中那飘忽不定的思绪,一会儿像是几乎凝固的墨汁,一会儿又变成了发散的烟柱,令人头疼不已。
然而也就在这隐约之中,陆舟的心中忽然出现了一丝明悟。
“没有工具的话,为什么不自己造一个……”
如果将每一个分子抽象成一个点,而将容纳这些点的集合,抽象成局部具有欧几里得空间性质的空间,他完全可以基于此构造一个近似的三维流形,并且将拓扑学的方法进去……
这看起来似乎将“简单”的问题变的更“复杂”了。
但似乎……
是行得通的?
眼睛越来越亮。
抓着那冥冥之中的一丝灵感,陆舟迅速抓起了圆珠笔,在纸上写下了一行字。
【Lu流形】
然后,他手中的笔,便停不下来了……
……
当全身心地沉浸于一项工作时,时间总是过得很快。
转眼间,就到了四月。
在这一个多月的时间里,将自己关在屋子里的陆舟,期间还度过了一个短暂而单调的春假。
而这段时间里,除了薇拉来过他的屋子一次,给他送来了这段时间的教学报告之外,陆舟几乎切断了与外界的交流。
而事实上,虽然那些东西是他让薇拉送来的,但那些东西送来之后便被他搁在了书房的角落,几乎没有翻过。
在普林斯顿,陆教授独特的钻研问题方式,几乎可以算是一段趣闻了,就连入学不久的本科生都从老生那里听说过。
或许是知道他的研究进入了关键时期,费弗曼教授也很体贴地没有打扰他,而是暂时停止了定期的交流会议,开始了分别同时进行独立研究。
而现在,这些努力终于有了结果。
停下了手中的笔,看着面前那叠草稿纸,陆舟的嘴角勾起了一丝笑容。
脑中那根绷紧的弦终于松弛下来的陆舟,开始想起了些无关紧要的事情。
比如,Lu流形这个名字,会不会有点不太好听?
要不改成LZ流或者LuZhu流?
思来想去,陆舟觉得还是不要为难后世的考生比较好。
前者似乎容易产生奇怪的歧义,后者读起来又不顺口。
“中文名就叫陆氏流形好了,英文译名L流形,简称L流!”
对这个名字满意多了,陆舟随手改了稿纸上标题,然后将这些纸摞好放在了桌角,准备逐一将这些内容整理到电脑上。
就在他刚刚打开电脑,正要开始这项工作的时候,屏幕右下角的工作栏忽然弹出了一串气泡。
小艾:【主人,有新邮件!(??????)??】
看到这条消息,陆舟随手点开了小艾扔过来的链接,登录了邮箱。
邮件是《数学年刊》发来的。
至于内容,自然是关于角谷猜想证明的那篇论文。
将邮件从头看到了尾,陆舟的脸上再次浮现了一丝笑容。
虽然是意料之中的事情,但看到这封邮件之后,他还是由衷地为他的学生们感到高兴。
根据《数学年刊》编辑部的决定,他们的论文将被刊登在最近一期的期刊上,并且接受整个数学界的检验……