Fundamental Theorem of Calculus that told us how to evaluate definite integrals. This told us,
It turns out that there is a version of this for line integrals over certain kinds of vector fields. Here it is.
Suppose that C is a smooth curve given by
represents the initial point on C while represents the final point on C. Also, we did not specify the number of variables for the function since it is really immaterial to the theorem. The theorem will hold regardless of the number of variables in the function.
This is a fairly straight forward proof.
For the purposes of the proof we’ll assume that we’re working in three dimensions, but it can be done in any dimension.
Let’s start by just computing the line integral.
Now, at this point we can use the Chain Rule to simplify the integrand as follows,
To finish this off we just need to use the Fundamental Theorem of Calculus for single integrals.
Let’s take a quick look at an example of using this theorem.
Example 1 Evaluate
First let’s notice that we didn’t specify the path for getting from the first point to the second point. The reason for this is simple. The theorem above tells us that all we need are the initial and final points on the curve in order to evaluate this kind of line integral.
The integral is then,
Notice that we also didn’t need the gradient vector to actually do this line integral. However, for the practice of finding gradient vectors here it is,
The most important idea to get from this example is not how to do the integral as that’s pretty simple, all we do is plug the final point and initial point into the function and subtract the two results. The important idea from this example (and hence about the Fundamental Theorem of Calculus) is that, for these kinds of line integrals, we didn’t really need to know the path to get the answer. In other words, we could use any path we want and we’ll always get the same results.
In the first section on line integrals (even though we weren’t looking at vector fields) we saw that often when we change the path we will change the value of the line integral. We now have a type of line integral for which we know that changing the path will NOT change the value of the line integral.
Let’s formalize this idea up a little. Here are some definitions. The first one we’ve already seen before, but it’s been a while and it’s important in this section so we’ll give it again. The remaining definitions are new.
With these definitions we can now give some nice facts.
This is easy enough to prove since all we need to do is look at the theorem above. The theorem tells us that in order to evaluate this integral all we need are the initial and final points of the curve. This in turn tells us that the line integral must be independent of path.
This fact is also easy enough to prove. If