ANALYSIS QUALIFYING EXAM PROBLEMS BRIAN LEARY ...
ANALYSIS QUALIFYING EXAM PROBLEMS BRIAN LEARY ...
ANALYSIS QUALIFYING EXAM PROBLEMS BRIAN LEARY ...
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 .