259章 还是方程
写一部带有专业理论色彩的数论史书,是一个浩大的工程,非朝夕之功。
沈奇有灵感就写几个字,他不着急,慢工出细活。
又到了周三的咖啡时间。
沈奇在数学系三楼咖啡厅和几位博士研究生聊天。
“乔纳斯,从去年九月到现在二月份,我第一次在咖啡厅见到你,要知道我从没缺席过任何一次周三咖啡时间。”沈奇说到。
乔纳斯也是一位博士研究生,今年是他呆在普林斯顿的第九个年头。
一年多前,沈奇来普大读研究生时,乔纳斯是博士研究生。
极有可能在几个月之后沈奇拿到phd,乔纳斯还是博士研究生。
“我有资格来喝咖啡,不是吗?”乔纳斯笑道。
“当然。”沈奇点点头,又问另一位博士研究生:“克里斯,你研究的课题进度怎样?”
克里斯,他非常神秘而且特别认真的说到:“哥德巴赫猜想1+1问题即将被我解决。”
“哦,是吗?”沈奇将信将疑,如果克里斯所言不假,那么这将是一个震惊数学界的爆炸性新闻。
“你呢,塞巴斯蒂安,你在研究什么课题?”沈奇问一位头发很卷的博士研究生。
塞巴斯蒂安淡淡一笑:“我想我已经找到了一个通解,对任何紧的、单的规范群,这个解满足四维欧氏空间中的杨-米尔斯方程组。”
“你太了不起了,塞巴斯蒂安。”沈奇虽然口头恭维塞巴斯蒂安,但内心中存疑。
找到这个通解,意味着从数学上完全解释了困扰人类科学家几十年的千禧难题之一:杨-米尔斯方程组。
今天是什么好日子,克里斯宣称他即将解决哥猜1+1,塞巴斯蒂安说他已经解决了杨-米方程组。
这俩博士研究生究竟是才华盖世,还是牛逼吹上了天?
需要进一步验证。
沈奇还是有点紧张的,如果哥猜和杨-米方程组真的被克里斯、塞巴斯蒂安这两个韬光养晦好几年的家伙搞定了,那么他俩将成为当今最耀眼的学术明星。
逼的数量是有限的,人家多装一个逼,自己就将少装一个逼。
沈奇询问到:“塞巴斯蒂安,可以展示一下杨-米方程组的通解吗?当然,你有权不这么做,如果你的研究成果尚未发表的话。”
“我很乐意这么做。”塞巴斯蒂安端着咖啡杯起身,拿粉笔在黑板上写了起来。
普大数学系咖啡厅跟外面那些妖艳咖啡厅不一样,这里的墙壁上挂着若干块黑板,客人们若是来了灵感,可以在黑板上即兴发挥。
塞巴斯蒂安一边喝着咖啡,一边解着杨-米方程组,悠然自得,成竹在胸。
“这……”沈奇的心提到了嗓子眼,塞巴斯蒂安运用到了对称群的处理方法,这个思路是对的,难道他确实找到了杨-米方程组的通解?
在一个极其普通的星期三,杨-米方程组就这么被破解了?
普林斯顿,果然是卧虎藏龙之地!
很快的,塞巴斯蒂安写出他的答案:du=iΘu-i8taaug
“哇喔!塞巴斯蒂安,你太伟大了,今年的菲尔兹奖是你的!”克里斯鼓起了掌。
“你同样杰出,克里斯,菲尔兹奖是我们的。”塞巴斯蒂安冲克里斯一笑,柔情万种。
“我……噗……”沈奇一口咖啡差点喷出来,他敲了敲黑板,十分质疑的说到:“塞巴斯蒂安,你可别逗我,我绝不相信黑板上写的是杨-米尔斯方程组的通解,这就是个协变导数的定义而已!不过你前面的对称群处理还是蛮有趣的,仅从数学上来说,有一定的原创思想及学术价值。。”
“黑板上的空白处太少,我只能写出这么多,总而言之我的核心思想全写在黑板上,你能看懂多少算多少吧。”塞巴斯蒂安摊手说到,然后坐回克里斯身边。
这是一件不可思议的事情,世界上最精确的物理学理论建立在无人理解的方程组上,这个方程组至今没有一个人能求出通解。
沈奇也没见过杨-米方程组的通解长啥样,世界上没人见过,包括杨-米方程组的创立者杨振宁和米尔斯。
但只要具备基础的数学系研究生知识储备,以及对麦克斯韦方程组、薛定谔方程、广义相对论有一定的了解,就能立马判别出塞巴斯蒂安写的答案跟杨-米方程组的通解无关。
“乔纳斯,你怎么看塞巴斯蒂安关于杨-米尔斯方程组的解答?”沈奇问乔纳斯。
“抱歉,我看不懂,这和我的专业不对口。如果克里斯能写出哥德巴赫猜想1+1问题的解决方案,我想我能给出意见。”乔纳斯的专业是数论,他对克里斯宣称的哥猜1+1问题即将被解决表示关注。
沈奇继续研究黑板上的推导过程及结论,他觉得塞巴斯蒂安是在瞎特么忽悠,但也有可能塞巴斯蒂安是对的,自己的物理水平才6级,或许没能深刻体会到杨-米方程组的真谛?
杨-米方程组不是单纯的数学问题,它是由物理学家提出的物理学理论,物理学家构建了粒子物理学的标准模型,但他们无法从数学角度予以解释。
打个比方,一个小朋友凭借超群的空间构建天赋,用几百块积木搭建了一座无懈可击的城堡,他会搭积木,在实践中也做的很完美,但小朋友无法从空间几何学原理上说明,为什么要这么搭积木?能否从理论本质上给出解释,这种搭建方案是全球最优的?
这个小朋友就是物理学家,他去问他的老爸数学家,爸比,我需要一个数学解释,来证明我搭建的城堡是世界上最好的城堡。
数学家老爸也懵逼了,他水平有限,他只知道结果,但无法给出原理性的解释。
杨-米方程组大概就是上述情况,杨-米方程组在无法确定通解的情况下依然可以使用,并被使用了几十年也没掉过链子,但没有通解的方程组始终不让人百分百安心,万一在某种极小概率的情况下,它掉链子了呢?
跟杨-米方程组类似的还有n-s方程。
人类在尖端理论无法取得突破的情况下,依然可以高速发展应用,然而搞理论研究的人始终还是想把基础理论研究透彻。
沈奇被塞巴斯蒂安搞的有点动摇了,就在这时,坐在角落位置冷眼旁观的爱德华-威腾开口了:“塞巴斯蒂安,你太让我失望了,这就是你四年博士研究生的成果?”