18. Sequences

d2. Limits of Recursive Sequences

There are two step to finding the limit of a sequence which is defined recursively:

  1. Show the sequence has a limit.
    This is usually done using the Bounded, Monotonic Sequence Theorem and Mathematical Induction.
  2. and
  3. Assuming the sequence has a limit, find the limit.
    Since step 2 is easier, we often do that first. Further, the result from step 2 often helps in step 1.

Consider the sequence given by the recursion relation an+1=3ana_{n+1}=3\sqrt{a_n} with the initial term a1=3a_1=3. Does the sequence have a limit? If so, find the limit.

The first 55 terms are: a1=3a2=3a1=335.196a3=3a2=3336.838a4=3a3=33337.845a5=3a4=333338.402\begin{aligned} a_1&=3 \\ a_2&=3\sqrt{a_1}=3\sqrt{3}\approx 5.196 \\ a_3&=3\sqrt{a_2}=3\sqrt{3\sqrt{3}}\approx 6.838 \\ a_4&=3\sqrt{a_3}=3\sqrt{3\sqrt{3\sqrt{3}}}\approx 7.845 \\ a_5&=3\sqrt{a_4}=3\sqrt{3\sqrt{3\sqrt{3\sqrt{3}}}}\approx 8.402 \end{aligned} Before showing the limit exists, we want to get some idea what the limit might be. So we assume the limit exists and try to find it.

2.   Assume the sequence has a limit LL. Then limnan=L\lim\limits_{n\to\infty}a_n=L and also limnan+1=L\lim\limits_{n\to\infty}a_{n+1}=L since an+1a_{n+1} is the same sequence as ana_n but starting from a different number. We apply limn\lim\limits_{n\to\infty} to both sides of the recursion relation and use the limit laws: an+1=3anlimnan+1=3limnanL=3L\begin{aligned} a_{n+1} &=3\sqrt{a_n} \\ \lim_{n\to\infty}a_{n+1} &=3\sqrt{\lim_{n\to\infty}a_n} \\ L&=3\sqrt{L} \end{aligned} We can solve this for LL by squaring both sides: L2=9LL29L=0L(L9)=0L=0or9\begin{aligned} L^2=9L \quad \Longrightarrow \quad L^2-9L=0 \quad \Longrightarrow\\ L(L-9)=0 \quad \Longrightarrow \quad L=0 \qquad \text{or} \quad 9 \end{aligned} This says that if a limit exists, it must be either 00 or 99. Looking at the first five terms, we expect the limit is 99.

We now turn to showing the limit actually exists.

1.   To show the limit exists, we use the Bounded, Monotonic Sequence Theorem. Looking at the first five terms, we expect the sequence is increasing and bounded above by 99. To prove each of these we will use mathematical induction:

Bounded above by 99 We have a1=3<9a_1=3\lt 9. Suppose for some kk we have ak<9a_k\lt 9. Then ak<3\sqrt{a_k}<3 and ak+1=3ak<9a_{k+1}=3\sqrt{a_k}<9. By mathematical induction, an<9a_n<9 for all nn.

Increasing Notice the first five terms are increasing. Suppose for some kk we have ak<ak+1a_k < a_{k+1}. Then ak<ak+1\sqrt{a_k} < \sqrt{a_{k+1}} and 3ak<3ak+13\sqrt{a_k} < 3\sqrt{a_{k+1}} which says ak+1<ak+2a_{k+1} < a_{k+2}. By mathematical induction, the sequence is increasing.

Therefore: The sequence has a limit and the limit must be 99.

Here are some exercises:

Exercises

© 2025 MYMathApps

Supported in part by NSF Grant #1123255