Abstract
In this paper we establish certain spaces of Boehmians for some Meijer type integral transform. The extended Meijer type integral transform is defined and some desired properties are obtained in the class of Boehmians. Further theorems are also discussed with some details.
Similar content being viewed by others
1 Introduction
During the past decades, a number of Meijer-type integral transforms have been studied by many authors such as Meijer [1], Pandey [2], Srivastava [3], Srivastava and Vyas [4] and many others. Some variants of Meijer-type integrals were given by Krätzel [5–8] and, recently, by Waphare [9]. In 1990, a new version of Meijer-type integral, referred to as an \({M}_{\alpha,\beta}\)-integral, has been investigated and its inversion formula was duly achieved by [10]. This variant of this transform was formed to generalize those obtained by Krätzel [6], Conlan and Koh [11], and Rodriguez [12] as well.
In this article, we consider some variant defined, under conditions of regularity and convergence, by Betancor [13] as
with the inversion formula given as
where \(\Lambda_{c}= \{ w\in \mathbb{C}:\operatorname{Re}\sqrt{2w}=c>0 \} \), \(\alpha_{1},\alpha_{2}\in \mathbb{C}\), \(\mathbf{l}_{v}\) and \(\boldsymbol{\epsilon}_{v}\) are the modified Bessel-Clifford functions of the third and first kind of order v, respectively.
The modified Bessel functions \(\boldsymbol{\epsilon}_{v}\) and \(\mathbf{l}_{v}\) are indeed related to the homologous Bessel functions \(\mathbf{j}_{v}\) and \(\mathbf{k}_{v}\) by the formulas
and
which are solutions of the differential equation \(xy^{\prime\prime }+ ( v+1 ) y^{\prime}-y=0\). They also satisfy the relations \(\mathbf{l}_{v}^{ ( n ) }= ( -1 ) ^{n}\mathbf {l}_{v+n}\) and \(\boldsymbol{\epsilon}_{v}^{ ( n ) }=\boldsymbol{\epsilon}_{v+n}\), for every choice of \(n\in \mathbb{N}\).
In addition, the integral representation of the modified Bessel function \(\mathbf{l}_{\alpha-1}\) was introduced by Rodriguez [10], Meijer [1] and Waphare [9] as
For a complete account of \(\mathbf{l}_{\alpha-1}\) and \(\boldsymbol{ \epsilon}_{\alpha-1}\) functions we refer to Rodriguez in [10] and Betancor in [13].
The class of Boehmians was introduced to generalize regular operators [14]. The minimal structure necessary for the abstract construction of Boehmian spaces consists of the following elements:
-
(i)
A nonempty set a.
-
(ii)
A commutative semigroup \(( \mathbf{b},\ast ) \).
-
(iii)
An operation \(\odot:\mathbf {a}\times\mathbf{b}\rightarrow\mathbf{a}\) such that for each \(x\in \mathbf{a}\), the following formula is satisfied:
$$ x\odot ( \delta_{1}\ast\delta_{2} ) = ( x\odot\delta _{1} ) \odot\delta_{2} $$for every choice of \(\delta_{1},\delta_{2}\in\mathbf{b}\).
-
(iv)
A collection \(\Delta\subset \mathbf{b}\) such that:
-
(a)
if \(x,y\in\mathbf{a}\), \(( \delta_{n} ) \in \Delta\), \(x\odot\delta_{n}=y\odot\delta_{n}\) for all n, then \(x=y\);
-
(b)
if \(( \delta_{n} ) , ( \psi_{n} ) \in\Delta\), then \(( \delta_{n}\ast\psi_{n} ) \in\Delta\).
-
(a)
The elements of Δ are called delta sequences. Denote by g the set
Then, if \(( x_{n},\delta_{n} ) , ( y_{n},\psi _{n} ) \in g\), \(x_{n}\odot\psi_{m}=y_{m}\odot\delta_{n}\), \(\forall m,n\in{\mathbb{N}}\), then we say \(( x_{n},\delta_{n} ) \sim ( y_{n},\psi _{n} ) \). The relation ∼ is an equivalence relation in g. The space of equivalence classes ing is denoted by α. Elements of α are called Boehmians. Between a and α there is a canonical embedding expressed as
The operation ⊙ can be extended to \(\boldsymbol{\alpha}\times \mathbf{a}\) by
In α, we have two types of convergence.
δ-convergence: A sequence \(( \beta_{n} ) \) in α is said to be δ-convergent to β in α, denoted by \(\beta_{n}\stackrel{\delta}{\rightarrow}\beta\), if there exists a delta sequence \(( \delta _{n} ) \) such that \(( \beta_{n}\odot\delta_{n} ) , (\beta\odot\delta_{n} ) \in\mathbf{a}\), \(\forall k,n\in \mathbb{N}\), and \(( \beta_{n}\odot\delta_{k} ) \rightarrow ( \beta\odot\delta_{k} ) \) as \(n\rightarrow\infty\), in a, for every \(k\in\mathbb{N}\).
Δ-convergence: A sequence \(( \beta_{n} ) \) in α is said to be Δ-convergent to β in α, denoted by \(\beta_{n}\stackrel{\Delta}{\rightarrow}\beta\), if there exists a \(( \delta _{n} ) \in\Delta\) such that \(( \beta_{n}-\beta ) \odot\delta_{n}\in\mathbf{a}\), \(\forall n\in \mathbb{N}\), and \(( \beta_{n}-\beta ) \odot\delta_{n}\rightarrow 0\) as \(n\rightarrow\infty\) in a.
For the abstract construction of Boehmian spaces, we refer to Karunakaran and Roopkumar [15], Karunakaran and Vembu [16], Mikusinski [17], Al-Omari [18–20], Al-Omari and Kilicman [21], Nemzer [22], and some others.
2 Some notations and necessary theorems
Denote by \({\Omega} ( {0,\infty} ) \) the Schwartz’ space of test functions of compact supports defined on \(( {0,\infty} ) \) and by \(\boldsymbol{\digamma}_{\mathrm{loc}} ( ( {0,\infty} ) ) \), the set of all continuous functions of bounded supports over \(( {0,\infty} ) \) such that
is finite for every compact subset k of \(( { 0,\infty} ) \).
The following are two definitions needed for our next investigation.
Definition 1
The Mellin-type convolution product of first kind is defined by Karunakaran and Roopkumar as [15]
The general properties of ∗ are given by
-
(i)
\(( \phi\ast\psi ) ( t ) = ( \psi\ast\phi ) ( t ) \);
-
(ii)
\(( ( \phi+\psi ) \ast \varphi ) ( t ) = ( \phi\ast\varphi ) ( t ) + ( \psi\ast\varphi ) ( t ) \);
-
(iii)
\(( \alpha\phi\ast\psi ) ( t ) =\alpha ( \psi\ast\phi ) ( t ) \), α is complex number;
-
(iv)
\(( ( \phi\ast\psi ) \ast \varphi ) ( t ) = ( \phi\ast ( \psi\ast \varphi ) ) ( t ) \).
Definition 2
Let \(\mathbf{l}^{1}\) denote the space of those functions which are complex-valued Lebesgue and integrable on \(( {0,\infty} ) \). Between the two functions ϕ and ψ in \(\mathbf{l}^{1}\) we define an operation ⊛ in terms of the integral equation
for every choice of \(\alpha_{1}\) and \(\alpha_{2}\).
The integrals (7) and (8) are clearly related by the following theorem.
Theorem 3
Let ϕ and ψ be complex-valued integrable functions in \(\mathbf{l}^{1}\) and \(\gamma \in ( {0,\infty} ) \). Then we have
where \(\alpha_{1},\alpha _{2} \in\mathbb{C}\).
Proof
Let the hypothesis of the theorem be satisfied by some functions ϕ and ψ in \(\mathbf{l}^{1}\). Then by invoking (1) in (7) we get
By Fubini’s theorem and setting variables, we obtain the integral equation
Hence, simplifications yield
Therefore, by the aid of (8), we get
This completes the proof of the theorem. □
Theorem 4
Let ϕ, φ, and ψ be integrable functions in \(\mathbf{l}^{1}\) and \(y\in ( {0,\infty} ) \). Then we have
Proof
By taking into account (7) and (8) we by Fubini’s theorem obtain
Setting variables gives
Hence, equation (8) reveals
This completes the proof of the theorem. □
Theorem 5
Let \(\phi\in\boldsymbol {\digamma}_{\mathrm{loc}} ( {0,\infty} ) \). Then \(\mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi ) \in\boldsymbol{\digamma }_{\mathrm{loc}} ( {0,\infty} ) \), for \(\alpha_{1}<2\), \(\alpha_{2}\neq2-\alpha_{1}\).
Proof
Let \(\phi\in\boldsymbol{\digamma }_{\mathrm{loc}} ( {0,\infty} ) \) be arbitrary and \(\mathsf{k}_{1}\) be a compact subset in \(( {0,\infty} ) \). Then, invoking (5) in (1) suggests
Setting variables reveals
By the fact that \(e^{- ( \gamma\zeta y^{-1} ) -y}< e^{-y}\) we have
By the fact that \(\vert y^{\alpha_{1}-2}\vert <1\), for \(\alpha _{1}<1\), we get
The last equation follows from the fact that \(\int _{0}^{\infty }e^{-y}\, dy=1\).
Now, let \(\mathsf{k}_{2}= [ c,d ] \), \(0< c< d\), be a compact set containing the support of ϕ, i.e., \(\operatorname {supp}\phi \subseteq [ c,d ] \), and \(\mathsf{k}_{1}= [ a,b ] \), \(0< a< b\). Then we get
where \({M}=\int _{c}^{d}\zeta^{\alpha_{2}}\vert \phi ( \zeta ) \vert \, d\zeta\). Hence,
The theorem is therefore completely proved. □
3 Constructed spaces of Boehmians
Here we begin by the following spaces of Boehmians, named \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm {loc}},{\Omega},\ast,\ast ) \), and \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega}, \ast,\circledast ) \), where Δ is a collection of delta sequence \(( \delta _{n} ) \) from Ω satisfying
Let us now establish that \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \) is a Boehmian space. We prefer to omit the details of establishing \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega },\ast ,\ast ) \) since the construction of the latter is straightforward from the properties of ∗.
We prove certain theorems that are needed for this construction.
Theorem 6
Let \(\phi\in\boldsymbol {\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) and \(\varphi,\psi \in {\Omega} ( {0,\infty} ) \). Then \(\phi \circledast ( \varphi\ast\psi ) = ( \phi\circledast\varphi ) \circledast\psi\).
The proof of this theorem follows from Theorem 4. Details are thus omitted.
Theorem 7
Let \(\phi\in\boldsymbol {\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) and \(\varphi\in {\Omega} ( {0,\infty} ) \). Then \(\phi\circledast \varphi \in\boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty } ) \).
Proof
Let \(\mathsf{k}_{1}\) be a compact subset in \(( {0,\infty} ) \). Then we have
where k is a compact set containing the suppφ.
By \({\Delta}_{1}\), we obtain
where \({ M}_{1}=\int _{\mathsf{k}_{1}}\vert x^{\alpha _{1}+2\alpha_{2}-1}\phi ( \gamma x ) \vert \, d\gamma\) and \({ M}=\int _{\mathsf{k}}\vert \varphi ( x ) \vert \, dx\).
Hence, the theorem is completely proved. □
Theorem 8
Let \(\phi_{1},\phi_{2}\in \boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) and \(\psi_{1},\psi_{2}\in{\Omega} ( {0,\infty} ) \). Then the following hold:
-
(i)
\(( \phi_{1}+\phi_{2} ) \circledast \psi _{1}=\phi_{1}\circledast\psi_{1}+\phi_{2}\circledast\psi_{1}\).
-
(ii)
If \(\phi_{n}\rightarrow\phi\) in \(\boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) and \(\psi \in {\Omega} ( {0,\infty} ) \), then
$$ \phi_{n}\circledast\psi\rightarrow\phi\circledast\psi\quad \textit{as }n\rightarrow\infty. $$ -
(iii)
If \(( \delta_{n} ) , ( \psi _{n} ) \in\Delta\) then \(( \delta_{n}\ast\psi_{n} ) \in \Delta\).
Proof
The proof of parts (i) and (ii) follows from a simple integration. The proof of part (iii) follows from Roopkumar [23].
Hence, the theorem is proved. □
Finally in this construction, we prove the following theorem.
Theorem 9
Let \(\phi\in\boldsymbol {\digamma}_{\mathrm{loc}}^{\mathrm{K}} ( {0,\infty} ) \) and \(( \delta_{n} ) \in\Delta\). Then \(\phi\circledast \delta_{n}\rightarrow\phi\) as \(n\rightarrow\infty\).
Proof
Let k be a compact subset of \(( {0,\infty} ) \). Then, by \({\Delta}_{1}\), we write
Let \(h ( \gamma ) =x^{\alpha_{1}+2\alpha_{2}-1}\phi ( \gamma x ) -\phi ( \gamma ) \). Then \(h ( \gamma ) \) is uniformly continuous for each \(\gamma\in ( {0,\infty} ) \). Hence
Therefore \(\phi\circledast\delta_{n}\rightarrow\phi\) as \(n\rightarrow\infty\).
This completes the proof of the theorem. □
The space \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{ \mathrm{loc}},{\Omega},\ast,\circledast ) \) is therefore constructed. Construction of the space \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega}, \ast,\ast ) \) is almost similar.
We define the sum and multiplication by a scalar of two Boehmians in \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \) in the natural way by
and \(\rho [ \frac{ ( \phi_{n} ) }{ ( \delta _{n} ) } ] = [ \frac{ ( \rho\phi_{n} ) }{ ( \delta _{n} ) } ] \), ρ is a complex number.
Between \(\boldsymbol{\digamma}_{\mathrm{loc}}\) and \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega },\ast ,\circledast ) \) there is a canonical embedding expressed as
The operation ⊛ can be extended to \(\boldsymbol{\alpha } ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast ,\circledast ) \times\boldsymbol{\digamma}_{\mathrm{loc}}\) by
In \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \), we have two types of convergence.
δ-convergence: A sequence \(( \beta_{n} ) \) in \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \) is said to be δ-convergent to β in \(\boldsymbol{\alpha} ( \boldsymbol {\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \) if there can be a delta sequence \(( \delta_{n} ) \) such that \(( \beta_{n}\circledast\delta_{n} ) , ( \beta\circledast\delta _{n} ) \in\boldsymbol{\digamma}_{\mathrm{loc}}\), \(\forall k,n\in \mathbb{N}\), and \(( \beta_{n}\circledast\delta_{k} ) \rightarrow (\beta\circledast\delta_{k} ) \) as \(n\rightarrow\infty\), in \(\boldsymbol{\digamma}_{\mathrm{loc}}\), for every \(k\in \mathbb{N}\).
Δ-convergence: A sequence \(( \beta_{n} ) \) in \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \) is said to be Δ-convergent to β in \(\boldsymbol{\alpha} ( \boldsymbol {\digamma}_{\mathrm{loc}},{\Omega},\ast,\circledast ) \) if there can be a \(( \delta_{n} ) \in\Delta\) such that \(( \beta_{n}-\beta ) \circledast\delta_{n}\in\boldsymbol{\digamma}_{\mathrm{loc}}\), \(\forall n\in\mathbb{N}\), and \(( \beta_{n}-\beta ) \circledast\delta _{n}\rightarrow 0\) as \(n\rightarrow\infty\) in \(\boldsymbol{\digamma}_{\mathrm{loc}}\).
4 Introduction of the generalized Meijer-type integral
Here we introduce a generalized Meijer-type integral. Then we show its properties in the space of Boehmians.
Definition 10
Let \([ \frac{ ( \phi _{n} ) }{ ( \delta_{n} ) } ] \in\boldsymbol{\alpha } ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast ,\ast ) \). Then we define the generalized Meijer-type integral transform of \([ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } ] \) as \(\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} [ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } ] = [ \frac{\mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi_{n} ) }{ ( \delta_{n} ) } ] \) in \(\boldsymbol{\alpha} ( \boldsymbol {\digamma}_{\mathrm{loc}}^{\mathrm{K}},{\Omega},\ast ,\circledast ) \).
Theorem 5 shows that Definition 10 is well defined.
We discuss now some properties of \(\mathbf{l}_{\alpha _{1},\alpha_{2}}^{ge}\).
Theorem 11
Let \(\beta_{1},\beta_{2}\in\boldsymbol{ \alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega },\ast ,\ast ) \). Then \(\mathbf{l}_{\alpha_{1},\alpha _{2}}^{ge} ( \beta_{1}\ast\beta_{2} ) =\mathbf{l}_{\alpha_{1},\alpha _{2}}^{ge}\beta_{1}\circledast\beta_{2}\) in \(\boldsymbol{\alpha } ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega}, \ast ,\circledast ) \).
Proof
Assume the hypothesis of the theorem is satisfied for some \(\beta_{1},\beta_{2}\in\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\ast ) \). Therefore there are \(( \phi_{n} ) , ( \kappa_{n} ) \in \boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) and \(( \varphi_{n} ) , ( \delta_{n} ) \in\Delta\) such that \(\beta_{1}= [ \frac{ ( \phi_{n} ) }{ ( \varphi _{n} ) } ] \) and \(\beta_{2}= [ \frac{ ( \kappa _{n} ) }{ ( \delta_{n} ) } ] \). Therefore,
Definition 10 gives
By the aid of Theorem 3 we obtain
On separating quotients this yields
Hence, \(\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta _{1}\ast \beta_{2} ) =\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta _{1} ) \circledast\beta_{2}\).
This completes the proof of the theorem. □
Theorem 12
\(\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge}\) defines a linear mapping from \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\ast ) \) into \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm {loc}},{\Omega},\ast,\circledast ) \).
The proof is straightforward. Details are therefore omitted.
Theorem 13
Let \([ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } ] \in\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast,\ast ) \) and \(\delta\in{\Omega} ( {0,\infty} ) \). Then we have
Proof
Let \([ \frac{ ( \phi _{n} ) }{ ( \delta_{n} ) } ] \in\boldsymbol{\alpha } ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast ,\ast ) \) and \(\delta\in{\Omega} ( {0,\infty } ) \). By virtue of Definition 10 we write
Once again, Definition 10 and Theorem 3 give
This completes the proof of the theorem. □
Theorem 14
The transform \(\mathbf{l}_{\alpha _{1},\alpha_{2}}^{ge}\) is consistent with \(\mathbf{l}_{\alpha _{1},\alpha_{2}}^{ge}:\boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty} ) \rightarrow\boldsymbol{\digamma}_{\mathrm {loc}} ( {0,\infty} ) \).
Proof
For every \(\phi\in\boldsymbol {\digamma}_{\mathrm{loc}} ( {0,\infty} ) \), let \(\beta\in \boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm {loc}},{\Omega},\ast,\ast ) \) be the representative in the space \(\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm {loc}},{\Omega},\ast,\ast ) \), then \(\forall n\in\mathbb{N}\), \(( \delta_{n} ) \in\Delta\), \(\beta= [ \frac{\phi\ast ( \delta _{n} ) }{ ( \delta_{n} ) } ] \). For all \(n\in \mathbb{N}\) it is clear that \(( \delta_{n} ) \) is independent from the choice of the representative.
We have
which is the representative of \(\mathbf{l}_{\alpha_{1},\alpha _{2}}^{ge}\phi\) in the space \(\boldsymbol{\digamma}_{\mathrm {loc}} ( {0,\infty} ) \).
Hence the proof is completed. □
Theorem 15
The necessary and sufficient condition for \([ \frac{ ( g_{n} ) }{ ( \psi_{n} ) } ] \in \boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm {loc}},{\Omega},\ast,\circledast ) \) to be in the range of \(\mathbf {l}_{\alpha_{1},\alpha_{2}}^{ge}\) is that \(g_{n}\) belongs to the range of \(\mathbf{l}_{\alpha_{1},\alpha_{2}}\) for every \(n\in\mathbb{N}\).
Proof
Let \([ \frac{ ( g_{n} ) }{ ( \psi_{n} ) } ] \) be in the range of \(\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge}\). Then of course \(g_{n}\) belongs to the range of \(\mathbf{l}_{\alpha_{1},\alpha_{2}}\), \(\forall n\in\mathbb {N}\). To establish the converse, let \(g_{n}\) be in the range of \(\mathbf{l}_{\alpha_{1},\alpha_{2}}\), \(\forall n\in\mathbb{N}\). Then there is \(\phi _{n}\in\boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) such that \(\mathbf{l}_{\alpha_{1},\alpha_{2}}\phi _{n}=g_{n}\), \(n\in\mathbb{N}\).
Since \([ \frac{ ( g_{n} ) }{ ( \psi _{n} ) } ] \in\boldsymbol{\alpha} ( \boldsymbol{\digamma}_{\mathrm {loc}},{\Omega},\ast,\circledast ) \) we get \(g_{n}\circledast \psi _{m}=g_{m}\circledast\psi_{n}\), \(\forall m,n\in\mathbb{N}\). Therefore, Theorem 3 yields
where \(\phi_{n}\in\boldsymbol{\digamma}_{\mathrm{loc}} ( {0,\infty} ) \) and \(( \delta_{n} ) \in\Delta\), \(\forall n\in\mathbb{N}\). Thus \(\phi_{n}\ast\delta_{m}=\phi_{m}\ast\delta _{n}\), \(m, \forall n\in\mathbb{N}\). Hence,
The theorem is therefore completely proved. □
Theorem 16
The mappings \(\mathbf{l}_{\alpha _{1},\alpha_{2}}^{ge}\) are continuous with respect to δ and Δ-convergence.
The proof of this theorem is given by various papers of many authors. A detailed proof is therefore omitted.
References
Meijer, CS: Eine nene erweiterung der Laplace transformation. Ned. Akad. Wet. Proc. Ser. A 44, 727-739 (1941)
Pandey, RN: A generalization of Meijer transform. Proc. Camb. Philos. Soc. 67, 339-345 (1970)
Srivastava, HM: A relation between Meijer and generalized Hankel transforms. Math. Jpn. 11, 1-13 (1966)
Srivastava, HM, Vyas, OD: A theorem relating generalized Hankel and Whittaker transforms. Ned. Akad. Wet. Proc. Ser. A 72(2), 1-13 (1969)
Krätzel, E: Integral transformation of Bessel-type. In: Proceed. Internat. Conf. General. Funct. Operati. Calculus, Varna, pp. 148-155 (1975)
Krätzel, E: Bemerkunger zur Meljer - transformatlon und anwendungen. Math. Nachr. 30, 327-334 (1965)
Krätzel, E: Eine Verallgemeinerung der Laplace und Meljer transformation. Wiss. Z. Univ. Jena, Math. Naturw. Reihe. Heft. 5, 369-381 (1965)
Krätzel, E: Die faltung der L-transformation. Wiss. Z. Univ. Jena, Math. Naturw. Reihe. Heft. 5, 383-390 (1965)
Waphare, BB: Meijer type transformation and related results. Int. J. Phys. Chem. Math. Fundam. 4(1), 7-16 (2013)
Rodriguez, J: A new variant for the Meijer’s integral transform. Comment. Math. Univ. Carol. 31(3), 543-555 (1990)
Conlan, C, Koh, SL: On the Meijer transformation. Int. J. Math. Math. Sci. 1, 145-159 (1978)
Rodriguez, J: Sobre una variante de la K-transformation. In: Actas V Congreso de Ecuaciones Diferenciales y Aplicaciones, Tenerife, pp. 503-513 (1982)
Betancor, JJ: On a variant of the Meijer integral transformation. Port. Math. 45(3), 251-264 (1988)
Boehme, TK: The support of Mikusinski operators. Trans. Am. Math. Soc. 176, 319-334 (1973)
Karunakaran, V, Roopkumar, R: Operational calculus and Fourier transform on Boehmians. Colloq. Math. 102, 21-32 (2005)
Karunakaran, V, Vembu, R: Hilbert transform on periodic Boehmians. Houst. J. Math. 29, 439-454 (2003)
Mikusinski, P: Fourier transform for integrable Boehmians. Rocky Mt. J. Math. 17, 577-582 (1987)
Al-Omari, SKQ: On a generalized Meijer-Laplace transforms of Fox function type kernels and their extension to a class of Boehmians. Georgian Math. J. (2015, in press)
Al-Omari, SKQ: Some characteristics of S transforms in a class of rapidly decreasing Boehmians. J. Pseud.-Differ. Oper. Appl. 5(4), 527-537 (2014)
Al-Omari, SKQ: Hartley transforms on a certain space of generalized functions. Georgian Math. J. 20(30), 415-426 (2013)
Al-Omari, SKQ, Kilicman, A: On generalized Hartley-Hilbert and Fourier-Hilbert transforms. Adv. Differ. Equ. 2012, 232 (2012). doi:10.1186/1687-1847-2012-232
Nemzer, D: Periodic Boehmians. Int. J. Math. Math. Sci. 12, 685-692 (1989)
Roopkumar, R: Mellin transform for Boehmians. Bull. Inst. Math. Acad. Sin. 4(1), 75-96 (2009)
Acknowledgements
Authors of this article express their thanks and gratitude to the referees for their valuable comments and suggestions that improved the present article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
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
Agarwal, P., Al-Omari, S.K. & Park, J. An extension of some variant of Meijer type integrals in the class of Boehmians. J Inequal Appl 2016, 70 (2016). https://doi.org/10.1186/s13660-016-0998-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-0998-z