Vectors and Vector Fields

Transcription

1 Vectors and Vector Fields 223 A Vectors and Vector Fields A.1 Introduction This Appendix outlines those aspects of vector algebra, vector calculus, and vector field theory that are helpful in the study of fluid dynamics. A.2 Scalars and Vectors Many physical entities (e.g., mass, energy) are entirely defined by a numerical magnitude (expressed in appropriate units). Such entities, which have no directional element, are known as scalars. Moreover, since scalars can be represented by real numbers it follows that they obey the laws of ordinary algebra. However, there exits a second class of physical entities (e.g., velocity, acceleration, force) that are only completely defined when both a numerical magnitude and a direction in space are specified. Such entities are known as vectors. By definition, a vector obeys the same algebra as a displacement in space, and may thus be represented geometrically by a straight-line, Q (say), where the arrow indicates the direction of the displacement (i.e., from point to point Q). See Figure A.1. The magnitude of the vector is represented by the length of the straight-line. It is conventional to denote vectors by bold-faced symbols (e.g., a, F) and scalars by non-bold-faced symbols (e.g., r, S ). The magnitude of a general vector, a, is denoted a,orjusta, and is, by definition, always greater than or equal to zero. It is convenient to define a vector with zero magnitude this is denoted 0, and has no direction. Finally, two vectors, a and b, are said to be equal when their magnitudes and directions are both identical. A.3 Vector Algebra Suppose that the displacements Q and QR represent the vectors a and b, respectively. See Figure A.2. It can be seen that the result of combining these two displacements is to give the net displacement R. Hence, if R represents the vector c then we can write c = a + b. (A.1) This defines vector addition. By completing the parallelogram QRS, we can also see that R = Q + QR = S + SR. (A.2) However, S has the same length and direction as QR, and, thus, represents the same vector, b. Likewise, Q and SR both represent the vector a. Thus, the above equation is equivalent to c = a + b = b + a. (A.3) Q Figure A.1: A vector.

2 224 FLUID MECHANICS R S a c = a + b b Q b a Figure A.2: Vector addition. c = a b b a c b Figure A.3: Vector subtraction. We conclude that the addition of vectors is commutative. It can also be shown that the associative law holds: i.e., a + (b + c) = (a + b) + c. (A.4) The null vector, 0, is represented by a displacement of zero length and arbitrary direction. Since the result of combining such a displacement with a finite length displacement is the same as the latter displacement by itself, it follows that a + 0 = a, (A.5) where a is a general vector. The negative of a is defined as that vector which has the same magnitude, but acts in the opposite direction, and is denoted a. Thesumofa and a is thus the null vector: i.e., a + ( a) = 0. (A.6) We can also define the difference of two vectors, a and b,as c = a b = a + ( b). (A.7) This definition of vector subtraction is illustrated in FigureA.3. If n > 0 is a scalar then the expression n a denotes a vector whose direction is the same as a, and whose magnitude is n times that of a. (This definition becomes obvious when n is an integer.) If n is negative then, since n a = n ( a), it follows that n a is a vector whose magnitude is n times that of a, and whose direction is opposite to a. These

3 Vectors and Vector Fields 225 z y O x Figure A.4: A right-handed Cartesian coordinate system. definitions imply that if n and m are two scalars then A.4 Cartesian Components of a Vector n (m a) = nma = m (n a), (A.8) (n + m) a = n a + m a, (A.9) n (a + b) = n a + n b. (A.10) Consider a Cartesian coordinate system Oxyz consisting of an origin, O, and three mutually perpendicular coordinate axes, Ox, Oy, andoz. See Figure A.4. Such a system is said to be right-handed if, when looking along the Oz direction, a 90 clockwise rotation about Oz is required to take Ox into Oy. Otherwise, it is said to be left-handed. It is conventional to always use a right-handed coordinate system. It is convenient to define unit vectors, e x, e y,ande z, parallel to Ox, Oy, andoz, respectively. Incidentally, a unit vector is a vector whose magnitude is unity. The position vector, r, of some general point whose Cartesian coordinates are (x, y, z) is then given by r = x e z + y e y + z e z. (A.11) In other words, we can get from O to by moving a distance x parallel to Ox, then a distance y parallel to Oy, and then a distance z parallel to Oz. Similarly, if a is an arbitrary vector then a = a x e x + a y e y + a z e z, (A.12) where a x, a y,anda z are termed the Cartesian components of a. It is coventional to write a (a x, a y, a z ). It follows that e x (1, 0, 0), e y (0, 1, 0), and e z (0, 0, 1). Of course, 0 (0, 0, 0). According to the three-dimensional generalization of the ythagorean theorem, the distance O r = r is given by r = x 2 + y 2 + z 2. (A.13) By analogy, the magnitude of a general vector a takes the form a = ax 2 + ay 2 + az 2. If a (a x, a y, a z )andb (b x, b y, b z ) then it is easily demonstrated that (A.14) a + b (a x + b x, a y + b y, a z + b z ). (A.15) Furthermore, if n is a scalar then it is apparent that n a (na x, na y, na z ). (A.16)

4 226 FLUID MECHANICS y y z x O θ x Figure A.5: Rotation of the coordinate axes about Oz. A.5 Coordinate Transformations A Cartesian coordinate system allows position and direction in space to be represented in a very convenient manner. Unfortunately, such a coordinate system also introduces arbitrary elements into our analysis. After all, two independent observers might well choose Cartesian coordinate systems with different origins, and different orientations of the coordinate axes. In general, a given vector a will have different sets of components in these two coordinate systems. However, the direction and magnitude of a are the same in both cases. Hence, the two sets of components must be related to one another in a very particular fashion. Actually, since vectors are represented by moveable line elements in space (i.e., in Figure A.2, Q and SRrepresent the same vector), it follows that the components of a general vector are not affected by a simple shift in the origin of a Cartesian coordinate system. On the other hand, the components are modified when the coordinate axes are rotated. Suppose that we transform to a new coordinate system, Ox y z, which has the same origin as Oxyz, and is obtained by rotating the coordinate axes of Oxyz through an angle θ about Oz. See Figure A.5. Let the coordinates of a general point be (x, y,z)inoxyz and (x,y, z )inox y z. According to simple trigonometry, these two sets of coordinates are related to one another via the transformation x = x cos θ + y sin θ, (A.17) y = x sin θ + y cos θ, (A.18) z = z. (A.19) Consider the vector displacement r O. Note that this displacement is represented by the same symbol, r, in both coordinate systems, since the magnitude and direction of r are manifestly independent of the orientation of the coordinate axes. The coordinates of r do depend on the orientation of the axes: i.e., r (x, y,z) inoxyz, and r (x,y, z )inox y z. However, they must depend in a very specific manner [i.e., Equations (A.17) (A.19)] which preserves the magnitude and direction of r. The components of a general vector a transform in an analogous manner to Equations (A.17) (A.19): i.e., a x = a x cos θ + a y sin θ, (A.20) a y = a x sin θ + a y cos θ, (A.21) a z = a z. (A.22) Moreover, there are similar transformation rules for rotation about Ox and Oy. Equations (A.20) (A.22) effectively constitute the definition of a vector: i.e., the three quantities (a x, a y, a z ) are the components of a vector provided that they transform under rotation of the coordinate axes about Oz in accordance with Equations (A.20) (A.22). (And also transform correctly under rotation about Ox and Oy). Conversely, (a x, a y, a z ) cannot be the components of a vector if they do not transform in accordance with Equations (A.20) (A.22). Of course, scalar quantities are invariant under

5 Vectors and Vector Fields 227 rotation of the coordinate axes. Thus, the individual components of a vector (a x, say) are real numbers, but they are not scalars. Displacement vectors, and all vectors derived from displacements (e.g., velocity, acceleration), automatically satisfy Equations (A.20) (A.22). There are, however, other physical quantities that have both magnitude and direction, but which are not obviously related to displacements. We need to check carefully to see whether these quantities are really vectors (see Sections A.7 and A.9). A.6 Scalar roduct A scalar quantity is invariant under all possible rotational transformations. The individual components of a vector are not scalars because they change under transformation. Can we form a scalar out of some combination of the components of one, or more, vectors? Suppose that we were to define the percent product, a % b a x b z + a y b x + a z b y = scalar number, (A.23) for general vectors a and b. Is a % b invariant under transformation, as must be the case if it is a scalar number? Let us consider an example. Suppose that a (0, 1, 0) and b (1, 0, 0). It is easily seen that a % b = 1. Let us now rotate the coordinate axes through 45 about Oz. In the new coordinate system, a (1/ 2, 1/ 2, 0) and b (1/ 2, 1/ 2, 0), giving a % b = 1/2. Clearly, a % b is not invariant under rotational transformation, so the above definition is a bad one. Consider, now, the dot product or scalar product: a b a x b x + a y b y + a z b z = scalar number. (A.24) Let us rotate the coordinate axes though θ degrees about Oz. According to Equations (A.20) (A.22), a b takes the form a b = (a x cos θ + a y sin θ)(b x cos θ + b y sin θ) +( a x sin θ + a y cos θ)( b x sin θ + b y cos θ) + a z b z = a x b x + a y b y + a z b z (A.25) in the new coordinate system. Thus, a b is invariant under rotation about Oz. It can easily be shown that it is also invariant under rotation about Ox and Oy. We conclude that a b is a true scalar, and that the above definition is a good one. Incidentally, a b is the only simple combination of the components of two vectors which transforms like a scalar. It is readily shown that the dot product is commutative and distributive: i.e., a b = b a, a (b + c) = a b + a c. (A.26) The associative property is meaningless for the dot product, because we cannot have (a b) c,sincea b is scalar. We have shown that the dot product a b is coordinate independent. But what is the geometric significance of this? Well, in the special case where a = b,weget a b = a 2 x + a 2 y + a 2 z = a 2 = a 2. (A.27) So, the invariance of a a is equivalent to the invariance of the magnitude of vector a under transformation. Let us now investigate the general case. The length squared of AB in the vector triangle shown in Figure A.6 is However, according to the cosine rule of trigonometry, (b a) (b a) = a 2 + b 2 2 a b. (A.28) (AB) 2 = (OA) 2 + (OB) 2 2(OA)(OB) cosθ, (A.29)

6 228 FLUID MECHANICS B b b a O θ a A Figure A.6: A vector triangle. where (AB) denotes the length of side AB. It follows that a b = a b cos θ. (A.30) In this case, the invariance of a b under transformation is equivalent to the invariance of the angle subtended between the two vectors. Note that if a b = 0theneither a = 0, b = 0, or the vectors a and b are mutually perpendicular. The angle subtended between two vectors can easily be obtained from the dot product: i.e., cos θ = a b a b. (A.31) The work W performed by a constant force F which moves an object through a displacement r is the product of the magnitude of F times the displacement in the direction of F. If the angle subtended between F and r is θ then W = F ( r cos θ) = F r. (A.32) The work dw performed by a non-constant force f which moves an object through an infinitesimal displacement dr in a time interval dt is dw = f dr. Thus, the rate at which the force does work on the object, which is usually referred to as the power, is = dw/dt = f dr/dt,or = f v,wherev = dr/dt is the object s instantaneous velocity. A.7 Vector Area Suppose that we have planar surface of scalar area S. We can define a vector area S whose magnitude is S, and whose direction is perpendicular to the plane, in the sense determined by a right-hand circulation rule (see Section A.8) applied to the rim, assuming that a direction of circulation around the rim is specified. See Figure A.7. This quantity clearly possesses both magnitude and direction. But is it a true vector? We know that if the normal to the surface makes an angle α x with the x-axis then the area seen looking along the x-direction is S cos α x. This is the x-component of S (since S x = e x S = e x n S = cos α x S,wheren is the unit normal to the surface). Similarly, if the normal makes an angle α y with the y-axis then the area seen looking along the y-direction is S cos α y.thisisthey-component of S. If we limit ourselves to a surface whose normal is perpendicular to the z-direction then α x = π/2 α y = α. It follows that S = S (cos α, sin α, 0). If we rotate the basis about the z-axis by θ degrees, which is equivalent to rotating the normal to the surface about the z-axis by θ degrees, so that α α θ, then S x = S cos (α θ) = S cos α cos θ + S sin α sin θ = S x cos θ + S y sin θ, (A.33) which is the correct transformation rule for the x-component of a vector. The other components transform correctly as well. This proves both that a vector area is a true vector and that the components of a vector area are the projected areas seen looking down the coordinate axes. According to the vector addition theorem, the projected area of two plane surfaces, joined together at a line, looking along the x-direction (say) is the x-component of the resultant of the vector areas of the two surfaces. Likewise, for

7 Vectors and Vector Fields 229 S Figure A.7: A vector area. many joined-up plane areas, the net area seen looking down the x-axis, which is the same as the area of the outer rim seen looking down the x-axis, is the x-component of the resultant of all the vector areas: i.e., S = S i. (A.34) If we approach a limit, by letting the number of plane facets increase, and their areas reduce, then we obtain a continuous surface denoted by the resultant vector area S = δs i. (A.35) i It is clear that the area of the rim seen looking down the x-axis is just S x. Similarly, for the areas of the rim seen looking down the other coordinate axes. Note that it is the rim of the surface that determines the vector area rather than the nature of the surface spanning the rim. So, two different surfaces sharing the same rim both possess the same vector area. In conclusion, a loop (not all in one plane) has a vector area S which is the resultant of the component vector areas of any surface ending on the loop. The components of S are the areas of the loop seen looking down the coordinate axes. As a corollary, a closed surface has S = 0, since it does not possess a rim. A.8 Vector roduct We have discovered how to construct a scalar from the components of two general vectors, a and b. Can we also construct a vector which is not just a linear combination of a and b? Consider the following definition: i a b (a x b x, a y b y, a z b z ). (A.36) Is a b a proper vector? Suppose that a = (0, 1, 0), b = (1, 0, 0). In this case, a b = 0. However, if we rotate the coordinate axes through 45 about Oz then a = (1/ 2, 1/ 2, 0), b = (1/ 2, 1/ 2, 0), and a b = (1/2, 1/2, 0). Thus, a b does not transform like a vector, because its magnitude depends on the choice of axes. So, above definition is a bad one. Consider, now, the cross product or vector product: a b (a y b z a z b y, a z b x a x b z, a x b y a y b x ) = c. (A.37) Does this rather unlikely combination transform like a vector? Let us try rotating the coordinate axes through an angle θ about Oz using Equations (A.20) (A.22). In the new coordinate system, c x = ( a x sin θ + a y cos θ) b z a z ( b x sin θ + b y cos θ) = (a y b z a z b y )cosθ + (a z b x a x b z )sinθ = c x cos θ + c y sin θ. (A.38)

8 230 FLUID MECHANICS thumb a b θ a b middle finger index finger Figure A.8: The right-hand rule for cross products. Here, θ is less that 180. Thus, the x-component of a b transforms correctly. It can easily be shown that the other components transform correctly as well, and that all components also transform correctly under rotation about Ox and Oy. Thus, a b is a proper vector. Incidentally, a b is the only simple combination of the components of two vectors that transforms like a vector (which is non-coplanar with a and b). The cross product is anticommutative, a b = b a, (A.39) distributive, but is not associative, a (b + c) = a b + a c, a (b c) (a b) c. (A.40) (A.41) The cross product transforms like a vector, which means that it must have a well-defined direction and magnitude. We can show that a b is perpendicular to both a and b. Consider a a b. If this is zero then the cross product must be perpendicular to a. Now, a a b = a x (a y b z a z b y ) + a y (a z b x a x b z ) + a z (a x b y a y b x ) = 0. (A.42) Therefore, a b is perpendicular to a. Likewise, it can be demonstrated that a b is perpendicular to b. The vectors a, b, anda b form a right-handed set, like the unit vectors e x, e y,ande z. In fact, e x e y = e z. This defines a unique direction for a b, which is obtained from a right-hand rule. See Figure A.8.

9 Vectors and Vector Fields 231 i.e., if the fingers of the right-hand circulate in the direction of rotation then the thumb of the right-hand indicates the direction of the vector area. So, the vector area is coming out of the page in Figure A.9. It follows that S = a b, (A.45) Suppose that a force F is applied at position r. See Figure A.10. The torque about the origin O is the product of the magnitude of the force and the length of the lever arm OQ. Thus, the magnitude of the torque is F r sin θ. The direction of the torque is conventionally defined as the direction of the axis through O about which the force tries to rotate objects, in the sense determined by a right-hand circulation rule. Hence, the torque is out of the page in Figure A.10. It follows that the vector torque is given by τ = r F. (A.46) The angular momentum, l, of a particle of linear momentum p and position vector r is simply defined as the moment of its momentum about the origin: i.e., l = r p. (A.47) A.9 Rotation Let us try to define a rotation vector θ whose magnitude is the angle of the rotation, θ, and whose direction is parallel to the axis of rotation, in the sense determined by a right-hand circulation rule. Unfortunately, this is not a good vector. The problem is that the addition of rotations is not commutative, whereas vector addition is commuative. Figure A.11 shows the effect of applying two successive 90 rotations, one about Ox, and the other about the Oz, to a standard six-sided die. In the left-hand case, the z-rotation is applied before the x-rotation, and vice versa in the right-hand case. It can be seen that the die ends up in two completely different states. In other words, the z-rotation plus the x-rotation does not equal the x-rotation plus the z-rotation. This non-commuting algebra cannot be represented by vectors. So, althoughrotations havea well-defined magnitudeand direction, they are not vector quantities. But, this is not quite the end of the story. Suppose that we take a general vector a and rotate it about Oz by a small angle δθ z. This is equivalent to rotating the coordinate axes about the Oz by δθ z. According to Equations (A.20) (A.22), we have a a + δθ z e z a, (A.48) where use has been made of the small angle approximations sin θ θ and cos θ 1. The above equation can easily be generalized to allow small rotations about Ox and Oy by δθ x and δθ y, respectively. We find that a a + δθ a, (A.49) where δθ = δθ x e x + δθ y e y + δθ z e z. (A.50) Clearly, we can define a rotation vector, δθ, but it only works for small angle rotations (i.e.,sufficiently small that the small angle approximations of sine and cosine are good). According to the above equation, a small z-rotation plus a S b a b θ a Figure A.9: A vector parallelogram.

10 232 FLUID MECHANICS F τ θ r O r sin θ Q Figure A.10: A torque. z z-axis x-axis y x x-axis z-axis Figure A.11: Effect of successive rotations about perpendicular axes on a six-sided die.

11 Vectors and Vector Fields 233 a c Figure A.12: A vector parallelepiped. b small x-rotation is (approximately) equal to the two rotations applied in the opposite order. The fact that infinitesimal rotation is a vector implies that angular velocity, δθ ω = lim δt 0 δt, (A.51) must be a vector as well. Also, if a is interpreted as a(t + δt) in Equation (A.49) then it follows that the equation of motion of a vector which precesses about the origin with some angular velocity ω is da dt = ω a. (A.52) A.10 Scalar Triple roduct Consider three vectors a, b, andc. Thescalar triple product is defined a b c. Now,b c is the vector area of the parallelogram defined by b and c. So,a b c is the scalar area of this parallelogram multiplied by the component of a in the direction of its normal. It follows that a b c is the volume of the parallelepiped defined by vectors a, b,and c. See Figure A.12. This volume is independent of how the triple product is formed from a, b, andc, except that a b c = a c b. (A.53) So, the volume is positive if a, b,andcform a right-handed set (i.e.,ifa lies above the plane of b and c, in the sense determined from a right-hand circulation rule by rotating b onto c) and negative if they form a left-handed set. The triple product is unchanged if the dot and cross product operators are interchanged, a b c = a b c. (A.54) The triple product is also invariant under any cyclic permutation of a, b, andc, a b c = b c a = c a b, (A.55) but any anti-cyclic permutation causes it to change sign, a b c = b a c. (A.56) The scalar triple product is zero if any two of a, b,andc are parallel, or if a, b,andc are coplanar. If a, b,andc are non-coplanar then any vector r can be written in terms of them: i.e., r = α a + β b + γ c. (A.57) Forming the dot product of this equation with b c, we then obtain r b c = α a b c, (A.58) so α = r b c a b c. (A.59) Analogous expressions can be written for β and γ. The parameters α, β, andγ are uniquely determined provided a b c 0: i.e., provided that the three vectors are non-coplanar.

12 234 FLUID MECHANICS A.11 Vector Triple roduct For three vectors a, b, andc, thevector triple product is defined a (b c). The brackets are important because a (b c) (a b) c. In fact, it can be demonstrated that a (b c) (a c) b (a b) c (A.60) and (a b) c (a c) b (b c) a. (A.61) Let us try to prove the first of the above theorems. The left-hand side and the right-hand side are both proper vectors, so if we can prove this result in one particular coordinate system then it must be true in general. Let us take convenient axes such that Ox lies along b, andc lies in the x-y plane. It follows that b (b x, 0, 0), c (c x, c y, 0), and a (a x, a y, a z ). The vector b c is directed along Oz: i.e., b c (0, 0, b x c y ). Hence, a (b c) lies in the x-y plane: i.e., a (b c) (a y b x c y, a x b x c y, 0). This is the left-hand side of Equation (A.60) in our convenient coordinate system. To evaluate the right-hand side, we need a c = a x c x + a y c y and a b = a x b x. It follows that the right-hand side is which proves the theorem. RHS = ([a x c x + a y c y ] b x, 0, 0) (a x b x c x, a x b x c y, 0) = (a y c y b x, a x b x c y, 0) = LHS, (A.62) A.12 Vector Calculus Suppose that vector a varies with time, so that a = a(t). The time derivative of the vector is defined da dt = lim δt 0 [ a(t + δt) a(t) δt ]. (A.63) When written out in component form this becomes ( da dt dax dt, da y dt, da ) z. (A.64) dt Suppose that a is, in fact, the product of a scalar φ(t) and another vector b(t). What now is the time derivative of a? Wehave which implies that Moreover, it is easily demonstrated that da x dt = d dt (φ b x) = dφ dt b x + φ db x dt, da dt = dφ dt b + φ db dt. d da (a b) = dt dt b + a db dt, and d da (a b) = dt dt b + a db dt. Hence, it can be seen that the laws of vector differentiation are analogous to those in conventional calculus. (A.65) (A.66) (A.67) (A.68)

13 Vectors and Vector Fields 235 y Q f l O x Q l. Figure A.13: A line integral. A.13 Line Integrals Consider a two-dimensional function f (x,y) which is defined for all x and y. What is meant by the integral of f along a given curve joining the points and Q in the x-y plane? Well, we first draw out f as a function of length l along the path. See Figure A.13. The integral is then simply given by Q f (x,y) dl = Area under the curve, (A.69) where dl = dx 2 + dy 2. As an example of this, consider the integral of f (x,y) = x y 2 between and Q along the two routes indicated in Figure A.14. Along route 1 we have x = y,sodl = 2 dx. Thus, Q 1 x y 2 dl = x dx = 0 4. (A.70) The integration along route 2 gives Q 1 x y 2 dl = x y 2 1 dx + x y 2 dy y=0 0 = y 2 dy = x=1 (A.71) Note that the integral depends on the route taken between the initial and final points. The most common type of line integral is that in which the contributions from dx and dy are evaluated separately, rather that through the path-length element dl: i.e., Q [ f (x,y) dx + g(x,y) dy ]. (A.72) As an example of this, consider the integral Q [ y dx + x 3 dy ] (A.73) along the two routes indicated in Figure A.15. Along route 1 we have x = y + 1anddx = dy,so Q [ y dx + x 3 dy ] 1 [ = y dy + (y + 1) 3 dy ] = (A.74) 0

14 236 FLUID MECHANICS y Q =(1, 1) 1 2 =(0, 0) 2 x Figure A.14: An example line integral. y 2 Q =(2, 1) 2 1 O =(1, 0) x Figure A.15: An example line integral. Along route 2, Q [ y dx + x 3 dy ] 1 = x 3 2 dy + y dx 0 = 7 x=1 1 y=1 4. Again, the integral depends on the path of integration. Suppose that we have a line integral which does not depend on the path of integration. It follows that (A.75) Q for some function F. GivenF() for one point in the x-y plane, then ( fdx+ g dy) = F(Q) F() (A.76) F(Q) = F() + Q ( fdx+ g dy) (A.77) defines F(Q) for all other points in the plane. We can then draw a contour map of F(x,y). The line integral between points and Q is simply the change in height in the contour map between these two points: Q ( fdx+ g dy) = Q df(x,y) = F(Q) F(). Thus, df(x,y) = f (x,y) dx + g(x,y) dy. For instance, if F = x 3 y then df = 3 x 2 y dx + x 3 dy and Q ( 3 x 2 y dx + x 3 dy ) = [ x 3 y ] Q (A.78) (A.79) (A.80)

15 Vectors and Vector Fields 237 y 2 2 O a Q 1 x Figure A.16: An example vector line integral. is independent of the path of integration. It is clear that there are two distinct types of line integral those which depend only on their endpoints and not on the path of integration, and those which depend both on their endpoints and the integration path. Later on, we shall learn how to distinguish between these two types (see Section A.18). A.14 Vector Line Integrals A vector field is defined as a set of vectors associated with each point in space. For instance, the velocity v(r) ina moving liquid (e.g., a whirlpool) constitutes a vector field. By analogy, a scalar field is a set of scalars associated with each point in space. An example of a scalar field is the temperature distribution T(r) in a furnace. Consider a general vector field A(r). Let dr (dx, dy, dz) be the vector element of line length. Vector line integrals often arise as Q Q A dr = (A x dx + A y dy + A z dz). (A.81) For instance, if A is a force-field then the line integral is the work done in going from to Q. As an example, consider the work done by a repulsive inverse-square central field,f = r/ r 3. The element of work done is dw = F dr. Take = (, 0, 0) and Q = (a, 0, 0). The first route considered is along the x-axis, so a W = ( 1x ) [ ] a 1 dx = = 1 2 x a. (A.82) The second route is, firstly, around a large circle (r = constant) to the point (a,, 0), and then parallel to the y-axis. See Figure A.16. In the first part, no work is done, since F is perpendicular to dr. In the second part, 0 [ ] 0 y dy W = (a 2 + y 2 ) = 1 = 1 3/2 (y 2 + a 2 ) 1/2 a. (A.83) In this case, the integral is independent of the path. However, not all vector line integrals are path independent. A.15 Surface Integrals Let us take a surface S, that is not necessarily co-planar, and divide it up into (scalar) elements δs i.then f (x,y,z) ds = lim f (x,y,z) δs i S δs i 0 i (A.84)

16 238 FLUID MECHANICS y y 2 dy y 1 x 1 x 2 x Figure A.17: Decomposition of a surface integral. is a surface integral. For instance, the volume of water in a lake of depth D(x,y)is V = D(x,y) ds. (A.85) To evaluate this integral we must split the calculation into two ordinary integrals. The volume in the strip shown in Figure A.17 is [ x2 ] D(x,y) dx dy. (A.86) Note that the limits x 1 and x 2 depend on y. The total volume is the sum over all strips: i.e., y2 [ x2 (y) ] V = dy D(x,y) dx D(x,y) dxdy. y 1 Of course, the integral can be evaluated by taking the strips the other way around: i.e., x 1 (y) x 1 S (A.87) V = x2 x 1 dx y2 (x) y 1 (x) D(x,y) dy. (A.88) Interchanging the order of integration is a very powerful and useful trick. But great care must be taken when evaluating the limits. As an example, consider x y 2 dxdy, (A.89) where S is shown in Figure A.18. Suppose that we evaluate the x integral first: Let us now evaluate the y integral: ( 1 y ) [ x dy x y 2 dx = y 2 2 dy ( y 2 S 2 y3 + y4 2 ] 1 y 0 = y2 2 (1 y)2 dy. (A.90) ) dy = We can also evaluate the integral by interchanging the order of integration: 1 0 xdx 1 x 0 y 2 dy = 1 0 (A.91) x 3 (1 x)3 dx = (A.92)

17 Vectors and Vector Fields 239 y (0, 1) 1 y = x (0, 0) (1, 0) x Figure A.18: An example surface integral. In some cases, a surface integral is just the product of two separate integrals. For instance, x 2 y dxdy S (A.93) where S is a unit square. This integral can be written 1 1 ( 1 )( 1 ) dx x 2 y dy = x 2 dx y dy = = 1 6, (A.94) since the limits are both independent of the other variable. A.16 Vector Surface Integrals Surface integrals often occur during vector analysis. For instance, the rate of flow of a liquid of velocity v through an infinitesimal surface of vector area ds is v ds. The net rate of flow through a surface S made up of lots of infinitesimal surfaces is [ v ds = lim v cos θ ds ], S ds 0 (A.95) where θ is the angle subtended between the normal to the surface and the flow velocity. Analogously to line integrals, most surface integrals depend both on the surface and the rim. But some (very important) integrals depend only on the rim, and not on the nature of the surface which spans it. As an example of this, consider incompressible fluid flow between two surfaces S 1 and S 2 which end on the same rim. See Figure A.23. The volume between the surfaces is constant, so what goes in must come out, and v ds = S 1 v ds. S 2 (A.96) It follows that v ds (A.97) depends only on the rim, and not on the form of surfaces S 1 and S 2. A.17 Volume Integrals A volume integral takes the form V f (x,y,z) dv, (A.98)

18 240 FLUID MECHANICS where V is some volume, and dv = dxdy dz is a small volume element. The volume element is sometimes written d 3 r,orevendτ. As an example of a volume integral, let us evaluate the center of gravity of a solid pyramid. Suppose that the pyramid has a square base of side a, a height a, and is composed of material of uniform density. Let the centroid of the base lie at the origin, and let the apex lie at (0, 0, a). By symmetry, the center of mass lies on the line joining the centroid to the apex. In fact, the height of the center of mass is given by / z = zdv dv. (A.99) The bottom integral is just the volume of the pyramid, and can be written a (a z)/2 (a z)/2 a dv = dz dy dx = (a z) 2 dz = 0 (a z)/2 (a z)/2 0 a 0 (a 2 2 az+ z 2 ) dz = [ a 2 z az 2 + z 3 /3 ] a = a3. (A.100) Here, we have evaluated the z-integral last because the limits of the x-andy-integralsarez-dependent. The top integral takes the form a (a z)/2 (a z)/2 a a zdv = zdz dy dx = z (a z) 2 dz = (za 2 2 az 2 + z 3 ) dz 0 (a z)/2 (a z)/2 = [ a 2 z 2 /2 2 az 3 /3 + z 4 /4 ] a = a4. (A.101) Thus, z = 1 / 1 12 a4 3 a3 = 1 a. (A.102) 4 In other words, the center of mass of a pyramid lies one quarter of the way between the centroid of the base and the apex. A.18 Gradient A one-dimensional function f (x) has a gradient df/dx which is defined as the slope of the tangent to the curve at x. We wish to extend this idea to cover scalar fields in two and three dimensions. Consider a two-dimensional scalar field h(x, y), which is (say) height above sea-level in a hilly region. Let dr (dx, dy) be an element of horizontal distance. Consider dh/dr, wheredh is the change in height after moving an infinitesimal distance dr. This quantity is somewhat like the one-dimensional gradient, except that dh depends on the direction of dr, as well as its magnitude. In the immediate vicinity of some point, the slope reduces to an inclined plane. See Figure A.19. The largest value of dh/dr is straight up the slope. It is easily shown that for any other direction dh dr = ( dh dr ) max 0 cos θ, 0 (A.103) where θ is the angle shown in Figure A.19. Let us define a two-dimensional vector, grad h, called the gradient of h, whose magnitude is (dh/dr) max, and whose direction is the direction of steepest ascent. The cos θ variation exhibited in the above expression ensures that the component of grad h in any direction is equal to dh/dr for that direction. The component of dh/dr in the x-direction can be obtained by plotting out the profile of h at constant y, andthen finding the slope of the tangent to the curve at given x. This quantity is known as the partial derivative of h with respect to x at constant y, and is denoted ( h/ x) y. Likewise, the gradient of the profile at constant x is written ( h/ y) x.note that the subscripts denoting constant x and constant y are usually omitted, unless there is any ambiguity. It follows that in component form ( h grad h x, h ). (A.104) y

19 Vectors and Vector Fields 241 y contours of h(x, y) dr θ high direction of steepest ascent O low x Figure A.19: A two-dimensional gradient. Now, the equation of the tangent plane at = (x 0,y 0 )is h T (x, y) = h(x 0,y 0 ) + α (x x 0 ) + β (y y 0 ). (A.105) This has the same local gradients as h(x, y), so α = h x, β = h y, (A.106) by differentiation of the above. For small dx = x x 0 and dy = y y 0, the function h is coincident with the tangent plane, so dh = h h dx + x y dy. (A.107) But, grad h ( h/ x, h/ y)anddr (dx, dy), so dh = grad h dr. (A.108) Incidentally, the above equation demonstrates that grad h is a proper vector, since the left-hand side is a scalar, and, according to the properties of the dot product, the right-hand side is also a scalar provided that dr and grad h are both proper vectors (dr is an obvious vector, because it is directly derived from displacements). Consider, now, a three-dimensional temperature distribution T(x, y,z) in (say) a reaction vessel. Let us define grad T, as before, as a vector whose magnitude is (dt/dr) max, and whose direction is the direction of the maximum gradient. This vector is written in component form ( T grad T x, T y, T ). (A.109) z Here, T/ x ( T/ x) y,z is the gradient of the one-dimensional temperature profile at constant y and z. The change in T in going from point to a neighbouring point offset by dr (dx, dy, dz)is dt = T T T dx + dy + x y z dz. (A.110) In vector form, this becomes dt = grad T dr. (A.111) Suppose that dt = 0forsomedr. It follows that dt = grad T dr = 0. (A.112)

20 242 FLUID MECHANICS T = constant dr grad T isotherms Figure A.20: Isotherms. So, dr is perpendicular to grad T. SincedT = 0 along so-called isotherms (i.e., contours of the temperature), we conclude that the isotherms (contours) are everywhere perpendicular to grad T. See Figure A.20. It is, of course, possible to integrate dt. For instance, the line integral of dt between points and Q is written Q dt = Q grad T dr = T(Q) T(). (A.113) This integral is clearly independent of the path taken between and Q, so Q grad T dr must be path independent. Consider a vector field A(r). In general, the line integral Q A dr depends on the path taken between the end points. However, for some special vector fields the integral is path independent. Such fields are called conservative fields. It can be shown that if A is a conservative field then A = grad V for some scalar field V. The proof of this is straightforward. Keeping fixed, we have Q A dr = V(Q), (A.114) where V(Q) is a well-defined function, due to the path independent nature of the line integral. Consider moving the position of the end point by an infinitesimal amount dx in the x-direction. We have V(Q + dx) = V(Q) + Q+dx Hence, V x = A x, with analogous relations for the other components of A. It follows that A = grad V. Q A dr = V(Q) + A x dx. (A.115) (A.116) (A.117) The force field due to gravity is a good example of a conservative field. Now, if A(r) is a force-field then A dr is the work done in traversing some path. If A is conservative then A dr = 0, (A.118) where corresponds to the line integral around a closed loop. The fact that zero net work is done in going around a closed loop is equivalent to the conservation of energy (which is why conservative fields are called conservative ). A good example of a non-conservative field is the force field due to friction. Clearly, a frictional system loses energy in going around a closed cycle, so A dr 0.

21 Vectors and Vector Fields 243 A.19 Grad Operator It is useful to define the vector operator ( ) x, y,, (A.119) z which is usually called the grad or del operator. This operator acts on everything to its right in a expression, until the end of the expression or a closing bracket is reached. For instance, ( f grad f = f x, f y, f ). (A.120) z For two scalar fields φ and ψ, can be written more succinctly as grad (φψ) = φ grad ψ + ψ grad φ (φψ) = φ ψ + ψ φ. (A.121) (A.122) Suppose that we rotate the coordinate axes through an angle θ about Oz. By analogy with Equations (A.17) (A.19), the old coordinates (x, y, z) are related to the new ones (x, y, z )via Now, giving and ( ) x x = x y,z x = x cos θ y sin θ, (A.123) y = x sin θ + y cos θ, (A.124) z = z. (A.125) ( ) y x + x y,z x = cos θ x + sin θ y, ( ) z y + x y,z z, (A.126) (A.127) x = cos θ x + sin θ y. (A.128) It can be seen, from Equations (A.20) (A.22), that the differential operator transforms in an analogous manner to a vector. This is another proof that f is a good vector. A.20 Divergence Let us start with a vector field A(r). Consider A ds over some closed surface S,wheredSdenotes an outward S pointing surface element. This surface integral is usually called the flux of A out of S.IfArepresents the velocity of some fluid then A ds is the rate of fluid flow out of S. S If A is constant in space then it is easily demonstrated that the net flux out of S is zero, A ds = A ds = A S = 0, (A.129) since the vector area S of a closed surface is zero. Suppose, now, that A is not uniform in space. Consider a very small rectangular volume over which A hardly varies. The contribution to A ds from the two faces normal to the x-axis is A x (x + dx) dy dz A x (x) dy dz = A x x dxdy dz = A x x dv, (A.130)

22 244 FLUID MECHANICS y + dy z + dz y z y z x x + dx x Figure A.21: Flux of a vector field out of a small box. where dv = dxdy dz is the volume element. See Figure A.21. There are analogous contributions from the sides normal to the y-andz-axes, so the total of all the contributions is ( Ax A ds = x + A y y + A ) z dv. (A.131) z The divergence of a vector field is defined div A = A = A x x + A y y + A z z. (A.132) Divergence is a good scalar (i.e., it is coordinate independent), since it is the dot product of the vector operator with A. The formal definition of A is A ds A = lim. (A.133) dv 0 dv This definition is independent of the shape of the infinitesimal volume element. One of the most important results in vector field theory is the so-called divergence theorem or Gauss theorem. This states that for any volume V surrounded by a closed surface S, A ds = A dv, (A.134) S where ds is an outward pointing volume element. The proof is very straightforward. We divide up the volume into lots of very small cubes, and sum A ds over all of the surfaces. The contributions from the interior surfaces cancel out, leaving just the contribution from the outer surface. See Figure A.22. We can use Equation (A.131) for each cube individually. This tells us that the summation is equivalent to A dv over the whole volume. Thus, the integral of A ds over the outer surface is equal to the integral of A over the whole volume, which proves the divergence theorem. Now, for a vector field with A = 0, A ds = 0 (A.135) for any closed surface S. So, for two surfaces, S 1 and S 2, on the same rim, A ds = A ds. S 1 S 2 S V (A.136) See Figure A.23. (Note that the direction of the surface elements on S 1 has been reversed relative to those on the closed surface. Hence, the sign of the associated surface integral is also reversed.) Thus, if A = 0 then the surface

23 . Vectors and Vector Fields 245 S interior contributions cancel exterior contributions survive Figure A.22: The divergence theorem. S S 2 S 1 rim Figure A.23: Two surfaces spanning the same rim (right), and the equivalent closed surface (left).

24 246 FLUID MECHANICS 1 2 Figure A.24: Divergent lines of force. integral depends on the rim but not on the nature of the surface which spans it. On the other hand, if A 0then the integral depends on both the rim and the surface. Consider an incompressible fluid whose velocity field is v. It is clear that v ds = 0 for any closed surface, since what flows into the surface must flow out again. Thus, according to the divergence theorem, v dv = 0forany volume. The only way in which this is possible is if v is everywhere zero. Thus, the velocity components of an incompressible fluid satisfy the following differential relation: v x x + v y y + v z z = 0. (A.137) It is sometimes helpful to represent a vector field A by lines of force or field-lines. The direction of a line of force at any point is the same as the local direction of A. The density of lines (i.e., the number of lines crossing a unit surface perpendicular to A) is equal to A. For instance, in Figure A.24, A is larger at point 1 than at point 2. The number of lines crossing a surface element ds is A ds. So, the net number of lines leaving a closed surface is A ds = A dv. (A.138) S If A = 0 then there is no net flux of lines out of any surface. Such a field is called a solenoidal vector field. The simplest example of a solenoidal vector field is one in which the lines of force all form closed loops. A.21 Laplacian Operator So far we have encountered φ = which is a vector field formed from a scalar field, and V ( φ x, φ y, φ ), (A.139) z A = A x x + A y y + A z z, (A.140) which is a scalar field formed from a vector field. There are two ways in which we can combine gradient and divergence. We can either form the vector field ( A) or the scalar field ( φ). The former is not particularly interesting, but the scalar field ( φ) turns up in a great many physical problems, and is, therefore, worthy of discussion. Let us introduce the heat flow vector h, which is the rate of flow of heat energy per unit area across a surface perpendicular to the direction of h. In many substances, heat flows directly down the temperature gradient, so that we can write h = κ T, (A.141) where κ is the thermal conductivity. The net rate of heat flow h ds out of some closed surface S must be equal to S the rate of decrease of heat energy in the volume V enclosed by S. Thus, we have h ds = ( ctdv t S ), (A.142)

25 Vectors and Vector Fields 247 where c is the specificheat. It follows from the divergence theorem that h = c T t. (A.143) Taking the divergence of both sides of Equation (A.141), and making use of Equation (A.143), we obtain (κ T) = c T t. (A.144) If κ is constant then the above equation can be written ( T) = c T κ t. (A.145) The scalar field ( T) takes the form ( T) = ( ) T + ( ) T + ( ) T x x y y z z = 2 T x + 2 T 2 y + 2 T 2 z 2 2 T. (A.146) Here, the scalar differential operator 2 2 x y z 2 (A.147) is called the Laplacian. The Laplacian is a good scalar operator (i.e., it is coordinate independent) because it is formed from a combination of divergence (another good scalar operator) and gradient (a good vector operator). What is the physical significance of the Laplacian? In one dimension, 2 T reduces to 2 T/ x 2. Now, 2 T/ x 2 is positive if T(x) is concave (from above) and negative if it is convex. So, if T is less than the average of T in its surroundings then 2 T is positive, and vice versa. In two dimensions, 2 T = 2 T x + 2 T 2 y. 2 (A.148) Consider a local minimum of the temperature. At the minimum, the slope of T increases in all directions, so 2 T is positive. Likewise, 2 T is negative at a local maximum. Consider, now, a steep-sided valley in T. Suppose that the bottom of the valley runs parallel to the x-axis. At the bottom of the valley 2 T/ y 2 is large and positive, whereas 2 T/ x 2 is small and may even be negative. Thus, 2 T is positive, and this is associated with T being less than the average local value. Let us now return to the heat conduction problem: 2 T = c T κ t. (A.149) It is clear that if 2 T is positive then T is locally less than the average value, so T/ t > 0: i.e., the region heats up. Likewise, if 2 T is negative then T is locally greater than the average value, and heat flows out of the region: i.e., T/ t < 0. Thus, the above heat conduction equation makes physical sense. A.22 Curl Consider a vector field A(r), and a loop which lies in one plane. The integral of A around this loop is written A dr, where dr is a line element of the loop. If A is a conservative field then A = φ and A dr = 0 for all loops. In general, for a non-conservative field, A dr 0. For a small loop we expect A dr to be proportional to the area of the loop. Moreover, for a fixed-area loop we expect A dr to depend on the orientation of the loop. One particular orientation will give the maximum value:

26 248 FLUID MECHANICS z z + dz z y 2 y + dy Figure A.25: A vector line integral around a small rectangular loop in the y-z plane. y A dr = Imax. If the loop subtends an angle θ with this optimum orientation then we expect I = I max cos θ. Letus introduce the vector field curl A whose magnitude is A dr curl A = lim (A.150) ds 0 ds for the orientation giving I max. Here, ds is the area of the loop. The direction of curl A is perpendicular to the plane of the loop, when it is in the orientation giving I max, with the sense given by a right-hand circulation rule. Let us now express curl A in terms of the components of A. First, we shall evaluate A dr around a small rectangle in the y-z plane. See Figure A.25. The contribution from sides 1 and 3 is A z (y + dy) dz A z (y) dz = A z y dy dz. (A.151) The contribution from sides 2 and 4 is A y (z + dz) dy + A y (z) dy = A y y dy dz. (A.152) So, the total of all contributions gives ( Az A dr = y A ) y ds, (A.153) z where ds = dy dz is the area of the loop. Consider a non-rectangular (but still small) loop in the y-z plane. We can divide it into rectangular elements, and form A dr over all the resultant loops. The interior contributions cancel, so we are just left with the contribution from the outer loop. Also, the area of the outer loop is the sum of all the areas of the inner loops. We conclude that ( Az A dr = y A ) y ds x (A.154) z is valid for a small loop ds = (ds x, 0, 0) of any shape in the y-z plane. Likewise, we can show that if the loop is in the x-z plane then ds = (0, ds y, 0) and ( Ax A dr = z A ) z ds y. (A.155) x Finally, if the loop is in the x-y plane then ds = (0, 0, ds z )and ( Ay A dr = x A ) x ds z. (A.156) y

27 Vectors and Vector Fields 249 z 2 1 ds 3 x y Figure A.26: Decomposition of a vector area into its Cartesian components. Imagine an arbitrary loop of vector area ds = (ds x, ds y, ds z ). We can construct this out of three vector areas, 1,

28 250 FLUID MECHANICS Another important result of vector field theory is the curl theorem or Stokes theorem: A dr = A ds, C S (A.163) for some (non-planar) surface S bounded by a rim C. This theorem can easily be proved by splitting the loop up into many small rectangular loops, and forming the integral around all of the resultant loops. All of the contributions from the interior loops cancel, leaving just the contribution from the outer rim. Making use of Equation (A.158) for each of the small loops, we can see that the contribution from all of the loops is also equal to the integral of A ds across the whole surface. This proves the theorem. One immediate consequence of Stokes theorem is that A is incompressible. Consider any two surfaces, S 1 and S 2, which share the same rim. See Figure A.23. It is clear from Stokes theorem that A ds is the same for both surfaces. Thus, it follows that A ds = 0 for any closed surface. However, we have from the divergence theorem that A ds = ( A) dv = 0 for any volume. Hence, ( A) 0. (A.164) So, A is a solenoidal field. We have seen that for a conservative field A dr = 0 for any loop. This is entirely equivalent to A = φ. However, the magnitude of A is lim ds 0 A dr/ds for some particular loop. It is clear then that A = 0 for a conservative field. In other words, ( φ) 0. (A.165) Thus, a conservative field is also an irrotational one. A.23 Useful Vector Identities Notation: a, b, c, d are general vectors; φ, ψ are general scalar fields; A, B are general vector fields; (A )B (A B x, A B y, A B z )and 2 A = ( 2 A x, 2 A y, 2 A z ) (but, only in Cartesian coordinates see Appendix C). a (b c) = (a c) b (a b) c, (A.166) (a b) c = (c a) b (c b) a, (A.167) (a b) (c d) = (a c)(b d) (a d)(b c), (A.168) (a b) (c d) = (a b d) c (a b c) d, (A.169) (φψ) = φ ψ + ψ φ, (A.170) (A B) = A ( B) + B ( A) + (A )B + (B )A, (A.171) φ = 2 φ, (A.172) A = 0, (A.173) (φa) = φ A + A φ, (A.174) (A B) = B A A B, (A.175) φ = 0, (A.176) ( A) = ( A) 2 A, (A.177) (φa) = φ A + φ A, (A.178) (A B) = ( B) A ( A) B + (B )A (A )B. (A.179) A.24 Exercises A.1. The position vectors of the four points A, B, C,andD are a, b,3a + 2 b,anda 3 b, respectively. Express AC, DB, BC,and CD in terms of a and b.