Advanced Search

A sum of exponentials of the form $f\left(x\right)=exp\left(2\pi i{N}_{1}x\right)+exp\left(2\pi i{N}_{2}x\right)+\cdots +exp\left(2\pi i{N}_{m}x\right)$, where the $N_k$ are distinct integers is called an (because the convolution of $f$ with itself is $f$) or, simply, an . We show that for every $p\>1,$ and every set $E$ of the torus $𝕋=ℝ/\mathbb{Z}$ with $\left|E\right|\>0,$ there are idempotents concentrated on $E$ in the $L^p$ sense. More precisely, for each $p\>1,$ there is an constant $C_p\>0$ so that for each $E$ with $\left|E\right|\>0$ and $ϵ\>0$ one can find an idempotent $f$ such that the ratio ${\left({\int }_E{\left|f\right|}^p/{\int }_{𝕋}{\left|f\right|}^p\right)}^{1/p}$ is greater than $C_p-ϵ$. This is in fact a lower bound result and, though optimal, it is close to the...