arxiv:math/ v2 [math.co] 2 Oct 2001

Transcription

1 000]Prmry 05A10, 05A19, 05A30, 11B65, 33D15; Secodry 11P8 THE WP BAILEY TREE AD ITS IMPLICATIOS rxv:mth/ v [mth.co] Oct 001 GEORGE ADREWS AD ALEXADER BERKOVICH Abstrct. Our object s thorough lyss of the WP-Bley tree, recet exteso of clsscl Bley chs. We beg by observg how the WP Bley tree turlly etls fte umber of clsscl -hypergeometrc trsformto formuls. We the show how to move beyod ths closed set of results d the process we explcte heretofore mysterous dettes of D.M. Bressoud. ext, we use WP Bley prs to provde ew proof of recet formul of A.. Krllov. Flly, we dscuss the relto betwee our pproch d tht of W.H. Burge. 1. Itroducto A clsscl Bley pr [3] s seuece α, β of prs of rtol fuctos of severl complex vrbles subject to the detty where ; β j0 α j ; j ; +j, 1.1 { , f > 0, 1, f From such Bley prs α, β t s possble to costruct ew Bley prs by the dscovery [3] tht α, β re lso Bley prs where d wth β 1 α, ρ, α 1.3 ρ ρ, ρ j0, ρ j ρ j j ρ j β j 1.4 1,,..., s ; j 1,,..., s j 1 j j s j. 1.5 Ths costruct hs wde pplctos umber theory, lyss, physcs d hs bee the topc of two recet survey rtcles [5] d []. The fl sectos of the former rtcle were devoted to the further developmet of des scet the wor of Bley [7], 9. mely, followg Bressoud [1], oe my dd further 1991 Mthemtcs Subject Clssfcto. [. 1

2 GEORGE E. ADREWS AD ALEXADER BERKOVICH prmeter, sy, to the deftos of Bley pr to form wht ws termed WP Bley pr [5]: β, j +j α j,. 1.6 j +j j0 It ws show [5], tht ths cse, there re two dstct wys of costructg ew WP-Bley prs. Both α, β d α, β form WP pr where β wth whle, ρ1, ρ, ρ α,, ρ j0, ρ j, ρ1, ρ j ρ c α, c, c j 1 c c ρ c j j +j c +j c j β j, c, α, α,, 1.10 β, j0 j j j β j, Remr. It s mportt to observe tht wth double pplcto of the costruct 1.10 d 1.11 we retur to the orgl WP Bley pr. Also, we ote tht wth 0 gve bc I Secto, we recout the essetl results from [5]. The m pot here s tht whle [5] brought collecto of -hypergeometrc dettes uder the clsscl Bley umbrell, oetheless ths s oly the begg. I Secto 3, we uderte creful study of how we my utlze WP prs to geerte further dettes of the clsscl form where o multple seres pper. The surprse ths secto s tht the turl tertve process cuses the seuece of results to repet. We coclude ths secto by presetg two ew dettes of the clsscl form. Secto 4 recps the wor of Bressoud [1], whch cots surprsg polyoml dettes cludg prtculrly ttrctve polyoml refemets of the Rogers Rmuj dettes. I Secto 4, we detfy Bressoud s Bley Lemm wth the lmtg cse of our costruct 1.10, 1.11 d commet o the three WP-prs troduced [1]. ext, we explore the -hypergeometrc coseueces of Bressoud s WP-prs d derve four more ew -hypergeometrc trsformtos of the clsscl form. I Secto 5, we preset umber of doubly bouded polyoml dettes of the Rogers Rmuj type, mg cotcts wth the wor of Bressoud [1] d Wrr [3]. Secto 6 s devoted to detty of Krllov. We ote tht Krllov metoed ths detty t Specl Fuctos 000 Coferece Tempe. It ws effort to uderstd Krllov s dscovery tht the WP-Bley tree ws veted.

3 THE WP BAILEY TREE AD ITS IMPLICATIOS 3 I Secto 7, we brefly revew the wor of Burge d the, detfy cert WPprs s Burge prs. Ths ebles us to derve umber of dettes for -multple seres. For bcgroud d recet wor o multple seres Rogers Rmuj type dettes reder my cosult [3], [4], [8] [11], [13], [15], [3]. I Secto 8, we modfy the costruct 1.10, 1.11 such wy tht t c be ppled to geerl Burge prs. Flly, Secto 9 cots our cocludg remrs. Let us ow recll some stdrd -hypergeometrc deftos d ottos. The geerlzed bsc hypergeometrc fucto s deoted by r+1φ r 1,,..., r+1 ;, z b 1, b,..., b r j0 1,,..., r+1 j, b 1, b,..., b r j z j. 1.1 We shll cll bsc hypergeometrc fucto well-posed f the prmeters stsfy the reltos d very-well-posed f, ddto, 1 b 1 b 3 b r r+1, , A erly-posed seres of the frst d s oe whch stsfes 1 b 1 b 3 b r r+1, 1.15 wheres erly-posed seres of the secod d stsfes 1 b 1 b 3 b r 1 r b r r I order to smplfy some of the formuls volvg very-well-posed r+1 φ r -seres we shll freuetly use the compct otto 1, r+1w r 1 ; 4, 5,..., r+1 ;, z r+1 φ 1, 1, 4, 5,..., r+1 ;, z r 1,. 1, 1 4, 1 5,, 1 ext, we troduce bbsc hypergeometrc seres j0 1, Φ,..., r : c 1, c,..., c s ; 1, ; z b 1, b,..., b r 1 : d 1, d,..., d s r ,,..., r ; 1 j 1, b 1, b,..., b r 1 ; 1 j c 1, c,..., c s ; j d 1, d,..., d s ; j z j If r+1 φ r seres termtes, the by reversg the order of summto oe c show tht 1,..., r, r+1φ ;, z r 1,..., r 1 b 1,..., b 1 r b 1,..., b r

4 4 GEORGE E. ADREWS AD ALEXADER BERKOVICH 1 b r+1 φ 1,, 1 b r r 1 1,..., 1 r, ;, b1,...,br +1 1,..., r z 1.19 wth Z 0. Usg 1.19 t s esy to see tht termtg erly-posed seres of the secod d c be expressed s multple of erly-posed seres of the frst d. Flly, we remr tht the croym WP stds for well posed. Ideed, let us rewrte 1.16 s Clerly, the bove β,,, j0, j j 1+, αj, j The WP Bley tree I the troducto, euto 1.6 provdes fudmetl defto of WP Bley pr. I [5], t s show usg oly mthemtcl ducto tht α, δ,0 form WP-Bley pr, where d δ,0 { 1, f 0, 0, otherwse, α, Applyg 1.7 d 1.8 to produce ew WP-pr α, β, we fd wth c s 1.9. α,,,, ρ, c,,,, ρ, c β ρ1, ρ,, c, ρ,, c,.3.4 Remr. The WP Bley pr α, β ws frst dscovered the wor of Sgh [19]. If we substtute ths ltter pr to 1.6, the resultg detty [5] s well-ow -log of Dougll s summto formul due to Jcso: 8W 7 ;, ρ,, c,, c, ρ1, ρ ;,..5 c,,, ρ

5 THE WP BAILEY TREE AD ITS IMPLICATIOS 5 Cotug the tree, we pply 1.7 d 1.8 to the WP-prs.3 d.4 to obt α,,,, σ 1, σ,, ρ, c c,.6 β,,,, σ 1, σ, c σ1, σ σ 1, σ j0 σ 1, σ, cρ1, cρ, c, c, ρ, c c j j 1 c j j c j 1 c σ 1, σ,, ρ, c c, j where σ 1, σ re ew free prmeters, c s defed 1.9, d j j,.7 c c σ 1σ..8 We ow substtute the bove WP-pr to 1.6 to derve [5]: 10W 9 ;, ρ,, c c, σ 1, σ,, ;, c, σ1, σ c,, σ 1, σ 10 W 9 c; c, cρ, c, σ 1, σ,, ;,..9 It s esy to recogze formul.9 s Bley s mposg 10 W 9 10 W 9 trsformto. Ths result of Bley hs tured out to be oe of the most fecud the etre subject. Ideed, Gsper d Rhm [17] devote erly fve pges to ts mplctos. Flly, our recp of the results setched [5], we ote tht f we pply 1.10 d 1.11 usg the WP-pr.3,.4, we obt d α, 1 1 β, j0 j j, ρ, ρ, ρ, ρ1ρ ρ1 j, ρ,, ρ, ρ, ρ1ρ, j j If we substtute ths pr to 1.6, the resultg detty s euvlet to Bley erly-posed trsformto of very-well-posed 1 φ 11 to erly-posed 5 φ 4 of the secod d III.5 [17] 1W 11 ;,,,,,,, ρ, 5φ 4, ρ1,, ρ, ρ, ρ1ρ,, ;, ρ ρ, ;,,..1

6 6 GEORGE E. ADREWS AD ALEXADER BERKOVICH We coclude ths secto by remrg tht f we cotue WP-tree further, we produce, geerl, dettes volvg multsums. However, there s wy to geerte further dettes of the clsscl type volvg oly sgle fold sums. mely, we c fx free prmeters.9 d.1 such wy tht these trsformtos become summto formuls. I prtculr, f we replce,, by,,, respectvely, d the set 1/4, ρ 1/4, σ 1 /, σ /.9, the we get the summto formul: ; 10W 9 1/4, 1/4,, /, /, /, / ;,, ; ;, ; ;..13 Ths formul wll ply mportt role Secto Further Bley d Bley-type trsformtos To derve further -hypergeometrc trsformtos, we beg by settg formul.1. Ths yelds 10W 9 ;,,,,,,, ;,. 3.1, I pssg we ote tht the formul 3.1 s euvlet to the formul Ex..1 [17]. ext, we observe tht 3.1 cots very-well-posed 10 W 9 to whch Bley s trsformto.9 pples. Coseuetly, fter relbelg, we deduce from 3.1 tht 10W 9 ;,,,,,, ;,,,,,. 3. Idettes 3.1 d 3. mout to the sserto tht both α 1, β 1 d α, β form WP-pr, where whle α 1,,,,, α, β 1,, 3.3, 3.4,,,,,,,,,,,,, β,,,, 3.5,. 3.6

7 THE WP BAILEY TREE AD ITS IMPLICATIOS 7 If we pply the costruct 1.7, 1.8 to α 1, β 1 d α, β we fd 1W 11 ; c, c,, c, c c,, ρ,, ;, d ρ1, ρ, c,, ρ,, c where c ρ1ρ 1W 11 ; c, ρ1, ρ, ρ,, c c, c, c, ρ 7φ 1, ρ,, ;, 6 c, c,, ρ, c1, c 1+ c, c,, c c,, ρ,, ;,, c, c, c, ρ 6φ 1, ρ,, ;, 5 c, ρ1, ρ, c 1, c , 3.8 s before. Employg formul 1.19, oe c show tht 3.7 s euvlet to the fmous 1 W 11 7 φ 6 trsformto of Bley III.8 [17]. O the other hd, rewrtg 3.8 wth the d of 1.19 results the formul, whch s euvlet to tht of J see Ex.14, p. 5 [17]. d To our tl surprse, f we sert α 1, β 1 to 1.10 d 1.11, the result s β 3, j0 j j by II.6 [17] α 3, α, 3.9 j j, 1, j φ 1, ;, δ,0 β, Thus we re bc where we strted Secto. Actully, vew of remr followg 1.11, ths repetto of results should hve bee tcpted. We ow follow other led suggested by Bley [7], 10 where oe sets hlf the α, to zero. I ths wy, we fd the followg WP Bley pr: so to stsfy 1.6, α 4, 0, f s odd, β 4, j 0,,, ;,,, ;, f s eve, α 4 j, j j j, 3.1 +j,

8 8 GEORGE E. ADREWS AD ALEXADER BERKOVICH 8W 7 ;,, 1+,, 1 ;,,,,,,, by Jcso s -log of Dougll s theorem.5. We my ow sert α 4, β 4 pr to 1.7 d 1.8 to obt ew WPpr, d the result of puttg ths ew pr to 1.6 s euvlet to the followg Bley-type detty 1W 11 ; c,,, ρ, ρ, 1+,, 1, ;,, c, ρ1, ρ c,,, ρ 10W 9 c;, ρ, c, c, c,, ;, c, 3.13 where, s before, c ρ1,ρ. We ote tht 3.13 descrbes trsformto of seres wth bse to seres wth bse. Whle ute few trsformtos of ths d c be foud the lterture see, for exmple, Sect [17], our result 3.13 ppers to be ew. Flly, we sert α 4, β 4 to 1.10 d 1.11 to obt other ew WPpr, d the result of puttg ths ew pr to 1.6 s euvlet to the followg formul 16W 15 ;, 3 3,,,,,,,,1+,, 1, ;,,, whch lso ppers to be ew. 5φ, 3 3, 3 3,, ;, 4,, 3 3,, Bressoud s WP-prs d ther coseueces I [1], Bressoud preseted strg vrto o the clsscl wor of Bley d Rogers. Also [1], he foud wht we my ow cll three WP-Bley prs. Ths ebled hm to dscover ew polyoml versos of the Rogers Rmuj dettes: d 0 1 j j5j+1 + j j 4.1 where j [ 1 j j5j j + ], 4.

9 THE WP BAILEY TREE AD ITS IMPLICATIOS 9 { j+1 j j, f j 0, j 0, otherwse, log wth fte versos of the Rogers Selberg dettes. Bressoud s vrto of Bley Lemm c be stted s: 4.3 Theorem 1. Bressoud If α,, β, form WP-Bley pr, the the followg detty holds true j 0 β j, j,, j 0 j j j α j,. 4.4 It s esy to recogze ths theorem s the lmtg cse of our costruct 1.10 d 1.11 wth I ddto, Bressoud s frst WP-pr s euvlet to our α, β of Secto wth ρ. These two observtos mply tht euto 3. of [1] d, s result, Bressoud s dettes 4.1 d 4. re, ctully, the lmtg specl cses of Bley s 1 W 11 5 φ 4 trsformto formul.1. Surprsgly, ths -hypergeometrc explto of Bressoud s formuls hs ever bee gve before. Bressoud s secod WP-Bley pr s gve by d α, 1 1, β,,, ;, ; ; ; The sserto tht 1.6 holds for ths pr s specl cse of Jcso s -log of Dougll s theorem.5. Bressoud s thrd d lst WP-pr s d α, 1 1 β,, ;, ; 4.7,,,,,,. 4.8 Bressoud s proof tht 4.7, 4.8 stsfy 1.6 s the most dffcult of the three prs he cosders. It combes double seres expso of very-well-posed 10 W 9 log wth pplcto of the Pff-Slschütz summto II.1 [17]. However, t turs out tht hs rgumet my be smplfed gretly by the observto tht hs

10 10 GEORGE E. ADREWS AD ALEXADER BERKOVICH fl 10 W 9 summto formul s othg else but.13: specl cse of Bley s 10W 9 10 W 9 trsformto. I [1], prs α, β d α, β were employed to derve polyoml versos of the Rogers Selberg dettes. Let us ow move o to dscuss -hypergeometrc coseueces of Bressoud s secod d thrd prs. To ths ed we crete ew WP-prs, usg α, β d α, β s put, v 1.7 d 1.8 or 1.10 d The four dettes below re the result of puttg these ew prs to 1.6. I order to mprove the pperce of these dettes we replce,,,, ρ by,, ρ 1, ρ, respectvely. From the Bressoud s secod pr α, β we deduce ρ 1 10W 9 c ; ρ 1, ρ, c, c, c,, ;, c 4.9,, c, ρ ; ρ 1, ρ,, c ; where c s defed 1.9 d 1W 11 ;,, ρ, ρ, c,,,, ;,, [,, ], Φ :,,,,, ;, ;,, 3, +,,,,, 4 ; 4, ; : 4, 5φ 4 From Bressoud s thrd pr α, β we deduce, 3, 3 3, ;, ,,, W 9 c ; ρ 1, ρ, c, c, c,, ;, c 4.11,, c, ρ 1 ρ ; Φ, c : ρ 1, ρ,,,, ;, ; ρ 1, ρ,, c ; c :, ρ,,,,, + wth c s 1.9 d Φ [, :,,, , ;, ;, ],,, ;, ; :,,,,,,, + 4, 5φ, Formuls pper to be ew., 3 4, ;, ,,, 4 4 4

11 THE WP BAILEY TREE AD ITS IMPLICATIOS Doubly bouded polyoml dettes of the Rogers Rmuj type As we metoed t the begg of Secto 4, Bressoud s oteworthy chevemet [1] ws dscovery d proof of two ew polyoml dettes 4.1 d 4., whch the lmt s yeld Rogers Rmuj dettes. ow tht we hve ppled hs WP Bley prs to produce the successor WPprs the WP Bley tree, we my deduce umber of doubly bouded polyoml dettes of the Rogers Rmuj type. There s mple precedet for such results [14], [15], [3]. I prtculr, Burge [14] preseted doubly bouded detty tht coted both the fte verso of the Rogers Rmuj detty gve [1] s well s the Schur s celebrted polyoml log of the Rogers Rmuj detty [18]. Recetly, Wrr [3], drwg o wor of Burge [14] d Fod et l [15], lso foud two prmeter polyoml dettes, whch ot oly cot results of [1], but lso 4.1 s lmtg cses: + M 0 j M 1 j j5j 1 + M + j + M j + j j. 5.1 I the sme wor, Wrr fds smlr formul for the secod Rogers Rmuj detty: M M + 1 M 1 j M 1 j j5j+3 + M + j + j M j j, 5. where here d throughout, M Z 0. We ote tht 5.1 follows from Bley s 1W 11 5 φ 4 trsformto formul.1 uder the substtutos M, 1, 1+,, ρ. If we set M,, 3+,, ρ.1, we get formul, whch s very smlr to 5.: j M M j j5j+3 + M + j + + j M j + 1 j We observe tht 5.3 cots Bressoud s formul 4. s lmtg cse M. Just s there re umerous mportt clsscl dettes coted Wtso s - log of Whpple s theorem e.iii.17 [17], so too there re further eully terestg specl cses of.1. I prtculr, settg M, 1, 1+, 1, ρ.1 yelds 0 + M j M. [ + M j + M + j 1 j j j + j ], 5.4

12 1 GEORGE E. ADREWS AD ALEXADER BERKOVICH two prmeter polyoml geerlzto of 0, 1 j 1 j j. 5.5 We ote tht 5.4 s the, b, 1 cse of Theorem 7.1 [3]. ow, set M, 1, 1+, x, ρ 1 x.1 d let x 0 to fd other formul [3] + M 0 j M 1 j 3j j + M + j + M j + j j. 5.6 Ths s two prmeter refemet of Bressoud s fte verso of Euler s Petgol umber Theorem [1]. ot surprsgly, detty 5.6 reduces to 5.1 uder the substtuto 1. ext, replce by.1. The, set M, 1, +,, ρ. Ths yelds two prmeter refemet of the Adrews Stos detty [6]: + M 0 j M 4j j + M + j + j + M j j. 5.7 I the lmt s, M, the bove detty reduces to e. 39 o the celebrted Slter s lst [0]. If we set M, 1, 1+, ρ 1.1 we obt m,m 0 + M [ [ ] ] mm, 1 j 3j+1 j + M + j + M j 1 + j j mm, j. + j I the lmt s, M, ths s reveled to be Wtso s formul [4] for the thrd order moc thet fucto: 0 j 1 j 3j+1 j 1 + j. 5.9 Or oe my te M, 1, 1+, 1, ρ.1 to obt [ 0 ] + M [ + M ], 5.10

13 THE WP BAILEY TREE AD ITS IMPLICATIOS 13 whch s two prmeter geerlzto of the clssc expso of the geertg fucto for the urestrcted prttos e...9 []: I fct, 5.10 s specl cse of the -Pfff-Slschütz detty II.1 [17]. Whle the formuls of ths secto hve so fr bee derved from Bley s 1 W 11 5φ 4 trsformto formul.1, t s deftely possble to obt further doubly bouded dettes from some of the other trsformto formuls. For exmple, f we set M, 1, , we obt m,m 0 [ mm, ] j mm, 1 j j7j M M + j + M j j, 4 j d f we let M d we ed up wth oe of the Rogers Selberg dettes Ex. 10,p.117 [] 0 ; 1, j 1 j j7j We ote tht 5.1 cots Bressoud s polyoml verso of 5.13 s specl lmtg cse M. 6. The Gsper Krllov detty We cotue ths ccout of WP Bley prs d ther pplctos wth cosderto of detty commucted to oe of us G.E.A. by A.. Krllov. The ttempt to prove Krllov s detty from the exstg lterture led to the costructs [5]. I prse of escece we dd tht the etre effort would ever hve bee mde f we hd observed tht Krllov s formul s, fct, the cse δ 1 of the followg formul 1W 11 ;,,,,, δ, δ,, ;,, δ, 4φ, δ,, δ ;, 3 δ δ,, 6.1 1, δ 1 whch s euvlet to the formul of Gsper [16],[[17], p. 31, Ex. 8.15]. To prove 6.1 we use the followg WP-pr:

14 14 GEORGE E. ADREWS AD ALEXADER BERKOVICH d α W, β W,, δ, δ, δ,,,, δ, δ,,,, δ 6. δ 4φ,,, δ;, 3 δ, 1, δ The sserto tht α W d βw stsfy 1.6 s stce of Wtso s -log of Whpple s theorem e.iii.17 [17]. If we ow put ths WP Bley pr to 1.10 d 1.11 we obt ew WPpr, whch whe serted to 1.6 yelds the followg result: 1W 11 ;,,,,, δ, δ,, ;,,,, δ j, j0, δ, j j j 4φ, δ j,, δ;, 3 δ, j, δ. 6.4 j Clerly 6.4 hs the sme left-hd sde s 6.1, but deftely ot the sme rghthd sde. To detfy these rght-hd sdes, we use the -Pfff-Slschütz sum II.1 [17] d ote tht the rght-hd sde of 6.4 my be wrtte s,, δ, 0, δ j0,, 0, δ by II.1 [17],, s desred., δ, δ +j δ,,, 0 j, δ j j, δ j 3φ δ,,, δ, 4φ, δ,, δ ;, 3 δ, 1, δ 1,,, δ +j, δ, +j δ, + ;, δ, +, δ δ,, Well-posed Burge prs d further doubly bouded polyoml dettes We sy tht seueces {A } d {B } form Burge pr f they stsfy the followg relto B M, j 0 A j Q, M, j, bj, 7.1

15 THE WP BAILEY TREE AD ITS IMPLICATIOS 15 wth, M,, b Z 0, d + M + j bj + M j + bj Q, M, j, bj, j j I [14], Burge mde crucl use of the followg formuls d b j Q, M, + bj, bj, j Q, M, + bj, j, M Q,, j, bj,, M Q,, j, bj,, 7.4 wth, M,, b, Z 0 d bj. It s esy to chec tht 7.3 d 7.4 re mmedte coseueces of the -Pfff-Slschütz sumii.1 [17]. The power of 7.3 d 7.4 les the fct tht these trsformtos c be employed to geerte fte bry Burge tree from the tl seed detty 7.1. I prtculr, f, followg [14], we pply 7.3 to 7.1 wth 0 b, we obt the ew detty 0 + M, B A j b j Q, M, + bj, bj,. 7.5 j 0 Smlr pplcto of 7.4 to 7.1 wth 0 b yelds 0 + M, B A j j Q, M, + bj, j,. 7.6 j 0 We ow observe tht both 7.5 d 7.6 re of the form 7.1. Therefore, we c trsform these dettes to the four ew oes d so t goes. Comprso of 7.1 wth 1, b 0 d 1.6 wth, 1+M, 1 suggests tht WP Bley pr α 1,, β 1, c be terpreted s Burge pr, provded tht α 1, does ot deped o. We wll cll such prs WP Burge prs. If we ow sert.3 d.4 to 1.6 wth, d the set 1, 1+M, 1, ρ, we fd + M 1 j 1 j Q, M, j, 0,. 7.7 Actully, ths detty s specl cse of the -Kummer sum II.9 [17]. From 7.7 we red off our frst WP Burge pr: { 1, f > 0, 1, f 0, A 1 7.8

16 16 GEORGE E. ADREWS AD ALEXADER BERKOVICH Itertg 7.7 by 7.4 yelds + M 3φ,, M ;,, M B 1 + M M, j M 1 j j Q, M, j, j, By evlutg the left-hd sde wth the d of the Pfff-Slschütz sum II.1 [17], we rrve t Burge s detty [14] + M j M 1 j j Q, M, j, j, Further tertos of 7.11 by Burge trsforms 7.3 d 7.4 c be foud [3]. ext, 1.6 wth.3,.4 d, we set 1, 1+M,, ρ to get M + M j whch s defg relto for our secod WP Burge pr: 1 j j Q, M, j, 0,, 7.1 A { 1 1 +, f > 0, 1, f 0, 7.13 B + M M, M It s worth metog tht 7.1 s, fct, lmtg cse of the Jcso s termtg -log of Dxo s sum II.15 [17]. If we pply 7.4 to 7.1 d use -Chu-Vdermode sum II.6 [17], the we redscover recet result of Wrr [3]: + M j M 1 j 3j+1 j Q, M, j, j, Further tertos of 7.15 by 7.3 d 7.4 re descrbed detl [3]. Here, we cofe ourselves to the commet tht the doubly bouded polyoml log of the frst Rogers Rmuj detty 5.1 s mmedte coseuece of 7.15 d 7.6. To derve our thrd WP Burge pr, we g use 1.6 wth.3 d.4. Ths tme we set, 1, 1+M,, ρ to obt

17 THE WP BAILEY TREE AD ITS IMPLICATIOS 17 + M + 1 j j Q, M, j, 0, Clerly, ths detty mouts to the sserto tht A 3, B3 M, form WP Burge pr, where { +, f > 0, 1, f 0, A d B 3 M, + M To get better feelg for 7.16, we rewrte t s + M M M + M If we let M 7.19, we get well-ow formul for the Rogers Szergö polyomls Ex. 5, p. 49 [] ; O the other hd, f we let 7.19, we fd specl cse of -boml theorem [] 1 ; 1+M 0 + M. 7.1 Thus, formul 7.19 coects two ow, but prevously urelted polyoml dettes. ext, we pply Burge trsform 7.4 to Employg the Pfff Slschütz sum, we deduce tht + M j M If we terte ths lst detty by 7.3, we fd 0 + M j + j Q, M, j, j,. 7. j M j + j Q, M, j, j,. 7.3

18 18 GEORGE E. ADREWS AD ALEXADER BERKOVICH Surprsgly, uder the substtuto, 7.3 becomes 5.7. If we cotue to terte 7.3 by 7.3, we obt fter ν 1 tertos: + M 1 ν [ 1 + δj,ν j + j ] 1,..., ν ν where, s ususl, j M M 1 j1 1 + δ j,ν j l1 l δ j,ν ν+1j + j Q, M, ν + 1j, j,, 7.4 j j + j ν, 7.5 d t s uderstood tht ν. It s esy to chec tht 7.4 rems vrt uder trsformto 1. Flly, replcg by d ν by ν d lettg d M ted to fty, we deduce wth the d of the Jcob s trple product formul II.8 [17] tht 1,..., ν ν 1 ; 1... ; ν ν 1 1 ; j νj +j 1 ν 1, ν+1 ; 4ν 8ν, 4ν, 4ν, 4ν+ ; 8ν ;. 7.6 We remr tht 7.6 s the lytc verso of the prtto theorem [6]. A complete Burge tree wth the root 7.16 wll be descrbed elsewhere. 8. Further observtos Let us recll the surprse ecoutered the lst secto. Idettes 5.1 d 5.7 c be derved ether v the WP Bley tree or, ltertvely, v the Burge tree. To prphrse, sgle terto of A 1, B1, A, B d A3, B3 by 1.10 d 1.11 gves result, whch s euvlet to double terto of these prs by the Burge trsform 7.4. Clerly, oe wts deeper uderstdg of relto betwee these two costructs. To ths ed we use Pfff-Slschütz sum to fd followg vrto o the costruct 1.10, Theorem. If A d B M, form Burge pr stsfyg 7.1, the the detty M + 1+M B 1 M, 0 A j j b Q, M, j, bj, 8.1 holds true. j 0 Alogous to wht we observed the cse of 1.10 d 1.11, we see tht double pplcto of the lst theorem gves bc orgl Burge pr. However, cse b 0, oe c explot the symmetry Q, M, j, bj, QM,, bj, j,, 8.

19 THE WP BAILEY TREE AD ITS IMPLICATIOS 19 to terte 7.1 by 8.1 further order to get multseres represetto for A j j bνν b++b Q, M, f,b,ν+1 j, f,b,ν j,, j 0 wth ν beg umber of tertos d f,b,ν ν b+b. It s worth metog tht ule wht hppes f oe tertes by 7.3 d 7.4, terto of 7.1 by 8.1 together wth 8. results oe dmesol ch of dettes, sted of bry tree. For exmple, ch wth the seed 7.16 gves self dul detty m 1,...,m ν 0 ν m 1 + m +1 1 m ν 1 1 m +m ν ν 1 1 mm+1 [ + M m1 M m 1 δ,ν M ν j M ν j νν+1+ j Q, M, ν + 1j, νj,, 8.3 wth m 0 : d m ν+1 : m ν 1. To emphsze close relto betwee our ch d Burge tree, we observe tht the bove detty could hve bee derved by pplyg Burge s trsform 7.4 to 7.4 wth ν ν 1 d by chgg the summto vrbles the resultg detty. Despte such strog smlrtes, 8.1 d 7.5, 7.6 re clerly dfferet. I prtculr, whle double pplcto of 8.1 to 7.1 gves bc the tl detty, ths s ot the cse for ether 7.5 or 7.6. Further mplctos of the Theorem wll be explored our subseuet publctos. 9. Cocludg Remrs Our m object hs bee to llustrte the tremedous possbltes scet WP Bley prs d ther terto v d 8.1, 8.. I sese, the orgl methods developed by Bley d employed so successfully by Gsper d Rhm [17],.8, could be used to prove my results ths pper. However the power of WP Bley prs les the fct tht t llows oe to see pst the leves to the tree. Gve the lrge umber of ew -hypergeometrc trsformtos derved ths pper, t s cler tht the WP Bley tree cots my more pplctos of terest. Acowledgmet. We would le to th K. Alld, G. Gsper d S.O. Wrr for ther terest d commets o ths muscrpt. Reserch of G.E. Adrews ws prtlly supported by SF Grt DMS d reserch of A. Berovch ws supported prt by SF Grt DMS ]

20 0 GEORGE E. ADREWS AD ALEXADER BERKOVICH Refereces [1] G.E. Adrews, Problem 74-1, SIAM. Revew, , 390. [] G.E. Adrews, The Theory of Prttos, Ecycl. of Mth. d ts Appl., vol., G.-C. Rot ed., Addso-Wesley, Redg, 1976 Ressued: Cmbrdge Uversty Press, Cmbrdge [3] G.E. Adrews, Multple seres Rogers Rmuj type dettes, Pc. J. Mth., , [4] G.E. Adrews, O the proofs of the Rogers-Rmuj dettes, -Seres d Prttos, D. Stto ed., I.M.A. vol.18, pp. 1-14, Sprger, ew Yor, [5] G.E. Adrews, Bley s trsform, lemm, chs d tree, Proc. of Specl Fuctos 000, to pper. [6] G.E. Adrews, J.P.O. Stos, Rogers Rmuj type dettes for prttos wth ttched odd prts, Rmuj J., , [7] W.. Bley, Some dettes combtory lyss, Proc. Lodo Mth. Soc., , [8] A. Berovch, B.M. McCoy, Cotued frctos d fermoc represettos for chrcters of Mp,p mml models, Lett. Mth. Phys., , [9] A. Berovch, B.M. McCoy, A. Schllg Rogers Schur Rmuj type dettes for the Mp,p models of coforml feld theory, Comm. Mth. Phys., , [10] A. Berovch, P. Pule, Vrts of the Adrews Gordo Idettes, Rmuj J. to pper, mth.co/ [11] A. Berovch, P. Pule, Lttce pths, -multomls d two vrts of the Adrews Gordo Idettes, Rmuj J. to pper, mth.co/ [1] D.M. Bressoud, Some dettes for termtg -seres, Mth. Proc. Cmbrdge Phl. Soc., , [13] D.M. Bressoud, M.E.H. Isml, D. Stto, Chge of bse Bley prs, Rmuj J., 4 000, [14] W.H. Burge, Restrcted prtto prs, J. Comb. Theory Ser. A, , 10-. [15] O. Fod, K.S.M. Lee, T.A. Welsh, A Burge tree of Vrsoro-type polyoml dettes, It. J. Mod. Phys. A, , [16] G. Gsper, Rogers lerzto formul for the cotuous -ultrsphercl polyomls d udrtc trsformto formuls, SIAM J. Mth. Al., , [17] G. Gsper, M. Rhm, Bsc Hypergeometrc Seres, Ecycl. Mth. Appl. G.-C. Rot, ed., 35, Cmbrdge Uv. Press, Lodo d ew Yor, [18] I.J. Schur, E Betrg zur ddtve Zhletheore ud zur Theore der Kettebrüche, Stz. Preuss. Ad. Wss. Phys.-Mth. Kl. 1917, [19] U.B. Sgh, A ote o trsformto of Bley, Qurt. J. Mth., Oxford Ser., , [0] L.J. Slter, Further dettes of Rogers Rmuj type, Proc. Lodo Mth. Soc., , [1] A. Schllg, S.O. Wrr, Superoml coeffcets, polyoml dettes d -seres, Rmuj J., 1998, [] S.O. Wrr, 50 yers of Bley s lemm, Alg. Combtorcs d Appl., A. Bette et l eds., Sprger, Berl, 001. [3] S.O. Wrr, The geerlzed Borwe cojecture. I. The Burge trsform, mth.co/ [4] G.. Wtso, The fl problem: ccout of the moc thet fuctos, J. Lodo Mth. Soc., , Deprtmet of Mthemtcs, The Pesylv Stte Uversty, Uversty Pr, PA 1680 E-ml ddress: drews@mth.psu.edu Deprtmet of Mthemtcs, Uversty of Flord, Gesvlle, FL 3611 E-ml ddress: lexb@mth.ufl.edu