Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Background: I have a function $g(\omega)\in C^{\infty}(\mathbb{R})$, which vanishes like $O(|\omega|^{-\beta})$ at infinity for some $\beta>0$.

This answer states that functions that decays "too slowly" failes to be in $\mathcal{F}L^1(\mathbb{R})$, and exercise VI.1.7 of Kaznelson's "An Introduction to Harmonic Analysis" states that $C^{2}_{c}(\mathbb{R})\subset\mathcal{F}L^1(\mathbb{R})$.

Problem: Can we deduce $g\in \mathcal{F}L^1(\mathbb{R})$ from these conditions? Heuristically, the decay condition means that $\hat{g}$ should not have singularities of "order $\geq1$" , and therefore $\hat{g}$ should be locally integrable. Can this intuition be made precise?

share|improve this question

This question has an open bounty worth +50 reputation from Chen Wang ending in 7 days.

This question has not received enough attention.

1 Answer 1

This does not follow. There are compactly supported, finite, purely singular measures $\mu$ whose Fourier transform has power decay: $|\widehat{\mu}(x)|\lesssim (1+|x|)^{-\beta}$; for more background, you can search for Fourier dimension, for example on this site.

This function $g=\widehat{\mu}$ satisfies all your conditions, but its Fourier transform $\mu$ is not an integrable function.

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.