Math 554 Integration

Similar documents
7.2 Riemann Integrable Functions

Properties of the Riemann Integral

Chapter 6. Riemann Integral

The Regulated and Riemann Integrals

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

Calculus in R. Chapter Di erentiation

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

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

Principles of Real Analysis I Fall VI. Riemann Integration

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

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

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

1 The Riemann Integral

Presentation Problems 5

Lecture 1: Introduction to integration theory and bounded variation

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

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

Lecture 1. Functional series. Pointwise and uniform convergence.

Definite integral. Mathematics FRDIS MENDELU

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

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

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

Math 61CM - Solutions to homework 9

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

The Riemann Integral

Riemann Stieltjes Integration - Definition and Existence of Integral

1. On some properties of definite integrals. We prove

Chapter 4. Lebesgue Integration

Calculus I-II Review Sheet

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

Review of Calculus, cont d

Review of Riemann Integral

Week 10: Riemann integral and its properties

IMPORTANT THEOREMS CHEAT SHEET

Advanced Calculus I (Math 4209) Martin Bohner

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

38 Riemann sums and existence of the definite integral.

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

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

arxiv: v1 [math.ca] 11 Jul 2011

Problem Set 4: Solutions Math 201A: Fall 2016

INTRODUCTION TO INTEGRATION

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

Week 7 Riemann Stieltjes Integration: Lectures 19-21

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

7.2 The Definition of the Riemann Integral. Outline

Math 360: A primitive integral and elementary functions

The Fundamental Theorem of Calculus

The Henstock-Kurzweil 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.

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

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

More Properties of the Riemann Integral

Regulated functions and the regulated integral

Appendix to Notes 8 (a)

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

MATH , Calculus 2, Fall 2018

1 The fundamental theorems of calculus.

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Anti-derivatives/Indefinite Integrals of Basic Functions

Integration Techniques

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

Math 324 Course Notes: Brief description

Calculus II: Integrations and Series

11 An introduction to Riemann Integration

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +

Sections 5.2: The Definite Integral

Properties of the Riemann Stieltjes Integral

Chapter 1. Basic Concepts

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

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

Functions of bounded variation

0.1 Properties of regulated functions and their Integrals.

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015

Indefinite Integral. Chapter Integration - reverse of differentiation

Best Approximation in the 2-norm

Question 1. Question 3. Question 4. Graduate Analysis I Chapter 5

New Integral Inequalities for n-time Differentiable Functions with Applications for pdfs

MAA 4212 Improper Integrals

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

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim

Fundamental Theorem of Calculus

Abstract inner product spaces

II. Integration and Cauchy s Theorem

Analysis Comp Study Guide

Main topics for the First Midterm

ODE: Existence and Uniqueness of a Solution

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

7.2 The Definite Integral

LECTURE. INTEGRATION AND ANTIDERIVATIVE.

arxiv: v1 [math.ca] 7 Mar 2012

Chapter 6. Infinite series

Fundamental Theorem of Calculus for Lebesgue Integration

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

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

Transcription:

Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we define the norm of the prtition by P := mx 1 i n x i. where x i := x i x i 1 is the length of the i-th subintervl [x i 1, x i ]. Defn. For given prtition P, we define the Riemnn upper sum of function f by U(P, f) := n M i x i where M i denotes the supremum of f over ech of the subintervls [x i 1, x i ]. Similrly, we define the Riemnn lower sum of function f by L(P, f) := n m i x i where m i denotes the infimum of f over ech of the subintervls [x i 1, x i ]. Since m i M i, we note tht L(P, f) U(P, f). for ny prtition P. Defn. Suppose P 1, P 2 re both prtitions of [, b], then P 2 is clled refinement of P 1, denoted by P 1 P 2, if s sets P 1 P 2. Note. If P 1 P 2, it follows tht P 2 P 1 since ech of the subintervls formed by P 2 is contined in subintervl which rises from P 1. Lemm. If P 1 P 2, then nd L(P 1, f) L(P 2, f). U(P 2, f) U(P 1, f).

Proof. Suppose first tht P 1 is prtition of [, b] nd tht P 2 is the prtition obtined from P 1 by dding n dditionl point z. The generl cse follows by induction, dding one point t t time. In prticulr, we let nd P 1 := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } P 2 := {x 0 = < x 1 < < x i 1 < z < x i < < b =: x n } for some fixed i. We focus on the upper Riemnn sum for these two prtitions, noting tht the inequlity for the lower sums follows similrly. Observe tht nd U(P 2, f) := i 1 j=1 U(P 1, f) := n M j x j j=1 M j x j + M(z x i 1 ) + M(x i z) + n j=i+1 M j x j where M := sup [xi 1,z] f(x) nd M := sup [z,xi ] f(x). It then follows tht U(P 2, f) U(P 1, f) since M, M M i. Defn. If P 1 nd P 2 re rbitrry prtitions of [, b], then the common refinement of P 1 nd P 2 is the forml union of the two. Corollry. Suppose P 1 nd P 2 re rbitrry prtitions of [, b], then L(P 1, f) U(P 2, f). Proof. Let P be the common refinement of P 1 nd P 2, then L(P 1, f) L(P, f) U(P, f) U(P 2, f). Defn. The lower Riemnn integrl of f over [, b] is defined to be f(x)dx := sup ll prtitions P of [,b] L(P, f). Similrly, the upper Riemnn integrl of f over [, b] is defined to be f(x)dx := inf ll prtitions P of [,b] U(P, f).

By the definitions of lest upper bound nd gretest lower bound, it is evident tht for ny function f there holds f(x)dx f(x)dx. Defn. A function f is Riemnn integrble over [, b] if the upper nd lower Riemnn integrls coincide. We denote this common vlue by f(x) dx. Exmples: 1. k dx = k(b ). 2. x dx = 1 2 (b2 2 ). [Hint: Use n i = n(n + 1)/2.] Theorem. A necessry nd sufficient condition for f to be Riemnn integrble is given ɛ > 0, there exists prtition P of [, b] such tht ( ) U(P, f) L(P, f) < ɛ. Proof. First we show tht (*) is sufficient condition. This follows immeditely, since for ech ɛ > 0 tht there is prtition P such tht (*) holds, f(x)dx b f(x)dx U(P, f) L(P, f) < ɛ. Since ɛ > 0 ws rbitrry, then the upper nd lower Riemnn integrls of f must coincide. To prove tht (*) is necessry condition for f to be Riemnn integrble, we let ɛ > 0. By the definition of the upper Riemnn integrl s infimum of upper sums, we cn find prtition P 1 of [, b] such tht Similrly, we hve f(x)dx U(P 1, f) < f(x)dx + ɛ/2 f(x)dx ɛ/2 < L(P 2, f) f(x)dx. Let P be common refinement of P 1 nd P 2, then subtrcting the two previous inequlities implies, U(P, f) L(P, f) U(P 1, f) L(P 2, f) < ɛ. Defn. A Riemnn sum for f for prtition P of n intervl [, b] is defined by R(P, f, ξ) := n f(ξ j ) x j j=1

where the ξ j, stisfying x j 1 ξ j x j (1 j n), re rbitrry. Corollry. Suppose tht f is Riemnn integrble on [, b], then there is unique number γ ( = f(x)dx) such tht for every ɛ > 0 there exists prtition P of [, b] such tht if P P 1, P 2, then i.) ii.) iii.) 0 U(P 1, f) γ < ɛ 0 γ L(P 2, f) < ɛ γ R(P 1, f, ξ) < ɛ where R(P 1, f, ξ) is ny Riemnn sum of f for the prtition P 1. In this sense, we cn interpret f(x)dx = lim R(P, f, ξ). P 0 lthough we would ctully need to show little more to be entirely correct. Proof. Since L(P 2, f) γ U(P 1, f) for ll prtitions, we see tht prts i.) nd ii.) follow from the definition of the Riemnn integrl. To see prt iii.), we observe tht m j f(ξ j ) M j nd hence tht But we lso know tht both L(P 1, f) R(P 1, f, ξ) U(P 1, f). L(P 1, f) γ U(P 1, f) nd condition (*) hold, from which prt iii.) follows.

Theorem. If f is continuous on [, b], then f is Riemnn-integrble on [, b]. Proof. We use the condition (*) to prove tht f is Riemnn-integrble. If ɛ > 0, we set ɛ 0 := ɛ/(b ). Since f is continuous on [, b], f is uniformly continuous. Hence there is δ > 0 such tht f(y) f(x) < ɛ 0 if y x < δ. Suppose tht P < δ, then it follows tht M i m i ɛ 0 (1 i n). Hence U(P, f) L(P, f) = n (M i m i ) x i ɛ 0 (b ) = ɛ. Theorem. If f is monotone on [, b], then f is Riemnn-integrble on [, b]. Proof. If f is constnt, then we re done. We prove the cse for f monotone incresing. The cse for monotone decresing is similir. We gin use the condition (*) to prove tht f is Riemnn-integrble. If ɛ > 0, we set δ := ɛ/(f(b) f()) nd consider ny prtition P with P < δ. Since f is monotone incresing on [, b], then M i = f(x i ) nd m i = f(x i 1 ). Hence U(P, f) L(P, f) = n = n (M i m i ) x i (f(x i ) f(x i 1 )) x i P n (f(x i ) f(x i 1 )) < δ (f(b) f()) = ɛ. Theorem. (Properties of the Riemnn Integrl) Suppose tht f nd g re Riemnn integrble nd k is rel number, then i.) k f(x) dx = k f(x) dx ii.) f + g dx = f dx + g dx iii.) g f implies g dx f dx. iv.) f dx f dx Proof. To prove prt i.), we observe tht in cse k 0, then sup [xi 1,x i ] kf(x) = km i nd inf [xi 1,x i ] kf(x) = km i. Hence U(P, kf) = ku(p, f) nd L(P, kf) = kl(p, f). In the cse tht k < 0, then sup [xi 1,x i ] kf(x) = km i nd inf [xi 1,x i ] kf(x) = km i. It follows in this cse tht U(P, kf) = kl(p, f) nd L(P, kf) = ku(p, f) nd so k f(x)dx = k b f(x)dx

k f(x)dx = k f(x)dx. To prove property ii.) we notice tht sup I (f + g) sup I f + sup I g nd inf I f + inf I g inf I (f + g) for ny intervl I (for exmple, I = [x i 1, x i ]). Hence, (1) L(P, f) + L(P, g) L(P, f + g) U(P, f + g) U(P, f) + U(P, g). Let ɛ > 0, then since f nd g re Riemnn integrble, there exist prtitions P 1, P 2 such tht (2) U(P 1, f) L(P 1, f) < ɛ/2, U(P 2, g) L(P 2, g) < ɛ/2. If we let P be common refinement of P 1 nd P 2, then by combining inequlities (1) nd (2), we see tht see tht U(P, f + g) L(P, f + g) U(P, f) L(P, f) + U(P, g) L(P, g) U(P 1, f) L(P 1, f) + U(P 2, g) L(P 2, g) ɛ/2 + ɛ/2 = ɛ. Property iii.) follows directly from the definition of the upper nd lower integrls using, for exmple, the inequlity sup I g(x) sup I f(x). Property iv.) is proved by pplying property iii.) to the inequlity f f f, from which it follows tht f dx f dx f dx. But this inequlity implies property iv.). Defn. We extend the definition of the integrl to include generl limits of integrtion. These re consistent with our erlier definition. 1. f(x) dx = 0. 2. b f(x) dx = f(x) dx. Theorem. If f is Riemnn integrble on [, b], then it is Riemnn integrble on ech subintervl [c, d] [, b]. Moreover, if c [, b], then (3) f(x) dx = c f(x) dx + b f(x) dx. Proof. We show first tht condition (*) holds for the intervl [c, d]. Suppose ɛ > 0, then by (*) pplied to f over the intervl [, b], we hve tht there exists prtition P of [, b] such tht condition (*) holds. Let P be the refinement obtined from P c

which contins the points c nd d. Let P be the prtition obtined by restricting the prtition P to the intervl [c, d], then U(P, f) L(P, f) U( P, f) L( P, f) U(P, f) L(P, f) < ɛ nd so f is Riemnn integrble over [c, d]. To prove the identity (3), we use the fct tht condition (*) holds when f is Riemnn integrble. Let ɛ > 0, then for ɛ/3 > 0, we my pply (*) to ech of the intervls I = [, b], [, c] nd [c, b], respectively, to obtin prtitions P I which stisfy (4) 0 U I (P I, f) I f dx U I(P I, f) L I (P I, f) < ɛ/3. We let P be the prtition of [, b] formed by the union of the two prtitions P [,c], P [c,b], nd P be the common refinement of P nd P [,b]. Observing tht (5) U [,b] ( P, f) = U [,c] ( P 1, f) + U [c,b] ( P 2, f), we cn combine with inequlity (4) to obtin c f dx + c f dx f dx U [,c] ( P, f) c f dx + U [c,b] ( P, f) c f dx < 3ɛ 0 = ɛ. + U [,b] ( P, f) f dx Since ɛ > 0 ws rbitrry, then equlity (3) must hold. Theorem. (Intermedite Vlue Theorem for Integrls) If f is continuous on [, b], then there exists ξ between nd b such tht f(x) dx = f(ξ)(b ). Proof. Since f is continuous on [, b] nd for η := min [,b] f dx b f(x) η mx f(x), [,b] there holds then by the Intermedite Vlue Theorem for continuous functions, there exists ξ [, b] such tht f(ξ) = η. Theorem. (Fundmentl Theorem of Clculus, I. Derivtive of n Integrl) Suppose tht f is continuous on [, b] nd set F (x) := x f(y)dy, then F is differentible nd F (x) = f(x) for < x < b.

Proof. Notice tht F (x 0 + h) F (x 0 ) h = x0 +h x 0 f dx h = f(ξ) for some ξ between x 0 nd x 0 + h. Hence, s h 0, then ξ = ξ h converges to x 0 nd so the displyed difference quotient hs limit of f(x 0 ) s h 0. Theorem. (Fundmentl Theorem of Clculus, Prt II. Integrl of Derivtive) Suppose tht F is function with continuous derivtive on [, b], then F (y) dy = F (x) x=b x= := F (b) F (). Proof. Define G(x) := x F (y) dy, nd set H := F G. Since the derivtive of H is identiclly zero by Prt I of the Fundmentl Theorem of Clculus, then the Men Vlue Theorem implies tht H(b) = H(). Expressing this in terms of F nd G gives F (b) F (y) dy = F (), which estblishes the theorem.