Some Incomplete Hypergeometric Functions and Incomplete Riemann-Liouville Fractional Integral Operators

Abstract

Very recently, the incomplete Pochhammer ratios were defined in terms of the incomplete beta function $B_y(x,z)$. With the help of these incomplete Pochhammer ratios, we introduce new incomplete Gauss, confluent hypergeometric, and Appell’s functions and investigate several properties of them such as integral representations, derivative formulas, transformation formulas, and recurrence relations. Furthermore, incomplete Riemann-Liouville fractional integral operators are introduced. This definition helps us to obtain linear and bilinear generating relations for the new incomplete Gauss hypergeometric functions.

1. Introduction and Preliminaries

In recent years, some extensions of the well-known special functions have been considered by several authors (see, for example, [1,2,3,4,5,6,7,8,9]). The familiar incomplete gamma functions $\gamma (s,x)$ and $\mathsf{\Gamma }(s,x)$ are defined by:

$$\gamma (s,x):={\int }_0^x{t}^{s-1}{e}^{-t}dt\left(Re\left(s\right)>0;x\geqq 0\right)$$

and

$$\mathsf{\Gamma }(s,x):={\int }_x^{\infty }{t}^{s-1}{e}^{-t}dt(x\geqq 0;Re\left(s\right)>0\mathrm{when}x=0),$$

respectively. They satisfy the following decomposition formula:

$$\gamma (s,x)+\mathsf{\Gamma }(s,x)=\mathsf{\Gamma }\left(s\right)\left(Re\left(s\right)>0\right).$$

(1)

The function $\mathsf{\Gamma }\left(s\right)$ and its incomplete versions $\gamma (s,x)$ and $\mathsf{\Gamma }(s,x)$ play important roles in the study of analytical solutions of a variety of problems in diverse areas of science and engineering.

The widely-used Pochhammer symbol ${\left(\lambda \right)}_{\nu }$$\left(\lambda ,\nu \in \mathbb{C}\right)$ is defined, in general, by:

$${\left(\lambda \right)}_{\nu }:=\frac{\mathsf{\Gamma }\left(\lambda +\nu \right)}{\mathsf{\Gamma }\left(\lambda \right)}=\left\{\begin{array}{cc}1\hfill & \left(\nu =0;\lambda \in \mathbb{C}\setminus \left\{0\right\}\right)\hfill \\ \lambda \left(\lambda +1\right)\dots \left(\lambda +\nu -1\right)\hfill & \left(\nu \in \mathbb{N};\lambda \in \mathbb{C}\right)\hfill \end{array}\right\}$$

(2)

In terms of the incomplete gamma functions $\gamma (s,x)$ and $\mathsf{\Gamma }(s,x)$, the incomplete Pochhammer symbols ${\left(\lambda ;x\right)}_{\nu }$ and ${\left[\lambda ;x\right]}_{\nu }$$\left(\lambda ;\nu \in \mathbb{C};x\geqq 0\right)$ were defined as follows [10]:

$${\left(\lambda ;x\right)}_{\nu }:=\frac{\gamma (\lambda +\nu ,x)}{\mathsf{\Gamma }\left(\lambda \right)}\left(\lambda ,\nu \in \mathbb{C};x\geqq 0\right)$$

(3)

and:

$${\left[\lambda ;x\right]}_{\nu }:=\frac{\mathsf{\Gamma }\left(\lambda +\nu ,x\right)}{\mathsf{\Gamma }\left(\lambda \right)}\left(\lambda ,\nu \in \mathbb{C};x\geqq 0\right).$$

(4)

In view of (1), these incomplete Pochhammer symbols ${\left(\lambda ;x\right)}_{\nu }$ and ${\left[\lambda ;x\right]}_{\nu }$ satisfy the following decomposition relation:

$${\left(\lambda ;x\right)}_{\nu }+{\left[\lambda ;x\right]}_{\nu }={\left(\lambda \right)}_{\nu }\left(\lambda ,\nu \in \mathbb{C};x\geqq 0\right),$$

(5)

where ${\left(\lambda \right)}_{\nu }$ is the Pochhammer symbol given by (2).

The incomplete Gauss hypergeometric functions were defined by means of the incomplete gamma functions as follows [10]:

$${}_2{\gamma }_1\left[\begin{array}{cccc}\left(a,x\right)& .& b& ;\\ & & c& ;\end{array}\begin{array}{c}z\end{array}\right]:=\sum _{n=0}^{\infty }\frac{{(a;x)}_n{\left(b\right)}_n}{{\left(c\right)}_n}\frac{z^n}{n!}$$

(6)

and:

$${}_2{\mathsf{\Gamma }}_1\left[\begin{array}{cccc}(a,x)& .& b& ;\\ & & c& ;\end{array}\begin{array}{c}z\end{array}\right]:=\sum _{n=0}^{\infty }\frac{{[a;x]}_n{\left(b\right)}_n}{{\left(c\right)}_n}\frac{z^n}{n!}.$$

(7)

After this work, incomplete hypergeometric functions have become a fruitful topic of research in recent years [4,5,9,11,12,13,14,15,16,17,18,19,20].

Fractional derivative and integral operators are another important topic of research in recent years. They have found applications in many diverse areas of mathematical, physical, and engineering problems; good summaries of these applications may be found in [21,22,23,24,25,26] and recently in [27]. The use of fractional derivative operators in obtaining generating relations for some special functions can be found in [6,9,28,29,30].

In fractional calculus, there are two important differential operators: the Riemann-Liouville and Liouville-Caputo fractional derivatives. In a recent paper [12], which covered work done after the work herein, we introduced incomplete Liouville-Caputo fractional derivative operators and focused on their use in special function theory. For the definitions in [12], we considered the same incomplete Riemann-Liouville integral as in (60) and (61) of this paper, but the operators introduced there were of the Liouville-Caputo type and not of the Riemann-Liouville type like those in the current work. The difference between Liouville-Caputo and Riemann-Liouville is very important for applications to differential equations, because the required initial conditions are of different types between these two cases.

In the present paper, we introduce new incomplete hypergeometric functions with the aid of incomplete Pochhammer ratios and investigate certain properties of them. Moreover, we introduce incomplete Riemann-Liouville fractional integral operators, and we obtain some generating relations for these new incomplete hypergeometric functions with the aid of these new defined operators. The organization of the paper is as follows.

In Section 2, the incomplete Pochhammer ratios are introduced by using the incomplete beta function, and some derivative formulas involving these new incomplete Pochhammer ratios are investigated. In Section 3, new incomplete Gauss hypergeometric functions and confluent hypergeometric functions are introduced with the help of these incomplete Pochhammer ratios, and integral representations, derivative formulas, transformation formulas, and recurrence relations are obtained for them. In Section 4, we define new incomplete Appell’s functions ${\mathfrak{F}}_1[a,b,c;d;x,z;y]$, ${\mathfrak{F}}_1\{a,b,c;d;x,z;y\}$, ${\mathfrak{F}}_2[a,b,c;d,e;x,z;y]$, and ${\mathfrak{F}}_2\{a,b,c;d,e;x,z;y\}$ and obtain their integral representations. In Section 5, we introduce incomplete Riemann-Liouville fractional integral operators and show that the incomplete Riemann-Liouville fractional integrals of some elementary functions give the new incomplete functions defined in Section 3 and Section 4. Finally, in the last section, we obtain linear and bilinear generating relations for the incomplete hypergeometric functions.

2. The Incomplete Pochhammer Ratio

The incomplete beta function is defined by:

$$B_y(x,z):={\int }_0^y{t}^{x-1}{(1-t)}^{z-1}dt,Re\left(x\right)>Re\left(z\right)>0,0\le y<1$$

(8)

and can be expressed in terms of the Gauss hypergeometric function:

$$B_y(x,z):=\frac{y^x}{x}{}_2{F}_1(x,1-z;1+x;y).$$

(9)

The incomplete Pochhammer ratios ${\left[b,c;y\right]}_n$ and ${\left\{b,c;y\right\}}_n$ are introduced in terms of the incomplete beta function $B_y(x,z)$ as follows [12]:

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

(10)

and:

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

(11)

where $0\le y<1.$ They satisfy the following relation:

$${\left[b,c;y\right]}_n+{\left\{b,c;y\right\}}_n=\frac{{\left(b\right)}_n}{{\left(c\right)}_n}.$$

(12)

In view of (9), we have the following relations:

$${\left[b,c;y\right]}_n:=\frac{1}{B(b,c-b)}\frac{y^{b+n}}{b+n}{}_2{F}_1(b+n,1-c+b;b+n+1;y)$$

(13)

and:

$${\left\{b,c;y\right\}}_n:=\frac{1}{B(b,c-b)}\frac{{(1-y)}^{c-b}}{c-b}{}_2{F}_1(c-b,1-b-n;1+c-b;1-y).$$

(14)

In the following theorem, we investigate the $n^{\mathrm{th}}$ derivatives of the incomplete beta function by means of incomplete Pochhammer ratios.

Theorem 1.

The following derivative formulas hold true:

$${[b,c;y]}_n=\frac{{\left(-1\right)}^n\mathsf{\Gamma }\left(c\right)}{\mathsf{\Gamma }\left(c-b+n\right)\mathsf{\Gamma }\left(b\right)}{y}^{b+n}\frac{d^n}{d{y}^n}\left[y^{-b}{B}_y(b,c-b+n)\right],$$

(15)

and:

$${\{b,c;y\}}_n=\frac{\mathsf{\Gamma }(b+n)}{\mathsf{\Gamma }(b+2n)}\frac{1}{B(b,c-b)}{(1-y)}^{c-b}\frac{d^n}{d{y}^n}\left({(1-y)}^{-c+b+n}{B}_{1-y}(c-b-n,b+2n)\right).$$

(16)

Proof. 

Using (8) and (10), we immediately obtain the following equation:

$${[b,c;y]}_n=\frac{y^{b+n}}{B(b,c-b)}{\int }_0^1{u}^{b+n-1}{(1-uy)}^{c-b-1}du.$$

On the other hand, we have:

$$y^{-b}{B}_y(b,c-b+n)={\int }_0^1{u}^{b-1}{(1-uy)}^{c-b+n-1}du.$$

(17)

Taking derivatives n times on both sides of (17) with respect to y, we can obtain a derivative formula for the incomplete beta function ${[b,c;y]}_n$ asserted by (15). Formula (16) can be proven in a similar way. □

3. The New Incomplete Gauss and Confluent Hypergeometric Functions

In this section, we introduce new incomplete Gauss and confluent hypergeometric functions by:

$${}_2{\mathfrak{F}}_1(a,[b,c;y];x):=\sum _{n=0}^{\infty }{\left(a\right)}_n{[b,c;y]}_n\frac{x^n}{n!},$$

(18)

$${}_2{\mathfrak{F}}_1(a,\left\{b,c;y\right\};x):=\sum _{n=0}^{\infty }{\left(a\right)}_n{\left\{b,c;y\right\}}_n\frac{x^n}{n!},$$

(19)

$${}_1{\mathfrak{F}}_1([a,b;y];x):=\sum _{n=0}^{\infty }{[a,b;y]}_n\frac{x^n}{n!},$$

(20)

and:

$${}_1{\mathfrak{F}}_1(\left\{a,b;y\right\};x):=\sum _{n=0}^{\infty }{\left\{a,b;y\right\}}_n\frac{x^n}{n!}$$

(21)

where $0\le y<1.$

An immediate consequence of (12) and the definitions (18), (19), (20), and (21) is the following decomposition formulas:

$${}_2{\mathfrak{F}}_1(a,[b,c;y];x)+{}_2{\mathfrak{F}}_1(a,\left\{b,c;y\right\};x)={}_2{F}_1(a,b;c;x)$$

(22)

and:

$${}_1{\mathfrak{F}}_1([a,b;y];x)+{}_1{\mathfrak{F}}_1(\left\{a,b;y\right\};x)={}_1{F}_1(a;b;x).$$

(23)

Theorem 2.

The following integral representation holds true:

$$\begin{array}{ccc}\hfill {}_2{\mathfrak{F}}_1(a,[b,c;y],x)& =& \frac{y^b}{B(b,c-b)}{\int }_0^1{u}^{b-1}{(1-uy)}^{c-b-1}{(1-xuy)}^{-a}du,\hfill \\ \hfill Re\left(c\right)& >& Re\left(b\right)>0,\left|arg(1-x)\right|<\pi ).\hfill \end{array}$$

(24)

Proof. 

Replacing the incomplete Pochhammer ratio ${[b,c;y]}_n$ in the definition (18) by its integral representation given by (8) and interchanging the order of summation and integral, which is permissible under the conditions given in the hypothesis of the Theorem, we find:

$${}_2{\mathfrak{F}}_1(a,[b,c;y],x)=\frac{1}{B(b,c-b)}{\int }_0^y{t}^{b-1}{(1-t)}^{c-b-1}{(1-xt)}^{-a}dt,$$

(25)

which can be written as follows:

$${}_2{\mathfrak{F}}_1(a,[b,c;y],x)=\frac{y^b}{B(b,c-b)}{\int }_0^1{u}^{b-1}{(1-uy)}^{c-b-1}{(1-xuy)}^{-a}du.$$

(26)

 □

In a similar way, we have the following theorem:

Theorem 3.

The following integral representation holds true:

$$\begin{array}{ccc}\hfill {}_2{\mathfrak{F}}_1(a,\left\{b,c;y\right\},x)& =& \frac{{(1-y)}^{c-b}}{B(b,c-b)}{\int }_0^1{u}^{c-b-1}{(1-u(1-y))}^{b-1}{(1-x+xu(1-y))}^{-a}du,\hfill \\ \hfill Re\left(c\right)& >& Re\left(b\right)>0,\left|arg(1-x)\right|<\pi .\hfill \end{array}$$

(27)

Theorem 4.

The following result holds true:

$${}_2{\mathfrak{F}}_1(a,[b,c;y],1)=\frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }(c-a-b)}{\mathsf{\Gamma }(c-a)\mathsf{\Gamma }(c-b)}-\frac{{(1-y)}^{c-b-a}{y}^b}{B(b,c-b)(c-a-b)}{}_2{F}_1(c-a,1;1+c-b-a;1-y).$$

(28)

Proof. 

Putting $x=1$ in (22), we obtain:

$$\begin{array}{ccc}\hfill {}_2{\mathfrak{F}}_1(a,[b,c;y],1)& =& {}_2{F}_1(a,b;c;1)-{}_2{\mathfrak{F}}_1(a,\left\{b,c;1-y\right\},1)\hfill \\ & =& \frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }(c-a-b)}{\mathsf{\Gamma }(c-a)\mathsf{\Gamma }(c-b)}-\frac{{(1-y)}^{c-b-a}}{B(b,c-b)}{\int }_0^1{u}^{c-b-a-1}{(1-u(1-y))}^{b-1}du.\hfill \end{array}$$

(29)

Using Euler’s integral representation for (29), we have:

$${}_2{\mathfrak{F}}_1(a,[b,c;y],1)=\frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }(c-a-b)}{\mathsf{\Gamma }(c-a)\mathsf{\Gamma }(c-b)}-\frac{{(1-y)}^{c-b-a}}{B(b,c-b)(c-b-a)}{}_2{F}_1(1-b,c-b-a;1+c-b-a;1-y).$$

(30)

Using transformation formula:

$${}_2{F}_1(\alpha ,\beta ;\gamma ;z)={(1-z)}^{\gamma -\beta -\alpha }{}_2{F}_1(\gamma -\alpha ,\gamma -\beta ;\gamma ;z),$$

(31)

in (30), we obtain:

$${}_2{F}_1(1-b,c-b-a;1+c-b-a;1-y)=y^b{}_2{F}_1(c-a,1;1+c-b-a;1-y).$$

(32)

Considering (32) in (30), we get:

$${}_2{\mathfrak{F}}_1(a,[b,c;y],1)=\frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }(c-a-b)}{\mathsf{\Gamma }(c-a)\mathsf{\Gamma }(c-b)}-\frac{{(1-y)}^{c-b-a}{y}^b}{B(b,c-b)(c-b-a)}{}_2{F}_1(c-a,1;1+c-b-a;1-y).$$

(33)

 □

Theorem 5.

The following result holds true:

$${}_2{\mathfrak{F}}_1(a,\left\{b,c;y\right\},1)=\frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }(c-a-b)}{\mathsf{\Gamma }(c-a)\mathsf{\Gamma }(c-b)}-\frac{{(1-y)}^{c-b-a}{y}^b}{B(b,c-b)b}{}_2{F}_1(c-a,1;b+1;y).$$

(34)

Theorem 6.

The following integral representations hold true:

$${}_1{\mathfrak{F}}_1([a,b;y],x)=\frac{y^a}{B(a,b-a)}{\int }_0^1{u}^{a-1}{(1-uy)}^{b-a-1}{e}^{xuy}du,Re\left(b\right)>Re\left(a\right)>0$$

(35)

and:

$${}_1{\mathfrak{F}}_1(\left\{a,b;y\right\},x)=\frac{{(1-y)}^{b-a}}{B(a,b-a)}{\int }_0^1{u}^{b-a-1}{(1-u(1-y))}^{a-1}{e}^{(1-u(1-y\left)\right)x}du,Re\left(b\right)>Re\left(a\right)>0.$$

(36)

Proof. 

Replacing the incomplete Pochhammer ratio ${[a,b;y]}_n$ in the definition (20) by its integral representation given by (8), we are led to the desired result (35). Formula (36) can be proven in a similar way. □

Theorem 7.

The following integral representation holds true:

$${\int }_0^1{y}^{k-1}{}_2{\mathfrak{F}}_1(a,[b,c-k;y];x)dy=\frac{1}{k}\left[{}_2{F}_1(a,b;c-k;x)-\frac{\mathsf{\Gamma }\left(c-k\right)\mathsf{\Gamma }\left(b+k\right)}{\mathsf{\Gamma }\left(b\right)\mathsf{\Gamma }\left(c\right)}{}_2{F}_1(a,b+k;c;x)\right],k\in \mathbb{N}.$$

(37)

Proof. 

It is known that from Euler’s formula that:

$${}_2{F}_1(a,b+k;c;x)=\frac{1}{B(b+k,c-b-k)}{\int }_0^1{y}^{b+k-1}{(1-y)}^{c-b-k-1}{(1-xy)}^{-a}dy,k\in \mathbb{N}.$$

Taking $u=y^k$ and the remaining part as $dv$ and applying the integration by parts, we get:

$${}_2{F}_1(a,b+k;c;x)=\frac{\mathsf{\Gamma }\left(b\right)\mathsf{\Gamma }\left(c\right)}{\mathsf{\Gamma }\left(c-k\right)\mathsf{\Gamma }\left(b+k\right)}\left[{}_2{F}_1(a,b;c-k;x)-k{\int }_0^1{y}^{k-1}{}_2{\mathfrak{F}}_1(a,[b,c-k;y],x)dy\right].$$

By rearranging the terms, we get the result. □

Corollary 1.

Taking $k=1$ in Theorem 7, we get the following result:

$${\int }_0^1{}_2{\mathfrak{F}}_1(a,[b,c-1;y],x)dy={}_2{F}_1(a,b;c-1;x)-\frac{b}{c-1}{}_2{F}_1(a,b+1;c;x).$$

(38)

Theorem 8.

The following integral representation holds true:

$${\int }_0^1{y}^{k-1}{}_2{\mathfrak{F}}_1(a,[b,c;y],x)dy=\frac{1}{k}\frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }\left(c-b+k\right)}{\mathsf{\Gamma }\left(c-b\right)\mathsf{\Gamma }\left(c+k\right)}{}_2{F}_1(a,b;c+k;x).$$

(39)

Proof. 

It is known that:

$${}_2{F}_1(a,b;c+k;x)=\frac{1}{B(b,c-b+k)}{\int }_0^1{y}^{b-1}{(1-y)}^{c-b+k-1}{(1-xy)}^{-a}dy.$$

Taking $u={(1-y)}^k$ and the rest as $dv$ and using integration by parts, we get the result. □

Corollary 2.

Taking $k=1$ in Theorem 9, we get the following result:

$${}_2{F}_1(a,b;c+1;x)=\frac{c}{c-b}{\int }_0^1{}_2{\mathfrak{F}}_1(a,[b,c;y],x)dy.$$

(40)

Theorem 9.

The following derivative formula holds true:

$$\frac{d^n}{d{x}^n}{(}_2{\mathfrak{F}}_1(a,[b,c;y];x))=\frac{{\left(a\right)}_n{\left(b\right)}_n}{{\left(c\right)}_n}{}_2{\mathfrak{F}}_1(a+n,[b+n,c+n;y];x).$$

(41)

Proof. 

Using (25), differentiating on both sides with respect to $x,$ we obtain:

$$\begin{array}{ccc}\hfill \frac{d}{dx}\left({}_2{\mathfrak{F}}_1(a,[b,c;y];x)\right)& =& \frac{a}{B(b,c-b)}{\int }_0^y{t}^b{(1-t)}^{c-b-1}{(1-xt)}^{-a-1}dt\hfill \\ & =& \frac{a}{B(b,c-b)}{\int }_0^y{t}^{(b+1)-1}{(1-t)}^{(c+1)-(b+1)-1}{(1-xt)}^{-(a+1)}dt\hfill \\ & =& \frac{ab}{c}\frac{1}{B(b+1,c-b)}{\int }_0^y{t}^{(b+1)-1}{(1-t)}^{(c+1)-(b+1)-1}{(1-xt)}^{-(a+1)}dt\hfill \\ & =& \frac{ab}{c}{}_2{\mathfrak{F}}_1(a+1,[b+1,c+1;y];x\hfill \end{array}$$

which is (41) for $n=1$. The general result follows by the principle of mathematical induction on $n.$ □

Theorem 10.

The following derivative formula holds true:

$$\frac{d^n}{d{x}^n}{(}_1{\mathfrak{F}}_1([a,b;y];x))=\frac{{\left(a\right)}_n}{{\left(b\right)}_n}{}_1{\mathfrak{F}}_1([a+n,b+n;y];x).$$

(42)

Theorem 11.

We have the following difference formula for ${}_2{\mathfrak{F}}_1(a,[b,b+h;y];x)$:

$$\begin{array}{c}\frac{b+h-1}{B(b,h)}{y}^{b-1}{(1-y)}^{h-1}{(1-xy)}^{-a}={}_2{\mathfrak{F}}_1(a,[b,b+h-1;y];x)+\hfill \\ {}_2{\mathfrak{F}}_1(a,[b-1,b+h-1;y];x)-ax{(b+h-1)}_2{\mathfrak{F}}_1(a+1,[b,b+h;y];x).\hfill \end{array}$$

(43)

Proof. 

Recalling that the Mellin transform operator is defined by:

$$\mathfrak{M}\left\{f\left(t\right):s\right\}:={\int }_0^{\infty }{t}^{s-1}f\left(t\right)dt,Re\left(s\right)>0,$$

we observe that ${}_2{F}_1(a,[b,b+h;y];x)$ is the Mellin transform of the function:

$$f(t:x;y,a;h)=H(y-t){(1-t)}^{h-1}{(1-xt)}^{-a},$$

where:

$$H\left(t\right)=\left\{\begin{array}{c}1\mathrm{if}t>0\hfill \\ 0\mathrm{if}t<0\hfill \end{array}\right.,$$

is the Heaviside unit function. Observing the fact that:

$${}_2{\mathfrak{F}}_1(a,[b,b+h;y];x):=\frac{\mathfrak{M}\left\{f(t:x;y,a;h):b\right\}}{B(b,h)},$$

(44)

we can write that:

$$\begin{array}{c}\hfill \frac{\partial }{\partial t}\left(f(t:x;y,a;h)\right)=-[(y-t){(1-t)}^{h-1}{(1-xt)}^{-a}+(h-1)H(y-t){(1-t)}^{h-2}{(1-xt)}^{-a}]\\ \hfill +ax{(1-xt)}^{-a-1}H(y-t){(1-t)}^{h-1},\end{array}$$

(45)

where $\frac{\partial }{\partial t}\left(H\left(t\right)\right)=\delta (t-t_0),$

$$\delta (t-t_0)=\left\{\begin{array}{c}\infty \mathrm{if}t=t_0\hfill \\ 0\mathrm{if}t\ne t_0\hfill \end{array}\right.,$$

is the Dirac delta function. Applying the Mellin transform on both sides (45) and using (44) and the fact that:

$$\mathfrak{M}\left\{f^{\prime }\left(t\right):x\right\}=(1-x)\mathfrak{M}\left\{f\left(t\right):x-1\right\},$$

we have:

$$\begin{array}{c}\frac{b+h-1}{B(b,h)}{y}^{b-1}{(1-y)}^{h-1}{(1-xy)}^{-a}={}_2{\mathfrak{F}}_1(a,[b,b+h-1;y];x)\hfill \\ +{}_2{\mathfrak{F}}_1(a,[b-1,b+h-1;y];x)-ax(b+h-1){}_2{\mathfrak{F}}_1(a+1,[b,b+h;y];x).\hfill \end{array}$$

This completes the proof. □

In the following theorems, we give transformation formulas:

Theorem 12.

The following transformation formula holds true:

$${}_2{\mathfrak{F}}_1(a,[\beta ,\gamma ;y];z)={(1-z)}^{-a}{}_2{\mathfrak{F}}_1(a,\left\{\gamma -\beta ,\gamma ;1-y\right\};\frac{z}{z-1}),\left|arg(1-z)\right|<\pi .$$

(46)

Proof. 

Using (25), we obtain:

$${}_2{\mathfrak{F}}_1(a,[\beta ,\gamma ;y];z)=\frac{{\left(1-z\right)}^{-a}}{B(\beta ,\gamma -\beta )}{\int }_{1-y}^1{(1-s)}^{\beta -1}{s}^{\gamma -\beta -1}{\left(1-\frac{z}{z-1}s\right)}^{-a}ds.$$

(47)

The substitution $s=1-t$ in (47) leads to:

$$\begin{array}{ccc}\hfill {}_2{\mathfrak{F}}_1(a,[\beta ,\gamma ;y];z)& =& \frac{{\left(1-z\right)}^{-a}}{B(\beta ,\gamma -\beta )}{\int }_0^y{t}^{\beta -1}{(1-t)}^{\gamma -\beta -1}{\left(1-\frac{z(1-t)}{z-1}\right)}^{-a}dt\hfill \\ & =& {(1-z)}^{-a}{}_2{\mathfrak{F}}_1(a,\left\{\gamma -\beta ,\gamma ;1-y\right\};\frac{z}{z-1}).\hfill \end{array}$$

 □

Theorem 13.

The following transformation formula holds true:

$${}_2{\mathfrak{F}}_1(a,\left\{\beta ,\gamma ;y\right\};z)={(1-z)}^{-a}{}_2{\mathfrak{F}}_1(a,[\gamma -\beta ,\gamma ;1-y];\frac{z}{z-1}),\left|arg(1-z)\right|<\pi .$$

(48)

Theorem 14.

The following transformation formulas hold true:

$${}_1{\mathfrak{F}}_1(\left\{\alpha ,\beta ;1-y\right\};z)=e^z{}_1{\mathfrak{F}}_1(\left[\beta -\alpha ,\beta ;y\right];-z)$$

(49)

and:

$${}_1{\mathfrak{F}}_1(\left[\alpha ,\beta ;y\right];z)=e^z{}_1{\mathfrak{F}}_1\left(\left\{\beta -\alpha ,\beta ;1-y\right\};-z\right).$$

(50)

Proof. 

The proofs of (49) and (50) are direct consequences of Theorem 6. □

4. The Incomplete Appell’s Functions

In this section, we introduce the incomplete Appell’s functions ${\mathfrak{F}}_1[a,b,c;d;x,z;y]$, ${\mathfrak{F}}_1\{a,b,c;d;x,z;y\}$, ${\mathfrak{F}}_2[a,b,c;d,e;x,z;y]$, and ${\mathfrak{F}}_2\{a,b,c;d,e;x,z;y\}$ by:

$${\mathfrak{F}}_1[a,b,c;d;x,z;y]:=\sum _{m,n=0}^{\infty }{[a,d;y]}_{m+n}{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!},max\{\left|x\right|,\left|z\right|\}<1$$

(51)

and:

$${\mathfrak{F}}_1\{a,b,c;d;x,z;y\}:=\sum _{m,n=0}^{\infty }{\{a,d;y\}}_{m+n}{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!},max\{\left|x\right|,\left|z\right|\}<1$$

(52)

and:

$${\mathfrak{F}}_2[a,b,c;d,e;x,z;y]:=\sum _{m,n=0}^{\infty }{\left(a\right)}_{m+n}{[b,d;y]}_m{[c,e;y]}_n\frac{x^m}{m!}\frac{z^n}{n!},\left|x\right|+\left|z\right|<1$$

(53)

and:

$${\mathfrak{F}}_2\{a,b,c;d,e;x,z;y\}:=\sum _{m,n=0}^{\infty }{\left(a\right)}_{m+n}{\{b,d;y\}}_m{\{c,e;y\}}_n\frac{x^m}{m!}\frac{z^n}{n!},\left|x\right|+\left|z\right|<1.$$

(54)

Remark 1.

For the reader’s convenience, we show how the convergence domains are obtained for the functions defined in (51)–(54). We just give the proof of (51). The other three definitions can be proven in a similar manner. Considering the absolute value:

$$\begin{array}{cc}\hfill \left|{\mathfrak{F}}_1[a,b,c;d;x,z;y]\right|& \le \sum _{m,n=0}^{\infty }\left|{[a,d;y]}_{m+n}{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!}\right|\hfill \\ & \le \sum _{m,n=0}^{\infty }\left|{[a,d;y]}_{m+n}\right|\left|{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!}\right|\hfill \\ & =\sum _{m,n=0}^{\infty }\left|\frac{1}{B(a,d-a)}{\int }_0^y{t}^{a+m+n-1}{(1-t)}^{d-a-1}dt\right|\left|{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!}\right|\hfill \\ & \le \sum _{m,n=0}^{\infty }\frac{1}{B(a,d-a)}{\int }_0^1\left|t^{a+m+n-1}{(1-t)}^{d-a-1}dt\right|\left|{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!}\right|\hfill \\ & =\sum _{m,n=0}^{\infty }\frac{B(a+m+n,d-a)}{B(a,d-a)}\left|{\left(b\right)}_m{\left(c\right)}_n\frac{x^m}{m!}\frac{z^n}{n!}\right|,\hfill \end{array}$$

where the final series is the one corresponding to absolute convergence of the series for $F_1(a,b,c;d;x,z)$. Therefore, the series for ${\mathfrak{F}}_1[a,b,c;d;x,z;y]$ is absolutely convergent under the same conditions as the one for $F_1(a,b,c;d;x,z)$.

We proceed by obtaining the integral representations of the functions ${\mathfrak{F}}_1[a,b,c;d;x,z;y]$, ${\mathfrak{F}}_1\{a,b,c;d;x,z;y\}$, ${\mathfrak{F}}_2[a,b,c;d,e;x,z;y]$, and ${\mathfrak{F}}_2\{a,b,c;d,e;x,z;y\}.$

Theorem 15.

For the incomplete Appell’s functions ${\mathfrak{F}}_1[a,b,c;d;x,z;y]$ and ${\mathfrak{F}}_1\{a,b,c;d;x,z;y\},$ we have the following integral representation:

$$\begin{array}{ccc}\hfill {\mathfrak{F}}_1[a,b,c;d;x,z;y]& =& \frac{y^a}{B(a,d-a)}{\int }_0^1{u}^{a-1}{(1-uy)}^{d-a-1}{(1-xuy)}^{-b}{(1-zuy)}^{-c}du,\hfill \\ \hfill Re\left(d\right)& >& 0,Re\left(a\right)>0,Re\left(b\right)>0,Re\left(c\right)>0,\left|arg\left(1-x\right)\right|<\pi ,\left|arg\left(1-z\right)\right|<\pi .\hfill \end{array}$$

(55)

and:

$$\begin{array}{ccc}\hfill {\mathfrak{F}}_1\{a,b,c;d;x,z;y\}& =& \frac{{(1-y)}^{d-a}}{B(a,d-a)}\times {\int }_0^1{u}^{d-a-1}{(1-u(1-y))}^{a-1}\hfill \\ & & {(1-x(1-u(1-y)))}^{-b}{(1-z(1-u(1-y)))}^{-c}du,Re\left(d\right)>0,\hfill \\ \hfill Re\left(a\right)& >& 0,Re\left(b\right)>0,Re\left(c\right)>0,\left|arg\left(1-x\right)\right|<\pi ,\left|arg\left(1-z\right)\right|<\pi .\hfill \end{array}$$

(56)

Proof. 

Replacing the integral representation for the incomplete beta function, which is given by (8), we find that:

$${\mathfrak{F}}_1[a,b,c;d;x,z;y]=\frac{1}{B(a,d-a)}{\int }_0^y{t}^{a-1}{(1-t)}^{d-a-1}{(1-xt)}^{-b}{(1-zt)}^{-c}dt,$$

which can be written as:

$${\mathfrak{F}}_1[a,b,c;d;x,z;y]=\frac{y^a}{B(a,d-a)}{\int }_0^1{u}^{a-1}{(1-uy)}^{d-a-1}{(1-xuy)}^{-b}{(1-zuy)}^{-c}du;$$

whence the result. Formula (56) can be proven in a similar way. □

Theorem 16.

For the incomplete Appell’s functions ${\mathfrak{F}}_2[a,b,c;d,e;x,z;y]$ and ${\mathfrak{F}}_2\{a,b,c;d,e;x,z;y\},$ we have the following integral representation:

$$\begin{array}{ccc}& & {\mathfrak{F}}_2[a,b,c;d,e;x,z;y]=\frac{y^{b+c}}{B(b,d-b)B(c,e-c)}\hfill \\ & & \times {\int }_0^1{\int }_0^1{u}^{b-1}{(1-uy)}^{d-b-1}{v}^{c-1}{(1-vy)}^{e-c-1}{(1-xuy-zvy)}^{-a}dudv,\hfill \\ \hfill Re\left(d\right)& >& Re\left(a\right)>Re\left(b\right)>Re\left(c\right)>Re\left(m\right)>0,\left|arg\left(1-x-z\right)\right|<\pi .\hfill \end{array}$$

(57)

and:

$$\begin{array}{ccc}& & {\mathfrak{F}}_2\{a,b,c;d,e;x,z;y\}\hfill \\ & =& \frac{{(1-y)}^{d-b+e-c}}{B(b,d-b)B(c,e-c)}{\int }_0^1{\int }_0^1{u}^{d-b-1}{(1-u(1-y))}^{b-1}{v}^{e-c-1}{(1-v(1-y))}^{c-1}\hfill \\ & & {(1-x(1-u(1-y))-z(1-v(1-y)))}^{-a}dudv,\hfill \\ \hfill Re\left(d\right)& >& 0,Re\left(a\right)>0,Re\left(b\right)>0,Re\left(c\right)>0,Re\left(e\right)>0,\left|arg\left(1-x-z\right)\right|<\pi .\hfill \end{array}$$

(58)

Proof. 

Replacing the integral representation for the incomplete beta function, which is given by (8), we get:

$$\begin{array}{ccc}\hfill {\mathfrak{F}}_2[a,b,c;d,e;x,z;y]& =& \frac{1}{B(b,d-b)B(c,e-c)}\hfill \\ & & \times \sum _{m,n=0}^{\infty }{\int }_0^y{\int }_0^y{\left(a\right)}_{m+n}{t}^{b+m-1}{(1-t)}^{d-b-1}{s}^{c+n-1}{(1-s)}^{e-c-1}\frac{x^m}{m!}\frac{z^n}{n!}dtds.\hfill \end{array}$$

Considering the fact that the series involved are uniformly convergent and we have a right to interchange the order of summation and integration, we get:

$$\begin{array}{ccc}\hfill {\mathfrak{F}}_2[a,b,c;d,e;x,z;y]& =& \frac{1}{B(b,d-b)B(c,e-c)}\hfill \\ & & \times {\int }_0^y{\int }_0^y{t}^{b-1}{(1-t)}^{d-b-1}{s}^{c-1}{(1-s)}^{e-c-1}{(1-xt-zs)}^{-a}dtds,\hfill \\ & =& \frac{y^{b+c}}{B(b,d-b)B(c,e-c)}\hfill \\ & & \times {\int }_0^1{\int }_0^1{u}^{b-1}{(1-uy)}^{d-b-1}{v}^{c-1}{(1-vy)}^{e-c-1}{(1-xuy-zvy)}^{-a}dudv.\hfill \end{array}$$

Formula (58) can be proven in a similar way. □

5. Incomplete Riemann-Liouville Fractional Integral Operators

In this section, we introduce and investigate the incomplete Riemann-Liouville fractional integral operators. The Riemann-Liouville fractional integral of order $\mu$ is defined by:

$$D_z^{\mu }\left\{f\left(z\right)\right\}:=\frac{1}{\mathsf{\Gamma }\left(-\mu \right)}{\int }_0^{z}f\left(t\right){(z-t)}^{-\mu -1}dt,Re\left(\mu \right)<0.$$

(59)

Now, we define the incomplete Riemann-Liouville fractional integral operators $D_z^{\mu }[f\left(z\right);y]$ and $D_z^{\mu }\{f\left(z\right);y\}$ by:

$$\begin{array}{ccc}\hfill D_z^{\mu }[f\left(z\right);y]& :& =\frac{z^{-\mu }}{\mathsf{\Gamma }\left(-\mu \right)}{\int }_0^{y}f\left(uz\right){(1-u)}^{-\mu -1}du\hfill \\ & :& =\frac{z^{-\mu }y}{\mathsf{\Gamma }\left(-\mu \right)}{\int }_0^{1}f\left(ywz\right){(1-wy)}^{-\mu -1}dw,Re\left(\mu \right)<0.\hfill \end{array}$$

(60)

and its counterpart is by:

$$\begin{array}{ccc}\hfill D_z^{\mu }\{f\left(z\right);y\}& :& =\frac{z^{-\mu }}{\mathsf{\Gamma }\left(-\mu \right)}{\int }_y^{1}f\left(uz\right){(1-u)}^{-\mu -1}du\hfill \\ & :& =\frac{z^{-\mu }}{\mathsf{\Gamma }\left(-\mu \right)}{\int }_0^{1-y}f\left((1-t)z\right)t^{-\mu -1}dt,Re\left(\mu \right)<0.\hfill \end{array}$$

(61)

Remark 2.

If $y=1$, then (60) is equivalent to the standard Riemann-Liouville fractional integral (59). If $y=0$, then (61) is equivalent to the standard Riemann-Liouville fractional integral (59). Thus, the original definition (59) is a particular case of both types of the incomplete Riemann-Liouville fractional integral.

We start our investigation by calculating the incomplete fractional integrals of some elementary functions.

Theorem 17.

Let $Re\left(\lambda \right)>-1,Re\left(\mu \right)<0.$ Then:

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

(62)

Proof. 

Using (60) and (8), we get:

$$\begin{array}{ccc}\hfill D_z^{\mu }[z^{\lambda };y]& =& \frac{z^{-\mu }}{\mathsf{\Gamma }\left(-\mu \right)}{\int }_0^y{\left(uz\right)}^{\lambda }{(1-u)}^{-\mu -1}du\hfill \\ & =& \frac{B_y(\lambda +1,-\mu )}{\mathsf{\Gamma }\left(-\mu \right)}{z}^{\lambda -\mu };\hfill \end{array}$$

whence the result. □

Theorem 18.

Let $Re\left(\lambda \right)>-1,Re\left(\mu \right)<0.$ Then:

$$D_z^{\mu }\{z^{\lambda };y\}=\frac{B_{1-y}(-\mu ,\lambda +1)}{\mathsf{\Gamma }\left(-\mu \right)}{z}^{-\mu +\lambda }.$$

(63)

Theorem 19.

Let $Re\left(\lambda \right)>0,Re\left(\alpha \right)>0,Re\left(\mu \right)<0$ and$\left|z\right|<1.$ Then:

$$D_z^{\lambda -\mu }[z^{\lambda -1}{(1-z)}^{-\alpha };y]=\frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{}_2{\mathfrak{F}}_1(\alpha ,\left[\lambda ,\mu ;y\right];z),$$

(64)

and:

$$D_z^{\lambda -\mu }\{z^{\lambda -1}{(1-z)}^{-\alpha };y\}=\frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{}_2{\mathfrak{F}}_1(\alpha ,\{\lambda ,\mu ;y\};z).$$

(65)

Proof. 

Direct calculations yield:

$$\begin{array}{ccc}\hfill D_z^{\lambda -\mu }[z^{\lambda -1}{(1-z)}^{-\alpha };y]& =& \frac{z^{\mu -\lambda }}{\mathsf{\Gamma }\left(\mu -\lambda \right)}{\int }_0^y{\left(uz\right)}^{\lambda -1}{(1-uz)}^{-\alpha }{(1-u)}^{\mu -\lambda -1}du\hfill \\ & =& \frac{z^{\mu -\lambda }y}{\mathsf{\Gamma }\left(\mu -\lambda \right)}{\int }_0^1{\left(yz\right)}^{\lambda -1}{w}^{\lambda -1}{(1-ywz)}^{-\alpha }{(1-wy)}^{\mu -\lambda -1}dw\hfill \\ & =& \frac{z^{\mu -1}{y}^{\lambda }}{\mathsf{\Gamma }\left(\mu -\lambda \right)}{\int }_0^1{w}^{\lambda -1}{(1-ywz)}^{-\alpha }{(1-wy)}^{\mu -\lambda -1}dw.\hfill \end{array}$$

By (24), we can write:

$$\begin{array}{ccc}\hfill D_z^{\lambda -\mu }[z^{\lambda -1}{(1-z)}^{-\alpha };y]& =& \frac{z^{\mu -1}}{\mathsf{\Gamma }\left(\mu -\lambda \right)}B{(\lambda ,\mu -\lambda )}_2{\mathfrak{F}}_1(\alpha ,\left[\lambda ,\mu ;y\right];z)\hfill \\ & =& \frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{}_2{\mathfrak{F}}_1(\alpha ,\left[\lambda ,\mu ;y\right];z).\hfill \end{array}$$

Hence, the proof is completed. Formula (65) can be proven in a similar way. □

Theorem 20.

Let $Re\left(\lambda \right)>Re\left(\mu \right)>0,Re\left(\alpha \right)>0,Re\left(\beta \right)>0$; $\left|az\right|<1$ and $\left|bz\right|<1.$ Then:

$$D_z^{\lambda -\mu }[z^{\lambda -1}{(1-az)}^{-\alpha }{(1-bz)}^{-\beta };y]=\frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{\mathfrak{F}}_1[\lambda ,\alpha ,\beta ;\mu ;az,bz;y],$$

(66)

and:

$$D_z^{\lambda -\mu }\{z^{\lambda -1}{(1-az)}^{-\alpha }{(1-bz)}^{-\beta };y\}=\frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{\mathfrak{F}}_1\{\lambda ,\alpha ,\beta ;\mu ;az,bz;y\}.$$

(67)

Proof. 

We have:

$$\begin{array}{cc}& D_z^{\lambda -\mu }[z^{\lambda -1}{(1-az)}^{-\alpha }{(1-bz)}^{-\beta };y]\hfill \\ =& \frac{z^{\mu -\lambda }}{\mathsf{\Gamma }\left(\mu -\lambda \right)}{\int }_0^y{\left(uz\right)}^{\lambda -1}{(1-auz)}^{-\alpha }{(1-buz)}^{-\beta }{(1-u)}^{\mu -\lambda -1}du\hfill \\ =& \frac{z^{\mu -\lambda }y}{\mathsf{\Gamma }\left(\mu -\lambda \right)}{\int }_0^1{\left(yw\right)}^{\lambda -1}{\left(z\right)}^{\lambda -1}{(1-aywz)}^{-\alpha }{(1-bywz)}^{-\beta }{(1-wy)}^{\mu -\lambda -1}dw\hfill \\ =& \frac{z^{\mu -1}{y}^{\lambda }}{\mathsf{\Gamma }\left(\mu -\lambda \right)}{\int }_0^1{w}^{\lambda -1}{(1-aywz)}^{-\alpha }{(1-bywz)}^{-\beta }{(1-wy)}^{\mu -\lambda -1}dw.\hfill \end{array}$$

By (55), we can write:

$$\begin{array}{ccc}\hfill D_z^{\lambda -\mu }[z^{\lambda -1}{(1-az)}^{-\alpha }{(1-bz)}^{-\beta };y]& =& \frac{z^{\mu -1}}{\mathsf{\Gamma }\left(\mu -\lambda \right)}B(\lambda ,\mu -\lambda ){\mathfrak{F}}_1[\lambda ,\alpha ,\beta ;\mu ;az,bz;y]\hfill \\ & =& \frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{\mathfrak{F}}_1[\lambda ,\alpha ,\beta ;\mu ;az,bz;y];\hfill \end{array}$$

whence the result. Formula (67) can be proven in a similar way. □

Theorem 21.

Let $Re\left(\lambda \right)>Re\left(\mu \right)>0,Re\left(\alpha \right)>0,Re\left(\beta \right)>0,Re\left(\gamma \right)>0$; $\left|\frac{t}{1-z}\right|<1$ and $\left|t\right|+\left|z\right|<1$. We have:

$$D_z^{\lambda -\mu }[z^{\lambda -1}{(1-z)}^{-\alpha }{}_2{F}_1(\alpha .\left[\beta ,\gamma ;y\right];\frac{t}{1-z});y]=\frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{\mathfrak{F}}_2[\alpha ,\beta ,\lambda ;\gamma ,\mu ;t,z;y],$$

(68)

and:

$$D_z^{\lambda -\mu }\{z^{\lambda -1}{(1-z)}^{-\alpha }{}_2{F}_1(\alpha .\left[\beta ,\gamma ;y\right];\frac{t}{1-z});y\}=\frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{\mathfrak{F}}_2\{\alpha ,\beta ,\lambda ;\gamma ,\mu ;t,z;y\}.$$

(69)

Proof. 

Using Theorem 19 and (53), we get:

$$\begin{array}{cc}& D_z^{\lambda -\mu }[z^{\lambda -1}{(1-z)}^{-\alpha }{}_2{F}_1(\alpha .\left[\beta ,\gamma ;y\right];\frac{t}{1-z});y]\hfill \\ =& D_z^{\lambda -\mu }[z^{\lambda -1}{(1-z)}^{-\alpha }\frac{1}{B(\beta ,\gamma -\beta )}\sum _{n=0}^{\infty }\frac{{\left(\alpha \right)}_n{B}_y(\beta +n,\gamma -\beta )}{n!}{\left(\frac{t}{1-z}\right)}^n;y]\hfill \\ =& \frac{1}{B(\beta ,\gamma -\beta )}{D}_z^{\lambda -\mu }[z^{\lambda -1}\sum _{n=0}^{\infty }{\left(\alpha \right)}_n{B}_y(\beta +n,\gamma -\beta )\frac{t^n}{n!}{(1-z)}^{-\alpha -n};y]\hfill \\ =& \frac{1}{B(\beta ,\gamma -\beta )}\sum _{m,n=0}^{\infty }{B}_y(\beta +n,\gamma -\beta )\frac{t^n}{n!}\frac{{\left(\alpha \right)}_n{(\alpha +n)}_m}{m!}{D}_z^{\lambda -\mu }[z^{\lambda -1+m};y]\hfill \\ =& \frac{1}{B(\beta ,\gamma -\beta )}\sum _{m,n=0}^{\infty }{B}_y(\beta +n,\gamma -\beta )\frac{t^n}{n!}\frac{{\left(\alpha \right)}_{n+m}}{m!}\frac{B_y(\lambda +m,\mu -\lambda )}{\mathsf{\Gamma }(\mu -\lambda )}{z}^{\mu +m-1}\hfill \\ =& \frac{\mathsf{\Gamma }\left(\lambda \right)}{\mathsf{\Gamma }\left(\mu \right)}{z}^{\mu -1}{\mathfrak{F}}_2[\alpha ,\beta ,\lambda ;\gamma ,\mu ;t,z;y].\hfill \end{array}$$

Hence, the proof is complete. Formula (69) can be proven in a similar way. □

6. Generating Functions

Now, we obtain linear and bilinear generating relations for the incomplete hypergeometric functions ${}_2{\mathfrak{F}}_1(a,\left[b,c;y\right];x)$ by following the methods described in [2]. We start with the following theorem:

Theorem 22.

For the incomplete hypergeometric functions, we have:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{\mathfrak{F}}_1(\lambda +n,\left[\alpha ,\beta ;y\right];z)t^n={(1-t)}^{-\lambda }{}_2{\mathfrak{F}}_1(\lambda ,\left[\alpha ,\beta ;y\right];\frac{z}{1-t})$$

(70)

and:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{\mathfrak{F}}_1(\lambda +n,\{\alpha ,\beta ;y\};z)t^n={(1-t)}^{-\lambda }{}_2{\mathfrak{F}}_1(\lambda ,\{\alpha ,\beta ;y\};\frac{z}{1-t})$$

(71)

where $\left|z\right|<min\{1,\left|1-t\right|\}$ and $Re\left(\lambda \right)>0$,$Re\left(\beta \right)>Re\left(\alpha \right)>0.$

Proof. 

Considering the elementary identity:

$${[(1-z)-t]}^{-\lambda }={(1-t)}^{-\lambda }{\left[1-\frac{z}{1-t}\right]}^{-\lambda }$$

and expanding the left-hand side, we have for $\left|t\right|<\left|1-z\right|$ that:

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

Now, multiplying both sides of the above equality by $z^{\alpha -1}$ and applying the incomplete fractional integral operator $D_z^{\alpha -\beta }[f\left(z\right);y]$ on both sides, we can write:

$$D_z^{\alpha -\beta }\left[\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{(1-z)}^{-\lambda }{\left(\frac{t}{1-z}\right)}^n{z}^{\alpha -1};y\right]={(1-t)}^{-\lambda }{D}_z^{\alpha -\beta }\left[z^{\alpha -1}{\left[1-\frac{z}{1-t}\right]}^{-\lambda };y\right].$$

Interchanging the order, which is valid for $Re\left(\alpha \right)>0$ and $\left|t\right|<\left|1-z\right|,$ we get:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{D}_z^{\alpha -\beta }\left[z^{\alpha -1}{(1-z)}^{-\lambda -n};y\right]t^n={(1-t)}^{-\lambda }{D}_z^{\alpha -\beta }\left[z^{\alpha -1}{\left[1-\frac{z}{1-t}\right]}^{-\lambda };y\right].$$

Using Theorem 21, we get the desired result. Formula (71) can be proven in a similar way. □

The following theorem gives another linear generating relation for the incomplete hypergeometric functions.

Theorem 23.

For the incomplete hypergeometric functions, we have:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{\mathfrak{F}}_1(\rho -n,\left[\alpha ,\beta ;y\right];z)t^n={(1-t)}^{-\lambda }{\mathfrak{F}}_1[\alpha ,\rho ,\lambda ;\beta ;z;\frac{-zt}{1-t};y]$$

(72)

and:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{\mathfrak{F}}_1(\rho -n,\left\{\alpha ,\beta ;y\right\};z)t^n={(1-t)}^{-\lambda }{\mathfrak{F}}_1\{\alpha ,\rho ,\lambda ;\beta ;z;\frac{-zt}{1-t};y\}$$

(73)

where $Re\left(\lambda \right)>0,Re\left(\rho \right)>0$,$Re\left(\beta \right)>Re\left(\alpha \right)>0;$ $\left|t\right|<\frac{1}{1+\left|z\right|}.$

Proof. 

Considering:

$${[1-(1-z)t]}^{-\lambda }={(1-t)}^{-\lambda }{\left[1+\frac{zt}{1-t}\right]}^{-\lambda }$$

and expanding the left-hand side, we have for $\left|t\right|<\left|1-z\right|$ that:

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

Now, multiplying both sides of the above equality by $z^{\alpha -1}{(1-z)}^{-\rho }$ and applying the fractional integral operator $D_z^{\alpha -\beta }[f\left(z\right);y]$ on both sides, we get:

$$D_z^{\alpha -\beta }\left[\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{z}^{\alpha -1}{(1-z)}^{-\rho +n}{t}^n;y\right]={(1-t)}^{-\lambda }{D}_z^{\alpha -\beta }\left[z^{\alpha -1}{(1-z)}^{-\rho }{\left[1-\frac{-zt}{1-t}\right]}^{-\lambda };y\right].$$

Interchanging the order, which is valid for $Re\left(\alpha \right)>0$ and $\left|zt\right|<\left|1-t\right|,$ we get:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{D}_z^{\alpha -\beta }\left[z^{\alpha -1}{(1-z)}^{-(\rho -n)};y\right]t^n={(1-t)}^{-\lambda }{D}_z^{\alpha -\beta }\left[z^{\alpha -1}{(1-z)}^{-\rho }{\left[1-\frac{-zt}{1-t}\right]}^{-\lambda };y\right].$$

Using Theorem 21 and 22, we get the desired result. The generating relation (73) can be proven in a similar way. □

Finally, we have the following bilinear generating relation for the incomplete hypergeometric functions.

Theorem 24.

For the incomplete hypergeometric functions, we have:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{\mathfrak{F}}_1(\gamma ,\left[-n,\delta ;y\right];x){}_2{\mathfrak{F}}_1(\gamma ,\left[\lambda +n,\beta ;y\right];z)t^n={(1-t)}^{-\lambda }{\mathfrak{F}}_2[\lambda ,\alpha ,\gamma ;\beta ,\delta ;\frac{z}{1-t};\frac{-xt}{1-t};y]$$

(74)

and:

$$\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{\mathfrak{F}}_1(\gamma ,\left\{-n,\delta ;y\right\};x){}_2{\mathfrak{F}}_1(\gamma ,\{\lambda +n,\beta ;y\};z)t^n={(1-t)}^{-\lambda }{\mathfrak{F}}_2\{\lambda ,\alpha ,\gamma ;\beta ,\delta ;\frac{z}{1-t};\frac{-xt}{1-t};y\}$$

(75)

where $Re\left(\lambda \right)>0,Re\left(\gamma \right)>0$,$Re\left(\beta \right)>0,Re\left(\delta \right)>0,Re\left(\alpha \right)>0;$ $\left|t\right|<\frac{1-\left|z\right|}{1+\left|x\right|}$, and $\left|z\right|<1.$

Proof. 

Replacing $t$by$(1-x)t$ in (70), multiplying the resulting equality by $x^{\gamma -1}$, and then applying the incomplete fractional integral operator $D_x^{\gamma -\delta }[f\left(x\right);y],$ we get:

$$\begin{array}{cc}& D_x^{\gamma -\delta }\left[\sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{x}^{\gamma -1}{}_2{\mathfrak{F}}_1(\lambda +n,\left[\alpha ,\beta ;y\right];z){(1-x)}^n{t}^n;y\right]\hfill \\ =& D_x^{\gamma -\delta }\left[{(1-(1-x)t)}^{-\lambda }{x}^{\gamma -1}{}_2{\mathfrak{F}}_1(\lambda ,\left[\alpha ,\beta ;y\right];\frac{z}{1-(1-x)t});y\right].\hfill \end{array}$$

Interchanging the order, which is valid for $\left|z\right|<1,\left|\frac{1-x}{1-z}t\right|<1$ and $\left|\frac{z}{1-t}\right|+\left|\frac{xt}{1-t}\right|<1,$ we can write that:

$$\begin{array}{cc}& \sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{D}_x^{\gamma -\delta }\left[x^{\gamma -1}{(1-x)}^n;y\right]{}_2{\mathfrak{F}}_1(\lambda +n,\left[\alpha ,\beta ;y\right];z)\hfill \\ =& {(1-t)}^{-\lambda }{D}_x^{\gamma -\delta }\left[x^{\gamma -1}(1-\frac{-xt}{1-t}){}_2{\mathfrak{F}}_1(\lambda ,\left[\alpha ,\beta ;y\right];\frac{\frac{z}{1-t}}{1-\frac{-xt}{1-t}});y\right].\hfill \end{array}$$

Using Theorems 21 and 23, we get (74). The generating relation (75) can be proven in a similar way. □

In the following remark, first of all, we obtained a series formula for the Gauss hypergeometric functions as an application of Theorem 22. Similar results can be obtained for Theorem 23 and 24. Furthermore, we showed that the result obtained in (70) coincides with usual case when $y\to 1^{-}$.

Remark 3.

Using the relation that is given by (13) in Equation (70), we have:

$$\begin{array}{c}\frac{1}{B(\alpha ,\beta -\alpha )}\sum _{n,k=0}^{\infty }{\left(\lambda \right)}_n{\left(\lambda +n\right)}_k\frac{y^{\alpha +k}}{\alpha +k}{}_2{F}_1\left(\alpha +k,1-\beta +\alpha ;\alpha +k+1;y\right)\frac{z^k}{k!}\frac{t^n}{n!}\hfill \end{array}$$

(76)

$$\begin{array}{cc}=& \frac{{(1-t)}^{-\lambda }}{B(\alpha ,\beta -\alpha )}\sum _{m=0}^{\infty }\frac{{\left(\lambda \right)}_m}{m!}{\left(\frac{z}{1-t}\right)}^m{\frac{y^{\alpha +m}}{\alpha +m}}_2{F}_1\left(\alpha +m,1-\beta +\alpha ;\alpha +m+1;y\right)\hfill \end{array}$$

(77)

which is a series identity between the Gauss hypergeometric functions. If we take $y=1$ in the above identity and use the following relation:

$${}_2{F}_1(a,b;c;1)=\frac{\mathsf{\Gamma }\left(c\right)\mathsf{\Gamma }(c-a-b)}{\mathsf{\Gamma }(c-a)\mathsf{\Gamma }(c-b)}$$

we obtain:

$$\begin{array}{c}\hfill \sum _{n=0}^{\infty }\frac{{\left(\lambda \right)}_n}{n!}{}_2{F}_1(\lambda +n,\alpha ,\beta ;z)t^n={(1-t)}^{-\lambda }{}_2{F}_1(\lambda ,\alpha ,\beta ;\frac{z}{1-t})\end{array}$$

(78)

7. Conclusions

Recently, in [27], various applications of fractional calculus were exhibited in areas ranging from engineering to life sciences. For the applications of fractional calculus, we should also recommend the references of the paper [27] and, in particular, the book [21].

In the present paper, we introduced the incomplete versions of Riemann-Liouville integral operators. Approaching the problems mentioned in [27] using these incomplete operators may give rise to interesting perspectives on solving these problems. For instance, in a nonlocal fractional process, which occurs on an interval, but whose behavior changes in the middle, it may be useful to consider splitting the domain into subintervals and integrating from both sides separately using incomplete fractional operators.

These operators have already been used to define Liouville-Caputo-type incomplete fractional derivatives in [12]. Furthermore, for the incomplete Riemann-Liouville fractional integrals defined here, their analyticity properties have been investigated in [31]. Some of these, such as a transformation property on the domains of the functions concerned, may also lend themselves well to applications.

Incomplete Pochhammer ratios were defined in (10) and (11) by using the incomplete beta functions. Several properties of these functions were obtained. Incomplete hypergeometric functions were introduced with the help of these incomplete Pochhammer ratios, and certain properties such as integral representations, derivative formulas, transformation formulas, and recurrence relations were investigated. Furthermore, incomplete Riemann-Liouville fractional integral operators were defined. The incomplete Riemann-Liouville fractional integrals for the some elementary functions were given. Linear and bilinear generating relations for incomplete hypergeometric functions were obtained.