math 1231 mathematics 1b 2009. calculus section...

17
MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 - Sequences. S1: Motivation S2: What is a sequence? S3: Limit of a sequence S4: Geometric interpretation S5: Methods for evaluating limits S6: Divergence S7: Basic limit laws S8: Bounded, monotonic sequences S9: Successive approximations. Lecture notes created by Chris Tisdell. All images are from “Thomas’ Calcu- lus” by Wier, Hass and Giordano, Pearson, 2008; and “Calculus” by Rogowski, W H Freeman & Co., 2008. 1

Upload: doankiet

Post on 09-Sep-2018

221 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

MATH 1231 MATHEMATICS 1B 2009.Calculus Section 4.2 - Sequences.

S1: Motivation

S2: What is a sequence?

S3: Limit of a sequence

S4: Geometric interpretation

S5: Methods for evaluating limits

S6: Divergence

S7: Basic limit laws

S8: Bounded, monotonic sequences

S9: Successive approximations.

Lecture notes created by Chris Tisdell. All images are from “Thomas’ Calcu-lus” by Wier, Hass and Giordano, Pearson, 2008; and “Calculus” by Rogowski,W H Freeman & Co., 2008.

1

Page 2: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

1: Motivation

Sequences are one of the most important parts of cal-culus and mathematical analysis.

Sequences occur in nature all around us and a goodunderstanding of them enable us to accurately modelmany “discrete” phenomena. For example, “Fibonacci”sequences are seen in population models (breedingof rabbits; bee ancestry code).

Sequences are also a very useful tool in approximat-ing solutions to complicated equations. For example,how can we approximate the roots of

10x− 1− cosx = 0?

2

Page 3: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

2: What is a sequence?

Sequences can be described by writing rules that spec-ify their terms, such as:

an = n2

bn = (−1)n

cn = 1/n

dn = e−n.

Or we can list the terms of the sequence:

{an} = {1,4,9, . . . , n2, . . .}{bn} = {−1,1,−1, . . . , (−1)n, . . .}{cn} = {1,1/2,1/3, . . . ,1/n, . . .}{dn} = {e−1, e−2, e−3, . . . , e−n, . . .}.

The order of the terms in a sequence is important.The sequence 1,2,3,4, . . . is not the same as thesequence 3,1,2,4, . . . .

3

Page 4: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Graphs of sequences:

4

Page 5: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

3: Limit of a sequence.

The big question that we wish to answer, is, do theterms of our sequence get closer to some finite num-ber as we go further and further along the sequence?

That is, does

limn→∞ an

exist and, if so, then what is it?

Convergence

The formal definition of a convergent sequence is similar to what you learnt in

MATH1131 for limits of functions f(x) as x →∞.

5

Page 6: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

4: Geometrical interpretation.

6

Page 7: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

5: A function method for evaluating limits.

A very useful theorem relating limits of functions tolimits of sequences is the following result:

The above result enables us to use techniques forevaluating limits of functions, such as L’Hopital’s theo-rem and squeeze theorem, and apply them to evalu-ate limits of sequences.

7

Page 8: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Ex: Discuss the behaviour of an as n →∞ where

an :=n + 4

n + 1.

8

Page 9: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Ex: Evaluate limn→∞ an where

an =(

n + 4

n + 1

)n

.

9

Page 10: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Ex: How large can n be for 1/n to be less than anygiven ε > 0? Prove formally that limn→∞ 1

n = 0.

10

Page 11: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

6: Divergence

There are two ways for a sequence an to diverge: (i)when limn→∞ an = ±∞ (ii) or when limn→∞ an

does not exist at all.

Ex: If an = n2 then we see that limn→∞ an = ∞and so n2 diverges.

Ex: If an = (−1)n then we see “oscillation” and alsothat limn→∞ an does not exist.

Ex: If an = cosn then limn→∞ an does not exist.

11

Page 12: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

7: Basic limit laws.

Ex: If an = sin(π2 −

1n) then evaluate limn→∞ an.

12

Page 13: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Ex: Show that the sequence (−1)n

n → 0.

13

Page 14: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

8: Bounded, monotonic sequences.

14

Page 15: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Note: we can replace “increasing” with “nondecreasing” and the conclusion

of the theorem still holds. Similarly, we can replace “decreasing” with “nonin-

creasing”.

15

Page 16: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

9: Successive approximations.

The method of successive approximations is a verypowerful tool that dates back to the works of Liou-ville and Picard. The method involves endeavouringto solve an equation of type

x = F (x); (1)

where F is continuous, by starting from some a0 andthen defining a sequence an of approximations by

an+1 := F (an), n = 1,2, . . .

If an converges to some a∗ then a∗ will, in fact, be asolution to (1).

Emile Picard.

“A striking feature of Picard’s scientific personality was the perfection of his

teaching, one of the most marvellous, if not the most marvellous, that I have

ever known.” (Hadamard). Between 1894 and 1937 Picard trained over 10000

engineers who were studying at the Ecole Centrale des Arts et Manufactures.

16

Page 17: MATH 1231 MATHEMATICS 1B 2009. Calculus Section …web.maths.unsw.edu.au/~cct/1231Live-Notes/1231-Sequences-2010.pdf · MATH 1231 MATHEMATICS 1B 2009. Calculus Section 4.2 ... Sequences

Ex: Consider the equation x2 − x− 1 = 0. Define asequence of successive approximations an that con-verge to a root of our quadratic.

We recast our equation in the form x = F (x), whereF (x) = x2 − 1. We now examine the recursivelydefined sequence

an+1 = a2n − 1

and choose a0 = −1/2. If limn→∞ an exists then itwill be a root of our original equation.

We can show that limn→∞ an exists by verifying byinduction that: (i) an+1 ≤ an; (ii) an ≥ −1.

Thus, the an is nonincreasing and bounded below.The previous theorem ensures that limn→∞ an exists.

Independent learning exercise: There are two rootsto our quadratic. Which one will our sequence an con-verge to?

17