Learning Objectives
- Find the general antiderivative of a given function.
- Explain the terms and notation used for an indefinite integral.
- State the power rule for integrals.
- Use antidifferentiation to solve simple initial-value problems.
At this point, we have seen how to calculate derivatives of many functions and have been introduced to a variety of their applications. We now ask a question that turns this process around: Given a function [latex]f,[/latex] how do we find a function with the derivative [latex]f[/latex] and why would we be interested in such a function?
We answer the first part of this question by defining antiderivatives. The antiderivative of a function [latex]f[/latex] is a function with a derivative [latex]f.[/latex] Why are we interested in antiderivatives? The need for antiderivatives arises in many situations, and we look at various examples throughout the remainder of the text. Here we examine one specific example that involves rectilinear motion. In our examination in Derivatives of rectilinear motion, we showed that given a position function [latex]s(t)[/latex] of an object, then its velocity function [latex]v(t)[/latex] is the derivative of [latex]s(t)[/latex]—that is, [latex]v(t)={s}^{\prime }(t).[/latex] Furthermore, the acceleration [latex]a(t)[/latex] is the derivative of the velocity [latex]v(t)[/latex]—that is, [latex]a(t)={v}^{\prime }(t)=s\text{″}(t).[/latex] Now suppose we are given an acceleration function [latex]a,[/latex] but not the velocity function [latex]v[/latex] or the position function [latex]s.[/latex] Since [latex]a(t)={v}^{\prime }(t),[/latex] determining the velocity function requires us to find an antiderivative of the acceleration function. Then, since [latex]v(t)={s}^{\prime }(t),[/latex] determining the position function requires us to find an antiderivative of the velocity function. Rectilinear motion is just one case in which the need for antiderivatives arises. We will see many more examples throughout the remainder of the text. For now, let’s look at the terminology and notation for antiderivatives, and determine the antiderivatives for several types of functions. We examine various techniques for finding antiderivatives of more complicated functions in the second volume of this text (Introduction to Techniques of Integration).
The Reverse of Differentiation
At this point, we know how to find derivatives of various functions. We now ask the opposite question. Given a function [latex]f,[/latex] how can we find a function with derivative [latex]f?[/latex] If we can find a function [latex]F[/latex] derivative [latex]f,[/latex] we call [latex]F[/latex] an antiderivative of [latex]f.[/latex]
Definition
A function [latex]F[/latex] is an antiderivative of the function [latex]f[/latex] if
for all [latex]x[/latex] in the domain of [latex]f.[/latex]
Consider the function [latex]f(x)=2x.[/latex] Knowing the power rule of differentiation, we conclude that [latex]F(x)={x}^{2}[/latex] is an antiderivative of [latex]f[/latex] since [latex]{F}^{\prime }(x)=2x.[/latex] Are there any other antiderivatives of [latex]f?[/latex] Yes; since the derivative of any constant [latex]C[/latex] is zero, [latex]{x}^{2}+C[/latex] is also an antiderivative of [latex]2x.[/latex] Therefore, [latex]{x}^{2}+5[/latex] and [latex]{x}^{2}-\sqrt{2}[/latex] are also antiderivatives. Are there any others that are not of the form [latex]{x}^{2}+C[/latex] for some constant [latex]C?[/latex] The answer is no. From Corollary 2 of the Mean Value Theorem, we know that if [latex]F[/latex] and [latex]G[/latex] are differentiable functions such that [latex]{F}^{\prime }(x)={G}^{\prime }(x),[/latex] then [latex]F(x)-G(x)=C[/latex] for some constant [latex]C.[/latex] This fact leads to the following important theorem.
General Form of an Antiderivative
Let [latex]F[/latex] be an antiderivative of [latex]f[/latex] over an interval [latex]I.[/latex] Then,
- for each constant [latex]C,[/latex] the function [latex]F(x)+C[/latex] is also an antiderivative of [latex]f[/latex] over [latex]I;[/latex]
- if [latex]G[/latex] is an antiderivative of [latex]f[/latex] over [latex]I,[/latex] there is a constant [latex]C[/latex] for which [latex]G(x)=F(x)+C[/latex] over [latex]I.[/latex]
In other words, the most general form of the antiderivative of [latex]f[/latex] over [latex]I[/latex] is [latex]F(x)+C.[/latex]
We use this fact and our knowledge of derivatives to find all the antiderivatives for several functions.
Finding Antiderivatives
For each of the following functions, find all antiderivatives.
- [latex]f(x)=3{x}^{2}[/latex]
- [latex]f(x)=\frac{1}{x}[/latex]
- [latex]f(x)= \cos x[/latex]
- [latex]f(x)={e}^{x}[/latex]
Find all antiderivatives of [latex]f(x)= \sin x.[/latex]
Indefinite Integrals
We now look at the formal notation used to represent antiderivatives and examine some of their properties. These properties allow us to find antiderivatives of more complicated functions. Given a function [latex]f,[/latex] we use the notation [latex]{f}^{\prime }(x)[/latex] or [latex]\frac{df}{dx}[/latex] to denote the derivative of [latex]f.[/latex] Here we introduce notation for antiderivatives. If [latex]F[/latex] is an antiderivative of [latex]f,[/latex] we say that [latex]F(x)+C[/latex] is the most general antiderivative of [latex]f[/latex] and write
The symbol [latex]\int [/latex] is called an integral sign, and [latex]\int f(x)dx[/latex] is called the indefinite integral of [latex]f.[/latex]
Definition
Given a function [latex]f,[/latex] the indefinite integral of [latex]f,[/latex] denoted
is the most general antiderivative of [latex]f.[/latex] If [latex]F[/latex] is an antiderivative of [latex]f,[/latex] then
The expression [latex]f(x)[/latex] is called the integrand and the variable [latex]x[/latex] is the variable of integration.
Given the terminology introduced in this definition, the act of finding the antiderivatives of a function [latex]f[/latex] is usually referred to as integrating [latex]f.[/latex]
For a function [latex]f[/latex] and an antiderivative [latex]F,[/latex] the functions [latex]F(x)+C,[/latex] where [latex]C[/latex] is any real number, is often referred to as the family of antiderivatives of [latex]f.[/latex] For example, since [latex]{x}^{2}[/latex] is an antiderivative of [latex]2x[/latex] and any antiderivative of [latex]2x[/latex] is of the form [latex]{x}^{2}+C,[/latex] we write
The collection of all functions of the form [latex]{x}^{2}+C,[/latex] where [latex]C[/latex] is any real number, is known as the family of antiderivatives of [latex]2x.[/latex] Figure 1 shows a graph of this family of antiderivatives.
For some functions, evaluating indefinite integrals follows directly from properties of derivatives. For example, for [latex]n\ne \text{−}1,[/latex]
which comes directly from
This fact is known as the power rule for integrals.
Power Rule for Integrals
For [latex]n\ne \text{−}1,[/latex]
Evaluating indefinite integrals for some other functions is also a straightforward calculation. The following table lists the indefinite integrals for several common functions. A more complete list appears in Appendix B.
Differentiation Formula | Indefinite Integral |
---|---|
[latex]\frac{d}{dx}(k)=0[/latex] | [latex]\int kdx=\int k{x}^{0}dx=kx+C[/latex] |
[latex]\frac{d}{dx}({x}^{n})=n{x}^{n-1}[/latex] | [latex]\int {x}^{n}dn=\frac{{x}^{n+1}}{n+1}+C[/latex] for [latex]n\ne \text{−}1[/latex] |
[latex]\frac{d}{dx}(\text{ln}|x|)=\frac{1}{x}[/latex] | [latex]\int \frac{1}{x}dx=\text{ln}|x|+C[/latex] |
[latex]\frac{d}{dx}({e}^{x})={e}^{x}[/latex] | [latex]\int {e}^{x}dx={e}^{x}+C[/latex] |
[latex]\frac{d}{dx}( \sin x)= \cos x[/latex] | [latex]\int \cos xdx= \sin x+C[/latex] |
[latex]\frac{d}{dx}( \cos x)=\text{−} \sin x[/latex] | [latex]\int \sin xdx=\text{−} \cos x+C[/latex] |
[latex]\frac{d}{dx}( \tan x)={ \sec }^{2}x[/latex] | [latex]\int { \sec }^{2}xdx= \tan x+C[/latex] |
[latex]\frac{d}{dx}( \csc x)=\text{−} \csc x \cot x[/latex] | [latex]\int \csc x \cot xdx=\text{−} \csc x+C[/latex] |
[latex]\frac{d}{dx}( \sec x)= \sec x \tan x[/latex] | [latex]\int \sec x \tan xdx= \sec x+C[/latex] |
[latex]\frac{d}{dx}( \cot x)=\text{−}{ \csc }^{2}x[/latex] | [latex]\int { \csc }^{2}xdx=\text{−} \cot x+C[/latex] |
[latex]\frac{d}{dx}({ \sin }^{-1}x)=\frac{1}{\sqrt{1-{x}^{2}}}[/latex] | [latex]\int \frac{1}{\sqrt{1-{x}^{2}}}={ \sin }^{-1}x+C[/latex] |
[latex]\frac{d}{dx}({ \tan }^{-1}x)=\frac{1}{1+{x}^{2}}[/latex] | [latex]\int \frac{1}{1+{x}^{2}}dx={ \tan }^{-1}x+C[/latex] |
[latex]\frac{d}{dx}({ \sec }^{-1}|x|)=\frac{1}{x\sqrt{{x}^{2}-1}}[/latex] | [latex]\int \frac{1}{x\sqrt{{x}^{2}-1}}dx={ \sec }^{-1}|x|+C[/latex] |
From the definition of indefinite integral of [latex]f,[/latex] we know
if and only if [latex]F[/latex] is an antiderivative of [latex]f.[/latex] Therefore, when claiming that
it is important to check whether this statement is correct by verifying that [latex]{F}^{\prime }(x)=f(x).[/latex]
Verifying an Indefinite Integral
Each of the following statements is of the form [latex]\int f(x)dx=F(x)+C.[/latex] Verify that each statement is correct by showing that [latex]{F}^{\prime }(x)=f(x).[/latex]
- [latex]\int (x+{e}^{x})dx=\frac{{x}^{2}}{2}+{e}^{x}+C[/latex]
- [latex]\int x{e}^{x}dx=x{e}^{x}-{e}^{x}+C[/latex]
Verify that [latex]\int x \cos xdx=x \sin x+ \cos x+C.[/latex]
Hint
Calculate [latex]\frac{d}{dx}(x \sin x+ \cos x+C).[/latex]
In (Figure), we listed the indefinite integrals for many elementary functions. Let’s now turn our attention to evaluating indefinite integrals for more complicated functions. For example, consider finding an antiderivative of a sum [latex]f+g.[/latex] In (Figure)a. we showed that an antiderivative of the sum [latex]x+{e}^{x}[/latex] is given by the sum [latex](\frac{{x}^{2}}{2})+{e}^{x}[/latex]—that is, an antiderivative of a sum is given by a sum of antiderivatives. This result was not specific to this example. In general, if [latex]F[/latex] and [latex]G[/latex] are antiderivatives of any functions [latex]f[/latex] and [latex]g,[/latex] respectively, then
Therefore, [latex]F(x)+G(x)[/latex] is an antiderivative of [latex]f(x)+g(x)[/latex] and we have
Similarly,
In addition, consider the task of finding an antiderivative of [latex]kf(x),[/latex] where [latex]k[/latex] is any real number. Since
for any real number [latex]k,[/latex] we conclude that
These properties are summarized next.
Properties of Indefinite Integrals
Let [latex]F[/latex] and [latex]G[/latex] be antiderivatives of [latex]f[/latex] and [latex]g,[/latex] respectively, and let [latex]k[/latex] be any real number.
Sums and Differences
Constant Multiples
From this theorem, we can evaluate any integral involving a sum, difference, or constant multiple of functions with antiderivatives that are known. Evaluating integrals involving products, quotients, or compositions is more complicated (see (Figure)b. for an example involving an antiderivative of a product.) We look at and address integrals involving these more complicated functions in Introduction to Integration. In the next example, we examine how to use this theorem to calculate the indefinite integrals of several functions.
Evaluating Indefinite Integrals
Evaluate each of the following indefinite integrals:
- [latex]\int (5{x}^{3}-7{x}^{2}+3x+4)dx[/latex]
- [latex]\int \frac{{x}^{2}+4\sqrt[3]{x}}{x}dx[/latex]
- [latex]\int \frac{4}{1+{x}^{2}}dx[/latex]
- [latex]\int \tan x \cos xdx[/latex]
Evaluate [latex]\int (4{x}^{3}-5{x}^{2}+x-7)dx.[/latex]
Hint
Integrate each term in the integrand separately, making use of the power rule.
Initial-Value Problems
We look at techniques for integrating a large variety of functions involving products, quotients, and compositions later in the text. Here we turn to one common use for antiderivatives that arises often in many applications: solving differential equations.
A differential equation is an equation that relates an unknown function and one or more of its derivatives. The equation
is a simple example of a differential equation. Solving this equation means finding a function [latex]y[/latex] with a derivative [latex]f.[/latex] Therefore, the solutions of (Figure) are the antiderivatives of [latex]f.[/latex] If [latex]F[/latex] is one antiderivative of [latex]f,[/latex] every function of the form [latex]y=F(x)+C[/latex] is a solution of that differential equation. For example, the solutions of
are given by
Sometimes we are interested in determining whether a particular solution curve passes through a certain point [latex]({x}_{0},{y}_{0})[/latex]—that is, [latex]y({x}_{0})={y}_{0}.[/latex] The problem of finding a function [latex]y[/latex] that satisfies a differential equation
with the additional condition
is an example of an initial-value problem. The condition [latex]y({x}_{0})={y}_{0}[/latex] is known as an initial condition. For example, looking for a function [latex]y[/latex] that satisfies the differential equation
and the initial condition
is an example of an initial-value problem. Since the solutions of the differential equation are [latex]y=2{x}^{3}+C,[/latex] to find a function [latex]y[/latex] that also satisfies the initial condition, we need to find [latex]C[/latex] such that [latex]y(1)=2{(1)}^{3}+C=5.[/latex] From this equation, we see that [latex]C=3,[/latex] and we conclude that [latex]y=2{x}^{3}+3[/latex] is the solution of this initial-value problem as shown in the following graph.
Solving an Initial-Value Problem
Solve the initial-value problem
Solve the initial value problem [latex]\frac{dy}{dx}=3{x}^{-2},y(1)=2.[/latex]
Hint
Find all antiderivatives of [latex]f(x)=3{x}^{-2}.[/latex]
Initial-value problems arise in many applications. Next we consider a problem in which a driver applies the brakes in a car. We are interested in how long it takes for the car to stop. Recall that the velocity function [latex]v(t)[/latex] is the derivative of a position function [latex]s(t),[/latex] and the acceleration [latex]a(t)[/latex] is the derivative of the velocity function. In earlier examples in the text, we could calculate the velocity from the position and then compute the acceleration from the velocity. In the next example we work the other way around. Given an acceleration function, we calculate the velocity function. We then use the velocity function to determine the position function.
Decelerating Car
A car is traveling at the rate of 88 ft/sec [latex](60[/latex] mph) when the brakes are applied. The car begins decelerating at a constant rate of 15 ft/sec2.
- How many seconds elapse before the car stops?
- How far does the car travel during that time?
Suppose the car is traveling at the rate of 44 ft/sec. How long does it take for the car to stop? How far will the car travel?
Hint
[latex]v(t)=-15t+44.[/latex]
Key Concepts
- If [latex]F[/latex] is an antiderivative of [latex]f,[/latex] then every antiderivative of [latex]f[/latex] is of the form [latex]F(x)+C[/latex] for some constant [latex]C.[/latex]
- Solving the initial-value problem
[latex]\frac{dy}{dx}=f(x),y({x}_{0})={y}_{0}[/latex]
requires us first to find the set of antiderivatives of [latex]f[/latex] and then to look for the particular antiderivative that also satisfies the initial condition.
For the following exercises, show that [latex]F(x)[/latex] are antiderivatives of [latex]f(x).[/latex]
[latex]F(x)=5{x}^{3}+2{x}^{2}+3x+1,f(x)=15{x}^{2}+4x+3[/latex]
[latex]F(x)={x}^{2}+4x+1,f(x)=2x+4[/latex]
[latex]F(x)={x}^{2}{e}^{x},f(x)={e}^{x}({x}^{2}+2x)[/latex]
[latex]F(x)= \cos x,f(x)=\text{−} \sin x[/latex]
[latex]F(x)={e}^{x},f(x)={e}^{x}[/latex]
For the following exercises, find the antiderivative of the function.
[latex]f(x)=\frac{1}{{x}^{2}}+x[/latex]
[latex]f(x)={e}^{x}-3{x}^{2}+ \sin x[/latex]
[latex]f(x)={e}^{x}+3x-{x}^{2}[/latex]
[latex]f(x)=x-1+4 \sin (2x)[/latex]
For the following exercises, find the antiderivative [latex]F(x)[/latex] of each function [latex]f(x).[/latex]
[latex]f(x)=5{x}^{4}+4{x}^{5}[/latex]
[latex]f(x)=x+12{x}^{2}[/latex]
[latex]f(x)=\frac{1}{\sqrt{x}}[/latex]
[latex]f(x)={(\sqrt{x})}^{3}[/latex]
[latex]f(x)={x}^{1\text{/}3}+{(2x)}^{1\text{/}3}[/latex]
[latex]f(x)=\frac{{x}^{1\text{/}3}}{{x}^{2\text{/}3}}[/latex]
[latex]f(x)=2 \sin (x)+ \sin (2x)[/latex]
[latex]f(x)={ \sec }^{2}(x)+1[/latex]
[latex]f(x)= \sin x \cos x[/latex]
[latex]f(x)={ \sin }^{2}(x) \cos (x)[/latex]
[latex]f(x)=0[/latex]
[latex]f(x)=\frac{1}{2}{ \csc }^{2}(x)+\frac{1}{{x}^{2}}[/latex]
[latex]f(x)= \csc x \cot x+3x[/latex]
[latex]f(x)=4 \csc x \cot x- \sec x \tan x[/latex]
[latex]f(x)=8 \sec x( \sec x-4 \tan x)[/latex]
[latex]f(x)=\frac{1}{2}{e}^{-4x}+ \sin x[/latex]
For the following exercises, evaluate the integral.
[latex]\int (-1)dx[/latex]
[latex]\int \sin xdx[/latex]
[latex]\int (4x+\sqrt{x})dx[/latex]
[latex]\int \frac{3{x}^{2}+2}{{x}^{2}}dx[/latex]
[latex]\int ( \sec x \tan x+4x)dx[/latex]
[latex]\int (4\sqrt{x}+\sqrt[4]{x})dx[/latex]
[latex]\int ({x}^{-1\text{/}3}-{x}^{2\text{/}3})dx[/latex]
[latex]\int \frac{14{x}^{3}+2x+1}{{x}^{3}}dx[/latex]
[latex]\int ({e}^{x}+{e}^{\text{−}x})dx[/latex]
For the following exercises, solve the initial value problem.
[latex]{f}^{\prime }(x)={x}^{-3},f(1)=1[/latex]
[latex]{f}^{\prime }(x)=\sqrt{x}+{x}^{2},f(0)=2[/latex]
[latex]{f}^{\prime }(x)= \cos x+{ \sec }^{2}(x),f(\frac{\pi }{4})=2+\frac{\sqrt{2}}{2}[/latex]
[latex]{f}^{\prime }(x)={x}^{3}-8{x}^{2}+16x+1,f(0)=0[/latex]
[latex]{f}^{\prime }(x)=\frac{2}{{x}^{2}}-\frac{{x}^{2}}{2},f(1)=0[/latex]
For the following exercises, find two possible functions [latex]f[/latex] given the second- or third-order derivatives.
[latex]f\text{″}(x)={x}^{2}+2[/latex]
[latex]f\text{″}(x)={e}^{\text{−}x}[/latex]
[latex]f\text{″}(x)=1+x[/latex]
[latex]f\text{‴}(x)= \cos x[/latex]
Answers may vary; one possible answer is [latex]f(x)=\text{−} \sin x[/latex]
[latex]f\text{‴}(x)=8{e}^{-2x}- \sin x[/latex]
A car is being driven at a rate of 40 mph when the brakes are applied. The car decelerates at a constant rate of 10 ft/sec2. How long before the car stops?
In the preceding problem, calculate how far the car travels in the time it takes to stop.
You are merging onto the freeway, accelerating at a constant rate of 12 ft/sec2. How long does it take you to reach merging speed at 60 mph?
Based on the previous problem, how far does the car travel to reach merging speed?
A car company wants to ensure its newest model can stop in 8 sec when traveling at 75 mph. If we assume constant deceleration, find the value of deceleration that accomplishes this.
A car company wants to ensure its newest model can stop in less than 450 ft when traveling at 60 mph. If we assume constant deceleration, find the value of deceleration that accomplishes this.
For the following exercises, find the antiderivative of the function, assuming [latex]F(0)=0.[/latex]
[T][latex]f(x)={x}^{2}+2[/latex]
[T][latex]f(x)=4x-\sqrt{x}[/latex]
[T][latex]f(x)= \sin x+2x[/latex]
[T][latex]f(x)={e}^{x}[/latex]
[T][latex]f(x)=\frac{1}{{(x+1)}^{2}}[/latex]
[T][latex]f(x)={e}^{-2x}+3{x}^{2}[/latex]
For the following exercises, determine whether the statement is true or false. Either prove it is true or find a counterexample if it is false.
If [latex]f(x)[/latex] is the antiderivative of [latex]v(x),[/latex] then [latex]2f(x)[/latex] is the antiderivative of [latex]2v(x).[/latex]
If [latex]f(x)[/latex] is the antiderivative of [latex]v(x),[/latex] then [latex]f(2x)[/latex] is the antiderivative of [latex]v(2x).[/latex]
If [latex]f(x)[/latex] is the antiderivative of [latex]v(x),[/latex] then [latex]f(x)+1[/latex] is the antiderivative of [latex]v(x)+1.[/latex]
If [latex]f(x)[/latex] is the antiderivative of [latex]v(x),[/latex] then [latex]{(f(x))}^{2}[/latex] is the antiderivative of [latex]{(v(x))}^{2}.[/latex]
Glossary
- antiderivative
- a function [latex]F[/latex] such that [latex]{F}^{\prime }(x)=f(x)[/latex] for all [latex]x[/latex] in the domain of [latex]f[/latex] is an antiderivative of [latex]f[/latex]
- indefinite integral
- the most general antiderivative of [latex]f(x)[/latex] is the indefinite integral of [latex]f;[/latex] we use the notation [latex]\int f(x)dx[/latex] to denote the indefinite integral of [latex]f[/latex]
- initial value problem
- a problem that requires finding a function [latex]y[/latex] that satisfies the differential equation [latex]\frac{dy}{dx}=f(x)[/latex] together with the initial condition [latex]y({x}_{0})={y}_{0}[/latex]
Hint
What function has a derivative of [latex] \sin x?[/latex]