1. Introduction

jamp

Journal of Applied Mathematics and Physics

2327-4352 2327-4379

Scientific Research Publishing

10.4236/jamp.2025.1311214

jamp-147183

Articles

Physics Mathematics

Analysis of a New Class of Double Integrals Involving Generalized Hypergeometric Functions

Wathek

Chammam

¹ Arjun K.

Rathie

² Mongia

Khlifi

³ Muhammad

Gulistan

⁴

aDepartment of Mathematics, College of Science, Majmaah University, Al Majmaah, Saudi Arabia

aDepartment of Mathematics, Vedant College of Engineering&Technology (Rajasthan Technical University), Bundi, India

aDepartment of Mathematics, Faculty of Sciences of Sfax, Sfax University, Sfax, Tunisia

aDepartment of Electrical and Computer Engineering, University of Alberta, Edmonton, Canada

03 11 2025

13 11 3831 3841 19, September 2025 10, September 2025 10, November 2025

2014

This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

In this study, we aim to explore a novel class of twenty-five double integrals involving generalized hypergeometric functions. These integrals take the form:

\begin{matrix} \int_{0}^{1} \int_{0}^{1} y^{c} {(1 - x)}^{c - 1} {(1 - y)}^{c - 1} {(1 - x y)}^{1 - 2 c} \\ {}_{3}F_{2} [\begin{matrix} a, b, c + \frac{1}{2} \\ \frac{1}{2} (a + b + i + 1), 2 c + j \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}] d x d y \end{matrix}

for

i, j = 0, \pm 1, \pm 2

. The results are derived using generalized versions of Watson’s summation theorem, as established in earlier work by Lavoie et al. Additionally, fifty integrals, split into two sets of twenty-five, are presented as special cases of our main findings, offering further insights into the structure of these integrals.

Generalized Hypergeometric Function Watson Theorem Definite Integral Beta Integral

1. Introduction

The natural generalization of Gauss’s hypergeometric function $_{2} F_{1}$ is called the generalized hypergeometric function $_{p} F_{q}$ , where $p, q \in ℕ_{0}$ is defined by [1] [2]

$_{p} F_{q} [\begin{matrix} a_{1}, \dots, a_{p} \\ b_{1}, \dots, b_{q} \end{matrix}; z] = \sum_{n = 0}^{\infty} \frac{{(a_{1})}_{n} \dots {(a_{p})}_{n}}{{(b_{1})}_{n} \dots {(b_{q})}_{n}} \frac{z^{n}}{n!}$ (1)

where ${(a)}_{n}$ is the well-known Pochhammer symbol (or the raised factorial or the shifted factorial since ${(1)}_{n} = n!$ ) defined for any complex $a \in ℂ$ by

$\begin{matrix} {(a)}_{n} = \frac{Γ (a + n)}{Γ (a)}, (a \in ℂ \ ℤ_{0}^{-}) \\ = {\begin{array}{l} a (a + 1) \dots (a + n - 1), & (n \in ℕ) \\ 1, & (n = 0) \end{array} \end{matrix}$ (2)

where Γ is the well-known Gamma function. For a detailed study on hypergeometric and generalized hypergeometric functions, we refer to the standard texts [1] [2] .

In the theory of hypergeometric and generalized hypergeometric functions, classical summation theorems such as those of Gauss, Gauss second, Kummer, and Bailey for the series $_{2} F_{1}$ ; Watson, Dixon, Whipple and Saalschütz for the series $_{3} F_{2}$ play a key role.

Later, the above-mentioned classical summation theorems were generalized by Lavoie et al. [3] - [5] .

However, in our present investigation, we are interested in the following classical Watson summation theorem [1] .

$\begin{array}{l} _{3} F_{2} [\begin{matrix} a, b, c \\ \frac{1}{2} (a + b + 1), 2 c \end{matrix}; 1] \\ = \frac{Γ (\frac{1}{2}) Γ (c + \frac{1}{2}) Γ (\frac{1}{2} a + \frac{1}{2} b + \frac{1}{2}) Γ (c - \frac{1}{2} a - \frac{1}{2} b + \frac{1}{2})}{Γ (\frac{1}{2} a + \frac{1}{2}) Γ (\frac{1}{2} b + \frac{1}{2}) Γ (c - \frac{1}{2} a + \frac{1}{2}) Γ (c - \frac{1}{2} b + \frac{1}{2})} \end{array}$ (3)

provided $ℜ (2 c - a - b) > - 1$ ,

and its following generalization due to Lavoie et al. [3]

$\begin{array}{l} _{3} F_{2} [\begin{matrix} a, b, c \\ \frac{1}{2} (a + b + i + 1), 2 c + j \end{matrix}; 1] \\ = A_{i, j} \frac{2^{a + b + i - 2} Γ (\frac{1}{2} a + \frac{1}{2} b + \frac{1}{2} i + \frac{1}{2}) Γ (c + [\frac{j}{2}] + \frac{1}{2})}{Γ (\frac{1}{2}) Γ (a) Γ (b)} \\ \times Γ (c - \frac{1}{2} (a + b + | i + j | - j - 1)) \\ \times {\frac{ℬ_{i, j} Γ (\frac{1}{2} a + \frac{1}{4} (1 - {(- 1)}^{i})) Γ (\frac{1}{2} b)}{Γ (c - \frac{1}{2} a + \frac{1}{2} + [\frac{j}{2}] - \frac{1}{4} {(- 1)}^{j} (1 - {(- 1)}^{i})) Γ (c - \frac{1}{2} b + \frac{1}{2} + [\frac{j}{2}])} \end{array}$

$\begin{array}{l} + C_{i, j} \frac{Γ (\frac{1}{2} a + \frac{1}{4} (1 + {(- 1)}^{i})) Γ (\frac{1}{2} b + \frac{1}{2})}{Γ (c - \frac{1}{2} a + [\frac{j + 1}{2}] + \frac{1}{4} {(- 1)}^{j} (1 - {(- 1)}^{i})) Γ (c - \frac{1}{2} b + [\frac{j + 1}{2}])}} \\ = Ω (let) \end{array}$ (4)

for $i, j = 0, \pm 1, \pm 2$ .

For $i = j = 0$ , the result (4) reduces to the classical Watson summation theorem (3).

Here, $[x]$ denotes the highest integer less than or equal to $x$ and the modulus is denoted by $| x |$ . In addition, the coefficients $A_{i, j}$ , $ℬ_{i, j}$ and $C_{i, j}$ are given in Tables 1-3 .

In addition to this, we shall also require the following well-known and interesting double integral due to Edwards [6]

$\int_{0}^{1} y^{α} {(1 - x)}^{α - 1} {(1 - y)}^{β - 1} {(1 - x y)}^{1 - α - β} d x d y = \frac{Γ (α) Γ (β)}{Γ (α + β)}$ (5)

provided $ℜ (α) > 0$ and $ℜ (β) > 0$ .

The aim of this paper is to evaluate twenty-five double integrals involving generalized hypergeometric functions in the form of a general double integral of the form

$\begin{array}{l} \int_{0}^{1} \int_{0}^{1} y^{c} {(1 - x)}^{c - 1} {(1 - y)}^{c - 1} {(1 - x y)}^{1 - 2 c} \\ \times_{3} F_{2} [\begin{matrix} a, b, c + \frac{1}{2} \\ \frac{1}{2} (a + b + i + 1), 2 c + j \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}] d x d y \end{array}$

for $i, j = 0, \pm 1, \pm 2$ .

The results are derived with the help of the generalized Watson summation theorem on the sum of a $_{3} F_{2}$ given by (4). Fifty interesting integrals in the form of two integrals (twenty-five each) have also been given as special cases of our main findings.

2. Main Integrals

The 25 double integrals in the form of a general double integral to be evaluated in this paper are given in the following theorem.

Theorem 1. For $ℜ (c) > 0$ , $ℜ (2 c - a - b + i + 2 j + 1) > 0$ , for $i, j = 0, \pm 1, \pm 2$ , the following integral formula holds.

where Ω is the same as given in (4).

Table 1 <xref ref-type="bibr" rid="scirp.147183-"></xref><img class=" imgMarkCss lazy" data-original="https://html.scirp.org/file/1724359-rId81.jpeg?20251113023217" />

Table 1 <xref ref-type="bibr" rid="scirp.147183-"></xref><img class=" imgMarkCss lazy" data-original="https://html.scirp.org/file/1724359-rId82.jpeg?20251113023217" />

Table 1 <xref ref-type="bibr" rid="scirp.147183-"></xref><img class=" imgMarkCss lazy" data-original="https://html.scirp.org/file/1724359-rId83.jpeg?20251113023217" />

Proof. The proof of our theorem is quite straightforward. For this, we proceed as follows. Denoting the left hand side of (6) by $I$ , we have

$\begin{matrix} I = \int_{0}^{1} \int_{0}^{1} y^{c} {(1 - x)}^{c - 1} {(1 - y)}^{c - 1} {(1 - x y)}^{1 - 2 c} \\ \times_{3} F_{2} [\begin{matrix} a, b, c + \frac{1}{2} \\ \frac{1}{2} (a + b + i + 1), 2 c + j \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}] d x d y \end{matrix}$

Now expressing $_{3} F_{2}$ as a series, changing the order of integration and summation, which is easily seen to be justified due to the uniform convergence of the series in the interval (0, 1), we have

$\begin{array}{l} I = \sum_{n = 0}^{\infty} \frac{{(a)}_{n} {(b)}_{n} {(c + \frac{1}{2})}_{n} 2^{2 n}}{{(\frac{1}{2} (a + b + i + 1))}_{n} {(2 c + j)}_{n}} \int_{0}^{1} \int_{0}^{1} y^{c + n} {(1 - x)}^{c + n - 1} \\ \times {(1 - y)}^{c + n - 1} {(1 - x y)}^{1 - 2 c - 2 n} d x d y \end{array}$

Evaluating the integral using (5), we have, after some simplification

$I = \frac{Γ (c) Γ (c)}{Γ (2 c)} \sum_{n = 0}^{\infty} \frac{{(a)}_{n} {(b)}_{n} {(c)}_{n}}{{(\frac{1}{2} (a + b + i + 1))}_{n} {(2 c + j)}_{n} n!}$

Now summing up the series, we have

$I = \frac{Γ (c) Γ (c)}{Γ (2 c)} {}_{3}F_{2} [\begin{matrix} a, b, c \\ \frac{1}{2} (a + b + i + 1), 2 c + j \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}]$ (7)

We now observe that the $_{3} F_{2}$ appearing can be evaluated with the help of known result (4) and we easily arrive at the right hand side of (6).

This completes the proof of the theorem. □

3. Special Cases and Examples

In this section, we will present several fascinating special cases derived from our main results.

To achieve this, we observe that in Equation (6), by setting $b = - 2 n$ and replacing $a$ with $a + 2 n$ , or by setting $b = - 2 n - 1$ and replacing $a$ with $a + 2 n + 1$ , one of the two terms on the right-hand side of Equation (6) will vanish. As a result, we obtain fifty intriguing special cases (twenty-five each), which are presented below in the form of two corollaries.

Corollary 1. For $i, j = 0, \pm 1, \pm 2$ , the following twenty-five results are true.

$\begin{array}{l} \int_{0}^{1} \int_{0}^{1} y^{c} {(1 - x)}^{c - 1} {(1 - y)}^{c - 1} {(1 - x y)}^{1 - 2 c} \\ \times {}_{3}F_{2} [\begin{matrix} - 2 n, a + 2 n, c + \frac{1}{2} \\ \frac{1}{2} (a + i + 1), 2 c + j \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}] d x d y \end{array}$

$= D_{i, j} \frac{Γ (c) Γ (c)}{Γ (2 c)} \frac{{(\frac{1}{2})}_{n} {(\frac{1}{2} a - c + \frac{3}{4} - \frac{{(- 1)}^{i}}{4} - [\frac{1}{2} j + \frac{1}{4} (1 + {(- 1)}^{i})])}_{n}}{{(c + \frac{1}{2} + [\frac{j}{2}])}_{n} {(\frac{1}{2} a + \frac{1}{4} (1 + {(- 1)}^{i}))}_{n}},$ (8)

where the coefficients $D_{i, j}$ are given in Table 4 .

Corollary 2. For $i, j = 0, \pm 1, \pm 2$ , the following twenty-five results are true.

$\begin{array}{l} \int_{0}^{1} \int_{0}^{1} y^{c} {(1 - x)}^{c - 1} {(1 - y)}^{c - 1} {(1 - x y)}^{1 - 2 c} \\ \times_{3} F_{2} [\begin{matrix} - 2 n - 1, a + 2 n + 1, c + \frac{1}{2} \\ \frac{1}{2} (a + i + 1), 2 c + j \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}] d x d y \\ = E_{i, j} \frac{Γ (c) Γ (c)}{Γ (2 c)} \frac{{(\frac{3}{2})}_{n} {(\frac{1}{2} a - c + \frac{5}{4} + \frac{{(- 1)}^{i}}{4} - [\frac{1}{2} j + \frac{1}{4} (1 + {(- 1)}^{i})])}_{n}}{{(c + \frac{1}{2} + [\frac{j + 1}{2}])}_{n} {(\frac{1}{2} a + \frac{1}{4} (3 - {(- 1)}^{i}))}_{n}}, \end{array}$ (9)

where the coefficients $E_{i, j}$ are given in Table 5 .

In particular, in (8), if we take $i = j = 0$ , we get the following interesting result.

$\begin{array}{l} \int_{0}^{1} \int_{0}^{1} y^{c} {(1 - x)}^{c - 1} {(1 - y)}^{c - 1} {(1 - x y)}^{1 - 2 c} \\ \times_{3} F_{2} [\begin{matrix} - 2 n, a + 2 n, c + \frac{1}{2} \\ \frac{1}{2} (a + b + 1), 2 c \end{matrix}; \frac{4 y (1 - x) (1 - y)}{{(1 - x y)}^{2}}] d x d y \\ = \frac{Γ (c) Γ (c)}{Γ (2 c)} \frac{{(\frac{1}{2})}_{n} {(\frac{1}{2} a - c + \frac{1}{2})}_{n}}{{(c + \frac{1}{2})}_{n} {(\frac{1}{2} a + \frac{1}{2})}_{n}} . \end{array}$ (10)

Similarly, in (9), if we take $i = j = 0$ , we get the following elegant result.

Similarly, we can obtain other results. However, we prefer to omit the details.

4. Conclusions

In this study, we have computed 25 noteworthy double integrals involving generalized hypergeometric functions, presented in the form of a general double integral.

The results are derived with the aid of a generalization of the classical Watson’s summation theorem, as established by Lavoie et al.

Table 2 <xref ref-type="bibr" rid="scirp.147183-"></xref><img class=" imgMarkCss lazy" data-original="https://html.scirp.org/file/1724359-rId132.jpeg?20251113023218" />

Table 2 <xref ref-type="bibr" rid="scirp.147183-"></xref><img class=" imgMarkCss lazy" data-original="https://html.scirp.org/file/1724359-rId133.jpeg?20251113023218" />

Furthermore, fifty remarkable integrals, divided into two sets of twenty-five, have been derived as special cases of our main findings.

We conclude this work by noting that the intriguing applications of the integrals presented here are currently under investigation and will be published in the near future.

Acknowledgements

The authors thank Deanship of Scientific Research at Majmaah University for supporting this work under Project number (ICR-2023-622).

References 1

Bailey, W.N. (1964) Generalized Hypergeometric Series, Cambridge Tracts in Mathematics and Mathematical Physics, No. 32. Stechert-Hafner, New York, NY, USA.

Rainville, E.D. (1971) Special Functions. Macmillan Company, New York, 1960 (Reprinted by Chelsea Publishing Company, Bronx, New York).

Lavoie J.L., Grondin, F. and Rathie, A.K. (1992) Generalizations of Watson’s Theorem on the Sum of a . Indian Journal of Mathematics, 34, 23-32.

Lavoie, J.L., Grondin, F., Rathie, A.K. and Arora, K. (1994) Generalizations of Dixon’s theorem on the sum of a . Mathematics of Computation, 62, 267-276. >https://doi.org/10.1090/s0025-5718-1994-1185246-5

Lavoie, J.L., Grondin, F. and Rathie, A.K. (1996) Generalizations of Whipple’s Theorem on the Sum of a . Journal of Computational and Applied Mathematics, 72, 293-300. >https://doi.org/10.1016/0377-0427(95)00279-0

Edwards, J. (1954) A Treatise on the Integral Calculus with Applications Examples and Problems, Vol. II. Chelsa Publishing Company.