5.2: The Definite Integral
- Page ID
- 4179
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We start with an easy problem. An object travels in a straight line at a constant velocity of 5 ft/s for 10 seconds. How far away from its starting point is the object?
We approach this problem with the familiar "Distance \(=\) Rate \(\times\) Time" equation. In this case, Distance = 5ft/s \(\times\) 10s \(=\) 50 feet.
It is interesting to note that this solution of 50 feet can be represented graphically. Consider Figure \(\PageIndex{1}\), where the constant velocity of 5ft/s is graphed on the axes. Shading the area under the line from \(t=0\) to \(t=10\) gives a rectangle with an area of 50 square units; when one considers the units of the axes, we can say this area represents 50 ft.
Figure \(\PageIndex{1}\): The area under a constant velocity function corresponds to distance traveled.
Now consider a slightly harder situation (and not particularly realistic): an object travels in a straight line with a constant velocity of 5ft/s for 10 seconds, then instantly reverses course at a rate of 2ft/s for 4 seconds. (Since the object is traveling in the opposite direction when reversing course, we say the velocity is a constant \(-2\)ft/s.) How far away from the starting point is the object -- what is its displacement?
Here we use "Distance \(=\) Rate\(_1\) \(\times\) Time\(_1\) + Rate\(_2\) \(\times\) Time\(_2\)," which is
\[\text{Distance } \ = 5\cdot10 + (-2)\cdot 4 = 42\text{ ft.}\]
Hence the object is 42 feet from its starting location.
We can again depict this situation graphically. In Figure \(\PageIndex{3}\) we have the velocities graphed as straight lines on \([0,10]\) and \([10,14]\), respectively. The displacement of the object is
\[\text{"Area above the \(t\)--axis} \quad - \quad \text{Area below the \(t\)-axis,} \]
which is easy to calculate as \(50-8=42\) feet.
Figure \(\PageIndex{2}\): The total displacement is the area above the \(t\)--axis minus the area below the \(t\)--axis.
Now consider a more difficult problem.
Example \(\PageIndex{1}\): Finding position using velocity
The velocity of an object moving straight up/down under the acceleration of gravity is given as \(v(t) = -32t+48\), where time \(t\) is given in seconds and velocity is in ft/s. When \(t=0\), the object had a height of 0 ft.
- What was the initial velocity of the object?
- What was the maximum height of the object?
- What was the height of the object at time \(t=2\)?
Solution
It is straightforward to find the initial velocity; at time \(t=0\), \(v(0) =-32\cdot 0+48 = 48\) ft/s.
To answer questions about the height of the object, we need to find the object's position function \(s(t)\). This is an initial value problem, which we studied in the previous section. We are told the initial height is 0, i.e., \(s(0) = 0\). We know \(s'(t) = v(t) = -32t+48\). To find \(s\), we find the indefinite integral of \(v(t)\):
\[\int v(t)\ dt = \int (-32t+48)\ dt = -16t^2+48t+C = s(t).\]
Since \(s(0) = 0\), we conclude that \(C=0\) and \(s(t) = -16t^2+48t\).
To find the maximum height of the object, we need to find the maximum of \(s\). Recalling our work finding extreme values, we find the critical points of \(s\) by setting its derivative equal to 0 and solving for \(t\):
\[s'(t) = -32t+48 = 0 \quad \Rightarrow \quad t=48/32 = 1.5\text{s}.\]
(Notice how we ended up just finding when the velocity was 0ft/s!) The first derivative test shows this is a maximum, so the maximum height of the object is found at
\[s(1.5) = -16(1.5)^2+48(1.5)=36\text{ft}.\]
The height at time \(t=2\) is now straightforward to compute: it is \(s(2) = 32\)ft.
While we have answered all three questions, let's look at them again graphically, using the concepts of area that we explored earlier.
Figure \(\PageIndex{3}\) shows a graph of \(v(t)\) on axes from \(t=0\) to \(t=3\). It is again straightforward to find \(v(0)\). How can we use the graph to find the maximum height of the object?
Figure \(\PageIndex{3}\): A graph of \(v(t)=-32t+48\); the shaded areas help determine displacement.
Recall how in our previous work that the displacement of the object (in this case, its height) was found as the area under the velocity curve, as shaded in the figure. Moreover, the area between the curve and the \(t\)--axis that is below the \(t\)--axis counted as "negative" area. That is, it represents the object coming back toward its starting position. So to find the maximum distance from the starting point -- the maximum height -- we find the area under the velocity line that is above the \(t\)--axis, i.e., from \(t=0\) to \(t=1.5\). This region is a triangle; its area is
\[\text{Area } = \frac12\text{Base} \times \text{Height} =\frac12\times 1.5\text{s}\times 48\text{ft/s} = 36\text{ft},\]
which matches our previous calculation of the maximum height.
Finally, we find the total signed area under the velocity function from \(t=0\) to \(t=2\) to find the \(s(2)\), the height at \(t=2\), which is a displacement, the distance from the current position to the starting position. That is,
\[ \text{Displacement} = \text{Area above the $t-$axis} - \text{Area below $t$-axis.}\]
The regions are triangles, and we find
$$\text{Displacement} = \frac12(1.5\text{s})(48\text{ft/s}) - \frac12(.5\text{s})(16\text{ft/s}) = 32\text{ft}.\]
This also matches our previous calculation of the height at \(t=2\).
Notice how we answered each question in this example in two ways. Our first method was to manipulate equations using our understanding of antiderivatives and derivatives. Our second method was geometric: we answered questions looking at a graph and finding the areas of certain regions of this graph.
The above example does not prove a relationship between area under a velocity function and displacement, but it does imply a relationship exists. Section 5.4 will fully establish fact that the area under a velocity function is displacement.
Given a graph of a function \(y=f(x)\), we will find that there is great use in computing the area between the curve \(y=f(x)\) and the \(x\)-axis. Because of this, we need to define some terms.
Definition \(\PageIndex{1}\): The Definite Integral, Total Signed Area
Let \(y=f(x)\) be defined on a closed interval \([a,b]\). The total signed area from \(x=a\) to \(x=b\) under \(f\) is:
\[(\text{area under $f$ and above the $x$-axis on $[a,b]$)}. - (\text{area above $f$ and under the $x$-axis on $[a,b]$}). \]
The definite integral of \(f\) on \([a,b]\) is the total signed area of \(f\) on \([a,b]\), denoted
\[\int_a^b f(x)\ dx,\]
There \(a\) and \(b\) are the bounds of integration.
By our definition, the definite integral gives the "signed area under \(f\)." We usually drop the word "signed" when talking about the definite integral, and simply say the definite integral gives "the area under \(f\)\," or, more commonly, "the area under the curve."
The previous section introduced the indefinite integral, which related to antiderivatives. We have now defined the definite integral, which relates to areas under a function. The two are very much related, as we'll see when we learn the Fundamental Theorem of Calculus in Section 5.4. Recall that earlier we said that the "\(\int\)" symbol was an "elongated S" that represented finding a "sum." In the context of the definite integral, this notation makes a bit more sense, as we are adding up areas under the function \(f\).
We practice using this notation.
Example \(\PageIndex{2}\): Evaluating definite integrals
Consider the function \(f\) given in Figure \(\PageIndex{4}\).
Figure \(\PageIndex{4}\): A graph of \(f(x)\) in Example \(2\)
Find:
- \(\int_0^3 f(x)\ dx\)
- \(\int_3^5 f(x)\ dx\)
- \(\int_0^5 f(x)\ dx\)
- \(\int_0^3 5f(x)\ dx\)
- \(\int_1^1 f(x) \ dx\)
Solution
- \(\int_0^3 f(x) dx\) is the area under \(f\) on the interval \([0,3]\). This region is a triangle, so the area is \(\int_0^3 f(x) dx=\frac12(3)(1) = 1.5\).
- \(\int_3^5 f(x) dx\) represents the area of the triangle found under the \(x\)--axis on \([3,5]\). The area is \(\frac12(2)(1) = 1\); since it is found under the \(x\)--axis, this is "negative area." Therefore \(\int_3^5 f(x)\ dx = -1\).
- \(\int_0^5f(x) dx\) is the total signed area under \(f\) on \([0,5]\). This is \(1.5 + (-1) = 0.5\).
- \( \int_0^35f(x) dx\) is the area under \(5f\) on \([0,3]\). This is sketched in Figure \(\PageIndex{5}\). Again, the region is a triangle, with height 5 times that of the height of the original triangle. Thus the area is \(\int_0^35f(x)\ dx = 15/2 = 7.5.\)
Figure \(\PageIndex{5}\): A graph of \(5f\) in Example \(\PageIndex{2}\). (Yes, it looks just like the graph of \(f\) in Figure \(\PageIndex{4}\), just with a different \(y\)-scale.)
- \(\int_1^1f(x) dx\) is the area under \(f\) on the "interval" \([1,1]\). This describes a line segment, not a region; it has no width. Therefore the area is 0.
This example illustrates some of the properties of the definite integral, given here.
Theorem \(\PageIndex{2}\): Properties of the Definite Integral
Let \(f\) and \(g\) be defined on a closed interval \(I\) that contains the values \(a\), \(b\) and \(c\), and let \(k\) be a constant. The following hold:
- \(\int_a^a f(x) dx = 0\)
- \(\int_a^b f(x) dx + \int_b^c f(x) dx = \int_a^cf(x) dx\)
- \(\int_a^bf(x) dx = -\int_b^a f(x) dx\)
- \(\int_a^b\big(f(x)\pm g(x)\big) dx = \int_a^bf(x)\ dx \pm \int_a^bg(x) dx\)
- \(\int_a^bk\cdot f(x) dx = k\cdot\int_a^bf(x) dx\)
We give a brief justification of Theorem \(\PageIndex{2}\) here.
- As demonstrated in Example \(\PageIndex{2}\), there is no "area under the curve" when the region has no width; hence this definite integral is 0.
- This states that total area is the sum of the areas of subregions. It is easily considered when we let \(a<b<c\). We can break the interval \([a,c]\) into two subintervals, \([a,b]\) and \([b,c]\). The total area over \([a,c]\) is the area over \([a,b]\) plus the area over \([b,c]\).
It is important to note that this still holds true even if \(a<b<c\) is not true. We discuss this in the next point. - This property can be viewed a merely a convention to make other properties work well. (Later we will see how this property has a justification all its own, not necessarily in support of other properties.) Suppose \(b<a<c\). The discussion from the previous point clearly justifies \[\int_b^a f(x) dx + \int_a^c f(x)\ dx = \int_b^c f(x) dx.\]
However, we still claim that, as originally stated, \[\int_a^b f(x)\ dx + \int_b^c f(x)\ dx = \int_a^c f(x)\ dx.\]
How do Equations \(\PageIndex{11}\) and \(\PageIndex{12}\) relate? Start with Equation \(\PageIndex{11}\): \[\begin{align} \int_b^a f(x) dx + \int_a^c f(x) dx &= \int_b^c f(x) dx\\ \int_a^c f(x)\ dx &= -\int_b^a f(x) dx + \int_b^c f(x) dx \end{align}\]
Property \((3)\) justifies changing the sign and switching the bounds of integration on the \(-\int_b^a f(x) dx\) term; when this is done, Equations \(\PageIndex{11}\) and \(\PageIndex{12}\) are equivalent.
The conclusion is this: by adopting the convention of Property (3), Property (2) holds no matter the order of \(a\), \(b\) and \(c\). Again, in the next section we will see another justification for this property. - ,5. Each of these may be non-intuitive. Property (5) states that when one scales a function by, for instance, 7, the area of the enclosed region also is scaled by a factor of 7. Both Properties (4) and (5) can be proved using geometry. The details are not complicated but are not discussed here.
Example \(\PageIndex{3}\): Evaluating definite integrals using Theorem \(\PageIndex{2}\).
Consider the graph of a function \(f(x)\) shown in Figure \(\PageIndex{6}\).
Figure \(\PageIndex{6}\): A graph of a function in Example \(\PageIndex{3}\)
Answer the following:
- Which value is greater: \(\int_a^b f(x) dx\) or \( \int_b^c f(x) dx\)?
- Is \(\int_a^c f(x) dx\) greater or less than 0?
- Which value is greater: \(\int_a^b f(x) dx\) or \(\int_c^b f(x) dx\)?
Solution
- \(\int_a^b f(x) dx\) has a positive value (since the area is above the \(x\)--axis) whereas \(\int_b^c f(x) dx\) has a negative value. Hence \(\int_a^b f(x) dx\) is bigger.
- \(\int_a^c f(x) dx\) is the total signed area under \(f\) between \(x=a\) and \(x=c\). Since the region below the \(x\)--axis looks to be larger than the region above, we conclude that the definite integral has a value less than 0.
- Note how the second integral has the bounds "reversed." Therefore \(\int_c^b f(x) dx\) represents a positive number, greater than the area described by the first definite integral. Hence \(\int_c^b f(x) dx\) is greater.
The area definition of the definite integral allows us to use geometry compute the definite integral of some simple functions.
Example \(\PageIndex{4}\): Evaluating definite integrals using geometry
Evaluate the following definite integrals:
\[1. \ \int_{-2}^5 (2x-4)\ dx \qquad 2.\ \int_{-3}^3 \sqrt{9-x^2}\ dx.\]
Solution
Figure \(\PageIndex{7}\): A graph of \(f(x) = 2x-4\) in (a) and \(f(x) = \sqrt{9-x^2}\) in (b), from Example \(\PageIndex{4}\)
- It is useful to sketch the function in the integrand, as shown in Figure \(\PageIndex{7a}\). We see we need to compute the areas of two regions, which we have labeled \(R_1\) and \(R_2\). Both are triangles, so the area computation is straightforward:$$R_1: \frac12(4)(8) = 16 \qquad R_2: \frac12(3)6 = 9.$$ Region \(R_1\) lies under the \(x\)--axis, hence it is counted as negative area (we can think of the triangle's height as being "\(-8\)"), so $$\int_{-2}^5(2x-4)\ dx = -16+9 = -7.$$
- Recognize that the integrand of this definite integral describes a half circle, as sketched in Figure \(\PageIndex{7b}\), with radius 3. Thus the area is:
$$\int_{-3}^3 \sqrt{9-x^2}\ dx = \frac12\pi r^2 = \frac 92\pi.\]
Example \(\PageIndex{5}\): Understanding motion given velocity
Consider the graph of a velocity function of an object moving in a straight line, given in Figure \(\PageIndex{8}\), where the numbers in the given regions gives the area of that region. Assume that the definite integral of a velocity function gives displacement. Find the maximum speed of the object and its maximum displacement from its starting position.
Solution
Figure \(\PageIndex{8}\): A graph of a velocity in Example \(\PageIndex{5}\).
Since the graph gives velocity, finding the maximum speed is simple: it looks to be 15ft/s.
At time \(t=0\), the displacement is 0; the object is at its starting position. At time \(t=a\), the object has moved backward 11 feet. Between times \(t=a\) and \(t=b\), the object moves forward 38 feet, bringing it into a position 27 feet forward of its starting position. From \(t=b\) to \(t=c\) the object is moving backwards again, hence its maximum displacement is 27 feet from its starting position.
In our examples, we have either found the areas of regions that have nice geometric shapes (such as rectangles, triangles and circles) or the areas were given to us. Consider Figure \(\PageIndex{9}\), where a region below \(y=x^2\) is shaded. What is its area? The function \(y=x^2\) is relatively simple, yet the shape it defines has an area that is not simple to find geometrically.
Figure \(\PageIndex{9}\): What is the area below \(y=x^2\) on \([0,3]\)? The region is not a usual geometric shape.
In the next section we will explore how to find the areas of such regions.
Contributors and Attributions
Gregory Hartman (Virginia Military Institute). Contributions were made by Troy Siemers and Dimplekumar Chalishajar of VMI and Brian Heinold of Mount Saint Mary's University. This content is copyrighted by a Creative Commons Attribution - Noncommercial (BY-NC) License. http://www.apexcalculus.com/
Integrated by Justin Marshall.