stein答案全部
stein答案全部
Teck-Cheong Lim
Department of Mathematical Sciences
George Mason University
4400, University Drive
Fairfax, VA 22030
U.S.A.
e-mail address: [email protected]
Abstract
Solutions to some exercises and problems from Stein and Shakarchi’s
Fourier Analysis. The book by Y. Ketznelson, ”An introduction of Har-
monic Analysis” (2nd corrected edition) is referred to frequently.
Chapter 1: The Genesis of Fourier Analysis
Chapter 2: Basic Properties of Fourier Series
Chapter 3: Convergence of Fourier Series
Chapter 4: Some applications of Fourier Series
Chapter 5: The Fourier transform on R
Chapter 6: The Fourier transform on Rd
Chapter 7: Finite Fourier Analysis
Chapter 8: Dirichlet’s Theorem
Chapter 1 The Genesis of Fourier Analysis
h2 00
F (x + h) = F (x) + hF 0 (x) + F (x) + h2 φ(h),
2
where φ(h) → 0 as h → 0.
Deduce that
F (x + h) + F (x − h) − 2F (x)
→ F 00 (x) as h → 0.
h2
Proof.
Firstly one has
Z x+h
F (x + h) − F (x) = F 0 (y) dy.
x
1
Then F 0 (y) = F 0 (x)+(y−x)F 00 (x)+(y−x)ψ(y−x), where ψ is continuous
and ψ(h) → 0 as h → 0. Therefore
h
h2
Z
F (x + h) − F (x) = F 0 (x)h + F 00 (x) + uψ(u) du.
2 0
By mean-value theorem
Z h Z h
ψ(ξ)
uψ(u) du = ψ(ξ) u du = h2 = h2 φ(h)
0 0 2
|F (x + h) + F (x − h) − 2F (x)| ≤ M h2
∂2 ∂2
4= +
∂x2 ∂y 2
is given in polar coordinates by the formula
∂2 1 ∂ 1 ∂2
4= 2
+ + 2 2.
∂r r ∂r r ∂θ
Also prove that
2 2 2 2
∂u ∂u ∂u 1 ∂u
+ = + .
∂x ∂y ∂r r2 ∂θ
Solution.
From x = r cos θ, y = r sin θ, we get
∂x ∂x
∂r ∂θ cos θ −r sin θ
∂y ∂y = ,
∂r ∂θ
sin θ r cos θ
hence
! −1
∂r ∂r
∂x ∂y cos θ −r sin θ cos θ sin θ
= = .
∂θ
∂x
∂θ
∂y
sin θ r cos θ − 1r sin θ 1
r cos θ
2
By Chain Rule,
∂u ∂u ∂r ∂u ∂θ
= +
∂x ∂r ∂x ∂θ ∂x
∂u 1 ∂u
= cos θ − sin θ.
∂r r ∂θ
By Chain Rule and Product Rule,
∂ ∂u
cos θ
∂x ∂r
∂ ∂u ∂r ∂ ∂u ∂θ
= cos θ + cos θ
∂r ∂r ∂x ∂θ ∂r ∂x
∂2u 2 1 ∂u 2 1 ∂2u
= cos θ + sin θ − cos θ sin θ
∂r2 r ∂r r ∂θ∂r
Similarly,
∂ 1 ∂u
− sin θ
∂x r ∂θ
1 ∂2u 2 2 2 ∂u 1 ∂2u
= sin θ + + sin θ cos θ − cos θ sin θ.
r2 ∂θ2 r2 r2 ∂θ r ∂r∂θ
∂2u ∂2u
Since ∂r∂θ = ∂θ∂r , we get
∂2u ∂2u 2 1 ∂u 2 1 ∂2u 2 2 ∂u 2 ∂2u
= cos θ+ sin θ+ sin θ+ sin θ cos θ− cos θ sin θ.
∂x2 ∂r2 r ∂r r2 ∂θ2 r2 ∂θ r ∂r∂θ
Similarly,
∂u ∂u 1 ∂u
= sin θ + cos θ,
∂y ∂r r ∂θ
∂2u ∂2u 1 ∂u 1 ∂2u 2 ∂u 2 ∂2u
2
= 2
sin2 θ+ cos2 θ+ 2 2 cos2 θ− 2 sin θ cos θ+ cos θ sin θ.
∂y ∂r r ∂r r ∂θ r ∂θ r ∂r∂θ
Consequently,
∂2u ∂2u ∂ 2 u 1 ∂u 1 ∂2u
2
+ 2 = 2
+ + 2 2.
∂x ∂y ∂r r ∂r r ∂θ
Assume the general case that u is complex-valued. Then
2 2 2
∂u ∂u 1 ∂u 2 ∂u ∂u
= cos2 θ + sin2 θ − <{ cos θ sin θ}
∂x ∂r r2 ∂θ r ∂r ∂θ
and
2 2 2
∂u ∂u 1 ∂u 2 ∂u ∂u
= sin2 θ + cos2 θ + <{ cos θ sin θ},
∂y ∂r r2 ∂θ r ∂r ∂θ
hence
2 2 2 2
∂u ∂u ∂u 1 ∂u
+ = + .
∂x ∂y ∂r r2 ∂θ
3
3. (Added in) Let f (x) be an odd 2π-periodic function. For n ∈ Z define
Z π
1
cn = f (t)e−int dt
2π −π
Prove that
c−ne−inx + cn einx = An sin nx
where Z π
2
An = f (t) sin nt dt.
π 0
Proof.
c−ne−inx + cn einx
Z π
1
= f (t)eint e−inx + f (t)e−int einx dt
2π −π
Z π
1
= f (t)(e−in(x−t) + ein(x−t) ) dt
2π −π
Z π
1
= f (t)2 cos n(x − t) dt
2π −π
1 π
Z
= f (t)(cos nx cos nt + sin nx sin nt) dt
π −π
1 π
Z
= f (t) sin nx sin nt dt (since f (t) cos nt is odd)
π −π
2 π
Z
= sin nx f (t) sin nt dt (since f (t) sin nt is even)
π 0
= An sin nx
r2 F 00 (r)+rF 0 (r)−n2 F (r) = rn+1 (rg 00 (r)+(2n+1)g 0 (r)) = rn+1 (2ng 0 (r)+(rg 0 (r))0 ) = 0,
4
hence
2ng(r) + rg 0 (r) = c.
It follows that g(r) is a linear combination of r−2n and 1 if n 6= 0, and
log r and 1 if n = 0. The result follows.
5. (Problem 1) Consider the Dirichlet problem illustrated in Figure 11. More
precisely, we look for a solution of the steady-state heat equation 4u = 0
in the rectangle R = {(x, y) : 0 ≤ x ≤ π, 0 ≤ y ≤ 1} that vanishes on the
vertical sides of R, and so that
where f0 and f1 are initial data which fix the temperature distribution on
the horizontal sides of the rectangle.
Use separation of variables to show that if f0 and f1 have Fourier expan-
sions
X∞ ∞
X
f0 (x) = Ak sin kx and f1 (x) = Bk sin kx,
k=1 k=1
then
∞
X sinh k(1 − y) sinh ky
u(x, y) = Ak + Bk sin kx.
sinh k sinh k
k=1
Compare this result with the solution of the Dirichlet problem in the strip
obtained in Problem 3, Chapter 5.
Solution.
Consideration of basic solution of the form A(x)B(y) yields
dk = Ak , ck sinh k + dk cosh k = Bk .
Chapter 2
5
Also prove that
Z π Z π Z π+a
f (x + a) dx = f (x) dx = f (x) dx.
−π −π −π+a
Proof.
For the first two identities, substitute u = x − 2π and u = x + 2π respec-
tively, and note that f (x ± 2π) = f (x). For the second equalities, firstly
Rπ R π+a
we have −π f (x + a) dx = −π+a f (x) dx by substitution u = x + a. Then
by applying the first set of equalities, we get
Z −π Z π
f (x) dx = f (x) dx,
−π+a π+a
so
Z π+a Z −π Z π Z π+a Z π
f (x) dx = f (x) dx+ f (x) dx+ f (x) dx = f (x) dx.
−π+a −π+a −π π −π
(b) Prove that if f is even, then fˆ(n) = fˆ(−n), and we get a cosine series.
(c) Prove that if f is odd, then fˆ(n) = −fˆ(−n), and we get a sine series.
(d) Suppose that f (θ + π) = f (θ) for all θ ∈ R. Show that fˆ(n) = 0 for
all odd n.
(e) Show that f is real-valued if and only if fˆ(n) = fˆ(−n) for all n.
Proof.
fˆ(n)eint + fˆ(−n)e−int
1 1
= (fˆ(n) + fˆ(−n)) (eint + e−int ) + i(fˆ(n) − fˆ(−n)) (eint − e−int )
2 2i
= An cos nt + Bn sin nt
R 2π R 2π
where An = fˆ(n)+fˆ(−n) = 2π 1
0R
f (s)(e−ins +eins ) ds = π1 0 f (s) cos ns ds
2π R 2π
and Bn = i(fˆ(n)−fˆ(−n)) = i 2π 1
0
f (s)(e−ins −eins ) ds = π1 0 f (s) sin ns ds.
If f is real, then An , Bn are real, which is true iff fˆ(n) = fˆ(−n) for all n.
If f is odd, then f (s) cos ns is odd, so An = 0. If f is even, then f (s) sin ns
is odd, so Bn = 0.
If f (θ + π) = f (θ) for all θ ∈ R, then
Z 2π Z π Z 2π
−int −int
f (t)e dt = f (t)e dt + f (t)e−int dt
0 0 π
6
and
Z 2π Z π Z π
−int −inu −inπ
f (t)e dt = f (u + π)e e du = − f (t)e−int dt
π 0 0
8 X sin kθ
f (θ) =
π k3
k odd ≥1
Solution.
Checked with Maple and found that it is correct.
4. (Exercise 6) Let f be the function defined on [−π, π] by f (θ) = |θ|.
(a) Draw the graph of f .
(b) Calculate the Fourier coefficients of f , and show that ... O(1/n2 ).
(c) What is the Fourier series of f in terms of sines and cosines?
(d) Taking θ = 0, prove that
∞
X 1 π2 X 1 π2
2
= and 2
= .
n 8 n=1
n 6
n odd ≥1
Solution.
Since it is an even function, by Exercise 2, fˆ(n) = fˆ(−n). We find fˆ(n) +
fˆ(−n) = 0, if n is even, and − πn2 2 if n is odd. So the series is
π 4 X cos nθ
− .
2 π n2
n odd ≥1
7
(b) Deduce from this formula Dirichlet’s
P test for convergence of a series :
if the partial sums of the series bn are bounded, and {a
Pn } is a sequence
of real numbers that decreases monotonically to 0, then an bn converges.
Proof. (a)
N
X
an bn
n=M
N
X
= an (Bn − Bn−1 )
n=M
N
X N
X
= an Bn − an Bn−1
n=M n=M
N
X N
X −1
= an Bn − an+1 Bn
n=M n=M −1
N
X −1 N
X −1
= an BN + an Bn − aM BM −1 − an+1 Bn
n=M n=M
N
X −1
= aN BN − aM BM −1 − (an+1 − an )Bn
n=M
8
(to prove write sin nx as 2i 1
(einx − e−inx ))) and |Bn | ≤ csc(|x|/2) for
|x| < π, x 6= 0. 1/n is decreasing to 0. So series converges for x 6= 0. At
x = 0, all the symmetric sums are 0, so series converges to 0. It must
converge to the function since its Cesaro means converge to the function.
7. (Exercise 9) Let f (x) = χ[a,b] (x) be the characteristic function of the
interval [a, b] ⊂ [−π, π], that is,
1 if x ∈ [a, b]
χ[a,b] (x) =
0 otherwise.
(a) Show that the Fourier series of f is given by
b − a X e−ina − e−inb inx
f (x) ∼ + e .
2π 2πin
n6=0
The sum extends over all positive and negative integers excluding 0.
(b) Show that if a 6= −π or b 6= π and a 6= b, then the Fourier series does
not converge absolutely for any x.
(c) However, prove that Fourier series converges at every point x. What
happens if a = −π and b = π?
Solution.
(a) Straightforward.
(b) |e−ina − e−inb |2 = 1 + 1 − 2 cos n(b − a) = 4 sin2 (n(b − a)/2), thus
|e−ina − e−inb | = 2| sin nθ0 |, where
b−a π
0 < θ0 = < .
2 2
The series
∞
X | sin nθ0 |
n=1
n
diverges because .......
(c) an = 1/n, bn = sin(na) − sin(nb) which has bounded partial sums by
the solution of Exercise 8. So series converges by Exercise 7. If a = −π
and b = π, then the Fourier series is 1.
8. (Exercise 10) Suppose f is a periodic function of period 2π which belongs
to the class C k . Show that
fˆ(n) = O(1/|n|k ) as |n| → ∞.
Solution.
Integrate by parts k times as in Corollary 2.4.
9. (Exercise 11) Suppose that {fk }∞ k=1 is a sequence of Riemann integrable
functions on the interval [0, 1] such that
Z 1
|fk (x) − f (x)| dx → 0 as k → ∞.
0
9
Show that fˆk (n) → fˆ(n) uniformly in n as k → ∞.
Proof.
Use Z 1
|ĝ(n)| ≤ |g(x)| dx
0
for all n.
P
10. (ExerciseP12) Prove that if a series of complex numbers cn converges to
s, then cn is Cesaro summable to s.
Proof.
Let the sequence of partial sums be sn , n = 1, 2, · · · . First assume that
s = 0. Let > 0. Choose N1 such that |sn | < 2 for all n ≥ N1 . Choose
N > N1 such that PN1
k=1 |sk |
<
n 2
for all n ≥ N . Then for all n ≥ N ,
s1 + · · · + sn
| |
n
|s1 | + · · · + |sn |
≤
n
|s1 + · · · + |sN1 | |sN1 +1 + · · · + |sn |
= +
n n
n/2
< +
2 n
=
P
This proves that cn is Cesaro summable to 0. Notice that we prove
above that if an is any sequence converging to 0, then the sequence σn =
a1 +···+an
n converges to 0.
Now suppose that s 6= 0. Then sequence tn = sn − s converges to 0. So
by the proof above (t1 + · · · + tn )/n = (s1 + · · · + sn )/n − s converges to
0, i.e (s1 + · · · + sn )/n converges to s.
11. (Exercise 13) The purpose of this exercise is to prove that Abel summa-
bility is more general than theP∞ standard or Cesaro methods of summation.
(a) Show that if the series n=1 cn of complex numbers converges to a
finite limit s, then the series is Abel summable to s.
(b) However, show that there exist series which are Abel summable, but
that do not converge. P∞
(c) Argue similarly to prove that if a series n=1 cn is Cesaro summable
to σ, then it is Abel summable to σ.
(d) Give an example of a series that is Abel summable but not Cesaro
summable.
The results above can be summarized by the following implications about
series:
convergent ⇒ Cesaro summable ⇒ Able summable,
10
and the fact that none of the arrows can be reversed.
Solution:
In
P∞ what follows, 0 ≤ r < 1; sn denotes the sequence of partial sums of
n=1 cn . Pn
(a). First assume that s = 0. For 0 ≤ r < 1 consider tn = k=1 sk rk .
Pn Pn+1
We have rtn = k=1 sk rk+1 =P k=2 sk−1 rk . Since s1 = P c1 and sk −
n n
sk−1 = P ck , we get (1 − r)tn = k=1 ck rk − sn rn+1 , hence k=1 ck rk =
n
(1 − r) k=1 sk rk + sn rn+1 . Since ck , sk are bounded
P∞ sequencesP∞(in fact,
k k
they converge to 0) and 0 ≤ r < 1,
P∞ both series k=1
P∞ck r and k=1 sk r
are absolutely convergent, and k=1 ck rk = (1 − r) k=1 sk rk . Let > 0.
Choose K such that |sk | < for all k ≥ K. Then
∞ K−1 K−1
X X rK X
| ck rk | ≤ (1 − r) M rk + (1 − r) ≤ (1 − r) M rk +
1−r
k=1 k=1 k=1
It follows that
∞
X
lim sup | ck rk | ≤ .
r→1−
k=1
P∞
Since > 0 is arbitrary,
P∞we have lim supr→1− | k=1 ck rk | ≤ 0 which is
equivalent to limr→1− k=1 ck rk = 0. P∞
NextP assume that sP6= 0. Define dn = cn − s/2n . Then n=1 dn = 0,
∞ n ∞ n
and Pd∞n r =n n=1 cn r − sr/(2 − P
n=1 r). Thus by our proof above,
∞
limr→1− n=1 P cn r − s = 0, i.e. limr→1− n=1 cn rn = s. P
∞ ∞
n
(b). The series n=1 (−1) Pdoes not converge, but limr→1− n=1 (−1)n rn =
−r ∞ n
limr→1− 1+r = −1/2, i.e. n=1 (−1) is Abel summable to −1/2.
(c). Write
s1 + · · · + sn
σn =
n
and τn = nσn . Since τn − τn−1 = sn , by the same argument as in (a), we
have
X∞ X∞
(1 − r) τk r k = sk rk ,
k=1 k=1
hence
∞
X ∞
X
(1 − r)2 σk krk = ck rk
k=1 k=1
from the proof of (a). Assume that σ = 0. Let > 0. Choose N such that
|σk | < for all n ≥ N , and B be a bound for |σk |, k = 1, 2, · · · . Then
∞ N −1 N −1
X
k 2
X
k rN ((1 − r)N + r)
2 2
X
| ck r | ≤ (1−r) Bkr +(1−r) ≤ (1−r) Bkrk +rN ((1−r)N +r)
(1 − r)2
k=1 k=1 k=1
P∞ N
where we have use the fact that k=N krk = r ((1−r)N (1−r)2
+r)
. As in the
P∞ k
proof of (a), this implies that limr→1− k=1 ck r = 0. For the case σ 6= 0,
11
P∞
consider
P∞ dn = cn − σ/2n . Since n=1 cn is Cesaro summable to P∞σ and
n
n=1 σ/2 = σ (and hence Cesaro summable to σ), we have n=1 dn
Cesaro summable to 0. Thus by our proof above and the same argument
as in the proof of (a), the
Presult follows.
∞
(d). Consider the series n=1 (−1)n n. It is Abel summable to −1/4 since
∞
X −r
(−1)n nrn = .
n=1
(1 + r)2
Note that
n−1 an
σn −
σn−1 = .
n n
P∞ an
Thus for a Cesaro
P∞ summable series n=1 an , limn→∞ n must be 0. This
proves that n=1 (−1)n n is not Cesaro summable.
12. (Exercise 14) This exercise deals with a theorem of Tauber which says that
under an additional condition on the coefficients cn , the above arrows can
be reversed.
P
(a) IfP cn is Cesaro summable to σ and cn = o(1/n) (that is, ncn → 0),
then cn converges to σ.
(b) The above statement holds if we replace Cesaro summable by Abel
summable.
Proof.
(a). Denote (n − 1)cn by tn . Since tn = n−1 n ncn and ncn → 0 we have
tn → 0. Now
s1 + · · · + sn (sn − s1 ) + · · · + (sn − sn ) t2 + · · · + tn
sn −σn = sn − = =
n n n
and it is immediate that sn − σn → 0.
(b). Let r = 1 − N1 . We have
N N N X N
X X X 1 n
| cn − cn r n | ≤ |cn | 1 − (1 − )n ≤ |cn |
n=1 n=1 n=1
N n=1
N
12
easily by induction on n. Also if |cn n| < for all n ≥ N , then
∞
X N
X
| cn r n − cn r n |
n=1 n=1
∞
X 1 n
≤ |cn |(1 − )
N
n=N +1
∞
X n|cn | 1
≤ (1 − )n
N N
n=N +1
∞
X 1
≤ (1 − )n
N N
n=N +1
1 N +1
= (1 − ) →
N e
as N → ∞.
13. (Exercise 15) Prove that the Fejer kernel is given by
1 sin2 (N x/2)
FN (x) = .
N sin2 (x/2)
Proof.
Recall that N FN (x) = D0 (x)+· · ·+DN −1 (x) where Dn (x) is the Dirichlet
kernel. Write ω = eix . Then
Dn (x)
= ω −n + · · · + ω −1 + 1 + ω + · · · + ω n
= (ω −n + · · · + ω −1 ) + (1 + ω + · · · + ω n )
ω −n − 1 1 − ω n+1
= ω −1 −1 +
ω −1 1−ω
−n n+1
ω −1 1−ω
= +
1−ω 1−ω
ω −n − ω n+1
=
1−ω
13
So
N FN (x)
N −1
X ω −n − ω n+1
=
n=0
1−ω
−1 −1
N N
!
1 X X
= ω −n − ω n+1
1−ω n=0 n=0
−N
1 − ωN
1 ω −1
= −1
−ω
1−ω ω −1 1−ω
ω −N +1 − ω 1 − ωN
1
= −ω
1−ω 1−ω 1−ω
ω −N − 2 + ω N
= ω
(1 − ω)2
1 (ω N/2 − ω −N/2 )2
=
(ω −1/2 )2 (1 − ω)2
(ω N/2 − ω −N/2 )2
=
(ω 1/2 − ω −1/2 )2
−4 sin2 (N x/2)
=
−4 sin2 (x/2)
sin2 (N x/2)
= .
sin2 (x/2)
Therefore
1 sin2 (N x/2)
FN (x) = .
N sin2 (x/2)
14. (Exercise 16) The Weierstrass approximation theorem states: Let f be a
continuous function on the closed and bounded interval [a, b] ⊂ R. Then,
for any > 0, there exists a polynomial P such that
sup |f (x) − P (x)| < .
x∈[a,b]
Proof.
Let > 0. We may extend f to a continuous (c−a)-periodic function where
b ≤ c. By Corollary
PN 5.4 of Fejer’s theorem, there exists a trigonometric
polynomial Q = n=M an einx such that |Q(x)−f (x)| < /2 for all x. For
each n, M ≤ n ≤ N , there exists a polynomial pn (x) such that |an einx −
pn (x)| < /2N for all x ∈ [a, c]. Then P = pM + · · · + pN is a polynomial
in x that satisfies the requirement.
15. (Exercise 17) In Section 5.4 we proved that the Abel means of f converge
to f at all points of continuity, that is,
lim Ar (f )(θ) = lim (Pr ∗ f )(θ) = f (θ), with 0 < r < 1,
r→1 r→1
14
whenever f is continuous at θ. In this exercise, we will study the behavior
of Ar (f )(θ) at certain points of discontinuity.
An integrable function is said to have a jump discontinuity at θ if the
two limits
lim f (θ + h) = f (θ+ ) and lim f (θ + h) = f (θ− )
h→0,h>0 h→0,h<0
exist.
(a) Prove that if f has a jump discontinuity at θ, then
f (θ+ ) + f (θ− )
lim Ar (f )(θ) = , with 0 ≤ r < 1.
r→1 2
(b) Using a similar argument, show that if f has a jump discontinuity at
+
(θ − )
θ, the Fourier series of f at θ is Cesaro summmable to f (θ )+f 2 .
Proof. Rπ R0
1 1
Since Pr (θ) = Pr (−θ), and 2π P (θ) dθ = 1, we have 2π
−π r
P (θ) dθ =
−π r
1
R π
2π 0 P r (θ) dθ = 1/2. Suppose f has a jump discontinuity at θ. Let > 0
be given. Choose δ > 0 so that 0 < h < δ implies |f (θ − h) − f (θ−)| <
and |f (θ + h) − f (θ+)| < . Let M be such that |f (y)| ≤ M for all y.
Then
f (θ+ ) + f (θ− )
(f ∗ Pr )(θ) −
2
Z π
f (θ+ ) + f (θ− )
1
= Pr (y)f (θ − y) dy −
2π −π 2
Z 0 Z π
1 1
≤ Pr (y)|f (θ − y) − f (θ+ )| dy + Pr (y)|f (θ − y) − f (θ− )| dy
2π −π 2π 0
Z Z
1 1
≤ Pr (y)|f (θ − y) − f (θ+ )| dy + Pr (y)|f (θ − y) − f (θ− )| dy
2π −δ<y<0 2π 0<y<δ
Z
1
+ 2M Pr (y) dy
2π δ≤|y|≤π
Z
M
≤ + + Pr (y) dy
2 2 π δ≤|y|≤π
R
Therefore, recalling that limr→1 δ≤|y|≤π Pr (y) dy = 0,
f (θ+ ) + f (θ− )
lim sup (f ∗ Pr )(θ) − ≤
r→1 2
Since > 0 is arbitrary, we have
f (θ+ ) + f (θ− )
lim (f ∗ Pr )(θ) = .
r→1 2
1
R0
(b) Since the Fejer kernel Fn (θ) is even and positive, we also have 2π −π
Fn (θ) dθ =
1
Rπ
2π 0 Fn (θ) dθ = 1/2, for all n. Repeat the above argument.
15
+ −
Remark One can replace f (θ )+f
2
(θ )
by limh→0 f (θ+h)+f
2
(θ−h)
and obtain
a more general statement of Exercise 17. (See Katznelson’s book.)
16. (Exercise 18) If Pr (θ) denotes the Poisson kernel, show that the funciton
∂Pr
u(r, θ) = ,
∂θ
defined for 0 ≤ r < 1 and θ ∈ R, satisfies:
(i) 4u = 0 in the disc.
(ii) limr→1 u(r, θ) = 0 for each θ.
However, u is not identically zero.
Solution.
We have
∞
X
u(r, θ) = r|m| ineinθ .
n=−∞
2r(r2 − 1) sin θ
u(r, θ) =
(1 − 2r cos θ + r2 )2
If θ 6= 0, then 1 − 2 cos θ + 1 6= 0, so the limit is 0 as r → 1. If θ = 0, then
u(r, 0) = 0 and the limit is trivially 0. Note that
2y(x2 + y 2 − 1)
u(x, y) =
((1 − x)2 + y 2 )2
and u(1 − , ) → −∞ as → 0+. This implies that u does not converge
to 0 uniformly as r → 1.
17. (Exercise 19) Solve Laplace’s equation 4u = 0 in the semi infinite strip
and expand the general solution in terms of the special solutions given by
16
Express u as an integral involving f , analogous to the Poisson integral
formula (6).
Solution.
By considering the odd extension of f and following the derivation of
Poisson’s kernel with e−πy and eiπt replacing r and eit , respectively, we
obtain
1 1
Z
u(x, y) = f (t)Qy (x − t) dt
2 −1
where
1 − e−2πy
Qy (t) = .
1− 2e−πy
cos πt + e−2πy
or, using the fact that f is odd, we have the alternate form
1 1
Z
u(x, y) = f (t)Q(x, t) dt
2 0
where
1 − e−2πy 1 − e−2πy
Q(x, t) = − .
1 − 2e−πy cos π(x − t) + e−2πy 1 − 2e−πy cos π(x + t) + e−2πy
18. (Exercise 20) Consider the Dirichlet problem in the annulus defined by
{(r, θ) : ρ < r < 1}, where 0 < ρ < 1 is the inner radius. The problem is
to solve
∂2 1 ∂ 1 ∂2
+ + =0
∂r2 r ∂r r2 ∂θ2
subject to the boundary conditions
u(1, θ) = f (θ),
u(ρ, θ) = g(θ),
17
Show that as a result we have
and
u(r, θ) − (Pρ/r ∗ g)(θ) → 0 as r → ρ uniformly in θ.
Solution.
n −n
r 2n −1 (ρ/r)n −(r/ρ)n (ρ/r)2n −1 n
Note that ρrn −r n
−ρ−n = ρ2n −1 (ρ/r) → 0 and ρn −ρ−n = ρ2n −1 r →
0 as n → ∞.
The series converges because for instance
r2n − 1 n 1 + r2
(ρ/r) ≤ (ρ/r)n .
ρ2n − 1 1 − ρ2
And the last result follows from, for instance,
and
∞
X ρ2 /r ρ2 r
[(ρ/r)2n − ρ2n ]rn = −
n=1
1 − ρ /r 1 − ρ2 r
2
and define Z π
1
LN = |DN (θ)| dθ.
2π −π
18
(a) Note that sinx x ≥ 1 for x in the interval [−π/2, π/2]. It follows that
for θ ∈ [−π, π],
| sin(N + 1/2)θ|
|DN (θ)| ≥ 2 .
θ
Then
Z π
|DN (θ)| dθ
−π
Z π
| sin(N + 1/2)θ|
≥ 4 dθ
0 θ
Z (N +1/2)π
| sin θ|
= 4 dθ
0 θ
Z Nπ
| sin θ|
≥ 4 dθ
0 θ
N −1 Z (k+1)π
X | sin θ|
= 4 dθ
θ
k=0 kπ
N −1 Z (k+1)π
X 1
≥ 4 | sin θ| dθ
(k + 1)π kπ
k=0
N −1
8 X 1
=
π k+1
k=0
8
= log(N + 1)
π
8
≥ log N
π
Therefore LN ≥ c log N .
(b) The function gn which is equal to 1 when Dn is positive and −1 when
Dn is negative has the desired property but is not continuous. Approxi-
mate gn in the integral norm (in the sense of Lemma 3.2) by continuous
functions hk satisfying |hk | ≤ 1.
20. (Problem
P 3) Littlewood provided a refinement of Tauber’sP theorem:
(a) If cn is Abel summable to s and cn = O(1/n), then cn converges
to s. P
(b) As Pa consequence, if cn is Cesàro summable to s and cn = O(1/n),
then cn converges to s.
These results may be applied to Fourier series. By Exercise 17, they imply
that if f is an integrable function that satisfies fˆ(ν) = O(1/|ν|), then:
(i) If f is continuous at θ, then
SN (f )(θ) → f (θ) as N → ∞.
(ii) If f has a jump discontinuity at θ, then
f (θ+ ) + f (θ− )
SN (f )(θ) → as N → ∞.
2
19
(iii) If f is continuous on [−π, π], then SN (f ) → f uniformly.
For the simpler assertion (b), hence of proof of (i),(ii),and (iii), see Problem
5 in Chapter 4.
Solution.
Proof. Choose C > 0 such that |(1 − x)2 f 00 (x)| ≤ C for all x. Let
> 0. Choose a δ, 0 < δ < min{1/2, /(4C)}. Choose η < 1 such that
|f (x)| < (1/4)δ for all x > η. We claim that |(1 − x)f 0 (x)| < for all
x > η. Let x > η. With x0 = x + δ(1 − x) we have
1
f (x0 ) = f (x) + δ(1 − x)f 0 (x) + δ 2 (1 − x)2 f 00 (ζ)
2
for some x < ζ < x0 .
Since δ < 1/2, we have 1 − x ≤ 2(1 − ζ), so that |(1 − x)2 f 00 (ζ)| ≤
4|(1 − ζ)2 f 00 (ζ)| ≤ 4C. Therefore
|(1 − x)f 0 (x)|
f (x0 ) − f (x) 1
= | − δ(1 − x)2 f 00 (ζ)|
δ 2
|f (x0 )| + |f (x)| 1
≤ + δ(1 − x)2 |f 00 (ζ)|
δ 2
1 1
< + =
2 2
P∞ n
Lemma 2 Let n=0 an x be a real power series with an ≥ 0 for all n.
Suppose
X∞
lim− (1 − x) an xn = 1.
x→1
n=0
Then for any integrable function g(t) on [0, 1]
∞
X Z 1
n n
lim− (1 − x) an x g(x ) = g(t) dt.
x→1 0
n=0
Proof. First prove for functions of the type xk . Then for any polynomial;
then for any continuous function; then for any integral function.
P∞
Corollary 1 Let n=0 an xn be a real power series with an ≥ 0 for all n.
Suppose
∞
X
lim− (1 − x) an xn = 1.
x→1
n=0
Then PN
n=0 an
lim = 1.
N →∞ N
20
Proof. Apply the above lemma to the function g(t) = 0 for t < e−1 , 1/t
otherwise, and let x = e−1/N .
Finishing the solution of Problem 3
We shall write f (x) ∼ g(x) to mean fg(x)
(x)
→ 1 as x → 1, and f (n) ∼ g(n)
to mean fg(n)
(n)
→ 1 as n → ∞.
(a) We may assume
P∞ that s = 0 (see Exercise 13, Chapter 2), i.e. we assume
that f (x) = n=0 an xn → 0 as x → 1. Then f 00 (x) = O(1/(1 − x)2 )
because
∞
X ∞
X
f 00 (x) = n(n − 1)an xn−2 = O( (n − 1)xn−2 ) = O(1/(1 − x)2 ).
n=2 n=2
So by Lemma 1,
0 1
f (x) = o .
1 − x)
Suppose |nan | ≤ c. Then
∞
X nan n−1 1 f 0 (x) 1
(1 − )x = − ∼
n=1
c 1−x c 1−x
nan
Since 1 − c ≥ 0, Corollary 1 implies that
n
X kak
(1 − )∼n
c
k=1
21
Pn
Write wn = k=1 kak , w0 = 0. So wn /n → 0 as n → ∞. Then
f (x) − a0
X∞
= an xn
n=1
∞
X wn − wn−1 n
= x
n=1
n
∞ ∞
X wn n X wn−1 n
= x − x
n=1
n n=1
n
∞ ∞
X wn n X wn n+1
= x − x
n=1
n n=1
n+1
∞ n
xn+1
X x
= wn −
n=1
n n+1
∞
xn − xn+1 xn
X
= wn +
n=1
n+1 n(n + 1)
∞ ∞
X xn X wn
= (1 − x) wn + xn
n=1
n + 1 n=1 n(n + 1)
Since f (x) → 0 and the first term in the last sum approaches 0 as x → 1,
we get
∞
X wn
lim xn = −a0
x→1
n=1
n(n + 1)
wn
Since n(n+1) = o(1/n), by the regular Tauberian theorem
∞
X wn
= −a0 .
n=1
n(n + 1)
Now
N
X wn
n=1
n(n + 1)
N
X 1 1
= wn −
n=1
n n+1
N
X wn − wn−1 wN
= −
n=1
n N +1
N
X wN
= an − .
n=1
N +1
P∞ P∞
Letting N → ∞ we get n=1 an = −a0 , i.e. n=0 an = 0.
22
Chapter 3
1. (Exercise 1) Show that the first two examples of inner product spaces,
namely Rd and Cd , are complete.
2. (Exercise 2) Prove that the vector space `2 (Z) is complete.
3. (Exercise 3) Construct a sequence of integrable functions {fk } on [0, 2π]
such that Z 2π
1
lim |fk (t)|2 dt = 0
k→∞ 2π 0
Note that {ak } ∈ l2 (Z), but that no Riemann integrable function has k th
Fourier coefficient equal to ak for all k.
Solution.
Let M = sup−π≤tπ |f (t)|. Recall that
Z π
1
Ar (f )(θ) = Pr (θ − t)f (t) dt.
2π −π
So Z π
1
|Ar (f )(θ)| ≤ M Pr (θ − t) dt = M
2π −π
23
Also
∞
X
Ar (f )(θ) = fˆ(n)einθ r|n| .
n=−∞
So
∞
X
Ar (f )(0) = fˆ(n)r|n| .
n=−∞
converges for every x, yet it is not the Fourier series of a Riemann inte-
grable function. P sin nx
The same is true for nα for 0 < α < 1, but the case 1/2 < α < 1 is
more difficult. See Problem 1.
Solution.
Apply Parseval’s identity.(A Riemann integrable
P function is in L2 .) Series
converges because the partial sums of sin nx is bounded; see Exercise
9. Postpone the case 1/2 < α < 1 to Problem 1.
8. (Exercise 8) Exercise 6 in Chapter 2 dealt with the sums
∞
X 1 π2 X 1 π2
= and = .
n2 8 n=1
n2 6
n odd ≥1
24
P∞
Remark. The general expression when k is even for n=1 1/nk in terms
of
P∞ π k is given in Problem 4. P However, finding a formula for the sum
3 ∞ k
n=1 1/n , or more generally n=1 1/n with k odd, is a famous unre-
solved question.
Solution. The Fourier series for f (θ) = |θ| is
π 2 X einx + e−inx
− .
2 π n2
n odd ≥1
By Parseval’s identity,
π
π2 π2
Z
4 X 2 1
+ 2 = |θ|2 dθ =
4 π n4 2π −π 3
n odd ≥1
π4 x
x= +
96 16
4
which yields x = π90 .
The Fourier series for the function f (θ) = θ(π − θ) is
By Parseval’s identity,
∞ Z π
16 X 2 1 1 4
2 6
= θ2 (1 − θ)2 dθ = π ,
π n=0 (2n + 1) 2π −π 30
25
on [0, 2π) is given by
∞
X einx
.
−∞
n+α
Solution
Straightforward checking.
10. (Exercise 10) Consider the example of a vibrating string which we analyzed
in Chapter 1. The displacement u(x, t) of the string at time t satisfies the
wave equation
1 ∂2u ∂2u 2
2 2
= , c = τ /ρ.
c ∂t ∂x2
The string is subject to the initial conditions
∂u
u(x, 0) = f (x) and (x, 0) = g(x),
∂t
where we assume that f ∈ C 1 and g is continuous. We define the total
energy of the string by
Z L 2 Z L 2
1 ∂u 1 ∂u
E(t) = ρ dx + τ dx.
2 0 ∂t 2 0 ∂x
The first term corresponds to the ”kinetic energy” of the string (in analogy
with (1/2)mv 2 , the kinetic energy of a particle of mass m and velocity v),
and the second term corresponds to its ”potential energy.”
Show that the total energy of the string is conserved, in the sense that
E(t) is constant. Therefore,
Z L Z L
1 1
E(t) = E(0) = ρ g(x)2 dx + ρ f 0 (x)2 dx.
2 0 2 0
Solution. We have
L L
∂u ∂ 2 u ∂u ∂ 2 u
Z Z
E 0 (t) = ρ dx + τ dx
0 ∂t ∂t2 0 ∂x ∂x∂t
L L
∂u ∂ 2 u ∂ 2 u ∂u
Z Z
=ρ dx − τ dx
0 ∂t ∂t2 0 ∂ 2 x ∂t
=0
∂u ∂u
where we have used integration by parts, and that ∂t (0, t) = ∂t (L, t) =0
for all t.
26
11. (Exercise 11) The inequalities of Wirtinger and Poincare establish a rela-
tionship between the norm of a function and that of its derivative.
RT
(a) If f is T -periodic, continuous, and piecewise C 1 with 0 f (t) dt = 0,
show that Z T Z T
T2
2
|f (t)| dt ≤ |f 0 (t)|2 dt,
0 4π 2 0
with equality if and only if f (t) = A sin(2πt/T ) + B cos(2πt/T ).
(b) If f is aa above and g is just C 1 and T -periodic, prove that
2
T T T
T2
Z Z Z
f (t)g(t) dt ≤ |f (t)|2 dt |g 0 (t)|2 dt.
0 4π 2 0 0
(c) For any compact interval [a, b] and any continuously differentiable func-
tion f with f (a) = f (b) = 0, show that
Z b
(b − a)2 b 0 2
Z
|f (t)|2 dt ≤ |f (t)| dt.
a π2 a
Discuss the case of equality, and prove that the constant (b−a)2 /π 2 cannot
be improved.
Solution. RT
(a) The condition 0 f (t) dt = 0 implies that fˆ(0) = 0. The continuity
of f guarantees that fˆ0 (n) = 2πin ˆ 2π
T f (n). Indeed, write τ for T . Then for
n 6= 0,
1 T
Z
fˆ(n) = f (t)e−inτ t dt
T 0
1 1 T 0
Z
1 1
= (f (0+ ) − f (T − )) + f (t)e−inτ t dt
T inτ inτ T 0
T ˆ0
= f (n)
2πin
Therefore, by Parseval’s identity,recalling that fˆ(0) = 0,
Z T X
|f (t)|2 dt = T |fˆ(n)|2
0 |n|>0
T 3 X |fˆ0 (n)|2
=
4π 2 n2
|n|>0
3
T X ˆ0
≤ |f (n)|2
4π 2
|n|>0
T 1 T 0 2
3 Z
= |f (t)| dt
4π 2 T 0
Z T
T2
= |f 0 (t)|2 dt
4π 2 0
27
From the above inequalities, we see that equality holds if and only if
fˆ(n) = 0 for all n ≥ 2. This means that, writing an for fˆ(n), f (x) =
a1 eiτ x + a−1 e−iτ x which simplifies to A sin(τ x) + B cos(τ x).
Remark. It is clear from the proof above that in the absence of the
RT
condition 0 f (t) dt = 0, the inequality in (a) is
X T2 X
|an |2 ≤ |bn |2
4π 2
|n|>0 |n|>0
28
form
∞ ∞
X 2πnx X πnx
An sin = An sin .
n=1
2(b − a) n=1
b −a
Thus the Fourier series for f is of the form
∞
X πn(x − b)
An sin .
n=1
b−a
This yields Z π
sin(N + 1/2)x π
dx → as N → ∞.
0 x 2
By change of variable, we get
Z (N +1/2)π
sin x π
dx → as N → ∞.
0 x 2
R (N +1/2)π sin x
Since Nπ x dx → 0 as N → ∞, (use Mean-Value Theorem), we
get
Z Nπ
sin x π
dx → as N → ∞.
0 x 2
By MVT,
(N +1)π
| sin x|
Z
1
dx ≤ ,
Nπ x N
so for any t > π there exists N > 0 such that
Z t
sin x 1
dx ≤ .
Nπ x N
29
It follows that
Z ∞ Z Nπ
sin x sin x π
dx = lim dx = .
0 x N →∞ 0 x 2
13. (Exercise 13) Suppose that f is periodic and of class C k . Show that
fˆ(n) = o(1/|n|k ),
15. (Add in) Prove that the Fourier series of a 2π periodic absolutely contin-
uous function whose derivative (exists a.e.) in [0, 2π] is square integrable
(in particular, Riemann integrable), is absolutely convergent. (Note that
Exercise 16 below shows that Lipschitz condition alone is enough. But
derivative of a Lipschitz function is bounded. And Lipschitz functions
are precisely functions representable as integral of a bounded measurable
function.)
Proof. Use the proof in Exercise 14. Note that the integration by parts
formula is valid for absolutely continuous functions.
30
16. (Exercise 15) Let f be a 2π-periodic and Riemann integrable on [−π, π].
(a) Show that Z π
ˆ 1 π
f (n) = − f (x + )e−inx dx
2π −π n
hence Z π
1 π −inx
fˆ(n) = [f (x) − f (x + )]e dx.
4π −π n
(b) Now assume that f satisfies a Hölder condition of order α, namely
|f (x + h) − f (x)| ≤ C|h|α
for some 0 < α ≤ 1, some C > 0, and all x, h. Use part (a) to show that
fˆ(n) = O(1/|n|α ).
(c) Prove that the above result cannot be improved by showing that the
function
∞
X k
f (x) = 2−kα ei2 x ,
k=0
where 0 < α < 1, satisfies
|f (x + h) − f (x)| ≤ C|h|α ,
|fˆ(n)|
Z π
1 π
≤ |f (x) − f (x + )| dx
4π −π n
1 πα
≤ 2πC α
4π |n|
C1
=
|n|α
31
(c).
|f (x + h) − f (x)|
∞ ∞
X k X k
= | 2−kα ei2 (x+h) − 2−kα ei2 x |
k=0 k=0
∞
X k
≤ 2−kα |ei2 h
− 1|
k=0
X X
≤ 2−kα 2k |h| + 2−kα 2
2k ≤1/|h| 2k >1/|h|
The second sum is easily seen to be less than 2|h|α . The first sum is 0 if
|h| > 1. So assume |h| ≤ 1. Let l be the unique nonnegative integer such
that 2−l−1 < |h| ≤ 2−l . Then the first sum is
l l
X
k 1−α α α
X 1
(2 |h|) |h| ≤ |h| (2k−l )1−α ≤ |h|α .
1 − 2α−1
k=0 k=0
Since the series converges uniformly, the coefficient of einx is fˆ(n) for all
n.
17. (Exercise 16) Let f be a 2π-periodic function which satisfies a Lipschitz
condition with constant K; that is
(c) Estimate 2p−1 <|n|≤2p |fˆ(n)|, and conclude that the Fourier series of
P
f converges absolutely, hence uniformly.
32
(d) In fact, modify the argument slightly to prove Bernstein’s theorem: If
f satisfies a Hölder condition of order α > 1/2, then the Fourier series of
f converges absolutely.
Solution.
(a). The Fourier coefficients of the translated function f (x+h) is einh fˆ(n).
So
gˆh (n) = (einh − e−inh )fˆ(n) = 2i sin nhfˆ(n).
The first equation in (a) follows from Parseval’s identity. Since |gh (x)| ≤
K[x + h − (x − h)] = 2K|h|, the second inequality in (a) follows.
(b). h = π/2p+1 and 2p−1 < |n| ≤ 2p imply π/4 < |n|h ≤ π/2, hence
| sin nh|2 ≥ 1/2. Thus
∞
1 X X K 2 π2
|fˆ(n)|2 ≤ | sin nh|2 |fˆ(n)|2 ≤ K 2 h2 = 2(p+1)
2 n=−∞
2
2p−1 <|n|≤2p
Therefore
X X Kπ
|fˆ(n)| ≤ √ <∞
1≤|n|<∞ 1≤p<∞
( 2)p
The first equation in (a) follows from Parseval’s identity. Since |gh (x)| ≤
K|x + h − (x − h)|α = 2α K|h|α , the second inequality in (a) becomes
∞
X
| sin nh|2 |fˆ(n)|2 ≤ 22(α−1) K 2 |h|2α .
n=−∞
33
h = π/2p+1 and 2p−1 < |n| ≤ 2p imply π/4 < |n|h ≤ π/2, hence
| sin nh|2 ≥ 1/2. Thus
∞
1 X X K 2 π 2α
|fˆ(n)|2 ≤ | sin nh|2 |fˆ(n)|2 ≤ 22(α−1) K 2 |h|2α = 2(αp+1)
2 n=−∞
2
2p−1 <|n|≤2p
Remark. The condition α > 1/2 is sharp. See Katznelson’s book, p. 32.
18. (Exercise 17) If f is a bounded monotonic function on [−π, π], then
fˆ(n) = O(1/|n|).
19. (Exercise 18) Here are a few things we have learned about the decay of
Fourier coefficients:
(a) if f is of class C k , then fˆ(n) = o(1/|n|k );
(b) if f is Lipschitz, then fˆ(n) = O(1/|n|);
(c) if f is monotonic, then fˆ(n) = O(1/|n|);
(d) if f satisfies a Hölder condition with exponent α where 0 < α < 1,
then fˆ(n) = O(1/|n|α );
P ˆ
(e) if f is merely Riemann integrable, then |f (n)|2 < ∞ and therefore
ˆ
f (n) = o(1).
Nevertheless, show that the Fourier coefficients of a continuous function
can tend to 0 arbitrarily slowly by proving that for every sequence of
nonnegative real numbers {k } converging to 0, there exists a continuous
34
function f such that |fˆ(n)| ≥ n for infinitely many values of n.
Solution.
k
P
P∞ {nk } in
Choose a subsequence such that
x
k nk < ∞, e.g., nk < 1/2 .
Then the function k=1 nk e k , is such a function, because it is abso-
lutely ( and hence uniformly) convergent.
20. (Exercise 19) Give another proof that the sum 0<|n|≤N einx /n is uni-
P
converges for every x but is not the Fourier series of a Riemann integrable
function.
(a) If the conjugate Dirichlet kernel is defined by
X 1 if n > 0
D̃N (x) = sign(n)einx where sign(n) = 0 if n = 0
−1 if n < 0,
|n|≤N
35
then show that
cos(x/2) − cos((N + 1/2)x)
D̃N (x) = i ,
sin(x/2)
and Z π
|D̃N (x)| dx ≤ c log N, for N ≥ 2
−π
(f ∗ D̃)(0) = O(log N ).
which is a contradiction.
Solution.
Let ω = eix .
D̃N (x)
Xn n
X
= ωk − ω −k
k=1 k=1
1−ω n
1 − ω −n
= ω − ω −1
1−ω 1 − ω −1
1−ω n
1 − ω −n
= ω +
1−ω 1−ω
ω + 1 − ω n+1 − ω −n
=
1−ω
ω 1/2
+ ω −1/2 − ω n+1/2 − ω −n−1/2
=
ω −1/2 − ω 1/2
cos(x/2) − cos((N + 1/2)x)
= i
sin(x/2)
Note that t/ sin t ≤ π/2 for t ∈ [−π/2, π/2], so for x ∈ [−π, π],
| sin( N2 x)|
|D̃N (x)| ≤ 4
x
36
Then
Z π
|D̃N (θ)| dθ
−π
π
| sin(N/2)θ|
Z
≤ 8 dθ
0 θ
(N/2)π
| sin θ|
Z
= 8 dθ
0 θ
N −1 Z (k+1)π/2
X | sin θ|
= 8 dθ
kπ/2 θ
k=0
N −1 Z (k+1)π/2 π/2
| sin θ|
Z
X sin θ
= 8 dθ + dθ
kπ/2 θ 0 θ
k=1
N −1 Z (k+1)π/2 Z π/2
2 X 1 sin θ
≤ 8 | sin θ| dθ + dθ
π k kπ/2 0 θ
k=1
N −1 Z π/2
16 X 1
sin θ
= + dθ
π 0 k
θ
k=1
N −1 Z π/2
16 X 1 16 sin θ
= + + dθ
π k π 0 θ
k=2
16
≤ log N + c1
π
≤ c log N
37
−1/nα for n > 0, and fˆ(0) = 0. So
Z π
1
(f ∗ D̃N )(0) = f (t)D̃N (0 − t) dt
2π −π
Z π
1
= − f (t)D̃N (t) dt
2π −π
Z π
1 X
= − f (t) sign(n)eint dt
2π −π
|n|≤N
Z π
X 1
= − sign(n) f (t)eint dt
2π −π
|n|≤N
X
= − sign(n)fˆ(n)
|n|≤N
N
X 1
= −2 α
n=1
n
38
Solution.
From Maple, for all n,
α sin(απ)
fˆ(n) = (−1)n+1 .
π(n2 − α2 )
Proof.
tγ−1
P∞
For each 0 < r < 1, the series tγ−1 k=0 (−1)k tk converges to t+1 uni-
formly on [0, r]. So
r ∞
tγ−1 rγ+k
Z X
dt = (−1)k
0 t+1 k+γ
k=0
Since
1
tγ−1
Z
dt
0 t+1
Z r γ−1
t
= lim− dt
r→1 0 t+1
∞
X rγ+k
= lim− (−1)k
r→1 k+γ
k=0
∞
X rk
= lim− (−1)k
r→1 k+γ
k=0
P∞ k 1
The series k=0 (−1) k+γ is Abel summable and hence convergent to
R 1 tγ−1
0 t+1
dt, by Littlewood’s theorem since (−1)k 1/(k+γ) = O(1/k). Q.E.D.
39
Therefore
1 1 (1−α)−1
tα−1
Z Z
t
dt + dt
0 t+1 0 t+1
∞ ∞
X (−1)k X (−1)k
= +
k+1−α k+α
k=0 k=0
∞ k−1 ∞
X (−1) 1 X (−1)k
= + +
k−α α k+α
k=1 k=1
∞
1 X (−1)k−1
= + 2α
α k 2 − α2
k=1
π
=
sin(απ)
by (c).
25. (Problem 4) In this problem, we find the formula for the sum of the series
∞
X 1
n k
n=1
where k is any even integer. These numbers are expressed in terms of the
Bernoulli numbers; the related Bernoulli polynomials are discussed in the
next problem.
Define the Bernoulli numbers Bn by the formula
∞
z X Bn n
= z .
ez − 1 n=0 n!
(c) By writing
∞
z z X Bn n
= 1 − + z ,
ez − 1 2 n=2 n!
show that Bn = 0 if n is odd and > 1. Also prove that
∞
X 22n B2n 2n
z cot z = 1 + z .
n=1
(2n)!
40
(d) The zeta function is defined by
∞
X 1
ζ(s) = s
, for all s > 1.
n=1
n
Deduce from the result in (c), and the expression for the cotangent func-
tion obtained in the previous problem, that
∞
X ζ(2m) 2m
x cot x = 1 − 2 x .
m=1
π 2m
(2π)2m
2ζ(2m) = (−1)m+1 B2m .
(2m)!
Solution.
(a) Get these numbers directly from (1 + z/2! + z 2 /3! + · · · )−1 by long
division.
(b).
z ez − 1
1=
ez − 1 z
∞
! ∞ !
X Bn X 1
n n
= z z
n=0
n! n=0
(n + 1)!
∞ n
!
X X Bk 1
= tn
n=0
k! (n − k + 1)!
k=0
i.e.
n−1
Bn Bk
X 1
= −
n! k! (n − k + 1)!
k=0
n−1
X n + 1
1
= − Bk
(n + 1)! k
k=0
41
Now,
z z
+
ez − 1 2
1 1
= z +
ez − 1 2
z
z e +1
=
2 ez − 1
z ez/2 + e−z/2
=
2 ez/2 − e−z/2
z z
= coth
2 2
is an even function, so B2n+1 = 0 for all n ≥ 1. Note that
eiz/2 + e−iz/2 2 cos z
coth(iz) = =
eiz/2 − e−iz/2 2i sin z
so cot z = i coth(iz). Therefore
∞
X B2n
z cot z = iz coth(iz) = 1+ (i2z)2n
n=1
(2n)!
∞
X 22n B2n 2n
= (−1)n z
n=0
(2n)!
x
From Problem 3 (b), we have for 0 < x < π,writing rn for nπ ,
∞
X x2
x cot x = 1 − 2
n=1
n2 π 2 − x2
∞
X rn2
= 1−2
n=1
1 − rn2
∞ X
X ∞
= 1−2 rn2m
n=1 m=1
∞ ∞
!
X X 1 x2m
= 1−2
m=1 m=1
n2m π 2m
∞
X ζ(2m) 2m
= 1−2 x
m=1
π 2m
http://www.voofie.com/content/117/an-explicit-formula-for-the-euler-zigzag-numbers
-updown-numbers-from-power-series/#Explicit_Formula_for_Euler_number
42
His formula is
2n Xk
2n X k (−1)j (k − 2j)2n
B2n = 2n 2n
,
2 −4 j=0
j 2k ik k
k=1
2n+1 k
k (−1)j (k − 2j)2n+1
XX
E2n = i .
j 2k ik k
k=1 j=0
http://en.wikipedia.org/wiki/Bernoulli_number
∞
X 4n (4n − 1)B2n 2n−1 z3 2z 5 17z 7
tanh z = z =z− + − + ··· ,
n=1
(2n)! 3 15 315
∞
X (−1)n E2n 2n
sec z = z ,
n=0
(2n)!
∞
X E2n 2n
sech z = z ,
n=0
(2n)!
where E2n are the Euler’s numbers. (The generating function for E2n is
2
sech z = ez +e −z ).
from which we get the series for tanh z. Then use tan z = −i tanh(iz) to
get tan z series. Other series that use Bernoulli numbers are:
z z sin z tan z
, , log , log(cos z), log ,··· ,
sin z sinh z z z
43
but I have not looked into this assertion.
Atkinson (American Math Monthly, vol. 93, no. 5,1986, p. 387-; this
paper in pdf form is in my computer under the name TangentSeries.pdf)
has discovered that the above series for tangent and secant can be read
off from the sides of the following triangle (only seven rows are shown):
1
0 1
1 1 0
0 1 2 2
5 5 4 2 0
0 5 10 14 16 16
61 61 56 46 32 16 0
· · · · · · · ·
The eighth row is 0, 61, 122, 178, 224, 256, 272, 272.
26. (Problem 5) Define the Bernoulli polynomials Bn (x) by the formula
∞
zexz X Bn (x) n
= z .
ez − 1 n=0 n!
(e) Calculate the Fourier series of B1 (x) to conclude that for 0 < x < 1
we have
∞
1 −1 X sin(2πkx)
B1 (x) = x − = .
2 π k
k=1
44
Integrate and conclude that
∞
n+1 2(2n)! X cos(2πkx)
B2n (x) = (−1) ,
(2π)2n k 2n
k=1
∞
2(2n + 1)! X sin(2πkx)
B2n+1 (x) = (−1)n+1 .
(2π)2n+1 k 2n+1
k=1
n! X e2πikx
Bn (x) = − .
(2πi)n kn
k6=0
zexz z
z
= z exz
e −1 e −1
∞ ∞
X Bn n X xn n
= z z
n=0
n! n=0
n!
∞ n
!
X X Bk xn−k
= zn
n=0 k=0
k! (n − k)!
∞ n
!
X 1 X n n−k
= Bk x zn
n=0
n! k
k=0
Therefore
n
X n
Bn (x) = Bk xn−k .
k
k=0
ze(x+1)z zexz
−
ez − 1 ez − 1
zexz z
= (e − 1)
ez − 1
xz
= ze
X xn
= z n+1
n=0
n!
X xn−1
= zn
n=1
(n − 1)!
45
Therefore comparing coefficients of z n , n ≥ 1 we get
Bn (x + 1) Bn (x) xn−1
− =
n! n! (n − 1)!
and hence
Bn (x + 1) − Bn (x) = nxn−1 ,
So for n ≥ 2, Bn (1) − Bn (0) = n0n−1 = 0,i.e. Bn (1) = Bn (0) = Bn .
(Note that by definition of Bn (x), we have Bn (0) = Bn .)
For m ≥ 1,
n−1
X
(m + 1) km
k=1
n−1
X
= Bm+1 (k + 1) − Bm+1 (k)
k=1
= Bm+1 (n) − Bm+1 (1)
= Bm+1 (n) − Bm+1
∂
F (x, z) = zF (x, z)
∂x
, comparing coefficient of z n on both sides, we get
Bn0 (x) Bn−1 (x)
= ,
n! (n − 1)!
From (b),
Z x+1 Z x+1
1 0 1
Bn (t) dt = Bn+1 (t) dt = (Bn+1 (x+1)−Bn+1 (x)) = xn .
x n+1 x n+1
From Maple, one gets
∞
1 −1 X sin(2πkx)
B1 (x) = x − = .
2 π k
k=1
46
B2 (x) is an antiderivative of 2B1 (x), so
∞
−2 X − cos(2πkx)
B2 (x) = +C
π 2πk 2
k=1
R1 R1
But 0
B2 (x) dx = 0 and 0
cos(2πkx) dx = 0, so C = 0, and
∞ ∞
2 X cos(2πkx) 2 · 2! X cos(2πkx)
B2 (x) = = .
2π 2 2πk 2 (2π)2 k2
k=1 k=1
Next, arguing the same manner, B3 (x) is an antiderivative of 3B2 (x), and
∞
2 · 3! X sin(2πkx)
B3 (x) = .
(2π)3 k3
k=1
And then
∞
2 · 4! X cos(2πkx)
B4 (x) = − .
(2π)4 k4
k=1
∞
2(2n + 1)! X sin(2πkx)
B2n+1 (x) = (−1)n+1 .
(2π)2n+1 k 2n+1
k=1
Writing sin, cos in terms of e powers, and noting that i2m = (−1)m , we
get the last formula
n! X e2πikx
Bn (x) = − .
(2πi)n kn
k6=0
Chapter 4
47
where 4N are the specific delayed means used in Section 3.
(a) Show that
1
σN,K = ((N + K)σN +K − N σN ),
K
and
X |j| − N ˆ
σN,K = SN + 1− f (j)eijθ .
K
N +1≤|j|≤N +K−1
f (θ+ ) + f (θ− )
σkn,n (f )(θ) → as n → ∞
2
at a jump discontinuity (refer to the preceding chapters and their exer-
cises for the appropriate definitions and results). In the case when f is
continuous on [−π, π], show that σkn,n (f ) → f uniformly as n → ∞.
(c) Using part (a), show that if fˆ(j) = O(1/|j|) and kn ≤ m < (k + 1)n,
we get
C
|σkn,n − Sm | ≤ for some constant C > 0.
k
(d) Suppose that fˆ(j) = O(1/|j|). Prove that if f is continuous at θ then
SN (f )(θ) → f (θ) as N → ∞,
f (θ+ ) + f (θ− )
SN (f )(θ) → as N → ∞.
2
on [−π, π], then SN (f ) → f uniformly.
Also, show that if f is continuousP
(e) The aboveParguments show if cn is Cesàro summable to s and cn =
O(1/n), then cn converges to s. This is a weak version of Littlewood’s
theorem (Problem 3, Chapter 2).
Solution.
48
1
(a). σN,K = K ((N + K)σN +K − N σN ) is straightforward. Write aj for
ˆ ijθ
f (j)e . We have
σN,K
1 X
= [SN + (SN + aN +1 + a−N −1 ) + · · · + (SN + aj )]
K
N +1≤|j|≤N +K−1
K−1
1 X X
= SN + aj
K
l=1 N +1≤|j|≤N +l
K−1
1 X X
= SN + aj 1
K
N +1≤|j|≤N +K−1 l=|j|−N
1 X
= SN + (K + N − |j|)aj
K
N +1≤|j|≤N +K−1
X |j| − N
= SN + 1− aj
K
N +1≤|j|≤N +K−1
P
For N ≤ M < N + K, σN,K − SM = N +1≤|j|≤N +K−1 bj aj , where bj is
|j|−N
− |j|−N
P
either 1 − K or K , hence |σN,K − SM | ≤ N +1≤|j|≤N +K−1 |aj |.
(b). We have
1
σkn,n = [(k + 1)nσ(k+1)n − knσkn ] = (k + 1)σ(k+1)n − kσkn
n
+ −
Let A be either f (θ) or f (θ )+f 2
(θ )
. Since σ(k+1)n , σkn approach the
same value A, as n → ∞, we see that σkn,n → A. Uniform convergence
statement is also clear from σkn,n = (k + 1)σ(k+1)n − kσkn . (I think I have
to elaborate this last sentence.)
(c). Suppose |fˆ(j)| = |aj | ≤ C1 /|j| for some constant C1 > 0. From the
last part of (a), for kn ≤ m < (k + 1)n,
|σkn,n − Sm |
X 1
≤ C1
|j|
kn+1≤|j|≤(k+1)n−1
n−1
≤ 2C1
kn + 1
1 C
≤ 2C1 =
k k
C
(d). Let > 0. Fix a positive integer k such that k < . Choose N such
that
|σkn,n − A| <
49
for all n ≥ N . Then for all m ≥ kN , we have kn ≤ m < (k + 1)n for some
n ≥ N , and
1 L/2
Z
1
an (L) = f (x)e−2πinx/L dx = fˆ(n/L).
L −L/2 L
P∞
Alternatively, we may write f (x) = δ n=−∞ fˆ(nδ)e2πinδx with δ = 1/L.
(b) Prove that if F is continuous and of moderate decrease, then
Z ∞ X∞
F (ξ) dξ = lim δ F (δn).
−∞ δ→0,δ>0
n=−∞
R∞
(c) Conclude that f (x) = −∞ fˆ(ξ)e2πixξ dξ.
Solution.
(a)
∞ ∞
X 1 X ˆ n 2πinx/L
an (L)e2πinx/L = f ( )e
n=−∞
L n=−∞ L
50
the result follows.
(c). Apply (b) to F (ξ) = fˆ(ξ)e2πiξx and use (a).
Remark 1. From the book’s definition, a function f defined on R is said
to be of moderate decrease if f is continuous and there exists a constant
A > 0 so that
A
|f (x)| ≤ for all x ∈ R.
1 + x2
Note that this is equivalent to saying that f is continuous and there are
positive constants B, C such that
B
|f (x)| ≤ for all |x| ≥ C.
x2
Proof. Suppose f satisfies the first condition. Since for all x 6= 0
A A 2A
= ≤ 2
1 + x2 1 + x2 /2 + x2 /2 x
B 2B 2B
= 2 ≤ for |x| ≥ D.
x2 x + x2 1 + x2
Let M = max{(1+x2 )|f (x)| : |x| ≤ D}. Then we can let A = max{2B, M }
in the first condition.
Remark 2. Let f (x) = 1, −1 ≤ x ≤ 1, zero elsewhere. Then the Fourier
transform of f is sin(2πξ
πξ , which is not integrable. Modifying f , making it
continuous, we let fn be the even extension of the following function
n−1 n−1
g(x) = 1 for 0 ≤ x ≤ , and − n(x − 1) for ≤x≤1
n n
and zero for x ≥ 1. The Fourier transform of fn , n ≥ 1, is
51
2. (Exercise 2) Let f and g be the functions defined by
1 if |x| ≤ 1, 1 − |x| if |x| ≤ 1,
f (x) = χ[−1,1] (x) = and g(x) =
0 otherwise, 0 otherwise.
for some 0 < α < 1. Prove that f satisfies a Holder condition of order α,
that is, that
52
for some A > 0. Thus (note that |e2πiξh − 1| = 2| sin(πξh)|)
Z ∞
f (x + h) − f (x) 1 A|e2πiξh − 1|
α
≤ dξ
h |h| −∞ 1 + |ξ|1+α
α
Z ∞
4A | sin(πξh)|
≤ dξ
|h|α 0 1 + ξ 1+α
4A ∞ | sin(u)|
Z
= du
π 0 |h|1+α + u1+α
Z 1 sin(u) Z ∞ !
4A | u | 1
≤ du + du
π 0 uα 1 u1+α
Z 1 Z ∞
4A 1 1
≤ α
du + du
π 0 u 1 u1+α
<∞
(b). We have
|f (h) − f (0)| 1
= →∞
|h| −|h| log |h|
as h → 0 for any fixed > 0. So by (a), fˆ is not of moderate decrease.
4. (Exercise 4) Examples of compactly supported functions in S(R) are very
handy in many applications in analysis. Some examples are:
(a) Suppose a < b, and f is the function such that f (x) = 0 if x ≤ a or
x ≥ b and
f (x) = e−1/(x−a) e−1/(b−x) if a < x < b.
Show that f is indefinitely differentiable on R.
(b) Prove that there exists an indefinitely differentiable function F on R
such that F (x) = 0 if x ≤ a, F (x) = 1 if x ≥ b, and F is strictly increasing
on [a, b].
(c) Let δ > 0 be so small that a + δ < b − δ. Show that there exists an
indefinitely differentiable function g such that g is 0 if x ≤ a or x ≥ b, g
is 1 on [a + δ, b − δ], and g is strictly monotonic on [a, a + δ] and [b − δ, b].
Solution. Note that the graph of −1/(x − a) − 1/(b − x) is symmetric
about the line x = (a + b)/2 with maximum value of −4/(b − a) at the
point x = (a + b)/2. Rx R∞
For (b) consider F (x) = c −∞ f (t) dt where c is the reciprocal of −∞ f (t) dt.
5. (Exercise 5) Suppose f is continuous and of moderate decrease.
(a) Prove that fˆ is continuous and fˆ(ξ) → 0 as |ξ| → ∞.
(b) Show that if fˆ(ξ) = 0 for all ξ, then f is identically 0.
Solution.
53
Z ∞
|fˆ(ξ + h) − fˆ(ξ)| = f (x)e−2πiξx (e−2πihx − 1) dx
−∞
Z ∞
≤ |f (x)||e−2πihx − 1| dx
−∞
Z ∞
= |f (x)|2| sin 2πhx| dx
−∞
∞
| sin 2πhx|
Z
≤ 2A dx
−∞ 1 + x2
1
R
Let > 0. Choose N > 0 such that 2A |x|>N 1+x 2 dx < /2. Since
| sin 2πhx|
1+x2 → 0 uniformly on [−N, N ] as h → 0, there exists δ > 0 such that
R N | sin 2πhx|
2A −N 1+x2 dx < /2 for |h| < δ. This proves that fˆ is continuous.
Note: Lebesgue dominated convergence theorem could be applied to yield
a simpler proof.
(b).
Z ∞ Z ∞
ˆ 1 −2πiξx −2πi(ξx+1/2)
f (ξ) = f (x)e − f (x)e dx
2 −∞ −∞
Z ∞
1 1
= (f (x) − f (x − ))e−2πiξx dx
2 −∞ 2ξ
Now the result follows from applying Lebesgue dominated convergence
theorem; without it, the proof is harder.
(b). If f, g are of moderate decrease, then the function f (x)g(y)e−2πixy is
integrable over R2 . Then it follows from Fubini’s theorem that
Z Z
f (x)ĝ(x) dx = g(x)fˆ(x) dx.
Suppose fˆ(x) = 0 for all x. For any t and any δ > 0, Kδ (t−x) as a function
of x is in S(R), so by Corollary
R 1.10 it is equal
R to the Fourier transform gˆδ
for some gδ in S(R). So f (x)gˆδ (x) dx = f (x)Kδ (t − x) dx = 0. Letting
δ → 0, we get f (t) = 0.
6. (Exercise 8) Prove that if f is continuous, of moderate decrease, and
R∞ 2
−∞
f (y)e−y e2xy dy = 0 for all x ∈ R, then f = 0.
Proof. R∞
2 2 2 R∞ 2
Let g(x) = e−x . Then (f ∗g)(x) = −∞ f (y)e−(x−y) dy = e−x −∞ f (y)e−y e2xy dy =
√ 2 2
0 for all x. This implies that f[ ∗ g(ξ) = fˆ(ξ)ĝ(ξ) = fˆ(ξ) πe−π ξ = 0 for
all ξ. So fˆ = 0. By Theorem 1.9, f = 0.
7. (Exercise 12) Show that the function defined
x
u(x, t) = Ht (x)
t
54
satisfies the heat equation for t > 0 and limt→0 u(x, t) = 0 for every x,
but u is not continuous at the origin. Proof.
Maple shows that
8. (Add in) Suppose f is an even function such that both f and fˆ are of
moderate decrease. Then fˆ is also even and the Fourier transform of fˆ(x)
is f (ξ).
Proof.R R∞
The below denotes −∞ . We have
Z Z Z
fˆ(−ξ) = f (x)e2πixξ dx = f (−x)e−2πixξ dx = f (x)e−2πixξ dx = fˆ(ξ)
so fˆ is even.
Since Z
f (x) = fˆ(t)e2πixt dt
we have
Z Z Z
fˆ(t)e−2πiξt dt = fˆ(−t)e2πiξt dt = fˆ(t)e2πiξt dt = f (ξ)
55
By the last item, the Fourier transform of h(x) = ĝ(x) is g(x) in Exercise
2. By Poisson summation formula
∞ ∞
X sin2 (π(n + α)) X
2 (n + α)2
= g(n)e2πinα = 1.
n=−∞
π n=−∞
10. P
(Exercise 19) The following is a variant of the calculation of ζ(2m) =
∞ 2m
n=1 1/n found in Problem 4, Chapter 3.
(a) Apply the Poisson summation formula to f (x) = t/(π(x2 + t2 )) and
fˆ(ξ) = e−2πt|ξ| where t > 0 in order to get
∞ ∞
1 X t X
= e−2πt|n| .
π n=−∞ t2 + n2 n=−∞
56
as well as
∞
X 2
e−2πt|n| = − 1, 0 < t < 1.
n=−∞
1 − e−2πt
where Bk are the Bernoulli numbers to deduce from the above formula,
(2π)2m
2ζ(2m) = (−1)m+1 B2m .
(2m)!
Solution.
(a) By Lemma 2.4, the Fourier transform of f (x) = t/(π(x2 +t2 )) is fˆ(ξ) =
e−2πt|ξ| . Then by Poisson summation formula with x = 0 ((x + n)2 = n2 ),
we get (a).
(b).
∞
1 X t 1 1X t
= +
π n=−∞ t2 + n2 πt π t2 + n2
n6=0
∞
1 2 X t
= + 2 + n2
πt π n=1
t
∞
1 2X t/n2
= +
πt π n=1 1 + (t/n)2
∞ ∞ 2m
1 2X t X m t
= + (−1)
πt π n=1 n2 m=0 n2m
∞ ∞
1 2XX t2m+1
= + (−1)m 2(m+1)
πt π n=1 m=0 n
∞ ∞
1 2XX t2m−1
= + (−1)m+1 2m
πt π n=1 m=1 n
∞ ∞
1 2 XX t2m−1
= + (−1)m+1 2m
πt π m=1 n=1 n
∞
1 2 X
= + (−1)m+1 ζ(2m)t2m−1
πt π m=1
57
Next,
∞
X ∞
X
e−2πt|n| = 1 + 2 e−2πtn
n=−∞ n=1
−2πt
e
=1+2
1 − e−2πt
1 + e−2πt
=
1 − e−2πt
2 − (1 − e−2πt )
=
1 − e−2πt
2
= −1
1 − e−2πt
Dividing by 2 on both sides, we get
∞
1 1 X 1 1
+ (−1)m+1 ζ(2m)t2m−1 = − .
2πt π m=1 1 − e−2πt 2
Comparing with
∞
z z X B2m 2m
= 1 − + z ,
ez − 1 2 m=1 (2m)!
we get
(2π)2m
2ζ(2m) = (−1)m+1 B2m .
(2m)!
11. (Exercise 23) The Heisenberg uncertainty principle can be formulated in
d2 2
terms of the operator L = − dx 2 + x , which acts on Schwartz functions
by the formula
d2 f
L(f ) = − 2 + x2 f.
dx
This operator, sometimes called the Hermite operator, is the quantum
analogue of the harmonic oscillator. Consider the usual inner product on
S given by
Z ∞
(f, g) = f (x)g(x) dx whenever f, g ∈ S.
−∞
58
This is usually denoted by L ≥ I.
(b) Consider the operators A and A∗ defined on S by
df df
A(f ) = + xf and A∗ (f ) = − + xf.
dx dx
The operators A and A∗ are sometimes called the annihilation and cre-
ation operators, respectively. Prove that for all f, g ∈ S we have
(i) (Af, g) = (f, A∗ g),
(ii) (Af, Af ) = (A∗ Af, f ) ≥ 0,
(iii) A∗ A = L − I.
In particular, this again shows that L ≥ I.
(c) Now for t ∈ R, let
df df
At (f ) = + txf and A∗t (f ) = − + txf.
dx dx
Use the fact that (A∗t At f, f ) ≥ 0 to give anotherR proof of the Heisenberg
∞
uncertainty principle which says that whenever −∞ |f (x)|2 = 1 then
!
Z ∞ Z ∞ 2
2 2 df 1
x |f (x)| dx ≥ .
−∞ −∞ dx 4
Solution. p
(a) By dividing f by (f, f ) if necessary, we may assume that (f, f ) = 1.
We need to prove that (Lf, f ) ≥ 1. Now
Z Z Z Z
(Lf, f ) = −(f 00 , f ) + (x2 f, f ) = (f 0 , f 0 ) + (x2 f, f ) = |f 0 |2 + x2 |f |2 = 4π 2 ξ 2 |fˆ|2 + x2 |f |2
Z Z
2 ˆ 2 1/2 1
≥ 4π( ξ |f | ) )( x2 |f |2 )1/2 ≥ 4π =1
4π
where we have used integration by parts and theorem 4.1 (Heisenberg
uncertainty principle).
(b) Direct checking. Use integration by parts. Note: AA∗ = L + I.
(c) Similar to (b), we also have (A∗t At f, f ) ≥ 0 for all t. When this is
written out, we get t2 (x2 f, f )−t(f, f )−(f 00 , f ) = t2 (x2 f, f )−t+(f 0 , f 0 ) ≥ 0
for all t. It follows that
1 − 4(f 0 , f 0 )(x2 f, f ) ≤ 0
∂2u ∂u ∂u
x2 + ax =
∂x2 ∂x ∂t
with u(x, 0) = f (x) for 0 < x < ∞ and t > 0 is a variant of the heat
equation which occurs in a number of applications. To solve it, make the
59
change of variables x = e−y so that −∞ < y < ∞. Set U (y, t) = u(e−y , t)
and F (y) = f (e−y ). Then the problem reduces to the equation
∂2U ∂U ∂U
+ (1 − a) = ,
∂y 2 ∂y ∂t
with U (y, 0) = F (y). This can be solved like the usual heat equation (the
case a = 1) by taking the Fourier transform in the y variable. One must
then compute the integral
Z ∞
2 2
e(−4π ξ +(1−a)2πiξ)t e2πiξν dξ.
−∞
60
13. (Problem 2) The Black-Scholes equation from finance theory is
∂V ∂V σ 2 s2 ∂ 2 V
+ rs + − rV = 0, 0 < t < T, (2)
∂t ∂s 2 ∂s2
subject to the ”final” boundary condition V (s, T ) = F (s). An appropri-
ate change of variables reduces this to the equation in Problem 1. Al-
ternatively, the substitution V (s, t) = eax+bτ U (x, τ ) where x = log s, τ =
σ2 1 r 1 r 2
2 (T − t), a = 2 − σ 2 , and b = − 2 + σ 2 reduces (2) to the one-
dimensional heat equation with the initial condition U (x, 0) = e−ax F (ex ).
Thus a solution to the Black-Scholes equation is
Z ∞ (log(s/s∗ )+(r−σ2 /2)(T −t))2
e−r(T −t) − ds∗
V (s, t) = p e 2σ 2 (T −t) F (s∗ ) ∗ .
2
2πσ (T − t) 0 s
∂V1 ∂V1 σ 2 s2 ∂ 2 V1
+ rs + = 0.
∂t ∂s 2 ∂s2
∂V1 ∂V1
Let t1 = −(σ 2 /2)t. Then ∂t = 2
∂t1 (−σ /2), and upon dividing by −σ 2 /2
on both sides we get
∂V1 2r ∂V1 ∂ 2 V1
= 2s + s2 .
∂t1 σ ∂s ∂s2
This is the equation in Problem 1.
∂V ∂2V
For the alternative way, compute ∂t , ∂V
∂s and ∂s2 , replacing 1/s by ex
and canceling out eax+bτ , we get
σ2 ∂U ∂U σ2 ∂U ∂ 2 U
− (bU + )+r(aU + )+ (a(a−1)U +(2a−1) + )−rU = 0.
2 ∂τ ∂x 2 ∂x ∂x2
2 2 2
Since r + σ2 (2a − 1) = 0, − σ2 b + ra + σ2 a(a − 1) − r = 0, the coefficients
σ2
of U and ∂U∂x are zero. Upon canceling out 2 , we get the heat equation
∂U ∂2U x ax
∂τ = ∂x2 . Since F (e ) = F (s) = V (s, T ) = e U (x, 0), the initial
−ax
condition for the heat equation is U (x, 0) = e F (ex ). From the formula
for solution of heat equation, we get
Z ∞
1 2
U (x, τ ) = √ e−ay F (ey )e−(x−y) /(4τ ) dy.
4πτ −∞
Making a change of variable y = log s∗ and substitute x = log s, we find
Z ∞
1 ∗ ∗ 2 ds∗
U (log s, τ ) = √ e−a log s F (s∗ )e−(log(s/s ) /(4τ ) ∗ .
4πτ 0 s
61
and
∞
ds∗
Z
1 ∗ ∗ 2
V (s, t) = √ ea log s+bτ e−a log s F (s∗ )e−(log(s/s ) /(4τ )
.
4πτ 0 s∗
One can show that there exists 0 < θ < 1 depending on a so that
k! − 1 t−a
|g (k) (t)| ≤ e 2 for t > 0.
(θt)k
(c) As a result, for each x and t the series (3) converges; u solves the heat
equation; u vanishes for t = 0; and u satisfies the estimate |u(x, t)| ≤
2a/(a−1)
Cec|x| for some constants C, c > 0.
(d) Conclude that for every > 0 there exists a nonzero solution to the
heat equation which is continuous for x ∈ R and t ≥ 0, which satisfies
2+
u(x, 0) = 0 and |u(x, t)| ≤ Cec|x| .
15. (Problem 7) The Hermite functions hk (x) are defined by the generating
identity
∞
X tk 2 2
hk (x) = e−(x /2−2tx+t ) . (4)
k!
k=0
62
2
Conclude from the above expression that each hk (x) is of the form Pk (x)e−x /2
,
where Pk is a polynomial of degree k. In particular, the Hermite functions
2 2
belong to the Schwartz space and h0 (x) = e−x /2 , h1 (x) = 2xe−x /2 .
∞
(b) Prove that the family {hk }k=0 is complete in the sense that if f is a
Schwartz function, and
Z ∞
(f, hk ) = f (x)hk (x) dx = 0 for all k ≥ 0,
−∞
then f = 0.
(c) Define h∗k (x) = hk ((2π)1/2 x). Then
for some degree k polynomial pk (x) which is odd if k is odd, and even if k
2
is even. Therefore the k partial derivative of e−(t−x) w.r.t. t, evaluated
2 2
at t = 0 is pk (−x)e−x = (−1)k pk (x)e−x . The formula then follows from
Taylor expansion.
(b) Under the hypothesis, we have by equation (4)
Z ∞ Z ∞
2 2 2 2
f (x)e−(x /2−2tx+t ) dx = e−t f (x)e−x /2+2tx dx
−∞ −∞
63
Taking Fourier transform of both sides, we get
∞ k √
c∗ (ξ) t = exp(t2 ) exp(−2 2πitξ) exp(−πξ 2 )
X
hk
k!
k=0
√
= exp(−(πξ 2 − 2(−it) 2πξ + (−it)2 ))
∞
X (−it)k
= h∗k (ξ)
k!
k=0
tk ∞
Z
[hk (x)]2 dx.
k! −∞
On the RHS, using equation (5) and integration by parts k times, we get
∞ k ∞ √
Z Z
2 d 2 2
(−1)k (−1)k e−x e2tx−t = (2t)k e−(x−t) dx = 2k tk π.
−∞ dx −∞
Therefore result.
64
Chapter 6 The Fourier Transform on Rd
1. (Exercise 1) Suppose that R is a rotation in the plane R2 , and let
a b
c d
denote its matrix with respect to the standard basis vectors e1 = (1, 0)
and e2 = (0, 1).
(a) Write the conditions Rt = R−1 and det(R) = ±1 in terms of equations
in a, b, c, d.
(b) Show that there exists φ ∈ R such that a + ib = eiφ .
(c) Conclude that if R is proper, then it can be expressed as z 7→ ze−iφ ,
and if R is improper, then it takes the form z 7→ z̄eiφ , where z̄ = x − iy.
Solution.
(a) Write D = det(R). Then D = ±1 and the conditions Rt = R−1
implies
a c d/D −b/D
= ,
b d −c/D a/D
i.e. we have D = ad − bc = ±1, a = dD, b = −cD, c = −bD, d = aD.
(b) From (a) we have D = ad − bc = a2 D − (−b2 D) = (a2 + b2 )D which
implies that a2 + b2 = 1. Thus (b) follows.
(c). Suppose D = 1. Then ze−iφ = (x + iy)(a − ib) = (ax + by) + i(−bx +
ay) = (ax + by) + i(cx + dy).
If D = −1, then z̄eiφ = (x − iy)(a + ib) = ax + by + i(bx − ay) =
ax + by + i(cx + dy). This proves (c).
2. (Exercise 2) Suppose R : R3 → R3 is a proper rotation.
(a) Show that p(t) = det(R − tI) is a polynomial of degree 3, and prove
that there exists γ ∈ S 2 (where S 2 denotes the unit sphere in R3 ) with
R(γ) = γ.
(b) If P denotes the plane perpendicular to γ and passing through the
origin, show that
R : P → P,
and that this linear map is a rotation.
Solution.
(a). p(t) is clearly a polynomial of degree 3. (The coefficient of t3 is
−1.). p(0) = det(R) > 0. Since limt→∞ p(t) = −∞, we see that there
exists λ > 0 such that p(λ) = 0. So R − λI is singular, and its kernel is
nontrivial.
Chapter 7 Finite Fourier Analysis
1. (Exercise 1.) Let f be a function on the circle. For each N ≥ 1 the discrete
Fourier coefficients of f are defined by
N −1 N −1
1 X 1 X
aN (n) = f (e2πik/N )e−2πikn/N = f (e2πik/N )en (k), for n ∈ Z.
N N
k=0 k=0
65
We also let Z 1
a(n) = f (e2πix )e−2πinx dx
0
denote the ordinary Fourier coefficients of f .
(a) Show that aN (n) = aN (n + N ).
(b) Prove that if f is continuous, then aN (n) → a(n) as N → ∞.
Proof.
(a) is easy since e−2πi = 1.
(b) Note that aN (n) is the Riemann sum of the integral a(n) with parti-
tion: k/N, k = 0, · · · , N , and choice of points: k/N, k = 0, · · · , N − 1.
2. (Exercise 2) If f is a C 1 function on the circle, prove that |aN (n)| ≤ c/|n|
whenever 0 < |n| ≤ N/2.
Proof. Let l be an integer. Then
aN (n)[1 − e2πiln/N ]
N −1 N −1
1 X 1 X
= f (e2πik/N )e−2πikn/N − f (e2πik/N )e−2πi(k−l)n/N
N N
k=0 k=0
N −1 −l−1
NX
1 X 1
= f (e2πik/N )e−2πikn/N − f (e2πi(k+l)/N )e−2πikn/N
N N
k=0 k=−l
N −1 N −1
1 X 1 X
= f (e2πik/N )e−2πikn/N − f (e2πi(k+l)/N )e−2πikn/N
N N
k=0 k=0
N −1
1 X
= [f (e2πik/N ) − f (e2πi(k+l)/N )]e−2πikn/N
N
k=0
ln 1 |n| 1
− ≤ ≤ .
N 2 2N 4
Thus
3π
|1 − e2πil/N | ≤ |2πl/N | = |2πln/N |/|n| ≤ .
2|n|
On the other hand, since
ln 1 1
− ≤
N 2 4
66
implies
π 2πln 3π
≤ ≤ ,
2 N 2
we have √
|1 − e2πiln/N | ≥ 2.
Therefore for 0 < |n| ≤ N/2,
3πM
|aN (n)| ≤ √ .
2 2|n|
67
4. (Exercise 4) Let e be a character on G = Z(N ), the additive group of
integers modulo N . Show that there exists a unique 0 ≤ ` ≤ N − 1 so that
e(k) = e` (k) = e2πi`k/N for all k ∈ Z(N ).
Conversely, every function of this type is a character on Z(N ). Deduce
that e` 7→ ` defines an isomorphism from Ĝ to G.
Proof.
Let the N roots of unit be 1, ζ, ζ 2 , cdots, ζ N −1 , where ζ = e2πi/N .
Let e be a character in Z(N ). We have 1 = e(0) = e(1+1+· · ·+1) = e(1)N ,
so e(1) = ζ l for some 0 ≤ l ≤ N − 1. Then for each n ∈ Z(N ),
e(n) = e(1 + 1 + · · · + 1) = e(1)n = ζ ln
proving that e = el . el em = el+m 7→ l + m.
5. (Exercise 5) Show that all characters on S 1 are given by
en (x) = einx with n ∈ Z,
68
(b) Prove the reconstruction formula
N
X
P (x) = P (j/N )K(x − (j/N ))
j=1
where
e2πix 1 − e2πiN x 1
K(x) = = (e2πix + e2πi2x + · · · + e2πiN x ).
N 1 − e2πix N
Observe that P is completely determined by the values P (j/N ) for 1 ≤
j ≤ N . Note also that K(0) = 1, and K(j/N ) = 0 whenever j is not
congruent to 0 modulo N .
Solution.
Considering P (x) as a 1-periodic function, we have by Parseval identity:
R1 PN
0
|P (x)|2 dx = 2
n=1 |an | . On the other hand, considering f (j) =
PN 2πinj/N
P (j/N ) = n=1 an e as a function on Z(N ), Parseval identity
PN PN PN
yields n=1 |an | = kf k2 = N1 j=1 |f (j)|2 = N1 j=1 |P (j/N )|2 .
2
∗ g)(e) = fˆ(e)ĝ(e).
Show that for all e ∈ Ĝ one has (f[
(b) Use Theorem 2.5 to show that
X
e(c) = 0 whenever c ∈ G and c 6= 1G .
e∈Ĝ
69
fˆ(e)e(a)
P
(c) As a result of (b), show that the Fourier series Sf (a) = e∈Ĝ
of a function f ∈ V take the form
Sf = f ∗ D,
where D is defined by
X |G| if c = 1G ,
D(c) = e(c) =
0 otherwise.
e∈Ĝ
and (4) says that this mass is concentrated at the unit element in G. Thus
D has the same interpretation as the ”limit” of a family of good kernels.
(See Section 4, Chapter 2.)
Note. The function D reappears in the next chapter as δ1 (n).
Solution.
Let N = |G|.
f[ ∗ g(e)
1 X
= (f ∗ g)(x)e(x)
N
x∈G
1 XX
= f (b)g(xb−1 )e(x)
N2
x∈G b∈G
1 X X
= 2
f (b) g(xb−1 )e(x)
N
b∈G x∈G
1 X X
= f (b) g(y)e(by)
N2
b∈G y∈G
1 X X
= f (b)e(b) g(y)e(y)
N2
b∈G y∈G
= fˆ(e)ĝ(e)
70
P
between 1 and n gi be a generator of Gi , then c = i (ai ∗ gi ). Since c 6= 0
not all integers ai can be zero, let us say it’s k. Now the map defined by
gi → 1 for i 6= k and gk → z, with z = e2πi/N where N = |Gk |, defines a
character that is not 1 on c (it is z akP
).]
Now back to the proof. We have e0 e∈Ĝ e = e∈Ĝ e0 e = e∈Ĝ e since
P P
X
Sf (a) = fˆ(e)e(a)
e∈Ĝ
X 1 X
= f (x)e(x)e(a)
N
e∈Ĝ x∈G
1 X X
= f (x) e(a)e(x)−1
N
x∈G e∈Ĝ
1 X X
= f (x) e(a)e(x−1 )
N
x∈G e∈Ĝ
1 X X
= f (x) e(ax−1 )
N
x∈G e∈Ĝ
= (f ∗ D)(a)
71
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY
STEIN AND SHAKARCHI
ROBERT C. RHOADES
Abstract. This contains the solutions or hints to many of the exercises from the Complex Analysis
book by Elias Stein and Rami Shakarchi.
I worked these problems during the Spring of 2006 while I was taking a Complex Analysis
course taught by Andreas Seeger at the University of Wisconsin - Madison. I am grateful to him
for his wonderful lectures and helpful conversations about some of the problems discussed below.
Contents
1. Chapter 1. Preliminaries to Complex Analysis 2
2. Chapter 2. Cauchy’s Theorem and Its Applications 8
3. Chapter 3. Meromorphic Functions and the Logarithm 9
4. Chapter 4. The Fourier Transform 10
5. Chapter 5: Entire Functions 11
6. Chapter 6. The Gamma and Zeta Functions 13
7. Chapter 7: The Zeta Function and Prime Number Theorem 17
8. Chapter 8: Conformal Mappings 20
9. Chapter 9: An Introduction to Elliptic Functions 23
10. Chapter 10: Applications of Theta Functions 25
Exercise 1. Describe geometrically the sets of points z in the complex plane defined by the
following relations:
(1) |z − z1 | = |z − z2 | where z1 , z2 ∈ C.
(2) 1/z = z.
(3) Re(z) = 3.
(4) Re(z) > c, (resp., ≥ c) where c ∈ R.
(5) Re(az + b) > 0 where a, b ∈ C.
(6) |z| = Re(z) + 1.
(7) Im(z) = c with c ∈ R.
Solution 1.
(1) It is the line in the complex plane consisting of all points that are an equal distance from
both z1 and z2 . Equivalently the perpendicular bisector of the segment between z1 and z2
in the complex plane.
(2) It is the unit circle.
(3) It is the line where all the numbers on the line have real part equal to 3.
(4) In the first case it is the open half plane with all numbers with real part greater than c. In
the second case it is the closed half plane with the same condition.
(5)
2
(6) Calculate |z|2 = x2 + y 2 = (x + 1) = x2 + 2x + 1. So we are left with y 2 = 2x + 1. Thus
the complex numbers defined by this relation is a parabola opening to the “right”.
(7) This is a line.
Exercise 2. Let h·, ·i denote the usual inner product in R2 . In other words, if Z = (z1 , y1 ) and
W = (x2 , y2 ), then
hZ, W i = x1 x2 + y1 y2 .
Similarly, we may define a Hermitian inner product (·, ·) in C by
(z, w) = zw.
The term Hermitian is used to describe the fact that (·, ·) is not symmetric, but rather satisfies the
relation
(z, w) = (w, z) for all z, w ∈ C.
Show that
1
hz, wi = [(z, w) + (w, z)] = Re(z, w),
2
where we use the usual identification z = x + iy ∈ C with (x, y) ∈ R2 .
φ
Solution 3.z n = seiφ implies that z = s n ei( n + n ) , where k = 0, 1, · · · , n − 1 and s n is the real
1 2πik 1
nth root of the positive number s. There are n solutions as there should be since we are finding the
roots of a degree n polynomial in the algebraically closed field C.
Exercise 4. Show that it is impossible to define a total ordering on C. In other words, one cannot
find a relation between complex numbers so that:
(1) For any two complex numbers z, w, one and only one of the following is true: z w, w z
or z = w.
(2) For all z1 , z2 , z3 ∈ C the relation z1 z2 implies z1 + z3 z2 + z3 .
(3) Moreover, for all z1 , z2 , z3 ∈ C with z3 0, then z1 z2 implies z1 z3 z2 z3 .
Exercise 5. A set Ω is said to be pathwise connected if any two points in Ω can be joined by
a (piecewise-smooth) curve entirely contained in Ω. The purpose of this exercise is to prove that an
open set Ω is pathwise connected if and only if Ω is connected.
(1) Suppose first that Ω is open and pathwise connected, and that it can be written as Ω =
Ω1 ∪ Ω2 where Ω1 and Ω2 are disjoint non-empty open sets. Choose two points ω1 ∈ Ω1
and ω2 ∈ Ω2 and let γ denote a curve in Ω joining ω1 to ω2 . Consider a parametrization
z : [0, 1] → Ω of this curve with z(0) = ω1 and z(1) = ω2 , and let
t∗ = sup {t : z(s) ∈ Ω1 for all 0 ≤ s < t}.
0≤t≤1
Solution 5. Following the first part, assume for a contradiction that z(t∗ ) ∈ Ω1 . Since Ω1 is open
there exists a ball B(z(t∗ ), δ) ⊂ Ω1 . Now by assumption z(t∗ + ) ∈ Ω2 . Thus |z(t∗ + ) − z(t∗ )| > δ
for all > 0. But this is a contradiction since z is smooth.
Define Ω1 and Ω2 as in the problem. First to see that Ω1 is open let z ∈ Ω1 . Then since Ω is open
and z ∈ Ω we know that there exists a ball B(z, δ ⊂ Ω. We claim that this ball is actually inside of
Ω1 . If we prove this claim then we have established that Ω1 is open. Let s ∈ B(z, δ) and consider
f : [0, 1] → C given by f (t) = st + z(1 − t). Then |f (t) − z| = t|s − z| < δ. So the image of f is
contained in B(z, δ) ⊂ Ω. By concatenating the paths from w to z and z to s we see that s ∈ Ω1 .
Finally we will prove that Ω2 is also open. Suppose that Ω2 is not open. Then for there is some
z ∈ Ω2 such that every ball around z contains a point of Ω1 . So that B(z, δ) ⊂ Ω is one such ball,
with s ∈ Ω1 ∩B(z, δ). Then as in the previous paragraph we can use the straight line path to connect
4 ROBERT C. RHOADES
z to s and the path has imagine inside B(z, δ) ⊂ Ω. Therefore, w is path connected to s which is
path connected to z. Therefore, by concatenating paths, we see that z ∈ Ω1 which contradicts the
definition of Ω2 . So Ω2 must be open.
Now Ω1 is non-empty since w ∈ Ω1 . Therefore, by connectedness, Ω2 = ∅.
Remark. This argument works in any metric space.
Exercise 6. Let Ω be an open set in C and z ∈ Ω. The connected component (or simply the
component) of Ω containing z is the set Cz of all points w in Ω that can be joined to z by a curve
entirely contained in Ω.
(1) Check first that Cz is open and connected. Then, show that w ∈ Cz defines an equivalence
relation, that is (i) z ∈ Cz , (ii) w ∈ Cz implies z ∈ Cw , and (iii) if w ∈ Cz and z ∈ Cζ , then
w ∈ Cζ .
Thus Ω is the union of all its connected components, and two components are either disjoint
or coincide.
(2) Show that Ω can have only countably many distinct connected components.
(3) Prove that if Ω is the complement of a compact set, then Ω has only one unbounded com-
ponent.
Solution 6.
(1) (i) the trivial path works. (ii) Running the path in reverse works. (iii) We have a path from
ζ to z and from z to w. Concatenating the paths gets the job done.
(2) The set of all elements of the form q + iq 0 where q, q 0 ∈ Q is countable. Each component
contains a point of the form q + iq 0 , since each Cz is open, we can be seen from the previous
exercise.
(3) If K is compact then it is closed and bounded. So it is contained in an open disc with bounded
radius and center the origin. So then the complement of that open disc is contained in Ω.
Then if Ω is not connected it must have a component contained in the large disc. But thus
it is bounded. So we see that Ω can have at most one unbounded component.
Exercise 7. The family of mappings introduced here plays an important role in complex analysis.
These mappings, sometimes called Blaschke factors, will reappear in various applications in later
chapters.
(1) Let z, w be two complex numbers such that zw 6= 1. Prove that
w−z
< 1 if |z| < 1 and |w| < 1,
1 − wz
and also that
w−z
= 1 if |z| = 1 or |w| = 1.
1 − wz
(2) Prove that for a fixed w in the unit disc D, the mapping
w−z
F : z 7→
1 − wz
satisfies the following conditions
(a) F maps the unit disc to itself (that is, F : D → D), and is holomorphic.
(b) F interchanges 0 and w, namely F (0) = w and F (w) = 0.
(c) |F (z)| = 1 if |z| = 1.
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 5
(d) F : D → D is bijective.
Solution 7. (a) Suppose that |w| < 1 and |z| = 1, then we have
w−z w−z
| |=| | = 1,
1 − wz z−w
w−z
since |f rac1z| = 1. Since |w| < 1 we see that the function f (z) := 1−wz is holomorphic in D.
Thus by the maximum modulus principle it satisfies |f (z)| < 1 in D because it is non-constant. A
straightforward calculation can also give the result.
(b) We already showed that F (D) ⊂ D. Clearly, F (0) = w and F (w) = 0. Also from (a) we had
F (∂D) ⊆ ∂D. Bijective can be shown by computing F −1 .
Exercise 8. Suppose U and V are open sets in the complex plane. Prove that if f : U → V and
g : V → C are two functions that are differentiable (in the real sense, that is, as functions of the two
real variables x and y), and h = g ◦ f , then
∂h ∂g ∂f ∂g ∂f
= +
∂z ∂z ∂z ∂z ∂z
and
∂h ∂g ∂f ∂g ∂f
= + .
∂z ∂z ∂z ∂z ∂z
This is the complex version of the chain rule.
Exercise 9. Show that in polar coordinates, the Cauchy-Riemann equations take the form
∂u 1 ∂v 1 ∂u ∂v
= and =− .
∂r r ∂θ r ∂θ ∂r
Use these equations to show that the logarithm function defined by
log(z) = log(r) + iθ where z = reiθ with − π < θ < π
is holomorphic in the region r > 0 and −π < θ < π. Here the second logarithm is the standard real
valued one.
Solution 9.
Solution 10.
Exercise 11. Use exercise 10 to prove that if f is holomorphic in the open set Ω, then the real
and imaginary parts of f are harmonic; that is, their Laplacian is zero.
6 ROBERT C. RHOADES
Solution 11.
Exercise 13. Suppose that f is holomorphic in an open set Ω. Prove that in any one of the
following cases:
(1) Re(f ) is constant
(2) Im(f ) is constant;
(3) |f | is constant;
one can conclude that f is constant.
P∞
Exercise 15. Abel’s theorem. Suppose n=1 an converges. Prove that
∞
X ∞
X
lim rn an = an .
r→1,r<1
n=1 n=1
P∞
Exercise 16. Determine the radius of convergence of the series n=1 an z n when:
(1) an = (log n)2
(2) an = n!
2
(3) an = 4nn+3n
(4) an = (n!)3 /(3n)!
(5) Find the radius of convergence of the hypergeometric series
∞
X α(α + 1) · · · (α + n − 1)β(β + 1) · · · (β + n − 1) n
F (α, β, γ; z) = 1 + z .
n=1
n!γ(γ + 1) · · · (γ + n − 1)
Here α, β ∈ C and γ 6= 0, −1, −2, · · ·
(6) Find the radius of convergence of the Bessel function of order r:
∞
z r X (−1)n z 2n
Jr = ,
2 n=0
n!(n + r)! 2
where r is a positive integer.
|an+1 |
lim = L,
n→∞ |an |
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 7
then
1
lim |an | n .
n→∞
In particular, this exercise shows that when applicable, the ratio test can be used to calculate the
radius of convergence of a power series.
Exercise 18. Let f be a power series centered at the origin. Prove that f has a power series
expansion around any point in its disc of convergence.
Solution 1.
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 11
Solution 1. We follow the proof of Jensen’s formula that is given in the book. We keep step 1
exactly the same. Following step 2, we have set g = f /ψ1 · ψN , then g is holomorphic and bounded
near each zj . So it suffices to prove the theorem for Blaschke factors and for bounded functions that
vanish nowhere. Functions that vanish nowhere are treated in Step 3. It remains to show the result
for Blaschke factors. We have
Z 2π
1
log |ψα (0)| = log |α| = log |α| + log |ψα (eiθ )|dθ,
2π 0
since |ψα (z)| = 1 for z ∈ ∂D.
Solution 2. (a) Noting that |z n | = O(ez ) for all > 0 we see that the order of growth of p is 0.
z
(b) Clearly the order of growth is n. (c) The order of growth is ee is infinite. Since |z|k = O(ez )
|z| k
we know that there is no k and constants A and B, such that ee ≤ AeBz .
Solution 3.
Solution 4. For (a) see the hint. For (b): let r = min 1, t and R = max 1, t. So there are eight
(m, n) such that r ≤ |nit + m| ≤ R, namely (0, ±1), (±1, 0), (±1, ±1). There are 16 (m, n) such that
2r ≤ |nit + m| ≤ 2R. In general there are 8k tuples with kr ≤ |nit + m| ≤ kR. Thus with
X 1
S(k) := ,
|int + m|α
(m,n) with max(m,n)≤k
we have
k k
8 X 1 8 X 1
≤ S(k) ≤ .
Rα j=1 j α−1 rα−1 j=1 j α−1
Solution 5.To show entire let CR (z0 ) be a circle of radius R centered at z0 . Then we have
Z Z 2π Z ∞
α iθ
Fα (z)dz = e−|t| +2πiz0 t+e 2πit dtieiθ dθ
C1 (z0 ) 0 −∞
Z ∞ Z 2π
α iθ
= e−|t| +2πiz0 t
e2πie t
ieiθ dθdt
−∞ 0
= 0.
We can switch the order of Rintegration by Fubini’s theorem since the integrand is L1 . The final
equality is established since C(z0 ) e2πizt dz = 0. This shows that the function is holormophic in any
disc by Morera’s theorem. Thus it is entire.
Solution 7.
Solution 8.
12 ROBERT C. RHOADES
Solution 9.
Solution 10.(a) ez − 1 is order 1 and has zeros precisely when z = 2πin for n ∈ Z. Thus we have
Y z2
Y z z/2πin
ez − 1 = eAz+B z 1− e = eAz+B z 1+ 2 2 .
2πin 4π n
n6=0 n≥1
Multiplying this equation by e−z/2 we are left with two expressions both of which must be odd.
Thus we see that we must have A = 1/2. Also considering limz→0 (ez − 1)/z = 1 we see that we
must have B = 0.
(b) cos(πz) is also order 1 and has zeros at 2n+1
2 for all n ∈ Z. Thus we are left with
4z 2
Y
Y 2z
cos(πz) = eAz+B 1− e2z/(2n+1) = eAz+B 1− .
(2n + 1) (2n + 1)2
n∈Z n≥1
Since cosine is even we see that A = 0. Also letting z = 0 we see that we must have B = 0.
Solution 11. By Hadamard’s theorem if it omits a and b, then we have f (z) − a = ep(z) and
f (z) − b = eq(z) for polynomials p and q. Then ep(z) − eq(z) = C for some constant C. Letting z
tend to infinity we see that the leading terms of the polynomials p and q must be the same. Say it
is an z n . Then, considering the limit as z tends to infinity of
n n n
ep(z)−an z − eq(z)−an z = Ce−an z ,
we see that the next leading terms are also equal. Proceeding by induction shows that p = q, but
then this is a contradiction since it would imply that b = a. But we assume they are distinct.
Solution 12. If f has finite order and never vanishes then we have f (z) = Cep(z) for some
polynomial, this follows from Hadamard’s theorem. So then f 0 (z) = Cp0 (z)ep(z) . Since we assume
that the derivatives are never 0, we see that p0 is a constant function.
Q
Solution 13. ez − z is entire of order 1. So ez − z = eAz+B n 1 − azn ez/an . If there are only
finitely many zeros then we have ez − z = eÃz+B̃ Q(z) for some polynomial Q. But then
ez − z
Q(z) = = O e(1−Ã)z .
eÃz+B̃
This is only possible if Q is a constant and 1 − Ã = 0. In that case we have z = Cez for some
constant C = 1 − eB̃ , but this is clearly not possible.
Solution 14. Let k < ρ < k + 1, and say we have only finitely many zeros, then as in the previous
problem, F (z) = ep(z) Q(z) for some polynomial p of degree at most k and Q a polynomial. Now
F has order of growth less than or equal to k, since Q has order of growth 0. This contradicts the
assumption that F has order of growth ρ.
Solution 15. Every meromorphic function, f , is holomorphic with poles at some sequence p1 , p2 , . . ..
Then there is an entire function with zeros precisely at the pj with desired multiplicity. Call this
function g. Then f g has no poles and is holomorphic except possibly at the pj , but since there are
no poles at the pj , we see that we have an entire function, say h. Then f = g/h. For the second
part of the problem construct two entire functions and take their quotient.
Solution 16.
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 13
Solution 1. We have
N −s
1 Y s −s/n PN n + s −s/n elog N
= lim es( n=1 )s
1 Y
= eγs s 1+ e n −log N e = lim s(s+1) · · · (s+N ).
Γ(s) n N →∞
n=1
n N →∞ N!
n≥1
Solution 2. The easier part is to deduce the identity from the product expansion of sine and
the desired identity from this problem. To do so first divide by (1 + a + b), we want to make the
substation a = s − 1 and b = −s. But to do so we must substitute a = s − δ and b = −s and then
let δ tend to 1 and use the fact that Γ(x)/x → 1 as x → 0. We are then left with
1 Y n(n − 1) 1 Y 1
= .
(1 − s)s n>1 (n − s)(n − 1 − s) (s − 1)s n>1 (1 − s/n) (1 + s/(n − 1))
I am not sure how to deduce the identity of the Gamma function. It seems like an argument
similar to the one used in problem 2 should work, however I can’t get to seem the details to work
out.
Solution 5. This follows immediately from using the fact that Γ(σ + it) = Γ(σ − it).
Pn 1
Solution 6. Notice that γ + log(n) = m=1 m + o(1). Thus
2n
1 1 1 X (−1)m
1+ + ··· + − (log(n) + γ) = → log(2).
3 2n − 1 2 m=1
m
Solution 12. For (a) Follow the hint and notice that We essentially have
1 k
≥ k!/π ≥ C (k/e) ≥ Cek log k
|Γ(s)|
when s = −k −1/2, k a positive integer. So we have essentially, |Γs| 1
≥ Cec|s| log |s| for some constants
c and C.
For (b) notice that if we had such an F , then F (s)Γ(s) = eP (z) for some polynomial P of degree at
1 c|s|
most 1. But this would imply that |Γ(s)| = O e . Which we know from part (a) is a contradiction.
R1
is justified by using absolute convergence and the fact that for Re(s) > 1 the integral 0
xs−1 dx
converges.
Solution 16. Proceed as in the proof they give and follow the hint.
R∞ R1
Solution 17. First observe that 0 f (x)xs−1 dx is holomorphic for Re(s) > 1 because 0 xs−1 dx
converges for these s and for x → ∞ f decays faster than any polynomial.
Next we may apply the same argument to
(−1)k
Z
I(s) = 0∞ f (k) (x)xs+k−1 dx
Γ(s + k)
to see that I(S) is holomorphic in the region Re(s) > k − 1. This formula is justified by integration
by parts.
Finally using this formula for k = n + 1 gives
I(−n) = (−1)n+1 f (n) (0).
There seems to be a typo in the book.
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 17
will converge for Re(s) > 0. As the hint indicates we can show absolute convergence on any closed
half-plane {z : Re(z) ≥ δ > 0} thus showing that the series defines a holomorphic function on the
open half-plane {z : Re(z) > 0}.
PN PN
Solution 2. The sequences are bounded thus BN = n=1 bn and AN = n=1 an satisfy |AN | ≤ AN
and |BN | ≤ BN where A and B are the bounds for the respective sequences. Using this and an
argument as in the first exercise we see that the series define holomorphic functions for Re(s) > 1.
The produce formula is easily verified by first considering Pthe partial sums and then letting them
tend to infinity. To prove the convergence for the sequence n≥1 ncns in the range Re(s) > 1, we use
the estimate |cn | ≤ ABd(n). Now d(n) ≤ c log(n) for some constant c. With this in hand we apply
partial summation again just as in the previous exercise.
(b) The first desired identity is a direct consequence since an = bn = 1 for that identity. For
a
the second identity notice that ζ(s − a) = n≥1 nns . In this case we don’t have boundedness of
P
the sequences under consideration, but we can apply the same argument so long as we assume that
Re(s) > Re(a) + 1, since we will need this to get the convergence in our partial summation trick.
Solution 3. We actually prove (b) first. For n > 1, write n = pe11 · · · pemm . Notice that
X
µ(k) =µ(1) + µ(p1 ) + · · · µ(pm ) + µ(p1 p2 ) + · · · + µ(p1 · · · pm )
k|n
m m m m
=1 − + + · · · (−1)
1 2 m
=(1 − 1)m = 0.
P∞
Now to prove (a) we prove that ζ(s) n=1 µ(n) ns = 1. To do this we apply exercise 2, part (a)
directly and use the identity we just proved.
Solution 4.
Solution 5. (a) By the alternating series test, the sum converges for real s > 0. More generally,
the partial sums of an = (−1)n+1 are bounded, thus we may apply exercise 1 of this chapter to get
ζ̃ is holomorphic in Re(s) > 0.
(b) Use the identity
∞
X 1
ζ(s) + ζ̃(s) = 2 s ns
= 21−s ζ(s),
n=1
2
which is justified in Re(s) > 1 by absolute convergence of the series involved.
18 ROBERT C. RHOADES
(c) Since ζ̃ is holomorphic for Re(s) > 0 and ζ extends to a holomorphic function in all of C we
know they must agree on Re(s) > 0. Additionally ζ̃ does not vanish for s ∈ (0, 1) because it is an
alternating sum. If ζ(0) = 0 then by the functional equation
ζ(s)Γ(s/2)π −s/2 = ζ(1 − s)Γ((1 − s)/2)π −(1−s)/2 ,
we see that if ζ(0) = 0, then ζ(1) is finite because Γ has a simple pole at 0, but this contradicts the
fact that ζ has a simple pole at s = 1.
Solution 6. In the case 0 ≤ 0 < 1 shift the contour to c → +∞. In the case a > 1 shift the contour
to c → −∞ and use the residue theorem to pick up the desired value because of the pole. Use the
principal value in the case a = 1.
Solution 7. For real s use the definition of ξ to see that it is real. Also for s > 0 we can see it
easily from ζ̃ defined in exercise 5. For s with real part 1/2, we use the functional equation and the
facts that ζ(1/2 − it) = ζ(1/2 + it), which can be observed from ζ̃ in exercise 5, and the fact that
Γ(z) = Γ(z), which follows from the definition of Γ.
Solution 9.
Using these calculations with induction gives the results we wish to obtain.
Solution 11. (iv) implies (iii) implies (ii) all appear in the text. Assume (ii). Partial summation
gives
X
φ(x) = log(x)π(x) + π(y) (log(y + 1) − log(y)) .
y≤x
Notice that
X X π(y) X X 1 x
| π(y) (log(y + 1) − log(y)) | ≤ C ≤C 1 + C0 ≤ Cx + C 0 .
y
log(y) log x
y≤x y≤x y≤x x <y≤x
Thus we see that φ(x) ∼ x. We will show that (i) implies (iii) and that (iii) implies (iv). This
finishes the result. Assume (iii). Then
Z x Z x Z x
1
ψ1 (x) = ψ(u)du = ψ(u)du + ψ(u)du = O(x2 log x) + x2 + O(x2 ) + o(x2 ).
1 1 x 2
Assume (i) then we have pn ≤x log(p) = p≤x1/n log(p) ∼ x1/n . So we have
P P
pn
Solution 12. We have π(pn ) = n ∼ log pn . Taking the logarithm of both sides we see that log n ∼
log log pn
log pn − log log pn . Hence log n ∼ log pn , because as n → ∞, log pn → 0. Returning to our first
expression for n we have
pn pn
n∼ ∼ .
log pn log n
This gives
n log n ∼ pn ,
which is the desired result.
20 ROBERT C. RHOADES
Solution 1. Suppose that f 0 (z0 ) = 0 for some z0 ∈ U . Then write f (z) − f (z0 ) = a(z − z0 )k + G(z)
for z in a disc around z0 , a 6= 0, and k ≥ 2, with G vanishing to order at least k + 1. We wish to
prove that for some disc D around z0 f is one-to-one. We proceed as in the proof of Proposition 1.1
and pick w small so that |G(z)| < |a(z − z0 )k − w| for all z in some ball of readius . We want to
pick so small that f 0 (z) is non-zero for all z ∈ B(z0 , ) \ {z0 } and so that |G(z)| < |a(z − z0 )k − w|
for all z ∈ B(z0 , ). Then we can apply Rouche’s theorem to see that f (z) − f (z0 ) − w has two roots
and that they are distinct.
To obtain the converse direction we will wish to exploit the fact that if it is not locally bijective
then we can find two different continuous paths γ1 and γ2 from [0, 1] to C such that γ1 (0) = γ2 (0) = z0
and for each ∈ [0, 1], f (γ1 ()) = f (γ2 ()), but γ1 () 6= γ2 () for any > 0 .
Solution 4. Follow the hint. First use F given in the chapter to find a map from D → H, then
shift H down with the map z 7→ z − i and then compose with squaring. Recall that squaring will
double the argument and thus fill out the entire plane. So the map is z 7→ (F (z) − i)2 .
√
Solution 5. From the hint we know that the solutions to f (z) = w are z = −w ± w2 − 1. Let
these solutions be z+ and z− . Since there product is 1, we know that one of them lies inside of D.
Suppose z ∗ is that solution, then since w ∈ H we wish to prove that z ∗ ∈ D ∩ H. To see this notice
that
1
Im(f (z)) = −1/2(Im(z) + Im(1/z) = −1/2 r + sin(θ)
r
where z = reiθ . Therefore, if f (z) = w ∈ H, then Im(f (z)) > 0, so we see that for z ∗ ∈ D, we have
r ≤ 1, thus sin(θ) > 0, so θ ∈ (0, π). We also observe from this argument that we must have z ∗ ∈ D,
thus z ∗ ∈ D ∩ H.
1+z
Solution 10. Let T : D → H be given by T (z) = i 1−z . Then we see that F ◦ T : D → D and it is
holomorphic in D, with F (T (0)) = F (i) = 0. Thus by the Schwarz Lemma we have |F (T (z))| ≤ |z|,
for z ∈ D. Then we have
z−i
|F (z)| = |F ◦ T ◦ T −1 (z)| ≤ |T −1 (z)| = | |.
z+i
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 21
Solution 12. If f (0) = 0 and we have f (z0 ) = z0 , then we have |f (z0 )| = |z0 | so we know by the
Schwarz lemma f is a rotation, but f (z) = eiθ z and since f (z0 ) = z0 , so θ = 0.
In the upper half-plane, the map z 7→ z+1 is a conformal map and has no fixed points. Composing
with a conformal map from D → H and its inverse gives a conformal map on D to D that has no
fixed points.
Solution 13. For the first part follow the hint. Divide both sides of the result from (a) to obtain
f (z) − f (w) 1 1
| || |≤ .
z−w 1 − f (w)f (z) |1 − wz|
Letting w tend to z gives the result.
Solution 15. For the first part it is enough to consider the analogous problem on the circle. On
z−a
the circle we know that the automorphisms take the form ψa (z) := λ 1−az for a ∈ D and |λ| = 1.
So if there are three fixed points then we have three solutions to ψa (z) = z, but there are only two
roots of a quadratic so we have a contradiction.
Solution 20. (a) Following the notation of Proposition 4.1 we have A1 = 0, A2 − 1, and A3 = λ,
when λ > 1, the other cases 0 < λ < 1 and λ < 0 are handled similarly. In any case we have
β1 = β2 = β3 = β∞ = 21 . To see that we have a rectangle it is enough to notice that α1 = α2 =
α3 = α∞ = π2 .
22 ROBERT C. RHOADES
Solution 21. (a) follows immediately from Proposition 4.1. For (d) we have the following similar
calculation
Z 1
Γ(1 − β1 )Γ(1 − β2 ) Γ(α1 )Γ(α2 )
z −β1 (1 − z)−β2 dz = =
0 Γ(2 − β1 − β3 ) Γ(β3 )
sin(α3 π)Γ(α3 )
= Γ(α1 )Γ(α2 ).
π
π
Where we use Γ(β3 )Γ(1 − β3 ) = sin((1−β 3 )π)
.
A similar calculation with the change of variables u = z1 can be used to compute the integral
Z ∞
Γ(α2 )Γ(α3 )
z −β1 (1 − z)−β2 dz = (−1)β2 .
1 Γ(β1 )
Similar calculations finish the problem.
Solution 22. This result is not suprising because of the correspondence between H and D that has
R∗ = R ∪ {∞} and ∂D.
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 23
Solution 3. Let r = min(1, |τ |) and R = max(1, |τ |). Then there are 4n values of ω ∈ Λ such that
nr ≤ |ω| ≤ nR. This gives
X 1 N
X 4n 4
2
≥ 2 2
∼ 2 log N.
|ω| n=1
n R R
|ω|≤M
Where the M is chosen appropriately. So we see that the sum must diverge.
Just be more careful with this argument to get the second result.
Solution 5. If we establish convergence then since it is an infinite product it can only vanish at
a point where one of the terms vanishes, thus it has simple zeros at all the periods and does not
vanish anywhere else.
Differentiating term by term gives the desired formula for σ 0 /σ. Again differentiating term by
term shows the desired formula for ℘(z).
Solution 6. We have (℘0 )2 = 4℘3 − a℘ − b, hence differentiating both sides and dividing by ℘0 gives,
2℘00 = 12℘2 − a.
1 π2 π2
P
Solution 7. We see that 4 m odd m2 = sin(π/2)2 = 2 .Use the fact that
!
1X 1 X 1 X X 1
2
= = −
4 m m m even
m2 m
m 2
m odd
Solution 8.
X 1 X 1 X 1
E4 (it) = + sum n = 2ζ(4) + sum n
n4 n + imt n + imt
n6=0 m6=0 m6=0
so we need to analysis the remaining sum. As t → ∞ it is clear that the sum should go to 0, which
is what we need to analyze and so. I am a bit confused about the rate of convergence to zero.
SOLUTIONS/HINTS TO THE EXERCISES FROM COMPLEX ANALYSIS BY STEIN AND SHAKARCHI 25
Solution 2. Multiply the recursive relation by xn and sum from n = 2 up to infinity. This gives
F (x) − F0 − F1 x = x (F (x) − F0 ) + x2 F (x).
This proves the first part in a formal sense, to get convergence in a ball around 0 we will show that
Fn ∼ cαn for some α > 0, which is enough to get convergence in a ball around 0.
For (c) and (d) follow the partial fraction decomposition, then use the geometric series, but
absolute convergence in a small disc we can combine the two sums. Then matching up the appropriate
powers of xn gives the result.
Solution 3. Do the same things as in (2) but in more generality. In the case Pα = β n−1
we just note
u0 x 1
that we have U (x) = (1−αx) 2 + (u1 − au0 ) (1−αx)2 . Now notice that (1−x)2 = n≥1 nx to finish
off the calculations.
P∞
− xn ) = k k(3k+1)/2
Q
Solution 4. We have n≥1 (1 k=−∞ (−1) x . So we see that
∞
!
X X
n k k(3k+1)/2
p(n)x (−1) x = 1.
n≥0 k=−∞
Multiplying out and comparing powers of xn on each side gives the desired formula
X
k k(3k + 1)
(−1) p n − = 0,
2
k
for n ≥ 1.
Solution 5. Follow the hint. To prove the needed inequality notice that
1 − xm
mxm−1 < = 1 + x + · · · + xm−1 < m
1−x
for x ∈ (0, 1), since xj > xm−1 for j < m − 1 in this range and xj < 1.
π2
π2
Solution 6. Following the hint we have log(F (e−y )) ∼ 6(1−e−y ) ∼ e 6y . Therefore we have F (e−y ) ≤
π2 π2
Ce 6y , hence p(n) ≤ ce 6y +ny . Taking y = 1
n1/2
gives the upper bound.
Solution 7. Both identities are a consequence of the triple product identity for the theta function.
For the first identity take τ = 21 α and z = 41 α and x = eπiα . For the second take z = 34 α + 12 ,
τ = 52 α and x = eπiα .
Solution 8. Since they are relatively prime both are not even. If a and b are both odd then
2
a2 + b2 ≡ 2 (mod 4), but all squares are 0 or 1 modulo 4. Following the hint write 2b = c−a
2
c+a
2 .
c−a c+a
Notice that 2 and 2 must be relatively prime since the gcd must then divide b, but we assume
a, b, and c to be relatively prime. Therefore we see that c+a c−a 2
2 and 2 are both squares, say m and
2 2 2 b 2 2
n respectively. Then c = m + n , 2 = mn, and a = m − n , as desired.
For the last part notice that
(10.1) (a2 + b2 )(c2 + d2 ) = a2 c2 + a2 d2 + b2 c2 + b2 d2 = (ac + bd)2 + (ad − bc)2 .
26 ROBERT C. RHOADES
Solution 9. From the formula we know that r2 (p) = 4(2 − 0) = 8, when p ≡ 1 (mod 4). For
q ≡ 3 (mod 4) we have
a a−1
r2 (q a ) = 4((b c + 1) − (b c + 1)).
2 2
So when a is odd we see that b a2 c = b a−1
2 c and we have 0, otherwise it is non-zero.
From the displayed equation in the previous problem and the earlier parts of this problem we may
deduce that when all the primes congruent to 3 modulo 4 appear to an even power n is representable
a
as the sum of two squares. To get the other direction use the formula writing n = pa1 1 · · · pj j q1b1 · · · qkbk
where pm ≡ 1 (mod 4) and qm ≡ 3 (mod 4) are distinct primes.
Solution 10. For (a) notice that r2 (q) = 0 for all q ≡ 3 (mod 4) and r2 (5k ) = k + 1. For (b) first
notice that r4 (2k ) = 8 × (1 + 2) = 24 for all k ≥ 1.
Solution 12. For the first part use exercise 11 For (b) we note that σ1∗ (n) = σ1 (n) − 4σ1 (n/4). For
(c) notice that it is enough to show that
X qn X qn X q 4n
= − 4 .
(1 + (−1)n q n )2 (1 − q n )2 (1 − q 4n )2
n≥1 n≥1 n≥1
To do so consider the odd and even n in the left hand side separately. The odd terms match up
with the odd terms from the first sum on the right hand side. To finish notice that
q2 4q 4n q 2n
− = .
(1 − q 2n )2 (1 − q 4n )2 (1 + q 2n )2
choose δ > 0 such that |G(x) − G(z) < for z ∈ C, |x − z| < δ. Choose
z1 ∈ (x − δ, x), z2 ∈ (x, x + δ) and let δ 0 < min(x − z1 , z2 − x). Then
for |y − x| < δ 0 , if y ∈ C we automatically have |F (y) − F (x)| < . If
y∈/ C but y < x, G(x) > G(y) ≥ G(z1 ) > G(x) − ; similarly, if y ∈ /C
but y > x, G(x) < G(y) ≤ G(z2 ) < G(x) + .
Problem 3: Suppose that instead of removing the middle third of the seg-
ment at each step, we remove the middle ξ, where 0 < ξ < 1.
(a) Prove that the complement of Cξ is the union of open intervals with
total length 1.
(b) Prove directly that m∗ (Cξ ) = 0.
Solution.
n
(a) At the nth
step
n (starting at n = 0), we remove 2 segments, each of
1−ξ
length ξ 2 . The total length of these segments is
∞ n ∞
X
n 1−ξ X 1 1
2 ξ =ξ n
=ξ = 1.
n=0
2 n=0
(1 − ξ) 1 − (1 − ξ)
n
(b) If Cn is the set remaining
nafter n iterations, then Cn is a union of 2
segments of length 1−ξ 2 . So
m(Cn ) = (1 − ξ)n .
Note that m(Cn ) → 0. Since each Cn is a covering of C by almost
disjoint cubes, the infimum of the measures of such coverings is 0.
Problem 4: Construct a closed set Ĉ so that at the kth stage of the con-
struction one removes 2k−1 centrally situated open intervals each of length
`k , with
`1 + 2`2 + · · · + 2k−1 `k < 1.
P∞
(a) If `j are chosen small enough, then k=1 2k−1 `k < 1. In this case,
show that m(Ĉ) > 0, and in fact,
∞
X
m(Ĉ) = 1 − 2k−1 `k .
k=1
(b) Show that if x ∈ Ĉ, then there exists a sequence xn such that xn ∈ / Ĉ,
yet xn → x and xn ∈ In , where In is a sub-interval in the complement
of Ĉ with |In | → 0.
(c) Prove as a consequence that Ĉ is perfect, and contains no open interval.
(d) Show also that Ĉ is uncountable.
Solution.
(a) Let Ck denote the set remaining after k iterations of this process, with
C0 being the unit segment. Then
k
X
m([0, 1] \ Ck ) = 2j `j
j=1
3
1 1
rd
(m(Br )+ ). This shows that m(B1 ) ≤ rd
(m(Br ) + ). Together, these
inequalities show that m(Br ) = rd m(B1 ).
Problem 7: If δ = (δ1 , . . . , δd ) is a d-tuple of positive numbers with δi > 0,
and E ⊂ Rd , we define δE by
δE = {(δ1 x1 , . . . , δd xd ) : (x1 , . . . , xd ) ∈ E}.
Prove that δE is measurable whenever E is measurable, and
m(δE) = δ1 . . . δd m(E).
Solution. First we note that for an open set U , δU is also open. We could
see this from the fact that x → δx is an invertible linear transformation, and
therefore a homeomorphism. More directly, if p ∈ U , let Br (p) be a neigh-
borhood of p which is contained in U ; then if we define δ̄ = min(δ1 , . . . , δd ),
we will have Bδ̄r (δp) ⊂ δU .
Next, we note that for any set S, m∗ (δS) = δ1 . . . δd m∗ (S). The proof of
this is almost exactly the same as Problem 6: the dilation x 7→ δx and
its inverse map rectangular coverings of S to rectangular coverings of δS
and vice versa; but since the exterior measure of a rectangle is just its area
(Page 12, Example 4), the infimum of the volume of rectangular coverings
is the same as the infimum over cubical coverings. Hence a rectangular
covering within of the infimum for one set is mapped to a rectangular
covering within δ1 ...δ n
for the other.
As a more detailed version Pof the preceding argument, suppose {Qj } is a
cubical covering of SP with |Qj | < m∗ (S)+. Then {δQj } is a rectangular
covering of δS with |δQj | < δ1 . . . δd m∗ (S) + δ1 . . . P
δd . Now for each rec-
tangle δQj we can find a cubical covering {Q0jk } with k |Q0jk | < |δQj |+ 2j .
Then ∩j,k Q0jk is a cubical covering of δS with j,k |Q0jk | < δ1 . . . δd m∗ (S)+
P
Solution.
(a) Since linear transformations on finite-dimensional spaces are always
continuous, they map compact sets to compact sets. Hence, if E is
compact, so is L(E). Moreover, because Rd is σ-compact, any closed
set is the countable union of compact sets. So if
∞
\
E= Fn
n=1
is too, since L(Knj ) is compact. But compact sets are closed, so this
shows that L(E) is Fσ .
(b) Let x be a corner of a cube Q of side √ length `. Then every point
0
x in the cube is a distance of at most d` away from x, since this
is
√ the distance to the diagonally
√ opposite corner. Now |x − x0 | <
0 0
√d` ⇒ |L(x) − L(x )| < dM `. Now if Q is the cube of side length
2 dM√` centered at x, the points on the exterior of the cube are all at
least dM ` away from x. L(Q) ⊂ Q0 . Since a set of measure 0 has
a cubical covering with volume less than√, its image under L has a
cubical covering with volume less than 2 dM . This implies that L
maps sets of measure 0 to sets of measure 0.
Finally, let E be any measurable set. By Corollary 3.5, E = C ∩ N
where C is an Fσ set and N has measure 0. We have just shown
that L(C) is also Fσ and L(N ) also has measure 0. Hence L(E) =
L(C) ∩ L(N ) is measurable.
Problem 9: Give an example of an open set O with the following property:
the boundary of the closure of O has positive Lebesgue measure.
Solution. We will use one of the Cantor-like sets from Problem 4; let Ĉ
be such a set with m(hatC) > 0. We will construct an open set whose
closure has boundary Ĉ. Let us number the intervals involved in the Cantor
iteration as follows: If Cn is the set remaining after n iterations (with
C0 = [0, 1]), we number the 2n intervals in Cn in binary order, but with 2’s
instead of 1’s. For example, C2 = I00 ∩ I02 ∩ I20 ∩ I22 . The intervals in the
complement of Ĉ, denoted by subscripted J’s, are named according to the
intervals they bisected, by changing the last digit to a 1. For instance, in
C1 , the interval J1 is taken away to create the two intervals I0 and I2 . In
7
the next iteration, I0 is bisected by J01 to create I00 and I02 , while I2 is
bisected by J21 to create I20 and I21 , etc.
Having named the intervals, let G = J1 ∩ J001 ∩ J021 ∩ J201 ∩ J221 ∩ . . .
be the union of the intervals in Ĉ c which are removed during odd steps of
the iteration, and G0 = [0, 1] \ (G ∩ Ĉ) be the union of the other intervals,
i.e. the ones removed during even steps of the iteration. I claim that the
closure of G is G ∩ Ĉ. Clearly this is a closed set (its complement in [0, 1]
is the open set G0 ) containing G, so we need only show that every point in
Ĉ is a limit of points in G. To do this, we first note that with the intervals
numbered as above, an interval Iabc... whose subscript is k digits long has
length less than 21k . This is so because each iteration bisects all the existing
I’s. In addition, an interval Jabc... with a k-digit subscript has length less
1
than 2k−1 because it is a subinterval of an I-interval with a (k − 1)-digit
subscript. Now let x ∈ Ĉ. Then x ∈ ∩n Cn so for each n we can find an
interval I (n) containing x which has an n-digit subscript. Let J (n) be the
J-interval with an n-digit subscript, whose first n − 1 digits match those of
I (n) . Then I (n) and J (n) are consecutive intervals in Cn . Since they both
1
have length at most 2n−1 , the distance between a point in one and a point
1
in the other is at most 2n−2 . Thus, if we let yn be a sequence such that
yn ∈ J (n) , then yn → x. Now let yn0 be the subsequence taken for odd
n, so that yn0 ⊂ G. Then we have constructed a sequence of points in G
which converge to x ∈ Ĉ.
We have shown that Ḡ = G∩ Ĉ. It only remains to show that ∂(G∩ Ĉ) =
Ĉ. Clearly ∂(G ∩ Ĉ) ⊂ Ĉ since G is open and is therefore contained in the
interior of G ∩ Ĉ. Now let x ∈ Ĉ. By the same construction as above, we
can choose a sequence yn ∈ J (n) which converges to x. If we now take the
subsequence yñ over even n, then yñ ∈ G0 and yñ → x. This proves that
x ∈ ∂(G ∩ Ĉ). Hence we have shown that G is an open set whose closure
has boundary Ĉ, which has positive measure.
Problem 11: Let A be the subset of [0, 1] which consists of all numbers which
do not have the digit 4 appearing in their decimal expansion. Find m(A).
Proof. A has measure 0, for the same reason as the Cantor set. We can
construct A as an intersection of Cantor-like iterates. The first iterate
is the unit interval; the second has a subinterval of length 1/10 deleted,
with segments of lengths 3/10 and 6/10 remaining. (The deleted interval
corresponds to all numbers with a 4 in the first decimal place.) The next
has 9 subintervals of length 1/100 deleted, corresponding to numbers with
a non-4 in the first decimal place and a 4 in the second. Continuing, we get
closed sets Cn of length (9/10)n , with A = ∩Cn . Clearly A is measurable
since each Cn is; since m(Cn ) → 0, m(A) = 0.
Problem 13:
(a) Show that a closed set is Gδ and an open set Fσ .
(b) Give an example of an Fσ which is not Gδ .
(c) Give an example of a Borel set which is neither Gδ nor Fσ .
8
Proof.
(a) Let U be open. As is well known, U is the union of the open rational
balls that it contains. However, it is also the union of the closed
rational balls that it contains. To prove this, let x ∈ U and r > 0 such
that Br (x) ⊂ U . Choose a rational lattice point q with |x − q| < 3r ,
and a rational d with 3r < d < 2r . Then Bd¯(q) ⊂ Br (x) ⊂ U and
x ∈ Bd¯(q), so any x ∈ U is contained in a closed rational ball within
U . Thus, U is a union of closed rational balls, of which there are only
countably many. For a closed set F , write the complement Rd \ F as
a union of rational balls Bn ; then F = ∩Bnc is a countable intersection
of the open sets Bnc , so F is Gδ .
(b) The rational numbers are Fσ since they are countable and single points
are closed. However, the Baire category theorem implies that they
are not Gδ . (Suppose they are, and let Un be open dense sets with
Q = ∩Un . Define Vn = Un \ {rn }, where rn is the nth rational in some
enumeration. Note that the Vn are also open and dense, but their
intersection is the empty set, a contradiction.)
(c) Let A = (Q ∩ (0, 1)) ∪ ((R \ Q) ∩ [2, 3]) consist of the rationals in (0, 1)
together with the irrationals in [2, 3]. Suppose A is Fσ , say A = ∪Fn
where Fn is closed. Then
(R \ Q) ∩ [2, 3] = A ∩ [2, 3] = (∪Fn ) ∩ [2, 3] = ∪(Fn ∩ [2, 3])
is also Fσ since the intersection of the two closed sets Fn and [2, 3] is
closed. But then
Q ∩ (2, 3) = ∩(Fnc ∩ (2, 3))
is Gδ because Fnc ∩ (2, 3) is the intersection of two open sets, and
therefore open, for each n. But then if rn is an enumeration of the
rationals in (2, 3), (Fnc ∩(2, 3))\{rn } is also open, and is dense in (2, 3).
Hence ∩(Fnc ∩ (2, 3)) \ {rj } is dense in (2, 3) by the Baire Category
Theorem. But this set is empty, a contradiction. Hence A cannot be
Fσ .
Similarly, suppose A is Gδ , say A = ∩Gn where Gn is open. Then
Q ∩ (0, 1) = A ∩ (0, 1) = (∩Gn ) ∩ (0, 1) = ∩(Gn ∩ (0, 1))
is also Gδ since Gn ∩ (0, 1) is the intersection of two open sets and
therefore open. But then if {qn } is an erumeration of the rationals in
(0, 1), (Gn ∩ (0, 1)) \ {qn } is open and is dense in (0, 1), so
∩ ((Gn ∩ (0, 1)) \ {qn })
must be dense in (0, 1). But this set is empty, a contradiction. Hence
A is not Gδ .
Let
E = {x ∈ Rd : x ∈ Ek for infinitely many k} = lim sup Ek .
• Show that E is measurable.
• Prove m(E) = 0.
Solution.
• Let
∞
[
Bn = Ek
k=n
be the set of x which are in some Ek with k ≥ n. Then x is in infinitely
many Ek iff x ∈ Bn for all n, so
∞
\ ∞ [
\ ∞
E= Bn = Ek .
n=1 n=1 k=n
This is a countable intersection of a countable union of measurable
sets, and hence isPmeasurable.
• Let > 0. Since m(Ek ) converges, ∃N such that
∞
X
m(Ek ) < .
k=N
Then
∞ ∞
!
[ X
m(BN ) = m Ek ≤ m(Ek ) <
k=N k=N
since this set is precisely the set where |f (x)| = ∞. Since these sets are
nested, this implies
k
lim m x : |fn (x)| > = 0.
k→∞ n
Hence, ∃cn such that
n cn o 1
m x : |fn (x)| > < n.
n 2
Define n cn o
En = x : |fn (x)| > .
n
10
1
Then m(En ) < 2n , so
∞ [
\ ∞
m Ej = 0
m=1 j=m
Problem 21: Prove that there is a continuous function that maps a Lebesgue
measurable set to a non-measurable set.
Problem 22: Let χ[0,1] be the characteristic function of [0, 1]. Show that
there is no everywhere continuous function f on R such that
f (x) = χ[0,1] (x) almost everywhere.
Problem 28: Let E ⊂ R with m∗ (E) > 0. Let 0 < α < 1. Then there exists
an interval I ⊂ R such that m∗ (I ∩ E) ≥ αm(I).
P
Proof. For any , we can find a cubical covering {Qj } of E with |Qj | <
m∗ (E) + . Then, by expanding each cube to an open P cube of size 2j more,
we can construct an open cubical covering {Ij } with |Ij | < m∗ (E) + 2.
(We name these Ij because 1-dimensional cubes are in fact intervals.) Then
[ [ X
E⊂ Ij ⇒ E = (E ∩ Ij ) ⇒ m∗ (E) ≤ m∗ (E ∩ Ij ).
j j j
and Φ−1 (Gn ) is open for continuous Φ and open Gn . (Of course, the string
of cups and caps in this equation could just as well start with a cap.) Now
consider the set Φ(N ) from our construction above. Since Φ(N ) is a subset
of the set C2 which has measure 0, Φ(N ) is measurable by the completeness
of Lebesgue measure. However, Φ is a bijection so Φ−1 (Φ(N )) = N which
is not Borel, so Φ(N ) cannot be Borel.
Solution.
(a) Clearly this set is bounded, so we need only show that it’s closed.
Suppose c1 , c2 , . . . are a sequence of such points with cn → c. We wish
to show that osc(f, c) ≥ as well. Let r > 0. Since cn → c, there is
some cN with |cN − c| < 2r . Then since osc(f, cN ) ≥ , there must be
x, y ∈ J within 2r of cN such that |f (x) − f (y)| ≥ . But then x and
y are within r of c, so osc(f, c, r) ≥ . Since this is true for all r, we
must have osc(f, c) ≥ .
(b) Let > 0. Let
A = {c ∈ J : osc(f, c) ≥ }.
Since A is a subset of the discontinuity set of f , it has measure 0.
Hence there it can be covered by an open set U with m(U ) < . Since
every open subset of R P is a countable disjoint union of intervals, we
can write U = ∪In with |In | < . Now because A is compact, there
is a finite subcover; by re-ordering the intervals we may write
N
[
A ⊂ In .
n=1
Now on the compact set J 0 = J \ ∪In , osc(f, c) < for all c. For
each x ∈ J 0 , this means we can find rx such that osc(f, x, rx ) < .
Then J 0 is covered by the open intervals Ux = (x − rx , x + rx ). Let
δ be the Lebesgue number of this covering, so that any subinterval of
J 0 with length at most δ must be contained in one of the Ux . Now
17
consider a partition of J with mesh size less than δ. The total length of
all subintervals which intersect ∪In is at most + 2N δ since enlarging
each In by δ will cover all such intervals. On each of these subintervals,
sup f − inf f ≤ 2M where |f | ≤ M on J. Hence the contribution these
intervals make to the difference U (P, f )−L(P, f ) is at most 2M +4M δ.
The other subintervals are contained in J 0 and by construction of δ,
each is contained within some Ux , so sup f − inf f ≤ on each of them.
Hence the total contribution they make to U (P, f ) − L(P, f ) is at most
m(J). Thus, we have
U (P, f ) − L(P, f ) ≤ (2M + m(J) + 4δ).
By requiring δ to be less than some constant times , we have thus
shown that the difference between upper and lower sums can be made
smaller than a constant times . Hence f is Riemann integrable.
(c) Suppose f is Riemann integrable, and let > 0. Let n ∈ N. Then
there is a partition P of J with U (P, f ) − L(P, f ) < n . Now if the
interior of any subinterval Ik of this partition intersects A1/n at some
x, then sup f − inf f ≥ n1 on Ik because osc(f, x, r) ≥ n1 for all r, and
(x − r, x + r) ⊂ Ik for sufficiently small r. So the total length of the
subintervals whose interiors intersect A1/n is at most since otherwise
they would make a contribution of more than /n to U (P, f ) − (P, f ).
Hence we have covered A1/n by a collection of intervals of total length
less than , which implies m(A1/n ) < . Now if A is the set of points
at which f is discontinuous, then
[∞
A= A1/n .
n=1
Since An ⊂ An+1 , the continuity of measure implies that
m(A) = lim m(A1/n ) ≤ .
n→∞
Solution. I don’t like this problem for two reasons: (1) It’s not very clearly
stated what exactly I’m supposed to do. My best guess is that I’m supposed
to use the axiom of choice to prove the Hausdorff maximal principle, but
the problem never really comes out and says that. (2) What the crap. This
is supposed to be an analysis course, not a set theory course. We haven’t
defined any of the basic concepts of set theory, yet I’m supposed to come
up with a “complicated” set theory proof. Since I’ve never had a course in
set theory, I really don’t feel like guessing my way to something that might
be a proof. So, here’s the proof from the appendix to Rudin’s Real and
Functional Analysis:
For a collection of set F and a sub-collection Φ ⊂ F, call Φ a subchain of
F if Φ is totally ordered by set inclusion.
Lemma 1. Suppose F is a nonempty collection of subsets of a set X such
that the union of every subchain of F belongs to F. Suppose g is a function
which associates to each A ∈ F a set g(A) ∈ F such that A ⊂ g(A) and
g(A) \ A consists of at most one element. Then there exists an A ∈ F for
which g(A) = A.
Proof. Let A0 ∈ F. Call a subcollection F 0 ⊂ F a tower if A0 ∈ F 0 , the
union of every subchain of F 0 is in F 0 , and g(A) ∈ F 0 for every A ∈ F 0 .
Then there exists at least one tower because the collection of all A ∈ F
such that A0 ⊂ A is a tower. Let F0 be the intersection of all towers,
which is also a tower. Let Γ be the collection of all C ∈ F0 such that every
A ∈ F0 satisfies either A ⊂ C or C ⊂ A. For each C ∈ Γ, let Φ(C) be the
collection of A ∈ F0 such that A ⊂ C or g(C) ⊂ A. We will prove that Γ is
a tower. The first two properties are obvious. Now let C ∈ Γ, and suppose
A ∈ Φ(C). If A is a proper subset of C, then C cannot be a proper subset
of g(A) because then g(A) \ A would have at least two elements. Hence
g(A) ⊂ C. If A = C, then g(A) = g(C). The third possibility for A is that
g(C) ⊂ A. But since A ⊂ g(A) this implies g(C) ⊂ g(A). Thus, we have
shown that g(A) ∈ Φ(C) for any A ∈ Φ(C), so Φ(C) is a tower. By the
minimality of F0 , we must have Φ(C) = F0 for every C ∈ Γ. This means
that g(C) ∈ Γ for all C ∈ Γ, so Γ is also a tower; by minimality again,
Γ = F0 . This shows that F0 is totally ordered.
Now let A be the union of all sets in F0 . Then A ∈ F0 by the second tower
property, and g(A) ∈ F0 by the third. But A is the largest member of F0
and A ⊂ g(A), so A = g(A).
If A∗ = ∅, let g(A) = A.
By the lemma, A∗ = ∅ for at least one A ∈ F, and any such A is a maximal
element of F.
Problem 7: Consider the curve Γ = {y = f (x)} in R2 , 0 ≤ x ≤ 1. Assume
that f is twice continuously differentiable in 0 ≤ x ≤ 1. Then show that
m(Γ + Γ) > 0 if and only if Γ + Γ contains an open set, if and only if f is
not linear.
Solution. We are asked to show the equivalence of the conditions (i) m(Γ +
Γ) > 0, (ii) Γ + Γ contains an open set, and (iii) f is not linear. We will
show that (ii) implies (i), which implies (iii), which implies (ii).
First, we should note that Γ+Γ is measurable. The problem doesn’t ask for
this, but it’s worth pointing out. Consider G : [0, 1] × [0, 1] → R2 defined
by G(x, y) = (x + y, f (x) + f (y)). Then Γ + Γ is just the range of G. Since
differentiable functions map measurable sets to measurable sets, Γ + Γ is
measurable. (We haven’t proved yet that differentiable functions preserve
measurability, but I assume we will once we get further into differentiation
theory.)
The easiest of our three implications is (ii) implies (i). Suppose Γ + Γ
contains an open set. Open sets have positive measure, so Γ + Γ is a
measurable set with a subset of positive measure, so it has positive measure.
Now suppose m(Γ + Γ) > 0. We wish to show that f is not linear. Suppose
instead that f is linear, say f (x) = ax+b. Then for any x, x0 , (x+x0 , f (x)+
f (x0 )) = (x + x0 , a(x + x0 ) + 2b) so Γ + Γ is a subset of the line y = ax + 2b,
which has measure 0. Thus, if Γ + Γ has positive measure, f must not be
linear.
The third implication is the least trivial. Suppose f is not linear. Then
there are points x0 , y0 ∈ [0, 1] with f 0 (x0 ) 6= f 0 (y0 ). Then the Jacobian
1 1
DG = = f 0 (y) − f 0 (x)
f 0 (x) f 0 (y)
is nonzero at the point (x, y) ∈ [0, 1] × [0, 1], where G(x, y) = (x + y, f (x) +
f (y)) as above. WLOG we may assume (x, y) ∈ (0, 1) × (0, 1) since a
nonlinear function on [0, 1] with continuous derivative cannot have con-
stant derivative everywhere on (0, 1). Then the Inverse Function Theorem
guarantees that there is an open neighborhood of (x, y) on which G is a
diffeomorphism; since diffeomorphisms are homeomorphisms, this implies
that the image of G contains an open set.
Finally, let
n
\
Fj∗ = Gk .
k=1
For example, 2 = 000 . . . 10 in binary, so
F2∗ = F1c ∩ F2c ∩ · · · ∩ Fn−2
c
∩ Fn−1 ∩ Fnc .
Note that the Fj∗ are pairwise disjoint because if j 6= j 0 , then they differ
in some binary digit, say j` 6= j`0 . Suppose WLOG that j` = 1 and j`0 = 0.
Then Fj∗ ⊂ F` whereas Fj∗0 ⊂ F`c , so they are disjoint.
Also, [
Fk = Fj∗ .
Fj∗ ⊂Fk
To see this, note that the RHS is clearly a subset of the LHS since it is a
union of subsets. Conversely, suppose x ∈ Fk . Define x1 , . . . , xn by xi = 1 if
x ∈ Fi and 0 otherwise. Then if m has the binary digits m1 = x1 , . . . , mn =
∗ ∗ ∗
xn , x ∈ Fm by definition of Fm . Since Fm ⊂ Fk , the result follows.
This implies
[n [N
Fi ⊂ Fj∗ .
i=1 j=1
But Fj∗ ⊂
S
Fi for each j, so the reverse inclusion holds as well.
= h(x, t)
R×R
Z b Z t
= h(x, t) dx dt
0 0
Z b Z t
f (t)
= dx dt
0 0 t
Z b
f (t)
= t dt
0 t
Z b
= f (t) dt.
0
Note that the fact that this integral is finite implies that g is integrable and
not just measurable.
Exercise 5: Suppose F is a closed set in R, whose complement has finite
measure, and let δ(x) denote the distance from x to F , that is,
δ(x) = d(x, F ) = inf{|x − y| : y ∈ F }.
22
Consider
Z
δ(y)
I(x) = dy.
R |x − y|2
Solution.
(a) Let > 0. Choose z ∈ F such that |y − z| < δ(y) + . Then
Hence |δ(x) − δ(y)| < |x − y| + for any > 0. This implies |δ(x) −
δ(y)| ≤ |x − y|.
(b) Suppose x ∈ / F . Because F is closed, this implies δ(x) > 0, since
otherwise there would be a sequence of points in F converging to x.
Let λ = δ(x). By the Lipschitz condition from part (a), |x − y| < λ2 ⇒
|δ(y) − λ| < λ2 ⇒ δ(y) ≥ λ2 . Hence
Z ∞
δ(y)
I(x) = dy
−∞ |x − y|2
Z x+λ/2
δ(y)
≥ dy
x−λ/2 |x − y|2
Z x+λ/2 λ
2
≥ dy
x−λ/2 |x − y|2
Z λ/2
λ 1
= dy = ∞.
2 −λ/2 y2
Solution.
(a) Let
( 1
c 1
23n+4 d x, n, n + 22n+1 n≤x≤n+ 22n+1 , n ∈Z
f (x) =
0 else.
is uniformly continuous.
Solution. Let
∞
X
g(x) = 2k χFk (x),
k=−∞
∞
X
h(x) = 2k+1 χFk (x).
k=−∞
Then g(x) ≤ f (x) ≤ h(x) by definition of Fk . Then
Z Z ∞
X
f (x)dx < ∞ ⇒ g(x)dx = 2k m(Fk ) < ∞
k=−∞
whereas
∞
X Z Z ∞
X ∞
X
k k+1
2 m(Fk ) < ∞ ⇒ f (x)dx < h(x)dx = 2 m(Fk ) = 2 2k m(Fk ) < ∞.
k=−∞ k=−∞ k=−∞
25
Now let
∞
X
φ(x) = 2k χEk (x).
k=−∞
Pk
Then f (x) ≤ φ(x) ≤ 2f (x) because if 2k < f (x) ≤ 2k+1 , φ(x) = j=−∞ 2k =
1 + 1 + 2 + 4 + · · · + 2k = 2k+1 . Hence
Z Z ∞
X
f (x)dx < ∞ ⇔ φ(x)dx = 2k m(Ek ) < ∞.
k=−∞
This infinite sum will converge iff the constant 1 − ad is negative, i.e. iff
a < d.
For the function g given, let us redefine g(x) = 1 for |x| ≤ 1; clearly this
does not affect the integrablity of g. Now Ek is empty for k > 0, so we
need only consider negative values of k.
g(x) > 2k ⇔ |x| < 2−k/b
so Ek is a cube of volume 2d 2−kd/b . Hence g is integrable iff
0
X 0
X
2k 2d 2−kd/b = 2d 2(1−d/b)k
k=−∞ k=−∞
R
By contraposition, if E f (x)dx ≥ 0 for every measurable set E, then f (x) ≥
0 a.e. R R
RNow if E f (x)dx = 0 for every measurable E, then E f (x)dx ≥ 0 and
E
−f (x)dx ≥ 0, which means f ≥ 0 a.e. and −f ≥ 0 a.e. Hence f = 0
a.e.
Exercise 12: Show that there are f ∈ L1 (Rd ) and a sequence {fn } with
fn ∈ L1 (Rd ) such that
kf − fn k1 → 0,
but fn (x) → f (x) for no x.
Solution. To assist in constructing such a sequence, we first construct a
sequence of measurable sets En ⊂ Rd with the property that m(En ) → 0
but every x ∈ Rd is in infinitely many En . We proceed as follows: Choose
integers N1 , N2 , . . . such that
1 1
1 + + ··· + > 10
2 N1
1 1 1
+ + ··· + > 100
N1 + 1 N1 + 2 N2
1 1 1
+ + ··· + > 1000
N2 + 1 N2 + 2 N3
etc. This is possible because of the divergence of the harmonic series.
For convience, we also define N0 = 0. Next, for each k = 0, 1, 2, . . . , let
BNk +1 be the cube of volume Nk1+1 centered at the origin. Then, for a
given k, define Bj for Nk + 1 < j ≤ Nk+1 to be the cube centered at the
origin with |Bj | = |Bj−1 | + 1j . Finally, we define ENk +1 = BNk +1 , and for
Nk + 1 < j ≤ Nk+1 , Ej = Bj \ Bj−1 . I claim that the sets En have the
desired properties. First, note that m(En ) = n1 . This is obvious for Nk + 1;
for Nk +1 < j ≤ Nk+1 it is easy to see inductively that |Bj | = Nk1+1 +· · ·+ 1j
and since they are nested sets, |Bj \ Bj−1 | 1j . Thus m(En ) → 0. However,
for each k,
Nk+1
[
Ej
j=Nk +1
is a cube centered at the origin with a volume greater than 10k . For any
given x, these cubes will eventually contain x, i.e. there is some K such
that
Nk+1
[
k>K⇒x∈ Ek .
j=Nk +1
Hence every x is in infinitely many Ej as desired.
Having constructed these sets, we simply let fn (x) = χEn (x) and f (x) = 0.
L1
Then fn (x)dx = n1 so kfn − f k = |fn − f | = fn → 0, i.e. fn → f .
R R R
However, for any given x there are infinitely many n such that fn (x) = 1,
so fn (x) 6→ f (x) for any x.
Exercise 13: Give an example of two measurable sets A and B such that
A + B is not measurable.
27
any interval on the real line. Let rN be some rational number contained in
I. Then for any M > 0, f (x−rN ) > M on the interval (rN − M12 , rN + M12 ),
which intersects I in an interval IM of positive measure. Since F̄ agrees
with F almost everywhere, it must also be greater than M at almost all
points of this interval IM ⊂ I. Hence F̄ exceeds any finite value M on
I.
Exercise 17: Suppose f is defined on R2 as follows: f (x, y) = an if n ≤ x <
n + 1 and n ≤ y < n + 1, n ≥ 0; f (x, y) = −an if n ≤ xP< n + 1 and
n + 1 ≤ y < n + 2, n ≥ 0; f (x, y) = 0 elsewhere. Here an = k≤n bk , with
P∞
{bk } a positive sequence such that k=0 bk = s < ∞. R
y
(a) Verify that each
R Rslice f and fx is integrable. Also for all x, fx (y)dy =
0, and hence
R ( f (x, y)dy)dx = 0. R y
(b) However, f y (x)dx = a0 if 0 ≤ y < 1, and R y f (x)dx = an − an−1
if n ≤ y < n + 1 with n ≥ 1. Hence y 7→ f (x)dx is integrable on
(0, ∞) and
Z Z
f (x, y)dx dy = s.
R
(c) Note that R×R |f (x, y)|dxdy = ∞.
Solution.
(a) Since f is constant on boxes and 0 elsewhere, the horizontal and ver-
tical slices are constant on intervals and 0 elsewhere, and therefore
integrable. More precisely,
−abyc−1 byc − 1 ≤ x < byc
y
f (x) = abyc byc ≤ x < byc + 1
0 else
for y ≥ 1, (
y a0 0≤x<1
f (x) =
0 else
for 0 ≤ y < 1, and
abxc
bxc ≤ y < bxc + 1
fx (y) = −abxc bxc + 1 ≤ y < bxc + 2
0 else
where bxc is the greatest integer less than or equal to x. (For x < 0
the function fx (y) is identically
R 0, and for y < 0 the function f y (x)
is identically 0.) Clearly fx (y)dy = 0 for all x, since fx (y) is equal
to abxc on an interval of Rlength
R 1 and −abxc on an interval of length 1
and 0 elsewhere. Hence f (x, y)dydx = 0.
(b) Since all the integrals are of constants on intervals Rof length 1, it
immediately follows from the formulas in part (a) that f y (x)dx is a0
for 0 ≤ y < 1 and an − an−1 = bn for n ≤ y < n + 1. Then
Z Z X ∞ Z n+1 Z ∞
X
y y
f (x)dx = f (x)dx dy = bn = s.
R R n=0 n R n=0
29
X∞
= 2an = ∞
n=0
since an > a0 so the terms in the sum are bounded away from 0.
Exercise 18: Let f be a measurable finite-valued function on [0, 1], and sup-
pose that |f (x) − f (y)| is integrable on [0, 1] × [0, 1]. Show that f (x) is
integrable on [0, 1].
converges for x in a set of positive measure (or in particular for all x), then
an → 0 and bn → 0 as n → ∞.
p
Solution. We can rewrite An (x) = cn cos(nx + dn ) where cn = a2n + b2n
P dn is some phase angle (it can be − arctan(bn /an ), for example). If
and
An (x) converges on some E with m(E) > 0, then An (x) → 0 on E. By
33
m(L(E)) = | det(L)|m(E).
As a special case, note that the Lebesgue measure is invariant under rota-
tions. (For this special case see also Exercise 26 in the next chapter.)
The above identity can be proved using Fubini’s theorem as follows.
(a) Consider first the case d = 2, and L a “strictly” upper triangular
transformation x0 = x + ay, y 0 = y. Then
Hence
Z Z
m(L(E)) = χE (x − ay, y)dx dy
R×R
Z Z
= χE (x, y)dx dy
R×R
= m(E),
by the translation-invariance of the measure.
(b) Similarly m(L(E)) = m(E) if L is strictly lower triangular. In general,
one can write L = L1 ∆L2 , where Lj are strictly (upper and lower)
triangular and ∆ is diagonal. Thus m(L(E)) = | det L|m(E), if one
uses Exercise 7 in Chapter 1.
Solution.
(a) I’m not quite sure what to comment on here, since the problem state-
ment pretty much did all the work for me. I guess I should point out
that the use of Tonelli’s theorem to turn the double integral into an
iterated integral is justified because χE is nonnegative; note that this
proves that the result holds even if m(E) = ∞.
(b) The fact that lower triangular transformations work the same way is
obvious. Now supposing L = L1 ∆L2 , we have
m(L(E)) = m(L1 (∆(L2 (E)))) = m(∆(L2 (E)))
= | det(∆)|m(L2 (E)) = | det(∆)|m(E) = | det(L)|m(E)
since det(L) = det(L1 ) det(∆) det(L2 ) = det(∆) and m(∆(E)) =
| det(∆)|m(E) by Exercise 7 of Chapter 1. Thus, every linear transfor-
mation that has an LU decomposition works as we want it to. How-
ever, I think the problem is flawed because not every matrix has an
LU decomposition (in fact, not even every invertible matrix does.) In
particular, in the 2 × 2 case a matrix of the form L1 ∆L2 will look like
either
1 c d1 0 1 0 d1 + cd2 e cd2
=
0 1 0 d2 e 1 d2 e d2
or
1 0 d1 0 1 c d1 cd1
= .
e 1 0 d2 0 1 ed1 ed1 c + d2
But a matrix of the form
0 a
b 0
with a, b 6= 0 cannot be put in either form, because in the first case we
would need d2 = 0 in order to make the lower right entry 0, and then
the upper right and lower left entries could not be nonzero; similarly,
in the second case, we would need d1 = 0 which would make a, b 6= 0
impossible. Hence, there are some matrices that cannot be factored
in the way this problem indicates; for the ones that can, though, we
know that they expand measures by a factor of | det |.
35
for any η > 0. Let us call the first integral I1 and the second I2 . Then
Z Z
I1 = |Kδ (y)| |f (x − y) − f (x)|dx dy
|y|≤η Rd
Z
= |Kδ (y)|kf (x − y) − f (x)k1 dy.
|y|≤η
36
Solution.
(a) Since 0 is a point of density of E, there exists r0 > 0 such that m(E ∩
Br (0)) > 32 m(Br (0)) = 34 r for r ≤ r0 . By symmetry, m((−E) ∩
Br0 (0)) = m(E∩Br0 (0)) ≥ 34 r0 . Now E and −E both intersect Br0 (0),
which has measure 2r0 , in sets of measure at least 34 r0 . Therefore they
intersect each other in a set of measure at least 23 r0 . Since E ∩ (−E)
has positive measure, it is infinite, so it contains an infinite sequence
xn . This sequence satisfies xn ∈ E and −xn ∈ E.
(b) Since 0 is a point of density of E, there exists r0 > 0 such that
m(E ∩ Br (0)) > 23 m(Br (0)) = 43 r for r ≤ r0 . Let E0 = E ∩ Br0 (0).
Then m( 21 E0 ) = 12 m(E0 ) ≥ 23 r0 as we showed in a previous homework
about the effect of dilation on Lebesgue measure. Now 21 E0 = ( 12 E) ∩
Br0 /2 (0) has measure at least 23 r0 , and we also know m(E∩Br0 /2 (0)) ≥
2 2 r0 1
3 m(Br0 /2 ) = 3 r0 since 2 < r0 . So E and 2 E both intersect Br0 /2 ,
which has measure r0 , in sets of measure at least 23 r0 . Therefore they
intersect each other in a set of measure at least 13 r0 . Since E ∩ ( 12 E)
has positive measure, it must contain an infinite sequence xn . Then
xn ∈ E and 2xn ∈ E.
37
Solution.
(a) We have
1/2
Z Z 1/2
1 1 2
|f (x)|dx = 2 dx = 2 = .
Rd 0 x(log 1/x)2 log x1 log 2
0
1
(b) For 0 < |x| ≤ if B = (0, 2x) is the ball of radius |x| centered at x,
2,
then
Z Z 2
1 1
|f (y)|dy = |x||f (y)|dy
m(B) B 2|x| 0
Z |
1 1
≥ x| dy
2|x| 0 y(log 1/y)2
1 1
= .
2|x| log(1/|x|)
Since f ∗ (x) is the supremum of such integrals over all balls containing
x, it is at least equal to the integral over B, so f ∗ (x) ≥ 2|x| log(1/|x|)
1
.
This function is not locally integrable, because if we integrate it in any
neighborhood around 0 we get
δ
Z δ
1 1
dx = − log log = ∞.
−δ 2|x| log(1/x) x
0
Exercise 6: In one dimension there is a version of the basic inequality (1) for
the maximal function in the form of an identity. We defined the “one-sided”
maximal function
1 x+h
Z
∗
f+ (x) = sup |f (y)|dx.
h>0 h x
∗
If Eα+ = {x ∈ R : f+ (x) > α}, then
Z
1
m(Eα+ ) = |f (y)|dy.
α Eα+
38
Then
Z ∞ Z
X bj ∞
X
|f (y)|dy = |f (y)|dy = α (bj − aj ) = αm(Eα+ )
+
Eα j=1 aj j=1
as desired.
Exercise 18: Verify the agreement between the two definitions given for the
Cantor-Lebesgue function in Exercise 2, Chapter 1 and Section 3.1 of this
chapter.
Solution. This is such a lame problem. It’s so clear that they’re the same.
Probably the easiest way to see that is to think of the Cantor-Lebesgue
function as the following process:
• Given x, let y be the greatest member of the Cantor set such that
y ≤ x. (We know such a y exists because the Cantor set is closed.)
• Write the ternary expansion of y.
• Change all the 2’s to 1’s and re-interpret as a binary expansion. The
value obtained is F (x).
It’s pretty clear that both the definitions of the Cantor-Lebesgue function
given in the text do exactly this.
Solution.
(a) Suppose E ⊂ R hasPmeasure zero. Let P> 0. By absolute continuity,
∃δ > 0 such that |bj − aj | < δ ⇒ |f (bj ) − f (aj )| < . Since
m(E) = 0, there is an open set U ⊃ E with m(U ) < δ. Every open
subset of R is a countable disjoint union of open intervals, so
∞
[ ∞
X
U= (aj , bj ) with (bj − aj ) < δ.
j=1 j=1
Hence f (E) is a subset of a set of measure less that . This is true for
all , so f (E) has measure zero.
(b) Let E ⊂ R be measurable. Then E = F ∪ N where F is Fσ and
N has measure zero. Since closed subsets of R are σ-compact, F is
σ-compact. But then f (F ) is also σ-compact since f is continuous.
Then f (E) = f (F ) ∪ f (N ) is a union of an Fσ set and a set of measure
zero. Hence f (E) is measurable.
41
Exercise 20: This exercise deals with functions F that are absolutely con-
tinuous on [a, b] and are increasing. Let A = F (a) and B = F (b).
(a) There exists such an F that is in addition strictly increasing, but such
that F 0 (x) = 0 on a set of positive measure.
(b) The F in (a) can be chosen so that there is a measurable subset E ⊂
[A, B], m(E) = 0, so that F −1 (E) is not measurable.
(c) Prove, however, that for any increasing absolutely continuous F , and
E a measurable subset of [A, B], the set F −1 (E) ∩ {F 0 (x) > 0} is
measurable.
Solution.
(a) Let Z x
F (x) = δC (x)dx
a
where C ⊂ [a, b] is a Cantor set of positive measure and δC (x) is
the distance from x to C. Note that δC (x) ≥ 0 with equality iff
x ∈ C. Since δC is continuous, this integral is well-defined, even in the
Riemann sense. Moreover, F is absolutely continuous by the absolute
continuity of integration of L1 functions. As shown in problem 9, F 0 (x)
exists and equals zero a.e. in C, hence on a set of positive measure.
However, F is strictly increasing: Suppose a ≤ x < y ≤ b. Since C
contains no interval, some point, and therefore some interval, between
x and y belongs to C C . The integral of δC over this interval will be
positive, so F (y) > F (x).
(b) The same function from part (a) does the trick. Since F is increasing,
it maps disjoint open intervals to disjoint open intervals. Let U =
[a, b] \ C. Since U is open, we can write
∞
[
U= (aj , bj )
j=1
and
∞
X
m(F (U )) = F ((bj ) − F (aj )).
j=1
But
Z b Z ∞
X
B − A = F (b) − F (a) = δ(x)dx = δ(x)dx = (F (bj ) − F (aj ))
a U j=1
R
since δ = 0 on C so C δ(x)dx = 0. Thus m(F (U )) = m(F ([a, b])), so
that m(F (C)) = 0. This implies that m(F (S)) = 0 for any subset S ⊂
C. But since C has positive measure, it has a non-measurable subset.
Then if E = F (S), m(E) = 0 so E is measurable, but F −1 (E) = S is
not measurable.
(c)
42
Exercise 22: Suppose that F and G are absolutely continuous on [a, b]. Show
that their product F G is also absolutely continuous. This has the following
consequences.
(a) Whenever F and G are absolutely continuous in [a, b],
Z b Z b
0
F (x)G(x)dx = − F (x)G0 (x)dx + [F (x)G(x)]ba .
a a
Proof. Since F and G are absolutely continuous, they are continuous and
therefore bounded on the compact interval [a, b]. Suppose |F |,P |G| ≤ M on
this interval. Now given > 0, we can choose δ > 0 such that |bj − aj | <
P P
δ ⇒ |F (bj ) − F (aj ) < M and |G(bj ) − G(aj )| < 2M . Then
X
|F (bj )G(bj ) − F (aj )G(aj )|
X1
= |(F (bj − F (aj ))(G(bj ) + G(aj )) + (F (bj ) + F (aj ))(G(bj ) − G(aj ))|
2
1 X X
≤ |F (bj ) − F (aj )||G(bj ) + G(aj )| + |F (bj ) + F (aj )||G(bj ) − G(aj )|
2
1 X X
≤ (2M )|F (bj ) − F (aj )| + (2M )|G(bj ) − G(aj )|
2
1
≤ 2M · + 2M · = .
2 2M 2M
This proves that F G is absolutely continuous on [a, b]. We now turn to the
consequences of this:
(a) Since F G is absolutely continuous, it’s differentiable almost every-
where. By elementary calculus, (F G)0 = F 0 G + F G0 at any point
where all three derivatives exist, which is almost everywhere. Inte-
grating both sides and subtracting F G0 yields
R
Z b Z b Z b
F 0 (x)G(x)dx = − F (x)G0 (x)dx + (F G)0 (x)dx.
a a a
(b) It would be nice if the problem would actually define this for us, but
I’m assuming that the ∼ here means “is represented by” as opposed to
any kind of statement about whether the function actually converges
43
to its Fourier series or not. Then suppose bn are the Fourier coefficients
of F 0 , so by definition
Z π
1
bn = F 0 (x)e−inx dx.
2π −π
Using part (a), we have
Z π Z π
1 −inx 1
bn = − F (x)(−ine )dx+[F (x)e−inx ]ba = in F (x)e−inx dx = inan .
2π −π 2π −π
(c) Then all bets are off. As one example, consider F (x) = x which is
clearly absolutely continuous on [−π, π]. Then
Z π π
1 xe−inx e−inx
1 −inx 2i
an = xe dx = + 2
= (−1)n
2π −π 2π −in n n
−π
Rπ
for n 6= 0, and a0 = −π xdx = 0. However, F 0 (x) = 1 which has
Fourier coefficients b0 = 1 and bn = 0 for n 6= 0.
Exercise 25: The following shows the necessity of allowing for general ex-
ceptional sets of measure zero in the differentiation Theorems 1.4, 3.4, and
3.11. Let E be any set of measure zero in Rd . Show that:
(a) There exists a non-negative integrable f in Rd , such that
Z
1
lim inf f (y)dy = ∞ for each x ∈ E.
m(B)→0 m(B) B
x∈B
Solution.
(a) Since E has measure zero, thereP exist open sets On with E ⊂ On for
∞
all n and m(On ) < 21n . Let f = n=1 χOn . Then f ∈ L1 since
Z ∞ Z ∞ ∞
X X X 1
f= χOn = m(On ) ≤ = 1.
Rd n=1 R
d
n=1 n=1
2n
Now let x ∈ E. Since On is open, there exist open balls Bn ⊂ On with
x ∈ Bn . Then for any ball B 3 x,
∞ ∞ ∞
m(Bn ∩ B)
Z Z
X X 1 X
f (y)dy = m(On ∩B) ≥ m(Bn ∩B) ⇒ f (y)dy ≥ .
B n=1 n=1
m(B) B n=1
m(B)
For any N , there exists δ > 0 such that m(B) < δ and x ∈ B implies
B ⊂ Bj for all j = 1, . . . , N . (This is true because B1 ∩ · · · ∩ Bn is
an open set containing x and hence contains an open ball around x.)
Then
∞
m(Bn ∩ B)
Z
1 X
f (y)dy ≥ ≥N
m(B) B n=1
m(B)
44
and
x+h
F (x + h) − F (x)
Z
D− F (x) = lim inf = lim inf f (y)dy
h→0
h<0
h h→0
h<0 x
The conclusion in (a) implies that both of these are infinite, since
one can consider integrals over the balls [x, x + h) and (x − h, x].
(Technically, I suppose we should work with open balls, but one can
look at e.g. (x − δ, x + h) for sufficiently small δ.)
Solution.
(a) First, note that it is sufficient to treat the case where F is a bounded
increasing function. This is so because in general we can let F =
F1 − F2 where F1 and F2 are bounded increasing functions; if they
both satisfy the given condition, with constants A1 and A2 , then
|F (x + h)R − F (x)| ≤ |F1 (x + h) − F1 (x)| + |F2 (x + h) − F2 (x)| for
all x, so |F (x + h) − F (x)| ≤ A1 + A2 .
(In case someone asks why F must be a difference of bounded in-
creasing functions, we could re-do the proof that was used on finite
intervals, using the positive and negative variations of f . This avoids
the problem of trying to extend from the bounded case and worrying
about whether such an extension is unique.)
Suppose now that F is bounded and increasing. Since F is increas-
ing, |F (x + h) − F (x)| = F (x + h) − F (x) for h > 0. (By transla-
tion
R invariance, it is sufficient
R to treat theRcase of positive h, since
|F (x − h) − F (x)| = F (x) − F (x − h) = F (x + h) − F (x).) Then
45
In particular,
Z (n+1)h
≤ h(F ((n + 2)h) − F (nh))
nh
46
Solution. It is true for any increasing function with F (0) = 0 that L(x̄) ≤
x̄ + F (x̄), because for any partition 0 = t0 < t1 < · · · < tn = x̄,
n q
X n
X
(tj − tj−1 )2 + (F (tj ) − F (tj−1 ))2 ≤ (tj −tj−1 )+(F (tj )−F (tj−1 )) = x̄+F (x̄).
j=1 j=1
We wish to show that this upper bound is in fact the least upper bound
when F is the Cantor-Lebesgue function. Consider the iterates Fn (x) of
which this function is the limit. The interval [0, 1] can be divided into
2n+1 − 1 intervals on which Fn (x) alternately increases and stays constant;
suppose we label them I1 , C1 , I2 , C2 , . . . , C2n −1 , I2n . The intervals Cj have
varying lengths, since they correspond to intervals that are deleted from the
Cantor set at varying stages of the iteration; however, the Ij all have length
1
3n since they correspond to the intervals remaining in the nth iteration of
2n
the Cantor set. Hence the sum of the lengths of the Ij is 3n , while the
n
sum of the lengths of the Cj is 1 − 23n .
Now let x̄ ∈ [0, 1], and consider the partition Pn consisting of all points less
than or equal to x̄ which are an endpoint of one of the Cj or Ij . Thus we
have 0 = t0 < t1 < · · · < tm = x̄ where Fn is increasing on [t0 , t1 ], constant
on [t1 , t2 ], increasing on [t2 , t3 ], etc. Note also that F (tj ) = Fn (tj ) since all
the tj are endpoints of the Ck intervals, which remain fixed in all successive
iterations. Then
m q
X
(tj − tj−1 )2 + (F (tj ) − F (tj−1 ))2
j=1
Xm q m q
X
= (tj − tj−1 )2 + (F (tj ) − F (tj−1 ))2 + (tj − tj−1 )2 + (F (tj ) − F (tj−1 ))2
j=1 j=1
j odd j even
Xm m
X
≥ (F (tj ) − F (tj−1 )) + (tj − tj−1 )
j=1 j=1
j odd j even
X
=F (x̄) + |Ck ∩ [0, x̄]|
k
X
=F (x̄) + x̄ − |Ik ∩ [0, x̄]|
k
X
≥F (x̄) + x̄ − |Ik |
k
n
2
=F (x̄) + x̄ − .
3
47
so f is Lipschitz.
φ(a0 − h) − φ(a0 ) φ(y) − φ(a0 − h) φ(y) − φ(x) φ(b0 + h) − φ(x) φ(b0 + h) − φ(b0 )
≤ ≤ ≤ ≤ .
h y − a0 + h y−x b0 + h − x h
The leftmost and rightmost terms above are constants, which we may
call m and M ; we thus have m|y − x| ≤ |φ(y) − φ(x)| ≤ M |y − x|,
whence φ is Lipschitz on [a0 , b0 ].
(c) Since φ is Lipschitz on any closed subinterval [x, y] ⊂ (a, b), φ is abso-
Rlutely continuous on [x, y] by Exercise 32 above; hence φ(y) − φ(x) =
y 0
x
φ (t)dt.
Now inequality (2) implies that φ(x+h)−φ(x) h is an increasing function
of h at any x ∈ (a, b). This implies that D+ = D+ and D− = D− ,
that |D+ |, |D− | < ∞, and that D+ ≥ D− . The inequality (1) tells
us that x < y ⇒ D+ φ(x) ≤ D− φ(y). This in turn implies that D+
and D− are increasing. To show that D+ = D− except at countably
many points, let {xα } be those points in (a, b) for which this is not
true, and define jα > 0 by jα = D+ (φ)(xα ) − D− (φ)(xα ). Then on
any subinterval [a0 , b0 ], if {x1 , . . . , xn } ⊂ [a0 , b0 ], we have
n+1
X
D+ (φ)(xk ) − D− (φ)(xk )
k=1
n+1
X n+1
X
≤ D+ (φ)(xk ) − D− (φ)(xk ) + D− (φ)(xk ) − D+ (φ)(xk−1 )
k=1 k=1
=D+ (φ)(b0 ) − D− (φ)(a0 ),
X
D+ (φ)(xk ) − D− (φ)(xk )
x∈[a0 ,b0 ]
is finite, because all finite sub-sums are bounded by the finite constant
D+ (φ)(b0 )−D− (φ)(a0 ). So this sum can containly only countably many
nonzero terms, which means only countably many points in [a0 , b0 ] can
have D− (φ)(x) 6= D+ (φ)(x). Since (a, b) is a countable union of closed
subintervals (e.g. ∩[a + n1 , b − n1 ]), it can contain only countably many
points for which D+ 6= D− . Everywhere else, the derivative exists.
50
Solution. The proof that `2 is complete is exactly the same as the proof
(m)
that L2 is complete, from pp. 159-160 of the textbook. Let {aj }∞ m=1 be
2
a Cauchy sequence in ` (Z). For each k ≥ 1 we can choose nk such that
m, n ≥ nk ⇒ ka(m) − a(n) k < 21k and nk < nk+1 . Then the subsequence
a(nk ) has the property that ka(nk+1 ) − a(nk ) k ≤ 21k . Define sequences a =
{aj } and b = {bj } by
∞
(n1 ) (nk+1 ) (nk )
X
aj = aj + aj − aj
k=1
and
∞
(n1 ) (nk+1 ) (nk )
X
bj = |aj |+ aj − aj
k=1
and the partial sums
K
(a,K) (n1 ) (nk+1 ) (nk )
X
Sj = aj + aj − aj
k=1
and
K
(b,K) (n1 ) (nk+1 ) (nk )
X
Sj = |aj |+ aj − aj .
k=1
51
Then
K
X 1
kS (b,K) k ≤ ka(n1 ) k +
2k
k=1
by the triangle inequality; letting K → ∞, kbk converges by the monotone
convergence theorem (for sums, but hey, sums are just integrals with dis-
crete measures), so kak converges since it converges absolutely. Of course,
this implies that bj and hence aj converges for each j; since the partial
(n )
sums are S (a,K) = a(nk+1 ) by construction, aj k+1 → aj for all j. Now
given > 0, choose N such that ka(n) − a(m) k < 2 for n, m > N , and let
nK > N such that ka(nK ) − ak < 2 . Then
m > N ⇒ ka(m) − ak ≤ ka(m) − a(nK ) k + ka(nK ) − ak < .
Hence a(m) → a.
To prove that `2 is separable, consider the subset D consisting of all rational
sequences which are 0 except at finitely many values. This is countable
because
D = {rational sequences of finite length}
∞
[
= {sequences {an } with an ∈ Q and an = 0 for |n| > N }
N =1
[∞
= Q2N +1
N =1
since the infinite sum converges. Then for each j = −N, . . . , N , we can
2
choose a rational number qj with |qj − bj |2 < 22+N +j . If we also define
Solution.
(a) Let f (x) = χ|x|≥1 |x|1d/2 and g(x) = χ|x|≤1 |x|1 d . Then Exercise 10 of
Chapter 2 shows that f and g 2 are integrable, but f 2 and g are not.
(b) Applying the Cauchy-Schwarz inequality to the inner product of f χE
and χE ,
Z Z 1/2 Z 1/2
kf k1 = kf χE k1 = |f χE | ≤ |f | χE = m(E)1/2 kf k2 .
(c) Since |f | ≤ M ,
Z Z
1/2
|f |2 ≤ M |f | ⇒ kf k22 = |f |2 ≤ M |f | = M kf k1 ⇒ kf k2 ≤ M 1/2 kf k1 .
Solution.
(a) It is sufficient to treat the case of nonnegative f , since every complex
L2 function is a linear combination of nonnegative L2 functions. We
know there exists a sequence of simple functions sn % f with 0 ≤ sn ≤
p p
Rf . Then |fp − sn | ≤ |f | so by the Dominated Convergence Theorem,
|f − sn | → 0. Hence sn → f in Lp . Therefore the simple functions
are dense.
(b) Let s ∈ Lp (Rd ) be a simple function. It is sufficient to find g ∈
CC (Rd ) with kg − skp < . If s = 0, s ∈ CC (Rd ) and we’re done.
Otherwise, since s is simple, 0 < ksk∞ < ∞; since it is in Lp , it
must be supported on a set E of finite measure. Now Lusin’s theorem
p
d
enables us to construct g ∈ CC (R ) with m({g 6= s}) < 2ksk∞ and
sup |g| ≤ sup |s| < ∞. (To do this, construct g from Lusin’s theorem;
then if g ≥ ksk∞ on the closed set F , change g to ksk∞ on F . See
Rudin, Real and Complex Analysis pp. 55-56.) Then |g − s| ≤ 2ksk∞
p
and is nonzero on a set of measure 2ksk∞ , so
Z p
p p
|g − s| ≤ 2 ksk∞ = p ⇒ kg − skp < .
2ksk∞
Hence, if we define
Z
fk (x) = f (x, y)φk (y)dy,
Rd
we see that Z
fk (x)φj (x) = 0
Rd
for all j. Because {φj } is an orthonormal basis, this implies that fk (x) = 0
for all k. Because {φk } is an orthonormal basis, this in turn implies that
f (x, y) = 0. Since f ⊥ φj,k ⇒ f = 0, {φj,k } is an orthonormal basis.
(b) As a result,
n ∞
1 i−x 1
π 1/2 i+x i+x n=−∞
2
is an orthonormal basis of L (R).
Solution.
(a) If we define θ = 2 tan−1 (x), then x = tan θ2 , i−x
iθ 2
i+x = e , 1 + x =
sec2 θ2 , and dx = 12 sec2 θ2 dθ. (Brings back memories of high school
Exercise 18: Let H denote a Hilbert space, and L(H) the vector space of all
bounded linear operators on H. Given T ∈ L(H), we define the operator
norm
kT k = inf{B : kT vk ≤ Bkvk, for all v ∈ H}.
Solution.
(a) This is easier if we use another expression for kT k, such as
kT xk
kT k = sup .
xinH,x6=0 kxk
d(T1 , T3 ) = kT1 −T3 k = k(T1 −T2 )+(T2 −T3 )k ≤ kT1 −T2 k+kT2 −T3 k = d(T1 , T2 )+d(T2 , T3 ).
Hence d is a metric.
(c) Let {Tn } be a Cauchy sequence in L(H). Define T (x) = lim Tn (x) for
all x ∈ H. This limit exists because k(Tm − Tn )xk ≤ kTm − Tn kkxk
so {Tn x} is a Cauchy sequence in H. T is linear by the linearity of
limits. Finally, since Tn x → T x, the continuity of the norm implies
kTn xk → kT xk for all x. Hence kT k = lim kTn k which is finite because
|(kTm k − kTn k)| ≤ kTm − Tn k by the triangle inequality, so kTn k is a
Cauchy sequence of real numbers. So T is bounded.
kT T ∗ k = kT ∗ T k = kT k2 = kT ∗ k2 .
58
≤ sup kT f kkT gk
kf k=kgk=1
= sup kT f k sup kT gk
kf k=1 kgk=1
2
= kT k .
To show that equality is achieved, choose a sequence fn with kfn k = 1 and
kT fn k → kT k. Then hT fn , T fn i → kT k2 , so
kT ∗ T k = sup hT f, T gi ≥ sup hT f, T f i ≥ kT k2 .
kf k=kgk=1 kf k=1
pointsn in Ds (0). Near the point z, the region Γs (z) looks like a triangle.
See Figure 2.
We say that a function F defined in the open unit disc has a non-
tangential limit at a point z on the circle, if for every 0 < s < 1, the
limit
F (w)
w→z
w∈Γs (z)
exists.
Prove that if F is holomorphic and bounded on the open unit disc, then
F has a non-tangential limit for almost every point on the unit circle.
P∞ n
Solution. Since F is holomorphic, we have F (z) = n=0 aP n z for |z| < 1.
As shown on page 174 in the proof of Fatou’s theorem, |an |2 < ∞ so
2 iθ
there is an L (T ) function F (e ) whose Fourier coefficients are an . Note
also that F (eiθ ) is bounded (almost everywhere) since, by Fatou’s theorem,
it is the a.e. radial limit of F (z), so |F (z)| ≤ M ⇒ |F (eiθ )| ≤ M .
We next prove a lemma about the Poisson kernel.
Lemma 2. For each s ∈ (0, 1) there exists a constant ks such that
Pr (θ − φ) ≤ ks Pr (−φ)
for all (r, θ) such that reiθ ∈ Γs .
Proof. By elementary arithmetic,
1 − r2
Pr (θ − φ) =
|eiφ − reiθ |2
and
1 − r2
Pr (−φ) = .
|eiφ − r|2
(This alternate formula can be found in any complex analysis book.) Our
task is thus reduced to proving
|eiφ − r| ≤ ks |eiφ − reiθ |.
By the triangle inequality,
|θ|
|eiφ − r| ≤ |eiφ − reiθ | + r|eiθ − 1| = |eiφ − reiθ | + 2r sin .
2
Thus, our task is reduced to proving that
2r sin θ2
|eiφ − reiθ |
is bounded on Γs . But |eiφ − reiθ | ≥ 1 − r by the triangle inequality, so it
is sufficient to prove that
2r sin θ2
1−r
is bounded on Γs . Now for each r, the maximum value of |θ| (which will
maximize this quotient) is, as indicated in the diagram
√ below,
√ one for which
2r sin θ2 occurs in a triangle with 1 − r and 1 − s2 − r2 − s2 . Thus,
60
Having established this lemma, the rest of the problem becomes trivial.
By the Poisson integral formula,
Z π
1
|F (reiθ )| = Pr (θ − φ)F (eiφ dφ
2π −π
Z π
1
≤ Pr (θ − φ)|F (eiφ |dφ
2π −π
Z π
1
≤ ks Pr (−φ)|F (eiφ |dφ
2π −π
and by Math 245A (specifically, the fact that Pr is an approximate identity)
this last integral tends to zero. (Recall that we assumed F (1) = 0.)
Exercise 21: There are several senses in which a sequence of bounded oper-
ators {Tn } can converge to a bounded operator T (in a Hilbert space H).
First, there is convergence in the norm, that is, kTn − T k → 0 as n → ∞.
Next, there is a weaker convergence, which happens to be called strong
convergence, that requires that Tn f → T f as n → ∞ for every f ∈ H.
Finally, there is weak convergence (see also Exercise 20) that requires
(Tn f, g) → (T f, g) for every pair of vectors f, g ∈ H.
(a) Show by examples that weak convergence does not imply strong con-
vergence, nor does strong convergence imply convergence in the norm.
(b) Show that for any bounded operator T there is a sequence {Tn } of
bounded operators of finite rank so that Tn → T strongly as n → ∞.
and extend linearly from the basis to the rest of the space (actually,
extend linearly to finite linear combinations of the basis, and then take
limits to get the rest of the space...) Clearly each TnP is of finite rank
∞
since its range is spanned by e1 , . . . , en . Now let f = i=1 ai ei . Then
∞ X
X ∞
Tf = ai cij ej
i=1 j=1
whereas
∞ X
X n
Tn f = ai cij ej
i=1 j=1
which is just the nth partial sum (in j) and hence converges to T f .
(This is where we use the fact that T is a bounded operator, since
absolute convergence allows us to rearrange these sums.) Hence Tn f →
T f weakly for all f ∈ H.
Exercise 22: An operator T is an isometry if kT f k = kf k for all f ∈ H.
(a) Show that if T is an isometry, then (T f, T g) = (f, g) for every f, g ∈ H.
Prove as a result that T ∗ T = I.
(b) If T is an isometry and T is surjective, then T is unitary and T T ∗ = I.
(c) Give an example of an isometry that is not unitary.
(d) Show that if T ∗ T is unitary then T is an isometry.
Solution. (a) By the polarization identity,
kT f + T gk2 − kT f − T gk2 + ikT f + iT gk2 − ikT f − iT gk2
hT f, T gi =
4
kT (f + g)k2 − kT (f − g)k2 + ikT (f + ig)k2 − ikT (f − ig)k2
=
4
kf + gk2 − kf − gk2 + ikf + igk2 − ikf − igk2
=
4
= hf, gi.
This in turn implies
hf, T ∗ T gi = hf, Igi
for all f, g, so that T ∗ T = I.
(b) T preserves norms because it’s an isometry; it’s injective because norm-
preserving linear maps are always injective (since the kernel cannot
contain anything nonzero). Since it’s surjective as well, it’s a norm-
preserving linear bijection, which is by definition a unitary map. We
63
But this implies convergence to a point in the Hilbert space (since the sizes
of the tails are uniformly bounded), so we are done.
(ii)
Z
|K(x, y)|w(x)dx ≤ Aw(y) for almost every y ∈ Rd .
Rd
= A2 kf k2 .
Hence kT k ≤ A.
Exercise 27: Prove that the operator
1 ∞ f (y)
Z
T f (x) = dy
π 0 x+y
is bounded on L2 (0, ∞) with norm kT k ≤ 1.
Exercise 28: Suppose H = L2 (B), where B is the unit ball in Rd . Let
K(x, y) be a measurable function on B × B that satisfies |K(x, y)| ≤ A|x −
y|−d+α for some α > 0, whenever x, y ∈ B. Define
Z
T f (x) = K(x, y)f (y)dy.
B
(a) Prove that T is a bounded operator on H.
(b) Prove that T is compact.
(c) Note that T is a Hilbert-Schmidt operator if and only if α > d/2.
Solution.
(a) Let Z
dz
C=
|z|d−α
z∈Rd :|z|≤2
which converges because the exponent is less than d. Then
Z Z Z
Ady dz
|K(x, y)|dy ≤ d−α
≤ A d−α
= AC
B |x − y| |z|≤2 |z|
so by problem 26 with w = 1, we have T bounded with kT k ≤ AC.
(b) As suggested, let
(
K(x, y) |x − y| ≥ n1
Kn (x, y) =
0 else
and Z
Tn f (x) = Kn (x, y)f (y)dy.
66
where we define
Z
dz
Cn = .
|z|d−α
z∈Rd :|z|≤1/n
1
Since |z|d−α ∈ L1 (Rd ), the absolute continuity of the integral implies
Cn → 0. By problem 26 again with w = 1, this implies kT − Tn k → 0.
Since Tn is compact, this implies that T is compact.
(c) This should actually say “T is guaranteed to be Hilbert-Schmidt if and
only if...” since K could be a lot less than the bound given. Anyhoo,
T necessarily Hilbert-Schmidt ⇔ A|x − y|−d+α ∈ L2 (B × B)
Z Z
⇔ A2 |x − y|−2d+2α < ∞
B B
⇔ −2d + 2α > −d
d
⇔α> .
2
Solution.
(a) We can pretty much copy the proof verbatim with “eigenvector” re-
placed by “common eigenvector”. Let S be the closure of the subspace
of H spanned by all common eigenvectors of T1 and T2 . We want to
show S = H. Suppose not; then H = S ⊕ S ⊥ with S ⊥ nonempty. If we
can show S ⊥ contains a common eigenvector of T1 and T2 , we have a
contradiction. Note that T1 S ⊂ S, which in turn implies T1 S ⊥ ⊂ S ⊥
since
g ∈ S ⊥ ⇒ hT g, f i = hg, T f i = 0
for all f ∈ S. Similarly, T2 S ⊥ ⊂ S ⊥ . Now by the theorem for one
operator, T1 must have an eigenvector in S ⊥ with some eigenvalue λ.
Let Eλ be the eigenspace of λ (as a subspace of S ⊥ ). Then for any
x ∈ Eλ ,
T1 (T2 x) = T2 (T1 x) = T2 (λx) = λ(T2 x)
so T2 x ∈ Eλ as well. Since T2 fixes Eλ , it has at least one eigenvector in
Eλ . This eigenvector is a common eigenvector of T1 and T2 , providing
us with our contradiction.
(b) This follows from part (a). Write
T + T∗ T − T∗
T = +i .
2 2i
T +T ∗ T −T ∗
By a trivial calculation, both 2 and 2i are self-adjoint. More-
over, since T is normal,
(T + T ∗ )(T − T ∗ ) = T 2 + T ∗ T − T T ∗ − T ∗2 = T 2 − T ∗2 = (T − T ∗ )(T + T ∗ )
so they commute as well. Hence, there exists an ONB of common
∗ ∗
eigenvectors of T +T
2 and T −T
2i . Any such common eigenvector is an
68
eigenvector of T , since
T + T∗ T − T∗
x = λx and x = λ0 x ⇒ T x = (λ + iλ0 )x.
2 2i
(c)
Solution. It is a well-known fact from linear algebra that every vector space
has a basis. This can be proved using Zorn’s lemma: linearly independent
sets are partially ordered by inclusion, and every chain has an upper bound
by union, so there exists a maximal linearly independent set, which is by
definition a basis. Applying this to our Hilbert space, we obtain an (alge-
braic) basis, i.e. one for which every vector is a finite linear combination
of basis elements. Let {en } be a countable subset of our algebraic basis.
Define `(en ) = nken k and `(f ) = 0 for f in our basis but f 6= en for any
n. We can then extend ` to the whole space in a well-defined manner, but
clearly ` is not bounded since |`(en )| = nken k.
Problem 9: A discussion of a class of regular Sturm-Liouville operators fol-
lows. Other special examples are given in the problems below.
Suppose [a, b] is a bounded interval, and L is defined on functions f that
are twice continuously differentiable in [a, b] (we write f ∈ C 2 ([a, b]) by
d2 f
L(f )(x) = − q(x)f (x).
dx2
Here the function q is continuous and real-valued on [a, b], and we assume
for simplicity that q is non-negative. We say that φ ∈ C 2 ([a, b]) is an
eigenfunction of L with eigenvalue µ if L(φ) = µφ, under the assumption
that φ satisfies the boundary conditions φ(a) = φ(b) = 0. Then one can
show:
(a) The eigenvalues µ are strictly negative, and the eigenspace correspond-
ing to each eigenvalue is one-dimensional.
(b) Eigenvectors corresponding to distinct eigenvalues are orthogonal in
L2 ([a, b]).
(c) Let K(x, y) be the “Green’s kernel” defined as follows. Choose φ− (x)
to be a solution of L(φ− ) = 0, with φ− (a) = 0 but φ0− (a) 6= 0. Simi-
larly, choose φ+ (x) to be a solution of L(φ+ ) = 0 with φ+ (b) = 0 but
φ0+ (b) 6= 0. Let w = φ0+ (x)φ− (x) − φ0− (x)φ+ (x), be the “Wronskian”
of these solutions, and note that w is a non-zero constant.
Set (
φ− (x)φ+ (y)
w a ≤ x ≤ y ≤ b,
K(x, y) = φ+ (x)φ − (y)
w a ≤ y ≤ x ≤ b.
Then the operator T defined by
Z b
T (f )(x) = K(x, y)f (y)dy
a
is a Hilbert-Schmidt operator, and hence compact. It is also sym-
metric. Moreover, whenever f is continuous on [a, b], T f is of class
C 2 ([a, b]) and
L(T f ) = f.
(d) As a result, each eigenvector of T (with eigenvalue λ) is an eigen-
vector of L (with eigenvalue µ = 1/λ). Hence Theorem 6.2 proves
the completeness of the orthonormal set arising from normalizing the
eigenvectors of L.
Solution.
(a) Let φ be an eigenfunction of L with eigenvalue µ. Then
φ00 = (q + µ)φ ⇒ φφ00 = (q + µ)φ2 .
Integrating by parts from a to b, we have
Z Z
φφ0 |ba − (φ0 )2 = (q + µ)φ2 .
so
φ0 (x) x
φ0 (x) b
Z Z
φ+ (x) φ− (x)
(T f ) (x) = +
0
φ− (y)f (y)dy + φ− (x)f (x) + − φ+ (y)f (y)dy − φ+ (x)f (x)
w a w w x w
0 Z x 0 Z b
φ (x) φ (x)
= + φ− (y)f (y)dy + − φ+ (y)f (y)dy
w a w x
and
φ00 (x) x
φ0+ (x) φ00− (x) b φ0 (x)
Z Z
(T f ) (x) = +
00
φ− (y)f (y)dy + φ− (x)f (x) + φ+ (y)f (y)dy − − φ+ (x)f (x)
w a w w x w
w q(x)φ+ (x) x q(x)φ− (x) b
Z Z
= f (x) + φ− (y)f (y)dy + φ+ (y)f (y)dy
w w a w x
Z b
= f (x) + q(x) K(x, y)f (y)dy
a
= f (x) + q(x)(T f )(x)
Solution.
(a) This will follow from part (b) because an L2 function must R be fi-
nite almost everywhere (which will prove a.e. convergence of |f (x −
y)||k(y)|dy), and absolutely convergent integrals are convergent.
(b) Just so I have it for future reference, why don’t I prove the Lp version
of this. Suppose f ∈ Lp with 1 < p < ∞ and k ∈ L1 . Let q be the
73
Solution.
(a) Since |F (z)| ≤ M for some M ,
F (x + iy) M
≤√
x + i(y + 1) x2 + 1
74
so
∞ 2 ∞
M2
Z Z
F (x + iy)
dx ≤ dx = M 2 π.
−∞ x + i(y + 1) −∞ x2 + 1
F (z)
Hence z+i ∈ H 2 (R2+ ). This implies that
F (x + iy)
lim
y&0 x + i(1 + y)
exists a.e., which in turn implies that lim F (x + iy) exists a.e.
(b) I assume that I can take for granted that z 7→ i 1−z 1+z is a conformal
mapping of the unit disc into the upper half plane, since we did this
on a previous homework. Then define G(w) = F (i 1−w 1+w ) which is a
bounded holomorphic function on D. It now suffices to show that w
approaches the unit circle non-tangentially as y = Re(z) → 0, where
w is now given by the inverse mapping
−x + (1 − y)i
w= .
x + (1 + y)i
Then
x2 + (1 − y)2
|w|2 =
x2 + (1 + y)2
by straightforward arithmetic. Now if w were approaching the unit
2
circle in a tangential manner, we would have d|w|
dy |y=0 = 0. However,
d|w|2 4(y 2 − x2 − 1)
= 2
dy (x + (1 − y)2
which is nonzero at y = 0.
Exercise 4: Consider F (z) = ei/z /(z + i) in the upper half-plane. Note that
F (x + iy) ∈ L2 (R), for each y > 0 and y = 0. Observe also that F (z) → 0
as |z| → ∞. However, F ∈ / H 2 (R2+ ). Why?
whence ZZ
1 1
|f (z)|2 ≤ |f (ζ)|2 dA ≤ kf k2 .
πr2 πr2
|ζ−z|≤r
|an |2 ≤
P
Returning to the problem at hand, for any sequence an with
1,
∞
X
g(z) = an φn (z)
n=0
is a unit vector in H. Applying problem 6, we have at any fixed z ∈ Ω
that
∞ √ √
X π π
an φn (z) = |g(z)| ≤ c
kgk = .
n=0
d(z, Ω ) d(z, Ωc )
77
(b) The absolute convergence of this sum follows from part (a) and the
Cauchy-Schwarz inequality: For fixed values of z and w, {|φn (z)|} and
{φ¯n (w)} are vectors in `2 , so by the Cauchy-Schwarz inequality,
qX qX
φn (z)φn¯(w) ≤
X
|φn (z)|2 |φ¯n (w)|2 < ∞.
T f (z) = hf, Bz i
* ∞ ∞
! ∞ +
X X X
= an φn + bk ψk , φ¯j (z)φj
n=0 k=0 j=0
X X
= an φj (z)hφn , φj i + bk φj (z)hφk , φj i
j,n k,j
X
= an φn (z).
n
This is the formula for projection onto a closed subspace–T erases all
the components nin the
q orthogonal
o complement.
n+2
(d) The set {φn } = z n π is orthonormal since
1 2π
r2n+2
Z Z Z 1
n+1 2 n+1
hφn , φn i = |z n|dA = r2 nrdrdθ = 2(n + 1) =1
π D π r=0 θ=0 2n + 2 0
78
and
p
(m + 1)(n + 1) 1
Z Z 2π
hφn , φi = rn+m e2πi(n−m) rdrdθ = 0
π r=0 θ=0
for m 6= n. Now since every analytic function hasP a power series ex-
pansion, any analytic function can be written as bn φn . This proves
that {φn } is a basis for H, and also gives us the condition for an
P |an |2
analytic function to be in L2 : |bn |2 < ∞ ⇔
P
q n+1 < ∞, since
π
bn = an n+1 .
To obtain an expression for B(z, w), we first note that for any complex
number ζ with |ζ| < 1,
∞
1 X
= (n + 1)ζ n .
(1 − ζ)2 n=0
Solution. Following the proof of Theorem 2.1 on page 214, we define fˆy (ξ)
to be the Fourier transform of the L2 function f (x+iy). (We know f (x+iy)
is an L2 function of x for almost all y since
Z Z
2 2
kf k2 = |f (x + iy)| dx dy
R
so that |f (x + iy)|2 dx is an integrable function of y, and therefore finite
almost everywhere. Then we can show that fˆy (ξ)e2πyξ is independent of y
using exactly the same proof in the book. (Our proof of the boundedness
of f on closed half-planes changes slightly: we now have
Z
1 1
|f (ζ)|2 = 2 |f (ζ + z)|2 dxdy ≤ 2 kf k22 .
δ |z|<δ δ
Other than that the proof requires no modification.) Having established
this, we can then define fˆ0 (ξ) to be the function that equals fˆy (ξ)e2πyξ for
79
This tells us that fˆ0 (ξ) = 0 for a.a. ξ < 0 (since the integral in ξ is infinite
for ξ < 0), and also gives us the relation
Z ∞Z ∞
kf k22 = |f (x + iy)|2 dxdy
−∞ −∞
Z ∞Z ∞
= |fˆ0 (ξ)|2 e−4πyξ dξdy
−∞ 0
Z ∞ Z ∞
Tonelli
= |fˆ0 (ξ)|2 e−4πyξ dydξ
0 −∞
Z ∞
1
= |fˆ0 (ξ)| 2
dξ
0 4πξ
This tells us that kf k = k √14π f0 kL2 ((0,∞),dξ/ξ) . We also have by Fourier
√ R∞
inversion that f (z) = 4π 0 √14π fˆ0 (ξ)e2πiz dξ. If we replace fˆ0 by √14π fˆ0 ,
we will have a unitary map fˆ0 → f , and
√ Z ∞
f (z) = 4π fˆ0 (ξ)e2πiξz dξ.
0
Exercise 9: Let H be the Hilbert transform. Verify that
(a) H ∗ = −H, H 2 = −I, and H is unitary.
(b) If τh denotes the translation operator, τh (f )(x) = f (x − h), then H
commutes with τh , τh H = Hτh .
(c) if δa denotes the dilation operator, δa (f )(x) = f (ax) with a > 0, then
H commutes with δa , δa H = Hδa .
Solution.
(a) Since the projection P and the identity I are both self-adjoint, 2P − I
is self-adjoint, so H = −i(2P − I) is skew-adjoint.
(b) Since H is a linear combination of I and P , it suffices to verify that
both of these commute with τh . For I this is trivial. For P , we have
2πih ˆ
P\
(τh f )(ξ) = χ(ξ)τd
h f (ξ) = χ(ξ)e f (ξ)
and
τ\
h P (f )(ξ) = e P f (ξ) = e2πih χ(ξ)fˆ(ξ).
2πih c
Exercise 15: Suppose f ∈ L2 (Rd ). Prove that there exists g ∈ L2 (Rd ) such
that α
∂
f (x) = g(x)
∂x
in the weak sense, if and only if
(2πiξ)α fˆ(ξ) = ĝ(ξ) ∈ L2 (Rd ).
∂ α ∂ α
Then L∗ = (−1)|α|
Solution. (Help from Kenny Maples.) Let L = ∂x . ∂x .
Note in particular that
\ α
∂
∗ ψ(ξ) = (−1)|α|
Ld ψ(ξ) = (−1)|α| (2πiξ)α ψ̂(ξ) = (2πiξ)α ψ̂(ξ).
∂x
= hfˆ, Ld
∗ ψi
= hf, L∗ ψi.
Hence g = Lf weakly.
Conversely, suppose there exists g ∈ L2 such that g = Lf weakly. Using
Plancherel again,
Z
ĝ(ξ)ψ̂(ξ)dξ = hĝ, ψ̂i
= hg, ψi
= hf, L∗ ψi
= hfˆ, Ld
∗ ψi
Z
= fˆ(ξ)(2πiξ)α ψ̂(ξ)dξ.
Since this is true for all ψ ∈ C0∞ , we must have ĝ(ξ) = fˆ(ξ)(2πiξ)α a.e.
Since g ∈ L2 , ĝ ∈ L2 by Plancherel, so fˆ(ξ)(2πiξ)α = ĝ(ξ) ∈ L2 .
Then
M M Z
2 · 3d X 2 · 3d
X Z
m(K) ≤ 3d m(Bxnj ) ≤ |f (y)|dy ≤ |f (y)|dy.
j=1
α j=1 Gα ∩Bxn α Gα
j
(c)
Exercise
R 5: Use2 the polar coordinate formula to prove the following:
(a) Rd e−π|x| dx = 1, when d = 2. Deduce from this that the same
identity holds for all d.
R ∞ −πr2 d−1
(b) 0
e r dr σ(S d−1 ) = 1, and as a result, σ(S d−1 ) = 2π d/2 /Γ(d/2).
d/2
(c) If B is the
R unit ball,
vd = m(B) = π /Γ(d/2 + 1), since this quantity
1 d−1
equals 0 r dr σ(S d−1 ).
Solution.
(a) For d = 2, we have by polar coordinates
Z Z Z ∞ Z ∞
2 2 2 2
e−π|x| dx = e−πr rdrdθ = 2π e−πr rdr = −e−πr |∞
0 = 1.
Rd S1 0 0
Solution.
(a) Because Q1 is a disjoint union of nd translates of the cube Q1/n ,
µ(Q1 ) = nd µ(Q1/n ) ⇒ µ(Q1/n ) = n−d µ(Q1 ) = cn−d .
(b) Let E be Borel measurable with m(E) = 0. Then for any > 0 there
is an open set U with m(U \ E) < ⇒ m(U ) < . We can write
U as a countable disjoint union of cubes Qj whose side lengths are
of the form 1/n, for example by decomposing U into dyadic rational
cubes as described
P on pp.
P 7-8. Then P µ(Qj ) = cm(Qj ) by part (a),
so µ(U ) = µ(Qj ) = cm(Qj ) = c m(Qj ) = cm(U ) < c. This
can be done for any , so µ(E) = 0. Thus, µ is absolutely continuous
84
`(gk ) − F (bk ) < 2k . WLOG we may also assume f < ck (1 − hk ) on (ak , a0k )
since otherwise we may take
(
0 max(f, ck (1 − hk )) ak < x < a0k
ck (1 − hk ) =
ck a0k ≤ x < bk
and the function h0k defined by these relations will also be continuous, satisfy
h0k ≺ a0k , and have h0k < hk ⇒ `(h0k ) < `(hk ). Now let
X
f˜ = ck (gk − hk ).
Then we have f˜ ≥ f by the above remarks concerning hk . Note also that
X X
`(f˜ ) = ck (`(gk ) − `(hk )) < ck (F (bk ) − F (a0k )) + = L(f0 ) + .
Since we also have the relations f˜ ≥ f and f ≥ f0 , and both ` and L are
positive,
`(f ) < `(f˜ ) < L(f 0 ) + < L(f ) + < L(f ) + 2.
and similarly |ν2 |(E) = |ν2 |(E ∩ B). Hence |ν1 | and |ν2 | are supported
on the disjoint setsPA and B.
(d) |ν|(E) = 0 ⇒ sup |ν(Ej )| = 0 ⇒ ν(Ej ) = 0 for all subsets Ej ⊂
E ⇒ ν(E) = 0.
86
(e) Let disjoint A and B be chosen with ν(E) = ν(E ∩ A) and µ(E) =
µ(E ∩ B). Then for any measurable E, µ(E ∩ A) = µ((E ∩ A) ∩ B) = 0
because A and B are disjoint. Then ν(E) = ν(E ∩ A) = 0 because
µ(E ∩ A) = 0 and ν µ.
Exercise 11: Suppose that F is an increasing normalized function on R, and
let F = FA + FC + FJ be the decomposition of F in Exercise 24 of Chapter
3; here FA is absolutely continuous, FC is continuous with FC0 = 0 a.e., and
FJ is a pure jump function. Let µ = µA + µC + µJ with µ, µA , µC , and
µJ the Borel measures associated to F, FA , FC , and FJ respectively. Verify
that:
(i) µA is absolutely continuous with respect to Lebesgue measure and
µA (E) = E F 0 (x)dx for every Lebesgue measurable
R
R set E. R
(ii) RAs a result, if F is absolutely continuous, then f dµ = f dF =
f (x)F 0 (x)dx whenever f and f F 0 are integrable.
(iii) µC + µJ and Lebesgue measure are mutually singular.
Solution.
(i) By definition
X
µA (E) = inf FA (bj ) − FA (aj )
E⊂∪(aj ,bj ]
XZ bj
= inf F 0 (x)dx
E⊂∪(aj ,bj ] aj
Z
≥ inf F 0 (x)dx
E⊂∪(aj ,bj ]
∪(aj ,bj ]
Z
≥ F 0 (x)dx.
E
To prove the reverse inequality, let > 0 and use the absolute continu-
ity of the integral to find a δ > 0 such that m(E) < δ ⇒ E F 0 (x) < .
R
simple fn % f . Then
Z Z Z Z Z Z
f dµ = (lim fn )dµ = lim fn dµ = lim fn (x)F 0 (x)dx = (lim fn )(x)F 0 (x)dx = f (x)F 0 (x)dx.
E E E E E E
for all (x1 , . . . , xk ) ∈ X1 ×· · ·×Xk . We can integrate both sides with respect
to x1 , using the monotone convergence theorem to move the integral inside
the sum on the RHS, to obtain
X ∞
µ1 (E1 )χE2 (x2 ) . . . χEk (xk ) = µ1 (E1j )χE j (x2 ) . . . χE j (xk ).
2 k
j=1
We then integrate each side wrt x2 , etc. After doing this k times we obtain
∞
X ∞
X
j j
µ1 (E1 ) . . . µk (Ek ) = µ1 (E1 ) . . . µk (Ek ) ⇒ µ0 (E1 ×· · ·×Ek ) = µ0 (E1j ×· · ·×Ekj )
j=1 j=1
as desired.
Since µ0 is a premeasure on A, it extends to a measure on the σ-algebra
generated by A by Theorem 1.5.
Exercise 15: The product theory extends to infinitely many factors, under
the requisite assumptions. We consider measure spaces (Xj , Mj , µj ) with
µj (Xj ) = 1 for all but finitely many j. Define a cylinder set E as
{x = (xj ), xj ∈ Ej , Ej ∈ Mj , Ej = Xj for all but finitely many j}.
Q∞
For such a set define µ0 (E) = j=1 µj (Ej ). If A is the algebra generated
by the cylinder sets, µ0 extends to a premeasure on A, and we can apply
Theorem 1.5 again.
Solution. First, note that finite disjoint unions of cylinder sets form an al-
gebra, which is therefore the algebra A. To see this, we can just apply
Exercise 14 because of the condition that finitely many indices inQthe cylin-
der have Ej 6= Xj . For example, to see how unions work, let Q Ej be a
cylinder set (where Ej = Xj for all but finitely many j) and Fj another
cylinder set. Then there are finitely many j for which either Ej or Fj is not
Xj ; we may apply the decomposition from Exercise 14 to these components
while
Q leavingQ the others untouched, and hence obtain a decomposition of
( Ej ) ∪ ( Fj ) into finitely many disjoint cylinder sets. Similar comments
apply to intersections and complements.
90
Q
To verify that µ0 extends to a premeasure on A, let Ej be a cylinder
set, and suppose
∞
Y [∞ Y∞
Ej = Ejk
j=1 k=1 j=1
where the union is disjoint and all but finitely many Ejk are equal to Xj for
any fixed k. The characteristic-function version of this statement is
Y∞ ∞ Y
X ∞
χEj (xj ) = χEjk (xj ).
j=1 k=1 j=1
Integrating both sides with respect to x1 and using the monotone conver-
gence theorem to move the integral inside the sum on the right,
∞
Y ∞
X ∞
Y
µ1 (E1 ) χEj (xj ) = µ1 (E1k ) χEjk (xj ).
j=2 k=1 j=2
Solution.
(a) This follows from the translation invariance of µ. To show that the
product of translation invariant measures is translation invariant, let
E = E1 ×· · ·×Ed be a measurable rectangle in Td , and x = (x1 , . . . , xd ) ∈
Td . Then
µ(E+x) = µ (E1 +x1 )×· · ·×(Ed +xd ) = µ1 (E1 +x1 ) . . . µd (Ed +xd ) = µ1 (E1 ) . . . µd (Ed ) = µ(E)
so µ is translation invariant on measurable rectangles. This implies
that the outer measure µ∗ generated by coverings of measurable rect-
angles is also translation invariant. But µ is just the restriction of µ∗
to the sigma-algebra of Carathéodory-measurable sets, so it is trans-
lation invariant as well. This implies that µ is a multiple of Lebesgue
measure; since µ(Td ) = m(Q) = 1, we must have m = µ (modulo the
correspondence between Q and Td ).
(b) This is blindingly obvious, but
f m’ble (resp. cts) ⇔ f −1 (U ) m’ble (resp. open) for open U
⇔ f˜−1 (U ) m’ble (resp. open) in Rd
⇔ f˜ m’ble (resp. cts).
(d) Once again, there is absolutely nothing different from the one-variable
case. Since f ∗g is integrable by our above remarks, and |e−2πin·x | = 1,
f ∗ g(x)e−2πin·x is also integrable, so by Fubini’s theorem
Z Z Z
f ∗ g(x)e−2πin·x dx = e−2πin·x f (x − y)g(y)dydx
Td Td Td
Z Z
= g(y) f (x − y)e−2πin·x dxdy
Td Td
Z Z
−2πin·y
= g(y)e f (x − y)e−2πin·(x−y) dxdy
Td Td
Z
= g(y)e−2πin·y an dy
Td
= an bn .
(e) The orthonormality of this system is evident, since
Z Z d Z
Y d
Y
e−2πin·x e2πim·x dx = e2πi(m−n)·x dx = e2πi(mj −nj )xj dxj = nj
δm j
n
= δm
Td Td j=1 T j=1
X X
f (x) − an bn e2πin·x ≤ |f (x) − f ∗ gδ (x)| + f ∗ gδ (x) − e2πin·x
|n|≤N |n|≤N
X
= |f (x) − f ∗ gδ (x)| + an bδn e2πin·x
|n>N |
X
≤ |f (x) − f ∗ gδ (x)| + |an bδn |
|n>N |
≤ + = .
2 2
Thus, f can be uniformly approximated by trigonometric polynomials.
Solution. Let
∞ [
\ ∞
E0 = τ −k (E).
n=1 k=n
94
Then
∞ [
\ ∞
E0 \ E = τ −k (E) \ E
n=1 k=n
and
∞ \
[ ∞
E \ E0 = E \ τ −k (E).
n=1 k=n
−k −k
But E \ τ (E) and τ (E) \ E both have measure zero (this follows from
m(E∆E 0 ) = 0 by an easy induction), and countable unions and intersec-
tions of null sets are null, so m(E∆E 0 ) = 0. Moreover,
∞ [
\ ∞ ∞ [
\ ∞
τ −1 (E 0 ) = τ −1 τ −k (E) = τ −k (E) = E 0
n=1 k=n n=2 k=n
because the sets inside the intersection are nested so we get the same set
whether we start at n = 1 or n = 2.
Solution. We use the fact that τ is ergodic iff the only R with f ◦τ =
R functions
f a.e. are constant a.e., as well as the fact that E f dµ = τ −1 (E) f ◦ τ dµ
for measure-preserving maps τ . Let τ be ergodic and let ν µ be an
invariant measure. By the Radon-Nikodym theorem, dν = hdµ for some
function h ∈ L1 (µ). Then for any measurable E,
Z Z
ν(E) = hdµ = h ◦ τ dµ.
E τ −1 (E)
If n 6= 0, then
m−1 m−1
1 X 1 X e2πin·x 1 − e2πimn·α
f (x)dx = e2πin·x e2πikn·α = .
m m m 1 − e2πin·α
k=0 k=0
2πimn·α
Since |1 − e | ≤ 2, this goes to zero as m → ∞, so
m−1 Z
1 X k
f ((τ (x)) → f (x)dx.
m Td
k=0
Finally, since complex exponentials are uniformly dense in the contin-
uous periodic functions by exercise 16f, the above limit holds for any
continuous periodic function: Let f be a continuous periodic func-
tion and P a finite linear combination of complex exponentials with
|f
R − P | < everywhere. Choose n sufficiently large that |Am P −
1
Pm−1 k
P dx| < for all m > n, where Am g(x) = m k=0 g(τ (x)). Then
for m > n,
Z Z Z
Am f (x) − f (x)dx ≤ |Am f (x) − Am P (x)| + Am P (x) − P (x)dx + (P (x) − f (x))dx
< + + = 3.
(b) Unique ergodicity follows by the same logic as the 1-variable case.
Let ν be any invariant measure;Rthen part (a) plus the Mean Ergodic
Theorem shows that Pν (f ) = f dx, where Pν is the projection in
L2 (ν) onto the subspace of invariant functions. This implies that the
image of Pν is just the constant functions. R But we know that the
2
L
R (ν) projection
R of f onto the constants is f dν, so we must have
f dx = f dν for continuous f . Since characteristic functions of
open rectangles can be L2 -approximated by continuous functions, this
implies that m(R) = ν(R) for any open rectangle R. But this implies
that m and ν agree on the Borel sets. Hence m is uniquely ergodic for
this τ .
Exercise 26: There is an L2 version of the maximal ergodic theorem. Sup-
pose τ is a measure-preserving transformation on (X, µ). Here we do not
assume that µ(X) < ∞. Then
m−1
1 X
f ∗ (x) = sup |f (τ k (x))|
m
k=0
satisfies
kf ∗ kL2 (X) ≤ ckf kL2 (X) , whenever f ∈ L2 (X).
The proof is the same as outlined in Problem 6, Chapter 5 for the maximal
function on Rd . With this, extend the pointwise ergodic theorem to the
case where µ(X) = ∞, as follows:
1
Pm−1 k
(a) Show that limm→∞ m k=0 f (τ (x)) converges for a.e. x to P (f )(x)
for every f ∈ L (X), because this holds for a dense subspace of L2 (X).
2
(b) Prove that the conclusion holds for every f ∈ L1 (X), because it holds
for the dense subspace L1 (X) ∩ L2 (X).
97
Solution.
(a) We use the subspaces S = {f ∈ L2 : f ◦ τ = f } and S1 = {g − T g :
g ∈ L2 } from the proof of the mean ergodic theorem. As shown there,
L2 (X) = S ⊕ S¯1 . Given f ∈ L2 , let > 0 and write f = f0 + f1 + f2
where f0 ∈ S, f1 + f2 ∈ S¯1 , f1 ∈ S1 , kf2 k < . Since f1 ∈ S1 ,
f1 = g − T g for some g ∈ L2 . Let h = f0 + f1 . Then Am f0 = f0 = P f0
for all m, and
m−1
1 X k 1
Am f1 = T (g − T g) = (g − T m g).
m m
k=0
1
Clearly m g(x) → 0 for all x as m → ∞. Moreover, as shown on page
1 m
301, m T g(x) → 0 for almost all x; one can see this from the fact
that, by the monotone convergence theorem,
Z X ∞ ∞ Z ∞ ∞
1 m 2
X 1 m 2
X 1 m 2
X 1
2
|T (g)(x)| = 2
|T (g)(x)| = 2
kT gk = kgk < ∞.
X m=1 m m=1
m X m=1
m m=1
m2
P 1 m 2
Since m2 |T (g)(x)| is integrable, it is finite almost everywhere,
which means the terms in the series tend to zero for almost all x. The
upshot is that Am f1 (x) → P f1 (x) for a.a. x, so that Am h(x) → P h(x)
a.e. Finally, let
n o
Eα = x ∈ X : lim sup |Am f (x) − P f (x)| > α .
m→∞
Exercise 27: We saw that if kfn kL2 ≤ 1, then fnn(x) → 0 as n → ∞ for a.e.
x. However, show that the analogue where one replaces the L2 -norm by the
L1 -norm fails, by constructing a sequence {fn }, fn ∈ L1 (X), kfn kL1 ≤ 1,
but with lim sup fnn(x) = ∞ for a.e. x.
Solution. This is yet another example of why Stein & Shakarchi sucks. The
problem doesn’t say anything about conditions on X. In fact, the hint seems
to assume that X = [0, 1]. I will assume that X is σ-finite. I will also assume
that the measure µ has the property that for any measurable set E and any
real number α with 0 ≤ α ≤ µ(E), there is a subset S ⊂ E with µ(S) = α.
(This property holds, for example, in the case of Lebesgue measure, or any
measure which is absolutely continuous with respect to Lebesgue measure.
In fact, we don’t need quite this stringent a requirement–it isn’t necessary
that every subset of X have this nice property, but only that we can find a
nested sequence of subsets of Xn whose measures we can control this way,
where X = ∪Xn and µ(Xn ) < ∞.)
Given these assumptions, let X = ∪Xn where µ(Xn ) < ∞. We construct
a sequence En of measurable subsets with the properties that µ(En ) ≤
1
n log n and that every x ∈ X is in infinitely many En . To do this, we
will construct countably many finite sequences and then string them all
together. The first sequence E2 , . . . , EN1 will have the property that X1 =
1
∪Nj=2 Ej , and µ(Ej ) ≤ j log j . To do this, let E2 be any subset of X1 with
1 1
measure 2 log 2 , unless µ(X1 ) ≤ 2 log 2 , in which case E2 = X1 . Let E3 be
1 1
any subset of X1 \ E2 with measure 3 log 3 , unless µ(X1 \ E2 ) ≤ 3 log 3 , in
which case E3 = X1 \E2 . Let E4 be a subset of X1 \(E2 ∪E3 ) with measure
1 1
4 log 4 , or X1 \ (E2 ∪ E3 ) if this has measure P at most 4 log 4 . This process
1
will terminate in finitely many steps because n log n diverges and µ(X1 )
is finite.
We then construct a second finite sequence of sets EN1 +1 , . . . , EN2 whose
union is X1 ∪ X2 , a third finite sequence whose union is X1 ∪ X2 ∪ X3 , etc.
Let En be the concatenation of all these finite sequences. Then every point
1
in X is in infinitely many En , and µ(En ) ≤ n log n.
Now let fn = n log nχEn . Then kfn k1 = n log nµ(En ) ≤ 1. However,
fn (x)
n = log nχEn (x) and since x is in infinitely many En , lim sup fnn(x) = ∞
for all x.
99
But the complement of this set is just lim sup Ej0 where Ej0 = τ −mj (Ej ).
Thus, lim sup Ej0 is almost all of X.
Solution.
(a) If K is compact, then Φ(K) is also compact by continuity. Now if A
is Fσ , then A is σ-compact (since every closed set in Rn is a countable
union of compact sets), so Φ(A) is also σ-compact and hence Fσ . Thus,
Φ maps Fσ sets to Fσ sets. Since measurable sets are precisely those
that differ from Fσ sets by a set of measure zero, it suffices to show that
Φ maps sets of measure zero to sets of measure zero. (The following
argument is adopted from Rudin p. 153.) Let E ⊂ O have measure
zero. For each integer n, define
Fn = {x ∈ E : |Φ0 (x)| < n}.
Solution. We first note that such a transformation does in fact map the
upper half plane to itself: if z = x + iy, then
az + b a(x + iy) + b ac(x2 + y 2 ) + (ad + bc)x + bd (ad − bc)y
= = 2 2
+i
cz + d c(x + iy) + d (cx + d) + (cy) (cx + d)2 + (cy)2
and since y > 0 and ad − bc = 1 this has positive imaginary part. Now if
0 0
we write the map z 7→ az+b cz+d in terms of its components as (x, y) 7→ (x , y ),
0 0
then using the ugly formulas for x and y from the above expression, we can
compute the even uglier partial derivatives and the Jacobian. However, we
can shortcut that by using the fact that the Jacobian is always the square
norm of the complex derivative. In case this needs proof, suppose z 7→ f (z)
is a complex differentiable function. Then if f 0 (z0 ) = α + βi, the linear
map z 7→ f 0 (z0 )(z − z0 ) can be rewritten as
(x+iy) 7→ (α+βi)((x−x0 )+(y−y0 )) = (α(x−x0 )−β(y−y0 ))+i(β(x−x0 )+α(y−y0 )),
or
x α −β x − x0
7→
y β α y − y0
103
If B is a ball in Ω, let B̂ = {(x, y) ∈ Rd , d((x, y), B̂) < δ}. Show that
δ
1
µ(B̂) = lim m((B̂)δ ),
δ→0 2δ
Solution.
(a) We proceed in the steps outlined in Prof. Garnett’s hint:
– Since B is compact and Ωc is closed, the distance between them
is greater than zero, so we can choose δ < d(B, Ωc ). Let Vδ =
{x : d(X, B) < δ} ⊂ Ω. For each x ∈ Vδ define Iδ (x) = {y ∈ R :
(x, y) ∈ B̂ δ } and h(x, δ) = m(Iδ (x)).
– Note that B̂ δ ⊂ Vδ ×R since for (x, y) ∈ Rd−1 ×R, d((x, y), B̂) ≥
d(x, B). By Tonelli’s theorem,
Z Z Z Z
m(B̂ δ ) = χIδ (x) (y) = χIδ (x) (y)dydx = h(x, δ)dx.
Vδ R Vδ
(x,y)∈Vδ ×R
y(M − )2
y(M − )
F x+ ~v > F (x) + .
1 + (M − )2 1 + (M − )2
y(M −)
By the intermediate value theorem, there is some t0 < 1+(M −)2
2
y(M −)
at which F (x + t0~v ) = F (x) + 1+(M −)2 . Let x0 = x + t0~
v . Then
(x0 , F (x0 )) ∈ B̂; moreover, the distance squared from (x, y) to
(x0 , F (x0 )) is
2 2
y(M − )2 y2
t20 + y − = t2
0 +
1 + (M − )2 1 + (M − )2
2 2
y2
y(M − )
≤ +
1 + (M − )2 1 + (M − )2
y2
= <δ
1 + (M − )2
p
so y ∈ Ix,δ . On the other hand, if y > F (x) + δ 1 + (M + )2 ,
suppose (x, y) ∈ Ix,δ , so there is some x0 with dist((x, y), (x0 , F (x0 ))) <
δ. Clearly this implies |x0 −x| < δ; suppose |x0 −x| = t. Then be-
cause |∇F | < M + between x and x0 , F (x0 ) < F (x) + (M + )t.
Then the distance squared from (x, y) to (x0 , F (x0 )) is
2
t2 + (y − F (x0 ))2 ≥ t2 + (y − (M + )t) = (1 + (M + )2 )t2 − 2y(M + )t + y 2 .
105
B̂ ⊂ S d−1 , define Bδ0 = {p ∈ S d−1 : a(p, B̂) < arcsin(δ)}. I claim that
B̂ × [1 − δ, 1 + δ] ⊂ (B̂)δ ⊂ Bδ0 × [1 − δ, 1 + δ].
Here the product is in spherical coordinates, of course. The first inclu-
sion is obvious because if (α, r) ∈ B̂ × [1 − δ, 1 + δ], then (α, 1) ∈ B̂ and
is a distance |1 − r| ≤ δ away. For the second inclusion, let (α, r) be
any point in Rd . f α ∈ / Bδ0 , let (θ, 1) be any point in B̂. The distance
from (θ, 1) to the line through the origin and (α, r) is sin(a(θ, α)) by
elementary trigonometry. By hypothesis this is greater than δ, so the
distance from (θ, 1) to (α, r) is greater than δ. On the other hand,
/ [1 − δ, 1 + δ], then no point in S d−1 is within δ of (α, r). This
if r ∈
proves the second inclusion. Now by the spherical coordinates formulas
derived in section 3,
Z 1+δ
(1 + δ)d − (1 − δ)d
m(B̂ × [1 − δ, 1 + δ]) = σ(B̂) rd−1 dr = σ(B̂),
1−δ d
so
m(B̂ × [1 − δ, 1 + δ]) 1 (1 + δ)d − (1 − δ)d
= σ(B̂).
2δ d 2δ
d d
−(1−δ)
Since (1+δ) 2δ is a difference quotient for the function f (x) = xd
d d 1
at x = 1, it approaches dx x |x=1 = d as δ → 0, so 2δ m(B̂ × [1 − δ, 1 +
δ]) → σ(B̂). Similarly,
1 1 (1 + δ)d − (1 − δ)d
m(Bδ0 × [1 − δ, 1 + δ]) = σ(Bδ0 ).
2δ d 2δ
As δ → 0, this approaches limδ→0 σ(Bδ0 ) (provided the latter exists,
of course). Now since the Bδ0 are nested and ∩Bδ0 = B̂, lim σ(Bδ0 ) =
σ(B̂) = σ(B̂) by the continuity of measures. (It hardly bears pointing
out here that σ(Bδ0 ) are all finite.) By the Sandwich Theorem,
1
µ(B̂ δ ) = lim m(B̂ δ ) = σ(Bδ0 ).
δ→0 2δ
Then
p 1
dσ = 1 + |∇F |2 dx = sin θ cos θdθdφ = sin θdθdφ.
cos θ
107
(b) Show that τ is ergodic (in fact, mixing) if and only if A has no eigen-
values of the form e2πip/q , where p and q are integers.
(c) Note that τ is never uniquely ergodic. (Hint.)
Solution.
(a) Duly noted.
OK, I guess I’m supposed to prove it. :-) Since A is a linear isomor-
phism, A−1 is as well. Let E ⊂ Td be measurable, and let Ẽ be the
corresponding subset of the unit cube in Rd . Then
µ(A−1 E) = m(A−1 (Ẽ)) = | det A−1 |m(Ẽ) = m(Ẽ) = µ(E)
where µ is the measure on Td induced by the Lebesgue measure m on
Rd .
(b) Suppose that A has an eigenvector of the form e2πip/q ; then AT does
as well, since it has the same characteristic polynomial. Then (AT )q
has 1 as an eigenvector. Since AT − I has all rational entries, there is a
(nonzero) eigenvector in Qd , and hence, by scaling, in Zd . Let n ∈ Zd
with (AT )q n = n. Consider the function f (x) = e2πin·x for x ∈ Td .
T k
Then since n · (Ax) = (AT n) · x, T k f (x) = e2πi((A ) n)·x . The averages
of this function are
m−1
1 X 2πi((AT )k n)
Am f (x) = e .
m
k=0
k+q k
But T f = T f for all k, so Ajq f (x) = Aq f (x) for any integer j.
Since Aq f (x) is not zero (it is a linear combination of exponentials
with distinct periods, since we may assume WLOG that R q is as small
as possible), the averages do not converge a.e. to Td f (x)dx = 0.
Hence τ cannot be ergodic.
On the other hand, suppose A has no eigenvector e2πip/q . Let f (x) =
e2πin·x and g(x) = e2πim·x for any m, n ∈ Zd . Then
Z
T k
hT k f, gi = e2πi((A ) n−m)·x dx.
Td
If m = n = 0 the integrand is 1 and the integral is 1 = hf, gi for all k.
If m and n are not both zero, then (AT )k n − m) is eventually nonzero;
if not, there would be values k1 and k2 at which it were zero, but then
(AT )k1 n = (AT )k2 n so (AT )k1 n is an eigenvector of (AT )k2 −k1 with
eigenvalue 1. (Since A is invertible, this eigenvector is nonzero). This
then implies that A has an eigenvector which is a (k2 − k1 )th root of
unity, a contradiction. Thus, (AT )k n − m is eventually nonzero, so
hT k f, gi is eventually equal to 0 = hf, gi. Hence T is mixing.
As a side note, the fact that (1 is an eigenvalue of Ak ) implies (some kth
root of 1 is an eigenvalue of A) is not completely trivial. The converse
is trivial, of course, but this direction is not if A is not diagonalizable
(at least not for any reason that I’ve found). It follows, however, from
the Jordan canonical form. If Jm (λ) is a Jordan block of size m with
λ on the diagonal, then Jm (λ)k is triangular with λk on the diagonal,
so it has λk as a k-fold eigenvalue. This implies that the algebraic
multiplicity of λk in Ak is the same as the algebraic multiplicity of λ
109
Problem 8: Let X = [0, 1), τ (x) = h1/xi, x 6= 0, τ (0) = 0. Here hxi denotes
dx
the fractional part of x. With the measure dµ = log1 2 1+x , we have of course
µ(X) = 1.
Show that τ is a measure-preserving transformation.
But
∞
Y (n + a + 1)(n + b) 1+b
=
n=1
(n + a)(n + b + 1) 1+a
because the product telescopes; all terms cancel except 1 + b on the top
and 1 + a on the bottom. Hence
−1 1 1+b
µ(τ ((a, b)) = log = µ((a, b)).
log 2 1+a
Since τ is measure-preserving on intervals and these generate the Borel sets,
it is measure-preserving.
Note: By following the hint and telescoping a sum rather than a product,
it is possible to prove τ is measure-preserving for all Borel sets directly
rather than proving it for intervals and then passing to all Borel sets. Let
E ⊂ [0, 1) be Borel, let E + k denote the translates of E, and 1/(E + k) =
{1/(x + k) : x ∈ E}. Since
∞ ∞
1 X 1 1 X 1
= − = ,
1+x k+x k+1+x (k + x)(k + 1 + x)
k=1 k=1
110
it follows that
Z
1 1
µ(E) = dx
log 2 E 1 + x
Z X∞
1 1
= dx
log 2 E k=1 (x + k)(x + k + 1)
∞
XZ
1 1
= dx
log 2 (x + k)(x + k + 1)
k=1 E
∞ Z
1 X 1
= dx
log 2 E+k x(x + 1)
k=1
Solution.
(a) Since
∞ ∞
!
[ [
f (E) = f E ∩ [n, n + 1] = f (E ∩ [n, n + 1]),
n=−∞ n=−∞
Solution. Suppose to the contrary that dim ∪Ek > α. Choose α0 with
α < α0 < dim ∪Ek . Then mα0 (∪Ek ) = ∞ because α0 < dim ∪Ek . But
mα0 (Ek ) = 0 for each k because α0 > dim Ek , which implies mα0 (∪Ek ) ≤
P
mα0 (Ek ) = 0 by countable subadditivity. This is a contradiction, so
dim ∪Ek ≤ α.