1150 CHAPTER 33. FOURIER ANALYSIS IN Rn

Lemma 33.5.5 Let f ∈ Lp (U) and let

wi (x)≡∫

UΦ,i (x−y) f (y)dy.

Then wi, j ∈ Lp (U) for each j = 1 · · ·n and the map f → wi, j is continuous and linear onLp (U).

Proof: First let f ∈C∞c (U). For such f ,

wi (x) =∫

UΦ,i (x−y) f (y)dy =

∫Rn

Φ,i (x−y) f (y)dy

=∫Rn

Φ,i (y) f (x−y)dy =∫

BΦ,i (y) f (x−y)dy

and

wi, j (x) =∫

BΦ,i (y) f, j (x−y)dy

=∫

B\B(0,ε)Φ,i (y) f, j (x−y)dy+

∫B(0,ε)

Φ,i (y) f, j (x−y)dy.

The second term converges to 0 because f, j is bounded and by 33.5.65, Φ,i ∈ L1loc. Thus

wi, j (x) =∫

B\B(0,ε)Φ,i (y) f, j (x−y)dy+ e(ε)

=∫

B\B(0,ε)−(Φ,i (y) f (x−y)), j +Φ,i j (y) f (x−y)dy+ e(ε)

where e(ε)→ 0 as ε → 0. Using the divergence theorem, this yields

wi, j (x) =∫

∂B(0,ε)Φ,i (y) f (x−y)n jdσ +

∫B\B(0,ε)

Φ,i j (y) f (x−y)dy+ e(ε).

Consider the first term on the right. This term equals, after letting y = εz,

εn−1

∫∂B(0,1)

Φ,i (εz) f (x−εz)n jdσ = Cnεn−1

∫∂B(0,1)

ε1−nziz j f (x−εz)dσ (z)

= Cn

∫∂B(0,1)

ziz j f (x−εz)dσ (z)

and this converges to 0 if i ̸= j and it converges to

Cn f (x)∫

∂B(0,1)z2

i dσ (z)

if i = j. Thus

wi, j (x) =Cnδ i j f (x)+∫

B\B(0,ε)Φ,i j (y) f (x−y)dy+ e(ε).

1150 CHAPTER 33. FOURIER ANALYSIS IN R"Lemma 33.5.5 Let f € L? (U) and letw(x) = [ &i(x—y) sf y)dy.Then w;,; € L? (U) for each j = 1---n and the map f — wj,j is continuous and linear onLP (U).Proof: First let f € Ce (U). For such f,Wi (x)[ei soar | ix-y)fy)ayU R"[es Fx-yay= [aly Fx—y)ayandwis) = [ aly)Lj(x—y)ay= Lrwoe ® i (y) fj (x—Y) a+ Joao ® i (y) fj (x—y) dy.The second term converges to 0 because f; is bounded and by 33.5.65, ®; € L! . Thusloc’wi) =f bily)fi(x-y)dy tele)B\B(0,e)= [ -@ily) f(x-y)) + Oui) FR-y)dy +e()JB\B(0,2) ,where e(€) + 0 as € + 0. Using the divergence theorem, this yieldswig) = agg ROL -)mido | Pulld) Fx-y)dy tele)\B(0,€Consider the first term on the right. This term equals, after letting y = €z,ent | ® ;(€ —ez)ndo = ce" | e! "zz. f (x—ez) doaB(0,1) s (€2) f (xen) nj aB(0,1) Ziti f (X—€4) do (2)C, | zz f (x—éz)do(z" OB(0,1) ~ ( ) ( )and this converges to Oifi # J and it converges toCif (x) | do (z)aB(0,1)if i= j. Thuswij) =Gdul I+ fg, Pi VLMa rele)