Abstract
In this paper, we investigate two uniform asymptotic approximations as well as some spectral properties of the eigenfunctions of the weighted finite Fourier transform operator, defined by \({\displaystyle {\mathcal {F}}_c^{(\alpha )} f(x)=\int _{-1}^1 e^{icxy} f(y)\,(1-y^2)^{\alpha }\, dy.}\) Here, \( c >0, \alpha \ge -1/2\) are two fixed real numbers. These eigenfunctions are called generalized prolate spheroidal wave functions (GPSWFs) and they are firstly introduced and studied in Wang and Zhang (Appl Comput Harmon Anal 29(3):303–329, 2010). The present study is motivated by the promising concrete applications of the GPSWFs in various scientific area such as numerical analysis, mathematical physics and signal processing. We should mention that these two uniform approximation results of the GPSWFs can be considered as generalizations of the results given in the joint work of one of us (Bonami and Karoui in Constr Approx 43(1):15–45, 2016). As it will be seen, these generalizations require some involved extra work, especially in the case where \(\alpha > 1/2.\) By using the uniform asymptotic approximations of the GPSWFs, we prove the super-exponential decay rate of the eigenvalues of the operator \({\mathcal {F}}_c^{(\alpha )}\) in the case where \(0<\alpha < 3/2.\) Moreover, by computing the trace and an estimate of the norm of the operator \({\displaystyle {\mathcal {Q}}_c^{(\alpha )}=\frac{c}{2\pi } {\mathcal {F}}_c^{{(\alpha )}^*} \circ {\mathcal {F}}_c^{(\alpha )},}\) we give a lower bound for the counting number of the eigenvalues of \(Q_c^{(\alpha )},\) when \(c>>1.\) Finally, we provide the reader with some numerical examples that illustrate the different results of this work.
Similar content being viewed by others
References
Abreu, L.D., Pereira, J.M.: Pseudo prolate spheroidal function. In: IEEE Proceedings of SampTA, pp. 603–607 (2015)
Abreu, L.D., Bandeira, A.S.: Landau’s necessary conditions for the Hankel transform. J. Funct. Anal. 262(4), 1845–1866 (2012)
Andrews, G.E., Askey, R., Roy, R.: Special Functions. Cambridge University Press, Cambridge (1999)
Area, I., Dimitrov, D.K., Godoy, E., Ronveaux, A.: Zeros of Jacobi functions of second kind. J. Comput. Appl. Math. 188(1), 65–76 (2006)
Batir, N.: Inequalities for the gamma function. Arch. Math. 91(6), 554–563 (2008)
Bonami, A., Karoui, A.: Spectral decay of time and frequency limiting operator. Appl. Comput. Harmon. Anal. (2015). doi:10.1016/j.acha.2015.05.003
Bonami, A., Karoui, A.: Uniform approximation and explicit estimates of the Prolate Spheroidal Wave Functions. Constr. Approx. 43(1), 15–45 (2016)
Boyd, J.P.: Approximation of an analytic function on a finite real interval by a band-limited function and conjectures on properties of prolate spheroidal functions. Appl. Comput. Harmon. Anal. 25(2), 168–176 (2003)
Criscuolo, G., Mastroianni, G., Nevai, P.: Associated generalized Jacobi functions and polynomials. J. Math. Anal. Appl. 158(1), 15–34 (1991)
Erdélyi, A., et al.: Higher Transcendental Functions, vol. 2. McGraw-Hill, New York (1953)
Grosjean, C.C.: the weight functions, generating functions and miscellaneous properties of the sequences of orthogonal polynomial of second kind associated with the Jacobi and the Gegenbauer polynomials. J. Comput. Appl. Math. 16(3), 259–307 (1986)
Grünbaum, F.A., Pacharoni, I., Zurrián, I.N.: Time and band limiting for matrix valued functions, an example. SIGMA 11, 044 (2015)
Hogan, J.A., Lakey, J.D.: Duration and Bandwidth Limiting: Prolate Functions, Sampling, and Applications. Applied and Numerical Harmonic Analysis Series. Birkhäser, Springer, New York (2013)
Karoui, A., Souabni, A.: Generalized prolate spheroidal wave functions: spectral analysis and approximation of almost band-limited functions. J. Fourier Anal. Appl. 22(2), 383–412 (2016)
Kou, K., Morais, J., Zhang, Y.: Generalized prolate spheroidal wave functions for offset linear canonical transform in Clifford analysis. Math. Methods Appl. Sci. 36(9), 1028–1041 (2013)
Krasikov, I.: Approximations for the Bessel and Airy functions with an explicit error term. LMS J. Comput. Math. 17(1), 209–225 (2014)
Landau, H.J.: On Szegö’s eingenvalue distribution theorem and non-Hermitian kernels. J. Analyse Math. 28(1), 335–357 (1975)
Marzo, J.: Marcinkiewicz–Zygmund inequalities and interpolation by spherical harmonics. J. Funct. Anal. 250(2), 559–587 (2005)
Morais, J., Nguyen, H.M., Kou, K.I.: On 3D orthogonal prolate spheroidal monogenics. Math. Methods Appl. Sci. 39(4), 635–648 (2016)
Olenko, O.Y.: Upper bound on \(\sqrt{x} J_{\nu }(x)\) and its applications. Integr. Transform. Spec. Funct. 17(6), 455–467 (2006)
Olver, F.W.J.: Asymptotics and Special Functions. Academic Press, New York (1974)
Olver, Frank W., Lozier, Daniel W., Boisvert, Ronald F., Clark, Charles W.: NIST Handbook of Mathematical Functions, 1st edn. Cambridge University Press, New York (2010)
Simons, F.J., Dahlen, F.A.: Spherical Slepian functions on the polar gap in geodesy. Geophys. J. Int. 166, 1039–1061 (2006)
Slepian, D., Pollak, H.O.: Prolate spheroidal wave functions, Fourier analysis and uncertainty I. Bell Syst. Tech. J. 40(1), 43–64 (1961)
Slepian, D.: Prolate spheroidal wave functions, Fourier analysis and uncertainty-IV: extensions to many dimensions; generalized prolate spheroidal functions. Bell Syst.Tech. J. 43(6), 3009–3057 (1964)
Slepian, D.: Some asymptotic expansions for prolate spheroidal wave functions. J. Math. Phys. 44(2), 99–140 (1965)
Szegö, G.: Orthogonal Polynomials. American Mathematical Society, Colloquium Publications, vol. XXIII, 4th edn. American Mathematical Society, Providence (1975)
Wang, L.L., Zhang, J.: A new generalization of the PSWFs with applications to spectral approximations on quasi-uniform grids. Appl. Comput. Harmon. Anal. 29(3), 303–329 (2010)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, London (1966)
Zayed, A.I.: A generalization of the prolate spheroidal wave functions. Proc. Am. Math. Soc. 135(7), 2193–2203 (2007)
Acknowledgments
The authors thank very much the anonymous referee for the valuable comments and suggestions that helped them to improve the revised version of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the DGRST Research Grant UR13ES47 and the CMCU Research Project 15G1504.
Appendices
Appendix 1: Proof of Lemma 3
Let \(\alpha > 1/2\) and let \(j_{\alpha ,1}, j'_{\alpha ,1}\) and \(y_{\alpha ,1}\) denote the first zeros of \(J_{\alpha }(x), J'_{\alpha }(x)\) and \(Y_{\alpha }(x),\) respectively. It is known, see for example [29, p. 487] that
Moreover, by using the asymptotic behaviours of \(J_{\alpha }(\cdot ), Y_{\alpha }(\cdot ),\) given by (17), one concludes that the function \( x J_{\alpha }(x) |Y_{\alpha }(x)|= - x J_{\alpha }(x) Y_{\alpha }(x) \) is positive and bounded over the interval \((0,\alpha ].\)
Next, we check that for any \(\alpha > 1/2,\) \( X_{\alpha } > \alpha ,\) where \(X_{\alpha }\) is the first root of \( J_{\alpha }(x)+J_{\alpha }(x)=0.\) To this end, we first note that from the Wronskian of \(J_{\alpha }, Y_{\alpha },\) given by (18), one concludes that for any \(\alpha > -1,\) we have
Also, from [21, p. 438], \(X_{\alpha }\) has the following asymptotic formula, valid for large values of the parameter \(\alpha ,\)
Hence, there exists \(\alpha _0 >0 ,\) so that \(X_{\alpha } > \alpha ,\) whenever \( \alpha \ge \alpha _0.\) Hence, we have
which means that \({\displaystyle \lim _{\nu \rightarrow +\infty } - \frac{ Y_{\nu }(\nu )}{J_{\nu }(\nu )}\ge 1.}\) On the other hand, from [29, p. 487], we have
Consequently, for any \(\alpha \ge 1/2,\) we have
which means that \( X_{\alpha }> \alpha ,\) whenever \(\alpha \ge 1/2.\) Hence, for \(0<x<\alpha ,\) by integrating (79) over the interval \([x,\alpha ]\) and using the fact that the function \(x J^2_{\alpha }(x)\) is increasing, one gets
On the other hand, since \(2 x |J_{\alpha }(x) Y_{\alpha }(x)\le x \left( J^2_{\alpha }(x)+Y^2_{\alpha }(x)\right) ,\) since this later is decreasing for \(\alpha \ge 1/2\) and since \(\alpha < X_{\alpha },\) then we have
Finally, by combining (80) and (81), one gets the desired bound (21). \(\square \)
Appendix 2: Proof of Lemma 4
The first equality in (32) is a consequence of the following identity, see [22, p. 241]
combined with the well known identity
Moreover, it has been shown in [16], that for \(\alpha \ge -1/2,\) we have
Hence, by using the previous inequality, one gets
Moreover, from (82), one gets
By using the previous two inequalities, one obtains
Hence, we have
Finally, by combining (31) and the previous inequality, one gets a bound of \(|\eta _{\alpha }(x)|\) for \(x\ge 1.\) To get a bound \(\eta _{\alpha }(x)\) over the interval [0, 1], it suffices to note that from (32), we have
Since \(\eta _{\alpha }(0)=0,\) then the previous bound is also valid for \({\displaystyle \sup _{x\in [0,1]} |\eta _{\alpha }(x)| },\) that is
Finally, to conclude for the proof of the lemma, it suffices to combine (31), (85) and (86). \(\square \)
Rights and permissions
About this article
Cite this article
Karoui, A., Souabni, A. Weighted Finite Fourier Transform Operator: Uniform Approximations of the Eigenfunctions, Eigenvalues Decay and Behaviour. J Sci Comput 71, 547–570 (2017). https://doi.org/10.1007/s10915-016-0310-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10915-016-0310-x
Keywords
- Sturm–Liouville operators
- Weighted finite Fourier transform
- Asymptotic approximations of eigenvalues and eigenfunctions
- Generalized prolate spheroidal wave functions