On a New Class of Laplace-Type Integrals Involving Generalized Hypergeometric Functions

Abstract

In the theory of generalized hypergeometric functions, classical summation theorems for the series ${}_2{F}_1$, ${}_3{F}_2$, ${}_4{F}_3$, ${}_5{F}_4$ and ${}_7{F}_6$ play a key role. Very recently, Masjed-Jamei and Koepf established generalizations of the above-mentioned summation theorems. Inspired by their work, the main objective of the paper is to provide a new class of Laplace-type integrals involving generalized hypergeometric functions ${}_p{F}_p$ for $p=2,3,4,5$ and 7 in the most general forms. Several new and known cases have also been obtained as special cases of our main findings.

1. Introduction

The generalized hypergeometric function with p numerator and q denominator parameters is defined [1,2,3,4] as

$${}_p{F}_q\left[\begin{array}{ccc}{a}_1,& \cdots ,& a_p\\ b_1,& \cdots ,& b_q\end{array};z\right]=\sum _{n=0}^{\infty }\frac{{(a_1)}_n\cdots {(a_p)}_n}{{(b_1)}_n\cdots {(b_q)}_n}\frac{z^n}{n!},$$

(1)

in which no denominator parameters $b_j$ is allowed to be zero or a negative integer. If any numerator parameter $a_j$ in Equation (1) is zero or a negative integer, the series terminates.

In addition, here, ${(a)}_n$ is the well known Pochhammer symbol [5] for any complex number a defined as

$$\begin{array}{ll}\hfill {(a)}_n& =\frac{\Gamma (a+n)}{\Gamma (a)}\\ & =\left\{\begin{array}{cc}1,\hfill & (n=0,a\in \mathbb{C}\setminus \{0\})\hfill \\ a(a+1)\cdots (a+n-1),\hfill & (n\in \mathbb{N},a\in \mathbb{C}),\hfill \end{array}\right.\end{array}$$

(2)

where $\Gamma (z)$ is the well known gamma function defined by

$$\Gamma (z)={\int }_0^{\infty }{e}^{-x}{x}^{z-1}dx$$

(3)

for $Re(z)>0$.

Further, application of the ratio test shows that the series in Equation (1):

(i)

converges for all finite z if $p\le q$;

(ii)

converges for $\left|z\right|<1$ if $p=q+1$; and

(iii)

diverges for all z $z\ne 0$ if $p>q+1$.

In addition, following Bromwich [6] (p. 41 and 241), Knopp [7] (p. 401) or Luke [8], it can be shown that the ${}_{q+1}{F}_q$ series is

(i)

absolutely convergent for $\left|z\right|=1$ if $Re(\eta )<0$;

(ii)

conditionally convergent for $\left|z\right|=1$, $z\ne 1$ if $0\le Re(\eta )<1$; and

(iii)

divergent for $\left|z\right|=1$ if $1\le Re(\eta )$, where

$$\eta =\sum _{j=1}^p{a}_j-\sum _{j=1}^q{b}_j.$$

It is not out of place to mention here that, whenever a generalized hypergeometric function reduces to products and quotients of gamma functions, the results are very useful from the point of view of applications. For $p=2,3,4,5$ and 7 of the generalized hypergeometric function in Equation (1) with proper choice of parameters, the results in the form of summation theorems are available in the literature in terms of gamma function. However, for $p=6$, we do not have any summation theorem available. Thus, in this paper, we do not consider the case for $p=6$. Here, we mention the following classical summation theorems [1,2], so that the paper may be self contained.

• Gauss Theorem for $Re(c-a-b)>0$

  $${}_2{F}_1\left[\begin{array}{c}a,b\\ c\end{array};1\right]=\frac{\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}$$

  (4)
• Kummer’s Theorem

  $${}_2{F}_1\left[\begin{array}{c}a,b\\ 1+a-b\end{array};-1\right]=\frac{\Gamma (1+a-b)\Gamma (1+\frac{1}{2}a)}{\Gamma (1-b+\frac{1}{2}a)\Gamma (1+a)}$$

  (5)
• Second Gauss Theorem

  $${}_2{F}_1\left[\begin{array}{c}a,b\\ \frac{1}{2}(a+b+1)\end{array};\frac{1}{2}\right]=\frac{\sqrt{\pi }\Gamma (\frac{1}{2}(a+b+1))}{\Gamma (\frac{1}{2}(a+1))\Gamma (\frac{1}{2}(b+1))}$$

  (6)
• Bailey’s Theorem

  $${}_2{F}_1\left[\begin{array}{c}a,1-a\\ b\end{array};\frac{1}{2}\right]=\frac{\Gamma (\frac{1}{2}b)\Gamma (\frac{1}{2}(b+1))}{\Gamma (\frac{1}{2}(a+b))\Gamma (\frac{1}{2}(b-a+1))}$$

  (7)
• Dixon’s Theorem for $Re(a-2b-2c)>-2$

  $$\begin{array}{l}{}_3{F}_2\left[\begin{array}{c}a,b,c\\ 1+a-b,1+a-c\end{array};1\right]\hfill \\ =\frac{\Gamma (1+\frac{1}{2}a)\Gamma (1+a-b)\Gamma (1+a-c)\Gamma (1-b-c+\frac{1}{2}a)}{\Gamma (1+a)\Gamma (1-b+\frac{1}{2}a)\Gamma (1-c+\frac{1}{2}a)\Gamma (1+a-b-c)}\hfill \end{array}$$

  (8)
• Watson’s Theorem for $Re(2c-a-b)>1$

  $$\begin{array}{c}{}_3{F}_2\left[\begin{array}{c}a,b,c\\ \frac{1}{2}(a+b+1),2c\end{array};1\right]\hfill \\ =\frac{\sqrt{\pi }\Gamma (c+\frac{1}{2})\Gamma (\frac{1}{2}(a+b+1))\Gamma (c-\frac{1}{2}(a+b-1))}{\Gamma (\frac{1}{2}(a+1))\Gamma (\frac{1}{2}(b+1))\Gamma (c-\frac{1}{2}(a-1))\Gamma (c-\frac{1}{2}(b-1))}\hfill \end{array}$$

  (9)
• Whipple’s Theorem for $Re(b)>0$

  $$\begin{array}{c}{}_3{F}_2\left[\begin{array}{c}a,1-a,b\\ c,2b-c+1\end{array};1\right]\hfill \\ =\frac{\pi 2^{1-2b}\Gamma (c)\Gamma (2b-c+1)}{\Gamma (\frac{1}{2}(a+c))\Gamma (b+\frac{1}{2}(a-c+1))\Gamma (\frac{1}{2}(1-a+c))\Gamma (b+1-\frac{1}{2}(a+c))}\hfill \end{array}$$

  (10)
• Pfaff-Saalschütz Theorem

  $${}_3{F}_2\left[\begin{array}{c}a,b,-n\\ c,1+a+b-c-n\end{array};1\right]=\frac{{(c-a)}_n{(c-b)}_n}{{(c)}_n{(c-a-b)}_n}$$

  (11)
• Second Whipple’s Theorem

  $${}_4{F}_3\left[\begin{array}{c}a,1+\frac{1}{2}a,b,c\\ \frac{1}{2}a,a-b+1,a-c+1\end{array};-1\right]=\frac{\Gamma (a-b+1)\Gamma (a-c+1)}{\Gamma (a+1)\Gamma (a-b-c+1)}$$

  (12)
• Dougall’s Theorem for $Re(a-c-d-e)>-1$

  $$\begin{array}{c}{}_5{F}_4\left[\begin{array}{c}a,1+\frac{1}{2}a,c,d,e\\ \frac{1}{2}a,a-c+1,a-d+1,a-e+1\end{array};1\right]\hfill \\ =\frac{\Gamma (a-c+1)\Gamma (a-d+1)\Gamma (a-e+1)\Gamma (a-c-d-e+1)}{\Gamma (a+1)\Gamma (a-d-e+1)\Gamma (a-c-e+1)\Gamma (a-c-d+1)}\hfill \end{array}$$

  (13)
• Second Dougall’s Theorem

  $$\begin{array}{c}{}_7{F}_6\left[\begin{array}{c}a,1+\frac{1}{2}a,b,c,d,1+2a-b-c-d+n,-n\\ \frac{1}{2}a,a-b+1,a-c+1,a-d+1,b+c+d-a-n,a+1+n\end{array};1\right]\hfill \\ =\frac{{(a+1)}_n{(a-b-c+1)}_n{(a-b-d+1)}_n{(a-c-d+1)}_n}{{(a+1-b)}_n{(a+1-c)}_n{(a+1-d)}_n{(a+1-b-c-d)}_n}\hfill \end{array}$$

  (14)

For very interesting applications of some of the above-mentioned classical summation theorems, we refer a very popular and useful paper by Bailey [9].

In addition, for finite sums of hypergeometric series, if we use the following symbol

$$\stackrel{(m)}{{}_p{F}_q}\left[\begin{array}{ccc}{a}_1,& \cdots ,& a_p\\ b_1,& \cdots ,& b_q\end{array};z\right]=\sum _{n=0}^m\frac{{\prod }_{i=1}^p{(a_i)}_n}{{\prod }_{i=1}^q{(b_i)}_n}\frac{z^n}{n!},$$

where, for instance,

$$\stackrel{(-1)}{{}_p{F}_q}(z)=0,\stackrel{(0)}{{}_p{F}_q}(z)=1,\stackrel{(1)}{{}_p{F}_q}(z)=1+\frac{a_1\cdots a_p}{b_1\cdots b_q}z,$$

then, by using the following relation [10],

$$\begin{array}{c}{}_p{F}_q\left[\begin{array}{c}{a}_1,\cdots ,a_{p-1},1\\ b_1,\cdots ,b_{q-1},m\end{array};z\right]\hfill \\ =\frac{\Gamma (b_1)\cdots \Gamma (b_{q-1})}{\Gamma (a_1)\cdots \Gamma (a_{p-1})}\frac{\Gamma (a_1-m+1)\cdots \Gamma (a_{p-1}-m+1)}{\Gamma (b_1-m+1)\cdots \Gamma (b_{q-1}-m+1)}\frac{(m-1)!}{z^{m-1}}\hfill \\ \times \{{}_{p-1}{F}_{q-1}\left[\begin{array}{c}{a}_1-m+1,\cdots ,a_{p-1}-m+1\\ b_1-m+1,\cdots ,b_{q-1}-m+1\end{array};z\right]\hfill \\ -\stackrel{(m-2)}{{}_{p-1}{F}_{q-1}}\left[\begin{array}{c}{a}_1-m+1,\cdots ,a_{p-1}-m+1\\ b_1-m+1,\cdots ,b_{q-1}-m+1\end{array};z\right]\},\hfill \end{array}$$

(15)

very recently Masjed-Jamei and Koepf [11] established generalizations of the classical summation theorems in Equations (4)–(14) in the following form:

$$\begin{array}{c}{}_3{F}_2\left[\begin{array}{c}a,b,1\\ c,m\end{array};1\right]\hfill \\ =\frac{\Gamma (m)\Gamma (c)\Gamma (a-m+1)\Gamma (b-m+1)}{\Gamma (a)\Gamma (b)\Gamma (c-m+1)}\hfill \\ \times \left\{\frac{\Gamma (c-m+1)\Gamma (c-a-b+m-1)}{\Gamma (c-a)\Gamma (c-b)}-\stackrel{(m-2)}{{}_2{F}_1}\left[\begin{array}{c}a-m+1,b-m+1\\ c-m+1\end{array};1\right]\right\}\hfill \\ ={\Omega }_1\hfill \end{array}$$

(16)

$$\begin{array}{c}{}_3{F}_2\left[\begin{array}{c}a,b,1\\ a-b+m,m\end{array};-1\right]\hfill \\ ={(-1)}^{m-1}\frac{\Gamma (m)\Gamma (a-b+m)\Gamma (a-m+1)\Gamma (b-m+1)}{\Gamma (a)\Gamma (b)\Gamma (a-b+1)}\hfill \\ \times \left\{\frac{\Gamma (a-b+1)\Gamma (1+\frac{1}{2}(a-m+1))}{\Gamma (2+a-m)\Gamma (m-b+\frac{1}{2}(a-m+1))}-\stackrel{(m-2)}{{}_2{F}_1}\left[\begin{array}{c}a-m+1,b-m+1\\ a-b+1\end{array};-1\right]\right\}\hfill \\ ={\Omega }_2\hfill \end{array}$$

(17)

$$\begin{array}{c}{}_3{F}_2\left[\begin{array}{c}a,b,1\\ \frac{1}{2}(a+b+1),m\end{array};\frac{1}{2}\right]\hfill \\ =2^{m-1}\frac{\Gamma (m)\Gamma (\frac{1}{2}(a+b+1))\Gamma (a-m+1)\Gamma (b-m+1)}{\Gamma (a)\Gamma (b)\Gamma (-m+1+\frac{1}{2}(a+b+1))}\hfill \\ \times \left\{\frac{\sqrt{\pi }\Gamma (-m+1+\frac{1}{2}(a+b+1))}{\Gamma (1+\frac{1}{2}(a-m))\Gamma (1+\frac{1}{2}(b-m))}-\stackrel{(m-2)}{{}_2{F}_1}\left[\begin{array}{c}a-m+1,b-m+1\\ -m+1+\frac{1}{2}(a+b+1)\end{array};\frac{1}{2}\right]\right\}\hfill \\ ={\Omega }_3\hfill \end{array}$$

(18)

$$\begin{array}{c}{}_3{F}_2\left[\begin{array}{c}a,2m-a-1,1\\ b,m\end{array};\frac{1}{2}\right]\hfill \\ =2^{m-1}\frac{\Gamma (m)\Gamma (b)\Gamma (a-m+1)\Gamma (m-a)}{\Gamma (a)\Gamma (2m-a-1)\Gamma (b-m+1)}\hfill \\ \times \left\{\frac{\Gamma (\frac{1}{2}(b-m+1))\Gamma (\frac{1}{2}(b-m+2))}{\Gamma (-m+1+\frac{1}{2}(a+b))\Gamma (\frac{1}{2}(b-a+1))}-\stackrel{(m-2)}{{}_2{F}_1}\left[\begin{array}{c}a-m+1,m-a\\ b-m+1\end{array};\frac{1}{2}\right]\right\}\hfill \\ ={\Omega }_4\hfill \end{array}$$

(19)

$$\begin{array}{c}{}_4{F}_3\left[\begin{array}{c}a,b,c,1\\ a-b+m,a-c+m,m\end{array};1\right]\hfill \\ =\frac{\Gamma (m)\Gamma (a-b+m)\Gamma (a-c+m)\Gamma (a+1-m)\Gamma (b+1-m)\Gamma (c+1-m)}{\Gamma (a)\Gamma (b)\Gamma (c)\Gamma (a-b+1)\Gamma (a-c+1)}\hfill \\ \times \{\frac{\Gamma (\frac{1}{2}(a+3-m))\Gamma (a-b+1)\Gamma (a-c+1)\Gamma (-b-c+\frac{1}{2}(a+3m-1))}{\Gamma (a+2-m)\Gamma (-b+\frac{1}{2}(a+m+1))\Gamma (-c+\frac{1}{2}(a+m+1))\Gamma (a-b-c+m)}\hfill \\ -\stackrel{(m-2)}{{}_3{F}_2}\left[\begin{array}{c}a-m+1,b-m+1,c-m+1\\ a-b+1,a-c+1\end{array};1\right]\}\hfill \\ ={\Omega }_5\hfill \end{array}$$

(20)

$$\begin{array}{c}{}_4{F}_3\left[\begin{array}{c}a,b,c,1\\ \frac{1}{2}(a+b+1),2c+1-m,m\end{array};1\right]\hfill \\ =\frac{\Gamma (m)\Gamma (\frac{1}{2}(a+b+1))\Gamma (2c+1-m)\Gamma (a+1-m)\Gamma (b+1-m)\Gamma (c+1-m)}{\Gamma (a)\Gamma (b)\Gamma (c)\Gamma (-m+\frac{1}{2}(a+b+3))\Gamma (2c-2m+2)}\hfill \\ \times \{\frac{\sqrt{\pi }\Gamma (c-m+\frac{3}{2})\Gamma (-m+\frac{1}{2}(a+b+3))\Gamma (c-\frac{1}{2}(a+b-1))}{\Gamma (1+\frac{1}{2}(a-m))\Gamma (1+\frac{1}{2}(b-m))\Gamma (c+1-\frac{1}{2}(a+m))\Gamma (c+1-\frac{1}{2}(b+m))}\hfill \\ -\stackrel{(m-2)}{{}_3{F}_2}\left[\begin{array}{c}a-m+1,b-m+1,c-m+1\\ -m+1+\frac{1}{2}(a+b+1),2c-2m+2\end{array};1\right]\}\hfill \\ ={\Omega }_6\hfill \end{array}$$

(21)

$$\begin{array}{c}{}_4{F}_3\left[\begin{array}{c}a,2m-1-a,b,1\\ c,2b-c+1,m\end{array};1\right]\hfill \\ =\frac{\Gamma (m)\Gamma (c)\Gamma (2b-c+1)\Gamma (m-a)\Gamma (a+1-m)\Gamma (b+1-m)}{\Gamma (a)\Gamma (b)\Gamma (2m-1-a)\Gamma (c+1-m)\Gamma (2b-c-m+2)}\hfill \\ \times \{\frac{\pi 2^{2m-2b-1}\Gamma (c-m+1)}{\Gamma (-m+1+\frac{1}{2}(a+c))\Gamma (-m+1+b+\frac{1}{2}(a-c+1))\Gamma (\frac{1}{2}(1-a+c))}\hfill \\ \times \frac{\Gamma (2b-c-m+2)}{\Gamma (b+1-\frac{1}{2}(a+c))}-\stackrel{(m-2)}{{}_3{F}_2}\left[\begin{array}{c}a-m+1,b-m+1,m-a\\ c-m+1,2b-c-m+2\end{array};1\right]\}\hfill \\ ={\Omega }_7\hfill \end{array}$$

(22)

$$\begin{array}{c}{}_4{F}_3\left[\begin{array}{c}a,b,-n+m-1,1\\ c,1+a+b-c-n,m\end{array};1\right]=\frac{(m-1)!{(1-c)}_{m-1}}{{(1-a)}_{m-1}{(1-b)}_{m-1}}\hfill \\ \times \frac{{(c-a-b+n)}_{m-1}}{{(n+2-m)}_{m-1}}\times \{\frac{{(c-a)}_n{(c-b)}_n}{{(c+1-m)}_n{(c-a-b+m-1)}_n}\hfill \\ -\stackrel{(m-2)}{{}_3{F}_2}\left[\begin{array}{c}a-m+1,b-m+1,-n\\ c-m+1,2+a+b-c-m-n\end{array};1\right]\}\hfill \\ ={\Omega }_8\hfill \end{array}$$

(23)

$$\begin{array}{c}{}_5{F}_4\left[\begin{array}{c}a,\frac{1}{2}(a+m+1),b,c,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,m\end{array};-1\right]={(-1)}^{m-1}\Gamma (m)\hfill \\ \times \frac{\Gamma (\frac{1}{2}(a+m-1))\Gamma (a-b+m)\Gamma (a-c+m)\Gamma (\frac{1}{2}(a-m+3))\Gamma (a-m+1)}{\Gamma (a)\Gamma (b)\Gamma (c)\Gamma (\frac{1}{2}(a+m+1))\Gamma (\frac{1}{2}(a-m+1))}\hfill \\ \times \frac{\Gamma (b+1-m)\Gamma (c+1-m)}{\Gamma (a-b+1)\Gamma (a-c+1)}\times \{\frac{\Gamma (1+a-b)\Gamma (1+a-c)}{\Gamma (2-m+a)\Gamma (m+a-b-c)}\hfill \\ -\stackrel{(m-2)}{{}_4{F}_3}\left[\begin{array}{c}a-m+1,b-m+1,\frac{1}{2}(a-m+3),c-m+1\\ \frac{1}{2}(a-m+1),a-b+1,a-c+1\end{array};-1\right]\}\hfill \\ ={\Omega }_9\hfill \end{array}$$

(24)

$$\begin{array}{c}{}_6{F}_5\left[\begin{array}{c}a,\frac{1}{2}(a+m+1),c,d,e,1\\ \frac{1}{2}(a+m-1),a-c+m,a-d+m,a-e+m,m\end{array};1\right]\hfill \\ =\frac{\Gamma (m)\Gamma (\frac{1}{2}(a+m-1))\Gamma (a-c+m)\Gamma (a-d+m)\Gamma (a-e+m)}{\Gamma (a-c+1)\Gamma (a-d+1)\Gamma (a-e+1)}\hfill \\ \times \frac{\Gamma (a-m+1)\Gamma (\frac{1}{2}(a-m+3))\Gamma (c+1-m)\Gamma (d+1-m)\Gamma (e+1-m)}{\Gamma (a)\Gamma (c)\Gamma (d)\Gamma (e)\Gamma (\frac{1}{2}(a+m+1))\Gamma (\frac{1}{2}(a-m+1))}\hfill \\ \times \{\frac{\Gamma (a-c+1)\Gamma (a-d+1)\Gamma (a-e+1)\Gamma (a-c-d-e+2m-1)}{\Gamma (2-m+a)\Gamma (a-c-e+m)\Gamma (a-d-e+m)\Gamma (a-c-d+m)}\hfill \\ -\stackrel{(m-2)}{{}_5{F}_4}\left[\begin{array}{c}a-m+1,c-m+1,\frac{1}{2}(a-m+3),d-m+1,e-m+1\\ \frac{1}{2}(a-m+1),a-c+1,a-d+1,a-e+1\end{array};1\right]\}\hfill \\ ={\Omega }_{10}\hfill \end{array}$$

(25)

$$\begin{array}{c}{}_8{F}_7\left[\begin{array}{c}a,\frac{1}{2}(a+m+1),b,c,d,2a-b-c-d+2m-1+n,m-n-1,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,a-d+m,b+c+d-a+1-m-n,a+n+1,m\end{array};1\right]\hfill \\ ={(-1)}^{m-1}(m-1)!\times \frac{{(\frac{1}{2}(3-a-m))}_{m-1}{(1-a+b-m)}_{m-1}}{{(\frac{1}{2}(1-a-m))}_{m-1}{(1-a)}_{m-1}}\hfill \\ \times \frac{{(1-a+c-m)}_{m-1}{(1-a+d-m)}_{m-1}{(m+n+a-b-c-d)}_{m-1}{(-a-n)}_{m-1}}{{(1-b)}_{m-1}{(1-c)}_{m-1}{(1-d)}_{m-1}{(b+c+d-2a+2-2m-n)}_{m-1}{(n+2-m)}_{m-1}}\hfill \\ \times \{\frac{{(a-m+2)}_n{(a-b-c+m)}_n{(a-b-d+m)}_n{(a-c-d+m)}_n}{{(a-b+1)}_n{(a-c+1)}_n{(a-d+1)}_n{(a-b-c-d+2m-1)}_n}\hfill \\ -\stackrel{(m-2)}{{}_7{F}_6}\left[\begin{array}{c}a-m+1,\frac{1}{2}(a-m+3),b-m+1,c-m+1,d-m+1,2a-b-c-d+m+n,-n\\ \frac{1}{2}(a-m+1),a-b+1,a-c+1,a-d+1,b+c+d+-a+2-2m-n,a-m+n+2\end{array};1\right]\}\hfill \\ ={\Omega }_{11}\hfill \end{array}$$

(26)

Remark 1.

For other generalizations of the results in Equations (5)–(10), we refer to [12,13,14,15,16].

On the other hand, we define the (direct) Laplace transform of a function $f(t)$ of a real variable t as the integral $g(s)$ over a range of the complex parameter s as

$$g(s)=\mathcal{L}\left\{f(t);s\right\}={\int }_0^{\infty }{e}^{-st}f(t)dt$$

(27)

provided the integral exists in the Lebesgue sense. For more details, see, for instance, the works of [17] or [18]. It is interesting to mention here that, in view of the formula

$${\int }_0^{\infty }{e}^{-st}{t}^{\alpha -1}dt=\Gamma (\alpha )s^{-\alpha }$$

(28)

provided $Re(s)>0$ and $Re(\alpha )>0$, by using Equation (1), it is a simple exercise to show that the Laplace transform of a generalized hypergeometric function ${}_p{F}_q$ is obtained as [3,19,20]:

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{\nu -1}{}_p{F}_q\left[\begin{array}{ccc}{a}_1,& \cdots ,& a_p\\ b_1,& \cdots ,& b_q\end{array};wt\right]dt\hfill \\ =\Gamma (\nu )s^{-\nu }{}_{p+1}{F}_q\left[\begin{array}{ccc}\nu ,a_1,& \cdots ,& a_p\\ b_1,& \cdots ,& b_q\end{array};\frac{w}{s}\right]\hfill \end{array}$$

(29a)

provided that when $p<q$, $Re(\nu )>0$, $Re(s)>0$ for w arbitrary, or $p=q>0$, $Re(\nu )>0$ and $Re(s)>Re(w)$.

Further, in Equation (29a), if we take $p=q=1$, $\nu =b$, $a_1=a$ and $b_1=c$, we find that (see [20]),

$${\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_1{F}_1\left[\begin{array}{c}a\\ c\end{array};wt\right]dt=\Gamma (b)s^{-b}{}_2{F}_1\left[\begin{array}{c}a,b\\ c\end{array};\frac{w}{s}\right],$$

(29b)

provided $Re(b)>0$, $Re(s)>0$, $Re(s)>Re(w)$ and $\left|s\right|>\left|w\right|$.

Finally, in Equation (29b), if we take $w=\frac{1}{2}s$ and either $c=\frac{1}{2}(a+b+1)$ or $b=1-a$, then it is easy to see that the ${}_2{F}_1$ series appearing on the right-hand side of Equation (29b) are summable by known summation theorems in Equations (6) and (7), respectively, and we find that

$${\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_1{F}_1\left[\begin{array}{c}a\\ \frac{1}{2}(a+b+1)\end{array};\frac{1}{2}st\right]dt=s^{-b}\frac{\Gamma (\frac{1}{2})\Gamma (b)\Gamma (\frac{1}{2}(a+b+1))}{\Gamma (\frac{1}{2}(a+1))\Gamma (\frac{1}{2}(b+1))},$$

(29c)

provided $Re(b)>0$ and $Re(s)>0$, and that

$${\int }_0^{\infty }{e}^{-st}{t}^{-a}{}_1{F}_1\left[\begin{array}{c}a\\ c\end{array};\frac{1}{2}st\right]dt=s^{a-1}\frac{\Gamma (1-a)\Gamma (\frac{1}{2}c)\Gamma (\frac{1}{2}(c+1))}{\Gamma (\frac{1}{2}(c+a))\Gamma (\frac{1}{2}(c-a+1))},$$

(29d)

provided $Re(1-a)>0$ and $Re(s)>0$.

The results in Equations (29b) and (29c) are very well-known in the literature and are recorded, for example, in the work of [20].

In addition to Equation (29a), it is interesting to observe here that, when $w=\pm s$ and $q=p$, on similar lines, we can obtain the following result in view of the conditions of convergence of ${}_p{F}_q$ mentioned in Section 1.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{\nu -1}{}_p{F}_p\left[\begin{array}{ccc}{a}_1,& \cdots ,& a_p\\ b_1,& \cdots ,& b_p\end{array};\pm st\right]dt\hfill \\ =\Gamma (\nu )s^{-\nu }{}_{p+1}{F}_p\left[\begin{array}{ccc}\nu ,a_1,& \cdots ,& a_p\\ b_1,& \cdots ,& b_p\end{array};\pm 1\right]\hfill \end{array}$$

(29e)

provided $Re(\nu )>0$, $Re(s)>0$ and $Re(b_1+\cdots +b_p-a_1-\cdots -a_p-\nu )>0$.

Remark 2.

1. Since there is no summation theorems for the series ${}_p{F}_p$ for argument $\frac{1}{2},1$ and $-1$ are available in the literature, at this moment, it is not possible to find the Laplace-type integrals for the generalized hypergeometric function ${}_p{F}_p$. We leave this open problem for the readers.

2. Laplace-type integrals in the case $p=2$ were given by Deepthi et al. [21] and connections with fractional integral operators were recently studied by Parmar and Purohit [22].

The aim of this paper is to provide a new class of Laplace-type integrals involving generalized hypergeometric functions by employing the summation theorems in Equations (16)–(26). Several new and known special cases have also been considered.

2. Laplace-Type Integrals Involving Generalized Hypergeometric Functions

In this section, we establish several new, interesting and elementary Laplace-type integrals in the most general form, involving generalized hypergeometric functions asserted in the following theorems that follow directly from Equations (29a) and (29e) and the known results in Equations (16)–(26). The results presented in this section would serve as key formulas from which, on specializing the parameters, lead to several results, some of which are known and others are believed to be new.

[A] Laplace-type integrals involving generalized hypergeometric function ${}_2{F}_2$

The results to be established are asserted in the following theorems.

Theorem 1.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a)>0$ and $Re(c-a-b+m)>1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ c,m\end{array};st\right]dt=\Gamma (a)s^{-a}{\Omega }_1,$$

(30)

where ${\Omega }_1$ is the same as given in Equation (16).

Theorem 2.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(c-a-b+m)>1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_2{F}_2\left[\begin{array}{c}a,b\\ c,m\end{array};st\right]dt=s^{-1}{\Omega }_1,$$

(31)

where ${\Omega }_1$ is the same as given in Equation (16).

Theorem 3.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ a-b+m,m\end{array};-st\right]dt=\Gamma (a)s^{-a}{\Omega }_2,$$

(32)

where ${\Omega }_2$ is the same as given in Equation (17).

Theorem 4.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(b)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_2{F}_2\left[\begin{array}{c}a,1\\ a-b+m,m\end{array};-st\right]dt=\Gamma (b)s^{-b}{\Omega }_2,$$

(33)

where ${\Omega }_2$ is the same as given in Equation (17).

Remark 3.

The reader should observe that the results given in Theorems 3 and 4 are different but obtained from the same known result in Equation (17).

Theorem 5.

For $m\in \mathbb{N}$ and $Re(s)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_2{F}_2\left[\begin{array}{c}a,b\\ a-b+m,m\end{array};-st\right]dt=s^{-1}{\Omega }_2,$$

(34)

where ${\Omega }_2$ is the same as given in Equation (17).

Theorem 6.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ \frac{1}{2}(a+b+1),m\end{array};\frac{1}{2}st\right]dt=\Gamma (a)s^{-a}{\Omega }_3,$$

(35)

where ${\Omega }_3$ is the same as given in Equation (18).

Theorem 7.

For $m\in \mathbb{N}$ and $Re(s)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_2{F}_2\left[\begin{array}{c}a,b\\ \frac{1}{2}(a+b+1),m\end{array};\frac{1}{2}st\right]dt=s^{-1}{\Omega }_3,$$

(36)

where ${\Omega }_3$ is the same as given in Equation (18).

Theorem 8.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}2m-a-1,1\\ b,m\end{array};\frac{1}{2}st\right]dt=\Gamma (a)s^{-a}{\Omega }_4,$$

(37)

where ${\Omega }_4$ is the same as given in Equation (19).

Theorem 9.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(2m-a-1)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{2m-a-2}{}_2{F}_2\left[\begin{array}{c}a,1\\ b,m\end{array};\frac{1}{2}st\right]dt=\Gamma (2m-a-1)s^{a+1-2m}{\Omega }_4,$$

(38)

where ${\Omega }_4$ is the same as given in Equation (19).

Theorem 10.

For $m\in \mathbb{N}$ and $Re(s)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_2{F}_2\left[\begin{array}{c}a,2m-a-1\\ b,m\end{array};\frac{1}{2}st\right]dt=s^{-1}{\Omega }_4,$$

(39)

where ${\Omega }_4$ is the same as given in Equation (19).

Proof. 

To establish the result in Equation (30) asserted in Theorem 1, we proceed as follows. In Equation (29e), if we take $p=q=2$, $\nu =a$, $a_1=b$, $a_2=1$, $b_1=c$, and $b_2=m$, considering positive sign, we get

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ c,m\end{array};st\right]dx=s^{-a}\Gamma (a){}_3{F}_2\left[\begin{array}{c}a,b,1\\ c,m\end{array};1\right].$$

(40)

We now observe that the ${}_3{F}_2$ appearing on the right-hand side of Equation (40) can be evaluated with the help of the result in Equation (16) and we easily arrive at the right-hand side of Equation (30). This completes the proof of Equation (30) asserted in Theorem 1.

In exactly the same manner, the results in Equations (31)–(39) asserted in Theorems 2–10 can be evaluated. We however omit the details. □

Corollary 1.

(a) 

In Theorem 1, if we take $m=1,2,3$, we get the following results.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_1{F}_1\left[\begin{array}{c}b\\ c\end{array};st\right]dt=\frac{\Gamma (a)\Gamma (c)\Gamma (c-a-b)}{s^a\Gamma (c-a)\Gamma (c-b)},$$

(41)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ c,2\end{array};st\right]dt\hfill \\ =\frac{(c-1)\Gamma (a-1)}{s^a(b-1)}\left\{\frac{\Gamma (c-1)\Gamma (c-a-b+1)}{\Gamma (c-a)\Gamma (c-b)}-1\right\}\hfill \end{array}$$

(42)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ c,3\end{array};st\right]dt\hfill \\ =\frac{2\Gamma (a){(c-2)}_2}{s^a{(a-2)}_2{(b-2)}_2}\left\{\frac{\Gamma (c-2)\Gamma (c-a-b+2)}{\Gamma (c-a)\Gamma (c-b)}-\frac{ab+c-2a-2b+2}{c-2}\right\}.\hfill \end{array}$$

(43)

(b) 

In Theorem 4, if we take $m=1,2,3$, we get the following results.

$${\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_1{F}_1\left[\begin{array}{c}a\\ 1+a-b\end{array};-st\right]dt=\frac{2^{-a}\Gamma (b)\Gamma (\frac{1}{2})\Gamma (1+a-b)}{s^b\Gamma (\frac{1}{2}a+\frac{1}{2})\Gamma (1+\frac{1}{2}a-b)},$$

(44)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_2{F}_2\left[\begin{array}{c}a,1\\ 2+a-b,2\end{array};-st\right]dt\hfill \\ =\frac{(a-b+1)\Gamma (b)}{s^b(a-1)(b-1)}\left\{1-\frac{\Gamma (1+a-b)\Gamma (\frac{1}{2}a+\frac{1}{2})}{\Gamma (a)\Gamma (\frac{1}{2}a-b+\frac{3}{2})}\right\}\hfill \end{array}$$

(45)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ 3+a-b,3\end{array};-st\right]dt\hfill \\ =\frac{2{(a-b+1)}_2\Gamma (a)}{s^b{(a-2)}_2{(b-2)}_2}\left\{\frac{\Gamma (\frac{1}{2}a)\Gamma (1+a-b)}{\Gamma (a-1)\Gamma (\frac{1}{2}a-b+2)}-\frac{3a+b-ab-3}{1+a-b}\right\}.\hfill \end{array}$$

(46)

(c) 

In Theorem 7, if we take $m=1,2,3$, we get the following results.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_1{F}_1\left[\begin{array}{c}b\\ \frac{1}{2}(a+b+1)\end{array};\frac{1}{2}st\right]dt=\frac{\sqrt{\pi }\Gamma (a)\Gamma (\frac{1}{2}(a+b+1))}{s^a\Gamma (\frac{1}{2}(a+1))\Gamma (\frac{1}{2}(b+1))},$$

(47)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ \frac{1}{2}(a+b+1),2\end{array};\frac{1}{2}st\right]dt\hfill \\ =\frac{(a+b-1)\Gamma (a-1)}{s^a(b-1)}\left\{\frac{\sqrt{\pi }\Gamma (\frac{1}{2}(a+b-1))}{\Gamma (\frac{1}{2}a)\Gamma (\frac{1}{2}b)}-1\right\}\hfill \end{array}$$

(48)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,1\\ \frac{1}{2}(a+b+1),3\end{array};\frac{1}{2}st\right]dt=\frac{2\Gamma (a)(a+b-1)(a+b-3)}{s^a{(a-2)}_2{(b-2)}_2}\hfill \\ \times \left\{\frac{\sqrt{\pi }\Gamma (\frac{1}{2}(a+b-3))}{\Gamma (\frac{1}{2}(a-1))\Gamma (\frac{1}{2}(b-1))}-\frac{ab-a-b+1}{a+b-3}\right\}.\hfill \end{array}$$

(49)

(d) 

In Theorem 10, if we take $m=1,2,3$, we get the following results.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_1{F}_1\left[\begin{array}{c}1-a\\ b\end{array};\frac{1}{2}st\right]dt=\frac{\Gamma (a)\Gamma (\frac{1}{2}b)\Gamma (\frac{1}{2}(b+1))}{s^a\Gamma (\frac{1}{2}(a+b))\Gamma (\frac{1}{2}(b-a+1))},$$

(50)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}3-a,1\\ b,2\end{array};\frac{1}{2}st\right]dt\hfill \\ =\frac{2(1-b)\Gamma (a)}{s^a{(1-a)}_2}\left\{\frac{\Gamma (\frac{1}{2}(b-1))\Gamma (\frac{1}{2}b)}{\Gamma (\frac{1}{2}(a+b)-1)\Gamma (\frac{1}{2}(b-a+1))}-1\right\}\hfill \end{array}$$

(51)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}5-a,1\\ b,3\end{array};\frac{1}{2}st\right]dt=\frac{8{(b-2)}_2\Gamma (a)}{s^a{(a-4)}_4}\hfill \\ \times \left\{\frac{\Gamma (\frac{1}{2}(b-1))\Gamma (\frac{1}{2}(b-2))}{\Gamma (\frac{1}{2}(a+b)-2)\Gamma (\frac{1}{2}(b-a+1))}-\frac{5a-a^2+2b-10}{2(b-2)}\right\}.\hfill \end{array}$$

(52)

Similarly, other results can be obtained from Theorems 2, 3, 5, 6, 8 and 9.

Remark 4.

1. The results in Equations (47) and (50) were recorded by [23] as well as [20].

2. The proofs of Theorems 11–35 given below are straight forward and can be proven with the help of the result in Equation (29e), thus they are given here without proof.

[B] Laplace-type integrals involving generalized hypergeometric function ${}_3{F}_3$

The results to be established are asserted in the following theorems.

Theorem 11.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a)>0$ and $Re(a-2b-2c+3m)>1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,c,1\\ a-b+m,a-c+m,m\end{array};st\right]dt=\Gamma (a)s^{-a}{\Omega }_5,$$

(53)

where ${\Omega }_5$ is the same as given in Equation (20).

Theorem 12.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(b)>0$ and $Re(a-2b-2c+3m)>1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_3{F}_3\left[\begin{array}{c}a,c,1\\ a-b+m,a-c+m,m\end{array};st\right]dt=\Gamma (b)s^{-b}{\Omega }_5,$$

(54)

where ${\Omega }_5$ is the same as given in Equation (20).

Theorem 13.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a-2b-2c+3m)>1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_3{F}_3\left[\begin{array}{c}a,b,c\\ a-b+m,a-c+m,m\end{array};st\right]dt=s^{-1}{\Omega }_5,$$

(55)

where ${\Omega }_5$ is the same as given in Equation (20).

Theorem 14.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a)>0$ and $Re(2c-a-b)>-1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,c,1\\ \frac{1}{2}(a+b+1),2c+1-m,m\end{array};st\right]dt=\Gamma (a)s^{-a}{\Omega }_6,$$

(56)

where ${\Omega }_6$ is the same as given in Equation (21).

Theorem 15.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(c)>0$ and $Re(2c-a-b)>-1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{c-1}{}_3{F}_3\left[\begin{array}{c}a,b,1\\ \frac{1}{2}(a+b+1),2c+1-m,m\end{array};st\right]dt=\Gamma (c)s^{-c}{\Omega }_6,$$

(57)

where ${\Omega }_6$ is the same as given in Equation (21).

Theorem 16.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(2c-a-b)>-1$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_3{F}_3\left[\begin{array}{c}a,b,c\\ \frac{1}{2}(a+b+1),2c+1-m,m\end{array};st\right]dt=s^{-1}{\Omega }_6,$$

(58)

where ${\Omega }_6$ is the same as given in Equation (21).

Theorem 17.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a)>0$ and $Re(b-m+1)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}2m-a-1,b,1\\ c,2b-c+1,m\end{array};st\right]dt=\Gamma (a)s^{-a}{\Omega }_7,$$

(59)

where ${\Omega }_7$ is the same as given in Equation (22).

Theorem 18.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(b)>0$ and $Re(b-m+1)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{b-1}{}_3{F}_3\left[\begin{array}{c}a,2m-a-1,1\\ c,2b-c+1,m\end{array};st\right]dt=\Gamma (b)s^{-b}{\Omega }_7,$$

(60)

where ${\Omega }_7$ is the same as given in Equation (22).

Theorem 19.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(2m-a-1)>0$ and $Re(b-m+1)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{2m-a-2}{}_3{F}_3\left[\begin{array}{c}a,c,1\\ c,2b-c+1,m\end{array};st\right]dt=\Gamma (2m-a-1)s^{a+1-2m}{\Omega }_7,$$

(61)

where ${\Omega }_7$ is the same as given in Equation (22).

Theorem 20.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(b-m+1)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_3{F}_3\left[\begin{array}{c}a,2m-a-1,b\\ c,2b-c+1,m\end{array};st\right]dt=s^{-1}{\Omega }_7,$$

(62)

where ${\Omega }_7$ is the same as given in Equation (22).

Theorem 21.

For $m\in \mathbb{N}$, $n\in {\mathbb{N}}_0$, $Re(s)>0$ and $Re(a)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,-n+m-1,1\\ c,1+a+b-c-n,m\end{array};st\right]dt=\Gamma (a)s^{-a}{\Omega }_8,$$

(63)

where ${\Omega }_8$ is the same as given in Equation (23).

Theorem 22.

For $m\in \mathbb{N}$, $n\in {\mathbb{N}}_0$ and $Re(s)>0$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_3{F}_3\left[\begin{array}{c}a,b,-n+m-1\\ c,1+a+b-c-n,m\end{array};st\right]dt=s^{-1}{\Omega }_8,$$

(64)

where ${\Omega }_8$ is the same as given in Equation (23).

Corollary 2.

(e) 

In Theorem 11, if we take $m=1,2,3$, we get the following results.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,c\\ 1+a-b,1+a-c\end{array};st\right]dt\hfill \\ =\frac{\Gamma (\frac{1}{2}a)\Gamma (1+a-b)\Gamma (1+a-c)\Gamma (1+\frac{1}{2}a-b-c)}{2s^a\Gamma (1+\frac{1}{2}a-b)\Gamma (1+\frac{1}{2}a-c)\Gamma (1+a-b-c)},\hfill \end{array}$$

(65)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,c,1\\ a-b+2,a-c+2,2\end{array};st\right]dt\hfill \\ =\frac{\Gamma (a-1)(1+a-b)(1+a-c)}{s^a(b-1)(c-1)}\hfill \\ \times \left\{\frac{\Gamma (\frac{1}{2}(a+1))\Gamma (1+a-b)\Gamma (1+a-c)\Gamma (\frac{1}{2}a-b-c+\frac{5}{2})}{\Gamma (a)\Gamma (\frac{1}{2}a-b+\frac{3}{2})\Gamma (\frac{1}{2}a-c+\frac{3}{2})\Gamma (2+a-b-c)}-1\right\}\hfill \end{array}$$

(66)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,c,1\\ a-b+3,a-c+3,3\end{array};st\right]dt\hfill \\ =\frac{2{(a-b+1)}_2{(a-c+1)}_2\Gamma (a)}{s^a{(a-2)}_2{(b-2)}_2{(c-2)}_2}\hfill \\ \times \left\{\frac{\Gamma (\frac{1}{2}a)\Gamma (1+a-b)\Gamma (1+a-c)\Gamma (\frac{1}{2}a-b-c+4)}{\Gamma (a-1)\Gamma (\frac{1}{2}a-b+2)\Gamma (\frac{1}{2}a-c+2)\Gamma (3+a-b-c)}\right.\hfill \\ \left.-\frac{(a-2)(b-2)(c-2)}{(a-b+1)(a-c+1)}-1\right\}.\hfill \end{array}$$

(67)

(f) 

In Theorem 14, if we take $m=1,2,3$, we get the following results.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}b,c\\ \frac{1}{2}(a+b+1),2c\end{array};st\right]dt\hfill \\ =\frac{\sqrt{\pi }\Gamma (a)\Gamma (c+\frac{1}{2})\Gamma (\frac{1}{2}(a+b+1))\Gamma (c-\frac{1}{2}(a+b-1))}{s^a\Gamma (\frac{1}{2}(a+1)\Gamma (\frac{1}{2}(b+1))\Gamma (c-\frac{1}{2}(a-1))\Gamma (c-\frac{1}{2}(b-1))},\hfill \end{array}$$

(68)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,c,1\\ \frac{1}{2}(a+b+1),2c-1,2\end{array};st\right]dt\hfill \\ =\frac{(a+b-1)\Gamma (a-1)}{s^a(b-1)}\left\{\frac{\sqrt{\pi }\Gamma (c-\frac{1}{2})\Gamma (\frac{1}{2}(a+b-1))\Gamma (c-\frac{1}{2}(a+b-1))}{\Gamma (\frac{1}{2}a)\Gamma (\frac{1}{2}b)\Gamma (c-\frac{1}{2}a)\Gamma (c-\frac{1}{2}b)}-1\right\}\hfill \end{array}$$

(69)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}b,c,1\\ \frac{1}{2}(a+b+1),2c-2,3\end{array};st\right]dt\hfill \\ =\frac{(2c-3)(a+b-1)(a+b-3)\Gamma (a)}{s^a(c-1){(a-2)}_2{(b-2)}_2}\hfill \\ \times \left\{\frac{\sqrt{\pi }\Gamma (c-\frac{3}{2})\Gamma (\frac{1}{2}(a+b-3))\Gamma (c-\frac{1}{2}(a+b-1))}{\Gamma (\frac{1}{2}(a-1))\Gamma (\frac{1}{2}(b-1))\Gamma (c-\frac{1}{2}(a+1))\Gamma (c-\frac{1}{2}(b+1))}\right.\hfill \\ \left.-\frac{(a-2)(b-2)}{a+b-3}-1\right\}.\hfill \end{array}$$

(70)

(g) 

In Theorem 17, if we take $m=1,2,3$, we get the following results.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}1-a,b\\ c,2b-c+1\end{array};st\right]dt\hfill \\ =\frac{\pi 2^{1-2b}\Gamma (a)\Gamma (c)\Gamma (2b-c+1)}{s^a\Gamma (\frac{1}{2}(a+c))\Gamma (b+\frac{1}{2}(a-c+1))\Gamma (\frac{1}{2}(1-a+c))\Gamma (b+1-\frac{1}{2}(a+c))},\hfill \end{array}$$

(71)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}3-a,b,1\\ c,2b-c+1,2\end{array};st\right]dt=\frac{(c-1)(c-2b)\Gamma (a)}{s^a{(a-2)}_2(b-1)}\hfill \\ \times \left\{\frac{\pi 2^{3-2b}\Gamma (c-1)\Gamma (2b-c)}{\Gamma (\frac{1}{2}(a+c)-1)\Gamma (b+\frac{1}{2}(a-c-1))\Gamma (\frac{1}{2}(1-a+c))\Gamma (b+1-\frac{1}{2}(a+c))}-1\right\}\hfill \end{array}$$

(72)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}5-a,b,1\\ c,2b-c+1,3\end{array};st\right]dt=\frac{2{(c-2)}_2{(2b-c-1)}_2\Gamma (a)}{s^a{(a-4)}_4{(b-2)}_2}\hfill \\ \times \left\{\frac{\pi 2^{5-2b}\Gamma (c-2)\Gamma (2b-c+1)}{\Gamma (\frac{1}{2}(a+c)-2)\Gamma (b+\frac{1}{2}(a-c-3))\Gamma (\frac{1}{2}(1-a+c))\Gamma (b+1-\frac{1}{2}(a+c))}\right.\hfill \\ \left.-\frac{(a-2)(3-a)(b-2)}{(c-2)(2b-c-1)}-1\right\}.\hfill \end{array}$$

(73)

(h) 

In Theorem 21, if we take $m=1,2,3$, we get the following results.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_2{F}_2\left[\begin{array}{c}-n,b\\ 1+a+b-c-n,c\end{array};st\right]dt=\frac{\Gamma (a){(c-a)}_n{(c-b)}_n}{s^a{(c)}_n{(c-a-b)}_n},$$

(74)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}-n+1,b,1\\ 1+a+b-c-n,c,2\end{array};st\right]dt\hfill \\ =\frac{(1-c)(c-a-b+n)\Gamma (a-1)}{n(1-b)s^a}\left\{\frac{{(c-a)}_n{(c-b)}_n}{{(c)}_n{(c-a-b+1)}_n}-1\right\}\hfill \end{array}$$

(75)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_3{F}_3\left[\begin{array}{c}-n+2,b,1\\ 1+a+b-c-n,c,3\end{array};st\right]dt\hfill \\ =\frac{2{(1-c)}_2{(c-a-b+n)}_2\Gamma (a)}{s^a{(1-a)}_2{(1-b)}_2}\hfill \\ \times \left\{\frac{{(c-a)}_n{(c-b)}_n}{{(c-2)}_n{(c-a-b+2)}_n}+\frac{n(a-2)(b-2)}{(c-2)(a+b-c-n-1)}-1\right\}.\hfill \end{array}$$

(76)

Remark 5.

The results in Equations (65), (68) and (71) are known results due to Kim et al. [24].

[C] Laplace-type integrals involving generalized hypergeometric function ${}_4{F}_4$

The results to be established are asserted in the following theorems.

Theorem 23.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a)>0$ and $Re(a-2b-2c+3m)>2$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_4{F}_4\left[\begin{array}{c}\frac{1}{2}(a+m+1),b,c,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,m\end{array};-st\right]dt=\Gamma (a)s^{-a}{\Omega }_9,$$

(77)

where ${\Omega }_9$ is the same as given in Equation (24).

Theorem 24.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(c)>0$ and $Re(a-2b-2c+3m)>2$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{t}^{c-1}{}_4{F}_4\left[\begin{array}{c}a,\frac{1}{2}(a+m+1),b,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,m\end{array};-st\right]dt=\Gamma (c)s^{-c}{\Omega }_9,$$

(78)

where ${\Omega }_9$ is the same as given in Equation (24).

Theorem 25.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a+m+1)>0$ and $Re(a-2b-2c+3m)>2$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{\frac{1}{2}(a+m-1)}{}_4{F}_4\left[\begin{array}{c}a,b,c,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,m\end{array};-st\right]dt\hfill \\ =\Gamma (\frac{1}{2}(a+m+1))s^{-\frac{1}{2}(a+m+1)}{\Omega }_9,\hfill \end{array}$$

(79)

where ${\Omega }_9$ is the same as given in Equation (24).

Theorem 26.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a-2b-2c+3m)>2$, the following result holds true.

$${\int }_0^{\infty }{e}^{-st}{}_4{F}_4\left[\begin{array}{c}a,\frac{1}{2}(a+m+1),b,c\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,m\end{array};-st\right]dt=s^{-1}{\Omega }_9,$$

(80)

where ${\Omega }_9$ is the same as given in Equation (24).

Corollary 3. (i)

In Theorem 24, if we take $m=1,2,3$, we get the following results.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{c-1}{}_3{F}_3\left[\begin{array}{c}a,\frac{1}{2}(a+2),b\\ \frac{1}{2}a,a-b+1,a-c+1\end{array};-st\right]dt\hfill \\ =\frac{\Gamma (1+a-b)\Gamma (1+a-c)\Gamma (c)}{s^c\Gamma (1+a)\Gamma (1+a-b-c)},\hfill \end{array}$$

(81)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{c-1}{}_4{F}_4\left[\begin{array}{c}a,\frac{1}{2}(a+3),b,1\\ \frac{1}{2}(a+1),a-b+2,a-c+2,2\end{array};-st\right]dt\hfill \\ =\frac{(1+a-b)(1+a-c)\Gamma (c)}{s^c(a+1)(b-1)(c-1)}\left\{1-\frac{\Gamma (1+a-b)\Gamma (1+a-c)}{\Gamma (a)\Gamma (2+a-b-c)}\right\}\hfill \end{array}$$

(82)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{c-1}{}_4{F}_4\left[\begin{array}{c}a,\frac{1}{2}(a+4),b,1\\ \frac{1}{2}(a+3),a-b+3,a-c+3,3\end{array};-st\right]dt\hfill \\ =\frac{2{(1+a-b)}_2{(1+a-c)}_2\Gamma (c)}{s^c(a+2)(a-1){(b-2)}_2{(c-2)}_2}\hfill \\ \times \left\{\frac{\Gamma (1+a-b)\Gamma (1+a-c)}{\Gamma (a-1)\Gamma (3+a-b-c)}+\frac{a(b-2)(c-2)}{(1+a-b)(1+a-c)}-1\right\}.\hfill \end{array}$$

(83)

Similarly, other results can be obtained from Theorems 23, 25 and 26.

[D] Laplace-type integrals involving generalized hypergeometric function ${}_5{F}_5$

The results to be established are asserted in the following theorems.

Theorem 27.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a)>0$ and $Re(2a-2c-2d-2e+3m)>2$, the following result holds true.

$$\begin{array}{cc}\hfill {\int }_0^{\infty }& e^{-st}{t}^{a-1}{}_5{F}_5\left[\begin{array}{c}\frac{1}{2}(a+m+1),c,d,e,1\\ \frac{1}{2}(a+m-1),a-c+m,a-d+m,a-e+m,m\end{array};st\right]dt\hfill \\ & =\Gamma (a)s^{-a}{\Omega }_{10},\hfill \end{array}$$

(84)

where ${\Omega }_{10}$ is the same as given in Equation (25).

Theorem 28.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(c)>0$ and $Re(2a-2c-2d-2e+3m)>2$, the following result holds true.

$$\begin{array}{cc}\hfill {\int }_0^{\infty }& e^{-st}{t}^{c-1}{}_5{F}_5\left[\begin{array}{c}a,\frac{1}{2}(a+m+1),d,e,1\\ \frac{1}{2}(a+m-1),a-c+m,a-d+m,a-e+m,m\end{array};st\right]dt\hfill \\ & =\Gamma (c)s^{-c}{\Omega }_{10},\hfill \end{array}$$

(85)

where ${\Omega }_{10}$ is the same as given in Equation (25).

Theorem 29.

For $m\in \mathbb{N}$, $Re(s)>0$, $Re(a+m+1)>0$ and $Re(2a-2c-2d-2e+3m)>2$, the following result holds true.

$$\begin{array}{cc}\hfill & {\int }_0^{\infty }{e}^{-st}{t}^{\frac{1}{2}(a+m-1)}{}_5{F}_5\left[\begin{array}{c}a,c,d,e,1\\ \frac{1}{2}(a+m-1),a-c+m,a-d+m,a-e+m,m\end{array};st\right]dt\hfill \\ & =\Gamma (\frac{1}{2}(a+m+1))s^{-\frac{1}{2}(a+m+1)}{\Omega }_{10},\hfill \end{array}$$

(86)

where ${\Omega }_{10}$ is the same as given in Equation (25).

Theorem 30.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(2a-2c-2d-2e+3m)>2$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{}_5{F}_5\left[\begin{array}{c}a,\frac{1}{2}(a+m-1),c,d,e\\ \frac{1}{2}(a+m-1),a-c+m,a-d+m,a-e+m,m\end{array};st\right]dt\hfill \\ =s^{-1}{\Omega }_{10},\hfill \end{array}$$

(87)

where ${\Omega }_{10}$ is the same as given in Equation (25).

Corollary 4. (j)

In Theorem 27, if we take $m=1,2,3$, we get the following results.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_4{F}_4\left[\begin{array}{c}c,\frac{1}{2}(a+2),d,e\\ \frac{1}{2}a,a-c+1,a-d+1,a-e+1\end{array};st\right]dt\hfill \\ =\frac{\Gamma (1+a-c)\Gamma (1+a-d)\Gamma (1+a-e)\Gamma (1+a-c-d-e)}{s^a\Gamma (1+a-d-e)\Gamma (1+a-c-e)\Gamma (1+a-c-d)},\hfill \end{array}$$

(88)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_5{F}_5\left[\begin{array}{c}c,\frac{1}{2}(a+3),d,e,1\\ \frac{1}{2}(a+1),a-c+2,a-d+2,a-e+2,2\end{array};st\right]dt\hfill \\ =\frac{(1+a-c)(1+a-d)(1+a-e)\Gamma (a)}{s^a(1+a)(c-1)(d-1)(e-1)}\hfill \\ \times \left\{\frac{\Gamma (1+a-c)\Gamma (1+a-d)\Gamma (1+a-e)\Gamma (3+a-c-d-e)}{\Gamma (a)\Gamma (2+a-d-e)\Gamma (2+a-c-e)\Gamma (2+a-c-d)}-1\right\}\hfill \end{array}$$

(89)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}{}_5{F}_5\left[\begin{array}{c}c,\frac{1}{2}(a+4),d,e,1\\ \frac{1}{2}(a+2),a-c+3,a-d+3,a-e+3,3\end{array};st\right]dt\hfill \\ =\frac{2{(1+a-c)}_2{(1+a-d)}_2{(1+a-e)}_2\Gamma (a)}{s^a(a-1)(a+2){(c-2)}_2{(d-2)}_2{(e-2)}_2}\hfill \\ \times \left\{\frac{\Gamma (1+a-c)\Gamma (1+a-d)\Gamma (1+a-e)\Gamma (5+a-c-d-e)}{\Gamma (a-1)\Gamma (3+a-d-e)\Gamma (3+a-c-e)\Gamma (3+a-c-d)}\right.\hfill \\ \left.-\frac{a(c-2)(d-2)(e-2)}{(1+a-c)(1+a-d)(1+a-e)}\right\}.\hfill \end{array}$$

(90)

Similarly, other results can be obtained from Theorems 28–30.

[E] Laplace-type integrals involving generalized hypergeometric function ${}_6{F}_6$

The results to be established are asserted in the following theorems.

Theorem 31.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a)>0$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}\times \hfill \\ {}_7{F}_7\left[\begin{array}{c}\frac{1}{2}(a+m+1),b,c,d,2a-b-c-d+2m-1+n,m-n-1,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,a-d+m,b+c+d-a+1-m-n,a+n+1,m\end{array};st\right]dt\hfill \\ =\Gamma (a)s^{-a}{\Omega }_{11},\hfill \end{array}$$

(91)

where ${\Omega }_{11}$ is the same as given in Equation (26).

Theorem 32.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(a+m+1)>0$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{\frac{1}{2}(a+m-1)}\times \hfill \\ {}_7{F}_7\left[\begin{array}{c}a,b,c,d,2a-b-c-d+2m-1+n,m-n-1,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,a-d+m,b+c+d-a+1-m-n,a+n+1,m\end{array};st\right]dt\hfill \\ =\Gamma (\frac{1}{2}(a+m+1))s^{-\frac{1}{2}(a+m+1)}{\Omega }_{11},\hfill \end{array}$$

(92)

where ${\Omega }_{11}$ is the same as given in Equation (26).

Theorem 33.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(b)>0$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{b-1}\times \hfill \\ {}_7{F}_7\left[\begin{array}{c}\frac{1}{2}(a+m+1),b,c,d,2a-b-c-d+2m-1+n,m-n-1,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,a-d+m,b+c+d-a+1-m-n,a+n+1,m\end{array};st\right]dt\hfill \\ =\Gamma (b)s^{-b}{\Omega }_{11},\hfill \end{array}$$

(93)

where ${\Omega }_{11}$ is the same as given in Equation (26).

Theorem 34.

For $m\in \mathbb{N}$, $Re(s)>0$ and $Re(2a-b-c-d+2m-1+n)>0$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{2a-b-c-d+2m+n-2}\times \hfill \\ {}_7{F}_7\left[\begin{array}{c}\frac{1}{2}(a+m+1),a,b,c,d,m-n-1,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,a-d+m,b+c+d-a+1-m-n,a+n+1,m\end{array};st\right]dt\hfill \\ =\Gamma (2a-b-c-d+2m-1+n)s^{-(2a-b-c-d+2m-1+n)}{\Omega }_{11},\hfill \end{array}$$

(94)

where ${\Omega }_{11}$ is the same as given in Equation (26).

Theorem 35.

For $m\in \mathbb{N}$ and $Re(s)>0$, the following result holds true.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{}_7{F}_7\left[\begin{array}{c}\frac{1}{2}(a+m+1),a,b,c,d,m-n-1,1\\ \frac{1}{2}(a+m-1),a-b+m,a-c+m,a-d+m,b+c+d-a+1-m-n,a+n+1,m\end{array};st\right]dt\hfill \\ =s^{-1}{\Omega }_{11},\hfill \end{array}$$

(95)

where ${\Omega }_{11}$ is the same as given in Equation (26).

Corollary 5. (k)

In Theorem 31, if we take $m=1,2,3$, we get the following results.

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}\hfill \\ \times {}_6{F}_6\left[\begin{array}{c}b,\frac{1}{2}(a+2),c,d,2a-b-c-d+n+1,-n\\ \frac{1}{2}a,1+a-b,1+a-c,1+a-d,b+c+d-a-n,a+n+1\end{array};st\right]dt\hfill \\ =\frac{\Gamma (a){(1+a)}_n{(a-b-c+1)}_n{(a-b-d+1)}_n{(a-c-d+1)}_n}{s^a{(1+a-b)}_n{(1+a-c)}_n{(1+a-d)}_n{(1+a-b-c-d)}_n},\hfill \end{array}$$

(96)

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}\hfill \\ \times {}_7{F}_7\left[\begin{array}{c}b,\frac{1}{2}(a+3),c,d,2a-b-c-d+n+3,1-n,1\\ \frac{1}{2}(a+1),1+a-b,1+a-c,1+a-d,b+c+d-a-n-1,a+n+1,2\end{array};st\right]dt\hfill \\ =\frac{(b-a-1)(c-a-1)(d-a-1)(n+2+a-b-c-d)(a+n)\Gamma (a)}{n{s}^a(1+a)(1-b)(1-c)(1-d)(b+c+d-2a-2-n)}\hfill \\ \times \left\{1-\frac{{(a)}_n{(a-b-c+2)}_n{(a-b-d+2)}_n{(a-c-d+2)}_n}{{(1+a-b)}_n{(1+a-c)}_n{(1+a-d)}_n{(3+a-b-c-d)}_n}\right\}\hfill \end{array}$$

(97)

and

$$\begin{array}{c}{\int }_0^{\infty }{e}^{-st}{t}^{a-1}\hfill \\ \times {}_7{F}_7\left[\begin{array}{c}b,\frac{1}{2}(a+4),c,d,2a-b-c-d+n+5,2-n,1\\ \frac{1}{2}(a+2),3+a-b,3+a-c,3+a-d,b+c+d-a-n-2,a+n+1,3\end{array};st\right]dt\hfill \\ =\frac{(a-2){(b-a-2)}_2{(c-a-2)}_2{(d-a-2)}_2}{s^a(a+2){(1-a)}_2{(1-b)}_2{(1-c)}_2{(1-d)}_2}\hfill \\ \times \frac{{(-a-n)}_n{(3+n+a-b-c-d)}_2\Gamma (a)}{{(n-1)}_2{(b+c+d-2a-4-n)}_2}\hfill \\ \times \left\{\frac{{(a-1)}_n{(a-b-c+3)}_n{(a-b-d+3)}_n{(a-c-d+3)}_n}{{(a-b+1)}_n{(a-c+1)}_n{(a-d+1)}_n{(a-b-c-d+5)}_n}\right.\hfill \\ \left.+\frac{na(b-2)(c-2)(d-2)(2a-b-c+n+3)}{(a-b+1)(a-c+1)(a-d+1)(b+c+d-a-n-4)(n+a-1)}-1\right\}.\hfill \end{array}$$

(98)

Similarly, other results can be obtained from Theorems 32–35.

Remark 6.

For evaluation of Eulerian’s type integrals involving generalized hypergeometric functions by employing the summation theorems, Equations (16)–(26), we refer an interesting paper by Jun et al. [25].

3. Concluding Remark

In the theory of generalized hypergeometric functions, classical summation theorems such as those of Gauss, Gauss second, Kummer, Bailey, Dixon, Watson, Whipple, Saalschütz and Dougall play a key role. Applications of the above-mentioned classical summation theorems are well-known. Very recently, Masjed-Jamei and Koepf established interesting and useful generalizations of the above-mentioned classical summation theorems in the most general form.

In this paper, an attempt has been made for providing a list of several Laplace-type integrals involving generalized hypergeometric functions ${}_p{F}_p$ for $p=2,3,4,5$ and 7 in the most general forms which would serve as key formulas from which, on specializing the parameters, lead to several results, some of which are known and others are believed to be new. The results established in this paper are simple, interesting, easily proven and may be potentially useful.

We conclude this section by remarking that other applications of the generalized summation theorems due to Masjed-Jamei and Koepf are under investigations and the same will form a part of the subsequent paper in this direction.