arxiv: v1 [math.nt] 13 Dec 2010

Transcription

1 WZ-PROOFS OF DIVERGENT RAMANUJAN-TYPE SERIES arxiv:0.68v [mah.nt] Dec 00 JESÚS GUILLERA Abrac. We prove ome diverge Ramauja-ype erie for /π /π applyig a Bare-iegral raegy of he WZ-mehod.. Wilf-Zeilberger pair We recall ha a fucio A,k i hypergeomeric i i wo variable if he quoie A+,k A, k A,k + A, k are raioal fucio i k, repecively. Alo, a pair of hypergeomeric fucio i i wo variable, F,k G,k i aid o be a Wilf Zeilberger WZ pair [, Chap. 7] if F+,k F,k = G,k + G,k. Ihi cae, H. S. Wilf D.Zeilberger [5] have proved ha here exi a raioal fucio C, k uch ha G,k = C,kF,k. The raioal fucio C,k i he o-called cerificae of he pair F,G. To dicover WZ-pair, we ue EKHAD [, Appedix A], a ofware wrie by D. Zeilberger. If EKHAD cerifie a fucio, we have foud a WZ-pair!. We will wrie he fucio F, k G, k uig riig facorial, alo called Pochhammer ymbol, raher ha he ordiary facorial. The riig facorial i defied by x = { xx+ x+, Z +,, = 0, or more geerally by x = Γx + /Γx. For Z Z, hi la defiiio coicide wih. Bu i i more geeral becaue i i alo defied for all complex x uch ha x+ C Z Z +. Key word phrae. Hypergeomeric erie; WZ-mehod; Ramauja-ype erie for /π /π ; Bare Iegral.

2 JESÚS GUILLERA. A Bare-iegral WZ raegy If we um over all 0, we ge G,k G,k + = F0,k+ lim F,k. D. Zeilberger wa he fir i applyig he WZ-mehod o prove a Ramaujaype erie for /π []. Followig hi idea, i a erie of paper [], [5], [8], [] i he auhor hei [7], we ue WZ-pair ogeher wih formula o prove a oal of eleve Ramauja-ype erie for /π four Ramauja-like erie for /π. However, while we dicovered hoe pair we alo foud ome WZ-pair correpodig o diverge Ramauja-ype erie [0], like he followig pair: F,k = A,k Γ+ 6, G,k = B,k Γ+ 6, where A,k = U,k, B,k = U,k5+6k +, +k + U,k = + k + k +k +k I i obviou ha we cao ue formulae wih hi pair. To deal wih hi kid of WZ-pair we will proceed a follow: Fir we replace he facor wih Γ + Γ. By doig i we agai ge a WZ-pair, becaue Γ+Γ raform formally i he ame way uder he ubiuio +; ha i chagig he ig. To fix idea, he modified verio of he WZ-pair above i F, = A,Γ 6 6 k k 5 6, G, = B,Γ 6 The, iegraig from = o = i alog a pah P curved if eceary which eparae he pole of he form = 0,,... from all he oher pole, we obai 5 B,Γ z d = πi B, z, z <,! where we have ued he Bare iegral heorem, which i a applicaio of he reidue Cauchy heorem uig a coour which cloe he pah wih a righ ide emicircle of ceer a he origi ifiie radiu. The Bare iegral give he aalyic coiuaio of he erie i z C [,. Iegraig alog he ame k..

3 WZ-PROOFS OF DIVERGENT RAMANUJAN-TYPE SERIES pah he ideiy G,+ G, = F+, F,, we obai +i G,+d F,d G,d = F,d = C F+,d F,d, F,d = where C i he coour limied by he pah P, he ame pah bu moved oe uiy o he righ ide he lie x = x = +. A he oly pole iide hi coour i a = 0 he reidue a hi poi i zero, he la iegral i zero we have he ideiy 6 G,d = which implie, by Weierra heorem [], ha πi G,d = lim πi = πi where, he la ep hold becaue Γ z d = πi implie ha πi Hece, we have + πi + + or equivalely + πi + + π G,+d. G,d = πi Γ d = Γ z d = Fially, ubiuig = 0, we ee ha 7 πi 5 6 z = lim π, G, d z, z <, z, z C [,. 5+6+Γ 5+6+Γ 5 + Γ d = d = π, π d = π. By defiiio of hypergeomeric erie, we ee ha for z <, we have z,, = F,, z

4 JESÚS GUILLERA z = z F, +,,, z where he oaio o he righ ide for he aalyic coiuaio of he erie i he lef. Hece, we ca wrie 7 i he form F,, 6, 5 6 F, 5, 7 6, = π. Ifwe iegrae 7iacoour which cloe he pahp wihaemicircle ofceer = 0 ake o he lef ide wih a ifiie radiu, he we have pole a = /, a = / a = / wih = 0,,,..., we obai 5 π 8 Γ 0+ Γ 6π. Oher example =. I a imilar way we ca prove oher ideiie of he ame kid, for example + πi Γ d = π, + ++Γ d = πi + π, πi Γ d ++ = π 6. I he wo la example, we cao apply he Weierra heorem bu we obaied he um uig Carlo heorem []. Subiuig = 0, we obai repecively 8 πi Γ d = π,

5 0 WZ-PROOFS OF DIVERGENT RAMANUJAN-TYPE SERIES 5 +Γ d = πi π, πi 5+Γ d = π. Uig he hypergeomeric oaio we ca wrie 8, 0 repecively i he followig form: 5F,,,,,,, 5 F,,,,, 5 5 F,,,,, = π, F,,, 8 F,,, 8 = π, F,,, 0 F,, 5, = π. Relaed applicaio of he WZ-mehod for Bare-ype iegral are for example i [, Sec. 5.] [].. The dual of a diverge Ramauja-ype erie Package EKHAD cerifie he pair F,k = U,k +k, G,k = ++k +k U,k6, +k where + k U,k = + k k =! +k!k! +k k! k!+k! 6 k. We cao ue hi WZ-pair o obai a Ramauja-like evaluaio becaue, a z >, he correpodig erie alo he correpodig Bare iegral are boh diverge. However, we will ee how o ue i o evaluae a relaed coverge erie. Wha we will do i o apply he WZ dualiy echique [, Ch. 7]. Thu, if we ake he dual of G, k replace k wih k, we obai Ĝ,k = EHKAD fid i compaio k +k 6+ k +k, U, k +k +k 6 F,k = +k+k. U, k +k +k

6 6 JESÚS GUILLERA Applyig Zeilberger formula F+,+Ĝ, = Ĝ,j, =j wih j =, we obai 6 7 = = 6 =j =. The erie i are dual of Ramauja-ype diverge erie, i [6, p. ] we proved ha he erie i he righ ide i equal o π /. Hece 6 7 = 8π =. Formula, a well a oher imilar formula, wa cojecured i [, Coj.] by Zhi-Wei Su. ackowledgme I hak W. Zudili for ecourage me o ue he Bare iegral repreeaio o obai he um of diverge Ramauja-ype erie. I hak G. Almkvi for uggeig me o iegrae o he lef ide o ge ideiie wih coverge erie. Referece [] Bailey, W.N.: Geeralized hypergeomeric erie, Cambridge Mah. Trac, Cambridge Uiv. Pre, Cambridge, 5; d repried ediio, Secher-Hafer, New York-Lodo, 6. [] D.H. Bailey, D. Borwei, J.M. Borwei, R.E. Crall Hypergeomeric form for Iig-cla iegral, Experime. Mah. 6, 57-76, 007. [] Ekhad, S.B., Zeilberger D.: A WZ proof of Ramauja formula for π. I Raia, J.M. ed.. Geomery, Aalyi Mechaic. World Scieific, Sigapore, 07-08, ; alo available a arxiv:mah/06v.the coauhor EKHAD i a Maple package wrie by D. Zeilberger. [] J. Guillera, Some biomial erie obaied by he WZ-mehod. Adv. i Appl. Mah., 5-60, 00; arxiv:mah/0505. [5] J. Guillera, Geeraor of Some Ramauja Formula, Ramauja J., -8, 006. [6] J. Guillera, Hypergeomeric ideiie for 0 exeded Ramauja-ype erie, Ramauja J., 5, [7] J. Guillera, Serie de Ramauja: Geeralizacioe y cojeura. Ph.D. Thei, Uiveriy of Zaragoza, Spai, 007. [8] J. Guillera, O WZ-pair which prove Ramauja erie, Ramauja J,, -5, 008; arxiv: [] J.Guillera,A ew Ramauja-like erie for /π, RamaujaJ.acceped; arxiv:00.5. [0] J. Guillera W. Zudili, Diverge Ramauja-ype upercogruece; arxiv:00.7. [] M. Pekov ek, H. S. Wilf, D. Zeilberger, A=B, A K. Peer, Ld., 6; alo available a hp:// wilf/aeqb.hml. [] F. Sa, O recurrece for Iig iegral, Adv. i Appl. Mah. 5, -5, 00. [] Zhi-Wei Su, Supercogruece Euler um; arxiv:00.5.

7 WZ-PROOFS OF DIVERGENT RAMANUJAN-TYPE SERIES 7 [] E.T. Whiaker, G.N. Wao, A Coure of Moder Aalyi. Cambridge Uiv. Pre, 7. [5] H.S. Wilf, D. Zeilberger, Raioal fucio cerify combiaorial ideiie, Joural Amer. Mah. Soc., 7-58, 0. Wier of he Seele prize. addre: jguillera@gmail.com Av. Ceáreo Aliera, ec. izda o A, Zaragoza Spai