Skip to main content
Mathematics LibreTexts

5.9: U-Substitution

  • Page ID
    32821
  • \( \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}\)

    The Fundamental Theorem of Calculus gave us a method to evaluate integrals without using Riemann sums. The drawback of this method, though, is that we must be able to find an antiderivative, and this is not always easy. In this section we examine a technique, called integration by substitution, to help us find antiderivatives. Specifically, this method helps us find antiderivatives when the integrand is the result of a chain-rule derivative.

    At first, the approach to the substitution procedure may not appear very obvious. However, it is primarily a visual task—that is, the integrand shows you what to do; it is a matter of recognizing the form of the function. So, what are we supposed to see? We are looking for an integrand of the form \(f[g(x)]g′(x)dx\). For example, in the integral

    \[ ∫(x^2−3)^3 2x \, dx. \label{eq1}\]

    we have

    \[ f(x)=x^3\]

    and

    \[g(x)=x^2−3.\]

    Then

    \[ g'(x)=2x.\]

    and

    \[ f[g(x)]g′(x)=(x^2−3)^3(2x),\]

    and we see that our integrand is in the correct form. The method is called substitution because we substitute part of the integrand with the variable u and part of the integrand with du. It is also referred to as change of variables because we are changing variables to obtain an expression that is easier to work with for applying the integration rules.

    Substitution with Indefinite Integrals

    Let \(u=g(x)\),, where \(g′(x)\) is continuous over an interval, let \(f(x)\) be continuous over the corresponding range of g, and let \(F(x)\) be an antiderivative of \(f(x).\) Then,

    \[ \begin{align} ∫f[g(x)]g′(x)\,dx &=∫f(u)\,du \nonumber \\ &=F(u)+C \nonumber\\ &= F(g(x))+C \end{align} \nonumber\]

    Proof

    Let \(f\), \(g\), \(u\), and \(F\) be as specified in the theorem. Then

    \[ \dfrac{d}{dx}F(g(x))=F′(g(x))g′(x)=f[g(x)]g′(x).\]

    Integrating both sides with respect to x, we see that

    \[ ∫f[g(x)]g′(x)\,dx=F(g(x))+C.\]

    If we now substitute \(u=g(x)\), and \(du=g'(x)dx\), we get

    \[ ∫f[g(x)]g′(x)\,dx=∫f(u)\,du=F(u)+C=F(g(x))+C.\]

    Returning to the problem we looked at originally, we let \(u=x^2−3\) and then \(du=2x\,dx\).

    Rewrite the integral (Equation \ref{eq1}) in terms of \(u\):

    \[ ∫(x^2−3)^3(2x\,dx)=∫u^3\,du.\]

    Using the power rule for integrals, we have

    \[ ∫u^3\,du=\dfrac{u^4}{4}+C.\]

    Substitute the original expression for \(x\) back into the solution:

    \[ \dfrac{u^4}{4}+C=\dfrac{(x^2−3)^4}{4}+C.\]

    We can generalize the procedure in the following Problem-Solving Strategy.

    Problem-Solving Strategy: Integration by Substitution

    1. Look carefully at the integrand and select an expression \(g(x)\) within the integrand to set equal to u. Let’s select \(g(x)\). such that \(g′(x)\) is also part of the integrand.
    2. Substitute \(u=g(x)\) and \(du=g′(x)dx.\) into the integral.
    3. We should now be able to evaluate the integral with respect to u. If the integral can’t be evaluated we need to go back and select a different expression to use as u.
    4. Evaluate the integral in terms of u.
    5. Write the result in terms of x and the expression \(g(x).\)

    Example \(\PageIndex{1}\): Using Substitution to Find an Antiderivative

    Use substitution to find the antiderivative of \(∫6x(3x^2+4)^4\,dx.\)

    Solution

    The first step is to choose an expression for u. We choose \(u=3x^2+4\) because then \(du=6x\,dx\) and we already have \(du\) in the integrand. Write the integral in terms of \(u\):

    \[ ∫6x(3x^2+4)^4dx=∫u^4\,du.\]

    Remember that du is the derivative of the expression chosen for u, regardless of what is inside the integrand. Now we can evaluate the integral with respect to u:

    \[ ∫u^4\,du=\dfrac{u^5}{5}+C=\dfrac{(3x^2+4)^5}{5}+C.\]

    Analysis

    We can check our answer by taking the derivative of the result of integration. We should obtain the integrand. Picking a value for C of 1, we let \(y=\dfrac{1}{5}(3x^2+4)^5+1.\) We have

    \[ y=\dfrac{1}{5}(3x^2+4)^5+1,\]

    so

    \[ y′=(\dfrac{1}{5})5(3x^2+4)^46x=6x(3x^2+4)^4.\]

    This is exactly the expression we started with inside the integrand.

    Exercise \(\PageIndex{1}\)

    Use substitution to find the antiderivative of \(∫3x^2(x^3−3)^2dx.\)

    Hint

    Let \(u=x^3−3.\)

    Answer

    \[ ∫3x^2(x^3−3)^2dx=\dfrac{1}{3}(x^3−3)^3+C\]

    Sometimes we need to adjust the constants in our integral if they don’t match up exactly with the expressions we are substituting.

    Example \(\PageIndex{2}\): Using Substitution with Alteration

    Use substitution to find the antiderivative of \[ ∫z\sqrt{z^2−5}\,dz.\]

    Solution

    Rewrite the integral as \(∫z(z^2−5)^{1/2}\,dz.\) Let \(u=z^2−5\) and \(du=2z\,dz\). Now we have a problem because \(du=2z\,dz\) and the original expression has only \(z\,dz\). We have to alter our expression for du or the integral in u will be twice as large as it should be. If we multiply both sides of the du equation by \(\dfrac{1}{2}\). we can solve this problem. Thus,

    \[ u=z^2−5\]

    \[ du=2z\,dz\]

    \[ \dfrac{1}{2}du=\dfrac{1}{2}(2z)\,dz=z\,dz.\]

    Write the integral in terms of u, but pull the \(\dfrac{1}{2}\) outside the integration symbol:

    \[ ∫z(z^2−5)^{1/2}\,dz=\dfrac{1}{2}∫u^{1/2}\,du.\]

    Integrate the expression in \(u\):

    \(\dfrac{1}{2}∫u^{1/2}\,du=(\dfrac{1}{2})\dfrac{u^{3/2}}{\dfrac{3}{2}}+C\)

    \(=(\dfrac{1}{2})(\dfrac{2}{3})u^{3/2}+C\)

    \(=\dfrac{1}{3}u^{3/2}+C\)

    \(=\dfrac{1}{3}(z^2−5)^{3/2}+C\)

    Exercise \(\PageIndex{2}\)

    Use substitution to find the antiderivative of \(∫x^2(x^3+5)^9\,dx.\)

    Hint

    Multiply the du equation by \(\dfrac{1}{3}\).

    Answer

    \[ \dfrac{(x^3+5)^{10}}{30}+C\]

    Example \(\PageIndex{3}\): Using Substitution with Integrals of Trigonometric Functions

    Use substitution to evaluate the integral \(∫\dfrac{\sin t}{\cos^3t}\,dt.\)

    Solution

    We know the derivative of \(\cos t\) is \(−\sin t\), so we set \(u=\cos t\). Then \(du=−\sin t\,dt.\)

    Substituting into the integral, we have

    \[ ∫\dfrac{\sin t}{\cos^3t}\,dt=−∫\dfrac{du}{u^3}.\]

    Evaluating the integral, we get

    \[ −∫\dfrac{du}{u^3}=−∫u^{−3}\,du=−(−\dfrac{1}{2})u^{−2}+C.\]

    Putting the answer back in terms of t, we get

    \[ ∫\dfrac{\sin t}{\cos^3t}\,dt=\dfrac{1}{2u^2}+C=\dfrac{1}{2\cos^2t}+C.\]

    Exercise \(\PageIndex{3}\)

    Use substitution to evaluate the integral \[ ∫\dfrac{\cos t}{\sin^2t}\,dt.\]

    Hint

    Use the process from Example to solve the problem.

    Answer

    \(−\dfrac{1}{\sin t}+C\)

    Sometimes we need to manipulate an integral in ways that are more complicated than just multiplying or dividing by a constant. We need to eliminate all the expressions within the integrand that are in terms of the original variable. When we are done, \(u\) should be the only variable in the integrand. In some cases, this means solving for the original variable in terms of \(u\). This technique should become clear in the next example.

    Example \(\PageIndex{4}\): Finding an Antiderivative Using u-Substitution

    Use substitution to find the antiderivative of \[ ∫\dfrac{x}{\sqrt{x−1}}\,dx.\]

    Solution

    If we let \(u=x−1,\) then \(du=dx\). But this does not account for the x in the numerator of the integrand. We need to express x in terms of u. If \(u=x−1\), then \(x=u+1.\) Now we can rewrite the integral in terms of u:

    \[ ∫\dfrac{x}{\sqrt{x−1}}\,dx=∫\dfrac{u+1}{\sqrt{u}}\,du=∫\sqrt{u}+\dfrac{1}{\sqrt{u}}\,du=∫(u^{1/2}+u^{−1/2})\,du.\]

    Then we integrate in the usual way, replace u with the original expression, and factor and simplify the result. Thus,

    \(∫(u^{1/2}+u^{−1/2})\,du=\dfrac{2}{3}u^{3/2}+2u^{1/2}+C\)

    \(=\dfrac{2}{3}(x−1)^{3/2}+2(x−1)^{1/2}+C\)

    \(=(x−1)^{1/2}[\dfrac{2}{3}(x−1)+2]+C\)

    \(=(x−1)^{1/2}(\dfrac{2}{3}x−\dfrac{2}{3}+\dfrac{6}{3})\)

    \(=(x−1)^{1/2}(\dfrac{2}{3}x+\dfrac{4}{3})\)

    \(=\dfrac{2}{3}(x−1)^{1/2}(x+2)+C.\)

    Exercise \(\PageIndex{4}\)

    Use substitution to evaluate the indefinite integral \[ ∫\cos^3t\sin t\,dt.\]

    Hint

    Use the process from Example to solve the problem.

    Answer

    \[ −\dfrac{cos^4t}{4}+C\]

    Substitution for Definite Integrals

    Substitution can be used with definite integrals, too. However, using substitution to evaluate a definite integral requires a change to the limits of integration. If we change variables in the integrand, the limits of integration change as well.

    Substitution with Definite Integrals

    Let \(u=g(x)\) and let \(g'\) be continuous over an interval \([a,b]\), and let \(f\) be continuous over the range of \(u=g(x).\) Then,

    \[∫^b_af(g(x))g′(x)dx=∫^{g(b)}_{g(a)}f(u)\,du.\]

    Although we will not formally prove this theorem, we justify it with some calculations here. From the substitution rule for indefinite integrals, if \(F(x)\) is an antiderivative of \(f(x),\) we have

    \[ ∫f(g(x))g′(x)\,dx=F(g(x))+C.\]

    Then

    \[\begin{align} ∫^b_af[g(x)]g′(x)\,dx &= F(g(x))\bigg|^{x=b}_{x=a} \nonumber \\ &=F(g(b))−F(g(a)) \nonumber\\ &= F(u) \bigg|^{u=g(b)}_{u=g(a)} \nonumber\\ &=∫^{g(b)}_{g(a)}f(u)\,du \nonumber\end{align} \nonumber\]

    and we have the desired result.

    Example \(\PageIndex{5}\): Using Substitution to Evaluate a Definite Integral

    Use substitution to evaluate \[ ∫^1_0x^2(1+2x^3)^5\,dx.\]

    Solution

    Let \(u=1+2x^3\), so \(du=6x^2dx\). Since the original function includes one factor of \(x^2\) and \(du=6x^2dx\), multiply both sides of the du equation by \(1/6.\) Then,

    \[ du=6x^2\,dx\]

    \[ \dfrac{1}{6}du=x^2\,dx.\]

    To adjust the limits of integration, note that when \(x=0,u=1+2(0)=1,\) and when \(x=1,u=1+2(1)=3.\) Then

    \[ ∫^1_0x^2(1+2x^3)^5dx=\dfrac{1}{6}∫^3_1u^5\,du.\]

    Evaluating this expression, we get

    \[ \dfrac{1}{6}∫^3_1u^5\,du=(\dfrac{1}{6})(\dfrac{u^6}{6})|^3_1=\dfrac{1}{36}[(3)^6−(1)^6]=\dfrac{182}{9}.\]

    Exercise \(\PageIndex{5}\)

    Use substitution to evaluate the definite integral \[ ∫^0_{−1}y(2y^2−3)^5\,dy.\]

    Hint

    Use the steps from Example to solve the problem.

    Answer

    \(\dfrac{91}{3}\)

    Example \(\PageIndex{6}\): Using Substitution with an Exponential Function

    Use substitution to evaluate \[ ∫^1_0xe^{4x^2+3}\,dx.\]

    Solution

    Let \(u=4x^3+3.\) Then, \(du=8x\,dx.\) To adjust the limits of integration, we note that when \(x=0,u=3\), and when \(x=1,u=7\). So our substitution gives

    \[ ∫^1_0xe^{4x^2+3}\,dx=\dfrac{1}{8}∫^7_3e^udu=\dfrac{1}{8}e^u|^7_3=\dfrac{e^7−e^3}{8}≈134.568\]

    Exercise \(\PageIndex{6}\)

    Use substitution to evaluate \[ ∫^1_0x^2cos(\dfrac{π}{2}x^3)\,dx.\]

    Hint

    Use the process from Example to solve the problem.

    Answer

    \(\dfrac{2}{3π}≈0.2122\)

    Substitution may be only one of the techniques needed to evaluate a definite integral. All of the properties and rules of integration apply independently, and trigonometric functions may need to be rewritten using a trigonometric identity before we can apply substitution. Also, we have the option of replacing the original expression for u after we find the antiderivative, which means that we do not have to change the limits of integration. These two approaches are shown in Example.

    Example \(\PageIndex{7}\): Using Substitution to Evaluate a Trigonometric Integral

    Use substitution to evaluate \[∫^{π/2}_0\cos^2θ\,dθ.\]

    Solution

    Let us first use a trigonometric identity to rewrite the integral. The trig identity \(\cos^2θ=\dfrac{1+\cos 2θ}{2}\) allows us to rewrite the integral as

    \[∫^{π/2}_0\cos^2θdθ=∫^{π/2}_0\dfrac{1+\cos2θ}{2}\,dθ.\]

    Then,

    \[∫^{π/2}_0(\dfrac{1+\cos2θ}{2})dθ=∫^{π/2}_0(\dfrac{1}{2}+\dfrac{1}{2}\cos 2θ)\,dθ\]

    \[=\dfrac{1}{2}∫^{π/2}_0\,dθ+∫^{π/2}_0\cos2θ\,dθ.\]

    We can evaluate the first integral as it is, but we need to make a substitution to evaluate the second integral. Let \(u=2θ.\) Then, \(du=2\,dθ,\) or \(\dfrac{1}{2}\,du=dθ\). Also, when \(θ=0,u=0,\) and when \(θ=π/2,u=π.\) Expressing the second integral in terms of \(u\), we have

    \(\dfrac{1}{2}∫^{π/2}_0\,dθ+\dfrac{1}{2}∫^{π/2}_0cos^2θ\,dθ=\dfrac{1}{2}∫^{π/2}_0\,dθ+\dfrac{1}{2}(\dfrac{1}{2})∫^π_0\cos u \,du\)

    \(=\dfrac{θ}{2}|^{θ=π/2}_{θ=0}+\dfrac{1}{4}sinu|^{u=θ}_{u=0}\)

    \(=(\dfrac{π}{4}−0)+(0−0)=\dfrac{π}{4}\)

    Key Concepts

    • Substitution is a technique that simplifies the integration of functions that are the result of a chain-rule derivative. The term ‘substitution’ refers to changing variables or substituting the variable u and du for appropriate expressions in the integrand.
    • When using substitution for a definite integral, we also have to change the limits of integration.

    Key Equations

    • Substitution with Indefinite Integrals

    \(∫f[g(x)]g′(x)dx=∫f(u)du=F(u)+C=F(g(x))+C\)

    • Substitution with Definite Integrals

    \(∫^b_af(g(x))g'(x)dx=∫^{g(b)}_{g(a)}f(u)du\)

    Glossary

    change of variables
    the substitution of a variable, such as u, for an expression in the integrand
    integration by substitution
    a technique for integration that allows integration of functions that are the result of a chain-rule derivative

    Contributors

    • Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.


    This page titled 5.9: U-Substitution is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by OpenStax.