English

Periodicity of the spectrum in dimension one

Classical Analysis and ODEs 2012-02-22 v2 Functional Analysis

Abstract

A bounded measurable set Ω\Omega, of Lebesgue measure 1, in the real line is called spectral if there is a set Λ\Lambda of real numbers ("frequencies") such that the exponential functions eλ(x)=exp(2πiλx)e_\lambda(x) = \exp(2\pi i \lambda x), λΛ\lambda\in\Lambda, form a complete orthonormal system of L2(Ω)L^2(\Omega). Such a set Λ\Lambda is called a {\em spectrum} of Ω\Omega. In this note we prove that any spectrum Λ\Lambda of a bounded measurable set Ω\RR\Omega\subseteq\RR must be periodic.

Keywords

Cite

@article{arxiv.1108.5689,
  title  = {Periodicity of the spectrum in dimension one},
  author = {Alex Iosevich and Mihail N. Kolountzakis},
  journal= {arXiv preprint arXiv:1108.5689},
  year   = {2012}
}

Comments

Correction of an error pointed out by Dorin Dutkay; Lemma 1 now has a new proof