A new forms of extended hypergeometric functions and their properties

1. Introduction

In recent years, some extensions of special functions have been considered by many authors [1,2,3,4,5,6,7,8]. In 1994, Chaudhry and Zubair [3] have introduced the following extension of Gamma function

In 1997, Chaudhry et al., [1] presented the following extension of Euler's Beta function It is clearly seem that \(\Gamma_0(x)=\Gamma(x)\) and \(B_0(x,y)=B(x,y),\) where \(\Gamma(x)\) and \(B(x,y)\) are the classical Gamma and Beta functions (see [9]).

Afterwards, Chaudhry et al., [2] used \(B_p(x,y)\) to defined the Gauss hypergeometric and confluent hypergeometric functions as

\begin{align*} F_p(a,b;c;z)&=\sum_{n=0}^{\infty}(a)_n\frac{B_p(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!},&\left(Re(p)\geq0;\ \ |z|< 1;\ \ Re(c)>Re(b)>0\right),\\ \Phi_p(b;c;z)&=\sum_{n=0}^{\infty}\frac{B_p(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!},&\left(Re(p)\geq0;\ \ Re(c)>Re(b)>0\right), \end{align*} respectively, where \((a)_n\) denotes the Pchhammer symbol [9] defined as \((a)_n=\frac{\Gamma(a+n)}{\Gamma(a)}\) and \((a)_0=1.\) Also, \(F_p(a,b;c;z)\) and \(\Phi_p(b;c;z)\) are defined as [2] \[\left(Re(p)\geq0;\ \ |\arg(1-z)|< \pi;\ \ Re(c)>Re(b)>0\right),\] \begin{align*} \Phi_p(b;c;z)=&\frac{1}{B(b,c-b)}\int_0^1t^{b-1}(1-t)^{c-b-1}e^{zt}\exp\left[\frac{-p}{t(1-t)}\right]\,dt,~~~~~~~ \left(Re(p)\geq0;\ \ Re(c)>Re(b)>0\right). \end{align*} Note that \begin{align*} F_0(a,b;c;z)&={}_2F_1(a,b;c;z),\\ \Phi_0(b;c;z)&=\Phi(b;c;z)={}_1F_1(b;c;z). \end{align*} In 2011, Özergin [10] (see also Özergin et al., [6]) introduced a further extension of the Gamma and Beta functions as and \[(Re(p)\geq0;\ \ Re(\alpha)>0;\ \ Re(\beta)>0;\ \ Re(x)>0;\ \ Re(y)>0), \] respectively. Clearly, we have \( \Gamma_p^{(\alpha,\alpha)}(x)=\Gamma_{p}(x),\) \(\Gamma_0^{(\alpha,\alpha)}(x)=\Gamma(x), \) \(B_p^{(\alpha,\alpha)}(x,y)=B_p(x,y)\) and \(B_0^{(\alpha,\beta)}(x,y)=B(x,y).\) In [6], \(B_p^{(\alpha,\beta)}(x,y)\) is used to defined \(F_p^{(\alpha,\beta)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta)}(b;c;z)\) as \begin{align*} F_p^{(\alpha,\beta)}(a,b;c;z)=&\sum_{n=0}^\infty(a)_n\frac{B_p^{(\alpha,\beta)}(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!},\end{align*} \[(Re(p)\geq0;\ \ |z|< 1;\ \ Re(c)>Re(b)>0;\ \ Re(\alpha)>0;\ \ Re(\beta)>0), \] and \begin{align*} \Phi_p^{(\alpha,\beta)}(b;c;z)=&\sum_{n=0}^\infty\frac{B_p^{(\alpha,\beta)}(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!},\;\;\;\;(Re(p)\geq0;\ \ Re(c)>Re(b)>0;\ \ Re(\alpha)>0;\ \ Re(\beta)>0), \end{align*} respectively. We observe that \begin{align*} F_p^{(\beta,\beta)}(a,b;c;z)&=F_p(a,b;c;z),\\ F_0^{(\alpha,\beta)}(a,b;c;z)&={}_2F_1(a,b;c;z), \end{align*} and \begin{align*} \Phi_p^{(\beta,\beta)}(b;c;z)&=\Phi_p(b;c;z),\\ \Phi_0^{(\alpha,\beta)}(b;c;z)&=\Phi(b;c;z)={}_1F_1(b;c;z). \end{align*} Very recently, Shadab et al., [11] introduced another form of the extended Beta function as where \(E_\alpha(z)\) is the classical Mittag-Leffler function given in [12].

The above extended Beta function (6) is used to defined \(F_{p,\alpha}(a,b;c;z)\) and \(\Phi_{p,\alpha}(b;c;z)\) as [11]

\begin{align*} F_{p,\alpha}(a,b;c;z)=&\sum_{n=0}^\infty(a)_n\frac{B^p_\alpha(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!},& (\alpha\in R^+;\ \ p\in R^+_0;\ \ |z|< 1;\ \ Re(c)>Re(b)>0), \end{align*} and \begin{align*} \Phi_{p,\alpha}(b;c;z)&=\sum_{n=0}^\infty\frac{B^p_\alpha(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!},& (\alpha\in R^+;\ \ p\in R^+_0;\ \ Re(c)>Re(b)>0). \end{align*} Also, very recently, Al-Gonah and Mohammed [13], extended the Gamma and Beta functions as [13] where \(E_{\alpha,\beta}^\gamma(z)\) denotes the generalized Mittag-Leffler function defined as [14] \begin{align*} E_{\alpha,\beta}^\gamma(z)&=\sum_{n=0}^\infty\frac{(\gamma)_n}{\Gamma(\alpha n+\beta)}\frac{z^n}{n!},& (z,\alpha,\beta,\gamma\in\mathbb{C};\ \ Re(\alpha)>0;\ \ Re(\beta)>0;\ \ Re(\gamma)>0). \end{align*} It clear that \begin{align*} \Gamma(\beta)E_{1,\beta}^\gamma(z)&={}_1F_1(\gamma;\beta;z),\\ E_{\alpha,1}^1(z)&=E_\alpha(z),\\ E_{1,1}^1(z)&=e^z. \end{align*} From (7) and (8), we note that \begin{align*} \Gamma_p^{(1,\beta,\gamma)}(x)&=\frac{1}{\Gamma(\beta)}\Gamma_p^{(\gamma,\beta)}(x),\\ B_p^{(1,\beta,\gamma)}(x,y)&=\frac{1}{\Gamma(\beta)}B_p^{(\gamma,\beta)}(x,y),\\ \Gamma_p^{(1,1,1)}(x)&=\Gamma_p(x),\\ B_p^{(1,1,1)}(x,y)&=B_p(x,y), \end{align*} where \(\Gamma_p^{(\gamma,\beta)}(x), B_p^{(\gamma,\beta)}(x,y), \Gamma_p(x)\) and \(B_p(x,y)\) denote the various forms of generalized Gamma and Beta functions given in (4), (5), (1) and (2) respectively. Also, we not that \begin{equation*} B_p^{(\alpha,1,1)}(x,y)=B^p_\alpha(x,y), \end{equation*} where \(B^p_\alpha(x,y)\) denotes the new extended Beta function given in (6).

2. A new forms of hypergeometric functions

In this section, we use the new extended Beta function (8) to introduce a new forms of extended Gauss hypergeometric and confluent hypergeometric functions as follows: \[(Re(p)\geq0;\ \ \vert z\vert< 1;\ \ Re(c)>Re(b)>0;\ \ Re(\alpha)>0;\ \ Re(\beta)>0;\ \ Re(\gamma)>0), \] and \[(Re(p)\geq0;\ \ Re(c)>Re(b)>0;\ \ Re(\alpha)>0;\ \ Re(\beta)>0;\ \ Re(\gamma)>0), \] respectively. Also, we observe that and Some properties of the above functions are given in the form of the following theorems:

Theorem 1. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), the following functional relations hold;

Proof. Using the following known relation [13]

in (9), we get \begin{eqnarray*}F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=&\sum_{n=0}^\infty(a)_n\left[\frac{B_p^{(\alpha,\beta,\gamma)}(b+n+1,c-b)+B_p^{(\alpha,\beta,\gamma)} (b+n,c-b+1)}{B(b,c-b)}\right]\frac{z^n}{n!},\\ &=&\sum_{n=0}^\infty(a)_n\frac{B_p^{(\alpha,\beta,\gamma)}(b+n+1,c-b)}{B(b,c-b)}\frac{z^n}{n!}+\sum_{n=0}^\infty(a)_n\frac{B_p^{(\alpha,\beta,\gamma)} (b+n,c-b+1)}{B(b,c-b)}\frac{z^n}{n!},\\ &=&\frac{B(b+1,c-b)}{B(b,c-b)}\sum_{n=0}^\infty(a)_n\frac{B_p^{(\alpha,\beta,\gamma)}(b+n+1,c-b)}{B(b+1,c-b)}\frac{z^n}{n!}\\ &&+\frac{B(b,c-b+1)}{B(b,c-b)}\sum_{n=0}^\infty(a)_n\frac{B_p^{(\alpha,\beta,\gamma)}(b+n,c-b+1)}{B(b,c-b+1)}\frac{z^n}{n!},\end{eqnarray*} which on using the relation [9] \( B(x,y)=\frac{\Gamma(x)\,\Gamma(y)}{\Gamma(x+y)}, \) and (9) yields the desired result.

Similarly, using (21) in (10) and following the same procedure leading to result (19), we get the desired result (20) and thus the proof of Theorem 1 is completed.

Using [13]

\begin{align*} (1+\alpha\,\gamma-\beta)\,B_p^{(\alpha,\beta,\gamma)}(x,y)&=\alpha\,\gamma\,B_p^{(\alpha,\beta,\gamma+1)}(x,y)-B_p^{(\alpha,\beta-1,\gamma)}(x,y),\\ p\,B_p^{(\alpha,\beta,\gamma)}(x-1,y-1)&=B_p^{(\alpha,\beta-\alpha,\gamma-1)}(x,y)-B_p^{(\alpha,\beta-\alpha,\gamma)}(x,y), \end{align*} together in (9) and (10) respectively and proceeding on the same lines of proof of Theorem 1, we get the following functional relations:

Theorem 2. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), the following functional relations hold; \begin{align*} (1+\alpha\,\gamma-\beta)\,F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\alpha\,\gamma\,F_p^{(\alpha,\beta,\gamma+1)}(a,b;c;z)-F_p^{(\alpha,\beta-1,\gamma)}(a,b;c;z),\\ (1+\alpha\,\gamma-\beta)\,\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=\alpha\,\gamma\,\Phi_p^{(\alpha,\beta,\gamma+1)}(b;c;z)-\Phi_p^{(\alpha,\beta-1,\gamma)}(b;c;z), \end{align*} \[ (\alpha,\beta,\gamma\in\mathbb{C};\ \ Re(\alpha)>0;\ \ Re(\gamma)>0;\ \ Re(\beta)>1), \] \begin{align*} p\,c\,(c+1)\,F_p^{(\alpha,\beta,\gamma)}(a,b;c;z) &=b\,(c-b)\left\{F_p^{(\alpha,\beta-\alpha,\gamma-1)}(a,b+1;c+2;z)-F_p^{(\alpha,\beta-\alpha,\gamma)}(a,b+1;c+2;z)\right\},\\ p\,c\,(c+1)\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z) &=b\,(c-b)\left\{\Phi_p^{(\alpha,\beta-\alpha,\gamma-1)}(b+1;c+2;z)-\Phi_p^{(\alpha,\beta-\alpha,\gamma)}(b+1;c+2;z)\right\}, \end{align*} \[ (Re(p)\geq0;\ \ Re(c)>Re(b)>0;\ \ Re(\beta)>Re(\alpha)>0; \ \ Re(\gamma)>1). \] Using [13] \begin{align*}B_p^{(\alpha,\beta,\gamma)}(x,y)&=\sum_{n=0}^\infty B_p^{(\alpha,\beta,\gamma)}(x+n,y+1),\\ B_p^{(\alpha,\beta,\gamma)}(x,1-y)&=\sum_{n=0}^\infty\frac{(y)_n}{n!} B_p^{(\alpha,\beta,\gamma)}(x+n,1),\\ B_p^{(\alpha,\beta,\gamma)}(x,y)&=\sum_{n=0}^k\left(\begin{array}{c}k\\n\end{array}\right) B_p^{(\alpha,\beta,\gamma)}(x+n,y+k-n),~~~~~(k\in\mathbb{N}),\end{align*} together in (9) and (10) respectively and proceeding on the same lines of proof of Theorem 1, we get the following summation relations:

Theorem 3. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), the following summation relations hold; \begin{align*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=(c-b)\sum_{k=0}^\infty\frac{(b)_k}{(c)_{k+1}}F_p^{(\alpha,\beta,\gamma)}(a,b+k;c+k+1;z),\\ \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=(c-b)\sum_{k=0}^\infty\frac{(b)_k}{(c)_{k+1}}\Phi_p^{(\alpha,\beta,\gamma)}(b+k;c+k+1;z),\\ F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\sum_{k=0}^\infty\frac{(b-c+1)_kB(b+k,1)}{k!\,B(b,c-b)}F_p^{(\alpha,\beta,\gamma)}(a,b+k;b+k+1;z),\\ \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=\sum_{k=0}^\infty\frac{(b-c+1)_kB(b+k,1)}{k!\,B(b,c-b)}\Phi_p^{(\alpha,\beta,\gamma)}(b+k;b+k+1;z),\\ F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\sum_{n=0}^k\left(\begin{array}{c}k\\n\end{array}\right)\frac{B(b+n,c-b-n+k)}{B(b,c-b)}F_p^{(\alpha,\beta,\gamma)}(a,b+n;c+k;z),\\ \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=\sum_{n=0}^k\left(\begin{array}{c}k\\n\end{array}\right)\frac{B(b+n,c-b-n+k)}{B(b,c-b)}\Phi_p^{(\alpha,\beta,\gamma)}(b+n;c+k;z). \end{align*} Using the relations [9] \(B(b,c-b)=\frac{(c)_k}{(b)_k}B(b+k,c-b),\) \((a)_{n+k}=(a)_n(a+n)_k,\) and \(\frac{d^k}{dz^k}z^n=\frac{n!}{(n-k)!}z^{n-k},\) we get the following result

Theorem 4. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), the following differentiation formulas hold \begin{align*} \frac{d^k}{dz^k}\left\{F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\right\}=\frac{(a)_k(b)_k}{(c)_k}F_p^{(\alpha,\beta,\gamma)}(a+k,b+k;c+k;z), \end{align*} \begin{align*} \frac{d^k}{dz^k}\left\{\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\right\}=\frac{(b)_k}{(c)_k}\Phi_p^{(\alpha,\beta,\gamma)}(b+k;c+k;z). \end{align*}

3. Integral representations

In this section, some integral representations for \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\) are given in the form of the following theorems:

Theorem 5. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\), the following integral representations hold;

Proof. Using

in (9) respectively, we get the desired results (22)-(29).

Patting \(u=\tanh^2t\) in assertion (22) of Theorem 5, we get the following result:

Corollary 1. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\), the following integral representation holds; \begin{align*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\frac{2}{B(b,c-b)}\int_0^\infty \frac{(\sinh t)^{2b-1}(\cosh t)^{2a-2c+1}}{(\cosh^2t-z\sinh^2t)^a} E_{\alpha,\beta}^\gamma\left(-p\cosh^2t\coth^2t\right)\,dt. \end{align*}

Theorem 6. For \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), the following integral representations hold;

Proof. Using (30)-(37) in (10), respectively, we get the desired results (38)-(45).

Patting \(u=\tanh^2t\) in assertion (38) of Theorem 6, we get the following result:

Corollary 2. For \(Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), the following integral representation holds; \begin{equation*} \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)=\frac{2e^z}{B(b,c-b)}\int_0^\infty(\sinh u)^{2b-1}(\cosh u)^{1-2c}\tanh^2u E_{\alpha,\beta}^\gamma\left(-p\cosh^2u\coth^2u\right)\,du. \end{equation*}

Theorem 7. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have

and

Proof. Since

\begin{align} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\sum_{n=0}^\infty(a)_n\int_0^1\frac{B_{pu}^{(\alpha,\alpha,\gamma)}(b+n,c-b)\left(1-u^\frac{1}{\alpha}\right) ^{\beta-\alpha-1}\,du}{\alpha~\Gamma(\beta-\alpha)B(b,c-b)}\frac{z^n}{n!}. \notag \end{align} Rearranging the integration and summation, we get \begin{equation*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)=\frac{1}{\alpha~\Gamma(\beta-\alpha)}\int_0^1\left[\sum_{n=0}^\infty(a)_n\frac{B_{pu}^{(\alpha,\alpha,\gamma)}(b+n,c-b)}{B(b,c-b)}\frac{z^n}{n!}\right]\left(1-u^\frac{1}{\alpha}\right)^{\beta-\alpha-1}\,du, \end{equation*} which on using (9), gives the desired result (46).

Similarly, using (48) in (10) and following the same procedure leading to result (46), we obtain (47) and thus the proof of Theorem 7 is completed.

Putting \(\mu=u^{\frac{1}{\alpha}}\) in assertions (46) and (47) of Theorem 7, we get the following results:

Corollary 3. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have \begin{equation*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)=\frac{1}{\Gamma(\beta-\alpha)}\int_0^1F_{p\mu^\alpha}^{(\alpha,\alpha,\gamma)}(a,b;c;z)\,\mu^{\alpha-1}(1-\mu)^{\beta-\alpha-1}\,d\mu,\end{equation*} and \begin{equation*} \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)=\frac{1}{\Gamma(\beta-\alpha)}\int_0^1\Phi_{p\mu^\alpha}^{(\alpha,\alpha,\gamma)}(b;c;z)\,\mu^{\alpha-1}(1-\mu)^{\beta-\alpha-1}\,d\mu. \end{equation*} Now, using the relations [13] \begin{equation*} B_p^{(\alpha,\beta,\gamma)}(x,y)=\frac{1}{\Gamma(\alpha)}\int_0^1B_{p(1-u)^\alpha}^{(\alpha,\beta-\alpha,\gamma)}(x,y)\,u^{\alpha-1}(1-u)^{\beta-\alpha-1}\,du, \end{equation*} \begin{equation*} (\alpha,\beta,\gamma\in\mathbb{C};\ \ Re(\beta)>Re(\alpha)>0,\ \ Re(\gamma)>0), \end{equation*} \begin{equation*} B_p^{(\alpha,\beta,\gamma)}(x,y)=\frac{1}{B(\gamma,l-\gamma)}\int_0^1B_{pu}^{(\alpha,\beta,\,l)}(x,y)\,u^{\gamma-1}(1-u)^{l-\gamma-1}\,du, \end{equation*} \begin{equation*} (\alpha,\beta,\gamma,l\in\mathbb{C};\ \ Re(l)>Re(\gamma)>0,\ \ Re(\alpha)>0,\ \ Re(\beta)>0), \end{equation*} \begin{equation*} B_p^{(\alpha,\beta+l,\gamma)}(x,y)=\frac{1}{\Gamma(l)}\int_0^1B_{pu^\alpha}^{(\alpha,\beta,\gamma)}(x,y)\,u^{\beta-1}(1-u)^{l-1}\,du, \end{equation*} \begin{equation*} (\alpha,\beta,\gamma,l\in\mathbb{C};\ \ Re(\alpha)>0,\ \ Re(\beta)>0,\ \ Re(\gamma)>0,Re(l)>0) \end{equation*} and following the same procedure leading to the results in the above theorem, we get the following results:

Theorem 8. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have \begin{align*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\frac{1}{\Gamma(\alpha)}\int_0^1F_{p(1-u)^\alpha}^{(\alpha,\beta-\alpha,\gamma)}(a,b;c;z)\,u^{\alpha-1}(1-u)^{\beta-\alpha-1}\,du, \\ \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=\frac{1}{\Gamma(\alpha)}\int_0^1\Phi_{p(1-u)^\alpha}^{(\alpha,\beta-\alpha,\gamma)}(b;c;z)\,u^{\alpha-1}(1-u)^{\beta-\alpha-1}\,du, \end{align*} \[(Re(\beta)>Re(\alpha)>0;\ \ Re(\gamma)>0;\ \ Re(c)>Re(b)>0).\] \begin{align*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\frac{1}{B(\gamma,l-\gamma)}\int_0^1F_{pu}^{(\alpha,\beta,\,l)}(a,b;c;z)\,u^{\gamma-1}(1-u)^{l-\gamma-1}\,du, \\ \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=\frac{1}{B(\gamma,l-\gamma)}\int_0^1\Phi_{pu}^{(\alpha,\beta,\,l)}(b;c;z)\,u^{\gamma-1}(1-u)^{l-\gamma-1}\,du, \end{align*} \[(Re(l)>Re(\gamma)>0;\ \ Re(\alpha)>0;\ \ Re(\beta)>0;\ \ Re(c)>Re(b)>0).\] \begin{align*} F_p^{(\alpha,\beta+l,\gamma)}(a,b;c;z)&=\frac{1}{\Gamma(l)}\int_0^1F_{pu^\alpha}^{(\alpha,\beta,\gamma)}(a,b;c;z)\,u^{\beta-1}(1-u)^{l-1}\,du, \\ \Phi_p^{(\alpha,\beta+l,\gamma)}(b;c;z)&=\frac{1}{\Gamma(l)}\int_0^1\Phi_{pu^\alpha}^{(\alpha,\beta,\gamma)}(b;c;z)\,u^{\beta-1}(1-u)^{l-1}\,du, \end{align*} \[(Re(\alpha)>0; \ \ Re(\beta)>0;\ \ Re(\gamma)>0;\ \ Re(l)>0;\ \ Re(c)>Re(b)>0).\]

Theorem 9. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have \begin{eqnarray*} F_p^{(k,\beta,\gamma)}(a,b;c;z)& =\frac{1}{\Gamma(\beta)B(b,c-b)}\int_0^1u^{b-1}(1-u)^{c-b-1}(1-zu)^{-a}{}_1F_{k} \left[\begin{array}{ccc}\gamma\hspace{1.0in};& \\ & \frac{-p}{k^ku(1-u)}\\ \frac{\beta}{k},\frac{\beta+1}{k},\ldots,\frac{\beta+k-1}{k};& \\\end{array}\right]\,du, \\ \Phi_p^{(k,\beta,\gamma)}(b;c;z)& = \frac{1}{\Gamma(\beta)B(b,c-b)}\int_0^1u^{b-1}(1-u)^{c-b-1}e^{zu}{}_1F_{k} \left[\begin{array}{ccc}\gamma\hspace{1.0in};& \\ & \frac{-p}{k^ku(1-u)}\\ \frac{\beta}{k},\frac{\beta+1}{k},\ldots,\frac{\beta+k-1}{k};& \\\end{array}\right]\,du. \end{eqnarray*}

Proof. Using the known relation [13]

in (9) (for \(\alpha=k),\) we get \begin{align*} F_p^{(k,\beta,\gamma)}(a,b;c;z)=&\frac{1}{{\Gamma(\beta)B(b,c-b)}}\sum_{n=0}^\infty(a)_n\int_0^1u^{b+n-1}(1-u)^{c-b-1}\notag\\& \times{}_1F_{k}\left[\begin{array}{ccc}\gamma\hspace{1.0in};&\\&\frac{-p}{k^ku(1-u)}\\ \frac{\beta}{k},\frac{\beta+1}{k},\ldots,\frac{\beta+k-1}{k};&\\\end{array}\right]\frac{z^n}{n!}\,du. \end{align*} Rearranging the integration and summation, we get \begin{align*} F_p^{(k,\beta,\gamma)}(a,b;c;z)=&\frac{1}{{\Gamma(\beta)B(b,c-b)}}\int_0^1u^{b-1}(1-u)^{c-b-1}\notag\\& \times{}_1F_{k}\left[\begin{array}{ccc}\gamma\hspace{1.1in};&\\&\frac{-p}{k^ku(1-u)}\\ \frac{\beta}{k},\frac{\beta+1}{k},\ldots,\frac{\beta+k-1}{k};&\\\end{array}\right]\sum_{n=0}^\infty(a)_n\frac{(zu)^n}{n!}\,du, \end{align*} which on using [9] \begin{equation*}\label{3.48} (1-t)^{-\alpha}=\sum_{n=0}^\infty\frac{(\alpha)_n}{n!}t^n,~~~~~~\left(|t|< 1\right), \end{equation*} in the right hand side yields the desired result (49).

Similarly, using (49) in (10) and following the same procedure leading to result (49), we obtain result (49) and thus the proof of Theorem 9 is completed.

4. Some transformation formulas

First, the Mellin transform representation for the new extended Gauss hypergeometric and confluent hypergeometric functions are obtained in the form of the following theorem:

Theorem 10. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have

Proof. Using the definition of Mellin transform, we get \begin{equation*}\label{4.3} \mathcal{M}\left\{F_p^{(\alpha,\beta,\gamma)}(a,b;c;z);s\right\}=\int_0^\infty p^{s-1}F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\,dp. \end{equation*} Now using relation (22) in the right hand side, we get \begin{equation*}\label{4.4} \mathcal{M}\left\{F_p^{(\alpha,\beta,\gamma)}(a,b;c;z);s\right\}=\frac{1}{B(b,c-b)}\int_0^1t^{b-1}(1-t)^{c-b-1}(1-zt)^{-a}\left[\int_0^\infty p^{s-1}E_{\alpha,\beta}^\gamma\left(\frac{-p}{t(1-t)}\right)\,dp\right]\,dt. \end{equation*} Now using the one-to-one transformation (except possibly at the boundaries and maps the region onto itself) \(~u=\frac{p}{t(1-t)},\,w=t\) in the above equation and considering that the Jacobian of the transformation is \(J=w(1-w),\) we get \begin{align*} &\mathcal{M}\left\{F_p^{(\alpha,\beta,\gamma)}(a,b;c;z);s\right\}\notag\\ &=\frac{B(b+s,c+s-b)}{B(b,c-b)}\frac{1}{B(b+s,c+s-b)}\int_0^1w^{b+s-1}(1-w)^{c+s-b-1}(1-zw)^{-a}\,dw \times\int_0^\infty u^{s-1}E_{\alpha,\beta}^\gamma(-u)\,du, \end{align*} which on using relations (3) and (7) (for \(p=0\)) in the right hand side yields the desired result (50).

Similarly, following the same procedure leading to result, we obtain result (51) and thus the proof of Theorem 10 is completed.

Theorem 11. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\) and \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have \begin{align*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)&=\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\Gamma^{(\alpha,\beta,\gamma)}_0(s)B(b+s,c+s-b)}{B(b,c-b)}{}_2F_1(a,b+s;c+2s;z)p^{-s}\,ds,\\ \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)&=\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\Gamma^{(\alpha,\beta,\gamma)}_0(s)B(b+s,c+s-b)}{B(b,c-b)}{}_1F_1(b+s;c+2s;z)p^{-s}\,ds. \end{align*}

Proof. Taking Mellin inversion of Theorem 10, we get the desired results.

Next, we prove some other transformation formulas in the form of the following theorems:

Theorem 12. For \(F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)\), we have

Proof. By writing \begin{equation*}\label{4.11} [1-z(1-t)]^{-a}=(1-z)^{-a}\left(1+\frac{z}{1-z}t\right)^{-a}, \end{equation*} and replacing \(u\rightarrow 1-t\) in (22), we get \begin{equation*} F_p^{(\alpha,\beta,\gamma)}(a,b;c;z)=\frac{(1-z)^{-a}}{B(b,c-b)}\int_0^1(1-t)^{b-1}t^{c-b-1}\left(1-\frac{z}{z-1}t\right)^{-a} \times E_{\alpha,\beta}^\gamma\left(\frac{-p}{t(1-t)}\right)\,dt, \end{equation*} which on using (22), gives the desired result (52).

Similarly, using the same steps above and following the same procedure leading to result (52), we get the desired result (53).

Now from (52) and (53), we obtain

\begin{equation*} (1-z)^{-a}F_p^{(\alpha,\beta,\gamma)}\left(a,c-b;c;\frac{z}{z-1}\right)=(1-z)^{-b}F_p^{(\alpha,\beta,\gamma)}\left(c-a,b;c;\frac{z}{z-1}\right), \end{equation*} which on putting \(a=c-a\) and \(z=\frac{z}{z-1},\) we get the desired result (54) and thus the proof of Theorem 12 is completed.

Theorem 13. For \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have \begin{equation*}\label{4.13} \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)=\exp(z)\Phi_p^{(\alpha,\beta,\gamma)}(c-b;c;-z).\end{equation*}

Proof. Putting \(u=1-t\) in (38), we obtain \begin{equation*} \Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)=\frac{1}{B(b,c-b)}\int_0^1(1-t)^{b-1}t^{c-b-1}e^{z(1-t)} E_{\alpha,\beta}^\gamma\left(\frac{-p}{t(1-t)}\right)\,dt,\end{equation*} which on using some simplification and using (38), yields the desired result.

Theorem 14. For \(\Phi_p^{(\alpha,\beta,\gamma)}(b;c;z)\), we have the following relation

\[(Re(\alpha)>0;\ \ Re(\beta)>0;\ \ Re(\gamma)>0;\ \ Re(p)>0;\ \ Re(a)>0).\]

Proof. From Theorem 13 for \(z=-z\), we obtain

Multiplying both sides by \(z^{a-1}\) and integrating the resultant equation with respect to \(z\) from \(z=0\) to \(z=\infty,\) we get \begin{align*} \int_0^\infty z^{a-1}\Phi_p^{(\alpha,\beta,\gamma)}(b;c;-z)\,dz&=\int_0^\infty z^{a-1}e^{-z}\Phi_p^{(\alpha,\beta,\gamma)}(c-b;c;z)\,dz,\\ &=\int_0^\infty z^{a-1}e^{-z}\sum_{n=0}^\infty\frac{B_p^{(\alpha,\beta,\gamma)}(c-b+n,b)}{B(b,c-b)}\frac{z^n}{n!}\,dz. \end{align*} Interchanging the order of integration and summation, we get \begin{equation*}\label{4.18} \int_0^\infty z^{a-1}\Phi_p^{(\alpha,\beta,\gamma)}(b;c;-z)\,dz=\sum_{n=0}^\infty\frac{B_p^{(\alpha,\beta,\gamma)}(c-b+n,b)}{B(b,c-b)n!}\int_0^\infty z^{n+a-1}e^{-z}\,dz, \end{equation*} which on using definition of Euler Gamma function [9] and then using (9), yields the desired result.

5. Concluding remarks

In this paper, the authors established new extension forms of the hypergeometric functions with the help of the new definition of extended Beta function given in [13]. Also, various properties of this extended functions are obtained. The authors conclude that if we let \(\alpha=\beta=\gamma=1\) throughout in the paper and use the relations (13) and (17), then some known and new results due to the work of Chaudhry et al., [2] will be obtained. Also, if we let \(\alpha=1\) throughout in the paper and use the relations (11) and (15) then some known results due to work of Özergin et al., [6] will be obtained. Further if we let \(\beta=\gamma=1\) throughout in the paper and use the relations (12) and (16), then some known results due to work of Shadab et al., [11] will be obtained.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.