1 Introduction
In simplistic terms, a signal might be discrete, such as letters or digits sequences, or it might be analogue, i.e. continuous functions, reading such as a temperature or a pressure. It is a remarkable fact that under additional assumptions, analogue signals and discrete signals are equivalent: an analogue signal f can be recovered exactly from its samples ${\{f({x_{j}})\}_{j=-\omega }^{\omega }}$, i.e. from a digital signal. This is the essence of the sampling theorems. These theorems are fundamental, in particular, in information theory and communication, particularly since the advent of modern digital computers.
An analogue signal is, in the classical sense, a function such that it is continuous with respect to a real variable (for example, time) and has finite energy, i.e. it is a square-integrable on $\mathbb{R}$. The following classical Shannon sampling theorem (see, e.g. Higgins, 1996; p. 51) states that if $f\in {L^{2}}(\mathbb{R})$ is bandlimited to $[-\sigma ,\sigma ]$, $\sigma >0$, i.e. if the Fourier transform of f is supported on $[-\sigma ,\sigma ]$, then
and this series converge in ${L^{2}}(\mathbb{R})$-norm and uniformly on $\mathbb{R}$. This theorem was the starting point for many further developments in sampling theory. Series (1.1) is called a cardinal series of f. The sequence ${\{\pi k/\sigma \}_{k=-\infty }^{\infty }}$ is called a sampling sequence and the corresponding values $f(\pi k/\sigma )$ are called sample values with Nyquist sampling rate of $\sigma /\pi $ samples per unit time. The first problem is to find conditions under which f can be reconstructed completely by (1.1). In most applications, the assumption that f is bandlimited, or equivalently that the spectrum of f is supported to certain bounded area in $\mathbb{R}$, is completely justified. More precisely, if a signal f is bandlimited to $[-\sigma ,\sigma ]$, $0<\sigma <\infty $, or in other words, the quantity σ is the maximal frequency in the spectrum of f, then (1.1) perfectly recovers f by samples, taken every $\pi /\sigma $ seconds.
(1.1)
\[ f(x)={\sum \limits_{k=-\infty }^{\infty }}f\bigg(\frac{\pi k}{\sigma }\bigg)\frac{\sin (\sigma x-\pi k)}{\sigma x-\pi k}\]There are several ways by which (1.1) may be generalized (see, e.g. Zayed and Schmeisser, 2014). For example, in 1955, Fogel (Jagerman and Fogel, 1956) was motivated by a problem in aircraft instrument communications (a pilot in the case of pointer-on-scale displays may estimate the pointer position and also the rate information concerning the acceleration of the pointer, corresponding to first- and second-time derivatives) and studied a sampling expansion which involved sample values of a function and its derivatives.
Next, one possible application of sampling theory is in sensor networks. In this case, a large number of sensors is used to monitor some quantity, e.g. temperature. This quantity varies continuously in space and hence, can be viewed as a signal in multidimensional space.
In this paper, we concern with the sampling representation for bandlimited signals f of several variables such that f has finite p-energy for certain $1\leqslant p<\infty $ (see Nashed and Sun, 2010 and Nguyen and Unser, 2017).
Note that the reconstruction (1.1) is called stable, if it converges uniformly on $\mathbb{R}$. Such a stability is important not only from the theoretical point of view but, in particular, for applications. If (1.1) is stable, then it is possible to bound the approximation error, which is made by using in (1.1) only finitely many samples. Finally, we note that our sampling series have such a stable reconstruction properties. Namely, they converge absolutely and uniformly on the whole ${\mathbb{R}^{n}}$.
2 Definitions, Notation and the Main Result
Let ${\mathbb{Z}^{n}}$, ${\mathbb{R}^{n}}$ and ${\mathbb{C}^{n}}$ be the usual n-dimensional integer lattice, real Euclidean space and complex Euclidean space, respectively. Next, ${L^{p}}({\mathbb{R}^{n}})$, $1\leqslant p\leqslant \infty $, denotes the Lebesgue space of complex-values measurable functions on ${\mathbb{R}^{n}}$ with finite p-energy, i.e. such that $|f{|^{p}}$ is integrable on ${\mathbb{R}^{n}}$. For $f\in {L^{1}}({\mathbb{R}^{n}})$, we define the Fourier transform of f as usual by
$x\in {\mathbb{R}^{n}}$, where $\langle x,t\rangle ={\textstyle\sum _{k=1}^{n}}{x_{k}}{t_{k}}$ is the scalar product on ${\mathbb{R}^{n}}$. If $f\in {L^{p}}({\mathbb{R}^{n}})$ and $1<p\leqslant \infty $, then we understand $\hat{f}$ in a distributional sense of tempered distributions ${S^{\prime }}({\mathbb{R}^{n}})$. We recall that the Schwartz space of test functions $S({\mathbb{R}^{n}})$ consists of the complex-valued infinitely differentiable functions φ on ${\mathbb{R}^{n}}$ satisfying
\[ \underset{x\in {\mathbb{R}^{n}};\hspace{0.1667em}|\alpha |\leqslant m}{\sup }\Big({\big(1+\| x\| \big)^{k}}\big|{D^{\alpha }}\varphi (x)\big|\Big)<\infty \]
for all nonnegative integers m and k, also for any nonnegative multi-index α, where ${D^{\alpha }}$ is the partial derivative of order α and $\| x\| $ denotes the standard Euclidean norm on ${\mathbb{R}^{n}}$. The dual space ${S^{\prime }}({\mathbb{R}^{n}})$ of $S({\mathbb{R}^{n}})$ is called the space of tempered distributions.Given a closed subset Ω of ${\mathbb{R}^{n}}$, a function $\omega :{\mathbb{R}^{n}}\to \mathbb{C}$ is called bandlimited to Ω if $\widehat{\omega }$ vanishes outside Ω. For $\sigma =({\sigma _{1}},\dots ,{\sigma _{n}})\in {\mathbb{R}^{n}}$ with ${\sigma _{m}}>0$, $m=1,\dots ,n$, we define the spaces of bandlimited signals by
\[ {B_{{Q_{\sigma }^{n}}}^{p}}=\big\{f\in {L^{p}}({\mathbb{R}^{n}}):\hspace{2.5pt}\text{supp}\hspace{0.1667em}\hat{f}\subset {Q_{\sigma }^{n}}\big\},\]
where
\[ {Q_{\sigma }^{n}}=\big\{x\in {\mathbb{R}^{n}}:\hspace{2.5pt}|{x_{k}}|\leqslant {\sigma _{k}},\hspace{2.5pt}k=1,\dots ,n\big\}.\]
Hence, any $f\in {B_{{Q_{\sigma }^{n}}}^{p}}$ is bandlimited to hyperrectangle or n-orthotope ${Q_{\sigma }^{n}}$, i.e. $\hat{f}$ vanishes outside ${Q_{\sigma }^{n}}$. If we equip ${B_{{Q_{\sigma }^{n}}}^{p}}$ with the norm
\[\begin{aligned}{}& \| f{\| _{p}}={\bigg({\int _{{\mathbb{R}^{n}}}}{\big|f(x)\big|^{p}}\hspace{0.1667em}dx\bigg)^{1/p}}\hspace{1em}\text{for}\hspace{2.5pt}1\leqslant p<\infty ,\\ {} & \text{or}\hspace{1em}\| f{\| _{\infty }}=\underset{x\in {\mathbb{R}^{n}}}{\text{ess supp}}\big|f(x)\big|\hspace{1em}\text{for}\hspace{2.5pt}p=\infty ,\end{aligned}\]
then ${B_{{Q_{\sigma }^{n}}}^{p}}$ is a Banach space and it is called the Bernstein space. By the Paley–Wiener–Schwartz theorem (see Hörmander, 1990; p. 181), any $f\in {B_{{Q_{\sigma }^{n}}}^{p}}$, $1\leqslant p\leqslant \infty $, is infinitely differentiable on ${\mathbb{R}^{n}}$ and has an (unique) extension onto the complex space ${\mathbb{C}^{n}}$ to an entire function.Remark 1.
Recall that the identity theorem for analytic functions shows that the extension of $f\in {B_{{Q_{\sigma }^{n}}}^{p}}$ from ${\mathbb{R}^{n}}$ to ${\mathbb{C}^{n}}$ is unique. Therefore, we can identify further each $f\in {B_{{Q_{\sigma }^{n}}}^{p}}$ with bandlimited function defined on ${\mathbb{R}^{n}}$ and in other cases consider the same f as entire function defined on the whole ${\mathbb{C}^{n}}$. Note that terms “bandlimited signal on ${\mathbb{R}^{n}}$”and “bandlimited function on ${\mathbb{R}^{n}}$” are equivalent.
Below we shall use the technique of complex variable functions on ${\mathbb{C}^{n}}$. In particular, we shall need certain facts in entire functions. Therefore, we use below only function theory terms, i.e. “bandlimited function” term.
Next, to simplify the notation, we shall write ${B_{\sigma }^{p}}$ in the case of functions of one variable ${B_{\sigma }^{p}}$ instead of ${B_{{Q_{\sigma }^{1}}}^{p}}$.
If we define the $\mathrm{sinc}\hspace{0.1667em}$-function to be
This expression holds for each $f\in {B_{\sigma }^{p}}$, $1\leqslant p<\infty $. Next, (2.1) converges absolutely and uniformly on compact subsets of $\mathbb{C}$. The Nyquist sampling rate of $\sigma /\pi $ samples per unit time in (2.1) is exact, i.e. $f\in {B_{\sigma }^{p}}$ cannot be recovered from its samples taken at a lower rate. This means that, for any $\varepsilon >1$, there exist two ${f_{j}}\in {B_{\sigma }^{p}}$, $j=1,2$ such that ${f_{1}}\not\equiv {f_{2}}$, but ${f_{1}}$ coincides with ${f_{2}}$ on every point of the sampling sequence $\{{(\varepsilon \pi k/\sigma \}_{k\in \mathbb{Z}}}$.
\[ \mathrm{sinc}\hspace{0.1667em}(z)=\left\{\begin{array}{l@{\hskip4.0pt}l}\frac{\sin (\pi z)}{\pi z},\hspace{1em}& z\ne 0,\\ {} 1,\hspace{1em}& z=0,\end{array}\right.\]
$z\in \mathbb{C}$, then (1.1) can be rewritten as
(2.1)
\[ f(x)=\sum \limits_{k\in \mathbb{Z}}f\bigg(\frac{\pi k}{\sigma }\bigg)\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{\sigma }{\pi }x-k\bigg).\]On the other hand, if we know sample values of $f\in {B_{\sigma }^{p}}$ only the sampling sequence ${\{2\pi k/\sigma \}_{k}}$ with the sampling rate $\sigma /(2\pi )$, then reconstruction of f is also possible if we know, in addition, its derivative values ${\{{f^{\prime }}(2\pi k/\sigma )\}_{k}}$. More precisely, if $f\in {B_{\sigma }^{p}}$, $1\leqslant p<\infty $, then
(see Jagerman and Fogel, 1956; p. 145 or Butzer et al., 2011; p. 442).
(2.2)
\[ f(z)=\sum \limits_{k\in \mathbb{Z}}\bigg(f\bigg(\frac{2\pi k}{\sigma }\bigg)+{f^{\prime }}\bigg(\frac{2\pi k}{\sigma }\bigg)\bigg(z-\frac{2\pi k}{\sigma }\bigg)\bigg)\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{\sigma }{2\pi }z-k\bigg)\]The following n-dimensional sampling theorem is a standard extension of (2.1) in ${B_{{Q_{\sigma }^{n}}}^{p}}$
\[ f(z)=\sum \limits_{u\in {\mathbb{Z}^{n}}}\bigg(f\bigg(\frac{\pi }{\sigma }u\bigg){\prod \limits_{m=1}^{n}}\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{m}}}{\pi }{z_{m}}-{u_{m}}\bigg)\bigg),\]
$z\in {\mathbb{C}^{n}}$ (Gosselin, 1977; p. 172) (see also Jerri, 2017 for references). Here and below we are taking
\[ \bigg(\tau \hspace{0.1667em}\frac{a}{b}\bigg)=\bigg(\tau \hspace{0.1667em}\frac{{a_{1}}}{{b_{1}}},\dots ,\tau \hspace{0.1667em}\frac{{a_{n}}}{{b_{n}}}\bigg)\]
for any $\tau \in \mathbb{C}$ and all $a,b\in {\mathbb{C}^{n}}$ such that ${b_{1}}\ne 0,\dots ,{b_{n}}\ne 0$. These series converge absolutely and uniformly on compact subsets of ${\mathbb{C}^{n}}$.The aim of this paper is to prove a multidimensional version of (2.2). In the case of two variables, in Fang and Li (2006) (see also a tutorial review Jerri, 2017; p. 40) a version of (2.2) involving only the following sample values sequences was given
Namely, in Fang and Li (2006) the following representation was given:
for all $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$, $1\leqslant p<\infty $. We say that such a sampling theorem fails in general. Indeed, let us take any $\chi \in S({\mathbb{R}^{2}})$, $\chi \not\equiv 0$, such that $\text{supp}\hspace{0.1667em}\chi \subset \{x\in {\mathbb{R}^{2}}:\hspace{2.5pt}|{x_{k}}|\leqslant {\sigma _{k}}/2,\hspace{0.1667em}k=1,2\}$ and define
(2.3)
\[ {\bigg\{f\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg\}_{u\in {\mathbb{Z}^{2}}}},\hspace{2em}{\bigg\{\frac{\partial f}{\partial {x_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg\}_{u\in {\mathbb{Z}^{2}}}}\hspace{1em}\text{and}\hspace{1em}{\bigg\{\frac{\partial f}{\partial {x_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg\}_{u\in {\mathbb{Z}^{2}}}}.\](2.4)
\[\begin{aligned}{}f(z)& =\sum \limits_{u\in {\mathbb{Z}^{2}}}\bigg[f\bigg(2\pi \frac{u}{\sigma }\bigg)+\bigg({z_{1}}-\frac{2\pi {u_{1}}}{{\sigma _{1}}}\bigg)\cdot \frac{\partial f}{\partial {x_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\\ {} & \hspace{1em}+\bigg({z_{2}}-\frac{2\pi {u_{2}}}{{\sigma _{2}}}\bigg)\cdot \frac{\partial f}{\partial {x_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg]\\ {} & \hspace{1em}\times \mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{1}}}{2\pi }{z_{1}}-{u_{1}}\bigg)\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{2}}}{2\pi }{z_{2}}-{u_{2}}\bigg)\end{aligned}\]
\[ \Lambda (x)=\sin \bigg(\frac{{\sigma _{1}}}{2}{x_{1}}\bigg)\sin \bigg(\frac{{\sigma _{2}}}{2}{x_{2}}\bigg)\cdot \widehat{\chi }(x),\]
$x\in {\mathbb{R}^{2}}$. Since $S({\mathbb{R}^{2}})$ is invariant under the Fourier transform, it follows that $\widehat{\chi }\in S({\mathbb{R}^{2}})$, and consequently Λ is in ${B_{{Q_{\sigma }^{2}}}^{p}}$ for all $1\leqslant p\leqslant \infty $. On the other hand, if $f=\Lambda $, then all sequences in (2.3) are null sequences. Hence, (2.4) generates null function, but not Λ. Even more, this example with our function Λ shows that the same is still true if we add to (2.4) an arbitrary number of sample values sequences
\[ {\bigg\{\frac{{\partial ^{j}}\Lambda }{\partial {x_{k}^{j}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg\}_{u\in {\mathbb{Z}^{2}}}},\]
$k=1,2$, $j=2,3,\dots $ . Therefore, any multidimensional version of (2.2) must necessarily contain also mixed partial derivatives of f.Our basic idea based on observation that any sampling series are also an interpolation formula. For example, the m-th coefficient in (2.1) equals to the value of the sum, i.e. the value of f at the point with the number m, i.e. at $\pi m/\sigma $.
We now state the main result of this paper.
Theorem 1.
If $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$, $1\leqslant p<\infty $, then
The series (2.5) converge absolutely and uniformly on ${\mathbb{R}^{2}}$ and on compact subsets of ${\mathbb{C}^{2}}$.
(2.5)
\[\begin{aligned}{}f(z)& =\sum \limits_{u\in {\mathbb{Z}^{2}}}\bigg[f\bigg(2\pi \frac{u}{\sigma }\bigg)+\bigg({z_{1}}-\frac{2\pi {u_{1}}}{{\sigma _{1}}}\bigg)\cdot \frac{\partial f}{\partial {x_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\\ {} & \hspace{1em}+\bigg({z_{2}}-\frac{2\pi {u_{2}}}{{\sigma _{2}}}\bigg)\cdot \frac{\partial f}{\partial {x_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\\ {} & \hspace{1em}+\bigg({z_{1}}-\frac{2\pi {u_{1}}}{{\sigma _{1}}}\bigg)\bigg({z_{2}}-\frac{2\pi {u_{2}}}{{\sigma _{2}}}\bigg)\cdot \frac{{\partial ^{2}}f}{\partial {x_{1}}\partial {x_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg]\\ {} & \hspace{1em}\times \mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{1}}}{2\pi }{z_{1}}-{u_{1}}\bigg)\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{2}}}{2\pi }{z_{2}}-{u_{2}}\bigg).\end{aligned}\]3 Preliminaries and Proofs
Set ${Q_{\pi }^{2}}=\{x\in {\mathbb{R}^{2}}:\hspace{2.5pt}|{x_{1}}|,|{x_{2}}|\leqslant \pi \}$. We may assume without loss of generality below that ${\sigma _{1}}={\sigma _{2}}=\pi $, since the operator
\[ A(f)(z)=f\bigg(\frac{\pi }{{\sigma _{1}}}\hspace{0.1667em}{z_{1}},\frac{\pi }{{\sigma _{2}}}\hspace{0.1667em}{z_{2}}\bigg)\]
is an isometric isomorphism between ${B_{{Q_{\sigma }^{2}}}^{p}}$ and ${B_{{Q_{\pi }^{2}}}^{p}}$.Let $1\leqslant p<q\leqslant \infty $. Then there exists $0<M(p;\hspace{0.1667em}q)<\infty $ such that
for all $f\in {B_{{Q_{\pi }^{2}}}^{q}}$ (see Triebel, 1983; pp. 21–22). Therefore,
If $f\in {B_{{Q_{\pi }^{2}}}^{p}}$ with $1\leqslant p<\infty $, then
(see Nikol’skii, 1975; p. 118). If $f\in {B_{{Q_{\pi }^{2}}}^{\infty }}$, then (see, e.g. Nikol’skii, 1975; p. 117; Jagerman and Fogel, 1956; p. 181 or Hörmander, 1990; p. 181).
for all $z=x+iy$, $x,y\in {\mathbb{R}^{2}}$. Note that (3.2) shows that (3.4) also holds true for any $f\in {B_{{Q_{\pi }^{2}}}^{p}}$, $1\leqslant p<\infty $.
(3.1)
\[ \| f{\| _{{B_{{Q_{\pi }^{2}}}^{q}}}}\leqslant M(p;\hspace{0.1667em}q)\| f{\| _{{B_{{Q_{\pi }^{2}}}^{p}}}}\](3.2)
\[ {B_{{Q_{\pi }^{2}}}^{1}}\subset {B_{{Q_{\pi }^{2}}}^{p}}\subset {B_{{Q_{\pi }^{2}}}^{q}}\subset {B_{{Q_{\pi }^{2}}}^{\infty }}.\](3.4)
\[ \big|f(z)\big|\leqslant \underset{x\in {\mathbb{R}^{2}}}{\sup }\big|f(x)\big|\hspace{0.1667em}{e^{\pi (|{y_{1}}|+|{y_{2}}|)}}\]In the sequel, we shall use several times the following function in ${B_{{Q_{\pi /2}^{2}}}^{\infty }}$:
Let us start by proving a simple auxiliary statement for functions of one variable. For completeness, we also give its proof.
Proof.
Define
Then (3.5) implies that G is a well-defined entire function on $\mathbb{C}$. Now, for each positive integer m, set
Now take any $z\in \mathbb{C}\setminus D$. Then it is easy to see that
Combining this with (3.8), we conclude that $|G|$ is also bounded on $\mathbb{C}\setminus D$. By Liouville’s theorem, G is a constant. Therefore, (3.6) implies that there exists $c\in \mathbb{C}$ such that $F(z)=c{\sin ^{2}}(\pi z/2)$ on $\mathbb{C}$. Finally, using (3.3), since $F\in {B_{\pi }^{p}}$, $1\leqslant p<\infty $, we see that $c=0$. Thus, $F\equiv 0$. □
\[ {D_{m}}=\big\{z\in \mathbb{C}:\hspace{2.5pt}|\mathrm{\Re }z|\leqslant 1+2m,\hspace{2.5pt}|\mathrm{\Im }z|\leqslant 2\big\}.\]
It can easily be checked that
for each $m=1,2,\dots $ . On the other hand, according to (3.2) and (3.4), we have that there is a finite number ${M_{1}}>0$ such that
for all $z\in \mathbb{C}$. Therefore, by the maximum principle for analytic functions, we see that $|G|$ is bounded on ${D_{m}}$. Moreover, (3.7) and (3.8) imply that $|G|$ is bounded by the same constant on each ${D_{m}}$. Thus, $|G|$ is bounded on
(3.9)
\[ D={\bigcup \limits_{m=1}^{\infty }}{D_{m}}=\big\{z\in \mathbb{C}:\hspace{2.5pt}|\mathrm{\Im }z|\leqslant 2\big\}.\]Lemma 2.
Let $F\in {B_{{Q_{\pi }^{2}}}^{p}}$, $1\leqslant p\leqslant \infty $. Assume that
for all $\lambda \in \mathbb{C}$ and each $k\in {\mathbb{Z}^{2}}$. Then there exists an entire function $G:{\mathbb{C}^{2}}\to \mathbb{C}$ such that
$z\in {\mathbb{C}^{2}}$.
Proof.
First we claim that there is an entire function $H:{\mathbb{C}^{2}}\to \mathbb{C}$ such that
for all $z\in {\mathbb{C}^{2}}$. To that end, we expand F in a series of homogeneous polynomials
where $n\in {\mathbb{Z}^{2}}$ is a non-negative multi-index and $|n|={n_{1}}+{n_{2}}$. Note that (3.13) converges uniformly on compact subsets of ${\mathbb{C}^{2}}$ (see, e.g. Shabat, 1992; p. 36). In particular, the first condition in (3.10) shows that
for all ${z_{2}}\in \mathbb{C}$. Using this and the identity theorem for entire function $\widetilde{F}(\lambda ):=F(0,\lambda )$ on $\mathbb{C}$, we see that (3.14) is equivalent to the condition ${c_{n}}=0$ in (3.13) for each $n=({n_{1}},{n_{2}})$ such that ${n_{1}}=0$. Hence in (3.13) we have that ${p_{0}}=0$ and ${p_{m}}={z_{1}}{q_{m}}$, $m=1,2,\dots $ , where ${q_{m}}$ is a homogeneous polynomial of degree $m-1$ or ${q_{m}}\equiv 0$. Next, using the second condition in (3.10), we obtain in the same manner that ${p_{1}}\equiv 0$ and
$m=2,3,\dots $ , where ${r_{m}}$ is a homogeneous polynomial of degree $m-2$ or ${r_{m}}\equiv 0$. The series ${\textstyle\sum _{2}^{\infty }}{r_{m}}$ converge uniformly on compact subsets of ${\mathbb{C}^{2}}$, since ${\textstyle\sum _{0}^{\infty }}{p_{m}}$ has this property. Therefore, ${\textstyle\sum _{2}^{\infty }}{r_{m}}$ defines on ${\mathbb{C}^{2}}$ an entire function, say H. Therefore, (3.13) implies our claim (3.12).
(3.13)
\[ F(z)={\sum \limits_{m=0}^{\infty }}{p_{m}}(z),\hspace{2em}{p_{m}}(z)=\sum \limits_{|n|=m}{c_{n}}{z_{1}^{{n_{1}}}}{z_{2}^{{n_{2}}}},\]We denote by $N({s_{\pi }})$ the zero set of ${s_{\pi }}$. Clearly,
Hence, the function
is well-defined on ${\mathbb{C}^{2}}\setminus N({s_{\pi }})$. We claim that G can be extended to an entire function on ${\mathbb{C}^{2}}$. Our proof is based on the Riemann removable singularity theorem (see, e.g. Shabat, 1992; p. 175) for G and the analytic set $N({s_{\pi }})$. Since $N({s_{\pi }})$ is an analytic set of the codimension $\text{codim}\hspace{0.1667em}(N({s_{\pi }}))=1$ (see Scheidemann, 2005; p. 72), it follows that it remains to prove that G is locally bounded on $N({s_{\pi }})$, i.e. for every $z\in N({s_{\pi }})$ there is an open neighbourhood ${U_{z}}$ of z such that G is bounded on $({\mathbb{C}^{2}}\setminus N({s_{\pi }}))\cap {U_{z}}$.
(3.15)
\[ N({s_{\pi }})=\big\{(\lambda ,k):\hspace{2.5pt}\lambda \in \mathbb{C},\hspace{2.5pt}k\in \mathbb{Z}\big\}\cup \big\{(k,\lambda ):\hspace{2.5pt}\lambda \in \mathbb{C},\hspace{2.5pt}k\in \mathbb{Z}\big\}.\]Fix $\lambda \in N({s_{\pi }})$. By (3.15), we see that the proof of the fact that G is bounded on $({\mathbb{C}^{2}}\setminus N({s_{\pi }}))\cap {U_{z}}$ can be divided into two following cases:
Note that if $\omega \in {\mathbb{Z}^{2}}$, then
for all $z\in {\mathbb{C}^{2}}$. Next, ${s_{\pi }}({z_{1}},{z_{2}})={s_{\pi }}({z_{2}},{z_{1}})$. Moreover, the functions ${F_{\omega }}(z)=F(z+2\omega )$ and $\widetilde{F}(z)=F({z_{2}},{z_{1}})$ also satisfy (3.10). Therefore, we may assume without loss of generality that we have the only following two cases:
Suppose that $\lambda =({\lambda _{1}},{\lambda _{2}})$ with ${\lambda _{1}}=0$ and ${\lambda _{2}}\notin 2\mathbb{Z}$. Substituting (3.12) into (3.16), we get
where
Of course, ${H_{0}},{H_{1}}$ and ${H_{2}}$ are entire functions on ${\mathbb{C}^{2}}$ such that
(3.18)
\[ {H_{0}}(z)={z_{2}}H(z),\hspace{2em}{H_{1}}(z)=\frac{\sin \frac{\pi {z_{1}}}{2}}{{z_{1}}}\hspace{1em}\text{and}\hspace{1em}{H_{2}}(z)=\sin \frac{\pi {z_{2}}}{2}.\]
\[ {H_{1}}(\lambda )={H_{1}}(0,{\lambda _{2}})=\frac{2}{\pi }\ne 0\hspace{1em}\text{and}\hspace{1em}{H_{2}}(\lambda )={H_{2}}(0,{\lambda _{2}})\ne 0,\]
since in this case ${\lambda _{2}}\notin 2\mathbb{Z}$. Therefore, there is an $\varepsilon >0$ and a neighbourhood ${U_{\lambda }}\subset {\mathbb{C}^{2}}$ of λ such that
for all $z\in {U_{\lambda }}$. Using this and (3.17), we see that G is bounded on $({\mathbb{C}^{2}}\setminus N({s_{\pi }}))\cap {U_{z}}$.In the second part of a1), i.e. if ${\lambda _{1}}\notin 2\mathbb{Z}$ and ${\lambda _{2}}=0$, then we are proving (3.19) in a similar way.
Suppose now that ${\lambda _{1}}={\lambda _{2}}=0$. In this case it is enough to change ${H_{0}},{H_{1}}$ and ${H_{2}}$ in (3.18) by the following functions:
\[ {H_{0}}(z)=H(z),\hspace{2em}{H_{1}}(z)=\frac{\sin \frac{\pi {z_{1}}}{2}}{{z_{1}}}\hspace{1em}\text{and}\hspace{1em}{H_{1}}(z)=\frac{\sin \frac{\pi {z_{2}}}{2}}{{z_{2}}}\]
and repeat the above proof. This finished the proof that G is locally bounded on $N({s_{\pi }})$. Thus, G is entire and (3.16) implies (3.11). Lemma 2 is proved. □Theorem 2.
Let ${f_{1}},{f_{2}}\in {B_{{Q_{\sigma }^{2}}}^{p}}$, $1\leqslant p<\infty $. Assume that
and
for $j=1,2$ and all $u\in {\mathbb{Z}^{2}}$. Then ${f_{1}}\equiv {f_{2}}$.
(3.20)
\[ {f_{1}}\bigg(2\pi \frac{u}{\sigma }\bigg)={f_{2}}\bigg(2\pi \frac{u}{\sigma }\bigg),\hspace{2em}\frac{\partial {f_{1}}}{\partial {x_{j}}}\bigg(2\pi \frac{u}{\sigma }\bigg)=\frac{\partial {f_{2}}}{\partial {x_{j}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\](3.21)
\[ \frac{{\partial ^{2}}{f_{1}}}{\partial {x_{1}}\partial {x_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)=\frac{{\partial ^{2}}{f_{2}}}{\partial {x_{1}}\partial {x_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\]Proof.
Set $f={f_{1}}-{f_{2}}$. We must prove that $f\equiv 0$. In our case ${\sigma _{1}}={\sigma _{2}}=\pi $. Therefore (3.20) and (3.21) are equivalent to
and
$u\in {\mathbb{Z}^{2}}$, respectively. First, we claim that
for all $\lambda \in \mathbb{C}$ and each $k\in \mathbb{Z}$. Indeed, fix $k\in \mathbb{Z}$ and let us define ${F_{1}}(\lambda ):=f(\lambda ,2k)$ and ${F_{2}}(\lambda ):=f(2k,\lambda )$ for $\lambda \in \mathbb{C}$. Then (3.22) implies that
(3.22)
\[ f(2u)=0,\hspace{2em}\frac{\partial f(2u)}{\partial {x_{1}}}=\frac{\partial f(2u)}{\partial {x_{2}}}=0\]
\[\begin{aligned}{}& {F_{1}}(2m)={F_{2}}(2m)=0,\hspace{2em}{F^{\prime }_{1}}(2m)=\frac{\partial f(2m,2k)}{\partial {x_{1}}}=0\hspace{1em}\text{and}\\ {} & {F^{\prime }_{2}}(2m)=\frac{\partial f(2m,2k)}{\partial {x_{2}}}=0\end{aligned}\]
for all $m\in \mathbb{Z}$. Since ${F_{1}},{F_{2}}\in {B_{\pi }^{p}}$, Lemma 1 yields our claim (3.24).Now, using Lemma 2, we see that there is an entire function g on ${\mathbb{C}^{2}}$ such that
Now we claim that
for each $k\in \mathbb{Z}$ and all $\lambda \in \mathbb{C}$. To that end, fix $k\in \mathbb{Z}$ and set
\[ {F_{1}}(\lambda )=\frac{\partial f(z)}{\partial {x_{1}}}(2k,\lambda )\hspace{1em}\text{and}\hspace{1em}{F_{2}}(\lambda )=\frac{\partial f(z)}{\partial {x_{2}}}(\lambda ,2k),\]
$\lambda \in \mathbb{C}$. From (3.22) we have that
for all $m\in \mathbb{Z}$. Since
\[ {F^{\prime }_{1}}(\lambda )=\frac{{\partial ^{2}}f(z)}{\partial {x_{1}}\partial {x_{2}}}(2k,\lambda )\hspace{1em}\text{and}\hspace{1em}{F^{\prime }_{2}}(\lambda )=\frac{{\partial ^{2}}f(z)}{\partial {x_{2}}\partial {x_{1}}}(\lambda ,2k),\]
it follows from (3.23) that
$m\in \mathbb{Z}$. Next, according to Bernstein’s inequality (Nikol’skii, 1975; p. 116), if $f\in {B_{{Q_{\pi }^{2}}}^{p}}$, then all partial derivatives of f also are elements of ${B_{{Q_{\pi }^{2}}}^{p}}$. Hence, ${F_{1}},{F_{2}}\in {B_{\pi }^{p}}$. Therefore, using (3.27) and (3.28), we see that
by Lemma 1. On the other hand, from (3.25) we get
\[ {F_{1}}(\lambda )={(-1)^{k}}\frac{\pi }{2}\sin \bigg(\frac{\pi }{2}\lambda \bigg)g(2k,\lambda )\hspace{1em}\text{and}\hspace{1em}{F_{2}}(\lambda )={(-1)^{k}}\frac{\pi }{2}\sin \bigg(\frac{\pi }{2}\lambda \bigg)g(\lambda ,2k).\]
Together with (3.29), this implies that
for all $\lambda \in \mathbb{C}$ such that $\lambda \ne 2\pi n$, $n\in \mathbb{Z}$. Since ${h_{1}}(\lambda ):=g(2k,\lambda )$ and ${h_{2}}(\lambda ):=g(\lambda ,2k)$, $\lambda \in \mathbb{C}$, are entire functions on $\mathbb{C}$, we obtain that ${h_{1}}={h_{2}}\equiv 0$, which yields our claim (3.26).Now Lemma 2 shows that then there is an entire function h on ${\mathbb{C}^{2}}$ such that $g(z)={s_{\pi }}(z)h(z)$. Then (3.25) implies that
Combining (3.4), (3.6) and (3.9) with the definition of ${s_{\pi }}$, we see that $|h|$ is bounded on the whole ${\mathbb{C}^{2}}$. Therefore, by Liouville’s theorem, we obtain that $h\equiv {c_{h}}$, ${c_{h}}\in \mathbb{C}$. Hence, $f(z)={c_{h}}{s_{\pi }^{2}}(z)$. Since $f\in {B_{{Q_{\pi }^{2}}}^{p}}$ with $1\leqslant p<\infty $, it follows from (3.3) that ${c_{h}}=0$, i.e. $f\equiv 0$. This proves Theorem 2. □
Set
\[ {B_{{Q_{\sigma }^{2}}}}=\big\{f\in {C_{0}}\big({\mathbb{R}^{2}}\big):\hspace{2.5pt}\text{supp}\hspace{0.1667em}\hat{f}\subset {Q_{\sigma }^{2}}\big\},\]
where ${C_{0}}({\mathbb{R}^{2}})$ is the usual space of continuous functions on ${\mathbb{R}^{2}}$ that vanish at infinity. ${B_{{Q_{\sigma }^{2}}}}$ is a Banach space with respect to the $sup$-norm inherited from ${C_{0}}({\mathbb{R}^{2}})$. Next, (3.3) implies that
for all $1\leqslant p<\infty $.Let us look again at the proof of Theorem 2. Then we can see that together with (3.20) and (3.21), we used, in addition, only the following two properties of ${f_{j}}$, $j=1,2$: a) $\hat{{f_{j}}}$ is supported in ${Q_{\pi }^{2}}$; b) ${f_{j}}$ satisfies (3.3). Hence, the following corollary is true:
Next, for each $1<r<\infty $ and any $w>0$, the following estimate is true (see Splettstösser, 1982; p. 811):
for all $t\in \mathbb{R}$. In particular, this implies that the series in (3.31) converge on the whole $\mathbb{R}$ and its sum is a bounded function on $\mathbb{R}$.
(3.31)
\[ \sum \limits_{k\in \mathbb{Z}}{\big|\mathrm{sinc}\hspace{0.1667em}(wt-k)\big|^{r}}\leqslant \frac{r}{r-1}\]Proof of Theorem 1.
To begin, we recall the following Nikol’skii’s inequality (Nikol’skii, 1975; p. 123): for any $1\leqslant p<\infty $ and each $0<\varrho <\infty $, there exists a finite positive number $c(\sigma ;p;\varrho )$ such that
\[ {\bigg(\hspace{0.1667em}\sum \limits_{u\in {\mathbb{Z}^{2}}}{\big|f(\varrho u)\big|^{p}}\bigg)^{1/p}}\leqslant c(\sigma ;p;\varrho )\| f{\| _{{B_{{Q_{\sigma }^{2}}}^{p}}}}\]
for all $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$. A similar inequality holds also for all partial derivatives of f, since by Bernstein’s inequality (Nikol’skii, 1975; p. 116), any partial derivative of f also is an element of ${B_{{Q_{\sigma }^{2}}}^{p}}$.Suppose again that ${\sigma _{1}}={\sigma _{2}}=\pi $ and let ${l_{2}^{p}}$ be the usual space of sequences $\{{c_{u}}\in \mathbb{C}:\hspace{2.5pt}{\textstyle\sum _{u\in {\mathbb{Z}^{2}}}}|{c_{u}}{|^{p}}<\infty \}$. First, we claim that the series (2.5) converge absolutely and uniformly on ${\mathbb{R}^{2}}$. Indeed, if $z=x\in {\mathbb{R}^{2}}$, then (2.5) can be divided into four series of the following type
with certain $\alpha \in {l_{2}^{p}}$ and some $\nu =({\nu _{1}},{\nu _{2}})$, where ${\nu _{1}},{\nu _{2}}\in \{0,1\}$. Therefore, it suffices to show that for any $\varepsilon >0$ there is a positive integer N such that
for all $x\in {\mathbb{R}^{2}}$. Take any ${p_{1}}\geqslant p$ such that $1<{p_{1}}<\infty $. Then Hölder’s inequality implies that
with $1<{q_{1}}<\infty $ such that $1/{p_{1}}+1/{q_{1}}=1$. Since $\alpha \in {l_{2}^{p}}\subset {l_{2}^{{p_{1}}}}$, it follows that, for any ${\varepsilon _{1}}>0$, there exists a positive integer ${N_{1}}$ such that
On the other hand, it is clear that
for all $x\in {\mathbb{R}^{2}}$ and each $N\geqslant 0$. Combining this with (3.33), (3.34) and (3.35), we get that (3.32) converges absolutely and uniformly on ${\mathbb{R}^{2}}$.
(3.32)
\[\begin{aligned}{}{I_{\nu ;\hspace{0.1667em}\infty }}(x)& =\sum \limits_{m\in {\mathbb{Z}^{2}}}\bigg[{\alpha _{m}}{\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)^{{\nu _{1}}}}{\bigg(\frac{{x_{2}}}{2}-{m_{2}}\bigg)^{{\nu _{2}}}}\\ {} & \hspace{1em}\times \mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{x_{2}}}{2}-{m_{2}}\bigg)\bigg]\end{aligned}\](3.33)
\[\begin{aligned}{}\big|{I_{\nu ;\hspace{0.1667em}N}}(x)\big|& =\bigg|\sum \limits_{\substack{m\in {\mathbb{Z}^{2}}\\ {} |{m_{1}}|,|{m_{2}}|\geqslant N}}\bigg[{\alpha _{m}}{\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)^{{\nu _{1}}}}{\bigg(\frac{{x_{2}}}{2}-{m_{2}}\bigg)^{{\nu _{2}}}}\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)\\ {} & \hspace{1em}\times \mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{x_{2}}}{2}-{m_{2}}\bigg)\bigg]\bigg|<\varepsilon \end{aligned}\](3.34)
\[\begin{aligned}{}\big|{I_{\nu ;\hspace{0.1667em}N}}(x)\big|& \leqslant {\bigg(\sum \limits_{\substack{m\in {\mathbb{Z}^{2}}\\ {} |{m_{1}}|,|{m_{2}}|\geqslant N}}|{\alpha _{m}}{|^{{p_{1}}}}\bigg)^{1/{p_{1}}}}\bigg(\sum \limits_{\substack{m\in {\mathbb{Z}^{2}}\\ {} |{m_{1}}|,|{m_{2}}|\geqslant N}}{\bigg|\frac{{x_{1}}}{2}-{m_{1}}\bigg|^{{q_{1}}{\nu _{1}}}}{\bigg|\frac{{x_{2}}}{2}-{m_{2}}\bigg|^{{q_{1}}{\nu _{2}}}}\\ {} & \hspace{1em}\times {\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)\bigg|^{2{q_{1}}}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{2}}}{2}-{m_{2}}\bigg)\bigg|^{2{q_{1}}}}\bigg){^{1/{q_{1}}}}\end{aligned}\](3.35)
\[ {\bigg(\sum \limits_{\substack{m\in {\mathbb{Z}^{2}}\\ {} |{m_{1}}|,|{m_{2}}|\geqslant {N_{1}}}}|{\alpha _{m}}{|^{{p_{1}}}}\bigg)^{1/{p_{1}}}}<{\varepsilon _{1}}.\]
\[ {\bigg|\frac{{x_{j}}}{2}-{m_{j}}\bigg|^{{q_{1}}{\nu _{j}}}}\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{j}}}{2}-{m_{j}}\bigg)\bigg)\bigg|{^{2{q_{1}}}}\leqslant \bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{j}}}{2}-{m_{j}}\bigg)\bigg)\bigg|{^{(2-{\nu _{j}}){q_{1}}}}\leqslant 1\]
for $j=1,2$, ${m_{j}}\in \mathbb{Z}$ and all ${x_{j}}\in \mathbb{R}$. Hence, by (3.31), we see that the second series in (3.34) converge and
(3.36)
\[\begin{aligned}{}& {\bigg(\sum \limits_{\substack{m\in {\mathbb{Z}^{2}}\\ {} |{m_{1}}|,|{m_{2}}|\geqslant N}}{\bigg|\frac{{x_{1}}}{2}-{m_{1}}\bigg|^{{q_{1}}{\nu _{1}}}}{\bigg|\frac{{x_{2}}}{2}-{m_{2}}\bigg|^{{q_{1}}{\nu _{2}}}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)\bigg|^{2{q_{1}}}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{2}}}{2}-{m_{2}}\bigg)\bigg|^{2{q_{1}}}}\bigg)^{1/{q_{1}}}}\\ {} & \hspace{1em}\leqslant {\bigg(\sum \limits_{{m_{1}}\in \mathbb{Z},\hspace{0.1667em}|{m_{1}}|\geqslant N}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{x_{1}}}{2}-{m_{1}}\bigg)\bigg|^{(2-{\nu _{1}}){q_{1}}}}\bigg)^{1/{q_{1}}}}\bigg)\\ {} & \hspace{1em}\leqslant {\bigg(\frac{(2-{\nu _{1}}){q_{1}}}{(2-{\nu _{1}}){q_{1}}-1}\bigg)^{1/{q_{1}}}}\end{aligned}\]Next, for any compact subset K of ${\mathbb{C}^{2}}$, there is a strip ${E_{\tau }}=\{z\in {\mathbb{C}^{2}}:|\mathrm{\Im }{z_{1}}|,|\mathrm{\Im }{z_{2}}|\leqslant \tau \}$, $0<\tau <\infty $, such that $K\subset {E_{\tau }}$. If $f\in {B_{{Q_{\pi }^{2}}}^{p}}$, then (3.2) shows that $f\in {B_{{Q_{\pi }^{2}}}^{\infty }}$. Therefore, using (3.4), we obtain that (2.5) also converges absolutely and uniformly on K.
Let us denote by F the sum of (2.5). Any sum of partial finite subseries of (2.5) belongs to ${B_{{Q_{\pi }^{2}}}^{p}}$ for any $1\leqslant p<\infty $. By (3.30), it is also an element of ${B_{{Q_{\pi }^{2}}}}$. Since ${B_{{Q_{\pi }^{2}}}}$ is a Banach space and (2.5) converges absolutely and uniformly on ${\mathbb{R}^{2}}$, i.e. in ${B_{{Q_{\pi }^{2}}}}$-norm, it follows that $F\in {B_{{Q_{\pi }^{2}}}}$. Using the fact, that $f\in {B_{{Q_{\pi }^{2}}}^{p}}\subset {B_{{Q_{\pi }^{2}}}}$ for each $1\leqslant p<\infty $, it is easy to check that the functions ${f_{1}}:=f$ and ${f_{2}}=F$ satisfy the conditions of Corollary 1. Hence, $f\equiv F$ and this proves our theorem. □
4 The Truncation Error
The sampling formula (2.5) requires us to know values of a signal f at infinitely many points ${\{2\pi u/\sigma \}_{u\in {\mathbb{Z}^{2}}}}$. In practice, only finitely many samples are available. For $N\in {\mathbb{Z}^{2}}$ with certain positive integers ${N_{1}}$ and ${N_{2}}$, let us define the partial sum of (2.5) by
Then the truncation error of f is defined by
$x\in {\mathbb{R}^{2}}$. The best known ${E_{N}}(x)$ estimates are local, i.e. these estimates are valid only on certain compacts subsets of ${\mathbb{R}^{2}}$. We shall indicate some uniform bounds of ${E_{f;N}}(x)$, i.e. the bounds of
Such an estimate is simpler in the case if we apply to functions $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$ certain additional conditions of constructiveness relating to the decay of f at infinity in (3.3) (see, e.g. Lin, 2019 and Wang et al., 2018). Note that the spectral function, i.e. the Fourier transform $\hat{f}$, of many important signals f are smooth enough. Hence, these signals f have rapid decay in the time domain for large time. In light of this, it is natural to study the truncation error for functions $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$, $1\leqslant p<\infty $ that satisfy the following simple decay condition
for all $x\in {\mathbb{R}^{2}}$ such that , $|{x_{1}}|\geqslant {N_{1}}\geqslant 1$, $|{x_{2}}|\geqslant {N_{2}}\geqslant 1$. Here ${c_{f}}$ is a positive number that depends on f. Note that the function
(4.1)
\[\begin{aligned}{}{f_{N-1}}(z)& =\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\leqslant {N_{1}}-1,\hspace{0.1667em}|{u_{2}}|\leqslant {N_{2}}-1}}\bigg[f\bigg(2\pi \frac{u}{\sigma }\bigg)+\bigg({z_{1}}-\frac{2\pi {u_{1}}}{{\sigma _{1}}}\bigg)\frac{\partial f}{\partial {z_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\\ {} & \hspace{1em}+\bigg({z_{2}}-\frac{2\pi {u_{2}}}{{\sigma _{2}}}\bigg)\frac{\partial f}{\partial {z_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\\ {} & \hspace{1em}+\bigg({z_{1}}-\frac{2\pi {u_{1}}}{{\sigma _{1}}}\bigg)\bigg({z_{2}}-\frac{2\pi {u_{2}}}{{\sigma _{2}}}\bigg)\frac{{\partial ^{2}}f}{\partial {z_{1}}\partial {z_{2}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg]\\ {} & \hspace{1em}\times \mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{1}}}{2\pi }{z_{1}}-{u_{1}}\bigg)\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{2}}}{2\pi }{z_{2}}-{u_{2}}\bigg).\end{aligned}\]
\[ f(x)=\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{1}}}{\pi }{x_{1}}\bigg)\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{2}}}{\pi }{x_{2}}\bigg)\]
satisfies (4.3) with ${c_{f}}=1/({\sigma _{1}}{\sigma _{2}})$.Theorem 3.
Let $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$, $1\leqslant p<\infty $, and let ${N_{1}}$ and ${N_{2}}$ be two positive integers. Assume that f satisfies (4.3). Then, for any $1<\omega <\infty $, we have that
(4.4)
\[\begin{aligned}{}{e_{f;\hspace{0.1667em}N}}& \leqslant \frac{{c_{f}}{\sigma _{1}}{\sigma _{2}}}{4{\pi ^{2}}}\bigg[{\bigg(\frac{4{\omega ^{2}}}{{(\omega +1)^{2}}}\bigg)^{1-1/\omega }}+2{\bigg(\frac{2{\omega ^{2}}}{\omega +1}\bigg)^{1-1/\omega }}\bigg(2+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}\bigg)\\ {} & \hspace{1em}+4{\omega ^{2(1-1/\omega )}}\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg)\bigg]\frac{{(2{(\omega -1)^{2}})^{1/\omega }}}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\end{aligned}\]The estimate (4.4) can be substantially simplified. Indeed, the following corollary holds:
Corollary 2.
Under the assumptions of Theorem 3, we get
for all $x\in {\mathbb{R}^{2}}$.
(4.5)
\[ {e_{f;\hspace{0.1667em}N}}\leqslant \frac{3{c_{f}}{\sigma _{1}}{\sigma _{2}}}{{\pi ^{2}}}{\omega ^{2(1-1/\omega )}}{\big(2{(\omega -1)^{2}}\big)^{1/\omega }}\frac{1}{{({N_{1}}{N_{2}})^{1-1/\omega }}}\]Of course, (4.5) is less exact than (4.4).
Proof of Theorem 3.
For $\nu =({\nu _{1}},{\nu _{2}})$ with ${\nu _{1}},{\nu _{2}}\in \{0;1\}$, set
Next, for any ω such that $1<\omega <\infty $, Hölder’s inequality implies that
with $1<s<\infty $ such that $1/\omega +1/s=1$.
\[ {\alpha _{\nu }}(u)=\frac{{\partial ^{{\nu _{1}}+{\nu _{2}}}}f}{{\partial ^{{\nu _{1}}}}{x_{1}}{\partial ^{{\nu _{2}}}}{x_{2}}}\bigg(2\pi \hspace{0.1667em}\frac{u}{\sigma }\bigg),\]
$u\in {\mathbb{Z}^{2}}$. The truncation error ${E_{N;f}}(x)$ can be divided into four series of the type
(4.6)
\[\begin{aligned}{}{I_{\nu }}(x)& =\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}|{u_{2}}|\geqslant {N_{2}}}}\bigg[{\alpha _{\nu }}(u){\bigg({x_{1}}-\frac{2\pi }{{\sigma _{1}}}{u_{1}}\bigg)^{{\nu _{1}}}}{\bigg({x_{2}}-\frac{2\pi }{{\sigma _{2}}}{u_{2}}\bigg)^{{\nu _{2}}}}\mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{1}}}{2\pi }{x_{1}}-{u_{1}}\bigg)\\ {} & \hspace{1em}\times \mathrm{sinc}{\hspace{0.1667em}^{2}}\bigg(\frac{{\sigma _{2}}}{2\pi }{x_{2}}-{u_{2}}\bigg)\bigg].\end{aligned}\](4.7)
\[\begin{aligned}{}\big|{I_{\nu }}(x)\big|& \leqslant {\bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},|{u_{2}}|\geqslant {N_{2}}}}{\big|{\alpha _{\nu }}(u)\big|^{\omega }}\bigg)^{1/\omega }}\bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}|{u_{2}}|\geqslant {N_{2}}}}{\bigg|{x_{1}}-\frac{2\pi }{{\sigma _{1}}}{u_{1}}\bigg|^{s{\nu _{1}}}}\bigg|{x_{2}}-\frac{2\pi }{{\sigma _{2}}}{u_{2}}\bigg|{^{s{\nu _{2}}}}\\ {} & \hspace{1em}\times {\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{1}}}{2\pi }{x_{1}}-{u_{1}}\bigg)\bigg|^{2s}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{2}}}{2\pi }{x_{2}}-{u_{2}}\bigg)\bigg|^{2s}}\bigg){^{1/s}}\end{aligned}\]We claim that
for all $x\in {\mathbb{R}^{2}}$. Indeed,
(4.8)
\[\begin{aligned}{}& \bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}|{u_{2}}|\geqslant {N_{2}}}}{\bigg|{x_{1}}-\frac{2\pi }{{\sigma _{1}}}{u_{1}}\bigg|^{s{\nu _{1}}}}\bigg|{x_{2}}-\frac{2\pi }{{\sigma _{2}}}{u_{2}}\bigg|{^{s{\nu _{2}}}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{1}}}{2\pi }{x_{1}}-{u_{1}}\bigg)\bigg|^{2s}}\bigg|\\ {} & \times \mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{2}}}{2\pi }{x_{2}}-{u_{2}}\bigg)\bigg|{^{2s}}\bigg){^{1/s}}\leqslant \frac{{2^{{\nu _{1}}+{\nu _{2}}}}}{{\sigma _{1}^{{\nu _{1}}}}{\sigma _{2}^{{\nu _{2}}}}}{\bigg({s^{2}}\frac{(2-{\nu _{1}})(2-{\nu _{2}})}{[(2-{\nu _{1}})s-1)][(2-{\nu _{2}})s-1]}\bigg)^{1/s}}\end{aligned}\]
\[ \bigg|{x_{j}}-\frac{2\pi }{{\sigma _{j}}}{u_{j}}\bigg|{^{s{\nu _{j}}}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{j}}}{2\pi }{x_{j}}-{u_{j}}\bigg)\bigg|^{2s}}\leqslant {\bigg(\frac{2}{{\sigma _{j}}}\bigg)^{s{\nu _{j}}}}{\bigg|\mathrm{sinc}\hspace{0.1667em}\bigg(\frac{{\sigma _{j}}}{2\pi }{x_{j}}-{u_{j}}\bigg)\bigg|^{(2-{\nu _{j}})s}},\]
$j=1,2$, $x\in {\mathbb{R}^{2}}$. Therefore, by a similar argument as is used in the proof of (3.36), we obtain (4.8).Now we estimate the first series in (4.6). Here we have four cases. Start with ${\nu _{1}}={\nu _{2}}=0$. Then
$u\in {\mathbb{Z}^{2}}$. Hence, using (4.3), we get
Since
Thus,
(4.9)
\[ \sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}{\big|{\alpha _{0,0}}(u)\big|^{\omega }}\leqslant {c_{f}^{\omega }}\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}\frac{1}{|2\pi {u_{1}}/{\sigma _{1}}{|^{\omega }}|2\pi {u_{2}}/{\sigma _{2}}{|^{\omega }}}.\]
\[ \sum \limits_{\substack{k\in \mathbb{Z}\\ {} k\geqslant N>0}}\frac{1}{|2\pi k/\sigma {|^{\omega }}}\leqslant {\bigg(\frac{\sigma }{2\pi }\bigg)^{\omega }}{\int _{N}^{\infty }}\frac{1}{{t^{\omega }}}\hspace{0.1667em}dt={\bigg(\frac{\sigma }{2\pi }\bigg)^{\omega }}\frac{\omega -1}{{N^{\omega -1}}},\]
it follows from (4.9) that
(4.10)
\[ \sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}{\big|{\alpha _{0,0}}(u)\big|^{\omega }}\leqslant {\bigg(\frac{{c_{f}}{\sigma _{1}}{\sigma _{2}}}{4{\pi ^{2}}}\bigg)^{\omega }}\frac{{(\omega -1)^{2}}}{{({N_{1}}{N_{2}})^{\omega -1}}}.\](4.11)
\[ {\bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}|{u_{2}}|\geqslant {N_{2}}}}{\big|{\alpha _{0,0}}(u)\big|^{\omega }}\bigg)^{1/\omega }}\leqslant \frac{{c_{f}}{\sigma _{1}}{\sigma _{2}}}{4{\pi ^{2}}}\frac{{(2{(\omega -1)^{2}})^{1/\omega }}}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\]Next, assume that ${\nu _{1}}=1$ and ${\nu _{2}}=0$. Then
\[ {\alpha _{1,0}}(u)=\frac{\partial f}{\partial {x_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg),\hspace{1em}u\in {\mathbb{Z}^{2}}.\]
We shall estimate these ${\alpha _{1,0}}$. For this purpose let us define the function
$x\in {\mathbb{R}^{2}}$. According to (4.3), it is in ${B_{{Q_{\sigma }^{2}}}^{\infty }}$ and
Given any nonnegative multi-index $\nu \in {\mathbb{Z}^{2}}$ with ${\nu _{1}},{\nu _{2}}\in \{0;1\}$, we get by Bernstein’s inequality in ${B_{{Q_{\sigma }^{2}}}^{\infty }}$ (see Nikol’skii, 1975; p. 116) that
for all $x\in {\mathbb{R}^{2}}$. Now ${\nu _{1}}=1$ and ${\nu _{2}}=0$. Hence, (4.13) implies that
for all $x\in {\mathbb{R}^{2}}$. Therefore, we have that
Since
A similar argument shows that
Assume now that ${\nu _{1}}={\nu _{2}}=1$. Then
$x\in {\mathbb{R}^{2}}$. Since
Now, combining (4.7), (4.8), (4.11), (4.16), (4.16) and (4.19) with the estimate
Finally, since
\[ \bigg|{x_{2}}f(x)+{x_{1}}{x_{2}}\frac{\partial f}{\partial {x_{1}}}(x)\bigg|=\bigg|\frac{\partial F}{\partial {x_{1}}}(x)\bigg|\leqslant {c_{f}}{\sigma _{1}}.\]
Hence, using (4.3), we get that
(4.14)
\[ \bigg|\frac{\partial f}{\partial {x_{1}}}(x)\bigg|\leqslant \frac{{c_{f}}{\sigma _{1}}}{|{x_{1}}{x_{2}}|}+\frac{|f(x)|}{|{x_{1}}|}\leqslant \frac{{c_{f}}}{|{x_{1}}{x_{2}}|}\bigg({\sigma _{1}}+\frac{1}{|{x_{1}}|}\bigg)\](4.15)
\[\begin{aligned}{}& \sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}{\big|{\alpha _{1,0}}(u)\big|^{\omega }}\\ {} & \hspace{1em}\leqslant {c_{f}^{\omega }}\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}\bigg[\frac{1}{|2\pi {u_{1}}/{\sigma _{1}}{|^{\omega }}|2\pi {u_{2}}/{\sigma _{2}}{|^{\omega }}}{\bigg({\sigma _{1}}+\frac{1}{2\pi {u_{1}}/{\sigma _{1}}}\bigg)^{\omega }}\bigg].\end{aligned}\]
\[ \underset{\substack{{u_{1}}\in \mathbb{Z}\\ {} {u_{1}}\geqslant {N_{1}}}}{\sup }\bigg({\sigma _{1}}+\frac{1}{2\pi {u_{1}}/{\sigma _{1}}}\bigg)\leqslant \bigg({\sigma _{1}}+\frac{{\sigma _{1}}}{2\pi {N_{1}}}\bigg),\]
it follows from (4.15) that
\[ \sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}{\big|{\alpha _{1,0}}(u)\big|^{\omega }}\leqslant {c_{f}^{\omega }}{\bigg({\sigma _{1}}+\frac{{\sigma _{1}}}{2\pi {N_{1}}}\bigg)^{\omega }}\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}\frac{1}{|2\pi {u_{1}}/{\sigma _{1}}{|^{\omega }}|2\pi {u_{2}}/{\sigma _{2}}{|^{\omega }}}.\]
Finally, with (4.9), (4.10) and (4.11) in mind, we obtain that
(4.16)
\[ \bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}\big|{u_{2}}|\geqslant {N_{2}}}}\big|{\alpha _{1,0}}(u){|^{\omega }}\bigg){^{1/\omega }}\leqslant \frac{{c_{f}}{\sigma _{1}^{2}}{\sigma _{2}}}{4{\pi ^{2}}}\bigg(1+\frac{1}{2\pi {N_{1}}}\bigg)\frac{{(2{(\omega -1)^{2}})^{1/\omega }}}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\](4.17)
\[ {\bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}|{u_{2}}|\geqslant {N_{2}}}}|{\alpha _{0,1}}(u){|^{\omega }}\bigg)^{1/\omega }}\leqslant \frac{{c_{f}}{\sigma _{1}}{\sigma _{2}^{2}}}{4{\pi ^{2}}}\bigg(1+\frac{1}{2\pi {N_{2}}}\bigg)\frac{{(2{(\omega -1)^{2}})^{1/\omega }}}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\]
\[ {\alpha _{1,1}}(u)=\frac{{\partial ^{2}}f}{\partial {x_{1}}\partial {x_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg),\hspace{1em}u\in {\mathbb{Z}^{2}}.\]
Now (4.13) implies that
\[ \bigg|f(x)+{x_{1}}\frac{\partial f}{\partial {x_{1}}}(x)+{x_{2}}\frac{\partial f}{\partial {x_{2}}}(x)+{x_{1}}{x_{2}}\frac{{\partial ^{2}}f}{\partial {x_{1}}\partial {x_{2}}}(x)\bigg|=\bigg|\frac{\partial {F^{2}}}{\partial {x_{1}}\partial {x_{2}}}(x)\bigg|\leqslant {c_{f}}{\sigma _{1}}{\sigma _{2}}\]
for all $x\in {\mathbb{R}^{2}}$. Therefore, using (4.3) and (4.14), we have that
(4.18)
\[\begin{aligned}{}\bigg|\frac{{\partial ^{2}}f}{\partial {x_{1}}\partial {x_{2}}}(x)\bigg|& \leqslant \frac{{c_{f}}{\sigma _{1}}{\sigma _{2}}}{|{x_{1}}||{x_{2}}|}+\frac{|f(x)|}{|{x_{1}}||{x_{2}}|}+\frac{1}{|{x_{2}}|}\bigg|\frac{\partial f}{\partial {x_{1}}}(x)\bigg|+\frac{1}{|{x_{1}}|}\bigg|\frac{\partial f}{\partial {x_{2}}}(x)\bigg|\\ {} & \leqslant \frac{{c_{f}}}{|{x_{1}}||{x_{2}}|}\bigg({\sigma _{1}}{\sigma _{2}}+\frac{{\sigma _{1}}}{|{x_{2}}|}+\frac{{\sigma _{2}}}{|{x_{1}}|}+\frac{3}{|{x_{1}}||{x_{2}}|}\bigg),\end{aligned}\]
\[\begin{aligned}{}& \underset{\substack{{u_{1}}\in \mathbb{Z}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{2.5pt}{u_{2}}\geqslant {N_{2}}}}{\sup }\bigg({\sigma _{1}}{\sigma _{2}}+\frac{{\sigma _{1}}}{|2\pi {u_{2}}/{\sigma _{2}}|}+\frac{{\sigma _{2}}}{|2\pi {u_{1}}/{\sigma _{1}}|}+\frac{3}{|2\pi {u_{1}}/{\sigma _{1}}||2\pi {u_{2}}/{\sigma _{2}}|}\bigg)\\ {} & \hspace{1em}\leqslant {\sigma _{1}}{\sigma _{2}}\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg),\end{aligned}\]
we obtain from (4.18) that
\[\begin{aligned}{}& \sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}{\big|{\alpha _{1,1}}(u)\big|^{\omega }}=\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}{\bigg|\frac{{\partial ^{2}}f}{\partial {x_{1}}\partial {x_{1}}}\bigg(2\pi \frac{u}{\sigma }\bigg)\bigg|^{\omega }}\\ {} & \hspace{1em}\leqslant {({c_{f}}{\sigma _{1}}{\sigma _{2}})^{\omega }}{\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg)^{\omega }}\\ {} & \hspace{1em}\times \sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} {u_{1}}\geqslant {N_{1}},\hspace{0.1667em}{u_{2}}\geqslant {N_{2}}}}\frac{1}{|2\pi {u_{1}}/{\sigma _{1}}{|^{\omega }}|2\pi {u_{2}}/{\sigma _{2}}{|^{\omega }}}\\ {} & \hspace{1em}\leqslant {\bigg(\frac{{c_{f}}{\sigma _{1}^{2}}{\sigma _{2}^{2}}}{4{\pi ^{2}}}\bigg)^{\omega }}{\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg)^{\omega }}\frac{{(\omega -1)^{2}}}{{({N_{1}}{N_{2}})^{\omega -1}}}.\end{aligned}\]
Therefore,
(4.19)
\[\begin{aligned}{}{\bigg(\sum \limits_{\substack{u\in {\mathbb{Z}^{2}}\\ {} |{u_{1}}|\geqslant {N_{1}},\hspace{0.1667em}|{u_{2}}|\geqslant {N_{2}}}}{\big|{\alpha _{1,1}}(u)\big|^{\omega }}\bigg)^{1/\omega }}& \leqslant \frac{{c_{f}}{\sigma _{1}^{2}}{\sigma _{2}^{2}}}{4{\pi ^{2}}}\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg)\\ {} & \hspace{1em}\times \frac{{(2{(\omega -1)^{2}})^{1/\omega }}}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\end{aligned}\]
\[ \big|{E_{f;N}}(x)\big|\leqslant \sum \limits_{\nu =({\nu _{1}},{\nu _{2}})\hspace{0.1667em}{\nu _{1}},{\nu _{2}}\in \{0;1\}}\big|{I_{\nu }}(x)\big|,\]
$x\in {\mathbb{R}^{2}}$, we have that
(4.20)
\[\begin{aligned}{}{e_{N;f}}& \leqslant \underset{x\in {\mathbb{R}^{2}}}{\sup }\big|{E_{f;\hspace{0.1667em}N}}(x)\big|\leqslant \frac{{c_{f}}{\sigma _{1}}{\sigma _{2}}}{4{\pi ^{2}}}\bigg[{\bigg(\frac{4{s^{2}}}{{(2s-1)^{2}}}\bigg)^{1/s}}+2{\bigg(\frac{2{s^{2}}}{(s-1)(2s-1)}\bigg)^{1/s}}\\ {} & \hspace{1em}\times \bigg(2+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}\bigg)+4{\bigg(\frac{{s^{2}}}{{(s-1)^{2}}}\bigg)^{1/s}}\\ {} & \hspace{1em}\times \bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg)\bigg]\frac{{(2{(\omega -1)^{2}})^{1/\omega }}}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\end{aligned}\]
\[ \frac{s}{s-1}=\omega \hspace{1em}\text{and}\hspace{1em}\frac{2s}{2s-1}=\frac{2\omega }{\omega +1},\]
(4.20) implies (4.4). This proves our theorem. □Proof of Corollary 2.
Using the following elementary inequality $2\omega /(2\omega +1)<\omega $ that holds for each $\omega >1$, we get from (4.4) that
\[\begin{aligned}{}{e_{f;N}}& \leqslant \frac{{c_{f}}{\sigma _{1}}{\sigma _{2}}}{4{\pi ^{2}}}{\omega ^{2(1-/\omega )}}\\ {} & \hspace{1em}\times \bigg[1+2\bigg(2+\frac{1}{2\pi {N_{1}}}\bigg)+4\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\bigg)\bigg]\\ {} & \hspace{1em}\times {\big(2{(\omega -1)^{2}}\big)^{1/\omega }}\frac{1}{{({N_{1}}{N_{2}})^{1-1/\omega }}}.\end{aligned}\]
Now since ${N_{1}},{N_{2}}\geqslant 1$, a direct estimation gives (4.5). Corollary 2 is proved. □5 A Numerical Analysis of the Truncation Error
In this section, we comment the estimates (4.4) and (4.5) for the uniformly truncated error ${e_{N;f}}$. We also give two numerical examples of ${e_{N;f}}$ by tables.
The estimates (4.4) and (4.5) depend on the signal f magnitude ${c_{f}}$, the highest frequencies $\sigma =({\sigma _{1}},{\sigma _{2}})$ of f, the numbers ${N_{1}}$ and ${N_{2}}$ of samples that are used in the partial sum (4.1), and a number ω which we can choose free. Now we will briefly comment on their action on ${e_{f;N}}$.
Magnitude ${\boldsymbol{c}_{\boldsymbol{f}}}$.
If $f\in {B_{{Q_{\sigma }^{2}}}^{p}}$, $1\leqslant p<\infty $, satisfies (4.3), then the function $F(x)={x_{1}}{x_{2}}f(x)$ is in ${B_{{Q_{\sigma }^{2}}}^{\infty }}$. Hence, we can choose ${c_{f}}$ equal to the maximal amplitude of F in the domain $\{x\in {\mathbb{R}^{2}}:|{x_{1}}|\geqslant {N_{1}},|{x_{2}}|\geqslant {N_{2}}\}$, i.e.
However, instead of this choice for ${c_{f}}$, we can associate ${c_{f}}$ with certain function relating to the p -energy of signal f. Indeed, if f satisfies (4.3), then we can take
where ${\Sigma _{p;N}}(f)$ is a part of the p-energy of f supported in $\{x\in {\mathbb{R}^{2}}:\hspace{2.5pt}|{x_{1}}|\geqslant {N_{1}},\hspace{2.5pt}|{x_{2}}|\geqslant {N_{2}}\}$, i.e.
\[ {{\Sigma _{p;N}}(f)=\bigg({\int _{|{x_{1}}|\geqslant {N_{1}},|{x_{2}}|\geqslant {N_{2}}}}{\big|f(x)\big|^{p}}\hspace{0.1667em}dx\bigg)^{1/p}}.\]
Therefore, we shall calculate below only the quantity ${e_{N;f}}/{c_{f}}$ instead of the usual truncated error ${e_{N;f}}$.
Frequencies $\boldsymbol{\sigma }\mathbf{=}\boldsymbol{(}{\boldsymbol{\sigma }_{\mathbf{1}}}\mathbf{,}{\boldsymbol{\sigma }_{\mathbf{2}}}\boldsymbol{)}$.
We recall that humans can hear a range of frequencies from 20 to 20,000 Hz, i.e. we can hear signals which have 20-20000 full cicles per second. On the other hand, in the case of smartphones (cell phones) the frequency band ranges from approximately 300 Hz to 3400 Hz. Cutting out the other frequencies reduced the amount of information that would have to be transmitted and reduced the Nyquist frequency. Consequently, our smartphones have such low quality, i.e. they are not picking up all the frequencies that make up our voices or that we can hear. For this reason, we shall calculate below the estimates of ${e_{N;f}}/{c_{f}}$ in the case ${\sigma _{1}}={\sigma _{2}}=3400$ Hz.
The numbers of samples ${\boldsymbol{N}_{\mathbf{1}}}$ and ${\boldsymbol{N}_{\mathbf{2}}}$.
Obviously, by getting higher values of ${N_{1}}$ and ${N_{2}}$, we get a better estimate of ${e_{N}}(f)$ and ${e_{N}}(f)/{c_{f}}$. For example, if ${N_{1}}$ and ${N_{2}}$ are such that $|{e_{N}}(f)/{c_{f}}|<0.01$, then we can understand that the difference $|f-{f_{N}}|$ is less than 1 percent of the maximal amplitude ${c_{f}}$ of f. Below we calculate the estimates of ${e_{N}}(f)/{c_{f}}$ for different values of ${N_{1}}$ and ${N_{2}}$ and the same values of other parameters σ and ω.
A parameter $\boldsymbol{\omega }$.
From the proof of Theorem 3 follows that we can choose the value of ω in $(1,\infty )$ free, since ω is only the technical parameter that was used in the proof of this theorem. However, a preliminary analysis of the action of ω on ${e_{N;f}}$ can be done. Indeed, let us define
\[\begin{aligned}{}{A_{N,\omega }}(f)& =\bigg[{\bigg(\frac{4{\omega ^{2}}}{{(\omega +1)^{2}}}\bigg)^{1-1/\omega }}+2{\bigg(\frac{2{\omega ^{2}}}{\omega +1}\bigg)^{1-1/\omega }}\bigg(2+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}\bigg)\\ {} & \hspace{1em}+4{\omega ^{2(1-1/\omega )}}\bigg(1+\frac{1}{2\pi {N_{1}}}+\frac{1}{2\pi {N_{2}}}+\frac{3}{4{\pi ^{2}}{N_{1}}{N_{2}}}\big)\bigg]{\big(2{(\omega -1)^{2}}\big)^{1/\omega }}\end{aligned}\]
and
Then the right-hand side of (4.4) is equal to
It is obvious that for given ${N_{1}}$ and ${N_{2}}$, ${B_{N}}(f)$ can be made smaller by taking the values of ω close to infinity. On the other hand, it is easy to check that
Therefore, the choice of optimized values of ω for the best estimates in (4.4) is a distinct and nontrivial problem. Here we give two numerical examples for estimate of ${e_{N;f}}$.Table 1
Estimatesof ${e_{N;f}}/{c_{f}}$ in (4.4) with ${N_{1}}={N_{2}}=n$ and with frequencies up to ${\sigma _{1}}={\sigma _{2}}=3400$ Hz.
| $\omega \setminus n$ | $2\cdot {10^{4}}$ | $5\cdot {10^{4}}$ | ${10^{5}}$ | $5\cdot {10^{5}}$ | ${10^{6}}$ | $2\cdot {10^{6}}$ |
| 1,25 | 10231,9 | 7092,18 | 5374,85 | 2823,44 | 2139,76 | 1621.64 |
| 2 | 328,501 | 131,399 | 65,6996 | 13,1399 | 6,56994 | 3.28497 |
| 4 | 10,6876 | 2,70375 | 0,95592 | $8,5499\cdot {10^{-2}}$ | $3,0229\cdot {10^{-2}}$ | $10,6874\cdot {10^{-3}}$ |
| 8 | 3,02323 | 0,60824 | 0,18083 | $1,0816\cdot {10^{-2}}$ | $0,3217\cdot {10^{-2}}$ | $0,9560\cdot {10^{-3}}$ |
| 12 | 2,72504 | 0,50794 | 0,14254 | $0,7455\cdot {10^{-2}}$ | $0,2092\cdot {10^{-2}}$ | $0,5871\cdot {10^{-3}}$ |
| 16 | 3,05007 | 0,54722 | 0,14919 | $0,7297\cdot {10^{-2}}$ | $0,1989\cdot {10^{-2}}$ | $0,5424\cdot {10^{-3}}$ |
| 20 | 3,60504 | 0,63215 | 0,16938 | $0,7958\cdot {10^{-2}}$ | $0,2132\cdot {10^{-2}}$ | $0,5714\cdot {10^{-3}}$ |
| 50 | 11,4879 | 1,90666 | 0,49006 | $2,0906\cdot {10^{-2}}$ | $0,5373\cdot {10^{-2}}$ | $1,3812\cdot {10^{-3}}$ |
Table 2
Estimatesof ${e_{N;f}}/{c_{f}}$ in (4.5) with ${N_{1}}={N_{2}}=n$ and with frequencies up to ${\sigma _{1}}={\sigma _{2}}=3400$ Hz.
| $\omega \setminus n$ | $2\cdot {10^{4}}$ | $5\cdot {10^{4}}$ | ${10^{5}}$ | $5\cdot {10^{5}}$ | ${10^{6}}$ | $2\cdot {10^{6}}$ |
| 1,25 | 13856,6 | 9604,67 | 7278,96 | 3823,68 | 2897,80 | 1153,64 |
| 2 | 496,926 | 198,771 | 99,3853 | 19,8771 | 9,93853 | 0,99385 |
| 4 | 20,4711 | 5,17884 | 1,83099 | $16,377\cdot {10^{-2}}$ | $5,7912\cdot {10^{-2}}$ | $20,471\cdot {10^{-3}}$ |
| 8 | 7,05162 | 1,41872 | 0,42179 | $2,5229\cdot {10^{-2}}$ | $0,7501\cdot {10^{-2}}$ | $2,2299\cdot {10^{-3}}$ |
| 12 | 6,88186 | 1,28277 | 0,35996 | $1,8829\cdot {10^{-2}}$ | $0,5284\cdot {10^{-2}}$ | $1,4827\cdot {10^{-3}}$ |
| 16 | 8,03339 | 1.44132 | 0.39294 | $1,9220\cdot {10^{-2}}$ | $0,5239\cdot {10^{-2}}$ | $1,4286\cdot {10^{-3}}$ |
| 20 | 9,74328 | 1,70852 | 0,45778 | $2,1510\cdot {10^{-2}}$ | $0,5763\cdot {10^{-2}}$ | $1,5442\cdot {10^{-3}}$ |
| 50 | 33,0651 | 5,48788 | 1,41054 | $6,0174\cdot {10^{-2}}$ | $1,5466\cdot {10^{-2}}$ | $3,9752\cdot {10^{-3}}$ |
Those tables give us certain knowledge in the case of smartphones, where the frequency band ranges up to 3400 Hz. For example, assume that we want to know what quantity $N=({N_{1}},{N_{2}})$ of sample values of a signal f and its derivatives in (4.1) guarantees us that $|f-{f_{N}}|$ is less than 1 percent of the maximal amplitude ${c_{f}}$. In Table 1 we see that that is enough to take ${N_{1}},{N_{2}}\geqslant 5\cdot {10^{5}}$ if the parameter ω ranges from 12 to 20.
