Suppose a particle moves along a curve under the influence of an electromagnetic force described by a vector field . Since a force is inducing motion, work is performed. How can we calculate how much work is performed?
Recall that when moving in a straight line, if represents a constant force and represents the direction and length of travel, then work is simply . However, we generally want to be able to calculate work even if is not constant and is not a straight line.
As we have practiced many times before, we can calculate work by first approximating, then refining our approximation through a limit that leads to integration.
Assume as we did in Section 15.1 that can be parameterized by the arc length parameter . Over a short piece of the curve with length , the curve is approximately straight and our force is approximately constant. The straight-line direction of this short length of curve is given by , the unit tangent vector; let , which gives the direction and magnitude of a small section of . Thus work over this small section of is .
Summing up all the work over these small segments gives an approximation of the work performed. By taking the limit as goes to zero, and hence the number of segments approaches infinity, we can obtain the exact amount of work. Following the logic presented at the beginning of this chapter in the Integration Review, we see that
a line integral.
This line integral is beautiful in its simplicity, yet is not so useful in making actual computations (largely because the arc length parameter is so difficult to work with). To compute actual work, we need to parameterize with another parameter via a vector-valued function . As stated in Section 15.1, , and recall that . Thus
(15.3.1) |
where the final integral uses the differential for .
These integrals are known as line integrals over vector fields. By contrast, the line integrals we dealt with in Section 15.1 are sometimes referred to as line integrals over scalar fields. Just as a vector field is defined by a function that returns a vector, a scalar field is a function that returns a scalar, such as . We waited until now to introduce this terminology so we could contrast the concept with vector fields.
We formally define this line integral, then give examples and applications.
Let be a vector field with continuous components defined on a smooth curve , parameterized by , and let be the unit tangent vector of . The line integral over along is
In Definition 15.3.1, note how the dot product is just a scalar. Therefore, this new line integral is really just a special kind of line integral found in Section 15.1; letting , the right-hand side simply becomes , and we can use the techniques of that section to evaluate the integral. We combine those techniques, along with parts of Equation (15.3.1), to clearly state how to evaluate a line integral over a vector field in the following Key Idea.
Let be a vector field with continuous components defined on a smooth curve , parameterized by , , where is continuously differentiable. Then
An important concept implicit in this Key Idea: we can use any continuously differentiable parameterization of that preserves the orientation of : there isn’t a “right” one. In practice, choose one that seems easy to work with.
Notation note: the above Definition and Key Idea implicitly evaluate along the curve , which is parameterized by . For instance, if and , then evaluating along means substituting the - and -components of in for and , respectively, in . Therefore, along , . Since we are substituting the output of for the input of , we write this as . This is a slight abuse of notation as technically the input of is to be a point, not a vector, but this shorthand is useful.
We use an example to practice evaluating line integrals over vector fields.
Two particles move from to in the presence of the force field . One particle follows , the line ; the other follows , the curve , as shown in Figure 15.3.1. Force is measured in newtons and distance is measured in meters. Find the work performed by each particle.
SolutionTo compute work, we need to parameterize each path. We use to parameterize , and let parameterize ; for each, .
Along the straight-line path, . We find . The integral that computes work is:
Along the curve , . We find . The work performed along this path is
Note how differing amounts of work are performed along the different paths. This should not be too surprising: the force is variable, one path is longer than the other, etc.
Two particles move from to under the influence of a force field . One moves along the curve , the parabola defined by . The other particle moves along the curve , the bottom half of the circle defined by , as shown in Figure 15.3.2. Force is measured in pounds and distances are measured in feet. Find the work performed by moving each particle along its path.
SolutionWe start by parameterizing : the parameterization is straightforward, giving . On , .
Computing the work along , we have:
For , it is probably simplest to parameterize the half circle using sine and cosine. Recall that is a parameterization of the unit circle on ; we add 1 to the second component to shift the circle up one unit, then restrict the domain to to obtain only the lower half, giving , , and hence and .
Computing the work along , we have:
Note how the work along and in this example is the same. We’ll address why later in this section when conservative fields and path independence are discussed.
Line integrals over vector fields share the same properties as line integrals over scalar fields, with one important distinction. The orientation of the curve matters with line integrals over vector fields, whereas it did not matter with line integrals over scalar fields.
It is relatively easy to see why. Let be the unit circle. The area under a surface over is the same whether we traverse the circle in a clockwise or counterclockwise fashion, hence the line integral over a scalar field on is the same irrespective of orientation. On the other hand, if we are computing work done by a force field, direction of travel definitely matters. Opposite directions create opposite signs when computing dot products, so traversing the circle in opposite directions will create line integrals that differ by a factor of .
(a)
Let and be vector fields with continuous components defined on a smooth curve , parameterized by , and let and be scalars. Then
(b)
Let be piecewise smooth, composed of smooth components and . Then
(c)
Let be the curve with opposite orientation, parameterized by . Then
We demonstrate using these properties in the following example.
Let and let be the path that starts at , goes to along the curve , then returns to along the line , as shown in Figure 15.3.3. Evaluate .
SolutionAs is piecewise smooth, we break it into two components and , where follows the curve and follows the curve .
We parameterize with on , with . We will use .
While we always have unlimited ways in which to parameterize a curve, there are 2 “direct” methods to choose from when parameterizing . The parameterization , traces the correct line segment but with the wrong orientation. Using Property 3 of Theorem 15.3.1, we can use this parameterization and negate the result.
Another choice is to use the techniques of Section 11.5 to create the line with the orientation we desire. We wish to start at and travel in the direction for one length of , giving equation on .
Either choice is fine; we choose to practice using line integral properties. We find and .
Evaluating the line integral (note how we subtract the integral over as the orientation of is opposite):
If we interpret this integral as computing work, the negative work implies that the motion is mostly against the direction of the force, which seems plausible when we look at Figure 15.3.3.
SolutionA parameterization is already given for , so we just need to find and (t).
We have and . Thus
We are preparing to make important statements about the value of certain line integrals over special vector fields. Before we can do that, we need to define some terms that describe the domains over which a vector field is defined.
A planar region is connected if any two points in the region can be joined by a piecewise smooth curve that lies entirely in the region. In Figure 15.3.5, sets and are connected; set is not connected, though it is composed of two connected subregions.
A region is simply connected if every simple closed curve that lies entirely in the region can be continuously deformed (shrunk) to a single point without leaving the region. (A curve is simple if it does not cross itself.) In Figure 15.3.5, only set is simply connected. Region is not simply connected as any closed curve that goes around the “hole” in cannot be continuously shrunk to a single point. As is not even connected, it cannot be simply connected, though again it consists of two simply connected subregions.
We have applied these terms to regions of the plane, but they can be extended intuitively to domains in space (and hyperspace). In Figure 15.3.6(a), the domain bounded by the sphere (at left) and the domain with a subsphere removed (at right) are both simply connected. Any simple closed path that lies entirely within these domains can be continuously deformed into a single point. In Figure 15.3.6(b), neither domain is simply connected. A left, the ball has a hole that extends its length and the pictured closed path cannot be deformed to a point. At right, two paths are illustrated on the torus that cannot be shrunk to a point.
We will use the terms connected and simply connected in subsequent definitions and theorems.
Recall how in Example 15.3.2 particles moved from to along two different paths, wherein the same amount of work was performed along each path. It turns out that regardless of the choice of path from to , the amount of work performed under the field is the same. Since our expectation is that differing amounts of work are performed along different paths, we give such special fields a name.
Let be a vector field defined on an open, connected domain in the plane or in space containing points and . If the line integral has the same value for all choices of paths starting at and ending at , then
is a conservative field and
The line integral is path independent and can be written as
When is a conservative field, the line integral from points to is sometimes written as to emphasize the independence of its value from the choice of path; all that matters are the beginning and ending points of the path.
How can we tell if a field is conservative? To show a field is conservative using the definition, we need to show that all line integrals from points to have the same value. It is equivalent to show that all line integrals over closed paths are 0. Each of these tasks are generally nontrivial.
There is a simpler method. Consider the surface defined by . We can compute the gradient of this function: . Note that this is the field from Example 15.3.2, which we have claimed is conservative. We will soon give a theorem that states that a field is conservative if, and only if, it is the gradient of some scalar function . To show is conservative, we need to determine whether or not for some function . (We’ll later see that there is a yet simpler method). To recognize the special relationship between and in this situation, is given a name.
Let be a differentiable function defined on a domain in the plane or in space (i.e., or ) and let , the gradient of . Then is a potential function of .
We now state the Fundamental Theorem of Line Integrals, which connects conservative fields and path independence to fields with potential functions.
Let be a vector field whose components are continuous on a connected domain in the plane or in space, let and be any points in , and let be any path in starting at and ending at .
is conservative if and only if there exists a differentiable function such that .
If is conservative, then
Once again considering Example 15.3.2, we have , and . In that example, we evaluated two line integrals from to and found the value of each was 2. Note that is a potential function for . Following the Fundamental Theorem of Line Integrals, consider :
the same value given by the line integrals.
Watch the video:
Ex 1: Fundamental Theorem of Line Integrals — Given Vector Field in a Plane from https://youtu.be/62oBGKSjYiY
We practice using this theorem again in the next example.
Let , and . Use the first part of the Fundamental Theorem of Line Integrals to show that is conservative, then choose any path from to and confirm the second part of the theorem.
SolutionTo show is conservative, we need to find such that . That is, we need to find such that and . As all we know about are its partial derivatives, we recover by integration:
Note how the constant of integration is more than “just a constant”: it is anything that acts as a constant when taking a derivative with respect to . Any function that is a function of (containing no ’s) acts as a constant when deriving with respect to .
Integrating in this example gives:
Likewise, integrating with respect to gives:
These two results should be equal with appropriate choices of and :
We find , a potential function of . (If were not conservative, no choice of and would give equality.)
By the Fundamental Theorem of Line Integrals, regardless of the path from to ,
To illustrate the validity of the Fundamental Theorem, we pick a path from to . The line between these two points would be simple to construct; we choose a slightly more complicated path by choosing the parabola . This leads to the parameterization , , with . Thus
which matches our previous result.
The Fundamental Theorem of Line Integrals states that we can determine whether or not is conservative by determining whether or not has a potential function. This can be difficult. A simpler method exists if the domain of is simply connected (not just connected as needed in the Fundamental Theorem of Line Integrals), which is a reasonable requirement. We state this simpler method as a theorem.
Let be a vector field whose components are continuous on a simply connected domain in the plane or in space. Then is conservative if and only if or , respectively.
In Example 15.3.5, we showed that is conservative by finding a potential function for . Using the above theorem, we can show that is conservative much more easily by computing its curl:
T/F: In practice, the evaluation of line integrals over vector fields involves computing the magnitude of a vector-valued function.
Let be a vector field in the plane and let be a two-dimensional vector-valued function. Why is “” an “abuse of notation”?
T/F: The orientation of a curve matters when computing a line integral over a vector field.
T/F: The orientation of a curve matters when computing a line integral over a scalar field.
Under “reasonable conditions,” if , what can we conclude about the vector field ?
Let be a conservative field and let be a closed curve. Why are we able to conclude that ?
In Exercises 7–26., a vector field and a curve are given. Evaluate .
; is the line segment from to .
; is the portion of the parabola from to .
; is the top half of the unit circle, beginning at and ending at .
; is the portion of the curve on .
; is the line segment from to .
; is the line segment from the origin to
; is the unit circle traced once counterclockwise.
; is the unit circle traced once counterclockwise.
; is the unit circle traced once counterclockwise.
; is the polygonal path from to to to
; is the unit circle centered at traced once counterclockwise.
; is the triangle with vertices , , traversed counterclockwise.
; is the curve for , traversed (a) left to right; (b) right to left.
; is the line segment connecting the origin to
; is the helix , , for
; is the unit circle parallel to the plane centered at .
; is the curve , , for
; is the polygonal path from to to
; is the polygonal path from to to to
In Exercises 27–32., find the work performed by the force field moving a particle along the path .
N; is the segment of the line from to , where distances are measured in meters.
N; is the portion of from to , where distances are measured in meters.
lbs; is the path from to via on , where distance are measured in feet.
lbs; is the path from to via on , where distance are measured in feet.
N; is the top half of the circle traversed from to .
N; is the the parabola traversed from to .
In Exercises 33–42., determine if the given vector field has a potential. If so, find one.
(, , constant)
In Exercises 43–50., a conservative vector field and a curve are given.
Find a potential function for .
Compute .
Evaluate directly, i.e., using Key Idea 15.3.1.
Evaluate using the Fundamental Theorem of Line Integrals.
, is the line segment from to .
, is curve parameterized by on .
, is curve parameterized by on .
, is curve parameterized by on .
, is the unit circle traced once counterclockwise.
, is the unit circle traced from to .
, is , for
, is the polygonal path from to to .
Prove part of Theorem 15.3.3: let be a conservative vector field. Show that .
Show that if at each point along a smooth curve , then .
Show that if points in the same direction as at each point along a smooth curve , then .
Let and be differentiable functions, and let . Is it possible for to have a potential ? If so, find an example. You may assume that would be smooth. (Hint: Consider the mixed partial derivatives of .)
For , evaluate where is , for . Is conservative?