Applications of the Generalized Kummer’s Summation Theorem to Transformation Formulas and Generating Functions

Open access

Abstract

In this paper, we establish two general transformation formulas for Exton’s quadruple hypergeometric functions K 5 and K 12 by application of the generalized Kummer’s summation theorem. Further, a number of generating functions for Jacobi polynomials are also derived as an applications of our main results.

Abstract

In this paper, we establish two general transformation formulas for Exton’s quadruple hypergeometric functions K5 and K12 by application of the generalized Kummer’s summation theorem. Further, a number of generating functions for Jacobi polynomials are also derived as an applications of our main results.

1 Introduction

In our present investigation, we begin by recalling the following definitions:

The Exton’s quadruple hypergeometric functions K5 and K12 [1]:

K5(a,a,a,a;b1,b1,b2,b2;c1,c2,c3,c4;x,y,z,t)=p,q,r,s=0(a)p+q+r+s(b1)p+q(b2)r+sxpyqzrts(c1)p(c2)q(c3)r(c4)sp!q!r!s!

and

K12(a,a,a,a;b1,b2,b3,b4;c1,c1,c2,c2;x,y,z,t)=p,q,r,s=0(a)p+q+r+s(b1)p(b2)q(b3)r(b4)sxpyqzrts(c1)p+q(c2)r+sp!q!r!s!,

where (a)n denotes the Pochhammer’s symbol defined by

(a)n=1,ifn=0a(a+1)(a+2)(a+n1),ifn=1,2,3,

The Exton’s triple hypergeometric functions X4 and X7 [2]:

X4(a,b;c1,c2,c3;x,y,z)=m,n,p=0(a)2m+n+p(b)n+pxmynzp(c1)m(c2)n(c3)pm!n!p!

and

X7(a,b1,b2;c1,c2;x,y,z)=m,n,p=0(a)2m+n+p(b1)n(b2)pxmynzp(c1)n+p(c2)mm!n!p!.

The Saran’s triple hypergeometric functions FE and FG [6]:

FE(a1,a1,a1,b1,b2,b2;c1,c2,c3;x,y,z)=m,n,p=0(a1)m+n+p(b1)m(b2)n+pxmynzp(c1)m(c2)n(c3)pm!n!p!

and

FG(a1,a1,a1,b1,b2,b3;c1,c2,c2;x,y,z)=m,n,p=0(a1)m+n+p(b1)m(b2)n(b3)pxmynzp(c1)m(c2)n+pm!n!p!.

The Exton’s double hypergeometric function [3]

XA:B;BC:D;D(a):(b);(b);(c):(d);(d);x,y=m,n=0((a))2m+n((b))m((b))nxmyn((c))2m+n((d))m((d))nm!n!,

where the symbol ((a))m denotes the product j=1A(aj)m.

The Jacobi polynomials Pn(α,β)(x)[5]

Pn(α,β)(x)=(1+α)nn!2F1n,1+α+β+n;1+α;1x2.

In order to obtain our main results, we require the following generalization of the classical Kummer’s summation theorem for the series 2F1(-1) due to Lavoie et al [4]

2F1a,b;1+ab+i;1=Γ(12)Γ(1+ab+i)Γ(1b)2aΓ(1b+12(i+|i|))×{AiΓ(12a+12i+12[1+i2])Γ(1+12ab+12i)+BiΓ(12a+12i[i2])Γ(12+12ab+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

where [x] denotes the greatest integer less than or equal to x and |x| denotes the usual absolute value of x. The coefficients Ai and Bi are given respectively in [4]. When i = 0, (10) reduces immediately to the classical Kummer’s theorem [5]

2F1a,b;1+ab;1=Γ(1+ab)Γ(12)2aΓ(1+12ab)Γ(12a+12).

We also require the following identities [8]:

(α)m+n=(α)m(α+m)n
m=0n=0A(n,m)=m=0n=0mA(n,mn)
(α)mn=(1)n(α)m(1αm)n,0nm
(mn)!=(1)nm!(m)n,0nm.

2 Main Results

Theorem 1. The following general transformation formulas for K5 holds true.

K5(a,a,a,a;b,b,b,b;c,c,d,d+i;x,y,z,z)=m=0n=0p=0(a)m+n+2p(b)m+n(b)2pxmynz2p(c)m(c)n(d)2pm!n!(2p)!×{Ai22pΓ(12)Γ(d+i)Γ(d+2p)Γ(d+2p+12(i+|i|))Γ(p+12i+12[1+i2])Γ(p+d+12i)+Bi22pΓ(12)Γ(d+i)Γ(d+2p)Γ(d+2p+12(i+|i|))Γ(p+12i[i2])Γ(p+d12+12i)}+m=0n=0p=0(a)m+n+2p+1(b)m+n(b)2p+1xmynz2p+1(c)m(c)n(d)2p+1m!n!(2p+1)!×{Ai22p+1Γ(12)Γ(d+i)Γ(d+2p+1)Γ(d+2p+1+12(i+|i|))Γ(p+12i[1+i2])Γ(p+12+d+12i)+Bi22p+1Γ(12)Γ(d+i)Γ(d+2p+1)Γ(d+2p+1+12(i+|i|))Γ(p12+12i[i2])Γ(p+d+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

The coefficients Aiand Bican be obtained from the tables of Ai and Bi given in [4] by taking a = -2p, b = 1 -d -2 p and the coefficients Aiand Bican be also obtained from the same tables by taking a = -2p-1, b = -d-2p.

Theorem 2. The following general transformation formulas for K12 holds true.

K12(a,a,a,a;b,b,ci,c;d,d,e,e;x,y,z,z)=m=0n=0p=0(a)m+n+2p(b)m(b)n(ci)2pxmynz2p(d)m+n(e)2pm!n!(2p)!×{Ei22pΓ(12)Γ(1+2pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p+12i+12[1+i2])Γ(1pc+12i)+Fi22pΓ(12)Γ(12pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p+12i[i2])Γ(p+12c+12i)}+m=0n=0p=0(a)m+n+2p+1(b)m(b)n(ci)2p+1xmynz2p+1(d)m+n(e)2p+1m!n!(2p+1)!×{Ei22p+1Γ(12)Γ(2pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p+12i[1+i2])Γ(p+12c+12i)+Fi22p+1Γ(12)Γ(2pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p12+12i[i2])Γ(pc+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

The coefficients Eiand Fican be obtained from the tables of Ai and Bi given in [4] by taking a = - 2p, b = c. Also the coefficients Eiand Fican be obtained from the same tables by taking a = -2p-1, b = c.

Proof. Denoting the left hand side of (16) by S, expanding K5 in a power series and using the results (12) – (15), then after simplification, we obtain

S=m=0n=0p=0(a)m+n+p(b)m+n(b)pxmynzp(c)m(c)n(d)pm!n!p!×2F1p,1dp;d+i;1

Separating into even and odd powers of z, we have

S=m=0n=0p=0(a)m+n+2p(b)m+n(b)2pxmynz2p(c)m(c)n(d)2pm!n!(2p)!2F12p,1d2p;d+i;1+m=0n=0p=0(a)m+n+2p+1(b)m+n(b)2p+1xmynz2p+1(c)m(c)n(d)2p+1m!n!(2p+1)!2F12p1,d2p;d+i;1

Now,by applying the generalized Kummer’s theorem (10) to each 2F1[-1], then after simplification, we arrive at the right hand side of (16). This completes the proof of (16). The proof of (17) is similar to that of (16) and we use here the result (2).

Remark 1. On taking x = 0 in (16) and (17), we obtain the following transformation formulas for Saran’s triple hypergeometric functions FE and FG:

Corollary 3.

FE(a,a,a;b,b,b;c,d,d+i;y,z,z)=n=0p=0(a)n+2p(b)n(b)2pynz2p(c)n(d)2pn!(2p)!×{Ai22pΓ(12)Γ(d+i)Γ(d+2p)Γ(d+2p+12(i+|i|))Γ(p+12i+12[1+i2])Γ(p+d+12i)+Bi22pΓ(12)Γ(d+i)Γ(d+2p)Γ(d+2p+12(i+|i|))Γ(p+12i[i2])Γ(p+d12+12i)}+n=0p=0(a)n+2p+1(b)n(b)2p+1ynz2p+1(c)n(d)2p+1n!(2p+1)!×{Ai22p+1Γ(12)Γ(d+i)Γ(d+2p+1)Γ(d+2p+1+12(i+|i|))Γ(p+12i[1+i2])Γ(p+12+d+12i)+Bi22p+1Γ(12)Γ(d+i)Γ(d+2p+1)Γ(d+2p+1+12(i+|i|))Γ(p12+12i[i2])Γ(p+d+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

Corollary 4.

FG(a,a,a;b,ci,c;d,e,e;y,z,z)=n=0p=0(a)n+2p(b)n(ci)2pynz2p(d)n(e)2pn!(2p)!×{Ei22pΓ(12)Γ(12pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p+12i+12[1+i2])Γ(1pc+12i)+Fi22pΓ(12)Γ(12pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p+12i[i2])Γ(p+12c+12i)}+n=0p=0(a)n+2p+1(b)n(ci)2p+1ynz2p+1(d)n(e)2p+1n!(2p+1)!×{Ei22p+1Γ(12)Γ(2pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p+12i[1+i2])Γ(p+12c+12i)+Fi22p+1Γ(12)Γ(2pc+i)Γ(1c)Γ(1c+12(i+|i|))Γ(p12+12i[i2])Γ(pc+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

Special cases of (16) and (17)

Here we mention some special cases of our results (16) and (17) and we will use in each case the following results [8]:

Γ(α+n)Γ(α)=(α)n,Γ(αn)Γ(α)=(1)n(1α)n
Γ12Γ(1+α)=2αΓ12+12αΓ1+12α
(α)2n=22n12αn12α+12n
(2n)!=22n12nn!and(2n+1)!=22n32nn!.
  • Taking i = 0 and d = b in (16), we get

K5(a,a,a,a;b,b,b,b;c,c,b,b;x,y,z,z)=X4(a,b;b,c,c;z2,x,y).
  • Taking i = 1 and d = b-1 in (16), we get

K5(a,a,a,a;b,b,b,b;c,c,b1,b;x,y,z,z)=X4(a,b;b1,c,c;z2,x,y)+azb1X4(a+1,b;b,c,c;z2,x,y).
  • Taking i = -1 and d = b in (16), we get

K5(a,a,a,a;b,b,b,b;c,c,b,b1;x,y,z,z)=X4(a,b;b1,c,c;z2,x,y)az2X4(a+1,b;b,c,c;z2,x,y).
  • Taking i = 0 and e = 2c in (17), we get

K12(a,a,a,a;b,b,c,c;d,d,2c,2c;x,y,z,z)=X7(a,b,b;d,c+12;z2/4,x,y).
  • Taking i = 1 and e = 2c-1 in (17), we get

K12(a,a,a,a;b,b,c1,c;d,d,2c1,2c1;x,y,z,z)=X7(a,b,b;d,c12;z2/4,x,y)az2c1X7(a+1,b,b;d,c+12;z2/4,x,y).
  • Taking i = -1 and e = 2c+1 in (17), we get

K12(a,a,a,a;b,b,c+1,c;d,d,2c+1,2c+1;x,y,z,z)=X7(a,b,b;d,c+12;z2/4,x,y)az2c+1X7(a+1,b,b;d,c+32;z2/4,x,y).

3 Applications to Generating Functions

Two interesting generating functions for Jacobi polynomials Pn(α,β)(x)are given by Sharma and Mittal [7]

n=0(λ)n(αβ)nPn(αn,βn)(x)F4(λ+n,γ;δ,ρ;y,z)tn=[1(1x)t2]λ×FE(λ,λ,λ,α,γ,γ;αβ,δ,ρ;2t2(1x)t,2y2(1x)t,2z2(1x)t)

and

n=0(λ)n(αβ)nPn(αn,βn)(x)F1(λ+n,γ,ρ;δ;y,z)tn=[1(1x)t2]λ×FG(λ,λ,λ,α,γ,ρ;αβ,δ,δ;2t2(1x)t,2y2(1x)t,2z2(1x)t),

where F1 and F4 are Appell’s double hypergeometric functions [8].

Now, in (30), replacing ρ by δ +i and z by -y and using (18), we get the following families of generating functions for Jacobi polynomials:

n=0(λ)n(αβ)nPn(αn,βn)(x)F4(λ+n,γ;δ,δ+i;y,y)tn=[1(1x)t2]λn=0p=0(λ)n+2p(α)n(γ)2p(αβ)n(δ)2pn!(2p)![2t2(1x)t]n[2y2(1x)t]2p×{Ai22pΓ(12)Γ(δ+i)Γ(δ+2p)Γ(δ+2p+12(i+|i|))Γ(p+12i+12[1+i2])Γ(p+δ+12i)+Bi22pΓ(12)Γ(δ+i)Γ(δ+2p)Γ(δ+2p+12(i+|i|))Γ(p+12i[i2])Γ(p+δ12+12i)}+n=0p=0(λ)n+2p+1(α)n(γ)2p+1(αβ)n(δ)2p+1n!(2p+1)![2t2(1x)t]n[2y2(1x)t]2p+1×{Ai22p+1Γ(12)Γ(δ+i)Γ(δ+2p+1)Γ(δ+2p+1+12(i+|i|))Γ(p+12i[1+i2])Γ(p+12+δ+12i)+Bi22p+1Γ(12)Γ(δ+i)Γ(δ+2p+1)Γ(δ+2p+1+12(i+|i|))Γ(p12+12i[i2])Γ(p+δ+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

Next, in (31), replacing γ by ρ -i and z by -y and using (19), we get the following families of generating functions for Jacobi polynomials:

n=0(λ)n(αβ)nPn(αn,βn)(x)F1(λ+n,ρi,ρ;δ;y,y)tn=[1(1x)t2]λn=0p=0(λ)n+2p(α)n(ρi)2p(αβ)n(δ)2pn!(2p)![2t2(1x)t]n[2y2(1x)t]2p×{Ei22pΓ(12)Γ(12pρ+i)Γ(1ρ)Γ(1ρ+12(i+|i|))Γ(p+12i+12[1+i2])Γ(1pρ+12i)+Fi22pΓ(12)Γ(12pρ+i)Γ(1ρ)Γ(1ρ+12(i+|i|))Γ(p+12i[i2])Γ(p+12ρ+12i)}+n=0p=0(λ)n+2p+1(α)n(ρi)2p+1(αβ)n(δ)2p+1n!(2p+1)![2t2(1x)t]n[2y2(1x)t]2p+1×{Ei22p+1Γ(12)Γ(2pρ+i)Γ(1ρ)Γ(1ρ+12(i+|i|))Γ(p+12i[1+i2])Γ(p+12ρ+12i)+Fi22p+1Γ(12)Γ(2pρ+i)Γ(1ρ)Γ(1ρ+12(i+|i|))Γ(p12+12i[i2])Γ(pρ+12i)}

for (i = 0, ±1, ±2, ±3, ±4, ±5).

Now, we mention some interesting special cases of the results (32) and (33) and we using in each case the results (20)–(23).

  • Taking i = 0 in (32) and (33), we get

n=0(λ)n(αβ)nPn(αn,βn)(x)F4(λ+n,γ;δ,δ;y,y)tn=(1(1x)t2)λX1:2;10:3;1λ:12γ,12γ+12;α;:δ,12δ,12δ+12;αβ;(2y2(1x)t)2,2t2(1x)t

and

n=0(λ)n(αβ)nPn(αn,βn)(x)F1(λ+n,ρ,ρ;δ;y,y)tn=(1(1x)t2)λX1:1;10:2;1λ:ρ;α;:12δ,12δ+12;αβ;(y2(1x)t)2,2t2(1x)t.
  • Taking i = 1 in (32) and (33), we get

n=0(λ)n(αβ)nPn(αn,βn)(x)F4(λ+n,γ;δ,δ+1;y,y)tn=(1(1x)t2)λ{X1:2;10:3;1λ:12γ,12γ+12;α;:δ,12δ+12,12δ+1;αβ;(2y2(1x)t)2,2t2(1x)t+2λγyδ(δ+1)(2t+xt)×X1:2;10:3;1λ+1:12γ+12,12γ+1;α;:δ+1,12δ+1,12δ+32;αβ;(2y2(1x)t)2,2t2(1x)t}

and

n=0(λ)n(αβ)nPn(αn,βn)(x)F1(λ+n,ρ1,ρ;δ;y,y)tn=(1(1x)t2)λ{X1:1;10:2;1λ:ρ;α;:12δ,12δ+12;αβ;(y2(1x)t)2,2t2(1x)t+2λyδ(2t+xt)X1:1;10:2;1λ+1:ρ;α;:12δ+12,12δ+1;αβ;(y2(1x)t)2,2t2(1x)t}.
  • Taking i = -1 in (32) and (33), we get

n=0(λ)n(αβ)nPn(αn,βn)(x)F4(λ+n,γ;δ,δ1;y,y)tn=(1(1x)t2)λ{X1:2;10:3;1λ:12γ,12γ+12;α;:δ1,12δ,12δ+12;αβ;(2y2(1x)t)2,2t2(1x)tλγyδ(2t+xt)X1:2;10:3;1λ+1:12γ+12,12γ+1;α;:δ,12δ+12,δ+1;αβ;(2y2(1x)t)2,2t2(1x)t}

and

n=0(λ)n(αβ)nPn(αn,βn)(x)F1(λ+n,ρ+1,ρ;δ;y,y)tn=(1(1x)t2)λ{X1:1;10:2;1λ:ρ+1;α;:12δ,12δ+12;αβ;(y2(1x)t)2,2t2(1x)t+2λyδ(2t+xt)X1:1;10:2;1λ+1:ρ+1;α;:12δ+12,12δ+1;αβ;(y2(1x)t)2,2t2(1x)t}.

The other special cases of (32) and (33) can also be obtained in the similar manner.

Communicated by Juan L.G. Guirao

References

  • [1]

    H. Exton, (1976), Multiple Hypergeometric Functions and Applications, John Wiley and Sons, Halsted Press, New York.

  • [2]

    H. Exton, (1982), Hypergeometric functions of three variables, J. Indian Acad. Maths. 4, 113–119.

  • [3]

    H. Exton, (1982), Reducible double hypergeometric functions and associated integrals, An Fac. Ci. Univ. Porto, 63, 137–143.

  • [4]

    J. L. Lavoie, F. Grondin and A. K. Rathie, (1996), Generalizations of Whipple’s theorem on the sum of a 3F2 Journal of Computational and Applied Mathematics, 72, 293–300. 10.1016/0377-0427(95)00279-0.

  • [5]

    E. D. Rainville, (1960), Special Functions, The Macmillan Company, New York.

  • [6]

    S. Saran, (1954), Hypergeometric functions of three variables, Ganita 5, 77–91.

  • [7]

    B. L. Sharma and K. C. Mittal, (1968), Some new generating functions for Jacobi polynomials, Proc. Camb. Phil–Soc 64, 691–694.

  • [8]

    H. M. Srivastava and H. L. Manocha, (1984), A Treatise on Generating Functions, Halsted Press, New York.

[1]

H. Exton, (1976), Multiple Hypergeometric Functions and Applications, John Wiley and Sons, Halsted Press, New York.

[2]

H. Exton, (1982), Hypergeometric functions of three variables, J. Indian Acad. Maths. 4, 113–119.

[3]

H. Exton, (1982), Reducible double hypergeometric functions and associated integrals, An Fac. Ci. Univ. Porto, 63, 137–143.

[4]

J. L. Lavoie, F. Grondin and A. K. Rathie, (1996), Generalizations of Whipple’s theorem on the sum of a 3F2 Journal of Computational and Applied Mathematics, 72, 293–300. 10.1016/0377-0427(95)00279-0.

[5]

E. D. Rainville, (1960), Special Functions, The Macmillan Company, New York.

[6]

S. Saran, (1954), Hypergeometric functions of three variables, Ganita 5, 77–91.

[7]

B. L. Sharma and K. C. Mittal, (1968), Some new generating functions for Jacobi polynomials, Proc. Camb. Phil–Soc 64, 691–694.

[8]

H. M. Srivastava and H. L. Manocha, (1984), A Treatise on Generating Functions, Halsted Press, New York.

Journal Information

Metrics

All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 103 103 64
PDF Downloads 56 56 39