KIX1002: ENGINEERING MATHEMATICS 2 WEEK 1: VECTOR ANALYSIS WEEK 2: ENGINEERING APPLICATIONS OF VECTOR ANALYSIS WEEK 3: LINE INTEGRAL WEEK 4: SURFACE INTEGRAL WEEK 5: VOLUME INTEGRAL WEEK 6: GAUSS’S DIVERGENCE THEOREM WEEK 7: STOKE’S THEOREM 2018/2019 1 CONTENTS WEEK 1: VECTOR ANALYSIS .......................................................................................................... 4 1.1 INTRODUCTION .......................................................................................................................... 4 1.2 BASIC CONCEPTS ....................................................................................................................... 4 1.2.1 COMPONENTS OF A VECTOR ............................................................................................. 6 1.2.2 VECTOR ADDITION, SCALAR MULTIPLICATION ................................................................. 7 1.2.3 UNIT VECTOR..................................................................................................................... 10 1.3 DOT PRODUCT AND CROSS PRODUCT ................................................................................... 12 1.3.1 DOT PRODUCT ................................................................................................................... 12 1.3.2 CROSS PRODUCT................................................................................................................ 17 1.4 GRaDIENT, DIVERGENCE, CURL OF VECTOR Field .................................................................. 21 1.4.1 GRADIENT OF VECTOR FIELD............................................................................................ 21 1.4.2 DIRECTIONAL DERIVATIVES ............................................................................................. 22 1.4.3 DIVERGENCE OF VECTOR FIELD ....................................................................................... 25 1.4.4 CURL OF VECTOR FIELD .................................................................................................... 27 WEEK 2: ENGINEERING APPLICATIONS OF VECTOR ANALYSIS .............................................. 29 2.1 APPLICATION OF VECTOR ....................................................................................................... 29 2.2 DOT PRODUCT (WORK DONE) .................................................................................................33 2.3 TORQUE (CROSS PRODUCT) ................................................................................................... 35 2.4 TRIPLE SCALAR OR BOX PRODUCT......................................................................................... 36 2.5 INTERPRETATION OF THE DIRECTIONAL DERIVATIVES & GRADIENT ................................... 38 2.6 GRADIENTS,TANGENTS AND NORMAL TO LEVEL CURVES................................................... 41 2.7 APPLICATION OF DIVERGENCE AND CURL ............................................................................. 45 WEEK 3: LINE INTEGRALS ............................................................................................................ 50 3.1 INTRODUCTION........................................................................................................................ 50 3.2 BASIC CONCEPTS ..................................................................................................................... 52 3.3 LINE INTEGRAL: WORK DONE BY FORCE ................................................................................ 56 3.4 GREEN’S THEOREM IN THE PLANE.......................................................................................... 59 WEEK 4: SURFACE INTEGRALS .................................................................................................... 62 4.1 SURFACES FOR SURFACE INTEGRALS .................................................................................... 62 4.2 SURFACE INTEGRALS .............................................................................................................. 64 4.2.1 SURFACE INTEGRALS OF VECTOR FIELD ......................................................................... 65 2 4.2.2 SURFACE INTEGRAL OF SCALAR FIELD............................................................................ 69 4.3 ORIENTATION OF SURFACE .................................................................................................... 74 4.3.3 SURFACE INTEGRALS WITHOUT REGARD TO ORIENTATION.......................................... 76 WEEK 5: VOLUME INTEGRAL ................................................................................................. 80 5.1 INTRODUCTION ................................................................................................................... 80 5.2 DEFINITION ........................................................................................................................... 80 5.3 CYLINDRICAL AND SPHERICAL COORDINATE .............................................................. 81 5.4 APPLICATION OF VOLUME INTEGRAL ........................................................................... 83 5.4.1 VOLUME ............................................................................................................................ 83 5.4.2 MASS ................................................................................................................................. 84 5.4.3 CENTRE OF MASS .............................................................................................................. 85 5.4.5 MOMENT OF INERTIA........................................................................................................ 86 5.5 ADDITIONAL EXAMPLES .................................................................................................... 88 WEEK 6: GAUSS’ DIVERGENCE THEOREM ......................................................................... 90 6.1 INTRODUCTION ................................................................................................................... 90 6.2 DIVERGENCE ........................................................................................................................ 90 6.3 DIVERGENCE THEOREM ..................................................................................................... 91 6.4 EXAMPLES ............................................................................................................................ 92 WEEK 7: STOKE’S THEOREM...................................................................................................... 100 7.1 INTRODUCTION ...................................................................................................................... 100 7.2 DIRECTION OF UNIT NORMAL VECTORS TO A SURFACEs ....................................................103 7.3 GREEN’S THEOREM ................................................................................................................. 107 3 VECTOR ANALYSIS WEEK 1: VECTOR ANALYSIS 1.1 INTRODUCTION Forces, velocities, and various other quantities may be thought of as vectors. Vectors appear frequently in the applications above and also in the biological and social sciences, so it is natural that problems are modelled in 3-space. This is the space of three dimensions with the usual measurement of distance, as given by the Pythagorean Theorem. Working in 3-space requires that we extend the common differential calculus to vector differential calculus, that is, the calculus that deals with vector functions and vector fields 1.2 BASIC CONCEPTS A scalar is a quantity that is determined by its magnitude. It takes on a numerical value, i.e., a number. Examples of scalars are time, temperature, length, distance, speed, density, energy, and voltage. A vector is a quantity that has both magnitude and direction. We can say that a vector is an arrow or a directed line segment. For example, a velocity vector has length or magnitude, which is speed, and direction, which indicates the direction of motion (Fig 1.1); a force vector points in the direction in which the force acts and its length is a measure of the force’s strength. A vector (arrow) has a tail, called its initial point, and a tip, called its terminal point. The length of the arrow equals the distance between initial point and terminal point (Fig 1.1). This is called the length (or magnitude) of the vector a and is denoted by |๐|. Another name for length is norm (or Euclidean norm). A vector of length 1 is called a unit vector. 4 Fig 1.1: The directed line segment ฬ ฬ ฬ ฬ ๐ด๐ต is called a vector. Fig 1.2: The velocity vector of a particle moving along a path (a) in the plane (b) in space. The arrowhead on the path indicates the direction of motion of the particle. Equality of Vectors - Two vectors a and b are equal, written, if they have the same length and the same direction as shown in Fig. 1.3. 5 Fig. 1.3 (A) Equal Vectors. (B) – (D) Different Vectors 1.2.1 COMPONENTS OF A VECTOR Let a be a given vector with initial point P: (x1, y1, z1) and terminal point Q: (x2, y2, z2). Then the three coordinate differences are called the components of the vector a with respect to that coordinate system, and we write simply a = [a1, a2, a3]. See Fig 1.4 (a). The length |๐| of a can now readily be expressed in terms of components and the Pythagorean Theorem we have A Cartesian coordinate system being given, the position vector r of a point A: (x, y, z) is the vector with the origin (0, 0, 0) as the initial point and A as the terminal point (See Fig 1.4 (b)). Fig 1.4(a) Components of a vector Fig 1.4(b) Position vector r of a point A: (x, y, z) 6 EXAMPLE 1.1 EXERCISES Let u= 3๐ − 2๐ and = −2๐ + 5๐ . Find the (a) component form and (b) magnitude (length) of the vector. 1.2.2 VECTOR ADDITION, SCALAR MULTIPLICATION Two principal operations involving vectors are vector addition and scalar multiplication. A scalar is simply a real number, and is called such when we want to draw attention to its differences from vectors. Scalars can be positive, negative, or zero and are used to “scale” a vector by multiplication 7 Geometrically, place the vectors as in Fig. 1.5 (the initial point of b at the terminal point of a); then a + b is the vector drawn from the initial point of a to the terminal point of b. Fig. 1.5 also shows (for the plane) that the “algebraic” way and the “geometric way” of vector addition give the same vector. Fig 1.5 Vector Additions Basic Properties of Vector Addition Properties (a) and (b) are verified geometrically in Fig. 1.6 and Fig 1.7, respectively. Furthermore, -a denotes the vector having the length |๐| and the direction opposite to that of a. Fig 1.6 Commutativity of vector addition addition Fig 1.7 Associativity of vector 8 Geometrically, if a ≠ 0 then ca with c > 0 has the direction of a and with c < 0 the direction opposite to a. In any case, the length of ca is |๐๐| = |๐| |๐|, and ca = 0 if a = 0 or c = 0 (or both). (See Fig 1.8) Fig 1.8 Scalar multiplication [multiplication of vectors by scalars (numbers)] Basic Properties of Scalar Multiplication. From the definitions we obtain directly EXAMPLE 1.2 9 EXERCISES 1.2.3 UNIT VECTOR A vector v of length 1 is called a unit vector. In this representation, i, j, k are the unit vectors in the positive directions of the axes of a Cartesian coordinate system. The standard unit vectors are ๐ = 〈1, 0, 0〉, ๐ = 〈0,1,0〉 ๐ = 〈0, 0, 1〉 Any vector can be written as a linear combination of the standard unit vectors as follows: ๐ฃ = 〈๐ฃ1 , ๐ฃ2 , ๐ฃ3 〉 = 〈๐ฃ1 , 0, 0〉 + 〈0, ๐ฃ2 , 0〉 + 〈0, 0, ๐ฃ3 〉 = ๐ฃ1 〈1, 0, 0〉 + ๐ฃ2 〈0, 1, 0〉 + ๐ฃ3 〈0, 0, 1〉 ๐ฃ = ๐ฃ1 ๐ + ๐ฃ2 ๐ + ๐ฃ3 ๐ From Figure 1.9, we call the scalar (or number) v1 the i-component of the vector v, v2 the jcomponent, and v3 the k-component. In component form, the vector from P1(x1, y1, z1) to P2(x2, y2, z2) is โโโโโโโโ ๐ 1 ๐2 = (๐ฅ2 − ๐ฅ1 )๐ + (๐ฆ2 − ๐ฆ1 )๐ + (๐ง2 − ๐ง1 )๐ Fig. 1.9 The vector from P1 to P2 is ฬ ฬ ฬ ฬ ฬ ฬ ๐1 ๐2 Whenever v ≠ 0, its length |๐ฃ| is not zero and 10 | 1 1 |๐ฃ| = 1 ๐ฃ| = |๐ฃ| |๐ฃ| That is, ๐ฃ⁄|๐ฃ| is a unit vector in the direction of v, called the direction of the nonzero vector v. EXAMPLE 1.3 EXAMPLE 1.4 ***PROVE that the length of unit vector is 1. 11 1.3 DOT PRODUCT AND CROSS PRODUCT 1.3.1 DOT PRODUCT The inner product is a kind of multiplication of two vectors, defined in such a way that the outcome is a scalar. It involves the length of vectors and the angle between them. Indeed, another term for inner product is scalar product, a term we shall not use here. The definition of the inner product is as follows. Fig 1.10 Angle between vectors and value of inner product EXAMPLE 1.5 Perpendicular (Orthogonal) Vectors (Fig 1.10) 12 EXAMPLE 1.6 Angle between Vectors 13 EXAMPLE 1.7 The vector projection of ๐ข = โโโโโ ๐๐ onto a nonzero vector ๐ฃ = โโโโ ๐๐ (Figure A) is the vector โโโโโ ๐๐ determined by dropping a perpendicular from Q to the line PS. The notation for this vector is If u represents a force, then ๐๐๐๐๐ฃ ๐ข represents the effective force in the direction of v (Figure B). FIGURE A The vector projection of u onto v. 14 FIGURE B If we pull on the box with force u, the effective force moving the box forward in the direction v is the projection of u onto v. If the angle ∅ between u and v is acute (less than 90o), ๐๐๐๐๐ฃ ๐ข has length |๐ข| cos ∅ and direction ๐ฃ/|๐ฃ|(๐ ๐ข๐ ๐ฎ๐ซ๐ ๐). If ∅ is obtuse (90 < ∅ < 180), and ๐๐๐๐๐ฃ ๐ข has length −|๐ข| cos ∅ and direction −๐ฃ/|๐ฃ|. In both cases, 15 EXAMPLE 1.8 EXERCISES Find the followings (a) ๐ฃ. ๐ข, |๐ฃ|, |๐ข| (b) The cosine of the angle between v and u (c) The scalar component of u in the direction of v (d) The vector ๐๐๐๐๐ฃ ๐ข 16 for 1) ๐ฃ = 10๐ + 11๐ − 2๐, ๐ข = 3๐ + 4๐, 2) ๐ฃ = 2๐ + 10๐ − 11๐, ๐ข = 2๐ + 2๐ + ๐ 3) ๐ฃ = −๐ + ๐, ๐ข = √2๐ + √3๐ + 2๐ 1.3.2 CROSS PRODUCT Unlike the dot product, the cross product is a vector. For this reason it’s also called the vector product of u and v, and applies only to vectors in space. The vector ๐ข × ๐ฃ is orthogonal to both u and v because it is a scalar multiple of n (Fig 1.11). Fig 1.11: The construction of ๐ข × ๐ฃ We start with two nonzero vectors u and v in space. If u and v are not parallel, they determine a plane. We select a unit vector n perpendicular to the plane by the right-hand rule. This means that we choose n to be the unit (normal) vector that points the way your right thumb points when your fingers curl through the angle from u to v (Fig ). Then the cross product ๐ข × ๐ฃ (“u cross v”) is the vector defined as follows. The cross product obeys the following laws. 17 To visualize Property 3, for example, notice that when the fingers of your right hand curl through the angle from v to u, your thumb points the opposite way; the unit vector we choose in forming is the negative of the one we choose in forming. (Fig 1.12) Fig 1.12 : The construction of ๐ฃ × ๐ข When we apply the definition to calculate the pairwise cross products of i, j, and k, we find |๐ผ × ๐ฝ| Is the Area of a Parallelogram Because n is a unit vector, the magnitude of u x v is This is the area of the parallelogram determined by u and v (Fig. 1.13), |๐ข|being the base of the parallelogram and |๐ฃ||๐ ๐๐๐| the height. 18 Fig 1.13 The parallelogram determined by u and v. EXERCISES 2) ๐น๐๐๐ ๐ข × ๐ฃ ๐๐๐ ๐ข = −8๐ − 2๐ − 4๐, ๐ฃ = 2๐ + 2๐ + ๐ 19 EXAMPLE 1.9 EXAMPLE 1.10 20 EXAMPLE 1.11 1.4 GRADIENT, DIVERGENCE, CURL OF VECTOR FIELD 1.4.1 GRADIENT OF VECTOR FIELD Using scalar fields instead of vector fields is of a considerable advantage because scalar fields are easier to use than vector fields. It is the “gradient” that allows us to obtain vector fields from scalar fields, and thus the gradient is of great practical importance to the engineer. Gradients are useful in several ways, notably in giving the rate of change of in any direction in space, in obtaining surface normal vectors, and in deriving vector fields from scalar fields. ๐๐๐๐ ๐ = ∇๐ = [ ๐๐ ๐๐ ๐๐ ๐๐ ๐๐ ๐๐ , , ๐+ ๐+ ๐ ]= ๐๐ฅ ๐๐ฆ ๐๐ง ๐๐ฅ ๐๐ฆ ๐๐ง The notation ∇๐ is suggested by the differential operator ∇ (read nabla) defined by EXAMPLE 1.12 If ๐(๐ฅ, ๐ฆ, ๐ง) = 2๐ฆ 3 + 4๐ฅ๐ง + 3๐ฅ , then ๐๐๐๐ ๐ = [4๐ง + 3, 6๐ฆ 2 , 4๐ฅ] 21 EXERCISES Find the gradient of the following function at the given point. (a) ๐(๐ฅ, ๐ฆ) = ln(๐ฅ 2 + ๐ฆ 2 ) at point (1, 1) (b) ๐(๐ฅ, ๐ฆ) = √2๐ฅ + 3๐ฆ at point (-1, 2) 1.4.2 DIRECTIONAL DERIVATIVES From gradient we know that the partial derivatives give the rates of change of f(x, y, z) in the directions of the three coordinate axes. It seems natural to extend this and ask for the rate of change of in an arbitrary direction in space. This leads to the concept of directional derivative. Fig. 1.14 Directional Derivative (Refer to above Equation) The above equation can be derived into 22 Where we can say the derivative of a differentiable function ƒ in the direction of b at P is the dot product of b with the special vector called the gradient of ƒ at P. The notation ∇๐ is read “grad ƒ” as well as “gradient of ƒ” and “del ƒ.” The symbol ∇ by itself is read “del.” Another notation for the gradient is grad ƒ. EXAMPLE 1.13 23 EXAMPLE 1.14 EXERCISES Find the derivative of the function at Po in the direction of u ๐ฅ−๐ฆ (a) ๐(๐ฅ, ๐ฆ) = ๐ฅ๐ฆ+2 , ๐๐ (1, −1), ๐ข = 12๐ + 5๐ (b) โ(๐ฅ, ๐ฆ, ๐ง) = cos ๐ฅ๐ฆ + ๐ ๐ฆ๐ง + ln(๐ง๐ฅ) , ๐๐ (1, 0, 1/2), ๐ข = 1๐ + 2๐ + 2๐ (c) โ(๐ฅ, ๐ฆ, ๐ง) = 3๐ ๐ฅ cos ๐ฆ๐ง , ๐๐ (0, 0, 0), ๐ข = 2๐ + ๐ − 2๐ 24 1.4.3 DIVERGENCE OF VECTOR FIELD From a scalar field we can obtain a vector field by the gradient. Conversely, from a vector field we can obtain a scalar field by the divergence or another vector field by the curl To begin, let ๐ฃ(๐ฅ, ๐ฆ, ๐ง) be a differentiable vector function, where x, y, z are Cartesian coordinates, and let ๐ฃ1 , ๐ฃ2 , ๐ฃ3 be the components of v. Then the function ๐๐๐ฃ ๐ฃ = ๐๐ฃ1 ๐๐ฃ2 ๐๐ฃ3 + + ๐๐ฅ ๐๐ฆ ๐๐ง is called the divergence of v or the divergence of the vector field defined by v. For example, if ๐ฃ = [3๐ฅ๐ง, 2๐ฅ๐ฆ, −๐ฆ๐ง 2 ] = 3๐ฅ๐ง๐ + 2๐ฅ๐ฆ๐ − ๐ฆ๐ง 2 ๐ Then ๐๐๐ฃ ๐ฃ = 3๐ง + 2๐ฅ + 2๐ฆ๐ง Another common notation for the divergence is div v = ∇ • ๐ฃ=[ ๐ = ( ๐+ ๐๐ฅ = ๐๐ฃ1 ๐๐ฅ + ๐ ๐๐ฅ ๐ ๐๐ฆ ๐๐ฃ2 ๐๐ฆ ๐๐ฆ , ๐๐ฅ ๐+ + ๐๐ฆ , ๐๐ฅ ๐ ๐๐ง ] • [๐ฃ1 , ๐ฃ2 , ๐ฃ3 ] ๐ ) • [๐ฃ1 ๐ + ๐ฃ2 ๐ + ๐ฃ3 ๐] ๐๐ฃ3 ๐๐ง ๐ with the understanding that the “product” ( ) ๐ฃ1 in the dot product means the partial derivative ๐๐ฅ ๐๐ฃ1 ๐๐ฅ , etc. This is a convenient notation, but nothing more. Note that ๐. ๐ means the scalar div v, whereas ๐๐ means the vector grad f 25 EXAMPLE 1.15 ๐ผ๐ ๐(๐ฅ, ๐ฆ, ๐ง) = ๐ฅ๐ง ๐ + ๐ฅ๐ฆ๐ง ๐ − ๐ฆ 2 ๐, ๐๐๐๐ ๐๐๐ฃ ๐ ๐๐๐ฃ ๐ = ∇ โ ๐ ๐ ๐ ๐ (๐ฅ๐ง) + (๐ฅ๐ฆ๐ง) + (−๐ฆ 2 ) = ๐๐ฅ ๐๐ฆ ๐๐ง = ๐ง + ๐ฅ๐ง *Div F is a scalar field. Let us turn to the more immediate practical task of gaining a feel for the significance of the divergence. Let f(x, y, z) be a twice differentiable scalar function. Then, its gradient exists and we can differentiate once more, the first component with respect to x, the second with respect to y, the third with respect to z, and then form the divergence, Hence we have the basic result that the divergence of the gradient is the Laplacian EXERCISES 1) Find divergence from the gradient, div (grad f) (a) ๐ = ๐ ๐ฅ๐ฆ๐ง (b) ๐ = ๐ง − √๐ฅ 2 + ๐ฆ 2 2) Find div v and its value at P (a) ๐ฃ = ๐ฅ 2 ๐ + 4๐ฆ 2 + 9๐ง 2 at P (-1, 0, ½) (b) ๐ฃ = cos ๐ฅ๐ฆ๐ง + sin ๐ฅ๐ฆ๐ง 26 1.4.4 CURL OF VECTOR FIELD Let ๐ฃ(๐ฅ, ๐ฆ, ๐ง) = [๐ฃ1 , ๐ฃ2 , ๐ฃ3 ] = ๐ฃ1 ๐ + ๐ฃ2 ๐ + ๐ฃ3 ๐ be a differentiable vector function of the Cartesian coordinates x, y, z. Then the curl of the vector function v or of the vector field given by v is defined by the “symbolic” determinant ๐ ๐ ๐ ๐ ๐ ๐ฟ ๐๐ฆ ๐ฟ๐ง curl v = ∇ × ๐ฃ = [ ๐๐ฅ ๐ฃ1 = ( ๐ฃ2 ] ๐ฃ3 ๐๐ฃ3 ๐๐ฃ2 ๐๐ฃ1 ๐๐ฃ3 ๐๐ฃ2 ๐๐ฃ1 − − − )๐ + ( )๐ + ( )๐ ๐๐ฆ ๐๐ง ๐๐ง ๐๐ฅ ๐๐ฅ ๐๐ฆ This is the formula when x, y, z are right-handed. If they are left-handed, the determinant has a minus sign in front. Instead of curl v one also uses the notation rot v or rotation of v. EXAMPLE 1.16 EXAMPLE 1.17 ๐ผ๐ ๐น(๐ฅ, ๐ฆ, ๐ง) = ๐ฅ๐ง ๐ + ๐ฅ๐ฆ๐ง ๐ − ๐ฆ 2 ๐, ๐๐๐๐ ๐๐ข๐๐ ๐น ๐ ๐ฟ ๐๐ข๐๐ ๐น = ∇ × ๐น = || ๐ฟ๐ฅ ๐ฅ๐ง ๐ ๐ฟ ๐ฟ๐ฆ ๐ฅ๐ฆ๐ง ๐ ๐ | ๐๐ง | −๐ฆ 2 27 ๐ ๐ ๐ ๐ = [ (−๐ฆ 2 ) − (๐ฅ๐ฆ๐ง)] ๐ − [ (−๐ฆ 2 ) − (๐ฅ๐ง)] ๐ ๐๐ฆ ๐๐ง ๐๐ฅ ๐๐ง ๐ ๐ + [ (๐ฅ๐ฆ๐ง) − (๐ฅ๐ง)] ๐ ๐๐ฅ ๐๐ฆ = (−2๐ฆ − ๐ฅ๐ฆ)๐ − (0 − ๐ฅ)๐ + (๐ฆ๐ง − 0)๐ = −๐ฆ(2 + ๐ฅ) ๐ + ๐ฅ ๐ + ๐ฆ๐ง ๐ *Curl F is a vector field. EXERCISES Compute the curl of the following vector field a) ๐(๐ฅ, ๐ฆ, ๐ง) =< ๐ ๐ฅ cos ๐ฆ , ๐ ๐ฅ sin ๐ฆ, 0 > b) ๐(๐ฅ, ๐ฆ, ๐ง) = 2๐ฅ๐ฆ ๐ ๐ง + ๐ฅ๐ ๐ฅ๐ฆ ๐ + cos(๐ฅ๐ฆ 2 )๐ c) ๐(๐ฅ, ๐ฆ, ๐ง) = (๐ฅ๐ฆ๐ง)๐ + (๐ฅ 2 + 2๐ฆ๐ง)๐ + (๐ฅ 2 + ๐ฆ 2 + ๐ง 2 )๐ 28 ENGINEERING APPLICATIONS OF VECTOR ANALYSIS WEEK 2: ENGINEERING APPLICATIONS OF VECTOR ANALYSIS 2.1 APPLICATION OF VECTOR The word problems encountered most often with vectors are navigation problems. These navigation problems use variables like speed and direction to form vectors for computation. Some navigation problems ask us to find the groundspeed of an aircraft using the combined forces of the wind and the aircraft. For these problems it is important to understand the resultant of two forces and the components of force Each of the three vectors in the triangle of velocities has two properties – magnitude and direction. This means that there are a total of six components. These are the True Air Speed (TAS) and heading (HDG) of the aircraft, the speed and direction of the wind (W/V), and the Ground Speed (GS) and track (TR) of the path over the ground. This is shown in Figure 2.1. Figure 2.1: Triangle of Vectors (Velocities) 29 To summarize: Course—the direction of a line drawn on a chart representing the intended airplane path, expressed as the angle measured from a specific reference datum clockwise from 0° through 360° to the line. Heading—is the direction in which the nose of the airplane points during flight. Drift angle—is the angle between heading and track. Airspeed—is the rate of the airplane’s progress through the air. Groundspeed—is the rate of the airplane’s in-flight progress over the ground. Example 2.1 30 Example 2.2 31 Exercies 1) A boat leaves port on a heading of 40๏ฐ with the automatic pilot set for 12 knots. On this particular day, there is a 6-knot current with a heading of 75๏ฐ. a. Sketch and label vectors to represent the intended path of the boat, the current and the resultant path of the boat with the effects of the current. b. Calculate the speed and heading at which the boat will actually travel due to the effects of the current. 32 2) A plane leaves the airport on a heading 45° traveling a 400 mph. The wind is blowing at a heading of 135° at a speed of 40 mph. What is the actual velocity of the plane? 3) Consider a 100-N weight suspended by two wires as shown in the accompanying figure. Find the magnitudes and components of the force vectors F1 and F2. 2.2 DOT PRODUCT (WORK DONE) After investigating the dot product, we apply it to finding the projection of one vector onto another (as displayed in Figure 2.2) and to finding the work done by a constant force acting through a displacement. Fig 7.0 shows that the scalar quantity we seek is the length |๐น| cos ๐ where ๐ is the angle between the two vectors F and D. Then Figure 2.2: The work done by a constant force F during a displacement D is |๐น| cos ๐ , which is the dot product F.D. 33 Forces Perpendicular to the Motion Do No Work When an object is displaced horizontally on a flat table, the normal force n and the gravitational force Fg do no work since cos θ = 90โฆ = 0 Example 2.3 If |๐น| = 40 ๐ (newtons), D = |๐ท| = 3 ๐, and ๐ = 60๐ , the work done by Fin acting from P to Q is Exercies 1) How much work does it take to slide a crate 20 m along a loading dock by pulling on it with a 200 N force at an angle of 30° from the horizontal? 2) A 30 kg box is placed 10 m up a ramp that is inclined at 23โฆ to the horizontal. Calculate the work done by the force of gravity as the box slides down to the bottom of the ramp 34 2.3 TORQUE (CROSS PRODUCT) When we turn a bolt by applying a force F to a wrench (Figure 2.3), we produce a torque that causes the bolt to rotate. The torque vector points in the direction of the axis of the bolt according to the right-hand rule (so the rotation is counter clockwise when viewed from the tip of the vector). The magnitude of the torque depends on how far out on the wrench the force is applied and on how much of the force is perpendicular to the wrench at the point of application. The number we use to measure the torque’s magnitude is the product of the length of the lever arm r and the scalar component of F perpendicular to r. ๐๐๐๐๐๐ก๐ข๐๐ ๐๐ ๐ก๐๐๐๐ข๐ ๐ฃ๐๐๐ก๐๐ = |๐||๐น|๐ ๐๐๐, ๐๐ |๐ × ๐น| If we let n be a unit vector along the axis of the bolt in the direction of the torque, then a complete description of the torque vector is ๐๐๐๐๐ข๐ ๐ฃ๐๐๐ก๐๐ = (|๐||๐น|๐ ๐๐๐)๐, ๐๐ ๐×๐น Fig 2.3: The torque vector describes the tendency of the force F to drive the bolt forward. 35 EXAMPLE 2.4 Find the magnitude of the torque generated by force F at the pivot point P in Figure 2.4 is Figure 2.4: Torque exerted by F at P The magnitude of the torque exerted by F at P is about 56.4 ft-lb. The bar rotates counterclockwise around P. 2.4 TRIPLE SCALAR OR BOX PRODUCT The product is called the triple scalar product of u, v, and w (in that order). As you can see from the formula |(๐ข × ๐ฃ) โ ๐ค| = |๐ข × ๐ฃ||๐ค||๐๐๐ ๐| the absolute value of this product is the volume of the parallelepiped (parallelogram-sided box) determined by u, v, and w (Figure 2.5). The number |(๐ข × ๐ฃ)| is the area of the base parallelogram. The number |๐ค||๐๐๐ ๐|is the parallelepiped’s height. Because of this geometry, (๐ข × ๐ฃ) โ ๐ค is also called the box product of u, v, and w. 36 Figure 2.5: The number |(๐ข × ๐ฃ) โ ๐ค| = is the volume of a parallelepiped. The triple scalar product can be evaluated as a determinant: 37 EXAMPLE 2.5: EXERCISES Find the volume of the parallelepiped (box) determined by u, v, and w. 2.5 INTERPRETATION OF THE DIRECTIONAL DERIVATIVES & GRADIENT Figure 2.6: Interpretation of Directional Derivatives. 38 From the fig above, the slope of curve C at Po is (Duf)Po in which it generalizes two partial derivatives. We can now ask for the rate of change of ƒ in any direction u, not just the directions i and j. For a physical interpretation of the directional derivative, suppose that T = f (x, y) is the temperature at each point (x, y) over a region in the plane. Then f (xo, yo) is the temperature at the point Po (xo, yo) and (Duf)Po is the instantaneous rate of change of the temperature at Po stepping off in the direction u. EXAMPLE 2.6: 39 EXAMPLE 2.7: EXERCISES Find the directions in which the functions increase and decrease most rapidly at Po. Then find the derivatives of the functions in these directions. (d) ๐(๐ฅ, ๐ฆ, ๐ง) = ln ๐ฅ๐ฆ +ln ๐ฆ๐ง +ln ๐ฅ๐ง, ๐๐ (1, 1, 1) (e) ๐(๐ฅ, ๐ฆ, ๐ง) = ๐ฅ๐ ๐ฆ + ๐ง 2 , ๐๐ (1, ln 2 , 1/2) 40 (f) ๐(๐ฅ, ๐ฆ, ๐ง) = (๐ฅ⁄๐ฆ) − yz, ๐๐ (4, 1, 1) 2.6 GRADIENTS,TANGENTS AND NORMAL TO LEVEL CURVES The streams flow perpendicular to the contours. The streams are following paths of steepest descent so the waters reach the ocean as quickly as possible. Therefore, the fastest instantaneous rate of change in a stream’s elevation above sea level has a particular direction. In this section, you will see why this direction, called the “downhill” direction, is perpendicular to the contours. Figure 2.7: Contours of the hill Based on above contours: 41 Figuure 2.8: The gradient of a differentiable function of two variables at a point is always normal to the function’s level curve through that point. Where it shows our observation that streams flow perpendicular to the contours in topographical maps (see Figure 2.7). Since the downflowing stream will reach its destination in the fastest way, it must flow in the direction of the negative gradient vectors from Property 2 for the directional derivative. Now let us restrict our attention to the curves that pass through Po (Figure Below). All the velocity vectors at Po are orthogonal to ๏f at Po so the curves’ tangent lines all lie in the plane through Po normal to ๏f . At every point along the curve, ๏f is orthogonal to the curve’s velocity vector. Figure Below: The gradient ๏f is orthogonal to the velocity vector of every smooth curve in the surface through Po. The velocity vectors at Po therefore lie in a common plane, which we call the tangent plane at Po. We now define this plane. The tangent plane and normal line have the following equations: 42 EXAMPLE 2.8: 43 EXAMPLE 2.9: : EXERCISES Find equations for the (a) Tangent plane and (b) normal line at the point Po on the given surface. 44 2.7 APPLICATION OF D IVERGENCE AND CURL Divergence at a given point measures the net flow out of a small box around the point, that is, it measures what is produced (source) or consumed (sink) at a given point in space. For example, it is used to describe the flow of gas within a domain space. A gas is compressible, unlike a liquid, and the divergence of its velocity field measures to what extent it is expanding or compressing at each point. Intuitively, if a gas is expanding at the point (xo, yo) the lines of flow would diverge there (hence the name) and, since the gas would be flowing out of a small rectangle about (xo, yo), the divergence of F at (xo, yo) would be positive. If the gas were compressing instead of expanding, the divergence would be negative. Figure 2.9: If a gas is expanding at a point the lines of flow have positive divergence; if the gas is compressing, the divergence is negative. Otherwise, it will get zero. EXAMPLE 2.10: 45 Determine the divergence’s characteristic of the vector fields; ๐น(๐ฅ, ๐ฆ) = 3๐ฅ 2 ๐ − 6๐ฅ๐ฆ๐ *In fluid dynamics, when the velocity field of a flowing liquid always has divergence equal to zero, as in those cases, the liquid is said to be incompressible. If we think of the vector field as a velocity vector field of a fluid in a motion, the curl measures the rotation. At a given point, the curl is a vector parallel to the axis of rotation of flow lines near the point, with direction determined by the Right Hand Rule. EXAMPLE 2.11: Determine wherther the curl of each vector field at the origin is the zero vector or points in the certain directions as ±๐, ±๐ , ±๐. 46 EXAMPLE 2.12: The following vector fields represent the velocity of a gas flowing in the xy-plane. Find the divergence and curl of each vector field and interpret its physical meaning. Figure displays the vector fields. 47 Figure 2.10: Velocity fields of a gas flowing in the plane DIVERGENCE 48 CURL 49 LINE INTEGRALS WEEK 3: LINE INTEGRALS 3.1 INTRODUCTION Since in evaluating line integral we need to express the curve in parametric equation as function of t, let recognize parametric representation first. Bodies that move in space form paths that may be represented by curves C. This and other applications show the need for parametric representations of C with parameter t, which may denote time or something else (see Fig. 3.1). A typical parametric representation is given by Figure 3.1: Parametric representation of curve Here t is the parameter and x, y, z are Cartesian coordinates, that is, the usual rectangular coordinates. To each value ๐ก = ๐ก๐ , there corresponds a point of C with position vector ๐(๐ก๐ ) whose coordinates are ๐ฅ(๐ก๐ ), ๐ฆ(๐ก๐ ), ๐ง(๐ก๐ ). When we give parametric equations and a parameter interval for a curve, we say that we have parametrized the curve. The equations and interval together constitute a parametrization of the curve. A given curve can be represented by different sets of parametric equations. The advantages of using parametric representation are that, the coordinates x, y, z all play an equal role, that is, all three coordinates are dependent variables. Moreover, the parametric representation induces an orientation on C. This means that as we increase t, we travel along 50 the curve C in a certain direction. The sense of increasing t is called the positive sense on C. The sense of decreasing t is then called the negative sense on C. Table 3.1: Parametric Equation for Some Basic Curves EXAMPLE 3.1: Circle. Parametric Representation. Positive Sense 51 3.2 BASIC CONCEPTS In a line integral, we shall integrate a given function, also called the integrand, along a curve C in space or in the plane as shown in Figure 3.2. (Hence curve integral would be a better name but line integral is standard.) Figure 3.2: Oriented curves This requires that we represent the curve C by a parametric representation (1) 52 The curve C is called the path of integration. Look at Fig. 2.1a. The path of integration goes from A to B. Thus A: r(a) is its initial point and B: r(b) is its terminal point. C is now oriented. The direction from A to B, in which t increases is called the positive direction on C. We mark it by an arrow. The points A and B may coincide, as it happens in Fig. 2.1b. Then C is called a closed path. A line integral of a vector function F(r) over a curve C: r(t) is defined by (2) Where ๐ ′ = ๐๐ ๐๐ก and r(t) is the parametric representation of C as given in (2). Writing (2) in terms of components, with dr = [dx, dy, dz] and ′ = ๐⁄๐๐ก , we get Note that the integrand in (2) is a scalar, not a vector, because we take the dot product. Indeed, ๐นโ ๐ ′ ⁄|๐ ′ | is the tangential component of F. Line integrals arises naturally in mechanics, where they give the work done by a force F in a displacement along C. This will be explained in detail below. We may thus call the line integral (2) the work integral. 53 EXAMPLE 3.2: Evaluation of a Line Integral in the Plane Find the value of line integral when ๐น(๐) = [−๐ฆ, −๐ฅ๐ฆ] = −๐ฆ๐ − ๐ฅ๐ฆ๐ and C is the circular arc from A to B. EXAMPLE 3.3: Line Integral in Space The evaluation of line integral in space is practically the same as it is in the plane. To see this, find the value of line integral when ๐น(๐) = [๐ง, ๐ฅ, ๐ฆ] = ๐ง๐ + ๐ฅ๐ + ๐ฆ๐ and C is the helix. Given that ๐(๐ก) = [cos ๐ก, sin ๐ก, 3๐ก] = cos ๐ก๐ + sin ๐ก๐ + 3๐ก๐ 54 EXAMPLE 3.4: Evaluation of a Line Integral along the Curve, C Evaluate ∫c F โ dr, where F (x, y, z) = zi + xy j – y2k along the curve C given by ๐(๐ก) = ๐ก 2 ๐ + ๐ก๐ + √๐ก๐, 0 ≤ ๐ก ≤ 1. ๐บ๐ถ๐ณ = ๐๐ ๐๐ Simple general properties of the line integral (2) 55 Figure 3.3 Formula c) where in (c) the path C is subdivided into two arcs and that have the same orientation as C (Fig. 3.3). In (b) the orientation of C is the same in all three integrals. If the sense of integration along C is reversed, the value of the integral is multiplied by -1. 3.3 LINE INTEGRAL: WORK DONE BY FORCE Suppose that the vector field F = M(x, y, z)i + N(x, y, z)y + P(x, y, z)k represents a force throughout a region in space (it might be the force of gravity or an electromagnetic force of some kind) and that ๐(๐ก) = ๐(๐ก)๐ + โ(๐ก)๐ + ๐(๐ก)๐, ๐ โช ๐ก โช ๐, is a smooth curve in the region. For a curve C in space, we define the work done by a continuous force field F to move an object along C from a point A to another point B as follows. In other words, the work done by a force F is the line integral of the scalar component F.T over the smooth curve from A to B as shown in Fig 2.2. The sign of the number we calculate with this integral depends on the direction in which the curve is traversed. If we reverse the direction of motion, then we reverse the direction of T in Figure 2.2 and change the sign of and its integral. 56 Figure 3.4: The work done by a force F is the line EXAMPLE 3.5 57 EXAMPLE 3.6 Find the work done by the force fields F = xi + yj +zk in moving an object along the curve C parameterized by ๐(๐ก) = cos(๐t) i + ๐ก 2 ๐ + sin(๐๐ก) ๐, 0 ≤ ๐ก ≤ 1 58 Path Dependence Take, for instance, the straight segment ๐ถ1 โถ ๐1 (๐ก) = [๐ก, ๐ก, 0] and the parabola ๐ถ2 โถ ๐2 (๐ก) = [๐ก, ๐ก 2 , 0] as shown in Figure 3.4 with 0 ≤ t ≤ 1 and integrate F = [0, ๐ฅ๐ฆ, 0]. Then ๐น(๐1 (๐ก))โ๐1′ (๐ก) = ๐ก 2 , ๐น(๐2 (๐ก))โ๐2′ (๐ก) = 2๐ก 4 so that integration gives 1/3 and 2/5, respectively. Figure 3.4: Proof of Theorem 3.4 GREEN’S THEOREM IN THE PLANE Green's theorem gives the relationship between a line integral around a simple closed curve C and a double integral over the plane region D bounded by C. It will convert line integrals of vector fields over C into double integral over R. 59 EXAMPLE 3.7: Verification of Green Theorem Verify Green’s Theorem for the vector field ๐น(๐ฅ, ๐ฆ) = (๐ฅ − ๐ฆ)๐ + ๐ฅ๐ And the region R bounded by the unit circle ๐ถ: ๐(๐ก) = cos(๐ก) ๐ + sin(๐ก) ๐, 0 ≤ ๐ก ≤ 2๐ Figure 3.5: The vector field has a counter clockwise circulation of 2π around the unit circle. 60 EXAMPLE 3.8 Evaluate the line integral โฎ ๐ฅ๐ฆ ๐๐ฆ − ๐ฆ 2 ๐๐ฅ, Where C is the square cut from the first quadrant by the lines x = 1 and y = 1 Use Green’s theorem to compute โฎ xy dx + xy dy, over the counter clockwise rectangle with corners (1, 1), (3, 1), (3, 2), (1, 2). The double integral is 3 2 3 ∫ ∫ ๐ฆ − ๐ฅ ๐๐ฆ๐๐ฅ = ∫ 1 1 3 2 1 3 8 − ๐ฅ ๐๐ฅ = 3 − = −1 2 2 3 We could also note that ∫1 ∫1 ๐ฆ − ๐ฅ ๐๐ฆ๐๐ฅ = ๐ด๐๐๐ . (๐ฆ − ๐ฅ) = 2 . (2 − 2) = −1 We could check our answer by computing the line integral directly. We get 3 2 3 2 โฎ xy dx + xy dy = ∫ ๐ก ๐๐ก + ∫ 3๐ก ๐๐ก − ∫ ๐ก. 2 ๐๐ก − ∫ ๐ก ๐๐ก = 1 1 1 1 8 9 16 3 + − − = −1. 2 2 2 2 The double integral is a little easier than the line integral, because the region has so many sides. This is one use of Green’s Theorem that is to simplify line integrals. 61 SURFACE INTEGRALS WEEK 4: SURFACE INTEGRALS 4.1 SURFACES FOR SURFACE INTEGRALS The idea that will lead to the concept of a surface integral is quite similar to that which led to a line integral in week 2. We say briefly “surface” also for a portion of a surface, just as we said “curve” for an arc of a curve, for simplicity. Representations of a surface S in xyz-space are z ๏ฝ f ๏จx , y ๏ฉ or g๏จx , y , z ๏ฉ ๏ฝ 0 (1) For example, z ๏ฝ ๏ซ a2 ๏ญ x 2 ๏ญ y 2 or x ๏ซ y ๏ซ z ๏ญ a ๏ฝ 0 (z≥ 0) represents hemisphere of radius a 2 2 2 2 and centre 0. Now for curves C in line integrals, it was more practical and gave greater flexibility to use a parametric representation r = r(t) where a ≤ t ≤ b. This is a mapping of the interval a ≤ t ≤ b located on the t-axis, onto the curve C in the xyz-space. It maps every t in that interval onto the point of C with position vector r(t) (see Figure 4.1) Figure 4.1 Parametric representations of a curve and a surface Similarly, for surfaces S in surface integrals, it will often be more practical to use a parametric representation. Surfaces are two-dimensional. Hence we need two parameters, which we call u and v. Thus a parametric representation of a surface S in space is of the form r ๏จu, v ๏ฉ ๏ฝ ๏x ๏จu, v ๏ฉ, y ๏จu, v ๏ฉ, z ๏จu, v ๏ฉ๏ ๏ฝ x ๏จu, v ๏ฉ i ๏ซ y ๏จu, v ๏ฉ j ๏ซ z ๏จu, v ๏ฉ k (2) when (u,v) varies in some region R of the uv-plane. This mapping (2) maps every point (u,v) in R onto the point of S with position vector r(u,v) (see Figure 1 (B)). 62 Parametric Representation of a Cylinder The circular cylinder x ๏ซ y ๏ฝ a , -1 ≤ z ≤ 1, has radius a, height 2, and the z-axis as axis. A parametric representation is 2 2 2 r ๏จu, v ๏ฉ ๏ฝ ๏a cos u, a sinu, v ๏ ๏ฝ a cos u i ๏ซ a sinu j ๏ซ v k The components of r arex=a cos u, y = a sin u, z = v. The parameters u, v vary in the rectangle R: 0 ≤ u ≤ 2π, -1 ≤ v ≤ 1 in the uv-plane. The curves u = const are vertical straight lines. The curves v = const are parallel circles. The point P in Figure 2 corresponds to u = π/3=60°, v=0.7. Figure 4.2 Parametric representation of a cylinder Parametric Representation of a Sphere A sphere x ๏ซ y ๏ซ z ๏ฝ a can be represented in the form 2 2 2 2 r ๏จu,v ๏ฉ ๏ฝ a cos v cos u i ๏ซ a cos v sinu j ๏ซ a sin v k (3) where the parameters u, v vary in the rectangle R in the uv-plane given by the inequalities 0 ≤ u ≤ 2π, -π/2 ≤ v ≤ π/2. The components of r are x ๏ฝ a cos v cos u , y ๏ฝ a cos v sinu , z ๏ฝ a sin v The curves u = const and v = const are the “meridian” and “parallels” on S (as shown in Figure 4.3). This representation is used in geography for measuring the latitude and longitude of points on the globe. Another parametric representation of the sphere also used in mathematics is r ๏จu, v ๏ฉ ๏ฝ a cos u sin v i ๏ซ a sinu sin v j ๏ซ a cos v k (3*) where 0 ≤ u ≤ 2π, 0 ≤ u ≤ π 63 Figure 4.3 Parametric representation of a sphere Parametric Representation of a Cone A circular cone z ๏ฝ x 2 ๏ซ y 2 , 0 ≤ t ≤ H can be represented by r ๏จu, v ๏ฉ ๏ฝ ๏u cos v , u sinv , u๏ ๏ฝ u cos v i ๏ซ u sin v j ๏ซ u k (4) in components x=u cos v, y = u sin v, z = u. The parameters vary in the rectangle R: 0 ≤ u ≤ H, 0 ≤ v ≤ 2π 4.2 SURFACE INTEGRALS The extension of the idea of an integral to line and double integrals are not the only generalization that can be made. We can also extend the idea to integration over a general surface, S. Two types of such integrals occur: โฌ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ c ๐ ฬ ๐๐ = โฌ ๐ญ(๐). ๐๐บ โฌ ๐ญ(๐). ๐ ๐ c Scalar Field (5) Vector Field (6) ๐ ฬ ๐๐ is the vector element of area, where ๐ ฬ is the unit outward-drawn normal vector Note that ๐๐บ = ๐ to the element dS. 64 4.2.1 SURFACE INTEGRALS OF VECTOR FIELD In general, the surface S can be described in terms of two parameters, u and v say, so that on S r ๏จu, v ๏ฉ ๏ฝ ๏x ๏จu, v ๏ฉ, y ๏จu, v ๏ฉ, z ๏จu, v ๏ฉ๏ ๏ฝ x ๏จu, v ๏ฉ i ๏ซ y ๏จu, v ๏ฉ j ๏ซ z ๏จu, v ๏ฉ k where (u,v) varies over a region R in the uv-plane. We assume S to be piecewise smooth , so that S has a normal vector N ๏ฝ ru ๏ด rv and unit normal vector n๏ฝ 1 N N at every point (except perhaps for some edges or cusps, as for a cube or cone). For a given vector function F we can now define the surface integral over S by ๏ฒ๏ฒ F. n dA ๏ฝ ๏ฒ๏ฒ F๏จr๏จu, v ๏ฉ๏ฉ. N ๏จu, v ๏ฉ du dv S (7) R Here N ๏ฝ N n by equation (4), and N ๏ฝ ru ๏ด rv is the area of the parallelogram with sides ru and rv, by the definition of cross product. Hence n dA ๏ฝ n N du dv ๏ฝ N du dv (7*) and we see that dA ๏ฝ N du dv is the element of area of S. also F .n is the normal component of F. This integral arises naturally in flow problems, where it gives the flux across S when F = ρv. The flux acrossS is the mass of fluid crossing S per unit time. Furthermore, ρ is the density of the fluid and v the velocity vector of the flow, as illustrated by Example 4.1 below. We may thus call the surface integral (7) the flux integral. We can write (7) in components, using F = [F1,F2, F3], N = [N1,N2,N3], and n = [cos α, cos β, cos ϒ]. Here α, β, ϒ are the angles between n and the coordinate axes; indeed, for the angle between n and i. ๏ฒ๏ฒF . n dA ๏ฝ ๏ฒ๏ฒ ๏จF cos๏ก ๏ซ F cos ๏ข ๏ซ F cos ๏ง ๏ฉ dA 1 S 2 3 (8) S ๏ฝ ๏ฒ๏ฒ ๏จF1N1 ๏ซ F2N2 ๏ซ F3N3 ๏ฉ du dv R In (8) we can write cos αdA = dydz, cos β dA=dzdx, cosϒdA = dxdy.Then (8) becomes the following the integral for the flux: ๏ฒ๏ฒ F . n dA ๏ฝ ๏ฒ๏ฒ ๏จF dydz ๏ซ F dzdx ๏ซ F dxdy ๏ฉ 1 S 2 3 (9) S We can use this formula to evaluate surface integrals by converting them to double integrals over regions in the coordinate planes of the xyz-coordinate system. But we must carefully take into account the orientation of S (the choice of n). 65 The tangent vectors of all the curves on a surface S through a point P of S form a plane, called the tangent plane of S at P (refer to Figure 4.4). Exceptions are points where S has an edge or a cusp (like a cone), so that S cannot have a tangent plane at such a point. Furthermore, a vector perpendicular to the tangent plane is called a normal vector of S at P. Figure 4.4 Tangent plane and normal vector Now since S can be given by r = r (u,v) in (2), the new idea is that we get a curve C on S by taking a pair of differentiable functions u = u(t), v = v(t) whose derivatives u’ = du/dt and v’ = dv/dt are continuous. Then C has the position vector ~r (t) ๏ฝ r ๏จu๏จt ๏ฉ,v๏จt ๏ฉ๏ฉ . By differentiation and the use of the chain rule, we obtain a tangent vector of C on S ~ ~r ' (t) ๏ฝ d r ๏ฝ ๏ถr u'๏ซ ๏ถr v' dt ๏ถu ๏ถv Hence the partial derivatives ru and rv at P are tangential to S at P. We assume that they are linearly independent, which geometrically means that the curves u = const and v= const on S intersect at P at a nonzero angle. Then ru and rv span the tangent plane of S at P. hence their cross product gives a normal vector N of S at P. N ๏ฝ ru ๏ด rv ๏น 0 (10) The corresponding unit normal vector n of S at P is (Figure 4) n๏ฝ 1 1 N๏ฝ ru ๏ด rv N ru ๏ด rv (11) Also if S is represented by g(x,y,z)=0, then n๏ฝ 1 grad g grad g (11*) A surface S is called a smooth surface if its surface normal depends continuously on the point of S.S is called piecewise smooth if it consists of finitely many smooth portions. 66 Tangent Plane and Surface Normal If a surface S is given by (2) with continuous ru ๏ฝ ๏ถr ๏ถr and rv ๏ฝ satisfying (4) at every point of S, then ๏ถu ๏ถv S has, at every point P, a unique tangent plane passing through P and spanned by ru and rv and a unique normal whose direction depends continuously on the points of S. A normal vector is given by (4) and the corresponding unit normal vector by (5) (see Figure 4). Example 4.1: Compute the flux of water through the parabolic cylinder S : y ๏ฝ x , 0 ๏ฃ x ๏ฃ 2, 0 ๏ฃ z ๏ฃ 3 if the 2 ๏ ๏ velocity vector is v ๏ฝ F ๏ฝ 3z , 6 , 6 xz , speed being measured in meters/sec. (Generally, F=ρv, but 2 3 water has density ρ = 1 g/cm = 1 ton/m3) Solution: Writing x = u and z = v, we have y ๏ฝ x ๏ฝ u . Hence a representation of S is 2 S: ๏ r ๏ฝ u, u2 , v 2 ๏ ๏จ0 ๏ฃ x ๏ฃ 2, 0 ๏ฃ v ๏ฃ 3๏ฉ By differentiation and by the definition of the cross product, N ๏ฝ ru ๏ด rv ๏ฝ ๏1, 2u, 0๏๏ด ๏0, 0, 1๏ ๏ฝ ๏2u, - 1, 0๏ On S, writing simply F(S) for F[r(u,v)], we have F(S) = [ 3v2, 6, 6uv]. Hence F(s).N = 6uv2-6. By integration we thus get from (6) the flux ๏ฒ๏ฒ F.n S ๏ dA ๏ฝ ๏ฒ๏ฒ ๏จ6uv ๏ญ 6 ๏ฉdudv ๏ฝ ๏ฒ 3u v ๏ญ 6u 3 2 3 2 0 0 2 2 0 ๏ ๏ 2 ๏ dv u ๏ฝ0 ๏ ๏ ๏ฝ ๏ฒ๏ฒ ๏จ12v 2 ๏ญ 12๏ฉdv ๏ฝ 4v 3 ๏ญ 12v v ๏ฝ0 ๏ฝ 108 ๏ญ 36 ๏ฝ 72 m3 / sec 3 2 3 0 0 67 Or 72,000 liters/sec. Note that the y-component of F is positive (equal to 6), so that in Figure above, the flow goes from left to right. Example 4.2: Compute the flux through the surface S, of the cylinder ๐ฅ 2 + ๐ฆ 2 = 16 in the first octant between z=0 and z=5 if the velocity vector โฌ๐ ๐ญ . ๐๐บ where ๐ญ = [๐ง, ๐ฅ, −3๐ฆ 2 ๐ง]. Solution: Writing x=u and z=v, we have ๐ฆ = √16 − ๐ข2 (from ๐ฅ 2 + ๐ฆ 2 = 16) ๐(๐ข, ๐ฃ) = [๐ข, √16 − ๐ข2 , ๐ฃ] ๐๐ ๐๐ = ๐๐ข = [1, − ๐๐ = ๐๐ ๐๐ฃ ๐ข , 0] √16−๐ข2 ๐ฬ ∴ ๐ต = ๐๐ × ๐๐ = |1 = [0, 0,1] 0 ๐ฬ ๐ข 0| = [− √16−๐ข2 , −1,0] ๐ฬ − ๐ข √16−๐ข2 0 1 ๐ญ[๐(๐ข, ๐ฃ)] = [๐ฃ, ๐ข, −3(16 − ๐ข2 )๐ฃ] −๐ข๐ฃ ๐ญ[๐(๐ข, ๐ฃ)]. ๐ต = √16 − ๐ข2 5 0 โฌ ๐ญ. ๐ต๐๐ด = ∫ ∫ 0 ๐ 4 −๐ข −๐ข๐ฃ √16 − ๐ข2 − ๐ข ๐๐ข๐๐ฃ Sustitute ๐ = 16 − ๐ข2 ๐๐ = −2๐ข ๐๐ข ∴ ๐๐ข = − 5 4 1 ๐๐ 2๐ข 5 4 4 4 ๐ฃ 1 ∴ ∫ (๐ฃ [∫ ๐๐ข] − ∫ ๐ข ๐๐ข) = ∫ [ ∫ ๐๐ข − ∫ ๐ข ๐๐ข] ๐๐ฃ 2 √16 − ๐ข2 √16 − ๐ข2 0 −๐ข 0 0 5 = ∫ ๐ฃ [√16 − 0 ๐ข2 ] 5 0 0 0 4 ๐ข2 ๐๐ฃ − ∫ [ ] ๐๐ฃ 2 0 0 4 0 68 5 5 = ∫0 −4๐ฃ ๐๐ฃ − ∫0 8 ๐๐ฃ = - 90 4.2.2 SURFACE INTEGRAL OF SCALAR FIELD The surface S can be specified by a scalar point function C(r)= c, where c is a constant. Curves may be drawn on that surface, and in particular if we fix the value of one of the two parameters u and v then we obtain two families of curves. On one, ๐ถ๐ข (๐(๐ข, ๐ฃ0 )) the value of u varies while v is fixed, and on the other, , ๐ถ๐ฃ (๐(๐ข0 , ๐ฃ)), the values of v varies while u is fixed, as shown in Figure 4.5. Then as indicated on Figure 5, the vector element of area dS is given by: Figure 4.5 Parametric curves on a surface ๐๐บ = ๐๐ ๐๐ ๐๐ ๐๐ ๐๐ข × ๐๐ฃ = × ๐๐ข๐๐ฃ ๐๐ข ๐๐ฃ ๐๐ข ๐๐ฃ ๐๐ฅ ๐๐ฆ ๐๐ง ๐๐ฅ ๐๐ฆ ๐๐ง = ( , , ) × ( , , ) ๐๐ข ๐๐ฃ = (๐ฝ1 ๐ + ๐ฝ2 ๐ + ๐ฝ3 ๐)๐๐ข ๐๐ฃ ๐๐ข ๐๐ข ๐๐ข ๐๐ฃ ๐๐ฃ ๐๐ฃ where ๐๐ฆ ๐๐ง ๐๐ฆ ๐๐ง ๐๐ง ๐๐ฅ ๐ฝ1 = ๐๐ข ๐๐ฃ − ๐๐ฃ ๐๐ข, ๐๐ง ๐๐ฅ ๐ฝ2 = ๐๐ข ๐๐ฃ − ๐๐ฃ ๐๐ข, ๐๐ฅ ๐๐ฆ ๐๐ฅ ๐๐ฆ ๐ฝ3 = ๐๐ข ๐๐ฃ − ๐๐ฃ ๐๐ข (12) Hence โฌ ๐ญ(๐). ๐๐บ = โฌ(๐๐ฝ1 + ๐๐ฝ2 + ๐ ๐ฝ3 ) ๐๐ข๐๐ฃ ๐ ๐ด โฌ ๐(๐ฅ, ๐ฆ, ๐ง). ๐๐ = โฌ ๐(๐ข, ๐ฃ)√(๐ฝ1 2 + ๐ฝ2 2 + ๐ฝ3 2 ) ๐๐ข๐๐ฃ ๐ ๐ด where F(r)=(P,Q,R) and A is the region of (u,v) plane corresponding to S. Here, of course, the terms in the integrands have to be expressed in terms of u and v. In particular, u and v can be chosen as any two of x, y and z. for example, if z=z(x,y) describes a surface as in Figure 6 then 69 ๐ = (๐ฅ, ๐ฆ, ๐ง(๐ฅ, ๐ฆ)) with x and y as independent variables. This gives ๐๐ง ๐ฝ1 = − ๐๐ฅ ๐๐ง ๐ฝ2 = − ๐๐ฆ ๐ฝ3 = 1 and โฌ ๐ญ(๐). ๐๐บ = โฌ (−๐ ๐ ๐ด ๐๐ง ๐๐ง −๐ + ๐ ) ๐๐ฅ๐๐ฆ ๐๐ฅ ๐๐ฆ ----------------(13) ๐๐ง 2 ๐๐ง 2 โฌ ๐(๐ฅ, ๐ฆ, ๐ง). ๐๐ = โฌ ๐(๐ฅ, ๐ฆ, ๐ง(๐ฅ, ๐ฆ))√(1 + ( ) + ( ) ) ๐๐ฅ๐๐ฆ ๐๐ฅ ๐๐ฆ ๐ ๐ด ----------------(14) Figure 4.6 A surface described by z=z(x,y) Example 4.3: Evaluate the surface integral โฌ(๐ฅ + ๐ฆ + ๐ง) ๐๐ ๐ where S is the portion of the sphere ๐ฅ 2 + ๐ฆ 2 +๐ง 2 = 1 that lies in the first quadrant. 70 (a) Surface S (b) quadrant of a circle in the (x,y) plane Solution: The surface S is illustrated in the above figure. Taking ๐ง = √1 − ๐ฅ 2 − ๐ฆ 2 we have ๐๐ง −๐ฅ = ๐๐ฅ √1 − ๐ฅ 2 − ๐ฆ 2 ๐๐ง −๐ฆ = ๐๐ฆ √1 − ๐ฅ 2 − ๐ฆ 2 ๐๐ง 2 ๐๐ง 2 ๐ฅ 2 +๐ฆ2 +(1−๐ฅ 2 −๐ฆ2 ) (1−๐ฅ 2 −๐ฆ 2 ) giving √[1 + (๐๐ฅ) + (๐๐ฆ) ] = √ ∴ โฌ(๐ฅ + ๐ก + ๐ง)๐๐ = โฌ[๐ฅ + ๐ฆ + (1 − ๐ฅ 2 − ๐ฆ 2 )] ๐ ๐ด = 1 √1−๐ฅ 2 −๐ฆ 2 1 √1 − ๐ฅ 2 − ๐ฆ 2 ๐๐ฅ๐๐ฆ where A is the quadrant of a circle in the (x,y) plane illustrated in Figure (b) (refer to the above Figure). Thus, 1 √1−๐ฅ 2 โฌ(๐ฅ + ๐ฆ + ๐ง) ๐๐ = ∫ ๐๐ฅ ∫ ๐ 0 0 [ ๐ฅ √1 − ๐ฅ 2 − ๐ฆ 2 + ๐ฆ √1 − ๐ฅ 2 − ๐ฆ 2 + 1] ๐๐ฆ 1 √1−๐ฅ 2 ๐ฆ = ∫ [๐ฅ ๐ ๐๐−1 ( ) − √1 − ๐ฅ 2 − ๐ฆ 2 + ๐ฆ] ๐๐ฅ √1 − ๐ฅ 2 0 0 1 1 ๐ ๐ 3 = ∫ [ ๐ฅ + 2√1 − ๐ฅ 2 ] ๐๐ฅ = [ ๐ฅ 2 + ๐ฅ√1 − ๐ฅ 2 + ๐ ๐๐−1 ๐ฅ] = ๐ 2 4 4 0 0 An alternative approach to evaluating the surface integral in this example is to evaluate it directly over the surface of the sphere using spherical polar coordinates. As illustrated in the Figure (c), on the surface of a sphere of radius a we have, ๐ฅ = ๐ ๐ ๐๐๐ ๐๐๐ ๐, ๐ฆ = ๐๐ ๐๐๐๐ ๐๐๐, ๐ง = ๐ ๐๐๐ ๐, ๐๐ = ๐2 ๐ ๐๐ ๐๐๐๐๐ 71 (c) Surface element in spherical polar coordinates The radius a=1, so that ๐/2 ๐/2 โฌ(๐ฅ + ๐ฆ + ๐ง)๐๐ = ∫ ∫ (๐ ๐๐๐ ๐๐๐ ๐ + ๐ ๐๐๐ ๐ ๐๐๐ + ๐๐๐ ๐)๐ ๐๐๐๐๐๐๐ ๐ 0 0 ๐/2 1 1 1 3 = ∫ [ ๐๐๐๐ ๐ + ๐๐ ๐๐๐ + ] ๐๐ = ๐ 4 4 2 4 0 In similar manner, when evaluating surface integral over the surface of a cylinder of radius a, we have as illustrated (d) Surface element in cylindrical polar coordinates ๐ฅ = ๐ cos ๐ , ๐ฆ = ๐ sin ๐, ๐ง = ๐ง, ๐๐ = ๐๐๐ง๐๐ Example 4.4: Calculate the surface integral โฌ๐ (๐ฅ + ๐ฆ + ๐ง) ๐๐ where S is the portion of the plane ๐ฅ + 2๐ฆ + 4๐ง = 4 lying in the first octant (x ๏ณ0, y ๏ณ 0, z ๏ณ 0) Solution: Rewrite linear equation: ๐ง= ๐๐ง ๐๐ฅ 4 − ๐ฅ − 2๐ฆ ๐ฅ ๐ฆ =1− − 4 4 2 1 ๐๐ง ๐๐ฆ = −4 1 = −2 ๐๐ง 2 ๐๐ง 2 โฌ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ = โฌ ๐(๐ฅ, ๐ฆ, ๐ง(๐ฅ, ๐ฆ))√1 + ( ) + ( ) ๐๐ฅ๐๐ฆ ๐๐ฅ ๐๐ฆ ๐ ๐ด 72 ๐ฅ ๐ฆ 1 2 1 2 โฌ ๐(๐ฅ, ๐ฆ, ๐ง)๐๐ = โฌ (๐ฅ + ๐ฆ + 1 − − ) √1 + (− ) + (− ) ๐๐ฅ๐๐ฆ 4 2 4 2 ๐ ๐ด 3๐ฅ ๐ฆ √21 = โฌ ( + + 1) ๐๐ฅ๐๐ฆ 4 2 4 2 4−2๐ฆ 2 4−2๐ฆ 3๐ฅ ๐ฆ 3๐ฅ 2 √21 √21 = ∫ ∫ ( + + 1) ๐๐ฅ๐๐ฆ = ∫( + 2๐ฆ๐ฅ + 4๐ฅ) 4 4 2 16 2 0 0 0 ๐๐ฆ 0 2 2 √21 √21 = ∫ 3(16 − 16๐ฆ + 4๐ฆ 2 )2 + 16๐ฆ − 8๐ฆ 2 + 32 − 16๐ฆ ๐๐ฆ = ∫(80 − 48๐ฆ + 4๐ฆ 2 ) ๐๐ฆ 32 32 0 2 0 2 ๐ฆ3 8 7√21 √21 √21 √21 = ∫ 20 − 12๐ฆ + ๐ฆ 2 ๐๐ฆ = [20๐ฆ − 6๐ฆ 2 + ] = (40 − 24 + ) = 4 4 3 0 4 3 3 0 Example 4.5: Evaluate the surface integral โฌ๐ (๐ง 2 ) ๐๐, where S is the total area of the cone √๐ฅ 2 + ๐ฆ 2 ≤ ๐ง ≤ 2 S1 : surface of the cone S2 : base of the cone 73 ๐1 = โฌ ๐ง 2 ๐๐1 = √2 โฌ ๐ฅ 2 + ๐ฆ 2 ๐๐ฅ๐๐ฆ ๐1 Change to polar coordinate 2๐ 2 = √2 ∫ ∫ ๐ 2 ๐๐๐๐๐ = 8√2 ๐ 0 0 S2 – base of the cone at z=2 dS2 = area of the base =๏ฐr2=๏ฐ(22)=4๏ฐ ๐2 = โฌ 22 ๐๐2 = 4 โฌ ๐๐2 ๐2 ๐2 = 4 โฌ ๐๐2 = 4(4๐) = 16๐ ๐2 ๐๐๐ก๐๐ ๐๐ข๐๐๐๐๐ ๐ผ๐๐ก๐๐๐๐๐ = ๐1 + ๐2 = 8√2๐ + 16๐ 4.3 ORIENTATION OF SURFACE From (7) and (8), we see that the value of the integral depends on the choice of the unit normal vector n. We express this by saying that such an integral is an integral over an oriented surface S, that is, over a surface S on which we have chosen one of the two possible unit normal vectors in a continuous fashion. If we change the orientation of S, this means that we replace n with –n. Then each component of n in (4) is multiplied by -1, so that we have Change of Orientation in a Surface Integral The replacement of n by –n (hence of N by –N) corresponds to the multiplication of the integral in (6) and (7) by -1 Example 4.6: ๏ ๏ r ๏ฝ v, v 2 , u , 0 ≤ v ≤ 2, 0 ≤ u ≤ 3. Then In Example 4.1, we now represent S by ~ ~ N ๏ฝ ~ru ๏ด ~rv ๏ฝ ๏0,0,1๏๏ด ๏1,2v,0๏ ๏ฝ ๏๏ญ 2v,1,0๏ ๏ ๏ ~ ๏ ๏ ~ ~ 2 For F ๏ฝ 3z ,6,6 xz we now get F( S ) ๏ฝ 3u ,6,6uv . Hence F( S ) . N ๏ฝ ๏ญ6u v ๏ซ 6 and integration 2 2 gives the old result times -1. 74 3 2 3 ~ ~ 2 2 ๏ฒ๏ฒ F๏จS ๏ฉ . N dv du ๏ฝ ๏ฒ๏ฒ ๏ญ 6u v ๏ซ 6 dv du ๏ฝ ๏ฒ - 12u ๏ซ 12 du ๏ฝ ๏ญ72 ๏จ R ๏ฉ 0 0 ๏จ ๏ฉ 0 Orientation of Smooth Surfaces A smooth surface S is called orientable if the positive normal direction, when given at an arbitrary point P0 of S, can be continued in a unique and continuous way to the entire surface. In many practical applications, the surfaces are smooth and thus orientable Orientation of Piecewise Smooth Surfaces For a smooth orientable surface S with boundary curve C we may associate with each of the two possible orientations of S an orientation of C, as shown in Figure 5(a). Then a piecewise smooth surface is called orientable if we can orient each smooth piece of S so that along each curve C* which is common boundary of two pieces S1 and S2 the positive direction of C* relative to S1 is opposite to the direction of C* relative to S2. See Figure 5(b) for two adjacent pieces; note the arrows along C*. Figure 5 Orientation of a Surface 75 4.3.3 SURFACE INTEGRALS WITHOUT REGARD TO ORIENTATION Another type of surface integral is ๏ฒ๏ฒ G๏จr ๏ฉ dA ๏ฝ ๏ฒ๏ฒ G๏r ๏จu, v ๏ฉ๏N๏จu, v๏ฉ S (9) du dv R Here dA = |N| du dv = |ru x rv| du dv is the element of area of the surface S represented by (2) and we disregard the orientation. The mean value theorem for surface integrals, which states that if R in (9) is simply connected and G(r) is continuous in a domain containing R, then there is point (u0, v0) in R such that ๏ฒ๏ฒ G๏จr ๏ฉ dA ๏ฝ G๏r ๏จu , v ๏ฉ๏A o ๏จ A ๏ฝ Area of S ๏ฉ o (10) S As for applications, if G(r) is the mass density of S, then (9) is the total mass of S. If G = 1, then (9) gives the area A(S) of S, A๏จS ๏ฉ ๏ฝ ๏ฒ๏ฒ dA ๏ฝ ๏ฒ๏ฒ ru ๏ด rv du dv S R Representations z = f (x,y). If a surface S is given by z = f (x,y), then setting u = x , v = y, r = [u,v,f] gives N ๏ฝ ru ๏ด rv ๏ฝ ๏1, 0, fu ๏๏ด ๏0, 1, fu ๏ ๏ฝ ๏๏ญ fu , - fv , 1๏ ๏ฝ 1 ๏ซ fu2 ๏ซ fv2 and, since fu=fx, fv = fy, formula (9) becomes ๏ฒ๏ฒ G๏จr ๏ฉdA ๏ฝ ๏ฒ๏ฒ G๏จx, y, f ๏จx, y ๏ฉ๏ฉ S R* 2 ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท dxdy ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ 2 (11) Here R* is the projection of S into the xy-plane (Figure above) and the normal vector N on S points up. If it points down, the integral on the right is preceded by a minus sign. From (11) with G = 1 we obtain for the area A(S) of S: z = f (x.y) the formula 76 2 ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท dxdy ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ 2 A๏จS ๏ฉ ๏ฝ ๏ฒ๏ฒ R* where R* is the projection of S into the xy-plane, as before. Example: 4.7 x 2 ๏ซ y 2 over the region bounded by x ๏ซ y ๏ฝ 1 2 Find the area of the surface z ๏ฝ 2 Solution: z = f(x,y) 2 ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท dxdy ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ 2 A๏จS ๏ฉ ๏ฝ ๏ฒ๏ฒ R* ๏ถf ๏ถf ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ So we now find and and determine 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท which is ๏ถy ๏ถx ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ 2 2 ๏จ f ๏จx, y ๏ฉ ๏ฝ x 2 ๏ซ y 2 ๏ถf 1 2 ๏ฝ x ๏ซ y2 ๏ถy 2 ๏จ ๏ฉ 1/ 2 ๏ฉ ๏ญ1 / 2 ๏ ๏ถf 1 2 ๏ฝ x ๏ซ y2 ๏ถx 2 ๏จ ๏ฉ ๏ญ1 / 2 2x ๏ฝ x x ๏ซ y2 2 y 2y ๏ฝ x ๏ซ y2 2 2 x2 ๏ซ y 2 ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ ๏ 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท ๏ฝ 1 ๏ซ 2 ๏ฝ 2 x ๏ซ y2 ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ 2 A๏จS ๏ฉ ๏ฝ ๏ฒ๏ฒ R* 2 ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท dxdy ๏ฝ 2 ๏ฒ๏ฒ dxdy ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ R 2 But R is bounded by x ๏ซ y ๏ฝ 1 , i.e. a circle, centre the origin and radius 1. ๏area ๏ฝ ๏ฐ 2 2 A๏จS ๏ฉ ๏ฝ 2 ๏ฒ๏ฒ dxdy ๏ฝ 2๏ฐ R Example 4.8: Find the area of the surface S of the paraboloid z ๏ฝ x 2 ๏ซ y 2 cut off by the cone z ๏ฝ 2 x 2 ๏ซ y 2 77 We can find the point of intersection A by considering the y-z plane i.e. put x=0. Coordinates of A are A(2,4). The projection of the surface S on the x-y plane is x2 ๏ซ y2 ๏ฝ 4 A๏จS ๏ฉ ๏ฝ ๏ฒ๏ฒ R* 2 ๏ฆ ๏ถf ๏ถ ๏ฆ ๏ถf ๏ถ 1 ๏ซ ๏ง ๏ท ๏ซ ๏ง๏ง ๏ท๏ท dxdy ๏จ ๏ถx ๏ธ ๏จ ๏ถy ๏ธ 2 For this we use the equation of the surface S. The information from the projection R on the x-y plane will later provide the limits of the two stages of integration. For the time being, then A๏จS ๏ฉ ๏ฝ ๏ฒ๏ฒ 1 ๏ซ 4 x 2 ๏ซ 4y 2 dxdy R* using Cartesian coordinates, we could integrate with respect to y from y=0 to y ๏ฝ 4 ๏ญ x and then with respect to x from x =0 2 to x=2. Finally we should multiply by four to cover all four quadrants i.e. A๏จS ๏ฉ ๏ฝ 4 2 x ๏ฝ2 y ๏ฝ 4 ๏ญ x ๏ฒ ๏ฒ x ๏ฝ0 1 ๏ซ 4 x 2 ๏ซ 4 y 2 dydx y ๏ฝ0 but how do we carry out the actual integration? It becomes a lot easier if we use polar coordinates. The same integral in polar coordinates is A๏จS ๏ฉ ๏ฝ ๏ฑ ๏ฝ2๏ฐ r ๏ฝ2 ๏ฒ ๏ฒ ๏ฑ 1 ๏ซ 4r 2 rdrd ๏ฑ ๏ฝ0 r ๏ฝ0 78 1/2 ๏ฑ ๏ฝ2๏ฐ r ๏ฝ2 A๏จS ๏ฉ ๏ฝ ๏ฒ ๏ฒ ๏จ1 ๏ซ 4r ๏ฉ 2 ๏ฑ ๏ฝ0 r ๏ฝ0 2๏ฐ 2 3/2 ๏น ๏ฉ1 rdrd ๏ฑ ๏ฝ ๏ฒ ๏ช ๏จ1 ๏ซ 4r 2 ๏ฉ ๏บ d๏ฑ 12 ๏ป0 0๏ซ 2๏ฐ 1 ๏ป173 / 2 ๏ญ 1๏ฝd๏ฑ ๏ฝ 5.7577๏๏ฑ ๏20๏ฐ ๏ฝ 36.18 ๏ฝ ๏ฒ 12 0 79 VOLUME INTEGRAL WEEK 5: VOLUME INTEGRAL 5.1 INTRODUCTION In the previous note, integral of a function is defined over a curved surface in three dimensions. This concept can be extended to define the integral of a function of three variables through a region ๐ of three-dimensional space by the limit. 5.2 DEFINITION The general mathematical form of volume integral can be expressed as ๐ lim ∑ ๐(๐ฅ๐ , ๐ฆ๐ , ๐ง๐ )โ๐๐ = โญ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ ๐→∞ all โ๐๐ →0 ๐=1 ๐ where โ๐๐ (๐ = 1, … , ๐) is a partition ๐ into ๐ elements of volume, and (๐ฅ๐ , ๐ฆ๐ , ๐ง๐ ) is a point in โ๐๐ as illustrated in Figure 5.1. Figure 5.1: Partition of region ๐ into volume elements โ๐๐ Figure 5.2: The volume integral in terms of rectangular Cartesian coordinates. 80 In terms of rectangular Cartesian coordinates the triple integral can, as illustrated in Figure 5.2, be written as ๐ง=๐ ๐ฆ=๐2 (๐ฆ) ๐ง=โ2 (๐ฅ,๐ฆ) ๐= ∫ ∫ ∫ (1) ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ง ๐๐ฆ ๐๐ฅ ๐ง=๐ ๐ฆ=๐1 (๐ฆ) ๐ง=โ1 (๐ฅ,๐ฆ) Note that there are six different orders in which the integration in (1) can be carried out. 5.3 CYLINDRICAL AND SPHERICAL COORDINATE It is possible to use coordinate system other than Cartesian to obtain volume integral. Recall cylindrical and spherical polar coordinates system which can be represented as ๐ง ๐(๐, ๐, ๐ง) ๐ง ๐ ๐ ๐ฆ ๐ฅ Figure 5.3: Cylindrical coordinate system where ๐ฅ = ๐ cos ๐, ๐ฆ = ๐ sin ๐, ๐ง = ๐ง. ๐ง ๐(๐ , ๐, ๐) ๐ ๐ ๐ ๐ฆ ๐ฅ Figure 5.4: Cylindrical coordinate system where ๐ฅ = ๐ sin ๐ cos ๐, ๐ฆ = ๐ sin ๐ sin ๐, ๐ง = ๐ cos ๐. To obtain the volume integral using other coordinate system, first we need to transform the integral expression from the Cartesian coordinate system to the other system. 81 The expression for the element of volume ๐๐ = ๐๐ฅ ๐๐ฆ ๐๐ง under the transformation ๐ฅ = ๐ฅ(๐ข, ๐ฃ, ๐ค), ๐ฆ = ๐ฆ(๐ข, ๐ฃ, ๐ค), ๐ง = ๐ง (๐ข, ๐ฃ, ๐ค) may be obtained using the Jacobian ๐๐ฅ | ๐๐ข ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ฅ ๐ฝ= = ๐(๐ข, ๐ฃ, ๐ค) | ๐๐ฃ ๐๐ฅ ๐๐ค ๐๐ฆ ๐๐ข ๐๐ฆ ๐๐ฃ ๐๐ฆ ๐๐ค ๐๐ง ๐๐ข | ๐๐ง ๐๐ฃ | ๐๐ง ๐๐ค as ๐๐ = ๐๐ฅ ๐๐ฆ ๐๐ง = |๐ฝ| ๐๐ข ๐๐ฃ ๐๐ค For example, in the case of cylindrical polar coordinates ๐ฅ = ๐ cos ๐, ๐ฆ = ๐ sin ๐, ๐ง = ๐ง cos ๐ ๐ฝ = |−๐ sin ๐ 0 sin ๐ ๐ cos ๐ 0 0 0| = ๐ 1 so that ๐๐ = ๐ ๐๐ ๐๐ ๐๐ง As illustrated in Figure 4.5. Figure 5.5: Volume element in cylindrical polar coordinates. Similarly, for spherical polar coordinates (๐, ๐, ๐) ๐ฅ = ๐ sin ๐ cos ๐, ๐ฆ = ๐ sin ๐ sin ๐, ๐ง = ๐ cos ๐ sin ๐ cos ๐ ๐ ๐ฝ = | cos ๐ cos ๐ −๐ sin ๐ sin ๐ sin ๐ sin ๐ ๐ cos ๐ cos ๐ ๐ sin ๐ cos ๐ cos ๐ −๐ sin ๐ | = ๐ 2 sin ๐ 0 so that ๐๐ = ๐ 2 sin ๐ ๐๐ ๐๐ ๐๐ A result illustrated in Figure 5.6. 82 Figure 5.6: Volume element in spherical polar coordinates. 5.4 APPLICATION OF VOLUME INTEGRAL Volume or triple integral has important real world application which can be applied in various scientific and engineering matters. In this section, we will discuss some of the application examples. 5.4.1 VOLUME The most obvious usage of volume integral is to find the volume of a space confined within 3 dimensional boundary. Example 5.1 Find the volume of the tetrahedron defined by ๐ฅ ≥ 0, ๐ฆ ≥ 0, ๐ง ≥ 0 and ๐ฅ + ๐ฆ + ๐ง ≤ 1. Solution Figure 5.7: Tetrahedron for Example 1. The tetrahedron is shown in Figure 5.7. Its volume is ๐ฅ=1 ๐ฆ=1−๐ฅ ๐ง=1−๐ฅ−๐ฆ ๐= ∫ ∫ ∫ ๐ฅ=0 ๐ฆ=0 ๐ง=0 1 ๐๐ง ๐๐ฆ ๐๐ฅ ๐ฅ=1 ๐ฆ=1−๐ฅ = ∫ ∫ (1 − ๐ฅ − ๐ฆ) ๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 83 ๐ฅ=1 = ∫ ๐ฅ=0 1 1 (1 − ๐ฅ)2 ๐๐ฅ = . 2 6 โ 5.4.2 MASS A mass of a matter bounded by ๐ with desity of ๐(๐ฅ, ๐ฆ, ๐ง) at point (๐ฅ, ๐ฆ, ๐ง) can be calculated as ๐ = โญ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ง ๐๐ฆ ๐๐ฅ (or ∫๐ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ (with appropriate limits)). Example 5.2 Figure 5.8 A water reservoir shown in Figure 4.8 has the width of ๐ฅ = 100m, length of ๐ฆ = 400m, and the depth of the reservoir is given by ๐ง = 40 − ๐ฆ/10m. The density of the water can be approximated by ๐(๐ง) = ๐ − ๐ × ๐ง where a = 998 kgm−3 and b = 0.05 kgm−4 i.e. at the surface (๐ง = 0) the water has density 998 kgm−3 (corresponding to a temperature of 20โฆC while 40m down i.e. z = −40, the water has a density of 1000kgm−3 (corresponding to the lower temperature of 4โ. Find the total mass of water in the reservoir. Solution The mass of water in the reservoir is given by the integral of the function ๐(๐ง) = ๐ − ๐ × ๐ง. For each value of ๐ฅ and ๐ฆ, the limits on ๐ง will be from ๐ฆ/10 − 40 (bottom) to 0 (top). Limits on ๐ฆ will be 0 to 400m while the limits of ๐ฅ will be 0 to 100m. The mass of water is therefore given by the integral 100 400 ๐= ∫ ∫ ๐ฅ=0 ๐ฆ=0 0 ∫ (๐ − ๐๐ง) ๐๐ง ๐๐ฆ ๐๐ฅ ๐ฆ ๐ง= −40 10 This can be solved as follow 100 400 ๐= ∫ ๐ 2 0 ∫ [๐๐ง − ๐ง ] ๐ฆ ๐๐ฆ ๐๐ฅ 2 ๐ง= −40 ๐ฅ=0 ๐ฆ=0 10 84 100 400 = ∫ 2 ๐ฆ ๐ ๐ฆ ∫ 0 − ๐ ( − 40) + ( − 40) ๐๐ฆ ๐๐ฅ 10 2 10 ๐ฅ=0 ๐ฆ=0 100 400 = ∫ ∫ 40๐ − ๐ฅ=0 ๐ฆ=0 ๐ ๐ 2 ๐ฆ+ ๐ฆ − 4๐๐ฆ + 800๐ ๐๐ฆ ๐๐ฅ 10 200 100 400 ๐ 2 ๐ 3 2 = ∫ [40๐๐ฆ − ๐ฆ + ๐ฆ − 2๐๐ฆ + 800๐๐ฆ] ๐๐ฅ 10 600 ๐ฆ=0 ๐ฅ=0 100 = ∫ 16000๐ − 8000๐ + ๐ฅ=0 100 = ∫ 8000๐ + ๐ฅ=0 = 8 × 105 ๐ + 320000 ๐ − 320000๐ + 320000๐ ๐๐ฅ 3 100 320000 320000 ๐ ๐๐ฅ = [8000๐๐ฅ + ๐๐ฅ] 3 3 ๐ฅ=0 3.2 0.16 × 107 ๐ = 7.984 × 108 + × 107 3 3 = 7.989 × 108 kg So the mass of water in the reservoir is 7.989 × 108 kg. โ 5.4.3 CENTRE OF MASS The expressions for the center of mass (๐ฅฬ , ๐ฆฬ , ๐งฬ ) of a solid of density ๐(๐ฅ, ๐ฆ, ๐ง) are given below ๐ฅฬ = ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐ฅ ๐๐ ∫ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ ๐ฆฬ = ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐ฆ ๐๐ ∫ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ ๐งฬ = ∫ ๐(๐ฅ, ๐ฆ, ๐ง)๐ง ๐๐ ∫ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ If ๐ does not vary with position, these simplify to ๐ฅฬ = ∫ ๐ฅ ๐๐ ∫ ๐๐ ๐ฆฬ = ∫ ๐ฆ ๐๐ ∫ ๐๐ ๐งฬ = ∫ ๐ง ๐๐ ∫ ๐๐ Example 5.3 A uniform tetrahedron is enclosed by the planes ๐ฅ = 0, ๐ฆ = 0, ๐ง = 0 and ๐ฅ + ๐ฆ + ๐ง = 4. Find the volume and the position of the center of mass. 85 Solution The volume integral of tetrahedron 4 4−๐ฅ 4−๐ฅ−๐ฆ ๐= ∫ ∫ ∫ ๐(๐ฅ, ๐ฆ, ๐ง) ๐๐ง ๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 ๐ง=0 4 4−๐ฅ = ∫ ∫ 4 4−๐ฅ [๐ง]4−๐ฅ−๐ฆ ๐๐ฆ ๐๐ฅ ๐ง=0 = ∫ ∫ (4 − ๐ฅ − ๐ฆ) ๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 ๐ฅ=0 ๐ฆ=0 4 1 2 4−๐ฅ = ∫ [4๐ฆ − ๐ฅ๐ฆ − ๐ฆ ] ๐๐ฅ 2 ๐ฆ=0 ๐ฅ=0 4 1 = ∫ [8 − 4๐ฅ + ๐ฅ 2 ] ๐๐ฅ 2 ๐ฅ=0 4 1 64 32 = [8๐ฅ − 2๐ฅ 2 + ๐ฅ 3 ] = 32 − 32 + = . 6 6 3 ๐ฅ=0 Then, we calculate ∫ ๐ฅ ๐๐ as follows 4 4−๐ฅ 4−๐ฅ−๐ฆ ∫ ๐ฅ ๐๐ = ∫ ∫ ∫ ๐ฅ ๐๐ง ๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 ๐ง=0 4 4−๐ฅ = ∫ ∫ 4 4−๐ฅ [๐ฅ๐ง]4−๐ฅ−๐ฆ ๐๐ฆ ๐๐ฅ ๐ง=0 ๐ฅ=0 ๐ฆ=0 = ∫ ∫ [(4 − ๐ฅ − ๐ฆ) − 0] ๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 4 4−๐ฅ 1 = ∫ [4๐ฅ๐ฆ − ๐ฅ ๐ฆ − ๐ฅ๐ฆ 2 ] ๐๐ฅ 2 ๐ฆ=0 2 ๐ฅ=0 4 1 = ∫ [8๐ฅ − 4๐ฅ 2 + ๐ฅ 3 ] ๐๐ฅ 2 ๐ฅ=0 4 4 1 256 32 = [4๐ฅ 2 − ๐ฅ 3 + ๐ฅ 4 ] = 64 − + 32 = 3 8 3 3 0 Thus, ๐ฅฬ = ∫ ๐ฅ๐๐ ∫ ๐๐ 32/3 = 32/3 = 1. By symmetry (or by evaluating relevant integrals), it can be shown that ๐ฆฬ = ๐งฬ = 1 i.e. the center of mass is at (1, 1, 1). โ 5.4.5 MOMENT OF INERTIA The moment of inertia ๐ผ of a small particle of mass ๐ is defined as ๐ผ = Mass × Distance2 or ๐ผ = ๐๐2 where ๐ is the perpendicular distance from the particle to the axis. 86 To find the Moment of Inertia of a larger object, it is necessary to carry out a volume integration over all such particles. The distance of a particle at (๐ฅ, ๐ฆ, ๐ง) from the z-axis is given by √๐ฅ 2 + ๐ฆ 2 so the moment of inertia of an object about the ๐ง-axis is given by ๐ผ๐ง = ∫ ๐(๐ฅ, ๐ฆ, ๐ง) (๐ฅ 2 + ๐ฆ 2 )๐๐ ๐ Similarly, the Moments of Inertia about the ๐ฅ- and ๐ฆ-axes are given by ๐ผ๐ฅ = ∫ ๐(๐ฅ, ๐ฆ, ๐ง) (๐ง 2 + ๐ฆ 2 ) ๐๐ ๐ ๐ผ๐ฆ = ∫ ๐(๐ฅ, ๐ฆ, ๐ง) (๐ฅ 2 + ๐ง 2 ) ๐๐ ๐ Example 5.4 Find the moment of inertia of a uniform sphere of mass M and radius a about a diameter. Solution A sphere of radius ๐ has volume 4๐๐3 /3, so that its density is 3๐/4๐๐3 . Then the moment of inertia of the sphere about the ๐ง axis is ๐ผ= 3๐ โญ(๐ฅ 2 + ๐ฆ 2 ) ๐๐ฅ ๐๐ฆ ๐๐ง 4๐๐3 ๐ In this example it is natural to use spherical polar coordinates (recall that ๐ฅ = ๐ sin ๐ cos ๐, ๐ฆ = ๐ sin ๐ sin ๐, ๐ง = ๐ cos ๐ and ๐๐ฅ ๐๐ฆ ๐๐ง = ๐ 2 sin ๐ ๐๐ ๐๐ ๐๐ ), so that ๐ผ= 3๐ โญ(๐ 2 sin2 ๐ cos2 ๐ + ๐ 2 sin2 ๐ sin2 ๐)๐ 2 sin ๐ ๐๐ ๐๐ ๐๐ 4๐๐3 ๐ = 3๐ โญ(๐ 2 sin2 ๐) ๐ 2 sin ๐ ๐๐ ๐๐ ๐๐ 4๐๐3 ๐ ๐ ๐ 2๐ 3๐ = ∫ ∫ ∫ ๐ 4 sin3 ๐ ๐๐ ๐๐ ๐๐ 4๐๐3 ๐=0 ๐=0 ๐=0 ๐ ๐ 2๐ ๐=0 ๐=0 ๐=0 3๐ = ∫ ๐ 4 ๐๐ ∫ sin3 ๐ ๐๐ ∫ ๐๐ 4๐๐3 = ๐ 3๐ 1 5 ๐ 1 3 [๐]2๐ ๐ cos 3๐ − cos ๐] [ ] [ ๐=0 4๐๐3 5 4 ๐=0 12 ๐=0 87 = 3๐ 8 ( ๐๐5 ) 4๐๐3 15 2 = ๐๐2 . 5 โ 5.5 ADDITIONAL EXAMPLES Example 5.5 Use spherical polar coordinates to evaluate โญ ๐ฅ(๐ฅ 2 + ๐ฆ 2 + ๐ง 2 ) ๐๐ฅ ๐๐ฆ ๐๐ง ๐ where ๐ is the region in the first octant lying within the sphere ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 = 1. Solution ๐/2 ๐/2 2 2 โญ ๐ฅ(๐ฅ + ๐ฆ + ๐ง 2) ๐๐ฅ ๐๐ฆ ๐๐ง = ∫ ๐ 1 ∫(๐ sin ๐ cos ๐)(๐ 2 ) ๐ 2 sin ๐ ๐๐ ๐๐ ๐๐ ∫ ๐=0 ๐=0 ๐=0 ๐/2 ๐/2 1 = ∫ cos ๐ ๐๐ ∫ sin2 ๐ ๐๐ ∫ ๐ 5 ๐๐ ๐=0 ๐=0 ๐=0 ๐ 1 2 1 ๐6 [sin (θ = ๐]๐=0 [ + sin ๐ cos ๐)] [ ] 2 ๐=0 6 ๐=0 ๐ 2 1 ๐ 1 ๐ =1×( ⋅ )×( ) = . 2 2 6 24 โ Example 5.6 Show that 1 ๐ง ∫ ∫ ๐ฅ+๐ง ∫ (๐ฅ + ๐ฆ + ๐ง) ๐๐ฆ ๐๐ฅ ๐๐ง = 0 ๐ง=−1 ๐ฅ=0 ๐ฆ=๐ฅ−๐ง Solution 1 ๐ง ∫ ∫ ๐ฅ+๐ง 1 ๐ง ∫ (๐ฅ + ๐ฆ + ๐ง) ๐๐ฆ ๐๐ฅ ๐๐ง = ∫ ∫ [๐ฅ๐ฆ + ๐ง=−1 ๐ฅ=0 ๐ฆ=๐ฅ−๐ง ๐ง=−1 ๐ฅ=0 1 ๐ฅ+๐ง ๐ฆ2 + ๐ง๐ฆ] ๐๐ฅ ๐๐ง 2 ๐ฆ=๐ฅ−๐ง ๐ง = ∫ ∫ 2๐ง(๐ฅ + ๐ง) + 2๐ฅ๐ง ๐๐ฅ ๐๐ง ๐ง=−1 ๐ฅ=0 88 1 ๐ง 3๐ฅ 2 ๐ง = ∫ [ + 2๐ง 2 ๐ฅ] ๐๐ง 2 ๐ฅ=0 ๐ง=−1 1 = ∫ 3๐ง 3 ๐๐ง = 0. โ ๐ง=−1 89 GAUSS’S DIVERGENCE THEOREM WEEK 6: GAUSS’ DIVERGENCE THEOREM 6.1 INTRODUCTION In the same way that Green’s theorem relates surface and line integrals, Gauss’s theorem relates surface and volume integrals. Among the application of divergence theorem is in electromagnetism, gravity, fluid dynamics and quantum mechanics. 6.2 DIVERGENCE Before we go into divergence theorem, first we need to recall the definition of divergence. A way of defining the divergence of a vector field ๐ญ(๐) at the point ๐ is to enclose the point in an elementary volume ๐ฅ๐ and find the flow or flux out of ๐ฅ๐ per unit volume. Thus flow out of โ๐ โ๐→0 โ๐ div ๐ญ = ∇ ⋅ ๐ญ = lim ๐ฅ๐ Figure 6.1: Flow of fluid or vector field towards and away from volume ๐ฅ๐ A non-zero divergence at a point in a fluid measures the rate, per unit volume, at which the fluid is flowing away from or towards that point. That implies that either the density of the fluid is changing at the point or there is a source or sink of fluid there In the case of a non-material vector field, for example temperature gradient in heat transfer, a nonzero divergence indicates a point of generation or absorption. When the divergence is everywhere zero, the flow entering any element of the space is exactly balanced by the outflow. This implies that the lines of flow of the field ๐ญ(๐) where ๐iv ๐ญ = 0 must either form closed curves or finish at boundaries or extend to infinity. Vectors satisfying this condition are sometimes termed solenoidal. 90 We can summarize that: i. ii. Positive divergence = Source Negative divergence = Sink Divergence of a vector field expression ๐ can be represented as: div ๐ = ๐ต. ๐ = (๐ · = ๐ ๐ ๐ +๐· + ๐ · ) . (๐ · ๐ฃ1 + ๐ · ๐ฃ2 + ๐ · ๐ฃ3 ) ๐๐ฅ ๐๐ฆ ๐๐ง ๐๐ฃ1 ๐๐ฃ2 ๐๐ฃ3 + + ๐๐ฅ ๐๐ฆ ๐๐ง where ๐ฃ1 , ๐ฃ2 , ๐ฃ3 is ๐ฅ, ๐ฆ, ๐ง component of vector ๐, respectively. 6.3 DIVERGENCE THEOREM Consider the closed volume ๐ with surface area ๐ shown in Figure 6.1. The surface integral โฌ๐ ๐ญ ⋅ ๐๐บ may be interpreted as the flow of a liquid with velocity field ๐ญ(๐) out of the volume ๐. Previously, we discussed that the divergence of ๐ญ could be expressed as div ๐ญ = ๐ป ⋅ ๐ญ flow out of โ๐ โ๐→0 โ๐ = lim In terms of differentials, this may be written as div ๐ญ ๐๐ = flow out of โ๐ Consider now a partition of the volume ๐ given by ๐ฅ๐๐ (๐ = 1, . . . , ๐). Then the total flow out of ๐ is the sum of the flows out of each ๐ฅ๐๐ . That is, ๐ โฏ ๐ญ ⋅ ๐๐บ = lim ∑(flow out of โ๐๐ ) ๐→∞ ๐ ๐=1 ๐ = lim ∑(div ๐ญ โ๐๐ ) ๐→∞ ๐=1 giving โฏ ๐ญ ⋅ ๐๐บ = โญ div ๐ญ ๐๐ ๐ ๐ This result is known as the divergence theorem or Gauss’s theorem. It enables us to convert surface integrals into volume integrals, and often simplifies their evaluation. 91 6.4 EXAMPLES Example 6.1 Verify the divergence theorem on the unit cube 0 ≤ ๐ฅ ≤ 1, 0 ≤ ๐ฆ ≤ 1, 0 ≤ ๐ง ≤ 1 for the following vector fields. ๐น = (๐ฅ, ๐ฆ, ๐ง) = ๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐ Solution 6.1 ๐6 = ๐ ๐1 = −๐ ๐4 = ๐ ๐3 = −๐ ๐2 = ๐ ๐5 = −๐ Figure 5.2: Cube example Figure 5.2 illustrate the surface of the cube. To find the results using โฏ๐ ๐ญ ⋅ ๐๐บ, surface integral need to be done in each of the cube surface. Since cube has 6 surfaces, the equation can be expanded as follows โฏ ๐ญ ⋅ ๐๐บ = โฌ ๐ญ ⋅ ๐1 ๐๐1 + โฌ ๐ญ ⋅ ๐2 ๐๐2 + โฌ ๐ญ ⋅ ๐3 ๐๐3 + โฌ ๐ญ ⋅ ๐4 ๐๐4 + โฌ ๐ญ ⋅ ๐5 ๐๐5 + โฌ ๐ญ ⋅ ๐6 ๐๐6 ๐ ๐1 ๐2 ๐3 ๐4 ๐5 ๐6 Then, we solve the integral for each surface: i. For surface ๐1 , the surface boundary is ๐ฅ = 0, 0 ≤ ๐ฆ ≤ 1, 0 ≤ ๐ง ≤ 1, and outgoing 1 1 normal to the surface ๐1 is ๐1 =– ๐. Thus, โฌ๐ ๐ญ ⋅ ๐1 ๐๐1 = ∫0 ∫0 (๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ⋅ 1 1 ii. 1 −๐ ๐๐ฆ ๐๐ง = ∫0 ∫0 0 ๐๐ฆ ๐๐ง = 0 For surface ๐2 , the surface boundary is ๐ฅ = 1, 0 ≤ ๐ฆ ≤ 1, 0 ≤ ๐ง ≤ 1, and outgoing normal 1 1 to the surface ๐2 is ๐2 = ๐. Thus, โฌ๐ ๐ญ ⋅ ๐2 ๐๐2 = ∫0 ∫0 (๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ⋅ ๐ ๐๐ฆ ๐๐ง = 1 1 iii. 1 ∫0 ∫0 1 ๐๐ฆ ๐๐ง = 1. For surface ๐3 , the surface boundary is 0 ≤ ๐ฅ ≤ 1, ๐ฆ = 0, 0 ≤ ๐ง ≤ 1, and outgoing normal 1 1 to the surface ๐3 is ๐3 = −๐. Thus, โฌ๐ ๐ญ ⋅ ๐3 ๐๐3 = ∫0 ∫0 (๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ⋅ −๐ ๐๐ฅ ๐๐ง = 3 1 1 ∫0 ∫0 0 ๐๐ฅ ๐๐ง = 0. 92 iv. For surface ๐4 , the surface boundary is 0 ≤ ๐ฅ ≤ 1, ๐ฆ = 1, 0 ≤ ๐ง ≤ 1, and outgoing normal 1 1 to the surface ๐4 is ๐4 = ๐. Thus, โฌ๐ ๐ญ ⋅ ๐4 ๐๐4 = ∫0 ∫0 (๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ⋅ ๐ ๐๐ฅ ๐๐ง = 4 1 v. 1 ∫0 ∫0 ๐ฅ ๐๐ฅ ๐๐ง = 1/2. For surface ๐5 , the surface boundary 0 ≤ ๐ฅ ≤ 1, 0 ≤ ๐ฆ ≤ 1, ๐ง = 0, and outgoing normal 1 1 to the surface ๐5 is ๐5 =– ๐. Thus, โฌ๐ ๐ญ ⋅ ๐5 ๐๐5 = ∫0 ∫0 (๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ⋅ −๐ ๐๐ฆ ๐๐ง = 5 1 vi. 1 ∫0 ∫0 0 ๐๐ฅ ๐๐ฆ = 0 For surface ๐6 , the surface boundary 0 ≤ ๐ฅ ≤ 1, 0 ≤ ๐ฆ ≤ 1, ๐ง = 1, and outgoing normal to 1 1 the surface ๐6 is ๐6 = ๐. Thus, โฌ๐ ๐ญ ⋅ ๐6 ๐๐6 = ∫0 ∫0 (๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ⋅ ๐ ๐๐ฅ ๐๐ฆ = 6 1 1 1 ∫0 ∫0 ๐ฅ๐ฆ ๐๐ฅ ๐๐ฆ = 4 Therefore, 1 1 7 โฏ ๐ญ ⋅ ๐๐บ = 0 + 1 + 0 + + 0 + = 2 4 4 ๐ Next, we solve the surface integral using โญ๐ div ๐ญ ๐๐. This method is less tedious than using โฏ๐ ๐ญ ⋅ ๐๐บ because by using the volume integration, we do not have to perform the integration for every surface, which is shown as follow 1 1 1 โญ div ๐ญ ๐๐ = ∫ ∫ ∫ div(๐ฅ๐ + ๐ฅ๐ฆ๐ + ๐ฅ๐ฆ๐ง๐) ๐๐ง ๐๐ฆ ๐๐ฅ ๐ 0 0 0 1 1 1 = ∫ ∫ ∫ 1 + ๐ฅ + ๐ฅ๐ฆ ๐๐ง ๐๐ฆ ๐๐ฅ 0 0 0 1 1 1 1 = ∫ ∫[๐ง + ๐ฅ๐ง + ๐ฅ๐ฆ๐ง]1๐ง=0 ๐๐ฆ ๐๐ฅ = ∫ ∫ 1 + ๐ฅ + ๐ฅ๐ฆ ๐๐ฆ ๐๐ฅ 0 0 0 0 1 1 1 ๐ฅ๐ฆ 2 ๐ฅ = ∫ [๐ฆ + ๐ฅ๐ฆ + ] ๐๐ฅ = ∫ 1 + ๐ฅ + ๐๐ฅ 2 ๐ฆ=0 2 0 0 1 ๐ฅ2 ๐ฅ2 7 = [๐ฅ + + ] = . 2 4 ๐ฅ=0 4 This result confirms that in this example, โฏ๐ ๐ญ ⋅ ๐๐บ = โญ๐ div ๐ญ ๐๐ . โ Example 6.2 A vector field ๐ญ(๐) is given by 93 ๐ญ(๐) = ๐ฅ 3 ๐ฆ๐ + ๐ฅ 2 ๐ฆ 2 ๐ + ๐ฅ 2 ๐ฆ๐ง๐ Find โฌ๐ ๐ญ ⋅ ๐๐บ, where S is the surface of the region in the first octant for which ๐ฅ + ๐ฆ + ๐ง ≤ 1. Solution 6.2 Figure 5.3: Tetrahedron for Example 1 We begin by sketching the region enclosed by the tetrahedron surface, as shown in Figure 5.3. It is clear that evaluating the surface integral directly will be rather clumsy, involving four separate integrals (one over each of the four surfaces). It is simpler in this case to transform it into a volume integral using the divergence theorem, โฏ๐ ๐ญ ⋅ ๐๐บ = โญ๐ div ๐ญ ๐๐, where div ๐ญ = 3๐ฅ 2 ๐ฆ + 2๐ฅ 2 ๐ฆ + ๐ฅ 2 ๐ฆ = 6๐ฅ 2 ๐ฆ and we obtain 1 1−๐ฅ 1−๐ฅ−๐ฆ โฏ ๐ญ ⋅ ๐๐บ = ∫ ∫ ∫ ๐ 0 0 0 6๐ฅ 2 ๐ฆ ๐๐ง ๐๐ฆ ๐๐ฅ 1 1−๐ฅ 1−๐ฅ−๐ฆ = ∫ ∫ [6๐ฅ 2 ๐ฆ๐ง]๐ง=0 ๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 1 1−๐ฅ = ∫ ∫ 6๐ฅ 2 ๐ฆ(1 − ๐ฅ − ๐ฆ)๐๐ฆ ๐๐ฅ ๐ฅ=0 ๐ฆ=0 1 = ∫ [๐ฅ 2 ๐ฆ 2 (3 − 3๐ฅ − 2๐ฆ)]1−๐ฅ ๐ฆ=0 ๐๐ฅ ๐ฅ=0 1 = ∫ ๐ฅ 2 − 3 ๐ฅ 3 + 3๐ฅ 4 − ๐ฅ 5 ๐๐ฅ 0 94 1 ๐ฅ3 3 ๐ฅ4 3 ๐ฅ5 ๐ฅ6 1 =[ − + − ] = .โ 3 4 5 6 ๐ฅ=0 60 Example 6.3 Verify the divergence theorem โฏ ๐ญ ⋅ ๐๐บ = โญ div ๐ญ ๐๐ ๐ ๐ when ๐ญ = 2๐ฅ๐ง๐ + ๐ฆ๐ง๐ + ๐ง 2 ๐ and ๐ is the volume enclosed by the upper hemisphere ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 = ๐2 , ๐ง ≥ 0. In this example, it is convenient to use spherical coordinate to solve the integral. Solution 6.3 In this example we are required to proof that divergence theorem is valid in the given example. Hence, we need to obtain the result using both โฏ๐ ๐ญ ⋅ ๐๐บ and โญ๐ div ๐ญ ๐๐. Figure 5.4: Hemisphere example. The enclosed hemisphere surface that are given in the example can be illustrated as in Figure 5.4. Note that since the theorem relates to a closed volume, the surface ๐ consists of the flat circular base in the (๐ฅ, ๐ฆ) plane as well as the hemispherical surface. In this case div ๐ญ = 2๐ง + ๐ง + 2๐ง = 5๐ง so that the volume integral is readily evaluated as ๐ โญ 5๐ง ๐๐ฅ ๐๐ฆ ๐๐ง = ∫ 5๐ง๐๐ 2 ๐๐ง ๐ 0 ๐ = ∫ 5๐๐ง(๐2 − ๐ง 2 ) ๐๐ง 0 5 = ๐๐4 4 95 Next, we obtain the result using the surface integral, as follows โฏ ๐ญ ⋅ ๐๐บ = ๐ โฌ ๐ญ ⋅ ๐1 ๐๐ + circular base โฌ ๐ญ ⋅ ๐2 ๐๐ hemisphere The unit normal to the base is clearly ๐1 = −๐, so ๐ญ ⋅ ๐1 = −๐ง 2 giving โฌ ๐ญ ⋅ ๐1 ๐๐ = 0 circular base since ๐ง = 0 on this surface. The hemispherical surface is given by ๐(๐ฅ, ๐ฆ, ๐ง) = ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 − ๐2 =0 so the outward unit normal ๐2 is ๐2 = = ∇๐ |∇๐| 2๐ฅ๐ + 2๐ฆ๐ + 2๐ง๐ 2√๐ฅ 2 + ๐ฆ 2 + ๐ง 2 Since ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 = ๐2 on the surface ๐2 = ๐ฅ ๐ฆ ๐ง ๐+ ๐+ ๐ ๐ ๐ ๐ Giving ๐ญ ⋅ ๐2 = 2๐ฅ 2 ๐ง ๐ฆ 2 ๐ง ๐ง 3 + + ๐ ๐ ๐ = ๐ฅ2๐ง ๐ง 2 + (๐ฅ + ๐ฆ 2 + ๐ง 2 ) ๐ ๐ Hence โฌ hemisphere ๐ญ ⋅ ๐2 ๐๐ = โฌ hemisphere ๐ง 2 (๐ฅ + ๐2 ) ๐๐ ๐ since ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 = ๐2 on the surface. Transforming to spherical polar coordinates, 96 ๐ฅ = ๐ sin ๐ cos ๐, ๐ง = ๐ cos ๐, ๐๐ = ๐2 sin ๐ ๐๐ ๐๐, the surface integral becomes 2๐ ๐/2 4 ๐ญ ⋅ ๐2 ๐๐ = ๐ ∫ ∫ (sin ๐ cos ๐ + sin3 ๐ cos ๐ cos2 ๐)๐๐ ๐๐ โฌ hemisphere 0 0 2๐ ๐/2 1 2 1 4 2 = ๐ ∫ [ sin ๐ + sin ๐ cos ๐] ๐๐ 2 4 0 4 0 2๐ 1 1 5 = ๐ ∫ [ + cos2 ๐] ๐๐ = ๐๐4 2 4 4 4 0 Thus confirming that in this example, โฏ ๐ญ ⋅ ๐๐บ = โญ div ๐ญ ๐๐ . ๐ โ ๐ Example 6.4 A field ๐ญ = ๐ฅ 2 ๐ + ๐ฆ 2 ๐ + ๐ง 2 ๐ is enclosed within a solid vertical cylinder of ๐ฅ 2 + ๐ฆ 2 = 1 and the planes ๐ง = 1, ๐ง = −1. Use divergence theorem to find โฏ๐ ๐ญ ⋅ ๐๐บ where S is the surface of the cylinder. Solution 6.4 Divergence theorem shows that โฏ๐ ๐ญ ⋅ ๐๐บ = โญ๐ div ๐ญ ๐๐. Hence, it will be easier to solve โฏ๐ ๐ญ ⋅ ๐๐บ using โญ๐ div ๐ญ ๐๐ to obtain the answer. Since this is cylindrical surface, it is also easier to use cylindrical coordinate system (recall that ๐ฅ = ๐ cos ๐, ๐ฆ = ๐ sin ๐, ๐ง = ๐ง, ๐๐ฅ ๐๐ฆ ๐๐ง = ๐ ๐๐ ๐๐ ๐๐ง). Hence, we can solve โฏ๐ ๐ญ ⋅ ๐๐บ as follows โฏ ๐ญ ⋅ ๐๐บ = โญ div (๐ฅ 2 ๐ + ๐ฆ 2 ๐ + ๐ง 2 ๐) ๐๐ฅ ๐๐ฆ ๐๐ง ๐ ๐ 2๐ 1 1 = ∫ ∫ ∫ (2๐ฅ + 2๐ฆ + 2๐ง ) ๐ ๐๐ง ๐๐ ๐๐ ๐=0 ๐=0 ๐ง=−1 2๐ 1 1 = ∫ ∫ ∫ (2๐ cos ๐ + 2๐ sin ๐ + 2๐ง)๐ ๐๐ง ๐๐ ๐๐ ๐=0 ๐=0 ๐ง=−1 97 2๐ 1 1 = ∫ ∫ ∫ 2๐ 2 cos ๐ + 2๐ 2 sin ๐ + 2๐๐ง ๐๐ง ๐๐ ๐๐ ๐=0 ๐=0 ๐ง=−1 2๐ 1 = ∫ ∫[2๐ 2 cos ๐ ๐ง + 2๐ 2 sin ๐ ๐ง + ๐๐ง 2 ]1๐ง=−1 ๐๐ ๐๐ ๐=0 ๐=0 2๐ 1 = ∫ ∫ 4๐ 2 (cos ๐ + sin ๐ ) ๐๐ ๐๐ ๐=0 ๐=0 2๐ 1 4 = ∫ [ ๐ 3 (cos ๐ + sin ๐ )] ๐๐ 3 ๐=0 ๐=0 2๐ = ∫ ๐=0 2๐ = ∫ ๐=0 4 (cos ๐ + sin ๐ ) ๐๐ 3 4 (cos ๐ + sin ๐ ) ๐๐ 3 4 = [sin ๐ − cos ๐]2๐ ๐=0 3 = 0. โ Example 6.5 Find โฏ๐ ๐ญ ⋅ ๐๐บ for ๐ญ = 4๐ฅ๐ − 2๐ฆ 2 ๐ + ๐ง 2 ๐ over the region bounded by ๐ฅ 2 + ๐ฆ 2 = 4, ๐ง = 0 and ๐ง = 3. Solution 6.5 โฏ ๐ญ ⋅ ๐๐บ = โญ div ๐ญ ๐๐ ๐ ๐ = โญ div (4๐ฅ๐ − 2๐ฆ 2 ๐ + ๐ง 2 ๐ ) ๐๐ ๐ = โญ(4 − 4๐ฆ + 2๐ง ) ๐๐ฅ ๐๐ฆ ๐๐ง ๐ 2๐ 2 3 = ∫ ∫ ∫ (4 − 4๐ sin ๐ + 2๐ง)๐ ๐๐ง ๐๐ ๐๐ ๐=0 ๐=0 ๐ง=0 98 2๐ 2 = ∫ ∫(21 − 12๐ sin ๐)๐ ๐๐ ๐๐ ๐=0 ๐=0 2๐ = ∫ (42 − 32 sin ๐) ๐๐ ๐=0 = 84๐. โ 99 STOKE’S THEOREM WEEK 7: STOKE’S THEOREM 7.1 INTRODUCTION From previous topic, we have learnt that double integrals over a region in the plane can be transformed into line integrals over the boundary curve of the region and conversely. We shall now see that more generally, surface integrals over a surface S with boundary curve C can be transformed into line integrals over C and conversely. Stoke’s theorem is the ‘curl analogue’ of the divergence theorem and related the integral of curl of a vector field over an open surface S to the line integral of the vector field around the perimeter C bounding the surface. If F is a vector filed existing over surface S and around its boundary, closed curve c, then ๏ฒ curl F.dS ๏ฝ ๏ฒ F.dr s c This means that we can express a surface integral in terms of a line integral round the boundary curve. Example 7.1: A hemisphere S is defined by x ๏ซ y ๏ซ z ๏ฝ 4 (z ≥ 0). A vector field F=2yi-xj+xzk exists over the 2 2 2 surface and around its boundary c. ๏ฒ ๏ฒ Verify Stoke’s theorem, that curl F.dS ๏ฝ F.dr s c S : x2 ๏ซ y2 ๏ซ z2 ๏ญ 4 ๏ฝ 0 F ๏ฝ 2yi ๏ญ xj ๏ญ xzk c is the circle x 2 ๏ซ y 2 ๏ฝ 4 (a) ๏ฒ F.dr ๏ฝ ๏ฒ ๏จ2yi ๏ญ xj ๏ญ xzk ๏ฉ๏จ. idx ๏ซ jdy ๏ซ kdz ๏ฉ c c ๏ฝ ๏ฒ ๏จ2ydx ๏ญ xdy ๏ซ xzdz ๏ฉ c Converting to polar coordinates x= 2cosθ; y= 2sinθ; z=0 dx= -2sinθ dθ; dy=2cosθdθ; limits θ= 0 to 2π Making the substitution and completing the integral 100 2π ๏ฒ F.dr ๏ฝ ๏ฒ ๏จ4 sinθ๏๏ญ 2sinθsi ๏ ๏ญ 2cosθcosθ2dθ๏ฉ c 0 ๏ฝ ๏ญ4 ๏ฒ ๏จ2sin2θ ๏ซ cos 2θ ๏ฉ dθ 2π 0 2๏ฐ 2๏ฐ ๏ฝ -4 ๏ฒ ๏จ1 ๏ซ sin ๏ฑ ๏ฉ d๏ฑ ๏ฝ - 2 ๏ฒ ๏จ3 - cos2๏ฑ ๏ฉ d๏ฑ 2 0 (1) 0 2๏ฐ sin2๏ฑ ๏น ๏ฉ ๏ฝ -2๏ช3๏ฑ ๏ฝ ๏ญ12๏ฐ 2 ๏บ๏ป 0 ๏ซ ๏ฒ (b) Now we determine curl F.dS s ๏ฒ curl F.dS ๏ฝ ๏ฒ curl ๏ F. n dS s i ๏ถ curl F ๏ฝ ๏ถx 2y n๏ฝ Now j ๏ถ ๏ถy ๏ญx k ๏ถ ๏ฝ i๏จ0 ๏ญ 0 ๏ฉ ๏ญ j๏จz ๏ญ 0 ๏ฉ ๏ซ k ๏จ๏ญ 1 ๏ญ 2๏ฉ ๏ฝ ๏ญ zj ๏ญ 3k ๏ถz xz ๏S 2xi ๏ซ 2yj ๏ซ 2zk xi ๏ซ yj ๏ซ zk ๏ฝ ๏ฝ 2 2 2 ๏S 2 4 x ๏ซ 4y ๏ซ 4 z ๏ ๏ฒ Then curl F. n dS ๏ฝ s ๏ฆ xi ๏ซ yj ๏ซ zk ๏ถ ๏ทdS 2 ๏ธ ๏ฒ ๏จ๏ญ zj ๏ญ 3k ๏ฉ.๏ง๏จ s ๏ฝ 1 ๏จ๏ญ yz ๏ญ 3z ๏ฉ dS 2 ๏ฒs Expressing this in spherical polar coordinates and integrating, because x ๏ฝ 2 sin๏ฑ cos ๏ฆ ; ๏ ๏ ๏ฒ curl F.n dS ๏ฝ s y ๏ฝ 2sin๏ฑsin๏ฆ ; z ๏ฝ 2cos๏ฑ ; dS ๏ฝ 4sin๏ฑd๏ฑd๏ฆ 1 ๏จ๏ญ 2 sin๏ฑ sin๏ฆ2 cos๏ฑ ๏ญ 6 cos๏ฑ ๏ฉ4 sin๏ฑd๏ฑd๏ฆ 2 ๏ฒ๏ฒ s 2๏ฐ๏ฐ / 2 ๏ฝ ๏ญ4 ๏ฒ ๏ฒ ๏จ2 sin ๏ฑ cos๏ฑ sin๏ฆ ๏ซ 3 sin๏ฑ cos๏ฑ ๏ฉd๏ฑd๏ฆ 2 0 0 2๏ฐ ๏ฐ /2 ๏ฉ 2 sin3 ๏ฑ sin๏ฆ 3 sin2 ๏ฑ ๏น ๏ฝ ๏ญ4 ๏ฒ ๏ช ๏ซ d๏ฆ 3 2 ๏บ๏ป 0 0๏ซ (2) 2๏ฐ 3๏ถ ๏ฆ2 ๏ฝ ๏ญ4 ๏ฒ ๏ง sin๏ฆ ๏ซ ๏ท dφ ๏ฝ -12๏ฐ 3 2๏ธ 0๏จ So we have from our two results (1) and (2) 101 ๏ฒ curl F.dS ๏ฝ ๏ฒF. dr s c Example 7.2: ฬ, where S is the upper half of the sphere Verify the Stoke’s Theorem for ๐น = (2๐ฅ − ๐ฆ)๐ฬ − ๐ฆ๐ง 2 ๐ฬ − ๐ฆ 2 ๐ง๐ ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 = 1 and C is its boundary. Hemispherical surface and boundary for Example 5 Solution: The surface and boundary involved are illustrated in the above figure. We are required to show that โฎ ๐ญ. ๐๐ = โฌ ๐๐ข๐๐ ๐ญ. ๐๐บ ๐ ๐ Since C is a circle of unit radius in the (x,y) plane, to evaluate โฎ๐ ๐ญ. ๐๐, we take ๐ฅ = cos ๐, ๐ฆ = sin ๐, so that ๐ = cos ๐๐ + ๐ ๐๐๐๐ giving ๐๐ = −๐ ๐๐๐๐๐ ๐ + ๐๐๐ ๐๐๐ ๐ Also, on the boundary C, z=0, so that ๐น = (2๐ฅ − ๐ฆ)๐ = (2 ๐๐๐ ๐ − ๐ ๐๐๐)๐ Thus, 2๐ โฎ ๐ญ. ๐๐ = โฌ(2 ๐๐๐ ๐ − ๐ ๐๐๐)๐ . (−๐ ๐๐๐ ๐ + ๐๐๐ ๐ ๐)๐๐ ๐ 0 2๐ 2๐ 0 0 1 = ∫ (−2๐ ๐๐๐ ๐๐๐ ๐ + ๐ ๐๐2 ๐)๐๐ = ∫ [−๐ ๐๐2๐ + (1 + ๐๐๐ 2๐)] ๐๐ = ๐ 2 102 ๐ ๐ ๐๐ข๐๐ ๐น = || ๐๐ฅ 2๐ฅ − ๐ฆ ๐ ๐ ๐๐ฆ −๐ฆ๐ง 2 ๐ ๐ |=๐ ๐๐ง | −๐ฆ 2 ๐ง The unit outward-drawn normal at a point (x,y,z) on the hemisphere is given by (xi+yj+zk) since ๐ฅ 2 + ๐ฆ 2 + ๐ง 2 = 1. Thus โฌ ๐๐ข๐๐ ๐ญ. ๐๐บ = โฌ ๐. (๐ฅ๐ + ๐ฆ๐ + ๐ง๐)๐๐ ๐ ๐ 2๐ ๐/2 ๐/2 1 = โฌ ๐ง ๐๐ = ∫ ∫ ๐๐๐ ๐ ๐ ๐๐๐ ๐๐๐๐ = 2๐ [ ๐ ๐๐2 ๐] =๐ 2 0 ๐ 0 0 Hence โฎ๐ ๐ญ. ๐๐ = โฌ๐ ๐๐ข๐๐ ๐ญ. ๐๐บ and Stoke’s Theorem is verified. 7.2 DIRECTION OF UNIT NORMAL VECTORS TO A SURFACES When we were dealing with the divergence theorem, the normal vectors were drawn in a direction outward from the enclosed region. With an open surface as we now have, there is in fact no inward or outward direction. With any general surface, a normal vector can be drawn in either of two opposite directions. To avoid confusion, a convention must therefore be agreed upon and the established rule is as follows. ๏ A unit normal n is drawn perpendicular to the surface S at any point in the direction indicated by applying the right-handed screw sense to the direction of integration round the boundary c. Having noted that point, we can now deal with the next example. Example 7.3: A surface consists of five sections formed by the planes x=0, x=1, y=0, y=3, z=2 in the first octant. If the vector field F = yi+z2j+xyk exists over the surface and around its boundary, verify Stoke’s theorem. 103 If we progress round the boundary along c1, c2, c3, c4 in an anti-clockwise manner, the normal to the surfaces will be as shown. ๏ฒ ๏ฒ We have to verify that curl F.dS ๏ฝ F.dr s c ๏ฒ (a) We will start off by finding F.dr c (1) Along c1: y=0; z=0; dy=0; dz=0 ๏ ๏ฒ F.dr ๏ฝ ๏ฒ ๏จ0 ๏ซ 0 ๏ซ 0๏ฉ ๏ฝ 0 c1 (2) Along c2: x=1; z=0; dx=0; dz=0 ๏ ๏ฒ F.dr ๏ฝ ๏ฒ ๏จ0 ๏ซ 0 ๏ซ 0๏ฉ ๏ฝ 0 c2 (3) Along c3: y=3; z=0; dy=0; dz=0 0 ๏ ๏ฒ F.dr ๏ฝ ๏ฒ ๏จ3dx ๏ซ 0 ๏ซ 0 ๏ฉ ๏ฝ ๏3x ๏10 ๏ฝ ๏ญ3 c3 (4) Along c4: 1 x=0; z=0; dx=0; dz=0 0 ๏ ๏ฒ F.dr ๏ฝ ๏ฒ ๏จ0 ๏ซ 0 ๏ซ 0 ๏ฉ ๏ฝ 0 c3 1 ๏ ๏ฒ F.dr ๏ฝ 0 ๏ซ 0 ๏ญ 3 ๏ซ 0 ๏ฝ ๏ญ3 c ๏ฒ F.dr ๏ฝ -3 c ๏ฒ (b) Now we have to find curl F.dS s First we need an expression for curl F. F ๏ฝ yi ๏ซ z 2 j ๏ซ xyk 104 i ๏ถ curl F ๏ฝ ๏ ๏ด F ๏ฝ ๏ถx y j ๏ถ ๏ถy z2 k ๏ถ ๏ถz xy ๏ฝ i(x ๏ญ 2z) ๏ญ j(y ๏ญ 0) ๏ซ k (0 ๏ญ 1) ๏ฝ (x ๏ญ 2z)i ๏ญ yj ๏ญ k ๏ฒ ๏ฒ ๏ Then for each section, we obtain curl F.dS ๏ฝ curl F. n s dS ๏ (1) S1 (top) n ๏ฝ k ๏ ๏ฒ curl F. n dS ๏ฝ ๏ฒ ๏(x ๏ญ 2z)i ๏ญ yj๏. (k) dS S1 S1 ๏ฒ (๏ญ1)dS ๏ฝ ๏ญ(area of S ) ๏ฝ ๏ญ3 1 S1 Then, likewise ๏ (2) S2 (right-hand end): n ๏ฝ j ๏ ๏ ๏ฒ curl F. n dS ๏ฝ ๏ฒ ๏(x ๏ญ 2z)i ๏ญ yj๏. ( j) dS S2 S2 ๏ฝ ๏ฒ (๏ญy) dS S2 But y=3 for this section ๏ ๏ ๏ฒ curl F. n dS ๏ฝ ๏ฒ ๏จ๏ญ 3๏ฉ dS ๏ฝ ๏จ- 3๏ฉ๏จ2๏ฉ ๏ฝ ๏ญ6 S2 S2 ๏ (3) S3 (right-hand end): n ๏ฝ ๏ญ j ๏ ๏ฒ curl F. n dS ๏ฝ ๏ฒ ๏(x ๏ญ 2z)i ๏ญ yj๏. (๏ญ j) dS S3 S3 ๏ฝ ๏ฒ (y) dS S3 But y=0 over S3 ๏ ๏ ๏ฒ curl F. n dS ๏ฝ 0 S2 ๏ (4) S4 (front): n ๏ฝ i ๏ ๏ ๏ฒ curl F. n dS ๏ฝ ๏ฒ ๏(x ๏ญ 2z)i ๏ญ yj๏. (i) dS S4 S4 ๏ฝ ๏ฒ (x ๏ญ 2z) dS S4 105 but x=1 over S4 ๏ 3 2 3 0 0 0 ๏ ๏ ๏ ๏ฒ curl F. n dS ๏ฝ ๏ฒ๏ฒ (1 ๏ญ 2z)dzdy ๏ฝ ๏ฒ z ๏ญ z 2 0dy S4 2 3 ๏ฝ ๏ฒ ๏จ๏ญ 2๏ฉ dy ๏ฝ ๏๏ญ 2y ๏30 ๏ฝ ๏ญ6 0 ๏ (5) S5 (back): n ๏ฝ ๏ญi with x=0 over S5 ๏ Similar working to the above gives ๏ฒ curl F. n dS ๏ฝ 12 S5 Finally, collecting the five results together gives ๏ ๏ ๏ฒ curl F. n dS ๏ฝ ๏ญ3 ๏ญ 6 ๏ซ 0 ๏ญ 6 ๏ซ 12 ๏ฝ ๏ญ3 S4 So, referring back to our result for section (a) we see that ๏ฒ curl F.dS ๏ฝ ๏ฒ F.dr s c Example 7.4: A surface S consists of that part of the cylinder x 2 ๏ซ y 2 ๏ฝ 9 between z=0 and z=4 for y≥0 and the two semicircles of radius 3 in the planes z=0 and z=4. If F ๏ฝ zi ๏ซ xyj ๏ซ xzk , evaluate curl F.dS over the ๏ฒ s surface. The surface S consists of three sections (a) The curved surface of the cylinder (b) The top and bottom semicircles We could therefore evaluate ๏ฒ curl F.dS s Over each of these separately. However, we know by Stokes’ theorem that F ๏ฝ zi ๏ซ xyj ๏ซ xzk ๏ฒ F. dr ๏ฝ ๏ฒ ๏จzi ๏ซ xyj ๏ซ xzk ๏ฉ๏จ. idx ๏ซ jdy ๏ซ kdz ๏ฉ c c 106 ๏ฝ ๏ฒ ๏จzdx ๏ซ xydy ๏ซ xzdz ๏ฉ c Now we can work through this easily enough, taking c1, c2, c3, c4 in turn, and summing the results which gives ๏ฒ curl F.dS ๏ฝ ๏ฒ F.dr ๏ฝ ๏ฒ ๏จzdx ๏ซ xydy ๏ซ xzdz ๏ฉ s c c (1) C1: y=0; z=0; dy=0; dz=0 ๏ฒ F. dr ๏ฝ ๏ฒ ๏จ0 ๏ซ 0 ๏ซ 0๏ฉ ๏ฝ 0 c1 c1 (2) C2: x=-3; y=0; dx=0; dy=0 4 ๏ฉ๏ญ 3z 2 ๏น ๏ฒ F. dr ๏ฝ c๏ฒ ๏จ0 ๏ซ 0 ๏ญ 3zdz ๏ฉ ๏ฝ ๏ช๏ซ 2 ๏บ๏ป ๏ฝ ๏ญ24 c2 0 2 (3) C3: y=-; z=4; dy=0; dz=0 3 ๏ฒ F. dr ๏ฝ ๏ฒ ๏จ4dx ๏ซ 0 ๏ซ 0๏ฉ ๏ฝ ๏ฒ 4dx ๏ฝ 24 c3 c3 ๏ญ3 (4) C4: x=3; y=0; dx=0; dy=0 0 ๏ฉ 3z2 ๏น ๏ฒ F. dr ๏ฝ c๏ฒ ๏จ0 ๏ซ 0 ๏ซ 3zdz ๏ฉ ๏ฝ ๏ช๏ซ 2 ๏บ๏ป ๏ฝ ๏ญ24 c4 4 4 7.3 GREEN’S THEOREM Green’s theorem enables an integral over a plane area to be expressed in terms of a line integral round its boundary curve. Let P and Q be two functions of x and y that are, along with their first partial derivatives, finite and continuous inside and on the boundary c of a region R in the x-y plane. If the first partial derivatives are continuous within the region and on the boundary, then Green’s theorem states that ๏ฆ ๏ถP ๏ถQ ๏ถ ๏ฒ ๏ฒ ๏ง๏จ ๏ถy ๏ญ ๏ถx ๏ท๏ธdxdy ๏ฝ ๏ญ๏ฒ ๏จPdx ๏ซ Qdy ๏ฉ R c That is, a double integral over the plane region R can be transformed into a line integral over the boundary c of the region – and the action is reversible. 107 If P and Q are two single-valued functions of x and y, continuous over a plane surface S, and c is its boundary curve, then ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ฒ ๏จPdx ๏ซ Qdy ๏ฉ ๏ฝ ๏ฒ๏ฒ ๏ง๏จ ๏ถx ๏ญ ๏ถy ๏ท๏ธdxdy c S where the line integral is taken round c in an anticlockwise manner. In vector terms, this becomes: S is a two-dimensional space enclosed by a simple closed curve c. dS ๏ฝ dxdy ๏ dS ๏ฝ n dS ๏ฝ k dx dy If F ๏ฝ Pi ๏ซ Qj where P=P(x,y) and Q=Q(x,y), then i ๏ถ curl F ๏ฝ ๏ถx P j ๏ถ ๏ถy Q But in the x-y plane, ๏ฒ k ๏ถ ๏ถQ ๏ถ ๏ฆ ๏ถP ๏ถ ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ฆ ๏ฝ i๏ง 0 ๏ญ ๏ญ ๏ท ๏ท ๏ญ j๏ง 0 ๏ญ ๏ท ๏ซ k ๏ง ๏ถz ๏จ ๏ถz ๏ธ ๏จ ๏ถz ๏ธ ๏จ ๏ถx ๏ถy ๏ธ 0 ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ถQ ๏ถP ๏ฝ ๏ฝ 0 . ๏ curl F ๏ฝ k๏ง ๏ญ ๏ท ๏ถz ๏ถz ๏จ ๏ถx ๏ถy ๏ธ ๏ ๏ฒ ๏ So curl F.dS ๏ฝ curl F. n dS and in the x-y plane, n ๏ฝ k ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ ๏ฒ curl F.dS ๏ฝ ๏ฒ k ๏ง ๏ญ ๏ท.๏จk ๏ฉdS ๏ฝ ๏ฒ๏ฒ ๏ง ๏ญ ๏ทdxdy ๏ถx ๏ถy ๏ธ ๏ถx ๏ถy ๏ธ S s ๏จ S ๏จ ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ ๏ฒ curl F.dS ๏ฝ ๏ฒ๏ฒ ๏ง ๏ญ ๏ทdxdy ๏ถx ๏ถy ๏ธ S S ๏จ ๏ฒ curl Now by Stoke’s theorem s ๏ฒ and, in this case F.dr ๏ฝ c (1) F.dS ๏ฝ ๏ฒ F.dr c ๏ฒ ๏จPi ๏ซ Qj๏ฉ๏จ. idx ๏ซ jdy ๏ซ kdz ๏ฉ c ๏ฝ ๏ฒ ๏จPdx ๏ซ Qdy ๏ฉ c 108 ๏ ๏ฒ F.dr ๏ฝ ๏ฒ Pdx ๏ซ Qdy c c (2) Therefore from (1) and (2) Stoke’s ๏ฒ curl F. dS ๏ฝ ๏ฒ F. dr theorem S ๏ฆ ๏ถQ in two dimensions becomes Green’s theorem c ๏ถP ๏ถ ๏ฒ๏ฒ ๏ง๏จ ๏ถx ๏ญ ๏ถy ๏ท๏ธdxdy ๏ฝ ๏ฒ Pdx ๏ซ Qdy S c Example 7.5: Verify Green’s theorem for the integral ๏ฒ ๏๏จx 2 ๏ ๏ซ y 2 ๏ฉdx ๏ซ ๏จx ๏ซ 2y ๏ฉdy taken round the boundary curve c c defined by 0๏ฃ x ๏ฃ2 0๏ฃ x ๏ฃ2 0๏ฃ y ๏ฃ2 y ๏ฝ0 x2 ๏ซ y2 ๏ฝ 4 x ๏ฝ0 Green’s theorem: ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ฒ๏ฒ ๏ง๏ง๏จ ๏ถx ๏ญ ๏ถy ๏ท๏ท๏ธ dx dy ๏ฝ ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ S ๏จ c ๏ฉ In this case x ๏ซ y dx ๏ซ ๏จx ๏ซ 2y ๏ฉdy ๏ฝ P dx ๏ซ Q dy 2 2 ๏P ๏ฝ x 2 ๏ซ y 2 and Q ๏ฝ x ๏ซ 2y We now take c1, c2, c3 in turn. (1) c1: y=0; dy=0 2 ๏ฉ x3 ๏น 8 ๏ ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ ๏ฝ ๏ฒ x dx ๏ฝ ๏ช ๏บ ๏ฝ ๏ซ 3 ๏ป0 3 c1 0 2 2 (2) c2: x 2 ๏ซ y 2 ๏ฝ 4 ๏y 2 ๏ฝ 4 ๏ญ x 2 ๏y ๏ฝ ๏จ4 - x 2 ๏ฉ 1/2 x ๏ซ 2y ๏ฝ x ๏ซ 2๏จ4 ๏ญ x 2 ๏ฉ 1 ๏ญ1 / 2 dy ๏ฝ ๏จ4 ๏ญ x 2 ๏ฉ ๏จ๏ญ 2 x ๏ฉdx ๏ฝ ๏ญ x 2 dx 4๏ญx 2 ๏ฉ ๏ฆ ๏ญx ๏ ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ ๏ฝ ๏ฒ ๏ช4 ๏ซ x ๏ซ 2 4 ๏ญ x 2 ๏ง๏ง 2 ๏จ 4๏ญx c2 c2 ๏ช ๏ซ ๏ฉ x2 ๏น ๏ฝ ๏ฒ ๏ช4 ๏ญ 2 x ๏ญ ๏บ dx 4 ๏ญ x2 ๏ป c2 ๏ซ 1/2 ๏จ ๏ฉ ๏ถ๏น ๏ท๏บ dx ๏ท ๏ธ๏บ๏ป 109 4 ๏ญ x 2 ๏ฝ 2 cos ๏ฑ Putting x = 2 sin θ ๏ฐ Limits: x=2 ๏ฑ ๏ฝ ; 2 dx ๏ฝ 2cos๏ฑd๏ฑ x=0 , θ=0 ๏ฉ 4 sin2 ๏ฑ ๏น 4 ๏ญ 4 sin ๏ฑ ๏ญ 2 cos๏ฑd๏ฑ ๏ฒ๏ช 2 cos๏ฑ ๏บ๏ป ๏ฐ /2 ๏ซ 0 ๏ ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ ๏ฝ c2 0 1๏ฆ sin2๏ฑ ๏ถ๏น ๏ฉ ๏ฝ 4 ๏ช2 sin๏ฑ ๏ญ sin2 ๏ฑ ๏ญ ๏ง๏ฑ ๏ญ ๏ท 2๏จ 2 ๏ธ๏บ๏ป ๏ฐ / 2 ๏ซ ๏ฐ ๏ถ๏น ๏ฉ ๏ฆ ๏ฝ 4 ๏ช๏ญ ๏ง 2 ๏ญ 1 ๏ญ ๏ท๏บ ๏ฝ ๏ฐ ๏ญ 4 4 ๏ธ๏ป ๏ซ ๏จ Finally (3) c3: x=0; dx=0 ๏ ๏ 0 ๏ ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ ๏ฝ ๏ฒ 2y dy ๏ฝ y2 2 ๏ฝ ๏ญ4 c3 0 2 Therefore, collecting our three partial results 8 16 ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ ๏ฝ 3 ๏ซ ๏ฐ ๏ญ 4 ๏ญ 4 ๏ฝ ๏ฐ ๏ญ 3 c That is one part done. Now we have to evaluate ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ฒ๏ฒ ๏ง๏จ ๏ถx ๏ญ ๏ถy ๏ท๏ธ dx dy s P ๏ฝ x2 ๏ซ y2 ๏ Q ๏ฝ x ๏ซ 2y ๏ ๏ฆ ๏ถQ ๏ถP ๏ฝ 2y ๏ถy ๏ถQ ๏ฝ1 ๏ถx ๏ถP ๏ถ ๏ฒ๏ฒ ๏ง๏จ ๏ถx ๏ญ ๏ถy ๏ท๏ธ dx dy ๏ฝ ๏ฒ๏ฒ ๏จ1 ๏ญ 2y ๏ฉ dy dx s S It will be more convenient to work in polar coordinates, so we make the substitutions x ๏ฝ r cos๏ฑ ; y ๏ฝ r sin๏ฑ ; ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ ๏ฒ๏ฒ ๏ง ๏ญ ๏ท dx dy ๏ฝ ๏ถx ๏ถy ๏ธ s ๏จ ๏ฐ /2 dS ๏ฝ dxdy ๏ฝ r dr d๏ฑ ๏ฒ ๏ฒ ๏จ1 ๏ญ 2r sin๏ฑ ๏ฉ r dr d๏ฑ 2 0 0 ๏ฐ /2 ๏ฝ ๏ฒ 0 2 ๏ฉ r 2 2r 3 ๏น ๏ช 2 ๏ญ 3 sin๏ฑ ๏บ d๏ฑ ๏ซ ๏ป0 110 ๏ฐ /2 ๏ฝ ๏ฒ 0 ๏ฐ /2 16 ๏ฉ 16 ๏น ๏ฉ ๏น ๏ช๏ซ2 ๏ญ 3 sin๏ฑ ๏บ๏ปd๏ฑ ๏ฝ ๏ช๏ซ2๏ฑ ๏ซ 3 cos๏ฑ ๏บ๏ป 0 ๏ฝ๏ฐ ๏ญ 16 3 So we have established once again that ๏ฆ ๏ถQ ๏ถP ๏ถ ๏ฒ ๏จP dx ๏ซ Q dy ๏ฉ ๏ฝ ๏ฒ๏ฒ ๏ง๏จ ๏ถx ๏ญ ๏ถy ๏ท๏ธ dx dy c S 111