# 4.3: Divergence of a Series

- Page ID
- 7939

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- Explain divergence

In Theorem 3.2.1 we saw that there is a rearrangment of the alternating Harmonic series which diverges to \(∞\) or \(-∞\). In that section we did not fuss over any formal notions of divergence. We assumed instead that you are already familiar with the concept of divergence, probably from taking calculus in the past.

However we are now in the process of building precise, formal definitions for the concepts we will be using so we define the divergence of a sequence as follows.

A sequence of real numbers \((s_n)_{n=1}^\infty\) diverges if it does not converge to any \(a \in \mathbb{R}\).

It may seem unnecessarily pedantic of us to insist on formally stating such an obvious definition. After all “converge” and “diverge” are opposites in ordinary English. Why wouldn’t they be mathematically opposite too? Why do we have to go to the trouble of formally defining both of them? Since they are opposites defining one implicitly defines the other doesn’t it?

One way to answer that criticism is to state that in mathematics we always work from precisely stated definitions and tightly reasoned logical arguments.

But this is just more pedantry. It is a way of saying, “*Because we said so*” all dressed up in imposing language. We need to do better than that.

One reason for providing formal definitions of both convergence and divergence is that in mathematics we frequently co-opt words from natural languages like English and imbue them with mathematical meaning that is only tangentially related to the original English definition. When we take two such words which happen to be opposites in English and give them mathematical meanings which are not opposites it can be very confusing, especially at first.

This is what happened with the words “*open*” and “*closed*.” These are opposites in English: “*not open*” is “*closed*,” “*not closed*” is “*open*,” and there is nothing which is both open and closed. But recall that an open interval on the real line, \((a,b)\), is one that does not include either of its endpoints while a closed interval, \([a,b]\), is one that includes both of them.

These may seem like opposites at first but they are not. To see this observe that the interval \((a,b]\) is neither open nor closed since it only contains one of its endpoints.^{ 1} If “*open*” and “*closed*” were mathematically opposite then every interval would be either open or closed.

Mathematicians have learned to be extremely careful about this sort of thing. In the case of convergence and divergence of a series, even though these words are actually opposites mathematically (every sequence either converges or diverges and no sequence converges and diverges) it is better to say this explicitly so there can be no confusion.

A sequence \((a_n)_{n=1}^\infty\) can only converge to a real number, a, in one way: by getting arbitrarily close to a. However there are several ways a sequence might diverge.

Consider the sequence, \((n)_{n=1}^\infty\). This clearly diverges by getting larger and larger ... Ooops! Let’s be careful. The sequence \(\left (1 - \frac{1}{n} \right )_{n=1}^\infty\) gets larger and larger too, but it converges. What we meant to say was that the terms of the sequence \((n)_{n=1}^\infty\) become arbitrarily large as \(n\) increases.

This is clearly a divergent sequence but it may not be clear how to prove this formally. Here’s one way.

To show divergence we must show that the sequence satisfies the negation of the definition of convergence. That is, we must show that for every \(r ∈ R\) there is an \(ε > 0\) such that for every \(N ∈ R\), there is an \(n > N\) with \(|n-r|≥ ε\).

So let \(ε = 1\), and let \(r ∈ R\) be given. Let \(N = r + 2\). Then for every \(n > N |n - r| > |(r + 2) - r| = 2 > 1\). Therefore the sequence diverges.

This seems to have been rather more work than we should have to do for such a simple problem. Here’s another way which highlights this particular type of divergence.

First we’ll need a new definition:

A sequence, \((a_n)_{n=1}^\infty\), diverges to positive infinity if for every real number \(r\), there is a real number \(N\) such that \(n > N ⇒ a_n > r\).

A sequence, \((a_n)_{n=1}^\infty\), diverges to negative infinity if for every real number \(r\), there is a real number \(N\) such that \(n > N ⇒ a_n < r\). ?

A sequence is said to diverge to infinity if it diverges to either positive or negative infinity.

In practice we want to think of \(|r|\) as a very large number. This definition says that a sequence diverges to infinity if it becomes arbitrarily large as \(n\) increases, and similarly for divergence to negative infinity.

Show that \((n)_{n=1}^\infty\) diverges to infinity.

Show that if \((a_n)_{n=1}^\infty\) diverges to infinity then \((a_n)_{n=1}^\infty\) diverges.

We will denote divergence to infinity as

\[\lim_{n \to \infty } a_n = \pm \infty\]

However, strictly speaking this is an abuse of notation since the symbol ∞ does not represent a real number. This notation can be very problematic since it looks so much like the notation we use to denote convergence: \(\lim_{n \to \infty } a_n = a\).

Nevertheless, the notation is appropriate because divergence to infinity is “*nice*” divergence in the sense that it shares many of the properties of convergence, as the next problem shows.

Suppose \(\lim_{n \to \infty } a_n = \infty\) and \(\lim_{n \to \infty } b_n = \infty\).

- Show that \(\lim_{n \to \infty } a_n + b_n = \infty\)
- Show that \(\lim_{n \to \infty } a_n b_n = \infty\)
- Is it true that \(\lim_{n \to \infty } \frac{a_n}{b_n} = \infty\)? Explain.

Because divergence to positive or negative infinity shares some of the properties of convergence it is easy to get careless with it. Remember that even though we write \(\lim_{n \to \infty } a_n = \infty\) this is still a divergent sequence in the sense that \(\lim_{n \to \infty } a_n\)does not exist. The symbol \(∞\) does not represent a real number. This is just a convenient notational shorthand telling us that the sequence diverges by becoming arbitrarily large.

suppose \(\lim_{n \to \infty } a_n = \infty\) and \(\lim_{n \to \infty } b_n = -\infty\) and \(\alpha \in \mathbb{R}\). Prove or give a counterexample:

- \(\lim_{n \to \infty } a_n + b_n = \infty\)
- \(\lim_{n \to \infty } a_n b_n = \infty\)
- \(\lim_{n \to \infty } \alpha a_n = \infty\)
- \(\lim_{n \to \infty } \alpha a_n = -\infty\)

Finally, a sequence can diverge in other ways as the following problem displays.

Show that each of the following sequences diverge.

- \(\left ((-1)^n \right )_{n=1}^{\infty }\)
- \(\left ((-1)^n n \right )_{n=1}^{\infty }\)
- \(a_n = \begin{cases} 1 & \text{ if } n=2^p \text{ for some } p\in \mathbb{N} \\ \frac{1}{n} & \text{ otherwise } \end{cases}\)

Suppose that \((a_n)_{n=1}^\infty\) diverges but not to infinity and that \(α\) is a real number. What conditions on \(α\) will guarantee that:

- \((\alpha a_n)_{n=1}^\infty\) converges?
- \((\alpha a_n)_{n=1}^\infty\) diverges?

Show that if \(|r| > 1\) then \((r^n)_{n=1}^\infty\) diverges. Will it diverge to infinity?