Section 10.5 : Special Series
In this section we are going to take a brief look at three special series. Actually, special may not be the correct term. All three have been named which makes them special in some way, however the main reason that we’re going to look at two of them in this section is that they are the only types of series that we’ll be looking at for which we will be able to get actual values for the series. The third type is divergent and so won’t have a value to worry about.
In general, determining the value of a series is very difficult and outside of these two kinds of series that we’ll look at in this section we will not be determining the value of series in this chapter.
So, let’s get started.
Geometric Series
A geometric series is any series that can be written in the form,
\[\sum\limits_{n = 1}^\infty {a{r^{n - 1}}} \]or, with an index shift the geometric series will often be written as,
\[\sum\limits_{n = 0}^\infty {a{r^n}} \]These are identical series and will have identical values, provided they converge of course.
If we start with the first form it can be shown that the partial sums are,
\[{s_n} = \frac{{a\left( {1 - {r^n}} \right)}}{{1 - r}} = \frac{a}{{1 - r}} - \frac{{a{r^n}}}{{1 - r}}\]The series will converge provided the partial sums form a convergent sequence, so let’s take the limit of the partial sums.
\[\begin{align*}\mathop {\lim }\limits_{n \to \infty } {s_n} & = \mathop {\lim }\limits_{n \to \infty } \left( {\frac{a}{{1 - r}} - \frac{{a{r^n}}}{{1 - r}}} \right)\\ & = \mathop {\lim }\limits_{n \to \infty } \frac{a}{{1 - r}} - \mathop {\lim }\limits_{n \to \infty } \frac{{a{r^n}}}{{1 - r}}\\ & = \frac{a}{{1 - r}} - \frac{a}{{1 - r}}\mathop {\lim }\limits_{n \to \infty } {r^n}\end{align*}\]Now, from Theorem 3 from the Sequences section we know that the limit above will exist and be finite provided \( - 1 < r \le 1\). However, note that we can’t let \(r = 1\) since this will give division by zero. Therefore, this will exist and be finite provided \( - 1 < r < 1\) and in this case the limit is zero and so we get,
\[\mathop {\lim }\limits_{n \to \infty } {s_n} = \frac{a}{{1 - r}}\]Therefore, a geometric series will converge if \( - 1 < r < 1\), which is usually written \(\left| r \right| < 1\), its value is,
\[\sum\limits_{n = 1}^\infty {a{r^{n - 1}}} = \sum\limits_{n = 0}^\infty {a{r^n}} = \frac{a}{{1 - r}}\]Note that in using this formula we’ll need to make sure that we are in the correct form. In other words, if the series starts at \(n = 0\) then the exponent on the \(r\) must be \(n\). Likewise, if the series starts at \(n = 1\) then the exponent on the \(r\) must be \(n - 1\).
- \(\displaystyle \sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \)
- \(\displaystyle \sum\limits_{n = 0}^\infty {\frac{{{{\left( { - 4} \right)}^{3n}}}}{{{5^{n - 1}}}}} \)
This series doesn’t really look like a geometric series. However, notice that both parts of the series term are numbers raised to a power. This means that it can be put into the form of a geometric series. We will just need to decide which form is the correct form. Since the series starts at \(n = 1\) we will want the exponents on the numbers to be \(n - 1\).
It will be fairly easy to get this into the correct form. Let’s first rewrite things slightly. One of the \(n\)’s in the exponent has a negative in front of it and that can’t be there in the geometric form. So, let’s first get rid of that.
\[\sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = \sum\limits_{n = 1}^\infty {{9^{ - \left( {n - 2} \right)}}{4^{n + 1}}} = \sum\limits_{n = 1}^\infty {\frac{{{4^{n + 1}}}}{{{9^{n - 2}}}}} \]Now let’s get the correct exponent on each of the numbers. This can be done using simple exponent properties.
\[\sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = \sum\limits_{n = 1}^\infty {\frac{{{4^{n + 1}}}}{{{9^{n - 2}}}}} = \sum\limits_{n = 1}^\infty {\frac{{{4^{n - 1}}{4^2}}}{{{9^{n - 1}}{9^{ - 1}}}}} \]Now, rewrite the term a little.
\[\sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = \sum\limits_{n = 1}^\infty {16\left( 9 \right)\frac{{{4^{n - 1}}}}{{{9^{n - 1}}}}} = {\sum\limits_{n = 1}^\infty {144\left( {\frac{4}{9}} \right)} ^{n - 1}}\]So, this is a geometric series with \(a = 144\) and \(r = \frac{4}{9} < 1\). Therefore, since \(\left| r \right| < 1\) we know the series will converge and its value will be,
\[\sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = \frac{{144}}{{1 - \frac{4}{9}}} = \frac{9}{5}\left( {144} \right) = \frac{{1296}}{5}\]b \(\displaystyle \sum\limits_{n = 0}^\infty {\frac{{{{\left( { - 4} \right)}^{3n}}}}{{{5^{n - 1}}}}} \) Show Solution
Again, this doesn’t look like a geometric series, but it can be put into the correct form. In this case the series starts at \(n = 0\) so we’ll need the exponents to be \(n\) on the terms. Note that this means we’re going to need to rewrite the exponent on the numerator a little
\[\sum\limits_{n = 0}^\infty {\frac{{{{\left( { - 4} \right)}^{3n}}}}{{{5^{n - 1}}}}} = \sum\limits_{n = 0}^\infty {\frac{{{{\left( {{{\left( { - 4} \right)}^3}} \right)}^n}}}{{{5^n}{5^{ - 1}}}}} = \sum\limits_{n = 0}^\infty {5\frac{{{{\left( { - 64} \right)}^n}}}{{{5^n}}}} = \sum\limits_{n = 0}^\infty {5{{\left( {\frac{{ - 64}}{5}} \right)}^n}} \]So, we’ve got it into the correct form and we can see that \(a = 5\) and \(r = - \frac{{64}}{5}\). Also note that \(\left| r \right| \ge 1\) and so this series diverges.
Back in the Series – The Basics section we talked about stripping out terms from a series, but didn’t really provide any examples of how this idea could be used in practice. We can now do some examples.
- \(\displaystyle \sum\limits_{n = 0}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \)
- \(\displaystyle \sum\limits_{n = 3}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \)
In this case we could just acknowledge that this is a geometric series that starts at \(n = 0\) and so we could put it into the correct form and be done with it. However, this does provide us with a nice example of how to use the idea of stripping out terms to our advantage.
Let’s notice that if we strip out the first term from this series we arrive at,
\[\sum\limits_{n = 0}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = {9^2}{4^1} + \sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = 324 + \sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \]From the previous example we know the value of the new series that arises here and so the value of the series in this example is,
\[\sum\limits_{n = 0}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = 324 + \frac{{1296}}{5} = \frac{{2916}}{5}\]b \(\displaystyle \sum\limits_{n = 3}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \) Show Solution
In this case we can’t strip out terms from the given series to arrive at the series used in the previous example. However, we can start with the series used in the previous example and strip terms out of it to get the series in this example. So, let’s do that. We will strip out the first two terms from the series we looked at in the previous example.
\[\sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = {9^1}{4^2} + {9^0}{4^3} + \sum\limits_{n = 3}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = 208 + \sum\limits_{n = 3}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \]We can now use the value of the series from the previous example to get the value of this series.
\[\sum\limits_{n = 3}^\infty {{9^{ - n + 2}}{4^{n + 1}}} = \sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} - 208 = \frac{{1296}}{5} - 208 = \frac{{256}}{5}\]Notice that we didn’t discuss the convergence of either of the series in the above example. Here’s why. Consider the following series written in two separate ways (i.e. we stripped out a couple of terms from it).
\[\sum\limits_{n = 0}^\infty {{a_n}} = {a_0} + {a_1} + {a_2} + \sum\limits_{n = 3}^\infty {{a_n}} \]Let’s suppose that we know \(\sum\limits_{n = 3}^\infty {{a_n}} \) is a convergent series. This means that it’s got a finite value and adding three finite terms onto this will not change that fact. So the value of \(\sum\limits_{n = 0}^\infty {{a_n}} \) is also finite and so is convergent.
Likewise, suppose that \(\sum\limits_{n = 0}^\infty {{a_n}} \) is convergent. In this case if we subtract three finite values from this value we will remain finite and arrive at the value of \(\sum\limits_{n = 3}^\infty {{a_n}} \). This is now a finite value and so this series will also be convergent.
In other words, if we have two series and they differ only by the presence, or absence, of a finite number of finite terms they will either both be convergent or they will both be divergent. The difference of a few terms one way or the other will not change the convergence of a series. This is an important idea and we will use it several times in the following sections to simplify some of the tests that we’ll be looking at.
Telescoping Series
It’s now time to look at the second of the three series in this section. In this portion we are going to look at a series that is called a telescoping series. The name in this case comes from what happens with the partial sums and is best shown in an example.
We first need the partial sums for this series.
\[{s_n} = \sum\limits_{i = 0}^n {\frac{1}{{{i^2} + 3i + 2}}} \]Now, let’s notice that we can use partial fractions on the series term to get,
\[\frac{1}{{{i^2} + 3i + 2}} = \frac{1}{{\left( {i + 2} \right)\left( {i + 1} \right)}} = \frac{1}{{i + 1}} - \frac{1}{{i + 2}}\]We’ll leave the details of the partial fractions to you. By now you should be fairly adept at this since we spent a fair amount of time doing partial fractions back in the Integration Techniques chapter. If you need a refresher you should go back and review that section.
So, what does this do for us? Well, let’s start writing out the terms of the general partial sum for this series using the partial fraction form.
\[\begin{align*}{s_n} & = \sum\limits_{i = 0}^n {\left( {\frac{1}{{i + 1}} - \frac{1}{{i + 2}}} \right)} \\ & = \left( {\frac{1}{1} - \require{cancel} \cancel{{\frac{1}{2}}}} \right) + \left( {\require{cancel} \cancel{{\frac{1}{2}}} - \require{cancel} \bcancel{{\frac{1}{3}}}} \right) + \left( {\require{cancel} \bcancel{{\frac{1}{3}}} - \require{cancel} \cancel{{\frac{1}{4}}}} \right) + \cdots + \left( {\require{cancel} \cancel{{\frac{1}{n}}} - \require{cancel} \bcancel{{\frac{1}{{n + 1}}}}} \right) + \left( {\require{cancel} \bcancel{{\frac{1}{{n + 1}}}} - \frac{1}{{n + 2}}} \right)\\ & = 1 - \frac{1}{{n + 2}}\end{align*}\]Notice that every term except the first and last term canceled out. This is the origin of the name telescoping series.
This also means that we can determine the convergence of this series by taking the limit of the partial sums.
\[\mathop {\lim }\limits_{n \to \infty } {s_n} = \mathop {\lim }\limits_{n \to \infty } \left( {1 - \frac{1}{{n + 2}}} \right) = 1\]The sequence of partial sums is convergent and so the series is convergent and has a value of
\[\sum\limits_{n = 0}^\infty {\frac{1}{{{n^2} + 3n + 2}}} = 1\]In telescoping series be careful to not assume that successive terms will be the ones that cancel. Consider the following example.
As with the last example we’ll leave the partial fractions details to you to verify. The partial sums are,
\[\begin{align*}{s_n} & = \sum\limits_{i = 1}^n {\left( {\frac{{\frac{1}{2}}}{{i + 1}} - \frac{{\frac{1}{2}}}{{i + 3}}} \right)} = \frac{1}{2}\sum\limits_{i = 1}^n {\left( {\frac{1}{{i + 1}} - \frac{1}{{i + 3}}} \right)} \\ & = \frac{1}{2}\left[ {\left( {\frac{1}{2} - \require{cancel} \cancel{{\frac{1}{4}}}} \right) + \left( {\frac{1}{3} - \require{cancel} \bcancel{{\frac{1}{5}}}} \right) + \left( {\require{cancel} \cancel{{\frac{1}{4}}} - \require{cancel} \cancel{{\frac{1}{6}}}} \right) + \cdots + \left( {\require{cancel} \cancel{{\frac{1}{n}}} - \frac{1}{{n + 2}}} \right) + \left( {\require{cancel} \bcancel{{\frac{1}{{n + 1}}}} - \frac{1}{{n + 3}}} \right)} \right]\\ & = \frac{1}{2}\left[ {\frac{1}{2} + \frac{1}{3} - \frac{1}{{n + 2}} - \frac{1}{{n + 3}}} \right]\end{align*}\]In this case instead of successive terms canceling a term will cancel with a term that is farther down the list. The end result this time is two initial and two final terms are left. Notice as well that in order to help with the work a little we factored the \(\frac{1}{2}\) out of the series.
The limit of the partial sums is,
\[\mathop {\lim }\limits_{n \to \infty } {s_n} = \mathop {\lim }\limits_{n \to \infty } \frac{1}{2}\left( {\frac{5}{6} - \frac{1}{{n + 2}} - \frac{1}{{n + 3}}} \right) = \frac{5}{{12}}\]So, this series is convergent (because the partial sums form a convergent sequence) and its value is,
\[\sum\limits_{n = 1}^\infty {\frac{1}{{{n^2} + 4n + 3}}} = \frac{5}{{12}}\]Note that it’s not always obvious if a series is telescoping or not until you try to get the partial sums and then see if they are in fact telescoping. There is no test that will tell us that we’ve got a telescoping series right off the bat. Also note that just because you can do partial fractions on a series term does not mean that the series will be a telescoping series. The following series, for example, is not a telescoping series despite the fact that we can partial fraction the series terms.
\[\sum\limits_{n = 1}^\infty {\frac{{3 + 2n}}{{{n^2} + 3n + 2}}} = \sum\limits_{n = 1}^\infty {\left( {\frac{1}{{n + 1}} + \frac{1}{{n + 2}}} \right)} \]In order for a series to be a telescoping series we must get terms to cancel and all of these terms are positive and so none will cancel.
Next, we need to go back and address an issue that was first raised in the previous section. In that section we stated that the sum or difference of convergent series was also convergent and that the presence of a multiplicative constant would not affect the convergence of a series. Now that we have a few more series in hand let’s work a quick example showing that.
To get the value of this series all we need to do is rewrite it and then use the previous results.
\[\begin{align*}\sum\limits_{n = 1}^\infty {\left( {\frac{4}{{{n^2} + 4n + 3}} - {9^{ - n + 2}}{4^{n + 1}}} \right)} & = \sum\limits_{n = 1}^\infty {\frac{4}{{{n^2} + 4n + 3}}} - \sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \\ & = 4\sum\limits_{n = 1}^\infty {\frac{1}{{{n^2} + 4n + 3}}} - \sum\limits_{n = 1}^\infty {{9^{ - n + 2}}{4^{n + 1}}} \\ & = 4\left( {\frac{5}{{12}}} \right) - \frac{{1296}}{5}\\ & = - \frac{{3863}}{{15}}\end{align*}\]We didn’t discuss the convergence of this series because it was the sum of two convergent series and that guaranteed that the original series would also be convergent.
Harmonic Series
This is the third and final series that we’re going to look at in this section. Here is the harmonic series.
\[\sum\limits_{n = 1}^\infty {\frac{1}{n}} \]You can read a little bit about why it is called a harmonic series (has to do with music) at the Wikipedia page for the harmonic series.
The harmonic series is divergent and we’ll need to wait until the next section to show that. This series is here because it’s got a name and so we wanted to put it here with the other two named series that we looked at in this section. We’re also going to use the harmonic series to illustrate a couple of ideas about divergent series that we’ve already discussed for convergent series. We’ll do that with the following example.
- \(\displaystyle \sum\limits_{n = 1}^\infty {\frac{5}{n}} \)
- \(\displaystyle \sum\limits_{n = 4}^\infty {\frac{1}{n}} \)
To see that this series is divergent all we need to do is use the fact that we can factor a constant out of a series as follows,
\[\sum\limits_{n = 1}^\infty {\frac{5}{n}} = 5\sum\limits_{n = 1}^\infty {\frac{1}{n}} \]Now, \(\sum\limits_{n = 1}^\infty {\frac{1}{n}} \) is divergent and so five times this will still not be a finite number and so the series has to be divergent. In other words, if we multiply a divergent series by a constant it will still be divergent.
b \(\displaystyle \sum\limits_{n = 4}^\infty {\frac{1}{n}} \) Show Solution
In this case we’ll start with the harmonic series and strip out the first three terms.
\[\sum\limits_{n = 1}^\infty {\frac{1}{n}} = 1 + \frac{1}{2} + \frac{1}{3} + \sum\limits_{n = 4}^\infty {\frac{1}{n}} \hspace{0.25in}\hspace{0.25in} \Rightarrow \hspace{0.25in}\hspace{0.25in}\sum\limits_{n = 4}^\infty {\frac{1}{n}} = \left( {\sum\limits_{n = 1}^\infty {\frac{1}{n}} } \right) - \frac{{11}}{6}\]In this case we are subtracting a finite number from a divergent series. This subtraction will not change the divergence of the series. We will either have infinity minus a finite number, which is still infinity, or a series with no value minus a finite number, which will still have no value.
Therefore, this series is divergent.
Just like with convergent series, adding/subtracting a finite number from a divergent series is not going to change the divergence of the series.
So, some general rules about the convergence/divergence of a series are now in order. Multiplying a series by a constant will not change the convergence/divergence of the series and adding or subtracting a constant from a series will not change the convergence/divergence of the series. These are nice ideas to keep in mind.