Extended incomplete Riemann-Liouville fractional integral operators and related special functions

Mehmet Ali Özarslan; Ceren Ustaoğlu; Mehmet Ali Özarslan; Ceren Ustaoğlu

doi:10.3934/era.2022087

Electronic Research Archive

2022, Volume 30, Issue 5: 1723-1747. doi: 10.3934/era.2022087

Previous Article Next Article

Research article Special Issues

Extended incomplete Riemann-Liouville fractional integral operators and related special functions

Mehmet Ali Özarslan ^{1
,
,},
Ceren Ustaoğlu ²

1.
Department of Mathematics, Faculty of Arts and Sciences, Eastern Mediterranean University, Famagusta, Northern Cyprus, via Mersin 10, Turkey
2.
Department of Computer Engineering, Final International University, Kyrenia, Northern Cyprus, via Mersin 10, Turkey

Academic Editor: Jean-Daniel Djida

Received: 01 December 2021 Revised: 02 March 2022 Accepted: 06 March 2022 Published: 28 March 2022

In this study, we introduce the extended incomplete versions of the Riemann-Liouville (R-L) fractional integral operators and investigate their analytical properties rigorously. More precisely, we investigate their transformation properties in $L_{1}$ and $L_{\infty}$ spaces, and we observe that the extended incomplete fractional calculus operators can be used in the analysis of a wider class of functions than the extended fractional calculus operator. Moreover, by considering the concept of analytical continuation, definitions for extended incomplete R-L fractional derivatives are given and therefore the full fractional calculus model has been completed for each complex order. Then the extended incomplete $\tau$ -Gauss, confluent and Appell's hypergeometric functions are introduced by means of the extended incomplete beta functions and some of their properties such as integral representations and their relations with the extended R-L fractional calculus has been given. As a particular advantage of the new fractional integral operators, some generating relations of linear and bilinear type for extended incomplete $\tau$ -hypergeometric functions have been derived.

Keywords:

Citation: Mehmet Ali Özarslan, Ceren Ustaoğlu. Extended incomplete Riemann-Liouville fractional integral operators and related special functions[J]. Electronic Research Archive, 2022, 30(5): 1723-1747. doi: 10.3934/era.2022087

Related Papers:

[1]	María Guadalupe Morales, Zuzana Došlá, Francisco J. Mendoza . Riemann-Liouville derivative over the space of integrable distributions. Electronic Research Archive, 2020, 28(2): 567-587. doi: 10.3934/era.2020030
[2]	Xing Wu, Shuai Mao, Luolin Xiong, Yang Tang . A survey on temporal network dynamics with incomplete data. Electronic Research Archive, 2022, 30(10): 3786-3810. doi: 10.3934/era.2022193
[3]	Noosheza Rani, Arran Fernandez . An operational calculus formulation of fractional calculus with general analytic kernels. Electronic Research Archive, 2022, 30(12): 4238-4255. doi: 10.3934/era.2022216
[4]	Nelson Vieira, M. Manuela Rodrigues, Milton Ferreira . Time-fractional telegraph equation of distributed order in higher dimensions with Hilfer fractional derivatives. Electronic Research Archive, 2022, 30(10): 3595-3631. doi: 10.3934/era.2022184
[5]	Pshtiwan Othman Mohammed, Hari Mohan Srivastava, Dumitru Baleanu, Ehab E. Elattar, Y. S. Hamed . Positivity analysis for the discrete delta fractional differences of the Riemann-Liouville and Liouville-Caputo types. Electronic Research Archive, 2022, 30(8): 3058-3070. doi: 10.3934/era.2022155
[6]	Amal S. Hassan, Najwan Alsadat, Mohammed Elgarhy, Laxmi Prasad Sapkota, Oluwafemi Samson Balogun, Ahmed M. Gemeay . A novel asymmetric form of the power half-logistic distribution with statistical inference and real data analysis. Electronic Research Archive, 2025, 33(2): 791-825. doi: 10.3934/era.2025036
[7]	Muajebah Hidan, Ahmed Bakhet, Hala Abd-Elmageed, Mohamed Abdalla . Matrix-Valued hypergeometric Appell-Type polynomials. Electronic Research Archive, 2022, 30(8): 2964-2980. doi: 10.3934/era.2022150
[8]	Dojin Kim, Sangbeom Park, Jongkyum Kwon . Some identities of degenerate higher-order Daehee polynomials based on $ \lambda $-umbral calculus. Electronic Research Archive, 2023, 31(6): 3064-3085. doi: 10.3934/era.2023155
[9]	Mufit San, Seyma Ramazan . A study for a higher order Riemann-Liouville fractional differential equation with weakly singularity. Electronic Research Archive, 2024, 32(5): 3092-3112. doi: 10.3934/era.2024141
[10]	M. Usman, T. Zubair, J. Imtiaz, C. Wan, W. Wu . An iterative spectral strategy for fractional-order weakly singular integro-partial differential equations with time and space delays. Electronic Research Archive, 2022, 30(5): 1775-1798. doi: 10.3934/era.2022090

Abstract

1. Introduction

There is a close relationship between the special functions and fractional calculus, which is a branch gaining popularity, especially in the last decades, because of its potential usefulness in real world applications (see ^{[1,2,3,4,5,6,7,8,9,10]}). Different definitions of fractional calculus have been introduced in the literature, each of which has their own advantages or disadvantages. One direction of research has been to add more parameters, for instance the Erdelyi-Kober fractional model, and another direction is to consider some analytic functions in the kernel of fractional calculus operators such as the Prabhakar model.

Recently, the extended R-L fractional integral of order $\mu \;$ ^[11] was defined by

$D_{z}^{\mu, p}\left( f(z)\right) = \frac{1}{\Gamma\left( -\mu\right) } \int_{0}^{z}f(t)(z-t)^{-\mu-1}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt, \; \; \operatorname{Re}(\mu) < 0, \; \operatorname{Re}(p) > 0,$

and it has been shown that these operators are useful in the analysis of certain extensions of special functions defined in ^[12,13,14].

Another interesting approach in generalizing fractional calculus is given in the papers ^[15,16], where the authors, instead of integrating over a full interval $\left[0, z\right]$ , introduced two integral operators by separeting the interval by a variable $yz\; (0 < y < 1),$ therefore this approach provides a general definition of fractional integrals, in which the singular and nonsingular parts of the integral can be separated. More precisely they introduced the operators

$\begin{equation} D_{z}^{\mu}\left[ f(z);y\right] = \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int_{0}^{y}f(uz)(1-u)^{-\mu-1}du, \; \; \operatorname{Re}(\mu) < 0 \end{equation}$

(1.1)

and

$\begin{equation} D_{z}^{\mu}\{f(z);y\} = \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int_{y} ^{1}f(uz)(1-u)^{-\mu-1}du, \; \; \operatorname{Re}(\mu) < 0. \end{equation}$

(1.2)

The incomplete fractional integrals and derivatives have been subjected to an in-depth analysis in the papers ^{[15,16,17,18]}.

On the other hand, in recent papers such as ^{[11,12,13,14,19,20,21,22,23,24,25,26,27,28]}, several extensions of the well-known special functions have been considered, many of which have close relationships with fractional calculus. Also we should refer the recent surveys on the transcendental functions with their connections between the fractional calculus ^[29,30].

Very recently, in order to introduce a different variant of incomplete Gauss hypergeometric functions which is more suitable for the fractional calculus results as well, the authors introduced the incomplete Pochhammer ratios as follows ^[15]:

$\left[ b, c;y\right] _{n}: = \frac{B_{y}\left( b+n, c-b\right) }{B\left( c-b, b\right) }$

and

$\left\{ b, c;y\right\} _{n}: = \frac{B_{1-y}(c-b, b+n)}{B(c-b, b)}$

where $0\leq y < 1$ and

$\begin{equation} B_{y}(x, z) = \int_{0}^{y}t^{x-1}(1-t)^{z-1}dt, \; \mathrm{Re}(x) > 0, \mathrm{Re} (z) > 0, \; 0 < y < 1. \end{equation}$

(1.3)

is the incomplete beta function.

They defined the incomplete Gauss hypergeometric functions as follows:

$\begin{equation} _{2}F_{1}(a, [b, c;y];x): = \sum\limits_{n = 0}^{\infty}(a)_{n}[b, c;y]_{n}\frac{x^{n}} {n!}, \end{equation}$

(1.4)

and

$\begin{equation} _{2}{F}_{1}(a, \left\{ b, c;y\right\} ;x): = \sum\limits_{n = 0}^{\infty}(a)_{n}\left\{ b, c;y\right\} _{n}\frac{x^{n}}{n!}. \end{equation}$

(1.5)

Several properties of these functions were obtained, such as integral representations, derivative formulae, transformation formulae, and recurrence relations. Also, the incomplete Appell's functions were defined and expressed using integral representations. It should be mentioned that, in a recent paper, the incomplete Gauss hypergeometric function was used in the derivation of some new estimates for the generalized Simpson's quadrature rule ^[31].

One of the generalisation of Gauss hypergeometric function was defined by Chaudhry ^[13,14]

$\begin{equation} F_{p}(a, b;c;z) = \sum\limits_{n = o}^{\infty}\left( a\right) _{n}\frac{B_{p} (b+n, c-b)}{B(b, c-b)}\frac{z^{n}}{n!}, \; p\geq0\; , \; {Re}(c) > {Re}(b) > 0 \end{equation}$

(1.6)

where

$\begin{equation} B_{p}(x, y): = \int_{0}^{1}t^{x-1}(1-t)^{y-1}\exp\left[ \frac{-p}{t(1-t)} \right] dt, \; {Re}(p) > 0, \; {Re}(x) > 0, \; {Re}(y) > 0. \end{equation}$

(1.7)

is the extended beta function. On the other hand, the incomplete version of the extended beta function has been defined as

$\begin{equation} B_{y}(x, z;p) = \int_{0}^{y}t^{x-1}(1-t)^{z-1}\exp\left( \frac{-p} {t(1-t)}\right) dt, \; \mathrm{Re}(p) > 0, \; 0\leq y < 1 \end{equation}$

(1.8)

and investigated in ^[14]. Some applications, where these functions are used, can be found in ^[14].

We saw from the above discussion that both structures of generalisations by adding new parameters or incomplitifications are interesting topics of study with potential real world applications. By combining both forms of generalisations, we are able to construct new functions and operators which have the advantages of both the incomplete versions and the parametric versions. Therefore in this paper, in Sections 2 and 3 we combine these generalisations and investigate them thoroughly. More precisely in Section 2, we introduce the extended incomplete versions of the Riemann-Liouville (R-L) fractional integral operator and investigate their transformation properties in $L_{1}$ and $L_{\infty}$ spaces $.$ We observe that the extended incomplete fractional calculus operators can be used in the analysis of a wider class of functions than the extended fractional calculus operator. Moreover, by considering the concept of analytical continuation, definitions for extended incomplete R-L fractional derivatives are given and therefore the full fractional calculus model has been completed for each complex order. In Section 3, similar treatment has been considered to introduce extended incomplete $\tau$ -Gauss, confluent and Appell's hypergeometric functions. Some of their properties such as integral representations and their relations with the extended R-L fractional calculus has been given. In the last section, one particular advantage of the new fractional integral operators has been exhibited by deriving some generating relations of linear and bilinear type for extended incomplete $\tau$ -hypergeometric functions.

2. Extended incomplete R-L fractional integral operator

The extended incomplete R-L fractional integral operators $D_{z}^{\mu, p}\left[f(z); y\right] \;$ and $D_{z}^{\mu, p}\left\{ f(z); y\right\}$ are introduced by

$\begin{equation} D_{z}^{\mu, p}\left[ f(z);y\right] : = \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int_{0}^{y}f(uz)(1-u)^{-\mu-1}\exp\left( \frac{-p} {u(1-u)}\right) du, \\ \operatorname{Re}(\mu) < 0, \; \operatorname{Re}(p) > 0, 0\leq y\leq1, \end{equation}$

(2.1)

and

$\begin{equation} D_{z}^{\mu, p}\{f(z);y\}: = \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int _{y}^{1}f(uz)(1-u)^{-\mu-1}\exp\left( \frac{-p}{u(1-u)}\right) du, \\ \operatorname{Re}(\mu) < 0, \; \operatorname{Re}(p) > 0, 0\leq y\leq1. \end{equation}$

(2.2)

Setting $p\rightarrow0$ in (2.1) and (2.2), we obtain the incomplete R-L fractional integral operators which are defined in (1.1) and (1.2), respectively. These extended incomplete R-L fractional integral operators satisfy the following decomposition formula:

$D_{z}^{\mu, p}\left[ f(z);y\right] +D_{z}^{\mu, p}\{f(z);y\} = D_{z}^{\mu , p}\left( f(z)\right) .$

We start the analytical investigation of these operators by considering their transformation properties:

Theorem 2.1. Let $A > 0, \; 0 < y < 1$ and $Re(\mu) > 0.$ Then $D_{z}^{-\mu, p}\left[\cdot; y\right] :L_{1}\left[0, yA\right] \rightarrow L_{1}\left[0, A\right].$

Proof. Fix $0 < y < 1$ choose any $f\in L_{1}\left[0, yA\right].$ For $z\in\left[0, A\right],$ since $\operatorname{Re}(p) > 0,$ we can write

$\begin{align*} \left\vert D_{z}^{-\mu, p}\left[ f(z);y\right] \right\vert & \leq\frac {1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{0}^{zy}\left\vert f(t)(z-t)^{\mu-1}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) \right\vert dt\\ & \leq\left[ \sup\limits_{\left[ 0, yz\right] }(z-t)^{\operatorname{Re}\left( \mu\right) -1}\exp\left( \frac{-\operatorname{Re}\left( p\right) z^{2} }{t(z-t)}\right) \right] \frac{1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{0}^{zy}\left\vert f(t)\right\vert dt\\ & \leq\left[ \sup\limits_{\left[ 0, yz\right] }(z-t)^{\operatorname{Re}\left( \mu\right) -1}\right] \frac{1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{0}^{zy}\left\vert f(t)\right\vert dt\\ & = \left\{ \begin{array} [c]{cc} \frac{\left( z-yz\right) ^{\operatorname{Re}\left( \mu\right) -1} }{\left\vert \Gamma\left( \mu\right) \right\vert }\left\Vert f\right\Vert _{L_{1}\left[ 0, yA\right] }, & 0 < \operatorname{Re}(\mu) < 1\\ \frac{z^{\operatorname{Re}\left( \mu\right) -1}}{\left\vert \Gamma\left( \mu\right) \right\vert }\left\Vert f\right\Vert _{L_{1}\left[ 0, yA\right] }, & \operatorname{Re}(\mu) > 1. \end{array} \right. . \end{align*}$

Integrating both sides of this inequality over $z\in\left[0, A\right],$ we get

$\left\Vert D_{z}^{-\mu, p}\left[ f;y\right] \right\Vert _{L_{1}\left[ 0, A\right] }\leq\left\{ \begin{array} [c]{cc} \frac{\left( 1-y\right) ^{\operatorname{Re}\left( \mu\right) -1}A^{\operatorname{Re}\left( \mu\right) }}{\left\vert \Gamma\left( \mu\right) \right\vert \operatorname{Re}\left( \mu\right) }\left\Vert f\right\Vert _{L_{1}\left[ 0, yA\right] }, & 0 < \operatorname{Re}(\mu) < 1\\ \frac{A^{\operatorname{Re}\left( \mu\right) }}{\left\vert \Gamma\left( \mu\right) \right\vert \operatorname{Re}\left( \mu\right) }\left\Vert f\right\Vert _{L_{1}\left[ 0, yA\right] }, & \operatorname{Re}(\mu) > 1. \end{array} \right.$

Thus the proof is completed.

Theorem 2.2. Let $A > 0, \; 0 < y < 1$ and $Re(\mu) > 1.$ Then $D_{z}^{-\mu, p}\left\{ \cdot; y\right\} :L_{1}\left[0, A\right] \rightarrow L_{1}\left[0, A\right].$

Proof. Fix $0 < y < 1$ choose any $f\in L_{1}\left[0, A\right].$ For $z\in\left[0, A\right],$ since $\operatorname{Re}(p) > 0$ we have

$\begin{align*} \left\vert D_{z}^{-\mu, p}\left\{ f(z);y\right\} \right\vert & \leq\frac {1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{zy}^{z}\left\vert f(t)(z-t)^{\mu-1}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) \right\vert dt\\ & \leq\left[ \sup\limits_{\left[ zy, z\right] }(z-t)^{\operatorname{Re}\left( \mu\right) -1}\exp\left( \frac{-\operatorname{Re}\left( p\right) z^{2} }{t(z-t)}\right) \right] \frac{1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{zy}^{z}\left\vert f(t)\right\vert dt\\ & \leq\frac{(z-zy)^{\operatorname{Re}\left( \mu\right) -1}}{\left\vert \Gamma\left( \mu\right) \right\vert }\left\Vert f\right\Vert _{L_{1}\left[ 0, A\right] }. \end{align*}$

Integrating both sides of this inequality over $z\in\left[0, A\right],$ we get

$\left\Vert D_{z}^{-\mu, p}\left\{ f;y\right\} \right\Vert _{L_{1}\left[ 0, A\right] }\leq\frac{\left( 1-y\right) ^{\operatorname{Re}\left( \mu\right) -1}A^{\operatorname{Re}\left( \mu\right) }}{\left\vert \Gamma\left( \mu\right) \right\vert \operatorname{Re}\left( \mu\right) }\left\Vert f\right\Vert _{L_{1}\left[ 0, A\right] }.$

Whence the result.

Therefore, using the above two Theorems, we can give the following definitions.

Definition 2.3. Let $A > 0, \; 0 < y < 1$ and $Re(\mu) > 0.$ Then for all $f\in L_{1}\left[0, yA\right]$ the $\mu$ th order extended incomplete lower fractional integral is defined by

$_{0}I_{z}^{\mu, p}\left[ f(z);y\right] : = \frac{z^{\mu}}{\Gamma\left( \mu\right) }\int_{0}^{y}f(uz)(1-u)^{-\mu-1}\exp\left( \frac{-p} {u(1-u)}\right) du.$

Definition 2.4. Let $A > 0, \; 0 < y < 1$ and $Re(\mu) > 1.$ Then for all $f\in L_{1}\left[0, A\right]$ the $\mu$ th order extended incomplete upper fractional integral is defined by

$_{0}I_{z}^{\mu, p}\{f(z);y\}: = \frac{z^{\mu}}{\Gamma\left( \mu\right) } \int_{y}^{1}f(uz)(1-u)^{-\mu-1}\exp\left( \frac{-p}{u(1-u)}\right) du.$

There is a gap in the definition of the extended incomplete upper fractional integral for the case $0 < Re(\mu)\leq1.$ In order to fill this gap, in the following theorem, we consider the operators in the space $L_{\infty}.$

Theorem 2.5. Let $A > 0, \; 0 < y < 1$ and $Re(\mu) > 0.$ Then we have

$D_{z}^{-\mu, p}\left[ \cdot;y\right] :L_{\infty}\left[ 0, yA\right] \rightarrow L_{\infty}\left[ 0, A\right]$

and

$D_{z}^{-\mu, p}\left\{ \cdot;y\right\} :L_{\infty}\left[ 0, A\right] \rightarrow L_{\infty}\left[ 0, A\right] .$

Proof. For any $z\in\left[0, A\right]$ , since $\operatorname{Re}(p) > 0,$ we have

$\begin{align*} D_{z}^{-\mu, p}\left[ f(z);y\right] & \leq\frac{1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{0}^{zy}\left\vert f(t)\right\vert \left\vert (z-t)^{\mu-1}\exp\left( \frac{-pz^{2}}{t(x-t)}\right) \right\vert dt\\ & \leq\frac{1}{\left\vert \Gamma\left( \mu\right) \right\vert } es\sup\limits_{\left[ 0, yA\right] }\left\vert f\right\vert \int_{0}^{zy} (z-t)^{\operatorname{Re}\mu-1}dt\\ & \leq\frac{A^{\operatorname{Re}\mu}\left( 1-\left( 1-y\right) ^{\operatorname{Re}\mu}\right) }{\operatorname{Re}\mu\left\vert \Gamma\left( \mu\right) \right\vert }\left\Vert f\right\Vert _{L_{\infty}\left[ 0, A\right] }. \end{align*}$

Taking essup over all $z\in\left[0, A\right]$ on both sides of the inequality, we complete the proof of the first statement.

Since $\operatorname{Re}(p) > 0,$ we have for any $x\in\left[0, A\right]$ that

$\begin{align*} \left\vert D_{z}^{-\mu, p}\left\{ f(z);y\right\} \right\vert & \leq\frac {1}{\left\vert \Gamma\left( \mu\right) \right\vert }\int_{zy}^{z}\left\vert f(t)\right\vert \left\vert (z-t)^{\mu-1}\exp\left( \frac{-pz^{2}} {t(x-t)}\right) \right\vert dt\\ & \leq\frac{1}{\left\vert \Gamma\left( \mu\right) \right\vert } es\sup\limits_{\left[ 0, yA\right] }\left\vert f\right\vert \int_{zy}^{z} (z-t)^{\operatorname{Re}\mu-1}dt\\ & \leq\frac{A^{\operatorname{Re}\mu}\left( 1-y\right) ^{\operatorname{Re} \mu}}{\operatorname{Re}\mu\left\vert \Gamma\left( \mu\right) \right\vert }\left\Vert f\right\Vert _{L_{\infty}\left[ 0, A\right] }. \end{align*}$

Taking essup over all $z\in\left[0, A\right]$ on both sides of the inequality, we complete the proof of the second statement.

Using the above Theorem, in the following we give definition of the $\mu$ th order extended incomplete upper fractional integrals for the case $0 < \operatorname{Re}(\mu)\leq1.$

Definition 2.6. Let $A > 0, \; 0 < y < 1$ and $0 < \operatorname{Re}(\mu)\leq1.$ Then for all $f\in L_{\infty}\left[0, A\right],$ the $\mu$ th order extended incomplete upper fractional integral is defined by

$_{0}I_{z}^{\mu, p}\{f(z);y\}: = \frac{z^{\mu}}{\Gamma\left( \mu\right) } \int_{y}^{1}f(uz)(1-u)^{-\mu-1}\exp\left( \frac{-p}{u(1-u)}\right) du.$

Remark 2.7. It should be remarked that the transformation properties of

$D_{z}^{-\mu, p}\left( f(z)\right) = \frac{1}{\Gamma\left( \mu\right) } \int_{0}^{z}f(t)(z-t)^{\mu-1}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt,$

has not been investigated and it can be easily proved by majorizing the exponential term that $D_{z}^{-\mu, p}\left(\cdot\right) :L_{1}\left[0, A\right] \rightarrow L_{1}\left[0, A\right]$ and $D_{z}^{-\mu, p}\left(\cdot\right) :L_{\infty}\left[0, A\right] \rightarrow L_{\infty}\left[0, A\right]$ for $Re(\mu) > 0.$ Therefore it is clear that the extended incomplete fractional calculus operators can be used in the analysis of a wider class of functions than the extended fractional calculus operator $D_{z}^{-\mu, p}.$

The extended incomplete R-L fractional integral operators $D_{z}^{-\mu, p}\left[f(z); y\right] \;$ and $D_{z}^{-\mu, p}\left\{ f(z); y\right\}$ are defined in the case $\operatorname{Re}(\mu) > 0.$ In order to extend the domain of $\mu$ to $\operatorname{Re}(\mu)\leq0,$ and by this way defining the corresponding derivative operators $,$ we consider the concept of analytic continuation in $\mu.$ The following theorems will be crucial in this respect.

Theorem 2.8. Let $A > 0, 0 < y < 1, \operatorname{Re}(\mu) > 2.$ For all $f, z^{-1}f\in L_{1}\left[ 0, yA\right],$ we have

$\begin{align*} \frac{d}{dz}\left( D_{z}^{-\mu, p}[f(z);y]\right) & = \frac {yf(zy)(z-zy)^{\mu-1}\exp\left( \frac{-p}{y(1-y)}\right) }{\Gamma\left( \mu\right) }+D_{z}^{1-\mu, p}[f(z);y] \\ & \quad +\frac{pz}{(\mu-1)\left( \mu-2\right)}D_{z}^{2-\mu, p}[f(z);y]\\ & \quad -\frac{pz}{\mu-1}D_{z}^{1-\mu, p}[z^{-1}f(z);y]. \end{align*}$

For all $f, z^{-1}f\in L_{1}\left[0, A\right],$ we have

$\begin{align*} \frac{d}{dz}\left( D_{z}^{-\mu, p}\{f(z);y\}\right) & = \frac {-yf(zy)(z-zy)^{\mu-1}\exp\left( \frac{-p}{y(1-y)}\right) }{\Gamma\left( \mu\right) }+D_{z}^{1-\mu, p}\{f(z);y\} \\ & \quad +\frac{pz}{(\mu-1)\left( \mu-2\right)}D_{z}^{2-\mu, p}\{f(z);y\} \\ & \quad -\frac{pz}{\mu-1}D_{z}^{1-\mu, p}\{z^{-1}f(z);y\}. \end{align*}$

Proof. Firstly, using the usual technique of differentiation under the integral sign, we have

$\begin{align*} \frac{d}{dz}\left( D_{z}^{-\mu, p}\left[ f(z);y\right] \right) & = \frac{d}{dz}\frac{1}{\Gamma\left( \mu\right) }\int_{0}^{zy}f(t)(z-t)^{\mu -1}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt\\ & = \frac{1}{\Gamma\left( \mu\right) }\Bigg[ y(z-yz)^{\mu-1}\exp\left(\frac{-p}{y(1-y)}\right) f(yz) \\ & \quad +\left( \mu-1\right) \int_{0}^{zy}f(t)(z-t)^{\mu-2}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt \\ & \quad +pz\int_{0}^{zy}f(t)(z-t)^{\mu-3}\exp\left( \frac{-pz^{2}} {t(z-t)}\right) dt \\ & \quad -pz\int_{0}^{zy}t^{-1}f(t)(z-t)^{\mu-2}\exp\left(\frac{-pz^{2}}{t(z-t)}\right) dt\Bigg] \\ & = \frac{y(z-yz)^{\mu-1}\exp\left( \frac{-p}{y(1-y)}\right) f(yz)}{\Gamma\left( \mu\right) }+D_{z}^{1-\mu, p}\left[ f(z);y\right] \\ &+\frac{pz}{\left( \mu-1\right) \left( \mu-2\right) }D_{z}^{2-\mu, p}\left[ f(z);y\right] -\frac{pz}{\mu -1}D_{z}^{1-\mu, p}\left[ z^{-1}f(z);y\right] . \end{align*}$

Secondly, taking derivative from the definition of the upper incomplete integral operator, we get

$\begin{align*} \frac{d}{dz}\left( D_{z}^{-\mu, p}\{f(z);y\}\right) & = \frac{1} {\Gamma\left( \mu\right) }\frac{d}{dz}\left( \int_{zy}^{z}f(t)(z-t)^{\mu -1}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt\right) \\ & = \frac{1}{\Gamma\left( \mu\right) }\Bigg[-yf(zy)(z-zy)^{\mu-1} \exp\left( \frac{-p}{y(1-y)}\right) \\ &+\left( \mu-1\right) \int_{zy}^{z}f(t)(z-t)^{\mu-2}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt \\ &+ pz\int_{zy}^{z}f(t)(z-t)^{\mu-3}\exp\left( \frac{-pz^{2}}{t(z-t)}\right) dt \\ &-pz\int_{zy}^{z}t^{-1}f(t)(z-t)^{\mu-2}\exp\left(\frac{-pz^{2}}{t(z-t)}\right) dt\Bigg] \\ & = \frac{-yf(zy)(z-zy)^{\mu-1}\exp\left( \frac{-p}{y(1-y)}\right) }{\Gamma\left( \mu\right) }+D_{z}^{1-\mu, p}\{f(z);y\} \\ &+\frac{pz}{(\mu-1)\left( \mu-2\right) }D_{z}^{2-\mu, p}\{f(z);y\}-\frac{pz}{\mu-1}D_{z}^{1-\mu, p}\{z^{-1}f(z);y\}. \end{align*}$

Using the above theorem, in the following definitions, we extend the domain of analyticity of both $D_{z}^{\mu, p}\left[f(z); y\right]$ and $D_{z}^{\mu, p}\left\{ f(z); y\right\}$ to the right half-plane and hence we call them as the $\mu th$ order extended upper and lower R-L derivative operators.

Definition 2.9. The $\mu th$ order extended upper R-L derivative operator is defined by

$\begin{align*} \frac{pz}{\mu(\mu-1)}D_{z}^{\mu, p}\left[ f(z);y\right] & = \frac{d}{dz}\left( D_{z}^{\mu-2, p}\left[ f(z);y\right] \right) -\frac{y\left( z-yz\right) ^{1-\mu}\exp\left( \frac{-p}{y(1-y)}\right) }{\Gamma\left( 2-\mu\right) }f(yz)\\ & \quad -D_{z}^{\mu-1, p}\left[ f(z);y\right] +\frac{pz}{1-\mu}D_{z}^{\mu -1, p}\left[ z^{-1}f(z);y\right] \end{align*}$

for each successive region $0\leq\operatorname{Re}(\mu) < 1, 1\leq \operatorname{Re}(\mu) < 2, \cdots(\mu\neq0),$ provided that $f, z^{-1}f\in L_{1}\left[0, yA\right].$

Definition 2.10. The $\mu th$ order extended lower R-L derivative operator is defined by

$\begin{align*} \frac{pz}{\mu(\mu-1)}D_{z}^{\mu, p}\left\{ f(z);y\right\} & = \frac{d} {dz}\left( D_{z}^{\mu-2, p}\left\{ f(z);y\right\} \right) +\frac{y\left( z-yz\right) ^{1-\mu}\exp\left( \frac{-p}{y(1-y)}\right) }{\Gamma\left( 2-\mu\right) }f(yz)\\ & \quad -D_{z}^{\mu-1, p}\left\{ f(z);y\right\} +\frac{pz}{1-\mu}D_{z}^{\mu -1, p}\left\{ z^{-1}f(z);y\right\} \end{align*}$

for each successive region $0\leq\operatorname{Re}(\mu) < 1, 1\leq \operatorname{Re}(\mu) < 2, \cdots(\mu\neq0),$ provided that $f, z^{-1}f\in L_{1}\left[0, A\right].$

Remark 2.11. It is important to mention that the definition of $D_{z}^{\mu, p}\left[f(z); y\right]$ given in (10) does not require the condition $Re(\mu) < 0$ since the interval of integration in this definition is $\left[0, y\right]$ with $0 < y < 1.$ Therefore the formula (10) is valid for all $\mu\in\mathbb{C}.$

Example 2.12. Let $\operatorname{Re}(\lambda) > -1, \; \operatorname{Re}(\mu) < 0\;$ and $\operatorname{Re}(p) > 0.\;$ Then

$D_{z}^{\mu, p}[z^{\lambda};y] = \frac{B_{y}(\lambda+1, -\mu;p)}{\Gamma\left( -\mu\right) }z^{\lambda-\mu}.$

In the next theorem, we present useful representations of the extended upper and lower R-L derivatives of an analytic function.

Theorem 2.13. If $f(z)\;$ is an analytic function on the disk $\left\vert z\right\vert < R\;$ and has a power series expansion $f(z) = \sum_{n = 0}^{\infty}c_{n}z^{n},$ then for $\operatorname{Re}(\lambda) > 0$ and $\operatorname{Re}(p) > 0$ we have

$\begin{equation} D_{z}^{\mu, p}[z^{\lambda-1}f(z);y] = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty}a_{n}B_{y}\left( \lambda+n, -\mu;p\right) z^{n}, \end{equation}$

(2.3)

and

$D_{z}^{\mu, p}\{z^{\lambda-1}f(z);y\} = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty}a_{n}B_{1-y}\left( -\mu, \lambda+n;p\right) z^{n}.$

Proof. Since the function is analytic in the given disc, its series expansion is uniformly convergent. Using the relation in the above Example,

$\begin{align*} D_{z}^{\mu, p}[z^{\lambda};y] & = \frac{B_{y}\left( \lambda+1, -\mu;p\right) }{\Gamma\left( -\mu\right) }z^{\lambda-\mu}, \\ & \left( \operatorname{Re}(\lambda) > -1, \operatorname{Re}(p) > 0\right) , \end{align*}$

we get

$\begin{align*} D_{z}^{\mu, p}[z^{\lambda-1}f(z);y] & = \sum\limits_{n = 0}^{\infty}a_{n}D_{z}^{\mu , p}[z^{\lambda+n-1};y]\\ & = \sum\limits_{n = 0}^{\infty}a_{n}\left( \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int_{0}^{y}(uz)^{\lambda+n-1}(1-u)^{-\mu-1}\exp\left( \frac{-p} {u(1-u)}\right) du\right) \\ & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty }a_{n}B_{y}\left( \lambda+n, -\mu;p\right) z^{n}. \end{align*}$

Similarly,

$\begin{align*} D_{z}^{\mu, p}\{z^{\lambda-1}f(z);y\} & = \sum\limits_{n = 0}^{\infty}a_{n}D_{z} ^{\mu, p}\left\{ z^{\lambda+n-1};y\right\} \\ & = \sum\limits_{n = 0}^{\infty}a_{n}\left( \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int_{y}^{1}(uz)^{\lambda+n-1}(1-u)^{-\mu-1}\exp\left( \frac{-p} {u(1-u)}\right) du\right) \\ & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty }a_{n}B_{1-y}\left( -\mu, \lambda+n;p\right) z^{n}, \end{align*}$

using uniform convergence of the series and absolute convergence of the integral under the given conditions.

Now we consider the Mellin transform of the extended incomplete beta function. For $Re(s) > 0,$ we have

$\begin{align*} M\left( B_{y}(x, z;p):p\rightarrow s\right) & = \int_{0}^{\infty} p^{s-1}\left( \int_{0}^{y}t^{x-1}(1-t)^{y-1}\exp\left( \frac{-p} {t(1-t)}\right) dt\right) dp\\ & = \Gamma(s)B_{y}(x+s, z+s). \end{align*}$

Therefore, from the inverse Mellin transform, we have

$B_{y}(x, z;p) = \frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\Gamma(s)B_{y} (x+s, z+s)p^{-s}ds.$

Using this result, we have

$\begin{align*} D_{z}^{\mu, p}[z^{\lambda-1}f(z);y] & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty}a_{n}B_{y}\left( \lambda+n, -\mu;p\right) z^{n}\\ & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty }a_{n}\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\Gamma(s)B_{y} (\lambda+n+s, -\mu+s)p^{-s}dsz^{n}\\ & = \frac{z^{\lambda-\mu-1}}{2\pi i\Gamma\left( -\mu\right) }\int _{c-i\infty}^{c+i\infty}\Gamma(s)p^{-s}\left( \sum\limits_{n = 0}^{\infty}a_{n} B_{y}(\lambda+n+s, -\mu+s)z^{n}\right) ds, \end{align*}$

where we have interchanged the contour integral and the series by considering that the function is analytic in the given disc and $\operatorname{Re}(s) > 0$ , $\operatorname{Re}(p) > 0$ , $\operatorname{Re}(\lambda) > 0$ .

Now we consider the case $p\rightarrow0,$ which gives

$D_{z}^{\mu, p}\left[ f(z);y\right] : = \frac{z^{-\mu}}{\Gamma\left( -\mu\right) }\int_{0}^{y}f(uz)(1-u)^{-\mu-1}du,$

the incomplete lower R-L fractional integral operator. Recalling the incomplete beta ratio

$I_{y}(p, q) = \frac{B_{y}(p, q)}{B(p, q)} = \frac{1}{B(p, q)}\int_{0}^{y}\tau ^{p-1}(1-\tau)^{q-1}d\tau,$

the following complex contour representation of this function was given in ^[32] for $p < 1, p+q > 0, 0 < d < 1;$

$I_{y}(p, q) = \frac{y^{p}\left( 1-y\right) ^{q}}{2\pi i}\int_{d-i\infty }^{d+i\infty}\tau^{-p}(1-\tau)^{-q}\frac{d\tau}{\tau-x}.$

The condition $p < 1,$ which is important for the evaluation of the contour integral, can be cancelled by using the analytic continuation principle. Using the above integral representation, we have for $\lambda-\mu > 0$ that

$\begin{align*} D_{z}^{\mu}\left[ z^{\lambda-1}f(z);y\right] & = \frac{z^{\lambda-\mu-1} }{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty}a_{n}B_{y}\left( \lambda+n, -\mu\right) z^{n}\\ & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty }a_{n}\frac{B_{y}\left( \lambda+n, -\mu\right) }{B\left( \lambda +n, -\mu\right) }B\left( \lambda+n, -\mu\right) z^{n}\\ & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty }a_{n}I_{y}(\lambda+n, -\mu)B\left( \lambda+n, -\mu\right) z^{n}\\ & = \frac{z^{\lambda-\mu-1}}{\Gamma\left( -\mu\right) }\sum\limits_{n = 0}^{\infty }a_{n}\frac{y^{\lambda+n}\left( 1-y\right) ^{-\mu}}{2\pi i}\int_{d-i\infty }^{d+i\infty}\tau^{-\lambda-n}(1-\tau)^{\mu}\frac{d\tau}{\tau-x}B\left( \lambda+n, -\mu\right) z^{n}\\ & = \frac{z^{\lambda-\mu-1}y^{\lambda}\left( 1-y\right) ^{-\mu}}{2\pi i\Gamma\left( -\mu\right) }\int_{d-i\infty}^{d+i\infty}\frac{\tau^{-\lambda }(1-\tau)^{\mu}}{\tau-x}\sum\limits_{n = 0}^{\infty}a_{n}B\left( \lambda +n, -\mu\right) \left( \frac{z}{y\tau}\right) ^{n}d\tau\\ & = \frac{z^{\lambda-\mu-1}y^{\lambda}\left( 1-y\right) ^{-\mu}}{2\pi iB\left( \lambda, -\mu\right) }\int_{d-i\infty}^{d+i\infty}\frac {\tau^{-\lambda}(1-\tau)^{\mu}}{\tau-x}\sum\limits_{n = 0}^{\infty}a_{n}\frac{\left( \lambda\right) _{n}}{\left( \lambda-\mu\right) _{n}}\left( \frac{z}{y\tau }\right) ^{n}d\tau. \end{align*}$

For instance, let's choose $f(z) = {}_{p}F_{q}(a_{1}, \cdots, a_{p}; b_{1}, \cdots, b_{q}; z)$ with $p\leq q$ , which is an entire function on the whole domain. From the above result, we can immediately write an elegant contour integral representation:

$\begin{array} D_{z}^{\mu}\left[ z^{\lambda-1}{}_{p}F_{q}(a_{1}, \cdots, a_{p};b_{1} , \cdots, b_{q};z);y\right] \\ = \frac{z^{\lambda-\mu-1}y^{\lambda}\left( 1-y\right) ^{-\mu}}{2\pi i\Gamma\left( -\mu\right) }\int_{d-i\infty }^{d+i\infty}\frac{\tau^{-\lambda}(1-\tau)^{\mu}}{\tau-x} \\ \times{}_{p}F_{q}\left( \lambda, a_{1}, \cdots, a_{p};b_{1}, \cdots , b_{q}, \lambda-\mu;\frac{z}{y\tau}\right) d\tau. \end{array}$

The heading levels should not be more than 4 levels. The font of heading and subheadings should be 12 point normal Times New Roman. The first letter of headings and subheadings should be capitalized.

3. Extended incomplete $\tau$ -Gauss and confluent hypergeometric functions

The main aim of this section is to initiate the study of the extended incomplete $\tau$ -hypergeometric type function and the extended incomplete $\tau$ -Appell functions, where, as mentioned in the introduction, the investigation of the usual cases was a concern of the recent years. The second aim of the section is to make the preparation for the next section, where we obtain their generating relations. We should note here that the results obtained in Sections 3 and 4 are reduced to the incomplete versions in the case $p\rightarrow0,$ where the reduced results will be new for $\tau -$ incomplete special functions discussed in these sections.

We shall introduce the extended incomplete $\tau$ -Gauss and confluent hypergeometric functions in terms of the extended incomplete beta function $B_{y}(x, z;p)\;$ , as follows :

$\begin{align} _{2}R_{1}^{(\tau, p)}\left[ z;y\right] & = \; _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) = \sum\limits_{n = 0}^{\infty}\left( a\right) _{n}\frac{B_{y}\left( b+\tau n, c-b;p\right) }{B\left( c-b, b\right) } \frac{z^{n}}{n!}, \\ & \left( \mathrm{Re}(p) > 0\; , \tau > 0, \; \left\vert z\right\vert < 1, \; \mathrm{Re} (c) > \mathrm{Re}(b) > 0\right) \end{align}$

(3.1)

and

$\begin{align} _{1}\phi_{1}^{(\tau, p)}\left[ z;y\right] & = \; _{1}\phi_{1}^{(\tau , p)}(\left[ b, c;y\right] ;z) = \sum\limits_{n = 0}^{\infty}\frac{B_{y}\left( b+\tau n, c-b;p\right) }{B\left( c-b, b\right) }\frac{z^{n}}{n!}, \\ & \left( \mathrm{Re}(p) > 0\; , \tau > 0, \; \left\vert z\right\vert < 1, \; \mathrm{Re} (c) > \mathrm{Re}(b) > 0\right) . \end{align}$

(3.2)

Remark 3.1. The special case of the definitions (3.1) and (3.2) when $\tau = 1\;$ and $p = 0\;$ are easily seen to reduce to the incomplete Gauss and confluent hypergeometric functions ^[15]:

$_{2}F_{1}(a, \left[ b, c;y\right] ;z) = \sum\limits_{n = 0}^{\infty}\left( a\right) _{n}\left[ b, c;y\right] _{n}\frac{z^{n}}{n!}$

and

$_{1}F_{1}([b, c;y];z) = \sum\limits_{n = 0}^{\infty}[b, c;y]_{n}\frac{z^{n}}{n!}.$

Also, it should be mentioned that in the special case of (3.1) and (3.2) when $p\rightarrow0$ , we arrive at the new definitions which can be called as the incomplete $\tau$ -Gauss and confluent hypergeometric functions as follows:

$\begin{align} _{2}R_{1}^{\tau}\left[ z;y\right] & = \; _{2}R_{1}^{\tau}\left( a, \left[ b, c;y\right] ;z\right) = \sum\limits_{n = 0}^{\infty}\left( a\right) _{n}\frac {B_{y}\left( b+\tau n, c-b\right) }{B\left( c-b, b\right) }\frac{z^{n}} {n!}, \\ & \left( 0\leq y < 1\; , \tau > 0, \; \left\vert z\right\vert < 1, \; \mathrm{Re} (c) > \mathrm{Re}(b) > 0\right) \end{align}$

(3.3)

and

$\begin{align} _{1}\phi_{1}^{\tau}\left[ z;y\right] & = \; _{1}\phi_{1}^{\tau}(\left[ b, c;y\right] ;z) = \sum\limits_{n = 0}^{\infty}\frac{B_{y}\left( b+\tau n, c-b\right) }{B\left( c-b, b\right) }\frac{z^{n}}{n!}. \\ & \left( 0\leq y < 1\; , \tau > 0, \; \left\vert z\right\vert < 1, \; \mathrm{Re} (c) > \mathrm{Re}(b) > 0\right) \end{align}$

(3.4)

In the following propositions, we obtain integral representations and derivative formulas for incomplete $\tau$ -Gauss and confluent hypergeometric functions.

Proposition 3.2. The extended incomplete $\tau$ -Gauss hypergeometric function can be represented by an integral as follows:

$\begin{align} _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) & = \frac{y^{b}}{B(c-b, b)}\int_{0}^{1}u^{b-1}(1-uy)^{c-b-1}(1-(uy)^{\tau} z)^{-a}\exp\left( \frac{-p}{uy(1-uy)}\right) du, \\ & p > 0;p = 0~~\mathit{{\ and}}~~\left\vert \arg(1-z)\right\vert < \pi , {Re}(c) > {Re}(b) > 0. \end{align}$

(3.5)

Proof. Replacing the extended incomplete beta function in the definition (3.5) by its integral representation given by (1.8), we have

$_{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) = \frac {1}{B(c-b, b)}\sum\limits_{n = 0}^{\infty}\left( a\right) _{n}\frac{z^{n}}{n!}\int _{0}^{y}t^{b+\tau n-1}(1-t)^{c-b-1}\exp\left( \frac{-p}{t(1-t)}\right) dt.$

From the uniform convergence, summation and integration can be interchanged. Then, we have

$\begin{align*} _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) & = \frac {1}{B(c-b, b)}\int_{0}^{y}t^{b+\tau n-1}(1-t)^{c-b-1}(1-zt^{\tau})^{-a} \exp\left( \frac{-p}{t(1-t)}\right) dt\\ & = \frac{y^{b}}{B(c-b, b)}\int_{0}^{1}u^{b-1}(1-uy)^{c-b-1}(1-(uy)^{\tau }z)^{-a}\exp\left( \frac{-p}{uy(1-uy)}\right) du. \end{align*}$

Corollary 3.3. If $p$ is set to $0$ in the above proposition, we reach the result corresponding to the incomplete $\tau$ -Gauss hypergeometric function which is given as follows:

$\begin{align*} _{2}R_{1}^{\tau}\left( a, \left[ b, c;y\right] ;z\right) & = \frac{y^{b} }{B(c-b, b)}\int_{0}^{1}u^{b-1}\left( 1-uy\right) ^{c-b-1}\left( 1-\left( uy\right) ^{\tau}z\right) ^{-a}du, \\ & {Re}(c) > {Re}(b) > 0, \mathit{\rm{}}\left\vert z\right\vert < 1. \end{align*}$

Proposition 3.4. For the extended incomplete $\tau$ -confluent hypergeometric function, we have the following integral representation:

$_{1}\phi_{1}^{(\tau, p)}(\left[ b, c;y\right] ;z) = \frac{y^{b}}{B(c-b, b)} \int_{0}^{1}u^{b-1}\left( 1-uy\right) ^{c-b-1}\exp\left( \frac {-p}{uy\left( 1-uy\right) }+\left( uy\right) ^{\tau}z\right) du.$

Corollary 3.5. If we set $p = 0$ in the above theorem, we can give the corresponding result for the incomplete $\tau$ -confluent hypergeometric function as follows:

$_{1}\phi_{1}^{\tau}(\left[ b, c;y\right] ;z) = \frac{y^{b}}{B\left( c-b, b\right) }\int_{0}^{1}u^{b-1}\left( 1-uy\right) ^{c-b-1}e^{\left( uy\right) ^{\tau}z}du.$

Proposition 3.6. The equation shown below holds true for the incomplete $\tau$ -Gauss hypergeometric function:

$\begin{equation} \frac{d^{n}}{dz^{n}}\left[ _{2}R_{1}^{\tau}\left( a, \left[ b, c;y\right] ;z\right) \right] = \frac{\left( a\right) _{n}\left( b\right) _{\tau n} }{\left( c\right) _{\tau n}}\; _{2}R_{1}^{\tau}\left( a+n, \left[ b+\tau n, c+\tau n;y\right] ;z\right) . \end{equation}$

(3.6)

Proof. Using (3.3), differentiating on both sides with respect to $z$ , we get

$\begin{align*} \frac{d}{dz}\left[ _{2}R_{1}^{\tau}\left( a, \left[ b, c;y\right] ;z\right) \right] & = \frac{a}{B(c-b, b)}\int_{0}^{y}t^{b+\tau-1}(1-t)^{c-b-1} (1-zt^{\tau})^{-a-1}dt\\ & = \frac{a}{B(c-b, b)}\int_{0}^{y}t^{(b+\tau)-1}(1-t)^{(c+\tau)-(b+\tau )-1}(1-zt^{\tau})^{-(a+1)}dt\\ & = \frac{a(b)_{\tau}}{(c)_{\tau}}\frac{1}{B(c-b, , b+\tau)}\int_{0} ^{y}t^{(b+\tau)-1}(1-t)^{(c+\tau)-(b+\tau)-1}(1-zt^{\tau})^{-(a+1)}dt. \end{align*}$

which is (3.6) for $n = 1.$ Recursive application of this procedure yields the general result.

In a similar manner, we have the following.

Proposition 3.7. The equation shown below holds true for the incomplete $\tau$ -Gauss hypergeometric function:

$\frac{d^{n}}{dz^{n}}[_{1}\phi_{1}^{\tau}(\left[ b, c;y\right] ;z)] = \frac {\left( b\right) _{\tau n}}{\left( c\right) _{\tau n}}\; _{1}\phi_{1}^{\tau }(\left[ b+\tau n, c+\tau n;y\right] ;z).$

In the following theorem, we give expressions for the Mellin transforms of the extended incomplete $\tau\;$ -Gauss hypergeometric function an expression which involves incomplete $\tau$ -Gauss hypergeometric function.

Theorem 3.8. The extended incomplete $\tau$ -hypergeometric function has a Mellin transform which can be written as follows :

$\begin{equation} \mathfrak{M}\left\{ _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) :p\rightarrow s\right\} = \frac{\Gamma\left( s\right) B\left( c-b+s, b+s\right) }{B\left( c-b, b\right) }\; _{2}R_{1}^{\tau}\left( a, \left[ b+s, c+2s;y\right] ;z\right) . \end{equation}$

(3.7)

Proof. To get the Mellin transform, multiplying (3.5) by $p^{s-1}$ and integrate over the interval $[0, \infty)$ with respect to $p$ to get

$\begin{align} \mathfrak{M}\left\{ _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) :p\rightarrow s\right\} & = \int_{0}^{\infty}p^{s-1}\; _{2} R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) dp\\ & = \frac{y^{b}}{B(c-b, b)}\int_{0}^{1}u^{b-1}(1-uy)^{c-b-1}(1-z(uy)^{\tau })^{-a}\\ & \times\left[ \int_{0}^{\infty}p^{s-1}\exp\left( \frac{-p}{uy(1-uy)} \right) dp\right] du. \end{align}$

(3.8)

Setting $p = tuy(1-uy)$ in (3.8),

$\begin{align*} \int_{0}^{\infty}p^{s-1}\exp\left( \frac{-p}{uy(1-uy)}\right) dp & = \int_{0}^{\infty}t^{s-1}(uy)^{s}(1-uy)^{s}\exp(-t)dt\\ & = (uy)^{s}(1-uy)^{s}\int_{0}^{\infty}t^{s-1}\exp(-t)dt\\ & = (uy)^{s}(1-uy)^{s}\Gamma\left( s\right) . \end{align*}$

Thus we get

$\begin{align*} \mathfrak{M}\left\{ _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) :p\rightarrow s\right\}& = \\ & = \frac{y^{b+s}\Gamma\left( s\right)}{ B(c-b, b)}\int_{0}^{1}u^{b+s-1}(1-uy)^{c-b+s-1}(1-z(uy)^{\tau})^{-a}du\\ & = \frac{\Gamma\left( s\right) B\left( c-b+s, b+s\right) }{B\left(c-b, b\right) }\; _{2}R_{1}^{\tau}\left( a, \left[ b+s, c+2s;y\right];z\right) . \end{align*}$

Remark 3.9. Setting $s = 1$ in (3.7), we get

$\int_{0}^{\infty}\; _{2}R_{1}^{(\tau, p)}\left( a, \left[ b, c;y\right] ;z\right) dp = \frac{b\left( c-b\right) }{c\left( c+1\right) }\; _{2} R_{1}^{\tau}\left( a, \left[ b+1, c+2;y\right] ;z\right) .$

By means of the extended incomplete beta function $B_{y}(x, z;p)\;$ stated by (1.8), we introduce the extended incomplete $\tau-$ Appell's functions as follows:

$\begin{equation} F_{1}^{\tau, p}[\lambda, \alpha, \beta;\mu;x, z;y] = \sum\limits_{m, n = 0}^{\infty} \frac{B_{y}(\lambda+\tau m+\tau n, \mu-\lambda;p)}{B\left( \mu-\lambda , \lambda\right) }\left( \alpha\right) _{m}\left( \beta\right) _{n} \frac{x^{m}}{m!}\frac{z^{n}}{n!}, \end{equation}$

(3.9)

$\begin{equation} F_{1}^{\tau, p}\{\lambda, \alpha, \beta;\mu;x, z;y\} = \sum\limits_{m, n = 0}^{\infty} \frac{B_{1-y}(\mu-\lambda, \lambda+\tau m+\tau n;p)}{B\left( \mu -\lambda, \lambda\right) }\left( \alpha\right) _{m}\left( \beta\right) _{n}\frac{x^{m}}{m!}\frac{z^{n}}{n!}, \end{equation}$

(3.10)

where $\max\{\left\vert x\right\vert, \left\vert z\right\vert \} < 1$ , and

$\begin{equation} F_{2}^{\tau, p}[\alpha, \beta, \lambda;\gamma, \mu;x, z;y] = \sum\limits_{m, n = 0}^{\infty }\left( \alpha\right) _{n+m}\frac{B_{y}(\beta+\tau m, \gamma-\beta ;p)}{B\left( \gamma-\beta, \beta\right) }\frac{B_{y}(\lambda+\tau n, \mu-\lambda;p)}{B(\mu-\lambda, \lambda)}\frac{x^{m}}{m!}\frac{z^{n}} {n!}, \end{equation}$

(3.11)

$\begin{equation} F_{2}^{\tau, p}\{\alpha, \beta, \lambda;\gamma, \mu;x, z;y\} = \sum\limits_{m, n = 0}^{\infty }\left( \alpha\right) _{n+m}\frac{B_{1-y}(\gamma-\beta, \beta+\tau m;p)}{B\left( \gamma-\beta, \beta\right) }\frac{B_{1-y}(\mu-\lambda , \lambda+\tau n;p)}{B(\mu-\lambda, \lambda)}\frac{x^{m}}{m!}\frac{z^{n}} {n!}. \end{equation}$

(3.12)

where $\left\vert x\right\vert +\left\vert z\right\vert < 1.$

Remark 3.10. The special case of the definitions (3.9–3.12) when $\tau = 1\;$ and $p\rightarrow0\;$ are easily seen to reduce to the incomplete Appell's functions ^[15]:

$F_{1}[\lambda, \alpha, \beta;\mu;x, z;y]: = \sum\limits_{m, n = 0}^{\infty}[\lambda , \mu;y]_{m+n}(\alpha)_{m}(\beta)_{n}\frac{x^{m}}{m!}\frac{z^{n}}{n!}, \rm{ \ \ }\max\{\left\vert x\right\vert , \left\vert z\right\vert \} < 1$

and

$F_{1}\{\lambda, \alpha, \beta;\mu;x, z;y\}: = \sum\limits_{m, n = 0}^{\infty}\{\lambda , \mu;y\}_{m+n}(\alpha)_{m}(\beta)_{n}\frac{x^{m}}{m!}\frac{z^{n}}{n!}, \rm{ \ \ }\max\{\left\vert x\right\vert , \left\vert z\right\vert \} < 1$

and

$F_{2}[\alpha, \beta, \lambda;\gamma, \mu;x, z;y]: = \sum\limits_{m, n = 0}^{\infty} (\alpha)_{m+n}[\beta, \gamma;y]_{m}[\lambda, \mu;y]_{n}\frac{x^{m}}{m!} \frac{z^{n}}{n!}, \ \ \left\vert x\right\vert +\left\vert z\right\vert < 1$

and

$F_{2}\{\alpha, \beta, \lambda;\gamma, \mu;x, z;y\}: = \sum\limits_{m, n = 0}^{\infty} (\alpha)_{m+n}\{\beta, \gamma;y\}_{m}\{\lambda, \mu;y\}_{n}\frac{x^{m}}{m!} \frac{z^{n}}{n!}, \rm{ \ \ }\left\vert x\right\vert +\left\vert z\right\vert < 1.$

Also, in the case of $p\rightarrow0$ , we can give the incomplete versions of the $\tau-$ Appell's functions as follows:

$\begin{equation} F_{1}^{\tau}[\lambda, \alpha, \beta;\mu;x, z;y] = \sum\limits_{m, n = 0}^{\infty}\frac {B_{y}(\lambda+\tau m+\tau n, \mu-\lambda)}{B\left( \mu-\lambda, \lambda \right) }\left( \alpha\right) _{m}\left( \beta\right) _{n}\frac{x^{m} }{m!}\frac{z^{n}}{n!}, \end{equation}$

(3.13)

$\begin{equation} F_{1}^{\tau}\{\lambda, \alpha, \beta;\mu;x, z;y\} = \sum\limits_{m, n = 0}^{\infty} \frac{B_{1-y}(\mu-\lambda, \lambda+\tau m+\tau n)}{B\left( \mu-\lambda , \lambda\right) }\left( \alpha\right) _{m}\left( \beta\right) _{n} \frac{x^{m}}{m!}\frac{z^{n}}{n!}, \end{equation}$

(3.14)

$\begin{equation} F_{2}^{\tau}[\alpha, \beta, \lambda;\gamma, \mu;x, z;y] = \sum\limits_{m, n = 0}^{\infty }\left( \alpha\right) _{n+m}\frac{B_{y}(\beta+\tau m, \gamma-\beta)}{B\left( \gamma-\beta, \beta\right) }\frac{B_{y}(\lambda+\tau n, \mu-\lambda)} {B(\mu-\lambda, \lambda)}\frac{x^{m}}{m!}\frac{z^{n}}{n!}, \end{equation}$

(3.15)

and

$\begin{equation} F_{2}^{\tau}\{\alpha, \beta, \lambda;\gamma, \mu;x, z;y\} = \sum\limits_{m, n = 0}^{\infty }\left( \alpha\right) _{n+m}\frac{B_{1-y}(\gamma-\beta, \beta+\tau m)}{B\left( \gamma-\beta, \beta\right) }\frac{B_{1-y}(\mu-\lambda , \lambda+\tau n)}{B(\lambda, \mu-\lambda)}\frac{x^{m}}{m!}\frac{z^{n}} {n!}. \end{equation}$

(3.16)

and we call these functions as the incomplete $\tau$ -Appell's functions.

We can rewrite the series for incomplete $\tau$ -Appell's functions in terms of the incomplete $\tau$ -Gauss hypergeometric functions, so that

$F_{2}^{\tau}[\alpha, \beta, \lambda;\gamma, \mu;x, z;y] = \sum\limits_{n = 0}^{\infty}\left( \alpha\right) _{n}\frac{B_{y}\left( \lambda+\tau n, \mu-\lambda\right) }{B(\mu-\lambda, \lambda)}\; _{2}R_{1}^{\tau}\left( \alpha+n, \left[ \beta, \gamma;y\right] ;x\right) \frac{z^{n}}{n!}.$

In the following proposition, integral representations of the extended incomplete $\tau$ -Appell's functions are given.

Proposition 3.11. The extended incomplete $\tau$ -Appell's functions can be represented by an integral as follows:

$\begin{align} F_{1}^{\tau, p}[\lambda, \alpha, \beta;\mu;x, z;y] & = \frac{y^{\lambda}} {B(\mu-\lambda, \lambda)}\int_{0}^{1}u^{\lambda-1}\left( 1-uy\right) ^{\mu-\lambda-1}(1-x(uy)^{\tau})^{-\alpha}\left( 1-z(uy)^{\tau}\right) ^{-\beta}\\ & \times\exp\left( \frac{-p}{uy(1-uy)}\right) du, \ \ p > 0;p = 0~~\mathit{{ and}} ~~\left\vert \arg(1-x)\right\vert < \pi, \\ & \mathit{\rm{}}\left\vert \arg(1-z)\right\vert < \pi, {Re}(\mu) > {Re}(\lambda ) > 0, {Re}(\alpha) > 0, {Re}(\beta) > 0, \end{align}$

(3.17)

and

$\begin{align} F_{2}^{\tau, p}[\alpha, \beta, \lambda;\gamma, \mu;x, z;y] & = \frac {y^{\lambda+\beta}}{B(\gamma-\beta, \beta)B(\mu-\lambda, \lambda)}\int_{0} ^{1}\int_{0}^{1}u^{\beta-1}\left( 1-uy\right) ^{\gamma-\beta-1}v^{\lambda -1}\left( 1-vy\right) ^{\mu-\lambda-1}\\ & \times\left( 1-\left( uy\right) ^{\tau}x-\left( vy\right) ^{\tau }z\right) ^{-\alpha}\exp\left( \frac{-p}{uy(1-uy)}\right) \exp\left( \frac{-p}{vy(1-vy)}\right) dudv, \\ & p > 0;p = 0\ \ and\mathit{\rm{}}\left\vert \arg(1-x-z)\right\vert < \pi, {Re}(\mu ) > {Re}(\lambda) > 0, \\ & {Re}(\gamma) > {Re}(\beta) > 0, {Re}(\alpha) > 0. \end{align}$

(3.18)

Proof. Replacing the extended incomplete beta function in the definition (3.9) by its integral representation given by (1.8), then we have

$\begin{array} F_{1}^{\tau, p}[\lambda, \alpha, \beta;\mu;x, z;y] \\ = \frac{1}{B(\mu-\lambda , \lambda)}\sum\limits_{m, n = 0}^{\infty}\left( \alpha\right) _{m}\left( \beta\right) _{n}\frac{x^{m}}{m!}\frac{z^{n}}{n!}\int_{0}^{y}t^{\lambda+\tau m+\tau n-1}\left( 1-t\right) ^{\mu-\lambda-1}\exp\left( \frac{-p}{t\left( 1-t\right) }\right) dt. \end{array}$

From the uniform convergence condition, summation and integration can be swapped. Then, we get

$\begin{align*} F_{1}^{\tau, p}[\lambda, \alpha, \beta;\mu;x, z;y] & = \\ & = \frac{1}{B(\mu-\lambda, \lambda)}\int_{0}^{y}t^{\lambda-1}\left( 1-t\right)^{\mu-\lambda-1}\left( 1-xt^{\tau}\right) ^{-\alpha}\left( 1-zt^{\tau}\right)^{-\beta}\exp\left( \frac{-p}{t\left( 1-t\right) }\right) dt \\ & = \frac{y^{\lambda}}{B(\mu-\lambda, \lambda)}\int_{0}^{1}u^{\lambda-1}\left( 1-uy\right) ^{\mu-\lambda-1}(1-x(uy)^{\tau})^{-\alpha}\left( 1-z(uy)^{\tau }\right) ^{-\beta}\exp\left( \frac{-p}{uy(1-uy)}\right) du. \end{align*}$

Whence the result. In a similar manner, formula (3.18) can be proved.

If $p$ is set to $0$ in the above proposition, we have the following corollary:

Corollary 3.12. The incomplete $\tau$ -Appell's functions can be represented by an integral as follows:

$\begin{array} F_{1}^{\tau}[\lambda, \alpha, \beta;\mu;x, z;y] = \frac{y^{\lambda}} {B(\mu-\lambda, \lambda)}\int_{0}^{1}u^{\lambda-1}\left( 1-uy\right) ^{\mu-\lambda-1}(1-x(uy)^{\tau})^{-\alpha}\left( 1-z(uy)^{\tau}\right) ^{-\beta}du, \\ {Re}(\mu) > {Re}(\lambda) > 0, {Re}(\alpha) > 0, {Re}(\beta) > 0, \mathit{\rm{}}x\not \in \lbrack1, \infty), \mathit{\rm{}}z\not \in \lbrack1, \infty), \end{array}$

(3.19)

and

$\begin{array} F_{2}^{\tau}[\alpha, \beta, \lambda;\gamma, \mu;x, z;y] = \frac{y^{\lambda +\beta}}{B(\gamma-\beta, \beta)B(\mu-\lambda, \lambda)}\int_{0}^{1}\int_{0} ^{1}u^{\beta-1}\left( 1-uy\right) ^{\gamma-\beta-1}v^{\lambda-1}\left( 1-vy\right) ^{\mu-\lambda-1}\\ \times\left( 1-\left( uy\right) ^{\tau}x-\left( vy\right) ^{\tau}z\right) ^{-\alpha}dudv, \\ {Re}(\mu) > {Re}(\lambda) > 0, {Re}(\gamma) > {Re}(\beta) > 0, {Re}(\alpha) > 0, \, \left\vert \arg(1-x-z)\right\vert < \pi. \end{array}$

(3.20)

Now we evaluate the following fractional derivative formulas, which we shall need them in the derivation of the generating functions in Section 4.

Proposition 3.13. Let $\mathrm{Re}(\mu) > \mathrm{Re}(\lambda) > 0, \; \mathrm{Re}\left(p\right) > 0, \; \mathrm{Re}\left(\alpha\right) > 0, \; \tau\in\mathbb{N}\;$ and $\left\vert z\right\vert < 1.\;$ Then

$D_{z}^{\lambda-\mu, p}[z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha };y] = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) } z^{\mu-1}\; _{2}R_{1}^{\left( \tau, p\right) }\left( \alpha, \left[ \lambda, \mu;y\right] ;z^{\tau}\right)$

and

$\begin{equation} D_{z}^{\lambda-\mu, p}\{z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha };y\} = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) } z^{\mu-1}\; _{2}R_{1}^{\left( \tau, p\right) }\left( \alpha, \{\lambda , \mu;y\};z^{\tau}\right) . \end{equation}$

(3.21)

Proof. We have

$\begin{align*} D_{z}^{\lambda-\mu, p}[z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha};y]& = \\ & = \frac{z^{\mu-\lambda}}{\Gamma\left( \mu-\lambda\right) }\int_{0}^{y}\left(uz\right) ^{\lambda-1}\left( 1-\left( uz\right) ^{\tau}\right) ^{-\alpha}(1-u)^{\mu-\lambda-1}\exp\left( \frac{-p}{u(1-u)}\right) du\\ & = \frac{z^{\mu-1}y^{\lambda}}{\Gamma\left( \mu-\lambda\right) }\int_{0}^{1}t^{\lambda-1}\left( 1-ty\right) ^{\mu-\lambda-1}\left( 1-\left( ty\right) ^{\tau}z^{\tau}\right) ^{-\alpha}\exp\left( \frac{-p}{ty(1-ty)}\right) dt. \end{align*}$

By (3.5), we can write

$\begin{align*} D_{z}^{\lambda-\mu, p}[z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha};y] & = \frac{z^{\mu-1}}{\Gamma\left( \mu-\lambda\right) }B(\lambda, \mu -\lambda)\; _{2}R_{1}^{\left( \tau, p\right) }\left( \alpha, \left[ \lambda, \mu;y\right] ;z^{\tau}\right) \\ & = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) }z^{\mu -1}\; _{2}R_{1}^{\left( \tau, p\right) }\left( \alpha, \left[ \lambda , \mu;y\right] ;z^{\tau}\right) . \end{align*}$

Whence the result. In a similar manner, formula (3.21) can be proved.

Proposition 3.14. Let $\mathrm{Re}(\mu) > \mathrm{Re}(\lambda) > 0, \; \mathrm{Re}(\beta) > 0, \; \mathrm{Re}\left(\alpha\right) > 0, \; \mathrm{Re}\left(p\right) > 0, \; \tau\in\mathbb{N}; \; \left\vert z\right\vert < \min(\frac{1}{a}, \frac{1} {b}).\;$ Then

$D_{z}^{\lambda-\mu, p}[z^{\lambda-1}\left( 1-az^{\tau}\right) ^{-\alpha }(1-bz^{\tau})^{-\beta};y] = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) }z^{\mu-1}F_{1}^{\left( \tau, p\right) }\left[ \lambda , \alpha, \beta;\mu;az^{\tau}, bz^{\tau};y\right]$

and

$\begin{equation} D_{z}^{\lambda-\mu, p}\{z^{\lambda-1}\left( 1-az^{\tau}\right) ^{-\alpha }(1-bz^{\tau})^{-\beta};y\} = \frac{\Gamma\left( \lambda\right) } {\Gamma\left( \mu\right) }z^{\mu-1}F_{1}^{\left( \tau, p\right) } \{\lambda, \alpha, \beta;\mu;az^{\tau}, bz^{\tau};y\}. \end{equation}$

(3.22)

Proof. Direct calculations yield

$\begin{align*} & D_{z}^{\lambda-\mu, p}[z^{\lambda-1}\left( 1-az^{\tau}\right) ^{-\alpha }(1-bz^{\tau})^{-\beta};y]\\ & = \frac{z^{\mu-\lambda}}{\Gamma\left( \mu-\lambda\right) }\int_{0} ^{y}\left( uz\right) ^{\lambda-1}\left( 1-a\left( uz\right) ^{\tau }\right) ^{-\alpha}\left( 1-b(uz)^{\tau}\right) ^{-\beta}(1-u)^{\mu -\lambda-1}\exp\left( \frac{-p}{u(1-u)}\right) du\\ & = \frac{z^{\mu-1}y^{\lambda}}{\Gamma\left( \mu-\lambda\right) }\int _{0}^{1}t^{\lambda-1}\left( 1-a\left( ty\right) ^{\tau}z^{\tau}\right) ^{-\alpha}\left( 1-b\left( ty\right) ^{\tau}z^{\tau}\right) ^{-\beta }\left( 1-ty\right) ^{\mu-\lambda-1}\\ & \times\exp\left( \frac{-p}{ty\left( 1-ty\right) }\right) dt. \end{align*}$

By (3.17), we can write

$\begin{align*} D_{z}^{\lambda-\mu, p}[z^{\lambda-1}\left( 1-az^{\tau}\right) ^{-\alpha }(1-bz^{\tau})^{-\beta};y] & = \frac{z^{\mu-1}}{\Gamma\left( \mu -\lambda\right) }B(\lambda, \mu-\lambda)F_{1}^{\left( \tau, p\right) }\left[ \lambda, \alpha, \beta;\mu;az^{\tau}, bz^{\tau};y\right] \\ & = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) }z^{\mu -1}F_{1}^{\left( \tau, p\right) }\left[ \lambda, \alpha, \beta;\mu;az^{\tau }, bz^{\tau};y\right] . \end{align*}$

Hence the proof is completed. In a similar manner, formula (3.22) can be proved.

Proposition 3.15. For $\mathrm{Re}(\mu) > \mathrm{Re}(\lambda) > 0, \; \mathrm{Re}(\beta) > 0, \; \mathrm{Re}\left(\alpha\right) > 0, \; \mathrm{Re}\left(p\right) > 0, \; \mathrm{Re}(\gamma) > 0, \; \tau\in\mathbb{N}; \; \left\vert \frac{t} {1-z}\right\vert < 1\;$ and $\left\vert t\right\vert +\left\vert z\right\vert < 1, \;$ we have

$\begin{equation*} D_{z}^{\lambda-\mu, p}\left[ z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha}\; _{2}R_{1}^{\left( \tau, p\right) }\left( \alpha, \left[ \beta, \gamma;y\right] ;\frac{t}{1-z^{\tau}}\right) \right] \\ = \frac {\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) }z^{\mu-1} F_{2}^{(\tau, p)}\left[ \alpha, \beta, \lambda;\gamma, \mu;t, z^{\tau};y\right]. \end{equation*}$

Proof. Using Example 12 and (3.15), we have

$\begin{align*} & D_{z}^{\lambda-\mu, p}\left[ z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha}\; _{2}R_{1}^{\left( \tau, p\right) }\left( \alpha, \left[ \beta, \gamma;y\right] ;\frac{t}{1-z^{\tau}}\right) \right] \\ & = D_{z}^{\lambda-\mu, p}\left[ z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha}\; \frac{1}{B(\gamma-\beta, \beta)}\sum\limits_{n = 0}^{\infty}\frac{\left( \alpha\right) _{n}}{n!}B_{y}\left( \beta+\tau n, \gamma-\beta;p\right) \left( \frac{t}{1-z^{\tau}}\right) ^{n};y\right] \\ & = \frac{1}{B(\gamma-\beta, \beta)}D_{z}^{\lambda-\mu, p}\left[ z^{\lambda -1}\; \sum\limits_{n = 0}^{\infty}\left( \alpha\right) _{n}B_{y}\left( \beta+\tau n, \gamma-\beta;p\right) \frac{t^{n}}{n!}\left( 1-z^{\tau}\right) ^{-\alpha-n};y\right] \\ & = \frac{1}{B(\gamma-\beta, \beta)}\sum\limits_{m, n = 0}^{\infty}B_{y}\left( \beta+\tau n, \gamma-\beta;p\right) \frac{t^{n}}{n!}\frac{\left( \alpha\right) _{n}(\alpha+n)_{m}}{m!}D_{z}^{\lambda-\mu, p}\left[ z^{\lambda+\tau m-1};y\right] \\ & = \frac{1}{B(\gamma-\beta, \beta)}\sum\limits_{m, n = 0}^{\infty}B_{y}\left( \beta+\tau n, \gamma-\beta;p\right) \frac{t^{n}}{n!}\frac{\left( \alpha\right) _{n+m}}{m!}\frac{B_{y}\left( \lambda+\tau m, \mu-\lambda ;p\right) }{\Gamma\left( \mu-\lambda\right) }z^{\mu+\tau m-1}\\ & = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) }z^{\mu -1}F_{2}^{(\tau, p)}\left[ \alpha, \beta, \lambda;\gamma, \mu;t, z^{\tau };y\right] . \end{align*}$

In the case $p\rightarrow0$ , we list the consequences of the above propositions for the incomplete $\tau$ -hypergeometric functions below:

Corollary 3.16. Let $\mathrm{Re}\left(\alpha\right) > 0, \; \mathrm{Re}(\mu) > \mathrm{Re} (\lambda) > 0, \; \tau\in\mathbb{N}\;$ and $\left\vert z\right\vert < 1.\;$ Then

$D_{z}^{\lambda-\mu}[z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha };y] = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) } z^{\mu-1}\; _{2}R_{1}^{\tau}\left( \alpha, \left[ \lambda, \mu;y\right] ;z^{\tau}\right) .$

Corollary 3.17. Let $\mathrm{Re}(\mu) > \mathrm{Re}(\lambda) > 0, \; \mathrm{Re}(\beta) > 0, \; \mathrm{Re}\left(\alpha\right) > 0, \; \tau\in\mathbb{N}; \; \left\vert z\right\vert < \min(\frac{1}{a}, \frac{1}{b}).\;$ Then

$D_{z}^{\lambda-\mu}[z^{\lambda-1}\left( 1-az^{\tau}\right) ^{-\alpha }(1-bz^{\tau})^{-\beta};y] = \frac{\Gamma\left( \lambda\right) }{\Gamma\left( \mu\right) }z^{\mu-1}F_{1}^{\tau}\left[ \lambda, \alpha, \beta;\mu;az^{\tau }, bz^{\tau};y\right] .$

Corollary 3.18. For $\mathrm{Re}(\mu) > \mathrm{Re}(\lambda) > 0, \; \mathrm{Re}(\beta) > 0, \; \mathrm{Re}(\gamma) > 0, \; \mathrm{Re}\left(\alpha\right) > 0, \; \tau \in\mathbb{N}; \; \left\vert \frac{t}{1-z}\right\vert < 1\;$ and $\left\vert t\right\vert +\left\vert z\right\vert < 1, \;$ we have

$D_{z}^{\lambda-\mu}\left[ z^{\lambda-1}\left( 1-z^{\tau}\right) ^{-\alpha }\; _{2}R_{1}^{\tau}\left( \alpha, \left[ \beta, \gamma;y\right] ;\frac {t}{1-z^{\tau}}\right) \right] = \frac{\Gamma\left( \lambda\right) } {\Gamma\left( \mu\right) }z^{\mu-1}F_{2}^{\tau}\left[ \alpha, \beta , \lambda;\gamma, \mu;t, z^{\tau};y\right] .$

4. Generating functions

Here we shall obtain linear and bilinear type generating relations for the extended incomplete $\tau$ -hypergeometric functions.

Theorem 4.1. The extended incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

$\begin{equation} \sum\limits_{n = 0}^{\infty}\frac{\left( \lambda\right) _{n}}{n!}\; _{2}R_{1} ^{(\tau, p)}\left( \lambda+n, \left[ \alpha, \beta;y\right] ;z^{\tau}\right) t^{n} = \left( 1-t\right) ^{-\lambda}\; _{2}R_{1}^{(\tau, p)}\left( \lambda, \left[ \alpha, \beta;y\right] ;\frac{z^{\tau}}{1-t}\right) \end{equation}$

(4.1)

where $\tau\in\mathbb{N}, \left\vert z\right\vert < \min\{1, \left\vert 1-t\right\vert \}.$

Proof. By expanding as a binomial series, we have for $\left\vert t\right\vert < \left\vert 1-z^{\tau}\right\vert$ that

$(1-z^{\tau})^{-\lambda}\sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}}{n!}\left( \frac{t}{1-z^{\tau}}\right) ^{n} = [(1-z^{\tau})-t]^{-\lambda} = (1-t)^{-\lambda }\left[ 1-\frac{z^{\tau}}{1-t}\right] ^{-\lambda}.$

Multiplying by $z^{\alpha-1}$ on both sides and applying the extended incomplete fractional derivative operator $D_{z}^{\alpha-\beta, p}[f(z); y]$ on both sides, we have

$\begin{equation*} D_{z}^{\alpha-\beta, p}\left[ \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}} {n!}(1-z^{\tau})^{-\lambda}\left( \frac{t}{1-z^{\tau}}\right) ^{n} z^{\alpha-1};y\right] \\ = (1-t)^{-\lambda}D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}\left[ 1-\frac{z^{\tau}}{1-t}\right] ^{-\lambda};y\right] . \end{equation*}$

Swapping the summation and integration, we get

$\sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}}{n!}D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}(1-z^{\tau})^{-\lambda-n};y\right] t^{n} = (1-t)^{-\lambda} D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}\left[ 1-\frac{z^{\tau}} {1-t}\right] ^{-\lambda};y\right] .$

Using Proposition 6, the result follows.

Theorem 4.2. The extended incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

$\sum\limits_{n = 0}^{\infty}\frac{\left( \lambda\right) _{n}}{n!}\; _{2}R_{1} ^{(\tau, p)}\left( \rho-n, \left[ \alpha, \beta;y\right] ;z^{\tau}\right) t^{n} = \left( 1-t\right) ^{-\lambda}\; F_{1}^{(\tau, p)}\left[ \alpha , \rho, \lambda;\beta;z^{\tau}, \frac{-z^{\tau}t}{1-t};y\right]$

where $\tau\in\mathbb{N}, \left\vert t\right\vert < \frac{1}{1+\left\vert z\right\vert }.$

Proof. By expanding as a binomial series, we have for $\left\vert t\right\vert < \left\vert 1-{z}^{\tau}\right\vert$ that

$\sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}}{n!}(1-z^{\tau})^{n}t^{n} = [1-(1-z^{\tau})t]^{-\lambda} = (1-t)^{-\lambda}\left[ 1+\frac{z^{\tau}t} {1-t}\right] ^{-\lambda}.$

Multiplying by $z^{\alpha-1}(1-z^{\tau})^{-\rho}$ on both sides and applying the extended incomplete fractional derivative operator $D_{z}^{\alpha-\beta, p}[f(z); y]$ on both sides, we have

$\begin{equation*} D_{z}^{\alpha-\beta, p}\left[ \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}} {n!}z^{\alpha-1}(1-z^{\tau})^{-\rho+n}t^{n};y\right] \\ = (1-t)^{-\lambda} D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}(1-z^{\tau})^{-\rho}\left[ 1-\frac{-z^{\tau}t}{1-t}\right] ^{-\lambda};y\right] . \end{equation*}$

Interchanging the order, we get

$\begin{equation*} \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}}{n!}D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}(1-z^{\tau})^{-(\rho-n)};y\right] t^{n} = (1-t)^{-\lambda} D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}(1-z^{\tau})^{-\rho}\left[ 1-\frac{-z^{\tau}t}{1-t}\right] ^{-\lambda};y\right] . \end{equation*}$

To get the desired result, we use Propositions 6 and 7.

Theorem 4.3. The extended incomplete $\tau$ -hypergeometric function can be represented by a bilinear generating relation as follows:

$\begin{array}{*{20}{c}} {\;{{\sum\limits_{n = 0}^\infty {\frac{{{{\left( \lambda \right)}_n}}}{{n!}}} }_2}R_1^{(\tau ,p)}{{\left( { - n,\left[ {\gamma ,\delta ;y} \right];{x^\tau }} \right)}_2}R_1^{(\tau ,p)}\left( {\lambda + n,\left[ {\alpha ,\beta ;y} \right];{z^\tau }} \right){t^n} = {{(1 - t)}^{ - \lambda }}F_2^{(\tau ,p)}\left[ {\lambda ,\alpha ,\gamma ;\beta ,\delta ;\frac{{{z^\tau }}}{{1 - t}},\frac{{ - {x^\tau }t}}{{1 - t}};y} \right]} \end{array}$

where $\tau\in\mathbb{N}, \left\vert t\right\vert < \frac{1-\left\vert z\right\vert }{1+\left\vert x\right\vert }$ and $\left\vert z\right\vert < 1.$

Proof. Starting from (4.2), we replace $t\;$ with $\; (1-x^{\tau})t$ , introduce a factor of $x^{\gamma-1}$ , and apply $D_{x}^{\gamma-\delta, p}[f(x); y]$ . Then we have

$\begin{align*} & D_{x}^{\gamma-\delta, p}\left[ \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}} {n!}x^{\gamma-1}\; _{2}R_{1}^{(\tau, p)}\left( \lambda+n, \left[ \alpha , \beta;y\right] ;z^{\tau}\right) \; (1-x^{\tau})^{n}t^{n};y\right] \\ & = D_{x}^{\gamma-\delta, p}\left[ (1-(1-x^{\tau})t)^{-\lambda}x^{\gamma -1}\; _{2}R_{1}^{(\tau, p)}\left( \lambda, \left[ \alpha, \beta;y\right] ;\frac{z^{\tau}}{1-(1-x^{\tau})t}\right) ;y\right] . \end{align*}$

Provided that $\left\vert z\right\vert < 1, \left\vert \frac{1-x}{1-z} t\right\vert < 1$ and $\left\vert \frac{z}{1-t}\right\vert +\left\vert \frac{xt}{1-t}\right\vert < 1$ , we can interchange the order to obtain:

$\begin{align*} & \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}}{n!}D_{x}^{\gamma-\delta, p}\left[ x^{\gamma-1}(1-x^{\tau})^{n};y\right] \; _{2}R_{1}^{(\tau, p)}\left( \lambda+n, \left[ \alpha, \beta;y\right] ;z^{\tau}\right) \\ & = (1-t)^{-\lambda}D_{x}^{\gamma-\delta, p}\left[ x^{\gamma-1}\left( 1-\frac{-x^{\tau}t}{1-t}\right) ^{-\lambda}\; \; _{2}R_{1}^{(\tau, p)} (\lambda, \left[ \alpha, \beta;y\right] ;\frac{\frac{z^{\tau}}{1-t}} {1-\frac{-x^{\tau}t}{1-t}});y\right] . \end{align*}$

To get the result, we use Propositions 6 and 8.

In a similar manner, the linear and bilinear type generating relation can be given for incomplete $\tau$ -hypergeometric function.

Corollary 4.4. The incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

$\sum\limits_{n = 0}^{\infty}\frac{\left( \lambda\right) _{n}}{n!}\; _{2}R_{1}^{\tau }\left( \lambda+n, \left[ \alpha, \beta;y\right] ;z^{\tau}\right) t^{n} = \left( 1-t\right) ^{-\lambda}\; _{2}R_{1}^{\tau}\left( \lambda, \left[ \alpha, \beta;y\right] ;\frac{z^{\tau}}{1-t}\right) .$

Corollary 4.5. The incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

$\sum\limits_{n = 0}^{\infty}\frac{\left( \lambda\right) _{n}}{n!}\; _{2}R_{1}^{\tau }\left( \rho-n, \left[ \alpha, \beta;y\right] ;z^{\tau}\right) t^{n} = \left( 1-t\right) ^{-\lambda}\; F_{1}^{\tau}\left[ \alpha, \rho, \lambda;\beta;z^{\tau }, \frac{-z^{\tau}t}{1-t};y\right] .$

Corollary 4.6. The incomplete $\tau$ -hypergeometric function can be represented by a bilinear generating relation as follows:

$\sum\limits_{n = 0}^\infty {\frac{{{{\left( \lambda \right)}_n}}}{{n!}}} {\;_2}R_1^\tau {\left( { - n,\left[ {\gamma ,\delta ;y} \right];{x^\tau }} \right)_2}R_1^\tau \left( {\lambda + n,\left[ {\alpha ,\beta ;y} \right];{z^\tau }} \right){t^n} = {(1 - t)^{ - \lambda }}F_2^\tau \left[ {\lambda ,\alpha ,\gamma ;\beta ,\delta ;\frac{{{z^\tau }}}{{1 - t}},\frac{{ - {x^\tau }t}}{{1 - t}};y} \right].$

Here we shall obtain linear and bilinear type generating relations for the extended incomplete $\tau$ -hypergeometric functions.

Theorem 4.7. The extended incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

(4.2)

where $\tau\in\mathbb{N}, \left\vert z\right\vert < \min\{1, \left\vert 1-t\right\vert \}.$

Proof. By expanding as a binomial series, we have for $\left\vert t\right\vert < \left\vert 1-z^{\tau}\right\vert$ that

Multiplying by $z^{\alpha-1}$ on both sides and applying the extended incomplete fractional derivative operator $D_{z}^{\alpha-\beta, p}[f(z); y]$ on both sides, we have

$\begin{equation*} D_{z}^{\alpha-\beta, p}\left[ \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}} {n!}(1-z^{\tau})^{-\lambda}\left( \frac{t}{1-z^{\tau}}\right) ^{n} z^{\alpha-1};y\right] = (1-t)^{-\lambda}D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}\left[ 1-\frac{z^{\tau}}{1-t}\right] ^{-\lambda};y\right] . \end{equation*}$

Swapping the summation and integration, we get

Using Proposition 6, the result follows.

Theorem 4.8. The extended incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

where $\tau\in\mathbb{N}, \left\vert t\right\vert < \frac{1}{1+\left\vert z\right\vert }.$

Proof. By expanding as a binomial series, we have for $\left\vert t\right\vert < \left\vert 1-{z}^{\tau}\right\vert$ that

$\sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}}{n!}(1-z^{\tau})^{n}t^{n} = [1-(1-z^{\tau})t]^{-\lambda} = (1-t)^{-\lambda}\left[ 1+\frac{z^{\tau}t} {1-t}\right] ^{-\lambda}.$

Multiplying by $z^{\alpha-1}(1-z^{\tau})^{-\rho}$ on both sides and applying the extended incomplete fractional derivative operator $D_{z}^{\alpha-\beta, p}[f(z); y]$ on both sides, we have

$\begin{equation*} D_{z}^{\alpha-\beta, p}\left[ \sum\limits_{n = 0}^{\infty}\frac{(\lambda)_{n}} {n!}z^{\alpha-1}(1-z^{\tau})^{-\rho+n}t^{n};y\right] = (1-t)^{-\lambda} D_{z}^{\alpha-\beta, p}\left[ z^{\alpha-1}(1-z^{\tau})^{-\rho}\left[ 1-\frac{-z^{\tau}t}{1-t}\right] ^{-\lambda};y\right] . \end{equation*}$

Interchanging the order, we get

To get the desired result, we use Propositions 6 and 7.

Theorem 4.9. The extended incomplete $\tau$ -hypergeometric function can be represented by a bilinear generating relation as follows:

$\sum\limits_{n = 0}^\infty {\frac{{{{\left( \lambda \right)}_n}}}{{n!}}} {\;_2}R_{1} ^{(\tau, p)}\left( -n, \left[ \gamma, \delta;y\right] ;x^{\tau}\right) _{2}R_{1}^{(\tau, p)}\left( \lambda+n, \left[ \alpha, \beta;y\right] ;z^{\tau }\right) t^{n} = (1-t)^{-\lambda}F_{2}^{(\tau, p)}\left[ \lambda, \alpha , \gamma;\beta, \delta;\frac{z^{\tau}}{1-t}, \frac{-x^{\tau}t}{1-t};y\right]$

where $\tau\in\mathbb{N}, \left\vert t\right\vert < \frac{1-\left\vert z\right\vert }{1+\left\vert x\right\vert }$ and $\left\vert z\right\vert < 1.$

Proof. Starting from (4.2), we replace $t\;$ with $\; (1-x^{\tau})t$ , introduce a factor of $x^{\gamma-1}$ , and apply $D_{x}^{\gamma-\delta, p}[f(x); y]$ . Then we have

To get the result, we use Propositions 6 and 8.

In a similar manner, the linear and bilinear type generating relation can be given for incomplete $\tau$ -hypergeometric function.

Corollary 4.10. The incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

Corollary 4.11. The incomplete $\tau$ -hypergeometric function can be represented by a linear generating relation as follows:

Corollary 4.12. The incomplete $\tau$ -hypergeometric function can be represented by a bilinear generating relation as follows:

$\sum\limits_{n = 0}^\infty {\frac{{{{\left( \lambda \right)}_n}}}{{n!}}} {\;_2}R_{1}^{\tau }\left( -n, \left[ \gamma, \delta;y\right] ;x^{\tau}\right) _{2}R_{1}^{\tau }\left( \lambda+n, \left[ \alpha, \beta;y\right] ;z^{\tau}\right) t^{n} = (1-t)^{-\lambda}F_{2}^{\tau}\left[ \lambda, \alpha, \gamma;\beta , \delta;\frac{z^{\tau}}{1-t}, \frac{-x^{\tau}t}{1-t};y\right] .$

Conflict of interest

The authors declare there is no conflicts of interest.

References

[1]	P. Agarwal, J. Choi, Fractional calculus operators and their image formulas, J. Korean Math. Soci., 53 (2016), 1183–1210. https://doi.org/10.4134/JKMS.j150458 doi: 10.4134/JKMS.j150458
[2]	A. Çetinkaya, A comperative study on generating function relations for generalized hypergeometric functions via generalized fractional operators, Adv. Differ. Equations 2018, 156 (2018). https://doi.org/10.1186/s13662-018-1612-0
[3]	R. Hilfer, Applications of Fractional Calculus in Physics, World Scientific, Singapore, 2000. https://doi.org/10.1142/3779
[4]	R. L. Magin, Fractional Calculus in Bioengineering, Begell House Publishers, Connecticut, 2006.
[5]	F. Mainardi, Fractional Calculus and Waves in Linear Viscoelasticity, Imperial College Press, London, 2010. https://doi.org/10.1142/p614
[6]	R. Srivastava, Some classes of generating functions associated with a certain family of extended and generalized hypergeometric functions, Appl. Math. Comput., 243 (2014), 132–137. https://doi.org/10.1016/j.amc.2014.05.074 doi: 10.1016/j.amc.2014.05.074
[7]	R. Srivastava, N. E. Cho, Generating functions for a certain class of hypergeometric polynomials, Appl. Math. Comput., 219 (2012), 3219–3225. https://doi.org/10.1016/j.amc.2012.09.059 doi: 10.1016/j.amc.2012.09.059
[8]	H. M. Srivastava, R. K. Parmar, P. Chopra, A class of extended fractional derivative operators and associated generating relations involving hypergeometric functions, Axioms, 1 (2012), 238–258. https://doi.org/10.3390/axioms1030238 doi: 10.3390/axioms1030238
[9]	H. M. Srivastava, H. L. Manocha, A Treatise on Generating Functions, Halsted Press, New York, 1984.
[10]	H. G. Sun, Y. Zhang, D. Baleanu, W. Chen, Y. Q. Chen, A new collection of real world applications of fractional calculus in science and engineering, Commun. Nonlinear Sci. Numer. Simul., 64 (2018), 213–231. https://doi.org/10.1016/j.cnsns.2018.04.019 doi: 10.1016/j.cnsns.2018.04.019
[11]	M. A. Özarslan, E. Özergin, Some generating relations for extended hypergeometric functions via generalized fractional derivative operator, Math. Comput. Model., 52 (2010), 1825–1833. https://doi.org/10.1016/j.mcm.2010.07.011 doi: 10.1016/j.mcm.2010.07.011
[12]	M. A. Chaudhry, A. Qadir, M. Rafique, S. M. Zubair, Extension of Euler's beta function, J. Comput. Appl. Math., 78 (2014), 19–32. https://doi.org/10.1016/S0377-0427(96)00102-1 doi: 10.1016/S0377-0427(96)00102-1
[13]	M. A. Chaudhry, A. Qadir, H. M. Srivastava, R. B. Paris, Extended hypergeometric and confluent hypergeometric functions, Appl. Math. Comput., 159 (2004), 589–602. https://doi.org/10.1016/j.amc.2003.09.017 doi: 10.1016/j.amc.2003.09.017
[14]	M. A. Chaudhry, S. M. Zubair, On a Class of Incomplete Gamma Functions with Applications, CRC Press (Chapman and Hall), Boca Raton, FL, USA, 2002. https://doi.org/10.1201/9781420036046
[15]	M. A. Özarslan, C. Ustaoğlu, Some incomplete hypergeometric functions and incomplete Riemann–Liouville fractional integral operators, Mathematics, 7 (2019), 483. https://doi.org/10.3390/math7050483 doi: 10.3390/math7050483
[16]	M. A. Özarslan, C. Ustaoğlu, Incomplete Caputo fractional derivative operators, Adv. Differ. Equations, 1 (2018), 209. https://doi.org/10.1186/s13662-018-1656-1
[17]	A. Fernandez, C. Ustaoğlu, M. A. Özarslan, On the analytical development of incomplete Riemann–Liouville fractional calculus, Turkish J. Math., 45 (2021), 1418–1443. https://doi.org/10.3906/mat-2101-64 doi: 10.3906/mat-2101-64
[18]	H. M. Srivastava, Some parametric and argument variations of the operators of fractional calculus and related special functions and integral transformation, J. Nonlinear Convex Anal., 22 (2021), 1501–1520.
[19]	A. Çetinkaya, The incomplete second Appell hypergeometric functions, Appl. Math. Comput., 219 (2013), 8332–8337. https://doi.org/10.1016/j.amc.2012.11.050 doi: 10.1016/j.amc.2012.11.050
[20]	S. A. Dar, R. B. Paris, A (p, q)- extension of Srivastava's triple hypergeometric function $H_{B}$ and its properties, J. Comput. Appl. Math., 348 (2019), 237–245. https://doi.org/10.1016/j.cam.2018.08.045 doi: 10.1016/j.cam.2018.08.045
[21]	S. D. Lin, H. M. Srivastava, M. M. Wong, Some applications of Srivastava's theorem involving a certain family of generalized and extended hypergeometric polynomials, Filomat, 29 (2015), 1811–1819. https://doi.org/10.2298/FIL1508811L doi: 10.2298/FIL1508811L
[22]	M. A. Özarslan, C. Ustaoğlu, Extension of incomplete gamma, beta and hypergeometric functions. Prog. Fractional Differ. Appl., 5 (2019), 1–15. https://doi.org/10.18576/pfda/050101
[23]	E. Özergin, M. A. Özarslan, A. Altin, Extension of gamma, beta and hypergeometric functions. J. Comput. Appl. Math., 235 (2011), 4601–4610. https://doi.org/10.1016/j.cam.2010.04.019
[24]	E. D. Rainville, Special Functions, Macmillan Company, New York, 1960; Reprinted by Chelsea Publishing Company, Bronx, New York, 1971.
[25]	R. Srivastava, Some generalizations of Pochhammer's symbol and their associated families of hypergeometric functions and hypergeometric polynomials, Appl. Math. Inform. Sci., 7 (2013), 2195–2206. https://doi.org/10.12785/amis/070609 doi: 10.12785/amis/070609
[26]	R. Srivastava, N. E. Cho, Some extended Pochhammer symbols and their applications involving generalized hypergeometric polynomials, Appl. Math. and Comput., 234 (2014), 277–285. https://doi.org/10.1016/j.amc.2014.02.036 doi: 10.1016/j.amc.2014.02.036
[27]	H. M. Srivastava, M. A. Chaudry, R. P. Agarwal, The incomplete Pochhammer symbols and their applications to hypergeometric and related functions, Integr. Transf. Spec. Funct., 23 (2012), 659–683. https://doi.org/10.1080/10652469.2011.623350 doi: 10.1080/10652469.2011.623350
[28]	H. M. Srivastava, A. Çetinkaya, O. I. Kıymaz, A certain generalized Pochhammer symbol and its applications to hypergeometric functions, Appl. Math. Comput., 226 (2014), 484–491. https://doi.org/10.1016/j.amc.2013.10.032 doi: 10.1016/j.amc.2013.10.032
[29]	H. M. Srivastava, A survey of some recent developments on higher transcendental functions of analytic number theory and applied mathematics, Symmetry, 13 (2021), 1–22. https://doi.org/10.3390/sym13122294 doi: 10.3390/sym13122294
[30]	H. M. Srivastava, An introductory overview of fractional calculus operators based upon the Fox-Wright and related higher transcendental functions, J. Adv. Eng. Comput., 5 (2021), 135–166. https://doi.org/10.55579/jaec.202153.340 doi: 10.55579/jaec.202153.340
[31]	S. Hussain, J. Khalid, Y. M. Chu, Some generalized fractional integral Simpson's type inequalities with applications, AIMS Math., 5 (2020), 5859–5883. https://doi.org/10.3934/math.2020375 doi: 10.3934/math.2020375
[32]	N. M. Temme, Incomplete Laplace integrals: Uniform asymptotic expansion with application to the incomplete beta function, SIAM J. Math. Anal., 18 (1987), 1637–1663. https://doi.org/10.1137/0518118 doi: 10.1137/0518118

This article has been cited by:

Oğuz YAĞCI, Recep ŞAHİN, İ. Onur KIYMAZ, Ayşegül ÇETİNKAYA, Some generalised extended incomplete beta functions and applications, 2022, 11, 1304-7981, 132, 10.54187/jnrs.1143905

Reader Comments

Your name:*

Email:*
© 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Electronic Research Archive

1 1.7

Metrics

Article views(1858) PDF downloads(102) Cited by(2)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Electronic Research Archive

Extended incomplete Riemann-Liouville fractional integral operators and related special functions

Related Papers:

Abstract

1. Introduction

2. Extended incomplete R-L fractional integral operator

3. Extended incomplete $\tau$ -Gauss and confluent hypergeometric functions

4. Generating functions

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

Electronic Research Archive

Extended incomplete Riemann-Liouville fractional integral operators and related special functions

Related Papers:

Abstract

1. Introduction

2. Extended incomplete R-L fractional integral operator

3. Extended incomplete τ \tau -Gauss and confluent hypergeometric functions

4. Generating functions

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

3. Extended incomplete $\tau$ -Gauss and confluent hypergeometric functions