, , ,

Since the work of Wexler/Raz [WR90] on the structure of the set of dual atoms for a Gabor frame many researchers have benefited from their insight that some properties of a Gabor frame have a better description with respect to the adjoint lattice. We only mention the duality principle of Ron/Shen [RS93, RS97] , Janssen's representation of the Gabor frame operator [Jan95] and the investigations of Daubechies/H. Landau/Z. Landau [DLL95] , which have obtained similar results on the structure of Gabor frames independently by completely different methods around the year 1995. All their methods have in common an implicit use of the adjoint lattice for separable lattices. In [FK98] , Feichtinger and Kozek gained a thorough understanding of the adjoint lattice for Gabor systems with respect to a lattice

Λ

G \times \hat{G}

G

an elementary locally compact abelian group. Furthermore, [FK98] makes use of the symplectic Fourier transform in this context for the first time.

Another ingredient in all issues concerning investigations of duality principles for Gabor systems is an identity about samples of the product of two short-time Fourier transforms for a lattice

Λ

and its adjoint lattice

Λ^{0}

, see Section 2 . In Gabor analysis Tolimieri/Orr have pointed out the relevance of this identity for the study of Gabor systems with atoms in the Schwartz class [TO95, TO92] . In [Jan95] , Janssen generalized the results of Tolimieri/Orr and called this identity the Fundamental Identity of Gabor Analysis, since he derived FIGA as a consequence of a representation of the Gabor frame operator of fundamental importance in all duality results of Gabor analysis, (which is nowadays called the Janssen representation of a Gabor frame operator). But, the results of Tolimieri/Orr and Janssen on the FIGA had been obtained by Rieffel in his construction of equivalence bimodules for the

C^{*}

-algebra

C^{*} (D)

generated by time-frequency shifts of a closed subgroup

D

G \times \hat{G}

, for a locally compact abelian group

G

, and the

C^{*}

-algebra

C^{*} (D^{0})

generated by time-frequency shifts generated of the adjoint group

D^{0}

1988

, [Rief88] . Furthermore, Rieffel gave a description of the adjoint lattice, which was later rediscovered by Feichtinger/Kozek, and he used the Poisson summation formula for the symplectic Fourier transform to get FIGA for functions in the Schwartz-Bruhat space

S (G)

. Therefore, Tolimieri/Orr's discussion of the FIGA is just a special case of Rieffel's general result. In addition Rieffel had implicitly described Janssen's representation of a Gabor frame operator in his discussion of

C^{*} (D^{0})

-valued inner products [Rief88] .

Our discussion of FIGA follows Rieffel's discussion. Therefore, we apply the Poisson summation formula for the symplectic Fourier transform to a product

V_{g_{1}} f_{1} \cdot \bar{V_{g_{2}} f_{2}}

of short-time Fourier transforms of functions Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis resp. distributions

f_{1}, f_{2}, g_{1}, g_{2}

in suitable modulation spaces, see Section 3 for the definition of modulation spaces. In our proofs we need some local properties of STFT

V_{g_{1}} f_{1}

and

V_{g_{1}} f_{1}

for

f_{1}, f_{2}, g_{1}, g_{2}

, which are naturally expressed by membership in some Wiener amalgam spaces, see Section 3 . Our strategy relies heavily on the fact that Feichtinger's algebra

M^{1} (R^{2 d})

is the biggest time-frequency homogenous Banach space, where the Poisson summation formula holds pointwise (introduced as

S_{0} (R^{d})

in [Fei81] ). We therefore look for sufficient conditions such that

V_{g_{1}} f_{1} \cdot \bar{V_{g_{2}} f_{2}}

is in

M^{1} (R^{2 d})

In Section 2 we introduce the reader to some well-known facts of time-frequency analysis, which we will use later. In Section 3 we give a short discussion of modulation spaces and Wiener amalgam spaces and present some of their properties. In Section 4 we discuss the notion of weakly dual pairs in Gabor analysis and their connection to FIGA. Then we prove FIGA with the help of Poisson summation for the symplectic Fourier transform. Furthermore, we use Wiener amalgam spaces to describe the local behaviour of the short-time Fourier transform.

In Section 5 we briefly indicate some consequences of our main result for Gabor frames. Franz Luef and Hans G. Feichtinger

2 Basics of Gabor Analysis

In this section we recall some well-known facts of Gabor analysis, e.g., the short-time Fourier transform and some of its properties. Our representation owes much to Gröchenig's presentation in his survey of time-frequency analysis [Gr01] .

In Gabor analysis the basic objects are time-frequency shifts. More concretely, for

f \in L^{2} (R^{d})

we define the following operators on

L^{2} (R^{d})

(1) the translation operator by $T_{x} f (t) = f (t - x), x \in R^{d},$
(2) the modulation operator by $M_{ω} f (t) = e^{2 π i t \cdot ω} f (t), ω \in R^{d},$
(3) time-frequency shifts by $π (x, ω) f = M_{ω} T_{x} f = e^{2 π i ω t} f (t - x), (x, ω) \in R^{2 d} .$

The time-frequency shifts

(x, ω, τ) \mapsto τ M_{ω} T_{x}

for

(x, ω) \in R^{2 d}

and

τ \in C

with

| τ | = 1

define the Schrödinger representation of the Heisenberg group, consequently the time-frequency shifts

π (x, ω)

for

(x, ω) \in R^{2 d}

are a projective representation of the time-frequency plane

R^{d} \times {\hat{R}}^{d}

More concretely, time-frequency shifts satisfy the following composition law:

\begin{matrix} π (x, ω) π (y, η) = e^{- 2 π i x \cdot η} π (x + y, ω + η), \end{matrix}

(1)

for

(x, ω), (y, η)

in the time-frequency plane

R^{d} \times {\hat{R}}^{d}

. The noncommutativity of the time-frequency shifts leads naturally to the notion of the adjoint of a set of time-frequency shifts. Namely, let

Λ

be a subset of

R^{d} \times {\hat{R}}^{d}

. Then, the adjoint lattice

Λ^{0}

Λ

is defined as the set of all time-frequency shifts in the time-frequency plane which commute with all time-frequency shifts

{π (λ) : λ \in Λ}

, i.e.,

\begin{matrix} Λ^{0} : = {λ^{0} \in R^{2 d} : π (λ) π (λ^{0}) = π (λ^{0}) π (λ) for all λ \in Λ} . \end{matrix}

(2)

We include another approach to the adjoint of a lattice

Λ

R^{d} \times {\hat{R}}^{d}

, because it plays a central role in the study of Gabor frames.

First we rewrite the composition law 1 of time-frequency shifts

\begin{matrix} π (x, ω) π (y, η) = e^{- 2 π i (x \cdot η - ω \cdot y)} π (y, η) π (x, ω), W i e n e r A m a l g a m S p a c e s f o r t h e F u n d a m e n t a l I d e n t i t y o f G a b o r A n a l y s i s \end{matrix}

(3)

for

(x, ω), (y, η)

R^{d} \times {\hat{R}}^{d}

. We denote the phase-factor in 3 by

ρ (z, z^{'}) = e^{2 π i Ω (z, z^{'})}

with

z = (x, ω)

z^{'} = (u, η)

and

Ω

denotes the standard symplectic form on

R^{2 d}

, i.e.

Ω (z, z^{'}) = x \cdot η - ω \cdot y

. An important fact is that

ρ

is a character of

R^{d} \times {\hat{R}}^{d}

and that every character of

R^{d} \times {\hat{R}}^{d}

is of the form

\begin{matrix} z \mapsto ρ (z, z^{'}) for some z^{'} \in R^{d} \times {\hat{R}}^{d} . \end{matrix}

(4)

This gives an isomorphism between

R^{d} \times {\hat{R}}^{d}

and its dual group

{\hat{R}}^{d} \times R^{d}

Let

Λ

be a lattice in

R^{d} \times {\hat{R}}^{d}

then every character of

Λ

extends to a character of

R^{d} \times {\hat{R}}^{d}

and therefore every character of

Λ

is of the form

\begin{matrix} λ \mapsto ρ (λ, z^{'}), λ \in Λ, \end{matrix}

(5)

for some

z \in R^{d} \times {\hat{R}}^{d}

, where

z^{'}

needs not to be unique. The homomorphism from

R^{d} \times {\hat{R}}^{d}

\hat{Λ}

has as kernel: the adjoint lattice

\begin{matrix} Λ^{0} = {z \in R^{d} \times {\hat{R}}^{d} | ρ (λ, z) = 1 for all λ \in Λ} . \end{matrix}

(6)

Therefore, the adjoint set

Λ^{0}

of a lattice

Λ

has the structure of a lattice. In our discussion of FIGA we will explore further this line of reasoning.

The representation coefficients of the Schrödinger representation are up to some phase factors, equal to

\begin{matrix} V_{g} f (x, ω) : = 〈 f, π (x, ω) g 〉 = \int_{R^{d}} f (t) \bar{g (t - x)} e^{- 2 π i ω \cdot t} d t . \end{matrix}

(7)

In Gabor analysis the representation coefficients are called the short-time Fourier transform (STFT) of

f \in S (R^{d})

with respect to a non-zero window

g

in Schwartz's space of testfunctions

S (R^{d})

. For functions

f

with good time-frequency concentration, e.g. Schwartz functions, the STFT can be interpreted as a measure for the amplitude of the frequency band near

ω

at time

x

. The properties of STFT depend crucially on the window function

g

In our model, the time-frequency concentration of a signal is invariant under shifts in time and frequency, which is usually referred to the covariance property of a time-frequency representation. In harmonic analysis, a function

f

R^{d}

has a description in time and in frequency.

A time-frequency representation of a function

f

encodes its properties simultaneously in time and frequency, e.g. the STFT. The following lemma expresses elementary properties of the STFT.

Lemma 2.1. Let

f, g \in L^{2} (R^{d})

and

(u, η) \in R^{d} \times {\hat{R}}^{d}

. Then

(1) Covariance Property of the STFT $V_{g} (π (u, η) f) g (x, ω) = e^{2 π i u \cdot (ω - η)} V_{g} f (x - u, ω - η) . F r a n z L u e f a n d H a n s G . F e i c h t i n g e r$
(2) Basic Identity of Time-Frequency Analysis $V_{g} f (x, ω) = e^{- 2 π i x \cdot ω} V_{\hat{g}} \hat{f} (ω, - x) .$

In our proof of FIGA, we will use another basic identity of time-frequency analysis: Moyal's formula.

Lemma 2.2 (Moyal's Formula). Let

f_{1}, f_{2}, g_{1}, g_{2} \in L^{2} (R^{d})

then

V_{g_{1}} f_{1}

and

V_{g_{2}} f_{2}

are in

L^{2} (R^{2 d})

and the following identity holds:

\begin{matrix} 〈 V_{g_{1}} f_{1}, V_{g_{2}} f_{2} 〉_{L^{2} (R^{2 d})} = 〈 f_{1}, f_{2} 〉 \bar{〈 g_{1}, g_{2} 〉} . \end{matrix}

(8)

As a consequence, we get for

g \in L^{2} (R^{d})

with

∥ g ∥_{2} = 1

that

∥ V_{g} f ∥_{L^{2} (R^{2 d})} = ∥ f ∥_{2},

for all

f \in L^{2} (R^{d})

, i.e., the STFT is an isometry from

L^{2} (R^{d})

L^{2} (R^{2 d})

In time-frequency analysis we deal with function spaces which are invariant under time-frequency shifts. In the last years modulation spaces have turned out to be the correct class of Banach spaces for time-frequency analysis, [FK98, FZ98, Gr01, CG03] . Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

3 Function Spaces for Time-Frequency Analysis

In the following we recall some well-known facts about modulation spaces and Wiener amalgam spaces. Our treatment of this notions is largely based on the excellent survey of time-frequency analysis by Gröchenig, [Gr01] . Franz Luef and Hans G. Feichtinger

3.1 Modulation spaces

1983

Feichtinger introduced a class of Banach spaces (see [Fei83, Fei8302] ), which allow a measurement of the time-frequency concentration of a function or distribution

f

R^{d}

, the so called modulation spaces. We choose the STFT

V_{g} f

f

with respect to a window

g

with a good time-frequency concentration and as a measure we take the norm of a function space which is(isometrically) invariant under translations in the time-frequency plane

R^{d} \times {\hat{R}}^{d}

. For our investigations we restrict our study to weighted mixed-norm spaces

L_{m}^{p, q}

R^{2 d}

, [Fei83] . But for the translation invariance of

L_{m}^{p, q}

Feichtinger showed that the weight

m

has to be a moderate weight on

R^{2 d}

with respect to a positive and rotational symmetric submultiplicative weight

v

R^{2 d}

, i.e

m (z_{1} + z_{2}) \leq C m (z_{1}) v (z_{2})

for

z_{1}, z_{2} \in R^{2 d}

. Now for

1 \leq p, q \leq \infty

we define a function or tempered distribution

f

to be an element of the modulation space

M_{m}^{p, q} (R^{d})

if for a fixed

g

in Schwartz space

S (R^{d})

the norm

∥ f ∥_{M_{m}^{p, q}} : = ∥ V_{g} f ∥_{L_{m}^{p, q}} = {(\int_{R^{d}} {(\int_{R^{d}} | V_{g} f (x, ω) |^{p} m (x, ω)^{p} d x)}^{q / p} d ω)}^{1 / q}

is finite. Then

M_{m}^{p, q} (R^{d})

is a Banach space whose definition is independent of the choice of the window

g

. We always measure the

M_{m}^{p, q}

-norm with a fixed non-zero window

g \in S (R^{d})

and that for any non-zero

g_{1} \in M_{v}^{1} (R^{d})

the norm equivalence of

∥ f ∥_{M_{m}^{p, q}}

with

∥ V_{g_{1}} f ∥_{L_{m}^{p, q}}

holds.

One reason for the usefulness of modulation spaces is that many well-known function spaces can be identified with modulation spaces for certain weights:

(1) $M^{2, 2} (R^{d}) = L^{2} (R^{d})$ .
(2) $M^{1} (R^{d})$ is Feichtinger's algebra, which is sometimes denoted by $S_{0} (R^{d})$ .
(3) If $m (x, ω) = (1 + x^{2})^{s / 2}$ then $M_{m}^{2, 2} = L_{s}^{2} = {f \in S^{'} (R^{d}) : (\int_{R^{d}} | f (x) |^{2} (1 + x^{2})^{s} d x)^{1 / 2} < \infty}$ is a weighted $L^{2}$ -space.
(4) If $m (x, ω) = (1 + ω^{2})^{s / 2}$ then $M_{m}^{2, 2} = H_{s} = {f \in S^{'} (R^{d}) : (\int_{R^{d}} | \hat{f} (ω) |^{2} (1 + ω^{2})^{s} d ω)^{1 / 2} < \infty}$ is a Sobolev space.
(5) If $m (x, ω) = (1 + x^{2} + ω^{2})^{s / 2}$ then $M_{m}^{2, 2} = Q_{s} = L_{s}^{2} \cap H^{s}$ , where $Q_{s}$ is the Shubin class, see [Shu01] .

Modulation spaces inherit many properties from the mixed norm spaces, e.g. duality. In the following theorem we state some of their properties, that are of interest in the later discussion.

Theorem 3.1. Let

1 \leq p, q < \infty

and

m

v

-moderate weight on

R^{2 d}

Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis (1) The dual space of $M_{m}^{p, q} (R^{d})$ is $M_{1 / m}^{p^{'}, q^{'}} (R^{d})$ with $1 / p + 1 / p^{'} = 1$ and $1 / q + 1 / q^{'} = 1$ and the duality is given by $〈 f, h 〉 = \int \int_{R^{2 d}} V_{g} f (x, ω) \bar{V_{g} h (x, ω)} d x d ω,$ for $f \in M_{m}^{p, q} (R^{d})$ and $h \in M_{1 / m}^{p^{'}, q^{'}} (R^{d})$ .
(2) $M_{m}^{p, q} (R^{d})$ is invariant under time-frequency shifts:
$∥ π (u, η) f ∥_{M_{m}^{p, q}} \leq C v (u, η) ∥ f ∥_{M_{m}^{p, q}} for (u, η) \in R^{2 d} .$
(3) If $p = q$ and $m (ω, - x) \leq C m (x, ω)$ then $M_{m}^{p, p} (R^{d})$ is invariant under Fourier transform.

Proof. All these statements are well-known and the interested reader may find a proof of statement

(1)

in Chapter 11 of [Gr01] . We only give the arguments for statements

(2)

and

(3)

, because they provide the reader with some insight about our choice of weights.

(2) The time-frequency invariance of

M_{m}^{p, q} (R^{d})

is a direct consequence of the definition of moderate weights and the Covariance Property of the STFT , see Lemma 2.1 . Let

z = (u, η)

be a point of the time-frequency plane

R^{d} \times {\hat{R}}^{d}

. Then the following holds: Franz Luef and Hans G. Feichtinger

\begin{matrix} ∥ π (u, η) f ∥_{M_{m}^{p, q}} & = & {(\int_{R^{d}} {(\int_{R^{d}} | V_{g} f (x - u, ω - η) |^{p} m (x, ω)^{p} d x)}^{q / p} d ω)}^{1 / q} \end{matrix}

\begin{matrix} = & {(\int_{R^{d}} {(\int_{R^{d}} | V_{g} f (x, ω) |^{p} m (x + u, ω + η)^{p} d x)}^{q / p} d ω)}^{1 / q} \end{matrix}

\begin{matrix} \leq & C {(\int_{R^{d}} {(\int_{R^{d}} | V_{g} f (x, ω) |^{p} v (u, η)^{p} m (x, ω)^{p} d x)}^{q / p} d ω)}^{1 / q} \end{matrix}

\begin{matrix} = & C v (z) ∥ f ∥_{M_{m}^{p, q}} . \end{matrix}

(3) The key of the argument is an application of the basic identity of Gabor analysis, see Lemma 2.1 , to a Fourier invariant window

g

and the independence of the definition of

M_{m}^{p, q}

for

g \in S (R^{d})

. For simplicity we choose

g

to be the standard Gaussian

g_{0} (x) = 2^{- d / 4} e^{- π x^{2}}

. Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

\begin{matrix} ∥ \hat{f} ∥_{M_{m}^{p, p}} & = & {(\int \int_{R^{2 d}} | V_{g_{0}} f (x, ω) |^{p} m (x, ω)^{p} d x d ω)}^{1 / p} \end{matrix}

\begin{matrix} \leq & {(\int \int_{R^{2 d}} | V_{\hat{g_{0}}} \hat{f} (x, ω) |^{p} m (x, ω)^{p} d x d ω)}^{1 / p} \end{matrix}

\begin{matrix} = & {(\int \int_{R^{2 d}} | V_{g_{0}} f (- ω, x) |^{p} m (x, ω)^{p} d x d ω)}^{1 / p} \end{matrix}

\begin{matrix} = & {(\int \int_{R^{2 d}} | V_{g_{0}} f (x, ω) |^{p} m (ω, - x)^{p} d x d ω)}^{1 / p} \end{matrix}

\begin{matrix} \leq & C ∥ f ∥_{M_{m}^{p, p}} . \end{matrix}

□

In the following Corollary, we state some of the properties of the modulation space

M^{1, 1} (R^{d})

. In harmonic analysis

M^{1, 1} (R^{d})

is the so-called Feichtinger algebra and some authors use the notation

S_{0} (R^{d})

to indicate that Feichtinger's algebra is a Segal algebra, too. There is another reason for this notation, because

S_{0} (R^{d})

shares many properties with the Schwartz space

S (R^{d})

of test functions, e.g., Feichtinger's algebra is invariant under Fourier transform. In the rest of our paper we will denote Feichtinger's algebra by

M^{1} (R^{d})

Corollary 3.2. Feichtinger's algebra

M^{1} (R^{d})

has the following properties:

(1) $M^{1} (R^{d})$ is a Banach algebra under pointwise multiplication.
(2) $M^{1} (R^{d})$ is a Banach algebra under convolution.
(3) $M^{1} (R^{d})$ is invariant under time-frequency shifts.
(4) $M^{1} (R^{d})$ is invariant under Fourier transform.

Before we present the proof we recall that the STFT can be written as a convolution. Namely, let

g^{*} (x) = \bar{g (- x)}

be the involution of

g \in L^{2} (R^{d})

. Then, STFT of

f \in L^{2} (R^{d})

has the following form

\begin{matrix} V_{g} f (x, ω) = e^{- 2 π i x \cdot ω} (f * M_{ω} g^{*}) (x) . \end{matrix}

(9)

For other formulations of the STFT and its relation to other time-frequency representations, such as the Wigner distribution or the ambiguity function we refer the reader to Gröchening's book [Gr01] .

Proof.

Franz Luef and Hans G. Feichtinger (1) By 9 the

M^{1}

-norm of

f

is given by

∥ f ∥_{M^{1}} = \int_{R^{d}} ∥ f * M_{ω} g^{*} ∥_{L^{1}} d ω .

Therefore, we get the following estimate for

h * f

, where

f \in M^{1} (R^{d})

and

h \in L^{1} (R^{d})

: Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

\begin{matrix} ∥ h * f ∥_{M^{1}} & = & \int_{R^{d}} ∥ h * f * M_{ω} g^{*} ∥_{L^{1}} d ω \end{matrix}

\begin{matrix} \leq & \int_{R^{d}} ∥ h ∥_{L^{1}} ∥ f * M_{ω} g^{*} ∥_{L^{1}} d ω \end{matrix}

\begin{matrix} = & ∥ h ∥_{L^{1}} ∥ f ∥_{M^{1}} . \end{matrix}

(2) The statement follows from $(1)$ by applying Fourier transforms.
(3) The statement is a special case of our general result for modulation spaces, Theorem 3.1 .
(4) The statement is again a special case of our general result for modulation spaces, Theorem 3.1 .

□

Despite the above stated properties, Feichtinger observed that

M^{1} (R^{d})

is the minimal time-frequency homogenous Banach space, [Fei81] . Another pleasant property of Feichtinger's algebra

M^{1} (R^{d})

is that it is the largest Banach space which allows an application of Poisson's summation formula, [Fei81] . Our main results about FIGA rely heavily on this fact. We will discuss this topic further after the introduction of the symplectic Fourier transform. Franz Luef and Hans G. Feichtinger

3.2 Wiener Amalgam Spaces

Around

1980

Feichtinger introduced a class of Banach spaces, which allow measurement of local and of global properties of functions, see [Fei81a] . Feichtinger's work was motivated by some spaces Wiener had used in his study of the Fourier transform, see [Wie] . Nowadays those spaces are called Wiener amalgam spaces and they are a generalization of Fournier and Stewart's amalgam spaces, [FS85] . Wiener amalgam spaces have turned out to be very useful in harmonic analysis and time-frequency analysis, e.g. [Fei90, FZ98, Gr01] .

More concretely, let

g

be an element of the space of test functions

D (R^{d})

, whose translates generate a partition of unity over

R^{2 d}

, i.e.,

\sum_{m \in Z^{2 d}} T_{m} g \equiv 1

. Let

V (R^{2 d})

be a translation invariant Banach space of functions (or distributions) over

R^{2 d}

with the property that

D \cdot V \subset V

. Then the Wiener amalgam space

W (X, L_{m}^{p, q})

with local component

X

and global component

L_{m}^{p, q}

is defined as the space of all functions resp. distributions for which the norm

∥ f ∥_{W (X, L_{m}^{p, q})} = {(\int_{R^{d}} {(\int_{R^{d}} ∥ f \cdot T_{(z_{1}, z_{2})} \bar{g} ∥_{X}^{p} m (z_{1}, z_{2})^{p} d z_{1})}^{q / p} d z_{2})}^{1 / q}

is finite. We note that different choices of

g \in D

give the same space and yield equivalent norms [Fei81a] .

In [Fei81a] also an extension of Hölder's inequality to Wiener amalgam spaces is given: If

X

be a Banach algebra with respect to pointwise multiplication, then for

\frac{1}{p} + \frac{1}{p^{'}} = 1

and

\frac{1}{q} + \frac{1}{q^{'}} = 1

ones has

\begin{matrix} ∥ f ∥_{W (X, L^{1})} \leq ∥ f ∥_{W (X, L_{m}^{p, q})} ∥ f ∥_{W (X, L_{1 / m}^{p^{'}, q^{'}})} . \end{matrix}

(10)

There are many characterizations of Feichtinger's algebra

M^{1} (R^{d})

Later we shall need a result of Feichtinger that

M^{1} (R^{d}) = W (ℱ L^{1}, L^{1})

with equivalent norms [Fei81] . One of these norms has a formulation by means of the STFT: Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

\begin{matrix} ∥ f ∥_{W (ℱ L^{1}, L^{1})} & = & \int \int_{R^{2 d}} ∥ f \cdot T_{(z_{1}, z_{2})} g ∥_{ℱ L^{1}} d z_{1} d z_{2} \end{matrix}

\begin{matrix} = & \int \int_{R^{2 d}} (\int_{R^{d}} | (f \cdot T_{(z_{1}, z_{2})} \bar{g})^{\hat{}} (ω) | d ω) d z_{1} d z_{2} \end{matrix}

\begin{matrix} = & \int \int_{R^{2 d}} (\int_{R^{d}} | V_{g} f (z_{1}, z_{2}, ω) | d ω) d z_{1} d z_{2} . \end{matrix}

Analogous expressions for the norm of Wiener amalgam spaces

W (ℱ L^{1}, L_{m}^{p, q})

with local component

ℱ L^{1}

and global component

L_{m}^{p, q}

can be derived in terms of the STFT. Franz Luef and Hans G. Feichtinger

4 The Fundamental Identity of Gabor Analysis

In this section we first recall some elementary facts about Gabor frame operators and the symplectic Fourier transform. These basic facts and a result [CG03] of Cordero/Gröchenig on local properties for

V_{g} f

with window

g \in M_{v}^{1} (R^{d})

and

f \in M_{m}^{p, q} (R^{d})

will allow us to derive our main result about the Fundamental Identity of Gabor Analysis. Let

Λ

be a lattice in

R^{d} \times {\hat{R}}^{d}

and let

g \in L^{2} (R^{d})

be a Gabor atom then

G (g, Λ) = {π (λ) g : λ \in Λ}

is a Gabor system. Since the Balian-Low principle tells us that it is not possible to construct (this is in contrast to the situation with wavelets) an orthonormal basis for

L^{2} (R^{d})

of this form, starting e.g. from a Schwartz function

g

, interest in Gabor frames arose. A milestone was the paper by Daubechies, Grossmann and Meyer, [DGM86] , where the “painless use” of (tight) Gabor frames was suggested.

In our case the Gabor frame operator has the following form:

S_{g, Λ} f = \sum_{λ \in Λ} 〈 f, π (λ) g 〉 π (λ) g, f \in L^{2} (R^{d}) .

A Gabor system

G (g, Λ)

is called a Gabor frame if the Gabor frame operator

S_{g, Λ}

is invertible, i.e., if there exist some finite, positive real numbers

A, B

such that

A \cdot I \leq S_{g, Λ} \leq B \cdot I

or equivalently,

A ∥ f ∥^{2} \leq \sum_{λ \in Λ} | 〈 f, π (λ) g 〉 |^{2} \leq B ∥ f ∥^{2},

for all

f

L^{2} (R^{d})

. Gabor frames

G (g, Λ)

allow the following reconstruction formulas Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

\begin{matrix} f & = & (S_{g, Λ})^{- 1} S_{g, Λ} f = \sum_{λ \in Λ} 〈 f, π (λ) g 〉 π (λ) (S_{g, Λ})^{- 1} g \end{matrix}

(11)

\begin{matrix} f & = & S_{g, Λ} (S_{g, Λ})^{- 1} f = \sum_{λ \in Λ} 〈 f, π (λ) (S_{g, Λ})^{- 1} g 〉 π (λ) g . \end{matrix}

(12)

Due to its appearance in the reconstruction formulas

γ_{0} : = (S_{g, Λ})^{- 1} g

is called the (canonical) dual Gabor atom. Note that the non-orthogonality of the time-frequency shifts yields that the coefficients in the reconstruction formula 11 are not unique and therefore there are other dual atoms

γ \in L^{2} (R^{d})

with

S_{g, γ, Λ} : = \sum_{λ \in Λ} 〈 f, π (λ) γ 〉 π (λ) g = I

. Some authors call

(g, γ)

a dual pair of Gabor atoms if

S_{g, γ, Λ} = I

If one considers Gabor systems

G (Λ, g)

beyond

L^{2}

-setting, then the operator identity

S_{g, γ, Λ} = I

has to be interpreted in weak sense. This approach was suggested by Feichtinger and Zimmermann in [FZ98] .

They called two elements

g, γ \in L^{2} (R^{d})

a weakly dual pair with respect to

Λ

, if

\begin{matrix} 〈 f, h 〉 = \sum_{λ \in Λ} 〈 f, π (λ) γ 〉 〈 π (λ) g, h 〉 \end{matrix}

(13)

holds. One can show that absolute convergence of the series on the right, for all

f, h \in M^{1} (R^{d})

. Although the absolute convergence of the series seems very restrictive at first sight also for the case that

g \in M^{1} (R^{d})

and

γ \in M^{\infty} (R^{d})

. By the symmetry of the definition in

g

and

γ

we get the same result for

γ \in M^{1} (R^{d})

and

g \in M^{\infty} (R^{d})

. Therefore, in the sequel we will only state our results for one setting. We also mention without proof that under the above assumption on the pair

(g, γ)

the operator mapping the pair

(f, h)

\sum_{λ \in Λ} 〈 f, π (λ) γ 〉 〈 π (λ) g, h 〉

is continuous on

M^{1} (R^{d}) \times M^{1} (R^{d})

and that the corresponding Gabor frame operator

S_{g, γ, Λ}

maps

M^{1} (R^{d})

into

M^{\infty} (R^{d})

, [FZ98] . Another direct consequence of the definiton is that a pair

(g, γ)

is weakly dual if and only if

S_{g, γ, Λ} = I

. For further properties we refer the interested reader to [FZ98] .

The preceding discussion leads in a natural way to the study of the product of two STFT's

V_{γ} f \cdot \bar{V_{g} h}

restricted to a lattice

Λ

. In Gabor analysis Tolmieri and Orr realized (in the one-dimensional case and for a product lattice

α Z \times β Z

α, β > 0

) that such sums should be evaluated with the help of Poisson's summation formula. But in his research on Morita equivalence of noncommuative tori [Rief88] , Rieffel had used this identity for functions

f, g, h, γ

in Schwartz-Bruhat space

S (G)

for an elementary locally compact abelian group

G

and restrictions to a closed subgroup

D

G \times \hat{G}

1988

! Only recently one of us has Franz Luef and Hans G. Feichtinger realized the connection between Rieffel's results and Gabor analysis [Lu05] . Therefore the research in Gabor anlaysis has been undertaken independently of Rieffel's work, despite its great relevance for Gabor anlaysis. We will explore this further in a subsequent paper.

In the following we define the symplectic Fourier transform and some of its basic properties, which was implicitely used by Rieffel in his derivation of the Fundamental Identity of Gabor Analysis. Due to the work of Feichtinger and Kozek [FK98] we also have gained the insight that the symplectic Fourier transform might be of some relevance in this context.

We continue our investigations of the character

ρ

of the commutation relation 3 . The antisymmetry of

Ω

implies that

ρ

is a skew-bicharacter of

R^{d} \times {\hat{R}}^{d}

. Nevertheless,

ρ

gives a Fourier transform

{\hat{F}}^{s}

on the time-frequency plane

R^{d} \times {\hat{R}}^{d}

Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

\begin{matrix} {\hat{F}}^{s} (z) & = & \int \int_{R^{2 d}} ρ (z, z^{'}) F (z^{'}) d z^{'} \end{matrix}

\begin{matrix} = & \int \int_{R^{2 d}} e^{2 π i Ω (z, z^{'})} F (z^{'}) d z^{'} \end{matrix}

\begin{matrix} = & \int \int_{R^{2 d}} e^{2 π i (y \cdot ω - x \cdot η)} F (y, η) d y d η, \end{matrix}

for

z = (x, ω)

and

z^{'} = (y, η)

R^{d} \times {\hat{R}}^{d}

. We call

{\hat{F}}^{s}

the symplectic Fourier transform of a function

F

L^{2} (R^{d} \times {\hat{R}}^{d})

, because it is induced by the symplectic form

Ω

R^{2 d}

The Poisson summation formula is one of the most powerful tools in harmonic analysis. In our derivation of FIGA we need a Poisson summation formula for the symplectic Fourier transform, which relates values of a function

F

on a lattice

Λ

in the time-frequency plane with the samples of its symplectic Fourier transform on the adjoint lattice

Λ^{0}

In the following theorem we give some properties of the symplectic Fourier transform.

Theorem 4.1. Let

M^{1} (R^{2 d})

be Feichtinger's algebra over the time-frequency plane

R^{d} \times {\hat{R}}^{d}

(1) The symplectic Fourier transform is selfinverse on $L^{2} (R^{2 d})$ .
(2) $M^{1} (R^{2 d})$ is invariant under the symplectic Fourier transform.

Proof.
- (1) The statement is a consequence of the anti-symmetry of the symplectic form $Ω$ .
- (2) We make the observation that $ρ$ arises from $e^{2 π i (x \cdot ω + y \cdot η)}$ by a rotation of $π / 2$ , i.e. the symplectic Fourier transform is a rotated version of the Fourier transform on $R^{2 d}$ . Therefore the result follows from the main properties of Feichtinger's algebra, see Theorem 3.1 .
□

Traditionally a harmless use of the Poisson summation formula is only known for Schwartz functions. That for Feichtinger's algebra Poisson summation holds pointwise and with absolute convergence is Franz Luef and Hans G. Feichtinger quite unexpected. We only remind you on the work of Katznelson and of Kahane et al., where they give striking examples for the failure of Poisson's summation formula, [KL94, Kat67] . In [Gr96] Gröchenig pointed out the relevance of Poisson's summation formula for

M^{1} (R^{d})

in his study of uncertainty principles and embeddings of various function spaces into

M^{1} (R^{d})

In the following theorem we state Poisson's summation formula for the symplectic Fourier transform.

Theorem 4.2. [Poisson Summation] Let

F \in M^{1} (R^{2 d})

then

\begin{matrix} \sum_{λ \in Λ} F (λ) = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} {\hat{F}}^{s} (λ^{0}) \end{matrix}

(14)

holds pointwise and with absolute convergence of both sums.

In [BP04] Benedetto/Pfander constructed a function

g \in L^{2} (R)

such that

| V_{g} g |^{2} / \in M_{1} (R^{2})

and therefore the symplectic Fourier transform is not valid for

| V_{g} g |^{2}

Before we present our results on the validity of the FIGA, we compute the symplectic Fourier transform of

V_{g} f

for

f, g \in M^{1} (R^{d})

Lemma 4.3. Let

f, g \in M^{1} (R^{d})

then the following holds:

(1) $V_{g} f \in M^{1} (R^{2 d})$ .
(2) ${\hat{V_{g} f}}^{s} (z) = f (x) \bar{\hat{g} (ω)} e^{- 2 π i x \cdot ω}$ for $z = (x, ω) \in R^{2 d}$ .

Proof.
- (1) Follows from the functorial properties and the minimality of $M^{1} (R^{d})$ , see [Fei81] . Feichtinger and Kozek give a different proof in [FK98] .
- (2) Straightforward computation.
□

We recall that Rihaczek's distribution for

f, g \in L^{2} (R^{d})

is defined as

R (f, g) (x, ω) = f (x) \bar{\hat{g} (ω)} e^{- 2 π i x \cdot ω}

for

z = (x, ω) \in R^{2 d}

. It is a very popular time-frequency representation in engineering, [HM01, Gr04] .

An application of Theorem 4.2 yields a generalization of a formula of Kaiblinger [Ka05] which also established a connection to the Rihaczek distribution.

Proposition 4.4. Let

f, g

be in

M^{1} (R^{d})

and

Λ

a lattice in

R^{d} \times {\hat{R}}^{d}

. Then the following relation holds:

\sum_{λ \in Λ} V_{g} f (λ) = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} R (f, g) (λ^{0}),

Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

An application of Theorem 4.2 to a product of two STFT's combined with Lemma (4.3)(2) yields the FIGA.

Theorem 4.5 (Basic FIGA). Assume that

f_{1}, f_{2}, g_{1}, g_{2} \in M^{1} (R^{d})

Then

\begin{matrix} \sum_{λ \in Λ} V_{g_{1}} f_{1} (λ) \cdot \bar{V_{g_{2}} f_{2} (λ)} = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} V_{g_{1}} g_{2} (λ^{0}) \cdot \bar{V_{f_{1}} f_{2} (λ^{0})} \end{matrix}

(15)

Proof. Our argument is just the computation of the symplectic Fourier transform of

F = V_{g_{1}} f_{1} (λ) \cdot \bar{V_{g_{2}} f_{2} (λ)}

and a use of Theorem 4.2 . Franz Luef and Hans G. Feichtinger

\begin{matrix} {\hat{F}}^{s} (Y) & = & \int \int_{R^{d} \times {\hat{R}}^{d}} V_{g_{1}} f_{1} (X) \bar{V_{g_{2}} f_{2} (X)} ρ (Y, X) d Y \end{matrix}

\begin{matrix} = & \int \int_{R^{d} \times {\hat{R}}^{d}} 〈 π (Y) f_{1}, π (Y) π (X) g_{1} 〉 \bar{〈 f_{2}, π (X) g_{2} 〉} ρ (Y, X) d Y \end{matrix}

\begin{matrix} = & \int \int_{R^{d} \times {\hat{R}}^{d}} 〈 π (Y) f_{1}, π (X) π (Y) g_{1} 〉 \bar{〈 f_{2}, π (X) g_{2} 〉} ρ (X, Y) d Y \end{matrix}

\begin{matrix} = & 〈 f_{1}, π (Y) f_{2} 〉 \bar{〈 g_{1}, π (Y) g_{2} 〉}, \end{matrix}

where in the last step we used Moyal's formula 8 . □

The Fourier invariance of

M^{1} (R^{d})

and the basic identity of Gabor analysis 2 yield the following reformulation of 15 :

\sum_{λ \in J Λ} V_{{\hat{g}}_{1}} {\hat{f}}_{1} (λ) \cdot \bar{V_{\overset{2}{\hat{g}}} \overset{2}{\hat{f}} (λ)} = | Λ |^{- 1} \sum_{λ^{0} \in J Λ^{⊥}} V_{g_{1}} g_{2} (λ^{0}) \cdot, \bar{V_{f_{1}} f_{2} (λ^{0})}

where

J = (\begin{matrix} 0 & I_{d} \\ - I_{d} & 0 \end{matrix})

denotes a rotation by

π / 2

of the time-frequency plane

R^{d} \times {\hat{R}}^{d}

. We have stated this reformulation of 15 for two reasons:

(1) It is another manifestation of the fact that

V_{g} f

encodes information about

f

and

\hat{f}

,(2) It shows that an application of the Fourier transform on the level of signals and windows corresponds to a rotation of the lattice

Λ

R^{d} \times {\hat{R}}^{d}

and that the application of the symplectic Fourier transform to a time-frequency representation of

f

yields a rotation of the dual lattice

Λ^{⊥}

{\hat{R}}^{d} \times R^{d}

What properties of

f, g \in M_{1} (R^{d})

imply that

V_{g} f \in M_{1} (R^{2 d})

? Recall that

M_{1} (R^{d}) = W (ℱ L^{1}, L^{1})

. This fact suggests that for

f \in M_{m}^{p, q} (R^{d})

and

g \in M^{1} (R^{d})

the STFT

V_{g} f \in W (ℱ L^{1}, L_{m}^{p, q})

. In [CG03] Cordero and Gröchenig have proved this result in their investigations of localization operators. Before we state their result on local properties of the STFT, we introduce a weighted version of Feichtinger's algebra

M^{1} (R^{d})

By assumption our weight

m

v

-moderate for

v

a submultiplicative weight on

R^{2 d}

. The space

M_{v}^{1} (R^{d})

is now the correct weighted version of Feichtinger's algebra

M^{1} (R^{d})

Proposition 4.6 (Cordero/Gröchenig). Let

1 \leq p, q \leq \infty

. If

f \in M_{m}^{p, q} (R^{d})

and

g \in M_{v}^{1} (R^{d})

, then

V_{g} f \in W (ℱ L^{1}, L_{m}^{p, q})

with

\begin{matrix} ∥ V_{g} f ∥_{W (ℱ L^{1}, L_{m}^{p, q})} \leq C ∥ f ∥_{M_{m}^{p, q}} ∥ g ∥_{M_{v}^{1}} . \end{matrix}

(16)

Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

In other words, the norms of

L_{m}^{p, q}

and of

W (ℱ L^{1}, L_{m}^{p, q})

are equivalent on the range of

V_{g}

We refer the reader to [CG03] for a proof of Proposition 4.6 .

The remaining part of this section we look for conditions on the quadruple

f_{1}, f_{2}, g_{1}, g_{2}

, which imply that

V_{g_{1}} f_{1} \cdot \bar{V_{g_{2}} f_{2}}

, belongs to Feichtinger's algebra

M^{1} (R^{d})

, because then a careless application of Poisson formula summation is allowed.

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^{'}, q^{'}}

and

g_{1}, g_{2} \in M_{v}^{1}

, then the following holds:

\sum_{λ \in Λ} V_{g_{1}} f_{1} (λ) \cdot \bar{V_{g_{2}} f_{2} (λ)} = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} V_{g_{1}} g_{2} (λ^{0}) \cdot \bar{V_{f_{1}} f_{2} (λ^{0})} .

Proof. By Proposition 4.6 we have that

V_{g_{1}} f_{1} \in W (ℱ L^{1}, L_{m}^{p, q})

and

V_{g_{2}} f_{2} \in W (ℱ L^{1}, L_{1 / m}^{p^{'}, q^{'}})

. Therefore an application of Hölder's inequality 10 for Wiener amalgam spaces yields that

V_{g_{1}} f_{1} \cdot \bar{V_{g_{2}} f_{2}} \in W (ℱ L^{1}, L^{1})

The inequalities 10 and 16 imply the desired norm estimate: Franz Luef and Hans G. Feichtinger

\begin{matrix} ∥ V_{g_{1}} f_{1} \cdot \bar{V_{g_{2}} f_{2}} ∥_{M^{1}} & \leq & ∥ V_{g_{1}} f_{1} \cdot \bar{V_{g_{2}} f_{2}} ∥_{W (ℱ L^{1}, L^{1})} \end{matrix}

\begin{matrix} \leq & C ∥ V_{g_{1}} f_{1} ∥_{W (ℱ L^{1}, L_{m}^{p, q})} ∥ V_{g_{2}} f_{2} ∥_{W (ℱ L^{1}, L_{1 / m}^{p^{'}, q^{'}})} \end{matrix}

\begin{matrix} \leq & C ∥ g_{1} ∥_{M_{v}^{1}} ∥ g_{2} ∥_{M_{v}^{1}} ∥ f_{1} ∥_{M_{m}^{p, q}} ∥ f_{2} ∥_{M_{1 / m}^{p^{'}, q^{'}}} . \end{matrix}

Therefore our object of interest is in

M^{1} (R^{d})

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 (Feichtinger-Zimmermann). Let

g_{1}, g_{2}

be in

M^{1} (R^{d})

f_{1} \in M^{1} (R^{d})

and

f_{2} \in M^{\infty} (R^{d})

f_{1}, f_{2} \in L^{2} (R^{d})

then

\sum_{λ \in Λ} V_{g_{1}} f_{1} (λ) \cdot \bar{V_{g_{2}} f_{2} (λ)} = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} V_{g_{1}} g_{2} (λ^{0}) \cdot \bar{V_{f_{1}} f_{2} (λ^{0})} .

holds.

Proof. The corollary covers the cases $f_{1} \in M^{1} (R^{d})$ and $f_{2} \in {(M^{1} (R^{d}))}^{'} = M^{\infty} (R^{d})$ and $f_{1}, f_{2} \in M^{2, 2} (R^{d}) = L^{2} (R^{d})$ . 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 well-known fact [Gr01] that the modulation spaces

M_{v_{s}}^{1} (R^{d})

for

v_{s} (x, ω) = (1 + x^{2} + ω^{2})^{s / 2}

are the building blocks of the Schwartz class

S (R^{d})

, namely

S (R^{d}) = ⋂_{s \geq 0} M_{v_{s}}^{1} (R^{d}) .

By duality we get a description of tempered distributions

S^{'} (R^{d}) = ⋃_{s \geq 0} M_{1 / v_{s}}^{\infty} (R^{d}) .

Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis Corollary 4.9 (Tolimieri-Orr). Let

f_{1}, g_{1}, g_{2}

be in

S (R^{d})

and

f_{2} \in S^{'} (R^{d})

then we have the following identity:

\sum_{λ \in Λ} V_{g_{1}} f_{1} (λ) \cdot \bar{V_{g_{2}} f_{2} (λ)} = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} V_{g_{1}} g_{2} (λ^{0}) \cdot \bar{V_{f_{1}} f_{2} (λ^{0})} .

Proof. The statement is true for every building block of $S (R^{d})$ and of $S^{'} (R^{d})$ , 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 Wexler-Raz

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 Wexler-Raz. 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} (R^{d})

S (R^{d})

[FK04] .

In [Jan95] Janssen obtained his representation for Gabor frame operators

S_{g, Λ}

with

g \in S (R^{d})

and

Λ = α Z \times β Z^{d}

. The general form for arbitrary lattices was obtained by Feichtinger in collaboration with Kozek and Zimmermann in [FK98, FZ98] .

Let

Λ

be a lattice in

R^{d} \times {\hat{R}}^{d}

and

g

a Gabor atom then the frame operator

S_{g, Λ} f = \sum_{λ \in Λ} 〈 f, π (λ) g 〉 π (λ) g .

Janssen's insight consists on a formal level of the following observation Wiener Amalgam Spaces for the Fundamental Identity of Gabor Analysis

\begin{matrix} 〈 S_{g, Λ} f, h 〉 & = & 〈 \sum_{λ \in Λ} 〈 f, π (λ) g 〉 π (λ) g, h 〉 \end{matrix}

\begin{matrix} \overset{(F I G A)}{=} & 〈 | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} 〈 g, π (λ^{0}) g 〉 π (λ^{0}) f, h 〉 \end{matrix}

\begin{matrix} = & 〈 | Λ |^{- 1} S_{f, Λ^{0}} g, h 〉 . \end{matrix}

But

S_{f, Λ^{0}} g

is a series of time-frequency shifts operators acting on

f

. More concretely, the following representation of the Gabor frame operator was obtained by Janssen in [Jan95]

\begin{matrix} S_{g, Λ} = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} 〈 g, π (λ^{0}) g 〉 π (λ^{0}) . \end{matrix}

(17)

But the series on the right side of 17 only defines a bounded operator with the additional assumption that

\begin{matrix} (A) \sum_{λ^{0} \in Λ^{0}} | 〈 g, π (λ^{0}) g 〉 | < \infty . \end{matrix}

(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_{λ^{0} \in Λ^{0}} a (λ^{0}) π (λ^{0})

for

(a (λ^{0})) \in ℓ^{1} (Λ^{0})

. But in [Rief88] Rieffel used such operators to introduce on

S (R^{d})

a Hilbert

C^{*}

-module structure for the

C^{*}

-algebra of all time-frequency shifts generated by

Λ^{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, γ, Λ}

in a weak sense.

First we recall the biorthogonality condition of Wexler-Raz. In Section 4 we have shown that the Gabor frame operator

S_{g, Λ}

of a Gabor system

G (g, Λ)

for a lattice

Λ \in R^{2 d}

gives rise to a reconstruction formula

\begin{matrix} f = (S_{g, Λ})^{- 1} S_{g, Λ} f = \sum_{λ \in Λ} 〈 f, π (λ) g 〉 π (λ) γ_{0} \end{matrix}

(19)

for signals

f \in L^{2} (R^{d})

. We also mentioned the existence of other dual functions

γ

, which give rise for reconstruction formulas. In [WR90] Wexler/Raz gave a characterization of all dual functions

γ

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

Λ^{0}

be a lattice in

R^{2 d}

. A pair

(g, γ) \in M_{m}^{p . q} \times M_{1 / m}^{p^{'}, q^{'}} (R^{d})

satisfies the Wexler-Raz condition with respect to

Λ^{0}

, if

\begin{matrix} | Λ |^{- 1} 〈 γ, π (λ^{0}) g 〉 = δ_{0, λ^{0}}, \end{matrix}

(20)

where

δ_{0, λ^{0}}

denotes the Kronecker delta for the set

Λ^{0}

. In terms of Gabor systems the Wexler-Raz condition expresses the biorthogonality of the two sets

G (g, Λ^{0})

and

G (γ, Λ^{0})

to each other on

L^{2} (R^{d})

The importance of the Wexler-Raz condition arises from the fact, that under certain assumptions it characterizes all dual atoms of a given Gabor frame

G (g, Λ)

The following theorem is the proposed extension of Feichtinger and Zimmermann's result [FZ98] .

Theorem 5.1. Let

Λ

be a lattice in

R^{2 d}

and let

(g, γ)

be a dual pair in

M_{m}^{p . q} \times M_{1 / m}^{p^{'}, q^{'}} (R^{d})

. Then the following holds:

(1) (Wexler-Raz Identity)

\begin{matrix} S_{g, γ, Λ} f = | Λ |^{- 1} S_{f, γ, Λ^{0}} g in M^{\infty} (R^{d}) \end{matrix}

(21)

for all

f \in M^{1} (R^{d})

(2) (Janssen Representation)

\begin{matrix} S_{g, γ, Λ} = | Λ |^{- 1} \sum_{λ^{0} \in Λ^{0}} V_{γ} g (λ^{0}) π (λ^{0}) \end{matrix}

(22)

is a bounded operator from

M^{1} (R^{d})

M^{\infty} (R^{d})

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 Wexler-Raz condition.

Theorem 5.2 (Feichtinger-Zimmermann). Let

Λ

be a lattice in

R^{2 d}

. Then a pair

(g, γ)

M_{m}^{p . q} \times M_{1 / m}^{p^{'}, q^{'}} (R^{d})

is weakly dual with respect to

Λ

if and only if

(g, γ)

satisfies the Wexler-Raz condition with respect to

Λ^{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 Weyl-Heisenberg frame identity, Appl. Comput. Harmon. Anal., 12(2), 171-178, 2002.
E. Cordero, K. Gröchenig Time-frequency 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):1271-1283, 1986.
I. Daubechies, H.J. Landau, Z. Landau, Gabor time-frequency lattices and the Wexler-Raz idenity, J. Fourier Anal. Appl., 1(4):437-478, 1995.
H.G. Feichtinger, On a new Segal algebra, Mh. Math, 92:269-289, 1981.
H.G. Feichtinger, Banach convolution algebras of Wiener type, In Function Series, Operators, Vol.I, II (Budapest 1980), pages 509-524. North-Holland, 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):395-409, 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 time-frequency lattice of Gabor frames, T rans. Amer. Math. Soc., 356(5), 2001-2023, 2004.
J.J.F. Fournier and J. Stewart, Amalgams of $L^{p}$ and $ℓ^{q}$ , Bull. Amer. Math. Soc. (N.S.), 13(1):1-21, 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):87-104, 1996.
K. Gröchenig, Foundations of Time-Frequency Analysis, Birkhäuser, Boston, 2001.
K. Gröchenig and M. Leinert, Wiener's lemma for twisted convolution and Gabor frames, J. Amer. Math., 1:1-17, 2004.
K. Gröchenig, A pedestrian approach to pseudodifferential operators, Preprint, submitted, 2004.
F. Hlawatsch and G. Matz, Quadratic time-frequency analysis of linear time-varying systems, In L. Debnath, editor, Wavelet transforms and time-frequency signal analysis, Birkhäuser, Boston, pages 235-287, 2001.
A.J.E.M. Janssen, Duality and biorthogonality for Weyl-Heisenberg frames, J. Four. Anal. Appl., 1(4):403-436, 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 2-15, 2000, Kluwer Academic,pages 73-101, 2001.
J.P. Kahane and P.G. Lemarie-Rieusset. 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 higher-dimensional noncommutative tori, Can. J. Math., 40:257-388, 1988.
A. Ron and Z. Shen, Weyl-Heisenberg frames and stable bases, Talk at Oberwolfach conference on Approx. Theory,1993.
A. Ron and Z. Shen, Weyl-Heisenberg frames and Riesz bases in $L^{2} (R^{d})$ , Duke Math.J., 89(2):237-282, 1997.
M.A. Shubin, Pseudodifferential Operators and Spectral Theory, Springer-Verlag, Berlin, $2^{n d}$ edition, 2001.
R. Tolimieri and R.S. Orr, OCharacterization of Weyl-Heisenberg frames via Poisson summation relationships, Trans. Inform. Theory., 4:277-280, 1992.
R. Tolimieri and R.S. Orr, On Poisson summation, the ambiguity Function, and the theory of Weyl-Heisenberg frames, J. Four. Anal. Appl., 1(3):233-247, 1995.
Richard Tolimieri and Myoung An. Time-frequency representations. Applied and Numerical Harmonic Analysis. Boston: Birkhäuser, 1998.
J. Wexler and S. Raz, Discrete Gabor expansions, Signal Processing, 21(3):207-221, 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 E-mail address : Hans.Feichtinger@univie.ac.at Fakultat fur Mathematik, Nordbergstrasse 15, 1090 Wien, Austria, Max Planck Institut fur Mathematik, Vivatsgasse 7, 53111 Bonn, Germany E-mail address : Franz.Luef@univie.ac.at