Overcomplete reproducing pairs (Q6914845)

The paper deals with systems that are overcomplete by finitely many elements. Section 2 shows that if an exact sequence has a reproducing partner, then it is a Schauder basis. This result is exploited to show that certain sequences do not have reproducing partners, in particular, the Gaussian Gabor system. Theorem 2.2 is the heart of the paper, which characterizes systems that are overcomplete by finitely many elements.\N\NSection 3 applies the results of Section 2 to sequences of weighted exponentials. Theorem 3.1 uses references [\textit{G. J. Yoon} and \textit{C. Heil}, Acta Appl. Math. 119, No. 1, 97--112 (2012; Zbl 1261.42056)] and [\textit{A. Sh. Shukurov}, Vestn. Samar. Univ., Estestvennonauchn. Ser. 24, No. 1, 14--19 (2018; Zbl 1428.42065)] for the proof and, in conjunction with Theorem 2.2 and Corollary 3.2, it gives a class of sequences that do not have a reproducing pair.\N\NSection 4 deals with Gabor systems and reproducing pairs. Lemma 4.1 proves the existence of certain functions in $L^2(Q)$. This lemma helps in proving Theorem 4.2, which is parallel to Theorem 3.1. Theorem 4.2 states that $G(g,Z^2)$ is overcomplete by one element, and the removal of even one element deprives it of being a Schauder basis, and hence, by Theorem 2.2, it does not have a reproducing partner. It is also shown that the Gaussian Gabor system at the critical density does not possess a reproducing partner. Section 5 generalises Theorem 2.2 to sequences that are overcomplete by a finite $(>1)$ number of elements.