# 5.1: Construction Accurate Graphs of Antiderivatives

- Page ID
- 4320

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

Learning Objectives

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

- Given the graph of a function’s derivative, how can we construct a completely accurate graph of the original function?
- How many antiderivatives does a given function have? What do those antiderivatives all have in common?
- Given a function \(f\), how does the rule \(A(x) = \int_x^0 f (t) dt\) define a new function \(A\)?

A recurring theme in our discussion of differential calculus has been the question “Given information about the derivative of an unknown function \(f\), how much information can we obtain about \(f\) itself?” For instance, in Activity 1.22, we explored the situation where the graph of \(y = f'(x)\) was known (along with the value of f at a single point) and endeavored to sketch a possible graph of \(f\) near the known point. In Example 3.1 – and indeed throughout Section 3.1 – we investigated how the first derivative test enables us to use information regarding \(f'\) to determine where the original function \(f\) is increasing and decreasing, as well as where f has relative extreme values. Further, if we know a formula or graph of \(f'\), by computing \(f''\) we can find where the original function f is concave up and concave down. Thus, the combination of knowing \(f'\) and \(f''\) enables us to fully understand the shape of the graph of \(f\).

We returned to this question in even more detail in Section 4.1; there, we considered the situation where we knew the instantaneous velocity of a moving object and worked from that information to determine as much information as possible about the object’s position function. We found key connections between the net-signed area under the velocity function and the corresponding change in position of the function; in Section 4.4, the Total Change Theorem further illuminated these connections between \(f'\) and \(f\) in a more general setting, such as the one found in Figure 4.34, showing that the total change in the value of \(f\) over an interval \([a, b]\) is determined by the exact net-signed area bounded by \(f'\) and the \(x\)-axis on the same interval. In what follows, we explore these issues still further, with a particular emphasis on the situation where we possess an accurate graph of the derivative function along with a single value of the function \(f\). From that information, we desire to completely determine an accurate graph of \(f\) that not only represents correctly where \(f\) is increasing, decreasing, concave up, and concave down, but also allows us to find an accurate function value at any point of interest to us.

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

Suppose that the following information is known about a function \(f\) : the graph of its derivative, \(y = f' (x)\), is given in Figure 5.1. Further, assume that \(f'\) is piecewise linear (as pictured) and that for \(x \leq 0\) and \(x \geq 6\), \(f' (x) = 0\). Finally, it is given that \(f (0) = 1\).

*Figure 5.1: At left, the graph of *\(y = f' (x)\)*; at right, axes for plotting *\(y = f (x)\).

(a) On what interval(s) is \(f\) an increasing function? On what intervals is \(f\) decreasing?

(b) On what interval(s) is \(f\) concave up? concave down?

(c) At what point(s) does \(f\) have a relative minimum? a relative maximum?

(d) Recall that the Total Change Theorem tells us that

\(f (1) − f (0) = \int^1_0 f' (x) dx.\)

What is the exact value of \(f (1)\)?

(e) Use the given information and similar reasoning to that in (d) to determine the exact value of \(f (2), f (3), f (4), f (5)\), and \(f (6)\).

(f) Based on your responses to all of the preceding questions, sketch a complete and accurate graph of \(y = f (x)\) on the axes provided, being sure to indicate the behavior of \(f\) for \(x < 0\) and \(x > 6\).

### Constructing the graph of an antiderivative

Preview Activity 5.1 demonstrates that when we can find the exact area under a given graph on any given interval, it is possible to construct an accurate graph of the given function’s antiderivative: that is, we can find a representation of a function whose derivative is the given one. While we have considered this question at different points throughout our study, it is important to note here that we now can determine not only the overall shape of the antiderivative, but also the actual *height* of the antiderivative at any point of interest.

Indeed, this is one key consequence of the Fundamental Theorem of Calculus: if we know a function \(f\) and wish to know information about its antiderivative, \(F\), provided that we have some starting point a for which we know the value of \(F(a)\), we can determine the value of \(F(b)\) via the definite integral. In particular, since \(F(b) − F(a) = \int^b_a f (x) dx,\) it follows that

\[F(b) = F(a) + \int^b_a f (x) dx. \label{5.1}\]

Moreover, in the discussion surrounding Figure 4.34, we made the observation that differences in heights of a function correspond to net-signed areas bounded by its derivative. Rephrasing this in terms of a given function \(f\) and its antiderivative \(F\), we observe that on an interval \([a, b]\),

*differences in heights on the antiderivative (such as *\(F(b) − F(a)\)*) correspond to the net-signed area bounded by the original function on the interval *\([a, b] ( R b a f (x) dx)\).

For example, say that \(f (x) = x^2\) and that we are interested in an antiderivative of f that satisfies \(F(1) = 2\). Thinking of \(a = 1\) and \(b = 2\) in Equation (5.1), it follows from the Fundamental Theorem of Calculus that

\[F(2) = F(1) + \int^2_1 x^2 dx \\ = 2 + \dfrac{1}{ 3} x^3 |^2_1 \\ = 2 +( \dfrac{8}{3} − \dfrac{1}{3}) \\ = \dfrac{13}{3} .\]

In this way, we see that if we are given a function \(f\) for which we can find the exact net-signed area bounded by \(f\) on a given interval, along with one value of a corresponding antiderivative \(F\), we can find any other value of \(F\) that we seek, and in this way construct a completely accurate graph of \(F\). We have two main options for finding the exact net-signed area: using the Fundamental Theorem of Calculus (which requires us to find an algebraic formula for an antiderivative of the given function \(f\) ), or, in the case where \(f\) has nice geometric properties, finding net-signed areas through the use of known area formulas.

Activity \(\PageIndex{1}\):

Suppose that the function \(y = f (x)\) is given by the graph shown in Figure 5.2, and that the pieces of f are either portions of lines or portions of circles. In addition, let \(F\) be an antiderivative of \(f\) and say that \(F(0) = −1\). Finally, assume that for \(x \leq 0\) and \(x \geq 7\), \(f (x) = 0\).

*Figure 5.2: At left, the graph of* \(y = f (x)\).

- On what interval(s) is \(F\) an increasing function? On what intervals is \(F\) decreasing?
- On what interval(s) is \(F\) concave up? concave down? neither?
- At what point(s) does \(F\) have a relative minimum? a relative maximum?
- Use the given information to determine the exact value of \(F(x)\) for \(x = 1, 2, . . ., 7\). In addition, what are the values of \(F(−1)\) and \(F(8)\)?
- Based on your responses to all of the preceding questions, sketch a complete and accurate graph of \(y = F(x)\) on the axes provided, being sure to indicate the behavior of \(F\) for \(x < 0\) and \(x > 7\). Clearly indicate the scale on the vertical and horizontal axes of your graph.
- What happens if we change one key piece of information: in particular, say that \(G\) is an antiderivative of \(f\) and \(G(0) = 0\). How (if at all) would your answers to the preceding questions change? Sketch a graph of \(G\) on the same axes as the graph of \(F\) you constructed in (e). C

### Multiple antiderivatives of a single function

In the final question of Activity 5.1, we encountered a very important idea: a given function \(f\) has more than one antiderivative. In addition, any antiderivative of \(f\) is determined uniquely by identifying the value of the desired antiderivative at a single point. For example, suppose that \(f\) is the function given at left in Figure 5.3, and we say that \(F\) is an antiderivative of f that satisfies \(F(0) = 1\).

Figure 5.3: At left, the graph of \(y = f (x)\). At right, three different antiderivatives of \(f\).

Then, using Equation 5.1, we can compute \(F(1) = 1.5, F(2) = 1.5, F(3) = −0.5, F(4) = −2, F(5) = −0.5,\) and \(F(6) = 1,\) plus we can use the fact that \(f' = f\) to ascertain where \(F\) is increasing and decreasing, concave up and concave down, and has relative extremes and inflection points. Through work similar to what we encountered in Preview Activity 5.1 and Activity 5.1, we ultimately find that the graph of \(F\) is the one given in blue in Figure 5.3.

If we instead chose to consider a function \(G\) that is an antiderivative of \(f\) but has the property that \(G(0) = 3\), then \(G\) will have the exact same shape as \(F\) (since both share the derivative \(f\) ), but \(G\) will be shifted vertically away from the graph of \(F\), as pictured in red in Figure 5.3. Note that \(G(1) − G(0) = \int^1_0 f (x) dx = 0.5, \) just as \(F(1) − F(0) = 0.5,\) but since \(G(0) = 3, G(1) = G(0) + 0.5 = 3.5\), whereas \(F(1) = F(0) + 0.5 = 1.5\), since \(F(0) = 1\). In the same way, if we assigned a different initial value to the antiderivative, say \(H(0) = −1\), we would get still another antiderivative, as shown in magenta in Figure 5.3.

This example demonstrates an important fact that holds more generally:

Definition

If \(G\) and \(H\) are both antiderivatives of a function \(f\), then the function \(G − H\) must be constant.

To see why this result holds, observe that if \(G\) and \(H\) are both antiderivatives of \(f\), then \(G' = f\) and \(H' = f \). Hence, \(\frac{\text{d}}{\text{d}x}[G(x)-H(x)] = G'(x) − H'(x) = f (x) − f (x) = 0. \)Since the only way a function can have derivative zero is by being a constant function, it follows that the function \(G − H\) must be constant.

Further, we now see that if a function has a single antiderivative, it must have infinitely many: we can add any constant of our choice to the antiderivative and get another antiderivative. For this reason, we sometimes refer to the *general antiderivative* of a function \(f\). For example, if \(f(x) = x^2\), its general antiderivative is \(F(x) = \dfrac{1}{3} x^3 + C\), where we include the “\(+C\)” to indicate that \(F\) includes all of the possible antiderivatives of \(f\). To identify a particular antiderivative of \(f\), we must be provided a single value of the antiderivative \(F\) (this value is often called an initial condition). In the present example, suppose that condition is \(F(2) = 3\); substituting the value of 2 for \(x\) in \(F(x) = \dfrac{1}{3} x^3 + C\), we find that

\[3 = \dfrac{1}{3} (2)^3 + C,\]

and thus \(C = 3 − \dfrac{8}{3} = \dfrac{1}{3}\). Therefore, the particular antiderivative in this case is \(F(x) = \dfrac{1}{3} x^3 + \dfrac{1}{3}\).

Activity \(\PageIndex{2}\):

For each of the following functions, sketch an accurate graph of the antiderivative that satisfies the given initial condition. In addition, sketch the graph of two additional antiderivatives of the given function, and state the corresponding initial conditions that each of them satisfy. If possible, find an algebraic formula for the antiderivative that satisfies the initial condition.

- original function: \(g(x) = |x| − 1\); initial condition: \(G(−1) = 0\); interval for sketch: \([−2, 2]\)
- original function: \(h(x) = \sin(x)\); initial condition: \(H(0) = 1\); interval for sketch: \([0, 4\pi]\)
- original function: \( p(x) = \begin{cases}x^2, & \text{if } 0< x \leq 1\\ -(x-2)^2, & \text{if } 1 <x <2; \\ 0 & \text{otherwise}\end{cases}\)

initial condition: \(P(0) = 1\);

interval for sketch:\( [−1, 3]\)

## Functions Defined by Integrals

In Equation (5.1), we found an important rule that enables us to compute the value of the antiderivative \(F\) at a point \(b\), provided that we know \(F(a)\) and can evaluate the definite integral from \(a\) to \(b\) of \(f\). Again, that rule is

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

In several examples, we have used this formula to compute several different values of \(F(b)\) and then plotted the points \((b, F(b))\) to assist us in generating an accurate graph of \(F\). That suggests that we may want to think of \(b\), the upper limit of integration, as a variable itself. To that end, we introduce the idea of an *integral function*, a function whose formula involves a definite integral.

Given a continuous function \(f\), we define the corresponding integral function \(A\) according to the rule

\[A(x) = Z x a f (t) dt. \label{5.2}\]

Note particularly that because we are using the variable \(x\) as the independent variable in the function \(A\), and \(x\) determines the other endpoint of the interval over which we integrate (starting from \(a\)), we need to use a variable other than \(x\) as the variable of integration. A standard choice is \(t\), but any variable other than \(x\) is acceptable.

One way to think of the function \(A\) is as the “net-signed area from \(a\) up to \(x\)” function, where we consider the region bounded by \(y = f (t)\) on the relevant interval. For example, in Figure 5.4, we see a given function f pictured at left, and its corresponding area function (choosing \(a = 0\)), \(A(x) = \int^x_0 f (t) dt \)shown at right.

Note particularly that the function \(A\) measures the net-signed area from \(t = 0\) to \(t = x\) bounded by the curve \(y = f (t)\); this value is then reported as the corresponding height on the graph of \(y = A(x)\). It is even more natural to think of this relationship between \(f\) and \(A\) dynamically. At http://gvsu.edu/s/cz, we find a java applet^{1} that brings the static picture in Figure 5.4 to life. There, the user can move the red point on the function \(f\) and see how the corresponding height changes at the light blue point on the graph of A.

^{1}David Austin, Grand Valley State University

*Figure 5.4: At left, the graph of the given function *\(f\)* . At right, the area function* \(A(x) = \int^x_0 f (t) dt\).

The choice of a is somewhat arbitrary. In the activity that follows, we explore how the value of \(a\) affects the graph of the integral function, as well as some additional related issues.

Exercise \(\PageIndex{3}\)

Suppose that \(g\) is given by the graph at left in Figure 5.5 and that \(A\) is the corresponding integral function defined by \(A(x) = \int^x_1 g(t) dt\).

*Figure 5.5: At left, the graph of *\(y = g(t)\)*; at right, axes for plotting *\(y = A(x)\),* where *\(A\) *is defined by the formula *\(A(x) = \int^x_1 g(t) dt\).

- On what interval(s) is \(A\) an increasing function? On what intervals is \(A\) decreasing? Why?
- On what interval(s) do you think \(A\) is concave up? concave down? Why?
- At what point(s) does \(A\) have a relative minimum? a relative maximum?
- Use the given information to determine the exact values of \(A(0), A(1), A(2), A(3), A(4), A(5),\) and \(A(6)\).
- Based on your responses to all of the preceding questions, sketch a complete and accurate graph of \(y = A(x)\) on the axes provided, being sure to indicate the behavior of \(A\) for \(x < 0\) and \(x > 6\).
- How does the graph of \(B\) compare to \(A\) if \(B\) is instead defined by \(B(x) = \int^x_0 g(t) dt\)?

## Summary

In this section, we encountered the following important ideas:

- Given the graph of a function \(f\), we can construct the graph of its antiderivative \(F\) provided that \((a)\) we know a starting value of \(F\), say \(F(a)\), and \((b)\) we can evaluate the integral \(\int^b_a f (x) dx\) exactly for relevant choices of \(a\) and \(b\). For instance, if we wish to know \(F(3)\), we can compute \(F(3) = F(a) + \int^3_a f (x) dx\). When we combine this information about the function values of \(F\) together with our understanding of how the behavior of \(f' = f\) affects the overall shape of \(F\), we can develop a completely accurate graph of the antiderivative \(F\).
- Because the derivative of a constant is zero, if \(F\) is an antiderivative of \(f\), it follows that \(G(x) = F(x) + C\) will also be an antiderivative of \(f\). Moreover, any two antiderivatives of a function \(f\) differ precisely by a constant. Thus, any function with at least one antiderivative in fact has infinitely many, and the graphs of any two antiderivatives will differ only by a vertical translation.
- Given a function \(f\), the rule \(A(x) = \int^x_a f (t) dt\) defines a new function \(A\) that measures the net-signed area bounded by \(f\) on the interval \([a, x]\). We call the function \(A\) the integral function corresponding to \(f\).