MATH 409 Advanced Calculus I Lecture 18: Darboux sums. The Riemann integral.

Similar documents
MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Math 554 Integration

The Regulated and Riemann Integrals

Chapter 6. Riemann Integral

Week 10: Riemann integral and its properties

38 Riemann sums and existence of the definite integral.

Principles of Real Analysis I Fall VI. Riemann Integration

7.2 Riemann Integrable Functions

7.2 The Definition of the Riemann Integral. Outline

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

Calculus in R. Chapter Di erentiation

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Presentation Problems 5

Review of Riemann Integral

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.

For a continuous function f : [a; b]! R we wish to define the Riemann integral

Riemann is the Mann! (But Lebesgue may besgue to differ.)

1 The Riemann Integral

Appendix to Notes 8 (a)

IMPORTANT THEOREMS CHEAT SHEET

Review. April 12, Definition 1.2 (Closed Set). A set S is closed if it contains all of its limit points. S := S S

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

Properties of the Riemann Integral

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

Definite integral. Mathematics FRDIS MENDELU

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Lecture 1: Introduction to integration theory and bounded variation

The Fundamental Theorem of Calculus

DEFINITE INTEGRALS. f(x)dx exists. Note that, together with the definition of definite integrals, definitions (2) and (3) define b

arxiv: v1 [math.ca] 11 Jul 2011

a n+2 a n+1 M n a 2 a 1. (2)

1. On some properties of definite integrals. We prove

The Henstock-Kurzweil integral

Review of Calculus, cont d

INTRODUCTION TO INTEGRATION

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

Math 324 Course Notes: Brief description

The Riemann Integral

11 An introduction to Riemann Integration

Properties of the Riemann Stieltjes Integral

arxiv: v1 [math.ca] 9 Jun 2011

Advanced Calculus I (Math 4209) Martin Bohner

Calculus and linear algebra for biomedical engineering Week 11: The Riemann integral and its properties

Week 7 Riemann Stieltjes Integration: Lectures 19-21

Section 6.1 Definite Integral

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Math 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that

Riemann Stieltjes Integration - Definition and Existence of Integral

Math 360: A primitive integral and elementary functions

Analysis III. Ben Green. Mathematical Institute, Oxford address:

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.

More Properties of the Riemann Integral

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

The Riemann-Stieltjes Integral

Integration Techniques

Suppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.

Indefinite Integral. Chapter Integration - reverse of differentiation

Chapter 6 Notes, Larson/Hostetler 3e

Calculus I-II Review Sheet

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.

Math 61CM - Solutions to homework 9

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series

Abstract inner product spaces

Line Integrals. Partitioning the Curve. Estimating the Mass

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

Before we can undertake any type of rigorous investigation of these statements, we need to settle on a definition for b

Chapter 0. What is the Lebesgue integral about?

MATH 409 Advanced Calculus I Lecture 22: Improper Riemann integrals.

Handout I - Mathematics II

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

Riemann Integrals and the Fundamental Theorem of Calculus

Sections 5.2: The Definite Integral

Chapter 1: Fundamentals

c n φ n (x), 0 < x < L, (1) n=1

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.

Math 120 Answers for Homework 13

7.6 The Use of Definite Integrals in Physics and Engineering

LECTURE. INTEGRATION AND ANTIDERIVATIVE.

FINALTERM EXAMINATION 2011 Calculus &. Analytical Geometry-I

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

II. Integration and Cauchy s Theorem

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

6.5 Numerical Approximations of Definite Integrals

Main topics for the First Midterm

Lecture 14: Quadrature

STUDY GUIDE FOR BASIC EXAM

Calculus II: Integrations and Series

RIEMANN INTEGRATION. Throughout our discussion of Riemann integration. B = B [a; b] = B ([a; b] ; R)

Chapter 4. Lebesgue Integration

1 The fundamental theorems of calculus.

Lecture 1. Functional series. Pointwise and uniform convergence.

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

Math 1431 Section M TH 4:00 PM 6:00 PM Susan Wheeler Office Hours: Wed 6:00 7:00 PM Online ***NOTE LABS ARE MON AND WED

Transcription:

MATH 409 Advnced Clculus I Lecture 18: Drboux sums. The Riemnn integrl.

Prtitions of n intervl Definition. A prtition of closed bounded intervl [, b] is finite subset P [,b] tht includes the endpoints nd b. Let x 0,x 1,...,x n be the list of ll elements of P ordered so tht x 0 < x 1 < < x n (note tht x 0 = nd x n = b). These points split the intervl [, b] into finitely mny subintervls [x 0,x 1 ], [x 1,x 2 ],..., [x n 1,x n ]. The norm of the prtition P, denoted P, is the mximum of lengths of those subintervls: P = mx 1 j n x j x j 1. Given two prtitions P nd Q of the sme intervl, we sy tht Q is refinement of P (or tht Q is finer thn P) if P Q. Observe tht P Q implies Q P. For ny two prtitions P nd Q of the intervl [,b], the union P Q is lso prtition tht refines both P nd Q.

Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded function. Definition. The upper Drboux sum (or the upper Riemnn sum) of the function f over the prtition P is the number n U(f,P) = M j (f) j, where j = x j x j 1 nd M j (f) = supf([x j 1,x j ]) for j = 1,2,...,n. Likewise, the lower Drboux sum (or the lower Riemnn sum) of f over P is the number n L(f,P) = m j (f) j, j=1 j=1 where m j (f) = inff([x j 1,x j ]) for j = 1,2,...,n.

Properties of the Drboux sums L(f,P) U(f,P). Indeed, inff(j) supf(j) for ny subintervl J [,b]. U(f,P) supf([,b]) (b ). We hve supf(j) supf([,b]) for ny subintervl J [,b]. Then supf(j) J supf([,b]) J, where J is the length of J. Summing up over ll subintervls J creted by the prtition P, we obtin U(f,P) supf([,b]) (b ). inff([,b]) (b ) L(f,P). The proof is nlogous to the previous one. Remrk. Observe tht supf([,b]) (b ) = U(f,P 0 ) nd inff([,b]) (b ) = L(f,P 0 ), where P 0 is the trivil prtition: P 0 = {,b}.

Properties of the Drboux sums L(f,P) L(f,Q) U(f,Q) U(f,P) for ny prtition Q tht refines P. Every subintervl J creted by the prtition P is the union of one or more subintervls J 1,J 2,...,J k creted by Q. Since supf(j i ) supf(j) for 1 i k, it follows tht k i=1 supf(j i) J i supf(j) k i=1 J i = supf(j) J. Summing up this inequlity over ll subintervls J, we obtin U(f,Q) U(f,P). The inequlity L(f,P) L(f,Q) is proved in similr wy. L(f,P) U(f,Q) for ny prtitions P nd Q. Since the prtition P Q refines both P nd Q, it follows from the bove tht L(f,P) L(f,P Q) nd U(f,P Q) U(f,Q). Besides, L(f,P Q) U(f,P Q).

Upper nd lower integrls Suppose f : [,b] R is bounded function. Definition. The upper integrl of f on [, b], denoted f(x)dx or (U) f(x)dx, is the number inf{u(f,p) P is prtition of [,b]}. Similrly, the lower integrl of f on [, b], denoted f(x)dx or (L) f(x)dx, is the number sup{l(f,p) P is prtition of [,b]}. Remrk. Since < L(f,P) U(f,Q) < + for ll prtitions P nd Q, it follows tht < (L) f(x)dx (U) f(x)dx < +.

Integrbility Definition. A bounded function f : [, b] R is clled integrble (or Riemnn integrble) on the intervl [, b] if the upper nd lower integrls of f on [, b] coincide. The common vlue is clled the integrl of f on [, b] (or over [, b]) nd denoted f(x)dx. Theorem A bounded function f : [,b] R is integrble on [,b] if nd only if for every ε > 0 there is prtition P ε of [,b] such tht U(f,P ε ) L(f,P ε ) < ε.

Proof of the theorem: The if prt of the theorem follows since 0 (U) f(x)dx (L) f(x)dx U(f,P) L(f,P) for ny prtition P. Conversely, ssume tht f is integrble on [,b]. Given ε > 0, there exists prtition P of [,b] such tht U(f,P) < f(x)dx + ε 2. Also, there exists prtition Q of [, b] such tht L(f,Q) > f(x)dx ε 2. Then U(f,P) L(f,Q) < ε. Now P Q is prtition of [,b] tht refines both P nd Q. It follows tht U(f,P Q) U(f,P) nd L(f,P Q) L(f,Q). Hence U(f,P Q) L(f,P Q) U(f,P) L(f,Q) < ε.

Exmples Constnt function f(x) = c is integrble on ny intervl [,b] nd f(x)dx = c(b ). Indeed, for the trivil prtition P 0 = {,b} we obtin U(f,P 0 ) = c(b ) = L(f,P 0 ). { 1 if x > 0, Step function f(x) = 0 if x 0 integrble on [ 1,1] nd 1 1 f(x)dx = 1. For ny ε (0,1) consider prtition P ε = { 1, ε,ε,1}. Then U(f,P ε ) = 1+ε nd L(f,P ε ) = 1 ε. is

Exmples { 1 if x Q, Dirichlet function f(x) = 0 if x R\Q is not integrble on ny intervl [, b]. Indeed, ny subintervl of [, b] contins both rtionl nd irrtionl points. Therefore U(f,P) = b nd L(f,P) = 0 for ll prtitions of [,b]. Riemnn function f(x) = is integrble on ny intervl [, b]. { 1/q if x = p/q, 0 if x R\Q For ny δ > 0 the intervl [, b] contins only finitely mny points y 1,y 2,...,y k such tht f(y i ) δ. Let P δ be prtition of [,b] tht includes points y i ±δ/k. Then L(f,P δ ) = 0 nd U(f,P δ ) 2δ +δ(b ).

Continuity = integrbility Theorem If function f : [,b] R is continuous on the intervl [, b], then it is integrble on [, b]. Proof: Since the function f is continuous, it is bounded on [, b]. Furthermore, f is uniformly continuous on [, b]. Therefore for every ε > 0 there exists δ > 0 such tht x y < δ implies f(x) f(y) < ε/(b ) for ll x,y [,b]. Obviously, there exists prtition P = {x 0,x 1,...,x n } of [,b] tht stisfies P < δ. Let J = [x j 1,x j ] be n rbitrry subintervl of [,b] creted by P. By the Extreme Vlue Theorem, there re points x,x + J such tht f(x + ) = supf(j) nd f(x ) = inff(j). Since P < δ, the length of J stisfies J < δ. Then x + x J < δ so tht f(x + ) f(x ) < ε/(b ). It follows tht supf(j) J inff(j) J < ε J /(b ). Summing up the ltter inequlity over ll subintervls J, we obtin tht U(f,P) L(f,P) < ε. Thus f is integrble.

Riemnn sums Definition. A Riemnn sum of function f : [,b] R with respect to prtition P = {x 0,x 1,...,x n } of [,b] generted by smples t j [x j 1,x j ] is sum S(f,P,t j ) = n j=1 f(t j)(x j x j 1 ). Remrk. Note tht the function f need not be bounded. If f is bounded, then L(f,P) S(f,P,t j ) U(f,P) for ny choice of smples t j. Definition. The Riemnn sums S(f,P,t j ) converge to limit I(f) s P 0 if for every ε > 0 there exists δ > 0 such tht P < δ implies S(f,P,t j ) I(f) < ε for ny prtition P nd choice of smples t j. Theorem The Riemnn sums S(f,P,t j ) converge to limit I(f) s P 0 if nd only if the function f is integrble on [,b] nd I(f) = f(x)dx.