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, 0≤f(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],…,[xn−1,xn].

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

‖P‖=max1≤j≤n(xj−xj−1)

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 P⊂Q. Observe that P⊂Q implies ‖Q‖≤‖P‖.

For any two partitions P and Q of the interval [a,b], the union P∪Q 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=xj−xj−1 and Mj(f)=sup⁡f([xj−1]) 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)=inf⁡f([xj−1]) for j=1,2,…,n.

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

Properties

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

indeed inf⁡f(J)≤sup⁡f(J) for any subinterval J∈[a,b].

U(f,p)≤sup⁡f([a,b])⋅(b−a)

We have sup⁡f(J)≤sup⁡f([a,b]) for any subinterval J⊂[a,b]. Then sup⁡f(J)⋅|J|≤sup⁡f([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)≤sup⁡f([a,b])⋅(b−a).

inf⁡f([a,b])⋅(b−a)≤L(f,P)

Analogous to previous proof

Remark. Observe that sup⁡f([a,b])⋅(b−a)=U(f,P0) and inf⁡f([a,b])⋅(b−a)=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 sup⁡f(Ji)≤sup⁡f(J) for 1≤i≤k (J is a larger set, so its supremum can only increase compared with Ji), it follows that ∑i=1ksup⁡f(Ji)⋅|Ji|≤sup⁡f(J)⋅∑i=1k|Ji|=sup⁡f(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 P∪Q refines both P and Q, it follows from above that L(f,P)≤L(f,P∪Q) and U(f,P∪Q)≤U(f,Q). Besides, L(f,P∪Q)≤U(f,P∪Q). 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)dx≤U(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 P∪Q is a partition of [a,b] that refines both P and Q. It follows that U(f,P∪Q)≤U(f,P) and L(f,P∪Q)≥L(f,Q). Hence U(f,P∪Q)−L(f,P∪Q)≤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(b−a).

Proof. Indeed, for the trivial partition P0={a,b}, we obtain U(f,P0)=c(b−a) and L(f,P0)=c(b−a). 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>00x≤0 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)={1x∈ℚ0x∈ℝ∖ℚ is not integrable on any interval [a,b].

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

quod erat demonstrandum

Riemann Function. f(x)={1qx=pq∈ℚ0x∈ℝ∖ℚ 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δ+δ(b−a). Thus we isolate k points with intervals, each of which has a supremum of 1 and so the sum of all these contributions is k⋅2δ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 |x−y|<δ implies |f(x)−f(y)|<ϵb−a for all x,y∈[a,b]. Obviously, there exists a partition P={x0,x1,…,xn} of [a,b] that satisfies ‖P‖<δ.

Let J=[xj−1,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+)=sup⁡f(J) and f(x−)=inf⁡f(J). Since ‖P‖<δ the length of J satisfies |J|<δ. Then |x+−x−|≤|J|<δ so that |f(x+)−f(x−)|<ϵb−a. It follows that sup⁡f(J)⋅|J|−inf⁡f(J)⋅|J|<ϵ|J|b−a. Summing up the latter inequality over all subintervals J, we obtain that U(f,P)−L(f,P)<ϵ.

quod erat demonstrandum