第一百四十九章：现场证明

(读小说吧 www.duxs8.net) “林宇，你确定不是在开玩笑？” 好片刻后，陈省身老爷子回过神来，神情不自然的看着一脸淡定的林宇，再度重复问道。 他想过林宇的这次报告题目可能会劲爆，但是没想到会劲爆到这种夸张的程度！ 要知道，这可又是一道世界性的千禧难题，只要成功破解，那么它将足以改变整个世界！ 甚至，从某些方面来说，ns方程解的难度，就算是比同为世界七大千禧难题的黎曼猜想还要困难。 因为它所需要用到的数学公式，以及各个方面的计算量，那简直不是人能够解决的。 所以，当林宇说出他今天的报告题目是ns方程解后， 对于两位老爷子而言，这已经不算是惊喜，而是惊吓了。 “真的是ns方程解？” 旁边，丘成同老爷子也是忍不住开口问道。 “嗯。” 看着两位老爷子这一脸不相信的模样，林宇轻应了一声，旋即神情认真的说道：“确实是ns方程解。” 当听到林宇这确定性的话语后，即便两位老爷子都已经做好了心理准备，但也还是被这个消息给震住了。 “难道说，你已经成功找到了ns方程的通解了？”半响，陈省身老爷子问出了最关键的问题。 听到这话，旁边的丘成同老爷子也是目光灼热的看向林宇。 “没有。” 见状，林宇不由得轻咳了一声，如实的说道：“现在我还没想到，不过等会上台后，应该就可以去试着现场推算了。” “……” 在听完林宇的话后，两位老爷子顿时有些无语。 他们原本还以为林宇已经成功破解出ns方程的通解了，结果没想到他竟然连笔都没开始动！ “那你这些天干嘛去了？” 看着眼前一脸淡定的林宇，陈省身老爷子眼角抽了抽，问道。 “在房间里敲代码啊。”林宇理所当然的说道。 林宇不说这个还好，一说这个，旁边的丘成同老爷子顿时就没好气的说道：“我们两个老头子还以为你在房间里准备报告会的题目，所以特意帮你处理imo大赛的事情，结果你现在和我们说，你竟然在房间里敲代码？” 话到最后，丘成同老爷子的脸色也是越来越黑，很是不爽的看着林宇。 “呃……” 见状，林宇讪讪的笑了笑，旋即连忙解释的说道：“我敲代码是为了另一件重要的事情，而且，这件事情可是比年终报告会还要重要。” “再说了，我又不是完全没有任何准备，我这不是已经想到等会要证明什么题目了么，到时候现场证明也是一样的。” 话到最后，林宇的语气中也是充满了轻松，仿佛在他眼中，证明ns方程只不过是一件很容易的事情。 感受着林宇话语中的意思后，两位老爷子不由得互相对视一眼，一时间都是有些无言以对。 合着说半天，他们现在才发现，原来就连ns方程解都是林宇刚刚临时想出来的题目…… 沉默片刻后，陈省身老爷子仿佛想到什么，突然开口问道：“你是怎么突然想起来要证明ns方程的。” “嗯，主要原因是，我刚刚才想起来，我们华夏以后在制造航天母舰的时候，在某些方面上，可能会需要用到这个方程式。” 在两位老爷子那呆愣的目光中，林宇缓缓说出了自己的理由。 航天母舰？ 华夏什么时候可以制造出这种只存在于科幻中的东西了？ 现在不还都是航空母舰么！ 两位老爷子互相对视一眼，皆是有些茫然。 恍惚间，他们突然有种自己可能和林宇不是在同一个次元的错觉。 随着时间的推移，报告厅中的人也是越来越多，没一会，整个报告厅就已经座无虚席。 而作为普林斯顿数学系的五大顶尖数学家，德利涅等五人也是相继落座。 在所有人都已经落座后，很快，此次报告会的主持人便是面带微笑的走了上来。 西装、领带、皮鞋，以及打理的一丝不苟的油头。 这是一个长得很帅气的金发男人，身上更是有一种绅士的优雅气质。 主持人在简单的介绍后，报告会便是正式开始。 林宇的报告会是在第二台，时间总共有两个小时。 而等林宇的报告会结束后，时间正好是在中午一点左右，剩下的一个多小时，足够他们所有人赶飞机了。 很快，在主持人简单的介绍下，第一台报告会正式开始。 一个有些秃顶的老教授缓缓站起身，冲着在座的各位点了点头后，这才不紧不慢的走向已经准备好白板的报告台。 “我的报告题目是，函数空间拓扑一致性问题。”老教授站在台上，淡淡的说道。 而在听到完老教授的话后，报告厅所有人的脑海中，都是想到了四个字。 拓扑函数！ 拓扑函数覆盖面极其广泛，可以说，它包含了整个数学的绝大部分领域。 而且，因为其难度系数太大，它也一直被数学家们，称为数学界最难攻克的堡垒。 然而，眼前这位老教授却是将目光盯向了它。 这一刻，所有人都是来了精神，一个个目光如炬的看向报告台上的白板。 在众人的目光注视下，老教授神色淡定的拿起黑色记号笔，一边在白板上开始书写，一边缓缓开口说道：“x是一个拓扑空间，a(x)表示它的开集格，拓扑空间x是核紧的，当且仅当Ω(x)是连续格，通常我们认为一个拓扑是紧的是说它是lawso紧的……” “所以，对于连续depol，我们有一些基本性质。 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亿。 所以，把纳维-斯托克斯方程看作是数学问题，其实是不公平的。 因为这根本无法用数学方法来解，数学方法是绣花的精细活，不是干这种粗犷的计算量事的。 所以，对于林宇而言，他想要成功推导出纳维－斯托克斯方程的话，那就只能凭借筛法和自己堪比超脑的计算量去推导。 而林宇也正是这样想的。 紫笔文学