Is there any $L_1$ function such that its fourier transform is in $L_1$ and the fourier transform is nowhere differentiable? Or every such Fourier transform must be differentiable a.e.?
Nowhere differentiable Fourier transform
1
$\begingroup$
derivatives
fourier-analysis
harmonic-analysis
1 Answers
0
Let $f$ be a bounded, nowhere differentiable function on $\mathbb{R}$. Let $g$ be a standard normal pdf. Then $gf$ is nowhere differentiable and in $L^2$. Also $\hat{(gf)} = \hat{g} * \hat{f} $. The fourier transform of a Gaussian is Gaussian, and convolving with a smooth function makes a smooth function, so $\hat{(gf)}$ is smooth and in $L^2$. So this exhibits a smooth function whose Fourier transform is nowhere differentiable. I think this is correct (?). Does it answer your question?
-
0I guess you should still explain whether/when $\hat g * \hat f$ is $L^1$ – 2017-02-11
-
0I think $\hat{gf}$ may not be in $L^2$. – 2017-02-11
-
0@Chaos My reasoning was that $g \in L^2$ (I think), so because $f$ is bounded, $gf \in L^2$. So the Fourier transform operator sends it to another element in $L^2$. (This latter Fourier transform is defined by extending the usual formula from the dense set of smooth compactly supported functions.) Oh but I see that its not clear the Fourier transform is in $L^1$... and perhaps that is not true? – 2017-02-11
-
0@user8268 I think the best I can do is argue that it is in $L^2$. – 2017-02-11
-
0@AreaMan Oh I see it's in $L^2$. But we can't say it's in $L^1$. There are some counterexamples . – 2017-02-11