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)kF(x,y,z)=P(x,y,z)i+Q(x,y,z)j+R(x,y,z)k
be a continuous vector field in R3R3 that represents a force on a particle, and let CC be a smooth curve in R3R3 contained in the domain of FF. How would we compute the work done by FF in moving a particle along CC?
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 CC; such a specified direction is called an orientation of a curve. The specified direction is the positive direction along CC; the opposite direction is the negative direction along CC. When CC has been given an orientation, CC 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.
A closed curve is one for which there exists a parameterization r(t),a≤t≤br(t),a≤t≤b, such that r(a)=r(b)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)(a,b).
Figure 1. (a) An oriented curve between two points. (b) A closed oriented curve.
Let r(t)r(t) be a parameterization of CC for a≤t≤ba≤t≤b such that the curve is traversed exactly once by the particle and the particle moves in the positive direction along CC. Divide the parameter interval [a,b][a,b] into nn subintervals [ti−1,ti],0≤i≤n[ti−1,ti],0≤i≤n, of equal width. Denote the endpoints of r(t0),r(t1),...,r(tn)r(t0),r(t1),...,r(tn) by P0,...,PnP0,...,Pn. Points PiPi divideCC into nn pieces. Denote the length of the piece from Pi−1Pi−1 to PiPi by ΔsiΔsi. For each ii, choose a value t∗it∗i in the subinterval [ti−1,ti][ti−1,ti]. Then, the endpoint of r(t∗i)r(t∗i) is a point in the piece of CC between Pi−1Pi−1 and PiPi (Figure 2). If ΔsiΔsi is small, then as the particle moves from Pi−1Pi−1 to PiPi along CC, it moves approximately in the direction of T(Pi)T(Pi), the unit tangent vector at the endpoint of r(t∗i)r(t∗i). Let P∗iP∗i denote the endpoint of r(t∗i)r(t∗i). Then, the work done by the force vector field in moving the particle from Pi−1Pi−1 to PiPi is F(P∗i)⋅(ΔsiT(P∗i))F(P∗i)⋅(ΔsiT(P∗i)), so the total work done along CC is
n∑i=1 F(P∗i)⋅(ΔsiT(P∗i))=n∑i=1 F(P∗i)⋅T(P∗i)Δsin∑i=1 F(P∗i)⋅(ΔsiT(P∗i))=n∑i=1 F(P∗i)⋅T(P∗i)Δsi.
Figure 2. Curve CC 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 FF is approximated by F(P∗i)⋅T(P∗i)F(P∗i)⋅T(P∗i).
W=∫CF⋅Tds,W=∫CF⋅Tds,
which gives us the concept of a vector line integral.
definition
The vector line integral of vector field F along oriented smooth curve CC is
∫CF⋅Tds=limn→∞n∑i=1 F(P∗i)⋅T(P∗i)Δsi∫CF⋅Tds=limn→∞n∑i=1 F(P∗i)⋅T(P∗i)Δ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 CC is an oriented curve, then we let −C−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 tt. To translate the integral ∫CF⋅Tds∫CF⋅Tds in terms of t, note that unit tangent vector T along CC is given by T=r′(t)‖r′(t)‖T=r′(t)∥r′(t)∥ (assuming ‖r′(t)‖≠0∥r′(t)∥≠0). Since ds=‖r′(t)‖dtds=∥r′(t)∥dt, as we saw when discussing scalar line integrals, we have
F⋅Tds=F(r(t))⋅r′(t)‖r′(t)‖‖r′(t)‖dt=F(r(t))⋅r′(t)dtF⋅Tds=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:
∫CF⋅Tds=∫baF(r(t))⋅r′(t)dt∫CF⋅Tds=∫baF(r(t))⋅r′(t)dt.
Because of the vector line integrals equation above, we often use the notation ∫CF⋅dr∫CF⋅dr for the line integral ∫CF⋅Tds∫CF⋅Tds.
If r=⟨x(t),y(t),z(t)⟩r=⟨x(t),y(t),z(t)⟩, then drdr denotes vector differential ⟨x′(t),y′(t),z′(t)⟩dt⟨x′(t),y′(t),z′(t)⟩dt.
Example: evaluating a vector line integral
Find the value of integral ∫CF⋅dr∫CF⋅dr, where CC is the semicircle parameterized by r(t)=⟨cost,sint⟩,0≤t≤πr(t)=⟨cost,sint⟩,0≤t≤π and F=⟨−y,x⟩F=⟨−y,x⟩.
Example: reversing orientation
Find the value of integral ∫CF⋅dr∫CF⋅dr, where CC is the semicircle parameterized by r(t)=⟨cos(t+π),sint⟩,0≤t≤πr(t)=⟨cos(t+π),sint⟩,0≤t≤π, and F=⟨−y,x⟩F=⟨−y,x⟩.
Let CC be an oriented curve and let −CC denote the same curve but with the orientation reversed. Then, the previous two examples illustrate the following fact:
∫−CF⋅dr=−∫CF⋅dr∫−CF⋅dr=−∫CF⋅dr.
That is, reversing the orientation of a curve changes the sign of a line integral.
try it
Let F=xi+yjF=xi+yj be a vector field and let CC be the curve with parameterization ⟨t,t2⟩⟨t,t2⟩ for 0≤t≤20≤t≤2. Which is greater: ∫CF⋅Tds∫CF⋅Tds or ∫−CF⋅Tds∫−CF⋅Tds?
Another standard notation for integral ∫CF⋅dr∫CF⋅dr is ∫CPdx+Qdy+Rdz∫CPdx+Qdy+Rdz. In this notation, P,Q,P,Q, and RR are functions, and we think of drdr as vector ⟨dx,dy,dz⟩⟨dx,dy,dz⟩. To justify this convention, recall that dr=Tds=r′(t)dt=⟨dxdt,dydt,dzdt⟩dtdr=Tds=r′(t)dt=⟨dxdt,dydt,dzdt⟩dt. Therefore,
F⋅dr=⟨P,Q,R⟩⋅⟨dx,dy,dz⟩=Pdx+Qdy+RdzF⋅dr=⟨P,Q,R⟩⋅⟨dx,dy,dz⟩=Pdx+Qdy+Rdz.
If dr=⟨dx,dy,dz⟩dr=⟨dx,dy,dz⟩, then drdt=⟨dxdt,dydt,dzdt⟩drdt=⟨dxdt,dydt,dzdt⟩, which implies that dr=⟨dxdt,dydt,dzdt⟩dtdr=⟨dxdt,dydt,dzdt⟩dt. Therefore
∫CF⋅dr=∫CPdx+Qdy+Rdz=∫(P(r(t))dxdt+Q(r(t))dydt+R(r(t))dzdt)dt.∫CF⋅dr=∫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∫CPdx+Qdy+Rdz
Find the value of integral ∫Czdx+xdy+ydz∫Czdx+xdy+ydz, where CC is the curve parameterized by r(t)=⟨t2,√t,t⟩,1≤t≤4r(t)=⟨t2,√t,t⟩,1≤t≤4.
try it
Find the value of ∫C4xdx+zdy+4y2dz∫C4xdx+zdy+4y2dz, where CC is the curve parameterized by r(t)=⟨4 cos(2t),2 sin(2t),3⟩,0≤t≤π4r(t)=⟨4 cos(2t),2 sin(2t),3⟩,0≤t≤π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 CC 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 CC is piecewise smooth if CC can be written as a union of nn smooth curves C1,C2,...,CnC1,C2,...,Cn such that the endpoint of CiCi is the starting point of Ci+1Ci+1 (Figure 4). When curves CiCi satisfy the condition that the endpoint of CiCi is the starting point of Ci+1Ci+1, we write their union as C1+C2+...+CnC1+C2+...+Cn.
Figure 4. The union of C1,C2,C3C1,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
- ∫C(F+G)⋅dr=∫CF⋅dr+∫CG⋅dr∫C(F+G)⋅dr=∫CF⋅dr+∫CG⋅dr
- ∫CkF⋅dr=k∫CF⋅dr∫CkF⋅dr=k∫CF⋅dr, where kk is a constant
- ∫−CF⋅dr=−∫CF⋅dr∫−CF⋅dr=−∫CF⋅dr
- Suppose instead that CC is a piecewise smooth curve in the domains of F and G, where C=C1+C2+...+CnC=C1+C2+...+Cn and C1,C2,...,CnC1,C2,...,Cnare smooth curves such that the endpoint of CiCi is the starting point of Ci+1Ci+1. Then ∫CF⋅ds=∫C1F⋅ds+∫C2F⋅ds+...+∫CnF⋅ds∫CF⋅ds=∫C1F⋅ds+∫C2F⋅ds+...+∫CnF⋅ds.
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 CC, 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 ∫baf(x)dx=−∫abf(x)dx∫baf(x)dx=−∫abf(x)dx. Finally, if [a1,a2],[a2,a3],...,[an−1,an][a1,a2],[a2,a3],...,[an−1,an] are intervals, then
∫ana1f(x)dx=∫a2a1f(x)dx+∫a3a1f(x)dx+...+∫anan−1f(x)dx,∫ana1f(x)dx=∫a2a1f(x)dx+∫a3a1f(x)dx+...+∫anan−1f(x)dx,
which is analogous to property iv.
Example: using properties to compute a vector line integral
Find the value of integral ∫CF⋅Tds∫CF⋅Tds, where CC is the rectangle (oriented counterclockwise) in a plane with vertices (0,0)(0,0), (2,0)(2,0), (2,1)(2,1),and (0,1)(0,1) and where F=⟨x−2y,y−x⟩F=⟨x−2y,y−x⟩ (Figure 5).
Figure 5. Rectangle and vector field.
try it
Calculate line integral ∫CF⋅dr, where F is vector field ⟨y2,2xy+1⟩ and C is a triangle with vertices (0,0), (4,0), and (0,5), oriented counterclockwise.
Candela Citations
- CP 6.18. Authored by: Ryan Melton. License: CC BY: Attribution
- Calculus Volume 3. Authored by: Gilbert Strang, Edwin (Jed) Herman. Provided by: OpenStax. Located at: https://openstax.org/books/calculus-volume-3/pages/1-introduction. License: CC BY-NC-SA: Attribution-NonCommercial-ShareAlike. License Terms: Access for free at https://openstax.org/books/calculus-volume-3/pages/1-introduction