$\newenvironment {prompt}{}{} \newcommand {\ungraded }{} \newcommand {\todo }{} \newcommand {\oiint }{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }{\nprounddigits {-1}} \newcommand {\npnoroundexp }{\nproundexpdigits {-1}} \newcommand {\npunitcommand }{\ensuremath {\mathrm {#1}}} \newcommand {\RR }{\mathbb R} \newcommand {\R }{\mathbb R} \newcommand {\N }{\mathbb N} \newcommand {\Z }{\mathbb Z} \newcommand {\sagemath }{\textsf {SageMath}} \newcommand {\d }{\mathop {}\!d} \newcommand {\l }{\ell } \newcommand {\ddx }{\frac {d}{\d x}} \newcommand {\zeroOverZero }{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }{\textbf } \newcommand {\unit }{\mathop {}\!\mathrm } \newcommand {\eval }{\bigg [ #1 \bigg ]} \newcommand {\seq }{\left ( #1 \right )} \newcommand {\epsilon }{\varepsilon } \newcommand {\phi }{\varphi } \newcommand {\iff }{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}\hspace {0in}} \newcommand {\point }{\left (#1\right )} \newcommand {\pt }{\mathbf {#1}} \newcommand {\Lim }{\lim _{\point {#1} \to \point {#2}}} \DeclareMathOperator {\proj }{\mathbf {proj}} \newcommand {\veci }{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }{\vec {\boldsymbol {\l }}} \newcommand {\uvec }{\mathbf {\hat {#1}}} \newcommand {\utan }{\mathbf {\hat {t}}} \newcommand {\unormal }{\mathbf {\hat {n}}} \newcommand {\ubinormal }{\mathbf {\hat {b}}} \newcommand {\dotp }{\bullet } \newcommand {\cross }{\boldsymbol \times } \newcommand {\grad }{\boldsymbol \nabla } \newcommand {\divergence }{\grad \dotp } \newcommand {\curl }{\grad \cross } \newcommand {\lto }{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }{\overline } \newcommand {\surfaceColor }{violet} \newcommand {\surfaceColorTwo }{redyellow} \newcommand {\sliceColor }{greenyellow} \newcommand {\vector }{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }{} \newcommand {\HyperFirstAtBeginDocument }{\AtBeginDocument }$

We investigate sequences.

A researcher wants to study how the the concentration of methane present in the atmosphere changes over time. To chronicle the data, the researcher takes a measurement every day and records the data in a table.

A college student wants to begin preparing to pay back student loans before graduating. Starting as a freshman, the student puts \$100 each month into a high yield savings account that pays an annual rate of return of $1.85\%$. At the beginning of every month, the student records the amount of money in the account.

In the early thirteenth century, Leonardo Pisano Bigollo, who has since come to be known by his nickname of Fibonacci, posed the following question:

If a pair of rabbits is placed in an enclosed area, how many rabbits will have been born at any month in the future if we assume that every month a pair of rabbits produces another pair, and that rabbits begin to bear young two months after their birth?

While these scenarios may seem unrelated on the surface, they have something in common; each scenario can be modeled by a sequence.

We start with some formality before discussing more practical matters involving sequences.

### The definition of a sequence

Most of the time, we take $n_0=0$ or $n_0=1$; that is, our domain will either be $\{0,1,2,\ldots \}$, or $\{1,2,3,\ldots \}$, respectively. We also take the domain of a sequence to be an infinite interval, but other texts might consider sequences whose domain is finite. In this text, we generally consider sequences whose domain is an infinite subset of the natural numbers, and unless otherwise specified, the domain of a sequence will have a smallest element and include all larger natural numbers.

Thus, we can represent sequences of interest as an ordered list of real numbers, where there is an assumed smallest starting index. For instance, returning to the question posed by Fibonacci, we can keep track of the number of rabbits present at the start of the $n$-th month in a table.

We can more succinctly denote this by arranging the number of rabbits in the ordered list

where it is understood that the first number in the list is the number of rabbits at the start of month $1$, the second number in the list is the number of rabbits at the start of month $2$, and so on. The dots “…” signify that the list keeps going forever. We often want to refer to a specific term in this list, so we introduce some standard notation.

The subscript in the above notation is called the index and describes how we reference the first term. In many instances, we index sequences starting at $n_0=0$ or $n_0=1$. When $n_0=0$, the list looks like this:

and when $n_0=1$, the list is denoted below.

While we usually prefer our starting index to be $0$ or $1$, we would like to have the freedom to make other choices should it be convenient and this notation allows us that flexibility.

An important, yet subtle note, two different sequences can be represented by the same ordered list of numbers. For example, the sequences $f_1$ and $f_2$ below

both can be represented by the ordered list $2, 4, 6, 8, 10, \ldots$, but since the domains of $f_1$ and $f_2$ are different, they are not the same sequence even though they model the same phenomenon.

Let’s now briefly summarize what has been discussed so far.

A sequence is a function that can be represented by an ordered list. The notation $\{a_n\}_{n=n_0}$ will be used to denote the ordered list whose first term is $a_{n_0}$, whose second term is $a_{n_0+1}$, and so on.

In the instance where $n_0=1$, we denote the sequence by $\{a_n\}_{n=1}$ and can represent the sequence by the ordered list of numbers below.

### Exploring sequences

We now explore an interesting scenario that highlights an important idea while working with sequences.

Consider the sequence represented by the list of numbers below. Which number comes next? $32$ $31$ $18$ There is no way to know.

While there seems to be a pattern, without giving a rule that defines the successive terms, it’s impossible to establish what the next one is.

To explore further, here are two different sequences whose first five terms are the same as the example above.

From the two sequences we’ve just considered, the method of finding a pattern is not enough when dealing with sequences unless you understand exactly how the sequence was produced. However, having to write out all of the infinitely many terms is impossible to do! In general, we want to define a sequence by specifying something that will allow us to write down any term that we want.

### Two common methods of representing the terms of a sequence

Consider the examples presented at the beginning of the section. While it doesn’t seem likely that we can find a good pattern to describe the concentration of methane present in the atmosphere over time, there are actual patterns that can be found that predict future terms in the financial scenario as well as Fibonacci’s example.

#### Explicit formulas

Just as real-valued functions were usually expressed by a formula $f(x)$, we often encounter sequences that can be expressed by a formula $f(n)$. When all terms $a_n$ in a sequence are described by a formula that only involves $n$, we say the sequence is defined by an explicit formula. It is fairly easy to work with explicit formulas.

#### Recursive formulas

Sometimes, we have to know previous terms in a sequence in order to find the terms that come next. Terms in the Fibonacci sequence stated in the introduction are easily found this way. For instance, by taking $a_1=1$ and $a_2=1$, we find the next several terms.

When we have an equality that relates the next term in a sequence to the previous ones, we say that we have a recursive formula for the sequence. Let’s see another example.

### Generating new sequences from other sequences

Once we have defined a given sequence, we can make new sequences from it. Some of the new sequences we can generate allow us to answer important questions about the original sequence. Many of the results we obtain later on will require that we analyze sequences that we generate from others. For now we will look at a few of these important sequences in the context of specific examples.

In the preceding example, there were many new sequences that we could form from a given one. As it turns out, these particular new sequences play an important role in answering questions about the original sequence. We will explore these questions in later sections.