Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

8.4.E: Problems on Integration of Elementary Functions

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

Exercise 8.4.E.1

Verify Note 2.

Exercise 8.4.E.1

Prove Corollary 1(iv)( vii ).

Exercise 8.4.E.2

Prove that Af=0 if mA=0 or f=0 on A. Disprove the converse by examples.

Exercise 8.4.E.3

Find a primitive F for f=CR in our example. Show that
[0,1]fdm=F(1)F(0).

Exercise 8.4.E.4

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

Exercise 8.4.E.5

5. Show that if f and g are elementary and nonnegative with fg on A, then
AfAg0.
[Hint: As in Theorem 2, let
f=iaiCAi and g=ibiCAi.
Then fg0 implies aibi0.]

Exercise 8.4.E.6

6. Prove that if f and g are elementary and (extended) real on A, then
A(f±g)=Af±Ag,
provided
(i) Af or Ag is finite, or
(ii) Af,fAg, and Af±Ag are all orthodox.
[Outline: As in Theorem 2, let
f=iaiCAi and g=ibiCAi,
so
f±g=ai±bi on Ai.
Now, if
|Af|<,
then by Problem 14 in Chapter 4, §13, and formula (4),aimAi 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,
i(ai±bi)+mAi=
iff
b+imAi=.
Thus if
Ag=±,
then
A(f±g)=Ag=±=Af±Ag.
If both
Af,Ag±,
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
Af±Ag
is orthodox, too. (Verify!)]

Exercise 8.4.E.7

Show that if f is elementary and nonnegative on A and
Af>pE,
then there is an elementary and nonnegative map g on A such that
AfAg>p,
g=0 on A(f=0), and
f>g on AA(f=0).
[Hints: Let
B=A(f=)
and
C=AB;
so gn is elementary and nonnegative on A and
gn=n on B
and
gn=(11n)f on C;
so gn is elementary and nonnegative on A and
f>gn on AA(f=0).(Why?)
By Theorem 1 and Corollary 1(iv)(vii),
Agn=Bgn+Cgn=B(n)+C(11n)f=nmB+(11n)Cf.
Deduce that
limnAgn=Bf+Cf=Af>p;
so
(n)Agn>p.
Take g=gn for that n.]

Exercise 8.4.E.8

Show that if E=E, Theorem 1( i ) holds also if Af is infinite but orthodox.

Exercise 8.4.E.9

(i) Prove that if f is elementary and integrable on A, so is f, and
A(f)=Af.
(ii) Show that this holds also if f is elementary and (extended) real and Af is orthodox.


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

Support Center

How can we help?