Skip to main content

An extension of some variant of Meijer type integrals in the class of Boehmians

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.

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 [58] 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

$$ \boldsymbol{\Phi} ( \gamma ) =\mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) =\gamma ^{-\alpha_{2}} \int _{0}^{\infty}\zeta^{\alpha_{1},\alpha _{2}-1}\mathbf{l}_{\alpha_{1}-1} ( \gamma\zeta ) \phi ( \zeta ) \, d\zeta $$
(1)

with the inversion formula given as

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{-1} \bigl( \phi ( \gamma ) \bigr) ( \zeta ) =\frac{\zeta^{-\alpha_{2}}}{i\pi }\int _{\Lambda_{c}}\gamma^{\alpha_{1},\alpha _{2}-1}\boldsymbol{\epsilon}_{\alpha_{1}-1} ( \gamma\zeta ) \boldsymbol{\Phi} ( \gamma ) \, d\gamma, $$
(2)

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

$$ \boldsymbol{\epsilon}_{v} ( x ) =x^{\frac{-v}{2}}\mathbf {j}_{v} ( 2\sqrt{x} ) $$
(3)

and

$$ \mathbf{l}_{v} ( x ) =x^{\frac{-v}{2}}\mathbf {k}_{v} ( 2 \sqrt{x} ), $$
(4)

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

$$ \mathbf{l}_{\alpha-1} ( \gamma\zeta ) =\frac{1}{2}\int _{0}^{\infty}\tau^{-\alpha}e^{-\tau-\frac{\gamma \zeta}{\tau}}\, d \tau. $$
(5)

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:

  1. (i)

    A nonempty set a.

  2. (ii)

    A commutative semigroup \(( \mathbf{b},\ast ) \).

  3. (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}\).

  4. (iv)

    A collection \(\Delta\subset \mathbf{b}\) such that:

    1. (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\);

    2. (b)

      if \(( \delta_{n} ) , ( \psi_{n} ) \in\Delta\), then \(( \delta_{n}\ast\psi_{n} ) \in\Delta\).

The elements of Δ are called delta sequences. Denote by g the set

$$ g= \bigl\{ ( x_{n},\delta_{n} ) :x_{n}\in \mathbf{a}, ( \delta_{n} ) \in\Delta, x_{n}\odot\delta _{m}=x_{m}\odot\delta_{n},\forall m,n\in \mathbb{N} \bigr\} . $$

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

$$ x\rightarrow\frac{x\odot\delta_{n}}{\delta_{n}} . $$

The operation can be extended to \(\boldsymbol{\alpha}\times \mathbf{a}\) by

$$ \frac{x_{n}}{\delta_{n}}\odot t=\frac{x_{n}\odot t}{\delta_{n}} . $$

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 [1820], 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

$$ \int_{\mathsf{k}}\bigl\vert f ( x ) \bigr\vert \, dx $$
(6)

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]

$$ ( \phi\ast\psi ) ( \zeta ) = \int _{0}^{\infty}x^{-1}\phi \bigl( \zeta x^{-1} \bigr) \psi ( x )\, dx. $$
(7)

The general properties of are given by

  1. (i)

    \(( \phi\ast\psi ) ( t ) = ( \psi\ast\phi ) ( t ) \);

  2. (ii)

    \(( ( \phi+\psi ) \ast \varphi ) ( t ) = ( \phi\ast\varphi ) ( t ) + ( \psi\ast\varphi ) ( t ) \);

  3. (iii)

    \(( \alpha\phi\ast\psi ) ( t ) =\alpha ( \psi\ast\phi ) ( t ) \), α is complex number;

  4. (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

$$ ( \phi\circledast\psi ) ( \gamma ) = \int _{0}^{\infty}x^{\alpha_{1}+\alpha_{2}-1}\phi ( \gamma x ) \psi ( x ) \, dx $$
(8)

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

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi\ast\psi ) ( \gamma ) = ( \mathbf{l}_{\alpha_{1},\alpha_{2}} \phi \circledast\psi ) ( \gamma ), $$

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

$$\begin{aligned} \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi\ast\psi ) ( \gamma ) =&\gamma^{-\alpha_{2}} \int _{0}^{\infty }\zeta ^{\alpha_{1}+\alpha_{2}-1} \mathbf{l}_{\alpha_{1}-1} ( \gamma \zeta ) ( \phi\ast\psi ) ( \zeta ) \, d\zeta \\ =&\gamma^{-\alpha_{2}} \int _{0}^{\infty}\zeta^{\alpha _{1}+\alpha_{2}-1} \mathbf{l}_{\alpha_{1}-1} ( \gamma\zeta ) \int _{0}^{\infty}x^{-1}\phi \bigl( \zeta x^{-1} \bigr) \psi ( x )\, dx\, d\zeta \\ =&\gamma^{-\alpha_{2}} \int _{0}^{\infty}x^{-1}\psi ( x ) \int _{0}^{\infty}\zeta^{\alpha_{1}+\alpha_{2}-1}\mathbf{l}_{\alpha_{1}-1} ( \gamma\zeta ) \phi \bigl( \zeta x^{-1} \bigr) \, dx\, d\zeta. \end{aligned}$$

By Fubini’s theorem and setting variables, we obtain the integral equation

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi\ast\psi ) ( \gamma ) =\gamma^{-\alpha_{2}} \int _{0}^{\infty}\psi ( x ) x^{\alpha_{1}+\alpha_{2}-1}y^{\alpha_{1}+\alpha _{2}-1}\mathbf{l}_{\alpha_{1}-1} \bigl( \gamma ( xy ) \bigr) \phi ( y ) \, dy\, dx. $$

Hence, simplifications yield

$$\begin{aligned} \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi\ast\psi ) ( \gamma ) =& \int _{0}^{\infty}\psi ( x ) x^{\alpha _{1}+\alpha_{2}-1} \\ &{}\times \biggl( ( \gamma x ) ^{-\alpha _{2}} \int _{0}^{\infty}y^{\alpha_{1}+\alpha _{2}-1}\mathbf{l}_{\alpha_{1}-1} \bigl( ( \gamma x ) y \bigr) \phi ( y ) \, dy \biggr)\, dx \\ =& \int _{0}^{\infty}x^{\alpha_{1}+\alpha_{2}-1}\mathbf {l}_{\alpha_{1},\alpha_{2}}\phi ( \gamma x ) \psi ( x )\, dx. \end{aligned}$$

Therefore, by the aid of (8), we get

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi\ast\psi ) ( \gamma ) = ( \mathbf{l}_{\alpha_{1},\alpha_{2}} \phi \circledast\psi ) ( \gamma ) . $$

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

$$ \bigl( \phi\circledast ( \varphi\ast\psi ) \bigr) ( y ) = \bigl( ( \phi \circledast\varphi ) \circledast \psi \bigr) ( y ) . $$

Proof

By taking into account (7) and (8) we by Fubini’s theorem obtain

$$\begin{aligned} \bigl( \phi\circledast ( \varphi\ast\psi ) \bigr) ( y ) =& \int _{0}^{\infty}\zeta^{\alpha_{1}+2\alpha _{2}-1}\phi ( y\zeta ) ( \varphi\ast\psi ) ( \zeta ) \, d\zeta \\ =& \int _{0}^{\infty}\zeta^{\alpha_{1}+2\alpha_{2}-1}\phi ( y\zeta ) \int _{0}^{\infty}x^{-1}\varphi \bigl( \zeta x^{-1} \bigr) \psi ( x ) \, dx\, d\zeta \\ =& \int _{0}^{\infty}x^{\alpha_{1}+2\alpha_{2}-1}\psi ( x ) \int _{0}^{\infty}\phi ( yx\tau ) \varphi ( z ) \tau^{\alpha_{1}+2\alpha_{2}-1}\, d\tau\, dx. \end{aligned}$$

Setting variables gives

$$ \bigl( \phi\circledast ( \varphi\ast\psi ) \bigr) ( y ) = \int _{0}^{\infty}x^{\alpha_{1}+2\alpha _{2}-1} ( \phi\circledast \varphi ) ( yx ) \psi ( x )\, dx. $$

Hence, equation (8) reveals

$$ \bigl( \phi\circledast ( \varphi\ast\psi ) \bigr) ( y ) = \bigl( ( \phi \circledast\varphi ) \circledast \psi \bigr) ( y ) . $$

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

$$\begin{aligned} \int _{\mathsf{k}_{1}}\bigl\vert \mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) \bigr\vert \, d\gamma \leq& \int _{\mathsf{k}_{1}}\gamma ^{-\alpha _{2}} \int _{0}^{\infty}\zeta^{\alpha_{1}+2\alpha _{2}-1}\bigl\vert \mathbf{l}_{\alpha_{1}-1} ( \gamma\zeta ) \bigr\vert \bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \, d\gamma \\ \leq&\frac{1}{2} \int _{\mathsf{k}_{1}}\gamma^{-\alpha _{2}} \int _{0}^{\infty}\zeta^{\alpha_{1}+2\alpha _{2}-1}\biggl\vert \int _{0}^{\infty}\tau^{-\alpha _{1}}e^{-\tau-\frac{\gamma\zeta}{\tau}}\, d \tau\biggr\vert \\ &{}\times\bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \, d\gamma \\ =&\frac{1}{2} \int _{\mathsf{k}_{1}}\zeta^{\alpha_{1}+2\alpha _{2}-1} \\ &{}\times\biggl\vert \int _{0}^{\infty} \bigl( \gamma\zeta y^{-1} \bigr) ^{-\alpha_{1}}e^{- ( \gamma\zeta ) ^{-1}y-y} ( \gamma\zeta ) y^{-2}\, dy\biggr\vert \bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \, d\gamma. \end{aligned}$$

Setting variables reveals

$$\begin{aligned} \int _{\mathsf{k}_{1}}\bigl\vert \mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) \bigr\vert \, d\gamma \leq&\frac{1}{2} \int _{\mathsf {k}_{1}}\gamma ^{-\alpha_{2}-\alpha_{1}+1} \int _{0}^{\infty}\zeta^{\alpha _{2}}\biggl\vert \int _{0}^{\infty}y^{\alpha_{1}-2}e^{- ( \gamma\zeta y^{-1} ) -y}\, dy \biggr\vert \\ &{}\times\bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \, d\gamma. \end{aligned}$$

By the fact that \(e^{- ( \gamma\zeta y^{-1} ) -y}< e^{-y}\) we have

$$\begin{aligned} \int _{\mathsf{k}_{1}}\bigl\vert \mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) \bigr\vert \, d\gamma \leq&\frac{1}{2} \int _{\mathsf {k}_{1}}\gamma ^{-\alpha_{2}-\alpha_{1}+1} \int _{0}^{\infty}\zeta^{\alpha _{2}}\biggl\vert \int _{0}^{\infty}y^{\alpha _{1}-2}e^{-y}\, dy \biggr\vert \bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \, d\gamma \\ < &\frac{1}{2} \int _{\mathsf{k}_{1}}\gamma^{-\alpha _{2}-\alpha _{1}+1} \int _{0}^{\infty}\zeta^{\alpha_{2}} \biggl( \int _{0}^{\infty}e^{-y}\, dy \biggr) \bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta\, d\gamma. \end{aligned}$$

By the fact that \(\vert y^{\alpha_{1}-2}\vert <1\), for \(\alpha _{1}<1\), we get

$$ \int _{\mathsf{k}_{1}}\bigl\vert \mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) \bigr\vert \, d\gamma\leq\frac{1}{2} \int_{\mathsf{k}_{1}}\gamma ^{-\alpha _{2}-\alpha_{1}+1} \int _{0}^{\infty}\zeta^{\alpha_{2}} \bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \, d\gamma. $$

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

$$\begin{aligned} \int _{\mathsf{k}_{1}}\bigl\vert \mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) \bigr\vert \, d\gamma < &\frac{1}{2} \int _{a}^{b}\gamma^{-\alpha _{2}-\alpha_{1}+1} \biggl( \int _{c}^{d}\zeta^{\alpha _{2}}\bigl\vert \phi ( \zeta ) \bigr\vert \, d\zeta \biggr)\, d\eta \\ < &\frac{{ M} }{2} \int _{a}^{b}\gamma^{-\alpha _{2}-\alpha _{1}+1}\, d\gamma, \end{aligned}$$

where \({M}=\int _{c}^{d}\zeta^{\alpha_{2}}\vert \phi ( \zeta ) \vert \, d\zeta\). Hence,

$$\begin{aligned} \int _{\mathsf{k}_{1}}\bigl\vert \mathbf{l}_{\alpha _{1},\alpha _{2}} \bigl( \phi ( \zeta ) \bigr) ( \gamma ) \bigr\vert \, d\gamma < &\frac{{ M}}{2} \frac{ ( b^{-\alpha _{2}-\alpha_{1}+2}-b^{-\alpha_{1}-\alpha_{1}+2} ) }{-\alpha _{2}-\alpha_{1}+2} \\ < &\infty. \end{aligned}$$

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

$$\begin{aligned} {\Delta}_{1}\mbox{: }& \int _{0}^{\infty}\delta_{n} ( x ) \, dx=1 ; \\ {\Delta}_{2}\mbox{: }& \int _{0}^{\infty}\bigl\vert \delta _{n} ( x ) \bigr\vert \, dx< { M}, \quad { M}\in{ \mathbb{R}} , {M}>0 ; \\ {\Delta}_{3}\mbox{: }&\operatorname{supp}\delta_{n} ( x ) \rightarrow0\quad \mbox{as } n\rightarrow\infty . \end{aligned}$$

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

$$\begin{aligned} \int _{\mathsf{k}_{1}}\bigl\vert ( \phi\circledast \varphi ) ( \gamma ) \bigr\vert \, d\gamma =& \int _{\mathsf{k}_{1}}\biggl\vert \int _{0}^{\infty}x^{\alpha_{1}+2\alpha _{2}-1}\phi ( \gamma x ) \varphi ( x )\, dx\biggr\vert \, d\gamma \\ \leq& \int _{\mathsf{k}_{1}} \int_{\mathsf{k}}\biggl\vert \int _{0}^{\infty}x^{\alpha_{1}+2\alpha_{2}-1}\phi ( \gamma x ) \biggr\vert \bigl\vert \varphi ( x ) \bigr\vert \, dx\, d\gamma \\ & (\text{by Fubini's theorem}) \\ \leq& \int _{\mathsf{k}}\bigl\vert \varphi ( x ) \bigr\vert \int _{\mathsf{k}_{1}}\bigl\vert x^{\alpha _{1}+2\alpha _{2}-1}\phi ( \gamma x ) \bigr\vert \, d\gamma \, dx, \end{aligned}$$

where k is a compact set containing the suppφ.

By \({\Delta}_{1}\), we obtain

$$ \int _{\mathsf{k}_{1}}\bigl\vert ( \phi\circledast \varphi ) ( \gamma ) \bigr\vert \, d\gamma\leq MM_{1}, $$

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:

  1. (i)

    \(( \phi_{1}+\phi_{2} ) \circledast \psi _{1}=\phi_{1}\circledast\psi_{1}+\phi_{2}\circledast\psi_{1}\).

  2. (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. $$
  3. (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

$$\begin{aligned} \int _{\mathsf{k}}\bigl\vert ( \phi\circledast\delta _{n} ) ( \gamma ) -\phi ( \gamma ) \bigr\vert \, d\gamma =& \int _{\mathsf{k}}\biggl\vert \int _{0}^{\infty }x^{\alpha_{1}+2\alpha_{2}-1}\phi ( \gamma x ) \delta _{n} ( x )\, dx-\phi ( \gamma ) \biggr\vert \, d\gamma \\ =& \int _{\mathsf{k}}\biggl\vert \int _{0}^{\infty }x^{\alpha_{1}+2\alpha_{2}-1}\phi ( \gamma x ) \delta _{n} ( x )\, dx- \int _{0}^{\infty}\phi ( \gamma ) \delta _{n} ( x ) \, dx\biggr\vert \, d\gamma \\ \leq& \int _{\mathsf{k}} \int _{0}^{\infty}\bigl\vert x^{\alpha_{1}+2\alpha_{2}-1}\phi ( \gamma x ) -\phi ( \gamma ) \bigr\vert \bigl\vert \delta_{n} ( x ) \bigr\vert \, dx\, d\gamma. \end{aligned}$$

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

$$ \int _{\mathsf{k}}\bigl\vert ( \phi\circledast\delta _{n} ) ( \gamma ) -\phi ( \gamma ) \bigr\vert \, d\gamma\rightarrow0\quad \text{as }n\rightarrow\infty. $$

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

$$ \biggl[ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } \biggr] + \biggl[ \frac{ ( g_{n} ) }{ ( \varphi_{n} ) } \biggr] = \biggl[ \frac{ ( \phi_{n} ) \circledast ( \varphi _{n} ) + ( g_{n} ) \circledast ( \delta_{n} ) }{ ( \delta _{n} ) \ast ( \varphi_{n} ) } \biggr] $$

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

$$ x\rightarrow\frac{x\circledast\delta_{n}}{\delta_{n}} . $$

The operation can be extended to \(\boldsymbol{\alpha } ( \boldsymbol{\digamma}_{\mathrm{loc}},{\Omega},\ast ,\circledast ) \times\boldsymbol{\digamma}_{\mathrm{loc}}\) by

$$ \frac{x_{n}}{\delta_{n}}\circledast t=\frac{x_{n}\circledast t}{\delta_{n}} . $$

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,

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta_{1}\ast\beta _{2} ) =\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} \biggl( \biggl[ \frac{ ( \phi_{n} ) \ast ( \kappa_{n} ) }{ ( \varphi_{n} ) \ast ( \delta_{n} ) } \biggr] \biggr) \text{ .} $$

Definition 10 gives

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta_{1}\ast\beta _{2} ) = \biggl[ \frac{\mathbf{l}_{\alpha_{1},\alpha_{2}} ( ( \phi_{n} ) \ast ( \kappa_{n} ) ) }{ ( \varphi_{n} ) \ast ( \delta_{n} ) } \biggr] . $$

By the aid of Theorem 3 we obtain

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta_{1}\ast\beta _{2} ) = \biggl[ \frac{ ( \mathbf{l}_{\alpha_{1},\alpha _{2}}\phi_{n} ) \circledast ( \kappa_{n} ) }{ ( \varphi _{n} ) \circledast ( \delta_{n} ) } \biggr] . $$

On separating quotients this yields

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta_{1}\ast\beta _{2} ) = \biggl[ \frac{ ( \mathbf{l}_{\alpha_{1},\alpha _{2}}\phi_{n} ) }{ ( \varphi_{n} ) } \biggr] \circledast \biggl[ \frac{ ( \kappa_{n} ) }{ ( \delta_{n} ) } \biggr]. $$

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

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} \biggl( \biggl[ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } \biggr] \ast\delta \biggr) = \biggl[ \frac{ ( \mathbf{l}_{\alpha_{1},\alpha_{2}}\phi _{n} ) }{ ( \delta_{n} ) } \biggr] \circledast\delta. $$

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

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} \biggl( \biggl[ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } \biggr] \ast\delta \biggr) = \biggl[ \frac{\mathbf{l}_{\alpha_{1},\alpha_{2}} ( ( \phi _{n} ) \ast\delta ) }{ ( \delta_{n} ) } \biggr] . $$

Once again, Definition 10 and Theorem 3 give

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} \biggl( \biggl[ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } \biggr] \ast\delta \biggr) = \biggl[ \frac{ ( \mathbf{l}_{\alpha_{1},\alpha_{2}}\phi _{n} ) \circledast\delta}{ ( \delta_{n} ) } \biggr] = \biggl[ \frac{ ( \mathbf{l}_{\alpha_{1},\alpha_{2}}\phi_{n} ) }{ ( \delta_{n} ) } \biggr] \circledast\delta. $$

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

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} ( \beta ) =\mathbf{l}_{\alpha_{1},\alpha_{2}}^{ge} \biggl( \biggl[ \frac{\phi \ast ( \delta_{n} ) }{ ( \delta_{n} ) } \biggr] \biggr) = \biggl[ \frac{\mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi\ast ( \delta_{n} ) ) }{ ( \delta_{n} ) } \biggr] = \biggl[ \frac{\mathbf{l}_{\alpha_{1},\alpha_{2}}\phi\ast ( \delta_{n} ) }{ ( \delta_{n} ) } \biggr], $$

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

$$ \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi_{n}\ast\delta _{m} ) = \mathbf{l}_{\alpha_{1},\alpha_{2}} ( \phi _{m}\ast \delta_{n} ) , \quad \forall m,n\in\mathbb{N}, $$

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,

$$ \biggl[ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } \biggr] \in\boldsymbol{\alpha} ( \boldsymbol{ \digamma}_{\mathrm{loc}},{\Omega},\ast,\ast ) \quad \text{and}\quad \mathbf{l}_{\alpha _{1},\alpha_{2}}^{ge} \biggl( \biggl[ \frac{ ( \phi_{n} ) }{ ( \delta_{n} ) } \biggr] \biggr) = \biggl[ \frac{ ( g_{n} ) }{ ( \psi_{n} ) } \biggr] . $$

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.

5 Concluding remark

The present study defined the space of Boehmians for some Meijer type integral transform and desired some properties in the class of Boehmians. The results given in this paper are seen to generalize those given by Roopkumar in [15, 23].

References

  1. Meijer, CS: Eine nene erweiterung der Laplace transformation. Ned. Akad. Wet. Proc. Ser. A 44, 727-739 (1941)

    MathSciNet  Google Scholar 

  2. Pandey, RN: A generalization of Meijer transform. Proc. Camb. Philos. Soc. 67, 339-345 (1970)

    Article  MATH  Google Scholar 

  3. Srivastava, HM: A relation between Meijer and generalized Hankel transforms. Math. Jpn. 11, 1-13 (1966)

    Google Scholar 

  4. Srivastava, HM, Vyas, OD: A theorem relating generalized Hankel and Whittaker transforms. Ned. Akad. Wet. Proc. Ser. A 72(2), 1-13 (1969)

    Google Scholar 

  5. Krätzel, E: Integral transformation of Bessel-type. In: Proceed. Internat. Conf. General. Funct. Operati. Calculus, Varna, pp. 148-155 (1975)

    Google Scholar 

  6. Krätzel, E: Bemerkunger zur Meljer - transformatlon und anwendungen. Math. Nachr. 30, 327-334 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  7. Krätzel, E: Eine Verallgemeinerung der Laplace und Meljer transformation. Wiss. Z. Univ. Jena, Math. Naturw. Reihe. Heft. 5, 369-381 (1965)

    Google Scholar 

  8. Krätzel, E: Die faltung der L-transformation. Wiss. Z. Univ. Jena, Math. Naturw. Reihe. Heft. 5, 383-390 (1965)

    Google Scholar 

  9. Waphare, BB: Meijer type transformation and related results. Int. J. Phys. Chem. Math. Fundam. 4(1), 7-16 (2013)

    MathSciNet  Google Scholar 

  10. Rodriguez, J: A new variant for the Meijer’s integral transform. Comment. Math. Univ. Carol. 31(3), 543-555 (1990)

    MATH  Google Scholar 

  11. Conlan, C, Koh, SL: On the Meijer transformation. Int. J. Math. Math. Sci. 1, 145-159 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  12. Rodriguez, J: Sobre una variante de la K-transformation. In: Actas V Congreso de Ecuaciones Diferenciales y Aplicaciones, Tenerife, pp. 503-513 (1982)

    Google Scholar 

  13. Betancor, JJ: On a variant of the Meijer integral transformation. Port. Math. 45(3), 251-264 (1988)

    MathSciNet  MATH  Google Scholar 

  14. Boehme, TK: The support of Mikusinski operators. Trans. Am. Math. Soc. 176, 319-334 (1973)

    MathSciNet  MATH  Google Scholar 

  15. Karunakaran, V, Roopkumar, R: Operational calculus and Fourier transform on Boehmians. Colloq. Math. 102, 21-32 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  16. Karunakaran, V, Vembu, R: Hilbert transform on periodic Boehmians. Houst. J. Math. 29, 439-454 (2003)

    MathSciNet  Google Scholar 

  17. Mikusinski, P: Fourier transform for integrable Boehmians. Rocky Mt. J. Math. 17, 577-582 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  18. 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)

  19. 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)

    Article  MathSciNet  Google Scholar 

  20. Al-Omari, SKQ: Hartley transforms on a certain space of generalized functions. Georgian Math. J. 20(30), 415-426 (2013)

    MathSciNet  MATH  Google Scholar 

  21. 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

    Article  MathSciNet  Google Scholar 

  22. Nemzer, D: Periodic Boehmians. Int. J. Math. Math. Sci. 12, 685-692 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  23. Roopkumar, R: Mellin transform for Boehmians. Bull. Inst. Math. Acad. Sin. 4(1), 75-96 (2009)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Jaekeun Park.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-016-0998-z

Keywords