第421章 存在!光滑!
陆舟原本以为,自己已经习惯了这种感觉。 结果没想到的是,当他站在这里的时候,还是难以克制那汹涌澎湃的心潮。 与普林斯顿高等研究院一号报告厅的那场报告会不一样,这一次他面对的不只是数论界,而是整个数学界…… 站在报告台上,陆舟做了一个深呼吸,让心率渐渐平静了下来。 第N次看向了手表。 看着那越来越近的秒针,他的脸上换上认真的神色,打起了精神。 “要开始了!” 九点整。 根本无需人去维持纪律,当时间到达整点的瞬间,原本因为小声讨论而显得嘈杂纷乱的会场,顷刻之间便安静了下来。 在万众瞩目之下,银白色的幕布中,浮现了一行清晰的标题。 【关于三维不可压缩Navier-Stokes方程解的存在性与光滑性的证明】 回应这台下那一双双视线,陆舟缓缓开口,开始了报告会的开场白。 “高速行驶的汽车为何不会自我分解,静止的湖水为何不会突然爆炸。” “长久以来,我们被显而易见的东西所困扰着,因为我们所渴求的真理,总是披着显而易见的伪装。” “即便早在19世纪,我们便已经总结出了归纳流体运动规律的方程,并且使它看上去足够的简洁,然而时至今日,我们对方程背后更深刻的数学、物理内涵,依然是一筹莫展。” “数学是一门严谨的学科,涉及到数字的命题,不应该用也许或者可能这种暧.昧不清的词语来描述。” “回归最初的问题,为什么高速行驶的汽车不会自我分解?为什么静止的湖水不会突然爆炸?在无限的时间尺度上是否存在那么一个神秘的奇点,让我们的方程在有限的时间内发散?” “现在,是时候回答这个问题了。” 简短的开场白结束,幕布上的PPT翻开了下一页。 而报告会,也进入到了正题之中。 用三秒钟的时间,陆舟在大脑中迅速整理了一遍发言的思路。紧接着他面对着全场观众,用一分钟的时间对自己的证明思路做了一个简单的综述。 台下听众鸦雀无声。 所有人都凝视着幕布上的图片和算式,所有人都在仔细地听着,不愿意放过任何一个细节,不愿意错过任何一个瞬间。 【μ=e^·μ0e^B,μ)dt‘】 【……】 “当我们对方程给定一个施瓦茨无散度向量场μ0,设置时间间隔I【0,﹢),进而可以继续定义Navier-Stokes方程的一个广义解H10为一个服从积分方程μ的连续映射,即μH10df……” 幕布中的PPT一边放映着,手中握着激光笔的陆舟,一边用均匀的语速在旁边解说着。 前面的部分没什么需要特别说明的。 不少关于NS方程研究的论文中,都能看到类似的东西。 无论是采用抽象证明方法构造抽象的双线性算子B‘,还是他采用的“L流形”方法,这一部分都是必不可少的。 然而接下来的部分,便是整个证明思路中的关键! 他会将微分流形的概念,引入到偏微分方程的问题之中。 而这,也正是“运用拓扑方法研究偏微分方程”理论的核心所在! …… 台下,徐辰阳面色凝重,手中的笔尖,在笔记本上轻轻点着。 过了一会儿,他用只有两个人能听见的声音,向坐在旁边的张玮低声问道。 “你看懂了吗?” 张玮摇了摇头:“我对偏微分方程的研究并不比你多多少,如果你开始感觉吃力,那么我也差不多了。” 张玮擅长的方向和他的导师张寿五相似,主要集中于表示论、朗兰兹纲领,对狄利克雷L函数也有所研究。