Next: 17.5 Trigonometric Substitution
 Up: 17. Antidifferentiation Techniques
 Previous: 17.3 Integration by Parts
     Index 
17.4 Integration by Substitution
We will now use the chain rule to find some antiderivatives.  Let 
 be a real
valued function that is continuous on some interval 
 and differentiable on
the
interior of 
, and let 
 be a function such that 
 has an antiderivative
on some interval 
.  We will suppose that 
 and 
.  It then follows that 
 is continuous on
and differentiable on 
, and
  | 
(17.32) | 
 
for all 
 in the interior of 
; i.e., 
 is an antiderivative for
 on 
.  Thus 
  | 
(17.33) | 
 
There is a standard ritual
 for using (17.33) to find 
 when an antiderivative 
 can be found for 
.  We write:
Let 
.  Then 
 (or 
), so
  | 
(17.34) | 
 
In the first equality of (17.34) we replace 
 by 
 and 
 by
, and in the last step we replace 
 by 
.  Since we have never
assigned
any meaning to `` 
" or `` 
", 
we should think of (17.34)
just as a mnemonic device for remembering (17.33).
  17.35   
Example. 
Find 

.
Let 
.  Then 
, so
 
Suppose we want to find 
.  If we had a 
 in the
denominator, this would be a simple problem.  (In fact we just considered this
problem in the previous example.)  We will now discuss a method of introducing
the missing 
.
Suppose 
 is a function on an interval 
 such that 
 is never zero on
the interior of 
, and suppose that 
 is an inverse function for 
.  Then
for all 
 in the interior of 
, so
We now apply the ritual (17.34):
Let 
.  Then 
, so
If we can find an antiderivative 
 for 
, then
We have shown that if 
 is an inverse function for 
, then
  | 
(17.36) | 
 
There is a ritual
 associated with this result also.  To find 
:
Let 
.  Then 
 so 
.
Hence 
  | 
(17.37) | 
 
  17.38   
Example. 
To find 

.
Let 
.  Then 
 so 
.  
Thus
We can now use integration by parts to find 

.
Let
Then
Hence
 
  17.39   
Example. 
To find 

.
Let 
.  Then 
 so 
.
 
  17.40   
Example. 
To find 

.
Let 
.  Then 
 so 
.
Hence
 
  17.41   
Example. 
To find 

.
Let 

. Then 

,
and
Thus
 
  17.42   
Exercise. 
A
Find the following antiderivatives:
- a)
 
- 
.
 
- b)
 
- 
.
 
- c)
 
- 
.
 
- d)
 
- 
.
 
- e)
 
- 
.
 
- f)
 
- 
.
 
- g)
 
- 
.
 
 
 
 
  
 
 Next: 17.5 Trigonometric Substitution
 Up: 17. Antidifferentiation Techniques
 Previous: 17.3 Integration by Parts
     Index 
Ray Mayer
2007-09-07