Vfrdtyky

In physics, the Navier–Stokes equations (/nævˈjeɪ stoʊks/), named after Claude-Louis Navier and George Gabriel Stokes, describe the motion of viscous fluid substances.

These balance equations arise from applying Isaac Newton's second law to fluid motion, together with the assumption that the stress in the fluid is the sum of a diffusing viscous term (proportional to the gradient of velocity) and a pressure term—hence describing viscous flow. The main difference between them and the simpler Euler equations for inviscid flow is that Navier–Stokes equations also factor in the Froude limit (no external field) and are not conservation equations, but rather a dissipative system, in the sense that they cannot be put into the quasilinear homogeneous form:

yt+A(y)yx=0.{displaystyle mathbf {y} _{t}+mathbf {A} (mathbf {y} )mathbf {y} _{x}=0.}

Navier–Stokes equations are useful because they describe the physics of many phenomena of scientific and engineering interest. They may be used to model the weather, ocean currents, water flow in a pipe and air flow around a wing. The Navier–Stokes equations, in their full and simplified forms, help with the design of aircraft and cars, the study of blood flow, the design of power stations, the analysis of pollution, and many other things. Coupled with Maxwell's equations, they can be used to model and study magnetohydrodynamics.

The Navier–Stokes equations are also of great interest in a purely mathematical sense. Despite their wide range of practical uses, it has not yet been proven whether solutions always exist in three dimensions and, if they do exist, whether they are smooth – i.e. they are infinitely differentiable at all points in the domain. These are called the Navier–Stokes existence and smoothness problems. The Clay Mathematics Institute has called this one of the seven most important open problems in mathematics and has offered a US$1 million prize for a solution or a counterexample.^[1][2]

Flow velocity

The solution of the Navier–Stokes equations is a flow velocity. It is a field, since it is defined at every point in a region of space and an interval of time. Once the velocity field is calculated other quantities of interest, such as pressure or temperature, may be found using additional equations and relations. This is different from what one normally sees in classical mechanics, where solutions are typically trajectories of position of a particle or deflection of a continuum. Studying velocity instead of position makes more sense for a fluid; however for visualization purposes one can compute various trajectories.

General continuum equations

The Navier–Stokes momentum equation can be derived as a particular form of the Cauchy momentum equation, whose general convective form is

DuDt=1ρ∇⋅σ+g{displaystyle {frac {Dmathbf {u} }{Dt}}={frac {1}{rho }}nabla cdot {boldsymbol {sigma }}+mathbf {g} }

By setting the Cauchy stress tensor σ{displaystyle {boldsymbol {sigma }}} to be the sum of a viscosity term τ{displaystyle {boldsymbol {tau }}} (the deviatoric stress) and a pressure term −pI{displaystyle -pmathbf {I} } (volumetric stress) we arrive at

Cauchy momentum equation (convective form) ρDuDt=−∇p+∇⋅τ+ρg{displaystyle rho {frac {Dmathbf {u} }{Dt}}=-nabla p+nabla cdot {boldsymbol {tau }}+rho ,mathbf {g} }

where

• 
  DDt{displaystyle {frac {D}{Dt}}} is the convective derivative,


• 
  ρ{displaystyle rho } is the density,


• 
  u is the flow velocity,


• 
  ∇⋅{displaystyle nabla cdot } is the divergence,


• 
  p is the pressure,


• 
  t is time,


• 
  τ{displaystyle {boldsymbol {tau }}} is the deviatoric stress tensor, which has order two,


• 
  g represents body accelerations acting on the continuum, for example gravity, inertial accelerations, electrostatic accelerations, and so on,

In this form, it is apparent that in the assumption of an inviscid fluid -no deviatoric stress- Cauchy equations reduce to the Euler equations.

Assuming conservation of mass we can use the continuity equation, ∂ρ∂t+∇⋅(ρu)=0{displaystyle {frac {partial rho }{partial t}}+nabla cdot (rho ,mathbf {u} )=0} to arrive to the conservation form of the equations of motion. This is often written:^[3]

Cauchy momentum equation (conservation form) ∂∂t(ρu)+∇⋅(ρu⊗u)=−∇p+∇⋅τ+ρg{displaystyle {frac {partial }{partial t}}(rho ,mathbf {u} )+nabla cdot (rho ,mathbf {u} otimes mathbf {u} )=-nabla p+nabla cdot {boldsymbol {tau }}+rho ,mathbf {g} }

where ⊗ is the outer product:

u⊗v=uvT.{displaystyle mathbf {u} otimes mathbf {v} =mathbf {u} mathbf {v} ^{mathrm {T} }.}

The left side of the equation describes acceleration, and may be composed of time-dependent and convective components (also the effects of non-inertial coordinates if present). The right side of the equation is in effect a summation of hydrostatic effects, the divergence of deviatoric stress and body forces (such as gravity).

All non-relativistic balance equations, such as the Navier–Stokes equations, can be derived by beginning with the Cauchy equations and specifying the stress tensor through a constitutive relation. By expressing the deviatoric (shear) stress tensor in terms of viscosity and the fluid velocity gradient, and assuming constant viscosity, the above Cauchy equations will lead to the Navier–Stokes equations below.

Convective acceleration

An example of convection. Though the flow may be steady (time-independent), the fluid decelerates as it moves down the diverging duct (assuming incompressible or subsonic compressible flow), hence there is an acceleration happening over position.

A significant feature of the Cauchy equation and consequently all other continuum equations (including Euler and Navier–Stokes) is the presence of convective acceleration: the effect of acceleration of a flow with respect to space. While individual fluid particles indeed experience time-dependent acceleration, the convective acceleration of the flow field is a spatial effect, one example being fluid speeding up in a nozzle.

Compressible flow

Remark: here, the Cauchy stress tensor is denoted σ{displaystyle {boldsymbol {sigma }}} (instead of τ{displaystyle {boldsymbol {tau }}} as it was in the general continuum equations and in the incompressible flow section).

The compressible momentum Navier–Stokes equation results from the following assumptions on the Cauchy stress tensor:^[4]

• the stress is Galileian invariant: it does not depend directly on the flow velocity, but only on spatial derivatives of the flow velocity. So the stress variable is the tensor gradient ∇u.
  


• the stress is linear in this variable: σ(∇u) = C : (∇u), where C is the fourth-order tensor representing the constant of proportionality, called the viscosity or elasticity tensor, and : is the double-dot product.


• the fluid is assumed to be isotropic, as with gases and simple liquids, and consequently V is an isotropic tensor; furthermore, since the stress tensor is symmetric, by Helmholtz decomposition it can be expressed in terms of two scalar Lamé parameters, the bulk viscosity λ and the dynamic viscosity μ, as it is usual in linear elasticity:

Linear stress constitutive equation (expression used for elastic solid) σ=λ(∇⋅u)I+2με{displaystyle {boldsymbol {sigma }}=lambda (nabla cdot mathbf {u} )mathbf {I} +2mu {boldsymbol {varepsilon }}}

where I is the identity tensor, ε(∇u) ≡ 1/2∇u + 1/2(∇u)^T is the rate-of-strain tensor and ∇ · u is the rate of expansion of the flow. So this decomposition can be explicited as:

σ=λ(∇⋅u)I+μ(∇u+(∇u)T).{displaystyle {boldsymbol {sigma }}=lambda (nabla cdot mathbf {u} )mathbf {I} +mu left(nabla mathbf {u} +(nabla mathbf {u} )^{mathrm {T} }right).}

Since the trace of the rate-of-strain tensor in three dimensions is:

tr⁡(ε)=∇⋅u.{displaystyle operatorname {tr} ({boldsymbol {varepsilon }})=nabla cdot mathbf {u} .}

The trace of the stress tensor in three dimensions becomes:

tr⁡(σ)=(3λ+2μ)∇⋅u.{displaystyle operatorname {tr} ({boldsymbol {sigma }})=(3lambda +2mu )nabla cdot mathbf {u} .}

So by alternatively decomposing the stress tensor into isotropic and deviatoric parts, as usual in fluid dynamics:^[5]

σ=(λ+23μ)(∇⋅u)I+μ(∇u+(∇u)T−23(∇⋅u)I){displaystyle {boldsymbol {sigma }}=left(lambda +{tfrac {2}{3}}mu right)left(nabla cdot mathbf {u} right)mathbf {I} +mu left(nabla mathbf {u} +left(nabla mathbf {u} right)^{mathrm {T} }-{tfrac {2}{3}}left(nabla cdot mathbf {u} right)mathbf {I} right)}

Introducing the second viscosity ζ,

ζ≡λ+23μ,{displaystyle zeta equiv lambda +{tfrac {2}{3}}mu ,}

we arrive to the linear constitutive equation in the form usually employed in thermal hydraulics:^[4]

Linear stress constitutive equation (expression used for fluids) σ=ζ(∇⋅u)I+μ(∇u+(∇u)T−23(∇⋅u)I){displaystyle {boldsymbol {sigma }}=zeta (nabla cdot mathbf {u} )mathbf {I} +mu left(nabla mathbf {u} +(nabla mathbf {u} )^{mathrm {T} }-{tfrac {2}{3}}(nabla cdot mathbf {u} )mathbf {I} right)}

Both second viscosity ζ and dynamic viscosity μ need not be constant – in general, they depend on density, on each other (the viscosity is expressed in pressure), and in compressible flows also on temperature. Any equation expliciting one of these transport coefficient in the conservation variables is called an equation of state.^[6]

By computing the divergence of the stress tensor, since the divergence of tensor ∇u is ∇²u and the divergence of tensor (∇u)^T is ∇(∇ · u), one finally arrives to the compressible (most general) Navier–Stokes momentum equation:^[7]

Navier–Stokes momentum equation (convective form) ρ(∂u∂t+u⋅∇u)=−∇p¯+μ∇2u+13μ∇(∇⋅u)+ρg.{displaystyle rho left({frac {partial mathbf {u} }{partial t}}+mathbf {u} cdot nabla mathbf {u} right)=-nabla {bar {p}}+mu ,nabla ^{2}mathbf {u} +{tfrac {1}{3}}mu ,nabla (nabla cdot mathbf {u} )+rho mathbf {g} .}

The above equation can also be written in the form

Navier–Stokes momentum equation (convective form) ρDuDt=−∇p¯+μ∇2u+13μ∇(∇⋅u)+ρg.{displaystyle rho {frac {Dmathbf {u} }{Dt}}=-nabla {bar {p}}+mu ,nabla ^{2}mathbf {u} +{tfrac {1}{3}}mu ,nabla (nabla cdot mathbf {u} )+rho mathbf {g} .}

where D/Dt{displaystyle D/Dt} is the material derivative.
Bulk viscosity is assumed to be constant, otherwise it should not be taken out of the last derivative. The effect of the volume viscosity ζ is that the mechanical pressure is not equivalent to the thermodynamic pressure:^[8]

p¯≡p−ζ∇⋅u,{displaystyle {bar {p}}equiv p-zeta ,nabla cdot mathbf {u} ,}

This difference is usually neglected, sometimes by explicitly assuming ζ = 0, but it could have an impact in sound absorption and attenuation and shock waves.^[9] The convective acceleration term can also be written as

u⋅∇u=(∇×u)×u+12∇u2{displaystyle mathbf {u} cdot nabla mathbf {u} =(nabla times mathbf {u} )times mathbf {u} +{frac {1}{2}}nabla mathbf {u} ^{2}},

where the vector (∇×u)×u{displaystyle (nabla times mathbf {u} )times mathbf {u} } is known as the Lamb vector.

For the special case of an incompressible flow, the pressure constrains the flow so that the volume of fluid elements is constant: isochoric flow resulting in a solenoidal velocity field with ∇ · u = 0.^[10]

Incompressible flow

The incompressible momentum Navier–Stokes equation results from the following assumptions on the Cauchy stress tensor:^[4]

• the stress is Galilean invariant: it does not depend directly on the flow velocity, but only on spatial derivatives of the flow velocity. So the stress variable is the tensor gradient ∇u.


• the fluid is assumed to be isotropic, as with gases and simple liquids, and consequently τ is an isotropic tensor; furthermore, since the deviatoric stress tensor can be expressed in terms of the dynamic viscosity μ:

Stokes' stress constitutive equation (expression used for incompressible elastic solids) τ=2με{displaystyle {boldsymbol {tau }}=2mu {boldsymbol {varepsilon }}}

where

ε=12(∇u+∇uT){displaystyle {boldsymbol {varepsilon }}={frac {1}{2}}left(mathbf {nabla u} +mathbf {nabla u} ^{mathrm {T} }right)}

is the rate-of-strain tensor. So this decomposition can be explicited as:^[4]

Stokes's stress constitutive equation (expression used for incompressible viscous fluids) τ=μ(∇u+∇uT){displaystyle {boldsymbol {tau }}=mu left(nabla mathbf {u} +nabla mathbf {u} ^{mathrm {T} }right)}

Dynamic viscosity μ need not be constant – in incompressible flows it can depend on density and on pressure. Any equation expliciting one of these transport coefficient in the conservative variables is called an equation of state.^[6]

The divergence of the deviatoric stress is given by:

∇⋅τ=2μ∇⋅ε=μ∇⋅(∇u+∇uT)=μ∇2u{displaystyle nabla cdot {boldsymbol {tau }}=2mu nabla cdot {boldsymbol {varepsilon }}=mu nabla cdot left(nabla mathbf {u} +nabla mathbf {u} ^{mathrm {T} }right)=mu ,nabla ^{2}mathbf {u} }

because ∇⋅u=0{displaystyle nabla cdot mathbf {u} =0} for an incompressible fluid.
Incompressibility rules out density and pressure waves like sound or shock waves, so this simplification is not useful if these phenomena are of interest. The incompressible flow assumption typically holds well with all fluids at low Mach numbers (say up to about Mach 0.3), such as for modelling air winds at normal temperatures.^[11] For incompressible (uniform density ρ₀) flows the following identity holds:

1ρ0∇p=∇(pρ0)≡∇w{displaystyle {frac {1}{rho _{0}}}nabla p=nabla left({frac {p}{rho _{0}}}right)equiv nabla w}

where w is the specific (with the sense of per unit mass) thermodynamic work, the internal source term. Then the incompressible Navier–Stokes equations are best visualised by dividing for the density:

Incompressible Navier–Stokes equations (convective form) ∂u∂t+(u⋅∇)u−ν∇2u=−∇w+g.{displaystyle {frac {partial mathbf {u} }{partial t}}+(mathbf {u} cdot nabla )mathbf {u} -nu ,nabla ^{2}mathbf {u} =-nabla w+mathbf {g} .}

where ν = μ/ρ₀ is called the kinematic viscosity.

It is well worth observing the meaning of each term (compare to the Cauchy momentum equation):

∂u∂t⏟Variation+(u⋅∇)u⏟Convection⏞Inertia (per volume)−ν∇2u⏟Diffusion=−∇w⏟Internalsource⏞Divergence of stress+g⏟Externalsource.{displaystyle overbrace {underbrace {frac {partial mathbf {u} }{partial t}} _{begin{smallmatrix}{text{Variation}}end{smallmatrix}}+underbrace {(mathbf {u} cdot nabla )mathbf {u} } _{begin{smallmatrix}{text{Convection}}end{smallmatrix}}} ^{text{Inertia (per volume)}}overbrace {-underbrace {nu ,nabla ^{2}mathbf {u} } _{text{Diffusion}}=underbrace {-nabla w} _{begin{smallmatrix}{text{Internal}}\{text{source}}end{smallmatrix}}} ^{text{Divergence of stress}}+underbrace {mathbf {g} } _{begin{smallmatrix}{text{External}}\{text{source}}end{smallmatrix}}.}

The higher-order term, namely the shear stress divergence ∇ · τ, has simply reduced to the vector laplacian term μ∇²u.^[12] This laplacian term can be interpreted as the difference between the velocity at a point and the mean velocity in a small surrounding volume. This implies that – for a Newtonian fluid – viscosity operates as a diffusion of momentum, in much the same way as the heat conduction. In fact neglecting the convection term, incompressible Navier–Stokes equations lead to a vector diffusion equation (namely Stokes equations), but in general the convection term is present, so incompressible Navier–Stokes equations belong to the class of convection-diffusion equations.

In the usual case of an external field being a conservative field:

g=−∇ϕ{displaystyle mathbf {g} =-nabla phi }

by defining the hydraulic head:

h≡w+ϕ{displaystyle hequiv w+phi }

one can finally condense the whole source in one term, arriving to the incompressible Navier–Stokes equation with conservative external field:

∂u∂t+(u⋅∇)u−ν∇2u=−∇h.{displaystyle {frac {partial mathbf {u} }{partial t}}+(mathbf {u} cdot nabla )mathbf {u} -nu ,nabla ^{2}mathbf {u} =-nabla h.}

The incompressible Navier–Stokes equations with conservative external field is the fundamental equation of hydraulics. The domain for these equations is commonly a 3 or less Euclidean space, for which an orthogonal coordinate reference frame is usually set to explicit the system of scalar partial differential equations to be solved. In 3D orthogonal coordinate systems are 3: Cartesian, cylindrical, and spherical. Expressing the Navier–Stokes vector equation in Cartesian coordinates is quite straightforward and not much influenced by the number of dimensions of the euclidean space employed, and this is the case also for the first-order terms (like the variation and convection ones) also in non-cartesian orthogonal coordinate systems. But for the higher order terms (the two coming from the divergence of the deviatoric stress that distinguish Navier–Stokes equations from Euler equations) some tensor calculus is required for deducing an expression in non-cartesian orthogonal coordinate systems.

The incompressible Navier–Stokes equation is composite, the sum of two orthogonal equations,

∂u∂t=ΠS(−(u⋅∇)u+ν∇2u)+fSρ−1∇p=ΠI(−(u⋅∇)u+ν∇2u)+fI{displaystyle {begin{aligned}{frac {partial mathbf {u} }{partial t}}&=Pi ^{S}left(-(mathbf {u} cdot nabla )mathbf {u} +nu ,nabla ^{2}mathbf {u} right)+mathbf {f} ^{S}\rho ^{-1},nabla p&=Pi ^{I}left(-(mathbf {u} cdot nabla )mathbf {u} +nu ,nabla ^{2}mathbf {u} right)+mathbf {f} ^{I}end{aligned}}}

where Π^S and Π^I are solenoidal and irrotational projection operators satisfying Π^S + Π^I = 1 and f^S and f^I are the non-conservative and conservative parts of the body force. This result follows from the Helmholtz Theorem (also known as the fundamental theorem of vector calculus). The first equation is a pressureless governing equation for the velocity, while the second equation for the pressure is a functional of the velocity and is related to the pressure Poisson equation.

The explicit functional form of the projection operator in 3D is found from the Helmholtz Theorem:

ΠSF(r)=14π∇×∫∇′×F(r′)|r−r′|dV′,ΠI=1−ΠS{displaystyle Pi ^{S},mathbf {F} (mathbf {r} )={frac {1}{4pi }}nabla times int {frac {nabla ^{prime }times mathbf {F} (mathbf {r} ')}{|mathbf {r} -mathbf {r} '|}}dV',quad Pi ^{I}=1-Pi ^{S}}

with a similar structure in 2D. Thus the governing equation is an integro-differential equation similar to Coulomb and Biot-Savart law, not convenient for numerical computation.

An equivalent weak or variational form of the equation, proved to produce the same velocity solution as the Navier–Stokes equation,^[13] is given by,

(w,∂u∂t)=−(w,(u⋅∇)u)−ν(∇w:∇u)+(w,fS){displaystyle left(mathbf {w} ,{frac {partial mathbf {u} }{partial t}}right)=-left(mathbf {w} ,left(mathbf {u} cdot nabla right)mathbf {u} right)-nu left(nabla mathbf {w} :nabla mathbf {u} right)+left(mathbf {w} ,mathbf {f} ^{S}right)}

for divergence-free test functions w satisfying appropriate boundary conditions. Here, the projections are accomplished by the orthogonality of the solenoidal and irrotational function spaces. The discrete form of this is eminently suited to finite element computation of divergence-free flow, as we shall see in the next section. There one will be able to address the question "How does one specify pressure-driven (Poiseuille) problems with a pressureless governing equation?".

The absence of pressure forces from the governing velocity equation demonstrates that the equation is not a dynamic one, but rather a kinematic equation where the divergence-free condition serves the role of a conservation equation. This all would seem to refute the frequent statements that the incompressible pressure enforces the divergence-free condition.

Discrete velocity

With partitioning of the problem domain and defining basis functions on the partitioned domain, the discrete form of the governing equation is,

(wi,∂uj∂t)=−(wi,(u⋅∇)uj)−ν(∇wi:∇uj)+(wi,fS).{displaystyle left(mathbf {w} _{i},{frac {partial mathbf {u} _{j}}{partial t}}right)=-left(mathbf {w} _{i},(mathbf {u} cdot nabla )mathbf {u} _{j}right)-nu (nabla mathbf {w} _{i}:nabla mathbf {u} _{j})+left(mathbf {w} _{i},mathbf {f} ^{S}right).}

It is desirable to choose basis functions which reflect the essential feature of incompressible flow – the elements must be divergence-free. While the velocity is the variable of interest, the existence of the stream function or vector potential is necessary by the Helmholtz Theorem. Further, to determine fluid flow in the absence of a pressure gradient, one can specify the difference of stream function values across a 2D channel, or the line integral of the tangential component of the vector potential around the channel in 3D, the flow being given by Stokes' Theorem. Discussion will be restricted to 2D in the following.

We further restrict discussion to continuous Hermite finite elements which have at least first-derivative degrees-of-freedom. With this, one can draw a large number of candidate triangular and rectangular elements from the plate-bending literature. These elements have derivatives as components of the gradient. In 2D, the gradient and curl of a scalar are clearly orthogonal, given by the expressions,

∇ϕ=(∂ϕ∂x,∂ϕ∂y)T,∇×ϕ=(∂ϕ∂y,−∂ϕ∂x)T.{displaystyle {begin{aligned}nabla phi &=left({frac {partial phi }{partial x}},,{frac {partial phi }{partial y}}right)^{mathrm {T} },\nabla times phi &=left({frac {partial phi }{partial y}},,-{frac {partial phi }{partial x}}right)^{mathrm {T} }.end{aligned}}}

Adopting continuous plate-bending elements, interchanging the derivative degrees-of-freedom and changing the sign of the appropriate one gives many families of stream function elements.

Taking the curl of the scalar stream function elements gives divergence-free velocity elements.^[14][15] The requirement that the stream function elements be continuous assures that the normal component of the velocity is continuous across element interfaces, all that is necessary for vanishing divergence on these interfaces.

Boundary conditions are simple to apply. The stream function is constant on no-flow surfaces, with no-slip velocity conditions on surfaces.
Stream function differences across open channels determine the flow. No boundary conditions are necessary on open boundaries, though consistent values may be used with some problems. These are all Dirichlet conditions.

The algebraic equations to be solved are simple to set up, but of course are non-linear, requiring iteration of the linearized equations.

Similar considerations apply to three-dimensions, but extension from 2D is not immediate because of the vector nature of the potential, and there exists no simple relation between the gradient and the curl as was the case in 2D.

Pressure recovery

Recovering pressure from the velocity field is easy. The discrete weak equation for the pressure gradient is,

(gi,∇p)=−(gi,(u⋅∇)uj)−ν(∇gi:∇uj)+(gi,fI){displaystyle (mathbf {g} _{i},nabla p)=-left(mathbf {g} _{i},left(mathbf {u} cdot nabla right)mathbf {u} _{j}right)-nu left(nabla mathbf {g} _{i}:nabla mathbf {u} _{j}right)+left(mathbf {g} _{i},mathbf {f} ^{I}right)}

where the test/weight functions are irrotational. Any conforming scalar finite element may be used. However, the pressure gradient field may also be of interest. In this case one can use scalar Hermite elements for the pressure. For the test/weight functions g_i one would choose the irrotational vector elements obtained from the gradient of the pressure element.

Non-inertial frame of reference

The rotating frame of reference introduces some interesting pseudo-forces into the equations through the material derivative term. Consider a stationary inertial frame of reference K, and a non-inertial frame of reference K', which is translating with velocity U(t){displaystyle mathbf {U} (t)} and rotating with angular velocity Ω(t){displaystyle mathbf {Omega } (t)} with respect to the stationary frame. The Navier-Stokes equation observed from the non-inertial frame then becomes

Navier–Stokes momentum equation in non-inertial frame ρDuDt=−∇p¯+μ∇2u+13μ∇(∇⋅u)+ρg−ρ(2Ω×u+Ω×Ω×x+dUdt+dΩdt×x).{displaystyle rho {frac {Dmathbf {u} }{Dt}}=-nabla {bar {p}}+mu ,nabla ^{2}mathbf {u} +{tfrac {1}{3}}mu ,nabla (nabla cdot mathbf {u} )+rho mathbf {g} -rho left(2mathbf {Omega } times mathbf {u} +mathbf {Omega } times mathbf {Omega } times mathbf {x} +{frac {dmathbf {U} }{dt}}+{frac {dmathbf {Omega } }{dt}}times mathbf {x} right).}

Here x{displaystyle mathbf {x} } and u{displaystyle mathbf {u} } are measured in the non-inertial frame. The first term in the parenthesis represents Coriolis acceleration, the second term is due to centripetal accleration, the third is due to the linear acceleration of K' with respect to K and the fourth term is due to the angular acceleration of K' with respect to K.

Other equations

The Navier–Stokes equations are strictly a statement of the balance of momentum. To fully describe fluid flow, more information is needed, how much depending on the assumptions made. This additional information may include boundary data (no-slip, capillary surface, etc.), conservation of mass, balance of energy, and/or an equation of state.

Continuity equation for incompressible fluid

Regardless of the flow assumptions, a statement of the conservation of mass is generally necessary. This is achieved through the mass continuity equation, given in its most general form as:

∂ρ∂t+∇⋅(ρu)=0{displaystyle {frac {partial rho }{partial t}}+nabla cdot (rho mathbf {u} )=0}

or, using the substantive derivative:

DρDt+ρ(∇⋅u)=0.{displaystyle {frac {Drho }{Dt}}+rho (nabla cdot mathbf {u} )=0.}

In the example below we can assume to have a Newtonian fluid as well as having ρ and μ both be constant.

Recall that mass continuity is simply the summation of the rate of mass in and the rate of mass out.

rate of mass accumulated = rate of mass in − rate of mass out

ΔxΔyΔz∂ρ∂t=ΔyΔz(ρUx|x−ρUx|x+Δx)+ΔxΔz(ρUy|y−ρUy|y+Δy)+ΔxΔy(ρUz|z−ρUz|z+Δz)⇒∂ρ∂t=ρUx|x−ρUx|x+ΔxΔx+ρUy|y−ρUy|y+ΔyΔy+ρUz|z−ρUz|z+ΔzΔz=ρ(Ux|x−Ux|x+ΔxΔx+Uy|y−Uy|y+ΔyΔy+Uz|z−Uz|z+ΔzΔz)=−ρ(∂Ux∂x+∂Uy∂y+∂Uz∂z){displaystyle {begin{aligned}Delta x,Delta ,yDelta z{frac {partial rho }{partial t}}&=Delta y,Delta zleft(rho U_{x}|_{x}-rho U_{x}|_{x+Delta x}right)+Delta xDelta zleft(rho U_{y}|_{y}-rho U_{y}|_{y+Delta y}right)+Delta ,xDelta yleft(rho U_{z}|_{z}-rho U_{z}|_{z+Delta z}right)\[8pt]Rightarrow {frac {partial rho }{partial t}}&={frac {rho U_{x}|_{x}-rho U_{x}|_{x+Delta x}}{Delta x}}+{frac {rho U_{y}|_{y}-rho U_{y}|_{y+Delta y}}{Delta y}}+{frac {rho U_{z}|_{z}-rho U_{z}|_{z+Delta z}}{Delta z}}\[6pt]&=rho left({frac {U_{x}|_{x}-U_{x}|_{x+Delta x}}{Delta x}}+{frac {U_{y}|_{y}-U_{y}|_{y+Delta y}}{Delta y}}+{frac {U_{z}|_{z}-U_{z}|_{z+Delta z}}{Delta z}}right)\[6pt]&=-rho left({frac {partial U_{x}}{partial x}}+{frac {partial U_{y}}{partial y}}+{frac {partial U_{z}}{partial z}}right)end{aligned}}}

Since there is no change in density ρ over time, ∂ρ/∂t = 0, we have:

0=−ρ(∂Ux∂x+∂Uy∂y+∂Uz∂z){displaystyle 0=-rho left({frac {partial U_{x}}{partial x}}+{frac {partial U_{y}}{partial y}}+{frac {partial U_{z}}{partial z}}right)}

Recall that ρ is a constant thus proving the divergence theorem above.

Stream function for 2D equations

Taking the curl of the Navier–Stokes equation results in the elimination of pressure. This is especially easy to see if 2D Cartesian flow is assumed (like in the degenerate 3D case with u_z = 0 and no dependence of anything on z), where the equations reduce to:

ρ(∂ux∂t+ux∂ux∂x+uy∂ux∂y)=−∂p∂x+μ(∂2ux∂x2+∂2ux∂y2)+ρgxρ(∂uy∂t+ux∂uy∂x+uy∂uy∂y)=−∂p∂y+μ(∂2uy∂x2+∂2uy∂y2)+ρgy.{displaystyle {begin{aligned}rho left({frac {partial u_{x}}{partial t}}+u_{x}{frac {partial u_{x}}{partial x}}+u_{y}{frac {partial u_{x}}{partial y}}right)&=-{frac {partial p}{partial x}}+mu left({frac {partial ^{2}u_{x}}{partial x^{2}}}+{frac {partial ^{2}u_{x}}{partial y^{2}}}right)+rho g_{x}\rho left({frac {partial u_{y}}{partial t}}+u_{x}{frac {partial u_{y}}{partial x}}+u_{y}{frac {partial u_{y}}{partial y}}right)&=-{frac {partial p}{partial y}}+mu left({frac {partial ^{2}u_{y}}{partial x^{2}}}+{frac {partial ^{2}u_{y}}{partial y^{2}}}right)+rho g_{y}.end{aligned}}}

Differentiating the first with respect to y, the second with respect to x and subtracting the resulting equations will eliminate pressure and any conservative force. Defining the stream function ψ through

ux=∂ψ∂y;uy=−∂ψ∂x{displaystyle u_{x}={frac {partial psi }{partial y}};quad u_{y}=-{frac {partial psi }{partial x}}}

results in mass continuity being unconditionally satisfied (given the stream function is continuous), and then incompressible Newtonian 2D momentum and mass conservation condense into one equation:

∂∂t(∇2ψ)+∂ψ∂y∂∂x(∇2ψ)−∂ψ∂x∂∂y(∇2ψ)=ν∇4ψ{displaystyle {frac {partial }{partial t}}left(nabla ^{2}psi right)+{frac {partial psi }{partial y}}{frac {partial }{partial x}}left(nabla ^{2}psi right)-{frac {partial psi }{partial x}}{frac {partial }{partial y}}left(nabla ^{2}psi right)=nu nabla ^{4}psi }

where ∇⁴ is the 2D biharmonic operator and ν is the kinematic viscosity, ν = μ/ρ. We can also express this compactly using the Jacobian determinant:

∂∂t(∇2ψ)+∂(ψ,∇2ψ)∂(y,x)=ν∇4ψ.{displaystyle {frac {partial }{partial t}}left(nabla ^{2}psi right)+{frac {partial left(psi ,nabla ^{2}psi right)}{partial (y,x)}}=nu nabla ^{4}psi .}

This single equation together with appropriate boundary conditions describes 2D fluid flow, taking only kinematic viscosity as a parameter. Note that the equation for creeping flow results when the left side is assumed zero.

In axisymmetric flow another stream function formulation, called the Stokes stream function, can be used to describe the velocity components of an incompressible flow with one scalar function.

The incompressible Navier–Stokes equation is a differential algebraic equation, having the inconvenient feature that there is no explicit mechanism for advancing the pressure in time. Consequently, much effort has been expended to eliminate the pressure from all or part of the computational process. The stream function formulation eliminates the pressure but only in two dimensions and at the expense of introducing higher derivatives and elimination of the velocity, which is the primary variable of interest.

Properties

Nonlinearity

The Navier–Stokes equations are nonlinear partial differential equations in the general case and so remain in almost every real situation.^[16][17] In some cases, such as one-dimensional flow and Stokes flow (or creeping flow), the equations can be simplified to linear equations. The nonlinearity makes most problems difficult or impossible to solve and is the main contributor to the turbulence that the equations model.

The nonlinearity is due to convective acceleration, which is an acceleration associated with the change in velocity over position. Hence, any convective flow, whether turbulent or not, will involve nonlinearity. An example of convective but laminar (nonturbulent) flow would be the passage of a viscous fluid (for example, oil) through a small converging nozzle. Such flows, whether exactly solvable or not, can often be thoroughly studied and understood.^[18]

Turbulence

Turbulence is the time-dependent chaotic behavior seen in many fluid flows. It is generally believed that it is due to the inertia of the fluid as a whole: the culmination of time-dependent and convective acceleration; hence flows where inertial effects are small tend to be laminar (the Reynolds number quantifies how much the flow is affected by inertia). It is believed, though not known with certainty, that the Navier–Stokes equations describe turbulence properly.^[19]

The numerical solution of the Navier–Stokes equations for turbulent flow is extremely difficult, and due to the significantly different mixing-length scales that are involved in turbulent flow, the stable solution of this requires such a fine mesh resolution that the computational time becomes significantly infeasible for calculation or direct numerical simulation. Attempts to solve turbulent flow using a laminar solver typically result in a time-unsteady solution, which fails to converge appropriately. To counter this, time-averaged equations such as the Reynolds-averaged Navier–Stokes equations (RANS), supplemented with turbulence models, are used in practical computational fluid dynamics (CFD) applications when modeling turbulent flows. Some models include the Spalart–Allmaras, k–ω, k–ε, and SST models, which add a variety of additional equations to bring closure to the RANS equations. Large eddy simulation (LES) can also be used to solve these equations numerically. This approach is computationally more expensive—in time and in computer memory—than RANS, but produces better results because it explicitly resolves the larger turbulent scales.

Applicability

Together with supplemental equations (for example, conservation of mass) and well formulated boundary conditions, the Navier–Stokes equations seem to model fluid motion accurately; even turbulent flows seem (on average) to agree with real world observations.

The Navier–Stokes equations assume that the fluid being studied is a continuum (it is infinitely divisible and not composed of particles such as atoms or molecules), and is not moving at relativistic velocities. At very small scales or under extreme conditions, real fluids made out of discrete molecules will produce results different from the continuous fluids modeled by the Navier–Stokes equations. For example, capillarity of internal layers in fluids appears for flow with high gradients.^[20] For large Knudsen number of the problem, the Boltzmann equation may be a suitable replacement.^[21]
Failing that, one may have to resort to molecular dynamics or various hybrid methods.^[22]

Another limitation is simply the complicated nature of the equations. Time-tested formulations exist for common fluid families, but the application of the Navier–Stokes equations to less common families tends to result in very complicated formulations and often to open research problems. For this reason, these equations are usually rewritten for Newtonian fluids where the viscosity model is linear; truly general models for the flow of other kinds of fluids (such as blood) do not exist.^[23]

Application to specific problems

The Navier–Stokes equations, even when written explicitly for specific fluids, are rather generic in nature and their proper application to specific problems can be very diverse. This is partly because there is an enormous variety of problems that may be modeled, ranging from as simple as the distribution of static pressure to as complicated as multiphase flow driven by surface tension.

Generally, application to specific problems begins with some flow assumptions and initial/boundary condition formulation, this may be followed by scale analysis to further simplify the problem.

Visualization of (a) parallel flow and (b) radial flow.

Parallel flow

Assume steady, parallel, one dimensional, non-convective pressure-driven flow between parallel plates, the resulting scaled (dimensionless) boundary value problem is:

d2udy2=−1;u(0)=u(1)=0.{displaystyle {frac {d^{2}u}{dy^{2}}}=-1;quad u(0)=u(1)=0.}

The boundary condition is the no slip condition. This problem is easily solved for the flow field:

u(y)=y−y22.{displaystyle u(y)={frac {y-y^{2}}{2}}.}

From this point onward more quantities of interest can be easily obtained, such as viscous drag force or net flow rate.

Radial flow

Difficulties may arise when the problem becomes slightly more complicated. A seemingly modest twist on the parallel flow above would be the radial flow between parallel plates; this involves convection and thus non-linearity. The velocity field may be represented by a function f(z) that must satisfy:

d2fdz2+Rf2=−1;f(−1)=f(1)=0.{displaystyle {frac {d^{2}f}{dz^{2}}}+Rf^{2}=-1;quad f(-1)=f(1)=0.}

This ordinary differential equation is what is obtained when the Navier–Stokes equations are written and the flow assumptions applied (additionally, the pressure gradient is solved for). The nonlinear term makes this a very difficult problem to solve analytically (a lengthy implicit solution may be found which involves elliptic integrals and roots of cubic polynomials). Issues with the actual existence of solutions arise for R > 1.41 (approximately; this is not √2), the parameter R being the Reynolds number with appropriately chosen scales.^[24] This is an example of flow assumptions losing their applicability, and an example of the difficulty in "high" Reynolds number flows.^[24]

Convection

A type of natural convection which can be described by the Navier–Stokes equation is the Rayleigh–Bénard convection. It is one of the most commonly studied convection phenomena because of its analytical and experimental accessibility.

Exact solutions of the Navier–Stokes equations

Some exact solutions to the Navier–Stokes equations exist. Examples of degenerate cases — with the non-linear terms in the Navier–Stokes equations equal to zero — are Poiseuille flow, Couette flow and the oscillatory Stokes boundary layer. But also more interesting examples, solutions to the full non-linear equations, exist such as Jeffery–Hamel flow, Von Kármán swirling flow, Stagnation point flow, Landau–Squire jet, Taylor–Green vortex.^[25][26][27]
Note that the existence of these exact solutions does not imply they are stable: turbulence may develop at higher Reynolds numbers.

Under additional assumptions, the component parts can be separated.^[28]

A three-dimensional steady-state vortex solution

Some of the flow lines along a Hopf fibration.

A steady-state example with no singularities comes from considering the flow along the lines of a Hopf fibration. Let r be a constant radius of the inner coil. One set of solutions is given by:^[30]

ρ(x,y,z)=3Br2+x2+y2+z2p(x,y,z)=−A2B(r2+x2+y2+z2)3u(x,y,z)=A(r2+x2+y2+z2)2(2(−ry+xz)2(rx+yz)r2−x2−y2+z2)g=0μ=0{displaystyle {begin{aligned}rho (x,y,z)&={frac {3B}{r^{2}+x^{2}+y^{2}+z^{2}}}\p(x,y,z)&={frac {-A^{2}B}{left(r^{2}+x^{2}+y^{2}+z^{2}right)^{3}}}\mathbf {u} (x,y,z)&={frac {A}{left(r^{2}+x^{2}+y^{2}+z^{2}right)^{2}}}{begin{pmatrix}2(-ry+xz)\2(rx+yz)\r^{2}-x^{2}-y^{2}+z^{2}end{pmatrix}}\g&=0\mu &=0end{aligned}}}

for arbitrary constants A and B. This is a solution in a non-viscous gas (compressible fluid) whose density, velocities and pressure goes to zero far from the origin. (Note this is not a solution to the Clay Millennium problem because that refers to incompressible fluids where ρ is a constant, neither does it deal with the uniqueness of the Navier–Stokes equations with respect to any turbulence properties.) It is also worth pointing out that the components of the velocity vector are exactly those from the Pythagorean quadruple parametrization. Other choices of density and pressure are possible with the same velocity field:

Wyld diagrams

Wyld diagrams are bookkeeping graphs that correspond to the Navier–Stokes equations via a perturbation expansion of the fundamental continuum mechanics. Similar to the Feynman diagrams in quantum field theory, these diagrams are an extension of Keldysh's technique for nonequilibrium processes in fluid dynamics. In other words, these diagrams assign graphs to the (often) turbulent phenomena in turbulent fluids by allowing correlated and interacting fluid particles to obey stochastic processes associated to pseudo-random functions in probability distributions.^[31]

Representations in 3D

Navier–Stokes equations use in games

The Navier–Stokes equations are used extensively in video games in order to model a wide variety of natural phenomena. Simulations of small-scale gaseous fluids, such as fire and smoke, are often based on the seminal paper "Real-Time Fluid Dynamics for Games"^[34] by Jos Stam, which elaborates one of the methods proposed in Stam's earlier, more famous paper "Stable Fluids"^[35] from 1999. Stam proposes stable fluid simulation using a Navier–Stokes solution method from 1968, coupled with an unconditionally stable semi-Lagrangian advection scheme, as first proposed in 1992.

More recent implementations based upon this work run on the game systems graphics processing unit (GPU) as opposed to the central processing unit (CPU) and achieve a much higher degree of performance.^[36][37]
Many improvements have been proposed to Stam's original work, which suffers inherently from high numerical dissipation in both velocity and mass.

An introduction to interactive fluid simulation can be found in the 2007 ACM SIGGRAPH course, Fluid Simulation for Computer Animation.^[38]

Navier–Stokes equations in Popular Culture

The movie Gifted includes a brief view of a headline that Mary's mother Diane Adler was working to be the first to solve Navier–Stokes equations. Later the movie reveals that Adler indeed solved the equations with a mathematical proof.

See also

Notes

References

• 
  Acheson, D. J. (1990), Elementary Fluid Dynamics, Oxford Applied Mathematics and Computing Science Series, Oxford University Press, ISBN 978-0-19-859679-0
  


• 
  Batchelor, G. K. (1967), An Introduction to Fluid Dynamics, Cambridge University Press, ISBN 978-0-521-66396-0
  


• 
  Landau, L. D.; Lifshitz, E. M. (1987), Fluid mechanics, Course of Theoretical Physics, 6 (2nd revised ed.), Pergamon Press, ISBN 978-0-08-033932-0, OCLC 15017127
  


• 
  Rhyming, Inge L. (1991), Dynamique des fluides, Presses polytechniques et universitaires romandes
  


• 
  Polyanin, A. D.; Kutepov, A. M.; Vyazmin, A. V.; Kazenin, D. A. (2002), Hydrodynamics, Mass and Heat Transfer in Chemical Engineering, Taylor & Francis, London, ISBN 978-0-415-27237-7
  


• 
  Currie, I. G. (1974), Fundamental Mechanics of Fluids, McGraw-Hill, ISBN 978-0-07-015000-3
  


• V. Girault and P.A. Raviart. Finite Element Methods for Navier–Stokes Equations: Theory and Algorithms. Springer Series in Computational Mathematics. Springer-Verlag, 1986.


• 
  White, Frank M. (2006), Viscous Fluid Flow, McGraw-Hill, ISBN 978-0-07-124493-0
  


• Smits, Alexander J. (2014), A Physical Introduction to Fluid Mechanics, Wiley,
  ISBN 0-47-1253499
  


• Roger Temam　(1984): "Navier–Stokes Equations: Theory and Numerical Analysis", ACM Chelsea Publishing,
  ISBN 978-0-8218-2737-6
  

External links

• Simplified derivation of the Navier–Stokes equations


• 
  Three-dimensional unsteady form of the Navier–Stokes equations Glenn Research Center, NASA