Frames of multi-windowed exponentials on subsets of \(\mathbb R^d\) (Q2450941)

The authors investigate the conditions for a multi-windowed family \[ \cup_{j=1}^{q}\{g_{j}(x)e^{2\pi i<\lambda, x>}: \lambda\in\Lambda_{j}\} \] of exponentials to be a frame for a subspace \(L^{2}(\Omega)\), where \(\Omega\) is a subset of \(\mathbb R^{d}\) and \(\Lambda_{j}\) is a discrete subset for each \(j\). They prove that such a family can not be a frame if \(\Omega\) has infinity Lebesgue measure. In the case that the measure of \(\Omega\) is finite, they prove that a necessary and sufficient condition for the windows \(g_{j}\) to form a frame of windowed exponentials for \(L^{2}(\Omega)\) with some \(\Lambda_{j}\) is that there is a subset \(J\) of \(\{1,\dots, q\}\) such that all the functions \(g_{j}\) (\(j\in J\)) are bounded from both below and above.