Nathan Wakefield, Christine Kelley, Marla Williams, Michelle Haver, Lawrence Seminario-Romero, Robert Huben, Aurora Marks, Stephanie Prahl, Based upon Active Calculus by Matthew Boelkins
Section5.4The Second Fundamental Theorem of Calculus
Motivating Questions
How does the integral function \(A(x) = \int_1^x f(t) \, dt\) define an antiderivative of \(f\text{?}\)
What is the statement of the Second Fundamental Theorem of Calculus?
How do the First and Second Fundamental Theorems of Calculus enable us to formally see how differentiation and integration are almost inverse processes?
Supplemental Videos.
The main topics of this section are also presented in the following videos:
In Section 4.4, we learned the Fundamental Theorem of Calculus (FTC), which from here forward will be referred to as the First Fundamental Theorem of Calculus, as in this section we develop a corresponding result that follows it. Recall that the First FTC tells us that if \(f\) is a continuous function on \([a,b]\) and \(F\) is any antiderivative of \(f\) (that is, \(F' = f\)), then
If we have a graph of \(f\) and we can compute the exact area bounded by \(f\) on an interval \([a,b]\text{,}\) we can compute the change in an antiderivative \(F\) over the interval.
If we can find an algebraic formula for an antiderivative of \(f\text{,}\) we can evaluate the integral to find the net signed area bounded by the function on the interval.
For the former, see Example 5.1 or Example 5.3. For the latter, we can easily evaluate definite integrals such as
Thus, the First FTC can used in two ways. First, to find the difference \(F(b) - F(a)\) for an antiderivative \(F\) of the integrand \(f\text{,}\) even if we may not have a formula for \(F\) itself. To do this, we must know the value of the integral \(\int_a^b f(x) \, dx\) exactly, perhaps through known geometric formulas for area. In addition, the First FTC provides a way to find the exact value of a definite integral, and hence a certain net signed area exactly, by finding an antiderivative of the integrand and evaluating its total change over the interval. In this case, we need to know a formula for the antiderivative \(F\text{.}\) Both of these perspectives are reflected in Figure 5.27.
The value of a definite integral may have additional meaning depending on context: as the change in position when the integrand is a velocity function, the total amount of pollutant leaked from a tank when the integrand is the rate at which pollution is leaking, or other total changes if the integrand is a rate function. Also, the value of the definite integral is connected to the average value of a continuous function on a given interval: \(f_{\operatorname{AVG} [a,b]} = \frac{1}{b-a} \int_a^b f(x) \, dx\text{.}\)
In the last part of Section 5.1, we studied integral functions of the form \(A(x) = \int_c^x f(t) \, dt\text{.}\)Figure 5.8 is a particularly important image to keep in mind as we work with integral functions, and the corresponding java applet at gvsu.edu/s/cz 21
gvsu.edu/s/cz
can help us understand the function \(A\text{.}\) In what follows, we use the First FTC to gain additional understanding of the function \(A(x) = \int_c^x f(t) \, dt\text{,}\) where the integrand \(f\) is given (either through a graph or a formula), and \(c\) is a constant.
Use the First Fundamental Theorem of Calculus to find a formula for \(A(x)\) that does not involve integrals. That is, use the first FTC to evaluate \(\int_1^x (4-2t) \, dt\text{.}\)
Observe that \(f\) is a linear function; what kind of function is \(A\text{?}\)
Using the formula you found in (b) that does not involve integrals, compute \(A'(x)\text{.}\)
While we have defined \(f\) by the rule \(f(t) = 4-2t\text{,}\) it is equivalent to say that \(f\) is given by the rule \(f(x) = 4 - 2x\text{.}\) What do you observe about the relationship between \(A\) and \(f\text{?}\)
Hint.
Plug in 1 and 2 for \(x\) in the integral, then use the First Fundamental Theorem of Calculus to solve.
Find an antiderivative for \(f(t)\) and then plug in \(x\) and 1 using the First FTC.
What is the highest power of \(A(x)\text{?}\)
Take the derivative of the function you found in part (b).
What does part (d) tell you?
Answer.
\(A(1)=0\) and \(A(2)=1\text{.}\)
\(\displaystyle A(x)=4x-x^2-3\)
Quadratic.
\(\displaystyle A'(x)=4-2x\)
\(\displaystyle f=A'\)
Solution.
We want to plug in 1 and 2 for \(x\) in the formula \(A(x)=\int_{1}^{x} (4-2t) \, dt\text{:}\)
\(A(x)\) is a polynomial of degree 2, so \(A(x)\) is a quadratic function.
Starting with \(A(x)=4x-x^2-3\text{,}\) we take the derivative of each term to find \(A'(x)=4-2x.\)
From part (d), we have that \(A'(x)=f(x)\text{.}\)
Subsection5.4.1The Second Fundamental Theorem of Calculus
The result of Example 5.28 is not particular to the function \(f(t) = 4-2t\text{,}\) nor to the choice of “\(1\)” as the lower bound in the integral that defines the function \(A\text{.}\) For instance, if we let \(f(t) = \cos(t) - t\) and set \(A(x) = \int_2^x f(t) \, dt\text{,}\) we can determine a formula for \(A\) by the First FTC. Specifically,
and thus we see that \(A'(x) = f(x)\text{;}\) so \(A\) is an antiderivative of \(f\text{.}\) Also, since \(A(2) = \int_2^2 f(t) \, dt = 0\text{,}\)\(A\) is the only antiderivative of \(f\) for which \(A(2) = 0\text{.}\)
In general, if \(f\) is any continuous function, and we define the function \(A\) by the rule
where \(c\) is an arbitrary constant, then we can show that \(A\) is an antiderivative of \(f\text{.}\) To see why, let’s demonstrate that \(A'(x) = f(x)\) by using the limit definition of the derivative. Doing so, we observe that
where Equation (5.3) follows from the fact that \(\int_c^x f(t) \,dt + \int_x^{x+h} f(t) \, dt = \int_c^{x+h} f(t) \, dt\text{.}\) Now, observe that for small values of \(h\text{,}\)
Hence, \(A\) is indeed an antiderivative of \(f\text{.}\) In addition, \(A(c) = \int_c^c f(t) \, dt = 0\text{.}\) The preceding argument demonstrates the truth of the Second Fundamental Theorem of Calculus, which we state as follows.
The Second Fundamental Theorem of Calculus.
If \(f\) is a continuous function and \(c\) is any constant, then \(f\) has a unique antiderivative \(A\) that satisfies \(A(c) = 0\text{,}\) and that antiderivative is given by the rule \(A(x) = \int_c^x f(t) \, dt\text{.}\)
Example5.29.
Suppose that \(f\) is the function given in Figure 5.30 and that \(f\) is a piecewise function whose parts are either portions of lines or portions of circles, as pictured.
In addition, let \(A\) be the function defined by the rule \(A(x) = \int_2^x f(t) \, dt\text{.}\)
What does the Second FTC tell us about the relationship between \(A\) and \(f\text{?}\)
Compute \(A(1)\) and \(A(3)\) exactly.
Sketch a precise graph of \(y = A(x)\) on the axes at right that accurately reflects where \(A\) is increasing and decreasing, where \(A\) is concave up and concave down, and the exact values of \(A\) at \(x = 0, 1, \ldots, 7\text{.}\)
How is \(A\) similar to, but different from the function \(F\) that you found in Example 5.3?
With as little additional work possible, sketch precise graphs of the functions \(B(x) = \int_3^x f(t) \, dt\) and \(C(x) = \int_1^x f(t) \, dt\text{.}\) Justify your results with at least one sentence of explanation.
Hint.
If you don’t recall it, review the statement of the Second FTC above.
Note that \(A(1)= \int_2^1 f(t) \, dt\text{.}\)
Don’t miss our key conclusion from (a).
Compare the values of \(A(1)\) and \(F(1)\text{.}\)
What does the Second FTC tell us about the relationship between \(B\) and \(f\text{?}\)
Answer.
\(A'(x) = f(x)\text{.}\)
\(A(1) = -\frac{\pi}{4}\text{.}\)
\(A\) is increasing wherever \(f\) is positive; \(A\) is CCU wherever \(f\) is increasing. \(A(2) = 0\text{,}\)\(A(3) = -0.5\text{,}\)\(A(4) = -1.5\text{,}\)\(A(5) = -2\text{,}\)\(A(6) = -2 + \frac{\pi}{4}\text{,}\) and \(A(7) = -2 + \frac{\pi}{2}\text{.}\)
\(F\) and \(A\) differ by the constant \(\frac{\pi}{4} - \frac{1}{2}\text{.}\)
\(B\) and \(C\) have the same shape as \(A\) and \(F\text{,}\) and differ from \(A\) by a constant. Observe that \(B(3) = 0\) and \(C(1) = 0\text{.}\)
Solution.
By the Second FTC, \(A'(x) = f(x)\text{.}\)
Since \(A(1)= \int_2^1 f(t) \, dt = -\int_1^2 f(t) \, dt\text{,}\) it follows \(A(1) = -\frac{\pi}{4}\text{.}\)
Note that \(A\) is increasing wherever \(f\) is positive, and \(A\) is CCU wherever \(f\) is increasing. Similar conclusions follow for \(A\) being decreasing and/or concave down. Moreover, \(A(2) = 0\text{,}\)\(A(3) = -0.5\text{,}\)\(A(4) = -1.5\text{,}\)\(A(5) = -2\text{,}\)\(A(6) = -2 + \frac{\pi}{4}\text{,}\) and \(A(7) = -2 + \frac{\pi}{2}\text{.}\)
In our current example, \(A\) is an antiderivative of \(f\) that satisfies \(A(0) = -\frac{1}{2} - \frac{\pi}{4}\text{.}\) Our earlier work with \(F\) showed that \(F\) is an antiderivative of \(F\) that satisfied \(F(0) = -1\text{.}\) Since \(F\) and \(A\) are both antiderivatives of \(f\text{,}\) they differ by a constant, and that constant is \(-1 - (-\frac{1}{2} - \frac{\pi}{4}) = \frac{\pi}{4} - \frac{1}{2}\text{.}\)
The Second FTC tells us that \(B' = f\) and \(C' = f\text{.}\) Thus, \(B\) and \(C\) are each antiderivatives of \(f\text{,}\) have the same shape as \(A\) and \(F\text{,}\) and each differ from \(A\) by just a constant. Observing that \(B(3) = 0\) and \(C(1) = 0\) enables us to easily sketch these shifted versions of \(A\text{.}\)
Subsection5.4.2Understanding Integral Functions
The Second FTC provides us with a way to construct an antiderivative of any continuous function. In particular, if we are given a continuous function \(g\) and wish to find an antiderivative of \(G\text{,}\) we can now say that
\(E\) is closely related to the well known error function 22
The error function is defined by the rule \(\erf (x) = \frac{2}{\sqrt{\pi}} \int_0^x e^{-t^2} \,dt\) and has the key property that \(0 \le \erf (x) \lt 1\) for all \(x \ge 0\) and moreover that \(\lim_{x \to \infty} \erf (x) = 1\text{.}\)
in probability and statistics. It turns out that the function \(e^{-t^2}\) does not have an elementary antiderivative.
While we cannot evaluate \(E\) exactly for any value other than \(x = 0\text{,}\) we still can gain a tremendous amount of information about the function \(E\text{.}\) By applying the rule in Equation (5.4) to \(E\text{,}\) it follows that
so we know a formula for the derivative of \(E\text{,}\) and we know that \(E(0) = 0\text{.}\) This information is precisely the type we were given in Example 3.7, where we were given information about the derivative of a function, but lacked a formula for the function itself.
Using the first and second derivatives of \(E\text{,}\) along with the fact that \(E(0) = 0\text{,}\) we can determine more information about the behavior of \(E\text{.}\) First, we note that for all real numbers \(x\text{,}\)\(e^{-x^2} \gt 0\text{,}\) and thus \(E'(x) \gt 0\) for all \(x\text{.}\) Thus \(E\) is an always increasing function. Further, as \(x \to \infty\text{,}\)\(E'(x) = e^{-x^2} \to 0\text{,}\) so the slope of the function \(E\) tends to zero as \(x \to \infty\) (and similarly as \(x \to -\infty\)). Indeed, it turns out that \(E\) has horizontal asymptotes as \(x\) increases or decreases without bound.
In addition, we can observe that \(E''(x) = -2xe^{-x^2}\text{,}\) and that \(E''(0) = 0\text{,}\) while \(E''(x) \lt 0\) for \(x \gt 0\) and \(E''(x) \gt 0\) for \(x \lt 0\text{.}\) This information tells us that \(E\) is concave up for \(x\lt 0\) and concave down for \(x \gt 0\) with a point of inflection at \(x = 0\text{.}\)
The only thing we lack at this point is a sense of how big \(E\) can get as \(x\) increases. If we use a midpoint Riemann sum with 10 subintervals to estimate \(E(2)\text{,}\) we see that \(E(2) \approx 0.8822\text{;}\) a similar calculation to estimate \(E(3)\) shows little change (\(E(3) \approx 0.8862\)), so it appears that as \(x\) increases without bound, \(E\) approaches a value just larger than \(0.886\text{,}\) which aligns with the fact that \(E\) has horizontal asymptotes. Putting all of this information together (and using the symmetry of \(f(t) = e^{-t^2}\)), we see the results shown in Figure 5.32.
Because \(E\) is the antiderivative of \(f(t) = e^{-t^2}\) that satisfies \(E(0) = 0\text{,}\) values on the graph of \(y = E(x)\) represent the net signed area of the region bounded by \(f(t) = e^{-t^2}\) from 0 up to \(x\text{.}\) We see that the value of \(E\) increases rapidly near zero but then levels off as \(x\) increases, since there is less and less additional accumulated area bounded by \(f(t) = e^{-t^2}\) as \(x\) increases.
Example5.33.
Suppose that \(f(t) = \frac{t}{1+t^2}\) and \(F(x) = \int_0^x f(t) \, dt\text{.}\)
On the axes at left in Figure 5.34, plot a graph of \(f(t) = \frac{t}{1+t^2}\) on the interval \(-10 \le t \le 10\text{.}\) Clearly label the vertical axes with appropriate scale.
What is the key relationship between \(F\) and \(f\text{,}\) according to the Second FTC?
Use the first derivative test to determine the intervals on which \(F\) is increasing and decreasing.
Use the second derivative test to determine the intervals on which \(F\) is concave up and concave down. Note that \(f'(t)\) can be simplified to be written in the form \(f'(t) = \frac{1-t^2}{(1+t^2)^2}\text{.}\)
Using technology appropriately, estimate the values of \(F(5)\) and \(F(10)\) through appropriate Riemann sums.
Sketch an accurate graph of \(y = F(x)\) on the righthand axes provided, and clearly label the vertical axes with appropriate scale.
Hint.
Use computing technology appropriately to generate the desired graph.
Again, recall the statement of the Second FTC.
Where is \(F'\) positive? \(F'\) negative?
Note that \(F'' = f'\text{.}\)
Remember that \(F(5) = \int_0^5 \frac{t}{1+t^2} \, dt\text{.}\)
Don’t forget that \(F(0) = 0\text{.}\)
Answer.
See the plot at below left.
\(F' = f\text{.}\)
\(F\) is increasing for all \(x \gt 0\text{;}\)\(F\) is decreasing for \(x \lt 0\)
\(F\) is CCU on \(-1 \lt x \lt 1\) and CCD for \(x \lt -1\) and \(x \gt 1\text{.}\)
\(F\) is increasing wherever \(F'=f\) is positive, so for all \(x \gt 0\text{.}\) Similarly, \(F\) is decreasing for \(x \lt 0\)
\(F\) is concave up wherever \(F' = f\) is increasing or wherever \(F'' = f'\) is positive. It is straightforward to show that \(f''\) is positive for \(-1 \lt x \lt 1\) and negative otherwise, thus \(F\) is concave up on \(-1 \lt x \lt 1\) and concave down for \(x \lt -1\) and \(x \gt 1\text{.}\)
\(F(5) = \int_0^5 \frac{t}{1+t^2} \, dt \approx 2.35973\text{,}\) using a midpoint Riemann sum with 10 subintervals. Similarly, \(F(10) = \int_0^{10} \frac{t}{1+t^2} \, dt \approx 2.35973\text{.}\)
Recalling that \(F(0) = 0\) and using the values and information we’ve found in (b)-(e), we arrive at the graph at below right.
Subsection5.4.3Differentiating an Integral Function
We have seen that the Second FTC enables us to construct an antiderivative \(F\) for any continuous function \(f\) as the integral function \(F(x) = \int_c^x f(t) \, dt\text{.}\) If we have a function of the form \(F(x) = \int_c^x f(t) \, dt\text{,}\) then we know that \(F'(x) = \frac{d}{dx} \left[\int_c^x f(t) \, dt \right] = f(x)\text{.}\) This shows that integral functions, while perhaps having the most complicated formulas of any functions we have encountered, are nonetheless particularly simple to differentiate. For instance, if
This equation says that “the derivative of the integral function whose integrand is \(f\text{,}\) is \(f\text{.}\)” We see that if we first integrate the function \(f\) from \(t = a\) to \(t = x\text{,}\) and then differentiate with respect to \(x\text{,}\) these two processes “undo” each other.
What happens if we differentiate a function \(f(t)\) and then integrate the result from \(t = a\) to \(t = x\text{?}\) That is, what can we say about the quantity
Thus, we see that if we first differentiate \(f\) and then integrate the result from \(a\) to \(x\text{,}\) we return to the function \(f\text{,}\) minus the constant value \(f(a)\text{.}\) So the two processes almost undo each other, up to the constant \(f(a)\text{.}\)
The observations made in the preceding two paragraphs demonstrate that differentiating and integrating (where we integrate from a constant up to a variable) are almost inverse processes. This should not be surprising; integrating involves antidifferentiating, which reverses the process of differentiating. On the other hand, we see that there is some subtlety involved, because integrating the derivative of a function does not quite produce the function itself. This is because every function has an entire family of antiderivatives, and any two of those antiderivatives differ only by a constant.
Example5.35.
Evaluate each of the following derivatives and definite integrals. Clearly cite whether you use the First or Second FTC in so doing.
By the Second FTC, \(\frac{d}{dx} \left[ \int_4^x e^{t^2} \, dt \right] = e^{x^2}\text{.}\)
By the First FTC, \(\int_{-2}^x \frac{d}{dt} \left[ \frac{t^4}{1+t^4} \right] \, dt = \left.
\left[ \frac{t^4}{1+t^4} \right] \right|_{-2}^{x} = \frac{x^4}{1+x^4} - \frac{16}{17}\text{.}\)
Since \(\int_{x}^{1} g(t) \, dt = -\int_{1}^{x} g(t) \, dt\text{,}\) it follows by this fact and the Second FTC that \(\frac{d}{dx} \left[ \int_{x}^1 \cos(t^3) \, dt \right] = -\frac{d}{dx} \left[ \int_{1}^x \cos(t^3) \, dt \right] = -\cos(x^3)\text{.}\)
By the First FTC, \(\int_{3}^x \frac{d}{dt} \left[ \ln(1+t^2) \right] \, dt = \left.
\ln(1+t^2) \right|_{3}^{x} = \ln(1+x^2)-\ln(10)\text{.}\)
Letting \(F(x) = \int_4^x \sin(t^2) \, dt\) it follows that we need to compute \(\frac{d}{dx} \left[F(x^3)] \right]\text{.}\) By the Chain Rule, \(\frac{d}{dx} \left[F(x^3)] \right] = F'(x^3) \cdot 3x^2\text{.}\) By the Second FTC, we know that \(F'(x) = \sin(x^2)\text{,}\) and thus \(\frac{d}{dx} \left[ \int_4^{x^3} \sin(t^2) \, dt \right] = \frac{d}{dx} \left[F(x^3)] \right] = \sin(x^6) \cdot 3x^2\text{.}\)
Subsection5.4.4Summary
For a continuous function \(f\text{,}\) the integral function \(A(x) = \int_1^x f(t) \, dt\) defines an antiderivative of \(f\text{.}\)
The Second Fundamental Theorem of Calculus is the formal, more general statement of the preceding fact: if \(f\) is a continuous function and \(c\) is any constant, then \(A(x) = \int_c^x f(t) \, dt\) is the unique antiderivative of \(f\) that satisfies \(A(c) = 0\text{.}\)
Together, the First and Second FTC enable us to formally see how differentiation and integration are almost inverse processes through the observations that
Let \(g(x)=\int_{3}^{x}\, f(t)\,dt\text{,}\) where \(f(t)\) is given in the figure below.
(Click on the graph for a larger version.)
Find each of the following:
A.\(g(3) =\)
B.\(g'(4) =\)
C. The interval (with endpoints given to the nearest 0.25) where \(g\) is concave down:
interval =
(Give your answer as an interval or a list of intervals, e.g.,(-infinity,8]or(1,5),(7,10), or enternonefor no intervals.)
D. The value of \(x\) where \(g\) takes its maximum on the interval \(0 \leq x \leq 8\text{.}\)
\(x =\)
2.Variable in the lower limit.
Find the derivative: \(\displaystyle \frac{d}{dx}\int^a_x \tan(\ln(t))\,dt =\)
3.Approximating a function with derivative \(e^{-\frac{x^2}{5}}\).
Find a good numerical approximation to \(F(3)\) for the function with the properties that \(F'(x)=e^{-x^2/5}\) and \(F(0)=4\text{.}\)
\(F(3) \approx\)
4.Sketching an antiderivative function based on definite integral values.
Let \(g\) be the function pictured at left in Figure 5.36, and let \(F\) be defined by \(F(x) = \int_{2}^x g(t) \, dt\text{.}\) Assume that the shaded areas have magnitudes \(A_1 = 4.29\text{,}\)\(A_2 = 12.75\text{,}\)\(A_3 = 0.36\text{,}\) and \(A_4 = 1.79\text{.}\) Assume further that the portion of \(A_2\) that lies between \(x = 0.5\) and \(x = 2\) is \(6.06\text{.}\)
Sketch a carefully labeled graph of \(F\) on the axes provided, and include a written analysis of how you know where \(F\) is zero, increasing, decreasing, CCU, and CCD.
5.Sand on the Beach.
The tide removes sand from the beach at a small ocean park at a rate modeled by the function
Both \(R(t)\) and \(S(t)\) are measured in cubic yards of sand per hour, \(t\) is measured in hours, and the valid times are \(0 \le t \le 6\text{.}\) At time \(t = 0\text{,}\) the beach holds 2500 cubic yards of sand.
What definite integral measures how much sand the tide will remove during the time period \(0 \le t \le 6\text{?}\) Why?
Write an expression for \(Y(x)\text{,}\) the total number of cubic yards of sand on the beach at time \(x\text{.}\) Carefully explain your thinking and reasoning.
At what instantaneous rate is the total number of cubic yards of sand on the beach at time \(t = 4\) changing?
Over the time interval \(0 \le t \le 6\text{,}\) at what time \(t\) is the amount of sand on the beach least? What is this minimum value? Explain and justify your answers fully.
6.Altitude Changes.
When an aircraft attempts to climb as rapidly as possible, its climb rate (in feet per minute) decreases as altitude increases, because the air is less dense at higher altitudes. Given below is a table showing performance data for a certain single engine aircraft, giving its climb rate at various altitudes, where \(c(h)\) denotes the climb rate of the airplane at an altitude \(h\text{.}\)
Table5.37.Data for the climbing aircraft.
\(h\) (feet)
\(0\)
\(1000\)
\(2000\)
\(3000\)
\(4000\)
\(5000\)
\(6000\)
\(7000\)
\(8000\)
\(9000\)
\(10{,}000\)
\(c\) (ft/min)
\(925\)
\(875\)
\(830\)
\(780\)
\(730\)
\(685\)
\(635\)
\(585\)
\(535\)
\(490\)
\(440\)
Let a new function \(m\text{,}\) that also depends on \(h\text{,}\) (say \(y = m(h)\)) measure the number of minutes required for a plane at altitude \(h\) to climb the next foot of altitude.
Determine a similar table of values for \(m(h)\) and explain how it is related to the table above. Be sure to discuss the units on \(m\text{.}\)
Give a careful interpretation of a function whose derivative is \(m(h)\text{.}\) Describe what the input is and what the output is. Also, explain in plain English what the function tells us.
Determine a definite integral whose value tells us exactly the number of minutes required for the airplane to ascend to 10,000 feet of altitude. Clearly explain why the value of this integral has the required meaning.
Determine a formula for a function \(M(h)\) whose value tells us the exact number of minutes required for the airplane to ascend to \(h\) feet of altitude.
Estimate the values of \(M(6000)\) and \(M(10000)\) as accurately as you can. Include units on your results.