Riemann sums give approximations, and every approximation invites the question of what it approximates. When all Riemann sums of a function settle on one number as the pieces get thin, that number is the definite integral. It is the exact area under a curve, the exact distance from a speed record, the exact total from any rate.
Key terms
The Riemann integral
Definition Let be defined on with . We say is Riemann integrable on if there is a number with the following property. For every there is a such that
for every partition of with and every choice of tags . The number is unique when it exists. It is called the definite integral of from to and written
In plain words The integral is the single number that all Riemann sums approach once every piece of the partition is thin enough, no matter how the pieces are cut or where the sample points sit.
Example For the constant on every Riemann sum equals , whatever the partition and tags. So
the area of a by rectangle.
Integrability
Definition A function is integrable on when the limit above exists. Every integrable function is bounded on . An equivalent test, due to Darboux, says that a bounded is integrable on if and only if for every there is a partition with
In that case is the one number lying between all lower sums and all upper sums.
In plain words A function is integrable when the lower and upper sums can be squeezed as close together as you like. If they stay apart, Riemann sums keep jumping around and there is no single answer.
Example Let for rational and for irrational , on . Every subinterval of every partition contains both kinds of numbers, so and . Then and for every , the gap never shrinks, and is not integrable.
Continuity implies integrability
Definition If is continuous on the closed interval , then is integrable on . More generally, a function that is bounded on and has only finitely many discontinuities there is integrable, and so is every monotonic function on .
In plain words For the functions you meet most often, the integral exists and you may compute it with whatever convenient Riemann sums you like, for example equal pieces with right endpoints.
Example The function is continuous on , so the integral exists and equals the limit of any particular family of Riemann sums with mesh tending to zero. Right endpoints with equal pieces give
so .
Integrand and bounds
Definition In the function is the integrand. The numbers and are the lower and upper bounds, also called the limits of integration, and is the interval of integration. The value depends only on , and .
In plain words The integrand is what you add up, and the bounds say where you start and stop.
Example In the integrand is , the lower bound is and the upper bound is . The value is a number, here , not a function of .
Dummy variable
Definition The letter used for the variable of integration is a dummy variable. Renaming it does not change the value,
The dummy variable has no meaning outside the integral.
In plain words It works like the index in a sum. You could call it anything, and the result is the same number.
Example The integrals and are both . Writing is confusing, because the letter plays two roles, so one writes instead.
Differential notation
Definition The symbol in marks the variable of integration and comes from the width in the Riemann sum. The integral sign is a stretched S for sum. The notation records the passage
In plain words Read as a height times a very thin width. The integral adds up these thin products.
Example In the tells you that varies and is a constant. The value is . In the roles swap, varies from to , and the value is .
Signed net area
Definition For integrable on , the integral counts area above the -axis as positive and area below it as negative,
where is the area between the graph and the axis where and is the area where . If on the integral is the area under the graph.
In plain words Parts of the graph below the axis subtract. The integral is a net amount, not a total amount.
Example On the graph of is below the axis on , a triangle of area , and above it on , a triangle of area . So
Midpoint sums
Definition For equal subintervals of with and midpoints , the midpoint sum is
If is continuous on and there, the error satisfies
In plain words Sampling at the middle of each piece usually beats both ends, because the overshoot on one half of the piece partly cancels the undershoot on the other.
Example For with the midpoints are .
The error is . With , and the bound is
met exactly here. Compare and .
Check yourself
- Use geometry to find .
Show the answer
The graph is the upper half of the circle of radius , so the integral is half of , which is .
- Find as signed area.
Show the answer
Below the axis on there is a triangle of area . Above on there is a triangle of area . The integral is .
- Estimate with the midpoint sum .
Show the answer
Here and the midpoints are and , so
The exact value is .