<< Chapter < Page | Chapter >> Page > |
When using [link] , it is important to remember that a theorem is a tool, and like any tool, it can be applied only under the right conditions. In the case of [link] , the theorem can be applied only if the domain of the vector field is simply connected.
To see what can go wrong when misapplying the theorem, consider the vector field from [link] :
This vector field satisfies the cross-partial property, since
and
Since F satisfies the cross-partial property, we might be tempted to conclude that F is conservative. However, F is not conservative. To see this, let
be a parameterization of the upper half of a unit circle oriented counterclockwise (denote this and let
be a parameterization of the lower half of a unit circle oriented clockwise (denote this Notice that and have the same starting point and endpoint. Since
and
Therefore,
Thus, and have the same starting point and endpoint, but Therefore, F is not independent of path and F is not conservative.
To summarize: F satisfies the cross-partial property and yet F is not conservative. What went wrong? Does this contradict [link] ? The issue is that the domain of F is all of except for the origin. In other words, the domain of F has a hole at the origin, and therefore the domain is not simply connected. Since the domain is not simply connected, [link] does not apply to F .
We close this section by looking at an example of the usefulness of the Fundamental Theorem for Line Integrals. Now that we can test whether a vector field is conservative, we can always decide whether the Fundamental Theorem for Line Integrals can be used to calculate a vector line integral. If we are asked to calculate an integral of the form then our first question should be: Is F conservative? If the answer is yes, then we should find a potential function and use the Fundamental Theorem for Line Integrals to calculate the integral. If the answer is no, then the Fundamental Theorem for Line Integrals can’t help us and we have to use other methods, such as using [link] .
Calculate line integral where and C is any smooth curve that goes from the origin to
Before trying to compute the integral, we need to determine whether F is conservative and whether the domain of F is simply connected. The domain of F is all of which is connected and has no holes. Therefore, the domain of F is simply connected. Let
so that Since the domain of F is simply connected, we can check the cross partials to determine whether F is conservative. Note that
Therefore, F is conservative.
To evaluate using the Fundamental Theorem for Line Integrals, we need to find a potential function for F . Let be a potential function for F . Then, and therefore Integrating this equation with respect to x gives for some function h . Differentiating this equation with respect to y gives which implies that Therefore, h is a function of z only, and To find h , note that Therefore, and we can take A potential function for F is
Now that we have a potential function, we can use the Fundamental Theorem for Line Integrals to evaluate the integral. By the theorem,
Notification Switch
Would you like to follow the 'Calculus volume 3' conversation and receive update notifications?