Skip to main content

Section 8.6 Common Series Types

In this section, we’ll stop and recap some of the common series types that we should recognize moving forward. We’ll look at the structure of these series (mainly the functions defining the terms of the series) as well as the convergence criteria for them.
Look back to Activity 8.2.1. We noticed that we were able to find an explicit formula for the \(n\)th partial sum, which allowed us to evaluate \(\displaystyle\lim_{n\to\infty}S_n\text{.}\) We noticed this again in Example 8.2.7.
But there are some differences between why we were able to find formulas for the \(n\)th partial sum in each of these examples. Let’s first focus on the infinite series with terms defined by exponential functions.

Subsection Geometric Series

We’re going to name these series and define them explicitly. The name, geometric, comes from the idea of a geometric mean: each term in the series is the geometric mean of the term before it and after it.

Definition 8.6.1. Geometric Series.

For real numbers \(a\) and \(r\) with \(a, r \neq 0\text{,}\) we say that the series
\begin{equation*} \sum_{k=0}^\infty ar^k = a + ar + ar^2 + ar^3 + ... \end{equation*}
is a geometric series. We call \(r\) the constant ratio and \(a\) the initial term.
We noticed in Section 8.2 Introduction to Infinite Series that these kinds of series, with their exponential structure in the terms, make it relatively easy to find patterns or explicit formulas for the partial sums. Since we can find a formula for \(S_n\) based on \(n\text{,}\) we can find \(\displaystyle\lim_{n\to\infty}S_n\text{.}\) This was something we noted then, and said that it was a pretty rare property.
Let’s generalize this a bit, and come up with a general formula for these partial sums. Once we have that, we will be able to find out what any geometric series converges to (if it does converge).

Activity 8.6.1. Building a Convergence Formula for Geometric Series.

We’re going to think of constructing two different ways of thinking about how much area of of a circle has been shaded. We can pretend we have a circle with area that is 1, where the radius is \(r=\sqrt{\frac{1}{\pi}}\text{,}\) giving
\begin{equation*} A=\pi\left(\sqrt{\frac{1}{\pi}}\right)^2 = 1\text{.} \end{equation*}
Then we can describe the areas we’re looking at as almost a percentages of the total area.
(a)
We are going to split our circle into two parts, with \(r\) amount of the area left unshaded and so \(1-r\) area shaded. We’ll shade in some angular sector.
(for accessibility)
Figure 8.6.2.
This part is easy: how much of the area is shaded?
(b)
This next step will set the stage for how we think about this problem now: we’re going to divide the remaining white area up into the same proportional pieces: we’ll shade in a ratio of \(1-r\) of the remaining white space and leave a ratio of \(r\) of the white space unshaded.
(for accessibility)
Figure 8.6.3.
Can you describe two ways of calculating the total amount of shaded area?
Hint.
It could be helpful to consider how much area has been shaded or to not consider how much unshaded area is left over.
(c)
We’ll repeat the process: shade in more, where the ratio of shaded area to unshaded area is \(1-r\) to \(r\text{.}\)
(for accessibility)
Figure 8.6.4.
Can you describe two ways of calculating the total amount of shaded area?
Hint.
It could be helpful to consider how much area has been shaded or to not consider how much unshaded area is left over.
(d)
Now we’re going to repeat this process until we’ve done it a total of \(n+1\) times.
(for accessibility)
Figure 8.6.5.
Can you describe two ways of calculating the total amount of shaded area?
Hint.
It could be helpful to consider how much area has been shaded or to not consider how much unshaded area is left over.
(e)
In the limit as \(n\to\infty\text{,}\) how much of the area is shaded in?
Notice that \((1-r)\) is likely a common factor in one of your ways of calculating this area. Convince yourself, then, that:
\begin{align*} \lim_{n\to\infty}\sum_{k=0}^n r^k \amp = \lim_{n\to\infty} (1+r+r^2+...+r^n) \\ \amp = \frac{1}{1-r} \end{align*}
In order for us to move towards a formal statement of the geometric series convergence criteria, we can note that in the above activity, \(0\leq r \lt 1\text{.}\) We can extend this to negative values, with \(|r|\lt 1\text{.}\) We also can note that we could scale the area, maybe call it \(a\text{,}\) to get a similar formula.

Subsection \(p\)-Series

Another type of structure that we can take advantage of is power functions. This way, we can leverage the Integral Test (since antidifferentiating using the Power Rule for Antiderivatives will be easy) to classify whether or not these series converge.
Let’s start by naming these. We’ll focus on power functions with negative exponents, or reciprocal power functions.

Definition 8.6.7. \(p\)-Series.

For a real number \(p\text{,}\) we say that the series
\begin{equation*} \sum_{k=1}^\infty \frac{1}{k^p} \end{equation*}
is a \(p\)-series. We mostly will be concerned about the case where \(p\gt 0\text{,}\) making the terms of the series be reciprocal power functions.
Now, we just need to think about integration, and the convergence classification comes quickly from there.

Proof.

Let’s divide this into four cases: when \(p\leq 0\text{,}\) when \(0\lt p \lt 1\text{,}\) when \(p=1\text{,}\) and when \(p\gt 1\text{.}\)
Case 1: \(p\leq 0\)
Note that for \(\frac{1}{k^p}\) with \(p\lt 0\text{,}\) we can write this as \(k^{|p|}\text{.}\) Now we can consider the limit of the terms, in order to use the Divergence Test.
\begin{equation*} \lim_{k\to\infty} \frac{1}{k^p} = \lim_{k\to \infty} k^{|p|} \end{equation*}
Since this limit is non-zero (since it is either \(\infty\) or 1, depending on whether \(p=0\) or not), the series diverges by the Divergence Test.
Case 2: \(0\lt p\lt 1\)
When \(0 \lt p \lt 1\text{,}\) we can apply the Integral Test to the series. It is worth showing that the conditions of the test are met, but this is left up to the reader.
So now we will consider the integral \(\int_{x=1}^\infty \frac{1}{x^p}\;dx\) as a way of seeing whether the series \(\sum_{k=1}^\infty \frac{1}{k^p}\) converges or diverges.
\begin{align*} \int_{x=0}^\infty \frac{1}{x^p}\;dx\amp = \lim_{t\to\infty}\int_{x=1}^{x=t} \frac{1}{x^p}\;dx\\ \amp = \lim_{t\to\infty} \left(\frac{x^{1-p}}{(1-p)}\right)\bigg|_{x=1}^{x=t}\\ \amp = \lim_{t\to\infty} \frac{t^{1-p}}{1-p} - \frac{1}{1-p} \end{align*}
We can note that since \(0\lt p \lt 1\text{,}\) that \(1-p\gt 0\text{.}\) This means that when \(t\to\infty\text{,}\) \(t^{1-p}\to\infty\) as well.
\begin{equation*} \int_{x=0}^\infty \frac{1}{x^p}\;dx\ = \lim_{t\to\infty} \frac{t^{1-p}}{1-p} - \frac{1}{1-p} = \infty \end{equation*}
This integral diverges, and so then does the series.
Case 3: \(p=1 \)
This is the Harmonic Series! This series diverges (Theorem 8.3.2).
Case 4: \(p\gt 1\)
We can repeat the proof from Case 2, but we will end with a different conclusion based on the sign of the exponent! Let us, again, apply the Integral Test.
Consider the integral \(\int_{x=1}^\infty \frac{1}{x^p}\;dx\) as a way of seeing whether the series \(\sum_{k=1}^\infty \frac{1}{k^p}\) converges or diverges.
\begin{align*} \int_{x=0}^\infty \frac{1}{x^p}\;dx\amp = \lim_{t\to\infty}\int_{x=1}^{x=t} \frac{1}{x^p}\;dx\\ \amp = \lim_{t\to\infty} \left(\frac{x^{1-p}}{(1-p)}\right)\bigg|_{x=1}^{x=t}\\ \amp = \lim_{t\to\infty} \frac{t^{1-p}}{1-p} - \frac{1}{1-p} \end{align*}
Now, though, we have \(p\gt 1\) which means that \(1-p \lt 0\text{.}\) This means that \(t^{1-p} = \frac{1}{t^{|p-1|}}\text{.}\) So now we will consider the limit, and note that as \(t\to\infty\text{,}\) we get \(\frac{1}{t^{|p-1|}}\to 0\text{.}\)
\begin{equation*} \int_{x=0}^\infty \frac{1}{x^p}\;dx\ = \lim_{t\to\infty} \frac{1}{(1-p)t^{|p-1|}} - \frac{1}{1-p} = -\frac{1}{1-p} \end{equation*}
This integral converges, and so then does the series. We remember, though, that the series converges to something different than the integral, and so we do not know what the series converges to.

Subsection Recapping Our Mathematical Objects

It’s a good idea to pause and try to make sure we understand what these infinite series are. We have talked a lot about a whole bunch of objects in this chapter so far: infinite sequences, partial sums, sequences of partial sums, infinite series, integrals, limits, etc. We want to make sure that we can keep track of the ways in which we use these and talk about them. The following activity is brief, but can help make sure we understand some of the interactions we’ve talked about so far.

Activity 8.6.2. (Im)Possible Combinations.

When we have thought about infinite series, we have thought about three different mathematical objects: the sequence of terms of the series, the sequence of partial sums of the series, and the infinite series itself. As a reminder, if we had an infinite series
\begin{equation*} \sum_{k=1}^\infty a_k \end{equation*}
we can say that:
  • \(\left\{a_k\right\}_{k=1}^\infty\) is the sequence of terms of the series
  • \(S_n = \sum_{k=1}^n a_k\) is a partial sum and \(\left\{S_n\right\}_{n=1}^\infty\) is the sequence of partial sums of the series
For each of these three objects—the terms, the partial sums, and the series—we have some notion of what it means for that object to converge or diverge.
Consider the following table of all of the different combinations of convergence and divergence of the three objects. For each combination, decide whether this combination is possible or impossible. If it is possible, give an example of an infinite series whose terms, partial sums, and the series itself converge/diverge appropriately. If it is impossible, give an explanation of why.
Table 8.6.9. (Im)Possible Combinations
\(\displaystyle \left\{a_k\right\}_{k=1}^\infty\) \(\displaystyle \{S_n\}_{n=1}^\infty\) \(\displaystyle \sum_{k=1}^\infty a_k\) (Im)Possible? Example or Explanation
Converges Converges Converges
Converges Converges Diverges
Converges Diverges Converges
Converges Diverges Diverges
Diverges Converges Converges
Diverges Converges Diverges
Diverges Diverges Converges
Diverges Diverges Diverges
Hint 1.
We can think back to some results or definitions that connect pairs of these objects. Can you think of any result or definition that connects an infinite series and a sequence of partial sums? What about a result or definition that connects the sequence of terms with the infinite series?
Hint 2.
Solution.
Table 8.6.10. (Im)Possible Combinations
(Im)Possible? Example or Explanation
Possible Any converging series serves as an example.
Impossible The sequence of partial sums and the infinite series are the same object, and so must behave in the same way. Definition 8.2.2
Impossible The sequence of partial sums and the infinite series are the same object, and so must behave in the same way. Definition 8.2.2
Possible
Impossible If the infinite series converges, then the sequence of terms must converge to 0. Theorem 8.3.3
Impossible The sequence of partial sums and the infinite series are the same object, and so must behave in the same way. Definition 8.2.2
Impossible Both of the reasons, Definition 8.2.2 and Theorem 8.3.3 apply here!
Possible
Moving forward, we’ll want to commit these families of series to memory, as well as their convergence criteria.
Here’s some justification: for an infinite series like \(\displaystyle \sum_{k=0}^\infty \frac{1}{k^2+1}\text{,}\) we previously (in Example 8.4.8) compared this series to the integral \(\displaystyle \int_{x=0}^{\infty} \frac{1}{x^2+1}\;dx\text{.}\) This worked well, since we could pretty easily antidifferentiate and conclude that the integral converged.
Now, though, we have another connection to make: doesn’t this series almost look like a \(p\)-Series? It’s very close to a reciprocal power function, where the only thing that’s “off” is the “\(+1\)” in the denominator.
We can hopefully think about changing this example slightly: what about the series \(\displaystyle \sum_{k=0}^\infty \frac{1}{k^3+1}\text{?}\) This one could still be compared to the integral \(\displaystyle \int_{x=0}^\infty \frac{1}{x^3+1}\;dx\text{,}\) but this integral will be harder for us to integrate. But if we think about this as almost a \(p\)-Series, then we might still be able to have some intuition about it’s behavior: it looks kind of like a converging \(p\)-series, so shouldn’t it also converge?
Our next section will develop this kind of comparison, where instead of comparing an “integral” in the discrete context to one in the continuous context (like we do in the Integral Test), we can compare an “integral” in the discrete context to a similar one in a similar context.

Practice Problems Practice Problems

1.

For each of the following series, classify each of the series by type (geometric, \(p\)-series, or neither) and whether it converges or diverges (as well as why).
For any geometric series that converges, find what it converges to.
(a)
\(\displaystyle\sum_{k=1}^\infty \left( \frac{1}{3^k} \right)\)
(b)
\(\displaystyle\sum_{k=1}^\infty \left( \frac{1}{k^3} \right)\)
(c)
\(\displaystyle\sum_{k=1}^\infty \left(\frac{1}{4^k}\right)\)
(d)
\(\displaystyle\sum_{k=0}^\infty \left(e^{-2k}\right)\)
(e)
\(\displaystyle\sum_{k=1}^\infty \left( \frac{1}{\sqrt{k-2}} \right)\)
(f)
\(\displaystyle\sum_{k=1}^\infty \left(\frac{1}{\sqrt[5]{k^7}}\right)\)
(g)
\(\displaystyle\sum_{k=1}^\infty \left(\frac{1}{\sqrt[7]{k^5}}\right)\)
(h)
\(\displaystyle\sum_{k=0}^\infty \left(\frac{(-1)^k3^{k+8}}{5^{k+2}}\right)\)

2.

This is a fun problem! We’ll consider a special cake with a weird twist. The cake is made of stacked, cylindrical tiers, each with a height of 1 unit. The radius of the tiers is \(\frac{1}{k}\) for \(k=1,2,...\text{,}\) meaning the bottom tier has a radius of 1, the second tier has a radius of 1/2, the third has a radius of 1/3, etc. The cake, somehow, has an infinite number of tiers.
(a)
We want to ice the sides of the cake, and want to know how much icing to use to cover the sides of each tier. Create an infinite series to represent the area of the outside edges. Does the series converge or diverge? Explain.
(b)
We want to figure out how much batter needed to bake the cake. Create an infinite series representing the volume of the tiers. Does the series converge or diverge? Explain.