Sufficient conditions for irregular Gabor frames (Q877782): Difference between revisions

The context of the paper are atomic time-frequency decompositions. A fundamental question in Gabor analysis is to find general and verifiable conditions for which Gabor systems yield frames for the Hilbert space of square integrable functions. For relatively uniformly discrete and sufficiently dense time-frequency sequences \textit{H. G. Feichtinger} and \textit{K. H. Gröchenig} [Monatsh. Math. 108, No. 2--3, 129--148 (1989; Zbl 0713.43004)] proved that Gabor systems allow series expansions for a large class of Banach spaces if the window function is sufficiently smooth. This implies that such a Gabor system yields a frame of \(L^2(\mathbb{R}^d)\). Their original proof is based on abstract analysis and does not give quantitative information on the choice of a suitable lattice and is hence of mainly theoretical interest. In the present paper a constructive proof of the above result is given using classical analysis. A criterion for the general case is derived together with some explicit time-frequency densities for some cases. The authors also show that for several smooth window functions the corresponding Gabor system is incomplete for abitrary time-frequency lattices.