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

Praveen Agarwal; Shrideh KQ Al-Omari; Jaekeun Park

doi:10.1186/s13660-016-0998-z

Research
Open Access

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

Praveen Agarwal¹,
Shrideh KQ Al-Omari² and
Jaekeun Park³Email author

Journal of Inequalities and Applications20162016:70

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

Received: 5 October 2015
Accepted: 1 February 2016
Published: 19 February 2016

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.

Keywords

$\mathbf{l}_{\alpha_{1},\alpha_{2}}$ transform
generalized function
Meijer-type integral
Krätzel transform
Boehmian space

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

$$ \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:

(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:
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 [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

$$ \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

(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

$$ ( \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:

(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

$$\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].

Declarations

Acknowledgements

Authors of this article express their thanks and gratitude to the referees for their valuable comments and suggestions that improved the present article.

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.

Authors’ Affiliations

(1)

Department of Mathematics, Anand International College of Engineering, Jaipur, 303012, India

(2)

Department of Applied Sciences, Faculty of Engineering Technology, Al-Balqa’ Applied University, Amman, 11134, Jordan

(3)

Department of Mathematics, Hanseo University, Chungnam-do, Seosan-si, 356-706, Republic of Korea

References

Meijer, CS: Eine nene erweiterung der Laplace transformation. Ned. Akad. Wet. Proc. Ser. A 44, 727-739 (1941) MathSciNetGoogle Scholar
Pandey, RN: A generalization of Meijer transform. Proc. Camb. Philos. Soc. 67, 339-345 (1970) View ArticleMATHGoogle Scholar
Srivastava, HM: A relation between Meijer and generalized Hankel transforms. Math. Jpn. 11, 1-13 (1966) Google Scholar
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
Krätzel, E: Integral transformation of Bessel-type. In: Proceed. Internat. Conf. General. Funct. Operati. Calculus, Varna, pp. 148-155 (1975) Google Scholar
Krätzel, E: Bemerkunger zur Meljer - transformatlon und anwendungen. Math. Nachr. 30, 327-334 (1965) View ArticleMathSciNetMATHGoogle Scholar
Krätzel, E: Eine Verallgemeinerung der Laplace und Meljer transformation. Wiss. Z. Univ. Jena, Math. Naturw. Reihe. Heft. 5, 369-381 (1965) Google Scholar
Krätzel, E: Die faltung der L-transformation. Wiss. Z. Univ. Jena, Math. Naturw. Reihe. Heft. 5, 383-390 (1965) Google Scholar
Waphare, BB: Meijer type transformation and related results. Int. J. Phys. Chem. Math. Fundam. 4(1), 7-16 (2013) MathSciNetGoogle Scholar
Rodriguez, J: A new variant for the Meijer’s integral transform. Comment. Math. Univ. Carol. 31(3), 543-555 (1990) MATHGoogle Scholar
Conlan, C, Koh, SL: On the Meijer transformation. Int. J. Math. Math. Sci. 1, 145-159 (1978) View ArticleMathSciNetMATHGoogle Scholar
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
Betancor, JJ: On a variant of the Meijer integral transformation. Port. Math. 45(3), 251-264 (1988) MathSciNetMATHGoogle Scholar
Boehme, TK: The support of Mikusinski operators. Trans. Am. Math. Soc. 176, 319-334 (1973) MathSciNetMATHGoogle Scholar
Karunakaran, V, Roopkumar, R: Operational calculus and Fourier transform on Boehmians. Colloq. Math. 102, 21-32 (2005) View ArticleMathSciNetMATHGoogle Scholar
Karunakaran, V, Vembu, R: Hilbert transform on periodic Boehmians. Houst. J. Math. 29, 439-454 (2003) MathSciNetGoogle Scholar
Mikusinski, P: Fourier transform for integrable Boehmians. Rocky Mt. J. Math. 17, 577-582 (1987) View ArticleMathSciNetMATHGoogle Scholar
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) Google Scholar
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) View ArticleMathSciNetGoogle Scholar
Al-Omari, SKQ: Hartley transforms on a certain space of generalized functions. Georgian Math. J. 20(30), 415-426 (2013) MathSciNetMATHGoogle Scholar
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 View ArticleMathSciNetGoogle Scholar
Nemzer, D: Periodic Boehmians. Int. J. Math. Math. Sci. 12, 685-692 (1989) View ArticleMathSciNetMATHGoogle Scholar
Roopkumar, R: Mellin transform for Boehmians. Bull. Inst. Math. Acad. Sin. 4(1), 75-96 (2009) MathSciNetMATHGoogle Scholar