Exponential sums with coefficients $0$ or $1$ and concentrated $L^p$ norms

Anderson, B.; Ash, J. M.; Jones, R. L.; Rider, D. G.; Saffari, B.

Annales de l'Institut Fourier, Tome 57 (2007) no. 5, pp. 1377-1404.

Une somme d’exponentielles de la forme $f\left(x\right)=exp\left(2\pi i{N}_{1}x\right)+exp\left(2\pi i{N}_{2}x\right)+···+exp\left(2\pi i{N}_{m}x\right)$, où les $N_k$ sont des entiers distincts, est appelée un polynôme trigonométrique idempotent (car $f*f=f$) ou, simplement, un idempotent. Nous prouvons que pour tout réel $p>1$, et tout $E\subset 𝕋=ℝ/\mathbb{Z}$ avec $\left|E\right|>0,$ il existe des idempotents concentrés sur $E$ au sens de la norme $L^p$. Plus précisément, pour tout $p>1,$ nous calculons explicitement une constante $C_p>0$ telle que pour tout $E$ avec $\left|E\right|>0$, et tout réel $ϵ>0$, on puisse construire un idempotent $f$ tel que le quotient ${\left({\int }_E{\left|f\right|}^p/{\int }_{𝕋}{\left|f\right|}^p\right)}^{1/p}$ soit supérieur à $C_p-ϵ$. Ceci est en fait un théorème de minoration qui, bien que non optimal, est proche du meilleur résultat que notre méthode puisse fournir. Nous présentons également des considérations heuristiques et aussi numériques concernant le problème (toujours ouvert) de savoir si le phénomène de concentration $L^p$ a lieu ou non pour $p=1$.

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 idempotent trigonometric polynomial (because the convolution of $f$ with itself is $f$) or, simply, an idempotent. 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 explicitly calculated 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 not optimal, it is close to the best that our method gives. We also give both heuristic and computational evidence for the still open problem of whether the $L^p$ concentration phenomenon fails to occur when $p=1.$

Classification : 42A05, 42A10, 42A32
Keywords: Idempotents, idempotent trigonometric polynomials, $L^{p}$ norms, Dirichlet kernel, concentrating norms, sums of exponentials, $L^{1}$ concentration conjecture, weak restricted operators.
Mot clés : idempotents, polynômes trigonométriques idempotents, normes $L^{p}$, noyau de Dirichlet, concentration de normes, sommes d’exponentielles, conjecture de concentration en norme $L^{1}$, opérateurs faiblement restreints.

[1] Anderson, Bruce; Ash, J. Marshall; Jones, Roger L.; Rider, Daniel G.; Saffari, Bahman $L^p$ norm local estimates for exponential sums, C. R. Acad. Sci. Paris Sér. I Math., Volume 330 (2000) no. 9, pp. 765-769 | DOI | MR | Zbl

[2] Ash, J. Marshall Weak restricted and very restricted operators on $L^2$, Trans. Amer. Math. Soc., Volume 281 (1984) no. 2, pp. 675-689 | MR | Zbl

[3] Ash, J. Marshall Triangular Dirichlet kernels and growth of $L^p$ Lebesgue constants (2004) (preprint, http://condor.depaul.edu/~mash/YudinLp.pdf)

[4] Ash, J. Marshall; Jones, Roger L.; Saffari, Bahman Inégalités sur des sommes d’exponentielles, C. R. Acad. Sci. Paris Sér. I Math., Volume 296 (1983) no. 22, pp. 899-902 | Zbl

[5] Cowling, Michael Some applications of Grothendieck’s theory of topological tensor products in harmonic analysis, Math. Ann., Volume 232 (1978) no. 3, pp. 273-285 | DOI | Zbl

[6] Déchamps, Myriam; Queffélec, Hervé; Piquard, Françoise Estimations locales de sommes d’exponentielles, Harmonic analysis: study group on translation-invariant Banach spaces (Publ. Math. Orsay), Volume 84, Univ. Paris XI, Orsay, 1984, pp. Exp. No. 1, 16 | Zbl

[7] Dechamps-Gondim, Myriam; Piquard-Lust, Françoise; Queffélec, Hervé Estimations locales de sommes d’exponentielles, C. R. Acad. Sci. Paris Sér. I Math., Volume 297 (1983) no. 3, pp. 153-156 | Zbl

[8] Harman, Glyn Metric number theory, London Mathematical Society Monographs. New Series, 18, The Clarendon Press Oxford University Press, New York, 1998 | MR | Zbl

[9] Kahane, Jean-Pierre, 1982 (personal communication)

[10] Kahane, Jean-Pierre Some random series of functions, Cambridge Studies in Advanced Mathematics, 5, Cambridge University Press, Cambridge, 1985 | MR | Zbl

[11] Körner, T. W. Fourier analysis, Cambridge University Press, Cambridge, 1989 | MR | Zbl

[12] Montgomery, H. L., November 1980 and October 1982 (personal communications)

[13] Nazarov, F. L.; Podkorytov, A. N. The behavior of the Lebesgue constants of two-dimensional Fourier sums over polygons, St. Petersburg Math. J., Volume 7 (1996), pp. 663-680 | MR | Zbl

[14] Pichorides, S. K., 1980 (personal communication)

[15] Yudin, A. A.; Yudin, V. A. Polygonal Dirichlet kernels and growth of Lebesgue constants, Mat. Zametki, Volume 37 (1985) no. 2, p. 220-236, 301 English translation: Math. Notes, 37 (1985), no. 1-2, 124–135 | MR | Zbl

[16] Zygmund, A. Trigonometric series. 2nd ed. Vols. I, II, Cambridge University Press, New York, 1959 | MR | Zbl