Skip to main content

Section 5.5 The Fundamental Theorem of Calculus, Part II

In this section, we will learn the Fundamental Theorem of Calculus (FTC), part II, which states that integration and differentiation are inverse process (so they cancel each other).
P.S.: We will cover this section before SectionΒ 5.4. Some of the results in SectionΒ 5.4 will be built upon the concepts covered in this section.

Subsection Accumulation Functions

Let’s first define what the accumulation function is!

Definition 5.5.1.

Let \(f\) be a continuous function on an open interval \(I\) and let \(a\) be in \(I\text{.}\) We define the accumulation function as
\begin{equation} A(x) = \int_a^x f(t)\, dt\tag{5.5.1} \end{equation}
Using our knowledge of function notation, we know that the name of the accumulation function is \(A\text{,}\) with the input of \(x\) and the output of \(A(x)\text{.}\)
This function takes in a complicated formula, so let’s work on an example to see what it does!

Example 5.5.2.

Let \(f(t) = 2t - 1\) and \(a = 1\text{.}\) Then we can define the accumulation function here to be
\begin{equation*} A(x) = \int_1^x \left(2t - 1\right)\, dt \end{equation*}
Find the value of \(A(1)\text{,}\) \(A(2)\text{,}\) \(A(3)\text{,}\) and \(A(4)\text{.}\) Then graph the function \(y = f(t)\) and indicate what these values represent on the graph.
Hint.
Let’s plug in the \(x\) values to the function. Then the output is some sort of definite integral.
Recall definite integral represents some sort of signed area of the region under the curve. Can we find the (signed) area of the region under the curve geometrically?
Solution.
Below is the graph of \(f(t) = 2t - 1\text{.}\)
Figure 5.5.3. The Graph of \(f(t) = 2t - 1\)
\(A(1)\) represents the area under the line \(y = f(t)\) from \(t = 1\) to \(t = 1\text{.}\) Graphically speaking, the area is 0, shown in the diagram below.
Figure 5.5.4. The Diagram of \(A(1)\)
\(A(2)\) represents the area under the line \(y = f(t)\) from \(t = 1\) to \(t = 2\text{.}\) Graphically speaking, the enclosed region is a trapezoid, with the area of
\begin{equation*} A(2) = \frac{1(f(1) + f(2))}{2} = \frac{1 + 3}{2} = 2 \end{equation*}
The diagram is shown below.
Figure 5.5.5. The Diagram of \(A(2)\)
\(A(3)\) represents the area under the line \(y = f(t)\) from \(t = 1\) to \(t = 3\text{.}\) Graphically speaking, the enclosed region is a trapezoid, with the area of
\begin{equation*} A(3) = \frac{2(f(1) + f(3))}{2} = \frac{2(1 + 5)}{2} = 6 \end{equation*}
The diagram is shown below.
Figure 5.5.6. The Diagram of \(A(3)\)
\(A(4)\) represents the area under the line \(y = f(t)\) from \(t = 1\) to \(t = 4\text{.}\) Graphically speaking, the enclosed region is a trapezoid, with the area of
\begin{equation*} A(4) = \frac{3(f(1) + f(4))}{2} = \frac{3(1 + 7)}{2} = 12 \end{equation*}
The diagram is shown below.
Figure 5.5.7. The Diagram of \(A(4)\)
Notice that the variable \(x\) appears to be in the place of the upper limit of integration in the integral. This implies that the input of the accumulation function, \(x\text{,}\) represents the upper limit of integration. It tells us how "far" we are integrating from the starting point of \(t = a\text{.}\)
The outout of the accumulation function, \(A(x)\text{,}\) represents the signed area under the curve of \(y = f(t)\) from \(t = a\) to \(t = x\text{.}\)
We call \(A\) the accumulation function because it accumulates the signed area under the curve as we move from the starting point of \(t = a\) to some later point \(t = x\text{.}\) Your textbook actually call it the area function but this idea of area can be generalized. The accumulation function accumulates some quantity (and it doesn’t have to be some area) between two points.

Note 5.5.8. Why are there two variables in the function....

Notice that there are two variables in the accumulation function, \(x\) and \(t\text{.}\) Why do we need both the \(x\) and the \(t\) to define the accumulation function...
Well long story short, these two variables are doing two different jobs since there are two types of functions here:
  • \(x\) is the input variable of the accumulation function, which represents the upper limit of integration of the integral.
  • \(t\) is what we called the dummy variable we use to represent the input of the function \(f\text{.}\)
Then the next natural question to ask here is why wouldn’t it make sense to use ONLY one variable to do both jobs (like only using \(x\) as the variable)? Wouldn’t it make the function easier?
Well we can do a quick experiment to see if it works to use only \(x\) as the variable in the accumulation function. Let’s define the accumulation function like this:
\begin{equation*} A(x) = \int_a^x f(x)\, dx \end{equation*}
Let’s say we want to evaluate \(A(2)\text{,}\) then we will need to replace ALL the \(x\)’s with \(2\text{.}\) Then we obtain
\begin{equation*} A(2) = \int_a^2 f(2)\, d2 \end{equation*}
Wel... \(f(2)\) is a constant (the output of the function with an input of \(2\)), so we are really integrating a number here (boring). Also, what is \(d2\text{...}\) Well we know that the symbol \(d\) here represents the infinitesimally small amount of change. But \(2\) is a constant and the value of \(2\) will never change... So \(d2\) doesn’t really make sense mathematically...
Now that we know what the accumulation function is, we can investigate the Fundamental Theorem of Calculus in the next section! As the name of the theorem suggested, this theorem is really fundamental in the study of calculus.

Subsection THE Fundamental Theorem of Calculus

It turns out that THE fundamental theorem of calculus says the integration and differentiation are inverse processes. That is, they will cancel each other. This relation (at least half of it) is captured in the Fundamental Theorem of Calculus, Part II, in your textbook page 326. I also included it below:
You may be wondering why differentiation will cancel the integration. Well your textbook provided a technical proof in this section using the fancy Squeeze Theorem. We will come up with the (same-ish) argument but in a more intuitive sense.
Observe that we need to take the derivative of the accumulation function. Then using the definition of derivative (the one with the limits), we obtain
\begin{equation*} A'(x) = \lim_{h\to 0}\frac{A(x + h) - A(x)}{h} \end{equation*}
Hmm let’s simplify the average rate of change of the accumulation function from \(x\) to \(x + h\) first (the fraction without the limit). I made a pretty picture below to help you visualize the situation.
Figure 5.5.10. Average Rate of Change of \(A(x)\)
In this pretty picture, observe that
  • \(A(x + h)\) represents the area on \([a,x + h]\text{,}\) which is the area of the green and the orange regions combined.
  • \(A(x)\) represents the area on \([a,x]\text{,}\) which is the area of the green region.
This implies that \(A(x + h) - A(x)\) should give us the area on \([x,x + h]\text{,}\) which is the area of the orange region. Hence, we know that the average rate of change is the area of the orange region over \(h\text{.}\)
To obtain the derivative, aka the instantaneous rate of change, we want \(h\) to be a super very really small number, so the orange region should be a super skinny region whose area can be approximated using one skinny rectangle strip.
We learned about approximating the area using rectangles in SectionΒ 5.1! The two easier approximation methods are the left-endpoint approximation and the right endpoint approximation. Then which method should we use to approximate the area of the orange region?
It turns out that it doesn’t matter (because of the Squeeze theorem... if you want a more rigorous argument, ask Richard or read the proof in the textbook). For demonstration purposes, let’s use the right-endpoint approximation to approximate the area of the orange region. Then the height of the skinny rectangle strip is \(f(x + h)\text{.}\) So we know
\begin{equation*} A(x + h) - A(x) \approx h\cdot f(x + h) \end{equation*}
Putting all these pieces to the definition of the derivative (the one with the limit), we obtain
\begin{align*} A'(x) \amp= \lim_{h\to 0} \frac{A(x + h) - A(x)}{h} \\ \amp= \lim_{h\to 0} \frac{h\cdot f(x + h)}{h} \\ \amp= \lim_{h\to 0} f(x + h) \\ \amp= f(x) \end{align*}
Ha! We did it! We proved the Fundamental Theorem of Calculus!

Subsection To apply the FTC...

To apply the Fundamental Theorem of Calculus, make sure the format of the question will match the left-hand side of the equation in the theorem. Let’s start with the easy ones where we can simply apply the Fundamental Theorem of Calculus without any slick tricks!

Example 5.5.11.

Calculate the following derivative \(\displaystyle \frac{d}{dx} \int_0^x \left(t^5 - 9t^3\right)\, dt \)
Hint.
Does the expression match up with the left-hand side of the equation (5.5.3) in the Fundamental Theorem of Calculus? If so, then what does the Fundamental Theorem of Calculus tell us?
Solution.
Observe that format matches up perfectly! So we are taking the derivative of the accumulation function with \(f(t) = t^5 - 9t^3\text{.}\) By the Fundamental Theorem of Calculus, we obtain
\begin{equation*} \frac{d}{dx} \int_0^x \left(t^5 - 9t^3\right)\, dt = x^5 - 9x^3 \end{equation*}

Example 5.5.12.

Calculate the following derivative \(\displaystyle \frac{d}{ds} \int_s^{-2} \tan\left(\frac{1}{1 + u^2}\right)\, du \)
Hint.
Does the expression match up with the left-hand side of the equation (5.5.3) in the Fundamental Theorem of Calculus? If not, how can we manipulate the definite integral to make it match up with the equation?
Solution.
Observe that the expression doesn’t quite match up... We want the variable of the accumulation function to be on the upper limit and the number to be on the lower limit. It would be so nice if there is a way for us to reverse the upper and the lower limits...
There is actually a way to do so! Richard came to our rescue and direct us to the TheoremΒ 5.2.16!
By a property of definite integral, we obtain
\begin{equation*} \int_s^{-2} \tan\left(\frac{1}{1 + u^2}\right)\, du = - \int_{-2}^s \tan\left(\frac{1}{1 + u^2}\right)\, du \end{equation*}
Ha! we can now calculate the derivative using the Fundamental Theorem of Calculus!
\begin{align*} \frac{d}{ds} \int_s^{-2} \tan\left(\frac{1}{1 + u^2}\right)\, du \amp= \frac{d}{ds} \left( -\int_{-2}^2 \tan\left(\frac{1}{1 + u^2}\right)\, du\right) \\ \amp= -\frac{d}{ds} \int_{-2}^s \tan\left(\frac{1}{1 + u^2}\right)\, du \\ \amp= -\tan\left(\frac{1}{1 + s^2}\right) \end{align*}
Let’s kick things up a notch and see how the Fundamental Theorem of Theorem can be applied to more tricky problems.

Example 5.5.13.

Calculate the following derivative \(\displaystyle \frac{d}{dx} \int_0^{x^2} \frac{t\, dt}{t + 1} \)
Hint.
Does the expression match up with the left-hand side of the equation (5.5.3) in the Fundamental Theorem of Calculus? What seems to be the mismatch?
A good advice is to find out what the accumulation function is in this case...
Solution.
The integrand is \(f(t) = \dfrac{t}{t + 1}\text{.}\) Then we can define its accumulation function to be
\begin{equation*} A(x) = \int_0^x \frac{t}{t + 1}\, dt \end{equation*}
Well we are not really tasked to take the derivative of \(A(x)\text{,}\) but more like \(A\left(x^2\right)\text{...}\) This is a composite function with the outside function of \(A\) and inside function of \(f\text{.}\) Do we know how to take the derivative of a composite function?
We do! We can take the derivative of a composite function using the chain rule back in calculus 1! By the chain rule, we know that
\begin{align*} \frac{d}{dx}\left(A\left(x^2\right)\right) \amp= A'\left(x^2\right)\cdot \frac{d}{dx}\left(x^2\right)\\ \amp= A'\left(x^2\right)\cdot 2x \end{align*}
The last question to resolve here is about the derivative of the accumulation function. By the Fundamental Theorem of Calculus, \(A'(x) = f(x)\text{.}\)
Putting these two pieces together, we obtain
\begin{align*} \frac{d}{dx} \int_0^{x^2} \frac{t\, dt}{t + 1} \amp= A'\left(x^2\right)\cdot \frac{d}{dx}\left(x^2\right) \\ \amp= A'\left(x^2\right)\cdot 2x \\ \amp= f\left(x^2\right)\cdot 2x \\ \amp= \frac{x^2}{x^2 + 1}\cdot 2x \\ \amp= \frac{2x^3}{x^2 + 1} \end{align*}
Now we know how to deal with the case where one of the limits of integration contains a variable. What about the case where both the limits of integration contain a variable? Let’s look at an example of this.

Example 5.5.14.

Calculate the following derivative \(\displaystyle \frac{d}{dx} \int_{x^2}^{x^4} \sqrt{t}\, dt \)
Hint.
Obviously, we can’t use the Fundamental Theorem of Calculus directly since the lower limit of this integral is not a constant.
Dealing with non-constant upper and lower limits are kind of a lot at once... It would be so nice if there is a property of definite integral that allows us to split the integral into two pieces, so we can deal with one of the non-constant limit of integration at a time...
Solution.
We can actually split the integral into two pieces by one of the properties in TheoremΒ 5.2.16.
\begin{align*} \int_{x^2}^{x^4} \sqrt{t}\, dt \amp= \int_a^{x^4} \sqrt{t}\, dt + \int_{x^2}^a \sqrt{t}\, dt \\ \amp= \int_a^{x^4} \sqrt{t}\, dt - \int_a^{x^2} \sqrt{t}\, dt \end{align*}
where \(a\) is a constant within the domain of \(y = \sqrt{t}\text{.}\)
Ha! We know how to deal with the two pieces of the integrals! We will need the chain rule for both pieces of the integrals!
Let’s again define the accumulation function to be
\begin{equation*} A(x) = \int_a^x \sqrt{t}\, dt \end{equation*}
Then we obtain
\begin{align*} \frac{d}{dx}\int_{x^2}^{x^4} \sqrt{t}\, dt \amp= \frac{d}{dx}\left(A\left(x^4\right) - A\left(x^2\right)\right) \\ \amp= \frac{d}{dx}\left(A\left(x^4\right)\right) - \frac{d}{dx}\left(A\left(x^2\right)\right) \\ \amp= A'\left(x^4\right)\cdot \frac{d}{dx}\left(x^4\right) - A'\left(x^2\right)\cdot \frac{d}{dx}\left(x^2\right) \amp\amp \text{by Chain Rule}\\ \amp= A'\left(x^4\right)\cdot 4x^3 - A'\left(x^2\right)\cdot 2x\\ \amp= \sqrt{x^4}\cdot 4x^3 - \sqrt{x^2}\cdot 2x \amp\amp \text{by FTC} \\ \amp= 4x^5 - 2x|x| \end{align*}
Observe that the two tricks that we are using are:
  • Properties of definite integral to split up the integral AND put the non-constant part to the upper limit; and
  • Chain rule to find the derivative.
In fact, we can generalize this to obtain a fancy formula we can use to solve similar problems once and for all!

Subsection The Graph of the Accumulation Function

We investigated the accumulation function earlier in this section. Recall the accumulation function takes the input of the upper limit of the definite integral and spits out the output of the area under the curve. We are now investigating the graph of the accumulation function.
One characteristics of a graph, as you learned back in calculus 1, are the local extrema (peaks and valleys on the graph). Can we predict where the peaks and valleys of the accumulation function are at given a graph of a function?

Example 5.5.16.

Let \(A\) be the accumulation function defined as
\begin{equation*} A(x) = \int_0^x f(t)\, dt \end{equation*}
where \(y = f(t)\) is a function whose graph is shown below.
Figure 5.5.17. The graph of \(y = f(t)\)
  1. Determine the intervals on which the accumulation function, \(A\) is increasing (and decreasing)
  2. Determine the value of \(x\) where the accumulation function, \(A\text{,}\) has a peak (and valley).
Hint.
Recall that the accumulation function accumulates the signed area under the curve starting from \(x = 0\text{.}\) The region above the \(x\)-axis should have a positive signed area and the region below the \(x\)-axis should have a negative signed area.
So do we know at which point(s) we starts accumulating positive area (which makes the overall area greater) and negative area (which makes the overall area smaller)?
Solution.
Observe that the enclosed region is above the \(x\)-axis on \((0,4)\) and \((8,12)\text{.}\) This implies that we are accumulating positive area in these two regions, making the value of the accumulation function \(A\) increasing.
Similarly, the region on \((4,8)\) is below the \(x\)-axis, so we are accumulating negative area in this region, making the value of the accumulation function \(A\) decreasing.
Hence, \(A\) is increasing in the interval \((0,4)\cup (8,12)\) and decreasing in the interval \((4,8)\text{.}\)
Now let’s think about the peaks and valleys. At the point of \(x = 4\text{,}\) we start to accumulate negative area, which makes the overall area smaller. This implies that there is a peak at \(x = 4\text{.}\)
Similarly, at the point of \(x = 8\text{,}\) we start to accumulate positive area, which makes the overall area greater. This implies that there is a valley at \(x = 8\text{.}\)
The above example shows an intuitive sense of reasoning about the graph of the accumulation function by imagining how the overall area is changing.
If you want to be fancier, recall the accumulation function, \(A\text{,}\) is an antiderivative of the function \(f\text{,}\) guaranteed by FTC. We can reverse-engineer the first derivative test you learned back in calculus 1. That is, the critical points (in this problem, peaks and valley) of the accumulation function will occur at the point where the derivative of the accumulation function, aka \(f\) is \(0\text{.}\) The accumulation function is increasing if its derivative, aka \(f\text{,}\) is positive, and decreasing if its derivative, \(f\text{,}\) is negative.

Worksheet Some Exercises for this section

I included some practice problems that cover some main concepts in this section. You don’t need to turn it in, but I highly encourage you to work on this with your classmates. I may take problems here to be your in-class practice problems, homework problems, and/or exam problems. Reach out to Richard for help if you get stuck or have any questions.
I will only include the final answer to some of the problems for you to check your result. If you want to check your work, talk to Richard and he is happy to discuss the process with you.

Exercise Group.

Calculate the following derivative.
2.
\(\displaystyle \frac{d}{dx}\int_x^{-\frac{\pi}{4}} \sec^2\left(\theta\right)\, d\theta\)
3.
\(\displaystyle \frac{d}{dx}\int_1^\frac{1}{x} \cos^3(t)\, dt\)
4.
\(\displaystyle \frac{d}{du}\int_{-u}^{3u} \sqrt{x^2 + 1} \, dx\)

5.

Prove the formula
\begin{equation*} \frac{d}{dx}\int_{u(x)}^{v(x)} f(t)\, dt = f\left(v(x)\right)\cdot v'(x) - f\left(u(x)\right)\cdot u'(x) \end{equation*}
Note: By saying "prove", Richard means to justify this formula informally. The goal here is to make sure you know how the formula is derived and why each component is necessary. Richard will never look for a technical mathematical proof in this class, but you are certainly more than welcome to try coming up with a proof-y proof and Richard is always happy to chat about it.

6.

Let \(A\) be the accumulation function defined as
\begin{equation*} A(x) = \int_0^x t\sin(t)\, dt \end{equation*}
Below is the graph of \(f(t) = t\sin(t)\) on \([0,3\pi]\text{.}\)
Figure 5.5.18. The graph of \(f(t) = t\sin(t)\)
  1. Determine the intervals on which the accumulation function, \(A\) is increasing (and decreasing)
  2. Determine the value of \(x\) where the accumulation function, \(A\text{,}\) has a peak (and valley).