arxiv: v1 [math.nt] 5 Jan 2019

Transcription

1 POLYNOMIAL GENERALIZATIONS OF TWO-VARIABLE RAMANUJAN TYPE IDENTITIES arxiv: v1 [matnt 5 Jan 019 JAMES MCLAUGHLIN AND ANDREW V SILLS Dedicated to Doron Zeilberger on te occasion of is sixtiet birtday Abstract We provide finite analogs of a pair of two-variable -series identities from Ramanujan s lost notebook and a companion identity Te progress of matematics can be viewed as progress from te infinite to te finite Gian-Carlo Rota (1983) 1 Introduction At te top of a page in te lost notebook [14, p 33 (cf [6, p 99, Entry 531):, Ramanujan recorded an identity euivalent to te following: j (z; ) j (/z; ) j (11) ( ; (z3, 3 /z, 6 ; 6 ) ) j ( ;, ) were we are employing te standard notation for rising -factorials, and (A;) : (1 A)(1 A)(1 A ) and (A;) n : (A;) (A n ;), (A 1,A,,A r ;) : (A 1 ;) (A ;) (A r ;) In a recent paper [11, we found a partner to (11) tat Ramanujan appears to ave missed: j(j+1) (z;) j (/z;) j+1 (1) (z,/z, 3 ; 3 ) (;) j+1 (;) Later on te same page of te lost notebook, Ramanujan recorded [6, p 103, Entry 535 j (z; ) j (/z; ) j (13) (; ) j ( 4 ; 4 (z, /z, 4 ; 4 ) ( ; ) ) j ( ; ) For furter discussion of tese tree identities, see [10 Remark Out of respect for Doron s ultra-finitist pilosopy, we deliberately refrain from stating conditions on and z wic imply analytic convergence of te infinite series and products in (11) (13) Date: January 17, Matematics Subject Classification Primary 11B65; Secondary 05A10 Key words and prases Ramanujan lost notebook, Rogers-Ramanujan identities 1

2 JAMES MCLAUGHLIN AND ANDREW V SILLS Te preceding identities stand out among identities of Rogers-Ramanujan type because tey are two-variable series-product identities Wile Rogers-Ramanujan type identities admit two-variable generalizations, most lose te infinite product representation in te two-variable case For example, in te standard two variable generalization of te first Rogers- Ramanujan identity, (14) z j j (;) j 1 (z;) n0 ( 1) j z j j(5j 1)/ (1 z j )(z;) j (1 z)(;) j, te rigt and side reduces to an infinite product only for certain particular values of z, eg z 1 gives te first Rogers-Ramanujan identity, j 1 (15) (;) j (; 5 ) ( 4 ; 5, ) wile z gives te second Rogers-Ramanujan identity, j(j+1) 1 (16) (;) j ( ; 5 ) ( 3 ; 5, ) after application of te Jacobi triple product identity [6, p 17, E (148) In [16, 3, te second autor presented nontrivial polynomial generalizations of all 130 Rogers-Ramanujan type identities appearing in Slater s paper [18 All of Slater s identities involved one variable only Here, we demonstrate tat te metods employed in [16 can be used to obtain polynomial generalizations of te rarer species of two-variable -series-product identities as well [ A : B Polynomial Generalizations Define te standard binomial coëfficient by (;) A (;) B (;) A B, if 0 B A 0, oterwise and te modified -binomial coëfficient by [ { A : [ 1, if A 1 and B 0, A B B, oterwise In [4, Andrews and Baxter define several -analogs of trinomial coëfficients; we sall reuire one of tem ere: L [ [ L L r T 0 (L,A;) : ( 1) r r L A r r0 More recently, Andrews [3 introduced te following generalization of te - binomial coëfficient: 0 if B < 0 [ A B ;,z 1 if B 0 or B A : B 0 z[ A B+ 1 if 0 < B < A (z A B ;) B A if B > A,

3 TWO-VARIABLE RAMANUJAN-TYPE IDENTITIES 3 Te following polynomial generalizations of (14) are known: [ n [ n (1) z j j ( 1) j j(5j 1)/ (1 z j 1 ) j j (z j ;) n+1 (see [1, 7, 9, 1), () z n n [8, E (35), and (3) 0 j n [ n z j j j ;, 0 j n [ [ n n j ( 1) j z j j(5j 1)/ (1 z j ) (;) j j j (z n+j+1 ;) n j (z j ;) n j+1 [ [ n n+1 j ( 1) j z j j(5j 1)/ j ;, ;,z j n j 0 j n 1 [ [ n n j ( 1) j z j+1 j(5j+3)/ j ;, n j 1 ;,zj [3, p 41, E (111) Andrews [3 notes tat one of is motivations for introducing (3) is tat bot sides of te euation are clearly polynomials term by term, wereas tis is not te case for te rigt and sides of (1) and () Te polynomial identities we introduce below also ave tis desirable feature Notice tat in eac of te identities below, te summands ave finite support, and follow te natural bounds (ie eac summation could be taken over all integers, and no nonzero terms would be added) Identity 1 (Polynomial Generalization of (11)), (4) n/ 0 i0 [ ( 1) +i z i +i +j j [ [ j j + n i i j ( 1) j z j 3j [ n 1 n+3j 1 +ǫ n (z,), were (5) ǫ n (z,) z j 1j +6j+n [ n 1 n+6j z j 1 1j 6j+n [ n 1 n+6j 3 if n if n

4 4 JAMES MCLAUGHLIN AND ANDREW V SILLS Identity (Polynomial Generalization of (1)) (6) were n/ j+1 ( 1) +i z i )+( ( i+1 0 i0 (7) ǫ n (z,) [ z j 6j j+n/ [ [ )+j(j+1) j j +1 i [ ( 1) j z j j(3j+1)/ n n +3j [ z j+1 6j +4j+ 1 +n Identity 3 (Polynomial Generalization of (13)) (8) 0 i0 n i l0 n n+6j+3 [ j +1+ n i n n+3j+ j +1 +ǫ n (z,), if n, if n [ [ [ ( 1) +i+l z i +i +j +l j j j +l 1 i l [ n i+j l j ) ( 1) j z j (T j 0 (n,j;)+t 0 (n 1,j;) 3 Derivation and a metod of proof 31 Identity 1 Recall te following conseuences of te -binomial teorem: [ j (31) (t;) j ( 1) t ( 1)/ (3) 0 1 (t;) j 0 [ +j 1 t Te derivation of (1) is via te metod used for te derivations of polynomial versions of Rogers-Ramanujan type identities (in only) as introduced by Andrews [, Capter 9, and furter explored by Santos [15 and te second autor [16, 17 We sall consider te details of (11) only; (1) and (13) may be treated analogously We begin wit te left and side of (11) (33) φ(z, ) : j (z; ) j (/z; ) j ( ; ) j Now define te following generalization of φ(z, ): t j (1+t) j (tz; ) j (t/z; ) j (34) f(t) : f(t;z,) : (t ;, ) j+1

5 TWO-VARIABLE RAMANUJAN-TYPE IDENTITIES 5 and let P n (z,) be defined by Note tat and Tus, f(t) f(t) P n (z,)t n n0 lim (1 t)f(t;z,) φ(z,) t 1 lim P n(z,) φ(z,) n t j (1+t) j (tz; ) j (t/z; ) j (t ; ) j t + j1 1 1 t + t j (1+t) j (tz; ) j (t/z; ) j (t ; ) j+1 t j+ j +4j+ (tz; ) j+1 (t/z; ) j+1 (t ; ) j t + t (1 tz)(1 t/z) (1 t )(1+t )(1 t) f(t ) (1 t )(1+t )(1 t)f(t) (1 t )(1+t )+t (1 tz)(1 t/z)f(t ), wic immediately implies (35) f(t) (1+t t t 3 4 )+ ( (1 )t+ t +( 4 )t 3 4 t 4) f(t) + ( t (z +z 1 ) 3 t t 4) f(t ) Upon recalling tat f(t) n0 P n(z,)t n, and extracting te coëfficients of t n from (35), we find tat te P n P n (z,) satisfy te fourt order recurrence (36) P n (1 )P n 1 +( + n )P n + ( 4 (z +z 1 ) n 3) P n 3 wit initial conditions +( n 4 4 )P n 4 (37) P 0 P 1 1; P 1+ ; P 3 1+ (z +z 1 ) 3 Tus we now aveafull caracterizationof te P n (z,) via a recurrencewit initial conditions Next, we use f(t) to derive te left and side of (1) P n (z,)t n f(t) n0 t j (1+t) j (tz; ) j (t/z; ) j (t ; ) j+1 t j (1+t) j [ ( tz) j 0 ( tz 1 ) i i i i0 [ i

6 6 JAMES MCLAUGHLIN AND ANDREW V SILLS r0,i,j,r 0 [ j,i,j,r 0 [ j +r t r ( ) by (31) and (3) r t j++i (t r +t r+1 )( 1) +i j + +i z i [ [ j j +r i j t j++i+s ( 1) +i j + +i z i [ [ [ j j s +j (were s r or s r+1) i j [ [ t n ( 1) +i+l j + +i j i +k+l z i n0,i,j,k,l 0 [ j + n i j (were n j ++i+s) Compare coëfficients of t n in te extremes to find P n (z,) [ ( 1) +i z i j + +i j,i,j 0 [ [ j j + n i i j Next, after some inspired guesswork, (see [5, 16, 17 for details) we define te polynomials Q n Q n (z,) { [ k : zk 1k m m+3k z k 1 [ 1k +1k+3 m 1 m+3k+1, if n m [ k zk 1k m m+3k z k 1 [ 1k +1k+3 m+1 m+3k+, if n m+1 [ n 1 ( 1) j z j 3j n+3j 1 +ǫ n (z,), were ǫ n (z,) z j 1j +6j+n [ n 1 n+6j z j 1 1j 6j+n [ n 1 n+6j 3 if n if n Ourgoalistosowtatte P n (z,)andq n (z,)areinfactoneandtesame, tus giving us (1) We would like to use a computer implementation of te -Zeilberger algoritm[13,19,0,1,tosimplysowtatteq n satisfyterecurrence(36), and ten upon cecking tat te Q n satisfy te initial conditions (37), we would be done Unfortunately, te implementations of te -Zeilberger algoritm currently available do not allow for direct input of summands as complex as tose under consideration ere And te corresponding certificate function would likely be rater orrendous Furter, it is unlikely tat te -Zeilberger algoritm would produce a

7 TWO-VARIABLE RAMANUJAN-TYPE IDENTITIES 7 minimal recurrence for te Q n So, te traditional automated proof would reuire a certain amount of pre-processing and post-processing 3 Identity Te derivation is analogous to tat of Identity 1 Te recurrence and initial conditions are ( (38) P n (1 )P n 1 +( + n )P n + (z +z 1 3 ) n 3) P n 3 wit +( n 1 )P n 4 P 0 1, P 1 1 /z, P 1+(1 z 1 ) +, P 3 1+(1 z 1 ) +(1 z z 1 ) 3 /z 4 /z 33 Identity 3 Te recurrence and initial conditions are (39) ( P n (1+ + n 1 )P n (z+z 1 ) n ) P n +( n 3 3 )P n 3 wit P 0 1, P 1 1+, P 1+ +(1 z z 1 ) Callenge We leave it as a callenge to produce automated proofs for Identities 1 3 Acknowledgments Many tanks to Doron Zeilberger for revolutionizing te way we approac te discovery and proof of identities, especially tose of te ypergeometric and - ypergeometric type References [1 G E Andrews, Problem 74-1, SIAM Review 16 (1974) [ G E Andrews, -Series: Teir Development and Application in Analysis, Number Teory, Combinatorics, Pysics and Computer Algebra, CBMS Regional Conference Series in Mat, No 66, American Mat Soc Providence, 1986 [3 G E Andrews, a-gaussian polynomials and finite Rogers-Ramanujan identities, in: Teory and Applications of Special Functions: a Volume Dedicated to Mizan Raman, M Ismail and E Koelink, eds, Springer, New York, 005 [4 G E Andrews and R J Baxter, Lattice gas generalization of te ard exagon model III: -trinomial coefficients, J Statist Pys 47 (1987) [5 G E Andrews and R J Baxter, Scratcpad explorations for elliptic teta functions, In: D V Cudnovsky and R D Jenks (eds), Computers in Matematics Lecture Notes in Pure and Applied Matematics, vol 15, pp 17 33, Marcel Dekker, Inc, 1990 [6 G E Andrews and B C Berndt, Ramanujan s Lost Notebook, Part II, Springer, 009 [7 D M Bressoud, Solution to problem 74-1, SIAM Review 3 (1981) [8 D M Bressoud, Some identities for terminating -series, Mat Proc Cambridge Pil Soc 89 (1981) 11 3 [9 S B Ekad and S Tre, A purely verification proof of te first Rogers-Ramanujan identity, J Combin Teory Ser A 54() (1990) [10 J McLauglin and A V Sills, On a pair of identities from Ramanujan s lost notebook, preprint, 010 [11 J McLauglin, A V Sills, and P Zimmer, Some implications of Cu s 10 ψ 10 extension of Bailey s 6 ψ 6 summation formula, preprint, 009

8 8 JAMES MCLAUGHLIN AND ANDREW V SILLS [1 P Paule, Sort and easy computer proofs of te Rogers-Ramanujan identities and identities of similar type, Electronic J Combin 1 (1994), #R10, 9 pp [13 M Petkovšek, H S Wilf, and D Zeilberger AB A K Peters, Wellesley, MA, 1996 [14 S Ramanujan, Te Lost Notebook and Oter Unpublised Papers, Narosa, 1987 [15 J P O Santos, Computer algebra and identities of te Rogers-Ramanujan type, PD tesis, Pennsylvania State University, 1991 [16 A V Sills, Finite Rogers-Ramanujan type identities, Electronic J Combin 10(1) (003) #R13, 1 pp [17 A V Sills, RRtools a Maple package for aiding te discovery and proof of finite Rogers- Ramanujan type identities, J Symbolic Comput 37 (004) [18 L J Slater, Furter identities of te Rogers-Ramanujan type, Proc London Mat Soc () 54 (195) [19 H S Wilf and D Zeilberger, Rational functions certify combinatorial identities, J Amer Mat Soc 3 (1990), [0 H S Wilf and D Zeilberger, Rational function certification of ypergeometric multiintegral/sum/ identities, Invent Mat 108 (199) [1 D Zeilberger, A fast algoritm for proving terminating ypergeometric identities, Discrete Mat 80 (1990) [ D Zeilberger, Te metod of creative telescoping, J Symbolic Comput 11 (1991) address: jmclauglin@wcupaedu Department of Matematics, West Cester University, West Cester, Pennsylvania address: ASills@GeorgiaSouternedu Department of Matematical Sciences, Georgia Soutern University, Statesboro, Georgia