# 5.1: Construction Accurate Graphs of Antiderivatives

- Page ID
- 107823

- 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\text{,}\) how does the rule \(A(x) = \int_0^x f(t) \, dt\) define a new function \(A\text{?}\)

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

We returned to this question in even more detail in Section 4.1. In that setting, we knew the instantaneous velocity of a moving object and worked to determine as much as possible about the object's position function. We found connections between the net signed area under the velocity function and the corresponding change in position of the function, and the Total Change Theorem further illuminated these connections between \(f'\) and \(f\text{,}\) showing that the total change in the value of \(f\) over an interval \([a,b]\) is determined by the net signed area bounded by \(f'\) and the \(x\)-axis on the same interval.

In what follows, we explore the situation where we possess an accurate graph of the derivative function along with a single value of the function \(f\text{.}\) From that information, we'd like to determine a graph of \(f\) that shows where \(f\) is increasing, decreasing, concave up, and concave down, and also provides an accurate function value at any point.

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

- 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?
- At what point(s) does \(f\) have a relative minimum? a relative maximum?
- Recall that the Total Change Theorem tells us that
\[ f(1) - f(0) = \int_0^1 f'(x) \, dx\text{.} \nonumber \]

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

- Use the given information and similar reasoning to that in (d) to determine the exact value of \(f(2)\text{,}\) \(f(3)\text{,}\) \(f(4)\text{,}\) \(f(5)\text{,}\) and \(f(6)\text{.}\)
- 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 \lt 0\) and \(x \gt 6\text{.}\)

## Constructing the graph of an antiderivative

Preview Activity \(\PageIndex{1}\) demonstrates that when we can find the exact area under the graph of a function on any given interval, it is possible to construct a graph of the function's antiderivative. That is, we can find a function whose derivative is given. We can now determine not only the overall shape of the antiderivative graph, but also the actual *height* of the graph at any point of interest.

This is a consequence of the Fundamental Theorem of Calculus: if we know a function \(f\) and the value of the antiderivative \(F\) at some starting point \(a\text{,}\) we can determine the value of \(F(b)\) via the definite integral. Since \(F(b) - F(a) = \int_a^b f(x) \, dx\text{,}\) it follows that

We can also interpret the equation \(F(b) - F(a) = \int_a^b f(x) \, dx\) in terms of the graphs of \(f\) and \(F\) as follows. On an interval \([a,b]\text{,}\)

differences in heights on the graph of the antiderivativegiven by \(F(b) - F(a)\)correspond to the net signed area bounded by the original function on the interval \([a,b]\text{,}\)which is given by\(\int_a^b f(x) \, dx\text{.}\)

Suppose that the function \(y = f(x)\) is given by the graph shown in Figure \(\PageIndex{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\text{.}\) Finally, assume that for \(x \le 0\) and \(x \ge 7\text{,}\) \(f(x) = 0\text{.}\)

- 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, \ldots, 7\text{.}\) In addition, what are the values of \(F(-1)\) and \(F(8)\text{?}\)
- 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 \lt 0\) and \(x \gt 7\text{.}\) 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\text{.}\) 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).

## Multiple antiderivatives of a single function

In the final question of Activity \(\PageIndex{2}\), we encountered a very important idea: a function \(f\) has more than one antiderivative. Each antiderivative of \(f\) is determined uniquely by its value at a single point. For example, suppose that \(f\) is the function given at left in Figure \(\PageIndex{3}\), and suppose further that \(F\) is an antiderivative of \(f\) that satisfies \(F(0) = 1\text{.}\)

Then, using Equation (\(\PageIndex{1}\)), we can compute

Similarly, \(F(2) = 1.5\text{,}\) \(F(3) = -0.5\text{,}\) \(F(4) = -2\text{,}\) \(F(5) = -0.5\text{,}\) and \(F(6) = 1\text{.}\) In addition, 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. We ultimately find that the graph of \(F\) is the one given in blue in Figure \(\PageIndex{3}\).

If we want an antiderivative \(G\) for which \(G(0) = 3\text{,}\) then \(G\) will have the exact same shape as \(F\) (since both share the derivative \(f\)), but \(G\) will be shifted vertically from the graph of \(F\text{,}\) as pictured in red in Figure \(\PageIndex{3}\). Note that \(G(1) - G(0) = \int_0^1 f(x) \, dx = 0.5\text{,}\) just as \(F(1) - F(0) = 0.5\text{,}\) but since \(G(0) = 3\text{,}\) \(G(1) = G(0) + 0.5 = 3.5\text{,}\) whereas \(F(1) = 1.5\text{.}\) In the same way, if we assigned a different initial value to the antiderivative, say \(H(0) = -1\text{,}\) we would get still another antiderivative, as shown in magenta in Figure \(\PageIndex{1}\)3.

This example demonstrates an important fact that holds more generally:

If \(G\) and \(H\) are both antiderivatives of a function \(f\text{,}\) 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\text{,}\) then \(G' = f\) and \(H' = f\text{.}\) Hence,

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.

We now see that if a function has at least one 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\text{.}\)

To identify a particular antiderivative of \(f\text{,}\) we must know a single value of the antiderivative \(F\) (this value is often called an *initial condition*). For example, if \(f(x) = x^2\text{,}\) its general antiderivative is \(F(x) = \frac{1}{3}x^3 + C\text{,}\) where we include the “\(+C\)” to indicate that \(F\) includes *all* of the possible antiderivatives of \(f\text{.}\) If we know that \(F(2) = 3\text{,}\) we substitute 2 for \(x\) in \(F(x) = \frac{1}{3}x^3 + C\text{,}\) and find that

or \(C = 3 - \frac{8}{3} = \frac{1}{3}\text{.}\) Therefore, the particular antiderivative in this case is \(F(x) = \frac{1}{3}x^3 + \frac{1}{3}\text{.}\)

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) = \left| x \right| - 1\text{;}\) initial condition: \(G(-1) = 0\text{;}\) interval for sketch: \([-2,2]\)
- original function: \(h(x) = \sin(x)\text{;}\) initial condition: \(H(0) = 1\text{;}\) interval for sketch: \([0,4\pi]\)
- original function: \(p(x) = \begin{cases}x^2, & \text{ if } 0 \lt x \lt 1 \\[4pt] -(x-2)^2, & \text{ if } 1 \lt x \lt 2 \\[4pt] 0 & \text{ otherwise } \end{cases}\text{;}\) initial condition: \(P(0) = 1\text{;}\) interval for sketch: \([-1,3]\)

## Functions defined by integrals

Equation (\(\PageIndex{1}\)) allows us to compute the value of the antiderivative \(F\) at a point \(b\text{,}\) provided that we know \(F(a)\) and can evaluate the definite integral from \(a\) to \(b\) of \(f\text{.}\) That is,

In several situations, we have used this formula to compute \(F(b)\) for several different values of \(b\text{,}\) and then plotted the points \((b,F(b))\) to help us draw an accurate graph of \(F\text{.}\) This suggests that we may want to think of \(b\text{,}\) 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.

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

\[ A(x) = \int_a^x f(t) \, dt\text{.}\label{FGz}\tag{\(\PageIndex{1}\)2} \]

Note that because \(x\) is the independent variable in the function \(A\text{,}\) and determines the endpoint of the interval of integration, we need to use a different variable as the variable of integration. A standard choice is \(t\text{,}\) 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)\text{.}\) For example, in Figure \(\PageIndex{4}\), we see a function \(f\) pictured at left, and its corresponding area function (choosing \(a = 0\)), \(A(x) = \int_0^x f(t) \, dt\) shown at right.

The function \(A\) measures the net signed area from \(t = 0\) to \(t = x\) bounded by the curve \(y = f(t)\text{;}\) this value is then reported as the corresponding height on the graph of \(y = A(x)\text{.}\) At http://gvsu.edu/s/cz, we find a java applet^{ 1 } that brings the static picture in Figure \(\PageIndex{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\text{.}\)

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.

Suppose that \(g\) is given by the graph at left in Figure \(\PageIndex{5}\) and that \(A\) is the corresponding integral function defined by \(A(x) = \int_1^x g(t) \, dt\text{.}\)

- 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)\text{,}\) \(A(1)\text{,}\) \(A(2)\text{,}\) \(A(3)\text{,}\) \(A(4)\text{,}\) \(A(5)\text{,}\) and \(A(6)\text{.}\)
- 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 \lt 0\) and \(x \gt 6\text{.}\)
- How does the graph of \(B\) compare to \(A\) if \(B\) is instead defined by \(B(x) = \int_0^x g(t) \, dt\text{?}\)

## Summary

- Given the graph of a function \(f\text{,}\) we can construct the graph of its antiderivative \(F\) provided that (a) we know a starting value of \(F\text{,}\) say \(F(a)\text{,}\) and (b) we can evaluate the integral \(\int_a^b f(x) \, dx\) exactly for relevant choices of \(a\) and \(b\text{.}\) For instance, if we wish to know \(F(3)\text{,}\) we can compute \(F(3) = F(a) + \int_a^3 f(x) \, dx\text{.}\) 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\text{,}\) we can develop a completely accurate graph of the antiderivative \(F\text{.}\)
- Because the derivative of a constant is zero, if \(F\) is an antiderivative of \(f\text{,}\) it follows that \(G(x) = F(x) + C\) will also be an antiderivative of \(f\text{.}\) 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\text{,}\) the rule \(A(x) = \int_a^x f(t) \, dt\) defines a new function \(A\) that measures the net-signed area bounded by \(f\) on the interval \([a,x]\text{.}\) We call the function \(A\) the integral function corresponding to \(f\text{.}\)