You appear to be on a device with a "narrow" screen width (i.e. you are probably on a mobile phone). Due to the nature of the mathematics on this site it is best views in landscape mode. If your device is not in landscape mode many of the equations will run off the side of your device (should be able to scroll to see them) and some of the menu items will be cut off due to the narrow screen width.

Note that \(\vec r\left( a \right)\) represents the initial point on \(C\) while \(\vec r\left( b \right)\) 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.

Proof

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.

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 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.

Definitions

First suppose that \(\vec F\) is a continuous vector field in some domain \(D\).

\(\vec F\) is a conservative vector field if there is a function \(f\) such that \(\vec F = \nabla f\). The function \(f\) is called a potential function for the vector field. We first saw this definition in the first section of this chapter.

\( \displaystyle \int\limits_{C}{{\vec F\centerdot \,d\,\vec r}}\) is independent of path if \( \displaystyle \int\limits_{{{C_1}}}{{\vec F\centerdot \,d\,\vec r}} = \int\limits_{{{C_2}}}{{\vec F\centerdot \,d\,\vec r}}\) for any two paths \({C_1}\) and \({C_2}\) in \(D\) with the same initial and final points.

A path \(C\) is called closed if its initial and final points are the same point. For example, a circle is a closed path.

A path \(C\) is simple if it doesn’t cross itself. A circle is a simple curve while a figure 8 type curve is not simple.

A region \(D\) is open if it doesn’t contain any of its boundary points.

A region \(D\) is connected if we can connect any two points in the region with a path that lies completely in \(D\).

A region \(D\) is simply-connected if it is connected and it contains no holes. We won’t need this one until the next section, but it fits in with all the other definitions given here so this was a natural place to put the definition.

With these definitions we can now give some nice facts.

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.

If \(\vec F\) is a conservative vector field then \( \displaystyle \int\limits_{C}{{\vec F\centerdot \,d\,\vec r}}\) is independent of path.

This fact is also easy enough to prove. If \(\vec F\) is conservative then it has a potential function, \(f\), and so the line integral becomes \( \displaystyle \int\limits_{C}{{\vec F\centerdot \,d\,\vec r}} = \int\limits_{C}{{\nabla f\centerdot \,d\,\vec r}}\). Then using the first fact we know that this line integral must be independent of path.

If \(\vec F\) is a continuous vector field on an open connected region \(D\) and if\( \displaystyle \int\limits_{C}{{\vec F\centerdot \,d\,\vec r}}\) is independent of path (for any path in \(D\)) then \(\vec F\) is a conservative vector field on \(D\).