Chapter 16: Indefinite Integrals

By an antiderivative of a function f(x) we mean a function F(x) whose derivative is f(x). The reason for the term is that we're going in the opposite direction from taking the derivative. For example, an antiderivative of the function [Maple Math] is F(x) = [Maple Math] , since the function F(x) = [Maple Math] has derivative [Maple Math] . But note that 1/3 [Maple Math] is also an antiderivative of [Maple Math] , and in fact so is 1/3 [Maple Math] for any constant C. This is because a constant has derivative zero, and so we can add it to our function F(x) without affecting the derivative [Maple Math] .


Notice that a constant C is the
only thing that can be added to F(x) without affecting the derivative. If it were possible to add some other function G(x), then we would have to have [Maple Math] , i.e., [Maple Math] . This implies that G(x) must be a constant on any interval in its domain. We won't actually prove this hear but the idea is simple. Any function that is not constant must either increase or decrease for certain values of x, and at such x it has a nonzero derivative. To put this another way, the only function G(x) whose graph is always pointing horizontally is a constant function.

There is a subtle point involved here . If you consider any interval contained in the domain of the function f(x), then [Maple Math] exists and is zero on such an interval, so we can argue that G(x) is a constant. However, if the domain of f(x) is split into disjoint intervals, then the function G(x) can take on distinct constant values on them. Thus it becomes a step function rather than a constant. Usually, we have a single interval in mind and this point is not stressed at all.


Thus, if we find one antiderivative F(x) for f(x), then we can write the most general antiderivative as F(x)+C, where C is an arbitrary constant. (As explained above, this is valid on some interval in the domain of f(x).)

The notation for the
general antiderivative of f(x) is [Maple Math] where the integral sign says "take the antiderivative"` and the "dx" indicates what the variable is. Thus, we write

[Maple Math] = [Maple Math] [Maple Math] .



The expression
[Maple Math] is said to be an indefinite integral of the function f(x). The term "indefinite" is used because of the constant C that always appears in the answer to an antiderivative problem. C is called the " constant of integration ". The function f(x) that is being integrated is called the " integrand ."


Another way to state an antiderivative problem is to say that we want to find a function y = F(x) that satisfies the equation
[Maple Math] = f(x). Such an equation [Maple Math] , in which y stands for an unknown function , is called a differential equation . In general, a differential equation is an equation for an unknown function in which the derivative (and maybe the second or higher derivatives) occur). Differential equations will be treated at greater length in higher courses.


The above example
[Maple Math] suggests how we can take the antiderivative of any power function [Maple Math] . Just increase the power by 1, and divide by n+1 in order to cancel the factor of n+1 that arises when taking the derivative of [Maple Math] . In other words,


[Maple Math] = [Maple Math] [Maple Math] , for any [Maple Math] except [Maple Math]


(the formula makes no sense if n = -1; the antiderivative of the function
[Maple Math] is a special case, and it will be dealt with in the exercises below.


This formula can be regarded as the reverse of the
[Maple Math] rule for taking derivatives. As in that rule, [Maple Math] is allowed to be negative or fractional.


The same formula can be used with other names for the x-variable, for
example,

[Maple Math] [Maple Math] ; [Maple Math] [Maple Math] ; [Maple Math] .

Antiderivatives, like derivatives, are linear . This means that if we know the antiderivatives of a bunch of functions, then we can compute the antiderivative of any linear combination of those functions. For example, using the above formula for [Maple Math] , we can find the antiderivative of any polynomial.



Example 1.

(a) [Maple Math] = [Maple Math] [Maple Math] [Maple Math] + 3* [Maple Math] [Maple Math] + [Maple Math] = [Maple Math] [Maple Math] [Maple Math] .


(b)
[Maple Math] = [Maple Math] = [Maple Math] [Maple Math] - [Maple Math] [Maple Math] = [Maple Math] [Maple Math] .

In practical problems, often the time t is playing the role of the x-variable, and the function f(t) to be integrated is the rate of change of something. Just as the derivative procedure takes us from the distance function s(t) to the velocity function v(t) and from the velocity to the acceleration a(t), the antiderivative procedure takes us from a(t) to v(t) and then to s(t). Below we will give examples of this.



Being able to find antiderivatives is at least as important as being able to find derivatives, for the following reason. Very often in the real world we do not start out knowing a formula for something, but rather we know some information about how it is changing, i.e., about its derivative. For example, in physics we have Newton's law of motion that says that
Force = Mass times Acceleration. Usually the basic thing we know about is the forces. This immediately gives us the acceleration function a(t). From that we want to "go backwards" (i.e., find antiderivatives) to get the velocity function v(t), and then finally what we are really interested in, which is the location s(t) of the object. A basic example of this is a falling body problem.

From Acceleration to Velocity to Distance; Falling Bodies

Earlier in the course, we encountered the falling body formula [Maple Math] for the height of an object above the ground after t seconds. However, we did not give any explanation of how that formula arises --- in fact, at first the whole formula (especially the "1/2" at the beginning) looks "pulled out of a hat." Now we are ready to derive the formula starting from a basic principle of physics: near the surface of the earth gravity causes a constant force of acceleration . That "gravitational acceleration" g is 9.806194 m/ [Maple Math] (we'll use simply 9.8 m/ [Maple Math] or 32 ft/ [Maple Math] ). More precisely, the gravitational acceleration is -g if we take upward to be the positive direction; it is g if downward is taken to be the positive direction. We shall usually take upward to be the positive direction. If we are near the surface of some other planet, the same principle applies, but with a different value of g.

The basic principle can be restated as follows: if no force other than gravity is affecting the object's motion (in particular, we neglect air resistance), then the acceleration function a(t) is the constant -g: a(t) = -g. Our object is to derive the formula for the height function s(t). We do this in two steps:

Finding v(t) . Since dv/dt = a(t), it follows that v(t) is an antiderivative of a(t) = -g. But the antiderivative of the constant -g is [Maple Math] . Thus, [Maple Math] = [Maple Math] . How do we find C? Here we have to suppose that we know "initial information," i.e. the value of [Maple Math] when [Maple Math] , which we call [Maple Math] . (Often, but not always, the initial time [Maple Math] will be 0.) In order for [Maple Math] to equal [Maple Math] , we must have [Maple Math] , i.e., our constant of integration is [Maple Math] . In general, ( it you solve for the constant of integration using initial information). Thus, [Maple Math] =
[Maple Math] . (In this simple situation, we could have obtained the same result by common sense: if something starts at value [Maple Math] and decreases at constant rate g, then after [Maple Math] seconds its value is [Maple Math] . If the
initial time is t = 0, as is often the case, then
[Maple Math] .

Finding s(t) . Let us suppose that [Maple Math] , i.e., the starting time for the falling body is taken to be t = 0. Since ds/dt = v(t), it follows that s(t) is an antiderivative of [Maple Math] , i.e.,

[Maple Math] = [Maple Math] = - [Maple Math] .

(We used [Maple Math] rather than C for the constant of integration because it has no relation to the C in the last paragraph.) To find the constant of integration [Maple Math] we must again have initial information. Suppose we know the height at time 0: [Maple Math] . Substituting this value for s(t) when t = 0 gives [Maple Math] = [Maple Math] [Maple Math] , i.e.,


[Maple Math] . We obtain our final formula: [Maple Math] .

This completes the derivation of the falling body formula.

Having the derivative relations ds/dt = v(t) and dv/dt = a(t), together with a formula for a(t), we can work back to find s(t), provided we also have two Pieces of initial information that allow us to find the two constants of integration that arise. We assumed that the two known values are the initial velocity and the initial height.

Example 2: Suppose that, starting at t = 1, your acceleration is given by the formula a(t) = 1/ [Maple Math] . Your velocity is 2 units/min at that instant, and your location is 0. Find the distance function s(t).

The first step is to find [Maple Math] = [Maple Math] = [Maple Math] . The initial information is that [Maple Math] . Hence, substituting t = 1 gives: 2 = v(1) = -1/2+C, and so C = 2.5. Thus [Maple Math] . The second step is to find

s(t) = [Maple Math] = [Maple Math] = [Maple Math] .

Now we use the initial information that s(1) = 0: 0 = s(1) = [Maple Math] . Solving for [Maple Math] , we obtain [Maple Math] . Thus, [Maple Math] .

We can check this answer by verifying three things: (i) it has the right second derivative [Maple Math] ; (ii) its value when t = 1 is 0; and (iii) the value of its derivative when t = 1 is 2. These computations are easy to do, and they give us the assurance that we did not make any careless errors in the last paragraph.

Antiderivatives of sin and cos

From the derivative formulas d/dx sin x = cos x and d/dx cos x = - sin x we obtain the corresponding antiderivative formulas:


[Maple Math] , [Maple Math] .

Notice that the derivative of sin is cos, but its antiderivative is not cos but rather it is minus cos.

Substitution

In practical applications we rarely encounter the pure sine or cosine function. As we have seen, it is useful to be able to work with the more general sinusoidal function


[Maple Math] ,

where A, B, C, and D stand for various constants, called the amplitude , period , phase shift , and vertical shift , respectively. In order to find antiderivatives of functions of this type and many other functions, we describe a basic method for finding antiderivatives called the method of substitution .

In the method of substitution we choose a new variable, which will usually be denoted [Maple Math] , and set [Maple Math] equal to an "inside function" (as in the chain rule), so that the function we are integrating takes on a simpler appearance. Then EVERYTHING must be converted to the new variable u. Here "everything*"` includes the "dx" (or "dt"). We convert dx to du by taking the derivative du/dx. We illustrate by some examples. In each case the reason for having to use du/dx to convert dx to du will become apparent when we check our answer. Recall that the answer to an antiderivative problem can always be checked by taking the derivative and verifying that we get our original function back again. It is also strongly recommended that you do this whenever possible . (This is why one seldom sees multiple choice antiderivative questions on standardized exams. Clever students simply take the derivative of each of the possible answers.)


Example 3: If a and b are constants, find formulas for:

a . [Maple Math] for any n other than -1,

b . [Maple Math]

c. [Maple Math]

(a) We substitute [Maple Math] . We also find du/dx, which in this case is simply the constant a. We then treat du and dx as if they were algebraic quantities, writing [Maple Math] / [Maple Math] = [Maple Math] and [Maple Math] , and so [Maple Math] = 1/ [Maple Math] [Maple Math] . Thus, in our integral we change [Maple Math] to [Maple Math] and we change [Maple Math] to 1/ [Maple Math] , thereby obtaining an integral purely in terms of the new variable u:


[Maple Math] = [Maple Math] = [Maple Math] [Maple Math] = [Maple Math] [Maple Math]


(Your final answer should be written in terms of x, not u.)

Explanation: This might be a good place to explain what the substitution means and give some idea why it works. To begin with, we have an expression [Maple Math] inside the integral sign and when we get through with the substitution we convert this to an expression [Maple Math] . Why should two such expressions be the same?

The idea is to keep in mind that what we are looking for is a function whose derivative with respect to x is f(x), "solving" [Maple Math] or "integrating f with respect to x" just means finding a function with f(x) as its derivative. Now, if as above, we can find write [Maple Math] and we can find G(w) such that [Maple Math] then by the chain rule we have [Maple Math] = [Maple Math] . That is, the function [Maple Math] ) is the antiderivative we are looking for .

For our purposes the use of the symbols "du", "dx" is simply a powerful nmemonic for helping us systematically write f(x) in the desired form.

Although we don't go into details here of exactly how it is done if [Maple Math] is a function of [Maple Math] there is a way to define symbols [Maple Math] and [Maple Math] so that their ratio [Maple Math] / [Maple Math] is equal to [Maple Math] . There are "differentials" d(sin(x)), [Maple Math] , ... etc. and the fact that [Maple Math] / [Maple Math] = [Maple Math] makes calculations like [Maple Math] and [Maple Math] work as expected and if two functions have the same differential then they differ by a constant.

Thought of this way, the problem of finding [Maple Math] , a function whose derivative is f(x), is exactly the same as finding a function F(x) such that [Maple Math] . The substitutions and calculations with "du", "dx" etc. are calculations using the algebra or "calculus" of differentials in which one finds that that the differential [Maple Math] x is equal to another of the form [Maple Math]

If we can then find a function [Maple Math] which is an antiderivative for g(u) (i.e. if we can solve [Maple Math] . Then we can see that [Maple Math] is an antiderivative for [Maple Math] , since [Maple Math] / [Maple Math] [Maple Math] = [Maple Math] = [Maple Math] [Maple Math] / [Maple Math] = [Maple Math] , so [Maple Math] is an antiderivative of [Maple Math] as needed.

The method demonstrated above (when it works) systematically helps us find the alternative antiderivative problem [Maple Math] and the "substituting" back for "u" in terms of "x" at the end of the procedure is simply finding the G(u(x)) answer.


The point is that although we don't need to know all of the details one should keep in mind that the symbol
[Maple Math] in [Maple Math] , is more than just a whimsical notation!

It is instructive to check this answer by taking its derivative. We find ourselves using the chain rule --- as always happens when checking an antiderivative that was found by a u-substitution:



[Maple Math] [Maple Math] [Maple Math] = [Maple Math] .

Thus, the 1/ [Maple Math] term that we obtained when converting [Maple Math] to [Maple Math] is needed to cancel the factor of a = [Maple Math] / [Maple Math] that comes out from the chain rule.


This also explains the importance of the
[Maple Math] (or [Maple Math] or [Maple Math] , depending on what the variable of integration is) inside the integral. Keeping track of that part of the integral in the course of a u-substitution will give you the right antiderivative. Do not get into the careless habit of omitting the [Maple Math] (or [Maple Math] or [Maple Math] ) in an integral.

(b) Again we take [Maple Math] , so that dx = [Maple Math] du, and our integral becomes



[Maple Math] = 1/a (- cos u)+C = - [Maple Math] [Maple Math] .


You should check this formula by taking the derivative of -
[Maple Math]

(c) This works just like part (b). The result is [Maple Math] =
[Maple Math] [Maple Math] .


Example 4: Find:

a . [Maple Math]

b . [Maple Math] ;

c . [Maple Math] .



(a) Here we take u equal to the expression inside the cosine, namely,
[Maple Math] . Then [Maple Math] / [Maple Math] = [Maple Math] , and so [Maple Math] . Fortunately, the integral contains x as well as dx, and so, bringing the x and dx together, we can replace the product [Maple Math] by [Maple Math] [Maple Math] :


[Maple Math] = [Maple Math]
=
[Maple Math] sin u +C = [Maple Math] [Maple Math] .

Notice how, when we check by taking
[Maple Math] ( [Maple Math] [Maple Math] ), we get [Maple Math] because of the chain rule.


(b) Here we can greatly simplify the denominator if we take
[Maple Math] . Then [Maple Math] / [Maple Math] = [Maple Math] , and so [Maple Math] , which --- fortunately for us --- happens to be what is in the numerator (except for the constant [Maple Math] , which does not cause us any problems). That is, we can replace [Maple Math] by [Maple Math] [Maple Math] :

[Maple Math] = [Maple Math] = [Maple Math] = [Maple Math] [Maple Math] [Maple Math] =
[Maple Math] = [Maple Math] .

(c) Here we can obtain a much simpler integrand by substituting [Maple Math] in place of the expression in the radical: [Maple Math] . Then [Maple Math] / [Maple Math] = [Maple Math] , and so [Maple Math] [Maple Math] . So the numerator in the integral is [Maple Math] , and we obtain

[Maple Math] = [Maple Math] = [Maple Math] [Maple Math] = [Maple Math] [Maple Math] .

table of contents