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