Skip to main content

Fractional operators with generalized Mittag-Leffler k-function

Abstract

In this paper, our main aim is to deal with two integral transforms involving the Gauss hypergeometric functions as their kernels. We prove some composition formulas for such generalized fractional integrals with Mittag-Leffler k-function. The results are established in terms of the generalized Wright hypergeometric function. The Euler integral k-transformation for Mittag-Leffler k-functions has also been developed.

Introduction

Mittag-Leffler functions are important in studying solutions of fractional differential equations, and they are associated with a wide range of problems in many areas of mathematics and physics. The importance and great considerations of Mittag-Leffler functions have led many researchers in the theory of special functions to exploring possible generalizations and applications. Many more extensions or unifications for these functions are found in a large number of papers [15]. A useful generalization of the Mittag-Leffler function, the so-called Mittag-Leffler k-function has been introduced and studied in [6]. Many mathematicians discussed and obtained new results [713], seen as theoretical developments to the fractional operators. These considerations have led various researchers in the field of special functions for exploring possible extensions of and applications to the Mittag-Leffler function. Recently, fractional calculus gained more attention due to its wide variety of applications in various fields [1418]. In the literature of fractional calculus, it is distinctly observed that the fractional integral operators and fractional integral formulas containing special functions occupied an influential place in computational and applied mathematics [1921]. The fractional calculus of various types of special functions is used in many research papers [2225]. For more details about the recent works in the field of dynamic system theory, stochastic systems, nonequilibrium statistical mechanics, and quantum mechanics, we refer the interesting readers to [2632]. Throughout this paper, we denote by \({\mathbb{C}}\), \({\mathbb{N}}\), \({\mathbb{R}^{+}}\), and \({\mathbb{R}}\) the sets of complex numbers, natural numbers, positive real numbers, and real numbers, respectively.

The Gauss hypergeometric function is defined as follows [33]: for all \(d, e, f \in {\mathbb{C}}\), \(f \neq 0, -1, -2, \ldots \) , and \(|z|<1 \),

$$ {}_{2}F_{1}(d,e;f;z)=\sum _{n=0}^{\infty }\frac{(d)_{n}(e)_{n}}{(f)_{n}} \frac{z ^{n}}{n!}, $$
(1)

where \((d)_{n}\), \((e)_{n}\), and \((f)_{n}\) are the Pochhammer symbols.

The Pochhammer symbols are defined as [34]

$$ (l)_{n}= \textstyle\begin{cases} 1 & \mbox{for } n=0, l\neq 0, \\ l(l+1)(l+2)\cdots (l+n-1) & \mbox{for } n\geq 1, \end{cases} $$
(2)

where \(l\in {\mathbb{C}}\) and \(n\in {\mathbb{N}}\).

The gamma function [34] for \(\Re (u)>0\) is defined as

$$ \varGamma (z)= \int _{0}^{\infty }{t^{z-1}} {e^{-t}}\,dt. $$
(3)

The beta function [34] is defined as

$$ \beta (l,h)= \int _{0}^{1}t^{l-1}(1-t)^{h-1} \,dt,\quad \Re (l)>0, \Re (h)>0. $$
(4)

The beta k-function [33] is defined as

$$ \beta _{k}(l,h)=\frac{1}{k} \int _{0}^{1}s^{\frac{l}{k}-1}(1-s)^{ \frac{h}{k}-1} \,ds,\quad \Re (l)>0, \Re (h)>0. $$
(5)

The generalized fractional integration operators are defined for \(u>0\), \(d, e, f \in {\mathbb{C}}\), and \(\Re (d)>0\) as follows (see [3537]):

$$ \bigl(I_{0,u}^{a,b,c}h \bigr) (u)= \frac{u^{-a-b}}{\varGamma (a)} \int _{0}^{u}(u-t)^{a-1} {{}_{2}F_{1} \biggl(a+b,-c;a;1-\frac{t}{u} \biggr)}h(t)\,dt $$
(6)

and

$$ \bigl(I_{z,\infty }^{d,e,f}h \bigr) (z)= \frac{1}{\varGamma (d)} \int _{z}^{\infty }(t-z)^{d-1}t ^{-d-e}{{}_{2}F_{1} \biggl(d+e,-f;d;1- \frac{z}{t} \biggr)}h(t)\,dt, $$
(7)

where Γ is the gamma function [38], and \({}_{2}F_{1}\) is the hypergeometric series defined by Rainville [39].

The Mittag-Leffler function \(E_{\alpha }(z)\)is defined by [40, 41]

$$ E_{\alpha }(z)=\sum_{n=0}^{\infty } \frac{z^{n}}{\varGamma (\alpha n+1)} $$
(8)

for \(z \in {\mathbb{C}}\) and \(\alpha \geq 0\). The Mittag-Leffler function \(E_{\alpha }(z)\) has been extended in a number of ways and, together with its extensions, applied in various research areas such as engineering and (in particular) statistics. The Mittag-Leffler functions and related distributions were given in [32].

The generalization of \(E_{\alpha }(z)\), also known as the Wiman function [42], is given by

$$ E_{\alpha , \beta }(z)=\sum_{n=0}^{\infty } \frac{z^{n}}{\varGamma (\alpha n+\beta )}, $$
(9)

for \(\alpha , \beta \in {\mathbb{C}}\) with \(\Re ({ \alpha })>0\), \(\Re ({\beta })>0 \).

In 1971, Prabhakar [43] proposed the more general function

$$ E_{\nu , \rho }^{\delta }(z)=\sum _{n=0}^{\infty }\frac{(\delta )_{n}z^{n}}{\varGamma (\nu n+\rho )n!}. $$
(10)

A useful generalization of the Mittag-Leffler, the so-called Mittag-Leffler k-function has been introduced and studied in [2, 6]. The generalized Mittag-Leffler k-function [44] is defined as

$$ E_{k,\nu ,\rho }^{\delta }(t)=\sum _{n=0}^{\infty }\frac{( \delta )_{n,k}t^{n}}{\varGamma _{k}(\nu n+\rho )n!}, $$
(11)

for \(k\in {\mathbb{R}}^{+}\), \(\nu , \rho , \delta , t \in {\mathbb{C}}\) with \(\Re (\nu )>0 \), \(\Re (\rho )>0\).

The integral form of the generalized gamma k-function is given by [45]

$$ \varGamma _{k}(z)= \int _{0}^{\infty }{t^{z-1}} {e^{\frac{-t^{k}}{k}}}\,dt $$
(12)

for \(k\in {\mathbb{R}^{+}}\) and \(z\in {\mathbb{C}}\) with \(\operatorname{Re}(z)>0\). By inspection we conclude the following relations:

$$\begin{aligned}& \varGamma _{k}(z+k)=k \varGamma _{k}(z), \end{aligned}$$
(13)
$$\begin{aligned}& \varGamma _{k}(\gamma )=(k)^{\frac{\gamma }{k}-1} \varGamma \biggl( \frac{\gamma }{k} \biggr). \end{aligned}$$
(14)

If k approaches one, then the generalized Mittag-Leffler k-function reduces to the generalized Mittag-Leffler function.

The generalized hypergeometric function is defined as [46]

$$ _{p}F_{q}(d_{1}, \ldots,d_{p},e_{1},\ldots,e_{q};t)=\sum _{n=0}^{\infty }\frac{(d _{1})_{n}\cdots (d_{p})_{n}}{(e_{1})_{n}\cdots (e_{q})_{n}} \frac{t ^{n}}{n!}, $$
(15)

where \(d_{i},e_{j}\in {\mathbb{C}}\), \(e_{j}\neq 0,-1,\ldots \) (\(i=1,2,\ldots ,p\); \(j=1,2,\ldots ,q\)).

The generalized Wright hypergeometric function is defined as [47]

$$ _{l}\psi _{h}(t)= _{l} \varPsi _{h}\left [ \textstyle\begin{array}{c} (c_{i},p_{i})_{1,l} \\ (d_{j},q_{j})_{1,h} \end{array}\displaystyle \middle |t \right ]\equiv \sum_{n=0}^{\infty } \frac{\prod_{i=1} ^{l}\varGamma (c_{i}+p_{i}n)t^{n}}{\prod_{j=1}^{h}\varGamma (d_{j}+q_{j}n)n!}, $$
(16)

where \(t\in {\mathbb{C}}\), \(c_{i}, d_{j}\in {\mathbb{C}}\), and \(p_{i}\), \(q_{j}\in {\mathbb{R}}\) (\(i=1, 2, \ldots, l\); \(j=1, 2, \ldots, h\)).

The following identity of Gauss hypergeometric function holds:

$$ {}_{2}F_{1}(e,f;d;1)= \frac{\varGamma (d)\varGamma (d-e-f)}{\varGamma (d-e)\varGamma (d-f)}, \quad \Re (d-e-f)>0. $$
(17)

The hypergeometric k-function [48] is defined as

$$ {}_{2}F_{1,k} \bigl( \bigl(\alpha ',k \bigr), \bigl(\beta ',k \bigr); \bigl(\eta ',k \bigr);t \bigr)=\sum_{m=0} ^{\infty }\frac{(\alpha ')_{m,k}(\beta ')_{m,k}}{(\eta ')_{m,k}}\frac{t ^{m}}{m!}, \quad k>0, $$
(18)

where

$$ \alpha ',\beta ',\eta '\in { \mathbb{C}}, \qquad \eta '\neq 0,-1,-2,-3,\ldots ,\qquad \vert t \vert < 1. $$

Preliminary lemmas

In this section, we derive the fundamental results of left- and right-sided generalized k-fractional integration with power k-function. The following lemmas proved in [35] are needed to prove our main results.

Lemma 1

([35])

For \(a, b, c, \rho \in {\mathbb{C}}\) with

$$\begin{aligned}& \Re (a)>0 \quad \textit{and} \quad \Re (\rho +c-b)>0, \\& \bigl(I_{0,u}^{a,b,c}t^{\rho -1} \bigr) (u)=u^{\rho -b-1}\frac{\varGamma (\rho ) \varGamma (\rho +c-b)}{\varGamma (\rho -b)\varGamma (\rho +a+c)}. \end{aligned}$$

Lemma 2

([35])

For \(a,b,c\in {\mathbb{C}}\) with

$$ \Re (a)>0 \quad \textit{and} \quad \Re (\rho )< 1+\min \bigl[\Re (b),\Re (c) \bigr], $$

we have

$$ \bigl(I_{u,\infty }^{a,b,c}t^{\rho -1} \bigr) (u)=u^{\rho -b-1}\frac{\varGamma (b- \rho +1)\varGamma (c-\rho +1)}{\varGamma (1-\rho )\varGamma (a+b+c-\rho +1)}. $$

Theorem 1

Let \(\alpha ', \beta ', \eta '\in {\mathbb{C}}\), \(k\in \mathbb{R}^{+}\)with \(\Re (\alpha ')>0\)and \(\Re (\sigma ')> \max [0, \Re (\beta '- \eta ')]\). Then

$$ \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)=y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\sigma ')\varGamma _{k}( \sigma '+\eta '-\beta ')}{\varGamma _{k}(\sigma '-\beta ')\varGamma _{k}( \sigma '+\alpha '+\eta ')}. $$

Proof

Consider the left-sided generalized k-fractional integral operator

$$ \begin{aligned}[b] \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}g \bigr)_{k}(y)&=\frac{y^{\frac{-\alpha '- \beta '}{k}}}{k\varGamma _{k}(\alpha ')} \int _{0}^{y}(y-s)^{ \frac{\alpha '}{k}-1} \\ &\quad {}\times {{}_{2}F_{1,k} \biggl( \bigl(\alpha '+\beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha ',k \bigr);1- \frac{s}{y} \biggr)}g(s)\,ds. \end{aligned} $$
(19)

Using the power k-function in equation (19), we have

$$ \begin{aligned}[b] \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=\frac{y ^{\frac{-\alpha '-\beta '}{k}}}{k\varGamma _{k}(\alpha ')} \int _{0}^{y}(y-s)^{\frac{ \alpha '}{k}-1} \\ &\quad {}\times {{}_{2}F_{1,k} \biggl( \bigl(\alpha '+\beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha ',k \bigr);1- \frac{s}{y} \biggr)}s^{\frac{\sigma '}{k}-1}\,ds. \end{aligned} $$
(20)

Using equation (18) in equation (20), we get

$$ \begin{aligned}[b] \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=\frac{y ^{\frac{-\alpha '-\beta '}{k}}}{k\varGamma _{k}(\alpha ')} \int _{0}^{y}(y-s)^{\frac{ \alpha '}{k}-1} \\ &\quad {}\times \sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(- \eta ')_{m,k}}{(\alpha ')_{m,k}m!} \biggl(1-\frac{s}{y} \biggr)^{m}s^{\frac{\sigma '}{k}-1} \,ds. \end{aligned} $$
(21)

By putting

$$\begin{aligned}& s=vy \quad \Longrightarrow\quad ds=y\,dv, \\& s=0\quad \Longrightarrow\quad v=0, \\& s=y\quad \Longrightarrow\quad v=1 \end{aligned}$$

in equation (21), we obtain

$$\begin{aligned}& \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y) \\& \quad = \frac{y ^{\frac{-\alpha '-\beta '}{k}}}{k\varGamma (\alpha ')} \int _{0}^{1}(y-v y)^{\frac{ \alpha '}{k}-1}(1-v)^{m}(v y)^{\frac{\sigma '}{k}-1}\sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(- \eta ')_{m,k}}{(\alpha ')_{m,k}m!}y\,dv \\& \quad = \frac{y^{\frac{-\alpha '-\beta '}{k}}}{k\varGamma (\alpha ')}\sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{( \alpha ')_{m,k}m!} \int _{0}^{1}y^{\frac{\alpha '}{k}-1}(1-v)^{\frac{ \alpha '}{k}-1}(1-v)^{m}v^{\frac{\sigma '}{k}-1}y^{\frac{\sigma '}{k}-1}y \,dv \\& \quad = \frac{y^{\frac{-\alpha '-\beta '}{k}}}{k\varGamma (\alpha ')}\sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{( \alpha ')_{m,k}m!} \int _{0}^{1}y^{\frac{\alpha '}{k}-1+ \frac{\sigma '}{k}-1+1}(1-v)^{\frac{\alpha '}{k}+m-1}v^{\frac{\sigma '}{k}-1} \,dv \\& \quad = \frac{y^{-\frac{\alpha '}{k}-\frac{\beta '}{k}+\frac{\alpha '}{k}+\frac{ \sigma '}{k}-1}}{k\varGamma (\alpha ')}\sum_{m=0}^{\infty } \frac{( \alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha ')_{m,k}m!} \int _{0} ^{1}(1-v)^{\frac{\alpha '}{k}+m-1}v^{\frac{\sigma '}{k}-1} \,dv \\& \quad = \frac{y^{\frac{\sigma '-\beta '}{k}-1}}{\varGamma _{k}(\alpha ')}\sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{( \alpha ')_{m,k}m!}\frac{1}{k} \int _{0}^{1}(1-v)^{\frac{\alpha '+mk}{k}-1}v ^{\frac{\sigma '}{k}-1}\,dv. \end{aligned}$$
(22)

Since

$$ \beta _{k}(l,h)=\frac{\varGamma _{k}(l)\varGamma _{k}(h)}{\varGamma _{k}(l+h)}, $$
(23)

by equations (5) and (22) we have

$$ =\frac{y^{\frac{\sigma '-\beta '}{k}-1}}{\varGamma _{k}(\alpha ')}\sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{( \alpha ')_{m,k}m!}\frac{\varGamma _{k}(\alpha '+mk)\varGamma _{k}(\sigma ')}{ \varGamma _{k}(\alpha '+\sigma '+mk)}. $$
(24)

Since

$$ \varGamma _{k}(t+mk)=(t)_{m,k} \varGamma _{k}(t), $$
(25)

from equation (24) we get

$$\begin{aligned} \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=\frac{y ^{\frac{\sigma '-\beta '}{k}-1}}{\varGamma _{k}(\alpha ')}\sum _{m=0} ^{\infty } \frac{(\alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha ')_{m,k}m!} \frac{( \alpha ')_{m,k}\varGamma _{k}(\alpha ')\varGamma _{k}(\sigma ')}{(\alpha '+ \sigma ')_{m,k}\varGamma _{k}(\alpha '+\sigma ')} \\ &=y^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\sigma ')}{\varGamma _{k}(\alpha '+\sigma ')}\sum_{m=0}^{\infty } \frac{(\alpha '+ \beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha '+\sigma ')_{m,k}m!}. \end{aligned}$$
(26)

Using equation (18), from equation (26) we have

$$ \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\sigma '-1} \bigr)_{k}(y)=y^{\frac{ \sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\sigma ')}{\varGamma _{k}(\alpha '+\sigma ')}{{}_{2}F_{1,k} \bigl( \bigl(\alpha '+\beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha '+ \sigma ',k \bigr);1 \bigr)}. $$

We can also write

$$ \begin{aligned}[b] \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\sigma ')}{\varGamma _{k}( \alpha '+\sigma ')} \\ &\quad {}\times {{}_{2}F_{1,k} \bigl( \bigl(\alpha '+ \beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha '+\sigma ',k \bigr);1 \bigr)}. \end{aligned} $$
(27)

Since

$$ {}_{2}F_{1,k} \bigl[{ \bigl(\alpha ',k \bigr), \bigl(\beta ',k \bigr)} { \bigl(\eta ',k \bigr)};{1} \bigr]=\frac{\varGamma _{k}(\eta ')\varGamma _{k}(\eta '-\beta '-\alpha ')}{\varGamma _{k}(\eta '- \alpha ')\varGamma _{k}(\eta '-\beta ')}, $$
(28)

from equation (27) we obtain

$$\begin{aligned}& \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y) = y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\sigma ')}{\varGamma _{k}( \alpha '+\sigma ')} \frac{\varGamma _{k}(\alpha '+\sigma ')\varGamma _{k}( \alpha '+\sigma '-\alpha '-\beta '+\eta ')}{\varGamma _{k}(\alpha '+ \sigma '-\alpha '-\beta ')\varGamma _{k}(\alpha '+\sigma '+\eta ')}, \\& \bigl(I_{0,y}^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y) = y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\sigma ')\varGamma _{k}( \sigma '+\eta '-\beta ')}{\varGamma _{k}(\sigma '-\beta ')\varGamma _{k}( \sigma '+\alpha '+\eta ')}. \end{aligned}$$

 □

Theorem 2

Let \(\alpha ', \beta ', \eta '\in {\mathbb{C}}\). Then

$$ \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)=y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\beta '-\sigma '+k) \varGamma _{k}(-\sigma '+k+\eta ')}{\varGamma _{k}(-\sigma '+k)\varGamma _{k}( \alpha '-\sigma '+\beta '+k+\eta ')}. $$
(29)

Proof

Consider the right-sided generalized k-fractional integral operator

$$ \begin{aligned}[b] \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}g \bigr)_{k}(y)&=\frac{1}{k\varGamma _{k}(\alpha ')} \int _{y}^{\infty }(s-y)^{\frac{\alpha '}{k}-1}s^{\frac{- \alpha '-\beta '}{k}} \\ &\quad {}\times {{}_{2}F_{1,k} \biggl( \bigl(\alpha '+\beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha ',k \bigr);1- \frac{y}{s} \biggr)}g(s)\,ds. \end{aligned} $$
(30)

Using the power k-function in (30), we have

$$ \begin{aligned}[b] \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=\frac{1}{k \varGamma _{k}(\alpha ')} \int _{y}^{\infty }(s-y)^{\frac{\alpha '}{k}-1}s ^{\frac{-\alpha '-\beta '}{k}} \\ &\quad {}\times {{}_{2}F_{1,k} \biggl( \bigl(\alpha '+\beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha ',k \bigr);1- \frac{y}{s} \biggr)}s^{\frac{\sigma '}{k}-1}\,ds. \end{aligned} $$
(31)

Using equation (18) in equation (31), we get

$$ \begin{aligned}[b] \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=\frac{1}{k \varGamma _{k}(\alpha ')} \int _{y}^{\infty }(s-y)^{\frac{\alpha '}{k}-1}s ^{\frac{-\alpha '-\beta '}{k}} \\ &\quad {}\times \sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(- \eta ')_{m,k}}{(\alpha ')_{m,k}m!} \biggl(1-\frac{y}{s} \biggr)^{m}s^{\frac{\sigma '}{k}-1} \,ds. \end{aligned} $$
(32)

Putting

$$\begin{aligned}& s=\frac{y}{v} \quad \Longrightarrow\quad ds=-\frac{y}{v^{2}} \,dv, \\& s=y \quad \Longrightarrow \quad v=1, \\& s=\infty \quad \Longrightarrow \quad v=0 \end{aligned}$$

in equation (32), we obtain

$$ \begin{aligned} & \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y) \\ &\quad =\frac{1}{k \varGamma _{k}(\alpha ')} \int _{1}^{0} \biggl(\frac{y}{v}-y \biggr)^{\frac{\alpha '}{k}-1} \biggl( \frac{y}{v} \biggr)^{\frac{-\alpha '-\beta '}{k}} \sum_{m=0}^{\infty }\frac{( \alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha ')_{m,k}m!} \\ &\qquad {}\times (1-v)^{m} \biggl(\frac{y}{v} \biggr)^{\frac{\sigma '}{k}-1} \biggl(-\frac{y}{v^{2}} \biggr)\,dv \\ &\quad =\frac{1}{k\varGamma _{k}(\alpha ')}\sum_{m=0}^{\infty } \frac{( \alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha ')_{m,k}m!} \int _{0} ^{1}y^{\frac{\alpha '}{k}-1} \biggl( \frac{1-v}{v} \biggr)^{\frac{\alpha '}{k}-1}y ^{\frac{-\alpha '-\beta '}{k}}v^{\frac{\alpha '+\beta '}{k}} \\ &\qquad {}\times (1-v)^{m}y^{\frac{\sigma '}{k}-1}v^{1-\frac{\sigma '}{k}}yv ^{-2}\,dv, \\ & \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y) \\ &\quad =\frac{1}{k \varGamma _{k}(\alpha ')}\sum_{m=0}^{\infty } \frac{(\alpha '+ \beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha ')_{m,k}m!} \int _{0}^{1}y^{\frac{ \alpha '}{k}-1-\frac{\alpha '}{k}-\frac{\beta '}{k}+ \frac{\sigma '}{k}-1+1}(1-v)^{\frac{\alpha '}{k}+m-1} \\ &\qquad {}\times v^{1-\frac{\alpha '}{k}+\frac{\alpha '}{k}+\frac{\beta '}{k}+1-\frac{ \sigma '}{k}-2}\,dv \\ &\quad = \frac{y^{\frac{\sigma '}{k}-\frac{\beta '}{k}-1}}{k\varGamma _{k}( \alpha ')}\sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(- \eta ')_{m,k}}{(\alpha ')_{m,k}m!} \int _{0}^{1}(1-v)^{ \frac{\alpha '}{k}+m-1}v^{\frac{\beta '-\sigma '}{k}} \,dv \\ &\quad = \frac{y^{\frac{\sigma '-\beta '}{k}-1}}{\varGamma _{k}(\alpha ')} \sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{( \alpha ')_{m,k}m!}\frac{1}{k} \int _{0}^{1}(1-v)^{\frac{\alpha '+mk}{k}-1}v ^{\frac{\beta '-\sigma '}{k}+1-1}\,dv. \end{aligned} $$
(33)

Using equation (5) and equation (23) in equation (33), we get

$$ \begin{aligned}[b] \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=\frac{y ^{\frac{\sigma '-\beta '}{k}-1}}{\varGamma _{k}(\alpha ')} \\ &\quad {}\times \sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(- \eta ')_{m,k}}{(\alpha ')_{m,k}m!}\frac{\varGamma _{k}(\alpha '+mk)\varGamma _{k}(\beta '-\sigma '+k)}{\varGamma _{k}(\alpha '+\beta '-\sigma '+mk+k)}. \end{aligned} $$
(34)

Using equation (25) in equation (34), we obtain

$$ \begin{aligned}[b] & \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y) \\ &\quad =\frac{y ^{\frac{\sigma '-\beta '}{k}-1}}{\varGamma _{k}(\alpha ')} \sum_{m=0}^{\infty } \frac{(\alpha '+\beta ')_{m,k}(- \eta ')_{m,k}}{(\alpha ')_{m,k}m!}\frac{(\alpha ')_{m,k}\varGamma _{k}( \alpha ')\varGamma _{k}(\beta '-\sigma '+k)}{(\alpha '-\sigma '+\beta '+k)_{m,k} \varGamma _{k}(\alpha '-\sigma '+\beta '+k)} \\ &\quad =y^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\beta '-\sigma '+k)}{ \varGamma _{k}(\alpha '-\sigma '+\beta '+k)}\sum _{m=0}^{\infty }\frac{( \alpha '+\beta ')_{m,k}(-\eta ')_{m,k}}{(\alpha '-\sigma '+\beta '+k)_{m,k}m!}. \end{aligned} $$
(35)

Using equation (18) in equation (35), we have

$$ \begin{aligned}[b] \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\beta '-\sigma '+k)}{ \varGamma _{k}(\alpha '-\sigma '+\beta '+k)} \\ &\quad {}\times {{}_{2}F_{1,k} \bigl( \bigl(\alpha '+ \beta ',k \bigr), \bigl(-\eta ',k \bigr); \bigl(\alpha '-\sigma '+\beta '+k,k \bigr);1 \bigr)}. \end{aligned} $$
(36)

Using equation (28) in equation (36), we get

$$\begin{aligned}& \begin{aligned} \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)&=y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\beta '-\sigma '+k)}{ \varGamma _{k}(\alpha '-\sigma '+\beta '+k)} \\ &\quad {}\times \frac{\varGamma _{k}(\alpha '-\sigma '+\beta '+k)\varGamma _{k}(\alpha '-\sigma '+\beta '+k-\alpha '-\beta '+\eta ')}{\varGamma _{k}(\alpha '- \sigma '+\beta '+k-\alpha '-\beta ')\varGamma _{k}(\alpha '-\sigma '+ \beta '+k+\eta ')}, \end{aligned} \\& \bigl(I_{y,\infty }^{\alpha ',\beta ',\eta '}s^{\frac{\sigma '}{k}-1} \bigr)_{k}(y)=y ^{\frac{\sigma '-\beta '}{k}-1}\frac{\varGamma _{k}(\beta '-\sigma '+k) \varGamma _{k}(-\sigma '+k+\eta ')}{\varGamma _{k}(-\sigma '+k)\varGamma _{k}( \alpha '-\sigma '+\beta '+k+\eta ')}. \end{aligned}$$

 □

Generalized fractional integrals in terms of Wright functions

In this section, we solve the composition of the Mittag-Leffler with power function to generalized left- and right-sided fractional integral operators and also discuss k-calculus.

Theorem 3

For \(a, b, c, \rho , \delta \in {\mathbb{C}}\) with

$$ \Re (a)>0 \quad \textit{and}\quad \Re (\rho +c-b)>0,\qquad \nu >0 , \qquad \lambda > 0 ,\qquad w\in {\mathbb{R}}, $$

we have

$$ \begin{aligned} \bigl(I_{0,u}^{a,b,c}t^{{\rho }-1} E_{\nu ,\rho }^{\delta } \bigl(wt^{{\lambda }} \bigr)\bigr) (u)&= \frac{u ^{-b-1+{\rho }}}{{\varGamma ({\delta })}} \\ &\quad {}\times {}_{3}\varPsi _{3}\left [ \textstyle\begin{array}{c} (c-b+{\rho },{\lambda }),({\rho },{\lambda }),({\delta },1) \\ (a+c+{\rho },{\lambda }),({\rho }-b,{\lambda }),({\rho },{\nu }) \end{array}\displaystyle \middle | wu^{{\lambda }} \right ]. \end{aligned} $$

Proof

Using the power function and (10) in (6), we have

$$\begin{aligned}& \bigl(I_{0,u}^{a,b,c}t^{{\rho }-1}E_{\nu ,\rho }^{\delta } \bigl(wt^{\lambda } \bigr)\bigr) (u)=\frac{u ^{-a-b}}{\varGamma (a)} \int _{0}^{u}(u-t)^{a-1} \\& \hphantom{(I_{0,u}^{a,b,c}t^{{\rho }-1}E_{\nu ,\rho }^{\delta } (wt^{\lambda } ) (u)={}}{}\times {{}_{2}F_{1} \biggl(a+b,-c;a;1- \frac{t}{u} \biggr)}t^{{\rho }-1} \sum _{n=0}^{\infty } \frac{(\delta )_{n}}{\varGamma (\nu n+\rho )n!} \bigl(wt^{ {\lambda }} \bigr)^{n}\,dt \end{aligned}$$
(37)
$$\begin{aligned}& \hphantom{(I_{0,u}^{a,b,c}t^{{\rho }-1}E_{\nu ,\rho }^{\delta } (wt^{\lambda } ) (u)}=\sum_{n=0}^{\infty } \frac{w^{n}(\delta )_{n}}{\varGamma (\nu n+ \rho )n!} \bigl(I_{0,u}^{a,b,c}t^{\rho +\lambda n-1} \bigr) (u). \end{aligned}$$
(38)

Since for \(n= 0,1,2, \ldots \) , \(\Re (\rho +\lambda n)\geq \Re (\rho +c-b)>0 \), using Lemma 1 with ρ replaced by \(\rho + \lambda {n} \) in equation (38), we obtain

$$ \begin{aligned}[b] &\bigl(I_{0,u}^{a,b,c}t^{{\rho }-1}E_{\nu ,\rho }^{\delta } \bigl(wt^{\lambda } \bigr)\bigr) (u) \\ &\quad =\frac{u ^{\rho -b-1}}{\varGamma ({\delta })} \sum_{n=0}^{\infty } \frac{\varGamma ({\delta +n})\varGamma ( {\rho +\lambda n})\varGamma (c-b+{\rho +\lambda n})}{\varGamma (-b+{\rho + \lambda n})\varGamma (a+c+{\rho +\lambda n})\varGamma ({\nu n+\rho })n!} \bigl(wu ^{\lambda } \bigr)^{n}. \end{aligned} $$
(39)

Using (16) in (39), we get

$$ \begin{aligned} \bigl(I_{0,u}^{a,b,c}t^{{\rho }-1} E_{\nu ,\rho }^{\delta } \bigl(wt^{{\lambda }} \bigr)\bigr) (u)&= \frac{u ^{-b-1+{\rho }}}{{\varGamma ({\delta })}} \\ &\quad {}\times {}_{3}\varPsi _{3}\left [ \textstyle\begin{array}{c} (c-b+{\rho },{\lambda }),({\rho },{\lambda }),({\delta },1) \\ (a+c+{\rho },{\lambda }),({\rho }-b,{\lambda }),({\rho },{\nu }) \end{array}\displaystyle \middle | wu^{{\lambda }} \right ]. \end{aligned} $$

 □

Theorem 4

For \(a, b, c, \rho , \delta \in {\mathbb{C}}\) with

$$\begin{aligned}& \Re (a)>0 \quad \textit{and}\quad \Re (a+\rho )>\max \bigl[-\Re (b),-\Re (c) \bigr] ,\qquad \Re (b)\neq \Re (c), \\& \nu >0,\qquad \lambda > 0,\qquad w\in {\mathbb{R}}, \end{aligned}$$

we have

$$ \begin{aligned} \bigl(I_{u,\infty }^{a,b,c}t^{\rho -1}E_{\nu ,\rho }^{\delta } \bigl(wt^{{- \lambda }} \bigr)\bigr) (u)&=\frac{u^{{\rho -b}-1}}{{\varGamma ({\delta })}} \\ &\quad {}\times {}_{3}\varPsi _{3}\left [ \textstyle\begin{array}{c} ({b}-{\rho }+1,{\lambda }),(1+c-{\rho },{\lambda }),({\delta },1) \\ (1-{\rho },{\lambda }),({a}+{b}-{\rho }+c+1,{\lambda }),({\rho }, {\nu }) \end{array}\displaystyle \middle | wu^{{-\lambda }} \right ]. \end{aligned} $$

Proof

Using the power function and (10) in (7), we have

$$ \begin{aligned}[b] \bigl(I_{u,\infty }^{a,b,c}t^{{\rho }-1}E_{\nu ,\rho }^{\delta } \bigl(wt^{{- \lambda }} \bigr)\bigr) (u)&=\frac{1}{\varGamma (a)} \int _{u}^{\infty }(t-u)^{a-1}t^{ {-a-b}} \\ &\quad {}\times {{}_{2}F_{1} \biggl(a+b,-c;a;1- \frac{u}{t} \biggr)}t^{{\rho }-1} \sum _{n=0}^{\infty } \frac{(\delta )_{n}}{{\varGamma }(\nu n+\rho )n!} \bigl(wt ^{{-\lambda }} \bigr)^{n}\,dt \\ & =\sum_{n=0}^{\infty } \frac{w^{n}(\delta )_{n}}{\varGamma (\nu n+ \rho )n!} \bigl(I_{u,\infty }^{a,b,c}t^{{\rho -\lambda n}-1} \bigr) (u). \end{aligned} $$
(40)

Since for \(n= 0,1,2,\ldots \) , \(\Re (\rho -\lambda n-1)\leq \Re (\rho +a-1)>1+ \max [-\Re (b),-\Re (c)] \), using Lemma 2 with ρ replaced by \(\rho -\lambda n\), we reduce equation (40) to

$$ \begin{aligned}[b] & \bigl(I_{u,\infty }^{a,b,c}t^{{\rho }-1}E_{\nu ,\rho }^{\delta } \bigl(wt^{{- \lambda }} \bigr) \bigr) (u) \\ &\quad =\frac{u^{{\rho -b}-1}}{{\varGamma ({\delta })}} \sum_{n=0}^{\infty } \frac{\varGamma ({\delta +n})\varGamma (1-a+ {a+b+\lambda n-\rho })\varGamma (1-a-b+c+{a+b+\lambda n-\rho })}{\varGamma (1-a-b+{a+b+\lambda n-\rho })\varGamma (1+c+{a+b+\lambda n-\rho })\varGamma ({\nu n+\rho })n!} \\ &\qquad {}\times \bigl(wu^{-\lambda } \bigr)^{n}. \end{aligned} $$
(41)

Using (16) in (41), we get

$$ \begin{aligned} \bigl(I_{u,\infty }^{a,b,c}t^{\rho -1}E_{\nu ,\rho }^{\delta } \bigl(wt^{{- \lambda }} \bigr)\bigr) (u)&=\frac{u^{{\rho -b}-1}}{{\varGamma ({\delta })}} \\ &\quad {}\times {}_{3}\varPsi _{3}\left [ \textstyle\begin{array}{c} ({b}-{\rho }+1,{\lambda }),(1+c-{\rho },{\lambda }),({\delta },1) \\ (1-{\rho },{\lambda }),({a}+{b}-{\rho }+c+1,{\lambda }),({\rho }, {\nu }) \end{array}\displaystyle \middle | wu^{{-\lambda }} \right ]. \end{aligned} $$

 □

Theorem 5

For \(a, b, c, \rho , \delta \in {\mathbb{C}}\) with

$$ \Re (a)>0 \quad \textit{and}\quad \Re (\rho +c-b)>0,\qquad \nu >0 ,\qquad \lambda > 0 ,\qquad w\in {\mathbb{R}}, $$

we have

$$ \begin{aligned} \bigl(I_{0,u}^{a,b,c}t^{\frac{\rho }{k}-1} E_{k,\nu ,\rho }^{\delta } \bigl(wt ^{\frac{\lambda }{k}} \bigr)\bigr) (u)&=\frac{k^{1-\frac{\rho }{k}}u^{-b-1+\frac{ \rho }{k}}}{\varGamma (\frac{\delta }{k})} \\ &\quad {}\times {}_{3}\varPsi _{3}\left [ \textstyle\begin{array}{c} (c-b+\frac{\rho }{k},\frac{\lambda }{k}),(\frac{\rho }{k},\frac{ \lambda }{k}),(\frac{\delta }{k},1) \\ (a+c+\frac{\rho }{k},\frac{\lambda }{k}),(\frac{\rho }{k}-b,\frac{ \lambda }{k}),(\frac{\rho }{k},\frac{\nu }{k}) \end{array}\displaystyle \middle | k^{1-\frac{\nu }{k}}wu^{\frac{\lambda }{k}} \right ]. \end{aligned} $$

Proof

Using the power k-function and (11) in (6), we have

$$\begin{aligned}& \bigl(I_{0,u}^{a,b,c}t^{\frac{\rho }{k}-1}E_{k,\nu ,\rho }^{\delta } \bigl(wt ^{\frac{\lambda }{k}} \bigr)\bigr) (u) \\& \quad =\frac{u^{-a-b}}{\varGamma (a)} \int _{0}^{u}(u-t)^{a-1} {{}_{2}F_{1} \biggl(a+b,-c;a;1- \frac{t}{u} \biggr)}t^{\frac{\rho }{k}-1} \sum_{n=0}^{\infty } \frac{(\delta )_{n,k}}{\varGamma _{k}(\nu n+ \rho )n!} \bigl(wt^{\frac{\lambda }{k}} \bigr)^{n} \,dt \end{aligned}$$
(42)
$$\begin{aligned}& \quad =\sum_{n=0}^{\infty } \frac{w^{n}(\delta )_{n,k}}{\varGamma _{k}( \nu n+\rho )n!} \bigl(I_{0,u}^{a,b,c}t^{\frac{\rho +\lambda n}{k}-1} \bigr)_{k}(u). \end{aligned}$$
(43)

Since for \(n= 0\), \(1,2,\ldots\) , \(\Re (\rho +\lambda n)\geq \Re (\rho +c-b)>0 \), using Lemma 1 with ρ replaced by by \(\frac{\rho + \lambda n}{k}\), we reduce equation (43) to

$$ \begin{aligned}[b] &\bigl(I_{0,u}^{a,b,c}t^{\frac{\rho }{k}-1}E_{k,\nu ,\rho }^{\delta } \bigl(wt ^{\lambda } \bigr)\bigr) (u) \\ &\quad =\frac{k^{1-\frac{\rho }{k}}u^{-b-1+\frac{\rho }{k}}}{ \varGamma (\frac{\delta }{k})} \sum_{n=0}^{\infty } \frac{\varGamma (\frac{\delta +nk}{k}) \varGamma (\frac{\rho +\lambda n}{k})\varGamma (c-b+ \frac{\rho +\lambda n}{k})}{\varGamma (-b+\frac{\rho +\lambda n}{k}) \varGamma (a+c+\frac{\rho +\lambda n}{k})\varGamma (\frac{\nu n+\rho }{k})n!} \bigl(wk ^{1-\frac{\nu }{k}}t^{\frac{\lambda }{k}} \bigr)^{n}. \end{aligned} $$
(44)

Using (16) in (44), we get

$$\begin{aligned} \bigl(I_{0,u}^{a,b,c}t^{\frac{\rho }{k}-1} E_{k,\nu ,\rho }^{\delta } \bigl(wt ^{\frac{\lambda }{k}} \bigr)\bigr) (u) =&\frac{k^{1-\frac{\rho }{k}}u^{-b-1+\frac{ \rho }{k}}}{\varGamma (\frac{\delta }{k})} \\ &{}\times {}_{3}\varPsi _{3}\left [ \textstyle\begin{array}{c} (c-b+\frac{\rho }{k},\frac{\lambda }{k}),(\frac{\rho }{k},\frac{ \lambda }{k}),(\frac{\delta }{k},1) \\ (a+c+\frac{\rho }{k},\frac{\lambda }{k}),(\frac{\rho }{k}-b,\frac{ \lambda }{k}),(\frac{\rho }{k},\frac{\nu }{k}) \end{array}\displaystyle \middle | k^{1-\frac{\nu }{k}}wu^{\frac{\lambda }{k}} \right ]. \end{aligned}$$

 □

Remark 1

If we replace k by one, then we get the result of [3].

Theorem 6

For \(a, b, c, \rho , \delta \in {\mathbb{C}}\) with

$$\begin{aligned}& \Re (a)>0 \quad \textit{and} \quad \Re (a+\rho )>\max \bigl[-\Re (b),-\Re (c) \bigr] ,\qquad \Re (b)\neq \Re (c), \\& \nu >0,\qquad \lambda > 0,\qquad w\in {\mathbb{R}}, \end{aligned}$$

we have

$$\begin{aligned}& \bigl(I_{u,\infty }^{a,b,c}t^{\frac{\rho }{k}-1} E_{k,\nu ,\rho }^{\delta } \bigl(wt^{\frac{-\lambda }{k}} \bigr)\bigr) (u) \\& \quad =\frac{k^{1-\frac{\rho }{k}}u^{\frac{ \rho -a-b}{k}+a-1}}{\varGamma (\frac{\delta }{k})} {}_{3}\varPsi _{3} \left [ \textstyle\begin{array}{c} (1+b-\frac{\rho }{k}, \frac{\lambda }{k}),(1+c-\frac{\rho }{k},\frac{ \lambda }{k}),(\frac{\delta }{k},1) \\ (1-\frac{\rho }{k},\frac{\lambda }{k}),(1+a+b+c-\frac{\rho }{k},\frac{ \lambda }{k}),(\frac{\rho }{k},\frac{\nu }{k}) \end{array}\displaystyle \middle | k^{1-\frac{\nu }{k}}wu^{\frac{-\lambda }{k}} \right ]. \end{aligned}$$
(45)

Proof

Using the power k-function and (11) in (7), we have

$$\begin{aligned}& \bigl(I_{u,\infty }^{a,b,c}t^{\frac{\rho }{k}-1}E_{k,\nu ,\rho }^{\delta } \bigl(wt ^{\frac{-\lambda }{k}} \bigr)\bigr) (u) \\& \quad =\frac{1}{\varGamma (a)} \int _{u}^{\infty }(t-u)^{a-1}t ^{-a-b} {{}_{2}F_{1} \biggl(a+b,-c;a;1- \frac{t}{u} \biggr)}t^{\frac{\rho }{k}-1} \sum _{n=0}^{\infty } \frac{(\delta )_{n,k}}{\varGamma _{k}(\nu n+ \rho )n!} \\& \qquad {}\times \bigl(wt^{\frac{-\lambda }{k}} \bigr)^{n} \,dt \end{aligned}$$
(46)
$$\begin{aligned}& \quad =\sum_{n=0}^{\infty } \frac{w^{n}(\delta )_{n,k}}{\varGamma _{k}( \nu n+\rho )n!} \bigl(I_{u,\infty }^{a,b,c}t^{\frac{\rho -\lambda n}{k}-1} \bigr) (u). \end{aligned}$$
(47)

Since for \(n= 0, 1,2,\ldots\) , \(\Re (\rho -\lambda n-1)\leq \Re (\rho +a-1)>1+ \max [-\Re (b),-\Re (c)] \), using Lemma 2 with ρ replaced by \(\frac{\rho -\lambda n}{k}\), we reduce equation (47) to

$$\begin{aligned}& \bigl(I_{u,\infty }^{a,b,c}t^{\frac{\rho }{k}-1}E_{k,\nu ,\rho }^{\delta } \bigl(wt ^{\frac{-\lambda }{k}} \bigr)\bigr) (u) \\& \quad =\frac{k^{1-\frac{\rho +\nu n}{k}}u^{\frac{ \rho }{k}-b-1}}{\varGamma (\frac{\delta }{k})}\sum_{n=0}^{\infty } \frac{\varGamma (\frac{\delta +nk}{k}) \varGamma (1+b-\frac{\rho - \lambda n}{k})\varGamma (1+c-\frac{\rho -\lambda n}{k})}{\varGamma (1- \frac{\rho -\lambda n}{k})\varGamma (1+a+b+c-\frac{ \rho -\lambda n}{k})\varGamma (\frac{\nu n+\rho }{k})n!} \bigl(kwu^{\frac{- \lambda }{k}} \bigr)^{n}. \end{aligned}$$
(48)

Using (16) in (48), we get

$$\begin{aligned}& \bigl(I_{u,\infty }^{a,b,c}t^{\rho -1}E_{\nu ,\rho }^{\delta } \bigl(wt^{\frac{- \lambda }{k}} \bigr)\bigr) (u) \\& \quad =\frac{k^{1-\frac{\rho }{k}}u^{\frac{\rho -a-b}{k}+a-1}}{ \varGamma (\frac{\delta }{k})} {}_{3}\varPsi _{3} \left [ \textstyle\begin{array}{c} (1+b-\frac{\rho }{k}, \frac{\lambda }{k}),(1+c-\frac{\rho }{k},\frac{ \lambda }{k}),(\frac{\delta }{k},1) \\ (1-\frac{\rho }{k},\frac{\lambda }{k}),(1+a+b+c-\frac{\rho }{k},\frac{ \lambda }{k}),(\frac{\rho }{k},\frac{\nu }{k}) \end{array}\displaystyle \middle | k^{1-\frac{\nu }{k}}wu^{\frac{-\lambda }{k}} \right ]. \end{aligned}$$

 □

Remark 2

If we replace k by one, then we get the result of [4].

Euler transform for Mittag-Leffler function

In this section, we investigate the Euler integral transformation for the Mittag-Leffler k-function. We also derive the Euler k-transformation of the Mittag-Leffler k-function.

Theorem 7

The Euler integral operator for the generalized Mittag-Leffler function is

$$ \bigl(I_{0}^{1}t^{a-1}(1-t)^{b-1}E_{\nu ,\rho }^{\delta } \bigl(wt^{{\lambda }} \bigr) \bigr)\,dt=\frac{ \varGamma (b)}{\varGamma (\delta )} _{2} \varPsi _{2}\left [ \textstyle\begin{array}{c} ({\delta },1),(a,{\lambda }) \\ ({\rho },{\nu }),(a+b,{\lambda }) \end{array}\displaystyle \middle | w \right ]. $$

Proof

$$\begin{aligned} \bigl(I_{0}^{1}t^{a-1}(1-t)^{b-1}E_{\nu ,\rho }^{\delta } \bigl(wt^{{\lambda }} \bigr) \bigr)\,dt =& \sum _{n=0}^{\infty } \frac{(\delta )_{n}}{\varGamma (\nu n+\rho )n!} (w)^{n} \int _{0}^{1}t^{a+ {\lambda n}-1}(1-t)^{b-1} \,dt \\ =&\frac{\varGamma (b)}{\varGamma (\delta )} \sum_{n=0}^{\infty } \frac{ \varGamma ({\delta }+n)\varGamma (a+{\lambda n})}{\varGamma (a+b+{\lambda n}) \varGamma ({\nu n}+{\rho })n!}(w)^{n} \\ =&{\frac{\varGamma (b)}{\varGamma (\delta )}} _{2}\varPsi _{2}\left [ \textstyle\begin{array}{c} ({\delta },1),(a,{\lambda }) \\ ({\rho },{\nu }),(a+b,{\lambda }) \end{array}\displaystyle \middle | w \right ]. \end{aligned}$$

 □

Theorem 8

The Euler integral operator for the generalized Mittag Lefflerk-function is

$$ \bigl(I_{0}^{1}t^{a-1}(1-t)^{b-1}E_{k,\nu ,\rho }^{\delta } \bigl(wt^{\frac{ \lambda }{k}} \bigr) \bigr)\,dt=\frac{\varGamma (b)k^{1-\frac{\rho }{k}}}{\varGamma ( \delta )} _{2} \varPsi _{2}\left [ \textstyle\begin{array}{c} (\frac{\delta }{k},1),(a,\frac{\lambda }{k}) \\ (\frac{\rho }{k},\frac{\nu }{k}),(a+b,\frac{\lambda }{k}) \end{array}\displaystyle \middle | k^{1-\frac{\nu }{k}}w \right ]. $$

Proof

$$\begin{aligned} \bigl(I_{0}^{1}t^{a-1}(1-t)^{b-1}E_{k,\nu ,\rho }^{\delta } \bigl(wt^{\frac{ \lambda }{k}} \bigr) \bigr)\,dt =&\sum_{n=0}^{\infty } \frac{(\delta )_{n,k}}{ \varGamma _{k}(\nu n+\rho )n!} (w)^{n} \int _{0}^{1}t^{a+ \frac{\lambda n}{k}-1}(1-t)^{b-1} \,dt \\ =&\frac{\varGamma (b)k^{1-\frac{\rho }{k}}}{\varGamma (\delta )}\sum_{n=0}^{\infty } \frac{\varGamma (\frac{\delta }{k}+n)\varGamma (a+\frac{ \lambda n}{k})}{\varGamma (a+b+\frac{\lambda n}{k})\varGamma ( \frac{\nu n}{k}+\frac{\rho }{k})n!} \bigl(k^{1-\frac{\nu }{k}}w \bigr)^{n} \\ =&\frac{\varGamma (b)k^{1-\frac{\rho }{k}}}{\varGamma (\delta )} _{2}\varPsi _{2}\left [ \textstyle\begin{array}{c} (\frac{\delta }{k},1),(a,\frac{\lambda }{k}) \\ (\frac{\rho }{k},\frac{\nu }{k}),(a+b,\frac{\lambda }{k}) \end{array}\displaystyle \middle | k^{1-\frac{\nu }{k}}w \right ]. \end{aligned}$$

 □

Theorem 9

Let \(a, c, \rho , \nu , \lambda \in {\mathbb{C}}\), \(w\in {\mathbb{R}}\), and \(k\in {\mathbb{R}^{+}}\). Then the Eulerk-transformation for the generalized Mittag Lefflerk-function is

$$ \biggl(\frac{1}{k}I_{0}^{1}t^{\frac{a}{k}-1}(1-t)^{\frac{b}{k}-1}E_{k, \nu ,\rho }^{\delta } \bigl(wt^{\frac{\lambda }{k}} \bigr) \biggr)\,dt=\frac{\varGamma _{k}(b)}{ \varGamma _{k}(\delta )} _{2} \varPsi _{2}^{k}\left [ \textstyle\begin{array}{c} (\delta ,k),(a,\lambda ) \\ (a+b,\lambda ),(\rho ,\nu ) \end{array}\displaystyle \middle | w \right ]. $$

Proof

$$\begin{aligned} \bigl(I_{0,k}^{1}t^{\frac{a}{k}-1}(1-t)^{\frac{b}{k}-1}E_{k,\nu ,\rho } ^{\delta } \bigl(wt^{\frac{\lambda }{k}} \bigr) \bigr)\,dt =&\sum _{n=0}^{\infty } \frac{( \delta )_{n,k}}{\varGamma _{k}(\nu n+\rho )n!} \frac{1}{k} \int _{0}^{1}t ^{\frac{a}{k}-1}(1-t)^{\frac{b}{k}-1} \bigl(wt^{\frac{\lambda }{k}} \bigr)^{n}\,dt. \\ =&\sum_{n=0}^{\infty }\frac{(\delta )_{n,k}w^{n}}{\varGamma ( \nu n+\rho )n!} \frac{1}{k} \int _{0}^{1}(t)^{\frac{a+\lambda n}{k}-1}(1-t)^{ \frac{b}{k}-1} \,dt. \\ =&\frac{\varGamma _{k}(b)}{\varGamma _{k}(\delta )} \sum_{n=0}^{ \infty } \frac{\varGamma _{k}(\delta +nk)\varGamma _{k}(a+\lambda n)}{\varGamma _{k}(a+b+\lambda n)\varGamma _{k}(\nu n+\rho )n!}(w)^{n}. \\ =&\frac{\varGamma _{k}(b)}{\varGamma _{k}(\delta )} _{2}\varPsi _{2}^{k} \left [ \textstyle\begin{array}{c} (a,\lambda ),(\delta ,k) \\ (a+b,\lambda ),(\rho ,\nu ) \end{array}\displaystyle \middle | w \right ]. \end{aligned}$$

 □

Conclusion

In this paper, we have discussed two integral transforms involving the Gauss hypergeometric functions as their kernels. We have proved some composition formulae for these generalized fractional integrals with the Mittag-Leffler k-function. The results have been established in terms of the generalized Wright hypergeometric function. We have also developed the Euler integral k-transformation for the Mittag-Leffler k-function. Furthermore, if we take \(k=1\), then we find out the classical results.

References

  1. 1.

    Khan, M.A., Ahmed, S.: On some properties of the generalized Mittag-Leffler function. SpringerPlus 2(1), 337 (2013)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Salim, T.O.: Some properties relating to the generalized Mittag-Leffler function. Adv. Appl. Math. Anal. 4(1), 21–30 (2009)

    Google Scholar 

  3. 3.

    Salim, T.O., Faraj, A.W.: A generalization of Mittag-Leffler function and integral operator associated with fractional calculus. J. Fract. Calc. Appl. 3(5), 1–13 (2012)

    Google Scholar 

  4. 4.

    Shukla, A.K., Prajapati, J.C.: On a generalization of Mittag-Leffler function and its properties. J. Math. Anal. Appl. 336(2), 797–811 (2007)

    MathSciNet  MATH  Article  Google Scholar 

  5. 5.

    Srivastava, H.M., Tomovski, Z.: Fractional calculus with an integral operator containing a generalized Mittag-Leffler function in the kernel. Appl. Math. Comput. 211(1), 198–210 (2009)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Gehlot, K.S.: The generalized k-Mittag-Leffler function. Int. J. Contemp. Math. Sci. 7(45), 2213–2219 (2012)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Chand, M., Prajapati, J.C., Bonyah, E., Bansal, J.K.: Fractional calculus and applications of family of extended generalized Gauss hypergeometric functions. Discrete Contin. Dyn. Syst., Ser. S, 3053–3059 (2019)

  8. 8.

    Agarwal, P., Qi, F., Chand, M., Singh, G.: Some fractional differential equations involving generalized hypergeometric functions. J. Appl. Anal. 25(1), 37–44 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  9. 9.

    Chand, M., Agarwal, P., Hammouch, Z.: Certain sequences involving product of k-Bessel function. Int. J. Appl. Comput. Math. 4(4), 101 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  10. 10.

    Agarwal, P., Chand, M., Baleanu, D., O’Regan, D., Jain, S.: On the solutions of certain fractional kinetic equations involving k-Mittag-Leffler function. Adv. Differ. Equ. 2018(1), 249 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  11. 11.

    Chand, M., Hachimi, H., Rani, R.: New extension of beta function and its applications. Int. J. Math. Math. Sci. 2018, Article ID 6451592 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Agarwal, P., Chand, M., Choi, J., Singh, G.: Certain fractional integrals and image formulas of generalized k-Bessel function. Commun. Korean Math. Soc. 33(2), 423–436 (2018)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Chand, M., Rani, R.: Certain generating functions involving generalized Mittag-Leffler function. Int. J. Math. Anal. 12(6), 269–276 (2018)

    Article  Google Scholar 

  14. 14.

    Korpinar, Z., Inc, M., Baleanu, D., Bayram, M.: Theory and application for the time fractional Gardner equation with Mittag-Leffler kernel. J. Taibah Univ. Sci. 13(1), 813–819 (2019)

    Article  Google Scholar 

  15. 15.

    Tassaddiq, A., Khan, I., Nisar, K.S.: Heat transfer analysis in sodium alginate based nanofluid using MoS2 nanoparticles: Atangana–Baleanu fractional model. Chaos Solitons Fractals 130, 109445 (2020)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Khan, O., Khan, N., Baleanu, D., Nisar, K.S.: Computable solution of fractional kinetic equations using Mathieu-type series. Adv. Differ. Equ. 2019, 234 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  17. 17.

    Rahman, G., Abdeljawad, T., Khan, A., Nisar, K.S.: Some fractional proportional integral inequalities. J. Inequal. Appl. 2019(1), 244 (2019)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Shaikh, A.S., Nisar, K.S.: Transmission dynamics of fractional order typhoid fever model using Caputo-Fabrizio operator. Chaos Solitons Fractals 128, 355–365 (2019)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Huang, C.J., Rahman, G., Ghaffar, A., Qi, F.: Some inequalities via fractional conformable integral operators. J. Inequal. Appl. 2019, 217 (2019)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Shaikh, A., Tassaddiq, A., Nisar, K.S., Baleanu, D.: Analysis of differential equations involving Caputo–Fabrizio fractional operator and its applications to reaction diffusion equations. Adv. Differ. Equ. 2019, 178 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  21. 21.

    Bohner, M., Rahman, G., Mubeen, S., Nisar, K.: A further extension of the extended Riemann–Liouville fractional derivative operator. Turk. J. Math. 42(5), 2631–2642 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  22. 22.

    Nisar, K.S., Suthar, D.L., Bohra, M., Purohit, S.D.: Generalized fractional integral operators pertaining to the by-product of Srivastava’s polynomials and generalized Mathieu series. Mathematics 7(2), 206 (2019)

    Article  Google Scholar 

  23. 23.

    Araci, S., Rahman, G., Ghaffar, A., Nisar, K.S.: Fractional calculus of extended Mittag-Leffler function and its applications to statistical distribution. Mathematics 7(3), 248 (2019)

    Article  Google Scholar 

  24. 24.

    Rahman, G., Mubeen, S., Choi, J.: Certain extended special functions and fractional integral and derivative operators via an extended beta function. Nonlinear Funct. Anal. Appl. 24(1), 1–13 (2019)

    MATH  Google Scholar 

  25. 25.

    Nisar, K.S., Mondal, S.R.: Pathway fractional integral operators involving k-Struve function. Afr. Math. 30, 1267–1274 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  26. 26.

    Lavault, C.: Fractional calculus and generalized Mittag-Leffler type functions (2017). arXiv:1703.01912v2 [math.CA]

  27. 27.

    Dumitru, B., Kai, D., Enrico, S.: Fractional Calculus: Models and Numerical Methods, vol. 3. World Scientific, Singapore (2012)

    Google Scholar 

  28. 28.

    Nisar, K.S., Purohit, S.D., Mondal, S.R.: Generalized fractional kinetic equations involving generalized Struve function of the first kind. J. King Saud Univ., Sci. 28(2), 167–171 (2016)

    Article  Google Scholar 

  29. 29.

    Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, vol. 198. Elsevier, Amsterdam (1998)

    Google Scholar 

  30. 30.

    Purohit, S.D.: Solutions of fractional partial differential equations of quantum mechanics. Adv. Appl. Math. Mech. 5(5), 639–651 (2013)

    MathSciNet  MATH  Article  Google Scholar 

  31. 31.

    Purohit, S.D., Kalla, S.L.: On fractional partial differential equations related to quantum mechanics. J. Phys. A, Math. Theor. 44(4), 045202 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  32. 32.

    Uchaikin, V.V.: Fractional Derivatives for Physicists and Engineers, vol. 2. Springer, Berlin (2013)

    Google Scholar 

  33. 33.

    Diaz, R., Pariguan, E.: On hypergeometric functions and Pochhammer k-symbol. Divulg. Mat. 15, 179–192 (2007)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Petojevic, A.: A note about the Pochhammer symbols. Math. Morav. 12, 37–42 (2008)

    MathSciNet  MATH  Article  Google Scholar 

  35. 35.

    Kilbas, A.A., Sebastian, N.: Generalized fractional integration of Bessel function of the first kind. Integral Transforms Spec. Funct. 19, 869–883 (2008)

    MathSciNet  MATH  Article  Google Scholar 

  36. 36.

    Saigo, M.: A remark on integral operators involving the Gauss hypergeometric functions. Kyushu Univ. 11, 135–143 (1978)

    MathSciNet  MATH  Google Scholar 

  37. 37.

    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives (1993). Translated from the 1987 Russian original

    Google Scholar 

  38. 38.

    Srivastava, H.M., Choi, J.: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam (2012)

    Google Scholar 

  39. 39.

    Rainville, E.D.: Special Functions, vol. 21. Macmillan Co., New York (1960)

    Google Scholar 

  40. 40.

    Mittag-Leffler, G.M.: Sur la nouvelle fonction \(E_{\alpha }(x)\). C. R. Acad. Sci. 137, 554–558 (1903)

    MATH  Google Scholar 

  41. 41.

    Saxena, R.K., Mathai, A.M., Haubold, H.J.: On fractional kinetic equations. Astrophys. Space Sci. 282(1), 281–287 (2002)

    Article  Google Scholar 

  42. 42.

    Wiman, A.: Über den Fundamentalsatz in der Teorie der Funktionen \(E_{a}(x)\). Acta Math. 29(1), 191–201 (1905)

    MathSciNet  MATH  Article  Google Scholar 

  43. 43.

    Prabhakar, T.R.: A singular integral equation with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 19, 7–15 (1971)

    MathSciNet  MATH  Google Scholar 

  44. 44.

    Dorrego, G.A., Cerutti, R.A.: The k-Mittag-Leffler function. Int. J. Contemp. Math. Sci. 7(15), 705–716 (2012)

    MathSciNet  MATH  Google Scholar 

  45. 45.

    Gehlot, K.S., Prajapati, J.C.: Fractional calculus of generalized k-Wright function. J. Fract. Calc. Appl. 4(2), 283–289 (2013)

    Google Scholar 

  46. 46.

    Rainville, E.D.: The Laplace Transform: An Introduction. Macmillan Co., New York (1963)

    Google Scholar 

  47. 47.

    Ahmed, S.: On the generalized fractional integrals of the generalized Mittag-Leffler function. SpringerPlus 3(1), 198 (2014)

    Article  Google Scholar 

  48. 48.

    Gupta, V., Bhatt, M.: Some results associated with k-hypergeometric functions. Int. J. Appl. Inf. Syst. 5(2), 106–109 (2015)

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referee for his/her comments, which helped us improve this paper. The research work of Shahid Mubeen is supported by the Higher Education Commission of Pakistan under NRPU Project 2017.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

Both authors SM and RSA contributed equally to write the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shahid Mubeen.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Mubeen, S., Safdar Ali, R. Fractional operators with generalized Mittag-Leffler k-function. Adv Differ Equ 2019, 520 (2019). https://doi.org/10.1186/s13662-019-2458-9

Download citation

Keywords

  • Fractional integral operators
  • Generalized Mittag-Leffler k-function
  • Generalized Wright function