但要是从更严格的方面考虑,更准确地来说,应该是数学家们更关心的问题,则是N-S方程的解的存在性与光滑性问题。
所以,这也是陈舟在选择剩余的几个千禧年难题时,为什么会说剩下的这几个和物理学的关系没有那么紧密的原因。
关于N-S方程的存在性与光滑性问题,在1934年时,由法国数学家勒雷证明了其弱解的存在。
这个解在流场中的平均值上,能够满足N-S方程的问题,但无法在整个定义域的每一点上满足。
也就是说,现在所提到的N-S方程的存在性和光滑性问题,要解决的便是N-S方程的强解问题,这个解需要在流场中定义域上的每一点上都要满足。
更具体点的说法就是,对于任一给定的起始点流动条件,可以根据N-S方程,准确预测出随时间变化后的,任意时刻的流动状况。
或者反过来,对湍流流动中的任何一点,任意时刻的流动,可以精确追溯到,它的起始点的流动的起始条件。
实际上,也就是N-S方程解的一般性。
就像CMI对该问题的具体数学描述,就是在三维的空间及时间下,给定一起始的速度场,存在一矢量的速度场及标量的压力场,为N-S方程的解。
其中速度场及压力场,需满足光滑及全局定义的特性,并且动能有界。
这也是无论先前还是现在,所有研究这个问题的人,整体的研究思路。
陈舟也不例外,他现在的研究思路,也是如此。
此外,陈舟开始了对N-S方程解的相关研究文献的收集与整理。
无论是勒雷的研究论文,还是这一百多年来,各位学者所做的大量理论和计算工作类的论文。
无论是证明光滑解存在,还是证否的论文,陈舟是一个也没有放过。
这也是陈舟一贯的研究方式。
但不得不说,关于N-S方程解的研究论文,着实太多了。
有时候,陈舟也会认为,这大量的工作,是否真的有必要。
而每当他这么想的时候,脑海里就会响起最初,他坚定相信的那个声音。
就是,站在巨人的肩膀上,才能看的更远,也更广。
这也是符合陈舟一直以来的一个想法,那就是,灵感从来不会自己冒出来。
而且,只有你有了充足的准备之后,在灵感冒出来时,才能将它抓住。
“咦,陶哲轩么?”
陈舟搜索相关文献时,发现了陶哲轩的名字。
在仔细看了看后,陈舟犹豫了一下,但最终还是下载了这篇论文。
令陈舟有些犹豫的原因,是因为陶哲轩的这篇论文,其实不是关于N-S方程解的问题的。
而是陶哲轩构造的一个,与原始N-S方程接近等价的方程。
并证明了这个等价的方程,在有限时间内会爆炸,也就是存在奇点,不存在动能有界,不具有光滑性。
而按照陶哲轩在论文中的思路和逻辑,就可以近似地推断,原N-S方程也会在有限时间内爆炸,不具有光滑性。
这也是在大多数数学家,都倾向于证明NS方程具有光滑解时,陶哲轩为什么倾向于N-S方程会爆炸的原因。
在陈舟看来,这种构造类似方程的做法,可以借鉴,但却不能过于依赖。
这也是陈舟犹豫着是否下载这篇论文的原因。
随着一声声下载完成的提示音响起,陈舟伸了个懒腰,看了眼手表。
不知不觉间,一上午就这么过去了。
陈舟颇为感慨地说道:“还是研究时间过得最快……”