“林宇,你确定不是在开玩笑?”
好片刻后,陈省身老爷子回过神来,神情不自然的看着一脸淡定的林宇,再度重复问道。
他想过林宇的这次报告题目可能会劲爆,但是没想到会劲爆到这种夸张的程度!
要知道,这可又是一道世界性的千禧难题,只要成功破解,那么它将足以改变整个世界!
甚至,从某些方面来说,ns方程解的难度,就算是比同为世界七大千禧难题的黎曼猜想还要困难。
因为它所需要用到的数学公式,以及各个方面的计算量,那简直不是人能够解决的。
所以,当林宇说出他今天的报告题目是ns方程解后,
对于两位老爷子而言,这已经不算是惊喜,而是惊吓了。
“真的是ns方程解?”
旁边,丘成同老爷子也是忍不住开口问道。
“嗯。”
看着两位老爷子这一脸不相信的模样,林宇轻应了一声,旋即神情认真的说道:“确实是ns方程解。”
当听到林宇这确定性的话语后,即便两位老爷子都已经做好了心理准备,但也还是被这个消息给震住了。
“难道说,你已经成功找到了ns方程的通解了?”半响,陈省身老爷子问出了最关键的问题。
听到这话,旁边的丘成同老爷子也是目光灼热的看向林宇。
“没有。”
见状,林宇不由得轻咳了一声,如实的说道:“现在我还没想到,不过等会上台后,应该就可以去试着现场推算了。”
“……”
在听完林宇的话后,两位老爷子顿时有些无语。
他们原本还以为林宇已经成功破解出ns方程的通解了,结果没想到他竟然连笔都没开始动!
“那你这些天干嘛去了?”
看着眼前一脸淡定的林宇,陈省身老爷子眼角抽了抽,问道。
“在房间里敲代码啊。”林宇理所当然的说道。
林宇不说这个还好,一说这个,旁边的丘成同老爷子顿时就没好气的说道:“我们两个老头子还以为你在房间里准备报告会的题目,所以特意帮你处理imo大赛的事情,结果你现在和我们说,你竟然在房间里敲代码?”
话到最后,丘成同老爷子的脸色也是越来越黑,很是不爽的看着林宇。
“呃……”
见状,林宇讪讪的笑了笑,旋即连忙解释的说道:“我敲代码是为了另一件重要的事情,而且,这件事情可是比年终报告会还要重要。”
“再说了,我又不是完全没有任何准备,我这不是已经想到等会要证明什么题目了么,到时候现场证明也是一样的。”
话到最后,林宇的语气中也是充满了轻松,仿佛在他眼中,证明ns方程只不过是一件很容易的事情。
感受着林宇话语中的意思后,两位老爷子不由得互相对视一眼,一时间都是有些无言以对。
合着说半天,他们现在才发现,原来就连ns方程解都是林宇刚刚临时想出来的题目……
沉默片刻后,陈省身老爷子仿佛想到什么,突然开口问道:“你是怎么突然想起来要证明ns方程的。”
“嗯,主要原因是,我刚刚才想起来,我们华夏以后在制造航天母舰的时候,在某些方面上,可能会需要用到这个方程式。”
在两位老爷子那呆愣的目光中,林宇缓缓说出了自己的理由。
航天母舰?
华夏什么时候可以制造出这种只存在于科幻中的东西了?
现在不还都是航空母舰么!
两位老爷子互相对视一眼,皆是有些茫然。
恍惚间,他们突然有种自己可能和林宇不是在同一个次元的错觉。
随着时间的推移,报告厅中的人也是越来越多,没一会,整个报告厅就已经座无虚席。
而作为普林斯顿数学系的五大顶尖数学家,德利涅等五人也是相继落座。
在所有人都已经落座后,很快,此次报告会的主持人便是面带微笑的走了上来。
西装、领带、皮鞋,以及打理的一丝不苟的油头。
这是一个长得很帅气的金发男人,身上更是有一种绅士的优雅气质。
主持人在简单的介绍后,报告会便是正式开始。
林宇的报告会是在第二台,时间总共有两个小时。
而等林宇的报告会结束后,时间正好是在中午一点左右,剩下的一个多小时,足够他们所有人赶飞机了。
很快,在主持人简单的介绍下,第一台报告会正式开始。
一个有些秃顶的老教授缓缓站起身,冲着在座的各位点了点头后,这才不紧不慢的走向已经准备好白板的报告台。
“我的报告题目是,函数空间拓扑一致性问题。”老教授站在台上,淡淡的说道。
而在听到完老教授的话后,报告厅所有人的脑海中,都是想到了四个字。
拓扑函数!
拓扑函数覆盖面极其广泛,可以说,它包含了整个数学的绝大部分领域。
而且,因为其难度系数太大,它也一直被数学家们,称为数学界最难攻克的堡垒。
然而,眼前这位老教授却是将目光盯向了它。
这一刻,所有人都是来了精神,一个个目光如炬的看向报告台上的白板。
在众人的目光注视下,老教授神色淡定的拿起黑色记号笔,一边在白板上开始书写,一边缓缓开口说道:“x是一个拓扑空间,a(x)表示它的开集格,拓扑空间x是核紧的,当且仅当Ω(x)是连续格,通常我们认为一个拓扑是紧的是说它是lawso紧的……”
“所以,对于连续depol,我们有一些基本性质。
www.youxs.org,xy∈l,x<y,则存在z∈l,使得x<z<y
2{x∈l}是a(l)的基。
www.youxs.org(l)是连续格。
……
似乎是为了让人听的更清楚,所以老教授的语速并不快。
但是落在每个人的耳中,却犹如惊雷一般。
因为对于老教授的报告,他们找不出丝毫的漏洞。
大概过了一个多小时之后,当时针指向十点半左右的时候,老教授放下了手中的黑色记号笔,面带微笑的转过身,望着众人。
“我们由此得出结论,当l是带有性质m的具有最小元的连续domain,则函数空间(x-→l)scott拓扑与isbell拓扑所有核紧空间x一致。”
”即,函数和空间拓扑结果一致,这就是我的报告。”
”啪啪啪啪!“
当老教授的报告结束后,如雷鸣般的掌声骤然响起。
直到好几分钟后,雷鸣般的掌声这才渐渐平复。
很快,作为此次报告会主办人的德利涅站了起来,他笑容满面的看着台上的老教授:“恭喜你,约翰逊教授,你成功的为数学界打开了一扇通往拓扑函数至高殿堂的大门!”
约翰逊教授成功了,他成功的解决了在函数空间上lbell拓扑和soott拓扑一致的问题。
这对于研究函数空间拓扑结构,有着非常重要的作用!
毫不客气的说,约翰逊教授所陈述的这个问题,足以推动数学界拓扑函数的发展进程!
甚至,哪怕仅仅只是一点点,那也足以让后续无数的数学家们从中获取新的灵感。
当约翰逊教授回到位置上后,主持人再次走上台,手持话筒,面带微笑的给众人介绍着下一台报告会的人:“他来自华夏,他不到半年的时间就证明了复数领域上的黎曼函数猜想。”
“并且,他的这份猜想还一路登上了今年的《数学年刊》,甚至,就在不久前,他更是凭借着自己堪比超算的大脑,以手算笔录的方式,准确无误的计算出第51个梅森素数……”
“当然,他的成就还远远不止于此,他在医疗、生物、化学等领域上,同样也获得了极高的成就…”
“所以,接下来,请让我们以最热烈的掌声,欢迎来自华夏的数学家,林宇!”
“哗啦啦啦……”
在主持人的话音落下后,刹那间,热烈的掌声响彻全场。
对于林宇,在场的所有人可以说是非常的熟悉。
因为不久前的白泽抑制剂价格事件,已经让得林宇彻底火遍全球。
所以,他在华夏社会上的所有已知信息,也是被全球无数网友们所知道,并且不断翻阅。
无数人对他感到敬佩不已的同时,也有无数人对他感到怨恨。
在众人热烈的掌声中,林宇缓缓起身,走向报告台。
由于林宇已经习惯了在众目睽睽之下演讲。
所以,即便是底下坐满了普林斯顿数学系的众多数学大佬,他也是异常的淡定,神情更是没有丝毫的紧张。
扶正话筒,林宇整理了一下思路后,这才缓缓说道:“我的报告题目是,纳维-斯托克斯方程。”
沉默,死一般的沉默!
当林宇说出自己今天的报告题目后,这个有着整整五百多人的报告大厅顿时鸦雀无声!
除了早就知道消息的两位老爷子,所有人都是在这一刻呆住了。
而这诡异的安静气氛,也是让得那些不明所以的工作人员们,同样是大气都不敢出一下。
德利涅、法尔延斯、安德鲁·怀尔斯……等等,这些赫赫有名的数学顶尖大佬,全都微张着嘴,被这个震撼人心的消息,给震惊到说不出任何话来。
上帝啊,这是疯了吗!
他竟然想在年终报告会上现场证明世界七大千禧难题之一的纳维-斯托克斯方程?!
这简直不可思议!
短暂的沉寂后,原本鸦雀无声的报告大厅,顿时如同压抑到极致的火山一般,瞬间爆发开来!
无数嘈杂的讨论声,响彻整个报告大厅!
“我的天呐!难道说今天我们有幸能见到纳维-斯托克斯方程的通解了吗?!”
“不可能!我发誓,这种情况绝对不可能出现!”
“噢!我的上帝啊!现场证明纳维-斯托克斯方程,这未免也太疯狂了。”
“这确定不是在开玩笑吗?”
“为什么这种难以置信的事情会发生在年终报告会上?这太不严谨了!”
………
“林宇,为了确保报告会的正常进行,我需要向你确认,请问你的报告题目确定是世界七大千禧难题的纳维-斯托克斯方程吗?或者说,你确定要现场证明纳维-斯托克斯方程?”
在众人议论纷纷中,德利涅回过神来后,从座位上站起,手持话筒,目光紧紧盯着林宇,神情肃穆的问道。
随着德利涅的声音在报告厅响起,原本嘈杂的报告厅也是缓缓平复下来。
这一刻,所有人的目光,都是紧紧的盯着报告台上的林宇。
“是的,我确定。”
面对所有人的注目礼,林宇神色自若,淡定从容的缓缓说道。
“好,我的问题结束,请开始你的证明!”
在得到林宇那肯定的回答后,德利涅脸上不由得露出一抹灿烂的笑容,语气中,更是充斥着些许久违的兴奋与激动。
他没想到,今天林宇的报告题目竟然会是世界七大千禧难题之一的纳维-斯托克斯方程!
这简直太让人感到震惊了!
可以说,只要林宇的证明过程能让所有人满意。
那么,不论他到底有没有完整的破解出纳维-斯托克斯方程,他都可以在纳维-斯托克斯方程这座至高殿堂上,刻上属于他的名字!
甚至,他将会在数学界,永远留下属于他的浓墨重彩的一笔!
“你说他会用什么方法证明?”
坐下后,德利涅扭头看向旁边的法尔延斯,问道。
“虽然我不清楚他的数学风格以及喜欢运用的数学方法,但是,我觉得以他那堪比超算的大脑,应该会用筛法。”法尔延斯思索片刻后,眯着眼睛说道。
筛法,是求不超过自然数n(n>1)的所有质数的一种方法,是古希腊的埃拉托斯特尼发明的,所以又称埃拉托斯特尼筛法。
而后来,随着越来越多的数学家从筛法中获取灵感。
筛法的种类也是越来越多,比如三大筛法、广义筛选法等等。
像纳维-斯托克斯方程这种问题,通常有2个出路,一是数学方法,二是计算机计算。
不过,现在数学上,还没有找到好的方法,如果是计算机计算的话,那么难点就是计算量太大,
因为,这就好像是假设把一个边长为1000的流体,分为边长为1的小立方体表示。
这样一来,就会有1000^3=10亿个小立方体。
要计算每个立方体之间的相互黏着作用力,这相当于是一个n体问题,n=10亿。
所以,把纳维-斯托克斯方程看作是数学问题,其实是不公平的。
因为这根本无法用数学方法来解,数学方法是绣花的精细活,不是干这种粗犷的计算量事的。
所以,对于林宇而言,他想要成功推导出纳维-斯托克斯方程的话,那就只能凭借筛法和自己堪比超脑的计算量去推导。
而林宇也正是这样想的。