Abstract
In this paper, an attempt is being made to investigate a class of fractional Fourier integral operators on classes of function spaces known as ultraBoehmians. We introduce a convolution product and establish a convolution theorem as a product of different functions. By employing the convolution theorem and making use of an appropriate class of approximating identities, we provide necessary axioms and define function spaces where the fractional Fourier integral operator is an isomorphism connecting the different spaces. Further, we provide an inversion formula and obtain various properties of the cited integral in the generalized sense.
Similar content being viewed by others
1 Introduction and preliminary
Generalized functions, which are continuous linear functionals over a space of smooth functions, are useful in making discontinuous functions more likely smooth and describe physical phenomena as point charges that consequently lead to an extensive use in applied physics and engineering problems. The space of recent generalized functions known as the space of Boehmians is defined by an algebraic construction which is similar to that of field of quotients. When constructions are applied to function spaces and multiplications are interpreted as convolutions, the constructions yield various spaces of generalized functions. Approximating identities or delta sequences with shrinking support to the origin are needful in constructing Boehmian spaces. This, indeed, led among other things to uniqueness theorems which are interpreted as an uncertainty principle for Boehmian spaces. However, as Boehmians have an abstract algebraic definition, they allow different interpretations of those extended operators to be isomorphisms between the different spaces of Boehmians; see [1–7] for further details.
The fractional Fourier integral operator is a generalization of the classical Fourier integral operator into the fractional domains. Although various definitions of the fractional Fourier integral operator were given in literature, the most intuitive way of defining the fractional Fourier operator has been given by generalizing the concept of rotations over an angle \(\pi /2\) in the classical Fourier integral operator. As the classical Fourier integral operator corresponds to a rotation in the time frequency plane, the fractional Fourier integral operator corresponds to a rotation over an angle \(\alpha =a\pi /2\), \(a\in R \).
Let \(K_{\alpha } ( t,w ) \) be defined by
then the formal and direct definition of the fractional Fourier integral operator with an angle α of a signal \(\vartheta ( t ) \) is defined by the integral equation [8] (see also Pathak et al. [9] and Prasad and Kumar [10])
where \(a ( \alpha ) = ( \cot \alpha ) /2\), \(b ( \alpha ) =\sec \alpha \), and \(c ( \alpha ) =\sqrt{1- \cot \alpha }\). The inversion formula has been recovered from (2) and (1) as follows:
However, for certain values of α, the fractional Fourier integral operator satisfies \(F_{0} ( \vartheta ) ( w ) =\vartheta ( w ) \), \(F_{\pi } ( \vartheta ) ( w ) =\vartheta ( -w ) \), and \({\frac{\pi }{2}} ( \vartheta ) ( w ) =F ( \vartheta ) ( w ) \) where F denotes the ordinary Fourier integral of ϑ. The fractional Fourier integral operator has various applications in literature. Indeed, it has applications in the solution of ordinary differential equations, quantum optics (Garcia et al. [11]), quantum mechanics (Andez [12]), optical systems (Narayanana and Prabhu [13]), time filtering (Narayanana and Prabhu [13]), and some pattern recognitions (see Zayed and Garcia [14]) and Zayed [15, 16]) as well). Various properties of such a remarkable integral, such as linearity, index additivity \(F_{\alpha _{1}}F_{\alpha_{2}}=F_{\alpha_{1}+\alpha_{2}}\), commutativity \(F_{\alpha_{1}}F_{\alpha_{2}}=F_{\alpha_{2}}F_{\alpha_{1}}\), and associativity \(( F_{\alpha_{1}}F_{\alpha_{2}} ) F_{\alpha _{3}}=F_{\alpha_{1}} ( F_{\alpha_{2}}F_{\alpha_{3}} ) \) of the fractional Fourier integral operator, have been obtained in the literature; see Barbu [17] for some details.
As part of long-term research, the purpose of this article is to give an extension of the fractional Fourier integral operator into appropriately defined spaces of Boehmians and define an isomorphism between the different spaces of Boehmians. We divide this article into four sections. In Sect. 2 we define convolution products and prove a convolution theorem. In Sect. 3 we establish a class of approximating identities and derive spaces of ultraBoehmians and, further, we extend the fractional integral operator to the defined spaces. In Sect. 4 we prove linearity and discuss an inversion formula.
2 Convolution product and convolution theorem
To establish a convolution theorem for the fractional Fourier integral operator, we introduce a convolution product as follows:
where \(\psi ( t,z ) =e^{2jz ( z-t ) a ( \alpha ) }\).
The convolution theorem for the fractional Fourier integral operator can be drawn as follows; see [7, 15] for similar discussion.
Theorem 1
Let \(a ( \alpha ) = ( \cot \alpha ) /2\), \(b ( \alpha ) =\sec \alpha \), \(c ( \alpha ) =\sqrt{1-\cot \alpha }\), and \(\ast^{\alpha }\) be defined by (4), then we have
Proof
By aid of (2) and (4), we are led to writing
The change of variables \(t-z=v\) gives
Hence, by rearranging the products in (7), we obtain
Multiplying (8) by \(\frac{c ( \alpha ) }{\sqrt{2 \pi }}\exp ( j\frac{\cot \alpha }{2}w^{2} ) \) yields
That is,
The proof is finished. □
3 UltraBoehmians
With the help of the convolution theorem, we introduce a generalized convolution product and generate a class of ultraBoehmians. The spaces under construction generalize those obtained by Prasad and Kumar [10] and Pathak [9]. Due to Prasad and Kumar [9, (5)] and Zemanian [18] as well, an infinitely differentiable complex-valued function ϑ is said to be in \(S_{\beta }^{\tilde{\beta }} ( R ) \) if and only if
for every choice of constants β, β̃. Alternatively, (9) can often be written as
The dense subspace of \(S_{\beta }^{\tilde{\beta }} ( R ) \) of smooth \(( C^{\infty } ) \) functions of compact supports over R is denoted by \(D_{\beta }^{\tilde{\beta }} ( R ) \).
The following theorem is very needful in the sequel; see [9].
Theorem 2
The fractional Fourier integral operator is a continuous linear mapping from \(S_{\beta }^{\tilde{\beta }} ( R ) \) into \(S_{\beta }^{\tilde{\beta }} ( R ) \).
Parseval’s identity of \(F_{\alpha }\) is given as
and hence we have
where \(\hat{\psi }_{\alpha }\), \(\hat{\vartheta }_{\alpha }\) are the fractional Fourier integral operators of \(\psi_{\alpha }\) and \(\vartheta_{\alpha }\), and ψ̄ is the conjugate of ψ, see Pathak et al. [9, Theorem 3.1, p. 243] for some details.
We state without proof the following two theorems as the proofs are a straightforward consequence of (4).
Theorem 3
The product \(\ast^{\alpha }\) is commutative in \(S_{\beta }^{\tilde{\beta }} ( R ) \), i.e., \(\vartheta \ast^{\alpha }\vartheta_{0}=\vartheta_{0}\ast^{\alpha }\vartheta \).
Theorem 4
Let \(\vartheta ,\vartheta_{0},h\in S_{\beta }^{ \tilde{\beta }} ( R ) \), then \(\vartheta \ast^{\alpha } ( \vartheta_{0}\ast^{\alpha }h ) = ( \vartheta \ast^{\alpha }\vartheta_{0} ) \ast^{\alpha }h\).
Now we introduce a class of approximating identities as follows.
Definition 5
Let \(\Delta_{\beta }^{\tilde{\beta }}\) be the set of sequences \(( \delta_{n} ) _{1}^{\infty }\) of \(D_{\beta }^{\tilde{\beta }} ( R ) \) where the following formulas hold:
as \(n\rightarrow \infty \), \(\forall \delta >0\). We claim that \(\Delta_{\beta }^{\tilde{\beta }}\) with the convolution product \(\ast^{\alpha }\) represents a class of approximating identities.
We establish the following theorem.
Theorem 6
The class \(( \Delta_{\beta }^{\tilde{\beta }}, \ast^{\alpha } ) \) forms a class of approximating identities.
Proof
We show \(( \delta_{n}\ast^{\alpha }\gamma_{n} ) \in \Delta_{\beta }^{\tilde{\beta }}\) when \(( \delta_{n} ) , ( \gamma_{n} ) \in \Delta_{\beta }^{\tilde{\beta }}\). As the proofs of (11) and (12) are straightforward, it suffices to show that (10) holds. By (4) we write
Let \(t=z+w\), then the preceding equation gives
Hence the following is obtained by simple computations:
The proof is completely finished. □
Theorem 7
If \(\psi \in D_{\beta }^{\tilde{\beta }} ( R ) \) and \(\vartheta ,\vartheta_{n},\vartheta_{0}\in S_{\beta } ^{\tilde{\beta }} ( R ) \), \(\vartheta_{n}\rightarrow \vartheta \), as \(n\rightarrow \infty \), then we have
-
(i)
\(( \vartheta +\vartheta_{0} ) \ast^{\alpha }\psi =\vartheta \ast^{\alpha }\psi +\vartheta_{0}\ast^{\alpha } \psi \).
-
(ii)
\(\vartheta_{n}\ast^{\alpha }\psi \rightarrow \vartheta \ast^{\alpha }\psi \) as \(n\rightarrow \infty \).
-
(iii)
\(\lambda ( \vartheta \ast^{\alpha }\psi ) = ( \lambda \vartheta \ast^{\alpha }\psi ) \) for some \(\lambda \in C \).
The proof of this theorem can be obtained by easy computations.
Theorem 8
If \(\vartheta \in S_{\beta }^{\tilde{\beta }} ( R ) \) and \(\vartheta_{0}\in D_{\beta }^{\tilde{\beta }} ( R ) \), then \(\vartheta \ast^{\alpha }\vartheta_{0}\in S _{\beta }^{\tilde{\beta }} ( R ) \).
Proof
Indeed, by (9), we get
where ∗ denotes the usual Fourier convolution product. The last inequality follows from the fact that \(\vartheta \ast \vartheta_{0} \in S_{\beta }^{\tilde{\beta }} ( R ) \) and that \(\vert \psi \vert <1\), see Zemanian [18].
The proof is finished. □
Theorem 9
Let \(( \delta_{n} ) \in \Delta_{\beta } ^{\tilde{\beta }}\), \(\vartheta \in S_{\beta }^{\tilde{\beta }} ( R ) \), then \(\vartheta \ast^{\alpha }\delta_{n}\rightarrow \vartheta \) as \(n\rightarrow \infty \).
Proof
By aid of (10), we get
as \(n\rightarrow \infty \), where \(\vartheta ( t-z ) = \vartheta_{z} ( t ) \), M is a constant, and K is a compact subset of R satisfying \(\vert \delta_{n} \vert \leq M\) and \(K\supseteq \operatorname{supp}\delta_{n}\), \(n\in N\). The proof is finished. □
The space \(\beta_{1}\) (\(\beta_{1}\equiv \beta_{1} ( S_{ \beta }^{\tilde{\beta }} ( R ) , ( D_{\beta }^{ \tilde{\beta }} ( R ) ,\ast^{\alpha } ) , \ast^{\alpha },\Delta_{\beta }^{\tilde{\beta }} ) \)) of Boehmians is defined. \(( \vartheta_{n}, \delta_{n} ) \) and \(( \theta_{n},t_{n} ) \) in \(\beta_{1}\) are equivalent, \(( \vartheta_{n},\delta_{n} ) \sim ( \theta_{m},t_{m} ) \), if \(\vartheta_{n}\ast^{\alpha }t_{m}=\theta_{m} \ast^{\alpha }\delta_{n}\) (\(\forall m,n\in N \)). Indeed, ∼ defines an equivalence relation on \(\beta_{1}\). The equivalence class in \(\beta_{1}\) containing \(( \vartheta_{n},\delta_{n} ) \) is denoted as \(( ( \vartheta_{n} ) / ( \delta _{n} ) ) \) and is called Boehmian. An embedding between \(S_{\beta }^{\tilde{\beta }} ( R ) \) and \(\beta_{1}\) is expressed as \(x\rightarrow x\ast^{\alpha }\delta_{n}/\delta_{n}\) (\(\forall m,n\in N \)). If \(( ( \vartheta_{n} ) / ( \delta_{n} ) ) \in \beta_{1} \) and \(z\in \beta_{1}\), then
To define the space of ultraBoehmians, let \(S_{\alpha }\) and \(D_{\alpha }\) be the fraction spaces of \(F_{\alpha }\) of all members of \(S_{\beta }^{\tilde{\beta }} ( R ) \) and \(D_{\beta }^{ \tilde{\beta }} ( R ) \), respectively, and, similarly, let \(\Delta_{\alpha }\) be the fractional set of \(F_{\alpha }\) of all sequences in \(\Delta^{\alpha }\). Then, we introduce a product on \(S_{\alpha }\) as follows:
Then we have the following theorem.
Theorem 10
Let \(F,F_{n},H,G\in S_{\alpha }\), \(F_{n}\rightarrow F\) as \(n\rightarrow \infty \) and \(\Psi \in D_{\alpha }\), then the following identities hold:
-
(i)
\(( F+G ) \times \Psi =F\times \Psi +G\times \Psi \).
-
(ii)
\(F_{n}\times \Psi \rightarrow F\times \Psi \) as \(F_{n}\rightarrow F\) as \(n\rightarrow \infty \).
-
(iii)
\(F\times G=G\times F\).
-
(iv)
\(F\times ( G\times H ) = ( F\times G ) \times H\).
-
(v)
\(\eta ( F\times G ) = ( \eta F\times G ) \), \(\eta \in C \).
Proof
Proofs of (i) and (ii) are straightforward being similar to the proofs assigned to the space \(\beta ( S_{ \beta }^{\tilde{\beta }} ( R ) , ( D_{\beta }^{ \tilde{\beta }} ( R ) ,\ast^{\alpha } ) ,\ast^{\alpha },\Delta_{\beta }^{\tilde{\beta }} ) \).
Proof of (iii) Let \(\vartheta ,\vartheta_{0}\in S_{ \beta }^{\tilde{\beta }} ( R ) \) be such that \(F=F_{\alpha }\vartheta \) and \(G=F_{\alpha }\vartheta_{0}\), then by (14) we have
Since \(\vartheta \ast^{\alpha }\vartheta_{0}=\vartheta_{0}\ast^{ \alpha }\vartheta \), it follows from (14) that
Proof of (iv) is similar to that of (iii), whereas the proof of (v) is straightforward.
The proof is finished. □
Theorem 11
Let \(( \theta_{n} ) , ( \varphi _{n} ) \in \Delta_{\alpha }\) and \(F\in S_{\alpha }\), then \(( \theta_{n}\times \varphi_{n} ) \in \Delta_{\alpha }\) and \(\lim_{n\rightarrow \infty }F\times \theta_{n}=F\).
Proof
Let \(( \delta_{n} ) , ( \psi_{n} ) \in \Delta_{\beta }^{\tilde{\beta }}\) be such that \(F_{\alpha }\delta _{n}=\theta_{n}\) and \(F_{\alpha }\psi_{n}=\varphi_{n}\), \(\forall n\in N\). Then by (14) we have
Hence \(( \theta_{n}\times \varphi_{n} ) \) belongs to \(\Delta_{\alpha }\) since \(( \delta_{n}\ast^{\alpha }\psi_{n} ) \) belongs to \(\Delta^{\alpha }\). The proof of the second part of the theorem can similarly be drawn.
The proof of the theorem is therefore finished. □
The space \(\beta_{2}\) (\(\beta_{2}\equiv \beta_{2} ( S_{\alpha }, ( D_{\alpha },\times ) ,\times ,\Delta_{\alpha } ) \)) of ultraBoehmians is obtained. An ultraBoehmian in \(\beta_{2}\) is written as
where \(( F_{\alpha }\vartheta_{n} ) \in S_{\alpha }\) and \(( F_{\alpha }\theta_{n} ) \in \Delta_{\alpha }\). For similar concepts of addition, convergence, and scalar multiplication in \(\beta_{1}\) and \(\beta_{2}\), we refer to Omari [19, 20].
Definition 12
Let \(( \delta_{n} ) \in \Delta_{ \beta }^{\tilde{\beta }}\) and \(( \vartheta_{n} ) \in S_{ \beta }^{\tilde{\beta }} ( R ) \), then the fractional Fourier operator of a Boehmian in \(\beta_{1}\) can be given as
which indeed is a member of \(\beta_{2}\).
4 Characteristics and an inversion formula
To show that \(\hat{F}_{\alpha }\) is well defined, we assume \(( \vartheta_{n} ) / ( \delta_{n} ) = ( \theta _{n} ) / ( \varepsilon_{n} ) \in \beta_{1}\), then the idea of quotients of sequences in \(\beta_{1}\) suggests to have \(\vartheta _{n}\ast^{\alpha }\varepsilon_{m}=\theta_{m}\ast^{\alpha }\delta_{n}\) (\(m,n\in N \)). Hence, applying \(F_{\alpha }\) gives
Therefore, the convolution theorem reads as follows:
This equivalently can be written as
Hence, the idea of quotients and equivalent classes of \(\beta_{2}\) and the preceding equation suggest to have
Thus,we obtain that
The proof is completely finished.
Theorem 13
The integral operator \(\hat{F}_{\alpha }:\beta _{1}\rightarrow \beta_{2}\) is linear.
Proof of this theorem follows from the concept of addition of Boehmian spaces. Hence it has been deleted.
Theorem 14
Let \(\varrho \in \beta_{1}\), \(\varrho =0\), then \(\hat{F}_{\alpha } ( \varrho ) =0\).
Proof of this theorem is straightforward. Details are, therefore, omitted.
Theorem 15
Let \(\varrho_{0},\varrho \in \beta_{1}\), then we have
Proof
Let \(\varrho_{0}= ( \vartheta_{n} ) / ( \delta_{n} ) \), \(\varrho = ( \theta_{n} ) / ( \varepsilon_{n} ) \in \beta_{1}\) be given. Then, by employing \(\ast^{\alpha }\), we get
Hence, the convolution theorem reveals
The proof is completely finished. □
Definition 16
Let \(\varrho_{0}\in \beta_{2}\), \(\varrho_{0}= ( F_{\alpha }\vartheta_{n} ) / ( F_{\alpha }\delta_{n} ) \), then we introduce the inverse operator of \(\hat{F}_{\alpha }\) as the mapping \(( \hat{F}_{\alpha } ) ^{-1}:\beta_{2}\rightarrow \beta_{1} \) given by
for each \(( \delta_{n} ) \in \Delta_{\beta }^{ \tilde{\beta }}\).
Theorem 17
The inverse operator \(( \hat{F}_{\alpha } ) ^{-1}:\beta_{2}\rightarrow \beta_{1}\) is well defined and linear.
Proof
Let \(\varrho_{0}=\varrho \) in \(\beta_{2},\varrho_{0}= ( F_{\alpha }\vartheta_{n} ) / ( F_{\alpha }\delta_{n} ) \), \(\varrho = ( F_{\alpha }\theta_{n} ) / ( F_{\alpha }\varepsilon_{n} ) \). Then
for some \(( \theta_{n} ) \), \(( \vartheta_{n} ) \) in \(S_{\beta }^{\tilde{\beta }} ( R ) \). By using the convolution theorem, we obtain
Therefore, \(\vartheta_{n}\ast^{\alpha }\varepsilon_{m}=\theta_{m} \ast^{\alpha }\delta_{n}\) (\(m,n\in N \)). Hence, we have
To show that \(( \hat{F}_{\alpha } ) ^{-1}\) is linear, let \(\varrho_{0}= ( F_{\alpha }\vartheta_{n} ) / ( F_{\alpha }\delta_{n} ) \), \(\varrho = ( F_{\alpha }\theta_{n} ) / ( F_{\alpha }\varepsilon_{n} ) \) be members in \(\beta_{2}\), then by addition of \(\beta_{2}\) and the convolution theorem, we write
Therefore,
Hence addition in \(\beta_{1}\) finishes the proof of the theorem. □
References
Nemzer, D.: A note on the convergence of a series in the space of Boehmians. Bull. Pure Appl. Math. 2, 63–69 (2008)
Al-Omari, S.K.Q., Kilicman, A.: An estimate of Sumudu transform for Boehmians. Adv. Differ. Equ. 2013, 77 (2013)
Mikusinski, P.: Tempered Boehmians and ultra distributions. Proc. Am. Math. Soc. 123, 813–817 (1995)
Nemzer, D.: Quasi-asymptotic behavior of Boehmians. Novi Sad J. Math. 46, 87–102 (2016)
Nemzer, D.: Boehmians of \(L_{p}\)-growth. Integral Transforms Spec. Funct. 27, 653–666 (2016)
Al-Omari, S.K.Q., Kilicman, A.: On generalized Hartley–Hilbert and Fourier–Hilbert transforms. Adv. Differ. Equ. 2012, 232 (2012)
Almeida, L.B.: Product and convolution theorems for the fractional Fourier transform. IEEE Signal Process. Lett. 4(1), 15–17 (1997)
Namias, V.: The fractional Fourier transform and its application to quantum mechanics. J. Inst. Math. Appl. 25, 241–265 (1980)
Pathak, R.S., Prasad, A., Kumar, M.: Fractional Fourier transform of tempered distributions and generalized pseudo-differential operator. J. Pseud.-Differ. Oper. Appl. 3, 239–254 (2012)
Prasad, A., Kumar, M.: Product of two generalized pseudo-differential operators involving fractional Fourier transform. J. Pseud.-Differ. Oper. Appl. 2, 355–365 (2011)
Garcia, J., Mas, D., Dorsch, R.G.: Fractional-Fourier-transform calculation through the fast-Fourier-transform algorithm. Appl. Opt. 35(35), 7013–7018 (1996)
Andez, V.J.: Application of the fractional Fourier transform to image reconstruction in MRI. Thesis, Pontificia Universidad Catolica De Chile (2009)
Narayanana, V.A., Prabhu, K.: The fractional Fourier transform: theory, implementation and error analysis. Microprocess. Microsyst. 27, 511–521 (2003)
Zayed, A.I., Garcia, A.G.: New sampling formulae for the fractional Fourier transform. Signal Process. 77, 111–114 (1999)
Zayed, A.I.: A convolution and product theorem for the fractional Fourier transform. IEEE Signal Process. Lett. 5(4), 101–103 (1998)
Zayed, A.I.: Fractional Fourier transform of generalized function. Integral Transforms Spec. Funct. 7(3–4), 299–312 (1998)
Barbu, M., Kaminsky, E.J., Trahan, R.E.: Sonar signal enhancement using fractional Fourier transform. In: Proceed. SPIE, vol. 5807, pp. 170–177. SPIE, Bellingham (2005)
Zemanian, A.H.: Distribution Theory and Transform Analysis: An Introduction to Generalized Functions, with Applications. McGraw-Hill, New York (1965)
Al-Omari, S.K.Q.: Hartley transforms on certain space of generalized functions. Georgian Math. J. 20(3), 415–426 (2013)
Al-Omari, S.K.Q., Kilicman, A.: On the generalized Hartley and Hartley–Hilbert transformations. Adv. Differ. Equ. 2013, 222 (2013). https://doi.org/10.1186/1687-1847-2013-222
Acknowledgements
The authors would like to express many thanks to the anonymous referees for their corrections and comments on this manuscript.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and proved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of interest regarding the publication of this paper. The author declares that he has no competing interests.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Al-Omari, S.K. A fractional Fourier integral operator and its extension to classes of function spaces. Adv Differ Equ 2018, 195 (2018). https://doi.org/10.1186/s13662-018-1644-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1644-5