MATH 409 Lecture 18

From Notes
Jump to navigation Jump to search

« previous | Thursday, October 31, 2013 | next »

Lecture Slides

Challenges

Challenge 14

Find a function f: such that f is infinitiely differentiable, 0f(x)1 for all x, f(x)=1 if |x|1 and f(x)=0 if |x|2.

Challenge 15

Suppose that a function g: is locally a polynomial, which means that for every c there exists ϵ>0 such that g coincides with a polynomial on the interval (cϵ,c+ϵ). Prove that g is a polynomial.


The Riemann Integral

Partitions of an Interval

A partition of a closed bounded interval [a,b] is a finite subset P[a,b] that includes the endpoints a and b.

Let x0,x1,,xn be the list of elements of P arranged in ascending order so that x0<x1<<xn. By definition, x0=a and xn=b. These points split the interval [a,b] into finitely many subintervals [x0,x1],[x1,x2],,[xn1,xn].

The norm of the partition P, denoted P is the maximum of lengths of those subintervals, hence

P=max1jn(xjxj1)

Given two partitions P and Q of the same interval, we say that Q is a refinement of P (or that Q is finer than P) if PQ. Observe that PQ implies QP.

For any two partitions P and Q of the interval [a,b], the union PQ is also a partition that refines both P and Q.


Darboux Sums

Let P={x0,x1,,xn} be a partition of an interval [a,b], where x0=a<x1<<xn=b. Let f:[a,b] be a bounded function.

The upper Darboux sum (or the upper Riemann sum) of the function f over the partition P is the number

U(f,P)=j=1nMj(f)Δj

where Δj=xjxj1 and Mj(f)=supf([xj1]) for j=1,2,,n.

Likewise, the lower Darboux sum (or the lower Riemann sum) of f over P is the number

L(f,P)=j=1nmj(f)Δj

Where mj(f)=inff([xj1]) for j=1,2,,n.

Note: These sums were originally introduced by Darboux, not Riemann

Properties

L(f,P)U(f,P)

indeed inff(J)supf(J) for any subinterval J[a,b].

U(f,p)supf([a,b])(ba)

We have supf(J)supf([a,b]) for any subinterval J[a,b]. Then supf(J)|J|supf([a,b])|J|, where |J| is the length of J. Summing up over all subintervals J created by the partition P, we obtain U(f,P)supf([a,b])(ba).

inff([a,b])(ba)L(f,P)

Analogous to previous proof

Remark. Observe that supf([a,b])(ba)=U(f,P0) and inff([a,b])(ba)=L(f,P0), where P0={a,b} is the trivial partition.

L(f,P)L(f,Q)U(f,Q)U(f,P) for any partition Q that refines P.

Every subinterval J created by partition P is the union of one or more subintervals J1,J2,,Jk created by Q. Since supf(Ji)supf(J) for 1ik (J is a larger set, so its supremum can only increase compared with Ji), it follows that i=1ksupf(Ji)|Ji|supf(J)i=1k|Ji|=supf(J)|J|. Summing up this inequality over all subintervals J, we obtain U(f,Q)U(f,P). The inequality L(f,P)L(f,Q) is proved similarly, considering supremum and flipping the inequalities.

L(f,P)U(f,Q) for any partitions P and Q of the same interval [a,b].

Since PQ refines both P and Q, it follows from above that L(f,P)L(f,PQ) and U(f,PQ)U(f,Q). Besides, L(f,PQ)U(f,PQ). Thus the property follows by transitivity.

Upper and Lower Integrals

Suppose f:[a,b] is a bounded function.

The upper integral of f on [a,b], denoted

abf(x)dx or (U)abf(x)dx

is the number inf{U(f,P)P is a partition of [a,b]}.

Similarly, the lower integral of f on [a,b], denoted

_abf(x)dx or (L)abf(x)dx

Integratability

A bounded function f:[a,b] is called integrable (or Riemann integrable) on the interval [a,b] if the upper and lower integrals of f on [a,b] coincide. The common value is called the integral of f on [a,b] (or over [a,b]) and is denoted

abf(x)dx

Theorem. A bounded function f:[a,b] is integrable on [a,b] if and only if for every ϵ>0, there is a partition Pϵ of [a,b] such that U(f,Pϵ)L(f,Pϵ)<ϵ

Proof. (⇒) 0(U)abf(x)dx(L)abf(x)dxU(f,P)L(f,P) for any partition P.

(⇐) Conversely, assume f is integrable on [a,b] Given ϵ>0, there exists a partition P of [a,b] such that

U(f,P)<abf(x)dx+ϵ2

Also, there exists a partition Q of [a,b] such that

L(f,Q)>abf(x)dxϵ2

Then U(f,P)L(f,Q)<ϵ. Now PQ is a partition of [a,b] that refines both P and Q. It follows that U(f,PQ)U(f,P) and L(f,PQ)L(f,Q). Hence U(f,PQ)L(f,PQ)U(f,P)L(f,Q)<ϵ.

quod erat demonstrandum
Note: Standard trick to form inequality with same partitions from an inequality with different partitions, take union and apply the refinement property

Examples

Constant Function. f(x)=c is integrable on any interval [a,b] and abf(x)dx=c(ba).

Proof. Indeed, for the trivial partition P0={a,b}, we obtain U(f,P0)=c(ba) and L(f,P0)=c(ba). Thus the lower and upper darboux sums are equivalent, and their difference is equivalent to 0, which is smaller than any ϵ<0.

quod erat demonstrandum

Step Function. f(x)={1x>00x0 is integrable on [1,1] and 11f(x)dx=1.

Proof. For any ϵ, consider Pϵ={1,ϵ,ϵ,1}. Then

U(f,Pϵ)=0+2ϵ+(1ϵ)=1+ϵL(f,Pϵ)=0+0+(1ϵ)=1ϵ

The difference between the upper and lower sums is 2ϵ.

quod erat demonstrandum

Dirichlet Function. f(x)={1x0x is not integrable on any interval [a,b].

Proof. Indeed, any subinterval [a,b] contains both rational and irrational points. Therefore U(f,P)=ba and L(f,P)=0 for all partitions [a,b].

quod erat demonstrandum

Riemann Function. f(x)={1qx=pq0x is integrable on any interval [a,b].

Proof. For any 0<δ1, the interval [a,b] contains only finitely many points y1,y2,,yk such that f(yi)δ. Let Pδ be a partition of [a,b] that includes points yi±δk. Then L(f,Pδ)=0 and U(f,Pδ)2δ+δ(ba). Thus we isolate k points with intervals, each of which has a supremum of 1 and so the sum of all these contributions is k2δk=2δ.

quod erat demonstrandum


Continuity and Integratability

Theorem. If a function f:[a,b] is continuous on the interval [a,b], then it is integrable on [a,b].

Proof. Since the function f is continuous, it is bounded on [a,b]. Furthermore, f is uniformly continuous on [a,b]. Therefore, for every ϵ>0, there exists δ>0 such that |xy|<δ implies |f(x)f(y)|<ϵba for all x,y[a,b]. Obviously, there exists a partition P={x0,x1,,xn} of [a,b] that satisfies P<δ.

Let J=[xj1,xj] be an arbitrary subinterval of [a,b] created by P. By the extreme value theorem, there are ponits x,x+J such that f(x+)=supf(J) and f(x)=inff(J). Since P<δ the length of J satisfies |J|<δ. Then |x+x||J|<δ so that |f(x+)f(x)|<ϵba. It follows that supf(J)|J|inff(J)|J|<ϵ|J|ba. Summing up the latter inequality over all subintervals J, we obtain that U(f,P)L(f,P)<ϵ.

quod erat demonstrandum