Certain unified fractional integrals and derivatives for a product of Aleph function and a general class of multivariable polynomials

Abstract

Saigo and Maeda (Transform Methods and Special Functions, Varna, Bulgaria, pp. 386-400, 1996) introduced and investigated certain generalized fractional integral and derivative operators involving the Appell function $F_3$. Here we aim at presenting four unified fractional integral and derivative formulas of Saigo and Maeda type, which are involved in a product of ℵ-function and a general class of multivariable polynomials. The main results, being of general nature, are shown to be some unification and extension of many known formulas given, for example, by Saigo and Maeda (Transform Methods and Special Functions, Varna, Bulgaria, pp. 386-400, 1996), Saxena et al. (Kuwait J. Sci. Eng. 35(1A):1-20, 2008), Srivastava and Garg (Rev. Roum. Phys. 32:685-692, 1987), Srivastava et al. (J. Math. Anal. Appl.193:373-389, 1995) and so on. Our main results are also shown to be further specialized to yield a large number of known and (presumably) new formulas involving, for instance, Saigo fractional calculus operators, several special functions such as H-function, I-function, Mittag-Leffler function, generalized Wright hypergeometric function, generalized Bessel-Maitland function.

MSC:26A33, 33E20, 33C45, 33C60, 33C70.

1 Introduction, definitions, and preliminaries

Fractional calculus deals with the investigations of integrals and derivatives of arbitrary orders. A remarkably large number of works on the subject of fractional calculus have given interesting account of the theory and applications of fractional calculus operators in many different areas of mathematical analysis (see, for very recent works, [1–8]).

The fractional integral operators, especially, involving various special functions have found significant importance and applications in various fields of applied mathematics. Since last five decades, a number of researchers like Love [9], Srivastava and Saxena [10], Debnath and Bhatta [11], Saxena et al. [12–15], Saigo [16], Samko et al. [17], Miller and Ross [18], and Ram and Kumar [19] and so on have studied, in depth, certain properties, applications, and different extensions of various hypergeometric operators of fractional integration.

Throughout this paper, let ℂ, ℝ, ${\mathbb{R}}_{+}$, ${\mathbb{Z}}_0^{-}$, and ℕ denote the sets of complex numbers, real numbers, positive real numbers, nonpositive integers and positive integers, respectively, and ${\mathbb{N}}_0:=\mathbb{N}\cup \{0\}$.

Let $\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma \in \mathbb{C}$. Then the fractional integral operators $I_{0,x}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }$ and $I_{x,\mathrm{\infty }}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }$ of a function $f(x)$ are defined, for $\mathrm{\Re }(\gamma )>0$, as follows (see Saigo and Maeda [20]):

$$\left(I_{0,x}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }f\right)(x)=\frac{x^{-\alpha }}{\mathrm{\Gamma }(\gamma )}{\int }_0^x{(x-t)}^{\gamma -1}{t}^{-{\alpha }^{\prime }}{F}_3(\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime };\gamma ;1-t/x,1-x/t)f(t)dt$$

(1.1)

and

$$\left(I_{x,\mathrm{\infty }}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }f\right)(x)=\frac{x^{-{\alpha }^{\prime }}}{\mathrm{\Gamma }(\gamma )}{\int }_x^{\mathrm{\infty }}{(t-x)}^{\gamma -1}{t}^{-\alpha }{F}_3(\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime };\gamma ;1-x/t,1-t/x)f(t)dt,$$

(1.2)

where $F_3$ is one of the Appell series defined by (see, e.g., [[21], p.23, Eq. (4)])

$$F_3(a,a^{\prime },b,b^{\prime };c;x,y)=\sum _{m,n=0}^{\mathrm{\infty }}\frac{{(a)}_m{(a^{\prime })}_n{(b)}_m{(b^{\prime })}_n}{{(c)}_{m+n}}\frac{x^m}{m!}\frac{y^n}{n!}(max\{|x|,|y|\}<1)$$

(1.3)

and ${(\lambda )}_n$ is the Pochhammer symbol defined (for $\lambda \in \mathbb{C}$) by (see [[22], p.2 and pp.4-6]):

$$\begin{array}{rl}{(\lambda )}_n:& =\{\begin{array}{ll}1& (n=0),\\ \lambda (\lambda +1)\cdots (\lambda +n-1)& (n\in \mathbb{N})\end{array}\\ =\frac{\mathrm{\Gamma }(\lambda +n)}{\mathrm{\Gamma }(\lambda )}(\lambda \in \mathbb{C}\setminus {\mathbb{Z}}_0^{-}).\end{array}$$

(1.4)

Here Γ denotes the familiar gamma function.

These operators reduce to the following simpler fractional integral operators (see [16]):

$$I_{0,x}^{\alpha ,0,\beta ,{\beta }^{\prime },\gamma }f(x)=I_{0,x}^{\gamma ,\alpha -\gamma ,-\beta }f(x)(\gamma \in \mathbb{C})$$

(1.5)

and

$$I_{x,\mathrm{\infty }}^{\alpha ,0,\beta ,{\beta }^{\prime },\gamma }f(x)=I_{x,\mathrm{\infty }}^{\gamma ,\alpha -\gamma ,-\beta }f(x)(\gamma \in \mathbb{C}).$$

(1.6)

Let $\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma \in \mathbb{C}$ with $\mathrm{\Re }(\gamma )>0$ and $x\in {\mathbb{R}}_{+}$. Then the generalized fractional differentiation operators involving the Appell function $F_3$ in the kernel are defined as follows (see [20]):

$$\left(D_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }f\right)(x)=\left(I_{0+}^{-{\alpha }^{\prime },-\alpha ,-{\beta }^{\prime },-\beta ,-\gamma }f\right)(x)$$

(1.7)

$$={\left(\frac{d}{dx}\right)}^n\left(I_{0+}^{-{\alpha }^{\prime },-\alpha ,-{\beta }^{\prime }+n,-\beta ,-\gamma +n}f\right)(x)(\mathrm{\Re }(\gamma )>0;n:=[\mathrm{\Re }(\gamma )]+1)$$

(1.8)

$$\begin{array}{rc}=& \frac{1}{\mathrm{\Gamma }(n-\gamma )}{\left(\frac{d}{dx}\right)}^n\left(x^{{\alpha }^{\prime }}\right){\int }_0^x{(x-t)}^{n-\gamma -1}{t}^{\alpha }\\ \times F_3(-{\alpha }^{\prime },-\alpha ,n-{\beta }^{\prime },-\beta ,n-\gamma ;1-\frac{t}{x},1-\frac{x}{t})f(t)dt\end{array}$$

(1.9)

and

$$\left(D_{-}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }f\right)(x)=\left(I_{-}^{-{\alpha }^{\prime },-\alpha ,-{\beta }^{\prime },-\beta ,-\gamma }f\right)(x)$$

(1.10)

$$\begin{array}{rc}=& {(-\frac{d}{dx})}^n\left(I_{-}^{-{\alpha }^{\prime },-\alpha ,-{\beta }^{\prime },-\beta +n,-\gamma +n}f\right)(x)\\ (\mathrm{\Re }(\gamma )>0;n=[\mathrm{\Re }(\gamma )]+1)\end{array}$$

(1.11)

$$\begin{array}{rc}=& \frac{1}{\mathrm{\Gamma }(n-\gamma )}{(-\frac{d}{dx})}^n\left(x^{\alpha }\right){\int }_x^{\mathrm{\infty }}{(t-x)}^{n-\gamma -1}{t}^{{\alpha }^{\prime }}\\ \times F_3(-{\alpha }^{\prime },-\alpha ,-{\beta }^{\prime },n-\beta ,n-\gamma ;1-\frac{x}{t},1-\frac{t}{x})f(t)dt.\end{array}$$

(1.12)

These operators reduce to the Saigo derivative operators as follows (see [16, 20]):

$$\left(D_{0+}^{0,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }f\right)(x)=\left(D_{0+}^{\gamma ,{\alpha }^{\prime }-\gamma ,{\beta }^{\prime }-\gamma }f\right)(x)(\mathrm{\Re }(\gamma )>0)$$

(1.13)

and

$$\left(D_{-}^{0,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }f\right)(x)=\left(D_{-}^{\gamma ,{\alpha }^{\prime }-\gamma ,{\beta }^{\prime }-\gamma }f\right)(x)(\mathrm{\Re }(\gamma )>0).$$

(1.14)

Furthermore we also have (see [[20], p.394, Eqs. (4.18) and (4.19)])

$$\begin{array}{c}{I}_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }{x}^{\rho -1}=\mathrm{\Gamma }\left[\begin{array}{c}\rho ,\rho +\gamma -\alpha -{\alpha }^{\prime }-\beta ,\rho +{\beta }^{\prime }-{\alpha }^{\prime }\\ \rho +\gamma -\alpha -{\alpha }^{\prime },\rho +\gamma -{\alpha }^{\prime }-\beta ,\rho +{\beta }^{\prime }\end{array}\right]x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\hfill \\ (\mathrm{\Re }(\gamma )>0,\mathrm{\Re }(\rho )>max\{0,\mathrm{\Re }(\alpha +{\alpha }^{\prime }+\beta -\gamma ),\mathrm{\Re }({\alpha }^{\prime }-{\beta }^{\prime })\})\hfill \end{array}$$

(1.15)

and

$$\begin{array}{c}{I}_{-}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }{x}^{\rho -1}=\mathrm{\Gamma }\left[\begin{array}{c}1+\alpha +{\alpha }^{\prime }-\gamma -\rho ,1+\alpha +{\beta }^{\prime }-\gamma -\rho ,1-\beta -\rho \\ 1-\rho ,1+\alpha +{\alpha }^{\prime }+{\beta }^{\prime }-\gamma -\rho ,1+\alpha -\beta -\rho \end{array}\right]x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\hfill \\ (\mathrm{\Re }(\gamma )>0,\mathrm{\Re }(\rho )<1+min\{\mathrm{\Re }(-\beta ),\mathrm{\Re }(\alpha +{\alpha }^{\prime }-\gamma ),\mathrm{\Re }(\alpha +{\beta }^{\prime }-\gamma )\}),\hfill \end{array}$$

(1.16)

where the notation $\mathrm{\Gamma }[\cdots ]$ represents the fraction of gamma functions, for example,

$$\mathrm{\Gamma }\left[\begin{array}{c}\alpha ,\beta ,\gamma \\ a,b,c\end{array}\right]=\frac{\mathrm{\Gamma }(\alpha )\mathrm{\Gamma }(\beta )\mathrm{\Gamma }(\gamma )}{\mathrm{\Gamma }(a)\mathrm{\Gamma }(b)\mathrm{\Gamma }(c)}.$$

Saxena and Saigo [23] presented the generalized fractional integral and derivative formulas of the H-function involving Saigo-Maeda fractional calculus operators. Similarly, generalized fractional calculus formulas of the Aleph function associated with the Appell function $F_3$ is given by Saxena et al. [14, 15], and Ram and Kumar [19].

Following Saxena and Pogány [24, 25], we define the Aleph function in terms of the Mellin-Barnes type integrals as follows (see also [26–28]):

$$\mathrm{\aleph }[z]={\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z\right|\begin{array}{c}{(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\\ {(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\end{array}]:=\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,{\tau }_i;r}^{m,n}(\xi )z^{-\xi }d\xi ,$$

(1.17)

where $i=\sqrt{-1}$ and

$${\mathrm{\Omega }}_{p_i,q_i,{\tau }_i;r}^{m,n}(\xi )=\frac{{\prod }_{j=1}^m\mathrm{\Gamma }(b_j+B_j\xi ){\prod }_{j=1}^n\mathrm{\Gamma }(1-a_j-A_j\xi )}{{\sum }_{i=1}^r{\tau }_i{\prod }_{j=m+1}^{q_i}\mathrm{\Gamma }(1-b_{ji}-B_{ji}\xi ){\prod }_{j=n+1}^{p_i}\mathrm{\Gamma }(a_{ji}+A_{ji}\xi )}.$$

(1.18)

The integration path $L=L_{i\gamma \mathrm{\infty }}$, $\gamma \in \mathrm{\Re }$ extends from $\gamma -i\mathrm{\infty }$ to $\gamma +i\mathrm{\infty }$, and is such that the poles of $\mathrm{\Gamma }(1-a_j-A_j\xi )$, $j=\overline{1,n}$ (the symbol $\overline{1,n}$ is used for $1,2,\dots ,n$) do not coincide with the poles of $\mathrm{\Gamma }(b_j+B_j\xi )$, $j=\overline{1,m}$. The parameters $p_i,q_i\in {\mathbb{N}}_0$ satisfy $0\le n\le p_i$, $1\le m\le q_i$, and ${\tau }_i>0$ for $i=\overline{1,r}$. The parameters $A_j,B_j,A_{ji},B_{ji}>0$ and $a_j,b_j,a_{ji},b_{ji}\in \mathbb{C}$. An empty product in (1.18) is interpreted as unity. The existence conditions for the defining integral (1.17) are given below:

$${\phi }_l>0,|arg(z)|<\frac{\pi }{2}{\phi }_l(l=\overline{1,r})$$

(1.19)

and

$${\phi }_l\ge 0,|arg(z)|<\frac{\pi }{2}{\phi }_l\text{and}\mathrm{\Re }({\zeta }_l)+1<0,$$

(1.20)

where

$${\phi }_l:=\sum _{j=1}^n{A}_j+\sum _{j=1}^m{B}_j-{\tau }_l(\sum _{j=n+1}^{p_{{}_l}}{A}_{jl}+\sum _{j=m+1}^{q_{{}_l}}{B}_{jl})$$

(1.21)

and

$${\zeta }_l:=\sum _{j=1}^m{b}_j-\sum _{j=1}^n{a}_j+{\tau }_l(\sum _{j=m+1}^{q_{{}_l}}{b}_{jl}-\sum _{j=n+1}^{p_{{}_l}}{a}_{jl})+\frac{1}{2}(p_l-q_l)(l=\overline{1,r}).$$

(1.22)

Remark For ${\tau }_i=1$, $i=\overline{1,n}$, in (1.17), we get the I-function defined as follows (see Saxena [29]):

$$\begin{array}{rl}{I}_{p_i,q_i;r}^{m,n}[z]& ={\mathrm{\aleph }}_{p_i,q_i,1;r}^{m,n}[z]={\mathrm{\aleph }}_{p_i,q_i,1;r}^{m,n}\left[z\right|\begin{array}{c}{(b_j,B_j)}_{1,m},\dots ,{(b_j,B_j)}_{m+1,q_i}\\ {(a_j,A_j)}_{1,n},\dots ,{(a_j,A_j)}_{n+1,p_i}\end{array}]\\ :=\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,1;r}^{m,n}(\xi )z^{-\xi }d\xi ,\end{array}$$

(1.23)

where the kernel ${\mathrm{\Omega }}_{p_i,q_i,1;r}^{m,n}(\xi )$ is given in (1.18). The existence conditions for the integral in (1.23) are the same as given in (1.19)-(1.22) with ${\tau }_i=1$ and $i=\overline{1,r}$.

If we set $r=1$, then (1.23) reduces to the familiar H-function as follows (see [30]):

$$\begin{array}{rl}{H}_{p,q}^{m,n}[z]& ={\mathrm{\aleph }}_{p_i,q_{i,1;1}}^{m,n}[z]={\mathrm{\aleph }}_{p_i,q_{i,1;1}}^{m,n}\left[z\right|\begin{array}{c}(b_p,B_p)\\ (a_p,A_p)\end{array}]\\ :=\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,1;1}^{m,n}(\xi )z^{-\xi }d\xi ,\end{array}$$

(1.24)

where the kernel ${\mathrm{\Omega }}_{p_i,q_i,1;1}^{m,n}(\xi )$ can be obtained from (1.18).

A general class of multivariable polynomials is defined and studied by Srivastava and Garg [31]:

$$\begin{array}{c}{S}_L^{h_1,\dots ,h_s}=\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{x_1^{k_1}}{k_1!}\cdots \frac{x_s^{k_s}}{k_s!}\hfill \\ (h_i\in \mathbb{N},i=1,\dots ,s),\hfill \end{array}$$

(1.25)

where $h_1,\dots ,h_s$ are arbitrary positive integers and the coefficients $A(L;k_1,\dots ,k_s)$, $(L,h_i\in {\mathbb{N}}_0;i=1,\dots ,s)$ are arbitrary constants, real or complex. Evidently the case $s=1$ of the polynomials (1.24) would correspond to the polynomials due to Srivastava [32] as

$$S_l^h(x)=\sum _{k=0}^{[l/h]}\frac{{(-l)}_{hk}}{k!}{A}_{l,k}{x}^k(l\in {\mathbb{N}}_0).$$

Some multidimensional fractional integral operators involving the polynomial given as (1.25) are defined and studied by Srivastava et al. [33].

Here, in this paper, we aim at presenting four unified fractional integral and derivative formulas of Saigo and Maeda type [20], which are involved in a product of ℵ-function (1.17) and a general class of multivariable polynomials (1.25). The main results, being of general nature, are shown to be some unification and extension of many known formulas given, for example, by Saigo and Maeda [20], Saxena et al. [13], Srivastava and Garg [31], Srivastava et al. [33] and so on. Our main results are also shown to be further specialized to yield a large number of known and (presumably) new formulas involving, for instance, Saigo fractional calculus operators, several special functions such as H-function, I-function, Mittag-Leffler function, generalized Wright hypergeometric function, generalized Bessel-Maitland function.

2 Fractional integral formulas

Here we establish two fractional integration formulas for ℵ-function (1.17) and a general class of polynomials defined by (1.25).

Theorem 1 Suppose that $\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma ,z,\rho \in \mathbb{C}$, $\mathrm{\Re }(\gamma )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le j\le m}{min}\frac{\mathrm{\Re }(b_j)}{B_j}>max\{0,\mathrm{\Re }(\alpha +{\alpha }^{\prime }+\beta -\gamma ),\mathrm{\Re }({\alpha }^{\prime }-{\beta }^{\prime })\}.$$

Further suppose that the constants $a_j,b_j,a_{ji},b_{ji}\in \mathbb{C}$, $A_j,B_j,A_{ji},B_{ji}\in {\mathbb{R}}_{+}$ ($i=1,\dots ,p_i$; $j=1,\dots ,q_i$), and ${\tau }_i>0$ for $i=\overline{1,r}$. If the conditions given in (1.19)-(1.22) are satisfied, then the following relation holds true:

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+3,q_i+3,{\tau }_i;r}^{m,n+3}\left[z{x}^{\mu }\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\alpha +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ {(b_j,B_j)}_{1,m},(1-\rho +\alpha +{\alpha }^{\prime }-\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho +{\alpha }^{\prime }-{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (1-\rho +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}].\hfill \end{array}$$

(2.1)

Proof In order to prove (2.1), first expressing the general class of multivariable polynomials occurring on its left-hand side as the series given by (1.25), replacing the ℵ-function in terms of Mellin-Barnes contour integral with the help of (1.17), interchanging the order of summations, we obtain the following form (say I):

$$\begin{array}{rcl}I& =& \sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \{\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,{\tau }_i;r}^{m,n}{z}^{-\xi }\left(I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }{t}^{\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi -1}\right)(x)d\xi \}\\ =& \sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \frac{1}{2\pi i}{\int }_L{x}^{\rho -\alpha -{\alpha }^{\prime }+\gamma +{\sum }_{j=1}^s{\lambda }_j{k}_j-1}{\left(z{x}^{\mu }\right)}^{-\xi }\\ \times \frac{{\prod }_{j=1}^m\mathrm{\Gamma }(b_j+B_j\xi ){\prod }_{j=1}^n\mathrm{\Gamma }(1-a_j-A_j\xi )}{{\sum }_{i=1}^r{\tau }_i{\prod }_{j=m+1}^{q_i}\mathrm{\Gamma }(1-b_{ji}-B_{ji}\xi ){\prod }_{j=n+1}^{p_i}\mathrm{\Gamma }(a_{ji}+A_{ji}\xi )}\\ \times \frac{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi )}{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\gamma -\alpha -{\alpha }^{\prime })}\\ \times \frac{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\gamma -\alpha -{\alpha }^{\prime }-\beta )\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +{\beta }^{\prime }-{\alpha }^{\prime })}{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\gamma -{\alpha }^{\prime }-\beta )\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +{\beta }^{\prime })}d\xi .\end{array}$$

Finally, re-interpreting the Mellin-Barnes contour integral in terms of the ℵ-function, we are led to the right-hand side of (2.1). This completes proof of Theorem 1. □

In view of the relation (1.5), we obtain a (presumably) new result concerning the Saigo fractional integral operator [16] asserted by the following corollary.

Corollary 1 Let $\alpha ,\beta ,\gamma ,\rho ,z\in \mathbb{C}$, $\mathrm{\Re }(\alpha )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le j\le m}{min}\left(\frac{\mathrm{\Re }(b_j)}{B_j}\right)>max\{0,\mathrm{\Re }(\beta -\gamma )\}.$$

Then the following relation holds true:

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,\beta ,\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho -\beta -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+2,q_i+2,{\tau }_i;r}^{m,n+2}\left[z{x}^{\mu }\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ {(b_j,B_j)}_{1,m},(1-\rho +\beta -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (1-\rho -\alpha -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}],\hfill \end{array}$$

(2.2)

where the conditions of the existence of (2.2) follow easily with the help of (2.1).

It is remarked in passing that the corresponding results concerning Riemann-Liouville and Erdélyi-Kober fractional integral operators can be obtained by putting $\beta =-\alpha$ and $\beta =0$, respectively, in (2.2).

Theorem 2 Suppose that $\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma ,z,\rho \in \mathbb{C}$, $\mathrm{\Re }(\gamma )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le i\le n}{max}\left(\frac{\mathrm{\Re }(a_i)-1}{A_i}\right)<1+min\{\mathrm{\Re }(-\beta ),\mathrm{\Re }(\alpha +{\alpha }^{\prime }-\gamma ),\mathrm{\Re }(\alpha +{\beta }^{\prime }-\gamma )\}.$$

Further suppose that the constants $a_j,b_j,a_{ji},b_{ji}\in \mathbb{C}$,

$$A_j,B_j,A_{ji},B_{ji}\in {\mathbb{R}}_{+}(i=1,\dots ,p_i;j=1,\dots ,q_i),$$

and ${\tau }_i>0$ for $i=\overline{1,r}$. If the conditions given in (1.19)-(1.22) are satisfied, the following relation holds true:

$$\begin{array}{c}\left\{I_{-}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+3,q_i+3,{\tau }_i;r}^{m+3,n}\left[z{x}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1+\alpha -\beta -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (1+\alpha +{\alpha }^{\prime }-\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\beta -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1+\alpha +{\alpha }^{\prime }+{\beta }^{\prime }-\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (1+\alpha +{\beta }^{\prime }-\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(b_j,B_j),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}].\hfill \end{array}$$

(2.3)

Proof A similar argument as in proving Theorem 1 will establish the result (2.3). Indeed, first expressing the general class of multivariable polynomials occurring on its left-hand side as a series given by (1.25), replacing the ℵ-function in terms of Mellin-Barnes contour integral with the help of (1.17), interchanging the order of summations, we obtain the following form (say I):

$$\begin{array}{rcl}I& =& \sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \{\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,{\tau }_i;r}^{m,n}{z}^{-\xi }\left(I_{-}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }{t}^{\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi -1}\right)(x)d\xi \}\\ =& \sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \frac{1}{2\pi i}{\int }_L{x}^{\rho -\alpha -{\alpha }^{\prime }+\gamma +{\sum }_{j=1}^s{\lambda }_j{k}_j-1}{\left(z{x}^{\mu }\right)}^{-\xi }\\ \times \frac{{\prod }_{j=1}^m\mathrm{\Gamma }(b_j+B_j\xi ){\prod }_{j=1}^n\mathrm{\Gamma }(1-a_j-A_j\xi )}{{\sum }_{i=1}^r{\tau }_i{\prod }_{j=m+1}^{q_i}\mathrm{\Gamma }(1-b_{ji}-B_{ji}\xi ){\prod }_{j=n+1}^{p_i}\mathrm{\Gamma }(a_{ji}+A_{ji}\xi )}\\ \times \frac{\mathrm{\Gamma }(1+\alpha +{\alpha }^{\prime }-\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}{\mathrm{\Gamma }(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}\\ \times \frac{\mathrm{\Gamma }(1+\alpha +{\beta }^{\prime }-\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )\mathrm{\Gamma }(1-\beta -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}{\mathrm{\Gamma }(1+\alpha +{\alpha }^{\prime }+{\beta }^{\prime }-\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )\mathrm{\Gamma }(1+\alpha -\beta -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}d\xi .\end{array}$$

Finally, re-interpreting the Mellin-Barnes contour integral in terms of the ℵ-function, we are led to the right-hand side of (2.3). This completes the proof of Theorem 2. □

In view of the relation (1.6), we obtain a (presumably) new result concerning Saigo fractional integral operator [16] asserted by the following corollary.

Corollary 2 Let $\alpha ,\beta ,\gamma ,\rho ,z\in \mathbb{C}$, $\mathrm{\Re }(\alpha )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le i\le n}{max}\left(\frac{\mathrm{\Re }(a_i)-1}{A_i}\right)<1+min\{\mathrm{\Re }(\beta ),\mathrm{\Re }(\gamma )\}.$$

Then the following relation holds true:

$$\begin{array}{c}\left\{I_{-}^{\alpha ,\beta ,\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho -\beta -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+2,q_i+2,{\tau }_i;r}^{m+2,n}\left[z{x}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (1+\beta -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1+\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1+\alpha +\beta +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (b_j,B_j),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}],\hfill \end{array}$$

(2.4)

where the conditions of existence of (2.4) follow easily from Theorem  2.

It is also remarked in passing that the corresponding results concerning Riemann-Liouville and Erdélyi-Kober fractional integral operators can be obtained by putting $\beta =-\alpha$ and $\beta =0$, respectively, in (2.4).

3 Fractional derivative formulas

Here we establish two fractional derivative formulas for ℵ-function (1.17) and a general class of polynomials defined by (1.25).

Theorem 3 Suppose that $\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma ,z,\rho \in \mathbb{C}$, $\mathrm{\Re }(\gamma )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le j\le m}{min}\left(\frac{\mathrm{\Re }(b_j)}{B_j}\right)+max\{0,\mathrm{\Re }(\alpha -\beta ),\mathrm{\Re }({\alpha }^{\prime }+{\beta }^{\prime }+\alpha -\gamma )\}>0.$$

Further suppose that the constants $a_j,b_j,a_{ji},b_{ji}\in \mathbb{C}$, $A_j,B_j,A_{ji},B_{ji}\in {\mathbb{R}}_{+}$ ($i=1,\dots ,p_i$; $j=1,\dots ,q_i$), and ${\tau }_i>0$ for $i=\overline{1,r}$. If the conditions given in (1.19)-(1.22) are satisfied, then the following relation holds true:

$$\begin{array}{c}\left\{D_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho +\alpha +{\alpha }^{\prime }-\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+3,q_i+3,{\tau }_i;r}^{m,n+3}\left[z{x}^{\mu }\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -\alpha +\beta -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ {(b_j,B_j)}_{1,m},(1-\rho -\alpha -{\alpha }^{\prime }+\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho -\alpha -{\alpha }^{\prime }-{\beta }^{\prime }+\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (1-\rho -\alpha -{\beta }^{\prime }+\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\beta -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}].\hfill \end{array}$$

(3.1)

Proof In order to prove (3.1), first expressing the general class of multivariable polynomials occurring on its left-hand side as a series given by (1.25), replacing the ℵ-function in terms of the Mellin-Barnes contour integral with the help of (1.17), and interchanging the order of summations, we obtain the following form (say I):

$$\begin{array}{rcl}I& =& \sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \{\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,{\tau }_i;r}^{m,n}{z}^{-\xi }\left(D_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }{t}^{\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi -1}\right)(x)d\xi \}\\ =& {\left(\frac{d}{dx}\right)}^n\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \frac{1}{2\pi i}{\int }_L{x}^{\rho +\alpha +{\alpha }^{\prime }-\gamma +{\sum }_{j=1}^s{\lambda }_j{k}_j+n-1}{\left(z{x}^{\mu }\right)}^{-\xi }\\ \times \frac{{\prod }_{j=1}^m\mathrm{\Gamma }(b_j+B_j\xi ){\prod }_{j=1}^n\mathrm{\Gamma }(1-a_j-A_j\xi )}{{\sum }_{i=1}^r{\tau }_i{\prod }_{j=m+1}^{q_i}\mathrm{\Gamma }(1-b_{ji}-B_{ji}\xi ){\prod }_{j=n+1}^{p_i}\mathrm{\Gamma }(a_{ji}+A_{ji}\xi )}\\ \times \frac{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi )}{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\alpha +{\alpha }^{\prime }-\gamma )}\\ \times \frac{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\alpha +{\alpha }^{\prime }+{\beta }^{\prime }-\gamma )\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\alpha -\beta )}{\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi +\alpha +{\beta }^{\prime }-\gamma )\mathrm{\Gamma }(\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi -\beta )}d\xi .\end{array}$$

Here $n:=[-\mathrm{\Re }(\gamma )]+1$, and by using

$$\frac{d^k}{d{x}^k}{x}^m=\frac{\mathrm{\Gamma }(m+1)}{\mathrm{\Gamma }(m-k+1)}{x}^{m-k}(m,k\in {\mathbb{N}}_0;m\ge k),$$

(3.2)

and re-interpreting the Mellin-Barnes counter integral in terms of the ℵ-function, we are led to the right-hand side of (3.1). This completes the proof of Theorem 3. □

In view of the relation (1.13), we obtain a (presumably) new result concerning Saigo fractional derivative operator [16] asserted by the following corollary.

Corollary 3 Let $\alpha ,\beta ,\gamma ,\rho ,z\in \mathbb{C}$, $\mathrm{\Re }(\alpha )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le j\le m}{min}\left(\frac{\mathrm{\Re }(b_j)}{B_j}\right)+max\{0,\mathrm{\Re }(\beta ),\mathrm{\Re }(\beta +\alpha +\gamma )\}>0.$$

Then the following relation holds true:

$$\begin{array}{c}\left\{D_{0+}^{\alpha ,\beta ,\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho +\beta -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+2,q_i+2,{\tau }_i;r}^{m,n+2}\left[z{x}^{\mu }\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -\alpha -\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ {(b_j,B_j)}_{1,m},(1-\rho -\beta -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (1-\rho -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}],\hfill \end{array}$$

(3.3)

where the conditions of existence of (3.3) follow easily with the help of (3.1).

It is remarked in passing that the corresponding results concerning Riemann-Liouville and Erdélyi-Kober fractional integral operators can be obtained by putting $\beta =-\alpha$ and $\beta =0$, respectively, in (3.3).

Theorem 4 Suppose that $\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma ,z,\rho \in \mathbb{C}$, $\mathrm{\Re }(\gamma )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le i\le n}{max}\left(\frac{\mathrm{\Re }(a_i)-1}{A_i}\right)<1+min\{\mathrm{\Re }(-\beta ),\mathrm{\Re }(\gamma -\alpha -{\alpha }^{\prime }-k),\mathrm{\Re }(-{\alpha }^{\prime }-\beta +\gamma )\},$$

here $k=[\mathrm{\Re }(\gamma )]+1$. Further suppose that the constants $a_j,b_j,a_{ji},b_{ji}\in \mathbb{C}$,

$$A_j,B_j,A_{ji},B_{ji}\in {\mathbb{R}}_{+}(i=1,\dots ,p_i;j=1,\dots ,q_i),$$

and ${\tau }_i>0$ for $i=\overline{1,r}$. If the conditions given in (1.19)-(1.22) are satisfied, the following relation holds true:

$$\begin{array}{c}\left\{D_{-}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ ={(-1)}^{[\mathrm{\Re }(\gamma )]+1}{x}^{\rho +\alpha +{\alpha }^{\prime }-\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+3,q_i+3,{\tau }_i;r}^{m+3,n}\left[z{x}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-{\alpha }^{\prime }+{\beta }^{\prime }-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (1-\alpha -{\alpha }^{\prime }+\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1+{\beta }^{\prime }-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\alpha -{\alpha }^{\prime }-\beta +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (1-{\alpha }^{\prime }-\beta +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(b_j,B_j),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}].\hfill \end{array}$$

(3.4)

Proof In order to prove (3.4), first expressing the general class of multivariable polynomials occurring on its left-hand side as a series given by (1.25), replacing the ℵ-function in terms of Mellin-Barnes contour integral with the help of (1.17), and interchanging the order of summations, we obtain the following form (say I):

$$\begin{array}{rcl}I& =& \sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \{\frac{1}{2\pi i}{\int }_L{\mathrm{\Omega }}_{p_i,q_i,{\tau }_i;r}^{m,n}{z}^{-\xi }\left(D_{-}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }{t}^{\rho +{\sum }_{j=1}^s{\lambda }_j{k}_j-\mu \xi -1}\right)(x)d\xi \}\\ =& {(-\frac{d}{dx})}^k\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}\\ \times \frac{1}{2\pi i}{\int }_L{x}^{\rho +\alpha +{\alpha }^{\prime }-\gamma +k+{\sum }_{j=1}^s{\lambda }_j{k}_j-1}{\left(z{x}^{\mu }\right)}^{-\xi }\\ \times \frac{{\prod }_{j=1}^m\mathrm{\Gamma }(b_j+B_j\xi ){\prod }_{j=1}^n\mathrm{\Gamma }(1-a_j-A_j\xi )}{{\sum }_{i=1}^r{\tau }_i{\prod }_{j=m+1}^{q_i}\mathrm{\Gamma }(1-b_{ji}-B_{ji}\xi ){\prod }_{j=n+1}^{p_i}\mathrm{\Gamma }(a_{ji}+A_{ji}\xi )}\\ \times \frac{\mathrm{\Gamma }(1-\alpha -{\alpha }^{\prime }+\gamma -k-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}{\mathrm{\Gamma }(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}\\ \times \frac{\mathrm{\Gamma }(1-{\alpha }^{\prime }-\beta +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )\mathrm{\Gamma }(1+{\beta }^{\prime }-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}{\mathrm{\Gamma }(1-\alpha -{\alpha }^{\prime }-\beta +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )\mathrm{\Gamma }(1-{\alpha }^{\prime }+{\beta }^{\prime }-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j+\mu \xi )}d\xi .\end{array}$$

Here $k:=[\mathrm{\Re }(\gamma )]+1$, and by using (3.2) in the above expression, and re-interpreting the Mellin-Barnes contour integral in terms of the ℵ-function, we are led to the right-hand side of (3.4). This completes the proof of Theorem 4. □

In view of the relation (1.14), we obtain a (presumably) new result concerning Saigo fractional derivative operator [16] asserted by the following corollary.

Corollary 4 Let $\alpha ,\beta ,\gamma ,\rho ,z\in \mathbb{C}$, $\mathrm{\Re }(\alpha )>0$, $\mu >0$, ${\lambda }_j\in {\mathrm{\Re }}_{+}$ ($j=1,\dots ,s$), and

$$\mathrm{\Re }(\rho )+\mu \underset{1\le i\le n}{max}\left(\frac{\mathrm{\Re }(a_i)-1}{A_i}\right)<1+min\{0,[\mathrm{\Re }(\alpha )]-\mathrm{\Re }(\beta )-1,\mathrm{\Re }(\alpha +\gamma )\}.$$

Then the following relation holds true:

$$\begin{array}{c}\left\{D_{-}^{\alpha ,\beta ,\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times {\mathrm{\aleph }}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ ={(-1)}^{[\mathrm{\Re }(\alpha )]+1}{x}^{\rho +\beta -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times {\mathrm{\aleph }}_{p_i+2,q_i+2,{\tau }_i;r}^{m+2,n}\left[z{x}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (1-\beta -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1+\alpha +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\beta +\gamma -\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{[{\tau }_j(a_j,A_j)]}_{n+1,p_i}\\ (b_j,B_j),\dots ,{[{\tau }_j(b_j,B_j)]}_{m+1,q_i}\end{array}],\hfill \end{array}$$

(3.5)

where the conditions of existence of (3.5) follow easily from Theorem  4.

It is remarked in passing that the corresponding results concerning Riemann-Liouville and Erdélyi-Kober fractional derivative operators can be obtained by putting $\beta =-\alpha$ and $\beta =0$, respectively, in (3.5).

4 Special cases and applications

Here we consider further interesting special cases of Theorem 1. Similarly we can present certain interesting special cases of Theorems 2-4, which are omitted.

(i) If we put ${\tau }_i=1$, $i=\overline{1,r}$ in Theorem 1 and take (1.23) into account, then the Aleph function reduces to the I-function as follows (see [29]):

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\right(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})\hfill \\ \times I_{p_i,q_i;r}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}{(a_j,A_j)}_{1,n},\dots ,{(a_j,A_j)}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m},\dots ,{(b_j,B_j)}_{m+1,q_i}\end{array}]\left)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times I_{p_i+3,q_i+3;r}^{m,n+3}\left[z{x}^{\mu }\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\alpha +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ {(b_j,B_j)}_{1,m},(1-\rho +\alpha +{\alpha }^{\prime }-\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho +{\alpha }^{\prime }-{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),{(a_j,A_j)}_{1,n},\dots ,{(a_j,A_j)}_{n+1,p_i}\\ (1-\rho +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\dots ,{(b_j,B_j)}_{m+1,q_i}\end{array}].\hfill \end{array}$$

(4.1)

(ii) If we put ${\tau }_i=1$, $i=\overline{1,r}$ and set $r=1$ in Theorem 1 and take (1.24) into account, then the Aleph function reduces to the H-function as follows (see [30]):

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\left(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})H_{p,q}^{m,n}\left[z{t}^{\mu }\right|\begin{array}{c}(a_p,A_p)\\ (b_q,B_q)\end{array}]\right)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times H_{p+3,q+3}^{m,n+3}\left[z{x}^{\mu }\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\alpha +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (b_q,B_q),(1-\rho +\alpha +{\alpha }^{\prime }-\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho +{\alpha }^{\prime }-{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(a_p,A_p)\\ (1-\rho +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu )\end{array}].\hfill \end{array}$$

(4.2)

(iii) If we use a known relation between the Mittag-Leffler function $E_{\beta ,\gamma }^{\delta }$ and the H-function (see Mathai et al. [[30], p.25, Eq. (1.137)]):

$$E_{\beta ,\gamma }^{\delta }(z)=\frac{1}{\mathrm{\Gamma }(\delta )}{H}_{1,2}^{1,1}[-z|\begin{array}{c}(0,1),(1-\gamma ,\beta )\\ (1-\delta ,1)\end{array}],$$

(4.3)

in (4.2), we obtain the following interesting formula:

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\left(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})E_{\upsilon ,\eta }^{\delta }\left[z{t}^{\mu }\right]\right)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times \frac{1}{\mathrm{\Gamma }(\delta )}{H}_{4,5}^{1,4}[-z{x}^{\mu }|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\alpha +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (0,1),(1-\eta ,\upsilon ),(1-\rho +\alpha +{\alpha }^{\prime }-\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho +{\alpha }^{\prime }-{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\delta ,1)\\ (1-\rho +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu )\end{array}].\hfill \end{array}$$

(4.4)

(iv) If we use a known relation involving the generalized Wright hypergeometric function ${}_p\psi _q$ (see [[30], p.25, Eq. (1.140)] in (4.2), we obtain the following interesting formula:

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\left(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}{(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})}_p{\psi }_q\left[z{t}^{\mu }\right|\begin{array}{c}(a_p,A_p)\\ (b_q,B_q)\end{array}]\right)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times H_{p+3,q+4}^{1,p+3}[-z{x}^{\mu }|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\alpha +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (0,1),(1-b_q,B_q),(1-\rho +\alpha +{\alpha }^{\prime }-\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho +{\alpha }^{\prime }-{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-a_p,A_p)\\ (1-\rho +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho -{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu )\end{array}].\hfill \end{array}$$

(4.5)

(v) If we use the following known relation between the H-function and the generalized Bessel-Maitland function $J_{v,\lambda }^{\mu }(z)$ (see Mathai et al. [[30], p.25, Eq. (1.139)]):

$$H_{1,3}^{1,1}\left[\frac{z^2}{4}\right|\begin{array}{c}(\lambda +v/2,1)\\ (\lambda +v/2,1),(v/2,1),(\mu (\lambda +v/2)-\lambda -v,\mu )\end{array}]=J_{v,\lambda }^{\mu }(z)$$

(4.6)

in (4.2), we get the following interesting formula:

$$\begin{array}{c}\left\{I_{0+}^{\alpha ,{\alpha }^{\prime },\beta ,{\beta }^{\prime },\gamma }\left(t^{\rho -1}{S}_L^{h_1,\dots ,h_s}(y_1{t}^{{\lambda }_1},\dots ,y_s{t}^{{\lambda }_s})J_{v,\lambda }^{\eta }\left(z{t}^{\mu }\right)\right)\right\}(x)\hfill \\ =x^{\rho -\alpha -{\alpha }^{\prime }+\gamma -1}\sum _{k_1,\dots ,k_s=0}^{h_1{k}_1+\cdots +h_s{k}_s\le L}{(-L)}_{h_1{k}_1+\cdots +h_s{k}_s}A(L;k_1,\dots ,k_s)\frac{y_1^{k_1}}{k_1!}\cdots \frac{y_s^{k_s}}{k_s!}{x}^{{\sum }_{j=1}^s{\lambda }_j{k}_j}\hfill \\ \times H_{4,6}^{1,4}\left[\frac{{(z{x}^{\mu })}^2}{4}\right|\begin{array}{c}(1-\rho -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +\alpha +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\\ (\lambda +v/2,1),(v/2,1),(\eta (\lambda +v/2)-\lambda -v,\eta ),(1-\rho -{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),\end{array}\hfill \\ \begin{array}{c}(1-\rho +{\alpha }^{\prime }-{\beta }^{\prime }-{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(\lambda +v/2,1)\\ (1-\rho +\alpha +{\alpha }^{\prime }-\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu ),(1-\rho +{\alpha }^{\prime }+\beta -\gamma -{\sum }_{j=1}^s{\lambda }_j{k}_j,\mu )\end{array}].\hfill \end{array}$$

(4.7)

It is noted that many other relations involving some known special functions can be obtained as special cases of (4.2).

(vi) If we set a general class of multivariable polynomials $S_L^{h_1,\dots ,h_s}$ to unity, then we easily get the results given by Ram and Kumar [19].

(vii) Further, if we set a general class of multivariable polynomials $S_L^{h_1,\dots ,h_s}$ to unity, and reduce the ℵ-function to Fox’s H-function, then we can easily obtain the known results given by Saxena and Saigo [23].

5 Conclusion

In the present paper, we have given the four theorems of generalized fractional integral and derivative operators given by Saigo-Maeda. The theorems have been developed in terms of the product of ℵ-function and a general class of multivariable polynomials in a compact and elegant form with the help of Saigo-Maeda power function formulas. Most of the given results have been put in a compact form, avoiding the occurrence of infinite series and thus making them useful in applications.

In view of the generality of the ℵ-function, on specializing the various parameters, we can obtain from our results, several results involving a remarkably wide variety of useful functions, which are expressible in terms of the H-function, the I-function, the G-function of one variable and their various special cases. Secondly, on suitably specializing the various parameters of the general class of multivariable variable polynomials, our results can be reduced to a large number of fractional calculus results involving the general class of polynomials, Jacobi polynomials, Legendre polynomials, Hermite polynomials, Bessel polynomials, Gould-Hopper polynomials, and their various particular cases. Thus, the results presented in this paper would at once yield a very large number of results involving a large variety of special functions occurring in the problems of science, engineering, and mathematical physics etc.