Skip to main content
Mathematics LibreTexts

3.4: Absolute and Conditional Convergence

  • Page ID
    89254
  • \( \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}\)

    We have now seen examples of series that converge and of series that diverge. But we haven't really discussed how robust the convergence of series is — that is, can we tweak the coefficients in some way while leaving the convergence unchanged. A good example of this is the series

    \begin{gather*} \sum_{n=1}^\infty \left(\frac{1}{3} \right)^n \end{gather*}

    This is a simple geometric series and we know it converges. We have also seen, as examples 3.3.20 and 3.3.21 showed us, that we can multiply or divide the \(n^{\rm th}\) term by \(n\) and it will still converge. We can even multiply the \(n^{\rm th}\) term by \((-1)^n\) (making it an alternating series), and it will still converge. Pretty robust.

    On the other hand, we have explored the Harmonic series and its relatives quite a lot and we know it is much more delicate. While

    \begin{gather*} \sum_{n=1}^\infty \frac{1}{n} \end{gather*}

    diverges, we also know the following two series converge:

    \begin{align*} \sum_{n=1}^\infty \frac{1}{n^{1.00000001}} && \sum_{n=1}^\infty (-1)^n \frac{1}{n}. \end{align*}

    This suggests that the divergence of the Harmonic series is much more delicate. In this section, we discuss one way to characterise this sort of delicate convergence — especially in the presence of changes of sign.

    Definitions

    Definition 3.4.1 Absolute and conditional convergence
    1. A series \(\sum\limits_{n=1}^\infty a_n\) is said to converge absolutely if the series \(\sum\limits_{n=1}^\infty |a_n|\) converges.
    2. If \(\sum\limits_{n=1}^\infty a_n\) converges but \(\sum\limits_{n=1}^\infty |a_n|\) diverges we say that \(\sum\limits_{n=1}^\infty a_n\) is conditionally convergent.

    If you consider these definitions for a moment, it should be clear that absolute convergence is a stronger condition than just simple convergence. All the terms in \(\sum_n |a_n|\) are forced to be positive (by the absolute value signs), so that \(\sum_n |a_n|\) must be bigger than \(\sum_n a_n\)— making it easier for \(\sum_n |a_n|\) to diverge. This is formalised by the following theorem, which is an immediate consequence of the comparison test, Theorem 3.3.8.a, with \(c_n=|a_n|\text{.}\)

    Theorem 3.4.2 Absolute convergence implies convergence

    If the series \(\sum\limits_{n=1}^\infty |a_n|\) converges then the series \(\sum\limits_{n=1}^\infty a_n\) also converges. That is, absolute convergence implies convergence.

    Recall that some of our convergence tests (for example, the integral test) may only be applied to series with positive terms. Theorem 3.4.2 opens up the possibility of applying “positive only” convergence tests to series whose terms are not all positive, by checking for “absolute convergence” rather than for plain “convergence”.

    Example 3.4.3 \(\sum_{n=1}^\infty(-1)^{n-1}\frac{1}{n}\)

    The alternating harmonic series \(\sum\limits_{n=1}^\infty(-1)^{n-1}\frac{1}{n}\) of Example 3.3.15 converges (by the alternating series test). But the harmonic series \(\sum\limits_{n=1}^\infty\frac{1}{n}\) of Example 3.3.6 diverges (by the integral test). So the alternating harmonic series \(\sum\limits_{n=1}^\infty(-1)^{n-1}\frac{1}{n}\) converges conditionally.

    Example 3.4.4 \(\sum_{n=1}^\infty(-1)^{n-1}\frac{1}{n^2}\)

    Because the series \(\sum_{n=1}^\infty\big|(-1)^{n-1}\frac{1}{n^2}\big| =\sum\limits_{n=1}^\infty\frac{1}{n^2}\) of Example 3.3.6 converges (by the integral test), the series \(\sum\limits_{n=1}^\infty(-1)^{n-1}\frac{1}{n^2}\) converges absolutely, and hence converges.

    Example 3.4.5 Random signs

    Imagine flipping a coin infinitely many times. Set \(\sigma_n=+1\) if the \(n^{\mathrm th}\) flip comes up heads and \(\sigma_n=-1\) if the \(n^{\mathrm th}\) flip comes up tails. The series \(\sum_{n=1}^\infty(-1)^{\sigma_n}\frac{1}{n^2}\) is not in general an alternating series. But we know that the series \(\sum_{n=1}^\infty\big|(-1)^{\sigma_n}\frac{1}{n^2}\big| =\sum\limits_{n=1}^\infty\frac{1}{n^2}\) converges. So \(\sum_{n=1}^\infty(-1)^{\sigma_n}\frac{1}{n^2}\) converges absolutely, and hence converges.

    Optional — The delicacy of conditionally convergent series

    Conditionally convergent series have to be treated with great care. For example, switching the order of the terms in a finite sum does not change its value.

    \[ 1+2+3+4+5+6 = 6+3+5+2+4+1 \nonumber \]

    The same is true for absolutely convergent series. But it is not true for conditionally convergent series. In fact by reordering any conditionally convergent series, you can make it add up to any number you like, including \(+\infty\) and \(-\infty\text{.}\) This very strange result is known as Riemann's rearrangement theorem, named after Bernhard Riemann (1826–1866). The following example illustrates the phenomenon.

    Example 3.4.6 The alternating Harmonic series

    The alternating Harmonic series

    \begin{gather*} \sum_{n=1}^ \infty (-1)^{n-1} \frac{1}{n} \end{gather*}

    is a very good example of conditional convergence. We can show, quite explicitly, how we can rearrange the terms to make it add up to two different numbers. Later, in Example 3.5.20, we'll show that this series is equal to \(\log 2\text{.}\) However, by rearranging the terms we can make it sum to \(\frac{1}{2}\log 2\text{.}\) The usual order is

    \begin{gather*} \frac{1}{1} - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \frac{1}{6} + \cdots \end{gather*}

    For the moment think of the terms being paired as follows:

    \begin{gather*} \left(\frac{1}{1} - \frac{1}{2}\right) + \left(\frac{1}{3} - \frac{1}{4}\right) + \left(\frac{1}{5} - \frac{1}{6}\right) + \cdots \end{gather*}

    so the denominators go odd-even odd-even. Now rearrange the terms so the denominators are odd-even-even odd-even-even:

    \begin{gather*} \left( 1 - \frac{1}{2}-\frac{1}{4} \right) + \left(\frac{1}{3} - \frac{1}{6} - \frac{1}{8} \right) + \left(\frac{1}{5} - \frac{1}{10} - \frac{1}{12} \right) + \cdots \end{gather*}

    Now notice that the first term in each triple is exactly twice the second term. If we now combine those terms we get

    \[\begin{align*} &\phantom{=}\left( \underbrace{1 - \frac{1}{2}}_{=1/2} -\frac{1}{4} \right) + \left(\underbrace{\frac{1}{3} - \frac{1}{6}}_{=1/6} - \frac{1}{8} \right) + \left(\underbrace{\frac{1}{5} - \frac{1}{10}}_{=1/10} - \frac{1}{12} \right) + \cdots\\ &= \left( \frac{1}{2}-\frac{1}{4} \right) + \left( \frac{1}{6} - \frac{1}{8} \right) + \left(\frac{1}{10} - \frac{1}{12} \right) + \cdots\\ \\ \end{align*}\]

    We can now extract a factor of \(\frac{1}{2}\) from each term, so

    \begin{align*} &= \frac{1}{2} \left( \frac{1}{1}-\frac{1}{2} \right) + \frac{1}{2}\left( \frac{1}{3} - \frac{1}{4} \right) + \frac{1}{2}\left(\frac{1}{5} - \frac{1}{6} \right) + \cdots\\ &= \frac{1}{2} \left[ \left(\frac{1}{1} - \frac{1}{2}\right) + \left(\frac{1}{3} - \frac{1}{4}\right) + \left(\frac{1}{5} - \frac{1}{6}\right) + \cdots \right] \end{align*}

    So by rearranging the terms, the sum of the series is now exactly half the original sum!

    In fact, we can go even further, and show how we can rearrange the terms of the alternating harmonic series to add up to any given number 1. For the purposes of the example we have chosen \(1.234\text{,}\) but it could really be any number. The example below can actually be formalised to give a proof of the rearrangement theorem.

    Example 3.4.7 Reorder summands to get \(1.234\)

    We'll show how to reorder the conditionally convergent series \(\sum\limits_{n=1}^\infty(-1)^{n-1}\frac{1}{n}\) so that it adds up to exactly \(1.234\) (but the reader should keep in mind that any fixed number will work).

    • First create two lists of numbers — the first list consisting of the positive terms of the series, in order, and the second consisting of the negative numbers of the series, in order.

      \begin{align*} 1,\ \frac{1}{3},\ \frac{1}{5},\ \frac{1}{7},\ \cdots && \text{and} && -\frac{1}{2},\ -\frac{1}{4},\ -\frac{1}{6},\ \cdots \end{align*}

    • Notice that that if we add together the numbers in the second list,we get

      \begin{gather*} -\frac{1}{2}\Big[1+\frac{1}{2}+\frac{1}{3}+\cdots\Big] \end{gather*}

      which is just \(-\frac{1}{2}\) times the harmonic series. So the numbers in the second list add up to \(-\infty\text{.}\)

      Also, if we add together the numbers in the first list, we get

      \begin{gather*} 1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}\cdots \quad \text{which is greater than} \quad\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\frac{1}{8}+\cdots \end{gather*}

      That is, the sum of the first set of numbers must be bigger than the sum of the second set of numbers (which is just \(-1\) times the second list). So the numbers in the first list add up to \(+\infty\text{.}\)

    • Now we build up our reordered series. Start by moving just enough numbers from the beginning of the first list into the reordered series to get a sum bigger than \(1.234\text{.}\)

      \[ 1+\frac{1}{3} = 1.3333 \nonumber \]

      We know that we can do this, because the sum of the terms in the first list diverges to \(+\infty\text{.}\)
    • Next move just enough numbers from the beginning of the second list into the reordered series to get a number less than 1.234.

      \[ 1+\frac{1}{3}-\frac{1}{2} = 0.8333 \nonumber \]

      Again, we know that we can do this because the sum of the numbers in the second list diverges to \(-\infty\text{.}\)
    • Next move just enough numbers from the beginning of the remaining part of the first list into the reordered series to get a number bigger than 1.234.

      \[ 1+\frac{1}{3}-\frac{1}{2} +\frac{1}{5}+\frac{1}{7}+\frac{1}{9} = 1.2873 \nonumber \]

      Again, this is possible because the sum of the numbers in the first list diverges. Even though we have already used the first few numbers, the sum of the rest of the list will still diverge.
    • Next move just enough numbers from the beginning of the remaining part of the second list into the reordered series to get a number less than 1.234.

      \[ 1+\frac{1}{3}-\frac{1}{2} +\frac{1}{5}+\frac{1}{7}+\frac{1}{9} -\frac{1}{4} = 1.0373 \nonumber \]

    • At this point the idea is clear, just keep going like this. At the end of each step, the difference between the sum and 1.234 is smaller than the magnitude of the first unused number in the lists. Since the numbers in both lists tend to zero as you go farther and farther up the list, this procedure will generate a series whose sum is exactly 1.234. Since in each step we remove at least one number from a list and we alternate between the two lists, the reordered series will contain all of the terms from \(\sum\limits_{n=1}^\infty(-1)^{n-1}\frac{1}{n}\text{,}\) with each term appearing exactly once.

    Exercises

    Stage 1
    1 (✳)

    Decide whether the following statement is true or false. If false, provide a counterexample. If true provide a brief justification.

    • If \(\displaystyle\sum_{n=1}^{\infty}(-1)^{n+1}b_n\) converges, then \(\displaystyle\sum_{n=1}^{\infty} b_n\) also converges.
    2

    Describe the series \(\displaystyle\sum_{n=1}^\infty a_n\) based on whether \(\displaystyle\sum_{n=1}^\infty a_n\) and \(\displaystyle\sum_{n=1}^\infty |a_n|\) converge or diverge, using vocabulary from this section where possible.

      \(\sum a_n\) converges \(\sum a_n\) diverges
    \(\sum |a_n|\) converges    
    \(\sum |a_n|\) diverges    
    Stage 2
    3 (✳)

    Determine whether the series \(\displaystyle\sum_{n=1}^{\infty}\displaystyle\frac{(-1)^n}{9n+5}\) is absolutely convergent, conditionally convergent, or divergent; justify your answer.

    4 (✳)

    Determine whether the series \(\displaystyle\sum_{n=1}^\infty\frac{(-1)^{2n+1}}{1+n}\) is absolutely convergent, conditionally convergent, or divergent.

    5 (✳)

    The series \(\displaystyle \sum_{n=1}^{\infty} (-1)^{n-1} \frac{1+4^n}{3+2^{2n}}\) either:

    • converges absolutely;
    • converges conditionally;
    • diverges;
    • or none of the above.

    Determine which is correct.

    6 (✳)

    Does the series \(\displaystyle \sum_{n=5}^\infty \frac{\sqrt{n}\cos n}{n^2-1}\) converge conditionally, converge absolutely, or diverge?

    7 (✳)

    Determine (with justification!) whether the series \(\displaystyle\sum_{n=1}^\infty\frac{n^2-\sin n}{n^6+n^2}\) converges absolutely, converges but not absolutely, or diverges.

    8 (✳)

    Determine (with justification!) whether the series \(\displaystyle\sum_{n=0}^\infty\frac{(-1)^n(2n)!}{(n^2+1)(n!)^2}\) converges absolutely, converges but not absolutely, or diverges.

    9 (✳)

    Determine (with justification!) whether the series \(\displaystyle\sum_{n=2}^\infty\frac{(-1)^n}{n(\log n)^{101}}\) converges absolutely, converges but not absolutely, or diverges.

    10

    Show that the series \(\displaystyle\sum_{n=1}^\infty \dfrac{\sin n}{n^2}\) converges.

    11

    Show that the series \(\displaystyle\sum_{n=1}^\infty\left(\frac{\sin n}{4}-\frac{1}{8}\right)^n\) converges.

    12

    Show that the series \(\displaystyle\sum_{n=1}^\infty\dfrac{\sin^2 n - \cos^2 n+\tfrac12}{2^n}\) converges.

    Stage 3
    13 (✳)

    Both parts of this question concern the series \(\displaystyle S = \sum_{n=1}^\infty (-1)^{n-1}24n^2 e^{-n^3}\text{.}\)

    1. Show that the series \(S\) converges absolutely.
    2. Suppose that you approximate the series \(S\) by its fifth partial sum \(S_5\text{.}\) Give an upper bound for the error resulting from this approximation.
    14

    You may assume without proof the following:

    \[ \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} = \cos(1) \nonumber \]

    Using this fact, approximate \(\cos 1\) as a rational number, accurate to within \(\frac1{1000}\text{.}\)

    Check your answer against a calculator's approximation of \(\cos(1)\text{:}\) what was your actual error?

    15

    Let \(a_n\) be defined as

    \[ a_n=\begin{cases} -e^{n/2} & \text{ if $n$ is prime}\\ n^2 & \text{ if $n$ is not prime} \end{cases} \nonumber \]

    Show that the series \(\displaystyle\sum_{n=1}^\infty\dfrac{a_n}{e^n}\) converges.

    1. This is reminiscent of the accounting trick of pushing all the company's debts off to next year so that this year's accounts look really good and you can collect your bonus.

    This page titled 3.4: Absolute and Conditional Convergence is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Joel Feldman, Andrew Rechnitzer and Elyse Yeager via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?