9.2: Antiderivative
- Page ID
- 1252
\( \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}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)You have spent many lessons learning about how to find the derivative, f′(x), of a function f(x), and the process of differentiation. It should be no surprise then that there would be a name for the function f(x), or family of functions, that can generate f′(x) when differentiated: f(x) and f′(x) are a pair of inverse functions, and f(x) is called an antiderivative of f′(x). Before continuing with the lesson, try listing functions that are antiderivative and derivative pairs?
The Antiderivative
Let’s start off and introduce the idea of the antiderivative of a function.
A function F(x) is called an antiderivative of a function f if F′(x)=f(x) for all x in the domain of f.
How is this definition used?
Consider the function \( f(x)=3x^2 \nonumber\).
Can you think of a function F(x) such that F′(x)=f(x)? You should be able to think of lots of them.
Since we differentiate F(x) to get f(x), we see that \( F(x)=x^3+C \nonumber\) will work for any constant C. Graphically, we can think of the set of all antiderivatives as vertical transformations of the graph of \( F(x)=x^3 \nonumber\). The figure shows two such transformations.
CC BY-NC-SA
With our definition and initial example, we now look to formalize the definition and develop some useful rules for computational purposes, and begin to see some applications.
Introduction to Indefinite Integrals
The process of finding antiderivatives is called antidifferentiation, more commonly referred to as integration. Here is how the integration is indicated and how it works:
F′(x)=f(x) ... Start with the differential equation that represents the definition of the antiderivative
\( \int F′(x)dx=\int f(x)dx \nonumber\) ... Invoke the integration (antidifferentiation) operation using the special symbol ∫.
\( F(x)+C= \int f(x)dx \nonumber\) ... Obtain the antiderivative F(x) and a constant of integration, C.
\( \int f(x)dx=F(x)+C \nonumber\) ... Note that if we differentiate both sides, we get back the original equation:
\[ \frac{d}{dx}[ \int f(x)dx]=f(x)=\frac{d}{dx}[F(x)+C]=F′(x) \nonumber\]
We refer to ∫f(x)dx as “the indefinite integral of f(x) with respect to x”. The function f(x) is called the integrand and the constant C is called the constant of integration. Finally the symbol dx indicates that we are to integrate with respect to x.
Using this notation, we would summarize the last example as follows:
\[ \int 3x^2dx=x^3+C \nonumber\]
Now, consider the function f(x)=cosx
Can you think of a function F(x) such that F′(x)=f(x)?
If you said F(x)=sinx+C you would be correct and here is how this would be written.
f(x)=F′(x) . . . Start with the differential equation that represents the definition of the antiderivative
cosx=F′(x) . . . Substitute for f(x)
\( \int cosx dx= \int F′(x)dx \nonumber\) . . . Invoke the integration (antidifferentiation) operation using the special symbol ∫.
\( \int cosx dx=F(x)+C \nonumber\) . . . Obtain the antiderivative F(x) and a constant of integration, C.
\( \int cosx dx=sinx+C \nonumber\) . . . We know F(x)=sinx because if we differentiate both sides, we get back the original equation.
We have looked at the derivatives of a number of functions through the calculus concepts and can put together a list of functions and their antiderivatives as shown below.
Function f(x) |
Antiderivative \( /int f(x)dx=F(x)+C \nonumber\) |
1 | x+C |
x |
\( \frac{x^2}{2}+C \nonumber\) |
\( x^2 \nonumber\) |
\( \frac{x^3}{3}+C \nonumber\) |
\( x^n,\nonumber\) n≠−1 |
\( \frac{x^{n+1}}{n+1}+C \nonumber\) |
\( \frac{1}{x} \nonumber\) |
\( lnx+C \nonumber\) |
sinx |
−cosx+C |
cosx |
sinx+C |
\( sec^2x \nonumber\) |
tanx+C |
\( csc^2x \nonumber\) |
−cotx+C |
secxtanx |
secx+C |
cscxcotx |
−cscx+C |
\( e^x \nonumber\) |
\( e^x+C \nonumber\) |
\( b^x \nonumber\) b>0 |
\( \frac{b^x}{lnb}+C \nonumber\) |
\( \frac{1}{xlnb} \nonumber\) |
\( log_bx+C \nonumber\) |
As with differentiation, there are several rules for dealing with the sum and difference of integrable functions.
Basic Integration Rules
If f and g are integrable functions, and C is a constant, then:
\[ \int [f(x)+g(x)]dx= \int f(x)dx+ \int g(x)dx \nonumber\],
\[ \int [f(x)−g(x)]dx= \int f(x)dx− \int g(x)dx \nonumber\],
\[ \int [Cf(x)]dx=C \int f(x)dx \nonumber\]
Compute the following indefinite integral.
\[ \int [2x^3+3x^2−1x]dx \nonumber\]
Using our rules we have
\[ \int [2x^3+3x^2−1x]dx=2 \int x^3dx+3 \int \frac{1}{x^2}dx− \int \frac{1}{x}dx \nonumber\]
\[ =2(\frac{x^4}{4})+3(\frac{x^{−1}}{−1})−lnx+C \nonumber\]
\[ =\frac{x^4}{2}−\frac{3}{x}−lnx+C \nonumber\].
Note that sometimes our rules need to be modified slightly due to operations with constants.
Examples
Example 1
Earlier, you were asked to try listing functions that are antiderivative and derivative pairs. By doing so you are presenting the results of differentiation and integration operations. If all you did was to list the function being differentiated as the antiderivative, this is correct. By now you have realized that there is a family of antiderivatives you could have chosen from, each differing by a constant of integration.
Example 2
Compute the following indefinite integral:
\[ \int e^{3x}dx \nonumber\].
We first note that our rule for integrating exponential functions does not work here since ddxe3x=3e3x. However, if we remember to divide the original function by the constant then we get the correct antiderivative and have
\[ \int e^{3x}dx=\frac{e^{3x}}{3}+C \nonumber\].
We can now re-state the rule in a more general form as
\[ \int e^{kx}dx= \frac{e^{kx}}{3}+C \nonumber\].
Review
For #1-6, find an antiderivative of the function
- \( f(x)=1−3x^2−6x \nonumber\)
- \( f(x)=x−x^\{frac{2}{3}} \nonumber\)
- \( f(x)=(2x+1)^{\frac{1}{5}} \nonumber\)
- \( f(x)=cosx−x \nonumber\)
- \( f(x)=x^5−7x^2+2 \nonumber\)
- \(f(x)=e^{−2x}+e^x \nonumber\)
For #7-12, find the indefinite integral
- \( \int (2+\sqrt{5})dx \nonumber\]
- \( \int 2(x−3)^3dx \nonumber\)
- \( \int (x^2⋅x^\frac{1}{3})dx \nonumber\)
- \( \int (x+\frac{1}{x^4\sqrt{x}})dx \nonumber\)
- \( (cosx+2sinx)dx \nonumber\)
- \( \int 2sinxcosxdx \nonumber\)
- Solve the differential equation \( f′(x)=4x^3−3x^2+x−3 \nonumber\).
- Find the antiderivative F(x) of the function \( f(x)=2e^{2x}+x−2 \nonumber\) that satisfies F(0)=5.
- Evaluate the indefinite integral \( \int |x|dx \nonumber\) (Hint: Examine the graph of f(x)=|x|.)
Vocabulary
Term | Definition |
---|---|
antiderivative | An antiderivative is a function that reverses a derivative. Function A is the antiderivative of function B if function B is the derivative of function A. |
antidifferentiation | The process of finding antiderivatives is called antidifferentiation , more commonly referred to as integration. |
constant of integration | The constant of integration is the constant C in the equation ∫f(x)dx=F(x)+C relating the function f(x) and the antiderivative F. |
integrand | An integrand is the argument f(x) in the indefinite integral ∫f(x)dx. |
integration | The process of finding antiderivatives is sometimes called antidifferentiation, but more commonly referred to as integration. |
Additional Resources
PLIX: Play, Learn, Interact, eXplore - Antiderivative: Piecing it Together
Practice: Antiderivative
Real World: Rocky Mountain High