The duality condition for Weyl-Heisenberg frames

We present formulations of the condition of duality for Weyl-Heisenberg systems in the time domain, the frequency domain, the time-frequency domain, and, for rational time-frequency sampling factors, the Zak transform domain, both for the one-dimensional time-continuous case and the one-dimensional time-discrete case. Many of the results we obtain are presented in the more general framework of shift-invariant systems or filter banks, and we establish, for instance, relations with the polyphase matrix approach from filter bank theory. The formulation of the duality condition in various domains is notably useful for the design of perfect reconstructing shift-invariant Weyl-Heisenberg analysis and synthesis systems under restrictions of the constituent filter responses which may be stated in any of the domains just mentioned. In all considered domains we present formulas for frame operators and frame bounds, and we compute and characterize minimal dual systems.