Contents 1 The Real Number System 1.1 Definition and Properties of Real Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Bounded Sets, Suprema and Infima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Natural Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 6 10 2 Sequences 2.1 Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Bounded and Monotonic Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 14 19 3 Limits and Continuity of Functions 3.1 Limits of Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Limits at Infinity and Infinite Limits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3 Limit Laws . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4 Continuity of Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5 The Intermediate Value Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 24 26 29 32 35 4 Differentiation 4.1 Revision – Self Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 The Chain Rule and Inverse Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 39 42 5 Series 5.1 Definitions and Basic Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Convergence Tests for Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3 Power Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 45 48 52 6 Riemann Integration 6.1 Suprema and Infima (self study) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2 Riemann Sums . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.3 Refinements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.4 The Riemann Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.5 Properties of the Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 54 55 57 59 62 7 Introduction to Metric Spaces 7.1 Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2 Complete Metric Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.3 Banach’s Fixed Point Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.4 Existence of solutions of differential equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.5 Power Series and the Exponential Function in ππ (π½ ) . . . . . . . . . . . . . . . . . . . . . . . . 7.6 Solutions of Linear Differential Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 69 71 74 77 81 85 i ii Introductory Analysis 2017 Lecture Manual MATH2022 Chapter 1 The Real Number System 1.1 Definition and Properties of Real Numbers We will give an axiomatic definition of the real numbers. We will define the set of real numbers, denoted by β, as a set with two operations + and ⋅, called addition and multiplication, as well as an ordering <, which satisfy the laws of addition (A), the laws of multiplication (M), the distributive law (D), the order laws (O) and the Dedekind Completeness Axiom (C). These laws and axioms will be given and discussed below. Additional Note. An alternative way to define the real numbers is to use Peano’s axiom to define the natural numbers, and then construct the integers and rational numbers in turn. Then the axioms (A), (M), (D) and (O) become properties of rational numbers, so that we call them laws. Addition and multiplication are maps which assign to every two elements in π, π ∈ β an element in β which is denoted by π+π and π⋅π (in general, written ππ), respectively. We require that these operations satisfy the following axioms. A. Axioms of addition (A1) Associative Law: π + (π + π) = (π + π) + π for all π, π, π ∈ β. (A2) Commutative Law: π + π = π + π for all π, π ∈ β. (A3) Zero: There is a real number 0 such that π + 0 = π for all π ∈ β. (A4) Additive inverse: For each π ∈ β there is −π ∈ β such that π + (−π) = 0. Notation. For π, π ∈ β one writes π − π βΆ= π + (−π). Additional Notes. 1. Any set with the operation + satisfying (A1), (A3), (A4) is called a group. If also (A2) is satisfied, the group is called an Abelian (or commutative) group. 2. You will encounter detailed discussions of (Abelian) groups in algebra courses. 3. The additive inverse of a number is also called the negation of a number. Theorem 1.1 (Basic group properties). (a) The number 0 is unique. (b) For all π ∈ β, the number −π is unique. (c) For all π, π ∈ β, the equation π + π₯ = π has a unique solution. This solution is π₯ = π − π. (d) ∀π ∈ β, −(−π) = π. (e) ∀π, π ∈ β, −(π + π) = −π − π. (f) −0 = 0. Proof. (a) Let 0, 0′ ∈ β such that π + 0 = π and π + 0′ = π for all π ∈ β. We must show that 0 = 0′ : 0 = 0 + 0′ = 0′ + 0 by (A2) = 0′ 1 2 Introductory Analysis 2017 Lecture Manual (b) Let π ∈ β and π′ , π′′ ∈ β such that π + π′ = 0 and π + π′′ = 0. We must show that π′ = π′′ : π′ = π′ + 0 by (A3) ′ ′′ = π + (π + π ) = (π′ + π) + π′′ by (A1) ′ by (A2) ′′ = (π + π ) + π ′′ =0+π = π′′ + 0 by (A2) = π′′ by (A3) (c) First we show that π₯ = π − π is a solution. So let π₯ = π − π. Then π + π₯ = π + (π − π) = π + (π + (−π)) = π + ((−π) + π) by (A2) = (π + (−π)) + π by (A1) =0+π by (A4) =π+0 by (A2) =π by (A3) To show that the solution is unique let π₯ ∈ β such that π + π₯ = π. Then π₯ = π₯ + 0 = π₯ + (π + (−π)) by (A3), (A4) = (π₯ + π) + (−π) by (A1) = (π + π₯) + (−π) by (A2) =π−π β΅π+π₯=π This shows that the solution is unique. (d) Note that −π + (−(−π)) = 0 by (A4). On the other hand −π + π = π + (−π) = 0 by (A2), (A4). By part (b), it follows that −(−π) = π. Alternatively: −(−π) = −(−π) + 0 = −(−π) + (π + (−π)) by (A3), (A4) = (π + (−π)) + (−(−π)) by (A2) = π + ((−π) + (−(−π))) by (A1) =π+0 =π by (A4) by (A3) (e) (π + π) + (−π − π) = (π + π) + ((−π) + (−π)) = ((π + π) + (−π)) + (−π) by (A1), (A2) = (π + (π + (−π))) + (−π) by (A1) = (π + 0) + (−π) by (A4) = π + (−π) by (A3) =0 by (A4) By part (b), −(π + π) = −π − π. (f) 0 + 0 = 0 by (A3), so that −0 = 0 by (A4) and (b). MATH2022 MATH2022 Introductory Analysis 2017 Lecture Manual 3 M. Axioms of multiplication (M1) Associative Law: π(ππ) = (ππ)π for all π, π, π ∈ β. (M2) Commutative Law: ππ = ππ for all π, π ∈ β. (M3) One: There is a real number 1 such that 1 ≠ 0 and π ⋅ 1 = π for all π ∈ β. (M4) Multiplicative inverse: For each π ∈ β with π ≠ 0 there is π−1 ∈ β such that ππ−1 = 1. D. The distributive law axiom (D) Distributive Law: π(π + π) = ππ + ππ for all π, π, π ∈ β. Additional Notes. 1. Any set with the operations +, ⋅ satisfying the axioms (A1)–(A4), (M1)–(M4) and (D) is called a field. 2. You will encounter detailed discussions of fields in algebra courses. 3. The multiplicative inverse of a number is also briefly called the inverse of a number. 4. The set of nonzero real numbers, β ⧡ {0}, is an Abelian group with respect to multiplication. Theorem 1.2 (Basic field properties: Distributive laws). (a) ∀π, π, π ∈ β, (π + π)π = ππ + ππ. (b) ∀π ∈ β, π ⋅ 0 = 0. (c) ∀π, π ∈ β, ππ = 0 ⇔ π = 0 or π = 0. (d) ∀π, π ∈ β, (−π)π = −(ππ). (e) ∀π ∈ β, (−1)π = −π. (f) ∀π, π ∈ β, (−π)(−π) = ππ. Proof. (a) By (M2) and (D), (π + π)π = π(π + π) = ππ + ππ = ππ + ππ. (b) By (A3) and (D), π ⋅ 0 = π(0 + 0) = π ⋅ 0 + π ⋅ 0, and by (A3), (A2), π ⋅ 0 = 0 + π ⋅ 0. Then Theorem 1.1,(c) gives π ⋅ 0 = 0. (c) If π = 0, then ππ = π ⋅ 0 = 0 by (b). If π = 0, then ππ = ππ = π ⋅ 0 = 0 by (M2) and (b). Now assume that ππ = 0. If π = 0, the property “π = 0 or π = 0” follows. So now assume π ≠ 0. Then π = π ⋅ 1 = π(ππ−1 ) = (ππ)π−1 = 0 ⋅ π−1 = 0 by (M3), (M4), (M1), (M2) and (b). (d) Using field laws, we get ππ + (−π)π = (π + (−π))π = 0 ⋅ π = 0, and from Theorem 1.1(b), (−π)π = −ππ. (e) is a special case of (d). (f) From (d) and other laws and rules (which one’s?) we find (−π)(−π) = −[π(−π)] = −[(−π)π] = −[−ππ] = ππ = ππ. Theorem 1.3 (Basic field properties: multiplication). (a) The number 1 is unique. (b) For all π ∈ β with π ≠ 0, the number π−1 is unique. (c) For all π, π ∈ β with π ≠ 0, the equation ππ₯ = π has a unique solution. This solution is π₯ = π−1 π. (d) ∀π ∈ β ⧡ {0}, (π−1 )−1 = π. (e) ∀π, π ∈ β ⧡ {0}, (ππ)−1 = π−1 π−1 . (f) ∀π ∈ β ⧡ {0}, (−π)−1 = −π−1 . (g) 1−1 = 1. 4 Introductory Analysis 2017 Lecture Manual MATH2022 Proof. See tutorials. The proofs are similar to those of Theorem 1.1. π 1 Notation. π−1 π is also written as , In particular, π−1 = . π π Tutorial 1.1.1. 1. Prove Theorem 1.3. Next we give the axioms for the set of positive real numbers. It is convenient to use the notation π > 0 for positive numbers π. O. The order axioms (O1) Trichotomy: For each π ∈ β, exactly one of the following statements is true: π > 0 or π = 0 or −π > 0. (O2) If π > 0 and π > 0, then π + π > 0. (O3) If π > 0 and π > 0, then ππ > 0. The definition of positivity of real numbers gives rise to an order relation for real numbers: Definition. Let π, π ∈ β. Then π is called larger than π, written π > π, if π − π > 0. Notes. 1. Since π − 0 = π, the notation π > 0 is consistent. 2. It is convenient to introduce the following notations: π ≥ π ⇔ π > π or π = π, π < π ⇔ π > π, π ≤ π ⇔ π < π or π = π. 3. We will define general powers later. Below we use the notation π2 = π ⋅ π. Theorem 1.4 (Basic order properties). Let π, π, π, π ∈ β. Then (a) π < 0 ⇔ −π > 0. (b) π < π and π < π ⇒ π < π. (c) π < π ⇒ π + π < π + π. (d) π < π and π < π ⇒ π + π < π + π. (e) π < π and π > 0 ⇒ ππ < ππ. (f) 0 ≤ π < π and 0 ≤ π < π ⇒ ππ < ππ. (g) π < π and π < 0 ⇒ ππ > ππ. (h) π ≠ 0 ⇒ π2 > 0. (i) π > 0 ⇒ π−1 > 0 and π < 0 ⇒ π−1 < 0. (j) 0 < π < π ⇒ π−1 < π−1 . (k) 1 > 0. Proof. (a) π<0⇔0>π by definition of < ⇔0−π>0 by definition of 0 > π ⇔ −π > 0 β΅ 0 − π = −π + 0 = −π (b) π < π and π < π ⇒ π − π > 0 and π − π > 0 by definition ⇒ (π − π) + (π − π) > 0 by (O2) ⇒π−π>0 ⇒π<π by (A1)-(A4) by definition MATH2022 Introductory Analysis 2017 Lecture Manual 5 (h) Since π ≠ 0, either π > 0 or π < 0. If π > 0, then π2 = ππ > 0 by (O3). If π < 0, then −π > 0 by (a) and π2 = (−π)(−π) by Theorem 1.2, (f). Hence π2 = (−π)(−π) > 0 by (O3). (i) Since π ≠ 0, π−1 exists with ππ−1 = 1 by (M4). Then π−1 ≠ 0 by Theorem 1.2, (c). Hence (π−1 )2 > 0 by (h). Thus, if π > 0, π−1 = π(π−1 )2 > 0 by (O3). Similarly, use (g) if π < 0. (j) By (i), π−1 > 0 and π−1 > 0. Hence π−1 π−1 > 0 by (O3). Then π−1 = π(π−1 π−1 ) < π(π−1 π−1 ) −1 −1 = (ππ )π by (e) −1 =π . (k) 1 = 1 ⋅ 1 = 12 > 0 by (h). (c)–(g): See tutorials. Note. There is still one axiom missing, the axiom of Dedekind completeness. However, we will postpone the formulation of this axiom to the next section since we need some further definitions. Tutorial 1.1.2. 1. Prove Theorem 1.4, (c)–(g). 2. The absolute value function. Define the following function on β: |π₯| = { π₯ if π₯ ≥ 0, −π₯ if π₯ < 0. Prove the following statements for π₯, π¦ ∈ β: (a) |π₯| ≥ 0, (b) |π₯π¦| = |π₯| |π¦|, (c) |π¦| < π₯ ⇔ −π₯ < π¦ < π₯, (d) |π₯ + π¦| ≤ |π₯| + |π¦|. 3. Let π₯, π¦, π§ ∈ β. Which of the following statements are true and which are false? (a) π₯ ≤ π¦ ⇒ π₯π§ ≤ π¦π§, (b) 0 < π₯ ≤ π¦ ⇒ 1π¦ ≤ π₯1 , (c) π₯ < π¦ < 0 ⇒ 1π¦ < π₯1 , (d) π₯2 < 1 ⇒ π₯ < 1, (e) π₯2 < 1 ⇒ −1 < π₯ < 1, (f) π₯2 > 1 ⇒ π₯ > 1. 4. In each of the following questions fill in the π (a) π ≥ 3 ⇒ π−2 , 7 7 3 (b) π ≥ 1 ⇒ π+1 3 , π (c) π > 1 ⇒ π9 10 , π−1 (d) π > 1 ⇒ π12 1 , π (e) π ≥ 2 ⇒ π21−1 1 , π (f) π > 3 ⇒ −3 π −2 . π−1 with < or >. 5. Let π₯ ≥ 0 and π¦ ≥ 0. Show that π₯ < π¦ ⇔ π₯2 < π¦2 . 6 1.2 Introductory Analysis 2017 Lecture Manual MATH2022 Bounded Sets, Suprema and Infima Definition 1.1. Let π be a nonempty subset of β. Then 1. If there is a number π΄ ∈ β such that π₯ ≤ π΄ for all π₯ ∈ π, then π΄ is said to be an upper bound of π, and π is said to be bounded above. 2. If there is a number π ∈ β such that π₯ ≥ π for all π₯ ∈ π, then π is said to be a lower bound of π, and π is said to be bounded below. 3. If π is bounded above and bounded below, then π is called bounded. Note. Recall the definition of intervals. [Note for lecturers: We do not need to write this down. Students have seen this in first year. Just refer students to the notes in case they have forgotten the definitions.] Let π, π. Then (π, π) = {π₯ ∈ β βΆ π < π₯ < π}, [π, π] = {π₯ ∈ β βΆ π ≤ π₯ ≤ π}, (π, π] = {π₯ ∈ β βΆ π < π₯ ≤ π}, [π, π) = {π₯ ∈ β βΆ π ≤ π₯ < π}, (−∞, π) = {π₯ ∈ β βΆ π₯ < π}, (−∞, π] = {π₯ ∈ β βΆ π₯ ≤ π}, (π, ∞) = {π₯ ∈ β βΆ π < π₯}, [π, ∞) = {π₯ ∈ β βΆ π ≤ π₯}. Example 1.2.1. Let π = (−∞, 1). Does π have upper and lower bounds? Solution. Since π₯ < 1 for all π₯ ∈ π, 1 is an upper bound of π, and π is therefore bounded above. But also 2 and 7.3 are upper bounds of π, for example. Assume that π has a lower bound π. Then π ≤ 0 since 0 ∈ π, and π − 1 < π ≤ 0 < 1 shows that π − 1 ∈ π. So π ≤ π − 1 since π is a lower bound of π. But this is false, so that π cannot be a lower bound of π. Therefore π has no lower bound, and π is therefore not bounded below. Definition 1.2. Let π be a nonempty subset of β. 1. If π has an upper bound π which is an element of π, then π is called the greatest element or maximum of π, and we write π = max π. 2. If π has a lower bound π which is an element of π, then π is called the least element or minimum of π, and we write π = min π. From the definition, we immediately obtain Proposition 1.5. Let π be a nonempty subset of β. Then 1. π = max π ⇔ π ∈ π and π₯ ≤ π for all π₯ ∈ π, 2. π = min π ⇔ π ∈ π and π₯ ≥ π for all π₯ ∈ π. We have already implicitly used in our notation that maximum and minimum are unique if they exist. The next result states this formally. Proposition 1.6. Let π be a nonempty subset of β. If maximum or minimum of π exist, then they are unique. Proof. Assume that π has maxima π1 and π2 . We must show π1 = π2 . Since π1 ∈ π and π2 is an upper bound of π, we have π1 ≤ π2 . Since π2 ∈ π and π1 is an upper bound of π, we have π2 ≤ π1 . Hence π1 = π2 . A similar proof holds for the minimum. Example 1.2.2. Let π, π ∈ β, π < π, and π = [π, π). Then min π = π, but π has no maximum. Solution. Clearly, π ∈ π and π ≤ π₯ for all π₯ ∈ π, so that π = min π. π +π Assume π has a maximum π. Since π ∈ π, π ≤ π < π. Put π = . Then 2 π≤π = (1 + 1)π π +π π +π π+π 2π = = < < = π. 2 2 2 2 2 Therefore π ≤ π < π < π, which shows π ∈ π and π < π, contradicting that π = max π is an upper bound of π. MATH2022 Introductory Analysis 2017 Lecture Manual 7 Definition 1.3. Let π be a nonempty subset of β. A real number π is said to be the supremum or least upper bound of π, if (a) π is an upper bound of π, and (b) if πΏ is any upper bound of π, then π ≤ πΏ. The supremum of π is denoted by sup π. Definition 1.4. Let π be a nonempty subset of β. A real number π is said to be the infimum or greatest lower bound of π, if (a) π is a lower bound of π, and (b) if π is any lower bound of π, then π ≥ π. The infimum of π is denoted by inf π. Note. Let π be a nonempty subset of β. 1. By definition, if π has a supremum, then sup π is the minimum of the (nonempty) set of the upper bounds of π. Hence sup π is unique by Proposition 1.6. 2. Similarly, inf π is unique if it exists. Proposition 1.7. Let π be a nonempty subset of β. 1. If max π exists, then sup π exists, and sup π = max π. 2. If min π exists, then inf π exists, and inf π = min π. Proof. 1. max π is an upper bound of π by definition. Since max π ∈ π, max π ≤ πΏ for any upper bound πΏ of π. Hence max π = sup π. The proof of 2. is similar. Example 1.2.3. Let π < π and put π = [π, π). Find inf π and sup π if they exist. Solution. By Proposition 1.7 and Example 1.2.2, inf π = min π = π exists. From π₯ < π for all π₯ ∈ π we have that π is an upper bound of π. If there were an an upper bound πΏ of π with πΏ < π, it would follow as in the solution to Example 1.2.2 that there is π ∈ π with πΏ < π, which contradicts the fact that πΏ is an upper bound of π. Hence sup π = π. Note. It is crucial for Analysis that sufficiently may subsets have a supremum and/or infimum. For example, with the currently formulated axioms, we cannot decide if the sets π1 = {π₯ ∈ β βΆ π₯ > 0 and π₯2 < 2} or π2 = {π₯ ∈ β βΆ π₯ > 0 and π₯2 ≤ 2} have suprema. √ √ Note that the naïve approach putting π2 = (0, 2] is invalid as we do not know if 2, i. e., a real number π₯ > 0 with π₯2 = 2, exists. Thus we have the last axiom of the real number system. C. The Dedekind completeness axiom (C) Every nonempty subset of β which is bounded above has a supremum. Additional Note. It can be shown that the real number system is uniquely determined by the axioms (A1)-(A4), (M1)-(M4), (D), (O1)-(O3), (C). Theorem 1.8 (Positive square root). Let π ≥ 0. Then there is a unique π₯ ≥ 0 such that π₯2 = π. We write √ 1 π₯ = π = π2 . √ Proof. If π = 0, we have 02 = 0 and π₯2 > 0 if π₯ > 0, so that 0 = 0 is the unique number π₯ ≥ 0 such that π₯2 = 0. Now let π > 0. Note that π₯ ≥ 0 and π₯2 = π > 0 gives π₯ > 0. For the uniqueness proof let π₯1 > 0 and π₯2 > 0 such that π₯21 = π and π₯22 = π. Then 0 = π − π = π₯21 − π₯22 = (π₯1 + π₯2 )(π₯1 − π₯2 ). From π₯1 + π₯2 > 0 it follows that π₯1 − π₯2 = 0, i. e., the uniqueness π₯1 = π₯2 . 8 Introductory Analysis 2017 Lecture Manual MATH2022 For the existence of the square root define ππ = {π₯ ∈ β βΆ 0 < π₯, π₯2 < π}. First we are going to show that ππ ≠ ∅ and that ππ is bounded. If π < 1, then π2 < π ⋅ 1 = π, so that π ∈ ππ . If π ≥ 1, then ( 12 )2 < 12 = 1 ≤ π, so that 21 ∈ ππ . For π₯ > π + 1 we have π₯2 > (π + 1)2 = π2 + 2π + 1 > 2π > π, so that any π₯ > π + 1 does not belong to ππ . Thus π₯ ≤ π + 1 for all π₯ ∈ ππ . We have shown that ππ is bounded above with upper bound π + 1. By the Dedekind completeness axiom there exists ππ = sup ππ . Note that ππ > 0 since ππ has positive elements. To complete the proof we will show that ππ2 = π. By proof by contradiction, assume that ππ2 ≠ π. Case I: ππ2 < π. Put } { π − ππ2 , ππ . π = min 4ππ Then π > 0 and (ππ + π)2 − π = ππ2 + 2ππ π + π2 − π = ππ2 − π + (2ππ + π)π ≤ ππ2 − π + 3ππ π ≤ ππ2 − π + 3ππ π − ππ2 4ππ 1 = (ππ2 − π) < 0. 4 Thus (ππ + π)2 < π, giving ππ + π ∈ ππ , contradicting the fact that ππ is an upper bound of ππ . Case II: ππ2 > π. Put π2 − π π= π . 2ππ Then 0 < π < 12 ππ and (ππ − π)2 − π = ππ2 − 2ππ π + π2 − π > ππ2 − π − 2ππ π = ππ2 − π − 2ππ ππ2 − π 2ππ = 0. Hence for all π₯ ≥ ππ − π > 12 ππ > 0, π₯2 ≥ (ππ − π)2 > π so that any π₯ ≥ ππ − π does not belong to ππ . Hence ππ − π is an upper bound of ππ , contradicting the fact that ππ is the least upper bound of ππ . So ππ2 ≠ π is impossible, and ππ2 = π follows. The completeness axiom can be thought of as ensuring that there are no ’gaps’ on the real line. MATH2022 Introductory Analysis 2017 Lecture Manual 9 Theorem 1.9 (Characterizations of the supremum). Let π be a nonempty subset of β. Let π ∈ β. The following are equivalent: (a) π = sup π; (b) π is an upper bound of π, and for each π > 0, there is π ∈ π such that π − π < π ; (c) π is an upper bound of π, and for each π₯ < π, there exists π ∈ π such that π₯ < π . Proof. (a) ⇒ (b): Since (a) holds, π is the least upper bound and thus an upper bound. Let π > 0. Then π − π is not an upper bound of π since π is the least upper bound of π. Hence π₯ ≤ π − π does not hold for all π₯ ∈ π, and therefore there must be π ∈ π such that π − π < π . (b) ⇒ (c): Let π₯ < π. Then π = π − π₯ > 0, and by assumption there is π ∈ π with π − π < π . Then π₯ = π − π < π . (c) ⇒ (a): By assumption, π is an upper bound of π. Suppose that π is not the least upper bound. Then there is an upper bound πΏ of π with πΏ < π. By assumption (c), there is π ∈ π such that πΏ < π , contradicting that πΏ is an upper bound of π. So π must be indeed the least upper bound of π. There is an apparent asymmetry in the Dedekind completion. However, there is a version for infima, which is obtained by reflection. To this end, if π is a (nonempty) subset of β set −π = {−π₯ βΆ π₯ ∈ π}. Note that because of −(−π₯) = π₯ this can also can be written as −π = {π₯ ∈ β βΆ −π₯ ∈ π}. Since π₯ ≤ π¦ ⇔ −π₯ ≥ −π¦ it is easy to see that the following properties hold: Proposition 1.10. Let π be be nonempty subset of β. Then (a) −π is bounded below if and only if π is bounded above, inf (−π) = − sup π, and if max π exists, then min(−π) exists and min(−π) = − max π. (b) −π is bounded above if and only if π is bounded below, sup(−π) = − inf π, and if min π exists, then max(−π) exists and max(−π) = − min π. (c) −π is bounded if and only if π is bounded. Thus the Dedekind completeness axiom immediately gives Theorem 1.11. Every nonempty subset of β which is bounded below has an infimum. Theorem 1.12 (Characterizations of the infimum). Let π be a nonempty subset of β. Let π ∈ β. The following are equivalent: (a) π = inf π; (b) π is a lower bound of π, and for each π > 0, there is π ∈ π such that π < π + π; (c) π is a lower bound of π, and for each π₯ > π, there exists π ∈ π such that π < π₯. Theorem 1.13 (Dedekind cut). Let π΄ and π΅ be nonempty subsets of β such that (i) π΄ ∩ π΅ = ∅, (ii) π΄ ∪ π΅ = β, (iii) ∀ π ∈ π΄ ∀ π ∈ π΅, π ≤ π. Then there is π ∈ β such that π ≤ π ≤ π for all π ∈ π΄ and π ∈ π΅. Proof. π΄ is nonempty and bounded above (any π ∈ π΅ is an upper bound of π΄), so π = sup π΄ exists by the Dedekind completeness axiom, and π ≥ π for all π ∈ π΄ by definition of upper bound. (iii) says that each π ∈ π΅ is an upper bound of π΄, and hence π ≤ π since π is the least upper bound of π΄. Note. The above theorem says that Dedekind completeness implies the Dedekind cut property. Conversely, if the ordered field axioms and the Dedekind cut property are satisfied, then the Dedekind completeness axiom holds (see tutorials). 10 Introductory Analysis 2017 Lecture Manual MATH2022 Tutorial 1.2.1. 1. In each of the following cases, state if the given set is bounded above or not. If a set is bounded above, give two different upper bounds for the set, give the supremum of the set and state if the set has a maximum or not. (a) (−3, 2) (b) (1, ∞) (c) [10, 11] (d) {5, 4} (e) {10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, −1, −2, −5} (f) (−∞, 2] (g) {π₯ ∈ β βΆ π₯2 < 3} (h) {π₯ ∈ β βΆ π₯2 ≤ 3} 2. For each of the sets in Q. 1, state if the given set is bounded below or not. If a set is bounded below, give two different lower bounds for the set, give the infimum of the set and state if the set has a minumum or not. 3. Let π be a nonempty subset of β. (a) If π is the greatest element of π, then what is sup π? (b) If sup π = π, then what are the upper bounds of π? . (c) If sup π = π, does π have a maximum? (d) If sup π = π and π ∈ π, does π have a maximum? 4. Prove Proposition 1.10. 5. Prove Theorem 1.11. 6. Prove Theorem 1.12. 7. Let π and π be non-empty subsets of β which are bounded above. Use Theorem 1.9 to prove that sup(π + π ) = sup π + sup π . Step 1: Let πΎ = sup π and π = sup π . Show that πΎ + π is an upper bound of π + π . Step 2: Let π > 0. Then 2π > 0 as well. Since sup π = πΎ, by Theorem 1.9 there is π ∈ π such that πΎ − 2π < π . Also, since sup π = π, there is π‘ ∈ π such that π − 2π < π‘. Show that there exists π’ ∈ π + π such that πΎ + π − π < π’. Step 3: Conclude, using Theorem 1.9, that sup(π + π ) = πΎ + π = sup π + sup π . 8. Some simple questions. Decide which of the following statements are true and which are false. (b) 3 ∈ (0, 3) (c) 17 ∈ [0, 17] (a) 12 ∈ {0, 1} (d) 17 ∈ (−3, 18) (e) 17 ∈ [16, 18] (f) 2 ∈ {1, 3, 5, 7} (g) 2.5 ∈ {π₯ ∈ β βΆ π₯2 ≥ 4} (h) −1 ∈ {π₯ ∈ β βΆ 2π₯ + 7 < 5} 9∗ . Assume that the Dedekind cut property, Theorem 1.13 as well as the ordered field axioms are satisfied. Show that the Dedekind completeness holds. 1.3 Natural Numbers Naïvely, the natural numbers are 0, 1, 2, 3, … , where the dots stand for the numbers which are obtained by adding one to the previous number. However, our axioms of the real number system do not tell us that this is possible. Hence we need another axiom to characterize the natural numbers. P. Peano’s axioms of the natural numbers There is a unique subset β of β, called the set of natural numbers, satisfying the following properties: (P1) 0 ∈ β, (P2) π ∈ β ⇒ π + 1 ∈ β, (P3) ∀ π ∈ β, π + 1 ≠ 0, (P4) If π ⊂ β such that 0 ∈ π and π + 1 ∈ π for all π ∈ π, then π = β. Additional Notes. 1. Here we define natural numbers to start at 0. This is common if one uses the axiomatic definition of the natural numbers. You may start the natural numbers with 1, if you are consistent with this. 2. If one defines the natural numbers without reference to real number, there is no arithmetic on β needed. Then the number π + 1 is called the successor of π, and axioms (P2) and (P3) can be phrased as follows: Every natural number has a successor, and 0 is not the successor of a natural number. 3. The natural numbers are used to “count”. In everyday life, counting refers to concrete objects (‘There are 220 students in the class’, ‘I have got no pen with me’, ‘I ate three rolls this morning’). However, they can also be defined as cardinalities of abstract (finite) sets. Here the cardinality #π of a (finite) set π is the number of elements in the set. The empty set ∅ has no elements, so #∅ = 0 serves as the definition of the number 0. To get the next MATH2022 Introductory Analysis 2017 Lecture Manual 11 number, consider the set which consists of the empty set. It has exactly one element, namely the empty set. So #{∅} = 1. Next #{∅, {∅}} = 2, and so on. Recall that the integers β€ and the rational numbers β are defined by β€ = {π₯ ∈ β βΆ π₯ ∈ β or − π₯ ∈ β}, { } π β = π₯ ∈ β βΆ π₯ = , π, π ∈ β€, π ≠ 0 . π As a consequence of (P4) one has The Principle of Mathematical Induction Suppose we have a statement π΄(π) associated with each π ∈ β. If (i) the statement π΄(0) is true, and (ii) whenever the statement π΄(π) is true, also the statement π΄(π + 1) is true, then the statement π΄(π) is true for all π ∈ β. Note. The statement π΄(0) is called the induction base. The induction base does not need to be taken at 0, one can take any integer which is suitable for the statements to be proved. Theorem 1.14. 1. All nonzero natural numbers π satisfy π ≥ 1. 2. ∀ π ∈ β ⧡ {0} ∃ π ∈ β, π = π + 1. 3. ∀ π, π ∈ β, π + π ∈ β. 4. for all π, π ∈ β with π ≥ π there is π ∈ β such that π = π + π. Proof. A selection of these proofs may be presented in class. 1. For each π ∈ β our statement π΄(π) is: if π ≠ 0, then π ≥ 1. We have to show that this statement is true for all π ∈ β. Induction base: π΄(0) is true since the assumption 0 ≠ 0 does not hold. Induction step: Now let π ∈ β and assume that π΄(π) holds. We must show that π΄(π + 1) holds. If π = 0 we prove π΄(1) directly: 0 + 1 = 1 ≥ 1. Now let π ≠ 0. Then π ≥ 1 since π΄(π) is true. Since 1 > 0 by Theorem 1.4, (k), we therefore have π+1 ≥ 1+1 ≥ 1. Hence, by the principle of mathematical induction, π΄(π) is true for all π ∈ β. 2. Let π = {0} ∪ {π ∈ β βΆ ∃ π ∈ β, π = π + 1}. Then π ⊂ β, 0 ∈ π, and if π ∈ π then π + 1 ∈ π since π ∈ β. Hence π = β by (P4). 3. For π ∈ β let π΄(π) be the statement: For all π ∈ β, π + π ∈ β. π΄(0) is trivially true. Now assume that π΄(π) is true. Then, for π ∈ β, π + (π + 1) = (π + 1) + π ∈ β by induction hypothesis. Hence π΄(π + 1) holds. By the principle of mathematical induction, π΄(π) holds for all π ∈ β. The proof is complete. 4. For π ∈ β let π΄(π) be the statement: For all π ∈ β with π ≥ π there exists π ∈ β such that π = π + π. π΄(0) is true with π = π for all π. Now assume π΄(π) is true and let π ∈ β with π ≥ π + 1. By induction hypothesis, since π ≥ π + 1 ≥ π there is π ∈ β such that π = π + π. If π = 0, then π = π < π + 1, which is impossible. Hence π ≠ 0, and so π = π + 1 for some π ∈ β by part 2. It follows that π = π + π + 1 = (π + 1) + π, and therefore π΄(π + 1) is true. By the principle of mathematical induction, π΄(π) hold for all π ∈ β. The proof is complete. Finally, we state and prove two important principles which are consequences of the Dedekind completeness and Peano’s axioms. 12 Introductory Analysis 2017 Lecture Manual MATH2022 Theorem 1.15 (Well-ordering principle). Every nonempty subset of β has a smallest element. Proof. Let π ⊂ β, π ≠ ∅. Assume π has no minimum. Let π = {π ∈ β βΆ ∀ π ∈ π, π < π}. Note that π ∈ π and π ∈ π gives π < π, so that π ≠ π. Hence π ∩ π = ∅. Assume that 0 ∈ π. Since 0 ≤ π for all π ∈ β by Theorem 1.14, 1, and since π ⊂ β, we have 0 ≤ π for all π ∈ π. But π has no minimum, and therefore 0 ∉ π. Thus 0 < 1 ≤ π for all π ∈ π. Hence 0 ∈ π . Now let π ∈ π . We want to show that π + 1 ∈ π . By definition of π , we have π < π for all π ∈ π. By Theorem 1.14, 4, For each such π there is π ∈ β such that π = π + π. Since π < π, it follows that π ≠ 0, and hence π ≥ 1 by Theorem 1.14, 1. Thus π=π+π≥π+1 for all π ∈ π. Since we assume that π has no minimum, it follows that π + 1 ∉ π and hence π + 1 ≠ π for all π ∈ π. Altogether π + 1 < π for all π ∈ π. This shows that π + 1 ∈ π . By (P4), π = β. Hence π = β ∩ π = π ∩ π = ∅, a contradiction. Note. One can show that if π ⊂ β€, π ≠ ∅, and π is bounded below, then π has a minimum. Theorem 1.16 (The Archimedean principle). For each π₯ ∈ β there is π ∈ β such that π > π₯. Proof. Assume the Archimedian principle is false. Then there is π₯ ∈ β such that π ≤ π₯ for all π ∈ β. That means, β is bounded above and therefore has a supremum π. By Theorem 1.9 there is π ∈ β such that π − 1 < π. Then π + 1 > (π − 1) + 1 = π and π + 1 ∈ β contradict the fact that π is an upper bound of β. Hence the Archimedian principle must be true. Definition 1.5. A subset π of β is said to be dense in β if for all π₯, π¦ ∈ β with π₯ < π¦ there is π ∈ π such that π₯ < π < π¦. Real numbers which are not rational numbers are called irrational numbers. √ Note. 1. 2 is irrational (see tutorials). 2. β is an ordered field, i. e., β satisfies all axioms of β except the Dedekind completeness axiom (see tutorials). 3. If π is rational and π is irrational, then π + π is irrational (see tutorials). Theorem 1.17. The set of rational numbers as well as the set of irrational numbers are dense in β. Proof. Let π₯, π¦ ∈ β, π₯ < π¦. By the Archimedian principle, there is a natural number π0 such that π0 > 2 > 0. π¦−π₯ Let π = {π ∈ β€ βΆ π > π0 π₯}. By the Archimedean principle, π ≠ ∅. Also, π is bounded below. So π has a minimum π. Then π − 1 ∉ π, so that π − 1 ≤ π0 π₯. √ From 1 < 2 < 4 it follows that 1 < 2 < 2. Then √ π0 π₯ π − 1 + 2 π + 1 π0 π₯ + 2 π¦−π₯ π 2 π₯= < < < ≤ =π₯+ <π₯+2 = π¦. π0 π0 π0 π0 π0 π0 2 MATH2022 Introductory Analysis 2017 Lecture Manual Then π π’= ∈ β, π0 π−1+ π£= π0 √ 2 13 ∈β⧡β and, by above, π₯ < π’ < π£ < π¦, so that we have have a rational and an irrational number between each pair of real numbers π₯, π¦ with π₯ < π¦. Hence both β and β ⧡ β are dense in β. √ √ Example 1.3.1. Let π = {π₯ ∈ β βΆ π₯ < 2} and π = {π₯ ∈ β βΆ π₯ ≤ 2}. Then π = π , and π and π have no supremum in β. Example 1.3.2 (Bernoulli’s inequality). For all π₯ ∈ β with π₯ ≥ −1 and all π ∈ β, (1 + π₯)π ≥ 1 + ππ₯. Solution. For π = 0, (1 + π₯)π = (1 + π₯)0 = 1 = 1 + 0 ⋅ π₯ = 1 + ππ₯, so that the inequality holds for π = 0. Let π ∈ β and assume the Bernoulli inequality holds for this π. Then (1 + π₯)π+1 = (1 + π₯)(1 + π₯)π ≥ (1 + π₯)(1 + ππ₯) = 1 + π₯ + ππ₯ + ππ₯2 = 1 + (π + 1)π₯ + ππ₯2 ≥ 1 + (π + 1)π₯. The first inequality follows from 1 + π₯ ≥ 0 and the induction hypothesis, the last from ππ₯2 ≥ 0. By the principle of induction, the Bernoulli inequality holds for all π ∈ β. Note. We will make use of more rules of real numbers without proof. See the tutorials for the power rules, for example. Tutorial 1.3.1. 1. Show that if π ⊂ β€, π ≠ ∅, and π is bounded below, then π has a minimum. √ √ 2. Show that 2 is irrational. Hint. Assume that 2 = ππ with positive integers π and π. You may assume that π and π do not have common factors, i. e., there are no positive integers π, π1 , π1 with π ≠ 1 such that π = π1 π and π = π1 π. 3. Show that the rational numbers satisfy the axioms (A1)–(A4), (M1)–(M4), (D), and (O1)–(O3). 4. Let π, π ∈ β with π ≠ 0 and π ∈ β ⧡ β. Show that π + ππ ∈ β ⧡ β. 5. For π₯ ∈ β and π ∈ β, π₯π is defined inductively by (i) π₯0 = 1, (ii) π₯π+1 = π₯π₯π for π ∈ β. Show that (a) π₯π π₯π = π₯π+π , (b) (π₯π )π = π₯ππ , (c) π₯π π¦π = (π₯π¦)π . Chapter 2 Sequences Students have seen sequences and learnt rules for limits and how to apply these rules to find limits. In this chapter, students will learn the proper definitions of limits and the proofs of the rules for limits. 2.1 Sequences Definition 2.1. A (real) sequence is an ordered list of infinitely many real numbers π1 , π2 , π3 , π4 , … . We usually denote a sequence by (ππ ) = π1 , π2 , π3 , … . The number ππ is called the π-th term of the sequence. The subscript π is called the index. Note. The index of the sequence does not have to start at 1, and therefore one also writes (ππ )∞ π=π0 , where π0 can ∞ ∞ ∞ be any integer, e. g., (2π − 3)π=1 , (2π − 3)π=0 , (2π − 3)π=−5 . Recall the following note and sketch from First Year Calculus. [Lecturers: do not write this down in class.] Note. (i) A sequence can be identified with a function on the (positive) integers: ππ = π (π). (ii) A sequence can be plotted as points of the real axis or as the graph of the function, see (i). Below is a plot for the sequence ( π π+1 )∞ . π=1 π1 π2 1 2 0 π3 1 ππ 1 π 1 2 3 4 5 6 7 8 14 MATH2022 Introductory Analysis 2017 Lecture Manual 15 In first year calculus students have seen the following informal definition. [Lecturers: You do not need to write this down. In any case, emphasize that this notion has to be formalized.] Informal Definition. A sequence {ππ } is said to converge if there is a number πΏ such that ππ is as close to πΏ as we like for all sufficiently large π. We have to formalize “as close to” and “for all sufficiently large”: “as close to” means that the distance does not exceed any given (small) positive number. The distance between two numbers π₯ and π¦ is π¦ − π₯ if π₯ < π¦ and π₯ − π¦ if π₯ > π¦. Hence the distance between π₯ and π¦ is |π¦ − π₯|. Therefore we have the following formal definition: Definition 2.2. Let (ππ ) be a sequence and πΏ ∈ β. 1. The statement ‘ππ tends to πΏ as π tends to infinity’, which we write as ’ππ → πΏ as π → ∞’, is defined by: ∀ π > 0 ∃ πΎ ∈ β ∀π ∈ β, π ≥ πΎ, |ππ − πΏ| < π. 2. If ππ → πΏ as π → ∞, we say that (ππ ) converges to πΏ, and we also write lim ππ = πΏ. π→∞ 3. The sequence (ππ ) is said to be convergent if it converges to some real number. Otherwise, the sequence (ππ ) is said to be divergent. Note. 1. It is useful to note that |ππ − πΏ| < π is equivalent to πΏ − π < ππ < πΏ + π. 2. The number πΎ depends on π. We may write πΎπ to emphasize the dependence on π. 3. If one wants to prove convergence of a sequence from first principles, then one has to ‘guess’ a limit πΏ and then prove that it is indeed the limit. 4. The ‘first few terms’ do not matter for convergence and the limit. That is, the sequence (ππ )∞ π=π0 converges if converges, and their limits coincide. and only if the sequence (ππ )∞ π=π0 5. By the Archimedean principle, there are only finitely many natural numbers such that π < πΎ, and one may also assume πΎ ∈ β, without loss of generality. ) ( π converges and find its limit. Example 2.1.1. Prove that the sequence (ππ ) = π+1 Solution. We first have to guess the limit. From the rules used in first year, we guess that the limit should be πΏ = 1. Now let π > 0. We must find πΎπ such that π ≥ πΎπ ⇒ |ππ − 1| < π. For this we first simplify: | π | 1 |ππ − 1| = || − 1|| = . π + 1 π + 1 | | 1 < π, which can be written as π + 1 > 1π or π > 1π − 1. Hence if we take π+1 π πΎπ = 1π − 1, then |ππ − 1| < π for all π > πΎπ . Since π > 0 was arbitrary, we have shown that π+1 → 1 as π → ∞. Hence |ππ − 1| < π provided that Lemma 2.1. If πΏ, π ∈ β such that |πΏ − π| < π for all π > 0, then πΏ = π. Proof. Assume πΏ ≠ π. Then either πΏ < π or πΏ > π. But πΏ < π ⇒ |πΏ − π| = π − πΏ > 0, π < πΏ ⇒ |πΏ − π| = πΏ − π > 0, so that |πΏ − π| > 0. Then 0< |πΏ − π| < |πΏ − π|, 2 which contradicts |πΏ − π| < π for π = |πΏ−π| . Hence the assumption πΏ ≠ π must be false, and πΏ = π 2 follows. Theorem 2.2. If the sequence (ππ ) converges, then its limit is unique. 16 Introductory Analysis 2017 Lecture Manual MATH2022 Proof. Assume that (ππ ) converges to πΏ and π. Let π > 0. Then there are numbers ππΏ and ππ such that (i) |ππ − πΏ| < 2π if π ≥ ππΏ , (ii) |ππ − π| < 2π if π ≥ ππ . Put πΎ = max{ππΏ , ππ }. For positive integers π ≥ πΎ we have π ≥ ππΏ and π ≥ ππ and therefore |πΏ − π| = |(πΏ − ππ ) + (ππ − π)| ≤ |ππ − πΏ| + |ππ − π| < π π + = π. 2 2 By Lemma 2.1, πΏ = π. We are now going to prove the rules you have learnt in first year. Theorem 2.3 (Limit Laws). Let π ∈ β and suppose that lim ππ = πΏ and lim ππ = π both exist. Then π→∞ π→∞ (a) lim π = π. π→∞ (b) lim (ππ + ππ ) = lim ππ + lim ππ = πΏ + π. π→∞ π→∞ π→∞ (c) lim (πππ ) = π lim ππ = ππΏ. π→∞ (π→∞ ) ( ) (d) lim (ππ ππ ) = lim ππ lim ππ = πΏπ. π→∞ π→∞ π→∞ lim ππ ππ π→∞ πΏ = = . π→∞ ππ lim ππ π π→∞ π (f) If πΏ ≠ 0 and π = 0, then lim π does not exist. π→∞ ππ ( )π (g) If π ∈ β€+ , lim πππ = lim ππ = πΏπ . π→∞ π→∞ (e) If π ≠ 0, lim √ √ √ π (h) If π ∈ β€+ , lim π ππ = π lim ππ = πΏ. If π is even, we assume ππ ≥ 0 and πΏ ≥ 0. π→∞ π→∞ (i) If lim |ππ | = 0, then lim ππ = 0. π→∞ π→∞ Proof. (a) For all π > 0 and all indices π, with ππ = π, |ππ − π| = |π − π| = 0 < π. (b) Let π > 0. Then there are numbers ππΏ and ππ such that (i) |ππ − πΏ| < 2π if π ≥ ππΏ , (ii) |ππ − π| < 2π if π ≥ ππ . Put πΎ = max{ππΏ , ππ }. For positive integers π ≥ πΎ we have π ≥ ππΏ and π ≥ ππ and therefore |(ππ + ππ ) − (πΏ + π)| = |(ππ − πΏ) + (ππ − π)| ≤ |ππ − πΏ| + |ππ − π| < π π + = π. 2 2 Hence (ππ + ππ ) converges to πΏ + π. (c) Let π > 0. Then there is a number πΎ such that π |ππ − πΏ| < 1+|π| if π ≥ πΎ. For positive integers π ≥ πΎ we have |πππ − ππΏ| = |π(ππ − πΏ)| = |π| |ππ − πΏ| < |π| π < π. 1 + |π| (d) We consider 2 cases: one special case, to which then the general case is reduced. Case I: πΏ = π = 0. Let π > 0 and put π′ = min{1, π}. Then 0 < π′ ≤ π, and there are numbers ππΏ and ππ such that (i) |ππ − 0| < π′ if π ≥ ππΏ , (ii) |ππ − 0| < π′ if π ≥ ππ . Put πΎ = max{ππΏ , ππ }. For positive integers π ≥ πΎ we have π ≥ ππΏ and π ≥ ππ and therefore 2 |ππ ππ | = |ππ | |ππ | < π′ ≤ π′ ≤ π. Case II: πΏ and π are arbitrary. Then ππ ππ = (ππ − πΏ)(ππ − π) + πΏ(ππ − π) + ππ π. MATH2022 17 Introductory Analysis 2017 Lecture Manual By (a), (b), (c), (ππ − πΏ) → 0 and (ππ − π) → 0 as π → ∞, and by (b), (c), and Case I, it follows that (ππ ππ ) converges with lim ππ ππ = 0 + πΏ ⋅ 0 + πΏπ = πΏπ. π→∞ (e) First consider ππ = 1. Then |1 | | − 1 | = |π − ππ | . |π | |ππ π| | π π| We must assure that ππ stays away from 0, and hence we estimate |π| = |ππ + π − ππ | ≤ |ππ | + |ππ − π|, which gives |ππ | ≥ |π| − |ππ − π|. Since ππ → π ≠ 0, there is π1 such that |ππ − π| < |π| for π ≥ π1 , and hence 2 |π| |π| = . 2 2 |ππ | ≥ |π| − If we therefore let π > 0 and choose πΎ such that |ππ − π| < min { |π| π 2 , π 2 2 } for π ≥ πΎ, it follows that 2 |1 | | − 1 | = |π − ππ | ≤ |π − ππ | 2 < |π| π 2 = π. |π | |ππ | |π| 2 |π|2 |π|2 | π π| The general case now follows with (d): ππ 1 1 = lim ππ ⋅ lim =πΏ⋅ . π→∞ ππ π→∞ π→∞ ππ π lim π (f) Assume that π = lim ππ exists. Then, by (d), π→∞ π ( πΏ = lim ππ = lim π→∞ π→∞ ππ π ππ π ) ππ ⋅ lim π = π ⋅ π = π ⋅ 0 = 0, π→∞ ππ π→∞ π = lim which contradicts πΏ ≠ 0. (g) Follows from (d) by induction. (h) We will only prove the case π = 2 as we have not yet established the existence of the π-th root. √ √ √ If πΏ = 0, let π > 0 and choose πΎ such that ππ < π2 for π ≥ πΎ. Then ππ < π for these π, and lim ππ = 0 = πΏ. π→∞ If πΏ > 0, then | | √ | π −πΏ | √ |π − πΏ| 1 | ππ − πΏ| = || √ π √ || = √ π √ ≤ √ |ππ − πΏ|, | ππ + πΏ | ππ + πΏ πΏ | | √ √ √ and choosing πΎ such that |ππ − πΏ| < πΏπ for π ≥ πΎ, it follows that | ππ − πΏ| < π for π ≥ πΎ. (i) is trivial. Theorem 2.4 (Sandwich Theorem). If ππ ≤ ππ ≤ ππ and lim ππ = lim ππ = πΏ, then lim ππ = πΏ. π→∞ π→∞ π→∞ Proof. Let π > 0 and choose π1 and π2 such that |ππ − πΏ| < π if π ≥ π1 and |ππ − πΏ| < π if π ≥ π2 . In particular, for π ≥ πΎ = max{π1 , π2 }, πΏ − π < ππ < πΏ + π, πΏ − π < ππ < πΏ + π gives πΏ − π < ππ ≤ ππ ≤ ππ < πΏ + π. Hence |ππ − πΏ| < π if π ≥ πΎ. 18 Introductory Analysis 2017 Lecture Manual MATH2022 Theorem 2.5. Let π₯ ∈ β. Then π₯π converges if and only if −1 < π₯ ≤ 1. Proof. For π₯ = 1, 1π = 1, so that lim 1π = 1 by Theorem 2.3 (a). π→∞ Let 0 < π₯ < 1 and let π > 0. Then 0 < 1 < π₯1 and therefore π¦ βΆ= 1 − 1 > 0. π₯ Then ( )π 1 1 = = (1 + π¦)π ≥ 1 + ππ¦ π π₯ π₯ 1−π . Then, for π > πΎ, by Bernoulli’s inequality. Put πΎ = π¦π 0 < π₯π ≤ 1 1 < = π. 1 + ππ¦ 1 + 1−π π Hence π₯π → 0 as π → ∞. Now let π₯ > 1. If π₯π would converge to some πΏ as π → ∞, then 1 = lim 1π = lim π→∞ ( )π 1 ⋅ lim π₯π = 0 ⋅ πΏ = 0, π→∞ π₯ which is impossible. The remaining cases are left as an exercise. Theorem 2.6. If π > 0, then lim 1 π→∞ ππ = 0. Proof. We are only going to prove the case that π is a positive integer. Let π = 1 and choose π > 0. Let πΎ = 2π . Then, for π ≥ πΎ, 0< 1 1 π ≤ = < π, π πΎ 2 | | whence | 1π | < π. | | Now assume the statement holds for an integer π > 0. Then lim 1 π→∞ ππ+1 = lim 1 π→∞ π ⋅ lim 1 π→∞ ππ = 0 ⋅ 0 = 0. So the result follows for all positive integers by induction. ( ) π Tutorial 2.1.1. 1. (a) Prove, using the definition of convergence, that the sequence π+1 does not converge to 2. π (b) Prove, using the definition of convergence, that the sequence ((−1) ) does not converge to any πΏ. 2. (a) Prove that if lim ππ = πΏ, then lim |ππ | = |πΏ|. (Hint: use (and prove) the inequality ||π₯| − |π¦|| ≤ |π₯ − π¦|.) π→∞ π→∞ (b) Give an example to show that the converse to part (a) is not true. 3. Contractive maps. Suppose that for some π ∈ β with 0 < π < 1, we have |ππ+1 − πΏ| ≤ π|ππ − πΏ| for all π ∈ β. (a) Use induction to prove that |ππ − πΏ| ≤ π π |π0 − πΏ| for all π ∈ β. (b) Use the Sandwich Theorem and the fact that lim π π = 0 to prove that lim ππ = πΏ. π→∞ π→∞ √ 4. Recursive algorithm for finding π. Let π > 1 and define ( ) 1 π π0 = π and ππ = ππ−1 + for π ≥ 1. 2 ππ−1 √ √ (a) Prove that 0 < ππ − π = 2π1 (ππ−1 − π)2 for π ≥ 1. π−1 √ √ (b) Use (a) to prove that 0 ≤ ππ − π ≤ 21 (ππ−1 − π) for π ≥ 1. √ (c) Deduce that lim ππ = π. π→∞ √ (d) Apply four steps of the recursive algorithm with π = 3 to approximate 3. MATH2022 2.2 Introductory Analysis 2017 Lecture Manual 19 Bounded and Monotonic Sequences Definition 2.3. 1. A sequence (ππ ) is said to be bounded above if there is a number π ∈ β such that ππ ≤ π for all indices π. 2. A sequence (ππ ) is said to be bounded below if there is a number π ∈ β such that ππ ≥ π for all indices π. 3. A sequence (ππ ) is said to be bounded if it is a bounded above and bounded below. Note. A sequence (ππ )∞ π=π0 is bounded (above, below) if and only if the set {ππ βΆ π ∈ β€, π ≥ π0 } is bounded (above, below). Definition 2.4. A sequence {ππ }∞ is called π=1 increasing if ππ ≤ ππ+1 for all indices π, strictly increasing if ππ < ππ+1 for all indices π, decreasing if ππ ≥ ππ+1 for all indices π, strictly decreasing if ππ > ππ+1 for all indices π, monotonic if it is either increasing or decreasing, strictly monotonic if it is either strictly increasing or strictly decreasing. Theorem 2.7. Every convergent sequence is bounded. Proof. Here we use the fact, which is easy to prove (by induction), that a set of the form {ππ βΆ π ∈ β€, π0 ≤ π ≤ π1 } is bounded (and indeed has minimum and maximum). We also use that the union of two bounded sets is bounded. Since (ππ ) converges, there are πΏ and π such that |ππ − πΏ| < 1 for all π ≥ π. Hence {ππ βΆ π < π} and {ππ βΆ π ≥ π} ⊂ (πΏ − 1, πΏ + 1) are bounded. So the sequence is bounded by the above note. Although each unbounded sequence diverges, there are some divergent sequences which have a limiting behaviour which we want to exploit. Recall that we use the notation ‘π → ∞’ in the definition of the limit. This extends to ‘ππ → ∞’, and we have therefore the Definition 2.5. 1. We say that ππ tends to infinity as π tends to infinity and write ππ → ∞ as π → ∞ if for every π΄ ∈ β there is πΎ ∈ β such that ππ > π΄ for all π ≥ πΎ. 2. We say that ππ tends to minus infinity as π tends to infinity and write ππ → −∞ as π → ∞ if for every π΄ ∈ β there is πΎ ∈ β such that ππ < π΄ for all π ≥ πΎ. Notes. 1. For the definition of ππ → ∞(−∞) as π → ∞, we may restrict π΄ to π΄ > π΄0 (π΄ < π΄0 ) for suitable numbers π΄0 . 2. For ππ → ∞ as π → ∞ we also write lim ππ = ∞ and say that (ππ ) diverges to ∞. π→∞ 3. For ππ → −∞ as π → ∞ we also write lim ππ = −∞ and say that (ππ ) diverges to −∞. π→∞ Example 2.2.1. 1. Let ππ = (−1)π . Then (ππ ) is bounded but not convergent. 2. Let ππ = π. Then (ππ ) is unbounded (by the Archimedean principle). Hence (ππ ) diverges. Example 2.2.2. Prove that π2 − π3 + 10 → −∞ as π → ∞. Solution. Let π΄ < 0 and put πΎ = −π΄ + 11. Then πΎ > 11, and for π ≥ πΎ we have π2 − π3 + 10 = −π2 (π − 1) + 10 ≤ −10π2 + 10 ≤ −10πΎ 2 + 10 = −10(πΎ − 1)(πΎ + 1) ≤ −100(πΎ + 1) ≤ −πΎ = π΄ − 11 ≤ π΄. Theorem 2.8. 1. Let (ππ ) be a sequence with ππ > 0 for all indices π. Then 1 lim π = ∞ ⇔ lim = 0. π→∞ π π→∞ ππ 2. Let (ππ ) be a sequence with ππ < 0 for all indices π. Then 1 lim π = −∞ ⇔ lim = 0. π→∞ π π→∞ ππ 20 Introductory Analysis 2017 Lecture Manual Proof. 1. Assume that lim ππ = ∞. To show that lim 0 < π΄ < ππ for all π ≥ πΎ. Then 0< for these π, which shows that lim 1 π→∞ ππ Conversely, assume that lim 1 π→∞ ππ Hence there is πΎ ∈ β such that The proof of part 2 is similar. 1 π→∞ ππ π→∞ = 0 let π > 0. Put π΄ = MATH2022 1 . Then there is πΎ such that π 1 1 < =π ππ π΄ = 0. = 0. Let π΄ ∈ β and put π΄0 = max{π΄, 1}. Then π΄0 > 0 and put π = |1| 1 1 = || || < π for all π ≥ πΎ. This give ππ > = π΄0 ≥ π΄ for all π ≥ πΎ. ππ | ππ | π 1 > 0. π΄0 Apart from this rule, there are more rules for infinite limits. Some of these rules are listed below. [Note to lecturers: do not write this down, just refer the students to the notes.] Theorem 2.9. Consider π ∈ β and sequences with the following properties as π → ∞: ππ → ∞, ππ → ∞, ππ → π ∈ β, ππ → −∞. Then, as π → ∞, β§∞ if k>0, βͺ (a) πππ → β¨ −∞ if k<0, βͺ0 if k=0. β© (b) ππ + ππ → ∞, (c) ππ + ππ → ∞, (d) −ππ → ∞, { ∞ if c>0, (e) ππ ππ → −∞ if c<0. (f) ππ ππ → ∞. Proof. See tutorials. It is convenient to extend the notions of supremum and infimum to unbounded set. Definition 2.6. Let π΄ ⊂ β be nonempty. If π΄ is not bounded above, we write sup π΄ = ∞, and if π΄ is not bounded below, we write inf π΄ = −∞. We know that not every sequence converges, and it may be hard to decide if a sequence converges. However, the situation is different with monotonic sequences: Theorem 2.10. 1. Let (ππ ) be an increasing sequence. If (ππ ) is bounded, then (ππ ) converges, and lim ππ = sup{ππ βΆ π ∈ β}. If (ππ ) is not bounded, then (ππ ) diverges to ∞. π→∞ 2. Let (ππ ) be a decreasing sequence. If (ππ ) is bounded, then (ππ ) converges, and lim ππ = inf {ππ βΆ π ∈ β}. If (ππ ) is not bounded, then (ππ ) diverges to −∞. π→∞ Proof. 1. Assume (ππ ) is bounded. Put πΏ = sup{ππ βΆ π ∈ β} and let π > 0. We must show that there is πΎ ∈ β such that π ≥ πΎ gives πΏ − π < ππ < πΏ + π. Indeed by the definition of the supremum we have ππ ≤ πΏ < πΏ + π for all π and by Theorem 1.9 there is πΎ such that πΏ − π < ππΎ . Then we have for all π ≥ πΎ that πΏ − π < ππΎ ≤ ππ . Hence πΏ − π < ππ < πΏ + π for all π ≥ πΎ, which proves ππ → πΏ as π → ∞. Now assume that (ππ ) is not bounded. Since π0 ≤ ππ for all π, (ππ ) is bounded below. Hence (ππ ) is not bounded above. Let π΄ ∈ β. Then there is an index πΎ such that ππΎ > π΄, and thus ππ ≥ ππΎ > π΄ for all π ≥ πΎ. MATH2022 Introductory Analysis 2017 Lecture Manual 21 ( )π ( )π+1 Example 2.2.3. Let ππ = 1 + 1π and ππ = 1 + 1π . Then ππ < ππ for all π ∈ β, (ππ ) is an increasing sequence, (ππ ) is a decreasing sequence, both sequences converge to the same number, and the limit is denoted by π, Euler’s number. Proof. The inequality ππ < ππ is obvious from ( ) 1 ππ = ππ 1 + . π Using Bernoulli’s inequality, see Example 1.3.2, we calculate ( ) π + 2 π+1 ( )π+1 ππ+1 π(π + 2) π+1 π+1 = ( = ) ππ π π+1 π (π + 1)2 π )π+1 ( π+1 1 = 1− π (π + 1)2 ) ( π+1 π+1 π π+1 ≥ 1− = =1 π π+1 π (π + 1)2 and ( ) π + 1 π+1 ( )π+2 ππ (π + 1)2 π = =( π ) ππ+1 π(π + 2) π+1 π + 2 π+2 π+1 )π+2 ( 1 π = 1+ π(π + 2) π+1 ( ) π+2 π+1 π π ≥ 1+ = = 1. π(π + 2) π + 1 π π+1 Hence the sequence (ππ ) is increasing and bounded (by π1 ). By Theorem 2.10, (ππ ) has a limit πΌ. Similarly, (ππ ) has a limit π½. Finally π½ = lim ππ = lim π→∞ (( π→∞ 1+ ) ) ( ) 1 1 ππ = lim 1 + lim π = πΌ. π→∞ π π π→∞ π Definition 2.7. 1. With every sequence (ππ ) which is bounded above, we can associate the sequence of numbers sup{ππ βΆ π ≥ π}. Since {ππ βΆ π ≥ π} ⊃ {ππ βΆ π ≥ π + 1}, this sequence is decreasing, and we denote its limit by lim sup ππ = lim sup{ππ βΆ π ≥ π}. π→∞ π→∞ If (ππ ) is not bounded above, we put lim sup ππ = ∞. π→∞ 2. Similarly, if the sequence (ππ ) is bounded below, the sequence of numbers inf {ππ βΆ π ≥ π} is increasing, and we denote its limit by lim inf ππ = lim inf {ππ βΆ π ≥ π}. π→∞ π→∞ If (ππ ) is not bounded below, we put lim inf ππ = −∞. π→∞ 22 Introductory Analysis 2017 Lecture Manual MATH2022 Note. 1. Since inf π ≤ sup π for every nonempty set π, it follows that lim inf ππ ≤ lim sup ππ , where we write π→∞ π→∞ −∞ < π₯ and π₯ < ∞ for each π₯ ∈ β. 2. The sequence (ππ ) is bounded if and only if both lim inf ππ and lim sup ππ are real numbers (also called finite). π→∞ π→∞ We have now the following characterization of the limit of a sequence and its existence: Theorem 2.11. 1. The sequence (ππ ) converges if and only if lim inf ππ and lim sup ππ are finite and equal, and π→∞ π→∞ then lim inf ππ = lim ππ = lim sup ππ . π→∞ π→∞ π→∞ 2. lim ππ = ∞ ⇔ lim inf ππ = ∞ and lim sup ππ = ∞. π→∞ π→∞ π→∞ 3. lim ππ = −∞ ⇔ lim inf ππ = −∞ and lim sup ππ = −∞. π→∞ π→∞ π→∞ Proof. 1. For a sequence (ππ ), denote ππ = inf {ππ βΆ π ≥ π} and ππ = sup{ππ βΆ π ≥ π}. Note that ππ ≤ ππ ≤ ππ . 1. Assume that (ππ ) converges to πΏ. Let π > 0. Then there is πΎ ∈ β such that for all π ≥ πΎ, πΏ − 3π < ππ < πΏ + 3π . Hence π π πΏ − ≤ ππ ≤ ππ ≤ ππ ≤ πΏ + . 3 3 Since (ππ ) is increasing and (ππ ) is decreasing, we have πΏ− π π ≤ lim inf ππ ≤ lim sup ππ ≤ πΏ + . π→∞ 3 3 π→∞ Hence 0 ≤ lim sup ππ − lim inf ππ ≤ π→∞ π→∞ 2π < π. 3 From Lemma 2.1 we obtain that lim inf ππ = lim sup ππ . π→∞ π→∞ Conversely, if lim inf ππ = lim sup ππ , then it follows from ππ ≤ ππ ≤ ππ and the Sandwich Theorem that (ππ ) π→∞ π→∞ converges and that lim inf ππ = lim ππ = lim sup ππ . π→∞ π→∞ π→∞ 2., 3. Exercise. Another important concept is that of a Cauchy sequence: Definition 2.8 (Cauchy sequence). A seqence (ππ ) is called a Cauchy sequence if for all π > 0 there is πΎ ∈ β such that for all π, π ∈ β with π, π ≥ πΎ, |ππ − ππ | < π. Theorem 2.12. A sequence (ππ ) converges if and only if it is a Cauchy sequence. Proof. Let (ππ ) be a convergent sequence with limit πΏ. Let π > 0 and let πΎ such that |ππ − πΏ| < 2π for π ≥ πΎ. Then it follows for π, π ≥ πΎ that |ππ − ππ | = |(ππ − πΏ) − (ππ − πΏ)| ≤ |ππ − πΏ| + |ππ − πΏ| < π π + = π. 2 2 Conversely, assume that (ππ ) is a Cauchy sequence. Let π > 0 and choose πΎ such that |ππ − ππ | < 3π for all π, π ≥ πΎ. Then π π < ππ < ππ + 3 3 π π ⇒ ππ − ≤ lim inf ππ ≤ lim sup ππ ≤ ππ + π→∞ 3 3 π→∞ ( ) ( ) π π 2π ⇒ 0 ≤ lim sup ππ − lim inf ππ ≤ ππ + − ππ − = < π. π→∞ 3 3 3 π→∞ ππ − By Lemma 2.1, lim inf ππ = lim sup ππ , and an application of Theorem 2.11, part 1, completes the proof. π→∞ π→∞ MATH2022 23 Introductory Analysis 2017 Lecture Manual Tutorial 2.2.1. 1. Prove Theorem 2.9. 2. Use suitable rules or first principles to find (b) lim (π − 1π ) (a) lim (π2 + 2π − 10) π→∞ π→∞ π3 − 3π2 π→∞ π + 1 (c) lim 3. Prove that if lim |ππ | = ∞, then (ππ ) diverges. π→∞ 4. Prove that if π ∈ β, π > 0, then ππ → ∞ as π → ∞. 5. Define a sequence as follows: π0 = 0, π1 = 1 1 , π = (1 + ππ + π3π−1 ) for π ≥ 2. 2 π+1 3 (a) Use induction to show that 0 ≤ ππ < 23 for all π ∈ β. (b) Use induction to show that ππ ≤ ππ+1 for all π ∈ β. (c) Explain why we may conclude that (ππ ) converges. (d) Using the fact that lim ππ = lim ππ−1 = lim ππ+1 , find lim ππ . π→∞ π→∞ π→∞ π→∞ 6. Let lim ππ = ∞, lim ππ = ∞, lim ππ = 0. Show, by giving examples, that no general conclusion can be made π→∞ π→∞ π→∞ about the behaviour of the following sequences: π π (a) ππ − ππ , (b) ππ ππ , (c) π , (d) π . ππ ππ 7. Let (ππ ) and (ππ ) be sequences such that ππ ≤ ππ for all π ∈ β. Show that lim inf ππ ≤ lim inf ππ and lim sup ππ ≤ π→∞ lim sup ππ . π→∞ ( ) π₯ π 8. (a) Show that exp(π₯) = lim 1 + exists for all π₯ ∈ β and that exp(1) = π. π→∞ π Hint. Adapt the proof of Example 2.2.3. (b) Use Bernoulli’s inequality to prove that ( lim π→∞ 1 + π₯+π¦ π 1 + π₯+π¦ + π₯π¦ π π2 )π =1 for all π₯, π¦ ∈ β. (c) Use (b) to show that exp(π₯ + π¦) = exp(π₯) exp(π¦) for all π₯, π¦ ∈ β. (d) Show that exp(π₯) ≥ 1 + π₯ for all π₯ > 0. (e) Show that exp(π₯) > 0 for all π₯ ∈ β. (f) Show that exp is strictly increasing. (g) Show that exp(π) = ππ for all π ∈ β€. π→∞ π→∞ Chapter 3 Limits and Continuity of Functions The single most important concept in all of analysis is that of a limit. Every single notion of analysis is encapsulated in one sense or another to that of a limit. In the previous chapter, you learnt about limits of sequences. Here this notion is extended to limits of functions, which leads to the notion of continuity. You have learnt an intuitive version in Calculus I. Here you will learn a precise definition and you will learn how to prove the results you have learnt in Calculus I. In this course all functions will have domains and ranges which are subsets of β unless otherwise stated. Such functions are called real functions. 3.1 Limits of Functions Definition 3.1. Let π ∈ β. An interval of the form (π, π) with π < π < π is called a neighbourhood of π, and the set (π, π) ⧡ {π} is called a deleted neighbourhood of π. In the definition of the limit of sequences you have seen formal definitions for ‘π tends to ∞’ and ‘ππ tends to πΏ’, and the latter one has an obvious generalization to ‘π₯ tends to π’ and ‘π (π₯) tends to πΏ’, which you will encounter in the next definition. Definition 3.2 (Limit of a function). Let π be a real function, π, πΏ ∈ β and assume that the domain of π contains a deleted neighbourhood of π, that is, π (π₯) is defined for all π₯ in a deleted neighbourhood of π . Then ‘π (π₯) → πΏ as π₯ → π’ is defined to mean: ∀ π > 0 ∃ πΏ > 0 ∀ π₯ ∈ (π − πΏ, π + πΏ) ⧡ {π}, π (π₯) ∈ (πΏ − π, πΏ + π), i. e., ∀ π > 0 ∃ πΏ > 0 (0 < |π₯ − π| < πΏ ⇒ |π (π₯) − πΏ| < π). If π (π₯) → πΏ as π₯ → π, then we write lim π (π₯) = πΏ. π₯→π Note. 1. πΏ in the definition above is also called the limit of the function at π. For the definition of the limit of a function at π, the number π (π) is never used, and indeed, the function need not be defined at π. 2. Observe that the number πΏ will depend on π, and also on π, if we vary π. 24 MATH2022 Introductory Analysis 2017 Lecture Manual 25 Exercise. Use the notation in the above definition to label the following graph: Example 3.1.1. Prove, from first principles, that π₯2 → 4 as π₯ → 2. Solution. Let π > 0. We must show that there is πΏ > 0 such that 0 < |π₯ − 2| < πΏ implies |π₯2 − 4| < π. Since we want to use |π₯ − 2| < πΏ to get |π₯2 − 4| < π, we try to factor out |π₯ − 2| from |π₯2 − 4|. Thus |π₯2 − 4| = |π₯ − 2| |π₯ + 2| ≤ |π₯ − 2| (|π₯ − 2| + 4). It is often convenient to make an initial restriction on πΏ, like πΏ ≤ 1. Then we can continue the above estimate to obtain from |π₯ − π| < πΏ that |π₯2 − 4| ≤ |π₯ − 2| (1 + 4) = 5|π₯ − 2|. If we now put } { π , πΏ = min 1, 5 then we can conclude (note that we already used πΏ ≤ 1) for 0 < |π₯ − 2| < πΏ that π |π₯2 − 4| ≤ 5|π₯ − 2| < 5 = π. 5 To justify the notation lim π (π₯) = πΏ we have to show π₯→π Theorem 3.1. If π (π₯) → πΏ as π₯ → π, then πΏ is unique. Proof. Let π (π₯) → πΏ and π (π₯) → π as π₯ → π. We must show that πΏ = π. So let π > 0. Then there are πΏ1 > 0 and πΏ2 > 0 such that π π 0 < |π₯ − π| < πΏ1 ⇒ |π (π₯) − πΏ| < and 0 < |π₯ − π| < πΏ2 ⇒ |π (π₯) − π| < . 2 2 For πΏ = min{πΏ1 , πΏ2 } and 0 < |π₯ − π| < πΏ (we indeed only need one such π₯ here) it follows that π π |πΏ − π| = |(πΏ − π (π₯)) − (π (π₯) − π)| ≤ |π (π₯) − πΏ| + |π (π₯) − π| < + = π. 2 2 Hence πΏ = π by Lemma 2.1. Definition 3.3 (One sided limits). 1. Let π be a real function, π, πΏ ∈ β and assume that the domain of π contains an interval (π, π) with π > π, that is, π (π₯) is defined for all π₯ in (π, π). Then ‘π (π₯) → πΏ as π₯ → π+ ’ is defined to mean: ∀ π > 0 ∃ πΏ > 0 (π < π₯ < π + πΏ ⇒ |π (π₯) − πΏ| < π). If π (π₯) → πΏ as π₯ → π+ , then we write lim+ π (π₯) = πΏ. π₯→π 2. Let π be a real function, π, πΏ ∈ β and assume that the domain of π contains an interval (π, π) with π < π, that is, π (π₯) is defined for all π₯ in (π, π). Then ‘π (π₯) → πΏ as π₯ → π− ’ is defined to mean: ∀ π > 0 ∃ πΏ > 0 (π − πΏ < π₯ < π ⇒ |π (π₯) − πΏ| < π). If π (π₯) → πΏ as π₯ → π− , then we write lim− π (π₯) = πΏ. π₯→π 26 Introductory Analysis 2017 Lecture Manual MATH2022 Theorem 3.2. If π (π₯) is defined in a deleted neighbourhood of π, then lim π (π₯) = πΏ ⇔ lim− π (π₯) = πΏ = lim+ π (π₯). π₯→π π₯→π π₯→π Proof. ⇒: Assume that lim π (π₯) = πΏ and let π > 0. Then π₯→π ∃ πΏ > 0 (π₯ ∈ (π − πΏ, π + πΏ), π₯ ≠ π ⇒ |π (π₯) − πΏ| < π) gives ∃ πΏ > 0 (π₯ ∈ (π − πΏ, π) ⇒ |π (π₯) − πΏ| < π) and ∃ πΏ > 0 (π₯ ∈ (π, π + πΏ) ⇒ |π (π₯) − πΏ| < π). Hence lim− π (π₯) = πΏ and lim+ π (π₯) = πΏ. π₯→π π₯→π ⇐: Assume that lim− π (π₯) = πΏ = lim+ π (π₯) and let π > 0. Then there are πΏ− > 0 and πΏ+ > 0 such that π₯→π π₯→π π₯ ∈ (π − πΏ− , π) ⇒ |π (π₯) − πΏ| < π and π₯ ∈ (π, π + πΏ+ ) ⇒ |π (π₯) − πΏ| < π. Let πΏ = min{πΏ− , πΏ+ }. Then π₯ ∈ (π − πΏ, π + πΏ), π₯ ≠ π ⇒ π₯ ∈ (π − πΏ− , π) or π₯ ∈ (π, π + πΏ+ ) ⇒ |π (π₯) − πΏ| < π. This proves that lim π (π₯) = πΏ. π₯→π π₯ for π₯ ∈ β ⧡ {0}. Then π (π₯) = 1 if π₯ > 0 and π (π₯) = −1 if π₯ < 0. It is easy |π₯| to prove from the definition that lim+ π (π₯) = 1 and lim− π (π₯) = −1. Now it follows from Theorem 3.2 that the Example 3.1.2. Let π (π₯) = π₯→0 π₯→0 function π does not have a limit as π₯ tends to π. Tutorial 3.1.1. 1. Prove from the definitions that √ 1 2 1 (a) 2 + π₯ + π₯2 → 8 as π₯ → 2, (b) → − as π₯ → , (c) lim− 1 − π₯ = 0. π₯→1 π₯−2 3 2 2. By negating the definition of limit of a function show that the statement π (π₯) → ΜΈ πΏ as π₯ → π is equivalent to the following: ∃ π > 0 ∀ πΏ > 0 ∃ π₯ with 0 < |π₯ − π| < πΏ such that |π (π₯) − πΏ| ≥ π. 1 3. For π₯ ∈ β ⧡ {0} let π (π₯) = sin . Prove that π does not tend to any limit as π₯ → 0. π₯ 4. Let π (π₯) = π₯ − ⌊π₯⌋. For each integer π, find lim− π (π₯) and lim+ π (π₯) if they exist. π₯→π 3.2 π₯→π Limits at Infinity and Infinite Limits In π₯ → π the inequalities 0 < |π₯ − π| < πΏ occur. For π₯ → ∞, this has to be replaced by π₯ > πΎ. Hence we have the following Definition 3.4. 1. Let π be a real function defined on a set containing an interval of the form (π, ∞). Then ‘π (π₯) → πΏ as π₯ → ∞’ is defined to mean: ∀ π > 0 ∃ πΎ(> 0) (π₯ > πΎ ⇒ |π (π₯) − πΏ| < π). If π (π₯) → πΏ as π₯ → ∞, then we write lim π (π₯) = πΏ. π₯→∞ 2. Let π be a real function defined on a set containing an interval of the form (−∞, π). Then ‘π (π₯) → πΏ as π₯ → −∞’ is defined to mean: ∀ π > 0 ∃ πΎ(< 0) (π₯ < πΎ ⇒ |π (π₯) − πΏ| < π). If π (π₯) → πΏ as π₯ → −∞, then we write lim π (π₯) = πΏ. π₯→−∞ MATH2022 27 Introductory Analysis 2017 Lecture Manual Example 3.2.1. Let π (π₯) = 1 . Find lim π (π₯) and lim π (π₯). π₯→∞ π₯→−∞ π₯ Solution. Guess that both limits are 0. Let π > 0 and put πΎ = 1 . Then π₯ > πΎ gives π |1| 1 | | = < 1 = π. |π₯| π₯ πΎ | | So lim π (π₯) = 0. π₯→∞ 1 Now let π > 0 and put πΎ = − . Then π₯ < πΎ gives π |1| | | = − 1 < 1 = π. |π₯| π₯ −πΎ | | So lim π (π₯) = 0. π₯→−∞ For infinite limits we have similar definitions: Definition 3.5. Let π be a real function whose domain includes a deleted neighbourhood of the number π. 1. ‘π (π₯) → ∞ as π₯ → π’ is defined to mean: ∀ πΎ(> 0) ∃ πΏ > 0 (0 < |π₯ − π| < πΏ ⇒ π (π₯) > πΎ). If π (π₯) → ∞ as π₯ → π, then we write lim π (π₯) = ∞. π₯→π 2. ‘π (π₯) → −∞ as π₯ → π’ is defined to mean: ∀ πΎ(< 0) ∃ πΏ > 0 (0 < |π₯ − π| < πΏ ⇒ π (π₯) < πΎ). If π (π₯) → −∞ as π₯ → π, then we write lim π (π₯) = −∞. π₯→π Example 3.2.2. Prove that 2 → ∞ as π₯ → 0. π₯2 Solution. The following sketch illustrates the result. 40 35 30 25 20 15 10 5 −2 −1 0 1 2 We may choose πΎ to be sufficiently large. So choose πΎ > 1 and let πΏ = πΎ1 . Then, for 0 < |π₯| < πΏ, and because of πΏ < 1 we have 2 1 2 2 2 = ≥ > = 2πΎ > πΎ. |π₯| |π₯| |π₯| πΏ π₯2 Definition 3.6. Let π be a real function defined on a set containing an interval of the form (π, ∞). Then ‘π (π₯) → ∞ as π₯ → ∞’ is defined to mean: ∀ π΄(> 0) ∃ πΎ(> 0) (π₯ > πΎ ⇒ π (π₯) > π΄). If π (π₯) → ∞ as π₯ → ∞, then we write lim π (π₯) = ∞. π₯→∞ Similar definition hold with all other combinations of limits involving ∞ and −∞, including one-sided limits. 28 Introductory Analysis 2017 Lecture Manual MATH2022 π₯ sin π₯ Example 3.2.3. Prove that π (π₯) = + 10 → ∞ as π₯ → ∞. A section of the function’s graph is plotted 10 π₯ below. 8 6 4 2 20 40 60 80 Additional notes. 1. You have learnt different notations for limits depending on whether real numbers, ∞ or −∞ are considered. However, using the notion of (deleted) neighbourhood, one can give just one definition which applies to each case. To define (deleted) neighbourhoods of ∞ and −∞, we first observe that ∞ and −∞ are just symbols for our purposes, and thus never belong to sets of numbers which we consider. Therefore, no distinction is made here between neighbourhoods and deleted neighbourhoods of ∞ and −∞, respectively. A (deleted) neighbourhood of ∞ is any set of the form (π, ∞) with π ∈ β. A (deleted) neighbourhood of −∞ is any set of the form (−∞, π) with π ∈ β. Now let π, πΏ ∈ β ∪ {∞, −∞} and π be a function defined in a deleted neighbourhood of π. Then π (π₯) → πΏ as π₯ → π if and only if for each neighbourhood π of πΏ there is a deleted neighbourhood π of π such that π₯ ∈ π implies π (π₯) ∈ π . If we define one-sided deleted neighbourhoods of π ∈ β to be the sets (π, π) and (π, π), respectively, then the above formulation also covers one-sided limits. 2. What we call neighbourhood here should actually be called basic neighbourhood. In general topology, a neighborhood is any subset (of a given set) which contains a basic neighbourhood. But since we do not need general neighbourhoods, we conveniently dropped the word ’basic’. 1 . Find lim− π (π₯), lim+ π (π₯), lim π (π₯). π₯→0 π₯→0 π₯→0 π₯ 1 1 1 Solution. Let πΎ > 0 and put πΏ = . Then, for 0 < π₯ < πΏ, > = πΎ. Thus lim+ π (π₯) = ∞. π₯→0 πΎ π₯ πΏ 1 1 1 Now let πΎ < 0 and put πΏ = − > 0. Then, for −πΏ < π₯ < 0, < = πΎ. Thus lim− π (π₯) = −∞. π₯→0 πΎ π₯ −πΏ Since lim− π (π₯) ≠ lim+ π (π₯), lim π (π₯) does not exist. Example 3.2.4. Let π (π₯) = π₯→0 π₯→0 π₯→0 Tutorial 3.2.1. 1. Prove from the definitions that 1 − 3π₯ 3 1 = − , (b) → ∞ as π₯ → 1+ , (a) lim π₯→−∞ 2π₯ − 1 2 π₯−1 (c) 1 → −∞ as π₯ → 1− . π₯−1 MATH2022 3.3 29 Introductory Analysis 2017 Lecture Manual Limit Laws Rather than calculating limits from the definition, in general one will use limit laws. In this section we state and prove some of these laws. Theorem 3.3 (Limit Laws). Let π, π ∈ β and suppose that the real functions π and π are defined in a deleted neighbourhood of π and that lim π (π₯) = πΏ ∈ β and lim π(π₯) = π ∈ β both exist. Then π₯→π π₯→π (a) lim π = π. π₯→π (b) lim [π (π₯) + π(π₯)] = lim π (π₯) + lim π(π₯) = πΏ + π. π₯→π π₯→π π₯→π (c) lim [π (π₯) − π(π₯)] = lim π (π₯) − lim π(π₯) = πΏ − π. π₯→π π₯→π π₯→π (d) lim [ππ (π₯)] = π lim π (π₯) = ππΏ. π₯→π π₯→π [ ][ ] (e) lim [π (π₯)π(π₯)] = lim π (π₯) lim π(π₯) = πΏπ. π₯→π π₯→π π₯→π lim π (π₯) π (π₯) π₯→π πΏ = = . π₯→π π(π₯) lim π(π₯) π (f) If π ≠ 0, lim π₯→π π (π₯) does not exist. π₯→π π(π₯) [ ]π (h) If π ∈ β, lim [π (π₯)π ] = lim π (π₯) = πΏπ . (g) If πΏ ≠ 0 and π = 0, lim π₯→π π₯→π (i) lim π₯ = π. π₯→π (j) If π ∈ β, lim π₯π = ππ . π₯→π √ √ (k) If π ∈ β, lim π π₯ = π π. If π is even, we assume that π > 0. π₯→π √ √ √ π (l) If π ∈ β, lim π π (π₯) = π lim π (π₯) = πΏ. π₯→π π₯→π (m) If lim |π (π₯)| = 0, then lim π (π₯) = 0. π₯→π π₯→π Proof. The proofs are similar to those in Theorem 2.3 and we will only prove (b), (e), (f). (b) Let π > 0. Then there are numbers πΏ1 > 0 and πΏ2 > 0 such that (i) |π (π₯) − πΏ| < 2π if 0 < |π₯ − π| < πΏ1 , (ii) |π(π₯) − π| < 2π if 0 < |π₯ − π| < πΏ2 . Put πΏ = min{πΏ1 , πΏ2 }. For 0 < |π₯ − π| < πΏ we have 0 < |π₯ − π| < πΏ1 and 0 < |π₯ − π| < πΏ2 and therefore |(π (π₯) + π(π₯)) − (πΏ + π)| = |(π (π₯) − πΏ) + (π(π₯) − π)| ≤ |π (π₯) − πΏ| + |π(π₯) − π| < π π + = π. 2 2 Hence π (π₯) + π(π₯) converges to πΏ + π as π₯ → π. (e) We consider 2 cases: one special case, to which then the general case is reduced. Case I: πΏ = π = 0. Let π > 0 and put π′ = min{1, π}. Then 0 < π′ ≤ π, and there are numbers πΏ1 and πΏ2 such that (i) |π (π₯)| < π′ if 0 < |π₯ − π| < πΏ1 , (ii) |π(π₯)| < π′ if 0 < |π₯ − π| < πΏ2 . Put πΏ = min{πΏ1 , πΏ2 }. For 0 < |π₯ − π| < πΏ we have 2 |π (π₯)π(π₯)| = |π (π₯)| |π(π₯)| < π′ ≤ π′ ≤ π. Case II: πΏ and π are arbitrary. Then π (π₯)π(π₯) = (π (π₯) − πΏ)(π(π₯) − π) + πΏ(π(π₯) − π) + π (π₯)π. 30 Introductory Analysis 2017 Lecture Manual MATH2022 By (a), (b), (c), (π (π₯) − π) → 0 and (π(π₯) − π) → 0 as π₯ → π, and by (b), (c), (d), and Case I, it follows that lim π (π₯)π(π₯) = 0 + πΏ ⋅ 0 + πΏπ = πΏπ. π₯→π (f) First consider π = 1. Since π ≠ 0 and π(π₯) → π as π₯ → π, there is πΏ0 > 0 such that |π(π₯) − π| < 0 < |π₯ − π| < πΏ0 . Then, for 0 < |π₯ − π| < πΏ0 , |π| for 2 |π| |π| = 2 2 | 1 | |π − π(π₯)| 2|π(π₯) − π| 1 |= ⇒ || − ≤ . | |π(π₯)π| |π|2 | π(π₯) π | |π(π₯)| ≥ |π| − |π(π₯) − π| ≥ |π| − Now let π > 0 and πΏ1 > 0 such that 0 < |π₯ − π| < πΏ1 implies |π(π₯) − π| ≤ follows for 0 < |π₯ − π| < πΏ that |π|2 π. Put πΏ = min{πΏ0 , πΏ1 }. It 2 | 1 |π|2 1 || 2|π(π₯) − π| 1 | <2 = π. π | π(π₯) − π | ≤ 2 2 2 |π| |π| | | The general case now follows with (d): π (π₯) 1 1 = lim π (π₯) ⋅ lim =πΏ⋅ . π₯→π π(π₯) π₯→π π₯→π π(π₯) π lim Recall that a polynomial function is of the form π (π₯) = ππ π₯π + ππ−1 π₯π−1 + β― + π2 π₯2 + π1 π₯ + π0 with ππ ∈ β for π = 1, 2, … , π and π any non-negative integer. A rational function is of the form π (π₯) = π(π₯) with π(π₯) π(π₯) and π(π₯) polynomials. We then have the following as a consequence of Theorem 2.3, (b),(d),(i),(j). Corollary 3.4. If π is a polynomial or a rational function and π is in the domain of π , then lim π (π₯) = π (π). π₯→π Corollary 3.5. All the limit rules in Theorem 3.3 remain true if π₯ → π is replaced by any of the following: π₯ → π+ , π₯ → π− , π₯ → ∞, π₯ → −∞. Proof. For π₯ → π+ and π₯ → π− one just has to replace 0 < |π₯ − π| < πΏ with 0 < π₯ − π < πΏ and −πΏ < −(π₯ − π) < 0, respectively, in the proof of each of the statements. For π₯ → ∞ and π₯ → −∞, the proofs are very similar to those for sequences. Similar rules hold if the functions have infinite limits. We state some of the results for π₯ → π, observing that there are obvious extensions as in Corollary 3.5. Theorem 3.6. Assume that lim π (π₯) = ∞, lim π(π₯) = ∞ and lim β(π₯) = π ∈ β. Then π₯→π (a) π (π₯) + π(π₯) → ∞ as π₯ → π, (b) π (π₯) + β(π₯) → ∞ as π₯ → π, (c) π (π₯)π(π₯) → ∞ { as π₯ → π, ∞ if c>0 (d) π (π₯)β(π₯) → −∞ if c<0 π₯→π π₯→π as π₯ → π. Proof. We prove (c) and leave the other parts as exercises. Let π΄ > 1 (we can take any π΄ ∈ β, but the restriction π΄ > 1 is convenient here). Then there are πΏ1 > 0 and πΏ2 > 0 such that (i) π (π₯) > π΄ if 0 < |π₯ − π| < πΏ1 , (ii) π(π₯) > π΄ if 0 < |π₯ − π| < πΏ2 . MATH2022 Introductory Analysis 2017 Lecture Manual 31 With πΏ = min{πΏ1 , πΏ2 } it follows for 0 < |π₯ − π| < πΏ that π (π₯)π(π₯) > π΄ ⋅ π΄ > π΄. Theorem 3.7 (Sandwich Theorem). Let π ∈ β ∪ {∞, −∞} and assume that π , π and β are real functions defined in a deleted neighbourhood of π. If π (π₯) ≤ π(π₯) ≤ β(π₯) for π₯ in a deleted neighbourhood of π and lim π (π₯) = πΏ = lim β(π₯), then lim π(π₯) = πΏ. π₯→π π₯→π π₯→π Proof. Note that πΏ ∈ β ∪ {∞, −∞}. We will prove this theorem in the case π ∈ β and πΏ ∈ β. The other cases are left as an exercise. Let π > 0. Then there are πΏ1 and πΏ2 such that (i) |π (π₯) − πΏ| < π if 0 < |π₯ − π| < πΏ1 , (ii) |β(π₯) − πΏ| < π if 0 < |π₯ − π| < πΏ2 . Put πΏ = min{πΏ1 , πΏ2 }. Then, for 0 < |π₯ − π| < πΏ, πΏ − π < π (π₯) < πΏ + π, πΏ − π < β(π₯) < πΏ + π gives πΏ − π < π (π₯) ≤ π(π₯) ≤ β(π₯) < πΏ + π. Hence |π(π₯) − πΏ| < π if 0 < |π₯ − π| < π. Theorem 3.8. Let π be defined on an interval (π, π), where π = −∞ and π = ∞ are allowed. With the convenient notation π+ = −∞ if π = −∞ and π− = ∞ if π = ∞, we obtain (a) if π is increasing, then lim− π (π₯) = sup{π (π₯) βΆ π₯ ∈ (π, π)} and lim+ π (π₯) = inf {π (π₯) βΆ π₯ ∈ (π, π)}; π₯→π π₯→π (b) if π is decreasing, then lim− π (π₯) = inf {π (π₯) βΆ π₯ ∈ (π, π)} and lim+ π (π₯) = sup{π (π₯) βΆ π₯ ∈ (π, π)}. π₯→π π₯→π Proof. Since all four cases have similar proofs, we only prove (a) in the case π ∈ β. Let πΏ = sup{π (π₯) βΆ π₯ ∈ (π, π)}. Case I: πΏ ∈ β. Let π > 0. By Theorem 1.9 there is π ∈ (π, π) such that πΏ − π < π (π). Put πΏ = π − π > 0. Now let π − πΏ < π₯ < π, i. e., π₯ ∈ (π, π). Then π < π₯ gives π (π) ≤ π (π₯) since π is increasing and π (π₯) ≤ πΏ for all π₯ ∈ (π, π) ⊂ (π, π) by definition of the supremum, so that πΏ − π < π (π) ≤ π (π₯) ≤ πΏ < πΏ + π for these π₯. By definition, this mean π (π₯) → πΏ as π₯ → π− . Case II: πΏ = ∞. In this case, {π (π₯) βΆ π₯ ∈ (π, π)} is not bounded above. Therefore, for each π΄ ∈ β there is π ∈ (π, π) such that π (π) > π΄. Since π is increasing, it follows for all π₯ ∈ (π, π) that π΄ < π (π) ≤ π (π₯). Therefore π (π₯) → ∞ as π₯ → π− . Tutorial 3.3.1. 1. Let π be a positive integer. Prove that (a) lim π₯π = ∞, π₯→∞ { ∞ if n is even, π (b) lim π₯ = π₯→−∞ −∞ if n is odd, (c) lim+ π₯−π = ∞, π₯→0 { ∞ if n is even, −π (d) lim− π₯ = π₯→0 −∞ if n is odd. 2. (a) Let π , π be defined in a deleted neighbourhood of π and assume that π (π₯) < π(π₯) for all π₯ in a deleted neighbourhood of π. Show that if lim π (π₯) = πΏ and lim π(π₯) = π exist, then πΏ ≤ π. π₯→π π₯→π (b) Give examples for πΏ < π and for πΏ = π in (a). (c) Formulate and prove the result corresponding to (a) for one-sided limits. 32 Introductory Analysis 2017 Lecture Manual MATH2022 3. Using rules for limits, determine the behaviour of π (π₯) as π₯ tends to the given limit: 4π₯ (a) π (π₯) = as π₯ → 3− , 3−π₯ (π₯ − 4)(π₯ − 1) (b) π (π₯) = as π₯ → 2+ , π₯−2 2π₯ + 1 (c) π (π₯) = as π₯ → 0+ . π₯2 − π₯ 3.4 Continuity of Functions Definition 3.7 (Continuity of a function at a point). Let π be a real function, π ∈ β and assume that the domain of π contains a neighbourhood of π, that is, π (π₯) is defined for all π₯ in a neighbourhood of π. We say that π is continuous at π if ∀ π > 0 ∃ πΏ > 0 ∀ π₯ ∈ (π − πΏ, π + πΏ), π (π₯) ∈ (π (π) − π, π (π) + π), i. e., ∀ π > 0 ∃ πΏ > 0 (|π₯ − π| < πΏ ⇒ |π (π₯) − π (π)| < π). Note that the sketch on page 25 also illustrates the definition of continuity. We realize that the definition of the existence of a limit of a function at a point and continuity at that point are very similar, but that there are subtle (and important) differences: For limits, π does not need to be defined at π, and even if π (π) exists, this value is not used at all when finding the limit of the function π at π. We conclude π is continuous at π ⇔ ∀ π > 0 ∃ πΏ > 0 (|π₯ − π| < πΏ ⇒ |π (π₯) − π (π)| < π) (by definition) ⇔ ∀ π > 0 ∃ πΏ > 0 (0 < |π₯ − π| < πΏ ⇒ |π (π₯) − π (π)| < π) (β΅ π₯ = π ⇒ π (π₯) = π (π)) ⇔ lim π (π₯) = π (π). π₯→π Hence we have shown Theorem 3.9. π is continuous at π if and only if the following three conditions are satisfied: 1. π (π) is defined, i. e., π is in the domain of π , 2. lim π (π₯) exists, i.e., lim− π (π₯) = lim+ π (π₯), and π₯→π π₯→π π₯→π 3. π (π) = lim π (π₯). π₯→π Example 3.4.1. 1. Let { π (π₯) = π₯2 if π₯ ≠ 2, 2 if π₯ = 2. Then lim π (π₯) = 4 exists, but this limit is different from π (2) = 2. Hence π is not continuous at 2. π₯→2 sin π₯ for π₯ ≠ 0 while π is not defined at π₯ = 0. Then lim π (π₯) = 1 exists, but π is not defined at 0. π₯→0 π₯ Hence π is not continuous at 0. 3. Let { sin π₯ if π₯ ≠ 0, π (π₯) = π₯ 1 if π₯ = 0. 2. Let π (π₯) = Then lim π (π₯) = 1 exists, and π (0) = 1. Hence π is continuous at 0. π₯→0 MATH2022 Introductory Analysis 2017 Lecture Manual 33 Theorem 3.10. If π and π are continuous at π and if π ∈ β, then 1. the sum π + π, 2. the difference π − π, 3. the product π π, π 4. the quotient if π(π) ≠ 0 and π 5. the scalar multiple ππ are functions that are also continuous at π. Proof. The statements follow immediate from the limit laws, Theorem 3.3, and Theorem 3.9. For example, for 3. we have lim π (π₯) = π (π) and lim π(π₯) = π(π), π₯→π π₯→π and then Theorem 3.3 gives lim (π π)(π₯) = lim π (π₯)π(π₯) = lim π (π₯) lim π(π₯) = π (π)π(π) = (π π)(π). π₯→π π₯→π π₯→π π₯→π Then Theorem 3.9 says that π π is continuous at π. Recall that the composite πβ¦π of two functions π and π is defined by (πβ¦π )(π₯) = π(π (π₯)). Theorem 3.11. If π is continuous at π and π is continuous at π (π), then πβ¦π is continuous at π. Proof. Let π > 0. Since π is continuous at π (π), there is π > 0 such that |π¦ − π (π)| < π ⇒ |π(π¦) − π(π (π))| < π. (1) Since π is continuous at π, there is πΏ > 0 such that |π₯ − π| < πΏ ⇒ |π (π₯) − π (π)| < π. Putting π¦ = π (π₯) in (1) it follows from (1) and (2) that |π₯ − π| < πΏ ⇒ |π (π₯) − π (π)| < π ⇒ |π(π (π₯)) − π(π (π))| < π that is, |π₯ − π| < πΏ ⇒ |(πβ¦π )(π₯) − (πβ¦π )(π)| < π. Hence πβ¦π is continuous at π. Definition 3.8. 1. A function π is continuous from the right at π if lim+ π (π₯) = π (π). π₯→π 2. A function π is continuous from the left at π if lim− π (π₯) = π (π). π₯→π Example 3.4.2. 1. Let β§ |π₯| + π₯ βͺ π (π₯) = β¨ 2π₯ βͺ0 β© if π₯ ≠ 0, if π₯ = 0. Determine the right and left continuity of π at π₯ = 0. Solution. π (0) = 0 whilst lim π (π₯) = lim− |π₯| + π₯ −π₯ + π₯ = lim− = lim− 0 = 0 π₯→0 π₯→0 2π₯ 2π₯ lim π (π₯) = lim+ |π₯| + π₯ π₯+π₯ = lim+ = lim− 1 = 1. π₯→0 π₯→0 2π₯ 2π₯ π₯→0− π₯→0 and π₯→0+ π₯→0 (2) 34 Introductory Analysis 2017 Lecture Manual MATH2022 Since π (0) = 0 = lim− π (π₯), π is continuous from the left at π₯ = 0. Since π (0) = 0 ≠ 1 = lim+ π (π₯), π is not π₯→0 π₯→0 continuous from the right at π₯ = 0. Note. 1. It is easy to show that π is continuous at π if and only if π is continuous from the right and continuous from the left at π. 2. If π ∈ dom(π ) and if there is π > 0 such that dom(π ) ∩ (π − π, π + π) = (π − π, π], then we say that π is continuous at π if lim− = π (π). π₯→π 3. If π ∈ dom(π ) and if there is π > 0 such that dom(π ) ∩ (π − π, π + π) = [π, π + π), then we say that π is continuous at π if lim+ = π (π). π₯→π 4. The convention in 2 and 3 is consistent with what you will learn in General Topology about continuity. Just note that the condition |π (π₯) − π (π)| < π has to be checked for all π₯ ∈ dom(π ) which satisfy |π₯ − π| < πΏ. Lemma 3.12. If π (π₯) → π as π₯ → π (π+ , π− ) and π is continuous at π, then π(π (π₯)) → π(π) as π₯ → π (π+ , π− ), which can be written, e. g., as ( ) lim π(π (π₯)) = π lim π (π₯) . π₯→π Proof. The function { πΜ(π₯) = π₯→π π (π₯) if π₯ ∈ dom(π ), π₯ ≠ π, π if π₯ = π, is continuous (from the right, from the left) at π. Hence the result follows from Theorem 3.11. Definition 3.9. A function is continuous on a set π ⊂ β if π is continuous at each π₯ ∈ π. Here continuity is understood in the sense of the above note with π = dom(π ). √ Example 3.4.3. Show that π (π₯) = π₯2 − 4 is continuous. Solution. The domain of π is {π₯ ∈ β βΆ |π₯| ≥ 2} = (−∞, −2] ∪ [2, ∞). By Theorem 3.10, the function π₯ ξΆ→ π₯2 − 4 is continuous on β, and by Theorem 3.3 (k), the square root is continuous at each positive number. So also the composite function π is continuous at π. Also, the proof of Theorem 3.3 (k) can be easily adapted to show that the square root is continuous from the right at 0. Then it easily follows that π is continuous (from the right) at 2 and continuous (from the left) at −2. Theorem 3.13. The following functions are continuous on their domains. 1. Polynomials π(π₯) = ππ π₯π + ππ−1 π₯π−1 + β― + π2 π₯2 + π1 π₯ + π0 , ππ ∈ β, π ∈ β. 2. Rational functions π(π₯) , π and π ≠ 0 polynomials. π(π₯) 3. Sums, differences, products and quotients of continuous functions. 4. Root functions. 5. The trigonometric functions sin π₯, cos π₯, tan π₯, cosec π₯, sec π₯ and cot π₯. 6. The exponential function exp(π₯). 7. The absolute value function |π₯|. Proof. 1, 2 and 3 easily follow from previous theorems on limits and continuity, as does 7. However, 7 can be easily proved dircetly: For each π > 0 let πΏ = π. Then, for |π₯ − π| < πΏ we have | |π₯| − |π| | ≤ |π₯ − π| < πΏ = π. The continuity of sin and cos follows from the sum of angles formulae and from the limits proved in Calculus I (the proofs used the Sandwich Theorem, which now has been proved). The continuity of the other trigonometric functions then follows from part 3. Finally, the continuity of exp is a tutorial problem. MATH2022 35 Introductory Analysis 2017 Lecture Manual Theorem 3.14. Let π ∈ β and let π be a real function which is defined in a neighbourhood of π. Then π is continuous at π if and only if for each sequence (π₯π ) in dom(π ) with lim π₯π = π the sequence π (π₯π ) satisfies π→∞ lim π (π₯π ) = π (π). π→∞ Proof. ⇒βΆ Let (π₯π ) be a sequence in dom(π ) with lim π₯π = π. We must show that lim π (π₯π ) = π (π). Hence let π→∞ π→∞ π > 0. Since π is continuous at π, there is πΏ > 0 such that |π₯ − π| < πΏ ⇒ |π (π₯) − π (π)| < π. (1) Since lim π₯π = π, there is πΎ ∈ β such that for π > πΎ, |π₯π − π| < πΏ. But then, by (1), |π (π₯π ) − π (π)| < π for π→∞ π > πΎ. ⇐βΆ (indirect proof) Assume that π is not continuous at π. Then ∃ π > 0 ∀ πΏ > 0 ∃ π₯ ∈ dom(π ), |π₯ − π| < πΏ and |π (π₯) − π (π)| ≥ π. In particular, for πΏ = 1π , π = 1, 2, … we find π₯π ∈ dom(π ) such that |π₯π − π| < then lim π₯π = π, whereas (π (π₯π )) does not converge to π (π). 1 and |π (π₯π ) − π (π)| ≥ π. But π π→∞ Tutorial 3.4.1. 1. Consider the function { π (π₯) = ⌊π₯⌋ π₯ −1 if π₯ ≠ 0, if π₯ = 0. Investigate continuity from the left and the right at π₯ = 0, π₯ = π and π₯ = 1. { 0 if π₯ ≠ 0, 2. Let π (π₯) = π₯ sin π₯1 for π₯ ≠ 0 and π(π₯) = 1 if π₯ = 0. Show that π (π₯) → 0 as π₯ → 0 and that π(π₯) → 0 as π₯ → 0, but that π(π (π₯)) does not have a limit as π₯ → 0. Explain this behaviour. 3. Find the values of π and π which make the function β§π₯ − 1 βͺ π (π₯) = β¨ ππ₯2 + π βͺπ₯ + 1 β© if π₯ ≤ −2, if −2 < π₯ < 1, if π₯ ≥ 1, continuous at π₯ = −2 and π₯ = 1. 4. Prove that if lim− π (π₯) exists, then lim+ π (−π₯) = lim− π (π₯). π₯→0 π₯→0 π₯→0 5. Prove that exp is continuous. You may use the following steps. (a) The inequality exp(π₯) ≥ 1 + π₯ is true for all π₯ ∈ β. (b) lim− exp(π₯) = 1. π₯→0 (c) lim+ exp(π₯) = 1. Hint. Use tutorial problem 4. π₯→0 3.5 The Intermediate Value Theorem The following important theorem on continuous functions tells us that the graph of a continuous function cannot jump from one side of a horizontal line π¦ = π to the other without intersecting the line at least once. 36 Introductory Analysis 2017 Lecture Manual MATH2022 π (π) π¦=π π (π) π π π Theorem 3.15 (Intermediate Value Theorem (IVT)). Suppose that π is continuous on the closed interval [π, π] with π (π) ≠ π (π). Then for any number π between π (π) and π (π) there exists a number π in the open interval (π, π) such that π (π) = π. Proof. Let π(π₯) = π (π₯) − π, (π₯ ∈ [π, π]). Then π is continuous, and π(π) and π(π) have opposite signs: π(π)π(π) < 0. Let [π0 , π0 ] = [π, π] and use bisection to define intervals [ππ , ππ ] as follows: If [ππ , ππ ] with π(ππ )π(ππ ) < 0 has been found, let π be the midpoint of the interval [ππ , ππ ]. If π(π) = 0, the result follows with π = π. If π(π) has the same sign as π(ππ ), then π(ππ ) and π(π) have opposite signs, and putting ππ+1 = ππ , ππ+1 = π, we have π(ππ+1 )π(ππ+1 ) < 0. Otherwise, if π(π) has the opposite sign to π(ππ ), we put ππ+1 = π, ππ+1 = ππ and get again π(ππ+1 )π(ππ+1 ) < 0. If this procedure does not stop, we obtain an increasing sequence (ππ ) and a decreasing sequence (ππ ), both of which converge by Theorem 2.10. We observe that 1 ππ = ππ + (ππ−1 − ππ−1 ) = ππ + 2−π (π − π). 2 Then π βΆ= lim ππ = lim ππ + lim 2−π (π − π) = lim ππ . π→∞ π→∞ π→∞ π→∞ Since π ≤ π ≤ π and π is continuous at π, it follows in view of Theorem 3.14 that π(π)2 = lim π(ππ ) lim π(ππ ) = lim π(ππ )π(ππ ) ≤ 0. π→∞ π→∞ π→∞ Therefore π(π) = 0, which gives π (π) = π. Since π (π) ≠ π and π (π) ≠ π, it follows that π ≠ π and π ≠ π, so that π < π < π. Note. You have seen the definition of interval in first year and you will recall that that the definition required several cases, depending on whether the endpoints belong to the interval or not and whether the interval is bounded (above, below), namely (π, π), [π, π), (π, π], [π, π], (−∞, π), (−∞, π], (π, ∞), [π, ∞), (−∞, ∞) where π, π ∈ β and π < π. However, intervals can be characterized by one common property. For this we need the following notion: A subset π of β is called a singleton if the set π has exactly one element. Definition 3.10. 1. A set π ⊂ β is called an interval if (i) π ≠ ∅, (ii) π is not a singleton, (iii) if π₯, π¦ ∈ π, π₯ < π¦, then each π§ ∈ β with π₯ < π§ < π¦ satisfies π§ ∈ π. 2. An interval of the form [π, π] with π < π is called a closed bounded interval. Note. A subset π of β is an interval if and only if it contains at least two elements and if all real numbers between any two elements in π also belong to π. Definition 3.11. For a function π βΆ π → π and π΄ ⊂ π, the set π (π΄) = {π¦ ∈ π βΆ ∃ π₯ ∈ π΄ ∩ dom(π ), π (π₯) = π¦} = {π (π₯) βΆ π₯ ∈ π΄ ∩ dom(π )} is called the image of π΄ under π . MATH2022 Introductory Analysis 2017 Lecture Manual 37 Corollary 3.16. Let πΌ be an interval and let π be a continuous real function on πΌ. Then π (πΌ) is either an interval or a singleton. Proof. Since πΌ ≠ ∅, there is π₯ ∈ πΌ and so π (π₯) ∈ π (πΌ). Hence π (πΌ) ≠ ∅. Hence we have to show that if π (πΌ) is not a singleton, then it is an interval, that is, we must show that for any π₯, π¦ ∈ πΌ with π (π₯) < π (π¦) and any π ∈ β with π (π₯) < π < π (π¦) there is π ∈ πΌ such that π (π) = π. Indeed, from π (π₯) ≠ π (π¦), we have π₯ ≠ π¦. If π₯ < π¦, then π is continuous on [π₯, π¦], and by the intermediate value theorem, there is π ∈ (π₯, π¦) with π (π) = π. A similar argument holds for π₯ > π¦. Example 3.5.1. Let π (π₯) = π₯2 . Then π ((−1, 2)) = [0, 4). Notice that πΌ = (−1, 2) is an open interval, while π (πΌ) is not. Theorem 3.17. Let π be a real function which is continuous on [π, π], where π < π. Then π is bounded on [π, π], i. e., π ([π, π]) is bounded. Proof. Assume that π ([π, π]) is unbounded. Let π be the midpoint of the interval [π, π]. Then at least one of the sets π ([π, π]), π ([π, π]) would be unbounded, because otherwise π ([π, π]) = π ([π, π]) ∪ π ([π, π]) would be bounded. By induction, we find subintervals [ππ , ππ ] of [π, π] such that (ππ ) is increasing, (ππ ) is decreasing, π ([ππ , ππ ]) is unbounded, and 1 ππ = ππ + (ππ−1 − ππ−1 ) = 2−π (π − π), 2 see the proof of Theorem 3.15, and we infer that both sequences converge with π βΆ= lim ππ = lim ππ ∈ [π, π]. π→∞ π→∞ Since π is continuous at π, there is πΏ > 0 such that π ((π − πΏ, π + πΏ) ∩ [π, π]) ⊂ (π (π) − 1, π (π) + 1). Since π = lim ππ , there is πΎ ∈ β such that |ππ −π| < πΏ for π > πΎ. Similarly, there is π ∈ β such that |ππ −π| < πΏ π→∞ for π > π. Let π > max{πΎ, π}. Then π − πΏ < ππ ≤ π ≤ ππ < π + πΏ, and π ([ππ , ππ ]) ⊂ π ((π − πΏ, π + πΏ) ∩ [π, π]) ⊂ (π (π) − 1, π (π) + 1) would give the contradiction that π ([ππ , ππ ]) would have to be bounded as well as unbounded. Theorem 3.18. A continuous function on a closed bounded interval achieves its supremum and infimum. Proof. Let [π, π] be a closed bounded interval and π be a continuous function on [π, π]. We must show that there are π₯1 , π₯2 ∈ [π, π] such that π (π₯1 ) = inf π ([π, π]) and π (π₯2 ) = sup π ([π, π]). We are going to show the latter; the proof of the first statement is similar. By Theorem 3.17, π = π ([π, π]) is bounded. Let π = sup π. By proof of contradiction, assume that π (π₯) ≠ π for all π₯ ∈ [π, π]. Define 1 π(π₯) = , π₯ ∈ [π, π]. π − π (π₯) By Theorem 3.13, π is continuous on [π, π], and by Theorem 3.17, π([π, π]) is bounded. So there is πΎ ∈ β such that 0 < π(π₯) ≤ πΎ for all π₯ ∈ [π, π]. Hence for all π₯ ∈ [π, π]: 1 1 1 ≤ = π − π (π₯) ⇒ π (π₯) ≤ π − , πΎ π(π₯) πΎ 1 so that the number π − < π would be an upper bound of π ([π, π]). This contradicts the fact that π = πΎ sup π ([π, π]). Corollary 3.19. If π is continuous on [π, π], π < π, then either π ([π, π]) is a singleton or π ([π, π]) = [π, π] with π < π. 38 Introductory Analysis 2017 Lecture Manual MATH2022 Proof. From Corollary 3.16 and Theorems 3.17 and 3.18 it follows that π ([π, π]) is either a singleton or a bounded interval which contains both its infimum and supremum. But such an interval is of the form [π, π] with π < π. Theorem 3.20. Let πΌ be an interval and π βΆ πΌ → β be a stricly monotonic continuous function. Then π (πΌ) is an interval, and the inverse function π −1 βΆ π (πΌ) → β is continuous. Proof. By Corollary 3.16, π (πΌ) is an interval. Assume that π is strictly increasing. Then also π −1 is strictly increasing. Let π ∈ π (πΌ), i. e., π = π (π) for some π ∈ πΌ. If π is not the left endpoint of πΌ, then π is not the left endpoint of π (πΌ), and for π¦ ∈ π (πΌ) with π¦ < π = π (π) we have π −1 (π¦) < π −1 (π (π)) = π. Therefore, π −1 is bounded above and increasing on π (πΌ) ∩ (−∞, π), and thus πΌ = lim− π −1 (π¦) π¦→π exists and πΌ ≤ π −1 (π) = π, see Theorem 3.8. Let π₯0 ∈ πΌ ∩ (−∞, π). Then π (π₯0 ) < π (π) = π and hence π₯0 = π −1 (π (π₯0 )) ≤ πΌ ≤ π. Since π₯0 and π belong to the interval πΌ, also πΌ ∈ πΌ. Since π is continuous, it follows from Lemma 3.12 that ( ) −1 π (πΌ) = π lim− π (π¦) = lim− π (π −1 (π¦)) = lim− π¦ = π π¦→π π¦→π π¦→π which gives lim π −1 (π¦) = πΌ = π −1 (π). π¦→π− Therefore π −1 is continuous from the left. Similarly, one can show that π −1 is continuous from the right. Therefore π −1 is continuous. The case π strictly decreasing is similar. Tutorial 3.5.1. 1. Prove that a subset π of β is an interval if and only if π has the form (π, π), [π, π), (π, π], [π, π], (−∞, π), (−∞, π], (π, ∞), [π, ∞) or (−∞, ∞) where π, π ∈ β and π < π. Hint. Consider inf π and sup π. 2. Let π be a real function and let ∅ ≠ π΄ ⊂ π΅ ⊂ dom(π ) such that for each π₯ ∈ π΄ there is π > 0 such that (π₯ − π, π₯] ⊂ π΄ or [π₯, π₯ + π) ⊂ π΄ or (π₯ − π, π₯ + π) ⊂ π΄, and the same property for π΅. Show that if π is continuous on π΅, then π is also continuous on π΄. 3. A fixed point theorem. Let π < π and let π be a continuous function on [π, π] such that π ([π, π]) ⊂ [π, π]. Show that there is π₯ ∈ [π, π] such that π (π₯) = π₯. 4. Let πΌ be an interval and π be a continuous function on πΌ such that π (πΌ) is unbounded. What can you say about π (πΌ)? Find examples which illustrate your answer. 5. Let π βΆ [0, 1] → β be a continuous function which only assumes rational values. Show that π is constant. 6. Find a continuous function π βΆ [−1, 1] → β which is one-to-one when restricted to rational numbers in [−1, 1] but which is not one-to-one on the whole interval [−1, 1]. Chapter 4 Differentiation 4.1 Revision – Self Study [Note to lecturers: None of these results have to be presented formally. But, time permitting, some of these definitions and results may be discussed in class; foremost, of course, the definition of the derivative itself.] In this section we recall definitions and results which have been stated and proved in first year calculus. These results must be known but will not be examined directly. In this section let π΄ ⊂ β such that for each π ∈ π΄ there is π > 0 such that (π − π, π] ⊂ π΄, [π, π + π) ⊂ π΄ or (π − π, π + π) ⊂ π΄. Definition 4.1. Let π βΆ π΄ → β and π ∈ π΄. 1. π is called differentiable at π if the limit π ′ (π₯) = lim π₯→π π (π₯) − π (π) π₯−π exists. The number π ′ (π₯) is called the derivative of π . 2. π is called differentiable on π΄ if π is differentiable at each π ∈ π΄. Note. We also use the notations ππ π or π for π ′ . ππ₯ ππ₯ Theorem 4.1. Let π βΆ π΄ → β and π ∈ π΄. If π is differentiable at π, then π is continuous at π. Proof. From π (π₯) = π (π) + π (π₯) − π (π) (π₯ − π) π₯−π it follows that lim π (π₯) = π (π) + lim π₯→π π₯→π π (π₯) − π (π) lim (π₯ − π) = π (π) + [π ′ (π)](0) = π (π). π₯→π π₯−π Theorem 4.2 (Rules for the derivative). Let π , π βΆ π΄ → β, π ∈ π΄, π and π differentiable at π, and π ∈ β. Then 1. Linearity of the derivative: π + π and ππ are differentiable at π, and (π + π)′ (π) = π ′ (π) + π ′ (π) and (ππ )′ (π) = ππ ′ (π). 2. Product Rule: π π is differentiable at π, and (π π)′ (π) = π ′ (π)π(π) + π (π)π ′ (π). 3. Quotient Rule: If π π is defined at π, i. e., π(π) ≠ 0, then is differentiable at π, and π π ( )′ π π ′ (π)π(π) − π (π)π ′ (π) (π) = . π [π(π)]2 39 40 Introductory Analysis 2017 Lecture Manual MATH2022 Proof. 1. From first principles and rules of limits, we have (π + π)(π₯) − (π + π)(π) π₯−π [π (π₯) + π(π₯)] − [π (π) + π(π)] = lim π₯→π π₯−π π(π₯) − π(π) π (π₯) − π (π) + lim = lim π₯→π π₯→π π₯−π π₯−π = π ′ (π) + π ′ (π) (π + π)′ (π) = lim π₯→π and (ππ )′ (π) = lim π₯→π (ππ )(π₯) − (ππ )(π) ππ (π₯) − ππ (π) π (π₯) − π (π) = lim = π lim = ππ ′ (π). π₯→π π₯→π π₯−π π₯−π π₯−π 2. Observing Theorem 4.1 we have (π π)(π₯) − (π π)(π) π₯−π π (π₯)π(π₯) − π (π)π(π₯) + π (π)π(π₯) − π (π)π(π) = lim π₯→π π₯−π [π (π₯) − π (π)]π(π₯) π (π)[π(π₯) − π(π)] + lim = lim π₯→π π₯→π π₯−π π₯−π π(π₯) − π(π) π (π₯) − π (π) lim π(π₯) + π (π) lim = lim π₯→π π₯→π π₯→π π₯−π π₯−π = π ′ (π)π(π) + π (π)π ′ (π). (π π)′ (π) = lim π₯→π 3. We first consider the case π = 1: ( ) ( ) 1 1 (π₯) − (π) ( )′ π π 1 (π) = lim π₯→π π π₯−π 1 1 − π(π₯) π(π) = lim π₯→π π₯−π π(π) − π(π₯) = lim π₯→π π(π₯)π(π)(π₯ − π) π(π) − π(π₯) 1 = lim π₯→π π₯ − π π(π) lim π(π₯) π₯→π π ′ (π) =− . [π(π)]2 To prove the statement for general π , we use the product rule: ( )′ ( )′ ( ) ( )′ ( ) π π ′ (π) π ′ (π) 1 1 1 ′ (π) = π (π) = π (π) (π) + π (π) (π) = + π (π) − π π π π π(π) [π(π)]2 ′ ′ π (π)π(π) − π (π)π (π) = . [π(π)]2 ππ Example 4.1.1. 1. If π ∈ β, then ππ₯ = 0. π 2. For π ∈ β∗ we have π₯π = ππ₯π−1 . ππ₯ Proof. 1. follows immediately from the definition. 2. We present an alternate proof to that given in first year: proof by induction. Again, for π = 1 the statement is straightforward: π¦−π₯ π π₯ = lim = 1 = (1)π₯1−1 . π¦→π₯ π¦ − π₯ ππ₯ MATH2022 Introductory Analysis 2017 Lecture Manual 41 Now assume the statement is true for π ∈ β∗ . Then, making use of the Product Rule, ( ) π π+1 π π π π π₯ = π₯ (π₯) + π₯π π₯ = ππ₯π−1 (π₯) + π₯π (1) = (π + 1)π₯π = (π + 1)π₯(π+1)−1 . ((π₯π )(π₯)) = ππ₯ ππ₯ ππ₯ ππ₯ π π π₯ = ππ₯π−1 for negative integers π with the aid of the ππ₯ quotient rule. Also, the derivatives of the trigonometric functions sin, cos, tan have been derived in first year calculus and should be known. As in first year calculus, we now obtain the derivative The proof of the differentiability of ππ₯ in first year calculus was incomplete; it will be given in the next section. Also, the differentiability of the inverse trigonometric functions, ln π₯ and π₯π for π ∈ β ⧡ β will be postponed to the next section. Theorem 4.3 (Fermat’s Theorem). Let πΌ be an interval, π βΆ πΌ → β, and let π be in the interior of πΌ. If π has a local maximum or local minimum at π and π is differentiable at π, then π ′ (π) = 0. Proof. Since π is an interior point of πΌ, there is π0 > 0 such that (π − π0 , π + π0 ) ⊂ πΌ. Assume that π has a local maximum at π. Then there is π ∈ (0, π0 ) such that π (π₯) ≤ π (π) for all π₯ ∈ (π − π, π + π). Therefore { π (π₯) − π (π) ≥ 0 for π₯ ∈ (π − π, π), π₯−π ≤ 0 for π₯ ∈ (π, π + π). Hence, since π is differentiable at π, π ′ (π) = lim− π₯→π π (π₯) − π (π) ≥ lim− 0 = 0 π₯→π π₯−π π ′ (π) = lim+ π (π₯) − π (π) ≤ lim+ 0 = 0. π₯→π π₯−π and π₯→π Therefore 0 ≤ π ′ (π) ≤ 0, which proves π ′ (π) = 0. The case of a local minimum at π can be dealt with in a similar way, or we may use the fact that then −π has a local maximum at π and therefore −π ′ (π) = 0 by the first part of the proof. Theorem 4.4 (Rolle’s Theorem). Let π < π be real numbers and π βΆ [π, π] → β be a function having the following properties: 1. π is continuous on the closed interval [π, π], 2. π is differentiable on the open interval (π, π), 3. π (π) = π (π). Then there is π ∈ (π, π) such that π ′ (π) = 0. Proof. If π is constant, then π ′ = 0, and the statement is true for any π ∈ (π, π). If π is not constant, then there is π₯0 ∈ [π, π] such that π (π₯0 ) ≠ π (π). We may assume π (π₯0 ) > π (π). Otherwise, π (π₯0 ) < π (π), and we can consider −π . Since π is continuous on [π, π] by property 1, π has a maximum on [π, π], see Corollary 3.19. That is, there is some π ∈ [π, π] such that π (π) ≥ π (π₯) for all π₯ ∈ [π, π]. In particular, π (π) ≥ π (π₯0 ) > π (π). Since π (π) = π (π), we have π ≠ π and π ≠ π, and therefore π ∈ (π, π). Hence π ′ (π) = 0 by Fermat’s Theorem. Theorem 4.5 (First Mean Value Theorem). Let π < π be real numbers and π βΆ [π, π] → β be a continuous function which is differentiable on (π, π). Then there is π ∈ (π, π) such that π (π) − π (π) = π ′ (π). π−π Proof. The function π (π) − π (π) (π₯ − π) π−π is continuous on [π, π], differentiable on (π, π), and π(π) = π (π) = π(π). Hence π satisfies the assumptions of Rolle’s theorem. Therefore, there is π ∈ (π, π) such that π ′ (π) = 0. But π(π₯) = π (π₯) − π ′ (π₯) = π ′ (π₯) − π (π) − π (π) , π−π 42 Introductory Analysis 2017 Lecture Manual MATH2022 and substituting π completes the proof. Tutorial 4.1.1. Let π < π be real numbers, π , π βΆ [π, π] → β be continuous and differentiable on (π, π). 1. Show that π is injective on [π, π] if π ′ (π₯) ≠ 0 for all π₯ ∈ (π, π). 2. Prove the Second Mean Value Theorem: If π ′ (π₯) ≠ 0 for all π ∈ (π, π), then there is π ∈ (π, π) such that π (π) − π (π) π ′ (π) = ′ . π(π) − π(π) π (π) Hint. Consider the function β(π₯) = π (π₯) − π (π) − π (π) (π(π₯) − (π(π)). π(π) − π(π) 3. Show that the statement of the Second Mean Value Theorem remains correct if one replaces the condition that π ′ (π₯) ≠ 0 for all π₯ ∈ (π, π) with the weaker condition that π(π) ≠ π(π) and that there is no π₯ ∈ (π, π) with π ′ (π₯) = π ′ (π₯) = 0. 4. Prove the following one-sided version of l’Hôpital’s Rule: If π (π) = π(π) = 0, π ′ (π₯) ≠ 0 for π₯ near π and π ′ (π₯) exists, then lim+ ′ π₯→π π (π₯) π (π₯) π ′ (π₯) lim+ = lim+ ′ . π₯→π π(π₯) π₯→π π (π₯) *Tutorial 4.1.2. Let −∞ ≤ π < π ≤ ∞ and let π , π βΆ (π, π) → β be differentiable on (π, π) such that π ′ (π₯) ≠ 0 for all π₯ ∈ (π, π). Prove the following one-sided versions of l’Hôpital’s Rule. π ′ (π₯) 1. If lim+ π (π₯) = lim+ π(π₯) = 0 and lim+ ′ exists as a proper or improper limit, then π₯→π π₯→π π₯→π π (π₯) lim+ π₯→π 2. If lim+ π (π₯) = lim+ π(π₯) = ∞ and lim+ π₯→π π₯→π π₯→π π ′ (π₯) exists as a proper or improper limit, then π ′ (π₯) lim+ π₯→π 4.2 π (π₯) π ′ (π₯) = lim+ ′ . π(π₯) π₯→π π (π₯) π (π₯) π ′ (π₯) = lim+ ′ . π(π₯) π₯→π π (π₯) The Chain Rule and Inverse Functions Proposition 4.6. Let πΌ be an interval, π βΆ πΌ → β and π ∈ πΌ. The following are equivalent: (i) π is differentiable at π. (ii) There is πΎ ∈ β such that the function { π (π₯) − π (π) if π₯ ∈ πΌ ⧡ {π}, π ∗ (π₯) = π₯−π πΎ if π₯ = π, is continuous at π. (iii) There is a function πΜ βΆ πΌ → β such that πΜ is continuous at π and π (π₯) = π (π) + πΜ(π₯)(π₯ − π), π₯ ∈ πΌ. (iv) There are πΎ ∈ β and a function π βΆ πΌ → β such that π(π) = 0, π is continuous at π, and π (π₯) = π (π) + πΎ(π₯ − π) + π(π₯)(π₯ − π), π₯ ∈ πΌ. If (ii) or (iv) hold, then the number πΎ is unique and πΎ = π ′ (π). If (iii) holds, then πΜ(π) = π ′ (π). Proof. (i)⇒(ii): If π is differentiable at π, then lim π ∗ (π₯) = π ′ (π₯), π₯→π MATH2022 Introductory Analysis 2017 Lecture Manual 43 so that π ∗ is continuous at π for πΎ = π ′ (π). (ii)⇒(iii): We simply put πΜ = π ∗ . In particular, πΜ(π) = πΎ. (iii)⇒(iv): We have π (π₯) = π (π) + πΜ(π)(π₯ − π) + (πΜ(π₯) − πΜ(π))(π₯ − π). Then (iv) holds with π(π₯) = πΜ(π₯) − πΜ(π) since π(π) = 0 and the continuity of πΜ at π implies the continuity of π at π. (iv)⇒(i): For π₯ ∈ πΌ ⧡ {π} we have π (π₯) − π (π) = πΎ + π(π₯) → πΎ as π₯ → π. π₯−π Hence π is differentiable at π, and πΎ = π ′ (π). Theorem 4.7 (Chain Rule). Let πΌ and π½ be intervals, π βΆ π½ → β and π βΆ πΌ → β with π (πΌ) ⊂ π½ , and let π ∈ πΌ. Assume that π is differentiable at π and that π is differentiable at π (π). Then πβ¦π is differentiable at π and (πβ¦π )′ (π) = π ′ (π (π))π ′ (π). Proof. Using the property (iii) of Proposition 4.6 we obtain a function πΜ on πΌ which is continuous at π with π (π₯) = π (π) + πΜ(π₯)(π₯ − π) and a function πΜ on π½ which is continuous at π (π) with π(π¦) = π(π (π)) + π(π¦)(π¦ Μ − π (π)). Then we can write (πβ¦π )(π₯) = π(π (π₯)) = π(π (π)) + π(π Μ (π₯))(π (π₯) − π (π)) Μ = (πβ¦π )(π) + π(π Μ (π₯))π (π₯)(π₯ − π). Since π and πΜ are continuous at π and since π is continuous at π (π), (πβ¦π Μ )πΜ is continuous at π, see Theorem 3.11, and by Proposition 4.6, (πβ¦π )′ (π) = π(π Μ (π))πΜ(π) = π ′ (π (π))π ′ (π). Theorem 4.8. Let πΌ be an interval, let π βΆ πΌ → β be continuous and strictly increasing or decreasing, and π ∈ π (πΌ). Assume that π is differentiable at π = π −1 (π) with π ′ (π) ≠ 0. Then π −1 is differentiable at π = π (π) and 1 1 (π −1 )′ (π) = or, equivalently, (π −1 )′ (π (π)) = ′ . ′ −1 π (π) π (π (π)) Proof. By Proposition 4.6 there is a function πΜ on πΌ which is continuous at π such that π (π₯) − π (π) = πΜ(π₯)(π₯ − π), (∗) and πΜ(π) = π ′ (π). By Theorem 3.20, π −1 is continuous, and therefore πΜβ¦π −1 is continuous at π (π). Since π ′ (π) ≠ 0, πΜ(π) ≠ 0, and since π is injective, (∗) gives that πΜ(π₯) ≠ 0 for π₯ ∈ πΌ ⧡ {π}. Therefore the function 1 is well-defined on π (πΌ) and continuous at π (π). Setting π₯ = π −1 (π¦) for π¦ ∈ π (πΌ) we get Μ π β¦π −1 π¦ − π (π) = πΜ(π −1 (π¦))(π −1 (π¦) − π), or, equivalently, π −1 (π¦) − π −1 (π (π)) = 1 (π¦ − π (π)). πΜ(π −1 (π¦)) By Proposition 4.6, π −1 is differentiable at π (π), and (π −1 )′ (π (π)) = 1 1 = ′ . −1 Μ π (π) π (π (π (π))) This result now allows us to find the derivatives of arcsin and arctan. 44 Introductory Analysis 2017 Lecture Manual MATH2022 Example 4.2.1. Show that arcsin βΆ [−1, 1] → [− π2 , π2 ] is continuous on [−1, 1] and differentiable on (−1, 1), and π find arcsin. ππ₯ Solution. sin βΆ [− π2 , π2 ] → [−1, 1] is strictly increasing and continuous. By Theorem 3.20, arcsin is continuous on [−1, 1]. Since ( ) π π π sin π₯ = cos π₯ ≠ 0 for π₯ ∈ − , , ππ₯ 2 2 that is, if sin π₯ ∈ (−1, 1), it follows by Theorem 4.8 that arcsin is differentiable on (−1, 1) and π 1 1 1 arcsin π₯ = =√ =√ ππ₯ cos(arcsin π₯) 1 − π₯2 1 − sin2 (arcsin π₯) since cos π‘ > 0 for π‘ ∈ (− π2 , π2 ). Finally, in this section we shall show that ππ₯ = exp(π₯) is differentiable and find its derivative. This will then allow us to find the derivative of ln π₯ as an inverse function. Theorem 4.9 (Derivative of ππ₯ ). 1 1. ππ₯ ≥ 1 + π₯ for π₯ ∈ β and ππ₯ ≤ for π₯ < 1. 1−π₯ π π₯ 2. ππ₯ is differentiable and π = ππ₯ . ππ₯ Proof. 1. Let π₯ ∈ β and π ∈ β with π > |π₯|. Then π₯π > −1, and with the aid of Bernoulli’s inequality we calculate ( )π π₯ ≥1+π =1+π₯ π ( ) π₯ π π₯ ⇒ π = lim 1 + ≥ 1 + π₯. π→∞ π 1+ π₯ π Thus we have shown that ππ₯ ≥ 1 + π₯ for all π₯ ∈ β. Replacing π₯ with −π₯ gives π−π₯ ≥ 1 − π₯. Taking inverses for 1 1 π₯ < 1, i. e., 1 − π₯ > 0, leads to ππ₯ = −π₯ ≤ for π₯ < 1. π 1−π₯ 2. The above estimates give for β < 1 that β§ 1 ≤ πβ − 1 ≤ 1 βͺ β 1 β 1−β −1= ⇒β¨ β ≤ πβ − 1 ≤ β−1 1−β 1−β π 1 βͺ β©1−β ≤ β ≤1 if h>0, if h<0. Application of the Sandwich Theorem leads to πβ − 1 = 1. β→0 β lim Therefore ππ₯+β − ππ₯ ππ₯ πβ − ππ₯ πβ − 1 π π₯ π = lim = lim = ππ₯ lim = ππ₯ . β→0 β→0 β→0 ππ₯ β β β Tutorial 4.2.1. 1. Find the derivatives of (a) arctan π₯, (b) arccos π₯, (c) ln π₯ and ln |π₯|, (d) ln |π (π₯)|, where π βΆ πΌ → β ⧡ {0} is differentiable on πΌ. 1 π 2. Let π₯ > 0 and let π = with π ∈ β€ and π ∈ β∗ . Define π₯π = (π₯π ) π . π Show that π₯π = exp(π ln π₯). 3. In view of tutorial problem 2 above, we define π₯π = exp(π ln π₯) for all π₯ > 0 and π ∈ β. (a) Show that lim exp(π₯) = 0. π₯→−∞ (b) Show that lim 1 π₯→∞ π₯π = 0 for all π > 0. Chapter 5 Series 5.1 Definitions and Basic Examples Given a sequence {ππ }∞ of real numbers, the symbol π=1 ∞ ∑ ππ π=1 is called a series (of real numbers). Definition 5.1. Let 1. The number π π = 2. The series ∞ ∑ ∞ ∑ ππ be a series. π=1 π ∑ ππ is called the π-th partial sum of the series. π=1 ππ is said to converge if the sequence (π π ) converges. π=1 In this case, the number π = lim π π is called the sum of the series and we write π→∞ ∞ ∑ ππ = π π=1 A series which does not converge is said to diverge or be divergent. Note. 1. Observe that ∞ ∑ ππ denotes a series (convergent or divergent) as well as its sum if it converges. π=1 2. A series does not have to start at π = 1. The change of notation is obvious for other starting indices. Example 5.1.1 (See Calculus I). [Note to lecturers: Students have seen this in Calculus I, so one does not need to write down much.] Consider the geometric series ∞ ∑ πππ , π ≠ 0, π ∈ β. π=0 Recall the partial sums for π ≠ 1: π π = π + ππ + ππ2 + β― + πππ , ππ π = ππ + ππ2 + β― + πππ + πππ+1 . Subtracting these equations gives π π − ππ π = π − πππ+1 , 45 46 Introductory Analysis 2017 Lecture Manual MATH2022 and so π(1 − ππ+1 ) . 1−π By Theorem 2.5, (π π ) and thus the geometric series converges if |π| < 1, with π π = ∞ ∑ πππ = lim π π = π→∞ π=0 π , 1−π and diverges if |π| > 1 or π = −1. Finally, for π = 1, π π = π(π + 1), and thus π π → ∞ as π → ∞. Thus we have shown Theorem 5.1. The geometric series ∞ ∑ πππ , π ≠ 0, πππ = π . 1−π π=0 is convergent if |π| < 1, with sum ∞ ∑ π=0 If |π| ≥ 1, the geometric series diverges. Example 5.1.2. Is the series ∞ ∑ 22π 31−π convergent or divergent? π=1 Solution. The π-th term of the series is obviously of the form πππ : ππ = 22π 31−π = So π = ( )π 4 3 ⋅ 4π . = 3 3π 3 4 > 1, and the series diverges. 3 Example 5.1.3. Write the number 5.4417 = 5.4417417417 … as a ratio of integers. Solution. Write 5.4417 = 5.4 + 417 417 417 + 7 + + …. 4 10 10 1010 417 −3 . Hence the series converges, Starting with the second term we have a geometric series with π = 10 −4 and π = 10 and 5.4417 = 5.4 + = 417 10−4 1 − 10−3 = 5.4 + 417 539877 179959 54 + = = . 10 9990 9990 3330 The following theorem has been proved in Calculus I. Theorem 5.2. If the series ∞ ∑ π=1 417 104 − 10 ππ converges, then lim ππ = 0. π→∞ Proof. Let π π = π1 + π2 + … ππ . Then ππ = π π − π π−1 . MATH2022 Since ∞ ∑ 47 Introductory Analysis 2017 Lecture Manual ππ converges, π=1 lim π = π π→∞ π exists. Since also π − 1 → ∞ as π → ∞, lim π = π . π→∞ π−1 Hence lim π = lim (π π − π π−1 ) = lim π π − lim π π−1 = π − π = 0. π→∞ π π→∞ π→∞ π→∞ The contrapositive statement to Theorem 5.2 is very useful: Theorem 5.3 (Test for Divergence). If lim ππ does not exist or if lim ππ ≠ 0, then the series π→∞ π→∞ ∞ ∑ ππ diverges. π=1 Note. From lim ππ = 0 nothing can be concluded about the convergence of the series π→∞ ∞ ∑ ππ . π=1 From Theorem 2.3 we immediately infer Theorem 5.4 (Sum Laws). Let π ∈ β and suppose that ∞ ∑ (ππ + ππ ) and π=1 1. 2. 3. ∞ ∑ ∞ ∑ ππ and π=1 ∞ ∑ ππ both converge. Then also π=1 (ππ − ππ ) converge, and π=1 ∞ ∑ (πππ ) = π ∞ ∑ ππ , π=1 ∞ ∑ ∞ ∑ π=1 ∞ ∑ π=1 ∞ ∑ π=1 ∞ ∑ π=1 π=1 π=1 ∞ ∑ (ππ + ππ ) = (ππ − ππ ) = ππ + ππ − ππ , ππ , π=1 Example 5.1.4. Find the sum of the series ∞ ∑ π=1 ( ) 1 5 + π . π(π + 1) 5 Solution. Recall from Calculus I that π ( ) ∑ 1 1 1 1 = − =1− . π(π + 1) π=1 π π + 1 π+1 π=1 π ∑ Hence ∞ ∑ 1 = 1. π(π + 1) π=1 And ∞ ∑ 1 5π π=1 is a geometric series with π = 51 and π = 15 . Hence ∞ ∑ 1 5π π=1 Therefore ∞ ∑ π=1 ( 5 1 + π(π + 1) 5π ) =5 = 1 1 1 = . 51− 1 4 5 ∞ ∑ ∞ ∑ 1 1 1 21 + =5+ = . π π(π + 1) 5 4 4 π=1 π=1 Note. For convergence it does not matter at which index the series starts. But it matters for the sum. ∞ ∑ (πππ ), π=1 48 Introductory Analysis 2017 Lecture Manual Theorem 5.5. The series ∞ ∑ MATH2022 ππ converges if and only if for each π > 0 there is πΎ ∈ β such that for all π ≥ π ≥ πΎ, π=1 π |∑ | | | | ππ | < π. | | |π=π | Proof. Let π π = π ∑ ππ . Then π=1 ∞ ∑ ππ converges ⇔ (π π )∞ converges π=1 (by definition) π=1 ⇔ ∀ π > 0 ∃πΎ ∈ β ∀π ≥ π ≥ πΎ, |π π − π π−1 | < π π |∑ | | | ⇔ ∀ π > 0 ∃πΎ ∈ β ∀π ≥ π ≥ πΎ, | ππ | < π. | | |π=π | (by Theorem 2.12) Tutorial 5.1.1. 1. Test each of the following series for convergence or divergence: ∞ ∞ ∞ ( ) ( ) ∑ ∑ ∑ 1 π2 − 1 1 π , (b) π sin , (c) . (a) 1+ 2 π π π=1 π=1 π − 50π π=1 2. Which of the following is valid? Justify your conclusions. ∞ ∑ (a) If ππ → 0 as π → ∞, then ππ is convergent. (b) If ππ ΜΈ→ 0 as π → ∞, then ∞ ∑ (c) If π=1 ∞ ∑ ππ is divergent. π=1 ππ is divergent, then ππ ΜΈ→ 0 as π → ∞. π=1 5.2 Convergence Tests for Series Lemma 5.6. Let ππ ≥ 0 for all π ∈ β∗ and let π π = π ∑ π=1 ππ . Then ∞ ∑ ππ converges if and only if (π π ) is bounded. π=1 Proof. Since π π+1 = π π + ππ+1 ≥ π π , it follows that (π π ) is an increasing sequence. By Theorem 2.10, this sequence and hence the series converges if and only if the sequence (π π ) is bounded. Theorem 5.7 (Comparison Test). Let ∞ ∑ ππ and π=1 for all π ∈ β∗ . ∞ ∞ ∑ ∑ (i) If ππ converges, then also ππ converges. π=1 ∞ ∑ (ii) If ππ be series with nonnegative terms and assume that ππ ≤ ππ π=1 π=1 ππ diverges, then also π=1 Proof. Let π π = ∞ ∑ ∞ ∑ ∞ ∑ ππ diverges. π=1 π ∑ π=1 ππ and π‘π = π ∑ ππ . Then both (π π ) and (π‘π ) are increasing sequences with π π ≤ π‘π . Hence, if π=1 ππ converges, then (π‘π ) is bounded, say π‘π ≤ π for all π ∈ β, and π π ≤ π‘π ≤ π for all π ∈ β. Hence (π π ) is a π=1 bounded sequence and thus converges by Lemma 5.6. (ii) is the contrapositive of (i). MATH2022 49 Introductory Analysis 2017 Lecture Manual Example 5.2.1. Test the series ∞ ∑ sin2 π + 10 π + 2π π=1 for convergence. Solution. Putting sin2 π + 10 π + 2π ππ = it follows that 0 < ππ < 11 ( )π 1 2 =βΆ ππ . By Theorem 5.1, the series with general term ππ converges. Hence ∞ ∑ sin2 π + 10 converges by the comparison test. π + 2π π=1 Definition 5.2. 1. A series converges. 2. A series ∞ ∑ ππ is called absolutely convergent if the series of its absolute values |ππ | π=1 π=1 ∞ ∑ ∞ ∑ ππ is called conditionally convergent if it is convergent but not absolutely convergent. π=1 Theorem 5.8. Every absolutely convergent series is convergent. Proof. Let ∞ ∑ ππ be absolutely convergent. Let π > 0. Then, by Theorem 5.5, there is πΎ ∈ β such that for all π=1 π ∑ π ≥ π ≥ πΎ, |ππ | < π. Because of π=π π π |∑ | ∑ | | |ππ | | ππ | ≤ | | |π=π | π=π π ∞ |∑ | ∑ | | it follows that | ππ | < π for these π, π, and therefore ππ converges by Theorem 5.5. | | |π=π | π=1 ∞ ∞ ∑ ∑ Alternative proof. By assumption and Theorem 5.4, both |ππ | and 2|ππ | converge. From π=1 π=1 0 ≤ ππ + |ππ | ≤ 2|ππ | and the comparison test, it follows that also ∞ ∑ (ππ + |ππ |) converges. Again by Theorem 5.4 it follows that π=1 ∞ ∑ ππ = π=1 ∞ ∑ ((ππ + |ππ |) − |ππ |) π=1 converges. Recall from Calculus I that there are convergent series which are not absolutely convergent. Definition 5.3. An alternating series is a series of the form ∞ ∑ π=1 π (−1) ππ or ∞ ∑ (−1)π−1 ππ with ππ ≥ 0. π=1 ∞ ∞ ∑ ∑ π Theorem 5.9 (Alternating series test). If the alternating series (−1) ππ or (−1)π−1 ππ satisfies π=1 (i) ππ ≥ ππ+1 for all π, (ii) lim ππ = 0, π→∞ then the series converges. π=1 50 Introductory Analysis 2017 Lecture Manual MATH2022 Proof. For π ∈ β∗ and π ∈ β we have (−1)π π+2π ∑ (−1)π ππ = (ππ − ππ+1 ) + (ππ+2 − ππ+3 ) + β― + (ππ+2π−2 − ππ+2π−1 ) + ππ+2π π=π = ππ − (ππ+1 − ππ+2 ) − β― − (ππ+2π−1 − ππ+2π ). Hence 0 ≤ ππ+2π ≤ (−1)π π+2π ∑ (−1)π ππ ≤ ππ . π=π Similarly, 0 ≤ (−1) π π+2π+1 ∑ (−1)π ππ ≤ ππ − ππ+2π+1 ≤ ππ . π=π Now let π > 0. Since ππ → 0 as π → ∞, there is πΎ ∈ β such that ππΎ < π. Hence for all π ≥ π ≥ πΎ: |∑ | | π | | (−1)π ππ | ≤ ππ ≤ ππΎ < π. | | |π=π | | | Hence the alternating series converges. Note. lim ππ = 0 is necessary by Theorem 5.3 since lim (−1)π ππ = 0 ⇔ lim ππ = 0 ⇔ lim (−1)π−1 ππ = 0. π→∞ Example 5.2.2. The alternating series π→∞ ∞ ∑ (−1)π−1 π=1 π→∞ π→∞ 3π does not converge since 4π − 1 3π lim π→∞ 4π − 1 3 ≠0 4 = and thus (ii) is not satisfied, which is necessary for convergence. See the note following the statement of the Alternating Series Test. Worked Example 5.2.3. Find whether the series ∞ ∑ (−1)π−1 π=1 π2 π3 + 1 is convergent. Solution. Clearly, we have an alternating series with lim ππ = lim π→∞ π2 π→∞ π3 + 1 = 0. To show that ππ ≥ ππ+1 we have at least the following 2 choices: 1. Show the inequality directly by cross-multiplication and simplification. π₯2 2. Show that π (π₯) = has a negative derivative for sufficiently large π₯. π₯3 + 1 Alternatively, write 1 π2 + 1π π2 1 1 = − π = − . π3 + 1 π3 + 1 π3 + 1 π π(π3 + 1) Then ∞ ∞ ∞ ∑ ∑ (−1)π−1 ∑ (−1)π π2 (−1)π−1 + = 3 π π3 + 1 π=1 π=1 π=1 π(π + 1) is the sum of two alternating series which converge by the alternating series test; hence the series converges. ∞ ∑ | ππ+1 | | = πΏ < 1, then the series Theorem 5.10 (Ratio Test). (i) If lim sup || ππ converges absolutely. | π→∞ | ππ | π=1 ∞ ∑ | ππ+1 | | = π > 1, then the series (ii) If lim inf || ππ diverges. π→∞ | ππ || π=1 MATH2022 51 Introductory Analysis 2017 Lecture Manual Proof. Note that the ratio test assumes ππ ≠ 0 for all π ∈ β. (i) Let π > 0 such that πΏ + π < 1. | ππ+1 | | < πΏ + π for all π ≥ πΎ. Hence for π > πΎ: Then there is πΎ ∈ β such that || | | ππ | | | | |π |ππ | = |ππΎ | | πΎ+1 | ⋅ β― ⋅ | ππ | < |ππΎ |(πΏ + π)π−πΎ . | |π | | | || π | | π−1 | | πΎ | Since ∞ ∑ (*) |ππΎ |(πΏ + π)π−πΎ is a convergent geometric series, it follows from (*) and the Comparison Test, Theorem π=πΎ ∞ ∑ 5.7, that ππ converges absolutely. Hence also π=πΎ (ii) Let π′ ∈ (1, π). ∞ ∑ ππ converges absolutely. π=1 | ππ+1 | | > π′ for all π ≥ πΎ. Hence for π > πΎ: Then there is πΎ ∈ β such that || | | ππ | | | | |π |ππ | = |ππΎ | | πΎ+1 | ⋅ β― ⋅ | ππ | > |ππΎ |, | | | || π | |π | | π−1 | | πΎ | so that ππ ΜΈ→ 0 as π → ∞. Hence ∞ ∑ ππ diverges by the Test for Divergence, Theorem 5.3. π=1 ∞ ∑ √ Theorem 5.11 (Root Test). (i) If lim sup π |ππ | = πΏ < 1, then the series ππ converges absolutely. π→∞ (ii) If lim sup √ π π→∞ |ππ | = πΏ > 1, then the series π=1 ∞ ∑ ππ diverges. π=1 Proof. (i) Let π > 0 such that πΏ + π < 1. ∞ ∑ √ π π (πΏ + π)π is Then there is πΎ ∈ β such that |ππ | < πΏ + π for all π ≥ πΎ. Hence |ππ | < (πΏ + π) for π ≥ πΎ: Since a convergent geometric series, it follows from the comparison test, Theorem 5.7, that Hence also ∞ ∑ ∞ ∑ π=πΎ ππ converges absolutely. π=πΎ ππ converges absolutely. π=1 (ii) Let πΏ′ ∈ (1, πΏ). √ Then for each πΎ ∈ β there is π ≥ πΎ such that π |ππ | > πΏ′ . Hence |ππ | > (πΏ′ )π > 1 for this π, and we conclude ππ ΜΈ→ 0 as π → ∞. Indeed, if ππ → 0 as π → ∞, for π = 1 there would be πΎ ∈ β such that |ππ | < 1 for all π > πΎ. ∞ ∑ ππ diverges by the Test for Divergence, Theorem 5.3. Hence π=1 {( )π ( )π } ( ) 1 3 1 Tutorial 5.2.1. 1. Test +5 π sin for convergence. 2 4 π π=1 ∞ ∑ 2. Prove that the sequence (ππ )∞ converges if and only if π=1 (i) (π2π )∞ converges, π=1 (ii) (π2π−1 )∞ converges, π=1 (iii) (ππ − ππ−1 ) → 0 as π → ∞. 3. Use Tutorial 2 to prove the Alternating Series Test. Hint. Show that (π 2π )∞ and (π 2π−1 )∞ are monotonic sequences. π=1 π=1 52 Introductory Analysis 2017 Lecture Manual MATH2022 4. Use the alternating series test, ratio test or root test to test for convergence: )2π ∞ ( ∞ ∑ ∑ (−1)π π π!2π (a) , (b) , 2π + 1 (2π)! π=1 π=1 ( ∞ ∞ ( ) ) ∑ ∑ 1 π ππ π (−1) π − 1 + (c) , , (d) 2 π π=1 π=1 (π!) (e) ∞ π ∑ 2 π=1 5.3 π . Power Series Definition 5.4. Let π and ππ , π ∈ β, be real numbers. A series ∞ ∑ ππ (π₯ − π)π π=0 is called a power series in (π₯ − π) or a power series centred at π or a power series about π. Note that (π₯ − π)0 = 1. For π₯ = π, all terms from the second onwards are 0, so the series converges to π0 for π₯ = π. Each power series defines a function whose domain is those π₯ ∈ β for which the series converges. Notation. With each power series ∞ ∑ ππ (π₯ − π)π we associate a number π or ∞, called the radius of convergence π=0 of the series, which is defined as follows: √ (i) π = 0 if lim sup π |ππ | = ∞, π→∞ (ii) π = 1 if 0 < lim sup √ π→∞ lim sup π |ππ | √ π |ππ | ∈ β, π→∞ √ (iii) π = ∞ if lim sup π |ππ | = 0. π→∞ Theorem 5.12. There are three alternatives for the domain of a power series ∞ ∑ ππ (π₯ − π)π : π=0 (i) If π = 0, then the series converges only for π₯ = π. (ii) If π = ∞, then the series converges absolutely for all π₯ ∈ β. (iii) If 0 < π ∈ β, then the series converges absolutely if |π₯ − π| < π and diverges if |π₯ − π| > π . Note that (iii) says that the series converges for π₯ in the interval (π − π , π + π ) and diverges outside [π − π , π + π ]. For π₯ = π − π and π₯ = π + π anything can happen, see Calculus I. In any case, the domain of the series is an interval, called the interval of convergence. √ Proof. (i): We note that if lim sup π |ππ | = ∞, then for π₯ ≠ π also π→∞ √ √ lim sup π |ππ (π₯ − π)π | = lim sup π |ππ | |π₯ − π| = ∞. π→∞ π→∞ In view of the root test, √ this shows that the power series diverges if π₯ ≠ π. (ii), (iii): If lim sup π |ππ | ∈ β, then π→∞ √ √ lim sup π |ππ (π₯ − π)π | = |π₯ − π| lim sup π |ππ |. π→∞ π→∞ Hence the power series converges for all π₯ ∈ β if lim sup π→∞ √ π |ππ | = 0, proving (ii). MATH2022 Introductory Analysis 2017 Lecture Manual 53 √ If finally 0 < lim sup π |ππ | ∈ β, then, by the Root Test, the series converges if π→∞ √ 1 , |π₯ − π| lim sup π |ππ | < 1, i. e., |π₯ − π| < √ π→∞ lim sup π |ππ | π→∞ and the series diverges if 1 |π₯ − π| > . √ lim sup π |ππ | π→∞ √ Tutorial 5.3.1. 1. (a) Let π > 1 and put ππ = π π − 1. (i) Show that ππ ≥ 0. (ii) Show that lim sup ππ ≤ 0. Hint. Use Bernoulli’s inequality. π→∞ √ (iii) Conclude that lim π π = 1. π→∞ √ (b) Use (a) to show that lim π π = 1 for all π > 0. π→∞ 2. Consider ∞ ∑ ππ with ππ ≠ 0 for all π ∈ β. Show that π=1 √ √ | ππ+1 | |π | | ≤ lim inf π |ππ | ≤ lim sup π |ππ | ≤ lim sup | π+1 | . lim inf || | | | π→∞ | ππ | π→∞ π→∞ π→∞ | ππ | | ππ+1 | | exists or is ∞? What can you say if lim || π→∞ | ππ || ∞ ∑ 3. Consider the power series ππ (π₯ − π)π with ππ ≠ 0 for all π ∈ β. Using tutorial problem 2 above or otherwise, π=1 | π | | | prove that if π = lim | π | exists or is ∞, then π is the radius of convergence of the power series. π→∞ | ππ+1 | | | √ 4. Prove that lim π π = 1. π→∞ 5. Find the radius and interval of convergence for each of the following power series: ∞ ∞ ∞ ∑ ∑ ∑ (2π₯)π π₯π (a) , (b) , (c) ππ π₯π , π ππ π=1 π=0 π=0 (d) (g) ∞ ∑ (π₯ − 1)π √ , π π π=1 3 ∞ ( ∑ π=0 π π+1 ) π2 (e) ∞ ∑ (−2π₯)π π=1 π₯π , (h) ∞ ∑ π3 , (π₯ + 3)π , π3 π=1 (f) ∞ ∑ (−1)π π₯π , π=0 (i) ∞ ∑ (ππ₯)π π=0 (2π)! . Chapter 6 Riemann Integration 6.1 Suprema and Infima (self study) Recall that if a nonempty set π΄ ⊂ β is bounded above, then the supremum of π΄ is the least upper bound of π΄, and if π΄ is bounded below, then the infimum of π΄ is the greatest lower bound of π΄. Hence for all π₯ ∈ π΄ we have inf π΄ ≤ π₯ ≤ sup π΄ and for each π > 0 there exist π, π ∈ π΄ such that π < π + inf π΄ and π > −π + sup π΄, see Theorems 1.9 and 1.12. Lemma 6.1. Let π΄ and π΅ be non-empty bounded sets of real numbers, let π ∈ β, and define ππ΄ βΆ= {ππ₯ β£ π₯ ∈ π΄}, π + π΄ βΆ= {π + π₯ β£ π₯ ∈ π΄} and π΄ + π΅ βΆ= {π₯ + π¦ β£ π₯ ∈ π΄, π¦ ∈ π΅}. Then ππ΄, π + π΄ and π΄ + π΅ are bounded, and (a) sup(ππ΄) = π sup π΄, inf (ππ΄) = π inf π΄, if π ≥ 0, (b) sup(ππ΄) = π inf π΄, inf (ππ΄) = π sup π΄, if π ≤ 0, (c) sup(π + π΄) = π + sup π΄, inf (π + π΄) = π + inf π΄, (d) sup(π΄ + π΅) = sup π΄ + sup π΅, inf (π΄ + π΅) = inf π΄ + inf π΅. Proof. (a) Let π = sup π΄. Then π₯ ≤ π for all π₯ ∈ π΄ and therefore ππ₯ ≤ ππ for all ππ₯ ∈ ππ΄. Hence ππ΄ is bounded above with bound ππ. This shows that πΏ = sup(ππ΄) satisfies πΏ ≤ ππ. If π = 0 then πΏ = sup{0} = 0 = 0 ⋅ π = ππ, and if π > 0, the the above inequality gives ππ = π sup(π −1 (ππ΄)) ≤ sup(ππ΄) = πΏ. Hence πΏ ≤ ππ and ππ ≤ πΏ, which proves (a) for supremum. The proof for the infimum is similar, or we can use Proposition 1.10, with π΄ = −(−π΄). (b) Since ππ΄ = −((−π)π΄) and −π ≥ 0, this follows from (a) and Proposition 1.10. (d) This is Tutorial 1.2.1, part 7. (c) is a special case of (d) if one observes π + π΄ = {π} + π΄ and inf {π} = sup{π} = π. Lemma 6.2. If ∅ ≠ π΄ ⊂ π΅ ⊂ β, then sup π΄ ≤ sup π΅, inf π΄ ≥ inf π΅. Proof. Assume π΅ is bounded. Let π ∈ π΄. Then π ∈ π΅, and hence inf π΅ ≤ π ≤ sup π΅. It follows that π΄ is bounded, that inf π΅ is a lower bound of π΄ and that sup π΄ is an upper bound of π΄. Hence inf π΄ ≥ inf π΅ and sup π΄ ≤ sup π΅. The cases that inf π΅ = −∞ or sup π΅ = ∞ are similar. Lemma 6.3. Let π΄ and π΅ be nonempty subsets of β such that π₯ ≤ π¦ for all π₯ ∈ π΄ and π¦ ∈ π΅. Then π΄ is bounded above, π΅ is bounded below, and sup π΄ ≤ inf π΅. Proof. Let π ∈ π΅. Then π ≤ π for all π ∈ π΄. So π is an upper bound of π΄. Hence π΄ is bounded above and sup π΄ ≤ π since sup π΄ is the least upper bound. Then sup π΄ ≤ π for all π ∈ π΅, and therefore sup π΄ is a lower bound for π΅. Thus sup π΄ ≤ inf π΅ follows. 54 MATH2022 6.2 55 Introductory Analysis 2017 Lecture Manual Riemann Sums The aim of this part of your course is to formalize the Riemann integral and consequently prove the major theorems concerning its properties. Definition 6.1. A partition, π , of the interval [π, π] is a finite set of points π = π₯0 < π₯1 < β― < π₯π = π which for brevity will be denoted π = {π = π₯0 < π₯1 < β― < π₯π = π}. The set of all partitions of the interval [π, π] will be denoted by ξΌ(π, π). Next we consider the upper and lower Riemann sums with respect to a partition. Definition 6.2. Let π be a bounded function on [π, π], (i.e. π βΆ [π, π] → β and there exists a constant πΎ such that |π (π₯)| ≤ πΎ for all π₯ ∈ [π, π]) and let π = {π = π₯0 < β― < π₯π = π} be a partition of the closed finite interval [π, π]. (a) We define the upper sum of π over [π, π] with respect to the partition π by π (π , π ) βΆ= π ∑ (π₯π − π₯π−1 ) sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]}. π=1 (b) We define the lower sum of π over [π, π] with respect to the partition π by πΏ(π , π ) βΆ= π ∑ (π₯π − π₯π−1 ) inf {π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]}. π=1 π π¦ π₯0 π₯2 π₯3 π₯π π₯ = = π π₯1 π Observe that if π (π₯) ≥ 0 on [π, π], then both πΏ(π , π ) and π (π , π ) are approximations of the area under the curve π¦ = π (π₯) for π₯ ∈ [π, π]. Here πΏ(π , π ) under approximates the area, while π (π , π ) over approximates the area. Worked Example 6.2.1. Find π (π , π ) and πΏ(π , π ) for π (π₯) = π₯2 − 1 and π = {0 < 1β4 < 1β2 < 1}. Solution. 56 Introductory Analysis 2017 Lecture Manual 0 1 4 MATH2022 Upper Sum: 1 2 π 1 π₯ sup π (π₯) = π₯∈[0, 14 ] sup π (π₯) = π₯∈[ 14 , 12 ] 1 −15 −1= 16 16 1 −3 −1= 4 4 sup π (π₯) = 1 − 1 = 0 π₯∈[ 12 ,1] ⇒ π (π , π ) = ( ( ) ( ) ) 1 27 −15 1 −3 1 1 +0 1− =− −0 + − 16 4 4 2 4 2 64 Lower Sum: −15 −3 1 1 −1= , inf π (π₯) = − 1 = 1 16 16 4 4 π₯∈[ 2 ,1] ( ( ) ( ) ) 1 −3 1 55 −15 1 1 ⇒ πΏ(π , π ) = −1 + 1− =− −0 + − 4 16 2 4 4 2 64 inf π (π₯) = 0 − 1 = −1, π₯∈[0, 14 ] inf π₯∈[ 14 , 12 ] 1 Remark. From 1st year: ∫ (π₯2 − 1) ππ₯ = 0 π (π₯) = ]1 [ 3 2 π₯ − π₯ = − so we observe that 3 3 0 1 55 27 − = πΏ(π₯2 − 1, π ) ≤ (π₯2 − 1) ππ₯ ≤ π (π , π ) = − . ∫ 64 64 0 The following lemma gives some useful bounds. Lemma 6.4. Let π be a bounded function on the closed interval [π, π] and let π be a partition of [π, π]. Then (π − π) inf {π (π₯) β£ π₯ ∈ [π, π]} ≤ πΏ(π , π ) ≤ π (π , π ) ≤ (π − π) sup{π (π₯) β£ π₯ ∈ [π, π]}. Proof. From the definition of supremum and infimum: inf π₯∈[π₯π−1 ,π₯π ] π (π₯) ≤ sup π (π₯). π₯∈[π₯π−1 ,π₯π ] Also, since [π₯π−1 , π₯π ] ⊂ [π, π], it follows from Lemma 6.2 that sup π₯∈[π₯π−1 ,π₯π ] π (π₯) ≤ sup π (π₯), π₯∈[π,π] inf π (π₯) ≤ π₯∈[π,π] inf π (π₯). sup π (π₯) ≤ sup π (π₯). π₯∈[π₯π−1 ,π₯π ] Thus inf π (π₯) ≤ π₯∈[π,π] inf π₯∈[π₯π−1 ,π₯π ] π (π₯) ≤ π₯∈[π₯π−1 ,π₯π ] π₯∈[π,π] Multiplying by (π₯π − π₯π−1 ) (> 0) and summing up over π gives π ∑ (π₯π − π₯π−1 )inf π (π₯) ≤ π₯∈[π,π] (π₯π − π₯π−1 ) inf π (π₯) ≤ π₯∈[π₯π−1 ,π₯π ] (π₯π − π₯π−1 ) sup π (π₯) ≤ π₯∈[π₯π−1 ,π₯π ] (π₯π − π₯π−1 )sup π (π₯) π₯∈[π,π] = π=1 = π=1 π ∑ = π=1 π ∑ = π=1 π ∑ (π − π) inf π (π₯) πΏ(π , π ) π (π , π ) (π − π) sup π (π₯) π₯∈[π,π] π₯∈[π,π] MATH2022 Introductory Analysis 2017 Lecture Manual 57 Worked Example 6.2.2. Let π (π₯) = π₯2 and π = {1 < 4β3 < 5β3 < 2}. With π = 1 and π = 2 we have inf π = 1, [1,2] sup π = 4, π − π = 1. [1,2] Thus we conclude 1 ≤ πΏ(π , π ) ≤ π (π , π ) ≤ 4. Note to lecturers: This calculation may be skipped. In fact, since π is increasing on [1, 2], infimum and supremum on each subdivision interval are taken at the left and right endpoint, respectively. Therefore 1 16 1 25 1 77 ⋅ + ⋅ + ⋅4= 3 9 3 9 3 27 1 16 1 25 50 1 + ⋅ = , πΏ(π , π ) = ⋅ 1 + ⋅ 3 3 9 3 9 27 π (π , π ) = i. e. ≤ ≤ 4 = 77 27 = ≤ = 50 27 = 1 (π − π) inf π πΏ(π , π ) π (π , π ) (π − π) sup π [1,2] [1,2] Tutorial 6.2.1. 1. Let π (π₯) = π₯ − 21 and π = {0 < 1β2 < 1 < 3β2 < 2}. Find π (π , π ) and πΏ(π , π ) and compare 2 them with ∫0 π (π₯) ππ₯. 2. Let π (π₯) = π₯ and ππ = {−1 < −1 + π1 < −1 + π2 < β― < −1 + 3π = 2}, π ∈ β∗ . π ]} { [ ]} { [ π−1 π π and inf π (π₯) β£ π₯ ∈ −1 + . , −1 + , −1 + (i) Find sup π (π₯) β£ π₯ ∈ −1 + π−1 π π π π (ii) Hence compute π (π , ππ ) and πΏ(π , ππ ). (iii) Find lim π (π , ππ ) and lim πΏ(π , ππ ). π→∞ π→∞ 2 (iv) Compare these limits with ∫−1 π₯ ππ₯. β§1 βͺ 3. Verify Lemma 6.4 for the function sgn(π₯) βΆ= β¨ 0 βͺ −1 β© π = {−2 < −1 < 0 < 1 < 2 < 3}. 6.3 if π₯ > 0 if π₯ = 0 on the interval [−2, 3] with partition if π₯ < 0 Refinements Definition 6.3. Let π = {π = π₯0 < π₯1 < β― < π₯π = π} and π = {π = π¦0 < π¦1 < β― < π¦π = π} be partitions of [π, π]. Then π is said to be a refinement of π if π ⊂ π i.e. {π₯0 , π₯1 , … , π₯π } ⊂ {π¦0 , π¦1 , … , π¦π }. π is called a refinement because π chops [π, π] into “smaller” pieces than π did. Or you can think of π as first cutting [π, π] into pieces and then π additionally chops some of those pieces into smaller pieces. Worked Example 6.3.1. 1. π = {0 < 1β2 < 1} and π = {0 < 1β3 < 2β3 < 1} are both partitions of [0, 1] but π is not a refinement of π as 12 belongs to the partition π but not to π. 2. π = {0 < 1β2 < 1} and π = {0 < 1β4 < 2β4 < 3β4 < 1} are both partitions of [0, 1] and π is a refinement of π. π 3. Let ππ = {0 < 21π < 22π < β― < 22π }. Then ππ is a partition of [0, 1] for each π ∈ β and ππ ⊂ ππ+1 since π = 22π π+1 . 2π 58 Introductory Analysis 2017 Lecture Manual MATH2022 Lemma 6.5. Let π be a bounded function on [π, π] and let π and π be partitions of [π, π] with π a refinement of π . Then πΏ(π , π ) ≤ πΏ(π , π ) ≤ π (π , π ) ≤ π (π , π ). Proof. Since π can be formed by adding a finite number of partition points to π , proceeding inductively it suffices to consider the case where π is formed by introducing one extra point to π : Suppose π = {π₯0 < π₯1 < β― < π₯π } and π = {π₯0 < π₯1 < β― < π₯π−1 < π¦ < π₯π < β― < π₯π }. We have π (π , π ) = = π ∑ π=1 π ∑ (π₯π − π₯π−1 ) (π₯π − π₯π−1 ) π=1 π≠π sup π (π₯) π₯∈[π₯π−1 ,π₯π ] sup π₯∈[π₯π−1 ,π₯π ] π (π₯) + (π₯π − π₯π−1 ) sup π (π₯) π₯∈[π₯π−1 ,π₯π ] But π = {π₯π−1 < π¦ < π₯π } is a partition of [π₯π−1 , π₯π ], and Lemma 6.4 gives (π¦ − π₯π−1 ) sup π₯∈[π₯π−1 ,π¦] π (π₯) + (π₯π − π¦) sup π (π₯) ≤ (π₯π − π₯π−1 ) π₯∈[π¦,π₯π ] sup π (π₯). π₯∈[π₯π−1 ,π₯π ] Hence π (π , π ) ≥ π ∑ (π₯π − π₯π−1 ) π=1 π≠π sup π₯∈[π₯π−1 ,π₯π ] π (π₯) + (π¦ − π₯π−1 ) sup π₯∈[π₯π−1 ,π¦] π (π₯) + (π₯π − π¦) sup π (π₯) π₯∈[π¦,π₯π ] = π (π , π ). The inequality πΏ(π , π ) ≤ πΏ(π , π ) follows in a similar way, and πΏ(π , π ) ≤ π (π , π ) has been shown in Lemma 6.4. Definition 6.4. If π and π are partitions of [π, π], then π ∪ π (with elements listed in increasing order and without repetitions) is called the common refinement of π and π. Worked Example 6.3.2. Let π = {−1 < 0 < 1} and π = {−1 < −1β3 < 1β3 < 1}. Then the common refinement of π and π is π ∪ π = {−1 < −1β3 < 0 < 1β3 < 1}. Lemma 6.6. If π and π are partitions of [π, π] and π is a bounded function on [π, π], then πΏ(π , π) ≤ π (π , π ). Proof. Since π ⊂ π ∪ π and π ⊂ π ∪ π, Lemma 6.5 gives πΏ(π , π) ≤ πΏ(π , π ∪ π), π (π , π ∪ π) ≤ π (π , π ) and πΏ(π , π ∪ π) ≤ π (π , π ∪ π). Hence πΏ(π , π) ≤ πΏ(π , π ∪ π) ≤ π (π , π ∪ π) ≤ π (π , π ). Tutorial 6.3.1. 1. Let ππ = {0 < 1π < 2π < β― < ππ }. Then ππ is a partition of [0, 1] for each π ∈ β. Show that ππ+1 is not a refinement of ππ for π ≥ 2. 2. Let π (π₯) = π₯3 + π₯2 , π = {−1 < 0 < 1}, π = {−1 < −1β2 < 0 < 1}. Compute πΏ(π , π ), πΏ(π , π), π (π , π ), π (π , π) and compare their values. MATH2022 6.4 Introductory Analysis 2017 Lecture Manual 59 The Riemann Integral Definition 6.5. Let π be a bounded function on the interval [π, π]. (a) We define the lower integral of π over [π, π] as π π (π‘) ππ‘ βΆ= sup{πΏ(π , π ) β£ π a partition of [π, π]}. ∫ π (b) We define the upper integral of π over [π, π] as π ∫ π (π‘) ππ‘ βΆ= inf {π (π , π ) β£ π a partition of [π, π]}. π (c) We say that π is Riemann integrable on [π, π] if π π π (π‘) ππ‘ = ∫ π π (π‘) ππ‘, ∫ π π in which case the common value is denoted by ∫ π (π‘) ππ‘ and is called the Riemann integral of π over [π, π]. π Note. By the properties of suprema and infima, see Lemmas 6.6 and 6.3, π π π (π‘) ππ‘ ≤ ∫ π π (π‘) ππ‘. ∫ π Hence π is Riemann integrable if and only if π ∫ π π π (π‘) ππ‘ ≤ ∫ π (π‘) ππ‘. π Theorem 6.7 (Integrability Condition). A bounded function π on the interval [π, π] is Riemann integrable if and only if for each π > 0 there exists a partition π of [π, π] such that π (π , π ) − πΏ(π , π ) < π. Proof. ⇒: Let π be Riemann integrable on [π, π] and let π > 0. Then there is a partition π of [π, π] such that π ∫ π π (π‘) ππ‘ ≤ π (π , π ) < π ∫ π (π‘) ππ‘ + π 2 π and there is a partition π of [π, π] such that π π π π (π‘) ππ‘ − < πΏ(π , π) ≤ π (π‘) ππ‘. ∫ ∫ 2 π π 60 Introductory Analysis 2017 Lecture Manual MATH2022 Let π = π ∪ π. Then, in view of Lemma 6.5, π π π π π (π‘) ππ‘ − = π (π‘) ππ‘ − < πΏ(π , π) ≤ πΏ(π , π ) ∫ 2 ∫ 2 π π π π π π π (π‘) ππ‘ + . ≤ π (π , π ) ≤ π (π , π ) < π (π‘) ππ‘ + = ∫ 2 ∫ 2 π π In particular, π π (π , π ) < π π (π‘) ππ‘ + , 2 ∫ π π −πΏ(π , π ) < − π π (π‘) ππ‘ + . 2 ∫ π Summing up gives π (π , π ) − πΏ(π , π ) < π. ⇐: Suppose that there are π > 0 and a partition ππ of [π, π] such that π (π , ππ ) − πΏ(π , ππ ) < π. Then from π π (π‘) ππ‘ ≥ πΏ(π , ππ ), ∫ π π ∫ π (π‘) ππ‘ ≤ π (π , ππ ) π we get π ∫ π π (π‘) ππ‘ − π π (π‘) ππ‘ ≤ π (π , ππ ) − πΏ(π , ππ ) < π. ∫ π Hence π ∀π > 0 0≤ ∫ π π (π‘) ππ‘ − π ∫ π (π‘) ππ‘ ≤ π, π giving π ∫ π π π (π‘) ππ‘ = ∫ π (π‘) ππ‘. π Theorem 6.8. If π is an increasing function on the interval [π, π], then π is Riemann integrable on [π, π]. Proof. By assumption, π (π) ≤ π (π₯) ≤ π (π) for all π₯ ∈ [π, π]. Hence π is bounded. Let π > 0 and choose π ∈ β such that π (π) − π (π) (π − π) < π. π MATH2022 61 Introductory Analysis 2017 Lecture Manual Consider the partition π = { } 2(π − π) (π − 1)(π − π) π(π − π) π−π π<π+ <π+ <β―<π+ <π+ =π . π π π π Observing that over each subinterval of [π, π] the increasing function π takes its minimum at the left endpoint and its maximum at the right endpoint of the interval, it follows that { ]} ( ) [ π | ∑ π(π − π) π(π − π) (π − 1)(π − π) π−π | π (π , π ) = sup π (π₯) | π₯ ∈ π + ,π + = π π+ , | π π π π π | π=1 π=1 { ]} ( ) [ π π | ∑ ∑ π(π − π) (π − 1)(π − π) (π − 1)(π − π) π−π π−π | πΏ(π , π ) = inf π (π₯) | π₯ ∈ π + ,π + = π π+ . | π π π π π | π=1 π=1 π ∑ π−π Hence π (π , π ) − πΏ(π , π) = π ∑ π−π π π=1 = ( π+ π π(π − π) π ) − π−1 ∑ π−π π π π=0 ( π+ π(π − π) π ) π−π (π (π) − π (π)) < π. π Hence π is integrable by Theorem 6.7. 1 Worked Example 6.4.1. 1. Let π (π₯) = π₯. Then π is Riemann integrable on [0, 1] and ∫0 π (π‘) ππ‘ = this let ππ = {0 < 1π < 2π < β― < ππ }. Then πΏ(π , ππ ) = π ∑ 1 π−1 π=1 π π and π (π , ππ ) = π ∑ 1 π π=1 π π = = 1 . To see 2 ( ) 1 (π − 1)π 1 1 = 1− 2 2 π π2 ( ) 1 π(π + 1) 1 1 = 1+ . 2 2 π π2 1 , which can be made arbitrarily small but taking π sufficiently large. Thus π is π Riemann integrable. Also the integral is sandwiched between πΏ(π , ππ ) and π (π , ππ ), both of which converge to 1 1 1 , giving ∫0 π (π‘) ππ‘ = . 2 2 { 0 if π₯ ∉ β . Then π is not Riemann integrable on [0, 1], since for each partition π of [0, 1], 2. Let π (π₯) = 1 if π₯ ∈ β π (π , π ) = 1, while πΏ(π , π ) = 0. Thus π (π , ππ ) − πΏ(π , ππ ) = 2 2 and πΏ(sgn, ππ ) = − . π π 4 4 Thus π (sgn, ππ ) − πΏ(sgn, ππ ) = → 0 as π → ∞. For each π > 0 there exists π ∈ β such that < π. Hence sgn π π 1 is Riemann integrable on [−1, 1]. Finally, lim π (sgn, ππ ) = lim πΏ(sgn, ππ ) = 0 gives ∫−1 sgn(π₯) ππ₯ = 0. 3. Let π (π₯) = sgn(π₯) on [−1, 1]. Let ππ βΆ= {−1 < − 1π < 1π < 1} then π (sgn, ππ ) = π→∞ π→∞ Tutorial 6.4.1. Let π βΆ [π, π] → β be bounded. For π ∈ β∗ let ππ ∈ ξΌ(π, π) such that lim πΏ(π , ππ ) = π→∞ π lim π (π , ππ ). Show that π is Riemann integrable on [π, π] and that ∫π π (π₯) ππ₯ = lim πΏ(π , ππ ) = lim π (π , ππ ). π→∞ π→∞ 1 Tutorial 6.4.2. Show that π (π₯) = π₯2 is Riemann integrable on [0, 1] and that ∫0 π (π‘) ππ‘ = π→∞ 1 . 3 62 Introductory Analysis 2017 Lecture Manual 6.5 MATH2022 Properties of the Integral Theorem 6.9 (Homogeneity). If π is a bounded Riemann integrable function on the interval [π, π] and if π ∈ β, then ππ is Riemann integrable and π π ππ (π‘) ππ‘ = π ∫ π ∫ π (π‘) ππ‘. π Proof. Note that whenever π is bounded, then also ππ is bounded. Case I: π ≥ 0. Let π = {π = π₯0 < π₯1 < β― < π₯π = π} be a partition of [π, π]. Then, by Lemma 6.1, π (ππ , π ) = π ∑ (π₯π − π₯π−1 ) sup{ππ (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} π=1 = π ∑ (π₯π − π₯π−1 )π sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} π=1 =π π ∑ (π₯π − π₯π−1 ) sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} π=1 = ππ (π , π ). Thus π ππ (π‘) ππ‘ = inf {π (ππ , π ) β£ π ∈ ξΌ(π, π)} ∫ π = inf {ππ (π , π ) β£ π ∈ ξΌ(π, π)} = π inf {π (π , π ) β£ π ∈ ξΌ(π, π)} π =π π (π‘) ππ‘. ∫ π Interchanging sup and inf we get πΏ(ππ , π ) = ππΏ(π , π ) and then π ∫ π ππ (π‘) ππ‘ = π π π But ∫ π ∫ π (π‘) ππ‘. π π π (π‘) ππ‘ = ∫ π (π‘) ππ‘ now gives π π ∫ π ππ (π‘) ππ‘ = π π ∫ π π π (π‘) ππ‘ = π ∫ ∫ π π (π‘) ππ‘ = π π π ππ (π‘) ππ‘ = π ∫ π π Hence ππ is Riemann integrable and π ∫ π π (π‘) ππ‘. π π (π‘) ππ‘ = ∫ π ππ (π‘) ππ‘. MATH2022 63 Introductory Analysis 2017 Lecture Manual Case II: π = −1. Let π = {π = π₯0 < π₯1 < β― < π₯π = π} be a partition of [π, π]. Then, using the results of Section 6.1, π (−π , π ) = π ∑ (π₯π − π₯π−1 ) sup{−π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} π=1 =− π ∑ (π₯π − π₯π−1 ) inf {π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} π=1 = −πΏ(π , π ). Thus π ∫ (−π (π‘)) ππ‘ = inf {π (−π , π ) β£ π ∈ ξΌ(π, π)} π = inf {−πΏ(π , π ) β£ π ∈ ξΌ(π, π)} = − sup{πΏ(π , π ) β£ π ∈ ξΌ(π, π)} π = − π (π‘) ππ‘. ∫ π Since so far we have only used that π and −π are bounded, we can replace π by −π and obtain π ∫ π π (π‘) ππ‘ = ∫ π π (−(−π (π‘))) ππ‘ = − (−π (π‘)) ππ‘, ∫ π π and therefore π ∫ π (−π (π‘)) ππ‘ = − π (π‘) ππ‘. ∫ π π Thus π ∫ π π π π π (−π (π‘)) ππ‘ = − π (π‘) ππ‘ = − π (π‘) ππ‘ = − π (π‘) ππ‘ = (−π (π‘)) ππ‘. ∫ ∫ ∫ ∫ π π π This shows that −π is Riemann integrable and that π ∫ π (−π (π‘)) ππ‘ = − π π (π‘) ππ‘. ∫ π Case III: π < 0. By Case I, (−π)π is Riemann integrable, and π ∫ π (−π)π (π‘) ππ‘ = (−π) π ∫ π (π‘) ππ‘. π Then, by Case II, −(−π)π is Riemann integrable, and π ∫ π π (−(−π)π (π‘)) ππ‘ = − ∫ π (−π)π (π‘) ππ‘. π 64 Introductory Analysis 2017 Lecture Manual MATH2022 Thus ππ is Riemann integrable, and π ∫ π ππ (π‘) ππ‘ = − ∫ π π (−π)π (π‘) ππ‘ = −(−π) ∫ π π π (π‘) ππ‘ = π π ∫ π (π‘) ππ‘. π Lemma 6.10. If π and π are bounded functions on [π, π] and π is a partition of [π, π], then π (π + π, π ) ≤ π (π , π ) + π (π, π ), πΏ(π + π, π ) ≥ πΏ(π , π ) + πΏ(π, π ). Proof. Let π = {π₯0 < π₯1 < β― < π₯π } be a partion of [π, π]. For each π ∈ {1, … , π} and π‘ ∈ [π₯π−1 , π₯π ] we have π (π‘) + π(π‘) ≤ sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} + sup{π(π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]}, whence sup{π (π₯) + π(π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} ≤ sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} + sup{π(π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]}. Multiplying with (π₯π − π₯π−1 ) and summing up over π gives π (π + π, π ) ≤ π (π , π ) + π (π, π ). πΏ(π +π, π ) ≥ πΏ(π , π )+πΏ(π, π ) can be shown similarly, or we may use the estimate for upper sums and πΏ(π , π ) = −π (−π , π ). Theorem 6.11 (Additivity). If π and π are bounded Riemann integrable functions on the interval [π, π], then π + π is Riemann integrable and π ∫ π (π (π‘) + π(π‘)) ππ‘ = π π π (π‘) ππ‘ + ∫ π π(π‘) ππ‘. ∫ π Proof. Let π > 0 and choose π1 , π2 ∈ ξΌ(π, π) such that π ∫ π π (π‘) ππ‘ ≥ π (π , π1 ) − , 2 π π ∫ π π(π‘) ππ‘ ≥ π (π, π2 ) − . 2 π Let π = π1 ∪ π2 . By Lemmas 6.5 and 6.10, π (π + π, π ) ≤ π (π , π ) + π (π, π ) ≤ π (π , π1 ) + π (π, π2 ). Thus π ∫ (π (π‘) + π(π‘)) ππ‘ ≤ π (π + π, π ) ≤ π (π , π1 ) + π (π, π2 ) π π ≤ ∫ π π (π‘) ππ‘ + π ∫ π(π‘) ππ‘ + π. π Since π > 0 was arbitrary, it follows that π ∫ π π (π (π‘) + π(π‘)) ππ‘ ≤ ∫ π π π (π‘) ππ‘ + ∫ π π(π‘) ππ‘. MATH2022 65 Introductory Analysis 2017 Lecture Manual Similarly, π π (π (π‘) + π(π‘)) ππ‘ ≥ ∫ π (π‘) ππ‘ + ∫ π π π(π‘) ππ‘. ∫ π π But since π and π are integrable over [π, π] π π π (π‘) ππ‘ + ∫ π π π(π‘) ππ‘ = ∫ π π π (π‘) ππ‘ + ∫ π(π‘) ππ‘ = ∫ π π π (π‘) ππ‘ + ∫ π π π ∫ π(π‘) ππ‘, π and therefore π ∫ π (π (π‘) + π(π‘)) ππ‘ ≤ π ∫ π π (π‘) ππ‘ + ∫ π π π(π‘) ππ‘ ≤ (π (π‘) + π(π‘)) ππ‘, ∫ π π π π which shows that π + π is integrable, and π (π (π‘) ππ‘ + π(π‘)) ππ‘ = ∫ π ∫ π (π‘) ππ‘ + π ∫ π(π‘) ππ‘. π Theorem 6.12. If π is a bounded Riemann integrable function on the interval [π, π] and on the interval [π, π], then π is Riemann integrable on [π, π] and π ∫ π π (π₯) ππ₯ = π ∫ π π (π₯) ππ₯ + π ∫ π (π₯) ππ₯. π Proof. Let π be a partition of [π, π] and π be a partition of [π, π]. Writing π = {π = π₯0 < π₯1 < β― < π₯π = π}, π = {π = π₯π < π₯π+1 < β― < π₯π = π}, we have that π = {π = π₯0 < π₯1 < β― < π₯π = π} is a partition of [π, π] and π (π , π ) = = π ∑ π=1 π ∑ (π₯π − π₯π−1 ) sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} (π₯π − π₯π−1 ) sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} + π=1 π ∑ (π₯π − π₯π−1 ) sup{π (π₯) β£ π₯ ∈ [π₯π−1 , π₯π ]} π=π+1 = π (π , π ) + π (π , π). Hence, by Lemmas 6.1 and 6.2, π ∫ π (π₯) ππ₯ = inf {π (π , π) β£ π ∈ ξΌ(π, π)} π ≤ inf {π (π , π ) β£ π ∈ ξΌ(π, π), π ∈ π } = inf {π (π , π ) + π (π , π) β£ π ∈ ξΌ(π, π), π ∈ ξΌ(π, π)} = inf {π (π , π ) β£ π ∈ ξΌ(π, π)} + inf {π (π , π) β£ π ∈ ξΌ(π, π)} π = ∫ π π π (π₯) ππ₯ + ∫ π π (π₯) ππ₯. 66 Introductory Analysis 2017 Lecture Manual MATH2022 Similarly π ∫ π (π₯) ππ₯ = sup{πΏ(π , π) β£ π ∈ ξΌ(π, π)} π ≥ sup{πΏ(π , π ) + πΏ(π , π) β£ π ∈ ξΌ(π, π), π ∈ ξΌ(π, π)} π = π π (π₯) ππ₯ + ∫ π π (π₯) ππ₯. ∫ π Since π is integrable over [π, π] and over [π, π], it follows from above that π ∫ π π (π₯) ππ₯ ≤ π ∫ π π (π₯) ππ₯ + ∫ π π π (π₯) ππ₯ ≤ ∫ π (π₯) ππ₯. π π Therefore π is integrable over [π, π] and π ∫ π π (π₯) ππ₯ = π ∫ π π (π₯) ππ₯ + π ∫ π (π₯) ππ₯. π Lemma 6.13. Let π be a continuous function on [π, π] and let π > 0. Then there is a partition ξΌ = {π₯0 < π₯1 < β― < π₯π } of [π, π] such that |π (π₯) − π (π₯π−1 )| ≤ π for all π ∈ {1, … , π} and all π₯ ∈ [π₯π−1 , π₯π ]. Proof. Let π > 0 and put π₯0 = π. For π ∈ β∗ we define numbers π₯π recursively as follows: Let πΈπ = {π₯ ∈ [π₯π−1 , π] β£ |π (π₯) − π (π₯π−1 )| ≥ π}. Note that πΈπ = ∅ if π₯π−1 = π. If πΈπ = ∅, let π₯π = π. If πΈπ ≠ ∅, let π₯π = inf πΈπ . Claim 1. If π₯π−1 < π, then π₯π−1 < π₯π . If πΈπ = ∅, then π₯π−1 < π = π₯π . Now let πΈπ ≠ ∅. Since π is continuous at π₯π−1 , there is πΏ > 0 such that |π (π₯) − π (π₯π−1 )| < π whenever π₯ ∈ [π, π] with |π₯ − π₯π−1 | < πΏ. Hence π₯ ∈ πΈπ implies π₯ ≥ π₯π−1 and |π₯ − π₯π−1 | ≥ πΏ, and therefore π₯ ≥ π₯π−1 + πΏ. Thus π₯π−1 + πΏ is a lower bound of πΈπ and therefore π₯π = inf πΈπ ≥ π₯π−1 + πΏ > π₯π−1 . Claim 2. If π₯π−1 < π, then |π (π₯) − π (π₯π−1 )| < π for all π₯ ∈ [π₯π−1 , π₯π ), |π (π₯π ) − π (π₯π−1 )| ≤ π, and |π (π₯π ) − π (π₯π−1 )| = π if πΈπ ≠ ∅. Indeed, if π₯ ∈ [π₯π−1 , π₯π ), then π₯ ∈ [π₯π−1 , π] and π₯ < inf πΈπ , and so π₯ ∉ πΈπ . By definition of πΈπ it follows that |π (π₯) − π (π₯π−1 )| < π, and, since π₯π−1 < π₯π by Claim 1, the continuity of π and the absolute value function give |π (π₯π ) − π (π₯π−1 )| = lim− |π (π₯) − π (π₯π−1 )| ≤ π. π₯→π₯π If πΈπ ≠ ∅, then there is a sequence (ππ ) in πΈπ such that lim ππ = π₯π . π→∞ Observing |π (ππ ) − π (π₯π−1 )| ≥ π, the same continuity argument as above gives |π (π₯π ) − π (π₯π−1 )| = lim |π (ππ ) − π (π₯π−1 )| ≥ π. π→∞ Claim 3. There is an index π such that π₯π = π. MATH2022 67 Introductory Analysis 2017 Lecture Manual Assume that Claim 3 is false. Then, by Claim 1, (π₯π ) is an increasing sequence, bounded by π, which therefore has a limit, say π₯, see Theorem 6.11, and π₯ ∈ [π, π]. Then the continuity of π at π₯ gives |π (π₯π ) − π (π₯π−1 )| ≤ |π (π₯π ) − π (π₯)| + |π (π₯) − π (π₯π−1 )| → 0 as π → ∞. Hence there is π such that |π (π₯π ) − π (π₯π−1 )| < π, contradicting Claim 2 since π₯π ≠ π implies πΈπ ≠ ∅. Putting π = min{π ∈ β β£ π₯π = π} completes the proof. Theorem 6.14. If π is a continuous function on [π, π], then π is Riemann integrable on [π, π]. Proof. From Theorem 3.17, we know that a continuous function on a closed interval [π, π] is bounded. Let π > 0 and let π = {π₯0 < β― < π₯π } be a partition of [π, π] according to Lemma 6.13. Then, for π ∈ {1, … , π}, with Lemma 6.1, sup π (π₯) − π₯∈[π₯π−1 ,π₯π ] inf π₯∈[π₯π−1 ,π₯π ] π (π₯) = sup [π (π₯) − π (π₯π−1 )] − π₯∈[π₯π−1 ,π₯π ] = sup π₯∈[π₯π−1 ,π₯π ] ≤2 [π (π₯) − π (π₯π−1 )] + sup π₯∈[π₯π−1 ,π₯π ] inf [π (π₯) − π (π₯π−1 )] sup [π (π₯π−1 ) − π (π₯)] π₯∈[π₯π−1 ,π₯π ] π₯∈[π₯π−1 ,π₯π ] |π (π₯) − π (π₯π−1 )| ≤ 2π in view of Lemma 6.13, Claim 2. Hence π ∑ (π₯π − π₯π−1 ) π (π , π ) − πΏ(π , π ) = π=1 ≤ [ ] sup π (π₯) − π₯∈[π₯π−1 ,π₯π ] inf π₯∈[π₯π−1 ,π₯π ] π (π₯)] π ∑ (π₯π − π₯π−1 )2π = 2(π − π)π. π=1 By Theorem 6.7, π is Riemann integrable. Theorem 6.15 (Fundamental Theorem of Calculus). Let π be a differentiable function on [π, π] such that π ′ is continuous on [π, π]. Then π ′ is Riemann integrable on [π, π] and π ∫ π ′ (π‘) ππ‘ = π (π) − π (π). π Proof. Since π ′ is continuous, π ′ is Riemann integrable by the previous theorem. Let π = {π₯ 0 < β― < π₯π } be a partition of [π, π]. By the First Mean Value Theorem, Theorem 4.5, for each π ∈ {1, … , π} there is ππ ∈ (π₯π−1 , π₯π ) such that π (π₯π ) − π (π₯π−1 ) = (π₯π − π₯π−1 )π ′ (ππ ). Then πΏ(π ′ , π ) = π ∑ (π₯π − π₯π−1 ) π=1 ≤ inf π₯∈[π₯π−1 ,π₯π ] π ′ (π₯) π ∑ (π₯π − π₯π−1 )π ′ (ππ ) π=1 = π ∑ π (π₯π ) − π (π₯π−1 ) = π (π) − π (π). π=1 Hence π ∫ π π ′ (π₯) ππ₯ = sup{πΏ(π ′ , π ) β£ π ∈ ξΌ(π, π)} ≤ π (π) − π (π). 68 Introductory Analysis 2017 Lecture Manual MATH2022 Similarly, π π ′ (π₯) ππ₯ ≥ π (π) − π (π). ∫ π Since π ′ is Riemann integrable, the upper and lower Riemann integrals are equal, and π ∫ π ′ (π₯) ππ₯ = π (π) − π (π) π follows. Tutorial 6.5.1. Let π be a bounded Riemann integrable function on [π, π] and let π be a partition of [π, π]. Then prove that π (π − π) inf {π (π₯) β£ π₯ ∈ [π, π]} ≤ πΏ(π , π ) ≤ ∫ π (π‘) ππ‘ ≤ π (π , π ) ≤ (π − π) sup{π (π₯) β£ π₯ ∈ [π, π]}. π *Tutorial 6.5.2. Let π < π, let π βΆ [π, π] → β and let π = {π = π₯0 < π₯1 < β― < π₯π = π} ∈ ξΌ(π, π). Define π (π , π ) βΆ= π ∑ |π (π₯π ) − π (π₯π−1 )| π=1 and πππ π βΆ= sup{π (π , π ) βΆ π ∈ ξΌ(π, π)}. One sets πππ π = 0. The function π is said to be of bounded variation on [π, π] if πππ π < ∞. 1. Let π ≤ π₯ < π¦ ≤ π. Show that πππ₯ π + |π (π¦) − π (π₯)| ≤ πππ¦ π . 2. Assume that π is of bounded variation on [π, π] and for π₯ ∈ [π, π] define π1 (π₯) = πππ₯ π , π2 (π₯) = πππ₯ π − π (π₯). Show that π1 and π2 are increasing on [π, π] and that π = π1 − π2 . 3. Show that π is of bounded variation on [π, π] if and only if π is the difference of two increasing functions on [π, π]. 4. Show that if π is of bounded variation on [π, π], then π is Riemann integrable over [π, π]. 5. Give an example of a continuous function on [π, π] which is not of bounded variation. Chapter 7 Introduction to Metric Spaces 7.1 Metric Spaces Definition 7.1. Let π be a set and π βΆ π × π → β. π is called a metric on π if for all π₯, π¦, π§ ∈ π the following properties are satisfied: (i) π(π₯, π¦) = 0 ⇔ π₯ = π¦, (ii) π(π₯, π¦) = π(π¦, π₯) (symmetry), (iii) π(π₯, π§) ≤ π(π₯, π¦) + π(π¦, π§) (triangle inequality). If π is a metric on π, then (π, π) or shortly π is called a metric space. Remark 7.1.1. If (π, π) is a metric space, then π(π₯, π¦) ≥ 0 for all π₯, π¦ ∈ π. Proof. From 0 = π(π₯, π₯) ≤ π(π₯, π¦) + π(π¦, π₯) = π(π₯, π¦) + π(π₯, π¦) = 2π(π₯, π¦) (i) (ii) (iii) it follows that π(π₯, π¦) ≥ 0. In the following, π ∈ β∗ = β ⧡ {0} unless stated otherwise. Worked Example 7.1.1. 1. For π₯, π¦ ∈ β let π(π₯, π¦) = |π₯ − π¦|. Then (β, π) is a metric space. 2. For π₯, π¦ ∈ β let π(π₯, π¦) = |π₯ − π¦|. Then (β, π) is a metric space. ( π )1 2 ∑ 3. For π₯ = (π₯π )ππ=1 , π¦ = (π¦π )ππ=1 ∈ βπ let π(π₯, π¦) = |π₯π − π¦π |2 . Then (βπ , π) is a metric space. π=1 Solution. Parts 1 and 2 are clear if one observes the triangle inequality for real and complex numbers. For the triangle inequality in 3, we use the notation βπ₯β = π(π₯, 0). Then βπ₯ + π¦β ≤ βπ₯β + βπ¦β can be shown as was done for βπ in Multivariable Calculus. But rather than repeating that proof we use it to prove the result for βπ . To this end, put π₯ Μ = (|π₯π |)ππ=1 ∈ βπ . Obviously, βΜ π₯β = βπ₯β and βπ₯ + π¦β ≤ βΜ π₯ + π¦Μβ by part 2. Then, from Multivarible Calculus results applicable to π₯ Μ and π¦Μ, it follows that βπ₯ + π¦β ≤ βΜ π₯ + π¦Μβ ≤ βΜ π₯β + βΜ π¦β = βπ₯β + βπ¦β. Then, for π₯, π¦, π§ ∈ βπ , π(π₯, π§) = βπ₯ − π§β = β(π₯ − π¦) + (π¦ − π§)β ≤ βπ₯ − π¦β + βπ¦ − π§β = π(π₯, π¦) + π(π¦, π§). In the following, let π½ be either β or β. 69 70 Introductory Analysis 2017 Lecture Manual MATH2022 Worked Example 7.1.2. Let π be a nonempty set and let π΅(π ) = π΅(π , π½ π ) be the set of all bounded functions from π to π½ π . Here a function π from π to π½ π is called bounded if there is a real number π such that βπ (π₯)β = ( π )1 2 ∑ |ππ (π₯)|2 ≤ π for all π₯ ∈ π , where ππ (π₯) is the π-th component of π (π₯). For π , π ∈ π΅(π ) let π=1 π(π , π) = sup βπ (π₯) − π(π₯)β. π₯∈π Then (π΅(π ), π) is a metric space. Solution. We have for π , π ∈ π΅(π ) that there are π, π ∈ β such that βπ (π₯)β ≤ π and βπ(π₯)β ≤ π for all π₯ ∈ π . Denoting the metric on βπ from Example 7.1.1 by ππ , it follows for π₯ ∈ π that βπ (π₯) − π(π₯)β = ππ (π (π₯), π(π₯)) ≤ ππ (π (π₯), 0) + ππ (π(π₯), 0) = βπ (π₯)β + βπ(π₯)β ≤ π + π, so that π(π , π) ∈ β. Clearly, π(π , π ) = 0 for all π ∈ π΅(π ). If, on the other hand, π ≠ π, then there is π₯0 ∈ π such that π (π₯0 ) ≠ π(π₯0 ). Hence π(π , π) = sup βπ (π₯) − π(π₯)β ≥ βπ (π₯0 ) − π(π₯0 )β > 0. π₯∈π From βπ (π₯) − π(π₯)β = βπ(π₯) − π (π₯)β it easily follows that π(π , π) = π(π, π ). Finally, for π , π, β ∈ π΅(π ), π(π , β) = sup βπ (π₯) − β(π₯)β π₯∈π ≤ sup (βπ (π₯) − π(π₯)β + βπ(π₯) − β(π₯)β) π₯∈π ≤ sup (βπ (π₯) − π(π₯)β + βπ(π¦) − β(π¦)β) π₯,π¦∈π = sup βπ (π₯) − π(π₯)β + sup βπ(π¦) − β(π¦)β π₯∈π π¦∈π = π(π , π) + π(π, β). Proposition 7.1. Let π = (π, π) be a metric space and let π ⊂ π be nonempty. For π₯, π¦ ∈ π let ππ (π₯, π¦) = π(π₯, π¦). Then π = (π , ππ ) = (π , π) is a metric space. Note. When it is clear what the metric is, it is convenient to write briefly π for a metric space, and π ⊂ π is called a (metric) subspace of π. Worked Example 7.1.3. 1. βπ is a subspace of βπ . 2. If π is a nonempty set and π΄ ⊂ π½ π , then π΅(π , π΄) is a subspace of π΅(π , π½ π ). Definition 7.2. A sequence (π₯π ) in a metric space (π, π) is called (i) convergent if there is π₯ ∈ π such that lim π(π₯π , π₯) = 0. π→∞ We then write π₯ = lim π₯π and say that (π₯π ) converges to π₯. π→∞ (ii) a Cauchy sequence if for all π > 0 there is π ∈ β such that for all π, π ≥ π: π(π₯π , π₯π ) < π. Theorem 7.2. Let (π, π) be a metric space and let (π₯π ) be a convergent sequence in π. Then 1. lim π₯π is unique. π→∞ 2. (π₯π ) is a Cauchy sequence. Proof. 1. Let π₯, π¦ ∈ π such that lim π(π₯π , π₯) = 0 and lim π(π₯π , π¦) = 0. Then π→∞ π→∞ π(π₯, π¦) ≤ π(π₯, π₯π ) + π(π₯π , π¦) = π(π₯π , π₯) + π(π₯π , π¦) MATH2022 Introductory Analysis 2017 Lecture Manual 71 gives 0 ≤ π(π₯, π¦) ≤ lim π(π₯π , π₯) + lim π(π₯π , π¦) = 0. π→∞ π→∞ Hence π(π₯, π¦) = 0, giving π₯ = π¦. π 2. Let π > 0. Since there is π₯ ∈ π such that lim π(π₯π , π₯) = 0, there is π ∈ β such that π(π₯π , π₯) < for π ≥ π. π→∞ 2 Then, for π, π ≥ π, π(π₯π , π₯π ) ≤ π(π₯π , π₯) + π(π₯π , π₯) < π. Tutorial 7.1.1. 1. Let π be a set and let π βΆ π → β be injective. a) Show that π(π₯, π¦) = |π (π₯) − π (π¦)| defines a metric on π. b) Show that a sequence (π₯π ) in (π, π) converges to some π₯ ∈ π if and only if the sequence (π (π₯π )) converges to some π¦ ∈ range π , and that then π¦ = π (π₯). 2. Let β = β ∪ {−∞, ∞}, define π βΆ β → β by β§ arctan π₯ if π₯ ∈ β, βͺ βͺ π if π₯ = −∞ , π (π₯) = β¨ − 2 βͺπ if π₯ = ∞, βͺ β©2 and let π be as in part 1. Show that a sequence (π₯π ) in β converges in (β, π) if and only if either (π₯π ) converges in β in the usual sense or π₯π → −∞ or π₯π → ∞. 3. Let π be a nonempty set. For π₯, π¦ ∈ π define { π(π₯, π¦) = 0 if π₯ = π¦, 1 if π₯ ≠ π¦. a) Show that (π, π) is a metric space. (π, π) is called a discrete metric space. b) Show that a sequence (π₯π ) converges in (π, π) if and only if there is π ∈ β such that π₯π = π₯π for all π > π. 4. Let π₯, π¦ ∈ βπ . Prove directly that |(π₯, π¦)| ≤ βπ₯ββπ¦β and βπ₯ + π¦β ≤ βπ₯β + βπ¦β. 7.2 Complete Metric Spaces Definition 7.3. A metric space (π, π) is called complete if every Cauchy sequence in (π, π) converges. Theorem 7.3. βπ is complete. Proof. Let (π§π ) be a Cauchy sequence in βπ . Write π§π = (π₯π,π + ππ¦π,π )ππ=1 with π₯π,π , π¦π,π ∈ β. Then |π₯π,π − π₯π,π | ≤ π(π§π , π§π ) → 0 as π, π → ∞. Thus (π₯π,π )ππ=1 is a Cauchy sequence in β for each π = 1, … , π. By Theorem 2.12, the sequence converges, so that there is ππ ∈ β such that lim π₯π,π = ππ . π→∞ Similarly, there is ππ ∈ β such that lim π¦π,π = ππ . π→∞ Put π§ = (ππ + πππ )ππ=1 . Let π > 0. Then there is πΎ ∈ β such that for all π ≥ πΎ and all π = 1, … , π, π |π₯π,π − ππ | < √ , 2π π |π¦π,π − ππ | < √ . 2π 72 Introductory Analysis 2017 Lecture Manual MATH2022 Hence, for π ≥ πΎ, ( π )1 2 ∑( ) π(π§π , π§) = |π₯π,π − ππ |2 + |π¦π,π − ππ |2 π=1 < ( π ( ∑ π2 π=1 π2 + 2π 2π )) 12 = π. Theorem 7.4. Let π be a nonempty set. Then π΅(π ) = π΅(π , π½ π ) is complete. Proof. Let (ππ ) be a Cauchy sequence in π΅(π ). For each π₯ ∈ π , βππ (π₯) − ππ (π₯)β ≤ π(ππ , ππ ) → 0 as π, π → 0. Hence (ππ (π₯))∞ is a Cauchy sequence in π½ π . Since π½ π is complete, there is π (π₯) ∈ π½ π such that ππ (π₯) → π (π₯) as π=1 π → ∞. First we will show that π is bounded. Indeed, for each π > 0 there is ππ ∈ β such that for all π, π ≥ ππ , π(ππ , ππ ) < π. Also, for all π₯ ∈ π , there is π ≥ π1 such that βππ (π₯) − π (π₯)β < 1. Hence βπ (π₯)β ≤ βπ (π₯) − ππ (π₯)β + βππ (π₯) − ππ1 (π₯)β + βππ1 (π₯)β < βππ1 (π₯)β + 2. Hence sup βπ (π₯)β ≤ sup βππ1 (π₯)β + 2 < ∞. π₯∈π π₯∈π Therefore π is bounded. Finally, for π₯ ∈ π choose π ≥ π π such that 3 βππ (π₯) − π (π₯)β < π . 4 Then, for π ≥ π π , 4 βππ (π₯) − π (π₯)β ≤ βππ (π₯) − ππ (π₯)β + βππ (π₯) − π (π₯)β π < βππ (π₯) − ππ (π₯)β + 4 π ≤ π(ππ , ππ ) + 4 1 < π. 2 Hence, for π ≥ π π , 4 π(ππ , π ) = sup βππ (π₯) − π (π₯)β π₯∈π 1 π 2 < π. ≤ This proves that (ππ ) converges in π΅(π ). Since (ππ ) was an arbitrary Cauchy sequence in π΅(π ), it follows that π΅(π ) is complete. MATH2022 73 Introductory Analysis 2017 Lecture Manual Definition 7.4. 1. A subset π΄ of a metric space (π, π) is called open if for each π₯ ∈ π΄ there is π > 0 such that π΅(π₯, π) ⊂ π΄, where π΅(π₯, π) = {π¦ ∈ π βΆ π(π¦, π₯) < π} is the π-ball with centre π₯. 2. A subset π΄ of a metric space (π, π) is called closed if π ⧡ π΄ is open. Theorem 7.5. A subset π΄ of a metric space (π, π) is closed if and only if for each sequence (π₯π ) in π΄ which converges to some π₯ ∈ π it follows that π₯ ∈ π΄. Proof. Let π΄ be closed and let (π₯π ) be a sequence in π΄ which converges to some π₯ ∈ π. We must show π₯ ∈ π΄. Assume that π₯ ∉ π΄. Since π₯ ∈ π ⧡ π΄ and π ⧡ π΄ is open, there is π > 0 such that π΅(π₯, π) ⊂ π ⧡ π΄. Since π₯π ∈ π΄ for all π ∈ β, it follows that π(π₯π , π₯) ≥ π, which contradicts π₯π → π₯. Conversely, if π΄ ⊂ π is not closed, then there is π₯ ∈ π ⧡ π΄ such that π΅(π₯, π) ⊄ π ⧡ π΄ for all π > 0. Therefore, for positive integers π, there is π₯π ∈ π΄ ∩ π΅(π₯, π1 ). Thus, for each π > 0 and π ≥ 1π we have π(π₯π , π₯) < π1 ≤ π. Thus we have found a sequence (π₯π ) in π΄ which converges to some π₯ ∈ π which does not belong to π΄. Theorem 7.6. Let (π, π) be a complete metric space and let π΄ ⊂ π. Then π΄ is complete if and only if π΄ is closed. Proof. Assume that π΄ is complete and let (π₯π ) be a sequence in π΄ which converges to some π₯ ∈ π. We must show that π₯ ∈ π΄. But since (π₯π ) is a convergent sequence in π, it is a Cauchy sequence in π by Theorem 7.2, 2, and therefore also in π΄. Since π΄ is complete, (π₯π ) converges to some π ∈ π΄, and therefore also in π. Since limits are unique by Theorem 7.2, 1, it follows that π₯ = π ∈ π΄. Hence, by Theorem 7.5, π΄ is closed. Conversely, assume that π΄ is closed. Let (π₯π ) be a Cauchy sequence in π΄. Then (π₯π ) is a Cauchy sequence in π, and since π is complete, there is π₯ ∈ π such that π₯π → π₯. Since π΄ is closed, it follows that π₯ ∈ π΄. Hence each Cauchy sequence in π΄ converges in π΄. It follows that π΄ is complete. Definition 7.5. Let π΄ ⊂ β and π βΆ π΄ → π½ π . Then π is uniformly continuous if for each π > 0 there is πΏ > 0 such that for all π₯, π¦ ∈ π΄ (|π₯ − π¦| < πΏ ⇒ βπ (π₯) − π (π¦)β < π). Remark 7.2.1. It is straightforward to show that a function π βΆ [π, π] → β is (uniformly) continuous if and only if its real and imaginary part are (uniformly) continuous and that a function π βΆ [π, π] → π½ π is (uniformly) continuous if and only if all its component are (uniformly) continuous. Theorem 7.7. Let π, π ∈ β, π < π, and let π βΆ [π, π] → π½ π be continuous. Then π is uniformly continuous. Proof. Because of Remark 7.2.1 we only have to consider π βΆ [π, π] → β. Let π > 0 and choose π = π₯0 < π₯1 < β― < π₯π = π according to Lemma 6.13 with respect to 4π . Put πΏ = min{|π₯π − π₯π−1 | βΆ π = 1, … , π}. Now let π₯, π¦ ∈ [π, π] such that |π₯ − π¦| < πΏ. We want to show |π (π₯) − π (π¦)| < π. This is trivial if π₯ = π¦. Thus let π₯ ≠ π¦, and we may assume π₯ < π¦. There is π ∈ {1, … , π} such that π₯ ∈ [π₯π−1 , π₯π ]. Hence π₯π−1 ≤ π₯ < π¦ < π₯ + πΏ ≤ π₯π + πΏ. Case I: π¦ ≤ π₯π . Then π¦ ∈ [π₯π−1 , π₯π ], and Lemma 6.13 gives |π (π₯) − π (π¦)| ≤ |π (π₯) − π (π₯π−1 )| + |π (π₯π−1 ) − π (π¦)| ≤ π π + < π. 4 4 Case II: π¦ > π₯π . Then π < π, and π₯π < π¦ < π₯π + πΏ ≤ π₯π+1 . Again by Lemma 6.13, |π (π₯) − π (π¦)| ≤ |π (π₯) − π (π₯π−1 )| + |π (π₯π−1 ) − π (π₯π )| + |π (π₯π ) − π (π¦)| ≤ π π π + + < π. 4 4 4 For an interval πΌ we denote by πΆ(πΌ, π½ π ) the set of continuous functions from πΌ to π½ π . Theorem 7.8. Let π, π ∈ β and π ∈ β⧡{0}. Then πΆ([π, π], π½ π ) is a closed subspaces of π΅([π, π], π½ π ). In particular, πΆ([π, π], π½ π ) is complete. Proof. By Remark 7.2.1, it suffices to consider πΆ([π, π], β). By Theorem 3.17, each continuous function on [π, π] is bounded, so that πΆ([π, π], β) ⊂ π΅([π, π], β). 74 Introductory Analysis 2017 Lecture Manual MATH2022 To show that πΆ([π, π], β) is closed in π΅([π, π], β) let (ππ ) be a sequence in πΆ([π, π], β) which converges to some π in π΅([π, π], β). We must show that π is continuous. π Let π > 0. Then there is π ∈ β such that π(ππ , π ) < . Since ππ is uniformly continuous, there is πΏ > 0 such that 3 π |ππ (π₯) − ππ (π¦)| < for π₯, π¦ ∈ [π, π], |π₯ − π¦| < πΏ. 3 Then, for π₯, π¦ ∈ [π, π] and |π₯ − π¦| < πΏ, |π (π₯) − π (π¦)| ≤ |π (π₯) − ππ (π₯)| + |ππ (π₯) − ππ (π¦)| + |ππ (π¦) − π (π¦)| ≤ π(π , ππ ) + |ππ (π₯) − ππ (π¦)| + π(ππ , π ) π π π < + + 3 3 3 = π. Thus π is uniformly continuous. By Theorem 7.6, πΆ([π, π], π½ π ) is complete. Tutorial 7.2.1. 1. Let (π, π) be the metric space from Tutorial 7.1.1, 1. Show that (π, π) is complete if and only if range π is closed in β. 2. Show that the metric space (β, π) from Tutorial 7.1.1, 2, is complete. 3. Show that β is not complete with respect to the metric given in Tutorial 7.1.1, 2. 7.3 Banach’s Fixed Point Theorem In this section, π = (π, ππ ), π = (π , ππ ) and π = (π, ππ ) are metric spaces. Definition 7.6. Let π βΆ π → π . π is called bounded if there is a number π ≥ 0 such that ππ (π π₯, π π¦) ≤ πππ (π₯, π¦) for all π₯, π¦ ∈ π. If π is bounded, then βπ β = inf {π ≥ 0 βΆ ∀ π₯, π¦ ∈ π, ππ (π π₯, π π¦) ≤ πππ (π₯, π¦)} is called the norm of π . If π is not bounded, we may write for convenience βπ β = ∞. Since it is clear that ππ (π π₯, π π¦) ≤ (βπ β + π)ππ (π₯, π¦) for all π > 0, it follows that ∀ π₯, π¦ ∈ π, ππ (π π₯, π π¦) ≤ βπ βππ (π₯, π¦). Proposition 7.9. Let π βΆ π → π . Then ππ (π π₯, π π¦) . π₯,π¦∈π ππ (π₯, π¦) βπ β = sup π₯≠π¦ Proof. Let { π΄= } ππ (π π₯, π π¦) βΆ π₯, π¦ ∈ π, π₯ ≠ π¦ , πΌ = sup π΄. ππ (π₯, π¦) If π is bounded, then βπ β is an upper bound of π΄ and thus πΌ ≤ βπ β. π (π π₯, π π¦) On the other hand, πΌ ≥ π for all π₯, π¦ ∈ π with π₯ ≠ π¦, and thus ππ (π π₯, π π¦) ≤ πΌππ (π₯, π¦) for all π₯, π¦ ∈ π. ππ (π₯, π¦) Hence πΌ ≥ βπ β. The case that π is not bounded is left as an exercise. Notation. 1. If π βΆ π → π and π βΆ π → π, then we write ππ = πβ¦π . 2. If π βΆ π → π, we define π 0 by π 0 π₯ = π₯, π₯ ∈ π, π π+1 = π π π inductively for π ∈ β. MATH2022 Introductory Analysis 2017 Lecture Manual 75 Proposition 7.10. If π βΆ π → π and π βΆ π → π are bounded, then ππ is bounded, and βππ β ≤ βπβ βπ β. Proof. For all π₯, π¦ ∈ π we have ππ ((ππ )π₯, (ππ )π¦) = ππ (π(π π₯), π(π π¦)) ≤ βπβππ (π π₯, π π¦) ≤ βπβ βπ βππ (π₯, π¦). Hence, by definition, ππ is bounded and βππ β ≤ βπβ βπ β. Definition 7.7. Let π βΆ π → π be bounded. 1. π is called a contraction if βπ β < 1. 2. π is called a generalized contraction if there is π ∈ β such that βπ π β < 1. Remark 7.3.1. Let π βΆ π → π be bounded. Then π is a generalized contraction if and only if ∞ ∑ βπ π β < ∞. π=0 Proof. If the sum converges, then βπ π β → 0 as π → ∞, and therefore there is π ∈ β such that βπ π β < 1. Conversely, if βπ π β < 1, then we group the sum into blocks of π terms, writing every natural number as a multiple of π plus its remainder, use βπ ππ+π β = βπ ππ π π β ≤ β(π π )π β βπ π β ≤ βπ π βπ βπ π β and get ∞ ∑ βπ β = π π=0 ∞ π−1 ∑ ∑ βπ ππ+π β π=0 π=0 ≤ ∞ π−1 ∑ ∑ βπ π βπ βπ π β π=0 π=0 = (∞ ∑ π=0 = βπ π βπ ) (π−1 ∑ ) βπ π β π=0 π−1 ∑ 1 βπ π β < ∞. 1 − βπ π β π=0 Theorem 7.11 (Banach’s Fixed Point Theorem). Let (π, π) be a complete metric space and let π βΆ π → π be a generalized contraction. Then there is a unique π ∈ π such that π π = π. Proof. Since π is a generalized contraction, there is π ∈ β such that βπ π β < 1. For uniqueness, let π, π ∈ π such that π π = π and π π = π. By induction π π π = π π π−1 π = π π = π and π π π = π, so that π(π, π) = π(π π π, π π π) ≤ βπ π βπ(π, π), and π(π, π) ≠ 0 would give the contradiction 1 ≤ βπ π β. Hence π(π, π) = 0, i. e., π = π. For existence let π₯0 ∈ π and consider the sequence (π π π₯0 ). Then, for π, π ∈ β, π > π, π(π π π₯0 , π π π₯0 ) ≤ π(π π π₯0 , π π−1 π₯0 ) + π(π π−1 π₯0 , π π−2 π₯0 ) + β― + π(π π+1 π₯0 , π π π₯0 ) ≤ βπ π−1 β π(π π₯0 , π₯0 ) + βπ π−2 β π(π π₯0 , π₯0 ) + β― + βπ π β π(π π₯0 , π₯0 ) = π−1 ∑ π=π βπ π β π(π π₯0 , π₯0 ) 76 Introductory Analysis 2017 Lecture Manual Since ∞ ∑ MATH2022 βπ π β < ∞, π=0 it follows that (π π π₯0 ) is a Cauchy sequence. Since π is complete, this Cauchy sequence has a limit, say π. Finally, to show that π π = π, let π > 0. Then there is πΎ such that for π ≥ πΎ, π(π π π₯0 , π) < π . 1 + βπ β For π ≥ πΎ + 1 we get π(π π, π) ≤ π(π π, π π π₯0 ) + π(π π π₯0 , π) ≤ βπ βπ(π, π π−1 π₯0 ) + π(π π π₯0 , π) π π + < βπ β 1 + βπ β 1 + βπ β = π. Hence π(π π, π) = 0, i. e., π π = π. Tutorial 7.3.1. Let (π, π) be a complete metric space and let π be a generalized contraction on π. Let π ∈ β∗ such that βπ π β < 1 and let π₯ be the fixed point of π . Prove the following a priori estimate: For any π₯0 ∈ π, π(π π₯0 , π₯0 ) ∑ π βπ β. 1 − βπ π β π=0 π−1 π(π₯, π₯0 ) ≤ Hint. Use that π π π₯ = π₯ and use a "telescoping" sum of distances involving the points π π π₯, π π π₯0 , π π−1 π₯0 , … , π π₯0 . Tutorial 7.3.2. Newton Raphson method of finding zeros Let π βΆ [π, π] → β be twice continuously differentiable and assume there are π, π ∈ [π, π], π < π, such that π (π) and π (π) have opposite signs. By the Intermediate Value Theorem, π has a zero π¦ in (π, π). Also assume that π ′ (π₯) ≠ 0 for all π₯ ∈ [π, π]. Since π ′ is continuous, π ′ is either positive or negative by the Internmediate Value Theorem, so that π is strictly monotonic by the Mean Value Theorem. Hence the zero is unique. To find this zero one can use the Newton Raphson method: 1. Let π (π₯) π π₯ = π₯ − ′ , π₯ ∈ [π, π]. π (π₯) Show that for all π₯1 , π₯2 ∈ [π, π] with π₯1 ≠ π₯2 there is π between π₯1 and π₯2 such that π π₯1 − π π₯2 = π (π)π ′′ (π) (π₯1 − π₯2 ) . (π ′ (π))2 2. Show that βπ β < 1 if π and π are sufficiently close to the zero π¦ of π . 3. Show that one can choose π and π in such a way that π ([π, π]) ⊂ [π, π]. Hint. You may show that π ([π, π]) ⊂ [π, π] if π − π¦ = π¦ − π, i. e., π¦ is the midpoint of the interval [π, π]. However, this is not very practical since you do not know π¦ (otherwise, the whole procedure would be pointless). The easiest way out of this is to choose suitable values (by trial and error), π1 < π1 in [π, π] such that π (π1 ) and π (π2 ) have opposite sign, π π1 , π π2 ∈ [π1 , π2 ], and π π ′′ has no zeros on [π1 , π1 ] ⧡ {π¦}. ∗ 4. Assume that statement 2 holds and define π1 = π + βπ βπ , 1 + βπ β π1 = π + βπ βπ . 1 + βπ β Show that π < π1 < π¦ < π1 < π if π (π1 ) and π (π1 ) have opposite signs. Then show that π ([π, π]) ⊂ [π, π]. Hence show that for any π₯ ∈ [π, π], π π π₯ → π¦ as π → ∞. MATH2022 Introductory Analysis 2017 Lecture Manual 77 √ √ √ Tutorial 7.3.3. Let π > 0. Show that π + π + π + … converges by using the following proof. [ ) [ ) √ (a) Let ππ π₯ = π + π₯, π₯ ∈ [0, ∞). Show that ππ π₯ > π₯ for π₯ ∈ [0, 1] and that ππ βΆ 14 , ∞ → 14 , ∞ is a contraction. Show that if π₯π ≤ 1 for all π ∈ β, then (π₯π ) is (strictly) increasing. (Actually, this never happens.) (b) Let π₯0 = π, π₯π+1 = ππ π₯π (π ∈ β). (c) Show that (π₯π ) converges as π → ∞. (d) Find lim π₯π . π→∞ 7.4 Existence of solutions of differential equations Let πΌ ⊂ β be an interval, let π ⊂ π½ π and let π βΆ πΌ × π → π½ π be continuous. Then π¦′ = π (π₯, π¦) (7.4.1) is called a first-order system of differential equations, and any continuously differentiable function π¦ βΆ πΌ → π satisfying (7.4.1) is called a solution of (7.4.1). Let π ∈ πΌ and π ∈ π½ π . Then a solution of (7.4.1) satisfying π¦(π) = π (7.4.2) is called a solution of the initial value problem (IVP) (7.4.1), (7.4.2). From the Fundamental Theorem of Calculus, Theorem 6.15, we obtain Lemma 7.12. π¦ is a a solution of the IVP (7.4.1), (7.4.2) if and only if π¦ ∈ πΆ(πΌ, π½ π ), π¦(πΌ) ⊂ π , and π₯ π¦(π₯) = π + ∫ π (π‘, π¦(π‘)) ππ‘ (π₯ ∈ πΌ). (7.4.3) π Proof. We only have to note that we can apply the Fundamental Theorem of Calculus componentwise and to real and imaginary parts separately. Also, if π¦ ∈ πΆ(πΌ, π½ π ) satisfies (7.4.3), then π is differentiable. We are now going to show that under certain conditions, (7.4.3) and thus the IVP (7.4.1), (7.4.2) has a unique solution. We write πΆ 1 (πΌ, π½ π ) for the set of all continuously differentiable functions from πΌ to π½ π . 78 Introductory Analysis 2017 Lecture Manual MATH2022 Theorem 7.13. We make the following assumptions: (i) Let πΌ be a closed bounded interval, π ∈ πΌ, π΄ = max |π₯ − π|, π ∈ π½ π , 0 < π΅ ≤ ∞, π₯∈πΌ π = {π¦ ∈ π½ π βΆ βπ¦ − πβ ≤ π΅}, π = πΌ × π . (ii) Let π βΆ π → π½ π be continuous and let π = sup βπ (π₯, π¦)β. (π₯,π¦)∈π (iii) ∃ πΏ > 0 ∀ (π₯, π¦1 ), (π₯, π¦2 ) ∈ π βπ (π₯, π¦1 ) − π (π₯, π¦2 )β ≤ πΏβπ¦1 − π¦2 β. (This is called a Lipschitz condition.) (iv) π΄π ≤ π΅. Then there is exactly one π¦ ∈ πΆ 1 (πΌ, π½ π ) such that π¦(π) = π, (π₯, π¦(π₯)) ∈ π (π₯ ∈ πΌ), π¦′ (π₯) = π (π₯, π¦(π₯)) (π₯ ∈ πΌ). Proof. Since π is a closed subset of π½ π , πΆ(πΌ, π ) is a complete metric space. For π¦ ∈ πΆ(πΌ, π ) define π₯ (π π¦)(π₯) = π + π (π‘, π¦(π‘)) ππ‘ ∫ (π₯ ∈ πΌ). (7.4.4) π By Lemma 7.12, the theorem is proved if we show that π maps πΆ(πΌ, π ) into πΆ(πΌ, π ) and that π has exactly one fixed point. Thus let π¦ ∈ πΆ(πΌ, π ) and π₯ ∈ πΌ. Clearly, π π¦ ∈ πΆ(πΌ, π½ π ) and β β π₯ β β β β β(π π¦)(π₯) − πβ = β π (π‘, π¦(π‘)) ππ‘β β β∫ β βπ β β | π₯ | | | | | ≤ | βπ (π‘, π¦(π‘))β ππ‘| |∫ | |π | | | | π₯ | | | | | ≤ | π ππ‘| |∫ | |π | | | = |π₯ − π|π ≤ π΄π ≤ π΅. Thus we have shown that π π¦ ∈ πΆ(πΌ, π ). Next we are going to show that π is a generalized contraction by proving the following estimate: For all π ∈ β, π¦1 , π¦2 ∈ πΆ(πΌ, π ) and π₯ ∈ πΌ, β π β πΏπ |π₯ − π|π π(π¦1 , π¦2 ). β(π π¦1 )(π₯) − (π π π¦2 )(π₯)β ≤ β β π! The induction base π = 0 is trivial since βπ¦1 (π₯) − π¦2 (π₯)β ≤ sup βπ¦1 (π‘) − π¦2 (π‘)β = π(π¦1 , π¦2 ). π‘∈πΌ (7.4.5) MATH2022 Introductory Analysis 2017 Lecture Manual 79 For the induction step assume that (7.4.5) is true for π. Then β π₯ β β ] β β π+1 β β [ β π+1 π π π¦1 )(π₯) − (π π¦2 )(π₯)β = β π (π‘, (π π¦1 )(π‘)) − π (π‘, (π π¦2 )(π‘)) ππ‘β β(π β β β∫ β βπ β β β π₯ | | | | | β β | π π ≤ | βπ (π‘, (π π¦1 )(π‘)) − π (π‘, (π π¦2 )(π‘))β ππ‘| |∫ β β | |π | | | | π₯ | | | | β β | ≤ | πΏ β(π π π¦1 )(π‘) − (π π π¦2 )(π‘)β ππ‘| (by assumption (iii)) |∫ β β | |π | | | | | π₯ | πΏπ |π₯ − π|π || | ≤| πΏ ππ‘| π(π¦1 , π¦2 ) (by induction hypothesis) | |∫ π! |π | | | π+1 π+1 πΏ |π₯ − π| π(π¦1 , π¦2 ). = (π + 1)! Taking the maximum over all π₯ ∈ πΌ in (7.4.5) gives π(π π π¦1 , π π π¦2 ) ≤ and therefore βπ π β ≤ which leads to ∞ ∑ βπ π β ≤ πΏπ π΄π , π! ∞ ∑ (πΏπ΄)π π=0 π=0 πΏπ π΄π π(π¦1 , π¦2 ), π! π! = ππΏπ΄ < ∞. Hence π is a generalized contraction on πΆ(πΌ, π ). An application of Banach’s Fixed Point Theorem completes the proof. Worked Example 7.4.1. Consider the initial value problem π¦′ = 1 + π¦2 , π¦(0) = 0. a) Find the largest π > 0 such that the assumptions of Theorem 7.12 are satisfied for πΌ = [0, π]. b) Find a maximal interval on which a solution exists. Solution. a) We have π (π₯, π¦) = 1 + π¦2 . Hence π (π₯, π¦1 ) − π (π₯, π¦2 ) = π¦21 − π¦22 = (π¦1 + π¦2 )(π¦1 − π¦2 ), so that |π (π₯, π¦1 ) − π (π₯, π¦2 )| = |π¦1 + π¦2 | |π¦1 − π¦2 |. Hence the Lipschitz condition is satisfied if and only if sup |π¦1 |,|π¦2 |≤π΅ |π¦1 + π¦2 | < ∞, which is satisfied if and only if π΅ ∈ β, i. e., π΅ < ∞. We have π΄ = π and π = sup |1 + π¦2 | = 1 + π΅ 2 . |π¦|≤π΅ We must satisfy π΄π ≤ π΅, i. e., π(1 + π΅ 2 ) ≤ π΅ But or π ≤ π΅ . 1 + π΅2 (1 + π΅ 2 ) − (1 − π΅)2 (1 − π΅)2 2π΅ = =1− 1 + π΅2 1 + π΅2 1 + π΅2 80 Introductory Analysis 2017 Lecture Manual MATH2022 1 . 2 ) ( π π . b) The solution of the IVP is π¦(π₯) = tan π₯. So the maximal interval where a solution exists is − , 2 2 Let ππ (π½ ) be the set of π × π matrices with values in π½ . Then the norm βπβ of π ∈ ππ (π½ ) is the norm of π βΆ π½ π → π½ π . It is easy to see that has a maximum of 1 for π΅ = 1, so that the optimal π is π = π max |πππ | ≤ βπβ ≤ π,π=1 π ∑ |πππ |, where π = (πππ )ππ,π=1 . π,π=1 Corollary 7.14. Let πΌ be an interval, π ∈ πΌ, π ∈ π½ π , and consider the linear system of differential equations π¦′ = πΉ (π₯)π¦ + π(π₯), where πΉ βΆ πΌ → ππ (π½ ) and π βΆ πΌ → π½ π are continuous. Then the initial value problem π¦′ = πΉ (π₯)π¦ + π(π₯), has a unique solution π¦ ∈ πΆ 1 (πΌ, π½ π ). Proof. First assume that πΌ = [π, π]. Then, for π¦1 , π¦2 ∈ π½ π , π₯ ∈ πΌ, β(πΉ (π₯)π¦1 + π(π₯)) − (πΉ (π₯)π¦2 − π(π₯))β ≤ βπΉ (π₯)β βπ¦1 − π¦2 β ( ) ≤ max βπΉ (π₯)β βπ¦1 − π¦2 β. π₯∈πΌ Hence the Lipschitz condition is satisfied with π΅ = ∞. Now apply Theorem 7.13. If πΌ is arbitrary, we can choose a decreasing sequence (ππ ) and an increasing sequence (ππ ) such that π1 ≤ π ≤ π1 and ∞ β πΌ= [ππ , ππ ]. π=1 [If, e. g., the right endpoint π of πΌ belongs to πΌ, choose ππ = π.] By the first part of the proof, the IVP has a unique solution π¦π on [ππ , ππ ]. Therefore, π¦π+π (π₯) = π¦π (π₯) for all π > 0 and π₯ ∈ [ππ , ππ ], so that π¦(π₯) = π¦π (π₯) for π₯ ∈ [ππ , ππ ] is well-defined and solves the IVP. Because this solution is unique on [ππ , ππ ] for each π, π¦ is unique. For π (π) = π (π₯, π, π ′ , … , π (π−1) ) define β π β β π′ β π¦ = β . β, β .. β β β β π (π−1) β β π¦2 β β .. β πΉ (π₯, π¦) = β . β. β π¦ β π β β β π (π₯, π¦) β Then π (π) = π (π₯, π, π ′ , … , π (π−1) ) ⇔ π¦′ = πΉ (π₯, π¦). Let π0 , … , ππ−1 ∈ π½ . Then where π (π) (π) = ππ (π = 0, … , π − 1) ⇔ π¦(π) = π, β π0 β β β π = β ... β. β β β ππ−1 β Clearly, βπΉ (π₯, π¦) − πΉ (π₯, π§)β ≤ (π − 1)βπ¦ − π§β + |π (π₯, π¦) − π (π₯, π§)| and |π (π₯, π¦) − π (π₯, π§)| ≤ βπΉ (π₯, π¦) − πΉ (π₯, π§)β, so that πΉ satisfies a Lipschitz condition if and only if π satisfies a Lipschitz condition. MATH2022 Introductory Analysis 2017 Lecture Manual 81 Corollary 7.15. Let πΌ be a bounded closed interval, π ∈ πΌ, π0 , … , ππ−1 ∈ π½ , 0 < π΅ ≤ ∞. Let π = {π¦ ∈ π½ π βΆ βπ¦ − πβ ≤ π΅}, π = πΌ × π . Let π βΆ π → π½ be continuous and assume there is πΏ > 0 such that |π (π₯, π¦) − π (π₯, π§)| ≤ πΏβπ¦ − π§β for all π₯ ∈ πΌ and π¦, π§ ∈ π . Then there is π΄ > 0 such that the initial value problem π (π) = π (π₯, π, π ′ , … , π (π−1) ), π (π) (π) = ππ (π = 0, … , π − 1) has a unique solution on πΌ ∩ [π − π΄, π + π΄]. Note. According to Theorem 7.13 one uses π΄π ≤ π΅ where π is the supremum of πΉ on π . Finally, a combination of Corollaries 7.14 and 7.15 gives Corollary 7.16. Let πΌ be an interval, π ∈ πΌ, π0 , … , ππ−1 ∈ π½ , and consider the linear differential equation π (π) = ππ−1 (π₯)π (π−1) + ππ−2 (π₯)π¦(π−2) + … π1 (π₯)π¦′ + π0 (π₯)π¦ + π(π₯), with initial conditions π¦(π) (π) = ππ , (π = 0, … , π − 1), where ππ βΆ πΌ → π½ (π = 0, … , π − 1) and π βΆ πΌ → π½ are continuous. Then the initial value problem has a unique solution π ∈ πΆ π (πΌ, π½ ). Tutorial 7.4.1. 1. Let π ∈ β∗ and π ∈ ππ (π½ ). Prove that π max |πππ | ≤ βπβ ≤ π,π=1 π ∑ |πππ |, where π = (πππ )ππ,π=1 . π,π=1 2. Let π1 , π2 ∈ ππ (π½ ). a) Prove that βπ1 + π2 β ≤ βπ1 β + βπ2 β. b) Let π(π1 , π2 ) = βπ1 − π2 β. Prove that π is a metric on ππ (π½ ). 3. Prove that ππ (π½ ) is complete. Power Series and the Exponential Function in ππ (π½ ) 7.5 In the following let π΅ be either π½ π or ππ (π½ ). We know that π΅ is complete, see Theorem 7.3 and Tutorial 7.4.1, 3. Definition 7.8. Let (ππ ) be a sequence in π΅. Then ∞ ∑ ππ is called a series in π΅. π=0 The series is said to converge in π΅ if the sequence of its partial sums π ∑ ππ converges in π΅ as π → ∞. π=0 The series is said to converge absolutely if ∞ ∑ βππ β < ∞. π=0 Since π΅ is complete, it follows as in Theorems 5.5 and 5.8: Theorem 7.17. Let ∞ ∑ ππ be a series in π΅. π=0 1. The series ∞ ∑ ππ converges in π΅ if and only if for all π > 0 there is πΎ ∈ β such that for all π ≥ π ≥ πΎ, π=0 β∑ β β π β β ππ β β β < ∞. βπ=π β β β 2. If ∞ ∑ π=0 ππ converges absolutely, then it converges in π΅. 82 Introductory Analysis 2017 Lecture Manual Theorem 7.18. Let ∞ ∑ MATH2022 √ ππ be a series in π΅, assume that π = lim sup π βππ β < ∞ and put π = π1 . Let π, π₯ ∈ β. π→∞ π=0 Then 1. The series ∞ ∑ ππ (π₯ − π)π π=0 converges absolutely if |π₯ − π| < π , and it diverges if |π₯ − π| > π in case π < ∞. ∞ ∑ ππ (π₯ − π)π is differentiable for π₯ ∈ πΌ, and 2. Let πΌ = β if π = ∞ and πΌ = (π − π , π + π ) if π ∈ β. The series π=0 the derivative is represented by the absolutely convergent series ∞ ∑ πππ (π₯ − π)π−1 π=1 Proof. The proof of part 1 is similar to that of Theorem ??. For the proof of part 2 define for π₯ ∈ πΌ: π (π₯) = π(π₯) = ∞ ∑ π=0 ∞ ∑ ππ (π₯ − π)π , πππ (π₯ − π)π−1 . π=1 It is straightforward to show that √ √ √ √ √ lim sup π β(π + 1)ππ+1 β = lim sup π βπππ β = lim π βπβ lim sup π βππ β = lim sup π βππ β = π, π→∞ π→∞ π→∞ π→∞ π→∞ so that π is an absolutely convergent series. Now let π₯ ∈ πΌ and choose β0 > 0 such that [π₯ − β0 , π₯ + β0 ] ⊂ πΌ. Then π = max{|π₯ − β0 − π|, |π₯ + β0 − π|} < π . Let β ∈ β with 0 < |β| < β0 . Since π (π₯), π (π₯ + β) and π(π₯) are represented by (absolutely) convergent series, we have π (π₯ + β) − π (π₯) − π(π₯)β = lim π→∞ = lim π→∞ π ∑ [ ] ππ (π₯ + β − π)π − (π₯ − π)π − π(π₯ − π)π−1 β π=1 π ∑ [ ] ππ (π₯ + β − π)π − (π₯ − π)π − π(π₯ − π)π−1 β . π=2 By the Mean Value Theorem, for each π ≥ 2 there is βπ ∈ β with 0 < |βπ | < |β| such that (π₯ + β − π)π − (π₯ − π)π = π(π₯ + βπ − π)π−1 β. Another application of the MVT gives Μ βπ ∈ β with 0 < |Μ βπ | < |βπ | such that [ ] (π₯ + β − π)π − (π₯ − π)π − π(π₯ − π)π−1 β = πβ (π₯ + βπ − π)π−1 − (π₯ − π)π−1 = π(π − 1)β(π₯ + Μ βπ − π)π−2 βπ , so that β β∑ π β π [ ]β ∑ β π (π₯ + β − π)π − (π₯ − π)π − π(π₯ − π)π−1 β β ≤ π(π − 1)|β| |βπ | |π₯ + Μ βπ − π|π−2 βππ β π β β β π=2 β π=2 β β π ∑ ≤ β2 π(π − 1)ππ−2 βππ β. π=2 MATH2022 Introductory Analysis 2017 Lecture Manual 83 With a reasoning as above, we have √ lim sup π π(π − 1)ππ−2 βππ β = ππ < 1. π→∞ By the Root Test, π= ∞ ∑ π(π − 1)ππ−2 βππ β < ∞, π=2 and therefore βπ (π₯ + β) − π (π₯) − π(π₯)ββ ≤ β2 π, which proves that π is differentiable at π₯ with π ′ (π₯) = π(π₯). Theorem 7.19. Let π΄ ∈ ππ (π½ ). Then: 1. The matrix exponential exp(π΄) = ∞ ∑ 1 π! π=0 π΄π converges absolutely in ππ (π½ ). 2. exp(π΄) is invertible and (exp(π΄))−1 = exp(−π΄). 3. If π΄, πΆ ∈ ππ (π½ ) commute, then exp(π΄ + πΆ) = exp(π΄) exp(πΆ). 4. π₯ ξΆ→ exp(π΄π₯) is differentiable on β with π exp(π΄π₯) = π΄ exp(π΄π₯) = exp(π΄π₯)π΄. ππ₯ Proof. 1. We calculate √ √ √ β1 β π β ≤ lim sup π 1 βπ΄βπ = βπ΄β lim sup π 1 lim sup π β π΄ β π! β π! π! π→∞ π→∞ π→∞ β β π! 1 = βπ΄β lim = βπ΄β lim = 0, π→∞ (π + 1)! π→∞ π + 1 and exp(π΄π₯) converges for all π₯ ∈ β by Theorem 7.18, 1. 4. The differentiability follows from Theorem 7.18, 2, with ∞ ∑ π π π−1 ∑ 1 π+1 π π exp(π΄π₯) = π΄π₯ = π΄ π₯ ππ₯ π! π! π=1 π=0 =π΄ Similarly, π exp(π΄π₯) = ππ₯ ∞ ∑ 1 π! π=0 (∞ ∑ 1 π! π=0 π΄π π₯π = π΄ exp(π΄). ) π΄π π₯π π΄ = exp(π΄)π΄. 2 and 3. A direct proof is quite cumbersome. Instead, we consider the matrix function πΉ (π₯) = exp((π΄ + πΆ)π₯) exp(−πΆπ₯) exp(−π΄π₯) and observe that exp(π΄ + πΆ), exp(π΄) and exp(πΆ) commute with π΄ and πΆ since π΄ + πΆ, π΄ and πΆ commute with π΄ and πΆ. The product rule for derivatives and commutativity lead to πΉ ′ (π₯) = exp((π΄ + πΆ)π₯)(π΄ + πΆ) exp(−πΆπ₯) exp(−π΄π₯) − exp((π΄ + πΆ)π₯)πΆ exp(−πΆπ₯) exp(−π΄π₯) − exp((π΄ + πΆ)π₯) exp(−πΆπ₯)π΄ exp(−π΄π₯) = 0. 84 Introductory Analysis 2017 Lecture Manual Since πΉ (0) = (exp(0))3 = πΌπ3 = πΌπ , where πΌπ is the π × π identity matrix, and since of Corollary 7.16 gives πΉ (π₯) = πΌπ for all π₯ ∈ β. Putting πΆ = 0 and π₯ = 1, we get MATH2022 π πΌ = 0, the uniqueness part ππ₯ π exp(π΄) exp(−π΄) = πΌπ = exp(−π΄) exp(π΄), which proves 2. Finally, with 2, exp(π΄ + πΆ) = πΉ (1) exp(π΄) exp(πΆ) = exp(π΄) exp(πΆ). How can one find exp(π΄π₯)? Recall from Linear Algebra that π(π) = det(π΄ − ππΌπ ) is the characteristic function of π΄. Note that π is a polynomial of degree π with leading coefficient (−π)π . In Complex Analysis you will learn about the Fundamental Theorem of Algebra which says for this case that there are π complex numbers π1 , … , ππ such that π ∏ π(π) = (ππ − π). π=1 Jordan’s canonical form, see Linear Algebra, says that the ππ can be sorted into π groups of equal number π1 , … , ππ , i. e., π ∏ π(π) = (ππ − π)ππ , π=1 such there is an invertible π × π matrix π so that π΄=π ( π β¨ ) π·π π −1 , π=1 where π·π = ππ πΌππ + π½ππ and π½π is the π × π matrix which has entries 1 just above the diagonal and 0 elsewhere. If we write, for π ∈ β, π½ππ = (πππ )ππ,π =1 , then πππ = 1 if π − π = π and πππ = 0 otherwise. In particular, π½ππ = 0 if π ≥ π. Then )π ) ( π ( π β¨ β¨ π −1 π π΄ =π π·π π =π π·π π −1 , π=1 which gives exp(π΄π₯) = π π=1 ( π β¨ ) exp(π·π π₯) π −1 . π=1 It remains to find exp(π·π π₯). For convenience, we drop the index and observe π ( ) ∑ π π−π π (ππΌπ + π½π ) = π π½π . π π=0 π Using ( ) π! 1 1 π = = , π! π π!π!(π − π)! π!(π − π)! MATH2022 Introductory Analysis 2017 Lecture Manual 85 it follows that exp(π·π₯) = ∞ ∑ 1 π! π=0 (ππΌπ + π½π )π π₯π ∞ π ( ) ∑ 1 ∑ π π−π π π = π π½π π₯ π! π=0 π π=0 ( ) π π−π π π = π π½π π₯ π! π π=0 π=π ∞ π−1 ∑ ∑ 1 = = = 7.6 π−1 ∞ ∑ 1∑ 1 ππ−π π½ππ π₯π π! (π − π)! π=π π=0 π−1 ∞ ∑ 1∑ 1 π! π=0 π! π=0 π−1 π ∑ π₯ π! π=0 (ππ₯)π π½ππ π₯π exp(ππ₯)π½ππ . Solutions of Linear Differential Equations In this section let πΌ be an interval, π ∈ β∗ , and πΉ ∈ ππ (πΆ(πΌ)). Definition 7.9. A matrix function π ∈ ππ (πΆ 1 (πΌ)) is called a fundamental matrix of π¦′ = πΉ π¦ if π¦′ (π₯) = πΉ (π₯)π¦(π₯) and if π (π₯) is invertible for all π₯ ∈ πΌ. Proposition 7.20. 1. π¦′ = πΉ π¦ has a fundamental matrix. 2. Let π be a fundamental matrix of π¦′ = πΉ π¦. Then π ∈ ππ (πΆ 1 (πΌ)) is a fundamental matrix of π¦′ = πΉ π¦ if and only if there is πΆ ∈ ππ (π½ ) such that π = π πΆ. 2 Proof. 1. Let π ∈ πΌ. Identifying ππ (π½ ) with π½ π , it follows from Corollary 7.14 that there is (a unique) π ∈ ππ (πΆ 1 (πΌ)) such that π ′ = πΉ π and π (π) = πΌπ , and there is π ∈ ππ (πΆ 1 (πΌ)) such that π ′ = −πΉ T π and π(π) = πΌπ . Then ( T )′ ( )′ π π = − π T π + π Tπ ′ = −π T πΉ T π + π T πΉ T π = 0 shows that π T π is constant. So we have π(π₯)T π (π₯) = π(π)T π (π) = πΌπ , which implies that π (π₯) is invertible for all π₯ ∈ πΌ. 2. If π = π πΆ, then π(π₯) = π (π₯)πΆ is the product of invertible matrices and hence invertible for all π₯ ∈ πΌ, and π ′ = (π πΆ)′ = π ′ πΆ = πΉ π πΆ = πΉ π shows that π is a fundamental matrix of π¦′ = πΉ π¦. Conversely, if π is a fundamental matrix of π¦′ = πΉ π¦, then π(π₯) is invertible for all π₯ ∈ πΌ, and (π −1 π)′ = −π −1 π ′ π −1 π + π −1 π ′ = −π −1 πΉ π π −1 π + π −1 πΉ π = 0, which implies that π −1 π is constant. So there is πΆ ∈ ππ (π½ ) such that π (π₯)−1 π(π₯) = πΆ for all π₯ ∈ πΌ. In particular, πΆ is invertible since π (π₯)−1 and π(π₯) are invertible. Finally, multiplying by π (π₯) from the right, we get π(π₯) = π (π₯)πΆ. 86 Introductory Analysis 2017 Lecture Manual MATH2022 Theorem 7.21. Assume that πΉ (π₯) = πΉ (π¦) for all π₯, π¦ ∈ πΌ. Let π ∈ πΌ and define β π₯ β π (π₯) = exp β πΉ (π‘) ππ‘β . β∫ β βπ β Then π is a fundamental matrix of π¦′ = πΉ π¦. Proof. π (π) = exp(0) = πΌπ is invertible. Since πΉ (π₯) commutes with πΉ (π‘) for all π₯, π‘ ∈ πΌ, it follows that π π−1 β‘β π₯ ββ€ β π₯ β π β’β β β₯ πΉ (π‘) ππ‘ = ππΉ (π₯) β πΉ (π‘) ππ‘β ββ₯ β∫ β ππ₯ β’β∫ β£β π β β¦ βπ β , so that π ∞ β π₯ β π ∑ 1 β πΉ (π‘) ππ‘β π (π₯) = β ππ₯ π=0 π! β∫ βπ β ′ π ∞ β‘β π₯ ββ€ ∑ 1 π β’β = πΉ (π‘) ππ‘β β₯ ββ₯ π! ππ₯ β’β∫ π=0 β£β π β β¦ β β π₯ = πΉ (π₯) β πΉ (π‘) ππ‘β β β∫ π! π=1 β βπ ∞ ∑ π π−1 β β π₯ = πΉ (π₯) exp β πΉ (π‘) ππ‘β β β∫ β βπ = πΉ (π₯)π (π₯). Theorem 7.22. Let π be a fundamental matrix of π¦′ = πΉ π¦, π ∈ πΆ(πΌ, π½ π ), π ∈ πΌ and π ∈ π½ π . Then the unique solution of the initial value problem π¦′ = πΉ π¦ + π , π¦(π) = π is π₯ π¦(π₯) = π (π₯)π −1 (π)π + π (π₯) ∫ π −1 (π‘)π (π‘) ππ‘. π Proof. We could simply substitute π¦ into the differential equation. However, we give a constructive proof, the so-called method of variation of the constants. It is easy to see that any solution of the homogeneous equation is π¦(π₯) = π (π₯)π§ with π§ ∈ π½ π . (we are not going to prove this separately because it is a special case of this theorem and therefore follows anyway). Now replace the constant vector π§ by a vector function on πΌ, i. e., π¦(π₯) = π (π₯)π§(π₯), where π§ is the solution of the initial value problem. Then π¦′ (π₯) = π ′ (π₯)π§(π₯) + π (π₯)π§′ (π₯) = πΉ (π₯)π (π₯)π§(π₯) + π (π₯)π§′ (π₯), so that π§′ (π₯) = π −1 (π₯)π (π₯)π§′ (π₯) = π −1 (π₯)[π¦′ (π₯) − πΉ (π₯)π¦(π₯)] = π −1 (π₯)π (π₯). Since π§(π) = π −1 (π)π¦(π) = π −1 (π)π, MATH2022 Introductory Analysis 2017 Lecture Manual it follows that 87 π₯ π§(π₯) = ∫ π −1 (π‘)π (π‘) ππ‘ + π −1 (π)π. π Multiplication by π (π₯) completes the proof. Note. 1. If π > 1 and πΉ is not constant, then, in general, there is no closed form formula for the fundamental matrix. 2. With the procedure outlined before Corollary 7.16, the results of this section also apply to linear π-th order differential equations. In particular, the elements of the first row of a fundamental system are called a fundamental system, say π¦1 , … , π¦π of the π-th order differential equation, and any solution of the homogeneous π-th order equation is a linear combination of the fundamental system. Conversely, if π¦1 , … , π¦π is a fundamental system of the π-th order differential equation, then ( )π π = π¦(π−1) π π,π=1 is a fundamental matrix of the corresponding first order system. 3. In principle, if we consider an π-th order differential equation with constant coefficients π¦(π) = π−1 ∑ ππ π¦(π) , π=0 one can use Jordan’s canonical form to find a fundamental system. However, this is very cumbersome. One can proceed as follows: Consider the characteristic polynomial ππ − π−1 ∑ ππ π π π=0 and find its distinct (complex) zeros, say π1 , … , ππ , with multiplicities π1 , … , ππ . Then the π functions π₯π πππ π₯ , π = 1 … , π, π = 0, … , ππ − 1 form a fundamental system of the π-th order linear differential equations.