Calc 3 Lecture Notes Section 14.3 Page 1 of 10 Section 14.3: Independence of Path and Conservative Vector Fields Big idea: The value of the line integral F dr between two fixed endpoints is the same C regardless of the path C chosen provided that the vector field F is conservative. Big skill: You should be able to determine when a vector field is conservative, and compute line integrals in a conservative vector field using the fundamental theorem of line integrals. Practice: 1. Here is a nice picture showing the vector field F x, y y, x , a portion of the curve y x 2 1 from (-1, 0) to (2, 4), and fifteen points on the curve showing the vectors F and dr. Use this curve to compute F x, y dr , then pick a different curve joining the two C endpoints and re-evaluate the integral. You should get two different answers. Calc 3 Lecture Notes Section 14.3 Page 2 of 10 2. Now evaluate F x, y dr along those two curves for the vector field F x, y x, y . C You should get the same answer. Would it work out that the line integral along any path between these endpoints would be the same? The answer is yes, and reason for that answer has to do with the fact that the second vector field is conservative. Vocabulary: the line integral F dr is path independent in a domain D if the integral is the C same for every path in D that has the same beginning and ending points. Calc 3 Lecture Notes Section 14.3 Page 3 of 10 Definition 3.1: Connected Region A region D n (for n 2) is called connected if every pair of points in D can be connected by a piece-wise smooth curve lying entirely in D. Theorem 3.1: Path Independence of the Line Integral of a Conservative Vector Field If the vector field F x, y M x, y , N x, y is continuous on the open, connected region D 2 , then the line integral F x, y dr is independent of path in D if and only if F is C conservative in D. Proof: Since this is an “if an only if” theorem, we must show that assuming either statement leads to the other statement as a conclusion. Assuming F is conservative, i.e., F f , show that the line integral can be transformed into a perfect differential with respect to the parameter t , which by the Fundamental Theorem of Calculus can be evaluated by taking the difference of the antiderivative evaluated at the endpoints, which is a calculation independent of path. Calc 3 Lecture Notes Section 14.3 Page 4 of 10 Assuming the integral is path independent, it will always evaluate to a scalar function regardless of the path. So, if we use two special paths, one with a final “stretch” that is parallel to the x-axis, and one with a final “stretch” that is parallel to the y-axis, we can take the partial derivative of each line integral with respect to the direction of the final path and show that F is the gradient of a scalar function. Calc 3 Lecture Notes Section 14.3 Page 5 of 10 Theorem 3.2: Fundamental Theorem for Line Integrals in Two Variables If the vector field F x, y M x, y , N x, y is continuous on the open, connected region D 2 , C is any piecewise-smooth curve lying in D with initial point x1 , y1 and terminal point x2 , y2 , and F is conservative in D with F x, y f x, y , then F x, y dr f x, y C x2 , y2 x1 , y1 f x2 , y2 f x1 , y1 . Practice: 3. Let F x, y 3x 2 y 2 , 2 x3 y 4 . Show that F x, y dr is independent of path, then C evaluate the integral for any curve from (-1, 1) to (2, 4). Calc 3 Lecture Notes Section 14.3 Page 6 of 10 What happens if the curve C starts and ends at the same point? We call a curve C closed if its endpoints are the same, which can be described mathematically as: g a , h a g b , h b for C x, y | x g t , y h t , a t b . Notice that we would expect that if we evaluate the line integral of a conservative vector field along a closed path, then we would expect zero for an answer by the fundamental theorem of line integrals. This is indeed the case. Theorem 3.3: The Line Integral of a Conservative Vector Field along a Closed Curve is Zero If the vector field F x, y is continuous on the open, connected region D 2 , then F is conservative on D if and only if F x, y, z dr 0 for every piecewise-smooth curve C lying in C D. Proof: Assuming F x, y, z dr 0 for every closed path, break up an arbitrary closed path into C two piecewise-smooth curves, and show that each line integral is the negative of the other. Assuming the field is conservative, use the fundamental theorem for line integrals to show F x, y, z dr 0 . C Here we can see why the word conservative is used to describe these vector fields: if we think of F as a “force field”, then moving an object through the field along a closed path results in no net work being done, so energy is conserved when the object starts and stops at the same point. Calc 3 Lecture Notes Section 14.3 Page 7 of 10 Practice: 4. Let F x, y x, y . Show that F is conservative, and that F x, y, z dr 0 for a path C that is a circle of radius one centered at the origin. Here is a simple test for whether a vector field is conservative: Theorem 3.4 If M x, y and N x, y have continuous first partial derivatives on a simply-connected region D 2 , then M x, y dx N x, y dy is independent of path in D if and only if C M y x, y N x x, y for all (x, y) in D. Proof: For the assumption F x, y dr is path independent (and thus M x, y , N x, y is a C conservative field): Calc 3 Lecture Notes Practice: 5. Determine whether Section 14.3 Page 8 of 10 e2 x x sin y , x 2 cos y dx, dy is path independent. C Conservative Vector Fields If the vector field F x, y M x, y , N x, y is continuous on the open, simply-connected region D 2 and M x, y and N x, y have continuous first partial derivatives on D, then the following five statements are equivalent (i.e., they are either all true or all false) 1. F x, y is conservative in D. 2. F x, y is a gradient field in D. (i.e., F x, y f x, y ). 3. F x, y dr is independent of path in D. C 4. F x, y dr 0 for every piecewise-smooth closed curve C lying in D. C 5. M y x, y N x x, y for all (x, y) in D. Question: How can we tell if a vector field is conservative just by looking at it? Answer: Focus on statement #4: F x, y dr 0 for every piecewise-smooth closed curve C C lying in D. This is not a conservative vector field because a circular loop enclosing the origin has a nonzero line integral. This is a conservative vector field because any closed loop will have an equal number of field lines parallel and anti-parallel to the loop... Calc 3 Lecture Notes Section 14.3 Page 9 of 10 Theorem 3.5: Fundamental Theorem for Line Integrals in Three Variables If the vector field F x, y, z is continuous on the open, connected region D 3 , then the line integral F x, y, z dr is independent of path in D if and only if F is conservative in D. That is, C F x, y, z f x, y, z for all (x, y, z) in D for some scalar function f (the potential function for F). Further, any for any piecewise-smooth curve C lying in D with initial point x1 , y1 , z1 and terminal point x2 , y2 , z2 , it is true that F x, y, z dr f x, y, z C x2 , y2 , z2 x1 , y1 , z1 f x2 , y2 , z2 f x1 , y1 , z1 . Calc 3 Lecture Notes Section 14.3 Page 10 of 10 Practice: 6. Determine whether 4 xe z , cos y , 2 x 2e z is conservative by looking for a potential function. Another way to tell if a three-component vector field is conservative is to use partial derivatives like we did with two-component fields: F f F1 x, y, x , F2 x, y, x , F3 x, y , x f x x, y , z , f y x, y , z , f z x, y , z F1 f x F1 yz f xyz F2 f y F2 zx f yzx F3 f z F3 xy f zxy Since the mixed partial derivatives are equal: f xyz f yzx f zxy F1 yz F2 zx F3 xy This results in the following three simplified equalities: F1 yz F2 xz F2 zx F3 yx F1zy F3 xy F1 y F2 x F2 z F3 y F1z F3 x Remember the last row of equalities when we later learn that another condition for a conservative vector field is if its curl is zero: F F1 y F2 x , F2 z F3 y , F3 x F1z 0 Practice: 7. Use this new test to determine whether 4 xe z , cos y , 2 x 2e z is conservative.