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

Similar documents
The Regulated and Riemann Integrals

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

7.2 The Definition of the Riemann Integral. Outline

38 Riemann sums and existence of the definite integral.

Properties of the Riemann Integral

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

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

Math 554 Integration

The Henstock-Kurzweil integral

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals

Presentation Problems 5

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

Review of Riemann Integral

Calculus in R. Chapter Di erentiation

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

Chapter 6. Riemann Integral

7.2 Riemann Integrable Functions

Appendix to Notes 8 (a)

Lecture 1. Functional series. Pointwise and uniform convergence.

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

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

LECTURE. INTEGRATION AND ANTIDERIVATIVE.

11 An introduction to Riemann Integration

MAA 4212 Improper Integrals

1 The Riemann Integral

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

Math 61CM - Solutions to homework 9

Section 6.1 Definite Integral

The Riemann Integral

Chapter 6. Infinite series

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

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

Definite integral. Mathematics FRDIS MENDELU

Chapter 4. Lebesgue Integration

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

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

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

Week 10: Riemann integral and its properties

Math 360: A primitive integral and elementary functions

Beginning Darboux Integration, Math 317, Intro to Analysis II

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.

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

1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers...

Chapter 0. What is the Lebesgue integral about?

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

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

p-adic Egyptian Fractions

Principles of Real Analysis I Fall VI. Riemann Integration

Review of Calculus, cont d

Part 4. Integration (with Proofs)

Advanced Calculus I (Math 4209) Martin Bohner

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

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

1 The fundamental theorems of calculus.

1. On some properties of definite integrals. We prove

Lecture 1: Introduction to integration theory and bounded variation

IMPORTANT THEOREMS CHEAT SHEET

Integrals along Curves.

Week 7 Riemann Stieltjes Integration: Lectures 19-21

Theoretical foundations of Gaussian quadrature

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.

Calculus I-II Review Sheet

Math 120 Answers for Homework 13

Riemann Stieltjes Integration - Definition and Existence of Integral

A product convergence theorem for Henstock Kurzweil integrals

Overview of Calculus I

Riemann Integrals and the Fundamental Theorem of Calculus

Main topics for the First Midterm

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite

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

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals

Convex Sets and Functions

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

Example Sheet 6. Infinite and Improper Integrals

arxiv: v1 [math.ca] 11 Jul 2011

THE NUMBER CONCEPT IN GREEK MATHEMATICS SPRING 2009

arxiv:math/ v2 [math.ho] 16 Dec 2003

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

1 Error Analysis of Simple Rules for Numerical Integration

Complex integration. L3: Cauchy s Theory.

Lecture 3. Limits of Functions and Continuity

8 Laplace s Method and Local Limit Theorems

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

Sections 5.2: The Definite Integral

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38

Math 1B, lecture 4: Error bounds for numerical methods

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

APPROXIMATE INTEGRATION

The Fundamental Theorem of Calculus

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

MA Handout 2: Notation and Background Concepts from Analysis

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

Integration Techniques

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

Homework 11. Andrew Ma November 30, sin x (1+x) (1+x)

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

Theory of Computation Regular Languages

Transcription:

Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of function f. Let < < b < + be two rel numbers nd f : [, b] R ny function tht my not be continuous or bounded. The finite k +1-tuple of points D = ( 0, 1,..., k ) from the intervl [, b] is clled prtition of [, b] if = 0 < 1 < 2 <... < k = b. These points divide the intervl [, b] into intervls I i = [ i 1, i ]. We denote by I i the length of intervl I i : I i = i i 1 [, b] = b. Clerly I i = ( 1 0 ) + ( 2 1 ) +... + ( k k 1 ) = b = [, b]. Norm of prtition D is the mximum length of n intervl of the prtition nd is denoted by λ: λ = λ(d) = mx 1 i k I i. Prtition of n intervl [, b] with points is pir (C, D) wher D = ( 0, 1,..., k ) is prtition of [, b] nd k-tuple C = (c 1, c 2,..., c k ) consists of c i I i (i.e. i 1 c i i ). Riemnn sum corresponding to the function f nd prtition with points (D, C) is defined s R(f, D, C) = I i f(c i ) = ( i i 1 )f(c i ). If f 0 on [, b], it is the sum of k rectngles I i [0, f(c i )] whose union pproximtes figure U(, b, f). However, Riemnn sum is defined for every function f, regrdless of its sign on [, b]. The following definition ws introduced by Bernhrd Riemnn (1826 1866). Definition (first definition of Riemnn integrl, Riemnn). We sy tht f : [, b] R hs Riemnn integrl I R on [, b] if for every ε > 0 there exists δ > 0 such tht for ech prtition of [, b] with points (D, C) such tht λ(d) < δ the following holds: I R(f, D, C) < ε 1

Therefore, we require I R, vlues ± re not llowed (lthough, it is possible to define them). If there is such number I, we write I = (R) nd sy tht f is Riemnn integrble on the intervl [, b]. We will work with the clss of ll Riemnn integrble functions R(, b) := {f f is defined nd Riemnn integrble on [, b]}. Thus, the first definition of the Riemnn integrl cn be summrized by the formul lim R(f, D, C) R. λ(d) 0 We understnd the limit here s defined in the definition bove; s symbol, we defined only limit of sequence nd of function in point. For the second, equivlent, definition of the integrl we will need few more concepts. For f : [, b] R nd prtition D = ( 0, 1,..., k ) of intervl [, b] we define lower nd upper Riemnn sum, respectively, (even though they were introduced by Drboux) s where s(f, D) = I i m i, nd S(f, D) = f I i M i, m i = x I i f(x) nd M i = sup x I i f(x) I i = [ i 1, i ] These sums re lwys defined s(f, D) R { } nd S(f, D) R {+ } Lower nd upper Riemnn integrl, respectively, of function f on the intervl [, b] is defined s nd sup({s(f, D) : D is prtition of [, b]}), ({S(f, D) : D is prtition of [, b]}). These terms re lwys defined nd we hve f, f R = R {, + }. Definition (second definition of Riemnn integrl, Drboux). We sy tht f : [, b] R hs t [, b] Riemnn integrl, if 2 f(x) dx R.

This common vlue, if it exists, we denote by nd we cll it the Riemnn integrl of f on the intervl [, b]. The two definitions re equivlent: they give the sme clsses of Riemnn integrble functions nd the sme vlue of the Riemnn integrl, if defined. Clim (unbounded functions hve no integrl). If the f : [, b] R function is not bounded then it does not hve Riemnn integrl on [, b], ccording to both definitions. When D = ( 0, 1,..., k ) D = (b 0, b 1,..., b l ) re prtitions of [, b] nd D D, tht is for every i = 0, 1,..., k there exists j, such tht i = b j (therefore k l), we sy tht D is refinement of D or tht D refines D. Lemm. If f : [, b] R nd D, D re two prtitions of [, b], nd D refines D, s(f, D ) s(f, D) nd S(f, D ) S(f, D). f Proof. Considering the definition of s(f, D) S(f, D) nd the fct tht D cn be creted from D by dding points, it is enough to prove both inequlities in sitution where D = ( 0 = < 1 = b) D = ( 0 = < 1 < 2 = b). According to the definition of im f, we hve Then m 0 = 0 x 1 f(x) 0 x 1 f(x) = m 0 1 x 2 f(x) = m 1 s(f, D ) = ( 1 0)m 0 + ( 2 1)m 1 ( 1 0)m 0 + ( 2 1)m 0 = ( 2 0)m 0 = (b )m 0 = s(f, D). Proof of the inequlity S(f, D ) S(f, D) is similr. Corollry. When f : [, b] R nd D, D re two prtitions [, b], then s(f, D) S(f, D ). 3

Proof. Let E = D D be common refinement of both prtitions. According to the previous lemm we hve s(f, D) s(f, E) S(f, E) S(f, D ) More precisely, the first nd lst inequlity follow from the previous lemm, nd the middle one from the definition of upper nd lower sum. Theorem (lower integrl does not exceed upper). Let f : [, b] R, m = x b f(x), M = sup x b f(x) nd D, D be two prtitions of intervl [, b]. Then the following inequlities hold: m(b ) s(f, D) f f S(f, D ) M(b ). Proof. The first nd lst inequlity re the specil cses of the previous lemm. The second nd penultimte inequlity comes stright from the definition of the lower nd upper integrl s supremum or imum respectively. According to the corollry, ech element is set of lower sums whose supremum is f smller or equl to ech element of the upper sum set whose im is f. Using the definition of imum (the lrgest lower bound) nd supremum (the smllest upper bound) we get the middle inequlity: For ech prtition D, s(f, D) the lower bound of the set of upper sums, tht is, s(f, D) f, nd so f is the upper bound of the set of lower sums, thus f f. Theorem (Integrbility criterion). Let f : [, b] R. Then f R(, b) ε > 0 D : 0 S(f, D) s(f, D) < ε. In other words, f hs Riemnn s integrl if nd only if for every ε > 0 there exists prtition of D of intervl [, b] such tht its upper Riemnn sum is greter thn the corresponding lower Riemnn sum by less thn ε. Proof. We ssume tht f hs R. integrl on [, b], i.e., f R. Let ε > 0 be given. By definition of the lower nd upper integrls, there re prtitions E 1 nd E 2 so tht s(f, E 1 ) > f ε 2 = f ε 2 S(f, E 2) < f + ε 2 = f + ε 2. 4

According to the lemm, these inequlities lso pply fter replcing E 1 nd E 2 with their joint refinement D = E 1 E 2. Summing up both inequlities we will get S(f, D) s(f, D) < f + ε ( 2 + f + ε ) = ε. 2 Given ε > 0 we tke prtition of D stisfying the condition. According to the definition of the lower nd upper integrl we get f S(f, D) < s(f, D) + ε f + ε, thus f f < ε. This inequlity is vlid for every ε > 0, so ccording to the previous sttement we hve f R. Then f hs R. integrl on [, b]. Exmple (bounded function without integrl). A function f : [0, 1] {0, 1} defined s f(α) = 1 when α is rtionl number, nd f(α) = 0, when α is irrtionl, is clled Dirichlet function, nd does not hve Riemnn integrl on [0, 1], lthough bounded. Ech positive-length intervl contins points where f hs vlue of 0, s well s points tht hve vlue of 1. Then s(f, D) = 0 nd S(f, D) = 1 for every prtition of D nd therefore 1 0 0 < 1 0 1. 5