Introductory Fluid Mechanics: Lecture Notes
Introductory Fluid Mechanics: Lecture Notes
Introductory Fluid Mechanics: Lecture Notes
1 Introduction
The derivation of the equations of motion for an ideal fluid by Euler in 1755, and
then for a viscous fluid by Navier (1822) and Stokes (1845) were a tour-de-force of
18th and 19th century mathematics. These equations have been used to describe and
explain so many physical phenomena around us in nature, that currently billions of
dollars of research grants in mathematics, science and engineering now revolve around
them. They can be used to model the coupled atmospheric and ocean flow used by
the meteorological office for weather prediction down to any application in chemical
engineering you can think of, say to development of the thrusters on NASAs Apollo
programme rockets. The incompressible NavierStokes equations are given by
u
1
+ u u = 2 u p + f ,
t
u = 0,
where u = u(x, t) is a three dimensional fluid velocity, p = p(x, t) is the pressure and
f is an external force field. The constants and are the mass density and kinematic
viscosity, respectively. The frictional force due to stickiness of a fluid is represented by
the term 2 u. An ideal fluid corresponds to the case = 0, when the equations above
are known as the Euler equations for a homogeneous incompressible ideal fluid. We will
derive the NavierStokes equations and in the process learn about the subtleties of fluid
mechanics and along the way see lots of interesting applications.
3. Lmacro , the macro-scale which is the scale of the fluid geometry, the scale of the
container the fluid is in, whether a beaker or an ocean.
And, of course we have the asymptotic inequalities:
Lmolecular Lfluid Lmacro .
Continuum Hypothesis We will assume that the properties of an elementary volume/parcel of fluid, however small, are the same as for the fluid as a wholei.e. we
suppose that the properties of the fluid at scale Lfluid propagate all the way down
and through the molecular scale Lmolecular . This is the continuum assumption. For
everyday fluid mechanics engineering, this assumption is extremely accurate (Chorin
and Marsden [3, p. 2]).
Our derivation of the basic equations underlying the dynamics of fluids is based on
three basic conservation principles:
1. Conservation of mass, mass is neither created or destroyed;
2. Newtons 2nd law/balance of momentum, for a parcel of fluid the rate of change of
momentum equals the force applied to it;
3. Conservation of energy, energy is neither created nor destroyed.
In turn these principles generate the:
1. Continuity equation which governs how the density of the fluid evolves locally and
thus indicates compressibility properties of the fluid;
2. NavierStokes equations of motion for a fluid which indicates how the fluid moves
around from regions of high pressure to those of low pressure and under the effects
of viscosity;
3. Equation of state which indicates the mechanism of energy exchange within the
fluid.
d
x(t) = u x(t), y(t), z(t), t ,
dt
d
y(t) = v x(t), y(t), z(t), t ,
dt
d
z(t) = w x(t), y(t), z(t), t .
dt
Definition 1 (Particle path or trajectory) The particle path or trajectory of a fluid
particle is the curve traced out by the particle as time progresses. If the particle starts
at position (x0 , y0 , z0 )T then its particle path is the solution to the system of differential
equations (the same as those above but here in shorter vector notation)
d
x(t) = u(x(t), t),
dt
with initial conditions x(0) = x0 , y(0) = y0 and z(0) = z0 .
Definition 2 (Streamline) Suppose for a given fluid flow u(x, t) we fix time t. A streamline is an integral curve of u(x, t) for t fixed, i.e. it is a curve x = x(s) parameterized
by the variable s, that satisfies the system of differential equations
d
x(s) = u(x(s), t),
ds
with t held constant.
Remark 1 If the velocity field u is time-independent, i.e. u = u(x) only, or equivalently
u/t = 0, then trajectories and streamlines coincide. Flows for which u/t = 0 are
said to be stationary.
Example. Suppose a velocity field u(x, t) = (u, v, w)T is given by
u
y
v = x
w
0
for some constant > 0. Then the particle path for a particle that starts at (x0 , y0 , z0 )T
is the integral curve of the system of differential equations
dx
= y,
dt
dy
= x
dt
and
dz
= 0.
dt
This is a coupled pair of differential equations as the solution to the last equation is
z(t) = z0 for all t > 0. There are several methods for solving the pair of equations, one
method is as follows. Differentiating the first equation with respect to t we find
d2 x
dy
=
dt
dt2
d2 x
= 2 x.
dt2
In other words we are required to solve the linear second order differential equation for
x = x(t) shown. The general solution is
x(t) = A cos t + B sin t,
where A and B are arbitrary constants. We can now find y = y(t) by substituting this
solution for x = x(t) into the first of the pair of differential equations as follows:
1 dx
dt
1
= (A sin t + B cos t)
= A sin t B cos t.
y(t) =
Using that x(0) = x0 and y(0) = y0 we find that A = x0 and B = y0 so the particle
path of the particle that is initially at (x0 , y0 , z0 )T is given by
x(t) = x0 cos t y0 sin t,
and
z(t) = z0 .
This particle
thus traces out a horizontal circular particle path at height z = z0 of
p
radius x20 + y02 . Since this flow is stationary, streamlines coincide with particle paths
for this flow.
Example. Consider the two-dimensional flow
u
v
u0
,
v0 cos(kx t)
where u0 , v0 , k and are constants. Let us find the particle path and streamline for
the particle at (x0 , y0 )T = (0, 0)T at t = 0. Starting with the particle path, we are
required to solve the coupled pair of ordinary differential equations
dx
= u0
dt
dy
= v0 cos(kx t).
dt
and
dy
= v0 cos (ku0 )t
dt
t
y(t) = 0 +
y(t) =
v0 cos (ku0 ) d
0
v0
sin (ku0 )t .
ku0
If we eliminate time t between the formulae for x = x(t) and y = y(t) we find that the
trajectory through (0, 0)T is
v0
y=
sin
ku0
k
x .
u0
To find the streamline through (0, 0)T , we fix t, and solve the pair of differential equations
dx
dy
= u0
and
= v0 cos(kx t).
ds
ds
As above we can solve the first equation so that x(s) = u0 s using that x(0) = 0. We can
substitute this into the second equation and integrate with respect to sremembering
that t is constantto get
dy
= v0 cos(ku0 s t)
ds
v0 cos(ku0 r t) dr
y(s) = 0 +
0
y(s) =
v0
sin(ku0 s t) sin(t) .
ku0
If we eliminate the parameter s between x = x(s) and y = y(s) above, we find the
equation for the streamline is
y=
v0
sin(kx t) + sin(t) .
ku0
The equation of the streamline through (0, 0)T at time t = 0 is thus given by
y=
v0
sin(kx).
ku0
As the underlying flow is not stationary, as expected, the particle path and streamline
through (0, 0)T at time t = 0 are distinguished. Finally let us examine two special limits
for this flow. As 0 the flow becomes stationary and correspondingly the particle
path and streamline coincide. As k 0 the flow is not stationary. In this limit the
particle path through (0, 0)T is y = (v0 /) sin(x/u0 ), i.e. it is sinusoidal, whereas the
streamline is given by x = u0 s and y = 0, which is a horizontal straight line through
the origin.
Remark 2 A streakline is the locus of all the fluid elements which at some time have
past through a particular point, say (x0 , y0 , z0 )T . We can obtain the equation for a
streakline through (x0 , y0 , z0 )T by solving the equations
(d/dt)x(t) = u(x(t), t) asT
suming that at t = t0 we have x(t0 ), y(t0 ), z(t0 )
= (x0 , y0 , z0 )T . Eliminating t0
between the equations generates the streakline corresponding to (x0 , y0 , z0 )T . For example, ink dye injected at the point (x0 , y0 , z0 )T in the flow will trace out a streakline.
4 Continuity equation
Recall, we suppose our fluid is contained with a region/domain D Rd (here we will
assume d = 3, but everything we say is true for the collapsed two dimensional case
d = 2). Hence x = (x, y, z)T D is a position/point in D. At each time t we will
suppose that the fluid has a well defined mass density (x, t) at the point x. Further,
each fluid particle traces out a well defined path in the fluid, and its motion along
that path is governed by the velocity field u(x, t) at position x at time t. Consider an
arbitrary subregion D. The total mass of fluid contained inside the region at
time t is
Z
(x, t) dV.
where dV is the volume element in Rd . Let us now consider the rate of change of mass
inside . By the principle of conservation of mass, the rate of increase of the mass in
is given by the mass of fluid entering/leaving the boundary of per unit time.
To compute the total mass of fluid entering/leaving the boundary per unit time,
we consider a small area patch dS on the boundary of , which has unit outward
normal n. The total mass of fluid flowing out of through the area patch dS per unit
time is
mass density fluid volume leaving per unit time = (x, t) u(x, t) n(x) dS,
where x is at the centre of the area patch dS on . Note that to estimate the fluid
volume leaving per unit time we have decomposed the fluid velocity at x , time t,
into velocity components normal (u n) and tangent to the surface at that point.
The velocity component tangent to the surface pushes fluid across the surfaceno fluid
enters or leaves via this component. Hence we only retain the normal component
see Fig. 2.
Fig. 1 The fluid of mass density (x, t) swirls around inside the container D, while is an
imaginary subregion.
u.n
dS
Fig. 2 The total mass of fluid moving through the patch dS on the surface per unit time,
is given by the mass density (x, t) times the volume of the cylinder shown which is u n dS.
Z
(x, t) dV =
u n dS.
The divergence theorem and that the rate of change of the total mass inside equals
the total rate of change of mass density inside imply, respectively,
Z
(u) dV =
(u) n dS
and
d
dt
Z
dV =
dV.
t
+ (u) dV = 0.
t
Now we use that is arbitrary to deduce the differential form of the law of conservation
of mass or continuity equation that applies pointwise:
+ (u) = 0.
t
This is the first of our three conservation laws.
5 Transport Theorem
Recall our image of a small fluid particle moving in a fluid flow field prescribed by the
velocity field u(x, t). The velocity of the particle at time t at position x(t) is
d
x(t) = u(x(t), t).
dt
As the particle moves in the velocity field u(x, t), say from position x(t) to a nearby
position an instant in time later, two dynamical contributions change: (i) a small instant
in time has elapsed and the velocity field u(x, t), which depends on time, will have
changed a little; (ii) the position of the particle has changed in that short time as it
moved slightly, and the velocity field u(x, t), which depends on position, will be slightly
different at the new position.
Let us compute the acceleration of the particle to explicitly observe these two
contributions. By using the chain rule we see that
d2
d
x(t) = u x(t), t
dt
dt2
u dx
u dy
u dz
u
=
+
+
+
x dt
y dt
z dt
t
dx
dy
dz
u
=
+
+
u+
dt x
dt y
dt z
t
u
.
= u u +
t
Indeed for any function F (x, y, z, t), scalar or vector valued, the chain rule implies
F
d
F x(t), y(t), z(t), t =
+ u F.
dt
t
Definition 3 (Material derivative) If the velocity field components are
u = (u, v, w)T
and
uu
+v
+w ,
x
y
z
:=
+ u .
Dt
t
Suppose that the region within which the fluid is moving is D. Suppose is a subregion
of D identified at time t = 0. As the fluid flow evolves the fluid particles that originally
made up will subsequently fill out a volume t at time t. We think of t as the
volume moving with the fluid.
Theorem 1 (Transport Theorem) For any function F and density function satisfying
the continuity equation, we have
d
dt
Z
F dV =
t
DF
dV.
Dt
We will use the Transport Theorem to deduce both the Euler and Cauchy equations of
motion from the primitive integral form of the balance of momentum; see Sections 10
and 15. We now carefully elucidate the steps required for the proof of the Transport
Theoremsee Chorin and Marsden [3, pp. 611]. Importantly the concepts of the
flow map in Step 1 and the evolution of its Jacobian in Step 3 will have important
ramifications in coming sections. The four steps are as follows.
Step 1: Fluid flow map. For a fixed position x D we denote by (x, t) = (, , )T
the position of the particle at time t, which at time t = 0 was at x. We use t to denote
the map x 7 (x, t), i.e. t is the map that advances each particle at position x at
time t = 0 to its position at time t later; it is the fluid flow-map. Hence, for example
t () = t . We assume t is sufficiently smooth and invertible for all our subsequent
manipulations.
Step 2: Change of variables. For any two functions and F we can perform the
change of variables from (, t) to (x, t)with J(x, t) the Jacobian for this transformation given by definition as J(x, t) := det (x, t) . Here the gradient operator is with
respect to the x coordinates, i.e. = x . Note for t we integrate over volume elements dV = dV (), i.e. with respect to the coordinates, whereas for we integrate
over volume elements dV = dV (x), i.e. with respect to the fixed coordinates x. Hence
by direct computation
d
dt
Z
F dV =
t
d
dt
d
dt
d
( F )((x, t), t) J(x, t) dV
dt
Z
=
( F )(, t) dV ()
t
d
d
( F )((x, t), t) J(x, t) + ( F )((x, t), t) J(x, t) dV
dt
dt
Z
d
D
( F ) ((x, t), t) J(x, t) + ( F )((x, t), t) J(x, t) dV.
Dt
dt
Step 3: Evolution of the Jacobian. We establish the following result for the Jacobian:
d
J(x, t) = u((x, t), t) J(x, t).
dt
We know that a particle at position (x, t) = (x, t), (x, t), (x, t)
at x at time t = 0, evolves according to
T
, which started
d
(x, t) = u (x, t), t .
dt
Taking the gradient with respect to x of this relation, and swapping over the gradient
and d/dt operations on the left, we see that
d
(x, t) = u (x, t), t .
dt
Using the chain rule we have
x (x, t) .
10
d
det = Tr( u) det ,
dt
where Tr denotes the trace operator on matricesthe trace of a matrix is the sum of
its diagonal elements. Since Tr( u) u we have established the required result.
Step 4: Conservation of mass. We see that we thus have
d
dt
Z
Z
F dV =
Z
=
t
Z
=
D
( F ) + ( F ) u ((x, t), t) J(x, t) dV
Dt
D
( F ) + u F
Dt
dV
DF
dV,
Dt
where in the last step we have used the conservation of mass equation.
We have thus completed the proof of the Transport Theorem. A straightforward
corollary proved in a manner analogous to that of the Transport Theorem is as follows.
Corollary 1 For any function F = F ((t), t) we have
d
dt
Z
F dV =
F
+ (F u) dV.
t
6 Incompressible flow
We now characterize a subclass of flows which are incompressible. The classic examples
are water, and the brake fluid in your car whose incompressibility properties are vital
to the effective transmission of pedal pressure to brakepad pressure. Herein we closely
follow the presentation given in Chorin and Marsden [3, pp. 1011].
Definition 4 (Incompressible flow) A flow is said to be incompressible if for any subregion D, the volume of t is constant in time.
Corollary 2 (Equivalent incompressibility statements) The following statements are
equivalent:
1. Fluid is incompressible;
2. Jacobian J 1;
3. The velocity field u = u(x, t) is divergence free, i.e. u = 0.
11
Proof Using the result for the Jacobian of the flow map in Step 3 of the proof of the
Transport Theorem, for any subregion of the fluid, we see
d
d
vol(t ) =
dt
dt
d
dt
dV ()
t
J(x, t) dV (x)
u(, t) dV ().
=
t
u
t
+ u + u = 0.
t
Hence since > 0, a flow is incompressible if and only if
+ u = 0,
t
i.e. the fluid density is constant following the fluid.
Z
dV = 0.
t
Z
(x, t) dV =
(x, 0) dV
(x, 0) dV
12
7 Stream functions
A stream function exists for a given flow u = (u, v, w)T if the velocity field u is
solenoidal, i.e. u = 0, and we have an additional symmetry that allows us to
eliminate one coordinate. For example, a two dimensional incompressible fluid flow
u = u(x, y, t) is solenoidal since u = 0, and has the symmetry that it is uniform
with respect to z. For such a flow we see that
u=0
u
v
+
= 0.
x
y
This equation is satisfied if and only if there exists a function (x, y, t) such that
= u(x, y, t)
y
and
= v(x, y, t).
x
The function is called Lagranges stream function. A stream function is always only
defined up to any arbitrary additive constant. Further note that for t fixed, streamlines
are given by constant contour lines of (note u = 0 everywhere).
Note that if we use plane polar coordinates so u = u(r, , t) and the velocity
components are u = (ur , u ) then
u=0
1
1 u
(r ur ) +
= 0.
r r
r
This is satisfied if and only if there exists a function (r, , t) such that
1
= ur (r, , t)
r
and
= u (r, , t).
r
Example Suppose that in Cartesian coordinates we have the two dimensional flow
u = (u, v)T given by
kx
u
,
=
k y
v
for some constant k. Note that u = 0 so there exists a stream function satisfying
= kx
y
and
= k y.
x
Consider the first partial differential equation. Integrating with respect to y we get
= k xy + C(x)
where C(x) is an arbitrary function of x. However we know that must simultaneously
satisfy the second partial differential equation above. Hence we substitute this last
relation into the second partial differential equation above to get
= k y
x
k y + C 0 (x) = k y.
13
Now suppose we used plane polar coordinates instead. The corresponding flow
u = (ur , u )T is given by
ur
u
=
k r cos 2
.
k r sin 2
First note that u = 0 using the polar coordinate form for u indicated above.
Hence there exists a stream function = (r, ) satisfying
1
= k r cos 2
r
and
= k r sin 2.
r
As above, consider the first partial differential equation shown, and integrate with
respect to to get
=
1
2
k r2 sin 2 + C(r).
Substituting this into the second equation above reveals that C 0 (r) = 0 so that C is a
constant. We can for convenience set C = 0 so that
=
1
2
k r2 sin 2.
Comparing this form with its Cartesian equivalent above, reveals they are the same.
1
2
(u) + (u)T +
1
2
(u) (u)T .
We set
D :=
R :=
1
2
1
2
(u) + (u)T ,
(u) (u)T .
14
0
u/y v/x
R = v/x u/y
0
w/x u/z w/y v/z
u/z w/x
v/z w/y .
0
w
v
,
y
z
2 =
u
w
z
x
and
3 =
v
u
,
x
y
R=
1
2
0 3 2
3 0 1 .
2 1
0
d1 0 0
X 1 DX = 0 d2 0 .
0 0 d3
By direct computation, the vector field above is equivalently given by = u.
Definition 6 (Vorticity field) For any velocity vector field u the associated vector field
given by
= u,
is known as the vorticity field of the flow. It encodes the magnitude of, and direction
of the axis about which, the fluid rotates, locally.
Now consider the motion of a fluid particle labelled by x + h where x is fixed and h is
small (for example suppose that only a short time has elapsed). Then the position of
the particle is given by
d
(x + h) = u(x + h)
dt
dh
= u(x + h)
dt
dh
u(x) + D(x) h + 21 (x) h.
dt
15
1. The term u(x) is simply uniform translational velocity (the particle being pushed
by the ambient flow surrounding it).
2. Now consider the second term D(x) h. If we ignore the other terms then, approximately, we have
dh
= D(x) h.
dt
we get
Making a local change of coordinates so that h = X h
1
1
h
h
d 0 0
d 1
2 .
h2 = 0 d2 0 h
dt
3
0 0 d3
h
h3
16
S
P
Fig. 3 Two neighbouring parcels of fluid P and P 0 . Suppose S is the surface of mutual contact
between them. Their respective velocities are u and u0 and in the same direction and parallel
to S, but with |u| |u0 |. The faster molecules in P will diffuse across the surface S and
impart momentum to P 0 .
dF
n
(1)
x
(2)
dS
Fig. 4 The force dF on side (2) by side (1) of dS is given by (n) dS.
We now proceed more formally. The force per unit area exerted across a surface
(imaginary in the fluid) is called the stress. Let dS be a small imaginary surface in the
fluid centred on the point xsee Fig. 4. The force dF on side (2) by side (1) of dS in
the fluid/material is given by
dF = (n) dS.
Here is the stress at the point x. It is a function of the normal direction n to the
surface dS, in fact it is given by:
(n) = (x) n.
Note = [ij ] is a 3 3 matrix known as the stress tensor. The diagonal components
of ij , with i = j, generate normal stresses, while the off-diagonal components, with
i 6= j, generate tangential or shear stresses. Indeed let us decompose the stress tensor
= (x) as follows (here I is the 3 3 identity matrix):
= p I +
.
Here the scalar quantity p = p(x, t) is defined to be
p := 31 (11 + 22 + 33 )
and represents the fluid pressure. The remaining part of the stress tensor
=
(x) is
known as the deviatoric stress tensor. In this decomposition, the term p I generates
the normal stresses, since if this were the only term present,
= p I
(n) = p n.
17
Z
(pI) n dS
(p) dV.
t
If f is a body force (external force) per unit mass, which can depend on position and
time, then the body force on the fluid inside t is
Z
f dV.
t
Z
p + f dV.
t
Hence using Newtons 2nd law (force = rate of change of total momentum) we have
d
dt
Z
p + f dV.
u dV =
t
Now we use the Transport Theorem with F u and that and thus t are arbitrary.
We see that for at each x D and t > 0, the following relation must holdthe
differential form of the balance of momentum in this case:
Du
= p + f .
Dt
Thus for an ideal fluid for which we only include normal stresses and completely ignore
any shear stresses, the fluid flow is governed by the Euler equations of motion (derived
by Euler in 1755) given by:
u
1
+ u u = p + f ,
t
Now that we have partial differential equations that determine how fluid flows
evolve, we complement them with boundary and initial conditions. The initial condition
is the velocity profile u = u(x, 0) at time t = 0. It is the state in which the flow
starts. To have a well-posed evolutionary partial differential system for the evolution
of the fluid flow, we also need to specify how the flow behaves near boundaries. Here
a boundary could be a rigid boundary, for example the walls of the container the fluid
is confined to or the surface of an obstacle in the fluid flow. Another example of a
boundary is the free surface between two immiscible fluidssuch as between seawater
and air on the ocean surface. Here we will focus on rigid boundaries.
For ideal fluid flow, i.e. one evolving according to the Euler equations, we simply
need to specify that there is no net flow normal to the boundarythe fluid does not
cross the boundary but can move tangentially to it. Mathematically this is means that
we specify that
un=0
everywhere on the rigid boundary.
18
r
a
+
+ uz .
r
r
z
19
u2
1 p
=
,
r
r
1 p
0=
r
1 p
0=
g.
z
The incompressibility condition is satisfied trivially. The second equation above tells
us the pressure p is independent of , as we might have already suspected. Hence we
assume p = p(r, z) and focus on the first and third equation above.
The question now is can we find functions u = u (r, z) and p = p(r, z) that satisfy
the first and third partial differential equations above? To help us in this direction
we will make some further assumptions. We will suppose that as the water flows out
through the hole at the bottom of a bath the residual rotation is confined to a core of
radius a, so that the water particles may be taken to move on horizontal circles with
(
u =
r,
r 6 a,
a2
r ,
r > a.
The azimuthal flow we assume for r 6 a represents solid body rotation in the core
region. The flow we assume for r > a represents two-dimensional irrotational flow
generated by a point source at the origin. With u = u (r) assumed to have this form,
the question now is, can we find a corresponding pressure field p = p(r, z) so that the
first and third equations above are satisfied?
Assume r 6 a. Using that u = r in the first equation we see that
p
= 2 r
r
p(r, z) = 12 2 r2 + C(z),
where C(z) is an arbitrary function of z. If we then substitute this into the third
equation above we see that
1 p
= g
z
C 0 (z) = g,
Hence the depression in the free surface for r 6 a is a parabolic surface of revolution.
Note that pressure is only ever globally defined up to an additive constant so we are
at liberty to take C0 = 0 or C0 = P0 if we like.
20
2 a4
gz + K0 ,
2 r2
K0 = 2 a2 .
2 a4
gz + 2 a2 .
2 r2
Using that the pressure at the free surface is p(r, z) = P0 , we see that for r > a the
free surface is given by
2 a4
2 a2
z=
.
+
2
g
gr
Remark 4 The fact that there are no tangential forces in an ideal fluid has some important consequences, quoting from Chorin and Marsden [3, p. 5]:
...there is no way for rotation to start in a fluid, nor, if there is any at the
beginning, to stop... ... even here we can detect trouble for ideal fluids because
of the abundance of rotation in real fluids (near the oars of a rowboat, in
tornadoes, etc. ).
In particular see DAlemberts paradox in Section 12. We discuss some further consequences of Euler flow in Appendix D.
11 Bernoullis Theorem
Theorem 3 (Bernoullis Theorem) Suppose we have an ideal homogeneous incompressible stationary flow with a conservative body force f = , where is the potential
function. Then the quantity
p
H := 12 |u|2 + +
|u|2 = u u + u ( u).
Since the flow is stationary, Eulers equation of motion for an ideal fluid imply
p
u u =
21
|u|2 u ( u) =
2
1
2 |u|
p
p
+ = u ( u)
H = u ( u),
using the definition forH given in the theorem. Now let x(s) be a streamline that
satisfies x0 (s) = u x(s) . By the fundamental theorem of calculus, for any s1 and s2 ,
s2
H x(s2 ) H x(s1 ) =
dH x(s)
s1
s2
Z
=
H x0 (s) ds
s
Z 1s2
u ( u) u x(s) ds
=
s1
= 0,
where we used that (u a) u 0 for any vector a (since u a is orthogonal to u).
Since s1 and s2 are arbitrary we deduce that H does not change along streamlines. u
t
Remark 5 Note that H has the units of an energy density. Since is constant here,
we can interpret Bernoullis Theorem as saying that energy density is constant along
streamlines.
Example (Torricelli 1643). Consider the problem of an oil drum full of water that
has a small hole punctured into it near the bottom. The problem is to determine the
velocity of the fluid jetting out of the hole at the bottom and how that varies with the
amount of water left in the tankthe setup is shown in Fig 6. We shall assume the hole
has a small cross-sectional area . Suppose that the cross-sectional area of the drum,
and therefore of the free surface (water surface) at z = 0, is A. We naturally assume
A . Since the rate at which the amount of water is dropping inside the drum must
equal the rate at which water is leaving the drum through the punctured hole, we have
dh
dt
A=U
dh
dt
=
A
U.
dh
dt
2
=
2
A
1.
Since the flow is quasi-stationary, incompressible as its water, and there is conservative body force due to gravity, we apply Bernoullis Theorem for one of the typical
streamlines shown in Fig. 6. This implies that the quantity H is the same at the free
surface and at the puncture hole outlet, hence
1
2
dh
dt
2
+
P0
P
= 12 U 2 + 0 gh.
22
z=h
P0
Typical streamline
Fig. 6 Torricelli problem: the pressure at the top surface and outside the puncture hole is
atmospheric pressure P0 . Suppose the height of water above the puncture is h. The goal is to
determine how the velocity of water U out of the puncture hole varies with h.
1 2
2U
dh
dt
2
1
U2
2
1
2
= 12 U 2 1
=
1 2
2U
1 2
2U
dh
dt
2
2gh.
Remark 6 Note the pressure inside the container at the puncture hole level is P0 +gh.
The difference between this and the atmospheric pressure P0 outside, accelerates the
water through the puncture hole.
Example (Channel flow: Froude number). Consider the problem of a steady flow
of water in a channel over a gently undulating bedsee Fig 7. We assume that the
flow is shallow and uniform in cross-section. Upstream the flow is characterized by flow
velocity U and depth H. The flow then impinges on a gently undulating bed of height
y = y(x) as shown in Fig 7, where x measures distance downstream. The depth of the
flow is given by h = h(x) whilst the fluid velocity at that point is u = u(x), which is
uniform over the depth throughout. Re-iterating slightly, our assumptions are thus,
dy
1
dx
23
P0
h(x)
H
y(x)
x
Fig. 7 Channel flow problem: a steady flow of water, uniform in cross-section, flows over a
gently undulating bed of height y = y(x) as shown. The depth of the flow is given by h = h(x).
Upstream the flow is characterized by flow velocity U and depth H.
and
dh
1
dx
+ gH = 12 u2 + g(y + h).
Substituting for u = u(x) from the incompressibility condition above, and rearranging,
Bernoullis theorem implies that for all x we have the constraint
y=
(U H)2
U2
+H h
.
2g
2gh2
We can think of this as a parametric equation relating the fluid depth h = h(x) to the
undulation height h = h(x) where the parameter x runs from x = far upstream
to x = + far downstream. We plot this relation, y as a function of h, in Fig 8. Note
that y has a unique global maximum y0 coinciding with the local maximum and given
by
dy
=0
dh
h = h0 =
(U H)2/3
.
g 1/3
F := U/
gH
2/3
24
y
y0
Fig. 8 Channel flow problem: The flow depth h = h(x) and undulation height y = y(x) are
related as shown, from Bernoullis
theorem. Note that y has a maximum value y0 at height
y0 / H
F<1
F=1
F>1
Fig. 9 Channel flow problem: Two different values of the Froude number F give the same
maximum permissible undulation height y0 . Note we actually plot the normalized maximum
possible height y0 /H on the ordinate axis.
This puts a bound on the height of the bed undulation that is compatible with the
upstream conditions. In Fig 9 we plot the maximum permissible height y0 the undulation is allowed to attain as a function of the Froude number F. Note that two different
values of the Froude number F give the same maximum permissible undulation height
y0 , one of which is slower and one of which is faster (compared with gH).
Let us now consider and actual given undulation y = y(x). Suppose that it attains
an actual maximum value ymax . There are three cases to consider, in turn we shall
consider ymax < y0 , the more interesting case, and then ymax > y0 . The third case
ymax = y0 is an exercise (see the Exercises section at the end of these notes).
In the first case, ymax < y0 , as x varies from x = to x = +, the undulation
height y = y(x) varies but is such that y(x) 6 ymax . Refer to Fig. 8, which plots
the constraint relationship between y and h resulting from Bernoullis theorem. Since
y(x) 6 ymax as x varies from to +, the values of (h, y) are restricted to part
of the branches of the graph either side of the global maximum (h0 , y0 ). In the figure
these parts of the branches are the locale of the shaded sections shown. Note that the
derivative dy/dh = 1/(dh/dy) has the same fixed (and opposite) sign in each of the
branches. In the branch for which h is small, dy/dh > 0, while the branch for which
h is larger, dy/dh < 0. Indeed note the by differentiating the constraint condition, we
have
(U H)2
dy
.
= 1
dh
gh3
25
F<1
F>1
Fig. 10 Channel flow problem: for the case ymax < y0 , when F < 1, as the bed height y
increases, the fluid depth h decreases and vice-versa. Hence we see a depression in the fluid
surface above a bump in the bed. On the other hand, when F > 1, as the bed height y increases,
the fluid depth h increases and vice-versa. Hence we see an elevation in the fluid surface above
a bump in the bed.
Using the incompressibility condition to substitute for U H we see that this is equivalent
to
dy
u2
= 1
.
dh
gh
We can think of u/ gh as a local Froude number if we like. In any case, note that since
we are in one branch or the other, and in either case the sign of dy/dh is fixed, this
means that using the expression for dy/dh we just derived, for any flow realization the
sign of 1 u2 /gh is also fixed. When x = this quantity has the value 1 U 2 /gH.
Hence the sign of 1 U 2 /gH determines the sign of 1 u2 /gh. Hence if F < 1 then
U 2 /gH = F2 < 1 and therefore for all x we must have u2 /gh < 1. And we also deduce
in this case that we must be on the branch for which h is relatively large as dy/dh is
negative. The flow is said to be subcritical throughout and indeed we see that
dh
=
dy
dy
dh
1
u2
= 1
gh
1
< 1
d
(h + y) < 0.
dy
Hence in this case, as the bed height y increases, the fluid depth h decreases and viceversa. On the other hand if F > 1 then U 2 /gH > 1 and thus u2 /gh > 1. We must be
on the branch for which h is relatively small as dy/dh is positive. The flow is said to
be supercritical throughout and we have
u2
dh
= 1
dy
gh
1
>0
d
(h + y) > 1.
dy
Hence in this case, as the bed height y increases, the fluid depth h increases and viceversa. Both cases, F < 1 and F > 1, are illustrated by a typical scenario in Fig. 10.
In the second case, ymax > y0 , the undulation height is larger than the maximum
permissible height y0 compatible with the upstream conditions. Under the conditions
we assumed, there is no flow realized here. In a real situation we may imagine a flow
impinging on a large barrier with height ymax > y0 , and the result would be some
sort of reflection of the flow occurs to change the upstream conditions in an attempt
to make them compatible with the obstacle. (Our steady flow assumption obviously
breaks down here.)
26
12 Irrotational/potential flow
Many flows have extensive regions where the vorticity is zero; some have zero vorticity
everywhere. We would call these, respectively, irrotational regions of the flow and
irrotational flows. In such regions
= u = 0.
Hence the field u is conservative and there exists a scalar function such that
u = .
The function is known as the flow potential. Note that u is conservative in a region
if and only if the circulation
I
u dx = 0
C
where N is the number of times the closed curve C winds round the origin r = 0.
The circulation will be zero for all circuits reducible continuously to a point without
breaking the vortex.
Example (DAlemberts paradox) Consider a uniform flow into which we place an
obstacle. We would naturally expect that the obstacle represents an obstruction to the
fluid flow and that the flow would exert a force on the obstacle, which if strong enough,
might dislodge it and subsequently carry it downstream. However for an ideal flow, as
we are just about to prove, this is not the case. There is no net force exerted on an
obstacle placed in the midst of a uniform flow.
We thus consider a uniform ideal flow into which is placed a sphere, radius a.
The set up is shown in Fig. 11. We assume that the flow around the sphere is steady,
incompressible and irrotational. Suppose further that the flow is axisymmetric. By this
we mean the following. Use spherical polar coordinates to represent the flow with the
27
U
r
U
U
Fig. 11 Consider an ideal steady, incompressible, irrotational and axisymmetric flow past a
sphere as shown. The net force exerted on the sphere (obstacle) in the flow is zero. This is
DAlemberts paradox.
south-north pole axis passing through the centre of the sphere and aligned with the
uniform flow U at infinity; see Fig. 11. Then the flow is axisymmetric if it is independent
of the azimuthal angle of the spherical coordinates (r, , ). Further we also assume
no swirl so that u = 0.
Since the flow is incompressible and irrotational, it is a potential flow. Hence we
seek a potential function such that = 0. In spherical polar coordinates this is
equivalent to
1
2
r
+
sin
= 0.
r
sin
r2 r
The general solution to Laplaces equation is well known, and in the case of axisymmetry the general solution is given by
(r, ) =
X
n=0
Bn
An r + n+1
r
n
Pn (cos )
where Pn are the Legendre polynomials; with P1 (x) = x. The coefficients An and Bn
are constants, most of which, as we shall see presently, are zero. For our problem we
have two sets of boundary data. First, that as r in any direction, the flow field
is uniform and given by u = (0, 0, U )T (expressed in Cartesian coordinates with the
z-axis aligned along the south-north pole) so that as r
U r cos .
Second, on the sphere r = a itself we have a no normal flow condition
= 0.
r
Using the first boundary condition for r we see that all the An must be zero
except A1 = U . Using the second boundary condition on r = a we see that all the
Bn must be zero except for B1 = 21 U a3 . Hence the potential for this flow around the
sphere is
= U (r + a3 /2r2 ) cos .
28
Since the flow is ideal and steady as well, Bernoullis theorem applies and so along a
typical streamline 21 |u|2 + P/ is constant. Indeed since the conditions at infinity are
uniform so that the pressure P and velocity field U are the same everywhere there,
this means that for any streamline and in fact everywhere for r > a we have
1 2
1
|u| + P/ = U 2 + P /.
2
2
Rearranging this equation and using our expression for the velocity field above we have
P P
= 12 U 2 1 (1 a3 /r3 )2 cos2 (1 + a3 /2r3 )2 sin2 .
9
4
sin2 .
Note that on the sphere, the pressure is symmetric about = 0, /2, , 3/2. Hence
the fluid exerts no net force on the sphere! (There is no drag or lift.) This result, in
principle, applies to any shape of obstacle in such a flow. In reality of course this cannot
be the case, the presence of viscosity remedies this paradox (and crucially generates
vorticity).
I
u dx.
Ct
u dx =
Ct
( u) n dS =
S
n dS
S
where S is any surface with perimeter Ct ; see Fig. 13. In other words the circulation is
equivalent to the flux of vorticity through the surface with perimeter Ct .
Theorem 4 (Kelvins circulation theorem (1869)) For ideal, incompressible flow without external forces, the circulation for any closed contour Ct is constant in time.
Proof Using a variant of the Transport Theorem and the Euler equations, we see
d
dt
I
u dx =
Ct
Ct
Du
dx =
Dt
I
p dx = 0,
Ct
u
t
29
S1
S2
Ct
S0
Fig. 12 Stokes theorem tells us that the circulation around the closed contour C equals the
flux of vorticity through any surface whose perimeter is C. For example here the flux of vorticity
through S0 , S1 and S2 is the same.
C
S
Fig. 13 The strength of the vortex tube is given by the circulation around any curve C that
encircles the tube once.
Corollary 3 The flux of vorticity across a surface moving with the fluid is constant in
time.
Definition 8 (Vortex lines) These are the lines that are everywhere parallel to the
local vorticity , i.e. with t fixed they solve (d/ds)x(s) = (x(s), t). These are the
trajectories for the field for t fixed.
Definition 9 (Vortex tube) This is the surface formed by the vortex lines through the
points of a simple closed curve C; see Fig. 13. We can define the strength of the vortex
tube to be
Z
I
n dS
S
u dx.
Ct
Remark 7 This is a good definition because it is independent of the precise crosssectional area S, and the precise circuit C around the vortex tube taken (because
0); see Fig. 13. Vorticity is larger where the cross-sectional area is smaller and
vice-versa. Further, for an ideal fluid, vortex tubes move with the fluid and the strength
of the vortex tube is constant in time as it does so (Helmholtzs theorem; 1858); see
Chorin and Marsden [3, p. 26].
14 Shear stresses
Recall our discussion on internal fluid forces in Section 9. We now consider the explicit
form of the shear stresses and in particular the deviatoric stress tensor. This is necessary
if we want to consider/model any real fluid (i.e. non-ideal fluid). We assume that the
30
U u U 1 U
(u) U 1 .
I2 (A) :=
1
2
(TrA)2 Tr(A2 )
and
I2 (A) := det A,
are isotropic. This can be checked by direct computation. Indeed these three functions
are the elementary symmetric functions of the eigenvalues of A:
I1 (A) = 1 + 2 + 3 ,
I2 (A) = 1 2 + 2 3 + 2 3
and
I2 (A) = 1 2 3 .
31
(D) = 0 I + 1 D + 2 D2 ,
for every symmetric matrix D, where 0 , 1 and 2 are scalar functions that depend
only on the isotropic invariants I1 (D), I2 (D) and I3 (D).
Proof Scalar functions = (D) are isotropic if and only if they are functions of the
isotropic invariants of D only. The if part of this statement follows trivially as the
isotropic invariants are isotropic. The only if statement is established if, assuming
is isotropic, we are able to show that
Ii (D) = Ii (D0 ) for i = 1, 2, 3
(D) = (D0 ).
Since the map between the eigenvalues of D and its isotropic invariants is bijective,
if Ii (D) = Ii (D0 ) for i = 1, 2, 3, then D and D0 have the same eigenvalues. Since
the isospectral action U DU 1 of orthogonal matrices U on symmetric matrices D is
transitive, there exists an orthogonal matrix U such that D0 = U DU 1 . Since is
isotropic, (U DU 1 ) = (D), i.e. (D0 ) = (D).
Now let us consider the symmetric matrix valued function
. The if statement of
the theorem follows by direct computation and the result we just established for scalar
isotropic functions. The only if statement is proved as follows. Assume
has three
distinct eigenvalues (we leave the other possibilities as an exercise). Using the transfer
theorem and the Spectral Theorem (see for example Meyer [16, p. 517]) we have
(D) =
3
X
i Ei
i=1
where
1 ,
2 and
3 are the eigenvalues of
and the projection matrices E1 , E2 and
E3 have the properties Ei Ej = O when i 6= j and E1 + E2 + E3 = I. Since we have
span{I, D, D2 } = span{E1 , E2 , E3 },
there exist scalars 0 , 1 and 2 depending on D such that
(D) = 0 I + 1 D + 2 D2 .
We now have to show that 0 , 1 and 2 are isotropic. This follows by direct computation, combining this last representation with the property that
is isotropic.
u
t
Remark 8 Note that neither the transfer theorem nor the representation theorem require that the endomorphism
is linear.
Third, now suppose that
is a linear function of D. Thus for any symmetric matrix
D it must have the form
(D) = I + 2 D,
where the scalars and depend on the isotropic invariants of D. By the Spectral
Theorem we have
D=
3
X
i=1
di Ei ,
32
where d1 , d2 and d3 are the eigenvalues of D and E1 , E2 and E3 are the corresponding projection matricesin particular each Ei is symmetric with an eigenvalue 1 and
double eigenvalue 0. Since
is linear we have
(D) =
3
X
i=1
3
X
di
(Ei )
di I + 2 Ei .
i=1
where for each i = 1, 2, 3 the only non-zero isotropic invariant is I1 (Ei ) = 1 so that
and are simply constant scalars. Using that E1 + E2 + E3 = I we have
= (d1 + d2 + d3 )I + 2D.
Recall that d1 + d2 + d3 = u. Thus we have
= ( u)I + 2D.
If we set = +
2
3
= 2 D 31 ( u)I + ( u)I,
where and are the first and second coefficients of viscosity, respectively.
Remark 9 Note that if u = 0, then the linear relation between
and D is homogeneous, and we have the key property of what is known as a Newtonian fluid : the stress
is proportional to the rate of strain.
15 NavierStokes equations
Consider again an arbitrary imaginary subregion of D identified at time t = 0, as
in Fig. 1. As in our derivation of the Euler equations, let t denote the volume of the
fluid occupied by the particles at t > 0 that originally made up . The total force
exerted on the fluid inside t through the stresses exerted across its boundary t is
given by
Z
Z
(pI +
) n dS
t
(p +
) dV,
t
where (for convenience here set (x1 , x2 , x3 )T (x, y, z)T and (u1 , u2 , u3 )T (u, v, w)T )
[
]i =
3
X
ij
j=1
xj
= [( u)]i + 2
3
X
Dij
j=1
= [( u)]i +
3
X
ui
j=1
= [( u)]i +
xj
xj
3
X
2 ui
x2j
j=1
uj
+
xj
xi
= ( + )[( u)]i + 2 ui .
2 uj
xi xj
33
If f is a body force (external force) per unit mass, which can depend on position and
time, then on any parcel of fluid t , the total force acting on it is
Z
p +
+ f dV.
t
Z
p +
+ f dV.
u dV =
t
Using the Transport Theorem with F u and that and thus t are arbitrary, we
see for each x D and t > 0, we can deduce the following relation known as Cauchys
equation of motion:
Du
= p +
+ f.
Dt
Combining this with the form for
we deduced above, we arrive at
Du
= p + ( + )( u) + u + f ,
Dt
u = 0,
where = / is the coefficient of kinematic viscosity. Note that we have a closed
system of equations: we have four equations in four unknowns, u and p.
Remark 10 Often the factor 1/ is scaled into the pressure and thus explicitly omitted:
since is constant (p)/ (p/), and we re-label the term p/ to be p.
As for the Euler equations of motion for an ideal fluid, we need to specify initial
and boundary conditions. For viscous flow we specify an additional boundary condition
to that we specified for the Euler equations. This is due to the inclusion of the extra
term u which increases the number of spatial derivatives in the governing evolution
equations from one to two. Mathematically, we specify that
u=0
everywhere on the rigid boundary, i.e. in addition to the condition that there must
be no net normal flow at the boundary, we also specify there is no tangential flow
there. The fluid velocity is simply zero at a rigid boundary; it is sometimes called
no-slip boundary conditions. Experimentally this is observed as well, to a very high
34
degree of precision; see Chorin and Marsden [3, p. 34]. (Dye can be introduced into a
flow near a boundary and how the flow behaves near it observed and measured very
accurately.) Further, recall that in a viscous fluid flow we are incorporating the effect
of molecular diffusion between neighbouring fluid parcelssee Fig. 3. The rigid nonmoving boundary should impart a zero tangential flow condition to the fluid particles
right up against it. The no-slip boundary condition crucially represents the mechanism
for vorticity production in nature that can be observed everywhere. Just look at the
flow of a river close to the river bank.
Remark 11 At a material boundary (or free surface) between two immiscible fluids,
we would specify that there is no jump in the velocity across the surface boundary.
This is true if there is no surface tension or at least if it is negligiblefor example at
the seawater-air boundary of the ocean. However at the surface of melting wax at the
top of a candle, there is surface tension, and there is a jump in the stress n at the
boundary surface. Surface tension is also responsible for the phenomenon of being able
to float a needle on the surface of a bowl of water as well as many other interesting
effects such as the shape of water drops.
16 Evolution of vorticity
Recall from our discussion in Section 8, that the vorticity field of a flow with velocity
field u is defined as
:= u.
It encodes the magnitude of, and direction of the axis about which, the fluid rotates,
locally. Note that u can be computed as follows
i
j
k
w/y v/z
u = det /x /y /z = u/z w/x .
u
v
w
v/x u/y
Using the NavierStokes equations for a homogeneous incompressible fluid, we can in
fact derive a closed system of equations governingthe evolution of vorticity = u
as follows. Using the identity u u = 21 |u|2 u ( u) we see that we can
equivalently represent the NavierStokes equations in the form
u
p
+ 12 |u|2 u = u
+ f.
t
+ u = + u + f .
t
Note that we can recover the velocity field u from the vorticity by using the identity
( u) = ( u) u. This implies
u = ,
35
and closes the system of partial differential equations for and u. However, we can
also simply observe that
u =
1
( ).
R :=
1
2
0 3 2
3 0 1 .
2 1
0
dD
+ D2 (t) + R2 (t) x x,
dt
36
Proof Recall that u is the rate of strain tensor. It can be decomposed into a direct
sum of its symmetric and skew-symmetric parts which are the 3 3 matrices
D :=
R :=
1
2
1
2
(u) + (u)T ,
(u) (u)T .
We can determine how u evolves by taking the gradient of the homogeneous (no
body force) NavierStokes equations so that
+ u = + D,
t
which we derived more directly in Section 16.
Thus far we have not utilized the ansatz (form) for the velocity or pressure we
assume in the statement of the theorem. Assuming u(x, t) = 21 (t) x + D(t) x,
for a given deformation matrix D = D(t), then u = (t), independent of x,
and substituting this into the evolution equation for above we obtain the following
system of ordinary differential equations governing the evolution of = (t):
d
= D(t).
dt
Now the symmetric part governing the evolution of D = D(t), which is independent of
x, reduces to the system of differential equations
dD
+ D2 + R2 = p.
dt
Note that R = R(t) only as well, since = (t), and thus p must be a function of
t only. Hence p = p(x, t) can only quadratically depend on x. Indeed after integrating
we must have p(x, t) = 12 (dD/dt + D2 + R2 ) x x.
u
t
37
d1 x
u(x, t) = D(t)x = d2 y .
d3 z
The particle path for a particle at (x0 , y0 , z0 )T at time t = 0 is given by: x(t) = ed1 t x0 ,
y(t) = ed2 t y0 and z(t) = ed3 t z0 . If d1 < 0 and d2 < 0, then d3 > 0 and we see the flow
resembles two jets streaming in opposite directions away from the z = 0 plane.
Example (strain flow) Suppose the initial vorticity 0 = 0 and D = diag{d1 , d2 , 0}
is a constant diagonal matrix such that d1 + d2 = 0. Then as in the last example, the
flow is irrotational with (t) = 0 for all t > 0 and
d1 x
u(x, t) = d2 y .
0
The particle path for a particle at (x0 , y0 , z0 )T at time t = 0 is given by: x(t) = ed1 t x0 ,
y(t) = ed2 t y0 and z(t) = z0 . Since d2 = d1 , the flow forms a strain flow as shown in
Fig. 14neighbouring particles are pushed together in one direction while being pulled
apart in the other orthogonal direction.
Example (vortex) Suppose the initial vorticity 0 = (0, 0, 0 )T and D = O. Then
from Lemma 1 the velocity field u is given by
12 0 y
1
u(x, t) = 2 x = 12 0 x .
0
The particle path for a particle at (x0 , y0 , z0 )T at time t = 0 is given by: x(t) =
cos( 12 0 t)x0 sin( 12 0 t)y0 , y(t) = sin( 21 0 t)x0 + cos( 21 0 t)y0 and z(t) = z0 . These are
circular trajectories, and indeed the flow resembles a solid body rotation; see Fig. 15.
Example (jet flow with swirl) Now suppose the initial vorticity 0 = (0, 0, 0 )T and
D = diag{d1 , d2 , d3 } is a constant diagonal matrix where d1 + d2 + d3 = 0. Then from
38
Fig. 15 When a fluid flow is a rigid body rotation, the fluid particles flow on circular streamlines. The fluid particles on paths further from the origin or axis of rotation, circulate faster
at just the right speed that they remain alongside their neighbours on the paths just inside
them.
z
x
y
Fig. 16 Jet flow with swirl example. Fluid particles rotate around and move closer to the
z-axis whilst moving further from the z = 0 plane.
Lemma 1, we see that the only non-zero component of vorticity is the third component,
say = (t), where
(t) = 0 ed3 t .
The velocity field u is given by
d1 x 12 (t)y
u(x, t) = d2 y + 12 (t)x .
d3 z
x
y
=
d1 12 (t)
1
d2
2 (t)
x
.
y
If we assume d1 < 0 and d2 < 0 then the particles spiral around the z-axis with
decreasing radius and increasing angular velocity 21 (t). The flow thus resembles a
rotating jet flow; see Fig. 16.
We now derive a simple class of solutions that retain the three underlying mechanisms of NavierStokes flows: convection, vortex stretching and diffusion.
Example (shear-layer flows) Recall the vorticity evolves according to the partial
differential system
+ u = + D,
t
39
x
u(x, t) = y
w(x, t)
where is a constant, with p(x, t) = 21 2 x2 + y 2 . This represents a solution to
the NavierStokes equations if we can determine the solution w = w(x, t) to the linear
diffusion equation
w
2w
w
x
= 2,
t
x
x
with w(x, 0) = w0 (x). Computing the vorticity directly we get
0
(x, t) = w/x (x, t) .
0
If we differentiate the equation above for the velocity field component w with respect
to x, then if := w/x, we get
2
x
= + 2 ,
t
x
x
with (x, 0) = 0 (x) = (w0 /x)(x). For this simpler flow we can see simpler signatures of the three effects we want to isolate: there is the convecting velocity x;
vortex stretching from the term and diffusion in the term 2 /x2 . Note that as
in the general case, the velocity field w can be recovered from the vorticity field by
w(x, t) =
(, t) d.
Let us consider a special case: the viscous shear-layer solution where = 0. In this
case we see that the partial differential equation above for reduces to the simple heat
equation with solution
Z
G(x , t) 0 () d,
(x, t) =
R
Z
G(x , t) w0 () d,
w(x, t) =
R
so that both the vorticity and velocity w fields diffuse as time evolves; see Fig. 17.
It is possible to write down the exact solution for the general case in terms of
the Gaussian heat kernel, indeed, a very nice exposition can be found in Majda and
Bertozzi [13, p. 18].
40
w(x,t)
Fig. 17 Viscous shear flow example. The effect of diffusion on the velocity field w = w(x, t) is
to smooth out variations in the field as time progresses.
u = 0.
Note that two physical properties inherent to the fluid modelled are immediately apparent, the mass density , which is constant throughout the flow, and the kinematic
viscosity . Suppose we consider such a flow which is characterized by a typical length
scale L and velocity U . For example we might imagine a flow past an obstacle such a
sphere whose diameter is characterized by L and the impinging/undisturbed far-field
flow is uniform and given by U . These two scales naturally determine a typically time
scale T = L/U . Using these scales we can introduce the dimensionless variables
x0 =
x
,
L
u0 =
u
U
and
t0 =
t
.
T
Directly substituting for u = U u0 and using the chain rule to replace t by t0 and x by
x0 in the NavierStokes equations, we obtain:
U u0
U2 0
U
1
+
u x0 u0 = 2 x0 u0
0 p.
0
T t
L
L x
L
The incompressibility condition becomes x0 u0 = 0. Using that T = L/U and dividing
through by U 2 /L we get
u0
1
+ u0 x0 u0 =
0 u0
0 p.
t0
UL x
U 2 x
If we set p0 = p/U 2 and then drop the primes, we get
u
1
+ u u =
u p,
t
Re
41
19 Stokes flow
Consider the individual terms in the incompressible three-dimensional NavierStokes
equations with no body force (in dimensionless form):
u
+
t
u
u}
| {z
inertia or
convective terms
1
Re
| {zu}
p,
diffusion or
dissipation term
where Re is the Reynolds number. We wish to consider the small Reynolds number limit
Re 0. Naively this means that the diffusion/dissipation term will be the dominant
term in the equations above. However we also want to maintain incompressibility, i.e.
u = 0. Since the pressure field is the Lagrange multiplier term that maintains the
incompressibility constraint, we should attempt to maintain it in the limit Re 0.
Hence we suppose
p = Re1 q,
for a scaled pressure q. Further the flow may evolve on a slow timescale so that
t = Re .
42
Making these changes of variables in the NavierStokes equations and taking the limit
Re 0, we obtain
u
= u q,
u
= Re1 u p.
t
In dimensional variables we have thus derived the equations for Stokes flow :
u
= u p.
t
More commonly, the stationary version of these equations are denoted Stokes flow.
Some immediate consequences are useful. If we respectively take the curl and divergence
of the Stokes equations we get
= ,
t
p = 0.
Suppose we know a stream function exists for the flow under considerationso the
flow is incompressible and an additional symmetry allows us to eliminate one spatial
coordinate and one velocity component. For example suppose we have a stationary
two-dimensional flow u = (u, v)T in cartesian coordinates x = (x, y)T . Then there
exists a stream function = (x, y) given by
u=
and
v=
.
x
Hence the vorticity of such a flow is given by = (0, 0, )T . Since for a stationary
Stokes flow = 0, we must have
() = 0.
In other words the stream function satisfies the biharmonic equation.
In cylindrical polar coordinates assuming a stationary axisymmetric flow with no
swirl, i.e. no dependence and u = 0, the stream function = (r, z) is given by
ur =
1
r z
and
uz =
1
.
r r
(We could use r.) Direct computation reveals that the vorticity is given by
= (0, 1r D2 , 0)T , where D2 is the second order partial differential operator defined
by
1
2
D2 := r
+ 2.
r r r
z
Again, for a stationary Stokes flow = 0. We use that for a divergence-free vector
field we have = to show that the stream function satisfies
D2 (D2 ) = 0.
In spherical polar coordinates assuming a stationary axisymmetric flow with no
swirl, i.e. no dependence and u = 0, the stream function = (r, ) is given by
ur =
r2 sin
and
u =
1
.
r sin r
43
2 T
2
1
Direct computation implies that the vorticity is = (0, 0, r sin
D ) , where D is
now the second order partial differential operator given by
D2 :=
2
sin
1
+ 2
.
r2
r sin
1
.
sin
Step 1: Determine the boundary conditions. The stream function for the flow
prescribed is given by
ur =
r2 sin
and
u =
1
.
r sin r
U cos
r2 sin
and
1
U sin .
r sin r
44
Second consider the boundary conditions on the surface of the sphere. The no-slip
condition on r = a =
1
=0
a2 sin
1
= 0.
a sin r
and
and
= 0 on r = a.
r
Step 2: Solve the modified biharmonic equation. Motivated by the boundary conditions, we look for a solution to the modified biharmonic equation D2 (D2 ) = 0 of the
form = U f (r) sin2 . First computing D2 gives
D2 = U f 00 (r)
2
f (r) sin2 ,
r2
in which we set
F (r) := f 00 (r)
2
f (r).
r2
2
F (r) = 0.
r2
This is a linear second order ordinary differential equation whose two independent
solutions are r2 and 1/r; thus F (r) is a linear combination of these two solutions.
However we require f (r) which satisfies
f 00 (r)
2
f (r) = F (r).
r2
D
,
r
U Ar4 + Br2 + Cr +
D
sin2 = 12 U r2 sin2
r
45
a2
2
+ Ca +
D
sin2 = 0
a
U a+C
and
D
sin2 = 0.
a2
2
1
4Ua
2r2
3r
a
+
a
r
a2
sin2 .
2
a2
a
3
+ 3 cos
ar
r
and
u = 14 U a2
1 4r
a
3
2 sin .
r a2
a
r
Then second, using the hint given, compute = u and then . Note has
only one non-zero component, namely
1
1
ru
ur
r r
r
3U a
= 2 sin ,
2r
2 cos
3U a
=
sin .
2r3
0
Thus to find the pressure p we must solve the pair of first order partial differential
equations:
p
r
1 p
r
3U a
=
2r3
2 cos
sin
3U a
cos .
2r2
Step 5: Compute the axial force. For a small patch of area dS on the surface of the
dS. Since the stress tensor = pI +
sphere the force is given by dF = (x)n
where
p is the pressure and
is the deviatoric stress tensor, the total force on the surface of
the sphere r = a is given by
Z Z
F =
dS.
(pI +
)n
46
Now use that the deviatoric stress is a linear function of the deformation tensor D,
to the surface r = a is simply r
, the unit
indeed
= 2D. Further the normal n
normal in the r coordinate direction, and so
= 2D
n
r
Drr Dr Dr
1
= 2 Dr D D 0
Dr D D
0
Drr
= 2 Dr
0
,
+ Dr
= 2 Drr r
is the unit vector in the coordinate direction. Now note that the area integral
where
over the sphere surface r = a can be split into a single integral of concentric rings of
radius a sin on the sphere surface of area 2a a sin d. Thus we get
F = 2a2
sin d,
+ 2Dr
p
r + 2Drr r
The axial component of the force F ax (i.e. along the direction of the far-field flow),
in the axial direction are given by r
sin ,
and
cos and
since the components of r
respectively, is thus given by
2
F ax = 2a
ur
r
and
Dr =
1
2
u
u
1 ur
+
.
r
r
F ax = 2a
Z
= 3U a
3U
2a
sin d
0
= 6U a.
Hence the axial component of the force which corresponds to the drag on the sphere
is given by 6U a.
Example (Viscous corner flow) Consider a steady incompressible viscous corner
flow as shown in Fig. 18. The fluid is trapped between two plates, one is horizontal,
while the other plate lies above the horizontal plate at an acute angle . The flat edge
of the upper plate almost touches the horizontal plate; there is a small gap between
the two. The horizontal plate moves with a speed U to the left perpendicular to the
47
imaginary line of intersection between the two plates; the upper plate remains fixed.
We assume the trapped flow between the two plates to be a Stokes flow, i.e. we have
p = u,
where p is the pressure field, u the velocity field and is the viscosity. Further we
assume the flow is uniform in the direction given by the imaginary line of intersection
between the platesdenote this the z-axis. Hence in cylindrical polar coordinates there
exists a stream function = (r, ) such that
0
u = 0 .
(r, )
Taking the curl of the Stokes flow equation we see that
0 = u
= u
0
0
(r, )
0
= () 0 .
(r, )
Hence the the stream function for this Stokes flow satisfies the biharmonic equation
() = 0.
Next we determine the boundary conditions. Explicitly in plane polar coordinates
(we henceforth drop the third z coordinate with respect to which the corner flow is
uniform), the relations between the velocity components ur and u and the stream
function are
1
ur =
and
u =
.
r
r
First, using the no-slip boundary conditions on the plate along = 0 which is moving
towards the origin at speed U we immediately see that
=0
r
1
= U
r
and
on
= 0.
Second, for the plate at the angle = , the no-slip boundary conditions imply
=0
r
and
=0
on
= .
Given the form of the boundary conditions, we look for a solution to the biharmonic
equation () = 0 of the form = U rf (). Directly computing, we have
U rf () = U
=
2
r2
1
1 2
+ 2 2
r r
r
U
f () + f 00 () .
r
rf ()
48
fluid
Fig. 18 Corner flow: An incompressible viscous fluid is trapped between two plates, one is
horizontal, while the other plate lies above at an acute angle . The flat edge of the upper
plate almost touches the horizontal plate; there is a small gap between the two. The horizontal
plate moves with a speed U to the left perpendicular to the imaginary line of intersection
between the two plates; the upper plate remains fixed.
U rf ()
U
=
=U
f () + f 00 ()
2
r2
1
1 2
+ 2 2
r r
r
1
r
U
00
0000
= 3 f () + 2f () + f () .
r
f () + f 00 ()
f 0 (0) = 1
and
u = 0
f (0) = 0.
u = 0
f () = 0.
f 0 () = 0
and
and
f 0 (0) = 1.
We can use these four boundary conditions to determine the constants A, B, C and
D, indeed we get
sin sin( ) ( ) sin
f () =
.
2 sin2
49
Finally we should ask ourselves, what is the distance from the origin within which
the solution we sought is consistent with our assumption of Stokes flow? Since the
inertia terms u u scale like U 2 /r while the viscous terms u scale like U/r2 . Our
Stokes flow assumption was that
U 2 /r
1
U/r2
Ur
1.
20 Lubrication theory
In lubrication theory we consider the following scenario. Suppose an incompressible
homogeneous viscous fluid occupies a shallow layer whose typical depth is H and
horizontal extent is L; see Fig. 19 for the set up. Let x and y denote horizontal Cartesian
coordinates and z is the vertical coordinate. Suppose (u, v, w) are the fluid velocity
components in the three coordinate directions x, y and z, respectively. As usual, p
denotes the pressure, while denotes the constant density, of the fluid. We also assume
a typical horizontal velocity scale for (u, v) is U and a typical vertical velocity scale for
w is W . As we have already hinted, we assume H L. Our goal is to systematically
derive a reduced set of equations from the incompressible NavierStokes equations
that provide a very accurate approximation under the conditions stated. Note that the
natural time scale for this problem is T = O(L/U ).
First consider the continuity equation (incompressibility condition) which reveals
the scaling
w
u
v
+
+
= 0.
x
y
z
|{z}
|{z}
|{z}
U/L
W/H
U/L
1 p
,
x
2v
2v
v
v
v
v
2v
+u
+v
+w
=
+
+
2
2
t
x
y
z
x
y
z 2
|{z}
1 p
.
y
{z
U 2 /L
{z
U/L2
U/H 2
{z
U 2 /L
{z
U/L2
U/H 2
In the first equation, comparing the viscous terms 2 u/x2 and 2 u/y 2 to 2 u/z 2
we see that the ratio of their scaling is
U/L2
H2
= 2 1.
2
U/H
L
Thus we omit the 2 u/x2 and 2 u/y 2 terms. Now compare the inertia terms (those
on the left-hand side) to the viscosity term 2 uz 2 , the ratio of their scaling is
U 2 /L
U H2
UH H
=
=
1,
2
L
L
U/H
50
z=h(x,y,t)
fluid
and hence we omit all the inertia termsunder the assumption that the modified
Reynolds number Rm = U H/ is small or order one. Finally to keep the pressure term
(which mediates the incompressibility condition) it must have the scaling
x P/ = O U/H 2
P = O U L/H 2 .
An exactly analogous scaling argument applies to the second equation above and thus
we see that the final equations for these two components are (with = )
2u
p
= 2,
x
z
p
2v
= 2.
y
z
Third consider the NavierStokes equation for the velocity component w. The scaling of the individual terms reveals:
w
w
w
w
+u
+v
+w
=
t
x
y
z
{z
U W/L=U 2 H/L2
2w
x2
2w
y 2
{z
W/L2 =U H/L3
2w
2
|z
{z }
W/H 2 =U/LH
1 p
.
z
| {z }
U L/H 3
The largest scaling term appears to be the pressure term so we compare the other
terms to that. The ratio of the inertia terms to the pressure term in terms of their
scaling is
U 2 H/L2
U H4
UH H
=
=
3
L
U L/H
L3
3
1,
H 4
L
1.
Finally the ratio of the viscous term 2 w/z 2 to the pressure term is
U/LH
=
U L/H 3
H 2
L
1.
51
Hence the third equation reduces to p/z = 0. The complete shallow layer equations
are thus
p
2u
= 2,
x
z
p
2v
= 2,
y
z
p
= 0,
z
together with the incompressibility condition. Note that from the third equation we
deduce the pressure p = p(x, y, t) only.
As shown in Fig. 19 suppose that the fluid occupies a region between a lower rigid
plate at z = 0 and a top surface at z = h(x, y, t). We assume here for the moment that
the top surface is free, so perhaps it represents a fluid-air boundary, however we can
easily specialize our subsequent analysis to a rigid lid upper boundary. Importantly
though, we assume no-slip boundary conditions at z = 0 while we suppose the velocity
components at the surface height z = h(x, y, t) are u(x, y, h, t) = U and v(x, y, h, t) = V
with U and V given. For this scenario, we can derive a closed form equation for how
the surface height z = h(x, y, t) evolves in time as follows. Since p = p(x, y, t) only
we deduce that from the first two shallow layer equations that u and v are quadratic
functions of z. Indeed if we integrate the equations for u and v with respect to z twice
and apply the boundary conditions we find
Uz
1
+
z(z h)
h
2
1
Vz
+
z(z h)
v=
h
2
u=
p
x
p
.
y
Z
w(x, y, h, t) w(x, y, 0, t) =
0
u
v
+
dz.
x
y
h
h
h
+U
+V
.
t
x
y
u dz =
0
u
h
,
d + U
x
x z=h
with a similar result for the v/y component in the incompressibility constraint just
above. Putting all this together we find that
h
=
t
x
u dz
0
v dz.
0
If we substitute our expressions for u and v above into the right-hand side and integrate
we arrive at the following closed form evolution equation for h:
h
h3 p
h3 p
+
21 U h +
21 V h = 0,
t
x 12 x
y 12 y
52
or equivalently
12
(U h)
(V h)
h
+ 6
+
t
x
y
p
h3
+
h3
.
x
x
y
y
1 p
z(z h).
2 r
The flow out of the volume of fluid (cylinder) is the integral quantity
h Z 2
ur r d dz,
0
since r d dz is a small patch of area on the sides of the cylinder and ur is the normal
velocity there. Hence the rate of change of total volume of the fluid between the parallel
plates is
h
Z
2r
ur dz,
0
53
111111111111111111111
000000000000000000000
h
lower plate
Z
2r
ur dz =
0
r p
r
z(z h) dz
0
r p h3
.
r 6
If the upper disc plate moves with velocity h0 (t) then the rate of change of total volume
of the fluid between the parallel plates is also given by the cross-sectional area times
that velocity, i.e. r2 h0 (t). Equating this expression with that above we get
r2 h0 (t) =
r p h3
r 6
p
6r
= 3 h0 .
r
h
Assuming that the pressure at the r = L boundary of the cylindrical volume of fluid
is zero, the total force on the disc plate is given by
6 0
h
r dr
h3
r
3
= 3 h0 (L2 r2 ).
h
p(r) =
Z
0
(L2 r2 ) 2r dr =
3L4 0
h.
2h3
Finally, we can approximate time for a constant force F to pull the parallel plates apart
if the initial separation is h0 . Assuming the mass of the upper disc plate is negligible,
we have
3L4 0
4F t
F =
h
h2 = h2
.
0
2h3
3L4
Hence h when t 3L4 /4F h20 ; which is the time it takes to pull the parallel
plates apart.
54
UE
UE
boundary layer
Fig. 21 Boundary layer theory: the flow over the wing is well approximated by an Euler flow
as it is a high Reynolds number flow. However the fluid is ultimately viscous and fluid particles
at the wing surface must adhere to it. Hence there is a boundary layer between the wing and
bulk flow across which the velocity field rapidly changes from zero velocity relative to the wing
to the bulk velocity UE past the wing.
UL
.
55
|{z}
U/`
V /
V U/
U/L2
U/ 2
P/L
where we suppose the pressure has typical scale P . Note since V = O(U /`), all the
inertia terms have the same scaling. Our goal in the boundary layer is to keep the inertia
terms and a viscous term. In particular the horizontal velocity field in the boundary
layer varies rapidly with y. We thus want to retain the 2 u/y 2 term. This means we
must have
U2
U
= 2
L
L 1/2
U
L
.
(Re)1/2
The other viscous term 2 u/x2 thus has typical scaling U/L2 = (Re)1 U 2 /L which
is thus asymptotically small compared to the inertia terms since we are assuming the
Reynolds number Re is very large. We thus neglect this viscous term. If we now consider
the second velocity component v, we find
v
v
v
2v
2 v 1 p
+u
+v
= 2 + 2
.
y
y
|t {z x} |{z}
| x
{z } | y
{z } | {z }
U V /L
V 2 /
V /L2
V / 2
P/
and
V2
U 2
U2
= 2 = (Re)1/2
.
L
L
2
U
V
1/2 U
1/2 U
=
=
(Re)
=
(Re)
.
L
L
2
L2
Hence we see the viscous term 2 v/y 2 is very small and we immediately neglect
it. Further we observe that the pressure term (1/)p/y, to balance the remaining
terms in the equation for the field v = v(x, y, t), must have the scaling (Re)1/2 U 2 /L.
56
Since these terms are asymptotically small compared to the terms we have retained in
the evolution equation for horizontal velocity field u = u(x, y, t), we deduce that
p
= 0.
y
Consequently we only retain the evolution equation for the u = u(x, y, t) with the viscous term 2 u/x2 neglected. Let us now non-dimensionalize our variables as follows
x0 =
x
,
L
y0 =
y
,
u0 =
u
,
U
v0 =
v
,
V
t0 =
tU
L
and
p0 =
p
.
U 2
Using the natural scaling above, in these non-dimensional variables after dropping the
primes, we obtain the Prandtl boundary layer equations (derived in 1904):
u
u
u
p
2u
+u
+v
=
+
,
t
x
y
x
y 2
p
= 0,
y
u
v
+
= 0.
x
y
These equations are supplemented with the boundary conditions
u=0
and
v=0
when y = 0. The second equation above implies that the pressure field in the boundary
layer is independent of y so that p = p(x, t) only. Hence if the pressure field or more
particularly p/x can be determined at the top boundary of the boundary layer,
then it is determined inside the boundary layer. With this knowledge, we note that the
system of equations represented by the first and third Prandtl equations above, is third
order with respect to ythe first equation is a second order partial differential equation
with respect to y while the third equation is first order. We thus require an additional
boundary condition in the y direction. This is naturally provided by matching the
boundary layer flow with the bulk Euler flow outside the boundary layer. See Chorin
and Marsden [?, Section 2.2] for an in depth discussion of possible matching strategies.
Here we will simply match horizontal boundary layer velocity field u = u(x, y, t) with
the far field Euler flow UE = UE (x, t). In terms of the non-dimensionalized y coordinate,
temporarily reverting back to the primed notation for them, we have
y0 =
y
y
= (Re)1/2 .
In the limit of large Reynolds number, the top boundary corresponds to y 0 . Thus,
dropping primes again, the third boundary condition we require is, as y , that
u UE (x, t).
Thus we can in principle solve the Prandtl boundary layer equations if UE = UE (x, t)
is known, in which case
UE
U
p
=
+ UE E .
x
t
x
This can be directly substituted into the first Prandtl boundary layer equation above.
57
(x)
U
x
leading edge
Fig. 22 Blasius problem: steady boundary layer flow over a semi-infinite flat plate, uniform in
the z direction.
Remark 15 We have implicitly assumed that the lower surface is flat. If lower surface
has curvature then p/y is not zero, corresponding to some centripetal acceleration.
Example (Blasius problem, 1908) Consider a steady boundary layer flow on a semiinfinite flat plate as shown in Fig. 22. The plate and flow is assumed to be uniform
in the z direction. The leading edge of the plate coincides the origin while the plate
itself lies along the positive x-axis. The y-axis is orthogonal to the plate as shown in
Fig. 22. We will focus in the flow in the x > 0 and y > 0 region. We suppose that a
uniform horizontal flow of velocity U in the positive x direction washes over the plate.
We assume that a steady boundary layer flow develops on the plate as shown. Since
the Euler flow outside the boundary is uniformly U there is no pressure gradient with
respect to x so that p/x is zero outside the boundary, as thus by the arguments in
the general theory above, also zero inside the boundary. Hence the Prandtl boundary
layer equations in dimensional form are
u
u
u
2u
+v
= 2,
x
y
y
v
u
+
= 0.
x
y
The boundary conditions for u = u(x, y) and v = v(x, y) on the flat plate are
u(x, 0) = 0
and
v(x, 0) = 0,
for all x > 0. Since the plate is semi-infinite there is no imposed horizontal scale.
Following the arguments in the general theory above, but with L replace by x we
deduce that V = U /x and thus also that = (x) where
(x) :=
x 1/2
U
y
.
(x)
As the flow is incompressible and two dimensional there is a stream function = (x, y)
satisfying /y = u and /y = v. We seek a similarity solution of the form
= U (x) f ().
58
and
v = 12
U 1/2
x
(f f 0 ).
Substituting these forms for u and v into the first Prandtl boundary layer equation
above we find that f = f () satisfies the third order ordinary differential equation
f 000 + 21 f f 00 = 0.
This is supplemented with the boundary conditions on the flat plate that correspond
to f (0) = 0 and f 0 (0) = 0. The final boundary condition should be that u U as
y 0 . Indeed we see that this boundary condition corresponds to f 0 1 as .
This boundary value problem can be numerically computed.
22 Exercises
Exercise (trajectories and streamlines: expanding jet) Find the trajectories and streamlines when (u, v, w)T = (xe2tz , ye2tz , 2e2tz )T . What is the track of the particle
passing through (1, 1, 0)T at time t = 0?
Exercise (trajectories and streamlines: three dimensions) Suppose a velocity field
u(x, t) = (u, v, w)T is given for t > 1 by
u=
x
,
1+t
v=
y
1 + 12 t
and
w = z.
Find the particle paths and streamlines for a particle starting at (x0 , y0 , z0 )T .
Exercise (streamlines: plane/cylindrical polar coordinates) Sketch streamlines for the
steady flow field (u, v, w)T = (t) (x y, x + y, 0)T show that the streamlines are
exponential spirals. Here = (t) is an arbitrary function of t. (Hint: convert to
cylindrical polar coordinates (r, , z) first. Note that in these coordinates the equations
for trajectories are
dr
= ur ,
dt
d
= u ,
dt
and
dz
= uz ,
dt
0
u = U (1 x2 /a2 ) ,
0
between the two walls x = a. Show that there is a stream function and find it. (Hint:
a stream function exists for a velocity field u = (u, v, w)T when u = 0 and we
59
Region of flow is :
fluid lies between the
two walls of the cylinders
R2
R1
have an additional symmetry. Here the additional symmetry is uniformity with respect
to z. You thus need to verify that if u = /y and v = /x, then u = 0 and
then solve this system of equations to find .)
Show that approximately 91% of the volume flux across y = y0 for some constant
y0 flows through the central part of the channel |x| 6 34 a.
Exercise (flow inside and around a disc) Calculate the stream
function for the flow
T
field u = U cos (1a2 /r2 ), U sin (1+a2 /r2 )/2r in plane polar coordinates,
where U, a, are constants.
Exercise (Couette flow) (From Chorin and Marsden, p. 31.) Let be the region
between two concentric cylinders of radii R1 and R2 , where R1 < R2 . Suppose the
velocity field in cylindrical coordinates u = (ur , u , uz )T of the fluid flow inside , is
given by ur = 0, uz = 0 and
A
+ Br,
u =
r
where
A=
R12 R22 (2 1 )
R22 R12
and
B=
R12 1 R22 2
.
R22 R12
This is known as a Couette flow see Fig. 23. Show that the:
(a) velocity field u = (ur , u , uz )T is a stationary solution of Eulers equations of
motion for an ideal fluid with density 1 (hint: you need to find a pressure field
p that is consistent with the velocity field given. Indeed the pressure field should
be p = A2 /2r2 + 2AB log r + B 2 r2 /2 + C for some arbitrary constant C.);
(b) angular velocity of the flow (i.e. the quantity u /r) is 1 on the cylinder r = R1
and 2 on the cylinder r = R2 .
(c) the vorticity field u = (0, 0, 2B).
Exercise (hurricane) We devise a simple model for a hurricane.
(a) Using the Euler equations for an ideal incompressible flow in cylindrical coordinates
(see the bath or sink drain problem in the main text) show that at position (r, , z),
60
p
,
r
p
+ g,
z
where p = p(r, z) is the pressure and g is the acceleration due to gravity (assume
this to be the body force per unit mass). Verify that any such flow is indeed incompressible.
(b) In a simple model for a hurricane the air is taken to have uniform constant density
0 and each fluid particle traverses a horizontal circle whose centre is on the fixed
vertical z-axis. The (angular) speed u at a distance r from the axis is
(
u =
for 0 6 r 6 a,
r,
3/2
ar1/2 ,
for r > a,
0 2 3
a g0 z + 32 0 2 a2 ,
r
where c0 is the same constant (reference pressure) as that in part (i) above.
Exercise (Venturi tube) Consider the Venturi tube shown in Fig. 24. Assume that the
ideal fluid flow through the construction is homogeneous, incompressible and steady.
The flow in the wider section of cross-sectional area A1 , has velocity u1 and pressure
p1 , while that in the narrower section of cross-sectional area A2 , has velocity u2 and
pressure p2 . Separately within the uniform wide and narrow sections, we assume the
velocity and pressure are uniform themselves.
(a) Why does the relation A1 u1 = A2 u2 hold? Why is the flow faster in the narrower
region of the tube compared to the wider region of the tube?
(b) Use Bernoullis theorem to show that
1 2
2 u1
p1
p
= 12 u22 + 2 ,
0
0
61
A 1 , u1, p 1
A 2 , u2 , p 2
A 1 , u1, p 1
streamline
Fig. 24 Venturi tube: the flow in the wider section of cross-sectional area A1 has velocity
u1 and pressure p1 , while that in the narrower section of cross-sectional area A2 has velocity
u2 and pressure p2 . Separately within the uniform wide and narrow sections, we assume the
velocity and pressure are uniform themselves.
(c) Using the results in parts (a) and (b), compare the pressure in the narrow and wide
regions of the tube.
(d) Give a practical application where the principles of the Venturi tube is used or
might be useful.
Exercise (Clepsydra or water clock) A clepsydra has the form of a surface of revolution
containing water and the level of the free surface of the water falls at a constant rate,
as the water flows out through a small hole in the base. The basic setup is shown in
Fig. 25.
(a) Apply Bernoullis theorem to one of the typical streamlines shown in Fig. 25 to
show that
1
2
dz
dt
2
= 21 U 2 gz
where z is the height of the free surface above the small hole in the base, U is the
velocity of the water coming out of the small hole and g is the acceleration due to
gravity.
(b) If S is the cross-sectional area of the hole in the bottom, and A is the cross-sectional
area of the free surface, explain why we must have
A
dz
= S U.
dt
(c) Assuming that S A, combine parts (a) and (b) to explain why we can deduce
U
2gz.
(d) Now combine the results from (b) and (c) above, to show that the shape of the
container that guarantees that the free surface of the water drops at a constant
rate must have the form z = C r4 in cylindrical polars, where C is a constant.
Exercise (coffee in a mug) A coffee mug in the form of a right circular cylinder (diameter 2a, height h), closed at one end, is initially filled to a depth d > 21 h with static
inviscid coffee. Suppose the coffee is then made to rotate inside the mugsee Fig. 26.
62
P0
r
typical streamline
z
P0 = air pressure
U
(a) Using the Euler equations for an ideal incompressible homogeneous flow in cylindrical coordinates show that at position (r, , z), for a flow which is independent of
with ur = uz = 0, the Euler equations reduce to
u2
1 p
=
,
r
r
1 p
0=
+ g,
z
where p = p(r, z) is the pressure, is the constant uniform fluid density and g is
the acceleration due to gravity (assume this to be the body force per unit mass).
Verify that any such flow is indeed incompressible.
(b) Assume that the coffee in the mug is rotating as a solid body with constant angular
velocity so that the velocity component u at a distance r from the axis of
symmetry for 0 6 r 6 a is
u = r.
Use the equations in part (a), to show that the pressure in this region is given by
p = 12 2 r2 gz + C,
where C is an arbitrary constant. At the free surface between the coffee and air,
the pressure is constant and equal to the atmospheric pressure P0 . Use this to show
that the shape of the free surface has the form
z=
2 2 C P0
r +
.
2g
g
(c) Note the we are free to choose C = P0 in the equation of the free surface so that
it is described by z = 2 r2 /2g. This is equivalent to choosing the origin of our
cylindrical coordinates to be the centre of the dip in the free surface. Suppose that
this origin is a distance z0 from the bottom of the mug.
(i) Explain why the total volume of coffee is a2 d. Then by using incompressibility,
explain why the following constraint must be satisfied:
2
a z0 +
0
2 r2
2r dr = a2 d.
2g
63
free surface
P
0
coffee
2a
Fig. 26 Coffee mug: we consider a mug of coffee of diameter 2a and height h, which is initially
filled with coffee to a depth d. The coffee is then made to rotate about the axis of symmetry
of the mug. The free surface between the coffee and the air takes up the characteristic shape
shown, dipping down towards the middle (axis of symmetry). The goal is to specify the shape
of the free surface.
(ii) By computing the integral in the constraint in part (i), show that some coffee
will be spilled out of the mug if 2 > 4g(h d)/a2 . Explain briefly why this
formula does not apply when the mug is initially less than half full.
Exercise (Channel flow: Froude number) Recall the scenario of the steady channel
flow over a gently undulating bed given in Section 11. Consider the case when the
maximum permissible height y0 compatible with the upstream conditions, and the
actual maximum height ymax of the undulation are exactly equal, i.e. ymax = y0 . Show
that the flow becomes locally critical immediately above ymax and, by a local expansion
about that position, show that there are subcritical and supercritical flows downstream
consistent with the continuity and Bernoulli equations (friction in a real flow leads to
the latter being preferred).
Exercise (Bernoullis Theorem for irrotational unsteady flow) Consider Eulers equations of motion for an ideal homogeneous incompressible fluid, with u = u(x, t) denoting the fluid velocity at position x and time t, the uniform constant density,
p = p(x, t) the pressure, and f denoting the body force per unit mass. Suppose that
the flow is unsteady, but irrotational, i.e. we know that u = 0 throughout the flow.
This means that we know there exists a scalar potential function = (x, t) such that
u = . Also suppose that the body force is conservative so that f = for some
potential function = (x, t).
(a) Using the identity
u u = 21 (|u|2 ) u ( u),
show from Eulers equations of motion that the Bernoulli quantity
H :=
+ 21 |u|2 + +
t
Z
V :=
f ( ) d,
0
64
1
0 ( 2 + )x2 + ( + )xy + ( 2 + )y 2 ,
2
1
uz
C = uz =
r
r r
r
.
65
C 2
r + A log r + B,
4
where A and B are constants. We naturally require that the solution be bounded.
Explain why this implies A = 0. Now use the no-slip boundary condition to determine B. Hence show that
C
(a2 r2 ).
uz =
4
(c) Show that the mass-flow rate across any cross section of the pipe is given by
uz dS = Ca4 /8.
x
y
(b) Show that, assuming A, B and C are constants,
w = Ax2 + By 2 + C
is a solution to the partial differential equation for w in part (a) above provided
A+B =
G
.
2
G
b2
2
,
2 a + b2
B=
G
a2
2
2 a + b2
and
C=
G
a2 b2
2
.
2 a + b2
66
(d) Explain why the volume flux across any cross section of the pipe is given by
Z
w dS
and then show that it is given by
a3 b3 G
.
4(a2 + b2 )
(Hint: to compute the integral you may find the substitutions x = ar cos and
y = br sin , together with the fact that the infinitesimal area element dx dy
transforms to ab rdr d, useful.)
(e) Explain why for a given elliptical cross-sectional area, the optimal choice of a and
b to maximize the volume flow-rate is a = b.
Exercise (Wind blowing across a lake) Wind blowing across the surface of a lake of
uniform depth d exerts a constant and uniform tangential stress S. The water is initially
at rest. Find the water velocity at the surface as a function of time for t d2 . (Hint:
solve for the vorticity using the vorticity equation for a very deep lake.)
Suppose now that the wind has been blowing for a sufficiently long time to establish a steady state. Assuming that the water velocity can be taken to be almost
uni-directional and that the horizontal dimensions of the lake are large compared with
d, show that the water velocity at the surface is Sd/4. (Hint: A pressure gradient
would be needed to ensure no net flux (why?) in the steady state, and this pressure
gradient leads to a small rise in the surface elevation of the lake in the direction of the
wind.)
Exercise (Stokes flow: between hinged plates) Starting with the continuity and Navier
Stokes equations for a steady incompressible two-dimensional flow, show that for Stokes
flow the stream function satisfies 4 = 0. Two identical rigid plates are hinged
together along their line of intersection O, and have a relative angular velocity .
Find the stream function representing the (two-dimensional) Stokes flow near O, and
estimate the distance within O within which the solution is self-consistent.
Exercise (Stokes flow: rotating sphere) A rigid sphere of radius a is rotating with
angular velocity in a fluid at rest at infinity. Show that when a2 / 1 the
couple exerted on the fluid by the sphere is 8a3 . (Use that in spherical polar
coordinates (r, , ) for a velocity field u = (0, 0, u )T , the relevant component of the
deformation matrix is Dr = 21 r(u /r)/r.)
Exercise (Lubrication theory: shear stress) Incompressible fluid of viscosity is contained between y = 0 and y = h(x) for 0 6 x 6 a where h a. The fluid pressure at
x = 0 exceeds that at x = a by an amount p. Using lubrication theory show that
dp
A
=
3
dx
h(x)
where A is a constant. For the special case where h = CeBx , determine dp/dx, where
B and C are positive constants. Hence show that the maximum shear stress on the
plane is
BCe2Ba
3
3Ba
.
2p
e
1
67
u
=
,
z
x
v
=
,
z
y
where = (x, y) is a given function. Using the shallow layer equations in part
(a) and the boundary conditions, show that the height function h(x, y, t) satisfies
the partial differential equation
h
+
h2
13 gh2
t
x
x
h2
13 gh2
y
y
= 0.
68
fluid
cylinder
a
h
cylinder
Side view
fluid
Above view
Fig. 27 HeleShaw cell: an incompressible homogeneous fluid occupies the region between two
parallel planes (a distance h apart) and outside the cylinder of radius a (normal to the planes).
T
:=
1
h
T
dz.
Show that the vertically averaged velocity field u = (u, v)T is both incompressible
and irrotational.
(d) What is an appropriate boundary condition for u on the cylinder?
Exercise (Boundary layer theory: axisymmetric flow) In an axisymmetric flow the velocity components corresponding to cylindrical polar coordinates (r, , z) are (ur , u , uz )T .
If ur = r/2 and uz = z, where is a constant, verify that the continuity equation
is satisfied. If the swirl velocity u is assumed independent of z, show that the vorticity
T
has the form = 0, 0, (r, t) .
(a) At t = 0 the vorticity is given by = 0 f (r), where 0 is a constant. Verify from
the dynamical inviscid vorticity equation that at a later time t,
= 0 exp(t)f r exp(t/2) ,
and interpret this result in terms of stretching of material lines.
69
(b) Consider now steady viscous flow. Write down the governing equation for and
show that it is satisfied by
= 0 exp(r2 /4).
Why is a steady state possible in this case but not in (a)? What is the dominant
physical balance in the flow?
Exercise (Boundary layer theory: rigid wall) Seek similarity solutions of the boundary
layer equation
x xy x yy = U Ux + yyy
in the form = U (x)(x)f () where = y/(x). Show that f satisfies the equation
f 000 + f f 00 + 1 (f 0 )2 = 0,
and explain why and must be constants. Give and in terms of U (x) and
(x), and hence determine the possible forms of U (x) and (x). State the boundary
conditions on f if there is a rigid wall at y = 0 and an outer flow with velocity U (x)
as y .
w
v
i
j
k
y
z
1. u = det /x /y /z = u
.
w
z
x
v
u
u
v
w
x
y
2
2
2
+
+
.
2. () = 2 =
x2
y 2
z 2
3. () 0.
4. ( u) 0.
5. ( u) = ( u) 2 u.
6. () = + .
7. (u v) = (u )v + (v )u + u ( v) + v ( u).
8. (u) = ( u) + u .
9. (u v) = v ( u) u ( v).
10. (u) = u + u.
11. (u v) = u ( v) v ( u) + (v )u (u )v.
70
where p = p(r, , z, t) is the pressure, is the mass density and f = (fr , f , fz )T is the body
force per unit mass. Here we also have
u = ur
u
+
+ uz
r
r
z
and
1
1 2
2
r
+ 2
+
r r
r
r 2
z 2
Further the gradient operator and the divergence of a vector field u are given in cylindrical
coordinates, respectively, by
=
= r1
and
1
1 u
uz
(rur ) +
+
.
r r
r
z
In cylindrical coordinates u is given by
1 uz
u
r
r
ur
z
u = =
u
.
z
r
1
1 ur
z
(ru ) r
r r
u=
ur
,
r
D =
1 u
ur
+
r
r
and
Dzz =
uz
,
z
u 1 ur
+
,
r r
r
2Drz =
ur
uz
+
z
r
and
2Dz =
1 uz
u
+
.
r
z
u
+ ur 2 2 2
(u sin ) 2
+ fr ,
r
r sin
r sin
u2 cos
u
ur u
1 p
+ (u )u +
=
t
r
r sin
r
2 ur
u
cos u
+ u + 2
2
2 2
+ f ,
2
2
r
r sin
r sin
u
ur u
u u cos
1
p
+ (u )u +
+
=
t
r
r sin
r sin
2
ur
2 cos u
u
+ u + 2
+ 2
+ fz ,
r sin
r sin2
r2 sin2
where p = p(r, , , t) is the pressure, is the mass density and f = (fr , f , f )T is the body
force per unit mass. Here we also have
u = ur
u
u
+
+
r
r
r sin
71
and
=
1
2
1
1
2
r
+
sin
+ 2
.
r2 r
r
r2 sin
r sin2 2
Further the gradient operator and the divergence of a vector field u are given in spherical
coordinates, respectively, by
r
1
r sin
and
u=
1 2
1
1 u
(r ur ) +
(sin u ) +
.
r2 r
r sin
r sin
(sin u ) u
r
r sin
ur
1
u = = r sin
r1 r
(ru ) .
1
(ru ) 1 ur
r r
ur
,
r
D =
1 u
ur
+
r
r
and
D =
1 u
ur
u cot
+
+
,
r sin
r
r
u 1 ur
,
+
r r
r
2Dr =
1 ur
u
+r
r sin
r r
and
2D =
sin u
1 u
+
.
r sin
r sin
+ (u) = 0,
t
and second, balance of momentum,
Du
= p + f .
Dt
If we are in three dimensional space so d = 3, we have four equations, but five unknowns
namely u, p and . We cannot specify the fluid motion completely without specifying one more
condition.
Definition 10 (Kinetic energy) The kinetic energy of the fluid in the region D is
E :=
1
2
|u|2 dV.
72
The rate of change of the kinetic energy, using the Transport Theorem, is given by
Z
dE
d 1
=
|u|2 dV
2
dt
dt
t
Z
D|u|2
1
dV
= 2
Dt
t
Z
D
= 12
(u u) dV
t Dt
Z
Du
=
u
dV
Dt
t
Z
Du
=
u
dV.
Dt
t
Here we assume that all the energy is kinetic. The principal of conservation of energy states
(from Chorin and Marsden, page 13):
the rate of change of kinetic energy in a portion of fluid equals the rate at which the
pressure and body forces do work.
In other words we have
dE
=
dt
u f dV.
p u n dS +
t
We compare this with our expression above for the rate of change of the kinetic energy. Equating the two expressions, using Eulers equation of motion, and noticing that the body force
term immediately cancels, we get
Z
Z
u p dV
p u n dS =
t
(up) dV =
u p dV
Z
u p + ( u) p dV =
u p dV
t
Z
( u) p dV = 0.
Since and therefore t is arbitrary we see that the assumption that all the energy is kinetic
implies
u = 0.
Hence our third conservation law, conservation of energy has lead to the equation of state,
u = 0, i.e. that an ideal flow is incompressible.
Hence the Euler equations for a homogeneous incompressible flow in D are
u
1
+ u u = p + f ,
t
u = 0,
together with the boundary condition on D which is u n = 0.
E Isentropic flows
A compressible flow is isentropic if there is a function , called the enthalpy, such that
=
1
p.
73
+ (u) = 0,
t
in D, and on D, u n = 0 (or matching normal velocities if the boundary is moving).
For compressible ideal gas flow, the pressure is often proportional to , for some constant
> 1, i.e.
p = C ,
for some constant C. This is a special case of an isentropic flow, and is an example of an
equation of state. In fact we can actually compute
Z
=
p0 (z)
C
dz =
,
z
1
and the internal energy (see Chorin and Marsden, pages 14 and 15)
= (p/) =
C
.
1
Acknowledgements These lecture notes have to a large extent grown out of a merging of,
lectures on Ideal Fluid Mechanics given by Dr. Frank Berkshire [2] in the Spring of 1989,
lectures on Viscous Fluid Mechanics given by Prof. Trevor Stuart [18] in the Autumn of
1989 (both at Imperial College) and the style and content of the excellent text by Chorin
and Marsden [3]. They also benefited from lecture notes by Prof. Frank Leppington [11] on
Electromagnetism. SJAM would like to thank Prof. Andrew Lacey, Dr Daniel Coutand and
Callum Thompson for their suggestions and input. Lastly, thanks to all the students who
pointed out typos to me along the way!
References
1. Batchelor, G.K. 1967 An introduction to fluid mechanics, CUP.
2. Berkshire, F. 1989 Lecture notes on ideal fluid dynamics, Imperial College Mathematics
Department.
3. Chorin, A.J. and Marsden, J.E. 1990 A mathematical introducton to fluid mechanics,
Third edition, SpringerVerlag, New York.
4. Doering, C.R. and Gibbon, J.D. 1995 Applied analysis of the NavierStokes equations,
Cambridge Texts in Applied Mathematics, Cambridge University Press.
5. Evans, L.C. 1998 Partial differential equations, Graduate Studies in Mathematics, Volume
19, American Mathematical Society.
6. Fulton, W. and Harris, J. 2004 Representation theory: A first course, Graduate Texts in
Mathematics 129, Springer.
7. Gurtin, M.E. 1981 An introduction to continuum mechanics, Mathematics in Science and
Engineering, Volume 158, Academic Press.
8. Keener, J.P. 2000 Principles of applied mathematics: transformation and approximation,
Perseus Books.
9. Krantz, S.G. 1999 How to teach mathematics, Second Edition, American Mathematical
Society.
10. Lamb, H. 1932 Hydrodynamics, 6th Edition, CUP.
11. Leppington, F. 1989 Electromagnetism, Imperial College Mathematics Department.
12. McCallum, W.G. et. al. 1997 Multivariable calculus, Wiley.
13. Majda, A.J. and Bertozzi, A.L. 2002 Vorticity and incompressible flow, Cambridge Texts
in Applied Mathematics, Cambridge University Press.
14. Malham, S.J.A. 2014 An introduction to Lagrangian and Hamiltoniam mechanics,
http://www.macs.hw.ac.uk/simonm/mechanics.pdf
74
15. Marsden, J.E. and Ratiu, T.S. 1999 Introduction to mechanics and symmetry, Second
edition, Springer.
16. Meyer, C.D. 2000 Matrix analysis and applied linear algebra, SIAM.
17. Saffman, P.G. 1992 Vortex dynamics, Cambridge Monographs in Mechanics and Applied
Mathematics, Cambridge University Press.
18. Stuart, J.T. 1989 Lecture notes on Viscous Fluid Mechanics, Imperial College Mathematics
Department.