04.04.2013 Views

ANALYSIS QUALIFYING EXAM PROBLEMS BRIAN LEARY ...

ANALYSIS QUALIFYING EXAM PROBLEMS BRIAN LEARY ...

ANALYSIS QUALIFYING EXAM PROBLEMS BRIAN LEARY ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6 <strong>ANALYSIS</strong> QUALS<br />

Problem 10: Let D = {z : |z| < 1} and let Ω = {z ∈ D : Imz > 0}.<br />

Evaluate<br />

sup{Ref ′ ( i<br />

)|f : Ω → D is holomorphic}.<br />

2<br />

Proof. Note: When I did this on the qual, I misread the problem and<br />

thought that Ω was the upper half-plane instead of merely the upper halfdisc,<br />

which caused the already awful calculations to get worse. Here is my<br />

attempt at the correct calculations, but it seems too ugly to be correct.<br />

Follow at your own peril.<br />

First, note that by rotation, it suffices to find the sup of f ′ ( i<br />

2 ) instead<br />

of Re f ′ ( i<br />

2 ).<br />

The idea is to use Schwarz Lemma. That is, we want g : D → Ω in order<br />

to have f ◦ g map D to D, and then tweak by automorphisms of the disc to<br />

get the map to send 0 to 0.<br />

We have that z ↦→ i 1+z<br />

1−z takes D to the upper half-plane, z ↦→ √ z maps<br />

the upper half-plane to the first quadrant, and z ↦→ z−1<br />

z+1 maps the first<br />

quadrant to Ω. Thus, let<br />

<br />

1+z i 1−z − 1<br />

g(z) = .<br />

i + 1<br />

1+z<br />

1−z<br />

Let f1 be the automorphism of the disc taking g(0) to i<br />

2 , and f2 be the<br />

automorphism of the disc taking f( i<br />

2<br />

explicitly; for example we recall that f2(z) =<br />

) to 0. These guys can be written out<br />

i z−f( 2 )<br />

1−f( i<br />

2<br />

Let h = f2 ◦ f ◦ f1 ◦ g. Then h : D → D with h(0) = 0. By Schwarz<br />

Lemma, |h ′ (0) ≤ 1. But we note that<br />

By calculation, we have that<br />

and<br />

and<br />

where we note that<br />

h ′ (0) = g ′ (0)f ′ 1(g(0))f ′ ( i<br />

2 )f ′ 2(f( i<br />

2 )).<br />

f ′ 2(f( i 1<br />

)) =<br />

2 1 − f( i<br />

2 ) ,<br />

g ′ (0) =<br />

f ′ 1(g(0)) =<br />

|g(0)| =<br />

1<br />

√ i( √ i + 1) 2 ,<br />

i 1 + 2<br />

2 ,<br />

1 − |g(0)|<br />

<br />

√ i − 1 <br />

<br />

√ i + 1 .<br />

)z .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!