Approximating Areas with Limits of Finite Sums
Learning Objectives
- Use sigma (summation) notation to calculate sums and powers of integers.
- Use the sum of rectangular areas to approximate the area under a curve.
- Use Riemann sums to approximate area.
Archimedes was fascinated with calculating the areas of various shapes—in other words, the amount of space enclosed by the shape. He used a process that has come to be known as the method of exhaustion, which used smaller and smaller shapes, the areas of which could be calculated exactly, to fill an irregular region and thereby obtain closer and closer approximations to the total area. In this process, an area bounded by curves is filled with rectangles, triangles, and shapes with exact area formulas. These areas are then summed to approximate the area of the curved region.
In this section, we develop techniques to approximate the area between a curve, defined by a function [latex]f(x)[/latex], and the [latex]x[/latex]-axis on a closed interval [latex][a,b][/latex]. Like Archimedes, we first approximate the area under the curve using shapes of known area (namely, rectangles). By using smaller and smaller rectangles, we get closer and closer approximations to the area. Taking a limit allows us to calculate the exact area under the curve. Let's first look at some visual examples.
The Area Problem and Integral Calculus
Many quantities in physics—for example, quantities of work—may be interpreted as the area under a curve. This leads us to ask the question: How can we find the area between the graph of a function and the [latex]x[/latex]-axis over an interval ((Figure))?
We will try to approximate the solution. We approximate the area by dividing up the interval [latex][a,b][/latex] into smaller intervals in the shape of rectangles. The approximation of the area comes from adding up the areas of these rectangles ((Figure)).
As the widths of the rectangles become smaller (approach zero), the sums of the areas of the rectangles approach the area between the graph of [latex]f(x)[/latex] and the [latex]x[/latex]-axis over the interval [latex][a,b][/latex]. Once again, we find ourselves taking a limit. Limits of this type serve as a basis for the definition of the definite integral. Integral calculus is the study of integrals and their applications.
Estimation Using Rectangles
Estimate the area between the [latex]x[/latex]-axis and the graph of [latex]f(x)=x^2+1[/latex] over the interval [latex][0,3][/latex] by using the three rectangles shown in (Figure).
Answer: The areas of the three rectangles are 1 unit2, 2 unit2, and 5 unit2. Using these rectangles, our area estimate is 8 unit2.
Estimate the area between the [latex]x[/latex]-axis and the graph of [latex]f(x)=x^2+1[/latex] over the interval [latex][0,3][/latex] by using the three rectangles shown here:
Answer:
16 unit2
Finding areas by drawing rectangles is not that accurate to find the area. Next, we will move towards finding the exact area by trying to fit a lot more rectangles under the curve. Before we get to that point, let’s start by introducing some notation to make the calculations easier. We then consider the case when [latex]f(x)[/latex] is continuous and nonnegative. Later in the chapter, we relax some of these restrictions and develop techniques that apply in more general cases.
Sigma (Summation) Notation
As mentioned, we will use shapes of known area to approximate the area of an irregular region bounded by curves. This process often requires adding up long strings of numbers. To make it easier to write down these lengthy sums, we look at some new notation here, called sigma notation (also known as summation notation). The Greek capital letter [latex]\Sigma[/latex], sigma, is used to express long sums of values in a compact form. For example, if we want to add all the integers from 1 to 20 without sigma notation, we have to write
We could probably skip writing a couple of terms and write
which is much more compact.
Typically, sigma notation is presented in the form
where [latex]a_i[/latex] describes the terms to be added, and the [latex]i[/latex] is called the index. Each term is evaluated, then we sum all the values, beginning with the value when [latex]i=1[/latex] and ending with the value when [latex]i=n[/latex]. For example, an expression like [latex]\underset{i=2}{\overset{7}{\Sigma}}s_i[/latex] is interpreted as [latex]s_2+s_3+s_4+s_5+s_6+s_7[/latex]. Note that the index is used only to keep track of the terms to be added; it does not factor into the calculation of the sum itself. The index is therefore called a dummy variable. We can use any letter we like for the index. Typically, mathematicians use [latex]i[/latex], [latex]j[/latex], [latex]k[/latex], [latex]m[/latex], and [latex]n[/latex] for indices.
Let’s try a couple of examples of using sigma notation.
Using Sigma Notation
- Write in sigma notation and evaluate the sum of terms [latex]3^i[/latex] for [latex]i=1,2,3,4,5[/latex].
- Write the sum in sigma notation:
[latex]1+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+\frac{1}{25}[/latex].
Answer:
- Write
[latex]\begin{array}{ll}\underset{i=1}{\overset{5}{\Sigma}}3^i & =3+3^2+3^3+3^4+3^5 \\ & =363 \end{array}[/latex]
- The denominator of each term is a perfect square. Using sigma notation, this sum can be written as [latex]\underset{i=1}{\overset{5}{\Sigma}}\frac{1}{i^2}[/latex].
Write in sigma notation and evaluate the sum of terms [latex]2^i[/latex] for [latex]i=3,4,5,6[/latex].
Answer:
[latex]\underset{i=3}{\overset{6}{\Sigma}}2^i=2^3+2^4+2^5+2^6=120[/latex]
Hint
Use the solving steps in (Figure) as a guide.
The properties associated with the summation process are given in the following rule.
Rule: Properties of Sigma Notation
Let [latex]a_1,a_2, \cdots,a_n[/latex] and [latex]b_1,b_2,\cdots,b_n[/latex] represent two sequences of terms and let [latex]c[/latex] be a constant. The following properties hold for all positive integers [latex]n[/latex] and for integers [latex]m[/latex], with [latex]1\le m\le n[/latex].
-
[latex]\underset{i=1}{\overset{n}{\Sigma}}c=nc[/latex]
-
[latex]\underset{i=1}{\overset{n}{\Sigma}}ca_i=c\underset{i=1}{\overset{n}{\Sigma}}a_i[/latex]
-
[latex]\underset{i=1}{\overset{n}{\Sigma}}(a_i+b_i)=\underset{i=1}{\overset{n}{\Sigma}}a_i+\underset{i=1}{\overset{n}{\Sigma}}b_i[/latex]
-
[latex]\underset{i=1}{\overset{n}{\Sigma}}(a_i-b_i)=\underset{i=1}{\overset{n}{\Sigma}}a_i-\underset{i=1}{\overset{n}{\Sigma}}b_i[/latex]
-
[latex]\underset{i=1}{\overset{n}{\Sigma}}a_i=\underset{i=1}{\overset{m}{\Sigma}}a_i+\underset{i=m+1}{\overset{n}{\Sigma}}a_i[/latex]
Proof
We prove properties 2 and 3 here, and leave proof of the other properties to the Exercises.
Property 2: We have
Property 3: We have
□
A few more formulas for frequently found functions simplify the summation process further. These are shown in the next rule, for sums and powers of integers, and we use them in the next set of examples.
Rule: Sums and Powers of Integers
- The sum of [latex]n[/latex] integers is given by
[latex]\underset{i=1}{\overset{n}{\Sigma}}i=1+2+\cdots+n=\frac{n(n+1)}{2}[/latex].
- The sum of consecutive integers squared is given by
[latex]\underset{i=1}{\overset{n}{\Sigma}}i^2=1^2+2^2+\cdots+n^2=\frac{n(n+1)(2n+1)}{6}[/latex].
- The sum of consecutive integers cubed is given by
[latex]\underset{i=1}{\overset{n}{\Sigma}}i^3=1^3+2^3+\cdots+n^3=\frac{n^2(n+1)^2}{4}[/latex].
Evaluation Using Sigma Notation
Write using sigma notation and evaluate:
- The sum of the terms [latex](i-3)^2[/latex] for [latex]i=1,2,\cdots,200[/latex].
- The sum of the terms [latex](i^3-i^2)[/latex] for [latex]i=1,2,3,4,5,6[/latex].
Answer:
- Multiplying out [latex](i-3)^2[/latex], we can break the expression into three terms.
[latex]\begin{array}{ll}\underset{i=1}{\overset{200}{\Sigma}}(i-3)^2 & =\underset{i=1}{\overset{200}{\Sigma}}(i^2-6i+9) \\ & =\underset{i=1}{\overset{200}{\Sigma}}i^2-\underset{i=1}{\overset{200}{\Sigma}}6i+\underset{i=1}{\overset{200}{\Sigma}}9 \\ & =\underset{i=1}{\overset{200}{\Sigma}}i^2-6\underset{i=1}{\overset{200}{\Sigma}}i+\underset{i=1}{\overset{200}{\Sigma}}9 \\ & =\frac{200(200+1)(400+1)}{6}-6[\frac{200(200+1)}{2}]+9(200) \\ & =2,686,700-120,600+1800 \\ & =2,567,900 \end{array}[/latex]
- Use sigma notation property iv. and the rules for the sum of squared terms and the sum of cubed terms.
[latex]\begin{array}{ll}\underset{i=1}{\overset{6}{\Sigma}}(i^3-i^2) & =\underset{i=1}{\overset{6}{\Sigma}}i^3-\underset{i=1}{\overset{6}{\Sigma}}i^2 \\ & =\frac{6^2(6+1)^2}{4}-\frac{6(6+1)(2(6)+1)}{6} \\ & =\frac{1764}{4}-\frac{546}{6} \\ & =350 \end{array}[/latex]
Find the sum of the values of [latex]4+3i[/latex] for [latex]i=1,2,\cdots,100[/latex].
Answer:
15,550
Hint
Use the properties of sigma notation to solve the problem.
Finding the Sum of the Function Values
Find the sum of the values of [latex]f(x)=x^3[/latex] over the integers [latex]1,2,3,\cdots,10[/latex].
Answer:
Using the formula, we have
Evaluate the sum indicated by the notation [latex]\underset{k=1}{\overset{20}{\Sigma}}(2k+1)[/latex].
Answer:
440
Hint
Use the rule on sum and powers of integers.
Approximating Area
Now that we have the necessary notation, we return to the problem at hand: approximating the area under a curve. Let [latex]f(x)[/latex] be a continuous, nonnegative function defined on the closed interval [latex][a,b][/latex]. We want to approximate the area [latex]A[/latex] bounded by [latex]f(x)[/latex] above, the [latex]x[/latex]-axis below, the line [latex]x=a[/latex] on the left, and the line [latex]x=b[/latex] on the right ((Figure)).
How do we approximate the area under this curve? The approach is a geometric one. By dividing a region into many small shapes that have known area formulas, we can sum these areas and obtain a reasonable estimate of the true area. We begin by dividing the interval [latex][a,b][/latex] into [latex]n[/latex] subintervals of equal width, [latex]\frac{b-a}{n}[/latex]. We do this by selecting equally spaced points [latex]x_0,x_1,x_2,\cdots,x_n[/latex] with [latex]x_0=a, \, x_n=b[/latex], and
We denote the width of each subinterval with the notation [latex]\Delta x[/latex], so [latex]\Delta x=\frac{b-a}{n}[/latex] and
for [latex]i=1,2,3,\cdots,n[/latex]. This notion of dividing an interval [latex][a,b][/latex] into subintervals by selecting points from within the interval is used quite often in approximating the area under a curve, so let’s define some relevant terminology.
Definition
A set of points [latex]P=\{x_i\}[/latex] for [latex]i=0,1,2,\cdots,n[/latex] with [latex]a=x_0<x_1<x_2<\cdots<x_n=b[/latex], which divides the interval [latex][a,b][/latex] into subintervals of the form [latex][x_0,x_1], \, [x_1,x_2],\cdots,[x_{n-1},x_n][/latex] is called a partition of [latex][a,b][/latex]. If the subintervals all have the same width, the set of points forms a regular partition of the interval [latex][a,b][/latex].
We can use this regular partition as the basis of a method for estimating the area under the curve. We next examine two methods: the left-endpoint approximation and the right-endpoint approximation.
Rule: Left-Endpoint Approximation
On each subinterval [latex][x_{i-1},x_i][/latex] (for [latex]i=1,2,3,\cdots,n[/latex]), construct a rectangle with width [latex]\Delta x[/latex] and height equal to [latex]f(x_{i-1})[/latex], which is the function value at the left endpoint of the subinterval. Then the area of this rectangle is [latex]f(x_{i-1})\Delta x[/latex]. Adding the areas of all these rectangles, we get an approximate value for [latex]A[/latex] ((Figure)). We use the notation [latex]L_n[/latex] to denote that this is a left-endpoint approximation of [latex]A[/latex] using [latex]n[/latex] subintervals.
The second method for approximating area under a curve is the right-endpoint approximation. It is almost the same as the left-endpoint approximation, but now the heights of the rectangles are determined by the function values at the right of each subinterval.
Rule: Right-Endpoint Approximation
Construct a rectangle on each subinterval [latex][x_{i-1},x_i][/latex], only this time the height of the rectangle is determined by the function value [latex]f(x_i)[/latex] at the right endpoint of the subinterval. Then, the area of each rectangle is [latex]f(x_i)\Delta x[/latex] and the approximation for [latex]A[/latex] is given by
The notation [latex]R_n[/latex] indicates this is a right-endpoint approximation for [latex]A[/latex] ((Figure)).
The graphs in (Figure) represent the curve [latex]f(x)=\frac{x^2}{2}[/latex]. In graph (a) we divide the region represented by the interval [latex][0,3][/latex] into six subintervals, each of width 0.5. Thus, [latex]\Delta x=0.5[/latex]. We then form six rectangles by drawing vertical lines perpendicular to [latex]x_{i-1}[/latex], the left endpoint of each subinterval. We determine the height of each rectangle by calculating [latex]f(x_{i-1})[/latex] for [latex]i=1,2,3,4,5,6[/latex]. The intervals are [latex][0,0.5], \, [0.5,1], \, [1,1.5], \, [1.5,2], \, [2,2.5], \, [2.5,3][/latex]. We find the area of each rectangle by multiplying the height by the width. Then, the sum of the rectangular areas approximates the area between [latex]f(x)[/latex] and the [latex]x[/latex]-axis. When the left endpoints are used to calculate height, we have a left-endpoint approximation. Thus,
In (Figure)(b), we draw vertical lines perpendicular to [latex]x_i[/latex] such that [latex]x_i[/latex] is the right endpoint of each subinterval, and calculate [latex]f(x_i)[/latex] for [latex]i=1,2,3,4,5,6[/latex]. We multiply each [latex]f(x_i)[/latex] by [latex]\Delta x[/latex] to find the rectangular areas, and then add them. This is a right-endpoint approximation of the area under [latex]f(x)[/latex]. Thus,
Approximating the Area Under a Curve
Use both left-endpoint and right-endpoint approximations to approximate the area under the curve of [latex]f(x)=x^2[/latex] on the interval [latex][0,2][/latex]; use [latex]n=4[/latex].
Answer:
First, divide the interval [latex][0,2][/latex] into [latex]n[/latex] equal subintervals. Using [latex]n=4, \, \Delta x=\frac{(2-0)}{4}=0.5[/latex]. This is the width of each rectangle. The intervals [latex][0,0.5], \, [0.5,1], \, [1,1.5], \, [1.5,2][/latex] are shown in (Figure). Using a left-endpoint approximation, the heights are [latex]f(0)=0, \, f(0.5)=0.25, \, f(1)=1, \, f(1.5)=2.25[/latex]. Then,
The right-endpoint approximation is shown in (Figure). The intervals are the same, [latex]\Delta x=0.5[/latex], but now use the right endpoint to calculate the height of the rectangles. We have
The left-endpoint approximation is 1.75; the right-endpoint approximation is 3.75.
Sketch left-endpoint and right-endpoint approximations for [latex]f(x)=\frac{1}{x}[/latex] on [latex][1,2][/latex]; use [latex]n=4[/latex]. Approximate the area using both methods.
Answer:
The left-endpoint approximation is 0.7595. The right-endpoint approximation is 0.6345. See the below (Figure).
Hint
Follow the solving strategy in (Figure) step-by-step.
Looking at (Figure) and the graphs in (Figure), we can see that when we use a small number of intervals, neither the left-endpoint approximation nor the right-endpoint approximation is a particularly accurate estimate of the area under the curve. However, it seems logical that if we increase the number of points in our partition, our estimate of [latex]A[/latex] will improve. We will have more rectangles, but each rectangle will be thinner, so we will be able to fit the rectangles to the curve more precisely.
We can demonstrate the improved approximation obtained through smaller intervals with an example. Let’s explore the idea of increasing [latex]n[/latex], first in a left-endpoint approximation with four rectangles, then eight rectangles, and finally 32 rectangles. Then, let’s do the same thing in a right-endpoint approximation, using the same sets of intervals, of the same curved region. (Figure) shows the area of the region under the curve [latex]f(x)=(x-1)^3+4[/latex] on the interval [latex][0,2][/latex] using a left-endpoint approximation where [latex]n=4[/latex]. The width of each rectangle isThe area is approximated by the summed areas of the rectangles, or
(Figure) shows the same curve divided into eight subintervals. Comparing the graph with four rectangles in (Figure) with this graph with eight rectangles, we can see there appears to be less white space under the curve when [latex]n=8[/latex]. This white space is area under the curve we are unable to include using our approximation. The area of the rectangles is
The graph in (Figure) shows the same function with 32 rectangles inscribed under the curve. There appears to be little white space left. The area occupied by the rectangles is
We can carry out a similar process for the right-endpoint approximation method. A right-endpoint approximation of the same curve, using four rectangles ((Figure)), yields an area
Dividing the region over the interval [latex][0,2][/latex] into eight rectangles results in [latex]\Delta x=\frac{2-0}{8}=0.25[/latex]. The graph is shown in (Figure). The area is
Last, the right-endpoint approximation with [latex]n=32[/latex] is close to the actual area ((Figure)). The area is approximately
Based on these figures and calculations, it appears we are on the right track; the rectangles appear to approximate the area under the curve better as [latex]n[/latex] gets larger. Furthermore, as [latex]n[/latex] increases, both the left-endpoint and right-endpoint approximations appear to approach an area of 8 square units. (Figure) shows a numerical comparison of the left- and right-endpoint methods. The idea that the approximations of the area under the curve get better and better as [latex]n[/latex] gets larger and larger is very important, and we now explore this idea in more detail.
Values of [latex]n[/latex] | Approximate Area [latex]L_n[/latex] | Approximate Area [latex]R_n[/latex] |
---|---|---|
[latex]n=4[/latex] | 7.5 | 8.5 |
[latex]n=8[/latex] | 7.75 | 8.25 |
[latex]n=32[/latex] | 7.94 | 8.06 |
Forming Riemann Sums
So far we have been using rectangles to approximate the area under a curve. The heights of these rectangles have been determined by evaluating the function at either the right or left endpoints of the subinterval [latex][x_{i-1},x_i][/latex]. In reality, there is no reason to restrict evaluation of the function to one of these two points only. We could evaluate the function at any point [latex]x_i^*[/latex] in the subinterval [latex][x_{i-1},x_i][/latex], and use [latex]f(x_i^*)[/latex] as the height of our rectangle. This gives us an estimate for the area of the form
A sum of this form is called a Riemann sum, named for the 19th-century mathematician Bernhard Riemann, who developed the idea.
Definition
Let [latex]f(x)[/latex] be defined on a closed interval [latex][a,b][/latex] and let [latex]P[/latex] be a regular partition of [latex][a,b][/latex]. Let [latex]\Delta x[/latex] be the width of each subinterval [latex][x_{i-1},x_i][/latex] and for each [latex]i[/latex], let [latex]x_i^*[/latex] be any point in [latex][x_{i-1},x_i][/latex]. A Riemann sum is defined for [latex]f(x)[/latex] as
Recall that with the left- and right-endpoint approximations, the estimates seem to get better and better as [latex]n[/latex] get larger and larger. The same thing happens with Riemann sums. Riemann sums give better approximations for larger values of [latex]n[/latex]. We are now ready to define the area under a curve in terms of Riemann sums.
Definition
Let [latex]f(x)[/latex] be a continuous, nonnegative function on an interval [latex][a,b][/latex], and let [latex]\underset{i=1}{\overset{n}{\Sigma}}f(x_i^*)\Delta x[/latex] be a Riemann sum for [latex]f(x)[/latex]. Then, the area under the curve [latex]y=f(x)[/latex] on [latex][a,b][/latex] is given by
See a graphical demonstration of the construction of a Riemann sum.
Some subtleties here are worth discussing. First, note that taking the limit of a sum is a little different from taking the limit of a function [latex]f(x)[/latex] as [latex]x[/latex] goes to infinity. Limits of sums are discussed in detail in the chapter on Sequences and Series in the second volume of this text; however, for now we can assume that the computational techniques we used to compute limits of functions can also be used to calculate limits of sums.
Second, we must consider what to do if the expression converges to different limits for different choices of [latex]\{x_i^*\}[/latex]. Fortunately, this does not happen. Although the proof is beyond the scope of this text, it can be shown that if [latex]f(x)[/latex] is continuous on the closed interval [latex][a,b][/latex], then [latex]\underset{n\to \infty }{\lim}\underset{i=1}{\overset{n}{\Sigma}}f(x_i^*)\Delta x[/latex] exists and is unique (in other words, it does not depend on the choice of [latex]\{x_i^*\}[/latex]).
We look at some examples shortly. But, before we do, let’s take a moment and talk about some specific choices for [latex]\{x_i^*\}[/latex]. Although any choice for [latex]\{x_i^*\}[/latex] gives us an estimate of the area under the curve, we don’t necessarily know whether that estimate is too high (overestimate) or too low (underestimate). If it is important to know whether our estimate is high or low, we can select our value for [latex]\{x_i^*\}[/latex] to guarantee one result or the other.
If we want an overestimate, for example, we can choose [latex]\{x_i^*\}[/latex] such that for [latex]i=1,2,3,\cdots,n, \, f(x_i^*)\ge f(x)[/latex] for all [latex]x\in [x_{i-1},x_i][/latex]. In other words, we choose [latex]\{x_i^*\}[/latex] so that for [latex]i=1,2,3,\cdots,n, \, f(x_i^*)[/latex] is the maximum function value on the interval [latex][x_{i-1},x_i][/latex]. If we select [latex]\{x_i^*\}[/latex] in this way, then the Riemann sum [latex]\underset{i=1}{\overset{n}{\Sigma}}f(x_i^*)\Delta x[/latex] is called an upper sum. Similarly, if we want an underestimate, we can choose [latex]\{x_i^*\}[/latex] so that for [latex]i=1,2,3,\cdots,n, \, f(x_i^*)[/latex] is the minimum function value on the interval [latex][x_{i-1},x_i][/latex]. In this case, the associated Riemann sum is called a lower sum. Note that if [latex]f(x)[/latex] is either increasing or decreasing throughout the interval [latex][a,b][/latex], then the maximum and minimum values of the function occur at the endpoints of the subintervals, so the upper and lower sums are just the same as the left- and right-endpoint approximations.
Finding Lower and Upper Sums
Find a lower sum for [latex]f(x)=10-x^2[/latex] on [latex][1,2][/latex]; use [latex]n=4[/latex] subintervals.
Answer: With [latex]n=4[/latex] over the interval [latex][1,2], \, \Delta x=\frac{1}{4}[/latex]. We can list the intervals as [latex][1,1.25], \, [1.25,1.5], \, [1.5,1.75], \, [1.75,2][/latex]. Because the function is decreasing over the interval [latex][1,2][/latex], (Figure) shows that a lower sum is obtained by using the right endpoints.
The Riemann sum is
The area of 7.28 is a lower sum and an underestimate.
- Find an upper sum for [latex]f(x)=10-x^2[/latex] on [latex][1,2][/latex]; let [latex]n=4[/latex].
- Sketch the approximation.
Answer:
- Upper sum [latex]=8.0313[/latex].
Hint
[latex]f(x)[/latex] is decreasing on [latex][1,2][/latex], so the maximum function values occur at the left endpoints of the subintervals.
Finding Lower and Upper Sums for [latex]f(x)= \sin x[/latex]
Find a lower sum for [latex]f(x)= \sin x[/latex] over the interval [latex][a,b]=[0,\frac{\pi }{2}][/latex]; let [latex]n=6[/latex].
Answer:
Let’s first look at the graph in (Figure) to get a better idea of the area of interest.
The intervals are [latex][0,\frac{\pi}{12}], \, [\frac{\pi}{12},\frac{\pi}{6}], \, [\frac{\pi}{6},\frac{\pi}{4}], \, [\frac{\pi}{4},\frac{\pi}{3}], \, [\frac{\pi}{3},\frac{5\pi}{12}][/latex], and [latex][\frac{5\pi}{12},\frac{\pi}{2}][/latex]. Note that [latex]f(x)= \sin x[/latex] is increasing on the interval [latex][0,\frac{\pi}{2}][/latex], so a left-endpoint approximation gives us the lower sum. A left-endpoint approximation is the Riemann sum [latex]\underset{i=0}{\overset{5}{\Sigma}} \sin x_i(\frac{\pi}{12})[/latex]. We have
Using the function [latex]f(x)= \sin x[/latex] over the interval [latex][0,\frac{\pi}{2}][/latex], find an upper sum; let [latex]n=6[/latex].
Answer:
[latex]A \approx 1.125[/latex]
Hint
Follow the steps from (Figure).
Key Concepts
- The use of sigma (summation) notation of the form [latex]\underset{i=1}{\overset{n}{\Sigma}}a_i[/latex] is useful for expressing long sums of values in compact form.
- For a continuous function defined over an interval [latex][a,b][/latex], the process of dividing the interval into [latex]n[/latex] equal parts, extending a rectangle to the graph of the function, calculating the areas of the series of rectangles, and then summing the areas yields an approximation of the area of that region.
- The width of each rectangle is [latex]\Delta x=\frac{b-a}{n}[/latex].
- Riemann sums are expressions of the form [latex]\underset{i=1}{\overset{n}{\Sigma}}f(x_i^*)\Delta x[/latex], and can be used to estimate the area under the curve [latex]y=f(x)[/latex]. Left- and right-endpoint approximations are special kinds of Riemann sums where the values of [latex]\{x_i^*\}[/latex] are chosen to be the left or right endpoints of the subintervals, respectively.
- Riemann sums allow for much flexibility in choosing the set of points [latex]\{x_i^*\}[/latex] at which the function is evaluated, often with an eye to obtaining a lower sum or an upper sum.
Key Equations
- Properties of Sigma Notation [latex-display]\underset{i=1}{\overset{n}{\Sigma}}c=nc[/latex-display] [latex-display]\underset{i=1}{\overset{n}{\Sigma}}ca_i=c\underset{i=1}{\overset{n}{\Sigma}}a_i[/latex-display] [latex-display]\underset{i=1}{\overset{n}{\Sigma}}(a_i+b_i)=\underset{i=1}{\overset{n}{\Sigma}}a_i+\underset{i=1}{\overset{n}{\Sigma}}b_i[/latex-display] [latex-display]\underset{i=1}{\overset{n}{\Sigma}}(a_i-b_i)=\underset{i=1}{\overset{n}{\Sigma}}a_i-\underset{i=1}{\overset{n}{\Sigma}}b_i[/latex-display] [latex]\underset{i=1}{\overset{n}{\Sigma}}a_i=\underset{i=1}{\overset{m}{\Sigma}}a_i+\underset{i=m+1}{\overset{n}{\Sigma}}a_i[/latex]
- Sums and Powers of Integers [latex-display]\underset{i=1}{\overset{n}{\Sigma}}i=1+2+\cdots+n=\frac{n(n+1)}{2}[/latex-display] [latex-display]\underset{i=1}{\overset{n}{\Sigma}}i^2=1^2+2^2+\cdots+n^2=\frac{n(n+1)(2n+1)}{6}[/latex-display] [latex]\underset{i=1}{\overset{n}{\Sigma}}i^3=1^3+2^3+\cdots+n^3=\frac{n^2(n+1)^2}{4}[/latex]
- Left-Endpoint Approximation [latex]A \approx L_n=f(x_0)\Delta x+f(x_1)\Delta x+\cdots+f(x_{n-1})\Delta x=\underset{i=1}{\overset{n}{\Sigma}}f(x_{i-1})\Delta x[/latex]
- Right-Endpoint Approximation [latex]A \approx R_n=f(x_1)\Delta x+f(x_2)\Delta x+\cdots+f(x_n)\Delta x=\underset{i=1}{\overset{n}{\Sigma}}f(x_i)\Delta x[/latex]
1. State whether the given sums are equal or unequal.
- [latex]\underset{i=1}{\overset{10}{\Sigma}} i[/latex] and [latex]\underset{k=1}{\overset{10}{\Sigma}} k[/latex]
- [latex]\underset{i=1}{\overset{10}{\Sigma}} i[/latex] and [latex]\underset{i=6}{\overset{15}{\Sigma}} (i-5)[/latex]
- [latex]\underset{i=1}{\overset{10}{\Sigma}} i(i-1)[/latex] and [latex]\underset{j=0}{\overset{9}{\Sigma}} (j+1)j[/latex]
- [latex]\underset{i=1}{\overset{10}{\Sigma}} i(i-1)[/latex] and [latex]\underset{k=1}{\overset{10}{\Sigma}}(k^2-k)[/latex]
Answer:
a. They are equal; both represent the sum of the first 10 whole numbers. b. They are equal; both represent the sum of the first 10 whole numbers. c. They are equal by substituting [latex]j=i-1[/latex]. d. They are equal; the first sum factors the terms of the second.
In the following exercises, use the rules for sums of powers of integers to compute the sums.
2. [latex]\underset{i=5}{\overset{10}{\Sigma}} i[/latex]
3. [latex]\underset{i=5}{\overset{10}{\Sigma}} i^2[/latex]
Answer:
[latex]385-30=355[/latex]
Suppose that [latex]\underset{i=1}{\overset{100}{\Sigma}} a_i=15[/latex] and [latex]\underset{i=1}{\overset{100}{\Sigma}} b_i=-12[/latex]. In the following exercises, compute the sums.
4. [latex]\underset{i=1}{\overset{100}{\Sigma}} (a_i+b_i)[/latex]
5. [latex]\underset{i=1}{\overset{100}{\Sigma}} (a_i-b_i)[/latex]
Answer:
[latex]15-(-12)=27[/latex]
6. [latex]\underset{i=1}{\overset{100}{\Sigma}} (3a_i-4b_i)[/latex]
7. [latex]\underset{i=1}{\overset{100}{\Sigma}} (5a_i+4b_i)[/latex]
Answer:
[latex]5(15)+4(-12)=27[/latex]
In the following exercises, use summation properties and formulas to rewrite and evaluate the sums.
9. [latex]\underset{j=1}{\overset{50}{\Sigma}} (j^2-2j)[/latex]
Answer:
[latex]\underset{j=1}{\overset{50}{\Sigma}} j^2-2\underset{j=1}{\overset{50}{\Sigma}} j=\frac{(50)(51)(101)}{6}-\frac{2(50)(51)}{2}=40,375[/latex]
10. [latex]\underset{j=11}{\overset{20}{\Sigma}} (j^2-10j)[/latex]
11. [latex]\underset{k=1}{\overset{25}{\Sigma}} [(2k)^2-100k][/latex]
Answer:
[latex]4\underset{k=1}{\overset{25}{\Sigma}} k^2-100\underset{k=1}{\overset{25}{\Sigma}} k=\frac{4(25)(26)(51)}{9}-50(25)(26)=-10,400[/latex]
Let [latex]L_n[/latex] denote the left-endpoint sum using [latex]n[/latex] subintervals and let [latex]R_n[/latex] denote the corresponding right-endpoint sum. In the following exercises, compute the indicated left and right sums for the given functions on the indicated interval.
12. [latex]L_4[/latex] for [latex]f(x)=\frac{1}{x-1}[/latex] on [latex][2,3][/latex]
13. [latex]R_4[/latex] for [latex]g(x)= \cos (\pi x)[/latex] on [latex][0,1][/latex]
Answer:
[latex]R_4=0.25[/latex]
14. [latex]L_6[/latex] for [latex]f(x)=\frac{1}{x(x-1)}[/latex] on [latex][2,5][/latex]
Answer:
[latex]R_6=0.372[/latex]
16. [latex]R_4[/latex] for [latex]\frac{1}{x^2+1}[/latex] on [latex][-2,2][/latex]
17. [latex]L_4[/latex] for [latex]\frac{1}{x^2+1}[/latex] on [latex][-2,2][/latex]
Answer:
[latex]L_4=2.20[/latex]
18. [latex]R_4[/latex] for [latex]x^2-2x+1[/latex] on [latex][0,2][/latex]
19. [latex]L_8[/latex] for [latex]x^2-2x+1[/latex] on [latex][0,2][/latex]
Answer:
[latex]L_8=0.6875[/latex]
20. Compute the left and right Riemann sums—[latex]L_4[/latex] and [latex]R_4[/latex], respectively—for [latex]f(x)=(2-|x|)[/latex] on [latex][-2,2][/latex]. Compute their average value and compare it with the area under the graph of [latex]f[/latex].
21. Compute the left and right Riemann sums—[latex]L_6[/latex] and [latex]R_6[/latex], respectively—for [latex]f(x)=(3-|3-x|)[/latex] on [latex][0,6][/latex]. Compute their average value and compare it with the area under the graph of [latex]f[/latex].
Answer:
[latex]L_6=9.000=R_6[/latex]. The graph of [latex]f[/latex] is a triangle with area 9.
22. Compute the left and right Riemann sums—[latex]L_4[/latex] and [latex]R_4[/latex], respectively—for [latex]f(x)=\sqrt{4-x^2}[/latex] on [latex][-2,2][/latex] and compare their values.
23. Compute the left and right Riemann sums—[latex]L_6[/latex] and [latex]R_6[/latex], respectively—for [latex]f(x)=\sqrt{9-(x-3)^2}[/latex] on [latex][0,6][/latex] and compare their values.
Answer:
[latex]L_6=13.12899=R_6[/latex]. They are equal.
Express the following endpoint sums in sigma notation but do not evaluate them.
24. [latex]L_{30}[/latex] for [latex]f(x)=x^2[/latex] on [latex][1,2][/latex]
25. [latex]L_{10}[/latex] for [latex]f(x)=\sqrt{4-x^2}[/latex] on [latex][-2,2][/latex]
Answer:
[latex]L_{10}=\frac{4}{10}\underset{i=1}{\overset{10}{\Sigma}} \sqrt{4-(-2+4\frac{(i-1)}{10})}[/latex]
26. [latex]R_{20}[/latex] for [latex]f(x)= \sin x[/latex] on [latex][0,\pi][/latex]
27. [latex]R_{100}[/latex] for [latex]\ln x[/latex] on [latex][1,e][/latex]
Answer:
[latex]R_{100}=\frac{e-1}{100}\underset{i=1}{\overset{100}{\Sigma}} \ln (1+(e-1)\frac{i}{100})[/latex]
In the following exercises, graph the function then use a calculator or a computer program to evaluate the following left and right endpoint sums. Is the area under the curve between the left and right endpoint sums?
28. [T] [latex]L_{100}[/latex] and [latex]R_{100}[/latex] for [latex]y=x^2-3x+1[/latex] on the interval [latex][-1,1][/latex]
29. [T] [latex]L_{100}[/latex] and [latex]R_{100}[/latex] for [latex]y=x^2[/latex] on the interval [latex][0,1][/latex]
Answer:
[latex]R_{100}=0.33835, \, L_{100}=0.32835[/latex]. The plot shows that the left Riemann sum is an underestimate because the function is increasing. Similarly, the right Riemann sum is an overestimate. The area lies between the left and right Riemann sums. Ten rectangles are shown for visual clarity. This behavior persists for more rectangles.
30. [T] [latex]L_{50}[/latex] and [latex]R_{50}[/latex] for [latex]y=\frac{x+1}{x^2-1}[/latex] on the interval [latex][2,4][/latex]
31. [T] [latex]L_{100}[/latex] and [latex]R_{100}[/latex] for [latex]y=x^3[/latex] on the interval [latex][-1,1][/latex]
Answer:
[latex]L_{100}=-0.02, \, R_{100}=0.02[/latex]. The left endpoint sum is an underestimate because the function is increasing. Similarly, a right endpoint approximation is an overestimate. The area lies between the left and right endpoint estimates.
32. [T] [latex]L_{50}[/latex] and [latex]R_{50}[/latex] for [latex]y= \tan x[/latex] on the interval [latex][0,\frac{\pi}{4}][/latex]
33. [T] [latex]L_{100}[/latex] and [latex]R_{100}[/latex] for [latex]y=e^{2x}[/latex] on the interval [latex][-1,1][/latex]
Answer:
[latex]L_{100}=3.555, \, R_{100}=3.670[/latex]. The plot shows that the left Riemann sum is an underestimate because the function is increasing. Ten rectangles are shown for visual clarity. This behavior persists for more rectangles.
34. Let [latex]t_j[/latex] denote the time that it took Tejay van Garteren to ride the [latex]j[/latex]th stage of the Tour de France in 2014. If there were a total of 21 stages, interpret [latex]\underset{j=1}{\overset{21}{\Sigma}} t_j[/latex].
35. Let [latex]r_j[/latex] denote the total rainfall in Portland on the [latex]j[/latex]th day of the year in 2009. Interpret [latex]\underset{j=1}{\overset{31}{\Sigma}} r_j[/latex].
Answer:
The sum represents the cumulative rainfall in January 2009.
36. Let [latex]d_j[/latex] denote the hours of daylight and [latex]\delta_j[/latex] denote the increase in the hours of daylight from day [latex]j-1[/latex] to day [latex]j[/latex] in Fargo, North Dakota, on the [latex]j[/latex]th day of the year. Interpret [latex]d_1+\underset{j=2}{\overset{365}{\Sigma}} \delta_j[/latex].
37. To help get in shape, Joe gets a new pair of running shoes. If Joe runs 1 mi each day in week 1 and adds [latex]\frac{1}{10}[/latex] mi to his daily routine each week, what is the total mileage on Joe’s shoes after 25 weeks?
Answer:
The total mileage is [latex]7 \times \underset{i=1}{\overset{25}{\Sigma}} (1+\frac{(i-1)}{10})=7 \times 25+\frac{7}{10} \times 12 \times 25=385[/latex] mi.
38. The following table gives approximate values of the average annual atmospheric rate of increase in carbon dioxide (CO2) each decade since 1960, in parts per million (ppm). Estimate the total increase in atmospheric CO2 between 1964 and 2013.
Decade | Ppm/y |
---|---|
1964–1973 | 1.07 |
1974–1983 | 1.34 |
1984–1993 | 1.40 |
1994–2003 | 1.87 |
2004–2013 | 2.07 |
39. The following table gives the approximate increase in sea level in inches over 20 years starting in the given year. Estimate the net change in mean sea level from 1870 to 2010.
Starting Year | 20-Year Change |
---|---|
1870 | 0.3 |
1890 | 1.5 |
1910 | 0.2 |
1930 | 2.8 |
1950 | 0.7 |
1970 | 1.1 |
1990 | 1.5 |
Answer:
Add the numbers to get 8.1-in. net increase.
40. The following table gives the approximate increase in dollars in the average price of a gallon of gas per decade since 1950. If the average price of a gallon of gas in 2010 was $2.60, what was the average price of a gallon of gas in 1950?
Starting Year | 10-Year Change |
---|---|
1950 | 0.03 |
1960 | 0.05 |
1970 | 0.86 |
1980 | −0.03 |
1990 | 0.29 |
2000 | 1.12 |
41. The following table gives the percent growth of the U.S. population beginning in July of the year indicated. If the U.S. population was 281,421,906 in July 2000, estimate the U.S. population in July 2010.
Year | % Change/Year |
---|---|
2000 | 1.12 |
2001 | 0.99 |
2002 | 0.93 |
2003 | 0.86 |
2004 | 0.93 |
2005 | 0.93 |
2006 | 0.97 |
2007 | 0.96 |
2008 | 0.95 |
2009 | 0.88 |
(Hint: To obtain the population in July 2001, multiply the population in July 2000 by 1.0112 to get 284,573,831.)
Answer:
309,389,957
In the following exercises, estimate the areas under the curves by computing the left Riemann sums, [latex]L_8[/latex].
Answer:
[latex]L_8=3+2+1+2+3+4+5+4=24[/latex]
Answer:
[latex]L_8=3+5+7+6+8+6+5+4=44[/latex]
46. [T] Use a computer algebra system to compute the Riemann sum, [latex]L_N[/latex], for [latex]N=10,30,50[/latex] for [latex]f(x)=\sqrt{1-x^2}[/latex] on [latex][-1,1][/latex].
47. [T] Use a computer algebra system to compute the Riemann sum, [latex]L_N[/latex], for [latex]N=10,30,50[/latex] for [latex]f(x)=\frac{1}{\sqrt{1+x^2}}[/latex] on [latex][-1,1][/latex].
Answer:
[latex]L_{10} \approx 1.7604, \, L_{30} \approx 1.7625, \, L_{50} \approx 1.76265[/latex]
48. [T] Use a computer algebra system to compute the Riemann sum, [latex]L_N[/latex], for [latex]N=10,30,50[/latex] for [latex]f(x)= \sin^2 x[/latex] on [latex][0,2\pi][/latex]. Compare these estimates with [latex]\pi[/latex].
In the following exercises, use a calculator or a computer program to evaluate the endpoint sums [latex]R_N[/latex] and [latex]L_N[/latex] for [latex]N=1,10,100[/latex]. How do these estimates compare with the exact answers, which you can find via geometry?
49. [T] [latex]y= \cos (\pi x)[/latex] on the interval [latex][0,1][/latex]
Answer:
[latex]R_1=-1, \, L_1=1, \, R_{10}=-0.1, \, L_{10}=0.1, \, L_{100}=0.01[/latex], and [latex]R_{100}=-0.1[/latex]. By symmetry of the graph, the exact area is zero.
50. [T] [latex]y=3x+2[/latex] on the interval [latex][3,5][/latex]
In the following exercises, use a calculator or a computer program to evaluate the endpoint sums [latex]R_N[/latex] and [latex]L_N[/latex] for [latex]N=1,10,100[/latex].
51. [T] [latex]y=x^4-5x^2+4[/latex] on the interval [latex][-2,2][/latex], which has an exact area of [latex]\frac{32}{15}[/latex]
Answer:
[latex]R_1=0, \, L_1=0, \, R_{10}=2.4499, \, L_{10}=2.4499, \, R_{100}=2.1365, \, L_{100}=2.1365[/latex]
52. [T] [latex]y=\ln x[/latex] on the interval [latex][1,2][/latex], which has an exact area of [latex]2\ln (2)-1[/latex]
53. Explain why, if [latex]f(a)\ge 0[/latex] and [latex]f[/latex] is increasing on [latex][a,b][/latex], that the left endpoint estimate is a lower bound for the area below the graph of [latex]f[/latex] on [latex][a,b][/latex].
Answer:
If [latex][c,d][/latex] is a subinterval of [latex][a,b][/latex] under one of the left-endpoint sum rectangles, then the area of the rectangle contributing to the left-endpoint estimate is [latex]f(c)(d-c)[/latex]. But, [latex]f(c)\le f(x)[/latex] for [latex]c\le x\le d[/latex], so the area under the graph of [latex]f[/latex] between [latex]c[/latex] and [latex]d[/latex] is [latex]f(c)(d-c)[/latex] plus the area below the graph of [latex]f[/latex] but above the horizontal line segment at height [latex]f(c)[/latex], which is positive. As this is true for each left-endpoint sum interval, it follows that the left Riemann sum is less than or equal to the area below the graph of [latex]f[/latex] on [latex][a,b][/latex].
54. Explain why, if [latex]f(b)\ge 0[/latex] and [latex]f[/latex] is decreasing on [latex][a,b][/latex], that the left endpoint estimate is an upper bound for the area below the graph of [latex]f[/latex] on [latex][a,b][/latex].
55. Show that, in general, [latex]R_N-L_N=(b-a) \times \frac{f(b)-f(a)}{N}[/latex].
Answer:
[latex]L_N=\frac{b-a}{N}\underset{i=1}{\overset{n}{\Sigma}}f(a+(b-a)\frac{i-1}{N})=\frac{b-a}{N}\underset{i=0}{\overset{N-1}{\Sigma}} f(a+(b-a)\frac{i}{N})[/latex] and [latex]R_N=\frac{b-a}{N}\underset{i=1}{\overset{n}{\Sigma}}f(a+(b-a)\frac{i}{N})[/latex]. The left sum has a term corresponding to [latex]i=0[/latex] and the right sum has a term corresponding to [latex]i=N[/latex]. In [latex]R_N-L_N[/latex], any term corresponding to [latex]i=1,2,\cdots,N-1[/latex] occurs once with a plus sign and once with a minus sign, so each such term cancels and one is left with [latex]R_N-L_N=\frac{b-a}{N}(f(a+(b-a))\frac{N}{N})-(f(a)+(b-a)\frac{0}{N})=\frac{b-a}{N}(f(b)-f(a))[/latex].
56. Explain why, if [latex]f[/latex] is increasing on [latex][a,b][/latex], the error between either [latex]L_N[/latex] or [latex]R_N[/latex] and the area [latex]A[/latex] below the graph of [latex]f[/latex] is at most [latex](b-a)\frac{f(b)-f(a)}{N}[/latex].
57. For each of the three graphs:
- Obtain a lower bound [latex]L(A)[/latex] for the area enclosed by the curve by adding the areas of the squares enclosed completely by the curve.
- Obtain an upper bound [latex]U(A)[/latex] for the area by adding to [latex]L(A)[/latex] the areas [latex]B(A)[/latex] of the squares enclosed partially by the curve.
Answer:
Graph 1: a. [latex]L(A)=0, \, B(A)=20[/latex]; b. [latex]U(A)=20[/latex]. Graph 2: a. [latex]L(A)=9[/latex]; b. [latex]B(A)=11, \, U(A)=20[/latex]. Graph 3: a. [latex]L(A)=11.0[/latex]; b. [latex]B(A)=4.5, \, U(A)=15.5[/latex].
58. In the previous exercise, explain why [latex]L(A)[/latex] gets no smaller while [latex]U(A)[/latex] gets no larger as the squares are subdivided into four boxes of equal area.
59. A unit circle is made up of [latex]n[/latex] wedges equivalent to the inner wedge in the figure. The base of the inner triangle is 1 unit and its height is [latex] \sin (\frac{\pi }{n})[/latex]. The base of the outer triangle is [latex]B= \cos (\frac{\pi }{n})+ \sin (\frac{\pi }{n}) \tan (\frac{\pi }{n})[/latex] and the height is [latex]H=B \sin (\frac{2\pi }{n})[/latex]. Use this information to argue that the area of a unit circle is equal to [latex]\pi[/latex].
Answer:
Let [latex]A[/latex] be the area of the unit circle. The circle encloses [latex]n[/latex] congruent triangles each of area [latex]\frac{ \sin (\frac{2\pi }{n})}{2}[/latex], so [latex]\frac{n}{2} \sin (\frac{2\pi }{n})\le A[/latex]. Similarly, the circle is contained inside [latex]n[/latex] congruent triangles each of area [latex]\frac{BH}{2}=\frac{1}{2}( \cos (\frac{\pi }{n})+ \sin (\frac{\pi }{n}) \tan (\frac{\pi }{n})) \sin (\frac{2\pi }{n})[/latex], so [latex]A\le \frac{n}{2} \sin (\frac{2\pi }{n})( \cos (\frac{\pi }{n}))+ \sin (\frac{\pi }{n}) \tan (\frac{\pi }{n})[/latex]. As [latex]n\to \infty, \, \frac{n}{2} \sin (\frac{2\pi }{n})=\frac{\pi \sin (\frac{2\pi }{n})}{(\frac{2\pi }{n})}\to \pi[/latex], so we conclude [latex]\pi \le A[/latex]. Also, as [latex]n\to \infty, \, \cos (\frac{\pi }{n})+ \sin (\frac{\pi }{n}) \tan (\frac{\pi }{n})\to 1[/latex], so we also have [latex]A\le \pi[/latex]. By the squeeze theorem for limits, we conclude that [latex]A=\pi[/latex].
Glossary
- left-endpoint approximation
- an approximation of the area under a curve computed by using the left endpoint of each subinterval to calculate the height of the vertical sides of each rectangle
- lower sum
- a sum obtained by using the minimum value of [latex]f(x)[/latex] on each subinterval
- partition
- a set of points that divides an interval into subintervals
- regular partition
- a partition in which the subintervals all have the same width
- riemann sum
- an estimate of the area under the curve of the form [latex]A\approx \underset{i=1}{\overset{n}{\Sigma}}f(x_i^*)\Delta x[/latex]
- right-endpoint approximation
- the right-endpoint approximation is an approximation of the area of the rectangles under a curve using the right endpoint of each subinterval to construct the vertical sides of each rectangle
- sigma notation
- (also, summation notation) the Greek letter sigma ([latex]\Sigma[/latex]) indicates addition of the values; the values of the index above and below the sigma indicate where to begin the summation and where to end it
- upper sum
- a sum obtained by using the maximum value of [latex]f(x)[/latex] on each subinterval
Licenses & Attributions
CC licensed content, Shared previously
- Calculus I. Provided by: OpenStax Located at: https://openstax.org/books/calculus-volume-1/pages/1-introduction. License: CC BY-NC-SA: Attribution-NonCommercial-ShareAlike. License terms: Download for free at http://cnx.org/contents/[email protected].
Hint
Use (Figure) as a guide.