CFD Online Logo CFD Online URL
www.cfd-online.com
[Sponsors]
Home > Wiki > Navier-Stokes equations

Navier-Stokes equations

From CFD-Wiki

(Difference between revisions)
Jump to: navigation, search
(Stokes Hypothesis)
(Stokes Hypothesis)
Line 383: Line 383:
<table width="70%"><tr><td>
<table width="70%"><tr><td>
:<math>  
:<math>  
-
\sigma_{y}  = 2 \mu \frac{ \partial v}{ \partial y} + \lambda \left( \frac{ \partial u}{ \partial x} + \frac{ \partial v}{ \partial y} + \frac{ \partial w}{ \partial z}  \right)
+
\sigma_{z}  = 2 \mu \frac{ \partial w}{{\partial}z} + \lambda \left( \frac{ \partial u}{ \partial x} + \frac{ \partial v}{ \partial y} + \frac{ \partial w}{ \partial z}  \right)
</math>
</math>
</td><td width="5%">(12)</td></tr></table>
</td><td width="5%">(12)</td></tr></table>

Revision as of 09:54, 2 June 2011

The Navier-Stokes equations are the basic governing equations for a viscous, heat conducting fluid. It is a vector equation obtained by applying Newton's Law of Motion to a fluid element and is also called the momentum equation. It is supplemented by the mass conservation equation, also called continuity equation and the energy equation. Usually, the term Navier-Stokes equations is used to refer to all of these equations.

Contents

History

Claude Louis Marie Henri Navier’s name is associated with the famous Navier-Stokes equations that govern motion of a viscous fluid. He derived the Navier-Stokes equations in a paper in 1822. His derivation was however based on a molecular theory of attraction and repulsion between neighbouring molecules. Euler had already derived the equations for an ideal fluid in 1755 which did not include the effects of viscosity. Navier did not recognize the physical significance of viscosity and attributed the viscosity coefficient to be a function of molecular spacing.

The equations of motion were rederived by Cauchy in 1828 and by Poisson in 1829. In 1843 Barre de Saint-Venant published a derivation of the equations that applied to both laminar and turbulent flows. However the other person whose name is attached with Navier is the Irish mathematician-physicist George Gabriel Stokes. In 1845 he published a derivation of the equations in a manner that is currently understood.

Derivation of continuity equation

Derivation of momentum equations

Motion.JPG

Expansion, rotation and deformation of a fluid parsel

forces and stresses

 
\textbf{V} = \textbf{i}u + \textbf{j}v + \textbf{k}w
(2)


 
\rho \frac{D \textbf{V}}{Dt} = \rho \textbf{F} + \textbf{P}
(3)

where

\textbf{F} - mass force per volume unit

\textbf{P} - surface force per volume unit

There are two types of forces: body(mass) forces and surface forces/ Body forces act on the entire control volume. The most common body force is that due to gravity. Electromagnetic phenomena may also create body forces, but this is a rather specialized situation.


Surface forces act on only surface of a control volume at a time and arise due to pressure or viscous stresses.



 
\textbf{F} = \textbf{i}F_{x} + \textbf{j}F_{y} + \textbf{k}F_{z}
(4)
 
\textbf{P} = \textbf{i}P_{x} + \textbf{j}P_{y} + \textbf{k}P_{z}
(5)

We find a general expression for the surface force per unit volume of a deformable body. Consider a rectangular parallelepiped with sides dx,dy,dz and hence with volume dV = dxdydz


Stresses.JPG

At the moment we assume this parallelepiped isolated from the rest of the fluid flow , and consider the forces acting on the faces of the parallelepiped.

Let the left forward top of a parallelepiped lies in a point O

To both faces of the parallelepiped perpendicular to the axis x and having the area dydz applied resulting stresses , equal to \textbf{p}_{x} and \textbf{p}_{x}+\frac{\partial \textbf{p}_{x}}{ \partial x} respectively


So we have

for x - direction  \frac{ \partial \textbf{p}_{x}}{ \partial x} dxdydz

for y - direction  \frac{ \partial \textbf{p}_{y}}{ \partial y} dxdydz

for z - direction  \frac{ \partial \textbf{p}_{z}}{ \partial z} dxdydz

 
\textbf{P} = \frac{\partial \textbf{p}_{x}}{ \partial x} + \frac{\partial \textbf{p}_{y}}{ \partial y}	+ \frac{\partial \textbf{p}_{z}}{ \partial z}
(6)
 
\rho \frac{d \textbf{V}}{dt} = \rho \textbf{F} + \frac{\partial \textbf{p}_{x} }{ \partial x} + \frac{\partial \textbf{p}_{y} }{ \partial y} + \frac{\partial \textbf{p}_{z} }{ \partial z}
(7)
 
\left.
\begin{array}{c} 
\rho \frac{du}{dt}= \rho F_{x} + \frac{ \partial p_{xx}}{\partial x} + \frac{ \partial p_{yx}}{\partial y} + \frac{ \partial p_{zx}}{\partial z} \\
\rho \frac{dv}{dt}= \rho F_{y} + \frac{ \partial p_{xy}}{\partial x} + \frac{ \partial p_{yy}}{\partial y} + \frac{ \partial p_{zy}}{\partial z} \\
\rho \frac{dw}{dt}= \rho F_{z} + \frac{ \partial p_{xz}}{\partial x} + \frac{ \partial p_{yz}}{\partial y} + \frac{ \partial p_{zz}}{\partial z} \\
\end{array}
\right\}
(8)
 
\left.
\begin{array}{c} 
\rho \left( \frac{\partial u}{ \partial t} + u \frac{ \partial u}{ \partial x} + v \frac{ \partial u}{ \partial y} + w \frac{ \partial u}{ \partial z} \right) = \rho F_{x} + \frac{ \partial p_{xx}}{\partial x} + \frac{ \partial p_{yx}}{\partial y} + \frac{ \partial p_{zx}}{\partial z} \\
\rho \left( \frac{\partial u}{ \partial t} + u \frac{ \partial u}{ \partial x} + v \frac{ \partial u}{ \partial y} + w \frac{ \partial u}{ \partial z} \right) = \rho F_{x} + \frac{ \partial p_{xx}}{\partial x} + \frac{ \partial p_{yx}}{\partial y} + \frac{ \partial p_{zx}}{\partial z} \\
\rho \left( \frac{\partial u}{ \partial t} + u \frac{ \partial u}{ \partial x} + v \frac{ \partial u}{ \partial y} + w \frac{ \partial u}{ \partial z} \right) = \rho F_{x} + \frac{ \partial p_{xx}}{\partial x} + \frac{ \partial p_{yx}}{\partial y} + \frac{ \partial p_{zx}}{\partial z} \\  
\end{array}
\right\}
(9)

The force due to the stress is the product of the stress and the area over which it acts.

 
\textbf{P}_{x} = \textbf{i} \sigma_{xx} + \textbf{j} \tau_{xy} + \textbf{k} \tau_{xz}
(10)
 
\textbf{P}_{y} = \textbf{i} \tau_{yx} + \textbf{j} \sigma_{yy} + \textbf{k} \tau_{yz}
(11)
 
\textbf{P}_{z}=\textbf{i}\tau_{zx} + \textbf{j} \tau_{zy} + \textbf{k}*\sigma_{zz}
(12)


 
\Pi = \left(
\begin{array}{ccc} 
 \sigma_{xx} & \tau_{xy}  & \tau_{xz} \\
 \tau_{yx}  & \sigma_{yy} & \tau_{yz} \\
 \tau_{zx}  & \tau_{zy}  & \sigma_{zz} \\
\end{array}
\right)
(13)


 
\left.
\begin{array}{c} 
\rho \frac{du}{dt} = X - \frac{\partial p}{\partial x} + \left( \frac{\partial \sigma_{x} '}{\partial x} + \frac{\partial \tau_{xy}}{\partial y} + \frac{\partial \tau_{xz}}{\partial z}  \right) \\
\rho \frac{dv}{dt} = Y - \frac{\partial p}{\partial y} + \left( \frac{\partial \tau_{xy} }{\partial x} + \frac{\partial \sigma_{y} '}{\partial y} + \frac{\partial \tau_{yz}}{\partial z}  \right) \\
\rho \frac{dw}{dt} = Z - \frac{\partial p}{\partial z} + \left( \frac{\partial \tau_{xz} '}{\partial x} + \frac{\partial \tau_{yz}}{\partial y} + \frac{\partial \sigma_{z}'}{\partial z}  \right) 
\end{array}
\right\}
(14)


 
\left.
\begin{array}{c} 
u + du = u + \frac{\partial u}{ \partial x}dx + \frac{\partial u}{ \partial y}dy + \frac{\partial u}{ \partial z}dz	\\
v + dv = v + \frac{\partial v}{ \partial x}dx + \frac{\partial v}{ \partial y}dy + \frac{\partial v}{ \partial z}dz	\\
w + dw = w + \frac{\partial w}{ \partial x}dx + \frac{\partial w}{ \partial y}dy + \frac{\partial w}{ \partial z}dz	\\
\end{array}
\right\}
(15)
 
\left(
\begin{array}{ccc}
\frac{\partial u}{ \partial x} & \frac{\partial u}{ \partial y} & \frac{\partial u}{ \partial z}	\\
\frac{\partial v}{ \partial x} & \frac{\partial v}{ \partial y} & \frac{\partial v}{ \partial z}	\\
\frac{\partial w}{ \partial x} & \frac{\partial w}{ \partial y} & \frac{\partial w}{ \partial z}\\
\end{array}
\right)
(16)

deformation and rotation

Motion all.JPG

 
\left.
\begin{array}{c} 
u = u_{0} + \left( \frac{\partial u}{\partial x} \right)_{0} \left( x - x_{0} \right) + \left( \frac{\partial u}{\partial y} \right)_{0} \left( y - y_{0} \right) + \left( \frac{\partial u}{\partial z} \right)_{0} \left( z - z_{0} \right) \\

v = v_{0} + \left( \frac{\partial v}{\partial x} \right)_{0} \left( x - x_{0} \right) + \left( \frac{\partial v}{\partial y} \right)_{0} \left( y - y_{0} \right) + \left( \frac{\partial v}{\partial z} \right)_{0} \left( z - z_{0} \right) \\

w = w_{0} + \left( \frac{\partial w}{\partial x} \right)_{0} \left( x - x_{0} \right) + \left( \frac{\partial w}{\partial y} \right)_{0} \left( y - y_{0} \right) + \left( \frac{\partial w}{\partial z} \right)_{0} \left( z - z_{0} \right) \\
\end{array}
\right\}
(9)
 
\left.
\begin{array}{c} 
u= u_{0} + \omega_{y} \left( z - z_{0} \right) - \omega_{z} \left( y - y_{0} \right) \\
v= v_{0} + \omega_{z} \left( x - x_{0} \right) - \omega_{x} \left( z - z_{0} \right) \\
w= w_{0} + \omega_{x} \left( y - y_{0} \right) - \omega_{y} \left( x - x_{0} \right) \\
\end{array}
\right\}
(9)
 
\left.
\begin{array}{c} 
\omega_{x} = \frac{1}{2} \left( \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z} \right) \\
\omega_{y} = \frac{1}{2} \left( \frac{\partial u}{\partial z} - \frac{\partial w}{\partial x} \right) \\
\omega_{z} = \frac{1}{2} \left( \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right) \\
\end{array}
\right\}
(9)
 
 \left.
\begin{array}{c} 
u_{solid} = u_{0} 
+ \frac{1}{2} \left( \frac{\partial u}{\partial z} - \frac{\partial w}{\partial x} \right)_{0} \left( z - z_{0} \right) 
- \frac{1}{2} \left( \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right)_{0} \left( y - y_{0} \right) \\

v_{solid} = v_{0} 
+ \frac{1}{2} \left( \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right)_{0} \left( x - x_{0} \right) 
- \frac{1}{2} \left( \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z} \right)_{0} \left( z - z_{0} \right) \\

w_{solid} = w_{0} 
+ \frac{1}{2} \left( \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z} \right)_{0} \left( y - y_{0} \right) 
- \frac{1}{2} \left( \frac{\partial u}{\partial z} - \frac{\partial w}{\partial x} \right)_{0} \left( x - x_{0} \right) \\

\end{array}
\right\}
(9)
 
 \left.
\begin{array}{c} 
u = u_{solid} + u_{def} \\
v = v_{solid} + v_{def} \\
w = w_{solid} + w_{def} \\
\end{array}
\right\}
(9)
 
 \left.
\begin{array}{c} 
u_{def} = \left( \frac{ \partial u}{ \partial x} \right)_{0} \left( x - x_{0} \right) + \frac{1}{2} \left( \frac{ \partial v}{ \partial x} + \frac{ \partial u}{ \partial y} \right)_{0} \left( y - y_{0} \right) + \frac{1}{2} \left( \frac{ \partial u}{ \partial z} + \frac{ \partial w}{ \partial x} \right)_{0} \left( z - z_{0} \right)\\

v_{def} = \frac{1}{2} \left( \frac{ \partial v}{ \partial x} + \frac{ \partial u}{ \partial y} \right)_{0} \left( x - x_{0} \right) 
+ \left( \frac{ \partial v}{ \partial y} \right)_{0} \left( y - y_{0} \right) 
+ \frac{1}{2} \left( \frac{ \partial u}{ \partial z} + \frac{ \partial w}{ \partial x} \right)_{0} \left( z - z_{0} \right)\\

w_{def} = \frac{1}{2} \left( \frac{ \partial u}{ \partial z} + \frac{ \partial w}{ \partial x} \right)_{0} \left( x - x_{0} \right) 
+ \frac{1}{2} \left( \frac{ \partial w}{ \partial y} + \frac{ \partial v}{ \partial z} \right)_{0} \left( y - y_{0} \right)
+ \left( \frac{ \partial w}{ \partial z} \right)_{0} \left( z - z_{0} \right)\\

\end{array}
\right\}
(9)
 
 a
(9)
 
 a
(9)


 
\left.
\begin{array}{c} 
du = \left( \dot{\epsilon}_{x}dx + \dot{\epsilon}_{xy}dy + \dot{\epsilon}_{xz}dz \right) + \left( \eta dz - \zeta dy \right) \\ 
dv = \left( \dot{\epsilon}_{yx}dx + \dot{\epsilon}_{y}dy + \dot{\epsilon}_{yz}dz \right) + \left( \zeta dx - \xi dz \right) \\
dw = \left( \dot{\epsilon}_{zx}dx + \dot{\epsilon}_{zy}dy + \dot{\epsilon}_{z}dz \right) + \left( \xi dy - \eta dx \right) \\
\end{array}
\right\}
(10)


 
\dot{\epsilon}_{ij} \equiv 
\left(
\begin{array}{ccc}
\dot{\epsilon}_{x}  & \dot{\epsilon}_{xy} & \dot{\epsilon}_{xz} \\ 
\dot{\epsilon}_{yx} & \dot{\epsilon}_{y}  & \dot{\epsilon}_{yz} \\
\dot{\epsilon}_{zx} & \dot{\epsilon}_{zy} & \dot{\epsilon}_{z}  \\
\end{array}
\right)	\equiv
(11)
 
\equiv \left(
\begin{array}{ccc} \frac{\partial u}{ \partial x} & \frac{1}{2} \left( \frac{\partial v}{ \partial x} + \frac{\partial u}{ \partial y} \right) & \frac{1}{2} \left( \frac{\partial w}{ \partial x} + \frac{\partial u}{ \partial z} \right) \\	 
\frac{1}{2} \left( \frac{\partial u}{ \partial y} + \frac{\partial v}{ \partial x} \right) & \frac{\partial u}{ \partial x} & \frac{1}{2} \left( \frac{\partial v}{ \partial x} + \frac{\partial u}{ \partial y} \right) \\
\frac{1}{2} \left( \frac{\partial u}{ \partial y} + \frac{\partial v}{ \partial x} \right) & \frac{1}{2} \left( \frac{\partial u}{ \partial y} + \frac{\partial v}{ \partial x} \right) &
\frac{\partial u}{ \partial x} 
\end{array}
\right)
(12)

Pic 3 3 Shlihting.JPG

Pic 3 4 Shlihting.JPG

Pic 3 5 Shlihting.JPG

Pic 3 6 Shlihting.JPG

Newtonian Fluids

Newton came up with the idea of requiring the stress \tau to be linearly proportional to the time rate at which at which strain occurs. Specifically he studied the following problem. There are two flat plates separated by a distance h. The top plate is moved at a velocity V, while the bottom plate is held fixed.

Stress 00.JPG

Newton postulated (since then experimentally verified) that the shear force or shear stress needed to deform the fluid was linearly proportional to the velocity gradient:

 
\tau \propto \frac{V}{h}
(2)

The proportionality factor turned out to be a constant at moderate temperatures, and was called the coefficient of viscosity, \mu. Furthermore, for this particular case, the velocity profile is linear, giving v / h= \partial u / \partial y.

Therefore, Newton postulated:


 
\tau = \mu \frac{\partial u}{\partial y}
(2)

Fluids that have a linear relationship between stress and strain rate are called Newtonian fluids. This is a property of the fluid, not the flow. Water and air are examples of Newtonian fluids, while blood is a non-Newtonian fluid.

Stokes Hypothesis

Stokes extended Newton's idea from simple 1-D flows (where only one component of velocity is present) to multidimensional flows. He developed the following relations, collectively known as Stokes relations

 
\sigma_{x}  = 2 \mu \frac{ \partial u}{ \partial x} + \lambda \left( \frac{ \partial u}{ \partial x} + \frac{ \partial v}{ \partial y} + \frac{ \partial w}{ \partial z}  \right)
(12)
 
\sigma_{y}  = 2 \mu \frac{ \partial v}{ \partial y} + \lambda \left( \frac{ \partial u}{ \partial x} + \frac{ \partial v}{ \partial y} + \frac{ \partial w}{ \partial z}  \right)
(12)
 
\sigma_{z}  = 2 \mu \frac{ \partial w}{{\partial}z} + \lambda \left( \frac{ \partial u}{ \partial x} + \frac{ \partial v}{ \partial y} + \frac{ \partial w}{ \partial z}  \right)
(12)

substitution

 
\left.
\begin{array}{c} 
\rho \frac{du}{dt} = \rho F_{x}- \frac{\partial p}{ \partial x} + 2 \frac{\partial}{ \partial x} \left( \mu \frac{ \partial u }{ \partial x } \right) + \frac{\partial }{ \partial y} \left[  \mu \left( \frac{\partial u}{ \partial y} + \frac{\partial v}{ \partial x} \right)\right] + \frac{\partial }{ \partial z} \left[  \mu \left( \frac{\partial u}{ \partial z} + \frac{\partial w}{ \partial x} \right)\right] - \frac{2}{3} \frac{\partial}{\partial x}\left( \mu div \textbf{V}\right)\\
\rho \frac{dv}{dt} = \rho F_{y} - \frac{\partial p}{ \partial y} + \frac{\partial }{ \partial x} \left[  \mu \left( \frac{\partial u}{ \partial y} + \frac{\partial v}{ \partial x} \right)\right] + 2 \frac{\partial}{ \partial y} \left( \mu \frac{ \partial v }{ \partial y } \right) + \frac{\partial }{ \partial z} \left[  \mu \left( \frac{\partial v}{ \partial z} + \frac{\partial w}{ \partial y} \right)\right] - \frac{2}{3} \frac{\partial }{ \partial y} \left( \mu div \textbf{V} \right)  \\
\rho \frac{dw}{dt} = \rho F_{z} - \frac{\partial p}{ \partial z}+ \frac{\partial }{ \partial x} \left[  \mu \left( \frac{\partial u}{ \partial z} + \frac{\partial w}{ \partial x} \right)\right] + \frac{\partial }{ \partial y} \left[  \mu \left( \frac{\partial v}{ \partial z} + \frac{\partial w}{ \partial y} \right)\right] + 2 \frac{\partial}{ \partial z} \left( \mu \frac{ \partial w }{ \partial z } \right) - \frac{2}{3} \frac{\partial }{ \partial z} ( \mu div \textbf{V} ) \\
\end{array}
\right\}
(12)

Derivation of the energy equation

Equations

The instantaneous continuity equation (1), momentum equation (2) and energy equation (3) for a compressible fluid can be written as:


\frac{\partial \rho}{\partial t} +
\frac{\partial}{\partial x_j}\left[ \rho u_j \right] = 0
(1)

\frac{\partial}{\partial t}\left( \rho u_i \right) +
\frac{\partial}{\partial x_j}
\left[ \rho u_i u_j + p \delta_{ij} - \tau_{ji} \right] = 0, \quad i=1,2,3
(2)

\frac{\partial}{\partial t}\left( \rho e_0 \right) +
\frac{\partial}{\partial x_j}
\left[ \rho u_j e_0 + u_j p + q_j - u_i \tau_{ij} \right] = 0
(3)

For a Newtonian fluid, assuming Stokes Law for mono-atomic gases, the viscous stress is given by:


\tau_{ij} = 2 \mu S_{ij}^*
(4)

Where the trace-less viscous strain-rate is defined by:


S_{ij}^* \equiv
 \frac{1}{2} \left(\frac{\partial u_i}{\partial x_j} +
                \frac{\partial u_j}{\partial x_i} \right) -
                \frac{1}{3} \frac{\partial u_k}{\partial x_k} \delta_{ij}
(5)

The heat-flux, q_j, is given by Fourier's law:


q_j = -\lambda \frac{\partial T}{\partial x_j}
    \equiv -C_p \frac{\mu}{Pr} \frac{\partial T}{\partial x_j}
(6)

Where the laminar Prandtl number Pr is defined by:


Pr \equiv \frac{C_p \mu}{\lambda}
(7)

To close these equations it is also necessary to specify an equation of state. Assuming a calorically perfect gas the following relations are valid:


\gamma \equiv \frac{C_p}{C_v} ~~,~~
p = \rho R T ~~,~~
e = C_v T ~~,~~
C_p - C_v = R
(8)

Where \gamma, C_p, C_v and R are constant.

The total energy e_0 is defined by:


e_0 \equiv e + \frac{u_k u_k}{2}
(9)

Note that the corresponding expression (15) for Favre averaged turbulent flows contains an extra term related to the turbulent energy.

Equations (1)-(9), supplemented with gas data for \gamma, Pr, \mu and perhaps R, form a closed set of partial differential equations, and need only be complemented with boundary conditions.

Boundary conditions

Existence and uniqueness

The existence and uniqueness of classical solutions of the 3-D Navier-Stokes equations is still an open mathematical problem and is one of the Clay Institute's Millenium Problems. In 2-D, existence and uniqueness of regular solutions for all time have been shown by Jean Leray in 1933. He also gave the theory for the existence of weak solutions in the 3-D case while uniqueness is still an open question.

However, recently, Prof. Penny Smith submitted a paper, Immortal Smooth Solution of the Three Space Dimensional Navier-Stokes System, which may provide a proof of the existence and uniqueness.(It has a serious flaw, so the author withdrew the paper)

References

C. L. M. H. Navier (1822), "Memoire sur les lois du mouvement des fluides", Mem. Acad. Sci. Inst. France, 6, 389-440.

External links

My wiki