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.
We investigate sequences.
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 . 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.
We denote a sequence by
where the first line indicates the domain and range and the second line gives the rule that defines the terms in the sequence.
We can denote this more succinctly using the formula .
Most of the time, we take or ; that is, our domain will either be , or , 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 -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 , the second number in the list is the number of rabbits at the start of month , 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 or . When , the list looks like this:
and when , the list is denoted below.
While we usually prefer our starting index to be or , we would like to have the freedom to make other choices should it be convenient and this notation allows us that flexibility.
In this text, we will use to refer to the sequence and the notation to refer to a specific term in the sequence.
An important, yet subtle note, two different sequences can be represented by the same ordered list of numbers. For example, the sequences and below
both can be represented by the ordered list , but since the domains of and 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 will be used to denote the ordered list whose first term is , whose second term is , and so on.
In the instance where , we denote the sequence by and can represent the sequence by the ordered list of numbers below.
We now explore an interesting scenario that highlights an important idea while working with sequences.
To explore further, here are two different sequences whose first five terms are the same as the example above.
- We see that .
- We see that .
- We see that .
- We see that .
- We see that .
- We see that .
While we have made no real argument that these are the maximum number of regions, we believe that if the reader draws more pictures they will be convinced.
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.
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.
Just as real-valued functions were usually expressed by a formula , we often encounter sequences that can be expressed by a formula . When all terms in a sequence are described by a formula that only involves , we say the sequence is defined by an explicit formula. It is fairly easy to work with explicit formulas.
Note that the formula generates the ordered list
and there is certainly a suggested pattern. Now that we have an actual rule that gives the terms in the sequence, we can use it to verify that the pattern holds.
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 and , 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.
We can now plug in and use the previous result for to find : Continuing, we find and .
Note here that the rule generates the ordered list below.
Note that both the explicit formula and recursive formula in the previous examples seem to generate the same list of numbers. While writing out more and more terms suggests this is the case, it is not a sufficient argument to conclude that both rules generate the same sequence.
In order to verify that any term in the sequence whose terms are given by the formula is equal to the term obtained from the recursive relationship , we first note that the first term in both sequences, is the same. Now, we proceed as follows.
- We start with the formula and use this formula to write down an expression for .
- We verify that, after some algebra, the expression for satisfies the recursive relationship .
Let’s get started!
- Since , we have that .
- Notice that , so we want to try to simplify the expression above and isolate . Letting , we find the following.
The term satisfies the requirement , so the different looking formulas and actually represent the same sequence.
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.
Write out the first six terms in the sequence .
We can make new sequences from this sequence. Here are a few examples.
Since none of the terms in the original sequence were negative, we define another new sequence by the rule define another new sequence by the rule below. Write out the first five terms in this new sequence.
Of course, there is a more general observation.
It can be shown that the recursive rule and the explicit formula represent the same sequence. We leave this to the curious reader as an exercise.
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.