# Navier-Stokes equations

(Difference between revisions)
 Revision as of 19:57, 28 July 2010 (view source) (→Exact solutions of the Navier–Stokes equations)← Older edit Revision as of 20:13, 28 July 2010 (view source)Newer edit → Line 1: Line 1: - The '''Navier–Stokes equations''', named after [[Claude-Louis Navier]] and [[Sir George Stokes, 1st Baronet|George Gabriel Stokes]], describe the motion of [[fluid]] substances. These equations arise from applying [[Newton's second law]] to [[Fluid dynamics|fluid motion]], together with the assumption that the fluid [[stress (physics)|stress]] is the sum of a [[diffusion|diffusing]] [[viscosity|viscous]] term (proportional to the gradient of velocity), plus a [[pressure]] term. + The '''Navier–Stokes equations''', named after Claude-Louis Navier and George Gabriel Stokes, describe the motion of fluid substances. These equations arise from applying Newton's second law to fluid motion, together with the assumption that the fluid stress is the sum of a diffusion viscous term (proportional to the gradient of velocity), plus a pressure term. - The equations are useful because they describe the physics of many things of academic and economic interest. They may be used to [[model (abstract)|model]] the [[weather]], [[ocean current]]s, water flow in a pipe, air flow around a [[airfoil|wing]], and motion of [[star]]s inside a [[galaxy]]. 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 equations are useful because they describe the physics of many things of academic and economic interest. They may be used to model the weather, ocean currents, water flow in a pipe, air flow around a wing, and motion of stars inside a galaxy. 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. Somewhat surprisingly, given their wide range of practical uses, mathematicians have not yet proven that in three dimensions solutions always exist ([[Existence theorem|existence]]), or that if they do exist, then they do not contain any singularity (or infinity or discontinuity) (smoothness). These are called the [[Navier–Stokes existence and smoothness]] problems.  The [[Clay Mathematics Institute]] has called this one of the [[Millennium Prize Problems|seven most important open problems in mathematics]] and has offered a US$1,000,000 prize for a solution or a counter-example.{{Citation + The Navier–Stokes equations are also of great interest in a purely mathematical sense. Somewhat surprisingly, given their wide range of practical uses, mathematicians have not yet proven that in three dimensions solutions always exist (existence), or that if they do exist, then they do not contain any singularity (or infinity or discontinuity) (smoothness). 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,000,000 prize for a solution or a counter-example.{{Citation | url = http://www.claymath.org/millennium/ | url = http://www.claymath.org/millennium/ | title = Millennium Prize Problems | title = Millennium Prize Problems - | publisher = [[Clay Mathematics Institute]] + | publisher = Clay Mathematics Institute | accessdate = 2009-04-11 | accessdate = 2009-04-11 }} }} - The Navier–Stokes equations dictate not [[position (vector)|position]] but rather [[velocity]]. A solution of the Navier–Stokes equations is called a velocity field or flow field, which is a description of the velocity of the fluid at a given point in space and time. Once the velocity field is solved for, other quantities of interest (such as flow rate or drag force) may be found. This is different from what one normally sees in [[classical mechanics]], where solutions are typically trajectories of position of a [[wiktionary:Particle|particle]] or deflection of a [[Continuum (theory)|continuum]]. Studying velocity instead of position makes more sense for a fluid; however for visualization purposes one can compute various [[Streamlines, streaklines, and pathlines|trajectories]]. + The Navier–Stokes equations dictate not position but rather velocity. A solution of the Navier–Stokes equations is called a velocity field or flow field, which is a description of the velocity of the fluid at a given point in space and time. Once the velocity field is solved for, other quantities of interest (such as flow rate or drag force) may be found. 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. ==Properties== ==Properties== ===Nonlinearity=== ===Nonlinearity=== - The Navier–Stokes equations are [[nonlinear]] [[partial differential equations]] in almost every real situation. 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 Navier–Stokes equations are nonlinear partial differential equations in almost every real situation. 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. + 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. ===Turbulence=== ===Turbulence=== - [[Turbulence]] is the time dependent [[Chaos theory|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. + 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. - 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 (see [[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 (such as the k-ε model), are used in practical [[computational fluid dynamics]] (CFD) applications when modeling turbulent flows. Another technique for solving numerically the Navier–Stokes equation is the Large-eddy simulation (LES). This approach is computationally more expensive than the RANS method (in time and computer memory), but produces better results since the larger turbulent scales are explicitly resolved. + 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 (see 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 (such as the k-ε model), are used in practical computational fluid dynamics (CFD) applications when modeling turbulent flows. Another technique for solving numerically the Navier–Stokes equation is the Large-eddy simulation (LES). This approach is computationally more expensive than the RANS method (in time and computer memory), but produces better results since the larger turbulent scales are explicitly resolved. ===Applicability=== ===Applicability=== Line 29: Line 29: 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. 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 mechanics|Continuum]] not moving at [[Special relativity#Relativistic mechanics|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. Depending on the [[Knudsen number]] of the problem, [[statistical mechanics]] or possibly even [[molecular dynamics]] may be a more appropriate approach. + The Navier–Stokes equations assume that the fluid being studied is a Continuum 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. Depending on the Knudsen number of the problem, statistical mechanics or possibly even molecular dynamics may be a more appropriate approach. - Another limitation is very 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 which are an area of current research. For this reason, these equations are usually written for [[Newtonian fluid]]s. Studying such fluids is "simple" because the viscosity model ends up being [[linear]]; truly general models for the flow of other kinds of fluids (such as blood) do not, as of 2010, exist. + Another limitation is very 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 which are an area of current research. For this reason, these equations are usually written for Newtonian fluids. Studying such fluids is "simple" because the viscosity model ends up being linear; truly general models for the flow of other kinds of fluids (such as blood) do not, as of 2010, exist. ==Derivation and description== ==Derivation and description== Line 37: Line 37: {{Main|Derivation of the Navier–Stokes equations}} {{Main|Derivation of the Navier–Stokes equations}} - The derivation of the Navier–Stokes equations begins with an application of [[Newton's second law]]: conservation of momentum (often alongside mass and energy conservation) being written for an arbitrary portion of the fluid. In an [[inertial frame of reference]], the general form of the equations of fluid motion is:Batchelor (1967) pp. 137 & 142. + The derivation of the Navier–Stokes equations begins with an application of Newton's second law: conservation of momentum (often alongside mass and energy conservation) being written for an arbitrary portion of the fluid. In an inertial frame of reference, the general form of the equations of fluid motion is:Batchelor (1967) pp. 137 & 142. :$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v} \right) = -\nabla p + \nabla \cdot\mathbb{T} + \mathbf{f},$ :$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v} \right) = -\nabla p + \nabla \cdot\mathbb{T} + \mathbf{f},$ - where $\mathbf{v}$ is the flow velocity, $\rho$ is the fluid density, ''p'' is the pressure, $\mathbb{T}$ is the ([[Stress (physics)#Stress deviator tensor|deviatoric]]) stress [[tensor field|tensor]], and $\mathbf{f}$ represents [[body force]]s (per unit volume) acting on the fluid and $\nabla$ is the [[del]] operator. This is a statement of the conservation of momentum in a fluid and it is an application of [[Newton's second law]] to a [[Continuum mechanics|Continuum]]; in fact this equation is applicable to any non-relativistic continuum and is known as the [[Cauchy momentum equation]]. + where $\mathbf{v}$ is the flow velocity, $\rho$ is the fluid density, ''p'' is the pressure, $\mathbb{T}$ is the (deviatoric) stress tensor, and $\mathbf{f}$ represents body forces (per unit volume) acting on the fluid and $\nabla$ is the del operator. This is a statement of the conservation of momentum in a fluid and it is an application of Newton's second law to a Continuum; in fact this equation is applicable to any non-relativistic continuum and is known as the Cauchy momentum equation. - This equation is often written using the [[substantive derivative]] ''D'''''v'''/''Dt'', making it more apparent that this is a statement of Newton's second law: + This equation is often written using the[substantive derivative ''D'''''v'''/''Dt'', making it more apparent that this is a statement of Newton's second law: :$\rho \frac{D \mathbf{v}}{D t} = -\nabla p + \nabla \cdot\mathbb{T} + \mathbf{f}.$ :$\rho \frac{D \mathbf{v}}{D t} = -\nabla p + \nabla \cdot\mathbb{T} + \mathbf{f}.$ - The left side of the equation describes acceleration, and may be composed of time dependent or convective effects (also the effects of non-inertial coordinates if present). The right side of the equation is in effect a summation of [[body force]]s (such as gravity) and divergence of [[Stress (physics)|stress]] (pressure and shear stress). + The left side of the equation describes acceleration, and may be composed of time dependent or convective effects (also the effects of non-inertial coordinates if present). The right side of the equation is in effect a summation of body forces (such as gravity) and divergence of stress (pressure and shear stress). ===Convective acceleration=== ===Convective acceleration=== Line 53: Line 53: [[Image:ConvectiveAcceleration.png|thumb|An example of convection. Though the flow may be steady (time independent), the fluid decelerates as it moves down the diverging duct (assuming incompressible flow), hence there is an acceleration happening over position.]] [[Image:ConvectiveAcceleration.png|thumb|An example of convection. Though the flow may be steady (time independent), the fluid decelerates as it moves down the diverging duct (assuming incompressible flow), hence there is an acceleration happening over position.]] - A very significant feature of the Navier–Stokes equations is the presence of [[Convection|convective acceleration]]: the effect of time independent acceleration of a fluid with respect to space. While individual fluid particles are indeed experiencing time dependent acceleration, the convective acceleration of the flow field is a spatial effect, one example being fluid speeding up in a nozzle. Convective acceleration is represented by the [[nonlinear]] quantity: + A very significant feature of the Navier–Stokes equations is the presence of convective acceleration: the effect of time independent acceleration of a fluid with respect to space. While individual fluid particles are indeed experiencing time dependent acceleration, the convective acceleration of the flow field is a spatial effect, one example being fluid speeding up in a nozzle. Convective acceleration is represented by the nonlinear quantity: :$\mathbf{v} \cdot \nabla \mathbf{v},$ :$\mathbf{v} \cdot \nabla \mathbf{v},$ - which may be interpreted either as  $(\mathbf{v}\cdot\nabla)\,\mathbf{v}$ or as $\mathbf{v}\cdot(\nabla\mathbf{v}),$ with $\nabla \mathbf{v}$ the [[tensor derivative]] of the velocity vector $\mathbf{v}.$ Both interpretations give the same result, independent of the coordinate system — provided $\nabla$ is interpreted as the [[covariant derivative]].{{Citation | last=Emanuel | first=G. | title=Analytical fluid dynamics | publisher=CRC Press | year=2001 | edition=second | isbn=0849391148 }} pp. 6–7. + which may be interpreted either as  $(\mathbf{v}\cdot\nabla)\,\mathbf{v}$ or as $\mathbf{v}\cdot(\nabla\mathbf{v}),$ with $\nabla \mathbf{v}$ the tensor derivative of the velocity vector $\mathbf{v}.$ Both interpretations give the same result, independent of the coordinate system — provided $\nabla$ is interpreted as the covariant derivative.{{Citation | last=Emanuel | first=G. | title=Analytical fluid dynamics | publisher=CRC Press | year=2001 | edition=second | isbn=0849391148 }} pp. 6–7. ====Interpretation as (v·∇)v==== ====Interpretation as (v·∇)v==== Line 65: Line 65: :$(\mathbf{v} \cdot \nabla) \mathbf{v},$ :$(\mathbf{v} \cdot \nabla) \mathbf{v},$ - where the [[advection|advection operator]] $\mathbf{v} \cdot \nabla$ is used. Usually this representation is preferred because it is simpler than the one in terms of the tensor derivative $\nabla \mathbf{v}.$ + where the advection operator $\mathbf{v} \cdot \nabla$ is used. Usually this representation is preferred because it is simpler than the one in terms of the tensor derivative $\nabla \mathbf{v}.$ ====Interpretation as v·(∇v)==== ====Interpretation as v·(∇v)==== - Here $\nabla \mathbf{v}$ is the tensor derivative of the velocity vector, equal in Cartesian coordinates to the component by component gradient. The convection term may, by a [[vector calculus identities#Vector dot product|vector calculus identity]], be expressed without a tensor derivative:See Batchelor (1967), §3.5, p. 160.{{Citation + Here $\nabla \mathbf{v}$ is the tensor derivative of the velocity vector, equal in Cartesian coordinates to the component by component gradient. The convection term may, by a vector calculus identity, be expressed without a tensor derivative:See Batchelor (1967), §3.5, p. 160.{{Citation | url = http://mathworld.wolfram.com/ConvectiveDerivative.html | url = http://mathworld.wolfram.com/ConvectiveDerivative.html | title = Convective Derivative | title = Convective Derivative - | author = [[Eric W. Weisstein]] + | author = Eric W. Weisstein - | publisher = [[MathWorld]] + | publisher = MathWorld | accessdate = 2008-05-20 | accessdate = 2008-05-20 }} }} Line 78: Line 78: :$\mathbf{v} \cdot \nabla \mathbf{v} = \nabla \left( \frac{\|\mathbf{v}\|^2}{2} \right) + \left( \nabla \times \mathbf{v} \right) \times \mathbf{v}.$ :$\mathbf{v} \cdot \nabla \mathbf{v} = \nabla \left( \frac{\|\mathbf{v}\|^2}{2} \right) + \left( \nabla \times \mathbf{v} \right) \times \mathbf{v}.$ - The form has use in irrotational flow, where the [[Curl (mathematics)|curl]] of the velocity (called [[vorticity]]) $\omega=\nabla \times \mathbf{v}$ is equal to zero. + The form has use in irrotational flow, where the curl of the velocity (called vorticity) $\omega=\nabla \times \mathbf{v}$ is equal to zero. - Regardless of what kind of fluid is being dealt with, convective acceleration is a [[nonlinear]] effect. Convective acceleration is present in most flows (exceptions include one-dimensional incompressible flow), but its dynamic effect is disregarded in [[creeping flow]] (also called Stokes flow) . + Regardless of what kind of fluid is being dealt with, convective acceleration is a nonlinear effect. Convective acceleration is present in most flows (exceptions include one-dimensional incompressible flow), but its dynamic effect is disregarded in creeping flow (also called Stokes flow) . ===Stresses=== ===Stresses=== - The effect of [[Stress (physics)|stress]] in the fluid is represented by the $\scriptstyle \nabla p$ and $\scriptstyle \nabla \cdot\mathbb{T}$ terms, these are gradients of surface forces, analogous to stresses in a solid. $\scriptstyle \nabla p$ is called the pressure gradient and arises from the isotropic part of the stress [[tensor]]. This part is given by [[normal stress]]es that turn up in almost all situations, dynamic or not. The anisotropic part of the stress tensor gives rise to $\scriptstyle \nabla \cdot\mathbb{T}$, which conventionally describes viscous forces; for incompressible flow, this is only a shear effect. Thus, $\scriptstyle \mathbb{T}$ is the [[deviatoric stress tensor]], and the stress tensor is equal to:Batchelor (1967) p. 142. + The effect of stress in the fluid is represented by the $\scriptstyle \nabla p$ and $\scriptstyle \nabla \cdot\mathbb{T}$ terms, these are gradients of surface forces, analogous to stresses in a solid. $\scriptstyle \nabla p$ is called the pressure gradient and arises from the isotropic part of the stress tensor. This part is given by normal stresses that turn up in almost all situations, dynamic or not. The anisotropic part of the stress tensor gives rise to $\scriptstyle \nabla \cdot\mathbb{T}$, which conventionally describes viscous forces; for incompressible flow, this is only a shear effect. Thus, $\scriptstyle \mathbb{T}$ is the deviatoric stress tensor, and the stress tensor is equal to:Batchelor (1967) p. 142. :$\sigma = -p\mathbb{I} + \mathbb{T}$ :$\sigma = -p\mathbb{I} + \mathbb{T}$ - where $\scriptstyle \mathbb{I}$ is the 3×3 [[identity matrix]]. Interestingly, only the ''gradient'' of pressure matters, not the pressure itself. The effect of the pressure gradient is that fluid flows from high pressure to low pressure. + where $\scriptstyle \mathbb{I}$ is the 3×3 identity matrix. Interestingly, only the ''gradient'' of pressure matters, not the pressure itself. The effect of the pressure gradient is that fluid flows from high pressure to low pressure. The stress terms ''p'' and $\scriptstyle \mathbb{T}$ are yet unknown, so the general form of the equations of motion is not usable to solve problems. Besides the equations of motion—Newton's second law—a force model is needed relating the stresses to the fluid motion.{{citation The stress terms ''p'' and $\scriptstyle \mathbb{T}$ are yet unknown, so the general form of the equations of motion is not usable to solve problems. Besides the equations of motion—Newton's second law—a force model is needed relating the stresses to the fluid motion.{{citation Line 101: Line 101: | authorlink3=M. Sands | authorlink3=M. Sands | year=1963 | year=1963 - | title=[[The Feynman Lectures on Physics]] + | title=The Feynman Lectures on Physics | isbn=0-201-02116-1 | isbn=0-201-02116-1 | publisher=Addison-Wesley | publisher=Addison-Wesley Line 108: Line 108: The Navier–Stokes equations result from the following assumptions on the deviatoric stress tensor $\scriptstyle \mathbb{T}$:Batchelor (1967) pp. 142–148. The Navier–Stokes equations result from the following assumptions on the deviatoric stress tensor $\scriptstyle \mathbb{T}$:Batchelor (1967) pp. 142–148. - *the deviatoric stress vanishes for a fluid at rest, and – by [[Galilean invariance]] – also does not depend directly on the flow velocity itself, but only on spatial derivatives of the flow velocity + *the deviatoric stress vanishes for a fluid at rest, and – by Galilean invariance – also does not depend directly on the flow velocity itself, but only on spatial derivatives of the flow velocity *in the Navier–Stokes equations, the deviatoric stress is expressed as the product of the tensor gradient $\scriptstyle \nabla\mathbf{v}$ of the flow velocity with a viscosity tensor $\scriptstyle \mathbb{A}$, i.e. : $\mathbb{T} = \mathbb{A} \left( \nabla\mathbf{v} \right)$ *in the Navier–Stokes equations, the deviatoric stress is expressed as the product of the tensor gradient $\scriptstyle \nabla\mathbf{v}$ of the flow velocity with a viscosity tensor $\scriptstyle \mathbb{A}$, i.e. : $\mathbb{T} = \mathbb{A} \left( \nabla\mathbf{v} \right)$ - *the fluid is assumed to be [[isotropic]], as valid for gases and simple liquids, and consequently $\scriptstyle \mathbb{A}$ is an isotropic tensor; furthermore, since the deviatoric stress tensor is symmetric, it turns out that it can be expressed in terms of two scalar [[dynamic viscosity|dynamic viscosities]] ''μ'' and ''μ''”: $\mathbb{T} = 2 \mu \mathbb{E} + \mu'' \Delta \mathbb{I},$ where $\mathbb{E}=\tfrac12 \left( \nabla\mathbf{v} \right) + \tfrac12 \left( \nabla\mathbf{v} \right)^\text{T}$ is the rate-of-strain tensor and $\Delta = \nabla\cdot\mathbf{v}$ is the rate of expansion of the flow + *the fluid is assumed to be isotropic, as valid for gases and simple liquids, and consequently $\scriptstyle \mathbb{A}$ is an isotropic tensor; furthermore, since the deviatoric stress tensor is symmetric, it turns out that it can be expressed in terms of two scalar dynamic viscosities ''μ'' and ''μ''”: $\mathbb{T} = 2 \mu \mathbb{E} + \mu'' \Delta \mathbb{I},$ where $\mathbb{E}=\tfrac12 \left( \nabla\mathbf{v} \right) + \tfrac12 \left( \nabla\mathbf{v} \right)^\text{T}$ is the rate-of-strain tensor and $\Delta = \nabla\cdot\mathbf{v}$ is the rate of expansion of the flow - *the deviatoric stress tensor has zero [[trace (linear algebra)|trace]], so for a three-dimensional flow 2''μ'' + 3''μ''” = 0 + *the deviatoric stress tensor has zero trace, so for a three-dimensional flow 2''μ'' + 3''μ''” = 0 As a result, in the Navier–Stokes equations the deviatoric stress tensor has the following form: As a result, in the Navier–Stokes equations the deviatoric stress tensor has the following form: :$\mathbb{T} = 2 \mu \left( \mathbb{E} - \tfrac13 \Delta \mathbb{I} \right),$ :$\mathbb{T} = 2 \mu \left( \mathbb{E} - \tfrac13 \Delta \mathbb{I} \right),$ - with the quantity between brackets the non-isotropic part of the rate-of-strain tensor $\scriptstyle \mathbb{E}.$ The dynamic viscosity ''μ'' does not need to be constant – in general it depends on conditions like temperature and pressure, and in [[turbulence]] modelling the concept of [[eddy viscosity]] is used to approximate the average deviatoric stress. + with the quantity between brackets the non-isotropic part of the rate-of-strain tensor $\scriptstyle \mathbb{E}.$ The dynamic viscosity ''μ'' does not need to be constant – in general it depends on conditions like temperature and pressure, and in turbulence modelling the concept of eddy viscosity is used to approximate the average deviatoric stress. - The pressure ''p'' is modelled by use of an [[equation of state]].Batchelor (1967) p. 165. For the special case of an incompressible flow, the pressure constrains the flow in such a way that the volume of [[fluid element]]s is constant: [[isochoric process|isochoric flow]] resulting in a [[solenoidal]] velocity field with $\scriptstyle \nabla\cdot\mathbf{v}=0.$Batchelor (1967) p. 75. + The pressure ''p'' is modelled by use of an equation of state.Batchelor (1967) p. 165. For the special case of an incompressible flow, the pressure constrains the flow in such a way that the volume offluid elements is constant: isochoric flow resulting in a solenoidal velocity field with $\scriptstyle \nabla\cdot\mathbf{v}=0.$Batchelor (1967) p. 75. ===Other forces=== ===Other forces=== - The vector field $\scriptstyle \mathbf{f}$ represents "other" ([[body force]]) forces. Typically this is only [[gravity]], but may include other fields (such as electromagnetic). In a non-inertial coordinate system, other "forces" such as that associated with [[Fictitious force|rotating coordinates]] may be inserted. + The vector field $\scriptstyle \mathbf{f}$ represents "other" (body force) forces. Typically this is only gravity, but may include other fields (such as electromagnetic). In a non-inertial coordinate system, other "forces" such as that associated with rotating coordinate] may be inserted. Often, these forces may be represented as the gradient of some scalar quantity. Gravity in the $z$ direction, for example, is the gradient of $-\rho g z$. Since pressure shows up only as a gradient, this implies that solving a problem without any such body force can be mended to include the body force by modifying pressure. Often, these forces may be represented as the gradient of some scalar quantity. Gravity in the $z$ direction, for example, is the gradient of $-\rho g z$. Since pressure shows up only as a gradient, this implies that solving a problem without any such body force can be mended to include the body force by modifying pressure. Line 128: Line 128: ===Other equations=== ===Other equations=== - The Navier–Stokes equations are strictly a statement of the conservation of momentum. In order to fully describe fluid flow, more information is needed (how much depends on the assumptions made), this may include boundary data ([[no-slip condition|no-slip]], [[capillary surface]], etc), the conservation of mass, the conservation of energy, and/or an [[equation of state]]. + The Navier–Stokes equations are strictly a statement of the conservation of momentum. In order to fully describe fluid flow, more information is needed (how much depends on the assumptions made), this may include boundary data (no-slip, capillary surface, etc), the conservation of mass, the conservation of energy, and/or an equation of state. - 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: + 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: :$\frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \mathbf{v}) = 0$ :$\frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \mathbf{v}) = 0$ - or, using the [[substantive derivative]]: + or, using the substantive derivative: :$\frac{D\rho}{Dt} + \rho (\nabla \cdot \mathbf{v}) = 0.$ :$\frac{D\rho}{Dt} + \rho (\nabla \cdot \mathbf{v}) = 0.$ Line 140: Line 140: ==Incompressible flow of Newtonian fluids== ==Incompressible flow of Newtonian fluids== - A simplification of the resulting flow equations is obtained when considering an [[incompressible flow]] of a [[Newtonian fluid]]. The assumption of incompressibility rules out the possibility of [[sound]] or [[shock wave]]s to occur; so this simplification is invalid if these phenomena are important. The incompressible flow assumption typically holds well even when dealing with a "compressible" fluid — such as air at room temperature — at low [[Mach number]]s (even when flowing up to about [[Mach number|Mach]] 0.3). Taking the incompressible flow assumption into account and assuming constant viscosity, the Navier–Stokes equations will read, in vector form:See Acheson (1990). + A simplification of the resulting flow equations is obtained when considering an incompressible flow of a Newtonian fluid. The assumption of incompressibility rules out the possibility of sound or shock waves to occur; so this simplification is invalid if these phenomena are important. The incompressible flow assumption typically holds well even when dealing with a "compressible" fluid — such as air at room temperature — at low Mach numbers (even when flowing up to about Mach 0.3). Taking the incompressible flow assumption into account and assuming constant viscosity, the Navier–Stokes equations will read, in vector form:See Acheson (1990). :$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \mu \nabla^2 \mathbf{v} + \mathbf{f}.$ :$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \mu \nabla^2 \mathbf{v} + \mathbf{f}.$ - Here '''f''' represents "other" [[body force]]s (forces per unit volume), such as [[gravity]] or [[centrifugal force]].  The [[shear stress]] term $\scriptstyle \nabla \mathbb{T}$ becomes the useful quantity $\scriptstyle \mu \nabla^2 \mathbf{v}$ when the fluid is assumed incompressible and [[Newtonian fluid|Newtonian]], where $\scriptstyle \mu$ is the dynamic viscosity.Batchelor (1967) pp. 21 & 147. + Here '''f''' represents "other" body forces (forces per unit volume), such as gravity or centrifugal force.  The shear stress term $\scriptstyle \nabla \mathbb{T}$ becomes the useful quantity $\scriptstyle \mu \nabla^2 \mathbf{v}$ when the fluid is assumed incompressible and Newtonian, where $\scriptstyle \mu$ is the dynamic viscosity.Batchelor (1967) pp. 21 & 147. - It's well worth observing the meaning of each term (compare to the [[Cauchy momentum equation]]): + It's well worth observing the meaning of each term (compare to the Cauchy momentum equation): :$:[itex] Line 174: Line 174:$ [/itex] - Note that only the convective terms are nonlinear for incompressible Newtonian flow. The convective acceleration is an acceleration caused by a (possibly steady) change in velocity over ''position'', for example the speeding up of fluid entering a converging [[nozzle]]. Though individual fluid particles are being accelerated and thus are under unsteady motion, the flow field (a velocity distribution) will not necessarily be time dependent. + Note that only the convective terms are nonlinear for incompressible Newtonian flow. The convective acceleration is an acceleration caused by a (possibly steady) change in velocity over ''position'', for example the speeding up of fluid entering a converging nozzle. Though individual fluid particles are being accelerated and thus are under unsteady motion, the flow field (a velocity distribution) will not necessarily be time dependent. - Another important observation is that the viscosity is represented by the [[vector Laplacian]] of the velocity field (interpreted here as the difference between the velocity at a point and the mean velocity in a small volume around). This implies that Newtonian viscosity is '''diffusion of momentum''', this works in much the same way as the [[diffusion]] of heat seen in the [[heat equation]] (which also involves the Laplacian). + Another important observation is that the viscosity is represented by the vector Laplacian of the velocity field (interpreted here as the difference between the velocity at a point and the mean velocity in a small volume around). This implies that Newtonian viscosity is '''diffusion of momentum''', this works in much the same way as the diffusion of heat seen in the heat equation (which also involves the Laplacian). If temperature effects are also neglected, the only "other" equation (apart from initial/boundary conditions) needed is the mass continuity equation. Under the incompressible assumption, density is a constant and it follows that the equation will simplify to: If temperature effects are also neglected, the only "other" equation (apart from initial/boundary conditions) needed is the mass continuity equation. Under the incompressible assumption, density is a constant and it follows that the equation will simplify to: Line 182: Line 182: :$\nabla \cdot \mathbf{v} = 0.$ :$\nabla \cdot \mathbf{v} = 0.$ - This is more specifically a statement of the conservation of volume (see [[divergence]]). + This is more specifically a statement of the conservation of volume (see divergence). - These equations are commonly used in 3 coordinates systems: [[Cartesian coordinate system|Cartesian]], [[Cylindrical coordinate system|cylindrical]], and [[Spherical coordinate system|spherical]]. While the Cartesian equations seem to follow directly from the vector equation above, the vector form of the  Navier–Stokes equation involves some [[tensor calculus]] which means that writing it in other coordinate systems is not as simple as doing so for scalar equations (such as the [[heat equation]]). + These equations are commonly used in 3 coordinates systems: Cartesian, cylindrical, and spherical. While the Cartesian equations seem to follow directly from the vector equation above, the vector form of the  Navier–Stokes equation involves some tensor calculus which means that writing it in other coordinate systems is not as simple as doing so for scalar equations (such as the heat equation). ===Cartesian coordinates=== ===Cartesian coordinates=== Line 209: Line 209: :${\partial u \over \partial x} + {\partial v \over \partial y} + {\partial w \over \partial z} = 0.$ :${\partial u \over \partial x} + {\partial v \over \partial y} + {\partial w \over \partial z} = 0.$ - The velocity components (the dependent variables to be solved for) are typically named $u$, $v$, $w$. This system of four equations comprises the most commonly used and studied form. Though comparatively more compact than other representations, this is still a [[nonlinear]] system of [[partial differential equations]] for which solutions are difficult to obtain. + The velocity components (the dependent variables to be solved for) are typically named $u$, $v$, $w$. This system of four equations comprises the most commonly used and studied form. Though comparatively more compact than other representations, this is still a nonlinear system of partial differential equations for which solutions are difficult to obtain. ===Cylindrical coordinates=== ===Cylindrical coordinates=== Line 249: Line 249: ===Spherical coordinates=== ===Spherical coordinates=== - In [[spherical coordinates]], the $r$, $\theta$, and $\phi$ momentum equations are (note the convention used: $\theta$ is [[colatitude]]{{Citation + In spherical coordinates, the $r$, $\theta$, and $\phi$ momentum equations are (note the convention used: $\theta$ is colatitude{{Citation | url = http://mathworld.wolfram.com/SphericalCoordinates.html | url = http://mathworld.wolfram.com/SphericalCoordinates.html | title = Spherical Coordinates | title = Spherical Coordinates - | author = [[Eric W. Weisstein]] + | author = Eric W. Weisstein - | publisher = [[MathWorld]] + | publisher = MathWorld | date = 2005-10-26 | date = 2005-10-26 | accessdate = 2008-01-22 | accessdate = 2008-01-22 Line 302: Line 302: ===Stream function formulation=== ===Stream function formulation=== - Taking the [[Curl (mathematics)|curl]] of the Navier–Stokes equation results in the elimination of pressure. This is especially easy to see if 2D Cartesian flow is assumed ($w = 0$ and no dependence of anything on $z$), where the equations reduce to: + 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 ($w = 0$ and no dependence of anything on $z$), where the equations reduce to: :$\rho \left(\frac{\partial u}{\partial t} + u \frac{\partial u}{\partial x} + v \frac{\partial u}{\partial y}\right) = -\frac{\partial p}{\partial x} + \mu \left(\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2}\right) + \rho g_x,$ :$\rho \left(\frac{\partial u}{\partial t} + u \frac{\partial u}{\partial x} + v \frac{\partial u}{\partial y}\right) = -\frac{\partial p}{\partial x} + \mu \left(\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2}\right) + \rho g_x,$ Line 308: Line 308: :$\rho \left(\frac{\partial v}{\partial t} + u \frac{\partial v}{\partial x} + v \frac{\partial v}{\partial y}\right) = -\frac{\partial p}{\partial y} + \mu \left(\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2}\right) + \rho g_y.$ :$\rho \left(\frac{\partial v}{\partial t} + u \frac{\partial v}{\partial x} + v \frac{\partial v}{\partial y}\right) = -\frac{\partial p}{\partial y} + \mu \left(\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2}\right) + \rho g_y.$ - Differentiating the first with respect to $y$, the second with respect to $x$ and subtracting the resulting equations will eliminate pressure and any {{dn|Potential|potential}} force. Defining the [[stream function]] $\psi$ through + Differentiating the first with respect to $y$, the second with respect to $x$ and subtracting the resulting equations will eliminate pressure and any {{dn|Potential|potential}} force. Defining the stream function $\psi$ through :$u = \frac{\partial \psi}{\partial y} \quad ; \quad v = -\frac{\partial \psi}{\partial x}$ :$u = \frac{\partial \psi}{\partial y} \quad ; \quad v = -\frac{\partial \psi}{\partial x}$ Line 316: Line 316: :$\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,$ :$\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 $\nabla^4$ is the (2D) [[biharmonic operator]] and $\nu$ is the [[kinematic viscosity]], $\nu=\frac{\mu}{\rho}$. We can also express this compactly using the [[Jacobian matrix and determinant|Jacobian determinant]]: + where $\nabla^4$ is the (2D) biharmonic operator and $\nu$ is the kinematic viscosity, $\nu=\frac{\mu}{\rho}$. We can also express this compactly using the Jacobian determinant: :$\frac{\partial}{\partial t}\left(\nabla^2 \psi\right) + \frac{\partial\left(\psi, \nabla^2\psi \right)}{\partial\left(y,x\right)} = \nu \nabla^4 \psi.$ :$\frac{\partial}{\partial t}\left(\nabla^2 \psi\right) + \frac{\partial\left(\psi, \nabla^2\psi \right)}{\partial\left(y,x\right)} = \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. + 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 (mathematics)|scalar]] function. + 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. ==Compressible flow of Newtonian fluids== ==Compressible flow of Newtonian fluids== - There are some phenomena that are closely linked with fluid [[compressibility]]. One of the obvious examples is [[sound]]. Description of such phenomena requires more general presentation of the Navier–Stokes equation that takes into account fluid compressibility. If viscosity is assumed a constant, one additional term appears, as shown here:Landau & Lifshitz (1987) pp. 44–45.Batchelor (1967) pp. 147 & 154. + There are some phenomena that are closely linked with fluid compressibility. One of the obvious examples is sound. Description of such phenomena requires more general presentation of the Navier–Stokes equation that takes into account fluid compressibility. If viscosity is assumed a constant, one additional term appears, as shown here:Landau & Lifshitz (1987) pp. 44–45.Batchelor (1967) pp. 147 & 154. :$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \mu \nabla^2 \mathbf{v} + \left( \tfrac13 \mu + \mu^v) \nabla (\nabla \cdot \mathbf{v} \right) + \mathbf{f}$ :$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \mu \nabla^2 \mathbf{v} + \left( \tfrac13 \mu + \mu^v) \nabla (\nabla \cdot \mathbf{v} \right) + \mathbf{f}$ - where $\mu^v$ is the [[volume viscosity]] coefficient, also known as ''second viscosity coefficient'' or ''bulk viscosity''. This additional term disappears for an ''incompressible fluid'', when the [[divergence]] of the flow equals zero. + where $\mu^v$ is the volume viscosity coefficient, also known as ''second viscosity coefficient'' or ''bulk viscosity''. This additional term disappears for an ''incompressible fluid'', when the divergence of the flow equals zero. ==Application to specific problems== ==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]]. + 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 (mathematics)|scale analysis]] to further simplify the problem. For example, after assuming steady, parallel, one dimensional, nonconvective pressure driven flow between parallel plates, the resulting scaled (dimensionless) [[boundary value problem]] is: + 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. For example, after assuming steady, parallel, one dimensional, nonconvective pressure driven flow between parallel plates, the resulting scaled (dimensionless) boundary value problem is: [[Image:NSConvection.png|thumb|400px|Visualization of a) parallel flow and b) radial flow.]] [[Image:NSConvection.png|thumb|400px|Visualization of a) parallel flow and b) radial flow.]] Line 341: Line 341: :$\frac{d^2 u}{d y^2} = -1 \quad ; \quad u(0) = u(1) = 0.$ :$\frac{d^2 u}{d y^2} = -1 \quad ; \quad u(0) = u(1) = 0.$ - The boundary condition is the [[no slip condition]]. This problem is easily solved for the flow field: + The boundary condition is the no slip condition. This problem is easily solved for the flow field: :$u(y) = \frac{y - y^2}{2}.$ :$u(y) = \frac{y - y^2}{2}.$ Line 351: Line 351: :$\frac{d^2 f}{d z^2} + R f^2 = -1 \quad ; \quad f(-1) = f(1) = 0.$ :$\frac{d^2 f}{d z^2} + R f^2 = -1 \quad ; \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 function|implicit]] solution may be found which involves [[elliptic integrals]] and [[Cubic formula|roots of cubic polynomials]]). Issues with the actual existence of solutions arise for R > 1.41 (approximately. This is not the square root of two), the parameter R being the [[Reynolds number]] with appropriately chosen scales. This is an example of flow assumptions losing their applicability, and an example of the difficulty in "high" Reynolds number flows. + 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 the square root of two), the parameter R being the Reynolds number with appropriately chosen scales. This is an example of flow assumptions losing their applicability, and an example of the difficulty in "high" Reynolds number flows. ===Exact solutions of the Navier–Stokes equations=== ===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 [[Hagen-Poiseuille equation|Poiseuille flow]], [[Couette flow]] and the oscillatory [[Stokes boundary layer]]. But also more interesting examples, solutions to the full non-linear equations, exist; for example the [[Taylor–Green vortex]].{{citation + 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 flo] and the oscillatory Stokes boundary layer. But also more interesting examples, solutions to the full non-linear equations, exist; for example the Taylor–Green vortex.{{citation | journal=Annual Review of Fluid Mechanics | journal=Annual Review of Fluid Mechanics | volume=23 | volume=23 Line 379: Line 379: | doi=10.1002/fld.1650190502 | doi=10.1002/fld.1650190502 }} }} - Note that the existence of these exact solutions does not imply they are stable: turbulence may develop at higher [[Reynolds number]]s. + Note that the existence of these exact solutions does not imply they are stable: turbulence may develop at higher Reynolds numbers. - |For example, in the case of an unbounded planar domain with two-dimensional — incompressible and stationary — flow in [[polar coordinates]] $(r,\phi),$ the velocity components $(u_r,u_\phi)$ and pressure $p$ are: + |For example, in the case of an unbounded planar domain with two-dimensional — incompressible and stationary — flow in[polar coordinates $(r,\phi),$ the velocity components $(u_r,u_\phi)$ and pressure $p$ are: :[itex] :[itex]

## Revision as of 20:13, 28 July 2010

The Navier–Stokes equations, named after Claude-Louis Navier and George Gabriel Stokes, describe the motion of fluid substances. These equations arise from applying Newton's second law to fluid motion, together with the assumption that the fluid stress is the sum of a diffusion viscous term (proportional to the gradient of velocity), plus a pressure term.

The equations are useful because they describe the physics of many things of academic and economic interest. They may be used to model the weather, ocean currents, water flow in a pipe, air flow around a wing, and motion of stars inside a galaxy. 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. Somewhat surprisingly, given their wide range of practical uses, mathematicians have not yet proven that in three dimensions solutions always exist (existence), or that if they do exist, then they do not contain any singularity (or infinity or discontinuity) (smoothness). 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,000,000 prize for a solution or a counter-example.[1]

The Navier–Stokes equations dictate not position but rather velocity. A solution of the Navier–Stokes equations is called a velocity field or flow field, which is a description of the velocity of the fluid at a given point in space and time. Once the velocity field is solved for, other quantities of interest (such as flow rate or drag force) may be found. 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.

## Properties

### Nonlinearity

The Navier–Stokes equations are nonlinear partial differential equations in almost every real situation. 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.

### 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.

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 (see 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 (such as the k-ε model), are used in practical computational fluid dynamics (CFD) applications when modeling turbulent flows. Another technique for solving numerically the Navier–Stokes equation is the Large-eddy simulation (LES). This approach is computationally more expensive than the RANS method (in time and computer memory), but produces better results since the larger turbulent scales are explicitly resolved.

### 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 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. Depending on the Knudsen number of the problem, statistical mechanics or possibly even molecular dynamics may be a more appropriate approach.

Another limitation is very 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 which are an area of current research. For this reason, these equations are usually written for Newtonian fluids. Studying such fluids is "simple" because the viscosity model ends up being linear; truly general models for the flow of other kinds of fluids (such as blood) do not, as of 2010, exist.

## Derivation and description

The derivation of the Navier–Stokes equations begins with an application of Newton's second law: conservation of momentum (often alongside mass and energy conservation) being written for an arbitrary portion of the fluid. In an inertial frame of reference, the general form of the equations of fluid motion is:[2]

$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v} \right) = -\nabla p + \nabla \cdot\mathbb{T} + \mathbf{f},$

where $\mathbf{v}$ is the flow velocity, ρ is the fluid density, p is the pressure, $\mathbb{T}$ is the (deviatoric) stress tensor, and $\mathbf{f}$ represents body forces (per unit volume) acting on the fluid and $\nabla$ is the del operator. This is a statement of the conservation of momentum in a fluid and it is an application of Newton's second law to a Continuum; in fact this equation is applicable to any non-relativistic continuum and is known as the Cauchy momentum equation.

This equation is often written using the[substantive derivative Dv/Dt, making it more apparent that this is a statement of Newton's second law:

$\rho \frac{D \mathbf{v}}{D t} = -\nabla p + \nabla \cdot\mathbb{T} + \mathbf{f}.$

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

### Convective acceleration

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

A very significant feature of the Navier–Stokes equations is the presence of convective acceleration: the effect of time independent acceleration of a fluid with respect to space. While individual fluid particles are indeed experiencing time dependent acceleration, the convective acceleration of the flow field is a spatial effect, one example being fluid speeding up in a nozzle. Convective acceleration is represented by the nonlinear quantity:

$\mathbf{v} \cdot \nabla \mathbf{v},$

which may be interpreted either as $(\mathbf{v}\cdot\nabla)\,\mathbf{v}$ or as $\mathbf{v}\cdot(\nabla\mathbf{v}),$ with $\nabla \mathbf{v}$ the tensor derivative of the velocity vector $\mathbf{v}.$ Both interpretations give the same result, independent of the coordinate system — provided $\nabla$ is interpreted as the covariant derivative.[3]

#### Interpretation as (v·∇)v

The convection term is often written as

$(\mathbf{v} \cdot \nabla) \mathbf{v},$

where the advection operator $\mathbf{v} \cdot \nabla$ is used. Usually this representation is preferred because it is simpler than the one in terms of the tensor derivative $\nabla \mathbf{v}.$[3]

#### Interpretation as v·(∇v)

Here $\nabla \mathbf{v}$ is the tensor derivative of the velocity vector, equal in Cartesian coordinates to the component by component gradient. The convection term may, by a vector calculus identity, be expressed without a tensor derivative:[4][5]

$\mathbf{v} \cdot \nabla \mathbf{v} = \nabla \left( \frac{\|\mathbf{v}\|^2}{2} \right) + \left( \nabla \times \mathbf{v} \right) \times \mathbf{v}.$

The form has use in irrotational flow, where the curl of the velocity (called vorticity) $\omega=\nabla \times \mathbf{v}$ is equal to zero.

Regardless of what kind of fluid is being dealt with, convective acceleration is a nonlinear effect. Convective acceleration is present in most flows (exceptions include one-dimensional incompressible flow), but its dynamic effect is disregarded in creeping flow (also called Stokes flow) .

### Stresses

The effect of stress in the fluid is represented by the $\scriptstyle \nabla p$ and $\scriptstyle \nabla \cdot\mathbb{T}$ terms, these are gradients of surface forces, analogous to stresses in a solid. $\scriptstyle \nabla p$ is called the pressure gradient and arises from the isotropic part of the stress tensor. This part is given by normal stresses that turn up in almost all situations, dynamic or not. The anisotropic part of the stress tensor gives rise to $\scriptstyle \nabla \cdot\mathbb{T}$, which conventionally describes viscous forces; for incompressible flow, this is only a shear effect. Thus, $\scriptstyle \mathbb{T}$ is the deviatoric stress tensor, and the stress tensor is equal to:[6]

$\sigma = -p\mathbb{I} + \mathbb{T}$

where $\scriptstyle \mathbb{I}$ is the 3×3 identity matrix. Interestingly, only the gradient of pressure matters, not the pressure itself. The effect of the pressure gradient is that fluid flows from high pressure to low pressure.

The stress terms p and $\scriptstyle \mathbb{T}$ are yet unknown, so the general form of the equations of motion is not usable to solve problems. Besides the equations of motion—Newton's second law—a force model is needed relating the stresses to the fluid motion.[7] For this reason, assumptions on the specific behavior of a fluid are made (based on natural observations) and applied in order to specify the stresses in terms of the other flow variables, such as velocity and density.

The Navier–Stokes equations result from the following assumptions on the deviatoric stress tensor $\scriptstyle \mathbb{T}$:[8]

• the deviatoric stress vanishes for a fluid at rest, and – by Galilean invariance – also does not depend directly on the flow velocity itself, but only on spatial derivatives of the flow velocity
• in the Navier–Stokes equations, the deviatoric stress is expressed as the product of the tensor gradient $\scriptstyle \nabla\mathbf{v}$ of the flow velocity with a viscosity tensor $\scriptstyle \mathbb{A}$, i.e. : $\mathbb{T} = \mathbb{A} \left( \nabla\mathbf{v} \right)$
• the fluid is assumed to be isotropic, as valid for gases and simple liquids, and consequently $\scriptstyle \mathbb{A}$ is an isotropic tensor; furthermore, since the deviatoric stress tensor is symmetric, it turns out that it can be expressed in terms of two scalar dynamic viscosities μ and μ”: $\mathbb{T} = 2 \mu \mathbb{E} + \mu'' \Delta \mathbb{I},$ where $\mathbb{E}=\tfrac12 \left( \nabla\mathbf{v} \right) + \tfrac12 \left( \nabla\mathbf{v} \right)^\text{T}$ is the rate-of-strain tensor and $\Delta = \nabla\cdot\mathbf{v}$ is the rate of expansion of the flow
• the deviatoric stress tensor has zero trace, so for a three-dimensional flow 2μ + 3μ” = 0

As a result, in the Navier–Stokes equations the deviatoric stress tensor has the following form:[8]

$\mathbb{T} = 2 \mu \left( \mathbb{E} - \tfrac13 \Delta \mathbb{I} \right),$

with the quantity between brackets the non-isotropic part of the rate-of-strain tensor $\scriptstyle \mathbb{E}.$ The dynamic viscosity μ does not need to be constant – in general it depends on conditions like temperature and pressure, and in turbulence modelling the concept of eddy viscosity is used to approximate the average deviatoric stress.

The pressure p is modelled by use of an equation of state.[9] For the special case of an incompressible flow, the pressure constrains the flow in such a way that the volume offluid elements is constant: isochoric flow resulting in a solenoidal velocity field with $\scriptstyle \nabla\cdot\mathbf{v}=0.$[10]

### Other forces

The vector field $\scriptstyle \mathbf{f}$ represents "other" (body force) forces. Typically this is only gravity, but may include other fields (such as electromagnetic). In a non-inertial coordinate system, other "forces" such as that associated with rotating coordinate] may be inserted.

Often, these forces may be represented as the gradient of some scalar quantity. Gravity in the z direction, for example, is the gradient of − ρgz. Since pressure shows up only as a gradient, this implies that solving a problem without any such body force can be mended to include the body force by modifying pressure.

### Other equations

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

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:

$\frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \mathbf{v}) = 0$

or, using the substantive derivative:

$\frac{D\rho}{Dt} + \rho (\nabla \cdot \mathbf{v}) = 0.$

## Incompressible flow of Newtonian fluids

A simplification of the resulting flow equations is obtained when considering an incompressible flow of a Newtonian fluid. The assumption of incompressibility rules out the possibility of sound or shock waves to occur; so this simplification is invalid if these phenomena are important. The incompressible flow assumption typically holds well even when dealing with a "compressible" fluid — such as air at room temperature — at low Mach numbers (even when flowing up to about Mach 0.3). Taking the incompressible flow assumption into account and assuming constant viscosity, the Navier–Stokes equations will read, in vector form:[11]

$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \mu \nabla^2 \mathbf{v} + \mathbf{f}.$

Here f represents "other" body forces (forces per unit volume), such as gravity or centrifugal force. The shear stress term $\scriptstyle \nabla \mathbb{T}$ becomes the useful quantity $\scriptstyle \mu \nabla^2 \mathbf{v}$ when the fluid is assumed incompressible and Newtonian, where $\scriptstyle \mu$ is the dynamic viscosity.[12]

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

$\overbrace{\rho \Big( \underbrace{\frac{\partial \mathbf{v}}{\partial t}}_{ \begin{smallmatrix} \text{Unsteady}\\ \text{acceleration} \end{smallmatrix}} + \underbrace{\mathbf{v} \cdot \nabla \mathbf{v}}_{ \begin{smallmatrix} \text{Convective} \\ \text{acceleration} \end{smallmatrix}}\Big)}^{\text{Inertia (per volume)}} = \overbrace{\underbrace{-\nabla p}_{ \begin{smallmatrix} \text{Pressure} \\ \text{gradient} \end{smallmatrix}} + \underbrace{\mu \nabla^2 \mathbf{v}}_{\text{Viscosity}}}^{\text{Divergence of stress}} + \underbrace{\mathbf{f}}_{ \begin{smallmatrix} \text{Other} \\ \text{body} \\ \text{forces} \end{smallmatrix}}.$

Note that only the convective terms are nonlinear for incompressible Newtonian flow. The convective acceleration is an acceleration caused by a (possibly steady) change in velocity over position, for example the speeding up of fluid entering a converging nozzle. Though individual fluid particles are being accelerated and thus are under unsteady motion, the flow field (a velocity distribution) will not necessarily be time dependent.

Another important observation is that the viscosity is represented by the vector Laplacian of the velocity field (interpreted here as the difference between the velocity at a point and the mean velocity in a small volume around). This implies that Newtonian viscosity is diffusion of momentum, this works in much the same way as the diffusion of heat seen in the heat equation (which also involves the Laplacian).

If temperature effects are also neglected, the only "other" equation (apart from initial/boundary conditions) needed is the mass continuity equation. Under the incompressible assumption, density is a constant and it follows that the equation will simplify to:

$\nabla \cdot \mathbf{v} = 0.$

This is more specifically a statement of the conservation of volume (see divergence).

These equations are commonly used in 3 coordinates systems: Cartesian, cylindrical, and spherical. While the Cartesian equations seem to follow directly from the vector equation above, the vector form of the Navier–Stokes equation involves some tensor calculus which means that writing it in other coordinate systems is not as simple as doing so for scalar equations (such as the heat equation).

### Cartesian coordinates

Writing the vector equation explicitly,

$\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) = -\frac{\partial p}{\partial x} + \mu \left(\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} + \frac{\partial^2 u}{\partial z^2}\right) + \rho g_x$
$\rho \left(\frac{\partial v}{\partial t} + u \frac{\partial v}{\partial x} + v \frac{\partial v}{\partial y}+ w \frac{\partial v}{\partial z}\right) = -\frac{\partial p}{\partial y} + \mu \left(\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2} + \frac{\partial^2 v}{\partial z^2}\right) + \rho g_y$
$\rho \left(\frac{\partial w}{\partial t} + u \frac{\partial w}{\partial x} + v \frac{\partial w}{\partial y}+ w \frac{\partial w}{\partial z}\right) = -\frac{\partial p}{\partial z} + \mu \left(\frac{\partial^2 w}{\partial x^2} + \frac{\partial^2 w}{\partial y^2} + \frac{\partial^2 w}{\partial z^2}\right) + \rho g_z.$

Note that gravity has been accounted for as a body force, and the values of gx,gy,gz will depend on the orientation of gravity with respect to the chosen set of coordinates.

${\partial \rho \over \partial t} + {\partial (\rho u ) \over \partial x} + {\partial (\rho v) \over \partial y} + {\partial (\rho w) \over \partial z} = 0.$

When the flow is at steady-state, ρ does not change with respect to time. The continuity equation is reduced to:

${\partial (\rho u) \over \partial x} + {\partial (\rho v) \over \partial y} + {\partial (\rho w) \over \partial z} = 0.$

When the flow is incompressible, ρ is constant and does not change with respect to space. The continuity equation is reduced to:

${\partial u \over \partial x} + {\partial v \over \partial y} + {\partial w \over \partial z} = 0.$

The velocity components (the dependent variables to be solved for) are typically named u, v, w. This system of four equations comprises the most commonly used and studied form. Though comparatively more compact than other representations, this is still a nonlinear system of partial differential equations for which solutions are difficult to obtain.

### Cylindrical coordinates

A change of variables on the Cartesian equations will yield[11] the following momentum equations for r, φ, and z:

$r:\;\;\rho \left(\frac{\partial u_r}{\partial t} + u_r \frac{\partial u_r}{\partial r} + \frac{u_{\phi}}{r} \frac{\partial u_r}{\partial \phi} + u_z \frac{\partial u_r}{\partial z} - \frac{u_{\phi}^2}{r}\right) = -\frac{\partial p}{\partial r} + \mu \left[\frac{1}{r}\frac{\partial}{\partial r}\left(r \frac{\partial u_r}{\partial r}\right) + \frac{1}{r^2}\frac{\partial^2 u_r}{\partial \phi^2} + \frac{\partial^2 u_r}{\partial z^2}-\frac{u_r}{r^2}-\frac{2}{r^2}\frac{\partial u_\phi}{\partial \phi} \right] + \rho g_r$
$\phi:\;\;\rho \left(\frac{\partial u_{\phi}}{\partial t} + u_r \frac{\partial u_{\phi}}{\partial r} + \frac{u_{\phi}}{r} \frac{\partial u_{\phi}}{\partial \phi} + u_z \frac{\partial u_{\phi}}{\partial z} + \frac{u_r u_{\phi}}{r}\right) = -\frac{1}{r}\frac{\partial p}{\partial \phi} + \mu \left[\frac{1}{r}\frac{\partial}{\partial r}\left(r \frac{\partial u_{\phi}}{\partial r}\right) + \frac{1}{r^2}\frac{\partial^2 u_{\phi}}{\partial \phi^2} + \frac{\partial^2 u_{\phi}}{\partial z^2} + \frac{2}{r^2}\frac{\partial u_r}{\partial \phi} - \frac{u_{\phi}}{r^2}\right] + \rho g_{\phi}$
$z:\;\;\rho \left(\frac{\partial u_z}{\partial t} + u_r \frac{\partial u_z}{\partial r} + \frac{u_{\phi}}{r} \frac{\partial u_z}{\partial \phi} + u_z \frac{\partial u_z}{\partial z}\right) = -\frac{\partial p}{\partial z} + \mu \left[\frac{1}{r}\frac{\partial}{\partial r}\left(r \frac{\partial u_z}{\partial r}\right) + \frac{1}{r^2}\frac{\partial^2 u_z}{\partial \phi^2} + \frac{\partial^2 u_z}{\partial z^2}\right] + \rho g_z.$

The gravity components will generally not be constants, however for most applications either the coordinates are chosen so that the gravity components are constant or else it is assumed that gravity is counteracted by a pressure field (for example, flow in horizontal pipe is treated normally without gravity and without a vertical pressure gradient). The continuity equation is:

$\frac{1}{r}\frac{\partial}{\partial r}\left(r u_r\right) + \frac{1}{r}\frac{\partial u_\phi}{\partial \phi} + \frac{\partial u_z}{\partial z} = 0.$

This cylindrical representation of the incompressible Navier–Stokes equations is the second most commonly seen (the first being Cartesian above). Cylindrical coordinates are chosen to take advantage of symmetry, so that a velocity component can disappear. A very common case is axisymmetric flow with the assumption of no tangential velocity (uφ = 0), and the remaining quantities are independent of φ:

$\rho \left(\frac{\partial u_r}{\partial t} + u_r \frac{\partial u_r}{\partial r} + u_z \frac{\partial u_r}{\partial z}\right) = -\frac{\partial p}{\partial r} + \mu \left[\frac{1}{r}\frac{\partial}{\partial r}\left(r \frac{\partial u_r}{\partial r}\right) + \frac{\partial^2 u_r}{\partial z^2} - \frac{u_r}{r^2}\right] + \rho g_r$
$\rho \left(\frac{\partial u_z}{\partial t} + u_r \frac{\partial u_z}{\partial r} + u_z \frac{\partial u_z}{\partial z}\right) = -\frac{\partial p}{\partial z} + \mu \left[\frac{1}{r}\frac{\partial}{\partial r}\left(r \frac{\partial u_z}{\partial r}\right) + \frac{\partial^2 u_z}{\partial z^2}\right] + \rho g_z$
$\frac{1}{r}\frac{\partial}{\partial r}\left(r u_r\right) + \frac{\partial u_z}{\partial z} = 0.$

### Spherical coordinates

In spherical coordinates, the r, θ, and φ momentum equations are[11] (note the convention used: θ is colatitude[13]):

$\rho \left(\frac{\partial u_r}{\partial t} + u_r \frac{\partial u_r}{\partial r} + \frac{u_{\phi}}{r \sin(\theta)} \frac{\partial u_r}{\partial \phi} + \frac{u_{\theta}}{r} \frac{\partial u_r}{\partial \theta} - \frac{u_{\phi}^2 + u_{\theta}^2}{r}\right) = -\frac{\partial p}{\partial r} + \rho g_r +$
$\mu \left[ \frac{1}{r^2} \frac{\partial}{\partial r}\left(r^2 \frac{\partial u_r}{\partial r}\right) + \frac{1}{r^2 \sin(\theta)^2} \frac{\partial^2 u_r}{\partial \phi^2} + \frac{1}{r^2 \sin(\theta)} \frac{\partial}{\partial \theta}\left(\sin(\theta) \frac{\partial u_r}{\partial \theta}\right) - 2 \frac{u_r + \frac{\partial u_{\theta}}{\partial \theta} + u_{\theta} \cot(\theta)}{r^2} + \frac{2}{r^2 \sin(\theta)} \frac{\partial u_{\phi}}{\partial \phi} \right]$
$\rho \left(\frac{\partial u_{\phi}}{\partial t} + u_r \frac{\partial u_{\phi}}{\partial r} + \frac{u_{\phi}}{r \sin(\theta)} \frac{\partial u_{\phi}}{\partial \phi} + \frac{u_{\theta}}{r} \frac{\partial u_{\phi}}{\partial \theta} + \frac{u_r u_{\phi} + u_{\phi} u_{\theta} \cot(\theta)}{r}\right) = -\frac{1}{r \sin(\theta)} \frac{\partial p}{\partial \phi} + \rho g_{\phi} +$
$\mu \left[ \frac{1}{r^2} \frac{\partial}{\partial r}\left(r^2 \frac{\partial u_{\phi}}{\partial r}\right) + \frac{1}{r^2 \sin(\theta)^2} \frac{\partial^2 u_{\phi}}{\partial \phi^2} + \frac{1}{r^2 \sin(\theta)} \frac{\partial}{\partial \theta}\left(\sin(\theta) \frac{\partial u_{\phi}}{\partial \theta}\right) + \frac{2 \frac{\partial u_r}{\partial \phi} + 2 \cos(\theta) \frac{\partial u_{\theta}}{\partial \phi} - u_{\phi}}{r^2 \sin(\theta)^2} \right]$
$\rho \left(\frac{\partial u_{\theta}}{\partial t} + u_r \frac{\partial u_{\theta}}{\partial r} + \frac{u_{\phi}}{r \sin(\theta)} \frac{\partial u_{\theta}}{\partial \phi} + \frac{u_{\theta}}{r} \frac{\partial u_{\theta}}{\partial \theta} + \frac{u_r u_{\theta} - u_{\phi}^2 \cot(\theta)}{r}\right) = -\frac{1}{r} \frac{\partial p}{\partial \theta} + \rho g_{\theta} +$
$\mu \left[ \frac{1}{r^2} \frac{\partial}{\partial r}\left(r^2 \frac{\partial u_{\theta}}{\partial r}\right) + \frac{1}{r^2 \sin(\theta)^2} \frac{\partial^2 u_{\theta}}{\partial \phi^2} + \frac{1}{r^2 \sin(\theta)} \frac{\partial}{\partial \theta}\left(\sin(\theta) \frac{\partial u_{\theta}}{\partial \theta}\right) + \frac{2}{r^2} \frac{\partial u_r}{\partial \theta} - \frac{u_{\theta} + 2 \cos(\theta) \frac{\partial u_{\phi}}{\partial \phi}}{r^2 \sin(\theta)^2} \right].$

$\frac{1}{r^2}\frac{\partial}{\partial r}\left(r^2 u_r\right) + \frac{1}{r \sin(\theta)}\frac{\partial u_\phi}{\partial \phi} + \frac{1}{r \sin(\theta)}\frac{\partial}{\partial \theta}\left(\sin(\theta) u_\theta\right) = 0.$

These equations could be (slightly) compacted by, for example, factoring 1 / r2 from the viscous terms. However, doing so would undesirably alter the structure of the Laplacian and other quantities.

### Stream function formulation

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 (w = 0 and no dependence of anything on z), where the equations reduce to:

$\rho \left(\frac{\partial u}{\partial t} + u \frac{\partial u}{\partial x} + v \frac{\partial u}{\partial y}\right) = -\frac{\partial p}{\partial x} + \mu \left(\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2}\right) + \rho g_x,$
$\rho \left(\frac{\partial v}{\partial t} + u \frac{\partial v}{\partial x} + v \frac{\partial v}{\partial y}\right) = -\frac{\partial p}{\partial y} + \mu \left(\frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2}\right) + \rho g_y.$

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

$u = \frac{\partial \psi}{\partial y} \quad ; \quad v = -\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 degrade into one equation:

$\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 $\nabla^4$ is the (2D) biharmonic operator and ν is the kinematic viscosity, $\nu=\frac{\mu}{\rho}$. We can also express this compactly using the Jacobian determinant:

$\frac{\partial}{\partial t}\left(\nabla^2 \psi\right) + \frac{\partial\left(\psi, \nabla^2\psi \right)}{\partial\left(y,x\right)} = \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.

## Compressible flow of Newtonian fluids

There are some phenomena that are closely linked with fluid compressibility. One of the obvious examples is sound. Description of such phenomena requires more general presentation of the Navier–Stokes equation that takes into account fluid compressibility. If viscosity is assumed a constant, one additional term appears, as shown here:[14][15]

$\rho \left(\frac{\partial \mathbf{v}}{\partial t} + \mathbf{v} \cdot \nabla \mathbf{v}\right) = -\nabla p + \mu \nabla^2 \mathbf{v} + \left( \tfrac13 \mu + \mu^v) \nabla (\nabla \cdot \mathbf{v} \right) + \mathbf{f}$

where μv is the volume viscosity coefficient, also known as second viscosity coefficient or bulk viscosity. This additional term disappears for an incompressible fluid, when the divergence of the flow equals zero.

## 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. For example, after assuming steady, parallel, one dimensional, nonconvective pressure driven flow between parallel plates, the resulting scaled (dimensionless) boundary value problem is:

File:NSConvection.png
Visualization of a) parallel flow and b) radial flow.
$\frac{d^2 u}{d y^2} = -1 \quad ; \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) = \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.

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 nonlinearity. The velocity field may be represented by a function f(z) that must satisfy:

$\frac{d^2 f}{d z^2} + R f^2 = -1 \quad ; \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 the square root of two), the parameter R being the Reynolds number with appropriately chosen scales. This is an example of flow assumptions losing their applicability, and an example of the difficulty in "high" Reynolds number flows.

### 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 flo] and the oscillatory Stokes boundary layer. But also more interesting examples, solutions to the full non-linear equations, exist; for example the Taylor–Green vortex.[16][17][18] Note that the existence of these exact solutions does not imply they are stable: turbulence may develop at higher Reynolds numbers.

|For example, in the case of an unbounded planar domain with two-dimensional — incompressible and stationary — flow in[polar coordinates (r,φ), the velocity components (ur,uφ) and pressure p are:

$u_r=\frac{A}{r}, \qquad u_\phi=B (\frac{1}{r}-r^\left(A/\nu+1\right)),$

$\qquad p = -\frac{A^2+B^2}{2r^2} - \frac{2B^2 \nu r^\left(A/\nu\right)}{A} +$ $\frac{B^2 r^\left(\frac{2A}{\nu}+2\right)}{\frac{2A}{\nu}+2},$

where A and B are arbitrary constants. This solution is valid in the domain r ≥ 1 and for A < − 2ν.

## Notes

• (1) Millennium Prize Problems, Clay Mathematics Institute, http://www.claymath.org/millennium/, retrieved 2009-04-11
• (2) Batchelor (1967) pp. 137 & 142.
• (3) a b Emanuel, G. (2001), Analytical fluid dynamics (second ed.), CRC Press, ISBN 0849391148 pp. 6–7.
• (4) See Batchelor (1967), §3.5, p. 160.
• (5) Eric W. Weisstein, Convective Derivative, MathWorld, http://mathworld.wolfram.com/ConvectiveDerivative.html, retrieved 2008-05-20
• (6) Batchelor (1967) p. 142.
• (7) Feynman, Richard P.; Leighton, Robert B.; Sands, Matthew (1963), The Feynman Lectures on Physics, Reading, Mass.: Addison-Wesley, ISBN 0-201-02116-1 , Vol. 1, §9–4 and §12–1.
• (8) a b Batchelor (1967) pp. 142–148.
• (9) Batchelor (1967) p. 165.
• (10) Batchelor (1967) p. 75.
• (11) a b c See Acheson (1990).
• (12) Batchelor (1967) pp. 21 & 147.
• (13) Eric W. Weisstein (2005-10-26), Spherical Coordinates, MathWorld, http://mathworld.wolfram.com/SphericalCoordinates.html, retrieved 2008-01-22
• (14) Landau & Lifshitz (1987) pp. 44–45.
• (15) Batchelor (1967) pp. 147 & 154.
• (16) Wang, C.Y. (1991), "Exact solutions of the steady-state Navier–Stokes equations", Annual Review of Fluid Mechanics 23: 159–177, doi:10.1146/annurev.fl.23.010191.001111
• (17) Landau & Lifshitz (1987) pp. 75–88.
• (18) Ethier, C.R.; Steinman, D.A. (1994), "Exact fully 3D Navier–Stokes solutions for benchmarking", International Journal for Numerical Methods in Fluids 19 (5): 369–375, doi:10.1002/fld.1650190502
• (19) Ladyzhenskaya, O.A. (1969), The Mathematical Theory of viscous Incompressible Flow (2nd ed.), p. preface, xi
• (20) McComb, W.D. (2008), Renormalization methods: A guide for beginners, Oxford University Press, ISBN 0199236526 pp. 121–128.

## References

Cite error: <ref> tags exist, but no <references/> tag was found