arxiv: v1 [math.nt] 5 Jan 2019

Transcription

1 GENERAL WP-BAILEY CHAINS rxiv: v1 [mth.nt] 5 J 2019 JAMES MC LAUGHLIN AND PETER ZIMMER Abstrct. Motivted by recet pper of Liu d M we describe umber of geerl WP-Biley chis. We show tht my of the existig WP-Biley chis or brches of the WP-Biley tree icludig chis foud by Adrews Wrr d Liu d M rise s specil cses of these geerl WP-Biley chis. We exhibit three ew brches of the WP-Biley tree brches which lso follow s specil cses of these geerl WP-Biley chis. Filly we describe umber of ew trsformtio formule for bsic hypergeometric series which rise s coseueces of these ew WP-Biley chis. 1. Itroductio Adrews [1] followig o from prior wor of Bressoud [4] d Sigh [9] defied WP-Biley pir to be pir of seueces α β if the cotext is cler we occsiolly suppress the depedece o d write α β stisfyig 1.1 β / + + α / α 1 / +1. Adrews lso showed i [1] tht there were two distict wys to costruct ew WP-Biley pirs from give pir see 2.6 d 2.7 below. These two costructios llowed tree of WP-Biley pirs to be geerted from sigle WP-Biley pir. Adrews d Berovich [2] further ivestigted these two brches of the WP-Biley tree i the process derivig my ew trsformtios for bsic hypergeometric series. Spiridoov [10] derived elliptic geerliztio of Adrews first WP-Biley chi d Wrr [11] dded four ew brches to the WP-Biley tree see d 3.11 below two of which hd geerliztios to the elliptic level. More recetly d motivted i prt by the ppers bove Liu d M [7] Dte: Jury Mthemtics Subect Clssifictio. Primry: 33D15. Secodry:11B65 05A19. Key words d phrses. Biley chis WP-Biley Chis WP-Biley pirs. 1

2 2 JAMES MC LAUGHLIN AND PETER ZIMMER itroduced the ide of geerl WP-Biley chi s solutio to system of lier eutios d dded oe ew brch to the WP-Biley tree see 2.9 below. Motivted by Liu d M s cocept of geerl WP-Biley pir i the preset pper we reformulte their costructio i terms of the more stdrd ottio d lso derive three other geerl WP-Biley chis. We show tht ll the WP-Biley chis referred to bove rise s specil cses of these geerl chis. We further derive three ew WP-Biley chis from these geerl chis. Lstly we fid my ew trsformtios of bsic hypergeometric series by isertig ow WP-Biley pirs ito these three ew WP-Biley chis. 2. The Geerl WP-Biley Chi of Liu d M Liu d M [7] defied WP-Biley chi s follows: Defiitio 1. Ay pir of seueces {α tb} d {β tb} stisfyig 2.1 β tb i0 bt +i b i i t +i α i tb is clled well-poised i short WP Biley pir w.r.t. the prmeters t d b deoted by α tbβ tb. Further if for 0 the seueces {α tc} d {β tc} defied by 2.2 α tc λ α tb β tc d i β i tb i0 is still WP-Biley pir w.r.t. the prmeters t d c the the itertive process from α tbβ tb to α tcβ tc is sid to be WP-Biley chi. 2.3 The uthors poit out i [7] tht the λ d the d i lwys stisfy i bt i+ b i i t i+ d i ct +c t + λ d the proceed usig ifiite mtrices to ivert 2.3 to fid expressios for the d s sums over the λ i. For our purposes we reformulte their result usig the more usul ottio i which α β deotes WP-Biley pir usig sigle seueceg replcig their λ dgivigmoredirect proofwhichvoids the use of ifiite mtrices. Before proceedig to this we first recll the followig ecessry result of Wrr.

3 GENERAL WP-BAILEY CHAINS 3 Lemm 1 Wrr [11]. For d idetermites the followig eutios re euivlet: / β α + α / + + β. If d re iterchged i the secod eutio we lso ote for lter tht Lemm 1 implies the followig. Corollry 1. If α β re WP-Biley pir the so re α β where α 1 2 β 1 β α. Theorem 1. Suppose tht α β stisfy 1.1 tht g is rbitrry seuece of fuctios d c d e re rbitrry costts. The α β lso stisfy 1.1 where 2.5 α g α ec β β ec 1 c2 / + e 2 1 c + c 2 1 e 2+2r + e/ce 2 r c rgr+ 1 e /c 2+1. r e Proof. If α is s give the β / r +r r +r g r α r ec / r +r r +r g r 1 e2r 1 e r 1 c 2 1 c β ec r 1 c 2 1 c e/c r e r+ c r β ec r c r+ e / r +r 1 e 2r e/c r e r+ c r g r r +r 1 e r c r+ e

4 4 JAMES MC LAUGHLIN AND PETER ZIMMER 1 c 2 1 c β ec / r +r+ 1 e 2r+2 e/c r e r+2 c r g r+ r +r+ 1 e r c r+2 e 1 c 2 1 c β ec / + e 2 + c 2 1 e 2r+2 1 e 2 + e/ce 2 r c rgr+ 1 / ++1 c 2+1. r e Of course from the perspective of ddig brches to the WP-Biley tree wht is desirble is to choose e d c d the seuece g so s to me the ier sum over r bove hve closed form. It is show i [7] tht Adrews first WP-Biley chi i [1] follows s specil cse of their theorem d the uthors lso fid ew WP-Biley chi s other specil cse. I fct Adrews secod WP-Biley chi i [1] d the first WP-Biley chi of Wrr i [11] lso follow s specil cses. Sice our ottio is somewht differet from tht of Liu d M [7] for completeess we show how ll four WP Biley chis follow s specil cses of Theorem 1. Corollry 2. If α β stisfy 1.1 the so do α β d α β [1] α β [11] d α β [7] where α ρ 1 ρ α c Adrews [1] /ρ 1 /ρ 2 ρ 1 ρ 2 β ρ 1/ρ 2 / /ρ 1 /ρ 2 1 c 2 ρ 1 ρ 2 /c + 1 cρ 1 /ρ 2 / c + ρ 1 ρ 2 β c with c ρ 1 ρ 2 /; α 2 / α c Adrews [1] β 2 / β c with c 2 /; 2.8 Wrr [11]

5 GENERAL WP-BAILEY CHAINS 5 α 1 1/2 1+ / 1/2 2 / 2 1 1/2 1+/ 1/2 2 β 1 1/2 1 1/2 2 α c 2 1+ / 1/2 1+/ 1/2 /c 2 β c with c 2 / we cosider ust the σ 1 cse of Wrr s theorem here; 2.9 Liu d M [7] α 2 / 2 2 β /2 with c 2 / α c 2 2 / / β 2c Proof. I ech cse we pply Theorem 1 lettig e d g be the fctor multiplyig α c i ech of the WP-Biley chis listed bove. Tht the ier sum over r i 2.5 hs closed form d tht the stted expressios for the vrious β ew bove ow hold follow s coseuece of respectively Jcso s sum of termitig 8 φ 7 [ φ 1/2 1/2 b c d e ] 7 1/2 1/2 /b /c /d /e +1 /bc/bd/cd /b/c/d/bcd where 2 bcde the followig formule see [6 problem 2.12] d [2 Eutio 3.2] respectively: [ ] φ φ 9 [ 2 ]

6 6 JAMES MC LAUGHLIN AND PETER ZIMMER d -logue of Wtso s 3 F 2 sum see [6 II.16] [ λ λ λ 8φ b λ /b λ ] /b b/λ 7 λ λ λ +1 λ 1 /b λ 2 /b b b λ b 0 odd λ b 2 /λ 2 2 /2 b/λ b 2 λ 2 /b 2 eve. /2 Before describig d provig ew WP-Biley chi which follows from Theorem 1 we eed prelimiry result. Lemm 2. [ φ ] Proof. I Biley s trsformtio see [6] III.28 [ b c d e f λ φ +1 /ef ] 9 /b /c /d /e /fef /λ +1 /efλ/eλ/f /e/fλ/efλ [ λ λ λλb/ λc/ λd/ e f λ 10 φ +1 /ef ] 9 λ λ /b /c /d λ/e λ/fef / λ +1 where λ 2 /bcd set b / c / d / e / d f / so tht λ. The left side of 2.14 becomes the left side of 2.11 d so euls the right side of The result follows upo replcig with / fter some simple mipultios. The ext WP-Biley chi ppers to be ew. Corollry 3. If α β stisfy 1.1 the so do α β where 2.15 α β α β 2..

7 GENERAL WP-BAILEY CHAINS 7 Proof. Sete c 2 / g 2 / 2 2 / 2 / 2 itheorem 1 d use2.13 with replced with 2 d with 2 to put the ier sum over r t 2.5 i closed form d simplify the resultig sum. Remrs: 1 We ote the similrities betwee this WP-Biley chi d the secod chi of Adrews t 2.7 icludig the fct tht double pplictio of this costructio returs the origil WP-Biley pir. 2 Upo isertig the uit WP-Biley pir 4.1 i this chi we get the pir 2.16 α / 2 / 2 / 2 2 β / 2 which c lso be derived by pplyig Corollry 1 to the pir t The smll umber of summtio formule for termitig bsic hypergeometric series would ted to suggest tht there re ot my WP-Biley chis which follow from Theorem 1. With this i mid we tur to ew geerl WP-Biley chis. 3. New Geerl WP-Biley Chis d their Coseueces Motivted by Wrr s other WP-Biley chis i [11] we ow cosider some ew geerl WP-Biley chis. Theorem 2. Suppose tht α β stisfy 1.1 tht g is rbitrry seuece of fuctios d tht e d c re rbitrry costts. The α β lso stisfy 1.1 where 3.1 α g α ec 2 β β ec 2 1 c4 / + e c + c e 4+4r + r e/ce 4 2 r g r+ c r. 1 e / r c r e Proof. As previously if α is s give the β 1 e4r 1 e / r +r r +r g r α r ec 2 / r +r r +r g r r 1 c 4 1 c e/c 2 r e 2 r+ c r β 2 2 r c 2 2 ec 2 r+ e

8 8 JAMES MC LAUGHLIN AND PETER ZIMMER r 1 c 4 1 c β ec 2 / r +r 1 e 4r e/c 2 r e 2 r+ c r g r r +r r c 2 2 r+ e 1 c 4 1 c β ec 2 / r +r+ r +r+ g r+ 1 e 4r+4 1 e e/c 2 r e 2 r+2 c r 2 2 r c 2 2 r+2 e 1 c 4 1 c β ec 2 / + e e 4r+4 + c e 4 + r e/ce 4 2 r c rgr+ 1 / ++1 r c r e As with Theorem 1 the im is to fid choices for the seuece g d the prmeters e d c which led to the ier sum over r bove hvig closed form. We believe the followig WP-Biley chi to be ew. Corollry 4. If α β stisfy 1.1 the so do α β where 1+ 2 α α 1+ β β 2 2. Proof. Set e 2 c / g 1+ /1+ 2 i Theorem 2 d use 2.10 to put the ier sum over r t 3.1 i closed form d simplify the resultig sum. Remr: Somewht curiously isertig the uit pir 4.1 i this chi leds to pir tht is the specil cse ρ 1 ρ 2 / of Sigh s WP- Biley pir t 4.2. I Theorem 3 we showed how to derive ew geerl WP-Biley pirs α β i terms of α ec 2 β ec 2 where α β is existig WP-Biley pir. It is lso possible to deriveew geerl WP-Biley pirs iterms of α ec 1/2 β ec 1/2

9 GENERAL WP-BAILEY CHAINS 9 butforestheticresoswereplce 1/2 by everywhere toget thefollowig theorem. Theorem 3. Suppose tht α β stisfy 1.1 tht g is rbitrry seuece of fuctios d tht e d c re rbitrry costts. The α β lso stisfy 1.1 where 3.3 α 2 g α ec β 2 β ec 1 c2 / e 2 1 c c 2 1 e 2+2r r e/ce 2 r g r+ 1 e / 2 r c 2+1 r 2 r c. e We omittheproofs itfollows verysimilr liestotheproofsof Theorems 1d 2. Wrr s WP-Biley chis i Theorems 2.4 d2.5 of [11] follows s specil cse of the theorem bove we use where Wrr uses so s to eep the prmeters i the ew WP Biley pirs s d. Corollry 5 Wrr [11]. If α β stisfy 1.1 the so do α β where α α β β Proof. Set e c / g 1 use 2.10 to get the ier sum over r i 3.3 i closed form d the result follows fter some simple mipultios. Corollry 6 Wrr [11]. If α β stisfy 1.1 the so do α β where α α 3.5 β β.. 2 +

10 10 JAMES MC LAUGHLIN AND PETER ZIMMER Proof. Set e c / g 1 + /1 +. To get the ier sum over r i 3.3 i closed form we use the followig result of Adrews d Berovich [2] we replce with : W 9 ;i 1/4 i 1/4 / 2 / 2 / 2 / 2 / 2 2 with replced with 4 with 4 d with. The result follows oce gi fter some -product mipultios. The ext result lso ppers to be ew. Corollry 7. If α β stisfy 1.1 the so do α β where α α β β. Proof. Set e c / g 1. This time to get the ier sum over r i 3.3 i closed form we use the followig result of Wrr [11]: 3.8 8W 7 ;b / b / b 2 /b b 2 1/b 2 2 /b 2 2 b with replced with 2 b with / d with. The result follows s bove fter some -product mipultios. Isertig the uit pir 4.1 i this chi gives the pir α 1 1 ; 3.9 ; ; β 2 ; 2 2 which is somewht remiiscet of Bressoud s pir t Motivted by Wrr s Theorem 2.6 i [11] we lso hve the followig geerl WP-Biley chi.

11 GENERAL WP-BAILEY CHAINS 11 Theorem 4. Suppose tht α β stisfy 1.1 tht g is rbitrry seuece of fuctios d tht e d c re rbitrry costts. The α β lso stisfy 1.1 where 3.10 α 2 g α ec 2 α β β ec 2 1 c4 2 +2e c 2 +2 c /2 1 e 4+4r r e/ce 4 2 r g r+ 2 c 2 r 1 e / 2r c r 2. e Oce gi we omit the proof sice it is very similr to the proofs of the other theorems bove. Upo settig g 1 e d c 2 / d oce gi usig 2.10 we obti the WP-Biley chi of Wrr i Theorem 2.6 of [11]. Corollry 8 Wrr [11]. If α β stisfy 1.1 the so do α β where α 2 α α β 2 / β Trsformtio Formule for Bsic Hypergeometric Series We ext describe umber of trsformtios of bsic hypergeometric series which follow from the ew WP-Biley chis described i Corollries 3 4 d 7. Before proceedig we remr tht the te or more WP-Biley chis tht presetly exist potetilly give rise to two hudred or more trsformtios betwee bsic hypergeometric series most of which hve probbly ot bee writte dow by isertig the te or more WP-Biley pirs d their duls vi Corollry 1 ito the te or more existig WP-Biley chis igorig possible duplictio which is why we write potetilly. Isertig the uit WP-Biley pir see [2] for exmple where this WP- Biley pir d others employed below my be foud α / 4.1 { 1 0 β 0 > 1.

12 12 JAMES MC LAUGHLIN AND PETER ZIMMER ito 2.15 leds perhps ot surprisigly to Upo substitutig Sigh s WP-Biley pir [9] 4.2 α ρ 1 ρ 2 2 /ρ 1 ρ 2 /ρ 1 /ρ 2 ρ 1 ρ 2 / β ρ 1/ρ 2 //ρ 1 ρ 2 /ρ 1 /ρ 2 ρ 1 ρ 2 / ito 2.15 we get the followig trsformtio: φ 11 ρ 1 ρ 2 2 ρ 1 ρ 2 ρ 1 ρ 2 ρ 1ρ φ ρ 1 ρ 2 ρ 1 ρ ρ 1 ρ 2 ρ 1ρ 2 2 It is esy to recogize this s Biley s 12 W 11 7 φ 6 trsformtio see [6 III.27]. Note tht 2.13 follows immeditely from 4.3 upo settig ρ 1 /ρ 2. Isertig the pir α / 2 2 / 2 / 2 2 ito 2.15 leds to β 2 / φ φ Similrly isertig the pir 4.6 α 2 β 2 2 2

13 ito 2.15 leds to GENERAL WP-BAILEY CHAINS φ φ Substitutig the pir 0 if is odd 4.8 α / 2 2 / / 2 if is eve /2 / / /; β 2 / ; ito 2.15 leds to W 15 ; φ result remiiscet of 3.14 i [2]. We ext tur to two WP-Biley pirs foud by Bressoud [3]. Isertig the pir 4.10 α 1 1 β 2 ; ; ; 2 ; 2 ito 2.15 d the replcig with with d with gives

14 14 JAMES MC LAUGHLIN AND PETER ZIMMER φ 6 [ ] idetity similr to 4.10 i [2]. I similr mer isertig Bressoud s WP-Biley pir α 1 2 ; ; β 2 ito 2.15 d liewise replcig with with d with gives φ 6 [ ] Filly we pply the corollry to two WP-Biley pirs foud by the preset uthors i [8]: α 1 2 / β 1 / 2 / 2 / α 2 / / / 2 / 1 2 / 2 2 /2 β / 2 eve /2 0 odd.

15 GENERAL WP-BAILEY CHAINS 15 Note tht the secod pir my lso be derived by pplyig Corollry 1 to the pir t 4.8. These WP-Biley pirs iserted i 2.15 led respectively to the trsformtios [ φ [ 9 φ 2 3/2 3/2 3/2 3/ d [ ] φ [ φ ] Liewise isertig the WP-Biley pirs t d 4.15 respectively ito the WP-Biley chi t 3.2 leds respectively to the followig trsformtios: W 9 ; ρ 1 ρ ρ 1 ρ 2 / 2 / ] 2 2 ρ 1 ρ ρ 1 ρ ρ ρ 2 ρ 1ρ φ / 2 / ] ; ;

16 16 JAMES MC LAUGHLIN AND PETER ZIMMER φ / 2 / ; W 7 ; / 2 / 2 10 W 9 ; ; W 7 ; / 2 / 2 8 W 7 ;i i W 5 ; / 2 / 2 6 W 5 ; 1 ; W 9 ; / 2 / 2 ; 1+ 2 / 2 / / 1+ ; W 11 ; / 2 /

17 GENERAL WP-BAILEY CHAINS 17 I similr mer isertig the WP-Biley pirs t d4.15 respectively ito the WP-Biley chi t 3.7 leds respectively to the followig trsformtios: [ ρ1 ρ 2 3 ρ φ 1 ρ ρ 1 ρ 2 ρ 1ρ ρ1 ρ 2 2 ρ 1 ρ 2 2 ρ 1 ρ 2 ρ 1ρ φ ] ; ; ; ; ;

18 18 JAMES MC LAUGHLIN AND PETER ZIMMER ; 2 ; ; ; ; 4.32 [ 4 ] φ ;

19 φ GENERAL WP-BAILEY CHAINS Biley-Type Chis Just s Liu d M did i [7] we c let 0 to get regulr Biley chis but ufortutely oe re ew. Corollry 9. If α β re Biley pir w.r.t. the so is α β where 5.1 α α 2 2 β β 2 2. Proof. let 0 i Corollry 4 d rerrge. Remr: This is the Biley chi D4 of Bressoud Ismil d Stto i [5]. Corollry 10. If α β re Biley pir w.r.t. the so is α β where 5.2 α 2 2 α β Proof. let 0 i Corollry 7 d rerrge β. We ote tht is chi is lso ot ew beig essetilly the Biley chi D1 i [5]. The corollries bove d other results i the literture for exmple the first WP-Biley chi of Adrews i [1] show tht some Biley chis my be lifted to WP-Biley chis. Is it possible to lift ll Biley chis to WP-Biley chis?

20 20 JAMES MC LAUGHLIN AND PETER ZIMMER Refereces [1] Adrews George E. Biley s trsform lemm chis d tree. Specil fuctios 2000: curret perspective d future directios Tempe AZ 1 22 NATO Sci. Ser. II Mth. Phys. Chem. 30 Kluwer Acd. Publ. Dordrecht [2] Adrews George; Berovich Alexder The WP-Biley tree d its implictios. J. Lodo Mth. Soc o [3] Bressoud Dvid The Rogers Rmu idetities. solutio to problem SIAM Review [4] Bressoud Dvid Some idetities for termitig -series. Mth. Proc. Cmbridge Philos. Soc o [5] Bressoud D.; Ismil M. E. H.; Stto D. Chge of bse i Biley pirs. Eglish summry Rmu J o [6] Gsper George; Rhm Miz Bsic hypergeometric series. With foreword by Richrd Asey. Secod editio. Ecyclopedi of Mthemtics d its Applictios 96. Cmbridge Uiversity Press Cmbridge xxvi+428 pp. [7] Q. Liu; X. M O the Chrcteristic Eutio of Well-Poised Bily Chis - To pper. [8] Mc Lughli Jmes; Zimmer Peter. Some Implictios of the WP-Biley Tree. Advces i Applied Mthemtics Volume 43 Issue 2 August 2009 Pges [9] Sigh U. B. A ote o trsformtio of Biley. Qurt. J. Mth. Oxford Ser o [10] Spiridoov V. P. A elliptic icrtio of the Biley chi. It. Mth. Res. Not o [11] Wrr S. O. Extesios of the well-poised d elliptic well-poised Biley lemm. Idg. Mth. N.S o Mthemtics Deprtmet Aderso Hll West Chester Uiversity West Chester PA E-mil ddress: mclughl@wcup.edu Mthemtics Deprtmet Aderso Hll West Chester Uiversity West Chester PA E-mil ddress: pzimmer@wcup.edu