# 5.2: The Second Fundamental Theorem of Calculus

Skills to Develop

In this section, we strive to understand the ideas generated by the following important questions:

- How does the integral function \(A(x) = \int^x_1 f (t) dt\) define an antiderivative of \(f\)?
- 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?

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. In particular, 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

\[\int^b_a f (x) dx = F(b) − F(a).\]

We have typically used this result in two settings: (1) where \(f\) is a function whose graph we know and for which we can compute the exact area bounded by \(f\) on a certain interval \([a, b]\), we can compute the change in an antiderivative F over the interval; and (2) where \(f\) is a function for which it is easy to determine an algebraic formula for an antiderivative, we may evaluate the integral exactly and hence determine the net-signed area bounded by the function on the interval. For the former, see Preview Activity 5.1 or Activity 5.1. For the latter, we can easily evaluate exactly integrals such as

\[\int^4_1 x^2 dx, \]

since we know that the function \(F(x) = \dfrac{1}{3} x^3\) is an antiderivative of \(f (x) = x 2\) . Thus,

\[\int^4_1 x^2 dx = \dfrac{1}{3} x^3|^4_1 \\ = \dfrac{1}{3} (4)^3 − \dfrac{1}{3} (1)^3 \\= 21\].

Here we see that the First FTC can be viewed from at least two perspectives: first, as a tool to find the difference \(F(b) − F(a)\) for an antiderivative \(F\) of the integrand \(f\). In this situation, we need to be able to determine the value of the integral \(\int^b_a f (x) dx \) exactly, perhaps through known geometric formulas for area. It is possible that we may not have a formula for \(F\) itself. From a second perspective, 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 latter case, we need to know a formula for the antiderivative \(F\), as this enables us to compute net-signed areas exactly through definite integrals, as demonstrated in Figure 5.9.

*Figure 5.9: At left, the graph of* \(f (x) = x^2\)* on the interval *\([1, 4]\)* and the area it bounds. At right, the antiderivative function *\(F(x) = \dfrac{1}{3} x^3\)* , whose total change on *\([1, 4]\) *is the value of the definite integral at left.*

We recall further that the value of a definite integral may have additional meaning depending on context: change in position when the integrand is a velocity function, total pollutant leaked from a tank when the integrand is the rate at which pollution is leaking, or other total changes that correspond to a given rate function that is the integrand. In addition, the value of the definite integral is always connected to the average value of a continuous function on a given interval: \(f_{\text{AVG}[a,b]}\dfrac{1}{b-a}\int^b_a f(x) dx. \).

Next, remember that in the last part of Section 5.1, we studied integral functions of the form \(A(x) = \int^x_c f (t) dt\). Figure 5.4 is a particularly important image to keep in mind as we work with integral functions, and the corresponding java applet at http://gvsu.edu/s/cz is likewise foundational to our understanding of the function \(A\). In what follows, we use the First FTC to gain additional understanding of the function \(A(x) = \int^x_c f (t) dt\), where the integrand \(f\) is given (either through a graph or a formula), and \(c\) is a constant. In particular, we investigate further the special nature of the relationship between the functions \(A\) and \(f\) .

Preview Activity \(\PageIndex{1}\):

Consider the function \(A\) defined by the rule

\(A(x) = \int^x_1 f (t) dt,\)

where \(f (t) = 4 − 2t\).

- Compute \(A(1)\) and \(A(2)\) exactly.
- Use the First Fundamental Theorem of Calculus to find an equivalent formula for \(A(x)\) that does not involve integrals. That is, use the first FTC to evaluate \( \int^x_1 (4 − 2t) dt\).
- Observe that \(f\) is a linear function; what kind of function is \(A\)?
- Using the formula you found in (b) that does not involve integrals, compute A' (x).
- While we have defined \(f\) by the rule \(f (t) = 4 − 2t\), it is equivalent to say that \(f\) is given by the rule \(f (x) = 4 − 2x\). What do you observe about the relationship between \(A\) and \(f\)?

### The Second Fundamental Theorem of Calculus

The result of Preview Activity 5.2 is not particular to the function \(f (t) = 4 − 2t\), nor to the choice of “1” as the lower bound in the integral that defines the function \(A\). For instance, if we let \(f (t) = \cos(t) − t\) and set \(A(x) = \int^x_2 f (t) dt\), then we can determine a formula for \(A\) without integrals by the First FTC. Specifically,

\[A(x) = \int^x_2 (\cos(t) − t) dt \\ = \sin(t) − \dfrac{1}{2} t^2| ^x_2 \\ = \sin(x) − \dfrac{1}{2} x^2 − (\sin(2) − 2) \].

Differentiating \(A(x)\), since \((\sin(2) − 2)\) is constant, it follows that

\[A'(x) = \cos(x) − x, \]

and thus we see that \(A'(x) = f (x)\). This tells us that for this particular choice of \(f , A \)is an antiderivative of \(f\). More specifically, since \(A(2) = \int^2_2 f (t) dt = 0\), \(A\) is the only antiderivative of \(f\) for which \(A(2) = 0\).

In general, if \(f\) is any continuous function, and we define the function \(A\) by the rule

\[A(x) = \int^x_c f (t) dt, \]

where \(c\) is an arbitrary constant, then we can show that \(A\) is an antiderivative of \(f\). To see why, let’s demonstrate that \(A' (x) = f (x)\) by using the limit definition of the derivative. Doing so, we observe that

\[A'(x) = \lim_{h \rightarrow 0} \dfrac{A(x+h)-A(x)}{h} \\ =\lim_{h \rightarrow 0} \dfrac{\int^{x+h}_x f(t)dt-\int^x_c f(t) dt}{h} \\ =\lim_{h \rightarrow 0} \dfrac{\int^{x+h}_x f(t)dt}{h},\label{5.3}\]

where Equation (5.3) in the preceding chain follows from the fact that \(\int^x_c f (t) dt + \int^{x+h}_x f (t) dt = \int^{x+h}_c f (t) dt\). Now, observe that for small values of \(h\),

\[\int^{ x+h}_x f (t) dt \approx f (x) · h, \]

by a simple left-hand approximation of the integral. Thus, as we take the limit in Equation (5.3), it follows that

\[A' (x) = lim_{h \rightarrow 0} \dfrac{\int^{x+h}_x f(t) dt }{h} = lim_{h \rightarrow 0} \dfrac{f(x) · h}{h} = f(x) \]

Hence, \(A\) is indeed an antiderivative of \(f\). In addition, \(A(c) = R^c_c f (t) dt = 0\). The preceding argument demonstrates the truth of the Second Fundamental Theorem of Calculus, which we state as follows.

Theorem

Theorem. (Second FTC) If f is a continuous function and \(c\) is any constant, then f has a unique antiderivative \(A\) that satisfies \(A(c) = 0\), and that antiderivative is given by the rule \(A(x) = \int^x_c f (t) dt\).

Activity \(\PageIndex{2}\):

Suppose that f is the function given in Figure 5.10 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^x_2 f (t) dt\).

*Figure 5.10: At left, the graph of* \(y = f (x)\). *At right, axes for sketching* \(y = A(x)\).

- What does the Second FTC tell us about the relationship between \(A\) and \(f\)?
- 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, . . ., 7\).
- How is \(A\) similar to, but different from, the function \(F\) that you found in Activity 5.1?
- With as little additional work as possible, sketch precise graphs of the functions \(B(x) = \int^x_3 f (t) dt\) and \(C(x) = \int^x_1 f (t) dt\). Justify your results with at least one sentence of explanation.

### Understanding Integral Functions

The Second FTC provides us with a means 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\), we can now say that

\[G(x) = \int^x_c g(t) d\]

provides the rule for such an antiderivative, and moreover that \(G(c) = 0\). Note especially that we know that \(G'(x) = g(x)\). We sometimes want to write this relationship between \(G\) and \(g\) from a different notational perspective. In particular, observe that

\[\frac{\text{d}}{\text{d}x}\left[ \int^x_c g(t)dt\right]= g(x). \label{5.4}\]

This result can be particularly useful when we’re given an integral function such as \(G\) and wish to understand properties of its graph by recognizing that \(G'(x) = g(x)\), while not necessarily being able to exactly evaluate the definite integral \(\int^x_c g(t) dt\). To see how this is the case, we consider the following example.

Example \(\PageIndex{1}\):

Investigate the behavior of the integral function

\[E(x) = \int ^x_0 e^{ −t^2} dt.\]

**Solution**

\(E\) is closely related to the well-known error function^{2}, a function that is particularly important in probability and statistics. It turns out that the function \(e^{ −t^2}\) does not have an elementary antiderivative that we can express without integrals. That is, whereas a function such as \(f (t) = 4 − 2t\) has elementary antiderivative \(F(t) = 4t − t^2\) , we are unable to find a simple formula for an antiderivative of \(e^{−t^2}\) that does not involve a definite integral. We will learn more about finding (complicated) algebraic formulas for antiderivatives without definite integrals in the chapter on infinite series.

Returning our attention to the function \(E\), while we cannot evaluate \(E\) exactly for any value other than \(x = 0\), we still can gain a tremendous amount of information about the function \(E\). To begin, applying the rule in Equation (5.4) to \(E\), it follows that

\[E'(x) = \dfrac{d}{dx} \left[ \int^x_0 e^{−t^2} \lright[ = e ^{−x ^2} , \]

so we know a formula for the derivative of \(E\). Moreover, we know that \(E(0) = 0\). This information is precisely the type we were given in problems such as the one in Activity 3.1 and others in Section 3.1, where we were given information about the derivative of a function, but lacked a formula for the function itself.

Here, using the first and second derivatives of \(E\), along with the fact that \(E(0) = 0\), we can determine more information about the behavior of \(E\). First, with \(E' (x) = e −x^2\) , we note that for all real numbers \(x, e −x^2 > 0\), and thus \(E' (x) > 0\) for all \(x\). Thus \(E\) is an always increasing function. Further, we note that as \(x \rightarrow \infty, E' (x) = e −x 2 \rightarrow 0, hence the slope of the function E tends to zero as x \rightarrow \infty (and similarly as x \rightarrow −\infty). Indeed, it turns out (due to some more sophisticated analysis) that \(E\) has horizontal asymptotes as \(x\) increases or decreases without bound.

In addition, we can observe that \(E''(x) = −2xe^{−x^2}\) , and that \(E''(0) = 0\), while \(E''(x) < 0\) for \(x > 0\) and \(E''(x) > 0\) for \(x < 0\). This information tells us that \(E\) is concave up for \(x < 0\) and concave down for \(x > 0\) with a point of inflection at \(x = 0\).

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)\), we see that \(E(2) \approx 0.8822\); 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 which aligns with the fact that \(E\) has horizontal asymptote. Putting all of this information together (and using the symmetry of \(f (t) = e^{ −t^2} )\, we see the results shown in Figure 5.11.

^{2}The error function is defined by the rule \(erf(x) = -\dfrac{2}{\sqrt{\pi}} \int^x_0 e^{-t^2} dt \) and has the key property that \(0 ≤ erf(x) < 1\) for all \(x \leq 0\) and moreover that \(\lim_{x \rightarrow \infty} erf(x) = 1\).

*Figure 5.11: At left, the graph of *\(f (t) = e −t 2\) *. At right, the integral function *\(E(x) = \int^x_0 e^{−t^2} dt\)*, which is the unique antiderivative of f that satisfies *\(E(0) = 0\).

Again, \(E\) is the antiderivative of \(f (t) = e^{−t^2}\) that satisfies \(E(0) = 0\). Moreover, the 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\). 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.

Activity \(\PageIndex{3}\):

Suppose that \(f (t) = \dfrac{t}{{1+t^2}\) and \(F(x) = \int^x_0 f (t) dt\).

- On the axes at left in Figure 5.12, plot a graph of \(f (t) = \dfrac{t}{{1+t^2}\) on the interval \(−10 \geq t \geq 10\). Clearly label the vertical axes with appropriate scale.
- What is the key relationship between \(F\) and \(f\) , 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) = \dfrac{t}{{(1+t^2)^2}\) .
- Using technology appropriately, estimate the values of \(F(5)\) and \(F(10)\) through appropriate Riemann sums.

*Figure 5.12: Axes for plotting* \(f\) and \(F\).

(f) Sketch an accurate graph of \(y = F(x)\) on the righthand axes provided, and clearly label the vertical axes with appropriate scale.

### Differentiating an Integral Function

We have seen that the Second FTC enables us to construct an antiderivative \(F\) of any continuous function \(f\) by defining \(F\) by the corresponding integral function \(F(x) = \int^x_c f (t) dt. Said differently, if we have a function of the form F(x) = \int^x_c f (t) dt\), then we know that \(F'(x) = \frac{\text{d}}{\text{d}x}\left[\int^x_c f(t) dt \right] = f(x) \). 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

\[F(x) = \int^x_{\pi} \sin(t^2 ) dt, \]

then by the Second FTC, we know immediately that

\[F'(x) = \sin(x^2 )\].

Stating this result more generally for an arbitrary function \(f\), we know by the Second FTC that

\[\frac{\text{d}}{\text{d}x}\left[\int^x_c f(t) dt \right] = f(x). \].

In words, the last equation essentially says that “the derivative of the integral function whose integrand is \(f\), is \(f .”\) In this sense, we see that if we first integrate the function \(f\) from \(t = a\) to \(t = x\), and then differentiate with respect to \(x\), these two processes “undo” one another.

Taking a different approach, say we begin with a function \(f (t)\) and differentiate with respect to \(t\). What happens if we follow this by integrating the result from \(t = a\) to \(t = x\)? That is, what can we say about the quantity

\[\int^x_a \frac{\text{d}}{\text{d}t}\left[ f(t) \right] dt?\]

Here, we use the First FTC and note that \(f (t)\) is an antiderivative of \(\frac{\text{d}}{\text{d}t}\left[ f(t) \right]\). Applying this result and evaluating the antiderivative function, we see that

\[\int_{a}^{x} \frac{\text{d}}{\text{d}t}[f(t)] dt = f(t)|^x_a\\ = f(x) - f(a) . \]

Thus, we see that if we apply the processes of first differentiating \(f\) and then integrating the result from \(a\) to \(x\), we return to the function \(f\), minus the constant value \(f (a)\). So in this situation, the two processes almost undo one another, up to the constant \(f (a)\).

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. In one sense, 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, as integrating the derivative of a function does not quite produce the function itself. This is connected to a key fact we observed in Section 5.1, which is that any function has an entire family of antiderivatives, and any two of those antiderivatives differ only by a constant.

Activity \(\PageIndex{6}\):

Evaluate each of the following derivatives and definite integrals. Clearly cite whether you use the First or Second FTC in so doing.

a. \(\frac{\text{d}}{\text{d}x}\left[ \int_{4}^{x}e^{t^2} dt \right]\)

b.\(\int_{x}^{-2}\frac{\text{d}}{\text{d}x}\left[\dfrac{t^4}{1+t^4} \right]dt\)

c. \(\frac{\text{d}}{\text{d}x}\left[ \int_{x}^{1} \cos(t^3)dt \right]\)

d.\(\int_{x}^{3}\frac{\text{d}}{\text{d}t}[\ln(1+t^2)]dt\)

e. \(\frac{\text{d}}{\text{d}x}\int_{4}^{x^3}\left[\sin(t^2) dt \right]\)

(Hint: Let \(F(x) = \int^x_4 \sin(t^2 ) dt\) and observe that this problem is asking you to evaluate \(\frac{\text{d}}{\text{d}x}[F(x^3)],\).

### Summary

In this section, we encountered the following important ideas:

- For a continuous function \(f\) , the integral function \(A(x) = \int^x_1 f (t) dt \) defines an antiderivative of \(f\) .
- 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^x_c f (t) dt\) is the unique antiderivative of f that satisfies \(A(c) = 0\).
- Together, the First and Second FTC enable us to formally see how differentiation and integration are almost inverse processes through the observations that

\[\int_{c}^{x} \frac{\text{d}}{\text{d}t}[f(t)]dt = f(x) -f(c) \]

and

\[\frac{\text{d}}{\text{d}x}\left[ \int_{c}^{x} f(t) dt\right] = f(x) \].

### Contributors

Matt Boelkins (Grand Valley State University), David Austin (Grand Valley State University), Steve Schlicker (Grand Valley State University)