Vector Line Integrals

Learning Objectives

  • Calculate a vector line integral along an oriented curve in space.

The second type of line integrals are vector line integrals, in which we integrate along a curve through a vector field. For example, let

F(x,y,z)=P(x,y,z)i+Q(x,y,z)j+R(x,y,z)k

be a continuous vector field in R3 that represents a force on a particle, and let C be a smooth curve in R3 contained in the domain of F. How would we compute the work done by F in moving a particle along C?

To answer this question, first note that a particle could travel in two directions along a curve: a forward direction and a backward direction. The work done by the vector field depends on the direction in which the particle is moving. Therefore, we must specify a direction along curve C; such a specified direction is called an orientation of a curve. The specified direction is the positive direction along C; the opposite direction is the negative direction along C. When C has been given an orientation, C is called an oriented curve (Figure 1). The work done on the particle depends on the direction along the curve in which the particle is moving.

closed curve is one for which there exists a parameterization r(t),atb, such that r(a)=r(b) and the curve is traversed exactly once. In other words, the parameterization is one-to-one on the domain (a,b).

Two images, labeled A and B. Image A shows a curve C that is an oriented curve. It is a curve that connects two points; it is a line segment with curves. Image B, on the other hand, is a closed curve. It has no endpoints and completely encloses an area.

Figure 1. (a) An oriented curve between two points. (b) A closed oriented curve.

Let r(t) be a parameterization of C for atb such that the curve is traversed exactly once by the particle and the particle moves in the positive direction along C. Divide the parameter interval [a,b] into n subintervals [ti1,ti],0in, of equal width. Denote the endpoints of r(t0),r(t1),...,r(tn) by P0,...,Pn. Points Pi divideC into n pieces. Denote the length of the piece from Pi1 to Pi by Δsi. For each i, choose a value ti in the subinterval [ti1,ti]. Then, the endpoint of r(ti) is a point in the piece of C between Pi1 and Pi (Figure 2). If Δsi is small, then as the particle moves from Pi1 to Pi along C, it moves approximately in the direction of T(Pi), the unit tangent vector at the endpoint of r(ti). Let Pi denote the endpoint of r(ti). Then, the work done by the force vector field in moving the particle from Pi1 to Pi is F(Pi)(ΔsiT(Pi)), so the total work done along C is

i=1n F(Pi)(ΔsiT(Pi))=i=1n F(Pi)T(Pi)Δsi.

 

An image of a concave down curve – initially increasing, but later decreasing. Several points are labeled along the curve, as are arrowheads along the curve pointing in the direction of increasing P value. The points are: P_0, P_1, P_i-1, P_i starred, P_i, P_n-1, and Pn. Two arrows have their endpoints at P_i. The first is an increasing tangent vector labeled T(P_i starred). The second is labeled F(P_i starred) and points up and to the left.

Figure 2. Curve C is divided into n pieces, and a point inside each piece is chosen. The dot product of any tangent vector in the ith piece with the corresponding vector F is approximated by F(Pi)T(Pi).

Letting the arc length of the pieces of C get arbitrarily small by taking a limit as n gives us the work done by the field in moving the particle along C. Therefore, the work done by F in moving the particle in the positive direction along C is defined as

W=CFTds,

which gives us the concept of a vector line integral.

definition


The vector line integral of vector field F along oriented smooth curve C is

CFTds=limni=1n F(Pi)T(Pi)Δsi

if that limit exists.

With scalar line integrals, neither the orientation nor the parameterization of the curve matters. As long as the curve is traversed exactly once by the parameterization, the value of the line integral is unchanged. With vector line integrals, the orientation of the curve does matter. If we think of the line integral as computing work, then this makes sense: if you hike up a mountain, then the gravitational force of Earth does negative work on you. If you walk down the mountain by the exact same path, then Earth’s gravitational force does positive work on you. In other words, reversing the path changes the work value from negative to positive in this case. Note that if C is an oriented curve, then we let C represent the same curve but with opposite orientation.

As with scalar line integrals, it is easier to compute a vector line integral if we express it in terms of the parameterization function r and the variable t. To translate the integral CFTds in terms of t, note that unit tangent vector T along C is given by T=r(t)r(t) (assuming r(t)0). Since ds=r(t)dt, as we saw when discussing scalar line integrals, we have

FTds=F(r(t))r(t)r(t)r(t)dt=F(r(t))r(t)dt.

Thus, we have the following formula for computing vector line integrals:

CFTds=abF(r(t))r(t)dt.

Because of the vector line integrals equation above, we often use the notation CFdr for the line integral CFTds.

If r=x(t),y(t),z(t), then dr denotes vector differential x(t),y(t),z(t)dt.

Example: evaluating a vector line integral

Find the value of integral CFdr, where C is the semicircle parameterized by r(t)=cost,sint,0tπ and F=y,x.

Example: reversing orientation

Find the value of integral CFdr, where C is the semicircle parameterized by r(t)=cos(t+π),sint,0tπ, and F=y,x.

Let C be an oriented curve and let −C denote the same curve but with the orientation reversed. Then, the previous two examples illustrate the following fact:

CFdr=CFdr.

That is, reversing the orientation of a curve changes the sign of a line integral.

try it

Let F=xi+yj be a vector field and let C be the curve with parameterization t,t2 for 0t2. Which is greater: CFTds or CFTds?

Another standard notation for integral CFdr is CPdx+Qdy+Rdz. In this notation, P,Q, and R are functions, and we think of dr as vector dx,dy,dz. To justify this convention, recall that dr=Tds=r(t)dt=dxdt,dydt,dzdtdt. Therefore,

Fdr=P,Q,Rdx,dy,dz=Pdx+Qdy+Rdz.

If dr=dx,dy,dz, then drdt=dxdt,dydt,dzdt, which implies that dr=dxdt,dydt,dzdtdt. Therefore

CFdr=CPdx+Qdy+Rdz=(P(r(t))dxdt+Q(r(t))dydt+R(r(t))dzdt)dt.

Example: finding the value of an integral of the form CPdx+Qdy+Rdz

Find the value of integral Czdx+xdy+ydz, where C is the curve parameterized by r(t)=t2,t,t,1t4.

try it

Find the value of C4xdx+zdy+4y2dz, where C is the curve parameterized by r(t)=4 cos(2t),2 sin(2t),3,0tπ4.

Watch the following video to see the worked solution to the above Try It

We have learned how to integrate smooth oriented curves. Now, suppose that C is an oriented curve that is not smooth, but can be written as the union of finitely many smooth curves. In this case, we say that C is a piecewise smooth curve. To be precise, curve C is piecewise smooth if C can be written as a union of n smooth curves C1,C2,...,Cn such that the endpoint of Ci is the starting point of Ci+1 (Figure 4). When curves Ci satisfy the condition that the endpoint of Ci is the starting point of Ci+1, we write their union as C1+C2+...+Cn.

Three curves: C_1, C_2, and C_3. One of the endpoints of C_2 is also an endpoint of C_1, and the other endpoint of C_2 is also an end point of C_3. C_1’s and C_3’s other endpoints are not connect to any other curve. C_1 and C_3 appear to be nearly straight lines while C_2 is an increasing concave down curve. There are three arrowheads on each curve segment all pointing in the same direction: C_1 to C_2, C_2 to C_3, and C_3 to its other endpoint.

Figure 4. The union of C1,C2,C3 is a piecewise smooth curve.

The next theorem summarizes several key properties of vector line integrals.

theorem: properties of vector line integrals


Let F and G be continuous vector fields with domains that include the oriented smooth curve C. Then

  1. C(F+G)dr=CFdr+CGdr
  2. CkFdr=kCFdr, where k is a constant
  3. CFdr=CFdr
  4. Suppose instead that C is a piecewise smooth curve in the domains of F and G, where C=C1+C2+...+Cn and C1,C2,...,Cnare smooth curves such that the endpoint of Ci is the starting point of Ci+1. Then CFds=C1Fds+C2Fds+...+CnFds

Notice the similarities between these items and the properties of single-variable integrals. Properties i. and ii. say that line integrals are linear, which is true of single-variable integrals as well. Property iii. says that reversing the orientation of a curve changes the sign of the integral. If we think of the integral as computing the work done on a particle traveling along C, then this makes sense. If the particle moves backward rather than forward, then the value of the work done has the opposite sign. This is analogous to the equation abf(x)dx=baf(x)dx. Finally, if [a1,a2],[a2,a3],...,[an1,an] are intervals, then

a1anf(x)dx=a1a2f(x)dx+a1a3f(x)dx+...+an1anf(x)dx,

which is analogous to property iv.

Example: using properties to compute a vector line integral

Find the value of integral CFTds, where C is the rectangle (oriented counterclockwise) in a plane with vertices (0,0), (2,0), (2,1),and (0,1) and where F=x2y,yx (Figure 5).

A vector field in two dimensions. The arrows following roughly a 90-degree angle to the origin in quadrants 1 and 3 point to the origin. As the arrows deviate from this angle, they point away from the angle ad become smaller. Above, they point up and to the left, and below, they point down and to the right. A rectangle is drawn in quadrant 1 from 0 to 2 on the x axis and from 0 to 1 on the y axis. C_1 is the base, C_2 is the right leg, C_3 is the top, and C_4 is the left leg.

Figure 5. Rectangle and vector field.

try it

Calculate line integral CFdr, where F is vector field y2,2xy+1 and C is a triangle with vertices (0,0), (4,0), and (0,5), oriented counterclockwise.