1 Introduction

This article provides information on tensor mathematics, relevant to fluid dynamics and computational fluid dynamics (CFD). It describes scalars and vectors and typical algebraic vector operations. It follows with second rank tensors, their algebraic operations, symmetry, skewness and tensor invariants such as trace and determinant. It briefly discusses higher rank tensors before describing co-ordinate system and change of axis. Tensor calculus is introduced, along with derivative operators such as div, grad, curl and Laplacian. The final section covers the integral theorems of Gauss and Stokes, with a physical representation of div and curl, and scalar and vector potentials.

Some of the information in this article is also presented in the book Notes on CFD: General Principles.

2 Scalars and Vectors

A scalar is any physical property which can be represented by a single real number in some chosen unit system, e.g. pressure (kgm −1s−2   \relax \special {t4ht=), temperature (K  \relax \special {t4ht=) and density (kgm −3   \relax \special {t4ht=). Scalars are denoted by single letters in italics, e.g. p  \relax \special {t4ht=, T  \relax \special {t4ht=, ρ  \relax \special {t4ht=. The standard scalar operations must be performed using consistent units of measurement; in particular, addition, subtraction and equality are only physically meaningful for scalars of the same dimensional units.

A vector is an entity which is represented by both magnitude and direction. In its most general form an n  \relax \special {t4ht=-dimensional vector a  \relax \special {t4ht= can be denoted by n  \relax \special {t4ht= scalar components (a1,a2,  \relax \special {t4ht= corresponding to coordinate axes x ,x ,...x
 1  2     n  \relax \special {t4ht=. For continuum mechanics, where we deal with 3 dimensional (Euclidian) space, the vector a = (a1,a2,a3)  \relax \special {t4ht= relates to a general set of axes x1,x2,x3   \relax \special {t4ht=; representing x,y,z  \relax \special {t4ht= in a rectangular Cartesian system (see Section 5.1) or r,𝜃,z  \relax \special {t4ht= and r,𝜃,ϕ  \relax \special {t4ht= in cylindrical and spherical polar coordinates. The index notation presents the same vector as ai  \relax \special {t4ht= (i = 1,2,...,n  \relax \special {t4ht=) in which i  \relax \special {t4ht= corresponds to each of the coordinate axes. The list of indices (i = 1,2,...,n  \relax \special {t4ht=) is usually omitted in mathematical text since it is implied by the form of the equation in which it is written. In this article the tensor notation will generally be used in which a vector or tensor (see Section 3) is represented by letters in bold face, e.g. a  \relax \special {t4ht=. The benefits of this notation are that: it does not imply anything about the coordinate system; it therefore promotes the concept of a vector as a entity with direction and magnitude rather than a group of three scalars; and, it is more compact.

The magnitude, or modulus of a vector a  \relax \special {t4ht= or ai  \relax \special {t4ht= is denoted by |a| \relax \special {t4ht= and a  \relax \special {t4ht= in respective notations. Vectors of unit magnitude are referred to as unit vectors. It is assumed that the reader is familiar with the basic operations of multiplication of a vector and scalar and vector addition and subtraction, which are both commutative and associative. The next three sections describe the remaining vector and tensor operations required in continuum mechanics.

2.1 The scalar product of two vectors

The scalar product of two vectors a = (a1,a2,a3)  \relax \special {t4ht= and b = (b1,b2,b3)  \relax \special {t4ht= is defined as

a ∙b = a1b1 + a2b2 + a3b3 = aibi  \relax \special {t4ht=

The following behaviour is observed:

a∙a = a1a1 + a2a2 + a3a3 = a2
\relax \special {t4ht=
a∙b =  b∙a
\relax \special {t4ht=
a ∙(b + c) = a∙b + a ∙c  \relax \special {t4ht=

The geometrical representation of the scalar product is a ∙b = abcos𝜃  \relax \special {t4ht= as depicted by the shaded area in figure 1:

epsfig\relax \special {t4ht=

Figure 1: The scalar product

The scalar product is invariant under a transformation of axes since it is defined by the magnitudes of the two vectors and the angle between them. The concept of invariance is important to continuum mechanics and can be discussed further once the the ideas of change of axes have been described mathematically in Section 5.

2.2 The vector product of two vectors

The vector product of a vector a = (a1,a2,a3)  \relax \special {t4ht= with b = (b1,b2,b3)  \relax \special {t4ht= is defined as

a × b = (a2b3 − a3b2,a3b1 − a1b3,a1b2 − a2b1) = eijkajbk  \relax \special {t4ht=

where the permutation symbol

      |{ 0   when  any two indices are equal
eijk =   +1  when  i,j,k are an even permutation of 1,2,3
        − 1 when  i,j,k are an odd permutation of 1,2,3  \relax \special {t4ht=

where the even permutations are 123, 231 and 312 and the odd permutations are 132, 213 and 321. The following behaviour is observed:

a× a = 0
\relax \special {t4ht=
a×  b = − b × a
\relax \special {t4ht=
a × (b + c) = a × b + a × c  \relax \special {t4ht=

The geometrical representation of the vector product can be illustrated by defining a  \relax \special {t4ht= and b  \relax \special {t4ht= to lie in the x1x2   \relax \special {t4ht= plane of a rectangular coordinate system Ox1x2x3   \relax \special {t4ht=, a = (a,0,0)  \relax \special {t4ht= and b = (bcos 𝜃,bsin 𝜃,0)  \relax \special {t4ht=. The vector product is then a × b = (0,0,absin 𝜃)  \relax \special {t4ht= which can be seen in figure 2 to follow the direction of the z  \relax \special {t4ht= axis. Therefore, the vector product represents a normal vector of magnitude equal to the area of a parallelogram described by vectors a  \relax \special {t4ht= and b  \relax \special {t4ht=. The direction of the normal vector follows the convention of a set of right handed axes as defined in Section 5.1.

epsfig\relax \special {t4ht=

Figure 2: The vector product

The Kronecker delta δpq  \relax \special {t4ht= is another useful symbol to shorten equations in index notation. It is defined by

δpq =   1  if p = q
       0  if p ⁄= q  \relax \special {t4ht=

It is sometimes useful to know the e − δ  \relax \special {t4ht= identity to help to manipulate vector equations:

eijkeirs = δjrδks − δjsδkr  \relax \special {t4ht=

3 Second Rank Tensors

A second rank tensor is defined here as a linear vector function, i.e. it is a function which associates an argument vector to another vector. A vector is itself a first rank tensor and a scalar is a tensor of rank zero. Higher rank tensors are discussed briefly later but for the mostpart we deal with second rank tensors which are often be simply referred to as tensors.

The tensor acts as a linear vector function as follows:

ui = Tijvj  \relax \special {t4ht=

An n  \relax \special {t4ht=-dimensional second rank tensor, T or Tij  \relax \special {t4ht= has n2   \relax \special {t4ht= components which can be expressed in a array corresponding to axes x ,x ,...,x
 1  2      n  \relax \special {t4ht= as:

         (                     )
            T11  T12  ...  T1n
         ||  T21  T22  ...  T2n ||
T = Tij = |  ..    ..   ..    ..  |
         (   .    .     .   .  )
            Tn1  Tn2  ...  Tnn \relax \special {t4ht=

The components for which i = j  \relax \special {t4ht= are often referred to as the diagonal components, and those for i ⁄= j  \relax \special {t4ht= can be referred to as the off-diagonal components. The use of the array notation should be used sparingly since it can makes the algebra unwieldy and the notation becomes almost unmanageable for tensors of rank higher than two. For the remainder of this chapter, the 3-dimensional tensor with 9 components will be used to present tensor algebra in array notation:

          (               )
             T11  T12 T13
T =  Tij = (  T21  T22 T23 )
             T31  T32 T33 \relax \special {t4ht=

3.1 The single dot product

Equation (12) can be written in tensor notation as a single dot product operation pairing one geometric vector to another (expanding the vector in a column for convenience)

                   (                      )
                      T11v1 + T12v2 + T13v3
u = T ∙v =  Tijvj = (  T21v1 + T22v2 + T23v3 )
                      T v  + T  v + T  v
                       311    32 2    33 3 \relax \special {t4ht=

If we now define the tensor S  \relax \special {t4ht= to be the transpose of T  \relax \special {t4ht=, S = TT   \relax \special {t4ht=, as Sij = Tji  \relax \special {t4ht=, then:

u = v ∙ST = viSji  \relax \special {t4ht=

The identity tensor I  \relax \special {t4ht= is defined by the requirement that

I∙v = v ∙I = v  \relax \special {t4ht=

and therefore:

         (  1  0  0 )
I = δ  = (  0  1  0 )
            0  0  1 \relax \special {t4ht=

3.2 Symmetric and skew (antisymmetric) tensors

A tensor is said to be symmetric if its components are symmetric, i.e. T =  TT   \relax \special {t4ht=. A skew or antisymmetric tensor has T = − TT   \relax \special {t4ht= which intuitively implies that T11 = T22 = T33 = 0  \relax \special {t4ht=. Every second rank tensor can be represented by symmetric and skew parts by

     1           1
T =  -(T + TT )+ -(T − TT ) = symm  T + skew T
    ◟2---◝◜----◞  2◟---◝◜---◞
      symmetric      skew  \relax \special {t4ht=

A symmetric or skew tensor remains symmetric or skew under a transformation of axes, i.e. symmetry and skew-symmetry are intrinsic properties of a tensor, being independent of the coordinate system in which they are represented.

3.3 The scalar product of two tensors

The scalar product of two tensors is denoted by   ∙
T ∙S  \relax \special {t4ht= which can be evaluated as the sum of the nine products of the tensor components

T ∙S = TijSij = T11S11 + T12S12 + T13S13+
                T21S21 + T22S22 + T23S23+
                T31S31 + T32S32 + T33S33  \relax \special {t4ht=

The ‘∙
∙ \relax \special {t4ht=’ notation is used by some authors to define another scalar product which is denoted here by T ∙ ∙S  \relax \special {t4ht=

T ∙ ∙S = TijSji = T11S11 + T12S21 + T13S31+
                 T21S12 + T22S22 + T23S32+
                 T31S13 + T32S23 + T33S33  \relax \special {t4ht=

Of course, there is no need to distinguish between the two definitions of scalar product if either of the tensors is symmetrical.

3.4 The tensor product of two vectors

The tensor product of two vectors, denoted by ab  \relax \special {t4ht= (sometimes denoted a ⊗b  \relax \special {t4ht=), is defined by the requirement that (ab)∙v =  a(b∙v )  \relax \special {t4ht= for all v  \relax \special {t4ht= and produces a tensor whose components are evaluated as:

           (  a b   a b   a b )
           (   1 1   1 2   1 3)
ab = aibj =   a2b1  a2b2  a2b3
              a3b1  a3b2  a3b3 \relax \special {t4ht=

3.5 The tensor product of two tensors

The tensor product of two tensors combines two operations T  \relax \special {t4ht= and S  \relax \special {t4ht= so that S  \relax \special {t4ht= is performed first, i.e.(T ∙S )∙v = T ∙(S∙v )  \relax \special {t4ht= for all v  \relax \special {t4ht=. It is denoted by (T ∙S)  \relax \special {t4ht= and produces a tensor whose components are evaluated as:

P   = T  S
  ij    ik kj  \relax \special {t4ht=

The product is only commutative is both tensors are symmetric since

         T   T T
T ∙S = [S  ∙T  ]  \relax \special {t4ht=

3.6 The trace of a tensor

The trace of a tensor is a scalar invariant function of the tensor, denoted by

trT =  Tijδij = Tkk = T11 + T22 + T33  \relax \special {t4ht=

3.7 The determinant of a tensor

The determinant of a tensor is also a scalar invariant function of the tensor denoted by

        ||              ||
        ||T11  T12  T13 ||   1-
detT  = |T21  T22  T23 |=  6eijkepqrTipTjqTkr =
        |T31  T32  T33 |
\relax \special {t4ht=
T11(T22T33 − T23T32) − T12(T21T33 − T23T31)+ T13(T21T32 − T22T31)  \relax \special {t4ht=

4 Higher Rank Tensors

In Section 3.4 an operation was defined for the product of two vectors which produced a second rank tensor. Tensors of higher rank than two can be formed by the product of more than two vectors, e.g. a third rank tensor a  \relax \special {t4ht=b  \relax \special {t4ht=c  \relax \special {t4ht=, a fourth rank tensor abcd  \relax \special {t4ht=. If one of the tensor products is replaced by a scalar (∙ \relax \special {t4ht=) product of two vectors, the resulting tensor is two ranks less than the original. For example, (a∙b )cd  \relax \special {t4ht= is a second rank tensor since the product in brackets is a scalar quantity. Similarly if a scalar (∙
∙ \relax \special {t4ht=) product of two tensors is substituted as in ab ∙∙cd  \relax \special {t4ht=, the resulting tensor is four ranks less than the original. The process of reducing the rank of a tensor by a scalar product is known as contraction. The dot notation indicates the level of contraction and can be extended to tensors of any rank. In continuum mechanics tensors of rank greater than two are rare. The most common tensor operations to be found in continuum mechanics other than those in Sections 2 and 3 are:

a vector product of a vector a  \relax \special {t4ht= and second rank tensor T  \relax \special {t4ht= to produce a third rank tensor P = aT  \relax \special {t4ht= whose components are

Pijk = aiTjk  \relax \special {t4ht=

a scalar product of a vector a  \relax \special {t4ht= and third rank tensor P  \relax \special {t4ht= to produce a second rank tensor T  = a∙P  \relax \special {t4ht= whose components are

Tjk = aiPijk  \relax \special {t4ht=

a scalar (∙∙ \relax \special {t4ht=) product of a fourth rank tensor C  \relax \special {t4ht= and a second rank tensor S  \relax \special {t4ht= to produce a second rank tensor       ∙
T = C ∙ S  \relax \special {t4ht= whose components are

Tij = CijklSkl  \relax \special {t4ht=

5 Coordinate System and Change of Axes

The base of reference for the physical quantities in continuum mechanics is the coordinate system in which we are working. The components of a tensor can change if the coordinate system undergoes a transformation. We must first investigate the properties of a set of axes in order to formulate rules for coordinate transformation.

5.1 Cartesian coordinates

We will confine our coordinate description to a set of right-handed rectangular cartesian axes as shown in figure 3. This system of axes is constructed by defining an origin O  \relax \special {t4ht= from which three lines are drawn at right angles to each other, termed the Ox1   \relax \special {t4ht=, Ox2   \relax \special {t4ht= and Ox3   \relax \special {t4ht= axes. This notation is preferred to the well-known Ox, Oy, Oz  \relax \special {t4ht= as it relates better to the transformation equations. A right-handed set of axes Ox1x2x3   \relax \special {t4ht= is defined such that to an observer looking down the x3   \relax \special {t4ht= axis, the arc from a point on the Ox1   \relax \special {t4ht= axis to a point on the Ox2   \relax \special {t4ht= axis is in a clockwise sense.

epsfig\relax \special {t4ht=

Figure 3: Coordinate system and directional cosines

We can define a position vector p  \relax \special {t4ht= from the origin of a set of rectangular coordinates which makes the angles α  \relax \special {t4ht=, β  \relax \special {t4ht=, γ  \relax \special {t4ht= with the x1   \relax \special {t4ht=, x2   \relax \special {t4ht= and x3   \relax \special {t4ht= axes respectively. The directional cosines are then defined as cosα  \relax \special {t4ht=, cosβ  \relax \special {t4ht=, cosγ  \relax \special {t4ht=. The respective directional cosines can be expressed in index notation as l = p ∕p
 i   i  \relax \special {t4ht= or simply:

l = ---
    |p | \relax \special {t4ht=

5.2 Rotation of axes

Consider two right-handed sets of axes with the same origin, labelled Ox1x2x3   \relax \special {t4ht= and Ox ′x′x′
   1 2 3   \relax \special {t4ht= as shown in figure 4.

epsfig\relax \special {t4ht=

Figure 4: Rotation of axes

The sets of axes can be brought into coincidence by a rotation of axes. The directional cosines of Ox ′1x′2x′3   \relax \special {t4ht= relative to Ox1x2x3   \relax \special {t4ht= can be used to express Ox ′1x′2x′3   \relax \special {t4ht= in terms of Ox1x2x3   \relax \special {t4ht=: the directional cosines of Ox ′1   \relax \special {t4ht= relative to Ox1x2x3   \relax \special {t4ht= are expressed as L11   \relax \special {t4ht=, L12   \relax \special {t4ht= and L13   \relax \special {t4ht= respectively; those of Ox ′
   2   \relax \special {t4ht= and Ox ′
   3   \relax \special {t4ht= are L
 21   \relax \special {t4ht=, L
  22   \relax \special {t4ht=, L
 23   \relax \special {t4ht= and L
  31   \relax \special {t4ht=, L
  32   \relax \special {t4ht=, L
 33   \relax \special {t4ht=. The transformation can be summarised as:

x ′1 |L11  L12  L13
x ′ |L21  L22  L23
x 2′ |L    L    L
  3 | 31   32   33  \relax \special {t4ht=

The matrix transformation can be expressed in a more compact form by defining the group of directional cosines as a tensor L = Lii  \relax \special {t4ht=. A coordinate x  \relax \special {t4ht= in the Ox  x x
   1 2 3   \relax \special {t4ht= axes can then be represented in the Ox ′x′x′
   1 2 3   \relax \special {t4ht= axes as:

x′ = L ∙x  \relax \special {t4ht=

Components of the transformation tensor L must satisfy certain conditions since they are defined by two right-handed sets of axes. Since the axes are mutually perpendicular:

L11L21 + L12L22 + L13L23 = 0
L21L31 + L22L32 + L23L33 = 0
L31L11 + L32L12 + L33L13 = 0  \relax \special {t4ht=

and since the sums of squares of directional cosines are unity:

L211 + L212 + L213 = 0
L221 + L222 + L223 = 0
L231 + L232 + L233 = 0  \relax \special {t4ht=

Equations (33 and (34) describe the orthonormality conditions which can be expressed in a more compact form:

L ∙L   = I  \relax \special {t4ht=

The transformation matrix must satisfy one further requirement which ensures that both the sets of axes are right-handed. It is:

detL = 1  \relax \special {t4ht=

6 Tensor Calculus

This chapter has so far dealt with the algebra of tensors at a point. Tensors (of any rank) in continuum mechanics vary with space and time and are therefore tensor fields. Consequently we have to deal with derivatives of tensors in both space and time. The subject of time derivatives warrants a longer discussion in the context of kinematics, but here we simply introduce the concept of a total time derivative of a tensor field denoted by D ∕Dt  \relax \special {t4ht=. If we take a position vector p (t)  \relax \special {t4ht= of a particle of material at time t  \relax \special {t4ht= the velocity V  \relax \special {t4ht= is given by:

Dp       Δp
----= lim ----
Dt    t→0  Δt  \relax \special {t4ht=

The time derivatives of other tensors are defined in the same way. The familiar rules of a derivative of a product hold equally for two or more tensors as for scalar quantities. However, it is important to stress that since some operations, such as vector product (× \relax \special {t4ht=) are non-commutative, it is important to preserve the order of operations, e.g.:

D           Da            Db
--(a × b) = --- × b + a×  ----
Dt          Dt            Dt  \relax \special {t4ht=

6.1 Gradient

If a scalar field F  \relax \special {t4ht= is defined and continuously differentiable then the gradient of F  \relax \special {t4ht=, ∇F  \relax \special {t4ht= is a vector

            (              )
∇F  = ∂iF =   ∂F-, ∂F-,-∂F-
              ∂x1  ∂x2 ∂x3 \relax \special {t4ht=

Here we introduce the nabla vector operator ∇ \relax \special {t4ht=, represented in index notation as ∂i  \relax \special {t4ht=:

           ∂    (  ∂    ∂   ∂  )
∇ ≡  ∂i ≡ ∂x--≡   ∂x-,∂x--,∂x--
            i       1    2    3 \relax \special {t4ht=

The nabla operator operates on the quantity to the right of it and as before the rules of a derivative of a product still hold. Otherwise the nabla operator behaves like any other vector in an algebraic operation. When working in index notation, the use of ∂
 i  \relax \special {t4ht= has advantages over other notations since it represents the nabla operator as any other vector.

The derivative of F  \relax \special {t4ht= in the direction of the unit vector n  \relax \special {t4ht= is given by:

 ∂n = n ∙∇F  = |∇F |cos𝜃  \relax \special {t4ht=

where 𝜃  \relax \special {t4ht= is the angle between ∇F  \relax \special {t4ht= and n  \relax \special {t4ht=. Assuming ∇F  ⁄= 0  \relax \special {t4ht=, ∂F∕∂n  \relax \special {t4ht= is a maximum when 𝜃 = 0  \relax \special {t4ht=. Therefore the vector ∇F  \relax \special {t4ht= follows the direction in which F  \relax \special {t4ht= increases most rapidly with a magnitude |∇F  | \relax \special {t4ht=.

The gradient can operate on any rank tensor to produce a tensor one rank higher. For example, the gradient of a vector a  \relax \special {t4ht= is a tensor

            (  ∂a1∕∂x1  ∂a2 ∕∂x1  ∂a3∕∂x1 )
∇a =  ∂a  = (  ∂a ∕∂x   ∂a  ∕∂x   ∂a ∕∂x  )
       i j       1    2    2   2    3    2
               ∂a1∕∂x3  ∂a2 ∕∂x3  ∂a3∕∂x3 \relax \special {t4ht=

By the same definition as Equation (41):

∂n = n ∙∇a  \relax \special {t4ht=

The physical representation of the gradient of vector represent the maximum rate of change of the individual components of the vector.

6.2 Divergence

If a vector field a  \relax \special {t4ht= is defined and continuously differentiable then the divergence of a  \relax \special {t4ht=, ∇  ∙a  \relax \special {t4ht= is a scalar

              ∂a    ∂a     ∂a
∇ ∙a = ∂iai = --1-+ ---2+ ---3
              ∂x1   ∂x2   ∂x3  \relax \special {t4ht=

If  ′∙
∇ \relax \special {t4ht= and  ′
a \relax \special {t4ht= represent the divergence operator and vector a  \relax \special {t4ht= under a rotation to new axes    ′ ′ ′
Ox 1x 2x3   \relax \special {t4ht=, then by Equation (32),

  ′  ′                       T
∇  ∙a = (L ∙∇ )∙(L∙a ) = ∇ ∙(L ∙L) ∙a = ∇ ∙a  \relax \special {t4ht=

since L  \relax \special {t4ht= is independent of x1,x2,x3   \relax \special {t4ht= and by the orthonormality condition (Equation (35)). The divergence of a vector field is therefore a scalar invariant.

The divergence can operate a tensor of rank 1 or above to produce a tensor one rank lower. For example the divergence of a second rank tensor T is a vector (expanding the vector in a column for convenience)

              (  ∂T  ∕∂x  + ∂T  ∕∂x  + ∂T  ∕ ∂x  )
              (     11    1     12    1     13   1 )
∇ ∙T = ∂iTij =   ∂T21∕∂x2 + ∂T22∕∂x2 + ∂T23∕ ∂x2
                 ∂T31∕∂x3 + ∂T32∕∂x3 + ∂T33∕ ∂x3 \relax \special {t4ht=

The physical representation of divergence is discussed in Section 7 and is central to the understanding of continuum mechanics.

6.3 Curl

If a vector field a  \relax \special {t4ht= is defined and continuously differentiable then the curl of at  \relax \special {t4ht=, ∇ ×  a  \relax \special {t4ht= is a vector

                   (∂a     ∂a  ∂a     ∂a   ∂a    ∂a )
∇  × a = eijk∂jak =  ---3−  --2,---1−  --3,---2−  --1-
                    ∂x2    ∂x3 ∂x3    ∂x1 ∂x1    ∂x2 \relax \special {t4ht=

Curl can operate on any tensor of rank one and higher to produce a tensor of the same rank. For example the curl of a second rank tensor T is a second rank tensor

∇ × T =  e  ∂ T
          ijk j kl
\relax \special {t4ht=
As with divergence, the physical representation of curl is discussed in Section 7 and has important significance in continuum mechanics.

6.4 Laplacian

The Laplacian is a scalar operator defined by ∇2 ≡  ∇ ∙∇ \relax \special {t4ht=. It can be deduced that the laplacian is a scalar invariant operator since it is the scalar product of two vectors, both the nabla operator. The laplacian of a scalar field F  \relax \special {t4ht= is the scalar:

              ∂2F    ∂2F    ∂2F
∇2F  = ∂2F  = ---2 + ---2+  --2-
              ∂x 1   ∂x 2   ∂x3  \relax \special {t4ht=

6.5 Useful tensor identities

Several identities are listed below which can be verified by under the assumption that all the relevant derivatives exist and are continuous. The identities are expressed for scalar F  \relax \special {t4ht=, vector a  \relax \special {t4ht= and (second rank) tensor T  \relax \special {t4ht=

∇ ∙(∇ × a) ≡ 0
∇ × (∇s ) ≡ 0
∇ ∙(sa) ≡ s∇ ∙ a+ a∇s
∇ × (sa) ≡ s∇ × a + a∇ × s
    ∙                                  ∙         ∙
∇ (a b) ≡ a × (∇ × b) + b× (∇ ×  a)+ (a ∇ )b + (b ∇ )a
∇ ∙(a× b ) ≡ b ∙(∇ × a)− a ∙(∇ × b)
∇ × (a × b) ≡ a(∇ ∙b) − b(∇ ∙a)+ (b ∙∇ )a− (a ∙∇)b
∇ × (∇ × a ) ≡ ∇ (∇ ∙a)− ∇2a
(∇ × a) × a ≡ a∙(∇a )− 12∇ (a∙a)  \relax \special {t4ht=

7 Integral Theorems

In the preceding sections we dealt with the behaviour of tensors at a point and its representation of a tensor field. However, it is also necessary to consider the behaviour of tensors over finite regions of space in order to derive many of the equations of continuum mechanics. The derivations rely on some integral theorems which are presented here without derivation in their most general forms which are independent of the choice of coordinate system. The theorems relate line C  \relax \special {t4ht=, surface S  \relax \special {t4ht= and volume V  \relax \special {t4ht= integrals which are merely generalisations of the definite, double and triple integrals. For example, in the definite integral

∫ a
   f (x ) dx
 b  \relax \special {t4ht=

we integrate along the x  \relax \special {t4ht=-axis between a  \relax \special {t4ht= and b  \relax \special {t4ht= and the integrand f  \relax \special {t4ht= is a function defined at each point between a  \relax \special {t4ht= and b  \relax \special {t4ht=. In a line integral we integrate over a curve in space and the integrand is defined at all points along C  \relax \special {t4ht=. In the following theorems it is assumed that the curves and surfaces are piecewise smooth, i.e. they consist of a finite number of smooth curves and surfaces respectively.

7.1 Gauss’s theorem

Gauss’s theorem relates the integral over an arbitrary volume of space to the integral over the surface bounding the volume. The generalised Gauss’s theorem takes the form

∫             ∫
   n ⋆𝒜  dS =    ∇ ⋆ 𝒜 dV
  S            V  \relax \special {t4ht=

where n  \relax \special {t4ht=is the unit normal vector to the S  \relax \special {t4ht= and 𝒜 \relax \special {t4ht= can represent any scalar, vector and tensor field which is defined and continuously differentiable throughout V  \relax \special {t4ht=. The star notation ⋆  \relax \special {t4ht= is introduced to represent any product, i.e. scalar a ∙b  \relax \special {t4ht=, vector a × b  \relax \special {t4ht=, tensor ab  \relax \special {t4ht=. The star ‘⋆  \relax \special {t4ht=’ can therefore be replaced by either a ‘∙ \relax \special {t4ht=’, a ‘× \relax \special {t4ht=’ or nothing and the volume integral will contain a ∇ ∙ \relax \special {t4ht=, ∇ × \relax \special {t4ht= or ∇ \relax \special {t4ht= respectively.

7.2 Stokes’s theorem

Stokes’s theorem relates the integral over a closed curve (represented by ∮
 C \relax \special {t4ht=) in space to the integral over a portion of an orientable surface in space bounded by the curve. Stokes’s theorem applied to a vector a  \relax \special {t4ht= is

∫                 ∮
   n ∙(∇ × a) dS =    t∙a dC
 S                 C  \relax \special {t4ht=

where t  \relax \special {t4ht= is the unit tangent vector along the curve.

7.3 Physical representation of divergence and curl

Take a closed surface S  \relax \special {t4ht= bounding a volume V  \relax \special {t4ht= and consider the integral I  \relax \special {t4ht=

   ∫             ∫
I =   ∇ ∙a dV  =    n∙a dS
     V            S  \relax \special {t4ht=

If a  \relax \special {t4ht= is directed away from the enclosed volume, I > 0  \relax \special {t4ht= and the field a  \relax \special {t4ht= is diverging from V  \relax \special {t4ht=. if a  \relax \special {t4ht= is directed towards it, I < 0  \relax \special {t4ht= and the field a  \relax \special {t4ht=is converging towards V  \relax \special {t4ht=. In general, n ∙a  \relax \special {t4ht= may take positive or negative values around S  \relax \special {t4ht= and the sign of I  \relax \special {t4ht= will indicate whether the field is convergent or divergent. If we collapse our volume to a single point P  \relax \special {t4ht=, the sign of ∇ ∙a  \relax \special {t4ht= represents whether the field in the neighborhood of P  \relax \special {t4ht= is divergent or convergent and its magnitude represent the strength of divergence or convergence.

In the context of continuum mechanics, in a motion of an incompressible medium the net flow through a volume of material must be zero, i.e. the net flux of velocity V  \relax \special {t4ht= across the surface bounding the volume must be zero. Therefore,

∫            ∫
   n∙V  dS =    ∇ ∙V  dV = 0
 S            V  \relax \special {t4ht=

and by vanishing V  \relax \special {t4ht= to a point, it can be concluded that the condition for incompressibility is that ∇ ∙V =  0  \relax \special {t4ht= at all points.

epsfig\relax \special {t4ht=

Figure 5: Physical representation of curl

In order to understand the physical significance of ∇ × a  \relax \special {t4ht=, we take an arbitrary circular disk bounded by the closed curve C  \relax \special {t4ht= and centred at a point P  \relax \special {t4ht=. The disc is oriented with its normal axis in the direction of ∇ × a  \relax \special {t4ht= at P  \relax \special {t4ht= as shown in figure 5. If we consider

    ∮            ∫
I =    t∙a dC =    n ∙(∇ × a) dS
     C            S  \relax \special {t4ht=

Since n  \relax \special {t4ht= and ∇  × a  \relax \special {t4ht= are in the same direction n ∙(∇ × a) ≥ 0  \relax \special {t4ht=. This indicates that the field in the neighbourhood of P  \relax \special {t4ht= is either rotating, when t ∙a > 0  \relax \special {t4ht=, or irrotational when t∙ a = 0  \relax \special {t4ht=. The condition for an irrotational field a  \relax \special {t4ht= must be ∇ × a = 0  \relax \special {t4ht=. In continuum mechanics, flows are termed irrotational when ∇ × V =  0  \relax \special {t4ht=.

7.4 Scalar and vector potentials

One of the relationships in Eqn. (50) is ∇ × (∇F ) ≡ 0  \relax \special {t4ht=. It can be shown that if a vector field a  \relax \special {t4ht= defined in a (singly connected) region is such that ∇ × a ≡ 0  \relax \special {t4ht=, then a scalar potential field F  \relax \special {t4ht= exists such that a ≡ ∇F  \relax \special {t4ht=.

We define two scalar potentials, F  \relax \special {t4ht= and F′ \relax \special {t4ht= such that a = ∇F  = ∇F  ′ \relax \special {t4ht= and let U  = F − F ′ \relax \special {t4ht=. It can be seen that ∇U  = 0  \relax \special {t4ht= which means U  \relax \special {t4ht= must be independent of the coordinate system, i.e. U =  constant  \relax \special {t4ht=. This shows that the scalar potential is unique apart from an additive constant.

A generalisation of the statement given at the end of Section 7.3 is that any vector field a  \relax \special {t4ht= for which ∇  × a ≡ 0  \relax \special {t4ht= is said to be irrotational. For such a field the line integral between two points P  \relax \special {t4ht= and Q  \relax \special {t4ht=

∫ Q
    t∙a dC
 P  \relax \special {t4ht=

is independent of the path of integration and is said to be conservative. The scalar potential is used in many areas of continuum mechanics. It is often adopted to reduce the complexity of a problem by reducing a vector field to a scalar field although, in doing this, we are making the assumption that that the field is irrotational.

Another of the relationships in Eqn. (50) is ∇ ∙(∇ × a) ≡ 0  \relax \special {t4ht=. It can be shown that if a vector field a  \relax \special {t4ht= defined in a (singly connected) region is such that   ∙
∇  a ≡ 0  \relax \special {t4ht=, then a vector potential field b  \relax \special {t4ht= exists such that a ≡ ∇ × b  \relax \special {t4ht=.

We define two scalar potentials, b  \relax \special {t4ht= and b ′ \relax \special {t4ht= such that a = ∇ × b = ∇ × b′ \relax \special {t4ht= and let c = b − b′ \relax \special {t4ht=. It can be seen that ∇ × c = 0  \relax \special {t4ht= which means a scalar field F  \relax \special {t4ht= exists such that c = ∇F  \relax \special {t4ht=. This shows that the vector potential is unique apart from an addition of the gradient of an arbitrary scalar field. A vector field a  \relax \special {t4ht= which satisfies ∇ ∙a ≡ 0  \relax \special {t4ht= is said to be solenoidal.

Helmholtz’s theorem combines vector and scalar potentials in the statement that any continuously differentiable vector field a  \relax \special {t4ht= can be decomposed into the sum of a irrotational scalar field F  \relax \special {t4ht= and a solenoidal vector field b  \relax \special {t4ht=,

a = ∇F  + ∇ ×  b  \relax \special {t4ht=

The regions of a field a  \relax \special {t4ht= where ∇ ∙a ⁄= 0  \relax \special {t4ht= are often termed sources of a  \relax \special {t4ht=, and regions where ∇  × a ⁄= 0  \relax \special {t4ht= are called vortices of a  \relax \special {t4ht=.

Tensor Mathematics for CFD