Chapter 14

Basis Properties of Fourier Series

[7/100%]
Show
LaTeX
Problem 14.1

Prove Lemma 14.1.

?
Remark.
?

Lemma 14.1: Given f∈L1(T)f \in L^{1}(\mathbf{T}) and N∈NN \in \mathbb {N}, we have SNof=MNSNM−NfS_{N}^{\mathrm{o}} f = M_{N} S_{N} M_{-N} f.

Problem 14.2

Finish the proof of Theorem 14.2.

?
Problem 14.3
?
(a)

Suppose that f∈C(T),f(0)=0f \in C(\mathbf{T}), f(0) = 0, and ff is differentiable at x=0x = 0. Show that g(x)=f(x)/(e−2πix−1)∈C(T)g(x) = f(x) /\left(e^{-2 \pi i x}-1\right) \in C(\mathbf{T}) and

∑k=−NNf^(k)=g^(N+1)−g^(−N) \sum _{k = -N}^{N} \widehat{f}(k) = \widehat{g}(N+1)-\widehat{g}(-N)

Conclude that the symmetric partial sums of the Fourier series for ff converge at the point x=0x = 0 to f(0)f(0).

(b)

Show that if f∈C(T)f \in C(\mathbf{T}) is differentiable at a point x∈Tx \in \mathbf{T}, then

lim⁡N→∞∑k=−NNf^(k)e2πikx=f(x) \lim _{N \rightarrow \infty } \sum _{k = -N}^{N} \widehat{f}(k) e^{2 \pi i k x} = f(x)
Problem 14.4
?
(a)

Suppose that g∈L1(T)g \in L^{1}(\mathbf{T}). Show that gg is real valued if and only if g^(n)‾=g^(−n)\overline{\widehat{g}(n)} = \widehat{g}(-n) for n∈Zn \in \mathbb {Z}.

(b)

Show that if f∈A(T)f \in A(\mathbf{T}) is real valued, then its conjugate function HfH f is also real valued.

Problem 14.5

Prove Theorem 14.6.

?
Remark.
?

Theorem 14.6: The Fourier algebra A(T)A(\mathbf{T}) admits conjugation, and if f∈A(T)f \in A(\mathbf{T}), then the twisted partial sums SNtfS_{N}^{\mathrm{t}} f converge to HfH f in LpL^{p}-norm for each 1≤p≤∞1 \leq p \leq \infty: for all f∈A(T)f \in A(\mathbf{T}) and 1≤p≤∞1 \leq p \leq \infty, lim⁡N→∞∥Hf−SNtf∥Lp=0\lim_{N \rightarrow \infty }\left\| H f-S_{N}^{\mathrm{t}} f\right\|_{L^{p}} = 0.

Problem 14.6

Finish the proof of Theorem 14.7.

?
Problem 14.7

Given 1<p<∞1 < p < \infty, show that conjugation is bounded on Lp(T)L^{p}(\mathbf{T}) if and only if it is bounded on Lp′(T)L^{p^{\prime }}(\mathbf{T}).

?