切换到宽版
  • 34阅读
  • 0回复

困扰人类200年,数学史最难最复杂的公式之一:纳维-斯托克斯方程 [复制链接]

上一主题 下一主题
离线养清佳
 

洛阳市多链星球挖矿

      相比起黎曼猜想、费马大定理、哥德巴赫猜想等全球知名的难题,纳维-斯托克斯方程的存在感很低,即使在世界千禧年七大难题里,也很少会有人提及,最重要的原因就是,这个难题实在是不太好理解,尤其对于普通人而言,甚至名列榜首的P/NP问题普通人都可以揣摩到一些,但就是很难理解纳维—斯托克斯方程,这也是为什么民科很少触及这个问题的原因。
      

      
      起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船,湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信,无论是微风还是湍流,都可以通过理解纳维-斯托克斯方程的解,来对它们进行解释和预言。虽然这些方程是19世纪写下的,我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展,使我们能解开隐藏在纳维叶-斯托克斯方程中的奥秘。
      
      没头没尾,你甚至在这段话里都很难揣测出这个难题究竟描述的是什么问题,流露出一股玄学的问题,今天我们就来聊聊纳维-斯托克斯方程。
      
      这个方程并不是一个人提出来的,1775年,著名数学家欧拉,对,没有错就是数学界四大天王欧拉,他如今又来掺和流体力学了,他在流体运动的一般原理一书中根据无粘性流体运动时流体所受的力和动量变化从而推导出了一组方程。
      

      
      粘性流体是指粘性效应不可忽略的流体。自然界中的实际流体都是具有粘性,所以实际流体又称粘性流体,是指流体质点间可流层间因相对运动而产生摩擦力而反抗相对运动的性质。
      

      
      1845年斯托克斯从连续统的模型出发,改进了他的流体力学运动方程,得到有两个粘性常数的粘性流体运动方程的直角坐标分量形式,这就是后世所说的纳维-斯托克斯方程。
      

      
      解释纳维-斯托克斯方程的细节之前,首先,必须对流体作几个假设。第一个是流体是连续的。这强调它不包含形成内部的空隙,例如,溶解的气体气泡,而且它不包含雾状粒子的聚合。另一个必要的假设是所有涉及到的场,全部是可微的,例如压强P,速度v,密度ρ,温度Q等等。该方程从质量,动量守恒,和能量守恒的基本原理导出。
      
      对此,有时必须考虑一个有限的任意体积,称为控制体积,在其上这些原理很容易应用。该有限体积记为ω,而其表面记为ω。该控制体积可以在空间中固定,也可能随着流体运动。
      
      可以说纳维-斯托克斯方程是众多科学家和工程师的推动下产生的,是一组描述像液体和空气这样的流体物质的方程。这些方程建立了流体的粒子动量的改变率(力)和作用在液体内部的压力的变化和耗散粘滞力(类似于摩擦力)以及引力之间的关系。这些粘滞力产生于分子的相互作用,能告诉我们液体有多粘。这样,纳维-斯托克斯方程描述作用于液体任意给定区域的力的动态平衡。
      

      
      什么是牛顿流体呢?简单说就是:任一点上的剪应力都同剪切变形速率呈线性函数关系的流体。一般高黏度的流体是不满足这种关系的,说明牛顿流体和非牛顿流体有个简单的例子就是大家熟知的虹吸现象。在低黏度下,虹吸要进行下去,吸取口必须在页面以下,但非牛顿流体的高黏度流体下,吸取口哪怕高于液面,其虹吸依然能够进行,因为黏度太大了。
      

      
      关于这组方程所涉及的难题就是,如何用数学理论阐明这组方程。对,甚至用数学理论阐明用于描述奇特黑洞的爱因斯坦场方程都会比阐述纳维-斯托克斯方程更简单一些。
      
      所以有关纳维-斯托克斯方程其解的数学性质有关的数学问题被称为纳维-斯托克斯方程解的存在性与光滑性。
      
      尽管纳维-斯托克斯方程可以描述空间中流体(液体或气体)的运动。纳维-斯托克斯方程式的解可以用到许多实际应用的领域中。比如可以运用到模拟天气,洋流,管道中的水流,星系中恒星的运动,翼型周围的气流。它们也可以用于飞行器和车辆的设计,血液循环的研究,电站的设计,污染效应的分析等等。
      

      
      紊流又称湍流,是流体的一种流动状态。当流速很小时,流体分层流动,互不混合,称为层流,或称为片糖;逐渐增加流速,流体的流线开始出现波状的摆动,摆动的频率及振幅随流速的增加而增加,此种流况称为过渡流;当流速增加到很大时,流线不再清楚可辨,流场中有许多小漩涡,称为湍流,又称为乱流、扰流或紊流。(飞机最怕遇见湍流)
      

      
      另外,许多纳维-斯托克斯方程式解的基本性质也都尚未被证明。因为纳维-斯托克斯方程依赖微分方程来描述流体的运动。不同于代数方程,这些方程不寻求建立所研究的变量(譬如速度和压力)的关系,而寻求建立这些量的变化率或通量之间的关系。用数学术语来讲,这些变化率对应于变量的导数。其中,最简单情况的0粘滞度的理想流体的纳维-斯托克斯方程表明,加速度(速度的导数,或者说变化率)是和内部压力的导数成正比的。
      

      
      对于更复杂的情形,例如厄尔尼诺这样的全球性气象系统或机翼的升力,纳维-斯托克斯方程的解必须借助计算机才能求得。这个科学领域称为计算流体力学。
      
      例如数学家就尚未证明在三维座标,特定的初始条件下,纳维-斯托克斯方程式是否有符合光滑性的解。也尚未证明若这样的解存在时,其动能有其上下界。
      
      而千禧年关于纳维-斯托克斯方程的问题则更为困难,它给出的问题是:在三维的空间及时间下,给定一起始的速度场,存在一向量的速度场及纯量的压强场,为纳维-斯托克斯方程式的解,其中速度场及压强场需满足光滑及全局定义的特性。
      

      
      如果你没有办法理解,你可以简单理解成,科学家希望可以找出纳维-斯托克斯方程的通解,也就是说证明方程的解总是存在。换句话说,这组方程能否描述任何流体,在任何起始条件下,未来任一时间点的情况。
      
      一组用数学理论阐明都困难的方程组,你还需要去证明这个方程的解总是存在。这让许多科学家为之崩溃。
      
      目前来说,目前只有大约一百多个特解被解出来。而数学家让·勒雷在1934年时证明了所谓纳维-斯托克斯问题弱解的存在,此解在平均值上满足纳维-斯托克斯问题,但无法在每一点上满足。
      
      而自此之后,关于纳维-斯托克斯问题的研究就停滞不前,所以它也被称为最难的数学或物理公式,直到 80 年以后,陶哲轩在纳维-斯托克斯问题上发表了文章Finite time blowup for an averaged three-dimensional Navier-Stokes equation,他的主要目的是将纳维-斯托克斯方程全局正则性问题的超临界状态屏障形式化。粗略地说,就是抽像地建立纳维-斯托克斯方程的全局正则性是不可能的。陶哲轩认为,相信抽象方法(基於能量等式的泛函分析方法比如半群等)和纯粹的调和分析应该是不够用的,可能必须要用到NS方程的特殊几何比如vorticity,这篇文章就是构造了一个类似于NS方程、但不是原先的NS方程的一个反例。
      

      

      
      
快速回复
限80 字节
批量上传需要先选择文件,再选择上传
 
上一个 下一个