1114 CHAPTER 32. FOURIER TRANSFORMS

=

(∫ ∫ ∫ψ (x−y)eiy·y1eiy1·zφ (z)dzdy1dy

)(2π)n

=

(∫ ∫ ∫ψ (x−y)e−iy·ỹ1e−iỹ1·zφ (z)dzdỹ1dy

)(2π)n

= (ψ ∗FFφ)(x) .

Now for ψ ∈ G ,

(2π)n/2 F(F−1

φF−1 f)(ψ)≡ (2π)n/2 (F−1

φF−1 f)(Fψ)≡

(2π)n/2 F−1 f(F−1

φFψ)≡ (2π)n/2 f

(F−1 (F−1

φFψ))

=

f((2π)n/2 F−1 ((FF−1F−1

φ)(Fψ)

))≡

f(ψ ∗F−1F−1

φ)= f (ψ ∗FFφ) (32.3.18)

Also

(2π)n/2 F−1 (FφF f )(ψ)≡ (2π)n/2 (FφF f )(F−1

ψ)≡

(2π)n/2 F f(FφF−1

ψ)≡ (2π)n/2 f

(F(FφF−1

ψ))

=

= f(

F((2π)n/2 (FφF−1

ψ)))

= f(

F((2π)n/2 (F−1FFφF−1

ψ)))

= f(F(F−1 (FFφ ∗ψ)

))f (FFφ ∗ψ) = f (ψ ∗FFφ) . (32.3.19)

The last line follows from the following.∫FFφ (x−y)ψ (y)dy =

∫Fφ (x−y)Fψ (y)dy

=∫

Fψ (x−y)Fφ (y)dy

=∫

ψ (x−y)FFφ (y)dy.

From 32.3.19 and 32.3.18 , since ψ was arbitrary,

(2π)n/2 F(F−1

φF−1 f)= (2π)n/2 F−1 (FφF f )≡ f ∗φ

which shows 32.3.17.