Further Spectral Properties of the Weighted Finite Fourier Transform Operator and Related Applications.
NourElHouda Bourguiba and Ahmed Souabni 111
Corresponding author: Ahmed Souabni, email: firstname.lastname@example.org
This work was supported in part by the Tunisian DGRST research grants UR 13ES47.
University of Carthage, Department of Mathematics, Faculty of Sciences of Bizerte, Tunisia.
In this work, we first give some mathematical preliminaries concerning the generalized prolate spheroidal wave function (GPSWFs). These set of special functions have been introduced in  and  and they are defined as the infinite and countable set of the eigenfunctions of a weighted finite Fourier transform operator. Then, we show that the set of the singular values of this operator decay at a super-exponential decay rate. We also give some local estimates and bounds of these GPSWFs. As a first application of the spectral properties
of the GPSWFs and their associated eigenvalues, we give their quality of approximation in a periodic Sobolev space. Our second application is related
to a generalization in the context of the GPSWFs, of the Landau-Pollak approximate dimension of the space of band-limited and almost time-limited functions, given in the context of the classical PSWFs, the eigenfunctions of the finite Fourier transform operator. Finally, we provide the reader with some numerical examples that illustrate the different results of this work.
We first recall that for , the classical prolate spheroidal wave functions (PSWFs) were first discovered and studied by D. Slepian and his co-authors, see [13, 14]. These PSWFs are defined as the solutions of the following energy maximization problem :
Where is the classical Paley-Winer space, defined by
Here, is the Fourier transform of defined by Moreover, it has been shown in , that the PSWFs are also the eigenfunctions of the integral operator defined on by
as well as the eigenfunctions of a commuting differential operator with and given by
In this paper we are interested in a weighted family of PSWFs called the generalized prolate spheroidal wave functions (GPSWFs), recently given in  and . They are defined as the eigenfunctions of the Gegenbauer perturbed differential operator,
as well as the eigenfunctions of the following commuting weighted finite Fourier transform integral operator,
The importance of PSWFs is due to their wide range of applications in different scientific research area such as signal processing, physics and applied mathematics. The question of quality of approximation by PSWFs has attracted some interests. In fact the authors in  have given an estimate of the decay of the PSWFs expansion of . Here is the Sobolev space over and of exponent . Later in  authors studied the convergence of the expansion of functions in a basis of PSWFs. We should mention that the problem of the best choice of the value of the bandwidth arises here. Numerical answers were given in . Recently in , the authors have given a precise answer to this question.
Note that the convergence rate of the projection to f where or a periodic Sobolev space. This is done by using an estimate for the decay of the eigenvalues of the self-adjoint operator that is
, where is the n-th eigenvalues of the integral operator (2). That’s why the first part of this work will be devoted to the study of the spectral decay of the eigenvalues of the integral operator .
On the other hand, in , the authors have shown that the PSWFs are well adapted for the approximation of functions that are band-limited and and also almost time-limited. That is for an this space is defined by
Here and is the Paley-Wiener space given by (1). In particular, the approximate dimension of the previous space of functions
has been given in . Moreover, in , the author has extended this result in the context of the circular prolate spheroidal wave functions (CPSWFs). These laters are defined as the different eigenfunctions of the finite Hankel transform operator.
In this paper we give the extension of the approximate dimension of the space of band-limited and almost time-limited function, in the context of the GPSWFs.
This work is organized as follows. In section 2, we give some mathematical preliminaries concerning the GPSWFs. Note that the extra weight function appearing in the weighted finite Fourier transform operator, generates new difficulties concerning the orthogonality of GPSWFs over Unlike the classical PSWFs, the GPSWFs are orthogonal over but their analytic extension to the real line are not orthogonal with respect to the Lebesgue measure. Hence, based on the properties of the GPSWFs, we give a procedure for recovering the orthogonality over of these laters. In section 3, we give some further estimates of the GPSWFs and some estimates of the eigenvalues of both integral and differential operators that define GPSWFs which will be useful later on in the study of the quality of approximations by GPSWFs. In section 4, we first extend to the case of the GPSWFs, the result given in , concerning the quality of approximation by the PSWFs of functions from the periodic Sobolev space Then, we show that the GPSWFs best approximate almost time-limited functions and belonging to the restricted Paley-Wiener space given by
Finally, in section 5 we give some numerical examples that illustrate the different results of this work.
2 Mathematical Preliminaries
In this section, we give some mathematical preliminaries concerning some properties as well as the computation of the GPSWFs. These mathematical preliminaries are used to describe the different results of this work.
We first mention that some content of this paragraph has been borrowed from . Since, the GPSWFs are defined as the eigenfunctions of the weighted finite Fourier transform operator defined by
then, they are also the eigenfunctions of the operator defined on by
Here is the Bessel function of the first kind and order Moreover, the eigenvalues and of and are related to each others by the identity Note that the previous two integral operators commute with the following Gegenbauer-type Sturm-Liouville operator defined by
Also, note that the th eigenvalue of satisfies the following classical inequalities,
For more details, see . We will denote by the set of the eigenfunctions of and They are called generalized prolate spheroidal wave functions (GPSWFs). It has been shown that is an orthogonal basis of We recall that the restricted Paley-Wiener space of weighted band-limited functions has been defined in  by
Here, is the weighted space with norm given by
Note that when the restricted Paley-Wiener space is reduced to the usual space Also, it has been shown that
As a consequence, it has been shown in  that the eigenvalues decay with respect to the parameter that is for and any
Hence, by using the precise behaviour as well as the sharp decay rate of the given in , one gets a first result concerning the decay rate of the for any Moreover, since in , the authors have shown that for any and any , there exists such that :
Also, by using the fact that
then, we have
Note that the GPSWFs are normalized by the following rule,
The extra weight function generates new complications concerning the orthogonality of over . To solve this problem, we propose the following procedure. We define on the following inner product
Here is the Kronecker’s symbol. For more details, see . Now for , we have for some . By using the Fourier inversion formula and the fact that is an orthogonal basis of one gets
where Consequently, the set is an orthogonal basis of and an orthonormal basis of when this later is equipped with the inner product
Also, in , the authors have proposed the following scheme for the computation of the GPSWFs. In fact, since then its series expansion with respect to the Jacobi polynomials basis is given by
Here, denotes the normalized Jacobi polynomial of degree given by
The expansion coefficients as well as the eigenvalues this system is given by
3 Further Estimates of the GPSWFs and their associated eigenvalues.
In this section, we first give some new estimates of the eigenvalues of the eigenvalues associated with the GPSWFs. Then, we study a local estimate of these laters.
3.1 Estimates of the eigenvalues.
We first prove in a fairly simple way, the super-exponential decay rate of the eigenvalues of the weighted Fourier transform operator. We should the techniques used in this proof is inspired from the recent paper , where a similar result has been given in the special case .
For given real numbers , and for any integer we have
Proof: We first recall the Courant-Fischer-Weyl Min-Max variational principle concerning the eigenvalues of a compact self-adjoint operator on a Hilbert space with positive eigenvalues arranged in the decreasing order then we have
where is a subspace of of dimension In our case, we have We consider the special case of
From [ page 456], we have
By using the well-known bound of the Bessel function given by
Next, we use the following useful inequalities for the Gamma function, see 
Then, we have
Hence, for the previous and by using Hölder’s inequality, combined with the Minkowski’s inequality for an infinite sums, and taking into account that so that for one gets:
The decay of the sequence appearing in the previous sum, allows us to compare this later with its integral counterpart, that is
To conclude the proof of the theorem, it suffices to use the Courant-Fischer-Weyl Min-Max variational principle.
By the fact that and straightforward computations one gets for and for all :
3.2 Local estimates of the GPSWFs
In this paragraph, we give a precise local estimate of the GPSWFs, which is valid for Then, this local estimate will be used to provide us with a new lower bound for the eigenvalues of the differential operator for For this purpose, we first recall that are the bounded solutions of the following ODE :
As it is done in , we consider the incomplete elliptic integral
Then, we write into the form
Define then we have It follows that can be written as
Since then we have and Hence, we have
The previous equality allows us to prove the following lemma.
For any and , we have is increasing on .
Proof: We use the notation and with Straightforward computations, we have
with given by [LABEL:e] then
Then if and we have
As a consequence of the previous lemma, one gets.
For any and for any integer with , we have