陈辉也颇为开心。
挂断电话,王启明才再次开口说道,“走,跟我去一趟燕北,这件事还得拜托邱老出手了。”
“不用了,刚才是中岛启打来的电话。”
陈辉摇头。
“中岛启?”
王启明一怔,旋即反应过来,结合上下文,这个中岛启,自然只能是国际数学联盟主席中岛启了。
“你做了什么?”
“竟然能让他亲自给你开绿灯?”
王启明惊呼一声,忽然想到刚才在路上听到的蔻依的欢呼声,结合陈辉闭关这么多天,陡然回过神来,“你完成纳维斯托克斯方程的证明了?”
他早知道陈辉当前的研究方向,也知道陈辉闭关是为了什么,但那毕竟是千禧年难题,才几个月时间,他以为最多只是阶段性成果而已。
但阶段性成果,可很难让中岛启大开方便之门。
陈辉点头。
王启明只感觉呼吸一滞,倒吸一口凉气。
一年一个千禧年难题,这人到底是什么怪物?
当真恐怖如斯!
但这很快变成巨大的喜悦,华夏数学界出了这样的人物,当真是天佑华夏,这样的人物竟然还是他们江城大学的,王启明没忍住直接笑出了声来。
陈辉不再与王启明啰嗦,在书桌前坐下,继续整理NS方程的证明过程。
……
第二天陈辉就将整理好的论文提交到了国际数学联盟官网,同时也没忘了先上传到arxiv预发布系统,虽然以他如今在国际数学界的地位,抄他稿子的事情大概率不会发生,但也要有备无患。
做完这些,他才时隔两个多月再次走出自己的小办公室。
现在已经是劳动节假期,又正逢江城酷暑来袭,校园里只有三三两两学生骑着电瓶车匆匆来去。
樱花大道的樱花也早已经泥落成泥碾作尘,只留下光秃秃的树枝伫立在大道两侧,在他闭关期间,已然错过了一年一度的樱花季。
陈辉迈步向王启明办公室走去,如今他已经完成NS方程解的光滑性证明,接下来,就是将其运用在工程上。
可控核聚变,陈辉也忍不住有些心潮澎湃。
不过工程与理论研究不同,理论研究陈辉一个人就能搞定,但想要进行可控核聚变研究,就需要各方面的支持,具体要如何操作,陈辉还准备先去请教王启明一番。
“放弃吧,现在都在使用新能源了,研究内燃机有什么前途?”
“继续搞下去,毕业都难。”
“我还是想试试,前期人家给了那么多经费,总要做出点成果来。”
“即便最后内燃机会被电池淘汰,数学经验总是在的,说不定这种解决问题的方法能够用在其他领域呢。”
路过一个教研室时,陈辉忽然听到一阵争吵声传来。
他下意识的停在门口,向教研室内看去,因为他听到了一个熟悉的声音。
“灵儿!”
陈辉有些惊喜。
李泽翰去年就去了普林斯顿,陈灵儿天赋毕竟差点,最后还是留在了江城大学,不过陈辉这几个月不是四处领奖,就是在闭关,已经好一阵子不见陈灵儿了。
“辉哥。”
陈灵儿开心的笑了起来,迈步向门口走来。
“陈教授。”
“陈教授。”
教研室其他人都热情的跟陈辉打招呼,大家眼中满是尊敬之色,完成千禧年难题杨米尔斯方程的证明,提前锁定菲奖的天才大数学家,陈辉在华夏早已家喻户晓,更是成为了不少年轻人的偶像。
陈辉对这些人一一点头,这才对陈灵儿说道,“刚才听你们在争执什么?可是有什么麻烦,需要帮忙吗?”
李泽翰不在,他自然要帮衬几分。
陈灵儿摇头,拉着陈辉往教研室外走去。
“陈神刚才对我点头了,我能吹一辈子!”
“我艹,赶紧去调走廊监控,说不定还能拍到我跟陈神同框。”
“调什么监控,直接上去找陈神要个合照不就行了?”
“气死,刚才我怎么没找陈神要个签名?”
“陈神就在江城大学,想要签名,机会不多得是?”
“对啊,陈神是我们江城大学的!”
教研室中众人满脸喜色,一想到陈辉竟然是江城大学的老师,他们就忍不住一阵开心。
第250章 舒尔茨的顿悟
“内燃机燃烧效率?”
教研室外的走廊上,陈辉了解到了陈灵儿正在做的课题。
说起来,跟他还有些关系。
原本河北的一家内燃机公司赞助了陈灵儿他们实验室一个项目,用于研究内燃机效率改进。
但随着氧化镓的横空出世,内燃机俨然一副要退出历史舞台的样子,那家企业也暂停了打款,教研室自然也准备暂停这个项目。
不过这个项目一直是陈灵儿在负责,已经研究了一年多的她准备继续研究下去,她的想法很简单,即便内燃机已经要退出历史舞台,但数学方法永远有价值。
并且,即便如今电池有大突破,但在一些极端环境,内燃机依旧有巨大的应用价值,比如极端低温环境,电池会出现容量衰减,甚至彻底失活,比如航空航天,除非电池本身材料再次出现重大突破,它的能量密度依旧要逊色内燃机,短时间内,内燃机不可能完全消失。
内燃机燃烧效率的研究,是有价值的!
陈辉点头,他认同陈灵儿的想法,短时间内,内燃机不可能彻底被替代,电池还有很长的路要走。
“你现在遇到了什么问题,我可以帮上忙吗?”
尤其是陈灵儿研究的还是NS方程在内燃机中的应用,这就让陈辉更感兴趣了。
同样是NS方程,数学上的证明与工程应用并不是一回事,通过数值求解NS方程,工程师能对缸内湍流、燃料喷雾、混合气形成、化学反应等关键过程进行高精度摹拟,从而指导燃烧系统设计。
这种数值求解通常是近似解,难度当然会低很多。
然而,这一过程也面临计算复杂度高、模型简化误差、多物理场耦合等挑战,也并没有那么简单。
陈灵儿眼前一亮,“在求解完整NS方程+详细化学反应机理时,需要10^6量级以上的网格,单工况仿真耗时数周,全循环仿真需百万时间步,即便简化机理仍需求解千万级变量……”
她还不知道陈辉完成了纳维斯托克斯方程的证明,但她知道以陈辉如今的实力,至少能给她提出些建设性的建议。
“嗯。”
陈辉轻轻点头,这也会是他研究约束等离子体时会遇到的问题,需要通过NS方程模拟涡流。
“我需要具体的数据。”
陈灵儿教研室中的同学们还在激动之中,很快就看到偶像陈神去而复返,这次直接跟着陈灵儿进入了教研室中。
……
加州大学洛杉矶分校,
陶哲轩面带微笑的走在校园中,和善的回应跟他打招呼的同学。
虽然他从小在西方长大,但刻在骨子里的华夏美德却在他身上展露无疑。
功成名就的他身上有一种其他数学家不具备的松弛感,他不用于时间赛跑,其他数学家或许急于寻求突破和成果,但他只是在数学的后花园中肆意玩耍,如果能够有所收获,那当然是巨大的乐趣,若是没有收获,那也无妨,玩耍的过程本身就能给他带来巨大的乐趣。
“陶,我想我们快要成功了!”
刚走进实验室,手下博士生伦纳德露出灿烂的笑容。
陶哲轩也不在意,这些西方人就是这样,有时候自信得让人感觉他们是个傻子,但真做起事来,这样的心态反而能有意想不到的收获,他已经习惯了。
最近他们正在进行的是一个叫等式理论计划的研究项目,这是陶哲轩自己提出的项目,旨在探索代数领域中原群等式之间的逻辑关系,他大胆的开创了人类数学家与AI协作的新型研究范式。
通过分析4694个原群等式之间的2202942个逻辑蕴含关系,建立完整的数学结构图谱,如果使用传统方法,至少需要数十年才能完成,但通过人机协作,他们只用了57天!
目前这个成果已经进入论文撰写阶段,陶哲轩也很开心,他的成功只是他个人的一小步,却是人类的一大步。
这次成功,验证了去中心化数学研究的可行性,为复杂数学问题提供可扩展解决方案,可以预见,未来一段时间,人类数学家结合人工智能将会做出一大批令人震撼的成果。
来到自己的位置,打开电脑,陶哲轩打开邮箱,这是他的工作习惯,每次开始工作前,先将邮箱中的事务处理一遍。
至于撰写论文的工作,自然轮不到他去做。
按时间从早到晚排列收件箱,看到陈辉给自己的回信,陶哲轩洒然一笑,他自己年轻时也经常陷入这种状态,不理会外界任何事情,自然能理解陈辉之前两个月都没有回自己邮件。
想了想,陶哲轩将自己这些天的成果在邮件中简单描述一番,回复了陈辉的邮件。
点开最后一封邮件,陶哲轩发现竟然是一份审稿邀请。
这一次并不是某个期刊杂志的审稿邀请,而是国际数学联盟发来的邀请。
“纳维斯托克斯方程证明?”
陶哲轩咂咂嘴,如果不是发件人的确是国际数学联盟,他根本不会点开多看一眼。
“陈辉?”
然而,当他点开附件,看到这篇论文的作者时,他的神色顿时变得严肃起来。
结合刚才陈辉回复他的邮件。
所以,他这几个月就是在研究纳维斯托克斯方程?
并且还完成了证明?
陶哲轩没有急着审稿,而是将论文下载下来,打印出来,这才深吸一口气,全身心投入到这篇论文之中。
“将物理时空嵌入精心构造的四维复流形X,其上的凯勒形式K巧妙融合了时空度量与涡度耗散。”
(R3×[0,T])X,with Kahler form K∣R3×[0,T]=dx∧dy∧dz∧dt+νdω∧?dω
“妙啊!”
“妙啊!”
看着这个式子,陶哲轩赞叹不已。
在证明X的边界满足强拟凸性后,?-Neumann算子这把复几何的神剑,终于爆发出其无与伦比的威力,关键常数C与雷诺数无关,意味着奇点邻域的正则性牢不可破!
陶哲轩仔细阅读证明过程,发现陈辉巧妙的引入了奇流熵单调性公式,化用为压制非线性项发散的终极盾牌。
这是当年邱成梧老爷子的成果。
他早就知道陈辉算是邱成梧的徒孙,也只有邱老亲自指导,才能如此巧妙的运用这个成果。
Energy Dissipation Rate≤Λ·∣c1(V)∣
在这篇论文中,陈辉构造了以X为底空间、以涡度相空间信息为纤维的非交换纤维丛V。