DECAY AND SMOOTHNESS FOR EIGENFUNCTIONS OF
LOCALIZATION OPERATORS

FEDERICO BASTIANONI, ELENA CORDERO, AND FABIO NICOLA
Abstract. We study decay and smoothness properties for eigenfunctions of com-

ϕ₁,ϕ₂

• pact localization operators A^ϕ_a ^,ϕ . Operators A_a
• with symbols a in the wide

• 1
• 2

modulation space M^p,∞ (containing the Lebesgue space L^p), p < ∞, and windows ϕ₁, ϕ₂ in the Schwartz class S are known to be compact. We show that their L²-eigenfuctions with non-zero eigenvalues are indeed highly compressed onto a few Gabor atoms. Similarly, for symbols a in the weighted modulation spaces M_v^∞_⊗1(R^2d), s > 0 (subspaces of M^p,∞(R^2d), p > 2d/s) the L²-eigenfunctions of

s

A^ϕ_a ^,ϕ are actually Schwartz functions.

• 1
• 2

An important role is played by quasi-Banach Wiener amalgam and modulation spaces. As a tool, new convolution relations for modulation spaces and multiplication relations for Wiener amalgam spaces in the quasi-Banach setting are exhibited.

1. Introduction

The study of localization operators has a long-standing tradition. They have become popular with the papers by I. Daubechies [11, 12] and from then widely investigated by several authors in different fields of mathematics: from signal analysis to pseudodifferential calculus, see, for instance [1, 2, 4, 7, 8, 10, 31, 32, 43, 44, 45, 50]. In quantum mechanics they were already known as Anty-Wick operators, cf. [41] and the references therein.
Localization operators can be introduced via the time-frequency representation known as short-time Fourier transform (STFT). Let us though introduce the STFT. Recall first the modulation M_ω and translation T_x operators of a function f on R^d:

M_ωf (t) = e^2πitωf (t) ,
T_xf (t) = f (t − x) , ω, x ∈ R^d.

For z = (z₁, z₂) ∈ R^2d, we define the time-frequency shift π(z) = M_z T_z . Fix ϕ ∈

• 2
• 1

S(R^d) \ {0}. We define the short-time Fourier transform of a tempered distribution f ∈ S^′(R^d) as

Z

(1) V_ϕf(x, ω) = hf, π(x, ω)ϕi = F(fT_xϕ)(ω) =

f(y) ϕ(y − x) e^−2πiyω dy.

R^d

2010 Mathematics Subject Classification. 47G30; 35S05; 46E35; 47B10.

Key words and phrases. Time-frequency analysis, localization operators, short-time Fourier transform, quasi-Banach spaces, modulation spaces, Wiener amalgam spaces.

1

• 2
• FEDERICO BASTIANONI, ELENA CORDERO, AND FABIO NICOLA

The localization operator A_a^{ϕ ,ϕ} with symbol a and windows ϕ₁, ϕ₂ is formally

• 1
• 2

defined to be

Z

A^ϕ_a ^,ϕ f(t) =

a(x, ω)V_ϕ f(x, ω)M_ωT_xϕ₂(t) dxdω.

• 1
• 2

(2)

1

R^2d

2

If ϕ₁(t) = ϕ₂(t) = e^−πt , then A_a = A_a^{ϕ ,ϕ} is the classical Anti-Wick operator and

• 1
• 2

the mapping a → A^ϕ_a ^,ϕ is a quantization rule in quantum mechanics [5, 13, 41, 50].
If one considers a symbol a in the Lebesgue space L^q(R^2d) (1 ≤ q < ∞) and window functions ϕ₁, ϕ₂ in the Feichtinger’s algebra M¹(R^d) (see below for its defi-

• 1
• 2

nition) then the localization operator A^ϕ_a ^,ϕ is in the Schatten class S_q (see [7]). This

• 1
• 2

implies, in particular, that A_a^{ϕ ,ϕ} is a bounded and compact operator on L²(R^d).
Sharp results for localization operators on modulation spaces (Banach case) were obtained in [9], thus concluding the open issues related to this problem.
The focus of this paper is the properties of eigenfunctions of compact localization operators.

• 1
• 2

The study of eigenvalues and eigenfunctions of a restrict class of compact and self-adjoint localization operators, namely of the type A^ϕ_χ^,ϕ, where Ω is a compact

Ω

domain of the time-frequency plane and the window ϕ is in L²(R^d), was pursued in [1, 2, 3]. The focus of the previous papers, as well as new recent contributions [37, 38], extending the previous results, is the asymptotic behavior of the eigenvalues, depending on the domain Ω.
Our perspective is different: properties of eigenfunctions of a compact localization operator having a general symbol a, without any requirement on the geometry of the function a. In particular, the symbol a does not need to have a compact support. Besides, the related localization operator A^ϕ_a ^,ϕ is not necessarily a self-adjoint op-

• 1
• 2

erator (but A^ϕ_a ^,ϕ is compact). It is easy to check that the adjoint of a localization

• 1
• 2

operator is given by

ϕ₂,ϕ₁

∗

• (A^ϕ_a ^,ϕ ) = A_a¯
• ;

• 1
• 2

hence the self-adjointness property forces the choice ϕ₁ = ϕ₂ and the symbol a real valued, as for the case A^ϕ_χ^,ϕ mentioned above. Our framework can allow the use of

Ω

two different windows ϕ₁ and ϕ₂ to analyze and synthesize the signal f, respectively. Moreover, the symbol a can be a complex-valued function.
For a linear bounded operator T on L²(R^d) we denote by σ(T) the spectrum of
T, that is the set {λ ∈ C : T − λI is not invertible}; in particular, the set σ_P (T) denotes the point spectrum of T, that is

σ_P (T) = {λ ∈ C : ∃ a non-zero f ∈ L²(R^d) such that Tf = λf}.
Under our assumptions, the operator A^ϕ_a ^,ϕ is a compact mapping on L²(R^d).

• 1
• 2

Hence, the spectral theory for compact operators yields

ϕ₁,ϕ₂

σ(A^ϕ_a ^,ϕ ) \ {0} = σ_P (A_a ) \ {0}.

• 1
• 2

• DECAY AND SMOOTHNESS FOR EIGENFUNCTIONS OF LOCALIZATION OPERATORS
• 3

For sake of completeness, we recall that for compact operators on L²(R^d) the number

ϕ₁,ϕ₂

zero is always in the spectrum σ(A^ϕ_a ^,ϕ ) and that the point spectrum σ_P (A_a )\{0}

• 1
• 2

(possibly empty) is at most countably infinite.
A function f ∈ L²(R^d) is called an eigenfunction of the operator A^ϕ_a ^,ϕ if there

• 1
• 2

exists λ ∈ C such that

A^ϕ_a ^,ϕ f = λf.

• 1
• 2

We are interested in the properties of eigenfuctions of A^ϕ_a ^,ϕ related to eigenvalues

• 1
• 2

ϕ₁,ϕ₂

λ ∈ σ_P (A^ϕ_a ^,ϕ ) \ {0}, whenever σ_P (A_a ) \ {0} = ∅.

• 1
• 2

To chase our goal, the new idea is to use properties of quasi-Banach modulation and Wiener amalgam spaces. Some of these issues are investigated for the first time in this paper.
To give a flavour of these results, we recall the definition of modulation spaces
(un-weighted case: for the more general cases see below).
Fix a non-zero window function g ∈ S(R^d) and p, q ∈ (0, ∞). The modulation space M^p,q(R^d) consists of all tempered distributions f ∈ S^′(R^d) such that

1

q

•  
• !

qp

ꢀZ
ꢁ
Z

p,q

kfk_M := kV_gfk_L

p,q

=

• |V_gf(x, ω)|^pdx dω
• < ∞

• R^d
• R^d

p,q

(with natural modifications when p = ∞ or q = ∞). For p, q ≥ 1 the function k·k_M is a norm, and different window functions g ∈ S(R^d) yield equivalent norms, thus the same space. Modulation spaces M^p,q(R^d), p, q ≥ 1, are Banach spaces, invented by H. Feichtinger in [19], where many of their properties were already investigated.
We remark that a localization operator A^ϕ_a ^,ϕ with symbol a ∈ M^p,∞, 1 ≤ p < ∞, and windows ϕ₁, ϕ₂ ∈ M¹, belongs to the Schatten class S_p and, in particular, it is a compact operator on L²(R^d) (cf. [8, Theorem 1]).

• 1
• 2

The (quasi-)Banach space M^p,q, p, q > 0, were first introduced and studied by Y.V.
Galperin and S. Samarah in [27], see the next section for more details. Roughly speaking, the mapping f is in M^p,q(R^d) if it locally behaves like a function in FL^q(R^d) and “decays” as a function in L^p(R^d) at infinity.
In this paper we extend convolution relations for Banach modulation spaces exhibited in [7, 47] to the quasi-Banach ones, see Proposition 3.1 below. This result seems remarkable by itself.
Such convolution relations will be crucial for our main result, that can be simplified as follows (cf. Theorem 3.7).

Theorem 1.1. Consider a symbol a ∈ M^p,∞(R^2d), 0 < p < ∞, non-zero windows

ϕ₁,ϕ₂

ϕ₁, ϕ₂ ∈ S(R^d) and assume that σ_P (A_a^{ϕ ,ϕ} ) \ {0} = ∅. If λ ∈ σ_P (A_a ) \ {0}, any

• 1
• 2

T

eigenfunction f ∈ L²(R^d) with eigenvalue λ satisfies f ∈ _γ>0 M^γ(R^d).

Roughly speaking, this means that L² eigenfunctions of such compact localization operators reveal to be extremely well-localized. To make this statement more precise,

• 4
• FEDERICO BASTIANONI, ELENA CORDERO, AND FABIO NICOLA

we use Gabor frames. Let Λ = αZ^d × βZ^d be a lattice of the time-frequency plane. The set of time-frequency shifts G(g, Λ) = {π(λ)g : λ ∈ Λ}, for a non-zero g ∈ L²(R^d), is called a Gabor system. The set G(g, Λ) is a Gabor frame if there exist constants A, B > 0 such that

X

(3)

Akfk²₂ ≤

• |hf, π(λ)gi|² ≤ Bkfk₂²,
• ∀f ∈ L²(R^d).

λ∈Λ

If A = B = 1 we call G(g, Λ) a Parseval Gabor frame. In this case (3) reduces to

X

(4)

kfk²₂ =

|hf, π(λ)gi|², ∀f ∈ L²(R^d).

λ∈Λ

From now on we restrict to Parseval Gabor frames. If the eigenfunction f above

T

satisfies f ∈ _γ>0 M^γ(R^d), then f is highly compressed onto a few Gabor atoms π(λ)g. Indeed, for N ∈ N₊, its N-term approximation error σ_N (f) presents superpolynomial decay. We define

X

• (5)
• Σ_N = {p =

c_k,nπ(αk, βn)g : c_k,n ∈ C, F ⊂ Z^d × Z^d, card F ≤ N}

k,n∈F

(the set of all linear combinations of Gabor atoms consisting of at most N terms). Note that Σ_N is not a linear subspace since Σ_N + Σ_N = Σ_2N . That is why the approximation of a signal f by elements of Σ_N is often referred to as non-linear approximation. Given a function f ∈ L²(R^d), the N-term approximation error in L²(R^d) is

• (6)
• σ_N (f) = inf kf − pk₂.

p∈Σ_N

That is, σ_N (f) is the error produced when f is approximated optimally by a linear combination of N Gabor atoms.

T

We shall show in Corollary 3.9 that, if f ∈ _γ>0 M^γ(R^d), then, for every r > 0 there exists a positive constant C = C(r, f) such that

σ_N (f) ≤ CN^−r.

Since σ_N (f) is the error produced when f is approximated optimally by a linear combination of N Gabor atoms, the decay above shows the high compression of the eigenfunction onto such atoms, cf. [28, Subsection 12.4].
Another main result (Theorem 3.10) states, in the same spirit, that for symbols in the weighted modulation space M_v^∞_⊗1(R^2d), s > 0 (see Definition 2.4 below), the cor-

s

d

responding L² eigenfunctions of A^ϕ_a ^,ϕ , with eigenvalues λ = 0, are actually in S(R ).

• 1
• 2

Also in this case A_a^{ϕ ,ϕ} is a compact operator, since M_{v ⊗1}(R^2d) ⊂ M^p,∞(R^2d), when-

∞

s

• 1
• 2

ever p > 2d/s, cf. the subsequent Remark 2.7. These symbol classes include certain measures and the result applies, in particular, to Gabor multipliers (see e.g., [21]). We leave the precise statement to the interested reader.

• DECAY AND SMOOTHNESS FOR EIGENFUNCTIONS OF LOCALIZATION OPERATORS
• 5

In short, the paper is organized as follows. Section 2 is devoted to the function spaces involved in our study. In particular, we show new multiplication relations for Wiener amalgam spaces in the quasi-Banach setting and we prove convolution relations for quasi-Banach modulation spaces. Section 3 represents the core of the paper. We first exhibit continuity results for Weyl operators on modulation spaces (involving the quasi-Banach setting), cf. Theorem 3.3. Then we study the eigenfunctions’ properties for Weyl operators (Propositions 3.5 and 3.6 below). Next we show our main result on the eigenfunctions’ regularity and smoothness of localization operators: Theorem 3.7 and related consequences in terms of the N-term approximation (Proposition 3.8 and Corollary 3.9). The last Section 4 is devoted to the study of eigenfunctions of localization operators with symbols in the weighted Lebesgue spaces L^q_m(R^d), 1 ≤ q < ∞. This section suggests a wider study of the topic for localization operators on groups [50]. We shall pursue this issue in a subsequent paper. Let us conclude this introduction with another open problem, that can be worth investigating. Namely, in this paper we work with compact localization operators having symbols a in M_v^∞_⊗1(R^2d), for s > 0, or in the larger space M^p,∞(R^2d),