The incompressible momentum Navier–Stokes equation results from the following assumptions on the Cauchy stress tensor: 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 \nabla \mathbf{u}. the fluid is assumed to be
isotropic, as with gases and simple liquids, and consequently \boldsymbol{\tau} is an isotropic tensor; furthermore, since the deviatoric stress tensor can be expressed in terms of the
dynamic viscosity \mu: where \boldsymbol{\varepsilon} = \tfrac{1}{2} \left( \mathbf{\nabla u} + \mathbf{\nabla u}^\mathsf{T} \right) is the rate-of-
strain tensor. So this decomposition can be made explicit as: The divergence of the deviatoric stress in case of uniform viscosity is given by: \nabla \cdot \boldsymbol \tau = 2 \mu \nabla \cdot \boldsymbol \varepsilon = \mu \nabla \cdot \left( \nabla\mathbf{u} + \nabla\mathbf{u} ^\mathsf{T} \right) = \mu \, \nabla^2 \mathbf{u} because \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. the incompressible Navier–Stokes equations are best visualized by dividing for the density: where \nu = \frac{\mu}{\rho} is called the
kinematic viscosity. By isolating the fluid velocity, one can also state: If the density is constant throughout the fluid domain, or, in other words, if all fluid elements have the same density, \rho, then we have where \frac{p}{\rho} is called the unit
pressure head. In incompressible flows, the pressure field satisfies the
Poisson equation, :\nabla^2 p = - \rho \frac{\partial u_i}{\partial x_k}\frac{\partial u_k}{\partial x_i} = - \rho \frac{\partial^2 u_iu_k}{\partial x_kx_i}, which is obtained by taking the divergence of the momentum equations. {{hidden Velocity profile (laminar flow): u_x = u(y), \quad u_y = 0, \quad u_{z} = 0 for the -direction, simplify the Navier–Stokes equation: 0 = -\frac{\mathrm{d} P}{\mathrm{d} x} + \mu\left(\frac{\mathrm{d}^2 u}{\mathrm{d} y^2}\right) Integrate twice to find the velocity profile with boundary conditions y=h, \ u=0; y=-h, \ u=0: u = \frac{1}{2\mu}\frac{\mathrm{d} P}{\mathrm{d} x} y^2 + Ay + B From this equation, substitute in the two boundary conditions to get two equations: \begin{align} 0 &= \frac{1}{2 \mu}\frac{\mathrm{d} P}{\mathrm{d} x} h^2 + Ah + B \\ 0 &= \frac{1}{2 \mu}\frac{\mathrm{d} P}{\mathrm{d} x} h^2 - Ah + B \end{align} Add and solve for B: B = -\frac{1}{2 \mu}\frac{\mathrm{d} P}{\mathrm{d} x} h^2 Substitute and solve for A: A = 0 Finally this gives the velocity profile: u = \frac{1}{2 \mu}\frac{\mathrm{d} P}{\mathrm{d} x} \left(y^2 - h^2\right) }} It is well worth observing the meaning of each term (compare to the
Cauchy momentum equation): \overbrace{ \vphantom{\frac{}{}} \underbrace{ \frac{\partial \mathbf{u}}{\partial t} }_{\text{Variation}} + \underbrace{ \vphantom{\frac{}{}} (\mathbf{u} \cdot \nabla) \mathbf{u} }_{\begin{smallmatrix} \text{Convective}\\ \text{acceleration} \end{smallmatrix}} }^{\text{Inertia (per volume)}} = \overbrace{ \vphantom{\frac{\partial}{\partial}} \underbrace{ \vphantom{\frac{}{}} -\nabla w }_{\begin{smallmatrix} \text{Internal}\\ \text{source} \end{smallmatrix} } + \underbrace{ \vphantom{\frac{}{}} \nu \nabla^2 \mathbf{u} }_{\text{Diffusion}} }^{\text{Divergence of stress}} + \underbrace{ \vphantom{\frac{}{}} \mathbf{g} }_{\begin{smallmatrix} \text{External}\\ \text{source} \end{smallmatrix}}. The higher-order term, namely the
shear stress divergence \nabla \cdot \boldsymbol{\tau}, has simply reduced to the
vector Laplacian term \mu \nabla^2 \mathbf{u}. 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: \mathbf g = - \nabla \varphi by defining the
hydraulic head: h \equiv w + \varphi one can finally condense the whole source in one term, arriving to the incompressible Navier–Stokes equation with conservative external field: \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 uniform density and viscosity and conservative external field is the
fundamental equation of hydraulics. The domain for these equations is commonly a 3 or fewer dimensional
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 3-dimensional 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. A special case of the fundamental equation of hydraulics is the
Bernoulli's equation. The incompressible Navier–Stokes equation is composite, the sum of two orthogonal equations, \begin{align} \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{align} where \Pi^S and \Pi^I are solenoidal and
irrotational projection operators satisfying \Pi^S + \Pi^I = 1, and \mathbf{f}^S and \mathbf{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: \Pi^S\,\mathbf{F}(\mathbf{r}) = \frac{1}{4\pi}\nabla\times\int \frac{\nabla^\prime\times\mathbf{F}(\mathbf{r}')} \, \mathrm{d} V', \quad \Pi^I = 1-\Pi^S with a similar structure in 2D. Thus the governing equation is an
integro-differential equation similar to
Coulomb's and
Biot–Savart's 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, is given by, \left(\mathbf{w},\frac{\partial\mathbf{u}}{\partial t}\right) = -\bigl(\mathbf{w}, \left(\mathbf{u}\cdot\nabla\right)\mathbf{u}\bigr) - \nu \left(\nabla\mathbf{w}: \nabla\mathbf{u}\right) + \left(\mathbf{w}, \mathbf{f}^S\right) for divergence-free test functions \mathbf{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 would seem to refute the frequent statements that the incompressible pressure enforces the divergence-free condition.
Weak form of the incompressible Navier–Stokes equations Strong form Consider the incompressible Navier–Stokes equations for a
Newtonian fluid of constant density \rho in a domain \Omega \subset \mathbb R^d \quad (d=2, 3) with boundary \partial \Omega = \Gamma_D \cup \Gamma_N , being \Gamma_D and \Gamma_N portions of the boundary where respectively a
Dirichlet and a
Neumann boundary condition is applied (\Gamma_D \cap \Gamma_N = \emptyset): \begin{cases} \rho \dfrac{\partial \mathbf{u}}{\partial t} + \rho (\mathbf{u} \cdot \nabla) \mathbf{u} - \nabla \cdot \boldsymbol{\sigma} (\mathbf{u}, p) = \mathbf{f} & \text{ in } \Omega \times (0, T) \\ \nabla \cdot \mathbf{u} = 0 & \text{ in } \Omega \times (0, T) \\ \mathbf{u} = \mathbf{g} & \text{ on } \Gamma_D \times (0, T) \\ \boldsymbol{\sigma} (\mathbf{u}, p) \hat{\mathbf{n}} = \mathbf{h} & \text{ on } \Gamma_N \times (0, T) \\ \mathbf{u}(0)= \mathbf{u}_0 & \text{ in } \Omega \times \{ 0\} \end{cases} \mathbf{u} is the fluid velocity, p the fluid pressure, \mathbf{f} a given forcing term, \hat{\mathbf{n}} the outward directed unit normal vector to \Gamma_N, and \boldsymbol{\sigma}(\mathbf{u}, p) the
viscous stress tensor defined as: 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, (\mathbf{g}_i, \nabla p) = -\bigl(\mathbf{g}_i, \left(\mathbf{u}\cdot\nabla\right)\mathbf{u}_j\bigr) - \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 \mathbf{g}_i one would choose the irrotational vector elements obtained from the gradient of the pressure element. ==Non-inertial frame of reference==