---
abstract: 'For a wide family of even kernels $\{\varphi_u, u\in I\}$, we describe discrete sets ${\Lambda}$ such that every bandlimited signal $f$ can be reconstructed from the space-time samples $\{(f\ast\varphi_u)(\lambda), \lambda\in{\Lambda}, u\in I\}$.'
author:
- Alexander Ulanovskii and Ilya Zlotnikov
title: 'Reconstruction of Bandlimited Functions from Space–Time Samples '
---

<span> <span> ***Keywords:*** Dynamical sampling, Paley–Wiener spaces, Bernstein spaces</span> </span>

Introduction
============

The <span>*classical sampling problem*</span> asks when a continuous signal (function) $f$ can be reconstructed from its discrete samples $f(\lambda),\lambda\in{\Lambda}$. In the <span>*dynamical sampling problem*</span>, the set of space samples is replaced by a set of space-time samples (see e.g. @A1, @A2, @g, @MMM and references therein). An interesting case is the problem of reconstruction of a bandlimited signal $f$ from the space-time samples of its states $f\ast\varphi_u$ resulting from the convolution with a kernel $\varphi_u$. An important example (see @g and @lv) is the Gaussian kernel $\varphi_u(x)=\exp(-u x^2)$, which arises from the diffusion process. More generally, the kernel $$\label{ker}\varphi_u(x)=\exp(-u|x|^{\alpha}),\quad \alpha>0,$$ arises form the fractional diffusion equation. Denote by $PW_\sigma$ the Paley–Wiener space $$PW_\sigma:=\{f\in L^2({{\mathbb R}}): \mbox{supp}(\hat f)\subseteq[-\sigma,\sigma]\},$$ where $\hat f$ denotes the Fourier transform $$\hat f(t)=\int\limits_{{\mathbb R}}e^{- itx}f(x)\,dx.$$

A set ${\Lambda}\subset{{\mathbb R}}$ is called uniformly discrete (u.d.) if $$\label{sep}
\delta({\Lambda}):=\inf_{\lambda,\lambda'\in{\Lambda},\lambda\ne\lambda'}|\lambda-\lambda'|>0.$$

The following problem is considered in @g: Given a u.d. set ${\Lambda}\subset{{\mathbb R}}$ and a kernel $\{\varphi_u,u\in I\}$, where $I$ is an interval. What are the conditions that allow one to recover a function $f\in PW_\sigma$ in a stable way from the data set $$\label{data}
\{(f\ast\varphi_u)(\lambda):\lambda\in{\Lambda}, u\in I\}?$$

In what follows, we denote by $\Phi_u$ the Fourier transform of $\varphi_u$ and assume that the functions $\varphi_u(x)$ and $\Phi_u(t)$ are continuous functions of $(x,u)$ and $(t,u)$, respectively.

It is remarked in @g, that the property of stable recovery formulated above is equivalent to the existence of two constants $A,B$ such that $$\label{ss}
A\|f\|^2_2\leq \int\limits_I\sum_{\lambda\in{\Lambda}}|(f\ast\varphi_u)(\lambda)|^2\,du\leq B\|f\|_2^2,\quad \forall f\in PW_\sigma.$$

It often happens in the sampling theory that inequalities similar to the one in the right hand-side of (\[ss\]) are not difficult to check. It is also the case here, it suffices to assume the uniform boundedness of the $L^1({{\mathbb R}})$-norms $\|\varphi_u\|_1$:

\[p1\]Assume $$\label{fb}
   \sup_{u\in I}\|\varphi_u\|_1<\infty.$$ Then for every $\sigma>0$ and every u.d. set ${\Lambda}$ there is a constant $B$ such that $$\int\limits_{I}\sum_{\lambda\in{\Lambda}}|(f\ast\varphi_u)(\lambda)|^2\,du\leq B \|f\|_2^2, \quad \forall f\in PW_\sigma.$$

We present a simple proof in Section 3.

Hence, the main difficulty lies in proving the left hand-side inequality.

Recall that the classical Shannon sampling theorem states that every ${f \in PW_\sigma}$ admits a stable recovery from the uniform space samples $f(k/a), k\in{{\mathbb Z}}$, if and only if $a\geq \sigma/\pi$. The critical value $a=\sigma/\pi$ is called the Nyquist rate. Since the space-time samples (\[data\]) produce "more information" compared to the space samples, one may expect that every $f\in PW_\sigma$ can be recovered from the space-time uniform samples at sub-Nyquist spatial density. However, it is not the case, as shown in @lv for the convolution with the Gaussian kernel. On the other hand, it is proved in @g that uniform dynamical samples at sub-Nyquist spatial rate allow one to stably reconstruct the Fourier transform $\hat f$ away from certain, explicitly described blind spots.

It is well-known that the nonuniform sampling is sometimes more efficient than the uniform one. For example, this is so for the universal sampling, see e.g. @ou1, Lecture 6. It is also the case for the problem above: For a wide class of even kernels, we show that data (\[data\]) always allows stable reconstruction, provided ${\Lambda}$ is any relatively dense set "different" from an arithmetic progression.

To state precisely our main result, we need the following definition: Given a u.d. set ${\Lambda}$, the collection of sets $W({\Lambda})$ is defined as all weak limits of the translates ${\Lambda}-x_k$, where $x_k$ is any bounded or unbounded sequence of real numbers (for the definition of weak limit see e.g. Lecture 3.4.1 in @ou1).

Consider the following condition:

($\alpha$) $W({\Lambda})$ does not contain the empty set, and no element ${\Lambda}^\ast\in W({\Lambda})$ lies in an arithmetic progression.

The first property in ($\alpha$) means that ${\Lambda}$ is relatively dense, i.e. there exists $r>0$ such that every interval $(x,x+r)$ contains at least one point of ${\Lambda}.$ It follows that every element ${\Lambda}^\ast\in W({\Lambda})$ is also a relatively dense set.

The second condition in ($\alpha$) means that no ${\Lambda}^\ast\in W({\Lambda})$ is a subset of $b+(1/a){{\mathbb Z}}$, for some $a>0$ and $b\in{{\mathbb R}}.$

Let us now define a collection of kernels $\mathcal{C}$: A kernel $\{\varphi_u, u\in I\}$, where $I$ is an interval, belongs to $\mathcal{C}$ if it satisfies the following five conditions:

($\beta$) There is a constant $C$ such that $$\label{u1}
  \sup_{u\in I}|\varphi_u(x)|\leq\frac{C}{1+x^4},\quad x\in{{\mathbb R}};$$

($\gamma$) There is a constant $C$ such that $$\label{u2}
   \|\varphi_{u'}-\varphi_u\|_1\leq C|u-u'|, \quad u,u'\in I;$$

($\zeta$) Every $\varphi_u$ is real and even: $\varphi_u(x)\in{{\mathbb R}}, \varphi_u(-x)=\varphi_u(x),x\in{{\mathbb R}}, u\in I$;

($\eta$) $\sup\limits_{u \in I}|\Phi_u(t)|>0$ for every $t\in{{\mathbb R}}$;

($\theta$) For every $w\in{{\mathbb C}}$ and every $\sigma>0$, the family $\{\Phi_u''(t)+w\Phi_u(t), u\in I\}$ forms a complete set in $L^2(0,\sigma)$.

Clearly, condition (\[u1\]) implies that the derivatives $\Phi_u''(t), u\in I,$ are continuous and uniformly bounded. Condition ($\zeta$) implies that the functions $\Phi_u$ are real and even.

One may easily check that $\mathcal{C}$ contains the kernels defined in (\[ker\]), where $I=(a,b)$ is any interval such that $ 0<a<b<\infty$.

Our main result is as follows:

\[t1\] Given a u.d. set ${\Lambda}\subset{{\mathbb R}}$ and a kernel $\{\varphi_u,u\in I\}\in \mathcal{C}.$ The following conditions are equivalent:

<span>(a)</span> The left inequality in <span>(\[ss\])</span> is true for every $\sigma>0$ and some $A=A(\sigma)$;

<span>(b)</span> ${\Lambda}$ satisfies condition <span>($\alpha$).</span>

Space–Time Sampling in Bernstein Spaces
=======================================

The aim of this section is to prove a variant of Theorem 1 for the Bernstein space $B_\sigma$.

It is well-know that every function $f\in PW_\sigma$ admits an analytic continuation to the complex plane and satisfies $$\label{f}
|f(x+iy)|\leq Ce^{\sigma|y|},\quad x,y\in {{\mathbb R}},$$where $C$ depends only on $f$.

The Bernstein space $B_\sigma$ is defined as the set of entire functions $f$ satisfying (\[f\]) with some $C$ depending only on $f$. An equivalent definition is that $B_\sigma$ consists of the bounded continuous functions that are the inverse Fourier transforms of tempered distributions supported by $[-\sigma,\sigma]$.

Denote by $\mathcal{C}_0$ the collection of kernels $\{\varphi_u,u\in I\}$ satisfying the properties ($\beta$)-($\eta$) in the definition of $\mathcal{C}$ above. However, we do not require $I$ to be an interval. In particular, it can be a countable set.

\[t2\] Given a u.d. set ${\Lambda}\subset{{\mathbb R}}$ and a kernel $\{\varphi_u,u\in I\}\in\mathcal{C}_0$. The following conditions are equivalent:

<span>(a)</span> For every $\sigma>0$ there is a constant $K=K(\sigma)$ such that $$\label{ssb}
\|f\|_\infty\leq K\sup_{\lambda\in{\Lambda}, u\in I}|(f\ast\varphi_u)(\lambda)|,\quad \forall f\in B_\sigma;$$

<span>(b)</span> ${\Lambda}$ satisfies condition <span>($\alpha$)</span>.

To prove this theorem we need a lemma:

\[l1\] Assume $f\in B_\sigma$ and $\{\varphi_u, u\in I\}\in \mathcal{C}_0$. If $(f\ast \varphi_u)(0)=0, u\in I,$ then $f$ is odd, $f(-x)=-f(x),x\in{{\mathbb R}}$.

Proof. 1. Given a function $f\in B_\sigma$, set $$f_r(z):=\frac{f(z)+\overline{f(\bar z)}}{2},\quad f_i(z):=\frac{f(z)-\overline{f(\bar z)}}{2i}.$$ Then $f_r,f_i$ are real (on ${{\mathbb R}}$) entire functions satisfying $f=f_r+if_i$. It is clear that both $f_r$ and $f_i$ satisfy (\[f\]), so that they both lie in $B_\sigma$. Hence, since every $\varphi_u$ is real, it suffices to prove the lemma for the real functions $f\in B_\sigma$.

2\. Let us assume that $f\in B_\sigma$ is real. Write $$f_e(x):=\frac{f(z)+f(- z)}{2},\quad f_o(x):=\frac{f(z)-f(- z)}{2}.$$Clearly, $f_e\in B_\sigma$ is even, $f_o\in B_\sigma$ is odd and $f=f_e+f_o$. Since $\varphi_u$ is even, we have $(f_o\ast\varphi_u)(0)=0, u\in I$. Hence, to prove Lemma \[l1\], it suffices to check that if a real even function $f\in B_\sigma$ satisfies $(f\ast\varphi_u)(0)=0, u\in I$, then $f=0$.

3\. Let us assume that $f\in B_\sigma$ is real, even and satisfies $(f\ast\varphi_u)(0)=0, u\in I$. If $f$ does not vanish in ${{\mathbb C}}$ then $f(z)=e^{iaz}$ for some $-\sigma\leq a\leq\sigma,$ which implies $a=0, f(z)\equiv 1.$ Then $(f\ast\varphi_u)(0)=\Phi_u(0)=0, u\in I$, which contradicts condition ($\eta$).

Hence, $f(w)=0$ for some $w\in{{\mathbb C}}.$ It follows that $f(-w)=0.$ Set $$g(z):=\frac{f(z)}{z^2-w^2}.$$Denote by $G$ the Fourier transform of $g$. Then $G$ is continuous, even and vanishes outside $(-\sigma,\sigma)$. Now, condition $(f\ast\varphi_u)=0,u\in I,$ implies: $$0=\int_{{\mathbb R}}\varphi_u(s)f(s)\,ds=\int_{{\mathbb R}}(s^2-w^2)\varphi_u(s)g(s)\,ds=$$$$-\int_{-\sigma}^\sigma (\Phi_u''(t)+w^2\Phi_u(t))G(t)\,dt=-2\int_{0}^\sigma (\Phi_u''(t)+w^2\Phi_u(t))G(t)\,dt.$$ Using property ($\theta$), we conclude that $G=0$ and so $f=0$.

Proof of Theorem \[t2\]
-----------------------

We denote by $C$ different positive constants.

1\. Suppose $W({\Lambda})$ contains an empty set. It means that ${\Lambda}$ contains arbitrarily long gaps: For every $\rho>0$ there exists $x_\rho$ such that ${\Lambda}\cap(x_\rho-2\rho,x_\rho+2\rho)=\emptyset$. Set $$\label{ff}f_\rho(x):=\frac{\sin(\sigma(x-x_\rho))}{\sigma(x-x_\rho)}\in B_\sigma.$$Then $\|f_\rho\|_\infty=1$. Using (\[u1\]), for all $x$ such that $|x-x_\rho|\geq 2\rho,$ we have $$|(f_\rho\ast\varphi_u)(x)|\leq \int\limits_{|s|<\frac{|x-x_\rho|}{2}}\frac{2}{\sigma|x-x_\rho|}|\varphi_u(s)|\,ds+$$$$\label{esti}\int\limits_{|s|>\frac{|x-x_\rho|}{2}}|\varphi_u(s)|\,ds\leq \frac{C}{|x-x_\rho|}.$$ It readily follows that (\[ssb\]) is not true.

2\. Suppose ${\Lambda}^\ast\subset b+(1/a){{\mathbb Z}}$ for some ${\Lambda}^\ast\in W({\Lambda}),b\in{{\mathbb R}}$ and $a>0$. Since ${\Lambda}^\ast-b\in W({\Lambda})$, we may assume that $b=0.$

Consider two cases: First, let us assume that ${\Lambda}\subset (1/a){{\mathbb Z}}$. Set $\sigma=\pi a$. Clearly, the function $f(z):=\sin ( \pi a z)\in B_\sigma$. Since every function $\varphi_u$ is even while $f$ is odd, one may easily check that $(f\ast\varphi_u)(k/a)=0, k\in{{\mathbb Z}}$, so that (\[ssb\]) is not true.

Now, assume that ${\Lambda}^\ast\subset (1/a){{\mathbb Z}}$, for some ${\Lambda}^\ast\in W({\Lambda})$. This means that for every small $\epsilon>0$ and large $R>0$ there is a point $v=v(\epsilon,R)\in {{\mathbb R}}$ such that $({\Lambda}-v)\cap(-R,R)$ is close to a subset of $(1/a){{\mathbb Z}}$ in the sense that for every $\lambda\in {\Lambda}\cap(v-R,v+R)$ there exists $k(\lambda)\in{{\mathbb Z}}$ with $$\label{la}|\lambda-v-k(\lambda)/a|\leq\epsilon,\quad \lambda\in {\Lambda}\cap(v-R,v+R).$$

For simplicity of presentation, we assume that $v=0,a=1$, and that$$\label{la}{\Lambda}\cap(-R,R)=\{\lambda_{k}: |k|\leq m\},\quad |\lambda_k-k|\leq\epsilon,\ \  m=[R], \ \  |k|\leq m.$$ The proof of the general case is similar.

Fix $\epsilon:=1/\sqrt R$. Set $$\label{f1}f(x):=\sin ( \pi x)\frac{\sin(\epsilon x)}{\epsilon x}\in B_{\pi+\epsilon}$$ and $$f_k(x):= \sin (\pi x)\frac{\sin(\epsilon \lambda_k)}{\epsilon \lambda_k}.$$Then $$\left|f(\lambda_k-s)-(-1)^{k+1}f_k(s)\right|\leq\left|\left[\sin (\pi(\lambda_k-s))-\sin(\pi (k-s))\right]\frac{\sin\epsilon (\lambda_k-s)}{\epsilon (\lambda_k-s)}\right|+$$$$\label{00}
\left|\sin(\pi s)\left(\frac{\sin\epsilon (\lambda_k-s)}{\epsilon (\lambda_k-s)}-\frac{\sin\epsilon \lambda_k}{\epsilon \lambda_k}\right)\right|.$$

By (\[la\]), $$\left|\sin (\pi(\lambda_k-s))-\sin(\pi (k-s))\right|\leq \pi\epsilon,\quad s\in{{\mathbb R}},$$ and so the first term in the right hand-side of (\[00\]) is less than $\pi\epsilon$ for every $s\in{{\mathbb R}}$. To estimate the second term in (\[00\]), we use the classical Bernstein's inequality (see e.g. @ou1, Lecture 2.10): $$\left|\frac{\sin\epsilon (\lambda_k-s)}{\epsilon (\lambda_k-s)}-\frac{\sin\epsilon \lambda_k}{\epsilon \lambda_k}\right|= \left|\int_0^s\left(\frac{\sin\epsilon (\lambda_k-u)}{\epsilon (\lambda_k-u)}\right)'du\right|\leq |s|
\left\|\left(\frac{\sin(\epsilon s)}{\epsilon s}\right)'\right\|_\infty\leq \epsilon |s|.$$ Therefore, $$|f(\lambda_k-s)-(-1)^{k+1}f_k(s)|\leq \pi\epsilon(1+ |s|),\quad s\in{{\mathbb R}}.$$

Observe that $$(f\ast\varphi_u)(\lambda_k)=\int_{{\mathbb R}}(f(\lambda_k-s)-(-1)^{k+1}f_k(s))\varphi_u(s)\,ds+(-1)^{k+1}\int_{{\mathbb R}}f_k(s)\varphi_u(s)\,ds.$$Since $f_k$ is odd, the last integral is equal to zero. It follows that for every $|k|\leq m$ we have $$|(f\ast\varphi_u)(\lambda_k)|\leq \pi\epsilon\int\limits_{{\mathbb R}}(1+|s|)|\varphi_u(s)|\,ds, \quad u\in I.$$ Hence, using (\[u1\]) we conclude that $$|(f\ast\varphi_u)(\lambda)|\leq C\epsilon,\quad \lambda\in{\Lambda}\cap(-R,R),\quad u\in I.$$

On the other hand, for all $\lambda\in{\Lambda}, |\lambda|\geq R$ and $|s|<1/\epsilon =\sqrt R$, we get $$|f(\lambda-s)|\leq \frac{1}{\epsilon|\lambda-s|}\leq \frac{\sqrt R}{R-\sqrt R}<2\epsilon,$$provided $R$ is sufficiently large. This and (\[u1\]) imply $$|(f\ast\varphi_u)(\lambda)|\leq 2\epsilon\int\limits_{|s|<\sqrt R}|\varphi_u(s)|\,ds+\int\limits_{|s|>\sqrt{R}}|\varphi_u(s)|\,ds\leq C\epsilon,\quad \lambda\in{\Lambda},|\lambda|\geq R, u\in I.$$ Since $\epsilon$ can be chosen arbitrarily small, we conclude that (\[ssb\]) is not true.

3\. Assume condition ($\alpha$) holds. We have to show that for every $\sigma>0$ there is a constant $K=K(\sigma)$ such that (\[ssb\]) is true.

Assume this is not so. It means that there exists $\sigma>0$ and a sequence of functions $f_n\in B_\sigma$ satisfying $$\|f_n\|_\infty=1, \quad \sup_{u\in I,\lambda\in{\Lambda}}|(f_n\ast\varphi_u)(\lambda)|\leq 1/n.$$Choose points $x_n\in{{\mathbb R}}$ such that $|f_n(x_n)|>1-1/n$, and set $g_n(x):=f_n(x+x_n)$. It follows from the compactness property of Bernstein spaces (see e.g. @ou1, Lecture 2.8.3), that there is a subsequence $n_k$ such that $g_{n_k}$ converge (uniformly on compacts in ${{\mathbb C}}$) to some non-zero function $g\in B_\sigma$. We may also assume (by taking if necessary a subsequence of $n_k$) that the translates ${\Lambda}-x_{n_k}$ converge weakly to some $\Gamma\in W({\Lambda})$. By property ($\alpha$), $\Gamma$ is an <span>*infinite set*</span> which is not a subset of any arithmetic progression.

Clearly, we have $$(g\ast\varphi_u)(\gamma)=0,\quad   u\in I, \ \gamma\in\Gamma.$$By Lemma \[l1\], we see that every function $g(x-\gamma),\gamma\in
\Gamma,$ is odd. Clearly, this implies that $g$ is a periodic function and $\Gamma$ is a subset of an arithmetic progression whose difference is a half-integer multiple of the period of $g$. Contradiction.

Space–Time Sampling in Paley-Wiener Spaces
==========================================

Throughout this section we denote by $C$ different positive constants.

In what follows we assume that $I$ is an interval. We denote by $C$ different positive constants.

The following statement easily follows from (\[u2\]) and (\[ssb\]) :

\[c1\] Assume condition <span>(\[ssb\])</span> holds for some kernel $\{\varphi_u\}$ satisfying <span>(\[u2\])</span>, a u.d. set ${\Lambda}$ and $\sigma>0$. Then there is a constant $K'=K'(\sigma)$ such that $$\|f\|_\infty^2\leq K'\int\limits_I\sup_{\lambda\in{\Lambda}}|(f\ast\varphi_u)(\lambda)|^2\,du,\quad \forall f\in B_\sigma.$$

We skip the simple proof.

 Proof of Proposition \[p1\]
----------------------------

Take any function $f\in PW_\sigma$ and denote by $F$ its Fourier transform. It follows from (\[fb\]) that $\|\Phi_u\|_\infty\leq C, u\in I.$ Hence, the functions $F\cdot\Phi_u\in L^2(-\sigma,\sigma)$ and $$\|f\ast\varphi_u\|_2=\|F\cdot\Phi_u\|_2\leq \|\Phi_u\|_\infty\|F\|_2\leq C\|f\|_2.$$

Clearly, $f\ast\varphi_u\in PW_\sigma,$ for every $u$. Using Bessel's inequality (see e.g. Proposition 2.7 in @ou1), we get $$\sum_{\lambda\in{\Lambda}}|(f\ast\varphi_u)(\lambda)|^2\leq C\|f\ast \varphi_u\|_2^2\leq C\|f\|_2^2,\quad u\in I,$$which proves Proposition \[p1\].

 Connection between space–time sampling in $B_{\sigma}$ and $PW_{\sigma}$
-------------------------------------------------------------------------

Observe that if ${\Lambda}$ is a sampling set (in the 'classical sense') for the Paley-Wiener space $PW_{\sigma'}$, then it is a sampling set for the Bernstein spaces $B_{\sigma}$ with a 'smaller' spectrum $\sigma<\sigma',$ and vice versa (see Theorem 3.32 in @ou1). We provide a corresponding statement for the space-time sampling problem.

For the reader's convenience, we recall the main inequalities: $$\label{l_ss_pw}
\|f\|^2_2\leq D \int\limits_I\sum_{\lambda\in{\Lambda}}|(f\ast\varphi_u)(\lambda)|^2\,du,$$ $$\label{l_ss_b}
\|f\|_\infty\leq K\sup_{\lambda\in{\Lambda}, u\in I}|(f\ast\varphi_u)(\lambda)|.$$

\[t3\] Let ${\Lambda}$ be a u.d. set, a kernel $\{\varphi_u\}$ satisfy <span>(\[u1\])</span> and <span>(\[u2\])</span> and $\sigma'>\sigma>0$.

<span>(i)</span> Assume that <span>(\[l\_ss\_b\])</span> holds with some constant $K$ for all $f\in B_{\sigma'}$. Then there is a constant $D$ such that <span>(\[l\_ss\_pw\])</span> is true for every $f \in PW_{\sigma}$.

<span>(ii)</span> Assume that <span>(\[l\_ss\_pw\])</span> holds with some constant $D$ for all $f \in PW_{\sigma'}$. Then there is a constant $K$ such that <span>(\[l\_ss\_b\])</span> is true for every $f \in B_{\sigma}$.

<span>**Proof.**</span> The proof is somewhat similar to the proof of Theorem 3.32 in @ou1, but is more technical.

\(i) Assume that (\[l\_ss\_b\]) holds for every $f\in B_{\sigma'}$. Fix any positive number $\varepsilon$ satisfying $$\label{epsi}\sigma+\varepsilon\leq\sigma'.$$

Set $$\label{h_def}
 {h_\varepsilon}(x):=\frac{\sin \varepsilon x}{\epsilon x},\quad \varepsilon>0.$$ It is easy to check that $$\label{h}
 {h_\varepsilon}(0)=1,\quad \|{h_\varepsilon}\|_2^2=\frac{C}{\varepsilon},\quad \|{h_\varepsilon}'\|_2^2=C\varepsilon.$$

For every $f\in PW_\sigma$, we have $$\|f\|_2^2=\int\limits_{{\mathbb R}}|f(x)|^2\,dx\leq \int\limits_{{\mathbb R}}\sup_{s\in{{\mathbb R}}}|{h_\varepsilon}(x-s)f(s)|^2\,dx.$$ Note that ${h_\varepsilon}(x-s)f(s) \in PW_{\sigma+\varepsilon}\subset B_{\sigma'}$. By Corollary 1, for every $x$ and $s$, $$|{h_\varepsilon}(x-s)f(s)|^2\leq C\int\limits_I \sup_{\lambda\in{\Lambda}}\left|\int\limits_{{\mathbb R}}\varphi_u(\lambda-s){h_\varepsilon}(x-s)f(s)\,ds\right|^2du\leq$$ $$C\int\limits_I\sum_{\lambda\in{\Lambda}}\left|\int\limits_{{\mathbb R}}\varphi_u(\lambda-s){h_\varepsilon}(x-s)f(s)\,ds\right|^2du.$$

Write$$J=J_u(x,\lambda):=\left|\int\limits_{{\mathbb R}}\varphi_u(\lambda-s){h_\varepsilon}(x-s)f(s)\,ds\right|^2.$$Then $$\label{fie}
 \|f\|^2_2\leq C\int\limits_{{\mathbb R}}\sum_{\lambda\in{\Lambda}}\int\limits_I J\,dudx.$$

Clearly, $$J\leq 2(J_1+J_2),$$where $$J_1:=\left|\int\limits_{{\mathbb R}}\varphi_u(\lambda-s){h_\varepsilon}(x-\lambda)f(s)\,ds\right|^2=|{h_\varepsilon}(x-\lambda)|^2\left|(f\ast\varphi_u)(\lambda)\right|^2,$$and using property (\[u1\]) and the Cauchy–Schwartz inequality, we have $$J_2:=\left|\int\limits_{{\mathbb R}}\varphi_u(\lambda-s)({h_\varepsilon}(x-s)-{h_\varepsilon}(x-\lambda))f(s)\,ds\right|^2\leq$$$$\int\limits_{{\mathbb R}}|\varphi_u(s-\lambda)|\,ds\int\limits_{{\mathbb R}}|\varphi_u(\lambda-s)||{h_\varepsilon}(x-s)-{h_\varepsilon}(x-\lambda)|^2|f(s)|^2\,ds\leq$$ $$C\int\limits_{{\mathbb R}}|\varphi_u(\lambda-s)||{h_\varepsilon}(x-s)-{h_\varepsilon}(x-\lambda)|^2|f(s)|^2\,ds.$$

Observe that $$|{h_\varepsilon}(x-s)-{h_\varepsilon}(x-\lambda)|^2=\left|\int\limits_s^\lambda {h_\varepsilon}'(x-v)\,dv\right|^2\leq |s-\lambda|\int\limits_s^\lambda|{h_\varepsilon}'(x-v)|^2\,dv.$$Hence, $$J_2\leq C \int\limits_{{\mathbb R}}|\varphi_u(\lambda-s)||s-\lambda|\left(\int\limits_s^\lambda|{h_\varepsilon}'(x-v))|^2dv\right) |f(s)|^2\,ds.$$

Using (\[h\]), we have $$\int\limits_{{\mathbb R}}\sum_{\lambda\in{\Lambda}}\int\limits_I J_1\,dudx=\int\limits_{{\mathbb R}}|{h_\varepsilon}(\lambda-x)|^2\,dx\sum_{\lambda\in{\Lambda}}\int\limits_I |(f\ast\varphi_u)(\lambda)|^2du\leq$$$$\frac{C}{\epsilon}\sum_{\lambda\in{\Lambda}}\int\limits_I |(f\ast\varphi_u)(\lambda)|^2du.$$

To estimate the second sum we switch the order of integration and apply (\[h\]): $$\int\limits_{{\mathbb R}}\sum_{\lambda\in{\Lambda}} \int\limits_I J_2\,dudx\leq$$$$\int\limits_{{\mathbb R}}\sum_{\lambda\in{\Lambda}}\int\limits_I|\varphi_u(\lambda-s)||s-\lambda||f(s)|^2\left(\int\limits_{{\mathbb R}}\int\limits_s^\lambda|{h_\varepsilon}'(x-v)|^2dv\,dx\right)duds\leq$$$$C\varepsilon \int\limits_{{\mathbb R}}\int\limits_I\sum_{\lambda\in{\Lambda}} |\varphi_u(\lambda-s)||s-\lambda|^2|f(s)|^2duds.$$

Now, by (\[u1\]) we get$$\sum_{\lambda\in{\Lambda}} |\varphi_u(\lambda-s)||s-\lambda|^2\leq C\sum_{\lambda\in{\Lambda}} \frac{(\lambda-s)^2}{1+(\lambda-s)^4}<C,\quad u\in I,s\in{{\mathbb R}}.$$where the second inequality holds since ${\Lambda}$ is a u.d. set (see definition in (\[sep\])). Hence,$$\int\limits_{{\mathbb R}}\sum_{\lambda\in{\Lambda}} \int\limits_I J_2\,dudx\leq C\varepsilon |I|\|f\|_2^2,$$where $|I|$ is the length of $I$.

Combining this with the estimate for $J_1$ and using (\[fie\]), we conclude that $$\|f\|_2^2\leq \frac{C}{\varepsilon}\sum_{\lambda\in{\Lambda}}\int\limits_I|(f\ast\varphi_u)(\lambda)|^2\,du+C\varepsilon |I|\|f\|_2^2.$$ Choosing $\varepsilon$ small enough, we obtain (\[l\_ss\_pw\]).

\(ii) Assume (\[l\_ss\_pw\]) holds with some constant $D$ for all $f \in PW_{\sigma'}$.

We will argue by contradiction. Assume that there is no constant $K$ such that (\[l\_ss\_b\]) holds for every $f\in B_{\sigma}$. This means that there exist $g_j \in B_{\sigma}$ such that $\|g_j\|_\infty=1$, $$\label{contr_eq}
    \sup\limits_{u \in I, \lambda \in {\Lambda}} \left|(g_j\ast \varphi_u) (\lambda)\right| < \frac{1}{j},$$ and for some points $x_j$ we have $|g_j(x_j)|\geq 1/2$.

Assume $\varepsilon>0$ satisfies (\[epsi\]) and let $h_\varepsilon$ be defined by formula (\[h\_def\]). Set $$f_j(x): = g_j(x) h_{\varepsilon}(x - x_j).$$ It is clear that for every $j$ we have $f_j\in PW_{\sigma'}$, $\|f_j\|_\infty\leq 1$, and that $|f_j(x_j)|\geq 1/2$. The last two inequalities and the Bernstein's inequality imply that there is a constant $K'>0$ such that $$\label{berns} \|f_j\|_2 \ge K',\quad j\in{{\mathbb N}}.$$ By (\[l\_ss\_pw\]), we get $$\|f_j\|^2_{2} \le C \int\limits_I \sum\limits_{\lambda \in {\Lambda}} |(f_j\ast\varphi_u)(\lambda)|^2 du = C\int\limits_I \sum\limits_{\lambda \in {\Lambda}} \left|\int_{{\mathbb R}}g_j(x)\varphi_u(\lambda-x){h_\varepsilon}(x-x_j) dx \right|^2 du.$$This gives $$\label{sist}
\|f_j\|_2^2\leq C ({\tilde{J}}_1+{\tilde{J}}_2),$$where ${\tilde{J}}_1$ and ${\tilde{J}}_2$ are defined as follows: $${\tilde{J}}_1: = \int\limits_I \sum\limits_{\lambda \in {\Lambda}} \left|\int\limits_{{\mathbb R}}g_j(x)\varphi_u(\lambda-x)({h_\varepsilon}(x-x_j) - {h_\varepsilon}(\lambda - x_j) ) dx\right|^2\, du,$$ $${\tilde{J}}_2 :=  \int\limits_I \sum\limits_{\lambda \in {\Lambda}} \left|\int\limits_{{\mathbb R}}g_j(x)\varphi_u(\lambda-x) {h_\varepsilon}(\lambda - x_j) dx\right|^2 \, du.$$

By Bessel's inequality (see, e.g. @ou1, Proposition 2.7) and (\[h\]), $$\sum\limits_{\lambda \in {\Lambda}} |{h_\varepsilon}(\lambda - s)|^2 \le C\|{h_\varepsilon}\|_2^2\leq \frac{C}{\varepsilon},\quad \forall s\in{{\mathbb R}}.$$Therefore, using (\[contr\_eq\]) we arrive at $${\tilde{J}}_2 \le  \frac{C}{\varepsilon j^2}|I|.$$

Let us now estimate ${\tilde{J}}_1$. Recall that $\|g_j\|_{\infty} = 1$. Using the change of variables $x=t+\lambda$, we get $${\tilde{J}}_1\leq \int\limits_I\sum_{\lambda\in{\Lambda}}\left(\int\limits_{{\mathbb R}}\left|\varphi_u(-t)\int\limits_0^t {h_\varepsilon}'(s+\lambda-x_j)\,ds\right|dt\right)^2\,du.$$ Now, use the Cauchy–Schwarz inequality: $${\tilde{J}}_1\leq \int\limits_I\sum_{\lambda\in{\Lambda}}\int\limits_{{\mathbb R}}|\varphi_u(-t)|^2(1+t^2)^2\,dt\int\limits_{{\mathbb R}}\frac{1}{(1+t^2)^2}\left|\int\limits_0^t {h_\varepsilon}'(s+\lambda-x_j)\,ds\right|^2dt\,du.$$Using again the Cauchy–Schwarz inequality and condition (\[u1\]), we arrive at $${\tilde{J}}_1\leq C\int\limits_I\sum_{\lambda\in{\Lambda}}\int\limits_{{\mathbb R}}\frac{|t|}{(1+t^2)^2}\left| \int\limits_0^t |{h_\varepsilon}'(s+\lambda-x_j)|^2\,ds\right|\,dt\,du.$$Finally, Bessel's inequality yields $$\sum_{\lambda\in{\Lambda}}|{h_\varepsilon}'(s+\lambda-x_j)|^2\leq C\|{h_\varepsilon}\|_2^2\leq C\varepsilon,$$and we conclude that $${\tilde{J}}_1\leq C|I|\varepsilon.$$

We now insert the estimate for ${\tilde{J}}_1,{\tilde{J}}_2$ in (\[sist\]) and use (\[berns\]) to get the estimate $$(K')^2 \le \frac{C}{\varepsilon j^2} + C|I| \varepsilon.$$ Choosing $\varepsilon$ sufficiently small, we arrive at contradiction for all large enough $j$.

 Proof of Theorem \[t1\]
------------------------

The proof easily follows from Theorems \[t2\] and \[t3\].

Assume that the assumptions of Theorem \[t1\] hold.

\(i) Assume that $\Lambda$ satisfies condition $(\alpha)$. Then by Theorem <span>\[t2\]</span>, for every $\sigma>0$ there exists $K=K(\sigma)$ such that inequality (\[ssb\]) is true. Applying Theorem \[t3\], we see that there exists $A=A(\sigma)>0$ the left hand-side inequality in (\[ss\]) is also true for every $\sigma>0$.

\(ii) Assume that $\Lambda$ does not satisfy condition $(\alpha)$. Then by Theorem \[t2\], there exists $\sigma>0$ such that there is no constant $K$ for which condition (\[ssb\]) is true. Applying Theorem \[t3\], we see that for every positive $\sigma'>\sigma$ there is no constant $D$ such that inequality (\[l\_ss\_pw\]) holds for every $f\in PW_{\sigma'}$.

<span>99</span>

Aldroubi, A., Cabrelli C., Çakmak, A.F., Molter, U., Petrosyan, A., *Iterative actions of normal operators.* In Journal of Functional Analysis, Volume 272, Issue 3, (2017), 1121–1146.

Aldroubi, A., Davis, J., Krishtal, I., *Dynamical sampling: Time–space trade-off.* In Applied and Computational Harmonic Analysis, Volume 34, Issue 3, (2013), 495–503.

Aldroubi, A., Grochenig, K., Huang, L., Jaming, Ph., Kristal, I., Romero J.L. *Sampling the flow of a bandlimited function*. arXiv:2004.14032 (2020).

Lu, Y.M., Vetterli, M. *Spatial super-resolution of a diffusion field by temporal oversampling in sensor networks.* In 2009 IEEE International Conference on Acoustics, Speech and Signal Processing. IEEE, apr. 2009.

Martín, R.D., Medri, I., Molter U., *Dynamical Sampling: a view from control theory*, arxiv.org/abs/2003.01488.

Olevskii, A., Ulanovskii, A. *Functions with Disconnected Spectrum: Sampling, Interpolation, Translates.* AMS, University Lecture Series, 65, 2016.

Alexander Ulanovskii\
University of Stavanger, Department of Mathematics and Physics,\
4036 Stavanger, Norway,\
ldeleon@example.net

Ilya Zlotnikov\
University of Stavanger, Department of Mathematics and Physics,\
4036 Stavanger, Norway,\
ldeleon@example.net

{'source': 'arXiv_out/2007'}