Ph.D. Qualifying Exam, Real Analysis Fall 2009,: J J 1 N 1 N N 1 N
Ph.D. Qualifying Exam, Real Analysis Fall 2009,: J J 1 N 1 N N 1 N
Do all five problems. Write your solution for each problem in a separate blue book.
2 Let X be a Banach space, and let S denote the unit sphere S = {x X : kxk = 1}.
a. Suppose yn S for all n, and yn y X weakly. Show that kyk 1.
b. Suppose that X is a separable infinite dimensional Hilbert space, y X and kyk 1. Show
that there exists a sequence {yn }
n=1 with yn S for all n such that yn y weakly.
(If this holds, it is common to say that g is a weak derivative of f .) Prove that f is absolutely
continuous and f = g a.e.
5 A Banach space B is uniformly convex if for every (0, 1) there exists < 1 such that if
x, y B, kxk = kyk = 1 and kx yk > 2 then k 12 (x + y)k < .
Let B be a uniformly convex Banach space.
a. Assume that xn B for n = 1, 2, . . . and xn x0 in the weak topology, and kxn k kx0 k.
Prove that xn x0 in norm.
Hint: Assume that {xn } is not a Cauchy sequence, and for suitable pairs nj , mj , nj < mj ,
nj , consider yj = (xnj + xmj )/2.
b. Give an example that the statement in (a) is false for general Banach spaces.
Ph.D. Qualifying Exam, Real Analysis
Fall 2009, part II
Do all five problems. Write your solution for each problem in a separate blue book.
2 Let denote the Lebesgue measure on [0, 1]. For 1 < p < construct
a. a subspace of Lp ([0, 1], ) which is not dense in Lp but is dense in Lr for all r < p.
b. a subspace of L ([0, 1], ) which is dense in Lp but not dense in Ls for any s > p.
4 Suppose that X is a locally convex vector space with topology T generated by a family {a : a A}
of seminorms.
a. If k.k is a continuous seminorm on X, show that there exist a1 , . . . , an A and C > 0, such that
kxk C(a1 (x) + . . . + an (x)) for all x X.
b. Let X = C (T), T = R/(2Z). Show that X does not have a norm generating its standard
topology (given by {k = k.kC k : k 0, k Z}).
k
5 Let f : R C be a Schwartz function (i.e. f is C and sup |xN ddxfk | < for all N and k) satisfying
2 1
R R ixy
R |f (x)| dx = 1. Let f (y) = 2 R e f (x) dx denote the Fourier transform of f .
a. Show that Z Z
1
2 2
(x x0 ) |f (x)| dx (y y0 ) |f(y)|2 dy
2
R R 4
for all x0 , y0 R.
Hint: You may find it easier to reduce to, and then work with, the case x0 = y0 = 0.
b. Suppose that the equality sign holds in (a). Show that there exists a real number > 0 and a
complex number c such that |c| = 1 and
1
(x x )2
0
f (x) = c () 4 exp + ixy0
2
for all x R.