# Does there exist a non-negative valued compactly supported function such that its Fourier transform only vanishes at a given point?

My question is as follows: Given $t_0\in\mathbb{R}$. Does there exist a non-negative valued compactly supported function $f\in L^1(\mathbb{R})$ such that its Fourier transform, $\widehat f\left( t \right)$, only vanishes at $t_0$, $-t_0$?

• Well, the Fourier transform of a real-valued function is hermitian, so I think you should at least have $\widehat f(-t_0)=0$ too – leonbloy Jan 28 '15 at 15:10
• Yes. I completely agree with you. – User3101 Jan 28 '15 at 15:12
• So are you looking for a compact-supported, real-valued function such that $\widehat{f}$ vanishes only at $-t_0,0,t_0$ or what? – Jack D'Aurizio Jan 28 '15 at 15:20
• Yes. I wish to construct a function satisfying the given properties. – User3101 Jan 28 '15 at 15:26
• Is $\widehat{f}$ allowed to have complex zeroes other than $t_0,-t_0$? – Jack D'Aurizio Jan 28 '15 at 15:42

Assuming that $f(x)$ is supported on $[-1,1]$ we have that $\widehat{f}(s)$ is an entire function of exponential type $1$ by Paley-Wiener theorem. If $\widehat{f}$ is not allowed to have any complex root out of $\pm t_0$, then $$g(s)=\frac{\widehat{f}(s)}{s^2-t_0^2}$$ is an entire function of exponential type $1$ with no roots, hence $g(s)=\exp(as+b)$ by Hadamard's theorem. In this case, however, by considering the inverse Fourier transform we do not get a real valued function.
• I'm wondering whether or not the inverse Fourier transform of $g$ has compactly supported. – User3101 Jan 28 '15 at 16:17