Analytic Functions and Complex Variables: Homework Problems, Assignments of Mathematics

A set of homework problems for math 534, a course on complex variables and analytic functions, for autumn 2008. The problems cover topics such as partial fractions, continued fraction expansions, and constructing one-to-one analytic maps of various regions in the complex plane. Some problems also involve proving theorems and finding the images of certain regions under analytic maps.

Typology: Assignments

Pre 2010

Uploaded on 03/10/2009

koofers-user-i0y
koofers-user-i0y 🇺🇸

5

(1)

10 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math 534 Homework #7
Autumn 2008
1. Suppose fis a rational function such that if zis not a pole of fand if Rez > 0, then Ref > 0,
and if zis not a pole of fand if Rez= 0, then Ref= 0.Prove that
f(z) = a0z+ib0+
n
X
k=1
ak
zibk
,
where ak0 and bkR. (Hint: partial fractions)
2. Suppose fsatisfies the hypotheses in problem 1. Prove (continued fraction expansion):
f(z) = c0z+id0+1
c1z+id1+1
c2z+id2+1
c3z+id3+...
,
where ck0 and dkRand the process terminates after finitely many steps. (Hint: use #1). This
problem says that the above class of functions is generated by z,iand the operations of multiplying
by a positive number, addition, and taking reciprocal. It is an open problem to do the same for
a rational function of two complex variables z,won the region {(z, w) : Rez > 0and Rew > 0},
which has zero real part when Rez =Rew = 0.
Construct a one-to-one analytic map fof the following regions onto D. If z0is given, find
the map with f(z0) = 0 and f0(z0)>0. You may leave your answer as an explicit sequence of
maps, but you must show that each map does what you claim it does.
3. = C\(−∞,0] z0= 1
4. = {z: 0 <Imz < 1}
5. = {z: 0 <Imz < 1 and Rez > 0}
6. = D {z: Imz > 1
2}z0=3
4i
7. = {z:|z|<1} {z:|z1|<1} {z: Imz > 0}.
8. = C\[0,1] z0=. Here f0() means limz→∞ z(f(z)f()).
9. (Rain = complement of the Seattle Umbrella)
= C\({z:|z| 1 and Imz0} {it :1t0})
pf2

Partial preview of the text

Download Analytic Functions and Complex Variables: Homework Problems and more Assignments Mathematics in PDF only on Docsity!

Math 534 Homework # Autumn 2008

  1. Suppose f is a rational function such that if z is not a pole of f and if Rez > 0, then Ref > 0, and if z is not a pole of f and if Rez = 0, then Ref = 0. Prove that f (z) = a 0 z + ib 0 +∑ k^ n=1 z −^ ak ibk ,

where ak ≥ 0 and bk ∈ R. (Hint: partial fractions)

  1. Suppose f satisfies the hypotheses in problem 1. Prove (continued fraction expansion): f (z) = c 0 z + id 0 + (^) c 1 z + id 1 + 1 1 c 2 z + id 2 + (^) c 3 z + id^13 +...

where ck ≥ 0 and dk ∈ R and the process terminates after finitely many steps. (Hint: use #1). This problem says that the above class of functions is generated by z, i and the operations of multiplying by a positive number, addition, and taking reciprocal. It is an open problem to do the same for a rational function of two complex variables z, w on the region {(z, w) : Rez > 0 and Rew > 0 }, which has zero real part when Rez = Rew = 0. Construct a one-to-one analytic map f of the following regions Ω onto D. If z 0 is given, find the map with f (z 0 ) = 0 and f ′(z 0 ) > 0. You may leave your answer as an explicit sequence of maps, but you must show that each map does what you claim it does.

  1. Ω = C \ (−∞, 0] z 0 = 1
  2. Ω = {z : 0 < Imz < 1 }
  3. Ω = {z : 0 < Imz < 1 and Rez > 0 }
  4. Ω = D ∩ {z : Imz > 12 } z 0 = 34 i
  5. Ω = {z : |z| < 1 } ∩ {z : |z − 1 | < 1 } ∩ {z : Imz > 0 }.
  6. Ω = C∗^ \ [0, 1] z 0 = ∞. Here f ′(∞) means limz→∞ z(f (z) − f (∞)).
  7. (Rain = complement of the Seattle Umbrella) Ω = C∗^ \ ({z : |z| ≤ 1 and Imz ≥ 0 } ∪ {it : − 1 ≤ t ≤ 0 })
  1. Find the image of D under the analytic map

f (z) = i ·

√√log^ (^ 1 +

√ i (1+z) (1−z) 1 −^ √ i (1+ (1−zz))

with log(1) = 0 and √i = e iπ^4. Draw a picture and show that Ref is continuous on ∂D but Imf is not continuous on ∂D. (For Fourier Series enthusists this gives a fourier series of a continuous function whose conjugate fourier series is not even bounded).

  1. Prove there is no one-to-one analytic mapping of {z : 0 < |z| < 1 } onto {z : 0 < |z| < ∞}.