Sigma Notation and Riemann Sums
Two Special Riemann Sums: Lower and Upper Sums
Two particular Riemann sums are of special interest because they represent the extreme possibilities for Riemann sums for a given partition.
Definition: Suppose is a positive function on , and is a partition of . Let be the x–value in the kth subinterval so that is the minimum value of in that interval, and let be the x–value in the kth subinterval so that is the maximum value of in that interval.
is the lower sum of f for the partition .
is the upper sum of f for the partition .
Geometrically, the lower sum comes from building rectangles under the graph of (Fig. 15a), and the lower sum (every lower sum) is less than or equal to the exact area for every partition . The upper sum comes from building rectangles over the graph of f (Fig. 15b), and the upper sum (every upper sum) is greater than or equal to the exact area :
for every partition . The lower and upper sums provide bounds on the size of the exact area:
For any value in the kth subinterval, , so, for any choice of the values, the Riemann sum satisfies
The lower and upper sums provide bounds on the size of all Riemann sums. The exact area and every Riemann sum for partition both lie between the lower sum and the upper sum for (Fig. 16). Therefore, if the lower and upper sums are
close together then the area and any Riemann sum for must also be close together. If we know that the upper and lower sums for a partition are within 0.001 units of each other, then we can be sure that every Riemann sum for partition is within
0.001 units of the exact area.
Unfortunately, finding minimums and maximums can be a time–consuming business, and it is usually not practical to determine lower and upper sums for "wiggly" functions. If f is monotonic, however, then it is easy to find the values for and , and sometimes we can explicitly calculate the limits of the lower and upper sums.
For a monotonic bounded function we can guarantee that a Riemann sum is within a certain distance of the exact value of the area it is approximating.
Theorem: If is a positive, montonically increasing, bounded function on , then for any partition and any Riemann sum for ,
Proof: The Riemann sum and the exact area are both between the upper and lower sums so the distance between the Riemann sum and the exact area is less than or equal to the distance between the upper and lower sums. Since is monotonically increasing, the areas representing the difference of the upper and lower sums can be slid into a rectangle (Fig. 17) whose height equals and whose base equals the mesh of . Then the total difference of the upper and lower sums is less than or equal to the area of the rectangle, .