English

A note on exponential Riesz bases

Classical Analysis and ODEs 2022-08-02 v2

Abstract

We prove that if I=[a,b)I_\ell = [a_\ell,b_\ell), =1,,L\ell=1, \ldots, L, are disjoint intervals in [0,1)[0,1) with the property that the numbers 1,a1,,aL,b1,,bL1, a_1, \ldots, a_L, b_1, \ldots, b_L are linearly independent over Q\mathbb{Q}, then there exist pairwise disjoint sets ΛZ\Lambda_\ell \subset \mathbb{Z}, =1,,L\ell=1, \ldots, L, such that for every J{1,,L}J \subset \{ 1, \ldots , L \}, the system {e2πiλx:λJΛ}\{e^{2\pi i \lambda x} : \lambda\in \cup_{\ell \in J} \, \Lambda_\ell \} is a Riesz basis for L2(JI)L^2 ( \cup_{\ell \in J} \, I_\ell). Also, we show that for any disjoint intervals II_\ell, =1,,L\ell=1, \ldots, L, contained in [1,N)[1,N) with NNN \in \mathbb{N}, the orthonormal basis {e2πinx:nZ}\{e^{2\pi i n x} : n \in \mathbb{Z} \} of L2[0,1)L^2[0,1) can be complemented by a Riesz basis {e2πiλx:λΛ}\{e^{2\pi i \lambda x} : \lambda\in\Lambda\} for L2(=1LI)L^2(\cup_{\ell=1}^L \, I_{\ell}) with some set Λ(1NZ)\Z\Lambda \subset (\frac{1}{N} \mathbb{Z}) \backslash \mathbb{Z}, in the sense that their union {e2πiλx:λZΛ}\{e^{2\pi i \lambda x} : \lambda\in \mathbb{Z} \cup \Lambda\} is a Riesz basis for L2([0,1)I1IL)L^2 ( [0,1) \cup I_1 \cup \cdots \cup I_L ).

Cite

@article{arxiv.2110.07988,
  title  = {A note on exponential Riesz bases},
  author = {Andrei Caragea and Dae Gwan Lee},
  journal= {arXiv preprint arXiv:2110.07988},
  year   = {2022}
}
R2 v1 2026-06-24T06:54:57.519Z