A review of integration techniques

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\,d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}\hspace {0in}} \newcommand {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \DeclareMathOperator {\proj }{\mathbf {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We review common techniques to compute indefinite and definite integrals.

In some sense, calculating derivatives is straightforward. Most of the functions of interest are sums, scalar multiples, products, quotients, or compositions of common functions whose derivatives we can find. A “brute force” application of the sum, scalar multiple, product, quotient, and chain rules will eventually lead to a correct derivative. Integration is more of an art form. We often have to apply various techniques in order to write down a nice formula for the antiderivatives. We explore some of the common ones here.

Preliminary algebraic simplification

A good first step in attempting to compute antiderivatives involves simplifying the integrand first. Doing so requires careful algebra.

Compute: $\int (7-x^2)^2 \d x$

Note first that $(7-x^2)^2 \neq 49-x^4$ ; we need to expand the integrand by writing out $(7-x^2)(7-x^2)$ : $\int (7-x^2)^2 \d x = \int \answer [given]{49 - 14x^2 + x^4} \d x$ It’s now not difficult to finish the problem: $\int (49 - 14x^2 + x^4) \d x = \answer [given]{49x - \frac {14 x^3}{3} + \frac {x^5}{5}} + C$

Consider the indefinite integral $\int \frac {2x^2-3}{2x^2} \d x$ .

While it may be tempting, note that $\frac {2x^2-3}{2x^2} \neq \frac {\cancel {2x^2}-3}{\cancel {2x^2}}$ . We can never simplify by cancelling terms over addition or subtraction in the denominator. Instead, we can split the fraction up then simplify.

$\begin{align*} \int \frac{2x^2-3}{2x^2} \d x &=\int \frac{2x^2}{2x^2}-\frac{3}{2x^2} \d x \\ &= \int 1-\frac{3}{2}x^{-2} \d x \\ &= x+ \answer[given]{\frac{3}{2}x^{-1}}+C \end{align*}$

Substitution

Sometimes, it is helpful to try to recognize when an integral involves reversing the chain rule for differentiation. When an integrand involves a composition of a trigonometric, exponential, or power and another function, letting a new variable represent the inner function helps.

Consider $\int 2x e^{x^2+1} \d x$ .

Note that no algebra will help us simplify the expression. The only antidifferentiation formula we have regarding the exponential is $\int e^x \d x = e^x +C$ . Let’s start by letting the exponent in the original integral be a new variable $u$ :

Let $u= x^2+1$ . We now need to write everything in the integral in terms of this new variable. Recalling that if $u = f(x)$ , the differentials are related by $\d u = f'(x) \d x$ , we can write $\d u = \answer [given]{2x} \d x$ .

We thus find

The antiderivative in $u$ is now easy to compute.

$\int e^u \d u = \answer [given]{e^u}+C$

Reversing the substitution by setting $u=x^2+1$ above now gives $\int 2xe^{x^2+1} \d x = e^{x^2+1}+C$ .

Note that when we change the variable of integration, it is necessary to replace both the original variable and the differential. That is, in the above example, we need to replace all $x$ terms with $u$ and write $\d x$ in terms of $u$ and $\d u$ .

In the last example, after letting $u$ be the exponent and transforming $\d x$ , there were no $x$ terms left. This does not always happen, but it does not mean that substitution does not aid in computing the indefinite integral.

Compute $\int 4x \sqrt {2x+1} \d x$ .

Here, there is no preliminary algebra that will be helpful. Since we have a square root of a function of $x$ , we set $u=2x+1$ and find $\d u = \answer [given]{2} \d x$ . Thus:

$\int 4x \sqrt {2x+1} \d x = \int 4x \sqrt {u} \cdot \frac {\d u}{2} = \int 2x \sqrt {u} \d u$

Note that we now have an extra $x$ term in the integrand. Since $x$ depends on $u$ , we cannot move it outside of the integral. Before abandoning hope that our substitution is useful here, we can ask whether it is easy to express this leftover $x$ in terms of $u$ .

Since $u= 2x+1$ , we find that $x = \answer [given]{\frac {1}{2}(u-1)}$ , so we can now rewrite the integral as:

$\int 4x \sqrt {2x+1} \d x = \int 2x \sqrt {u} \d u = \int 2 \cdot \frac {1}{2}(u-1) \sqrt {u} \d u = \int (u-1)\sqrt {u} \d u$

We can now perform some algebra, then integrate.

$\int (u-1)\sqrt {u} \d u = \int \left (u^{3/2} - u^{1/2} \right ) \d u = \answer [given]{\frac {2}{5} u^{5/2} - \frac {2}{3} u^{3/2}} +C$ Substituting $u=2x+1$ to obtain the antiderivatives in terms of $x$ , we find that

$\int 4x \sqrt {2x+1} \d x = \frac {2}{5} (2x+1)^{5/2} - \frac {2}{3} (2x+1)^{3/2} +C.$

Let’s see another example involving a trickier substitution and a definite integral. First, recall the substitution theorem for definite integrals:

Integral Substitution Formula If $u$ is differentiable on the interval $[a,b]$ and $f$ is differentiable on the interval $[u(a),u(b)]$ , then $\int _a^b f'(u(x)) u'(x) \d x =\int _{u(a)}^{u(b)} f'(u) \d u.$

This may look difficult to read, but it really just reminds us that to work with definite integrals, we need to write the integrand, the differential, and the limits of integration in terms of the new variable.

Compute $\int _0^2 \frac {6x^2}{(x^3+1)^2} \d x$

We begin by setting $u = \answer [given]{x^3+1}$ . We now have to write the limits of integration in terms of $u$ as well as express the differential $\d x$ in terms of $u$ and $\d u$ .

For the limits of integration, note that when $x=0$ , we have $u = (0)^3+1 = 1$ . Similarly, when $x=2$ , $u=\answer [given]{9}$ .

Since $u=x^3+1$ , we find $\d u = \answer [given]{3x^2} \d x$ .

We can now write our original integral in terms of $u$ :

$\int _{x=0}^{x=2} \frac {6x^2}{(x^3+1)^2} \d x = \int _{u=\answer [given]{1}}^{u=\answer [given]{9}} \answer [given]{\frac {2}{u^2}} \d u$

We can now evaluate the integral:

$\int _{u=1}^{u=9} \frac {2}{u^2} \d u = \int _{u=1}^{u=9}2u^{-2} \d u = \eval {-2u^{-1}}_{u=1}^{u=9} = -\frac {2}{9} - (-2) = \frac {16}{9}$

Splitting Up Fractions

In a similar vein, if you have a rational function, it can help to separate the integrand into several fractions.

Compute: $\int \frac {6x-8}{1+x^2}\d x$

Note that the substitution $u= 1+x^2$ is tempting, but it only will help us with part of the integrand! Write with me: $\int \frac {6x-8}{1+x^2}\d x = \int \frac {6x}{1+x^2}-\frac {8}{1+x^2} \d x$

Using a substitution, $\int \frac {6x}{1+x^2}\d x = \answer [given]{3 \ln (1+x^2)}$ +C, and using the inverse tangent antidifferentiation formula, $\int \frac {8}{1+x^2}\d x = \answer [given]{8 \arctan (x)}$ +C.

Hence, $\int \frac {6x-8}{1+x^2}\d x = \answer [given]{3 \ln (1+x^2)- 8 \arctan (x)}+C$

Compute: $\int \frac {\cos ^2(x)+1}{3 \cos ^2(x)}\d x$

It may be tempting to try to cancel just the expressions involving $\cos ^2(x)$ , but we have to split up the entire numerator over the denominator. $\begin{align*} \int \frac{\cos^2(x)+1}{3 \cos^2(x)}\d x &= \int \frac{\cos^2(x)}{3 \cos^2(x)} + \frac{1}{3 \cos^2(x)}\d x \\ &= \int \frac{1}{3} + \frac{1}{3} \sec^2(x) \d x \\ & = \answer[given]{\frac{1}{3}x+\frac{1}{3}\tan(x)}+C \end{align*}$

Final Thoughts

Understanding how to integrate is highly dependent on having a good grasp on how to differentiate functions and being comfortable with algebra. The techniques presented here are not an exhaustive list. In order to become proficient computing integrals, there is no substitute for practice.