Chapter 3

# Chapter 3 - The Riemann condition The most useful criterion...

This preview shows pages 1–11. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: The Riemann condition. The most useful criterion for determining whether f is integrable on [a,b] is given in the following theorem. It is called the Riemann condition for existence of the integral. Theorem 1. Suppose f is defined on [a,b]. Then f is integrable on [a,b] if and only if given any a > 0, there exist, correspondingly, step functions 5 and t, with s < f < t on [a,b], such that b b I t - I s < 6. Proof. We know from Theorem 1.9 of the text (p. 74) that provided 5 and t are step functions such that s < f < t. Suppose that the condition of the theorem holds. Given a > 0, b b choose 5 < f < t so that J t - I s < s. It follOws that a a I - I < 8. Because this latter inequality holds for every positive a, it must be true that f = I. Hence f is integrable. Conversely, suppose f is integrable. Given a > 0, b choose a step function 3 with s < f, such that I s is a within 8/2 of I. This we can do because I is the supremum b of the set of such numbers I 5. Similarly choose t 2 f so a . C.2 b that I t is within 8/2 of f. Now because f is a _ b ' ' b_ integrable, 5 = I. Therefore, I t and I s are within a a e of each other.[3 We now obtain a slight strengthening of the preceding theorem: Theorem 2. Suppose f is defined on [a,b]. ESE A be a number. Suppose that given a > 0, there exist step functions 3 and t with s < f < t, such that b b I t - I s < e, and h Then I f exists and eguals A. a b Proof. We know that I f exists, by the preceding a . theorem. Given a > 0, choose 3 and t satisfying the hypotheses of the corollary. Then we have b b by definition of the integral. Because [ t - I s < 5, it follows that C.3 b IA — I fl < a. a Since the latter inequality holds for every 8 > 0, we must b have A = J f._ a The calculation gﬁ J xp. Let p be a positive integer. We seek to show that the function f(x) = xp is integrable, and to obtain a formula for it, using the definition of the integral. The proof proceeds by applying the Riemann condition. It involves some hard work, as we shall see. We need the following lemma, which is easily proved by induction. (See the Exercises of Section A.) Lemma 3. Let a and a + h be positive real numbers. g; m is a positive integer, we have (a+h)m 9 am + mam-1h C.4‘ Now we prove our desired integration formula. First we consider a special case: Theorem 4. Let b be a positive real number. Then Proof. The theorem is proved by applying the Riemann condition, as expressed in Theorem 2 preceding. We show that given 5 > 0, there are step functions 5 and t such that (i) s < f < t on [0,b], b b (ii) I t - f s < e, and o o b b (iii) I s < bp+l/(p+l) s I t. o o This will prove our result. Let f(x) = xp. To define s and t, we begin by partitioning [0,b] into n equal intervals. That is, we consider the partition x0 = 0, x1 = b/n,...,xk = kb/n,...,xn = nb/n = b. It is not obvious how n should be chosen. In fact, given e > 0, we shall choose n > bp+l/e; we will see later that this is the "right" choice. C.5 Now f(x) is strictly increasing on [0,b]; that is, if 0 < xl < x2, then f(xl) < f(x2). (This result is easily proved by induction on p.) Hence it is easy to define s and t. We let s(x) = f(Xk-l) for xk-l < x < Xk, and t(x) = f(xk) for Xk-l < x < Xk' Then s < f < t on the interval (Xk-l’xk)' g=£(><) ‘These equations define s and t except at the partition points. It doesn‘t matter how we define them at the partition points, so long as s < f < t holds. 'Suppose we let s(x) = 0 .and t(x) = bp at the partition points. Then s < f < t on the entire interval [0,b]. Thus (i) holds. Let us compute I? t - [g s and Show (i9 holds. Now the value of s(x) on' (Xk-l’xk) is given by = f<x = (Xx—1") = ((k-1)b/n)P. 3k k-l) Similarly, the value of t(x) on this same interval is = (xk)p = (kb/n)p. Furthermore, xk - Xk-l = b/n. We compute X - (b/n) S k=1 k [0p + [5p +- [27"]? + +[.<2-Tl)_12]9][§]. Similarly, [[3]? + [.2312 ++[r;1_b}p][g]. Subtracting these equations, we obtain. J‘” t - Fe“ [m] =1” -. Since we (cleverly!) chose n so that n > bp+1/é, it follows that, as desired. To check (iii) requires some work. Plugging the preceding computations into the desired inequalities b b I s < bp+l/(p+l) < I t, 0 0 we obtain the inequalities bp+1 [09+1p+2p+o--+(n—1)P] < bp+l g bp+l [19+2P+...+npl np+l p+l np+l ' Simplifying further, we have 9 p p hp+l p p p (*) 0 +1 +-.-+(n-l) <—p—+1—<l+2 +...>+n. These are the inequalities we must prove. We proceed by induction on n, holding p fixed. Both inequalities are trivial when n = 1. We assume them true for n, and verify their correctness for n + 1. Let us begin with the left inequality in (*). We add nP to both sides to obtain ' p+l p p ... — p p n p 0 + l + + (n 1) + n < F1— + n . If we can show that n9 1 + np < (n+1)P+1 p+l p+l ' we are through; for the left inequality in (*) then holds for n + l and the induction step is verified. But this latter inequality follows at once from Lemma 3. -If we set a = n and h = l and m = p+l, this lemma takes the form (n+1)p+l > np+l + (p+l)np, which (if we divide through by p+l) is exactly what we want. Now we consider the right inequality in (*). Adding (n+1)p to both sides, we obtain the inequality + (n+1)p < 1p + 2p + --. + n9 + (n+1)P. If we can show that (n+l)p+1 g np+1 p+1 p+l + (n+1)p, then we are through; the right inequality of (*) then holds for n + l, and the induction step is verified. Once again, II we use Lemma 3. If we set a n+1 and h = -l and m = p+l in that lemma, we obtain np+1 > (n+1)P+1 + (p+1)(n+1)p(-l), which gives our desired inequality. D Using the basic properties of the integral (proved in D of these notes), we now derive the general integration formula for xp. C.9 Theorem 5. Let p be a positive integer. Then for all a and b, Proof. Step 1. We first verify that the given formula holds when a = 0. That is, we show that for all b, b _ f xp dx = bp+l/(p+l). o The case b > 0 was proved in Theorem 4. The case b = 0 is trivial. Consider the case b < 0; let b = -c, where c > 0. Applying basic properties of the integral, we compute c 0 I xp dx = I (-x)p dx by the reflection property, -c 0 . J (-l)pxp dx by laws of exponents, b 0 . = (-1)p J xp dx by the linearity property, b b = (-1)p+l J xp dx by our convention. 0 On the other hand, Theorem 4 implies that c I xp dx = cp+l/(p+l) = (-b)P+l/(P+l) 0 (-1)P+lbp+l/(p+l). Comparing these tWO computations gives us our desired formula. Step 2. The theorem now follows. We have b 0 b J xp dx = I xp dx + I xP dx by the additivity property, a 0 b a I xp dx - J xp dx by our convention, bp+l ap+l p+l -_§:T— by Step l of this proof. [1 NOTE: Let us introduce the notation b f(X) = f(b) - f(a)- a With this notation, the preceding theorem can be written in the form b p+l b P = X dex art- a a, NOTE: The preceding theorem, along with the linearity property of the integral, now enables us to compute the integral of any polynomial function. We simply "integrate term—by-term." For example, one has the following computation: (x3—3x+5)dx H + U1 H L7 4 I C.ll ...
View Full Document

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern