So far we have confined ourselves to series all of whose terms are real. We shall now consider the series un=(vn+iwn), where vn and wn are real. The consideration of such series does not, of course, introduce anything really novel. The series is convergent if, and only if, the series vn,wn are separately convergent. There is however one class of such series so important as to require special treatment. Accordingly we give the following definition, which is an obvious extension of that of § 184.

Definition. The series un, where un=vn+iwn, is said to be absolutely convergent if the series vn and wn are absolutely convergent.

Theorem. The necessary and sufficient condition for the absolute convergence of un is the convergence of |un| or vn2+wn2.

For if un is absolutely convergent, then both of the series |vn|, |wn| are convergent, and so {|vn|+|wn|} is convergent: but |un|=vn2+wn2|vn|+|wn|, and therefore |un| is convergent. On the other hand |vn|vn2+wn2,|wn|vn2+wn2, so that |vn| and |wn| are convergent whenever |un| is convergent.

It is obvious that an absolutely convergent series is convergent, since its real and imaginary parts converge separately. And Dirichlet’s Theorem (§ 169, 185) may be extended at once to absolutely convergent complex series by applying it to the separate series vn and wn.

The convergence of an absolutely convergent series may also be deduced directly from the general principle of convergence (cf. Ex. LXXVII. 1). We leave this as an exercise to the reader.


189. Abel’s and Dirichlet’s Tests of Convergence Main Page 191–194. Power series