Exponential Riesz bases in $L^2$ on two interval
Yurii Belov, Mikhail Mironov
TL;DR
This work develops a framework for exponential bases on the union of two intervals by linking Riesz bases in $L^2(E)$ to complete interpolating sequences for the Paley-Wiener space $PW_E$. It introduces a generating function $F$ and an auxiliary zero set $ ext{T}$ to formulate sufficient conditions (Theorem suff) that ensure $ ext{Λ}$ is complete interpolating for $PW_E$, with a crucial positivity condition (iii) and a near-necessity perspective. The authors prove several interlinked results about minimality and completeness of conjugate and mixed systems, derive necessary conditions for the zeros $ ext{T}$, and establish an \'extra point\' phenomenon when gluing intervals, including concrete examples. The paper also provides constructive methods and explicit examples (including two equal-length intervals) that generate wide classes of complete interpolating sequences for $PW_E$ and demonstrates how one-point adjustments can affect completeness for the glued set $PW_{E^g}$.
Abstract
We give sufficient conditions for the exponential system to be a Riesz basis in $L^2(E)$, where $E$ is a union of two intervals. We show that these conditions are close to be necessary. In addition, we demonstrate ``extra point effect'' for such systems, i.e. it may happen that the Riesz basis in $L^2(E)$ differs by one point from the Riesz basis on an interval.
