Theory and Modern Applications

# Some fractional calculus findings associated with the incomplete I-functions

## Abstract

In this article, several interesting properties of the incomplete I-functions associated with the Marichev–Saigo–Maeda (MSM) fractional operators are studied and investigated. It is presented that the order of the incomplete I-functions increases about the utilization of the above-mentioned operators toward the power multiple of the incomplete I-functions. Further, the Caputo-type MSM fractional order differentiation for the incomplete I-functions is studied and investigated. Saigo, Riemann–Liouville, and Erdélyi–Kober fractional operators are also discussed as specific cases.

## 1 Introduction and preliminaries

Recently, Jangid et al. [11] defined a new family of incomplete I-functions $${}^{\gamma}I^{m, n}_{p, q}(z)$$ and $${}^{\varGamma }I^{m, n}_{p, q}(z)$$. Incomplete I-functions are the natural generalization of the I-function defined by Rathie [27]. They are an expansion of a familiar Fox’s H-function [6] and many other special functions. Fractional calculus for the variety of special functions is being widely used in mathematical modeling, statistical distribution, wireless communication, and engineering sciences (see [1, 35, 710, 12, 1416, 18, 2023, 28, 3134]). The incomplete I-functions in the form of Mellin–Barnes type contour integrals are defined as

\begin{aligned} {}^{\gamma}I^{m, n}_{p, q}(z)&={}^{\gamma}I^{m, n}_{p, q} \left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x),(a_{2},\sigma_{2};A_{2}),\ldots ,(a_{p},\sigma_{p};A_{p}) \\ (b_{1},\rho_{1};B_{1}),\ldots,(b_{q},\rho_{q};B_{q}) \end{array}\displaystyle \right ] \\ &={}^{\gamma}I^{m, n}_{p, q}\left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \\&=\frac{1}{2\pi i} \int_{\pounds} \phi(s,x) z^{s}\,ds \end{aligned}
(1)

and

\begin{aligned} \begin{aligned}[b] {}^{\varGamma}I^{m, n}_{p, q}(z)&={}^{\varGamma}I^{m, n}_{p, q} \left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x),(a_{2},\sigma_{2};A_{2}),\ldots ,(a_{p},\sigma_{p};A_{p}) \\ (b_{1},\rho_{1};B_{1}),\ldots,(b_{q},\rho_{q};B_{q}) \end{array}\displaystyle \right ] \\ &={}^{\varGamma}I^{m, n}_{p, q}\left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ]\\& =\frac{1}{2\pi i} \int_{\pounds} \varPhi(s,x) z^{s}\,ds\end{aligned} \end{aligned}
(2)

for all $$z\neq0$$, where

$$\phi(s,x)=\frac{\{\gamma(1-a_{1}+\sigma_{1}s,x)\}^{A_{1}}\prod_{j=1}^{m}\{\varGamma(b_{j}-\rho_{j}s)\}^{B_{j}}\prod_{j=2}^{n}\{\varGamma (1-a_{j}+\sigma_{j}s)\}^{A_{j}}}{ \prod_{j=n+1}^{p}\{\varGamma(a_{j}-\sigma_{j}s)\}^{A_{j}}\prod_{j=m+1}^{q}\{\varGamma(1-b_{j}+\rho_{j}s)\}^{B_{j}}}$$
(3)

and

$$\varPhi(s,x)=\frac{\{\varGamma(1-a_{1}+\sigma_{1}s,x)\}^{A_{1}}\prod_{j=1}^{m}\{\varGamma(b_{j}-\rho_{j}s)\}^{B_{j}}\prod_{j=2}^{n}\{\varGamma (1-a_{j}+\sigma_{j}s)\}^{A_{j}}}{ \prod_{j=n+1}^{p}\{\varGamma(a_{j}-\sigma_{j}s)\}^{A_{j}}\prod_{j=m+1}^{q}\{\varGamma(1-b_{j}+\rho_{j}s)\}^{B_{j}}},$$
(4)

where $$\gamma(\cdot,x)$$ and $$\varGamma(\cdot,x)$$ are the lower and upper incomplete gamma functions defined in (6) and (7). The incomplete I-functions $${}^{\gamma}I^{m, n}_{p, q}(z)$$ and $${}^{\varGamma}I^{m, n}_{p, q}(z)$$ exist for all $$x\geq0$$ under the same contour and conditions as stated in Rathie [27]. The incomplete I-functions fulfill the following relation (known as decomposition formula):

\begin{aligned} &{}^{\gamma}I^{m, n}_{p, q}(z) +{}^{\varGamma}I^{m, n}_{p, q}(z)=I^{m, n}_{p, q}(z) \end{aligned}
(5)

for the familiar I-function given by Rathie [27]. Additionally, if we set $$x=0$$ in (2), then we obtain the I-function [27].

In the sequence we shall use the following statements and descriptions.

The familiar lower and upper incomplete gamma functions $$\gamma(s,x)$$ and $$\varGamma(s,x)$$, respectively, are laid out as follows:

$$\gamma(s,x)= \int_{0}^{x} y^{s-1} e^{-y} \,dy \quad \bigl(\Re(s) > 0; x\geqq0 \bigr)$$
(6)

and

$$\varGamma(s,x)= \int_{x}^{\infty} y^{s-1} e^{-y}\, dy \quad \bigl(x \geqq 0; \Re(s) > 0\text{ when } x = 0 \bigr).$$
(7)

These incomplete gamma functions fulfill the following relation (known as decomposition formula):

$$\gamma(s,x) + \varGamma(s,x)=\varGamma(s) \quad \bigl(\Re(s) > 0 \bigr).$$
(8)

In this article, several fractional calculus results associated with the incomplete I-functions are obtained. For $$\sigma, \sigma^{\prime }, \rho, \rho^{\prime}, \eta\in\mathbb{C}$$ and $$x>0$$ with $$\Re(\eta )>0$$, the left- and right-hand sided MSM fractional integral operators (see [19]) are defined as

\begin{aligned} \bigl(\mathcal{I}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}f \bigr) (x)&=\frac{x^{-\sigma}}{\varGamma(\eta)} \int_{0}^{x}(x-y)^{\eta -1}y^{-\sigma^{\prime}} \\ &\quad \times F_{3} \biggl(\sigma, \sigma^{\prime}, \rho, \rho^{\prime}; \eta; 1-\frac {y}{x}, 1-\frac{x}{y} \biggr)f(y)\,dy \end{aligned}
(9)

and

\begin{aligned} \bigl(\mathcal{I}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}f \bigr) (x)& =\frac{x^{-\sigma^{\prime}}}{\varGamma(\eta)} \int _{x}^{\infty}(y-x)^{\eta-1}y^{-\sigma} \\ & \times F_{3} \biggl(\sigma, \sigma^{\prime}, \rho, \rho^{\prime}; \eta; 1-\frac {x}{y}, 1-\frac{y}{x} \biggr)f(y)\,dy, \end{aligned}
(10)

respectively. The left- and right-hand sided MSM fractional differential operators (see [30]) are defined as

\begin{aligned} \bigl(\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}f \bigr) (x)= \biggl(\frac{d}{dx} \biggr)^{\alpha} \bigl( \mathcal{I}_{0+}^{-\sigma ^{\prime}, -\sigma, -\rho^{\prime}+\alpha, -\rho, -\eta+\alpha}f \bigr) (x) \end{aligned}
(11)

and

\begin{aligned} \bigl(\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}f \bigr) (x)= \biggl(-\frac{d}{dx} \biggr)^{\alpha} \bigl( \mathcal{I}_{-}^{-\sigma ^{\prime}, -\sigma, -\rho^{\prime}, -\rho+\alpha, -\eta+\alpha}f \bigr) (x), \end{aligned}
(12)

where $$\alpha=[\Re(\eta)]+1$$ and $$[\Re(\eta)]$$ symbolizes the integer part in regard to $$\Re(\eta)$$. If $$\max\{|x|, |y|\}<1$$, then the third Appell function $$F_{3}$$ is defined as

\begin{aligned} F_{3}\bigl(\sigma, \sigma^{\prime}, \rho, \rho^{\prime}; \eta; x; y\bigr)= \sum_{i, j=0}^{\infty} \frac{(\sigma)_{i}(\sigma^{\prime})_{j}(\rho )_{i}(\rho^{\prime})_{j}}{(\eta)_{i+j}} \frac{x^{i} y^{j}}{i! j!}. \end{aligned}
(13)

Here, $$(\sigma)_{n}$$ is the well-known Pochhammer symbol. Recent papers [2, 17, 25] include a comprehensive demonstration related to the MSM operators together with their properties and applications. Saigo [29] introduced the fractional operators involving Gauss hypergeometric function $${}_{2}F_{1}( )$$. For $$\sigma, \rho, \eta\in \mathbb{C}$$, $$x>0$$ along with $$\Re(\sigma)>0$$, the left- and right-hand sided Saigo fractional integral operators are described as

\begin{aligned} & \bigl(\mathcal{I}_{0+}^{\sigma, \rho, \eta}f \bigr) (x)=\frac{x^{-\sigma -\rho}}{\varGamma(\sigma)} \int_{0}^{x}(x-y)^{\sigma-1} {}_{2}F_{1} \biggl(\sigma+\rho, -\eta; \sigma; 1- \frac{y}{x} \biggr)f(y)\,dy \end{aligned}
(14)

and

\begin{aligned} & \bigl(\mathcal{I}_{-}^{\sigma, \rho, \eta}f \bigr) (x)=\frac{1}{\varGamma (\sigma)} \int_{x}^{\infty}(y-x)^{\sigma-1}y^{-\sigma-\rho} {}_{2}F_{1} \biggl(\sigma+\rho, -\eta; \sigma; 1- \frac{x}{y} \biggr)f(y)\,dy, \end{aligned}
(15)

respectively. The left-hand and right-hand sided Saigo differential operators are defined as

\begin{aligned} & \bigl(\mathcal{D}_{0+}^{\sigma, \rho, \eta}f \bigr) (x)= \biggl(\frac{d}{dx} \biggr)^{[\Re(\sigma)]+1} \bigl(\mathcal {I}_{0+}^{-\sigma+[\Re(\sigma)]+1, -\rho-[\Re(\sigma)]-1, \sigma+\eta -[\Re(\sigma)]-1}f \bigr) (x) \end{aligned}
(16)

and

\begin{aligned} & \bigl(\mathcal{D}_{-}^{\sigma, \rho, \eta}f \bigr) (x)= \biggl(-\frac{d}{dx} \biggr)^{[\Re(\sigma)]+1} \bigl(\mathcal {I}_{-}^{-\sigma+[\Re(\sigma)]+1, -\rho-[\Re(\sigma)]-1, \sigma+\eta }f \bigr) (x). \end{aligned}
(17)

For $$\rho=-\sigma$$ and $$\rho=0$$ in (14)–(17), the Riemann–Liouville and Erdélyi–Kober fractional operators are obtained respectively (for more explanation see [15]). $${}_{2}F_{1}$$ is associated with $$F_{3}$$ as

\begin{aligned} F_{3}(\sigma, \gamma-\sigma, \rho, \gamma-\rho; \gamma; x; y)= {}_{2}F_{1}(\sigma, \rho; \gamma; x+y-xy). \end{aligned}

The MSM fractional operators (9)–(12) are connected to Saigo operators (14)–(17) by

\begin{aligned} & \bigl(\mathcal{I}_{0+}^{\sigma, 0, \rho, \rho^{\prime}, \eta}f \bigr) (x)= \bigl(\mathcal{I}_{0+}^{\eta, \sigma-\eta, -\rho}f \bigr) (x), \\ & \bigl(\mathcal{I}_{-}^{\sigma, 0, \rho, \rho^{\prime}, \eta}f \bigr) (x)= \bigl( \mathcal{I}_{-}^{\eta, \sigma-\eta, -\rho}f \bigr) (x), \end{aligned}
(18)

and

\begin{aligned} & \bigl(\mathcal{D}_{0+}^{0, \sigma^{\prime}, \rho, \rho^{\prime}, \eta }f \bigr) (x)= \bigl(\mathcal{D}_{0+}^{\eta, \sigma^{\prime}-\eta, \rho ^{\prime}-\eta}f \bigr) (x), \\ & \bigl(\mathcal{D}_{-}^{0, \sigma^{\prime}, \rho, \rho^{\prime}, \eta }f \bigr) (x)= \bigl( \mathcal{D}_{-}^{\eta, \sigma^{\prime}-\eta, \rho ^{\prime}-\eta}f \bigr) (x). \end{aligned}
(19)

The following are well-known results (see [30]) and will be needed in proving the subsequent theorems.

### Lemma 1.1

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda\in \mathbb{C}$$and$$\Re(\eta)>0$$.

1. (a)

If$$\Re(\lambda)> \max\{0, \Re(\sigma^{\prime}-\rho^{\prime }), \Re(\sigma+\sigma^{\prime}+\rho-\eta)\}$$, then

\begin{aligned} \bigl(\mathcal{I}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} t^{\lambda-1} \bigr) (x)& = x^{-\sigma-\sigma^{\prime}+\eta+\lambda-1} \\ &\quad \times\frac{\varGamma(\lambda)\varGamma(-\sigma^{\prime}+\rho^{\prime}+\lambda )\varGamma(-\sigma-\sigma^{\prime}-\rho+\eta+\lambda)}{ \varGamma(\rho^{\prime}+\lambda)\varGamma(-\sigma-\sigma^{\prime}+\eta +\lambda)\varGamma(-\sigma^{\prime}-\rho+\eta+\lambda)} . \end{aligned}
(20)
2. (b)

If$$\Re(\lambda)> \max\{\Re(\rho), \Re(-\sigma-\sigma ^{\prime}+\eta), \Re(-\sigma-\rho^{\prime}+\eta)\}$$, then

\begin{aligned} \bigl(\mathcal{I}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} t^{-\lambda} \bigr) (x)& = x^{-\sigma-\sigma^{\prime}+\eta-\lambda} \\ & \quad\times\frac{\varGamma(-\rho+\lambda)\varGamma(\sigma+\sigma^{\prime}-\eta+\lambda )\varGamma(\sigma+\rho^{\prime}-\eta+\lambda)}{ \varGamma(\lambda)\varGamma(\sigma-\rho+\lambda)\varGamma(\sigma+\sigma^{\prime }+\rho^{\prime}-\eta+\lambda)}. \end{aligned}
(21)

Motivated by the work of Srivastava et al. [32], we have derived the fractional calculus results associated with the incomplete I-functions. In Sect. 2, MSM fractional order integrals of left-hand and right-hand type are derived for the incomplete I-functions. In Sect. 3, MSM fractional order derivatives of left-hand and right-hand type are derived for the incomplete I-functions. In Sect. 4, Caputo-type MSM fractional order derivatives of left-hand and right-hand type are derived for the incomplete I-functions. In Sect. 5, we have derived the special cases of the incomplete I-functions.

## 2 Fractional integration of incomplete I-functions

Some fractional integrations pertaining to the incomplete I-functions are presented in this part. First, we shall investigate the MSM fractional order integrals of left-hand side type for the incomplete I-functions.

### Theorem 2.1

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be so that$$\Re(\eta), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(\sigma^{\prime}-\rho^{\prime}), \Re(\sigma+\sigma^{\prime}+\rho-\eta )\}$$. Thereupon, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{\lambda-1} {}^{\gamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma-\sigma^{\prime}+\eta+\lambda-1} \\ & \quad\quad\times{}^{\gamma}I^{m, n+3}_{p+3, q+3}\left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (1+\sigma^{\prime }-\rho^{\prime}-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\rho^{\prime}-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad\quad\times{}^{\gamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1+\sigma+\sigma^{\prime}+\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1+\sigma+\sigma^{\prime}-\eta-\lambda, \mu; 1), (1+\sigma+\sigma ^{\prime}+\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(22)

provided every member in (22) does exist.

### Proof

The LHS of (22) is given by

\begin{aligned} \biggl(\mathcal{I}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} \biggl(z^{\lambda-1} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s}z^{\mu s}\,ds \biggr) \biggr) (x), \end{aligned}
(23)

where $$\phi(s,y)$$ is given in (3). Interchanging the order of integration in the above equation yields

\begin{aligned} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s} \bigl(\mathcal {I}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}z^{\lambda +\mu s-1} \bigr) (x)\,ds, \end{aligned}
(24)

using the results (20) and (3), we get the RHS of (22). □

The properties given below are immediate consequences of definitions (1), (2), and (20), and consequently they are stated without proof here.

### Theorem 2.2

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\Re(\eta), \mu>0$$and$$\Re(\lambda)> \max\{ 0, \Re(\sigma^{\prime}-\rho^{\prime}), \Re(\sigma+\sigma^{\prime}+\rho -\eta)\}$$. Thereupon, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{\lambda-1}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma-\sigma^{\prime}+\eta+\lambda-1}\times \\ &\qquad \times{}^{\varGamma}I^{m, n+3}_{p+3, q+3}\left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (1+\sigma^{\prime }-\rho^{\prime}-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\rho^{\prime}-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad \times{}^{\varGamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1+\sigma+\sigma^{\prime}+\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1+\sigma+\sigma^{\prime}-\eta-\lambda, \mu; 1), (1+\sigma+\sigma ^{\prime}+\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(25)

provided every member in (25) does exist.

In accordance with (18) and rearranging the involved parameters, we have the subsequent results for Saigo operators.

### Corollary 1

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re (\sigma), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(\rho-\eta)\}$$. Therefore, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{0+}^{\sigma, \rho, \eta} z^{\lambda-1}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\rho+\lambda-1} {}^{\gamma}I^{m, n+2}_{p+2, q+2} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1+\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{-\rho+\lambda-1} {}^{\gamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1+\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (1-\sigma-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(26)

provided every member in (26) does exist.

### Corollary 2

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re (\sigma), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(\rho-\eta)\}$$. Thereupon, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{0+}^{\sigma, \rho, \eta} z^{\lambda-1}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\rho+\lambda-1} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1),\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1+\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{-\rho+\lambda-1} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1+\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (1-\sigma-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(27)

provided every member in (27) does exist.

A similar type of image formulas associated with the Riemann–Liouville fractional integral are as follows.

### Corollary 3

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\sigma-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{0+}^{\sigma, -\sigma, \eta} z^{\lambda-1}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\lambda-1} {}^{\gamma}I^{m, n+1}_{p+1, q+1} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\sigma-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(28)

provided every member in (28) does exist.

### Corollary 4

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\sigma-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} \begin{aligned}[b]& \left (\mathcal{I}_{0+}^{\sigma, -\sigma, \eta} z^{\lambda-1}{}^{\varGamma }I^{m,n}_{p,q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2,\,p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\lambda-1} {}^{\varGamma}I^{m, n+1}_{p+1, q+1} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\sigma-\lambda, \mu; 1) \end{array}\displaystyle \right ],\end{aligned} \end{aligned}
(29)

provided every member in (29) does exist.

The corresponding corollary (1) introduces the Erdélyi–Kober fractional integral as follows.

### Corollary 5

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{\eta, \sigma}^{+} z^{\lambda-1}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\lambda-1} {}^{\gamma}I^{m, n+1}_{p+1, q+1} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} , (1-\sigma-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(30)

provided every member in (30) does exist.

### Corollary 6

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{\eta, \sigma}^{+} z^{\lambda-1}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\lambda-1} {}^{\varGamma}I^{m, n+1}_{p+1, q+1} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} , (1-\sigma-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(31)

provided every member in (31) does exist.

The coming results lead to the right-hand sided MSM fractional order integrals of the incomplete I-functions.

### Theorem 2.3

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\Re(\eta), \mu>0$$and$$\Re(\lambda)> \max\{ \Re(\rho), \Re(-\sigma-\sigma^{\prime}+\eta), \Re(-\sigma-\rho^{\prime }+\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} \begin{aligned}[b]& \left (\mathcal{I}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{-\lambda}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma-\sigma^{\prime}+\eta-\lambda} \\ & \qquad\times{}^{\gamma}I^{m, n+3}_{p+3, q+3}\left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1+\rho-\lambda, \mu; 1), (1-\sigma-\sigma ^{\prime}+\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times{}^{\gamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1-\sigma-\rho^{\prime}+\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1-\sigma+\rho-\lambda, \mu; 1), (1-\sigma-\sigma^{\prime}-\rho^{\prime }+\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ],\end{aligned} \end{aligned}
(32)

provided every member in (32) does exist.

### Proof

The LHS of (32) is given by

\begin{aligned} \biggl(\mathcal{I}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} \biggl(z^{-\lambda} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s}z^{-\mu s}\,ds \biggr) \biggr) (x), \end{aligned}
(33)

where $$\phi(s,y)$$ is given in (3). Interchanging the order of integration in the above equation yields

\begin{aligned} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s} \bigl(\mathcal {I}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}z^{-(\lambda +\mu s)} \bigr) (x)\,ds, \end{aligned}
(34)

using the results (21) and (3), we get the RHS of (32). □

### Theorem 2.4

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\Re(\eta), \mu>0$$and$$\Re(\lambda)> \max\{ \Re(\rho), \Re(-\sigma-\sigma^{\prime}+\eta), \Re(-\sigma-\rho^{\prime }+\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{-\lambda}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma-\sigma^{\prime}+\eta-\lambda} \\ &\qquad\times{}^{\varGamma}I^{m, n+3}_{p+3, q+3}\left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1+\rho-\lambda, \mu; 1), (1-\sigma-\sigma ^{\prime}+\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times{}^{\varGamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1-\sigma-\rho^{\prime}+\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1-\sigma+\rho-\lambda, \mu; 1), (1-\sigma-\sigma^{\prime}-\rho^{\prime }+\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(35)

provided every member in (35) does exist.

The Saigo, Riemann–Liouville, and Erdélyi–Kober fractional order integrals of the incomplete I-functions are given below.

### Corollary 7

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re (\sigma), \mu>0$$and$$\Re(\lambda)> \max\{\Re(-\rho), \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{-}^{\sigma, \rho, \eta} z^{-\lambda}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\rho-\lambda} {}^{\gamma}I^{m, n+2}_{p+2, q+2} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ &\phantom{\quad=x^{-\rho-\lambda} {}^{\gamma}I^{m, n+2}_{p+2, q+2} [} \left . \textstyle\begin{array}{c} (1-\rho-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1-\sigma-\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(36)

provided every member in (36) does exist.

### Corollary 8

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re (\sigma), \mu>0$$and$$\Re(\lambda)> \max\{\Re(-\rho), \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{-}^{\sigma, \rho, \eta} z^{-\lambda}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\rho-\lambda} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{-\rho-\lambda} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1-\rho-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1-\sigma-\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(37)

provided every member in (37) does exist.

### Corollary 9

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{\Re(\sigma), \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{-}^{\sigma, -\sigma, \eta} z^{-\lambda}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma-\lambda} {}^{\gamma}I^{m, n+1}_{p+1, q+1} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1+\sigma-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(38)

provided every member in (38) does exist.

### Corollary 10

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{\Re(\sigma), \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{I}_{-}^{\sigma, -\sigma, \eta} z^{-\lambda}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma-\lambda} {}^{\varGamma}I^{m, n+1}_{p+1, q+1} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1+\sigma-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(39)

provided every member in (39) does exist.

### Corollary 11

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\eta)\}$$. Then the right-hand Erdélyi–Kober integration$$\mathcal{K}_{\eta, \sigma }^{-}$$ ($$=\mathcal{I}_{-}^{\sigma, 0, \eta}$$) for$$x>0$$,

\begin{aligned} & \left (\mathcal{K}_{\eta, \sigma}^{-} z^{-\lambda}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\lambda} {}^{\gamma}I^{m, n+1}_{p+1, q+1}\left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\eta-\lambda,\mu;1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\sigma-\eta-\lambda,\mu;1) \end{array}\displaystyle \right ], \end{aligned}
(40)

provided every member in (40) does exist.

### Corollary 12

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\Re(\sigma ), \mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\eta)\}$$. Then the right-hand Erdélyi–Kober integration$$\mathcal{K}_{\eta, \sigma }^{-}$$ ($$=\mathcal{I}_{-}^{\sigma, 0, \eta}$$) for$$x>0$$is as follows:

\begin{aligned} & \left (\mathcal{K}_{\eta, \sigma}^{-} z^{-\lambda}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\lambda} {}^{\varGamma}I^{m, n+1}_{p+1, q+1}\left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\eta-\lambda,\mu;1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\sigma-\eta-\lambda,\mu;1) \end{array}\displaystyle \right ], \end{aligned}
(41)

provided every member in (41) does exist.

## 3 Fractional differentiation of incomplete I-functions

Right now, we study the MSM fractional order derivatives pertaining to the incomplete I-functions. The following are well-known results and will be used in subsequent theorems (see [30]).

### Lemma 3.1

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda\in \mathbb{C}$$.

1. (a)

If$$\Re(\lambda)> \max\{0, \Re(-\sigma+\rho), \Re(-\sigma -\sigma^{\prime}-\rho^{\prime}+\eta)\}$$, then

\begin{aligned} \bigl(\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} t^{\lambda-1} \bigr) (x) &= x^{\sigma+\sigma^{\prime}-\eta+\lambda-1} \\ &\quad \times\frac{\varGamma(\lambda)\varGamma(\sigma-\rho+\lambda)\varGamma(\sigma+\sigma ^{\prime}+\rho^{\prime}-\eta+\lambda)}{ \varGamma(-\rho+\lambda)\varGamma(\sigma+\sigma^{\prime}-\eta+\lambda)\varGamma (\sigma+\rho^{\prime}-\eta+\lambda)}. \end{aligned}
(42)
2. (b)

If$$\Re(\lambda)> \max\{\Re(-\rho^{\prime}), \Re(\sigma ^{\prime}+\rho-\eta), \Re(\sigma+\sigma^{\prime}-\eta)+[\Re(\eta)]+1\}$$, then

\begin{aligned} \bigl(\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} t^{-\lambda} \bigr) (x) & = x^{\sigma+\sigma^{\prime}-\eta-\lambda} \\ &\quad \times\frac{\varGamma(\rho^{\prime}+\lambda)\varGamma(-\sigma-\sigma^{\prime}+\eta +\lambda)\varGamma(-\sigma^{\prime}-\rho+\eta+\lambda)}{ \varGamma(\lambda)\varGamma(-\sigma^{\prime}+\rho^{\prime}+\lambda)\varGamma (-\sigma-\sigma^{\prime}-\rho+\eta+\lambda)}. \end{aligned}
(43)

Now, we represent the left-hand sided MSM fractional derivatives of the incomplete I-functions.

### Theorem 3.2

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{0, \Re (-\sigma+\rho), \Re(-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{\lambda-1}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta+\lambda-1} \\ &\qquad \times{}^{\gamma}I^{m, n+3}_{p+3, q+3}\left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (1-\sigma+\rho-\lambda , \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1+\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad \times{}^{\gamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1-\sigma-\sigma^{\prime}+\eta-\lambda, \mu; 1), (1-\sigma-\rho^{\prime }+\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(44)

provided every member in (44) does exist.

### Proof

The LHS of (44) is given by

\begin{aligned} \biggl(\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} \biggl(z^{\lambda-1} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s}z^{\mu s}\,ds \biggr) \biggr) (x), \end{aligned}
(45)

where $$\phi(s,y)$$ is given in (3). Interchanging the order of integration in the above equation yields

\begin{aligned} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s} \bigl(\mathcal {D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}z^{\lambda +\mu s-1} \bigr) (x)\,ds, \end{aligned}
(46)

using the results (42) and (3), we get the RHS of (44). □

The properties given below are immediate consequences of definitions (1), (2), and (42), and consequently they are disposed without demonstration as follows.

### Theorem 3.3

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{0, \Re (-\sigma+\rho), \Re(-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{\lambda-1}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta+\lambda-1} \\ &\qquad\times {}^{\varGamma}I^{m, n+3}_{p+3, q+3}\left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (1-\sigma+\rho-\lambda , \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1+\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times {}^{\varGamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1-\sigma-\sigma^{\prime}+\eta-\lambda, \mu; 1), (1-\sigma-\rho^{\prime }+\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(47)

provided every member in (47) does exist.

The coming image formulas for incomplete I-functions involving the Saigo, Riemann–Liouville, and Erdélyi–Kober fractional derivatives are as follows.

### Corollary 13

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu >0$$and$$\Re(\lambda)> \max\{0, \Re(-\sigma-\rho-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{0+}^{\sigma, \rho, \eta} z^{\lambda-1}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho+\lambda-1} {}^{\gamma}I^{m, n+2}_{p+2, q+2} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{\rho+\lambda-1} {}^{\gamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1-\sigma-\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (1-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(48)

provided every member in (48) does exist.

### Corollary 14

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu >0$$and$$\Re(\lambda)> \max\{0, \Re(-\sigma-\rho-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{0+}^{\sigma, \rho, \eta} z^{\lambda-1}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho+\lambda-1} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1),\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \quad\phantom{=x^{\rho+\lambda-1} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1-\sigma-\rho-\eta-\lambda, \mu; 1),(a_{j},\sigma_{j};A_{j})_{2, p}\\ (1-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(49)

provided every member in (49) does exist.

### Corollary 15

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{0+}^{\sigma, -\sigma, \eta} z^{\lambda-1}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma+\lambda-1} {}^{\gamma}I^{m, n+1}_{p+1, q+1} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\rho-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(50)

provided every member in (50) does exist.

### Corollary 16

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{0+}^{\sigma, -\sigma, \eta} z^{\lambda-1}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma+\lambda-1} {}^{\varGamma}I^{m, n+1}_{p+1, q+1} \left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\rho-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(51)

provided every member in (51) does exist.

### Corollary 17

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\sigma-\eta)\}$$. Then the left-hand sided Erdélyi–Kober differential$$\mathcal{D}_{\eta, \sigma }^{+}(=\mathcal{D}_{0+}^{\sigma, 0, \eta})$$of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left (\mathcal{D}_{\eta, \sigma}^{+} z^{\lambda-1}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\lambda-1}\times \\ & \qquad\times{}^{\gamma}I^{m,n+1}_{p+1, q+1}\left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(52)

provided every member in (52) does exist.

### Corollary 18

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{0, \Re(-\sigma-\eta)\}$$. Then the left-hand sided Erdélyi–Kober differential$$\mathcal{D}_{\eta, \sigma }^{+}$$ ($$=\mathcal{D}_{0+}^{\sigma, 0, \eta}$$) of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left (\mathcal{D}_{\eta, \sigma}^{+} z^{\lambda-1}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\lambda-1} \\ &\qquad\times {}^{\varGamma}I^{m, n+1}_{p+1, q+1}\left [cx^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(53)

provided every member in (53) does exist.

The next result leads to the right-hand MSM fractional derivative related to the incomplete I-functions.

### Theorem 3.4

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{\Re(-\rho ^{\prime}), \Re(\sigma^{\prime}+\rho-\eta), \Re(\sigma+\sigma^{\prime }-\eta)+[\Re(\eta)]+1\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{-\lambda}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta-\lambda} \\ &\qquad\times {} ^{\gamma}I^{m, n+3}_{p+3, q+3}\left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\rho^{\prime}-\lambda, \mu; 1), (1+\sigma+\sigma^{\prime}-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times {} ^{\gamma}I^{m, n+3}_{p+3, q+3}[} \left . \textstyle\begin{array}{c} (1+\sigma^{\prime}+\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1+\sigma^{\prime}-\rho^{\prime}-\lambda, \mu; 1), (1+\sigma+\sigma ^{\prime}+\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(54)

provided every member in (54) does exist.

### Proof

The LHS of (54) is given by

\begin{aligned} \biggl(\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} \biggl(z^{-\lambda} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s}z^{-\mu s}\,ds \biggr) \biggr) (x), \end{aligned}
(55)

where $$\phi(s,y)$$ is given in (3). Interchanging the order of integration in the above equation yields

\begin{aligned} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) c^{s} \bigl(\mathcal {D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}z^{-(\lambda +\mu s)} \bigr) (x) \,ds, \end{aligned}
(56)

using the results (43) and (3), we get the RHS of (54). □

### Theorem 3.5

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, c \in \mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{\Re(-\rho ^{\prime}), \Re(\sigma^{\prime}+\rho-\eta), \Re(\sigma+\sigma^{\prime }-\eta)+[\Re(\eta)]+1\}$$. Then, for$$x>0$$,

\begin{aligned} \begin{aligned}[b]& \left (\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta} z^{-\lambda}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta-\lambda} \\ &\qquad\times {}^{\varGamma}I^{m, n+3}_{p+3, q+3}\left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\rho^{\prime}-\lambda, \mu; 1), (1+\sigma+\sigma^{\prime}-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right .\hspace{-12pt} \\ & \phantom{\qquad\times {}^{\varGamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1+\sigma^{\prime}+\rho-\eta-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1+\sigma^{\prime}-\rho^{\prime}-\lambda, \mu; 1), (1+\sigma+\sigma ^{\prime}+\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ],\end{aligned} \end{aligned}
(57)

provided every member in (57) does exist.

The fractional order derivatives of Saigo, Riemann–Liouville, and Erdélyi–Kober type involving the incomplete I-functions are given as follows.

### Corollary 19

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu >0$$and$$\Re(\lambda)> \max\{\Re(-\sigma-\eta), \Re(\rho)+[\Re(\sigma )]+1\}$$. Then the right-hand Saigo derivative of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left (\mathcal{D}_{-}^{\sigma, \rho, \eta} z^{-\lambda}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho-\lambda} {}^{\gamma}I^{m, n+2}_{p+2, q+2} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{\rho-\lambda} {}^{\gamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1+\rho-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1+\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(58)

provided every member in (58) does exist.

### Corollary 20

Let$$\sigma, \rho, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu >0$$and$$\Re(\lambda)> \max\{\Re(-\sigma-\eta), \Re(\rho)+[\Re(\sigma )]+1\}$$. Then the right-hand Saigo derivative of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left (\mathcal{D}_{-}^{\sigma, \rho, \eta} z^{-\lambda}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho-\lambda} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{\rho-\lambda} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1+\rho-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1+\rho-\eta-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(59)

provided every member in (59) does exist.

### Corollary 21

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{\Re(-\sigma-\eta), \Re(-\sigma)+[\Re(\sigma)]+1\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{-}^{\sigma, -\sigma, \eta} z^{-\lambda}{}^{\gamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma-\lambda} {}^{\gamma}I^{m, n+1}_{p+1, q+1} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1+\rho-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(60)

provided every member in (60) does exist.

### Corollary 22

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{\Re(-\sigma-\eta), \Re(-\sigma)+[\Re(\sigma)]+1\}$$. Then, for$$x>0$$,

\begin{aligned} & \left (\mathcal{D}_{-}^{\sigma, -\sigma, \eta} z^{-\lambda}{}^{\varGamma }I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\sigma-\lambda} {}^{\varGamma}I^{m, n+1}_{p+1, q+1} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1+\rho-\lambda, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(61)

provided every member in (61) does exist.

### Corollary 23

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{\Re(-\sigma-\eta), [\Re(\sigma)]+1\}$$. Then the right-hand Erdélyi–Kober fractional differentiation$$\mathcal {D}_{\eta, \sigma}^{-}$$ ($$=\mathcal{D}_{-}^{\sigma, 0, \eta}$$) for$$x>0$$is

\begin{aligned} & \left (\mathcal{D}_{\eta, \sigma}^{-} z^{-\lambda}{}^{\gamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\lambda} {}^{\gamma}I^{m, n+1}_{p+1, q+1} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda,\mu;1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\eta-\lambda,\mu;1) \end{array}\displaystyle \right ], \end{aligned}
(62)

provided every member in (62) does exist.

### Corollary 24

Let$$\sigma, \eta, \lambda, c \in\mathbb{C}$$be such that$$\mu>0$$and$$\Re(\lambda)> \max\{\Re(-\sigma-\eta), [\Re(\sigma)]+1\}$$. Then the right-hand Erdélyi–Kober fractional differentiation$$\mathcal {D}_{\eta, \sigma}^{-}$$ ($$=\mathcal{D}_{-}^{\sigma, 0, \eta}$$) for$$x>0$$is

\begin{aligned} & \left (\mathcal{D}_{\eta, \sigma}^{-} z^{-\lambda}{}^{\varGamma}I^{m, n}_{p, q}\left [cz^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\lambda} {}^{\varGamma}I^{m, n+1}_{p+1, q+1} \left [cx^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda,\mu;1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\eta-\lambda,\mu;1) \end{array}\displaystyle \right ], \end{aligned}
(63)

provided every member in (63) does exist.

## 4 The Caputo-type fractional differentiation of incomplete I-functions

For $$\sigma, \rho, \eta\in\mathbb{C}$$, $$x>0$$ along with $$\Re(\sigma )>0$$, we characterize the respective Caputo fractional differential operators of left-hand and right-hand type related to the Gauss hypergeometric function as follows (see [26]):

\begin{aligned} \bigl( {}^{c}\mathcal{D}_{0+}^{\sigma, \rho, \eta}f \bigr) (x)= \bigl(\mathcal{I}_{0+}^{-\sigma+[\Re(\sigma)]+1, -\rho-[\Re(\sigma)]-1, \sigma+\eta-[\Re(\sigma)]-1} f^{([\Re(\sigma)]+1)} \bigr) (x) \end{aligned}
(64)

and

\begin{aligned} \bigl({}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta}f \bigr) (x)=(-1)^{[\Re (\sigma)]+1} \bigl(\mathcal{I}_{-}^{-\sigma+[\Re(\sigma)]+1, -\rho-[\Re(\sigma)]-1, \sigma+\eta} f^{([\Re(\sigma)]+1)} \bigr) (x), \end{aligned}
(65)

where $$f^{(n)}$$ stands for the nth order derivative pertaining to f. The functional relationship within the MSM fractional order derivative of Caputo-type and MSM fractional derivative is similar to that between the Caputo fractional order derivative and fractional derivative of Riemann–Liouville type.

Considering $$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta\in \mathbb{C}$$, $$x>0$$ together with $$\Re(\eta)>0$$, the respective left-hand sided and right-hand sided Caputo-type MSM fractional differential operators, related to third Appell function, are defined as

\begin{aligned} \bigl({}^{c}\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta}f \bigr) (x)= \bigl(\mathcal{I}_{0+}^{-\sigma^{\prime}, -\sigma, -\rho^{\prime}+\alpha , -\rho, -\eta+\alpha} f^{(\alpha)} \bigr) (x) \end{aligned}
(66)

and

\begin{aligned} \bigl({}^{c}\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime }, \eta}f \bigr) (x)=(-1)^{\alpha} \bigl(\mathcal{I}_{-}^{-\sigma^{\prime}, -\sigma, -\rho^{\prime}, -\rho +\alpha, -\eta+\alpha} f^{(\alpha)} \bigr) (x), \end{aligned}
(67)

where $$\alpha=[\Re(\eta)]+1$$.

The fractional operators (66) and (67) are connected to (64) and (65) as follows:

\begin{aligned} & \bigl({}^{c}\mathcal{D}_{0+}^{0, \sigma^{\prime}, \rho, \rho^{\prime }, \eta}f \bigr) (x)= \bigl( {}^{c}\mathcal{D}_{0+}^{\eta, \sigma^{\prime}-\eta, \rho^{\prime }-\eta}f \bigr) (x) \end{aligned}
(68)

and

\begin{aligned} & \bigl({}^{c}\mathcal{D}_{-}^{0, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}f \bigr) (x)= \bigl({}^{c}\mathcal{D}_{-}^{\eta, \sigma^{\prime}-\eta, \rho^{\prime }-\eta}f \bigr) (x). \end{aligned}
(69)

Now, we derive the Caputo-type MSM fractional order derivatives referring to the incomplete I-functions. The following are well-known results and will be used in subsequent theorems (see [13]).

### Lemma 4.1

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda\in \mathbb{C}$$and$$\kappa=[\Re(\eta)]+1$$.

1. (a)

If$$\Re(\lambda)-\kappa> \max\{0, \Re(-\sigma+\rho), \Re (-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta)\}$$, then

\begin{aligned} \bigl( {}^{c}\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} t^{\lambda-1} \bigr) (x) & = x^{\sigma+\sigma^{\prime }-\eta+\lambda-1} \\ & \quad\times\frac{\varGamma(\lambda)\varGamma(\sigma-\rho+\lambda-\kappa)\varGamma(\sigma +\sigma^{\prime}+\rho^{\prime}-\eta+\lambda-\kappa)}{ \varGamma(-\rho+\lambda-\kappa)\varGamma(\sigma+\sigma^{\prime}-\eta+\lambda )\varGamma(\sigma+\rho^{\prime}-\eta+\lambda-\kappa)}. \end{aligned}
(70)
2. (b)

If$$\Re(\lambda)+\kappa> \max\{\Re(-\rho^{\prime}), \Re (\sigma^{\prime}+\rho-\eta), \Re(\sigma+\sigma^{\prime}-\eta)+[\Re(\eta )]+1\}$$, then

\begin{aligned} \bigl({}^{c}\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} t^{-\lambda} \bigr) (x)& = x^{\sigma+\sigma^{\prime}-\eta -\lambda} \\ &\quad\times \frac{\varGamma(\rho^{\prime}+\lambda+\kappa)\varGamma(-\sigma-\sigma ^{\prime}+\eta+\lambda)\varGamma(-\sigma^{\prime}-\rho+\eta+\lambda+\kappa)}{ \varGamma(\lambda)\varGamma(-\sigma^{\prime}+\rho^{\prime}+\lambda+\kappa )\varGamma(-\sigma-\sigma^{\prime}-\rho+\eta+\lambda+\kappa)}. \end{aligned}
(71)

First, we give the left-hand sided Caputo-type MSM fractional derivative of the incomplete I-functions.

### Theorem 4.2

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, a \in \mathbb{C}$$, $$\kappa=[\Re(\eta)]+1$$be such that$$\mu>0$$and$$\Re (\lambda)-\kappa> \max\{0, \Re(-\sigma+\rho), \Re(-\sigma-\sigma ^{\prime}-\rho^{\prime}+\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left ({}^{c}\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} z^{\lambda-1}{}^{\gamma}I^{m, n}_{p, q}\left [az^{\mu }\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta+\lambda-1} \\ &\qquad\times {}^{\gamma}I^{m, n+3}_{p+3, q+3}\left [ax^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (1-\sigma+\rho-\lambda +\kappa, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1+\rho-\lambda+\kappa, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times {}^{\gamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta-\lambda+\kappa, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1-\sigma-\sigma^{\prime}+\eta-\lambda, \mu; 1), (1-\sigma-\rho^{\prime }+\eta-\lambda+\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(72)

provided every member in (72) does exist.

### Proof

The LHS of (72) is given by

\begin{aligned} \biggl({}^{c}\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} \biggl(z^{\lambda-1} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) a^{s}z^{\mu s}\,ds \biggr) \biggr) (x), \end{aligned}
(73)

where $$\phi(s,y)$$ is given in (3). Interchanging the order of integration in the above equation yields

\begin{aligned} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) a^{s} \bigl({}^{c} \mathcal {D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}z^{\lambda +\mu s-1} \bigr) (x)\,ds, \end{aligned}
(74)

using the results (70) and (3), we get the RHS of (72). □

The properties given below are immediate consequences of definitions (1), (2), and (70), and consequently they are provided without detailed proof as follows.

### Theorem 4.3

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, a \in \mathbb{C}$$, $$\kappa=[\Re(\eta)]+1$$be such that$$\mu>0$$and$$\Re (\lambda)-\kappa> \max\{0, \Re(-\sigma+\rho), \Re(-\sigma-\sigma ^{\prime}-\rho^{\prime}+\eta)\}$$. Then, for$$x>0$$,

\begin{aligned} & \left ({}^{c}\mathcal{D}_{0+}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} z^{\lambda-1}{}^{\varGamma}I^{m, n}_{p, q}\left [az^{\mu }\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta+\lambda-1} \\ &\qquad\times {}^{\varGamma}I^{m, n+3}_{p+3, q+3}\left [ax^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), (1-\sigma+\rho-\lambda +\kappa, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1+\rho-\lambda+\kappa, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times {}^{\varGamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1-\sigma-\sigma^{\prime}-\rho^{\prime}+\eta-\lambda+\kappa, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1-\sigma-\sigma^{\prime}+\eta-\lambda, \mu; 1), (1-\sigma-\rho^{\prime }+\eta-\lambda+\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(75)

provided every member in (75) does exist.

### Corollary 25

Let$$\sigma, \rho, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re (\sigma)]+1$$be such that$$\mu>0$$and$$\Re(\lambda)-\kappa> \max\{0, \Re(-\sigma-\rho-\eta)\}$$. Then left-hand sided generalized Caputo fractional differentiation$${}^{c}\mathcal{D}_{0+}^{\sigma, \rho, \eta }$$of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ({}^{c}\mathcal{D}_{0+}^{\sigma, \rho, \eta} z^{\lambda -1}{}^{\gamma}I^{m, n}_{p, q}\left [az^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho+\lambda-1} {}^{\gamma}I^{m, n+2}_{p+2, q+2} \left [ax^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1),\\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{\rho+\lambda-1} {}^{\gamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1-\sigma-\rho-\eta-\lambda+\kappa, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (1-\eta-\lambda+\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(76)

provided every member in (76) does exist.

### Corollary 26

Let$$\sigma, \rho, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re (\sigma)]+1$$be such that$$\mu>0$$and$$\Re(\lambda)-\kappa> \max\{0, \Re(-\sigma-\rho-\eta)\}$$. Then left-hand sided generalized Caputo fractional differentiation$${} ^{c}\mathcal{D}_{0+}^{\sigma, \rho, \eta }$$of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ({}^{c}\mathcal{D}_{0+}^{\sigma, \rho, \eta} z^{\lambda -1}{}^{\varGamma}I^{m, n}_{p, q}\left [az^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho+\lambda-1} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} \left [ax^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q} ,(1-\rho-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{\rho+\lambda-1} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1-\sigma-\rho-\eta-\lambda+\kappa, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p}\\ (1-\eta-\lambda+\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(77)

provided every member in (77) does exist.

### Corollary 27

Let$$\sigma, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re(\sigma )]+1$$be such that$$\mu>0$$and$$\Re(\lambda)-\kappa> \max\{0, \Re (-\sigma-\eta)\}$$. Then left-hand sided Caputo-type Erdélyi–Kober fractional differentiation$${}^{c}\mathcal{D}_{\eta, \sigma }^{+}$$ ($$=\mathcal{D}_{0+}^{\sigma, 0, \eta}$$) of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ({}^{c}\mathcal{D}_{\eta, \sigma}^{+} z^{\lambda-1}{}^{\gamma }I^{m, n}_{p, q}\left [az^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\lambda-1} \\ &\qquad\times {}^{\gamma}I^{m, n+1}_{p+1, q+1}\left [ax^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda+\kappa, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} , (1-\eta-\lambda+\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(78)

provided every member in (78) does exist.

### Corollary 28

Let$$\sigma, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re(\sigma )]+1$$be such that$$\mu>0$$and$$\Re(\lambda)-\kappa> \max\{0, \Re (-\sigma-\eta)\}$$. Then left-hand sided Caputo-type Erdélyi–Kober fractional differentiation$${}^{c}\mathcal{D}_{\eta, \sigma }^{+}$$ ($$=\mathcal{D}_{0+}^{\sigma, 0, \eta}$$) of the incompleteI-function is given for$$x>0$$by

\begin{aligned} \begin{aligned}[b] & \left ({}^{c}\mathcal{D}_{\eta, \sigma}^{+} z^{\lambda-1}{}^{\varGamma }I^{m, n}_{p, q}\left [az^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\lambda-1} \\ &\qquad \times{}^{\varGamma}I^{m, n+1}_{p+1, q+1}\left [ax^{\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda+\kappa, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p}\\ (b_{j},\rho_{j};B_{j})_{1, q} , (1-\eta-\lambda+\kappa, \mu; 1) \end{array}\displaystyle \right ],\end{aligned} \end{aligned}
(79)

provided every member in (79) does exist.

Lastly, we represent the right-hand sided Caputo-type MSM fractional derivative of the incomplete I-functions.

### Theorem 4.4

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, a \in \mathbb{C}$$, $$\kappa=[\Re(\eta)]+1$$be such that$$\mu>0$$and$$\Re (\lambda)+\kappa> \max\{\Re(-\rho^{\prime}), \Re(\sigma^{\prime}+\rho -\eta), \Re(\sigma+\sigma^{\prime}-\eta)+\kappa\}$$. Then, for$$x>0$$,

\begin{aligned} & \left ({}^{c}\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} z^{-\lambda}{}^{\gamma}I^{m, n}_{p, q}\left [az^{-\mu }\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta-\lambda} \\ &\qquad\times{}^{\gamma}I^{m, n+3}_{p+3, q+3}\left [ax^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\rho^{\prime}-\lambda-\kappa, \mu; 1), (1+\sigma+\sigma^{\prime}-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times{}^{\gamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1+\sigma^{\prime}+\rho-\eta-\lambda-\kappa, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1+\sigma^{\prime}-\rho^{\prime}-\lambda-\kappa, \mu; 1), (1+\sigma +\sigma^{\prime}+\rho-\eta-\lambda-\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(80)

provided every member in (80) does exist.

### Proof

The LHS of (80) is given by

\begin{aligned} \biggl({}^{c}\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} \biggl(z^{-\lambda} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) a^{s}z^{-\mu s}\,ds \biggr) \biggr) (x), \end{aligned}
(81)

where $$\phi(s,y)$$ is given in (3). Interchanging the order of integration in the above equation yields

\begin{aligned} \frac{1}{2\pi i} \int_{\pounds} \phi(s,y) a^{s} \bigl({}^{c} \mathcal {D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta}z^{-(\lambda +\mu s)} \bigr) (x)\,ds, \end{aligned}
(82)

using the results (71) and (3), we get the RHS of (80). □

### Theorem 4.5

Let$$\sigma, \sigma^{\prime}, \rho, \rho^{\prime}, \eta, \lambda, a \in \mathbb{C}$$, $$\kappa=[\Re(\eta)]+1$$be such that$$\mu>0$$and$$\Re (\lambda)+\kappa> \max\{\Re(-\rho^{\prime}), \Re(\sigma^{\prime}+\rho -\eta), \Re(\sigma+\sigma^{\prime}-\eta)+\kappa\}$$. Then, for$$x>0$$,

\begin{aligned} & \left ({}^{c}\mathcal{D}_{-}^{\sigma, \sigma^{\prime}, \rho, \rho ^{\prime}, \eta} z^{-\lambda}{}^{\varGamma}I^{m, n}_{p, q}\left [az^{-\mu }\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\sigma+\sigma^{\prime}-\eta-\lambda} \\ & \qquad\times{}^{\varGamma}I^{m, n+3}_{p+3, q+3}\left [ax^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\rho^{\prime}-\lambda-\kappa, \mu; 1), (1+\sigma+\sigma^{\prime}-\eta-\lambda, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\qquad\times{}^{\varGamma}I^{m, n+3}_{p+3, q+3}[}\left . \textstyle\begin{array}{c} (1+\sigma^{\prime}+\rho-\eta-\lambda-\kappa, \mu; 1), (a_{j},\sigma _{j};A_{j})_{2, p} \\ (1+\sigma^{\prime}-\rho^{\prime}-\lambda-\kappa, \mu; 1), (1+\sigma +\sigma^{\prime}+\rho-\eta-\lambda-\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(83)

provided every member in (83) does exist.

### Corollary 29

Let$$\sigma, \rho, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re(\sigma )]+1$$be such that$$\mu>0$$and$$\Re(\lambda)+\kappa> \max\{\Re(-\sigma -\eta), \Re(\rho)+\kappa\}$$. Then the right-hand sided generalized Caputo fractional derivative$${}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta }$$of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ({}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta} z^{-\lambda }{}^{\gamma}I^{m, n}_{p, q}\left [az^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho-\lambda} {}^{\gamma}I^{m, n+2}_{p+2, q+2} \left [ax^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda-\kappa, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ &\phantom{\quad=x^{\rho-\lambda} {}^{\gamma}I^{m, n+2}_{p+2, q+2} [} \left . \textstyle\begin{array}{c} (1+\rho-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1+\rho-\eta-\lambda-\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(84)

provided every member in (84) does exist.

### Corollary 30

Let$$\sigma, \rho, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re(\sigma )]+1$$be such that$$\mu>0$$and$$\Re(\lambda)+\kappa> \max\{\Re(-\sigma -\eta), \Re(\rho)+\kappa\}$$. Then the right-hand sided generalized Caputo fractional derivative$${}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta }$$of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ({}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta} z^{-\lambda }{}^{\varGamma}I^{m, n}_{p, q}\left [az^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{\rho-\lambda} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} \left [ax^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda-\kappa, \mu; 1), \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\lambda, \mu; 1), \end{array}\displaystyle \right . \\ & \phantom{\quad=x^{\rho-\lambda} {}^{\varGamma}I^{m, n+2}_{p+2, q+2} [}\left . \textstyle\begin{array}{c} (1+\rho-\lambda, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (1+\rho-\eta-\lambda-\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(85)

provided every member in (85) does exist.

### Corollary 31

Let$$\sigma, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re(\sigma)]+1$$be such that$$\mu>0$$and$$\Re(\lambda)+\kappa> \max\{\Re(-\sigma-\eta ), \kappa\}$$. Then the right-hand sided Caputo-type Erdélyi–Kober fractional derivative$${}^{c}\mathcal{D}_{\eta, \sigma}^{-}$$ ($$= {}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta}$$) of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ({}^{c}\mathcal{D}_{\eta, \sigma}^{-} z^{-\lambda} {}^{\gamma }I^{m, n}_{p, q}\left [az^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\lambda} \\ &\qquad \times{}^{\gamma}I^{m, n+1}_{p+1, q+1}\left [ax^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda-\kappa, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\eta-\lambda-\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(86)

provided every member in (86) does exist.

### Corollary 32

Let$$\sigma, \eta, \lambda, a \in\mathbb{C}$$, $$\kappa=[\Re(\sigma)]+1$$be such that$$\mu>0$$and$$\Re(\lambda)+\kappa> \max\{\Re(-\sigma-\eta ), \kappa\}$$. Then the right-hand sided Caputo-type Erdélyi–Kober fractional derivative$${}^{c}\mathcal{D}_{\eta, \sigma }^{-}$$ ($$={}^{c}\mathcal{D}_{-}^{\sigma, \rho, \eta}$$) of the incompleteI-function is given for$$x>0$$by

\begin{aligned} & \left ( {}^{c}\mathcal{D}_{\eta, \sigma}^{-} z^{-\lambda}{}^{\varGamma }I^{m, n}_{p, q}\left [az^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q} \end{array}\displaystyle \right ] \right ) (x) \\ &\quad=x^{-\lambda} \\ &\qquad\times {}^{\varGamma}I^{m, n+1}_{p+1, q+1}\left [ax^{-\mu}\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:y), (1-\sigma-\eta-\lambda-\kappa, \mu; 1), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};B_{j})_{1, q}, (1-\eta-\lambda-\kappa, \mu; 1) \end{array}\displaystyle \right ], \end{aligned}
(87)

provided every member in (87) does exist.

## 5 Special cases and concluding remarks

By specializing the parameters in definition (2), we obtain the following functions as special cases of the incomplete I-function $${}^{\varGamma}I_{p, q}^{m, n}(z)$$:

1. (i)

Incomplete-function$${}^{\varGamma }\overline{I}_{p, q}^{m, n}(z)$$: if we set $$B_{j}\ (j=1,\ldots,m)=1$$ in (2), then we obtain

\begin{aligned} {}^{\varGamma}\overline{I}_{p, q}^{m, n}(z)&={}^{\varGamma} \overline{I}^{m, n}_{p, q}\left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x), (a_{j},\sigma_{j};A_{j})_{2, p} \\ (b_{j},\rho_{j};1)_{1, m}, (b_{j},\rho_{j};B_{j})_{m+1, q} \end{array}\displaystyle \right ] \\ & =\frac{1}{2\pi i} \int_{\pounds}\overline{\phi}(s,x)z^{s}\,ds, \end{aligned}
(88)

where

$$\overline{\phi}(s,x)=\frac{\{\gamma(1-a_{1}+\sigma_{1}s,x)\} ^{A_{1}}\prod_{j=1}^{m}\varGamma(b_{j}-\rho_{j}s)\prod_{j=2}^{n}\{\varGamma (1-a_{j}+\sigma_{j}s)\}^{A_{j}}}{ \prod_{j=n+1}^{p}\{\varGamma(a_{j}-\sigma_{j}s)\}^{A_{j}}\prod_{j=m+1}^{q}\{\varGamma(1-b_{j}+\rho_{j}s)\}^{B_{j}}}.$$
(89)
2. (ii)

Incomplete-function$$\overline{\varGamma }_{p, q}^{m, n}(z)$$: if we set $$B_{j}\ (j=1,\ldots,m)=1$$ and $$A_{j}\ (j=n+1,\ldots,p)=1$$ in (2), then we obtain (see [32])

\begin{aligned} \overline{\varGamma}_{p, q}^{m, n}(z)&={}^{\varGamma} \overline{I}^{m, n}_{p, q}\left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x),(a_{j},\sigma_{j};A_{j})_{2, n} , (a_{j},\sigma_{j};1)_{n+1, p}\\ (b_{j},\rho_{j};1)_{1, m}, (b_{j},\rho_{j};B_{j})_{m+1, q} \end{array}\displaystyle \right ] \\ & = \overline{\varGamma}^{m, n}_{p, q}\left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};A_{1}:x),(a_{j},\sigma_{j};A_{j})_{2, n} , (a_{j},\sigma_{j})_{n+1, p}\\ (b_{j},\rho_{j})_{1, m}, (b_{j},\rho_{j};B_{j})_{m+1, q} \end{array}\displaystyle \right ] \\ & =\frac{1}{2\pi i} \int_{\pounds}\overline{\psi}(s,x)z^{s} \,ds, \end{aligned}
(90)

where

$$\overline{\psi}(s,x)=\frac{\{\gamma(1-a_{1}+\sigma_{1}s,x)\} ^{A_{1}}\prod_{j=1}^{m}\varGamma(b_{j}-\rho_{j}s)\prod_{j=2}^{n}\{\varGamma (1-a_{j}+\sigma_{j}s)\}^{A_{j}}}{ \prod_{j=n+1}^{p}\varGamma(a_{j}-\sigma_{j}s)\prod_{j=m+1}^{q}\{\varGamma (1-b_{j}+\rho_{j}s)\}^{B_{j}}}.$$
(91)
3. (iii)

IncompleteH-function$$\varGamma_{p, q}^{m, n}(z)$$: if we set $$B_{j}\ (j=1,\ldots,q)=1$$ and $$A_{j}\ (j=1,\ldots ,p)=1$$ in (2), then we obtain (see [32])

\begin{aligned} \varGamma_{p, q}^{m, n}(z)&={}^{\varGamma}I^{m, n}_{p, q} \left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1};1:x),(a_{j},\sigma_{j};1)_{2, p}\\ (b_{j},\rho_{j};1)_{1, q} \end{array}\displaystyle \right ] \\ & = \varGamma^{m, n}_{p, q}\left [z\Bigm| \textstyle\begin{array}{c} (a_{1},\sigma_{1}:x),(a_{j},\sigma_{j})_{2, p} \\ (b_{j},\rho_{j})_{1, q} \end{array}\displaystyle \right ] \\ & =\frac{1}{2\pi i} \int_{\pounds}\psi(s,x)z^{s} \,ds, \end{aligned}
(92)

where

$$\psi(s,x)=\frac{\gamma(1-a_{1}+\sigma_{1}s,x)\prod_{j=1}^{m}\varGamma (b_{j}-\rho_{j}s)\prod_{j=2}^{n}\varGamma(1-a_{j}+\sigma_{j}s)}{ \prod_{j=n+1}^{p}\varGamma(a_{j}-\sigma_{j}s)\prod_{j=m+1}^{q}\varGamma (1-b_{j}+\rho_{j}s)}.$$
(93)
4. (iv)

Incomplete Fox–Wright function$${}_{p}\varPsi _{q}^{(\varGamma)}(z)$$: if we take the substitutions $$z=-z$$, $$A_{j}\ (j=1,\ldots,p)=B_{j}\ (j=1,\ldots,q)=1$$, $$a_{j} \rightarrow(1-a_{j})$$ ($$j=1,\ldots,p$$) and $$b_{j} \rightarrow(1-b_{j})$$ ($$j=1,\ldots,q$$) in (2), then we obtain (see [24])

\begin{aligned} _{p}\varPsi_{q}^{(\varGamma)}(z)&={}^{\varGamma}I^{1, p}_{p, q+1} \left [-z\Bigm| \textstyle\begin{array}{c} (1-a_{1},\sigma_{1};1:x), (1-a_{j},\sigma_{j};1)_{2, p}\\ (0,1),(1-b_{j},\rho_{j};1)_{1, q} \end{array}\displaystyle \right ] \\ & = _{p}\varPsi_{q}^{(\varGamma)}\left [ \textstyle\begin{array}{c} (a_{1},\sigma_{1},x),(a_{j},\sigma_{j})_{2, p} ; \b_{j},\rho_{j})_{1, q} ; \end{array}\displaystyle z\right ]. \end{aligned} (94) ### Remark 1 Similarly, one can easily obtain another class of incomplete functions as special cases of the incomplete I-function \({}^{\gamma}\overline {I}_{p, q}^{m, n}(z).

It is to note that if we use the relations (90) and (92), then one can obtain the fractional calculus results associated with the incomplete H-functions and incomplete -functions (see [32]) as special cases of our results. Moreover, all the results investigated in this paper, taking into account the decomposition formula (8) (or $$y=0$$ in the results involving $${}^{\varGamma}I_{p, q}^{m, n}(z)$$), lead to the known results provided earlier by Kataria and Vellaisamy [13].

In the present article, we investigated a number of fractional calculus image formulas involving incomplete I-functions associated with the MSM operators. The incomplete I-functions generalize I-function, -function, H-function, Meijer G-function, hypergeometric function, and many other functions. Additionally, the MSM fractional operators generalize Saigo, Riemann–Liouville, Erdélyi–Kober fractional calculus operators. In consideration of the indicated fact, one can obtain numerous image formulas comprising a class of special functions (see [14, 15, 27, 30, 32]) as limiting cases of the main outcomes.

## References

1. Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)

2. Baleanu, D., Kumar, D., Purohit, S.D.: Generalized fractional integrals of product of two H-functions and a general class of polynomials. Int. J. Comput. Math. 93(8), 1320–1329 (2016)

3. Cattani, C.: A review on harmonic wavelets and their fractional extension. J. Adv. Eng. Comput. 2(4), 224–238 (2018)

4. Cattani, C., Rushchitskii, Y.Y.: Cubically nonlinear elastic waves: wave equations and methods of analysis. Int. Appl. Mech. 39, 1115–1145 (2003)

5. Dizicheh, A.K., Salahshour, S., Ahmadian, A., Baleanu, D.: A novel algorithm based on the Legendre wavelets spectral technique for solving the Lane–Emden equations. Appl. Numer. Math. 153, 443–456 (2020)

6. Fox, C.: The G and H-functions as symmetrical Fourier kernels. Trans. Am. Math. Soc. 98, 395–429 (1961)

7. Gao, W., Veeresha, P., Prakasha, D.G., Baskonus, H.M., Yel, G.: A powerful approach for fractional Drinfeld–Sokolov–Wilson equation with Mittag-Leffler law. Alex. Eng. J. 58(4), 1301–1311 (2019)

8. Gao, W., Yel, G., Baskonus, H.M., Cattani, C.: Complex solitons in the conformable $$(2+1)$$-dimensional Ablowitz–Kaup–Newell–Segur equation. AIMS Math. 5(1), 507–521 (2020)

9. Ghanbari, B., Atangana, A.: A new application of fractional Atangana–Baleanu derivatives: designing ABC-fractional masks in image processing. Phys. A, Stat. Mech. Appl. 542, Article ID 123516 (2020)

10. Gumah, G., Al-Omari, S., Baleanu, D.: Soft computing technique for a system of fuzzy Volterra integro-differential equations in a Hilbert space. Appl. Numer. Math. 152, 310–322 (2020)

11. Jangid, K., Bhatter, S., Meena, S., Baleanu, D., Purohit, S.D.: Certain classes of the incomplete I-functions and their properties (communicated)

12. Jun, Y.X., Baleanu, D., Lazarevic, M.P., Cajic, M.: Fractal boundary value problems for integral and differential equations with local fractional operators. Therm. Sci. 19(3), 959–966 (2015)

13. Kataria, K.K., Vellaisamy, P.: Some fractional calculus results associated with the I-functions. Matematiche 70(2), 173–190 (2015)

14. Kilbas, A.A., Saigo, M.: H-Transforms: Theory and Applications. Analytic Methods and Special Functions. An International Series of Monographs in Mathematics, vol. 9. Chapman & Hall, Boca Raton (2004)

15. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematical Studies, vol. 204. Elsevier, Amsterdam (2006)

16. Kiryakova, V.: Generalized Fractional Calculus and Applications. Longman, Harlow (1994)

17. Kumar, D., Purohit, S.D., Choi, J.: Generalized fractional integrals involving product of multivariable H-function and a general class of polynomials. J. Nonlinear Sci. Appl. 9(1), 8–21 (2016)

18. Kumar, D., Singh, J., Baleanu, D.: A new numerical algorithm for fractional Fitzhugh–Nagumo equation arising in transmission of nerve impulses. Nonlinear Dyn. 91, 307–317 (2018)

19. Marichev, O.I.: Volterra equation of Mellin convolution type with a Horn function in the kernel. Izv. Akad. Nauk SSSR 1, 128–129 (1974)

20. Mathai, A.M., Saxena, R.K., Haubold, H.J.: The H-Function Theory and Applications. Springer, New York (2010)

21. Nisar, K.S., Suthar, D.L., Agarwal, R., Purohit, S.D.: Fractional calculus operators with Appell function kernels applied to Srivastava polynomials and extended Mittag-Leffler function. Adv. Differ. Equ. 2020, Article ID 148 (2020)

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

23. Panda, S.K., Abdeljawad, T., Ravichandrane, C.: Novel fixed point approach to Atangana–Baleanu fractional and Fredholm integral equations. Alex. Eng. J. (2020) https://doi.org/10.1016/j.aej.2019.12.027

24. Parmar, R.K., Saxena, R.K.: Incomplete extended Hurwitz–Lerch zeta functions and associated properties. Commun. Korean Math. Soc. 32, 287–304 (2017)

25. Purohit, S.D., Suthar, D.L., Kalla, S.L.: Marichev–Saigo–Maeda fractional integration operators of the Bessel function. Matematiche 67(1), 21–32 (2012)

26. Rao, A., Garg, M., Kalla, S.L.: Caputo-type fractional derivative of a hypergeometric integral operator. Kuwait J. Sci. Eng. 37(1A), 15–29 (2010)

27. Rathie, A.K.: A new generalization of generalized hypergeometric functions. Matematiche 52(2), 297–310 (1997)

28. Ravichandran, C., Logeswari, K., Jarad, F.: New results on existence in the framework of Atangana–Baleanu derivative for fractional integro-differential equations. Chaos Solitons Fractals 125, 194–200 (2019)

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

30. Saigo, M., Maeda, N.: More generalization of fractional calculus. In: Rusev, P., Dimovski, I., Kiryakova, V. (eds.) Trans. Meth. Spec. Func., pp. 386–400 (1998)

31. Singh, J., Kumar, D., Hammouch, Z., Atangana, A.: A fractional epidemiological model for computer viruses pertaining to a new fractional derivative. Appl. Math. Comput. 316, 504–515 (2018)

32. Srivastava, H.M., Saxena, R.K., Parmar, R.K.: Some families of the incomplete H-functions and the incomplete -functions and associated integral transforms and operators of fractional calculus with applications. Russ. J. Math. Phys. 25(1), 116–138 (2018)

33. Tuan, N.H., Baleanu, D., Thach, T.N., O’Regan, D., Can, N.H.: Final value problem for nonlinear time fractional reaction–diffusion equation with discrete data. J. Comput. Appl. Math. 376(1), Article ID 112883 (2020)

34. Xia, M., Wu, Y.C., Sonia, A.: Exact outage probability of dual-hop CSI-assisted AF relaying over Nakagami-m fading channels. IEEE Trans. Signal Process. 60(10), 5578–5583 (2012)

### Acknowledgements

The authors express their sincere thanks to the referee for his/her careful reading and suggestions that helped to improve this paper.

Not applicable.

Not applicable.

## Author information

Authors

### Contributions

The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Sunil Dutt Purohit.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and permissions

Jangid, K., Bhatter, S., Meena, S. et al. Some fractional calculus findings associated with the incomplete I-functions. Adv Differ Equ 2020, 265 (2020). https://doi.org/10.1186/s13662-020-02725-7