# Decomposition Formulas for Tripleq-Hypergeometric Functions

Authors: Thomas Ernst
Journal: International Journal of Combinatorics
 (2014)

---

## Abstract

In the spirit of Hasanov, Srivastava, and Turaev (2006), we introduce new inverse operators together with a more general operator and find a summation formula for the last one. Based on these operators and the earlier knownq-analogues of the Burchnall-Chaundy operators, we find 15 symbolic operator formulas. Then, 10 expansions for the q-analogues of Srivastava’s three triple hypergeometric functions in terms of ϕ34q-hypergeometric and q-Kampé de Fériet functions are derived. These expansions readily reduce to 10 new expansions for the three triple Srivastava hypergeometric functions in terms of F34 hypergeometric and Kampé de Fériet functions.


---

## Body

## 1. Introduction

The concept of decomposition formulas for multiple hypergeometric functions is well known from the articles by Hasanov et al. [1] and Bin-Saad [2]. This paper follows the first one by using q-analogues of 15 symbolic operator formulas.The paper is organized as follows. In Section2, we give the basic definitions and introduce a new inverse q-analogue of the Burchnall-Chaundy operators for an arbitrary number of variables, together with an explicit summation formula for one of these; the proof uses a q-Lauricella function summation formula. In Section 3, we express the three triple Srivastava q-hypergeometric functions in terms of these operators and q-hypergeometric and q-Appell functions.Finally, we find 10 expansions for these tripleq-hypergeometric functions. The proofs show a certain symmetry, which is explained in detail in the last section.


## 2. Definitions

We start by defining the umbral notation [3], a mixture of Heine 1846 and [4].Definition 1.
The power function is defined byqa≡ealog(q). We always assume that 0<q<1. Let δ>0 be an arbitrary small number. We will use the following branch of the logarithm: -π+δ<Im⁡(log⁡q)≤π+δ. This defines a simply connected space in the complex plane.
The variablesa,b,c,…∈C denote certain parameters. The variables i, j, k, l, m, n will denote natural numbers except for certain cases where it will be clear from the context that i will denote the imaginary unit. The q-shifted factorial is given by
(1)〈a;q〉n≡∏m=0n-1‍(1-qa+m);(a;q)n≡∏m=0n-1‍(1-aqm).
Since products of q-shifted factorials occur so often, to simplify them, we will frequently use the more compact notation:
(2)〈a1,…,am;q〉n≡∏j=1m‍〈aj;q〉n.
The operator
(3):~CZ⟼CZ
is defined by
(4)a⟼a+πillog⁡q.
By (4), it follows that
(5)〈a;q〉n~=∏m=0n-1‍(1+qa+m).
Assume that (m,l)=1; that is, m and l relatively prime. The operator
(6)ml~:CZ⟼CZ
is defined by
(7)a⟼a+2πimllog⁡q.
Furthermore,(8)(a;q)∞=∏m=0∞‍(1-aqm),0<|q|<1,(a;q)α≡(a;q)∞(aqα;q)∞,a≠q-m-α,m=0,1,….
The q-gamma function is given by
(9)Γq(z)≡〈1;q〉∞〈z;q〉∞(1-q)1-z,0<|q|<1.
To save space, the following notation for quotients of Γq functions will often be used:
(10)Γq[a1,…,apb1,…,br]≡Γq(a1)⋯Γq(ap)Γq(b1)⋯Γq(br).
On the ring of polynomials C[x], we define the functions ϵi:C[x]↦C[x] by
(11)[ϵi]f(xi)≡f(qxi).
The following notation is often used when we have long exponents:
(12)QE(x)≡qx.
The following notation will sometimes be used:
(13)a^≡a∨a~∨am/n~.Definition 2.
Generalizing Heine’s series, we will define aq-hypergeometric series by
(14)ϕp+p′r+r′[a^1,…,a^p∏ifi(k)|q;z∥b^1,…,b^1∏igi(k)]≡∑k=0∞〈a^1;q〉k⋯〈a^p;q〉k〈1,b^1;q〉k⋯〈b^r;q〉k[(-1)kq(k2)]1+r+r′-p-p′×zk∏ifi(k)∏igi(k).
We assume that thefi(k) and gj(k) contain p′ and r′ factors of the form 〈a(k)^;q〉k or (s(k);q)k, respectively. The notation ∑m→‍ denotes a multiple summation with the indices m1,…,mn running over all nonnegative integer values. In this connection, we put m≡∑j=1n‍mj.Definition 3.
The vectors(15)(a),(b),(gi),(hi),(a′),(b′),(gi′),(hi′)
have dimensions
(16)A,B,G,H,A′,B′,G′,H′.
Let
(17)1+B+B′+H+H′-A-A′-G-G′≥0.
Then, the generalized q-Kampé de Fériet function is defined by
(18)ΦB+B′:H+H′A+A′:G+G′[(a^):(g^1);…;(g^n)(a′):(g1′);…;(gn′)|q→;x→∥(b^):(h^1);…;(h^n)(b′):(h1′);…;(hn′)]≡∑m→(〈(a^);q0〉m(a′)(q0,m)∏j=1n〈(g^j);qj〉mj00000000×((gj′)(qj,mj)xjmj)∏j=1n)×(∏j=1n〈(b^);q0〉m(b′)(q0,m)×∏j=1n(〈(h^j);qj〉mj(hj′)(qj,mj)〈1;qj〉mj))-1×(-1)∑j=1nmj(1+H+H′-G-G′+B+B′-A-A′)×QE((B+B′-A-A′)(m2),q0)×∏j=1n‍QE((1+H+H′-G-G′)(mj2),qj).
It is assumed that there are no zero factors in the denominator. We assume that
(19)(a′)(q0,m),(gj′)(qj,mj),(b′)(q0,m),(hj′)(qj,mj)
contain factors of the form 〈a^(k);q〉k, (s;q)k,(s(k);q)k, or QE(f(m→)). In the rest of the paper, we write 〈a;q〉m instead of 〈a^;q〉m.Definition 4.
The fourq-Appell functions are given by
(20)Φ1(a;b,b′;c∣q;x1,x2)≡∑m1,m2=0∞‍〈a;q〉m1+m2〈b;q〉m1〈b′;q〉m2〈1;q〉m1〈1;q〉m2〈c;q〉m1+m2x1m1x2m20000000000000000000000000max⁡(|x1|,|x2|)<1,Φ2(a;b,b′;c,c′∣q;x1,x2)≡∑m1,m2=0∞‍〈a;q〉m1+m2〈b;q〉m1〈b′;q〉m2〈1;q〉m1〈1;q〉m2〈c;q〉m1〈c′;q〉m2x1m1x2m2,000000000000000000000000000000|x1|+|x2|<1,Φ3(a,a′;b,b′;c∣q;x1,x2)≡∑m1,m2=0∞‍〈a;q〉m1〈a′;q〉m2〈b;q〉m1〈b′;q〉m2〈1;q〉m1〈1;q〉m2〈c;q〉m1+m2x1m1x2m2,000000000000000000000000000max⁡(|x1|,|x2|)<1,Φ4(a;b;c,c′∣q;x1,x2)≡∑m1,m2=0∞‍〈a;q〉m1+m2〈b;q〉m1+m2〈1;q〉m1〈1;q〉m2〈c;q〉m1〈c′;q〉m2x1m1x2m2,000000000000000000000000000|x1|+|x2|<1.
The q-analogues of the Srivastava triple hypergeometric functions are
(21)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)≡∑m,n,p=0∞‍〈a;q〉m+p〈b1;q〉m+n〈b2;q〉n+p〈1,c1;q〉m〈1;q〉n〈1;q〉p〈c2;q〉n+px1mx2nx3p,HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)≡∑m,n,p=0∞‍〈a;q〉m+p〈b1;q〉m+n〈b2;q〉n+p〈1,c1;q〉m〈1,c2;q〉n〈1,c3;q〉px1mx2nx3p,HC(a,b1,b2;c∣q;x1,x2,x3)≡∑m,n,p=0∞‍〈a;q〉m+p〈b1;q〉m+n〈b2;q〉n+p〈1;q〉m〈1;q〉n〈1;q〉p〈c;q〉m+n+px1mx2nx3p.Definition 5.
In the spirit of Burchnall and Chaundy [5], the following inverse pair of symbolic operators was introduced in [3]; compare Jackson [6]. Let
(22)θq,j≡xjDq,xj.
Then,
(23)∇x1,x2;q(h)≡Γq[h,h+θq,1+θq,2h+θq,1,h+θq,2],Δx1,x2;q(h)≡Γq[h+θq,1,h+θq,2h+θq,1+θq,2,h].
We limit our considerations to the case h≠-n.
Then, one has(24)∇x1,x2;q(h)〈h;q〉m〈h;q〉nx1mx2n=〈h;q〉m+nx1mx2n,∇x1,x2;q(h)=∑r=0∞‍〈-θq,1,-θq,2;q〉r〈1,h;q〉rqrhϵ1rϵ2r.
Similarly, we obtain
(25)Δx1,x2;q(h)=∑r=0∞‍〈-θq,1,-θq,2;q〉r〈1,1-h-θq,1-θq,2;q〉rqr,Δx1,x2;q(h)=∑r=0∞‍(-1)r〈-θq,1,-θq,2;q〉r〈h;q〉2r〈1,h+r-1,h+θq,1,h+θq,2;q〉rq(r2)+rhϵ1rϵ2r,∇x1,x2;q(h)Δx1,x2;q(k)=∑r=0∞‍〈-θq,1,-θq,2,k-h;q〉r〈k;q〉2r〈1,h,k+r-1,k+θq,1,k+θq,2;q〉rqrhϵ1rϵ2r.Definition 6.
Introduce the inverse pair of operators(26)Δ~x1;x2x3;q(h)1〈h;q〉m〈h;q〉n+px1mx2nx3p≡1〈h;q〉m+n+px1mx2nx3p,(27)∇~x1;x2x3;q(h)1〈h;q〉m+n+px1mx2nx3p≡1〈h;q〉m〈h;q〉n+px1mx2nx3p.
A general operator of the type (27) is given by
(28)∇~x1;x2⋯xr;q(h)≡Γq[h,h+θq,1+⋯+θq,rh+θq,1,h+θq,2+⋯+θq,r].
We have the following summation formula for the operator∇~x1;x2⋯xr;q(h):
(29)∇~x1;x2⋯xr;q(h)=∑m2,…,mr=0∞‍〈-θq,1;q〉m〈-θq,2;q〉m2⋯〈-θq,r;q〉mr〈h;q〉m〈1;q〉m2⋯〈1;q〉mrqhmϵmϵ2-m3(ϵ2ϵ3)-m4⋯(ϵϵ1-1ϵr-1)-mr,
where
(30)m≡m2+⋯+mr,ϵ≡ϵ1⋯ϵr.
This follows from the summation formula
(31)ΦD(n)=(b,-k1,…,-kn;c∣q;qc-b+K,qc-b+K-k1,…,qc-b+kn)=〈c-b;q〉K〈c;q〉K,K≡∑i=1n‍ki,
where the fourth q-Lauricella function is given by
(32)ΦD(n)(a,b1,…,bn;c∣q;x1,…,xn)≡∑m→‍〈a;q〉m∏j=1n〈bj;q〉mjxjmj〈c;q〉m∏j=1n〈1;q〉mj,00000000000max⁡(|x|,…,|xn|)<1.


## 3. Computations

The proofs of the following 15 formulas are straightforward from the definitions.Theorem 7 (q-analogues of [1, pp. 959-960]).
Consider(33)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)2ϕ1(a,b1;c1∣q;x1)×Φ1(b2;b1,a;c2∣q;x2,x3),(34)HB(a,b1,b2;c1,c,c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2,x3;q(c)×ϕ21(a,b1;c1∣q;x1)×Φ1(b2;b1,a;c∣q;x2,x3),(35)HC(a,b1,b2;c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇~x1;x2x3;q(c)×ϕ21(a,b1;c∣q;x1)×Φ1(b2;b1,a;c∣q;x2,x3),(36)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)Δx2,x3;q(c2)×ϕ21(a,b1;c1∣q;x1)Φ2(b2;b1,a;c2,c2∣q;x2,x3).(37)HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)2ϕ1(a,b1;c1∣q;x1)×Φ2(b2;b1,a;c2,c3∣q;x2,x3),(38)HC(a,b1,b2;c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)Δx2,x3;q(c)Δ~x1;x2x3;q(c)×ϕ12(a,b1;c∣q;x1)Φ2(b2;b1,a;c,c∣q;x2,x3),(39)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2,x3;q(b2)×ϕ12(a,b1;c1∣q;x1)Φ3(b1,b2;b2,a;c2∣q;x2,x3),(40)HB(a,b1,b2;c1,c,c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2,x3;q(b2)∇x2,x3;q(c)×ϕ12(a,b1;c1∣q;x1)Φ3(b2,a;b1,b2;c∣q;x2,x3),(41)HC(a,b1,b2;c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2,x3;q(b2)Δ~x1;x2x3;q(c)×ϕ12(a,b1;c∣q;x1)Φ3(b2,b2;b1,a;c∣q;x2,x3),(42)HA(a,a,b2;c1,c2∣q;x1,x2,x3)=∇x1,x2;q(a)∇x1,x3;q(a)Δx2,x3;q(a)Δx2,x3;q(c2)×ϕ12(a,a;c1∣q;x1)Φ4(a;b2;c2,c2q;x2,x3),(43)HB(a,a,b2;c1,c2,c3∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(a)Δx2,x3;q(a)×ϕ12(a,a;c1∣q;x1)Φ4(a;b2;c2,c3∣q;x2,x3),(44)HC(a,a,b2;c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(a)Δx2,x3;q(a)Δx2,x3;q(c)Δ~x1;x2x3;q(c)×ϕ12(a,a;c∣q;x1)Φ4(a;b2;c,c∣q;x2,x3),(45)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2x3;q(b2)Δx2,x3;q(c2)×ϕ12(a,b1;c1∣q;x1)ϕ12(b1,b2;c2∣q;x2)×ϕ12(a,b2;c2∣q;x3),(46)HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2,x3;q(b2)×ϕ12(a,b1;c1∣q;x1)ϕ12(b1,b2;c2∣q;x2)×ϕ12(a,b2;c3∣q;x3),(47)HC(a,b1,b2;c∣q;x1,x2,x3)=∇x1,x3;q(a)∇x1,x2;q(b1)∇x2,x3;q(b2)Δx2,x3;q(c)×Δ~x1;x2x3;q(c)ϕ12(a,b1;c∣q;x1)ϕ12(b1,b2;c∣q;x2)×ϕ12(a,b2;c∣q;x3).Remark 8.
We note that there are3×5=15 equations and HA, HB, and HC always follow after each other five times. The operator ∇~x1;x2x3;q always follows after HC. The slightly more involved proofs of formulas (42) to (44) are somehow connected. The formulas are symmetrically ordered (in triples to the far right) according to the scheme Φ1, Φ2, Φ3, Φ4, ϕ12. We have corrected a slight error in formula [1, p. 959 (3.6)].
We will now present 10q-analogues of the improved versions of [1, pp. 960–962]. The proofs are quite similar; in each case, we obtain a 2-, 3-, or 4-sum (denoted by the letters i, j, k, l), followed by a three-sum mnp, which denotes a q-hypergeometric function times a q-Appell function. The most difficult part in each proof is the variable transformation which takes place at the step denoted by. If we denote the variables at this stage by i, j, k, l, r, m, n, p (the old summation indices) and i′, j′, k′, l′, r′, m′, n′, p′ (the new summation indices), we have to find a symmetric variable transformation with nonzero determinant. The two first transformations take the forms:
(48)m=i′+j′+m′,n=j′+n′,p=j′+p′,00000000000000000000000000000i=i′,j=j′,m=i′+j′+m′,n=j′+k′+n′,p=i′+k′+p′,00000000000000000000000000000i=i′,j=j′,k=k′.
Throughout, we use the following abbreviations:
(49)XM≡x1mx2nx3p,C2≡c2+k,(50)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ij‍〈1,a,b1,b2;q〉i+j〈1.1;q〉i〈c1,c2;q〉i+j〈1,1;q〉j×x1i+jx2jx3iqi(a+i-1)+j(b1+j-1)〈1,b1;q〉i+k〈1;q〉i-k〈1;q〉n〈1;q〉p×ϕ34[a+i+j,b1+i+j,1+i+j,11+i,1+j,c1+i+j∣q;x1]×Φ1(b2+i+j;b1+j,a+i;c2+i+j∣q;x2,x3).Proof.
Use formula (33). The computation goes as follows:
(51)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijmnp‍〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)〈1,a;q〉i〈1,b1;q〉j×XM〈a,b1;q〉m〈b2;q〉n+p〈b1;q〉n〈a;q〉p〈1,c1;q〉m〈c2;q〉n+p〈1;q〉n〈1;q〉p=∑ijmnp‍qi(a+i-1)+j(b1+j-1)〈1;q〉m-i〈1,a;q〉i〈1;q〉m-j〈1;q〉p-i〈1,b1;q〉j×XM〈1,a,b1;q〉m〈b2;q〉n+p〈b1;q〉n〈a;q〉p〈1;q〉n-j〈c1;q〉m〈c2;q〉n+p=★∑ijmnp‍(〈1,a,b1;q〉m+i+j〈a;q〉i+p〈b1;q〉j+n×〈b2;q〉i+j+n+px1m+i+jx2j+nx3i+p)×(〈1;q〉m+i〈1;q〉p〈1,a;q〉i〈1,b1;q〉j〈1;q〉m+j)-1×qi(a+i-1)+j(b1+j-1)〈1;q〉n〈c2;q〉i+j+n+p〈c1;q〉m+i+j=RHS.The limit casex3=0 in (50) leads to (75). Consider (52)HB(a,b1,b2;c1,c,c∣q;x1,x2,x3)=∑ijk‍〈1,a,b1;q〉i+j〈b2;q〉i+j+2kQE(j(b1+j-1))×qi(a+i-1)+k(c+k-1)x1i+jx2j+kx3i+k〈1,a;q〉i+k〈1,b1;q〉j+k〈1,1,1,b1;q〉j〈1,1,1,a;q〉i〈1,1,1,c;q〉k〈c1;q〉i+j〈c;q〉i+j+2k×ϕ34[1,a+i+j,b1+i+j,1+i+j1+j,c1+i+j,1+i∣q;x1]×Φ1:21:3[b2+i+j+2k:1,b1+j+k,1+j+k;1,a+i+k,1+i+kc+i+j+2k:1+k,1+j;1+k,1+i∣q;x2,x3]Proof.
Use formula (34). The very symmetric computation goes as follows: (53)HB(a,b1,b2;c1,c,c∣q;x1,x2,x3)=∑ijkmnp‍〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)〈-n,-p;q〉kqk(c+n+p)〈1,a;q〉i〈1,b1;q〉j〈1,c;q〉k×XM〈a,b1;q〉m〈b2;q〉n+p〈b1;q〉n〈a;q〉p〈1,c1;q〉m〈c;q〉n+p〈1;q〉n〈1;q〉p=∑ijkmnp‍qi(a+i-1)+j(b1+j-1)+k(c+k-1)〈1;q〉m-i〈1,a;q〉i〈1;q〉m-j〈1;q〉p-i〈1;q〉p-k〈1,b1;q〉j〈1,c;q〉k×XM〈1,a,b1;q〉m〈b2;q〉n+p〈1,b1;q〉n〈1,a;q〉p〈1;q〉n-j〈1;q〉n-k〈c1;q〉m〈c;q〉n+p=★∑ijkmnp‍〈1,a,b1;q〉i+j+m〈1,a;q〉i+k+p〈1,b1;q〉j+k+n〈b2;q〉i+j+2k+n+px1i+j+m〈1;q〉m+j〈1;q〉m+i〈1;q〉k+p〈1;q〉i+p〈1,a;q〉i〈1,b1;q〉j〈1,c;q〉k〈1;q〉j+n×x2j+n+kx3i+k+pqi(a+i-1)+j(b1+j-1)+k(c+k-1)〈1;q〉k+n〈c;q〉i+j+2k+n+p〈c1;q〉i+j+m=RHS.The limit casex1=0 in (52) leads to (76). Consider(54)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijkqi(a+i-1)+j(b1+j-1)〈1,a,b1;q〉i+jx1i+jx2k+jx3i+kq(3/2)(k2-k)+kc2〈C2;q〉j+k〈C2;q〉i+k×〈1,b1;q〉k+j〈b2;q〉i+j+2k(-1)k〈c2;q〉2k〈1,a;q〉i+k〈1+i+k,a+i+k;q〉p〈1,1,1,a;q〉i〈1,1,1,b1;q〉j〈c1;q〉i+j〈1,1,1,C2-1,c2,c2;q〉k×ϕ34[1,1+i+j,a+i+j,b1+i+j1+i,1+j,c1+i+j∣q;x1]×Φ1:31:4[b2+i+j+2k:1,1+k+j,b1+k+j,∞;1,1+i+k,a+i+k,∞∞:c2+j+2k,1+k,1+j;c2+i+2k,1+i,1+k∣q;x2,x3].Proof.
Use formula (36). The computation goes as follows: (55)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijkmnp〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)(-1)k〈-n,-p;q〉k〈c2;q〉2k〈1,a;q〉i〈1,b1;q〉j〈1,C2-1,c2+n,c2+p;q〉k‍×XM〈a,b1;q〉m〈b2;q〉n+p〈b1;q〉n〈a;q〉p〈1,c1;q〉m〈1,c2;q〉n〈1,c2;q〉pq(k2)+k(c2+n+p)=∑ijkmnp〈1,a,b1;q〉mqi(a+i-1)+j(b1+j-1)〈1,a;q〉p(-1)k〈c2;q〉2k〈1;q〉m-i〈1;q〉m-j〈1,a;q〉i〈1,b1;q〉j〈1;q〉p-i‍×XM〈b2;q〉n+p〈1,b1;q〉nq(3/2)(k2-k)+kc2〈1;q〉n-j〈1;q〉n-k〈c1;q〉m〈C2;q〉n〈C2;q〉p〈1;q〉p-k〈1,C2-1,c2,c2;q〉k=★∑ijkmnpqi(a+i-1)+j(b1+j-1)〈1,a,b1;q〉m+i+jx1m+i+jx2n+k+jx3p+i+kq(3/2)(k2-k)+kc2〈1,C2-1,c2,c2;q〉k〈C2;q〉n+j+k〈C2;q〉p+i+k〈1,a;q〉i〈1,b1;q〉j‍×(-1)k〈c2;q〉2k〈b2;q〉n+p+i+j+2k〈1,a;q〉p+i+k〈1,b1;q〉n+k+j〈1;q〉m+j〈1;q〉m+i〈1;q〉p+k〈1;q〉p+i〈1;q〉n+k〈1;q〉n+j〈c1;q〉m+i+j=RHS,(56)HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)=∑ij‍〈1,a,b1,b2;q〉i+j〈1,1,c3;q〉i〈c1;q〉i+j〈1,1,c2;q〉j×x1i+jx2jx3iqi(a+i-1)+j(b1+j-1)4ϕ3[a+i+j,b1+i+j,1+i+j,11+i,1+j,c1+i+j∣q;x1]×Φ1:11:2[b2+i+j:b1+j,∞;a+i,∞∞:c2+j;c3+i∣q;x2,x3].Proof.
Use formula (37). The computation goes as follows: (57)HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)=∑ijmnp‍〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)〈1,a;q〉i〈1,b1;q〉jXM〈a,b1;q〉m〈b2;q〉n+p〈b1;q〉n〈a;q〉p〈1,c1;q〉m〈1,c2;q〉n〈1,c3;q〉p=∑ijmnp‍〈1,a,b1;q〉m〈b2;q〉n+p〈b1;q〉n〈a;q〉pqi(a+i-1)+j(b1+j-1)XM〈1;q〉m-i〈1,a;q〉i〈1;q〉m-j〈1;q〉p-i〈1,b1;q〉j〈1;q〉n-j〈c1;q〉m〈c2;q〉n〈c3;q〉p=★∑ijmnp‍〈1,a,b1;q〉m+i+j〈a;q〉i+p〈b1;q〉j+n〈b2;q〉i+j+n+px1m+i+jx2j+nx3i+p〈1;q〉m+i〈1;q〉m+j〈1;q〉p〈1,a;q〉i〈1,b1;q〉j〈1;q〉nqi(a+i-1)+j(b1+j-1)〈c1;q〉m+i+j〈c2;q〉n+j〈c3;q〉p+i=RHS.The limit casex3=0 in (56) leads to (75). Consider(58)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijk‍〈1,a,b1;q〉i+j〈c1;q〉i+jx1i+jx2j+kx3i+k×qi(a+i-1)+k(b2+k-1)+j(b1+j-1)〈1,a,b2;q〉i+k〈1,b1,b2;q〉j+k〈1,1,1,b1;q〉j〈1,1,1,a;q〉i〈1,1,1,b2;q〉k〈c2;q〉i+j+2k×ϕ43[1,a+i+j,b1+i+j,1+i+j1+j,c1+i+j,1+i∣q;x1]×Φ1:31:4[∞:1,b1+j+k,1+j+k,b2+j+k;1,a+i+k,1+i+k,b2+i+kc2+i+j+2k:∞,1+k,1+j;∞,1+i,1+k∣q;x2,x3].Proof.
Use formula (39). The computation goes as follows: (59)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijkmnp〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)〈-n,-p;q〉kqk(b2+n+p)〈1,a;q〉i〈1,b1;q〉j〈1,b2;q〉k‍×XM〈a,b1;q〉m〈b1,b2;q〉n〈a,b2;q〉p〈1,c1;q〉m〈c2;q〉n+p〈1;q〉n〈1;q〉p=∑ijkmnpqi(a+i-1)+j(b1+j-1)+k(b2+k-1)〈1;q〉m-i〈1,a;q〉i〈1;q〉m-j〈1;q〉p-i〈1;q〉p-k〈1,b1;q〉j〈1,b2;q〉k‍×XM〈1,a,b1;q〉m〈1,b1,b2;q〉n〈1,a,b2;q〉p〈1;q〉n-j〈1;q〉n-k〈c1;q〉m〈c2;q〉n+p=★∑ijkmnp〈1,a,b1;q〉i+j+m〈1,a,b2;q〉i+k+p〈1,b1,b2;q〉j+k+nx1i+j+m〈1;q〉m+j〈1;q〉m+i〈1;q〉k+p〈1;q〉i+p〈1,a;q〉i〈1,b1;q〉j〈1,b2;q〉k‍×x2j+n+kx3i+k+pqi(a+i-1)+j(b1+j-1)+k(b2+k-1)〈1;q〉j+n〈1;q〉k+n〈c2;q〉i+j+2k+n+p〈c1;q〉i+j+m=RHS.Put(60)α≡(1,1+j+k+l,1+j+k+l,b1+j+k+l,b2+j+k+l);α≡(1,1+i+k+l,1+i+k+l,a+i+k+l,b2+i+k+l)β≡(1+j+k,1+k+l,1+j+l,∞);β≡(1+k+l,1+i+l,1+i+k,∞).Then,(61)HB(a,b1,b2;c1,c,c∣q;x1,x2,x3)=∑ijkl〈1,a,b1;q〉i+jqj(b1+j-1)+l(c+l-1)〈1,1;q〉k+l〈1;q〉i+l〈1;q〉j+l〈1;q〉j+k〈1;q〉i+k〈1,c;q〉l‍×qi(a+i-1)+k(b2+k-1)x1i+jx2j+k+lx3i+k+l〈1,1,a,b2;q〉i+k+l〈1,1,b1,b2;q〉j+k+l〈1,1,b1;q〉j〈1,1,a;q〉i〈1,b2;q〉k〈c1;q〉i+j〈c;q〉i+j+2k+2l×ϕ43[1,a+i+j,b1+i+j,1+i+j1+j,c1+i+j,1+i∣q;x1]×Φ1:41:5[∞:αc+i+j+2k+2l:β∣q;x2,x3].Proof.
Use formula (40). The computation goes as follows:(62)
H
B
(
a
,
b
1
,
b
2
;
c
1
,
c
,
c
∣
q
;
x
1
,
x
2
,
x
3
)
=
∑
i
j
k
l
m
n
p
〈
-
m
,
-
p
;
q
〉
i
q
i
(
a
+
m
+
p
)
〈
-
m
,
-
n
;
q
〉
j
q
j
(
b
1
+
m
+
n
)
〈
-
n
,
-
p
;
q
〉
k
〈
1
,
a
;
q
〉
i
〈
1
,
b
1
;
q
〉
j
〈
1
,
b
2
;
q
〉
k
〈
1
,
c
;
q
〉
l
‍
×
X
M
〈
a
,
b
1
;
q
〉
m
〈
b
1
,
b
2
;
q
〉
n
〈
a
,
b
2
;
q
〉
p
〈
-
n
,
-
p
;
q
〉
l
q
k
(
b
2
+
n
+
p
)
+
l
(
c
+
n
+
p
)
〈
1
,
c
1
;
q
〉
m
〈
c
;
q
〉
n
+
p
〈
1
;
q
〉
n
〈
1
;
q
〉
p
=
∑
i
j
k
l
m
n
p
〈
1
,
a
,
b
1
;
q
〉
m
q
i
(
a
+
i
-
1
)
+
j
(
b
1
+
j
-
1
)
+
k
(
b
2
+
k
-
1
)
+
l
(
c
+
l
-
1
)
〈
1
;
q
〉
m
-
i
〈
1
,
a
;
q
〉
i
〈
1
;
q
〉
m
-
j
〈
1
;
q
〉
p
-
i
〈
1
;
q
〉
p
-
k
〈
1
,
b
1
;
q
〉
j
〈
1
,
b
2
;
q
〉
k
‍
×
X
M
〈
1,1
,
b
1
,
b
2
;
q
〉
n
〈
1,1
,
a
,
b
2
;
q
〉
p
〈
1
;
q
〉
n
-
j
〈
1
;
q
〉
n
-
k
〈
1
;
q
〉
n
-
l
〈
1
;
q
〉
p
-
l
〈
c
1
;
q
〉
m
〈
c
;
q
〉
n
+
p
〈
1
,
c
;
q
〉
l
=
★
∑
i
j
k
l
m
n
p
〈
1
,
a
,
b
1
;
q
〉
i
+
j
+
m
〈
1,1
,
a
,
b
2
;
q
〉
i
+
k
+
l
+
p
〈
1,1
,
b
1
,
b
2
;
q
〉
j
+
k
+
l
+
n
〈
1
;
q
〉
m
+
j
〈
1
;
q
〉
m
+
i
〈
1
;
q
〉
k
+
l
+
p
〈
1
;
q
〉
i
+
l
+
p
〈
1
;
q
〉
i
+
k
+
p
〈
1
,
a
;
q
〉
i
〈
1
,
b
1
;
q
〉
j
〈
1
,
b
2
;
q
〉
k
‍
×
x
1
i
+
j
+
m
x
2
j
+
k
+
l
+
n
x
3
i
+
k
+
l
+
p
q
i
(
a
+
i
-
1
)
+
j
(
b
1
+
j
-
1
)
+
k
(
b
2
+
k
-
1
)
+
l
(
c
+
l
-
1
)
〈
1
;
q
〉
j
+
k
+
n
〈
1
;
q
〉
k
+
l
+
n
〈
c
1
;
q
〉
i
+
j
+
m
〈
c
;
q
〉
i
+
j
+
2
k
+
2
l
+
n
+
p
〈
1
,
c
;
q
〉
l
〈
1
;
q
〉
j
+
l
+
n
=
RHS
.Put(63)α≡(1,1+j+k+l,1+j+k+l,a+j+k+l,∞,∞);α≡(1,1+i+k+l,1+i+k+l,a+i+k+l,∞,∞),β≡(1+l+k,1+j+l,1+j+k,C2α≡=+j+k+l,a+j+k+2l);α≡(1+k+l,1+i+k,1+i+l,C2α≡=+i+k+l,a+i+k+2l).Then,(64)
H
A
(
a
,
a
,
b
2
;
c
1
,
c
2
∣
q
;
x
1
,
x
2
,
x
3
)
=
∑
i
j
k
l
q
i
(
a
+
i
-
1
)
+
j
(
a
+
j
-
1
)
+
(
3
/
2
)
(
k
2
-
k
)
+
k
c
2
+
(
3
/
2
)
(
l
2
-
l
)
+
l
a
〈
1
,
a
,
a
;
q
〉
i
+
j
x
1
i
+
j
x
2
k
+
j
+
l
x
3
i
+
k
+
l
〈
C
2
;
q
〉
j
+
k
+
l
〈
C
2
;
q
〉
i
+
k
+
l
〈
1,1
,
a
;
q
〉
i
〈
1,1
,
a
;
q
〉
j
〈
1
;
q
〉
j
+
l
〈
1
;
q
〉
j
+
k
‍
×
〈
a
,
b
2
;
q
〉
i
+
j
+
2
k
+
2
l
(
-
1
)
k
+
l
〈
c
2
;
q
〉
2
k
〈
a
;
q
〉
2
l
〈
1,1
;
q
〉
k
+
l
〈
1
;
q
〉
i
+
k
〈
1
;
q
〉
i
+
l
〈
c
1
;
q
〉
i
+
j
〈
1
,
C
2
-
1
,
c
2
,
c
2
;
q
〉
k
〈
1
,
a
+
l
-
1
,
a
,
a
;
q
〉
l
×
〈
1,1
,
a
;
q
〉
j
+
k
+
l
〈
1,1
,
a
;
q
〉
i
+
k
+
l
〈
a
+
l
;
q
〉
j
+
k
+
l
〈
a
+
l
;
q
〉
i
+
k
+
l
ϕ
4
3
[
1,1
+
i
+
j
,
a
+
i
+
j
,
a
+
i
+
j
1
+
i
,
1
+
j
,
c
1
+
i
+
j
∣
q
;
x
1
]
×
Φ
2
:
5
2
:
6
[
a
+
i
+
j
+
2
k
+
2
l
,
b
2
+
i
+
j
+
2
k
+
2
l
:
α
∞
,
∞
:
β
∣
q
;
x
2
,
x
3
]
.Proof.
Use formula (42). The computation goes as follows:(65)HA(a,a,b2;c1,c2∣q;x1,x2,x3)=∑ijklmnpXM〈-m,-p;q〉i〈-m,-n;q〉jqj(a+m+n)(-1)k+l〈-n,-p;q〉k〈-n,-p;q〉l〈1,a;q〉j〈1,C2-1,c2+n,c2+p;q〉k〈1,a+l-1,a+n,a+p;q〉l‍×〈a,a;q〉m〈a,b2;q〉n+p〈a;q〉2l〈c2;q〉2kq(k2)+i(a+m+p)+k(c2+n+p)+(l2)+l(a+n+p)〈1,a;q〉i〈1,c1;q〉m〈1,c2;q〉n〈1,c2;q〉p=∑ijklmnp〈1,a,a;q〉mqi(a+i-1)+j(a+j-1)〈1,1,a;q〉n〈1,1,a;q〉p(-1)k+l〈c2;q〉2k〈a;q〉2l〈1;q〉m-i〈1;q〉m-j〈1,a;q〉i〈1,a;q〉j〈1;q〉p-i〈1,a+l-1,a,a;q〉l‍×XM〈a,b2;q〉n+pq(3/2)(k2-k)+kc2+(3/2)(l2-l)+la〈1;q〉n-j〈1;q〉n-k〈1;q〉n-l〈c1;q〉m〈a+l,C2;q〉n〈a+l,C2;q〉p×1〈1;q〉p-k〈1;q〉p-l〈1,C2-1,c2,c2;q〉k=★∑ijklmnpx1m+i+jx2n+j+k+lx3p+i+k+lqi(a+i-1)+j(a+j-1)+(3/2)(k2-k)+kc2+(3/2)(l2-l)+la〈1;q〉p+k+l〈1;q〉p+i+k〈1,a;q〉i〈1,a;q〉j‍×〈1,a,a;q〉m+i+j〈a,b2;q〉n+p+i+j+2k+2l〈a;q〉2l〈1;q〉p+i+l〈1;q〉n+l+k〈1;q〉m+j〈1;q〉m+i〈1;q〉n+j+l〈c1;q〉m+i+j〈a+l,C2;q〉n+j+k+l×〈1,1,a;q〉n+j+k+l〈1,1,a;q〉p+i+k+l(-1)k+l〈c2;q〉2k〈1;q〉n+j+k〈1,C2-1,c2,c2;q〉k〈1,a+l-1,a,a;q〉l〈a+l,C2;q〉p+i+k+l=RHS.Put(66)α≡(1,1+k+j,a+k+j,∞,∞);α≡(1,1+i+k,a+i+k,∞,∞),β≡(a+j+2k,c2+j+k,1+k,1+j);α≡(a+i+2k,c3+i+k,1+i,1+k).Then,(67)HB(a,a,b2;c1,c2,c3∣q;x1,x2,x3)=∑ijkqi(a+i-1)+j(a+j-1)〈1,a,a;q〉i+jx1i+jx2k+jx3i+kq(3/2)(k2-k)+ka〈a+k;q〉j+k〈a+k;q〉i+k〈c2;q〉k+j〈c3;q〉i+k‍×〈1,a;q〉k+j〈a,b2;q〉i+j+2k(-1)k〈a;q〉2k〈1,a;q〉i+k〈1+i+k,a+i+k;q〉p〈1,1,1,a;q〉i〈1,1,1,a;q〉j〈c1;q〉i+j〈1,1,a+k-1,a,a;q〉k×ϕ43[1,1+i+j,a+i+j,a+i+j1+i,1+j,c1+i+j∣q;x1]×Φ2:42:5[a+i+j+2k,b2+i+j+2k:α∞,∞:β∣q;x2,x3].Proof.
Use formula (43). The computation goes as follows: (68)HB(a,a,b2;c1,c2,c3∣q;x1,x2,x3)=∑ijkmnp〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(a+m+n)(-1)k〈-n,-p;q〉k〈a;q〉2k〈1,a;q〉i〈1,a;q〉j〈1,a+k-1,a+n,a+p;q〉k×XM〈a,a;q〉m〈a,b2;q〉n+p〈1,c1;q〉m〈1,c2;q〉n〈1,c3;q〉pq(k2)+k(a+n+p)=∑ijkmnp〈1,a,a;q〉mqi(a+i-1)+j(a+j-1)〈1,a;q〉p(-1)k〈a;q〉2k〈c2;q〉n〈c3;q〉p〈1;q〉m-i〈1;q〉m-j〈1,a;q〉i〈1,a;q〉j〈1;q〉p-i×XM〈a,b2;q〉n+p〈a,1;q〉nq(3/2)(k2-k)+ka〈1;q〉n-j〈1;q〉n-k〈c1;q〉m〈a+k;q〉n〈a+k;q〉p〈1;q〉p-k〈1,a+k-1,a,a;q〉k=★∑ijkmnpqi(a+i-1)+j(a+j-1)〈1,a,a;q〉m+i+jx1m+i+jx2n+k+jx3p+i+kq(3/2)(k2-k)+ka〈a+k,c2;q〉n+j+k〈a+k,c3;q〉p+i+k〈1,a;q〉i〈1,a;q〉j×〈a,b2;q〉n+p+i+j+2k(-1)k〈a;q〉2k〈1,a+k-1,a,a;q〉k×〈1,a;q〉n+k+j〈1,a;q〉p+k+i〈1;q〉m+j〈1;q〉m+i〈1;q〉p+k〈1;q〉p+i〈1;q〉n+k〈1;q〉n+j〈c1;q〉m+i+j=RHS.Put(69)α≡(1,1+k+j+l,1+k+j+l,b1+k+j+l,b2+k+j+l);(1,1+i+k+l,1+i+k+l,a+i+k+l,b2+i+k+l)β≡(c2+j+2k+l,1+j+k,1+k+l,1+j+l);(c2+i+2k+l,1+i+l,1+k+l,1+i+k).Then,(70)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijklqi(a+i-1)+j(b1+j-1)+l(b2+l-1)〈1,a,b1;q〉i+jx1i+jx2k+j+lx3i+k+lq(3/2)(k2-k)+kc2〈c2+k;q〉j+k+l〈c2+k;q〉i+k+l〈1,a;q〉i‍×〈1,1,b1,b2;q〉k+j+l〈1,1,a,b2;q〉i+k+l(-1)k〈c2;q〉2k〈1,a;q〉i+k〈1,b2;q〉l〈1,1,b1;q〉j〈c1;q〉i+j〈1,c2+k-1,c2,c2;q〉k×1〈1,1,a;q〉i〈1;q〉j+k〈1;q〉i+k〈1;q〉i+l〈1,1;q〉k+l〈1;q〉j+l×ϕ43[1,1+i+j,a+i+j,b1+i+j1+i,1+j,c1+i+j∣q;x1]Φ0:40:5[-:α-:β∣q;x2,x3].Proof.
Use formula (45). The computation goes as follows: (71)HA(a,b1,b2;c1,c2∣q;x1,x2,x3)=∑ijklmnp〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)(-1)k〈-n,-p;q〉k〈c2;q〉2k〈1,a;q〉i〈1,b1;q〉j〈1,c2+k-1,c2+n,c2+p;q〉k×XM〈a,b1;q〉m〈b1,b2;q〉n〈a,b2;q〉p〈1,c1;q〉m〈1,c2;q〉n〈1,c2;q〉pq(k2)+k(c2+n+p)〈-n,-p;q〉lql(b2+n+p)〈1,b2;q〉l=∑ijklmnp〈1,a,b1;q〉mqi(a+i-1)+j(b1+j-1)+l(b2+l-1)〈1,1,a,b2;q〉p(-1)k〈c2;q〉2k〈1;q〉m-i〈1;q〉m-j〈1;q〉n-j〈1;q〉n-k〈1,a;q〉i〈1,b1;q〉j〈1;q〉p-i〈1,b2;q〉l×XM〈1,1,b1,b2;q〉nq(3/2)(k2-k)+kc2〈1;q〉n-l〈1;q〉p-l〈c1;q〉m〈c2+k;q〉n〈c2+k;q〉p〈1;q〉p-k〈1,c2+k-1,c2,c2;q〉k=★∑ijklmnpqi(a+i-1)+j(b1+j-1)〈1,a,b1;q〉m+i+jx1m+i+jx2n+j+k+lx3p+i+k+lq(3/2)(k2-k)+kc2〈c2+k;q〉n+j+k+l〈c2+k;q〉p+i+k+l〈1,a;q〉i〈1,b1;q〉j‍×〈1,1,b1,b2;q〉n+k+j+l〈1;q〉n+j+k〈1;q〉p+i+k〈1,b2;q〉l〈1;q〉m+j〈1;q〉m+i〈1;q〉p+i+l〈1;q〉n+k+l〈c1;q〉m+i+j×〈1,1,a,b2;q〉p+i+k+l(-1)k〈c2;q〉2kql(b2+l-1)〈1;q〉n+j+l〈1;q〉p+k+l〈1,c2+k-1,c2,c2;q〉k=RHS.Put(72)α≡(1,b1+j+k,1+j+k,b2+j+k);(1,a+i+k,1+i+k,b2+i+k)β≡(1+k,1+j,c2+j+k);(1+k,1+i,c3+i+k).Then,(73)HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)=∑ijk〈1,a,b1;q〉i+jQE(j(b1+j-1))‍qi(a+i-1)+k(b2+k-1)x1i+jx2j+kx3i+kq〈1,a,b2;q〉i+k〈1,b1,b2;q〉j+k〈1,1,1,b1;q〉j〈1,1,1,a;q〉i〈1,1,1,b2;q〉k〈c1;q〉i+j〈c2;q〉j+k〈c3;q〉i+k×ϕ43[1,a+i+j,b1+i+j,1+i+j1+j,c1+i+j,1+i∣q;x1]Φ0:30:4[-:α-:β∣q;x2,x3].Proof.
Use formula (46). The computation goes as follows: (74)HB(a,b1,b2;c1,c2,c3∣q;x1,x2,x3)=∑ijkmnp〈-m,-p;q〉iqi(a+m+p)〈-m,-n;q〉jqj(b1+m+n)〈-n,-p;q〉kqk(b2+n+p)〈1,a;q〉i〈1,b1;q〉j〈1,b2;q〉k‍XM〈a,b1;q〉m〈b1,b2;q〉n〈a,b2;q〉p〈1,c1;q〉m〈1,c2;q〉n〈1,c3;q〉p=∑ijkmnpqi(a+i-1)+j(b1+j-1)+k(b2+k-1)〈1;q〉m-i〈1,a;q〉i〈1;q〉m-j〈1;q〉p-i〈1;q〉p-k〈1,b1;q〉j〈1,b2;q〉k‍XM〈1,a,b1;q〉m〈1,b1,b2;q〉n〈1,a,b2;q〉p〈1;q〉n-j〈1;q〉n-k〈c1;q〉m〈c2;q〉n〈c3;q〉p=★∑ijkmnp〈1,a,b1;q〉i+j+m〈1,a,b2;q〉i+k+p〈1,b1,b2;q〉j+k+nx1i+j+m〈1;q〉m+j〈1;q〉m+i〈1;q〉k+p〈1;q〉i+p〈1,a;q〉i〈1,b1;q〉j〈1,b2;q〉k〈1;q〉j+n‍×x2j+n+kx3i+k+pqi(a+i-1)+j(b1+j-1)+k(b2+k-1)〈1;q〉k+n〈c1;q〉i+j+m〈c2;q〉n+j+k〈c3;q〉p+i+k=RHS.The following two expansion formulas from [3] are special cases of our new results.Theorem 9 (aq-analogue of Burchnall, Chaundy [5, (26)]).
Consider(75)Φ2(a;b,b′;c,c′∣q;x1,x2)=∑r=0∞〈a,b,b′;q〉r〈1,c,c′;q〉rx1rx2rqr(a+r-1)×ϕ21(a+r,b+r;c+r∣q;x1)×ϕ21(a+r,b′+r;c′+r∣q;x2).Theorem 10 (aq-analogue of [5, (35)]).
Consider(76)Φ2(a;b,b′;c,c∣q;x1,x2)=∑r=0∞〈b,b′;q〉r〈a;q〉2r〈1,c;q〉r〈c;q〉2rqrc+r(r-1)x1rx2r×Φ1(a+2r;b+r,b′+r;c+2r∣q;x1,x2).


## 4. Discussion

To obtain the 10 new expansions for the three triple Srivastava hypergeometric functions in terms of4F3 hypergeometric and Kampé de Fériet functions mentioned in the abstract, let all ∞ disappear and adapt the indices for Φ accordingly. All of this is explained in detail in the book [3].We have not used the expansion formulas forHC, since all these involve the operator Δ~x1;x2x3;q, which has no simple summation formula. Expansion formulas for the first q-Lauricella function by the ∇~x1;x2x3;q operator will be given in the forthcoming paper.We notice that the three tripleq-functions have limits q-Appell functions and not q-Horn functions. The q-Horn functions will appear in another paper.Hasanov, Srivastava, and Turaev have published several other articles of this type and Bin-Saad [2] treated the four-variable case. The interested reader might consult papers by Exton on this last theme. Neither of these authors, however, used the q-operators from this paper.The convergence regions for theq-Appell functions Φ2 and Φ4 given earlier are for the case q=1. For general q, the convergence regions are much larger as has been explained at the ICNAAM Conference 2010; see also [7].


## 5. Conclusion

The expansion formulas often have a symmetric form. If a number of∞ appear up or down in the first place of the Φ-function, an equal number of ∞ always appear opposite in the two second places of the Φ-function. The sum of the number of indices of q-shifted factorials in numerator and denominator is always the same for every step in the proofs (except formula (70)). The simplest expansion is formula (50) and the most complicated one is (64). If a factor (-1) appears, it comes from the operator Δx1,x2;q. The number of variables in the exponent in this case is equal to the number of Δx1,x2;q-operators.



---

*Source: 712321-2014-05-15.xml*