Since in evaluating line integral we need to express the curve in parametric equation as function of t, let recognize parametric representation first.
Bodies that move in space form paths that may be represented by curves C. This and other applications show the need for parametric representations of C with parametert, which may denote time or something else (see Fig. 12.1). A typical parametric representation is given by
r(t)=[x(t),y(t),z(t)]=x(t)i+y(t)j+z(t)k.
Figure 12.1: Parametric representation of curve
Here t is the parameter and x, y, z are Cartesian coordinates, that is, the usual rectangular coordinates. To each value t=to, there corresponds a point of C with position vector r(to) whose coordinates are x(to),y(to),z(to).
When we give parametric equations and a parameter interval for a curve, we say that we have parametrized the curve. The equations and interval together constitute a parametrization of the curve. A given curve can be represented by different sets of parametric equations.
The advantages of using parametric representation are that, the coordinates x, y, z all play an equal role, that is, all three coordinates are dependent variables. Moreover, the parametric representation induces an orientation on C. This means that as we increase t, we travel along the curve C in a certain direction. The sense of increasing t is called the positive sense on C. The sense of decreasing t is then called the negative sense on C.
Table 12.1: Parametric Equation for Some Basic Curves
* For clockwise curve, an alternative is to use the same counter-clockwise parameterization, but reverse the limits of integration. This gives a negative integral as compared to the counter-clockwise curve.
Example 12.1: Circle. Parametric Representation. Positive Sense
The circle x2+y2=4, z=0 in the xy-plane with center 0 and radius 2 can be represented parametrically by
where 0≤t≤2π. Indeed, x2+y2=(2cost)2+(2sint)2=4(cos2t+sin2t)=4. For t=0 we have r(0)=[2,0], for t=21π we get r(21π)=[0,2], and so on. The positive sense induced by this representation is the counterclockwise sense.
If we replace t with t∗=−t, we have t=−t∗ and get
r∗(t∗)=[2cos(−t∗),2sin(−t∗)]=[2cost∗,−2sint∗].
This has reversed the orientation, and the circle is now oriented clockwise.
In a line integral, we shall integrate a given function, also called the integrand, along a curve C in space or in the plane as shown in Figure 12.2. (Hence curve integral would be a better name but line integral is standard.)
Figure 12.2: Oriented curves
This requires that we represent the curve C by a parametric representation
The curve C is called the path of integration. Look at Fig. 12.2a. The path of integration goes from A to B. Thus A:r(a) is its initial point and B:r(b) is its terminal point. C is now oriented. The direction from A to B, in which t increases is called the positive direction on C. We mark it by an arrow. The points A and B may coincide, as it happens in Fig. 12.2b. Then C is called a closed path.
A line integral of a vector function F(r) over a curve C:r(t) is defined by
∫CF(r)⋅dr=∫abF(r(t))⋅r′(t)dt(2)
Where r′=dtdr and r(t) is the parametric representation of C as given in (1). Writing (2) in terms of components, with dr=[dx,dy,dz] and ′=dtd, we get
∫CF(r)⋅dr=∫CMdx+Ndy+Pdz=∫abMx′+Ny′+Pz′dt
Note that the integrand in (2) is a scalar, not a vector, because we take the dot product. Indeed, F∙r′/∣r′∣ is the tangential component of F. Line integrals arises naturally in mechanics, where they give the work done by a force F in a displacement along C. This will be explained in detail below. We may thus call the line integral (2) the work integral.
Evaluating the Line Integral of F = Mi + Nj + Pk along C: r(t) = g(t)i + h(t)j + k(t)k
Express the vector field F in terms of the parametrized curve C as F(r(t)) by substituting the components x=g(t), y=h(t), z=k(t) of r into the scalar components M(x,y,z), N(x,y,z), P(x,y,z) of F.
Find the derivative (velocity) vector dr/dt.
Evaluate the line integral with respect to the parameter t, a≤t≤b, to obtain
∫CF⋅dr=∫abF(r(t))⋅dtdrdt.
Example 12.2: Evaluation of a Line Integral in the Plane
Find the value of line integral when F(r)=[−y,−xy]=−yi−xyj and C is the circular arc from A to B.
Solution
We may represent C by r(t)=[cost,sint]=costi+sintj, where 0≤t≤π/2. Then x(t)=cost, y(t)=sint, and
The evaluation of line integral in space is practically the same as it is in the plane. To see this, find the value of line integral when F(r)=[z,x,y]=zi+xj+yk and C is the helix. Given that
r(t)=[cost,sint,3t]=costi+sintj+3tk
Solution
From the parametrization above we have x(t)=cost, y(t)=sint, z(t)=3t. Thus
Example 12.4: Evaluation of a Line Integral along the Curve, C
Evaluate ∫cF⋅dr, where F(x,y,z)=zi+xyj−y2k along the curve C given by r(t)=t2i+tj+tk, 0≤t≤1.
Solution
SOL=2017
Simple general properties of the line integral (2)
a)∫CkF⋅dr=k∫CF⋅dr(k constant)
b)∫C(F+G)⋅dr=∫CF⋅dr+∫CG⋅dr
c)∫CF⋅dr=∫C1F⋅dr+∫C2F⋅dr
Figure 12.3 Formula (c)
where in (c) the path C is subdivided into two arcs C1 and C2 that have the same orientation as C (Fig. 12.3). In (b) the orientation of C is the same in all three integrals. If the sense of integration along C is reversed, the value of the integral is multiplied by -1.
Suppose that the vector field F=M(x,y,z)i+N(x,y,z)j+P(x,y,z)k represents a force throughout a region in space (it might be the force of gravity or an electromagnetic force of some kind) and that
r(t)=g(t)i+h(t)j+k(t)k,a≤t≤b,
is a smooth curve in the region. For a curve C in space, we define the work done by a continuous force field F to move an object along C from a point A to another point B as follows.
DEFINITION
Let C be a smooth curve parametrized by r(t), a≤t≤b, and F be a continuous force field over a region containing C. Then the work done in moving an object from the point A=r(a) to the point B=r(b) along C is
W=∫CF⋅Tds=∫abF(r(t))⋅dtdrdt.
In other words, the work done by a force F is the line integral of the scalar component F.T over the smooth curve from A to B as shown in Fig 12.4. The sign of the number we calculate with this integral depends on the direction in which the curve is traversed. If we reverse the direction of motion, then we reverse the direction of T in Figure 12.4 and change the sign of F⋅T and its integral.
Figure 12.4: The work done by a force F is the line
The line integral generally depends not only on F and on the endpoints A and B of the path, but also on the path itself along which the integral is taken.
Take, for instance, the straight segment C1:r1(t)=[t,t,0] and the parabola C2:r2(t)=[t,t2,0] as shown in Figure 12.5 with 0≤t≤1 and integrate F=[0,xy,0]. Then
For curve C1: r1′(t)=[1,1,0], F=[0,(t)(t),0], therefore F(r1(t))∙r1′(t)=t2
For curve C2: r2′(t)=[1,2t,0], F=[0,(t)(t2),0], therefore F(r2(t))∙r2′(t)=2t4
It is obvious that the two integrands of the line integral are different even though the two curves share the same endpoints A and B. Logically, this gives different values of 1/3 and 2/5 respectively.
Figure 12.5: Proof of Theorem
As an additional information, if a vector function F is the gradient of a scalar function F=∇f, this vector function F is known as a conservative vector field, and its line integral is interestingly independent on path, which means integrating F along C1 or C2 produces the same value for the same endpoints A and B: ∫c1F⋅dr1=∫c2F⋅dr2
Evaluate the line integral with the vector function given as F(x,y)=(x−y)i+xj. The curve C is a closed curve that forms a unit circle. A closed circular curve can be parameterized as below, considering a range of t that forms the complete circular path:
C:r(t)=cos(t)i+sin(t)j,0≤t≤2π
Solution
From F(x,y)=(x−y)i+xj and C:r(t)=cos(t)i+sin(t)j, 0≤t≤2π, we obtain:
The solutions of line integral involving closed curve can be tedious when the closed curve is defined by multiple sections as in Examples 12.8 and 12.9. In some cases, it will be more convenient to relate a closed-curve line integral with an integral involving the curl of the vector function F over a surface that is bounded by the closed curve. This is known as the (circulation form of) Green's theorem, which is explained in the topic of Stokes' theorem.