1550251515-Classical_Complex_Analysis__Gonzalez_

(jair2018) #1
Sequences and Series 201

At any point zo E D where the series of the absolute values of the
terms, namely,


00
L lun(z)I = luo(z)I + · · · + lun(z)I + · · · (4.10-8)
n=O

is convergent, the series (4.10-6) also converges, by virtue of Theorem 4.6.
Thus the set A of all those points for which (4.10-8) converges is a subset
of C, and it is called the absolute convergence set of (4.10-6).
The Cauchy condition for uniform convergence on a set B, as applied
to series, becomes


ISm(z) - Sn(z)I = lun+1(z) + · · · + um(z)I < E


form > n > N. and all z E B. Letting m = n + p, with p > 0 an arbitrary


integer, we have, alternatively,


lun+i(z) + · · · + Un+p(z)I < E (4.10-9)


for n > N. and all z E B.

The following criterion, called the Weierstrass M -test for absolute and
uniform convergence, is very useful in practice. It gives a set E C A n B
where the series is both absolutely and uniformly convergent, not neces-
sarily the largest set of absolute and/or uniform convergence. In fact, in
most cases of interest, a series of functions has sets of uniform convergence,
but there is not a largest set where the series converges uniformly (see the
example below).


Theorem 4.17 Let E:;=O un(z), z E D, be a series of functions and
E:;=O Mn a numerical series of real positive terms. Suppose that:


l. lun(z)I S kMn for all n and all z EEC D, k being a positive constant.



  1. The series L Mn is convergent.


Then L un(z )converges absolutely and uniformly on E.


Proof Since L Mn converges, to every E > 0 there corresponds an N. such


that for n > N. and arbitrary p > 0, we have

t

Mn + ... + Mn+p < k


Hence, by using assumption (1), we obtain


lun(z) + · · · + Un+p(z)I S lun(z)I + ·: · + lun+pl(z)


S k(Mn + "· + Mn+p) < E

Free download pdf