The following theorem is our main result, which is an extension of the validity of range of FIGA.
Theorem 4.7.
[Main Result] There exists
$C>0$
independent of
$p,q,v,m$
such that for
${f}_{1}\in {M}_{m}^{p,q}$
,
${f}_{2}\in {M}_{1/m}^{{p}^{\prime},{q}^{\prime}}$
and
${g}_{1},{g}_{2}\in {M}_{v}^{1}$
, then the following holds:
$${\sum}_{\lambda \in \Lambda}{V}_{{g}_{1}}{f}_{1}\left(\lambda \right)\cdot \overline{{V}_{{g}_{2}}{f}_{2}\left(\lambda \right)}=\Lambda {}^{1}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}{V}_{{g}_{1}}{g}_{2}({\lambda}^{0})\cdot \overline{{V}_{{f}_{1}}{f}_{2}\left({\lambda}^{0}\right)}.$$

Proof.
By Proposition 4.6 we have that
${V}_{{g}_{1}}{f}_{1}\in W(\mathcal{\mathcal{F}}{L}^{1},{L}_{m}^{p,q})$
and
${V}_{{g}_{2}}{f}_{2}\in W(\mathcal{\mathcal{F}}{L}^{1},{L}_{1/m}^{{p}^{\prime},{q}^{\prime}})$
. Therefore an application of Hölder's inequality 10 for Wiener amalgam spaces yields that
${V}_{{g}_{1}}{f}_{1}\cdot \overline{{V}_{{g}_{2}}{f}_{2}}\in W(\mathcal{\mathcal{F}}{L}^{1},{L}^{1})$
.
The inequalities
10 and 16 imply the desired norm estimate: Franz Luef and Hans G. Feichtinger
$$\begin{array}{ccc}\parallel {V}_{{g}_{1}}{f}_{1}\cdot \overline{{V}_{{g}_{2}}{f}_{2}}{\parallel}_{{M}^{1}}& \le & \parallel {V}_{{g}_{1}}{f}_{1}\cdot \overline{{V}_{{g}_{2}}{f}_{2}}{\parallel}_{W(\mathcal{\mathcal{F}}{L}^{1},{L}^{1})}\end{array}$$  
$$\begin{array}{ccc}& \le & C\parallel {V}_{{g}_{1}}{f}_{1}{\parallel}_{W(\mathcal{\mathcal{F}}{L}^{1},{L}_{m}^{p,q})}\parallel {V}_{{g}_{2}}{f}_{2}{\parallel}_{W(\mathcal{\mathcal{F}}{L}^{1},{L}_{1/m}^{{p}^{\prime},{q}^{\prime}})}\end{array}$$  
$$\begin{array}{ccc}& \le & C\parallel {g}_{1}{\parallel}_{{M}_{v}^{1}}\parallel {g}_{2}{\parallel}_{{M}_{v}^{1}}\parallel {f}_{1}{\parallel}_{{M}_{m}^{p,q}}\parallel {f}_{2}{\parallel}_{{M}_{1/m}^{{p}^{\prime},{q}^{\prime}}}.\end{array}$$  
Therefore our object of interest is in
${M}^{1}\left({\mathbb{R}}^{d}\right)$
and an application of Poisson summation yields the desired result. □
As an application of Theorem 4.7 we derive the known results about the validity of the FIGA. The first result was obtained by Feichtinger/Zimmermann in their discussion of weakly dual pairs [
FZ98]
.
Corollary 4.8 (FeichtingerZimmermann).
Let
${g}_{1},{g}_{2}$
be in
${M}^{1}\left({\mathbb{R}}^{d}\right)$
.
If
${f}_{1}\in {M}^{1}\left({\mathbb{R}}^{d}\right)$
and
${f}_{2}\in {M}^{\infty}\left({\mathbb{R}}^{d}\right)$
or
${f}_{1},{f}_{2}\in {L}^{2}\left({\mathbb{R}}^{d}\right)$
then
$${\sum}_{\lambda \in \Lambda}{V}_{{g}_{1}}{f}_{1}\left(\lambda \right)\cdot \overline{{V}_{{g}_{2}}{f}_{2}\left(\lambda \right)}=\Lambda {}^{1}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}{V}_{{g}_{1}}{g}_{2}({\lambda}^{0})\cdot \overline{{V}_{{f}_{1}}{f}_{2}\left({\lambda}^{0}\right)}.$$
holds.

Proof.
The corollary covers the cases
${f}_{1}\in {M}^{1}\left({\mathbb{R}}^{d}\right)$
and
${f}_{2}\in {\left({M}^{1}\left({\mathbb{R}}^{d}\right)\right)}^{\prime}={M}^{\infty}\left({\mathbb{R}}^{d}\right)$
and
${f}_{1},{f}_{2}\in {M}^{2,2}\left({\mathbb{R}}^{d}\right)={L}^{2}\left({\mathbb{R}}^{d}\right)$
. Therefore the proof is a direct consequence of Theorem 4.7 □
The second result covers the case of Tolimieri/Orr of the validity of the FIGA for Schwartz funtions [TO95] . The proof consists of the wellknown fact [Gr01] that the modulation spaces
${M}_{{v}_{s}}^{1}\left({\mathbb{R}}^{d}\right)$
for
${v}_{s}(x,\omega )=(1+{x}^{2}+{\omega}^{2}{)}^{s/2}$
are the building blocks of the Schwartz class
$\mathcal{S}\left({\mathbb{R}}^{d}\right)$
, namely
$$\mathcal{S}\left({\mathbb{R}}^{d}\right)={\bigcap}_{s\ge 0}{M}_{{v}_{s}}^{1}\left({\mathbb{R}}^{d}\right).$$
By duality we get a description of tempered distributions
$${\mathcal{S}}^{\prime}\left({\mathbb{R}}^{d}\right)={\bigcup}_{s\ge 0}{M}_{1/{v}_{s}}^{\infty}\left({\mathbb{R}}^{d}\right).$$
Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis
Corollary 4.9 (TolimieriOrr).
Let
${f}_{1},{g}_{1},{g}_{2}$
be in
$\mathcal{S}\left({\mathbb{R}}^{d}\right)$
and
${f}_{2}\in {\mathcal{S}}^{\prime}\left({\mathbb{R}}^{d}\right)$
then we have the following identity:
$${\sum}_{\lambda \in \Lambda}{V}_{{g}_{1}}{f}_{1}\left(\lambda \right)\cdot \overline{{V}_{{g}_{2}}{f}_{2}\left(\lambda \right)}=\Lambda {}^{1}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}{V}_{{g}_{1}}{g}_{2}({\lambda}^{0})\cdot \overline{{V}_{{f}_{1}}{f}_{2}\left({\lambda}^{0}\right)}.$$

Proof.
The statement is true for every building block of
$\mathcal{S}\left({\mathbb{R}}^{d}\right)$
and of
${\mathcal{S}}^{\prime}\left({\mathbb{R}}^{d}\right)$
, respectively. Therefore our statement is a direct consequence of our main result Theorem 4.7 . □
We stop here our list of examples and leave it to the reader to choose a pairing of his interest. Franz Luef and Hans G. Feichtinger
5 Biorthogonality condition of WexlerRaz
In this section we present some consequences of our results on the FIGA, especially its relation to Janssen's representation of Gabor frame operators and the biorthogonality condition of WexlerRaz. Many researchers have drawn deep consequences from Janssen's representation, e.g. Gröchenig/Leinert in their proof of the ”irrational case”conjecture [
GL04]
, Feichtinger/Kaiblinger in their work on the continuous dependence of the dual atom for a Gabor atom in
${M}^{1}\left({\mathbb{R}}^{d}\right)$
or
$\mathcal{S}\left({\mathbb{R}}^{d}\right)$
[
FK04]
.
In [
Jan95]
Janssen obtained his representation for Gabor frame operators
${S}_{g,\Lambda}$
with
$g\in \mathcal{S}\left({\mathbb{R}}^{d}\right)$
and
$\Lambda =\alpha \mathbb{Z}\times \beta {\mathbb{Z}}^{d}$
. The general form for arbitrary lattices was obtained by Feichtinger in collaboration with Kozek and Zimmermann in [
FK98,
FZ98]
.
Let
$\Lambda $
be a lattice in
${\mathbb{R}}^{d}\times {\widehat{\mathbb{R}}}^{d}$
and
$g$
a Gabor atom then the frame operator
$${S}_{g,\Lambda}f={\sum}_{\lambda \in \Lambda}\langle f,\pi \left(\lambda \right)g\rangle \pi \left(\lambda \right)g.$$
Janssen's insight consists on a formal level of the following observation Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis
$$\begin{array}{ccc}\langle {S}_{g,\Lambda}f,h\rangle & =& \langle {\sum}_{\lambda \in \Lambda}\langle f,\pi \left(\lambda \right)g\rangle \pi \left(\lambda \right)g,h\rangle \end{array}$$  
$$\begin{array}{ccc}& \stackrel{\left(FIGA\right)}{=}& \langle \Lambda {}^{1}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}\langle g,\pi ({\lambda}^{0})g\rangle \pi ({\lambda}^{0})f,h\rangle \end{array}$$  
$$\begin{array}{ccc}& =& \langle \Lambda {}^{1}{S}_{f,{\Lambda}^{0}}g,h\rangle .\end{array}$$  
But
${S}_{f,{\Lambda}^{0}}g$
is a series of timefrequency shifts operators acting on
$f$
. More concretely, the following representation of the Gabor frame operator was obtained by Janssen in [
Jan95]
$$\begin{array}{c}{S}_{g,\Lambda}=\Lambda {}^{1}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}\langle g,\pi ({\lambda}^{0})g\rangle \pi ({\lambda}^{0}).\end{array}$$ 
(17)

But the series on the right side of 17 only defines a bounded operator with the additional assumption that
$$\begin{array}{c}\text{(A)}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}\langle g,\pi ({\lambda}^{0})g\rangle <\infty .\end{array}$$ 
(18)

The last condition was introduced by Tolimieri/Orr in their discussion of Gabor frames [
TO95]
.
The preceding observations led Janssen to consider operators of the form
$$A={\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}a\left({\lambda}^{0}\right)\pi \left({\lambda}^{0}\right)$$
for
$\left(a\left({\lambda}^{0}\right)\right)\in {\ell}^{1}\left({\Lambda}^{0}\right)$
. But in [
Rief88]
Rieffel used such operators to introduce on
$\mathcal{S}\left({\mathbb{R}}^{d}\right)$
a Hilbert
${C}^{*}$
module structure for the
${C}^{*}$
algebra of all timefrequency shifts generated by
${\Lambda}^{0}$
. This fact is the reason for the relation between Rieffel's work on Morita equivalence of noncommutative tori and Gabor analysis [
Lu05]
.
We now extend the main results of Feichtinger/Zimmermann about weakly dual pairs [
FZ98]
to our setting. The notion of weakly dual pairs is the proper concept for the interpretation of a Gabor frame operator
${S}_{g,\gamma ,\Lambda}$
in a weak sense.
First we recall the biorthogonality condition of WexlerRaz. In Section
4 we have shown that the Gabor frame operator
${S}_{g,\Lambda}$
of a Gabor system
$\mathcal{G}(g,\Lambda )$
for a lattice
$\Lambda \in {\mathbb{R}}^{2d}$
gives rise to a reconstruction formula
$$\begin{array}{c}f=({S}_{g,\Lambda}{)}^{1}{S}_{g,\Lambda}f={\sum}_{\lambda \in \Lambda}\langle f,\pi (\lambda )g\rangle \pi (\lambda ){\gamma}_{0}\end{array}$$ 
(19)

for signals
$f\in {L}^{2}\left({\mathbb{R}}^{d}\right)$
. We also mentioned the existence of other dual functions
$\gamma $
, which give rise for reconstruction formulas. In [
WR90]
Wexler/Raz gave a characterization of all dual functions
$\gamma $
for periodic discrete Gabor systems, which was the motivation for the work of Franz Luef and Hans G. Feichtinger Janssen, Tolimieri/Orr and Daubechies et al. [
Jan95,
DLL95,
TO95]
. The main result of Wexler/Raz consists in our setting of the following condition:
Let
${\Lambda}^{0}$
be a lattice in
${\mathbb{R}}^{2d}$
. A pair
$(g,\gamma )\in {M}_{m}^{p.q}\times {M}_{1/m}^{{p}^{\prime},{q}^{\prime}}\left({\mathbb{R}}^{d}\right)$
satisfies the WexlerRaz condition with respect to
${\Lambda}^{0}$
, if
$$\begin{array}{c}\Lambda {}^{1}\langle \gamma ,\pi ({\lambda}^{0})g\rangle ={\delta}_{0,{\lambda}^{0}},\end{array}$$ 
(20)

where
${\delta}_{0,{\lambda}^{0}}$
denotes the Kronecker delta for the set
${\Lambda}^{0}$
. In terms of Gabor systems the WexlerRaz condition expresses the biorthogonality of the two sets
$\mathcal{G}(g,{\Lambda}^{0})$
and
$\mathcal{G}(\gamma ,{\Lambda}^{0})$
to each other on
${L}^{2}\left({\mathbb{R}}^{d}\right)$
.
The importance of the WexlerRaz condition arises from the fact, that under certain assumptions it characterizes all dual atoms of a given Gabor frame
$\mathcal{G}(g,\Lambda )$
.
The following theorem is the proposed extension of Feichtinger and Zimmermann's result [
FZ98]
.
Theorem 5.1.
Let
$\Lambda $
be a lattice in
${\mathbb{R}}^{2d}$
and let
$(g,\gamma )$
be a dual pair in
${M}_{m}^{p.q}\times {M}_{1/m}^{{p}^{\prime},{q}^{\prime}}\left({\mathbb{R}}^{d}\right)$
. Then the following holds:

(1)
(WexlerRaz Identity)
$$\begin{array}{c}{S}_{g,\gamma ,\Lambda}f=\Lambda {}^{1}{S}_{f,\gamma ,{\Lambda}^{0}}g\text{in}\mathtt{}\mathtt{}\mathtt{}{M}^{\infty}({\mathbb{R}}^{d})\end{array}$$ 
(21)

for all
$f\in {M}^{1}\left({\mathbb{R}}^{d}\right)$
.

(2)
(Janssen Representation)
$$\begin{array}{c}{S}_{g,\gamma ,\Lambda}=\Lambda {}^{1}{\sum}_{{\lambda}^{0}\in {\Lambda}^{0}}{V}_{\gamma}g({\lambda}^{0}\left)\pi \right({\lambda}^{0})\end{array}$$ 
(22)

is a bounded operator from
${M}^{1}\left({\mathbb{R}}^{d}\right)$
to
${M}^{\infty}\left({\mathbb{R}}^{d}\right)$
and the series converges unconditionally in the strong sense.
The proof is just a reformulation of the FIGA and the arguments of [
FZ98]
are also valid in our situation.
The usefulness of weakly dual pairs relies on the fact, that it is equivalent to the WexlerRaz condition.
Theorem 5.2 (FeichtingerZimmermann).
Let
$\Lambda $
be a lattice in
${\mathbb{R}}^{2d}$
. Then a pair
$(g,\gamma )$
in
${M}_{m}^{p.q}\times {M}_{1/m}^{{p}^{\prime},{q}^{\prime}}\left({\mathbb{R}}^{d}\right)$
is weakly dual with respect to
$\Lambda $
if and only if
$(g,\gamma )$
satisfies the WexlerRaz condition with respect to
${\Lambda}^{0}$
.
The proof of Feichtinger/Zimmermann can again be adapted to our situation [FZ98] .
Acknowledgement: The authors want to thank W. Czaja and H. Rauhut for many useful suggestions. The second named author wants to thank the Max Planck Institute of Mathematics at Bonn for their Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis hospitality and Prof. Y. Manin for his kind invitation, because large part of the manuscript was written during this stay.
References

J.J. Benedetto, G. Pfander Frame expansions for Gabor multiliers, Preprint, submitted.

P.G. Casazza and M.C. Lammers, Analyzing the WeylHeisenberg frame identity, Appl. Comput. Harmon. Anal., 12(2), 171178, 2002.

E. Cordero, K. Gröchenig Timefrequency analysis of localization operators, J. Funct. Anal., 205(1):107 131, 2003.

I. Daubechies, A. Grossmann, Y. Meyer, Painless nonorthogonal expansions, J. Math. Phys., 27(5):12711283, 1986.

I. Daubechies, H.J. Landau, Z. Landau, Gabor timefrequency lattices and the WexlerRaz idenity, J. Fourier Anal. Appl., 1(4):437478, 1995.

H.G. Feichtinger, On a new Segal algebra, Mh. Math, 92:269289, 1981.

H.G. Feichtinger, Banach convolution algebras of Wiener type, In Function Series, Operators, Vol.I, II (Budapest 1980), pages 509524. NorthHolland, Amsterdam 1983.

H.G. Feichtinger, Modulation Spaces on locally compact abelian groups, Technical Report, University of Vienna, 1983.

H.G. Feichtinger, Generalized Amalgams, with applications to Fourier transform, Canad. J. Math., 42(3):395409, 1990.

H. G. Feichtinger, Modulation spaces of locally compact Abelian groups, in: “Wavelets and their Applications” (Chennai, January 2002), M. Krishna, R. Radha and S. Thangavelu, eds., Allied Publishers, New Delhi (2003), 1–56.

H. G. Feichtinger. Modulation spaces of locally compact Abelian groups. In R. Radha M. Krishna and S. Thangavelu, editors, Proc. Internat. Conf. on Wavelets and Applications, pages 1–56, Chennai, January 2002, 2003. Allied Publishers, New Delhi.

H.G. Feichtinger and W. Kozek, Quantization of TF–lattice invariant operators on elementary LCA groups, In H.G. Feichtinger and T. Strohmer, editors, Gabor Analysis and Algorithms: Theory and Applications, pages 233–266. Birkhäuser, Boston, 1998.

H.G. Feichtinger and N. Kaiblinger, Varying the timefrequency lattice of Gabor frames, T rans. Amer. Math. Soc., 356(5), 20012023, 2004.

J.J.F. Fournier and J. Stewart, Amalgams of
${L}^{p}$
and
${\ell}^{q}$
, Bull. Amer. Math. Soc. (N.S.), 13(1):121, 1985.

H.G. Feichtinger and G. Zimmermann, A Banach space of test functions for Gabor analysis, In H.G. Feichtinger and T. Strohmer, editors, Gabor Analysis and Algorithms: Theory and Applications, pages 123–170. Birkhäuser, Boston, 1998.

K. Gröchenig, An uncertainty principle related to the Poisson summation formula, Studia Math., 121(1):87104, 1996.

K. Gröchenig, Foundations of TimeFrequency Analysis, Birkhäuser, Boston, 2001.

K. Gröchenig and M. Leinert, Wiener's lemma for twisted convolution and Gabor frames, J. Amer. Math., 1:117, 2004.

K. Gröchenig, A pedestrian approach to pseudodifferential operators, Preprint, submitted, 2004.

F. Hlawatsch and G. Matz, Quadratic timefrequency analysis of linear timevarying systems, In L. Debnath, editor, Wavelet transforms and timefrequency signal analysis, Birkhäuser, Boston, pages 235287, 2001.

A.J.E.M. Janssen, Duality and biorthogonality for WeylHeisenberg frames, J. Four. Anal. Appl., 1(4):403436, 1995.

A.J.E.M. Janssen, Representations of Gabor frame operators, In J.S. Byrnes, editor, Twentieth century harmonic analysis–a ¿ celebration. Proceedings of the NATO Advanced Study Institute, Il ¿ Ciocco, Italy, July 215, 2000, Kluwer Academic,pages 73101, 2001.

J.P. Kahane and P.G. LemarieRieusset. Remarques sur la formule sommatoire de Poisson. Studia Mathematica, 109/3:303–316, 1994.

N. Kaiblinger, Approximation of the Fourier transform and the dual Gabor window, J. Four. Anal. Appl., Vol. 11/2.

Y. Katznelson. Une remarque concernant la formule de Poisson. Studia Math., 19:107–108, 1967.

F. Luef, Gabor analysis, noncommutative tori and Feichtinger's algebra, Preprint.

M.A. Rieffel, Projective modules over higherdimensional noncommutative tori, Can. J. Math., 40:257388, 1988.

A. Ron and Z. Shen, WeylHeisenberg frames and stable bases, Talk at Oberwolfach conference on Approx. Theory,1993.

A. Ron and Z. Shen, WeylHeisenberg frames and Riesz bases in
${L}^{2}\left({\mathbb{R}}^{d}\right)$
, Duke Math.J., 89(2):237282, 1997.

M.A. Shubin, Pseudodifferential Operators and Spectral Theory, SpringerVerlag, Berlin,
${2}^{nd}$
edition, 2001.

R. Tolimieri and R.S. Orr, OCharacterization of WeylHeisenberg frames via Poisson summation relationships, Trans. Inform. Theory., 4:277280, 1992.

R. Tolimieri and R.S. Orr, On Poisson summation, the ambiguity Function, and the theory of WeylHeisenberg frames, J. Four. Anal. Appl., 1(3):233247, 1995.

Richard Tolimieri and Myoung An. Timefrequency representations. Applied and Numerical Harmonic Analysis. Boston: Birkhäuser, 1998.

J. Wexler and S. Raz, Discrete Gabor expansions, Signal Processing, 21(3):207221, 1990.

N. Wiener, The Fourier Integral and certain of its Applications, Cambridge Univ. Press, 1933.
Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis Fakultat fur Mathematik, Nordbergstrasse 15, 1090 Wien, Austria Email address : Hans.Feichtinger@univie.ac.at Fakultat fur Mathematik, Nordbergstrasse 15, 1090 Wien, Austria, Max Planck Institut fur Mathematik, Vivatsgasse 7, 53111 Bonn, Germany Email address : Franz.Luef@univie.ac.at