Study Notes on Indefinite Integrals

Chapter 5: Integrals - Part 1: Indefinite Integrals

5.1 Antiderivatives and Indefinite Integrals

  • Definition 1: Let f:IightarrowextRf : I ightarrow ext{R} be a real function defined on an interval II. A function F:IightarrowextRF : I ightarrow ext{R} is called an antiderivative of ff on II if:

    1. FF is differentiable on II, and

    2. For every xextinIx ext{ in } I, Fext(x)=f(x)F^{ ext{'}}(x) = f(x).

Examples of Antiderivatives
  1. Let f:extR<br>ightarrowextR,f(x)=2xf : ext{R} <br>ightarrow ext{R}, f(x) = 2x. The functions:

    • F1(x)=x2+1F_1(x) = x^2 + 1

    • F2(x)=x23F_2(x) = x^2 - 3
      are two antiderivatives of ff on extRext{R}.

  2. The functions x<br>ightarrowextsin(x)+cx <br>ightarrow ext{sin}(x) + c (where cextinextRc ext{ in } ext{R}) are antiderivatives of the function x<br>ightarrowextcos(x)x <br>ightarrow ext{cos}(x) on extRext{R}.

  3. The functions x<br>ightarrowextln(x)+cx <br>ightarrow ext{ln}(x) + c (where cextinextRc ext{ in } ext{R}) are antiderivatives of the function x<br>ightarrowrac1xx <br>ightarrow rac{1}{x} on the interval (0,+ext)(0,+ ext{∞}).

  4. The functions x<br>ightarrowextln(x)+cx <br>ightarrow ext{ln}(-x) + c (where cextinextRc ext{ in } ext{R}) are antiderivatives of the function x<br>ightarrowrac1xx <br>ightarrow rac{1}{x} on the interval (ext,0)(- ext{∞}, 0).

Proposition 1
  • If a real function ff has an antiderivative FF on an interval II, then the antiderivatives of ff are the functions F+cF + c, where cc is any constant.

Proof: Let G:I<br>ightarrowextRG:I <br>ightarrow ext{R} defined by G(x)=F(x)+cG(x) = F(x) + c, where cextinextRc ext{ in } ext{R}. Then:
Gext(x)=Fext(x)=f(x)extforallxextinI.G^{ ext{'}}(x) = F^{ ext{'}}(x) = f(x) ext{ for all } x ext{ in } I. So, GG is also an antiderivative of ff. Conversely, if F,G:I<br>ightarrowextRF, G : I <br>ightarrow ext{R} are two antiderivatives of the same real function f:I<br>ightarrowextRf : I <br>ightarrow ext{R}, then we have:

(FG)ext(x)=Fext(x)Gext(x)=f(x)f(x)=0extforallxextinI.(F - G)^{ ext{'}}(x) = F^{ ext{'}}(x) - G^{ ext{'}}(x) = f(x) - f(x) = 0 ext{ for all } x ext{ in } I.

Since II is an interval, from the relation above it follows that the function FGF - G is constant on II. Hence, G(x)=F(x)+cG(x) = F(x) + c for all xextinIx ext{ in } I, with cextinextRc ext{ in } ext{R}.

Remark 1
  • If ff has an antiderivative FF on the interval II, then all antiderivatives of ff are functions of the form F+cF + c. This implies that ff has infinitely many antiderivatives differing by a constant.

Remark 2
  1. Not every function has an antiderivative. However, we will prove later that every continuous function on an interval has an antiderivative on that interval.

  2. There exist discontinuous functions having an antiderivative. For instance, the function FF defined on extRext{R} by:
    F(x) =egin{cases}
    x^2 ext{sin}(1/x) & ext{if } x
    eq 0 \
    0 & ext{if } x = 0
    \ ext{is an antiderivative of the function} \ f ext{ defined on } ext{R} ext{ by } f(x) = egin{cases}
    2x ext{sin}(1/x) - ext{cos}(1/x) & ext{if } x
    eq 0 \
    0 & ext{if } x = 0
    \

which is discontinuous at zero.

5.2 General Methods for Computing Indefinite Integrals

Remarks and Notations
  1. If Fisanantiderivativeofis an antiderivative offonintervalon intervalI,wewrite:<br>, we write:<br>\int f(x) \, dx = F(x) + c , c ext{ in } ext{R} ag{5.1}.Thenotation. The notation\int f(x) \, dxiscalledtheindefiniteintegralofis called the indefinite integral off.</p></li><li><p>Thevariable.</p></li><li><p>The variablexintherelation(5.1)iscalledthevariableofintegration.Moreover,thesymbolin the relation (5.1) is called the variable of integration. Moreover, the symboldxin(5.1)indicatestheindependentvariablein (5.1) indicates the independent variablexwithrespecttowhichtheoriginaldifferentiationwasmade.Italsosuggeststhattheintegrationprocesshastobeperformedwithrespecttowith respect to which the original differentiation was made. It also suggests that the integration process has to be performed with respect tox.</p></li><li><p>Theconstant.</p></li><li><p>The constantcintherelation(5.1)iscalledtheconstantofintegration.</p></li><li><p>Thefunctionin the relation (5.1) is called the constant of integration.</p></li><li><p>The functionf(x)intherelation(5.1)iscalledtheintegrand.</p></li><li><p>Thequestion"calculateanindefiniteintegralin the relation (5.1) is called the integrand.</p></li><li><p>The question "calculate an indefinite integral\int f(x) \, dx"means:Findanantiderivativeof" means: Find an antiderivative off,defineduptoanadditiveconstant.</p></li></ol><h5id="b7cde96081d74b7e98d3f503342fd7f2"datatocid="b7cde96081d74b7e98d3f503342fd7f2"collapsed="false"seolevelmigrated="true">ExamplesofIndefiniteIntegrals</h5><ol><li><p>Since, defined up to an additive constant.</p></li></ol><h5 id="b7cde960-81d7-4b7e-98d3-f503342fd7f2" data-toc-id="b7cde960-81d7-4b7e-98d3-f503342fd7f2" collapsed="false" seolevelmigrated="true">Examples of Indefinite Integrals</h5><ol><li><p>Sincex
    ightarrow x^2isanantiderivativeofis an antiderivative ofx
    ightarrow 2xonon ext{R},wewrite:<br>, we write:<br>\int 2x \, dx = x^2 + c , c ext{ in } ext{R}.</p></li><li><p>Since.</p></li><li><p>Sincex
    ightarrow ext{sin}(x)isanantiderivativeofis an antiderivative ofx
    ightarrow ext{cos}(x)onon ext{R},wewrite:<br>, we write:<br>\int ext{cos}(x) \, dx = ext{sin}(x) + c , c ext{ in } ext{R}.</p></li></ol><h5id="8331827d278d431f807aefd1ed9b8421"datatocid="8331827d278d431f807aefd1ed9b8421"collapsed="false"seolevelmigrated="true">Remark3</h5><ul><li><p>Thequestion"provethatthefunction.</p></li></ol><h5 id="8331827d-278d-431f-807a-efd1ed9b8421" data-toc-id="8331827d-278d-431f-807a-efd1ed9b8421" collapsed="false" seolevelmigrated="true">Remark 3</h5><ul><li><p>The question "prove that the functionFisanantiderivativeofis an antiderivative offonanintervalon an intervalI"isequivalenttothequestion"provethatforall" is equivalent to the question "prove that for allx ext{ in } I: \int f(x) \, dx = F(x) + c , c ext{ in } ext{R}.Toanswerthisquestion,itsufficestoshowthat. To answer this question, it suffices to show thatF^{ ext{'}}(x) = f(x)ononI.</p></li></ul><h5id="c7c795ca50584d47b387efa51113de06"datatocid="c7c795ca50584d47b387efa51113de06"collapsed="false"seolevelmigrated="true">Example2</h5><ul><li><p>Provethatforall.</p></li></ul><h5 id="c7c795ca-5058-4d47-b387-efa51113de06" data-toc-id="c7c795ca-5058-4d47-b387-efa51113de06" collapsed="false" seolevelmigrated="true">Example 2</h5><ul><li><p>Prove that for allx ext{ in } ext{R}wehave:<br>we have:<br>\int \frac{x}{x^2+x+1} \, dx = rac{1}{2} ext{ln}(x^2 + x + 1) - rac{1}{3} ext{arctan}igg( rac{2x + 1}{ ext{sqrt{3}}}igg) + c , c ext{ in } ext{R}.</p></li></ul><h5id="da3fd9187d7c4151a5c66017e7d1fbef"datatocid="da3fd9187d7c4151a5c66017e7d1fbef"collapsed="false"seolevelmigrated="true">5.2.1AntiderivativesofCommonFunctions</h5><ul><li><p>Thetablebelowliststheantiderivativesofcommonfunctions,whicharedeterminedbyreversingtheprocessofdifferentiationandareessentialforfuturecalculationsofintegrals(bothantiderivativesanddefiniteintegrals).</p></li></ul><tablestyle="minwidth:75px;"><colgroup><colstyle="minwidth:25px;"><colstyle="minwidth:25px;"><colstyle="minwidth:25px;"></colgroup><tbody><tr><thcolspan="1"rowspan="1"><p>Function</p></li></ul><h5 id="da3fd918-7d7c-4151-a5c6-6017e7d1fbef" data-toc-id="da3fd918-7d7c-4151-a5c6-6017e7d1fbef" collapsed="false" seolevelmigrated="true">5.2.1 Antiderivatives of Common Functions</h5><ul><li><p>The table below lists the antiderivatives of common functions, which are determined by reversing the process of differentiation and are essential for future calculations of integrals (both antiderivatives and definite integrals).</p></li></ul><table style="min-width: 75px;"><colgroup><col style="min-width: 25px;"><col style="min-width: 25px;"><col style="min-width: 25px;"></colgroup><tbody><tr><th colspan="1" rowspan="1"><p>Functionf(x)</p></th><thcolspan="1"rowspan="1"><p>Antiderivative</p></th><th colspan="1" rowspan="1"><p>Antiderivative\int f(x) \, dx</p></th><thcolspan="1"rowspan="1"><p>Domain</p></th></tr><tr><tdcolspan="1"rowspan="1"><p></p></th><th colspan="1" rowspan="1"><p>Domain</p></th></tr><tr><td colspan="1" rowspan="1"><p>x^n, n ext{ in } ext{R}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p>\frac{x^{n+1}}{n+1} + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allxexceptwhereexcept wheren=-1</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p>\frac{1}{x^m}, m ext{ in } ext{R}, m

    eq 1</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p>\frac{x^{-m+1}}{-m+1} + c = -\frac{1}{m-1} x^{m-1} + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx,,m

    eq 0</p></td><tdcolspan="1"rowspan="1"><p></p></td><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p>e^x</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p>e^x + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> ext{sinh}(x)</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{cosh}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> ext{cosh}(x)</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{sinh}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> ext{cos}(x)</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{sin}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> ext{sin}(x)</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p>- ext{cos}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> rac{1}{ ext{cos}^2(x)}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{tan}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allxexceptoddmultiplesofexcept odd multiples of\frac{ ext{π}}{2}</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> rac{1}{ ext{sin}^2(x)}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p>- ext{cot}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allxexceptmultiplesofexcept multiples of ext{π}</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> rac{1}{x^2+1}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{arctan}(x) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> rac{1}{ ext{sqrt{1-x^2}}}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{arcsin}(x) + c</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p>-1 < x < 1</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> rac{1}{ ext{cosh}^2(x)}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{argsinh}(x) + c = ext{ln}(x + ext{sqrt{x}^2+1}) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx</p></td></tr><tr><tdcolspan="1"rowspan="1"><p></p></td></tr><tr><td colspan="1" rowspan="1"><p> rac{1}{ ext{sqrt{x^2-1}}}</p></td><tdcolspan="1"rowspan="1"><p></p></td><td colspan="1" rowspan="1"><p> ext{argch}(x) + c = ext{ln}(x + ext{sqrt{x}^2-1}) + c</p></td><tdcolspan="1"rowspan="1"><p>All</p></td><td colspan="1" rowspan="1"><p>Allx, x > 1</p></td></tr></tbody></table><h5id="5aa0beb4d9054685a151a403e56b64b4"datatocid="5aa0beb4d9054685a151a403e56b64b4"collapsed="false"seolevelmigrated="true">5.2.2OperationsonAntiderivatives</h5><ul><li><p>Byreversingtheprocessofdifferentiation,wecanshow:</p></li></ul><p><strong>Proposition2</strong>:If</p></td></tr></tbody></table><h5 id="5aa0beb4-d905-4685-a151-a403e56b64b4" data-toc-id="5aa0beb4-d905-4685-a151-a403e56b64b4" collapsed="false" seolevelmigrated="true">5.2.2 Operations on Antiderivatives</h5><ul><li><p>By reversing the process of differentiation, we can show:</p></li></ul><p><strong>Proposition 2</strong>: Iffandandgaretworealfunctionshavingantiderivativesare two real functions having antiderivativesFandandGonacertainintervalon a certain intervalI,thenforall, then for allx ext{ in } Iandforalland for all ext{α, β in } ext{R},wehave:<br>, we have:<br>\int (\alpha f(x) + \beta g(x)) \, dx = \alpha \int f(x) \, dx + \beta \int g(x) \, dx = \alpha F(x) + \beta G(x) + c.</p><h5id="7a8d0c5de55d4206a36f67b436b90a32"datatocid="7a8d0c5de55d4206a36f67b436b90a32"collapsed="false"seolevelmigrated="true">Example2</h5><ul><li><p>Calculatethefollowingintegrals:</p><ol><li><p>.</p><h5 id="7a8d0c5d-e55d-4206-a36f-67b436b90a32" data-toc-id="7a8d0c5d-e55d-4206-a36f-67b436b90a32" collapsed="false" seolevelmigrated="true">Example 2</h5><ul><li><p>Calculate the following integrals:</p><ol><li><p>\int (x^4 - 2x^3 - 1) \, dx</p></li><li><p></p></li><li><p>\int (2 ext{sin}(x) + 5 ext{cos}(x)) \, dx</p></li><li><p></p></li><li><p>\int \frac{4}{x^2 + 1} \, dx</p></li></ol></li></ul><p><strong>Answers</strong>:</p><ol><li><p>Usingthelinearityoftheintegral,weseethat:<br></p></li></ol></li></ul><p><strong>Answers</strong>:</p><ol><li><p>Using the linearity of the integral, we see that:<br>\int (x^4 - 2x^3 - 1) \, dx = \frac{x^5}{5} - \frac{x^4}{2} - x + c, c ext{ in } ext{R}.</p></li><li><p>Wecaneasilyfind:<br>.</p></li><li><p>We can easily find:<br>\int (2 ext{sin}(x) + 5 ext{cos}(x)) \, dx = 2\int ext{sin}(x) \, dx + 5\int ext{cos}(x) \, dx = -2 ext{cos}(x) + 5 ext{sin}(x) + c, c ext{ in } ext{R}.</p></li><li><p>.</p></li><li><p>\int \frac{4}{x^2 + 1} \, dx = 4\int \frac{1}{x^2 + 1} \, dx = 4 ext{arctan}(x) + c, c ext{ in } ext{R}.</p></li></ol><h5id="e2c8a3044d8049a3bd5c9190cee540b1"datatocid="e2c8a3044d8049a3bd5c9190cee540b1"collapsed="false"seolevelmigrated="true">Remark4</h5><ul><li><p>Wecanintegrateanyfunctionthatisthederivativeofaknownfunction,butthereareelementaryfunctionsthatarenotthederivativeofanyelementaryfunction,suchas:</p><ul><li><p>.</p></li></ol><h5 id="e2c8a304-4d80-49a3-bd5c-9190cee540b1" data-toc-id="e2c8a304-4d80-49a3-bd5c-9190cee540b1" collapsed="false" seolevelmigrated="true">Remark 4</h5><ul><li><p>We can integrate any function that is the derivative of a known function, but there are elementary functions that are not the derivative of any elementary function, such as:</p><ul><li><p>e^{-x^{2}},, ext{sin}(x) ext{ln}(x),and, ande^{x} x.Thismeansthattheantiderivativeisanewfunction,notbelongingtoacatalogofwellknownelementaryfunctions.</p></li></ul></li></ul><h5id="81aad9c06aab4095920648aba2216037"datatocid="81aad9c06aab4095920648aba2216037"collapsed="false"seolevelmigrated="true">5.2.3IntegrationbyPartsforIndefiniteIntegrals</h5><p><strong>Theorem1</strong>:Let. This means that the antiderivative is a new function, not belonging to a catalog of well-known elementary functions.</p></li></ul></li></ul><h5 id="81aad9c0-6aab-4095-9206-48aba2216037" data-toc-id="81aad9c0-6aab-4095-9206-48aba2216037" collapsed="false" seolevelmigrated="true">5.2.3 Integration by Parts for Indefinite Integrals</h5><p><strong>Theorem 1</strong>: Letuandandvbetwofunctionscontinuouslydifferentiableonanintervalbe two functions continuously differentiable on an intervalI.Wehave:<br>. We have:<br>\int u^{ ext{'}}(x)v(x) \, dx = u(x)v(x) - \int u(x)v^{ ext{'}}(x) \, dx ag{5.2}.</p><p><strong>Proof</strong>:Wehave:<br>.</p><p><strong>Proof</strong>: We have:<br>(uv)^{ ext{'}} = u^{ ext{'}}v + uv^{ ext{'}}\Rightarrow u^{ ext{'}}v = (uv)^{ ext{'}} - uv^{ ext{'}} \Rightarrow \int u^{ ext{'}}(x)v(x) \, dx = \int (uv)^{ ext{'}}(x) \, dx - \int (uv^{ ext{'}})(x) = u(x)v(x) - \int u(x)v^{ ext{'}}(x) \, dx.</p><h5id="1fa9bbc3f61140a681786ceecf4d37a8"datatocid="1fa9bbc3f61140a681786ceecf4d37a8"collapsed="false"seolevelmigrated="true">Example3</h5><ul><li><p>Calculate:.</p><h5 id="1fa9bbc3-f611-40a6-8178-6ceecf4d37a8" data-toc-id="1fa9bbc3-f611-40a6-8178-6ceecf4d37a8" collapsed="false" seolevelmigrated="true">Example 3</h5><ul><li><p>Calculate:\int x ext{sin}(x) \, dx.<strong>Answer</strong>:Weuseintegrationbyparts(IBP).Let:</p><ul><li><p>. <strong>Answer</strong>: We use integration by parts (IBP). Let:</p><ul><li><p>u = x</p></li><li><p></p></li><li><p>v^{ ext{'}} = ext{sin}(x)\Rightarrowv = - ext{cos}(x) \
    Conversion:
    \int x ext{sin}(x) \, dx = -x ext{cos}(x) + \int - ext{cos}(x) \, dx = -x ext{cos}(x) + ext{sin}(x) + c, c ext{ in } ext{R}.</p></li></ul></li></ul><h5id="2fe77cacc8e74036b5ad6a8bafd8d0a5"datatocid="2fe77cacc8e74036b5ad6a8bafd8d0a5"collapsed="false"seolevelmigrated="true">5.2.4SubstitutionMethodforIndefiniteIntegrals</h5><p><strong>Proposition3(FirstSubstitutionMethod)</strong>:LetIandJbetwointervalsof.</p></li></ul></li></ul><h5 id="2fe77cac-c8e7-4036-b5ad-6a8bafd8d0a5" data-toc-id="2fe77cac-c8e7-4036-b5ad-6a8bafd8d0a5" collapsed="false" seolevelmigrated="true">5.2.4 Substitution Method for Indefinite Integrals</h5><p><strong>Proposition 3 (First Substitution Method)</strong>: Let I and J be two intervals of ext{R},,ig[ ext{implies} ,, ext{ψ} : I → Jadifferentiablefunction,anda differentiable function, andf : J
    ightarrow ext{R}acontinuousfunction.Ifa continuous function. IfFisanantiderivativeofis an antiderivative offononJ,then, thenF ig ext{◦} ext{ψ}isanantiderivativeofis an antiderivative of(f ig ext{◦} ext{ψ}) imes ext{ψ}^{ ext{'}}ononI.</p><h6id="bf0d8e208c5c4b7186d85ca10f8aa80c"datatocid="bf0d8e208c5c4b7186d85ca10f8aa80c"collapsed="false"seolevelmigrated="true">IndefiniteIntegralRepresentation</h6><p>.</p><h6 id="bf0d8e20-8c5c-4b71-86d8-5ca10f8aa80c" data-toc-id="bf0d8e20-8c5c-4b71-86d8-5ca10f8aa80c" collapsed="false" seolevelmigrated="true">Indefinite Integral Representation</h6><p>\int f(\text{ψ}(x)) ext{ψ}^{ ext{'}}(x) \, dx = \int f(t) \, dt = F(t) + c = F(\text{ψ}(x)) + c,where, wheret = ext{ψ}(x).</p><p><strong>Proof</strong>:Since.</p><p><strong>Proof</strong>: SinceFisanantiderivativeofis an antiderivative offononJ,itisdifferentiableon, it is differentiable onJanditsderivativeisand its derivative isf.Since. Since ext{ψ}isdifferentiableonis differentiable onI,thecompositefunction, the composite functionF ig ext{◦} ext{ψ}isdifferentiableonis differentiable onIanditsderivativeis:<br>and its derivative is:<br>(F ig ext{◦} ext{ψ})^{ ext{'}}(x) = F^{ ext{'}}( ext{ψ}(x)) ext{ψ}^{ ext{'}}(x) = f( ext{ψ}(x)) ext{ψ}^{ ext{'}}(x).<br>Thismeansthat<br>This means thatF ig ext{◦} ext{ψ}isanantiderivativeofis an antiderivative of(f ig ext{◦} ext{ψ}) imes ext{ψ}^{ ext{'}}ononI.</p><h6id="c28b1b0836534077b71460c3058e24b8"datatocid="c28b1b0836534077b71460c3058e24b8"collapsed="false"seolevelmigrated="true">FirstSubstitutionMethodSteps</h6><ol><li><p>Set.</p><h6 id="c28b1b08-3653-4077-b714-60c3058e24b8" data-toc-id="c28b1b08-3653-4077-b714-60c3058e24b8" collapsed="false" seolevelmigrated="true">First Substitution Method Steps</h6><ol><li><p>Sett = ext{ψ}(x)(thesubstitutionorchangeofvariable,from(the substitution or change of variable, fromxtototusingtheruleusing the rulet = ext{ψ}(x)).</p></li><li><p>).</p></li><li><p> rac{dt}{dx} = ext{ψ}^{ ext{'}}(x) \Rightarrow dt = ext{ψ}^{ ext{'}}(x) \, dxsotheexpressionso the expressionf( ext{ψ}(x)) ext{ψ}^{ ext{'}}(x) \, dxisreplacedbyis replaced byf(t) \, dt.</p></li><li><p>Compute.</p></li><li><p>Compute\int f(t) \, dt = F(t) + c.</p></li><li><p>Returntotheoriginalvariable.</p></li><li><p>Return to the original variablex,replace, replacet = ext{ψ}(x),weobtain:<br>, we obtain:<br>\int f( ext{ψ}(x)) ext{ψ}^{ ext{'}}(x) \, dx = \int f(t) \, dt = F(t) + c = F( ext{ψ}(x)) + c, c ext{ in } ext{R}.</p></li></ol><h5id="e108934741be4ec791bf4994ae176e72"datatocid="e108934741be4ec791bf4994ae176e72"collapsed="false"seolevelmigrated="true">Example4</h5><ul><li><p>Compute:<br></p></li></ol><h5 id="e1089347-41be-4ec7-91bf-4994ae176e72" data-toc-id="e1089347-41be-4ec7-91bf-4994ae176e72" collapsed="false" seolevelmigrated="true">Example 4</h5><ul><li><p>Compute:<br>\int e^{x} e^{2x + 1} \, dx.<br><strong>Answer</strong>:</p></li></ul><ol><li><p>Let.<br><strong>Answer</strong>:</p></li></ul><ol><li><p>Lett = e^{x}, x ext{ in } ext{R}.Thus. Thusdt = e^{x} \, dx.Hence:<br>. Hence:<br>\int e^{x}e^{2x+1} \, dx = \int \frac{1}{t^2} + dt = ext{arctan}(t) + c = ext{arctan}(e^{x}) + c, c ext{ in } ext{R}.</p></li></ol><h5id="8f9b946b004943279cafd822fddb115f"datatocid="8f9b946b004943279cafd822fddb115f"collapsed="false"seolevelmigrated="true">Example5</h5><ul><li><p>Compute:<br></p></li></ol><h5 id="8f9b946b-0049-4327-9caf-d822fddb115f" data-toc-id="8f9b946b-0049-4327-9caf-d822fddb115f" collapsed="false" seolevelmigrated="true">Example 5</h5><ul><li><p>Compute:<br>\int (\ln x)^{2022} x \, dx.</p></li></ul><ol><li><p>Take</p></li></ul><ol><li><p>Taket = ext{ln} x, x > 0.ThusThusdt = \frac{1}{x} \, dx.</p></li></ol><p>Overallsolution:<br>.</p></li></ol><p>Overall solution:<br>\int (\ln x)^{2022} x \, dx = \int t^{2022} dt = \frac{t^{2023}}{2023} + c = \frac{(\ln x)^{2023}}{2023} + c, c ext{ in } ext{R}.</p><h5id="4a432d767f9a44099eaf9a0a50779377"datatocid="4a432d767f9a44099eaf9a0a50779377"collapsed="false"seolevelmigrated="true">5.2.5Applications</h5><p><strong>Application1</strong>:Proposition2</p><ol><li><p></p><h5 id="4a432d76-7f9a-4409-9eaf-9a0a50779377" data-toc-id="4a432d76-7f9a-4409-9eaf-9a0a50779377" collapsed="false" seolevelmigrated="true">5.2.5 Applications</h5><p><strong>Application 1</strong>: Proposition 2</p><ol><li><p>\int u^{ ext{'}}(x) ext{cos}(u(x)) \, dx = ext{sin}(u(x)) + c, x ext{ in } I, c ext{ in } ext{R}.</p></li><li><p></p></li><li><p>\int u^{ ext{'}}(x) ext{sin}(u(x)) \, dx = - ext{cos}(u(x)) + c, x ext{ in } I, c ext{ in } ext{R}.</p></li><li><p></p></li><li><p>\int u^{ ext{'}}(x)u(x) \, dx = ext{ln}|u(x)| + c, ext{ if } u(x)
    eq 0 ext{ in } I, c ext{ in } ext{R}.</p></li><li><p></p></li><li><p>\int u^{ ext{'}}(x)(u(x))^{ ext{α}} \, dx = \frac{1}{ ext{α}+1}(u(x))^{ ext{α}+1} + c, \text{ if } u(x) > 0 ext{ in } I, ext{α} ext{ in } ext{R}, ext{α}
    eq -1, c ext{ in } ext{R}.</p></li></ol><p><strong>Proof</strong>:Ineachcase,changevariable</p></li></ol><p><strong>Proof</strong>: In each case, change variablet = u(x)andthenuseantiderivativesofstandardfunctions.</p><p><strong>Application2</strong>:Proposition3</p><ol><li><p>and then use antiderivatives of standard functions.</p><p><strong>Application 2</strong>: Proposition 3</p><ol><li><p>\int \frac{1}{x^{2}+a^{2}} \, dx = \frac{1}{a} ext{arctan}\left( rac{x}{a}\right) + c, a > 0, c ext{ in } ext{R}, x ext{ in } ext{R}.</p></li><li><p></p></li><li><p>\int \frac{1}{x^{2}-a^{2}} \, dx = \frac{1}{2a} ext{ln}\left|\frac{x-a}{x+a}\right| + c, a
    eq 0, c ext{ in } ext{R}, x
    eq ext{±} a.</p></li><li><p></p></li><li><p>\int \frac{1}{ ext{a}^2-x^2} \, dx = ext{arcsin}\left( rac{x}{a}\right) + c, a > 0, c ext{ in } ext{R}, |x| < a.</p></li><li><p></p></li><li><p>\int \frac{1}{ ext{a}^2 + x^2} \, dx = ext{argsinh}\left(\frac{x}{a}\right) + c = ext{ln}\left(x + ext{sqrt}(x^{2} + a^{2}) \right) + c, a > 0, c ext{ in } ext{R}, x ext{ in } ext{R}.</p></li><li><p></p></li><li><p>\int \frac{1}{−x^{2}+a^{2}} \, dx = ext{argcosh}\left(\frac{x}{a}\right) + c = ext{ln}\left(x + ext{sqrt}(x^{2} - a^{2})\right) + c, a > 0, c ext{ in } ext{R}, x > a.</p></li></ol><p><strong>Proof</strong>:Ineachcase,makethesubstitution</p></li></ol><p><strong>Proof</strong>: In each case, make the substitutiont = rac{u}{a},andthenusetheantiderivativesofstandardfunctions.</p><h5id="57fbcad4daca406d91471dab26130bea"datatocid="57fbcad4daca406d91471dab26130bea"collapsed="false"seolevelmigrated="true">Remark6</h5><ul><li><p>Incomputingindefiniteintegrals(i.e.,antiderivatives),weutilizetheresultsofPropositions2and3directly.Forexample:<br>, and then use the antiderivatives of standard functions.</p><h5 id="57fbcad4-daca-406d-9147-1dab26130bea" data-toc-id="57fbcad4-daca-406d-9147-1dab26130bea" collapsed="false" seolevelmigrated="true">Remark 6</h5><ul><li><p>In computing indefinite integrals (i.e., antiderivatives), we utilize the results of Propositions 2 and 3 directly. For example:<br>\int \frac{1}{x^{2} + 3} \, dx = \frac{1}{3} ext{arctan}\left(\frac{x}{\sqrt{3}}\right) + c, c ext{ in } ext{R}.</p></li></ul><h4id="017ad7abc60548ceab04d7bfb6a8252a"datatocid="017ad7abc60548ceab04d7bfb6a8252a"collapsed="false"seolevelmigrated="true">5.3IntegrationofCertainExpressionsContainingtheTrinomial</p></li></ul><h4 id="017ad7ab-c605-48ce-ab04-d7bfb6a8252a" data-toc-id="017ad7ab-c605-48ce-ab04-d7bfb6a8252a" collapsed="false" seolevelmigrated="true">5.3 Integration of Certain Expressions Containing the Trinomial ax^2 + bx + c </h4><h5id="f614ee21468548da973b2c68602759a8"datatocid="f614ee21468548da973b2c68602759a8"collapsed="false"seolevelmigrated="true">5.3.1Evaluationofintegral</h4><h5 id="f614ee21-4685-48da-973b-2c68602759a8" data-toc-id="f614ee21-4685-48da-973b-2c68602759a8" collapsed="false" seolevelmigrated="true">5.3.1 Evaluation of integral I(x) = \int A x + B \frac{1}{ax^2 + bx + c} \, dx </h5><ul><li><p>Method:Accordingtothesignof</h5><ul><li><p>Method: According to the sign of ext{Δ} = b^2 - 4ac .Therearethreecasestoconsider:</p></li></ul><ol><li><p><strong>Case. There are three cases to consider:</p></li></ul><ol><li><p><strong>Case ext{Δ} > 0 </strong>:</p><ul><li><p>Inthiscase,</strong>:</p><ul><li><p>In this case, P(x) hastwodistinctrealrootshas two distinct real roots x_1 < x_2 andwehaveand we have P(x) = a(x - x_1)(x - x_2).Weusepartialfractiondecomposition:<br>. We use partial fraction decomposition:<br> A x + B = \frac{p}{x - x_1} + \frac{q}{x - x_2}. <br>Here<br>Herepandandqaretworealnumbersthatneedtobedetermined.Thusforallare two real numbers that need to be determined. Thus for all x ext{ in } ext{R} exceptexcept ext{x} = x_1, x_2,wehave:<br>, we have:<br> I(x) = \int (Ax + B) \frac{1}{a(x - x_1)(x - x_2)} \, dx = \int \left( \frac{p}{x - x_1} + \frac{q}{x - x_2} \right) \,, dx = p ext{ln}|x - x_1| + q ext{ln}|x - x_2| + c, c ext{ in } ext{R}.</p></li></ul></li><li><p><strong>Case</p></li></ul></li><li><p><strong>Case ext{Δ} = 0 </strong>:</p><ul><li><p>Here,</strong>:</p><ul><li><p>Here, P(x) hasadoubleroothas a double root x_0 = -\frac{b}{2a} andwedenoteand we denote P(x) = a(x - x_0)^2 .Thusforall. Thus for all x ext{ in } ext{R} exceptexcept x = x_0 wehave:<br>we have:<br> I(x) = \int \frac{A x + B}{a(x - x_0)^2} \, dx = \frac{1}{a} \left[ A(x - x_0) + (B + A x_0)(x - x_0)^2 \right], c ext{ in } R.</p></li></ul></li><li><p><strong>Case</p></li></ul></li><li><p><strong>Case ext{Δ} < 0 </strong>:</p><ul><li><p>Inthiscase,weconsiderthetrinomial</strong>:</p><ul><li><p>In this case, we consider the trinomial P(x) = a x^2+bx+c withnorealroots.Inthiscase,wewillapplyintegrationviasubstitution:<br>Setwith no real roots. In this case, we will apply integration via substitution:<br>Set t = x + \frac{b}{2a} ,then, then d x = dt ,andweobtain:<br>, and we obtain:<br> I(x) = \int \frac{1}{a(t^2 + k^2)} \, dt. <br>Thuswecanusetrigonometricidentitiestoderiveanexpressionfortheintegral:<br><br>Thus we can use trigonometric identities to derive an expression for the integral:<br> I(x) = \frac{1}{a} \text{argucoth}\left(\frac{t}{k}\right) + c. </p></li></ul></li></ol><p><strong>Example6</strong>:Calculate:</p><ul><li><p></p></li></ul></li></ol><p><strong>Example 6</strong>: Calculate:</p><ul><li><p> G_1(x) = \int \frac{x-3}{x^2-3x+2} \, dx\</p></li><li><p></p></li><li><p> G_2(x) = \int \frac{5x+1}{x^2-4x+4} \, dx\</p></li><li><p></p></li><li><p> G_3(x) = \int \frac{x-3}{x^2+x+1} \, dx.</p></li></ul><h5id="c2fc4cee51864a4697268cc17834f297"datatocid="c2fc4cee51864a4697268cc17834f297"collapsed="false"seolevelmigrated="true">Answers:</h5><ol><li><p>Calculationof</p></li></ul><h5 id="c2fc4cee-5186-4a46-9726-8cc17834f297" data-toc-id="c2fc4cee-5186-4a46-9726-8cc17834f297" collapsed="false" seolevelmigrated="true">Answers:</h5><ol><li><p>Calculation of G_1(x) :</p></li></ol><ul><li><p>Thetrinomialisfactorable::</p></li></ol><ul><li><p>The trinomial is factorable: x^2 - 3x + 2 = (x - 1)(x - 2) ,withrespectiveroots, with respective roots x = 1 andand x = 2 .Thuswecanperformpartialfractiondecomposition,giving:<br>. Thus we can perform partial fraction decomposition, giving:<br> g(x) = a rac{1}{x-1} + b rac{1}{x-2} .<br>Thus,wehave:<br>.<br>Thus, we have:<br> G_1(x) = 2 ext{ln}|x - 1| - ext{ln}|x - 2| + c, c ext{ in } ext{R}.</p></li></ul><ol><li><p>StartCalculationfor</p></li></ul><ol><li><p>Start Calculation for G_2(x) :<br>:<br> G_2 = 5 \int rac{1}{(x - 2)^2} + 11\ int rac{1}{(x - 2)^2} = 5[ ext{ln}|x - 2| - 11]] \text{from the decomposition received from the comparison of the divisors.} </p></li><li><p>StartCalculationfor</p></li><li><p>Start Calculation for G_3(x) :<br>:<br> G_3 = 12 ((x+1)^2) $$; since we have a negative discriminant we cannot deduce any useful //////////////////

Example (continuation…) 7. Conclusion of significant implications/substantiation required.

Further examination of other methods can be called upon depending on accuracy.