4.3.11Calculus III — Sequences & Series

Absolute vs conditional convergence

1,828 words8 min readdifficulty · medium4 backlinks

WHAT are we talking about?

We have a series an\sum a_n where the terms ana_n may be positive or negative.

So every convergent series falls into exactly one of three boxes:

  • an\sum|a_n| converges → absolutely convergent
  • an\sum a_n converges but an\sum|a_n| diverges → conditionally convergent
  • an\sum a_n diverges → not convergent at all
Figure — Absolute vs conditional convergence

WHY does absolute convergence matter? (The key theorem)

Derivation from first principles (no hand-waving)

WHY should this be true? Removing the signs makes a series bigger or equal in every partial sum, so if even that bigger thing converges, the original — which has cancellation helping it — must also converge. Let's make this rigorous.

Step 1. Define the "positive part" sandwich. For any real number ana_n: 0an+an2an.0 \le a_n + |a_n| \le 2|a_n|. Why this step? If an0a_n\ge 0 then an+an=2an=2ana_n+|a_n|=2a_n=2|a_n|. If an<0a_n<0 then an+an=0a_n+|a_n|=0. Either way it sits between 00 and 2an2|a_n|. This converts a signed thing into a non-negative thing we can apply the comparison test to.

Step 2. Apply the Comparison Test to the non-negative series (an+an)\sum (a_n+|a_n|). Since 2an=2an\sum 2|a_n| = 2\sum|a_n| converges, and 0an+an2an0\le a_n+|a_n|\le 2|a_n|, the comparison test gives that (an+an)\sum (a_n+|a_n|) converges. Why this step? Comparison only works for non-negative terms — that's exactly why we built the non-negative quantity in Step 1.

Step 3. Subtract back to recover ana_n. an=(an+an)an.a_n = (a_n + |a_n|) - |a_n|. Both (an+an)\sum (a_n+|a_n|) and an\sum|a_n| converge, and a difference of two convergent series converges. Therefore an\sum a_n converges. \blacksquare Why this step? Algebra of limits: convergent series form a vector space, so their difference converges.


The model examples


WHY should you even care about the difference? (Rearrangement!)

This is the deep reason mathematicians prize absolute convergence: only then is "the sum" a well-defined object independent of order.



Recall Feynman: explain it to a 12-year-old

Imagine you're adding up a long list of pluses and minuses. Absolute convergence is like the numbers getting tiny so fast that even if you turned every minus into a plus, the total would still settle on a number — super strong and reliable. Conditional convergence is a balancing act: the total only settles because each "+big" is followed by a "−big" that nearly cancels it. If you turned all the minuses into pluses, the total would blow up to infinity. So the answer only exists because of the careful back-and-forth. If you reshuffle a conditional one, you can make it land on any number you like — spooky!


Decision recipe (the 80/20 core)

  1. Compute an\sum |a_n| test (comparison / ratio / pp-series).
  2. If an\sum|a_n| convergesabsolutely convergent, done.
  3. If an\sum|a_n| diverges → test an\sum a_n itself (usually AST).
    • an\sum a_n converges → conditionally convergent.
    • an\sum a_n diverges → divergent.

Flashcards

Define absolute convergence.
an\sum a_n converges absolutely if an\sum |a_n| converges.
Define conditional convergence.
an\sum a_n converges but an\sum|a_n| diverges.
State the Absolute Convergence Theorem.
If an\sum|a_n| converges then an\sum a_n converges.
What inequality starts the proof of the absolute convergence theorem?
0an+an2an0 \le a_n+|a_n|\le 2|a_n|.
Is the alternating harmonic series absolutely or conditionally convergent?
Conditionally (it converges to ln2\ln 2 but 1n\sum\frac1n diverges).
Is (1)n+1/n2\sum (-1)^{n+1}/n^2 absolutely convergent?
Yes — 1/n2\sum 1/n^2 is a convergent pp-series (p=2p=2).
Why does passing the Alternating Series Test NOT prove absolute convergence?
AST only shows an\sum a_n converges; you must separately check an\sum|a_n|.
What can you do to a conditionally convergent series' sum by rearranging?
Make it equal any real number, or ±\pm\infty (Riemann Rearrangement Theorem).
Which convergence type lets you reorder terms freely without changing the sum?
Absolute convergence.
Is an0a_n\to 0 enough for an\sum|a_n| to converge?
No — necessary but not sufficient (e.g. 1/n\sum 1/n).

Connections

  • Alternating Series Test — the tool for the conditional case
  • Comparison Test — used inside the absolute convergence proof
  • Ratio Test — tests an\sum|a_n| directly
  • p-series — the workhorse comparison series (p=1p=1 vs p=2p=2)
  • Riemann Rearrangement Theorem — why conditional sums are order-dependent
  • Harmonic series — the canonical divergent positive series
  • Power series & radius of convergence — built on absolute convergence inside the radius

Concept Map

test signs removed

converges

diverges but sum a_n converges

diverges

robust convergence

fragile convergence

guaranteed by

proved via

needs non-negative terms

subtract abs a_n back

so

example

Series sum a_n

sum abs a_n

Absolutely convergent

Conditionally convergent

Not convergent

Survives ignoring signs

Depends on sign cancellation

Absolute Convergence Theorem

Comparison Test

Sandwich 0 <= a_n+abs a_n <= 2 abs a_n

Difference of convergent series

Alternating harmonic series

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, jab ek series mein plus aur minus dono terms hote hain, to convergence do alag-alag reasons se ho sakti hai. Agar tum saare minus signs hata do (yaani an|a_n| le lo) aur phir bhi series converge kare, to ye absolute convergence hai — sabse strong wali. Iska matlab terms itni tezi se chhoti ho rahi hain ki signs ki zaroorat hi nahi padti. Yahan ek shaandar theorem hai: agar an\sum|a_n| converge karti hai, to an\sum a_n definitely converge karegi. Iska proof simple sandwich se aata hai: 0an+an2an0 \le a_n+|a_n| \le 2|a_n|, phir comparison test laga do.

Doosri taraf conditional convergence hai. Yahan an\sum a_n to converge karti hai, lekin an\sum|a_n| diverge kar jaati hai. Classic example: alternating harmonic series 112+131-\frac12+\frac13-\cdots, jo ln2\ln 2 pe converge karti hai, par agar signs hata do to bante hain 1+12+13+1+\frac12+\frac13+\cdots jo infinity tak chali jaati hai. Matlab convergence sirf isliye ho rahi hai kyunki plus aur minus ek doosre ko cancel kar rahe hain — ye "fragile" convergence hai.

Sabse important baat — exam aur intuition dono ke liye: agar Alternating Series Test pass ho gaya, iska matlab sirf itna hai ki an\sum a_n converge karti hai. Absolute convergence check karne ke liye tumhe alag se an\sum|a_n| test karna padega. Ye sabse common galti hai. Aur ek dimaag-hila dene wali baat: conditionally convergent series ke terms ko reshuffle karke tum usse kisi bhi number pe le ja sakte ho (Riemann Rearrangement Theorem) — isliye mathematicians absolute convergence ko zyada pasand karte hain, kyunki tabhi "sum" ka ek fixed, reliable matlab hota hai.

Go deeper — visual, from zero

Test yourself — Calculus III — Sequences & Series

Connections