Skip to content

Advertisement

  • Research
  • Open Access

Further results on the generalized Mittag-Leffler function operator

  • 1,
  • 2,
  • 2 and
  • 2Email author
Journal of Inequalities and Applications20152015:75

https://doi.org/10.1186/s13660-015-0589-4

  • Received: 20 November 2014
  • Accepted: 4 February 2015
  • Published:

Abstract

The present paper deals with the study of a generalized Mittag-Leffler function operator. This paper is based on the generalized Mittag-Leffler function introduced and studied by Saxena and Nishimoto (J. Fract. Calc. 37:43-52, 2010). Laplace and Mellin transforms of this new operator are investigated. The results are useful where the Mittag-Leffler function occurs naturally. The boundedness and composition properties of this operator are established. The importance of the derived results further lies in the fact that the results of the generalized Mittag-Leffler function defined by Prabhakar (Yokohama Math. J. 19:7-15, 1971), Shukla and Prajapati (J. Math. Anal. Appl. 336:797-811, 2007), and the multiindex Mittag-Leffler function due to Kiryakova (Fract. Calc. Appl. Anal. 2:445-462, 1999; J. Comput. Appl. Math. 118:214-259, 2000; J. Fract. Calc. 40:29-41, 2011) readily follow as a special case of our findings. Further the results obtained are of general nature and include the results given earlier by Prajapati et al. (J. Inequal. Appl. 2013:33, 2013) and Srivastava and Tomovski (Appl. Math. Comput. 211:198-210, 2009). Some special cases of the established results are also given as corollaries.

Keywords

  • generalized Mittag-Leffler function
  • Laplace transform
  • Mellin transform
  • H-function
  • Mellin-Barnes type integrals
  • Riemann-Liouville fractional integral
  • Hilfer derivative

MSC

  • 33E12
  • 44A10
  • 26A33

1 Introduction

The Swedish mathematician Gösta Mittag-Leffler in the year 1903 introduced the function [1, 2]
$$ E_{\alpha} (z )= \sum^{\infty}_{n=0}{ \frac{z^{n}}{\Gamma (\alpha n+1 )} }\quad \bigl(\alpha\in C;\operatorname{Re} (\alpha )>0 \bigr). $$
(1)
In the year 1905, Wiman [3] introduced a generalization of (1) in the form
$$ E_{\alpha,\beta} (z )= \sum^{\infty}_{n=0}{ \frac {z^{n}}{\Gamma (\alpha n+\beta )} }\quad \bigl(\alpha,\beta\in C;\operatorname{Re} (\alpha )>0 , \operatorname{Re}(\beta)>0 \bigr). $$
(2)
In connection with the solution of an integral equation, Prabhakar [4] in the year 1971 introduced a very interesting useful generalization of (2) in the form
$$ E^{\gamma}_{\alpha,\beta} (z )= \sum ^{\infty}_{n=0}\frac {(\gamma)_{n}z^{n}}{\Gamma (\alpha n+\beta )}, $$
(3)
where \(\alpha,\beta,\gamma\in C\), \(\operatorname{Re} (\alpha )>0\), \(\operatorname{Re} (\beta )>0\), \((\gamma)_{0}=1\), and
$$ (\gamma)_{n}=\gamma (\gamma+1 )\cdots (\gamma+n-1 )= \frac{\Gamma (\gamma+n )}{\Gamma (\gamma )} ;\quad \gamma\ne 0 . $$
(4)
In the year 2007, Shukla and Prajapati [5] introduced the following generalization of (3):
$$ E^{\gamma,q}_{\alpha,\beta} (z )= \sum ^{\infty}_{n=0}{\frac {(\gamma)_{qn}z^{n}}{\Gamma (\alpha n+\beta )} }, $$
(5)
where \(\alpha ,\beta,\gamma\in C\); \(\operatorname{Re} (\alpha )>0 \), \(\operatorname{Re} (\beta )>0\) (\(q \in (0,1 )\cup\mathrm{N}\)).
The above generalization is studied by Shukla and Prajapati [5], Prajapati et al. [6] and established relation with Wright function [710]. In the year 2009, a generalization of (5) was introduced by Srivastava and Tomovski [11],
$$ E^{\gamma,\kappa}_{\alpha,\beta} (z )= \sum ^{\infty }_{n=0}{\frac{(\gamma)_{\kappa n}z^{n}}{\Gamma (\alpha n+\beta )} } , $$
(6)
where \(\alpha,\beta,\gamma\in C\); \(\operatorname{Re} (\alpha )>\max [0, \operatorname{Re} (\kappa )-1]\), \(\min \{ \operatorname{Re} (\beta ), \operatorname{Re} (\kappa )\}>0\).
The Pochhammer symbol is defined by
$$ (\lambda)_{\mu}=\frac{\Gamma (\lambda+\mu )}{\Gamma (\lambda )} =\left \{ \begin{array}{l@{\quad}l} 1,& \mu=0, \lambda, \mu\in C \backslash(0), \\ \lambda (\lambda+1 )\cdots (\lambda+n-1 ),& \mu =n\in \mathrm{N};\lambda\in C. \end{array} \right . $$
(7)
A further generalization of the Mittag-Leffler function defined by Shukla and Prajapati [5] was given by Saxena et al. [12] in the year 2010 as
$$ E_{\gamma,q} \bigl[ ({\alpha}_{1},{ \beta}_{1} ),\ldots, ({\alpha }_{m},{\beta}_{m} ) ;z \bigr]= \sum^{\infty}_{n=0}{ \frac{(\gamma)_{qn}z^{n}}{\prod^{{m}}_{{j=1}}{\Gamma ({ n}{\alpha}_{{j}}+{\beta}_{{j}} ) ({n} )!}} }, $$
(8)
where \({\alpha}_{j},{\beta}_{j},\gamma\in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \(\operatorname{Re}({\beta}_{j})>0\) (\(j=1,\ldots,m\)), \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0, q-1] \) (\(q\in (0,1 )\cup\mathrm{N}\)).
This was further generalized by Saxena and Nishimoto [13, 14] in the year 2010 in the following form:
$$ E_{\gamma,\kappa} \bigl[ ({\alpha}_{1},{ \beta}_{1} ),\ldots, ({\alpha}_{m},{\beta}_{m} ) z \bigr] =\sum^{\infty}_{n=0} \frac{(\gamma)_{\kappa n}z^{n}}{\prod^{{m}}_{{j=1}}{\Gamma ({n}{\alpha}_{{j}}+{\beta}_{{j}} ) ({ n} )!}} , $$
(9)
where \({\alpha}_{j},{\beta}_{j},\gamma,\kappa\in C\), \(\operatorname{Re}({\alpha }_{j})>0\), \(\operatorname{Re}({\beta}_{j})>0\) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\kappa)>0\), \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0, \kappa-1]\).
If we set \(\gamma=\kappa=1\) in (9), it reduces to the following multiindex Mittag-Leffler function studied by Kiryakova [1517]:
$$ E_{1,1} \bigl[ ({\alpha}_{1},{ \beta}_{1} ),\ldots, ({\alpha }_{m},{\beta}_{m} ) z \bigr] = \sum^{\infty}_{n=0}{ \frac{z^{n}}{\prod^{{m}}_{{j=1}}{\Gamma ({n}{\alpha }_{{j}}+{\beta}_{{j}} )}},} $$
(10)
where \({\alpha}_{j},{\beta}_{j}\in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \(\operatorname{Re}({\beta}_{j})>0\) (\(j=1,\ldots,m\)).

For \(\kappa=q\) (\(q\in (0,1 )\cup\mathrm{N}\)), (9) reduces to the one studied by Saxena et al. [12].

The following lemma was proved by Saxena and Nishimoto [14].

Lemma

[18]

Let \({\alpha}_{j},{\beta}_{j},\gamma,\kappa \in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \(\operatorname{Re}({\beta}_{j})>0\) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\kappa)>0\), \(\operatorname{Re}(\sum^{m}_{j=1} {\alpha}_{j})>\max [0, \kappa -1]\), then the function defined by (10) is represented by the Mellin-Barnes type integral as follows:
$$ E_{\gamma,\kappa} \bigl[ ({\alpha}_{1},{ \beta}_{1} ),\ldots, ({\alpha}_{m},{\beta}_{m} ) ;z \bigr]=\frac{1}{2\pi i \Gamma(\gamma)} \int^{+i\infty}_{-i\infty} \frac{{\Gamma (\xi )\Gamma (\gamma-\kappa\xi )(-z)^{-\xi} \,d\xi} }{\prod^{m}_{j=1}{\Gamma ({\beta}_{{j}}-\xi{\alpha }_{{j}} )}} , $$
(11)
where the contour of integration starts at \(-i\infty\) and ends at \(+i\infty\) and separates the poles at the point \(\xi=-n\) (\(n\in \mathrm{N}_{0}\)) to the left and all the poles of \(\Gamma (\gamma-\kappa\xi ) \) at the point \(\xi= \frac{\gamma}{\kappa}+n\) (\(n \in \mathrm{N}_{0}\)) to the right.
The Riemann-Liouville fractional integral operator of \(f(t)\) is defined as [14, 1922]
$$ \bigl(I^{\alpha}_{a+} f \bigr) (x ) = \frac{1}{\Gamma (\alpha)}\int^{x}_{a} {(x-t)^{\alpha-1} f (t )\,dt }\quad \bigl(\alpha \in C; \operatorname{Re} (\alpha )>0 \bigr) . $$
(12)
The Riemann-Liouville fractional derivative operator of \(f(t)\) is defined by [14, 1923]
$$ \bigl(D^{\mu}_{a+}f \bigr) (x ) = \left \{ \begin{array}{l@{\quad}l} \frac{1}{\Gamma (-\mu )}\int^{x}_{a}(x-t)^{-\mu-1} f (t )\, dt &(\operatorname{Re} (\mu )< 0 ), \\ \frac{d^{m}}{dx^{m}}D^{\mu-m}_{a+}f (x )& (m-1\le \operatorname{Re} (\mu)<m )\ (m \in \mathrm{N}). \end{array} \right . $$
(13)
The Caputo fractional derivative was defined by Caputo [24] in the form
$$\begin{aligned} {{}^{C}_{0}D}^{\alpha}_{t}f(t) &= \frac{\partial^{m} f(t)}{\partial t^{m} } \frac{1}{\Gamma(m-\alpha)}\int^{t}_{0}{ \frac{f^{m}(\tau)\,d\tau}{(t-\tau )^{\alpha+1-m}} } \quad \bigl(m-1< \alpha<m ;\operatorname{Re} (\alpha )>0,m\in \mathrm{N} \bigr) \\ &=\frac{\partial^{m} f(t)}{\partial t^{m} } \quad \mbox{if }\alpha=m , \end{aligned}$$
(14)
where \(\frac{\partial^{m} f(t)}{\partial t^{m} } \) is the mth partial derivative of \(f(t)\) with respect to t.
The Fox’s H-function [20, 25] is defined in terms of the Mellin-Barnes type integral in the form
$$\begin{aligned} H_{p,q}^{m,n} (z)&=H_{p,q}^{m,n} \left [z\biggm| \begin{array}{c@{}} {(b_{q} ,B_{q})} \\ {(a_{p} ,A_{p} )} \end{array} \right ] = H_{p,q}^{m,n} \left [z \biggm| \begin{array}{c@{}} {(b_{1} ,B_{1} ),\ldots,(b_{q} ,B_{q} )} \\ {(a_{1} ,A_{1} ),\ldots,(a_{p} ,A_{p} )} \end{array} \right ] \\ &=\frac{1}{2\pi i} \int_{\Omega}\Theta(\xi )z^{-\xi} \,d\xi , \end{aligned}$$
(15)
where
$$ \Theta(\xi)=\frac{ [\prod_{i=1}^{m}\Gamma(b_{i} +B_{i} \xi) ] [\prod_{j=1}^{n}\Gamma(1-a_{j} -A_{j} \xi) ]}{ [\prod_{i=m+1}^{q}\Gamma(1-b_{i} -B_{i} \xi) ] [\prod_{j=n+1}^{p}\Gamma(a_{j} +A_{j} \xi) ]} . $$
(16)
A detailed definition, properties, asymptotic expansion and a comprehensive account of the H-function is available from the monographs written by Mathai et al. [20].
The generalized Wright function \({}_{p}\Psi_{q}\) (\(p, q \in \mathrm{N}_{0}\)) is defined as ([26], p.183)
$$\begin{aligned}& {}_{p} \Psi_{q}\left [ \begin{array}{@{}c} (a_{1},A_{1} ),\ldots, (a_{p},A_{p} ); \\ (b_{1},B_{1} ),\ldots, (b_{q},B_{q} ); \end{array} z \right ]= \sum^{\infty}_{n=0}{\prod ^{\infty}_{n=0}{\frac{\Gamma (a_{1}+nA_{1} )\cdots\Gamma (a_{p}+nA_{p} )}{\Gamma (b_{1}+nB_{1} )\cdots\Gamma (b_{q}+nB_{q} )}}} \frac{z^{n}}{n!}, \end{aligned}$$
(17)
$$\begin{aligned}& {}_{p}\Psi_{q} *\left [ \begin{array}{@{}c} (a_{1},A_{1} ),\ldots, (a_{p},A_{p} ); \\ (b_{1},B_{1} ),\ldots, (b_{q},B_{q} ); \end{array} z \right ] = \sum^{\infty}_{n=0}{ \frac{{(a_{1})}_{A_{1}n}\cdots {(a_{p})}_{A_{p}n}}{{(b)}_{{{ B}}_{1}n}\cdots{(b_{q})}_{B_{q}n}}}\frac{z^{n}}{n!} { } \\ & \hphantom{{}_{p}\Psi_{q} *\left [ \begin{array}{@{}c} (a_{1},A_{1} ),\ldots, (a_{p},A_{p} ); \\ (b_{1},B_{1} ),\ldots, (b_{q},B_{q} ); \end{array} z \right ]}= \frac{\Gamma({b_{1}})\cdots\Gamma({b_{q}})}{\Gamma({a_{1}})\cdots \Gamma({a_{p}})}{}_{p}\Psi_{q}\left [ \begin{array}{@{}c} (a_{1},A_{1} ),\ldots, (a_{p},A_{p} ); \\ (b_{1},B_{1} ),\ldots, (b_{q},B_{q} ); \end{array} z \right ] , \end{aligned}$$
(18)
where
$$ A_{j}\in R\ (j=1,\ldots,p),B_{j}\in R\ (j=1, \ldots,q);\quad 1+\sum^{q}_{j=0}{B_{j}}- \sum^{p}_{j=0}{A_{j}\ge0}, $$
(19)
and the equality in the above condition holds true for suitably bounded values of \(|z|\) given by \(|z|< \nabla := (\prod^{p}_{j=1}{{A_{j}}^{-_{A_{j}}}} ) (\prod^{q}_{j=1}{{B_{j}}^{B_{j}}} )\).
In particular, when \(A_{j}={{ B}}_{{k}}=1\) (\(j=1,\ldots,p\) and \(k =1,\ldots,q\)), the following relationship holds true:
$$\begin{aligned} {}_{p}\Psi_{q} * \left [ \begin{array}{@{}c} (a_{1},1 ),\ldots, (a_{p},1 ); \\ (b_{1},1 ),\ldots, (b_{q},1 ); \end{array} z \right ]&={}_{p}F_{q}\left [ \begin{array}{@{}c} a_{1},\ldots,a_{p}; \\ b_{1},\ldots,b_{q}; \end{array} z \right ]=\sum^{\infty}_{n=0}{ \frac{{(a_{1})}_{n}\cdots {(a_{p})}_{n}}{{(b)}_{n}\cdots{(b_{q})}_{n}}}\frac{z^{n}}{n!} \\ &= \frac{\Gamma({b_{1}})\ldots\Gamma({b_{q}})}{\Gamma({a_{1}})\cdots \Gamma({a_{p}})}{}_{p}\Psi_{q}\left [ \begin{array}{@{}c} (a_{1},1 ),\ldots, (a_{p},1 ); \\ (b_{1},1 ),\ldots, (b_{q},1 ); \end{array} z \right ] , \end{aligned}$$
(20)
in terms of the generalized hypergeometric function \({}_{p}F_{q}\) (\(p,q\in \mathrm{N}_{0}\)).

Recently, Górska et al. [27] studied operator solution for fractional Fokkar-Planck equations and Babusci et al. [28] investigated Mittag-leffler function and associated polynomials.

A generalization of Riemann-Liouville fractional derivative operator (13) as well as Caputo fractional derivative operator (14) was given by Hilfer [18] by introducing a right-sided fractional derivative operator of two parameters of order \(0<\mu<1 \) and \(0\le\nu\le1\) in the form
$$ D_{a+}^{\mu,\nu} N(x,t)= \biggl(I_{a+}^{\nu(1-\mu)} \frac{\partial }{\partial x} \bigl(I_{a+}^{(1-\nu)(1-\mu)} N(x,t) \bigr) \biggr) , $$
(21)
where the initial value term \((I^{ (1-\nu ) (1-\mu )}_{0+}f ) (0+ ) \) involves the Riemann-Liouville fractional integral of order \((1-\nu ) (1-\mu ) \) evaluated in the limit as \(t \rightarrow0+\) provided that the Laplace transform exists.
The object of this paper is to derive certain properties including the Laplace transform and the Mellin transform of the integral operator associated with the generalized Mittag-Leffler function defined by
$$ \bigl(E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma,\kappa;{\beta }_{1},\ldots, {\beta}_{m};\omega, a+}\varphi \bigr) (x )= \int ^{x}_{a}{(x-t)^{{\beta}_{1}-1}}E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots, {\beta}_{m}} \bigl[\omega(x-t)^{{\alpha }_{1}} \bigr]\varphi (t )\, dt\quad (x>a), $$
(22)
where \({\alpha}_{j}, {\beta}_{j}, \gamma, \kappa, \omega\in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \(\operatorname{Re} ({\beta}_{j} )>0\) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0, \kappa-1] \), \(\operatorname{Re}(\gamma)>0\), \(\operatorname{Re}(\kappa)>0\).
This operator includes, as special cases, the operators defined and studied by Kilbas et al. [29], Shukla and Prajapati [5], Srivastava and Tomovski [11] and Kiryakova [16]. If \(\kappa=m=1\) in (22) we obtain the following fractional integration operator defined by Kilbas et al. [29]:
$$ \bigl(E^{\alpha}_{\gamma,\beta;\omega, a+}\varphi \bigr) (x)=\int ^{x}_{a}{(x-t)^{\beta-1}}E^{\alpha}_{\gamma,\beta} \bigl[\omega(x-t)^{\alpha } \bigr]\varphi (t )\, dt \quad (x>a), $$
(23)
where \(\alpha, \beta, \gamma, \omega\in C\); \(\operatorname{Re} (\alpha)>0 \), \(\operatorname{Re}(\beta)>0\).
As γ tends to zero, then by virtue of the limit formula
$$ E^{\alpha}_{\gamma,\beta} (z )=\frac{1}{\Gamma(\beta)}, $$
(24)
equation (22) reduces to the familiar Riemann-Liouville fractional integral defined by (12).
If we set \(m=1\) in (22), it gives the integral operator defined by Srivastava and Tomovski [11]
$$ \bigl({{{E}}}^{\alpha}_{\gamma,\kappa,\beta;\omega, a+}\varphi \bigr) (x)= \int^{x}_{a}{(x-t)^{{\beta}_{1}-1}}E^{\gamma,\kappa }_{\alpha,\beta} \bigl[\omega(x-t)^{\alpha} \bigr]\varphi (t )\, dt\quad (x>a), $$
(25)
where \(\alpha ,\beta,\gamma ,\omega\in C\); \(\operatorname{Re} (\alpha )>0\), \(\operatorname{Re} (\beta )>0\), \(\operatorname{Re} (\kappa )>0\), \(\operatorname{Re} (\alpha )=\operatorname{Re} (\kappa )-1>0 \), which for \(\kappa=q\) reduces to the one given by Shukla and Prajapati [5].
If, however, we take \(\gamma=\kappa=1\), (22) yields the following integral operator associated with the multiindex Mittag-Leffler function defined by Kiryakova [16]:
$$ \bigl( {E}^{{\alpha}_{1},\ldots,{\alpha}_{m}}_{\gamma,\kappa ;{\beta}_{1},\ldots, {\beta}_{m}; \omega, a+}\varphi \bigr) (x)=\int^{x}_{0}{(x-t)^{{\beta_{1}}-1}}E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots,{\beta}_{m}} \bigl[ \omega ( {x-t} )^{\alpha_{1}} \bigr]\varphi ( t )\, dt \quad ( x>a ), $$
(26)
where \({\alpha}_{j}, {\beta}_{j}, \omega\in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \(\operatorname{Re} ({\beta}_{j} )>0\) (\(j=1,\ldots, m\)).

We now proceed to derive the Mellin transform of the integral operator defined by (22).

2 Mellin transform of the integral operator defined by (22)

Theorem 2.1

It will be shown here that
$$\begin{aligned}& M \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+} \varphi \bigr) (x ); s \bigr] \\& \quad = \frac{1}{\Gamma (\gamma )\Gamma (1-s )} H^{2,1}_{1, m+1}\left [-\omega t^{\alpha}\biggm| \begin{array}{c@{}} (1-\gamma,\kappa) \\ (0,1 ), (1-s-{\beta}_{1},\alpha_{1} ),(1-s-{\beta}_{j},{\alpha }_{j})_{2,m} \end{array} \right ] \\& \qquad {}\times M \bigl[t^{{\beta}_{1}}\varphi (t ) \bigr], \end{aligned}$$
(27)
where \({\alpha}_{j}, {\beta}_{j}, \gamma, \kappa, \omega\in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \({\operatorname{Re}} ({\beta}_{j} )>0\) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0, \kappa-1] \), \(\operatorname{Re}(\gamma)>0\), \(\operatorname{Re}(\kappa)>0\), \(\operatorname{Re} (1-s-{\beta}_{1} )>0\) and \(H^{2,1}_{1, m+1}(\cdot)\) is the H-function defined by (15).

Proof

The Mellin transform of a function \(f(t)\) is defined by
$$ M \bigl[\varphi (x );s \bigr]=\int^{\infty }_{0}{x^{s-1}} \varphi (x )\, dx. $$
(28)
Therefore we have
$$ M \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+}\varphi \bigr) (x );s \bigr] =\int^{\infty}_{0}{x^{s-1}}\int ^{x}_{0}{(x-t)^{{\beta}_{1}-1}}E^{{\alpha }_{1},\ldots, {\alpha}_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta }_{m}} \bigl[\omega(x-t)^{{\alpha}_{1}} \bigr]\varphi (t )\, dt\, dx, $$
where \(x>0 \) and interchanging the order of integration, which is permissible under the conditions stated in Theorem 2.1, we find that
$$\begin{aligned} \begin{aligned}[b] &M \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+} \varphi \bigr) (x );s \bigr] \\ &\quad = \int^{\infty}_{0}{\varphi (t )}\int^{\infty }_{t}{x^{s-1}(x-t)^{{\beta}_{1}-1}}E^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta}_{m}} \bigl[\omega (x-t)^{{\alpha}_{1}} \bigr]\, dx\, dt. \end{aligned} \end{aligned}$$
(29)
If we set \(x=t+u\) on the right-hand side of (29), it gives
$$ M \bigl[ \bigl({{E}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+}\varphi \bigr) (x );s \bigr] = \int^{\infty}_{0}{\varphi (t )} \int^{\infty }_{0}{{(t+u)}^{s-1}u^{{\beta}_{1}-1}}E^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta}_{m}} \bigl[\omega u^{{\alpha }_{1}} \bigr]\, du \, dt. $$
(30)
To evaluate the u-integral, we express the generalized Mittag-Leffler function in terms of its Mellin-Barnes contour integral by means of formula (11), then the above integral transforms into the form
$$\begin{aligned}& M \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma ,\kappa;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+} \varphi \bigr) (x );s \bigr] \\& \quad = \int^{\infty}_{0}{\varphi (t )\, dt} \frac{1}{2\pi i \Gamma (\gamma)} \int^{+i\infty}_{-i\infty}{ \frac{\Gamma (-\xi )\Gamma (\gamma+\kappa\xi )(-\omega u^{\alpha})^{\xi} \,d\xi}{ \prod^{m}_{j=1}{\Gamma ({\beta}_{{ j}}-\xi{\alpha}_{{ j}} )} }} \\& \qquad {}\times\int^{\infty}_{0}{{(t+u)}^{s-1}u^{{\beta}_{1}-1}} \, du . \end{aligned}$$
(31)
Now we evaluate the u-integral with the help of the formula [30]
$$ \int^{\infty}_{0}{{t^{\nu-1}(t+a)}^{-\rho}} \, dt= \frac{\Gamma(\nu )\Gamma(\rho-\nu)}{\Gamma(\rho)}a^{\nu-\rho}, $$
(32)
where \(\operatorname{Re}(\nu)>0\), \(\operatorname{Re} (\rho-\nu )> |\operatorname{arg} (-a)|<\pi\); we observe that the right-hand side of the above equation (32) and the definition of H-function (15) yields the desired result (27). □

Corollary 2.1

For \(\kappa=q\), Theorem  2.1 reduces to the following result:
$$\begin{aligned}& M \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{\gamma,q;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+\varphi} \bigr) (x );s \bigr] \\& \quad =\frac{1}{\Gamma (\gamma )\Gamma (1-s )} {\times H}^{2,1}_{1, m+1} \left [-\omega t^{\alpha}\biggm| \begin{array}{c@{}} (1-\gamma,q) \\ (0,1 ), (1-s-{\beta}_{1},{\alpha}_{1} ),(1-s-{\beta }_{j},{\alpha}_{j})_{2,m} \end{array} \right ] \\& \qquad {}\times M \bigl[t^{{\beta}_{1}}\varphi (t ) \bigr], \end{aligned}$$
(33)
which holds under the conditions as given with (27) with \(\kappa =q \) (\(q\in (0,1 )\cup\mathrm{N}\)).

When \(m=1\), Corollary 2.1 reduces to the following one given by Prajapati et al. [6].

Corollary 2.2

There holds the following result:
$$\begin{aligned}& M \bigl[ \bigl({{{E}}}^{\alpha}_{\gamma,q;\beta;\omega , 0+}\varphi \bigr) (x );s \bigr] \\& \quad =\frac{1}{\Gamma (\gamma )\Gamma (1-s )} {\times H}^{2,1}_{1, m+1} \left [-\omega t^{\alpha}\biggm| \begin{array}{c@{}} (1-\gamma,q) \\ (0,1 ), (1-s-\beta,\alpha ) \end{array} \right ]M \bigl[t^{\beta}\varphi (t ) \bigr] . \end{aligned}$$
(34)

If we further take \(q=1\), Corollary 2.2 reduces to the following result [6].

Corollary 2.3

There holds the following result:
$$\begin{aligned} \begin{aligned}[b] &M \bigl[ \bigl({{{E}}}^{\alpha}_{\gamma;\beta;\omega, 0+}\varphi \bigr) (x );s \bigr] \\ &\quad =\frac{1}{\Gamma (\gamma )\Gamma (1-s )} \times H^{2,1}_{1, 2} \left [-\omega t^{\alpha}\biggm| \begin{array}{c@{}} (1-\gamma,1) \\ (0,1 ), (1-s-\beta,\alpha ) \end{array} \right ]M \bigl[t^{\beta}\varphi (t ) \bigr]. \end{aligned} \end{aligned}$$
(35)

For \(m=1\), Theorem 2.1 gives the following result given in [6].

Corollary 2.4

There holds the formula
$$\begin{aligned}& M \bigl[ \bigl(E^{\alpha}_{\gamma,\kappa;\beta;\omega, 0+}\varphi \bigr) (x );s \bigr] \\& \quad =\frac{1}{\Gamma (\gamma )\Gamma (1-s )} \times H^{2,1}_{1, 2} \left [-\omega t^{\alpha}\biggm| \begin{array}{c@{}} (1-\gamma,\kappa) \\ (0,1 ), (1-s-\beta,\alpha ) \end{array} \right ]M \bigl[t^{\beta}\varphi (t ) \bigr], \end{aligned}$$
(36)
where \(\alpha, \beta, \gamma\in C\); \(\operatorname{Re} (\alpha )>\max [0, \operatorname{Re} (\kappa )-1] \), \(\operatorname{Re} (\beta )>0\), \(\operatorname{Re} (\kappa )>0 \).

When \(\kappa=1\), it yields the following result associated with the multiindex Mittag-Leffler function [15, 16].

Corollary 2.5

The following result holds:
$$\begin{aligned}& M \bigl[ \bigl(E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\beta }_{1},\ldots, {\beta}_{m};\omega, 0+}\varphi \bigr) (x );s \bigr] \\& \quad =\frac{1}{\Gamma (\gamma )\Gamma (1-s )} {\times H}^{2,1}_{1, m+1} \left [-\omega t^{\alpha}\biggm| \begin{array}{c@{}} (0,1) \\ (0,1 ), (1-s-{\beta}_{1},{\alpha}_{1} ),(1-s-{\beta }_{j},{\alpha}_{j})_{2,m} \end{array} \right ] \\& \qquad {}\times M \bigl[t^{{\beta}_{1}}\varphi (t ) \bigr] . \end{aligned}$$
(37)

3 Laplace transform of the operator defined by (22)

Theorem 3.1

It will be shown here that
$$ L \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma ,\kappa; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+} \varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{{-\beta}_{1}} {}_{1}\Psi_{ m-1}\left [ \begin{array}{c} (\gamma,\kappa ); \\ ({\beta}_{j},{\alpha}_{j})_{2,m}; \end{array} \frac{\omega}{p^{{\alpha}_{1}}} \right ]{\tilde{\varphi}} (p ), $$
(38)
where \({\alpha}_{j}, {\beta}_{j}, \gamma, \kappa, \omega\in C\), \(\operatorname{Re}({\alpha}_{j})>0\), \(\operatorname{Re} ({\beta}_{j} )>0 \) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0,\operatorname{Re}( \kappa)-1] \), \({}_{1}\Psi_{m-1}\) is the Fox-Wright function defined by
$$ L \bigl[ \bigl(E^{\alpha}_{{\gamma; }_{\beta};\omega, 0+}\varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{-\beta} {{ \biggl[ 1-\frac {\omega}{p^{\alpha}} \biggr] }}^{-\gamma} {\tilde{\varphi}} (p ), $$
(39)
where \(\alpha , \beta, \gamma, \omega\in C\); \(\operatorname{Re} (p )>0\), \(\operatorname{Re} (\alpha )>0 \), \(\operatorname{Re} (\beta )>0\), \(\operatorname{Re}(\gamma)>0\) and
$$ L \bigl[f(t); p \bigr] =\int^{\infty}_{0}{e^{-pt}f (t )\, dt}, $$
(40)
where \(\operatorname{Re}(p)>0\) and the integral is convergent.

Proof

By virtue of the results (22) and (40), we find that
$$\begin{aligned}& L \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma ,\kappa; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+}\varphi \bigr) (x );p \bigr] \\& \quad = \int^{\infty}_{0}{e^{-px}}\int ^{x}_{0}{(x-t)^{{\beta}_{1}-1}}E^{{\alpha }_{1},\ldots, {\alpha}_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta }_{m}} \bigl[\omega(x-t)^{{\alpha}_{1}} \bigr]\varphi (t )\, dt\, dx. \end{aligned}$$
Interchanging the order of integration, which is permissible under the conditions stated in Theorem 3.1, we find that
$$\begin{aligned}& L \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma ,\kappa; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+} \varphi \bigr) (x );p \bigr] \\& \quad = \int^{\infty}_{0}{\varphi (t )}\int ^{\infty }_{t}{e^{-px}(x-t)^{{\beta}_{1}-1}}E^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta}_{m}} \bigl[\omega (x-t)^{{\alpha}_{1}} \bigr]\, dx \, dt . \end{aligned}$$
(41)
If we set \(x=t+u\) on the right-hand side of (41), it becomes
$$\begin{aligned}& L \bigl[ \bigl(E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma,\kappa ;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+}\varphi \bigr) (x );p \bigr] \\& \quad = \int^{\infty}_{0}{\varphi (t )}\int ^{\infty }_{0}{{e}^{-p(t+u)}u^{{\beta}_{1}-1}}E^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta}_{m}} \bigl[\omega u^{{\alpha }_{1}} \bigr]\, du \, dt. \end{aligned}$$
(42)
On making use of the series definition of function (10), we see that
$$\begin{aligned}& L \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma ,\kappa; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+}\varphi \bigr) (x );p \bigr] \\& \quad = \sum^{\infty}_{n=0}\frac{(\gamma)_{\kappa n}{\omega}^{n}}{\prod^{{ m}}_{{j=1}}{\Gamma ({n}{\alpha}_{{j}} +{\beta}_{{j}} )}} \int^{\infty}_{0}{e^{-pt}} \varphi (t )\, dt \int^{\infty}_{0}{e^{-pu}} u^{{\beta}_{1}+{\alpha}_{1}n-1}\, du \\& \quad = \sum^{\infty}_{n=0} \frac{(\gamma)_{\kappa n}{\omega}^{n}}{ p^{{\beta}_{1}+{\alpha}_{1}n}\prod^{{m}}_{{j=2}}{\Gamma ({n}{\alpha}_{{j}} +{\beta}_{{j}} )}} \int^{\infty}_{0}{e^{-pt}} \varphi (t )\, dt \\& \quad =\frac{1}{\Gamma (\gamma )}p^{{-\beta}_{1}} {}_{1}\Psi_{ m-1} \left [ \begin{array}{@{}c} (\gamma,\kappa ); \\ ({\beta}_{j},{\alpha}_{j})_{2,m}; \end{array} \frac{\omega}{p^{{\alpha}_{1}}} \right ]{\tilde{\varphi}} (p ), \end{aligned}$$
where \({\tilde{\varphi}} (p )\) is the Laplace transform of \(\varphi (t )\).

This completes the proof of Theorem 3.1. □

If we set \(\kappa =q\), we obtain the following Corollary 3.1.

Corollary 3.1

The following result holds:
$$ L \bigl[ \bigl({{E}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma,q; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+}\varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{{-\beta}_{1}} {}_{1}\Psi _{m-1} \biggl[ (\gamma,q ); ({\beta}_{j},{\alpha}_{j})_{2,m}; \frac{\omega}{p^{{\alpha}_{1}}} \biggr]{\tilde{\varphi}} (p ), $$
where \({\alpha}_{j}, {\beta}_{j}, \gamma, \omega\in C\), \(\operatorname{Re}({\alpha }_{j})>0\), \(\operatorname{Re} ({\beta}_{j} )>0 \) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0, q-1] \), \(\operatorname{Re}(p)>0\), \(\operatorname{Re}(\gamma)>0\).

When \(m=1\), the above result reduces to the following.

Corollary 3.2

The following result holds:
$$ L \bigl[ \bigl({{{E}}}^{\alpha}_{{\gamma,q; }_{\beta};\omega, 0+}\varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{-\beta} {}_{1} \Psi_{ m-1} \biggl[ (\gamma,q ); -\ \ \frac{\omega}{p^{\alpha}} \biggr]{\tilde{\varphi}} (p ), $$
where \(\alpha, \beta, \gamma, \omega\in C\); \(\operatorname{Re} (p )>0\), \(\operatorname{Re} (\alpha )>0 \), \(\operatorname{Re} (\beta )>0\), \(\operatorname{Re}(\gamma)>0\), (\(q\in (0,1 )\cup\mathrm{N}\)), here \({\tilde{\varphi}} (p )\) is the Laplace transform of \(\varphi (t )\).

When \(q=1\), the above corollary yields the following result given in [6].

Corollary 3.3

There holds the formula
$$ L \bigl[ \bigl({{{E}}}^{\alpha}_{{\gamma; }_{\beta};\omega, 0+} \varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{-\beta} {{ \biggl[1- \frac{\omega }{p^{\alpha}} \biggr]}^{-\gamma}\tilde{\varphi}} (p ), $$
(43)
where \(\alpha ,\beta,\gamma,\omega\in C\); \(\operatorname{Re} (p )>0\), \(\operatorname{Re} (\alpha )>0 \), \(\operatorname{Re} (\beta )>0\), \(\operatorname{Re}(\gamma)>0\).

For \(\gamma=\kappa=1\), we obtain the following result associated with the multiindex Mittag-Leffler function [16].

Corollary 3.4

There holds the formula
$$ L \bigl[ \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma ,q; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+}\varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{{-\beta}_{1}} {}_{1} \Psi_{ m-1}s\left [ \begin{array}{@{}c} (\gamma,q ); \\ ({\beta}_{j},{\alpha}_{j})_{2,m}; \end{array} \frac{\omega}{p^{{\alpha}_{1}}} \right ]{\tilde{\varphi}} (p ), $$
where \({\alpha}_{j},{\beta}_{j},\gamma,\omega\in C\), \(\operatorname{Re}({\alpha }_{j})>0\), \(\operatorname{Re} ({\beta}_{j} )>0\) (\(j=1,\ldots,m\)), \(\operatorname{Re}(p)>0\), \(\operatorname{Re}(\gamma)>0\).

For \(m=1\), Theorem 3.1 yields the following result [6].

Corollary 3.5

There holds the formula
$$ L \bigl[ \bigl({{{E}}}^{\alpha}_{\gamma,\kappa; \beta ;\omega, 0+}\varphi \bigr) (x );p \bigr] = \frac{1}{\Gamma (\gamma )}p^{-\beta} {}_{1} \Psi_{m-1} \left [ \begin{array}{@{}c} (\gamma,\kappa ); \\ - \end{array} \frac{\omega}{p^{\alpha}} \right ]{\tilde{\varphi}} (p ), $$
where \(\alpha ,\beta,\gamma,\omega\in C\); \(\operatorname{Re} (p )>0\), \(\operatorname{Re} (\alpha )>\max [0 , \operatorname{Re} (\kappa )-1 ] \), \(\operatorname{Re} (\beta )>0\), \(\operatorname{Re}(\gamma)>0\), when γ tends to zero and β is replaced by α, then by virtue of the limit formula (24), the result (10) reduces to the Riemann-Liouville fractional integral and we arrive at an important result given in Samko et al. [17].

Corollary 3.6

There holds the following result:
$$ L \bigl[ \bigl(I^{\alpha}_{0+}\varphi \bigr) (x );p \bigr] = p^{-\alpha} {\tilde{\varphi}} (p ) , $$
(44)
where \(\alpha\in C\); \(\operatorname{Re} (p )>0 \), \(\operatorname{Re} (\alpha )>0\) and \({\tilde{\varphi}} (p )\) is the Laplace transform of \(\varphi (t )\).

4 Further properties of the operator defined by (22)

By using the technique analogous to that employed by Kilbas et al. [29], we obtain the composition properties of the Riemann-Liouville fractional integral operator \(I^{\mu}_{a+}\) involving the operator defined by (22).

Theorem 4.1

Under the various constraints already stated with definition (22), let the function f be the nth space \(L(a,b)\) of the Lebesgue measurable functions on finite interval \([a,b] \) (\(b>a\)) of the real line R given by
$$ L (a,b) = \bigl\{ g(x) : \Vert g_{1}\Vert _{1} \bigr\} = \int^{b}_{a}{ \bigl\vert g (x ) \bigr\vert \, dx< \infty}. $$
(45)
The space \(C(a,b)\) is of continuous functions on \([a,b]\), the integral defined by (22) is bounded on \(L(a,b)\) and
$$ \bigl\Vert {{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma,q; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+}\varphi \bigr\Vert \le d\|\varphi\|_{1}, $$
(46)
where the constant d is given by
$$ d = (b-a)^{\operatorname{Re}({\alpha}_{1})}\sum^{\infty}_{n=0}{ \frac{|(\gamma)_{\kappa n}{| |\omega (b-a)^{\operatorname{Re} ({\alpha}_{1} )}|}^{n}}{\prod^{{m}}_{{j=1}}{\Gamma ({ n}{\alpha}_{{ j}}+{\beta}_{{j}} )\vert \operatorname{Re} ({\alpha}_{1} )n+{\beta}_{1}\vert ({ n} )!}} }. $$
(47)

For \(\kappa=m=1\), (47) reduces to the one given by Kilbas et al. [29].

Theorem 4.2

Under the various constraints mentioned already with the parameters, there hold the following results:
$$ I^{\alpha}_{a+} {{{E}}}^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{{\gamma,\kappa; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+} \varphi = E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma ,\kappa; \beta}_{1}+\alpha,\ldots, {\beta}_{m};\omega, 0+}\varphi = E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma,\kappa; \beta }_{1},\ldots, {\beta}_{m};\omega, 0+ }I^{\alpha}_{a+}\varphi $$
(48)
and
$$ D^{\alpha}_{a+} {{{E}}}^{{\alpha}_{1},\ldots, {\alpha }_{m}}_{{\gamma,\kappa; \beta}_{1},\ldots, {\beta}_{m};\omega, 0+} \varphi = E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma,\kappa; \beta}_{1}-\alpha,\ldots, {\beta}_{m};\omega, 0+}\varphi = E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{{\gamma,\kappa; \beta }_{1},\ldots, {\beta}_{m};\omega, 0+ }D^{\alpha}_{a+}\varphi. $$
(49)

For \(m=1\), (48) and (49) reduce to the result given by Srivastava and Tomovski [11].

5 Applications

In this section, we present the solution of the following differential equation associated with a Hilfer derivative. The following result readily follows from paper [31]:
$$ L \bigl[ E_{\gamma,\kappa} \bigl[ ({\alpha}_{1},{\beta }_{1} ),\ldots, ({\alpha}_{m},{\beta}_{m} ) ;{z} \bigr];{p} \bigr] = \frac{1}{\Gamma (\gamma )}p^{{-\beta}_{1}} {}_{1}\Psi _{m-1}\left [ \begin{array}{@{}c} (\gamma,\kappa ); \\ ({\beta}_{j},{\alpha}_{j})_{2,m}; \end{array} \frac{\omega}{p^{{\alpha}_{1}}} \right ], $$
(50)
where \({\alpha}_{j}, {\beta}_{j}, \gamma, \kappa\in C\), \(\operatorname{Re}({\alpha }_{j})>0\), \(\operatorname{Re}({\beta}_{j})>0\) (\(j=1,\ldots,m\)); \(\operatorname{Re}(\kappa)>0\), \(\operatorname{Re}(\sum^{m}_{j=1}{\alpha}_{j})>\max [0, \kappa-1]\) and \(\operatorname{Re}(p)>0\).

Theorem 5.1

It will be shown here that the solution of the fractional differential equation
$$ \bigl(D^{\mu,\nu}_{0+} f \bigr) (x )= \lambda \bigl({{{E}}}^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots , {\beta}_{m};\omega, a+}\omega{{ x}}^{{\alpha}_{{1}}} \bigr) (x)+ g(x), $$
(51)
where \(0<\mu<1\), \(0 \le v \le1\), \(\omega\in C\), \(\operatorname{Re} ( \sum_{j=1}^{m}\alpha_{j} )>\max [0, \operatorname{Re}(\kappa)-1 ]\), \(\operatorname{Re} (\beta_{j} )>0\) (\(j=1,\ldots, m \)), \(\min \{\operatorname{Re}(\gamma ),\operatorname{Re}(\kappa)\}>0\),
$$ \bigl(I^{(1-\nu ) (1-\mu)}_{0+}f \bigr) (0+)= e, $$
(52)
has the solution given by
$$\begin{aligned} f(x) =& e\frac{x^{\mu-\nu (\mu-1 )-1}}{\Gamma(\mu-\nu+\mu \nu)} + \frac{\lambda x^{{\mu+\beta}_{1}}}{\Gamma (\gamma )} E_{\gamma,\kappa} \bigl[ ({\alpha}_{1},{\beta}_{1}+\mu +1 ), \ldots, ({\alpha}_{m},{\beta}_{m} ) ;\omega{{ x}}^{{\alpha}_{{1}}} \bigr] \\ &{} + \frac{1}{\Gamma (\mu )}\int^{x}_{0}{(x-t)^{\mu-1}}g(t) \, dt , \end{aligned}$$
(53)
where e is an arbitrary constant.

Proof

Applying the Laplace transform to each side of (53) and using (21) along with convolution theorem of the Laplace transform, we find that
$$\begin{aligned} p^{\mu}F(p) - e p^{\nu(1-\mu)} &= L \bigl[ \bigl(E^{{\alpha}_{1},\ldots, {\alpha}_{m}}_{\gamma,\kappa;{\beta}_{1},\ldots, {\beta}_{m};\omega, a+}\varphi \bigr);p \bigr]L(1;p) + G(p) \\ &=\frac{1}{\Gamma (\gamma )}p^{{-\beta}_{1-1}}{}_{1} \Psi{}_{m-1}\left [ \begin{array}{@{}c} (\gamma,\kappa ); \\ ({\beta}_{j},{\alpha}_{j})_{2,m}; \end{array} \frac{\omega}{p^{{\alpha}_{1}}} \right ]+G(p), \end{aligned}$$
(54)
which readily gives
$$ F(p) = e p^{\nu (1-\mu )-\mu}+ \frac{\lambda}{\Gamma (\gamma )}p^{{-\beta}_{1}-\mu-1} \sum^{\infty}_{n=0} \frac{\Gamma(\gamma+\kappa n){ (\frac{\omega}{p^{{\alpha }_{1}}} )}^{n}}{\prod ^{{m}}_{{j=1}}\Gamma ({ n} \operatorname{Re}({ \alpha}_{{j}})+{\beta}_{{j}} ) ({ n!} )}+p^{-\mu} G(p). $$
(55)
Now, by taking the inverse Laplace transform of each side of (55), we obtain
$$\begin{aligned} F(x) =& e L^{-1} \bigl(p^{\nu (1-\mu )-\mu};x \bigr)+ \frac{\lambda }{\Gamma (\gamma )} \sum^{\infty}_{n=0} \frac{\Gamma(\gamma+\kappa n) (\frac{\omega}{p^{\alpha_{1}}} )^{n}}{ \prod^{{ m}}_{{ j=1}}\Gamma ({ n} \operatorname{Re}({\alpha_{j} }+{\beta}_{{ j}} )) ({ n}!)}L^{-1} \bigl(p^{-{\alpha}_{1}n-{\beta}_{1}-\mu-1};x \bigr) \\ &{}+L^{-1}L \biggl(\frac{x^{\mu-1}}{\Gamma(\mu)}*g(x) \biggr) \\ =& e\frac{x^{\mu-\nu (1-\mu )-1}}{\Gamma(\mu-\nu (1-\mu ))} + \frac{\lambda x^{{\mu+\beta}_{1}}}{\Gamma (\gamma )} \sum^{\infty}_{n=0} \frac{\Gamma(\gamma +\kappa n) (\omega x^{{\alpha}_{1}} )^{n}}{\prod^{{ m}}_{{ j=1}}\Gamma ({n} \operatorname{Re}(\alpha_{{ j}} )+{\beta}_{{ j}} ) \Gamma({\alpha}_{{ 1}} n+{\beta}_{{1}}+\mu+1) ({ n} )!} \\ &{} + \frac{1}{\Gamma(\mu)} \int^{x}_{0}{(x-t)^{\mu-1}}g(t) \, dt , \end{aligned}$$
which yields
$$\begin{aligned} f(x) = &e\frac{x^{\mu-\nu (1-\mu )-1}}{\Gamma(\mu-\nu (1-\mu ))} + \frac{\lambda x^{{\mu+\beta}_{1}}}{\Gamma (\gamma )}E_{\gamma,\kappa} \bigl[ ({ \alpha}_{1},{\beta }_{1}+\mu+1 ),\ldots, ({ \alpha}_{m},{\beta}_{m} ) ;\omega {{ x}}^{{\alpha}_{{1}}} \bigr] \\ &{} + \frac{1}{\Gamma(\mu)} \int^{x}_{0}{(x-t)^{\mu-1}}g(t) \, dt. \end{aligned}$$
This completes the proof of Theorem 5.1. □

It is interesting to observe that for \(m=1\), Theorem 5.1 reduces to the one given by Srivastava and Tomovski [11].

6 Conclusion

In this paper we have derived the Laplace transform and the Mellin transform and various properties of the operator defined by (21). These properties are useful in solving applied problems of science, engineering and technology such as fractional kinetic equations, fractional reaction-diffusion equation, etc.

Declarations

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)
Department of Mathematics and Statistics, Jai Narain Vyas University, Jodhpur, 342004, India
(2)
Department of Applied Mathematics & Humanities, S.V. National Institute of Technology, Surat, 395007, India

References

  1. Mittag-Leffler, GM: Sur la nouvelle fonction \(E_{\alpha} (x )\). C. R. Acad. Sci. Paris 137, 554-558 (1903) Google Scholar
  2. Mittag-Leffler, GM: Sur la représentation analytique d’une fonction monogène (cinquieme note). Acta Math. 29, 101-181 (1905) View ArticleMATHMathSciNetGoogle Scholar
  3. Wiman, A: Über den Fundamentalsatz in der Theorie der Funktionen \(E_{\alpha} (x )\). Acta Math. 29, 191-201 (1905) View ArticleMATHMathSciNetGoogle Scholar
  4. Prabhakar, TR: A singular integral equation associated with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 19, 7-15 (1971) MATHMathSciNetGoogle Scholar
  5. Shukla, AK, Prajapati, JC: On generalization of Mittag-Leffler function and its properties. J. Math. Anal. Appl. 336, 797-811 (2007) View ArticleMATHMathSciNetGoogle Scholar
  6. Prajapati, JC, Jana, RK, Saxena, RK, Shukla, AK: Some results on generalized Mittag-Leffler function operator. J. Inequal. Appl. 2013, 33 (2013) View ArticleMathSciNetGoogle Scholar
  7. Wright, EM: The asymptotic expansion of generalized hypergeometric function. J. Lond. Math. Soc. 10, 286-293 (1935) Google Scholar
  8. Wright, EM: The asymptotic expansion of generalized hypergeometric function. Proc. Lond. Math. Soc. 27, 389-408 (1940) View ArticleGoogle Scholar
  9. Mainardi, F, Pagnini, G: The Wright function as solution of time-fractional diffusion equation. Appl. Math. Comput. 141, 51-62 (2003) View ArticleMATHMathSciNetGoogle Scholar
  10. Kilbas, AA, Saigo, HM, Trujillo, JJ: On the generalized Wright function. Fract. Calc. Appl. Anal. 4, 437-460 (2002) MathSciNetGoogle Scholar
  11. Srivastava, HM, Tomovski, Z: Fractional calculus with an integral operator containing a generalized Mittag-Leffler function in the kernel. Appl. Math. Comput. 211, 198-210 (2009) View ArticleMATHMathSciNetGoogle Scholar
  12. Saxena, RK, Ram, J, Vishnoi, M: Fractional differentiation and fractional integration of the generalized Mittag-Leffler function. J. Indian Acad. Math. 32(1), 153-162 (2010) MATHMathSciNetGoogle Scholar
  13. Saxena, RK, Nishimoto, K: Further results on the generalized Mittag-Leffler functions of fractional calculus. J. Fract. Calc. 40, 29-41 (2011) Google Scholar
  14. Saxena, RK, Nishimoto, K: N-Fractional calculus of generalized Mittag-Leffler functions. J. Fract. Calc. 37, 43-52 (2010) MATHMathSciNetGoogle Scholar
  15. Kiryakova, V: Multiple (multiindex) Mittag-Leffler function related Gelfond and Leontiex operators and Laplace type integrals transforms. Fract. Calc. Appl. Anal. 2, 445-462 (1999) MATHMathSciNetGoogle Scholar
  16. Kiryakova, V: Multiple (multiindex) Mittag-Leffler functions and relations to generalized fractional calculus. J. Comput. Appl. Math. 118, 214-259 (2000) MathSciNetGoogle Scholar
  17. Saxena, RK, Kalla, SL, Kiryakova, VS: Relations connecting multiindex Mittag-Leffler functions and Riemann-Liouville fractional calculus. Algebras Groups Geom. 20, 365-385 (2003) MathSciNetGoogle Scholar
  18. Hilfer, R: Fractional time evolution. In: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000) Google Scholar
  19. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  20. Mathai, AM, Saxena, RK, Haubold, HJ: The H-Function: Theory and Applications. Springer, New York (2010) View ArticleGoogle Scholar
  21. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993) MATHGoogle Scholar
  22. Srivastava, HM, Saxena, RK: Operators of fractional integration and their applications. Appl. Math. Comput. 118, 1-52 (2001) View ArticleMATHMathSciNetGoogle Scholar
  23. Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, FG: Tables of Integral Transforms, vol. 2. McGraw-Hill, New York (1954) Google Scholar
  24. Caputo, M: Elasticità e Dissipazione. Zanichelli, Bologna (1969) Google Scholar
  25. Prudnikov, AP, Brychkov, YA, Marichev, OI: Integrals and Series: More Special Functions, vol. 3. Gordon & Breach, New York (1990) MATHGoogle Scholar
  26. Gorenflo, R, Luchko, Y, Mainardi, F: Analytic properties and applications of the Wright function. Fract. Calc. Appl. Anal. 2, 383-414 (1999) MATHMathSciNetGoogle Scholar
  27. Górska, K, Penson, KA, Babusci, D, Dattoli, G, Duchamp, GHE: Operator solutions for fractional Fokker-Planck equations. Phys. Rev. E 85, 031138 (2012) View ArticleGoogle Scholar
  28. Babusci, D, Dattoli, G, Górska, K: On Mittag-Leffler function and associated polynomials (2012). arXiv:1206.3495
  29. Kilbas, AA, Saigo, M, Saxena, RK: Generalized Mittag-Leffler function and generalized fractional calculus. Integral Transforms Spec. Funct. 15, 31-49 (2004) View ArticleMATHMathSciNetGoogle Scholar
  30. Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, FG: Higher Transcendental Functions, vol. 3. McGraw-Hill, New York (1955) MATHGoogle Scholar
  31. Srivastava, HM, Saxena, RK, Ram, C: A unified presentation of gamma-type functions occurring in diffraction theory and associated probability distributions. Appl. Math. Comput. 162, 931-947 (2005) View ArticleMATHMathSciNetGoogle Scholar

Copyright

© Saxena et al.; licensee Springer. 2015

Advertisement