Sequences and Series/Absolute Convergence, the Ratio and Root Tests, and Rearrangements

Lesson 2.61,043 words

Absolute Convergence, the Ratio and Root Tests, and Rearrangements

Absolute convergence is the strong form of convergence that permits free manipulation; conditional convergence is fragile. Absolute convergence implies convergence, and the ratio and root tests detect it by comparison with the geometric series.

╌╌╌╌

The comparison test handles nonnegative series. For series with mixed signs there are two grades of convergence. A series that converges even after every term is made positive may be reordered, multiplied, and combined like a finite sum. A series that converges only because of cancellation between positive and negative terms admits no such manipulation: reordering it can change the sum or make it diverge.

Absolute and conditional convergence

Absolute convergence is the stronger condition, and it implies ordinary convergence.

Passing to the limit in the finite triangle inequality gives its infinite version for an absolutely convergent series:

The two sums are generally different numbers; the inequality only bounds one by the other. The alternating harmonic series converges (proved below) while diverges, so it is the standard example of conditional convergence.

The ratio and root tests

Both standard tests for absolute convergence compare the tail of a series to a geometric series, generalizing the constant ratio of .

Neither test gives information when its limit equals . The root test uses a and so applies to every series, making it slightly stronger than the ratio test, but the ratio test is usually easier to compute — for factorials it is immediate.

The ratio and root tests both read a single number L and give the same verdict; the boundary value one is uninformative for either test.

The alternating series test

Conditional convergence has its own sufficient condition. A series whose terms alternate in sign and decrease to zero converges, even when the absolute series diverges.

Partial sums of an alternating series. Odd sums fall and even sums rise; each pair brackets the limit more tightly, so the sums zig-zag inward.

Conditional convergence can be arbitrarily slow: converges for every yet fails to converge absolutely whenever .

Rearrangements

A rearrangement of is the series for a bijection — the same terms summed in a different order. Order becomes irrelevant precisely when the series converges absolutely.

Conditional convergence has no such stability: reordering a conditionally convergent series can produce any sum.

The mechanism is that the positive terms alone sum to and the negative terms alone to ; only their interleaving produces a finite sum. For a target , add positive terms in order until the running sum first exceeds , then add negative terms until it drops below , and repeat. Because the terms tend to zero, each overshoot shrinks, and the running partial sum is eventually trapped within any tolerance of .6

Why the steering works: for a conditionally convergent series the positive terms alone sum to plus infinity and the negative terms alone to minus infinity, so each sign's supply never runs out.
Riemann's rearrangement steered to a target. Same-sign runs push the running sum past the target line; the switch back overshoots less each time.

Multiplying series: the Cauchy product

Multiplying two series is not term-by-term; the correct product collects all cross terms of a given total index.

The absolute-convergence hypothesis cannot be dropped.

Summary

PropertyAbsolute convergenceConditional convergence
convergesdiverges
implies convergenceyesis convergence
rearrangementsame sum, alwaysany sum (Riemann)
Cauchy productMertens appliesmay diverge
typical testratio, root, comparisonalternating series

Absolute convergence is the well-behaved case: the ratio and root tests detect it, and rearrangement and the Cauchy product preserve the sum. Conditional convergence, detected by the alternating series test, depends on the exact order of the terms; by Riemann's theorem, reordering can produce any sum.

Footnotes

  1. Lebl, §2.5, Definition 2.5.14 and Proposition 2.5.15.
  2. Lebl, §2.5, Proposition 2.5.19.
  3. Lebl, §2.6, Proposition 2.6.1.
  4. Lebl, §2.6, Proposition 2.6.2.
  5. Lebl, §2.6, Proposition 2.6.3.
  6. Lebl, §2.6, Example 2.6.4. 2
  7. Lebl, §2.6, Theorem 2.6.5 (Mertens) and Example 2.6.6.

╌╌ END ╌╌