arxiv: v1 [math.nt] 25 Nov 2009

Transcription

1 Transformations of Jesus Guillera s formulas for 1/. Gert Almvist arxiv: v1 [math.nt] 2 Nov 2009 Introduction. Jesus Guillera has found nine formulas of Ramanuan type for 1/ (see [] [6]). The first three are proved using the WZ-method. Then there exist a lot of formulas obtained by two methods, squaring a formula for 1/π or transforming one of Guillera s formulas. Both methods were invented by Wadim Zudilin ([7] [8]). I gave some more examples of the squaring method in [3]. In [4] Baruah Berndt obtain a lot of formulas for 1/ by using Eisenstein series, but they are all examples of squaring formulas for 1/π. Here we give some examples of very simple transformations. Finally we record some congruences mod p not found in Zudilin [9]. Transformations. Consider the following transformation of sequences ( 1) a It is an involution since we have the inverse a n ( 1) b The corresponding formulas for the generating functions are b n x n 1 1 x a n x n 1 1 x a n ( x b n ( x Remar. This transformation was used in [1] to find 14 new Calabi-Yau differential equations, denoted 1, 2,..., 14 in the table [2]. Indeed let e.g. ( (c) n c(c + 1)...(c + n 1) is the Pochhammer symbol) Then a n 2 10n (1/2) n n (1/2) 2 10n ( 1)! w 0 b n x n 1

2 satisfies a fifth order differential equation whose fourth order pullbac is the Calabi-Yau equation 3. Assume now that we have one of Guillera s formulas for 1/ (see [] ) a n (an 2 + bn + c)x n 0 1 Let θ x d dx f(x) a n x n Then the formula for 1/ is obtained by substituting x x 0 in This is equal to Now we have It follows where (aθ 2 + bθ + c)f(x) } (aθ bθ + c) b n ( x 1 x ( 1) n b n (aθ 2 x n } + bθ + c) (1 x) n+1 x n } θ (1 x) n+1 n + x (1 x) 2 ( x θ 2 x n } (1 x) n+1 n2 + 3xn + x + x 2 x (1 x) 3 ( b n a n2 + 3x 0 n + x 0 + x 2 0 (1 x 0 ) 3 + b n + x 0 (1 x 0 ) 2 + c } w0 n 1 x 1 0 w 0 x 0 1 x 0 We use Guilleras numbering of his formulas in []. The corresponding Calabi- Yau equations use the notation of [2]. Identity 1. a n (1/2) n ( 1) n a n (20n 2 + 8n + 1) 1 2 2n 8 2

3 3 (1/2) ( 1)! b n (64n 2 16n 1) 1 n 0 Identity 2. Here a n b n are the same as in Identity 1. ( 1) n a n (820n n + 13) 210n b n ( n n ) 102 n Identity 3. a n (1/2)3 n(1/4) n (3/4) n ( 1) n b n ( n n ) 2400 n Identity (1/2) 3 ( 1) (1/4) (3/4)! ( 1) n b n (2048n n + 21) 1 1 n 40 a n (1/2) n(1/3) n (2/3) n (1/4) n (3/4) n ( 1) n a n (22n n + ) 1 48 n 48 ( 1) (1/2) (1/3) (2/3) (1/4) (3/4)! b n (41472n n 209) n 2 3

4 Identity. 12 a n (1/2) n(1/4) n (3/4) n (1/6) n (/6) n ( 1) n a n (1640n n + 1) 210n 3 ( 1) (1/2) (1/4) (3/4) (1/6) (/6)! b n (216824n n ) 102 n Identity 6. 7 a n (1/2) n(1/8) n (3/8) n (/8) n (7/8) n a n (1920n n + 1) n ( 1) (1/2) (1/8) (3/8) (/8) (7/8)! ( 1) n b n ( n n ) 2400 n Identity 7. 8 a n (1/2) n(1/3) n (2/3) n (1/6) n (/6) n ( 1) n a n (418n n + 29) 803n ( 1) (1/2) (1/3) (2/3) (1/6) (/6)! b n ( n n ) n Identity 8. a n ( 2n n ) 2 n ( 2 ) 2 ( 2n 2 n ) 2 4

5 a n (36n n + 1) 210n ( n ( 1) )( 2 ) 2 ( 2 ) 2 ( 2 2 ( 1) n b n ( n n ) 1023 n ) 2 Identity 9. In [6] Guillera has found a new formula for 1/ from all the others. Let a n 1 ( ) 2 ( ) 3 2n 4n n + 1 n 2n 2 which is very different Then Observe that y a n (672n n n ) n a n x n does not satisfy a fifth order differential equation (but one of order six). Here we need θ 3 x n } (1 x) n+1 n3 + 6xn 2 + (4x + 7x 2 )n + x + 4x 2 + x 3 x (1 x) 4 ( We have ( 1) ( n )( 2 ) 2 ( ) get the monster formula ( 1) n 1 b n U(n) n 33 ( ) where U(n) n n n B.Gourevich found the following formula (1/2) 7 n n! 7 (168n n n + 1) 1 64 n 32 π 3

6 With ( n (1/2) ( 1) ) 7! 7 we find ( 1) n b n (209712n n n ) 1 63 n π 3 In [7] Zudilin used a quadratic transformation to obtain two new formulas for 1/ from Guillera s identities 1 2. Here ( )( ) 2n 4n n ( 2 a n 16 n n 2n ) 3 ( ) 2n 2 n the first formula is Z 1. a n (18n n 3) 802n We have ( n ( 1) 16 )( 2 )( 4 2 )( 2 ) 3 ( 2 2 ( 1) n b n ( n n 473) 6399 n The other formula is Z 2. a n (104629n n ) 102 2n Our transform is ( 1) n b n ( n n ) n ) Remar. After writing this I found Riordan: Combinatorial Identities (in Russian) realized that there are an infinity of such transformations. Indeed let + p ( 1) a + p 6

7 then a n x n Identity 1 is then transformed to Identity 2 to 1 (1 x) 1+p b n ( x b n (64n 2 16(2p + 1)n + 4p 2 16p 1) 1 n p+2 2 2p 1 b n (2 22 n (p 111)n + 4p p ) 102 n 2p+ 41 p p+3 In particular if p 1/2 we get from Identities 1 2 with the formulas with + 1/2 (1/2) ( 1) + 1/2! b n (64n 2 32n 22) 1 n 2 b n (2 20 n n ) 102 n If p 1/2 then we get ( ) 2n n ( )( n 2 ( 26) n b n (32n 2 3) 1 20 n 10 b n (104876n n ) 4 n 102 n These formulas resemble Zudilin s formulas in [7]. Another interesting transformation is ( ) 2 a n ) 4 7

8 with inverse One finds With we get a n ( ) 2 4 ( )} b n a n x n 1 4x b n x n a n ( 2 ( ) 2n n )( 2n 2 n Identities 1 2 transform to ( 1) n b n (210120n n ) n ( 1) n b n ( n n ) /2 37 3/ /2 220n ) Another substitution that leads to a quadratic transformation is the following [n/2] ( ) ( )} n n a n 2 1 with the inverse [n/2] a n ( 1) The generating functions satisfy Then with a n x n x 2 [n/2] b n 2 x b n ( 1 + x 2 )n ( ) ( n n 1 Identity 1 transforms to ( 1) n 2 12 } n b n U(n) )}( 2n 4 n 2 ) ( )3 2 21

9 where U(n) n n Identity 2 transforms to ( 1) n 2 20 } n b n U(n) where ( ) U(n) n n Congruences. In [9] Zudilin observes that Guilleras formulas 1-7 if summed to p 1 where p is a prime, usually > 3, also produce congruences mod p. He proves one of them, the rest being conectures. We noted that also the 9-th formula gives a congruence. p 1 ( 2n n ) 2 ( 4n 2n ) 3 672n n 2 ( ) + 78n + 9/2 1 2 n + 1/2 2 22n 9 p 2 mod p p The squares of formulas for 1/π rarely produce congruences mod p. There are some exeptions when a n In [3] we find (it is.2 in [4]) (1/2) 3 (1/2)3 n! 3 (n )! 3 In [4] we find p 1 a n (441n n + 17) 1 64 n 17p2 mod p p 1 a n (3n 2 + n) 1 4 n 0 mod p6 (.22) p 1 ( 1) n a n (16n n + ) p 2 mod p (.26) p 1 ( 1) n a n (9n 2 + n + 1) 1 8 n p2 mod p (.28) 9

10 References: 1. G. Almvist, W. Zudilin, Differential equations, mirror maps zeta values, in: Mirror Symmetry V, N. Yui, S.-T. Yau, J. D. Lewis (eds), AMS/IP Stud. Adv. Math. 38 (International Press & Amer. Math. Soc., Providence, RI, 2007) 481 1; arxiv: math/ G. Almvist, C. van Encevort, D. van Straten, W. Zudilin, Tables of Calabi-Yau equations, arxiv: math/ G. Almvist, Ramanuan-lie formulas for 1/ á la Guillera Zudilin Calabi-Yau differential equations, Computer Science J. of Moldova, 17 (2009), N. D. Baruah, B. C. Berndt, Ramanuan s Eisenstein series new hypergeometric-lie series for 1/, J. Approx. Theory, J. Guillera, My formulas for 1/, available at 6. J. Guillera, Expansions related to Ramanuan series alie, available at 7. W. Zudilin, Quadratic transformations Guillera s formulae, arxiv CA/ W. Zudilin, More Ramanuan-type formulae for 1/, Russian Math. Surveys 62 (2007), W. Zudilin, Ramanuan-type congruences, arxiv, math.nt Institute of Algebraic Meditation Fogdaröd 208 SE HÖÖR Sweden gert.almvist@yahoo.se 10