Series: Convergence Tests and Absolute Convergence

⚡ Key Takeaways

Convergence tests are systematic criteria for deciding whether an infinite series $\sum a_n$ converges (sums to a finite value) or diverges. Absolute convergence ( $\sum |a_n|$ converges) is the strong form that guarantees rearrangements and manipulations behave; conditional convergence is the fragile case that does not. Applies throughout analysis, ODEs, Fourier theory, and numerical computation. Developed by Cauchy, d'Alembert, Abel, Dirichlet, and Riemann in the 18th–19th centuries.

💡 The Core Insight

Convergence is a statement about the tail of a series: only the asymptotic behavior of $a_n$ matters, never the first finitely many terms. Almost every test reduces to comparing your series against a known benchmark — usually the geometric series $\sum r^n$ (geometric decay) or the p-series $\sum n^{-p}$ (polynomial decay). Absolute convergence is what separates "summation behaves like a finite sum" from "summation is a delicate limit that order can break."

DefinitionSeries, Partial Sums, Convergence

Given a sequence $(a_n)_{n\ge1}$ of real (or complex) numbers, the $N$ -th partial sum is

1

\quad s_N = \sum_{n=1}^{N} a_n.

Derivation hint: A finite sum; no limit is taken yet. The series $\sum_{n=1}^\infty a_n$ converges to $S$ if the sequence of partial sums has a finite limit:

2

\quad S = \lim_{N\to\infty} s_N, \qquad S \in \mathbb{R}.

Derivation hint: This is the definition of series convergence — convergence of the partial-sum sequence in the usual sense. Otherwise the series diverges. Here $a_n$ is the general term, $S$ is the sum, and the tail is $\sum_{n=M}^\infty a_n$ for large $M$ .

DefinitionAbsolute and Conditional Convergence

The series $\sum a_n$ converges absolutely if the series of absolute values converges:

3

\quad \sum_{n=1}^\infty |a_n| < \infty.

Derivation hint: Apply the convergence definition [2] to the nonnegative sequence $|a_n|$ . It converges conditionally if $\sum a_n$ converges but $\sum |a_n|$ diverges.

TheoremThe Divergence (n-th Term) Test

If $\sum a_n$ converges, then $\lim_{n\to\infty} a_n = 0$ . Contrapositively:

4

\quad \lim_{n\to\infty} a_n \neq 0 \;\;\Longrightarrow\;\; \sum a_n \text{ diverges.}

Derivation hint: $a_n = s_n - s_{n-1} \to S - S = 0$ if $s_n\to S$ .

Warning: $a_n \to 0$ does not imply convergence (the harmonic series is the standard counterexample).

TheoremAbsolute Convergence Implies Convergence

If $\sum |a_n|$ converges, then $\sum a_n$ converges, and

5

\quad \left|\sum_{n=1}^\infty a_n\right| \le \sum_{n=1}^\infty |a_n|.

Derivation hint: Use the triangle inequality on partial sums and Cauchy completeness of $\mathbb{R}$ .

TheoremThe Standard Comparison Tests

Let $0 \le a_n \le b_n$ for all large $n$ . Direct comparison: if $\sum b_n$ converges then $\sum a_n$ converges; if $\sum a_n$ diverges then $\sum b_n$ diverges. Limit comparison: if $a_n, b_n > 0$ and

6

\quad L = \lim_{n\to\infty} \frac{a_n}{b_n}, \qquad 0 < L < \infty,

Derivation hint: For large $n$ , $\tfrac{L}{2}b_n < a_n < 2L\,b_n$ ; sandwich and apply direct comparison both ways. then $\sum a_n$ and $\sum b_n$ both converge or both diverge.

TheoremRatio and Root Tests

Define (when the limits exist)

7

\quad \rho = \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|, \qquad \sigma = \lim_{n\to\infty} \sqrt[n]{|a_n|}.

Derivation hint: Both compare $|a_n|$ to a geometric series with ratio $\rho$ (resp. $\sigma$ ). If $\rho < 1$ (resp. $\sigma < 1$ ) the series converges absolutely; if $\rho > 1$ (resp. $\sigma > 1$ ) it diverges; if $=1$ the test is inconclusive. The root test (using $\limsup$ ) is strictly stronger than the ratio test.

TheoremIntegral Test

If $f:[1,\infty)\to[0,\infty)$ is continuous, positive, and decreasing with $f(n)=a_n$ , then

8

\quad \sum_{n=1}^\infty a_n \text{ converges} \iff \int_1^\infty f(x)\,dx \text{ converges},

Derivation hint: Bound the series above and below by integrals using monotone rectangles: $\int_1^{N+1} f \le s_N \le a_1 + \int_1^N f$ . with the error bound $0 \le \sum_{n=N+1}^\infty a_n \le \int_N^\infty f(x)\,dx$ .

TheoremAlternating Series Test (Leibniz)

If $b_n > 0$ is monotonically decreasing with $\lim_{n\to\infty} b_n = 0$ , then $\sum (-1)^{n-1} b_n$ converges, and the truncation error obeys

9

\quad \left| S - s_N \right| \le b_{N+1}.

Derivation hint: Partial sums of odd/even index are monotone nested intervals shrinking to a point because $b_n\to0$ .

ProofRatio Test convergence case (

\rho<1

)

Step 1. Pick $r$ with $\rho < r < 1$ . By definition of the limit, there is $N$ such that $|a_{n+1}/a_n| < r$ for all $n \ge N$ .

Step 2. Inductively, $|a_{N+k}| < r^k |a_N|$ for $k \ge 0$ .

Step 3. Then $\sum_{k\ge 0} |a_{N+k}| < |a_N|\sum_{k\ge 0} r^k = \dfrac{|a_N|}{1-r} < \infty$ , a convergent geometric series.

Step 4. Hence the tail $\sum_{n\ge N}|a_n|$ converges, so $\sum|a_n|$ converges (finitely many extra terms cannot change this), giving absolute convergence. $\blacksquare$

∎

mathematician · Augustin-Louis Cauchy | 1789–1857

Cauchy gave the first rigorous definition of series convergence via partial sums and the Cauchy criterion in his Cours d'analyse (1821), replacing the loose 18th-century manipulation of divergent series. He introduced the root test and the condensation idea, and insisted that convergence be proved, not assumed. His insistence on rigor — that a series is its sequence of partial sums and nothing more — is the foundation every test in this article rests on.

🧠 Intuition

Think of a series as adding up an infinite list of "deposits." Convergence means the running total settles toward a finite number; the deposits must eventually shrink (that's the $n$ -th term test) — but shrinking is not enough, because they might shrink too slowly (the harmonic series shrinks like $1/n$ and still grows without bound). Two benchmark "speeds" anchor your intuition:

Geometric decay $r^n$ with $|r|<1$ converges because each term is a fixed fraction of the previous — exponentially fast. The ratio and root tests detect exactly this regime.
Polynomial decay $n^{-p}$ converges iff $p>1$ . The cutoff is $p=1$ (the harmonic series), the boundary between "fast enough" and "too slow." The integral test pins down this threshold by comparing the sum to $\int x^{-p}dx$ .

Absolute convergence is the difference between piling up and cancelling. If $\sum|a_n|$ converges, the positive and negative parts each form convergent piles, and order is irrelevant. In conditional convergence the sum survives only through delicate cancellation — like balancing on a knife's edge — and reshuffling terms destroys the balance.

Figure

Comparison of decay rates: geometric vs p-series convergence behavior

ExampleRatio Test on a Factorial Series

Given: Determine convergence of $\displaystyle \sum_{n=1}^\infty \frac{3^n}{n!}$ .

Step 1. Form the ratio:

\left|\frac{a_{n+1}}{a_n}\right| = \frac{3^{n+1}}{(n+1)!}\cdot\frac{n!}{3^n} = \frac{3}{n+1}.

Step 2. Take the limit:

\rho = \lim_{n\to\infty}\frac{3}{n+1} = 0.

Step 3. Since $\rho = 0 < 1$ , by the Ratio Test [7] the series converges absolutely.

Step 4. (Bonus identification) In fact $\sum_{n=0}^\infty \frac{3^n}{n!} = e^3$ , so $\sum_{n=1}^\infty \frac{3^n}{n!} = e^3 - 1$ .

\boxed{\text{Converges absolutely; sum} = e^3 - 1 \approx 19.086}

ExampleConditional Convergence and an Error Bound

Given: The alternating harmonic series $\displaystyle \sum_{n=1}^\infty \frac{(-1)^{n-1}}{n}$ . Decide its convergence type and bound the error of $s_5$ .

Step 1. Check absolute convergence: $\sum \frac{1}{n}$ is the harmonic series, which diverges (integral test: $\int_1^\infty x^{-1}dx = \infty$ ). So it is not absolutely convergent.

Step 2. Apply the Alternating Series Test [9]: $b_n = 1/n$ is positive, decreasing, and $\to 0$ . Therefore the series converges.

Step 3. Conclusion: it converges conditionally. (Its sum is $\ln 2 \approx 0.6931$ .)

Step 4. Error bound for the 5-term partial sum:

s_5 = 1 - \tfrac12 + \tfrac13 - \tfrac14 + \tfrac15 = \tfrac{47}{60} \approx 0.7833.

By [9], $|S - s_5| \le b_6 = \frac{1}{6} \approx 0.1667.$

\boxed{\text{Conditionally convergent; } S=\ln 2,\;\; |S - s_5|\le 0.1667}

⚠️ Common mistake

" $a_n \to 0$ means the series converges." False. This is necessary but not sufficient. The harmonic series $\sum 1/n$ has $a_n\to 0$ yet diverges. The $n$ -th term test can only ever prove divergence, never convergence.

"The ratio test with $\rho = 1$ means the series diverges." No — $\rho = 1$ is inconclusive. Both $\sum 1/n^2$ (converges) and $\sum 1/n$ (diverges) give $\rho = 1$ . Switch to a sharper tool (integral test, comparison, Raabe's test).

"Convergent series can be rearranged and grouped freely." Only absolutely convergent series may be freely rearranged. Conditionally convergent ones cannot (see the counterexample below).

CounterexampleRiemann Rearrangement of the Alternating Harmonic Series

The series $\sum \frac{(-1)^{n-1}}{n} = \ln 2$ . By Riemann's Rearrangement Theorem, because it is only conditionally convergent, its terms can be reordered to sum to any target $L \in \mathbb{R}$ (or to $\pm\infty$ ). For instance, grouping two positive terms before each negative term:

1 + \tfrac13 - \tfrac12 + \tfrac15 + \tfrac17 - \tfrac14 + \cdots = \tfrac{3}{2}\ln 2 \neq \ln 2.

The same numbers in a different order give a different sum. This is impossible for absolutely convergent series, where every rearrangement yields the identical sum. The mechanism: both $\sum (\text{positive terms})$ and $\sum |\text{negative terms}|$ diverge to $+\infty$ , so we can pull as many positives or negatives as needed to overshoot any target repeatedly.

connection

Convergence tests connect to many neighbouring topics. The Geometric Series and p-series are the universal benchmarks behind comparison, ratio, and root tests. Power Series use the ratio/root test to compute their Radius of Convergence, on which Taylor and Maclaurin expansions depend. Improper Integrals are tied to series by the Integral Test — convergence questions are mirror images. The notion of absolute convergence generalizes to Uniform Convergence (via the Weierstrass M-test) and to normed-space convergence in Functional Analysis, where absolutely convergent series in a Banach space always converge — in fact this property characterizes completeness. Fourier Series convergence is a sophisticated extension where conditional/pointwise/uniform distinctions become central.

🔬 Where this appears

⏳ History

- 1668 — Mercator and Newton derive the series for

\ln(1+x)

, implicitly using the alternating harmonic series long before convergence is understood.

- 1715 — Brook Taylor publishes Taylor series; convergence questions are ignored.

- 1748 — Euler manipulates divergent series with brilliant but unrigorous formal methods (e.g., assigning

1-1+1-\cdots = \tfrac12

).

- 1768 — Jean d'Alembert formulates the ratio test in studying the binomial series.

- 1821 — Cauchy's Cours d'analyse gives the rigorous definition of convergence, the Cauchy criterion, and the root test, founding modern analysis.

- 1827 — Niels Henrik Abel proves Abel's test and warns that "divergent series are the invention of the devil," demanding rigor.

- 1837 — Dirichlet introduces Dirichlet's test and explicitly distinguishes absolute from conditional convergence.

- 1853 — Bernhard Riemann proves the Rearrangement Theorem, showing conditionally convergent series can sum to any value.

- 1872 — Weierstrass formulates the M-test, linking absolute and uniform convergence and completing the rigorous edifice.

open-problem

The classical tests leave a gray zone at the boundary $\rho=\sigma=p=1$ , where increasingly refined criteria (Raabe's, Bertrand's, Kummer's, Gauss's tests) form an infinite hierarchy — but no single test resolves every series; one can always construct a series at the threshold of any given test. The deep statement is du Bois-Reymond's theorem: there is no universal "comparison scale" of series that decides all cases, so a complete algorithmic convergence test cannot exist for arbitrary series. Related open territory includes the convergence of random series $\sum \pm a_n$ (governed by the Kolmogorov three-series theorem) and the resummation of divergent series in physics (Borel, Padé, resurgence theory), where assigning meaningful finite "sums" to divergent expansions remains an active research frontier in mathematical physics.

Series: Convergence Tests and Absolute Convergence

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also