“啥?不列颠的实验室已经初步验证了我的理论?”
“是的,爸爸。显然我计算错了一些变量,事实证明太过追求全局最优化选择,是我的缺点而不是优点。”事实上,当乔源一大早起来,从乔贝恩口中得知迈尔斯已经完成了理论初步验证的时候,整个人都是茫然的。在验证这一点上,他其实跟塞德里克·维拉尼的想法几乎一致,甚至要更保守。
按照乔贝恩的描述,从开始组织这些实验室合作,到最终出成果,起码也得个一年两年的。按照乔贝恩所参考的过往案例,想要组织这种国际大型联合验证性实验项目其实非常复杂。当然并不是因为事情本身复杂,而是人复杂。
科学史上任何进步都不是一帆风顺的。尤其是涉及到这种多实验室合作的任务。
毕竞各大顶级实验室之间也都是谁都不服的。
想要精诚合作几乎是不可能的,学术圈里想要完全不勾心斗角很难。
尤其是对于实验物理学家来说更是如此。
而且新理论从提出到被验证,一年左右已经是个非常快的周期了。
历史上很多新理论被提出沉寂个几年甚至几十年都是很正常的。
一方面学术界从理解到认可需要时间,另一方面之前的科技发展,让许多验证性工作根本无法展开。也就是当代科技经历了好几次大爆炸式的发展,尤其是超算跟各种量子技术,让验证新的理论变得简单很多。尤其是新世纪以后,虽然人类文明没有什么耀眼的科技革命,但毕竟还是积累了太多东西。曾经的星球大战计划,虽然劳民伤财,但火箭是真的带着各种宇宙级深空望远镜上天了。
大欧洲虽然的确经常不干人事,很多时候的决策都抽象到让正常人怀疑他们到底有没有脑子,但cern毕竞建成了世界最大规模的粒子对撞机。西大的科技公司虽然大都是为了讲故事,但成千上万亿的美元砸下去,让全世界遍布各种大型数据中心,为科研提供了充足了的算力去尝试各种数学算法和模型。
以上种种,客观上降低了现代数学理论的验证难度。
但问题是乔源很清楚他的工作进度,他特么都还没有完成从湍流从二维到三维层面的数学证明,结果不列颠的实验物理学家,硬是用他在二维层面的理论,把三维问题给搞定了?
真的,从乔贝恩口中得知这个消息的时候,乔源都愣了足足三秒。要知道他发的那篇论文只是个半成品啊!原本他预计大概还要半年应该能拿出完整的数学证明。
所以让乔贝恩先把那些实验室都给动员起来做准备,等到他完成了二维到三维的数学推广证明之后,正好开始进行联合验证。再用个半年时间做出验证成果,证明他是对的,一切都水到渠成。
但显然乔源和乔贝恩还是太小看了诺贝尔奖对于那些实验物理学家的驱动力有多大。
更是小看了普林斯顿的反应以及这家科学圣殿在西方学术界的资源整合能力。
于是便发生了此时这种荒谬的情况。
真的,起码在乔源看来现阶段有张华清和彭博远的证明结果已经足够了。
“怎么了?你刚刚在跟打电话吗?”
乔源跟乔贝恩的对话吵醒了还在睡觉的夏汐月。
睡眼惺忪的睁开眼,便看到乔源正站在床头发愣,很奇怪的问了句。
“没有,乔贝恩一大早告诉我个消息,我的湍流三维理论被验证了。”
听到这句话,夏汐月先是一愣,随后绽开了笑容,立刻说道:“那可要恭喜你了,乔院士,咦,这难道不是好事儿吗?你怎么是这个表情?”“理论上这的确是件好事儿,但前提我觉得应该建立在我已经完成了三维推广的证明之后。”乔源很中肯的给出了自己的评价。
这句话把夏汐月也给说懵了,本来刚睡醒就挺迷糊,听完之后就更迷糊了。
“不是说都是先有理论才能验证吗?你没证明完,为什么他们就可以验证了?”
乔源叹了口气,开口解释道:“理论其实是相通的。只是从数学逻辑上说能在二维生效,并不一定在三维生效。因为维度的升高,意味着要增加一些复杂的变量。想要处理这些变量,就需要引入一些新的数学工具。就比如那些传统数学家为了研究偏微分方程,发明了算子这种东西。虽然我只给出了二维的证明过程,但从原理上他们的结构是差不多的。唯一的问题是二维理论在三维应用,可能因为没考虑到那些变量,产生误差。不过我们好像小看了那些顶级实验室设备的精度?”“你们?”
夏汐月先是问了句,随后飞快地反应了过来:“哦,你和乔贝恩?”
乔源点了点头。
四目相对,夏汐月抱着被子坐了起来,有些头疼的问了句:“说了这么多,所以这到底是好事儿还是坏事儿啊?”这问题问的,一直能侃侃而谈的乔源也不知道该如何回答了。
没经历过啊,他哪知道这算好事儿还是坏事儿?
他结婚休假很正常啊,西方那帮人怎么突然这么卷了?
前段时间可是他们的圣诞节啊,难道都可以不好好在家休息或者去度假的吗?
半晌后,乔源还是憋出了一句:“说实话,我也不知道这算不算好事儿。
不过照以往这块的经验来看,接下来学术界肯定又会很热闹。这两天袁老和陆导肯定又要给我打电话。”“不管怎么样,你果然是最棒的,乔院士!”
夏汐月最后总结道。
脸上那崇拜的表情根本没法做假。
乔源判断的也的确没错。
经过了二十四个小时的发酵,学术界的确因为迈尔斯的这篇论文再次热闹起来。
而且跟之前不同的是,这次可不止是世界物理学界开始热闹,数学界同样一片哗然。
尤其是数学分析学界。
但凡数学系的都知道,本科阶段最让人挠头的高数,函数那些课程根本排不上号。
从大一开始,当头那一闷棍必然是数学分析这门课程。
从实数理论,极限,连续性,可微性,到黎曼积分,级数……等等这些,构成了现代分析学的基础框架。再到之后为了研究偏微分方程这类问题,大家发现光有这些经典数学分析工具还远远不够,又搞出了泛函分析,算子理论这些东西。总之在n-s方程这类湍流问题上,从上个世纪30年代法国数学家让·勒雷开始处理n-s方程弱解问题开始,到十多年前陶轩之完成了n-s方程平均版本的突破,数学界一直都靠这一套方法,来处理所有相关的偏微分方程问题。
查尔斯·费弗曼也好,塞德里克·维拉尼也罢,这些大名鼎鼎的菲尔兹奖获得者,都是其中的代表性人物。甚至乔源曾经的导师陆明远也是其中之一。
但现在乔源直接用他那套离散时空晶格理论,搭配拓扑缺陷和辫子代数,把这个问题解决了,这意味着曾经连续函数那一套起码未来在湍流问题上不管用了。所有那些希望通过这类分析方法来证明n-s方程正则性的努力都成了笑话。
这特么谁受得了?
毕竟查尔斯·费弗曼,塞德里克·维拉尼这两位接受乔源的理论都经历了许久的心理建设。尤其是查尔斯·费弗曼。