Skip to main content

Section 5.1 Antiderivatives and Indefinite Integrals

We’ve been spending a lot of time thinking about derivatives! We’ve done this in a couple of different ways:
  1. We have thought carefully about what derivatives are, what they measure, and how to interpret them.
  2. We have built up a whole list of tools that we can use to actually find or calculate these derivatives. We know how to differentiate most functions (and combinations of functions) that we can think of!
  3. We’ve been able to apply these derivatives to some specific contexts to solve problems or analyze functions and mathematical models.
Let’s think about derivatives in a slightly different way!

Activity 5.1.1. Find a Function Where....

For each of the following derivatives, find a function \(f(x)\) whose first (or second) derivative matches the listed derivative.

(c)

\(f'(x)=\sqrt{x}-\dfrac{1}{x^2}\)

(e)

\(f''(x)=e^x - \dfrac{1}{\sqrt[3]{x}}\)

(f)

Go back through each of the above derivatives, and find a different option for \(f(x)\) that still works. Make sure that it is something completely unique, and not just an equivalent function that is written differently.
Why are you able to find multiple answers in these questions, but not when we are given a function and need to find a derivative?
We’ve done two things here: thought about how we might “undo” differnentiation, and discovered a nice property about constants.
Note that we’ve already discovered this rule! We proved it, back when we were playing with the Mean Value Theorem. We built a related theorem that showed that two functions can have the same derivative, and if they do then they are off by, at most, a constant: Theorem 4.1.7 Equal Derivatives Correspond with Related Functions.
Let’s visualize this phenomena!

Subsection Antiderivatives

We want to try to define and name these “backwards derivatives.” Instead of calling them the “negative first” derivative, we will name them as antiderivatives.

Definition 5.1.1. Antiderivative.

For a function \(f(x)\text{,}\) we say that \(F(x)\) is an antiderivative of \(f(x)\) on an interval if \(F'(x)=f(x)\) on the interval.
We call \(F(x)+C\) the family of antiderivatives of \(f(x)\text{,}\) where \(C\) represents any real number constant.

Example 5.1.2.

For each of the following functions, find the family of antiderivatives.
(a)
\(f(x)=7x+\sec^2(x)\)
Hint.
Do we know a function whose derivative is \(\sec^2(x)\text{?}\)
Solution.
\(F(x) = \dfrac{7x^2}{2} + \tan(x) + C\)
(b)
\(g(x) = \dfrac{5}{x} - \dfrac{3}{1+x^2}\)
Hint.
We won’t be undoing the Power Rule with either of these! We might try to think about functions whose derivatives are \(\frac{1}{x}\) and \(\frac{1}{1+x^2}\text{.}\)
Solution.
\(G(x) = 5\ln|x| - 3\tan^{-1}(x)+C\)
We use absolute values in the logarithm because we want to find a function whose derivative is \(g(x)\) on the whole interval that \(g(x)\) is defined. The log function is only defined for positive inputs, but we would like to be able to put any non-zero input into our function (since that’s the domain of \(g\)).
(c)
\(j(x) = x^5-4x+1 - \dfrac{4}{3x^5}\)
Hint.
It might help to write the function as \(j(x) = x^5 - 4x + 1 - \dfrac{4}{3}x^{-5}\text{.}\)
Solution.
\(J(x) = \dfrac{x^6}{6} - 2x^2+x + \dfrac{1}{3x^4} +C\)

Subsection Initial Value Problems

Activity 5.1.2. A File Sorting Speed Test.

A computer program is trying to sort a group of computer files based on their size. The program isn’t very efficient, and the time that it takes to sort the files increases when it tries to sort more files.
The time that it takes, measured in seconds, based on the total, cumulative size of the files \(g\text{,}\) measured in gigabytes, is modeled by a function \(T(g)\text{.}\) We don’t know the function, but we do know that the time increases at an instantaneous rate of \(0.0001g\) seconds when the total size, \(g\) increases slightly. That is, the rate of change is a function of the file size, \(g\text{,}\) itself.
(a)
We can build a function for \(T'(g)\text{.}\) What is it?
Solution.
\(T'(g) = 0.0001g\)
(b)
Find all of the possibilities for the function modeling the time, \(T\text{,}\) that it takes the computer program to sort files with a total size of \(g\text{.}\)
Hint.
We are looking for the family of antiderivatives of \(T'(g)\text{.}\)
(c)
What does your constant \(C\) represent, here? You can interpret it graphically, interpret it by thinking about derivatives, but you should also interpret it in terms of the time that it takes this program to sort these files by size.
(d)
Let’s say that we feed some number of files totaling up to 1.4GB in size into this program. It takes 0.24 seconds to sort the files by size.
Find the function, \(T(g)\text{,}\) that models how quickly this program sorts these files.
We call this type of problem an “initial value problem.” Here, we ended up solving for a family of antiderivatives, but then using some more information about that antiderivative (in this case, information about file size and time) to find the specific antiderivative function that was relevant.

Solving Initial Value Problems.

For some function \(f(x)\text{,}\) if we want to find an antiderivative function \(F(x)\) and we know some “initial value,” \(F(a)\text{,}\) then we can find the exact antiderivative by:
  1. Finding the family of antiderivatives: \(F(x)+C\text{.}\)
  2. Using the initial value to solve for the constant \(C\text{,}\) by evaluating \(F(x)+C\) at \(x=a\) and solving the resulting equation.

Example 5.1.3.

(a)
For \(f(x) = \dfrac{x^5}{2}+\sin(x)\text{,}\) find \(F(x)\) where \(F(0)=3\text{.}\)
(b)
For \(g'(x) = e^x\text{,}\) find \(G(x)\) where \(G(0)=4\) and \(g(0)=2\text{.}\)

Subsection Indefinite Integrals

To finish this out, we’ll just build some notation that represents these families of antiderivatives. We can use words to describe them, but it will be helpful to introduce some quick way of writing this using notation.

Definition 5.1.4. Indefinite Integral.

An indefinite integral represents a family of antiderivatives:
\begin{equation*} \int f(x)\;dx = F(x)+C \end{equation*}
where
  • \(\displaystyle \int\) is a symbol directing us to find a family of antiderivatives (or integrate)
  • \(f(x)\) is called the integrand
  • \(dx\) is a differential, and represents both the “end” of the integral as well as an indicator of what the input variable of the integrand should be (or what variable we antidifferentiate “with regard to”).
  • \(F(x)\) is an antiderivative of \(f(x)\) (where \(F'(x)=f(x)\)).
  • \(C\) is called the “constant of integration” and represents any real number

Example 5.1.5.

Find families of antiderivatives according to each of the following indefinite integrals.
(a)
\(\displaystyle \int \left(\dfrac{4}{x} - \sqrt{x}\right)\;dx\)
(b)
\(\displaystyle \int (x+4)(x^2-7)\;dx\)
Hint.
While we do not know how to antidifferentiate products of functions yet, we can just multiply the integrand function!
\begin{equation*} (x+4)(x^2-7) = x^3 + 4x^2-7x-28 \end{equation*}
Antidifferentiate this.
(c)
\(\displaystyle \int \left(\frac{xe^x - 1}{x}\right)\;dx\)
Hint.
Similar to the previous problem, we do not know how to antidifferentiate quotients, but we can rewrite this function before we antidifferentiate!
\begin{align*} \frac{xe^x-1}{x} \amp = \frac{xe^x}{x}-\frac{1}{x}\\ \amp = e^x - \frac{1}{x} \end{align*}
Antidifferentiate this!
All we have left to do now is to just formalize the antiderivative rules we’ve been intuitively building and using.
These should all be very familiar, since they are really just restatements of the results from Section 2.3 Some Early Derivative Rules.
We should also be comfortable recognizing derivatives of functions that we know, in order to find more functions that we can antidifferentiate.
If we are following the path set out by us already when we learned about derivatives, then at some point we will need to think about how to interpret these antiderivatives. What does \(F(x)\) tell us about \(f(x)\text{?}\)
What does \(f(x)\) tell us about \(f'(x)\text{?}\) We’re probably so used to thinking about what \(f'(x)\) tells us about \(f(x)\) that it might be hard to reverse the interpretation. And that’s ok!
Instead of worrying about uncovering this connection naturally, let’s just take a different approach, by stating the relationship first: Over the next few sections, we’ll discover that antiderivatives of \(f(x)\) are deeply connected to areas carved out by the graph of \(f(x)\text{.}\)

Practice Problems Practice Problems

1.

Our definition of an antiderivative is that \(F(x)\) is an antiderivative of \(f(x)\) if \(F'(x) = f(x)\text{.}\) Why does this not mean that \(F(x)\) is the antiderivative of \(f(x)\text{?}\)

2.

Let’s consider the connection between derivatives, functions, antiderivatives, and indefinite integrals.
(a)
For a first derivative \(f'(x) = 3x^2+\cos(x)+2\text{,}\) find a suitable function \(f(x)\text{.}\)
(b)
For a second derivative \(f''(x) = 3x^2+\cos(x)+2\text{,}\) find a suitable first derivative \(f'(x)\text{.}\)
(c)
For a function \(f(x) = 3x^2 + \cos(x)+2\text{,}\) find a suitable antiderivative function \(F(x)\text{.}\)
(d)
For a function \(f(x) = 3x^2+\cos(x)+2\text{,}\) find the family of antiderivatives.
(e)
Find \(\displaystyle\int \left(3x^2 + \cos(x) +2\right)\;dx\text{.}\)

3.

Explain the difference between a single antiderivative of a function \(g(x)\) and the family of antiderivatives of \(g(x)\text{.}\)

4.

What does a family of antiderivatives look like, graphically?

5.

For each of the following indefinite integrals, find the family of antiderivatives.
(a)
\(\displaystyle\int \left(4x^3 - \frac{1}{x}\right)\;dx\)
(b)
\(\displaystyle\int \left(8x - \sec^2(x) - \frac{1}{x^2}\right)\;dx\)
(c)
\(\displaystyle\int \left( x^5 - 3\sin(x) + 2e^x\right)\;dx\)
(d)
\(\displaystyle\int \left(\sqrt[3]{t} + \frac{4}{t^3}+2\right)\;dt\)
(e)
\(\displaystyle\int \left( \frac{4y}{3} - \frac{3}{4y} \right)\;dy\)
(f)
\(\displaystyle\int \left( 5\sec(x)\tan(x) + 2\sqrt[5]{x^3} \right)\;dx\)
(g)
\(\displaystyle\int \left( \frac{1}{\sqrt{1-x^2}} + \frac{4x^2}{3} \right)\;dx\)
(h)
\(\displaystyle\int \left( \frac{1}{1+x^2} -\cos(x) \right)\;dx\)

6.

For each of the following indefinite integrals, rewrite the integrand (the function inside the integral) before finding a family of antiderivatives.
(a)
\(\displaystyle\int \left( \frac{x^2-1}{x-1} \right)\;dx\)
(b)
\(\displaystyle\int \left( x(x^2+1) \right)\;dx\)
(c)
\(\displaystyle\int \left( \frac{\sec(x) + \tan(x)}{\cos(x)} \right)\;dx\)
(d)
\(\displaystyle\int \left( \frac{xe^x+1}{x} \right)\;dx\)
(e)
\(\displaystyle\int \left( \ln(e^{2x}) \right)\;dx\)
(f)
\(\displaystyle\int \left( \frac{x^2+2}{x^2+1} \right)\;dx\)
Hint.
It might be helpful to write \(x^2+2\) as \((x^2+1)+1\text{.}\) Then, try to split up that fraction.

7.

For each of the functions below, find the antiderivative that satisfies the condition given.
(a)
\(f(x) = x^2 - 4 \sin(x)\) with \(F(0) = 3\)
(b)
\(g(x) = x^3 - 4x^2 + 5x\) with \(G(1) = 0\)
(c)
\(m(x) = \dfrac{9}{x} - 3e^x\) with \(M(1) = 4\)