5
$\begingroup$

I'm sure that this is classical--but can anyone provide a reasonable example of an $L^\infty(\mathbb{T})$ function whose Fourier series is $\ell^2$ but no better? Not even $L^2\log L$? Presumably one exists but nothing has come to my mind. I'm trying to understand just how far one can stretch a (version of a) particular conjecture on Boolean functions, the Fourier Entropy-Influence conjecture.

$\endgroup$
1
  • 2
    $\begingroup$ I haven't got my copy of Katznelson's Introduction to Harmonic Analysis at hand, but that is one place I would look for information or an example $\endgroup$
    – Yemon Choi
    Commented Feb 8, 2017 at 23:38

1 Answer 1

4
$\begingroup$

A theorem due to Kahane, Katznelson and de Leeuw says that for any sequence $(a_n)_{n\in \mathbb{Z}}$ belonging to $\ell_2$ there is a continuous function $f \in C(\mathbb{T})$ such that $|\widehat{f}(n)| \geqslant |a_n|$, so in general you don't get anything better than $\ell_2$. The proof can be found in Appendix B of Katznelson's book -- the construction is somewhat explicit.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .