普林斯顿高等研究院非常重视麦克维尔的研究,他们组建了一个临时的偏微分方程研究小组,专门去研究麦克维尔的论文。如果证明过程是正确的,那么就确定ns方程在笛卡尔坐标系下方形通道内存在奇点。
反之,就可以否定研究。
临时小组的成员们,都对麦克维尔的结论非常抵触,或者说,从事偏微分方程的纯数学研究的学者,九成以上都认为ns方程解集是光滑的。
在张硕完成湍流转变位置奇点论证后,这个比例一跃上升到了九成九,甚至更多。
原因很直接,ns方程湍流转变位置都不存在奇点,其他可能性不高的位置,又怎么会存在奇点呢?
麦克维尔的结论正确,感觉就像是美轮美奂的画作被泼了一盆污水。
这根本无法接受!
临时小组是从昨天开始工作的,今天又早早聚在了一起,其中包括普林斯顿高等研究院的几个教授,还包括特别从加州理工大学赶过来的安东-卡普斯汀。
他们凑在一起,都在谈麦克维尔的证明问题。
“昨天没找到问题,前面的部分好像是正确的。”
“逻辑上是能说得通的,我最开始以为问题会出在他的方法上,有两个转换都是他自己的研究。”
“涉及到好几种偏门的方法,让证明过程变得复杂了很多,还是要一步步去论证其逻辑问题。”
“那需要很长时间,也许要一周?甚至更长。”
爱德华-霍夫曼说完问向安东-卡普斯汀,“你和张硕有联系吧?问他了吗?”
卡普斯汀道,“我昨天给他发了邮件,但还是未读状态,中国国内可能刚知道消息吧?他们要比我们晚一些,《应用数学理论》,可不是什么影响大的期刊。”
卡普斯汀的意思是说,张硕不太可能第一时间看到《应用数学理论》的内容,大概率才刚知道消息。
爱德华-霍夫曼也跟着点头,随后说道,“即便是张硕知道了消息,也不太可能马上找出问题,还是要靠我们小组。”
他说完看向其他人,认真道,“在偏微分方程论证领域,我敢说我们是全世界最优秀的团队。”
“麦克维尔的论证有点复杂,但对我们来说也不算什么。”
“一个星期,搞定它!”
“好!”
“没问题!”
“抓紧,干活了!”
几个人正喊着话,突然有个人发出了不同的声音,“霍夫曼教授,有个事情我必须说一下。”
“刚才我收到老朋友的邮件,上面说张硕在网络上发了消息,确定已经找到麦克维尔论文中的问题。”
“就在这里……”
“第三个转换法,伊藤清研究的应用位置。”
小组其他人都有点儿发懵。
爱德华-霍夫曼也愣住了,他大声确认道,“你确定吗?张硕已经找到了问题,还指出了位置?”
“不可能吧?”
“我们这么多人,昨天研究了一整天……”
“而且中国方面比我们晚,张硕应该才刚知道消息。”
其他人也有些发懵。
即便张硕知道消息的时间更早一些,但发现的问题速度也太快了吧?
他们这么多人,还赶不上一个张硕吗?
……
办公室里。
张硕发了微博消息以后,可没想到影响这么大。
他休息了一会儿以后,就继续研究进行研究,发现问题涉及到几种方法的逻辑论证。
简单来理解——
a证明b、b证明c,那么a是否能证明c?
这种简单的逻辑推导当然是可行的,但因为涉及到的方法非常复杂,逻辑是否畅通就需要仔细思考了。
在思考了十几分钟之后,张硕选择了暂时放弃,因为他发现思考这个问题,还不如直接完成证明。
他很干脆的氪了一个币,就继续研究‘笛卡尔坐标系下方形通道内的奇点论证’。
之前进度已经达到了‘76%’,‘氪币’让证明方向明确以后,很顺畅的就写了一大堆论证内容。
当再次遇到问题的时候,又再次选择‘氪币’,后续再次变得非常顺畅,他快速写了三页的论证内容。
这时候,张硕忽然开始自我反省起来。
他发现连续做高难度任务以后,针对低级的任务‘氪币’根本不犹豫,就好像习惯了高消费,对于相对小的消费甚至都不动脑子,直接就‘钱’了出去。
“这样太大手大脚了!”
“以后一定要注意能自己想还是自己想,每天就只有一个科研币保底,不能这样了……”
“开源很重要,节流也很重要啊……”
张硕正在自省的时候,办公室的门忽然被推开了。
“张硕,张硕!”
谭友铭疑惑问道,“你找到问题了?”
“额~~~”
张硕愣了一下才反应过来,“你看见我发的微博了?”
他话音还没说完,办公室里又进来好几个人。
齐志详、王辉、苏炳康、罗勇军、孙兴利……
一群人都看过来。
张硕用力抿着嘴角,苦笑的说出一句,“都已经过了下班点,你们今天都加班啊?”
“什么加班,我路上看见你的微博直接回来了!”
“你找到问题了,是那个位置吗?”
“具体有什么问题?是用的不对,还是逻辑问题?”
“说说啊!”
张硕摇头道,“我是觉得那里有问题,具体是什么问题还不确定。”
他说的很坦然,但其他人并不相信。
谭友铭注意到桌上写满的稿纸,拿起来扫了几眼有些惊讶道,“你这是做后续论证?”
王辉忽然反应过来,做了个总结性发言,“所以说,你不止知道哪里有问题,还顺着继续做后续的论证……”
“是要证明笛卡尔坐标系下方形通道内不存在奇点,对吧?”
“这个……对……”
张硕感觉自己解释不清了。
“牛!”
王辉用力竖起大拇指。
其他人也都有学有样,表情也变得复杂了很多。
麦克维尔的证明很复杂,他们想整体上理解都不容易。
张硕大概用了两个多小时,不止找到了麦克维尔研究中的问题,还打算从问题的位置开始做后续论证,而且已经写了一大堆的内容。
这差距,也太大了!
(本章完)