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