Abstract
We establish convergence analysis for Hermite-type interpolations for \(L^{2} ( \mathbb {R})\)-entire functions of exponential type whose linear canonical transforms (LCT) are compactly supported. The results bridges the theoretical gap in implementing the derivative sampling theorems for band-limited signals in the LCT domain. Both complex analysis and real analysis techniques are established to derive the convergence analysis. The truncation error is also investigated and rigorous estimates for it are given. Nevertheless, the convergence rate is \(O(1/\sqrt{N})\), which is slow. Consequently the work on regularization techniques is required.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The linear canonical transform (LCT), extends the fractional Fourier transform (FrFT), and it plays a major role in signal and image processing, approximation theory, optics, as well as many other disciplines, see [8, 12, 15, 16, 20, 22, 28, 32]. For \(f\in L^{2}(\mathbb {R})\) the definition of the LCT, cf. [9, 18, 21, 25], is a four-parameter transform
where \(a,\,b,\,c,\,d\) are real numbers satisfying \(ad-cb=1.\) We exclude the case \(b=0\) in our study as it is trivial. When \((a,b,c,d)= \left( \cos (\alpha ), \sin (\alpha ), -\sin (\alpha ), \cos (\alpha )\right) \), the LCT becomes the FRFT. If \((a,b,c,d)=(0,1,-1,0,)\) the LCT reduces to the Fourier transform (FT). Fresnel transform is the special case when \((a,b,c,d)=(1,b,0,0)\). For more details see [26, 33, 35, 36]. The sampling theorem expansions for LCT and FRFT have been derived in many works, cf., e.g., [5, 18, 19, 27, 30,31,32, 34]. Let \(\sigma >0\) be fixed and let \(B_{\sigma }^{2}\) be the class of bandlimited signals in the LCT domain with band-width \(\sigma \), i.e., [18],
If \(PW^{2}_{\sigma }\) denotes the classical Paley-Wiener space of band-limited functions with band-width \(\sigma \), cf. [11], then \(f\in B^{2}_{\sigma }\) if and only if there is \(f_{o} \in PW^{2}_{\sigma /b}\), \( b>0\), such that \(f(z)= e^{-i\left( a/2b\right) z^2} f_{o}(z)\). The interpolation sampling theorem associated with the LCT states that, see, e.g., [18, 23, 24, 30, 32, 34], if \(f\in B_{\sigma }^{2}\) then
where \(\displaystyle z_{n}:= \frac{n \pi b}{\sigma }, n\in \mathbb {Z}\), are equidistant samples and
Series (1.2) converges absolutely on \(\mathbb {C}\) and uniformly on compact subsets of \(\mathbb {C}\) and on \(\mathbb {R}\) as well. The error analysis for truncation, amplitude and jitter errors associated with the sampling representation (1.2) are considered in [4, 29, 32]. If we take \((a,b,d)=(0,1,0)\) in (1.2), series (1.2) turns to be the classical sampling theorem of Whittaker, Kotelnikov and Shannon (WKS),
cf. [6, 11]. If \(f \in PW^{2}_{2\sigma }\), then f can reconstructed via the following Hermite interpolation sampling theorem
Expansion (1.5) is also called the derivative sampling theorem, see [11]. Series (1.5) converges locally uniformly on \(\mathbb {C}\). The Hermite sampling representation was first established by Jagerman and Fogel (1956) in [14]. Li and Fang (2006) discussed the aliasing error associated with (1.5) in [17]. In [3], truncation, amplitude and jitter errors associated with (1.5) are investigated.
The Hermite sampling theorem or derivative sampling theorem associated with the LCT is given in [18], see also [19], but nothing is said about the types of convergence of this theorem. Therefore the main outcomes of this paper are itemized as follows.
-
The convergence analysis for the Hermite sampling theorem associated with the LCT is established in Section 2.
-
We employ complex analysis techniques, which allow us to derive new important cases in different spaces of entire functions with prescribed growth.
-
The truncation error is estimated in both local (pointwise) and global (uniform) manners in Section 3. Moreover, in Section 4 we estimate the error when the truncation error is accompanied with other types of errors.
The experimental results are presented to show the accuracy and usefulness of derived results in Section 5.
2 LCT-Hermite interpolations
Let \(f \in B^{2}_{2\sigma }\). Define the Hermite interpolation series associated with the LCT, to be:
\(z\in \mathbb {C}\), \(\displaystyle z_{n}= \frac{n \pi b}{\sigma }, n\in \mathbb {Z}\), and \(a,b\in \mathbb {R}, b > 0 \) are arbitrary. We give sufficient conditions for which the \( \mathcal {H}[f](z)\) converges to f. We will also derive estimates for the remainder
where
In the following \(\mathcal {D}_{N}\) denotes the closed square
\(N \in \mathbb {N}\). We also denote by \(\mathcal {C}_{N}= \partial \mathcal {D}_{N}\) to the boundary of \(\mathcal {D}_{N}\). All contours are taken to be positively oriented. We denote by \(\mathcal {D}^\textrm{o}_{N}\) to the interior of \(\mathcal {D}_{N}\). The following lemma gives a Cauchy-type representation for the remainder \( \mathcal {R}_{N}(f(\cdot ))\).
Lemma 1
Let \(f\in B_{2\sigma }^{2}\). Then for any interior point z of \(\mathcal {D}_{N}\), i.e. \(z\in \mathcal {D}^{\textrm{o}}_{N},\, N \in \mathbb {N}\),
Proof
Notice that \( \mathcal {R}_{N}[f]\left( \frac{n\pi b}{\sigma }\right) =0\), since \(\mathcal {H}_{N}[f]\left( \frac{n\pi b}{\sigma }\right) \) is merely \( f(\frac{n\pi b}{\sigma })\), \(n=-N, \cdots , N\). Therefore (2.5) holds true for \(z= z_{n} =\frac{n\pi b}{\sigma }, \, |n|\le N\). For \(z\in \mathcal {D}^\textrm{o}_{N},\, z\ne z_{n}\), define the kernel function
As a function of \(\zeta \), \(\mathcal {K}_{z}(\zeta )\) is a meromorphic function of \(\zeta \) with a simple pole at \(\zeta = z\) and with double poles at \(\zeta =z_{n}\), \(n \in \mathbb {Z}\). By the residue theorem, we obtain
where \(\textrm{Res} (\mathcal {K}_{z}; w)\) denotes the residue of \(\mathcal {K}_{z}\) at w. Obviously
Substituting from (2.8) and (2.9) into (2.7), we obtain (2.5).
Before proving the main convergence results of this section, we introduce the following important estimate.
Lemma 2
For \(f\in B_{2\sigma }^{2}\), there exists \(K>0\), such that
Proof
The proof is based on the fact that \(f\in B_{2\sigma }^{2}\) iff there exists \(f_0 \in PW^{2}_{2\sigma /b}\), such that
From [10, p. 158] there exist \(K>0\) such that for \(z=x+iy\in \mathbb {C}\), we have
Moreover, \(z=x+iy\),
Combining (2.11), (2.12) and (2.13), we obtain (2.10).
Theorem 2.1
Let \(f\in B_{2\sigma }^{2}\). Then \(\mathcal {H}[f](z)\) is locally uniformly convergent to f on \(\mathbb {C}\).
Proof
Let \(\varOmega \subseteq \mathbb {C}\) be compact. We show that \(\mathcal {H}[f](\cdot )\) converges uniformly to \(f(\cdot )\) on \(\varOmega \) by showing that \( \mathcal {R}_{N}[f](\cdot ) \rightrightarrows 0\) uniformly on \(\varOmega \). Indeed, let \(N_{o} \in \mathbb {N}\) be such that \(\varOmega \subset \mathcal {D}^\textrm{o}_{N_o}\). Now fix \(z\in \varOmega \), \(N\in \mathbb {N}\), for which \(\mathcal {D}_{N_o} \subseteq \mathcal {D}_{N}\). Denote the integrals in (2.5) coming from the two horizontal legs of \(\mathcal {C}_{N}\) by \(I_{H}^{\pm }\), where \(+\) and − refer to the upper and the lower line segments, respectively, and the integrals coming from the two vertical legs of \(\mathcal {C}_{N}\) by \(I_{V}^{\pm }\), where \(+\) and − refer to the right and the left line segments, respectively. Then
and direct substitutions leads immediately to
and
Inequality (2.10), implies
Also similar to (2.13), we have
Thus, the integrals (2.15) can be estimated using (2.13), (2.17), and (2.18) to obtain
Since
and
then
which approaches zero as \(N \rightarrow \infty \) without depending on z. Now, we estimate \(I_{V}^{\pm }\). Inequality (2.10), implies
Moreover,
Using (2.23), (2.24), and (2.13) leads us to the estimate
Again
and, for \(z=\pm \left( N+\frac{1}{2}\right) \frac{\pi b}{\sigma } +i y, \; N\in \mathbb {N}\), we have
Combining (2.26), (2.27) and (2.25), we obtain
which tends to zero as \(N \rightarrow \infty \) without depending on z. From (2.5) we conclude that \( \mathcal {R}_{N}[f](\cdot ) \rightrightarrows 0\) uniformly on \(\varOmega \) and the proof is complete.
As we have seen above the order of convergence of \(\mathcal {H}[f](\cdot ) \) to \(f(\cdot ) \) is \(O(1/\sqrt{N})\) as \(N \rightarrow \infty \). This order is very slow to establish uniform convergence on \( \mathbb {R}\). However if \(f(\cdot )\) satisfies a faster decay than that of \(B_{2\sigma }^{2}\)-functions, we can prove uniform convergence on \( \mathbb {R}\) as in the next theorem. The proof is established using real analysis techniques.
Theorem 2.2
If \(f\in B_{2\sigma }^{2}\), \(z^{k}f(z) \in L^{2}(\mathbb {R})\), for some \(k\in \mathbb {Z^{+}}\), then the series (2.1) converges absolutely and uniformly on \(\mathbb {R}\) to f.
Proof
Let \(z\in \mathbb {R}\). Applying the triangle inequality to the convergent series (2.1), we obtain
Using Cauchy-Schwarz inequality yields
where we have used the fact \(|S_n(z)|\le 1, z\in \mathbb {R}.\) Since \(f\in B^{2}_{2\sigma }\), then Parseval’s equality takes the form
It is easy to see that \(z f(z)\in B^{2}_{2\sigma }\), and hence
For \( f(z)\in B^{2}_{2\sigma }\), Bernstein’s inequality, cf [11, p. 49],
implies \(f'(z)\in L^{2}(\mathbb {R})\). Hence [7, p. 20], the Fourier transform \( \mathcal {F}( f'(\cdot ))\) is
Then \( f'(z)\in B^{2}_{2\sigma }\), and, [11, p. 59],
Substituting from (2.31),(2.32),(2.33) and (2.35) into (2.30), we get
Now let \(p, \, q> 1\) be such that \(\frac{1}{p}+\frac{1}{q}=1\). Using the inequality, [11, pp. 114–115]
and substituting from (2.37) in (2.36) with \(p=q=2\), we obtain
Thus, series (2.1) converges absolutely on \(\mathbb {R}\). Now let \(N > 1\) and \(\sigma _{N} (z)\) be the remainder
Using Cauchy-Schwarz inequality yields
Therefore, from Bessel’s inequality, \(\sigma _N (z)\rightarrow 0\) as \(N \rightarrow \infty \) without depending on \(z\in \mathbb {R} \), which implies uniform convergence on \(\mathbb {R}\).
3 Truncation error estimates
In this section, we will investigate the truncation error estimates associated with the Hermite sampling series (2.1). For \(N \in \mathbb {Z}^{+}\), \(z\in \mathbb {R}\), the truncated series of (2.1) is
and the associated truncation error is
Theorem 3.1
Let \(f \in B^{2}_{2\sigma }\) and \(z^{k}f(z) \in L^{2}(\mathbb {R})\), for some \(k\in \mathbb {Z^{+}}\). Then, for \(z\in \mathbb {R}\), \(|z|<N \pi b /\sigma \), we have
where
and
Proof
Let \(N \in \mathbb {Z^{+}}\), \(z\in \mathbb {R}\) with \(|z|<N\pi b/\sigma \). Applying the triangle inequality to (3.2), we obtain
Cauchy-Schwarz inequality implies
Recalling that \(|z|<N\pi b /\sigma \), we have for \(\alpha >0\), cf. [2, p. 340],
Since \(f(z) \in B^{2}_{2\sigma }\) and \(z^{k}f(z)\in L^{2}(\mathbb {R})\), then we have, cf. [13, p. 716],
and, cf. [3, p. 1303]
Moreover,
Applying (3.8) with \(\alpha =3\) in the first two sums and \(\alpha =1\) in the last four ones in (3.7), and substituting from (3.9)-(3.11) into (3.7), we obtain (3.3).
Corollary 1
Let \(f \in B^{2}_{2\sigma }\) and \(z^{k}f(z) \in L^{2}(\mathbb {R})\), for some \(k\in \mathbb {Z^{+}}\). Then
uniformly on \(|z|<N\pi b /\sigma \).
Proof
By simple calculations, we find that the left hand side in (3.3) has absolute maximum
at \(z=\pm (N-1/2) b \pi /\sigma \). This completes the proof.
In the following we establish a global error estimate for the truncation error on \( \mathbb {R}\).
Theorem 3.2
Suppose that \(f \in B_{2\sigma }^{2}\) satisfies a decay condition of the form
where \(A> 0\) and \(1/2< \beta \le 1\) are constants. Then for \(z\in \mathbb {R}\) and \(N\in \mathbb {Z}^{+},\) we have
where
and \(\gamma \) is the Euler-Mascheroni constant. Moreover if \(N\ge 8\), then for \( z\in \mathbb {R}\) we have the improved estimate
where
Proof
Let \(N \in \mathbb {Z^{+}}\), \(z\in \mathbb {R}\). Applying triangle inequality to (3.2) we obtain
Using Cauchy-Schwarz inequality and since \(|S_{n}(z)|\le 1\), we obtain
Inequality (3.14) implies
Similarly,
Since \(f\in B^{2}_{2\sigma } \) and it decays according to (3.14), then we have, cf. [3, p. 1304]
Hence,
Substituting from (3.20), (3.21), and (3.23) in (3.20) yields
Substituting from (2.37) in (3.24) with \(p=q=2\) we obtain (3.15).
Now let \(N\ge 8\). Using Hölder’s inequality, (2.37), and \(|S_{n}(z)|\le 1\), inequality (3.19) turns out to
Using (3.14) and choosing \(p\ge 2\) we get
and
Moreover, cf. [3, p. 1309],
and then
Combining (3.25), (3.26), (3.27), and (3.29), for \(p\ge 2\) yields
Letting \(p:=\ln N\) and \(p\ge 2\) we can see using elementary calculus that
4 Combining various types of errors
Several types of errors arise when (2.1) is used other than the truncation error, among which are amplitude and jitter errors. The amplitude error associated with (2.1) arises when the exact samples \(f\left( z_{n}\right) , f'\left( z_{n}\right) , n\in \mathbb {Z}\) are replaced by approximate closer ones \( \widetilde{f} \left( z_{n}\right) , \widetilde{f}' \left( z_{n}\right) \) in the sampling series (2.1). Let \( \varepsilon _{n}:=f\left( z_{n}\right) -\widetilde{f}\left( z_{n}\right) \), \( \varepsilon _{n}':= f' \left( z_{n}\right) - \widetilde{f}' \left( z_{n}\right) \) be uniformly bounded by \(\varepsilon \), i.e., \(\left| \varepsilon _{n}\right| , \left| \varepsilon '_{n}\right| <\varepsilon \) for a sufficiently small \(\varepsilon >0\). The amplitude error is defined for \( z\in \mathbb {R}\) by
If \(f \in B_{2\sigma }^{2}\) satisfies the condition (3.14) and
then, for \(0 <\varepsilon \le \min \{\pi b/\sigma , \sigma /\pi b, 1/\sqrt{e}\}\), (4.1) is estimated in [1] by
where \(M_{1}, M_{2}, \rho (x)\) and \(\varrho (x)\) are defined in (3.16) and (3.18).
The jitter error associated with (2.1) arises when the nodes \(\displaystyle z_{n},\, n\in \mathbb {Z}\) of (2.1) are deviated from the exact nodes. Let \(\delta _n, \delta '_n, n\in \mathbb {Z}\) denote the set of deviation values, such that \(|\delta _n|, |\delta '_{n} |\le \delta \) for a sufficiently small \(\delta > 0\). For \( z\in \mathbb {R}\), the jitter error associated with (2.1) is defined by
Let \(f\in B_{2\sigma }^{2}\) satisfy the condition (3.14). For \( 0 < \delta \le \min \{\pi b/\sigma , \sigma /\pi b,1/\sqrt{e}\}\), (4.4) is estimated in [1] by
where
\(M_{1}, M_{2}, \rho (x)\) and \(\varrho (x)\) are defined in (3.16) and (3.18).
Since only a finite number of samples are available in particular applications, the amplitude and jitter errors are the truncated ones
and
where
and \(\mathcal {B}(N,f;z)\), \(\mathcal {A}(\varepsilon ,f)\), and \(\mathcal {J}(\delta ,f)\) denote to the bound of the truncation error in (3.3), the bound of the amplitude error in (4.3), and the bound of jitter error in (4.5) respectively.
5 Numerical examples
In this section, we introduce several numerical examples and comparisons between Hermite sampling approximations with LCT which introduced in this paper and the classical sampling with LCT. We also give tables illustrating the error for some numerical values. Furthermore, the results are depicted in various figures to demonstrate the accuracy of the approximations. All of the results in the following examples confirm the correctness and accuracy of the conclusions we reached in this paper. We have used Mathematica to derive these examples. It is convenient to introduce the following notations. Let \(f\in B_{\sigma }^{2} \subseteq B_{2\sigma }^{2}\). For \(z\in \mathbb {R}\), \(N \in \mathbb {Z^{+}}\), we denote by \(f^C_N(z)\) and \(f_{N}^{H} (z)\) to the truncated expansions:
Example 1
Consider the \(B^{2}_{\pi }\)-function
This function has both Lagrange-type and Hermite-type sampling expansions. Table 1 exhibits comparison between \(f_{N}^{C}(z)\) and \(f_{N}^{H}(z)\) at some points \(z_i \in \mathbb {R}\), when \(N= 20, 30, 50\). We apply Theorem 2.1 of [4] and (3.3) to compute the error bounds \(|f (z)- f_{N}^{C}(z)|\) and \(|f (z)- f_{N}^{H}(z)|\) respectively. As Table 1 indicates, the precision improves when N increases for both techniques. However, the Hermite interpolation approximations are better than the classical sampling representation of f(z) in terms of the absolute errors. In addition, the error bound for the Hermite interpolations is also better than the error bound for the Shannon-type interpolations. The real and imaginary parts of the complex signal f(z) and reconstructed signals \( f_{N}^{C}(z)\) and \(f_{N}^{H}(z)\) are plotted in Figs. 1 and 2 when \(|z|\le 2\subset \mathbb {C}, N=15\). Here \(a=b=d=1/\sqrt{2}\).
Example 2
In this example we investigate the closeness between the exact error and the obtained error estimates. The function
is a \(B^{2}_{\pi }\)-function, where \(a=d=\sqrt{3}/2, b=1/2\). Table 2 demonstrates comparison between the pointwise truncation error \(T(N,f;z):=T_{N}[f](z)\) and its bound, denoted above by \(\mathcal {B}(N,f;z)\). Figure 3 exhibits the absolute error |T(N, f; z)| and the bound \(\mathcal {B}(N,f;z)\) on the interval \([-2,2]\). It is noted that the error bounds are quite realistic. Here we take \(N = 15; 20; 25\) respectively.
Example 3
In this example, we consider the function
Here we compare between the uniform bound truncation error in Theorem 3.1, which is denoted by \(\mathcal {U}_1\), and the uniform bound truncation error in Theorem 3.2, which is denoted by \(\mathcal {U}_2\). Table 3 exhibits the truncation error T(N, f; z), bound truncation error \(\mathcal {B}(N,f;z)\), \(\mathcal {U}_1\), and \(\mathcal {U}_2\) on the interval \([-15,15]\), where \(N = 15; 20; 25\) respectively. The uniform bound \(\mathcal {U}_1\) in (3.12) is smaller than the uniform bound \(\mathcal {U}_2\) in (3.15). Figure 4 illustrates the absolute error |T(N, f; z)| and the bound \(\mathcal {B}(N,f;z)\) on the interval \([-15,15]\), where \(N = 15; 20; 25\) respectively. Here we take \(a=d=0, b=1, \sigma =\pi /4\).
Example 4
This example is devoted to comparison between the absolute amplitude error \( \left| f(z)-\widetilde{f}_{N}(z)\right| \) and its bound \(\mathcal {B}(N,f;z)+\mathcal {A}(\varepsilon ,f)\) for the \( \textrm{B}^{2}_{\pi /4}\)-function
where \(a=d=1/2, b=\sqrt{3}/2,\) and \(N=20\). Table 4 demonstrates numerical results when \(\varepsilon =6\times 10^{-7}, 4\times 10^{-7}, 2\times 10^{-7}\) respectively. It indicates the effect of \(\varepsilon \) on the amplitude error. Graphs of \( \left| f(z)-\widetilde{f}_{N}(z)\right| \) and its bound \(\mathcal {B}(N,f;z)+\mathcal {A}(\varepsilon ,f)\) where \(z\in [-10,10]\) and \(\varepsilon =6\times 10^{-7}, 4\times 10^{-7}, 2\times 10^{-7}\) are exhibited in Figure 5. As Table 5 indicates, the error bounds are quite realistic. Moreover, the accuracy improves when \(\varepsilon \) decreases.
Example 5
Consider the following \( B^{2}_{\pi /2}\)-function
Here we take \(a=b=d=1/\sqrt{2}\). In this example, we compare between the absolute jitter error \( \left| f(z)-f_{N}(\delta ,z)\right| \) and its associated bound \(\mathcal {B}(N,f;z)+\mathcal {J}(\delta ,f)\). Table 5 and Fig. 6 show the results when \(N=20\) and \(\delta =6\times 10^{-6}, 4\times 10^{-6}, 2\times 10^{-6}\) respectively. We notice that the precision increases when \(\delta \) decreases.
6 Conclusions
In this paper we investigated the convergence and the error analysis of the Hermite sampling theorem associated with the LCT. We first established a rigorous convergence analysis on \( \mathbb {C}\) and \( \mathbb {R}\). Both harmonic analysis and complex analysis approaches are utilized. The estimation of the remainder is rigorously derived as well, in both pointwise and uniform settings. It is worthwhile to emphasis that the convergence rate is as slow as \(O(1/\sqrt{N})\) as \(N \rightarrow \infty \) for band-limited functions. However, as in the classical case it will be improved if the band-limited function satisfies better smoothness conditions. Therefore there is a theoretical demand to derive regularized techniques to fasten the convergence rate. This can be established by incorporating the sampling representation with smoothing convergence kernels. The paper closes a gap in the convergence analysis associated with Hermite sampling representation for entire functions of exponential type.
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Al-Abdi, I.A.: Approximate hermite interpolations for compactly supported linear canonical transforms. Comput. Math. Methods, 2022, Article ID 5243466, (2022). https://doi.org/10.1155/2022/5243466
Annaby, M.H., Asharabi, R.M.: Truncation, amplitude and jitter errors on \(\mathbb{R} \) for sampling series derivatives. J. Approx. Theory 163, 336–362 (2011). https://doi.org/10.1016/j.jat.2010.10.001
Annaby, M.H., Asharabi, R.M.: Error analysis associated with uniform Hermite interpolations of bandlimited functions. J. Korean Math. Soc. 47(6), 1299–1316 (2010). https://doi.org/10.4134/JKMS.2010.47.6.1299
Annaby, M.H., Asharabi, R.M.: Error estimates associated with sampling series of the linear canonical transforms. IMA J. Numer. Anal. 35, 931–946 (2015). https://doi.org/10.1093/imanum/dru020
Annaby, M.H., Asharabi, R.M.: Derivative sampling expansions for the linear canonical transform: convergence and error analysis. J. Comput. Math. 37(3), 431–446 (2019). https://doi.org/10.4208/jcm.1806-m2017-0215
Butzer, P.L., Higgins, J.R., Stens, R.L.: Sampling Theory of Signal Analysis. In: Development of Mathematics 1950–2000, Birkhäuser, Basel, 193–234 (2000)
Chandrasekharan, K.: Classical Fourier Transforms. Springer-Verlag, Berlin (1989)
Guo, Y., Li, B.-Z.: Blind image watermarking method based on linear canonical wavelet transform and QR decomposition. IET Image Process. 10(10), 773–786 (2016). https://doi.org/10.1049/iet-ipr.2015.0818
Healy, J.J., Kutay, M.A., Ozaktas, H.M., Sheridan, J.T.: Linear Canonical Transforms: Theory and Applications, 3rd edn. Springer-Verlag, New York, NY, USA (2016)
Higgins, J.R.: Sampling theorems and the contour integral method. Appl. Anal. 41, 155–169 (1991). https://doi.org/10.1080/00036819108840021
Higgins, J.R.: Sampling Theory in Fourier and Signal Analysis Foundations. Oxford University Press, Oxford (1996)
Huang, Z.-J., Cheng, S., Gonga, L.-H., Zhou, N.-R.: Nonlinear optical multi-image encryption scheme with two-dimensional linear canonical transform. Opt. Lasers Eng. 124, (2020). https://doi.org/10.1016/j.optlaseng.2019.105821
Jagerman, D.: Bounds for truncation error of the sampling expansion. SIAM J. Appl. Math. 14, 714–723 (1966). https://doi.org/10.1137/0114060
Jagerman, D., Fogel, L.: Some general aspects of the sampling theorem. IRE Trans. Inform. Theory 2, 139–146 (1956). https://doi.org/10.1109/TIT.1956.1056821
Kutay, M.A., Ozaktas, H.M., Rodrigo, J.A.: Optical Implementation of Linear Canonical Transforms. In: Healy, J.J., et al. (eds.) Linear Canonical Transforms, pp. 179–194. Springer Series in Optical Sciences, Springer, New York (2016)
Lacaze, B.: About sampling for band-limited linear canonical. Signal Process. 91, 1076–1078 (2011). https://doi.org/10.1016/j.sigpro.2010.09.020
Li, H.A., Fang, G.S.: Sampling theorem of Hermite type and aliasing error on the Sobolev class of functions. Front. Math. China 1, 252–271 (2006). https://doi.org/10.1007/s11464-006-0006-x
Li, B.-Z., Tao, R., Wang, Y.: New sampling formulae related to linear canonical transform. Signal Process. 87(5), 983–990 (2007). https://doi.org/10.1016/j.sigpro.2006.09.008
Liu, Y., Kou, K., Ho, I.: New sampling formulae for non-bandlimited signals associated with linear canonical transform and non linear Fourier atoms. Signal Process. 90(5), 933–945 (2010). https://doi.org/10.1016/j.sigpro.2009.09.030
McBride, A., Kerr, F.: On Namias’s fractional Fourier transforms. IMA J. Appl. Math. 39, 159–175 (1987). https://doi.org/10.1093/imamat/39.2.159
Moshinsky, M., Quesne, C.: Linear canonical transformations and their unitary representations. J. Math. Phys. 12(8), 1772–1783 (1971). https://doi.org/10.1063/1.1665805
Namias, V.: The fractional order Fourier and its application to quantum mechanics. J. Inst. Math. Appl. 25, 180–191 (1980). https://doi.org/10.1093/imamat/25.3.241
Ozaktas, H.M., Mendlovic, D.: Fractional Fourier optics. J. Opt. Soc. Amer. A (12), 743–751 (1995). https://doi.org/10.1364/JOSAA.12.000743
Ozaktas, H.M., Mendlovic, D.: Fourier transforms of fractional order and their optical interpretation. Opt. Commun. 101, 163–169 (1993). https://doi.org/10.1016/0030-4018(93)90359-D
Ozaktas, H.M., Zalevsky, Z., Kutay, M.A.: The Fractional Fourier Transform with Applications in Optics and Signal Processing. New York: Wiley (2001)
Pei, S.C., Ding, J.J.: Eigenfunctions of linear canonical transform. IEEE Trans. Acoust. Speech Signal Process. 50, 11–26 (2002). https://doi.org/10.1109/78.972478
Ran, Q.W., Tan, L.-Y., Ma, J.: Sampling of bandlimited signals in fractional Fourier transform domain. Circuits Syst. Signal Process. 29, 459–467 (2010). https://doi.org/10.1007/s00034-010-9155-y
Shi, J., Liu, X., Fang, X., Sha, X., Xiang, W., Zhang, Q.: Linear canonical matched filter: theory, design, and applications. IEEE Trans. Signal Process. 66(24), 6404–6417 (2018). https://doi.org/10.1109/TSP.2018.2877193
Shi, J., Liu, X., Yan, F.-G., Song, W.: Error analysis of reconstruction from linear canonical transform-based sampling. IEEE Trans. Signal Process. 66(7), 1748–1760 (2018). https://doi.org/10.1109/TSP.2018.2793866
Stern, A.: Sampling of linear canonical transformed signals. Signal Process. 86(7), 1421–1425 (2006). https://doi.org/10.1016/j.sigpro.2005.07.031
Stern, A.: Sampling of compact signals in offset linear canonical transform domains. Signal, Image, Video Process. 1(4), 359–367 (2007). https://doi.org/10.1007/s11760-007-0029-0
Tao, R., Li, B.-Z., Wang, Y., Aggrey, G.K.: On sampling of band-limited signals associated with the linear canonical transform. IEEE Trans. Signal Process. 56, 5454–5464 (2008). https://doi.org/10.1109/TSP.2008.929333
Tao, R., Qi, L., Wang, Y.: Theory and Applications of the Fractional Fourier Transform, Beijing, China: Tsinghua Univ. Press (2004)
Xia, X.: On bandlimited signals with fractional Fourier transform. IEEE Signal Process. Lett. 3(3), 72–74 (1996). https://doi.org/10.1109/97.481159
Zhao, H., Ran, Q.-W., Ma, J., Tan, L.-Y.: On bandlimited signals associated with linear cannonical transform. IEEE Signal Process. Lett. 16, 343–345 (2009). https://doi.org/10.1109/LSP.2009.2014290
Zhao, H., Ran, Q.-W., Tan, L.-T., Ma, J.: Reconstruction of bandlimited signals in linear cannonical transform domain from finite nonuniformly spaced samples. IEEE Signal Process. Lett. 16, 1047–1050 (2009). https://doi.org/10.1109/LSP.2009.2030098
Funding
Open access funding provided by The Science, Technology & Innovation Funding Authority (STDF) in cooperation with The Egyptian Knowledge Bank (EKB).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Annaby, M.H., Al-Abdi, I.A., Ghaleb, A.F. et al. Hermite interpolation theorems for band-limited functions of the linear canonical transforms with equidistant samples. Numer Algor 94, 1281–1308 (2023). https://doi.org/10.1007/s11075-023-01535-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-023-01535-8