arxiv:math/ v1 [math.ca] 8 Nov 2003

Transcription

1 arxiv:math/ v1 [math.ca] 8 Nov 2003 PARTIAL SUMS OF HYPERGEOMETRIC SERIES OF UNIT ARGUMENT 1 WOLFGANG BÜHRING Abstract. The asymptotic behaviour of partial sums of generalized hypergeometric series of unit argument is investigated. 1. Introduction This paper deals with finite sums which are partial sums of the first m terms of hypergeometric series p+1f p of unit argument z 1 multiplied by appropriate gamma function factors, Γa 1 Γa 2 Γa p+1 a1,a 2 2,...,a p+1 p+1f p Γb 1 Γb p b 1,...,b p z z l. An important quantity in this context is 3 s p b 1 + +b p a 1 a 2 a p+1, the non-trivial characteristic exponent of the underlying differential equation at z 1. If Rs p > 0, then the hypergeometric series converges at z 1, and its value is given by the Gaussian summation formula for p 1 or by the corresponding generalized formulas [5] for p > 1. The terms of the series behave asymptotically as l a 1+a 2 + +a p+1 b 1 b p 1 l sp 1 for l, and if we consider the partial sum of the first m terms, then the contribution of the missing tail is Om sp as m. Therefore we have 2000 Mathematics Subject Classification. Primary 33C20. Key words and phrases. Partial sums, generalized hypergeometric series. 1

2 2 WOLFGANG BÜHRING Theorem 1. If Rs 1 > 0, then 4 as m, Γa 1 +lγa 2 +l Γb 1 +lγ1+l Γa 1Γa 2 Γs 1 Γa 1 +s 1 Γa 2 +s 1 +Om s 1 or more generally, Theorem 2. If Rs p > 0, then 5 as m, where 6 g 0 0 Γa 1Γa 2 Γs p Γa 1 +s p Γa 2 +s p 0 g 0 0+Om sp s p a 1 +s p a 2 +s p and the sum converges provided that Ra j > 0 for j 3,...,p+1. Here use is made of the Pochhammer symbol x n xx+1 x+n 1 Γx+n/Γx, and the coefficients for p 2,3,... are given in [5], but a few of them are displayed here again for convenience: 7 A 2 b 2 a 3 b 1 a 3,! 8 A A 4 b 3 +b 2 a 4 a b 1 a 3 2 b 3 a 4 2 b 2 a 4 2, 2! 2! b 4 +b 3 +b 2 a 5 a 4 a b 1 a 3 2 2! b 4 +b 3 a 5 a b 2 a ! b 4 a 5 3 b 3 a ! For p 3,4,... several other representations are possible [5], such as 10 A 3 b 3 +b 2 a 4 a 3 b 1 a 3!

3 or 3 F 2 PARTIAL SUMS 3 b 3 a 4,b 2 a 4, b 3 +b 2 a 4 a 3,1+a 3 b A 3 b 1 +b 3 a 3 a 4 b 2 +b 3 a 3 a 4! and 3 F 2 b 3 a 3,b 3 a 4, b 1 +b 3 a 3 a 4,b 2 +b 3 a 3 a A 4 b 4 +b 3 +b 2 a 5 a 4 a 3 b 1 a 3! or 13 b 4 +b 3 a 5 a 4 l b 2 a 4 l l b 4 +b 3 +b 2 a 5 a 4 a 3 l 1+a 3 b 1 l l! 3 F 2 b 4 a 5,b 3 a 5, l b 4 +b 3 a 5 a 4,1+a 4 b 2 l 1 A 4 b 1 +b 3 +b 4 a 3 a 4 a 5 b 2 +b 3 +b 4 a 3 a 4 a 5! b 3 +b 4 a 3 a 5 l b 3 +b 4 a 4 a 5 l l b 1 +b 3 +b 4 a 3 a 4 a 5 l b 2 +b 3 +b 4 a 3 a 4 a 5 l l! 3 F 2 b 3 a 5,b 4 a 5, l b 3 +b 4 a 3 a 5,b 3 +b 4 a 4 a 5 1. In the case p 2, the sum in 6 is an 3 F 2 and so 5 6 reduce, when m, to a well-nown transformation formula for 3 F 2 of unit argument [1] [10] [14]. The simple formula 4 above corresponding to p 1 can be recovered from the general formula 5 6 if we define 14 A 1 0 1, A 1 0 for > 0, so that then the sum over is equal to 1 and disappears. In a similar way the formulas in the other theorems below simplify for p 1. It is the purpose of this wor to investigate the asymptotic behaviour ofthepartial sums 1 forsituations when Rs p 0 andtofindamore detailed formula in cases, lie s p 1, when a few additional terms of higher order might be desirable.

4 4 WOLFGANG BÜHRING 2. The case when s p is not equal to an integer If Rs p 0, then the hypergeometric series diverges at z 1, and the contribution of the missing tail of the series does not asymptotically vanish. Responsible for this behaviour are the singular terms of the hypergeometric function at z 1. We have to explicitly subtract the contribution from the most important singular terms in order to get the tail to vanish as m. The behaviour of the hypergeometric function at z 1 is given by the continuation formula 15 Γa 1 Γa 2 Γa p+1 a1,a 2,...,a p+1 p+1f p Γb 1 Γb p b 1,...,b p z g n 01 z n +1 z sp g n s p 1 z n, which is valid provided that s p is not equal to an integer. Here the coefficient g 0 0 defined in 6 above enters, and, while the other g n 0 are not needed here, the coefficients g n s p of the singular term are [5] 16 g n s p 1 na 1 +s p n a 2 +s p n Γ s p n 1 n n 0 n a 1 +s p a 2 +s p. The singular terms onthe right-handside of 15 have, with x s p +n, the z-dependence 17 1 z x x l Γ1+l zl. With z 1, we shall need the partial sum of this series, 18 x l Γ1+l 1 x m x Γm m 1,2,... x 0. Treating the first N +1 singular terms on the right-hand side of 15 in this way, we may obtain 19 N 1 g n s p s p +n s p n m Γm g 0 0 +T 1 +T 2,

5 where 20 T 1 21 T 2 lim lm + PARTIAL SUMS 5 N g n s p m nn+1 lm s p n l Γ1+l, g n s p s p +nγ s p n Γ s p n+m. Γm We now have to show that the contributions T 1 and T 2 of the tails of the series are small. The terms in the series in T 2 are Om sp n with n N +1 as m, and so the series, in the worst case when n N + 1, converges provided that R s p N < 0. The sum of the series then is Om sp N, and T 2 exists and vanishes. The term T 1 may be written 22 T 1 where lm Γ s p +l Γ1+l S l, 23 S l Γb 1 +l Γb p +lγ s p +l N 1 n 1 g n s p. Γ s p n1+s p l n In the second term, use has been made of the reflection formula of the gamma function. It can be shown [6] that S l is Ol N 1 as l, so the terms of the sum are Ol sp N 2, and T 1 is Om sp N 1 as m. In this way we arrive at Theorem 3. If s p is not equal to an integer and N 0,1,2,... is chosen to be greater than R s p, then 24 N 1 n 1 s p +n n as m. 0 g 0 0 a 1 +s p n a 2 +s p n Γ s p n+m 1 n Γm n a 1 +s p a 2 +s p +Om sp N 1

6 6 WOLFGANG BÜHRING This theorem is applicable in the case of Rs p > 0 too and then may give more details of the asymptotic behaviour than theorem The case when s p is equal to an integer Ifs p isequal toaninteger, thentheprocedureofproofremainsessentially the same, except that the starting point is a more complicated continuation formula, in place of 15, containing logarithmic terms which have to be expanded too The case when s p is equal to zero. If s p is equal to zero, the hypergeometric series is called zero-balanced. It is this case which seems to be most interesting. While a few early results can be found in the monographs [1] [14] [10], the topic had received renewed attention, with emphasis on the zero-balanced series, in connection with Ramanujan s noteboos [11] [2] [3] [9] [8] [4] [15] [12] [13] [7]. The required continuation formula for the zero-balanced hypergeometric function is [5] Γa 1 Γa 2 Γa p+1 a1,a 25 2,...,a p+1 p+1f p Γb 1 Γb p b 1,...,b p z d n 1 z n + e n 1 z n ln1 z, where 26 e n a 1 n a 2 n 1 n 1 n n 0 27 d 0 2ψ1 ψa 1 ψa 2 + n a 1 a 2, 1 Γ a 1 a 2, and the other coefficients are not needed here. Again, we have to expand the singular terms on the right-hand side, 28 1 z n ln1 z c n l z l, where 29 c n l l1 1 l 1nΓ1+nΓl n Γl for l > n, while the coefficients for l n are 30 c 1 1 1, c 2 1 1, c

7 PARTIAL SUMS 7 With z 1, we need the partial sums of these series, 31 l1 c 0 l ψ1 ψm, 32 l1 c 1 l 1, 33 l1 c 2 l 1 m 2. Keeping the contribution from the singular terms up to and including n 2 together with the constant term on the right-hand side of 25 we arrive at Theorem 4. If s p is equal to zero, then 34 1 Γ a 1 a 2 +ψ1 ψa 1 ψa 2 +ψm+[a 1 a 2 1 ] 1 1[a 4 1a 1 +1a 2 a a 1 +1a ][m 2] 1 +Om 3 as m, where the infinite sum over converges if Ra j > 0 for j 3,...,p+1. This theorem gives more details of the asymptotic behaviour than our earlier formula [7]. If desired, equation 34 may be rewritten using 35 ψm lnm m 2 +Om 3 in order to exhibit the logarithmic dependence on m The case when s p is equal to a positive integer. For s p equal to a positive integer t, the theorems 1 or 2 are applicable, but for s p equal to 1 or 2 a few more terms of the asymptotic expansion might be desirable. In these cases the required continuation formula reads [5] 36 Γa 1 Γa 2 Γa p+1 a1,a 2,...,a p+1 p+1f p Γb 1 Γb p b 1,...,b p z t 1 l n 1 z n +1 z t [w n +q n ln1 z]1 z n,

8 8 WOLFGANG BÜHRING where 37 q n 1 ta 1 +t n a 2 +t n Γ1+t+n n 0 n a 1 +t a 2 +t, 38 l 0 Γa 1Γa 2 Γt Γa 1 +tγa 2 +t 0 t a 1 +t a 2 +t, and the other coefficients are not needed here. Using the expansions of the logarithmic terms and their partial sums from above and eeping the contributions up to and including n 1 in case of t 1 or n 0 in case of t 2, we may arrive at the following theorems. Theorem 5. If s p is equal to 1, then 39 1 a 1 a a 1 +1 a [a 1 +1a ][m 2] 1 +Om 3 as m, where the infinite sum converges if Ra j > 0 for j 3,...,p+1. Theorem 6. If s p is equal to 2, then 40 1 a 1 2 a a 1 +2 a [m 2] 1 +Om 3 as m, where the infinite sum converges if Ra j > 0 for j 3,...,p+1. We may observe that theorem 5 and theorem 6 are not unexpected, but 39 and 40 are special cases of 24. Indeed, all the quantities in 24 remain well-defined when s p approaches a positive integer, and so theorem 3 is valid even for positive integer values of s p.

9 PARTIAL SUMS The case when s p is equal to a negative integer. When s p is equal to a negative integer t, then the required continuation formula is [5] 41 where 42 Γa 1 Γa 2 Γa p+1 a1,a 2,...,a p+1 p+1f p Γb 1 Γb p b 1,...,b p t 1 1 z t h n 1 z n + z [u n +v n ln1 z]1 z n, h n 1 na 1 t n a 2 t n Γt n Γ1+n 43 v n 1 ta 1 t t+n a 2 t t+n Γ1+nΓ1+t+n 44 u ta 1 t t a 2 t t Γ1+t n 0 t+n 0 Γ a 1 a 2 t+ t 0 n a 1 t a 2 t, t n a 1 t a 2 t, t a 1 t a 2 t [ψ1+t +ψ1 ψa 1 ψa 2 ], andthe other u n arenot needed here. Proceeding as above and eeping thecontributionsfromthelogarithmictermsuptoandincludingn 2, we then may get Theorem 7. If s p is equal to a negative integer t, then 45 t 1 1 n 1 t n a 1 t n a 2 t n Γt n Γt n+m Γ1+n Γm n 0 + n a 1 t a 2 t 1 Γ a 1 a 2 t+

10 10 WOLFGANG BÜHRING + 1 ta 1 t t a 2 t t Γ1+t t 0 t a 1 t a 2 t [ψ1+t ψa 1 ψa 2 +ψm] + 1 ta 1 t t+1 a 2 t t+1 Γ2+t 0 t ta 1 t t+2 a 2 t t+2 2Γ3+t t 1 a 1 t a 2 t 1 t+2 t 2 a 1 t a 2 t [m 2] 1 +Om 3 as m, where the infinite sum converges if Ra j > 0 for j 3,...,p Special examples If the parameters a 1,...,a p+1,b 1,...,b p satisfy certain additional relations or even have special values, it may well be that the appropriate formula above can be simplified, in particular its constant term, which involves an infinite sum. As our first example of this ind, let us consider a zero-balanced 5 F 4 with the special values of the parameters a 1 a 2 a 3 a 4 1/2, a 5 5/4, b 1 b 2 b 3 1, b 4 1/4. The constant term CT of 34 then can be reduced most conveniently by means of 13 to 46 CT ψ1+4ln2 1 1+l 2 l2 l 3 / 2, 3F 3 / 2, l 18 5 / 2 l 5 2 / 2 l 2,3. 1 Here the infinite sum seems to be difficult to evaluate analytically, although it must simply be equal to 18ln2. For we now from Berndt [3] that 47 CT ψ1+3ln2. Using this information, we obtain from 34 Corollary π2 1 / 2 l 1 / 2 l 1 / 2 l 1 / 2 l 5 / 4 l 1 l 1 l 1 l 1 l 1 / 4 l ψm ψ1+3ln [m 2] 2 +Om 3.

11 PARTIAL SUMS 11 Our second example is a zero-balanced 5 F 4 which depends only on three independent parameters a, b, c according to a 1 a, a 2 b, a 3 c, a 4 a + b + c 1, a 5 a + b + c + 1/2, b 1 b + c, b 2 c+a, b 3 a+b, b 4 a+b+c 1/2. Here again, the infinite sum in the constant term of34 is difficult to evaluate analytically, but fortunately we now the constant term from a different source[8][3][11]. Thus we obtain Corollary Γa+lΓb+lΓc+lΓa+b+c 1+lΓ 1[a+b+c+1]+l 2 Γb+c+lΓc+a+lΓa+b+lΓ 1 2 [a+b+c 1]+lΓ1+l ψm+ 1 2 [ψ1 ψa ψb ψc]+ 1 2 a+b+c [2abc a+b+ca+b+c 1][m 2] 2 +Om 3. As a special case of this formula, with a b c 1/2, we can get again corollary 1 above. Other partial sums with interrelated parameters have been obtained by A. K. Srivastava [15]. References [1] W. N. Bailey, Generalized hypergeometric series, Stechert-Hafner, New Yor, [2] B. C. Berndt, Chapter 11 of Ramanujan s second noteboo, Bull. London Math. Soc , [3] B. C. Berndt, Ramanujan s noteboos, Part II, Springer-Verlag, New Yor, [4] W. Bühring, The behavior at unit argument of the hypergeometric function 3F 2, SIAM J. Math. Anal , [5] W. Bühring, Generalized hypergeometric functions at unit argument, Proc. Amer. Math. Soc , [6] W. Bühring, Asymptotic expansions for ratios of products of gamma functions, Internat. J. Math. Math. Sci. 2003: , [7] W. Bühring and H. M. Srivastava, Analytic continuation of the generalized hypergeometric series near unit argument with emphasis on the zerobalanced series, Approximation Theory and Applications Th. M. Rassias ed., Hadronic Press, Palm Harbor, 1998, pp updated version: e-print math.ca/ on [8] R. J. Evans, Ramanujan s second noteboo: Asymptotic expansions for hypergeometric series and related functions, Ramanujan Revisited G. E. Andrews et al. eds, Academic Press, New Yor, 1988, pp [9] R. J. Evans and D. Stanton, Asymptotic formulas for zero-balanced hypergeometric series, SIAM J. Math. Anal , [10] Y. L. Lue, The special functions and their approximations, vol. 1, Academic Press, New Yor, 1969.

12 12 WOLFGANG BÜHRING [11] S. Ramanujan, Noteboos, vol. 2, Tata Institute of Fundamental Research, Bombay, [12] M. Saigo, On properties of the Appell hypergeometric functions F 2 and F 3 and the generalized Gauss function 3 F 2, Bull. Central Research Institute Fuuoa University , [13] M. Saigo and H. M. Srivastava, The behavior of the zero-balanced hypergeometric series p F p 1 near the boundary of its convergence region, Proc. Amer. Math. Soc , [14] L. J. Slater, Generalized hypergeometric functions, Cambridge Univ. Press, Cambridge, [15] A. K. Srivastava, Asymptotic behaviour of certain zero-balanced hypergeometric series, Proc. Indian Acad. Sci. Math. Sci , Physialisches Institut, Universität Heidelberg, Philosophenweg 12, Heidelberg, Germany address: buehring@physi.uni-heidelberg.de