## The Substitution Rule

In first quarter calculus you learned numerous methods for computing derivatives of functions. For example, the power rule asserts that We can turn this into a way to compute certain integrals: if $a&ne#neq;-1$ Just as with the power rule, many other rules and results that you already know yield techniques for integration. In general integration is potentially much trickier than differentiation, because it is often not obvious which technique to use, or even how to use it. Integration is a more exciting than differentiation!

Recall the chain rule, which asserts that We turn this into a technique for integration as follows:

Proposition 2.3.1 (Substitution Rule)   Let , we have assuming that is a function that is differentiable and whose range is an interval on which is continuous.

Proof. Since is continuous on the range of , Theorem 2.1.5 (the fundamental theorem of Calculus) implies that there is a function such that . Then      If then , and the substitution rule simply says if you let formally in the integral everywhere, what you naturally would hope to be true based on the notation actually is true. The substitution rule illustrates how the notation Leibniz invented for Calculus is incredibly brilliant. It is said that Leibniz would often spend days just trying to find the right notation for a concept. He succeeded.

As with all of Calculus, the best way to start to get your head around a new concept is to see severally clearly worked out examples. (And the best way to actually be able to use the new idea is to do lots of problems yourself!) In this section we present examples that illustrate how to apply the substituion rule to compute indefinite integrals.

Example 2.3.2 Let . Then , hence . Now substitute it all in: There's no point in expanding this out: only simplify for a purpose!''

Example 2.3.3 Substitute . Then , and the integral above becomes Note that the absolute values are not needed, since for all .

Example 2.3.4 Keeping in mind the power rule, we make the substitution . Then . Noting that by solving for in , we see that the above integral becomes     William Stein 2006-03-15