Shannon’s Sampling Theorem for Bandlimited Signals and Their Hilbert Transform, Boas-Type Formulae for Higher Order Derivatives—The Aliasing Error Involved by Their Extensions from Bandlimited to Non-Bandlimited Signals ^†

Abstract

The paper is concerned with Shannon sampling reconstruction formulae of derivatives of bandlimited signals as well as of derivatives of their Hilbert transform, and their application to Boas-type formulae for higher order derivatives. The essential aim is to extend these results to non-bandlimited signals. Basic is the fact that by these extensions aliasing error terms must now be added to the bandlimited reconstruction formulae. These errors will be estimated in terms of the distance functional just introduced by the authors for the extensions of basic relations valid for bandlimited functions to larger function spaces. This approach can be regarded as a mathematical foundation of aliasing error analysis of many applications.

1. Introduction

According to Shannon’s sampling theorem, a signal $f\in B_{\sigma }^2$, et al., a bandlimited signal (see Section 2 for the exact definition) can be completely reconstructed in terms of samples, equidistantly spaced apart the real axis $\mathbb{R}$. Likewise one can reconstruct the derivatives $f^{\left(s\right)}$ or the Hilbert transform $\tilde{f}$ and its derivative ${\tilde{f}}^{\left(s\right)}=\widetilde{f^{\left(s\right)}}$ just in terms of samples of f. Almost immediate applications of these results are Boas-type formulae for arbitrary order derivatives of such signals as well as of their Hilbert transforms, used in numerical analysis for computation of those derivatives.

The essential aim is to extend these results to non-bandlimited signals, in fact to the largest class, denoted by $F^{s,2}$ below, for which the Fourier transform, the basic tool of this approach, can be employed effectively. Basic is the fact that by these extensions the exact reconstruction formulae have to be equipped with remainder (error) terms. The errors involved will be measured in terms of the distance of f from the space $B_{\sigma }^2$ of bandlimited function, a concept just introduced by the authors for the extensions of basic relations for Bernstein spaces $B_{\sigma }^2$ to larger function spaces.

To become familiar with the new approach, the classical Shannon sampling theorem for derivatives of $B_{\sigma }^2$-signals, namely Theorem 3.1 below, can be extended to the larger space $F^{s,2}$ by adding the remainder term $R_{s,\sigma }^{\text{WKS}}f$ of (6) to the expansion for bandlimited signals (5). This remainder, the aliasing error, can be estimated (cf. (7)) by:

$$\left|\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)\right|\le \sqrt{\frac{2}{\pi }}{\int }_{\left|v\right|\ge \sigma }\left|v^s\widehat{f}\left(v\right)\right|dv=\sqrt{\frac{2}{\pi }}{dist}_1(f^{\left(s\right)},B_{\sigma }^2)$$

The integral on the right-hand side is the above mentioned distance of $f^{\left(s\right)}$ from the space $B_{\sigma }^2$. Its behaviour depends on the smoothness properties of f, and was extensively studied in [1]. If f is bandlimited to $[-\sigma ,\sigma ]$, then it vanishes, as to be expected. Otherwise, if $f\in F^{s,2}$, the largest space to be considered in this context, then this distance tends to zero for $\sigma \to \infty$. Furthermore, if one restricts the matter to certain subspaces of $F^{s,2}$, one can obtain refined estimates, including unusually sharp rates of approximation; see Corollaries 3.5–3.7. In particular, if f belongs to a Lipschitz or Sobolev space, then $R_{s,\sigma }^{\text{WKS}}f$ decays like a negative power of σ, and if f belongs to a Hardy space, then it decays exponentially.

Similarly, to the sampling reconstruction for the derivatives of the Hilbert transform of $B_{\sigma }^2$-signals, thus for ${(d/dt)}^{\left(s\right)}\tilde{f}=H{(d/dt)}^{\left(s\right)}f$, namely (12), the remainder term $\left({\tilde{R}}_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)$ of (14), must be added in order to obtain its extension (13) to $F^{s,2}$. The remainder $\left({\tilde{R}}_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)$ can be estimated in the same way as $R_{s,\sigma }^{\text{WKS}}f$ above.

The paper’s chief point is to generalize the Boas formula for the first derivative, namely (16), to higher order ones, odd order given by (25), even orders by (26). Thus, e.g., the derivative $f^{(2s-1)}\left(t\right)$ is expressed in terms of the signal values $f(t+\pi (k-1/2)/\sigma )$, which depend however on $t\in \mathbb{R}$. The proof is unusually simple, one just sets $\sigma =\pi$ and $t=1/2$ in Theorem 3.1 and applies the resulting formula to the function $g\left(u\right):=f(u\pi /\sigma +t-\pi /\sigma )$.

For the first major result, Theorem 5.1, the extension of (25) to the larger class $F^{s,2}$, formula (25) has to be equipped with the aliasing error term $R_{2s-1,\sigma }^{\text{Boas}}f$ of (38), which can be estimated in the same fashion as the error $R_{s,\sigma }^{\text{WKS}}f$ above, which again tends to zero for $\sigma \to \infty$.

A basic inequality in the theory of functions of exponential type is Bernstein’s inequality for the derivatives $f^{\left(s\right)}$ for bandlimited f in the finite energy norm or in $L^p\left(\mathbb{R}\right)$, $1\le p\le \infty$. This result is generalized in Section 6 to non-bandlimited signals, the aliasing error being (52) in the case of odd order derivatives and (53) for even ones.

The active field of Landau–Kolmogorov inequalities in our situation is handled in Section 7. Finally, Boas-type formulae for the Hilbert transform are left to Section 8.

2. Notation and Preliminary Results

As usual, $L^p\left(\mathbb{R}\right)$ is the space of all real or complex-valued function f that are Lebesgue integrable to the pth power over the real axis $\mathbb{R}$, endowed with the norm ${\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}:={\left\{{\int }_{\mathbb{R}}{\left|f\left(u\right)\right|}^{p}du\right\}}^{1/p}$, $1\le p<\infty$, and $L^{\infty }\left(\mathbb{R}\right)$ is the space of all measurable essentially bounded functions f with the norm ${\parallel f\parallel }_{L^{\infty }\left(\mathbb{R}\right)}:={ess\; sup}_{u\in \mathbb{R}}\left|f\left(u\right)\right|$. By $C\left(\mathbb{R}\right)$ we denote the class of all functions $f:\mathbb{R}⟶\mathbb{C}$ that are uniformly continuous and bounded on $\mathbb{R}$, where ${\parallel f\parallel }_{C\left(\mathbb{R}\right)}:={sup}_{u\in \mathbb{R}}\left|f\left(u\right)\right|$.

The Fourier transform $\widehat{f}$ of $f\in L^p\left(\mathbb{R}\right)$, $1\le p\le 2$, is defined by:

$$\begin{array}{c}\widehat{f}\left(v\right):=\frac{1}{\sqrt{2\pi }}{\int }_{\mathbb{R}}f\left(u\right)e^{-ivu}du(p=1)\\ \underset{R\to \infty }{lim}{∥\widehat{f}\left(v\right)-\frac{1}{\sqrt{2\pi }}{\int }_{-R}^{R}f\left(u\right)e^{-ivu}du∥}_{L^{p^{\prime }}\left(\mathbb{R}\right)}=0(1<p\le 2)\end{array}$$

where $1/p+1/p^{\prime }=1$. If $f\in L^p\left(\mathbb{R}\right)$, $1\le p\le 2$, is such that $\widehat{f}\in L^1\left(\mathbb{R}\right)$, then there holds the Fourier inversion formula:

$$f\left(t\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\mathbb{R}}\widehat{f}\left(v\right)e^{ivt}dv$$

(1)

at each point $t\in \mathbb{R}$ where f is continuous; see [2, Proposition 5.1.10, 5.2.16].

For $\sigma >0$ and $1\le p\le \infty$, let $B_{\sigma }^p$ the Bernstein space comprising all entire functions (thus arbitrary often differentiable) of exponential type σ, (i.e., $\left|f\left(z\right)\right|\le {\parallel f\parallel }_{C\left(\mathbb{R}\right)}exp\left(\sigma \right|y\left|\right)$ for $z=x+iy\in \mathbb{C}),$, which belong to $L^p\left(\mathbb{R}\right)$ when restricted to the real axis $\mathbb{R}$. There holds:

$$B_{\sigma }^1\subset B_{\sigma }^{p_1}\subset B_{\sigma }^{p_2}\subset B_{\sigma }^{\infty }(1\le p_1\le p_2\le \infty )$$

According to the Paley–Wiener theorem (cf. [3, p. 103]), a signal f belongs to $B_{\sigma }^p$; $1\le p\le 2$, if and only if it is bandlimited to $[-\sigma ,\sigma ]$, i.e., its Fourier transform vanishes outside $[-\sigma ,\sigma ]$. The same holds true for $p>2$, if the Fourier transform is understood in the distributional sense. Note that a bandlimited signal cannot be simultaneously duration limited.

The sinc function is defined by:

$$sincz:=\left\{\begin{array}{cc}{\displaystyle \frac{sin\left(\pi z\right)}{\pi z}},\hfill & z\in \mathbb{C}\backslash \left\{0\right\}\hfill \\ 1,\hfill & z=0\hfill \end{array}\right.\widehat{sinc}\left(v\right)=\frac{1}{\sqrt{2\pi }}rect\left(v\right)(v\in \mathbb{R})$$

(2)

where the rectangle function is given by:

$$rect\left(v\right):=\left\{\begin{array}{cc}1,\hfill & \left|v\right|<\pi \hfill \\ \frac{1}{2},\hfill & \left|v\right|=\pi \hfill \\ 0,\hfill & \left|v\right|>\pi \hfill \end{array}\right.$$

Moreover, there holds by the Fourier inversion formula (1) (cf. [2, Section 5.2.4]):

$${sinc}^{\left(s\right)}\left(t\right)=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{\infty }\frac{rect\left(v\right)}{\sqrt{2\pi }}{\left(iv\right)}^s{e}^{ivt}dv=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{\left(iv\right)}^s{e}^{ivt}dv(t\in \mathbb{R};s\in {\mathbb{N}}_0)$$

(3)

2.1. A Hierarchy of Spaces Extending Bernstein Spaces

In order to extend the Bernstein space $B_{\sigma }^p$ to larger function spaces, we weaken the property of f being bandlimited, $\widehat{f}$ vanishes outside the compact interval $[-\sigma ,\sigma ]$, to $\widehat{f}$ belonging to $L^1\left(\mathbb{R}\right)$. This still guarantees the reconstructibility of f from its Fourier transform in terms of the inversion formula (1). To this end, we introduce the Fourier inversion classes:

$$F^{s,2}:=\left\{f\in L^2\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right):v^s\widehat{f}\left(v\right)\in L^1\left(\mathbb{R}\right)\right\}(s\in {\mathbb{N}}_0)$$

For $0\le s_1\le s_2$, there holds $F^{s_2,2}\subset F^{s_1,2}\subset F^{0,2}$. In addition to (1) one has for $f\in F^{s,2}$ that the derivative $f^{\left(s\right)}$ exists, belongs to $C\left(\mathbb{R}\right)$ and has the representation:

$$f^{\left(s\right)}\left(t\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\mathbb{R}}{\left(iv\right)}^s\widehat{f}\left(v\right)e^{ivt}dv(t\in \mathbb{R})$$

see [2, Proposition 5.1.17 with $f$ replaced by $\widehat{f}$].

The Fourier inversion classes are in some sense the most general spaces in which our studies can be performed. Spaces between $B_{\sigma }^2$ and $F^{s,2}$ are also of interest since they will yield smaller errors in the extended formulae.

The modulus of smoothness of $f\in L^2\left(\mathbb{R}\right)$ of order $r\in \mathbb{N}$ is defined by:

$${\omega }_r\left(f,\delta ,L^2\left(\mathbb{R}\right)\right):=\underset{\left|h\right|\le \delta }{sup}{\left\{{\int }_{-\infty }^{\infty }{\left|\sum _{j=0}^r{(-1)}^{r-j}\left(\genfrac{}{}{0pt}{}{r}{j}\right)f(u+jh)\right|}^{2}du\right\}}^{1/2}(\delta >0)$$

and the associated Lipschitz class for $0<\alpha \le r$ by:

$${Lip}_r(\alpha ,L^2\left(\mathbb{R}\right)):=\left\{f\in L^2\left(\mathbb{R}\right);{\omega }_r\left(f,\delta ,L^2\left(\mathbb{R}\right)\right)=\mathcal{O}\left({\delta }^{\alpha }\right),\delta \to 0+\right\}$$

The Sobolev space is given by:

$$W^{s,2}\left(\mathbb{R}\right):=\left\{f\in L^2\left(\mathbb{R}\right):v^s\widehat{f}\left(v\right)\in L^2\left(\mathbb{R}\right)\right\}(s\in {\mathbb{N}}_0)$$

and Hardy spaces for horizontal strips ${\mathcal{S}}_d:=\{z\in :|\Im z|<d\}$, $d>0$, by:

$$\begin{array}{c}{H}^2\left({\mathcal{S}}_d\right):=\left\{f:f\text{analytic}\text{on}{\mathcal{S}}_d,{∥f∥}_{H^2\left({\mathcal{S}}_d\right)}<\infty \right\}\\ {∥f∥}_{H^2\left({\mathcal{S}}_d\right)}:={\left\{\underset{0<y<d}{sup}{\int }_{\mathbb{R}}\frac{{\left|f(t-iy)\right|}^2+{\left|f(t+iy)\right|}^2}{2}dt\right\}}^{1/2}\end{array}$$

There hold the inclusions:

$$B_{\sigma }^2\subset H^2\left({\mathcal{S}}_d\right)\subset W^{s,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)\subset F^{s-1,2}\subset F^{0,2}\subset L^2\left(\mathbb{R}\right)(h>0;s\in \mathbb{N})$$

Here we recall some facts concerning the distance functional introduced in [1]. Let G be the vector space of all functions $f:\mathbb{R}⟶\mathbb{C}$ having the representation:

$$f\left(t\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\mathbb{R}}\varphi \left(v\right)e^{ivt}dv$$

(4)

for some $\varphi \in L^1\left(\mathbb{R}\right)\cap L^q\left(\mathbb{R}\right),1<q\le <\infty$. We define the distance of two functions $f_1,f_2\in G$ having representation (4) with ${\varphi }_1\text{ and }{\varphi }_2$, respectively, by:

$${dist}_q(f_1,f_2)={\parallel {\varphi }_1-{\varphi }_2\parallel }_{L^q\left(\mathbb{R}\right)}={\left\{{\int }_{\mathbb{R}}{|{\varphi }_1\left(v\right)-{\varphi }_2\left(v\right)|}^{q}dv\right\}}^{1/q}$$

and the distance of a functions $f\in G$ from the Bernstein space $B_{\sigma }^2$by:

$${dist}_q(f,B_{\sigma }^2):={inf}_{g\in B_{\sigma }^2}{dist}_q(f,g)$$

If $f\in F^{s,2}$, $s\in {\mathbb{N}}_0$, then the derivative $f^{\left(s\right)}$ belongs to G with $\varphi \left(v\right)={\left(iv\right)}^s\widehat{f}\left(v\right)$. Hence one has for $f_1,f_2\in F^{s,2}$ with ${\left(iv\right)}^s{\widehat{f}}_n\left(v\right)\in L^q\left(\mathbb{R}\right)$, $n=1,2$,

$${dist}_q\left(f_1^{\left(s\right)},f_2^{\left(s\right)}\right)={∥v^s\left(\widehat{f_1}-\widehat{f_2}\right)∥}_{L^q\left(\mathbb{R}\right)}$$

Moreover, one has for $f\in F^{s,2}$, $s\in {\mathbb{N}}_0$,

$${dist}_q(f^{\left(s\right)},B_{\sigma }^2)={\left\{{\int }_{\left|v\right|\ge \sigma }{\left|v^s\widehat{f}\left(v\right)\right|}^{q}dv\right\}}^{1/q}$$

Observe that for $f\in F^{0,2}$ and $q=2$ one has in view of the isometry of the Fourier transform that ${dist}_2(f_1,f_2)={\parallel f_1-f_2\parallel }_{L^2\left(\mathbb{R}\right)}$, i.e., ${dist}_2$ is the Euclidean distance.

The following estimates for the distance ${dist}_q(f^{\left(s\right)},B_{\sigma }^2)$ can be found in [1]. In each of the subsequent statements, c and γ with attached indices denote positive numbers that depend only on the indices but not on f and σ. They may be different at each occurrence.

Proposition 2.1. 

(a) Let $f\in F^{0,2}$ with $\widehat{f}\in L^q\left(\mathbb{R}\right)$, $1\le q<\infty$, and $r\in \mathbb{N}$. One has the derivative free estimate:

$$\begin{array}{c}\hfill {dist}_q(f,B_{\sigma }^2)\le c_{r,q}{\left\{{\int }_{\sigma }^{\infty }{v}^{-q/2}{\left[{\omega }_r(f,v^{-1},L^2\left(\mathbb{R}\right))\right]}^{q}dv\right\}}^{1/q}\end{array}$$

If also $f\in {Lip}_r(\alpha ,L^2\left(\mathbb{R}\right))$, $1/q-1/2<\alpha \le r$, then:

$${dist}_q(f,B_{\sigma }^2)=\mathcal{O}\left({\sigma }^{-\alpha -1/2+1/q}\right)(\sigma \to \infty )$$

If $f^{\left(s\right)}\in {Lip}_1(\alpha ,L^2\left(\mathbb{R}\right))$, $s\in \mathbb{N}$, $0<\alpha \le 1$, then:

$${dist}_q(f^{\left(s\right)},B_{\sigma }^2)=\mathcal{O}\left({\sigma }^{-\alpha -s-1/2+1/q}\right)(\sigma \to \infty )$$

(b) If $f\in F^{s,2}$ and $v^s\widehat{f}\left(v\right)\in L^q\left(\mathbb{R}\right)$, $1\le q<\infty$, $s\in {\mathbb{N}}_0$, then for each $r\in \mathbb{N}$,

$$\begin{array}{c}\hfill {dist}_q(f^{\left(s\right)},B_{\sigma }^2)\le c_{s,r,q}{\left\{{\int }_{\sigma }^{\infty }{v}^{-q/2}{\left[{\omega }_r(f^{\left(s\right)},v^{-1},L^2\left(\mathbb{R}\right))\right]}^{q}dv\right\}}^{1/q}=\mathcal{O}\left({\sigma }^{-\alpha -1/2+1/q}\right)(\sigma \to \infty )\end{array}$$

the latter holding provided $f^{\left(s\right)}\in {Lip}_r(\alpha ,L^2\left(\mathbb{R}\right))$, $1/q-1/2<\alpha \le r$.

Proposition 2.2. 

Let $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$. Then, for $1\le q<\infty$, $s\in \mathbb{N}$, and $\sigma >0$,

$$\begin{array}{cc}\hfill {dist}_q(f,B_{\sigma }^2)& \le c_{r,q}{\sigma }^{-r-1/2+1/q}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}\hfill \\ \hfill {dist}_q(f^{\left(s\right)},B_{\sigma }^2)& \le c_{r-s,q}{\sigma }^{-r-1/2+s+1/q}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}(r>s+1/q-1/2)\hfill \end{array}$$

Proposition 2.3. 

Let $f\in H^2\left({\mathcal{S}}_d\right)$. Then, for $1\le q<\infty$, $s\in \mathbb{N}$,

$$\begin{array}{cc}\hfill {dist}_q(f,B_{\sigma }^2)& \le {\gamma }_{d,q}{e}^{-d\sigma }{\parallel f\parallel }_{H^2\left({\mathcal{S}}_d\right)}(\sigma >0)\hfill \\ \hfill {dist}_q(f^{\left(s\right)},B_{\sigma }^2)& \le {\gamma }_{d,q,s}{\sigma }^s{e}^{-d\sigma }{\parallel f\parallel }_{H^2\left({\mathcal{S}}_d\right)}(\sigma \ge s/d)\hfill \end{array}$$

3. Extensions of Shannon’s Theorem to Non-Bandlimited Signals and Their Hilbert Transforms; Aliasing Errors

Let us consider the well-known Whittaker–Kotel’nikov–Shannon sampling theorem for reconstructing a bandlimited signal and its derivatives in terms of samples of just f, namely ((see e.g., [4,5], [6, p. 13], [7, p. 59]).

Theorem 3.1. 

Let $f\in B_{\sigma }^2$, then, for each $s\in \mathbb{N}$,

$$f^{\left(s\right)}\left(t\right)=\sum _{k=-\infty }^{\infty }f\left(\frac{k\pi }{\sigma }\right){\left(\frac{d}{dt}\right)}^{\left(s\right)}sinc\left(\frac{\sigma t}{\pi }-k\right)(t\in \mathbb{R})$$

(5)

the series converging absolutely and uniformly for $t\in \mathbb{R}$ as well as in $L^2\left(\mathbb{R}\right)$-norm.

This theorem can be extended to the larger space $F^{2,s}$ by adding a remainder or error term $R_{s,\sigma }^{\text{WKS}}f$, to the expansion (5). This leads to the following extended version of Theorem 3.1.

Theorem 3.2. 

Let $f\in F^{s,2}$ for some $s\in {\mathbb{N}}_0$, and let ${\theta }_s:\mathbb{R}⟶\mathbb{C}$ be the 2π-periodic signal, defined for $t\in \mathbb{R}$ by:

$${\theta }_s(t,v):=v^s{e}^{-itv}(-\pi <v\le \pi )$$

Then one has the approximate sampling representation:

$$f^{\left(s\right)}\left(t\right)=\sum _{k=-\infty }^{\infty }f\left(\frac{k\pi }{\sigma }\right){\left(\frac{d}{dt}\right)}^{\left(s\right)}sinc\left(\frac{\sigma t}{\pi }-k\right)+\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)(t\in \mathbb{R})$$

with the remainder $R_{s,\sigma }^{\text{WKS}}f$ given by:

$$\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right):=\frac{i^s}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }\widehat{f}\left(v\right)[v^s-{\left(\frac{\sigma }{\pi }\right)}^s{\theta }_s(t,\frac{v}{\sigma })]e^{ivt}dv(t\in \mathbb{R})$$

(6)

In particular, there holds:

$$\left|\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)\right|=\sqrt{\frac{2}{\pi }}{\int }_{\left|v\right|\ge \sigma }\left|v^s\widehat{f}\left(v\right)\right|dv=\sqrt{\frac{2}{\pi }}{\mathrm{dist}}_1(f^{\left(S\right)},B_{\sigma }^2)=o\left(1\right)(\sigma \to \infty )$$

(7)

The remainder $R_{s,\sigma }^{\text{WKS}}f$ is the so-called aliasing error occurring when a non-bandlimited signal is reconstructed in terms of the sampling theorem; see e.g., [8].

The case $s=0$ can be found already in [9] (see also [5,7,10]), [6, p. 15 ff]), where the remainder (6) was given in the equivalent form:

$$\left(R_{0,\sigma }^{\text{WKS}}f\right)\left(t\right):=\frac{1}{\sqrt{2\pi }}\sum _{k=-\infty }^{\infty }\left(1-e^{-i2k\sigma t}\right){\int }_{(2k-1)\sigma }^{(2k+1)\sigma }\widehat{f}\left(v\right)e^{ivt}dv(t\in \mathbb{R})$$

Theorem 3.2 for arbitrary $s\in \mathbb{N}$ is contained in [11], where it was deduced as a particular case of a unified approach to various sampling representations. This general approach also covers the following two results on the reconstruction of the Hilbert transform $\tilde{f}$ and its derivatives in terms of samples of f; see [5,11].

The Hilbert transform or conjugate function of $f\in L^2\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, defined by the Cauchy principal value:

$$\tilde{f}\left(t\right):=\underset{\delta \to 0+}{lim}\frac{1}{\pi }{\int }_{\left|u\right|>\delta }\frac{f(t-u)}{u}du=\mathrm{PV}\frac{1}{\pi }{\int }_{-\infty }^{\infty }\frac{f(t-u)}{u}du$$

plays an important role in electrical engineering (see [12, p. 267 ff.], [13]). For the Hilbert transform, also often called “one of the most important operators in analysis”, one may consult [2, Chap. 8, 9], [14,15]. It defines a bounded linear operator from $L^2\left(\mathbb{R}\right)$ into itself, and one has:

$$\widehat{\tilde{f}}\left(v\right)=(-isgnv)\widehat{f}\left(v\right)a.e.$$

(8)

Furthermore, if $f\in F^{2,s}$ for some $s\in {\mathbb{N}}_0$, then by the Fourier inversion formula Equation (1) for each $t\in \mathbb{R}$,

$${\left[\tilde{f}\right]}^{\left(s\right)}\left(t\right)=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{\infty }\widehat{f}\left(v\right)(-isgnv){\left(iv\right)}^s{e}^{ivt}dv=\frac{1}{\sqrt{2\pi }}{\int }_{-\infty }^{\infty }\widehat{f^{\left(s\right)}}\left(v\right)(-isgnv)e^{ivt}dv$$

(9)

the latter equality holding provided $f^{\left(s\right)}\in L^2\left(\mathbb{R}\right)$. This formula also shows that ${\left[\tilde{f}\right]}^{\left(s\right)}=\widetilde{f^{\left(s\right)}}$; thus derivation and taking Hilbert transform are commutative operations.

Noting (2) and (8), we see that the Fourier transform of the Hilbert transform of the sinc-function is given by:

$$\widehat{\widetilde{sinc}}\left(v\right)=\frac{1}{\sqrt{2\pi }}(-isgnv)rect\left(v\right)a.e.$$

and one easily obtains from the case $s=0$ in (9) that the Hilbert transform of the sinc-function is given by:

$$\widetilde{sinc}\left(t\right)=\left\{\begin{array}{cc}{\displaystyle \frac{1-cos\pi t}{\pi t}=\frac{{sin}^2\left(\frac{\pi t}{2}\right)}{\frac{\pi t}{2}},}\hfill & t\in \mathbb{R}\setminus \left\{0\right\}\hfill \\ 0,\hfill & t=0\hfill \end{array}\right.$$

(10)

Moreover, one has the representation:

$${\widetilde{sinc}}^{\left(s\right)}\left(t\right)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }(-isgnv){\left(iv\right)}^s{e}^{ivt}dv(t\in \mathbb{R};s\in {\mathbb{N}}_0)$$

(11)

Since the Hilbert transform is a bounded linear operator from $L^2\left(\mathbb{R}\right)$ into itself, which commutes with differentiation, the following sampling representation follows immediately from (5) by taking the Hilbert transform of each side.

Theorem 3.3. 

Let $f\in B_{\sigma }^2$, where $\sigma >0$. Then, for each $s\in \mathbb{N}$,

$${\tilde{f}}^{\left(s\right)}\left(t\right)=\sum _{k=-\infty }^{\infty }f\left(\frac{k\pi }{\sigma }\right){\left(\frac{d}{dt}\right)}^{\left(s\right)}\widetilde{sinc}\left(\frac{\sigma t}{\pi }-k\right)(t\in \mathbb{R})$$

(12)

the series converging absolutely and uniformly for $t\in \mathbb{R}$ as well as in $L^2\left(\mathbb{R}\right)$-norm.

This formula enables one to compute ${\tilde{f}}^{\left(s\right)}\left(t\right)$ in term of samples of f itself; for the case $s=0$ see [5,6,7,16], and for arbitrary s see [11]. The extended version of this result reads (see [11]):

Theorem 3.4. 

Let $f\in F^{2,s}$ for some $s\in {\mathbb{N}}_0$, and let ${\eta }_s:\mathbb{R}\to \mathbb{C}$ be the 2$\pi -periodicfunction,definedfor$ t$\in \mathbb{R}$ by:

$${\eta }_s(t,v):=sgn\left(v\right)v^s{e}^{-itv}(-\pi <v\le \pi )$$

Then one has the approximate sampling representation:

$${\tilde{f}}^{\left(s\right)}\left(t\right)=\sum _{k=-\infty }^{\infty }f\left(\frac{k\pi }{\sigma }\right){\left(\frac{d}{dt}\right)}^{\left(s\right)}\widetilde{sinc}\left(\frac{\sigma t}{\pi }-k\right)+\left({\tilde{R}}_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)(t\in \mathbb{R})$$

(13)

with the remainder ${\tilde{R}}_{s,\sigma }^{\text{WKS}}f$ given by:

$$\left({\tilde{R}}_{s,\sigma }^{\text{WKS}}f\right)\left(t\right):=\frac{i^{s-1}}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }\widehat{f}\left(v\right)\left[sgn\left(v\right)v^s-{\left(\frac{\sigma }{\pi }\right)}^s{\eta }_s\left(t,\frac{v}{\sigma }\right)\right]e^{ivt}dv(t\in \mathbb{R})$$

(14)

In particular, there holds:

$$\left|\left({\tilde{R}}_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)\right|=\sqrt{\frac{2}{\pi }}{\int }_{\left|v\right|\ge \sigma }\left|v^s\widehat{f}\left(v\right)\right|dv=\sqrt{\frac{2}{\pi }}{dist}_1(f^{\left(s\right)},B_{\sigma }^2)=o\left(1\right)(\sigma \to \infty )$$

(15)

The integral on the right-hand side of (7) and (15) is the distance of $f^{\left(s\right)}$ from the space $B_{\sigma }^2$. Its behaviour for $\sigma \to \infty$ depends on the smoothness properties of f, and was extensively studied in [1]; recall Section 2.1. This leads to the following estimates for the remainders $R_{s,\sigma }^{\text{WKS}}f$ and ${\tilde{R}}_{s,\sigma }^{\text{WKS}}f$.

Corollary 3.5. 

If $f\in F^{s,2}$, $s\in {\mathbb{N}}_0$, then for any $r\in \mathbb{N}$ and $t\in \mathbb{R}$,

$$\left|\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)\right|\le \sqrt{\frac{2}{\pi }}{dist}_1(f^{\left(s\right)},B_{\sigma }^2)\le c_{s,r}{\int }_{\sigma }^{\infty }{v}^{-1/2}{\omega }_r\left(f^{\left(s\right)},v^{-1},L^2\left(\mathbb{R}\right)\right)dv(\sigma >0)$$

In particular, if in addition $f^{\left(s\right)}\in {Lip}_r(\alpha ,L^2\left(\mathbb{R}\right))$ for $1/2<\alpha \le r$, then:

$$\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)=\mathcal{O}\left({\sigma }^{-\alpha +1/2}\right)(\sigma \to \infty )$$

Corollary 3.6. 

Let $s\in {\mathbb{N}}_0$, $f\in W^{r,2}\cap C\left(\mathbb{R}\right)$ for some $r\ge s+1$. Then: for $t\in \mathbb{R}$,

$$\left|\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)\right|\le c_{s,r}{\sigma }^{-r+s+1/2}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}(\sigma >0)$$

If moreover $f^{\left(r\right)}\in {Lip}_1(\alpha ,L^2\left(\mathbb{R}\right))$, $0<\alpha \le 1$, then

$$\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)=\mathcal{O}\left({\sigma }^{-r-\alpha +s+1/2}\right)(\sigma \to \infty )$$

Corollary 3.7. 

If $f\in H^2\left({\mathcal{S}}_d\right)$, then for $s\in {\mathbb{N}}_0$, positive $\sigma \ge s/d$, and $t\in \mathbb{R}$,

$$\left|\left(R_{s,\sigma }^{\text{WKS}}f\right)\left(t\right)\right|\le c_{d,s}{\sigma }^s{e}^{-\pi d\sigma }{\parallel f\parallel }_{H^2\left({\mathcal{S}}_d\right)}$$

The three corollaries remain true, if $R_{s,\sigma }^{\text{WKS}}f$ is replaced by ${\tilde{R}}_{s,\sigma }^{\text{WKS}}f$.

4. Boas-type Formulae for Higher Derivatives

In [17] (see also [3]) Boas established a differentiation formula that may be presented as follows.

Let $f\in B_{\sigma }^{\infty }$, where $\sigma >0$. Then, for $h=\pi /\sigma$, we have:

$$f^{\prime }\left(t\right)=\frac{1}{h}\sum _{k\in \mathbb{Z}}\frac{{(-1)}^{k+1}}{\pi {(k-\frac{1}{2})}^2}f\left(t+h\left(k-\frac{1}{2}\right)\right)$$

(16)

When f is a trigonometric polynomial of degree n, i.e., $f\left(t\right)=T_n\left(t\right)={\sum }_{k=-n}^n{c}_k{e}^{ikt}$, then $f\in B_n^{\infty }$ and so (16) applies. In this case, by virtue of the periodicity of f, the series in (16) can be condensed to a finite sum. The resulting formula was obtained by M. Riesz in 1914 [18]. In fact, Riesz’s interpolation formula for trigonometric polynomials reads:

$$T_n^{\prime }\left(t\right)=\sum _{k=1}^{2n}{(-1)}^{k-1}{\alpha }_k{T}_n(t+{\tau }_k)(t\in \mathbb{R})$$

(17)

where ${\alpha }_k:=n^{-1}{(2sin({\tau }_k/2))}^{-2}$ and ${\tau }_k:=(2k-1)/\left(2n\right)$ for $k=1,2,\cdots ,2n$. Since ${\sum }_{k=1}^{2n}{\alpha }_k=n$, (17) implies the classical Bernstein inequality:

$${∥T_n^{\left(s\right)}∥}_{C_{2\pi }}\le n^s{∥T_n∥}_{C_{2\pi }}(s\in \mathbb{N})$$

(18)

Analogously to the proof of (18), Boas’ formula (16), also known as generalized Riesz interpolation formula (as Isaac Pesenson informed us), can be used to prove the basic Bernstein inequality for functions $f\in B_{\sigma }^p$, namely ${\parallel f^{\left(s\right)}\parallel }_{L^p\left(\mathbb{R}\right)}\le {\sigma }^s{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}$, $s\in \mathbb{N}$, which will be treated extensively in Section 6.

There exist families of differentiation formulae for higher derivatives holding in Bernstein spaces; see [6, § 3.2]. Which of them should we consider as a generalization of Boas’ formula? In the applications of (16) the following properties are crucial:

(a)

The formula applies to all entire functions of exponential type σ that are only bounded on $\mathbb{R}$.

(b)

The sample points are uniformly spaced according to the Nyquist rate and are located relatively to the argument t of the derivative.

(c)

The coefficients do not depend on t.

(d)

The coefficients decay like $\mathcal{O}\left(k^{-2}\right)$ as $k\to \pm \infty$.

(e)

When the sample points are arranged in increasing order, then the associated coefficients have alternating signs.

In the case of higher derivatives, a Boas-type formula should also have the properties (a) to (e).

The Boas-type formulae to be established will be deduced as applications of the Whittaker–Kotel’nikov–Shannon sampling theorem for higher order derivatives (Theorem 3.1). Another approach by contour integration methods of complex function theory will be presented in Section 4.1.

In view of Leibniz’s rule, the basic term ${sinc}^{\left(s\right)}\left(t\right)$ in (5) can be written as follows:

$$\begin{array}{cc}\hfill {sinc}^{\left(s\right)}\left(t\right)=& {\left(\frac{1}{\pi t}sin\pi t\right)}^{\left(s\right)}=\sum _{j=0}^s\left(\genfrac{}{}{0pt}{}{s}{j}\right){(sin\pi t)}^{\left(j\right)}{\left(\frac{1}{\pi t}\right)}^{(s-j)}\hfill \\ \hfill =& \sum _{j=0}^s\left(\genfrac{}{}{0pt}{}{s}{j}\right){\pi }^{j}sin\left(\pi t+\frac{j\pi }{2}\right)\frac{{(-1)}^{s-j}(s-j)!}{\pi t^{s-j+1}}\hfill \\ \hfill =& \frac{{(-1)}^{s}s!}{\pi t^{s+1}}\sum _{j=0}^{s}sin\left(\pi t+\frac{j\pi }{2}\right)\frac{{(-1)}^j{\left(\pi t\right)}^j}{j!}\hfill \end{array}$$

Expressing now $sin(\pi t+j\pi /2)$ in terms of $sin\pi t$ and $cos\pi t$, we can rewrite ${sinc}^{\left(s\right)}\left(t\right)$ in the more handy form:

$$\begin{array}{cc}\hfill {sinc}^{\left(s\right)}\left(t\right)=& \frac{{(-1)}^{s}s!}{\pi t^{s+1}}\left\{sin\pi t\sum _{\nu =0}^{\lfloor \frac{s}{2}\rfloor }\frac{{(-1)}^{\nu }{\left(\pi t\right)}^{2\nu }}{\left(2\nu \right)!}-cos\pi t\sum _{\nu =0}^{\lfloor \frac{s-1}{2}\rfloor }\frac{{(-1)}^{\nu }{\left(\pi t\right)}^{2\nu +1}}{(2\nu +1)!}\right\}\hfill \end{array}$$

(19)

where the right hand side is naturally thought to be continuously extended at $t=0$ by:

$${sinc}^{\left(s\right)}\left(0\right)=\left\{\begin{array}{cc}0,\hfill & s\text{odd}\hfill \\ {(-1)}^{s/2}{\displaystyle \frac{{\pi }^s}{s+1}},\hfill & s\text{even}\hfill \end{array}\right.(s\in {\mathbb{N}}_0)$$

This can be easily obtained from (3) or the power series expansion:

$$sinct=\sum _{j=0}^{\infty }\frac{{(-1)}^j}{(2j+1)!}{\left(\pi t\right)}^{2j}(t\in \mathbb{R})$$

Further, it follows easily from (19) that:

$$(2s-1){sinc}^{(2s-2)}\left(\frac{1}{2}-k\right)=\left(k-\frac{1}{2}\right){sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)(k\in \mathbb{Z})$$

(20)

$$2s{sinc}^{(2s-1)}(-k)=k{sinc}^{\left(2s\right)}(-k)(k\in \mathbb{Z})$$

(21)

In view of (3) there holds the Fourier expansion (cf. [2, Proposition 4.1.5]):

$$\sum _{k=-\infty }^{\infty }{sinc}^{\left(s\right)}(t-k)e^{ikx}=\sum _{k=-\infty }^{\infty }\left\{\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{\left(iv\right)}^s{e}^{-i(k-t)v}dv\right\}{e}^{itx}={\left(ix\right)}^s{e}^{itx}\left(\right|x|<\pi ;t\in \mathbb{R};s\in {\mathbb{N}}_0)$$

and, in particular, for $s\in \mathbb{N}$ and $x=0$,

$$\sum _{k=-\infty }^{\infty }{sinc}^{\left(s\right)}(t-k)=0(t\in \mathbb{R})$$

(22)

As an application, we now come to two Boas-type formulae, one for derivatives of odd order and one for those of even order.

Theorem 4.1. 

Let $f\in B_{\sigma }^{\infty }$ for some $\sigma >0$, and define for $s\in \mathbb{N}$,

$$A_{s,k}:={(-1)}^{k+1}{sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)=\frac{(2s-1)!}{\pi {(k-\frac{1}{2})}^{2s}}\sum _{j=0}^{s-1}\frac{{(-1)}^j}{\left(2j\right)!}{\left[\pi \left(k-\frac{1}{2}\right)\right]}^{2j}(k\in \mathbb{Z})$$

(23)

$$B_{s,k}:={(-1)}^{k+1}{sinc}^{\left(2s\right)}(-k)=\left\{\begin{array}{cc}{(-1)}^{s+1}{\displaystyle \frac{{\pi }^{2s}}{2s+1}},\hfill & k=0\hfill \\ {\displaystyle \frac{\left(2s\right)!}{\pi k^{2s+1}}\left\{\sum _{j=0}^{s-1}\frac{{(-1)}^j{\left(\pi k\right)}^{2j+1}}{(2j+1)!}\right\},}\hfill & k\in \mathbb{Z}\setminus \left\{0\right\}\hfill \end{array}\right.$$

(24)

Then there hold the representations:

$$\begin{array}{c}\hfill f^{(2s-1)}\left(t\right)=\frac{1}{h^{2s-1}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{A}_{s,k}f\left(t+h\left(k-\frac{1}{2}\right)\right)(t\in \mathbb{R})\end{array}$$

(25)

$$\begin{array}{c}\hfill f^{\left(2s\right)}\left(t\right)=\frac{1}{h^{2s}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{B}_{s,k}f(t+hk)(t\in \mathbb{R})\end{array}$$

(26)

Proof. 

The identities (23) and (24) follow immediately from (19), noting that $sin\left(\pi (k-1/2)\right)=cos\pi k={(-1)}^k$ and $cos\left(\pi (k-1/2)\right)=sin\pi k=0$.

For (25) and (26) we will give two proofs. The first one applies only to $B_{\sigma }^2$, which seems to be the more interesting case in engineering applications, whereas the second one also covers the larger space $B_{\sigma }^{\infty }$.

First assume that $f\in B_{\pi }^2$, i.e., $h=1$. Setting $t=1/2$ in (5), then by the definition of $A_{s,k}$,

$$f^{(2s-1)}\left(\frac{1}{2}\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){(-1)}^{k+1}{A}_{s,k}$$

(27)

Now, if $f\in B_{\sigma }^2$ for arbitrary $\sigma >0$, then (25) follows by applying (27) to the function $u\mapsto f(hu+t-h/2)$, which belongs to $B_{\pi }^2$.

For even order derivatives, one obtains from (5) for $\sigma =\pi$ and $t=0$,

$$f^{\left(2s\right)}\left(0\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){sinc}^{\left(2s\right)}(-k)=\sum _{k=-\infty }^{\infty }f\left(k\right){(-1)}^{k+1}{B}_{s,k}$$

The proof can now completed along the same lines as in the case of odd order derivatives.

In order to extend (25) and (26) to $f\in B_{\sigma }^{\infty }$, one may apply the $B_{\sigma }^2$-result just proved to the function $t\mapsto f\left(t\right(1-\epsilon \left)\right)sinc(\epsilon t/\pi )$, $0<\epsilon <1$, which belongs to $B_{\sigma }^2$, and then let $\epsilon \to 0+$. This density argument can be avoided by the following alternative proof. To this end, let $f\in B_{\pi }^{\infty }$, and let $f_1\in B_{\pi }^2$ be defined by:

$$f_1\left(u\right):=\left\{\begin{array}{cc}{\displaystyle \frac{f\left(u\right)-f\left(0\right)}{u}},\hfill & u\in \mathbb{R}\setminus \left\{0\right\}\hfill \\ f^{\prime }\left(0\right),\hfill & u=0\hfill \end{array}\right.$$

By Leibniz’s rule one has:

$$f^{\left(s\right)}\left(t\right)={\left\{t{f}_1\left(t\right)\right\}}^{\left(s\right)}=s{f}_1^{(s-1)}\left(t\right)+t{f}_1^{\left(s\right)}\left(t\right)(t\in \mathbb{R};s\in \mathbb{N})$$

Since $f_1\in B_{\pi }^2$, we can apply (5) to the terms on the right-hand side to obtain:

$$f^{\left(s\right)}\left(t\right)=s\sum _{k=-\infty }^{\infty }{f}_1\left(k\right){sinc}^{(s-1)}(t-k)+t\sum _{k=-\infty }^{\infty }{f}_1\left(k\right){sinc}^{\left(s\right)}(t-k)(t\in \mathbb{R};s\in \mathbb{N})$$

(28)

Now, we have to distinguish between odd and even order derivatives. Replacing s by $2s-1$ and setting $t=1/2$ in (28), we obtain in view of (20),

$$\begin{array}{cc}\hfill f^{(2s-1)}\left(\frac{1}{2}\right)=& (2s-1)\sum _{k=-\infty }^{\infty }{f}_1\left(k\right){sinc}^{(2s-2)}\left(\frac{1}{2}-k\right)+\frac{1}{2}\sum _{k=-\infty }^{\infty }{f}_1\left(k\right){sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)\hfill \\ \hfill =& \sum _{k=-\infty }^{\infty }{f}_1\left(k\right)\left(k-\frac{1}{2}\right){sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)+\frac{1}{2}\sum _{k=-\infty }^{\infty }{f}_1\left(k\right){sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)\hfill \\ \hfill =& \sum _{k=-\infty }^{\infty }\left\{f\left(k\right)-f\left(0\right)\right\}{sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)(s\in \mathbb{N})\hfill \end{array}$$

Further, noting (22) and the definition of $A_{s,k}$, we end up with:

$$f^{(2s-1)}\left(\frac{1}{2}\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){sinc}^{(2s-1)}\left(\frac{1}{2}-k\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){(-1)}^{k+1}{A}_{s,k}(s\in \mathbb{N})$$

(29)

To complete the proof for odd order derivatives, let now $f\in B_{\sigma }^{\infty }$ for arbitrary $\sigma >0$ and apply (29) to the function $u\mapsto f(hu+t-h/2)$, where $h=\pi /\sigma$.

For even order derivatives one starts again with (28), replaces s by $2s$ and sets $t=0$. In view of (21), (22) and (24), one then obtains:

$$\begin{array}{cc}\hfill f^{\left(2s\right)}\left(0\right)=& 2s\sum _{k=-\infty }^{\infty }{f}_1\left(k\right){sinc}^{(2s-1)}(-k)=\sum _{k=-\infty }^{\infty }{f}_1\left(k\right)k{sinc}^{\left(2s\right)}(-k)\hfill \\ \hfill =& \sum _{k=-\infty }^{\infty }\left\{f\left(k\right)-f\left(0\right)\right\}{sinc}^{\left(2s\right)}(-k)=\sum _{k=-\infty }^{\infty }f\left(k\right){(-1)}^{k+1}{B}_{s,k}(s\in \mathbb{N})\hfill \end{array}$$

Finally, apply this equation to the function $u\mapsto f(hu+t)$.        ☐

Representation (25) can also be found in [19, Corollary 5], where it was proved by contour integral methods.

For $s=1$, (25) is the classical Boas formula (16), and (26) reads:

$$f^{\prime \prime }\left(t\right)=-{\displaystyle \frac{{\pi }^2}{3h^2}}f\left(t\right)+\frac{2}{h^2}\sum _{\begin{array}{c}k=-\infty \\ k\ne 0\end{array}}^{\infty }f(t+hk)\frac{{(-1)}^{k+1}}{k^2}$$

The case $s=2$ in (25) gives:

$$f^{\left(3\right)}\left(t\right)=\frac{1}{h^3}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}\frac{6}{\pi {(\frac{1}{2}-k)}^4}\left[1-\frac{{\pi }^2}{2}{\left(\frac{1}{2}-k\right)}^2\right]f\left(t+h\left(k-\frac{1}{2}\right)\right)(t\in \mathbb{R})$$

It is easily seen that formulae (25) and (26) both have the properties (a) to (d), but it is not immediately clear whether (e) holds. We need to know the signs of the numbers $A_{s,k}$ and $B_{s,k}$. For this, we represent these numbers by an integral with an integrand that does not change sign.

Proposition 4.2. 

(a) For $s\in \mathbb{N}$, $s>1$ the numbers $A_{s,k}$ of (23) have the representation:

$$A_{s,k}=\frac{{(-1)}^{s-1}(2s-1)(2s-2)}{\pi {(k-\frac{1}{2})}^{2s}}{\int }_0^{(2k-1)\pi /2}{t}^{2s-3}\left(1+{(-1)}^{k}sint\right)dt$$

(30)

In particular,

$${(-1)}^{s-1}{A}_{s,k}>0(s\in \mathbb{N};k\in \mathbb{Z})$$

(31)

(b) For $s\in \mathbb{N}$ the numbers $B_{s,k}$ of (24) have the representation:

$$B_{s,k}=\frac{{(-1)}^{s-1}2s(2s-1)}{\pi k^{2s+1}}{\int }_0^{k\pi }{t}^{2s-2}\left(1-{(-1)}^{k}cost\right)dt(k\in \mathbb{Z}\setminus \left\{0\right\})$$

(32)

In particular,

$${(-1)}^{s-1}{B}_{s,k}>0(s\in \mathbb{N};k\in \mathbb{Z})$$

(33)

Proof. 

First we note that the sum on the right-hand side of (23) is the Taylor polynomial of the cosine function of degree $2s-2$ with respect to the origin, evaluated at $(2k-1)\pi /2$. Next we recall Taylor’s formula for a function f with the remainder represented by an integral. It states that:

$$f\left(x\right)=\sum _{\nu =0}^{2s-2}\frac{f^{\left(\nu \right)}\left(0\right)}{\nu !}{x}^{\nu }+{\int }_0^x\frac{{(x-t)}^{2s-2}}{(2s-2)!}{f}^{(2s-1)}\left(t\right)dt$$

(34)

see, e.g., [20, p. 88, Theorem 6]. Applying this formula to $f=cos$ with $x=(2k-1)\pi /2$, we see that (23) may be rewritten as:

$$A_{s,k}=\frac{{(-1)}^{s+1}(2s-1)}{\pi {(k-\frac{1}{2})}^{2s}}{\int }_0^{(2k-1)\pi /2}{\left[t-\left(k-\frac{1}{2}\right)\pi \right]}^{2s-2}sintdt$$

By a change of variables, we obtain:

$$A_{s,k}=\frac{{(-1)}^{s+k}(2s-1)}{\pi {(k-\frac{1}{2})}^{2s}}{\int }_0^{(2k-1)\pi /2}{t}^{2s-2}costdt$$

Now an integration by parts, taking ${(-1)}^k+sint$ as a primitive of $cost$, yields:

$$A_{s,k}=\frac{{(-1)}^{s+k-1}(2s-1)(2s-2)}{\pi {(k-\frac{1}{2})}^{2s}}{\int }_0^{(2k-1)\pi /2}{t}^{2s-3}\left({(-1)}^k+sint\right)dt$$

for $s>1$. From this, (30) follows immediately.

Except for a set of measure zero, the integrand in (30) is positive on the interval of integration if the upper limit $(2k-1)\pi /2$ of the integral is positive, and is negative if that limit is negative. This shows that the integral in (30) is always positive. Hence (31) holds for $s>1$, and in view of $A_{1,k}={\pi }^{-1}{(k-1/2)}^{-2}$ for $s=1$ as well.

Regarding (32), we note that the sum on the right-hand side of (24) is the Taylor polynomial of degree $2s-1$ of the sine function evaluated at $k\pi$. Using again (34) and proceeding as in the proof of (a), we arrive at (32) and (33).         ☐

Now (31) and (33) show that formulae (25) and (26) have also the property (e) and so they are Boas-type formulae in our sense.

One may ask, why we started with $f^{(2s-1)}(1/2)$ in the proof of (25), and with $f^{\left(2s\right)}\left(0\right)$ in the proof of (26). If one begins with $f^{(2s-1)}\left(0\right)$ in the case of odd order derivatives, one would end up with formulae, the coefficients of which behave like $\mathcal{O}\left(\right|k{|}^{-1})$ for $k\to \pm \infty$. Moreover, they are valid in $B_{\sigma }^p$ for $1\le p<\infty$ only, but not in $B_{\sigma }^{\infty }$. Hence they are not Boas-type formulae in our sense. For $s=1$ such a formula can be found in [7, p. 60 (87)].

4.1. An Alternative Approach by Methods of Complex Analysis

Formulae (25) and (26) of Theorem 4.1 can also be derived by contour integration without employing the sampling theorem and without requiring a process that leads from $B_{\sigma }^2$ to $B_{\sigma }^{\infty }$.

Denote by $\mathcal{Q}\left(X\right)$ the positively oriented rectangle with vertices at $\pm X\pm iX.$ For $f\in B_{\pi }^{\infty }$, we first consider the meromorphic function:

$$K_{1,s}\left(z\right):=\frac{(2s-1)!f\left(z\right)}{z^{2s}cos\left(\pi z\right)}\sum _{j=0}^{s-1}\frac{{(-1)}^j}{\left(2j\right)!}{\left(\pi z\right)}^{2j}$$

It has a simple pole or a removable singularity at $z=k+1/2$ for $k\in \mathbb{Z}$, a pole of order at most $2s$ at zero and no other singularities. Noting that the sum is a truncated Taylor expansion of $cos\left(\pi z\right)$ around $z=0$, we conclude that:

$$\frac{z^{2s}}{(2s-1)!}{K}_{1,s}\left(z\right)=f\left(z\right)\left[1+\mathcal{O}\left(z^{2s}\right)\right](z\to 0)$$

By a well-known formula for the residue at a pole of order at most $2s$, this implies that:

$$res(K_{1,s},0)=f^{(2s-1)}\left(0\right)$$

Furthermore, it is easily verified that:

$$res\left(K_{1,s},k-\frac{1}{2}\right)={(-1)}^k{A}_{s,k}f\left(k-\frac{1}{2}\right)$$

with $A_{s,k}$ given by (23).

Now, for $N\in \mathbb{N}$, it is readily seen that:

$$\underset{z\in \mathcal{Q}\left(N\right)}{max}\left|K_{1,s}\left(z\right)\right|=\mathcal{O}\left(N^{-2}\right)(N\to \infty )$$

Hence by the residue theorem,

$$0=\underset{N\to \infty }{lim}\frac{1}{2\pi i}{\int }_{\mathcal{Q}\left(N\right)}{K}_{1,s}\left(z\right)dz=f^{(2s-1)}\left(0\right)+\sum _{k=-\infty }^{\infty }{(-1)}^k{A}_{s,k}f\left(k-\frac{1}{2}\right)$$

which implies (25) by a transformation of the argument of f.

Analogously, one considers:

$$K_{2,s}\left(z\right):=\frac{\left(2s\right)!f\left(z\right)}{z^{2s+1}sin\left(\pi z\right)}\sum _{j=0}^{s-1}\frac{{(-1)}^j{\left(\pi z\right)}^{2j+1}}{(2j+1)!}$$

Here $z=0$ is a pole of order at most $2s+1$ and,

$$\frac{z^{2s+1}}{\left(2s\right)!}{K}_{2,s}\left(z\right)=f\left(z\right)\left[1-{(-1)}^s\frac{{\left(\pi z\right)}^{2s}}{(2s+1)!}+\mathcal{O}\left(\phantom{(}{z}^{2s+1}\right)\right](z\to 0)$$

which gives:

$$res(K_{2,s},0)=f^{\left(2s\right)}\left(0\right)+\frac{{(-1)}^{s+1}{\pi }^{2s}}{2s+1}f\left(0\right)$$

while,

$$res(K_{2,s},k)={(-1)}^k{B}_{s,k}f\left(k\right)(k\in \mathbb{Z}\setminus \left\{0\right\})$$

with $B_{s,k}$ given by (24). This time, for $N\in \mathbb{N}$, we find that:

$$\begin{array}{c}\hfill 0=\underset{N\to \infty }{lim}\frac{1}{2\pi i}{\int }_{\mathcal{Q}(N+\frac{1}{2})}{K}_{2,s}\left(z\right)dz=f^{\left(2s\right)}\left(0\right)+\frac{{(-1)}^{s+1}{\pi }^{2s}}{2s+1}f\left(0\right)+\sum _{\genfrac{}{}{0pt}{}{k=-\infty }{k\ne 0}}^{\infty }{(-1)}^k{B}_{s,k}f\left(k\right)\end{array}$$

which implies (26) by a transformation of the argument of f.

4.2. Variants

If we abandon property (e) of a Boas-type formula and admit a correction at t by the value of f or that of its first derivative, we can improve upon property (d) by establishing formulae with coefficients that decay like $\mathcal{O}\left(k^{-3}\right)$ as $k\to \pm \infty$. Such formulae are of interest in numerical applications since the truncated series will need less terms for achieving certain accuracy.

The following formula (35) was already obtained in [19, Corollary 5] by methods of complex analysis; formula (36) is new.

Corollary 4.3. 

Let $f\in B_{\sigma }^{\infty }$ for some $\sigma >0$ and let $s\in \mathbb{N}$. Then, in the notation of Theorem 4.1,

$$f^{\left(2s\right)}\left(t\right)={(-1)}^s{\left(\frac{\pi }{h}\right)}^{2s}f\left(t\right)+\frac{2s}{h^{2s}}\sum _{k=-\infty }^{\infty }\frac{A_{s,k}}{k-\frac{1}{2}}f\left(t+h\left(k-\frac{1}{2}\right)\right)(t\in \mathbb{R})$$

(35)

$$f^{(2s+1)}\left(t\right)={(-1)}^s{\left(\frac{\pi }{h}\right)}^{2s}{f}^{\prime }\left(t\right)+\frac{2s+1}{h^{2s+1}}\sum _{\genfrac{}{}{0pt}{}{k=-\infty }{k\ne 0}}^{\infty }{(-1)}^{k+1}\frac{B_{s,k}}{k}f(t+hk)(t\in \mathbb{R})$$

(36)

Proof. 

Obviously the function $g:z\mapsto \left(f\left(z\right)-f\left(0\right)\right)/z$ belongs to $B_{\sigma }^{\infty }$ and, as is seen by Taylor expansion around 0, we have

$$\frac{g^{\left(r\right)}\left(0\right)}{r!}=\frac{f^{(r+1)}\left(0\right)}{(r+1)!}(r\in \mathbb{N})$$

Thus applying (25) to g at $t=0$, we obtain

$$f^{\left(2s\right)}\left(0\right)=\frac{2s}{h^{2s}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{A}_{s,k}\frac{f\left(h(k-\frac{1}{2})\right)-f\left(0\right)}{k-\frac{1}{2}}$$

For $f:z\mapsto cos\pi z$ this formula holds with $h=1$ and yields

$${(-1)}^s{\pi }^{2s}=-2s\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}\frac{A_{s,k}}{k-\frac{1}{2}}$$

Thus,

$$f^{\left(2s\right)}\left(0\right)={(-1)}^s{\left(\frac{\pi }{h}\right)}^{2s}f\left(0\right)+\frac{2s}{h^{2s}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}\frac{A_{s,k}}{k-\frac{1}{2}}f\left(h\left((k-\frac{1}{2}\right)\right)$$

which gives (35) by shifting the argument of f.

Analogously, applying (26) to g at $t=0$, we obtain:

$$f^{(2s+1)}\left(0\right)=-\frac{2s+1}{h^{2s}}{B}_{s,0}{f}^{\prime }\left(0\right)+\frac{2s+1}{h^{2s+1}}\sum _{\begin{array}{c}k=-\infty \\ k\ne 0\end{array}}^{\infty }{(-1)}^{k+1}{B}_{s,k}\frac{f\left(hk\right)-f\left(0\right)}{k}$$

For the sinc function, this formula holds with $h=1$ and yields:

$$0=-(2s+1)\sum _{\begin{array}{c}k=-\infty \\ k\ne 0\end{array}}^{\infty }{(-1)}^{k+1}\frac{B_{s,k}}{k}$$

Thus,

$$f^{(2s+1)}\left(0\right)=-\frac{2s+1}{h^{2s}}{B}_{s,0}{f}^{\prime }\left(0\right)+\frac{2s+1}{h^{2s+1}}\sum _{\begin{array}{c}k=-\infty \\ k\ne 0\end{array}}^{\infty }{(-1)}^{k+1}\frac{B_{s,k}}{k}f\left(hk\right)$$

which gives (36) by substituting the value of $B_{s,0}$ and shifting the argument of f.     ☐

5. Extensions to Non-Bandlimited Functions

Theorem 5.1. 

Let $s\in \mathbb{N},$ $f\in F^{2s-1,2}$. Then $f^{(2s-1)}$ exists, and for $h>0$, $\sigma :=\pi /h$ formula (25) extends to:

$$f^{(2s-1)}\left(t\right)=\frac{1}{h^{2s-1}}\sum _{k\in \mathbb{Z}}{(-1)}^{k+1}{A}_{s,k}f\left(t+h\left(k-\frac{1}{2}\right)\right)+\left(R_{2s-1,\sigma }^{\text{Boas}}f\right)\left(t\right)(t\in \mathbb{R})$$

(37)

where,

$$\left(R_{2s-1,\sigma }^{\text{Boas}}f\right)\left(t\right)=\frac{i{(-1)}^{s+1}}{\sqrt{2\pi }{h}^{2s-1}}{\int }_{\left|v\right|\ge \sigma }\left[{\left(hv\right)}^{2s-1}-{\varphi }_{2s-1}\left(hv\right)\right]\widehat{f}\left(v\right)e^{ivt}dv$$

(38)

${\varphi }_{2s-1}$ being the $4\pi$-periodic function defined by:

$${\varphi }_{2s-1}\left(v\right):=\left\{\begin{array}{cc}{v}^{2s-1},& -\pi <v\le \pi \\ {(2\pi -v)}^{2s-1},& \phantom{-}\pi <v\le 3\pi \end{array}\right.$$

(39)

In particular,

$$\begin{array}{cc}& \left|\left(R_{2s-1,\sigma }^{\text{Boas}}f\right)\left(t\right)\right|\le \frac{1+3^{-2s+1}}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }{\left|v\right|}^{2s-1}\left|\widehat{f}\left(v\right)\right|dv=\frac{1+3^{-2s+1}}{\sqrt{2\pi }}{dist}_1(f^{(2s-1)},B_{\sigma }^2)\hfill \end{array}$$

(40)

Proof. 

First assume $h=1$, i.e., $\sigma =\pi$, and let:

$$f_1\left(t\right):=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)e^{itv}dv$$

(41)

Then $f-f_1\in B_{\pi }^{\infty }$ and so (25) applies to this difference, i.e.,

$$\left(R_{2s-1,\pi }^{\text{Boas}}f\right)\left(t\right)=\left(R_{2s-1,\pi }^{\text{Boas}}(f-f_1)\right)\left(t\right)+\left(R_{2s-1,\pi }^{\text{Boas}}{f}_1\right)\left(t\right)=\left(R_{2s-1,\pi }^{\text{Boas}}{f}_1\right)\left(t\right)$$

and we find that for $t=0$,

$$\begin{array}{c}\hfill \left(R_{2s-1,\pi }^{\text{Boas}}f\right)\left(0\right)=f_1^{(2s-1)}\left(0\right)-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{A}_{s,k}{f}_1\left(k-\frac{1}{2}\right)\end{array}$$

(42)

>From (41) there follows:

$$f_1^{(2s-1)}\left(0\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }{\left(iv\right)}^{2s-1}\widehat{f}\left(v\right)dv$$

and,

$$f_1\left(k-\frac{1}{2}\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)e^{i(k-1/2)v}dv(k\in \mathbb{Z})$$

When we use these expressions for the calculation of (42), an interchange of summation and integration is permitted by Levi’s theorem. Hence,

$$\begin{array}{cc}\hfill \left(R_{2s-1,\pi }^{\text{Boas}}f\right)\left(0\right)=& \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(t\right)\left[{\left(iv\right)}^{2s-1}-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{A}_{s,k}{e}^{i(k-1/2)v}\right]dv\hfill \end{array}$$

(43)

Consider now the function $g_v:t\mapsto e^{ivt}$. Obviously $g_v\in B_{\pi }^{\infty }$ when $\left|v\right|\le \pi$, and so (25) applies to $g_v$ for these values of v, i.e., for $t=0$,

$$g_v^{(2s-1)}\left(0\right)={\left(iv\right)}^{2s-1}=\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{A}_{s,k}{e}^{i(k-1/2)v}\left(\right|v|\le \pi )$$

This means that:

$$\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{A}_{s,k}{e}^{i(k-1/2)v}=i{(-1)}^{s+1}{\varphi }_{2s-1}\left(v\right)\left(\right|v|\le \pi )$$

(44)

Noting that the left-hand side of (44) is a $4\pi$-periodic function satisfying, in addition,

$${\varphi }_{2s-1}(v+2n\pi )={(-1)}^n{\varphi }_{2s-1}\left(v\right)(n\in \mathbb{Z})$$

we see from the definition (39) of ${\varphi }_{2s-1}$ that (44) even holds for all $v\in \mathbb{R}$, and inserting this into (43),we now obtain (37) with remainder (38) for $h=1$ and $t=0$.

For arbitrary $h>0$ and $t\in \mathbb{R}$ one applies this particular case to the function $f_h:u\mapsto f(t+hu)$. Since $\widehat{f_h}\left(v\right)=h^{-1}\widehat{f}\left(v\right)e^{ivt/h}$, the general form (38) of the remainder now follows by a change of variable.

Since $|v^{2s-1}-{\varphi }_{2s-1}\left(v\right)|\le (1+3^{-2s+1}){\left|v\right|}^{2s-1}$ for all $v\in \mathbb{R}$, the first relation in (40) follows immediately. The second is a consequence of [1, Proposition 15].       ☐

Theorem 5.2. 

Let $s\in \mathbb{N}$, $f\in F^{2s,2}$. Then $f^{\left(2s\right)}$ exists and for $h>0$, $\sigma :=\pi /h$ formula (26) extends to:

$$f^{\left(2s\right)}\left(t\right)=\frac{1}{h^{2s}}\sum _{k\in \mathbb{Z}}{(-1)}^{k+1}{B}_{s,k}f(t+hk)+\left(R_{2s,\sigma }^{\text{Boas}}f\right)\left(t\right)(t\in \mathbb{R})$$

where,

$$\left(R_{2s,\sigma }^{\text{Boas}}f\right)\left(t\right)=\frac{{(-1)}^s}{\sqrt{2\pi }{h}^{2s}}{\int }_{\left|v\right|\ge \sigma }\left[{\left(hv\right)}^{2s}-{\varphi }_{2s}\left(hv\right)\right]\widehat{f}\left(v\right)e^{ivt}dv$$

(45)

${\varphi }_{2s}$ being the $2\pi$-periodic function defined by:

$${\varphi }_{2s}\left(v\right):=v^{2s},\text{for}\left|v\right|\le \pi$$

(46)

In particular,

$$\left|\left(R_{2s,\sigma }^{\text{Boas}}f\right)\left(t\right)\right|\le \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }{v}^{2s}\left|\widehat{f}\left(v\right)\right|dv=\frac{1}{\sqrt{2\pi }}{dist}_1(f^{\left(2s\right)},B_{\sigma }^2)$$

(47)

Proof. 

We proceed as in the proof of Theorem 5.1. With $f_1$ as defined by (41) we have:

$$\begin{array}{c}\hfill \left(R_{2s,\pi }^{\text{Boas}}f\right)\left(0\right)=f_1^{\left(2s\right)}\left(0\right)-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{B}_{s,k}{f}_1\left(k\right)\end{array}$$

Noting that,

$$f_1^{\left(2s\right)}\left(0\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }{\left(iv\right)}^{2s}\widehat{f}\left(v\right)dv$$

$$f_1\left(k\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)e^{ikv}dv(k\in \mathbb{Z})$$

it follows that,

$$\begin{array}{cc}\hfill \left(R_{2s,\pi }^{\text{Boas}}f\right)\left(0\right)=& \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(t\right)\left[{\left(iv\right)}^{2s}-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{B}_{s,k}{e}^{ikv}\right]dv\hfill \end{array}$$

Applying now (26) to $g_v:t\mapsto e^{ivt}$, where $\left|v\right|\le \pi$, we find:

$$g_v^{\left(2s\right)}\left(0\right)={\left(iv\right)}^{2s}=\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{B}_{s,k}{e}^{ikv}\left(\right|v|\le \pi )$$

$${\varphi }_{2s}\left(v\right):=\frac{1}{i^{2s}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{B}_{s,k}{e}^{ikv}=v^{2s}\left(\right|v|\le \pi )$$

which yields (45) and (46) for $h=1$ and $t=0$. The general case follows again by applying this particular case to $f_h:u\mapsto f(t+hu)$.

Since ${\varphi }_{2s}$ is a $2\pi$-periodic function, we have $|{\varphi }_{2s}\left(v\right)|\le {\pi }^{2s}$ for all $v\in \mathbb{R}$. This yields the first relation in (47), and the second one is again a consequence of [1,Proposition 15].      ☐

Counterparts of Corollaries 3.5–3.7 are also valid in the instance of the error $R_{s,\sigma }^{\text{Boas}}f$.

For $s=1$, Theorem 5.1 reduces to [1, Theorem 5]. The graphs of ${\varphi }_1$, ${\varphi }_2$, ${\varphi }_3$, ${\varphi }_4$ are shown in Figure 1, Figure 2, Figure 3 and Figure 4, respectively.

Figure 1. The graph of ${\pi }^{-1}{\varphi }_1$.

Figure 1. The graph of ${\pi }^{-1}{\varphi }_1$.

Figure 2. The graph of ${\pi }^{-2}{\varphi }_2$.

Figure 2. The graph of ${\pi }^{-2}{\varphi }_2$.

Figure 3. The graph of ${\pi }^{-3}{\varphi }_3$.

Figure 3. The graph of ${\pi }^{-3}{\varphi }_3$.

Figure 4. The graph of ${\pi }^{-4}{\varphi }_4$.

Figure 4. The graph of ${\pi }^{-4}{\varphi }_4$.

6. Extended Bernstein Inequalities for Higher Order Derivatives

We now come the matter sketched at the beginning of Section 4. The well-known Bernstein inequality states:

For $f\in B_{\sigma }^p$, $1\le p\le \infty$, $\sigma >0$, there holds:

$${\parallel f^{\left(s\right)}\parallel }_{L^p\left(\mathbb{R}\right)}\le {\sigma }^s{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}(s\in \mathbb{N})$$

(48)

The case $s=1$ is usually proved with help of Boas’ formula (16), and the general case then by iteration; see [3, Section 11.3]. Boas’ formulae for higher order derivatives enables us now to prove (48) directly for arbitrary $s\in \mathbb{N}$. Indeed, we have by (25),

$$\parallel f^{(2s-1)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le \frac{1}{h^{2s-1}}\sum _{k=-\infty }^{\infty }|A_{s,k}{|\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}$$

(49)

The series on the right-hand side can be evaluated as follows. Since $sin(\sigma ·)\in B_{\sigma }^{\infty }$, formula (25) applies to this function. For $t=0$ it yields that:

$${(-1)}^{s-1}{\sigma }^{2s-1}=\frac{1}{h^{2s-1}}\sum _{k\in \mathbb{Z}}{A}_{s,k}=\frac{{(-1)}^{s-1}}{h^{2s-1}}\sum _{k=-\infty }^{\infty }\left|A_{s,k}\right|$$

(50)

where (31) has been used in the last step. Combining this equation with (49), we obtain (48). For derivatives of even order one uses (26) and proceeds analogously.

In this section we employ Theorems 5.1 and 5.2 to extend Bernstein’s inequality for higher derivatives to non-bandlimited functions by adding an “error term”. For this aim, properties (a)–(e) of a Boas-type formula, specified in Section 4, will be crucial.

Theorem 6.1. 

Let $s\in \mathbb{N}$, $f\in F^{2s-1,2}$, $p\in [2,\infty ]$, and suppose that $v^{2s-1}\widehat{f}\left(v\right)$ belongs to $L^{p^{\prime }}\left(\mathbb{R}\right)$ as a function of v. Then, for any $\sigma >0$, we have:

$$\parallel f^{(2s-1)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le {\sigma }^{2s-1}{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}+{\parallel R_{2s-1,\sigma }^{\text{Boas}}f\parallel }_{L^p\left(\mathbb{R}\right)}$$

(51)

with $R_{2s-1,\sigma }^{\text{Boas}}f$ defined by (38). Furthermore,

$$\begin{array}{cc}\hfill \parallel R_{2s-1,\sigma }^{\text{Boas}}{f\parallel }_{L^p\left(\mathbb{R}\right)}\le & {\left(2\pi \right)}^{1/2-1/p^{\prime }}\frac{1}{h^{2s-1}}{\left\{{\int }_{\left|v\right|\ge \sigma }{\left|\left({\left(hv\right)}^{2s-1}-{\varphi }_{2s-1}\left(hv\right)\right)\widehat{f}\left(v\right)\right|}^{p^{\prime }}dv\right\}}^{1/p^{\prime }}\hfill \end{array}$$

(52)

$$\begin{array}{cc}\hfill \le & \frac{4}{3}{\left(2\pi \right)}^{1/2-1/p^{\prime }}{\left\{{\int }_{\left|v\right|\ge \sigma }{\left|v^{2s-1}\widehat{f}\left(v\right)\right|}^{p^{\prime }}dv\right\}}^{1/p^{\prime }}=\frac{4}{3}{\left(2\pi \right)}^{1/2-1/p^{\prime }}{dist}_{p^{\prime }}(f^{(2s-1)},B_{\sigma }^2)\hfill \end{array}$$

Proof. 

Consider (37) as a function of t and apply ${\parallel ·\parallel }_{L^p\left(\mathbb{R}\right)}$ on both sides. Using the triangle inequality on the right-hand side and noting that ${\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}$ does not change under a shift of the argument of f, we find that:

$$\parallel f^{(2s-1)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le \frac{1}{h^{2s-1}}\sum _{k\in \mathbb{Z}}|A_{s,k}{|·\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}+{\parallel R_{2s-1,\sigma }^{\text{Boas}}f\parallel }_{L^p\left(\mathbb{R}\right)}$$

Inserting (50) for the series on the right-hand side, we obtain (51).

Next we observe that $\left(R_{2s-1,\sigma }^{\text{Boas}}f\right)(-·)$ is the Fourier transform of the function:

$$g:v⟼\frac{i{(-1)}^{s-1}}{h^{2s-1}}\left({\left(hv\right)}^{2s-1}-{\varphi }_{2s-1}\left(hv\right)\right)\widehat{f}\left(v\right)$$

The hypotheses imply that $g\in L^1\left(\mathbb{R}\right)\cap L^{p^{\prime }}\left(\mathbb{R}\right)$. Thus, using [2, Prop. 5.2.6] and noting that this book uses the notation ${\parallel ·\parallel }_p={\left(2\pi \right)}^{-1/\left(2p\right)}{\parallel ·\parallel }_{L^p\left(\mathbb{R}\right)}$, we conclude that:

$$\begin{array}{cc}\hfill \parallel R_{2s-1,\sigma }^{\text{Boas}}{f\parallel }_{L^p\left(\mathbb{R}\right)}\le & {\left(2\pi \right)}^{1/2-1/p^{\prime }}{\parallel g\parallel }_{L^{p^{\prime }}\left(\mathbb{R}\right)}\hfill \\ \hfill =& {\left(2\pi \right)}^{1/2-1/p^{\prime }}\frac{1}{h^{2s-1}}{\left\{{\int }_{\left|v\right|\ge \sigma }{\left|\left({\left(hv\right)}^{2s-1}-{\varphi }_{2s-1}\left(hv\right)\right)\widehat{f}\left(v\right)\right|}^{p^{\prime }}dv\right\}}^{1/p^{\prime }}\hfill \\ \hfill \le & \frac{4}{3}{\left(2\pi \right)}^{1/2-1/p^{\prime }}{\left\{{\int }_{\left|v\right|\ge \sigma }{\left|v^{2s-1}\widehat{f}\left(v\right)\right|}^{p^{\prime }}dv\right\}}^{1/p^{\prime }}\hfill \\ \hfill =& \frac{4}{3}{\left(2\pi \right)}^{1/2-1/p^{\prime }}{dist}_{p^{\prime }}(f^{(2s-1)},B_{\sigma }^2)\hfill \end{array}$$

where we have used that $|v^{2s-1}-{\varphi }_{2s-1}\left(v\right)|\le (1+3^{-2s+1}){\left|v\right|}^{2s-1}\le (4/3){\left|v\right|}^{2s-1}$. This completes the proof.           ☐

By an analogous proof, we deduce from Theorem 5.2 the following result for derivatives of even order.

Theorem 6.2. 

Let $s\in \mathbb{N}$, $f\in F^{2s,2}$, $p\in [2,\infty ]$, and suppose that $v^{2s}\widehat{f}\left(v\right)$ belongs to $L^{p^{\prime }}\left(\mathbb{R}\right)$ as a function of v. Then, for any $\sigma >0$, we have:

$$\parallel f^{\left(2s\right)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le {\sigma }^{2s}{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}+{\parallel R_{2s,\sigma }^{\text{Boas}}f\parallel }_{L^p\left(\mathbb{R}\right)}$$

with $R_{2s,\sigma }^{\text{Boas}}f$ defined by (45). Furthermore,

$$\begin{array}{cc}\hfill \parallel R_{2s,\sigma }^{\text{Boas}}{f\parallel }_{L^p\left(\mathbb{R}\right)}\le & {\left(2\pi \right)}^{1/2-1/p^{\prime }}{\left\{{\int }_{\left|v\right|\ge \sigma }{\left|v^{2s}\widehat{f}\left(v\right)\right|}^{p^{\prime }}dv\right\}}^{1/p^{\prime }}={\left(2\pi \right)}^{1/2-1/p^{\prime }}{dist}_{p^{\prime }}(f^{\left(2s\right)},B_{\sigma }^2)\hfill \end{array}$$

(53)

It should be noted that for derivatives of odd order the bound in terms of the distance function is by a factor $4/3$ bigger than the corresponding bound for derivatives of even order. However, when $p=2$, we can profit from the isometry of the Fourier transform and deduce the same bound in both cases. An obvious modification of the proof in [1,Theorem 11] leads to the following result.

Theorem 6.3. 

Let $s\in \mathbb{N}$, $f\in F^{s,2}$ and suppose that $v^s\widehat{f}\left(v\right)\in L^2\left(\mathbb{R}\right)$ as a function of v. Then, for any $\sigma >0$, we have

$$\parallel f^{\left(s\right)}{\parallel }_{L^2\left(\mathbb{R}\right)}\le {\sigma }^s{\parallel f\parallel }_{L^2\left(\mathbb{R}\right)}+{dist}_2(f^{\left(s\right)},B_{\sigma }^2)$$

7. Landau–Kolmogorov Inequalities

In this section we consider the case where f belongs to a Sobolev space and deduce Landau–Kolmogorov inequalities, a very popular and still active field. The proof of the following proposition is essentially contained in that of [1, Proposition 13].

Proposition 7.1. 

Let $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, where $r\in \mathbb{N}$. Then for $s\in \mathbb{N}$ with $s\le r$, we have

$${dist}_2(f^{\left(s\right)},B_{\sigma }^2)\le \frac{1}{{\sigma }^{r-s}}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}$$

and

$${dist}_q(f^{\left(s\right)},B_{\sigma }^2)\le \frac{c_{r-s,q}}{{\sigma }^{r-s+1/2-1/q}}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}$$

for $q\in [1,2)$ and $r\ge s-1/2+1/q$, where

$$c_{r,q}:={\left(\frac{4-2q}{(2r+1)q-2}\right)}^{1/q-1/2}$$

(54)

Proposition 7.1 enables us to deduce from Theorems 6.1–6.3 the following corollaries.

Corollary 7.2. 

Let $s\in \mathbb{N}$ and $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, where $r\ge 2s$. Then, for $p\in [2,\infty ]$ and any $\sigma >0$, we have:

$$\parallel f^{(2s-1)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le {\sigma }^{2s-1}{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}+\frac{4}{3}{\left(2\pi \right)}^{1/2-1/p^{\prime }}\frac{c_{r-2s+1,p^{\prime }}}{{\sigma }^{r-2s+3/2-1/p^{\prime }}}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}$$

(55)

Corollary 7.3. 

Let $s\in \mathbb{N}$ and let $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, where $r>2s$. Then, for $p\in [2,\infty ]$ and any $\sigma >0$, we have

$$\parallel f^{\left(2s\right)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le {\sigma }^{2s}{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}+{\left(2\pi \right)}^{1/2-1/p^{\prime }}\frac{c_{r-2s,p^{\prime }}}{{\sigma }^{r-2s+1/2-1/p^{\prime }}}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}$$

(56)

Corollary 7.4. 

Let $s\in \mathbb{N}$ and let $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, where $r>s$. Then, for any $\sigma >0$, we have:

$$\parallel f^{\left(s\right)}{\parallel }_{L^2\left(\mathbb{R}\right)}\le {\sigma }^s{\parallel f\parallel }_{L^2\left(\mathbb{R}\right)}+{\sigma }^{s-r}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}$$

(57)

Note that for $s=1$ Corollary 7.2 reduces to a result in [1, Corollary 16].

The statements of Corollaries 7.2–7.4 can be interpreted as a linearized equivalent form of a Landau–Kolmogorov inequality [21,22]. The equivalence is shown by the following lemma in which ${\mathbb{R}}_{+}:=(0,\infty )$. A more specialized result was mentioned by Stečkin [23]; also see [21, pp. 5–6].

Lemma 7.5. 

Let $(x,y,z)\in {\mathbb{R}}_{+}^3,$ $C>0$ and $0<s<t.$ Then,

$$z\le {\sigma }^{s}x+C{\sigma }^{s-t}y$$

(58)

for all $\sigma >0$ if and only if,

$$z\le K{x}^{1-\alpha }{y}^{\alpha }$$

(59)

where,

$$\alpha =\frac{s}{t}\text{and}K=\frac{C^{\alpha }}{{\alpha }^{\alpha }{(1-\alpha )}^{1-\alpha }}$$

(60)

Proof. 

Suppose that (58) holds. Then we may minimize the right-hand side over σ by using standard calculus. This leads us to (59) with α and K given by Equation (60).

Conversely, suppose that (59) holds with $K>0$ and $\alpha \in (0,1)$. Consider now the function:

$$F(x,y):=K{x}^{1-\alpha }{y}^{\alpha }$$

Its Hessian shows that it is concave on ${\mathbb{R}}_{+}^2$. Hence, at any point $(x_0,y_0)\in {\mathbb{R}}_{+}^2$ the tangent plane of F lies above the graph of F, that is,

$$F(x,y)\le F(x_0,y_0)+⟨gradF(x_0,y_0),(x-x_0,y-y_0)⟩$$

Setting $\lambda :=y_0/x_0$, we find by a straightforward calculation that:

$$F(x,y)\le K(1-\alpha ){\lambda }^{\alpha }x+K\alpha {\lambda }^{\alpha -1}y$$

Now, setting $s:=\alpha t$ and defining:

$$\sigma :={\left[K(1-\alpha ){\lambda }^{\alpha }\right]}^{1/s}$$

we find that:

$$K\alpha {\lambda }^{\alpha -1}=K^{1/\alpha }\alpha {(1-\alpha )}^{1/\alpha -1}{\sigma }^{s-t}$$

This shows that:

$$F(x,y)\le {\sigma }^{s}x+C{\sigma }^{s-t}y$$

with C defined by (60). Since λ may take any value in $(0,\infty )$, the same is true for σ. Hence (59) implies (58).            ☐

Lemma 7.5 can be used to deduce three Landau–Kolmogorov inequalities from (55)–(57). We may state them in a unified form as follows.

Corollary 7.6. 

Let $s\in \mathbb{N}$ and $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, where $r\in \mathbb{N}$ and $r>s.$ For $p\in [2,\infty ]$ define:

$$\alpha :=\frac{s}{r+\frac{1}{2}-\frac{1}{p^{\prime }}}$$

and,

$$C(s,r,p):=\left\{\begin{array}{cc}1,& p=2\hfill \\ {\left(2\pi \right)}^{1/2-1/p^{\prime }}{c}_{r-s,p^{\prime }},& p\in (2,\infty ],s\text{even}\hfill \\ \frac{4}{3}{\left(2\pi \right)}^{1/2-1/p^{\prime }}{c}_{r-s,p^{\prime }},& p\in (2,\infty ],s\text{odd}\hfill \end{array}\right.$$

with $c_{r-s,p^{\prime }}$ given by (54). Then,

$$\parallel f^{\left(s\right)}{\parallel }_{L^p\left(\mathbb{R}\right)}\le \frac{C{(s,r,p)}^{\alpha }}{{\alpha }^{\alpha }{(1-\alpha )}^{1-\alpha }}{\parallel f\parallel }_{L^p\left(\mathbb{R}\right)}^{1-\alpha }{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}^{\alpha }$$

(61)

Unfortunately, the constant in (61) is not the best possible. However, the discussion in [24, pp. 442–447], does not extend to results for $p\in (2,\infty )$. For $p=2$ inequality (61) simplifies to:

$$\parallel f^{\left(s\right)}{\parallel }_{L^2\left(\mathbb{R}\right)}\le \left[{\left(\frac{r-s}{s}\right)}^{s/r}+{\left(\frac{s}{r-s}\right)}^{1-s/r}\right]{\parallel f\parallel }_{L^2\left(\mathbb{R}\right)}^{1-s/r}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}^{s/r}$$

Here the term in square brackets can be replaced by 1. For $s=1$ and $r=2$, this is shown in [25, § 7.9, No. 261]. For general $r,s\in \mathbb{N}$ with $r>s$, we may use the isometry of the $L^2$-Fourier transform together with Hölder’s inequality and proceed as follows:

$$\begin{array}{cc}\hfill \parallel f^{\left(s\right)}{\parallel }_{L^2\left(\mathbb{R}\right)}^2=& {\int }_{\mathbb{R}}{\left|v^s\widehat{f}\left(v\right)\right|}^{2}dv\hfill \\ \hfill =& {\int }_{\mathbb{R}}{v}^{2s}|\widehat{f}{\left(v\right)|}^{2s/r}·{\left|\widehat{f}\left(v\right)\right|}^{2(1-s/r)}dv\hfill \\ \hfill \le & {\left\{{\int }_{\mathbb{R}}{\left[v^{2s}{\left|\widehat{f}\left(v\right)\right|}^{2s/r}\right]}^{p}dv\right\}}^{1/p}·{\left\{{\int }_{\mathbb{R}}{\left|\widehat{f}\left(v\right)\right|}^{2(1-s/r)p^{\prime }}dv\right\}}^{1/p^{\prime }}\hfill \\ \hfill =& {\left\{{\int }_{\mathbb{R}}{v}^{2r}{\left|\widehat{f}\left(v\right)\right|}^{2}dv\right\}}^{s/r}·{\left\{{\int }_{\mathbb{R}}{\left|\widehat{f}\left(v\right)\right|}^{2}dv\right\}}^{1-s/r}\hfill \\ \hfill =& {\parallel f\parallel }_{L^2\left(\mathbb{R}\right)}^{2(1-s/r)}·{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}^{2s/r}\hfill \end{array}$$

Now, employing Lemma 7.5, we may in turn improve upon Corollary 7.4. This way we obtain:

Corollary 7.7. 

Let $s\in \mathbb{N}$ and let $f\in W^{r,2}\left(\mathbb{R}\right)\cap C\left(\mathbb{R}\right)$, where $r>s$. Then, for any $\sigma >0$, we have

$$\parallel f^{\left(s\right)}{\parallel }_{L^2\left(\mathbb{R}\right)}\le {\sigma }^s{\parallel f\parallel }_{L^2\left(\mathbb{R}\right)}+{\left[\frac{{(r-s)}^{r-s}{s}^s}{r^r}\right]}^{1/s}{\sigma }^{s-r}{\parallel f^{\left(r\right)}\parallel }_{L^2\left(\mathbb{R}\right)}$$

8. Boas-type Formulae for the Hilbert Transform

We now establish the counterparts of the theorems of Section 4 and Section 5 in the instance of Hilbert transforms. Although the definition of the Hilbert transform can be extended to signals $f\in L^p\left(\mathbb{R}\right)$, $1\le p\le \infty$, (see [26, p. 126 ff.]), we restrict ourselves to the most important case $p=2$.

8.1. Formulae for Bandlimited Functions

The derivatives ${\widetilde{sinc}}^{\left(s\right)}\left(t\right)$ are needed. They are given by (cf. (10)),

$$\begin{array}{cc}\hfill {\widetilde{sinc}}^{\left(s\right)}\left(t\right)=& {\left(\frac{1-cos\pi t}{\pi t}\right)}^{\left(s\right)}=\sum _{j=0}^s\left(\genfrac{}{}{0pt}{}{s}{j}\right){(1-cos\pi t)}^{\left(j\right)}{\left(\frac{1}{\pi t}\right)}^{(s-j)}\hfill \\ \hfill =& \frac{{(-1)}^{s}s!}{\pi t^{s+1}}-\sum _{j=0}^s\left(\genfrac{}{}{0pt}{}{s}{j}\right){\pi }^{j}cos\left(\pi t+\frac{j\pi }{2}\right)\frac{{(-1)}^{s-j}(s-j)!}{\pi t^{s-j+1}}\hfill \\ \hfill =& \frac{{(-1)}^{s}s!}{\pi t^{s+1}}\left\{1-\sum _{j=0}^{s}cos\left(\pi t+\frac{j\pi }{2}\right)\frac{{(-1)}^j{\left(\pi t\right)}^j}{j!}\right\}\hfill \end{array}$$

By the cosine addition formula this can be rewritten as:

$$\begin{array}{cc}\hfill {\widetilde{sinc}}^{\left(s\right)}\left(t\right)=& \frac{{(-1)}^{s}s!}{\pi t^{s+1}}\left\{1-cos\pi t\sum _{\nu =0}^{\lfloor \frac{s}{2}\rfloor }\frac{{(-1)}^{\nu }{\left(\pi t\right)}^{2\nu }}{\left(2\nu \right)!}-sin\pi t\sum _{\nu =0}^{\lfloor \frac{s-1}{2}\rfloor }\frac{{(-1)}^{\nu }{\left(\pi t\right)}^{2\nu +1}}{(2\nu +1)!}\right\}\hfill \end{array}$$

(62)

where the right hand side is thought to be continuously extended at $t=0$ by:

$${\widetilde{sinc}}^{\left(s\right)}\left(0\right)=\left\{\begin{array}{cc}{(-1)}^{(s-1)/2}{\displaystyle \frac{{\pi }^s}{s+1}},\hfill & s\text{odd}\hfill \\ 0,\hfill & s\text{even}\hfill \end{array}\right.(s\in {\mathbb{N}}_0)$$

This can be easily obtained from (11) or the power series expansion:

$$\widetilde{sinc}\left(t\right)=\sum _{j=1}^{\infty }\frac{{(-1)}^{j+1}}{\left(2j\right)!}{\left(\pi t\right)}^{2j-1}$$

As an application, we now come two new Boas-type formulae, one for derivatives of odd order and another for those of even order.

Theorem 8.1. 

Let $f\in B_{\sigma }^2$ for some $\sigma >0$ and $h:=\pi /\sigma$. Then for $s\in \mathbb{N}$,

$$\begin{array}{c}\hfill {\tilde{f}}^{(2s-1)}\left(t\right)=\frac{1}{h^{2s-1}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{A}}_{s,k}f(t+hk)(t\in \mathbb{R})\end{array}$$

(63)

and for $s\in {\mathbb{N}}_0$,

$$\begin{array}{c}\hfill {\tilde{f}}^{\left(2s\right)}\left(t\right)=\frac{1}{h^{2s}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{B}}_{s,k}f\left(t+h\left((k-\frac{1}{2}\right)\right)(t\in \mathbb{R})\end{array}$$

(64)

Here the coefficients ${\tilde{A}}_{s,k}$ and ${\tilde{B}}_{s,k}$ are given by:

$${\tilde{A}}_{s,k}:={(-1)}^{k+1}{\widetilde{sinc}}^{(2s-1)}(-k)=\left\{\begin{array}{cc}{\displaystyle {(-1)}^s{\displaystyle \frac{{\pi }^{2s-1}}{2s}}}\hfill & k=0\hfill \\ {\displaystyle \frac{(2s-1)!}{\pi k^{2s}}\left\{{(-1)}^k-\sum _{j=0}^{s-1}\frac{{(-1)}^j}{\left(2j\right)!}{\left(\pi k\right)}^{2j}\right\}}\hfill & k\in \mathbb{Z}\setminus \left\{0\right\}\hfill \end{array}\right.$$

(65)

$${\tilde{B}}_{s,k}:={(-1)}^{k+1}\widetilde{sinc}\left(2s\right)\left(\frac{1}{2}-k\right)=\frac{\left(2s\right)!}{\pi {(k-\frac{1}{2})}^{2s+1}}\left\{{(-1)}^k+\sum _{j=0}^{s-1}\frac{{(-1)}^j{\left[\pi (k-\frac{1}{2})\right]}^{2j+1}}{(2j+1)!}\right\}(k\in \mathbb{Z})$$

(66)

Proof. 

The proof follows along the same lines as the first proof of Theorem 4.1, starting with:

$${\tilde{f}}^{(2s-1)}\left(0\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){\widetilde{sinc}}^{(2s-1)}(-k)$$

in the case of odd order derivatives, and with:

$${\tilde{f}}^{\left(2s\right)}\left(\frac{1}{2}\right)=\sum _{k=-\infty }^{\infty }f\left(k\right){\widetilde{sinc}}^{\left(2s\right)}\left(\frac{1}{2}-k\right)$$

for even orders.            ☐

For $s=0$ one obtains from (64):

$$\tilde{f}\left(t\right)=\sum _{k=-\infty }^{\infty }\frac{-1}{\pi (k-\frac{1}{2})}f\left(t+h\left(k-\frac{1}{2}\right)\right)$$

and the case $s=1$ in (63) gives:

$$\tilde{f}{}^{\prime }\left(t\right)=\frac{\pi }{2h}f\left(t\right)+\frac{1}{h}\sum _{k=-\infty }^{\infty }\frac{-2}{\pi {(2k+1)}^2}f\left(t+h(2k+1)\right)$$

(67)

already to be found in [27, p. 203]; see also [11]. The case $s=1$ in (64) gives:

$$\tilde{f}{}^{\prime \prime }\left(t\right)=\frac{1}{h^2}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}\frac{2\left[{(-1)}^k+(\pi \left(k-\frac{1}{2}\right)\right]}{\pi {\left(k-\frac{1}{2}\right)}^3}f\left(t+h\left(k-\frac{1}{2}\right)\right)(t\in \mathbb{R})$$

(68)

8.2. Achieser-type Formulae

Achieser [26, p. 143, (II)] proved an informative formula, which combines the assertions of the first derivative of a signal and that of its Hilbert transform. It may be stated for our definition of the Hilbert transform as follows:

Let $f\in B_{\sigma }^2$. Then,

$$sin\alpha f^{\prime }\left(t\right)-cos\alpha {\tilde{f}}^{\prime }\left(t\right)=\sigma \sum _{k\in \mathbb{Z}}{(-1)}^{k+1}\frac{2{sin}^2\left(\frac{\alpha -k\pi }{2}\right)}{{(\alpha -k\pi )}^2}f\left(t+\frac{k\pi -\alpha }{\sigma }\right)$$

We now establish analogous formulae for higher derivatives, distinguishing the cases of odd and even order.

Theorem 8.2. 

Let $f\in B_{\sigma }^2$ for some $\sigma >0$ and $h:=\pi /\sigma$. Then for $\alpha \in \mathbb{R}$ and $s\in \mathbb{N}$,

$$sin\alpha f^{(2s-1)}\left(t\right)-cos\alpha {\tilde{f}}^{(2s-1)}\left(t\right)=\frac{1}{h^{2s-1}}\sum _{k\in \mathbb{Z}}{(-1)}^{k+1}{A}_{s,k}\left(\alpha \right)f\left(t+h\left(k-\frac{\alpha }{\pi }\right)\right)$$

(69)

and,

$$cos\alpha f^{\left(2s\right)}\left(t\right)+sin\alpha {\tilde{f}}^{\left(2s\right)}\left(t\right)=\frac{1}{h^{2s}}\sum _{k\in \mathbb{Z}}{(-1)}^{k+1}{B}_{s,k}\left(\alpha \right)f\left(t+h\left(k-\frac{\alpha }{\pi }\right)\right)$$

(70)

where,

$$\begin{array}{cc}\hfill A_{s,k}\left(k\pi \right):=& {(-1)}^{s-1}\frac{{\pi }^{2s-1}}{2s}(k\in \mathbb{Z}),\hfill \\ \hfill A_{s,k}\left(\alpha \right):=& -\frac{{\pi }^{2s-1}(2s-1)!}{{(\alpha -k\pi )}^{2s}}\left[{(-1)}^{k}cos\alpha -\sum _{j=0}^{s-1}\frac{{(-1)}^j}{\left(2j\right)!}{(\alpha -k\pi )}^{2j}\right](\alpha \ne k\pi )\hfill \end{array}$$

and,

$$\begin{array}{cc}\hfill B_{s,k}\left(k\pi \right):=& {(-1)}^{s-1}\frac{{\pi }^{2s}}{2s+1}(k\in \mathbb{Z}),\hfill \\ \hfill B_{s,k}\left(\alpha \right):=& -\frac{{\pi }^{2s}\left(2s\right)!}{{(\alpha -k\pi )}^{2s+1}}\left[{(-1)}^{k}sin\alpha -\sum _{j=0}^{s-1}\frac{{(-1)}^j}{(2j+1)!}{(\alpha -k\pi )}^{2j+1}\right](\alpha \ne k\pi )\hfill \end{array}$$

Proof. 

First let $f\in B_{\pi }^2.$ Then,

$$\begin{array}{c}\hfill {\displaystyle sin\alpha f^{(2s-1)}\left(\frac{\alpha }{\pi }\right)-cos\alpha {\tilde{f}}^{(2s-1)}\left(\frac{\alpha }{\pi }\right)=}\\ & & \sum _{k\in \mathbb{Z}}\left[sin\alpha {sinc}^{(2s-1)}\left(\frac{\alpha }{\pi }-k\right)-cos\alpha {\widetilde{sinc}}^{(2s-1)}\left(\frac{\alpha }{\pi }-k\right)\right]f\left(k\right)\hfill \end{array}$$

By using the formulae (19) and (62) for calculating the term in square brackets, we find that:

$$\begin{array}{c}\hfill {\displaystyle sin\alpha {sinc}^{(2s-1)}\left(\frac{\alpha }{\pi }-k\right)-cos\alpha {\widetilde{sinc}}^{(2s-1)}\left(\frac{\alpha }{\pi }-k\right)=}\\ & & -\frac{{\pi }^{2s-1}(2s-1)!}{{(\alpha -k\pi )}^{2s}}\left[-cos\alpha +{(-1)}^k\sum _{j=0}^{s-1}\frac{{(-1)}^j}{\left(2j\right)!}{(\alpha -k\pi )}^{2j}\right]={(-1)}^{k+1}{A}_{s,k}\left(\alpha \right)\hfill \end{array}$$

for $\alpha \ne k\pi$ with $A_{s,k}\left(\alpha \right)$ as defined in the theorem. The values of ${sinc}^{(2s-1)}\left(0\right)$ and $sinc{\widetilde{\phantom{.}}}^{(2s-1)}\left(0\right)$ show that the left-hand side is equal to the right-hand side for $\alpha =k\pi$ as well. Hence we have proved that:

$$sin\alpha f^{(2s-1)}\left(\frac{\alpha }{\pi }\right)-cos\alpha {\tilde{f}}^{(2s-1)}\left(\frac{\alpha }{\pi }\right)=\sum _{k\in \mathbb{Z}}{(-1)}^{k+1}{A}_{s,k}\left(\alpha \right)f\left(k\right)$$

If $f\in B_{\sigma }^2$ for an arbitrary $\sigma >0$, then applying this result to the function $u\mapsto f(hu+t-h\alpha /\pi )$, we obtain (69). The proof of (70) is strictly analogous.       ☐

Remark 8.3. 

Note that Theorem 8.2 contains the statements of Theorems 4.1 for $f\in B_{\sigma }^2\subset B_{\sigma }^{\infty }$ and 8.1 for $s\in \mathbb{N}$ as special cases. This follows by observing that:

$$A_{s,k}\left(0\right)=-{\tilde{A}}_{s,k},A_{s,k}\left(\frac{\pi }{2}\right)=A_{s,k},B_{s,k}\left(0\right)=B_{s,k},B_{s,k}\left(\frac{\pi }{2}\right)={\tilde{B}}_{s,k}$$

Next we establish integral representations for the numbers $A_{s,k}\left(\alpha \right)$ and $B_{s,k}\left(\alpha \right)$, which allow us to determine the signs of these numbers.

Proposition 8.4. 

(a) For $s\in \mathbb{N}$, $s>1$ and $\alpha \ne k\pi$ we have the integral represention:

$$A_{s,k}\left(\alpha \right)={(-1)}^{s-1}\frac{{\pi }^{2s-1}(2s-1)(2s-2)}{{(\alpha -k\pi )}^{2s}}{\int }_0^{\alpha -k\pi }{t}^{2s-3}\left(\phantom{(}1-{(-1)}^{k}cos(t-\alpha )\right)dt$$

(71)

Furthermore,

$${(-1)}^{s-1}{A}_{s,k}\left(\alpha \right)>0$$

(72)

for all $s\in \mathbb{N},$ $k\in \mathbb{Z}$ and $\alpha \in \mathbb{R}.$

(b) For $s\in \mathbb{N}$ and $\alpha \ne k\pi$ we have the integral representation:

$$B_{s,k}\left(\alpha \right)={(-1)}^{s-1}\frac{{\pi }^{2s}2s(2s-1)}{{(\alpha -k\pi )}^{2s+1}}{\int }_0^{\alpha -k\pi }{t}^{2s-2}\left(\phantom{(}1-{(-1)}^{k}cos(t-\alpha )\right)dt$$

(73)

Furthermore,

$${(-1)}^{s-1}{B}_{s,k}\left(\alpha \right)>0$$

(74)

for all $s\in \mathbb{N}$, $k\in \mathbb{Z}$ and $\alpha \in \mathbb{R}.$

Proof. 

Let $s>1$ and $\alpha \ne k\pi$. Writing ${(-1)}^{k}cos\alpha$ as $cos(\alpha -k\pi )$ and using Taylor’s formula as given by (34), we readily find that:

$$A_{s,k}\left(\alpha \right)={(-1)}^{s-1}\frac{{\pi }^{2s-1}(2s-1)!}{{(\alpha -k\pi )}^{2s}}{\int }_0^{\alpha -k\pi }\frac{{(\alpha -k\pi -t)}^{2s-2}}{(2s-2)!}sintdt$$

Now integration by parts and a change of variables yields (71). The integral in (71) is always positive, regardless of whether $\alpha -k\pi$ is positive or negative. This shows that (72) holds whenever (71) is valid. For $s=1$ and for the exceptional values of α, the validity of (72) can be verified directly.

The proofs of (73) and (74) are analogous except for obvious variations.       ☐

8.3. Extensions to Non-bandlimited Functions

Our next aim is to extend (63) and (64) to larger function spaces.

Theorem 8.5. 

Let $s\in \mathbb{N},$ $f\in F^{2s-1,2}$. Then ${\tilde{f}}^{(2s-1)}$ exists and for $h>0$, $\sigma :=\pi /h$ formula (63) extends to:

$${\tilde{f}}^{(2s-1)}\left(t\right)=\frac{1}{h^{2s-1}}\sum _{k\in \mathbb{Z}}{(-1)}^{k+1}{\tilde{A}}_{s,k}f(t+hk)+\left({\tilde{R}}_{2s-1,\sigma }^{\text{Boas}}f\right)\left(t\right)(t\in \mathbb{R})$$

where,

$$\left({\tilde{R}}_{2s-1,\sigma }^{\text{Boas}}f\right)\left(t\right)=\frac{{(-1)}^{s+1}}{\sqrt{2\pi }{h}^{2s-1}}{\int }_{\left|v\right|\ge \sigma }\left[(sgnv){\left(hv\right)}^{2s-1}-{\chi }_{2s-1}\left(hv\right)\right]\widehat{f}\left(v\right)e^{ivt}dv$$

with ${\chi }_{2s-1}$ being the $2\pi$-periodic function defined by:

$${\chi }_{2s-1}\left(v\right):=(sgnv)v^{2s-1}={\left|v\right|}^{2s-1}(-\pi <v\le \pi )$$

(75)

In particular,

$$\begin{array}{cc}& \left|\left({\tilde{R}}_{2s-1,\sigma }^{\text{Boas}}f\right)\left(t\right)\right|\le \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }\left|v^{2s-1}\widehat{f}\left(v\right)\right|dv=\frac{1}{\sqrt{2\pi }}{dist}_1(f^{(2s-1)},B_{\sigma }^2)\hfill \end{array}$$

Proof. 

Following the proof of Theorem 5.1 we find that:

$$\begin{array}{c}\hfill \left({\tilde{R}}_{2s-1,\pi }^{\text{Boas}}f\right)\left(0\right)={\widetilde{f_1}}^{(2s-1)}\left(0\right)-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{A}}_{s,k}{f}_1\left(k\right)\end{array}$$

$${\widetilde{f_1}}^{(2s-1)}\left(0\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)(-isgnv){\left(iv\right)}^{2s-1}dv$$

and,

$$f_1\left(k\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)e^{ikv}dv(k\in \mathbb{Z})$$

There follows:

$$\left({\tilde{R}}_{2s-1,\pi }^{\text{Boas}}f\right)\left(0\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)\left[(-isgnv){\left(iv\right)}^{2s-1}-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{A}}_{s,k}{e}^{ikv}\right]dv$$

(76)

In order to evaluate the infinite series in (76), we have to proceed in a different way from the proof of Theorem 5.1. Indeed, since the function $g_v:t\mapsto e^{ivt}$ does not belong to $L^2\left(\mathbb{R}\right)$ we cannot apply formula (63) to this function.

On the other hand, there holds by (65) and (11),

$$\begin{array}{cc}\hfill {(-1)}^{k+1}{\tilde{A}}_{s,k}=& {\widetilde{sinc}}^{(2s-1)}(-k)={(-1)}^{s+1}\frac{1}{2\pi }{\int }_{-\pi }^{\pi }(sgnv)v^{2s-1}{e}^{-ikv}dv\hfill \end{array}$$

i.e., the series in (76) is the (trigonometric) Fourier series of the $2\pi$-periodic function ${(-1)}^{s+1}{\chi }_{2s-1}$ with ${\chi }_{2s-1}$ defined by (75). Moreover, since ${\chi }_{2s-1}\left(v\right)$ is differentiable, save possibly for $v=j\pi$, $j\in \mathbb{Z}$, we even have (cf. [2, Proposition 4.1.5]),

$$\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{A}}_{s,k}{e}^{ikv}={(-1)}^{s+1}{\chi }_{2s-1}\left(v\right)\left(\text{a.}\text{e}\text{on}\mathbb{R}\right)$$

The proof can now be completed as the proof of Theorem 5.1.        ☐

The graphs of ${\chi }_1$ and ${\chi }_3$ are shown in Figure 5 and Figure 6 below.

Figure 5. The graph of ${\pi }^{-1}{\chi }_1$.

Figure 5. The graph of ${\pi }^{-1}{\chi }_1$.

Figure 6. The graph of ${\pi }^{-3}{\chi }_3$.

Figure 6. The graph of ${\pi }^{-3}{\chi }_3$.

Theorem 8.6. 

Let $s\in \mathbb{N}$, $f\in F^{2s,2}$. Then ${\tilde{f}}^{\left(2s\right)}$ exists and for $h>0$, $\sigma :=\pi /h$ formula (64) extends to:

$${\tilde{f}}^{\left(2s\right)}\left(t\right)=\frac{1}{h^{2s}}\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{B}}_{s,k}f\left(t+h\left((k-\frac{1}{2}\right)\right)+\left({\tilde{R}}_{2s,\sigma }^{\text{Boas}}f\right)\left(t\right)(t\in \mathbb{R})$$

(77)

where,

$$\left({\tilde{R}}_{2s,\sigma }^{\text{Boas}}f\right)\left(t\right)=\frac{i{(-1)}^{s+1}}{\sqrt{2\pi }{h}^{2s}}{\int }_{\left|v\right|\ge \sigma }\left[(sgnv){\left(hv\right)}^{2s}-{\chi }_{2s}\left(hv\right)\right]\widehat{f}\left(v\right)e^{ivt}dv$$

(78)

Here ${\chi }_{2s}$ is the $4\pi$-periodic function defined by:

$${\chi }_{2s}\left(v\right):=\left\{\begin{array}{cc}(sgnv)v^{2s},& -\pi <v\le \pi \\ sgn(2\pi -v){(2\pi -v)}^{2s},& \phantom{-}\pi <v\le 3\pi \end{array}\right.$$

In particular,

$$\left|\left({\tilde{R}}_{2s,\sigma }^{\text{Boas}}f\right)\left(t\right)\right|\le \frac{1+3^{-2s}}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }{v}^{2s}\left|\widehat{f}\left(v\right)\right|dv=\frac{1+3^{-2s}}{\sqrt{2\pi }}{dist}_1(f^{\left(2s\right)},B_{\sigma }^2)$$

Proof. 

Proceeding as in the proof of Theorem 8.5, we arrive at a formula corresponding to (76), namely,

$$\left({\tilde{R}}_{2s,\pi }^{\text{Boas}}f\right)\left(0\right)=\frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \pi }\widehat{f}\left(v\right)\left[(-isgnv){\left(iv\right)}^{2s}-\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{B}}_{s,k}{e}^{i(k-1/2)v}\right]dv$$

(79)

Noting (66) and (11), we see that the infinite series in (79) can be rewritten as a Fourier series, namely,

$$\begin{array}{cc}& \sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{B}}_{s,k}{e}^{i(k-1/2)v}=e^{-iv/2}\sum _{k=-\infty }^{\infty }sinc{\widetilde{\phantom{.}}}^{\left(2s\right)}\left(\frac{1}{2}-k\right)e^{ikv}\hfill \\ \hfill =& {(-1)}^{s-1}{e}^{-iv/2}\sum _{k=-\infty }^{\infty }\left\{\frac{1}{2\pi }{\int }_{-\pi }^{\pi }(sgnv)v^{2s}{e}^{iv/2}{e}^{-ikv}dv\right\}{e}^{ikv}\hfill \end{array}$$

and, using the same arguments on the convergence of Fourier series as above, we obtain:

$$\sum _{k=-\infty }^{\infty }{(-1)}^{k+1}{\tilde{B}}_{s,k}{e}^{i(k-1/2)v}={(-1)}^{s-1}{\chi }_{2s}\left(v\right)(0<|v|<\pi )$$

(80)

Since the series in (80) defines a $4\pi$-periodic function satisfying ${\chi }_{2s}(v+2n\pi )={(-1)}^n{\chi }_{2s}\left(v\right)$ for all $n\in \mathbb{Z}$, it follows that (80) holds a. e. on $\mathbb{R}$. This yields (77) with remainder (78) for $h=1$ and $t=0$. The rest of the proof now follows as in the proof of Theorem 5.1.       ☐

The graphs of ${\chi }_2$ and ${\chi }_4$ are shown in Figure 7 and Figure 8 below.

Figure 7. The graph of ${\pi }^{-2}{\chi }_2$.

Figure 7. The graph of ${\pi }^{-2}{\chi }_2$.

Figure 8. The graph of ${\pi }^{-4}{\chi }_4$.

Figure 8. The graph of ${\pi }^{-4}{\chi }_4$.

9. Applications

In this section we apply the results of Section 3 and Section 8 to the signal function $g\left(t\right):=1/(1+t^2)$, $t\in \mathbb{R}$, having Fourier transform $\sqrt{\pi /2}exp(-|v\left|\right)$ and Hilbert transform $\tilde{g}\left(t\right)=t/(1+t^2)$. The extended sampling theorem for the Hilbert transform (Theorem 3.4) takes on the concrete form, first for $\tilde{g}{}^{\prime }$,

$$\begin{array}{cc}& \left|\frac{1-t^2}{{(1+t^2)}^2}-\sum _{k=-\infty }^{\infty }\frac{{\sigma }^2}{{\sigma }^2+{\left(k\pi \right)}^2}\frac{\pi \left(\sigma t-k\right)sin\left(\pi (\sigma t-k)\right)+cos\left(\pi (\sigma t-k)\right)-1}{\pi {(\sigma t-k)}^2}\right|\hfill \end{array}$$

$$\begin{array}{cc}\hfill \le & \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }\sqrt{\frac{\pi }{2}}\left|v\right|e^{-\left|v\right|}dv=(1+\sigma )e^{-\sigma }(\sigma >0)\hfill \end{array}$$

(81)

In practice, one has to deal with a finite sum rather than with the infinite series. This leads to an additional truncation error, namely,

$$\left(T_{\sigma ,N}f\right)\left(t\right)=\sum _{\left|k\right|\ge N+1}\frac{{\sigma }^2}{{\sigma }^2+{\left(k\pi \right)}^2}\frac{\pi \left(\sigma t-k\right)sin\left(\pi (\sigma t-k)\right)+cos\left(\pi (\sigma t-k)\right)-1}{\pi {(\sigma t-k)}^2}$$

Assuming $N\ge \gamma \sigma \left|t\right|$ for some constant $\gamma >1$, then the terms of the latter series, denoted by $a_k$, can be estimated by:

$$|a_k|\le \frac{{\sigma }^2}{{\left(\pi k\right)}^2}\frac{|\sigma t-k|+1}{{|\sigma t-k|}^2}\le \frac{{\sigma }^2(2\gamma +1)}{{\pi }^2(\gamma -1)}\frac{1}{{\left|k\right|}^3}\left(\right|k|>N)$$

This yields for the truncation error:

$$\left|\left(T_{\sigma ,N}f\right)\left(t\right)\right|\le \frac{{\sigma }^2(2\gamma +1)}{{\pi }^2(\gamma -1)}\sum _{\left|k\right|\ge N+1}\frac{1}{{\left|k\right|}^3}\le \frac{2{\sigma }^2(2\gamma +1)}{{\pi }^2(\gamma -1)}{\int }_N^{\infty }\frac{1}{u^3}du=\frac{{\sigma }^2(2\gamma +1)}{{\pi }^2(\gamma -1)}{N}^{-2}$$

Combining the aliasing error in (81) with this estimate for the truncation error, we finally obtain:

$$\begin{array}{cc}& \left|\frac{1-t^2}{{(1+t^2)}^2}-\sum _{k=-N}^N\frac{{\sigma }^2}{{\sigma }^2+{\left(k\pi \right)}^2}\frac{\pi \left(\sigma t-k\right)sin\left(\pi (\sigma t-k)\right)+cos\left(\pi (\sigma t-k)\right)-1}{\pi {(\sigma t-k)}^2}\right|\hfill \\ \hfill \le & (1+\sigma )e^{-\sigma }+\frac{{\sigma }^2(2\gamma +1)}{{\pi }^2(\gamma -1)}{N}^{-2}(\sigma >0;N\ge \gamma \sigma |t\left|\right)\hfill \end{array}$$

Thus, we have a pretty precise and practical estimate for the error occurring when the derivative of the Hilbert transform is reconstructed in terms of the Hilbert version of the sampling theorem. Whereas the first term on the right-hand side covers the aliasing error, the second one is due to truncation.

Similarly, the Boas-type theorem for higher order derivatives (Theorem 8.5) takes the form (recall (67)):

$$\begin{array}{cc}& \left|\frac{1-t^2}{{(1+t^2)}^2}-\left\{\frac{\pi }{2h}-\frac{1}{h}\sum _{k=-\infty }^{\infty }\frac{2}{\pi {(2k+1)}^2}\frac{1}{1+{[t+(2k+1)h]}^2}\right\}\right|\hfill \\ \hfill \le & \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }\sqrt{\frac{\pi }{2}}\left|v\right|e^{-\left|v\right|}dv=(1+\sigma )e^{-\sigma }(\sigma >0)\hfill \end{array}$$

For the second order derivative of $\tilde{g}$ one obtains from Theorem 8.6 for $s=1$,

$$\begin{array}{cc}& \left|\frac{2t^3-6t}{{(1+t^2)}^3}-\frac{1}{h^2}\sum _{k=-\infty }^{\infty }{(-1)}^k\frac{8\left(\pi -2\pi k+2{(-1)}^k\right)}{\pi {(2k-1)}^3}\frac{1}{1+{[t+(2k+1)h]}^2}\right|\hfill \\ \hfill \le & \frac{1}{\sqrt{2\pi }}{\int }_{\left|v\right|\ge \sigma }\sqrt{\frac{\pi }{2}}{v}^2{e}^{-\left|v\right|}dv=(2+2\sigma +{\sigma }^2)e^{-\sigma }(\sigma >0)\hfill \end{array}$$

These are the aliasing errors for the reconstruction of derivatives of the Hilbert transform in terms of the Boas-type formulae. In both cases, the truncation errors can be handled in a similar fashion as above.