随即缓缓抬起视线问道:
「你想要证明纳维-斯托克斯方程?」
此话一出,顿时引起身旁田纲,以及现场其他研究员的侧目。
明显都没太想到。
纳维-斯托克斯方程,属于是描述粘性流体运动的基本方程,同霍奇猜想黎曼猜想一样,都属于千禧年七大世界数学难题。
问题是在三维空间中,给定初始速度场,是否存在全局光滑解?
换做通俗地说,就是流体方程是否总会产生数学上良态的解,还是会在有限时间内出现奇点。
从这个问题被提出,至今仍未被证明或证伪。
尤其徐铭连续证明霍奇猜想和黎曼猜想后,引发了数学界对七大世界数学难题的研究热,似乎再不抓紧时间证明的话,剩余的千禧年大奖难题就要被徐铭给全部包圆了。
可惜其他数学家纵使数量再多,可依旧不是徐铭。
最终全部折戟沉沙。
时至今日七大世界数学难题的热度下去,许逸阳竟又对其产生了兴趣。
而许逸阳面对徐铭的询问,以及周围其他人意外和怀疑的目光,眼神中依旧保持著坚定神色。
沉声说道:「我想试一试。」
跟著徐铭在数学界这么久,他也早已成长,不会在难题面前首先否定自己。
把许逸阳的话悉数听进耳中,徐铭则颇为欣慰。
接下来未多言语,便重新认真研究起来。
对此现场其他人则保持著沉默,生怕发出一丁点的声音,对徐铭研究斯托克斯方程的思路带来影响。
不知过去多久,只见徐铭停下手上动作,重新抬起视线看向许逸阳。
在短暂顿了下后,整理好语言继续往下说。
「你用了一种新的函数空间,把方程重新表述为一种变分问题,如果你能证明这个变分问题的极小值存在且光滑,那就等价于原方程存在光滑解,但你在边界条件上卡住了。」
「是的。」许逸阳猛地点头。
接著强忍住心中的惊喜,忙详细讲起自己的困境。
「这里我设计的不够好。」
「它需要一种新的插值不等式,能把边界附近能量耗散和内点正则性联系起来,不过我试了几十种方都没法做到。」
徐铭听完后缓缓站起身,迈步走到写字板旁。
「你现在的困境是,在边界附近你无法同时控制速度和压力的梯度。」
「它们相互耦合,像一对纠缠的变量。」
他边说边拿起笔画了个示意图。
「如果你把边界看作一个『奇点集』,而不是一个光滑的边界,然后用霍奇理论中处理奇点的方法……」
「不是去消除奇点,而是参数化它,或许会得到新的估计。」
最后他又在旁边写了个变分不等式。
许逸阳紧盯著那几行公式,瞳孔立刻微微放大。
「您是说……」
「可以把斯托克斯方程的边界层问题,映射到复流形上的奇点消解问题?」
「不是映射。」徐铭摇摇头道:「准确来讲应该称作是翻译。」
「同一个数学结构,使用不同的语言。」