- Research
- Open access
- Published:
Characterization of \(W^{p}\)-type of spaces involving fractional Fourier transform
Journal of Inequalities and Applications volume 2015, Article number: 31 (2015)
Abstract
The characterizations of \(W^{p}\)-type of spaces and mapping relations between W- and \(W^{p}\)-type of spaces are discussed by using the fractional Fourier transform. The uniqueness of the Cauchy problems is also investigated by using the same transform.
1 Introduction
The spaces of W-type were studied by Gurevich [1], Gel’fand and Shilov [2] and Friedman [3]. They investigated the behavior of the Fourier transformation on W-type spaces. The spaces of W-types are applied to the theory of partial differential equations. Pathak and Upadhyay [4] investigated the spaces \(W_{M}^{p}\), \(W_{M,a}^{p}\), \(W^{\Omega,b,p}\), \(W^{\Omega,p}\), \(W^{\Omega,p}_{M}\), \(W^{\Omega,b,p}_{M,a}\) in terms of \(L^{p}\) norms. Here M, Ω are certain continuous increasing convex functions and a, b are positive constants and \(p\geq1\). It was shown that the Fourier transformation F is to be a continuous linear mapping as follows: \(F: W^{p}_{M,a}\rightarrow W^{\Omega,\frac{1}{a},r}\), \(F: W^{\Omega ,b,p}\rightarrow W^{r}_{M,\frac{1}{b}}\), \(F: W^{\Omega ,b,p}_{M,a}\rightarrow W^{\Omega,\frac{1}{a},r}_{M, \frac{1}{a}}\). Using the theory of the Hankel transform, Betancor and Rodriguez-Mesa [5] gave a new characterization of the space of \(We^{p}_{\mu}\)-type and established the results \(We^{p}_{M,a}= We_{M,a}\), \(We^{p,\Omega,b}= We^{\Omega,b}\), \(We^{p,\Omega,b}_{M,a}= We^{\Omega,b}_{M,a} \). Upadhyay [6] established the results of the following types: \(W^{p}_{M,a}= W_{M,a}\), \(W^{p,\Omega,b}= W^{\Omega,b}\), \(W^{p,\Omega,b}_{M,a}= W^{\Omega,b}_{M,a}\) by exploiting the theory of Fourier transformations. Motivated by the work of Pathak and Upadhyay [4] and Upadhyay [6] we shall extend a similar type of results in n dimensions by using the theory of the fractional Fourier transformations. Let \(\mathbb{R}^{n}\) be the usual Euclidean space given by
Assume \(x = ( x_{1},\ldots,x_{n} )\) and \(y = ( y_{1},\ldots,y_{n} )\). Then the inner product of x and y is defined by
and the norm of x is defined by
The \(L^{p}\) norm of a function f in \(L^{p}(\mathbb{R}^{n})\), \(1\leq p\leq\infty\), is denoted by \(\Vert f\Vert _{p}\) and defined as
The n-dimensional fractional Fourier transform (FrFT) with parameter α of \(f(x)\) on \(x \in\mathbb{R}^{n}\) is denoted by \((F_{\alpha }f)(\xi)\) [7, 8] and defined as
where
and
The corresponding inversion formula is given by
where the kernel
and \(C_{\alpha}\) is defined by (1.5).
Now from the technique of [9, p.2], (1.1) can be written as
Replacing \(f(x)= e^{-\frac{i\vert x\vert ^{2} \cot\alpha }{2}} \phi(x)\) in (1.3), we obtain
Now substituting \(\xi= w \sin\alpha\), where \(w\in \mathbb{R}^{n}\) in (1.4), we obtain
Let \(\psi = F_{\alpha} [e^{-\frac{i\vert x\vert ^{2}\cot\alpha }{2}}\phi(x) ]\), then (1.6) can be written as
Now we recall the definitions of W- and \(W^{p}\)-type of spaces from [2–4], which are given below. Let \(\mu_{j}\) and \(w_{j}\), \(j=1,\ldots,n\), be continuous and increasing functions on \([0, \infty)\) with \(\mu_{j}(0)= w_{j}(0)=0\) and \(\mu_{j}(\infty)=w_{j}(\infty)=\infty \).
We define
where \(j= 1,\ldots,n\). The functions \(M_{j}(x_{j})\) and \(\Omega _{j}(y_{j})\) are continuous, increasing, and convex with \(M_{j}(0)= \Omega _{j}(0)= 0\) and \(M_{j}(\infty)= \Omega_{j}(\infty)= \infty\), we have
We define
The space \(W_{M,a}(\mathbb{R}^{n})\) consists of all \(C^{\infty}\)-complex valued functions \(\phi(x)\) on \(x\in\mathbb{R}^{n}\), which for any \(\delta\in\mathbb{R}^{n}_{+}\) satisfy the inequality
and the space \(W_{M,a}^{p}(\mathbb{R}^{n})\) consists of all infinitely differentiable functions \(\phi(x)\) on \(x\in\mathbb{R}^{n}\), which for any \(\delta\in\mathbb{R}^{n}_{+}\) satisfy the inequality
for each \(k\in\mathbb{Z}^{n}_{+}\) where \(D^{k}_{x}=D^{k_{1}}_{x_{1}}\cdots D^{k_{n}}_{x_{n}}\),
and \(a_{1},\ldots,a_{n}\), \(C_{k,\delta,p}\), \(C_{k,\delta}\) are positive constants depending on the function \(\phi(x)\).
The space \(W^{\Omega,b}(\mathbb{C}^{n})\) consists of all entire analytic functions \(\phi(z)\), where \(z=x+iy \) and \(x,y \in \mathbb{R}^{n}\), which for any \(\rho\in\mathbb{R}^{n}_{+}\) satisfy the inequality
where
and \(b_{1},\ldots,b_{n}\), \(C_{k,\rho}\) are positive constants depending on the function \(\phi(x)\) and the space \(W^{\Omega,b,p}\) consists of all entire analytic functions \(\phi(z)\) such that for \(k\in\mathbb{Z}^{n}_{+}\), \(\rho\in\mathbb{R}^{n}_{+}\), there exists a constant \(C_{k,\rho,p} > 0\) such that
where
The space \(W^{\Omega,b}_{M,a}(\mathbb{C}^{n})\) consists of all entire analytic functions \(\phi(z)\) such that there exist constants \(\rho, \delta\in\mathbb{R}^{n}_{+}\) and \(C_{\delta,\rho } > 0\) such that
and the space \(W^{\Omega,b,p}_{M,a}(\mathbb{C}^{n})\) consists of all entire analytic functions \(\phi(z)\) such that for \(\rho,\delta \in\mathbb{R}^{n}_{+}\) and \(C_{\rho,\delta,p} > 0\),
where \(\exp [ M[(a-\delta)x] ]\) and \(\exp [-\Omega[(b+\rho)y] ]\) have the usual meaning like (1.16) and (1.18), and the constants \(C_{\rho,\delta,p}\), a, b, and ρ, δ depend only on the function \(\phi(z)\).
Let \(M_{j}(x_{j})\) and \(\Omega_{j}(y_{j})\) be the functions defined by (1.11) and (1.12), respectively, the functions \(\mu_{j}(\xi_{j})\) and \(w_{j}(\eta_{j})\) which occur in these equations are mutually inverse, that is, \(\mu_{j}(w_{j}(\eta_{j}))=\eta_{j}\) and \(w_{j}(\mu_{j}(\xi_{j}))=\xi_{j}\), then the corresponding functions \(M_{j}(x_{j})\) and \(\Omega_{j}(y_{j})\) are said to be the dual in the sense of Young. In this case, the Young inequality,
holds for any \(x_{j}\geq\), \(y_{j}\geq0\).
2 Characterization of \(W^{p}\)-type of spaces
In this section we study the characterization of \(W^{p}\)-type of spaces by using the fractional Fourier transformation.
Theorem 2.1
Let \(M(x)\) and \(\Omega(y)\) be the pair of functions which are dual in the sense of Young. Then
Proof
Let \(e^{-\frac{i\vert x\vert ^{2}\cot\alpha }{2}}\phi(x)\in W^{p}_{M,a}(\mathbb{R}^{n})\) and \(\sigma=w+i\tau\). Then for any p and r, using the technique of [3, pp.20-21] and (1.10), we have
Now using the inequality \(\vert \sigma \vert ^{|k|}\leq\frac{ \vert \sigma \vert ^{|k+2|} + \vert \sigma \vert ^{|k|}}{\vert w\vert ^{2} +1}\), we have
Using (1.7), we get
Now using the Young inequality (1.21) and the arguments of [3, p.23], we get
In the above expression, we set \(\frac{1}{\gamma}= ( \frac{1}{a} +\rho )\), since \(\gamma= a-\delta\) and ρ is arbitrarily small together with δ. Therefore, we have
□
Theorem 2.2
Let \(M(x)\) and \(\Omega(y)\) be the pair of functions which are dual in the sense of Young. Then
Proof
Let \(e^{-\frac{i\vert z\vert ^{2}cot\alpha }{2}}\phi(z)\in W^{\Omega,b,p}(\mathbb{C}^{n})\) and \(\sigma=w+i\tau\). Then from the arguments of [8, Theorem 2.2], we have
From the arguments of [4, p.737] we have
Hence,
This implies that
□
Theorem 2.3
Let \(M_{0}(x)\) and \(\Omega _{0}(y)\) be the functions which are dual in the sense of Young to the functions \(M(x)\) and \(\Omega(y)\), respectively. Then
Proof
Let \(e^{-\frac{i\vert x\vert ^{2}cot\alpha }{2}}\phi(x)\in W^{\Omega,b,p}_{M,a}(\mathbb{R}^{n})\) and \(\sigma= w + i\tau\). Then by the technique of [2, pp.23-24] and (1.10), we have
Now using the arguments of [4, p.738], we have
Hence,
□
3 Relation between W- and \(W^{p}\)-types of spaces
In this section the mapping relations between W- and \(W^{p}\)-types of spaces are discussed.
Theorem 3.1
Let \(M(x)\), \(\Omega(y)\) be the pair of functions which are dual in the sense of Young. Then
Proof
Now, for showing the above theorem we shall prove the following lemma. □
Lemma 3.2
Let \(1 \leq p <\infty\). Then \(W^{p}_{M,a} \subset W_{M,a}\).
Proof
Let \(e^{-\frac{|x|^{2}\cot\alpha}{2}}\phi(x)\in W^{p}_{M,a}(\mathbb{R}^{n})\) and \(\sigma= w + i\tau\). Then from the arguments of Theorem 2.1, we get
From the inverse property of the fractional Fourier transform, we have
Now, let \(\hat{\phi}_{\alpha}(\sigma)\in W^{\Omega,\frac{1}{a}}\). Then by the technique of [2, pp.21-22] and (1.6), we have
Therefore,
Hence,
Therefore,
Now using the arguments of [4, p.23], we get
for arbitrarily small δ together with ρ. Hence the above expression gives
Thus (3.2) and (3.5) imply that
□
Lemma 3.3
Let \(1\leq p< \infty\). Then \(W_{M,a}\subset W^{p}_{M,a}\).
Proof
Let \(e^{-\frac{i|x|^{2}\cot\alpha}{2}}\phi(x)\in W_{M,a}(\mathbb{R}^{n})\) and \(\sigma= w + i\tau\in\mathbb{C}^{n}\). Then from [8, Theorem 2.1], it follows that
Now by the inverse property of the fractional Fourier transform we have
Again let \(\hat{\phi}_{\alpha}(\sigma)\in W^{\Omega,\frac{1}{a}}\). Then from (3.3) we have
Using (1.21) and [6, p.385] we get
Therefore,
This implies that
Now from (3.6) and (3.13) we get the result
□
Theorem 3.4
Let \(M(x)\) and \(\Omega(y)\) be the same functions as in Theorem 3.1. Then
Proof
Let \(e^{-\frac{i|z|^{2}\cot\alpha}{2}}\phi(z)\in W^{\Omega,b,p}\). Then from Theorem 2.2 it follows that
By the inverse property of the fractional Fourier transform, we have
Now let \(\hat{\phi}_{\alpha}(x)\in W_{M,\frac{1}{b}}\). Then from the technique of [2, pp.20-21], we have
Therefore,
Now using the arguments of [2, p.21], we get
where ρ is arbitrarily small together with δ. Thus we have
Therefore (3.17) and (3.18) yield
Again we take \(e^{-\frac{i|z|^{2}\cot\alpha}{2}} \phi(z)\in W^{\Omega ,b}(\mathbb{C}^{n})\). Then from [8, Theorem 2.2], we have
By the inverse property of the fractional Fourier transform, we have
Furthermore, we take \(\hat{\phi}(x)\in W_{M,\frac{1}{b}}(\mathbb{R}^{n})\). Then from the arguments of [2, pp.20-21], we have
Now using the Young inequality (1.21) and from the arguments of [2, p.21], we get
This implies that
Finally, (3.19) and (3.24) give
□
Theorem 3.5
Let \(\Omega_{0}(y)\) and \(M_{0}(x)\) be the functions which are dual in the sense of Young to the functions \(M(x)\) and \(\Omega(y)\), respectively. Then
Proof
Let \(e^{-\frac{i|x|^{2}\cot\alpha}{2}}\phi(x)\in W^{\Omega,b,p}_{M,a} \). Then from Theorem 2.3, it follows that
By the inverse property of the fractional Fourier transform we get
Now let \(\hat{\phi}_{\alpha}(z)\in W_{M_{0},\frac{1}{b}}^{\Omega _{0},\frac{1}{a}}\). Then from the arguments of [2, p.24], we get
Therefore,
Now using (1.21), we have
where \(\rho_{0}\) and \(\delta_{0}\) are arbitrarily small together with ρ and δ, respectively. This shows that
Thus from (3.28) and (3.29), we get
Similarly it is easy to show that
Finally, (3.30) and (3.31) imply that
□
4 Uniqueness class of a Cauchy problem
In this section we apply the theory of the fractional Fourier transform which is discussed in (1.4) and (1.6) to establish a uniqueness theorem for the Cauchy problem:
where
is a differential operator and \(u(x, t)\) is an \(N\times1\) column vector. Here P is an \(N\times N\) polynomial matrix with constant coefficients of order k. A similar problem has been investigated by Gel’fand and Shilov [2], and Friedman [3] by exploiting the theory of Fourier transforms. Also, Pathak [10] studied the uniqueness of the Cauchy problem by using the theory of the Hankel transform.
Theorem 4.1
The Cauchy problem (4.1) and (4.2) possesses a unique solution \(u(x, t)\) in the space \((W^{\Omega_{0},\frac{1}{a-\theta}}_{M_{0},\frac{1}{b-\theta}})'\) for the interval \(0 \leq t \leq T\), \(T< (2cp_{0})^{-1}(d/2)^{p_{0}}\), \(\theta< a\), and for any initial function \(u_{0}(x)\) belonging to the same space, where \(p_{0}\) is the reduced order of the system (4.1) and (4.2) with \(i\triangle_{x}\) replaced by \(i\frac{\partial }{\partial x}\) and c being a constant depending on P.
Proof
From the fundamental result [3, p.177], the Cauchy problem (4.1) and (4.2) will have a solution in the space \(\Phi_{1}'\) for \(0 \leq t\leq T\) if there exists a solution of the adjoint problem,
in the space \(\Phi_{1}\) for \(0\leq t\leq t_{0}\), where \(t_{0}\) is any point in the interval \(0\leq t\leq T\), \(\tilde{P}\) is the adjoint of P and \(\triangle_{x}^{*}\) is the conjugate of \(\triangle_{x}\).
Applying the fractional Fourier transform to (4.5) and (4.6), we get
where \(\varPsi_{\alpha}(\sigma, t)= (F_{\alpha}\phi)(x, t) \). A formal solution of (4.7) and (4.8) is given by
Let us write
consisting of entire analytic functions of σ where \(\sigma= w +i\tau\). Since \(p_{0}\) is the reduced order of the system (4.1) and (4.2), using the inequality
and the arguments of [2, p.53] in (4.10) we obtain
under the assumptions \(t_{0}\leq t\leq t_{0}+T\) and \(2^{p_{0}+1}cT< (p_{0})^{-1}\theta ^{p_{0}}\).
If we set
then
Now, let us assume that
Then
We now apply the theorem [2, p.54] for given a. One can always choose the time interval \(0\leq t\leq T\) so small that the inequality \(\theta< a\) holds; for such values of T the matrix \(Q(\sigma\csc\alpha ,t_{0},t)\) will be a multiplier in the space \(W^{\Omega,b}_{M,a}\) which maps this space into the space \(W^{\Omega,b+\theta}_{M,a-\theta}\) taking T sufficiently small. Thus the Cauchy problem (4.7) and (4.8) has a unique solution in \(W^{\Omega,b+\theta }_{M,a-\theta}\). Also we can show that
and the Cauchy problem (4.5) and (4.6) has a unique solution in \(W^{\Omega_{0},\frac{1}{a-\theta}}_{M_{0},\frac{1}{b+\theta }}\).
Now using the arguments of [3, Theorem 6, p.177], we get the complete proof. □
References
Gurevich, BL: New types of test function spaces and spaces of generalized functions and the Cauchy problem for operator equations. Dissertation, Kharkov (1956)
Gel’fand, IM, Shilov, GE: Generalized Functions, vol. 3. Academic Press, New York (1967)
Friedman, A: Generalized Functions and Partial Differential Equations. Prentice Hall, New York (1963)
Pathak, RS, Upadhyay, SK: \(W^{p}\)-Space and Fourier transformation. Proc. Am. Math. Soc. 121(3), 733-738 (1994)
Betancor, JJ, Rodriguez-Mesa, L: Characterization of W-type spaces. Proc. Am. Math. Soc. 126(5), 1371-1379 (1988)
Upadhyay, SK: W-Spaces and pseudo-differential operators. Appl. Anal. 82, 381-397 (2003)
De Bie, H, De Schepper, N: Fractional Fourier transforms of hyper complex signals. Signal Image Video Process. 6, 381-388 (2012)
Upadhyay, SK, Kumar, A, Dubey, JK: Characterization of spaces of type W and pseudo-differential operators of infinite order involving fractional Fourier transform. J. Pseud.-Differ. Oper. Appl. 5(2), 215-230 (2014)
Prasad, A, Mahato, A: The fractional wavelet transform on spaces of type W. Integral Transforms Spec. Funct. 24(3), 239-250 (2012)
Pathak, RS: On Hankel transformable spaces and a Cauchy problem. Can. J. Math. 34(1), 84-106 (1985)
Acknowledgements
The first author is thankful to DST-CIMS, Banaras Hindu University, Varanasi, India for providing the research facilities and the second author is also thankful to DST-CIMS, Banaras Hindu University, Varanasi, India for awarding the Junior Research Fellowship since December 2012.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed by SKU. AK prepared the manuscript initially and performed all the steps of the proofs in this research. 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
Upadhyay, S.K., Kumar, A. Characterization of \(W^{p}\)-type of spaces involving fractional Fourier transform. J Inequal Appl 2015, 31 (2015). https://doi.org/10.1186/s13660-014-0544-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-014-0544-9