Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

7.3: Integrability Conditions

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

Proposition 7.3.1

If a<b and f:[a,b]R is monotonic, then f is integrable on [a,b].

Proof

Suppose f is nondecreasing. Given ϵ>0, let nZ+ be large enough that

(f(b)f(a))(ba)n<ϵ.

For i=0,1,,n, let

xi=a+(ba)in.

Let P={x0,x1,,xn}. Then

U(f,P)L(f,P)=ni=1f(xi)(xixi1)ni=1f(xi1)(xixi1)=ni=1(f(xi)f(xi1))ban=ban((f(x1)f(x0))+(f(x2)f(x1))++(f(xn1)f(xn2))+(f(xn)f(xn1)))=ban(f(b)f(a))<ϵ.

Hence f is integrable on [a,b]. Q.E.D.

Example 7.3.1

Let φ:Q[0,1]Z+ be a one-to-one correspondence. Define f:[0,1]R by

f(x)=qQ[0,1]qx12φ(q).

Then f is increasing on [0,1], and hence integrable on [0,1].

Proposition 7.3.2

If a<b and f:[a,b]R is continuous, then f is integrable on [a,b].

Proof

Given ϵ>0, let

γ=ϵba.

Since f is uniformly continuous on [a,b], we may choose δ>0 such that

|f(x)f(y)|<γ

whenever |xy|<δ. Let P={x0,x1,,xn} be a partition with

sup{|xixi1|:i=1,2,,n}<δ.

If, for i=1,2,,n,

mi=inf{f(x):xi1xxi}

and

Mi=sup{f(x):xi1xxi},

then Mimi<γ. Hence

U(f,P)L(f,P)=ni=1Mi(xixi1)ni=1mi(xixi1)=ni=1(Mimi)(xixi1)<γni=1(xixi1)=γ(ba)=ϵ.

Thus f is integrable on [a,b]. Q.E.D.

Exercise 7.3.1

Suppose a<b,f:[a,b]R is bounded, and c[a,b]. Show that if f is continuous on [a,b]{c}, then f is integrable on [a,b].

Exercise 7.3.2

Suppose a<b and f is continuous on [a,b] with f(x)0 for all x[a,b]. Show that if

baf=0,

then f(x)=0 for all x[a,b].

Exercise 7.3.3

Suppose a<b and f is continuous on [a,b]. For i=0,1,,n, nZ+, let

xi=a+(ba)in

and, for i=1,2,,n, let ci[xi1,xi]. Show that

baf=limnbanni=1f(ci).

In the notation of Exercise 7.3.3, we call the approximation

bafbanni=1f(ci)

a right-hand rule approximation if ci=xi, a left-hand rule approximation if ci=xi1, and a midpoint rule approximation if

ci=xi1+xi2.

These are basic ingredients in creating numerical approximations to integrals.


This page titled 7.3: Integrability Conditions is shared under a CC BY-NC-SA 1.0 license and was authored, remixed, and/or curated by Dan Sloughter via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?