Subsection 7.1.1 Sequences
As
Example 7.2 illustrates, many discrete phenomena can be represented as lists of numbers (like the amount of money in an account over a period of months). We call any such list a
sequence. A sequence is nothing more than list of terms in some order. We often list the entries of the sequence with subscripts,
\begin{equation*}
s_1, s_2, \ldots, s_n, \ldots\text{,}
\end{equation*}
where the subscript denotes the position of the entry in the sequence.
sequence.
A sequence is a list of terms \(s_1, s_2, s_3, \ldots\) in a specified order.
We can think of a sequence as a function \(f\) whose domain is the set of positive integers where \(f(n) = s_n\) for each positive integer \(n\text{.}\) This alternative view will be be useful in many situations.
We often denote the sequence \(s_1, s_2, s_3, \ldots \) by \(\{s_n\}\text{.}\) The value \(s_n\) (alternatively \(s(n)\)) is called the \(n\)th term in the sequence. If the terms are all 0 after some fixed value of \(n\text{,}\) we say the sequence is finite. Otherwise the sequence is infinite.
We often define sequences using formulas, which can be explicit or recursive. Explicit formulas write the term \(s_n\) in terms of \(n\text{,}\) while recursive formulas write \(s_n\) in terms of the earlier entries in the sequence. Often, explicit formulas are easier to work with because they can be used to directly find any term in the sequence.
Example 7.5.
Given the explicit sequence formula \(s_n=\frac{3n-1}{n+2}\text{,}\) find \(s_1, s_2, s_{10}\text{,}\) and \(s_{1000}\text{.}\)
Solution.
Since the formula is explicit, we simply substitute in the appropriate value for \(n\text{.}\)
\begin{equation*}
s_1= \frac{3(1)-1}{1+2}=\frac{2}{3}\text{,}
\end{equation*}
\begin{equation*}
s_2=\frac{3(2)-1}{2+2}=\frac{5}{4}\text{,}
\end{equation*}
\begin{equation*}
s_{10}=\frac{3(10)-1}{10+2}=\frac{29}{12}\text{,}
\end{equation*}
\begin{equation*}
s_{1000}=\frac{3(1000)-1}{1000+2}=\frac{2999}{1002}\text{.}
\end{equation*}
Recursively defined sequences, on the other hand, use a formula that relies on previous terms in the sequence and requires some of the first few terms to be set to get started.
Example 7.6.
For each of the following recursively defined sequences, give the first six terms.
\(s_n=s_{n-1}+2\) for \(n>1\) and \(s_1=2.\)
\(s_n=-2s_{n-1}\) for \(n>1\) and \(s_1=1.\)
\(s_n=s_{n-1}+2s_{n-2}\) for \(n>2\) and \(s_1=1, s_2=3\text{.}\)
Solution.
Notice that \(s_1=2\) was given and we’ll need it to find \(s_2\text{.}\) For \(n=2\text{,}\)
\begin{equation*}
s_2=s_{2-1}+2=s_1+2=2+2=4.
\end{equation*}
Similarly, to get \(s_3\) we’ll need to know \(s_2\text{.}\)
\begin{align*}
s_3\amp=s_2+2=4+2=6,\\
s_4\amp=s_3+2=6+2=8,\\
s_5\amp=s_4+2=8+2=10,\\
s_6\amp=s_5+2=12\text{.}
\end{align*}
This formula says that each term is the previous term multiplied by -2. We have
\begin{align*}
s_1\amp =1, \\
s_2\amp=-2(1)=-2, \\
s_3\amp=-2(-2)=4,\\
s_4\amp= -2(4)=-8, \\
s_5\amp=-2(-8)=16, \\
s_6\amp=-2(16)=-32 \text{.}
\end{align*}
Notice that this formula relies on two previous terms, not just one, which is why we had to give the first two terms ahead of time.
\begin{align*}
s_1\amp=1,\\
s_2\amp=3,\\
s_3\amp=s_2 + 2 s_1 = 3+2(1)=5,\\
s_4\amp=s_3+2s_2 = 5 + 2(3)=11,\\
s_5\amp=s_4+2s_3 = 11 + 2(5)=21,\\
s_6\amp=s_5+2s_4 = 21+2(11) = 43\text{.}
\end{align*}
With infinite sequences, we are often interested in their end behavior and the idea of convergent sequences.
Example 7.7.
Let \(s_n\) be the \(n\)th term in the sequence \(1, 2, 3, \ldots\text{.}\) Find a formula for \(s_n\) and use appropriate technological tools to draw a graph of entries in this sequence by plotting points of the form \((n,s_n)\) for some values of \(n\text{.}\) Most graphing calculators can plot sequences; directions follow for the TI-84.
In the MODE
menu, highlight SEQ
in the FUNC
line and press ENTER
.
In the Y=
menu, you will now see lines to enter sequences. Enter a value for nMin
(where the sequence starts), a function for u(n)
(the \(n\)th term in the sequence), and the value of u_{n Min}
.
Set your window coordinates (this involves choosing limits for \(n\) as well as the window coordinates XMin
, XMax
, YMin
, and YMax
.
The GRAPH
key will draw a plot of your sequence.
Using your knowledge of limits of continuous functions as \(x \to \infty\text{,}\) decide if this sequence \(\{s_n\}\) has a limit as \(n \to \infty\text{.}\) Explain your reasoning.
Let \(s_n\) be the \(n\)th term in the sequence \(1, \frac{1}{2}, \frac{1}{3}, \ldots\text{.}\) Find a formula for \(s_n\text{.}\) Draw a graph of some points in this sequence. Using your knowledge of limits of continuous functions as \(x \to \infty\text{,}\) decide if this sequence \(\{s_n\}\) has a limit as \(n \to \infty\text{.}\) Explain your reasoning.
Let \(s_n\) be the \(n\)th term in the sequence \(2, \frac{3}{2}, \frac{4}{3}, \frac{5}{4}, \ldots\text{.}\) Find a formula for \(s_n\text{.}\) Using your knowledge of limits of continuous functions as \(x \to \infty\text{,}\) decide if this sequence \(\{s_n\}\) has a limit as \(n \to \infty\text{.}\) Explain your reasoning.
Hint.
When \(n=1\text{,}\) \(s_n = 1\text{;}\) when \(n=2\text{,}\) \(s_n = 2\text{.}\)
Think about the value of \(\frac{1}{n}\text{.}\)
Note that the numerator of each term of the sequence is one more than the denominator of the term.
Answer.
-
\(s_n = n\text{.}\) A plot of the first 20 points in the sequence is shown below.
This sequence does not have a limit as \(n\) goes to infinity.
-
\(s_n = \frac{1}{n}\text{.}\) A plot of the first 20 points in the sequence is shown below.
This sequence has a limit of 0 as \(n\) goes to infinity.
-
\(s_n = \frac{n+1}{n}\text{.}\) A plot of the first 20 points in the sequence is shown below.
This sequence has a limit of 1 as \(n\) goes to infinity.
Solution.
-
By observation we see that a formula for \(s_n\) is \(s_n = n\text{.}\) A plot of the first 20 points in the sequence is shown below.
We recall that a function \(f\) diverges to infinity (and hence does not have a limit as \(x\to\infty\)) if we can make the values of \(f(x)\) as large as we want by choosing large enough values of \(x\text{.}\) Since we can make the values of \(n\) in our sequence as large as we want by choosing \(n\) to be arbitrarily large, we suspect that this sequence does not have a limit as \(n\) goes to infinity. The fact that \(\lim\limits_{x\to\infty}x=\infty\) supports this reasoning.
-
By observation we see that a formula for \(s_n\) is \(s_n = \frac{1}{n}\text{.}\) A plot of the first 20 points in the sequence is shown below.
Since we can make the values of \(\frac{1}{n}\) in our sequence as close to 0 as we want by choosing \(n\) to be arbitrarily large, we suspect that this sequence has a limit of 0 as \(n\) goes to infinity. This is supported by the fact that \(\lim\limits_{x\to\infty}\frac1x=0\text{.}\)
-
Since the numerator is always 1 more than the denominator, a formula for \(s_n\) is \(s_n = \frac{n+1}{n}\text{.}\) A plot of the first 20 points in the sequence is shown below.
Since we can make the values of \(\frac{n+1}{n}\) in our sequence as close to 1 as we want by choosing \(n\) to be arbitrarily large, we suspect that this sequence has a limit of 1 as \(n\) goes to infinity. This is supported by the fact that \(\lim\limits_{x\to\infty}\frac{x+1}x=1\text{.}\)
Example 7.8.
Recall our earlier work with limits involving infinity in
Section 3.6. State clearly what it means for a continuous function
\(f\) to have a limit
\(L\) as
\(x \to \infty\text{.}\)
Given that an infinite sequence of real numbers is a function from the integers to the real numbers, apply the idea from part (a) to explain what you think it means for a sequence \(\{s_n\}\) to have a limit as \(n \to \infty\text{.}\)
Based on your response to part (b), decide if the sequence \(\left\{ \frac{1+n}{2+n}\right\}\) has a limit as \(n \to \infty\text{.}\) If so, what is the limit? If not, why not?
Hint.
A function \(f\) has limit \(L\) as \(x \to \infty\) if we can make \(f(x)\) as close to \(L\) as we like by \(\ldots\text{.}\)
Think about making \(s_n\) as close as you want to \(L\) for large values of \(n\text{.}\)
Consider the behavior of the function \(f(x) = \frac{1+x}{2+x}\) as \(x \to \infty\text{.}\)
Solution.
A continuous function \(f\) has a limit \(L\) as the independent variable \(x\) goes to infinity if we can make the values of \(f(x)\) as close to \(L\) as we want by choosing large enough values of \(x\text{.}\)
We expect that a sequence \(\{s_n\}\) will have a limit \(L\) as \(n\) goes to infinity if we can make the entries \(s_n\) in the sequence as close to \(L\) as we want by choosing \(n\) to be sufficiently large.
-
As \(n\) gets large, the constant terms become infinitesimally small compared to \(n\) and so \(\frac{1+n}{2+n}\) looks like \(\frac{n}{n}\) or 1 for large \(n\text{.}\) So the sequence \(\left\{ \frac{1+n}{2+n}\right\}\) has a limit of 1 at infinity.
More rigorously, we can either write \(\frac{1+n}{2+n}=1-\frac1{2+n}\) and note that \(\lim\limits_{n\to\infty}\frac1{2+n}=0\text{,}\) or we can apply L’Hopital’s rule to the function \(f(x)=\frac{1+x}{2+x}\) as \(x\to\infty\) to assert that \(\left\{\frac{1+n}{2+n}\right\}\) has limit \(1\) as \(n\to\infty\text{.}\)
In
Example 7.7 and
Example 7.8 we investigated a few sequences
\(\{s_n\}\) that had a limit as
\(n\) goes to infinity. More formally, we make the following definition.
Sequence Convergence.
The sequence \(\{ s_n \}\) converges or is a convergent sequence if there is a number \(L\) so that the terms \(s_n\) get and stay as close to \(L\) as we choose. This means that for some, perhaps very large, number \(N\text{,}\) we have that every \(s_n\) after \(s_N\) is within our chosen distance of \(L.\) In this situation, we call \(L\) the limit of the convergent sequence and write
\begin{equation*}
\lim_{n \to \infty} s_n = L\text{.}
\end{equation*}
If the sequence \(\{s_n\}\) does not converge, we say that the sequence \(\{s_n\}\) diverges.
The idea of sequence having a limit as \(n \to \infty\) is the same as the idea of a continuous function having a limit as \(x \to \infty\text{.}\) The only difference is that sequences are discrete instead of continuous.
We will apply the same terminology from limits of continuous functions to the limits of discrete functions. For example, we will say that a sequence converges to a limit \(L\) from below if the terms of the sequence are smaller than \(L\text{,}\) and from above if the terms of the sequence are larger than \(L\text{.}\)
Many properties of limits carry over from the continuous to discrete setting as well. These algebraic properties are essentially identical to the properties of limits listed in
Section 1.2:
Properties of Discrete Limits.
Assuming all the limits on the right-hand side exist:
If \(b\) is a constant, then \(\lim\limits_{n \rightarrow \infty} (bs_n)=b\left(\lim\limits_{n \rightarrow \infty} s_n \right)\)
\(\displaystyle \lim\limits_{n \rightarrow \infty} \left( s_n+t_n\right)=\lim\limits_{n \rightarrow \infty} s_n+\lim\limits_{n \rightarrow \infty}t_n\)
\(\displaystyle \lim\limits_{n \rightarrow \infty} \left( s_n \cdot t_n\right)=\lim\limits_{n \rightarrow \infty} s_n\cdot\lim\limits_{n \rightarrow \infty}t_n\)
\(\lim\limits_{n \rightarrow \infty} \left(\frac{s_n}{t_n}\right)=\frac{\lim\limits_{n \rightarrow \infty} s_n}{\lim\limits_{n \rightarrow \infty} t_n}\text{,}\) provided \(\lim\limits_{n \rightarrow \infty} t_n \neq 0\)
For any constant \(k\text{,}\) \(\lim\limits_{n \rightarrow \infty} k=k\)
Example 7.9.
Use graphical and/or algebraic methods to determine whether each of the following sequences converges or diverges.
\(\displaystyle \left\{\frac{1+2n}{3n-2}\right\}\)
\(\displaystyle \left\{\frac{5+3^n}{10+2^n}\right\}\)
\(\left\{\frac{10^n}{n!}\right\}\)
Hint.
Multiply the numerator and denominator each by \(\frac{1}{n}\text{.}\)
Compare the \(n\)th term to \(\frac{3^n}{2^n}\text{.}\)
Plot the sequence and think about what the graph suggests.
Answer.
The sequence \(\left\{\frac{1+2n}{3n-2}\right\}\) converges to \(\frac{2}{3}\text{.}\)
The sequence \(\left\{\frac{5+3^n}{10+2^n}\right\}\) diverges to infinity.
\(\frac{10^n}{n!} \to 0\) as \(n \to \infty\text{.}\)
Solution.
-
A plot of the first 20 terms of the sequence \(\left\{\frac{1+2n}{3n-2}\right\}\) is shown below.
The plot suggests that the sequence has a limit between 0.5 and 1. Evaluating the limit algebraically, we find that
\begin{equation*}
\lim\limits_{n\to\infty}\frac{1+2n}{3n-2}=\lim\limits_{n\to\infty}\frac{\frac1n+2}{3-\frac2n}=\frac23\text{.}
\end{equation*}
So the sequence \(\left\{\frac{1+2n}{3n-2}\right\}\) converges to \(\frac{2}{3}\text{.}\)
-
A plot of the first 20 terms of the sequence \(\left\{\frac{5+3^n}{10+2^n}\right\}\) is shown below. Note the scale on the vertical axis.
The plot implies that the sequence does not have a limit as \(n\) goes to infinity. Evaluating the limit algebraically, we factor \(3^n\) from the numerator and \(2^n\) from the denominator. Doing so yields
\begin{equation*}
\lim\limits_{n\to\infty}\frac{5+3^n}{10+2^n}=\lim\limits_{n\to\infty}\frac{3^n\left(\frac{5}{3^n}+1\right)}{2^n\left(\frac{10}{2^n}+1\right)}\text{.}
\end{equation*}
Now, since \(\lim\limits_{n\to\infty}\frac{\frac5{3^n}+1}{\frac{10}{2^n}+1}=1\text{,}\) it follows that
\begin{equation*}
\lim\limits_{n\to\infty}\frac{3^n\left(\frac{5}{3^n}+1\right)}{2^n\left(\frac{10}{2^n}+1\right)}=\lim\limits_{n\to\infty}\left(\frac32\right)^n\text{.}
\end{equation*}
Since \(\frac{3}{2} \gt 1\text{,}\) this limit is infinite and the sequence \(\left\{\frac{5+3^n}{10+2^n}\right\}\) diverges to infinity as the plot suggests.
-
A plot of the first 20 terms of the sequence \(\left\{\frac{10^n}{n!}\right\}\) is shown below. Note the scale on the vertical axis.
Initially, it looks as though the terms increase without bound, but beginning at about \(n=10\) the factorial in the denominator dominates the numerator. Notice that
\begin{equation*}
\frac{10^n}{n!} = \frac{10 \times 10 \times 10 \times \cdots \times 10}{1 \times 2 \times 3 \times \cdots \times n}\text{.}
\end{equation*}
When \(n \gt 20\text{,}\) we have that \(\frac{10}{n} \lt \frac{1}{2}\) and thus
\begin{align*}
\frac{10^n}{n!} \amp = \left(\frac{10 \times 10 \times 10 \times \cdots \times 10}{1 \times 2 \times 3 \times \cdots\times 20}\right) \left(\frac{10 \times 10 \times 10 \times \cdots \times 10}{21 \times 22 \times 23 \times \cdots\times n}\right)\\
\amp = \left(\frac{10^{20}}{20!}\right) \left(\frac{10}{21}\right) \left(\frac{10}{22}\right) \cdots \left(\frac{10}{n}\right)\\
\amp \lt \left(\frac{10^{20}}{20!}\right) \left(\frac{1}{2}\right)^{n-20}\text{.}
\end{align*}
Since \(\frac{1}{2}\lt 1\text{,}\) the term \(\left(\frac{1}{2}\right)^{n-20}\) goes to 0 as \(n\) goes to infinity. The fact that \(\frac{10^{20}}{20!}\) is a constant means that \(\frac{10^n}{n!} \to 0\) as \(n \to \infty\text{.}\)
There are some special types of sequences for which convergence is sometimes easier to determine.
Bounded Sequence.
A sequence \(\{s_n\}\) is bounded if there are numbers \(L\) and \(U\) such that \(L \leq s_n \leq U \) for all \(n\text{.}\) The number \(U\) is called an upper bound, while \(L\) is called a lower bound.
Monotone Sequence.
A sequence is monotone if it is either increasing or decreasing. That is, if either \(s_n \leq s_{n+1} \) for all \(n\text{,}\) or \(s_n \geq s_{n+1}\) for all \(n\text{.}\)
There is a subtle point in this definition. A constant sequence, say the sequence that is \(1,1,1,...\) forever, that is, \(s_n=1\) for all \(n\text{,}\) satisfies the definition of a monotone sequence. Indeed, a constant sequence is an increasing sequence and also a decreasing sequence. This is different from the usual meaning of increasing or decreasing, but it will let us use increasing for a sequence like \(1,1,2,2,3,3,4,4,...\text{,}\) that is, \(s_n\) is \(n/2\) rounded up to the nearest integer.
Example 7.10.
Determine whether the following sequences are bounded, monotone, both, or neither. Then, determine whether the sequence converges or diverges.
\(\displaystyle s_n = \left(\frac{1}{3}\right)^n \)
\(\displaystyle s_n = (-1)^n \)
\(\displaystyle s_n = 2^n +1 \)
\(s_n= \frac{1}{2}s_{n-1}\) for \(n>1\) and \(s_1=30\text{.}\)
\(\displaystyle s_n = (-2)^n \)
\(\displaystyle s_n=\frac{(-1)^n}{n} \)
\(\displaystyle s_n = \left( 1+\frac{1}{n}\right) \)
Solution.
This sequence is bounded because \(0 \leq \left(\frac{1}{3}\right)^n \leq \frac{1}{3} \) for all \(n\geq 1\text{.}\) It’s also decreasing, so it’s monotone as well. It converges and has limit 0.
This sequence is bounded because \(-1 \leq (-1)^n \leq 1 \) for all \(n\text{.}\) However, since \(s_n\) oscillates between \(-1\) and \(1\text{,}\) it is not monotone. The sequence diverges because of the oscillation.
\(2^n +1\) is unbounded because it gets arbitrarily large as \(n\) gets large. It is monotone increasing. The sequence diverges because it’s unbounded.
This recursive sequence is bounded between \(0\) and \(30\text{,}\) and since each term is half the previous one, it is monotone decreasing. The sequence converges to \(0\text{.}\)
\((-2)^n \) is neither bounded nor monotone. It is not bounded below or above, and is not monotone since it alternates between positive and negative terms. The sequence diverges.
This sequence is not monotone, since it alternates between positive and negative terms. It is bounded between \(-1\) and \(1\) (also between \(-1\) and \(\frac12\)). This sequence converges to 0.
This sequence is both bounded and monotone. It’s decreasing and bounded between 1 and 2. It converges with limit 1.
Notice in the examples above, being bounded or monotone alone does not guarantee convergence. However, each example that was both bounded and monotone was convergent. This is true in general.
Convergence of Monotone Bounded Sequences.
If a sequence \(\{s_n\}\) is bounded and monotone, then it converges.
Boundedness of Convergent Sequences.
If a sequence \(\{s_n\}\) converges, then it is bounded.
Besides these two rules “Monotone + Bounded
\(\rightarrow \) Convergent” and “Convergent
\(\rightarrow \) Bounded”), any combination of monotone/not monotone, bounded/not bounded, and convergent/not convergent is possible. For example, we’ve already seen a sequence in
Example 7.10 which is bounded but not convergent.