elementary analysis: the theory of calculususers.math.msu.edu/users/albert/math320.pdf ·...

269
Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics Department of Statistics Michigan State University East Lansing MI 48823 [email protected] Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 1 / 124

Upload: vannhi

Post on 23-Apr-2018

226 views

Category:

Documents


4 download

TRANSCRIPT

Page 1: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Elementary Analysis: The Theory of Calculus

Albert Cohen

C336 Wells HallDepartment of MathematicsDepartment of StatisticsMichigan State University

East Lansing MI48823

[email protected]

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 1 / 124

Page 2: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Course Information

Syllabus to be posted on class page in first week of classes

Homework assignments will posted there as well

Page can be found at https://mathdata.msu.edu/CP/RW/C320.html

Many examples within these slides are found in textbook - Springerowns the copyright and I make no claim on the material used here.

Text: Elementary Analysis: The Theory of Calculus by Kenneth A.Ross (Springer Undergraduate Texts in Mathematics)

Can be found in MSU bookstores now

This book will be our reference, and questions for assignments will bechosen from it. Copyright for all questions used from this bookbelongs to Springer

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 2 / 124

Page 3: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

What set of numbers do you prefer?

The set N of Natural Numbers

Properties (Peano Axioms)

N1: 1 ∈ NN2: If n ∈ N then its successor n + 1 ∈ NN3: 1 is not the successor of any element of NN4: If n and m have the same successor, then n = mN5: If A ⊂ N, with 1 ∈ A and n + 1 ∈ A whenever n ∈ A, then A = N

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 3 / 124

Page 4: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Can we prove N5?

For sake of contradiction, assume N5 is false.

Consider the smallest element n0 ∈ {x ∈ N | x ∈ Ac}.If n0 6= 1, then n0 is the successor of some natural number.

Then n0 − 1 ∈ A and so its successor n0 ∈ A, a contradiction.

Is this a complete argument?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 4 / 124

Page 5: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Can we prove N5?

For sake of contradiction, assume N5 is false.

Consider the smallest element n0 ∈ {x ∈ N | x ∈ Ac}.If n0 6= 1, then n0 is the successor of some natural number.

Then n0 − 1 ∈ A and so its successor n0 ∈ A, a contradiction.

Is this a complete argument?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 4 / 124

Page 6: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Can we prove N5?

For sake of contradiction, assume N5 is false.

Consider the smallest element n0 ∈ {x ∈ N | x ∈ Ac}.If n0 6= 1, then n0 is the successor of some natural number.

Then n0 − 1 ∈ A and so its successor n0 ∈ A, a contradiction.

Is this a complete argument?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 4 / 124

Page 7: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Mathematical Induction

Argument above made too many assumptions -but introducesMathematical Induction

To prove list of statements P1,P2, ... is true, must show

I 1 P1 is trueI 2 Pn+1 is true whenever Pn is true

I 1 is known as Basis for Induction and I 2 is known as Induction Step

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 5 / 124

Page 8: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Mathematical Induction

Argument above made too many assumptions -but introducesMathematical Induction

To prove list of statements P1,P2, ... is true, must show

I 1 P1 is trueI 2 Pn+1 is true whenever Pn is true

I 1 is known as Basis for Induction and I 2 is known as Induction Step

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 5 / 124

Page 9: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Mathematical Induction

Argument above made too many assumptions -but introducesMathematical Induction

To prove list of statements P1,P2, ... is true, must show

I 1 P1 is trueI 2 Pn+1 is true whenever Pn is true

I 1 is known as Basis for Induction and I 2 is known as Induction Step

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 5 / 124

Page 10: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Theorem

1 + 2 + ...+ n = n(n+1)2

Proof.

I 1 1 = 1(1+1)2 , so we have Basis for Induction.

I 2 Check Pn implies Pn+1. Assume Pn holds. Then

1 + 2 + ...+ n + (n + 1) =n(n + 1)

2+ (n + 1)

=1

2(n(n + 1) + 2(n + 1))

=1

2(n + 1)((n + 1) + 1)

=1

2(n + 1)(n + 2)

(1)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 6 / 124

Page 11: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Theorem

For all n ∈ N, 7n − 2n is divisible by 5.

Proof.

I 1 5 = 71 − 21 is divisible by 5, so we have Basis for Induction.

I 2 Check Pn implies Pn+1. Assume Pn holds. Then there exists aninteger m = 7n−2n

5 and

7n+1 − 2n+1 = 7n+1 − 7 · 2n + 7 · 2n − 2n+1

= 7 · (7n − 2n) + 5 · 2n

= 5 · (7m + 2n)

(2)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 7 / 124

Page 12: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Theorem

| sin(nx) |≤ n | sin(x) | for all n ∈ N, x ∈ R.

Proof.

I 1 | sin(1 · x) |≤ 1· | sin(x) | , so we have Basis for Induction.

I 2 Check Pn implies Pn+1. Assume Pn holds. Then

| sin((n + 1)x) | =| sin(nx + x) |=| sin(nx) cos(x) + cos(nx) sin(x) |≤| sin(nx) cos(x) | + | cos(nx) sin(x) |≤| sin(nx) | · | cos(x) | + | cos(nx) | · | sin(x) |≤| sin(nx) | + | sin(x) |≤ n | sin(x) | + | sin(x) |= (n + 1) | sin(x) |

(3)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 8 / 124

Page 13: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

1.1, 1.3

1.6, 1.7

1.8a, b

1.12a, b, c

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 9 / 124

Page 14: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Integer, Rationa, and Algebraicl Numbers

Definition

Define the set Z of Integers as {0, 1,−1, 2,−2, ...}Define the set Q of Rationals as

{x = m

n | m, n ∈ Z, n 6= 0}

Q contains all terminating decimalsWhat happens if we close this set to include all non-terminatingdecimals ?Can we include numbers like

√2 ? Define the set A of Algebraic

numbers as..

A ≡ {x | a0 + a1x + ...+ anxn = 0, n ≥ 1, a0, a1, , .., an ∈ Z}

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 10 / 124

Page 15: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples 1a.)− d .)

Theorem

a.) 417 , b.)

√3, c.)17

13 , d .)

√2 + 5

13 are algebraic numbers.

Proof.

For a.) through c .), the numbers are solutions of the correspondingpolynomial equations:

a.) 17x − 4 = 0,

b.) x2 − 3 = 0

c.) x3 − 17 = 0

For d .), if we set x =

√2 + 5

13 then x2 − 2 = 5

13 and so

(x2 − 2

)3= 5

which implies

√2 + 5

13 is a solution of x6 − 6x4 + 12x2 − 13 = 0

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 11 / 124

Page 16: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Rational Zeros Theorem (Theorem 2.2)

Theorem

Suppose that a0, a1, , .., an ∈ Z , r ∈ Q , n ≥ 1 , and an, a0 6= 0.Suppose also that r satisfies

anrn + an−1rn−1 + ...+ a1r1 + a0 = 0 (4)

with r = pq : p, q ∈ Z.

Finally, suppose that p, q have no common factors and q 6= 0.Then q divides an and p divides a0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 12 / 124

Page 17: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Rational Zeros Theorem

Proof: By given assumptions,

an

(p

q

)n

+ an−1

(p

q

)n−1+ ...+ a1

(p

q

)1

+ a0 = 0 (5)

Multiplying through by qn, this equation can be rewritten

n∑k=0

an−kpn−kqk = 0 (6)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 13 / 124

Page 18: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Rational Zeros Theorem

Proof (continued)It follows that

anpn = −q ·n∑

k=1

an−kpn−kqk−1 (7)

Therefore q divides anpn. Since p, q have no common factors, q dividesan. Similarly,

a0qn = −p ·n−1∑k=0

an−kpn−k−1qk (8)

Since p, q have no common factors, p divides a0. QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 14 / 124

Page 19: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples 2 and 4

Theorem√

2 /∈ Q, 3√

6 /∈ Q.

Proof.

By Theorem 2.2, the only rational numbers that could solve x2− 2 = 0 are{1,−1, 2,−2} and the only rational numbers that could solve x3 − 6 = 0are {1,−1, 2,−2, 3,−3, 6,−6}.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 15 / 124

Page 20: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples 2 and 4

Theorem√

2 /∈ Q, 3√

6 /∈ Q.

Proof.

By Theorem 2.2, the only rational numbers that could solve x2− 2 = 0 are{1,−1, 2,−2} and the only rational numbers that could solve x3 − 6 = 0are {1,−1, 2,−2, 3,−3, 6,−6}.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 15 / 124

Page 21: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

2.1, 2.3

2.5, 2.6

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 16 / 124

Page 22: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Axioms and Properties of Q

Assume a, b, c ∈ QProperties

A1: a + (b + c) = (a + b) + cA2: a + b = b + aA3: a + 0 = aA4: ∀a, ∃ − a : a + (−a) = 0M1: a(bc) = (ab)cM2: ab = baM3: a · 1 = aM4: ∀a 6= 0, ∃a−1 : aa−1 = 1DL: a(b + c) = ab + ac

A system that contains more than one element and satisfies these 9properties is known as a Field

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 17 / 124

Page 23: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Axioms and Properties of Q

Assume a, b, c ∈ QOrder Structure ≤

O1: Either a ≤ b or b ≤ aO2: If a ≤ b and b ≤ a then a = bO3: If a ≤ b and b ≤ c then a ≤ cO4: If a ≤ b then a + c ≤ b + cO5: If a ≤ b and 0 ≤ c then ac ≤ bc

A field satisfying O1− O5 is called an Ordered Field.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 18 / 124

Page 24: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 3.1

Theorem

Assume a, b, c ∈ RThe following are consequences of the field properties:

(i): a + c = b + c ⇒ a = b(ii): a · 0 = 0(iii): (−a)b = −ab(iv): (−a)(−b) = ab(v): ab = 0⇒ either a = 0 or b = 0

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 19 / 124

Page 25: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 3.2

Theorem

Assume a, b, c ∈ R. Note that a < b means a ≤ b and a 6= b

The following are consequences of an ordered field:

(i): If a ≤ b then −b ≤ −a(ii): If a ≤ b and c ≤ 0 then bc ≤ ac(iii): If 0 ≤ a and 0 ≤ b then 0 ≤ ab(iv): 0 ≤ a2

(v): 0 < 1(vi): If 0 < a then 0 < a−1

(vii): If 0 < a < b then 0 < b−1 < a−1

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 20 / 124

Page 26: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions and Theorem 3.5

Define | a | as

| a |= a when a ≥ 0,

| a |= −a when a ≤ 0.

dist(a, b) ≡| a− b |Theorem 3.5:

Theorem

Assume a, b ∈ R(i): | a |≥ 0

(ii): | ab |=| a || b |

(iii): | a + b |≤| a | + | b |

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 21 / 124

Page 27: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 3.6 and the Triangle Inequality

Corollary 3.6:

Corollary

Assume a, b, c ∈ R. Then

dist(a, c) ≤ dist(a, b) + dist(b, c) (9)

Triangle Inequality: Assume a, b, c ∈ R. Then

| a + b |≤| a | + | b | (10)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 22 / 124

Page 28: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

The Completeness Axiom

Let S ⊂ R, S 6= φ.

If S contains a largest element s0 then it is called the maximum of S :s0 = max S

If S contains a smallest element s1 then it is called the minimum ofS : s0 = min S

Examples:

[a, b), (a, b){r ∈ Q : 0 ≤ r ≤

√2}{

n−1n

: n ∈ N}

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 23 / 124

Page 29: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

The Completeness Axiom

Let S ⊂ R, S 6= φ.

If a real number M satisfies s ≤ M for all s ∈ S , then M is called anupper bound of S and S is said to be bounded above.

If a real number m satisfies s ≥ m for all s ∈ S , then m is called alower bound of S and S is said to be bounded below.

S is said to be bounded if it is bounded above and below; i.e. ifS ⊂ [m,M].

Examples

[a, b), (a, b){r ∈ Q : 0 ≤ r ≤

√2}{

n−1n

: n ∈ N}

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 24 / 124

Page 30: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

The Completeness Axiom

Let S ⊂ R, S 6= φ.

If S is bounded above and has a least upper bound x , then x ≡ sup S .

If S is bounded below and has a greatest lower bound y , theny ≡ inf S .

Examples

[a, b), (a, b){r ∈ Q : 0 ≤ r ≤

√2}{

n−1n

: n ∈ N}

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 25 / 124

Page 31: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

The Completeness Axiom and other properties of R

The Completeness Axiom: Assume S ⊂ R, S 6= φ is bounded above.Then it has a least upper bound.

Corollary 4.6: Assume S ⊂ R, S 6= φ is bounded below. Then it has agreatest lower bound.

Archimedian Property: If a, b > 0, then ∃n ∈ N such that na > b.

Denseness of Q: If a, b ∈ R, and a < b then ∃r ∈ Q such thata < r < b.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 26 / 124

Page 32: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

4.1a, i , j , k , r , u,w

4.5

4.6a, b

4.7a, b

4.10, 4.15, 4.16

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 27 / 124

Page 33: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

The symbols ∞ and −∞

These symbols are concepts and not real numbers. We extend orderings toR ∪ {−∞,∞}, but not algebraic structure.

R = (−∞,∞)

[a,∞) = {x ∈ R : a ≤ x}If S ⊂ R, S 6= φ is not bounded above, then sup S =∞If S ⊂ R, S 6= φ is not bounded below, then inf S = −∞

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 28 / 124

Page 34: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

5.1a, b, c , d

5.3

5.4

5.6

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 29 / 124

Page 35: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Limits of Sequences

A sequence s will be taken to be a map from the set N∪{0} into the reals:

s : N ∪ {0} → R (11)

We often denote such a function by its elements: {sn}∞n=0 or (s0, s1, ...)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 30 / 124

Page 36: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

{sk}∞k=1 : sn =1

n2

{ak}∞k=0 : an = (−1)n

{ak}∞k=1 : an = cos(nπ

3

){ak}∞k=0 : an = (n)

1n

{bk}∞k=0 : bn =

(1 +

1

n

)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 31 / 124

Page 37: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definition of Convergence

Definition

A sequence sn is said to converge to its limit s if for each ε > 0 thereexists an N such that n ≥ N implies | sn − s |< ε.

A sequence that does not converge to any limit diverges.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 32 / 124

Page 38: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Take sn = 3n+17n−4 . Then

n > 0⇒| 3n+17n−4 −

37 |< 1

n > 4⇒| 3n+17n−4 −

37 |< 0.1

n > 39⇒| 3n+17n−4 −

37 |< 0.01

n > 388⇒| 3n+17n−4 −

37 |< 0.001

n > 387, 755⇒| 3n+17n−4 −

37 |< 0.000001

Is there a general rule? How about the previous sequences (examples ?) Ifa sequence converges to a limit, can there be multiple limits?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 33 / 124

Page 39: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Take sn = 3n+17n−4 . Then

n > 0⇒| 3n+17n−4 −

37 |< 1

n > 4⇒| 3n+17n−4 −

37 |< 0.1

n > 39⇒| 3n+17n−4 −

37 |< 0.01

n > 388⇒| 3n+17n−4 −

37 |< 0.001

n > 387, 755⇒| 3n+17n−4 −

37 |< 0.000001

Is there a general rule? How about the previous sequences (examples ?) Ifa sequence converges to a limit, can there be multiple limits?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 33 / 124

Page 40: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

7.1, 7.3a− l

7.4, 7.5

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 34 / 124

Page 41: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem: limn→∞1n2

= 0.

Discussion: If we want | 1n2− 0 |< ε then we need n > 1√

ε.

Formal Proof: Let ε > 0. Let N = 1√ε. Then n > N ⇒ n2 > 1

ε and so1n2< ε. This implies | 1

n2− 0 |< ε. �

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 35 / 124

Page 42: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem: limn→∞1n2

= 0.

Discussion: If we want | 1n2− 0 |< ε then we need n > 1√

ε.

Formal Proof: Let ε > 0. Let N = 1√ε. Then n > N ⇒ n2 > 1

ε and so1n2< ε. This implies | 1

n2− 0 |< ε. �

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 35 / 124

Page 43: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem: limn→∞1n2

= 0.

Discussion: If we want | 1n2− 0 |< ε then we need n > 1√

ε.

Formal Proof: Let ε > 0. Let N = 1√ε. Then n > N ⇒ n2 > 1

ε and so1n2< ε. This implies | 1

n2− 0 |< ε. �

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 35 / 124

Page 44: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem: limn→∞3n+17n−4 = 3

7 .

Discussion: If we want | 3n+17n−4 −

37 |=|

197(7n−4) |< ε then we need

n > 47 + 19

49ε .

Formal Proof: Let ε > 0. Let N = 47 + 19

49ε . Then n > N implies7n − 4 > 19

7ε and so 197(7n−4) < ε. This implies | 3n+1

7n−4 −37 |< ε. �

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 36 / 124

Page 45: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem: limn→∞3n+17n−4 = 3

7 .

Discussion: If we want | 3n+17n−4 −

37 |=|

197(7n−4) |< ε then we need

n > 47 + 19

49ε .

Formal Proof: Let ε > 0. Let N = 47 + 19

49ε . Then n > N implies7n − 4 > 19

7ε and so 197(7n−4) < ε. This implies | 3n+1

7n−4 −37 |< ε. �

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 36 / 124

Page 46: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem: limn→∞3n+17n−4 = 3

7 .

Discussion: If we want | 3n+17n−4 −

37 |=|

197(7n−4) |< ε then we need

n > 47 + 19

49ε .

Formal Proof: Let ε > 0. Let N = 47 + 19

49ε . Then n > N implies7n − 4 > 19

7ε and so 197(7n−4) < ε. This implies | 3n+1

7n−4 −37 |< ε. �

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 36 / 124

Page 47: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem

limn→∞(−1)n does not exist

Proof.

For sake of contradiction, assume there is an a = limn→∞(−1)n. Letε = 1

2 . By the definition of a limit, there exists an N such that n > Nimplies | (−1)n − a |< ε. This means both | 1− a |< ε and | −1− a |< ε,which implies

2 =| 1− (−1) |=| 1− a + a− (−1) |≤| 1− a | + | −1− a |

<1

2+

1

2= 1

(12)

which is a contradiction.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 37 / 124

Page 48: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Scratchwork versus Complete Proof

Theorem

limn→∞(−1)n does not exist

Proof.

For sake of contradiction, assume there is an a = limn→∞(−1)n. Letε = 1

2 . By the definition of a limit, there exists an N such that n > Nimplies | (−1)n − a |< ε. This means both | 1− a |< ε and | −1− a |< ε,which implies

2 =| 1− (−1) |=| 1− a + a− (−1) |≤| 1− a | + | −1− a |

<1

2+

1

2= 1

(12)

which is a contradiction.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 37 / 124

Page 49: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Square Roots and Limits: Theorem 8.5

Theorem

Let sn be a sequence of non-negative real numbers and supposes = limn→∞sn exists. If s > 0, then

√s = limn→∞

√sn

Proof.

Let ε > 0. Since s = limn→∞sn, there exists N such that n > N implies| sn − s |<

√sε. It follows that

|√

sn −√

s | =| sn − s |√

sn +√

s

≤ | sn − s |√s

<

√sε√s

= ε.

(13)

This argument can of course be extended to s = 0, and is left to you!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 38 / 124

Page 50: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Square Roots and Limits: Theorem 8.5

Theorem

Let sn be a sequence of non-negative real numbers and supposes = limn→∞sn exists. If s > 0, then

√s = limn→∞

√sn

Proof.

Let ε > 0. Since s = limn→∞sn, there exists N such that n > N implies| sn − s |<

√sε. It follows that

|√

sn −√

s | =| sn − s |√

sn +√

s

≤ | sn − s |√s

<

√sε√s

= ε.

(13)

This argument can of course be extended to s = 0, and is left to you!Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 38 / 124

Page 51: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 8.6

Theorem

Let sn be a convergent sequence of real numbers and suppose

sn 6= 0 for all n ∈ Nlimn→∞sn = s 6= 0.

Then inf {| sn |: n ∈ N} > 0.

Proof.

Let ε = |s|2 . Since s = limn→∞sn, there exists N such that n > N implies

| sn− s |< |s|2 . It follows from the triangle inequality that | sn |≥ |s|2 . Define

m = min

{| s |

2, s1, s2, ..., sN

}. (14)

Then clearly m > 0 and | sn |≥ m for all n ∈ N. It follows thatinf {| sn |: n ∈ N} ≥ m > 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 39 / 124

Page 52: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 8.6

Theorem

Let sn be a convergent sequence of real numbers and suppose

sn 6= 0 for all n ∈ Nlimn→∞sn = s 6= 0.

Then inf {| sn |: n ∈ N} > 0.

Proof.

Let ε = |s|2 . Since s = limn→∞sn, there exists N such that n > N implies

| sn− s |< |s|2 . It follows from the triangle inequality that | sn |≥ |s|2 . Define

m = min

{| s |

2, s1, s2, ..., sN

}. (14)

Then clearly m > 0 and | sn |≥ m for all n ∈ N. It follows thatinf {| sn |: n ∈ N} ≥ m > 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 39 / 124

Page 53: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

8.1a, c, 8.2a, c , d

8.3

8.4, 8.5, 8.6

8.6, 8.7

8.9a, 8.10

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 40 / 124

Page 54: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 9.1

Theorem

Convergent sequences are bounded

Proof.

Let sn be a convergent sequence, and limn→∞sn = s. Let ε = 1, and sothere exists N such that n > N implies | sn − s |< 1. It follows from thetriangle inequality that | sn |<| s | +1. Define

M = max {| s | +1, | s1 |, | s2 |, ..., | sN |} . (15)

Then clearly | sn |≤ M for all n ∈ N and it follows that {sn} is a boundedsequence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 41 / 124

Page 55: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 9.1

Theorem

Convergent sequences are bounded

Proof.

Let sn be a convergent sequence, and limn→∞sn = s. Let ε = 1, and sothere exists N such that n > N implies | sn − s |< 1. It follows from thetriangle inequality that | sn |<| s | +1. Define

M = max {| s | +1, | s1 |, | s2 |, ..., | sN |} . (15)

Then clearly | sn |≤ M for all n ∈ N and it follows that {sn} is a boundedsequence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 41 / 124

Page 56: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Theorem 9.2:

Theorem

If {sn} converges to s and k ∈ R, then {ksn} converges to ks

Proof.

Assume k 6= 0, otherwise this is trivial. Let ε > 0, and so there exists Nsuch that n > N implies | sn − s |< ε

|k| . Then clearly | ksn − ks |≤ ε.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 42 / 124

Page 57: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Theorem 9.2:

Theorem

If {sn} converges to s and k ∈ R, then {ksn} converges to ks

Proof.

Assume k 6= 0, otherwise this is trivial. Let ε > 0, and so there exists Nsuch that n > N implies | sn − s |< ε

|k| . Then clearly | ksn − ks |≤ ε.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 42 / 124

Page 58: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Theorems 9.3, 9.4:

Theorem

If sn → s and tn → t then

sn + tn → s + t

sntn → st

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 43 / 124

Page 59: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

We prove the product rule. Recall that convergence of a sequenceguarantees its boundedness:

Proof.

Define M := sup {| sn |} . For any ε > 0, there exists N1,N2 such that

n > N1 ⇒| sn − s |< ε

2 | t |

n > N2 ⇒| tn − t |< ε

2M

(16)

It follows that for n > N := max {N1,N2},

| sntn − st | =| sntn − tsn + tsn − st |≤| sntn − tsn | + | tsn − st |≤| sn || tn − t | + | t || sn − s |

< M · ε

2M+ | t | · ε

2 | t |= ε.

(17)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 44 / 124

Page 60: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Lemma 9.5:

Lemma

If {sn} converges to s and sn, s 6= 0 for all n, then 1sn

converges to 1s .

Proof.

By Example 8.6, we have that X ≡ inf {| sn |: n ∈ N} > 0. Then thereexists N(ε | X | s) such that n > N(ε· | X | s) implies∣∣∣ 1

sn− 1

s

∣∣∣ =∣∣∣sn − s

sns

∣∣∣ ≤ ∣∣∣sn − s

Xs

∣∣∣ < ε | X | s

| X | s= ε. (18)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 45 / 124

Page 61: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Lemma 9.5:

Lemma

If {sn} converges to s and sn, s 6= 0 for all n, then 1sn

converges to 1s .

Proof.

By Example 8.6, we have that X ≡ inf {| sn |: n ∈ N} > 0. Then thereexists N(ε | X | s) such that n > N(ε· | X | s) implies∣∣∣ 1

sn− 1

s

∣∣∣ =∣∣∣sn − s

sns

∣∣∣ ≤ ∣∣∣sn − s

Xs

∣∣∣ < ε | X | s

| X | s= ε. (18)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 45 / 124

Page 62: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Theorem 9.6:

Theorem

If sn → s and tn → t, where tn, t 6= 0 for all n then sntn→ s

t

Proof.

Try now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 46 / 124

Page 63: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Useful Limit Theorems

Theorem 9.6:

Theorem

If sn → s and tn → t, where tn, t 6= 0 for all n then sntn→ s

t

Proof.

Try now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 46 / 124

Page 64: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

More Examples

Example 1 : n3+6n2+74n3+3n−4 →

14

Example 2 : n−5n2+7

→ 0

Prove these now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 47 / 124

Page 65: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

More Examples

Definition

limn→∞ sn =∞ if ∀M > 0 there exists an N : n > N ⇒ sn > M.

Example 1 :√

n + 7→∞Example 2 : n2+3

n+1 diverges

Prove these now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 48 / 124

Page 66: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

More Examples

Definition

limn→∞ sn =∞ if ∀M > 0 there exists an N : n > N ⇒ sn > M.

Example 1 :√

n + 7→∞Example 2 : n2+3

n+1 diverges

Prove these now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 48 / 124

Page 67: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 9.9

Theorem

If {sn} , {tn} are such that sn →∞ and limn→∞ tn = t > 0, thenlimn→∞ sntn =∞.

Proof.

Let M > 0. Choose 0 < m < t. By definition, ∃N1 such thatn > N1 ⇒ tn > m. Since limn→∞ tn, ∃N2 such that n > N2 ⇒ sn >

Mm .

Take N = max {N1,N2}. Then n > N ⇒ sntn >Mm m = M.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 49 / 124

Page 68: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 9.9

Theorem

If {sn} , {tn} are such that sn →∞ and limn→∞ tn = t > 0, thenlimn→∞ sntn =∞.

Proof.

Let M > 0. Choose 0 < m < t. By definition, ∃N1 such thatn > N1 ⇒ tn > m. Since limn→∞ tn, ∃N2 such that n > N2 ⇒ sn >

Mm .

Take N = max {N1,N2}. Then n > N ⇒ sntn >Mm m = M.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 49 / 124

Page 69: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 9.10:

Theorem

If {sn} ⊂ R+ then sn →∞ if and only if 1sn→ 0

Proof.

Try now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 50 / 124

Page 70: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 9.10:

Theorem

If {sn} ⊂ R+ then sn →∞ if and only if 1sn→ 0

Proof.

Try now!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 50 / 124

Page 71: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

9.1a, c, 9.2a

9.3

9.4, 9.5, 9.6

9.9a, 9.10, 9.18

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 51 / 124

Page 72: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Monotone sequences

A sequence sn where sn ≤ sn+1 is said to non-decreasing. If sn ≥ sn+1 thenit is said to be is said to non-increasing. A non-increasing ornon-decreasing sequence is said to be monotonic.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 52 / 124

Page 73: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

A Very Useful Limit Theorem: Theorem 10.2

Theorem

All bounded monotone sequences converge.

Proof.

Wlog, let {sn} be a bounded non-decreasing sequence. DefineS = {sn : n ∈ N} , and define u = sup S . Since S is bounded, u ∈ R. Itremains to show that sn → u. To do so, choose ε > 0. Since u − ε is notan upper bound of S , there exists N such that sN > u − ε. But, since sn isnon-decreasing, we have sN ≤ sn for all n ≥ N. Of course, sn ≤ u for all n,so so n > N implies u − ε < sn ≤ u, which implies | sn − u |< ε.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 53 / 124

Page 74: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

A Very Useful Limit Theorem: Theorem 10.2

Theorem

All bounded monotone sequences converge.

Proof.

Wlog, let {sn} be a bounded non-decreasing sequence. DefineS = {sn : n ∈ N} , and define u = sup S . Since S is bounded, u ∈ R. Itremains to show that sn → u. To do so, choose ε > 0. Since u − ε is notan upper bound of S , there exists N such that sN > u − ε. But, since sn isnon-decreasing, we have sN ≤ sn for all n ≥ N. Of course, sn ≤ u for all n,so so n > N implies u − ε < sn ≤ u, which implies | sn − u |< ε.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 53 / 124

Page 75: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

More Monotonic Limit Theorems

Theorem 10.3: All unbounded monotone increasing sequences divergeto ∞.

Theorem 10.4: All unbounded monotone decreasing sequencesdiverge to −∞.

Corollary 10.5: All monotone sequences converge or diverge to ∞ or−∞.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 54 / 124

Page 76: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

More Monotonic Limit Theorems

Theorem 10.3: All unbounded monotone increasing sequences divergeto ∞.

Theorem 10.4: All unbounded monotone decreasing sequencesdiverge to −∞.

Corollary 10.5: All monotone sequences converge or diverge to ∞ or−∞.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 54 / 124

Page 77: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

More Monotonic Limit Theorems

Theorem 10.3: All unbounded monotone increasing sequences divergeto ∞.

Theorem 10.4: All unbounded monotone decreasing sequencesdiverge to −∞.

Corollary 10.5: All monotone sequences converge or diverge to ∞ or−∞.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 54 / 124

Page 78: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

lim inf and lim sup

Definition

A sequence sn in R has

lim sup sn = limN→∞

sup {sn : n > N}

lim inf sn = limN→∞

inf {sn : n > N}(19)

A sequence sn in R is called a Cauchy sequence if ∀ε > 0 there exists anumber N such that m, n > N implies | sn − sm |< ε

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 55 / 124

Page 79: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.7

Theorem

Let sn be a sequence in R. Then

If limn→∞ sn = s is defined as a real number or ∞,−∞, thenlim inf sn = s = lim sup sn

If lim inf sn = lim sup sn then s ∈ R and lim inf sn = s = lim sup sn

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 56 / 124

Page 80: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Lemma 10.9

Lemma

Convergent sequences are Cauchy sequences.

Proof.

Suppose that s = limn→∞ sn exists. Then for all n,m > N(ε2

)it follows

that

| sn − sm | =| sn − s + s − sm |≤| sn − s | + | sm − s |

2+ε

2

(20)

Thus, sn is a Cauchy sequence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 57 / 124

Page 81: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Lemma 10.9

Lemma

Convergent sequences are Cauchy sequences.

Proof.

Suppose that s = limn→∞ sn exists. Then for all n,m > N(ε2

)it follows

that

| sn − sm | =| sn − s + s − sm |≤| sn − s | + | sm − s |

2+ε

2

(20)

Thus, sn is a Cauchy sequence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 57 / 124

Page 82: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Lemma 10.10

Lemma

Cauchy sequences are bounded.

Proof.

For all n,m > N (1) we have | sn − sm |< 1. In particular,| sn − sN(1)+1 |< 1 for all n > N(1). Define

M = max{| sN(1)+1 | +1, | s1 |, | s2 |, ...., | sN(1) |

}(21)

Then | sn |≤ M for all n.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 58 / 124

Page 83: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Lemma 10.10

Lemma

Cauchy sequences are bounded.

Proof.

For all n,m > N (1) we have | sn − sm |< 1. In particular,| sn − sN(1)+1 |< 1 for all n > N(1). Define

M = max{| sN(1)+1 | +1, | s1 |, | s2 |, ...., | sN(1) |

}(21)

Then | sn |≤ M for all n.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 58 / 124

Page 84: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Theorem

A sequence is convergent if and only if it is a Cauchy sequence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 59 / 124

Page 85: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Proof.

The previous Lemma has shown that all convergent sequences are Cauchy.It remains to show the other implication holds. Namely, that all Cauchysequences are convergent.

Hence, assume sn is Cauchy. Then by Lemma10.9, we know sn is bounded.

We need only show now that lim inf sn ≥ lim sup sn.

But, this can be seen by taking m, n > N(ε) which implies sn < sm + ε.

It follows that

sup {sn : n > N} ≤ sm + ε

⇒ sup {sn : n > N} ≤ inf {sm : m > N}+ ε(22)

Taking limits as ε→ 0, and so N →∞, gives us our result.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 60 / 124

Page 86: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Proof.

The previous Lemma has shown that all convergent sequences are Cauchy.It remains to show the other implication holds. Namely, that all Cauchysequences are convergent.Hence, assume sn is Cauchy. Then by Lemma10.9, we know sn is bounded.

We need only show now that lim inf sn ≥ lim sup sn.

But, this can be seen by taking m, n > N(ε) which implies sn < sm + ε.

It follows that

sup {sn : n > N} ≤ sm + ε

⇒ sup {sn : n > N} ≤ inf {sm : m > N}+ ε(22)

Taking limits as ε→ 0, and so N →∞, gives us our result.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 60 / 124

Page 87: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Proof.

The previous Lemma has shown that all convergent sequences are Cauchy.It remains to show the other implication holds. Namely, that all Cauchysequences are convergent.Hence, assume sn is Cauchy. Then by Lemma10.9, we know sn is bounded.

We need only show now that lim inf sn ≥ lim sup sn.

But, this can be seen by taking m, n > N(ε) which implies sn < sm + ε.

It follows that

sup {sn : n > N} ≤ sm + ε

⇒ sup {sn : n > N} ≤ inf {sm : m > N}+ ε(22)

Taking limits as ε→ 0, and so N →∞, gives us our result.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 60 / 124

Page 88: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Proof.

The previous Lemma has shown that all convergent sequences are Cauchy.It remains to show the other implication holds. Namely, that all Cauchysequences are convergent.Hence, assume sn is Cauchy. Then by Lemma10.9, we know sn is bounded.

We need only show now that lim inf sn ≥ lim sup sn.

But, this can be seen by taking m, n > N(ε) which implies sn < sm + ε.

It follows that

sup {sn : n > N} ≤ sm + ε

⇒ sup {sn : n > N} ≤ inf {sm : m > N}+ ε(22)

Taking limits as ε→ 0, and so N →∞, gives us our result.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 60 / 124

Page 89: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Proof.

The previous Lemma has shown that all convergent sequences are Cauchy.It remains to show the other implication holds. Namely, that all Cauchysequences are convergent.Hence, assume sn is Cauchy. Then by Lemma10.9, we know sn is bounded.

We need only show now that lim inf sn ≥ lim sup sn.

But, this can be seen by taking m, n > N(ε) which implies sn < sm + ε.

It follows that

sup {sn : n > N} ≤ sm + ε

⇒ sup {sn : n > N} ≤ inf {sm : m > N}+ ε(22)

Taking limits as ε→ 0, and so N →∞, gives us our result.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 60 / 124

Page 90: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 10.11

Proof.

The previous Lemma has shown that all convergent sequences are Cauchy.It remains to show the other implication holds. Namely, that all Cauchysequences are convergent.Hence, assume sn is Cauchy. Then by Lemma10.9, we know sn is bounded.

We need only show now that lim inf sn ≥ lim sup sn.

But, this can be seen by taking m, n > N(ε) which implies sn < sm + ε.

It follows that

sup {sn : n > N} ≤ sm + ε

⇒ sup {sn : n > N} ≤ inf {sm : m > N}+ ε(22)

Taking limits as ε→ 0, and so N →∞, gives us our result.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 60 / 124

Page 91: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Babylonian Method of Computing Square Roots

Consider a positive real number A > 1. Now, define

sn+1 = f (sn)

s0 = A

f (x) =1

2

(x +

A

x

) (23)

Since f (A) = A+12 < A and ∀x > 0,

d

dx(f (x)− x) = −1

2

(1 +

A

x2

)< 0, (24)

we know that {sn}∞n=0 is a bounded (by 0) monotonic decreasing sequence.

Furthermore, f (√

A) =√

A.

Have we proven convergence of this recursively defined sequence?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 61 / 124

Page 92: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Babylonian Method of Computing Square Roots

Consider a positive real number A > 1. Now, define

sn+1 = f (sn)

s0 = A

f (x) =1

2

(x +

A

x

) (23)

Since f (A) = A+12 < A and ∀x > 0,

d

dx(f (x)− x) = −1

2

(1 +

A

x2

)< 0, (24)

we know that {sn}∞n=0 is a bounded (by 0) monotonic decreasing sequence.

Furthermore, f (√

A) =√

A.

Have we proven convergence of this recursively defined sequence?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 61 / 124

Page 93: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Babylonian Method of Computing Square Roots

Consider a positive real number A > 1. Now, define

sn+1 = f (sn)

s0 = A

f (x) =1

2

(x +

A

x

) (23)

Since f (A) = A+12 < A and ∀x > 0,

d

dx(f (x)− x) = −1

2

(1 +

A

x2

)< 0, (24)

we know that {sn}∞n=0 is a bounded (by 0) monotonic decreasing sequence.

Furthermore, f (√

A) =√

A.

Have we proven convergence of this recursively defined sequence?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 61 / 124

Page 94: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Babylonian Method of Computing Square Roots

Consider a positive real number A > 1. Now, define

sn+1 = f (sn)

s0 = A

f (x) =1

2

(x +

A

x

) (23)

Since f (A) = A+12 < A and ∀x > 0,

d

dx(f (x)− x) = −1

2

(1 +

A

x2

)< 0, (24)

we know that {sn}∞n=0 is a bounded (by 0) monotonic decreasing sequence.

Furthermore, f (√

A) =√

A.

Have we proven convergence of this recursively defined sequence?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 61 / 124

Page 95: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Babylonian Method of Computing Square Roots

Consider a positive real number A > 1. Now, define

sn+1 = f (sn)

s0 = A

f (x) =1

2

(x +

A

x

) (23)

Since f (A) = A+12 < A and ∀x > 0,

d

dx(f (x)− x) = −1

2

(1 +

A

x2

)< 0, (24)

we know that {sn}∞n=0 is a bounded (by 0) monotonic decreasing sequence.

Furthermore, f (√

A) =√

A.

Have we proven convergence of this recursively defined sequence?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 61 / 124

Page 96: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

The US government has studied models of employment and has come upwith the following observation:

P[Unemployed finds job by end of the year] = pf ∈ (0, 1)

P[Employed loses job by end of the year] = pl ∈ (0, 1)

Define Wk to be the probability a worker is employed at the beginning ofyear k , Nk the probability she is not working at the beginning of year k .

Then (Wk+1

Nk+1

)=

[1− pl pf

pl 1− pf

](Wk

Nk

)(25)

Finally, assume that Wk + Nk = 1.

Question: Does Wk →W for some W ∈ (0, 1)?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 62 / 124

Page 97: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

The US government has studied models of employment and has come upwith the following observation:

P[Unemployed finds job by end of the year] = pf ∈ (0, 1)

P[Employed loses job by end of the year] = pl ∈ (0, 1)

Define Wk to be the probability a worker is employed at the beginning ofyear k , Nk the probability she is not working at the beginning of year k .

Then (Wk+1

Nk+1

)=

[1− pl pf

pl 1− pf

](Wk

Nk

)(25)

Finally, assume that Wk + Nk = 1.

Question: Does Wk →W for some W ∈ (0, 1)?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 62 / 124

Page 98: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

It follows that the matrix can be diagonalized as

(1− pl pf

pl 1− pf

)=

(pfpl−1

1 1

)(1 00 1− pf − pl

)( plpf +pl

plpf +pl

− plpf +pl

pfpf +pl

)(26)

Define

~qk =

(pl

pf +pl

plpf +pl

− plpf +pl

pfpf +pl

)(Wk

Nk

)(27)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 63 / 124

Page 99: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

It follows that the matrix can be diagonalized as

(1− pl pf

pl 1− pf

)=

(pfpl−1

1 1

)(1 00 1− pf − pl

)( plpf +pl

plpf +pl

− plpf +pl

pfpf +pl

)(26)

Define

~qk =

(pl

pf +pl

plpf +pl

− plpf +pl

pfpf +pl

)(Wk

Nk

)(27)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 63 / 124

Page 100: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

Hence,

~qk+1 =

(1 00 1− pf − pl

)~qk ⇒ ~qk =

(A

B(1− pf − pl)k

)(28)

Returning to our original notation,(Wk

Nk

)=

(pfpl−1

1 1

)(1 00 1− pf − pl

)~qk

=

(pfpl−1

1 1

)(1 00 1− pf − pl

)(A

B(1− pf − pl)k

)=

(pfpl−1

1 1

)(A

B(1− pf − pl)k+1

)=

(Apf

pl− B(1− pf − pl)

k+1

A + B(1− pf − pl)k+1

)(29)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 64 / 124

Page 101: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

Hence,

~qk+1 =

(1 00 1− pf − pl

)~qk ⇒ ~qk =

(A

B(1− pf − pl)k

)(28)

Returning to our original notation,(Wk

Nk

)=

(pfpl−1

1 1

)(1 00 1− pf − pl

)~qk

=

(pfpl−1

1 1

)(1 00 1− pf − pl

)(A

B(1− pf − pl)k

)=

(pfpl−1

1 1

)(A

B(1− pf − pl)k+1

)=

(Apf

pl− B(1− pf − pl)

k+1

A + B(1− pf − pl)k+1

)(29)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 64 / 124

Page 102: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

Solving for our parameters A,B, we see that(W0

N0

)=

(Apf

pl− B(1− pf − pl)

A + B(1− pf − pl)

)

⇒(

AB

)=

11+

pfplpf

plN0−W0

1−pf−pl

(Wk

Nk

)→

pfpl

1+pfpl

11+

pfpl

=

(pf

pl+pfpl

pl+pf

) (30)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 65 / 124

Page 103: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Markov Chain Model of Employment

Solving for our parameters A,B, we see that(W0

N0

)=

(Apf

pl− B(1− pf − pl)

A + B(1− pf − pl)

)

⇒(

AB

)=

11+

pfplpf

plN0−W0

1−pf−pl

(Wk

Nk

)→

pfpl

1+pfpl

11+

pfpl

=

(pf

pl+pfpl

pl+pf

) (30)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 65 / 124

Page 104: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Nonlinear Predator-Prey Model

Consider a simplified Lotka-Volterra model of predator-prey dynamics.Define

Rn the number of Rabbits at time n

Fn the number of Foxes at time n

a is the natural growth rate of rabbits in the absence of foxencounters,

c is the natural death rate of foxes in the absence of food (rabbits),

b is the death rate of rabbits per encounter with foxes,

e is the efficiency of converting the energy from eaten rabbits intomore foxes.

and the dynamical system

Rn+1 = Rn + aRn − bRnFn

Fn+1 = Fn + ebRnFn − cFn(31)

Question: Does (Rn,Fn)→ (R,F ) ? If so, how do we characterize thispair in terms of the given parameters?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 66 / 124

Page 105: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Nonlinear Predator-Prey Model

Consider a simplified Lotka-Volterra model of predator-prey dynamics.Define

Rn the number of Rabbits at time n

Fn the number of Foxes at time n

a is the natural growth rate of rabbits in the absence of foxencounters,

c is the natural death rate of foxes in the absence of food (rabbits),

b is the death rate of rabbits per encounter with foxes,

e is the efficiency of converting the energy from eaten rabbits intomore foxes.

and the dynamical system

Rn+1 = Rn + aRn − bRnFn

Fn+1 = Fn + ebRnFn − cFn(31)

Question: Does (Rn,Fn)→ (R,F ) ? If so, how do we characterize thispair in terms of the given parameters?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 66 / 124

Page 106: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

10.1, 10.2

10.6

10.8, 10.9

10.10, 10.11

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 67 / 124

Page 107: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Subsequences

Suppose {sn}n∈N is a sequence. Then a subsequence of this sequence isanother sequence of the form

tk = snkn1 < n2 < ... < nk < nk+1 < ...

(32)

As an example, consider

sn = n2(−1)n

nk = 2k

tk = snk

= (2k)2(−1)2k

= 4k2

(33)

Check out more examples in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 68 / 124

Page 108: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Subsequences

Suppose {sn}n∈N is a sequence. Then a subsequence of this sequence isanother sequence of the form

tk = snkn1 < n2 < ... < nk < nk+1 < ...

(32)

As an example, consider

sn = n2(−1)n

nk = 2k

tk = snk

= (2k)2(−1)2k

= 4k2

(33)

Check out more examples in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 68 / 124

Page 109: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Subsequences

Suppose {sn}n∈N is a sequence. Then a subsequence of this sequence isanother sequence of the form

tk = snkn1 < n2 < ... < nk < nk+1 < ...

(32)

As an example, consider

sn = n2(−1)n

nk = 2k

tk = snk

= (2k)2(−1)2k

= 4k2

(33)

Check out more examples in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 68 / 124

Page 110: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.2

Theorem

If a sequence {sn}n∈N converges to a limit s, then every subsequenceconverges to the same limit.

Proof.

For sake of contradiction, assume not. Then there exists a subsequence{snk}k∈N that does not converge to s. Then there exists an ε > 0 and afurther subsequence kl such that | snkl − s |> ε, with kl →∞monotonically. This contradicts the assumption that sn → s.

Question: Could we have come to the same conclusion if we hadattempted to prove this theorem using the concepts of lim sup sn, lim inf sn?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 69 / 124

Page 111: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.2

Theorem

If a sequence {sn}n∈N converges to a limit s, then every subsequenceconverges to the same limit.

Proof.

For sake of contradiction, assume not. Then there exists a subsequence{snk}k∈N that does not converge to s. Then there exists an ε > 0 and afurther subsequence kl such that | snkl − s |> ε, with kl →∞monotonically. This contradicts the assumption that sn → s.

Question: Could we have come to the same conclusion if we hadattempted to prove this theorem using the concepts of lim sup sn, lim inf sn?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 69 / 124

Page 112: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.2

Theorem

If a sequence {sn}n∈N converges to a limit s, then every subsequenceconverges to the same limit.

Proof.

For sake of contradiction, assume not. Then there exists a subsequence{snk}k∈N that does not converge to s. Then there exists an ε > 0 and afurther subsequence kl such that | snkl − s |> ε, with kl →∞monotonically. This contradicts the assumption that sn → s.

Question: Could we have come to the same conclusion if we hadattempted to prove this theorem using the concepts of lim sup sn, lim inf sn?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 69 / 124

Page 113: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.3 and friends

Theorem 11.3:

Theorem

Every sequence {sn}n∈Nhas a monotonic subsequence.

Proof: In book, but let’s try to draw a picture why this works!

Corollary 11.4:

Corollary

Let {sn}n∈N be any sequence. Then there exists a monotonic subsequencewhose limit is lim sup sn and another monotonic subsequence whose limit islim inf sn.

Proof: Again, in book, but let’s try to analyze and come up with examples!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 70 / 124

Page 114: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.3 and friends

Theorem 11.3:

Theorem

Every sequence {sn}n∈Nhas a monotonic subsequence.

Proof: In book, but let’s try to draw a picture why this works!

Corollary 11.4:

Corollary

Let {sn}n∈N be any sequence. Then there exists a monotonic subsequencewhose limit is lim sup sn and another monotonic subsequence whose limit islim inf sn.

Proof: Again, in book, but let’s try to analyze and come up with examples!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 70 / 124

Page 115: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.3 and friends

Theorem 11.3:

Theorem

Every sequence {sn}n∈Nhas a monotonic subsequence.

Proof: In book, but let’s try to draw a picture why this works!

Corollary 11.4:

Corollary

Let {sn}n∈N be any sequence. Then there exists a monotonic subsequencewhose limit is lim sup sn and another monotonic subsequence whose limit islim inf sn.

Proof: Again, in book, but let’s try to analyze and come up with examples!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 70 / 124

Page 116: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.3 and friends

Theorem 11.3:

Theorem

Every sequence {sn}n∈Nhas a monotonic subsequence.

Proof: In book, but let’s try to draw a picture why this works!

Corollary 11.4:

Corollary

Let {sn}n∈N be any sequence. Then there exists a monotonic subsequencewhose limit is lim sup sn and another monotonic subsequence whose limit islim inf sn.

Proof: Again, in book, but let’s try to analyze and come up with examples!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 70 / 124

Page 117: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Bolzano-Weierstrass Theorem

Theorem

Every bounded sequence has a convergent subsequence.

Proof.

By Theorem 11.3, every bounded sequence has a monotonic subsequence.But, by Theorem 10.2, this subsequence is convergent.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 71 / 124

Page 118: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Bolzano-Weierstrass Theorem

Theorem

Every bounded sequence has a convergent subsequence.

Proof.

By Theorem 11.3, every bounded sequence has a monotonic subsequence.But, by Theorem 10.2, this subsequence is convergent.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 71 / 124

Page 119: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Subsequential Limits

Definition

A subsequential limit of a sequence {sn}n∈N is any real number or thesymbols ∞,−∞ that is the limit of some subsequence of sn.

Can we think of any examples?

Try

cos (nπ).

(−1)n.

(−1)nn2.

(1 + (−1)n) n.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 72 / 124

Page 120: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Subsequential Limits

Definition

A subsequential limit of a sequence {sn}n∈N is any real number or thesymbols ∞,−∞ that is the limit of some subsequence of sn.

Can we think of any examples?

Try

cos (nπ).

(−1)n.

(−1)nn2.

(1 + (−1)n) n.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 72 / 124

Page 121: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.7

Theorem

Let {sn}n∈N be a sequence in R. Define S as the set of subsequentiallimits of {sn}n∈N. Then

S 6= φ.

sup S = lim sup sn and inf S = lim inf sn.

limn→∞ sn exists if and only if S has exactly one element, which islimn→∞ sn.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 73 / 124

Page 122: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 11.8

Theorem

Let S denote the set of all subsequential limits of a sequence {sn}n∈N.Suppose {tn}n∈N ⊂ S

⋂R and that t = lim tn. Then t ∈ S .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 74 / 124

Page 123: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

11.1, 11.2

11.4

11.10

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 75 / 124

Page 124: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 12.1

Theorem

If {sn}n∈N has a positive real limit s, and {tn}n∈N is any sequence of realnumbers, then lim sup sntn = s · lim sup tn.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 76 / 124

Page 125: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 12.1: Proof (part 1)

Proof.

We consider only the case β ≡ lim sup tn <∞. By Corollary 11.4, thereexists a subsequence {tnk}k∈N ⊂ {tn}n∈N such that limk→∞ tnk = β. ByTheorem 11.2, we also have limk→∞ snk = s, and so limk→∞ snk tnk = sβ.Since lim sup sntn is bigger than any subsequential limit of sntn, we haveshown

lim sup sntn ≥ s · lim sup tn. (34)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 77 / 124

Page 126: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 12.1: Proof (part 2)

Proof.

For the reverse inequality, as s > 0, the elements sn are eventually all > 0for all n > N for some N. It follows that 1

sn→ 1

s . Hence

lim sup tn = lim sup1

snsntn

≥ 1

slim sup sntn

(35)

and so

lim sup sntn ≤ s · lim sup tn. (36)

Combining the inequalities, we obtain lim sup sntn = s · lim sup tn.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 78 / 124

Page 127: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 12.2

Theorem

If {sn}n∈N⋂{0} = φ, then we have

lim inf | sn+1

sn| ≤ lim inf | sn |

1n

≤ lim sup | sn |1n

≤ lim sup | sn+1

sn|

(37)

Proof.

See book and exercises!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 79 / 124

Page 128: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 12.3

Corollary

If lim | sn+1

sn| = L ∈ R then we have lim | sn |

1n = L.

Proof.

If lim | sn+1

sn| = L, then all four values in Theorem 12.2 must equal L.

Hence by Theorem 10.7, we have lim | sn |1n = L.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 80 / 124

Page 129: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 12.3

Corollary

If lim | sn+1

sn| = L ∈ R then we have lim | sn |

1n = L.

Proof.

If lim | sn+1

sn| = L, then all four values in Theorem 12.2 must equal L.

Hence by Theorem 10.7, we have lim | sn |1n = L.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 80 / 124

Page 130: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Definitions

Definition

A series is a sum of elements of a sequence:

(Partial Sum)n∑

k=m

ak ≡ am + am+1 + ...+ an

(Infinite Sum)∞∑

k=m

ak ≡ limn→∞

n∑k=m

ak

(Absolutely Convergent Sum)∞∑

k=m

| ak | ∈ R

(38)

Question: Does Convergence ⇒ Absolute Convergence? Or doesAbsolute Convergence ⇒ Convergence? Any counterexamples?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 81 / 124

Page 131: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Definitions

Definition

A series is a sum of elements of a sequence:

(Partial Sum)n∑

k=m

ak ≡ am + am+1 + ...+ an

(Infinite Sum)∞∑

k=m

ak ≡ limn→∞

n∑k=m

ak

(Absolutely Convergent Sum)∞∑

k=m

| ak | ∈ R

(38)

Question: Does Convergence ⇒ Absolute Convergence? Or doesAbsolute Convergence ⇒ Convergence? Any counterexamples?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 81 / 124

Page 132: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Some Definitions

Definition

A series is a sum of elements of a sequence:

(Partial Sum)n∑

k=m

ak ≡ am + am+1 + ...+ an

(Infinite Sum)∞∑

k=m

ak ≡ limn→∞

n∑k=m

ak

(Absolutely Convergent Sum)∞∑

k=m

| ak | ∈ R

(38)

Question: Does Convergence ⇒ Absolute Convergence? Or doesAbsolute Convergence ⇒ Convergence? Any counterexamples?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 81 / 124

Page 133: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 1

(Partial Sum)n∑

k=0

a · rk = a · 1− rn+1

1− r

(Infinite Sum)∞∑k=0

a · rk ≡ limn→∞

a · 1− rn+1

1− r

= a · 1

1− rif | r |< 1

(39)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 82 / 124

Page 134: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 1

(Partial Sum)n∑

k=0

a · rk = a · 1− rn+1

1− r

(Infinite Sum)∞∑k=0

a · rk ≡ limn→∞

a · 1− rn+1

1− r

= a · 1

1− rif | r |< 1

(39)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 82 / 124

Page 135: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 1

(Partial Sum)n∑

k=0

a · rk = a · 1− rn+1

1− r

(Infinite Sum)∞∑k=0

a · rk ≡ limn→∞

a · 1− rn+1

1− r

= a · 1

1− rif | r |< 1

(39)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 82 / 124

Page 136: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 2

Define f (p) ≡∑∞

k=11kp . Then

(Condition for convergence) f (p) <∞ if and only if p > 1

(p = 2)∞∑k=1

1

k2=π2

6

(p = 4)∞∑k=1

1

k4=π4

90

(40)

How about for general p?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 83 / 124

Page 137: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 2

Define f (p) ≡∑∞

k=11kp . Then

(Condition for convergence) f (p) <∞ if and only if p > 1

(p = 2)∞∑k=1

1

k2=π2

6

(p = 4)∞∑k=1

1

k4=π4

90

(40)

How about for general p?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 83 / 124

Page 138: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Example 2

Define f (p) ≡∑∞

k=11kp . Then

(Condition for convergence) f (p) <∞ if and only if p > 1

(p = 2)∞∑k=1

1

k2=π2

6

(p = 4)∞∑k=1

1

k4=π4

90

(40)

How about for general p?

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 83 / 124

Page 139: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Cauchy Criterion

A series is said to satisfy the Cauchy Criterion if

∀ε > 0,∃N(ε) such that m, n > ε implies |∑n

k=j ak −∑m

k=j ak |< ε.

This is of course equivalent to |∑n

k=m+1 ak |< ε.

Theorem 14.4

Theorem

A series converges if and only if it satisfies the Cauchy criterion.

Corollary 14.5

Corollary

If a series∑∞

k=0 ak converges then lim an = 0.

Proof.

Follows directly from Cauchy critierion.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 84 / 124

Page 140: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Cauchy Criterion

A series is said to satisfy the Cauchy Criterion if

∀ε > 0,∃N(ε) such that m, n > ε implies |∑n

k=j ak −∑m

k=j ak |< ε.

This is of course equivalent to |∑n

k=m+1 ak |< ε.

Theorem 14.4

Theorem

A series converges if and only if it satisfies the Cauchy criterion.

Corollary 14.5

Corollary

If a series∑∞

k=0 ak converges then lim an = 0.

Proof.

Follows directly from Cauchy critierion.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 84 / 124

Page 141: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Cauchy Criterion

A series is said to satisfy the Cauchy Criterion if

∀ε > 0,∃N(ε) such that m, n > ε implies |∑n

k=j ak −∑m

k=j ak |< ε.

This is of course equivalent to |∑n

k=m+1 ak |< ε.

Theorem 14.4

Theorem

A series converges if and only if it satisfies the Cauchy criterion.

Corollary 14.5

Corollary

If a series∑∞

k=0 ak converges then lim an = 0.

Proof.

Follows directly from Cauchy critierion.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 84 / 124

Page 142: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Cauchy Criterion

A series is said to satisfy the Cauchy Criterion if

∀ε > 0,∃N(ε) such that m, n > ε implies |∑n

k=j ak −∑m

k=j ak |< ε.

This is of course equivalent to |∑n

k=m+1 ak |< ε.

Theorem 14.4

Theorem

A series converges if and only if it satisfies the Cauchy criterion.

Corollary 14.5

Corollary

If a series∑∞

k=0 ak converges then lim an = 0.

Proof.

Follows directly from Cauchy critierion.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 84 / 124

Page 143: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Comparison Test: Theorem 14.6, Corollary 14.7

Theorem

Let∑

an be a series where an ≥ 0 for all n. Then

If∑

an converges, and | bn |≤ an for all n, then∑

bn converges.

If∑

an =∞, and bn ≥ an for all n, then∑

bn =∞ .

Proof.

Now on chalkboard!

Corollary

Absolutely convergent series are convergent.

Proof.

Now on chalkboard!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 85 / 124

Page 144: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Comparison Test: Theorem 14.6, Corollary 14.7

Theorem

Let∑

an be a series where an ≥ 0 for all n. Then

If∑

an converges, and | bn |≤ an for all n, then∑

bn converges.

If∑

an =∞, and bn ≥ an for all n, then∑

bn =∞ .

Proof.

Now on chalkboard!

Corollary

Absolutely convergent series are convergent.

Proof.

Now on chalkboard!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 85 / 124

Page 145: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Comparison Test: Theorem 14.6, Corollary 14.7

Theorem

Let∑

an be a series where an ≥ 0 for all n. Then

If∑

an converges, and | bn |≤ an for all n, then∑

bn converges.

If∑

an =∞, and bn ≥ an for all n, then∑

bn =∞ .

Proof.

Now on chalkboard!

Corollary

Absolutely convergent series are convergent.

Proof.

Now on chalkboard!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 85 / 124

Page 146: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Comparison Test: Theorem 14.6, Corollary 14.7

Theorem

Let∑

an be a series where an ≥ 0 for all n. Then

If∑

an converges, and | bn |≤ an for all n, then∑

bn converges.

If∑

an =∞, and bn ≥ an for all n, then∑

bn =∞ .

Proof.

Now on chalkboard!

Corollary

Absolutely convergent series are convergent.

Proof.

Now on chalkboard!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 85 / 124

Page 147: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Comparison Test: Theorem 14.6, Corollary 14.7

Theorem

Let∑

an be a series where an ≥ 0 for all n. Then

If∑

an converges, and | bn |≤ an for all n, then∑

bn converges.

If∑

an =∞, and bn ≥ an for all n, then∑

bn =∞ .

Proof.

Now on chalkboard!

Corollary

Absolutely convergent series are convergent.

Proof.

Now on chalkboard!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 85 / 124

Page 148: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Root Test: Theorem 14.9

Theorem

Let∑

an be a series and let α = lim sup | an |1n . Then

∑an converges absolutely if α < 1.∑an diverges if α > 1.

The test gives no information if α = 1.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 86 / 124

Page 149: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Root Test: Theorem 14.9

Theorem

Let∑

an be a series and let α = lim sup | an |1n . Then∑

an converges absolutely if α < 1.

∑an diverges if α > 1.

The test gives no information if α = 1.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 86 / 124

Page 150: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Root Test: Theorem 14.9

Theorem

Let∑

an be a series and let α = lim sup | an |1n . Then∑

an converges absolutely if α < 1.∑an diverges if α > 1.

The test gives no information if α = 1.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 86 / 124

Page 151: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Root Test: Theorem 14.9

Theorem

Let∑

an be a series and let α = lim sup | an |1n . Then∑

an converges absolutely if α < 1.∑an diverges if α > 1.

The test gives no information if α = 1.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 86 / 124

Page 152: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Root Test

Proof.

If α < 1, select ε > 0 somall enough so that α + ε < 1. Then, byDefinition 10.6 there is an N ∈ N such that

α− ε < sup{| an |

1n : n > N

}< α + ε (41)

In particular, we have | an |1n< α + ε so

| an |< (α + ε)n (42)

By Comparison, and the fact that α+ ε < 1, we have∑

an converges

If α > 1, then a subsequence of | an |1n has limit α > 1, and so

an 6→ 0. By Corollary 14.5, our series cannot converge.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 87 / 124

Page 153: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test: Theorem 14.8

Theorem

Let∑

an be a series where an 6= 0 for all n. Then

∑an converges absolutely if lim sup | an+1

an| < 1.∑

an diverges if lim inf | an+1

an| > 1.

If lim inf | an+1

an| ≤ 1 ≤ lim sup | an+1

an| then the test gives no

information.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 88 / 124

Page 154: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test: Theorem 14.8

Theorem

Let∑

an be a series where an 6= 0 for all n. Then∑an converges absolutely if lim sup | an+1

an| < 1.

∑an diverges if lim inf | an+1

an| > 1.

If lim inf | an+1

an| ≤ 1 ≤ lim sup | an+1

an| then the test gives no

information.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 88 / 124

Page 155: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test: Theorem 14.8

Theorem

Let∑

an be a series where an 6= 0 for all n. Then∑an converges absolutely if lim sup | an+1

an| < 1.∑

an diverges if lim inf | an+1

an| > 1.

If lim inf | an+1

an| ≤ 1 ≤ lim sup | an+1

an| then the test gives no

information.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 88 / 124

Page 156: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test: Theorem 14.8

Theorem

Let∑

an be a series where an 6= 0 for all n. Then∑an converges absolutely if lim sup | an+1

an| < 1.∑

an diverges if lim inf | an+1

an| > 1.

If lim inf | an+1

an| ≤ 1 ≤ lim sup | an+1

an| then the test gives no

information.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 88 / 124

Page 157: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test

Proof.

Let α = lim sup | an |1n . Then, by Theorem 12.2 we have

lim inf | an+1

an| ≤ α ≤ lim sup | an+1

an| (43)

If lim sup | an+1

an| < 1, then α < 1 and the series converges by the

Root Test.

If lim inf | an+1

an| > 1, then α > 1 and the series diverges by the Root

Test.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 89 / 124

Page 158: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test

Proof.

Let α = lim sup | an |1n . Then, by Theorem 12.2 we have

lim inf | an+1

an| ≤ α ≤ lim sup | an+1

an| (43)

If lim sup | an+1

an| < 1, then α < 1 and the series converges by the

Root Test.

If lim inf | an+1

an| > 1, then α > 1 and the series diverges by the Root

Test.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 89 / 124

Page 159: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Ratio Test

Proof.

Let α = lim sup | an |1n . Then, by Theorem 12.2 we have

lim inf | an+1

an| ≤ α ≤ lim sup | an+1

an| (43)

If lim sup | an+1

an| < 1, then α < 1 and the series converges by the

Root Test.

If lim inf | an+1

an| > 1, then α > 1 and the series diverges by the Root

Test.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 89 / 124

Page 160: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n

∑∞n=0

nn2+3∑∞

n=01

n2+1∑∞n=0

n3n∑∞

n=0

(2

−3−(−1)n

)n∑∞

n=0 2(−1)n−n∑∞

n=1(−1)n√

n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 161: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n∑∞n=0

nn2+3

∑∞n=0

1n2+1∑∞

n=0n3n∑∞

n=0

(2

−3−(−1)n

)n∑∞

n=0 2(−1)n−n∑∞

n=1(−1)n√

n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 162: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n∑∞n=0

nn2+3∑∞

n=01

n2+1

∑∞n=0

n3n∑∞

n=0

(2

−3−(−1)n

)n∑∞

n=0 2(−1)n−n∑∞

n=1(−1)n√

n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 163: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n∑∞n=0

nn2+3∑∞

n=01

n2+1∑∞n=0

n3n

∑∞n=0

(2

−3−(−1)n

)n∑∞

n=0 2(−1)n−n∑∞

n=1(−1)n√

n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 164: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n∑∞n=0

nn2+3∑∞

n=01

n2+1∑∞n=0

n3n∑∞

n=0

(2

−3−(−1)n

)n

∑∞n=0 2(−1)

n−n∑∞n=1

(−1)n√n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 165: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n∑∞n=0

nn2+3∑∞

n=01

n2+1∑∞n=0

n3n∑∞

n=0

(2

−3−(−1)n

)n∑∞

n=0 2(−1)n−n

∑∞n=1

(−1)n√n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 166: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

∑∞n=0

(−1

3

)n∑∞n=0

nn2+3∑∞

n=01

n2+1∑∞n=0

n3n∑∞

n=0

(2

−3−(−1)n

)n∑∞

n=0 2(−1)n−n∑∞

n=1(−1)n√

n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 90 / 124

Page 167: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Alternating Series and Integral Test

Recall the Comparison test. One can extend this thinking to comparisonwith an appropriate integral and Riemann sum. Consider

∫∞1

1xp , for

example.

Also, periodically changing signs may help us in terms of achievingconvergence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 91 / 124

Page 168: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Alternating Series and Integral Test

Recall the Comparison test. One can extend this thinking to comparisonwith an appropriate integral and Riemann sum. Consider

∫∞1

1xp , for

example.

Also, periodically changing signs may help us in terms of achievingconvergence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 91 / 124

Page 169: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 15.3

Theorem

If a1 ≥ a2 ≥ ... ≥ an ≥ .. ≥ 0 and lim an = 0 then∑

(−1)nan <∞.

Proof: In book.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 92 / 124

Page 170: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 15.3

Theorem

If a1 ≥ a2 ≥ ... ≥ an ≥ .. ≥ 0 and lim an = 0 then∑

(−1)nan <∞.

Proof: In book.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 92 / 124

Page 171: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

HW Questions

12.1, 12.2, 12.3

12.4, 12.6, 12.8, 12.10, 12.13, 12.14

14.1, 14.2, 14.3, 14.6, 14.7, 14.9

15.1, 15.2, 15.5, 15.7

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 93 / 124

Page 172: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions

Definition

The domain of a function f is the set on which f is defined, and iswritten dom(f ).

We work with real valued functions. This means f (x) ∈ R for allx ∈ dom(f ).

The natural domain of a function f is the largest subset of R onwhich f is defined.

A function f is continuous at x∗ ∈ dom(f ) if for every sequence{xn} ⊆ dom(f ) with lim xn = x∗, we have lim f (xn) = f (x∗)

If f is continuous at every point x ∈ S ⊆ dom(f ), then f is said to becontinuous on S.

If f is continuous at every point x ∈ dom(f ), then f is said to becontinuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 94 / 124

Page 173: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions

Definition

The domain of a function f is the set on which f is defined, and iswritten dom(f ).

We work with real valued functions. This means f (x) ∈ R for allx ∈ dom(f ).

The natural domain of a function f is the largest subset of R onwhich f is defined.

A function f is continuous at x∗ ∈ dom(f ) if for every sequence{xn} ⊆ dom(f ) with lim xn = x∗, we have lim f (xn) = f (x∗)

If f is continuous at every point x ∈ S ⊆ dom(f ), then f is said to becontinuous on S.

If f is continuous at every point x ∈ dom(f ), then f is said to becontinuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 94 / 124

Page 174: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions

Definition

The domain of a function f is the set on which f is defined, and iswritten dom(f ).

We work with real valued functions. This means f (x) ∈ R for allx ∈ dom(f ).

The natural domain of a function f is the largest subset of R onwhich f is defined.

A function f is continuous at x∗ ∈ dom(f ) if for every sequence{xn} ⊆ dom(f ) with lim xn = x∗, we have lim f (xn) = f (x∗)

If f is continuous at every point x ∈ S ⊆ dom(f ), then f is said to becontinuous on S.

If f is continuous at every point x ∈ dom(f ), then f is said to becontinuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 94 / 124

Page 175: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions

Definition

The domain of a function f is the set on which f is defined, and iswritten dom(f ).

We work with real valued functions. This means f (x) ∈ R for allx ∈ dom(f ).

The natural domain of a function f is the largest subset of R onwhich f is defined.

A function f is continuous at x∗ ∈ dom(f ) if for every sequence{xn} ⊆ dom(f ) with lim xn = x∗, we have lim f (xn) = f (x∗)

If f is continuous at every point x ∈ S ⊆ dom(f ), then f is said to becontinuous on S.

If f is continuous at every point x ∈ dom(f ), then f is said to becontinuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 94 / 124

Page 176: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions

Definition

The domain of a function f is the set on which f is defined, and iswritten dom(f ).

We work with real valued functions. This means f (x) ∈ R for allx ∈ dom(f ).

The natural domain of a function f is the largest subset of R onwhich f is defined.

A function f is continuous at x∗ ∈ dom(f ) if for every sequence{xn} ⊆ dom(f ) with lim xn = x∗, we have lim f (xn) = f (x∗)

If f is continuous at every point x ∈ S ⊆ dom(f ), then f is said to becontinuous on S.

If f is continuous at every point x ∈ dom(f ), then f is said to becontinuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 94 / 124

Page 177: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Definitions

Definition

The domain of a function f is the set on which f is defined, and iswritten dom(f ).

We work with real valued functions. This means f (x) ∈ R for allx ∈ dom(f ).

The natural domain of a function f is the largest subset of R onwhich f is defined.

A function f is continuous at x∗ ∈ dom(f ) if for every sequence{xn} ⊆ dom(f ) with lim xn = x∗, we have lim f (xn) = f (x∗)

If f is continuous at every point x ∈ S ⊆ dom(f ), then f is said to becontinuous on S.

If f is continuous at every point x ∈ dom(f ), then f is said to becontinuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 94 / 124

Page 178: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.2

Theorem

Let f be a real valued function whose domain is a subset of R. Then f iscontinuous at x∗ ∈ dom(f ) if and only if ∀ε > 0 there exists a δ > 0 suchthat x ∈ dom(f ) and | x − x∗ |< δ imply | f (x)− f (x∗) |< ε

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 95 / 124

Page 179: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Assume f (0) = 0 and

f (x) = x2 sin ( 1x ). Prove f is continuous at 0.

f (x) = 1x sin ( 1

x2). Prove f is not continuous at 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 96 / 124

Page 180: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Assume f (0) = 0 and

f (x) = x2 sin ( 1x ). Prove f is continuous at 0.

f (x) = 1x sin ( 1

x2). Prove f is not continuous at 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 96 / 124

Page 181: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.3

Theorem

Let f be a real valued function whose domain is a subset of R. If f iscontinuous at x∗ ∈ dom(f ), then | f | and k · f , k ∈ R, are continuous atx∗.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 97 / 124

Page 182: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.4

Theorem

Let f , g be real valued functions that are continuous at x∗ ∈ R. Then

f + g is continuous at x∗.

f · g is continuous at x∗.fg is continuous at x∗.

As an example, max(f , g) = 12(f + g) + 1

2 | f − g | is continuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 98 / 124

Page 183: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.4

Theorem

Let f , g be real valued functions that are continuous at x∗ ∈ R. Then

f + g is continuous at x∗.

f · g is continuous at x∗.

fg is continuous at x∗.

As an example, max(f , g) = 12(f + g) + 1

2 | f − g | is continuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 98 / 124

Page 184: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.4

Theorem

Let f , g be real valued functions that are continuous at x∗ ∈ R. Then

f + g is continuous at x∗.

f · g is continuous at x∗.fg is continuous at x∗.

As an example, max(f , g) = 12(f + g) + 1

2 | f − g | is continuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 98 / 124

Page 185: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.4

Theorem

Let f , g be real valued functions that are continuous at x∗ ∈ R. Then

f + g is continuous at x∗.

f · g is continuous at x∗.fg is continuous at x∗.

As an example, max(f , g) = 12(f + g) + 1

2 | f − g | is continuous.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 98 / 124

Page 186: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.5

Theorem

If f is continuous at x∗ ∈ R, and g is continuous at f (x∗) then g(f (x)) iscontinuous at x∗.

Proof.

By definition of continuity, g(yn)→ g(f (x∗)) for all sequences {yn}where yn → f (x∗).

Since f (x) is continuous at x∗, for all sequences {xn} where xn → x∗,it follows that f (xn)→ f (x∗).

Hence, g(f (xn))→ g(f (x∗)) for all sequences {xn} where xn → x∗.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 99 / 124

Page 187: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 17.5

Theorem

If f is continuous at x∗ ∈ R, and g is continuous at f (x∗) then g(f (x)) iscontinuous at x∗.

Proof.

By definition of continuity, g(yn)→ g(f (x∗)) for all sequences {yn}where yn → f (x∗).

Since f (x) is continuous at x∗, for all sequences {xn} where xn → x∗,it follows that f (xn)→ f (x∗).

Hence, g(f (xn))→ g(f (x∗)) for all sequences {xn} where xn → x∗.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 99 / 124

Page 188: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.1

Theorem

If f is continuous on an closed interval [a, b], then it is a bounded function.Moreover, f assumes its maximum and minimum values on [a, b].

Proof.

Assume that f is unbounded on [a, b]. Then ∀n ∈ N, ∃xn ∈ [a, b] suchthat | f (xn) |> n

But, by Bolzano-Weirstrass, there exists a subsequence {xnk}∞k=1 such that

xnk → x0 ∈ [a, b]. Since f is continuous at x0, we have by definitionf (xnk )→ f (x0). This contradicts the assumption | f (xn) |> n, and so f isbounded. Proof of attainment of extrema in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 100 / 124

Page 189: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.1

Theorem

If f is continuous on an closed interval [a, b], then it is a bounded function.Moreover, f assumes its maximum and minimum values on [a, b].

Proof.

Assume that f is unbounded on [a, b]. Then ∀n ∈ N, ∃xn ∈ [a, b] suchthat | f (xn) |> n

But, by Bolzano-Weirstrass, there exists a subsequence {xnk}∞k=1 such that

xnk → x0 ∈ [a, b]. Since f is continuous at x0, we have by definitionf (xnk )→ f (x0). This contradicts the assumption | f (xn) |> n, and so f isbounded. Proof of attainment of extrema in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 100 / 124

Page 190: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.1

Theorem

If f is continuous on an closed interval [a, b], then it is a bounded function.Moreover, f assumes its maximum and minimum values on [a, b].

Proof.

Assume that f is unbounded on [a, b]. Then ∀n ∈ N, ∃xn ∈ [a, b] suchthat | f (xn) |> n

But, by Bolzano-Weirstrass, there exists a subsequence {xnk}∞k=1 such that

xnk → x0 ∈ [a, b]. Since f is continuous at x0, we have by definitionf (xnk )→ f (x0). This contradicts the assumption | f (xn) |> n, and so f isbounded.

Proof of attainment of extrema in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 100 / 124

Page 191: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.1

Theorem

If f is continuous on an closed interval [a, b], then it is a bounded function.Moreover, f assumes its maximum and minimum values on [a, b].

Proof.

Assume that f is unbounded on [a, b]. Then ∀n ∈ N, ∃xn ∈ [a, b] suchthat | f (xn) |> n

But, by Bolzano-Weirstrass, there exists a subsequence {xnk}∞k=1 such that

xnk → x0 ∈ [a, b]. Since f is continuous at x0, we have by definitionf (xnk )→ f (x0). This contradicts the assumption | f (xn) |> n, and so f isbounded. Proof of attainment of extrema in book!

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 100 / 124

Page 192: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.2 : Intermediate Value Theorem

Theorem

If f is continuous and real-valued on an interval I , then whenevera, b ∈ I , a < b, and f (a) < y < f (b) then there exists at least onex ∈ (a, b) such that f (x) = y.

Proof.

Without loss of generality, assume f (a) < y < f (b). DefineS = {x ∈ [a, b] : f (x) < y}. Since a ∈ S , S is non-empty.,so x0 = sup Srepresents a number in [a, b]. For each n ∈ N, x0 − 1

n is not an upperbound for S . This implies the existence of a sequence {sn} ⊆ S such thatx0 − 1

n < sn ≤ x0. Thus, lim sn = x0 and since f (sn) < y for all n, we havef (x0) = lim f (sn) ≤ y .

Let tn = min{

b, x0 + 1n

}. Since x0 ≤ tn ≤ x0 + 1

n we have lim tn = x0.Each tn belongs to [a, b] , but not to S , so f (tn) ≥ y for all n. Therefore,f (x0) = lim f (tn) ≥ y . This implies f (x0) = y .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 101 / 124

Page 193: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.2 : Intermediate Value Theorem

Theorem

If f is continuous and real-valued on an interval I , then whenevera, b ∈ I , a < b, and f (a) < y < f (b) then there exists at least onex ∈ (a, b) such that f (x) = y.

Proof.

Without loss of generality, assume f (a) < y < f (b). DefineS = {x ∈ [a, b] : f (x) < y}. Since a ∈ S , S is non-empty.,so x0 = sup Srepresents a number in [a, b]. For each n ∈ N, x0 − 1

n is not an upperbound for S . This implies the existence of a sequence {sn} ⊆ S such thatx0 − 1

n < sn ≤ x0. Thus, lim sn = x0 and since f (sn) < y for all n, we havef (x0) = lim f (sn) ≤ y .

Let tn = min{

b, x0 + 1n

}. Since x0 ≤ tn ≤ x0 + 1

n we have lim tn = x0.Each tn belongs to [a, b] , but not to S , so f (tn) ≥ y for all n. Therefore,f (x0) = lim f (tn) ≥ y . This implies f (x0) = y .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 101 / 124

Page 194: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 18.2 : Intermediate Value Theorem

Theorem

If f is continuous and real-valued on an interval I , then whenevera, b ∈ I , a < b, and f (a) < y < f (b) then there exists at least onex ∈ (a, b) such that f (x) = y.

Proof.

Without loss of generality, assume f (a) < y < f (b). DefineS = {x ∈ [a, b] : f (x) < y}. Since a ∈ S , S is non-empty.,so x0 = sup Srepresents a number in [a, b]. For each n ∈ N, x0 − 1

n is not an upperbound for S . This implies the existence of a sequence {sn} ⊆ S such thatx0 − 1

n < sn ≤ x0. Thus, lim sn = x0 and since f (sn) < y for all n, we havef (x0) = lim f (sn) ≤ y .

Let tn = min{

b, x0 + 1n

}. Since x0 ≤ tn ≤ x0 + 1

n we have lim tn = x0.Each tn belongs to [a, b] , but not to S , so f (tn) ≥ y for all n. Therefore,f (x0) = lim f (tn) ≥ y . This implies f (x0) = y .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 101 / 124

Page 195: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 18.3, Theorem 18.4, and some Examples

Corollary

If f is continuous, real-valued on an interval I , then the setf (I ) = {f (x) : x ∈ I} is also an interval or a single point.

Examples

Let f be a continuous function mapping [0, 1] into [0, 1]. Then f hasa fixed point, i.e. a point x0 ∈ [0, 1] such that f (x0) = x0

If y > 0 and m ∈ N, then y has a positive mth root.

Theorem

Let f be a continuous, strictly increasing function on some interval I .Then f (I ) is an interval J by Corollary 18.3, and f −1 represents a functionwith domain J. The function f −1 is a continuous strictly increasingfunction on J.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 102 / 124

Page 196: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 18.3, Theorem 18.4, and some Examples

Corollary

If f is continuous, real-valued on an interval I , then the setf (I ) = {f (x) : x ∈ I} is also an interval or a single point.

Examples

Let f be a continuous function mapping [0, 1] into [0, 1]. Then f hasa fixed point, i.e. a point x0 ∈ [0, 1] such that f (x0) = x0

If y > 0 and m ∈ N, then y has a positive mth root.

Theorem

Let f be a continuous, strictly increasing function on some interval I .Then f (I ) is an interval J by Corollary 18.3, and f −1 represents a functionwith domain J. The function f −1 is a continuous strictly increasingfunction on J.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 102 / 124

Page 197: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 18.3, Theorem 18.4, and some Examples

Corollary

If f is continuous, real-valued on an interval I , then the setf (I ) = {f (x) : x ∈ I} is also an interval or a single point.

Examples

Let f be a continuous function mapping [0, 1] into [0, 1]. Then f hasa fixed point, i.e. a point x0 ∈ [0, 1] such that f (x0) = x0

If y > 0 and m ∈ N, then y has a positive mth root.

Theorem

Let f be a continuous, strictly increasing function on some interval I .Then f (I ) is an interval J by Corollary 18.3, and f −1 represents a functionwith domain J. The function f −1 is a continuous strictly increasingfunction on J.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 102 / 124

Page 198: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Corollary 18.3, Theorem 18.4, and some Examples

Corollary

If f is continuous, real-valued on an interval I , then the setf (I ) = {f (x) : x ∈ I} is also an interval or a single point.

Examples

Let f be a continuous function mapping [0, 1] into [0, 1]. Then f hasa fixed point, i.e. a point x0 ∈ [0, 1] such that f (x0) = x0

If y > 0 and m ∈ N, then y has a positive mth root.

Theorem

Let f be a continuous, strictly increasing function on some interval I .Then f (I ) is an interval J by Corollary 18.3, and f −1 represents a functionwith domain J. The function f −1 is a continuous strictly increasingfunction on J.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 102 / 124

Page 199: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorems 18.5, 18.6

Theorem

Let g be a strictly increasing function on an interval J such that g(J) isan interval I . Then g is continuous on J.

Theorem

Let f be a one-to-one continuous function on an interval I . Then f isstrictly increasing or strictly decreasing.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 103 / 124

Page 200: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorems 18.5, 18.6

Theorem

Let g be a strictly increasing function on an interval J such that g(J) isan interval I . Then g is continuous on J.

Theorem

Let f be a one-to-one continuous function on an interval I . Then f isstrictly increasing or strictly decreasing.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 103 / 124

Page 201: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity

Definition 19.1:

Definition

Let f be a real valued function defined on a set S ⊆ R.

Then f is uniformly continuous on S if ∀ε > 0 there exists a δ > 0 suchthat x , y ∈ S and | x − y |< δ imply | f (x)− f (y) |< ε.

We say f is uniformly continuous if it is uniformly continuous on dom(f ).

Example 2: Let f (x) = 1x2

and fix a > 0. Then f is uniformly cts on[a,∞).

Example 4: Let f (x) = x2 and fix a > 0. Then f is uniformly cts on[−a, a].

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 104 / 124

Page 202: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity

Definition 19.1:

Definition

Let f be a real valued function defined on a set S ⊆ R.

Then f is uniformly continuous on S if ∀ε > 0 there exists a δ > 0 suchthat x , y ∈ S and | x − y |< δ imply | f (x)− f (y) |< ε.

We say f is uniformly continuous if it is uniformly continuous on dom(f ).

Example 2: Let f (x) = 1x2

and fix a > 0. Then f is uniformly cts on[a,∞).

Example 4: Let f (x) = x2 and fix a > 0. Then f is uniformly cts on[−a, a].

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 104 / 124

Page 203: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity

Definition 19.1:

Definition

Let f be a real valued function defined on a set S ⊆ R.

Then f is uniformly continuous on S if ∀ε > 0 there exists a δ > 0 suchthat x , y ∈ S and | x − y |< δ imply | f (x)− f (y) |< ε.

We say f is uniformly continuous if it is uniformly continuous on dom(f ).

Example 2: Let f (x) = 1x2

and fix a > 0. Then f is uniformly cts on[a,∞).

Example 4: Let f (x) = x2 and fix a > 0. Then f is uniformly cts on[−a, a].

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 104 / 124

Page 204: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity

Definition 19.1:

Definition

Let f be a real valued function defined on a set S ⊆ R.

Then f is uniformly continuous on S if ∀ε > 0 there exists a δ > 0 suchthat x , y ∈ S and | x − y |< δ imply | f (x)− f (y) |< ε.

We say f is uniformly continuous if it is uniformly continuous on dom(f ).

Example 2: Let f (x) = 1x2

and fix a > 0. Then f is uniformly cts on[a,∞).

Example 4: Let f (x) = x2 and fix a > 0. Then f is uniformly cts on[−a, a].

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 104 / 124

Page 205: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity

Definition 19.1:

Definition

Let f be a real valued function defined on a set S ⊆ R.

Then f is uniformly continuous on S if ∀ε > 0 there exists a δ > 0 suchthat x , y ∈ S and | x − y |< δ imply | f (x)− f (y) |< ε.

We say f is uniformly continuous if it is uniformly continuous on dom(f ).

Example 2: Let f (x) = 1x2

and fix a > 0. Then f is uniformly cts on[a,∞).

Example 4: Let f (x) = x2 and fix a > 0. Then f is uniformly cts on[−a, a].

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 104 / 124

Page 206: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity: Theorem 19.2

Theorem

Let f be continuous function on a closed interval [a, b]. Then f isuniformly continuous on [a, b]

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 105 / 124

Page 207: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity: Theorem 19.2

Proof.

For sake of contradiction, assume that f is not uniformly continuous.

Then, ∀δ > 0, there exists x , y ∈ [a, b] such that | x − y |< δ and| f (x)− f (y) |≥ ε. It follows that for each n ∈ N, there existsxn, yn ∈ [a, b] such that | xn − yn |< 1

n and | f (xn)− f (yn) |≥ ε. By theBolzano- Weirstrass Theorem, a subsequence {xnk} converges to a limitx∗ ∈ [a, b], and ynk → x∗ as well. But, f is cts at x∗ and so

limk→∞

f (xnk ) = f (x∗) = limk→∞

f (ynk )

limk→∞

[f (xnk )− f (ynk )] = 0(44)

This contradicts the assumption above that | f (xnk )− f (ynk ) |≥ ε for allk .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 106 / 124

Page 208: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity: Theorem 19.2

Proof.

For sake of contradiction, assume that f is not uniformly continuous.Then, ∀δ > 0, there exists x , y ∈ [a, b] such that | x − y |< δ and| f (x)− f (y) |≥ ε.

It follows that for each n ∈ N, there existsxn, yn ∈ [a, b] such that | xn − yn |< 1

n and | f (xn)− f (yn) |≥ ε. By theBolzano- Weirstrass Theorem, a subsequence {xnk} converges to a limitx∗ ∈ [a, b], and ynk → x∗ as well. But, f is cts at x∗ and so

limk→∞

f (xnk ) = f (x∗) = limk→∞

f (ynk )

limk→∞

[f (xnk )− f (ynk )] = 0(44)

This contradicts the assumption above that | f (xnk )− f (ynk ) |≥ ε for allk .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 106 / 124

Page 209: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity: Theorem 19.2

Proof.

For sake of contradiction, assume that f is not uniformly continuous.Then, ∀δ > 0, there exists x , y ∈ [a, b] such that | x − y |< δ and| f (x)− f (y) |≥ ε. It follows that for each n ∈ N, there existsxn, yn ∈ [a, b] such that | xn − yn |< 1

n and | f (xn)− f (yn) |≥ ε. By theBolzano- Weirstrass Theorem, a subsequence {xnk} converges to a limitx∗ ∈ [a, b], and ynk → x∗ as well.

But, f is cts at x∗ and so

limk→∞

f (xnk ) = f (x∗) = limk→∞

f (ynk )

limk→∞

[f (xnk )− f (ynk )] = 0(44)

This contradicts the assumption above that | f (xnk )− f (ynk ) |≥ ε for allk .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 106 / 124

Page 210: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Continuity: Theorem 19.2

Proof.

For sake of contradiction, assume that f is not uniformly continuous.Then, ∀δ > 0, there exists x , y ∈ [a, b] such that | x − y |< δ and| f (x)− f (y) |≥ ε. It follows that for each n ∈ N, there existsxn, yn ∈ [a, b] such that | xn − yn |< 1

n and | f (xn)− f (yn) |≥ ε. By theBolzano- Weirstrass Theorem, a subsequence {xnk} converges to a limitx∗ ∈ [a, b], and ynk → x∗ as well. But, f is cts at x∗ and so

limk→∞

f (xnk ) = f (x∗) = limk→∞

f (ynk )

limk→∞

[f (xnk )− f (ynk )] = 0(44)

This contradicts the assumption above that | f (xnk )− f (ynk ) |≥ ε for allk .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 106 / 124

Page 211: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 19.4

Theorem

Let f be uniformly continuous on a set S and {sn} a Cauchy sequence inS. Then {f (sn)} is a Cauchy sequence.

Proof.

Let {sn} a Cauchy sequence in S and let ε > 0. Since f is uniformlycontinuous on S , there exists δ > 0 where x , y ∈ S and | x − y |< δ imply| f (x)− f (y) |< ε.

Since {sn} is a Cauchy sequence, there exists N suchthat m, n > N implies | sn − sm |< δ. But by definition of UniCts, we havem, n > N implies | f (sn)− f (sm) |< ε. Hence, f (sn) is Cauchy.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 107 / 124

Page 212: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 19.4

Theorem

Let f be uniformly continuous on a set S and {sn} a Cauchy sequence inS. Then {f (sn)} is a Cauchy sequence.

Proof.

Let {sn} a Cauchy sequence in S and let ε > 0. Since f is uniformlycontinuous on S , there exists δ > 0 where x , y ∈ S and | x − y |< δ imply| f (x)− f (y) |< ε. Since {sn} is a Cauchy sequence, there exists N suchthat m, n > N implies | sn − sm |< δ. But by definition of UniCts, we havem, n > N implies | f (sn)− f (sm) |< ε. Hence, f (sn) is Cauchy.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 107 / 124

Page 213: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 19.4: Example

Example 6: f (x) = 1x2

is not uniformly continuous.

To show this, take the Cauchy sequence

{sn}∞n=1 :={

1n+1

}∞n=1⊂ (0, 1).

Then f (sn) = (n + 1)2 and is not Cauchy.

Hence, f is not uniformly continuous on (0, 1)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 108 / 124

Page 214: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Function Extensions

If f is a real valued function and f̃ is defined such that

dom(f ) ⊂ dom(f̃ )

f̃ (x) = f (x) on dom(f )

then f̃ is an extension of f .

Example 7: Extend f (x) = x sin ( 1x )

Example 8: Extend g(x) = sin ( 1x )

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 109 / 124

Page 215: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Function Extensions

If f is a real valued function and f̃ is defined such that

dom(f ) ⊂ dom(f̃ )

f̃ (x) = f (x) on dom(f )

then f̃ is an extension of f .

Example 7: Extend f (x) = x sin ( 1x )

Example 8: Extend g(x) = sin ( 1x )

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 109 / 124

Page 216: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorems 19.5, 19.6

Theorem

A real-valued function f on (a, b) is uniformly continuous on (a, b) if andonly if it can be extended to a continuous function f̃ on [a, b].

Theorem

Let f be a real-valued continuous function on an interval I . Let I o be theinterval obtained by removing from I any endpoints that happen to be inI . If f is differentiable on I o and if f ′ is bounded on I o , then f is uniformlycontinuous on I .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 110 / 124

Page 217: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorems 19.5, 19.6

Theorem

A real-valued function f on (a, b) is uniformly continuous on (a, b) if andonly if it can be extended to a continuous function f̃ on [a, b].

Theorem

Let f be a real-valued continuous function on an interval I . Let I o be theinterval obtained by removing from I any endpoints that happen to be inI . If f is differentiable on I o and if f ′ is bounded on I o , then f is uniformlycontinuous on I .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 110 / 124

Page 218: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Power Series

Given a sequence of real numbers {an}∞n=0, the series∑∞

n=0 anxn is calleda Power Series. It turns out that one of the following holds for the powerseries:

the power series converges for all x ∈ Rthe power series converges only for x = 0

the power series converges only for values of x ∈ I , where I is abounded interval centered at 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 111 / 124

Page 219: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Power Series

Given a sequence of real numbers {an}∞n=0, the series∑∞

n=0 anxn is calleda Power Series. It turns out that one of the following holds for the powerseries:

the power series converges for all x ∈ R

the power series converges only for x = 0

the power series converges only for values of x ∈ I , where I is abounded interval centered at 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 111 / 124

Page 220: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Power Series

Given a sequence of real numbers {an}∞n=0, the series∑∞

n=0 anxn is calleda Power Series. It turns out that one of the following holds for the powerseries:

the power series converges for all x ∈ Rthe power series converges only for x = 0

the power series converges only for values of x ∈ I , where I is abounded interval centered at 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 111 / 124

Page 221: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Power Series

Given a sequence of real numbers {an}∞n=0, the series∑∞

n=0 anxn is calleda Power Series. It turns out that one of the following holds for the powerseries:

the power series converges for all x ∈ Rthe power series converges only for x = 0

the power series converges only for values of x ∈ I , where I is abounded interval centered at 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 111 / 124

Page 222: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 23.1

Theorem

For the power series∑∞

n=0 anxn, let

β = lim sup | an |1n

R =1

β

R = 0 if β =∞R =∞ if β = 0

(45)

Then

the power series converges for | x |< R

the power series diverges for | x |> R

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 112 / 124

Page 223: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 23.1

Theorem

For the power series∑∞

n=0 anxn, let

β = lim sup | an |1n

R =1

β

R = 0 if β =∞R =∞ if β = 0

(45)

Then

the power series converges for | x |< R

the power series diverges for | x |> R

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 112 / 124

Page 224: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Theorem 23.1

Theorem

For the power series∑∞

n=0 anxn, let

β = lim sup | an |1n

R =1

β

R = 0 if β =∞R =∞ if β = 0

(45)

Then

the power series converges for | x |< R

the power series diverges for | x |> R

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 112 / 124

Page 225: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 226: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 227: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 228: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 229: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 230: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 231: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Examples

Consider:

Example 1 :∑∞

n=01n!x

n

Example 2 :∑∞

n=0 xn

Example 3 :∑∞

n=01nxn

Example 4 :∑∞

n=01n2

xn

Example 5 :∑∞

n=0 n!xn

Example 6 :∑∞

n=0 2−nx3n

Example 7 :∑∞

n=0(−1)n+1

n (x − 1)n

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 113 / 124

Page 232: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Pointwise Convergence

Definition 24.1: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges pointwise on S to a function f if lim fn(x) = f (x) for allx ∈ S .

Example 2: Let fn(x) = xn for x ∈ [0, 1]. Then fn(x)→ f (x) ≡ 1{x=1}.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 pointwise

on R.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 114 / 124

Page 233: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Pointwise Convergence

Definition 24.1: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges pointwise on S to a function f if lim fn(x) = f (x) for allx ∈ S .

Example 2: Let fn(x) = xn for x ∈ [0, 1]. Then fn(x)→ f (x) ≡ 1{x=1}.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 pointwise

on R.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 114 / 124

Page 234: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Pointwise Convergence

Definition 24.1: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges pointwise on S to a function f if lim fn(x) = f (x) for allx ∈ S .

Example 2: Let fn(x) = xn for x ∈ [0, 1]. Then fn(x)→ f (x) ≡ 1{x=1}.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 pointwise

on R.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 114 / 124

Page 235: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Pointwise Convergence

Definition 24.1: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges pointwise on S to a function f if lim fn(x) = f (x) for allx ∈ S .

Example 2: Let fn(x) = xn for x ∈ [0, 1]. Then fn(x)→ f (x) ≡ 1{x=1}.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 pointwise

on R.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 114 / 124

Page 236: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 24.2: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges uniformly on S to a function f if ∀ε > 0 there exists anumber N such that | fn(x)− f (x) |< ε for all x ∈ S and all n > N.

Example 3: Let fn(x) = (1− | x |)n for x ∈ (−1, 1). Thenfn(x)→ f (x) ≡ 1{x=0} pointwise, but not uniformly.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 uniformly

on R.

Example 5: Let fn(x) = nxn for x ∈ [0, 1). Then fn(x)→ 0 pointwise on[0, 1), but again not uniformly.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 115 / 124

Page 237: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 24.2: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges uniformly on S to a function f if ∀ε > 0 there exists anumber N such that | fn(x)− f (x) |< ε for all x ∈ S and all n > N.

Example 3: Let fn(x) = (1− | x |)n for x ∈ (−1, 1). Thenfn(x)→ f (x) ≡ 1{x=0} pointwise, but not uniformly.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 uniformly

on R.

Example 5: Let fn(x) = nxn for x ∈ [0, 1). Then fn(x)→ 0 pointwise on[0, 1), but again not uniformly.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 115 / 124

Page 238: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 24.2: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges uniformly on S to a function f if ∀ε > 0 there exists anumber N such that | fn(x)− f (x) |< ε for all x ∈ S and all n > N.

Example 3: Let fn(x) = (1− | x |)n for x ∈ (−1, 1). Thenfn(x)→ f (x) ≡ 1{x=0} pointwise, but not uniformly.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 uniformly

on R.

Example 5: Let fn(x) = nxn for x ∈ [0, 1). Then fn(x)→ 0 pointwise on[0, 1), but again not uniformly.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 115 / 124

Page 239: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 24.2: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges uniformly on S to a function f if ∀ε > 0 there exists anumber N such that | fn(x)− f (x) |< ε for all x ∈ S and all n > N.

Example 3: Let fn(x) = (1− | x |)n for x ∈ (−1, 1). Thenfn(x)→ f (x) ≡ 1{x=0} pointwise, but not uniformly.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 uniformly

on R.

Example 5: Let fn(x) = nxn for x ∈ [0, 1). Then fn(x)→ 0 pointwise on[0, 1), but again not uniformly.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 115 / 124

Page 240: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 24.2: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn converges uniformly on S to a function f if ∀ε > 0 there exists anumber N such that | fn(x)− f (x) |< ε for all x ∈ S and all n > N.

Example 3: Let fn(x) = (1− | x |)n for x ∈ (−1, 1). Thenfn(x)→ f (x) ≡ 1{x=0} pointwise, but not uniformly.

Example 4: Let fn(x) = 1n sin (nx) for x ∈ R. Then fn(x)→ 0 uniformly

on R.

Example 5: Let fn(x) = nxn for x ∈ [0, 1). Then fn(x)→ 0 pointwise on[0, 1), but again not uniformly.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 115 / 124

Page 241: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence: Theorem 24.3

Theorem

The uniform limit of a sequence of continuous function is continuous.

Proof.

(Sketch)By the Triangle Inequality,

| f (x)− f (x∗) | ≤| f (x)− fn(x) | + | fn(x)− fn(x∗) | + | fn(x∗)− f (x∗) |(46)

Uniform continuity forces the first term ahead of the inequality to be < ε3

for all n ≥ N(ε3

)+ 1. And, for all x such that | x − x∗ |< δ

(ε3

), we have

the second term < ε3 . The third term follows from pointwise convergence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 116 / 124

Page 242: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence: Theorem 24.3

Theorem

The uniform limit of a sequence of continuous function is continuous.

Proof.

(Sketch)By the Triangle Inequality,

| f (x)− f (x∗) | ≤| f (x)− fn(x) | + | fn(x)− fn(x∗) | + | fn(x∗)− f (x∗) |(46)

Uniform continuity forces the first term ahead of the inequality to be < ε3

for all n ≥ N(ε3

)+ 1. And, for all x such that | x − x∗ |< δ

(ε3

), we have

the second term < ε3 . The third term follows from pointwise convergence.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 116 / 124

Page 243: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Remark 24.4: fn(x) converges uniformly on S if and only iflimn→∞[sup {| fn(x)− f (x) |: x ∈ S}] = 0

Example 7: Let fn(x) = x1+nx2

for x ∈ R. Use the above remark to showif the sequence converges uniformly on R or not.

Proof.

Notice that f ′n(x) = 1−nx2(1+nx2)

. It follows that fn attains its max at xn = 1√n

with value fn(xn) = 12√n

.It follows that

limn→∞[sup {| fn(x)− f (x) |: x ∈ S}] = limn→∞[ 12√n

] = 0.

Example 8: Let fn(x) = xn(1− x) for x ∈ [0, 1]. Use the above remark toshow if the sequence converges uniformly on [0, 1] or not.

Proof.

fn attains its max at xn = 1n+1 with value fn(xn) = n

(n+1)n . It follows that

limn→∞[sup {| fn(x)− f (x) |: x ∈ S}] = limn→∞n

(n+1)n+1 = 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 117 / 124

Page 244: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Remark 24.4: fn(x) converges uniformly on S if and only iflimn→∞[sup {| fn(x)− f (x) |: x ∈ S}] = 0

Example 7: Let fn(x) = x1+nx2

for x ∈ R. Use the above remark to showif the sequence converges uniformly on R or not.

Proof.

Notice that f ′n(x) = 1−nx2(1+nx2)

. It follows that fn attains its max at xn = 1√n

with value fn(xn) = 12√n

.It follows that

limn→∞[sup {| fn(x)− f (x) |: x ∈ S}] = limn→∞[ 12√n

] = 0.

Example 8: Let fn(x) = xn(1− x) for x ∈ [0, 1]. Use the above remark toshow if the sequence converges uniformly on [0, 1] or not.

Proof.

fn attains its max at xn = 1n+1 with value fn(xn) = n

(n+1)n . It follows that

limn→∞[sup {| fn(x)− f (x) |: x ∈ S}] = limn→∞n

(n+1)n+1 = 0.

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 117 / 124

Page 245: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 25.3: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn is uniformly Cauchy on S if ∀ε > 0 there exists a number N suchthat | fn(x)− fm(x) |< ε for all x ∈ S and all m, n > N.

Theorem 25.4: Let fn be a sequence of uniformly Cauchy functions on aset S ⊆ R. Then there exists a function f on S such that fn → funiformly on S

Theorem 25.5: Let∑∞

k=0 gk be a series of functions on a set S ⊆ R.Suppose that each gk is continuous on S and that the series convergesuniformly on S . Then the series is a continuous function on S .

Theorem 25.6: Let∑∞

k=0 gk be a series of functions that satisfies theCauchy criterion uniformly on a set S ⊆ R. Then the series convergesuniformly on S .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 118 / 124

Page 246: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 25.3: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn is uniformly Cauchy on S if ∀ε > 0 there exists a number N suchthat | fn(x)− fm(x) |< ε for all x ∈ S and all m, n > N.

Theorem 25.4: Let fn be a sequence of uniformly Cauchy functions on aset S ⊆ R. Then there exists a function f on S such that fn → funiformly on S

Theorem 25.5: Let∑∞

k=0 gk be a series of functions on a set S ⊆ R.Suppose that each gk is continuous on S and that the series convergesuniformly on S . Then the series is a continuous function on S .

Theorem 25.6: Let∑∞

k=0 gk be a series of functions that satisfies theCauchy criterion uniformly on a set S ⊆ R. Then the series convergesuniformly on S .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 118 / 124

Page 247: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 25.3: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn is uniformly Cauchy on S if ∀ε > 0 there exists a number N suchthat | fn(x)− fm(x) |< ε for all x ∈ S and all m, n > N.

Theorem 25.4: Let fn be a sequence of uniformly Cauchy functions on aset S ⊆ R. Then there exists a function f on S such that fn → funiformly on S

Theorem 25.5: Let∑∞

k=0 gk be a series of functions on a set S ⊆ R.Suppose that each gk is continuous on S and that the series convergesuniformly on S . Then the series is a continuous function on S .

Theorem 25.6: Let∑∞

k=0 gk be a series of functions that satisfies theCauchy criterion uniformly on a set S ⊆ R. Then the series convergesuniformly on S .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 118 / 124

Page 248: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Uniform Convergence

Definition 25.3: Let {fn} be a sequence of real valued functions definedon a set S ⊆ R.

Then fn is uniformly Cauchy on S if ∀ε > 0 there exists a number N suchthat | fn(x)− fm(x) |< ε for all x ∈ S and all m, n > N.

Theorem 25.4: Let fn be a sequence of uniformly Cauchy functions on aset S ⊆ R. Then there exists a function f on S such that fn → funiformly on S

Theorem 25.5: Let∑∞

k=0 gk be a series of functions on a set S ⊆ R.Suppose that each gk is continuous on S and that the series convergesuniformly on S . Then the series is a continuous function on S .

Theorem 25.6: Let∑∞

k=0 gk be a series of functions that satisfies theCauchy criterion uniformly on a set S ⊆ R. Then the series convergesuniformly on S .

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 118 / 124

Page 249: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Weirstrass M-test

Theorem 25.4: Let Mk be a sequence of nonnegative real numbers where∑∞k=0 Mk <∞. If | gk |≤ Mk for all x ∈ S , then

∑∞k=0 gk converges

uniformly on S .

Proof To verify the Cauchy criterion on S , let ε > 0. Since the series∑Mk converges, it satisfies the Cauchy criterion.So there exists a number

N such that n ≥ m > N implies |∑n

k=m Mk |< ε. Hence, if n ≥ m > Nand x ∈ S , then

|n∑

k=m

gk(x) |≤n∑

k=m

| gk(x) |≤n∑

k=m

Mk < ε. (47)

It follows that the series∑

gk satisfies the Cauchy criterion uniformly onS and the Theorem 25.6 shows that it converges uniformly on S .

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 119 / 124

Page 250: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Weirstrass M-test

Theorem 25.4: Let Mk be a sequence of nonnegative real numbers where∑∞k=0 Mk <∞. If | gk |≤ Mk for all x ∈ S , then

∑∞k=0 gk converges

uniformly on S .

Proof To verify the Cauchy criterion on S , let ε > 0. Since the series∑Mk converges, it satisfies the Cauchy criterion.

So there exists a numberN such that n ≥ m > N implies |

∑nk=m Mk |< ε. Hence, if n ≥ m > N

and x ∈ S , then

|n∑

k=m

gk(x) |≤n∑

k=m

| gk(x) |≤n∑

k=m

Mk < ε. (47)

It follows that the series∑

gk satisfies the Cauchy criterion uniformly onS and the Theorem 25.6 shows that it converges uniformly on S .

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 119 / 124

Page 251: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Weirstrass M-test

Theorem 25.4: Let Mk be a sequence of nonnegative real numbers where∑∞k=0 Mk <∞. If | gk |≤ Mk for all x ∈ S , then

∑∞k=0 gk converges

uniformly on S .

Proof To verify the Cauchy criterion on S , let ε > 0. Since the series∑Mk converges, it satisfies the Cauchy criterion.So there exists a number

N such that n ≥ m > N implies |∑n

k=m Mk |< ε.

Hence, if n ≥ m > Nand x ∈ S , then

|n∑

k=m

gk(x) |≤n∑

k=m

| gk(x) |≤n∑

k=m

Mk < ε. (47)

It follows that the series∑

gk satisfies the Cauchy criterion uniformly onS and the Theorem 25.6 shows that it converges uniformly on S .

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 119 / 124

Page 252: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Weirstrass M-test

Theorem 25.4: Let Mk be a sequence of nonnegative real numbers where∑∞k=0 Mk <∞. If | gk |≤ Mk for all x ∈ S , then

∑∞k=0 gk converges

uniformly on S .

Proof To verify the Cauchy criterion on S , let ε > 0. Since the series∑Mk converges, it satisfies the Cauchy criterion.So there exists a number

N such that n ≥ m > N implies |∑n

k=m Mk |< ε. Hence, if n ≥ m > Nand x ∈ S , then

|n∑

k=m

gk(x) |≤n∑

k=m

| gk(x) |≤n∑

k=m

Mk < ε. (47)

It follows that the series∑

gk satisfies the Cauchy criterion uniformly onS and the Theorem 25.6 shows that it converges uniformly on S .

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 119 / 124

Page 253: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Weirstrass M-test

Theorem 25.4: Let Mk be a sequence of nonnegative real numbers where∑∞k=0 Mk <∞. If | gk |≤ Mk for all x ∈ S , then

∑∞k=0 gk converges

uniformly on S .

Proof To verify the Cauchy criterion on S , let ε > 0. Since the series∑Mk converges, it satisfies the Cauchy criterion.So there exists a number

N such that n ≥ m > N implies |∑n

k=m Mk |< ε. Hence, if n ≥ m > Nand x ∈ S , then

|n∑

k=m

gk(x) |≤n∑

k=m

| gk(x) |≤n∑

k=m

Mk < ε. (47)

It follows that the series∑

gk satisfies the Cauchy criterion uniformly onS and the Theorem 25.6 shows that it converges uniformly on S .

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 119 / 124

Page 254: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

The following are nice applications of the Weirstrass M-Test:

Theorem 26.1: Let∑∞

n=0 anxn be a power series with radius ofconvergence R. If 0 < R1 < R, then the power series converges uniformlyon [−R1,R1] to a continuous function.

Corollary 26.2: The power series∑∞

n=0 anxn converges to a continuousfunction on the open interval (−R,R).

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 120 / 124

Page 255: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

The following are nice applications of the Weirstrass M-Test:

Theorem 26.1: Let∑∞

n=0 anxn be a power series with radius ofconvergence R. If 0 < R1 < R, then the power series converges uniformlyon [−R1,R1] to a continuous function.

Corollary 26.2: The power series∑∞

n=0 anxn converges to a continuousfunction on the open interval (−R,R).

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 120 / 124

Page 256: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Lemma 26.3: If the power series∑∞

n=0 anxn has radius of convergence R,then the related power series

∑∞n=0 nanxn−1 and

∑∞n=0

ann+1xn+1 also have

radius of convergence R.

Proof First observe that∑∞

n=0 nanxn−1 and∑∞

n=0 nanxn have the sameradius of convergence, as do the pair

∑∞n=0

ann+1xn+1 and

∑∞n=0

ann+1xn.

Next recall that R = 1β and β = lim sup | an |

1n . For the series

∑∞n=0 nanxn

we consider lim sup n | an |1n = lim sup n

1n | an |

1n . Since lim n

1n = 1, it

follows that lim sup n | an |1n = β. Hence the series

∑nanxn has a radius

of convergence R. Similar work goes into proving the result for∑∞n=0

ann+1xn+1

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 121 / 124

Page 257: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Lemma 26.3: If the power series∑∞

n=0 anxn has radius of convergence R,then the related power series

∑∞n=0 nanxn−1 and

∑∞n=0

ann+1xn+1 also have

radius of convergence R.

Proof First observe that∑∞

n=0 nanxn−1 and∑∞

n=0 nanxn have the sameradius of convergence, as do the pair

∑∞n=0

ann+1xn+1 and

∑∞n=0

ann+1xn.

Next recall that R = 1β and β = lim sup | an |

1n . For the series

∑∞n=0 nanxn

we consider lim sup n | an |1n = lim sup n

1n | an |

1n . Since lim n

1n = 1, it

follows that lim sup n | an |1n = β. Hence the series

∑nanxn has a radius

of convergence R. Similar work goes into proving the result for∑∞n=0

ann+1xn+1

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 121 / 124

Page 258: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Lemma 26.3: If the power series∑∞

n=0 anxn has radius of convergence R,then the related power series

∑∞n=0 nanxn−1 and

∑∞n=0

ann+1xn+1 also have

radius of convergence R.

Proof First observe that∑∞

n=0 nanxn−1 and∑∞

n=0 nanxn have the sameradius of convergence, as do the pair

∑∞n=0

ann+1xn+1 and

∑∞n=0

ann+1xn.

Next recall that R = 1β and β = lim sup | an |

1n . For the series

∑∞n=0 nanxn

we consider lim sup n | an |1n = lim sup n

1n | an |

1n . Since lim n

1n = 1, it

follows that lim sup n | an |1n = β. Hence the series

∑nanxn has a radius

of convergence R. Similar work goes into proving the result for∑∞n=0

ann+1xn+1

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 121 / 124

Page 259: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Lemma 26.3: If the power series∑∞

n=0 anxn has radius of convergence R,then the related power series

∑∞n=0 nanxn−1 and

∑∞n=0

ann+1xn+1 also have

radius of convergence R.

Proof First observe that∑∞

n=0 nanxn−1 and∑∞

n=0 nanxn have the sameradius of convergence, as do the pair

∑∞n=0

ann+1xn+1 and

∑∞n=0

ann+1xn.

Next recall that R = 1β and β = lim sup | an |

1n . For the series

∑∞n=0 nanxn

we consider lim sup n | an |1n = lim sup n

1n | an |

1n . Since lim n

1n = 1, it

follows that lim sup n | an |1n = β. Hence the series

∑nanxn has a radius

of convergence R. Similar work goes into proving the result for∑∞n=0

ann+1xn+1

QED

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 121 / 124

Page 260: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Theorem 25.2: Let fn be a sequence of continuous functions on [a, b],and suppose that fn → f uniformly on [a, b]. Then

limn→∞

∫ b

afn(x)dx =

∫ b

af (x)dx (48)

A useful application of this theorem for power series is

Theorem 26.4: Suppose that f (x) =∑∞

0 anxn has a radius ofconvergence R > 0. Then, for | x |< R we have∫ x

0f (t)dt =

∞∑n=0

ann + 1

xn+1 (49)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 122 / 124

Page 261: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Theorem 25.2: Let fn be a sequence of continuous functions on [a, b],and suppose that fn → f uniformly on [a, b]. Then

limn→∞

∫ b

afn(x)dx =

∫ b

af (x)dx (48)

A useful application of this theorem for power series is

Theorem 26.4: Suppose that f (x) =∑∞

0 anxn has a radius ofconvergence R > 0. Then, for | x |< R we have∫ x

0f (t)dt =

∞∑n=0

ann + 1

xn+1 (49)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 122 / 124

Page 262: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Theorem 25.2: Let fn be a sequence of continuous functions on [a, b],and suppose that fn → f uniformly on [a, b]. Then

limn→∞

∫ b

afn(x)dx =

∫ b

af (x)dx (48)

A useful application of this theorem for power series is

Theorem 26.4: Suppose that f (x) =∑∞

0 anxn has a radius ofconvergence R > 0. Then, for | x |< R we have∫ x

0f (t)dt =

∞∑n=0

ann + 1

xn+1 (49)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 122 / 124

Page 263: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Theorem 26.5: Suppose that f (x) =∑∞

0 anxn has a radius ofconvergence R > 0. Then, for | x |< R we have f is differentiable and

f ′(x) =∞∑n=1

nanxn−1 (50)

ProofBegin with g(x) =

∑∞n=1 nanxn−1, which Lemma 26.3 guarantees is

convergent for | x |< R. Theorem 26.4 shows that we can integrate g termby term ∫ x

0g(t)dt =

∞∑n=1

anxn = f (x)− a0 for | x |< R. (51)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 123 / 124

Page 264: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Theorem 26.5: Suppose that f (x) =∑∞

0 anxn has a radius ofconvergence R > 0. Then, for | x |< R we have f is differentiable and

f ′(x) =∞∑n=1

nanxn−1 (50)

ProofBegin with g(x) =

∑∞n=1 nanxn−1, which Lemma 26.3 guarantees is

convergent for | x |< R. Theorem 26.4 shows that we can integrate g termby term

∫ x

0g(t)dt =

∞∑n=1

anxn = f (x)− a0 for | x |< R. (51)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 123 / 124

Page 265: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

Theorem 26.5: Suppose that f (x) =∑∞

0 anxn has a radius ofconvergence R > 0. Then, for | x |< R we have f is differentiable and

f ′(x) =∞∑n=1

nanxn−1 (50)

ProofBegin with g(x) =

∑∞n=1 nanxn−1, which Lemma 26.3 guarantees is

convergent for | x |< R. Theorem 26.4 shows that we can integrate g termby term ∫ x

0g(t)dt =

∞∑n=1

anxn = f (x)− a0 for | x |< R. (51)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 123 / 124

Page 266: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

So, if 0 < R1 < R then

f (x) =

∫ x

−R1

g(t)dt + k for | x |< R1. (52)

where k is a constant. By the continuity of g and the FTC, we know thatf is differentiable and that f ′(x) = g(x)QED

Example 1 Recall∑∞

n=0 xn = 11−x for | x |< 1. Differentiating, and

integrating, term by term, we obtain for | x |< 1,

∞∑n=1

nxn−1 =1

(1− x)2

∞∑n=1

1

n + 1xn+1 =

∫ x

0

1

1− tdt = − ln (1− x)

(53)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 124 / 124

Page 267: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

So, if 0 < R1 < R then

f (x) =

∫ x

−R1

g(t)dt + k for | x |< R1. (52)

where k is a constant. By the continuity of g and the FTC, we know thatf is differentiable and that f ′(x) = g(x)

QED

Example 1 Recall∑∞

n=0 xn = 11−x for | x |< 1. Differentiating, and

integrating, term by term, we obtain for | x |< 1,

∞∑n=1

nxn−1 =1

(1− x)2

∞∑n=1

1

n + 1xn+1 =

∫ x

0

1

1− tdt = − ln (1− x)

(53)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 124 / 124

Page 268: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

So, if 0 < R1 < R then

f (x) =

∫ x

−R1

g(t)dt + k for | x |< R1. (52)

where k is a constant. By the continuity of g and the FTC, we know thatf is differentiable and that f ′(x) = g(x)QED

Example 1 Recall∑∞

n=0 xn = 11−x for | x |< 1. Differentiating, and

integrating, term by term, we obtain for | x |< 1,

∞∑n=1

nxn−1 =1

(1− x)2

∞∑n=1

1

n + 1xn+1 =

∫ x

0

1

1− tdt = − ln (1− x)

(53)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 124 / 124

Page 269: Elementary Analysis: The Theory of Calculususers.math.msu.edu/users/albert/math320.pdf · Elementary Analysis: The Theory of Calculus Albert Cohen C336 Wells Hall Department of Mathematics

Differentiation and Integration of Power Series

So, if 0 < R1 < R then

f (x) =

∫ x

−R1

g(t)dt + k for | x |< R1. (52)

where k is a constant. By the continuity of g and the FTC, we know thatf is differentiable and that f ′(x) = g(x)QED

Example 1 Recall∑∞

n=0 xn = 11−x for | x |< 1. Differentiating, and

integrating, term by term, we obtain for | x |< 1,

∞∑n=1

nxn−1 =1

(1− x)2

∞∑n=1

1

n + 1xn+1 =

∫ x

0

1

1− tdt = − ln (1− x)

(53)

Albert Cohen (MSU) Lecture Notes: Math 320 MSU Spring Semester 2013 124 / 124