Beruflich Dokumente
Kultur Dokumente
HW5
5.1 Show that the Fourier transform has properties 5.1(2), (3) and (4).
Proof. These properties are obviously true for L1 -functions by the properties of the
Lebesgue integrabl. Using the approximating sequences in L1 ∩ L2 , one can show
that these properties also hold for function in L2 .
5.2 Prove the Riemann-Lebesgue lemma mentioned in Sect 5.1.
Proof. The Fourier transform defines a bounded linear map F from L1 (R) to L∞ (R)
and
(1.1) kF(f )k∞ ≤ Ckf kL1 , f ∈ L1 (R),
where F(f ) = fb. Suppose f is a smooth function with compact support. Then
kf 0 kL1
|fb(k)| ≤ C =⇒ lim |fb(k)| = 0.
|k| k→∞
≤ kb
gn kq0 kfbn − fbkp0 + kfbkp0 kb
gn − gbkq0 .
0 0
Since fbn → fb in Lp and gbn → gb in Lq , then (b
gn ) is bounded and therefore
lim kf\
n ∗ gn − f g
bbkr0 = 0.
n→∞
Since fn → f in Lp and gn → g in Lq , then (gn ) is bounded and therefore
lim kf kp kgn − gkq + kf − fn kp kgn kq = 0.
n→∞
This shows that |ga (k)| ≤ Cn kDα f kL1 for some constant Cn depending on n only
for each α ∈ Zn+ . One can show that the statement is true for any a.
5.7 Verify formula 5.10 (3).
Proof. Simple Calculus.
5.8 Show that
f ∗ g = (fbgb)∨ .
Proof. Using the Fourier inversion formula, you can show that this identity is true
by taking the approximating sequences.
5.9 Verify 5.6 (1) cannot hold when p > 2 by considering Gaussian functions.
Proof. Show that
kb
gλ kq
lim =∞
λ→∞ kgλ kp
kb
gλ k q
by direct calculating kgλ kp .