In the spirit of the De Morgan quote in Dictum 1.5.3, running various derivative rules in reverse yields different integration techniques. The substitution theorem is nothing more than the chain rule expressed in terms of antiderivatives.
Theorem1.7.1.Substitution.
Let \(u=g(x)\) be a differentiable function on its domain, and suppose \(f\) is continuous on the range of \(g\text{.}\) If \(F(x)\) is an antiderivative of \(f(x)\text{,}\) then \(F(g(x))\) is an antiderivative of \(f(g(x))g'(x)\text{:}\) i.e.,
We have \(-\sin t\, \sqrt{\cos t}=f(g(t))g'(t)\) where \(f(t)=\sqrt{t}\) and \(g(t)=\cos t\text{.}\) Since \(F(t)=\frac{2}{3}\sqrt{x}\) is an antiderivative of \(f\text{,}\)Theorem 1.7.1 tells us that \(F(g(t))=\frac{2}{3}(\cos t)^{3/2}\) is an antiderivative of \(f(g(x))g'(x)= -\sin t\, \sqrt{\cos t}\text{.}\) We conclude
We have \(\frac{\sin(\sqrt{s})}{2\sqrt{s}}=f(g(s))g'(s)\) where \(f(s)=\sqrt{s}\) and \(g(s)=\sqrt{s}\text{.}\) Since \(F(s)=-\cos t\) is an antiderivative of \(f\text{,}\)Theorem 1.7.1 tells us that \(F(g(s))=-\cos(\sqrt{s})\) is an antiderivative of \(f(g(x))g'(x)= \frac{\sin(\sqrt{s})}{2\sqrt{s}}\text{.}\) We conclude
A similar approach as above can be applied, though here we have \(x^2\sqrt{x^3+1}=\frac{1}{3}f(g(x))g'(x)\text{,}\) where \(f(x)=\sqrt{x}\) and \(g(x)=x^3+1\text{.}\) It follows that
since \(F(x)=\frac{2}{3}x^{3/2}\) is an antiderivative of \(f(x)=\sqrt{x}\text{.}\)
The usefulness of Theorem 1.7.1 depends on your ability to express the given integrand in the very particular form \(f(g(x))g'(x)\text{.}\) This is not always as easy to do as it was in Example 1.7.2. The substitution procedure facilitates this process, giving it a more algebraic flavor.
Procedure1.7.3.Substitution.
To compute an indefinite integral \(\int f(x)\, dx\) using substitution, proceed as follows.
Choose substitution.
Choose a differentiable function \(u=g(x)\) and write down the two substitution equations
\begin{align}
u \amp =g(x)\tag{1.7.2}\\
du \amp = g'(x)dx\text{.}\tag{1.7.3}
\end{align}
Transform.
Use (1.7.2)–(1.7.3) and algebra to transform the indefinite integral \(\int f(x)\, dx\) into a new indefinite integral \(\int h(u)\, du\) expressed entirely in terms of \(u\text{.}\)
Compute and substitute.
Compute \(\int h(u)\, du=F(u)+C\text{,}\) if possible. Substitute \(u=g(x)\) for \(u\) to conclude that
Now the substitution theorem tells us that if \(F\) is an antiderivative of \(h\text{,}\) then \(F(g(x))\) is an antiderivative of \(h(g(x))g'(x)\text{.}\) This is why our conclusion
\begin{align}
u \amp= 1+\sqrt{t} \tag{1.7.6}\\
du \amp = \frac{1}{2\sqrt{t}} dt \tag{1.7.7}
\end{align}
Equation (1.7.7) implies \(dt=2\sqrt{t}du\text{.}\) By (1.7.7), we have \(\sqrt{t}=u-1\text{.}\) Thus \(dt=2\sqrt{t}du=2(u-1)\text{.}\) Transforming the integral, we get
Procedure 1.7.3 is a technique for computing antiderivatives. Of course, we can combine this with FTC II to obtain a substitution method for definite integrals. In the next section we will provide an alternative, more streamlined approach to computing definite integrals using substitution.
Procedure1.7.6.Definite integral substitution: 2-step.
To compute a definite integral \(\int_a^b f(x)\, dx\) using substitution, proceed as follows.
Find an antiderivative \(F\) of \(f\) using a substitution \(u=g(x)\) and Procedure 1.7.3.