MATH 421/510 Assignment 5
Suggested Solutions
April 2018
1. Given any point t0 ∈ [0, 2π], show using the uniform boundedness principle that there exists a continuous 2π-periodic function whose Fourier series diverges at t0. We sketched a proof of this result in class. Fill in the details.
Proof. Consider the N-th Dirichlet kernel
N X int DN (t) := e . n=−N
It is a fact that the partial sum sequence SN f(t) = (DN ∗ f)(t), where the integral defining the convolution is normalized by a factor 1/2π:
1 Z π SN f(t) = DN (t − s)f(s)ds. 2π −π We show this in several steps, using contradiction. Suppose for all f ∈ C[−π, π], we have SN f(t0) → f(t0). Then:
(a) The mapping lN : f 7→ SN f(t0) is linear and bounded from C[−π, π] :=
(C[−π, π], k·k∞) to C, with a supN klN k ≤ C < ∞. This is a result of the uniform boundedness principle.
(b) We show that this implies that SN is bounded from C[−π, π] to C[−π, π], with the bound independent of N. Indeed, given f ∈ C[−π, π], suppose |SN f| attains its maximum at t1. Consider the translated function g(t) := f(t + t1 −
t0), which has kgk∞ = kfk∞ and SN g(t0) = SN f(t1). Hence
kSN fk∞ = |SN f(t1)| = |SN g(t0)| ≤ Ckgk∞ = Ckfk∞.
(c) We state a special case of the Young’s convolution theorem: Theorem 1. Let (X, µ) be a measure space, and g be a measurable function. The convolution operator T : f 7→ f ∗ g is bounded from L∞ to L∞ if and only 1 if g ∈ L . Moreover, kT k ∞ ∞ = kgk . L →L L1
Now in our situation, supN kSN k < ∞ implies that supN kDN k1 < ∞.
1 (d) Lastly, we show the above cannot happen. Direct computation shows that