Abstract
We study nonuniform sampling in shift-invariant spaces and the construction of Gabor frames with respect to the class of totally positive functions whose Fourier transform factors as \( \hat{g}(\xi )= \prod _{j=1}^n (1+2\pi i\delta _j\xi )^{-1} \, e^{-c \xi ^2}\) for \(\delta _1,\ldots ,\delta _n\in \mathbb {R}, c >0\) (in which case g is called totally positive of Gaussian type). In analogy to Beurling’s sampling theorem for the Paley–Wiener space of entire functions, we prove that every separated set with lower Beurling density \(>1\) is a sampling set for the shift-invariant space generated by such a g. In view of the known necessary density conditions, this result is optimal and validates the heuristic reasonings in the engineering literature. Using a subtle connection between sampling in shift-invariant spaces and the theory of Gabor frames, we show that the set of phase-space shifts of g with respect to a rectangular lattice \(\alpha \mathbb {Z}\times \beta \mathbb {Z}\) forms a frame, if and only if \(\alpha \beta <1\). This solves an open problem going back to Daubechies in 1990 for the class of totally positive functions of Gaussian type. The proof strategy involves the connection between sampling in shift-invariant spaces and Gabor frames, a new characterization of sampling sets “without inequalities” in the style of Beurling, new properties of totally positive functions, and the interplay between zero sets of functions in a shift-invariant space and functions in the Bargmann–Fock space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Nonuniform sampling
Beurling’s sampling theory for the Paley–Wiener space is at the crossroad of complex analysis and signal processing and has served as a model and inspiration for many generations of sampling theorems in both fields. To recapitulate Beurling’s results, let
be the Paley–Wiener space, where \(\hat{f}(\xi ) := \int _\mathbb {R}f(x) e^{-2 \pi i x \xi } dx\) is the Fourier transform. It consists of restrictions of entire functions of exponential type to the real line and is called the space of bandlimited functions by engineers and applied mathematicians. This space was and still is the prevailing signal model for phenomena as diverse as radio signals, temperatures and biomedical measurements [60].
A separated set \(\Lambda \subseteq \mathbb {R}\) is called a sampling set for \(\mathrm {PW}^2\), if there exist \(A,B>0\) such that
The understanding of sampling sets may be considered a core problem in complex analysis, but is also a fundamental problem in signal processing. Since a signal is always sampled and then processed, sampling is a key operation in the analog-digital conversion. The sampling inequality (1.1) guarantees that the samples carry the complete information about the signal and that the signal can be recovered from the samples with some stability with respect to measurement and processing errors.
Beurling [10, 11] characterized sampling sets by means of their density. The (lower) Beurling density is the average density of samples per unit and is formally defined as
The theorems of Beurling give an almost complete characterization of sampling sets for the Paley–Wiener space \(\mathrm {PW}^2\).
Theorem 1.1
-
(a)
If \(\Lambda \subseteq \mathbb {R}\) is separated and \(D^-(\Lambda ) > 1\), then \(\Lambda \) is a sampling set for \(\mathrm {PW} ^2\).
-
(b)
Conversely, if \(\Lambda \) is a sampling set for \(\mathrm {PW} ^2\), then \(D^-(\Lambda ) \ge 1\).
A related result with uniform densities occurs in the work of Duffin and Schaeffer [18]. The case of critical density \(D^-(\Lambda )= 1\) is delicate and was settled in [49]. Subsequently, the necessary condition (b) above has been extended and adapted to many different situations, notably to Paley–Wiener spaces in higher dimension with respect to general spectra by Landau [43], and to sampling in spaces of analytic functions [57]. The necessary conditions for sampling can even be formulated and proved for sampling in reproducing kernel Hilbert spaces over a metric measure space [5, 22].
The sufficient condition (a) is much deeper and more subtle and has been extended only to a handful of situations, notably to sampling in the Bargmann–Fock space of entire functions by Lyubarskii and Seip [47, 56]. For bandlimited functions with general spectra, even the existence of sets that are both sampling and interpolating is a very challenging problem [42, 45].
In this article we develop an analog of Beurling’s theory in an unexpected direction beyond classical complex analysis and study sampling in shift-invariant spaces. This notion comes from approximation theory and replaces the Paley–Wiener space in many modern applications because often data acquisition demands a more flexible setting, where signals are not strictly bandlimited, but only approximately so. For the definition, let \(g\in L^2(\mathbb {R})\) be a generating function and consider the space
We always assume that g possesses stable translates so that \(\Vert f\Vert _2 \asymp \Vert c\Vert _2\). Typically the Fourier transform of g decays rapidly outside an interval and thus functions in \(V^2(g)\) are approximately bandlimited. In the extreme case of \(\hat{g} = \chi _{[-1/2,1/2]}\), the shift-invariant space \(V^2(g)\) is precisely the Paley–Wiener space \(\mathrm {PW}^2\). Intuitively, functions in a general shift-invariant space \(V^2(g)\) have a rate of innovation of one degree per space unit [3, 12, 60]. It is therefore expected that nonuniform sampling theorems similar to Theorem 1.1 hold for general shift-invariant spaces. Such claims are usually backed by a heuristic comparison to the bandlimited case, but, in spite of their central role in signal processing, they have been given only moderate formal support so far. In [2] we suggested that every reasonable generator g comes with a notion of a suitable g-dependent density \(D_g^-(\Lambda )\), such that Beurling’s formulation carries over verbatim. Despite many efforts and dozens of publications this suggestion and the attached conjectures remained untouched.
The existing results for sampling in a shift-invariant space use the covering density \(\delta = 2\sup _{x \in \mathbb {R}} \inf _{\lambda \in \Lambda } |x-\lambda | \) instead of the Beurling density. Typical statements assert that every set \(\Lambda \) with a “sufficiently small” covering density \(\delta \) is a sampling set for \(V^2(g)\). However, because of the unspecified (and usually large) gap between the known necessary density and the proven sufficient density these results are far from optimal and lack practical relevance. See [3] for a survey of sampling in shift-invariant spaces including many qualitative results. Sharp results in terms of the covering density (“\(\delta < 1\) is sufficient for sampling”) are known only when the generator g is a B-spline [2], an exponential B-spline [41], or a totally positive function of finite type [29].
Our objective is to develop a sampling theory in a large class of shift-invariant spaces in the style of Beurling and to prove the best possible results. As a natural and suitable class of generators we deal with totally positive functions. A function \(g \in L^1(\mathbb {R})\) is called totally positive, if for all \(N\in \mathbb {N}\) and real numbers \(x_1< x_2< \dots < x_N\), \(y_1< y_2< \dots < y_N\) the matrix
has non-negative determinant. This property is fundamental in statistics, approximation theory, and data interpolation [40]. In the following we will deal with a subset of totally positive functions and call a function g on \(\mathbb {R}\) totally positive of Gaussian type if its Fourier transform factors as
By Schoenberg’s characterization [52, 54] of totally positive functions, every g satisfying (1.3) is totally positive.
Our first main result is the following (almost) characterization of sampling sets in \(V^2(g)\) in analogy to Beurling’s theorem.
Theorem 1.2
Assume that g is a totally positive function of Gaussian type as in (1.3). If \(\Lambda \subseteq \mathbb {R}\) is separated and \(D^-(\Lambda ) > 1\), then \(\Lambda \) is a sampling set for \(V^2(g)\).
Since a sampling set for \(V^2(g) \) must necessarily satisfy \(D^-(\Lambda ) \ge 1\) by [2, 5], this result is optimal. Theorem 1.2 thus validates the heuristic understanding of the signal processing community that nonuniform sampling above the critical density (the Nyquist rate) leads to stable reconstruction in a shift-invariant space. As with bandlimited functions [49], the case of the critical density \(D^-(\Lambda )=1\) is subtle and deserves a more detailed analysis. Generically, the set \(\Lambda = r + \mathbb {Z}\) is a sampling set, but there always exists at least one \(r_0 \in [0,1]\) such that \(r_0 + \mathbb {Z}\) fails to be a sampling set.
To the best of our knowledge, Theorem 1.2 is the first result of this kind beyond a purely analytic setting (although complex variable methods enter our proofs through a backdoor). In contrast to the covering density, Theorem 1.2 allows for truly nonuniform sets with large gaps and underscores the use of Beurling’s density as the right performance metric for sampling.
We stress that Theorem 1.2 is new even for the shift-invariant space with Gaussian generator. We believe that it opens a new avenue in approximation theory of radial basis functions, because sampling inequalities have become an integral part of the error analysis for scattered data interpolation [30, 48]. We also have a dual result for interpolation in shift-invariant spaces, formulated in terms of Beurling’s upper density \(D^+(\Lambda )\).
Theorem 1.3
Let \(\varphi (x) = e^{-cx^2}\) be a Gaussian. If \(\Lambda \subseteq \mathbb {R}\) is separated and \(D^+(\Lambda ) < 1\), then \(\Lambda \) is an interpolating set for \(V^2(\varphi )\). This means that for all \(a \in \ell ^2(\Lambda )\) there exists \(f\in V^2(\varphi {} )\) such that \(f(\lambda ) = a_\lambda \).
1.2 Gabor analysis
Surprisingly, the problem of sampling in shift-invariant spaces is intimately connected with the construction of Gabor frames. As a consequence of Theorem 1.2 we make substantial progress towards a conjecture that was originally expressed by I. Daubechies in [15] and then refined in [26, 29].
Let \( (x,\xi ) \in \mathbb {R}^2 \) and \( M_\xi T_x g(t) = e^{2\pi i \xi t} g(t-x)\) be the corresponding phase-space shift (time–frequency shift). For a separated set \(\Omega \subseteq \mathbb {R}^2\) and a generator \(g\in L^2(\mathbb {R})\) (a window function in the established terminology), let \(\mathcal {G}(g, \Omega ) = \{ M_\nu T_\mu g: (\mu ,\nu ) \in \Omega \}\) be the set of time–frequency shifts over \(\Omega \). We study the question when \(\mathcal {G}(g,\Omega )\) is a Gabor frame, i.e., when there exist \(A,B>0\), such that
In other words, \(\Omega \) is a sampling set for the space \(V = \{F \in L^2(\mathbb {R}^2): F(x,\xi ) = \langle f, M_\xi T_x g\rangle \text { for } f\in L^2(\mathbb {R})\}\). Again there is a universal necessary density condition given by the density theorem for Gabor frames [32]. If \(\mathcal {G}(g,\Omega )\) is a frame for \(L^2(\mathbb {R})\), then \(D^-_2(\Omega ) \ge 1\) (where \(D^-_2\) is the Beurling density on \(\mathbb {R}^2\)). Under mild conditions on the window g, the inequality is strict \(D_2^-(\Omega ) > 1\) [4, 9, 28].
On the other hand, the derivation of optimal sufficient conditions for (1.4) to hold is an old and difficult problem in analysis and is usually studied only for lattices \(\Omega = \alpha \mathbb {Z}\times \beta \mathbb {Z}\), \(\alpha , \beta >0\) or \(\Omega = A\mathbb {Z}^2\) with \(A \in \mathrm {GL}(2,\mathbb {R})\) [15, 23].
Over a period of 25 years a complete characterization was obtained only for the Gaussian [47, 56], the truncated and the symmetric exponential functions [36, 37], the hyperbolic secant [38], and for totally positive functions of finite type \(\ge 2\) [29]. The fact that all these functions are totally positive led to the following conjecture: for a continuous function \(g \in L^{1}(\mathbb {R}) \) the set \(\mathcal {G}(g,\alpha \mathbb {Z}\times \beta \mathbb {Z})\) is a frame, if and only if \(\alpha \beta <1\).
Our second main result proves this conjecture for totally positive functions of Gaussian type and extends the characterization of Gabor frames to semi-regular sets of the form \(\Omega = \Lambda \times \mathbb {Z}\) for \(\Lambda \subseteq \mathbb {R}\).
Theorem 1.4
Assume that g is a totally positive function of Gaussian type. Let \(\Lambda \subseteq \mathbb {R}\) be a separated set.
Then \(\mathcal {G}(g, \Lambda \times \mathbb {Z})\) is a Gabor frame for \(L^2(\mathbb {R})\), if and only if \(D^-(\Lambda ) > 1\).
We formulate the case of rectangular lattices explicitly as a corollary.
Corollary 1.5
Assume that g is a totally positive function of Gaussian type. Then \(\mathcal {G}(g, \alpha \mathbb {Z}\times \beta \mathbb {Z}) \) is a frame, if and only if \(\alpha \beta <1\).
What is still missing to prove the full conjecture is the class of totally positive functions of infinite type, where \( \hat{g}(\xi )= \prod _{j=1}^\infty (1+2\pi i\delta _j\xi )^{-1} \, e^{-c \xi ^2}\), \(\delta _j\in \mathbb {R}{\setminus } \{0\}\), \(c \ge 0\). It seems tempting to extend Corollary 1.5 by some form of limiting procedure, but so far we have not succeeded in finding a rigorous argument.
Let us emphasize that totally positive functions constitute the only class of window functions for which a characterization of all frame generating lattices seems within reach. For other natural classes of window functions, such as the B-splines or the Hermite functions, only partial results are known [27], and all explicit conjectures have been disproved [44] and need a thorough reformulation.
1.3 Totally positive functions
As an important tool, we will derive a new property of totally positive functions related to zero sets in shift-invariant spaces. The following result will serve as a central technical tool for the sampling results.
Theorem 1.6
Assume that g is totally positive of Gaussian type. Let \(f = \sum _{k\in \mathbb {Z}} c_k g(\cdot - k)\) with coefficients \(c\in \ell ^\infty (\mathbb {Z})\) and let \(N(f) = \{ x \in \mathbb {R}: f(x) = 0\}\) be the zero set of f. Then either \(D^{-}(N(f)) \le 1\) or \(f \equiv 0\).
This statement resembles the classical result on the density of zeros of an entire function of exponential type [13, 46], but its proof is surprisingly indirect and makes little use of complex analysis methods. Theorem 1.6 can also be seen in the context of the variation-diminishing property of totally positive functions [52, 53].
1.4 Methods
We draw on methods from different areas and exploit new interplays between them.
(i) Structure theory of Gabor frames. The duality theory of Gabor frames [51] in the formulation of Janssen [35] relates the frame property of \(\mathcal {G}(g, \alpha \mathbb {Z}\times \beta \mathbb {Z})\) to a (uniform) sampling problem in the shift-invariant space \(V^2(g)\) (with shifts by \(\beta ^{-1}\mathbb {Z}\) instead of \(\mathbb {Z}\)). We extend this connection to nonuniform sampling sets and derive a characterization of semi-regular Gabor frames, which we formulate in a coarse version as follows.
Lemma
\(\mathcal {G}(g, (-\Lambda ) \times \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\), if and only if \(x+ \Lambda \) is a sampling set for \(V^2(g)\) for all x with uniform constants.
In a crucial step, we will relate a uniqueness problem of the form “\(f \equiv 0\) on \(\Lambda \) \(\Rightarrow \) \(f \equiv 0\) on \(\mathbb {R}\)” in a shift-invariant space to the completeness of a Gabor system in a suitable function space (Theorem 2.6).
(ii) Frames and sampling without inequalities. We will derive several new abstract characterizations for sampling sets in shift-invariant spaces that do not require an inequality (Theorem 3.1). These characterizations are inspired by Beurling’s approach to bandlimited functions and deal with the subtle interplay between sampling on the Hilbert space \(V^2(g)\) and uniqueness on a larger space associated with the \(L^\infty \)-norm. While in the Paley–Wiener space there is an explicit bandwidth parameter that permits such arguments, no direct analog is available for shift-invariant spaces. To circumvent this obstruction, we use a non-commutative version of Wiener’s Lemma and the spectral invariance of matrices with \(\ell ^1\)-off-diagonal decay. The depth of the characterization of sampling sets without inequality is hidden in these results about spectral invariance, which go back to Baskakov [7] and Sjöstrand [58].
(iii) Totally positive functions. We will use Schoenberg’s characterization of totally positive functions by their Fourier–Laplace transform [52], but not the total positivity itself.
It is worthwhile to compare the methods and results for totally positive functions of finite type in [29] (where \(\hat{g}(\xi ) = \prod _{j=1}^n (1 + 2\pi i \delta _j \xi )^{-1}\)) to those for totally positive functions of Gaussian type. For totally positive functions of finite type we made essential use of the total positivity and the Schoenberg-Whitney conditions to reduce the Gabor frame property to a finite-dimensional problem. Corollary 1.5 remains true, whereas the statements of Theorems 1.2, 1.4 and 1.6 as stated are false for finite type.
Therefore we developed a completely new proof strategy for our results on totally positive functions of Gaussian type. The line of arguments is quite nonlinear and switches between sampling in shift-invariant spaces and Gabor frames. We first prove Theorem 1.2 for the special case of a Gaussian generator \(\varphi (x) = e^{-cx^2}\). For this we will invoke the fundamental characterization of sampling sets in Bargmann–Fock space by Lyubarskii and Seip [47, 56], and in fact, slightly elaborate on their main argument that relates density of zeros and growth. We then show that \(V^2(g)\) for totally positive g of Gaussian type is mapped onto \(V^2(\varphi )\) by a suitable differential operator. This fact allows us to compare the density of the zero sets of functions in the corresponding shift-invariant spaces. The general version of Theorem 1.2 then follows from the characterization of sampling sets without inequalities. Finally we translate the sampling results for the shift-invariant spaces \(V^2(g)\) into the characterization of Gabor frames of Theorem 1.4.
The paper is organized as follows. Section 2 introduces shift-invariant spaces and the connections to Gabor analysis. Section 3 develops a characterization of sampling sets without inequalities in the spirit of Beurling. These tools are exploited in Sect. 4 to obtain sampling and interpolation results in shift-invariant spaces with a Gaussian generator and some necessary technical extensions. The density of zero sets for functions in shift-invariant spaces with different generators is compared in Sect. 5, leading to the main results on sampling (Theorem 1.2). Finally, Sect. 6 contains the characterization of semi-regular Gabor frames (Theorem 1.4). In the Appendix we supply the postponed proofs.
2 Sampling in shift-invariant spaces and nonuniform Gabor families
We first set up the basics about shift-invariant spaces, formulate several structural characterizations and point out some connections between shift-invariant spaces and Gabor families. For future reference we remark that the results in this section hold equally for sampling in shift-invariant spaces in higher dimensions (with identical proofs).
2.1 Shift-invariant spaces
Let \(g:\mathbb {R}\rightarrow \mathbb {C}\) be a function in the Wiener amalgam space \(W_0=W(C,\ell _1)\), i.e., g is continuous and
In the center of our study are the shift-invariant spaces
for \(1\le p\le \infty \). A comprehensive survey on shift-invariant spaces was given by Ron in [50].
Standard computations using Hölder’s inequality [3] show that
and consequently \(V^p(g)\subseteq L^p(\mathbb {R})\).
Throughout we will assume and use the following stability of the generator g.
Theorem 2.1
Let \(g\in W_0\). Then the following are equivalent.
-
(a)
There exists \(p\in [1,\infty ]\) and \(C_p>0\) such that
$$\begin{aligned} \big \Vert {\sum _{k \in \mathbb {Z}} c_k g(\cdot -k)}\big \Vert _p\ge C_p\Vert c\Vert _p,\quad c\in \ell ^p(\mathbb {Z}). \end{aligned}$$ -
(b)
For all \(p\in [1,\infty ]\) there exists a constant \(C_p>0\) such that
$$\begin{aligned} \big \Vert {\sum _{k \in \mathbb {Z}} c_k g(\cdot -k)}\big \Vert _p\ge C_p\Vert c\Vert _p,\quad c\in \ell ^p(\mathbb {Z}). \end{aligned}$$ -
(c)
The shifts \(\{g(\cdot -k): k\in \mathbb {Z}\}\) are \(\ell ^\infty \)-independent; this means that \({\sum _{k \in \mathbb {Z}} c_k g(\cdot -k)}\ne 0\) for every \(c\in \ell ^\infty (\mathbb {Z}) {\setminus }\{0\}\).
-
(d)
For every \(\xi \in \mathbb {R}\) we have \( \sum _{k\in \mathbb {Z}} |\hat{g}(\xi +k)|^2 >0.\)
We say that g has stable integer shifts if any of the equivalent conditions of Theorem 2.1 holds. The equivalence was proved in [39, Theorem 3.5] and [50, Theorem 29] under a slightly more general condition on g.
2.2 Sampling, uniqueness, and interpolating sets for shift-invariant spaces
Since for \(g\in W_0\) all spaces \(V^p(g)\) are subspaces of \(C(\mathbb {R})\), sampling of functions \(f\in V^p(g)\) is well-defined. A subset \(\Lambda \subseteq \mathbb {R}\) is called relatively separated, if
and it is called separated if \(\inf \{ |\lambda -\mu |: \lambda , \mu \in \Lambda , \lambda \not = \mu \} = \delta >0\). If follows that every relatively separated set can be partitioned into \(n_\Lambda \) separated subsets \(\Lambda _j\), \(j = 1, \ldots , {n_\Lambda }\), with separation constant 1 / 2.
Clearly, for a relatively separated set \(\Lambda \) the lower Beurling density
and the upper Beurling density \(D^+(\Lambda )\) (with \(\limsup \) and \(\sup \) in its definition) are finite.
Let \(g\in W_0\) have stable integer shifts. A relatively separated set \(\Lambda \subseteq \mathbb {R}\) is called a sampling set for the shift-invariant space \(V^p(g)\), \(1\le p<\infty \), if there are constants \(A_p,B_p>0\) such that
for all \(f\in V^p(g)\). For \(p=\infty \), we require that
holds for all \(f\in V^\infty (g)\).
A set \(\Lambda \) is called a uniqueness set for \(V^p(g)\), if \(f \in V^p(g)\) and \(f(\lambda ) = 0\) for all \(\lambda \in \Lambda \) implies that \(f = 0\).
If for every \(a \in \ell ^p(\Lambda )\) there exists an \(f \in V^p(g)\) such that \(f(\lambda ) = a_\lambda \), then \(\Lambda \) is said to be an interpolating set.
These notions can be expressed in terms of the matrices (called the pre-Gramian in [51])
If \(g\in W_0\), then by Schur’s test, the matrix \(P_\Lambda (g)\) defines a bounded linear operator \(P_\Lambda (g):\ell ^p(\mathbb {Z}) \rightarrow \ell ^p(\Lambda ), 1 \le p \le \infty \), and,
see for example [3]. The equivalence of norms \( \Vert \sum _k c_k g(\cdot -k)\Vert _p \asymp \Vert c\Vert _p\) and the definitions imply the following characterizations.
Lemma 2.2
Assume that \(g\in W _0 \) has stable integer shifts. Let \(1\le p\le \infty \) and \(\Lambda \subseteq \mathbb {R}\) be relatively separated. Then:
-
(a)
\(\Lambda \) is a sampling set for \(V^p(g)\), if and only if \(P_\Lambda (g)\) is p-bounded below, i.e., if and only if there exist \(\tilde{A}_p>0\) such that
$$\begin{aligned} \left\| P_\Lambda (g) c\right\| _p \ge \tilde{A}_p \Vert c\Vert _p \quad \text {for all}\quad c\in \ell ^p(\mathbb {Z}). \end{aligned}$$ -
(b)
\(\Lambda \) is a uniqueness set for \(V^p(g)\), if and only if \(P_\Lambda (g)\) is one-to-one on \(\ell ^p(\mathbb {Z})\).
-
(c)
\(\Lambda \) is an interpolating set for \(V^p(g)\), if and only if \(P_\Lambda (g)\) is surjective from \(\ell ^p(\mathbb {Z})\) onto \(\ell ^p(\Lambda )\).
2.3 The connection between sampling and Gabor analysis
Sampling and interpolation problems in the shift-invariant space \(V^2(g)\) are closely related to the construction of Gabor frames and Riesz bases. The connection is implicit in the duality theory by Janssen [35] and Ron and Shen [51] and has been instrumental in the characterization of Gabor frames on lattices for totally positive functions of finite type [29]. The main objective of this section is to extend the relation between Gabor analysis and shift-invariant space to (i) more nonuniform phase-space nodes and to (ii) uniqueness / completeness problems in appropriate function spaces.
We use \(T_y g(x)=g(x-y)\) for translation and \(M_\xi g(x)=e^{2\pi ix\xi }g(x)\) for modulation. A Gabor family is a collection of time–frequency shifts, and we are particularly interested in the semi-regular family
associated with the window function g and a set \(\Lambda \subseteq \mathbb {R}\). By definition, this family is a Gabor frame, if there exist constants \(A,B>0\), such that
We next formulate several characterizations of Gabor frames that establish the connection to sampling in shift-invariant spaces. We recall the definition of the Zak transform \(Zg(x,\xi )= \sum _{k\in \mathbb {Z}} g(x+k)e^{2\pi i k\xi }\) of a function \(g\in L^1(\mathbb {R})\).
Theorem 2.3
Assume that \(g\in W_0\) has stable integer shifts and that \(\Lambda \subseteq \mathbb {R}\) is relatively separated. The following are equivalent.
-
(a)
The family \(\mathcal {G}(g,(-\Lambda ) \times \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\).
-
(b)
The set \(\Lambda +x\) is a sampling set of \(V^2(g)\) for every \(x\in [0,1)\), i.e., for each \(x \in [0,1)\), there exist \(A_x,B_x>0\) such that
$$\begin{aligned} A_x\Vert c\Vert _2^2 \le \sum _{\lambda \in \Lambda } \Big | \sum _{k \in \mathbb {Z}} c_k g(\lambda +x-k) \Big |^2 \le B_x \Vert c\Vert _2^2 \quad \text{ for } \text{ all } c \in \ell ^2(\mathbb {Z}). \end{aligned}$$ -
(c)
There exist \(A,B>0\) such that, for all \( x\in [0,1)\),
$$\begin{aligned} A\Vert c\Vert _2^2 \le \sum _{\lambda \in \Lambda } \Big | \sum _{k \in \mathbb {Z}} c_k g(\lambda +x-k) \Big |^2 \le B \Vert c\Vert _2^2 \quad \text{ for } \text{ all } c \in \ell ^2(\mathbb {Z}). \end{aligned}$$(2.4) -
(d)
There exist constants \(A,B>0\) such that
$$\begin{aligned} A\Vert h\Vert _2^2 \le \sum _{\lambda \in \Lambda } \Big | \int _{0 }^1 {h(\xi )} Zg(x+\lambda ,\xi )\,d\xi \Big |^2 \le B \Vert h\Vert _2^2 \end{aligned}$$(2.5)for all \(h \in L^2([0,1])\) and \(x\in [0,1)\).
Moreover, the optimal constants in (2.3), (2.4), and (2.5) coincide.
The proof is postponed to the Appendix.
Remark 2.4
-
(i)
For the case \(\Lambda = \alpha \mathbb {Z}\), the equivalence of (a), (c), and (d) is Janssen’s version of the duality theory [35]. It is one of the most useful tools for deriving concrete and strong results about Gabor frames [29, 36]. The extension of the equivalences to nonuniform sampling sets is new and is derived by a suitable modification of the known proofs.
-
(ii)
Condition (d) can be reformulated by saying that for every \(x\in [0,1)\) the set of functions \(\{ Zg(x+\lambda ,\xi ): \lambda \in \Lambda \}\) is a frame for \(L^2([0,1], d\xi )\).
Interpolation problems in shift-invariant spaces can similarly be related to Gabor systems. We state the following theorem, whose proof is given in the Appendix, together with the one of Theorem 2.3.
Theorem 2.5
Let \(g\in W_0\) have stable integer shifts and \(\Lambda \subseteq \mathbb {R}\) be relatively separated. Then the following are equivalent.
-
(a)
\(\mathcal {G}(g, (-\Lambda ) \times \mathbb {Z}) \) is a Riesz sequence in \(L^2(\mathbb {R})\).
-
(b)
For each \(x \in [0,1)\), \(\Lambda +x\) is an interpolating set for \(V^2(g)\).
-
(c)
The sets \(\Lambda +x\), \(x \in [0,1)\), are interpolating sets for \(V^2(g)\) with uniform constants, i.e., for all \(a \in \ell ^2(\Lambda )\) there exists \(f_x \in V^2(g)\) such that \(f_x(\lambda +x)=a_\lambda \), for all \(\lambda \in \Lambda \), and \(||f_x||_2 \le C \Vert a\Vert _2\), with a constant C independent of x.
The following theorem relates Gabor systems and shift-invariant spaces, but this time it concerns \(L^\infty \)-uniqueness. It serves as one of our main tools in the following sections.
Theorem 2.6
Let \(g \in W_0(\mathbb {R})\) and let \(\Lambda \subseteq \mathbb {R}\) be arbitrary. Suppose that \(\mathcal {G}(g, (-\Lambda ) \times \mathbb {Z})\) spans a dense subspace in \(W_0(\mathbb {R})\). Then for every \(x \in \mathbb {R}\), \(\Lambda +x\) is a uniqueness set for \(V^\infty (g)\).
Proof
Suppose that \(\mathrm {span}\, \mathcal {G}(g, (-\Lambda ) \times \mathbb {Z})\) is dense in \(W_0(\mathbb {R})\). For simplicity, we assume that \(x=0\) (otherwise, we shift \(\Lambda \) suitably). We need to show that the matrix \(P_\Lambda (g) \) is one-to-one from \(\ell ^\infty (\mathbb {Z})\) to \(\ell ^\infty (\Lambda )\). By duality, this is equivalent to saying that the matrix \(P_\Lambda (g)^\prime = (g(\lambda -k))_{k\in \mathbb {Z}, \lambda \in \Lambda }\) viewed as an operator from \(\ell ^1(\Lambda ) \rightarrow \ell ^1(\mathbb {Z})\) has dense range in \(\ell ^1(\mathbb {Z})\). Thus we need to show that for every \(c \in \ell ^1(\mathbb {Z})\) and \(\epsilon >0\) there is a sequence \(a \in \ell ^1(\Lambda )\) such that \(\Vert P_\Lambda (g)^\prime a-c\Vert _1 <\epsilon \). Let \(\eta \in C^\infty (\mathbb {R})\) be supported on \([-1/4,1/4]\) and \(\eta (x) = 1\) in a neighborhood of the origin, and let
Then \(h \in W_0\) and \(h(-k)=c_k\) for all \(k\in \mathbb {Z}\).
Given \(\epsilon >0\), by assumption, there exists a finite linear combination
with coefficients \(b \in \ell ^1(\Lambda \times \mathbb {Z})\) (with finite support), such that \(||f-h||_{W _0} < \epsilon \).
Let \(a_\lambda := \sum _j b_{\lambda ,j}\), and note that \(||a||_{\ell ^1(\Lambda )} \le ||b||_{\ell ^1(\Lambda \times \mathbb {Z})} <\infty \). In addition, \(f(-k) = \sum _{\lambda \in \Lambda } \sum _{j\in \mathbb {Z}} b_{\lambda ,j} g(\lambda -k) = (P_\Lambda (g)^\prime a)_k\). Finally, we estimate
Hence the desired approximation holds. \(\square \)
3 Characterization of Beurling type for sampling sets and Gabor frames
3.1 Characterization of sampling sets for shift-invariant spaces
According to (2.1), a sampling set for \(V^p(g)\) is also a uniqueness set for \(V^p(g)\). The sampling inequalities in (2.1) are stronger than mere uniqueness: they quantify the stability of the map \(f|\Lambda \mapsto f\). It is a remarkable insight due to Beurling [10, 11, p. 351–365] that sampling sets for bandlimited functions can be characterized in terms of uniqueness sets for a larger space of functions. We now develop an instance of this principle in the context of shift-invariant spaces and relate a sampling problem on \(V^2(g)\) to a collection of uniqueness problems on \(V^\infty (g)\). Analogous results hold for Gabor frames [25, 28].
For the formulation, we recall Beurling’s notion of a weak limit of a sequence of sets. A sequence \(\{\Lambda _n: n \ge 1\}\) of subsets of \(\mathbb {R}\) is said to converge weakly to a set \(\Lambda \subseteq \mathbb {R}\), denoted \(\Lambda _n \xrightarrow {w}\Lambda \), if for every open bounded interval (a, b) and every \(\varepsilon >0\), there exist \(n_0 \in \mathbb {N}\) such that for all \(n \ge n_0\):
The notion of weak convergence of sets is closely related to local convergence in the Hausdorff metric, but the precise relation is slightly technical (see [28, Section 4].
Given a set \(\Lambda \subseteq \mathbb {R}\), we let \(W_{\mathbb {Z}}(\Lambda )\) denote the collection of all weak limits of integer translates of \(\Lambda \), i.e., \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\), if there exists a sequence \(\{k_n: n \ge 1\} \subseteq \mathbb {Z}\) such that \(\Lambda + k_n \xrightarrow {w}\Gamma \). If \(\Lambda \) is relatively separated, each set in \(W_{\mathbb {Z}}(\Lambda )\) is also relatively separated (see, e.g., [28, Lemma 4.5]).
The following characterization of sampling sets for \(V^p(g)\) is new and should be compared with Theorem 2.1.
Theorem 3.1
Let \(g\in W_0\) have stable integer shifts and let \(\Lambda \subseteq \mathbb {R}\) be a relatively separated set. The following are equivalent:
-
(a)
\(\Lambda \) is a sampling set of \(V^p(g)\) for some \(p \in [1,\infty ]\).
-
(b)
\(\Lambda \) is a sampling set of \(V^p(g)\) for all \(p \in [1,\infty ]\).
-
(c)
Every \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\) is a sampling set for \(V^\infty (g)\).
-
(d)
Every \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\) is a uniqueness set for \(V^\infty (g)\).
-
(e)
For every \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\), the matrix \(P_\Gamma (g)=(g(\gamma -k))_{\gamma \in \Gamma ,~k\in \mathbb {Z}}\) defines a bounded injective operator from \(\ell ^\infty (\mathbb {Z})\) to \(\ell ^\infty (\Gamma )\).
-
(f)
For every \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\), the matrix \(P_{\Gamma }(g)^\prime =(g(\gamma -k))_{k\in \mathbb {Z}, \gamma \in \Gamma }\) defines an operator \(\ell ^1(\Gamma ) \rightarrow \ell ^1(\mathbb {Z})\) with dense range.
The Proof of Theorem 3.1 relies on the theory of localized frames [24] and combines facts about spectral invariance with manipulations with weak limits. As we have proved a similar characterization without inequalities for Gabor frames in [28, Section 5], we postpone the proof to the Appendix.
Remark 3.2
-
(i)
Theorem 3.1 says that instead of proving an inequality of type (1.1) or the left-invertibility of the matrix \(P_\Lambda (g)\), it suffices to verify that \(P_\Gamma (g)\) has trivial kernel on the larger space \(\ell ^\infty (\mathbb {Z})\) for every \(\Gamma \in W_\mathbb {Z}(\Lambda )\). This is conceptually easier.
-
(ii)
The \(\ell ^\infty \)-injectivity in (d) cannot be replaced by \(\ell ^2\)-injectivity. This is in accordance with Theorem 2.1 where \(\ell ^p\)-injectivity of \(c\mapsto {\sum _{k \in \mathbb {Z}} c_k g(\cdot -k)}\) is a much weaker condition for \(p<\infty \). Also note that the equivalence can hold only for \(g\in W_0\), otherwise some of the conditions do not even make sense.
-
(iii)
We emphasize that Theorem 3.1 does not say that every uniqueness set for \(V^\infty (g)\) is a sampling set. See Remark 4.2 below for a concrete example.
-
(iv)
The exact analog of Theorem 3.1 is not valid for the Paley–Wiener space, because the sampling problems associated with different \(L^p\)-norms are not equivalent. In our case, the assumption \(g \in W_0\) allows us to invoke a matrix variant of Wiener’s 1 / f lemma due to Sjöstrand [58].
3.2 Characterization of Gabor frames
Although not needed for the main results, we formulate a new characterization of Gabor frames. In the formulation we again need weak limits of sequences of sets. For a set \(\Lambda \subseteq \mathbb {R}\), we define \(W(\Lambda )\) as the set of weak limits of translates \(\Lambda +x\), i.e., \(\Gamma \in W(\Lambda )\), if and only if there exists a sequence of real numbers \(\{ x_n : n\ge 1\} \subseteq \mathbb {R}\), such that \(\Lambda + x_n \xrightarrow {w}\Gamma \). We note that \(W(\Lambda ) = \bigcup _{x \in [0,1]} W_{\mathbb {Z}}(\Lambda +x)\).
Theorem 3.3
Assume that \(g\in W_0\) has stable integer shifts and that \(\Lambda \subseteq \mathbb {R}\) is relatively separated. The following are equivalent.
-
(a)
The family \(\mathcal {G}(g,(-\Lambda ) \times \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\).
-
(b)
For every \(\Gamma \in W(\Lambda )\), the matrix \(P_\Gamma (g)=(g(\gamma -k))_{\gamma \in \Gamma ,~k\in \mathbb {Z}}\) defines a bounded injective operator from \(\ell ^\infty (\mathbb {Z})\) to \(\ell ^\infty (\Gamma )\).
-
(c)
For every \(\Gamma \in W(\Lambda )\), the matrix \(P_\Gamma (g) ^\prime =(g(\gamma -k))_{k\in \mathbb {Z},~\gamma \in \Gamma }\) defines an operator \(\ell ^1(\Gamma )\rightarrow \ell ^1(\mathbb {Z})\) with dense range.
Theorem 3.3 is a direct consequence of Theorems 2.3 and 3.1.
4 Nonuniform sampling and Gabor families with Gaussian generators
Let \(\varphi (x)=e^{-c x^2}\), \(c>0\), be a scaled centered Gaussian. Lyubarskii [47] and Seip [56] proved the following.
Theorem 4.1
(Lyubarskii, Seip) Let \(\Omega \subseteq \mathbb {R}^2\) be separated. Then
-
(a)
\(\mathcal {G}(\varphi ,\Omega ):= \{M_{\xi _2} T_{\xi _1} \varphi : (\xi _1,\xi _2)\in \Omega \}\) is a frame for \(L^2(\mathbb {R})\) if and only if
$$\begin{aligned} D_2^-(\Omega ) := \mathop {\mathrm{liminf}}_{R\rightarrow \infty }\inf _{z\in \mathbb {R}^2} \frac{\# (\Omega \cap (z + [-R,R]^2))}{4R^2} >1, \end{aligned}$$and
-
(b)
\(\mathcal {G}(\varphi ,\Omega )\) is a Riesz sequence if and only if
$$\begin{aligned} D_2^+(\Omega ) := \mathop {\mathrm{limsup}}_{R\rightarrow \infty }\sup _{z\in \mathbb {R}^2} \frac{\# (\Omega \cap (z + [-R,R]^2))}{4R^2} <1. \end{aligned}$$
Remark 4.2
While a set \(\Omega \) generating a Gabor Riesz sequence is necessarily separated, a set generating a frame may be only relatively separated, and Theorem 4.1 (a) does not directly apply to non-separated sets. The exact characterization is the following: \(\mathcal {G}(\varphi ,\Omega )\) is a frame of \(L^2(\mathbb {R})\) if and only if \(\Omega \) is relatively separated and contains a separated subset of density \(>1\).
To see the relevance of this subtle distinction, we consider the set \(\Omega = \{ (k,j), (k+2^{-|k|},j): k,j \in \mathbb {Z}\}\). Then clearly \(\Omega \) is relatively separated and \(D^{-}(\Omega ) =2\), but \(\mathcal {G}(\varphi ,\Omega )\) is not a frame of \(L^2(\mathbb {R})\). Indeed, if \(\mathcal {G}(\varphi ,\Omega )\) were a frame of \(L^2(\mathbb {R})\), then by [28, Theorem 5.1] (equivalence of (i) and (v)) \(\mathcal {G}(\varphi ,\Omega ')\) would be a frame for every \(\Omega ' \in W(\Omega )\). However, it is easy to see that \(\mathbb {Z}^2 \in W(\Omega )\) and it is well-known that \(\mathcal {G}(\varphi ,\mathbb {Z}^2)\) is not a frame [9, 32].
In spite of the previous remark, we have the following result.
Theorem 4.3
Let \(\Omega \subseteq \mathbb {R}^2\) be an arbitrary set with \(D^{-}(\Omega )>1\). Then \(\mathcal {G}(\varphi ,\Omega )\) spans a dense subspace of \(W_0(\mathbb {R})\).
The Proof of Theorem 4.3 uses (i) the connection between Gabor systems with a Gaussian generator and sampling in the Bargmann–Fock space of entire functions, provided by the Bargmann transform [6, 16], and (ii) a complex analysis argument that compares growth and density of zeros that goes back to Beurling [10, 11], and in the form required here was given by Brekke and Seip [14]. Since the claim that the result is valid for possibly non-separated sets is an essential technical point not explicitly stated in the references, we sketch a self-contained argument in the appendix.
We have now assembled all tools to prove a general result for the shift-invariant spaces \(V^p(\varphi )\) in the style of Beurling. As a consequence of Theorem 2.3, we obtain the following statement, which implies Theorem 1.3 (announced in the Introduction).
Theorem 4.4
Let \(\varphi (x)=e^{-cx^2}\) with \(c>0\).
-
(a)
If \(\Lambda \subseteq \mathbb {R}\) has density \(D^-(\Lambda )>1\), then \(\Lambda \) is a uniqueness set for \(V^\infty (\varphi )\).
-
(b)
If \(\Lambda \) is separated and \(D^-(\Lambda )>1\), then \(\Lambda \) is a sampling set for \(V^p(\varphi )\) for \(1\le p\le \infty \).
-
(c)
If \(\Lambda \) is separated and \(D^+(\Lambda )<1\), then \(\Lambda \) is an interpolating set for \(V^2(\varphi )\).
Proof
-
(a)
Assume that \(D^-(\Lambda )>1\). Then the set \(\Omega =(-\Lambda )\times \mathbb {Z}\subseteq \mathbb {R}^2\) has lower Beurling density
$$\begin{aligned} D_2^-((-\Lambda )\times \mathbb {Z}) = D^-(-\Lambda ) = D^-(\Lambda ) >1 \end{aligned}$$(where as before \(D_2^-\) is the Beurling density of a subset in \(\mathbb {R}^2\), and \(D^-\) is the Beurling density of a subset in \(\mathbb {R}\)). By Theorem 4.3, \(\mathcal {G}(\varphi , (-\Lambda ) \times \mathbb {Z})\) spans a dense subspace of \(W_0(\mathbb {R})\). Theorem 2.6 now implies that \(x+\Lambda \) is a uniqueness set for \(V^\infty (\varphi )\) for all \(x\in \mathbb {R}\).
-
(b)
If \(D^-(\Lambda )>1\) and, in addition, \(\Lambda \) is separated, then, by Theorem 4.1, \(\mathcal {G}(\varphi ,(-\Lambda ) \times \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\). Hence \(\Lambda \) is a sampling set for \(V^2(\varphi )\) by Theorem 2.3. Part (c) follows similarly, this time we invoke Theorem 2.5.\(\square \)
Remark 4.5
-
(i)
The functions in \(V^2(\varphi )\) and \(V^\infty (\varphi )\) are certain entire functions of order 2. It would be interesting to find a direct proof without the detour to Gabor frames in Theorem 4.3.
-
(ii)
The critical case \(\Lambda = x+ \mathbb {Z}\) (hence \(D^-(\Lambda )=1\)) for arbitrary generator \(g\in W_0\) is easy to understand with characterization (d) of Theorem 2.3. The quasi-periodicity of the Zak transform implies that \(Zg(x+k,\xi ) = e^{-2\pi i k\xi } Zg(x,\xi )\). It follows that \(x+\Lambda \) is a sampling set, if and only if the set \(\{e^{2\pi i k\xi } Zg(x,\xi ): k\in \mathbb {Z}\}\) is a frame for \(L^2(\mathbb {T}, d\xi )\). This is the case, if and only if \(Zg(x,\xi ) \ne 0\) for all \(\xi \in \mathbb {R}\). However, since \(g\in W_0\) has a continuous Zak transform, there exists at least one point \((x_0,\xi _0)\) such that \(Zg(x_0,\xi _0)=0\) (see e.g. [9]). Consequently, \(x_0+\Lambda \) is not a sampling set. This case was investigated and understood early on by Janssen [33], Walter [61], and Baxter and Sivakumar [8].
5 Nonuniform sampling with totally positive generator
Next we study the sampling problem in shift-invariant spaces with a totally positive function of Gaussian type as a generator. As explained in the introduction, these are all (totally positive) functions g whose Fourier transform factors as
By Schoenberg’s characterization [52], every g of this form is totally positive, and every totally positive function in \(L^1(\mathbb {R})\) is a limit of totally positive functions of Gaussian type. In addition, we note that g has stable integer shifts. This can be easily verified using condition (d) of Theorem 2.1 and the fact that the Fourier transform of g in (5.1) has no real zeros.
Next, we denote the zero set of a continuous function f by
The identity operator is denoted by I as usual.
The following lemma is the crucial insight that allows us to go from the Gaussian to totally positive functions of Gaussian type as generators.
Lemma 5.1
Let \(f\in C^1(\mathbb {R})\) be real-valued. For \(a\in \mathbb {R}, a \ne 0,\) let \(g=\left( I+a\frac{d}{dx}\right) f\). Then
Proof
Note that \(I + a \tfrac{d}{dx} = a e^{-x/a} \tfrac{d}{dx} e^{x/a} \). We define \(h\in C^1(\mathbb {R})\) by \(h(x)=a e^{ x/a}f(x)\) and note that \(N_h = N_f\). Furthermore, since
we conclude that \(N_g=N_{h'}\). It remains to show that \(D^-(N_{h'})\ge D^-(N_h)\).
Let \(x\in \mathbb {R}\), \(R>0\), and \(F \subseteq N_{h}\cap [x-R,x+R]\) a finite subset. By Rolle’s theorem,
Since this holds for every finite subset \(F \subseteq N_{h}\cap [x-R,x+R]\), it follows that \(\#(N_{h'}\cap [x-R,x+R]) \ge \#(N_{h}\cap [x-R,x+R]) -1\). Therefore, \(D^-(N_{h'})\ge D^-(N_h)\), and
as claimed. \(\square \)
We now state our main results on sampling, which are an extended form of Theorems 1.2 and 1.6 in the introduction.
Theorem 5.2
Let g be a totally positive function of Gaussian type.
-
(a)
If \(\Lambda \subseteq \mathbb {R}\) has density \(D^-(\Lambda )>1\), then \(\Lambda \) is a uniqueness set for \(V^\infty (g )\).
-
(b)
If \(\Lambda \) is separated and \(D^-(\Lambda )>1\), then \(\Lambda \) is a sampling set for \(V^2(g)\).
Proof
Recall that g is real-valued and has stable integers shifts.
-
(a)
Let \(c\in \ell ^\infty (\mathbb {Z})\) and assume that \(f={\sum _{k \in \mathbb {Z}} c_k g(\cdot -k)}\in V^\infty (g)\) vanishes on \(\Lambda \) with \(D^-(\Lambda ) >1\). We want to show that \(f \equiv 0\). Note that \(f\in C^\infty (\mathbb {R})\). Since g is real-valued, we may assume without loss of generality that f is also real-valued (by replacing \(c_k\) by \(\mathfrak {R}(c_k)\) or \(\mathfrak {I}(c_k)\) if necessary). The representation of \(\hat{g}\) in (5.1) implies that
$$\begin{aligned} \prod _{j=1}^n \left( I+\delta _j \frac{d}{dx}\right) g =\varphi , \end{aligned}$$where \(\widehat{\varphi }(\xi )=e^{-c\xi ^2}\). Now set
$$\begin{aligned}\Phi =\sum _{k\in \mathbb {Z}} c_k \varphi (\cdot -k).\end{aligned}$$Since \(\varphi \), g and their derivatives decay exponentially, we may interchange summation and differentiation in f, and obtain that
$$\begin{aligned} \Phi = \prod _{j=1}^n \left( I+\delta _j \frac{d}{dx}\right) f . \end{aligned}$$We are now in a position to apply Lemma 5.1 repeatedly and conclude that
$$\begin{aligned} D^-(N_{\Phi }) \ge D^-(N_f) \ge D^{-}(\Lambda ) >1. \end{aligned}$$By Theorem 4.4, the set \(N_{\Phi }\) is a uniqueness set for \(V^\infty (\varphi )\). Since obviously \(\Phi \equiv 0\) on \(N_{\Phi }\), we conclude that \(\Phi \equiv 0\). Hence \(c = 0\) and therefore \(f \equiv 0\). Thus \(\Lambda \) is a uniqueness set for \(V^\infty (g)\).
-
(b)
Now assume that \(\Lambda \) is separated. By Theorem 3.1, in order to show that \(\Lambda \) is a sampling set for \(V^2(g)\), it suffices to show that every \(\Gamma \in W_\mathbb {Z}(\Lambda )\) is a uniqueness set for \(V^\infty (g)\). Let \(\Gamma \in W_\mathbb {Z}(\Lambda )\). Since \(\Lambda \) is separated, the weak-limit \(\Gamma \) is also separated and it satisfies \(D^{-}(\Gamma ) \ge D^-(\Lambda )>1\) (by Lemma 7.1 in the appendix). Part (a) now asserts that \(\Gamma \) is a uniqueness set for \(V^\infty (g)\). Therefore, by Theorem 3.1, \(\Lambda \) is a sampling set for \(V^2(g)\). \(\square \)
Remark 5.3
In the above proof, we do not know if the set \(N_{\Phi }\) is separated, even if the original set \(\Lambda \) is. Therefore we cannot conclude directly that \(N_{\Phi }\) is a sampling set for \(V^2(\varphi )\), but only that \(N_\Phi \) is a uniqueness set for \(V^\infty (\varphi )\). In this way, the proof exploits the full strength of Theorems 3.1 and 4.3.
Using a clever trick by Janssen and Strohmer [38], we obtain the following generalization of Theorem 5.2. Let g be a totally positive function of Gaussian type and let \(c , d\in \ell ^1(\mathbb {Z})\) be two sequences with Fourier series \(\hat{c}(\xi ) = \sum _{k\in \mathbb {Z}} c_k e^{2\pi i k\xi }\) and \(\hat{d}\), such that
Now set
Corollary 5.4
Let \(\gamma \) be defined as in (5.2) and \(\Lambda \subseteq \mathbb {R}\) be a separated set with density \(D^-(\Lambda ) >1\). Then \(\Lambda \) is a sampling set for \(V^2(\gamma )\).
In particular, if \(\gamma (x)=\mathrm {sech}(\nu x) = 2 (e^{\nu x} + e^{-\nu x})^{-1}\) and \(D^-(\Lambda ) >1\), then \(\Lambda \) is a sampling set for \(V^2(\gamma )\).
Proof
Since \(c,d\in \ell ^1(\mathbb {Z})\), it is easy to see that \(\gamma \in W_0\). Therefore the characterization in Theorem 3.1 is applicable. From the quasi-periodicity of the Zak transform we obtain that
Since \(|\hat{c} | , |\hat{d}| \ge C>0\) and Zg satisfies the condition (2.5) of Theorem 2.3, it follows that \(Z\gamma \) also satisfies condition (2.5). Therefore \(\Lambda \) is a sampling set for \(V^2(\gamma )\).
Finally, Janssen and Strohmer [38] showed that the hyperbolic secant \(\mathrm{sech}(\nu x)\) possesses a representation (5.2) with respect to the Gaussian for all \(\nu >0\), whence the statement follows.\(\square \)
6 Gabor frames with totally positive generator
We now use the relation between sampling sets for shift-invariant spaces and Gabor frames to derive a new result about Gabor frames with totally positive windows.
Despite intensive research about Gabor frames, the only complete results cover the Gaussian \(\varphi (x) = e^{-cx^2}\), the hyperbolic secant \(g(x) = (e^{cx} + e^{-cx})^{-1}\), and totally positive functions of finite type, which are defined by their Fourier transform as \( \hat{g}(\xi )= \prod _{j=1}^n (1+2\pi i\delta _j\xi )^{-1}\), \(\delta _1,\ldots ,\delta _n\in \mathbb {R}{\setminus } \{0\}.\) Our current knowledge can be summarized as follows:
Theorem 6.1
Let g be a Gaussian, the hyperbolic secant, or a totally positive function of finite type \(n\ge 2, n\in \mathbb {N}\). Then the Gabor family \(\mathcal {G}(g,\alpha \mathbb {Z}\times \beta \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\) if and only if \(\alpha \beta <1\).
The result goes back to [34, 38, 47, 56], the case of totally positive functions of finite type was settled in [29] with a new proof in [41]. The case \(n=1\) corresponds to the one-sided exponential function \(h(x) = e^{-\delta x} \chi _{[0,\infty )}(\delta x)\) and was already settled by Janssen [36]: \(\mathcal {G}(h,\alpha \mathbb {Z}\times \beta \mathbb {Z})\) is a frame, if and only if \(\alpha \beta \le 1\).
The method for the proof in [29] uses techniques from approximation theory, namely the Schoenberg-Whitney conditions in [29, 55] for the invertibility of certain submatrices of the pre-Gramian \(P_\Lambda (g)\). Note that the lattice \(\Omega =\alpha \mathbb {Z}\times \beta \mathbb {Z}\) has Beurling density \(D^-(\Omega )=(\alpha \beta )^{-1}\), so that \(\alpha \beta <1\) is precisely the density condition \(D^-(\Omega )>1\).
We extend Theorem 6.1 in two ways: we use totally positive functions of Gaussian type as window functions, and we study semi-regular sets of the form \(\Lambda \times \beta \mathbb {Z}\) instead of lattices \(\alpha \mathbb {Z}\times \beta \mathbb {Z}\). The following implies Theorem 1.4 of the introduction.
Theorem 6.2
Let g be a totally positive function of Gaussian type and let \(\Lambda \subseteq \mathbb {R}\) be a separated set. Then the Gabor family \(\mathcal {G}(g,\Lambda \times \beta \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\) if and only if \(0<\beta <D^-(\Lambda )\).
Proof
We use the scaling invariance of the class of totally positive functions of Gaussian type: if g is of the form (5.1), then the function \(g_\beta (x)=g( x/\beta )\) is of the same form (5.1) with different parameters and a positive normalization factor. By the usual dilation argument \(\mathcal {G}(g,\Lambda \times \beta \mathbb {Z})\) is a frame if and only if \(\mathcal {G}(g_\beta ,\beta \Lambda \times \mathbb {Z})\) is a frame. Moreover, simple geometric facts yield
The combination of Theorems 2.3 and 5.2 implies that the Gabor family \(\mathcal {G}(g_\beta ,\beta \Lambda \times \mathbb {Z})\) is a frame for \(L^2(\mathbb {R})\), whenever \(0<\beta <D^-(\Lambda )\).
The necessity of the condition \(D^-(\Lambda \times \beta \mathbb {Z}) >1\) follows from recent nonuniform versions of the Balian–Low theorem [4, 28], which are applicable because g satisfies the decay and integrability condition
(In the standard jargon of time–frequency analysis, this condition means that g belongs to the modulation space \(M^1(\mathbb {R})\).) This completes the proof. \(\square \)
References
Aldroubi, A., Baskakov, A.G., Krishtal, I.A.: Slanted matrices, Banach frames, and sampling. J. Funct. Anal. 255, 1667–1691 (2008)
Aldroubi, A., Gröchenig, K.: Beurling–Landau-type theorems for non-uniform sampling in shift invariant spline spaces. J. Fourier Anal. Appl. 6(1), 93–103 (2000)
Aldroubi, A., Gröchenig, K.: Nonuniform sampling and reconstruction in shift-invariant spaces. SIAM Rev. 43(4), 585–620 (2001)
Ascensi, G., Feichtinger, H.G., Kaiblinger, N.: Dilation of the Weyl symbol and Balian–Low theorem. Trans. Am. Math. Soc. 366(7), 3865–3880 (2014)
Balan, R., Casazza, P.G., Heil, C., Landau, Z.: Density, overcompleteness, and localization of frames. I. Theory. J. Fourier Anal. Appl. 12(2), 105–143 (2006)
Bargmann, V.: On a Hilbert space of analytic functions and an associated integral transform. II: a family of related function spaces. Application to distribution theory. Commun. Pure Appl. Math. 14, 187–214 (1961)
Baskakov, A.G.: Wiener’s theorem and asymptotic estimates for elements of inverse matrices. Funktsional. Anal. i Prilozhen. 24(3), 64–65 (1990)
Baxter, B.J.C., Sivakumar, N.: On shifted cardinal interpolation by Gaussians and multiquadrics. J. Approx. Theory 87, 36–59 (1996)
Benedetto, J.J., Heil, C., Walnut, D.F.: Differentiation and the Balian–Low theorem. J. Fourier Anal. Appl. 1(4), 355–402 (1995)
Beurling, A.: Local harmonic analysis with some applications to differential operators. In: Some Recent Advances in the Basic Sciences, vol. 1 (Proceedings of Annual Science Conference, Belfer Graduate School of Science, Yeshiva University, 1962–1964), pp. 109–125. Belfer Graduate School of Science, Yeshiva University, New York (1966)
Beurling, A.: Contemporary mathematicians. In: Carleson, L., Malliavin, P., Neuberger, J., Wermer, J. (eds.) The Collected Works of Arne Beurling: Complex Analysis, vol. 1. Birkhäuser Boston Inc, Boston (1989)
Blu, T., Marziliano, P., Vetterli, M.: Sampling signals with finite rate of innovation. IEEE Trans. Signal Process. 50(6), 1417–1428 (2002)
Boas Jr., R.P.: Entire Functions. Academic Press, New York (1954)
Brekke, S., Seip, K.: Density theorems for sampling and interpolation in the Bargmann–Fock space. III. Math. Scand. 73(1), 112–126 (1993)
Daubechies, I.: The wavelet transform, time–frequency localization and signal analysis. IEEE Trans. Inf. Theory 36(5), 961–1005 (1990)
Daubechies, I., Grossmann, A.: Frames in the Bargmann Hilbert space of entire functions. Commun. Pure Appl. Math. 41(2), 151–164 (1988)
Dixmier, J.: Von Neumann Algebras, volume 27 of North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam (1981). With a preface by E. C. Lance, Translated from the second French edition by F. Jellett
Duffin, R.J., Schaeffer, A.C.: A class of nonharmonic Fourier series. Trans. Amer. Math. Soc. 72, 341–366 (1952)
Feichtinger, H.G.: Banach convolution algebras of Wiener type. In: Functions, Series, Operators, vol. I, II (Budapest, 1980), pp. 509–524. Coll. Math. Soc. Janos Bolyai. North-Holland, Amsterdam (1983)
Feichtinger, H.G., Molter, U.M., Romero, J.L.: Perturbation techniques in irregular spline-type spaces. Int. J. Wavelets Multiresolut. Inf. Process. 6(2), 249–277 (2008)
Folland, G.B.: Harmonic Analysis in Phase Space. Princeton Univ. Press, Princeton (1989)
Führ, H., Gröchenig, K., Haimi, A., Klotz, A., Romero, J.L.: Density of sampling and interpolation in reproducing kernel Hilbert spaces. J. London Math. Soc. (to appear). Preprint arXiv:1607.07803
Gröchenig, K.: Foundations of Time–Frequency Analysis. Birkhäuser Boston Inc., Boston (2001)
Gröchenig, K.: Localization of frames, Banach frames, and the invertibility of the frame operator. J. Fourier Anal. Appl. 10(2), 105–132 (2004)
Gröchenig, K.: Gabor frames without inequalities. Int. Math. Res. Not. IMRN (23), Art. ID rnm111, 21 (2007)
Gröchenig, K.: The mystery of Gabor frames. J. Fourier Anal. Appl. 20(4), 865–895 (2014)
Gröchenig, K., Lyubarskii, Y.: Gabor (super)frames with Hermite functions. Math. Ann. 345(2), 267–286 (2009)
Gröchenig, K., Ortega Cerdà, J., Romero, J.L.: Deformation of Gabor systems. Adv. Math. 277(4), 388–425 (2015)
Gröchenig, K., Stöckler, J.: Gabor frames and totally positive functions. Duke Math. J. 162, 1003–1031 (2013)
Hangelbroek, T., Madych, W., Narcowich, F., Ward, J.D.: Cardinal interpolation with Gaussian kernels. J. Fourier Anal. Appl. 18(1), 67–86 (2012)
Heil, C.: An introduction to weighted Wiener amalgams. In: Krishna, M., Radha, R., Thangavelu, S. (eds.) Wavelets and Their Applications (Chennai. January 2002), pp. 183–216. Allied Publishers, New Delhi (2003)
Heil, C.: History and evolution of the density theorem for Gabor frames. J. Fourier Anal. Appl. 13(2), 113–166 (2007)
Janssen, A.J.E.M.: The Zak transform and sampling theorems for wavelet subspaces. IEEE Trans. Signal Process. 41, 3360–3364 (1993)
Janssen, A.J.E.M.: Signal analytic proofs of two basic results on lattice expansions. Appl. Comput. Harmon. Anal. 1(4), 350–354 (1994)
Janssen, A.J.E.M.: Duality and biorthogonality for Weyl–Heisenberg frames. J. Fourier Anal. Appl. 1(4), 403–436 (1995)
Janssen, A.J.E.M.: Some Weyl–Heisenberg frame bound calculations. Indag. Math. 7, 165–182 (1996)
Janssen, A.J.E.M.: On generating tight Gabor frames at critical density. J. Fourier Anal. Appl. 9(2), 175–214 (2003)
Janssen, A.J.E.M., Strohmer, T.: Hyperbolic secants yield Gabor frames. Appl. Comput. Harmon. Anal. 12(2), 259–267 (2002)
Jia, R.Q., Micchelli, C.A.: Using the refinement equations for the construction of pre-wavelets II: powers of two. In: Laurent, P.J., Le Méhauté, A., Schumaker, L.L. (eds.) Curves and Surfaces, pp. 209–246. Academic Press, New York (1991)
Karlin, S.: Total Positivity, vol. I. Stanford University Press, Stanford (1968)
Kloos, T., Stöckler, J.: Zak transforms and Gabor frames of totally positive functions and exponential B-splines. J. Approx. Theory 184, 209–237 (2014)
Kozma, G., Nitzan, S.: Combining Riesz bases. Invent. Math. 199(1), 267–285 (2015)
Landau, H.J.: Necessary density conditions for sampling and interpolation of certain entire functions. Acta Math. 117, 37–52 (1967)
Lemvig, J.: On some Hermite series identities and their applications to Gabor analysis. Monatsh. Math. 182, 899–912 (2017)
Lev, N.: Riesz bases of exponentials on multiband spectra. Proc. Am. Math. Soc. 140(9), 3127–3132 (2012)
Levin, B.Y.: Lectures on Entire Functions. American Mathematical Society, Providence, RI, (1996). In collaboration with and with a preface by Yu. Lyubarskii, M. Sodin and V. Tkachenko, Translated from the Russian manuscript by Tkachenko
Lyubarskiĭ, Y.I.: Frames in the Bargmann space of entire functions. In: Entire and Subharmonic Functions, pp. 167–180. Advances in Soviet Mathematics 11. American Mathematical Society, Providence (1992)
Narcowich, F.J., Ward, J.D., Wendland, H.: Sobolev bounds on functions with scattered zeros, with applications to radial basis function surface fitting. Math. Comput. 74, 743–763 (2005)
Ortega-Cerdà, J., Seip, K.: Fourier frames. Ann. Math. (2) 155(3), 789–806 (2002)
Ron, A.: Introduction to shift-invariant spaces. Linear independence. In: Dyn, N., Leviatan, D., Levin, D., Pinkus, A. (eds.) Multivariate Approximation and Applications, pp. 152–211. Cambrigde University Press, Cambridge (2001)
Ron, A., Shen, Z.: Weyl–Heisenberg frames and Riesz bases in \({L}_2({\mathbb{R}}^d)\). Duke Math. J. 89(2), 237–282 (1997)
Schoenberg, I.J.: On totally positive functions, Laplace integrals and entire functions of the Laguerre–Pólya–Schur type. Proc. Natl. Acad. Sci. USA 33, 11–17 (1947)
Schoenberg, I.J.: On variation-diminishing integral operators of the convolution type. Proc. Natl. Acad. Sci. USA 34, 164–169 (1948)
Schoenberg, I.J.: On Pólya frequency functions, I. The totally positive functions and their Laplace transforms. J. Anal. Math. 1, 331–374 (1951)
Schoenberg, I.J., Whitney, A.: On Pólya frequence functions, III. The positivity of translation determinants with an application to the interpolation problem by spline curves. Trans. Amer. Math. Soc. 74, 246–259 (1953)
Seip, K.: Density theorems for sampling and interpolation in the Bargmann–Fock space. J. Reine Angew. Math. 429, 91–106 (1992)
Seip, K.: Interpolation and Sampling in Spaces of Analytic Functions. University Lecture Series, vol. 33. American Mathematical Society, Providence (2004)
Sjöstrand, J.: Wiener type algebras of pseudodifferential operators. Séminaire sur les équations aux Dérivées Partielles, 1994–1995, École Polytech, Palaiseau, Exp. No. IV, 21 (1995)
Sun, Q.: Wiener’s lemma for infinite matrices. Trans. Amer. Math. Soc. 359(7), 3099–3123 (2007). (electronic)
Unser, M.: Sampling—50 years after Shannon. Proc. IEEE 88(4), 569–587 (2000)
Walter, G.G.: Wavelets and Other Orthogonal Systems with Applications. CRC Press, Boca Raton (1994)
Acknowledgements
Open access funding provided by University of Vienna.
Author information
Authors and Affiliations
Corresponding author
Additional information
K. G. was supported in part by the Project P26273 - N25 of the Austrian Science Fund (FWF). J. L. R. gratefully acknowledges support from the Austrian Science Fund (FWF): P 29462 - N35.
Appendix
Appendix
1.1 Density, separation and weak convergence
In the following we need the dual space \(W_0^*\). We can identify the dual space of \(W_0\) with the space of complex-valued Radon measures \(\mu \) such that
In the usual notation of amalgam spaces the dual is \(W_0^* = W(\mathcal {M},\ell ^\infty )\) [19, 31]. For completeness, we prove the following folklore lemma.
Lemma 7.1
Let \(\Lambda \subseteq \mathbb {R}\) be separated and \(\Gamma \in W(\Lambda )\). Then \(\Gamma \) is separated and \(D^{-}(\Gamma ) \ge D^{-}(\Lambda )\).
Proof
Let \(\{x_n:n\ge 1\} \subseteq \mathbb {R}\) be such that \(\Lambda + x_n \xrightarrow {w}\Gamma \). It is easy to see that \(\Gamma \) is separated because \(\Lambda \) is, and that the measures \(\mu _n := \sum _{\lambda \in \Lambda } \delta _{\lambda +x_n}\) are in \(W_0^*\) and converge to \(\mu := \sum _{\gamma \in \Gamma } \delta _{\gamma }\) in the \(\sigma (W^*_0(\mathbb {R}), W_0(\mathbb {R}))\) topology. (Here it is important that \(\Lambda \) is separated; See Remark 7.2.) Let \(\varepsilon \in (0,1/2)\) and \(\eta \in C^\infty (\mathbb {R})\) be such that \(0 \le \eta \le 1\), \(\mathrm{supp}\,(\eta ) \subseteq [-1,1]\) and \(\eta \equiv 1\) on \([-1+\varepsilon ,1-\varepsilon ]\).
There is nothing to prove if \(D^-(\Lambda ) = 0\). If \(D^-(\Lambda ) >0\), choose \(\rho \in \mathbb {R}\) such that \(0<\rho <D^{-}(\Lambda )\). Then there exists \(r_0>0\) such that for all \(r \ge r_0\) and all \(x \in \mathbb {R}\) we have \(\#(\Lambda \cap [x-r,x+r]) \ge 2r\rho \). For \(x \in \mathbb {R}\) and \(r \ge 2r_0\),
Hence \(D^{-}(\Gamma ) \ge \rho (1-\varepsilon )\). As this holds for arbitrary \(\varepsilon > 0\) and \(\rho < D^{-}(\Lambda )\), we conclude that \(D^{-}(\Gamma ) \ge D^{-}(\Lambda )\). \(\square \)
Remark 7.2
Lemma 7.1 is false for non-separated sets \(\Lambda \). For example, if \(\Lambda = \{k,k+2^{-|k|}: k \in \mathbb {Z}\}\), then \(D^-(\Lambda ) = 2\), but \(\Lambda - n \xrightarrow {w}\mathbb {Z}\), as \(n \longrightarrow \infty \) with \(n \in \mathbb {N}\), and \(D^-(\mathbb {Z}) = 1\). In this case, the measure \(\mu \) in the proof is \(\mu =\sum _{k\in \mathbb {Z}} 2\delta _k\).
1.2 Gabor and sampling: postponed proofs
Proofs of Theorems 2.3 and 2.5
Step 1: Relation between the relevant operators
The spanning properties of the Gabor system \(\mathcal {G}(g,(-\Lambda )\times \mathbb {Z})\) on \(L^2(\mathbb {R})\) are encoded in the spectrum of the synthesis operator
Indeed, \(\mathcal {G}(g,(-\Lambda )\times \mathbb {Z})\) is a Riesz sequence if and only if C is bounded below, and \(\mathcal {G}(g,(-\Lambda )\times \mathbb {Z})\) is a frame if and only if C is surjective, if and only if \(C^*\) is bounded below.
Similarly, the properties of the sets \(\Lambda +x\) as sampling and interpolating sets for \(V^2(g)\) are determined by the operators \(P_{\Lambda +x}(g): \ell ^2(\mathbb {Z}) \rightarrow \ell ^2(\Lambda )\) represented by the matrices \(P_{\Lambda + x}(g) = \big (g(x+\lambda -k)\big )_{\lambda \in \Lambda ,k\in \mathbb {Z}}\), or, equivalently, by the spectral properties of their Banach adjoints
More precisely, according to Lemma 2.2, \(\Lambda +x\) is a sampling set for \(V^2(g)\) if and only if \(P_{\Lambda +x}(g)\) is bounded below and it is an interpolating set if and only if \(P_{\Lambda +x}(g)'\) is bounded below.
It remains to clarify the relation between the operators C and \(P_{\Lambda + x}(g)\). We consider the following unitary maps between Hilbert spaces. Let \(I = [0,1)\) and \(U: \ell ^2(\Lambda \times \mathbb {Z}) \rightarrow L^2(I,\ell ^2(\Lambda ))\) be given by \(U\big ( (a_{\lambda , k})_{(\lambda ,k)\in \Lambda \times \mathbb {Z}}) = \big ( m_\lambda (x))_{\lambda \in \Lambda }\) with \(m_\lambda (x) = \sum _{k\in \mathbb {Z}} a_{\lambda , k} e^{2\pi i kx}\) and \(V: L^2(\mathbb {R}) \rightarrow L^2(I, \ell ^2(\mathbb {Z}))\) be given by \(Vf(x) = \left( f(x-k)\right) _{k\in \mathbb {Z}})\) for \(x\in I\). Now consider the map
In technical jargon, \(\widehat{C}\) is the direct integral
These definitions imply that
and thus C and \( \widehat{C}\) have the same spectral properties. It is a standard fact about direct integrals that \( \widehat{C}\) is bounded below if and only if \(\mathrm{ess}\,\mathrm{inf}_x \sigma _{\min } (P_{\Lambda +x}(g)') >0\)—where \(\sigma _{\min } (T) := \inf \{||Tx||:||x||=1\}\). Similarly, \( \widehat{C}^*\) is bounded below if and only if \(\mathrm{ess}\,\mathrm{inf}_x \sigma _{\min } (P_{\Lambda +x}(\overline{g}) )= \mathrm{ess}\,\mathrm{inf}_x \sigma _{\min } (P_{\Lambda +x}(g) ) >0\) (see [17, Chapter 1, Part II] for a general reference on direct integrals or [26, 35] for direct computations in related contexts).
Step 2: Conclusions. We only argue for Theorem 2.3, Theorem 2.5 follows in the same manner.
Assumption (c) says that \(P_{\Lambda +x}(g)\) is bounded below with uniform constants. The direct integral decomposition (7.1) now implies the equivalence between (a) and (c). The implication (b) \(\Rightarrow \) (c) follows from the fact that the map \(x \mapsto P_{\Lambda +x}(g)\) is continuous from \(\mathbb {R}\) to \(\mathcal {B}(\ell ^2(\mathbb {Z}), \ell ^2(\Lambda ))\) with respect to the operator norm. The continuity is a special case of various jitter error bounds in the sampling literature, see e.g. [20, Lemma 2.2 and Theorem 2.3], and holds precisely when \(g \in W_0\). Finally, the equivalence of (c) and (d) is a straightforward application of Parseval’s identity with \(h(\xi )= \sum _{k\in \mathbb {Z}} c_k e^{2\pi i k\xi }\) and the definition of the Zak transform. \(\square \)
Remark 7.3
Common signal processing proofs of Theorems 2.3 and 2.5 for the uniform case \(\Lambda = \alpha \mathbb {Z}\) use the Poisson summation formula and are therefore not applicable to non-lattice sets \(\Lambda \). The fact that these theorems are true in the stated generality seems to have gone so far unnoticed.
Proof of Theorem 4.3
Without loss of generality we consider the standard Gaussian \(\varphi (x) := e^{-\pi x^2}\). The general case \(e^{-c x^2}\) follows then by applying the following change of variables: \(f(x) \mapsto f(a x)\), \(\Omega \mapsto \left[ {\begin{matrix} a^{-1} &{} 0\\ 0&{} a \end{matrix}} \right] \cdot \Omega \), \(a=\sqrt{c/\pi }\), which preserves the density of \(\Omega \).
In order to show that \(\mathcal {G}(\varphi ,\Omega )\) spans a dense subspace of \(W_0\), we show that the only linear functional on \(W_0\) that annihilates \(\mathcal {G}(\varphi ,\Omega )\) is the zero functional. In the following
denotes the short-time Fourier transform of a (Radon) measure \(\mu \) (with respect to the Gaussian window \(\varphi \)).
Now suppose that \(\mu \in W_0^*\) is a measure such that \(V_\varphi \mu (\nu _1 , \nu _2 ) = 0\) for all \((\nu _1 , \nu _2 ) \in \Omega \). We want to show that \(\mu \equiv 0\). By the properties of the short-time Fourier transform \(V_\varphi \mu \) is bounded for \(\mu \in W_0^*\) and satisfies the identity \(V_\varphi \mu (x,- \xi ) = F(z) e^{-\pi i x \xi } e^{-\tfrac{\pi }{2}|z|^2}\), where \(z=x+i\xi \in \mathbb {C}\) and F is the Bargmann transform of \(\mu \). Hence F is analytic and satisfies
Moreover, \(F \equiv 0\) if and only if \(\mu =0\). (See for example [6, 21], or [23, Section 3.4].)
With these identifications, we reduce the problem to the following. Let \(F: \mathbb {C}\rightarrow \mathbb {C}\) be an analytic function such that \(F \equiv 0\) on \(\overline{\Omega }=\{x-i\xi : (x,\xi ) \in \Omega \}\) and \(||F||_{\mathcal {F}^\infty } < \infty \). We want to show that \(F \equiv 0\). Suppose not. We can assume that \(||F||_{\mathcal {F}^\infty } = 1\) and that \(F(0) \not = 0\). (If \(F(0)=0\), consider \(F(z)/z^k\) for a suitable power and normalize.) Then \(F:\mathbb {C}\rightarrow \mathbb {C}\) is an entire function that satisfies
Let N(r) be the number of zeros of F inside the open disk \(D_r\) counted with multiplicities. By Jensen’s formula,
By (7.3), \(\log |F(r e^{i\theta })| \le \tfrac{\pi }{2}r^2\). Therefore,
On the other hand, since \(D^{-}\left( \overline{\Omega }\right) =D^{-}(\Omega )>1\), we can choose \(\nu >1\) and \(r_0>0\) such that, for \(r \ge r_0\), \(N(r) \ge \nu \pi r^2\). As a consequence,
for some constant \(C>0\). Since \(\nu >1\), this contradicts (7.4) for \(r \gg 0\), and hence \(F \equiv 0\), as desired. \(\square \)
Remark 7.4
The Proof of Theorem 4.3 actually shows that \(\mathcal {G}(g,\Omega )\) spans a dense subspace of the space \(M^1(\mathbb {R})\), which consists of functions with integrable short-time Fourier transform. \(M^1(\mathbb {R})\) embeds continuously into \(W_0(\mathbb {R})\).
1.3 Beurling-type characterization of sampling: postponed proof
Proof of Theorem 3.1
\((a) \Leftrightarrow (b)\) We consider the matrix \(P_\Lambda (g)=(g(\lambda -k))_{\lambda \in \Lambda ,k\in \mathbb {Z}}\) as an operator \(\ell ^p(\mathbb {Z}) \rightarrow \ell ^p(\Lambda )\). To show that \((a) \Leftrightarrow (b)\), we invoke the following non-commutative version of Wiener’s Lemma taken from [28, Proposition 8.1]:
Proposition 7.5
Let \(\Lambda \) and \(\Gamma \) be relatively separated subsets of \(\mathbb {R}\) and \(A \in \mathbb {C}^{\Lambda \times \Gamma }\) be a matrix such that
Then A is bounded below on some \(\ell ^{p_0}(\Gamma )\), \(1\le p_0 \le \infty \), i.e., \( ||Ac||_{p_0} \ge C_0 ||c||_{p_0}\) for all \( c\in \ell ^{p_0} (\Gamma )\), if and only if A is bounded below on all \(\ell ^p (\Gamma )\), \(1\le p\le \infty \).
Since \(g \in W_0\), the envelope for \(P_\Lambda (g)\) can be chosen to be \(\Theta (x) = |g(x)|\). Then \(P_{\Lambda }(g)\) is bounded below on some \(\ell ^{p_0}\), if and only if it is bounded below on all \(\ell ^p\). This gives the desired conclusion.
The statement in [28] actually covers more general matrices that are concentrated away from a collection of lines; with the notation of [28, Proposition A.1] we apply it with \(G=\{1\}\). For related versions of Wiener’s Lemma we refer to Sjöstrand’s fundamental work [58] and [1, 7, 59].
\((b) \Rightarrow (c)\) Suppose that \(\Lambda \) is a sampling set for \(V^\infty (g)\) and let \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\), so that there exist \(k_n \in \mathbb {Z}\) such that \(\Lambda - k_n \xrightarrow {w}\Gamma \). Since \(\Lambda \) is a sampling set, the operator \(P_\Lambda (g): \ell ^\infty (\mathbb {Z}) \rightarrow \ell ^\infty (\Lambda )\) is bounded below, so its (pre) adjoint \(P_\Lambda (g)^\prime : \ell ^1(\Lambda ) \rightarrow \ell ^1(\mathbb {Z})\), represented by the matrix
is onto by the closed range theorem. This means that for every sequence \(c \in \ell ^1(\mathbb {Z})\) there exists an \(a \in \ell ^1(\Lambda )\) such that
and \(||a||_1 \lesssim ||c||_1\). For \(c \in \ell ^1(\mathbb {Z})\) fixed, we apply this observation to every sequence \((c_{k-k_n})_{k \in \mathbb {Z}}\) and find a corresponding sequence \(a^n \in \ell ^1(\Lambda )\) with \(||a^n||_1 \lesssim ||c||_1\) and
Consider the shifted sequence \(b^n \in \ell ^1(\Lambda - k_n)\) defined by \(b^n_{\lambda - k_n} = a^n_\lambda \). We can rewrite (7.6) as
Consider the measure \(\mu _n := \sum _{\nu \in \Lambda -k_n} b^n_\nu \delta _\nu \). Then \(\mu _n\) is a bounded measure, i.e., \(\mu \in C^*_0(\mathbb {R})\), and \(||\mu _n||_{C^*_0(\mathbb {R})} = ||b^n||_1 = ||a^n||_1 \lesssim ||c||_1\). By passing to a subsequence, we may choose a measure \(\mu \in C^*_0(\mathbb {R})\) such that \(\mu _n \longrightarrow \mu \) in the weak\(^*\) topology \(\sigma (C^*_0(\mathbb {R}),C_0(\mathbb {R}))\). Since \(\Lambda -k_n \xrightarrow {w}\Gamma \), it follows that \(\Gamma \) is relatively separated and \(\mathrm{supp}\,(\mu ) \subseteq \Gamma \) (see [28, Lemmas 4.3 and 4.5]). Hence \(\mu = \sum _{\gamma \in \Gamma } b_\gamma \delta _\gamma \), for some sequence b. Moreover \(||b||_1 = ||\mu ||_{C^*_0(\mathbb {R})} \lesssim \liminf _n ||\mu _n||_{C^*_0(\mathbb {R})} \lesssim 1\). Finally, for each \(k \in \mathbb {Z}\),
Since \(c \in \ell ^1(\mathbb {Z})\) was arbitrary, this shows that \(P_\Gamma (g)^\prime :\ell ^1(\Gamma ) \rightarrow \ell ^1(\mathbb {Z})\) is onto and therefore \(P_\Gamma (g):\ell ^\infty (\mathbb {Z}) \rightarrow \ell ^\infty (\Gamma )\) is bounded below. Hence \(\Gamma \) is a sampling set for \(V^\infty (g)\).
The implication \((c) \Rightarrow (d)\) is obvious, the equivalence \((d) \Leftrightarrow (e)\) is just language, and the equivalence \((e) \Leftrightarrow (f)\) is standard functional analysis.
\((d) \Rightarrow (b)\) Assume on the contrary that \(\Lambda \) is not a sampling set for \(p=\infty \). Then there exist sequences \(c^n \in \ell ^\infty (\mathbb {Z})\) with \(||c^n||_\infty =1\) such that
Since \(||c^n||_\infty = 1\), there exist \(k_n \in \mathbb {Z}\) such that \(|c^n_{k_n}| \ge 1/2\). Let \(d^n \in \ell ^\infty (\mathbb {Z})\) be the shifted sequence \(d^n_{k} := c^n_{k+k_n}\). By passing to a subsequence we may assume that (i) \(d^n \rightarrow d\in \ell ^\infty (\mathbb {Z})\) in the \(\sigma (\ell ^\infty ,\ell ^1)\) topology, and (ii) \(\Lambda - k_n \xrightarrow {w}\Gamma \) for some (relatively separated) set \(\Gamma \in W_{\mathbb {Z}}(\Lambda )\) (see [28, Lemma 4.5]). Let \(f := \sum _{k \in \mathbb {Z}} d_k g(\cdot -k) \in V^\infty (g)\). Since \(c^n_{k_n}=d^n_0 \longrightarrow d_0\), we must have \(d_0 \not =0\), and therefore \(f \not \equiv 0\).
We next show that \(f \equiv 0\) on \(\Gamma \). Given \(\gamma \in \Gamma \), there exists a sequence \(\{\lambda _n: n \ge 1\} \subseteq \Lambda \) such that \(\lambda _n - k_n \longrightarrow \gamma \). Since \(g \in W_0\), it follows that \(\left( g(\lambda _n - k_n-k) \right) _{k \in \mathbb {Z}} \longrightarrow \left( g(\gamma -k) \right) _{k \in \mathbb {Z}}\) in \(\ell ^1(\mathbb {Z})\). Since \(d^n \longrightarrow d\) in \(\sigma (\ell ^\infty ,\ell ^1)\), we conclude from (7.8) that
Hence \(f \equiv 0\) on \(\Gamma \), which contradicts (d). This completes the proof. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gröchenig, K., Romero, J.L. & Stöckler, J. Sampling theorems for shift-invariant spaces, Gabor frames, and totally positive functions. Invent. math. 211, 1119–1148 (2018). https://doi.org/10.1007/s00222-017-0760-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-017-0760-2