Section 15.1 Introduction to Line Integrals
We first used integration to find â€śarea under a curve.â€ť In this section, we learn to do this (again), but in a different context.
Subsection 15.1.1 Line Integrals of Functions
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 \(f\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 arclength 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
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 arclength 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.
Definition 15.1.3. Line Integral Over A Scalar Field.
Let \(C\) be a smooth curve parametrized by \(s\text{,}\) the arclength 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 arclength 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 arclength parameter, we can evaluate the line integral just as before. Unfortunately, parametrizing a curve in terms of the arclength 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 vectorvalued function, \(\vrt = \langle g(t),h(t)\rangle\text{.}\)
In SectionÂ 12.5, we defined the arclength parameter in EquationÂ (12.5.1) as
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 threedimensional analogue, followed by an example where we finally evaluate an integral and find an area.
Theorem 15.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
\begin{equation*} \int_Cf(s)\, ds = \int_a^bf\big(g(t),h(t)\big)\norm{\vec r\,'(t)}\, dt\text{.} \end{equation*} 
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
\begin{equation*} \int_Cf(s)\, ds = \int_a^bf\big(g(t),h(t),k(t)\big)\norm{\vec r\,'(t)}\, dt\text{.} \end{equation*}
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.
Example 15.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 vectorvalued 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 area we seek is
We will practice setting up and evaluating a line integral in another example, then find the area described at the beginning of this section.
Example 15.1.7. Evaluating a line integral: area under a surface over a curve.
Find the area over the unit circle in the \(xy\)plane and under the surface \(f(x,y) = x^2y^2+3\text{,}\) shown in FigureÂ 15.1.8.
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.
Example 15.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.
Example 15.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 vectorvalued 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.
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.
Subsection 15.1.2 Properties 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{:}\)
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.
Theorem 15.1.14. Properties of Line Integrals Over Scalar Fields.

Let \(C\) be a smooth curve parametrized by the arclength parameter \(s\text{,}\) let \(f\) and \(g\) be continuous functions of \(s\text{,}\) and let \(k_1\) and \(k_2\) be scalars. Then
\begin{equation*} \ds \int_C\big(k_1f(s)+k_2g(s)\big)\, ds = k_1\int_Cf(s)\, ds +k_2\int_Cg(s)\, ds\text{.} \end{equation*} 
Let \(C\) be piecewise smooth, composed of smooth components \(C_1\) and \(C_2\text{.}\) Then
\begin{equation*} \int_Cf(s)\, ds = \int_{C_1}f(s)\, ds + \int_{C_2}f(s)\, ds\text{.} \end{equation*}
Subsection 15.1.3 Mass and Center of Mass
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:
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.
Definition 15.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{.}\)

The center of mass of the wire is
\begin{equation*} (\overline{x},\overline{y},\overline{z}) = \left(\frac{M_{yz}}M, \frac{M_{xz}}M,\frac{M_{xy}}M\right)\text{.} \end{equation*}
Example 15.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.
We compute the density of the wire as
We compute \(ds\) as
Thus the mass is
We compute the moments about the coordinate planes:
Thus the center of mass of the wire is located at
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.
Exercises 15.1.4 Exercises
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 surface \(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 surface is \(f(x,y)=x^2+y^2+2\text{.}\)
6.
\(C\) is the segment of \(y=3x+2\) on \([1,2]\text{;}\) the surface is \(f(x,y)=5x+2y\text{.}\)
7.
\(C\) is the circle with radius 2 centered at the point \((4,2)\text{;}\) the surface is \(f(x,y)=3xy\text{.}\)
8.
\(C\) is the curve given by \(\vec r(t) = \langle \cos t+t\sin t, \sin tt\cos t\rangle\) on \([0,2\pi]\text{;}\) the surface 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 surface 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 quartercircle 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 surface is \(f(x,y)=x^2+y^2\text{.}\)
Exercise Group.
In the following exercises, a planar curve \(C\) is given along with a surface \(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 surface is \(f(x,y)=x^2+2y\text{.}\)
12.
\(C\) is the portion of the curve \(y=\sin x\) on \([0,\pi]\text{;}\) the surface 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 surface is \(f(x,y)=10x^2y^2\text{.}\)
14.
\(C\) is the portion of \(y=x^3\) on \([1,1]\text{;}\) the surface 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{.}\)
16.
\(C\text{:}\) \(\vec r(t) = \langle \cos t,\sin t, \sin(2t)+1\rangle\) for \(0\leq t\leq 2\pi\text{.}\)
17.
\(C\text{:}\) \(\vec r(t) = \langle 3\cos t,3\sin t, t^2\rangle\) for \(0\leq t\leq 2\pi\text{.}\)
18.
\(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.
19.
\(C\text{:}\) \(\vec r(t) = \langle \cos t,\sin t, t\rangle\) for \(0\leq t\leq 4\pi\text{;}\) \(\delta(x,y,z) = z\text{.}\)
20.
\(C\text{:}\) \(\vec r(t) = \langle tt^2,t^2t^3,t^3t^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.