Accumulation Functions
The upper limit is the variable , so the variable of integration needs another letter. It is a dummy variable, and is the usual choice.
For , where the graph of is below the axis, that part of the region counts as negative, as in any integral. At the interval has no width, so . For the limits are reversed, and
Interactive: The Accumulation Function
In the graph below, , , and the accumulation function is named instead of . Drag to the left of as well. There is still positive, but is negative, because the limits are reversed.
The Second Fundamental Theorem
When increases by a small amount , gains the area of a thin strip from to . The strip is nearly a rectangle of height and width , so .
The strip gives the reason. For , the change is the integral of from to , and by the Mean Value Theorem for Integrals it equals for some between and . For the strip is to the left of , but the same theorem on gives the same equation. So the difference quotient equals . As , is squeezed to , and because is continuous.
The College Board calls this theorem and the one that evaluates an integral as together the Fundamental Theorem of Calculus.
A function as a limit of integration
With , an integral whose upper limit is a function is , a composition. The chain rule gives , and .
When both limits are functions and , differentiable with values in , split the integral at :
Each integral on the right is one of the kind above, so
An antiderivative with a given value
By the Second Fundamental Theorem, an accumulation function of is an antiderivative of . So every function continuous on an interval has an antiderivative there. Now let be continuous on an interval containing , and on . Since is an antiderivative of , is the integral of from to , so for in ,