MATH V3007 Complex Variables - Solution to HW4

Problem 1 (2.11 in Stein-Shakarchi)

a) From the hint: 1 0= 2i From Cauchys integral formula: f (z ) = Adding the two gives: f (z ) = 1 2
2 2 0

f (Rei ) iRei d R2 i Re z f (Rei ) iRei d Rei z

1 2i

2 0

f (Rei )
0 2

Rei z + d i i Re z Re z Rei + z Rei + z + d i i Re z Re z Rei + z Rei z d

1 f (z ) = 2

f (Rei )
0

1 2

f (z ) =

1 2

f (Rei )Re
0

b)Multiplying and dividing by the conjugate of the denominator we get: Reit + r R2 2irR sin t r2 = Reit r R2 2rR cos t + r2 Re Reit + r Reit r = R2 r 2 R2 2rR cos t + r2

Problem 2 (2.14 in Stein-Shakarchi)

n We can write the Taylor expansion of f around 0 as f (z ) = n=0 an z and its Laurent n expansion around z0 as n=k bn (z z0 ) ; they both converge in D. We can relate these two series: 1 (n j 1)(n j 2)...(n + 1) an = b n + (1)j dj (j 1)!(z0 )nj +1 j =k

When we take the limit n of an /an+1 , the highest order contribution comes from the terms: 1)(n+k2)...(n+1) dk (n+k n+k+1 (k1)!z0 lim = z0 k)(n+k)...(n+2) n dk (n+ n+k+1 (k1)!z
0

Problem 3 (2.15 in Stein-Shakarchi)

Dene the function F as suggested in the hint. We want to show that F is entire and bounded, which would imply that it is constant. If |z | = 1 then |f (z ) = 1 so: F (z ) = 1 f (1/z ) = 1 f (z ) = f (z )
1 f (1/z )

So F is everywhere continuous. Since f (1/z ) is holomorphic and nonzero in D, F =

will be holomorphic in C D. To show that F is also holomorphic for |z | = 1, we can use Moreras theorem. Take any triangle whose interior intersects the unit circle nontrivially, and break it into smaller triangles. Some triangles will be in D or C D; the integral of F over these is 0 since F is holomorphic in these domains. Some triangles will still intersect the unit circle, but they can be made arbitrarily small, so the integral of F over them is 0 as well. This completes the proof that F is entire. It is bounded because f is bounded and nonzero in D.

Problem 4 (3.2 in Stein-Shakarchi)

Integrate over the upper semicircular contour; the integral over the semicircular part is 0 since the degree of the denominator is greater than 2. Therefore the desired integral is just the sum of all residues that lie in the upper semicircular contour. The poles are the 4-th roots of -1: ei/4 , ei3/4 , ei5/4 , ei7/4 . Only the rst two are inside the contour, so:

dx = 2i 1 + x4

1 i/4 1 i3/4 e + e 4 4

= 2

Problem 5 (3.3 in Stein-Shakarchi)

The desired integral is the real part of:

eix x 2 + a2

We integrate over the upper semicircular contour. The integral over the semicircular vanishes by Jordans lemma, so the contour integral is equal to the residue of the pole ia:

eix ea = 2 i Res ( f ) = ai x 2 + a2 a

This is already real, so its real part is itself. 2

Problem 6 (3.5 in Stein-Shakarchi)

We choose the integration contour based on the sign of . If < 0, we are forced to choose the upper semicircle. If > 0, we are forced to choose the lower semicircle. If = 0, either semicircle works. Well treat the case < 0, the other two are analogous. Again, using Jordans lemma the integral over the semicircular part vanishes, so the desired integral is equal to the residue at the pole i:

1 i e2x + = e2| | (1 + 2 | |) dx = 2ie2 2 2 (1 + x ) 2 4i 2