Professional Documents
Culture Documents
Real and Complex Analysis Qualifying Exams (New System) Solution Manual
Real and Complex Analysis Qualifying Exams (New System) Solution Manual
Department of Mathematics
iii
Notation
Z := Integers
N := {n Z : n 1}
N0 := N {0}
R := Real numbers
C := Complex numbers
S + := S (0, )
(S C)
D(z, r) := {w C : |z w| < r}
r) := {w C : |z w| r}
D(z,
(z C, r > 0)
(z C, r > 0)
(z C, r > 0)
T := C(0, 1)
| | := Lebesgue measure on Rk
(k N)
E c := {x X : x 6 E}
1 x E
1E (x) :=
0 x E c
`
:= disjoint union
(E X)
(d a metric on X, r > 0)
(E X)
iv
Contents
How to Use this Manual
iii
Notation
iv
18
27
38
Index
47
Bibliography
49
CHAPTER 1
Spring 2004
Problem 1.1. Let f : [0, 1] C be continuous and define F : := C\[0, 1] C
by
F (z) :=
0
f (t)
dt.
tz
Z 1 Z
1
f (t)
dt dz =
dz f (t)dt
F (z)dz =
0
T tz
T
0 tz
Z 1
Z 1
=
[2iIndT (t)] f (t)dt =
0 f (t)dt = 0.
Z Z
Z
T
As this holds for every triangle whose closed convex hull is contained in , Moreras
Theorem implies that F H().
Alternative Solution. This proof does not involve the use of Moreras Theorem.
First note that since f is continuous and [0, 1] is compact, we may find M N such
that |f (t)| M , for every t [0, 1]. Now, fix z0 . Since is open, we may find
r > 0 such that D := D(z0 , r) , and therefore, D [0, 1] = . In consequence, we
see that
(1.1.1)
|t z| r
(z D, t [0, 1]).
1
z z0
Z 1
=
=
Z
0
1
Z
0
f (t)
dt
tz
1
0
f (t)
dt
t z0
f (t)(t z0 ) f (t)(t z)
dt
(t z)(t z0 )
f (t)
dt.
(t z)(t z0 )
Letting z z0 in (1.1.3) and appealing to (1.1.2) shows that F 0 (z0 ) exists, and in
fact,
f (t)
dt.
2
0 (t z0 )
As z0 is an arbitrary point of , we are finished.
0
F (z0 ) =
Problem 1.2. Let := {z C : 1 < |z| < 2}. Show that there does not exist a
sequence {Pn } of polynomials in z such that Pn (z) 1/z uniformly, for every z .
Key terms: uniform convergence, index of closed curve.
Solution. Assume, with a view to reach a contradiction, that {Pn } is a sequence
of polynomials converging to 1/z uniformly. Let : [0, 2] C be the closed curve
given by (t) = 23 eit . Since each polynomial is a continuous derivative in , we see
R
R
that Pn (z)dz = 0, for every n. On the other hand, (1/z)dz = 2iInd (0) =
R
2i. The uniform convergence of the Pn on to 1/z ensures that 2i = dz
=
z
Z
lim
Pn (z)dz = 0. This is the desired contradiction.
n
dx
.
1 + x7
2
7
Put f (z) :=
1
.
1+z 7
2i
7
Note that f has exactly one simple pole lying inside the region
i
CR
= 2i lim
zz0
z z0
1
2i
= 2i d 7
= 6.
7
7
z z0
7z0
z z=z
dz
0
R
Now, since R > 1, we have 1+(Reit )7
R
,
R7 1
Z 2
Z 2
7 iReit dt
7
Rdt
2R
=
.
0 1 + (Reit )7
R7 1
7(R7 1)
0
Thus,
R 2
0
iReit dt
1+(Reit )7
0, as R . Furthermore,
2
7
f (z)dz =
(1.3.2)
CR
0
2
7
=
0
Z R
z02 dr
dx
+
2 7
7
0 1 + (z0 r)
0 1+x
Z
R dx
iReit dt
2
+ 1 z0
.
7
1 + (Reit )7
0 1+x
iReit dt
1 + (Reit )7
.
= 6
=
2
7
1+x
7z0 (1 z0 )
7 sin 7
0
The final equality being obtained from the computation:
z06 z08 = e
6i
7
8i
7
= e 7 + e 7 = 2i sin(/7).
1See
[RUD, 217 - 218] for a brief discussion on what is meant by a sum of paths.
()
R
0
gz (t)dt is holomorphic
in .
Key terms: Lebesgue measure, Lebesgues Dominated Convergence Theorem, complex differentiability, (Lebesgue) measurable function.
Solution. (a) Clearly, each gz is measurable, being the product of measurable functions. Now, fix z := x + iy and observe
Z
Z
Z
it(x+iy)
|gz (t)| dt =
e
f (t) dt
ety aekt dt
0
0
0
Z
a
= a
et(yk) dt =
< ,
yk
0
since y = Im z > k. This completes the proof of (a).
(b) Fix z0 = x0 + iy0 . Choose r > 0 such that D := D(z0 , r) . Let
R
0 , r/2) with z 6= z0 . Since it
t [0, ) and z D(z
eit d = eitz eitz0 , we have
[z0 ,z]
itz
Z
Z
e eitz0
it
it
itz
it
itz
0
0
ite
e
d
e
d
=
z z0
z z0
z z0 [z0 ,z]
[z0 ,z]
Z
it
it
=
e eitz0 d
z z0 [z0 ,z]
2t sup eit
[z0 ,z]
= 2t sup etIm
[z0 ,z]
= 2tetk0 ,
(1.4.2)
Z
F (z) F (z0 )
itz0
ite f (t)dt
lim
zz0
z z0
0
Z itz
e eitz0
itz0
= lim
ite
f (t)dt
zz0 0
z z0
Z
eitz eitz0
itz0
ite
f (t)dt
=
lim
zz0
z z0
0
= 0.
Thus, F 0 (z0 ) exists and, in fact, F 0 (z0 ) =
R
0
iteitz0 f (t)dt.
Key terms: Lebesgue measure, Lebesgue measurable set, negligible set, complete
measure space.
Solution. () As A has Lebesgue measure zero, it follows from the very definition
of Lebesgue (outer) measure that, for every n N, we may find a sequence {In,m }
m=1
P
S
S
1
of open intervals such that A m In,m and m |Im,n | < n . Put Un := m In,m .
Then Un is open, being the union of open sets. Since A Un , for each n, it must be
T
P
that A n Un . Now, by countable subadditivity, |Un | m |In,m | < n1 , for each
n N, whence |Un | 0, as n .
() Let {Un } be the sequence of open sets given by the hypothesis of this impliT
cation. Observe that 0 | m Um | |Un |, for every n. Since |Un | 0, as n (by
2This
complex-valued functions.
T
m
Um | = 0. Now,
T
m
ing the countable intersection of open (and therefore Borel) sets. Thus, A is Lebesgue
measurable, since it is the subset of a set of measure zero and since Lebesgue measure
is complete. Finally, A has measure zero, by monotonicity.
1
2q
Lq ([0, 1]). For M > 0, let bM := min {M 2q , 1}. It is easy to check that
{x (0, 1) : |f (x)| > M } = (0, bM ),
from which it follows that ess sup f = , since |(0, bM )| = bM > 0. Therefore,
f 6 L ([0, 1]). So, the inclusion of (a) is strict in this case.
1 1
Now, fix 1 q < p < and let r p , q . Notice that 1 qr > 0, while
1 pr < 0. So,
Z 1 q
Z 1
1
1
1
1
qr
1qr 1
1qr
dx = lim
x
dx
=
lim
x
=
lim
(1t
)
=
,
xr
t
t0+ t
t0+ 1 qr
t0+ 1 qr
1 qr
0
while
Z
Z 1 p
1
dx = lim
xr
t0+
0
1
t
xpr dx = lim+
t0
1
1
1
x1pr t = lim+
(t1pr 1) = .
t0 pr 1
1 pr
Thus, 1/xr Lq ([0, 1])\Lp ([0, 1]), showing the inclusion is strict, in this case as well.
(c) One can construct a multitude of trivial examples easily: merely take X :=
any set, A := any -algebra on X (one may pick the power set of X for concreteness),
and finally, := the zero measure on X (i.e., (A) = 0, for all A A ).
|f (n)|p
N
1
X
n=1
|f (n)|p +
n=1
|f (n)|q < .
n=N
p
Problem 1.7. Let p [1, ) and suppose {fn }
n=1 L (R) is a sequence that
converges to 0 in the p norm. Prove that we may find a subsequence {fnk } such that
fnk 0 a.e.
Key terms: pointwise convergence, p-norm convergence, almost everywhere, complete metric space, Beppo-Levi Theorem.
Solution. Choose n1 N such that kfn kp < 12 , for all n n1 . Having found this n1 ,
we may find n2 N such that n2 > n1 and kfn kp <
1
,
22
this manner, we may inductively find nk N such that nk > nk1 and kfn kp <
whenever n nk . Set fn0 = 0. Note that kfnk kp <
1
,
2k
1
,
2k
for all k 1.
Z "X
Consequently,
#
|fnk (x)|
dx =
k=1
kfnk kpp
k=1
k=1
2k
2p
1
< .
1
k=1
a.e. x R. For these x, it follows from the convergence of the above series that
|fnk (x)|p 0, as k , or equivalently, that fnk (x) 0, as k .
(z C, m, n Z).
CHAPTER 2
Fall 2004
Problem 2.1. Compute
Z
(a)
e[x] dx, where [x] := max {n Z : n x}, the integer part of x.
0
Z /2
cos x x R\Q
(b)
f (x)dx, where f (x) :=
.
0
sin x x Q
Key terms: Lebesgues Monotone Convergence Theorem, Beppo-Levi Theorem.
Solution. (a) Applying the Beppo-Levi Theorem (or Lebesgues Monotone Convergence Theorem) and the fact that [x] = n, on [n, n + 1), for n N0 , we get
Z
[x]
[x]
dx =
"
X
1[n,n+1) (x) dx =
n=0
Z
X
n=0
Z
X
n=0
1[n,n+1) (x)dx =
en = e/(e 1).
n=0
(b) Put I := [0, /2]. Since integrals over sets of measure zero are 0, we find that
Z
/2
f (x)dx =
0
+
Z
I\Q
f (x)dx =
IQ
cos xdx +
I\Q
cos xdx =
Z
Z
Z
cos xdx +
I\Q
I\Q
sin xdx
IQ
cos xdx
IQ
/2
cos xdx = 1.
0
Note that the above functions are measurable, since in a complete measure space we
may arbitrarily redefine functions over sets of measure zero and retain measurability.
Problem 2.2.
x sin 1 0 < x 1
x
f (x) :=
0
x=0
+(N n)
2
for each n = 1, ..., N 1, the total (or absolute) variation TN corresponding to this
partition satisfies
TN
N
1
X
1
(1)N n
+(N
n)
n=2
(2.2.1)
N
1
X
n=2
N
1
X
+(N n)
2
2
(N n+2)
n=2
+[N (n1)]
2
+[N (n1)]
2
N
X
N
1
X
(1)N n+1
1
N n+1
1
N n+2
n=2
2
.
n
n=3
|exn exn1 | =
N
X
exn exn1
.
xn xn1
Hence,
n=1
Letting our partitions become finer and finer, one version of the Riemannian theory
R 50
of integration ensures the sum on the right converges to 0 ex dx = e50 1. On the
other hand, the left sum converges to the total variation.
More generally, the above argument shows that one has Var[a,b] f =
Rb
a
|f 0 (x)| dx,
10
Problem 2.3. Suppose f H(\ {0}) and that 0 is either a pole of order m for
f or a removable singularity whose removal results in 0 being a zero of order m for
f . Show that 0 is a first order pole of f 0 /f having residue either m or m.
Key terms: pole, removable singularity, residue
Solution. In either case, we may write f (z) = z n g(z), where n := m, g H()
and g(0) 6= 0. Since g(0) 6= 0 and g is continuous there (it is differentiable), we may
find r > 0 such that g is zero-free on D := D(0, r). Thus,
(2.3.1)
f 0 (z)
z n g 0 (z) + nz n1 g(z)
g 0 (z)
=
=
+ nz 1
n
f (z)
z g(z)
g(z)
(z D\ {0}).
Problem 2.4. Show that a nonconstant entire function maps the plane onto a
dense subset of the plane.
Key terms: Casorati-Weierstrass Theorem, entire function
Solution. The proof to follow mimics the canonical proof of the Casorati-Weierstrass
Theorem. Let f be a nonconstant entire function. And suppose, in order to reach a
contradiction, that f (C) is not dense in C. Then we may find z0 C and r > 0 such
that f (C) D(z0 , r) = . Consequently,
(2.4.1)
|f (z) z0 | r,
1
r
1
f z0
1
c
H() is
Problem 2.5. Let be a bounded region. Suppose that f C()
zero-free and |f | = C on .
11
(z ).
(z ).
Problem 2.6. Does there exists a Lebesgue measurable subset E of R such that
|EI|
|I|
12
Proof. Assume for a moment that the lemma holds for measurable sets having
finite measure. For each n N, put En := E B(0, n). Each En has finite measure,
being a subset of a set of finite measure, namely B(0, n). Thus, the lemma applies to
|En B(x, r)|
each En . For each n, let An be the set of points x En such that lim
r0
|B(x, r)|
exists and is equal to 1. Likewise, let Bn be the set of points x Rk \En for which
the limit exists equal to 0. Since the lemma is assumed to hold for finite measured
T
sets, we have that Rk \An = 0 and Rk \Bn = 0, for each n. Put A :=
n=1 An and
k k
T
B := n=1 Bn and notice that R \A = R \B = 0, being the countable union of
null sets.
Fix x A. Since En B(x, r) En+1 B(x, r), for all n, and since
S
n=1
En
|E B(x, r)|
|En B(x, r)|
= lim
.
n
|B(x, r)|
|B(x, r)|
|B(x, r)|
|B(x, r)|
Notice that the quantity on the left is well-defined, since 0 < |B(x, r)| < . As
|EN B(x,r)|
x A AN , we may find r0 > 0 such that 0 < r < r0 implies |B(x,r)| 1 < /2.
1
This fact along with (2.6.2) and the triangle inequality shows that |EB(x,r)|
< ,
|B(x,r)|
|E B(x, r)|
whenever 0 < r < r0 . Hence, lim
exists and is equal to 1 for every x A.
r0
|B(x, r)|
|E B(x, r)|
In a similar (in fact, easier) fashion, we see that lim
exists and is equal
r0
|B(x, r)|
to 0 for every x B. Let F and G be for E and Rk \E as An and Bn are for En
and Rk \En , respectively. Then we have just proved that A F and B G so that
Z
|1E (y) 1E (x)| dy
B(x,r)
13
for 0 < r and x Rk . Since E has finite measure, 1E L1 (Rk ), whence almost every
point of Rk is a Lebesgue point of 1E ; i.e., lim vr (x) = 0, for a.e. x Rk .
r0
|E c B(x, r)|
|B(x, r)| |E B(x, r)|
|E B(x, r)|
=
=1
|B(x, r)|
|B(x, r)|
|B(x, r)|
(r > 0).
|E B(x, r)|
|B(x, r)|
(r > 0).
Since lim vr (x) exits and is equal 0 for a.e. x Rk , the proof is complete.
r0
|EB(x,r)|
|B(x,r)|
or 1 <
|EB(x,r)|
.
|B(x,r)|
Proof. Since Rk is the disjoint union of E and E c , either |E| > 0 or |E c | > 0.
In the former case, the preceding lemma implies the existence of an x E such that
|E B(x, r)|
= 1. Thus, we may find some r > 0 such that 1 < |EB(x,r)|
. So,
lim
|B(x,r)|
r0
|B(x, r)|
we are finished with this situation.
If, however, |E c | > 0, then applying the preceding lemma again shows that there
|E B(x, r)|
= 0. So, we may find some r > 0 such
exists an x E c such that lim
r0
|B(x, r)|
that > |EB(x,r)|
. This finishes the proof.
|B(x,r)|
Returning to Problem 2.6, the answer is no. To see this, we simply take k = 1
and =
1
2
2
x y2
2
2 2
Problem 2.7. Let f (x, y) := (x + y )
(x, y) 6= (0, 0)
(x, y) = (0, 0)
dx
0
f (x, y)dy 6=
0
dy
0
14
f (x, y)dx.
0
Z
dx
A
f (x, y)dy,
B
R
B
function is well-defined and Lebesgue integrable. Similarly, for the other iterated
integrals in (a). In our present situation,
F (x) :=
0
y
x2 + y 2
dy =
y y=1
1
,
=
x2 + y 2 y=0 x2 + 1
so that the measurability of F is evident. (F is, in fact, continuous on (0, 1].) Thus,
1
0
1
F (x)dx = arctan x0 = /4.
On the other hand, since f (x, y) = f (y, x), we see that the remaining iterated
integral exists and evaluates to /4.
15
Z Z
"Z
/2
cos 2
=
r2 d rdr
0
0
!
Z 1 Z /4 Z /2
1
=
cos 2d
dr
r
0
0
/4
Z 1
1
=
dr
0 r
Z
/2
= .
Problem 2.8. Prove that f 0, whenever f H(C) L1 (R2 ).
Key terms: Cauchys Formula, polar coordinates, Lp -space.
Solution. For r > 0 and z C, let r,z be the parameterization of the boundary of
the circle centered at z with radius r given by r,z (t) := z + reit , 0 t 2. Since f
is entire and C is convex, we may apply Cauchys formula to find that
Z
Z 2
1
f ()
1
f (z + reit )
f (z) =
d =
(rieit dt)
2i r,z z
2i 0 (z + reit ) z
Z 2
1
=
f (z + reit )dt,
2 0
and so,
(2.8.1)
1
|f (z)|
2
f (z + reit ) dt.
16
Integrating both ends of (2.8.1) with respect to rdr over [0, R] and appealing to
Fubinis Theorem gives
(2.8.2)
Z R Z 2
1
R2
it
f (z + re ) dt rdr
|f (z)|
2
2 0
0
Z
1
=
|f (z + w)| d2 (w)
2 E
Z
1
1
kf k1 ,
|f | =
2 R2
2
kf k1
,
R2
17
CHAPTER 3
Spring 2005
Problem 3.1. Compute
Z 2
dt
(a)
.
cos t 2
0
(b) Res(z n e10/z , ), n N.
(c) Res (exp(z 2 )/z 2n+1 , 0), n N.
Key terms: residue, contour integration, Residue Theorem, pole.
(3.1.1)
0
dt
=
cos t 2
(idz/z)
= 2i
(z + z 1 )/2 2
z2
dz
.
4z + 1
Let f (z) be the function in the integrand of (3.1.1). The quadratic formula shows
3i
2i
1
=
=
.
2iRes(f, z0 ) = 2i lim (z z0 )f (z) = 2i lim
zz0
zz0 z z1
z0 z1
6
Substitution of this into (3.1.1) yields
Z
2
0
dt
3
=
.
cos t 2
3
(1/z) e
=e
10z
/z = (1/z )
X
k=0
(10z) /k! =
(10k /k!)z kn .
k=0
Hence, the coefficient of the z 1 term is Res(z n e10/z , ) = 10n1 /(n 1)!.
18
exp(z )/z
2n+1
= (1/z
2n+1
X
X
2 k
)
(z ) /k! =
z 2k2n1 /k!.
k=0
k=0
n
,
m
for some j.
n
,
m
for every j. (As all of our integrals will be over [0, 1] we will suppress
Z X
m
1Ej =
m Z
X
j=1
j=1
1Ej
m
X
m
X
n
= n.
=
|Ej | <
m
j=1
j=1
The appearance of the strict inequality is the sought contradiction, and therefore, the
desired conclusion follows.
Ec
Ec
19
Problem 3.4. Let f L1 (X, ). Prove that for every > 0, there exists > 0
such that
f d < ,
Z
|f | d < ,
A
for every measurable A X with (A) < . Once this is shown, we will be finished
R
R
because the inequality A f d A |f | d holds. Since we are only concerned with
|f |, we may assume that f = |f |; that is, we assume f is nonnegative.
For n N, define fn := min {f, n}. Notice that 0 fn (x) fn+1 (x) f (x) and
fn (x) f (x) holds for every x X and n N. So, by Lebesgues Monotone ConverR
R
R
gence Theorem, we have lim X fn d = X f d, or equivalently, X (f fn )d 0,
n
R
as n . Hence, we may choose N so large so that X (f fN )d < 2 . Having
chosen this N , we now choose > 0 such that N 2 . So, for measurable A X
with (A) < , we get
Z
Z
Z
Z
Z
f d =
(f fN )d +
fN d
(f fN )d +
N d
A
<
+ N (A) < + N < .
2
2
20
z :1
< z < 1 . Thus, all the zeros of the nonconstant function f must lie in
conclude (by Bolzano-Weierstrass) that f has only finitely many zeros, say {z1 , ..., zk }.
By iterated use of Theorem 10.18 in [RUD], we may write
f (z) = (z z1 )m1 (z zk )mk g(z),
where g H(D) and g has no zero in D. Observe that
|f (z)| = |(z z1 )m1 (z zk )mk g(z)| = |z z1 |m1 |z zk |mk |g(z)|
2m1 ++mk |g(z)| ,
for every z D. From this it follows that mn (g) , as n . Since
2n
n
for each n, it must be that
min g 1
ei mn (g),
02
2n
for each n. By the corollary to Theorem 10.24 in [RUD] (i.e. the Minimum Modulus
Principle, which is just the Maximum Modulus Principle applied to 1/g, g being
zero-free), we may deduce that |g(0)| mn (g), for each n, which is impossible if
mn (g) . This is the desired contradiction.
21
22
elementary power series theory, we have that the series for fp converges uniformly and
absolutely on Dp := D(p, rp ). Note that fp (x) = f (x), for every x I [p rp , p + rp ].
S
Put := pI Dp and define F : C by F (z) := fp (z), whenever p I is such
that z Dp . Provided that F is well-defined, it is obvious that F H(), since F is
representable by a power series about every point. Furthermore, that F |I f is also
self-evident, by construction. Hence, we seek to show that F is well-defined.
Suppose p, q I are such that z Dp Dq . Without loss of generality, we may
assume that p < q. Note that the triangle inequality ensures that q p < rq + rp . So,
if there were an x with p < x < q and x 6 Dp Dq , then we would have
q p = (q x) + (x p) rq + rp > q p.
This contradiction forces (p, q) Dp Dq . Hence, if (p, q) Dp Dq = , then
{Dp , Dq } would constitute a separation of the connected interval (p, q), see [RUD,
196]. From this impossibility, we may conclude that there exists x (p, q) Dp Dq .
It follows that we may find > 0 so small so that (x , x + ) Dp Dq . Since the
interval (x , x + ) lies inside I, we see that fp and fq agree on (x , x + ). As this
interval obviously has a limit point in the region Dp Dq , the Uniqueness Theorem
for Holomorphic functions guarantees that fp and fq agree on all of Dp Dq , whence
F is well-defined.
23
(3) 1 (r) = 1 (s) and 2 (r) = 2 (s). (4) (1 (r), 2 (r)) = (1 (r), 2 (r)).
(5) (r) = (s).
Hence, is well-defined and injective.
Proof. That
`
N
r has a natural number as its denominator 2 (r). That the SN are disjoint follows
just as easily, since 2 is a function and so must assign only one value for any given
input. To see that the cardinality of each SN is at most N , suppose r SN . In order
that r 1, we must have 1 (r) 2 (r) = N . There are precisely N natural numbers
having this property, so that there are at most N possible numerators for r. Hence,
there are at most N possible values for r. That is, there at most N elements in SN .
24
Lemma 3.8.5. Given x (0, 1] and prime n, there exists ln such that |x rln | <
1/qln .
Proof. Put Ij :=
j1
n
`
, nj , for j = 1, ..., n. Then (0, 1] = nj=1 Ij . So, x Ij , for
some j, and therefore |x j/n| < 1/n. By hypothesis, the rational number j/n is rln
for a unique ln N. Since n is prime gcd(j, n) = 1, and so, if rln = j/n, then pln = j
and qln = n. Hence, |x rln | = |x j/n| < 1/n = 1/qln .
We are finally prepared to tackle the proof of Problem 3.8. Notice that we must
formally verify that each fk is well-defined, but this is handled by Corollary 3.8.2.
Now, fix x (0, 1]. Choose so that 0 < < x. Since there are infinitely many
rational numbers in (0, ), we may find a subsequence {rkm } (0, ). Notice that
0 < |x | < |x rkm |, for each m. Multiplying through by qkm , squaring, and then
taking exponentials gives fkm (x) < exp[qkm (x )2 ]. Letting m and appealing
to Corollary 3.8.4 shows that fkm (x) 0.
On the other hand, Lemma 3.8.5 yields a (different) subsequence {rln } such that
|x rln | < 1/qln , for each n. In consequence, 1 < (pln xqln )2 so that fln (x) > 1/e.
It follows that the pointwise limit fk (x) cannot exist. And this is true of every
x (0, 1].
It remains to be seen that the fk converge in measure to the zero function. To this
end, let 0 < < 1 be given. Observe that if x (0, 1] is such that exp[(pk xqk )2 ] =
p
|fk (x)| > , then |x rk | < (1/qk ) ln(1/). Thus, {x : fk (x) > } (rk k , rk +k ),
25
p
where k := (1/qk ) ln(1/). Hence, |{x : |fk (x)| > }| |(rk k , rk + k )| = 2k .
By Corollary 3.8.4, k 0 as k , whence we may choose K so large so that
2k < , for every k K. And so, fk 0 in measure.
Problem 3.9. Let (X, A , ) be a finite measure space and f a nonnegative mea
X
1
surable function on X. Then f L (X) if and only if
2n (Sn ) < , where
n=0
Sn := {x X : f (x) 2n }.
Key terms: finite measure space, Lp -space.
X
X
X
f = f 1A +
1Tn = f 1A +
f 1Tn 1A +
2n+1 1Tn
n=0
1X + 2
n=0
n=0
2n 1Sn L1 (X),
n=0
0 m < n
a : N0 N0 {0, 1} by an,m :=
. Then
1 m n
"
#
X
X
X
X
X
n
n
n
2 1Sn =
2
1Tm =
2 1Tm an,m =
2n 1Tm an,m
n=0
n=0
n=0
m=n
m1
X
X
m=0
= f
n=0
n=0 m=0
1Tm
1Tm =
!
(2 1) 1Tm
m=0
m=0 n=0
X
m=0
2 1Tm
f 1Tm
m=0
f 1X = f L1 (X).
m=0
26
CHAPTER 4
Fall 2005
Problem 4.1. Complete the following:
(a) State and prove the Schwarz lemma for holomorphic self-maps of D.
(b) From (a), conclude that any conformal automorphism of D that fixes zero
must be a rotation.
Key terms: Schwarz Lemma, conformal mapping, rotation, removable singularity,
Maximum Modulus Principle, Chain Rule.
Solution. (a) Here essentially is the version found in [RUD, 254] and its proof:
Theorem 4.1.1 (Schwarz Lemma). Suppose f H(D) is such that kf k 1
and zero is fixed by f . Then
(4.1.1)
|f (z)| |z|
(z D)
and
(4.1.2)
|f 0 (0)| 1.
If equality holds in (4.1.1) for some z D0 or if equality holds in (4.1.2), then there
exists u T such that f (z) = uz, for every z D.
Proof. Since f has a zero at 0, it follows that the map f (z)/z has a removable
singularity there. (Write f as power series about the origin and factor.) Thus, there
exists g H(D) such that f (z) = zg(z). Now, fix z D\ {0}. Then for any r such
that |z| < r < 1 (such an r exists, as D is open), we have, by the Maximum Modulus
Principle, that
f (rei )
1
|f (z)|
i
= |g(z)| max g(re ) = max
,
|z|
r
r
27
since |f (z)| 1. Letting r 1 and multiplying through by |z|, gives |f (z)| |z|,
provided z D\ {0}. Since this inequality is evidently also true at z = 0, we get
(4.1.1). Now, (4.1.2) follows from the fact that f 0 (0) = g(0), by the product rule.
Finally, if equality holds in (4.1.1) for some z D0 or if equality holds in (4.1.2),
then application of Maximum Modulus Principle to g again shows that f (z)/z is a
constant of unit modulus.
(b) Since f is conformal automorphism of D, f 1 is as well (see Theorem 10.33 in
[RUD]). Thus, f and f 1 both satisfy the hypothesis of the Schwarz Lemma, and
therefore,
|f 0 (0)| , (f 1 )0 (0) 1.
(4.1.3)
(4.1.4)
by the Chain Rule. Combining (4.1.3) and (4.1.4), we must have |f 0 (0)| = 1, allowing
us to deduce from the second part of the Schwarz Lemma that f is a rotation.
az
, for z D.
1a
z
a homeomorphism of D.
(d) Show that the values a and u are uniquely determined by f .
Key terms: conformal mapping, Maximum Modulus Principle, Chain Rule, homeomorphism.
28
Solution. (a) If a = 0, then fa (z) = z, and so, (a) is immediate, in this case. So,
The computation
we may assume that a D\ {0}. Note that this forces a
1 C\D.
az
a 1
az
(fa fa )(z) =
az =
1a
1az
a(1
az)(az)
1
az
1
az
a(az)
1
az
a |a|2 z a + z
=
1a
z |a|2 + a
z
z |a|2 z
=
=z
1 |a|2
shows simultaneously that, on C\ {a1 }, fa acts as both left and right inverse to itself.
onto D.
We
Thus, fa is a bijection on C\ {
a1 }. It remains to show that fa maps D
will, in fact, prove a stronger result: fa maps T onto T and D onto D. To see this,
let u T. Then
au
|a u|
|a u|
=
|fa (u)| =
=
= 1.
1
1a
u
|u(
a u )|
|u| |a u|
It follows that fa (T) T, and so, T = (fa fa )(T) fa (T). These inclusions combine
to give fa (T) = T. Since is fa is nonconstant, we may deduce from the Maximum
Modulus Principle that |fa (z)| < sup {|fa (w)| : w D = T} = 1, for every z D.
Thus, fa (D) D. Applying fa to both sides reverses the inclusion, so that fa (D) = D.
(b) Put a := f 1 (0) D. Since f and fa are both conformal automorphisms of
D, it follows from the Chain Rule that f fa is also a conformal automorphism of
D. Moreover, (f fa )(0) = f [fa (0)] = f (a) = f [f 1 (0)] = 0; i.e., f fixes 0. Part (b)
of Problem 4.1 above yields u T such that (f fa )(z) = uz, for every z D. In
consequence, for every z D, we have
f (z) = f [(fa fa )(z)] = (f fa )[fa (z)] = ufa (z).
and therefore, their
(c) fa and multiplication by u are both homemorphisms of D,
composition is a homeomorphism of D.
(d) This amounts to proving that if u, v T and a, b D and
(4.2.1)
(z D),
then u = v and a = b. To verify that this is true, first observe that since (4.2.1) holds
ab
= 0. Since u 6= 0, we conclude that a b = 0, and therefore, a = b.
for z = b, u 1
ab
29
Thus, for every z D, we have ufa (z) = vfa (z), or equivalently, (u v)fa (z) = 0,
for every z D. Since fa is not the zero function, it must be that u v = 0, and so,
u = v.
n=0
1
n
cn z n = z N g(z).
n=N
1
n
= 0,
cN = g(0) = g lim n1 = lim g n1 = lim 0 = 0,
n
contradicting our choice of N . So, our initial assumption is false, from which we infer
that cn = 0, for every n N0 , and so, f 0.
30
holds for every z . Moreover, equality occurs at some point in if and only if f
is constant on .
(c) We may deduce (b) from (a) since no nonempty open subset of C contains an
element of maximum modulus. To see this, suppose is an open subset of C and
z0 . Since is open, we may find r > 0 such that D(z0 , r) . Put
z0 + z0 r z0 6= 0
2|z0 |
.
z1 :=
r
z0 = 0
2
r
,
2
Moreover, we also have that |z1 | > |z0 |. In summary, for any point z0 , we may
find another point z1 in that has larger modulus than z0 ; i.e., does not contain
a point of maximum modulus.
P
k
(d) Let p(z) := m
k=0 ak z be a nonconstant polynomial, with am 6= 0 (m > 0),
and let K be a closed subset of the plane. Let w p(K). Choose a sequence
{wn } p(K) such that wn w. As, each wn p(K), we may find zn K such that
p(zn ) = wn . Now, the triangle inequality gives
m1
m1
X
X
m
k
|ak | |z|k ,
ak z |p(z)| +
|am | |z| = p(z)
k=0
k=0
31
and therefore,
(4.4.1)
|z|m |am |
m1
X
k=0
|ak |
|z|mk
|p(z)|
(z 6= 0).
It follows easily from (4.4.1) that |p(z)| , as z , since am 6= 0. In consequence, the sequence {zn }, must be bounded, for otherwise there would be infinitely
many n N such that |wn | = |p(zn )| > |w| + 1, contradicting that |wn | |w|. Thus,
by the Bolzano-Weierstrass Theorem, we may find a subsequence {znl } that converges
to some element, say z, of K, since K is closed. Finally, from the continuity of p, we
get
Pm
k=0
Pm1
k=0
|ak | rk >
|a0 | = |p(0)|. Then, as in the proof of (d), the triangle inequality ensures that
p(rei ) > |p(0)|, for all . If p does not have any zeros, then the function f (z) :=
1/p(z) would be entire and satisfy |f (0)| > f (rei ), for all . This contradicts the
Maximum Modulus Principle. Thus p has at least one zero, say z0 , and so, we may
write p(z) = (z z0 )q(z), where q is some polynomial of degree m 1. By induction,
we may deduce that p has exactly m zeros, counting multiplicities.
Problem 4.5. Let X be a Lebesgue measurable subset of R with |X| = . Construct a function f such that f Lp (X), for every p 1, but f 6 L (X).
Key terms: Lebesgue measure, Lp -space, uniform continuity, Lebesgues Monotone
Convergence Theorem, Beppo-Levi Theorem, ratio test, essential supremum
Solution. We will use the following two general results:
32
R
R
=
1E 1(y,x) + 1(x,y) = |E (y, x)| + |E (x, y)|
R
2(y x) = 2 |x y| .
The uniform continuity of f is now immediate.
Proposition 4.5.2. Let {xn } [0, ) and X a Lebesgue measurable set of infinite measure. Then there exists a sequence {Xn } of pairwise disjoint Lebesgue measurable subsets of X such that |Xn | = xn , for each n N.
Proof. Let fX be as in Theorem 4.5.1. Since fX maps [0, ) onto [0, |X|) =
[0, ), we may find x [0, ) such that X1 = X (x, x) X has measure
x1 . Assume inductively that we have found pairwise disjoint measurable subsets
X1 , ..., Xn of X such that |Xk | = xk , for 1 k n. By additivity, we have that
T
P
P
P
|X| = |X ( nk=1 Xkc )| + nk=1 |Xk |. Since |X| = and nk=1 |Xk | = nk=1 xk < ,
T
it must be that |X ( nk=1 Xkc )| = . Mimicking the construction of X1 , we may
T
find Xn+1 X ( nk=1 Xkc ) X such that |Xn+1 | = xn+1 . That Xn+1 is disjoint from
each Xk , 1 k n is obvious. This completes the induction and yields the desired
sequence of sets.
33
Returning to Problem 4.5, by the results above, we may find a sequence {Xn } of
pairwise disjoint measurable subsets of X such that |Xn | = 2n , for every n N.
X
Put f :=
n1Xn . Since f is nonnegative and since the Xn are pairwise disjoint,
n=1
p
it follows that |f | = f =
n=1
X
X
X
p
p
p
p
|f | =
n 1Xn =
n 1Xn =
n |Xn | =
np 2n < ,
X
X n=1
n=1
n=1
n=1
whence f Lp (X).
To verify that f 6 L (X), set SM := {x X : |f (x)| > M }, for M 0. Since
we may always find n N so large so that M < n and since |f | = f , we have that
SM {x X : f (x) = n} = Xn .
By monotonicity, |SM | |Xn | = 2n > 0, and consequently, the set {M : |SM | = 0}
is empty. Hence, the essential supremum kf k = , and therefore, f 6 L (X).
|f |n d = kf knn ,
34
[(S )] n (kf k ) kf kn .
1
kf k lim inf kf kn .
n
kf k lim inf kf kn .
n
kf kn kf k [(X)] n .
(4.6.2)
Now, since 0 < kf k , we must necessarily have 0 < (X), and so, lim [(X)] n = 1.
n
By taking the limit superior in (4.6.2), we get lim sup kf kn kf k . This with (4.6.1)
n
lim sup
n
n+1
kf k .
n
n+1 [(X)]
kf kn+1
1
n+1
35
or equivalently,
(4.6.4)
kf kn+1
[(X)]
1
n+1
n+1
n
(n N).
1
Part (a) along with the fact that lim [(X)] n+1 = 1 (as (X) (0, )) yields
n
(4.6.5)
kf k = lim
kf kn+1
[(X)]
1
n+1
lim inf
n
n+1
,
n
by (4.6.4). Consideration of (4.6.5) along side (4.6.2) shows that lim n+1 /n exists,
n
P
n=1
np 1In , where In :=
1
,1
n+1 n
. Prove
Z
Z X
X Z
X 1
1
p
p
p
(4.7.1)
hp =
n 1In =
n
1In =
n
n n+1
X
X np1
X 1
np
=
=
,
n(n + 1)
n+1
n2p
where the change of integration and summation is justified by the Beppo-Levi Theorem. The series on the right of (4.7.1) converges by the p-test for series, since p < 1.
(b) For R, put S := {x R : |h1 (x)| > }. Fix 0. Define N :=
max {n N : n }. Note that N , while N + 1 > .
It follows that SN S so that |S | |SN |. Now, from the definition of h1
`
we readily see that h1 (x) = |h1 (x)| > N if and only if x
n=N +1 In . Thus,
`
SN = n=N +1 In , and therefore,
X
1
1
1
1
1
1
lim
=
< .
|SN | =
=
n n+1
N + 1 n n + 1
N +1
n=N +1
In summary,
|S | |SN | < (1/) = 1.
36
As 0 is arbitrary, we may take the supremum over all such to conclude that
h1 L1weak (R).
To see that h1 6 L1 (R), we note that the computation involved in (4.7.1) is valid
R
P 1
. Since the series is not finite, neither is the integral.
for h1 . That is, h1 =
n+1
(c) First, let us set some notation. For x R, we define [x] := max {n Z : n x}.
Now, analogous to the above, let S := {x R : |hp (x)| > }. Fix p and and set
N := min {n N : np }. By definition, N p , while (N 1)p < . Now,
`
x SN if and only if hp (x) = |hp (x)| > N if and only if x
n=[N 1/n ]+1 In so that
`
SN = n=[N 1/n ]+1 In , and therefore, |SN | = [N 1/p1 ]+1 . Since N , SN S , and so,
|S | |SN | >
(N 1)p
1
[N p ] + 1
(N 1)p
1
[N p ] + 1
(N/2)p
1
2N p
N p p
= p+1 .
2
S
n
Jn is
dense in (0, 1) and yet the set K := (0, 1)\U has positive measure.
Key terms: Lebesgue measure
Solution. Let 0 < < 1 and put Q := Q (0, 1). Note that Q is dense in (0, 1),
yet has measure zero, since it is countable. By the definition of Lebesgue (outer)
P
measure, we may find open intervals In such that n In covers Q and n |In | < .
Put Jn := In (0, 1). Then each Jn is an interval (or empty),Jn (0, 1), for each
P
S
S
S
n, and moreover, U = n Jn n In . Hence, |U | = | n In | n |In | < . Since
(0, 1) has finite measure, we get
|K| = |(0, 1)\U | = |(0, 1)| |U | = 1 |U | > 1 > 0.
37
CHAPTER 5
Spring 2006
Problem 5.1. Let (X, A , ) be a finite measure space. Prove:
(a) For 1 r s , we have Ls (X) Lr (X).
(b) The result of (a) can fail if (X) = .
Key terms: finite measure space, Lp -space, Holders Inequality, Lebesgue Measure,
conjugate exponent.
Solution. (a) Clearly, we may assume that r < s, so that 1 < rs . Put p :=
s
r
and let
1/p Z
|f |rp
1X d
X
1/q
Consequently, f Lr (X). As this is true for each f Ls (X), the conclusion follows.
(b) Let X := [1, ), A := Lebesgue measurable subsets of [1, ), and :=
Lebesgue measure. Then for f (x) := x1 , we have
Z
Z
1
2
|f | d =
dx = 1,
x2
X
1
while
|f | d =
X
1
dx = .
x
Problem 5.2. Let A, B R be Lebesgue measurable and define h(x) := |(A x) B|.
R
Show that (a) h is a Lebesgue measurable function; and, (b) R h(x)dx = |A| |B|.
38
Fix x R and observe that 1(An x)Bn n=1 is a monotone increasing sequence
of measurable functions that converge everywhere to 1(Ax)B , whence Lebesgues
Monotone Convergence Theorem yields
Z
Z
Z
1(Ax)B (y)dy = lim
1(An x)Bn (y)dy = lim
1An (x + y)1Bn (y)dy
n
lim hn (x).
h(x) = |(A x) B| =
1(Ax)B (y)dy,
R
so that h(x) = lim hn (x). Since x is arbitrary, we conclude that h is the pointwise
n
Z
Z Z
Z Z
h(x)dx =
1Ax (y)1B (y)dy dx =
1Ax (y)1B (y)dx dy
R
Z Z
39
\
An = , then lim (An ) = 0.
n
n=1
An =
(An ),
n=1
n=1
An .
n=1
m=1
m=n(x)+1
that x
\
n=1
An . Thus,
n=1
to invoke (ii). In consequence, lim (An ) = 0. Now, notice that as the Bm are
n
40
!
Bm
m=1
n 2, we have
n1
[
" n1
[
m=1
!
Bm
#
An =
n1
[
m=1
!
Bm
+ (An ) =
m=1
n1
X
(Bm ) + (An ).
m=1
Z
lim
(5.4.1)
s(x)h(nx)dx =
R
lim
n
m
X
k=1
#
k 1Ak (x) h(nx)dx
k lim
k=1
1Ak (x)h(nx)dx
= 0.
Now, let f L1 (R) and let M 0 be a finite bound for h. Fix > 0. By Theorem
3.13 in [RUD], we may find a complex, measurable, simple function s that vanishes
outside a set of finite measure such that kf sk1 < /M . Now, for each n N, we
41
have
Z
R
R
R
Z
(5.4.2)
|f (x) s(x)| |h(nx)| dx + s(x)h(nx)dx
R
R
Z
M kf sk1 + s(x)h(nx)dx
R
< + s(x)h(nx)dx .
R
lim
n f (x)h(nx)dx < ,
R
by the continuity of the absolute value function. The proof is completed by letting
0.
L(z+h)L(z)
h
L(z + h) L(z)
=
h
6= 0, and therefore,
(z + h) z
L(z + h) L(z)
eL(z)+H(h) eL(z)
H(h)
42
eL(z+h) eL(z)
=
L(z + h) L(z)
1
,
L0 (z)dz = 0, since
Problem 5.6. Let f and g be entire functions such that |f | |g|. Prove
(a) If z0 is a zero of g having multiplicity m, then z0 is a zero of f having
multiplicity at least m.
(b) f is a constant multiple of g.
Key terms: entire function, Liouvilles Theorem, zero-set, removable singularity.
Solution. It is enough to prove (b). To this end, note that it is clear that f vanishes
whenever g does. Thus, we may assume that g is not identically equal to zero. As
such, the set of zeros of g, Z(g), contains no limit point in C. In consequence, for
each (fixed) zero z Z(g), we may find rz > 0 such that D0 (z, rz ) Z(g) = . Hence,
the function
f
g
and therefore, has a removable singularity at z. (See Theorem 10.20 in [RUD].) Let
43
hz be an extension of
since this is true for
f
g
f
g
D(z, rz ).
f (z)
g(z)
z 6 Z(g)
. Clearly, h is differentiable
hz (z) z Z(g)
at every z in the open set C\Z(g). Furthermore, for z Z(g), h and hz agree in the
neighborhood D(z, rz ) of z, where hz is holomorphic, and so, h is also differentiable
at z. We conclude that h is an entire function. Moreover, the conditions on f and
g and the fact that |hz | 1, for all z Z(g), ensure that |h| 1. By Liouvilles
Theorem, we deduce that h is some constant c. The very definition of h thus gives
that f (z) = cg(z), for all z 6 Z(g). Yet |f | |g| implies that f (z) = 0 = c 0 = cg(z),
for all z Z(g). So, we actually have f (z) = cg(z), for all z C.
Z
2
dx
(a)
=
.
4
1+x
2
Z
2
(b)
ei exp(ei )d = 2.
0
1
z 4 +1
h
i
(2k+1)
and note that f has simple poles at zk = exp i 4
,
k = 0, ..., 3. For R > 1, let R : [0, ] C be the path t 7 Reit . Among the four
simple poles, only z0 and z1 lie inside the region bounded by R and the x-axis. Hence,
Z R
Z
3
X
Res(f, zk ),
f (x)dx +
f (z)dz = 2i
R
k=0
or equivalently,
Z
(5.7.1)
R
1
dx =
x4 + 1
f (z)dz =
Z
f (z)dz + 2i [Res(f, z0 ) + Res(f, z1 )] .
R
1
R
R
it
Rie
dt
dt
=
.
4
(Reit )4 + 1
R4 1
0 R 1
44
zzk
z zk
=
z4 + 1
1
=
z 4 zk4
lim
zzk z zk
d 4
z z=z
dz
k
1
.
4zk3
So,
+ exp i 9
exp i 3
2i sin (/4)
i
4
4
Res(f, z0 ) + Res(f, z1 ) =
=
= .
4
4
2 2
Substitution of this into (5.7.2) gives the desired result.
(b) Let be the closed curve given by 7 ei , for [0, 2]. Then
Z 2
Z z
e
i
i
(5.7.3)
e exp(e )d = i
dz.
2
0
z
By the Residue Theorem, one has
z
Z z
e
e
dz
=
2iRes
, 0 = 2i,
2
z2
z
since
ez
z2
1
z2
Problem 5.8. Let S := {z C : 0 < Re z < 2} and for each z S let lz (t) :=
tz + 1 t, for 0 t 1. Without assuming that a primitive of f exists, show that
R
F (z) := lz f defines a holomorphic function in S such that F 0 = f . Explain why the
conclusion fails whenever f is not holomorphic.
Key terms: Cauchys Theorem in a Convex Set, complex differentiability.
Solution. This is problem is a specific example of the following more general result,
whose proof follows the statement:
45
[z0 ,a]
[a,z]
[a,z]
Z
f ()d =
f ()d F (z)
[a,z0 ]
= F (z0 ) F (z).
Hence, for z \ {z0 }, we have
F (z0 ) F (z)
f (z0 ) =
z0 z
(5.8.1)
Z
Z
1
f ()d
f (z0 )d
z0 z
z0 z [z,z0 ]
[z,z0 ]
Z
1
|f () f (z0 )| d || .
|z0 z| [z,z0 ]
Let > 0 be given. Using the continuity of f , choose > 0 so small so that
| z0 | < implies and |f () f (z0 )| < . Now, if 0 < |z z0 | < , then
| z0 | < , for each [z, z0 ]. Thus, from (5.8.1) we may deduce that
Z
F (z0 ) F (z)
f (z0 ) <
d || = ,
z0 z
|z0 z| [z,z0 ]
for all z with 0 < |z z0 | < . This proves that F is differentiable at z0 , and
moreover, F 0 (z0 ) = f (z0 ). As z0 is arbitrary, the proof of this implication is
complete.
() As holomorphic functions have complex derivatives of all orders, F H()
with F 0 = f implies that f H().
46
Index
additivity
countable, 40
finite, 40
exponential map, 42
Casorati-Weierstrass Theorem, 11
Holders Inequality, 38
Cauchys Formula, 16
harmonic function, 21
Cauchys Theorem
homeomorphism, 28
complex logarithm, 42
integration
abstract, 41
conjugate exponent, 38
contour, 3, 18, 44
convergence
in measure, 23
Laurent series, 44
p-norm, 7
Lebesgue
pointwise, 7, 23
uniform, 2, 22
convolution, 39
counting measure, 6
39
point, 12
differentiability
complex, 4, 42, 45
47
uniform continuity, 32
31
Functions, 22
measurable
function, 4, 39
variation
set, 5, 39
bounded, 10
measure
total, 10
positive, 34, 40
measure space
weak Lp , 36
complete, 5
zero-set, 20, 43
complete, 7
Moreras Theorem, 1
negligible set, 5
Open-Mapping Theorem, 31
p-test, 36
polar coordinates, 15, 16
pole, 3, 11, 18, 44
power series, 22, 30
ratio test, 32
residue, 3, 11, 18
Residue Theorem, 3, 18, 44
rotation, 27
Schwarz Lemma, 27
-algebra, 40
simple function, 41
singularity
removable, 11, 27, 43
translation invariance, 39
48
Bibliography
[CAB] R. V. Churchill, J. W. Brown,
Complex Variables and Applications. (Seventh Edition)
McGraw-Hill (2003)
[PAM] M. H. Protter, C. B. Morrey,
A First Course in Real Analysis. (Second Edition)
Springer-Verlag New York, Inc. (1991)
[ROY] H. L. Royden,
Real Analysis. (Third Edition)
Prentice Hall, Inc. (1988)
[RUD] W. Rudin,
Real and Complex Analysis. (Third Edition)
McGraw-Hill. (1987)
49