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:
n=1∑∞xn≤n=1∑∞∣xn∣.
The two sums are generally different numbers; the inequality only bounds one by
the other. The alternating harmonic series ∑n=1∞n(−1)n converges (proved below) while ∑n1 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 r of ∑rn.
Neither test gives information when its limit equals 1. The root test uses a limsup
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: ∑np(−1)n
converges for every p>0 yet fails to converge absolutely whenever
p≤1.
Rearrangements
A rearrangement of ∑xn is the series ∑xσ(k) for a
bijection σ:N→N — 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 L, add positive terms in order until the running sum first exceeds L,
then add negative terms until it drops below L, and repeat. Because the terms
tend to zero, each overshoot shrinks, and the running partial sum is eventually
trapped within any tolerance of L.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
Property
Absolute convergence
Conditional convergence
∑∣xn∣
converges
diverges
implies convergence
yes
is convergence
rearrangement
same sum, always
any sum (Riemann)
Cauchy product
Mertens applies
may diverge
typical test
ratio, root, comparison
alternating 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
Lebl, §2.5, Definition 2.5.14 and Proposition 2.5.15. ↩