On complete and incomplete exponential systems
Given a bounded domain Ω⊂Rd with positive measure and a finite set A={a1,a2,…,ad}, we say that the set E(A)={e2πix⋅aj}aj∈A is a complete exponential system if for every ξ∈Rd, there exists 1≤j≤d+1 such that \begin{equation} \label{completedef} \int_Ω e^{-2 πi x \cdot (a^j-ξ)} dx \not=0; \end{equation} otherwise E(A) is called an incomplete exponential system. In this paper, we essentially classify complete and incomplete exponential systems when Ω=Bd, the unit ball, and when Ω=Qd, the unit cube. Given a bounded domain Ω, we say that e2πix⋅a,e2πix⋅a′ are ϕ-approximately orthogonal if ∣χΩ(a−a′)∣≤ϕ(∣a−a′∣), a=a′ where ϕ:[0,∞)→[0,∞) is a bounded measurable function that tends to 0 at infinity. We prove that L2(Bd) does not possess a ϕ-approximate orthogonal basis of exponentials for a wide range of functions ϕ. The proof involves connections with the theory of distances in sets of positive Lebesgue upper density originally developed by Furstenberg, Katznelson and Weiss (\cite{FKW90}).