Sequences

In this section, we introduce sequences and define what it means for a sequence to converge or diverge. We show how to find limits of sequences that converge, often by using the properties of limits for functions discussed earlier. We close this section with the Monotone Convergence Theorem, a tool we can use to prove that certain types of sequences converge.

Terminology of Sequences

To work with this new topic, we need some new terms and definitions. First, an infinite sequence is an ordered list of numbers of the form

a1,a2,a3,…,an,….

Each of the numbers in the sequence is called a term. The symbol n

is called the index variable for the sequence. We use the notation

{an}n=1,or simply{an},

to denote this sequence. A similar notation is used for sets, but a sequence is an ordered list, whereas a set is not ordered. Because a particular number an

exists for each positive integer n,

we can also define a sequence as a function whose domain is the set of positive integers.

Let’s consider the infinite, ordered list

2,4,8,16,32,….

This is a sequence in which the first, second, and third terms are given by a1=2,

a2=4,

and a3=8.

You can probably see that the terms in this sequence have the following pattern:

a1=21,a2=22,a3=23,a4=24,anda5=25.

Assuming this pattern continues, we can write the nth

term in the sequence by the explicit formula an=2n.

Using this notation, we can write this sequence as

{2n}n=1or{2n}.

Alternatively, we can describe this sequence in a different way. Since each term is twice the previous term, this sequence can be defined recursively by expressing the nth

term an

in terms of the previous term an1.

In particular, we can define this sequence as the sequence {an}

where a1=2

and for all n2,

each term an

is defined by the recurrence relationan=2an1.

Definition

An infinite sequence{an}

is an ordered list of numbers of the form

a1,a2,…,an,….

The subscript n

is called the index variable of the sequence. Each number an

is a term of the sequence. Sometimes sequences are defined by explicit formulas, in which case an=f(n)

for some function f(n)

defined over the positive integers. In other cases, sequences are defined by using a recurrence relation. In a recurrence relation, one term (or more) of the sequence is given explicitly, and subsequent terms are defined in terms of earlier terms in the sequence.

Note that the index does not have to start at n=1

but could start with other integers. For example, a sequence given by the explicit formula an=f(n)

could start at n=0,

in which case the sequence would be

a0,a1,a2,….

Similarly, for a sequence defined by a recurrence relation, the term a0

may be given explicitly, and the terms an

for n1

may be defined in terms of an1.

Since a sequence {an}

has exactly one value for each positive integer n,

it can be described as a function whose domain is the set of positive integers. As a result, it makes sense to discuss the graph of a sequence. The graph of a sequence {an}

consists of all points (n,an)

for all positive integers n.

[link] shows the graph of {2n}.

A graph in quadrant one containing the following points: (1, 2), (2, 4), (3, 8), (4, 16).

Two types of sequences occur often and are given special names: arithmetic sequences and geometric sequences. In an arithmetic sequence, the difference between every pair of consecutive terms is the same. For example, consider the sequence

3,7,11,15,19,….

You can see that the difference between every consecutive pair of terms is 4.

Assuming that this pattern continues, this sequence is an arithmetic sequence. It can be described by using the recurrence relation

{a1=3an=an1+4forn2.

Note that

a2=3+4a3=3+4+4=3+2·4a4=3+4+4+4=3+3·4.

Thus the sequence can also be described using the explicit formula

an=3+4(n1)=4n1.

In general, an arithmetic sequence is any sequence of the form an=cn+b.

In a geometric sequence, the ratio of every pair of consecutive terms is the same. For example, consider the sequence

2,23,29,227,281,….

We see that the ratio of any term to the preceding term is 13.

Assuming this pattern continues, this sequence is a geometric sequence. It can be defined recursively as

a1=2an=13·an1forn2.

Alternatively, since

a2=13·2a3=(13)(13)(2)=(13)2·2a4=(13)(13)(13)(2)=(13)3·2,

we see that the sequence can be described by using the explicit formula

an=2(13)n1.

The sequence {2n}

that we discussed earlier is a geometric sequence, where the ratio of any term to the previous term is 2.

In general, a geometric sequence is any sequence of the form an=crn.

Finding Explicit Formulas

For each of the following sequences, find an explicit formula for the nth

term of the sequence.

  1. 12,23,34,45,56,…
  2. 34,97,2710,8113,24316,…
  1. First, note that the sequence is alternating from negative to positive. The odd terms in the sequence are negative, and the even terms are positive. Therefore, the nth

    term includes a factor of

    (−1)n.

    Next, consider the sequence of numerators

    {1,2,3,…}

    and the sequence of denominators

    {2,3,4,…}.

    We can see that both of these sequences are arithmetic sequences. The

    nth

    term in the sequence of numerators is

    n,

    and the

    nth

    term in the sequence of denominators is

    n+1.

    Therefore, the sequence can be described by the explicit formula


    an=(−1)nnn+1.
  2. The sequence of numerators 3,9,27,81,243,…

    is a geometric sequence. The numerator of the

    nth

    term is

    3n

    The sequence of denominators

    4,7,10,13,16,…

    is an arithmetic sequence. The denominator of the

    nth

    term is

    4+3(n1)=3n+1.

    Therefore, we can describe the sequence by the explicit formula

    an=3n3n+1.

Find an explicit formula for the nth

term of the sequence {15,17,19,111,…}.

an=(−1)n+13+2n
Hint

The denominators form an arithmetic sequence.

Defined by Recurrence Relations

For each of the following recursively defined sequences, find an explicit formula for the sequence.

  1. a1=2, an=−3an1

    for

    n2
  2. a1=12, an=an1+(12)n

    for

    n2
  1. Writing out the first few terms, we have
    a1=2a2=−3a1=−3(2)a3=−3a2=(−3)22a4=−3a3=(−3)32.

    In general,


    an=2(−3)n1.
  2. Write out the first few terms:
    a1=12a2=a1+(12)2=12+14=34a3=a2+(12)3=34+18=78a4=a3+(12)4=78+116=1516.

    From this pattern, we derive the explicit formula


    an=2n12n=112n.

Find an explicit formula for the sequence defined recursively such that a1=−4

and an=an1+6.

an=6n10
Hint

This is an arithmetic sequence.

Limit of a Sequence

A fundamental question that arises regarding infinite sequences is the behavior of the terms as n

gets larger. Since a sequence is a function defined on the positive integers, it makes sense to discuss the limit of the terms as n.

For example, consider the following four sequences and their different behaviors as n

(see [link]):

  1. {1+3n}={4,7,10,13,…}.

    The terms

    1+3n

    become arbitrarily large as

    n.

    In this case, we say that

    1+3n

    as

    n.
  2. {1(12)n}={12,34,78,1516,…}.

    The terms

    1(12)n1

    as

    n.
  3. {(−1)n}={1,1,−1,1,…}.

    The terms alternate but do not approach one single value as

    n.
  4. {(−1)nn}={−1,12,13,14,…}.

    The terms alternate for this sequence as well, but

    (−1)nn0

    as

    n.

Four graphs in quadrants 1 and 4, labeled a through d. The horizontal axis is for the value of n and the vertical axis is for the value of the term a _n. Graph a has points (1, 4), (2, 7), (3, 10), (4, 13), and (5, 16). Graph b has points (1, 1/2), (2, 3/4), (3, 7/8), and (4, 15/16). Graph c has points (1, -1), (2, 1), (3, -1), (4, 1), and (5, -1). Graph d has points (1, -1), (2, 1/2), (3, -1/3), (4, 1/4), and (5, -1/5).

From these examples, we see several possibilities for the behavior of the terms of a sequence as n.

In two of the sequences, the terms approach a finite number as n.

In the other two sequences, the terms do not. If the terms of a sequence approach a finite number L

as n,

we say that the sequence is a convergent sequence and the real number L

is the limit of the sequence. We can give an informal definition here.

Definition

Given a sequence {an},

if the terms an

become arbitrarily close to a finite number L

as n

becomes sufficiently large, we say {an}

is a convergent sequence and L

is the limit of the sequence. In this case, we write

limnan=L.

If a sequence {an}

is not convergent, we say it is a divergent sequence.

From [link], we see that the terms in the sequence {1(12)n}

are becoming arbitrarily close to 1

as n

becomes very large. We conclude that {1(12)n}

is a convergent sequence and its limit is 1.

In contrast, from [link], we see that the terms in the sequence 1+3n

are not approaching a finite number as n

becomes larger. We say that {1+3n}

is a divergent sequence.

In the informal definition for the limit of a sequence, we used the terms “arbitrarily close” and “sufficiently large.” Although these phrases help illustrate the meaning of a converging sequence, they are somewhat vague. To be more precise, we now present the more formal definition of limit for a sequence and show these ideas graphically in [link].

Definition

A sequence {an}

converges to a real number L

if for all ε>0,

there exists an integer N

such that \|anL\|<ε

if nN.

The number L

is the limit of the sequence and we write

limnan=LoranL.

In this case, we say the sequence {an}

is a convergent sequence. If a sequence does not converge, it is a divergent sequence, and we say the limit does not exist.

We remark that the convergence or divergence of a sequence {an}

depends only on what happens to the terms an

as n.

Therefore, if a finite number of terms b1,b2,…,bN

are placed before a1

to create a new sequence

b1,b2,…,bN,a1,a2,…,

this new sequence will converge if {an}

converges and diverge if {an}

diverges. Further, if the sequence {an}

converges to L,

this new sequence will also converge to L.

A graph in quadrant 1 with axes labeled n and a_n instead of x and y, respectively. A positive point N is marked on the n axis. From smallest to largest, points L – epsilon, L, and L + epsilon are marked on the a_n axis, with the same interval epsilon between L and the other two. A blue line y = L is drawn, as are red dotted ones for y = L + epsilon and L – epsilon. Points in quadrant 1 are plotted above and below these lines for x < N. However, past N, the points remain inside the lines y = L + epsilon and L – epsilon, converging on L.

As defined above, if a sequence does not converge, it is said to be a divergent sequence. For example, the sequences {1+3n}

and {(−1)n}

shown in [link] diverge. However, different sequences can diverge in different ways. The sequence {(−1)n}

diverges because the terms alternate between 1

and −1,

but do not approach one value as n.

On the other hand, the sequence {1+3n}

diverges because the terms 1+3n

as n.

We say the sequence {1+3n}

diverges to infinity and write limn(1+3n)=.

It is important to recognize that this notation does not imply the limit of the sequence {1+3n}

exists. The sequence is, in fact, divergent. Writing that the limit is infinity is intended only to provide more information about why the sequence is divergent. A sequence can also diverge to negative infinity. For example, the sequence {5n+2}

diverges to negative infinity because −5n+2

as n.

We write this as limn(−5n+2)=.

Because a sequence is a function whose domain is the set of positive integers, we can use properties of limits of functions to determine whether a sequence converges. For example, consider a sequence {an}

and a related function f

defined on all positive real numbers such that f(n)=an

for all integers n1.

Since the domain of the sequence is a subset of the domain of f,

if limxf(x)

exists, then the sequence converges and has the same limit. For example, consider the sequence {1n}

and the related function f(x)=1x.

Since the function f

defined on all real numbers x>0

satisfies f(x)=1x0

as x,

the sequence {1n}

must satisfy 1n0

as n.

Limit of a Sequence Defined by a Function

Consider a sequence {an}

such that an=f(n)

for all n1.

If there exists a real number L

such that

limxf(x)=L,

then {an}

converges and

limnan=L.

We can use this theorem to evaluate limnrn

for 0r1.

For example, consider the sequence {(1/2)n}

and the related exponential function f(x)=(1/2)x.

Since limx(1/2)x=0,

we conclude that the sequence {(1/2)n}

converges and its limit is 0.

Similarly, for any real number r

such that 0r<1,

limxrx=0,

and therefore the sequence {rn}

converges. On the other hand, if r=1,

then limxrx=1,

and therefore the limit of the sequence {1n}

is 1.

If r>1,

limxrx=,

and therefore we cannot apply this theorem. However, in this case, just as the function rx

grows without bound as n,

the terms rn

in the sequence become arbitrarily large as n,

and we conclude that the sequence {rn}

diverges to infinity if r>1.

We summarize these results regarding the geometric sequence {rn}:

rn0if0<r<1rn1ifr=1 rnifr>1.

Later in this section we consider the case when r<0.

We now consider slightly more complicated sequences. For example, consider the sequence {(2/3)n+(1/4)n}.

The terms in this sequence are more complicated than other sequences we have discussed, but luckily the limit of this sequence is determined by the limits of the two sequences {(2/3)n}

and {(1/4)n}.

As we describe in the following algebraic limit laws, since {(2/3)n}

and {1/4)n}

both converge to 0,

the sequence {(2/3)n+(1/4)n}

converges to 0+0=0.

Just as we were able to evaluate a limit involving an algebraic combination of functions f

and g

by looking at the limits of f

and g

(see Introduction to Limits), we are able to evaluate the limit of a sequence whose terms are algebraic combinations of an

and bn

by evaluating the limits of {an}

and {bn}.

Algebraic Limit Laws

Given sequences {an}

and {bn}

and any real number c,

if there exist constants A

and B

such that limnan=A

and limnbn=B,

then

  1. limnc=c
  2. limncan=climnan=cA
  3. limn(an±bn)=limnan±limnbn=A±B
  4. limn(an·bn)=(limnan)·(limnbn)=A·B
  5. limn(anbn)=limnanlimnbn=AB,

    provided

    B0

    and each

    bn0.

Proof

We prove part iii.

Let ϵ>0.

Since limnan=A,

there exists a constant positive integer N1

such that for all nN1.

Since limnbn=B,

there exists a constant N2

such that \|bnB\|<ε/2

for all nN2.

Let N

be the largest of N1

and N2.

Therefore, for all nN,

\|(an+bn)(A+B)\|\|anA\|+\|bnB\|<ε2+ε2=ε.

The algebraic limit laws allow us to evaluate limits for many sequences. For example, consider the sequence {1n2}.

As shown earlier, limn1/n=0.

Similarly, for any positive integer k,

we can conclude that

limn1nk=0.

In the next example, we make use of this fact along with the limit laws to evaluate limits for other sequences.

Determining Convergence and Finding Limits

For each of the following sequences, determine whether or not the sequence converges. If it converges, find its limit.

  1. {53n2}
  2. {3n47n2+564n4}
  3. {2nn2}
  4. {(1+4n)n}
  1. We know that 1/n0.

    Using this fact, we conclude that


    limn1n2=limn(1n).limn(1n)=0.

    Therefore,


    limn(53n2)=limn53limn1n2=53.0=5.

    The sequence converges and its limit is

    5.
  2. By factoring n4

    out of the numerator and denominator and using the limit laws above, we have


    limn3n47n2+564n4=limn37n2+5n46n44=limn(37n2+5n4)limn(6n44)=(limn(3)limn7n2+limn5n4)(limn6n4limn(4))=(limn(3)7·limn1n2+5·limn1n4)(6·limn1n4limn(4))=37·0+5·06·04=34.

    The sequence converges and its limit is

    −3/4.
  3. Consider the related function f(x)=2x/x2

    defined on all real numbers

    x>0.

    Since

    2x

    and

    x2

    as

    x,

    apply L’Hôpital’s rule and write


    limx2xx2=limx2xln22xTake the derivatives of the numerator and denominator.=limx2x(ln2)22Take the derivatives again.=.

    We conclude that the sequence diverges.

  4. Consider the function f(x)=(1+4x)x

    defined on all real numbers

    x>0.

    This function has the indeterminate form

    1

    as

    x.

    Let


    y=limx(1+4x)x.

    Now taking the natural logarithm of both sides of the equation, we obtain


    ln(y)=ln[limx(1+4x)x].

    Since the function

    f(x)=lnx

    is continuous on its domain, we can interchange the limit and the natural logarithm. Therefore,


    ln(y)=limx[ln(1+4x)x].

    Using properties of logarithms, we write


    limx[ln(1+4x)x]=limxxln(1+4x).

    Since the right-hand side of this equation has the indeterminate form

    ·0,

    rewrite it as a fraction to apply L’Hôpital’s rule. Write


    limxxln(1+4x)=limxln(1+4/x)1/x.

    Since the right-hand side is now in the indeterminate form

    0/0,

    we are able to apply L’Hôpital’s rule. We conclude that


    limxln(1+4/x)1/x=limx41+4/x=4.

    Therefore,

    ln(y)=4

    and

    y=e4.

    Therefore, since

    limx(1+4x)x=e4,

    we can conclude that the sequence

    {(1+4n)n}

    converges to

    e4.

Consider the sequence {(5n2+1)/en}.

Determine whether or not the sequence converges. If it converges, find its limit.

The sequence converges, and its limit is 0.

Hint

Use L’Hôpital’s rule.

Recall that if f

is a continuous function at a value L,

then f(x)f(L)

as xL.

This idea applies to sequences as well. Suppose a sequence anL,

and a function f

is continuous at L.

Then f(an)f(L).

This property often enables us to find limits for complicated sequences. For example, consider the sequence 53n2.

From [link]a. we know the sequence 53n25.

Since x

is a continuous function at x=5,

limn53n2=limn(53n2)=5.
Continuous Functions Defined on Convergent Sequences

Consider a sequence {an}

and suppose there exists a real number L

such that the sequence {an}

converges to L.

Suppose f

is a continuous function at L.

Then there exists an integer N

such that f

is defined at all values an

for nN,

and the sequence {f(an)}

converges to f(L)

([link]).

Proof

Let ϵ>0.

Since f

is continuous at L,

there exists δ>0

such that \|f(x)f(L)\|<ε

if \|xL\|<δ.

Since the sequence {an}

converges to L,

there exists N

such that \|anL\|<δ

for all nN.

Therefore, for all nN,

\|anL\|<δ,

which implies \|f(an)f(L)\|<ε.

We conclude that the sequence {f(an)}

converges to f(L).

A graph in quadrant 1 with points (a_1, f(a_1)), (a_3, f(a_3)), (L, f(L)), (a_4, f(a_4)), and (a_2, f(a_2)) connected by smooth curves.

Limits Involving Continuous Functions Defined on Convergent Sequences

Determine whether the sequence {cos(3/n2)}

converges. If it converges, find its limit.

Since the sequence {3/n2}

converges to 0

and cosx

is continuous at x=0,

we can conclude that the sequence {cos(3/n2)}

converges and

limncos(3n2)=cos(0)=1.

Determine if the sequence {2n+13n+5}

converges. If it converges, find its limit.

The sequence converges, and its limit is 2/3.

Hint

Consider the sequence {2n+13n+5}.

Another theorem involving limits of sequences is an extension of the Squeeze Theorem for limits discussed in Introduction to Limits.

Squeeze Theorem for Sequences

Consider sequences {an},

{bn},

and {cn}.

Suppose there exists an integer N

such that

anbncnfor allnN.

If there exists a real number L

such that

limnan=L=limncn,

then {bn}

converges and limnbn=L

([link]).

Proof

Let ε>0.

Since the sequence {an}

converges to L,

there exists an integer N1

such that \|anL\|<ε

for all nN1.

Similarly, since {cn}

converges to L,

there exists an integer N2

such that \|cnL\|<ε

for all nN2.

By assumption, there exists an integer N

such that anbncn

for all nN.

Let M

be the largest of N1,N2,

and N.

We must show that \|bnL\|<ε

for all nM.

For all nM,

ε<\|anL\|anLbnLcnL\|cnL\|<ε.

Therefore, ε<bnL<ε,

and we conclude that \|bnL\|<ε

for all nM,

and we conclude that the sequence {bn}

converges to L.

A graph in quadrant 1 with the line y = L and the x axis labeled as the n axis. Points are plotted above and below the line, converging to L as n goes to infinity. Points a_n, b_n, and c_n are plotted at the same n-value. A_n and b_n are above y = L, and c_n is below it.

Using the Squeeze Theorem

Use the Squeeze Theorem to find the limit of each of the following sequences.

  1. {cosnn2}
  2. {(12)n}
  1. Since −1cosn1

    for all integers

    n,

    we have


    1n2cosnn21n2.

    Since

    −1/n20

    and

    1/n20,

    we conclude that

    cosn/n20

    as well.

  2. Since
    12n(12)n12n

    for all positive integers

    n, −1/2n0

    and

    1/2n0,

    we can conclude that

    (−1/2)n0.

Find limn2nsinnn.

2
Hint

Use the fact that −1sinn1.

Using the idea from [link]b. we conclude that rn0

for any real number r

such that −1<r<0.

If r<1,

the sequence {rn}

diverges because the terms oscillate and become arbitrarily large in magnitude. If r=−1,

the sequence {rn}={(−1)n}

diverges, as discussed earlier. Here is a summary of the properties for geometric sequences.

rn0if\|r\|<1
rn1ifr=1
rnifr>1
{rn}diverges ifr1

Bounded Sequences

We now turn our attention to one of the most important theorems involving sequences: the Monotone Convergence Theorem. Before stating the theorem, we need to introduce some terminology and motivation. We begin by defining what it means for a sequence to be bounded.

Definition

A sequence {an}

is bounded above if there exists a real number M

such that

anM

for all positive integers n.

A sequence {an}

is bounded below if there exists a real number M

such that

Man

for all positive integers n.

A sequence {an}

is a bounded sequence if it is bounded above and bounded below.

If a sequence is not bounded, it is an unbounded sequence.

For example, the sequence {1/n}

is bounded above because 1/n1

for all positive integers n.

It is also bounded below because 1/n0

for all positive integers n. Therefore, {1/n}

is a bounded sequence. On the other hand, consider the sequence {2n}.

Because 2n2

for all n1,

the sequence is bounded below. However, the sequence is not bounded above. Therefore, {2n}

is an unbounded sequence.

We now discuss the relationship between boundedness and convergence. Suppose a sequence {an}

is unbounded. Then it is not bounded above, or not bounded below, or both. In either case, there are terms an

that are arbitrarily large in magnitude as n

gets larger. As a result, the sequence {an}

cannot converge. Therefore, being bounded is a necessary condition for a sequence to converge.

Convergent Sequences Are Bounded

If a sequence {an}

converges, then it is bounded.

Note that a sequence being bounded is not a sufficient condition for a sequence to converge. For example, the sequence {(−1)n}

is bounded, but the sequence diverges because the sequence oscillates between 1

and −1

and never approaches a finite number. We now discuss a sufficient (but not necessary) condition for a bounded sequence to converge.

Consider a bounded sequence {an}.

Suppose the sequence {an}

is increasing. That is, a1a2a3.

Since the sequence is increasing, the terms are not oscillating. Therefore, there are two possibilities. The sequence could diverge to infinity, or it could converge. However, since the sequence is bounded, it is bounded above and the sequence cannot diverge to infinity. We conclude that {an}

converges. For example, consider the sequence

{12,23,34,45,…}.

Since this sequence is increasing and bounded above, it converges. Next, consider the sequence

{2,0,3,0,4,0,1,12,13,14,…}.

Even though the sequence is not increasing for all values of n,

we see that −1/2<1/3<1/4<.

Therefore, starting with the eighth term, a8=−1/2,

the sequence is increasing. In this case, we say the sequence is eventually increasing. Since the sequence is bounded above, it converges. It is also true that if a sequence is decreasing (or eventually decreasing) and bounded below, it also converges.

Definition

A sequence {an}

is increasing for all nn0

if

anan+1for allnn0.

A sequence {an}

is decreasing for all nn0

if

anan+1for allnn0.

A sequence {an}

is a monotone sequence for all nn0

if it is increasing for all nn0

or decreasing for all nn0.

We now have the necessary definitions to state the Monotone Convergence Theorem, which gives a sufficient condition for convergence of a sequence.

Monotone Convergence Theorem

If {an}

is a bounded sequence and there exists a positive integer n0

such that {an}

is monotone for all nn0,

then {an}

converges.

The proof of this theorem is beyond the scope of this text. Instead, we provide a graph to show intuitively why this theorem makes sense ([link]).

A graph in quadrant 1 with the x and y axes labeled n and a_n, respectively. A dotted horizontal is drawn from the a_n axis into quadrant 1. Many points are plotted under the dotted line, increasing in a_n value and converging to the dotted line.

In the following example, we show how the Monotone Convergence Theorem can be used to prove convergence of a sequence.

Using the Monotone Convergence Theorem

For each of the following sequences, use the Monotone Convergence Theorem to show the sequence converges and find its limit.

  1. {4nn!}
  2. {an}

    defined recursively such that


    a1=2andan+1=an2+12anfor alln2.
  1. Writing out the first few terms, we see that
    {4nn!}={4,8,323,323,12815,…}.

    At first, the terms increase. However, after the third term, the terms decrease. In fact, the terms decrease for all

    n3.

    We can show this as follows.


    an+1=4n+1(n+1)!=4n+1·4nn!=4n+1·ananifn3.

    Therefore, the sequence is decreasing for all

    n3.

    Further, the sequence is bounded below by

    0

    because

    4n/n!0

    for all positive integers

    n.

    Therefore, by the Monotone Convergence Theorem, the sequence converges.


    To find the limit, we use the fact that the sequence converges and let

    L=limnan.

    Now note this important observation. Consider

    limnan+1.

    Since


    {an+1}={a2,a3,a4,…},

    the only difference between the sequences

    {an+1}

    and

    {an}

    is that

    {an+1}

    omits the first term. Since a finite number of terms does not affect the convergence of a sequence,


    limnan+1=limnan=L.

    Combining this fact with the equation


    an+1=4n+1an

    and taking the limit of both sides of the equation


    limnan+1=limn4n+1an,

    we can conclude that


    L=0·L=0.
  2. Writing out the first several terms,
    {2,54,4140,32813280,…}.

    we can conjecture that the sequence is decreasing and bounded below by

    1.

    To show that the sequence is bounded below by

    1,

    we can show that


    an2+12an1.

    To show this, first rewrite


    an2+12an=an2+12an.

    Since

    a1>0

    and

    a2

    is defined as a sum of positive terms,

    a2>0.

    Similarly, all terms

    an>0.

    Therefore,


    an2+12an1

    if and only if


    an2+12an.

    Rewriting the inequality

    an2+12an

    as

    an22an+10,

    and using the fact that


    an22an+1=(an1)20

    because the square of any real number is nonnegative, we can conclude that


    an2+12an1.

    To show that the sequence is decreasing, we must show that

    an+1an

    for all

    n1.

    Since

    1an2,

    it follows that


    an2+12an2.

    Dividing both sides by

    2an,

    we obtain


    an2+12anan.

    Using the definition of

    an+1,

    we conclude that


    an+1=an2+12anan.

    Since

    {an}

    is bounded below and decreasing, by the Monotone Convergence Theorem, it converges.


    To find the limit, let

    L=limnan.

    Then using the recurrence relation and the fact that

    limnan=limnan+1,

    we have


    limnan+1=limn(an2+12an),

    and therefore


    L=L2+12L.

    Multiplying both sides of this equation by

    2L,

    we arrive at the equation


    2L2=L2+1.

    Solving this equation for

    L,

    we conclude that

    L2=1,

    which implies

    L=±1.

    Since all the terms are positive, the limit

    L=1.

Consider the sequence {an}

defined recursively such that a1=1,

an=an1/2.

Use the Monotone Convergence Theorem to show that this sequence converges and find its limit.

0.
Hint

Show the sequence is decreasing and bounded below.

Fibonacci Numbers

The Fibonacci numbers are defined recursively by the sequence {Fn}

where F0=0,

F1=1

and for n2,

Fn=Fn1+Fn2.

Here we look at properties of the Fibonacci numbers.

  1. Write out the first twenty Fibonacci numbers.
  2. Find a closed formula for the Fibonacci sequence by using the following steps.
    1. Consider the recursively defined sequence {xn}

      where

      xo=c

      and

      xn+1=axn.

      Show that this sequence can be described by the closed formula

      xn=can

      for all

      n0.
    2. Using the result from part a. as motivation, look for a solution of the equation
      Fn=Fn1+Fn2

      of the form

      Fn=cλn.

      Determine what two values for

      λ

      will allow

      Fn

      to satisfy this equation.

    3. Consider the two solutions from part b.: λ1

      and

      λ2.

      Let

      Fn=c1λ1n+c2λ2n.

      Use the initial conditions

      F0

      and

      F1

      to determine the values for the constants

      c1

      and

      c2

      and write the closed formula

      Fn.
  3. Use the answer in 2 c. to show that
    limnFn+1Fn=1+52.

    The number

    ϕ=(1+5)/2

    is known as the golden ratio ([link] and [link]).


    This is a photo of a sunflower, particularly the curves of the seeds at its middle. The number of spirals in each direction is always a Fibonacci number.


    This is a photo of the Parthenon, an ancient Greek temple that was designed with the proportions of the Golden Rule. The entire temple’s front side fits perfectly into a rectangle with those proportions, as do the columns, the level between the columns and the roof, and a portion of the trim below the roof.

Key Concepts

Find the first six terms of each of the following sequences, starting with n=1.

an=1+(−1)n

for n1

an=0

if n

is odd and an=2

if n

is even

an=n21

for n1

a1=1

and an=an1+n

for n2

{an}={1,3,6,10,15,21,…}
a1=1, a2=1

and an+2=an+an+1

for n1

Find an explicit formula for an

where a1=1

and an=an1+n

for n2.

an=n(n+1)2

Find a formula an

for the nth

term of the arithmetic sequence whose first term is a1=1

such that an1an=17

for n1.

Find a formula an

for the nth

term of the arithmetic sequence whose first term is a1=−3

such that an1an=4

for n1.

an=4n7

Find a formula an

for the nth

term of the geometric sequence whose first term is a1=1

such that an+1an=10

for n1.

Find a formula an

for the nth

term of the geometric sequence whose first term is a1=3

such that an+1an=1/10

for n1.

an=3.101n=30.10n

Find an explicit formula for the nth

term of the sequence whose first several terms are {0,3,8,15,24,35,48,63,80,99,…}.

(Hint: First add one to each term.)

Find an explicit formula for the nth

term of the sequence satisfying a1=0

and an=2an1+1

for n2.

an=2n1

Find a formula for the general term an

of each of the following sequences.

{1,0,−1,0,1,0,−1,0,…}

(Hint: Find where sinx

takes these values)

{1,1/3,1/5,1/7,…}
an=(−1)n12n1

Find a function f(n)

that identifies the nth

term an

of the following recursively defined sequences, as an=f(n).

a1=1

and an+1=an

for n1

a1=2

and an+1=2an

for n1

f(n)=2n
a1=1

and an+1=(n+1)an

for n1

a1=2

and an+1=(n+1)an/2

for n1

f(n)=n!/2n2
a1=1

and an+1=an/2n

for n1

Plot the first N

terms of each sequence. State whether the graphical evidence suggests that the sequence converges or diverges.

[T] a1=1,

a2=2,

and for n2,

an=12(an1+an2); N=30

Terms oscillate above and below 5/3

and appear to converge to 5/3.


This is a graph of an oscillating sequence. Terms oscillate above and below 5/3 and seem to converge to 5/3.

[T] a1=1,

a2=2, a3=3

and for n4,

an=13(an1+an2+an3), N=30

[T] a1=1,

a2=2,

and for n3,

an=an1an2; N=30

Terms oscillate above and below y1.57...

and appear to converge to a limit.* * *

This is a graph of the oscillating sequence. Terms oscillate above and below y = 1.57 and seem to converse to 1.57.

[T] a1=1,

a2=2, a3=3,

and for n4,

an=an1an2an3; N=30

Suppose that limnan=1,

limnbn=−1,

and 0<bn<an

for all n.

Evaluate each of the following limits, or state that the limit does not exist, or state that there is not enough information to determine whether the limit exists.

limn(3an4bn)
7
limn(12bn12an)
limnan+bnanbn
0
limnanbnan+bn

Find the limit of each of the following sequences, using L’Hôpital’s rule when appropriate.

n22n
0
(n1)2(n+1)2
nn+1
1
n1/n

(Hint: n1/n=e1nlnn)

For each of the following sequences, whose nth

terms are indicated, state whether the sequence is bounded and whether it is eventually monotone, increasing, or decreasing.

n/2n, n2

bounded, decreasing for n1

ln(1+1n)
sinn

bounded, not monotone

cos(n2)
n1/n, n3

bounded, decreasing

n−1/n, n3
tann

not monotone, not bounded

Determine whether the sequence defined as follows has a limit. If it does, find the limit.

a1=2, a2=22, a3=222

etc.

Determine whether the sequence defined as follows has a limit. If it does, find the limit.

a1=3, an=2an1, n=2,3,….
an

is decreasing and bounded below by 2.

The limit a

must satisfy a=2a

so a=2,

independent of the initial value.

Use the Squeeze Theorem to find the limit of each of the following sequences.

nsin(1/n)
cos(1/n)11/n
0
an=n!nn
an=sinnsin(1/n)
0:\|sinx\|\|x\|

and \|sinx\|1

so 1nan1n).

For the following sequences, plot the first 25

terms of the sequence and state whether the graphical evidence suggests that the sequence converges or diverges.

[T] an=sinn

[T] an=cosn

Graph oscillates and suggests no limit.* * *

This is a graph that oscillates between 1 and -1 from 0 to 25 on the x axis. There appears to be no limit.

Determine the limit of the sequence or show that the sequence diverges. If it converges, find its limit.

an=tan−1(n2)
an=(2n)1/nn1/n
n1/n1

and 21/n1,

so an0

an=ln(n2)ln(2n)
an=(12n)n

Since (1+1/n)ne,

one has (12/n)n(1+k)−2ke−2

as k.

an=ln(n+2n23)
an=2n+3n4n
2n+3n2·3n

and 3n/4n0

as n,

so an0

as n.

an=(1000)nn!
an=(n!)2(2n)!
an+1an=n!/(n+1)(n+2)(2n) =1·2·3n(n+1)(n+2)(2n)<1/2n.

In particular, an+1/an1/2,

so an0

as n.

Newton’s method seeks to approximate a solution f(x)=0

that starts with an initial approximation x0

and successively defines a sequence xn+1=xnf(xn)f(xn).

For the given choice of f

and x0,

write out the formula for xn+1.

If the sequence appears to converge, give an exact formula for the solution x,

then identify the limit x

accurate to four decimal places and the smallest n

such that xn

agrees with x

up to four decimal places.

[T] f(x)=x22,

x0=1

[T] f(x)=(x1)22,

x0=2
xn+1=xn((xn1)22)/2(xn1); x=1+2, x2.4142, n=5

[T] f(x)=ex2,

x0=1

[T] f(x)=lnx1,

x0=2
xn+1=xnxn(ln(xn)1); x=e, x2.7183, n=5

[T] Suppose you start with one liter of vinegar and repeatedly remove 0.1L,

replace with water, mix, and repeat.

  1. Find a formula for the concentration after n

    steps.

  2. After how many steps does the mixture contain less than 10%

    vinegar?

[T] A lake initially contains 2000

fish. Suppose that in the absence of predators or other causes of removal, the fish population increases by 6%

each month. However, factoring in all causes, 150

fish are lost each month.

  1. Explain why the fish population after n

    months is modeled by

    Pn=1.06Pn1150

    with

    P0=2000.
  2. How many fish will be in the pond after one year?

a. Without losses, the population would obey Pn=1.06Pn1.

The subtraction of 150

accounts for fish losses. b. After 12

months, we have P121494.

[T] A bank account earns 5%

interest compounded monthly. Suppose that $1000

is initially deposited into the account, but that $10

is withdrawn each month.

  1. Show that the amount in the account after n

    months is

    An=(1+.05/12)An110; A0=1000.
  2. How much money will be in the account after 1

    year?

  3. Is the amount increasing or decreasing?
  4. Suppose that instead of $10,

    a fixed amount

    d

    dollars is withdrawn each month. Find a value of

    d

    such that the amount in the account after each month remains

    $1000.
  5. What happens if d

    is greater than this amount?

[T] A student takes out a college loan of $10,000

at an annual percentage rate of 6%,

compounded monthly.

  1. If the student makes payments of $100

    per month, how much does the student owe after

    12

    months?

  2. After how many months will the loan be paid off?

a. The student owes $9383

after 12

months. b. The loan will be paid in full after 139

months or eleven and a half years.

[T] Consider a series combining geometric growth and arithmetic decrease. Let a1=1.

Fix a>1

and 0<b<a.

Set an+1=a.anb.

Find a formula for an+1

in terms of an,

a,

and b

and a relationship between a

and b

such that an

converges.

[T] The binary representation x=0.b1b2b3...

of a number x

between 0

and 1

can be defined as follows. Let b1=0

if x<1/2

and b1=1

if 1/2x<1.

Let x1=2xb1.

Let b2=0

if x1<1/2

and b2=1

if 1/2x<1.

Let x2=2x1b2

and in general, xn=2xn1bn

and bn1=0

if xn<1/2

and bn1=1

if 1/2xn<1.

Find the binary expansion of 1/3.

b1=0, x1=2/3, b2=1, x2=4/31=1/3,

so the pattern repeats, and 1/3=0.010101.

[T] To find an approximation for π,

set a0=2+1,

a1=2+a0,

and, in general, an+1=2+an.

Finally, set pn=3.2n2an.

Find the first ten terms of pn

and compare the values to π.

For the following two exercises, assume that you have access to a computer program or Internet source that can generate a list of zeros and ones of any desired length. Pseudorandom number generators (PRNGs) play an important role in simulating random noise in physical systems by creating sequences of zeros and ones that appear like the result of flipping a coin repeatedly. One of the simplest types of PRNGs recursively defines a random-looking sequence of N

integers a1,a2,…,aN

by fixing two special integers K

and M

and letting an+1

be the remainder after dividing K.an

into M,

then creates a bit sequence of zeros and ones whose nth

term bn

is equal to one if an

is odd and equal to zero if an

is even. If the bits bn

are pseudorandom, then the behavior of their average (b1+b2++bN)/N

should be similar to behavior of averages of truly randomly generated bits.

[T] Starting with K=16,807

and M=2,147,483,647,

using ten different starting values of a1,

compute sequences of bits bn

up to n=1000,

and compare their averages to ten such sequences generated by a random bit generator.

For the starting values a1=1,

a2=2,…, a1=10,

the corresponding bit averages calculated by the method indicated are 0.5220,

0.5000, 0.4960, 0.4870, 0.4860, 0.4680, 0.5130, 0.5210, 0.5040,

and 0.4840.

Here is an example of ten corresponding averages of strings of 1000

bits generated by a random number generator: 0.4880,

0.4870, 0.5150, 0.5490, 0.5130, 0.5180, 0.4860, 0.5030, 0.5050, 0.4980.

There is no real pattern in either type of average. The random-number-generated averages range between 0.4860

and 0.5490,

a range of 0.0630,

whereas the calculated PRNG bit averages range between 0.4680

and 0.5220,

a range of 0.0540.

[T] Find the first 1000

digits of π

using either a computer program or Internet resource. Create a bit sequence bn

by letting bn=1

if the nth

digit of π

is odd and bn=0

if the nth

digit of π

is even. Compute the average value of bn

and the average value of dn=\|bn+1bn\|,

n=1,...,999.

Does the sequence bn

appear random? Do the differences between successive elements of bn

appear random?

Glossary

arithmetic sequence
a sequence in which the difference between every pair of consecutive terms is the same is called an arithmetic sequence
bounded above
a sequence {an}

is bounded above if there exists a constant

M

such that

anM

for all positive integers

n
bounded below
a sequence {an}

is bounded below if there exists a constant

M

such that

Man

for all positive integers

n
bounded sequence
a sequence {an}

is bounded if there exists a constant

M

such that

\|an\|M

for all positive integers

n
convergent sequence
a convergent sequence is a sequence {an}

for which there exists a real number

L

such that

an

is arbitrarily close to

L

as long as

n

is sufficiently large

divergent sequence
a sequence that is not convergent is divergent
explicit formula
a sequence may be defined by an explicit formula such that an=f(n)
geometric sequence
a sequence {an}

in which the ratio

an+1/an

is the same for all positive integers

n

is called a geometric sequence

index variable
the subscript used to define the terms in a sequence is called the index
limit of a sequence
the real number L

to which a sequence converges is called the limit of the sequence

monotone sequence
an increasing or decreasing sequence
recurrence relation
a recurrence relation is a relationship in which a term an

in a sequence is defined in terms of earlier terms in the sequence

sequence
an ordered list of numbers of the form a1,a2,a3,…

is a sequence

term
the number an

in the sequence

{an}

is called the

nth

term of the sequence

unbounded sequence
a sequence that is not bounded is called unbounded

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

You can also download for free at http://cnx.org/contents/9a1df55a-b167-4736-b5ad-15d996704270@5.1

Attribution: