Skip to main content
Mathematics LibreTexts

8.4.E: Problems on Integration of Elementary Functions

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

    Exercise \(\PageIndex{1}\)

    Verify Note 2.

    Exercise \(\PageIndex{1'}\)

    Prove Corollary \(1(\mathrm{iv})-(\text { vii })\).

    Exercise \(\PageIndex{2}\)

    Prove that \(\int_{A} f=0\) if \(m A=0\) or \(f=0\) on \(A .\) Disprove the converse by examples.

    Exercise \(\PageIndex{3}\)

    Find a primitive \(F\) for \(f=C_{R}\) in our example. Show that
    \[
    \int_{[0,1]} f d m=F(1)-F(0) .
    \]

    Exercise \(\PageIndex{4}\)

    Fill in the proof details in Theorem \(2 .\)
    [Hint: Use comparison test for series.]

    Exercise \(\PageIndex{5}\)

    \(\Rightarrow 5\). Show that if \(f\) and \(g\) are elementary and nonnegative with \(f \geq g\) on \(A,\) then
    \[
    \int_{A} f \geq \int_{A} g \geq 0 .
    \]
    [Hint: As in Theorem \(2,\) let
    \[
    f=\sum_{i} a_{i} C_{A_{i}} \text { and } g=\sum_{i} b_{i} C_{A_{i}} .
    \]
    Then \(\left.f \geq g \geq 0 \text { implies } a_{i} \geq b_{i} \geq 0 .\right]\)

    Exercise \(\PageIndex{6}\)

    \(\Rightarrow 6\). Prove that if \(f\) and \(g\) are elementary and (extended) real on \(A,\) then
    \[
    \int_{A}(f \pm g)=\int_{A} f \pm \int_{A} g ,
    \]
    provided
    (i) \(\int_{A} f\) or \(\int_{A} g\) is finite, or
    (ii) \(\int_{A} f, f_{A} g,\) and \(\int_{A} f \pm \int_{A} g\) are all orthodox.
    [Outline: As in Theorem \(2,\) let
    \[
    f=\sum_{i} a_{i} C_{A_{i}} \text { and } g=\sum_{i} b_{i} C_{A_{i}} ,
    \]
    so
    \[
    f \pm g=a_{i} \pm b_{i} \text { on } A_{i} .
    \]
    Now, if
    \[
    \left|\int_{A} f\right|<\infty ,
    \]
    then by Problem 14 in Chapter 4, §13, and formula \((4), \sum a_{i} m A_{i}\) converges absolutely; so its termwise addition to any other series does not affect the absolute convergence or divergence of the latter, i.e., the finiteness or infiniteness of its positive and negative parts. For example,
    \[
    \sum_{i}\left(a_{i} \pm b_{i}\right)^{+} m A_{i}=\infty
    \]
    iff
    \[
    \sum b_{i}^{+} m A_{i}=\infty .
    \]
    Thus if
    \[
    \int_{A} g=\pm \infty ,
    \]
    then
    \[
    \int_{A}(f \pm g)=\int_{A} g=\pm \infty=\int_{A} f \pm \int_{A} g .
    \]
    If both
    \[
    \int_{A} f, \int_{A} g \neq \pm \infty ,
    \]
    Theorem \(2(\) ii) applies. In the orthodox infinite case, a similar proof works on noting that either the positive or the negative parts of both series are finite if
    \[
    \int_{A} f \pm \int_{A} g
    \]
    is orthodox, too. (Verify!)]

    Exercise \(\PageIndex{7}\)

    Show that if \(f\) is elementary and nonnegative on \(A\) and
    \[
    \int_{A} f>p \in E^{*} ,
    \]
    then there is an elementary and nonnegative map \(g\) on \(A\) such that
    \[
    \int_{A} f \geq \int_{A} g>p ,
    \]
    \(g=0\) on \(A(f=0),\) and
    \[
    f>g \text { on } A-A(f=0) .
    \]
    [Hints: Let
    \[
    B=A(f=\infty)
    \]
    and
    \[
    C=A-B ;
    \]
    so \(g_{n}\) is elementary and nonnegative on \(A\) and
    \[
    g_{n}=n \text { on } B
    \]
    and
    \[
    g_{n}=\left(1-\frac{1}{n}\right) f \text { on } C ;
    \]
    so \(g_{n}\) is elementary and nonnegative on \(A\) and
    \[
    f>g_{n} \text { on } A-A(f=0) .(\mathrm{Why} ?)
    \]
    By Theorem 1 and Corollary 1(iv)(vii),
    \[
    \int_{A} g_{n}=\int_{B} g_{n}+\int_{C} g_{n}=\int_{B}(n)+\int_{C}\left(1-\frac{1}{n}\right) f=n \cdot m B+\left(1-\frac{1}{n}\right) \int_{C} f .
    \]
    Deduce that
    \[
    \lim _{n \rightarrow \infty} \int_{A} g_{n}=\int_{B} f+\int_{C} f=\int_{A} f>p ;
    \]
    so
    \[
    (\exists n) \quad \int_{A} g_{n}>p .
    \]
    Take \(\left.g=g_{n} \text { for that } n .\right]\)

    Exercise \(\PageIndex{8}\)

    Show that if \(E=E^{*},\) Theorem \(1(\text { i })\) holds also if \(\int_{A} f\) is infinite but orthodox.

    Exercise \(\PageIndex{9}\)

    (i) Prove that if \(f\) is elementary and integrable on \(A,\) so is \(-f,\) and
    \[
    \int_{A}(-f)=-\int_{A} f .
    \]
    (ii) Show that this holds also if \(f\) is elementary and (extended) real and \(\int_{A} f\) is orthodox.


    8.4.E: Problems on Integration of Elementary Functions is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?