Selected Solutions To Problems in Complex Analysis

Selected Solutions To Problems in Complex Analysis E. Chernysh November 3, 6 Contents Page 8 Problem................................... Problem 4................................... Problem 5................................... Page 78 3 Problem................................... 3 Problem................................... 4 Problem 3................................... 4 Problem 4................................... 5 Page 8 5 Problem................................... 5 Page 8 6 Problem 3................................... 6 Problem 5................................... 6 Page 3 7 Problem................................... 7 Problem................................... 8 Problem 3................................... 8 Problem 5................................... 8 Page 6 8 Problem................................... 8 Problem 3................................... Page 54 Problem................................... Problem................................... Page 33 Problem................................... Problem................................... Problem 3................................... Problem 4................................... 3 The Logarithm and a Useful Construction 3

Honours Complex Analysis Some Additional Problems 7 These are mostly problems from Ahlfors Complex Analysis. Problem Page 8 Let f : Ω C be holomorphic in Ω and g : Λ C be holomorphic where f(ω) Λ. Then the map g f : Ω C is holomorphic. Indeed, it suffices to show that g f is (complex) differentiable at every point of Ω, and hence as Ω is open it will follow that the composition is a holomorphism. The chain rule easily yields this. Problem 4 If f : Ω C is a holomorphism in a domain Ω C with f M, then f is constant. Note that the case where M = is instant as this implies f = R(f) + I(f) and hence R(f) I(f). Now consider the case where f R(f) + I(f) =: u + v M > for any z = (x, y) R ir. Then differentiation with respect to x and y will yield u x u + v x v () u y u + v y v () We now employ the Cauchy-Riemann equations to write this only in terms of follows: u x u + v x v v x u + u x v u x v v x u x as Or, equivalently ( ) ( ) u v ux = ( ) v u v x ( ) u v Note that the coefficient matrix is invertible as it has determinant det = ( ) v u (u + v ux ) = M by hypothesis. This yields that =. A final application of the Cauchy Riemann equations yields f over C. Problem 5 Here we show that f is holomorphic in C if and only if f(z) also is. Note that by symmetry of conjugation, we need only show one implication. One can show this via algebraic manipulation of the limit definition. I, however, prefer to show that f(z) is also v x

a solution to the Cauchy Riemann system of PDEs. Assuming that f is a holomorphism, we must have u x (x, y) = v y (x, y), u y (x, y) = v x (x, y) (3) where f(z) = u(x, y) + iv(x, y). Then, we also have f(z) = u(x, y) + i( v(x, y)). Thus, we may express f(z) = α(x, y) + iβ(x, y) for α = u(x, y) and β = v(x, y). We now verify the Cauchy Riemann equations: Moreover, α x (x, y) = u x (x, y) = v y (x, y) β y (x, y) = y [ v(x, y)] = v y(x, y) α y (x, y) = y [u(x, y)] = u y(x, y) = v x (x, y) β x (x, y) = x [ v(x, y)] = v x(x, y) Which concludes the proof, as being holomorphic is equivalent to solving the Cauchy Riemann equations. Problem Page 78 (Page 78). Suppose by way of contradiction that ϕ : C { } C { } given as above is a linear fractional transformation, and thus must be of the form z = ϕ(z) = az + b cz + d, Note that if Iz = then z = z. In particular, Plugging in different values yields Or, = b d a c + d a c + d a c + d c + d = a d c = a c + d = a Thus, a = d and hence c =. But then we have z = az d = z Which is absurd (for instance, i i). z C = b = (4) (5) 3

Honours Complex Analysis Problem (Page 78) Here we compute several compositions: Thus, Now note that T T z = T T z = T z z+ + z z+ + 3 = z+ z+3 z+ z+3 + = 3z+ z+ 4z+3 z+ z+ z+3 z+5 z+3 T (w) = 3w w T z = 3 z z+ z z+ = z = 3z + 4z + 3 = z + z + 5 = z Problem 3 (Page 78). We argue in a similar manner. Let ϕ be a fractional linear transformation as given. Then, we have that ϕ() = and for any pair (z, w) C C: z w = ϕ(z) ϕ(w) (6) since we assume that ϕ preserved distance under transformation. Of course, we know that then ϕ(z) = az + b for complex numbers a, b, c, d. The assumption that cz + d yields immediately = b d and thus we see b =. Now, as ϕ() = we see from (6) that z = ϕ(z) ϕ() = ϕ(z) = az cz + d = a z cz + d, z C Especially a >. As this is the case for all z C we must have a in C (7) cz + d Of course, this can only happen if the denominator is also constant and hence we conclude that we require additionally that c =. We are left with a =, or a = d. d Hence we may express the quotient a in polar form: d a d = ρeiθ, θ [, π) (8) where ρ =. This corresponds purely then to a rotation in the complex plane. Finally, as was required. ϕ(z) = az d = zeiθ, θ < π 4

Problem 4 (Page 78). Let ϕ(z) be a linear transformation with the additional restriction that ϕ(z) R whenever z R. Write now ϕ(z) = az + b cz + d for a, b, c, d C. We will now find α, β,, δ R so that ϕ(z) = αz + β. We need to z + δ distinguish separate cases:. If a do the following: ϕ(z) = az + b cz + d a a = a z + b c z + d, a R To alleviate notation, we will denote these constants again by a, b, c, d respectively. The important thing to observe is that we will then have Ia =, i.e a R. We now have a representation ϕ(z) = az + b cz + d, a R In the above we see that a implying that c R as well as a. We have seen c in class that these transformations admit an inverse ϕ (z) = dz b a cz If d = then taking z = we see ϕ() = b and hence achieve b R. We now need to show that the same holds whenever d. But we may repeat the above steps for this inverse ϕ to see that whenever d we must be able to choose d R. Returning to ϕ, taking again z = we see b d R = b R d R b. If a = then we have ϕ(z) =. Here if b = we have that ϕ(z) is noninvertible which is impossible. So we may apply the same idea to this form to cz + d write ϕ(z) = b cz + b b thus obtaining b ϕ(z) = b cz + d, b R for suitable b. Taking z = we see that b. We then have d R. From this d we must also we able to take c R. Problem Page 8 We seek a transformation ϕ which takes, i, i. We need to find coefficients a, b, c, d C so that ϕ(z) = az + b () cz + d 5 (9)

Honours Complex Analysis satisfies the conditions. That is, we require b d = ai + b ci + d = ai + b ci + d = From the above equations we may recover the following auxilary system b d = () (a + c)i + (b + d) = () Hence b = d = ai. With this, we rewrite the second equation as ai + b = (3) ai + ci + d = = 3ai + ci = (4) Hence 3a = c. If we set a = it immediately follows that a particular solution is the 4-tuple: (, i, 3, i) So, ϕ(z) := z + i 3z + i It is clear that this certainly satisfies the desired criteria. Page 8 Problem 3 Here we compute z = z dz. Note that (z ) = (z ) (z + ) has two poles of order inside the circle z =, at z = ±. The residues are easy to compute: z = z dz = πi ( Res z=w f(z) = πi + ) w = πi = Problem 5 Let f be holomorphic on a closed curve Γ C, we claim that (ϕ) f(z)f (z)dz is purely imaginary. Note that as f is holomorphic it is a regular function that if infinitely many times differentiable and and hence all partials (of any order) of it s real and imaginary parts exist and are continuous. We may derive from the limit definition that f f(z + h) f(z) u(x + h, y) + iv(x + h, y) u(x, y) iv(x, y) (z) = lim = lim h h h h h C u(x + h, y) u(x, y) v(x + h, y) v(x, y) = lim + i lim h h h h = u x v (x, y) + i (x, y) x 6

Now, f(z)f (z)dz = (u(x, y) iv(x, y)) (u x (x, y) + iv x (x, y)) (dx + idy) = (u(x, y) iv(x, y)) (u x (x, y) + iv x (x, y)) (dx + idy) = (uu x + vv x ivu x + iuv x )(dx + idy) = (uu x dx + vv x dx ivu x dx + iuv x dx) + (iuu x dy + ivv x dy + vu x dy uv x dy) = uu x dx + vv x dx + vu x dy uv x dy + I(I) = (uu x + vv x )dx + (vu x uv x )dy + I(I) where I is the integral being considered. Now, if D denotes the region enclosed by the closed curve we apply Green s theorem to see the real part is given by D (v x u x + vu xx u x v x uv xx u y u x uu xy v y v x vv xy ) da = (vu xx uv xx uu xy vv xy ) da D = (vv yx + uu yx uu xy vv xy ) da D = da = D Page 3 Some of these computations are very tedious and combinatorial and do not (in my humble opinion) teach one much. It is more instructive to do one nice example and not get bogged down on the computations that follow. The only crucial step is to notice the applicability of Cauchy s theorem. The computations that may follows are not unique to complex analysis and are not deep. Problem. We compute z = e z z n dz. The first thing to observe is that if n the integrand is holomorphic (even entire) and hence this integral vanishes. We now consider powers n N. Recall Cauchy s Integral Formula Here we have z =, and n n. Thus, ζ = f (n) (z) = n! f(ζ) dζ (5) πi Γ (ζ z) n+ e ζ ζ n dζ = πi (n )! d n dζ n [ e ζ ] ζ= = 7 πi (n )!

Honours Complex Analysis Problem. We claim here that if f is entire and for all f(z) O(z n ) for some n, then f is a polynomial of at most degree n. Here we will develop of modified form of Cauchy s estimate. Fix z C and take R and consider the circle ζ z = R. We may let R be so large that for ζ on this circle we have f(ζ) C ζ n. Then, f (n+) (n + )! f(ζ) (n + )! f(ζ) (z) = dζ π ζ z =R (ζ z) n+ π n+ dζ ζ z =R ζ z (n + )! C ζ n dz π ζ z =R Rn+ C(n + )! = πr dz = K(n + )! πr ζ z =R R Hence, f (n+) (z) =, and since z C was arbitrary we see f (n+) in C and hence f is a polynomial of at most degree n. Problem 3. It is implied that we need to find an upper-bound that is uniform for all ρ and z inside the domain. Note for any ρ the largest disc we can take for all z with z ρ < R is simply the open disc with radius R ρ. Thence, as this disc is contained in the larger domain where f is bounded: Problem 5. f (n) (z) n! π ζ z =R ρ M n!m dζ = (R ρ) n+ (R ρ) n We show that at a point where f(z) is holomorphic we cannot have for successive n: f (n) (z) > n!n n. We may pick a small disc centred at z of radius r contained in a domain in which f is holomorphic and consequently bounded. Thus, express f (n) (z) n! M n! M π n+ dζ = ζ z =r ζ z r n ( ) M Shrink r so that if µ n = M then n. Since the integral takes the same value r regardless of the size of the ball, this can be done for all z and all subsequent n. Problem Page 6 Here we calculate poles and residues. Let s do this! a) f(z) = z. Note that we can factor the denominator as (z + 3)(z + ) + 5z + 6 which has zeros of order at z =, 3. The residues are then Res(f, ) =, Res(f, 3) = 8

b) Here we consider (z ) = (z ) which has zeros of order. Here (z + ) we prefer to use Cauchy s formula, if is a small disc enclosing only one of ±: Res(f; ) = πi Res(f; ) = πi (z + ) (z ) + dz = d [ (z + ) ] dz z= = 3 = 4 (z ) (z + ) + dz = d dz [ (z ) ] z= = ( ) 3 = 4 c) Consider. Note that sin z = z = kπ for k Z. Hence, the ratio will sin z have poles at z = kπ. Taking a small disc enclosing at most one, we see ( ) n (z kπ) n+ sin z =, z kπ R < ρ (n + )! n= Or, near this singularity: sin z = (z kπ) n= ( ) n (z kπ) n (n + )! =: (z kπ)g(z) this series has the same radius of convergence and hence represents a holomorphic function there. Note also that g(kπ) and so we may shrink the neighbourhood so that g in this small ball. It follows from that each zero of sin z is of order one and thus we may compute: z kπ Res(sin z, kπ) = lim = z kπ sin z cos kπ = ( )k We briefly digress to prove that this (simple) case of L Hôpital s rule may be used. Theorem. Let f, g be holomorphic at z with lim f(z) = lim g(z) = and z z z z assume that g (z ).Then, f(z) lim z z g(z) = f (z ) g (z ) (6) Proof. Write for z z near z : and let z z. f(z) g(z) = f(z) f(z ) z z g(z) g(z ) z z d) f(z) = cot z. cot z shares poles with sin z. Hence, z Res(f; z = kπ) = lim (z kπ)cos z kπ sin z = lim (z kπ) cos z lim = z kπ z kπ sin z 9

Honours Complex Analysis e) f(z) := sin. We employ a similar strategy, since we may write z (z kπ) sin z = (z kπ) +... + ( )n (z kπ) n +... 3! (n + )! }{{} g(z) for g(z) holomorphic and non vanishing in a neighbourhood of kπ with g(kπ) =. Moreover, we have g (kπ) =. Then, g(z) satisfies the same properties and if is a small circle centred at kπ we have by Cauchy s integral formula Problem 3. Res(f, kπ) = g(z) πi (z kπ) dz = d [ g(z) ] dz z=kπ = g (kπ) g(kπ) 3 = Here we only evaluate two of the more difficult ones, namely e) and h). f) is the same as e) after an application of Jordan s lemma, which we have not covered and so I will omit it. cos x First consider x + a dx = cos x x dx and moreover + a R + R cos x x + a dx = R R R(e ix ( ) x + a dx = R R e ix ) x + a dx Consider the semi circle lying on the real axis with radius R centred at the origin with upper-arc lying in I(z) >. For all R, if we denote this semi by Γ and the upper arc by we have by the Calculus of Residues e iz ( ) e i(ai) dz = πi = πe a Γ (z ai)(z + ai) ai a e iz (z ia)(z + ai) dz π ir cos θ R sin θ e π R e iθ + a Rdθ e R sin θ R a Rdθ Thus, in the limit as R we recover πe a a = R π R a e iz z + a dz = e ix R x + a dx R cos x Ergo, R + x + a dx = ( ) πe a R = πe a a a. log x Finally, we examine dx. Consider the usual key hole with R and + x ( ɛ. Choosing a branch of the logarithm with arg z 3π ], π (why?) note that the integral over this curve Γ is simply z + dz = πi ( ) log i Res(f; z ) = πi = π log i i z Γ

Note that if e z = i then i = cos θ + i sin θ for θ = π. Thus, in our branch of the logarithm we have log i = iπ. Thus, Γ z dz = iπ + We now examine the behaviour along a semi-circle of radius R: z + dz π z + dz = log R + iπ R Rdθ π log R + π R Rdθ The usual limit rules show that this tends to as R or R. Hence we may shrink the keyhole into our usual contour preserving the value of the integral above and seeing On the otherhand, i π = z + dz = z dz == + + log z + iπ z dz = + log x x + dx z + dz log x x dx + iπ + + x dx Equating real parts we see log x + x dx = Page 54 Problem. Define f(z) = z 7 z 5 + 6z 3 z +. How many roots have their modulus <? Define the auxiliary function g(z) := 6z 3, and note that on the circle z = g(z) 6. On one hand, f(z) g(z) z 7 + z 5 + z + = + + + = 6 < 7 Hence, f g < g and thus f < g. Thus, f has as many roots inside z < as g by Rouche s Theorem. Now, g = only at z =, multiplicity 3. Thus, we see f has three such roots. Problem. How many roots does z 4 6z + 3 have their moduli between and? We mimic the procedure above. Define g(z) = 6x and write f g = z 4 + 3 z 4 + 3 = 4 < g = 6, z =

Honours Complex Analysis Hence, we see that f has root with z <. Now, on the boundary of the annulus z = define h(z) = z 4, considering f h 6z + 3 = + 3 < 4 = 6 Using now that z 4 has 4 roots we see by Rouche that f has 4 roots inside z < and thus has 3 inside z <. We claim it has no roots on z =. To see this, note that for such z Problem. f 6z z 4 3 = 6 3 = Page 33 Set f(z) = z + z and hence f (z) = z + which vanishes at z =. Thus we cannot have a disc with radius larger than /. We now have to show that f is injective in z <. Suppose that for z, w in this disc we have w z and f(z) = f(w): = (z w ) + (z w) = (z w)(z + w + ) = Since by hypothesis we have z w it follows that z + w + = and thus z + w = = z + w which is absurd. Problem. z w > We find the largest neighbourhood of the origin in which w := e z is injective. Recall that e z is periodic with period πi, consequently it is natural to as whether e z is injective in the disk z < π. Indeed, if we take z, w satisfying max( z, w ) < π and assume e z = e w e z w = z w = πin, n Z Hence, z w = πn with n N. Hence, z + w πn implies z πn w > πn π π π = π Contradicting our choice of z yielding then that z = w proving injectivity. It now remains to show that this is the largest disk in which e z is one to one. To see this, fix ɛ > and use the periodicity of e z to pick elements in this disc with z z = πi. We may do so as follows: z := iπ + ɛ, z := iπ + ɛ (try to visualize these points in C). Then, z z = πi and hence e z = e z. Problem 3. Recall the half angle formulae cos θ = + cos θ, sin cos θ θ = (7)

Note that cos z has a of order n = at z =. Thus, ( ( )) ( ) θ θ cos θ = ( cos θ) = sin = sin ( ( )) i θ = sin Problem 4. This is a little more difficult, although very instructive. We will state it as a theorem, as it is of great importance. Theorem. Let f(z) be holomorphic in a neighbourhood of the origin with f (). Then, there exists a (possibly smaller) neighbourhood or the origin and a function g(z) holomorphic in this neighbourhood so that in this neighbourhood. f(z) = f() + g(z) n (8) Proof. We may expand f as a Taylor polynomial near the origin so that for all z sufficiently small f(z) f() = a z + a z +... + a k z k +..., a = f () (9) f(z n ) f() = a z n + a z n +... + a k z nk +... () This last line is allowed in a smaller neighbourhood of the origin, for if z < then z n < z < and hence the series is convergent. Now, writing f(z) f() = z n (a + a z n +...) = z n h(z) where h(z) is analytic near the origin and has h() =. Moreover, we may shrink the ball so that h(z) is non vanishing in this ball. It hence has a logarithm in a closed ball contained in this neighbourhood (see the logarithm section) and consequently we may define an analytic sheet of the n th root g(z) = (h(z)) n = e log h(z) n () This concludes the proof. The Logarithm and a Useful Construction We begin by considering the following problem, given a non-zero complex number z does there exist a unique complex number w such that e w = z? Yes, however the answer is not unique. Moreover, in general we cannot simply choose a single determination. We may write for arg z [, π) Thus, if we write w = x + iy z = z e i arg z = z (cos arg z + i sin arg z) e w = e x+iy e x e iy = z e i arg z 3

Honours Complex Analysis Equating now real and imaginary parts yields e w = z and e iy = e i arg z. The former has a former unique solution x = ln z and the latter implies y = arg z The trouble here is that the argument of z not not uniquely determined, indeed simply the complex number may be expressed as = e = e πi =... = πin, n Z Nonetheless, we may say several nice things about the complex logarithm. If f is holomorphic and non vanishing inside a domain Ω C and we have a continuous function w there such that f(z) = e w(z) then w is also holomorphic with w (z) = f (z). Indeed, if we employ the holomorphic f(z) property of f and the exponential we may expand f(z + z) f(z) = e w(z+ z) e w(z) so that ( ) f(z + z) f(z) = e w(z) e w(z+ z) w(z) Dividing through by z = f(z) ( e w ), w = w(z + z) w(z) f(z + z) f(z) z = f(z) = f(z) z w(z + z) w(z) z ) +...! ( + ( w) ) +...! ( w + ( w) We see that by continuity of w(z) the power series tends to as z. Hence, letting z z we see w (z) = f (z) f(z) and hence that w is holomorphic. With this we can now construct a logarithm. Theorem 3. Let Γ C be a simple closed curve and f be holomorphic on and inside Γ with f everywhere. There exists a holomorphic single valued function w so that Proof. We proceed in 4 steps. f(z) = e w(z) inside and on Γ () Step. Here we define the logarithm. Fix an interior point of the curve Γ and let z, z Γ be points such that the segments λ : [, ] C, z z λ : [, ] C, z z lie in inside the curve Γ, except the points z, z Γ. We will begin by showing that f (ξ) f(z ) exp f(ξ) dξ = f(z ) exp dξ (3) f(ξ) λ 4 λ

Along the arc z z Γ with positive orientation consider the function ζ f(ζ) exp z f(ξ) dξ where the integral is taken along this same curve. This is defined as f is holomorphic and non vanishing on Γ. Taking the derivative, ( ) d ζ dζ f(ζ) exp z f(ξ) dξ = f (ζ) ζ f(ζ) exp z f(ξ) dξ + ζ f(ζ) exp z f(ξ) dξ f (ζ) f(ζ) for any ζ chosen along this sub-path of Γ. Thus, it is constant in ζ, it takes value at ζ = z, and must also assume this value at ζ = z, that is: f(z ) = f(z ) exp z z f(ξ) dξ f(z ) and consequently f(z ) z f(z ) = exp z f (ξ) dξ =: exp f(ξ) z z dξ (4) f(ξ) Now consider the positive closed curve with positive orientation from by travelling along z z, along λ and λ, which is λ with reverse orientation. Denoting this closed curve by we see by Cauchy s Theorem that = Whence, by the above Implying f (ξ) f(ξ) dξ = = z z z z f(ξ) dξ + f(ξ) dξ + λ f (ξ) f(ξ) dξ + λ f (ξ) f(ξ) dξ f(z ) f(z ) = exp f (ξ) λ f(ξ) dξ λ f(ξ) dξ f (ξ) f(z ) exp λ f(ξ) dξ = f(z ) exp λ λ λ f(ξ) dξ f(ξ) dξ dξ (5) f(ξ) Step. Here we show uniqueness of representation, so to speak. Namely, that the above is equal to f(z ) and hence the function is independent of chosen path. This is a reprise of the argument above, where we may again show that d dζ [ ( f(ζ) exp ζ z )] f(ξ) dξ as ζ moves from z to z on the curve λ. Then, taking ζ = z the result follows; i.e f(z ) = f(z ) exp dξ (6) f(ξ) 5 λ =

Honours Complex Analysis the second equality follows from step. We may now define for an interior point z and such a boundary point z : f (z) w(z ) := w(z ) + f(z) dz = w(z f (z) ) + dz (7) f(z) λ Ultimately, it is this uniqueness of representation that will yield continuity of this function, which is defined on and inside Γ. Step 3. The function w(z) is continuous where it is defined. Fix a point z inside Γ and consider now a small disc centred about it contained inside the interior of Γ except for one point where it intersects a point z on the boundary of Γ. Consider again an arc λ from z to z with (z, z ] contained in the interior of the curve. If we take z near z then it lies inside this same disc, which is convex. Consequently for all such z we may choose a path λ from (z, z ]) contained inside the interior of the disc and consequently inside the region enclosed by Γ. We now employ a usual strategy. Consider the closed curve formed by traveling along [z, z ] [z, z ] [z, z ] where this last path is taken along the radius of the disc. This is a closed curve (a triangle) on and inside which f is holomorphic and thus Therefore, = f(ξ) dξ = w(z ) w(z ) = λ λ f(ξ) dξ + λ f(ξ) dξ + λ [z,z] f(ξ) f (ξ) f(ξ) dξ f (ξ) λ f(ξ) dξ = [z,z] f(ξ) dξ dξ (8) Now observe that since f (ζ) and f(ζ) are jointly holomorphic with f(ζ), their ratio is continuous (even holomorphic) inside and on Γ and must achieve a maximum, say, M. In any case it is bounded and we may make the following estimate for all z near z : w(z ) w(z ) M z z dτ = M z z z z Hence, w is continuous. Step 4. We now show the function w(z) is holomorphic. This is really a consequence of the introductory result, as we have already shown continuity. This concludes the proof. Principle of Argument We write f (z) πi f(z) dz = πi d log f(z)dz dz = πi (log z + iθ log z iθ ) = θ Question. How many roots of the equation z 4 + 8z 3 + 3z + 8z + 3 = lie in the right half plane? Hint: Sketch the image of the imaginary axis and apply the argument principle to a large half disk. We cal solve this equation with the interpretation of the argument principle above. Let for R Γ(R) denote the half circle lying on the real axis pointing into the portion of C with R(z). Now, on the line I(z) we see for y with R y R that: (iy) 4 + 8(iy) 3 + 3(iy) + 8(iy) + 3 = y 4 8iy 3 3y + 8iy + 3 R(f(iy)) = y 4 3y + 3, I(f(iy)) = 8y 3 + 8y 6

At both iy = ± it follows from ( ) R(f(z)) I(f(z)) = O z that as R = ± f(iy) goes the argument of f(z) goes from to so to speak. We know that it doesn t go to a non-zero multiple of π as it cannot wind around the origin, for the real part R(f(z)) > for all such y on this axis. We now study how the function behaves on the arc. Parametrize it by z = Re iθ, then or, f(ϕ(θ)) = R 4 e 4iθ + 8R 3 e 3iθ + 3R e iθ + 8Re iθ + 3 = R 4 e 4iθ ( + O(/R)) consequently, we have as R that the argument of f along this arg, as θ ( π, π ) ranges by iπ ( iπ) = 4πi hence, for R large, we have the total number of zeroes is πi 4πi =. Some Additional Problems log x. A classic problem in Fourier analysis is the computation of x dx for + a a R. We will use an indented semi circle as a contour of integration. For ɛ > and R > remove the small key-hole from the semi-circle. Now, chose a branch of the logarithm with arg z ( 3π, ) π, it is wise to chose this branch because it will include the contour and the boundaries. Note that the function f(z) = z + a has a pole of order inside the contour at the point ai. Thence, by the residue theorem, where Γ(R, ɛ) is the chosen contour ( ) log ai f(z)dz = πi = π ai a log ai = π (log a + iπ) a Γ(R,ɛ) Now, on any semi-circle (with radius, say ρ): z + a dz C ρ z a dz C ρ = π Now, sending ɛ and R we recover On the other hand, π log z + π z a ρdθ log ρ + π ρ, ρ ρ ρdθ a z + a dz = π (log a + iπ) a z + a dz = z + a dz + log x x + a dx 7

Honours Complex Analysis And, Thus, z + a dz = log z + iπ z + a dz = π (log a + iπ) = a equating real and imaginary parts: We now calculate z =p z =p dz z a = = π = i log x x dx + iπ + a log x x dx + iπ + a z + a dz z + a dz log x x + a dx = π log a (9) a dz. We begin with the observation z a π pie iθ dθ π (e iθ a)(e iθ a) = pdθ (e iθ a)(e i θ a) = π π pie iθ dθ (e iθ a)( e iθ a) = i pie iθ dθ (e iθ a)(e i θ a) pdθ (e iθ a)(e i θ a) ieiθ ie iθ dz (z a)( za) = i z =p z =p dz (z a)(za ) 8