Complex Analysis: Theory and Applications · Problem 4.3.2

Elementary Functions — Howell & Matthews

Mathematics — Complex Analysis · power-series-convergence

Problem

Show that ∑n=0∞(z+i)n2n\displaystyle\sum_{n=0}^{\infty} \frac{(z+i)^n}{2^n} converges for all values of zz in the disk D2(−i)={z:∣z+i∣<2}D_2(-i) = \{z : |z + i| < 2\} and diverges if ∣z+i∣>2|z + i| > 2.
Intuitive explanation

This is a geometric series in disguise—the key is recognizing that the nn-th term has the form ana^n where a=z+i2a = \frac{z+i}{2}. A geometric series ∑an\sum a^n converges exactly when ∣a∣<1|a| < 1, which translates here to ∣z+i2∣<1\left|\frac{z+i}{2}\right| < 1, or equivalently ∣z+i∣<2|z+i| < 2. The disk D2(−i)D_2(-i) is precisely the region where this inequality holds, and outside it the terms don't shrink to zero, so the series must diverge.

Intuitive explanation

This is a geometric series in disguise—the key is recognizing that the nn-th term has the form ana^n where a=z+i2a = \frac{z+i}{2}. A geometric series ∑an\sum a^n converges exactly when ∣a∣<1|a| < 1, which translates here to ∣z+i2∣<1\left|\frac{z+i}{2}\right| < 1, or equivalently ∣z+i∣<2|z+i| < 2. The disk D2(−i)D_2(-i) is precisely the region where this inequality holds, and outside it the terms don't shrink to zero, so the series must diverge.

Related theory

Browse the problem library