- Research
- Open access
- Published:
On function spaces with fractional Fourier transform in weighted Lebesgue spaces
Journal of Inequalities and Applications volume 2015, Article number: 87 (2015)
Abstract
Let w and ω be weight functions on \(\mathbb{R} ^{d}\). In this work, we define \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) to be the vector space of \(f\in L_{w}^{1} ( \mathbb{R}^{d} ) \) such that the fractional Fourier transform \({F_{\alpha}}f\) belongs to \(L_{\omega}^{p} ( \mathbb{R}^{d} ) \) for \(1\leq p<\infty\). We endow this space with the sum norm \({\Vert f\Vert _{A_{\alpha,p}^{w,\omega}}}={\Vert f\Vert _{1,w}}+ {\Vert {{F_{\alpha}}f} \Vert _{p,\omega}}\) and show that \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) becomes a Banach space and invariant under time-frequency shifts. Further we show that the mapping \(y\rightarrow{T_{y}f}\) is continuous from \(\mathbb{R} ^{d}\) into \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \), the mapping \(z\rightarrow{M_{z}}f\) is continuous from \(\mathbb{R}^{d}\) into \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) and \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) is a Banach module over \(L_{w}^{1} ( \mathbb{R}^{d} ) \) with Θ convolution operation. At the end of this work, we discuss inclusion properties of these spaces.
1 Introduction
In this work, for any function \(f: \mathbb{R} ^{d}\rightarrow \mathbb{C}\), the translation and modulation operator are defined as \({T_{x}}f ( t ) =f ( {t-x} ) \) and \({M_{w}}f ( t ) ={e^{iwt}} f ( t ) \) for all \(y,w\in \mathbb{R}^{d}\), respectively. Also we write the Lebesgue space \(( {{L^{p}} ( \mathbb{R}^{d} ) ,{{\Vert \cdot \Vert }_{p}}} ) \), for \(1\leq p<\infty \). Let w be a weight function on \(\mathbb{R} ^{d}\), that is, a measurable and locally bounded function w satisfying \(w ( x ) \geq1\) and \(w ( {x+y} ) \leq w ( x ) w ( y ) \) for all \(x,y\in \mathbb{R}^{d}\). We define, for \(1\leq p<\infty\),
It is well known that \(L_{w}^{p} ( \mathbb{R} ^{d} ) \) is a Banach space under the norm \({\Vert f\Vert _{p,w}}={\Vert {fw}\Vert _{p}}\).
Let \({w_{1}}\) and \({w_{2}}\) are two weight functions. We say that \({w_{1}}\prec{w_{2}}\) if there exists \(c>0\), such that \({w_{1}} ( x ) \leq c{w_{2}} ( x ) \) for all \(x\in \mathbb{R}^{d}\) [1, 2].
The Fourier transform \(\hat{f}\) (or \(\mathcal{F}f\)) of \(f\in{L^{1}} ( \mathbb{R} ) \) is given by
The fractional Fourier transform is a generalization of the Fourier transform with a parameter α and can be interpreted as a rotation by an angle α in the time-frequency plane. The fractional Fourier transform with angle α of a function f is defined by
where
and δ is a Dirac delta function. The fractional Fourier transform with \(\alpha=\frac{\pi}{2}\) corresponds to the Fourier transform [3–9].
The fractional Fourier transform can be extended to higher dimensions as [9]:
or shortly
where
In this work we define the function spaces with fractional Fourier transform in weighted Lebesgue spaces and discuss some properties of these spaces.
2 On function spaces with fractional Fourier transform in weighted Lebesgue spaces
Definition 1
Let w and ω be weight functions on \(\mathbb{R}^{d}\) and \(1\leq p<\infty\). The space \(A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \) consist of all \({f\in L_{w}^{1} ( \mathbb{R} ^{d} ) }\) such that \(\mathcal{F}{{_{\alpha}f}\in L_{\omega }^{p} ( \mathbb{R} ^{d} ) }\). The norm on the vector space \(A_{\alpha,p}^{w,\omega } ( \mathbb{R} ^{d} ) \) is
Theorem 2
\(( {A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) ,{{\Vert \cdot \Vert }_{A_{\alpha,p}^{w,\omega}}}} ) \) is a Banach space for \(1\leq p<\infty\).
Proof
Let \(( f_{n} ) _{n\in \mathbb{N}}\) is a Cauchy sequence in \({A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) }\). Thus \(( f_{n} ) _{n\in \mathbb{N}}\) and \(( \mathcal{F}{_{\alpha}}f_{n} ) _{n\in \mathbb{N}}\) are Cauchy sequences in \({L_{w}^{1} ( \mathbb{R} ^{d} ) }\) and \({L_{\omega}^{p} ( \mathbb{R} ^{d} ) }\), respectively. Since \({L_{w}^{1} ( \mathbb{R} ^{d} ) }\) and \({L_{\omega}^{p} ( \mathbb{R} ^{d} ) }\) are Banach spaces, there exist \(f\in{L_{w}^{1} ( \mathbb{R} ^{d} ) }\) and \(g\in{L_{\omega}^{p} ( \mathbb{R} ^{d} ) }\) such that \({\Vert f_{n}-f\Vert _{1,w}\rightarrow0} \), \({\Vert \mathcal{F}{_{\alpha}}f_{n}-g\Vert _{p,\omega }\rightarrow0}\) and hence \({\Vert f_{n}-f\Vert _{1}\rightarrow0} \) and \({\Vert \mathcal{F}{_{\alpha}}f_{n}-g\Vert _{p}\rightarrow0}\). Then \(( \mathcal{F}{_{\alpha}}f_{n} ) _{n\in \mathbb{N} }\) has a subsequence \(( \mathcal{F}{_{\alpha}}f_{n_{k}} ) _{n_{k}\in \mathbb{N}}\) that converges pointwise to g almost everywhere. Also it is easy to see that \({\Vert f_{n_{k}}-f\Vert _{1}\rightarrow0}\). Then we have
From this inequality, we obtain \(\mathcal{F}_{\alpha}f=g\) almost everywhere. Thus \({{{\Vert f_{n}-f\Vert }_{A_{\alpha ,p}^{w,\omega}}\rightarrow0}}\) and \(f\in{A_{\alpha,p}^{w,\omega } ( \mathbb{R} ^{d} ) }\). Hence \(( {A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) ,{{\Vert \cdot \Vert }_{A_{\alpha,p}^{w,\omega}}}} ) \) is a Banach space. □
The following proposition is generalization of the one-dimensional and two-dimensional versions. The proof of this proposition is very similar to the proofs of one-dimensional and two-dimensional versions in [3, 5, 10, 11], and we omit the details.
Proposition 3
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\). Then
for all \(f\in{L^{1}} ( \mathbb{R}^{d} ) \) and \(y\in \mathbb{R}^{d}\);
for all \(f\in{L^{1}} ( \mathbb{R} ^{d} ) \) and \(v\in \mathbb{R} ^{d}\).
Theorem 4
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\).
-
(1)
Let \(1\leq p<\infty\), w and ω be weight functions on \(\mathbb{R} ^{d}\). Then the space \(A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \) is translation invariant.
-
(2)
Let ω be a bounded weight function on \(\mathbb{R} ^{d}\). Then the mapping \(y\rightarrow{T_{y}}f\) of \(\mathbb{R}^{d}\) into \(A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \) is continuous.
Proof
(1) Let \(f\in{A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) }\). Then \(f\in{L_{w}^{1} ( \mathbb{R} ^{d} ) }\) and \(\mathcal{F}{_{\alpha}}f\in{L_{\omega}^{p} ( \mathbb{R} ^{d} ) }\). It is well known that the space \({L_{w}^{1} ( \mathbb{R} ^{d} ) }\) is translation invariant and holds \({\Vert {{T_{y}}f} \Vert _{1,w}}\leq w ( y ) {\Vert f\Vert _{1,w}}\) for all \(y\in \mathbb{R} ^{d}\) [12]. Let \(b= ( {{y_{1}}\cos{\alpha _{1}},\ldots,{y_{d}}\cos{\alpha_{d}}} ) \). By using the equality (1), we get
for all \(y\in \mathbb{R} ^{d}\). Hence, we have
This means that \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) is translation invariant.
(2) Let f \(\in{A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) }\). We will show that if \(\lim_{n\rightarrow\infty }{y_{n}}=0\) for any sequence \({ ( {{y_{n}}} ) _{n\in \mathbb{N} }}\subset \mathbb{R} ^{d}\), then \(\lim_{n\rightarrow\infty}{{T_{{y_{n}}}}f}=f\), which will complete the proof. It is well known that the mapping \(y\rightarrow{T_{y}}f\) is continuous from \(\mathbb{R}^{d}\) into \({L_{w}^{1} ( \mathbb{R} ^{d} ) }\) (see [12]). Thus, we have
as \(n\rightarrow\infty\). Also,
Since \(\mathcal{F}{_{\alpha}}f\in{L_{\omega}^{p} ( \mathbb{R} ^{d} ) }\), the mapping \(y\rightarrow{T_{y}} ( \mathcal{F}{{_{\alpha}}}f ) \) is continuous from \(\mathbb{R}^{d}\) into \({L_{\omega}^{p} ( \mathbb{R}^{d} ) }\) for all \(y\in \mathbb{R}^{d}\) [12]. Then we obtain \({\Vert {T_{ ( {y_{n}^{1}\cos{\alpha_{1}},\ldots,y_{n}^{d}\cos{\alpha_{d}}} ) }} ( \mathcal{F}{_{\alpha}f} ) -\mathcal{F}{_{\alpha}f} \Vert _{p,\omega}}\rightarrow0\) as \(n\rightarrow\infty\). Now let \({h_{{y_{n}}}} ( u ) =\vert {{e^{\sum_{j=1}^{d}{ ( {\frac{i}{2}{{ ( {y_{n}^{j}} ) }^{2}}\sin{\alpha_{j}}\cos{\alpha _{j}}-i{u_{j}}y_{n}^{j}\sin{\alpha_{j}}} ) }}}-1}\vert \vert \mathcal{F}{_{\alpha}f ( u ) }\vert \). Since \(\lim_{n\rightarrow\infty}{y_{n}}=0\) and ω is a bounded weight function on \(\mathbb{R}^{d}\), we see that \(\lim_{n\rightarrow\infty}h_{{y_{n}}}^{p} ( u ) {\omega^{p}} ( u ) =0\) for all \(u\in \mathbb{R}^{d}\). Also, since
and \(\mathcal{F}_{\alpha}f\in L_{\omega}^{p} ( \mathbb{R}^{d} ) \), we can write \(h_{{y_{n}}}^{p} ( u ) {\omega ^{p}} ( u ) \leq{2^{p}}{\vert \mathcal{F}{_{\alpha}f ( u ) }\vert ^{p}}{\omega^{p}} ( u ) \). Thus, by the Lebesgue dominated convergence theorem,
as \(\lim_{n\rightarrow\infty}{y_{n}}=0\). Hence,
as \(n\rightarrow\infty\). Combining (2) and (3),
as \(n\rightarrow\infty\). This is the desired result. □
Theorem 5
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\).
-
(1)
Let \(1\leq p<\infty\), w and ω be weight functions on \(\mathbb{R}^{d}\). Then \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) is invariant under modulations.
-
(2)
Let ω be a bounded weight function on \(\mathbb{R}^{d}\). Then the mapping \(z\rightarrow{M_{z}}f\) is continuous from \(\mathbb{R}^{d}\) into \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \).
Proof
(1) Let f \(\in{A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) }\). Then \(f\in{L_{w}^{1} ( \mathbb{R} ^{d} ) }\) and \(\mathcal{F}{_{\alpha}}f\in{L_{\omega}^{p} ( \mathbb{R} ^{d} ) }\). It is easy to see that \({\Vert {{M_{\eta}}f} \Vert _{1,w}}={\Vert f\Vert _{1,w}}\) and \({{M_{\eta }}f\in L_{w}^{1} ( \mathbb{R} ^{d} ) }\). Let \(c= ( {{\eta_{1}}\sin{\alpha_{1}},\ldots,{\eta _{d}}\sin{\alpha_{d}}} ) \in \mathbb{R} ^{d}\). Thus by Proposition 3, we have
for all \({\eta}\in \mathbb{R} ^{d}\). Hence, we get
(2) The proof technique of this part is the same as that of Theorem 4(2). So, for the sake of brevity, we will not prove it. □
The following definition is an extension of the convolution in [13, 14] of two functions to n dimensions.
Definition 6
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\). Then the convolution of two functions \(f,g\in{L^{1}} ( \mathbb{R} ^{d} ) \) is the function \(f\Theta g\) defined by
It is easy to see that \(f\Theta g\) belongs to \({L^{1}} ( \mathbb{R} ^{d} ) \) by Fubini’s theorem.
Theorem 7
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\), and \(f,g\in{L^{1}} ( \mathbb{R} ^{d} ) \). Then
where \(\mathcal{F}_{\alpha}f\) and \(\mathcal{F}_{\alpha}g\) are the fractional Fourier transforms of functions f and g, respectively.
Proof
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\), and \(f,g\in{L^{1}} ( \mathbb{R} ^{d} ) \). We can write from the definition of the fractional Fourier transform
We make the substitution \(t-y=k\) and obtain
□
Theorem 8
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z} \). \(L_{w}^{1} ( \mathbb{R} ^{d} ) \) is a Banach algebra under Θ convolution.
Proof
It is well known that \(L_{w}^{1} ( \mathbb{R} ^{d} ) \) is a Banach space [2]. Let \(f,g\in L_{w}^{1} ( \mathbb{R} ^{d} ) \), then we have
It is easy to show that the other conditions of the Banach algebra are satisfied. □
Theorem 9
Let \(\alpha= ( {{\alpha_{1}},{\alpha_{2}},\ldots,{\alpha _{d}}} ) \), where \({\alpha_{i}}\neq k\pi\) for each index i with \(1\leq i\leq d\) and \(k\in \mathbb{Z}\). \(A_{\alpha,p}^{w,\omega} ( \mathbb{R}^{d} ) \) is a Banach Θ-convolution module over \(L_{w}^{1} ( \mathbb{R} ^{d} ) \).
Proof
It is well known that \(A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \) is a Banach space by Theorem 2. Let \(f\in A_{\alpha ,p}^{w,\omega} ( \mathbb{R} ^{d} ) \) and \(g\in L_{w}^{1} ( \mathbb{R} ^{d} ) \). By using the inequality (4), we get
Combining (4) and (5), we obtain
This is the desired result. It is easy to see that the other conditions of the module are satisfied. □
3 Inclusion properties of the space \(A_{\alpha ,p}^{w,\omega} (\mathbb{R}^{d} )\)
Proposition 10
For every \(0\neq f\in A_{\alpha,p}^{w,1} ( \mathbb{R} ^{d} ) \) there exists \(c ( f ) >0\) such that
Proof
Let \(0\neq f\in A_{\alpha,p}^{w,1} ( \mathbb{R}^{d} ) \). By [12], there exists \(c ( f ) >0\) such that
By using (6) and the equality \({\Vert \mathcal {F}{_{\alpha} ( {{T_{x}}f} ) }\Vert _{p}}={\Vert \mathcal{F}{{_{\alpha}}f} \Vert _{p}}\), we obtain
for all \(f\in A_{\alpha,p}^{w,1} ( \mathbb{R} ^{d} ) \). □
Lemma 11
Let \({w_{1}}\), \({w_{2}}\), \({\omega_{1}}\) and \({\omega_{2}}\) be weight functions on \(\mathbb{R}^{d}\). If \(A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \subset A_{\alpha,p}^{{w_{2}},{\omega_{2}}} ( \mathbb{R} ^{d} ) \), then \(A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \) is a Banach space under the norm \(|\!|\!|f|\!|\!|={\Vert f\Vert _{A_{\alpha ,p}^{{w_{1}}, {\omega_{1}}}}}+{\Vert f\Vert _{A_{\alpha ,p}^{{w_{2}},{\omega _{2}}}}}\).
Proof
Let \(( f_{n} ) _{n\in \mathbb{N}}\) is a Cauchy sequence in \(( A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) ,|\!|\!|\cdot|\!|\!|) \). Then \(( f_{n} ) _{n\in \mathbb{N}}\) is a Cauchy sequence in \(( A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) ,{\Vert \cdot \Vert _{A_{\alpha,p}^{{w_{1}},{\omega _{1}}}}} ) \) and \(( A_{\alpha,p}^{{w_{2}},{\omega_{2}}} ( \mathbb{R} ^{d} ) ,{\Vert \cdot \Vert _{A_{\alpha,p}^{{w_{2}},{\omega _{2}}}}} ) \). As these spaces are Banach spaces, there exist \(f\in A_{\alpha ,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \) and \(g\in A_{\alpha,p}^{{w_{2}},{\omega_{2}}} ( \mathbb{R} ^{d} ) \) such that \({\Vert {{f_{n}}-f}\Vert _{A_{\alpha ,p}^{{w_{1}},{\omega_{1}}}}}\rightarrow0\), \({\Vert {{f_{n}}-g} \Vert _{A_{\alpha,p}^{{w_{2}},{\omega_{2}}}}}\rightarrow0\). Using the inequalities \({\Vert \cdot \Vert _{1}}\leq{ \Vert \cdot \Vert _{1,{w_{1}}}}\leq{ \Vert \cdot \Vert _{A_{\alpha ,p}^{{w_{1}},{\omega _{1}}}}}\) and \({\Vert \cdot \Vert _{1}}\leq{ \Vert \cdot \Vert _{1,{w_{2}}}}\leq{ \Vert \cdot \Vert _{A_{\alpha ,p}^{{w_{2}},{\omega _{2}}}}}\), we obtain \({\Vert {{f_{n}}-f}\Vert _{1}}\rightarrow0\) and \({\Vert {{f_{n}}-g}\Vert _{1}}\rightarrow0\). Also \({\Vert {f-g}\Vert _{1}}\leq{ \Vert {{f_{n}}-f} \Vert _{1}}+{\Vert {{f_{n}}-g}\Vert _{1}}\), we have \(f=g\). Hence \(|\!|\!|{{f_{n}}-f}|\!|\!|\rightarrow0\) and \(f\in A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \). That means \(( A_{\alpha,p}^{{w_{1}},{\omega_{1}}} (\mathbb{R}^{d} ) , |\!|\!|\cdot|\!|\!|) \) is a Banach space. □
Theorem 12
Let \({w_{1}}\) and \({w_{2}}\) be weight functions on \(\mathbb{R} ^{d}\). Then \(A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \subset A_{\alpha,p}^{{w_{2}},1} ( \mathbb{R} ^{d} ) \) if and only if \({w_{2}}\prec{w_{1}}\).
Proof
Suppose that \({w_{2}}\prec{w_{1}}\). Thus there exists \({c_{1}}>0\) such that \({w_{2}} ( x ) \leq{c}_{1}{w_{1}} ( x ) \) for all \(x\in \mathbb{R}^{d}\). Also let \(f\in A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \). Then we write
Hence we have
Therefore, \(A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \subset A_{\alpha,p}^{{w_{2}},1} ( \mathbb{R} ^{d} ) \).
Conversely, suppose that \(A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \subset A_{\alpha,p}^{{w_{2}},1} ( \mathbb{R} ^{d} ) \). For every \(f\in A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \), we have \(f\in A_{\alpha,p}^{{w_{2}},1} ( \mathbb{R} ^{d} ) \). By Proposition 10, there are constants \({c_{1}},{c_{2}},{c_{3}},{c_{4}}>0\) such that
and
for all \(x\in \mathbb{R} ^{d}\). It is well known from Lemma 11 that the space \({A_{\alpha ,p}^{{w_{1}} ,1} ( \mathbb{R} ^{d} ) }\) is a Banach space under the norm \({|\!|\!|f|\!|\!|}\), \(f\in A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \). Then by the closed graph theorem the norms \({\Vert \cdot \Vert _{A_{\alpha,p}^{{w_{1}},1}}}\) and \({\Vert \cdot \Vert _{A_{\alpha,p}^{{w_{2}},1}}}\) are equivalent on \(A_{\alpha,p}^{{w_{1}} ,1} ( \mathbb{R} ^{d} ) \). So, there exists \({c}>0\) such that \({\Vert f \Vert _{A_{\alpha,p}^{{w_{2}},1}}\leq \Vert f\Vert _{A_{\alpha ,p}^{{w_{1}},1}}}\) for all \(f\in A_{\alpha,p}^{{w_{1}},1} ( \mathbb{R} ^{d} ) \). Moreover, as \({T_{x}}f\in A_{\alpha,p}^{{w_{2}},1} ( \mathbb{R} ^{d} ) \), we have
Then, combining (7), (8), and (9), we obtain
Thus, \({w_{2}} ( x ) \leq\frac {{c{c_{2}}}}{{{c_{3}}}}{w_{1}} ( x ) \). Let \(\frac{{c{c_{2}}}}{{{c_{3}}}}=k\). Then we find \({w_{2}} ( x ) \leq k{w_{1}} ( x ) \) for all \(x\in \mathbb{R} ^{d}\). □
Proposition 13
Let \({w_{1}}\), \({w_{2}}\), \({\omega_{1}}\) and \({\omega_{2}}\) be weight functions on \(\mathbb{R} ^{d}\). If \({w_{2}}\prec{w_{1}}\) and \({\omega_{2}}\prec{\omega_{1}}\), then \(A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \subset A_{\alpha,p}^{{w_{2}},{\omega_{2}}} ( \mathbb{R} ^{d} ) \).
Proof
Assume that \({w_{2}}\prec{w_{1 }}\) and \({\omega_{2}}\prec {\omega _{1}}\). Then there exist \({c_{1}},{c_{2}}>0\) such that \({w_{2}} ( x ) \leq{c_{1}}{w_{1}} ( x ) \) and \({\omega_{2}} ( x ) \leq{c_{2}}{\omega_{1}} ( x ) \) for all \(x\in \mathbb{R} ^{d}\). Let \(f\in A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \). As \(f\in L_{{w_{1}}}^{1} ( \mathbb{R} ^{d} ) \) and \(\mathcal{F}_{\alpha}f\in L_{{\omega _{1}}}^{p} ( \mathbb{R} ^{d} ) \), we have \({\Vert f\Vert _{1,{w_{2}}}}\leq {c_{1}}{\Vert f\Vert _{1,{w_{1}}}}<\infty\) and \({\Vert \mathcal {F}{{_{\alpha}}f} \Vert _{p,{\omega_{2}}}}\leq{c_{2}}{\Vert \mathcal{F}{_{\alpha}f} \Vert _{p,{\omega_{1}}}}<\infty\). Hence, we obtain \(f\in A_{\alpha,p}^{{w_{2}},{\omega_{2}}} ( \mathbb{R} ^{d} ) \), and then \(A_{\alpha,p}^{{w_{1}},{\omega_{1}}} ( \mathbb{R} ^{d} ) \subset A_{\alpha,p}^{{w_{2}},{\omega_{2}}} ( \mathbb{R} ^{d} ) \). □
4 Duality
Let the mapping \(\Phi:A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \rightarrow L_{w}^{1} ( \mathbb{R} ^{d} ) \times L_{\omega}^{p} ( \mathbb{R} ^{d} ) \) be defined by \(\Phi ( f ) = ( {f},\mathcal {F}{{_{\alpha}}f} ) \) for \(1\leq p<\infty\) and let \(H=\Phi ( {A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) } ) \). Then
is a norm on H for all \(f\in A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \). Moreover, we define a set K as
where \(\frac{1}{p}+\frac{1}{{p^{\prime}}}=1\).
The following proposition is proved by the duality theorem, Theorem 1.7 in [15].
Proposition 14
Let \(1\leq p<\infty\), and w and ω be weight functions on \(\mathbb{R}^{d}\). The dual space of \(A_{\alpha,p}^{w,\omega} ( \mathbb{R} ^{d} ) \) is isomorphic to \({{L_{{w^{-1}}}^{\infty} ( \mathbb{R} ^{d} ) \times L_{{\omega^{-1}}}^{p^{\prime}} ( \mathbb{R} ^{d} ) }}/ {K} \) where \(\frac{1}{p}+\frac {1}{{p^{\prime}}} =1\).
References
Feichtinger, HG, Gürkanlı, AT: On a family of weighted convolution algebras. Int. J. Math. Sci. 13, 517-526 (1990)
Reiter, H: Classical Harmonic Analysis and Locally Compact Group. Oxford University Press, Oxford (1968)
Namias, V: The fractional order of Fourier transform and its application in quantum mechanics. IMA J. Appl. Math. 25, 241-265 (1980)
Ozaktas, HM, Kutay, MA, Zalevsky, Z: The Fractional Fourier Transform with Applications in Optics and Signal Processing. Wiley, Chichester (2001)
Almeida, LB: The fractional Fourier transform and time-frequency representations. IEEE Trans. Signal Process. 42, 3084-3091 (1994)
Zayed, AI: On the relationship between the Fourier and fractional Fourier transforms. IEEE Signal Process. Lett. 3, 310-311 (1996)
Almeida, LB: Product and convolution theorems for the fractional Fourier transform. IEEE Signal Process. Lett. 4(1), 15-17 (1997)
Zayed, AI: Fractional Fourier transform of generalized function. Integral Transforms Spec. Funct. 7, 299-312 (1998)
Bultheel, A, Martinez, H: A shattered survey of the fractional Fourier transform. Report TW337, Department of Computer Science, K.U. Leuven (2002)
Sahin, A, Ozaktas, HM, Mendlovic, D: Optical implementations of two-dimensional fractional Fourier transforms and linear canonical transforms with arbitrary parameters. Appl. Opt. 37(11), 2130-2141 (1998)
Sharma, VD: Operational calculus on generalized two-dimensional fractional Fourier transform. Int. J. Eng. Innov. Technol. 3(2), 253-256 (2013)
Fischer, RH, Gürkanlı, AT, Liu, TS: On a family of weighted spaces. Math. Slovaca 46(1), 71-82 (1996)
Singh, AK, Saxena, R: On convolution and product theorems for FRFT. Wirel. Pers. Commun. 65, 189-201 (2012)
Zayed, AI: A convolution and product theorem for the fractional Fourier transform. IEEE Signal Process. Lett. 5, 101-103 (1998)
Liu, T, Rooij, AV: Sums and intersections of normed linear spaces. Math. Nachr. 42, 29-42 (1969)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Ravi P Agarwal.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Toksoy, E., Sandıkçı, A. On function spaces with fractional Fourier transform in weighted Lebesgue spaces. J Inequal Appl 2015, 87 (2015). https://doi.org/10.1186/s13660-015-0609-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0609-4