Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose I have two functions continuous functions $f,g \in \mathcal{S}(\Bbb{R})$, the Schwartz space. Now I know that the following multiplicative formula holds. Namely, if $\hat{g}$ denotes the Fourier transform of $g$ and similarly for $f$, we have that

$$\int_{\Bbb{R}} f(x)\hat{g}(x)dx = \int_{\Bbb{R}} \hat{f}(y)g(y) dy.$$

Now I am reading the proof of this fact in Stein and Shakarchi volume 1 and it seems that we do not even need $f,g$ to be in the Schwartz space. Them being of moderate decrease is enough, namely there is a constant $A$ such that

$$|f(x)| \leq \frac{A}{1+x^2}$$

and similarly for $g$. Am I right in saying this?

Thanks.

share|improve this question
1  
Yes, and we can check it by Fubini's theorem. –  Davide Giraudo Oct 22 '12 at 8:21
    
Sure, $x^{-2}$ is integrable right? The only issue is $0$. So add the $1$ and done. Fubini only requires integrability. –  Jonas Teuwen Oct 22 '12 at 13:21

1 Answer 1

up vote 2 down vote accepted

Let $H(x,y):=f(x)g(y)e^{-ixy}$. As $|H(x,y)|\leq \frac{A^2}{(1+x^2)(1+y^2)}$, $H$ is integrable over $\mathbb R^2$. So, by Fubini's theorem, $$\int_{\Bbb R}f(x)\widehat g(x)dx=\int_{\Bbb R^2}f(x)g(y)e^{-ixy}dydx=\int_{\Bbb R^2}f(x)e^{-ixy}g(y)dxdy=\int_{\Bbb R}\widehat f(y) g(y)dy.$$

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.