Beruflich Dokumente
Kultur Dokumente
Based on tutorials of dr. Paul Reed and the OUSA revision weekend 1998, and my own
Typed by I.R. van de Stadt BSc. (Hons)
Part I
Question 1
(a) (i)
(a) (ii)
(b)
(i + 1) = 1 (i + 1) Arg w = 3
4
(i 1)(i + 1) 2
14
w = 12 (i + 1) = 1 e i3 4 (2 1 8 e i3 4 ) = 2 1 8 e i3 16 = 2 1 8 (cos 316 + i sin 316 )
w=
( )
i
i = ei 2 i i = ei 2 = e 2 (Principal argument)
Question 2
(a)
(b)
(c)
Question 3
(a)
The domain of the function f is C . F is continuous by the Composition Rule, since the functions Imz
and z 2 are basic continuous functions.
(b)
So,
1 2
21
f (z )dz = 0 2t (1 + i )dt = (1 + i )[23 t ]0 = 23 (1 + i )
Question 4
(a)
Taylor series is f (0 ) + zf (0 ) +
z2
z3
z4
f (0 ) +
f (0 ) +
f (0 ) + L
2!
3!
4!
f (0 ) = 1
f ( z ) = e cos z e sin z
f (0 ) = 1
f (0 ) = 0
f (z ) = 2e sin z 2e cos z
f (0 ) = 2
f (0 ) = 4
(i)
So up to z we have
2
4
f (z ) = 1 + z z3 z 4 + L
3!
4!
Since f (z ) is analytic for all discs 0 z r , the Taylor series represents f (z ) for all discs 0 z r
(i.e. all of C )
f (z )
1
2 3 4 4
4
1 1 2
dz =
+ z z 2 + Ldz
1 + z z z + Ldz =
z =1 z 2
z =1 z 2
z =1 z 2
3!
4!
z 3!
4!
z =1
f (z )
z2
dz = 2iRes( f ,0 ) = 2i 1 = 2i
(ii)
2 4 3
g (z ) =
1 + z z z + L = 1 z z + L
dz
3!
4!
3!
(by the Differentiation Rule). The result is the first 3 terms of the Taylor series for g ( z ) .
Question 5
(a)
e3iz
e3iz
f (z ) = 2
=
Note this has simple poles at 2i
z + 4 (z 2i )(z + 2i )
To find Residue use Cover up rule (Theorem 1.1 unit C1)
Residue at 2i
e3iz
e 6 ie 6
=
=
(z 2i )(z + 2i ) 4i
4
z 2i
Residue at -2i
lim (z 2i )
e3iz
e6
ie 6
=
=
(z 2i )(z + 2i ) 4i 4
z 2i
[Note the cover up rule only works for simple poles. For multiple poles which have a term like
lim (z + 2i )
(z )n ,
(b)
We have
e3ti
=
Re
dt
dt
t 2 + 4
t 2 + 4
cos 3t
e3ti
2i
= 1 e 6
=
dt
Re
2
i
4 2
t 2 + 4
Question 6
(a)
(b)
So we have e z e 1 > 13
Rouchs Theorem (page 19 Unit C1)
We have f e z = 13 z 4 = 13
So we have f e z = 13 e z , for z z = 1
So f has the same number of zeros inside z = 1 as e z . However e z has no zeros and hence f has no
zeros inside z = 1 . This is Rouchs Theorem.
(c)
f (z )dz = 0
This is because f (z ) is analytic an non-zero inside . So 1 f (z ) is analytic and so the integral is zero
by Cauchys Theorem.
(c)
q (z ) =
2
is analytic on C {0} so q represents a model fluid flow (See HB. 1.14 p.38)
z
2
A primitive of q ( z ) = is (z ) = 2 Log z , z C {x R : x 0}
z
is a complex potential function for the flow.
i
1 + i
Streamlines satify the equation
Im (z ) = Im 2 Log z = Im(2 log e z + i 2 Arg z ) = 2 Arg z = k
o
0
2
2(1 + i )
2
q (i ) = = 2i ; q (1 + i ) = ____ =
= (1 + i )
i
(1 i )(1 + i )
1+ i
analytic on C . C is a simply-connected region and the unit circle isis a simple-closed contour in C
and 0 is a point inside the unit circle.
Question 8
(a)
(b) (i)
P1 i (0 ) = 1 i; P1 (0 ) = ( 1 i )2 1 i = 1 + i; P 1i (0 ) = ( 1 + i )2 1 i = 1 3i
3
1i
(b) (ii)
(0)
2
i
8 4 32 + 8 (i ) = 12 2 = 1 < 3
So by HB 4.3 p 43 c M .
Part II
Question 9
(a) (i) sin ( + iy ) = sin x cos
) (
)(
tan z
sinh 2 x + sin 2 x
=
1 sinh 2 x + sin 2 x sinh 2 x + cos 2 x
2
2
2
sinh
x
+
cos
x
cos z
sin z
sin 2 x cos2 x 14 x 14
(b)
is a region f is
(b) (i)
f (x ) =
sin z
has a removable singularity at z = 0 and simple poles at z = 3i and z = 3i . So
z (z 3i )( z + 3i )
by the Cover-Up Rule
sin 0
sin 3i
1 i sinh 3
Res( f ,0 ) =
= 0; Res( f ,3i ) =
= 18
( 3i )(3i )
3i 6i
sin ( 3i ) sin 3i 1
Res( f ,3i ) =
=
= i sinh 3
3i ( 6i ) 3i 6i 18
f is analytic on the simply-connected region C except for 3 singularities. is a simple-closed contour
in C , not passing through any of the singularities. So, since only 0 is inside and the other
singularities are outside
f (z )dz = 2i(Res( f ,0) + Res( f ,3i ) + Res( f ,3i )) = 2i(0 181 i sinh 3 + 181 i sinh 3) = 0
(c)
a simple-closed contour in C , not passing through any of the singularities and only 3i is inside and
the other singularities are outside . Hence, by Cauchys Residue Theorem
1 i sinh 3 = sinh 3 (see part (a))
f (z )dz = 2i Res( f ,3i ) = 2i 18
9
as required.
(d)
zf (z )
z2 + 9
in analytic on {z : z < }, except for a simple pole at 0
sin z
02 + 9
1
Res
,0 =
= 9,
zf ( z ) cos 0
d sin z
by the g/h Rule, since z 2 + 9 and
= cos z are analytic at 0 and cos 0 = 1 0
dz
Question 11
(a) (i)
( )
( ( ))
( )
(a) (ii) The interval R = {z : 1 < x < 1, < y < } is a bounded region. The function f ( z ) = exp e z is
analytic on R and continuous and non-zero on R , then by the Maximum Principle (HB. p. 31) there is a
maximum is on R
[ (
)] (
)
On {z : x = 1, y }, max [exp(e (cos y ))] = exp(e (cos 0 )) = e
On {z : 1 x 1, y = }, max [exp(e (cos( )))] = exp( e ) = e
On {z : 1 x 1, y = }, max [exp(e (cos( )))] = exp( e ) = e
So max {exp(e ) : 1 Re z 1, Im z } is e which is attained at z = 1
On {z : x = 1, y }, max exp e1 (cos y ) = exp e1 (cos 0 ) = ee
1
(b)
e 1
e 1
Let h( z ) =
r
, z C {r}
rz
Now f and g are Basic Taylor Series (HB 3.5 p. 25)
f (z ) =
( )
1
z
= 1 rz ,
r
n = 0
g (z ) =
n =1
n =0
z < r f (z ) =
n
( )
r
= h(z ),
(r z )
1
+ 1 = 1 rz + 1,
z <r
z >r
z
z
z+rz
r
=
= h( z ), z > r
+1 =
+1 =
(r z )
(r z ) (r z )
(z r )
f , g and h are analytic on their domains.
The region z < r , the domain of f overlaps with the region z C {r} , the domain of h. Also the
g (z ) =
region z > r , the domain of g overlaps with z C {r} . Hence f and h are direct continuations of each
other (or f is a direct continuation of h by Taylor series (HB 2.1 p.33) and so are h and g likewise. The
regions z < r and z > r do not overlap, and so f and g are indirect continuations of each other. (HB
1.1 p. 33 and HB 2.3 p.33)
=
1
+1 =
wi
wi
wi
wi
(1 i )w + 1 i
(b) (i)
= (1 + i )w + 1 + i = 1 i w + 1 = 1 + i w + 1 w + 1 = w 1
) ( z )ei Arg z 2
Let h(z ) =
So, if
i Arg z1 2
( z )e
1
( z )e
2
i Arg z 2 2
z1 ei Arg z1 z2 ei Arg z 2 z1 = z2
Hence h(z ) is a one-one function. h(z ) is analytic on {z : Re z > 0} , with h(z ) = 1 0 for all z in
{z : Re z > 0} .
2 z
f (z ) , so by HB 4.5 p. 37 g is
(b) (ii) f and h are one-one and conformal on these regions. h 1( z ) = z 2 Hence since (h o f )1 = f 1 o h 1 ,
g 1 (z ) =
iz 2 + 1
z2 i
z2 + i
iz 2 + 1