纳维-斯托克斯方程

纳维－斯托克斯方程（Navier-Stokes equations），是一组描述液体、空气等流体的运动的偏微分方程。该方程以法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯的名字命名。
纳维尔－斯托克斯方程描述了牛顿流体在运动过程中需要满足的动量和质量守恒性质。在纳维－斯托克斯方程的一些应用中，会将该方程与状态方程一同列出，以说明流体压强、温度和密度三者之间的关系。
纳维－斯托克斯方程是将牛顿第二定律应用到流体动力学之后得到的结果。与欧拉方程不同，纳维－斯托克斯方程考虑了流体的粘性。它假设流体在运动过程中，其所受的应力是正比于速度梯度的扩散黏性力和压力的总和。因此，纳维－斯托克斯方程可以描述有黏性流体的运动；而欧拉方程仅能描述无粘性流的运动。在流体黏性为零时，纳维-斯托克斯方程退化为欧拉方程。
纳维－斯托克斯方程的应用十分广泛。它可以用于模拟天气、洋流、管道中的水流、星系中恒星的运动、翼型周围的气流，也可以用于设计飞行器和车辆、研究血液循环、设计电站、分析污染效应等等。如果将纳维尔－斯托克斯方程与马克士威方程组联立，还可以研究磁流体力学。
纳维－斯托克斯方程难以求解。实用上，也只有最简单的情况才能用这种方法获得已知解。这些情况通常涉及稳定态（流场不随时间变化）的非紊流，其中流体的粘滞系数很大或者其速度很小（低雷诺数）。对于更复杂的情形，例如厄尔尼诺这样的全球性气象系统或机翼的升力，现时仅能借助计算机求出纳维-斯托克斯方程的数值解。这个科学领域称为计算流体力学。
虽然紊流是日常经验中就可以遇到的，但这类非线性问题在理论上极难求解，仍未能证明三维空间中是否总存在光滑解，甚至有界解。此问题称为纳维-斯托克斯存在性与光滑性。克雷数学学院于2000年5月21日列入七大未解难题，悬赏一百万美元，奖励找到数学证明或反例的任何人。
性质.
非线性.
纳维－斯托克斯方程的一般形式是非线性的偏微分方程，所以在大多数实际情况下仍是如此。在特定情况，如一维流和斯托克斯流（又称蠕动流）下，方程可以简化为线性方程组。非线性项的出现，令大部分问题变得很难，甚至无法求解。另一方面，方程组能描述湍流，而非线性正是湍流出现的重要因素。
方程式中的非线性项是对流加速（与点速度变化相关联的加速度），因此，任何对流，无论湍流与否，都会涉及非线性。有对流但仍为层流（而非湍流）的例子如下：考虑黏性液体（如油），流经一个细小并逐渐收窄的喷嘴。此种流，不论能否确切解出，通常都能透彻研究、理解。
湍流.
湍流是时变的混沌行为，这种行为常见于许多流体流动中。人们普遍认为，湍流的成因，是整个流体的惯性：时变加速度与对流加速度叠加，以产生乱流告终。因此惯性影响很小的流体，往往是层流（雷诺数量化了流所受惯性的大小）。虽然不完全确定，但一般相信纳维－斯托克斯方程能够合理地描述湍流。
纳维-斯托克斯方程关于湍流的数值解是非常难得到的，而且由于湍流之中，有多个显著不同的尺度，若要得到稳定解，所需要的分辨率要极度精细，于是计算或的时间长得不可行。若试图用解层流的方法来解决湍流问题，通常会得到时间不稳定的解，而不能适当收敛。为了解决这个问题，计算流体力学中，实际模拟湍流的程序，多采用雷诺平均纳维－斯托克斯方程（RANS）等时间平均方程，再辅以各湍流模型，如、、、，以添加另外的方程。另一种数值解法是大涡模拟（LES）。这种方法比RANS方法，占用更多计算时间和记忆体空间，但效果较好，因为LES明确解出较大的湍流尺度。
适用性.
连同其他方程（如质量守恒定律）和良好的边界条件一并考虑时，纳维－斯托克斯方程似乎是流体运动的精确模型；甚至湍流（平均而言）也符合实际观察结果。
纳维－斯托克斯方程假定所研究的流体连续（无限可分，而不是由粒子组成），且不具相对论流速。在非常小的尺度或极端条件下，由离散分子组成的真实流体，与由纳维－斯托克斯方程描绘的连续流体，将产生不同的结果。例如，大梯度流的流体内层，有毛细现象。对于大克努森数的问题，用统计力学的波兹曼方程式可能更适合 ，甚至要用分子动力学或其他混合方法。
另一个限制是方程的复杂性。要刻划一般常见的流体类，有行之有效的公式，但对于较罕见的类别，应用纳维－斯托克斯方程时，往往会得到非常复杂的描述，甚至是未解难题。出于这个原因，这些方程通常用于描述牛顿流体。研究这种液体是“简单”的，因为粘度模型最终被线性化；真正描述其他类型流体（如血液）的普遍模型，截至2012年还不存在。
基本假设.
在解释纳维－斯托克斯方程的细节之前，首先对流体的性质作几个假设。第一个假设是流体是连续的。这强调其内部没有空隙，例如，汽水中有气泡，便不属此例；同样，包含雾状粒子的气体亦不属此例。另一个必要的假设是，所有涉及到的场，即压强、速度、密度、温度等，全部都可微。
该方程从质量守恒、动量守恒、能量守恒等基本原理导出。推导过程中，经常考虑一个有限的任意体积，称为控制体积，并对其应用这些原理。该有限体积记为formula_1，而其表面记为formula_2。该控制体积可以在空间中固定，也可能随着流体运动。这会导致一些特殊的结果，见下文。
随质导数.
运动流体的属性变化，譬如大气风速的变化，可以有两种不同的方法来测量：风速仪可以固定在气象站上，也可以随气象气球飘动。第一种情况下，风速仪测量的速度，是所有运动的粒子经过一个固定点的速度；而第二种情况下，仪器测量的数值，是其随着流体运动时，速度的变化。同样的论证对于密度、温度等物理量的测量也是成立的。因此，当作微分时必须区分两种情况。第一种情况称为空间导数或者欧拉导数。第二种情况称为实质导数或拉格朗日导数。
随质导数定义为算子：
其中formula_4是流体的速度。方程右边的第一项是普通的欧拉导数（也就是在静止参照系中的导数），而第二项表示由于流体的运动带来的变化。这个效应称为。
L在一个控制体积formula_1上守恒，可用以下积分式表示：
设Ω共动（随流体移动），则它随着时间而改变，所以不能将时间导数和积分简单的交换，但有：
因为这个表达式对于所有formula_1成立，它可以简化为：
（第一个等号用到随质导数的定义，以及对formula_10用到导数的积法则）对于不是密度的量（因而它不必在空间中积分），formula_11给出了正确的共动时间导数。
守恒定律.
在上式中，依次取formula_12为下列各守恒量：
并且用状态定律配合一些假设（比如假设流体为理想气体等），将各物理量写成由各守恒量表示的形式，就能推导出NS方程。
连续性方程.
质量的守恒写作：
其中formula_14是流体的密度。
在不可压缩流体的情况，formula_14是常数，不取决于时间或位置，于是方程简化为：
动量守恒.
动量守恒写作：
注意formula_18是一个张量，formula_19代表张量积。
可以进一步简化，利用连续性方程，上式变成：
可以认出这就是通常牛顿第二定律formula_21。
方程组.
一般形式.
方程组的形式.
纳维-斯托克斯方程的一般形式是：
关于动量守恒。张量formula_23代表施加在一个流体粒子上的表面力（应力张量）。除非流体是由象旋涡这样的旋转自由度组成，formula_23是一个对称张量。一般来讲，我们有如下形式：
其中formula_26是法向约束，而formula_27是切向约束。
迹formula_28在流体处于平衡态时为0。这等价于流体粒子上的法向力的积分为0。
我们再加上连续性方程：
对于"处于平衡"的液体，formula_23的迹是3"p"。 
其中
最后，我们得到：
其中formula_32是formula_23的非对角线部分。
闭合问题.
这些方程是不完整的，对具有不同物理性质的流体的可以有不同的解。要对它们进行完备化，必须对formula_23的形式作一些假设。例如在理想流体的情况formula_27分量为0。用于完备方程组的方程是状态方程。
再如，压强可以主要是密度和温度的函数。
要求解的变量是速度的各个分量，流体密度，静压力，和温度。流场假定为可微并连续，使得这些平衡得以用偏微分方程表达。这些方程可以转化为涡度和流函数这些次变量的威尔金森方程组。解依赖于流体的性质（例如粘滞度、比热、和热导率），并且依赖于所研究的区域的边界条件。
formula_23的分量是流体的一个无穷小元上面的约束。它们代表垂直和剪切约束。formula_23是对称的，除非存在非零的自旋密度。
所谓非牛顿流体就是其中该张量没有特殊性质使得方程的特殊解出现的流体
特殊形式.
这些是问题的特定的常见简化，有时解是已知的。
牛顿流体.
在牛顿流体中，如下假设成立：
其中
其中为简化书写，对脚标使用了爱因斯坦求和约定。
不采用简化书写的完整形式非常繁琐，分别为：
动量守恒：
质量守恒：
因为"密度"是一个未知数，我们需要另一个方程。
能量守恒：
其中：
假设一个理想气体：
上面是一共6个方程6个未知数的系统。（u，v，w，T，e以及　formula_14）。
宾汉（Bingham）流体.
在宾汉流体中，我们有稍微不同的假设：
那些流体在开始流动之前能够承受一定的剪切。牙膏是一个例子。
幂律流体.
这是一种理想化的流体，其剪切应力，formula_27，由下式给出
该形式对于模拟各种一般流体有用。
不可压缩流体.
其纳维－斯托克斯方程（Navier-Stoke equation）分为动量守恒公式
-{zh-hant:
formula_53;
zh-hans:
formula_54;
和质量守恒公式
其中，对不可压缩牛顿流体来说，只有对流项（convective terms）为非线性形式。对流加速度（convective acceleration）来自于流体流动随空间之变化所产生的速度改变，例如：当流体通过一个渐缩喷嘴（convergent nozzle）时，流体产生加速之情况。由于此项的存在，对于暂态运动中的流体来说，其流场速度变化不再单是时间的函数，亦与空间有关。
另外一个重要的观察重点，在于黏滞力（viscosity）在流场中的以流体速度作拉普拉斯运算来表现。这暗示了在牛顿流体中，黏滞力为动量扩散（diffusion of momentum），与热扩散方程式非常类似。
若formula_39在整个流体上均匀，动量方程简化为
（若formula_61这个方程称为欧拉方程；那里的重点是可压缩流和冲击波）。
如果现在再有formula_14为常数，我们得到如下系统：
连续性方程（假设不可压缩性）：
注意纳维－斯托克斯方程仅可近似描述液体流，而且在非常小的尺度或极端条件下，由离散的分子和其他物质（例如悬浮粒子和溶解的气体）的混合体组成的真实流体，会产生和纳维－斯托克斯方程所描述的连续并且齐性的液体不同的结果。依赖于问题的纳森数，统计力学可能是一个更合适的方法。但是，纳维－斯托克斯方程对于很大范围的实际问题是有效的，只要记住他们的缺陷是天生的就可以了。
程式模拟.
参考MIT18086_NAVIERSTOKES
<syntaxhighlight lang="matlab" line="1">
function mit18086_navierstokes
%MIT18086_NAVIERSTOKES
% Solves the incompressible Navier-Stokes equations in a
% rectangular domain with prescribed velocities along the
% boundary. The solution method is finite differencing on
% a staggered grid with implicit diffusion and a Chorin
% projection method for the pressure.
% Visualization is done by a colormap-isoline plot for
% pressure and normalized quiver and streamline plot for
% the velocity field.
% The standard setup solves a lid driven cavity problem.
% 07/2007 by Benjamin Seibold
% http://www-math.mit.edu/~seibold/
% Feel free to modify for teaching and learning.
Re = 1e2; % Reynolds number
dt = 1e-2; % time step
tf = 4e-0; % final time
lx = 1; % width of box
ly = 1; % height of box
nx = 90; % number of x-gridpoints
ny = 90; % number of y-gridpoints
nsteps = 10; % number of steps with graphic output
nt = ceil(tf/dt); dt = tf/nt;
x = linspace(0,lx,nx+1); hx = lx/nx;
y = linspace(0,ly,ny+1); hy = ly/ny;
[X,Y] = meshgrid(y,x);
% initial conditions
U = zeros(nx-1,ny); V = zeros(nx,ny-1);
% boundary conditions
uN = x*0+1; vN = avg(x)*0;
uS = x*0; vS = avg(x)*0;
uW = avg(y)*0; vW = y*0;
uE = avg(y)*0; vE = y*0;
Ubc = dt/Re*(zeros(nx-1,ny-2) 2*uN(2:end-1)'/hx^2+...
Vbc = dt/Re*(zeros(nx,ny-3) vN'/hx^2+...
fprintf('initialization')
Lp = kron(speye(ny),K1(nx,hx,1))+kron(K1(ny,hy,1),speye(nx));
Lp(1,1) = 3/2*Lp(1,1);
perp = symamd(Lp); Rp = chol(Lp(perp,perp)); Rpt = Rp';
Lu = speye((nx-1)*ny)+dt/Re*(kron(speye(ny),K1(nx-1,hx,2))+...
peru = symamd(Lu); Ru = chol(Lu(peru,peru)); Rut = Ru';
Lv = speye(nx*(ny-1))+dt/Re*(kron(speye(ny-1),K1(nx,hx,3))+...
perv = symamd(Lv); Rv = chol(Lv(perv,perv)); Rvt = Rv';
Lq = kron(speye(ny-1),K1(nx-1,hx,2))+kron(K1(ny-1,hy,2),speye(nx-1));
perq = symamd(Lq); Rq = chol(Lq(perq,perq)); Rqt = Rq';
fprintf(', time loop\n--20%%--40%%--60%%--80%%-100%%\n')
for k = 1:nt
end
fprintf('\n')
function B = avg(A,k)
if nargin<2, k = 1; end
if size(A,1)==1, A = A'; end
if k<2, B = (A(2:end,:)+A(1:end-1,:))/2; else, B = avg(A,k-1); end
if size(A,2)==1, B = B'; end
function A = K1(n,h,a11)
% a11: Neumann=1, Dirichlet=2, Dirichlet mid=3;
A = spdiags([-1 a11 0;ones(n-2,1)*[-1 2 -1];0 a11 -1],-1:1,n,n)'/h^2;
</syntaxhighlight>模拟结果
执行MATLAB 即可观察4秒的模拟结果