Skip to main content
Mathematics LibreTexts

3.5: Substitution

  • Page ID
    71064
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    We don't have many integration rules. For quite a few of the problems we see, the rules won't directly apply; we'll have to do some algebraic manipulation first. In practice, it is much harder to write down the antiderivative of a function than it is to find a derivative. (In fact, it's very easy to write a function that doesn't have any antiderivative you can find with algebra, although proving that it doesn't have an antiderivative is much more difficult.)

    The Substitution Method (also called \( u \)-Substitution) is one way of algebraically manipulating an integrand so that the rules apply. This is a way to unwind or undo the Chain Rule for derivatives. When you find the derivative of a function using the Chain Rule, you end up with a product of something like the original function times a derivative. We can reverse this to write an integral: \[ \frac{d}{dx} f\left( g(x) \right) = f'\left( g(x) \right)g'(x) \nonumber \] so \[ f\left( g(x) \right) =\int f'\left( g(x) \right)g'(x)\, dx\nonumber \]

    With substitution, we will substitute \( u=g(x) \) (hence the name \( u \)-substitution). This means \( \frac{du}{dx}=g'(x) \), so \( du=g'(x)dx \). Making these substitutions, \( \int f'\left( g(x) \right)g'(x)\, dx \) becomes \( \int f'(u)\, du \), which will probably be easier to integrate.

    Try \(u\)-Substitution when you see a product in your integral, especially if you recognize one factor as the derivative of some part of the other factor.

    The \(u\)-Substitution Method for Antiderivatives

    The goal is to turn \( \int f\left( g(x) \right)\, dx \) into \( \int f(u)\, du \), where \(f(u)\) is much less messy than \(f\left(g(x)\right)\).

    1. Let \(u\) be some part of the integrand. A good first choice is one step inside the messiest bit.
    2. Compute \( du=\frac{du}{dx}\,dx \).
    3. Translate all your \(x\)'s into \(u\)'s everywhere in the integral, including the \(dx\). When you're done, you should have a new integral that is entirely in \(u\). If you have any \(x\)'s left, then that's an indication that the substitution didn't work or isn't complete; you may need to go back to step 1 and try a different choice for \(u\).
    4. Integrate the new \(u\)-integral, if possible. If you still can't integrate it, go back to step 1 and try a different choice for \(u\).
    5. Finally, substitute back \(x\)'s for \(u\)'s everywhere in your answer.
    Example \(\PageIndex{1}\)

    Evaluate \( \displaystyle \int \frac{x}{\sqrt{4-x^2}}\, dx \).

    Solution

    This integrand is more complicated than anything in our list of basic integral formulas, so we'll have to try something else. The only tool we have is substitution, so let's try that!

    1. Let \(u\) be some part of the integrand. A good first choice is one step inside the messiest bit:

      Let \( u=4-x^2 \).

    2. Compute \( du=\frac{du}{dx}\,dx \):

      \( du=-2x\, dx \). There is \(x\, dx\) in the integrand, so that’s a good sign; that will be \(-\frac{1}{2}\,du\).

    3. Translate all your \(x\)'s into \(u\)'s everywhere in the integral, including the \(dx\):

      \[ \begin{align*} \int\frac{x}{\sqrt{4-x^2}}\, dx & = \int\frac{1}{\sqrt{4-x^2}}(x\, dx) \\ & = \int\frac{1}{\sqrt{u}}\left(-\frac{1}{2}du\right) \\ & = -\frac{1}{2}\int\frac{1}{\sqrt{u}}\, du \\ & = -\frac{1}{2}\int u^{-1/2}\, du \end{align*} \nonumber \]

      Alternatively, we could have solved for dx and substituted that and simplified: \( dx=\frac{du}{-2x} \), so \[ \begin{align*} \int\frac{x}{\sqrt{4-x^2}}\, dx & = \int\frac{x}{\sqrt{u}}\left(\frac{du}{-2x}\right) \\ & = \int\frac{1}{\sqrt{u}}\left(-\frac{1}{2}du\right) \\ & = -\frac{1}{2}\int\frac{1}{\sqrt{u}}\, du \\ & = -\frac{1}{2}\int u^{-1/2}\, du \end{align*} \nonumber \]

    4. Integrate the new \(u\)-integral, if possible:

      \[ -\frac{1}{2}\int u^{-1/2}\, du = -\frac{1}{2}\frac{u^{1/2}}{1/2}+C=-u^{1/2}+C \nonumber \]

    5. Finally, substitute back \(x\)'s for \(u\)'s everywhere in the answer:

      Undoing our \( u=4-x^2 \) substitution yields \[ -u^{1/2}+C = -\sqrt{4-x^2}+C. \nonumber \]

    Thus we have found \[ \int\frac{x}{\sqrt{4-x^2}}\, dx= -\sqrt{4-x^2}+C \nonumber \]

    How would we check this? By differentiating: \[ \begin{align*} \frac{d}{dx}\left(-\sqrt{4-x^2}+C\right) & = \frac{d}{dx}\left(-\left(4-x^2\right)^{1/2}+C\right) \\ & = -\frac{1}{2}\left(4-x^2\right)^{-1/2}(-2x) \\ & = x\left(4-x^2\right)^{-1/2} \\ & = \frac{x}{\sqrt{4-x^2}} \end{align*} \nonumber \]

    Example \(\PageIndex{2}\)

    Evaluate \( \displaystyle \int\frac{e^x\, dx}{\left(e^x+15\right)^3} \).

    Solution

    This integral is not in our list of building blocks. But notice that the derivative of \( e^x+15 \) (which we see in the denominator) is just \( e^x \) (which we see in the numerator), so substitution will be a good choice for this.

    Let \( u=e^x+15 \). Then \( du=e^x\, dx \), and this integral becomes \( \int\frac{du}{u^3} = \int u^{-3}\, du \).

    Luckily, that is on our list of building block formulas: \( \int\frac{du}{u^3} = \frac{u^{-2}}{-2}+C = -\frac{1}{2u^2}+C \).

    Finally, translating back: \[ \int\frac{e^x\, dx}{\left(e^x+15\right)^3} = -\frac{1}{2\left(e^x+15\right)^2} +C. \nonumber \]

    Example \(\PageIndex{3}\)

    Evaluate

    1. \( \displaystyle \int\frac{x^2}{x^3+5}\, dx \)
    2. \( \displaystyle \int\frac{x^3+5}{x^2}\, dx \)

    Solution

    1. This is not a basic integral, but the composition is less obvious. Here, we can treat the denominator as the inside of the \( \frac{1}{x} \) function.

      Let \( u=x^3+5 \). Then \( du=3x^2\, dx \). Solving for \(dx\), \( dx=\frac{du}{3x^2} \). Substituting, \[ \int\frac{x^2}{x^3+5}\, dx = \int\frac{x^2}{u}\frac{du}{3x^2} = \int \frac{1}{u}\frac{du}{3} = \frac{1}{3}\int \frac{1}{u}\, du \nonumber \]

      Using our basic formulas, \[ \frac{1}{3}\int \frac{1}{u}\, du = \frac{1}{3}\ln|u| +C. \nonumber \]

      Undoing the substitution, \[ \int\frac{x^2}{x^3+5}\, dx = \frac{1}{3}\ln\left|x^3+5\right| +C. \nonumber \]

    2. It is tempting to start this problem the same way we did the last, but if we try it will not work, since the numerator of this fraction is not the derivative of the denominator. Instead, we need to try a different approach. For this problem, we can use some basic algebra: \[ \begin{align*} \int\frac{x^3+5}{x^2}\, dx & = \int\left(\frac{x^3}{x^2}+\frac{5}{x^2}\right)\, dx \\ & = \int\left(x+5x^{-2}\right)\, dx. \end{align*} \nonumber \]

      We can integrate this using our basic rules, without needing substitution: \[ \begin{align*} \int\left(x+5x^{-2}\right)\, dx & = \frac{x^2}{2}+5\frac{x^{-1}}{-1}+C \\ & = \frac{1}{2}x^2-\frac{5}{x}+C. \end{align*} \nonumber \]

    Substitution and Definite Integrals

    When you use substitution to help evaluate a definite integral, you have a choice for how to handle the limits of integration. You can do either of these, whichever seems better to you. The important thing to remember is that the original limits of integration were values of the original variable (say, \(x\)), not values of the new variable (say, \(u\)).

    1. You can solve the antiderivative as a side problem, translating back to \(x\)’s, and then use the antiderivative with the original limits of integration.

      Or…

    2. You can substitute for the limits of integration at the same time as you’re substituting for everything inside the integral, and then skip the translate back into \(x\) step.

      If the original integral had endpoints \(x =a\) and \(x =b\), and we make the substitution \(u = g(x )\) and \(du = g'(x )\, dx\), then the new integral will have endpoints \(u= g(a)\) and \(u=g(b)\) and \[ \int_{x=a}^{x=b}\text{(original integrand)}\, dx\nonumber \] becomes \[ \int_{u=g(a)}^{u=g(b)} \text{(new integrand)}\, du.\nonumber \]

    Method 1 seems more straightforward for most students, but it can involve some messy algebra. Method 2 is often neater and usually involves fewer steps.

    Example \(\PageIndex{4}\)

    Evaluate \( \int\limits_0^1 (3x-1)^4\, dx \).

    Solution

    We'll need substitution to find an antiderivative, so we'll need to handle the limits of integration carefully. Let's solve this example both ways.

    1. Step One – find the antiderivative, using substitution:

      Let \( u=3x-1 \). Then \( du=3\, dx \) and \[ \int(3x-1)^4\, dx = \int u^4\left(\frac{1}{3}\, du\right) = \frac{1}{3}\frac{u^5}{5}+C. \nonumber \]

      Translating back to \(x\): \[ \frac{1}{3}\frac{u^5}{5}+C = \frac{(3x-1)^5}{15}+C. \nonumber \]

      Step Two – evaluate the definite integral: \[ \int\limits_0^1 (3x-1)^4\, dx = \left. \frac{(3x-1)^5}{15}\right]_0^1 = \frac{\left(3(1)-1\right)^5}{15} - \frac{\left(3(0)-1\right)^5}{15} = \frac{32}{15}-\frac{-1}{15}=\frac{33}{15}. \nonumber \]

    2. Let \( u=3x-1 \). Then \( du=3\, dx \) and, substituting for the limits of integration, when \(x = 0\), \(u = -1\), and when \(x = 1\), \(u = 2\).

      So, \[ \begin{align*} \int_{x=0}^{x=1} (3x-1)^4\, dx & = \int_{u=-1}^{u=2} u^4\left(\frac{1}{3}\, du\right) \\ & = \left.\frac{u^5}{15}\right]_{u=-1}^{u=2} \\ & = \frac{(2)^5}{15}-\frac{(-1)^5}{15} \\ & = \frac{32}{15}-\frac{-1}{15} \\ & = \frac{33}{15} \end{align*} \nonumber \]

    Example \(\PageIndex{5}\)

    Evaluate \( \int\limits_2^{10} \frac{\left(\ln(x)\right)^6}{x}\, dx \).

    Solution

    I can see the derivative of \( \ln(x) \) in the integrand, so I can tell that substitution is a good choice.

    Let \( u=\ln(x) \). Then \( du=\frac{1}{x}\, dx \). When \( x=2 \), \( u=\ln(2) \). When \( x=10 \), \( u=\ln(10) \). So the new definite integral is \[ \begin{align*} \int\limits_{x=2}^{x=10}\frac{\left(\ln(x)\right)^6}{x}\, dx & = \int\limits_{u=\ln(2)}^{u=\ln(10)} u^6\, du \\ & = \left.\frac{u^7}{7}\right]_{u=\ln(2)}^{u=\ln(10)} \\ & = \frac{1}{7}\left(\left(\ln(10)\right)^7-\left(\ln(2)\right)^7\right) \\ \approx & 49.01. \end{align*} \nonumber \]


    This page titled 3.5: Substitution is shared under a CC BY 3.0 license and was authored, remixed, and/or curated by Shana Calaway, Dale Hoffman, & David Lippman (The OpenTextBookStore) via source content that was edited to the style and standards of the LibreTexts platform.