Skip to main content

Fractional calculus and integral transforms of the product of a general class of polynomial and incomplete Fox–Wright functions

Abstract

Motivated by a recent study on certain families of the incomplete H-functions (Srivastava et al. in Russ. J. Math. Phys. 25(1):116–138, 2018), we aim to investigate and develop several interesting properties related to product of a more general polynomial class together with incomplete Fox–Wright hypergeometric functions \({}_{p}\Psi _{q}^{(\gamma )}(\mathfrak{t})\) and \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\) including Marichev–Saigo–Maeda (M–S–M) fractional integral and differential operators, which contain Saigo hypergeometric, Riemann–Liouville, and Erdélyi–Kober fractional operators as particular cases regarding different parameter selection. Furthermore, we derive several integral transforms such as Jacobi, Gegenbauer (or ultraspherical), Legendre, Laplace, Mellin, Hankel, and Euler’s beta transforms.

Introduction

In a variety of diverse fields, together with engineering science, material science, mathematical physics, chemistry, and biology, the concept of differential equations (including fractional order) and their application have played an important role, see [5, 14, 18, 4148]. In addition, the special functions of one or more variables are also important because they occur as solutions to these simulated differential equations. Therefore, with the development of new problems in the area of technologies in engineering and applied sciences, the subject of special functions is very diverse and is continuously growing. As a result, a number of articles on these concepts and their future implementations have been made available in the literature, see [14, 39, 40]. Incomplete special functions have additionally been utilized to a wide range of problems, and numerous scientific studies on incomplete special functions, along with related higher transcendental special functions, have currently been published by various authors [612, 15, 2023, 31, 3538]. In particular, the incomplete Fox–Wright functions \({}_{p}\Psi _{q}^{(\gamma )}(\mathfrak{t})\) and \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\) with p numerator and q denominator parameters are stated as follows [23, 35]:

$$ {} _{p}\Psi _{q}^{(\gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{t} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right] =\sum_{\ell =0}^{\infty } \frac{\gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \frac{\mathfrak{t}^{\ell }}{\ell !} $$
(1.1)

and

$$\begin{aligned}& {} _{p}\Psi _{q}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{t} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right] =\sum_{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \frac{\mathfrak{t}^{\ell }}{\ell !} \\& \quad \Biggl(x\geqq 0, A_{j} \in \mathbb{R}^{+}\ (j=1,\ldots ,r); B_{j} \in \mathbb{R}^{+}\ (j=1,\ldots ,s); 1+\sum _{j=1}^{q}B_{j}- \sum _{j=1}^{p} A_{j}\geqq 0 \Biggr), \end{aligned}$$
(1.2)

with

$$ \vert \mathfrak{t} \vert < \nabla := \Biggl(\prod _{j=1}^{p}A_{j}^{-A_{j}} \Biggr) \cdot \Biggl(\prod_{j=1}^{q}B_{j}^{B_{j}} \Biggr). $$

The incomplete Fox–Wright functions \({}_{p}\Psi _{q}^{(\gamma )}(\mathfrak{t})\) and \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\) in (1.1) and (1.2) satisfy the decomposition formula

$$ {} _{p}\Psi _{q}^{(\gamma )}[ \mathfrak{t}] + {}_{p}\Psi _{q}^{(\Gamma )}[ \mathfrak{t}]={}_{p}\Psi _{q} [\mathfrak{t}], $$
(1.3)

where \({}_{p}\Psi _{q} [\mathfrak{t}]\) is the Fox–Wright function [16].

Also, the normalized incomplete Fox–Wright functions \({}_{p}\Psi _{q}^{*(\gamma )} (\mathfrak{t})\) and \({}_{p}\Psi _{q}^{*(\Gamma )} (\mathfrak{t})\) are given by [23, 35]

$$ {} _{p}\Psi _{q}^{*(\gamma )} \left[ \textstyle\begin{array}{@{}r@{\quad}c@{}} (a_{1}, A_{1}, x), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{t} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right] = \frac{\prod_{j=1}^{q}\Gamma (b_{j})}{\prod_{j=1}^{p}\Gamma (a_{j})} {}_{p}\Psi _{q}^{(\gamma )} \left[ \textstyle\begin{array}{@{}r@{\quad}c@{}} (a_{1}, A_{1}, x), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{t} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right] $$
(1.4)

and

$$ {} _{p}\Psi _{q}^{*(\Gamma )} \left[ \textstyle\begin{array}{@{}r@{\quad}c@{}} (a_{1}, A_{1}, x), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{t} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right] = \frac{\prod_{j=1}^{q}\Gamma (b_{j})}{\prod_{j=1}^{p}\Gamma (a_{j})} {}_{p}\Psi _{q}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}r@{\quad}c@{}} (a_{1}, A_{1}, x), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{t} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. $$
(1.5)

Let \(S_{n}^{m}[\mathfrak{u}]\) denote the general family of polynomials made known through Srivastava [30]:

$$ S_{n}^{m}[\mathfrak{u}]=\sum _{s=0}^{[n/m]}\frac{(-n)_{m s}}{s!}A_{n, s} \mathfrak{u}^{s} \quad (n=0,1,2,\ldots). $$
(1.6)

Here, m is a positive integer (arbitrary), the coefficients \(A_{n,s}\in \mathbb{R}\) (or \(\mathbb{C}\)) are constants (arbitrary), and \((\lambda )_{\nu }= \frac{\Gamma (\lambda +\nu )}{\Gamma (\lambda )}\) (\(\lambda ,\nu \in \mathbb{C}\)) denotes the shifted factorial (or the Pochhammer symbol). Also, the above polynomials provide a large number spectrum of well-known polynomials as one of its particular cases on appropriately specializing the coefficient \(A_{n,s}\). Particularly, by setting \(m=1\), \(A_{n, s}=\frac{s!}{(-n)_{m s}}\) for \(s=k\) and \(A_{n, s}=0\) for \(s\neq k\), the general class of polynomials leads to a power function, i.e.,

$$ S_{n}^{m}[\mathfrak{u}]= \mathfrak{u}^{k}\quad \bigl(k\in {\mathbb{Z}^{+}} \text{ with } k\leq n\bigr). $$
(1.7)

Taking into account formula (1.3), it is also appropriate to study the characteristics and properties of the incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\).

Fractional integral and differential operators

We recall a general pair of fractional integral and differential operators popularly known as Marichev–Saigo–Maeda (M-S-M), which involve, in their kernel, third Appell’s two-variable hypergeometric function \(F_{3}(.)\) and are defined by [32]

$$ F_{3} \bigl(\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }; \eta ; \mathfrak{X}, \mathfrak{Y} \bigr)= \sum _{m,n=0}^{ \infty } \frac{(\sigma )_{m}(\sigma ^{\prime })_{n}(\rho )_{m}(\rho ^{\prime })_{n}}{(\eta )_{m+n}} \frac{\mathfrak{X}}{m!} \frac{\mathfrak{Y}}{n!} \quad \bigl(\max \bigl\{ \vert \mathfrak{X} \vert , \vert \mathfrak{Y} \vert < 1\bigr\} \bigr). $$
(2.1)

Here, we mention and study left-hand-sided fractional integral and differential operators(see, for details, [19, 26, 28]).

Definition 1

For \(\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta \in \mathbb{C}\) and \(x>0\) with \(\Re (\eta )>0\), the left-hand-sided Marichev–Saigo–Maeda (M–S–M) fractional integral and differential operators are respectively defined as

$$\begin{aligned} \bigl(\mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta }f \bigr) (\mathfrak{X})&= \frac{\mathfrak{X}^{-\sigma }}{\Gamma (\eta )} \int _{0}^{\mathfrak{X}}( \mathfrak{X}- \mathfrak{t})^{\eta -1}\mathfrak{t}^{-\sigma ^{\prime }} \\ &\quad {} \times F_{3} \biggl( \sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }; \eta ; 1- \frac{\mathfrak{t}}{\mathfrak{X}}, 1- \frac{\mathfrak{X}}{\mathfrak{t}} \biggr)f(\mathfrak{t}) \, {\mathrm{d}} \mathfrak{t} \end{aligned}$$
(2.2)

and

$$\begin{aligned} \bigl(\mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta }f \bigr) (\mathfrak{X})&= \bigl(I_{0+} ^{- \sigma ^{\prime },-\sigma ,-\rho ^{\prime }, -\rho , -\eta } f \bigr) ( \mathfrak{X}) \\ & = \biggl(\frac{d}{d\mathfrak{X}} \biggr)^{\kappa } \bigl( \mathcal{I}_{0+}^{-\sigma ^{\prime }, -\sigma , -\rho ^{\prime }+[ \Re (\eta )]+1, -\rho , -\eta +\kappa +1}f \bigr) (\mathfrak{X}) \\ & =\frac{1}{\Gamma (\kappa -\eta )} \biggl( \frac{d}{d\mathfrak{X}} \biggr)^{\kappa } \mathfrak{X}^{\sigma _{1}' } \int _{0}^{\mathfrak{X}} (\mathfrak{X}-\mathfrak{t} )^{ \kappa -\eta -1} \mathfrak{t}^{\sigma } \\ &\quad {} \times F_{3} \biggl(-\sigma ^{\prime },-\sigma ,\kappa - \rho ^{\prime }, -\rho ; \kappa -\eta ;1- \frac{\mathfrak{t}}{\mathfrak{X}} ,1- \frac{\mathfrak{X}}{\mathfrak{t}} \biggr)f(\mathfrak{t})\, {\mathrm{d}} \mathfrak{t}, \end{aligned}$$
(2.3)

where \(\kappa =[\Re (\eta )]+1\) and \([\Re (\eta )]\) denotes the integer part of \(\Re (\eta )\).

The preceding results are well known and can be used as a proof of subsequent theorems.

Lemma

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

  1. (a)

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

    $$ \begin{aligned}[b] &\bigl(\mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \mathfrak{t}^{\lambda -1} \bigr) ( \mathfrak{X}) \\ &\quad = \frac{\Gamma (\lambda )\Gamma (-\sigma ^{\prime }+ \rho ^{\prime }+\lambda )\Gamma (-\sigma -\sigma ^{\prime }-\rho +\eta +\lambda )}{\Gamma (\rho ^{\prime }+\lambda )\Gamma (-\sigma -\sigma ^{\prime }+\eta +\lambda )\Gamma (-\sigma ^{\prime }-\rho +\eta +\lambda )} \mathfrak{X}^{-\sigma -\sigma ^{\prime }+\eta +\lambda -1}. \end{aligned} $$
    (2.4)
  2. (b)

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

    $$ \begin{aligned}[b] &\bigl(\mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \mathfrak{t}^{\lambda -1} \bigr) ( \mathfrak{X}) \\ &\quad = \frac{\Gamma (\lambda )\Gamma (\sigma -\rho +\lambda )\Gamma (\sigma +\sigma ^{\prime }+\rho ^{\prime }-\eta +\lambda )}{\Gamma (-\rho +\lambda )\Gamma (\sigma +\sigma ^{\prime }-\eta +\lambda )\Gamma (\sigma +\rho ^{\prime }-\eta +\lambda )} \mathfrak{X}^{\sigma +\sigma ^{\prime }-\eta +\lambda -1}. \end{aligned} $$
    (2.5)

Firstly, we shall investigate the left-hand-sided Marichev–Saigo–Maeda (M–S–M) fractional integral and differential operators of the product of a general family of polynomial along with incomplete Fox–Wright functions \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\).

Theorem 1

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

$$\begin{aligned} & \bigl(\mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \bigl( \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad = \mathfrak{X}^{\lambda -\sigma -\sigma ^{\prime }+\eta -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+3}\Psi _{q+3}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{}} (a_{1}, A_{1}, x), (\lambda +s\mu , \nu ), (-\sigma ^{\prime }+\rho ^{ \prime }+\lambda +s\mu , \nu ), \\ (\rho ^{\prime }+\lambda +s\mu , \nu ), (-\sigma -\sigma ^{\prime }+ \eta +\lambda +s\mu , \nu ), \end{array}\displaystyle \right. \\ &\qquad \left. \textstyle\begin{array}{@{}c@{}} (-\sigma -\sigma ^{\prime }-\rho +\eta +\lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p}; \\ (-\sigma ^{\prime }-\rho +\eta +\lambda +s\mu , \nu ),(b_{j}, B_{j})_{1, q} ; \end{array}\displaystyle \quad \mathfrak{X}^{\nu } \right]. \end{aligned}$$
(2.6)

Proof

For the sake of simplicity, let us consider

$$ \mathfrak{L}= \bigl(\mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \bigl(\mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}). $$
(2.7)

Now, using (1.2) and (1.6) in (2.7) and then taking advantage of relationship (2.4), we find for \(\mathfrak{X}>0\)

$$\begin{aligned} \mathfrak{L} &= \Biggl(\mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \Biggl( \mathfrak{t}^{\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{t}^{s \mu } \sum _{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p} \Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \frac{\mathfrak{t}^{\ell \nu }}{\ell !} \Biggr) \Biggr) (\mathfrak{X}) \\ & = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell ) \ell !}\times \bigl( \mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{ \prime }, \eta } \bigl\{ \mathfrak{t}^{\lambda +s\mu +\ell \nu -1}\bigr\} \bigr) ( \mathfrak{X}) \\ & = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell ) \ell !} \times \mathfrak{X}^{-\sigma -\sigma ^{\prime }+\eta +\lambda +s\mu +\ell \nu -1} \\ &\quad {} \times \frac{\Gamma (\lambda +s\mu +\ell \nu )\Gamma (-\sigma ^{\prime } +\rho ^{\prime }+\lambda +s\mu +\ell \nu ) \Gamma (-\sigma -\sigma ^{\prime }-\rho +\eta +\lambda +s\mu +\ell \nu )}{\Gamma (\rho ^{\prime }+\lambda +s\mu +\ell \nu )\Gamma (-\sigma -\sigma ^{\prime }+\eta +\lambda +s\mu +\ell \nu ) \Gamma (-\sigma ^{\prime }-\rho +\eta +\lambda +s\mu +\ell \nu )}. \end{aligned}$$

Finally, in opinion of (1.2) interpretation, we get (2.6) as a desired outcome. □

Theorem 2

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

$$\begin{aligned} & \bigl(\mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \bigl( \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad =\mathfrak{X}^{\lambda +\sigma +\sigma ^{\prime }-\eta -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+3}\Psi _{q+3}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{}} (a_{1}, A_{1}, x), (\lambda +s\mu , \nu ), (\sigma -\rho +\lambda +s \mu , \nu ), \\ (-\rho +\lambda +s\mu , \nu ), (\sigma +\sigma ^{\prime }-\eta + \lambda +s\mu , \nu ), \end{array}\displaystyle \right. \\ &\qquad \left. \textstyle\begin{array}{@{}c@{}} (\sigma +\sigma ^{\prime }+\rho ^{\prime }-\eta +\lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p} ; \\ (\sigma +\rho ^{\prime }-\eta +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; \end{array}\displaystyle \quad \mathfrak{X}^{\nu } \right]. \end{aligned}$$
(2.8)

Proof

For the sake of simplicity, let us consider

$$ \mathfrak{T}= \bigl(\mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \bigl(\mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}). $$
(2.9)

Now using (1.2) and (1.6) in (2.9) and then taking advantage of relationship (2.5), for \(\mathfrak{X}>0\), we acquire

$$\begin{aligned} \mathfrak{T} &= \Biggl(\mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \Biggl( \mathfrak{t}^{\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{t}^{s \mu } \sum _{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \frac{\mathfrak{t}^{\ell \nu }}{\ell !} \Biggr) \Biggr) (\mathfrak{X}) \\ & = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell ) \ell !}\times \bigl( \mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{ \prime }, \eta } \bigl\{ \mathfrak{t}^{\lambda +s\mu +\ell \nu -1}\bigr\} \bigr) ( \mathfrak{X}) \\ & = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell ) \ell !} \times \mathfrak{X}^{\sigma +\sigma ^{\prime }-\eta +\lambda +s\mu +\ell \nu -1} \\ &\quad {} \times \frac{\Gamma (\lambda +s\mu +\ell \nu )\Gamma (\sigma +\sigma ^{\prime }+\rho ^{\prime }-\eta +\lambda +s\mu +\ell \nu ) \Gamma (\sigma -\rho +\lambda +s\mu +\ell \nu )}{\Gamma (-\rho +\lambda +s\mu +\ell \nu )\Gamma (\sigma +\rho ^{\prime }-\eta +\lambda +s\mu +\ell \nu ) \Gamma (\sigma +\sigma ^{\prime }-\eta +\lambda +s\mu +\ell \nu )}. \end{aligned}$$

Finally, in opinion of the (1.2) interpretation, we get (2.8) as a desired outcome. □

The \(F_{3}\) Appell function in (2.1) tends to reduce to the hypergeometric function \({}_{2}F_{1} \) of Gauss as follows:

$$\begin{aligned} {}_{2}F_{1}(\sigma , \rho ; \eta ; \mathfrak{X})&= F_{3} \bigl( \sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }; \eta ; \mathfrak{X}, 0 \bigr) \\ & = F_{3} \bigl(\sigma , 0, \rho , \rho ^{ \prime }; \eta ; \mathfrak{X}, \mathfrak{Y} \bigr) \\ & =F_{3} \bigl(\sigma , \sigma ^{\prime }, \rho , 0; \eta ; \mathfrak{X}, \mathfrak{Y} \bigr). \end{aligned}$$
(2.10)

In the light of the reduction formula (2.10), the Marichev–Saigo–Maeda operators (2.2) including (2.3) reduce to Saigo’s hypergeometric fractional operators. If we take \(\sigma =\sigma +\rho \), \(\sigma '=\rho '=0\), \(\rho =-\eta \), \(\eta =\sigma \), we immediately obtain Saigo’s fractional integral along with differential operators in conjunction with the hypergeometric function \({}_{2}F_{1}\) [26, 27]:

$$ \bigl(\mathcal{I}^{\sigma ,\rho ,\eta }_{0,+}f \bigr) ( \mathfrak{X}) = \frac{\mathfrak{X}^{-\sigma -\rho }}{\Gamma (\sigma )} \int _{0}^{ \mathfrak{X}}(\mathfrak{X}- \mathfrak{t})^{\sigma -1} {}_{2}{F}_{1} \biggl( \sigma +\rho ,-\eta ;\sigma ;1- \frac{\mathfrak{t}}{\mathfrak{X}} \biggr)f(\mathfrak{t})\, { \mathrm{d}} \mathfrak{t}, $$
(2.11)

and

$$\begin{aligned} \bigl(\mathcal{D}^{\sigma ,\rho ,\eta }_{0,+}f \bigr) ( \mathfrak{X}) &= \bigl(\mathcal{I}_{0,+} ^{-\sigma ,-\rho ,\sigma + \eta } f \bigr) (\mathfrak{X}) \\ & = \biggl(\frac{d}{d\mathfrak{X}} \biggr)^{ \kappa } \bigl( \mathcal{I}_{0,+}^{-\sigma +\kappa ,-\rho -\kappa , \sigma +\eta -\kappa } f \bigr) (\mathfrak{X})\quad \bigl( \kappa =\bigl[\Re ( \sigma )\bigr]+1\bigr). \end{aligned}$$
(2.12)

Furthermore, by specializing the parameters in (2.11) and (2.12), we obtain Riemann–Liouville and Erdélyi–Kober fractional operators. Setting \(\rho =-\sigma \) in (2.11) and (2.12) yields the familiar Riemann–Liouville integrals and derivatives of fractional order \(\sigma \in \mathbb{C}\) beside \(\Re (\sigma ) > 0\) as well as \(\mathfrak{X} \in \mathbb{R}^{+}\) (see, e.g., [17]):

$$ \bigl(\mathcal{I}_{0,+}^{\sigma ,-\sigma ,\eta } f \bigr) ( \mathfrak{X})= \bigl(\mathcal{I}_{0,+}^{\sigma } f \bigr) ( \mathfrak{X})\equiv \frac{1}{\Gamma (\sigma )} \int _{0}^{ \mathfrak{X}}(\mathfrak{X}- \mathfrak{t})^{\sigma -1} f(\mathfrak{t})\, {\mathrm{d}}\mathfrak{t} $$
(2.13)

and

$$\begin{aligned} \bigl(\mathcal{D}^{\sigma ,-\sigma ,\eta }_{0,+}f \bigr) ( \mathfrak{X}) &= \bigl(\mathcal{D}_{0,+} ^{\sigma } f \bigr) ( \mathfrak{X}) \\ & = \biggl(\frac{d}{d\mathfrak{X}} \biggr) ^{ \kappa } \bigl( \mathcal{I}_{0,+} ^{\kappa -\sigma } f \bigr) ( \mathfrak{X})\quad \bigl( \kappa =\bigl[\Re (\sigma )\bigr]+1\bigr). \end{aligned}$$
(2.14)

Again setting \(\rho =0\) in (2.11) and (2.12) provides the so-called Erdélyi–Kober integrals and derivatives of fractional order \(\sigma \in \mathbb{C}\) along with \(\Re (\sigma ) > 0\) and \(\mathfrak{X} \in \mathbb{R}^{+}\) (see, e.g., [34]):

$$ \bigl(\mathcal{I}^{\sigma ,0,\eta }_{0,+}f \bigr) (\mathfrak{X})= \bigl(\mathcal{I}^{+}_{\eta ,\sigma }f \bigr) ( \mathfrak{X}) = \frac{\mathfrak{X}^{-\sigma -\eta }}{\Gamma (\sigma )} \int _{0}^{ \mathfrak{X}}(\mathfrak{X}- \mathfrak{t})^{\sigma -1}\mathfrak{t}^{ \eta } f(\mathfrak{t}) \, { \mathrm{d}}\mathfrak{t} $$
(2.15)

and

$$\begin{aligned} \bigl(\mathcal{D}^{\sigma ,0,\eta }_{0,+}f \bigr) (\mathfrak{X})& = \bigl(\mathcal{D}^{+}_{\eta ,\sigma }f \bigr) ( \mathfrak{X}) \\ & = \biggl(\frac{d}{d\mathfrak{X}} \biggr)^{n} \bigl( \mathcal{I}_{0,+}^{-\sigma +\kappa ,-\sigma ,\sigma +\eta - \kappa } f \bigr) (\mathfrak{X})\quad \bigl( \kappa =\bigl[\Re (\sigma )\bigr]+1\bigr). \end{aligned}$$
(2.16)

Here, we mention these results in form of Corollaries 2.1 to 2.6.

Corollary 2.1

Let \(\sigma , \rho , \eta , \lambda \in \mathbb{C}\) be such that \(\Re (\sigma ), \mu , \nu >0\) and \(\Re (\lambda )> \max \{\Re (-s\mu ), \Re (\rho -\eta -s\mu ) \}\). Thereupon, for \(\mathfrak{X}>0\),

$$\begin{aligned} & \bigl(\mathcal{I}_{0+}^{\sigma , \rho , \eta } \bigl( \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{( \Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad = \mathfrak{X}^{-\rho +\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+2}\Psi _{q+2}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\lambda +s\mu , \nu ), (-\rho +\eta +\lambda +s \mu , \nu ), (a_{j}, A_{j})_{2, p} ; & \\ & \mathfrak{X}^{\nu } \\ (\sigma +\eta +\lambda +s\mu , \nu ), (-\rho +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; &\end{array}\displaystyle \right]. \end{aligned}$$
(2.17)

Corollary 2.2

Suppose \(\sigma , \eta , \lambda \in \mathbb{C}\) to be such that \(\Re (\sigma ), \mu , \nu >0\) and \(\Re (\lambda )> \max \{\Re (-s\mu ), \Re (-\sigma -\eta -s\mu ) \}\). Thereupon, for \(\mathfrak{X}>0\),

$$\begin{aligned} & \bigl(\mathcal{I}_{0+}^{\sigma , -\sigma , \eta } \bigl( \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{( \Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad = \mathfrak{X}^{\sigma +\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+1}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p} ; & \\ & \mathfrak{X}^{\nu } \\ (\sigma +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; &\end{array}\displaystyle \right]. \end{aligned}$$
(2.18)

Corollary 2.3

Let \(\sigma , \eta , \lambda \in \mathbb{C}\) be such that \(\Re (\sigma ), \mu , \nu >0\) and \(\Re (\lambda )> \max \{\Re (-s\mu ), \Re (-\eta -s\mu ) \}\). Thereupon, for \(\mathfrak{X}>0\),

$$\begin{aligned} & \bigl(\mathcal{I}_{\eta , \sigma }^{+} \bigl( \mathfrak{t}^{ \lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )} \bigl[ \mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad = \mathfrak{X}^{ \lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+1}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\eta +\lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p} ; & \\ & \mathfrak{X}^{\nu } \\ (\sigma +\eta +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; &\end{array}\displaystyle \right]. \end{aligned}$$
(2.19)

Corollary 2.4

Let \(\sigma , \rho , \eta , \lambda \in \mathbb{C}\) be such that \(\mu , \nu >0\) and \(\Re (\lambda )> \max \{\Re (-s\mu ), \Re (-\sigma -\rho -\eta -s\mu )\}\). Then, for \(\mathfrak{X}>0\),

$$\begin{aligned}& \bigl(\mathcal{D}_{0+}^{\sigma , \rho , \eta } \bigl( \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{( \Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\& \quad = \mathfrak{X}^{\rho +\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\& \qquad {} \times {}_{p+2}\Psi _{q+2}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\lambda +s\mu , \nu ), (\sigma +\rho +\eta + \lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p} ; &\\ & \mathfrak{X}^{\nu } \\ (\eta +\lambda +s\mu , \nu ), (\rho +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(2.20)

Corollary 2.5

Let \(\sigma , \eta , \lambda \in \mathbb{C}\) be such that \(\mu , \nu >0\) and \(\Re (\lambda )> \max \{\Re (-s\mu ), \Re (-\eta -s\mu )\}\). Then, for \(\mathfrak{X}>0\),

$$\begin{aligned} & \bigl(\mathcal{D}_{0+}^{\sigma , -\sigma , \eta } \bigl( \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{( \Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad =\mathfrak{X}^{-\sigma +\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+1}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p} ; &\\ & \mathfrak{X}^{\nu } \\ (-\sigma +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(2.21)

Corollary 2.6

Let \(\sigma , \eta , \lambda \in \mathbb{C}\) be such that \(\mu , \nu >0\) and \(\Re (\lambda )> \max \{\Re (-s\mu ), \Re (-\sigma -\eta -s\mu )\}\). Thereupon, for \(\mathfrak{X}>0\),

$$\begin{aligned} & \bigl(\mathcal{D}_{\eta , \sigma }^{+} \bigl( \mathfrak{t}^{ \lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\mu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )} \bigl[ \mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad =\mathfrak{X}^{\lambda -1} \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{X}^{s\mu } \\ &\qquad {} \times {}_{p+1}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\sigma +\eta +\lambda +s\mu , \nu ), (a_{j}, A_{j})_{2, p} ; &\\ & \mathfrak{X}^{\nu } \\ (\eta +\lambda +s\mu , \nu ), (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(2.22)

Integral transforms

In this part, several integral transforms such as Jacobi, Gegenbauer (or ultraspherical), Legendre, Laplace, Mellin, Hankel, and Euler’s beta transforms of a product of a general polynomial class and incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\) are presented.

Jacobi and related integral transforms

The classical orthogonal Jacobi polynomial \(P^{(\mathfrak{h},\mathfrak{g})}_{n}(\mathfrak{t})\) is given by the following (see, for example, [33]):

$$ P^{(\mathfrak{h},\mathfrak{g})}_{n}(\mathfrak{t})=(-1)^{n}(- \mathfrak{t})=\binom{\mathfrak{h}+n}{n}\, {}_{2}F_{1} \left[ \textstyle\begin{array}{c} -n,\mathfrak{h}+\mathfrak{g}+n+1 \\ \mathfrak{h}+1 \end{array}\displaystyle \biggm|\frac{1-\mathfrak{t}}{2} \right], $$
(3.1)

where \({}_{2}{F}_{1}\) is the Gauss hypergeometric function [25].

Definition 2

The Jacobi transformation of a \(f(\mathfrak{t})\) function is set as follows (see, e.g., [13, p. 501]):

$$\begin{aligned}& \mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[f(\mathfrak{t});n\bigr]= \int _{-1}^{1}(1- \mathfrak{t})^{\mathfrak{h}} (1+\mathfrak{t})^{\mathfrak{g}} P^{( \mathfrak{h},\mathfrak{g})}_{n}( \mathfrak{t}) f(\mathfrak{t})\, {\mathrm{d}} \mathfrak{t} \\& \quad \bigl(\min \bigl\{ \Re (\mathfrak{h}), \Re (\mathfrak{g})\bigr\} >-1; n\in \mathbb{N}_{0}\bigr), \end{aligned}$$
(3.2)

provided that the \(f(\mathfrak{t})\) function seems to be so limited that only the integral exists in (3.2).

The Jacobi transform of the power function \(\mathfrak{t}^{\rho -1}\) is given by (see, e.g., [37, p. 128, Eq. (18)])

$$\begin{aligned}& \mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]= \int _{-1}^{1}(1-\mathfrak{t})^{\xi -1} (1+\mathfrak{t})^{\eta -1} P^{( \mathfrak{h},\mathfrak{g})}_{n}( \mathfrak{t}) \mathfrak{t}^{\rho -1}\, {\mathrm{d}}\mathfrak{t} \\& \hphantom{\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]} =2^{\xi +\eta -1}\binom{\mathfrak{h}+n}{n} { \mathrm{B}}(\xi ,\eta ) F_{1:1;0}^{1:2;1} \left [ \textstyle\begin{array}{@{}r@{}} \xi :-n,\mathfrak{h}+\mathfrak{g}+n+1;1-\rho ; \\ \xi +\eta :\qquad \mathfrak{h}+1;\qquad \overline{\quad}; \end{array}\displaystyle \quad 1,2 \right ] \\& \hphantom{\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]={}} \bigl(\min \bigl\{ \Re (\xi ), \Re (\eta )\bigr\} >0; \rho \in \mathbb{C}; n\in \mathbb{N}_{0}\bigr), \end{aligned}$$
(3.3)

where \(F_{p:l;\mu }^{q:m;\nu } \) corresponds to Kampé de Fériet’s function in two variables (see, e.g., [32, p. 22, Eq. 1.3(2)] and [32, p. 37, Eq. 1.4(21)]). In fact, this last integral formula (3.3) will be reduced instantly to the preceding form when specifying \(\xi =\mathfrak{h}+1\) and \(\eta =\mathfrak{g}+1\):

$$\begin{aligned}& \mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]= \int _{-1}^{1}(1-\mathfrak{t})^{\mathfrak{h}} (1+\mathfrak{t})^{ \mathfrak{g}} P^{(\mathfrak{h},\mathfrak{g})}_{n}( \mathfrak{t}) \mathfrak{t}^{\rho -1} \, {\mathrm{d}}\mathfrak{t} \\& \hphantom{\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]} =2^{\mathfrak{h}+\mathfrak{g}+1} \binom{\mathfrak{h}+n}{n} {\mathrm{B}}(\mathfrak{h}+1, \mathfrak{g}+1) \\& \hphantom{\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]={}}{}\times F_{1:1;0}^{1:2;1} \left [ \textstyle\begin{array}{@{}r@{}} \mathfrak{h}+1:-n,\mathfrak{h}+\mathfrak{g}+n+1;1-\rho ; \\ \mathfrak{h}+\mathfrak{g}+2: \qquad \mathfrak{h}+1; \qquad \overline{\quad}; \end{array}\displaystyle \quad 1,2 \right ] \\& \hphantom{\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl[\mathfrak{t}^{\rho -1}; n\bigr]={}}\bigl(\min \bigl\{ \Re (\mathfrak{h}), \Re (\mathfrak{g})\bigr\} >-1; \rho \in \mathbb{C}; n\in \mathbb{N}_{0}\bigr). \end{aligned}$$
(3.4)

However, in its additional limited case where \(\rho =m+ 1\) (\(m \in \mathbb{N}_{0}\)), (3.4) brings the established consequence about the \(\mathfrak{t}^{m}\) (\(m \in \mathbb{N}_{0}\)) Jacobi transform studied by [25, p. 261, Eq. (14) along with (15)]:

J ( h , g ) [ t m ; n ] = 1 1 ( 1 t ) h ( 1 + t ) g P n ( h , g ) ( t ) t m d t = { 0 ( m = 0 , 1 , 2 , , n 1 ) , 2 h + g + n + 1 B ( h + n + 1 , g + n + 1 ) ( m = n ) , 2 h + g + n + 1 ( m n ) B ( h + n + 1 , g + n + 1 ) 2 F 1 [ n m , h + n + 1 h + g + 2 n + 2 2 ] , ( m = n + 1 , n + 2 , n + 3 , ) ( min { ( h ) , ( g ) } > 1 ; m , n N 0 ) .
(3.5)

Specifying the parameters \(\mathfrak{h}\) and \(\mathfrak{g}\), the Jacobi polynomials \(P^{(\mathfrak{h},\mathfrak{g})}_{n}(\mathfrak{t})\) exhibit, like in their individual cases, other such recognized orthogonal polynomials being the Gegenbauer (or ultraspherical) polynomials \(C^{\nu }_{n}(\mathfrak{t})\), the Legendre (or spherical) polynomials \(P_{n}(\mathfrak{t})\), and the Tchebycheff polynomials \(T_{n}(\mathfrak{t})\) and \(U_{n}(\mathfrak{t})\) of the first kind and second kind (see, for details, [33]). In addition, we have the accompanying established connections with the Gegenbauer polynomials \(C^{\nu }_{n}(\mathfrak{\mathfrak{t}})\) as well as the Legendre polynomials \(P_{n}(\mathfrak{\mathfrak{t}})\):

$$ C^{\nu }_{n}(\mathfrak{t})= \binom{\nu +n-\frac{1}{2}}{n}^{-1} \binom{2\nu +n-1}{n} P^{(\nu -\frac{1}{2},\nu -\frac{1}{2})}_{n}( \mathfrak{t}) $$
(3.6)

and

$$ P_{n}(\mathfrak{t})=C^{\frac{1}{2}}_{n}( \mathfrak{t})=P^{(0,0)}_{n}( \mathfrak{t}), $$
(3.7)

respectively, which, in conjunction with (3.2), brings the Gegenbauer transform \(\mathbb{G}^{(\nu )}[f(\mathfrak{t}); n]\) as follows:

$$\begin{aligned} &\mathbb{G}^{(\nu )}\bigl[f(\mathfrak{t});n\bigr] \\ &\quad =\binom{\nu +n-\frac{1}{2}}{n}^{-1}\binom{2\nu +n-1}{n} \mathbb{J}^{( \nu -\frac{1}{2},\nu -\frac{1}{2})}\bigl[f(\mathfrak{t});n\bigr] \\ &\quad = \int _{-1}^{1}\bigl(1-\mathfrak{t}^{2} \bigr)^{\nu -\frac{1}{2}} C^{\nu }_{n}( \mathfrak{ \mathfrak{t}}) f(\mathfrak{t})\, {\mathrm{d}}\mathfrak{t}\quad \biggl(\Re (\nu )>- \frac{1}{2}; n\in \mathbb{N}_{0}\biggr), \end{aligned}$$
(3.8)

and the resulting Legendre transform \(\mathbb{L}[f(\mathfrak{t}); n]\) which is described by

$$ \mathbb{L}\bigl[f(\mathfrak{t}); n\bigr]=\mathbb{G}^{(\frac{1}{2})} \bigl[f( \mathfrak{t});n\bigr]= \int _{-1}^{1}P_{n}(\mathfrak{t}) f( \mathfrak{\mathfrak{t}})\, {\mathrm{d}}\mathfrak{t} \quad (n\in \mathbb{N}_{0}). $$
(3.9)

We are now generating three new results that provide the relations between Jacobi, Gegenbauer, and Legendre transforms with the following incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}\) (1.2).

Theorem 3

The preceding formula for Jacobi transform is valid under the condition stated in (1.2):

$$\begin{aligned} &\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl\{ \mathfrak{t}^{\rho -1}S_{n'}^{m'}[ \omega \mathfrak{t}] {}_{p}\Psi _{q}^{(\Gamma )}[\omega \mathfrak{t}]; n\bigr\} \\ &\quad =2^{\mathfrak{h}+\mathfrak{g}+1}\binom{\mathfrak{h}+n}{n} { \mathrm{B}}( \mathfrak{h}+1,\mathfrak{g}+1) \\ &\qquad {} \times \sum_{s=0}^{[n'/m']} \frac{(-n')_{m' s}}{s!}A_{n',s} \omega ^{s} \sum _{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \\ &\qquad {} \times F_{1:1;0}^{1:2;1} \left [ \textstyle\begin{array}{@{}r@{}} \mathfrak{h}+1:-n,\mathfrak{h}+\mathfrak{g}+n+1;1-\rho -s-\ell ; \\ \mathfrak{h}+\mathfrak{g}+2: \qquad \mathfrak{h}+1; \qquad \overline{\quad}; \end{array}\displaystyle \quad 1,2 \right ] \frac{\omega ^{\ell }}{\ell !} \\ &\qquad \bigl(x\geqq 0; n\in \mathbb{N}_{0};\min \bigl\{ \Re ( \mathfrak{h}), \Re ( \mathfrak{g})\bigr\} >-1; \rho \in \mathbb{C};p,q\in \mathbb{N}_{0}\bigr), \end{aligned}$$
(3.10)

where the Jacobi transform into (3.4) is assumed to exist.

Proof

By employing the concept of (3.2) together with (1.2), we get

$$\begin{aligned} &\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl\{ \mathfrak{t}^{\rho -1}S_{n'}^{m'}[ \omega \mathfrak{t}] {}_{p}\Psi _{q}^{(\Gamma )}[\omega \mathfrak{t}]; n\bigr\} \\ &\quad = \int _{-1}^{1}\mathfrak{t}^{\rho -1}(1- \mathfrak{t})^{\mathfrak{h}} (1+\mathfrak{t})^{\mathfrak{g}} P^{(\mathfrak{h},\mathfrak{g})}_{n}( \mathfrak{t}) S_{n'}^{m'}[ \omega \mathfrak{t}] {}_{p}\Psi _{q}^{( \Gamma )}[\omega \mathfrak{t}] \, {\mathrm{d}}\mathfrak{t} \\ &\quad = \int _{-1}^{1}\mathfrak{t}^{\rho -1}(1- \mathfrak{t})^{\mathfrak{h}} (1+\mathfrak{t})^{\mathfrak{g}} P^{(\mathfrak{h},\mathfrak{g})}_{n}( \mathfrak{t}) \sum _{s=0}^{[n'/m']}\frac{(-n')_{m' s}}{s!}A_{n', s} (\omega \mathfrak{t})^{s} \\ &\qquad {} \times \sum_{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \frac{(\omega \mathfrak{t})^{\ell }}{\ell !} \, {\mathrm{d}}\mathfrak{t}, \end{aligned}$$
(3.11)

where, when adjusting the order of integration and summation (that might be easily explained by absolute convergence), we make use of the Jacobi transform formula (3.4) along with the parameter ρ substituted by \(\rho +k\) (\(\rho \in \mathbb{C};k\in \mathbb{N}_{0}\)). □

By employing the Jacobi transform formula (3.5), we can simplify the assertion (3.10) of Theorem 3 in their limiting case when \(\rho =m+ 1\) (\(m \in \mathbb{N}_{0}\)). Furthermore, in light of connection (3.6), Theorem 3 gives the subsequent corollary by considering \(\mathfrak{h}=\mathfrak{g}= \nu -\frac{1}{2}\).

Corollary 3.1

The following Gegenbauer transform formula holds true under the condition stated in (1.2):

$$\begin{aligned} &\mathbb{G}^{(\nu )}\bigl[\mathfrak{t}^{\rho -1}S_{n'}^{m'}[ \omega \mathfrak{t}] {}_{p}\Psi _{q}^{(\Gamma )} [\omega \mathfrak{t}]; n\bigr] \\ &\quad =2^{2 \nu }\binom{2\nu +n-1}{n} {\mathrm{B}} \biggl(\nu +\frac{1}{2},\nu +\frac{1}{2}\biggr) \\ &\qquad {} \times \sum_{s=0}^{[n'/m']} \frac{(-n')_{m' s}}{s!}A_{n',s} \omega ^{s} \sum _{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \\ &\qquad {} \times F_{1:1;0}^{1:2;1} \left [ \textstyle\begin{array}{@{}r@{}} \nu +\frac{1}{2}:-n,2\nu +n;1-\rho -\ell ; \\ 2\nu +1: \qquad \nu +\frac{1}{2}; \qquad \overline{\quad}; \end{array}\displaystyle \quad 1,2 \right ] \frac{\omega ^{\ell }}{\ell !} \\ &\qquad (x\geqq 0; n\in \mathbb{N}_{0}; \rho \in \mathbb{C};p,q\in \mathbb{N}_{0}), \end{aligned}$$
(3.12)

where it is assumed that the Gegenbauer transform in (3.12) exists.

A special case of Theorem 3 when \(\mathfrak{h}=\mathfrak{g}=0\) (or, alternatively, Corollary 3.1 with \(\nu =\frac{1}{2}\)) gives the following result for the Legendre transform described by (3.9).

Corollary 3.2

The subsequent Legendre transform formula holds true under the condition stated in (1.2):

$$\begin{aligned} &\mathbb{L}\bigl[\mathfrak{t}^{\rho -1}S_{n'}^{m'}[ \omega \mathfrak{t}] {}_{p}\Psi _{q}^{(\Gamma )} [\omega \mathfrak{t}]; n\bigr] \\ &\quad =2\sum_{s=0}^{[n'/m']} \frac{(-n')_{m' s}}{s!}A_{n',s} \omega ^{s} \sum_{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \\ &\qquad {} \times F_{1:1;0}^{1:2;1} \left [ \textstyle\begin{array}{@{}r@{}} 1:-n,n+1;1-\rho -\ell ; \\ 2: \qquad 1; \qquad \overline{\quad}; \end{array}\displaystyle \quad 1,2 \right ] \frac{\omega ^{\ell }}{\ell !} \\ &\qquad (x\geqq 0; n\in \mathbb{N}_{0}; \rho \in \mathbb{C};p,q\in \mathbb{N}_{0}), \end{aligned}$$
(3.13)

where it is assumed that the Legendre transform in (3.13) exists.

Laplace transform

The Laplace transform of a given function \(f(\mathfrak{t})\) is defined as follows [13, 29]:

$$ \mathrm{L}\bigl\{ f(\mathfrak{t});\omega \bigr\} = \int _{0}^{\infty }e^{-\omega \mathfrak{t}}f(\mathfrak{t})\, \mathrm{d} \mathfrak{t}\quad \bigl(\Re (\omega )>0\bigr), $$
(3.14)

if the improper integral exists.

Theorem 4

If \(\Delta >0\), \(\alpha >0\), \(\beta >0\), and \(\Re (\omega )>0\), then the Laplace transform of incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}\) is given as follows:

$$\begin{aligned} &\mathrm{L} \bigl\{ \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[\mathfrak{t}^{ \alpha }\bigr] {}_{p}\Psi _{q}^{(\Gamma )}\bigl[\mathfrak{t}^{\beta } \bigr]; \omega \bigr\} \\ &\quad = \frac{1}{\omega ^{\lambda }}\sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \frac{1}{\omega ^{s\alpha }} \\ &\qquad {} \times {}_{p+1}\Psi _{q}^{( \Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\lambda +s\alpha , \beta ), (a_{j}, A_{j})_{2, p} ;& \\ & \dfrac{1}{\omega ^{\beta }} \\ (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(3.15)

Proof

Using the definition of (1.2) and (1.6) in the left-hand side of (3.15) and applying the definition of Laplace transform (3.14), we obtain

$$\begin{aligned} & \mathrm{L} \bigl\{ \mathfrak{t}^{\lambda -1} S_{n}^{m} \bigl[\mathfrak{t}^{ \alpha }\bigr] {}_{p}\Psi _{q}^{(\Gamma )}\bigl[\mathfrak{t}^{\beta }\bigr]; \omega \bigr\} \\ &\quad = \mathrm{L} \Biggl\{ \mathfrak{t}^{\lambda -1} \sum _{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{t}^{s\alpha } \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \frac{\mathfrak{t}^{\ell \beta }}{\ell !}; \omega \Biggr\} \\ &\quad = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell ) \ell !} \int _{0}^{\infty } e^{-\omega \mathfrak{t}} \mathfrak{t}^{\lambda +s\alpha +\ell \beta -1}\, \mathrm{d}\mathfrak{t} \\ &\quad = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \sum_{\ell =0}^{ \infty } \frac{\Gamma (a_{1}+A_{1}\ell , x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell ) \ell !} \frac{\Gamma (\lambda +s\alpha +\ell \beta )}{\omega ^{\lambda +s\alpha +\ell \beta }}. \end{aligned}$$

Now, employing the gamma function formula [25]

$$ \Gamma (\eta )\xi ^{-\eta }= \int _{0}^{\infty } e^{-\xi \mathfrak{t}} \mathfrak{t}^{\eta -1}\, {\mathrm{d}}\mathfrak{t},\quad \Re (\xi )>0, \Re (\eta )>0, $$
(3.16)

and then using (1.2), we arrive at the desired result in Theorem 4. □

Mellin transform

The Mellin transform of a given function \(f(\mathfrak{t})\) is represented as follows [13, 29]:

$$ \mathrm{M}\bigl\{ f(\mathfrak{t}); \omega \bigr\} = \int _{0}^{\infty } \mathfrak{t}^{\omega -1}f( \mathfrak{t})\, \mathrm{d}\mathfrak{t}\quad \bigl(\Re ( \omega )>0\bigr), $$
(3.17)

given that the improper integral exists.

Theorem 5

If \(\Delta >0\), \(\mathfrak{h}>0\), \(\mathfrak{g}>0\), \(\alpha >0\), \(\beta >0\), and \(\Re (\omega )>0\), then the Mellin transform of incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}\) is given as follows:

$$\begin{aligned} & \mathrm{M} \biggl\{ S_{n}^{m} \biggl[ \frac{\mathfrak{h}}{(1+\mathfrak{t})^{\alpha }} \biggr] {}_{p}\Psi _{q}^{( \Gamma )} \biggl[\frac{\mathfrak{g}}{(1+\mathfrak{t})^{\beta }} \biggr]; \omega \biggr\} \\ &\quad = \Gamma (\omega )\sum _{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{h}^{s} \\ &\qquad {} \times {}_{p+1}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (-\omega +s\alpha , \beta ), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{g} \\ (s\alpha , \beta ), (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(3.18)

Proof

Using the definition of (1.2), (1.6) and applying Mellin transform (3.17) in the left-hand side of (3.18) and then employing the beta function formula [25]

$$ B(\alpha , \beta ) = \textstyle\begin{cases} \int _{0}^{\infty } \frac{ \mathfrak{t}^{\alpha -1}}{(1-\mathfrak{t})^{\alpha +\beta }}\, \mathrm{d} \mathfrak{t}& (\Re (\alpha )>0; \Re (\beta )>0), \\ \frac{\Gamma (\alpha ) \Gamma (\beta )}{\Gamma (\alpha + \beta )} &( \alpha , \beta \notin {\mathbb{Z}}_{0}^{-} ), \end{cases} $$
(3.19)

after using definition (1.2), we obtain the desired formula in Theorem 5. □

Hankel transform

The Hankel transform of a given function \(f(\mathfrak{t})\) is characterized as follows [13, 29]:

$$ \mathrm{H}_{\nu }\bigl\{ f(\mathfrak{t}); \omega \bigr\} = \int _{0}^{\infty } \mathfrak{t} J_{\nu }( \omega \mathfrak{t})f(\mathfrak{t})\, \mathrm{d} \mathfrak{t}\quad \bigl(\Re (\omega )>0\bigr), $$
(3.20)

provided that the improper integral exists, \(J_{\nu }(\omega \mathfrak{t})\) is the Bessel function of order ν.

Theorem 6

If \(\Delta >0\), \(\alpha >0\), \(\beta >0\), \(\lambda >0\), and \(\Re (\omega )>0\), then the Hankel transform of incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}\) is given as follows:

$$\begin{aligned} & \mathrm{H}_{\nu } \bigl\{ \mathfrak{t}^{\lambda -1} S_{n}^{m}\bigl[ \mathfrak{t}^{\alpha }\bigr] {}_{p}\Psi _{q}^{(\Gamma )}\bigl[\mathfrak{t}^{ \beta } \bigr]; \omega \bigr\} \\ &\quad = \frac{2}{\omega ^{\lambda }}\sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \biggl(\frac{2}{\omega } \biggr)^{s \alpha } \\ &\qquad {} \times {}_{p+1}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\frac{\lambda +\nu +s\alpha }{2}, \frac{\beta }{2} ), (a_{j}, A_{j})_{2, p} ;& \\ & \biggl(\dfrac{2}{\omega } \biggr)^{\beta } \\ (\frac{2+\nu -\lambda -s\alpha }{2}, - \frac{\beta }{2} ), (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(3.21)

Proof

Using the definition of (1.2), (1.6) and applying Hankel transform (3.20) in the left-hand side of (3.21) and then employing the formula (Prudnikov, Brychkov, and Marichev [24, (2.44)])

$$ \int _{0}^{\infty } t^{\lambda -1}J_{\nu }(at) \, \mathrm{d}t=2^{\lambda -1}a^{- \lambda } \frac{\Gamma (\frac{\lambda +\nu }{2})}{\Gamma (1+\frac{\nu -\lambda }{2})} \quad \bigl(a>0, -\Re ( \nu )< \Re (\lambda )< 3/2 \bigr), $$
(3.22)

we are led easily to the right-hand side of the assertion (3.21) of Theorem 6. The details are omitted here. □

Euler’s beta transform

The integral transform of Euler’s beta type for a given function \(f(\mathfrak{t})\) is characterized as follows [13, 29]:

$$ \mathrm{B}\bigl\{ f(\mathfrak{t}): \alpha , \beta \bigr\} = \int _{0}^{1} \mathfrak{t}^{\alpha -1}(1- \mathfrak{t})^{\beta -1}f(\mathfrak{t})\, \mathrm{d} \mathfrak{t}\quad \bigl(\Re (\alpha )>0, \Re (\beta )>0\bigr). $$
(3.23)

Theorem 7

If \(\Delta >0\), \(\mathfrak{h}>0\), \(\mathfrak{g}>0\), \(\mu >0\), \(\nu >0\), \(\xi >0\), \(\eta >0\), and \(\Re (\alpha ), \Re (\beta )>0\), then Euler’s beta type transform of incomplete Fox–Wright function \({}_{p}\Psi _{q}^{(\Gamma )}\) is given as follows:

$$\begin{aligned} & \mathrm{B} \bigl\{ S_{n}^{m}\bigl[ \mathfrak{h}\mathfrak{t}^{\mu }(1- \mathfrak{t})^{\nu }\bigr] {}_{p}\Psi _{q}^{(\Gamma )}\bigl[\mathfrak{g} \mathfrak{t}^{\xi }(1-\mathfrak{t})^{\eta }\bigr]: \alpha , \beta \bigr\} \\ &\quad = \sum_{s=0}^{[n/m]} \frac{(-n)_{m s}}{s!}A_{n,s} \mathfrak{h}^{s} \\ &\qquad {} \times {}_{p+2}\Psi _{q+1}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{\quad}c@{}} (a_{1}, A_{1}, x), (\alpha +s\mu , \xi ), (\beta +s\nu , \eta ), (a_{j}, A_{j})_{2, p} ;& \\ & \mathfrak{g} \\ (\alpha +\beta +s(\mu +\nu ), \xi +\eta ), (b_{j}, B_{j})_{1, q} ; & \end{array}\displaystyle \right]. \end{aligned}$$
(3.24)

Proof

Using the definition of (1.2), (1.6) and applying Euler’s beta transform (3.23) in the left-hand side of (3.24) and then employing the beta function formula [25]

$$ B(\alpha , \beta ) = \textstyle\begin{cases} \int _{0}^{1} \mathfrak{t}^{\alpha -1} (1-\mathfrak{t})^{\beta -1}\, \mathrm{d}\mathfrak{t} &(\Re (\alpha )>0; \Re ( \beta )>0), \\ \frac{\Gamma (\alpha ) \Gamma (\beta )}{\Gamma (\alpha + \beta )} & ( \alpha , \beta \notin {\mathbb{Z}}_{0}^{-}), \end{cases} $$
(3.25)

after using definition (1.2), we arrive at the desired formula in Theorem 7. □

Concluding remarks and observations

In our present study, with the aid of the incomplete Fox–Wright functions \({}_{p}\Psi _{q}^{(\gamma )}(\mathfrak{t})\) and \({}_{p}\Psi _{q}^{(\Gamma )}(\mathfrak{t})\), we have studied several interesting properties, such as Marichev–Saigo–Maeda left-handed fractional integral and differential operators, which include Saigo hypergeometric fractional integral and differential operators, Riemann–Liouville, and Erdélyi–Kober fractional integral and differential operators as particular cases for various choices of parameter. In a similar pattern, one can derive results for right-hand-sided Marichev–Saigo–Maeda, Saigo hypergeometric fractional, Riemann–Liouville, and Erdélyi–Kober fractional integral and differential operators. Furthermore, we derive several integral transforms such as Jacobi, Gegenbauer (or ultraspherical), Legendre, Laplace, Mellin, Hankel, and Euler’s beta transforms. Specific cases of derived findings can be developed by suitably specializing the coefficient \(A_{n,s}\) to obtain a large number of spectrum of the known polynomials (see, e.g. [30]). Here we give three main results, and we left the remaining ones for interested readers. If we set \(n = 0\) and \(A_{0,0}\) (the polynomial family \(S_{0}^{m}\) will reduce to unity) in Theorems 1, 2, and 3, we get the following corollaries.

Corollary 7.1

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

$$\begin{aligned} & \bigl(\mathcal{I}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \bigl( \mathfrak{t}^{\lambda -1} {}_{p}\Psi _{q}^{( \Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad = \mathfrak{X}^{\lambda -\sigma -\sigma ^{\prime }+\eta -1} \,{}_{p+3}\Psi _{q+3}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{}} (a_{1}, A_{1}, x), (\lambda , \nu ), (-\sigma ^{\prime }+\rho ^{\prime }+ \lambda , \nu ), \\ (\rho ^{\prime }+\lambda , \nu ), (-\sigma -\sigma ^{\prime }+\eta + \lambda , \nu ), \end{array}\displaystyle \right. \\ &\qquad \left. \textstyle\begin{array}{@{}c@{}} (-\sigma -\sigma ^{\prime }-\rho +\eta +\lambda , \nu ), (a_{j}, A_{j})_{2, p}; \\ (-\sigma ^{\prime }-\rho +\eta +\lambda , \nu ),(b_{j}, B_{j})_{1, q} ; \end{array}\displaystyle \quad \mathfrak{X}^{\nu } \right]. \end{aligned}$$
(4.1)

Corollary 7.2

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

$$\begin{aligned} & \bigl(\mathcal{D}_{0+}^{\sigma , \sigma ^{\prime }, \rho , \rho ^{\prime }, \eta } \bigl( \mathfrak{t}^{\lambda -1} {}_{p}\Psi _{q}^{( \Gamma )} \bigl[\mathfrak{t}^{\nu }\bigr] \bigr) \bigr) (\mathfrak{X}) \\ &\quad = \mathfrak{X}^{\lambda +\sigma +\sigma ^{\prime }-\eta -1} \, {}_{p+3}\Psi _{q+3}^{(\Gamma )} \left[ \textstyle\begin{array}{@{}c@{}} (a_{1}, A_{1}, x), (\lambda , \nu ), (\sigma -\rho +\lambda , \nu ), \\ (-\rho +\lambda , \nu ), (\sigma +\sigma ^{\prime }-\eta +\lambda , \nu ), \end{array}\displaystyle \right. \\ & \qquad \left.\textstyle\begin{array}{@{}c@{}} (\sigma +\sigma ^{\prime }+\rho ^{\prime }-\eta +\lambda , \nu ), (a_{j}, A_{j})_{2, p} ; \\ (\sigma +\rho ^{\prime }-\eta +\lambda , \nu ), (b_{j}, B_{j})_{1, q} ; \end{array}\displaystyle \quad \mathfrak{X}^{\nu } \right]. \end{aligned}$$
(4.2)

Corollary 7.3

The coming Jacobi transform formula holds true under the condition stated in (1.2):

$$\begin{aligned} &\mathbb{J}^{(\mathfrak{h},\mathfrak{g})}\bigl\{ \mathfrak{t}^{\rho -1} {}_{p} \Psi _{q}^{(\Gamma )}[\omega \mathfrak{t}]; n \bigr\} \\ &\quad =2^{\mathfrak{h}+ \mathfrak{g}+1}\binom{\mathfrak{h}+n}{n} {\mathrm{B}}(\mathfrak{h}+1, \mathfrak{g}+1) \sum_{\ell =0}^{\infty } \frac{\Gamma (a_{1}+A_{1}\ell ,x)\prod_{j=2}^{p}\Gamma (a_{j}+A_{j}\ell )}{\prod_{j=1}^{q}\Gamma (b_{j}+B_{j}\ell )} \\ &\qquad {} \times F_{1:1;0}^{1:2;1} \left [ \textstyle\begin{array}{@{}r@{}} \mathfrak{h}+1:-n,\mathfrak{h}+\mathfrak{g}+n+1;1-\rho -\ell ; \\ \mathfrak{h}+\mathfrak{g}+2:\qquad \mathfrak{h}+1; \qquad \overline{\quad}; \end{array}\displaystyle \quad 1,2 \right ] \frac{\omega ^{\ell }}{\ell !} \\ &\qquad \bigl(x\geqq 0; n\in \mathbb{N}_{0};\min \bigl\{ \Re ( \mathfrak{h}), \Re ( \mathfrak{g})\bigr\} >-1; \rho \in \mathbb{C};p,q\in \mathbb{N}_{0}\bigr), \end{aligned}$$
(4.3)

where it is considered that the Jacobi transform in (3.4) exists.

Remark 1

It is important to note that the particular cases of the results obtained in this paper for \(x = 0\) would give the corresponding new results for the product of a more general class of polynomials and Fox–Wright hypergeometric functions \({}_{p}\Psi _{q}(\mathfrak{t})\).

Availability of data and materials

Not applicable.

References

  1. 1.

    Al-Omari, S.K.Q.: Some estimate of a generalized Bessel–Struve transform on certain space of generalized functions. Ukr. Math. J. 69(9), 1155–1165 (2017)

    Google Scholar 

  2. 2.

    Al-Omari, S.K.Q.: On a class of generalized functions for some integral transform enfolding kernels of Meijer G function type. Commun. Korean Math. Soc. 33(2), 515–525 (2018)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Al-Omari, S.K.Q.: Estimation of a modified integral associated with a special function kernel of Fox’s H-function type. Commun. Korean Math. Soc. 35(1), 125–136 (2020)

    MathSciNet  Google Scholar 

  4. 4.

    Al-Omari, S.K.Q., Jumah, G., Al-Omari, J., Saxena, D.: A new version of the generalized Krätzel–Fox integral operators. Mathematics 6, 222 (2018)

    MATH  Article  Google Scholar 

  5. 5.

    Cao, Y., Ma, W.-G., Ma, L.-C.: Local fractional functional method for solving diffusion equations on Cantor sets. Abstr. Appl. Anal. 2014, 803693 (2014)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Çetinkaya, A.: The incomplete second Appell hypergeometric functions. Appl. Math. Comput. 219, 8332–8337 (2013)

    MathSciNet  MATH  Article  Google Scholar 

  7. 7.

    Chaudhry, M.A., Qadir, A.: Incomplete exponential and hypergeometric functions with applications to non-central \(\chi ^{2}\)-distribution. Commun. Stat., Theory Methods 34, 525–535 (2002)

    MathSciNet  MATH  Article  Google Scholar 

  8. 8.

    Choi, J., Parmar, R.K.: The incomplete Lauricella and fourth Appell functions. Far East J. Math. Sci. 96, 315–328 (2015)

    MATH  Google Scholar 

  9. 9.

    Choi, J., Parmar, R.K.: The incomplete Srivastava’s triple hypergeometric functions \(\gamma _{A}^{H}\) and \(\Gamma _{A}^{H}\). Miskolc Math. Notes 19(1), 191–200 (2017)

    Article  MathSciNet  Google Scholar 

  10. 10.

    Choi, J., Parmar, R.K., Chopra, P.: The incomplete Lauricella and first Appell functions and associated properties. Honam Math. J. 36, 531–542 (2014)

    MathSciNet  MATH  Article  Google Scholar 

  11. 11.

    Choi, J., Parmar, R.K., Chopra, P.: The incomplete Srivastava’s triple hypergeometric functions \(\gamma _{B}^{H}\) and \(\Gamma _{B}^{H}\). Filomat 30, 1779–1787 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Choi, J., Parmar, R.K., Srivastava, H.M.: The incomplete Lauricella functions of several variables and associated properties and formulas. Kyungpook Math. J. 58(1), 19–35 (2018)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Debnath, L., Bhatta, D.: Integral Transforms and Their Applications, 3rd edn. Chapman & Hall, London (2014)

    Google Scholar 

  14. 14.

    Gao, F.: General fractional calculus in non-singular power-law kernel applied to model anomalous diffusion phenomena in heat transfer problems. Therm. Sci. 21(suppl. 1), S11–S18 (2017)

    Article  Google Scholar 

  15. 15.

    Jangid, K., Bhatter, S., Meena, S., Baleanu, D., Qurashi, M.A., Purohit, S.D.: Some fractional calculus findings associated with the incomplete I-functions. Adv. Differ. Equ. 2020, 265 (2020)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kilbas, A.A., Saigo, M., Trujillo, J.J.: On the generalized Wright function. Fract. Calc. Appl. Anal. 5, 431–460 (2002)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Kiryakova, V.: Generalized Fractional Calculus and Applications. Pitman Research Notes in Mathematics Series, vol. 301. Longman, Harlow (1994). Copublished in the United States with Wiley, New York

    Google Scholar 

  18. 18.

    Liu, J.-G., Yang, X.-J., Feng, Y.-Y., Zhang, H.-Y.: On the generalized time fractional diffusion equation: symmetry analysis, conservation laws, optimal system and exact solutions. Int. J. Geom. Methods Mod. Phys. 17(1), 2050013 (2020)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Marichev, O.I.: Volterra equation of Mellin convolution type with a Horn function in the kernel. Izv. AN BSSR Ser. Fiz.-Mat. Nauk. 1, 128–129 (1974) [in Russian]

    Google Scholar 

  20. 20.

    Meena, S., Bhatter, S., Jangid, K., Purohit, S.D.: Some expansion formulas for incomplete H and -functions involving Bessel functions. Adv. Differ. Equ. 2020, 562 (2020)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Meena, S., Bhatter, S., Jangid, K., Purohit, S.D.: Certain integral transforms concerning the product of family of polynomials and generalized incomplete functions. Moroccan J. Pure Appl. Anal. 6(2), 243–254 (2020)

    Google Scholar 

  22. 22.

    Parmar, R.K., Saxena, R.K.: The incomplete generalized τ-hypergeometric and second τ-Appell functions. J. Korean Math. Soc. 53, 363–379 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  23. 23.

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

    MathSciNet  MATH  Article  Google Scholar 

  24. 24.

    Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series, Vol. 3, More Special Functions. Gordon & Breach, New York (1990)

    Google Scholar 

  25. 25.

    Rainville, E.D.: Special Functions. Macmillan, New York (1960). Reprinted by Chelsea, Bronx, New York, 1971

    Google Scholar 

  26. 26.

    Saigo, M.: On generalized fractional calculus operators. In: Recent Advances in Applied Mathematics, Proceedings of the International Workshop Held at Kuwait University (Kuwait; May 4–7, 1996), pp. 441–450. Kuwait University, Department of Mathematics and Computer Science, Kuwait (1996)

    Google Scholar 

  27. 27.

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

  28. 28.

    Saigo, M., Maeda, N.: More generalization of fractional calculus. In: Rusev, P., Dimovski, I., Kiryakova, V. (eds.) Transform Methods and Special Functions, Proceedings of the Second International Workshop Dedicated to the 100th Anniversary of the Birth of Nikola Obreschkoff (Varna; August 23–30, 1996), pp. 386–400. Bulgarian Academy of Sciences, Institute of Mathematics and Informatics, Sofia (1998)

    Google Scholar 

  29. 29.

    Sneddon, I.N.: The Use of the Integral Transforms. Tata McGraw-Hill, New Delhi (1979)

    Google Scholar 

  30. 30.

    Srivastava, H.M.: A contour integral involving Fox’s H-function. Indian J. Math. 14, 1–6 (1972)

    MathSciNet  MATH  Google Scholar 

  31. 31.

    Srivastava, H.M., Chaudhry, M.A., Agarwal, R.P.: The incomplete Pochhammer symbols and their applications to hypergeometric and related functions. Integral Transforms Spec. Funct. 23, 659–683 (2012)

    MathSciNet  MATH  Article  Google Scholar 

  32. 32.

    Srivastava, H.M., Karlsson, P.W.: Multiple Gaussian Hypergeometric Series. Halsted, New York (1985)

    Google Scholar 

  33. 33.

    Srivastava, H.M., Manocha, H.L.: A Treatise on Generating Functions. Halsted, New York (1984)

    Google Scholar 

  34. 34.

    Srivastava, H.M., Saxena, R.K.: Operators of fractional integration and their applications. Appl. Math. Comput. 118, 1–52 (2001)

    MathSciNet  MATH  Article  Google Scholar 

  35. 35.

    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)

    MathSciNet  MATH  Article  Google Scholar 

  36. 36.

    Srivastava, R.: Some properties of a family of incomplete hypergeometric functions. Russ. J. Math. Phys. 20, 121–128 (2013)

    MathSciNet  MATH  Article  Google Scholar 

  37. 37.

    Srivastava, R., Agarwal, R., Jain, S.: A family of the incomplete hypergeometric functions and associated integral transform and fractional derivative formulas. Filomat 31, 125–140 (2017)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Srivastava, R., Cho, N.E.: Generating functions for a certain class of incomplete hypergeometric polynomials. Appl. Math. Comput. 219, 3219–3225 (2012)

    MathSciNet  MATH  Article  Google Scholar 

  39. 39.

    Suthar, D.L., Khan, A.M., Alaria, A., Purohit, S.D., Singh, J.: Extended Bessel–Maitland function and its properties pertaining to integral transforms and fractional calculus. AIMS Math. 5(2), 1400–1410 (2020)

    MathSciNet  Article  Google Scholar 

  40. 40.

    Suthar, D.L., Purohit, S.D., Araci, S.: Solution of fractional kinetic equations associated with the \((p, q)\)-Mathieu-type series. Discrete Dyn. Nat. Soc. 2020, 8645161 (2020)

    MathSciNet  Article  Google Scholar 

  41. 41.

    Yang, X.-J.: General Fractional Derivatives: Theory, Methods and Applications. CRC Press, New York (2019)

    Google Scholar 

  42. 42.

    Yang, X.-J., Abdel-Aty, M., Cattani, C.: A new general fractional-order derivative with Rabotnov fractional-exponential kernel applied to model the anomalous heat transfer. Therm. Sci. 23(3A), 1677–1681 (2019)

    Article  Google Scholar 

  43. 43.

    Yang, X.-J., Feng, Y.-Y., Cattani, C., Inc, M.: Fundamental solutions of anomalous diffusion equations with the decay exponential kernel. Math. Methods Appl. Sci. 42(11), 4054–4060 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  44. 44.

    Yang, X.-J., Gao, F., Ju, Y.: General Fractional Derivatives with Applications in Viscoelasticity. Academic Press, San Diego (2020)

    Google Scholar 

  45. 45.

    Yang, X.-J., Gao, F., Ju, Y., Zhou, H.-W.: Fundamental solutions of the general fractional-order diffusion equations. Math. Methods Appl. Sci. 41(18), 9312–9320 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  46. 46.

    Yang, X.-J., Ragulskis, M., Taha, T.: A new general fractional-order derivative with Rabotnov fractional-exponential kernel. Therm. Sci. 23(6B), 3711–3718 (2019)

    Article  Google Scholar 

  47. 47.

    Yang, X.-J., Srivastava, H.M., Tenreiro Machado, J.A.: A new fractional derivative without singular kernel: application to the modelling of the steady heat flow. Therm. Sci. 20(2), 753–756 (2015)

    Article  Google Scholar 

  48. 48.

    Yang, X.-J., Tenreiro Machado, J.A.: A new fractal nonlinear Burgers’ equation arising in the acoustic signals propagation. Math. Methods Appl. Sci. 42(18), 7539–7544 (2019)

    MathSciNet  MATH  Article  Google Scholar 

Download references

Acknowledgements

This work is carried out under the Competitive Research Scheme (CRS) by the TEQIP-III (ATU) Rajasthan Technical University Kota under sanction number TEQIP-III/RTU(ATU)CRS/2019-20/50.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to R. K. Parmar.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jangid, K., Parmar, R.K., Agarwal, R. et al. Fractional calculus and integral transforms of the product of a general class of polynomial and incomplete Fox–Wright functions. Adv Differ Equ 2020, 606 (2020). https://doi.org/10.1186/s13662-020-03067-0

Download citation

MSC

  • 26A33
  • 33C20
  • 33C05

Keywords

  • Incomplete Fox–Wright functions
  • Fractional calculus operators
  • Integral transforms