Some expansion formulas for incomplete H- and H̅-functions involving Bessel functions

Abstract

In this paper, we assess an integral containing incomplete H-functions and utilize it to build up an expansion formula for the incomplete H-functions including the Bessel function. Next, we evaluate an integral containing incomplete H̅-functions and use it to develop an expansion formula for the incomplete H̅-functions including the Bessel function. The outcomes introduced in this paper are general in nature, and several particular cases can be acquired by giving specific values to the parameters engaged with the principle results. As particular cases, we derive expansions for the incomplete Meijer ${}^{(\Gamma )}G$-function, Fox–Wright ${}_{p}\Psi _{q}^{(\Gamma )}$-function, and generalized hypergeometric ${}_{p}\Gamma _{q}$ function.

1 Introduction and preliminaries

The topic of special functions is very rich and is constantly increasing with the advent of new problems in the field of applications in engineering and applied sciences. In addition, applications to H-functions was already documented in a large range of response-related topics, such as diffusion, reaction–diffusion, electronics and communication, fractional differential and additive equations, other fields of theoretical physics, biology, and mathematical probability theory. Therefore, due to the overwhelming demand, a number of papers on these functions and their possible applications have been made available in the literature. For further information, see the research monographs [18, 19] and recent work [1–3, 16]. The main object of this paper is to build up integrals including incomplete H-functions and incomplete H̅-functions and utilize them to get expansions for incomplete H-functions and incomplete H̅-functions involving the Bessel function with the help of the orthogonal properties of Bessel functions.

The H-function, H̅-function, and incomplete type functions such as gamma functions, H-functions, H̅-functions that are to be used further are described below.

Fox [12] investigated and defined a new function during his study of symmetrical Fourier kernels in terms of the Mellin–Barnes-type contour integral, known as Fox’s H-function

$$H_{p,q}^{m,n}(z)=H_{p,q}^{m,n}\left[z\right|\begin{array}{c}{(a_j,A_j)}_{1,p}\\ {(b_j,B_j)}_{1,q}\end{array}]=\frac{1}{2\pi i}{\int }_{\mathcal{L}}\mathrm{\Theta }(\vartheta )z^{-\vartheta }d\vartheta ,$$

(1)

where

$$ \Theta (\vartheta )= \frac{{\prod_{j=1}^{m}\Gamma (b_{j}+B_{j} \vartheta )}{\prod_{j=i}^{n}\Gamma (1-a_{j}-A_{j} \vartheta )}}{{\prod_{j=m+1}^{q}\Gamma (1-b_{j}-B_{j} \vartheta )}{\prod_{j=n+1}^{p}\Gamma (a_{j}+A_{j} \vartheta )}}, $$

(2)

$\mathcal{L}$ is a convenient contour that detached the poles. $m, n, p, q$ are positive integers with constraints $0\leq n \leq p$, $1\leq m \leq q$, the coefficients $A_{j}\ (j=1,\ldots,p)$ and $B_{j}\ (j=1,\ldots,q)\in \mathbb{R}^{+}$, and $a_{j}$ and $b_{j}$ are complex parameters. The H-function is absolutely convergent and defines an analytic function under the set of conditions described in [12] (see also [15, 18, 19]).

In 1987, Inayat-Hussain [13] introduced a generalization of the H-functions, known as the H̅-functions:

$${\bar{H}}_{p,q}^{m,n}(z)={\bar{H}}_{p,q}^{m,n}\left[z\right|\begin{array}{c}{(a_j,A_j;{\zeta }_j)}_{1,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]=\frac{1}{2\pi i}{\int }_{{\mathcal{L}}_{\mathcal{0}}}\bar{\mathrm{\Theta }}(\vartheta )z^{-\vartheta }d\vartheta ,$$

(3)

where

$$ \overline{\Theta }(\vartheta )= \frac{{\prod_{j=1}^{m}\Gamma (b_{j}+B_{j} \vartheta )}{\prod_{j=1}^{n}[\Gamma (1-a_{j}-A_{j} \vartheta )]^{\zeta _{j}}}}{{\prod_{j=m+1}^{q}[\Gamma (1-b_{j}-B_{j} \vartheta )]^{\eta _{j}}}{\prod_{j=n+1}^{p}\Gamma (a_{j}+A_{j} \vartheta )}}, $$

(4)

$m, n, p, q \in N_{0}$ with constraints $0\leq n \leq p$, $1\leq m \leq q$, $A_{j} \ (j=1,\ldots,p)$, $B_{j} \ (j=1,\ldots,q)\in \mathbb{R}^{+}$, $a_{j} \ (j=1,\ldots,p)$, and $b_{j}\ (j=1,\ldots,q)$ are complex numbers. The exponents $\zeta _{j} \ (j=1,\ldots,n)$ and $\eta _{j} \ (j=m+1,\ldots,q)$ take noninteger values, and $\mathcal{L_{0}}$ is a reasonable contour that detaches the poles. The H̅-function is absolutely convergent under the arrangement of conditions described by Buschman and Srivastava [10].

We next recollect and define the lower and upper incomplete gamma functions $\gamma (\vartheta,z)$ and $\Gamma (\vartheta,z)$ as follows:

$$ \gamma (\vartheta,z)= \int _{0}^{z} y^{\vartheta -1} e^{-y} \,dy\quad \bigl(\Re (\vartheta ) > 0; z\geqq 0 \bigr) $$

(5)

and

$$ \Gamma (\vartheta,z)= \int _{z}^{\infty } y^{\vartheta -1} e^{-y} \,dy \quad\bigl(z \geqq 0; \Re (\vartheta ) > 0 \text{ if } z = 0 \bigr). $$

(6)

These functions fulfill the following relation:

$$ \gamma (\vartheta,z)+\Gamma (\vartheta,z)=\Gamma (z)\quad \bigl(\Re ( \vartheta )>0 \bigr). $$

(7)

Using the incomplete gamma functions defined above, Srivastava et al. [23] presented and researched the incomplete H-functions as follows:

$${\gamma }_{p,q}^{m,n}(z)={\gamma }_{p,q}^{m,n}\left[z\right|\begin{array}{c}(a_1,A_1,y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]=\frac{1}{2\pi i}{\int }_{\mathcal{L}}g(\vartheta ,y)z^{-\vartheta }d\vartheta$$

(8)

and

$${\mathrm{\Gamma }}_{p,q}^{m,n}(z)={\mathrm{\Gamma }}_{p,q}^{m,n}\left[z\right|\begin{array}{c}(a_1,A_1,y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]=\frac{1}{2\pi i}{\int }_{\mathcal{L}}G(\vartheta ,y)z^{-\vartheta }d\vartheta ,$$

(9)

where

$$ g(\vartheta,y)= \frac{\gamma (1-a_{1}-A_{1}\vartheta,y) \prod_{j=1}^{m}\Gamma (b_{j}+B_{j}\vartheta ) \prod_{j=2}^{n}\Gamma (1-a_{j}-A_{j}\vartheta )}{\prod_{j=m+1}^{q}\Gamma (1-b_{j}-B_{j}\vartheta )\prod_{j=n+1}^{p}\Gamma (a_{j}+A_{j}\vartheta )} $$

(10)

and

$$ G(\vartheta,y)= \frac{\Gamma (1-a_{1}-A_{1}\vartheta,y) \prod_{j=1}^{m}\Gamma (b_{j}+B_{j}\vartheta ) \prod_{j=2}^{n}\Gamma (1-a_{j}-A_{j}\vartheta )}{\prod_{j=m+1}^{q}\Gamma (1-b_{j}-B_{j}\vartheta )\prod_{j=n+1}^{p}\Gamma (a_{j}+A_{j}\vartheta )}, $$

(11)

with the arrangement of conditions setout in [23].

These incomplete H-functions fulfill the following relation (known as decomposition formula):

$$\begin{aligned} \gamma ^{m,n}_{p,q}(z)+\Gamma ^{m,n}_{p,q}(z)=H^{m,n}_{p,q}(z). \end{aligned}$$

(12)

The incomplete H-functions $\gamma ^{m,n}_{p,q}(z)$ and $\Gamma ^{m,n}_{p,q}(z)$ defined in (8) and (9) exist for $x\geq 0$ under the set of conditions given by Srivastava et al. [23], with

$$\varOmega >0,\qquad \bigl\vert \operatorname{arg}(z) \bigr\vert < \frac{\varOmega \pi }{2}\quad\text{and}\quad \Delta >0, $$

where

$$\begin{aligned} &\varOmega =\sum_{i=1}^{m} B_{i} -\sum_{i=m+1}^{q}B_{i} +\sum _{i=1}^{n}A_{i} -\sum _{i=n+1}^{p}A_{i}, \\ &\delta =\sum_{i=1}^{q} b_{i}- \sum_{i=1}^{p}a_{i} + \frac{p-q}{2}\quad \text{and} \quad \Delta =\sum_{i=1}^{q}B_{i}- \sum_{i=1}^{p}A_{i}. \end{aligned}$$

Srivastava et al. [23] introduced a generalization of the incomplete H-functions, known as the incomplete H̅-functions defined in the following way:

$$\begin{array}{rl}{\bar{\gamma }}_{p,q}^{m,n}(z)& ={\bar{\gamma }}_{p,q}^{m,n}\left[z\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]\\ & =\frac{1}{2\pi i}{\int }_{\mathcal{L}}\bar{g}(\vartheta ,y)z^{-\vartheta }d\vartheta ,\end{array}$$

(13)

and

$$\begin{array}{rl}{\bar{\mathrm{\Gamma }}}_{p,q}^{m,n}(z)& ={\bar{\mathrm{\Gamma }}}_{p,q}^{m,n}\left[z\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]\\ & =\frac{1}{2\pi i}{\int }_{\mathcal{L}}\bar{G}(\vartheta ,y)z^{-\vartheta }d\vartheta ,\end{array}$$

(14)

where

$$ \overline{g}(\vartheta,y)= \frac{[\gamma (1-a_{1}-A_{1}\vartheta,y)]^{\zeta _{1}}{\prod_{j=1}^{m}\Gamma (b_{j}+B_{j} \vartheta )}{\prod_{j=2}^{n}[\Gamma (1-a_{j}-A_{j} \vartheta )]^{\zeta _{j}}}}{{\prod_{j=m+1}^{q}[\Gamma (1-b_{j}-B_{j} \vartheta )]^{\eta _{j}}}{\prod_{j=n+1}^{p}\Gamma (a_{j}+A_{j} \vartheta )}} $$

(15)

and

$$ \overline{G}(\vartheta,y)= \frac{[\Gamma (1-a_{1}-A_{1}\vartheta,y)]^{\zeta _{1}}{\prod_{j=1}^{m}\Gamma (b_{j}+B_{j} \vartheta )}{\prod_{j=2}^{n}[\Gamma (1-a_{j}-A_{j} \vartheta )]^{\zeta _{j}}}}{{\prod_{j=m+1}^{q}[\Gamma (1-b_{j}-B_{j} \vartheta )]^{\eta _{j}}}{\prod_{j=n+1}^{p}\Gamma (a_{j}+A_{j} \vartheta )}}, $$

(16)

with the arrangements of conditions setout in [23] with

$$\begin{aligned} \overline{\varOmega }=\sum_{i=1}^{m} \vert B_{i} \vert -\sum_{i=m+1}^{q} \vert \eta _{i} B_{i} \vert +\sum _{i=1}^{n} \vert \zeta _{i} A_{i} \vert -\sum_{i=n+1}^{p} \vert A_{i} \vert >0\quad \text{and} \quad \bigl\vert \operatorname{arg}(z) \bigr\vert < \frac{\pi \overline{\varOmega }}{2}. \end{aligned}$$

(17)

Several authors currently work on a wide variety of applications for these incomplete functions. See, for example, recent works [6–9, 14, 20–22] and references therein.

The paper is organized in the following way. In Sect. 2, we evaluate the improper integrals involving the Bessel function, incomplete H-functions, and incomplete H̅-functions. In Sect. 3, we derive expansions for incomplete H-functions and incomplete H̅-functions involving the Bessel function with the help of integrals presented in Sect. 2 and the orthogonal properties of Bessel functions. In Sect. 4, we obtain particular cases.

2 The integrals

In this section, we derive improper integrals involving the Bessel function, incomplete H-functions, and incomplete H̅-functions. These integrals will be used in Sect. 3 to prove the expansions for incomplete H-functions and incomplete H̅-functions.

Theorem 2.1

Let $\Re (\vartheta )>0$, $\Omega >0$, $h>0$, $|\operatorname{arg}(z)|<\frac{\pi \Omega }{2}$, $\Re (u+v+h\frac{b_{i}}{B_{i}} )>-1$, and $\Re (u)<-\frac{1}{2}$. Then for $y\geq 0$,

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^u{J}_v(x){\mathrm{\Gamma }}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]dx\\ & =\frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1}\mathrm{\Gamma }(\frac{1}{2})}\\ & \times {\mathrm{\Gamma }}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{\frac{i\pi }{2}}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;y),(-u-v,h),{(a_j,A_j)}_{2,p},(v-u,h)\\ (-u-\frac{1}{2},h),{(b_j,B_j)}_{1,q}\end{array}].\end{array}$$

(18)

Proof

To demonstrate (18), consider its the left-hand side. Expressing the incomplete H-function in terms of the Mellin–Barnes-type integral defined in (9), we have

$$\begin{aligned} \mathrm{L.H.S}= \int _{0}^{\infty }e^{i x } x^{u} J_{v}(x) \frac{1}{2\pi i} \int _{\mathcal{L}} G(\vartheta,y) \bigl(z\ x^{h} \bigr)^{-\vartheta } \,d \vartheta \,dx. \end{aligned}$$

Change the integration order, we have

$$\begin{aligned} \mathrm{L.H.S}=\frac{1}{2\pi i} \int _{\mathcal{L}} G(\vartheta,y) z^{- \vartheta } \int _{0}^{\infty }e^{i x} x^{u-h\vartheta } J_{v}(x) \,dx \,d\vartheta. \end{aligned}$$

To assess the above internal integral, we will use the following formula [17, p. 106, (1)]:

$$\begin{aligned} & \int _{0}^{\infty }e^{i x} x^{u} J_{v}(x) \,dx= \frac{e^{\frac{1}{2}(u+v+1)i \pi } \Gamma (u+v+1)\Gamma (-u-\frac{1}{2})}{2^{u+1}\Gamma (\frac{1}{2})\Gamma (v-u)}, \\ &\quad \Re (u+v)< -1, \Re (u)< -\frac{1}{2}. \end{aligned}$$

(19)

Then we get

$$\begin{aligned} \mathrm{L.H.S} = \frac{1}{2\pi i} \int _{\mathcal{L}} G(\vartheta,y) \frac{e^{\frac{1}{2}(u+v+1-h\vartheta )i \pi }\Gamma (u+v+1-h\vartheta )\Gamma (-u-\frac{1}{2}+h\vartheta )}{2^{u+1-h\vartheta }\Gamma (\frac{1}{2})\Gamma (v-u+h\vartheta )}z^{- \vartheta } \,d\vartheta. \end{aligned}$$

(20)

Using (11), we obtain the required right-hand side of (18). □

Theorem 2.2

Let $\Re (\vartheta )>0$, $\Omega >0$, $h>0$, $|\arg z|<\frac{\pi \Omega }{2}$, $\Re (u+v+h\frac{b_{i}}{B_{i}} )>-1$, and $\Re (u)<-\frac{1}{2}$, Then for $y\geq 0$,

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^u{J}_v(x){\gamma }_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]dx\\ & =\frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1}\mathrm{\Gamma }(\frac{1}{2})}\\ & \times {\gamma }_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{\frac{i\pi }{2}}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;y),(-u-v,h),{(a_j,A_j)}_{2,p},(v-u,h)\\ (-u-\frac{1}{2},h),{(b_j,B_j)}_{1,q}\end{array}].\end{array}$$

(21)

Theorem 2.3

Let $\Re (\vartheta )>0$, $\overline{\Omega }>0$, $h>0$, $|\operatorname{arg}(z)|<\frac{\pi \overline{\Omega }}{2}$, $\Re (u+v+h\frac{b_{i}}{B_{i}} )>-1$, and $\Re (u)<-\frac{1}{2}$. Then for $y\geq 0$,

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^u{J}_v(x){\bar{\mathrm{\Gamma }}}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]dx\\ & =\frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1}\mathrm{\Gamma }(\frac{1}{2})}\\ & \times {\bar{\mathrm{\Gamma }}}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{\frac{i\pi }{2}}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),(-u-v,h;1),{(a_j,A_j;{\zeta }_j)}_{2,n},\\ (-u-\frac{1}{2},h),{(b_j,B_j)}_{1,m},\end{array}\\ & \phantom{aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa}\begin{array}{c}{(a_j,A_j)}_{n+1,p},(v-u,h)\\ {(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}].\end{array}$$

(22)

Proof

To demonstrate (22), consider its left-hand side. Expressing the incomplete H̅-function in terms of the Mellin–Barnes-type integral defined in (14), we have

$$\begin{aligned} \mathrm{L.H.S}= \int _{0}^{\infty }e^{i x } x^{u} J_{v}(x) \frac{1}{2\pi i} \int _{\mathcal{L}} \overline{G}(\vartheta,y) \bigl(z\ x^{h} \bigr)^{- \vartheta } \,d\vartheta \,dx. \end{aligned}$$

Changing the integration order, we have

$$\begin{aligned} \mathrm{L.H.S}=\frac{1}{2\pi i} \int _{\mathcal{L}} \overline{G}(\vartheta,y) z^{-\vartheta } \int _{0}^{\infty }e^{i x} x^{u-h\vartheta } J_{v}(x) \,dx \,d\vartheta. \end{aligned}$$

From this by means of formula (19) we obtain

$$\begin{aligned} \mathrm{L.H.S} =\frac{1}{2\pi i} \int _{\mathcal{L}} \overline{G}(\vartheta,y) \frac{e^{\frac{1}{2}(u+v+1-h\vartheta )i \pi }\Gamma (u+v+1-h\vartheta )\Gamma (-u-\frac{1}{2}+h\vartheta )}{2^{u+1-h\vartheta }\Gamma (\frac{1}{2})\Gamma (v-u+h\vartheta )}z^{- \vartheta } \,d\vartheta, \end{aligned}$$

(23)

and using (16), we obtain the required right-hand side of (22). □

Theorem 2.4

Let $\Re (\vartheta )>0$, $\overline{\Omega }>0$, $h>0$, $|\operatorname{arg}(z)|<\frac{\pi \overline{\Omega }}{2}$, $\Re (u+v+h\frac{b_{i}}{B_{i}} )>-1$, and $\Re (u)<-\frac{1}{2}$. Then for $y\geq 0$,

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^u{J}_v(x){\bar{\gamma }}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]dx\\ & =\frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1}\mathrm{\Gamma }(\frac{1}{2})}\\ & \times {\bar{\gamma }}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{\frac{i\pi }{2}}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),(-u-v,h;1),{(a_j,A_j;{\zeta }_j)}_{2,n},\\ (-u-\frac{1}{2},h),{(b_j,B_j)}_{1,m},\end{array}\\ & \phantom{aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa}\begin{array}{c}{(a_j,A_j)}_{n+1,p},(v-u,h)\\ {(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}].\end{array}$$

(24)

Remark

If we set $\zeta _{j}=1\ (j=1,\ldots,n)$ and $\eta _{j}=1\ (j=m+1,\ldots,q)$ into Theorems 2.3 and 2.4, we obtained the results of Theorems 2.1 and 2.2, respectively.

3 Expansion formulas

In this section, we present expansions for incomplete H-functions and incomplete H̅-functions involving the Bessel function with the help of integrals presented in Sect. 2 and derive the orthogonality of Bessel functions.

Theorem 3.1

Let $h>0$, $\sum_{i=1}^{p}A_{i}-\sum_{i=1}^{q}B_{i} \leq 0$, $\Omega >0$, $|\operatorname{arg}(z)|<\frac{\Omega \pi }{2}$, $r=\mu +2\vartheta +1$, $\Re (u+v+2 h\frac{b_{i}}{B_{i}} )>0 \ (i=1,\ldots,m)$, and $\Re (u)<\frac{1}{2}$. The for $y\geq 0$,

$$\begin{array}{rl}& e^{ix}{x}^u{\mathrm{\Gamma }}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]\\ & =\frac{1}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times {\mathrm{\Gamma }}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;y),(-u-r+1,h),{(a_j,A_j)}_{2,p},(r-u+1,h)\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,q}\end{array}].\end{array}$$

(25)

Proof

To demonstrate (25), let

$$f(x)=e^{ix}{x}^u{\mathrm{\Gamma }}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]=\sum _{\vartheta =0}^{\mathrm{\infty }}{C}_{\vartheta }{J}_{\mu +2\vartheta +1},$$

(26)

where $f(x)$ is ceaseless and bounded in the interval $(0,\infty )$ when $u\geq 0$. Hence statement (25) is substantial.

Multiplying both sides of (26) by $x^{-1} J_{\mu +2t+1}(x)$ and integrating with respect to x from 0 to ∞, we get

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^{u-1}{J}_{\mu +2t+1}(x){\mathrm{\Gamma }}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]dx\\ & =\sum _{\vartheta =0}^{\mathrm{\infty }}{C}_{\vartheta }{\int }_0^{\mathrm{\infty }}{x}^{-1}{J}_{\mu +2t+1}(x)J_{\mu +2\vartheta +1}(x)dx.\end{array}$$

Now applying statement (18) and the orthogonality of the Bessel functions [17, p. 291, (6)], we obtain

$$\begin{array}{rl}{C}_t=& \frac{v{e}^{\frac{1}{2}(u+v)i\pi }}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\\ & \times {\mathrm{\Gamma }}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;y),(-u-v+1,h),{(a_j,A_j)}_{2,p},(v-u+1,h)\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,q}\end{array}],\end{array}$$

(27)

where $v=\mu +2t+1$. From equations (26) and (27) we obtain the desired result (22). □

Theorem 3.2

Let $h>0$, $\sum_{i=1}^{p}A_{i}-\sum_{i=1}^{q}B_{i} \leq 0$, $\Omega >0$, $|\operatorname{arg}(z)|<\frac{\Omega \pi }{2}$, $r=\mu +2\vartheta +1$, $\Re (u+v+2 h\frac{b_{i}}{B_{i}} )>0 \ (i=1,\ldots,m)$, and $\Re (u)<\frac{1}{2}$, Then for $y\geq 0$,

$$\begin{array}{rl}& e^{ix}{x}^u{\gamma }_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;y),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]\\ & =\frac{1}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times {\gamma }_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;y),(-u-r+1,h),{(a_j,A_j)}_{2,p},(r-u+1,h)\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,q}\end{array}].\end{array}$$

(28)

Theorem 3.3

Let $h>0$, $\overline{\Omega }>0$, $|\operatorname{arg}(z)|<\frac{\pi \overline{\Omega }}{2}$, $r=\mu +2\vartheta +1$, $\Re (u+v+2 h\frac{b_{i}}{B_{i}} )>0 \ (i=1,\ldots,m)$, and $\Re (u)<\frac{1}{2}$. Then for $y\geq 0$,

$$\begin{array}{rl}& e^{ix}{x}^u{\bar{\mathrm{\Gamma }}}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]\\ & =\frac{1}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times {\bar{\mathrm{\Gamma }}}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),(-u-r+1,h;1),{(a_j,A_j;{\zeta }_j)}_{2,n},\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,m},\end{array}\\ & \phantom{aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa}\begin{array}{c}{(a_j,A_j)}_{n+1,p},(r-u+1,h)\\ {(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}].\end{array}$$

(29)

Proof

To demonstrate (29), let

$$\begin{array}{rl}g(x)& =e^{ix}{x}^u{\bar{\mathrm{\Gamma }}}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]\\ & =\sum _{\vartheta =0}^{\mathrm{\infty }}{C}_{\vartheta }{J}_{\mu +2\vartheta +1},\end{array}$$

(30)

where $g(x)$ is ceaseless and bounded in the interval $(0,\infty )$ when $u\geq 0$. Hence statement (29) is substantial.

Multiplying both sides of (30) by $x^{-1} J_{\mu +2t+1}(x)$ and integrating with respect to x from 0 to ∞, we have

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^{u-1}{J}_{\mu +2t+1}(x){\bar{\mathrm{\Gamma }}}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]dx\\ & =\sum _{\vartheta =0}^{\mathrm{\infty }}{C}_{\vartheta }{\int }_0^{\mathrm{\infty }}{x}^{-1}{J}_{\mu +2t+1}(x)J_{\mu +2\vartheta +1}(x)dx.\end{array}$$

Now applying (22) and the orthogonality property of the Bessel functions [17, p. 291, (6)], we obtain

$$\begin{array}{rl}{C}_t=& \frac{v{e}^{\frac{1}{2}(u+v)i\pi }}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\\ & \times {\bar{\mathrm{\Gamma }}}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),(-u-v+1,h;1){(a_j,A_j;{\zeta }_j)}_{2,n},\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,m},\end{array}\\ & \phantom{000000000000000000000000000000000}\begin{array}{c}{(a_j,A_j)}_{n+1,p},(v-u+1,h)\\ {(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}],\end{array}$$

(31)

where $v=\mu +2t+1$. From equations (30) and (31) we obtain the desired result (29). □

Theorem 3.4

Let $h>0$, $\overline{\Omega }>0$, $|\operatorname{arg}(z)|<\frac{\pi \overline{\Omega }}{2}$, $r=\mu +2\vartheta +1$, $\Re (u+v+2 h\frac{b_{i}}{B_{i}} )>0 \ (i=1,\ldots,m)$, and $\Re (u)<\frac{1}{2}$. Then for $y\geq 0$,

$$\begin{array}{rl}& e^{ix}{x}^u{\bar{\gamma }}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),{(a_j,A_j;{\zeta }_j)}_{2,n},{(a_j,A_j)}_{n+1,p}\\ {(b_j,B_j)}_{1,m},{(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}]\\ & =\frac{1}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times {\bar{\gamma }}_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(a_1,A_1;{\zeta }_1;y),(-u-r+1,h;1),{(a_j,A_j;{\zeta }_j)}_{2,n},\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,m},\end{array}\\ & \phantom{0000000000000000000000000000000000}\begin{array}{c}{(a_j,A_j)}_{n+1,p},(r-u+1,h)\\ {(b_j,B_j;{\eta }_j)}_{m+1,q}\end{array}].\end{array}$$

(32)

Remark

Setting $\zeta _{j}=1\ (j=1,\ldots,n)$ and $\eta _{j}=1\ (j=m+1,\ldots,q)$ in Theorems 3.3 and 3.4, we obtain Theorems 3.1 and 3.2, respectively.

4 Particular cases

The results presented in this paper are of a very general nature, and their particular cases are scattered throughout the literature. Particular cases of expansion are mentioned only for the incomplete $\Gamma ^{m, n}_{p, q}$ function.

If we assign specific values to the parameters of the incomplete $\Gamma ^{m, n}_{p, q}$ function, then this function converts into the incomplete Meijer $^{(\Gamma )}G$-function, incomplete Fox–Wright ${}_{p} \Psi _{q}^{(\Gamma )}$-function, and incomplete generalized hypergeometric ${}_{p}\Gamma _{q}$ function. In this Section, we establish integral formulas and expansion formulas for these incomplete functions as particular cases of Theorem 2.1 and Theorem 3.1.

• (1) Letting $A_{j}=1\ (j=1,\ldots,p)$, $B_{j}=1 \ (j=1,\ldots,q)$, and $h=1$, the function (9) reduces into the incomplete Meijer $^{(\Gamma )}G$-function as follows:

  $${\mathrm{\Gamma }}_{p,q}^{m,n}\left[zx\right|\begin{array}{c}(a_1,1,y),{(a_j,1)}_{2,p}\\ {(b_j,1)}_{1,q}\end{array}]={}^{(\mathrm{\Gamma })}{G}_{p,q}^{m,n}\left[zx\right|\begin{array}{c}(a_1,y),{(a_j)}_{2,p}\\ {(b_j)}_{1,q}\end{array}].$$

  (33)

Using relation (33) in (18) and (25), respectively, we obtain the following corollaries.

Corollary 1

Let $\Re (\vartheta )>0$, $2(m+n)>p+q$, $|\operatorname{arg}(z)|< (m+n-\frac{p}{2}-\frac{q}{2} )\pi$, $\Re (u+v+b_{i})>-1, i=1,\ldots,m$, and $\Re (u)<-\frac{1}{2}$. Then

$$\begin{array}{rl}& {\int }_0^{\mathrm{\infty }}{e}^{ix}{x}^u{J}_v(x){}^{(\mathrm{\Gamma })}{G}_{p,q}^{m,n}\left[zx\right|\begin{array}{c}(a_1,y),{(a_j)}_{2,p}\\ {(b_j)}_{1,q}\end{array}]dx\\ & ={\frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1}\mathrm{\Gamma }(\frac{1}{2})}}^{(\mathrm{\Gamma })}{G}_{p+2,q+1}^{m+1,n+1}\left[z\left(\frac{e^{\frac{i\pi }{2}}}{2}\right)\right|\begin{array}{c}(a_1;y),(-u-v),{(a_j)}_{2,p},(v-u)\\ (-u-\frac{1}{2}),{(b_j)}_{1,q}\end{array}].\end{array}$$

(34)

Corollary 2

Let $\Re (\vartheta )>0$, $2(m+n)>p+q$, $|\operatorname{arg}(z)|< (m+n-\frac{p}{2}-\frac{q}{2} )\pi$, $\Re (u+b_{i})>0, i=1,\ldots,m$, $\Re (u)<\frac{1}{2}$, and $r=\mu +2\vartheta +1$. Then

$$\begin{array}{rl}& e^{ix}x^u{}^{(\mathrm{\Gamma })}{G}_{p,q}^{m,n}\left[zx\right|\begin{array}{c}(a_1;y),{(a_j)}_{2,p}\\ {(b_j)}_{1,q}\end{array}]\\ & =\frac{1}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times {}^{(\mathrm{\Gamma })}{G}_{p+2,q+1}^{m+1,n+1}\left[z\left(\frac{e^{i\pi /2}}{2}\right)\right|\begin{array}{c}(a_1;y),(-u-r+1),{(a_j)}_{2,p},(r-u+1)\\ (-u+\frac{1}{2}),{(b_i)}_{1,q}\end{array}].\end{array}$$

(35)

• (2) Taking $m=1$ and $n=p$, replacing q with $q+1$, and taking appropriate parameters such as $z=-z$, $a_{j} \rightarrow (1-a_{j})\ (j=1,\ldots,p)$, and $b_{j}\rightarrow (1-b_{j})\ (j=1,\ldots,q)$, the incomplete H-function (9) converts to the incomplete Fox–Wright ${}_{p} \Psi _{q}^{(\Gamma )}$-function (see [23]):

  $$\begin{array}{rl}& {\mathrm{\Gamma }}_{p,q+1}^{1,p}[-z|\begin{array}{c}(1-a_1,A_1,y),{(1-a_j,A_j)}_{2,p}\\ (0,1),{(1-b_j,B_j)}_{1,q}\end{array}]\\ & ={}_p{\mathrm{\Psi }}_q^{(\mathrm{\Gamma })}\left[\begin{array}{cc}(a_1,A_1,y),{(a_j,A_j)}_{2,p};& \\ & z\\ {(b_j,B_j)}_{1,q};& \end{array}\right].\end{array}$$

  (36)

Using relation (36) in (18) and (25), respectively, we get the following corollaries.

Corollary 3

Let $\Re {(\vartheta )}>0$, $h>0$, $|\operatorname{arg}(-z)|<\pi$, $\Re (u+v+h\frac{(1-b_{i})}{B_{i}} )>-1$, and $\Re (u)<-\frac{1}{2}$. Then

$$\begin{aligned} & \int _{0}^{\infty } e^{i x } x^{u} J_{v}(x) {}_{p}\Psi _{q}^{( \Gamma )} \begin{bmatrix} (a_{1},A_{1};y),(a_{j},A_{j})_{2, p}; \\ & z\ x^{h} \\ (b_{j},B_{j})_{1, q}; \end{bmatrix} \,dx \\ &\quad = \frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1} \Gamma (\frac{1}{2})} _{p+2} \Psi _{q+1}^{(\Gamma )} \begin{bmatrix} (a_{1},A_{1};y),(-u-v,h),(a_{j},A_{j})_{2, p},(v-u,h);& \\ & z (\frac{e^{\frac{i\pi }{2}}}{2} )^{h} \\ (-u-\frac{1}{2},h), (b_{j},B_{j})_{1, q}; \end{bmatrix}. \end{aligned}$$

(37)

Corollary 4

Let $\Re {\vartheta }>0$, $h>0$, $|\operatorname{arg}(-z)|<\pi$, $\Re (u+v+2h\frac{(1-b_{i})}{B_{i}} )>0$, $\Re (u)<\frac{1}{2}$, and $r=\mu +2\vartheta +1$. Then

$$\begin{aligned} & e^{i x } x^{u} {}_{p}\Psi _{q}^{(\Gamma )} \begin{bmatrix} (a_{1},A_{1};y),(a_{j},A_{j})_{2, p}; \\ & z\ x^{h} \\ (b_{j},B_{j})_{1, q}; \end{bmatrix} \\ &\quad =\frac{1}{2^{u-1}\Gamma (\frac{1}{2})} \sum_{ \mathfrak{\vartheta }=0}^{\infty }r e^{\frac{1}{2}(u+r)i\pi } J_{r}(x) \\ &\qquad{}\times {}_{p+2}\Psi _{q+1}^{(\Gamma )} \begin{bmatrix} (a_{1},A_{1};y),(-u-r+1,h),(a_{j},A_{j})_{2, p},(r-u+1,h);& \\ & z (\frac{e^{i\pi /2}}{2} )^{h} \\ (-u+\frac{1}{2},h),(b_{j},B_{j})_{1, q}; \end{bmatrix}. \end{aligned}$$

(38)

• (3) Further, substituting $h=1$, $A_{j}=1\ (j=1,\ldots,p)$, and $B_{j}=1 \ (j=1,\ldots,q)$ into (37) and (38) and using the relation (see [23])

  $$\begin{array}{rl}& {\mathrm{\Gamma }}_{p,q+1}^{1,p}[-zx|\begin{array}{c}(1-a_1,1,y),{(1-a_i,1)}_{2,p}\\ (0,1),{(1-b_i,1)}_{1,q}\end{array}]\\ & ={\mathcal{C}}_q^p{}_p{\mathrm{\Gamma }}_q\left[\begin{array}{cc}(a_1,y),a_2,\dots ,a_p;& \\ & zx\\ b_1,\dots ,b_q;& \end{array}\right],\end{array}$$

  (39)

where $\mathcal{C}^{p}_{q}= \frac{\prod_{j=1}^{p}\Gamma (a_{j})}{\prod_{j=1}^{q}\Gamma (b_{j})}$, we obtain the subsequent corollaries.

Corollary 5

Let $\Re {(\vartheta )}>0$, $|\operatorname{arg}(-z)|<\pi$, $\Re (u+v+(1-b_{i}) )>-1$, and $\Re (u)<-\frac{1}{2}$. Then

$$\begin{aligned} & \int _{0}^{\infty } e^{i x } x^{u} J_{v}(x) {}_{p}\Gamma _{q} \begin{bmatrix} (a_{1},y),a_{2},\ldots,a_{p};&\\ & z\ x \\ b_{1},\ldots,b_{q};&\end{bmatrix} \,dx \\ &\quad=\frac{e^{\frac{1}{2}(u+v+1)i\pi }}{2^{u+1} \Gamma (\frac{1}{2})} \frac{\Gamma (-u-v)\Gamma (v-u)}{\Gamma (-u-\frac{1}{2})} \\ &\qquad{}\times {}_{p+2}\Gamma _{q+1} \begin{bmatrix} (a_{1},y),(-u-v),a_{2},\ldots,a_{p},(v-u);&\\ & z (\frac{e^{i\pi /2}}{2} ) \\ (-u-\frac{1}{2}),b_{1},\ldots,b_{q}; &\end{bmatrix}. \end{aligned}$$

(40)

Corollary 6

Let $\Re (\vartheta )>0$, $|\operatorname{arg}(-z)|<\pi$, $\Re (u+v+2(1-b_{i}) )>0$, $\Re (u)<\frac{1}{2}$, and $r=\mu +2\vartheta +1$. Then

$$\begin{aligned} & e^{i x } x^{u} {}_{p}\Gamma _{q} \begin{bmatrix} (a_{1},y),a_{2},\ldots,a_{p};&\\ & z\ x \\ b_{1},\ldots,b_{q};&\end{bmatrix} \\ &\quad =\frac{1}{2^{u-1}\Gamma (\frac{1}{2})} \sum_{ \mathfrak{\vartheta }=0}^{\infty }r e^{\frac{1}{2}(u+r)i\pi } \frac{\Gamma (1-u-r)\Gamma (r-u+1)}{\Gamma (-u+\frac{1}{2})} J_{r}(x) \\ &\qquad{}\times {}_{p+2}\Gamma _{q+1} \begin{bmatrix} (a_{1},y),(-u-r+1),a_{2},\ldots,a_{p},(r-u+1);&\\ & z (\frac{e^{i\pi /2}}{2} ) \\ (-u+\frac{1}{2}),b_{1},\ldots,b_{q}; &\end{bmatrix}. \end{aligned}$$

(41)

• (4) If we put $y=0$ in (9), then the incomplete H-function $\Gamma ^{m, n}_{p, q}(z)$ converts into the generally known Fox H-function:

  $${\mathrm{\Gamma }}_{p,q}^{m,n}\left[z\right|\begin{array}{c}(a_1,A_1;0),{(a_j,A_j)}_{2,p}\\ {(b_j,B_j)}_{1,q}\end{array}]=H_{p,q}^{m,n}\left[z\right|\begin{array}{c}{(a_j,A_j)}_{1,p}\\ {(b_j,B_j)}_{1,q}\end{array}].$$

Using this relation in (25), we obtain the result previously derived by Bajpai [5, p. 44, (3.1)],

$$\begin{array}{rl}& e^{ix}{x}^u{H}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}{(a_j,A_j)}_{1,p}\\ {(b_j,B_j)}_{1,q}\end{array}]\\ & =\frac{1}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times H_{p+2,q+1}^{m+1,n+1}\left[z{\left(\frac{e^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}(-u-r+1,h),{(a_j,A_j)}_{1,p},(r-u+1,h)\\ (-u+\frac{1}{2},h),{(b_j,B_j)}_{1,q}\end{array}].\end{array}$$

(42)

• (5) In (25), setting $A_{j}=1\ (j=1,\ldots,p)$, $B_{j}=1\ (j=1,\ldots,q)$, and $y=0$, assuming h to be a positive integer, using the relation

  $${\mathrm{\Gamma }}_{p,q}^{m,n}\left[z\right|\begin{array}{c}(a_1,1;0),{(a_i,1)}_{2,p}\\ {(b_i,1)}_{1,q}\end{array}]=G_{p,q}^{m,n}\left[z\right|\begin{array}{c}{a}_1,\dots ,a_p\\ b_1,\dots ,b_q\end{array}],$$

and solving with the assistance of [11, p. 4, (11)] and [11, p. 207, (1)], we get the result obtained by Bajpai [4, p. 287, (3.1)]:

$$\begin{array}{rl}& e^{ix}{x}^u{G}_{p,q}^{m,n}\left[z{x}^h\right|\begin{array}{c}{a}_1,\dots ,a_p\\ b_1,\dots ,b_q\end{array}]\\ & =\frac{h^{u-1{(2\pi )}^{\frac{1-h}{2}}}}{2^{u-1}\mathrm{\Gamma }(\frac{1}{2})}\sum _{\vartheta =0}^{\mathrm{\infty }}r{e}^{\frac{1}{2}(u+r)i\pi }{J}_r(x)\\ & \times G_{p+2h,q+h}^{m+h,n+h}\left[z{\left(\frac{h{e}^{i\pi /2}}{2}\right)}^h\right|\begin{array}{c}\mathrm{\Delta }(h,1-u-r),{(a_j)}_{1,p},\mathrm{\Delta }(h,1-u+r)\\ \mathrm{\Delta }(h,\frac{1}{2}-u),{(b_j)}_{1,q}\end{array}],\end{array}$$

(43)

where $\Delta (h,a)$ represents the set of parameters $(\frac{a}{h} ), (\frac{a+1}{h} ), \ldots , (\frac{a+h-1}{h} )$, and $2(m+n)>p+q$, $|\operatorname{arg}(z)|<(m+n-\frac{1}{2}p-\frac{1}{2}q)\pi$, $\Re (u+h b_{i})>0\ (i=1,\ldots,m)$, $\Re (u)<\frac{1}{2}$, $r=\mu +2\vartheta +1$.

We summarize this paper by stating that by using the orthogonality of the Bessel function, we discussed the integral formulas and expansion formulas of incomplete H-functions and incomplete H̅-functions. In Sect. 4, we also obtained some particular cases of our main results and some known ones. The results introduced in this paper are new and can be used to subsidiary different new and known outcomes having applications in science and engineering.