Navier-stokes Equations Website Links For
Equations
 

Information About

Navier-stokes Equations




The Navier-Stokes equations, named after Claude-Louis Navier and George Gabriel Stokes , are a set of equations that describe the motion of Fluid substances like Liquid s and Gas es. These equations establish that changes in Momentum ( Acceleration ) of the particles of a fluid are simply the product of changes in pressure and dissipative viscous forces (similar to Friction ) acting inside the fluid. These viscous forces originate in molecular interactions and dictate how ''sticky'' (viscous) a fluid is. Thus, the Navier-Stokes equations are a dynamical statement of the balance of forces acting at any given region of the fluid.

They are one of the most useful sets of equations because they describe the physics of a large number of phenomena of academic and economic interest. They are useful to Model Weather , Ocean Current s, water flow in a pipe, motion of stars inside a Galaxy , flow around an Airfoil (wing). They are also used in the design of aircraft and cars, the study of blood flow, the design of power stations, the analysis of the effects of pollution, etc.

The Navier-Stokes equations are Differential Equation s which describe the motion of a fluid. These equations, unlike Algebraic Equations , do not seek to establish a relation among the variables of interest (e.g. Velocity and Pressure ), rather they establish relations among the ''rates of change'' or Flux es of these quantities. In mathematical terms these rates correspond to their Derivative s. Thus, the Navier-Stokes for the most simple case of an Ideal Fluid with zero viscosity states that acceleration (the rate of change of velocity) is proportional to the derivative of internal pressure.

This means that solution of the Navier-Stokes for a given physical problem must be sought with the help of Calculus . In practical terms only the simplest cases can be solved in this way and their exact solution is known. These cases often involve non Turbulent flow in steady state (flow does not change with time) in which the Viscosity of the fluid is large or its velocity is small (small Reynolds Number ).

For more complex situations, like global weather systems like El Niño or Lift in a wing, solution of the Navier-Stokes equations must be found with the help of computers. This is a field of sciences by its own called Computational Fluid Dynamics .

Even though turbulence is an everyday experience it is extremely hard to find solutions for this class of problems. A $1,000,000 prize was offered in May 2000 by the Clay Mathematics Institute to whoever makes substantial progress toward a mathematical theory which will help in the understanding of this phenomenon.


BASIC ASSUMPTIONS

Before going into the details of the Navier-Stokes equations, it is first necessary to make several assumptions about the fluid. The first one is that the fluid is continuous. It signifies that it does not contain voids formed, for example, by bubbles of dissolved gases, or that it does not consist of an aggregate of mist-like particles. Another necessary assumption is that all the fields of interest like Pressure , Velocity , Density , Temperature , etc., are Differentiable (i.e. no Phase Transition s).

The equations are derived from the basic principles of Conservation Of Mass , Momentum , and Energy . For that matter sometimes it is necessary to consider a finite arbitrary volume, called a Control Volume , over which these principles can be easily applied. This finite volume is denoted by \Omega and its bounding surface \partial \Omega. The control volume can remain fixed in space or can move with the fluid. This leads, however, to special considerations, as we shall see next.


THE SUBSTANTIVE DERIVATIVE

Main article Substantive Derivative .

Changes in properties of a moving fluid can be measured in two different ways. This will be illustrated through the use of the following example: the measurement of changes in wind velocity in the Atmosphere . One can measure its changes with the help of an Anemometer in a weather station or by mounting it on a weather balloon. Clearly, the anemometer in the first case is measuring the velocity of all the moving particles passing through a fixed point in space, whereas in the second case the instrument is measuring changes in velocity as it moves with the fluid. The same situation arises in the measuring of changes in density, temperature, etc. Therefore when differentiating one must separate out these two cases. The derivative of a field with respect to fixed position in space is called the ''spatial'' or ''Eulerian'' derivative. The derivative following a moving particle is called the ''substantive'' or ''Lagrangian'' derivative.

The substantive derivative is defined as the operator:

: rac{D}{Dt}(\cdot) \equiv rac{\partial(\cdot)}{\partial t} + (\mathbf{v}\cdot
abla)(\cdot)

Where \mathbf{v} is the velocity of the fluid. The first term on the right-hand side of the equation is the ordinary Eulerian derivative (i.e. the derivative on a fixed reference frame) whereas the second term represents the changes brought about by the moving fluid. This effect is referred to as Advection .


CONSERVATION LAWS

The Navier-Stokes equations are derived from Conservation Principles of:


Additionally it is necessary to assume a constitutive relation or State Law for the fluid.

In its most general form a conservation law states that the rate of change of an extensive property L defined over a control volume must equal what is lost through the boundaries of the volume carried out by the moving fluid plus what is created/consumed by sources and sinks inside the control volume. This is expressed by the following integral equation:

: rac{d}{dt}\int_{\Omega} L \; d\Omega = -\int_{\partial\Omega} L\mathbf{v\cdot n} d\partial\Omega+ \int_{\Omega} Q d\Omega

Where v is the velocity of the fluid and Q represents the sources and sinks in the fluid.

If the control volume is fixed in space then this integral equation can be expressed as

: rac{d}{d t} \int_{\Omega} L d\Omega = -\int_{\Omega}
abla\cdot ( L\mathbf{v} ) d\Omega + \int_{\Omega} Q d\Omega

Note that Green's Theorem was used in the derivation of this last equation in order to express the first term on the right-hand side in the interior of the control volume. Thus:

: rac{d}{dt}\int_{\Omega} L d\Omega = - \int_{\Omega} (
abla\cdot ( L\mathbf{v} ) - Q) d\Omega

Instead, as this expression is valid for \Omega, which is invariant in time (unlike \partial\Omega), it becomes possible to swap the " rac{d}{dt}" and " \int_{\Omega}^{} d\Omega" Operators . And as the expression is valid for all domains, we can additionally drop the integral.

Introducing the substantive derivative, we get when Q = 0 (no sources or sinks):

: rac{\partial}{\partial t} L +
abla\cdot\left(L \mathbf{v} ight) = rac{D}{Dt}L + L \left(
abla\cdot \mathbf{v} ight) = 0

For a quantity which isn't space-dependent (so that it doesn't have to be integrated over space), D/Dt gives the right comoving time rate of change.


Equation of continuity

Conservation of mass is written:

: rac{\partial ho}{\partial t} +

abla\cdot\left( ho\mathbf{v} ight) = 0
:
= rac{\partial ho}{\partial t} + ho
abla\cdot\mathbf{v} + \mathbf{v} \cdot
abla ho

:
= rac{D ho}{D t} + ho
abla \cdot \mathbf{v} = 0


where ho is
the mass density (mass per unit volume), and v is the velocity of the fluid.

In the case of an Incompressible Fluid
ho is not a function of time or space; the equation is reduced to:

:
abla\cdot\mathbf{v} = 0:


Conservation of momentum

Conservation of momentum is expressed in a manner similar to the continuity equation,
with vector components of the momentum replacing density, and with a “source term”
to represent forces acting on the fluid.
We replace ho in the continuity equation with the net momentum
per unit volume along a particular direction, ho v_i,
where v_i is the i^{th}
component of the velocity, i.e. the velocity
along the ''x'', ''y'', or ''z'' direction.

: rac{\partial}{\partial t}\left( ho v_i ight) +
abla
\cdot ( ho v_i \mathbf{v}) =
ho f_i .

ho f_i is the i^{th}
component of the force acting on the fluid (actually
the force per unit volume). Common forces encountered include
gravity and pressure gradients.
This can also be expressed as:

: rac{\partial}{\partial t}\left( ho\mathbf{v} ight) +
abla( ho\mathbf{v}\otimes\mathbf{v}) = ho \mathbf{f}

Note that \mathbf{v}\otimes\mathbf{v} is a Tensor , the \otimes representing the Tensor Product .

We can simplify it further, using the continuity equation, this becomes:

: ho rac{D v_i}{D t}= ho f_i
which is often written as
: ho rac{D\mathbf{v}}{D t}= ho \mathbf{f}

In which we recognise the usual F=m'''a'''.


THE EQUATIONS


General form


The form of the equations

The general form of the Navier-Stokes equations for the conservation of momentum is:

: ho rac{D\mathbf{v}}{D t} =
abla \cdot\mathbb{P} + ho\mathbf{f}

where ho is the fluid density, v is the velocity vector, and f is the body force vector. The Tensor \mathbb{P} represents the surface forces applied on a fluid particle (the Comoving Stress Tensor ). Unless the fluid is made up of spinning degrees of freedom like vortices, \mathbb{P} is a symmetric tensor. In general, we have the form:

:\mathbb{P} = \begin{pmatrix}
\sigma_{xx} & au_{xy} & au_{xz} \
au_{yx} & \sigma_{yy} & au_{yz} \
au_{zx} & au_{zy} & \sigma_{zz}
\end{pmatrix}
=
-
\begin{pmatrix}
p&0&0\
0&p&0\
0&0&p
\end{pmatrix}
+
\begin{pmatrix}
\sigma_{xx}+p & au_{xy} & au_{xz} \
au_{yx} & \sigma_{yy}+p & au_{yz} \
au_{zx} & au_{zy} & \sigma_{zz}+p
\end{pmatrix}

where the \sigma are normal stresses, au tangential stresses (shear stresses), and p is static pressure, associated with the isotropic part of the stress tensor.

The Trace \sigma_{xx}+\sigma_{yy}+\sigma_{zz} is ''always'' -3p by definition (unless we have Bulk Viscosity ) ''regardless of whether or not the fluid is in equilibrium''.

Finally, we have:

: ho rac{D\mathbf{v}}{D t} = -
abla p +
abla \cdot\mathbb{T} + ho\mathbf{f}

where \mathbb{T} is the Traceless part of \mathbb{P}.

These equations are still incomplete. To complete them, one must make hypotheses on the form of \mathbb{P}, that is, one needs a constitutive law for the stress tensor as shown below.

The flow is assumed to be Differentiable and Continuous , allowing the conservation laws to be expressed as partial differential equations. In the case of incompressible flow (constant density), the variables to be solved for are the velocity components and the pressure. The three components of the Navier-Stokes equations plus the conservation of mass (continuity equation) conform a closed system of well-posed partial differential equations for these variables, that can be solved , in principle, for suitable boundary conditions. In the case of compressible flow the density becomes another unknown of the system, and can be determined suplementing the system with an Equation Of State . An equation of state usually involves the Temperature of the fluid, so that the equation for conservation of energy must also be solved, coupled with the previous ones. These equations are non-linear, and analytical solutions in closed form are known only for cases with very simple boundary conditions.

The equations can be converted to Wilkinson equations for the secondary variables Vorticity and Stream Function . Solution depends on the fluid properties (such as Viscosity , Specific Heats , and Thermal Conductivity ), and on the boundary conditions of the domain of study.


SPECIAL FORMS

Those are certain usual simplifications of the problem for which sometimes solutions are known.


Newtonian fluids

Main article Newtonian Fluids .

In Newtonian fluids the following assumption holds:

:p_{ij}=-p\delta_{ij}+\mu\left( rac{\partial v_i}{\partial x_j}+ rac{\partial v_j}{\partial x_i}- rac{2}{3}\delta_{ij}
abla\cdot\mathbf{v} ight)

where
:\mu is the Viscosity of the fluid.
:\delta_{ij} is the Kronecker Delta (1 for i=j; 0 for i
e j).

To see how to "derive" this, we first note that in equilibrium, pij=-pδij. For a Newtonian fluid, the deviation of the comoving stress tensor from this equilibrium value is linear in the gradient of the velocity. It obviously can't depend upon the velocity itself because of Galilean Covariance . In other words, pij+pδij is linear in \partial_i v_j. The fluids that we are considering here are Rotationally Invariant (i.e., they are not Liquid Crystal s). pij+pδij decomposes into a traceless symmetric tensor and a trace. Similarly, \partial_i v_j decomposes into a traceless symmetric tensor, a trace and an antisymmetric tensor. Any linear map from the latter to the former has to map the antisymmetric part to zero ( Schur's Lemma ) and has two coefficients corresponding to the traceless symmetric part and the trace part. The traceless symmetric part of \partial_i v_j is \partial_i v_j +\partial_j v_i - rac{2}{d} \delta_{ij}\partial_k v_k where d is the number of spatial dimensions and the trace part is \delta_{ij} \partial_k v_k. Therefore, the most general rotationally invariant linear map is given by

:p_{ij}+p\delta_{ij}=\mu\left(\partial_i v_j+\partial_j v_i - rac{2}{d}\delta_{ij}
abla\cdot\mathbf{v} ight)+\mu_B \delta_{ij}
abla\cdot \mathbf{v}

for some coefficients μ and μB. μ is called the Shear Viscosity and μB is called the Bulk Viscosity . It is an empirical observation that the bulk viscosity is negligible for most fluids of interest, which is why it is often dropped. This explains the factor of −2/3 appearing in this equation. This factor has to be modified in 1 or 2 spatial dimensions.

: ho \left( rac{\partial \mathbf{v}}{\partial t}+ ( \mathbf{v} \cdot
abla ) \mathbf{v} ight)= ho \mathbf{f}-
abla p +\mu\left(
abla ^2 \mathbf{v}+ rac{1}{3}
abla\left(
abla\cdot \mathbf{v} ight) ight)

: ho \left( rac{\partial v_i}{\partial t}+v_j rac{\partial v_i}{\partial x_j} ight)= ho f_i- rac{\partial p}{\partial x_i}+\mu\left( rac{\partial ^2 v_i}{\partial x_j \partial x_j}+ rac{1}{3} rac{\partial ^2 v_j}{\partial x_i \partial x_j} ight)

where we have used the Einstein Summation Convention .

When written-out in full it becomes clear how complex these equations really are (but only if we insist on writing every single component out explicitly):

Conservation of momentum:
: ho \cdot \left({\partial u \over \partial t}+ u {\partial u \over \partial x}+ v {\partial u \over \partial y}+ w {\partial u \over \partial z} ight) = k_x -{\partial p \over \partial x} + {\partial \over \partial x} \left[ \mu \cdot \left(2 \cdot {\partial u \over \partial x}- rac{2}{3}\cdot (
abla \cdot \mathbf{v}) ight) ight] + {\partial \over \partial y}\left \cdot \left({\partial u \over \partial y} + {\partial v \over \partial x} ight) ight + {\partial \over \partial z}\left \cdot \left({\partial w \over \partial x} + {\partial u \over \partial z} ight) ight

: ho \cdot \left({\partial v \over \partial t}+ u {\partial v \over \partial x}+ v {\partial v \over \partial y}+ w {\partial v \over \partial z} ight) = k_y -{\partial p \over \partial y} + {\partial \over \partial y} \left[ \mu \cdot \left(2 \cdot {\partial v \over \partial y}- rac{2}{3}\cdot (
abla \cdot \mathbf{v}) ight) ight] + {\partial \over \partial z}\left \cdot \left({\partial v \over \partial z} + {\partial w \over \partial y} ight) ight + {\partial \over \partial x}\left \cdot \left({\partial u \over \partial y} + {\partial v \over \partial x} ight) ight

: ho \cdot \left({\partial w \over \partial t}+ u {\partial w \over \partial x}+ v {\partial w \over \partial y}+ w {\partial w \over \partial z} ight) = k_z -{\partial p \over \partial z} + {\partial \over \partial z} \left[ \mu \cdot \left(2 \cdot {\partial w \over \partial z}- rac{2}{3}\cdot (
abla \cdot \mathbf{v}) ight) ight] + {\partial \over \partial x}\left \cdot \left({\partial w \over \partial x} + {\partial u \over \partial z} ight) ight + {\partial \over \partial y}\left \cdot \left({\partial v \over \partial z} + {\partial w \over \partial y} ight) ight

Conservation of mass:
: {\partial ho \over \partial t} + {\partial ( ho \cdot u) \over \partial x}+{\partial ( ho \cdot v) \over \partial y}+{\partial ( ho \cdot w) \over \partial z}=0

Since ''density'' is an unknown another equation is required.

Conservation of energy:
: ho \left({\partial e \over \partial t}+ u {\partial e \over \partial x}+ v {\partial e \over \partial y}+ w {\partial e \over \partial z} ight) = \left( {\partial \over \partial x} \left(\lambda \cdot {\partial T \over \partial x} ight) + {\partial \over \partial y} \left(\lambda \cdot {\partial T \over \partial y} ight) + {\partial \over \partial z} \left(\lambda \cdot {\partial T \over \partial z} ight) ight) - p \cdot \left(
abla \cdot \mathbf{v} ight) + \mathbf{k} \cdot \mathbf{v} + ho \cdot \dot{q}_s + \mu \cdot \Phi

Where:
:\Phi = 2 \cdot \left \left({\partial u \over \partial x} ight)^2+\left({\partial v \over \partial y} ight)^2+\left({\partial w \over \partial z} ight)^2 ight
+ \left({\partial v \over \partial x}+{\partial u \over \partial y} ight)^2
+ \left({\partial w \over \partial y}+{\partial v \over \partial z} ight)^2
+ \left({\partial u \over \partial z}+{\partial w \over \partial x} ight)^2
- rac{2}{3} \cdot \left({\partial u \over \partial x}+{\partial v \over \partial y}+{\partial w \over \partial z} ight)^2

\Phi is sometimes referred to as "viscous dissipation". \Phi can often be neglected unless dealing with extreme flows such as high supersonic and hypersonic flight (e.g., hypersonic planes and atmospheric reentry).

Assuming an Ideal Gas :
:e = c_p \cdot T - rac{p}{ ho}

The above is a system of six equations and six unknowns (u, v, w, T, e and ho).


Bingham fluids

Main article Bingham Plastic .

In Bingham fluids, we have something slightly different:

: au_{ij}= au_0 + \mu rac{\partial v_i}{\partial x_j},\; rac{\partial v_i}{\partial x_j}>0

Those are fluids capable of bearing some shear before they start flowing. Some common examples are Toothpaste and Silly Putty .


Power-law fluid

Main article Power-law Fluid .

It is an idealised Fluid for which the Shear Stress , au, is given by

: au = K \left( rac {\partial u} {\partial y} ight)^n

This form is useful for approximating all sorts of general fluids.


Incompressible fluids

Main article Incompressible Fluid s.

The Navier-Stokes equations are
:
ho rac{Du_i}{Dt}= ho f_i- rac{\partial p}{\partial x_i}+ rac{\partial}{\partial x_j}\left[
2\mu\left(e_{ij}- rac{\Delta\delta_{ij}}{3} ight) ight]
for Momentum Conservation and
:
abla\cdot\mathbf{v}=0
for Conservation Of Mass .

where
: ho is the Density ,
:u_i (i=1,2,3) the three components of velocity,
:f_i body forces (such as gravity),
:p the Pressure ,
:\mu the Dynamic Viscosity , of the fluid at a point;

:e_{ij}= rac{1}{2}\left( rac{\partial u_i}{\partial x_j}+ rac{\partial u_j}{\partial x_i} ight);
:\Delta=e_{ii} is the Divergence ,
:\delta_{ij} is the Kronecker Delta .

If \mu is uniform over the fluid, the momentum equation above simplifies to

:
ho rac{Du_i}{Dt}= ho f_i- rac{\partial p}{\partial x_i}
+\mu
\left(
rac{\partial^2u_i}{\partial x_j\partial x_j}+ rac{1}{3} rac{\partial\Delta}{\partial x_i} ight)


(if \mu=0 but the fluid is compressible, the resulting equations are known as the Euler Equations ; there, the emphasis is on Compressible Flow and Shock Wave s).

If now in addition ho is assumed to be constant we obtain the following system:
: ho \left({\partial v_x \over \partial t}+ v_x {\partial v_x \over \partial x}+ v_y {\partial v_x \over \partial y}+ v_z {\partial v_x \over \partial z} ight)= \mu \left v_x \over \partial x^2}+{\partial^2 v_x \over \partial y^2}+{\partial^2 v_x \over \partial z^2} ight -{\partial p \over \partial x} + ho g_x
: ho \left({\partial v_y \over \partial t}+ v_x {\partial v_y \over \partial x}+ v_y {\partial v_y \over \partial y}+ v_z {\partial v_y \over \partial z} ight)= \mu \left v_y \over \partial x^2}+{\partial^2 v_y \over \partial y^2}+{\partial^2 v_y \over \partial z^2} ight -{\partial p \over \partial y} + ho g_y
: ho \left({\partial v_z \over \partial t}+ v_x {\partial v_z \over \partial x}+ v_y {\partial v_z \over \partial y}+ v_z {\partial v_z \over \partial z} ight)= \mu \left v_z \over \partial x^2}+{\partial^2 v_z \over \partial y^2}+{\partial^2 v_z \over \partial z^2} ight -{\partial p \over \partial z} + ho g_z

Continuity equation (assuming incompressibility):

: {\partial v_x \over \partial x}+{\partial v_y \over \partial y}+{\partial v_z \over \partial z}=0

: ''Simplified version of the N-S equations. Adapted from Incompressible Flow, second edition by Ronald Panton''

Note that the Navier-Stokes equations can only describe fluid flow approximately and that, at very small scales or under extreme conditions, real fluids made out of mixtures of discrete molecules and other material, such as suspended particles and dissolved gases, will produce different results from the continuous and homogeneous fluids modelled by the Navier-Stokes equations. Depending on the Knudsen Number of the problem, Statistical Mechanics may be a more appropriate approach. However, the Navier-Stokes equations are useful for a wide range of practical problems, providing their limitations are borne in mind.


SEE ALSO




REFERENCES

  • Inge L. Rhyming Dynamique des fluides, 1991 PPUR

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



EXTERNAL LINKS