Sequences, Series, and Special Functions 607yFig. 8.l;lwe have
w = e2n:iz = -2n:y+2n:xiso thatHence if
(8.19-4)
we obtainor
(8.19-5)
Clearly, if w is such that (8.19-5) is satisfied, then (8.19-4) holds, andthe points z = x+iy with x = (1/27r) argw, y = -(1/27r)ln lwl, are inverse
images of wall of which lie in the strip b 1 < y < b2. From (8.19-3) we have
Now let1
z= -logw
27l"if(z) = f (~ logw) = F(w)
27riAlthough log w is multiple-valued, the periodicity of f compensates the
multiplicity of log w, and F( w) is a single-valued analytic function in the
ring r2 < lwl < r1. To see this, let
logw = ln lwl + i(B + 2k7r)