We first used integration to find “area under a curve.” In this section, we learn to do this (again), but in a different context.
Subsection15.1.1Line Integrals of Functions
Figure15.1.1.Introducing the line integral
Consider the surface and curve shown in Figure 15.1.2.(a). The surface is given by \(f(x,y)=1-\cos(x)\sin(y)\text{.}\) The dashed curve lies in the \(xy\)-plane and is the familiar \(y=x^2\) parabola from \(-1\leq x\leq1\text{;}\) we’ll call this curve \(C\text{.}\) The curve drawn with a solid line in the graph is the curve in space that lies on our surface with \(x\) and \(y\) values that lie on \(C\text{.}\)
The question we want to answer is this: what is the area that lies below the curve drawn with the solid line? In other words, what is the area of the region above \(C\) and under the the surface \(z=f(x,y)\text{?}\) This region is shown in Figure 15.1.2.(b).
We suspect the answer can be found using an integral, but before trying to figure out what that integral is, let us first try to approximate its value.
In Figure 15.1.2.(c), four rectangles have been drawn over the curve \(C\text{.}\) The bottom corners of each rectangle lie on \(C\text{,}\) and each rectangle has a height given by the function \(f(x,y)\) for some \((x,y)\) pair along \(C\) between the rectangle’s bottom corners.
As we know how to find the area of each rectangle, we are able to approximate the area above \(C\) and under \(f\text{.}\) Clearly, our approximation will be an approximation. The heights of the rectangles do not match exactly with the surface \(f\text{,}\) nor does the base of each rectangle follow perfectly the path of \(C\text{.}\)
In typical calculus fashion, our approximation can be improved by using more rectangles. The sum of the areas of these rectangles gives an approximate value of the true area above \(C\) and under \(f\text{.}\) As the area of each rectangle is “height × width”, we assert that the
When first learning of the integral, and approximating areas with “heights × widths”, the width was a small change in \(x\text{:}\)\(dx\text{.}\) That will not suffice in this context. Rather, each width of a rectangle is actually approximating the arc length of a small portion of \(C\text{.}\) In Section 12.5, we used \(s\) to represent the arc-length parameter of a curve. A small amount of arc length will thus be represented by \(ds\text{.}\)
The height of each rectangle will be determined in some way by the surface \(f\text{.}\) If we parametrize \(C\) by \(s\text{,}\) an \(s\)-value corresponds to an \((x,y)\) pair that lies on the parabola \(C\text{.}\) Since \(f\) is a function of \(x\) and \(y\text{,}\) and \(x\) and \(y\) are functions of \(s\text{,}\) we can say that \(f\) is a function of \(s\text{.}\) Given a value \(s\text{,}\) we can compute \(f(s)\) and find a height. Thus
\begin{align}
\text{ area under \(f\) and above \(C\) } \amp \approx \sum (\text{ heights } \times\text{ widths } );\notag\\
\text{ area under \(f\) and above \(C\) } \amp =\lim_{\norm{\Delta s}\to0}\sum f(c_i)\Delta s_i\notag\\
\amp =\int_Cf(s)\, ds\text{.}\tag{15.1.1}
\end{align}
Here we have introduce a new notation, the integral symbol with a subscript of \(C\text{.}\) It is reminiscent of our usage of \(\iint_R\text{.}\) Using the train of thought found in the Integration Review preceding this section, we interpret “\(\int_C f(s)\, ds\)” as meaning “sum up, along a curve \(C\text{,}\) function values \(f(s)\times\)small arc lengths.” It is understood here that \(s\) represents the arc-length parameter.
All this leads us to a definition. The integral found in Equation (15.1.1) is called a line integral. We formally define it below, but note that the definition is very abstract. On one hand, one is apt to say “the definition makes sense,” while on the other, one is equally apt to say “but I don’t know what I’m supposed to do with this definition.” We’ll address that after the definition, and actually find an answer to the area problem we posed at the beginning of this section.
Definition15.1.3.Line Integral Over A Scalar Field.
Let \(C\) be a smooth curve parametrized by \(s\text{,}\) the arc-length parameter, and let \(f\) be a continuous function of \(s\text{.}\) A line integral is an integral of the form
where \(s_0\lt s_1\lt \ldots\lt s_n\) is any partition of the \(s\)-interval over which \(C\) is defined, \(c_i\) is any value in the \(i\)th subinterval, \(\Delta s_i\) is the width of the \(i\)th subinterval, and \(\norm{\Delta s}\) is the length of the longest subinterval in the partition.
When \(C\) is a closed curve, i.e., a curve that ends at the same point at which it starts, we use
The definition of the line integral does not specify whether \(C\) is a curve in the plane or space (or hyperspace), as the definition holds regardless. For now, we’ll assume \(C\) lies in the \(xy\)-plane.
This definition of the line integral doesn’t really say anything new. If \(C\) is a curve and \(s\) is the arc-length parameter of \(C\) on \(a\leq s\leq b\text{,}\) then
The real difference with this integral from the standard “\(\int_a^bf(x)\, dx\)” we used in the past is that of context. Our previous integrals naturally summed up values over an interval on the \(x\)-axis, whereas now we are summing up values over a curve. If we can parametrize the curve with the arc-length parameter, we can evaluate the line integral just as before. Unfortunately, parametrizing a curve in terms of the arc-length parameter is usually very difficult, so we must develop a method of evaluating line integrals using a different parametrization.
Given a curve \(C\text{,}\) find any parametrization of \(C\text{:}\)\(x = g(t)\) and \(y=h(t)\text{,}\) for continuous functions \(g\) and \(h\text{,}\) where \(a\leq t\leq b\text{.}\) We can represent this parametrization with a vector-valued function, \(\vrt = \langle g(t),h(t)\rangle\text{.}\)
By the Fundamental Theorem of Calculus, \(ds = \norm{\vec r\,'(t)}\, dt\text{.}\) We can substitute the right hand side of this equation for \(ds\) in the line integral definition.
We can view \(f\) as being a function of \(x\) and \(y\) since it is a function of \(s\text{.}\) Thus \(f(s) =f(x,y) =f\big(g(t),h(t)\big)\text{.}\) This gives us a concrete way to evaluate a line integral:
We restate this as a theorem, along with its three-dimensional analogue, followed by an example where we finally evaluate an integral and find an area.
Theorem15.1.4.Evaluating a Line Integral Over A Scalar Field.
Let \(C\) be a curve parametrized by \(\vrt =\langle g(t),
h(t)\rangle\text{,}\)\(a\leq t\leq b\text{,}\) where \(g\) and \(h\) are continuously differentiable, and let \(z=f(x,y)\text{,}\) where \(f\) is continuous over \(C\text{.}\) Then
Let \(C\) be a curve parametrized by \(\vrt =\langle g(t),
h(t),k(t)\rangle\text{,}\)\(a\leq t\leq b\text{,}\) where \(g\text{,}\)\(h\) and \(k\) are continuously differentiable, and let \(w=f(x,y,z)\text{,}\) where \(f\) is continuous over \(C\text{.}\) Then
To be clear, the first point of Theorem 15.1.4 can be used to find the area under a surface \(z=f(x,y)\) and above a curve \(C\text{.}\) We will later give an understanding of the line integral when \(C\) is a curve in space.
Let’s do an example where we actually compute an area.
Example15.1.5.Evaluating a line integral: area under a surface over a curve.
Find the area under the surface \(f(x,y) =\cos(x)+\sin(y)+2\) over the curve \(C\text{,}\) which is the segment of the line \(y=2x+1\) on \(-1\leq x\leq 1\text{,}\) as shown in Figure 15.1.6.
Our first step is to represent \(C\) with a vector-valued function. Since \(C\) is a simple line, and we have a explicit relationship between \(y\) and \(x\) (namely, that \(y\) is \(2x+1\)), we can let \(x = t\text{,}\)\(y = 2t+1\text{,}\) and write \(\vrt = \langle t, 2t+1\rangle\) for \(-1\leq t\leq 1\text{.}\)
We find the values of \(f\) over \(C\) as \(f(x,y) = f(t,2t+1) = \cos(t)+\sin(2t+1) + 2\text{.}\) We also need \(\norm{\vec r\,'(t)}\text{;}\) with \(\vrp(t) = \langle 1,2\rangle\text{,}\) we have \(\norm{\vrp(t)} = \sqrt{5}\text{.}\) Thus \(ds = \sqrt{5}\, dt\text{.}\)
The curve \(C\) is the unit circle, which we will describe with the parametrization \(\vrt = \langle \cos t, \sin t\rangle\) for \(0\leq t\leq 2\pi\text{.}\) We find \(\norm{\vrp(t)} = 1\text{,}\) so \(ds = 1 dt\text{.}\)
We find the values of \(f\) over \(C\) as \(f(x,y) = f(\cos t, \sin t) = \cos^2t-\sin^2t+3\text{.}\) Thus the area we seek is (note the use of the \(\oint f(s) ds\) notation):
(Note: we may have approximated this answer from the start. The unit circle has a circumference of \(2\pi\text{,}\) and we may have guessed that due to the apparent symmetry of our surface, the average height of the surface is 3.)
We now consider the example that introduced this section.
Example15.1.9.Evaluating a line integral: area under a surface over a curve.
Find the area under \(f(x,y) = 1-\cos(x)\sin(y)\) and over the parabola \(y = x^2\text{,}\) from \(-1\leq x\leq 1\text{.}\)
We parametrize our curve \(C\) as \(\vrt = \langle t,t^2\rangle\) for \(-1\leq t\leq 1\text{;}\) we find \(\norm{\vrp(t)} = \sqrt{1+4t^2}\text{,}\) so \(ds = \sqrt{1+4t^2}\, dt\text{.}\)
Replacing \(x\) and \(y\) with their respective functions of \(t\text{,}\) we have \(f(x,y) = f(t,t^2) = 1-\cos(t)\sin(t^2)\text{.}\) Thus the area under \(f\) and over \(C\) is found to be
This integral is impossible to evaluate using the techniques developed in this text. We resort to a numerical approximation; accurate to two places after the decimal, we find the area is
\begin{align*}
\amp = 2.17\text{.}
\end{align*}
We give one more example of finding area.
Example15.1.10.Evaluating a line integral: area under a curve in space.
Find the area above the \(xy\)-plane and below the helix parametrized by \(\vrt = \langle \cos t,2\sin t,t/\pi\rangle\text{,}\) for \(0\leq t\leq 2\pi\text{,}\) as shown in Figure 15.1.11.
Note how this is problem is different than the previous examples: here, the height is not given by a surface, but by the curve itself.
We use the given vector-valued function \(\vec r(t)\) to determine the curve \(C\) in the \(xy\)-plane by simply using the first two components of \vec r(t): \(\vec c(t) = \langle \cos t,2\sin t\rangle\text{.}\) Thus \(ds = \norm{\vec c\,'(t)}\,dt = \sqrt{\sin^2t + 4\cos^2t}\,dt\text{.}\)
The height is not found by evaluating a surface over \(C\text{,}\) but rather it is given directly by the third component of \vec r(t): \(t/\pi\text{.}\) Thus
where the approximation was obtained using numerical methods.
Figure15.1.12.Another line integral example
Note how in each of the previous examples we are effectively finding “area under a curve”, just as we did when first learning of integration. We have used the phrase “area over a curve \(C\) and under a surface,” but that is because of the important role \(C\) plays in the integral. The figures show how the curve \(C\) defines another curve on the surface \(z=f(x,y)\text{,}\) and we are finding the area under that curve.
Subsection15.1.2Properties of Line Integrals
Many properties of line integrals can be inferred from general integration properties. For instance, if \(k\) is a scalar, then \(\int_C k\,f(s)ds = k\int_Cf(s)ds\text{.}\)
One property in particular of line integrals is worth noting. If \(C\) is a curve composed of subcurves \(C_1\) and \(C_2\text{,}\) where they share only one point in common (see Figure 15.1.13.(a), then the line integral over \(C\) is the sum of the line integrals over \(C_1\) and \(C_2\text{:}\)
Figure15.1.13.Illustrating properties of line integrals
This property allows us to evaluate line integrals over some curves \(C\) that are not smooth. Note how in Figure 15.1.13.(b) the curve is not smooth at \(D\text{,}\) so by our definition of the line integral we cannot evaluate \(\int_C f(s)ds\text{.}\) However, one can evaluate line integrals over \(C_1\) and \(C_2\) and their sum will be the desired quantity.
A curve \(C\) that is composed of two or more smooth curves is said to be piecewise smooth. In this chapter, any statement that is made about smooth curves also holds for piecewise smooth curves.
We state these properties as a theorem.
Theorem15.1.14.Properties of Line Integrals Over Scalar Fields.
Let \(C\) be a smooth curve parametrized by the arc-length parameter \(s\text{,}\) let \(f\) and \(g\) be continuous functions of \(s\text{,}\) and let \(k_1\) and \(k_2\) be scalars. Then
We first learned integration as a method to find area under a curve, then later used integration to compute a variety of other quantities, such as arc length, volume, force, etc. In this section, we also introduced line integrals as a method to find area under a curve, and now we explore one more application.
Let a curve \(C\) (either in the plane or in space) represent a thin wire with variable density \(\delta(s)\text{.}\) We can approximate the mass of the wire by dividing the wire (i.e., the curve) into small segments of length \(\Delta s_i\) and assume the density is constant across these small segments. The mass of each segment is density of the segment × its length; by summing up the approximate mass of each segment we can approximate the total mass:
\begin{equation*}
\text{ Total Mass of Wire } = \sum \delta(s_i)\Delta s_i\text{.}
\end{equation*}
By taking the limit as the length of the segments approaches 0, we have the definition of the line integral as seen in Definition 15.1.3. When learning of the line integral, we let \(f(s)\) represent a height; now we let \(f(s) = \delta(s)\) represent a density.
We can extend this understanding of computing mass to also compute the center of mass of a thin wire. (As a reminder, the center of mass can be a useful piece of information as objects rotate about that center.) We give the relevant formulas in the next definition, followed by an example. Note the similarities between this definition and Definition 14.6.30, which gives similar properties of solids in space.
Definition15.1.15.Mass, Center of Mass of Thin Wire.
Let a thin wire lie along a smooth curve \(C\) with continuous density function \(\delta(s)\text{,}\) where \(s\) is the arc length parameter.
The mass of the thin wire is \(\ds M = \int_C \delta(s)\, ds\text{.}\)
The moment about the \(yz\)-plane is \(\ds M_{yz} = \int_C x\delta(s)\, ds\text{.}\)
The moment about the \(xz\)-plane is \(\ds M_{xz} = \int_C y\delta(s)\, ds\text{.}\)
The moment about the \(xy\)-plane is \(\ds M_{xy} = \int_C z\delta(s)\, ds\text{.}\)
Example15.1.16.Evaluating a line integral: calculating mass.
A thin wire follows the path \(\vrt = \langle 1+\cos t,1+\sin t, 1+ \sin(2t)\rangle\text{,}\)\(0\leq t\leq 2\pi\text{.}\) The density of the wire is determined by its position in space: \(\delta(x,y,z) = y+z\) gm/cm. The wire is shown in Figure 15.1.17, where a light color indicates low density and a dark color represents high density. Find the mass and center of mass of the wire.
as indicated by the dot in Figure 15.1.17. Note how in this example, the curve \(C\) is “centered” about the point \((1,1,1)\text{,}\) though the variable density of the wire pulls the center of mass out along the \(y\) and \(z\) axes.
We end this section with a callback to the Integration Review that preceded this section. A line integral looks like: \(\int_C f(s)\, ds\text{.}\) As stated before the definition of the line integral, this means “sum up, along a curve \(C\text{,}\) function values \(f(s)\)× small arc lengths.” When \(f(s)\) represents a height, we have “height × length = area.” When \(f(s)\) is a density (and we use \(\delta(s)\) by convention), we have “density (mass per unit length) × length = mass.”
In the next section, we investigate a new mathematical object, the vector field. The remaining sections of this chapter are devoted to understanding integration in the context of vector fields.
Exercises15.1.4Exercises
Terms and Concepts
1.
Explain how a line integral can be used to find the area under a curve.
2.
How does the evaluation of a line integral given as \(\int_C f(s)\, ds\) differ from a line integral given as \(\oint_C f(s)\, ds\text{?}\)
3.
Why are most line integrals evaluated using Key Idea 15.1.4 instead of “directly” as \(\int_C f(s)\, ds\text{?}\)
4.
Sketch a closed, piecewise smooth curve composed of three subcurves.
Problems
Exercise Group.
In the following exercises, a planar curve \(C\) is given along with a function \(f\) that is defined over \(C\text{.}\) Evaluate the line integral \(\ds \int_Cf(s)\, ds\text{.}\)
5.
\(C\) is the line segment joining the points \((-2,-1)\) and \((1,2)\text{;}\) the function is \(f(x,y)=x^2+y^2+2\text{.}\)
6.
\(C\) is the segment of \(y=3x+2\) on \([1,2]\text{;}\) the function is \(f(x,y)=5x+2y\text{.}\)
7.
\(C\) is the circle with radius 2 centered at the point \((4,2)\text{;}\) the function is \(f(x,y)=3x-y\text{.}\)
8.
\(C\) is the curve given by \(\vec r(t) = \langle \cos t+t\sin t, \sin t-t\cos t\rangle\) on \([0,2\pi]\text{;}\) the function is \(f(x,y)=5\text{.}\)
9.
\(C\) is the piecewise curve composed of the line segments that connect \((0,1)\) to \((1,1)\text{,}\) then connect \((1,1)\) to \((1,0)\text{;}\) the function is \(f(x,y)=x+y^2\text{.}\)
10.
\(C\) is the piecewise curve composed of the line segment joining the points \((0,0)\) and \((1,1)\text{,}\) along with the quarter-circle parametrized by \(\langle \cos t,-\sin t+1\rangle\) on \([0,\pi/2]\)(which starts at the point \((1,1)\) and ends at \((0,0)\text{;}\) the function is \(f(x,y)=x^2+y^2\text{.}\)
Exercise Group.
In the following exercises, a planar curve \(C\) is given along with a function \(f\) that is defined over \(C\text{.}\) Set up the line integral \(\ds \int_Cf(s)\, ds\text{,}\) then approximate its value using technology.
11.
\(C\) is the portion of the parabola \(y=2x^2+x+1\) on \([0,1]\text{;}\) the function is \(f(x,y)=x^2+2y\text{.}\)
12.
\(C\) is the portion of the curve \(y=\sin x\) on \([0,\pi]\text{;}\) the function is \(f(x,y)=x\text{.}\)
13.
\(C\) is the ellipse given by \(\vec r(t) = \langle 2\cos t,\sin t\rangle\) on \([0,2\pi]\text{;}\) the function is \(f(x,y)=10-x^2-y^2\text{.}\)
14.
\(C\) is the portion of \(y=x^3\) on \([-1,1]\text{;}\) the function is \(f(x,y)=2x+3y+5\text{.}\)
Exercise Group.
In the following exercises, a parametrized curve \(C\) in space is given. Find the area above the \(xy\)-plane that is under \(C\text{.}\)
15.
\(C\text{:}\)\(\vec r(t) = \langle 5t,t,t^2\rangle\) for \(1\leq t\leq 2\text{.}\)
\(C\text{:}\)\(\vec r(t) = \langle 3t,4t,
t\rangle\) for \(0\leq t\leq 1\text{.}\)
Exercise Group.
In the following exercises, a parametrized curve \(C\) is given that represents a thin wire with density \(\delta\text{.}\) Find the mass and center of mass of the thin wire.
\(C\text{:}\)\(\vec r(t) = \langle t-t^2,t^2-t^3,t^3-t^4\rangle\) for \(0\leq t\leq 1\text{;}\)\(\delta(x,y,z) = x+2y+2z\text{.}\) Use technology to approximate the value of each integral.
