Skip to main content
Mathematics LibreTexts

4.6: Finding Antiderivatives

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

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

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \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{\longvect}{\overrightarrow}\)

    \( \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}\)

    In order to use the second part of the Fundamental Theorem of Calculus, we need an antiderivative of the integrand, but sometimes it is not easy to find one. This section collects some of the information we already know about general properties of antiderivatives and about antiderivatives of particular functions. It shows how to use this information to find antiderivatives of more complicated functions and introduces a “change of variable” technique to make that job easier.

    Indefinite Integrals and Antiderivatives

    Antiderivatives arise so often that there is a special notation to indicate the antiderivative of a function:

    Definition

    \(\displaystyle \int f(x)\, dx\), read as “the indefinite integral of \(f\)” or as “the antiderivatives of \(f\),” represents the collection (or family) of all functions whose derivatives are \(f\).

    If you’ve been wondering why we called \(\displaystyle \int_a^b f(t)\, dt\) a definite integral, now you know. A definite integral has specific upper and lower limits, while an indefinite integral does not.

    If \(F\) is an antiderivative of \(f\), then any member of the family \(\displaystyle \int f(x)\, dx\) has the form \(F(x) + C\) for some constant \(C\). We write \(\displaystyle \int f(x)\, dx = F(x) + C\), where \(C\) represents an arbitrary constant. There are no small families in the world of antiderivatives: if \(f\) has one antiderivative \(F\), then \(f\) has an infinite number of antiderivatives and each has the form \(F(x) + C\), which means there are many ways to write a particular indefinite integral and some of them may look very different. You can check that \(F(x) = \sin^2(x)\), \(G(x) = -\cos^2(x)\) and \(H(x) = 2\sin^2(x) + \cos^2(x)\) all have the same derivative, \(f(x) = 2\sin(x)\cos(x)\), so the indefinite integral of \(2\sin(x)\cos(x)\), \(\displaystyle \int 2\sin(x)\cos(x)\, dx\), can be written in several ways: \(\sin^2(x) + C\) or \(-\cos^2(x) + K\) or \(2\sin^2(x) + \cos^2(x) + C\).

    Practice \(\PageIndex{1}\)

    Verify that \(\displaystyle \int 2\tan(x)\cdot\sec^2(x)\, dx = \tan^2(x) + C\) and that \(\displaystyle \int 2\tan(x)\cdot\sec^2(x)\, dx = \sec^2(x) + K\).

    Answer

    \(\mbox{D}\left(\tan^2(x) +C\right) = 2\tan^1(x)\cdot\mbox{D}\left(\tan(x)\right) = 2\tan(x)\sec^2(x)\) BREAK \(\mbox{D}\left(\sec^2(x) +C\right) = 2\sec^1(x)\cdot \mbox{D}\left(\sec(x)\right) = 2\sec(x)\cdot\sec(x)\tan(x)\)

    Properties of Antiderivatives (Indefinite Integrals)

    These sum, difference and constant-multiple properties follow directly from corresponding properties for derivatives.

    Theorem

    If \(f\) and \(g\) are integrable functions, then:

    • \(\displaystyle \int \left[f(x) \pm g(x)\right]\, dx = \int f(x)\, dx \pm \int g(x)\, dx\)
    • \(\displaystyle \int k\cdot f(x)\, dx = k\cdot \int f(x)\, dx\)

    Although we know general rules for derivatives of products and quotients, unfortunately there are no easy general patterns for antiderivatives of products and quotients — we will only be able to add one more general property to this list (in Section 8.2).

    We already know antiderivatives for several important functions.

    Theorem

    Constant Functions: \(\displaystyle \int k\, dx = kx + C\)

    Powers of \(x\): \(\displaystyle \int \, x^p\, dx = \frac{x^{p+1}}{p+1} + C\) if \(p \neq -1\), \(\displaystyle \int \frac{1}{x}\, dx = \ln\left|x\right| + C\)

    Exponential Functions: \(\displaystyle \int e^x\, dx = e^x + C\)

    Trig Functions: \(\displaystyle \int \cos(x)\, dx = \sin(x) + C\), \(\displaystyle \int \sin(x)\, dx = -\cos(x) + C\)

    \(\displaystyle \int \sec^2(x)\, dx = \tan(x) + C\), \(\displaystyle \int \csc^2(x)\, dx = -\cot(x) + C\)

    \(\displaystyle \int \sec(x)\cdot \tan(x)\, dx = \sec(x) + C\), \(\displaystyle \int \csc(x)\cdot \cot(x)\, dx = -\csc(x) + C\)

    All of these antiderivatives can be verified by differentiating. For \(\int \frac{1}{x}\, dx\) you may be wondering about the presence of the absolute value signs in the antiderivative. If \(x>0\), you can check that:\[\mbox{D}\left(\ln(\left|x\right|)\right) = \mbox{D}\left(\ln(x)\right) =\frac{1}{x}\nonumber\]If \(x<0\), then you can check that:\[\mbox{D}\left(\ln(\left|x\right|)\right) = \mbox{D}\left(\ln(-x)\right) =\frac{-1}{-x} = \frac{1}{x}\nonumber\]When computing a definite integral of the form \(\int_a^b \frac{1}{x}\, dx\), either \(a\) and \(b\) will both be positive or both be negative, because the integrand is not defined at \(x=0\), so \(x=0\) cannot be included in the interval of integration.

    Our list of antiderivatives of particular functions will grow in coming chapters and will eventually include antiderivatives of additional trigonometric functions, the inverse trigonometric functions, logarithms, rational functions and more. (See Appendix I.)

    Antiderivatives of More Complicated Functions

    Antiderivatives are very sensitive to small changes in the integrand, so we should be very careful. (Fortunately, an antiderivative can always be checked by differentiating, so even though we may not find the correct antiderivative, we should be able to determine whether or not an antiderivative candidate is actually an antiderivative.)

    Example \(\PageIndex{1}\)

    We know \(\mbox{D}\left(\sin(x)\right) = \cos(x)\), so \(\displaystyle \int \cos(x) \, dx = \sin(x)+C\). Find:

    1. \(\displaystyle \int \cos(2x +3) \, dx\)
    2. \(\displaystyle \int \cos(5x -7) \, dx\)
    3. \(\displaystyle \int \cos(x^2) \, dx\)
    Solution
    1. Because \(\sin(x)\) is an antiderivative of \(\cos(x)\), it is reasonable to hope that \(\sin(2x+3)\) will be an antiderivative of \(\cos(2x+3)\). Unfortunately, we see that \(\mbox{D}\left(\sin(2x+3)\right) = \cos(2x+3)\cdot 2\), exactly twice the result we want. Let’s try again by modifying our “guess” to be half the original guess:\[\mbox{D}\left(\frac12 \sin(2x+3) \right) = \frac12\cos(2x+3)\cdot 2 = \cos(2x+3)\nonumber\]which is what we want, so \(\displaystyle \int \cos(2x+3) \, dx = \frac12 \sin(2x+3) + C\).
    2. \(\displaystyle \mbox{D}\left(\sin(5x-7)\right) = \cos(5x -7)\cdot 5\), so dividing the original guess by \(5\) we get \(\mbox{D}\left(\frac15 \sin(5x-7) \right) = \frac15 \cos(5x-7)\cdot 5 = \cos(5x-7)\) and conclude that \(\displaystyle \int \cos(5x-7) \, dx = \frac15 \sin(5x-7) + C\).
    3. \(\mbox{D}\left(\sin(x^2)\right) = \cos(x^2)\cdot 2x\). It was easy enough in parts (a) and (b) to modify our “guesses” to eliminate the constants \(2\) and \(5\), but here the \(x\) is much harder to eliminate: \begin{align*}\mbox{D}\left(\frac{1}{2x} \sin\left(x^2\right)\right) &= \mbox{D}\left(\frac{\sin(x^2)}{2x}\right)\\ &= \frac{2x\cdot\mbox{D}\left(\sin(x^2)\right)-\sin(x^2)\cdot\mbox{D}(2x)}{(2x)^2)}\\ &= \frac{(2x)^2\cos(x^2)-2\sin(x^2)}{(2x)^2}\\ &= \cos(x^2) - \frac{\sin(x^2)}{2x^2} \neq \cos(x^2)\end{align*} Our guess did not check out — we’re stuck.

    The value of a definite integral of \(\cos(x^2)\) could still be approximated as accurately as needed by using Riemann sums or one of the numerical techniques in Sections 4.9 and 8.7, but no matter how hard we try, we cannot find a concise formula for an antiderivative of \(\cos(x^2)\) in order to use the Fundamental Theorem of Calculus. Even a simple-looking integrand can be very difficult. At this point, there is no quick way to tell the difference between an “easy” indefinite integral and a “difficult” or “impossible” one.

    Note

    Advanced mathematical techniques beyond the scope of this text can show that \(\cos(x^2)\) does not have an “elementary” antiderivative composed of polynomials, roots, trigonometric functions, exponential functions or their inverses.

    Getting the Constants Right

    The previous example illustrated one technique for finding antiderivatives: “guess” the form of the answer, differentiate your “guess” and then modify your original “guess” so its derivative is exactly what you want it to be.

    Example \(\PageIndex{2}\)

    Knowing that \(\displaystyle \int \sec^2(x) \, dx = \tan(x) + C\) and \(\displaystyle \int \frac{1}{\sqrt{x}} \, dx = 2\sqrt{x} + C\), find:

    1. \(\displaystyle \int \sec^2(3x+7) \, dx\)
    2. \(\displaystyle \int \frac{1}{\sqrt{5x+3}} \, dx\)
    Solution
    1. If we “guess” an answer of \(\tan(3x+7)\) and then differentiate it, we get \(\mbox{D}\left(\tan(3x+7)\right) = \sec^2(3x+7)\cdot\mbox{D}(3x+7) = 3\sec^2(3x+7)\), which is three times what we want. If we divide our original guess by \(3\) and try again, we have: \begin{align*}\mbox{D}\left(\frac13 \tan(3x+7) \right) &= \frac13 \mbox{D}\left(\tan(3x+7)\right) = \frac13 \sec^2(3x+7)\cdot 3\\ &= \sec^2(3x+7)\end{align*} so \(\displaystyle \int \sec^2(3x+7) \, dx = \frac13 \tan(3x+7) + C\).
    2. If we “guess” \(2\sqrt{5x+3}\) and then differentiate it, we get:\[\mbox{D}\left(2\left(5x+3\right)^{\frac12}\right) = 2\cdot\frac12\left(5x+3\right)^{-\frac12}\mbox{D}(5x+3) = 5\cdot\left(5x+3\right)^{-\frac12}\nonumber\]which is five times what we want. Dividing our guess by \(5\) and differentiating, we have:\[\mbox{D}\left(\frac25\left(5x+3\right)^{\frac12}\right) = \frac25\cdot\frac12\left(5x+3\right)^{-\frac12}\cdot 5 = \frac{1}{\sqrt{5x+3}}\nonumber\]so \(\displaystyle \int \frac{1}{\sqrt{5x+3}} \, dx = \frac25\sqrt{5x+3}+C\).
    Practice \(\PageIndex{2}\)

    Find \(\displaystyle \int \sec^2(7x) \, dx\) and \(\displaystyle \int \frac{1}{\sqrt{3x+8}} \, dx\).

    Answer

    We know \(\mbox{D}\left(\tan(x)\right) = \sec^2(x)\), so it is reasonable to try \(\tan(7x)\): \)\mbox{D}\left(\tan(7x)\right) = \sec^2(7x)\cdot\mbox{D}(7x) = 7\sec^2(7x)\), a result seven times the result we want, so divide the original “guess” by \(7\) and try again:\[\mbox{D}\left(\frac17\tan(7x)\right) = \frac17 \sec^2(7x)\cdot 7 = \sec^2(7x)\nonumber\]so \(\displaystyle \int \sec^2(7x) \, dx = \frac17\tan(7x) + C\).

    \(\displaystyle \mbox{D}\left((3x + 8)^{\frac12}\right) = \frac12 (3x + 8)^{-\frac12}\mbox{D}(3x + 8) = \frac32 (3x + 8)^{-\frac12}\) so multiply our original “guess” by \(\displaystyle \frac23\):\[\mbox{D}\left(\frac23 (3x + 8)^{\frac12}\right) = \frac23 \cdot \frac12 \cdot (3x + 8)^{-\frac12}\cdot\mbox{D}(3x + 8) = \frac23\cdot\frac32 \cdot \frac{1}{\sqrt{3x + 8}}\nonumber\]hence \(\displaystyle \int \frac{1}{\sqrt{3x + 8}} \, dx = \frac23\sqrt{3x + 8}+C\).

    The “guess and check” method is a very effective technique if you can make a good first guess, one that misses the desired result only by a constant multiple. In that situation, just divide the first guess by the unwanted constant multiple. If the derivative of your guess misses by something other than a constant multiple, then more drastic modifications are needed. Sometimes the next technique can help.

    Making Patterns More Obvious: Changing the Variable

    Successful integration is mostly a matter of recognizing patterns. The “change of variable” technique can make some underlying patterns of an integral easier to recognize. Essentially, the technique involves rewriting an integral that is originally in terms of one variable, say \(x\), in terms of another variable, say \(u\), with the hope that it will be easier to find an antiderivative of the new integrand.

    For example, we can rewrite \(\displaystyle \int \cos(5x+1)\, dx\) by setting \(u = 5x+1\). Then \(\cos(5x+1)\) becomes \(\cos(u)\) but we must also convert the \(dx\) in the original integral. We know that \(\displaystyle \frac{du}{dx} = 5\), so rewriting this last expression in differential notation, we get \(du = 5\, dx\); isolating \(dx\) yields \(dx = \frac15 \, du\) so:\[\int \cos(5x+1)\, dx = \int \cos(u)\cdot \frac15\, du = \frac15 \int \cos(u)\, du\nonumber\]This new integral is easier:\[\frac15 \int \cos(u) \, du = \frac15 \sin(u) + C\nonumber\]but our original problem was in terms of \(x\) and our answer is in terms of \(u\), so we must “resubstitute” using the relationship \(u = 5x+1\):\[\frac15 \sin(u) + C = \frac15\sin(5x+1)+C\nonumber\]We can now conclude that:\[\int \cos(5x+1)\, dx = \frac15\sin(5x+1)+C\nonumber\] (As always, you can check this result by differentiating.)

    Note

    We first discussed differential notation in Section 2.8; although you may not have used them much in differential calculus, you will now use them extensively.

    We can summarize the steps of this “change of variable” (or “\(u\)-substitution”) method as:

    • set a new variable, say \(u\), equal to some function of the original variable \(x\)
    • calculate the differential \(du\) in terms of \(x\) and \(dx\)
    • rewrite the original integral in terms of \(u\) and \(du\)
    • integrate the new integral to get an answer in terms of \(u\)
    • resubstitute for \(u\) to get a result in terms of the original variable \(x\)

    Often \(u\) is set equal to some “interior” part of the original integrand function.

    Example \(\PageIndex{3}\)

    Make the suggested change of variable, rewrite each integral in terms of \(u\) and \(du\), and evaluate the integral.

    1. \(\displaystyle \int \cos(x) \cdot e^{\sin(x)}\, dx\) with \(u = \sin(x)\)
    2. \(\displaystyle \int \frac{2x}{5+x^2}\ dx\) with \(u = 5+x^2\)
    Solution
    1. \(u = \sin(x) \Rightarrow du = \cos(x)\, dx\) and \(\displaystyle e^{\sin(x)} = e^u\):\[\int \cos(x) e^{\sin(x)}\, dx = \int e^u\, du = e^u + C = e^{\sin(x)} + C\nonumber\]
    2. \(\displaystyle u = 5+x^2 \Rightarrow du = 2x\, dx\), so:\[\int \frac{2x}{5+x^2}\, dx = \int \frac{1}{u}\, du = \ln\left|u\right| + C = \ln\left|5+x^2\right| + C\nonumber\]Because \(5+x^2 > 0\), we can also write the answer as \(\ln\left(5+x^2\right)\).

    In each example, the change of variable did not find the antiderivative, but it did make the pattern of the integrand more obvious, which in turn made it easier to determine an antiderivative.

    Practice \(\PageIndex{3}\)

    Make the suggested change of variable, rewrite each integral in terms of \(u\) and \(du\) and evaluate the integral.

    1. \(\displaystyle \int \left(7x + 5\right)^3\, dx\) with \(u = 7x + 5\)
    2. \(\displaystyle \int 3x^2\cdot\sin\left(x^3-1\right)\, dx\) with \(u = x^3-1\)
    Answer
    1. \(u = 7x + 5 \Rightarrow du = 7 \, dx \Rightarrow dx = \frac17\, du\) so:\[\int \left(7x + 5\right)^3 \, dx = \int u^3 \cdot \frac17 \, du = \frac17 \cdot \frac14 u^4 + C = \frac{1}{28} \left(7x + 5\right)^4 + C\nonumber\]
    2. \(u = x^3-1 \Rightarrow du = 3x^2 \, dx\) so \(\int \sin(x^3-1)\cdot 3x^2\, dx\) becomes:\[\int \sin(u)\, du = -\cos(u ) + C = -\cos\left(x^3-1\right) + C\nonumber\]

    The previous examples have supplied a suggested substitution, but in the future you will need to decide what \(u\) should equal. Unfortunately there are no rules that guarantee your choice will lead to an easier integral — sometimes you will need to resort to trial and error until you find a particular \(u\)-substitution that works for your integrand. There is, however, a “rule of thumb” that frequently results in easier integrals. Even though the following suggestion comes with no guarantees, it is often worth trying.

    A “Rule of Thumb” for Changing the Variable

    If part of the integrand consists of a composition of functions, \(f\left( g(x ) \right)\), try setting \(u = g(x)\), the “inner” function.

    If part of the integrand is being raised to a power, try setting \(u\) equal to the part being raised to the power. For example, if the integrand includes \(\left(3 + \sin(x )\right)^5\), try \(u = 3 + \sin(x)\). If part of the integrand involves a trigonometric (or exponential or logarithmic) function of another function, try setting \(u\) equal to the “inside” function: if the integrand includes the function \(\sin\left(3+x^2\right)\), try \(u = 3+x^2\).

    The key to becoming skilled at selecting a good \(u\) and correctly making the substitution is practice.

    Example \(\PageIndex{4}\)

    Select a \(u\) for each integrand and rewrite the associated integral in terms of \(u\) and \(du\).

    1. \(\displaystyle \int \cos(3x) \sqrt{2 + \sin(3x)}\, dx\)
    2. \(\displaystyle \int \frac{5e^x}{2 + e^x}\, dx\)
    3. \(\displaystyle \int e^x \cdot \sin\left(e^x\right)\, dx\)
    Solution
    1. If \(u = 2+\sin(3x)\), \(du = 3\cos(3x)\, dx \Rightarrow \frac13 \, du = \cos(3x) \, dx\) so the integral becomes \(\displaystyle \int \frac13 \sqrt{u}\, du\).
    2. With \(u = 2 + e^x \Rightarrow du = e^x\, dx\), the integral becomes \(\displaystyle \int \frac{5}{u}\, du\).
    3. With \(u = e^x \Rightarrow du = e^x\, dx\), the integral becomes \(\displaystyle \int \sin(u)\, du\).

    Changing Variables with Definite Integrals

    If we need to change variables in a definite integral, we have two choices:

    • First work out the corresponding indefinite integral and then use that antiderivative and FTC2 to evaluate the definite integral.
    • Change variables in the definite integral, which requires changing the limits of integration from \(x\) limits to \(u\) limits.

    For the second option, if the original integral had endpoints \(x=a\) and \(x=b\), and we make the substitution \(u = g(x ) \Rightarrow du = g'(x) \, dx\), then the new integral will have endpoints \(u= g(a)\) and \(u=g(b)\):\[\int_{x=a}^{x=b} f\left(g(x)\right) \cdot g'(x) \, dx = \int_{u=g(a)}^{u=g(b)} f(u)\, du\nonumber\]

    Example \(\PageIndex{5}\)

    Evaluate \(\displaystyle \int_0^1 (3x-1)^4\, dx\).

    Solution

    Using the first option with \(u = 3x-1 \Rightarrow du = 3\, dx \Rightarrow \frac13 \, du = dx\), the corresponding indefinite integral becomes:\[\int (3x-1)^4\, dx = \int u^4 \cdot \frac13 \, du = \frac13 \cdot \frac15 u^5 + C = \frac{1}{15}\left(3x-1\right)^5+C\nonumber\]We now use this result to evaluate the original definite integral:
    \begin{align*}\int_0^1 (3x-1)^4\, dx &= \left[ \frac{1}{15}\left(3x-1\right)^5\right]_0^1 = \left[\frac{1}{15}\cdot 2^5\right]-\left[\frac{1}{15}\cdot (-1)^5\right]\\ &= \frac{32}{15}-\frac{-1}{15} = \frac{33}{15} = \frac{11}{5}\end{align*}

    For the second option, we make the same substitution \(u = 3x-1 \Rightarrow \frac13 \, du = dx\) while also computing \(x=0 \Rightarrow u = 3\cdot 0-1 = -1\) and \(x=1 \Rightarrow u = 3\cdot 1-1 = 2\):
    \begin{align*}\int_{x=0}^{x=1} (3x-1)^4\, dx &= \int_{u=-1}^{u=2} \frac13 u^4 \, du = \left. \frac13 \cdot \frac15 u^5 \right|_{-1}^2 &= \frac{2^5}{15} -\frac{(-1)^5}{15} = \frac{33}{15}\end{align*}
    We arrive at the same answer either way.

    (Both options require roughly the same amount of work and computation. In practice you should choose the option that seems easiest for you and poses the least risk of error.)

    Practice \(\PageIndex{4}\)

    If the original integrals in Example 4 had endpoints:

    1. \(x = 0\) to \(x = \pi\)
    2. \(x = 0\) to \(x = 2\) or
    3. \(x = 0\) to \(x = \ln(3)\)

    then the new integrals should have what endpoints?

    Answer
    1. \(u = 2+\sin(3x)\) so \(x = 0 \Rightarrow u = 2+\sin(3\cdot 0) = 2\) and \(x = \pi \Rightarrow u = 2+\sin(3\pi) = 2\). (This integral is now easy; why?)
    2. \(u = 2 + e^x\) so \(x = 0 \Rightarrow u = 2 + e^0 = 3\) and \(x = 2 \Rightarrow u = 2 + e^2\)
    3. \(u = e^x\) so \(x = 0 \Rightarrow u = e^0 = 1\) and \(\displaystyle x = \ln(3) \Rightarrow u = e^{\ln(3)} = 3\)

    Special Transformations for \(\int \sin^2(x)\, dx\) and \(\int \cos^2(x)\, dx\)

    The integrals of \(\sin^2(x)\) and \(\cos^2(x)\) arise often, and we can find their antiderivatives with the help of some trigonometric identities:

    \begin{align*}\cos(2x) &= 1 - 2\sin^2(x)\\ \cos(2x) &= 2\cos^2(x) - 1\\ \sin(2x) &= 2\sin(x)\cos(x)\end{align*}

    Solving the first identity in the margin for \(\sin^2(x)\), we get:\[\sin^2(x) = \frac12 - \frac12 \cos(2x)\nonumber\]and solving the second identity for \(\cos^2(x)\), we get:\[\cos^2(x) = \frac12 + \frac12 \cos(2x)\nonumber\]Integrating the first of these new identities yields:\[\int \sin^2(x) \, dx = \int\left[ \frac12 - \frac12 \cos(2x)\right]\, dx = \frac12 x - \frac14 \sin(2x) + C\nonumber\]Using the identity \(\sin(2x) = 2\sin(x)\cos(x)\), we can also write:\[\int \sin^2(x) \, dx = \frac12 x - \frac12 \sin(x)\cos(x) + C\nonumber\]Similarly, using \(\displaystyle \cos^2(x) = \frac12 + \frac12 \cos(2x)\) yields:\[\int \cos^2(x) \, dx = \frac12 x + \frac14 \sin(2x) + C = \frac12 x + \frac12 \sin(x)\cos(x) + C\nonumber\] (In practice, it’s easier to remember the new trig identities and use them to work out these antiderivatives, rather than memorizing the antiderivatives directly.)

    Problems

    For Problems 1–4:

    1. put \(f(x) = x^2\) and
    2. \(g(x) = x\) to verify the inequality.
    1. \(\displaystyle \int_1^2 f(x)\cdot g(x) \, dx \neq \left(\int_1^2 f(x) \, dx \right)\left(\int_1^2 g(x) \, dx \right)\)
    2. \(\displaystyle \int_1^2 \frac{f(x)}{g(x)} \, dx \neq \frac{\int_1^2 f(x) \, dx}{\int_1^2 g(x) \, dx}\)
    3. \(\displaystyle \int_0^1 f(x)\cdot g(x) \, dx \neq \left(\int_0^1 f(x) \, dx \right)\left(\int_0^1 g(x) \, dx \right)\)
    4. \(\displaystyle \int_1^4 \frac{f(x)}{g(x)} \, dx \neq \frac{\int_1^4 f(x) \, dx}{\int_1^4 g(x) \, dx}\)

    For Problems 5–14, use the suggested \(u\) to find \(du\) and rewrite the integral in terms of \(u\) and \(du\). Then find an antiderivative in terms of \(u\) and, finally, rewrite your answer in terms of \(x\).

    1. \(\displaystyle \int \cos(3x) \, dx\), \(u = 3x\)
    2. \(\displaystyle \int \sin(7x) \, dx\), \(u = 7x\)
    3. \(\displaystyle \int e^x\sin(2+e^x) \, dx\), \(u = 2+e^x\)
    4. \(\displaystyle \int e^{5x} \, dx\), \(u = 5x\)
    5. \(\displaystyle \int \cos(x)\sec^2\left(\sin(x)\right) \, dx\), \(u = \sin(x)\)
    6. \(\displaystyle \int \frac{\cos(x)}{\sin(x)} \, dx\), \(u = \sin(x)\)
    7. \(\displaystyle \int \frac{5}{3+2x} \, dx\), \(u = 3+2x\)
    8. \(\displaystyle \int x^2\left(5+x^3\right)^7 \, dx\), \(u = 5+x^3\)
    9. \(\displaystyle \int x^2\sin\left(1+x^3\right) \, dx\), \(u = 1+x^3\)
    10. \(\displaystyle \int \frac{e^x}{1+e^x} \, dx\), \(u = 1+e^x\)

    For Problems 15–26, use the change-of-variable technique to evaluate the indefinite integral.

    1. \(\displaystyle \int \cos(4x) \, dx\)
    2. \(\displaystyle \int e^{3x} \, dx\)
    3. \(\displaystyle \int x^3\left(5+x^4\right)^{11} \, dx\)
    4. \(\displaystyle \int x\cdot\sin\left(x^2\right) \, dx\)
    5. \(\displaystyle \int \frac{3x^2}{2+x^3} \, dx\)
    6. \(\displaystyle \int \frac{\sin(x)}{\cos(x)} \, dx\)
    7. \(\displaystyle \int \frac{\ln(x)}{x} \, dx\)
    8. \(\displaystyle \int x\sqrt{1+x^2} \, dx\)
    9. \(\displaystyle \int \left(1+3x\right)^7 \, dx\)
    10. \(\displaystyle \int \frac{1}{x} \cdot\sin(\ln(x)) \, dx\)
    11. \(\displaystyle \int e^x \cdot \sec\left(e^x\right)\cdot\tan\left(e^x\right) \, dx\)
    12. \(\displaystyle \int \frac{1}{\sqrt{x}}\cos\left(\sqrt{x}\right) \, dx\)

    In Problems 27–42, evaluate the integral.

    1. \(\displaystyle \int_0^{\frac{\pi}{2}} \cos(3x) \, dx\)
    2. \(\displaystyle \int_0^{\pi} \cos(4x) \, dx\)
    3. \(\displaystyle \int_0^1 e^x \cdot \sin\left(2+e^x\right) \, dx\)
    4. \(\displaystyle \int_0^1 e^{5x} \, dx\)
    5. \(\displaystyle \int_{-1}^1 x^2\left(1+x^3\right)^5 \, dx\)
    6. \(\displaystyle \int_0^1 x^4\left(x^5-1\right)^{10} \, dx\)
    7. \(\displaystyle \int_0^2 \frac{5}{3+2x} \, dx\)
    8. \(\displaystyle \int_0^{\ln(3)} \frac{e^x}{1+e^x} \, dx\)
    9. \(\displaystyle \int_0^1 x \sqrt{1-x^2} \, dx\)
    10. \(\displaystyle \int_2^5 \frac{2}{1+x} \, dx\)
    11. \(\displaystyle \int_0^1 \sqrt{1+3x} \, dx\)
    12. \(\displaystyle \int_0^1 \frac{1}{\sqrt{1+3x}} \, dx\)
    13. \(\displaystyle \int \sin^2(5x) \, dx\)
    14. \(\displaystyle \int \cos^2(3x) \, dx\)
    15. \(\displaystyle \int \left[\frac12 - \sin^2(x)\right] \, dx\)
    16. \(\displaystyle \int \left[e^x + \sin^2(x)\right] \, dx\)
    17. Find the area under one arch of \(y = \sin^2(x)\).
    18. Evaluate \(\displaystyle \int_0^{2\pi} \sin^2(x)\, dx\).

    In Problems 45–53, expand the integrand first.

    1. \(\displaystyle \int \left(x^2+1\right)^3 \, dx\)
    2. \(\displaystyle \int \left(x^3+5\right)^2 \, dx\)
    3. \(\displaystyle \int \left(e^x+1\right)^2 \, dx\)
    4. \(\displaystyle \int \left(x^2+3x-2\right)^2 \, dx\)
    5. \(\displaystyle \int (x^2+1)(x^3+5)\: dx\)
    6. \(\displaystyle \int \left(7+\sin(x)\right)^2 \, dx\)
    7. \(\displaystyle \int e^x \left(e^x+e^{3x}\right) \, dx\)
    8. \(\displaystyle \int \left(2+\sin(x)\right)\sin(x) \, dx\)
    9. \(\displaystyle \int \sqrt{x}\left(x^2+3x-2\right) \, dx\)

    In Problems 54–64, divide, then find an antiderivative.

    1. \(\displaystyle \int \frac{x+1}{x} \ dx\)
    2. \(\displaystyle \int \frac{3x}{x+1} \ dx\)
    3. \(\displaystyle \int \frac{x-1}{x+2} \ dx\)
    4. \(\displaystyle \int \frac{x^2-1}{x+1} \ dx\)
    5. \(\displaystyle \int \frac{2x^2-13x+15}{x-1} \ dx\)
    6. \(\displaystyle \int \frac{2x^2-13x+18}{x-1} \ dx\)
    7. \(\displaystyle \int \frac{2x^2-13x+11}{x-1} \ dx\)
    8. \(\displaystyle \int \frac{x+2}{x-1} \ dx\)
    9. \(\displaystyle \int \frac{e^x+e^{3x}}{e^x} \ dx\)
    10. \(\displaystyle \int \frac{x+4}{\sqrt{x}} \ dx\)
    11. \(\displaystyle \int \frac{\sqrt{x}+3}{x} \ dx\)

     

    The definite integrals in Problems 65–70 involve areas associated with parts of circles; use your knowledge of circles and their areas to evaluate them. (Suggestion: Sketch a graph of the integrand function.)

    1. \(\displaystyle \int_{-1}^{1} \sqrt{1-x^2} \, dx\)
    2. \(\displaystyle \int_{0}^{1} \sqrt{1-x^2} \, dx\)
    3. \(\displaystyle \int_{-3}^{3} \sqrt{9-x^2} \, dx\)
    4. \(\displaystyle \int_{-4}^{0} \sqrt{16-x^2} \, dx\)
    5. \(\displaystyle \int_{-1}^{1} \left[2+\sqrt{1-x^2}\right] \, dx\)
    6. \(\displaystyle \int_{0}^{2} \left[3-\sqrt{1-x^2}\right] \, dx\)

    4.6: Finding Antiderivatives is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?