Fluid Dynamics: Theory and Computation
Dan S. Henningson Martin Berggren
August 24, 2005 2 Contents
1 Derivation of the Navier-Stokes equations 7 1.1 Notation ...... 7 1.2 Kinematics ...... 8 1.3 Reynolds transport theorem ...... 14 1.4 Momentum equation ...... 15 1.5 Energy equation ...... 19 1.6 Navier-Stokes equations ...... 20 1.7 Incompressible Navier-Stokes equations ...... 22 1.8 Role of the pressure in incompressible flow ...... 24
2 Flow physics 29 2.1 Exact solutions ...... 29 2.2 Vorticity and streamfunction ...... 32 2.3 Potential flow ...... 40 2.4 Boundary layers ...... 48 2.5 Turbulent flow ...... 54
3 Finite volume methods for incompressible flow 59 3.1 Finite Volume method on arbitrary grids ...... 59 3.2 Finite-volume discretizations of 2D NS ...... 62 3.3 Summary of the equations ...... 65 3.4 Time dependent flows ...... 66 3.5 General iteration methods for steady flows ...... 69
4 Finite element methods for incompressible flow 71 4.1 FEM for an advection–diffusion problem ...... 71 4.1.1 Finite element approximation ...... 72 4.1.2 The algebraic problem. Assembly...... 73 4.1.3 An example ...... 74 4.1.4 Matrix properties and solvability ...... 76 4.1.5 Stability and accuracy ...... 76 4.1.6 Alternative Elements, 3D ...... 80 4.2 FEM for Navier–Stokes ...... 82 4.2.1 A variational form of the Navier–Stokes equations ...... 83 4.2.2 Finite-element approximations ...... 85 4.2.3 The algebraic problem in 2D ...... 85 4.2.4 Stability ...... 86 4.2.5 The LBB condition ...... 87 4.2.6 Mass conservation ...... 88 4.2.7 Choice of finite elements. Accuracy ...... 88
A Background material 95 A.1 Iterative solutions to linear systems ...... 95 A.2 Cartesian tensor notation ...... 98 A.2.1 Orthogonal transformation ...... 98 A.2.2 Cartesian Tensors ...... 99 A.2.3 Permutation tensor ...... 100 A.2.4 Inner products, crossproducts and determinants ...... 100 A.2.5 Second rank tensors ...... 101
3 4 CONTENTS
A.2.6 Tensor fields ...... 102 A.2.7 Gauss & Stokes integral theorems ...... 103 A.2.8 Archimedes principle ...... 104 A.3 Curvilinear coordinates ...... 106
B Recitations 5C1214 109 B.1 Tensors and invariants ...... 109 B.2 Euler and Lagrange coordinates ...... 113 B.3 Reynolds transport theorem and stress tensor ...... 117 B.4 Rankine vortex and dimensionless form ...... 120 B.5 Exact solutions to Navier-Stokes ...... 124 B.6 More exact solutions to Navier-Stokes ...... 129 B.7 Axisymmetric flow and irrotational vortices ...... 132 B.8 Vorticity equation, Bernoulli equation and streamfunction ...... 136 B.9 Flow around a submarine and other potential flow problems ...... 140 B.10 More potential flow ...... 146 B.11 Boundary layers ...... 148 B.12 More boundary layers ...... 152 B.13 Introduction to turbulence ...... 155 B.14 Old Exams ...... 157
C Study questions 5C1212 173 CONTENTS 5
Preface
These lecture notes has evolved from a CFD course (5C1212) and a Fluid Mechanics course (5C1214) at the department of Mechanics and the department of Numerical Analysis and Computer Science (NADA) at KTH. Erik St˚alberg and Ori Levin has typed most of the LATEXformulas and has created the electronic versions of most figures.
Stockholm, August 2004 Dan Henningson Martin Berggren
In the latest version of the lecture notes study questions for the CFD course 5C1212 and recitation material for the Fluid Mechanics course 5C1214 has been added.
Stockholm, August 2005 Dan Henningson 6 CONTENTS Chapter 1
Derivation of the Navier-Stokes equations
1.1 Notation
The Navier-Stokes equations in vector notation has the following form
∂u 1 + (u ) u = p + ν 2u ∂t · ∇ −ρ∇ ∇ u = 0 ∇ · where the velocity components are defined
u = (u, v, w) = (u1, u2, u3)
the nabla operator is defined as
∂ ∂ ∂ ∂ ∂ ∂ = , , = , , ∇ ∂x ∂y ∂z ∂x ∂x ∂x 1 2 3 the Laplace operator is written as
∂2 ∂2 ∂2 2 = + + ∇ ∂x2 ∂y2 ∂z2 and the following definitions are used
ν kinematic viscosity ρ − density p − pressure − see figure 1.1 for a definition of the coordinate system and the velocity components. The Cartesian tensor form of the equations can be written
2 ∂ui ∂ui 1 ∂p ∂ ui + uj = + ν ∂t ∂xj −ρ ∂xi ∂xj ∂xj ∂ui = 0 ∂xi where the summation convention is used. This implies that a repeated index is summed over, from 1 to 3, as follows
uiui = u1u1 + u2u2 + u3u3
Thus the first component of the vector equation can be written out as
7 8 CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS
y, x2
v, u2 u, u1
PSfrag replacements
x, x1
w, u3
z, x3
PSfrag replacemenFigurets1.1: Definition of coordinate system and velocity components
x, x1x2 y, x2 P tˆ= 0 z, x3 u, u1 0 xi v, u2 w, u3
ˆ 0 , t x i 0 ˆ ri ui xi , t x 1 Figure 1.2: Particle path.
∂u ∂u ∂u ∂u 1 ∂p ∂2u ∂2u ∂2u i = 1 1 + u 1 + u 1 + u 1 = + ν 1 + 1 + 1 ∂t 1 ∂x 2 ∂x 3 ∂x −ρ ∂x ∂x 2 ∂x 2 ∂x 2 1 2 3 1 1 2 3 ∂u ∂u ∂u ∂u 1 ∂p ∂2u ∂2u ∂2u or + u + v + w = + ν + + ∂t ∂x ∂y ∂z −ρ ∂x ∂x2 ∂y2 ∂z2 2u ∇ | {z } 1.2 Kinematics Lagrangian and Euler coordinates Kinematics is the description of motion without regard to forces. We begin by considering the motion of a fluid particle in Lagrangian coordinates, the coordinates familiar from classical mechanics. Lagrange coordinates: every particle is marked and followed in flow. The independent variables are
x 0 initial position of fluid particle i − tˆ time − where the particle path of P, see figure 1.2, is
0 ri = ri xi , tˆ and the velocity of the particle is the rate of change of the particle position, i.e. 1.2. KINEMATICS 9
∂ri ui = ∂tˆ 0 Note here that when xi changes we consider new particles. Instead of marking every fluid particle it is most of the time more convenient to use Euler coordinates. Euler coordinates: consider fixed point in space, fluid flows past point. The independent variables are
x space coordinates i − t time − Thus the fluid velocity ui = ui (xi, t) is now considered as a function of the coordinate xi and time t. 0 The relation between Lagrangian and Euler coordinates, i.e. xi , tˆ and (xi, t), is easily found by noting that the particle position is expressed in fixed space coordinates x , i.e. i 0 xi = ri xi , tˆ at the time
ˆ t = t
Material derivative Although it is usually most convenient to use Euler coordinates, we still need to consider the rate of change of quantities following a fluid particle. This leads to the following definition. Material derivative: rate of change in time following fluid particle expressed in Euler coordinates. Consider the quantity F following fluid particle, where
0 F = FL xi , tˆ = FE (xi, t) = FE ri xi, tˆ , t The rate of change of F following a fluidparticle can then b e written
∂F ∂FE ∂ri ∂FE ∂t ∂FE ∂FE = + = + ui ∂tˆ ∂xi · ∂tˆ ∂t · ∂tˆ ∂t ∂xi D Based on this expression we define the material derivative as Dt ∂ D ∂ ∂ ∂ = + ui = + (u ) ∂tˆ ≡ Dt ∂t ∂xi ∂t · ∇ In the material or substantial derivative the first term measures the local rate of change and the second measures the change due to the motion with velocity ui. As an example we consider the acceleration of a fluid particle in a steady converging river, see figure 1.3. The acceleration is defined
Dui ∂ui ∂ui aj = = + uj Dt ∂t ∂xj which can be simplified in 1D for stationary case to Du ∂u ∂u a = = + u Dt ∂t ∂x Note that the acceleration = 0 even if velocity at fixed x does not change. This has been experienced by everyone in a raft in a conv6 erging river. The raft which is following the fluid is accelerating although the flow field is steady.
Description of deformation Evolution of a line element
Consider the two nearby particles in figure 1.4 during time dtˆ. The position of P2 can by Taylor expansion be expressed as
P2 : ri dtˆ + dri dtˆ = ∂ri ˆ ∂ ˆ = ri (0) + ˆ (0) dt + dri (0) + ˆ ( dri) dt ∂t ∂t 0
0 0 ˆ ˆ = xi + dxi + ui (0) dt + dui (0) dt 10 CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS
PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 u1 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 u2 > u1 x
Figure 1.3: Acceleration of fluid particles in converging river.
PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t 0 ˆ ui xi , t P2 P tˆ= 0 ˆ x2 dt dui x u1 u > u 0 2 1 dxi ˆt d r i d
ui dtˆ P1 0 xi dˆt ri x1
x3
Figure 1.4: Relative motion of two nearly particles. 1.2. KINEMATICS 11
where we have used
∂ ∂ ∂ri 0 ∂ ∂ri 0 ( dri) = 0 dxj = 0 dxj ∂tˆ ∂tˆ ∂xj ∂xj ∂tˆ ∂ui 0 = 0 dxj = dui ∂xj
and where
∂ui 0 change of ui with initial pos. ∂xj − 0 dxj difference in initial pos. du − difference in velocity i − ∂ We can transform the expression ( dri) = dui in Lagrange coordinates to an equation for a material ∂tˆ line element in Euler coordinates
D ( dr ) = du Dt i i = expand in Euler coordinates { } ∂ui = drj ∂xj
where
∂u i change in velocity with spatial position ∂xj − dr difference in spatial pos. of particles j −
Relative motion associated with invariant parts
∂ui ∂ui We consider the relative motion dui = drj by dividing in its invariant parts, i.e. ∂xj ∂xj
∂ui = ξij + eij + eij ∂xj eij | {z } where eij is the deformation rate tensor and
1 ∂u ∂u ξ = i j anti-symmetric part ij 2 ∂u − ∂x j i 1 ∂u ∂u 2 ∂u e = i + j r δ traceless part ij 2 ∂x ∂x − 3 ∂u ij j i r 1 ∂ur eij = δij isotropic part 3 ∂ur
∂ui The symmetric part of , eij , describes the deformation and is considered in detail below, whereas the ∂xj anti-symmetric part can be written in terms of the vorticity ωk and is associated with solid body rotation, i.e. no deformation. The anti-symmetric part can be written PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 12 xi CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS ui dtˆ 0 x dxi r2 2 dui dtˆ ri dtˆ R2 dr dtˆ i P1 P 2 π 2 + dϕ12
R1 R3 x1 x 3 r1
r3 Figure 1.5: Deformation of a cube.
0 1 ∂u1 ∂u2 1 ∂u1 ∂u3 2 ∂x2 − ∂x1 2 ∂x3 − ∂x1 1 ∂u1 ∂u2 1 ∂u2 ∂u3 [ξij ] = 0 − 2 ∂x2 − ∂x1 2 ∂x3 − ∂x2 1 ∂u1 ∂u3 1 ∂u2 ∂u3 0 2 ∂x3 ∂x1 2 ∂x3 ∂x2 − − − − ∂ = use ω = u , ωk = kji ui { ∇ × ∂xj }
1 1 0 2 ω3 2 ω2 1 − 1 = 2 ω3 0 2 ω1 1 1 − 2 ω2 2 ω1 0 Deformation of a small cube Consider the deformation of the small cube in figure 1.5, where we define
l Rk = Rδkl component k of side l
l l ∂uk l rk = Rk + Rj dt relative motion of side l ∂xj
l duk | {z∂u} = R δ + k dt deformed cube kl ∂x l First, we consider the deformation on side 1, which can be expressed as
dR1 = r1 R = r1r1 R − k k − q The inner product can be expanded as
∂u 2 ∂u 2 ∂u 2 r1r1 = 1 + 1 dt + 2 dt + 3 dt R2 k k ∂x ∂x ∂x " 1 1 1 # = drop quadratic terms { } ∂u = R2 1 + 2 1 dt ∂x 1 1.2. KINEMATICS 13
We have dropped the quadratic terms since we are assuming that dt is small. dR1 becomes
∂u ∂u dR1 = R 1 + 2 1 dt R = R 1 + 1 dt + ... R ∂x − ∂x − r 1 1 ∂u1 = R dt = Re11 dt ∂x1
which implies that
dR1 = Re dt 11 Thus the deformation rate of side 1 depends on e , both traceless and isotropic part of ∂ui . 11 ∂xj Second, we consider the deformation of the angle between side 1 and side 2. This can be expressed as
1 2 π r r 1/2 cos + dφ = · = r1r2 r1 r1 r2 r2 − 2 12 r1 r2 k k · m m · n n | | | | 1/2 1/2 ∂u ∂u ∂u − ∂u − = δ + k dt δ + k dt 1 + 2 1 dt 1 + 2 2 dt k1 ∂x k2 ∂x · ∂x ∂x 1 2 1 2 ∂u ∂u ∂u ∂u = 1 dt + 2 dt 1 1 dt 1 2 dt ∂x ∂x − ∂x − ∂x 2 1 1 2 ∂u ∂u = 1 + 2 dt = 2e dt ∂x ∂x 12 2 1 where we have dropped quadratic terms. We use the trigonometric identity
π π π cos + dϕ = cos cos dϕ sin sin dϕ dϕ 2 12 2 · 12 − 2 · 12 ≈ − 12 which allow us to obtain the finial expression
dϕ 12 = 2e dt − 12 Thus the deformation rate of angle between side 1 and side 2 depends only on traceless part of ∂ui . ∂xj Third, we consider the deformation of the volume of the cube. This can be expressed as
dV = r1 r2 r3 R3 − 1 + ∂ u1 dt ∂u1 dt ∂u1 dt ∂ x1 ∂x2 ∂x3 = R3 ∂u2 dt 1 + ∂u2 dt ∂u2 dt R3 ∂x1 ∂x2 ∂x3 ∂u3 ∂u3 ∂u3 − dt dt 1 + dt ∂x1 ∂x2 ∂x3 ∂u ∂u ∂u = R3 1 + 1 dt 1 + 2 dt 1 + 3 dt R3 ∂x ∂x ∂x − 1 2 3 ∂u ∂u ∂u = R3 1 + 2 + 3 dt ∂x ∂x ∂x 1 2 3 ∂u = R3 k dt ∂xk
where we have again omitted quadratic terms. Thus we have
dV = R3e dt rr and the deformation rate of volume of cube (or expansion rate) depends on isotropic part of ∂ui . ∂xj In summary, the motion of a fluid particle with velocity ui can be divided into the following invariant parts PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 14 x2CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS
x3 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
3 ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ V (t + ∆t) V (t) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
R ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ − ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ 2 ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
R ) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
1 (t¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ R S ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
3 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
r ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ S (t + ∆t) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ 2 ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
r ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
1 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ r ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
π V (t) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
2 + dϕ12 ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ u
¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡
¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢
¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢¡¢ n
V (t + ∆t)
Figure 1.6: Volume moving with the fluid.
i) ui solid body translation
∂u ∂u ii) ξ = 1 i j = 1 ω solid body rotation ij 2 ∂x − ∂x − 2 kij k j i ∂u ∂u 2 ∂u iii) e = 1 i + j r δ volume constant deformation ij 2 ∂x ∂x − 3 ∂u ij j i r
1 ∂ur iv) eij = 3 δij volume expansion rate ∂ur
1.3 Reynolds transport theorem
Volume integral following with the fluid
Consider the time derivative of a material volume integral, i.e. a volume integral where the volume is moving with the fluid. We obtain the following expressions
D 1 Tij dV = lim Tij (t + ∆t) dV Tij (t) dV Dt ∆t 0 ∆t → − VZ(t) V (t+∆Z t) VZ(t) 1 = lim Tij (t + ∆t) dV Tij (t + ∆t) dV ∆t 0 ∆t → − V (t+∆Z t) VZ(t) 1 + T (t + ∆t) dV T (t) dV ∆t ij − ij VZ(t) VZ(t) 1 ∂Tij = lim Tij (t + ∆t) dV + dV ∆t 0 ∆t ∂t → V (t+∆Zt) V (t) VZ(t) − The volume in the first integral on the last line is represented in figure 1.6, where a volume element describing the change in volume between V at time t and t + ∆t can be written as
u n∆t = u n ∆t dV = u n ∆t dS · k k ⇒ k k 1.4. MOMENTUM EQUATION 15
This implies that the volume integral can be converted to a surface integral. This surface integral can in turn be changed back to a volume integral by the use of Gauss (or Greens) theorem. We have
D ∂Tij Tij dV = lim Tij (t + ∆t) uknk dS + dV Dt ∆t 0 ∂t → " S(t) # VZ(t) I VZ(t)
∂Tij = Tij uknk dS + dV = Gauss/Green’s theorem S(t) ∂t { } I VZ(t)
∂Tij ∂ = + (ukTij ) dV ∂t ∂xk VZ(t) which is the Reynolds transport theorem.
Conservation of mass
By the substitution Tij ρ and the use of the Reynolds transport theorem above we can derive the equation for the conservation→ of mass. We have
D ∂ρ ∂ ρ dV = + (ukρ) = 0 Dt ∂t ∂xk VZ(t) VZ(t) Since the volume is arbitrary, the following must hold for the integrand
∂ρ ∂ ∂ρ ∂ρ ∂uk Dρ ∂uk 0 = + (ukρ) = + uk + ρ = + ρ ∂t ∂xk ∂t ∂xk ∂xk Dt ∂xk 1 2 3 4
where we have used the|{z}definition| {zof the} material derivative in order|{z}to simplify| {z } the expression. The terms in the expression can be given the following interpretations:
1 : accumulation of mass in fixed element 2 : net flow rate of mass out of element 3 : rate of density change of material element 4 : volume expansion rate of material element
By considering the transport of a quantity given per unit mass, i.e. Tij = ρtij , we can simplify Reynolds transport theorem. The integrand in the theorem can then be written
0 (cont. eq.) 0 ¡ ¨*¨ ∂ ∂ ∂¡ρ ∂tij ∂ ¨ ∂tij Dtij (ρtij ) + (ukρ tij ) = tij + ρ + tij ¨ (ukρ) + ρuk = ρ ∂t ∂xk ¡∂t ∂t ¨∂xk ∂xk Dt which implies that Reynolds transport theorem becomes D Dt ρ t dV = ρ ij dV Dt ij Dt VZ(t) VZ(t) where V (t) again is a material volume.
1.4 Momentum equation Conservation of momentum The momentum equation is based on the principle of conservation of momentum, i.e. that the time rate of change of momentum in a material region = sum of the forces on that region. The quantities involved are:
Fi - body forces per unit mass Ri - surface forces per unit area ρui - momentum per unit volume PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 PSfrag replacemenx1 ts
x2 x, x1 x3 y, x2 x 0 i z, x3 ˆ ui dt u, u1 dx 0 i v, u2 ˆ dui dt w, u3 ri dtˆ x1 dr dtˆ i x2 P x 0 1 i P 0 ˆ 2 ri xi , t 0 x1 u x , tˆ i i x2 P tˆ= 0 x 3 x R3 u1 R2 u2 > u1 R1 x1 r3 x2 r2 x3 r1 0 π xi 2 + dϕ12 ui dtˆ V (t) 0 16 CHAPTERdxi 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS S (t) du dtˆ V (t + ∆t) V (t) i ri dtˆ nIII(k) S (t−+ ∆t) dr dtˆ i u dl P1 n ) P k 2 ( V (t + ∆t) s { x1∆ I }| R(n ) x2 z x3 R3 nII nI R2 R1 r3 dS 2 R(nII) r r1 π 2 + dϕ12 Figure 1.7:V (Moment) tum balance for fluid element S (t) V (t + ∆t) V (t) S (t−+ ∆t) n u
n R V (t + ∆t)
R
Figure 1.8: Surface force and unit normal.
We can put the momentum conservation in integral form as follows D ρu dV = ρF dV + R dS Dt i i i VZ(t) VZ(t) SZ(t) Using Reynolds transport theorem this can be written Du ρ i dV = ρF dV + R dS Dt i i VZ(t) VZ(t) SZ(t) which is Newtons second law written for a volume of fluid: mass acceleration = sum of forces. To · proceed Ri must be investigated so that the surface integral can be transformed to a volume integral. In order to do that we have to define the stress tensor.
The stress tensor Remove a fluid element and replace outside fluid by surface forces as in figure 1.7. Here R(n) is the surface force per unit area on surface dS with normal n, see figure 1.8. Momentum conservation for the small fluid particle leads to Du ρ i dS dl = ρF dS dl + R nI dS + R nII dS + R nIII(k) ∆s(k) dl Dt i i j i j i j k X Letting dl 0 gives →
I II 0 = Ri nj dS + Ri nj dS
I II Now nj = n = n which leads to j − j R (n ) = R ( n ) i j − i − j implying that a surface force on one side of a surface is balanced by an equal an opposite surface force at the other side of that surface. Note that it is a general principle that the terms proportional to the volume of a small fluid particle approaches zero faster than the terms proportional to the surface area of the particle. Thus the surface forces acting on a small fluid particle has to balance, irrespective of volume forces or acceleration terms. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 PSfrag replacemenx1 ts
xx,2 x1 xy3, x2 x 0 zi , x3 ˆ ui du,t u1 dx 0 vi , u2 ˆ duiwdt, u3 ri dtˆ x1 dr dtˆ i x2 P x 0 1 i P0 ˆ ri xi 2, t 0 u xx1, tˆ i i P tˆx=2 0 x 3 x R3 u1 2 u2R> u1 R1 x1 r3 x2 2 r x3 r1 0 π xi 2 + dϕ12 ui dtˆ V (td)x 0 S (t) i du dtˆ V (t + ∆t) V (t)i 1.4. MOMENTUM EQUArTIONi dtˆ 17 S (t−+ ∆t) dr dtˆ i uP 1 R(e ) = ( T , T , T ) nP 1 11 21 31 V (t + ∆t) 2 x1 T21
x2 x1 x3 T11 T PSfrag replacementsR3 31 x, x1R2 y, x2R1 z, x 3 Figure 1.9: Definition of surface3 r force components on a surface with a normal in the 1-direction. u, u1 r2 v, u2 r1 x2 π 2 w+, ud3ϕ12 R(e2) = ( T12, T22, T32)
xV1(t) T22 xS2(t) 0 V (t + ∆t) xVi (t) −0 ˆ ri Sx(it +, t ∆t) u x 0, tˆ T12 i i u P tˆ= 0 n V (t + ∆t) x T32 u1 u2 > u1 x1 x2 x3 0 xi Figure 1.10: Definition of surface force components on a surface with a normal in the 2-direction. ui dtˆ 0 dxi ˆ We now divide the surfacedui dforcest into components along the coordinate directions, as in figures 1.9 and r dtˆ 1.10, with corresponding definitionsi for the force components on a surface with a normal in the 3-direction. dri dtˆ Thus, Tij is the i-componen t of the surface force on a surface dS with a normal in the j-direction. P Consider a fluid particle with1 surfaces along the coordinate directions cut by a slanted surface, as in figure 1.11. The areas of the surfaceP2 elements are related by x1
x2 dSj = ej n dS = nj dS x3 · where dS is the area of the slanted surface. Momentum balance require the surface forces to balance R3 in the element, we have R2 R1 03 = R dS T n dS T n dS T n dS r 1 − 11 1 − 12 2 − 13 3 2 which implies that the totalr surface force Ri can be written in terms of the components of the stress r1 tensor Tij as π 2 + dϕ12 V (t) Ri = Ti1n1 + Ti2n2 + Ti3n3 = Tij nj S (t) V (t + ∆t) V (t) e S (t−+ ∆t) 2 R u n n V (t + ∆t)
R1 dS3 dS1 e1 dS2
e3
Figure 1.11: Surface force balance on a fluid particle with a slanted surface. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ 18 CHAPTER 1. DERIVATION OF THE NAVIER-STOKESri xi , t EQUATIONS u x 0, tˆ i i P tˆ= 0 Here the diagonal components are normal stresses off-diagonal components are shearstresses. Further consideration of the moment balance around a fluid particle show that T ij is axsymmetric tensor, i.e. u1 u2 > u1 x1 Tij = Tji x2 x3 0 Momentum equation xi ˆ Using the definition of the surface force in terms of the stress tensor, the momentumuequationi dt can now be dx 0 written i dui dtˆ ri dtˆ Dui ∂Tij ρ dV = ρFi dV + Tij nj dS = ρFi + dV ˆ Dt ∂x dri dt Z Z Z Z j V (t) V (t) S(t) V (t) P1 P The volume is again arbitrary implying that the integrand must itself equal zero. We2 have x1 Dui ∂Tij x2 ρ = ρFi + x Dt ∂xj 3 R3 2 Pressure and viscous stress tensor R R1 For fluid at rest only normal stresses present otherwise fluid element would deform. Wr3e thus divide the stress tensor into an isotropic part, the hydrodynamic pressure p, and a part dependingr2 on the motion of r1 the fluid. We have π 2 + dϕ12 p V (t) Tij = pδij + τij − S (t) p - hydrodynamic pressure, directed inward V (t + ∆t) V (t) − τij - viscous stress tensor, depends on fluid motion S (t + ∆t) u n V (t + ∆t) p p Newtonian fluid
It is natural to assume that the viscous stresses are functions of deformation rate eij or strain. Recall that the invariant symmetric parts are
1 ∂u ∂u 2 ∂u 1 ∂u e = i + j r δ + r δ ij 2 ∂x ∂x − 3 ∂x ij 3 ∂x ij j i r r
eij eij | {z } where eij is the volume constant| deformation{zrate and eij }is the uniform rate of expansion. For an isotropic fluid, the viscous stress tensor is a linear function of the invariant parts of eij , i.e.
τij = λeij + 2µeij where we have defined the two viscosities as
µ (T ): dynamic viscosity (here T is the temperature) λ (T ): second viscosity, often=0
For a Newtonian fluid, we thus have the following relationship between the viscous stress and the strain (deformation rate)
∂u ∂u 2 ∂u τ = 2µe = µ i + j r δ ij ij ∂x ∂x − 3 ∂x ij j i r which leads to the momentum equation
Du ∂p ∂ ∂u ∂u 2 ∂u ρ i = + µ i + j r δ + ρF Dt −∂x ∂x ∂x ∂x − 3 ∂x ij i i j j i r 1.5. ENERGY EQUATION 19
1.5 Energy equation
The energy equation is a mathematical statement which is based on the physical law that the rate of change of energy in material particle = rate that energy is received by heat and work transfers by that particle. We have the following definitions
1 ρ e + 2 uiui dV energy of particle, with e the internal energy ρuiFi dV work rate of Fi on particle force velocity · | {z } uj Rj dS work rate of Rj on particle
niqi dS heat loss from surface, with qi the heat flux vector, directed outward
Using Reynolds transport theorem we can put the energy conservation in integral form as
D 1 ∂ ρ e + uiui dV = ρFiui dV + [niTij uj niqi] dS = ρFiui + (Tij uj qi) dV Dt 2 − ∂xi − VZ(t) VZ(t) SZ(t) VZ(t) Compare the expression in classical mechanics, where the momentum equation is mu˙ = F and the associated kinetic energy equation is
m d 2 dt (u u) = F u work rate· = force· velocity ( work = force · dist. ) · From the integral energy equation we obtain the total energy equation by the observation that the volume is arbitrary and thus that the integrand itself has to be zero. We have
D 1 ∂ ∂ ∂q ρ e + u u = ρF u (pu ) + (τ u ) i Dt 2 i i i i − ∂x i ∂x ij j − ∂x i i i The mechanical energy equation is found by taking the dot product between the momentum equation and u. We obtain
D 1 ∂p ∂τ ρ u u = ρF u u + u ij Dt 2 i i i i − i ∂x i ∂x i j Thermal energy equation is then found by subtracting the mechanical energy equation from the total energy equation, i.e.
De ∂ui ∂ui ∂qi ρ = p + τij Dt − ∂xi ∂xj − ∂xi The work of the surface forces divides into viscous and pressure work as follows
∂ ∂ui ∂p (pui) = p ui −∂xi − ∂xi − ∂xi
1 2
∂ ∂ui ∂τij (τij uj) = τij + uj ∂xi ∂xj ∂xi
where following interpretations can be given to the thermal and the mechanical terms
1 : thermal terms ( force deformation ): heat generated by compression and viscous dissipation 2 : mechanical· terms ( velocity force gradients ): gradients accelerate fluid and increase kinetic energy · 20 CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS
The heat flux need to be related to the temperature gradients with Fouriers law
∂T qi = κ − ∂xi where κ = κ (T ) is the thermal conductivity. This allows us to write the thermal energy equation as
De ∂u ∂ ∂T ρ = p i + Φ + κ Dt − ∂x ∂x ∂x i i i where the positive definite dissipation function Φ is defined as
∂u 1 ∂u 2 Φ = τ i = 2µ e e k ij ∂x ij ij − 3 ∂x j " k # 1 ∂u 2 = 2µ e k δ > 0 ij − 3 ∂x ij k Alternative form of the thermal energy equation can be derived using the definition of the enthalpy p h = e + ρ We have
Dh De 1 Dp p Dρ = + Dt Dt ρ Dt − ρ2 Dt
∂u ρ i − ∂xi |{z} which gives the final result
Dh Dp ∂ ∂T ρ = + Φ + κ Dt Dt ∂x ∂x i i To close the system of equations we need a
i) thermodynamic equation e = e (T, p) simplest case: e = cvT or h = cpT
ii) equation of state p = ρRT
where cv and cp are the specific heats at constant volume and temperature, respectively. At this time we also define the ratio of the specific heats as c γ = p cv
1.6 Navier-Stokes equations
The derivation is now completed and we are left with the Navier-Stokes equations. They are the equation describing the conservation of mass, the equation describing the conservation of momentum and the equation describing the conservation of energy. We have Dρ ∂u + ρ k = 0 Dt ∂xk
Dui ∂p ∂τij ρ = + + ρFi Dt −∂xi ∂xj De ∂u ∂ ∂T ρ = p i + Φ + κ Dt − ∂x ∂x ∂x i i i where 1.6. NAVIER-STOKES EQUATIONS 21
∂u Φ = τ i ij ∂x j ∂ui ∂uj 2 ∂ur τij = µ + δij ∂x ∂x − 3 ∂x j i r and the thermodynamic relation and the equation of state for a gas e = e (T, p) p = ρRT We have 7 equations and 7 unknowns and therefore the necessary requirements to obtain a solution of the system of equations.
unknown equations ρ 1 continuity 1 ui 3 momentum 3 p 1 energy 1 e 1 thermodyn. 1 T 1 gas law 1 7 7 P P Equations in conservative form A slightly different version of the equations can be found by using the identity
Dtij ∂ ∂ ρ = (ρtij ) + (ukρtij ) Dt ∂t ∂xk to obtain the system
∂ρ ∂ + (ukρ) = 0 ∂t ∂xk ∂ ∂ ∂p ∂τ (ρu ) + (ρu u ) = + ij + ρF i k i i ∂t ∂xk −∂xi ∂xj ∂ 1 ∂ 1 ∂ ∂ ∂ ∂T e + u u + ρu e + u u = ρF u (pu ) + (τ u ) + κ ∂t 2 i i ∂x k 2 i i i i − ∂x i ∂x ij j ∂x ∂x k i i i i These are all of the form
∂U ∂G(i) ∂U ∂G ∂G ∂G + = J or + + + = J ∂t ∂xi ∂t ∂x ∂y ∂z where
T U = (ρ, ρu1, ρu2, ρu3, ρ (e + uiui/2)) is the vector of unknowns,
T J = (0, ρF1, ρF2, ρF3, ρuiFi) is the vector of the right hand sides and
ρui ρu1ui + pδ1i τ1i (i) − G = ρu2ui + pδ2i τ2i − ρu3ui + pδ3i τ3i − ∂T ρ (e + uiui/2) ui + pui + κ uj τij ∂xi − is the flux of mass, momentum and energy, respectively. This form of the equation is usually termed the conservative form of the Navier-Stokes equations. 22 CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS
1.7 Incompressible Navier-Stokes equations
The conservation of mass and momentum can be written Dρ ∂u + ρ i = 0 Dt ∂xi Du ∂p ∂τ ρ i = + ij + ρF i Dt −∂xi ∂xj ∂u ∂u 2 ∂u τ = µ i + j k δ ij ∂x ∂x − 3 ∂u ij j i k for incompressible flow ρ = constan t, which from the conservation of mass equation implies ∂u i = 0 ∂xi implying that a fluid particle experiences no change in volume. Thus the conservation of mass and momentum reduce to
∂ui ∂ui 1 ∂p 2 + uj = + ν ui + Fi ∂t ∂xj −ρ ∂xi ∇ ∂ui = 0 ∂xi
since the components of the viscous stress tensor can now be written ∂ ∂u ∂u 2 ∂u ∂2u i + j k δ = i = 2u ∂x ∂x ∂x − 3 ∂x ij ∂x ∂x ∇ i j j i k j j We have also introduced the kinematic viscosity, ν, above, defined as
ν = µ/ρ The incompressible version of the conservation of mass and momentum equations are usually referred to as the incompressible Navier-Stokes equations, or just the Navier-Stokes equations in case it is evident that the incompressible limit is assumed. The reason that the energy equation is not included in the incompressible Navier-Stokes equations is that it decouples from the momentum and conservation of mass equations, as we will see below. In addition it can be worth noting that the conservation of mass equation is sometimes referred to as the continuity equation. The incompressible Navier-Stokes equations need boundary and initial conditions in order for a solution to be possible. Boundary conditions (BC) on solid surfaces are ui = 0. They are for obvious reasons usually referred to as the no slip conditions. As initial condition (IC) one needs to specify the velocity field at the 0 initial time ui (t = 0) = ui . The pressure field does not need to be specified as it can be obtained once the velocity field is specified, as will be discussed below.
Integral form of the Navier-Stokes eq. We have derived the differential form of the Navier-Stokes equations. Sometimes, for example when a finite-volume discretization is derived, it is convenient to use an integral form of the equations. An integral from of the continuity equation is found by integrating the divergence constraint over a fixed volume VF and using the Gauss theorem. We have ∂ (ui) dVF = uini dSF = 0 ∂xi VZ ZS An integral form of the momentum equation is found by taking the time derivative of a fixed volume integral of the velocity, substituting the differential form of the Navier-Stokes equation, using the continuity equation and Gauss theorem. We have
2 ∂ ∂ui ∂ 1 ∂p ∂ ui ui dV = dV = (ujui) + ν dV = ∂t ∂t − ∂xj ρ ∂xi − ∂xj ∂xj VZF VZF VZF
∂ 1 ∂ui p ∂ui ujui + pδij ν dV = uiuj nj + ni ν nj dS − ∂xj ρ − ∂xj − ρ − ∂xj VZF SZF PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) 1.7. INCOMPRESSIBLES (t) NAVIER-STOKES EQUATIONS 23 V (t + ∆t) V (t) S (t−+ ∆t)
u £¤£¤£¤£¤£¤£¤£¤£¤£¤£¤£
n ¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥ £¤£¤£¤£¤£¤£¤£¤£¤£¤£¤£ V (t + ∆t) ¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥¤¥ p Tw T
Tw 0 U0 L
¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦
§¤§¤§¤§¤§¤§¤§¤§¤§¤§¤§
¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦¤¦ §¤§¤§¤§¤§¤§¤§¤§¤§¤§¤§ T , U 0 0 L
Figure 1.12: Examples of length, velocity and temperature scales.
Note that the integral from of the continuity equation is a compatibility condition for BC in incom- pressible flow.
Dimensionless form
It is often convenient to work with a non-dimensional form of the Navier-Stokes equations. We use the following scales and non-dimensional variables
xi tU0 ui p ∂ 1 ∂ ∂ U0 ∂ xi∗ = t∗ = ui∗ = p∗ = = = L L U0 p0 ∂xi L ∂xi∗ ∂t L ∂t∗ ⇒
where ∗ signifies a non-dimensional variable. The length and velocity scales have to be chosen appropri- ately from the problem under investigation, so that they represent typical lengths and velocities present. See figure 1.12 for examples. If we introduce the non-dimensional variables in the Navier-Stokes equations we find
2 2 2 U0 ∂ui∗ U0 ∂ui∗ p0 ∂p∗ νU0 ∂ ui∗ + u∗ = + L · ∂t L j ∂x −ρL ∂x L2 ∂x ∂x ∗ j∗ i∗ j∗ j∗ U0 ∂ui∗ = 0 L · ∂xi∗ 2 Now drop * as a sign of non-dimensional variables and divide through with U0 /L, we find
∂ui ∂ui p0 ∂p ν 2 + uj = 2 + ui ∂t ∂xj −ρU0 ∂xi U0L∇ ∂ui = 0 ∂xi We have defined the Reynolds number Re as
2 U0L U0 /L “inertial forces” Re = = 2 ν νU0/L “viscous forces”
which can be interpreted as a measure of the inertial forces divided by the viscous forces. The Reynolds number is by far the single most important non-dimensional number in fluid mechanics. We also define the pressure scale as
2 p0 = ρU0
which leaves us with the final form of the non-dimensional incompressible Navier-Stokes equations as
∂ui ∂ui ∂p 1 2 + uj = + ui ∂t ∂xj −∂xi Re∇ ∂ui = 0 ∂xi 24 CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS
Non-dimensional energy equation We stated above that the energy equation decouple from the rest of the Navier-Stokes equations for in- compressible flow. This can be seen from a non-dimensionalization of the energy equation. We use the definition of the enthalpy (h = cpT ) to write the thermal energy equation as DT Dp ρc = + Φ + κ 2T p Dt Dt ∇ and use the following non-dimensional forms of the temperature and dissipation function
2 T T0 L T ∗ = − Φ∗ = Φ T T U 2µ w − 0 0 This leads to
2 DT ∗ µ κ 2 U0 Dp∗ µ = ∗ T ∗ + + φ∗ Dt ρU L · µc · ∇ c (T T ) Dt ρU L ∗ 0 p p w − 0 ∗ 0 2 1 1 2 U0 Dp∗ 1 = ∗ T ∗ + + Φ∗ Re · P r · ∇ c (T T ) Dt R p w − 0 ∗ a2 Ma2 0 cp(Tw−T0) | {z } U0 where a0 speed of sound in free-stream and Ma = is Mach number. We now drop ∗ and let Ma 0 a0 → to obtain DT 1 1 = 2T Dt Re · P r · ∇ µcp where the Prandtl number P r = κ , which takes on a value of 0.7 for air. As the Mach number approaches zero, the fluid behaves as an ≈incompressible medium, which can be seen from the definition of the speed of sound. We have
γ 1 ∂ρ a = , α = 0 ρα ρ ∂p T where α is the isothermal compressibility coefficient. If the densit y is constant, not depending on p, we have that α 0 and a , which implies that Ma 0. → 0 → ∞ → 1.8 Role of the pressure in incompressible flow
The role of the pressure in incompressible flow is special due to the absence of a time derivative in the continuity equation. We will illustrate this in two different ways.
Artificial compressibility First we discuss the artificial compressibility version of the equations, used sometimes for solution of the steady equations. We define a simplified continuity equation and equation of state as ∂ρ ∂u + i = 0 and p = βρ ∂t ∂xi This allows us to write the Navier-Stokes equations as
∂ui ∂ ∂p 1 2 + (uj ui) = + ui ∂t ∂xj −∂xi Re∇ ∂p ∂ui + β = 0 ∂t ∂xi Let p βu βv βw u p + u2 uv uw u = e = f = g = v uv p + v2 vw w uw vw p + β2 1.8. ROLE OF THE PRESSURE IN INCOMPRESSIBLE FLOW 25
be the vector of unknowns and their fluxes. The Navier-Stokes equations can then be written ∂u ∂e ∂f ∂g 1 + + + = 2Du ∂t ∂x ∂y ∂z Re∇ ∂u ∂u ∂u ∂u 1 or + A + B + C = 2Du ∂t ∂x ∂y ∂z R∇ where the matrices above are defined
0 β 0 0 0 0 β 0 ∂e 1 2u 0 0 ∂f 0 v u 0 A = = , B = = ∂u 0 v u 0 ∂u 1 0 2v 0 0 w 0 u 0 0 w v 0 0 0 β 0 0 0 0 ∂g 0 v u 0 0 1 0 0 C = = , D = ∂u 1 0 2v 0 0 0 1 0 0 0 w v 0 0 0 1 the eigenvalues of A, B, C are thewave speeds of plane waves in the respectiv e coordinate directions, they are
u, u, u u2 + β , v, v, v v2 + β and w, w, w w2 + β Note that the effectivpe acoustic or pressure wavpe speed √β for incompressiblep flow. ∼ → ∞ Projection on a divergence free space Second we discuss the projection of the velocity field on a divergence free space. We begin by the following theorem.
Theorem 1. Any wi in Ω can uniquely be decomposed into ∂p wi = ui + ∂xi
∂ui where = 0, ui ni = 0 on ∂Ω. ∂xi · i.e. into a function ui that is divergence free and parallel to the boundary and the gradient of a function, here called p. ∂p Proof. We start by showing that ui and is orthogonal in the L2 inner product. ∂xi ∂p ∂p ∂ ui, = ui dV = (uip) dV = puini dS = 0 ∂xi ∂xi ∂xi ΩZ ΩZ ∂IΩ The uniqueness of the decomposition can be seen by assuming that we have two different decompositions and showing that they have to be equivalent. Let
(1) (2) (1) ∂p (2) ∂p wi = ui + = ui + ∂xi ∂xi The inner product between
(1) (2) ∂ (1) (2) (1) (2) ui ui + p p and ui ui − ∂xi − − gives
2 2 (1) (2) (1) (2) ∂ (1) (2) (1) (2) 0 = ui ui + ui ui p p dV = ui ui dV − − ∂xi − − ΩZ ΩZ Thus we have (1) (2) (1) (2) ui = ui , p = p + C PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 3 26 r CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) Gradient fields S (t−+ ∆t) u n V (t + ∆t) wi ∂p p ∂xi T0, U0 Tw L ui T0 U0
Divergence free vectorfields // to boundary
Figure 1.13: Projection of a function on a divergence free space.
We can find an equation for a p with above properties by noting that
2 ∂wi ∂p p = in Ω with = wini on ∂Ω ∇ ∂xi ∂n has a unique solution. Now, if ∂p ui = wi − ∂xi ⇒ we have 2 ∂ui ∂wi ∂ p ∂p 0 = = ; and 0 = uini = wini ∂xi ∂xi − ∂xi∂xi − ∂n
∂p To sum up, to project wi on divergence free space let wi = ui + ∂xi ∂w ∂p 1) solve for p : i = 2p, = 0 ∂xi ∇ ∂n ∂p 2) let ui = wi − ∂xi This is schematically shown in figure 1.13. Note also that (w u ) u . i − i ⊥ i Apply to Navier-Stokes equations
Let P be orthogonal projector which maps wi on divergence free part ui, i.e. Pwi = ui. We then have the following relations
∂p wi = Pwi + ∂xi ∂p Pui = ui, P = 0 ∂xi Applying the orthogonal projector to the Navier-Stokes equations, we have
∂u ∂p ∂u 1 P i + = P u i + 2u ∂t ∂x − j ∂x Re∇ i i j Now, ui is divergence free and parallel to boundary, thus 1.8. ROLE OF THE PRESSURE IN INCOMPRESSIBLE FLOW 27
∂u ∂u P i = i ∂t ∂t However,
P 2u = 2u ∇ i 6 ∇ i 2 since ui need not be parallel to the boundary. Thus we find an evolution equation without the pressure, ∇we have
∂ui ∂ui 1 2 = P uj + ui ∂t − ∂xj Re∇ wi The pressure term in the Naiver-Stokes equations| ensures{z that the} right hand side wi is divergence free. We can find a Poisson equation for the pressure by taking the divergence of wi, according to the result above. We find
2 ∂ ∂ui 1 2 ∂uj ∂ui p = uj + ui = ∇ ∂xi − ∂xj Re∇ − ∂xi ∂xj wi thus the pressure satisfies elliptic Poisson| equation,{z which} links the velocity field in the whole domain instantaneously. This can be interpreted such that the information in incompressible flow spreads infinitely fast, i.e. we have an infinite wave speed for pressure waves, something seen in the analysis of the artificial compressibility equations.
Evolution equation for the divergence It is common in several numerical solution algorithms for the Naiver-Stokes equations to discard the diver- gence constraint and instead use the pressure Poisson equation derived above as the second equation in the incompressible Naiver-Stokes equations. If this is done we may encounter solutions that are not divergence free. Consider the equation for the evolution of the divergence, found by taking the divergence of the mo- mentum equations and substituting the Laplacian of the pressure with the right hand side of the Poisson equation. We have
∂ ∂u 1 ∂u i = 2 i ∂t ∂x Re∇ ∂x i i Thus the divergence is not automatically zero, but satisfies a heat equation. For the stationary case the solution obeys the maximum principle. This states that the maximum of a harmonic function, a function satisfying the Laplace equation, has its maximum on the boundary. Thus, the divergence is zero inside the domain, if and only if it is zero everywhere on the boundary. Since it is the pressure term in the Navier-Stokes equations ensures that the velocity is divergence free, this has implications for the boundary conditions for the pressure Poisson equation. A priori we have none specified, but they have to be chosen such that the divergence of the velocity field is zero on the boundary. This may be a difficult constraint to satisfy in a numerical solution algorithm. 28 CHAPTER 1. DERIVATION OF THE NAVIER-STOKES EQUATIONS PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ Chapterri xi , t 2 u x 0, tˆ i i P tˆ= 0 x Flowu1physics u2 > u1 x1 x2 x3 2.1 Exact0 solutions xi ui dtˆ 0 Plane Pouseuilledxi flow - exact solution for channel flow du dtˆ The flow insidei the two-dimensional channel, see figure 2.1, is driven by a pressure difference p p between r dtˆ 0 1 the inlet andi the outlet of the channel. We will assume two-dimensional, steady flow, i.e. − dr dtˆ i P 1 ∂ P = 0, u3 = 0 2 ∂t x1 and that the flow is fully developed, meaning that effects of inlet conditions have disappeared. We have x2 x3 3 R u1 = u1 (x2) , u2 = u2 (x2) R2 The boundary1 conditions are u = u = 0 at x = h. The continuity equation reads R 1 2 2 r3 0 0 r2 ∂u7 ∂u ∂u7 r1 1 2 3 π + + = 0 2 + dϕ12 ∂x1 ∂x2 ∂x3 V (t) where the first and the last term disappears due to the assumption of two-dimensional flow and that S (t) the flow is fully developed. This implies that u = C = 0, where the constant is seen to be zero from the V (t + ∆t) V (t) 2 boundary conditions. S (t−+ ∆t) The steady momentum equations read u n ∂u ∂u ∂p V (t + ∆t) ρu 1 + ρu 1 = + µ 2u 1 ∂x 2 ∂x ∂x 1 p 1 2 − 1 ∇ ∂u2 ∂u2 ∂p 2 T0, U0 ρu1 + ρu2 = + µ u2 ρg ∂x1 ∂x2 −∂x2 ∇ − Tw which, by applyingL the assumptions above, reduce to T0 U0 x2 Gradient fields L
wi ¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨©¨ ∂ © © © © © © © © © © © © © © © © © © © © © p ∂xi h ui Divergence free vectorfields // to boundary p0 > p1
p1 x1
© © © © © © © © © © © © © © © © © © © © ©
© © © © © © © © © © © © © © © © © © © © ©
© © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © © ©
Figure 2.1: Plane channel geometry.
29 PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields 30 wi CHAPTER 2. FLOW PHYSICS ∂p ∂xi ui Divergence free vectorfields // to boundary L h u x1 x2 p > p 0 1 n p1 dS
u n · ∆t Figure 2.2: Volume of fluid flowing through surface dS in time ∆t
2 ∂p d u1 0 = + µ 2 −∂x1 dx2 ∂p 0 = ρg −∂x2 −
The momentum equation in the x2-direction (or normal direction) implies ∂p dP p = ρgx2 + P (x1) = − ⇒ ∂x1 dx1
showing that the pressure gradient in the x1-direction (or streamwise direction) is only a function of x1. The momentum equation in the streamwise direction implies
2 dP d u1 0 = + µ 2 − dx1 dx2
Since P (x1) and u1 (x2) we have
2 d u1 1 dP 2 = = const. (independent of x1, x2) dx2 µ dx1
We can integrate u1 in the normal direction to obtain
1 dP 2 u1 = x2 + C1x2 + C2 2µ dx1
The constants can be evaluated from the boundary conditions u1 ( h) = 0, giving the parabolic velocity profile
2 2 h dP x2 u1 = 1 2µ · dx1 − h Evaluating the maximum velocity at the center of the channel we have
h2 dP umax = > 0 −2µ · dx1
if flow is in the positive x1-direction. The velocity becomes u x 2 1 = 1 2 umax − h Flow rate From figure 2.2 we can evaluate the flow rate as dQ = u n dS. Integrating over the channel we find · h 2h3 dP 4 Q = uini dS = channel = u1 dx2 = = humax { } h − 3µ · dx1 3 ZS Z− PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi 2.1. EXACT SOLUTIONS 31 ui Divergence free vectorfields // to boundary y L h x1 x2 p0 > p1 p1 u n dS u n∆t · u0
p0 x
Figure 2.3: Stokes instantaneously plate.
Wall shear stress The wall shear stress can be evaluated from the velocity gradient at the wall. We have
du1 2µ umax x2 τ12 = τ21 = µ = · 2 · dx2 − h implying that
2µ umax τwall = τ x = h = 2 − h
Vorticity
The vorticity is zero in the streamwise and normal directions, i.e. ω1 = ω2 = 0 and has the following expression in the x3-direction (or spanwise direction)
∂u2 ∂u1 du1 2umax x2 ω3 = = = 2 · ∂x1 − ∂x2 − dx2 h
Stokes 1:st problem: instantaneously started plate Consider the instantaneously starting plate of infinite horizontal extent shown in figure 2.3. This is a time dependent problem where plate velocity is set to u = u0 at time t = 0. We assume that the velocity can be written u = u(y, t) which using continuity and the boundary conditions imply that normal velocity v = 0. The momentum equations reduce to
∂u 1 ∂p ∂2u = + ν ∂t −ρ ∂x ∂y2 1 ∂p 0 = g −ρ ∂y −
The normal momentum equation implies that p = ρgy + p0, where p0 is the atmospheric pressure at the plate surface. This gives us the following diffusion −equation, initial and boundary conditions for u
∂u ∂2u = ν ∂t ∂y2 u(y, 0) = 0 0 y ≤ ≤ ∞ u(0, t) = u0 t > 0 u( , t) = 0 t > 0 ∞
We look for a similarity solution, i.e. we introduce a new dependent variable which is a combination of y and t such that the partial differential equation reduces to an ordinary differential equation. Let 32 CHAPTER 2. FLOW PHYSICS
u f(η) = η = C y tb u0 · · where C and b are constants to be chosen appropriately. We transform the time and space derivatives according to
∂ ∂η d b 1 d = = Cbyt − ∂t ∂t dη dη ∂ ∂η d d = = Ctb ∂y ∂y dη dη ∂2 d2 = C2t2b ∂y2 dη2 If we substitute this into the equation for u and use the definition of η, we find an equation for f
2 1 df 2 2b d f bt− η = νC t dη dη2 where no explicit dependence on y and t can remain if a similarity solution is to exist. Thus, the coefficient of the two η-dependent terms have to be proportional to each other, we have
1 2 2b bt− = κνC t where κ is a proportionality constant. The exponents of these expressions, as well as the coefficients in front of the t-terms have to be equal. This gives 1 1 b = C = −2 √ 2κν − We choose κ = 2 and obtain the following − y f 00 + 2ηf 0 = 0 η = 2√νt d where 0 = dη . The boundary and initial conditions also have to be compatible with the similarity assumption. We have
u(y, 0) u(0, t) u( , t) = f( ) = 0 = f(0) = 1 ∞ = f( ) = 0 u0 ∞ u0 u0 ∞ This equation can be integrated twice to obtain
η ξ2 f = C1 e dξ + C2 Z0 Using the boundary conditions and the definition of the error-function, we have
η 2 2 f = 1 eξ dξ = 1 erf(η) − √π − Z0 This solution is shown in figure 2.4, both as a function of the similarity variable η and the unscaled normal coordinate y. Note that the time dependent solution is diffusing upward. From the velocity we can calculate the spanwise vorticity as a function of the similarity variable η and the unscaled normal coordinate y. Here the maximum of the vorticity is also changing in time, from the infinite value at t = 0 it is diffusing outward in time.
∂v ∂u u0 η2 ω3 = ωz = = e− ∂x − ∂y √πνt The vorticity is shown in figure 2.5, both as a function of the similarity variable η and the unscaled normal coordinate y. Note again that the time dependent solution is diffusing upward.
2.2 Vorticity and streamfunction
Vorticity is an important concept in fluid dynamics. It is related to the average angular momentum of a fluid particle and the swirl present in the flow. However, a flow with circular streamlines may have zero vorticity and a flow with straight streamlines may have a non-zero vorticity. PSfrag replacements PSfrag replacements
x, x1 x, x1 y, x2 y, x2 z, x3 z, x3 u, u1 u, u1 v, u2 v, u2 w, u3 w, u3 x1 x1 x2 x2 PSfrag replacements 0 PSfrag replacements 0 xi xi x,0x1ˆ x,0x1ˆ ri xi , t ri xi , t y,0x2ˆ y,0x2ˆ ui xi , t ui xi , t z, x3 z, x3 P tˆ= 0 P tˆ= 0 u, u1 u, u1 v, u2x v, u2 x w, u3u1 w, u3u1 u > u u > u 2 x1 1 2 x1 1 x x x2 1 x2 1 0x 0x xi 2 xi 2 r x 0, tˆx3 r x 0, tˆ x3 i i 0 i i 0 u x 0, tˆxi u x 0, tˆxi i i ˆ i i ˆ P ui dt P ui dt tˆ= 0 0 tˆ= 0 0 dxi dxi x x duidtˆ duidtˆ u1 u1 ri dtˆ ri dtˆ u2 > u1 u2 > u1 dri dtˆ dri dtˆ x1 x1 P1 P1 x2 x2 P2 P2 x3 x3 0x1 0x1 xi xi x2 x2 ui dtˆ ui dtˆ 0x3 0x3 dxi dxi R3 R3 dui dtˆ dui dtˆ 2 2 ri dtˆR ri dtˆR 1 1 dr dtˆR dr dtˆR i 3 i 3 P r P r 1 2 1 2 Pr Pr 2r1 2r1 π x1 π x1 2 + dϕ12 2 + dϕ12 Vx(2t) Vx2(t) Sx(3t) Sx3(t) 3 3 V (t + ∆t) VR(t) V (t + ∆t) VR(t) 2 2 S (t−+R∆t) S (t−+R∆t) 1 1 R u R u r3 r3 2n 2 n V (t + ∆r t) V (t + r∆t) 1 1 r p r p π + dϕ π + dϕ 2 T ,12U 2 T ,12U V 0(t) 0 V 0(t) 0 T T S (t)w S (t) w V (t + ∆t) V (t)L V (t + ∆t) V (t)L T T S (t−+ ∆t) 0 S (t−+ ∆t) 0 U0 U0 Gradient fieldsu Gradient fieldsu n n wi wi V (t + ∆t∂)p V (t + ∆t∂)p ∂pxi ∂pxi ui ui T0, U0 T0, U0 Divergence free vectorfields // to boundary Divergence free vectorfields // to boundary Tw Tw LL LL T0h T0 h x1 x1 U0 U0 x x Gradient fields 2 Gradient fields 2 p0 > p1 p0 > p1 wi wi ∂pp1 ∂pp1 2.2.∂xVORTICITY AND STREAMFUNCTION ∂x 33 i u i u ui ui n n 8 Divergence free vectorfields // to boundary 2 Divergence free vectorfields // to boundary dS dS L 1.8 L 7 u n∆t 1.6 u n∆t · h · h 6 x 1.4 x
x1 x1 5 y 1.2 y x2y x2 η = √u0 1 y = η√4uν0t 4 p0 > p14νt p0 > p1 t 0.8 p0 p0 3 p1 py1 0.6 η = √4νt 2 u 0.4 u
1 y = η√4nνt 0.2 n dS 0 dS 0 t 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 u n∆t u u n∆t u · u0 · u0 Figurex 2.4: Velocity above the instantaneously started plate.x a) U as a function of the similarity variable y y η. b) U(y, t) for various times. u0 u0
8 p0 2 p0 η = y η = y √4νt 1.8 √4νt 7 u u 1.6 u0 u0 6 y = η√4νt 1.4 y = η√4νt 5 t 1.2 t 1 y4 η η 0.8 t y 3 0.6 ω˜(η) u0 ωz = · 2 √πνt 0.4 1 t 0.2 0 ωz√πνt 0 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 = ω˜(η) 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 u0 ωz√πνt ω˜(η) u0 = ω˜(η) ωz = · u0 √πνt Figure 2.5: Vorticity above the instantaneously started plate. a) ωz√πνt/u0 as a function of the similarity variable η. b) ωz(y, t) for various times.
Vorticity and circulation The vorticity is defined mathematically as the curl of the velocity field as ω = u ∇ × In tensor notation this expression becomes
∂uk ωi = ijk ∂xj Another concept closely related to the vorticity is the circulation, which is defined as
Γ = ui dxi = uiti ds IC IC In figure 2.6 we show a closed curve C. Using Stokes theorem we can transform that integral to one over the area S as ∂u Γ = n k dS = ω n dS ijk i ∂x i i ZS j ZS This allows us to find the following relationship between the circulation and vorticity dΓ = ωini dS, which can also be written dΓ = ω n dS i i Thus, one interpretation is that the vorticity is the circulation per unit area for a surface perpendicular to the vorticity vector.
Example 1. The circulation of an ideal vortex. Let the azimuthal velocity be given as uθ = C/r. We can calculate the circulation of this flow as 2π Γ = uθr dθ = C dθ = 2πC IC Z0 Thus we have the following relationship for the ideal vortex Γ u = θ 2πr PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 34 p0 CHAPTER 2. FLOW PHYSICS η = y √4νt u u0 y = η√4νt dxi = ti ds t η y ω˜(η) u ω = · 0 z √πνt t S C
Figure 2.6: Integral along a closed curve C with enclosed area S.
The ideal vortex has its name from the fact that its vorticity is zero everywhere, except for an infinite value at the center of the vortex.
Derivation of the Vorticity Equation We will now derive an equation for the vorticity. We start with the dimensionless momentum equations. We have ∂ui ∂ui ∂p 1 2 + uj = + ui ∂t ∂xj −∂xi Re∇ We slightly modify this equation by introducing the following alternative form of the non-linear term ∂u ∂ 1 u i = u u + ω u j ∂x ∂x 2 j j ijk j k j i this can readily be derived using tensor manipulation. We take the curl ( ∂ ) of the momentum pqi ∂xq equations and find
∂ ∂u ∂2 1 ∂ ∂2p 1 ∂u i + u u + ( ω u ) = + 2 i ∂t pqi ∂x pqi ∂x ∂x 2 j j pqi ∂x ijk j k − pqi ∂x ∂x Re pqi∇ ∂x q q i q q i q
The second and the fourth terms are zero, since pqi is anti-symmetric in i, q and ∂xq∂xi is symmetric in i, q ∂2 pqi = 0 ∂xq∂xi The first term and the last term can be written as derivatives of the vorticity, and we now have the following from of the vorticity equation ∂ωp ∂ 1 2 + pqi (ijkωjuk) = ωp ∂t ∂xq Re∇ The second term in this equation can be written as ∂ ∂ ∂ ∂ ipqijk (ωj uk) = (δpj δqk δpkδqj ) (ωj uk) = (ωpuk) (ωj up) = ∂xq − ∂xq ∂xk − ∂xj
∂ωp ∂uk ∂ωj ∂up uk + ωp up ωj ∂xk ∂xk − ∂xj − ∂xj
2 Due to continuity ∂ωj = ∂ uq = 0 and we are left with the relation ∂xj jpq ∂xj ∂xp
∂ ∂ωp ∂up ipqijk (ωj uk) = uk ωj ∂xq ∂xk − ∂xj Thus, the vorticity equation becomes
∂ωp ∂ωp ∂up 1 2 + uk = ωj + ωp ∂t ∂xk ∂xj Re∇ or written in vector-notation Dω 1 = (ω )u + 2ω Dt · ∇ Re∇ 2.2. VORTICITY AND STREAMFUNCTION 35
Components in Cartesian coordinates In cartesian coordinates the components of the vorticity vector in three-dimensions become e e e x y z ∂w ∂v ∂u ∂w ∂v ∂u ω = ∂ ∂ ∂ = e + e + e ∂x ∂y ∂z ∂y − ∂z x ∂z − ∂x y ∂x − ∂y z u v w
For two-dimensional flow it is easy to see that this reduces to a non-zero vorticity in the spanwise direction, but zero in the other two directions. We have ∂v ∂u ω = 0, ω = 0, ω = x y z ∂x − ∂y This simplifies the interpretation and use of the concept of vorticity greatly in two-dimensional flow.
Vorticity and viscocity There exists a subtle relationship between flows with vorticity and flows on which viscous forces play a role. It is possible to show that ω = 0 viscous forces = 0 ∇ × 6 ⇐⇒ 6 This means that without viscous forces there cannot be a vorticity field in the flow which varies with the coordinate directions. This is expressed by the following relationship
∂τij 2 ∂ωk = µ ui = µijk ∂xj ∇ − ∂xj This can be derived in the following manner. We have
∂ωk ∂ ∂ µijk = µijkkmn un − ∂xj − ∂xj ∂xm 2 ∂ un = µ(δimδjn δinδjm) − − ∂xj ∂xm ∂2u = µ i ∂xj ∂xj = µ 2u ∇ i Terms in the two-dimensional vorticity equation In two dimensions the equation for the only non-zero vorticity component can be written
∂ω3 ∂ω3 ∂ω3 2 + u1 + u2 = ν ω3 ∂t ∂x1 ∂x2 ∇ We will take two examples elucidating the meaning of the terms in the vorticity equation. First the diffusion of vorticity and second the advection or transport of vorticity. Example 2. Diffusion of vorticity: the Stokes 1st problem revisited. From the solution of Stokes 1st problem above, we find that the vorticity has the following form
ω3 = ωz = ω(y, t) and that it thus is a solution of the following diffusion equation ∂ω ∂2ω = ν ∂t ∂y2 The time evolution of the vorticiy can be seen in figure 2.7, and is given by
u0 η2 y ω = e− , where η = √πνt 2√νt where the factor √νt can be identified as the diffusion length scale, where we have used the following dimensional relations L2 [ν] = , [t] = T [√νt] = L T ⇒ PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 PSfrag replacements x u1 x, x1 u2 > u1 y, x2 x1 z, x3 x2 u, u1 x3 v, u2 0 xi w, u3 ui dtˆ x1 dx 0 x i 2 du dtˆ x 0 i i r dtˆ r x 0, tˆ i i i dr dtˆ u x 0, tˆ i i i P P tˆ= 0 1 P2 x x1 u1 x2 u2 > u1 x3 x 1 R3 x 2 R2 x 3 R1 x 0 i r3 u dtˆ i r2 dx 0 i r1 ˆ π dui dt + dϕ12 ˆ 2 ri dt V (t) dr dtˆ i S (t) P1 V (t + ∆t) V (t) − P2 S (t + ∆t) x1 u x2 n x3 V (t + ∆t) R3 p 2 R T0, U0 1 R Tw r3 L 2 r T0 1 r U0 π + dϕ 2 12 Gradient fields V (t) wi S (t) ∂p ∂x V (t + ∆t) V (t) i − ui Divergence freeS (tv+ectorfields∆t) // to boundary u L n h V (t + ∆t) x1 p x2 T0, U0 p0 > p1 Tw p1 L u T 0 n U 0 dS Gradient fields u n∆t w i · x 36 ∂p CHAPTER 2. FLOW PHYSICS ∂xi y ui u0 8 Divergence free vectorfields // to boundary p0 η = y L √4νt 7 h u u0 6 x1 y = η√4νt x2 t 5 p0 > p1 η y 4 p 1 y t ω˜(η) u 3 u ω = · 0 z √πνt n 2 dS t 1 u n∆t
· 0 x 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 y ω u0 Figure 2.7: A sketch of the evolution of vorticity in Stokes 1st problem. p0 η = y √4νt v, y u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt
t z }| ω = 0 6 { x, u
Figure 2.8: Stagnation point flow with a viscous layer close to the wall.
In this flow the streamlines are straight lines and therefore the non-linear term, or the transport/advection term, is zero. We now turn to an example where the transport of vorticity is important. Example 3. Transport/advection of vorticity: Stagnation point flow. The stagnation point flow is depicted in figure 2.8, and is a flow where a uniform velocity approaches a plate where it is showed down and turned to a flow parallel two the plates in both the positive and negative x-direction. At the origin we have a stagnation point. The inviscid stagnation point flow is given as follows u = cx ∂v ∂u inviscid: ω = ω = = 0 v = cy ⇒ z ∂x − ∂y − Note that this flow has zero vorticity and that it does not satisfy the no-slip condition (u = v = 0, y = 0). In order to satisfy this condition we introduce viscosity, or equally, vorticity. Thus close to the plate we have to fulfill the equation ∂ω ∂ω ∂2ω ∂2ω u + v = ν + ∂x ∂y ∂x2 ∂y2 The two first terms represent advection or transport of vorticity. We will try a simple modification of the inviscid flow close to the boundary, which is written as
u = xf 0(y) v = f(y) − This satisfies the continuity equation, and will be zero on the boundary and approach the inviscid flow far above the plate if we apply the following boundary conditions u = v = 0, y = 0 u cx, v cy, y ∝ ∝ − → ∞ The vorticity can be written ω = xf 00(y). We introduce this and the above definitions of the velocity components into the vorticity equation,− and find
f 0f 00 + ff 000 + νf 0000 = 0 − PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x 2.2. VORTICITY AND STREAMFUNCTIONy 37 u0 p0 1.5 η = y √4νt F u u0 y = η√4νt F 0 t 1 η y F,ω˜F(η0), uF000 ω = · z √πνt t 0.5 η
F 00
0 0 1 η 2
Figure 2.9: Solution to the non-dimensional equation for stagnation point flow. F is proportional to the normal velocity, F 0 to the streamwise velocity and F 00 to the vorticity.
The boundary conditions become f = f 0 = 0 y = 0 f cy, f 0 c, y ∝ ∝ → ∞ An integral to the equation exists, which can be written
2 2 f 0 ff 00 νf 000 = K = evaluate y = c − − { → ∞} This is as far as we can come analytically and to make further numerical treatment simpler we make the equation non-dimensional with ν and c. Note that they have the dimensions
L2 1 [ν] = , [c] = T T
and that we can use the length scale ν/c and the velocity scale √νc to scale the independent and the dependent variables as p y η = ν/c f(y) F (η) = p √νc
This results in the following non-dimensional equation
2 F 0 F F 00 F 000 = 1 − − with the boundary conditions F = F 0 = 0, η = 0 F η, η ∝ → ∞ In figure 2.9 a solution of the equation is shown. It can be seen that diffusion of vorticity from the wall is balanced by transport downward by v and outward by u. The thin layer of vortical flow close to the wall has the thickness ν/c. ∼ p Stretching and tilting of vortex lines In three-dimensions the vorticity is not restricted to a single non-zero component and the three-dimensional vorticity equation governing the vorticity vector becomes
∂ωi ∂ωi ∂ui 1 2 + uj = ωj + ωi ∂t ∂xj ∂xj Re∇
advection of vorticity diffusion of vorticity | {z } | {z } PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y 38 u0 CHAPTER 2. FLOW PHYSICS p0 η = y √4νt u u0 dr y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t C(t)
Figure 2.10: A closed material curve.
The complex motion of the vorticity vector for a full three-dimensional flow can be understood by an analogy to the equation governing the evolution of a material line, discussed in the first chapter. The equation for a material line is
D ∂ui dri = drj Dt ∂xj
Note that if we disregard the diffusion term, i.e. the last term of the vorticity equation, the two equations are identical. Thus we can draw the following conclusions about the development of the vortex vector
i) Stretching of vortex lines (line ω) produce ω like stretching of dr produces length k i i
ii) Tilting vortex lines produce ωi in one direction at expense of ωi in other direction
Helmholz and Kelvin’s theorems
The analogy with the equation for the material line directly give us a proof of Helmholz theorem. We have Theorem 1. Helmholz theorem for inviscid flow: Vortex lines are material lines in inviscid flow. A second theorem valid in inviscid flow is Kelvin’s theorem. Theorem 2. Kelvin’s theorem for inviscid flow: Circulation around a material curve is constant in inviscid flow.
Proof. We show this by considering the circulation for a closed material curve, see figure 2.10,
Γm = ui dri IC(t) We can evaluate the material time derivative of this expression with the use of Lagrangian coordinates as follows
DΓ D m = u dr Dt Dt i i IC(t) Lagrange coordinates 0 ˆ 0 ˆ = ui = ui(xi , t) = ui(xi (m), t) 0 ˆ 0 ˆ ri = ri(xi , t) = ri(xi (m), t) d ∂ri = ui dm dtˆ ∂m Im ∂ui ∂ri ∂ ∂ri = dm + ui dm ∂tˆ ∂m ∂tˆ ∂m Im Im The last term of this expression will vanish since
∂ ∂ri ∂ui ∂ 1 ui dm = ui dm = uiui dm = 0 ∂tˆ ∂m ∂m ∂m 2 Im Im Im PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 2.2. VORTICITY ANDpSTREAMFUNCTION0 39 η = y √4νt u u0y, v y = η√4νt t u = (u, v) η y ω˜(η) u ω = · 0 z √πνt t dy
dx
x, u
Figure 2.11: A streamline which is tangent to the velocity vector.
Thus we find the following resulting expression
DΓ Du m = i dr Dt Dt i IC(t) ∂p 1 = + 2u dr −∂x Re∇ i i IC(t) i 1 = 2u dr 0, Re Re ∇ i i → → ∞ IC(t) Which shows that the circulation for a material curve changes only if the viscous force = 0 6
Streamfunction
We end this section with the definition and some properties of the streamfunction. To define the stream- function we need the streamlines which are tangent to the velocity vector. In two dimensions, see figure 2.11, we have dx u dx dy = = u dy v dx = 0 dy v ⇐⇒ u v ⇐⇒ −
and in three dimensions we can write dx dy dz = = u v w For two-dimensional flow we can find the streamlines using a streamfunction. We can introduce a streamfunction ψ = ψ(x, y) with the property that the streamfunction is constant along streamlines. We can make the following derivation
∂ψ ∂ψ dψ = dx + dy ∂x ∂y ∂ψ ∂ψ = assume u = , v = and check for consistency ∂y − ∂x = u dy v dx − = 0, on streamlines
We can also quickly check that the definition given above satisfies continuity. We have
∂u ∂v ∂2ψ ∂2ψ + = = 0 ∂x ∂y ∂x∂y − ∂y∂x
Another property of the streamfunction is that the volume flux between two streamlines can be found from the difference by their respective streamfunctions. We use figure 2.12 and figure 2.13 in the following derivations of the volume flux: PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x PSfrag replacemenuts1 u2 > u1 x, x1 x1 y, x2 x2 z, x3 x3 u, u01 xi v, u2 ui dtˆ w, u03 dxi x1 dui dtˆ x2 ri dtˆ0 xi dri 0dtˆ ri x i , t P u x 0, tˆ1 i i P P tˆ= 02 x1 x x2 u1 x3 u2 > u1 R3 x1 R2 x2 R1 x3 r0 xi r2 ui dtˆ r01 π + ddϕxi 2 12ˆ dVui(dt)t r dtˆ i S (t) dr dtˆ V (t + ∆t) i V (t) − P S (t + ∆t1) P u2 xn1 V (t + ∆xt2) xp3 3 T0,RU0 2 TRw 1 RL 3 Tr0 2 Ur0 r1 Gradienπ t fields + dϕ12 2 wi V ∂(tp) S∂(xti) V (t + ∆t) V (ut)i Divergence free vectorfields // to boundary S (t−+ ∆t) L u h xn V (t + ∆t1) x p2 p0 > p1 T0, U0 p1 Tw u L n T0 dS U0 u n∆t Gradient fields · x wi ∂py ∂x u0i pu0i Divergence free vectorfields // to bηoundary= y √4νt uL u0 y = η√4νht x 1t xη2 p > p CHAPTER 2. FLOW PHYSICS 40 0 y1 ω˜(η) up01 ωz = · √πνtu B nt Ψ = ΨB dS S u n∆t n · x y A u0 p0 Ψ = ΨA η = y √4νt u Figure 2.12: Integration paths between two streamlines. u0 y = η√4νt t η y ω˜(η) u0 ωz = · ds √πνt nx tdy
ny n = 1 | |
dx − Figure 2.13: The normal vector to a line element.
B QAB = uini ds ZA B = (nxu + nyv) ds ZA ds 1 ds 1 = = , = dy n − dx n x y B B = (u dy v dx) = dψ = ψ ψ − B − A ZA ZA 2.3 Potential flow
Flows which can be found from the gradient of a scalar function, a so called potential, will be dealt with in this section. Working with the velocity potential, for example, will greatly simplify calculations, but also restrict the validity of the solutions. We start with a definition of the velocity potential, then discuss simplifications of the momentum equations when such potentials exist, and finally we deal with two-dimensional potential flows, where analytic function theory can be used.
Velocity potential Assume that the velocity can be found from a potential. In three dimensions we have ∂φ ui = or u = φ ∂xi ∇ with the corresponding relations in two dimensions ∂φ u = ∂x ∂φ v = ∂y There are several consequences of this definition of the velocity field. 2.3. POTENTIAL FLOW 41
i) Potential flow have no vorticity, which can be seen by taking the curl of the gradient of the velocity potential, i.e. 2 ∂uk ∂ φ ωi = ijk = ijk = 0 ∂xj ∂xj ∂xk
ii) Potential flow is not influenced by viscous forces, which is seen by the relationship between viscous forces and vorticity, derived earlier. We have
∂τij 2 ∂ωk = µ ui = µijk ∂xj ∇ − ∂xj
iii) Potential flow satisfies Laplace equation, which is a consequence of the divergence constraint applied to the gradient of the velocity potential, i.e.
∂u ∂2φ i = = 2φ = 0 ∂xi ∂xi∂xi ∇
Bernoulli’s equation For potential flow the velocity field can thus be found by solving Laplace equation for the velocity potential. The momentum equations can then be used to find the pressure from the so called Bernoulli’s equation. We start by rewriting the momentum equation
∂ui ∂ui 1 ∂p 2 + uj = + ν ui gδi3 ∂t ∂xj −ρ ∂xi ∇ − using the alternative form of the non-linear terms, i.e.
∂u ∂ 1 u i = u u u ω j ∂x ∂x 2 k k − ijk j k j i and obtain the following equation
∂u ∂ 1 p ∂ω i + u u + + gx = u ω + ν k ∂t ∂x 2 k k ρ 3 ijk j k ijk ∂x i j This equation can be integrated in for two different cases: potential flow (without vorticity) and sta- tionary inviscid flow with vorticity.
i) Potential flow. Introduce the definition of the velocity potential u = ∂φ into the momentum equation i ∂xi above, we have ∂ ∂φ 1 p + u u + + gx = 0 ∂x ∂t 2 k k ρ 3 ⇒ i ∂φ 1 p + (u2 + u2 + u2) + + gx = f(t) ∂t 2 1 2 3 ρ 3 ii) Stationary, inviscid flow with vorticity. Integrate the momentum equations along a streamline, see figure 2.14. We have
∂ 1 p u t u u + + gx ds = i u ω ds = 0 i ∂x 2 k k ρ 3 ijk u j k ⇒ Z i Z 1 p (u2 + u2 + u2) + + gx = constant along streamlines 2 1 2 3 ρ 3 Thus, Bernoulli’s equation can be used to calculate the pressure when the velocity is known, for two different flow situations. Example 4. Ideal vortex: Swirling stationary flow without vorticity. The velocity potential u = φ in polar coordinates can be written ∇ ∂φ u = r ∂r 1 ∂φ u = θ r ∂θ PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 PSfrag replacemenu2 > uts1 x, x1 y, x2 z, x3 x 0 u, ui1 ˆ uv,i ud2t dx 0 w, ui3 ˆ dui xd1t r dtˆ i x2 0 dri dxtˆ i r x 0,Ptˆ i i 1 u x 0,Ptˆ i i 2 P tˆ= x01 x2 x x3 u1 3 u2 >Ru1 2 Rx1 1 Rx2 3 xr3 02 xri r1ˆ π ui dt 2 + dϕ120 dxi V (t) dui dtˆ S (t) ri dtˆ V (t + ∆t) V (t) dr dtˆ S (t−i+ ∆t) P1 u P2 n V (t + ∆xt1) x p2 x3 T0, U0 R3 Tw R2 L R1 T0 r3 U0 r2 Gradient fields r1 π wi 2 + dϕ∂12p V ∂(xti) S (ut)i Divergence free vectorfieldsV (//t +to∆bt)oundaryV (t) S (t−+ ∆tL) uh xn1 V (t + ∆xt2) p0 > pp1 p T0, U10 Tuw Ln dTS0 u n∆Ut · 0 Gradient fieldsx y wi ∂up0 ∂xi p0 η = yui √4νt Divergence free vectorfields // to boundaryu 42 CHAPTER 2. FLOW PHYSICS uL0 y = η√4νt h t u x1 η x2 y pω˜0(>η) up1 ω = · 0 z √πνpt1 ut n t = u dS u u n∆t Figure 2.14: In·tegrationx of the momentum equation along a streamline. y u0 r p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t
Figure 2.15: Streamlines for the ideal vortex.
The velocity potential satisfies Laplace equation, which in polar coordinates becomes 1 ∂ 1 ∂φ 1 ∂2φ 2φ = + = 0 ∇ r ∂r r ∂r r ∂θ2 ∂φ The first term vanishes since ∂r = ur = 0. Integrate the resulting equation twice and we find φ = Cθ + D The constant D is arbitrary so we can set it to zero. Using the definition of the circulation we find C Γ u = , C = θ r 2π We can easily find the streamfunction for this flow. In polar coordinates the streamfunction is defined 1 ∂ψ u = r r ∂θ ∂ψ u = θ − ∂r Note that the streamfunction satisfies continuity, i.e. u = 0. We use the solution from the velocity potential to find the streamfunction, we have ∇ · ∂ψ Γ Γ = ψ = ln r ∂r −2πr ⇒ −2π The streamfunction is constant along streamlines resulting in circular streamlines, see figure 2.15 We can now use Bernoulli’s equation to calculate the pressure distribution for the ideal vortex as
2 1 2 Γ uθ + p = p p = p 2 ∞ ⇒ ∞ − 8π2r2 Note that the solution has a singularity at the origin.
Two-dimensional potential flow using analytic functions For two-dimensional flows we can use analytic function theory, i.e. complex valued functions, to calculate the velocity potential. In fact, as we will show in the following. Any analytic function represents a two- dimensional potential flow. 2.3. POTENTIAL FLOW 43
We start by showing that both the velocity potential and the streamfunciton satisfy Laplace equation. Velocity potential φ for two-dimensional flow is defined ∂φ u = ∂x ∂φ v = ∂y Using the continuity equation gives ∂u ∂v + = 2φ = 0 ∂x ∂y ∇ The streamfunction ψ is defined ∂ψ u = ∂y ∂ψ v = − ∂x By noting that potential flow has no vorticity we find ∂v ∂y ω = + = 2ψ = 0 − −∂x ∂y ∇ Thus, both the velocity potential φ and the streamfunction ψ satisfy Laplace equation. We can utilize analytic function theory by introducing the complex function F (z) = φ(x, y) + iψ(x, y) where z = x + iy = reiθ = r(cos θ + i sin θ) which will be denoted the complex potential. We now recall some useful results from analytic function theory.
F 0(z) exists and is unique F (z) is an analytic function ⇐⇒ The fact that a derivative of a complex function should be unique rests on the validity of the Cauchy– Riemann equations. We can derive those equations by requiring that a derivative of a complex function should be the same independent of the direction we take the limit in the complex plane, see figure 2.16. We have 1 F 0(z) = lim [F (z + ∆z) F (z)] ∆z 0 ∆z → − 1 = lim [φ(x + ∆x, y) φ(x, y) + iψ(x + ∆x, y) iψ(x, y)] ∆x 0 ∆x − − → 1 = lim [φ(x, y + ∆y) φ(x, y) + iψ(x, y + ∆y) iψ(x, y)] i∆y 0 i∆y − − → ∂φ ∂ψ = real part ∂x ∂y ⇒ ∂ψ 1 ∂φ ∂ψ ∂φ i = = imaginary part ∂x i ∂y ⇒ ∂x − ∂y Thus we have the Cauchy–Riemann equations as a necessary requirement for a complex function to be analytic, i.e. ∂φ ∂ψ ∂φ ∂ψ = and = ∂x ∂y ∂y − ∂x Using the Cauchy-Riemann equations we can show that the real φ and imaginary part ψ of the complex potential satisfy Laplace equations and thus that they are candidates for identification with the velocity potential and streamfunction of a two-dimensional potential flow. We have ∂2φ ∂ ∂ψ ∂ ∂ψ ∂2φ = = = ∂x2 ∂x ∂y ∂y ∂x − ∂y2 ∂2ψ ∂ ∂φ ∂ ∂φ ∂2ψ = = = ∂y2 ∂y ∂x ∂x ∂y − ∂x2 PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t 44 · x CHAPTER 2. FLOW PHYSICS y u0 iy p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t x |
i∆y {z ∆x } | {z }
Figure 2.16: The complex plane and the definitions of analytic functions.
In addition to satisfying the Laplace equations, we also have to show that the Cauchy-Riemann equations are consistent with the definition of the velocity potential and the streamfunciton. The Cauchy–Riemann equations are ∂φ ∂ψ u = = ∂x ∂y ∂φ ∂ψ v = = ∂y − ∂x which recovers the definitions of the velocity potential and the streamfunction. Thus any analytic complex function can be identified with a potential flow, where the real part is the velocity potential and the imaginary part is the streamfunction. We can now define the complex velocity as the complex conjugate of the velocity vector since
dF ∂φ ∂ψ W (z) = = + i = u iv dz ∂x ∂x − It will be useful to have a similar relation for polar coordinates, see figure 2.17. In this case we have
u = ur cos θ uθ sin θ v = u sin θ +−u cos θ r θ iθ W (z) = u iv = [u (r, θ) iu (r, θ)] e− − r − θ cos θ i sin θ − We will now take several examples of how potential velocity fields|can{z} be found from analytic functions. iα Example 5. Calculate the velocity field from the complex potential F = Ue− z. The complex velocity becomes iα W (z) = F 0 = Ue− = U(cos α i sin α) − which gives us the solution for the velocity field in physical variables, see figure 2.18, as
u = U cos α v = U sin α
Example 6. Calculate the velocity field from the complex potential F = Azn. In polar coordinates the complex potential becomes Arneinθ = Arn cos(nθ) + iArn sin(nθ) Thus the velocity potential and the streamfunction can be identified as
φ = Arn cos(nθ) ψ = Arn sin(nθ) PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) PSfrag replacemenS (tst) V (t + ∆t) V (t) x, x1 S (t−+ ∆t) y, x2 z, xu3 u, un1 V (t + ∆t) v, u2 p w, u3 T0, U0 x1 Tw x2 0 xiL 0 Tˆ0 ri xi , t u x 0,Utˆ0 i i GradienP ttˆfields= 0 wi ∂px ∂uxi u1 u > u i Divergence free vectorfields // to boundary2 1 x1 L x2 h x3 x10 xi x2 ui dtˆ p0 > p01 dxi p1 dui dtˆ u ri dtˆ n 2.3. POTENTIAL FLOdWri dtˆ dS 45 P1 u n∆Pt · x2 xy1 x2 u0 x3 p0 η = yR3 √4νt Ru2 u01 y y = η√4Rνt r3 2t v rη r1 π y 2 +ω˜(dη)ϕu12 ω = · 0 z √Vπν(tt) u˜
S (t)t uθ V (t + ∆t) V (t) S (t−+ ∆t) u u r u n V (t + ∆t) r p T0, U0 θ Tw L x T0 FigureU0 2.17: The definition of polar coordinates. Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt α t η y ω˜(η) u ω = · 0 z √πνt t
Figure 2.18: Constant velocity at an angle α. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 PSfrag replacements x1 x, x12 0 y,xxi2 0 ˆ ri xiz, xt 3 u x u,0, utˆ1 i i P tˆ=v, u02 w, u x3 x1 u1 x2 u2 > u01 xi 0 xˆ1 ri xi , t 0 x2 ui x , tˆ i x3 P tˆ= 00 xi ui dxtˆ 0 dxui1 u2d>ui ud1tˆ ri dxtˆ1 dri dxtˆ2 x P13 x 0 Pi2 u dtˆ i x1 dx 0 xi2 du dtˆ i x3 r dtˆ i R3 dr dtˆ2 i R P R1 P r23 xr12 xr21 π 2 + dϕx123 V R(t3) S R(t2) V (t + ∆t) V R(t1) − S (t + ∆rt3) ru2 r1 π n V2(+t +d∆ϕ12t) V (tp) T0S, (Ut0) V (t + ∆t) V T(t) − w S (t + ∆tL) Tu0 Un0 GradienV (tt+fields∆t) wpi ∂p PSfrag replacemenT0, Uts0 ∂xi x,Txw1 ui Divergence free vectorfields // to boundaryy, xL2 z, Tx L03 u,Uu h01 v, u2 Gradient fieldsx1 w, wu3i x2 ∂xp p0 >∂px1i x pu12i x 0 Divergence free vectorfields // to boundaryiu r x 0, tˆ i i Ln u x 0, tˆ i i dSh P tˆ= 0 u n∆x1t · x x2 p0 > upy1 u2 > up10 xpu01 η = y √4xνn2t 46 u CHAPTER 2. FLOW PHYSICS dxuS03 0 y =uη√n4x∆νi t · Ψ = 0 ui dxtˆ 0t dxiηy Ψ = 0 dui udy0tˆ ω˜(η) uˆ0 ω =ri d·tp0 z η =√πνyt dri √d4tˆνt ut π Pu01 √ n y = η 4Pν2t Ψ = 0 x1t η x2 Figure 2.19: Flow towards a corner. xy3 ω˜(η) u ω = · 03 z √πνRt
2 Rt Ψ = 0 R1 r3 r2Figure 2.20: Uniform flow over a flat plate. r1 π 2 + dϕ12 and we can calculate the complexV (t) velocity as S (t) n 1 W (z) = F 0 = nAz − V (t + ∆t) V (t) n 1 inθ iθ S (t−+ ∆t) = nAr − e e− n 1 iθ u = nAr − [cos(nθ) + i sin(nθ)]e− This gives us the solution for then velocity in polar coordinates as V (t + ∆t) n 1 p ur = nAr − cos(nθ) n 1 T , U u = nAr − sin(nθ) 0 0 θ − T This is a flow which approachesw a corner, see figure 2.19. The streamfunction is zero on the walls and on the stagnation point streamline.L By solving for the zero streamlines we can calculate the angle between a T wall aligned with the x-axis and0 the stagnation point streamline. We have U0 πk Gradient fields ψ = Arn sin(nθ) = 0 θ = wi ⇒ n ∂p Figure 2.20 shows the uniform∂xi flow over a flat plate which results when n = 1. Figure 2.21 shows the stagnationui point flow when n = 2. Here the analysis can be done in Cartesian Divergence cofreeordinatesvectorfields // to boundary
L 2 h F = Az x1 W (z) = F 0 = 2Az x2 = 2A(x + iy) p > p 0 1 u = 2Ax p1 ⇒ v = 2Ay u − n Figure 2.22 shows the flow towards a wedge when 1 n 2. The velocity along the wedge edge (x axis dS in figure 2.22) is ≤ ≤ u n∆tn 1 n 1 n 1 ur =·nAr − cos(nθ) θ = 0 u = ur = nAr − = Cx − x ⇒ { } ⇒ The wedge angle is y 2π n 1 u0 ϕ = 2π = 2π − p0 − n n η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0
z √πνt
t
Figure 2.21: Stagnation point flow when n = 2. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u PSfrag replacemen1 ts u2 > u1 x, x1 x1 y, x2 x2 z, x3 x3 0 u, u1 xi v, u2 ui dtˆ 0 w, u3 dxi x dui dtˆ 1 x ri dtˆ 2 x 0 dr dtˆ i i 0 ˆ riPxi , t 1 0 ˆ ui xi , t P 2 P tˆ= 0 x 1 x 2 x x3 u1 Ru23 > u1 R2 x1 R1 x2 3 x3 r 0 r2 xi ˆ r1 ui dt π dx 0 2 + dϕ12 i V (t)dui dtˆ S (rt)i dtˆ dr dtˆ V (t + ∆t) V (t)i S (t−+ ∆t) P 1 u P2 n x1 V (t + ∆t) x2 p x3 T0, U0 R3 Tw R2 L R1 T0 r3 U0 r2 Gradient fields r1 π 2 w+i dϕ12 ∂p V (t) ∂xi S (t) ui Divergence free vectorfields // Vto(bt oundary+ ∆t) V (t) S (t−+ ∆t) L h u x1 n V (t + ∆t) x2 p0 > p1 p p1T0, U0 u Tw n L dS T0 u n∆t U0 Gradien· txfields y wi ∂p u0 ∂xi 2.3. POTENTIAL FLOW p0 ui 47 η = y Divergence free vectorfields // to √boundary4νt u u0 L y = η√4νt h t x1 η x2 py0 > p1 ϕ ω˜(η) u ω = · 0 p1 z √πνt u t n dS Figureu n2.22:∆t The flow over a wedge when 1 n 2. · x ≤ ≤ y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t
Figure 2.23: Line source.
We now list several other examples of potential flow fields obtained from analytic functions. Example 7. Line source. m F (z) = ln z 2π m = ln(reiθ) 2π m = [ln r + iθ] 2π The velocity potential and the streamfunction become m φ = ln r 2π m ψ = θ 2π The complex velocity can be written as
m m iθ W (z) = F 0 = = e− 2πz 2πr which gives the solution in polar coordinates, see figure 2.23, as m u = r 2πr uθ = 0
We can now calculate the volume flux from thesource as 2π m Q = r dθ = m 2πr Z0
Example 8. Line vortex. Γ F (z) = i ln z − 2π Γ = [θ i ln r] 2π − PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS 48 CHAPTER 2. FLOW PHYSICS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t
Figure 2.24: Ideal vortex.
The velocity potential and the streamfunction become Γ φ = θ 2π Γ ψ = ln r −2π The complex velocity can be written as
Γ iθ W (z) = F 0 = i e− − 2πr which gives the solution in polar coordinates, see figure 2.24, as
ur = 0
Γ u = θ 2πr Example 9. The dipole has the complex potential m F (z) = πz Example 10. The potential flow around a cylinder has the complex potential
r2 F (z) = Uz + U 0 z Example 11. The potential flow around a cylinder with circulation has the complex potential
r2 Γ z F (z) = Uz + U 0 i ln z − 2π r0 Example 12. Airfoils. The inviscid flow around some airfoils can be calculated with conformal mappings of solutions from cylinder with circulation.
2.4 Boundary layers
For flows with high Reynolds number Re, where the viscous effects are small, most of the flow can be considered inviscid and a simpler set of equations, the Euler equations, can be solved. The Euler equations are obtained if Re in the Navier-Stokes equations. However, the highest derivatives are present in the viscous terms, th→us∞a smaller number of boundary conditions can be satisfied when solving the Euler equations. In particular, the no flow condition can be satisfied at a solid wall but not the no slip condition. In order to satisfy the no slip condition we need to add the viscous term. Thus, there will be a layer close to the solid walls where the viscous terms are important even for very high Reynolds number flow. This layer will be very thin and the flow in that region is called boundary layer flow. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 PSfrag wreplacemen, u3 ts
x1 x, x1 x2 y, x2 x 0 i z, x3 r x 0, tˆ i i u, u1 u x 0, tˆ i i v, u2 P tˆ= 0 w, u 3 x x 1 u1 x2 0 u2 > u1 xi 0 ˆ xr1i xi , t xu x 0, tˆ 2i i x3P tˆ= 0 x 0 i x u dtˆ i u1 dx 0 i u2 > u1 du dtˆ i x1 ri dtˆ x2 dr dtˆ i x3 P x 0 1 i P2 ui dtˆ 0 x1 dxi x2 dui dtˆ x3 ri dtˆ 3 R dri dtˆ 2 R P1 1 R P2 3 r x1 2 r x2 1 r x3 π + dϕ 2 12 R3 V (t) R2 S (t) R1 V (t + ∆t) V (t) r3 S (t−+ ∆t) r2 u r1 π n2 + dϕ12 V (t + ∆t) V (t) p S (t) V (tT+0,∆Ut0) V (t) − TSw(t + ∆t) L u T0 n UV0(t + ∆t) Gradient fields p wi T , U ∂p 0 0 ∂xi Tw ui L Divergence free vectorfields // to boundary T0 L U0 Gradienh t fields x1 wi x ∂p 2 ∂xi p > p 0 1 ui Divergence free vectorfields // topb1oundary u L n h dS x1 u n∆t x · 2 x p0 > p1 y p1 u0 u p0 n η = y √4νt u dS u0 u n∆t y = η√4νt · x t y 2.4. BOUNDARY LAYERS 49 η u0 y p0 ω˜(η) u y · 0η = ωz = √ √4νt πνt u }δ t u0 ω 0√ y =≈η 4νt U t → η y L ω˜(η) u ω = · 0 z √πνt Figure 2.25: Estimatetof the viscous region for an inviscid vorticity free inflow in a plane channel. Ly, v }δ ω 0 U U≈ → δ
x, u L
Figure 2.26: Boundary layer profile close to a solid wall.
We begin this section by estimating the thickness of the viscous region in channel with inviscid inflow (zero vorticity), see figure 2.25. By analogy to the Stokes solution for the instantaneously starting plate, we can estimate the distance the vorticity has diffused from the wall toward the channel centerline as δ √νts. Where ts is time of a L ∼ fluid particle with velocity U has travelled length L, i.e. t = . Thus we can estimate δ/L as s U
δ √νt 1 νL 1/2 ν 1/2 1 = s = = = 0 as Re ⇒ L L L U UL √Re → → ∞ We will now divide the flow into a central/outer inviscid part and a boundary layer part close to walls, where the no slip condition is fulfilled. Since we expect this region to be thin for high Reynolds numbers, we expect large velocity gradients near walls. We choose different length scales inside boundary layer and in inviscid region as indicated in figure 2.26, as Inviscid : U velocity scale for u, v : L length scale for x, y
BL : U velocity scale for u : α velocity scale for v : L length scale for x : δ length scale for y
The pressure scale is assumed to be ρU 2 for both the inner and the outer region. The unknown velocity scale for the normal velocity α is determined using continuity
∂u ∂v + = 0 ∂x ∂y U α O O|{z} L |{z} δ which implies that
U α δ = α = U L δ ⇒ L In this manner both terms in the continuity equation have the same size. Let us use these scalings in the steady momentum equations and disregard small terms. We obtain the following estimates for the size of the terms in the normal momentum equation 50 CHAPTER 2. FLOW PHYSICS
∂v ∂v 1 ∂p ∂2v ∂2v y : u + v = + ν + ν ↑ ∂x ∂y −ρ ∂y ∂x2 ∂y2
1 δU δU 1 δU 2 ν δU U U ν δU · L L L · δ · L δ L2 · L δ2 L δ 2 δ 2 1 δ 2 1 1 L L Re L Re where the last line was obtained by dividing all the terms on the second line by U 2/δ. When R and δ/L is small, only pressure term (1), which implies that → ∞ O ∂p = 0 p = p(x) ∂y ⇒ Thus, the pressure is constant through the boundary layer, given by the inviscid outer solution. Next we estimate the size of the terms in the streamwise momentum equation as
∂u ∂u 1 ∂p ∂2u ∂2u x : u + v = + ν + ν → ∂x ∂y −ρ ∂x ∂x2 ∂y2 U 2 δU U U 2 ν ν U U L L · δ L L2 · δ2 1 1 L 2 1 1 1 Re Re · δ The first three terms are order one and the fourth term negligible when the Reynolds number become large. In order to keep the last term, the only choice that gives a consistent approximation, we have to assume that
δ 1 L ∼ √Re which is the same estimate as we found for the extent of the boundary layer in the channel inflow case. Thus we are left with the parabolic equation in x since the second derivative term in that direction is neglected. We have
∂u ∂u 1 ∂p ∂2u u + v = + ν ∂x ∂y −ρ ∂x ∂y2 In summary, the steady boundary layer equations for two-dimensional flow is
∂u ∂u 1 ∂p ∂2u u + v = + ν ∂x ∂y −ρ ∂x ∂y2 ∂u ∂v + = 0 ∂x ∂y with the initial (IC) and boundary conditions (BC) IC : u (x = x0, y) = uin (y) BC : u (x, y = 0) = 0 v (x, y = 0) = 0 u (x, y ) = u (x) outer inviscid flow → ∞ e
where the initial condition is at x = x0 and the equations are marched in the downstream direction. There are several things to note about these equations. First, vin cannot be given as its own initial condition. By using continuity one can show that once the u0 is given the momentum equation can be written in the form ∂v + f (y) v = g (y) −∂y which can be integrated in the y-direction to give the initial normal velocity. Second, the system of equations is a third order system in y and thus only three boundary conditions can be enforced. We have the no flow and the no slip conditions at the wall and the u = ue in the free stream. Thus no boundary condition for v in the free stream can be given. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L 2.4. BOUNDARY LAYERS}δ 51 ω 0 U≈ u0 u0 y→, v x, u
L
U δ
Figure 2.27: Boundary layer flow over a flat plate with zero pressure gradient.
Third, ue(x) = uinv(x, y = 0), i.e. the boundary layer solution in the free stream approaches the inviscid solution evaluated at the wall, since the thickness of the boundary layer is zero from the inviscid point of view. Fourth, the pressure gradient term in the momentum equation can be written in terms of the edge velocity ue using the Bernoulli equation. We have 1 p (x) + ρu2 (x) = const 2 e which implies that 1 dp du = u e −ρ dx e dx
Blasius flow over flat plate Consider the boundary layer equations for a flow over a flat plate with zero pressure gradient, i.e. the outer inviscid flow is ue (x) = u0. The boundary layer equations become
∂u ∂u ∂2u u + v = ν ∂x ∂y ∂y2 ∂u ∂v + = 0 ∂x ∂y
IC : u (x = x0, y) = u0 BC : u (x, y = 0) = 0 v (x, y = 0) = 0 u (x, y ) = u → ∞ 0 We introduce the two-dimensional stream function Ψ ∂Ψ ∂Ψ u = , v = ∂y − ∂x which implicitly satisfies continuity. The boundary layer equations become
∂Ψ ∂2Ψ ∂Ψ ∂2Ψ ∂3Ψ = ν ∂y · ∂x∂y − ∂x · ∂y2 ∂y3 with appropriate initial and boundary conditions.
Similarity solution We will now look for a similarity solution. Let ∂Ψ y u = = u f 0 (η) , η = ∂y 0 δ (x) which by integration in the y-direction implies
Ψ (x, y) = u0δ (x) f (η) We can now evaluate the various terms in the momentum equation. We give two below
∂Ψ ∂η y v = = u δ0f + δf 0 = u δ0f f 0δ0 = u (ηf 0 f) δ0 − ∂x − 0 ∂x − 0 − δ 0 − PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt CHAPTER 2. FLOW PHYSICS 52 t L Blasius profile }δ 5 ω 0 ≈ U 4 y→, v
x, u 3 η = y L √νx/u0
U 2 δ u0 1
0 0 0.2 0.4 0.6 0.8 1 u f 0 = u0
Figure 2.28: Similarity solution giving the Blasius boundary layer profile.
∂2Ψ η = u f 00 δ0 ∂x∂y − 0 δ If these and the other corresponding terms are introduced into the momentum equation we have the following equation for f
2 η 2 f 00δ0 f 000 u f 0f 00 δ0 + u (ηf 0 f) = νu − 0 δ 0 − δ 0 δ2 which can be simplified to
u0δδ0 f 000 + ff 00 = 0 ν
For a similarity solution to be possible, the coefficient in front of the ff 00 term has to be constant. This implies
u0δδ0 1 1 ν dx 1 2 1 νx = δδ0 dx = δ = ν 2 ⇒ 2 u ⇒ 2 2 u Z Z 0 0 νx which implies that δ (x) = , where we have chosen the constant of integration such that δ = 0 u0 when x = 0. We are left with ther Blasius equation and boundary conditions 1 f 000 + ff 00 = 0 2
f (0) = f (0) = 0 BC : 0 f 0 ( ) = 1 ∞ The numerical solution to the Blasius equation gives the self-similar velocity profile seen in figure 2.28. The boundary layer thickness can be evaluated as the height where the velocity has reached 99% of the free stream value. We have
δ99 νx f 0 (η99) = 0.99 η99 = = 4.9 δ99 = 4.9 ⇒ νx ⇒ u0 u0 r q where it can be seen that the boundary layer thickness grows as √x.
Displacement thickness and skin friction coefficient
Another measure of the boundary layer thickness is the displacement δ∗ of the wall needed in order to have the same volume flux of the inviscid flow as for the flow in the boundary layer. With the help of figure 2.29 we can evaluate this as
y0 y y u dy u0 dy = u0 dy δ∗u0 ≡ ∗ − Z0 Zδ Z0 which implies that PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 PSfrag replacements xi r x 0, tˆ x, x i i 1 0 ui x , tˆ y, x2 i P tˆ= 0 z, x3 u, u1 x v, u2 u1 w, u3 u2 > u1 x1 x1 x2 x2 0 xi x3 0 ˆ 0 ri xi , t xi 0 ˆ ui x , tˆ ui dt i 0 P tˆ= 0 dxi du dtˆ x i ri dtˆ u1 dri dtˆ u2 > u1 P x1 1 P x2 2 x3 x1 0 xi x2 ui dtˆ x3 0 3 dxi R 2 dui dtˆ R 1 ri dtˆ R 3 dri dtˆ r r2 P1 P r1 π2 + dϕ x2 12 1 V (t) x 2 S (t) x3 V (t + ∆t3) V (t) RS (t−+ ∆t) R2 u R1 3 n Vr (t + ∆t) r2 p r1 π T0, U0 2 + dϕ12 V (t) Tw S (t) L V (t + ∆t) V (t) T0 S (t−+ ∆t) U0 Gradienu t fields wi n ∂p V (t + ∆t) ∂xi p ui Divergence free vectorfields // to boundary T0, U0 Tw L L h T0 x1 U0 x2 Gradient fields p0 > p1 wi p1 ∂p u ∂xi n ui Divergence free vectorfields // to boundary dS u n∆t L · x h y x1 u0 x2 p > p p0 0 1η = y √4νt p1 u u u0 y = η√4νt n dS t η u n∆t · y x ω˜(η) u ω = · 0 z y √πνt u0 t p0 L η = y √4νt }δ u u0 ω 0 y = η√4νt U≈ → t y, v η x, u 2.4. BOUNDARY LAYERS 53 y L ω˜(η) u ω = · 0 z √πνt U δ t u0 η =L y }δ √νx/u0 u f 0 = ω 0 u0 δ∗
BlasiusU≈ profile
y→, v x, u L Figure 2.29: The displacement thickness δ∗ U = Pressure force δ ⇐ u0 η = y √νx/u0 u f 0 = u0 Blasius profile
δ∗ x
Separation point
Figure 2.30: Boundary layer separation caused by a pressure force directed upstream, a so called adverse pressure gradient.
∞ u νx ∞ δ∗ = 1 dy = [1 f 0 (η)] dη − u u − Z0 0 r 0 Z0 νx If we evaluate this expression for the Blasius boundary layer we have δ∗ = 1.72 . u0 A quantity which is of large importance in practical applications is the skin frictionq coefficient. The skin friction at the wall is
2 2 ∂u µu0 ρu0 0.332ρu0 τw = µ = f 00 (0) = f 00 (0) = u0x ∂y y=0 δ √Rex ν
where the last term is the expression evaluated for Blasiusp flow. This can be used to evaluate the skin friction coefficient as
τw 0.664 Cf = 1 2 = 2 ρu0 √Rex where the last terms again is the Blasius value.
Boundary layer separation
∂p A large adverse pressure gradient ∂x > 0 may cause a back flow region close to wall, see figure 2.30. The boundary layer equationscannotbe integrated past a point of separation, since they become singular at that point. This can be seen from the following manipulations of the boundary layer equations. If we take the momentum equation
∂u ∂u 1 dp ∂2u u + v = + ν ∂x ∂y −ρ dx ∂y2 take the normal derivative and use continuity we have
∂2u ∂2u ∂3u u + v = ν ∂x∂y ∂y2 ∂y3 If we again take the normal derivative and use continuity we can write this as
1 ∂ ∂u 2 ∂3u ∂u ∂2u ∂3u ∂4u + u + v = ν 2 ∂x ∂y ∂x∂y2 − ∂x ∂y2 ∂y3 ∂y4 This expression evaluated at the wall, with the use of the boundary conditions, become 54 CHAPTER 2. FLOW PHYSICS
2 1 ∂ ∂u ∂4u = ν 2 ∂x ∂y ∂y4 y=0! y=0
κ 2 which can be integrated to yield | {z }
2 ∂u = κ2x + C ∂y y=0!
∂u At the point of separation x = xs, i.e. where ∂y = 0 this expression is y=0 !
∂u = κ√x x ∂y s − y=0
We can see that the boundary layer equations are not valid beyond point of separation since we have a square root singularity at that point. In addition, the point of separation is the limiting point after which there is back flow close to the wall. This means that there is information propagating upstream, invalidating the downstream parabolic nature of the equations assumed by the downstream integration of the equations. In practical situations it is very important to be able to predict the point of separation, for example when an airfoil stalls and experience a severe loss of lift.
2.5 Turbulent flow Reynolds average equations Turbulent flow is inherently time dependent and chaotic. However, in applications one is not usually interested in knowing full the details of this flow, but rather satisfied with the influence of the turbulence on the averaged flow. For this purpose we define an ensemble average as
N 1 (n) Ui = ui = lim ui N N →∞ n=1 X (n) where each member of the ensemble ui is regarded as an independent realization of the flow. We are now going to derive an equation governing the mean flow Ui. Divide the total flow into an average and a fluctuating component ui0 as
ui = ui + ui0 p = p + p0 and introduce into the Navier-Stokes equations. We find
∂ui0 ∂ui ∂ui ∂ui0 ∂ui ∂ui0 1 ∂p0 1 ∂p 2 2 + + uj0 + uj + uj + uj0 = + ν ui0 + ν ui ∂t ∂t ∂xj ∂xj ∂xj ∂xj −ρ ∂xi − ρ ∂xi ∇ ∇ We take the average of this equation, useing
u0 = 0 u u = u u0 = 0 i j0 i i · j which gives
∂ui ∂ui 1 ∂p 2 ∂ + uj = + ν ui ui0 uj0 ∂t ∂xj −ρ ∂xi ∇ − ∂xj ∂ui = 0 ∂xi where the average of thecontinuity equation also has been added. Now, let Ui = ui, as above, and drop the 0. We find the Reynolds average equations 2.5. TURBULENT FLOW 55
∂Ui ∂Ui 1 ∂P ∂ + Uj = + (τij uiuj ) ∂t ∂xj −ρ ∂xi ∂xj − ∂Ui ∂xi where uiuj is the Reynoldsstress. Thus the effect of the turbulence on the mean is through an additional stress Rij which explicitly written out is
u2 uv uw 2 [Rij ] = [uiuj ] = uv v vw uw vw w2 The diagonal component of this stress is the kinetic energy of the turbulent fluctuations
1 k = R /2 = u u /2 = u2 + v2 + w2 ii i i 2 Turbulence modelling One may derive equations for the components of the Reynolds stress tensor. However, they would involve additional new unknowns, and the equations for those would in turn involve even more unknowns. This closure problem implies that if one cannot calculate the complete turbulent flow, but is only interested in the mean, the effect of the Reynolds stress components on in the Reynolds average equations have to be modelled. The simplest consistent model is to introduce a turbulent viscosity as a proportionality constant between the Reynolds stress components and the strain or deformation rate tensor, in analogy with the stress-strain relationship in for Newtonian fluids. We have
2 R = kδ 2νT E ij 3 ij − ij
The first term on the right hand side is introduced to give the correct value of the trace of Rij . Here the deformation rate tensor is calculated based on the mean flow, i.e.
1 ∂U ∂U 2 ∂U E = i + j r δij ij 2 ∂x ∂x − 3 ∂x j i r where we have assumed incompressible flow. Introducing this into the Reynolds average equations gives
∂Ui ∂Ui ∂ P 2 1 ∂P 2 + U = + k δ + 2 (ν + νT ) E = + (ν + νT ) U ∂t j ∂x ∂x − ρ 3 ij ij −ρ ∂x ∇ i j j i
where the last equality assumes that νT is constant, an approximation only true for very simple turbulent flow. It is introduced here only to point out the analogy between the molecular viscosity and the turbulent viscosity.
The turbulent viscosity νT must be modelled and most numerical codes which solved the Navier-Stokes equations for practical applications uses some kind of model for νT . For simple shear flows, i.e. velocity fields of the form U(y), the main Reynolds stress component becomes
∂U uv = νT − ∂y
where, in analogy with kinetic gas theory, νT
νT = uT l
Here, uT is a characteristic turbulent velocity scale and l is a characteristic turbulent length scale. In kinetic gas theory l would be the mean free path of the molecules and uT the characteristic velocity of the molecules. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L }δ ω 0 U≈ y→, v x, u L U δ 56 CHAPTER 2. FLOW PHYSICS u0 η = y √νx/u0 u y f 0 = u0 Blasius profile
δ∗ x uT Separation point = Pressure force
⇐ l !"!"!"!"!"!"!"!"!"!"!"!"!"! #"#"#"#"#"#"#"#"#"#"#"#"# x
Figure 2.31: Prantdl’s mixing length l is the length for which a fluid particle displaced in the normal direction can be expected to retain its horizontal momentum.
Zero-equation models
The simplest model for uT and l is to model them algebraically.
In simple free shear flows like jets, wakes and shear layers we can take νT as constant in normal direction or y-direction and to vary in a self-similar manner in x. In wall bounded shear flow we can take l as Prandtl’s mixing length (1920’s). This is a normal distance over which the particle retains its momentum and is depicted in figure 2.31.
We can thus evaluate uT and find νT
dU 2 dU uT = l νT = l dy ⇒ dy
Define τw as the shear stress at the w all and uτ = τw/ρ as the skin friction velocity. With p uT = u , l = κ y τ · as Prandtl’s estimation of mixing length we get
dU uT u U 1 = = τ = ln y + C. dy l κy ⇒ uτ κ κ is the von Karman constant, approximately equal to 0.41. Thus the mixing length is proportional to the distant from the wall and the region close to the wall in a turbulent flow has a logarithmic velocity profile, called the log-region.
One-equation models Instead of modelling the characteristic turbulent velocity algebraically, the next level of modelling uses the assumption that
1 uT = k = u u 2 i i p r and a differential equation is used to calculate the turbulent kinetic energy. We can derive such an equation by taking the previously derived equation for Ui + ui and subtracting the equation for U, the Reynolds average equation. We find
∂u ∂u ∂U ∂u ∂ p ∂u i + U i = u i u i + δ + ν i + u u ∂t j ∂x − j ∂x − j ∂x ∂x −ρ ij ∂x i j j j j j j We now take the average of the inner product between the turbulent fluctuations ui and the above equation, and find
∂ 1 ∂ 1 ∂U ∂ pu 1 ν ∂ ∂u ∂u u u + U u u = u u i + j u u u + u u ν i i ∂t 2 i i j ∂x 2 i i − i j ∂x ∂x − ρ − 2 i i j 2 ∂x i i − ∂x ∂x j j j j j j where is the mean dissipation rate of the turbulent kinetic energy. We have now introduced| {za num} ber of new unknowns which have to be modelled. 2.5. TURBULENT FLOW 57
2 ∂Ui ∂Uj First, we model the Reynolds stress as previously indicated, i.e. uiuj = kδij νT + . 3 − ∂xj ∂xi Second, the turbulent dissipation is modelled purely based on dimension using k and l. We have
3/2 k = cD l L2 since the dimension of is [] = T . Here cD is a modelling constant. Third, a gradient diffusion model is used for the transport terms, i.e.
1 1 νT ∂k uiuiuj puj = −2 − ρ P rk ∂xj
where P rk is the turbulent Prandtl number.
For simplicity we write the resulting equation for the turbulent kinetic energy for constant νT . We find
Dk 2 ∂Ui = (ν + νT ) k uiuj Dt ∇ − ∂xj − rate of increase diffusion rate generation rate dissipation rate
Two-equation models The most popular model in use in engineering applications is a two equation model, the so called k--model. This is based on the above model for k but instead of modelling a partial differential equation is derived governing the turbulent dissipation. This equation has the form as the equation for k, with a diffusion term, a generation term and a dissipation term. Many new model constants need to be introduced in order to close the equation. Once k and is calculated the turbulent viscosity is evaluated as a quotient of the two, such that the dimension is correct. We have
2 k νT = C ⇒ µ ·
where Cµ is a modelling constant. 58 CHAPTER 2. FLOW PHYSICS PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence Chapterfree vectorfields // to3boundary L h x1 Finite volumex2 methods for p0 > p1 p1 incompressibleu flow n dS u n∆t · x 3.1 Finite Volumey method on arbitrary grids u0 Equations with 1st orderp0 derivatives: the continuity equation η = y √4νt In finite volume methods one maku es approximations of the differential equations in integral form. We start with an equation with only firstu0 order derivatives, the continuity equation. Recall that the integral from of this equation can be writteny = η√4νt t η ∂ (uk) dV = uknk dS = 0 y ∂xk ω˜(η) u ω = · 0 VZ ZS z √πνt Evaluating the normal vectort ni to the curve l for two-dimensional flow, see figure 3.1, we have the normal with length dl as n dl =L ( dy, dx). This implies that − }δ ω 0 u n dl = (u dy v dx) = 0 ≈ k k − U Z Z y→, v S S We now apply this to anx,arbitraryu two-dimensional grid defined as in figure 3.2. We make use of the followingL definitions and approximations U δ uab = ui+ 1 ,j (ui+1,j + ui,j ) /2 ∆xab = xb xa u0 2 ≈ − η = y √νx/u0 u f 0 = 1 vabu0= vi+ ,j (vi+1,j + vi,j ) /2 ∆yab = yb ya 2 ≈ − Blasius profile δ∗ y x Separation point x = Pressure force ⇐ x y dx dl = ( dx, dy) l dy uT
dx −
dy n dl = ( dy, dx) − Figure 3.1: Normal vector to the curve l.
59 PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L }δ ω 0 U≈ y→, v x, u L U δ u0 η = y √νx/u0 u f 0 = u0 Blasius profile
δ∗ x Separation point = Pressure force ⇐ x y l
uT x y dx dy dx dl = ( dx,−dy) n dl = ( dy, dx) − 60 CHAPTER 3. FINITE VOLUME METHODS FOR INCOMPRESSIBLE FLOW
i 1, j + 1 i, j + 1 i + 1, j + 1
− $%$%$%$%$%$%$%$%$ c &%&%&%&%&%&%&%&b
$%$%$%$%$%$%$%$%$c b
&%&%&%&%&%&%&%&0 0
$%$%$%$%$%$%$%$%$
&%&%&%&%&%&%&%&
$%$%$%$%$%$%$%$%$
&%&%&%&%&%&%&%& $%$%$%$%$%$%$%$%$
i 1, j &%&%&%&%&%&%&%& i + 1, j $%$%$%$%$%$%$%$%$
− &%&%&%&%&%&%&%&
i,$%$%$%$%$%$%$%$%$j
&%&%&%&%&%&%&%& $%$%$%$%$%$%$%$%$
Aabcd &%&%&%&%&%&%&%&
$%$%$%$%$%$%$%$%$ &%&%&%&%&%&%&%&
a0 d d0 a
i 1, j 1 − − i, j 1 i + 1, j 1 − − Figure 3.2: Arbitrary grid. Note that the grid lines need not be parallel to the coordinate directions.
with analogous expressions for the quantities on the bc, cd and da faces. We can now evaluate the integral associated with the two-dimensional version of the continuity equation for the surface defined by the points abcd. We have
(u dy v dx) ui+ 1 ,j∆yab vi+ 1 ,j ∆xab + ui,j+ 1 ∆ybc vi,j+ 1 ∆xbc + − ≈ 2 − 2 2 − 2 ZS
ui 1 ,j∆ycd vi 1 ,j∆xcd + ui,j 1 ∆yda vi,j 1 ∆xda − 2 − − 2 − 2 − − 2 On a cartesian grid we have the relations
∆x = ∆x = ∆y = ∆y = 0 and ∆y = ∆y , ∆x = ∆x ab cd bc da cd − ab bc − da which implies that the approximation of the continuity equation can be written
(u dy v dx) ui+ 1 ,j ui 1 ,j ∆yab + vi,j+ 1 + vi,j 1 ∆xda = − ≈ 2 − − 2 2 − 2 ZS 1 1 (ui+1,j ui 1,j ) ∆yab + (vi,j+1 vi,j 1) ∆xda 2 − − 2 − −
Note that dividing with ∆yab ∆xda gives a standard central difference discretization of the continuity equation, i.e. ·
ui+1,j ui 1,j vi,j+1 vi,j 1 − − + − − = 0 2∆xda 2∆yab
Equations with 2nd derivatives: the Laplace equation We use the Gauss or Greens theorem to derive the integral from of the two-dimensional Laplace equation. We find
∂2Φ ∂φ ∂Φ ∂Φ 0 = dV = nj dS = 2D = dy dx ∂xj ∂xj ∂xj { } ∂x − ∂y VZ ZS ZS If we approximate this integral in the same manner as for the continuity equation we have
∂Φ ∂Φ ∂Φ ∂Φ ∆yab ∆xab + ∆ybc ∆xbc + ∂x i+ 1 ,j − ∂y i+ 1 ,j ∂x i,j+ 1 − ∂y i,j+ 1 2 2 2 2 ∂Φ ∂Φ ∂Φ ∂Φ ∆ycd ∆xcd + ∆yda ∆xda ∂x i 1 ,j − ∂y i 1 ,j ∂x i,j 1 − ∂y i,j 1 − 2 − 2 − 2 − 2 3.1. FINITE VOLUME METHOD ON ARBITRARY GRIDS 61
First derivatives are evaluated as mean value over adjacent control volumes (areas in the two-dimensional case). We use Gauss theorem over the area defined by the points a0b0c0d0, see figure 3.2. For the three- dimensional case we have
1 ∂Φ 1 dV = Φnj dS V ∂xj V ⇒ VZ ZS which in the two-dimensional case is approximated by
∂Φ ∂Φ 1 , (Φ dy, Φ dx) ∂x i+ 1 ,j ∂y i+ 1 ,j! ≈ Aa0b0c0d0 − 2 2 a0bZ0c0d0 where
Φ dy Φ ∆y 0 0 + Φ ∆y 0 0 + Φ ∆y 0 0 + Φ∆y 0 0 ≈ i+1,j a b b b c i,j c d d a a0bZ0c0d0 and the area evaluated as half magnitude of cross products of diagonals, i.e.
1 A A 0 0 0 0 = ∆x 0 0 ∆y 0 0 ∆y 0 0 ∆x 0 0 ab ≡ a b c d 2 d b · a c − d b · a c
and the value Φ is taken as the average a 1 Φa = (Φi,j + Φi+1,j + Φi,j 1 + Φi+1,j 1) 4 − − ∂Φ ∂Φ Evaluating the derivatives ∂x , ∂y along the other cell faces and substituting back we obtain a 9 point formula which couples all of the nine points around the point i, j, of the form
Ai,j Φi+1,j+1 + Bi,j Φi+1,j + Ci,j Φi+1,j 1 + Di,j Φi,j+1 + Ei,j Φi,j + − Fi,j Φi,j 1 + Gi,j Φi 1,j+1 + Hi,j Φi 1,j + Ii,j Φi 1,j 1 = 0 − − − − − If we have a total of N = m n interior nodes, we obtain N equations which in matrix form can be written ×
Ax = b Here xT = (Φ , Φ , Φ , . . . , Φ ) and b contains the boundary conditions. The matrix A is a N N 11 12 13 mn × with the terms Aij , Bij , etc. as coefficients. Rather than showing the general case in more detail, we instead work out the expression for cartesian grids in two-dimensions. We find
∂2Φ ∂2Φ ∂Φ ∂Φ + dx dy = dy dx ∂x2 ∂y2 ∂x − ∂y ≈ Z Z ∂Φ ∂Φ ∂Φ ∂Φ ∆y + ∆x ∂x i+ 1 ,j+ − ∂x i 1 ,j ! ∂y i,j+ 1 − ∂y i,j 1 ! 2 − 2 2 − 2 We can evaluate the derivatives as
∂Φ 1 = (Φi+1,j Φi,j ) ∆y ∂x i+ 1 ,j − · ∆x ∆y 2 · and so on for the rest of the terms, which implies that
∂Φ ∂Φ ∆y ∆x dy dx (Φi+1,j 2Φi,j + Φi 1,j ) + (Φi,j+1 2Φi,j + Φi,j 1) ∂x − ∂y ≈ − − ∆x − − ∆y Z Dividing with the area ∆x ∆y we obtain the usual 5-point Laplace formula, i. e. ·
Φi+1,j 2φi,j + Φi 1,j Φi,j+1 2φi,j + Φi,j 1 − − + − − = 0 ∆x2 ∆y2 which of course also can be written in the matrix form shown for the general case above. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L }δ ω 0 U≈ y→, v x, u L U δ u0 η = y √νx/u0 u f 0 = u0 Blasius profile
δ∗ x Separation point = Pressure force ⇐ x y l
uT x y dx dy dx dl = ( dx,−dy) n dl = ( dy, dx) − i 1, j + 1 − i, j + 1 i + 1, j + 1 c c0 b b0 i 1, j i +− 1, j i, j Aabcd 62 CHAPTERd 3. FINITE VOLUME METHODS FOR INCOMPRESSIBLE FLOW d0 a a0 i 1, j 1 − i, j − 1 − i + 1, j 1 u v − j i,j i,j pi,j
i i + 1
Figure 3.3: Cartesian finite-volume grid where the velocity components and the pressure are co-located.
3.2 Finite-volume discretizations of 2D NS Co-located Cartesian grid We will apply the finite volume discretizations to the Navier-Stokes equations in integral form, which in two-dimensions can be written
(u dy v dx) = 0 − Z ∂u 1 ∂u ∂u dS = u2 dy uv dx + p dy dy dx ∂t − − − Re ∂x − ∂y ZZ Z ∂v 1 ∂v ∂v dS = uv dy v2 dx p dx dy dx ∂t − − − − Re ∂x − ∂y ZZ Z where we have used the earlier derived result n = ( dy, dx). We start with a co-located grid which means that the finite volume used for both velocity componen−ts and the pressure is the same, see figure 3.3. In addition we choose a Cartesian grid in order to simplify the expressions. Recall that the finite volume discretization of the continuity equation becomes 1 1 (ui+1,j ui 1,j ) ∆y + (vi,j+1 vi,j 1) ∆x = 0 2 − − 2 − − which is equivalent to the finite difference discretization
ui+1,j ui 1,j vi,j+1 vi,j 1 or − − + − − = 0 2∆x 2∆y The discretization of the streamwise momentum equation needs both first and second derivatives. We have seen that the finite volume discretizations of both are equal to standard second order finite difference approximations. Thus we obtain the following result for the u-component
2 2 ∂ui,j ui+1,j ui 1,j (uv)i,j+1 (uv)i,j 1 pi+1,j pi 1,j + − − + − − + − − ∂t 2∆x 2∆y 2∆x
1 ui+1,j 2ui,j + ui 1,j ui,j+1 2ui,j + ui,j 1 − − + − − = 0 −Re ∆x2 ∆y2 In a similar manner the discretization for the v-component becomes
2 2 ∂vi,j (uv)i+1,j (uv)i 1,j vi,j+1 vi,j 1 pi,j+1 pi,j 1 + − − + − − + − − ∂t 2∆x 2∆y 2∆y
1 vi+1,j 2vi,j + vi 1,j vi,j+1 2vi,j + vi,j 1 − − + − − = 0 −Re ∆x2 ∆y2 This simple discretization cannot be used in practice without some kind of modification. The reason is that one solution to these equations are in the form of spurious checkerboard modes. Consider the following solution to the discretized equations
u = v = ( 1)i+j g (t) , p = ( 1)i+j , ∆x = ∆y i,j i,j − · − PSfrag replacements x, x PSfrag replacements 1 y, x2 x, x1 PSfrag replacements z, x3 y, x2 u, u x, x1 1 PSfrag replacemenz, xts3 v, u y, x2 2 u, u1 x, x1 w, u3 vz, ux3 y, x2 u, u1 x1 wz, ux3 v, u3 x2 2 0 u, ux1 x w, u3 i x2 0 v, u2 ri x , tˆ xx10 i w, ui3 0 ˆ 0 x2 ui xi , t ri x , tˆ i xx10 P tˆ= 0 u x 0, tˆi ri xi0, xtˆ2 Pi tˆi=x00 x u x 0, tˆi u ri xi0, tˆ 1 Pi ˆi x u > u t =0 ˆ0 2 1 ui xi , ut 1 x1 P ˆ x u 2t >= u01 x u1 2 xx1 x u 2 > u1 3 x2 0 u1 xi x1 u2 > u31 u dtˆ x20 i xi 0 x1 dxi u xd3tˆ i x20 du dtˆ xi0 i dxi x3ˆ ri dtˆ dui d0tˆ ixi0 ˆ dxi dri dt ri dtˆˆ ui dtˆ P dui ˆd0t 1 dri ddxti ri dtˆ P2 duiPd1tˆ dri dtˆ x1 ri dPtˆ2 P x2 ˆ1 dri dxt 1 x P2 3 Px2 1 R3 x1 P32 2 x23 R Rx1 1 x32 R Rx23 3 R1 r Rx32 2 R3 r r3 1 R1 r r2 π R3 2 + dϕ12 r1 Rr1 V (t) π + dϕr2 2 r123 S (t) V (rt1) π + dϕr2 V (t + ∆t) V (t) 2 S (12t) − r1 S (t + ∆t) V (t + ∆tπ) V (t) 2 + dϕ12 S (t−+S∆(t) u V (t + ∆t) V (t) n u S (t−+S∆(t) V (t + ∆t) V (t + ∆t) V (tn) p V (t−+ ∆tu) S (t + ∆t) T0, U0 np V (t + ∆tu) Tw T0, U0 np L V (t + ∆Ttw) T , U T0 0 L0 p U0 TTw T0, U0 Gradient fields UL Tw0 w T0 i Gradient fieldsL ∂p Uw0 ∂xi T0i Gradient fields∂p ui ∂Ux0i Divergence freewi vectorfields // to boundary Gradient fields∂upi ∂xi L Divergence free vectorfields // to boundarywi ∂up h Li Divergence free vectorfields // to boundary∂xi x1 uh Li x2 Divergence free vectorfields // to boundaryx1 h p0 > p1 x2 L p1 p > xp1 0 h1 u xp2 x1 p0 > p1 n xu2 p1 dS p0 > pn1 u n∆t u · dpS1 x u n∆nt · dSu y nx u u n∆yt 0 · dSx p0 u0 η = y u n∆yt √4νt · p0 u y x η = u0 u0 √4νyt pu0 y = η√4νt y η = u0 √4νt t y = η√4pνu0t y η η = u0 √4νt y = η√4νut y η ω˜(η) u0 u0 ω = · t z √πνt y = η√4νyt ω˜(η) uη ω = · 0 t z √πνt t y L ω˜(η) uη · 0t ωz = √ }δ πνtLy ω˜(η) u0 ω 0 · t ωz = √ }δ ≈ πνtL U ω 0t y→, v ≈}δ U L x, u ω y→, v0 ≈}δ L Ux, u ω y→, v0 U ≈L Ux, u δ y→,Uv L u0 x, uδ η = y U √νx/u0 u0 u y L f 0 = η = δ u0 √νx/uU0 uu0 Blasius profile f 0 =y η = u0δ √νx/u0 δ∗ Blasius profileuu0 f 0 =y η = u0 x √νx/uδ0∗ Blasius profileu Separation point f 0 = x u0 = Pressure force Separation poinδ∗t Blasius profile ⇐ x = Pressure forcex ⇐Separation poinδ∗t y x l = Pressure forcey ⇐Separation point uT xl = Pressure forcey x ⇐ uT xl y xy uT dx yl dy dx uTy dx dy dl = ( dx,−dy) dx dxy n dl = ( dy, dx) dl = ( dx,−ddyy) − dx i 1, j + 1 n dl = ( dy, ddxx) − dl = ( dx,−−ddyy) i, j + 1 i 1, j + 1 n dl = (−dy, ddxx) i + 1, j + 1 dl = ( di,x,−j−+dy1) i 1, j + 1 c n dl =i(−+dy1,, j d+x1) i,−j + 1 c0 i 1, j + 1c i −+ 1, j + 1 b i, j +c10 c b0 i + 1, j + 1b i 1, j c0 − bc0 i + 1, j i 1, jb − c0 i, j i + 1,bj0 i 1, jb Aabcd − i, j i + 1,bj0 d i Aabcd1, j i, j d0 i +− 1,dj Aabcd a i,dj0 d a0 Aabcda i 1, j 1 d0 − − ad03.2. FINITE-VOLUMEi, jDISCRETIZA1 TIONS OF 2D NS 63 i 1, j a1 − − −d0 i + 1, j 1 a0 − i, j a1 j
i + 1, j − 1 ,(,(,(,(,(,(,(,
− − -(-(-(-(-(-(-(-
i, j −a10 i ,(,(,(,(,(,(,(, j -(-(-(-(-(-(-(-
i + 1, j − 1 i + 1 ,(,(,(,(,(,(,(, − − -(-(-(-(-(-(-(-
i, j − 1i ui,j ,(,(,(,(,(,(,(, j -(-(-(-(-(-(-(-v
− i,j+1/2 1 *(*(*(*(*(*(*(* i + 1, ji + 1 +(+(+(+(+(+(+(+
vi,j j + 2 *(*(*(*(*(*(*(* u−i,ji +(+(+(+(+(+(+(+
j pi,j *(*(*(*(*(*(*(*
i +vi,j1 +(+(+(+(+(+(+(+ *(*(*(*(*(*(*(*
ui,ji +(+(+(+(+(+(+(+
.(.(.(.(.(.(.(. '('('('('('('('(' /(/(/(/(/(/(/(/ pi,j u )()()()()()()()()
i +v 1 i 1/2,j j .(.(.(.(.(.(.(.
i,j − '('('('('('('('(' /(/(/(/(/(/(/(/ p pi,j )()()()()()()()()
ui,j
.(.(.(.(.(.(.(. '('('('('('('('(' /(/(/(/(/(/(/(/ pi,j )()()()()()()()()
vi,j+1/2
.(.(.(.(.(.(.(. '('('('('('('('(' /(/(/(/(/(/(/(/ vi,j )()()()()()()()() pi,j 1
v '('('('('('('('(' i,j p1i,j/2 )()()()()()()()() j
vi,j−+1/2 2 '('('('('('('('(' ui 1/2,j vi,j 1/2 )()()()()()()()() − pi,j −
− '('('('('('('('(' vi,j 1/12 )()()()()()()()()
i− 2 v '('('('('('('('(' i,j+1/2 )()()()()()()()() ui 1−/2,j v − 1i j 1 i,ji 1/12 i−+ 2 − ui 1−/2,j2 − 1i ii + 1 i + 32 i +− 2 2i ji++ 1 i + 32 i + 2 1j 1 1 3 i + 1 j + 32 i 2 i i + 2 i + 1 i + 2 ji + 2 −
− 2j 0¡0 1 1¡1
jj + 1 0¡0 j − 2 1¡1 control volume for divergence condition. − 2 j 1j
j − 1 2323232
control volume for divergence condition.− 2 4343434 2323232 j 1 4343434 control volume for streamwise momentum equation (u) .
control volume for divergence condition.− 5¡5
control volume for streamwise momentum equation (u) . 6¡6 5¡5 6¡6 control volume for normal momentum equation (v) .
Figure 3.4: Cartesian finite-volume grid where the velocity components and the pressure uses staggered grids.
which satisfies the divergence constraint. If it is input into the equation for u and v we find the expression
dg 8 8t + g = 0 g = e− Re·∆x2 dt Re ∆x2 ⇒ · Thus we have a spurious solution consisting of checkerboard modes which are damped slowly for velocity and constant in time for the pressure. This mode will corrupt any true numerical solution and yields this discretization unusable as is. These modes are a result of the very weak coupling between nearby finite volumes or grid points, and can be avoided if they are coupled by one sided differences or if they are damped with some type of artificial viscosity.
Staggered cartesian grid To eliminate the problem with spurious checkerboard modes, we can use a staggered grid as in figure 3.4, where the control volumes for the streamwise, spanwise and pressure are different. The control volume for the continuity equation is centered abound the pressure point and the discretiza- tion becomes
ui+ 1 ,j ui 1 ,j ∆y + vi,j+ 1 vi,j 1 ∆x = 0 2 − − 2 2 − − 2 ui+ 1 ,j ui 1 ,j vi,j+ 1 vi,j 1 or 2 − − 2 + 2 − − 2 = 0 ∆x ∆y The control volume for the streamwise velocity is centered around the streamwise velocity point and the discretization becomes
2 2 ∂ui+1/2,j ui+1,j ui,j (uv)i+1/2,j+1/2 (uv)i+1/2,j 1/2 pi+1,j pi,j + − + − − + − ∂t ∆x ∆y ∆x −
1 ui+3/2,j 2ui+1/2,j + ui 1/2,j 1 ui+1/2,j+1 2ui+1/2,j + ui+1/2,j 1 − − − − = 0 Re ∆x2 − Re ∆y2 PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L }δ ω 0 U≈ y→, v x, u L U δ u0 η = y √νx/u0 u f 0 = u0 Blasius profile
δ∗ x Separation point = Pressure force ⇐ x y l
uT x y dx dy dx dl = ( dx,−dy) n dl = ( dy, dx) − i 1, j + 1 − i, j + 1 i + 1, j + 1 c c0 b b0 i 1, j i +− 1, j i, j Aabcd d d0 a a0 i 1, j 1 − i, j − 1 i + 1, j − 1 − j i i + 1 ui,j vi,j pi,j pi,j vi,j+1/2 vi,j 1/2 − ui 1/2,j −i 1 − 2 i 1 i + 2 i + 1 3 i + 2 1 64 j +CHAPTER2 3. FINITE VOLUME METHODS FOR INCOMPRESSIBLE FLOW j j 1 Inflow − 2 j j 1 − A
2
v 3 1, 2
p1,1 u 3 ,1
1 2 777777777777777777777 888888888888888888888 Solid wall B C 0 0 1 2 i
Figure 3.5: Staggered grid near the boundary.
2 2 where the ui+1,j, ui,j , (uv)i+1/2,j+1/2 , (uv)i+1/2,j 1/2 terms need to be interpolated from the points where the corresponding velocities are defined. − The control volume for the normal velocity is centered around the normal velocity point and the dis- cretization becomes
2 2 ∂vi,j+1/2 (uv)i+1/2,j+1/2 (uv)i 1/2,j+1/2 vi,j+1 vi,j pi,j+1 pi,j + − − + − + − ∂t ∆x ∆y ∆y −
1 vi+1,j+1/2 2vi,j+1/2 + vi 1,j+1/2 1 vi,j+3/2 2vi,j+1/2 + vi,j 1/2 − − − − = 0 Re ∆x2 − Re ∆y2
2 2 where the (uv)i+1/2,j+1/2 , (uv)i 1/2,j+1/2 , ui,j+1, ui,j terms need to be interpolated from the points where the corresponding velocities are− defined. For this discretization no checkerboard modes possible, since there is no decoupling in the divergence constraint, the pressure or the convective terms.
Boundary conditions To close the system we need to augment the discretized equation with discrete versions of the boundary conditions. See figure 3.5 for a definition of the points near a boundary. The boundary conditions on the solid wall, BC in figure 3.5, consists of the no flow and the no slip conditions, i.e. u = v = 0. The normal points are located on the boundary so that the no flow condition simply become
v1, 1 = v2, 1 = = 0 2 2 · · · 3 The evaluation of the u-equation at the point ( , 1), for example, requires u 3 . We can find this value 2 2 ,0 as follows
1 0 = u 3 , 1 = u 3 ,1 + u 3 ,0 u 3 ,0 = u 3 ,1 2 2 2 2 2 ⇒ 2 − 2 The boundary conditions on the inflow, AB in figure 3.5, consist given values of u and v, i.e. so called Dirichlet conditions. The streamwise points are located on the boundary so that the boundary condition is simply consist of the known values
u 1 , u 1 , . . . 2 ,1 2 ,2
3 The evaluation of the v-equation at the point (1, ), for example, requires v 3 . We can find this value 2 0, 2 as follows
1 v 1 , 3 = v1, 3 + v0, 3 v0, 3 = 2v 1 , 3 v1, 3 2 2 2 2 2 ⇒ 2 2 2 − 2 3.3. SUMMARY OF THE EQUATIONS 65
∂u ∂v If AB in figure 3.5 is an outflow boundary, the boundary conditions may consist of ∂x = ∂x = 0, i.e. 1 so called Neumann conditions. These conditions should be evaluated at i = 2 . For the streamwise and normal velocity we find
u 1 ,2 = u 3 ,2, v0, 3 = v1, 3 − 2 2 2 2 Note that no reference is made to the pressure points outside the domain, so that in this formulation no boundary conditions for p is needed so far. However, depending on the particular discretization of the time derivative and other the details of the solution method one may need to augment the the above with boundary conditions for the pressure. If this is the case particular care has to be taken so that those conditions do not upset the divergence free condition.
3.3 Summary of the equations
The discretized equations derived for the staggered grid can be written in the following form
∂u 1 i+ 2 ,j pi+1,j pi,j + Ai+ 1 ,j + − = 0 ∂t 2 ∆x ∂vi,j+ 1 p p 2 i,j+1 i,j + Bi,j+ 1 + − = 0 ∂t 2 ∆y Di,j = 0 where the expression for the A 1 can be written i+ 2 ,j
A 1 = i+ 2 ,j
2 2 ui+1,j ui,j (uv)i+ 1 ,j+ 1 (uv)i+ 1 ,j 1 = − + 2 2 − 2 − 2 ∆x ∆y 1 ui+ 3 ,j 2ui+ 1 ,j + ui 1 ,j 1 ui+ 1 ,j+1 2ui+ 1 ,j + ui+ 1 ,j 1 2 − 2 − 2 2 − 2 2 − −Re ∆x2 − Re ∆y2
= expand and interpolate using grid values { } 1 1 2 1 1 = (ui+ 3 ,j ui 1 ,j) + (vi+1,j+ 1 vi,j+ 1 vi+1,j 1 vi,j 1 ) + + ui+ 1 ,j 2∆x 2 − − 2 4∆y 2 − 2 − − 2 − − 2 Re ∆x2 ∆y2 2 1 1 1 1 + ui+ 3 ,j ui+ 3 ,j + ui 1 ,j ui 1 ,j 4∆x 2 − Re∆x2 2 4∆x − 2 − Re∆x2 − 2 1 1 1 1 + (vi+1,j+ 1 + vi,j+ 1 ) ui+ 1 ,j+1 + (vi+1,j 1 + vi,j 1 ) ui+ 1 ,j 1 4∆y 2 2 − Re∆y2 2 4∆y − 2 − 2 − Re∆y2 2 −
= a(u, v) 1 u 1 + a(u, v)nbunb i+ 2 ,j i+ 2 ,j Xnb The last line summarizes the expressions, where the sum over nb indicates a sum over the nearby nodes. The expression for B 1 can in a similar way be written i,j+ 2
B 1 = i,j+ 2
2 2 (uv)i+ 1 ,j+ 1 (uv)i 1 ,j+ 1 vi,j+1 vi,j = 2 2 − − 2 2 + − ∆x ∆y 1 vi+1,j+ 1 2vi,j+ 1 + vi 1,j+ 1 1 vi,j+ 3 2vi,j+ 1 + vi,j 1 2 − 2 − 2 2 − 2 − 2 −R ∆x2 − R ∆y2
= expand and interpolate using grid values { }
= b(u, v) 1 v 1 + b(u, v)nbvnb i,j+ 2 i,j+ 2 Xnb 66 CHAPTER 3. FINITE VOLUME METHODS FOR INCOMPRESSIBLE FLOW
where the expressions for b(u, v) 1 and b(u, v)nb are analogous to a(u, v) 1 and a(u, v)nb, and i,j+ 2 i+ 2 ,j therefore not explicitly written out. The expression originating from the continuity equation is
ui+ 1 ,j ui 1 ,j vi,j+ 1 vi,j 1 D = 2 − − 2 + 2 − − 2 i,j ∆x ∆y These equations, including the boundary conditions, can be assembled into matrix form. We have
u A(u, v) 0 G u f d x u v + 0 B(u, v) G v = f dt y v 0 Dx Dy 0 p 0 Here we we have used the definitions
u - vector of unknown streamwise velocities v - vector of unknown normal velocities p - vector of pressure unknowns A(u, v) - non-linear algebraic operator from advective and viscous terms of u-eq. B(u, v) - non-linear algebraic operator from advective and viscous terms of v-eq. Gx - linear algebraic operator from stremwise pressure gradient Gy - linear algebraic operator from normal pressure gradient Dx - linear algebraic operator from x-part of divergence constraint Dy - linear algebraic operator from y-part of divergence constraint f - vector of source terms from BC
With obvious changes in notation, we can write the system of equations in an even more compact form as
d u N (u) G u f + = dt 0 D 0 p 0 If this is compared to the finite element discretization in the next chapter, it is seen that the form of the discretized matrix equations are the same.
3.4 Time dependent flows The projection method For time-dependent flow a common way to solve the discrete equations is the projection or pressure correc- tion method. Sometimes this method and its generalizations are also called splitting methods. We illustrate the method using the system written in the compact notation defined above. We start to discretize the time derivative with a first order explicit method
un+1 un − + N (un) un + G pn+1 = f (tn) ∆t Dun+1 = 0
Then we make a predictionof the velocity field at the next time step u∗ not satisfying continuity, and then a correction involving p such that Dun+1 = 0. We have
n u∗ u − + N (un) un = f (tn) ∆t n+1 u u∗ n+1 − + G p = 0 ∆t n+1 Du = 0 Next, apply the divergence operator D to the correction step
n+1 1 DG p = D u∗ ∆t Here DG represents divgrad = Laplacian, i.e. discrete version of pressure Poisson equation. The velocity at the next time level thus becomes 3.4. TIME DEPENDENT FLOWS 67
n+1 n+1 u = u∗ ∆tG p − n+1 Note here that u is projection of u∗ on divergence free space. This is a discrete version of the projection of a function on a divergence free space discussed in the section about the role of the pressure in incompressible flow. In order to be able to discuss the boundary condition on the pressure Poisson equation we write the prediction and correction step more explicitly. Using the staggered grid discretization the prediction step can be written
n ui∗+ 1 ,j ui+ 1 ,j 2 − 2 n + A 1 = 0 i+ 2 ,j ∆t n vi,j∗ + 1 vi,j+ 1 2 − 2 n + Bi,j+ 1 = 0 ∆t 2 and the projection step as
n+1 n+1 n+1 ui+ 1 ,j ui∗+ 1 ,j p p 2 − 2 + i+1,j − i,j = 0 ∆t ∆x n+1 n+1 n+1 v v 1 i,j+ 1 i,j∗ + p p 2 − 2 + i,j+1 − i,j = 0 ∆t ∆y n+1 n+1 n+1 By solving for u 1 and v 1 above and using this, and the corresponding expressions for u 1 and i+ 2 ,j i,j+ 2 i 2 ,j n+1 − v 1 , in the expression for the divergence constraint Di,j we find the following explicit expression for the i,j 2 discrete− pressure Poisson equation
n+1 n+1 n+1 n+1 n+1 n+1 pi+1,j 2pi,j + pi 1,j pi,j+1 2pi,j + pi,j 1 Di,j∗ − − + − − = ∆x2 ∆y2 ∆t
where Di,j∗ is Di,j evaluated using the discrete velocities at the prediction step, u∗ and v∗. When the discrete pressure Poisson equation is solved we need values of the unknowns which are outside of the domain, i.e. we need additional boundary conditions. If we take the vector equation for the correction or projection step and project it normal to the solid boundary in figure 3.5 we have
pn+1 pn+1 1 2,1 − 2,0 n+1 = v2, 1 vΓ∗ ∆y −∆t 2 − where vΓ∗ = v∗ 1 is an unknown value of the velocity in the prediction step at the boundary. In general 2, 2 it is important to choose this boundary condition such that discrete velocity after the correction step is divergence at the boundary, see the discussion in the end of the section on the role of the pressure. However, for this particular discretization it turns out that we can choose vΓ∗ arbitrarily since it completely decouples from the rest of the discrete problem. To see this we write the pressure Poisson equation, centered abound the point (2,1), close to the boundary. We find
n+1 n+1 n+1 n+1 n+1 n+1 p 2p + p p 2p + p 1 u∗5 ,1 u∗3 ,1 v2∗, 3 vΓ∗ 3,1 − 2,1 1,1 2,2 − 2,1 2,0 2 − 2 2 − 2 + 2 = + ∆x ∆y ∆t ∆x ∆y !
if we substitute the value of pn+1 pn+1 from the boundary condition obtained for the pressure into the 2,1 − 2,0 above equation we can se that vΓ∗ cancels in the right hand side of the pressure Poisson equation. Since the discretization of the time derivative is explicit there is no other place where the values of v∗ or u∗ on the boundaries enter. Thus we find that we can choose the value of vΓ∗ arbitrarily. In particular, we can choose n+1 vΓ∗ = v 1 , in which case we obtain a Neumann boundary condition for the pressure. Note, however, that 2, 2 this is a numerical artifact and does not imply that the real pressure gradient is zero at the boundary. A number of other splitting methods have been devised for schemes with higher order accuracy for the time discretization. In general it is preferred to make the time discretization first for the full Navier-Stokes equations and afterward split the discrete equation into one predictor and one corrector step. See Peyret and Taylor for details. 68 CHAPTER 3. FINITE VOLUME METHODS FOR INCOMPRESSIBLE FLOW
Time step restriction For stability it is necessary that prediction step is stable, numerical evidence indicates that this is sufficient. In the predictor case the momentum equations decouple if we linearize them abound the solution U0, V0. It thus suffices to consider the equation
∂u ∂u ∂u 1 + U + V = 2u ∂t 0 ∂x 0 ∂y Re∇ For simplicity we will here consider one-dimensional version
∂u ∂u 1 ∂2u + U = ∂t 0 ∂x Re ∂x2 which in discretized form can be written
n n n n n n+1 n uj+1 uj 1 1 uj+1 2uj + uj 1 u = u + ∆t U − − + − − j j − 0 2∆x Re ∆x2 where we have chosen to call the discrete points where the u-velocity is evaluate for xj . We introduce
n n i ωxj u = Q e · j · into the discrete equation, together with the definitions U ∆t 2∆t λ = 0 , α = , ξ = ω ∆x ∆x Re ∆x2 · This implies that the amplification factor Q can be written
ξ Q = 1 iλ sin (ξ) 2α sin2 − − 2 We find that the absolute value of Q satisfies
Q = 1 4 λ2 α2 s2 + 4 λ2 s2 s | | − − − = 1 4s λ2 α2 s λ2 + α 1 − − − ≤
2 ξ where s = sin 2 . This implies that Φ (s) = λ2 α2 s + λ2 α 0 s : 0 s 1 − − − ≤ ∀ ≤ ≤ Φ (s) is linear function of s and th us the the limiting condition on Φ (s) is given by its values at the two end points of the s-interval. We find
Φ (0) = λ2 α 0, Φ (1) = α2 α 0 − ≤ − ≤ which implies that
λ2 α 1 ⇒ ≤ ≤ substituting back the definitions of λ and α we find the following stability conditions
1 U 2∆tRe 1 2 0 ≤ 2∆t 1 Re∆x2 ≤ For the two dimensional version of thepredictor step Peyret and Taylor [8] find the following stability limits
1 U 2 + V 2 ∆t Re 1 4 0 0 · ≤ 4∆t 1 Re∆x2 ≤ Note that this is a stronger condition than in the one-dimensional case. 3.5. GENERAL ITERATION METHODS FOR STEADY FLOWS 69
3.5 General iteration methods for steady flows Distributive iteration For steady flows we can still use the methods introduced for unsteady flows, and iterate the solution in time to obtain a steady state. However, in many cases it is more effective to use other iteration methods. We will here introduce a general distributive iteration method and apply it to the discretized steady Navier-Stokes equations. For the steady case the discretized equations can be written in the form
N(u) G u f = D 0 p 0 which is of the form A y = b. Now, let y = B yˆ which implies that
AB yˆ = b and use the iteration scheme on this modified equation. We divide the matrix AB in the following manner
AB = M T M yˆ = T yˆ + b − ⇒ and use this to define the iteration scheme
1 k+1 1 k 1 k k MB− y = T B− y + b = MB− y + b A y − which can be simplified to
k+1 k 1 k y = y + BM − b A y − rk where rk is the residual error in the k:th step of the iteration| {z pro} cedure. If B = I we obtain a regular iteration method where residual rk is used to update yk by inverting M, a simplified part of A, as in the Gauss-Seidell method for example. For this method we have
A x = b A = L U (L U−) x = b L x−n+1 = U xn + b
Application to the steady Navier-Stokes equations When the distributive iteration method is applied to the steady Naiver-Stokes we have
N(u) G A = D 0 we can obtain AB in the following block triangular form
N(u) 0 AB = 1 D DN(u)− G − if the matrix B has the form
1 1 I N(u)− G I N˜(u)− G B = − − 0 I ≈ 0 I 1 where N˜(u)− is a simple approximation of the inverse of the discrete Navier-Stokes operator. We now split AB = M T where − Q 0 M = D R 1 and where Q is an approximation of N(u) and R is an approximation of DN − G. Note that R is a discrete Laplace like operator. − 70 CHAPTER 3. FINITE VOLUME METHODS FOR INCOMPRESSIBLE FLOW
The SIMPLE (Semi-Implicit Method for Pressure Linked Equations) by Pantankar and Spalding (1972) can be thought of as a distributive iteration method. Wesseling [10] indicates that by choosing
1 k 1 N˜(u)− = [diagN(u )]− Q = N(uk) k 1 R = D[diagN(u )]− G − we have a method which is essentially the original version of the SIMPLE method. Thus we have the following iteration steps
1. First, we calculate the residual
f N(uk) G uk rk b A yk = = 1 − 0 − D 0 pk rk 2
1 k 2. Second, we calculate M − r which implies
k 1 k Q δu˜ = r δu˜ = Q− r 1 ⇒ 1 R δp˜ = rk D δu˜ 2 −
1 k 3. Third, we have the distribution step BM − r which becomes
δu δu˜ δu˜ N˜ 1G δp˜ = B = − δp δp˜ − δp˜ 4. Fourth, there is an under relaxation step, where the velocities and the pressure is updated
k+1 k u = u + ωuδu pk+1 = pk + ω δp p
The under relaxation is needed for the method to converge, thus ωu and ωp is usually substantially lower that one. PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L }δ ω 0 U≈ y→, v x, u L U δ u0 η = y √νx/u0 u f 0 = u0 Blasius profile
δ∗ x Separation point = Pressure force ⇐ x y l
uT x y dx dy dx dl = ( dx,−dy) n dl = ( dy, dx) − i 1, j + 1 − i, j + 1 Chapter 4 i + 1, j + 1 c c0 b b0 Finite elemeni t1, jmethods for i +− 1, j incompressiblei, j flow Aabcd d d0 The finite-element method (FEM) approaximates an integral form of the governing equations. However, the integral form—called the variational aform0 —is usually different from the one used for the finite-volume method. Moreover, different integrali 1,formsj 1 may be used for the same equation depending on circumstances − i, j − 1 such as boundary conditions. We intro−duce FEM first for a scalar advection–diffusion problem before discussing the Navier–Stokes equations.i + 1, j 1 − j i 4.1 FEM for an advection–diffusioni + 1 problem ui,j We consider the steady flow of an incompressiblevi,j fluid in a bounded domain Ω, and we assume that its velocity field Uj is known (from a previouspi,j numerical solution, for instance). We assume that the boundary Γ of the domain can be decomposed inptoi,j two portions Γ0 and Γ1, as in figure 4.1 for instance. We are interested to compute the temperaturevi,j+1field/2 u in the domain, modeled by the advection–diffusion problem vi,j 1/2 − ui 1/2,j∂u 2 −Uj 1 ν u = f in Ω, (4.1a) i ∂xj − ∇ − 2 i u = 0 on Γ0, (4.1b) i + 1 2 ∂u i + 1 = 0 on Γ1. (4.1c) 3 ∂n i + 2 1 j + ∂Uj The coefficient ν > 0 is the thermal diffusivit2 y. Incompressibility yields that = 0. We assume that j ∂xj Γ1 is a solid wall, so that nj Uj = 0 on Γ11. This simplifies the analysis but is not essential. The Dirichlet j 2 ∂u boundary condition u = 0 on Γ0 is called− an isothermal condition, whereas the Neumann condition = 0 j 1 ∂n on Γ1 is an adiabatic condition. − Deriving the integral form that is usedA to form the finite-element discretization requires some vector calculus. The product rule of differentiationB yields C u 3 ,1 ∂ 2 ∂u ∂v ∂u 2 v1, 3 v = + v u. (4.2) ∂xi 2 ∂xi ∂xi ∂xi ∇ p1,1 0 n 1 2 Γ0 i j Ω Inflow Solid wall Γ1
Figure 4.1: A typical domain associated with the advection–diffusion problem (4.1).
71 72 CHAPTER 4. FINITE ELEMENT METHODS FOR INCOMPRESSIBLE FLOW
Recall the divergence theorem ∂wi dΩ = niwi dΓ. (4.3) ∂xi ΩZ ZΓ Integrating expression (4.2) and applying the divergence theorem on the left side yields
∂u ∂v ∂u v dΓ = dΩ + v 2u dΩ. (4.4) ∂n ∂xi ∂xi ∇ ZΓ ΩZ ΩZ
(Note that ∂u ∂u = ni .) ∂n ∂xi
Let v be any smooth function such that v = 0 on Γ0. Multiplying equation (4.1a) with v, integrating over Ω, and utilizing expression (4.4) yields
0 ∂u 2 ∂u ∂v ∂u ∂ u fv dΩ = vUj dΩ ν v u dΩ = vUj dΩ + ν dΩ ν v dΓ, ∂xj − ∇ ∂xj ∂xj ∂xj − ∂n ΩZ ΩZ ΩZ ΩZ ΩZ Z Γ where the last term vanishes on Γ0 due to the requirements on v, and on Γ1 due to boundary condition (4.1c) We have thus shown that a smooth (twice continuously differentiable) solution to problem (4.1) (also called a classical solution) satisfies the varational form
∂u ∂v ∂u vUj dΩ + ν dΩ = fv dΩ (4.5) ∂xj ∂xj ∂xj ΩZ ΩZ ΩZ for each smooth function v vanishing on Γ0 We will now “forget” about the differential equation (4.1), and directly consider the variational form (4.5). For this, we need to introduce the function space
∂v ∂v V = v : dΩ < + , v = 0 on Γ0 . ∂xi ∂xi ∞ ΩZ The space V is a linear space, that is, u, v V αu + βv V α, β R. The requirement that the gradient-square of each function in V is bounded∈ should⇒ be intepreted∈ ∀ as ∈a requirement that the energy is bounded. The variational problem will thus be
Find u V such that ∈ ∂u ∂v ∂u (4.6) vUj dΩ + ν dΩ = fv dΩ v V. ∂xj ∂xj ∂xj ∀ ∈ ΩZ ΩZ ΩZ
A solution to variational problem (4.6) is called a weak solution to advection–diffusion problem (4.1). The derivation leading up to expression (4.5) shows that a classical solution is a weak solution. However, a weak solution may not be a classical solution since functions in V may fail to be twice continuously differentiable. Note that the boundary conditions are incorporated into the variational problem. The Dirichlet bound- ary condition on Γ0 is explicitly included in the definition of V and is therefore referred to as an essential boundary condition. The Neumann condition on Γ1 is defined implicitly through the variational form and is therefore called a natural boundary condition.
4.1.1 Finite element approximation Let us triangulate the domain Ω by dividing it up into triangles, as in figure 4.2. Let M be the number of triangles and N the number of nodes in Ω Γ1, that is, the nodes on Γ0 are excluded in the count. Let h be the largest side of any triangle. ∪ Let Vh be the space of all functions that are - continuous on Ω, PSfrag replacements
x, x1 PSfrag replacements y, x2 z, x3 x, x1 u, u1 y, x2 v, u2 z, x3 w, u3 u, u1 x1 v, u2 x2 w, u3 0 xi x1 0 ri x , tˆ x2 i 0 u x 0, tˆ xi i i 0 ˆ P tˆ= 0 ri xi , t u x 0, tˆ x i i P tˆ= 0 u1 u2 > u1 x x1 u1 x2 u2 > u1 x3 x1 0 xi x2 ui dtˆ x3 0 x 0 dxi i ˆ dui dtˆ ui dt 0 ri dtˆ dxi ˆ dr dtˆ dui dt i ˆ P ri dt 1 dri dtˆ P2 P x1 1 P x2 2 x3 x1 R3 x2 R2 x3 R1 R3 2 r3 R r2 R1 3 r1 r π 2 2 + dϕ12 r V (t) r1 π S (t) 2 + dϕ12 V (t + ∆t) V (t) V (t) S (t−+ ∆t) S (t) V (t + ∆t) V (t) u − n S (t + ∆t) V (t + ∆t) u p n T0, U0 V (t + ∆t) Tw p L T0, U0 T0 Tw U0 L Gradient fields T0 wi U0 ∂p Gradient fields ∂xi wi ui ∂p Divergence free vectorfields // to boundary ∂xi L ui h Divergence free vectorfields // to boundary x1 L x2 h p0 > p1 x1 p1 x2 u p0 > p1 n p1 dS u u n∆t n · x dS y u n∆t · u0 x p0 y η = y u √4νt 0 u p0 u0 η = y √ √4νt y = η 4νt u t u0 η y = η√4νt y t ω˜(η) u0 η ωz = · √πνt y t ω˜(η) u0 ωz = · L √πνt }δ t ω 0 L ≈ U }δ y→, v ω 0 ≈ x, u U → L y, v U x, u δ L u0 U y η = δ √νx/u0 u u0 f 0 = y u0 η = √νx/u0 Blasius profile u f 0 = u δ∗ 0 x Blasius profile Separation point δ∗ = Pressure force x ⇐ x Separation point y = Pressure force ⇐ l x y uT x l y uT dx x dy y dx dx dl = ( dx,−dy) dy n dl = ( dy, dx) dx − − i 1, j + 1 dl = ( dx, dy) − n dl = ( dy, dx) i, j + 1 − i 1, j + 1 i + 1, j + 1 − c i, j + 1 i + 1, j + 1 c0 b c b0 c0 i 1, j b − i + 1, j b0 i, j i 1, j − Aabcd i + 1, j d i, j A d0 abcd a d a0 d0 i 1, j 1 a − − i, j 1 a0 i + 1, j − 1 i 1, j 1 − − − j i, j 1 i + 1, j − 1 i − i + 1 j ui,j i vi,j i + 1 pi,j ui,j pi,j vi,j vi,j+1/2 pi,j vi,j 1/2 pi,j − ui 1/2,j vi,j+1/2 − i 1 vi,j 1/2 − 2 − ui 1/2,j i − 1 i + 1 i 2 − 2 i + 1 i 3 i + 1 i + 2 2 j + 1 i + 1 2 3 j i + 2 1 1 j j + 2 − 2 j 1 j − j 1 A − 2 j 1 B − C A u 3 4.1. FEM2 ,1 FOR AN ADVECTION–DIFFUSION PROBLEM B 73 v 3 1, 2 C u 3 ,1 p1,1 Γ0 2 v1, 3 0 2 1 p1,1 2 0 i 1 j 2 Inflow i Solid wall j Γ1 n Inflow Γ0 Solid wall Γ1 n Ω Γ0 Γ1 Ω
Figure 4.2: A triangulation. Here, the number N are Figure 4.3: The “tent or “hat basis function associ- the black nodes. ated with continuous, piece-wise linear functions.
- linear on each triangle,
- vanishing on Γ0.
Note that V V . We get a finite-element approximation of our advection-diffusion problem by simply h ⊂ replacing V by Vh in variational problem (4.6), that is:
Find u V such that h ∈ h ∂uh ∂vh ∂uh (4.7) vhUj dΩ + ν dΩ = fvh dΩ vh Vh. ∂xj ∂xj ∂xj ∀ ∈ ΩZ ΩZ ΩZ
Restricting the function space in a variational form to a subspace is called a Galerkin approximation. The finite-element method is a Galerkin approximation in which the subspace is given by piecewise polynomials.
4.1.2 The algebraic problem. Assembly.
Once the value of a function uh in Vh is known at all node points, it is easy to reconstruct it by linear interpolation. This interpolation can be written as a sum of the “tent” basis functions Φ(n) (figure 4.3), which are functions in Vh that are zero at each node point except node n, where it is unity. Thus,
N (n) (n) uh (xi) = u Φ (xi) , (4.8) n=1 X (n) where u denotes the value of uh at node n. Note that expansion (4.8) forces uh = 0 on Γ0 since it excludes the nodes on Γ0 in the sum. Substituting expansion (4.8) into FEM approximation (4.7) yields
N N ∂Φ(n) ∂v ∂Φ(n) u(n) v U dΩ + ν u(n) h dΩ = fv dΩ v V . (4.9) h j ∂x ∂x ∂x h ∀ h ∈ h n=1 j n=1 j j X ΩZ X ΩZ ΩZ
(m) Since each basis function is in Vh, we may choose vh = Φ Vh for m = 1, . . . , N in equation (4.9), which then becomes ∈
N N ∂Φ(n) ∂Φ(m) ∂Φ(n) u(n) Φ(m)U dΩ + ν u(n) dΩ = fΦ(m) dΩ, m = 1, . . . , N. (4.10) j ∂x ∂x ∂x n=1 j n=1 j j X ΩZ X ΩZ ΩZ This is a linear system system Au = b, where A = C + νK and
(m) (n) (n) ∂Φ ∂Φ (m) ∂Φ Kmn = dΩ, Cmn = Φ Uj dΩ, (4.11) ∂xj ∂xj ∂xj ΩZ ΩZ PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ i i P tˆ= 0 x u1 u2 > u1 x1 x2 x3 0 xi ui dtˆ 0 dxi dui dtˆ ri dtˆ dr dtˆ i P 1 P2 x1 x2 x3 R3 R2 R1 r3 r2 r1 π 2 + dϕ12 V (t) S (t) V (t + ∆t) V (t) S (t−+ ∆t) u n V (t + ∆t) p T0, U0 Tw L T0 U0 Gradient fields wi ∂p ∂xi ui Divergence free vectorfields // to boundary L h x1 x2 p0 > p1 p1 u n dS u n∆t · x y u0 p0 η = y √4νt u u0 y = η√4νt t η y ω˜(η) u ω = · 0 z √πνt t L }δ ω 0 U≈ y→, v x, u L U δ u0 η = y √νx/u0 u f 0 = u0 Blasius profile
δ∗ x Separation point = Pressure force ⇐ x y l
uT x y dx dy dx dl = ( dx,−dy) n dl = ( dy, dx) − i 1, j + 1 − i, j + 1 i + 1, j + 1 c c0 b b0 i 1, j i +− 1, j i, j Aabcd d d0 a a0 i 1, j 1 − i, j − 1 i + 1, j − 1 − j i i + 1 ui,j vi,j pi,j pi,j vi,j+1/2 vi,j 1/2 − ui 1/2,j −i 1 − 2 i 1 i + 2 i + 1 3 i + 2 1 j + 2 j j 1 − 2 j 1 − A B C u 3 2 ,1 v 3 1, 2 p1,1 0 74 CHAPTER14. FINITE ELEMENT METHODS FOR INCOMPRESSIBLE FLOW 2 i j 2 Inflow M
Solid wall
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:<
;:;:;:;:;:;:;:; =:=:=:=:=:=:=:=
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:< =:=:=:=:=:=:=:=
n ;:;:;:;:;:;:;:;
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:< =:=:=:=:=:=:=:=
Γ0 ;:;:;:;:;:;:;:;
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:<
;:;:;:;:;:;:;:; =:=:=:=:=:=:=:=
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:< =:=:=:=:=:=:=:=
Γ1 ;:;:;:;:;:;:;:;
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:< =:=:=:=:=:=:=:=
;:;:;:;:;:;:;:;m m + 2
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:< =:=:=:=:=:=:=:=
Ω ;:;:;:;:;:;:;:;
9:9:9:9:9:9:9:9 <:<:<:<:<:<:<:<
;:;:;:;:;:;:;:; =:=:=:=:=:=:=:=
1 M h
h
Figure 4.4: An example mesh that gives a particular simple stiffness matrix K
(1) (1) fΦ dΩ u Ω . R . u = . b = . u(n) fΦ(N) dΩ Ω R The union of all triangles constitutes the domain Ω and that the triangles do not overlap. Thus, any integral over Ω can be written as a sum of integrals over each triangle,
M M ∂Φ(m) ∂Φ(n) ∂Φ(m) ∂Φ(n) K = dΩ = dΩ = K(p) . mn ∂x ∂x ∂x ∂x mn Z j j p=1 Z j j p=1 Ω XTp X
(p) (p) Note that Kmn vanishes as soon as m or n is not a corner node of triangle p. Thus Kmn contributes to the sum only when m and n both are corner nodes of triangle p. Matrix K can thus be computed by looping (p) all M triangles, calculating the element contribution Kmn for m, n being the three nodes of triangle p and adding these 9 contribution to matrix K. Note that the derivatives of Φ(n) are constant on each triangle, (p) so Kmn is easy to compute exactly. Matrix C and vector b can also be computed by element assembly, but numerical quadrature is usually needed, except if Uj and f happen to be particularly “easy” functions (such as constants).
4.1.3 An example
As an example, we will compute the elements of K, the “stiffness matrix” (a term borrowed from structural mechanics), for the particular case of the structured mesh depicted in figure 4.4. Let M be the number of internal nodes in the horizontal as well as the vertical direction (the solid nodes in figure 4.4.) The width of each “panel” is then h = 1/(M + 1), and the area of each triangle is T = h2/2. The components of K are | k|
∂Φ(m) ∂Φ(n) Kmn = dΩ (4.12) ∂xj ∂xj ΩZ
(m) Note that Kmn vanishes for most m and n. For instance, Km,m+2 = 0, since basis functions Φ and (m+2) Φ do not overlap (figure 4.4). In fact, Kmn = 0 only when m and n are associated with nodes that are nearest neighbors. 6 To compute matrix element (4.12), we need expressions for the gradients of basis functions Φ(m) and Φ(m+1). Since the functions are piecewise linear, the gradient is constant on each triangles and may thus easily be computed by finite-differences in the coordinate direction (figure 4.5). By the expressions in PSfrag replacements
x, x1 y, x2 z, x3 u, u1 v, u2 w, u3 x1 x2 0 xi 0 ˆ ri xi , t u x 0, tˆ PSfrag replacemeni its P tˆ= 0 x, x1 y , x2 x z, x3 u1 uu,2 u>1 u1 v, u2 x1 w, u3 x2 x1 x3 x 0 x2 i 0 ˆ xui i dt 0 ˆdx 0 ri xi , t i u x 0,dtˆui dtˆ i i ˆ P tˆ=ri 0dt dr dtˆ i x P u 1 1 P u2 > u1 2 x x1 1 x x2 2 x x3 3 0 3 xi R 2 ui dtˆR 0 1 dxi R 3 dui dtˆr 2 ri dtˆ r ˆ r1 drπi dt 2 + dϕ12 P1 PV(t) S2(t) x V (t + ∆t) V1(t) x S (t−+ ∆2 t) x3 u R3 2 n V (t +R∆t) 1 R p r3 T0, U0 r2 Tw r1 π L 2 + dϕ12 V (t)T0 S (t)U0 V (t +Gradien∆t) Vt (fieldst) − wi S (t + ∆t)∂p u∂xi n ui Divergence free vectorfields //Vto(tb+oundary∆t) p L T0, U0 h Tw x1 Lx2 p > p 0 T0 1 p U0 1 Gradient fields u wi n ∂p dS ∂xi u n∆t ·ui Divergence free vectorfields // to boundary x y Lu h 0 p0 η = x1y √4νt x2 u u p0 > p1 0 y = η√4νt p1 u t η n y ω˜d(ηS) u ω = · 0 zu n√∆πtνt · x t y L u0 }δ ωp0 0 η = y ≈ √4Uνt u → u0y, v y = η√4νx,t u t L η U y δ ω˜(η) u0 ωz = · u0 η =√πνty √νx/u0 t u f 0 = L u0 Blasius profile}δ ω 0 δ∗ U≈ x Separationyp→,oinv t = Pressurex,forceu ⇐ L x U y δ l u0uT y η = x √νx/u0 u y f 0 = u0 Blasius profiledx dy δ ∗dx dl = ( dx,−xdy) Separation point n dl = ( dy, dx) = Pressure force− ⇐ i 1, j + 1 − i, jx+ 1 y i + 1, j + 1 l c uT c x 0 y b b0 i dx1, j dy i +− 1, j dx i, j dl = ( dx,−dy) n dl = ( dy, dAxabcd) − i 1, j + 1 d − i, j + 1 d0 i + 1, j + 1 a a0 i 1, j c 1 − i, jc−0 1 i + 1, j b− 1 b−0 j i 1, j i +− 1, j i i,ij+ 1 ui,j Aabcd vi,j d pi,j d0 pi,j a vi,j+1/2 a vi,j 01/2 i 1, j −1 − ui−1/2,j i, j −i 1 1 i + 1, j − 1− 2 − i i +j 1 i 2 i + 1 i + 1 3 i + 2 ui,j 1 j + 2 vi,j j pi,j 1 j 2 pi,j− j 1 vi,j+1/2− vi,j 1/2 A − ui 1/2,j B −i 1 C u2 3 − 2 ,1 vi 3 11, 2 i + 2 p1,1 i + 1 3 0 i + 2 1 1 j + 2 j 2 j 1 i − 2 j j 1 Inflo− w A Solid wall B n C u 3 Γ0 2 ,1 v 3 Γ1 1, 2 p1,1 Ω M 2 4.1. FEM FOR AN ADVECTION–DIFFUSION PROBLEM 0 75 M 1 m 2 m + 2 1 , 0 on T , i T3 h 1 1 1 1 j , on T2, h −h h T4 1 Inflow T2 0, h on T3, m − Solid wall Φ( ) = 1 , 0 on T , h 4 n ∇ − T1 1 , 1 on T , T5 h h 5 Γ0 − 1 0, on T6, Γ1 h Ω T6 0 on all other triangles. M 2 Figure 4.5: The gradient of test function Φ(m) for mMbeing the (black) middle node.
m
A(A(A(A(A(A(A(A(A B(B(B(B(B(B(B(B(B
m + 2 @?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@ A(A(A(A(A(A(A(A(A
(m) B(B(B(B(B(B(B(B(B
A(A(A(A(A(A(A(A(A @?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@ 1 1 B(B(B(B(B(B(B(B(B
1Φ>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?> A(A(A(A(A(A(A(A(A
h , h on T1, B(B(B(B(B(B(B(B(B
A(A(A(A(A(A(A(A(A @?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@ B(B(B(B(B(B(B(B(B
− >?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?> A(A(A(A(A(A(A(A(A
(m) 1 h B(B(B(B(B(B(B(B(B
@?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@ A(A(A(A(A(A(A(A(A Φ = , 0 on T , B(B(B(B(B(B(B(B(B (m+1) h 2 >?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>T2
A(A(A(A(A(A(A(A(A Φ
∇ − B(B(B(B(B(B(B(B(B
@?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@
A(A(A(A(A(A(A(A(A
B(B(B(B(B(B(B(B(B
>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?> A(A(A(A(A(A(A(A(A
0 on all other triangles B(B(B(B(B(B(B(B(B
@?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@
A(A(A(A(A(A(A(A(A B(B(B(B(B(B(B(B(B