第410章 久违的普林斯顿小镇(3/3)
最终,那对联横批陆舟也没写出来。 不过作为意外收获,他对NS方程的研究,却是取得了不小的进展。 “欧几里德空间R3上的Navier-Stokes方程可以表示为?tμ=△μ B(μ,μ)的形式,其中B是无散度向量场上的一个双线性算子,μ服从消去性〈B(μ,μ),μ〉=0……” 笔尖在草稿纸轻轻点着,嘴上喃喃自语着的陆舟,忽然微微愣了下,随即笑着摇头。 “说好回了家以后就不再碰数学,果然还是管不住自己的手……” 在草稿纸上写下了批注,陆舟停下了手中的笔,站起身来将这叠稿纸塞进了行李箱,打算等回了普林斯顿再做研究。 研究上的事情他还有一整年的时间可以去做。 而陪陪父母,陪陪家人,却只有现在的他才有这个时间…… …… 剩下来的这段时间里,陆舟没有再去操心工作上的事情,专心过年。 休息了这大半个月的时间,陆舟感觉自己就像是满血复活一样,整个人的精神面貌容光焕发了不少。 尤其是父母做的饭菜,更是让他胃口大开。 唯一的遗憾便是,他那怎么都长不起肉的体质,即便天天吃了睡睡了吃,体重还是没什么变化。 就这样,过了一个轻松惬意而又愉快的新年。 十五的元宵过后,陆舟告别了家人,背起行囊,再次踏上了前往普林斯顿的征程。 乘坐高铁前往了省会,陆舟直接转地铁去了机场。 坐在候机大厅,正刷着围脖打发时间的陆舟,忽然收到了陈学姐的短信。 陈玉珊:【学弟,你什么时候返校啊?】 看到短信,陆舟笑了笑,手指戳着屏幕回道。 【我马上都要登机了。】 叮—— 很快收到了回复的短信。 陈玉珊:【啊,你居然没等我,好过分?﹏?】 陆舟:……? 你也没提前和我说要一起走啊…… 不过说起来,学姐什么时候也学会卖萌了。 看到那个颜文字,陆舟一瞬间还以为这条短信是小艾发的。 坐飞机从省会飞到沪上,再从沪上飞过了太平洋。 经过二十多个小时的辗转,陆舟总算是拖着行李箱,走出了费城机场。 机场外的停车场,他的学生杰里科开着他的福特探险者,已经在那儿等候多时了。 看到从机场走来的陆舟,杰里科兴奋地挥了挥手,帮他拉开了后备箱。 “教授,您终于回来了,这个假期过得怎么样?” 陆舟笑着说:“非常愉快,你们呢?我不在的这段时间你们还好吗?” 杰里科咧嘴一笑:“好得很,就是您不在,总感觉少了些什么。” 发动了汽车,杰里科带着陆舟回到了宁静的普林斯顿小镇。 这座小镇上仿佛流淌着一种神奇的魔力,能够洗去人心中的浮躁,当陆舟踏入这里的瞬间,便感觉一切都回归了正轨。 在家里休整了一天。 次日,陆舟起了个早床,吃过早餐之后便动身前往了高等研究院,找到了费弗曼教授。 当他抵达费弗曼教授办公室的时候,办公室里除了费弗曼本人之外,还有他带的几名博士生。 看到出现在门口的陆舟,费弗曼教授停下了手中的笔,和颜悦色地说道:“假期过得愉快吗?” 陆舟:“挺愉快的,我已经很久都没放过这么长的假期了。” 费弗曼教授:“是吗?那接下来可能会有些忙了。” 陆舟淡淡笑了笑。 “早就准备好了。” 早在年前两人成立了“NS课题组”,就NS方程的相关研究也取得了不少的进展,后来因为陆舟回国领奖的事情,研究暂时陷入了停滞。 不过这段时间以来,虽然陆舟一直掉线在摸鱼,但费弗曼教授却是没有停止研究,一直在这两人之前研究中碰到的问题进行钻研。 从办公桌前站了起来,费弗曼教授走到了窗户旁边,忽然有些突兀地问道:“你抽烟吗?” 陆舟:“不抽,怎么了?” “没什么,不抽是对的,那不是什么好东西,”费弗曼教授一边从烟盒里取出了一支烟,用打火机点燃,向陆舟递了过去,“不过,有时候它也会给我带来意想不到的灵感。” 接过了费弗曼教授递来的烟,陆舟用两根指头捏着,端详着那从香烟上飘起的烟雾。 烟头上的烟雾缥缈向上,有型的烟柱渐渐发散。 就好像一种粘滞系数很低的流体。 盯着那根快要燃尽的香烟看了一会儿,陆舟隐隐约约懂了些什么,不过还是开口问道:“你想告诉我什么?” 费弗曼教授笑了笑,和颜悦色的说道:“很多时候我们研究的流体就像是它一样,从有序地盘旋到最后杂乱无章的发散,从最初的可以预测到最终完全失控。即使是用尽所有的数学工具,也无法描述这种混沌态的演变。” 陆舟没有说话,安静地等待着他继续说下去。 “这段时间以来,我一直在思考你留下的那个问题,”走到了黑板的旁边,费弗曼教授笑了笑,拿起了粉笔一边写一边说道,“上次我们得到了Pμi:=μi-(Δ^-1)·δi·δj·μj,在此之后我进行了更进一步的分析,发现了一些更有趣的东西……” 【〈B(μ,v),w〉=-πi∫Λξ1,ξ2,ξ3(μ(ξ1),v(ξ2),w(ξ3))……】 这是上次陆舟展示在黑板上的研究成果。 不过费弗曼教授再次基础上,做了更进一步的研究。 “给定一个施瓦茨无散度向量场μ0,时间间隔I?【0,﹢∞),我继续们定义Navier-Stokes方程的一个广义解H10为,一个服从积分方程μ(t)的连续映射μ→H10df(R3)……” 【μ(t)=e^(t△)·μ0 ∫e^(t-t')△B(μ(t‘),μ(t'))dt'】 【……】 办公室里另外两名博士生一脸懵逼的看了眼黑板上密密麻麻的算式,又一脸懵逼地低下了头,继续搞自己地事情去了。 大佬们讨论学术问题。 惹不起,惹不起…… 终于写完了最后一行算式,费弗曼收回了手中的粉笔,看向了旁边的陆舟。 “你怎么看?” 盯着黑板凝视了一会儿,陆舟开口道。 “你构造了一个类似于NS方程的偏微分方程?” “没错,”费弗曼教授用轻松的语气说道,“构造一个抽象的双线性算子B',这类双线性算子与μ(t)中欧拉线性算子B具有类似的非线性结构,但同时它又区别于B。” “如果我们证明这个更强的结论成立……” 费弗曼教授笑着点了点头:“我们就能间接证明,原结论同样成立!”