Calculus of Variations and Geometric Measure Theory

S. Bertolini - E. Florit-Simon - L. Liehr - Mitchell A. Taylor

Universal completeness of exponentials

created by florit-simon on 03 Oct 2026

[BibTeX]

preprint

Inserted: 3 oct 2026

Year: 2026

ArXiv: 2609.20805 PDF

Abstract:

We consider generalizations of the classical Fourier uniqueness theorem. First, we construct a family of uniformly discrete sets $Λ\subset \mathbb{R}$, of uniform density one, such that the exponential system $\{e^{2πiλx} : λ\in Λ\}$ is complete in $L^p(S)$ for every $1 \leq p < \infty$ and every measurable set $S \subset \mathbb{R}$ with $
S
< 1$. We also show that no set that is asymptotically integer can have this universality property. Additionally, for every $v \in (0,1)$, we construct a set of integer frequencies and uniform density $v$ whose exponential system is complete in $L^p(S)$ for every $1 \leq p < \infty$ and every measurable set $S \subset [0,1]$ with $
S
< v$. Finally, we prove that the Sobolev regularity condition $α> \frac12$ for the existence of uniformly discrete uniqueness sets for spectra with periodic weak gaps, considered by Olevskii and Ulanovskii, is sharp. Our findings admit extensions to higher dimensions and are verified in Lean.