3.3 Introduction to Infinite Sequences and Series

Transcription

1 3.3 Introduction to Infinite Sequences and Series The concept of limits and the related concepts of sequences underscores most, if not all, of the topics which we now call calculus. Here we focus directly on infinite sequences and their convergence, in preparation for the large and extensive topic of infinite series. In short, a series is a sequence created by summing the terms of a sequence; both concepts involve limits and grappling with the concept so central to calculus: infinity Resources An introduction to sequences a standard part of single variable calculus. It is covered in every calculus textbook. For example, one might look at * Section. in Calculus, Early Transcendentals (th ed., 2006) by Thomas, Weir, Hass, Giordano (Pearson) * Section. in Calculus, Early Transcendentals (6th ed., 2008) by Stewart (Cengage) * Section 8. in Calculus, Early Transcendentals (st ed., 20) by Tan (Cengage) * Sections 9. and 9.2 Calculus, Early Transcendentals (th ed., 2009) by Anton, Bivens, Davis (John Wiley & Sons) * Section 0. in the Whitman College online textbook. * I recommend Paul Dawkins calculus notes: Paul Dawkins calculus notes and here. * And, of course, there is always Wikipedia: Wikipedia What is a sequence? An infinite sequence of real numbers is merely an infinite list For example, a, a 2, a 3,...., 3, 5, 7, 9,..., 2n,... or 2., 2, 4, 8,...,,... 2n or 3., + 2, , ,..., n 4.,, 2, 3, 5, 8, 3, 2,... or even 5. 3, 3, 3, 3,... The elements in the sequence need not have a pattern imagine a machine selecting real numbers at random to generate the list. But in general, we will try to find a pattern; we hope that for any positive integer n we can predict the n-th term, Formally, a sequence {a n } is a function a : N R with domain the natural numbers (N) and codomain the real numbers (R). We will write a n instead of a(n) and speak of a n as the n-th term of the sequence.

2 We seek a general formula for a n. Occasionally, we will be content with a recurrence relation, writing a n in terms of earlier terms. The fourth example, above, obeys the recurrence a n := a n + a n 2 The sequences in the examples above may be written as follows:. {a n } where a n := 2n. (We could write this more compactly as {2n }.) 2. {a n } where a n := 2 n, 3. {a n } where a n := = 2 2 n+ 2n 4. a n := a n + a n 2, and 5. {a n } where a n := Convergence of sequences Since a sequence involves an infinite number of terms, we can ask questions about the behavior of the sequence as the index n go to infinity. In particular, the limit of a sequence is defined to be lim a n. If n this limit exists (and is finite), we say the sequence converges to the limit. If this limit does not exist or if it is infinite, we say the sequence diverges. For example, with the sequence above,. {2n } diverges to infinity. 2. { } converges to 0. 2n 3. { n } converges to The sequence defined by a n := a n + a n 2 diverges and 5. {3} converges to 3. We want to determine if sequences converge or diverge. We will calculate the limit of a n as n goes to infinity. For example, if the sequence is { n } then so the sequence converges to zero. If the sequence is { 2n + 3 n + } then lim a n = lim n n n = 0 lim a 2n + 3 n = lim n n n + = 2 so the sequence converges to two. 2n Since lim n n + = the sequence + 3 {2n2 n + } diverges. The sequence a n = cos( πn 6 ) does not have a limit so the sequence {cos( πn 6 )} diverges. 2

3 Convergence tools and L hopital s rule There are a variety of tools we need to compute limits of sequences. One tool is L hopital s rule. There are other algebraic tools. Consider the sequence defined by a n := 2n2 + n 3 n 2 + 7n. We can determine the limit in several ways. One way is to divide top and bottom by n 2 (we are looking for the highest power of n occurring in the fraction.) This leads to computing the limit of lim a 2 + n n := lim 3 n 2 n n + 7 n = = 2 = 2. Or we could use L hopital s rule twice on the sequence: 2n 2 + n 3 4n + lim n n 2 = lim + 7n n 2n + 7 = lim 4 n 2 = 2. There are other techniques. A useful technique with sequence involving powers of n is to first find the limit of the logarithm. Once we find the limit, we need to undo the logarithm... For example, suppose our sequence is a n := ( + 2/n) n. Write out the first five terms of the sequence. Then guess its limit. This is not easy. The first five terms are 3, 4, 25 27, 8 6, If we compute the logarithm of this sequence, we have ln(a n ) = ln(( + 2/n) n ) = n ln( + 2/n). It turns out that we can use L hopital s rule conveniently if we write this sequence as ln(a n ) = ln( + 2/n). /n Now, as n goes to infinity, we have an indeterminate form ( 0 0 ) and L hopital s rule applies. Taking the derivative of the numerator and denominator, we have ln( + 2/n) ( lim = lim n /n n +2/n n 2 )( 2 n 2 ) Multiplying the denominator and numerator by n 2, we see that this is the same as ( +2/n = lim )( 2) = 2. n ( ) So, the logarithm of our sequence converges to 2. To what does the original sequence converge? e 2! Monotone sequences A sequence is monotone if it does not fluctuate up and down, that is, if either it never decreases from term to term, or it never increases from term to term. Here are some monotone sequences: 3

4 ., 2, 3, 4, 5,... 2., 2, 3, 4, , 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5,... 4., 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5, , 3, 3, 3, 3, 3, , 2, 3 4, 7 8,... Here are some sequences which are not monotone., 2, 3, 4, 5,... 2., 2, 3, 2, 3, 4, 3, 4, 5, {cos( πn 6 )} A sequence is bounded if there is a real number M such that a n M for all n. A useful (and obvious?) result is that a bounded monotone sequence converges. For example, the sequences below are bounded:., 2, 3, 4, 5,... 2., 2, 3 4, 7 8,... Since they are bounded and monotone, they must converge. Comparison of sequences Sometimes it is not easy to tell if a sequence converges, but we can compare it to another sequence and use the comparison to advantage. For example, consider the sequence a n := 2 + cos(n) 3n L hopital s rule will not work here since the limit lim 2 + cos(n) does not exist. n But we can notice that since cos(n) is bounded between - and, then 2 3n 2 + cos(n) 3 3n 3n We compare the sequence a n with both the sequences 2 3n and 3. Since both these sequences converge 3n to 0 and the sequence a n is squeezed or sandwiched between those two sequences, it too must converge to zero. The sandwich theorem appears in the textbook by Thomas (p. 735) where there is more information on the comparisons of sequences Sequences created by sums A major type of sequence is that created by sums. These are called series. We will spend most of our time on these series. Indeed, many functions are best viewed as infinite power series! Here is a brief, first introduction to series. Consider the sequence defined by S m := m n= 4 2 n. ()

5 is defined by a sum. Its terms (partial sums) are 2, = 3 4, = 7 8, = 5 6,... These infinite sequences defined by sums are called infinite series. This sequence is monotone (increasing) and bounded by so it converges. (Indeed, it converges to.) Many of our infinite sequences, for the remainder of the course, will be defined by sums. 5