Chapter 7

Vector Calculus

7.1 Scalars and Vectors

7.1.1 Introduction

Scalar Quantities. There are two types of quantities describing fluid flows: scalar and vector quantities. Scalar quantities are quantities that are described only by a magnitude. They do not have a direction of action. For fluids the relevant scalar quantities are

 temperature T , measured in K

 density ρ, measured in kg m− 3

 pressure p, measured in Pa

In the following we will use the symbol ψ whenever referring to a scalar quantity.

Vector Quantities. Vector quantities have both magnitude and a direction of action. The relevant vector quantities of fluid flows are

 position ssi6_e, measured in m

 velocity vsi7_e, measured in m s 1

 acceleration asi8_e, measured in m s 2

In the following we will use the symbol Fsi1_e whenever referring to a vector quantity.

Point Notation. In the following we will refer to a point in space using the symbol S. A point S is defined by the coordinates that will be written as

 Sx,y,z in Cartesian coordinates

 Sr,φ,z in cylindrical coordinates

 Sr,φ in polar coordinates

 Sr,φ,θ in spherical coordinates

Vector Notation. As stated, vectors will be written with an arrow, as in the case of Fsi1_e. Vectors are always referred to by their respective coordinate system. In Cartesian coordinates, ssi6_e would be written

F=(FxFyFz)=Fxex+Fyey+Fzez

si12_e

Matrix Notation. We will refer to matrices as bold letters. The matrix A would be given as

a=(a1,1a1,2a1,na2,1a2,2a2,nam,1am,2am,n)

si13_e

We will require matrices often, particularly when discussing numerical methods that use the orthogonal axis system ex,ey,andezsi14_e of the Cartesian coordinate system. If other coordinate systems are used, different orthogonal axis vectors are used, e.geφorer.si15_e

7.1.2 Vector Operations

Flow fields cannot be described without the use of vectors. It therefore is essential to summarize some of the most important vector operations that we will use when discussing fluid mechanics.

7.1.2.1 Norm

The norm (length) of the vector Fsi1_e is defined as

F=F1F2Fn=F21+F22++F2n

si17_e

This is the Euclidean norm which is used throughout this section to denote the length of a vector. Dividing a vector by its norm results in a unit vector, i.e., a vector of length 1. These vectors are usually denoted ˆssi18_e

ˆF=FF

si19_e  (Eq. 7.1)

An exception to this rule is the basis vectors of the coordinate systems that are usually simply denoted esi5_e. Basic vectors of coordinate systems are always unit vectors.

7.1.2.2 Scalar Multiplication

Multiplying a vector with a scalar ψ will result in a scaled vector. Only the magnitude will change, but not the direction of the vector

ψF=ψ(FxFyFz)=(ψFxψFyψFx)

si500_e

7.1.2.3 Vector Multiplication

If a vector is multiplied by another vector, the result is a scalar product which is a scalar as the name suggests. Sometimes this operation is also referred to as the dot product due to the fact that it should usually be denoted by the multiplication sign. It is defined as

FG=(F1F2Fn)(G1G2Gn)=F1G1+F2G2++FnGn

si21_e

Whenever you see two vectors being multiplied, the result is a scalar. This is important to keep in mind, as sometimes in textbooks the authors do not use the multiplication sign which makes it somewhat difficult to see that the result from this operation is a scalar.

The scalar product can also be found if the angle between the two vectors is known. It is then defined as

FG=FGcosθ

si22_e

with θ being the angle enclosed by the two vectors.

7.1.2.4 Cross Product

The cross product is used to find the vector which forms the normal to both input vectors. The result therefore is obviously a vector. It is defined as

F×G=(F1F2Fn)×(G1G2Gn)=(F2G3F3G2F3G1F1G3F1G2F2G1)

si23_e

It may be diffcult to remember this formula. It is significantly easier if done graphically (see Fig. 7.1). For this, write the vector a second time just underneath the first vector. Now start with the left column, second line (F2) and multiply it with the value one row farther down on the right side (G3). Subtract from this the two values found when starting on the right column, second line (G2) and moving to the left, and one line down to (F3). You have effectively made a cross. This will give the first entry in the resulting vector. Proceed by repeating this procedure moving one line down to start (F3) which will give you the second entry in the resulting vector. Repeat a third time, starting again one line farther down (F1).

f07-01-9781455731411
Fig. 7.1 Forming the cross product of two vectors (a) graphically by subsequently multiplying in a cross pattern to find the x-component (b), the y-component (c), and the z-component (d) of the resulting vector

7.1.3 Operators

Fluid mechanics uses two operators in order to simplify notation, i.e., the nabla operator si24_e and the Laplace operator Δ. Both operators can be applied to scalars ψ and vectors Fsi1_e and we will briefly introduce the most important operations and their meaning.

7.1.3.1 Nabla Operator

The nabla operator is a vector that contains the partial derivative along the respective unit axis. In Cartesian coordinates it is defined as

:=(xyz)

si26_e

7.1.3.2 Scalar Multiplication: Gradient

Applied to a scalar function ψ the result is a vector which is given as

ψ=(ψxψyψz)

si27_e  (Eq. 7.2)

This vector is then referred to as the gradient of the scalar field. It can be thought of as the change in scalar magnitude along the respective coordinate axes. As a simple example, suppose ψ would describe a topography, e.g., the height profile of a terrain. It would be given as a function ψ (x, y) where we could use any value for x and y and the resulting value ψ (x, y) would tell us the height of the terrain at this location. If we form the gradient of ψ (x, y), we obtain a function that returns a vector given by Eq. 7.2 that gives us the gradient at a given position (x, y). The vector would effectively be the tangent to the height profile along each axis. The longer the magnitude, the higher the change in the profile at this position. If we were to climb a mountain, we would try to avoid regions where the gradient is steep because these locations would mean very steep inclines.

7.1.3.3 Vector Multiplication: Divergence

When multiplying a vector Fsi1_e with the nabla operator, we obtain the divergence of the vector field. It can be thought of as the directional movement (indicated by the vector’s direction) at the given point. For the velocity field, it indicates if fluid flow is directed away from a given point or toward it. The vector’s direction points to the direction of the flow, the divergence indicates the amount of flow. Therefore, the divergence indicates if the given point acts as a source for the given quantity or as a sink. In Cartesian coordinates it is given by

F=Fxx+Fyy+Fzz

si29_e  (Eq. 7.3)

Some vector fields do not have sources or sinks. They merely align according to the given boundary conditions. Such vector fields are referred to as source-free vector fields. For these fields, the divergence is zero. Divergence-free vector fields can always be expressed as rotation of a vector field Esi30_e

F=0F=×E

si31_e  (Eq. 7.4)

In this case Esi30_e is referred to as vector potential. Examples for divergence-free vector fields include the electrical fields originating from a point source or the gravitational field of the earth.

7.1.3.4 Cross Product: Rotation or Curl

When forming the cross product of a vector Fsi1_e and the nabla operator si24_e, we obtain the rotation or curl of the Fsi1_e. It is defined as the rotational movement of the vector field at a given point. Taking fluid flow as an example, the rotation would indicate the (microscopic) rotational movement of a flow field at a given point. In Cartesian coordinates it is defined by

×F=(FzyFyzFxzFzxFyxFxy)

si36_e  (Eq. 7.5)

The resulting vector denotes the axis of rotation about which the flow rotates at the specific point. The magnitude of the vector, i.e., the norm indicates the speed of the rotation. It is important to keep in mind that the rotation (or curl) is defined for any point in the vector field. Thus the movement relates to microscopic movement of the field, not necessarily to the overall rotation of the bulk. This is important as (locally) the curl may well deviate from the overall rotation of the bulk.

In vector fields that are curl-free the curl is a zero vector. Curl-free vector fields can always be represented by the gradient of a scalar function ψ

×F=0F=ψ

si37_e

Examples of curl-free vector fields are, e.g., the homogeneous electrical field of parallel-plate capacitors and the gravitational field of earth.

7.1.3.5 Laplace Operator

The Laplace operator, sometimes also simply referred to as the Laplacian, is the second important operator we will need. The Laplace operator is a scalar and can be thought of as the result of the vector multiplications of two nabla operators which is why it is sometimes written as

Δ:=2=2x2+2y2+2z2

si38_e

in Cartesian coordinates.

7.1.3.6 Multiplication With a Scalar: Scalar Laplacian

If multiplied with a scalar ψ , the result is the sum of the second-order partial derivatives of the scalar given by

Δψ=2ψx2+2ψy2+2ψz2

si39_e

7.1.3.7 Multiplication With a Vector: Vector Laplacian

As the Laplace operator is a scalar, it can be multiplied with a vector resulting in a scaled vector of the form

ΔF=(2Fxx2+2Fxy2+2Fxz22Fyx2+2Fyy2+2Fyz22Fzx2+2Fzy2+2Fzz2)

si40_e

7.1.3.8 Vector Laplacian via Curl and Divergence

There is one important equation that allows a quicker way to derive the vector Laplacian in different coordinate systems. This equation allows expressing the vector Laplacian via the curl and the divergence. It is given by

ΔF=(F)×(×F)

si41_e  (Eq. 7.6)

We will quickly proof this equation in Cartesian coordinates. We know the divergence is defined by Eq. 7.3 as

F=Fxx+Fyy+Fzz

si42_e

from which we find

(F)=(2Fxxx+2Fyyx+2Fzzx2Fxxy+2Fyyy+2Fzzy2Fxxz+2Fyyz+2Fzzz)

si43_e  (Eq. 7.7)

On the other hand we know that ×Fsi4_e is given by Eq. 7.5 as

×F=(FzyFyzFxzFzxFyxFxy)

si36_e

Taking the curl of the curl is merely reapplying the same equation to a slightly different vector for which we find

×(×F)=(y(FyxFxy)z(FxzFzx)z(FzyFyz)x(FyxFxy)x(FxzFzx)y(FzyFyz))

si46_e

where we need the following partial derivatives

y(FyxFxy)=2Fyxy2Fxyyz(FxzFzx)=2Fxzz2Fzxzz(FzyFyz)=2Fzyz2Fyzzx(FyxFxy)=2Fyxx2Fxyxx(FxzFzx)=2Fxzx2Fzxxy(FzyFyz)=2Fzyy2Fyzy

si47_e

to find

×(×F)=(2Fyxy2Fxyy2Fxzz+2Fzxz2Fzyz2Fyzz2Fyxx+2Fxyx2Fzzx2Fzxx2Fzyy+2Fyzy)

si48_e  (Eq. 7.8)

If we reinsert Eq. 7.7 and Eq. 7.8 into Eq. 7.6 we find

ΔF=(F)(×F)=(2Fxxx+2Fyyx+2Fzzx(2Fyxy2Fxyy2Fxzz+2Fzxz)2Fxxy+2Fyyy+2Fzzy(2Fzyz2Fyzz2Fyxx+2Fxyx)2Fxxz+2Fyyz+2Fzzz(2Fzzx2Fzxx2Fzyy+2Fyzy))=(2Fxxx+2Fxyy+2Fxzz2Fyxx+2Fyyy+2Fyzz2Fzxx+2Fzyy+2Fzzz)

si49_e

where we have used the fact that 2F{x,y,z}ij=2F{x,y,z}ji.si50_e

7.1.3.9 Vector Field Potentials

If a vector field Fsi1_e is rotation- and curl-free, it can be expressed by a scalar function ψ as

Δψ=ψ=(ψ)=(F)=0

si52_e

because in a curl-free vector field F=ψsi53_e and in a divergence-free vector field F=0ψsi54_e is often referred to as vector field potential.

7.1.3.10 Other Operators

In addition to nabla and Laplace operators, there are other operators which we may encounter occasionally. In the following, we will quickly discuss one of the most common ones.

Material Derivative. The material derivative is not an operator in a classical sense. However, it is encountered so frequently when discussing transport phenomena that it is convenient to combine it into a “quasi-operator”. In Cartesian coordinates for two vectors Fsi1_e and Gsi56_e it is given by

(F)G=(FxGxx+FyGxy+FzGxzFxGyx+FyGyy+FzGyzFxGzx+FyGzy+FzGzz)

si57_e  (Eq. 7.9)

A typical example of the material derivative is the convective term on the left-hand side of the Navier–Stokes equation (see Eq. 11.40) which uses F=G=v.si58_e

7.2 Important Theorems in Vector Calculus

Throughput the theoretical considerations in fluid mechanics, we will use three important theorems of vector calculus, i.e., the theorems of Gauß,1 Stokes, and Green.2 In this section, these theorems will be briefly introduced and explained. The mathematics behind these theorems is complex and we will not attempt a complete mathematical description. For this, the interested reader is referred to textbooks in differential geometry.

7.2.1 Gauss’s Theorem

We begin with Gauss’s theorem named after German mathematician Carl Friedrich Gauß [3]. This theorem is often referred to as the divergence theorem. It is used in the derivation of some of the most elementary concepts in fluid mechanics and physics. Gauss’s theorem is used whenever the effect of a vector field across the boundary of a closed control volume is to be considered. Vector fields acting on the curved boundary of a control volume are notoriously difficult to describe analytically. Here, Gauss’s theorem is used, which allows a neat transformation trick.

Let an arbitrary vector field Fsi1_e act across a closed volume V with the closed boundary or surface A=Vsi60_e (see Fig. 7.2a). The action of the vector field across the boundary Vsi61_e can be represented as the action of the vector field across the infinitesimal surface area dA. This surface area can be described by means of its normal vector nsi62_e. If the vector field acts on dA under an angle (ϕ and θ), only the projection of Fsi1_e on nsi62_e must be considered. Thus the sum of the effect of the vector field on the surface is described by the integral of Fsi1_e over Vsi61_e as

f07-02-9781455731411
Fig. 7.2 The theorems of Gauß, Stokes, and Green. a) Gauss’s theorem which allows transforming a surface integral over a vector field Fsi1_e into a volume integral over the divergence Fsi2_e of the vector field. b) Stoke’s theorem which allows transforming a line integral over a vector field Fsi1_e into a surface integral over the curl ×Fsi4_e of the vector field. c) Green’s theorem which is a special case of Stoke’s theorem.

FndA

si67_e

Here, the symbol si68_e indicates that the integral is to be taken over a closed surface, i.e., the start and the end point of the integration are identical (see section 7.2.5). The integral is the surface integral of the normal component of the vector field Fsi1_e acting on the infinitesimal surface dA=dxdy.si70_e. Now these integrals are very difficult to calculate as the normal vector nsi62_e is a function of the position and thus not constant in space. This is where the Gauss’s theorem is used. We will not detail the mathematical basics of the theorem here. The theorem states that for closed volumes, this surface integral can be written as a volume integral

FndA=FdV

si72_e  (Eq. 7.10)

So in simple words: The action of a vector field across the boundary of a volume must equal the divergence (see section 7.1.3.3) inside of the volume. If we take mass transport as an example of a vector field this can be interpreted as follows: If mass flows across the boundary of a control volume, the sum of mass lost from the system is equal to the divergence of the flow inside of the system. So, if the mass inside of the system primarily diverges, i.e., it flows in outward direction it must naturally cross the boundary of the system, i.e., the surface A=V.si73_e So if we want to know the total amount of mass flowing across the boundary of the system, we do not need to evaluate the surface integral FndA.si74_e It is enough to know the divergence of the mass flow inside of the volume to come up with the same result.

In many cases in fluid physics, it is significantly more difficult to calculate the surface integral of a vector field than to calculate the integral over the divergence of the vector field. In these cases, Eq. 7.10 makes calculating complicated surface integrals significantly simpler.

7.2.2 Stoke’s Theorem

The next theorem that we will discuss is named after Irish mathematician and physicist George Stokes [4]. Compared to the Gauss’s theorem, which allows substituting the surface integral of a vector field by the volume integral of the vector field’s divergence, Stoke’s theorem is used to simplify line integrals of vector fields on surfaces. As we will see, this theorem allows substituting a line integral of a vector field on a surface by the surface integral of the curl or rotation (see section 7.1.3.4) of the vector field on a surface. This is why it is sometimes referred to as the flux theorem.

Let us consider Fig. 7.2b-i. A surface A has a closed boundary Asi75_e which is oriented such that the integration variable drsi76_e progresses along the boundary in counterclockwise fashion. In this case, the normal of the surface is (per definition) directed outward. This surface is under the influence of a vector field Fsi1_e. The vector field may be defined in the whole volume, but we will only consider it on the surface as this is the only region we are interested in. Now let us consider the line integral

AFdr

si78_e

This integral sums of the effect of the vector field Fsi1_e on the surface as we move along drsi76_e. Moving from 1 to 2, the vector field Fsi1_e is directed in the same direction as drsi76_e. Thus the product Fdrsi83_e will result in a positive contribution to the line integral in this region. From 2 to 3, drsi76_e and Fsi1_e are perpendicular. Therefore we will not have a contribution to the overall line integral. Going from 3 to 4, drsi76_e and Fsi1_e point in opposite directions and thus, there will be a negative contribution to the line integral which is equal (in magnitude) to the line integral obtained for the section from 1 to 2. In the section from 4 to 1, drsi76_e and Fsi1_e are again perpendicular, therefore there is no contribution to the line integral. In this case we can see, that the overall line integral would be pretty much 0, as the contributions along the section 1 to 2 and 3 to 4 cancel each other.

Now let us consider the case displayed in Fig. 7.2b-ii. Here, we have a vector field which is not uniform across the surface A. It is rotating, i.e., it has a curl. Repeating the exercise we will see, that in this region, all sections of the circumference will contribute to the overall line integral and we will obtain a value bigger than zero. The difference compared to the case displayed in Fig. 7.2b-i is the curl of the vector field. So we already see that the overall curl of the vector field will have an influence on the magnitude of the line integral. This is exactly what the Stoke’s theorem states

AFdr=×FdA

si90_e  (Eq. 7.11)

As we can see, the theorem allows us to transform a line integral over a vector field Fsi1_e into a surface integral over the curl of the vector field Fsi1_e. This is just as the Gauss’s theorem allowed us to transform a surface integral Fsi1_e into a volume integral over the divergence of the vector field Fsi1_e. In many cases, these two theorems allow replacing a difficult integral with an integral which is easier to solve.

7.2.3 Green’s Theorem

We will also briefly introduce the third theorem that is often stated in combination with Gauss’s and Stoke’s theorem: the theorem of Green. It was originally described by and thus named after British mathematician George Green [1]. Green’s theorem is a special case of Stoke’s theorem (see section 7.2.2). It refers to the case where a planar surface A, which is defined in the x/y-plane, is under the influence of a vector field Fsi1_e that is only a function of x and y, but not of z (see Fig. 7.2c). So, this vector field does not change as we move along the z-direction. We can write this vector field as

F=(Fx(x,y)Fy(x,y)0)

si96_e  (Eq. 7.12)

So the vector field is planar and it is described by its components Fx and Fy that are only functions of x and y. Now Stoke’s theorem can be used to evaluate the line integral AFdrsi97_e of this vector field and the plane A according to Eq. 7.11. For the vector field Fsi1_e defined by Eq. 7.12, the curl can be calculated using Eq. 7.5 as

×F=(FzyFyzFxzFzxFyxFxy)=(00FyxFxy)

si99_e

So using this, we can reformulate Eq. 7.11 for this specific case to be

AFdr=A(FyxFxy)dA

si100_e  (Eq. 7.13)

Eq. 7.13 is more commonly known as the theorem of Green.

7.2.4 Reynolds’ Transport Theorem

There is a fourth theorem you may potentially come across which is the Reynolds transport theorem. The theorem was originally described by Reynolds1[6] and is often considered the three-dimensional equivalent of the Leibniz integral rule (see section 5.2.4). Compared to the “big three” theorems we have just described, the Reynolds transport theorem may be the least known.

For the Reynolds transport theorem we look at a space-fixed control volume Ω through which fluid (or any likewise field) passes (see Fig. 7.3). You can think of the control volume Ω as being a pinhole through which we look onto the flow. We don’t see all of the flow, but our field of view is sufficient to serve as control volume.

f07-03-9781455731411
Fig. 7.3 Control volume used for the Reynold’s transport theorem.

Now let us suppose we are interested in a property of the flow B which could be, e.g., the mass m. We use two different notations of this property. B is the standard notation of the property given in its physical units. The second notation is the specific property b, which is simply given by dividing B by the mass. The unit of b is the physical unit of B divided by mass. Now the total amount of property within Ω will be given by

B=ΩρbdV

si101_e  (Eq. 7.14)

You may wonder why the density ρ of the fluid has to be brought in here. If you consider the units, you will see that this equation is correct only if bringing in the density as

[ρ]=kgm3[b]=[B]kg1[bdV]=[B]m3kg1[ρbdV]=[B]kgm3kg1m3=[B]

si102_e

We are interested in which way the amount of B changes over time inside of Ω, i.e., we seek to find dBdt.si103_e Intuitively we know that the changes are due to two mechanisms

1. influx ˙Binsi104_e and outflux ˙Boutsi105_e into and out of the control volume

2. generation and consumption of B over time inside of the control volume given by Btsi106_e

In- and Outflux. Calculating the in- and outflux is straightforward using Gauss’s theorem which tells us that

Bin/outfluxdt=˙Bin˙Bout=ΩBndA

si107_e  (Eq. 7.15)

which means that the change of quantity inside of Ω can be tracked by summing up all fluxes across the surface of the control volume. Please note that this notation is also true for any dimension in which case B would be a vector.

Generation and Consumption. The generation and consumption of B inside of Ω can be described using Eq. 7.14 as

Bgeneration/consumptiondt=tΩρbdV

si108_e  (Eq. 7.16)

Final Form. Using Eq. 7.15 and Eq. 7.16 we can now formulate the final form of the theorem as

Bt=Bin/outfluxdt+Bgeneration/consumptiondt=tΩρbdV+ΩBndA=ΩρbtdV+ΩBndA

si109_e  (Eq. 7.17)

where Eq. 7.17 gives the theorem in its most commonly encountered form.

7.2.5 A Note on Notations

Single or Multiple Integral Signs. In many textbooks, the surface or volume integrals of Gauss’s, Stoke’s, and Green’s theorem are given with multiple integral. As an example, you may find Gauss’s theorem in the following (equivalent) forms

FndA=FdVFndA=FdV

si110_e

As stated, they represent the same information. The first version highlights that the integral dA is a surface integral as dA = dx dy from which we can derive that we (usually) have to perform two integrations (unless x and y are somehow interdependent). Identically, the triple integral ∫∫∫ indicated that dV is a triple integral, most likely a volume integral. The second form of Gauss’s theorem says exactly the same. However, it implies that the reader knows that dA is a surface integral and dV a volume integral. In most cases this is trivial, as the variables are setup this way. Just as dA = dx dy the volume integral would read dV = dx dy dz. If this is clear from the context, the simple integrals will do just fine. In general, single integral notation is used in this book.

Closed Path, Surface, and Volume Integrals. There is a distinct difference between the simple integral ∫ and the close integral si183_e. The regular integral assumes a lower and an upper boundary for the integration both must be known in order to determine the integration constant correctly. A closed integral will assume the lower and the upper boundary to be the same value. In other words, the integration will proceed along a path, or a surface and terminate at the same point at which it started. This is why it is referred to as a closed integral. This distinction must be made.

Indicating the Integration Region. Usually the region on which the integral is applied will be indicated next to the integration symbol if the integral is not specific about this. As an example, consider Eq. 7.13. The information that the integral is to be taken on the boundary Asi75_e is indicated by Asi112_e because the integration variable drsi76_e is also defined inside of the area (not just on the boundary). Therefore this additional information clarifies the integral. Usually if the integral is taken over a surface dA, this information could also be applied to the integration sign Asi114_e, but it is redundant.

7.3 Coordinate System Transformation

7.3.1 Introduction

We will primarily use four coordinate systems: Cartesian, cylindrical, polar, and spherical coordinates (see Fig. 7.4).

f07-04-9781455731411
Fig. 7.4 Common coordinate systems used throughout this work: Cartesian (a), cylindrical (b), polar (c), and spherical (d) coordinate systems. The basis vectors esi5_e of the respective coordinate systems are always orthogonal.

Cartesian Coordinate System. The Cartesian coordinate system (see Fig. 7.4a) uses the orthogonal axis vectors ex,ey,andez.si115_e This coordinate system is used primarily for systems with rectangular shape, e.g., microfluidic channels with rectangular cross-section.

Cylindrical Coordinate System. The cylindrical coordinate system (see Fig. 7.4b) uses the orthogonal axis vectors ersi116_e (radius), eφsi117_e (rotation around ezsi118_e, azimuthal angle), and the ezsi118_e axis. This coordinate system is used primarily for systems with a tubular shape, e.g., capillaries.

Polar Coordinate System. The polar coordinate system (see Fig. 7.4c) is the planar, i.e., two-dimensional version of the cylindrical coordinate system. It uses the orthogonal axis vectors ersi116_e (radius) and eφsi117_e (rotation around the origin). It is mainly used to describe rotationally-symmetric planar flow problems.

Spherical Coordinate System. The spherical coordinate system (see Fig. 7.4d) uses the orthogonal axis vectors eρsi122_e (radius in space; ρ is used instead of r to reflect the fact that the radius is out-of-plane), eθsi123_e axis (zenith angle, rotation about the normal of the plane defined by the rotation about φ in the origin) and eφsi117_e (rotation around ezsi118_e, which is not used in the spherical coordinate system, azimuthal angle). This coordinate system is used rarely, but lends itself well, e.g., for the fluid mechanics of circular particles in flow fields. Please note that in order for the system to form a right-hand system, the order of the axes is r, θ, and ϕ.

Conversion. In many cases it is necessary to transform one coordinate system into another, i.e., to express a vector which was defined in one coordinate system into a different coordinate system. In order to do so, the respective axis vectors of the coordinate systems into which the transformation is to be made must be expressed by the coordinate system from which the transformation is to be made. In the next section, we will study the most important conversions.

7.3.2 Cartesian/Cylindrical Coordinates Conversion

Transforming the Independent Variables. As an example, expressing the position vector ssi6_e

s(r,y,z)=xex+yey+zez

si127_e  (Eq. 7.18)

defined in Cartesian coordinates in cylindrical coordinates (see Fig. 7.4b) where we can express the independent variables x, y, and z as the dependent variables r, φ, and z by noting

x=rcosφ

si128_e  (Eq. 7.19)

y=rsinφ

si129_e  (Eq. 7.20)

z=z

si130_e  (Eq. 7.21)

which in turn gives us the vector ssi6_e as function of r,φ, and z

s(r,φ,z)=rcosφex+rsinφey+zez

si132_e  (Eq. 7.22)

We have now transformed the vector Fsi1_e into a function of r, φ, and z but we still use the Cartesian coordinate system. In the next step, we need to transform the basis vectors as well.

Transforming the Basis Vectors. Transforming the basis vectors is simply a question of forming the partial derivatives of the position vector s(x,φ,z)si134_e givn by Eq. 7.22 along the desired coordinate axis. Once these derivatives have been found, we only need to normalize the vectors, i.e., divide them by their respective norm. For ersi116_e we find

s(r,φ,z)r=(rcosφ)rex+(rsinφ)rey+zrez=cosφex+sinφeys(r,φ,z)r=cos2φ+sin2φ=1er=s(r,φ,z)rs(r,φ,z)r=cosφex+sinφey

si136_e

where we observe that the new basis vector in cylindrical coordinates ersi116_e depends on two basis vectors from Cartesian coordinates, i.e., exsi138_e and eysi139_e.

We proceed likewise with eφsi117_e to find

s(r,φ,z)φ=(rcosφ)φex+(rsinφ)φey+zφez=rsinφex+rcosφeys(r,φ,z)φ=r2sin2φ+r2cos2φ=reφ=s(r,φ,z)φs(r,φ,z)φ=sinφex+cosφey

si141_e

where we again observe that the basis vector in cylindrical coordinates is dependent on the two basis vectors exsi138_e and eysi139_e in Cartesian coordinates. Also the axis vectors depend on the same variable (in this case φ) which makes for interesting derivatives as we will see in a moment.

We do not require a transformation on the last basis vector ezsi118_e which remains unchanged. We therefore find

er=cosφex+sinφey

si145_e  (Eq. 7.23)

eφ=sinφex+cosφey

si146_e  (Eq. 7.24)

ez=ez

si147_e  (Eq. 7.25)

We can now solve Eq. 7.23 and Eq. 7.24 for exsi138_e and eysi139_e to find

sinφer=sinφcosex+sin2φeycosφeφ=sinφcosφex+cos2φey

si150_e

which after adding up results in

cosφeφ+sinφer=(sin2φ+cos2φ)eyey=cosφeφ+sinφer

si151_e  (Eq. 7.26)

where we have used the fact that sin2φ+cos2φ=1si152_e (see Eq. 3.22). If we reinsert Eq. 7.26 into Eq. 7.23 we find

er=cosφex+sinφ(cosφeφ+sinφer)=cosφex+sinφcosφeφ+sin2φercosφex=sinφcosφeφ+(sin2φ1)er=sinφcosφeφ+(sin2φ(sin2φ+cos2φ))er=sinφcosφeφcos2φerex=cosφersinφeφ

si153_e  (Eq. 7.27)

which in summary gives us

ex=cosφersinφeφ

si154_e  (Eq. 7.28)

ey=sinφercosφeφ

si155_e  (Eq. 7.29)

ez=ez

si147_e  (Eq. 7.30)

We now have all the equations to express the Cartesian basis vectors in terms of the cylindrical unit vectors (see Eq. 7.23, Eq. 7.24, and Eq. 7.25) and v.v. (see Eq. 7.28, Eq. 7.29, and Eq. 7.30). In order to convert a vector Fsi1_e from Cartesian to cylindrical coordinates we use

(FxFyFz)=Fxex+Fyey+Fzez=Fx(cosφersinφeφ)er+Fy(cosφeφsinφer)+Fzez=(Fxcosφ+Fysinφ)er+(Fxsinφ+Fycosφ)eφ+Fzez=Frer+Fφeφ+Fzez=(FrFφFz)

si158_e  (Eq. 7.31)

while in order to convert a vector Fsi1_e from cylindrical to Cartesian coordinates we find

(FrFφFz)=Frer+Fφeφ+Fzez=Fr(cosφex+sinφey)+Fφ(sinφex+cosφey)+Fzez=(FrcosφFφsinφ)ex+(Frsinφ+Fφcosφ)ey+Fzez=Fxex+Fyey+Fzez=(FxFyFz)

si160_e  (Eq. 7.32)

Orthogonality. We will shortly verify that the found axis vectors for the cylindrical coordinate systems are effectively orthogonal. For this we will calculate the cross products of the three vectors

er×eφ=(00cos2φ+sin2φ)=(001)=ezer×ez=(sinφcosφ0)=eφeφ×ez=(cosφsinφ0)=er

si161_e

As can be seen, the respective cross products of two of the three axis vectors are identical to the third respective unit vector. This proofs that we have indeed an orthogonal coordinate system.

7.3.3 Cartesian/Polar Coordinates Conversion

The conversion from Cartesian to polar coordinates (and v.v.) is simply a special case of the conversion from Cartesian to cylindrical coordinates while keeping z = 0.

Transforming the Independent Variables. For the conversion of the independent variables x and y we therefore find in analogy to Eq. 7.19 and Eq. 7.20

x=rcosφ

si128_e  (Eq. 7.33)

y=rsinφ

si129_e  (Eq. 7.34)

Transforming the Basis Vectors. Consequently we find the conversion of the basis vectors in analogy to Eq. 7.23, Eq. 7.24, Eq. 7.28, and Eq. 7.29 to be

er=cosφex+sinφey

si145_e  (Eq. 7.35)

eφ=sinφex+cosφey

si146_e  (Eq. 7.36)

and

ex=cosφersinφeφ

si154_e  (Eq. 7.37)

ey=sinφercosφeφ

si155_e  (Eq. 7.38)

which allows us to convert the vector Fsi1_e from Cartesian to polar coordinates using

(FxFy)=Fxex+Fyey=Fx(cosφersinφeφ)+Fy(sinφer+cosφeφ)=(FxcosφFysinφ)er+(Fxsinφ+Fycosφ)eφ=Frer+Fφeφ=(FrFφ)

si169_e

while the inverse conversion of a vector Fsi1_e from cylindrical to Cartesian coordinates is given by

(FrFφ)=Frer+Fφeφ=Fr(cosφex+sinφey)+Fφ(sinφex+cosφey)=(FrcosφFφsinφ)ex+(Frsinφ+Fφcosφ)ey=Fxex+Fyey=(FxFy)

si171_e

Orthogonality. We can skip the proof of the orthogonality of the polar coordinate system as this proof has already been done implicitly while proofing the orthogonality of the cylindrical coordinate system.

7.3.4 Cartesian/Spherical Coordinates Conversion

Transforming the Independent Variables. In an analogy we will now transform Cartesian to spherical coordinates (see Fig. 7.4d) where we note the conversion of the independent variables x, y, and z to the independent variables r, θ, and φ as

x=rsinθcosφy=rsinθcosφz=rcosθ

si172_e

which in turn gives us the vector ssi6_e as function of ρ, θ , and φ

s(ρ,θ,φ)=ρsinθcosφex+ρsinθsinφey+ρcosθez

si174_e  (Eq. 7.39)

Transforming the Basis Vectors. We now form the partial derivatives along the new independent variables. Once we have these vectors, we divide them by their norm to find the new unit vectors. For eρsi122_e we find

s(ρ,θ,φ)ρ=(ρsinθcosφ)ρex+(ρsinθsinφ)ρey+(ρcosθ)ρez=sinθcosφex+sinθsinφey+cosθezs(ρ,θ,φ)ρ=(sinθcosφ)2+(sinθsinφ)2+cos2θ=sinθ2(cos2φ+sin2φ)+cos2θ=sinθ2+cosθ2=1eρ=s(ρ,φ,θ)ρs(ρ,φ,θ)ρ=sinθcosφex+sinθsinφey+cosθez

si176_e

Again, we see that the unit vectors in spherical coordinates depend on the unit vectors of the Cartesian coordinate system.

We now proceed likewise for eθsi123_e for which we find

s(ρ,θ,φ)θ=(ρsinθcosφ)θex+(ρsinθsinφ)θey+(ρcosθ)θez=ρcosθcosφex+ρcosθsinφey+ρsinθezs(ρ,θ,φ)θ=(ρcosθcosφ)2+(ρcosθsinφ)2+ρ2sin2θ=ρ2cos2θ(cosφ2+sin2φ)+ρ2sin2θ=sinθ2+cosθ2=ρeθ=s(ρ,φ,θ)θs(ρ,φ,θ)θ=cosθcosφex+sinθsinφeysinθez

si178_e

The last unit vector we require is eφsi117_e for which we find

s(ρ,θ,φ)φ=(ρsinθcosφ)φex+(ρsinθsinφ)φey+(ρcosθ)φez=ρsinθsinφex+ρsinθcosφeys(ρ,θ,φ)φ=(ρsinθsinφ)2+(ρcosθsinφ)2=ρ2sinθ2(sin2φ+cos2φ)=ρsinθeφ=s(ρ,φ,θ)φs(ρ,φ,θ)φ=sinφex+cosφey

si180_e

which gives us the basis vectors eρ,eθ,andeφsi181_e as functions of ex,ey,andezsi182_e

eρ=sinθcosφex+sinθsinφey+cosθez

si183_e  (Eq. 7.40)

eθ=cosθcosφex+cosθsinφeysinθez

si184_e  (Eq. 7.41)

eφ=sinφex+cosφey

si146_e  (Eq. 7.42)

In the next step, we have to solve Eq. 7.40, Eq. 7.41, and Eq. 7.42 to give us the inverse equations, i.e., ex,ey,andezsi182_e as functions of eρ,eθ,andeφsi181_e. By multiplying Eq. 7.42 with sin θ cos φ we obtain

sinθcosφeφ=sinθcosφsinφex+sinθcos2φey

si188_e  (Eq. 7.43)

If we multiply Eq. 7.40 with sin φ and add it to Eq. 7.43 we obtain

sinφeρ+sinθcosφeφ=(sinθsinφcosφsinθcosφsinφ)ex+(sin2φ+cos2φ)sinθey+sinφcosθez=sinθey+sinφcosθez

si189_e  (Eq. 7.44)

Likewise by multiplying Eq. 7.42 with cos θ cos φ we obtain

cosθcosφeφ=cosθsinφex+cosθcos2φey

si190_e  (Eq. 7.45)

If we multiply Eq. 7.41 with sin φ and add it to Eq. 7.45 we obtain

sinφeθ+cosθcosφeφ=(sinφcosθcosφcosθsinφcosφ)ex+(sin2φ+cos2φ)cosθeysinθsinφez=cosθeysinθsinφez

si191_e  (Eq. 7.46)

We now multiply Eq. 7.44 by sin θ and Eq. 7.46 by cos θ and add the two finding

sinθ+sinφeρ+(sin2θ+cos2θ)cosφeφ+sinφcosθeθ=(sin2θ+cos2θ)ey+(sinφsinθcosθsinθcosθsinφ)ezey=sinθsinφeρ+sinφcosθeθ+cosφeφ

si192_e  (Eq. 7.47)

which gives us eysi139_e as a function of eρ,eθ,andeφsi181_e. We can now reinsert Eq. 7.47 into Eq. 7.46 to find

sinφeθ+cosθcosφeφ=cosθ(sinθsinφeρ+sinφcosθeφ)sinθsinφezsinφeθ=sinθcosθsinφeρ+sinφcos2θeθsinθsinφezsinθsinφez=sinθcosθsinφeρ+(cos2θ(sin2θ+cos2θ))sinφeθ=sinθcosθsinφeρsin2θsinφeθez=cosθeρsinθeθ

si195_e  (Eq. 7.48)

which gives us ezsi118_e as a function of eρ,eθ,andeφsi181_e. Finally by reinserting Eq. 7.47 and Eq. 7.48 into Eq. 7.40 we find

eρ=sinθcosφex+sinθφ(sinθsinφeρ+cosθeeθ+cosφeφ)+cosθ(cosθeρsinθeθ)=sinθcosφex+sin2θsin2φeρ+cosθsinθsin2φeθ+sinθsinφcosφeφ+cos2θeρsinθcosθeθsinθcosφex=(sin2θsin2φ+cos2θ1)eρ+(sin2φ1)sinθcosθeθ+sinθsinφcosφeφ=(sin2θsin2φsin2θ)eρ+(sin2φ1)sinθcosθeθ+sinθsinφcosφeφ=(sin2φ1)sin2θeρ+(sin2φ1)sinθcosθeθ+sinθsinφcosφeφ=cos2φsin2θeρcos2φsinθcosθeθ+sinθsinφcosφeφex=sinθcosφeρ+cosθcosφeθsinφeφ

si198_e  (Eq. 7.49)

which gives us exsi138_e as a function of eρ,eθ,andeφsi181_e. We therefore find in summary

ex=sinθcosφeρ+cosθcosφeθsinφeρ

si201_e  (Eq. 7.50)

ey=sinθsinφeρ+sinθcosφeθ+cosφeρ

si202_e  (Eq. 7.51)

ez=cosθeρsinθeθ

si203_e  (Eq. 7.52)

We can therefore convert the vector Fsi1_e from Cartesian to spherical coordinates using

(FxFyFz)=Fxex+Fyey+Fzez=Fx(sinθcosφeρ+cosθcosφeθsinφeφ)+Fy(sinθsinφeρ+sinφcosθeθ+cosφeφ)+Fz(cosθepsinθeθ)=(Fxsinθcosφ+Fysinθsinφ+Fzcosθeρ)eρ+(Fxcosθcosφ+FysinφcosθFzsinθ)eθ+(Fxsinφ+Fycosφ)eφ=Fρeρ+Fθeθ+Fφeφ=(FρFθFφ)

si205_e

while the inverse conversion a vector Fsi1_e from spherical to Cartesian coordinates we find

(FρFθFφ)=Fρeρ+Fθeθ+Fφeφ=Fρ(sinθcosφex+sinθsinφey+cosφez)+Fθ(cosθcosφex+cosθsinφeysinθez)+Fφ(sinφex+cosφey)=(Fρsinθcosφ+FθcosθcosφFφsinφ)ex+(Fρsinθsinφ+Fθcosθsinφ+Fφcosφ)ey+(FρcosθFθsinθ)ez=Fxex+Fyey+Fzez=(FxFyFz)

si207_e  (Eq. 7.53)

Orthogonality. Again, we will shortly verify that the basis vectors found for the spherical coordinate systems are effectively orthogonal. For this we will calculate the cross product of the three vectors

eρeθ=(sinθ(sinθsinφ)cosθ(cosθsinφ)cosθ(cosθcosφ)+sinθ(sinθcosφ)(sinθcosφ)(cosθsinφ)(sinθsinφ)(cosθcosφ))=(sinφcosφ0)=eφeθeφ=((cosθsinφ)+sinθcosφsinθsinφcosθcosφ0cosφ(cosθcosφ)+cosθsin2φ)=(sinθcosφsinθsinφcosθ)=eρeθeφ=(cosφcosθ0sinθsinφ0sinθcosφ+sinφcosθsinφsinθsinφcosφsinθcosφ)=(cosφcosθcosθsinφsinθ)=eθ

si208_e

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset