# Discrete Analogues of the Erdélyi Type Integrals for Hypergeometric Functions

Authors: Yashoverdhan Vyas; Anand V. Bhatnagar; Kalpana Fatawat; D. L. Suthar; S. D. Purohit
Journal: Journal of Mathematics
 (2022)

---

## Abstract

Gasper followed the fractional calculus proof of an Erdélyi integral to derive its discrete analogue in the form of a hypergeometric expansion. To give an alternative proof, we derive it by following a procedure analogous to a triple series manipulation-based proof of the Erdélyi integral, due to “Joshi and Vyas”. Motivated from this alternative way of proof, we establish the discrete analogues corresponding to many of theErdélyi type integrals due to “Joshi and Vyas” and “Luo and Raina” in the form of new hypergeometric expansion formulas. Moreover, the applications of investigated discrete analogues in deriving some expansion formulas involving orthogonal polynomials of the Askey-scheme and a new generalization of Whipple’s transformation for a balanced 4F3 in the form of an m+4Fm+3 transformation, are also discussed.


---

## Body

## 1. Introduction, Motivation, and Preliminaries

The Gauss hypergeometric function ([1], p. 243, Equation (III.3)), see also ([2], p. 18, Equation (17)):(1)F21α1,α2;β1;z≔∑n=0∞α1nα2nβ1nznn!is an instance of the following generalized hypergeometric Fr+1r function ([2], p. 19, Equation (23)):(2)Fr+1rα1,…,αr+1;β1,…,βr;z≔∑n=0∞α1n…αr+1nβ1n…βrnznn!=Fr+1rα;β;z,where r can be either 0 or any natural number. The parameter vector is(3)α;β≔α1,…,αr+1;β1,…,βr∈ℂr+1×ℂr,in which all the parameters can take any real or complex value under the restriction that βj can neither be zero nor a negative integer. The series in (2) converges or diverges in accordance with the value of z less than or greater than 1, respectively. Further, if we take(4)λ≔∑j=1rβj−∑j=1r+1αj,then for z=1, the series in (2) converges or diverges in accordance with the value of ℜλ is less than or greater than 0, respectively. For a detailed discussion on convergence of (2), we refer to ([2], p. 20) and ([3], p. 43).The symbol ρn in (2) is the well-known symbol of Pochhammer defined by(5)ρn≔ρρ+1…ρ+n−1,ρ0≔1.Also, we have(6)ρn≔Γρ+nΓρ,(7)ρ−n≔Γρ−nΓρ=−1n1−ρn.For further such relations, we refer to ([1], pp. 239–240, Appendix I).The following result(8)F21α1,α2;β1;z=Γβ1Γα2Γβ1−α2⋅∫01uα2−11−uβ1−α2−11−zu−α1du,where ℜβ1>ℜα2>0, is known as Euler’s integral ([4], p. 47, Theorem 16). An extension of (8) was developed by Bateman [5] which is as follows:(9)F21α1,α2;β1;z=Γβ1ΓμΓβ1−μ∫01uμ−11−uβ1−μ−1⋅F21α1,α2;μ;zudu,where ℜβ1>ℜμ>0.About eighty years ago, Erdélyi [6] gave the extensions of Euler’s integral (8) and Bateman’s integral (9), in the form of following equations (10)–(12), as given in the following equation:(10)F21α1,α2;β1;z=Γβ1ΓμΓβ1−μ∫01uμ−11−uβ1−μ−11−zuλ−α1−α2⋅F21λ−α1,λ−α2;μ;zuF21α1+α2−λ,λ−μ;β1−μ;1−uz1−zudu,where ℜβ1>ℜμ>0,(11)F21α1,α2;β1;z=Γβ1ΓμΓβ1−μ∫01uμ−11−uβ1−μ−11−zu−α′1⋅F21α′1−α1,α2;μ;zuF21α′1,α2−μ;α1−μ;1−uz1−zudu,where ℜβ1>ℜμ>0, and(12)F21α1,α2;β1;z=Γβ1ΓμΓλΓνΓμ+β1−λ−ν⋅∫01uν−11−uμ+β1−λ−ν−1⋅F21μ−λ,β1−λ;μ+β1−λ−ν;1−uF32α1,α2,μ;α1,ν;zudu,where ℜλ,ν,μ+β1−λ−ν>0. Further, equations (8)–(12) satisfy the constraints z≠1 and arg1−z<π. The derivations of above equations in [6] were based on the fractional calculus. For some important applications of (10), as shown in [7].Thirty five years hence Erdélyi [6], Gasper [7] derived the discrete analogue of Erdélyi’s integral (10) as given in the following equation ([7], Equation (27)):(13)F32α1,α2,−n;β1,δ;1=∑k=0nμkδ+λ−α2−α1kβ1−μn−k−nk−1kβ1nδkk!F32λ−α1,λ−α2,−k;μ,δ+λ−α2−α1;1F32λ−μ,α1+α2−λ,k−n;β1−μ,δ+k;1.Gasper [7] proved (13) by following the steps analogous to Erdélyi’s fractional calculus proof of (10). He used three transformation formulas ([7], Equations (22)–(24)) to prove (13), where one of the transformation formulas ([7], Equations (23)) is as follows:(14)F32−n,α1,β1−α2;β1,1+α1−δ−n;1=δnδ−α1nF32−n,α1,α2;β1,δ;1.As explained in Gasper ([7], p. 208) and ([8], p. 2), replacing n,k,δ by Nz,Nzt, −N, respectively, in (13) and choosing Nz⟶∞ through integer values of Nz with fixed z such that z lies between 0 and 1, and finally using analytical continuation with respect to z, we get (10). For this conversion, we utilize the fundamental definition of definite integral and a limit relation involving Pochhammer symbols ([4], p. 11). Moving a few steps ahead, Gasper [8] studied Φ43 expansions to provide generalizations of (13) and other results, along with the applicability to orthogonal polynomials [7, p. 6]. Lievens [9] discussed the association of such expansions with the invariant group of the Lie algebra. The Φ43 expansions given by [8] were specialized to give expansion formulas for the Racah polynomials, the Askey–Wilson polynomials and their q-analogues, where the Racah polynomials Rn ([10], p. 25, Equation (1.2.1)) and the Askey–Wilson polynomials Wn ([10], p. 23, Equation (1.1.1)) are defined as follows:(15)Rnρx;α1,α2,β1,β2=F43−n,−x,n+α1+α2+1,x+β1+β2+1;α1+1,α2+β2+1,β1+1;1,n∈ℕ∪0,ρx=xx+β2+β1+1,α2+β2+1=−Norα1+1=−Norβ1+1=−N,with N a positive integer.(16)Wnx2;α1,α2,β1,β2α1+α2nα1+β1nα1+β2n=F43n+α1+α2+β1+β2−1,α1+ix,α1−ix,−n;α1+α2,α1+β1,α1+β2;1.As a matter of fact, the further generalizations of these Φ43 expansions were developed by Joshi and Vyas [11], in the form of Φ1211q and Φrsz expansions, along with the applicability to biorthogonal rational functions ([11], p. 221, Section 3).Many researchers, for example, [7, 8, 11–19] have studied and investigated several kinds of integrals that involve and represent the hypergeometric functions, on account of the numerous applications of these integrals, for example, as shown in [13].Following, Erdélyi [6] and Gasper [7, 8]; Joshi and Vyas [15] gave the alternative proofs of three integrals of Erdélyi by using the series rearrangement method ([4], see also [3]) and the three classical summation theorems, namely, the Gauss, Vandermonde, and Saalschütz summation theorems. Motivated from the above way of proof, they investigated many new integrals for certain Fr+1r, which were similar to the Erdélyi integrals due to the inclusion of the powers and hypergeometric functions and hence named, Erdélyi type integrals. Furthermore, they obtained many other varieties of Erdélyi’s integrals, for example ([15], p. 132, Equations (4.1), (4.4), (4.5), (4.7) to (4.9) and (5.2)). In the sequel, they [16] also discussed q-extensions of the Erdélyi type integrals, by using series rearrangement. Certain classical series rearrangements were also used by [20, 21] to derive extensions of the Bailey transform, which in turn, were applied to establish remarkable ordinary and q-hypergeometric identities.Recently, Luo and Raina [22] have obtained two new Erdélyi type integrals ([22], Theorems 3.1 and 3.2), which are extensions of (10). They further investigated the generalization of Erdélyi type integral ([15], p. 132, Equation (4.1)) using the extended version of Saalschütz summation theorem [23]:(17)Fr+3r+2α1,α2,−n,θr+mr;1+m−n+α1+α2−β1,β1,θr;1=β1−α1−mnβ1−α2−mncnβ1−α1−α2−mnηm+1nηmn,where ηm are the non-zero roots of the associated parametric equation Qmω=0 of degree m, where(18)Qmω=∑p=0mBpα1pα2pωpGm,pω,with(19)Bp=−1pApβ1−α1−m+pm−pβ1−α2−m+pm−p,(20)Gm,pω=F32−m−p,β1−α1−α2−m,ω+p;β1−α1−m+p,β1−α2−m+p;1.The hypergeometric series Gm,pω is a polynomial in ω of degree m−p where 0≤p≤m. The coefficients Ap are defined by(21)Ap=∑j=pmSjpσm−j,A0=θ1m1…θrmr,Am=1,where Sjp stands for the second kind Stirling number ([24], Chapter 6). The coefficients σj can be obtained from the following generating relation:(22)θ1+xm1…θr+xmr=∑j=0mσm−jxj,0≤j≤m.The application of one of the extended Erdélyi type integrals due to ([22], Theorem 3.2) in deriving a generalization of Thomae-type transformation for Fp+1pz with integral parameter differences ([22], p. 11, Equation (4.6)) is also discussed.However, Gasper [7, 8] developed the discrete analogues for Erdélyi’s integrals but, the discrete analogues corresponding to the Erdélyi type integrals due to ([22], p. 9, Section 4) and ([15], Equations (4.1) and (3.1) to (3.7)) have not been investigated till now.It will be our endeavor in this paper to conjecture and prove the discrete analogues of the Erdélyi type integrals due to [15, 22] in the form of new hypergeometric expansion formulas by following the method analogous to [15], that is, the utilization of series manipulation techniques in conjunction with certain classical summation theorems, namely, the Vandermonde theorem ([1], p. 243, Equation (III.4)), the Saalschütz summation theorem ([1], p. 243, Equation (III.2)), the extended Saalschütz summation theorem [23], the Dougall theorems for F541 ([1], p. 244, Equation (III.13)) and the F761 ([1], p. 244, Equation (III.14)), and the transformation formula (14). To avoid repetition, the citation details for the well-known summation theorems mentioned above will be omitted in the remaining part of the paper.Our primary aim here is to develop the discrete analogues of the Erdélyi type integrals due to Joshi and Vyas [15] and Luo and Raina [22]. The organization of the current research work is as follows.In Section2, a step-by-step demonstration of the alternative proof of the hypergeometric expansion or discrete analogue (13) of the Erdélyi integral, along the lines of a triple series manipulation-based derivation of the Erdélyi’s integral (10) by Joshi and Vyas [15], is detailed. In Section 3, the statements and derivations of the discrete analogues of the Erdélyi type integrals due to [15, 22] in the form of new hypergeometric expansion theorems, are presented. In Section 4, some remarkable applications of the investigated results are discussed, where the application of Theorem 2 provides the expansion formulas involving the orthogonal polynomials (Racah and Askey–Wilson). Further, the application of Theorem 1 enable us to develop a generalization of the well-known Whipple’s transformation of F43 into F43 ([25], p. 140, Theorem 3.3.3), in the form of a transformation of Fm+4m+3 into Fr+4r+3. This transformation of Fm+4m+3 into Fr+4r+3 leads to an extended Thomae-type transformation due to Luo and Raina ([22], Equation (4.6)) (see also [26], p. 114, Theorem 2) as a special case. Thus, this paper shows the efficiency of the series rearrangement technique in deriving the discrete analogues of the integrals due to ([22], p. 9) and ([15], Equations (4.1) and (3.1) to (3.7)) with the applications.


## 2. Alternative Proof for the Discrete Analogue of Erdélyi’s Integral

In the present section, we are providing the alternative proof of (13) by using the series manipulation techniques, the transformation formula (14), the Vandermonde sum, and the Saalschütz sum.Proof.
Step 1: Denoting the right-side of (13) by Ω and writing the F32’s in their series form, we get(23)Ω=∑k,j=0∞∑i=0k−nk+jμkδ+λ−α2−α1kα1+α2−λjδk+j1+μ−β1−nkλ+δ−α1−α2i⋅λ−μjλ−α1iλ−α2iβ1−μn−1iβ1−μjβ1nμii!j!k−i!.Step 2: Next, by applying the following double series manipulation lemma [3, 4], we get(24)∑k=0∞∑i=0kQi,k=∑k,i=0∞Qi,k+i,on equation (23) and then taking an inner series in k, we can write(25)Ω=∑i,j=0∞−ni+jμiα1+α2−λjλ−μjλ−α1iλ−α2iδi+j1+μ−β1−niβ1−μj⋅β1−μn−1iβ1nμii!j!F32−n+i+j,μ+i,λ+δ−α1−α2+i;δ+i+j,1+μ−β1−n+i;1.Step 3: Now, replacing(26)α1⟶μ+i,α2⟶α2+α1−λ+j,β1⟶δ+i+j,δ⟶β1+i+j,andn⟶n−i−j in (14) and applying the resulting transformation on F32 of the right side of (27), we can obtain(27)Ω=∑k=0∞∑i,j=0∞−ni+j+kμi+kα2+α1−λj+kλ−μjλ−α1iλ−α2iδi+j+kβ1i+j+kμii!j!k!.Step 4: Next, on applying the following triple series rearrangement:(28)∑k,i,j=0∞Qk,i,j=∑k=0∞∑i=0k∑j=0k−iQk−i−j,i,j,to the triple series (27), and then taking an inner series in j, we obtain(29)Ω=∑k,i=0∞,k−nkμkα2+α1−λk−iλ−α1iλ−α2i−ki−1iδkμiβ1ki!k!⋅F21λ−μ,i−k;1−μ−k;1.Step 5: Now, applying Vandermonde sum to simplify theF21 present in (29) and then taking an inner series in i, we can write(30)Ω=∑k=0∞λkα2+α1−λk−nkδkβ1kk!F32−k,λ−α2,λ−α1;λ,1−α1−α2+λ−k;1.Finally, the application of the Saalschütz sum and further simplifications lead to the left side of (13).Remark 1.
In the next Section3, we shall prove Theorems 1 and 5 to 10 by following the steps similar to those we have elaborated in the present Section. It may be noted that Theorems 2–4 follow as special cases of Theorems 1 and 3.


## 3. Discrete Analogues of the Erdélyi Type Integrals

Here, we state and prove a number of new hypergeometric expansions as discrete analogues for the Erdélyi type integrals due to ([22], pp. 9–10, Equation (4.1)) and ([15], Equations (4.1) and (3.1) to (3.7)) in the form of Theorems 1, 2, and 4 to 10, respectively. We also obtain an additional expansion as Theorem 3, which is the generalization of Theorem 4.Theorem 1.
The following assertion holds true:(31)Fm+4m+3λ,ξ,ν,−N,ηm+1;γ,δ,ϵ,ηm;1=γ−μNγN⋅∑k=0Nϵ−ξ−ν+δ−mkμk−Nk1+μ−γ−Nkϵkk!Fr+4r+3δ−ν−m,λ,δ−ξ−m,−k,fr+mr;μ,δ,ϵ−ξ−ν+δ−m,fr;1⋅F32ξ+ν−δ+m,λ−μ,−N+k;γ−μ,ϵ+k;1,where the lower parameters ηm have a similar interpretation as given by equations (18)–(22) provided the following replacements are applied:(32)α1⟶δ−ν−m,α2⟶δ−ξ−m,β2⟶δ.Proof.
The proof of the above expansion follows the same steps as discussed in Section 2, except using the Vandermonde and the extended Saalschütz sum (Equations (17)–(22)), one by one, to simplify the appearing inner series.Remark 2.
To convert Theorem1 into the Erdélyi type integral ([22], pp. 9–10, Equation (4.1)), first, we replace N,k,ε by Nz,Nzt,−N, respectively and then, we choose Nz⟶∞ through integer values of Nz with fixed z such that z lies between 0 and 1. Finally, we use equations (5)–(7), a limit relation involving Pochhammer symbols ([4], p. 11), and analytical continuation with respect to z to get the desired result. The same procedure may be applied to convert Theorems 2, 4–10) to their corresponding Erdélyi type integrals ([15], Equations (4.1), and (3.1) to (3.7)), respectively.Theorem 2.
The following assertion holds true:(33)F43λ,ν,ξ,−N;γ,δ,ϵ;1=γ−μNγN∑k=0Nμkϵ−ξ−ν+δk−Nk1+μ−γ−Nkϵkk!⋅F43δ−ξ,δ−ν,λ,−k;μ,δ,ϵ−ξ−ν+δ;1F32ξ+ν−δ,λ−μ,−N+k;γ−μ,ϵ+k;1.Proof.
It can be easily observed that the assertion in Theorem2 follows from Theorem 1 when m=0.Theorem 3.
The following assertion holds true:(34)Fm+4m+3α,β,α′+ν,−N,ηm+1;γ,α+ν,ϵ,ηm;1=γ−λNγN∑k=0Nϵ−α′−mkλk−Nk1+λ−γ−Nkϵkk!⋅Fr+4r+3α−α′−m,β,ν−m,−k,fr+mr;ν+α,λ,ϵ−α′−m,fr;1⋅F32α′+m,β−λ,−N+k;γ−λ,ϵ+k;1.Proof.
The following replacements are(35)λ⟶β,ξ⟶α′+ν,ν⟶α,δ⟶α+ν,μ⟶λ,in Theorem 1 lead us to Theorem 3.Theorem 4.
The following assertion holds true:(36)F43α,β,α′+ν,−N;γ,α+ν,ϵ;1=γ−λNγN∑k=0Nϵ−α′kλk−Nk1+λ−γ−Nkϵkk!⋅F43α−α′,β,ν,−k;ν+α,λ,ϵ−α′;1F32α′,β−λ,−N+k;γ−λ,ϵ+k;1.Proof.
The casem=0 of Theorem 3 leads us to the expansion formula given in Theorem 4.Theorem 5.
The following assertion holds true:(37)F43α,γ−β2,γ−β+12,−N;γ2,γ+12,ϵ;1=α+βNγN⋅∑k=0Nγ−α−βkϵ−βk−Nk1−α−β−Nkϵkk!F32α−β,γ−β,−k;γ−α−β,ϵ−β;1⋅F65β2,β+12,α,α+β+N−k,1−ϵ−β−m,−N+k;α+β2,α+β+12,γ+N,1−ϵ+β−k,ϵ+k;1.Proof.
The proof of above theorem follows the steps explained in Section2 and utilizes the Saalschütz sum twice.Theorem 6.
The following assertion holds true:(38)F43α,β,1+γ−μ−λ,−N;1+γ−μ,1+γ−λ,ϵ;1=1+γ−βN1+γN⋅∑k=0Nβkϵ−μk−Nkβ−γ−Nkϵkk!F43α−μ,β+k,ϵ−μ+k,−N+k;ϵ+k,ϵ−μ,β−γ−N+k;−1⋅F76γ,1+γ2,α,λ,μ,1−β+γ+N−n−k,−k;γ2,1+γ−λ,1+γ−μ,1+γ−β,1+γ+N,1−ϵ+μ−n−k;.Proof.
Following the steps discussed in Section2 and applying the Vandermonde and the Dougall F54 sum, one by one, we can easily get the assertion stated in Theorem 6.Theorem 7.
The following assertion holds true:(39)F54α,γ−μ2,γ−μ+12,β,−N;γ−μ,γ2,γ+12,ε;1=γ−βNγN⋅∑k=0Nε−μkβk−Nk1+β−γ−Nkεkk!F21α−μ,−k;ε−μ;1⋅F43α,μ,β+k,−N+k;γ−β,γ+N,ε+k;−1.Proof.
To prove the above assertion, we follow the method discussed in Section2, and apply the Vandermonde and the Saalschütz sum.Theorem 8.
The following assertion holds true:(40)F54α,β,1+α−β−γ+μ,γ,−N;1+α−β,β+γ−μ,1+α−γ,ϵ;1=1+α−μ−λN1+α−μN⋅∑k=0Nλkϵ−μk−Nkλ−α+μ−Nkα+1kk!F32μ,−λ+α,−N+k;α+1−λ−μ,ϵ+k;1⋅F98α−μ,1+α−μ2,α2,α+12,β−μ,γ−μ,λ+k,1+α−β−γ,−k;α−μ2,λ2,λ+12,1+α−β,1+α−γ,β+γ−μ,1+α−μ+N,ϵ−μ;1.Proof.
Following the steps mentioned in Section2 and using the Vandermonde and the Dougall F76 sum, we get the desired expansion.Theorem 9.
The following assertion holds true:(41)F65α+12,1+α2,1+α−μ−λ,β,γ,−N;β+γ2,β+γ+12,1+α−μ,1+α−λ,ϵ;1=2γ+β−α−1Nγ+βN∑k=0N1+α−γ+mkϵ−γ−nk−Nk2+α−2γ−β−N−nkϵkk!⋅F54γ2,γ+12,γ+β−α−1,2γ+β−1−α+N,−N+k;2γ+β−1−α2,2γ+β−α2,γ+β+N+m,ϵ+k;1⋅F87α,1+α2,β,μ,λ,γ+2n,2γ+β−1−α−k+n+N,−k;α2,γ−α−m−k,1+α−μ,1+α−λ,γ+β+N,1−ϵ+γ+n−k,2γ+β−1−α+2n;1.Proof.
To prove the above assertion we follow the similar steps as given in Section2 and will use the Saalschütz and the Dougall F54 sum.Theorem 10.
The following assertion holds true:(42)F76α,β,γ,1+2α−β−γ−μ,μ+12,1+μ2,−N;1+α−β,1+α−γ,β+γ+μ−α,λ2,λ+12,ϵ;1=λ−αNλN∑k=0Nαkϵ+μ−αk−Nk1+α−λ−Nkϵkk!⋅F43α−μ,λ−μ−1,α+k+m,−N+k;λ−α,λ+N+m,ϵ+k;−1⋅F76μ,1+μ2,β+μ−α,γ+μ−α,1+α−β−γ,α+k,−k;μ2,1+α−β,1+α−γ,β+γ+μ−α,λ+N,ϵ+μ−α;1.Proof.
The proof of Theorem10 follows the steps explained in Section 2 and will make use of the Vandermonde and the Dougall F76 sum.


## 4. Applications

In this Section, we shall apply Theorem 2 to investigate the expansion formulas involving the Racah and the Askey–Wilson polynomials and product of hypergeometric functions. Further, Theorem 1 will be utilized to derive the generalized Whipple transformation ofFm+4m+3 into Fr+4r+3 by using the Saalschütz sum and then, applying the double series manipulation (24) and the Vandermonde sum.(1)
On applying the following replacements(43)λ⟶−x,ε⟶α+1,γ⟶β+δ+1,δ⟶γ+1.and then,ν⟶x+α+β+1,ξ⟶N+γ+δ+1 in Theorem 2 lead to an expansion for the Racah polynomials as(44)RxρN;α,β,γ,δ=β−μ+δ+1Nβ+δ+1N∑k=0N−N−β−δ−xkμ−β−δ−Nk.μk−Nkα+1kk!F43−N−δ,γ−β−α−x,−x,−k;μ,γ+1,−N−β−δ−x;1.F321+δ+β+α+x+N,−x−μ,−N+k;β+δ+1−μ,1+α+k;1.where(45)x∈ℕ∪0,ρN=NN+γ+δ+1,and one of the denominator parameters out of the three that is,β+δ+1, α+1, and γ+1 in Rx should be equal to −n.(2)
The following replacements(46)λ⟶−x,ε⟶α+1,γ⟶γ+1,δ⟶β+δ+1,and thenν⟶x+δ+γ+1, ξ⟶N+β+α+1, in Theorem 1 lead to an expansion for the Racah polynomials as(47)RNρx;α,β,γ,δ=γ+1−μNγ+1N∑k=0Nμk−N−γ−xk−Nkα+1k−N+μ−γkk!⋅F43δ−N−α,β−x−γ,−x,−k;β+δ+1,μ,−N−x−γ;1⋅F32N+α+x+γ+1,−μ−x,−N+k;γ+1+μ,1+α+k;1,subject to the restrictions similar to those mentioned with equation (44).(3)
Next, letting(48)λ=a+b+c+d+N−1,ν=a+ix,ξ=a−ix,ε=a+b,γ=a+c,andδ=a+d in Theorem 2, we get the following expansion for the Askey-Wilson polynomials (49)WNx2;a,b,c,da+bNa+dN=a+c−μN∑k=0Nμkd+bk−Nka+bk1+μ−c−a−Nkk!⋅F43d−ix,d+ix,a+b+c+d+N−1,−k;μ,a+d,b+d;1⋅F32a−d,a+b+c+d+N−1−μ,−N+k;a+c−μ,a+b+k;1.(4)
In Theorem 1, we can apply the Saalschütz sum to simplify theF32 series under the following condition:(50)1+λ+ξ+ν−N+m=δ+γ+ε,which converts Theorem 1 into the following result:(51)Fm+4m+3λ,ξ,ν,−N,ηm+1;γ,δ,ε,ηm;1=ε+μ−λNγ−λNεNγN∑k=0Nμk−Nkε+μ−λkk!⋅Fr+4r+3δ−ν−m,λ,δ−ξ−m,−k,fr+mr;μ,δ,ε−ξ−ν+δ−m,fr;1.Next, expressing theFm+4m+3 in its series form, applying the double series manipulation lemma (24), taking an inner F21 series in k and then, summing this F21 series by the Vandermonde theorem, we get(52)Fm+4m+3λ,ξ,ν,−N,ηm+1;γ,δ,ε,ηm;1=γ−λNε−λNεNγN⋅Fr+4r+3δ−ν−m,λ,δ−ξ−m,−N,fr+mr;δ,1−γ+λ−N,1−ε+λ−N,fr;1.The equation (52) is a generalization of the Whipple transformation of F43 into F43 mentioned in ([25], p. 140, Theorem 3.3.3), which follows from (52) when m=0.(5)
Now, replacingε by 1+λ+ξ+ν−δ−γ−N+m in (52) and then taking a limit as N⟶∞, it leads us to an extended Thomae-type transformation due to Luo and Raina ([22], Equation (4.6)) see also Kim et al. ([23], p. 114, Theorem 2). At this point, it may be observed that ([22], Equation (4.6)) is equivalent to ([23], p. 114, Theorem 2).


## 5. Conclusion

This research paper clearly shows that how the series manipulation technique analogous to Joshi and Vyas [15] can effectively be applied to derive many new hypergeometric expansion formulas as discrete analogues for the Erdélyi type integrals. Further, the derived discrete analogues of this paper are also applied to provide the expansion formulas involving the Racah and the Askey–Wilson polynomials and a very important generalization of the Whipple transformation of F43 into F43 in the form of a transformation of Fm+4m+3 into Fr+4r+3. Moreover, it will not be out of place to observe here that Gasper [8] investigated the q-analogues and generalizations of the discrete analogues of the three integrals of Erdélyi to provide new expansion formulas for F43 and Φ43 along with the applicability to orthogonal polynomials and some new double Kampé de Fériet summations, which in turn were further extended by Joshi and Vyas [11] in the form of Φ1211q and Φrsz expansions, along with the applicability to biorthogonal rational functions. Some future research directions on this work can be the investigation of further generalizations of the expansion formulas of this paper along the lines of [8, 11]. A work along these directions is going on and in the foreseeable future, we may hope to submit these new results for publication.



---

*Source: 1568632-2022-10-07.xml*