Welcome to MathOverflow

Question

0

1

For which $f \in S(R^n)$, the Schwartz class, $\hat f \in D(R^n)$ ?

flag	asked Mar 9 2011 at 13:53 Rahul Gupta 77●6

2

Note that such functions must be real analytic, and take a look at the Paley-Wiener theorem. – Willie Wong Mar 9 2011 at 14:05

2

For instance, check Theorem 7.3.1 in the first volume of Lars Hormander's treatise – Piero D'Ancona Mar 9 2011 at 17:19

Just to expand Willie Wong's comment slightly: the Paley-Wiener Theorem exactly characterises the inverse Fourier transform of $L^2(-A,A)$. Since the Schwartz function $\widehat{f}$ is compactly supported if and only if it is in $L^2(-A,A)$ for some $A$, you immediately get the answer: $f$ extends to an entire function of exponential growth, which is $L^2$ on every horizontal line. See e.g. Wikipedia: en.wikipedia.org/wiki/Paley-Wiener_theorem I quite like the treatment in Koosis, Theory of $H_p$ spaces; many books on Hardy Spaces give it. – Zen Harper Mar 13 2011 at 12:02

2

Let me insist with Hormander's version :)) If you read through the book, you will see that the true spirit of the result is not exactly compact support vs. exponential growth, but, more precisely: if the support is contained in a closed convex set, then you can bound the growth of the F.transform in the dual directions, and viceversa – Piero D'Ancona Mar 29 2011 at 8:48

Michael Renardy · Answer 1 · 2011-03-29 13:54:47Z UTC

2

Gelfand-Shilov, Generalized Functions, Vol. 1 gives a rather extended discussion of this function class, as well as the corresponding class of distributions.

answered Mar 29 2011 at 13:54

Michael Renardy
4,880●1●10●17

Rahul Gupta · Answer 2 · 2011-03-15 06:41:53Z UTC

Hmmm, Paley wiener provides a way through it. Since we have the result,

$\check f $ = $\hat \hat f$ (This result holds for $S(R^n)$,as periodicity of Fourier transform is 4)

Let $C$ ={ $ f \in S(R^n)$ | $\hat f \in D(R^n)$ }

Then we know that $f \in C$, $\check f $ is an entire function with exponential bound. Then $f$ will also be entire function with exponential bound.

Converse of Paley-Wiener Theorem will ensure that this is exactly the class. I hope I didn't make any mistake. :D

Inverse Fourier transform of class of infinitely differentiable function with compact support

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.