Skip to ContentGo to accessibility pageKeyboard shortcuts menu
OpenStax Logo
Calculus Volume 3

6.3 Conservative Vector Fields

Calculus Volume 36.3 Conservative Vector Fields

Learning Objectives

  • 6.3.1 Describe simple and closed curves; define connected and simply connected regions.
  • 6.3.2 Explain how to find a potential function for a conservative vector field.
  • 6.3.3 Use the Fundamental Theorem for Line Integrals to evaluate a line integral in a vector field.
  • 6.3.4 Explain how to test a vector field to determine whether it is conservative.

In this section, we continue the study of conservative vector fields. We examine the Fundamental Theorem for Line Integrals, which is a useful generalization of the Fundamental Theorem of Calculus to line integrals of conservative vector fields. We also show how to test whether a given vector field is conservative, and determine how to build a potential function for a vector field known to be conservative.

Curves and Regions

Before continuing our study of conservative vector fields, we need some geometric definitions. The theorems in the subsequent sections all rely on integrating over certain kinds of curves and regions, so we develop the definitions of those curves and regions here.

We first define two special kinds of curves: closed curves and simple curves. As we have learned, a closed curve is one that begins and ends at the same point. A simple curve is one that does not cross itself. A curve that is both closed and simple is a simple closed curve (Figure 6.25).

Definition

Curve C is a closed curve if there is a parameterization r(t),atbr(t),atb of C such that the parameterization traverses the curve exactly once and r(a)=r(b).r(a)=r(b). Curve C is a simple curve if C does not cross itself. That is, C is simple if there exists a parameterization r(t),atbr(t),atb of C such that r is one-to-one over (a,b).(a,b). It is possible for r(a)=r(b),r(a)=r(b), meaning that the simple curve is also closed.

An image showing eight curves and their types. The first curve is neither simple nor closed; it has two endpoints and crosses itself twice. The second curve is simple but not closed; it does not cross itself and has two endpoints. The third curve is closed but is not simple; it crosses itself a few times. The fourth is a simple closed curve; it does not cross itself and has no endpoints. The fifth is a simple, not closed curve; it does not cross itself, but it has endpoints. The sixth is a simple, closed curve; it does not cross itself and has no endpoints. The seventh is closed but not a simple curve; it crosses itself but has no endpoints. The last is not simple and not closed; it crosses itself and has endpoints.
Figure 6.25 Types of curves that are simple or not simple and closed or not closed.

Example 6.27

Determining Whether a Curve Is Simple and Closed

Is the curve with parameterization r(t)=cost,sin(2t)2,0t2πr(t)=cost,sin(2t)2,0t2π a simple closed curve?

Checkpoint 6.24

Is the curve given by parameterization r(t)=2cost,3sint,0t6π,r(t)=2cost,3sint,0t6π, a simple closed curve?

Many of the theorems in this chapter relate an integral over a region to an integral over the boundary of the region, where the region’s boundary is a simple closed curve or a union of simple closed curves. To develop these theorems, we need two geometric definitions for regions: that of a connected region and that of a simply connected region. A connected region is one in which there is a path in the region that connects any two points that lie within that region. A simply connected region is a connected region that does not have any holes in it. These two notions, along with the notion of a simple closed curve, allow us to state several generalizations of the Fundamental Theorem of Calculus later in the chapter. These two definitions are valid for regions in any number of dimensions, but we are only concerned with regions in two or three dimensions.

Definition

A region D is a connected region if, for any two points P1P1 and P2,P2, there is a path from P1P1 to P2P2 with a trace contained entirely inside D. A region D is a simply connected region if D is connected for any simple closed curve C that lies inside D, and curve C can be shrunk continuously to a point while staying entirely inside D. In two dimensions, a region is simply connected if it is connected and has no holes.

All simply connected regions are connected, but not all connected regions are simply connected (Figure 6.27).

A diagram showing simply connected, connected, and not connected regions. The simply connected regions have no holes. The connected regions may have holes, but a path can still be found between any two points in the region. The not connected region has some points that cannot be connected by a path in the region. Here, this is illustrated by showing two circular shapes that are defined as part of region D1 but are separated by white space.
Figure 6.27 Not all connected regions are simply connected. (a) Simply connected regions have no holes. (b) Connected regions that are not simply connected may have holes but you can still find a path in the region between any two points. (c) A region that is not connected has some points that cannot be connected by a path in the region.

Checkpoint 6.25

Is the region in the below image connected? Is the region simply connected?

A shaded circle with an open space in the shape of a circle inside it but very close to the boundary.

Fundamental Theorem for Line Integrals

Now that we understand some basic curves and regions, let’s generalize the Fundamental Theorem of Calculus to line integrals. Recall that the Fundamental Theorem of Calculus says that if a function ff has an antiderivative F, then the integral of ff from a to b depends only on the values of F at a and at b—that is,

abf(x)dx=F(b)F(a).abf(x)dx=F(b)F(a).

If we think of the gradient as a derivative, then the same theorem holds for vector line integrals. We show how this works using a motivational example.

Example 6.28

Evaluating a Line Integral and the Antiderivatives of the Endpoints

Let F(x,y)=2x,4y.F(x,y)=2x,4y. Calculate CF.dr,CF.dr, where C is the line segment from (0,0) to (2,2)(Figure 6.28).

The following theorem says that, under certain conditions, what happened in the previous example holds for any gradient field. The same theorem holds for vector line integrals, which we call the Fundamental Theorem for Line Integrals.

Theorem 6.7

The Fundamental Theorem for Line Integrals

Let C be a piecewise smooth curve with parameterization r(t),atb.r(t),atb. Let ff be a function of two or three variables with first-order partial derivatives that exist and are continuous on C. Then,

Cf.dr=f(r(b))f(r(a)).Cf.dr=f(r(b))f(r(a)).
(6.12)

Proof

By Equation 6.9,

Cf.dr=abf(r(t)).r(t)dt.Cf.dr=abf(r(t)).r(t)dt.

By the chain rule,

ddt(f(r(t))=f(r(t)).r(t).ddt(f(r(t))=f(r(t)).r(t).

Therefore, by the Fundamental Theorem of Calculus,

Cf.dr=abf(r(t)).r(t)dt=abddt(f(r(t))dt=[f(r(t))]t=at=b=f(r(b))f(r(a)).Cf.dr=abf(r(t)).r(t)dt=abddt(f(r(t))dt=[f(r(t))]t=at=b=f(r(b))f(r(a)).

We know that if F is a conservative vector field, there are potential functions ff such that f=F.f=F. Therefore CF·dr=Cf·dr=f(r(b))f(r(a)).CF·dr=Cf·dr=f(r(b))f(r(a)). In other words, just as with the Fundamental Theorem of Calculus, computing the line integral CF·dr,CF·dr, where F is conservative, is a two-step process: (1) find a potential function (“antiderivative”) ff for F and (2) compute the value of ff at the endpoints of C and calculate their difference f(r(b))f(r(a)).f(r(b))f(r(a)). Keep in mind, however, there is one major difference between the Fundamental Theorem of Calculus and the Fundamental Theorem for Line Integrals. A function of one variable that is continuous must have an antiderivative. However, a vector field, even if it is continuous, does not need to have a potential function.

Example 6.29

Applying the Fundamental Theorem

Calculate integral CF.dr,CF.dr, where F(x,y,z)=2xlny,x2y+z2,2yzF(x,y,z)=2xlny,x2y+z2,2yz and C is a curve with parameterization r(t)=t2,t,t,1ter(t)=t2,t,t,1te

  1. without using the Fundamental Theorem of Line Integrals and
  2. using the Fundamental Theorem of Line Integrals.

Example 6.29 illustrates a nice feature of the Fundamental Theorem of Line Integrals: it allows us to calculate more easily many vector line integrals. As long as we have a potential function, calculating the line integral is only a matter of evaluating the potential function at the endpoints and subtracting.

Checkpoint 6.26

Given that f(x,y)=(x1)2y+(y+1)2xf(x,y)=(x1)2y+(y+1)2x is a potential function for F=2xy2y+(y+1)2,(x1)2+2yx+2x,F=2xy2y+(y+1)2,(x1)2+2yx+2x, calculate integral CF·dr,CF·dr, where C is the lower half of the unit circle oriented counterclockwise.

A vector field in two dimensions. The arrows near the origin are the shortest, and the arrows in the upper right and lower left corners of quadrants 1 and 3 are the shortest. The arrows go up and to the left in quadrants 1 and 3. In quadrant 2, the arrows stretch up and to the right for values greater than x=-1. The closer the arrows are to y=1, the more horizontal they become. For values less than x=-1, the arrows point up and form a curve to the left. The closer the arrows are to y=1, the more horizontal they become. Above y=1, it looks like the arrows are shifting from vertical, going down to horizontal. In quadrant 4, the arrows go up and to the right fairly regularly, but they tend to be curving to the right the larger the x value becomes. For y values less than -1, the arrows shift from pointing up to pointing down, following x=1. The lower half of the unit circle with center at the origin is drawn in quadrants 3 and 4.

The Fundamental Theorem for Line Integrals has two important consequences. The first consequence is that if F is conservative and C is a closed curve, then the circulation of F along C is zero—that is, CF·dr=0.CF·dr=0. To see why this is true, let ff be a potential function for F. Since C is a closed curve, the terminal point r(b) of C is the same as the initial point r(a) of C—that is, r(a)=r(b).r(a)=r(b). Therefore, by the Fundamental Theorem for Line Integrals,

CF·dr=Cf·dr=f(r(b))f(r(a))=f(r(b))f(r(b))=0.CF·dr=Cf·dr=f(r(b))f(r(a))=f(r(b))f(r(b))=0.

Recall that the reason a conservative vector field F is called “conservative” is because such vector fields model forces in which energy is conserved. We have shown gravity to be an example of such a force. If we think of vector field F in integral CF·drCF·dr as a gravitational field, then the equation CF·dr=0CF·dr=0 follows. If a particle travels along a path that starts and ends at the same place, then the work done by gravity on the particle is zero.

The second important consequence of the Fundamental Theorem for Line Integrals is that line integrals of conservative vector fields are independent of path—meaning, they depend only on the endpoints of the given curve, and do not depend on the path between the endpoints.

Definition

Let F be a vector field with domain D. The vector field F is independent of path (or path independent) if C1F·dr=C2F·drC1F·dr=C2F·dr for any paths C1C1 and C2C2 in D with the same initial and terminal points.

The second consequence is stated formally in the following theorem.

Theorem 6.8

Path Independence of Conservative Fields

If F is a conservative vector field, then F is independent of path.

Proof

Let D denote the domain of F and let C1C1 and C2C2 be two paths in D with the same initial and terminal points (Figure 6.29). Call the initial point P1P1 and the terminal point P2.P2. Since F is conservative, there is a potential function ff for F. By the Fundamental Theorem for Line Integrals,

C1F·dr=f(P2)f(P1)=C2F·dr.C1F·dr=f(P2)f(P1)=C2F·dr.

Therefore, C1F·dr=C2F·drC1F·dr=C2F·dr and F is independent of path.

A vector field in two dimensions. The arrows are shorter the closer to the x axis and line x=1.5 they become. The arrows point up, converging around x=1.5 in quadrant 1. That line is approached from the left and from the right. Below, in quadrant 4, the arrows in the rough interval [1,2.5] curve out, away from the given line x=1.5, but do turn back in and converge to x=1.5 above the x axis. Outside of that interval, the arrows go to the left and right horizontally for x values less than 1 and greater than 2.5, respectively. A line is drawn from P_1 at the origin to P_2 at (3,.75) and labeled C_2. C_1 is a simple curve that connects the given endpoints above C_2, C_3 is a simple curve that connects the given endpoints below C_2.
Figure 6.29 The vector field is conservative, and therefore independent of path.

To visualize what independence of path means, imagine three hikers climbing from base camp to the top of a mountain. Hiker 1 takes a steep route directly from camp to the top. Hiker 2 takes a winding route that is not steep from camp to the top. Hiker 3 starts by taking the steep route but halfway to the top decides it is too difficult for him. Therefore he returns to camp and takes the non-steep path to the top. All three hikers are traveling along paths in a gravitational field. Since gravity is a force in which energy is conserved, the gravitational field is conservative. By independence of path, the total amount of work done by gravity on each of the hikers is the same because they all started in the same place and ended in the same place. The work done by the hikers includes other factors such as friction and muscle movement, so the total amount of energy each one expended is not the same, but the net energy expended against gravity is the same for all three hikers.

We have shown that if F is conservative, then F is independent of path. It turns out that if the domain of F is open and connected, then the converse is also true. That is, if F is independent of path and the domain of F is open and connected, then F is conservative. Therefore, the set of conservative vector fields on open and connected domains is precisely the set of vector fields independent of path.

Theorem 6.9

The Path Independence Test for Conservative Fields

If F is a continuous vector field that is independent of path and the domain D of F is open and connected, then F is conservative.

Proof

We prove the theorem for vector fields in 2.2. The proof for vector fields in 33 is similar. To show that F=P,QF=P,Q is conservative, we must find a potential function ff for F. To that end, let X be a fixed point in D. For any point (x,y)(x,y) in D, let C be a path from X to (x,y).(x,y). Define ff(x,y)(x,y) by f(x,y)=CF·dr.f(x,y)=CF·dr. (Note that this definition of ff makes sense only because F is independent of path. If F was not independent of path, then it might be possible to find another path CC from X to (x,y)(x,y) such that CF·drCF·dr,CF·drCF·dr, and in such a case ff(x,y)(x,y) would not be a function.) We want to show that ff has the property f=F.f=F.

Since domain D is open, it is possible to find a disk centered at (x,y)(x,y) such that the disk is contained entirely inside D. Let (a,y)(a,y) with a<xa<x be a point in that disk. Let C be a path from X to (x,y)(x,y) that consists of two pieces: C1C1 and C2.C2. The first piece, C1,C1, is any path from X to (a,y)(a,y) that stays inside D; C2C2 is the horizontal line segment from (a,y)(a,y) to (x,y)(x,y) (Figure 6.30). Then

f(x,y)=C1F·dr+C2F·dr.f(x,y)=C1F·dr+C2F·dr.

The first integral does not depend on x, so

fx=xC2F.dr.fx=xC2F.dr.

If we parameterize C2C2 by r(t)=t,y,atx,r(t)=t,y,atx, then

fx=xC2F.dr=xaxF(r(t)).r(t)dt=xaxF(r(t)).ddt(t,y)dt=xaxF(r(t)).1,0dt=xaxP(t,y)dt.fx=xC2F.dr=xaxF(r(t)).r(t)dt=xaxF(r(t)).ddt(t,y)dt=xaxF(r(t)).1,0dt=xaxP(t,y)dt.

By the Fundamental Theorem of Calculus (part 1),

fx=xaxP(t,y)dt=P(x,y).fx=xaxP(t,y)dt=P(x,y).
A diagram of a region D in the rough shape of a backwards C. It is a simply connected region formed by a closed curve. Another curve C_1 is drawn inside D from point X to (a,y). C_2 is a horizontal line segment drawn from (a,y) to (x,y). Arrowheads point to (a,y) on C_1 and to (x,y) on C_2.
Figure 6.30 Here, C1C1 is any path from X to (a,y)(a,y) that stays inside D, and C2C2 is the horizontal line segment from (a,y)(a,y) to (x,y).(x,y).

A similar argument using a vertical line segment rather than a horizontal line segment shows that fy=Q(x,y).fy=Q(x,y).

Therefore f=Ff=F and F is conservative.

We have spent a lot of time discussing and proving Path Independence of Conservative Fields and The Path Independence Test for Conservative Fields, but we can summarize them simply: a vector field F on an open and connected domain is conservative if and only if it is independent of path. This is important to know because conservative vector fields are extremely important in applications, and these theorems give us a different way of viewing what it means to be conservative using path independence.

Example 6.30

Showing That a Vector Field Is Not Conservative

Use path independence to show that vector field F(x,y)=x2y,y+5F(x,y)=x2y,y+5 is not conservative.

Checkpoint 6.27

Show that F(x,y)=xy,x2y2F(x,y)=xy,x2y2 is not path independent by considering the line segment from (0,0)(0,0) to (2,2)(2,2) and the piece of the graph of y=x22y=x22 that goes from (0,0)(0,0) to (2,2).(2,2).

Conservative Vector Fields and Potential Functions

As we have learned, the Fundamental Theorem for Line Integrals says that if F is conservative, then calculating CF·drCF·dr has two steps: first, find a potential function ff for F and, second, calculate f(P1)f(P0),f(P1)f(P0), where P1P1 is the endpoint of C and P0P0 is the starting point. To use this theorem for a conservative field F, we must be able to find a potential function ff for F. Therefore, we must answer the following question: Given a conservative vector field F, how do we find a function ff such that f=F?f=F? Before giving a general method for finding a potential function, let’s motivate the method with an example.

Example 6.31

Finding a Potential Function

Find a potential function for F(x,y)=2xy3,3x2y2+cos(y),F(x,y)=2xy3,3x2y2+cos(y), thereby showing that F is conservative.

Checkpoint 6.28

Find a potential function for F(x,y)=exy3+y,3exy2+x.F(x,y)=exy3+y,3exy2+x.

The logic of the previous example extends to finding the potential function for any conservative vector field in 2.2. Thus, we have the following problem-solving strategy for finding potential functions:

Problem-Solving Strategy

Problem-Solving Stragegy: Finding a Potential Function for a Conservative Vector Field F(x,y)=P(x,y),Q(x,y)F(x,y)=P(x,y),Q(x,y)

  1. Integrate P with respect to x. This results in a function of the form g(x,y)+h(y),g(x,y)+h(y), where h(y)h(y) is unknown.
  2. Take the partial derivative of g(x,y)+h(y)g(x,y)+h(y) with respect to y, which results in the function gy(x,y)+h(y).gy(x,y)+h(y).
  3. Use the equation gy(x,y)+h(y)=Q(x,y)gy(x,y)+h(y)=Q(x,y) to find h(y).h(y).
  4. Integrate h(y)h(y) to find h(y).h(y).
  5. Any function of the form f(x,y)=g(x,y)+h(y)+C,f(x,y)=g(x,y)+h(y)+C, where C is a constant, is a potential function for F.

We can adapt this strategy to find potential functions for vector fields in 3,3, as shown in the next example.

Example 6.32

Finding a Potential Function in 33

Find a potential function for F(x,y,z)=2xy,x2+2yz3,3y2z2+2z,F(x,y,z)=2xy,x2+2yz3,3y2z2+2z, thereby showing that FF is conservative.

Checkpoint 6.29

Find a potential function for F(x,y,z)=12x2,cosycosz,1sinysinz.F(x,y,z)=12x2,cosycosz,1sinysinz.

We can apply the process of finding a potential function to a gravitational force. Recall that, if an object has unit mass and is located at the origin, then the gravitational force in 22 that the object exerts on another object of unit mass at the point (x,y)(x,y) is given by vector field

F(x,y)=Gx(x2+y2)3/2,y(x2+y2)3/2,F(x,y)=Gx(x2+y2)3/2,y(x2+y2)3/2,

where G is the universal gravitational constant. In the next example, we build a potential function for F, thus confirming what we already know: that gravity is conservative.

Example 6.33

Finding a Potential Function

Find a potential function ff for F(x,y)=Gx(x2+y2)3/2,y(x2+y2)3/2.F(x,y)=Gx(x2+y2)3/2,y(x2+y2)3/2.

Checkpoint 6.30

Find a potential function ff for the three-dimensional gravitational force F(x,y,z)=Gx(x2+y2+z2)3/2,Gy(x2+y2+z2)3/2,Gz(x2+y2+z2)3/2.F(x,y,z)=Gx(x2+y2+z2)3/2,Gy(x2+y2+z2)3/2,Gz(x2+y2+z2)3/2.

Testing a Vector Field

Until now, we have worked with vector fields that we know are conservative, but if we are not told that a vector field is conservative, we need to be able to test whether it is conservative. Recall that, if F is conservative, then F has the cross-partial property (see The Cross-Partial Property of Conservative Vector Fields). That is, if F=P,Q,RF=P,Q,R is conservative, then Py=Qx,Pz=Rx,Py=Qx,Pz=Rx, and Qz=Ry.Qz=Ry. So, if F has the cross-partial property, then is F conservative? If the domain of F is open and simply connected, then the answer is yes.

Theorem 6.10

The Cross-Partial Test for Conservative Fields

If F=P,Q,RF=P,Q,R is a vector field on an open, simply connected region D and Py=Qx,Pz=Rx,Py=Qx,Pz=Rx, and Qz=RyQz=Ry throughout D, then F is conservative.

Although a proof of this theorem is beyond the scope of the text, we can discover its power with some examples. Later, we see why it is necessary for the region to be simply connected.

Combining this theorem with the cross-partial property, we can determine whether a given vector field is conservative:

Theorem 6.11

Cross-Partial Property of Conservative Fields

Let F=P,Q,RF=P,Q,R be a vector field on an open, simply connected region D. Then Py=Qx,Pz=Rx,Py=Qx,Pz=Rx, and Qz=RyQz=Ry throughout D if and only if F is conservative.

The version of this theorem in 22 is also true. If F=P,QF=P,Q is a vector field on an open, simply connected domain in 2,2, then F is conservative if and only if Py=Qx.Py=Qx.

Example 6.34

Determining Whether a Vector Field Is Conservative

Determine whether vector field F(x,y,z)=xy2z,x2yz,z2F(x,y,z)=xy2z,x2yz,z2 is conservative.

Example 6.35

Determining Whether a Vector Field Is Conservative

Determine vector field F(x,y)=xln(y),x22yF(x,y)=xln(y),x22y is conservative.

Checkpoint 6.31

Determine whether F(x,y)=sinxcosy,cosxsinyF(x,y)=sinxcosy,cosxsiny is conservative.

When using Cross-Partial Property of Conservative Fields, 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 Cross-Partial Property of Conservative Fields, 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:

F(x,y)=yx2+y2i+xx2+y2j.F(x,y)=yx2+y2i+xx2+y2j.

This vector field satisfies the cross-partial property, since

y(yx2+y2)=(x2+y2)y(2y)(x2+y2)2=x2y2(x2+y2)2y(yx2+y2)=(x2+y2)y(2y)(x2+y2)2=x2y2(x2+y2)2

and

x(xx2+y2)=(x2+y2)+x(2x)(x2+y2)2=x2y2(x2+y2)2.x(xx2+y2)=(x2+y2)+x(2x)(x2+y2)2=x2y2(x2+y2)2.

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

r(t)=cost,sint,0tπr(t)=cost,sint,0tπ

be a parameterization of the upper half of a unit circle oriented counterclockwise (denote this C1)C1) and let

s(t)=cost,sint,0tπs(t)=cost,sint,0tπ

be a parameterization of the lower half of a unit circle oriented clockwise (denote this C2).C2). Notice that C1C1 and C2C2 have the same starting point and endpoint. Since sin2t+cos2t=1,sin2t+cos2t=1,

F(r(t)).r(t)=sin(t),cos(t).sin(t),cos(t)=−1F(r(t)).r(t)=sin(t),cos(t).sin(t),cos(t)=−1

and

F(s(t))·s(t)=sint,cost·sint,cost=sin2t+cos2t=1.F(s(t))·s(t)=sint,cost·sint,cost=sin2t+cos2t=1.

Therefore,

C1F·dr=0π−1dt=πandC2F·dr=0π1dt=π.C1F·dr=0π−1dt=πandC2F·dr=0π1dt=π.

Thus, C1C1 and C2C2 have the same starting point and endpoint, but C1F·drC2F·dr.C1F·drC2F·dr. 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 Cross-Partial Property of Conservative Fields? The issue is that the domain of F is all of 22 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, Cross-Partial Property of Conservative Fields 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 CF·dr,CF·dr, 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 Equation 6.9.

Example 6.36

Using the Fundamental Theorem for Line Integrals

Calculate line integral CF·dr,CF·dr, where F(x,y,z)=2xeyz+exz,x2eyz,x2ey+exF(x,y,z)=2xeyz+exz,x2eyz,x2ey+ex and C is any smooth curve that goes from the origin to (1,1,1).(1,1,1).

Analysis

Notice that if we hadn’t recognized that F is conservative, we would have had to parameterize C and use Equation 6.9. Since curve C is unknown, using the Fundamental Theorem for Line Integrals is much simpler.

Checkpoint 6.32

Calculate integral CF·dr,CF·dr, where F(x,y)=sinxsiny,5cosxcosyF(x,y)=sinxsiny,5cosxcosy and C is a semicircle with starting point (0,π)(0,π) and endpoint (0,π).(0,π).

Example 6.37

Work Done on a Particle

Let F(x,y)=2xy2,2x2yF(x,y)=2xy2,2x2y be a force field. Suppose that a particle begins its motion at the origin and ends its movement at any point in a plane that is not on the x-axis or the y-axis. Furthermore, the particle’s motion can be modeled with a smooth parameterization. Show that F does positive work on the particle.

Analysis

Notice that this problem would be much more difficult without using the Fundamental Theorem for Line Integrals. To apply the tools we have learned, we would need to give a curve parameterization and use Equation 6.9. Since the path of motion C can be as exotic as we wish (as long as it is smooth), it can be very difficult to parameterize the motion of the particle.

Checkpoint 6.33

Let F(x,y)=4x3y4,4x4y3,F(x,y)=4x3y4,4x4y3, and suppose that a particle moves from point (4,4)(4,4) to (1,1)(1,1) along any smooth curve. Is the work done by F on the particle positive, negative, or zero?

Section 6.3 Exercises

99.

True or False? If vector field F is conservative on the open and connected region D, then line integrals of F are path independent on D, regardless of the shape of D.

100.

True or False? Function r(t)=a+t(ba),r(t)=a+t(ba), where 0t1,0t1, parameterizes the straight-line segment from atob.atob.

101.

True or False? Vector field F(x,y,z)=(ysinz)i+(xsinz)j+(xycosz)kF(x,y,z)=(ysinz)i+(xsinz)j+(xycosz)k is conservative.

102.

True or False? Vector field F(x,y,z)=yi+(x+z)jykF(x,y,z)=yi+(x+z)jyk is conservative.

103.

Verify the Fundamental Theorem of Line Integrals for CF·drCF·dr by computing the integral using a parameterization and, separately, by finding a potential function for the case when F(x,y)=(2x+2y)i+(2x+2y)jF(x,y)=(2x+2y)i+(2x+2y)j and C is a portion of the positively oriented circle x2+y2=25x2+y2=25 from (5, 0) to (3, 4).

104.

[T] Find CF·dr,CF·dr, where F(x,y)=(yexy+cosx)i+(xexy+1y2+1)jF(x,y)=(yexy+cosx)i+(xexy+1y2+1)j and C is a portion of curve y=sinxy=sinx from x=0x=0 to x=π2.x=π2.

105.

[T] Evaluate line integral CF·dr,CF·dr, where F(x,y)=(exsinyy)i+(excosyx2)j,F(x,y)=(exsinyy)i+(excosyx2)j, and C is the path given by r(t)=[t3sinπt2]i[π2cos(πt2+π2)]jr(t)=[t3sinπt2]i[π2cos(πt2+π2)]j for 0t1.0t1.

A vector field in three dimensions. The arrows are roughly the same length and all point up into the z-plane. A curve is drawn seemingly parallel to the (x,y)-plane. In the (x,y)-plane, it would look like a decreasing concave down curve in quadrant 1.

For the following exercises, determine whether the vector field is conservative and, if it is, find the potential function.

106.

F ( x , y ) = 2 x y 3 i + 3 y 2 x 2 j F ( x , y ) = 2 x y 3 i + 3 y 2 x 2 j

107.

F ( x , y ) = ( y + e x sin y ) i + [ ( x + 2 ) e x cos y ] j F ( x , y ) = ( y + e x sin y ) i + [ ( x + 2 ) e x cos y ] j

108.

F ( x , y ) = ( e 2 x sin y ) i + [ e 2 x cos y ] j F ( x , y ) = ( e 2 x sin y ) i + [ e 2 x cos y ] j

109.

F ( x , y ) = ( 6 x + 5 y ) i + ( 5 x + 4 y ) j F ( x , y ) = ( 6 x + 5 y ) i + ( 5 x + 4 y ) j

110.

F ( x , y ) = [ 2 x cos ( y ) y cos ( x ) ] i + [ x 2 sin ( y ) sin ( x ) ] j F ( x , y ) = [ 2 x cos ( y ) y cos ( x ) ] i + [ x 2 sin ( y ) sin ( x ) ] j

111.

F ( x , y ) = [ y e x + sin ( y ) ] i + [ e x + x cos ( y ) ] j F ( x , y ) = [ y e x + sin ( y ) ] i + [ e x + x cos ( y ) ] j

For the following exercises, evaluate the line integrals using the Fundamental Theorem of Line Integrals.

112.

C(yi+xj)·dr,C(yi+xj)·dr, where C is any path from (0, 0) to (2, 4)

113.

C(2ydx+2xdy),C(2ydx+2xdy), where C is the line segment from (0, 0) to (4, 4)

114.

[T] C[arctanyxxyx2+y2]dx+[x2x2+y2+ey(1y)]dy,C[arctanyxxyx2+y2]dx+[x2x2+y2+ey(1y)]dy, where C is any smooth curve from (1, 1) to (−1,2)(−1,2)

115.

Find the conservative vector field for the potential function

f ( x , y ) = 5 x 2 + 3 x y + 10 y 2 . f ( x , y ) = 5 x 2 + 3 x y + 10 y 2 .

For the following exercises, determine whether the vector field is conservative and, if so, find a potential function.

116.

F ( x , y ) = ( 12 x y ) i + 6 ( x 2 + y 2 ) j F ( x , y ) = ( 12 x y ) i + 6 ( x 2 + y 2 ) j

117.

F ( x , y ) = ( e x cos y ) i + 6 ( e x sin y ) j F ( x , y ) = ( e x cos y ) i + 6 ( e x sin y ) j

118.

F ( x , y ) = ( 2 x y e x 2 y ) i + ( x 2 e x 2 y ) j F ( x , y ) = ( 2 x y e x 2 y ) i + ( x 2 e x 2 y ) j

119.

F ( x , y , z ) = ( y e z ) i + ( x e z ) j + ( x y e z ) k F ( x , y , z ) = ( y e z ) i + ( x e z ) j + ( x y e z ) k

120.

F ( x , y , z ) = ( sin y ) i ( x cos y ) j + k F ( x , y , z ) = ( sin y ) i ( x cos y ) j + k

121.

F ( x , y , z ) = ( 1 y ) i + ( x y 2 ) j + ( 2 z 1 ) k F ( x , y , z ) = ( 1 y ) i + ( x y 2 ) j + ( 2 z 1 ) k

122.

F ( x , y , z ) = 3 z 2 i cos y j + 2 x z k F ( x , y , z ) = 3 z 2 i cos y j + 2 x z k

123.

F ( x , y , z ) = ( 2 x y ) i + ( x 2 + 2 y z ) j + y 2 k F ( x , y , z ) = ( 2 x y ) i + ( x 2 + 2 y z ) j + y 2 k

124.

F ( x , y ) = ( e x cos y ) i + 6 ( e x sin y ) j F ( x , y ) = ( e x cos y ) i + 6 ( e x sin y ) j

125.

F ( x , y ) = ( 2 x y e x 2 y ) i + ( x 2 e x 2 y ) j F ( x , y ) = ( 2 x y e x 2 y ) i + ( x 2 e x 2 y ) j

For the following exercises, evaluate the integral using the Fundamental Theorem of Line Integrals.

126.

Evaluate Cf·dr,Cf·dr, where f(x,y,z)=cos(πx)+sin(πy)xyzf(x,y,z)=cos(πx)+sin(πy)xyz and C is any path that starts at (1,12,2)(1,12,2) and ends at (2,1,−1).(2,1,−1).

127.

[T] Evaluate Cf·dr,Cf·dr, where f(x,y)=xy+exf(x,y)=xy+ex and C is a straight line from (0,0)(0,0) to (2,1).(2,1).

128.

[T] Evaluate Cf·dr,Cf·dr, where f(x,y)=x2yxf(x,y)=x2yx and C is any path in a plane from (1, 2) to (3, 2).

129.

Evaluate Cf·dr,Cf·dr, where f(x,y,z)=xyz2yzf(x,y,z)=xyz2yz and C has initial point (1, 2, 3) and terminal point (3, 5, 1).

For the following exercises, let F(x,y)=2xy2i+(2yx2+2y)jF(x,y)=2xy2i+(2yx2+2y)j and G(x,y)=(y+x)i+(yx)j,G(x,y)=(y+x)i+(yx)j, and let C1 be the curve consisting of the circle of radius 2, centered at the origin and oriented counterclockwise, and C2 be the curve consisting of a line segment from (0, 0) to (1, 1) followed by a line segment from (1, 1) to (3, 1).

A vector fields in two dimensions is shown. It has short arrows close to the origin. Longer arrows are in the upper right corner of quadrant 1 and somewhat in the bottom right of quadrant 4, upper left of quadrant 2, and lower left of quadrant 3. The arrows all point away from the origin at about 90-degrees in their respective quadrants. A unit circle with center at the origin is drawn as C_1. Curve C_2 connects the origin, (1,1), and (3,1) with arrowheads pointing in that order. A vector field has the same curves C_1 and C_2. However, the arrows are different. Here, the arrows spiral out from the origin in a clockwise manner. The further away they are from the origin, the longer they become. They are largely horizontal in quadrants 1 and 3 and largely vertical in quadrants 2 and 4.
130.

Calculate the line integral of F over C1.

131.

Calculate the line integral of G over C1.

132.

Calculate the line integral of F over C2.

133.

Calculate the line integral of G over C2.

134.

[T] Let F(x,y,z)=x2i+zsin(yz)j+ysin(yz)k.F(x,y,z)=x2i+zsin(yz)j+ysin(yz)k. Calculate CF·dr,CF·dr, where C is a path from A=(0,0,1)A=(0,0,1) to B=(3,1,2).B=(3,1,2).

135.

[T] Find line integral CF·drCF·dr of vector field F(x,y,z)=3x2zi+z2j+(x3+2yz)kF(x,y,z)=3x2zi+z2j+(x3+2yz)k along curve C parameterized by r(t)=(lntln2)i+t3/2j+tcos(πt),1t4.r(t)=(lntln2)i+t3/2j+tcos(πt),1t4.

For the following exercises, show that the following vector fields are conservative by using a computer. Calculate CF·drCF·dr for the given curve.

136.

F=(xy2+3x2y)i+(x+y)x2j;F=(xy2+3x2y)i+(x+y)x2j; C is the curve consisting of line segments from (1,1)(1,1) to (0,2)(0,2) to (3,0).(3,0).

137.

F=2xy2+1i2y(x2+1)(y2+1)2j;F=2xy2+1i2y(x2+1)(y2+1)2j; C is parameterized by x=t31,y=t6t,0t1.x=t31,y=t6t,0t1.

138.

[T] F=[cos(xy2)xy2sin(xy2)]i2x2ysin(xy2)j;F=[cos(xy2)xy2sin(xy2)]i2x2ysin(xy2)j; C is curve (et,et+1),−1t0.(et,et+1),−1t0.

139.

The mass of Earth is approximately 6×1027g6×1027g and that of the Sun is 330,000 times as much. The gravitational constant is 6.7×10−8cm3/s2·g.6.7×10−8cm3/s2·g. The distance of Earth from the Sun is about 1.5×1012cm.1.5×1012cm. Compute, approximately, the work necessary to increase the distance of Earth from the Sun by 1cm.1cm.

140.

[T] Let F=(x,y,z)=(exsiny)i+(excosy)j+z2k.F=(x,y,z)=(exsiny)i+(excosy)j+z2k. Evaluate the integral CF·ds,CF·ds, where C is the curve (t,t3,et),0t1.(t,t3,et),0t1.

141.

[T] Let c:[1,2]2c:[1,2]2 be given by x=et1,y=sin(πt).x=et1,y=sin(πt). Use a computer to compute the integral CF·ds=C2xcosydxx2sinydy,CF·ds=C2xcosydxx2sinydy, where F=(2xcosy)i(x2siny)j.F=(2xcosy)i(x2siny)j.

142.

[T] Use a computer algebra system to find the mass of a wire that lies along curve r(t)=(t21)j+2tk,0t1,r(t)=(t21)j+2tk,0t1, if the density is 32t.32t.

143.

Find the circulation and flux of field F=yi+xjF=yi+xj around and across the closed semicircular path that consists of semicircular arch r1(t)=(acost)i+(asint)j,0tπ,r1(t)=(acost)i+(asint)j,0tπ, followed by line segment r2(t)=ti,ata.r2(t)=ti,ata.

A vector field in two dimensions. The arrows are shorter the closer they are to the origin. They surround the origin in a counterclockwise radial pattern. The upper half of a circle with radius 2 and center at the origin is drawn. (-2,0) and (2,0) are labeled as –a and a, respectively, and the curve is labeled r_1.
144.

Compute Ccosxcosydxsinxsinydy,Ccosxcosydxsinxsinydy, where c(t)=(t,t2),0t1.c(t)=(t,t2),0t1.

145.

Complete the proof of The Path Independence Test for Conservative Fields by showing that fy=Q(x,y).fy=Q(x,y).

Order a print copy

As an Amazon Associate we earn from qualifying purchases.

Citation/Attribution

This book may not be used in the training of large language models or otherwise be ingested into large language models or generative AI offerings without OpenStax's permission.

Want to cite, share, or modify this book? This book uses the Creative Commons Attribution-NonCommercial-ShareAlike License and you must attribute OpenStax.

Attribution information
  • If you are redistributing all or part of this book in a print format, then you must include on every physical page the following attribution:
    Access for free at https://openstax.org/books/calculus-volume-3/pages/1-introduction
  • If you are redistributing all or part of this book in a digital format, then you must include on every digital page view the following attribution:
    Access for free at https://openstax.org/books/calculus-volume-3/pages/1-introduction
Citation information

© Feb 5, 2024 OpenStax. Textbook content produced by OpenStax is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike License . The OpenStax name, OpenStax logo, OpenStax book covers, OpenStax CNX name, and OpenStax CNX logo are not subject to the Creative Commons license and may not be reproduced without the prior and express written consent of Rice University.