Sequences & Series

Study Sheet

Sequences & Series

Convergence, telescoping, power series, and Stolz–Cesàro

Summing and Testing

Tip
The three series to know by sight
n1510ln 2Σ 1/(n2ⁿ): climbsΣ (−1)ⁿ⁺¹/n: straddles
Partial sums of two series for ln 2: the log series at x = 1/2 (dots) is exact to four places after 12 terms; the alternating harmonic series (circles) hops across ln 2 and is still off by 0.04.

∑n≥0xn=11−x\displaystyle\sum_{n\ge0}x^n = \frac{1}{1-x}, ∑n≥1xnn=−ln⁡(1−x)\quad\sum_{n\ge1}\frac{x^n}{n} = -\ln(1-x), ∑n≥0xnn!=ex\quad\sum_{n\ge0}\frac{x^n}{n!} = e^x — and everything you get by differentiating or integrating them.

Differentiate the geometric series: ∑nxn−1=1(1−x)2\sum nx^{n-1} = \tfrac{1}{(1-x)^2}, so ∑n2n=2\sum\tfrac{n}{2^n} = 2 and ∑n+13n=94\sum\tfrac{n+1}{3^n} = \tfrac94. Integrate it: ∑xnn\sum\tfrac{x^n}{n}, so ∑1n2n=ln⁡2\sum\tfrac{1}{n2^n} = \ln 2. Add the classical constants ζ(2)=π26\zeta(2) = \tfrac{\pi^2}{6}, η(2)=π212\eta(2) = \tfrac{\pi^2}{12}, ∑(−1)n+1n=ln⁡2\sum\tfrac{(-1)^{n+1}}{n} = \ln 2, ∑(−1)n2n+1=π4\sum\tfrac{(-1)^n}{2n+1} = \tfrac\pi4. A Putnam series problem is usually one of these wearing a costume.

Tip
Telescoping and partial fractions

Write the term as g(n)−g(n+1)g(n) - g(n+1) (or a lagged version) and watch everything cancel except the ends.

∑1n(n+1)=1\sum\frac{1}{n(n+1)} = 1; ∑1n(n+2)=12(1+12)=34\sum\frac{1}{n(n+2)} = \tfrac12(1 + \tfrac12) = \tfrac34 (lag 22: two front terms survive); ∑1n(n+1)(n+2)=12⋅11⋅2=14\sum\frac{1}{n(n+1)(n+2)} = \tfrac12\cdot\tfrac{1}{1\cdot2} = \tfrac14. Products telescope too: ∏(1−1n2)=∏(n−1)(n+1)n2→12\prod\left(1 - \tfrac{1}{n^2}\right) = \prod\tfrac{(n-1)(n+1)}{n^2} \to \tfrac12. The tail must go to 00 — say so.

Tip
Stolz–Cesàro and Riemann sums
xy0.510.5y = 1/(1 + x)
n = 6: the six rectangles have heights 1/(1 + k/6) and total area 1/7 + … + 1/12 ≈ 0.653, just under ∫₀¹ dx/(1 + x) = ln 2 ≈ 0.693.

If bn↑∞b_n \uparrow \infty and an+1−anbn+1−bn→L\dfrac{a_{n+1} - a_n}{b_{n+1} - b_n} \to L, then anbn→L\dfrac{a_n}{b_n} \to L. And 1n∑k=1nf ⁣(kn)→∫01f\dfrac1n\sum_{k=1}^nf\!\left(\tfrac kn\right) \to \int_0^1f.

Stolz–Cesàro is L'Hôpital for sequences: it turns a ratio of sums into a ratio of terms. 1+⋯+nn3/2→n32n=23\dfrac{\sqrt1 + \cdots + \sqrt n}{n^{3/2}} \to \dfrac{\sqrt n}{\tfrac32\sqrt n} = \tfrac23 — the same answer the Riemann sum ∫01x dx\int_0^1\sqrt x\,dx gives. Sums of f(k/n)f(k/n) over kk, divided by nn, are integrals; sums ∑k=1n1n+k=1n∑11+k/n→ln⁡2\sum_{k=1}^n\frac{1}{n+k} = \frac1n\sum\frac{1}{1 + k/n} \to \ln 2.

Side note
Convergence tests, ranked by usefulness on the Putnam

Comparison and limit comparison first; the ratio test for anything with factorials or exponentials; the integral test for ∑1np\sum\tfrac{1}{n^p}-type tails; the alternating series test for sign-alternating terms with decreasing magnitude; Cauchy condensation for slowly diverging logs (∑1nln⁡n\sum\tfrac{1}{n\ln n} diverges). Root test rarely. Absolute convergence licenses rearranging and swapping with integrals — always state which kind of convergence you have.

Side note
Where it goes wrong

"ln⁡2=1−12+13−14+⋯\ln 2 = 1 - \tfrac12 + \tfrac13 - \tfrac14 + \cdots. Regroup as (1−12)−14+(13−16)−18+(15−110)−⋯=12−14+16−18+⋯=12ln⁡2\left(1 - \tfrac12\right) - \tfrac14 + \left(\tfrac13 - \tfrac16\right) - \tfrac18 + \left(\tfrac15 - \tfrac1{10}\right) - \cdots = \tfrac12 - \tfrac14 + \tfrac16 - \tfrac18 + \cdots = \tfrac12\ln 2. So ln⁡2=12ln⁡2\ln 2 = \tfrac12\ln 2." Every term was used exactly once — but in a different ORDER (one positive term, then two negative ones), and the alternating harmonic series converges only conditionally. Riemann's rearrangement theorem says such a series can be rearranged to converge to any value at all. Regrouping and reordering are safe only for absolutely convergent series; for ∑(−1)n+1n\sum\frac{(-1)^{n+1}}{n} they are not.

Try it
Try it: telescoping with a lag

Compute ∑n=1∞1n(n+3)\displaystyle\sum_{n=1}^\infty\frac{1}{n(n+3)}.

Show the answer

13(1n−1n+3)\tfrac13\left(\tfrac1n - \tfrac{1}{n+3}\right) telescopes with lag 33: the surviving front terms are 1+12+13=1161 + \tfrac12 + \tfrac13 = \tfrac{11}{6}, so the sum is 13⋅116=1118\tfrac13\cdot\tfrac{11}{6} = \tfrac{11}{18}.

Proofs & Why It Matters

Tip
Proof: Stolz–Cesàro

If bnb_n is strictly increasing to ∞\infty and an+1−anbn+1−bn→L\tfrac{a_{n+1} - a_n}{b_{n+1} - b_n} \to L, then anbn→L\tfrac{a_n}{b_n} \to L.

Fix ε>0\varepsilon > 0; for n≥Nn \ge N, (L−ε)(bn+1−bn)<an+1−an<(L+ε)(bn+1−bn)(L - \varepsilon)(b_{n+1} - b_n) < a_{n+1} - a_n < (L + \varepsilon)(b_{n+1} - b_n). Sum these from NN to n−1n - 1 (telescoping!): (L−ε)(bn−bN)<an−aN<(L+ε)(bn−bN)(L - \varepsilon)(b_n - b_N) < a_n - a_N < (L + \varepsilon)(b_n - b_N). Divide by bn→∞b_n \to \infty: the terms aN/bna_N/b_n and bN/bnb_N/b_n vanish, leaving L−ε≤lim inf⁡anbn≤lim sup⁡anbn≤L+εL - \varepsilon \le \liminf\tfrac{a_n}{b_n} \le \limsup\tfrac{a_n}{b_n} \le L + \varepsilon. ■\blacksquare Significance: it is the discrete mean value theorem, and it proves Cesàro means preserve limits (bn=nb_n = n) — a tool for every "average of a sequence" problem.

Tip
Proof: ζ(2)=π26\zeta(2) = \frac{\pi^2}{6} via a double integral

The Basel problem, by a route the Putnam would accept.

ζ(2)=∑1n2=∑∫01 ⁣ ⁣∫01(xy)n−1dx dy=∬[0,1]2dx dy1−xy\zeta(2) = \sum\frac{1}{n^2} = \sum\int_0^1\!\!\int_0^1(xy)^{n-1}dx\,dy = \iint_{[0,1]^2}\frac{dx\,dy}{1 - xy} (geometric series, swap by monotone convergence). Rotate coordinates 45∘45^\circ (u=x+y2u = \tfrac{x+y}{\sqrt2}, v=y−x2v = \tfrac{y - x}{\sqrt2}); the integrand becomes 11−u2−v22\tfrac{1}{1 - \tfrac{u^2 - v^2}{2}} and the inner integral is an arctangent; two elementary trigonometric integrals later the total is π26\tfrac{\pi^2}{6} (Beukers–Calabi–Kolk). ■\blacksquare The lesson for the exam: sums become integrals (1n=∫01xn−1dx\tfrac{1}{n} = \int_0^1x^{n-1}dx) and integrals become sums; move freely between them.

Going Deeper: Worked Problems

Example
Worked: a series from a Putnam via generating functions

Compute ∑n=1∞n22n\displaystyle\sum_{n=1}^\infty\frac{n^2}{2^n}.

Step 1 — from ∑xn=11−x\sum x^n = \tfrac{1}{1-x}: differentiate and multiply by xx twice. ∑nxn=x(1−x)2\sum nx^n = \tfrac{x}{(1-x)^2}; then ∑n2xn=xddxx(1−x)2=x(1+x)(1−x)3\sum n^2x^n = x\tfrac{d}{dx}\tfrac{x}{(1-x)^2} = \tfrac{x(1 + x)}{(1-x)^3}.

Step 2 — at x=12x = \tfrac12: 12⋅3218=6\tfrac{\tfrac12\cdot\tfrac32}{\tfrac18} = 6.

Step 3 — check the first terms: 12+1+98+1+2532+⋯≈4.4\tfrac12 + 1 + \tfrac98 + 1 + \tfrac{25}{32} + \cdots \approx 4.4 after five terms, climbing toward 66 ✓. The operator "xddxx\frac{d}{dx}" multiplies coefficients by nn; apply it as many times as the power of nn demands.

Example
Worked: convergence with a parameter

For which real pp does ∑n≥21n(ln⁡n)p\displaystyle\sum_{n\ge2}\frac{1}{n(\ln n)^p} converge?

Step 1 — the terms decrease, so Cauchy condensation applies: the series converges iff ∑2k⋅12k(ln⁡2k)p=∑1(kln⁡2)p\sum 2^k\cdot\frac{1}{2^k(\ln 2^k)^p} = \sum\frac{1}{(k\ln 2)^p} does.

Step 2 — that is a pp-series in kk: converges iff p>1p > 1.

Step 3 — so ∑1nln⁡n\sum\frac{1}{n\ln n} diverges (barely!), ∑1n(ln⁡n)2\sum\frac{1}{n(\ln n)^2} converges. The integral test says the same: ∫dxx(ln⁡x)p\int\frac{dx}{x(\ln x)^p} with u=ln⁡xu = \ln x becomes ∫duup\int\frac{du}{u^p}. Logarithmic factors change convergence only at the razor's edge p=1p = 1.