Conservative Vector Fields.
May 28, 2010
Just a little post. Let’s suppose that we have some vector field , and let’s say that, because we’re so clever, we find that there is some function such that . How lucky! Then we can do something really cute.
Let’s let be a loop. That is, is a curve such that . In other words, starts and ends in the same place. Then, what happens if we wanted
which is the line integral that starts somewhere, travels on the vector field , and then ultimately goes back to where it started. Well, since we know something about we might as well use it:
and in a previous post, we note that this is very similar to the fundamental theorem of calculus: the acts as a kind of derivative of . This means:
But, hold on a second. We said that the curve started and ended at the same point; let’s say for the sake of ease, that they end at the origin. Then . This means that, ultimately,
This means that, in particular, vector fields that are the gradient of some sufficiently nice function are really sweet: any line integral around a loop is just zero! We call a vector field which is the gradient of some sufficiently nice function a conservative vector field.
As a corollary to this loop integrating stuff, we have path independence; that is, in a conservative vector field, the line integral from a point to another point is the same regardless of the path we choose to take. Let’s think about why for a second…
Given some path from point to point (let’s call this path ), let’s make another path, different from , that goes from point to and let’s call this . Then we can say that around , where the union here simply means the concatenation of the two paths to make a loop, the integral is 0 (since this is a loop in a conservative vector field). This means that:
which implies immediately that
and we have not proven this yet, but it should stand to reason that if we were to travel down path backwards (that is, from point to point , instead of the way it was stated before) we’d get our original integral but the opposite sign. Hence the negative sign on the right-hand-side. Because both of these curves were arbitrary, every path from to has the same line integral value. Cool.