Transformation formulas for the generalized hypergeometric function with integral parameter differences
|
|
- Edwin Nicholson
- 5 years ago
- Views:
Transcription
1 Transformation formulas for the generalized hypergeometric function with integral parameter differences A. R. Miller Formerly Professor of Mathematics at George Washington University, 66 8th Street NW, No. 0, Washington, DC , USA and R. B. Paris Division of Complex Systems, University of Abertay Dundee, Dundee DD HG, UK Abstract Transformation formulas of Euler and Kummer-type are derived respectively for the generalized hypergeometric functions r+f r+x and r+f r+x, where r pairs of numeratorial and denominatorial parameters differ by positive integers. Certain quadratic transformations for the former function, as well as a summation theorem when x =, are also considered. Mathematics Subject Classification: C5, C0 Keywords: Generalized hypergeometric function, Euler transformation, Kummer transformation, Quadratic transformations, Summation theorem, Zeros of entire functions. Introduction The generalized hypergeometric function p F q x may be defined for complex parameters and argument by the series pf q a, a,..., a p b, b,..., b q = a k a k... a p k x k b k b k... b q k k!.. When q = p this series converges for x <, but when q = p convergence occurs when x <. However, when only one of the numeratorial parameters a j is a negative integer or zero, then the series always converges since it is simply a polynomial in x of degree a j. In. the Pochhammer symbol or ascending factorial a k is defined by a 0 = and for k by a k = aa +... a + k. However, for all integers k we write simply a k = Γa + k, Γa
2 where Γ is the gamma function. We shall adopt the convention of writing the finite sequence except where noted otherwise of parameters a,..., a p simply by a p and the product of p Pochhammer symbols by a p k a k... a p k, where an empty product p = 0 reduces to unity. Let m r be a nonempty sequence of positive integers. In this paper we shall derive transformation formulas for the generalized hypergeometric functions r+ F r+ x and r+ F r+ x whose r numeratorial and denominatorial parameters differ by positive integers m r. Thus we shall show in Sections, 4 and 5 respectively that b, f r + m r r+f r+ f r = e x λ, ξ m + m+f m+ ξ m x,. where x <, r+f r+ a, b, f r + m r f r = x a m+f m+ a, λ, ξ m + ξ m x,. x where x <, Re x <, and a, b, f r + m r r+f r+ f r = x c a b m λ, λ m+f, m+ η m + η m,.4 where x <. In these transformation formulas the quantities m, λ and λ are defined by m m + m + + m r, λ c b m, λ = c a m,.5 where, when m r is empty, we define m = 0. Following [], the ξ m and η m are the nonvanishing zeros of certain associated parametric polynomials of degree m, which we denote generically by Q m t, provided that certain restrictions on some of the parameters of the generalized hypergeometric functions on both sides of..4 are satisfied. The polynomial Q m t for the transformations. and. is given by.4. The associated parametric polynomial for the transformation.4 is given by 5.0. Certain generalized quadratic transformations for r+ F r+ x are also provided in Section 6 and a summation theorem when x = is rederived in Section 7. When m r is empty,. reduces to Kummer s transformation formula for the confluent hypergeometric function, namely F b c = e x F c b c x,.6 where x <. Similarly,. and.4 reduce respectively to Euler s classical first and second transformations for the Gauss hypergeometric function, namely a, b F c = x a a, c b F x c.7 x = x c a b c a, c b F c,.8 where x <, Re x < in.7 and x < in.8. In [] Miller obtained the specialization m = = m r = of the transformation. by employing a summation formula for a r+ F r+ hypergeometric series combined with a reduction identity for a certain Kampé de Fériet function. In [], an alternative, more direct
3 derivation of this specialization was given by employing Kummer s transformation.6 and a generating relation for Stirling numbers of the second kind { n k} defined implicitly by.. The specialization alluded to in [, ] is given by b, f r + r+f r+ f r = e x r+f r+ c b r, ξ r + ξ r x..9 The ξ r are the nonvanishing zeros provided b f j j r and c b r r 0 of the associated parametric polynomial Q r t of degree r given by Q r t = r s r j j { j k } b k t k c b r t r k,.0 where the s r j 0 j r are determined by the generating relation f + x... f r + x = r s r j x j.. When r =, we have from.9,.0 and. b, f + F f = e x c b, F ξ + ξ x,. where the nonvanishing zero ξ provided b f, c b 0 of is given by Q t = b ft + fc b ξ = fc b.. f b The Kummer-type transformation. for F x was obtained by Paris [] who employed other methods. Paris result generalized a transformation for F x derived by Exton [4] and rederived in simpler ways by Miller [5] for the specialization f = b. Other derivations of. have been recorded in [6 8]. In [9], the Euler-type transformations. and.4 specialized with m = = m r = were obtained. These specializations are given by a, b, f r + r+f r+ f r = x a a, c b r, ξ r + r+f r+ x ξ r.4 x = x c a b r c a r, c b r, η r + r+f r+ η r..5 The ξ r are again the nonvanishing zeros of the polynomial Q r t of degree r given by.0, where b f j j r and c b r r 0. The η r are the nonvanishing zeros of a different polynomial also of degree r that may be obtained from Theorem 4 specialized with m =... = m r = so that m = r. When r =, the transformation.4 reduces to the result due to Rathie and Paris [8] F a, b, f + f = x a F a, c b, ξ + ξ x,.6 x
4 where ξ is given by.. The transformation.6 was subsequently obtained by Maier [0] who employed other methods. Maier [0] also obtained the specialization r = of.5, namely where F a, b, f + f which was also derived in [9]. = x c a b F c a, c b, η = fc a c b ab + fc a b, η + η,. Preliminary results In this section we record several preliminary results that we shall utilize in the sequel. Lemmas and and Theorem below are proved in []. Lemma. Consider the polynomial in n of degree µ given by P µ n a 0 n µ + a n µ + + a µ n + a µ, where a 0 0 and a µ 0. Then we may write P µ n = a µ ξ µ + n ξ µ n, where ξ µ are the nonvanishing zeros of the polynomial Q µ t defined by Q µ t a 0 t µ + a t µ + + a µ t + a µ. Lemma. Consider the generalized hypergeometric function r+ F s+ c r+ ; d s+ z whose series representation determined by. converges for z in an appropriate domain. Then [, p. 66] r+f s+ cr+ d s+ provided the summation converges. z = e z r+f s+ n, cr+ d s+ z n,. n! The notation { n k} will be employed to denote the Stirling numbers of the second kind. These nonnegative integers represent the number of ways to partition n objects into k nonempty sets and arise for nonnegative integers n in the generating relation [, p. 6] x n = n { } n k where δ 0n is the Kronecker symbol. k x k, Lemma. For nonnegative integers j define S j n j Λ n n!, S 0 { } n 0 Λ n n!, where the infinite sequence Λ n is such that S j converges for all j. Then S j = j { } j k Λ n+k. n! = δ 0n,. 4
5 We shall also utilize the following summation theorem for the generalized hypergeometric series r+ F r+ whose r numeratorial and denominatorial parameters differ by positive integers. Theorem. For nonnegative integer n and positive integers m r n, b, f r + m r r+f r+ f r = λ n ξ m + n,. c n ξ m n where m = m + + m r, λ = c b m, λ m 0 and b f j j r. The ξ m are the nonvanishing zeros of the associated parametric polynomial Q m t of degree m given by Q m t = σ m j where the σ j 0 j m are determined by the generating relation j f + x m... f r + x mr = { j k} b k t k λ t m k,.4 σ m j x j..5 Note when m = = m r =, then m = r so that by. σ j = s j 0 j r and Q m t reduces to Q r t, which is the polynomial of degree r given by.0. The following Theorem concerns a specialization of a hypergeometric function in two variables called the Kampé de Fériet function; for an introduction to the latter, see [, pp. 6 64]. Since the proof of Theorem is very similar to that given in [, Theorem ], we shall omit its proof. Theorem. Suppose b f j j r and c b r r 0. Then we have the reduction formula for the Kampé de Fériet function F p:r+;0 ap : b, f r + m r ; q:r+;0 b q : f r ; x, x c b m, a = p+m+ F p, ξ m + q+m+ b q, ξ m,.6 where m m + +m r and the solid horizontal line indicates an empty parameter sequence. The ξ m are the nonvanishing zeros of the associated parametric polynomial Q m t of degree m given by.4. Finally, the following lemma expresses a r+s F r+ x hypergeometric function, where in the sequel s =, and r pairs of numeratorial and denominatorial parameters differ by positive integers, in terms of a finite sum of s F x functions. This lemma will prove fundamental to our discussion. Lemma 4. For nonnegative integer s let a s denote a parameter sequence containing s elements, where when s = 0 the sequence is empty. Let a s + k denote the sequence when k is added to each element of a s. Let Fx denote the generalized hypergeometric function with r numeratorial and denominatorial parameters differing by the positive integers m r, namely as, f Fx r+s F r + m r r+ f r,.7 where by. convergence of the series representation for the latter occurs in an appropriate domain depending on the values of s and the elements of the parameter sequence a s. Then Fx = m x k a s k as + k A k sf c k c + k,.8 5
6 where m = m + + m r, the coefficients A k are defined by A k j=k { } j σ k m j, = f m... f r mr, A m =.9 and the σ j 0 j m are generated by the relation.5. Proof: Now f r + m r n f r n = f + n m f m... f r + n mr f r mr, where the numeratorial expression on the right-hand side is a polynomial in n of degree m which can be written in the form f + n m... f r + n mr = σ m j n j by.5. By. upon expanding Fx as a power series in x we obtain Fx = = m a s n c n σ m j f r + m r n f r n n j a s n c n upon interchanging the order of summation. Application of Lemma to the n-summation followed by use of the identity then yields α k+n = α k α + k n = α n α + n k.0 Fx = m σ m j = m x k A k = m j x k A k a s k c k x n n! x n n! { } j a s n+k k c n+k a s n+k c n+k x n n! x n+k n! a s + k n x n c + k n n!, where we have interchanged the order of the j and k-summations and introduced the coefficients A k defined by.9. Identification of the summation over n as s F a s + k; c + k x then completes the proof.. The Kummer-type transformation. If in.6 we set p = q = 0, we immediately obtain.. Also by setting s = r and c r+ = b, c r = f r + m r, d r+ = d r = f r in the identity. and using the summation formula. of Theorem, we can derive.. However, we provide below a more insightful derivation of the Kummer-type transformation. that utilizes Kummer s transformation.6 for the confluent hypergeometric function F x together with Lemmas and 4. 6
7 For positive integers m r define b, f F x r+ F r + m r r+ f r Then, from.8 with s = and a = b, we have F x = m x k b k b + k A k F c k c + k., where x < and m = m + + m r. Application of Kummer s transformation.6 to each of the F x functions then yields F x = ex = ex x k b k c b A k F c k c + k k b k A k c k n=k x c b n k x n, c + k n k n k where an obvious adjustment of the summation index has been made. Upon noting the identities = k n k, α + k n k = α n,. n k n! α k we have F x = ex A k b k c b n k x n n k, c n n! where we have replaced the summation index in the inner sum by n = 0 since n k = 0 when n < k. Noting the easily established identity where λ = c b m, we then obtain c b n k = λ nλ + n m k λ m,. F x = = e x λ m e x λ m A k b k λ n x n c n n! λ n x n c n n! n k λ + n m k A k b k n k λ + n m k,. where we have interchanged summations. With the definition P m n = A k b k n k λ + n m k σ m j j { } j b k k n k λ + n m k,.4 it is shown in [] that P m n is a polynomial in n of degree m having the form P m n = f b m... f r b mr n m + + λ m, 7
8 where the remaining intermediate coefficients of powers of n in P m n when m > are determined by the expression on the right-hand side of.4. Now assuming b f j j r and λ m 0 we may invoke Lemma thus obtaining P m n = λ m ξ m + n ξ m n,.5 where the ξ m are the nonvanishing zeros of the associated parametric polynomial of degree m given by.4. Finally, combining.,.4 and.5 we find F x = e x λ n c n ξ m + n ξ m n x n, n! which is the Kummer-type transformation.. 4. The first Euler-type transformation. In this section we shall provide two derivations of the Euler-type transformation formula given by.. The first proof relies on the reduction formula for the Kampé de Fériet function given in Theorem. The second proof utilizes Lemma 4 and.7, and is similar to the derivation of the Kummer-type transformation. given in Section. Proof I. Let m r be a sequence of nonnegative integers and consider F y y a a, b, f r + m r r+f r+ y f r, y where b f j j r and c b r r 0, so that F y = a k b k c k k! f r + m r k f r k y k y a k. Since for y < y a k = upon noting the identity.0, we have a + k n n! y n F y = = F :r+;0 0:r+;0 b k f r + m r k a k+n c k f r k a : b, f r + m r ; : f r ; y k y n k! n! y, y. Now applying Theorem with p =, q = 0, a = a we find F y = m+ F m+ a, c b m, ξ m + ξ m y, so that y a r+f r+ a, b, f r + m r f r y a, c b m, = m+ F m+ y ξ m + ξ m y, 8
9 where m = m + + m r. The ξ m are the nonvanishing zeros of the associated parametric polynomial Q m t of degree m given by.4. Finally, letting y = x/x we deduce.. This evidently completes the first proof. Proof II. Let m r be a sequence of nonnegative integers and consider a, b, f F x r+ F r + m r r+ f r, 4. where b f j j r and c b r r 0. Then, from.8 with s = and a = a, a = b, we have F x = m x k a k b k a + k, b + k A k F c k c + k, 4. where x <. The coefficients A k and the integer m are defined respectively by.9 and.5. Application of Euler s transformation.7 to the above F x functions then yields F a + k, b + k c + k = x a k F a + k, c b c + k = x a k n=k x x a + k n k c b n k c + k n k n k! n k x, 4. x where an obvious adjustment of the summation index has been made. Noting the identities. and., we may write 4. as a + k, b + k F c + k = x k x a c k a k λ m a n λ n c n n! n x n k λ + n m k, 4.4 x where the summation index n = k has been replaced by n = 0 since n k = 0 when n < k. Now substitution of 4.4 in 4. yields F x = x a λ m a n λ n c n n! n x m A k b k n k λ + n m k, x where the order of summation has been interchanged. Finally, recalling.4 and.5, we see that a, b, f r + m r r+f r+ f r n = x a a n λ n ξ m + n x c n n! ξ m n x which evidently completes the proof of the transformation.. We summarize the results of Sections and 4 in the following: Theorem. Let m r be a nonempty sequence of positive integers and m m + + m r. Then if b f j j r, λ m 0, where λ c b m, we have the transformation formulas a, b, f r + m r r+f r+ f r = x a a, λ, ξ m + m+f m+ ξ m 9 x, 4.5 x
10 where x <, Re x <, and b, f r + m r r+f r+ f r = e x λ, ξ m + m+f m+ ξ m x, 4.6 where x <. The ξ m are the nonvanishing zeros of the associated parametric polynomial Q m t of degree m given by Q m t = σ m j j { } j b k k t k λ t m k, where the σ j 0 j m are determined by the generating relation.5. We remark that the Kummer-type transformation formula 4.6 may be employed to quickly provide an upper bound for the number of zeros of the generalized hypergeometric function considered by Ki and Kim [], namely wx r+ F r+ fr+ + m r+ f r+, where x < and m r+ is a sequence of positive integers such that M m + +m r+. Thus we have the following. Corollary. The entire function wx has at most M zeros in the complex plane. Proof: In 4.6 with m = m + + m r let b = f r+ + m r+ and c = f r+. Then λ = M and M m 0, so that wx = e x M, ξm + m+f m+ f r+, ξ m x. 4.7 Since wx is proportional to a polynomial in x of degree at most M, the proof of the corollary is evident. In fact we can show that [7] m+f m+ M, ξm + f r+, ξ m x = M A k x k, 4.8 where the A k 0 k M are defined in an analogous manner to that in.9. Thus the zeros of the entire function wx are characterized completely by 4.7 and 4.8, whereas Ki and Kim [] only show the existence of at most M zeros for wx. See also the fourth example in Section 8, where we consider the specialization of wx, namely The second Euler-type transformation.4 Before establishing the second Euler-type transformation.4 we shall prove a preliminary lemma. This lemma addresses the form of the associated parametric polynomial Q m t for this transformation and is intended to streamline the derivation of the main theorem. Lemma 5. Let m be a positive integer. Consider the polynomial in n defined by P m n p B k s=0 0 p s s! Λ k,s n, 5.
11 where Λ k,s n λ + n p s λ + n p s n k+s c n s, 5. p m k, λ c b m, λ c a m and the coefficients B k 0 k m are arbitrary complex numbers. Then P m n is a polynomial in n of degree m that takes the form P m n = α 0 n m + + α m n + α m provided that + a + b c m 0 and α 0 0, where α 0 = m m B k + a + b c m + a + b c k 5. and α m = B 0 λ m λ m. 5.4 Proof: It is evident that P m n is a polynomial in n of degree at most m. By employing the identities.0 and we may write α k = k α k 5.5 P m n = = B k n k λ + n p λ + n p p s=0 p s k n s c n s λ p n s λ p n s s! B k n k λ + n p λ + n p G p,k n, 5.6 where the s-summation has been expressed as a F hypergeometric series that we define as p, k n, c n G p,k n F λ p n, λ p n. 5.7 The degree of the polynomial P m n can then be obtained by employing Sheppard s transformation [4, p. 4] given by p, a, b F d, e = d a pe a p p, a, σ F d p e p + a d p, + a e p, where p is a nonnegative integer and σ = d + e a b + p is the parametric excess. Application of this transformation to G p,k n given by 5.7 then yields G p,k n = λ p k p λ p k p p, n + k, σ λ p n p λ F p n p λ + k, λ + k, where now σ = c a b m. Employing the identity 5.5 we obtain from this and 5.6 the alternative representation P m n = B k n k λ + k p λ + k p F p, n + k, σ λ + k, λ + k. 5.8 Since n appears only in a single numeratorial parameter of the F series on the righthand side of 5.8, we see that F is a polynomial in n of degree p = m k only if We must assume σ for otherwise this transformation degenerates to a summation formula.
12 σ,,..., p; that is, provided + a + b c m 0. As n k is a polynomial in n of degree k, it follows that P m n is a polynomial in n of degree k + p = m and hence must have the form given in the statement of the lemma. The coefficient α 0 can be determined as follows. The highest power of n in the F series in 5.8 arises from the last term when it is expressed as an s-summation; that is when s = p p n + k p σ p λ + k p λ + k p = σ p λ + k p λ + k p n p +. Thus from 5.8 we find the coefficient of n m in the polynomial P m n, namely α 0 = k B k σ m k which yields 5.. Finally, when n = 0 the only contribution to the double sum in 5. arises from k = s = 0. Thus, since P m 0 = α m, we deduce 5.4. The proof of the lemma is evidently complete. As we shall see below when B k = k A k a k b k 0 k m, where the A k 0 k m are given by.9, the associated parametric polynomial Q m t for the transformation.4 may be obtained from either 5., 5.6 or 5.8 by replacing in the latter n by t, so that in each case Q m t = P m t. We now establish an extension of the second Euler transformation.8 given in the following. Theorem 4. Suppose + a + b c m 0 and λ m 0, λ m 0. Then a, b, fr + m r r+f r+ f r = x c a b m λ, λ m+f, η m + m+ η m 5.9 valid in x <, where λ = c b m and λ = c a m. The η m are the nonvanishing zeros of the associated parametric polynomial Q m t of degree m = m + + m r, given by Q m t = k A k a k b k t k λ t p λ t p G p,k t, 5.0 where p m k, the coefficients A k are defined by.9 and G p,k t is defined by 5.7. Proof: Our starting point is the expansion 4. which expresses the hypergeometric function F x defined by 4. as a finite series of F x functions. To each of the latter functions we apply the second Euler transformation.8 to find x k F a + k, b + k c + k = x k x c a b k c a, c b F c + k p = x c a b m p s c a n c b n x n+k+s, s! c + k n n! where we have defined p m k and used the binomial theorem to expand the factor x p. If we now change the summation index n n + k + s and make use of.0,. and the identity 5.5, the right-hand side of the above equation can be written as x c a b m p s=0 p s s! n=k+s s=0 c a n k s c b n k s c + k n k s n k s x n The following are necessary conditions for the nonvanishing of the η m; sufficient conditions are given below.
13 = x c a b m k c k λ m λ m p s=0 p s s! λ n λ n c n Λ k,s n xn n!, where we have introduced the coefficients Λ k,s n defined by 5. and have replaced the inner summation index n = k + s by n = 0 since n k+s = 0 for n < k + s. Hence, from 4., we obtain F x = xc a b m λ m λ m λ m λ m c n upon interchanging the order of summation, where we have defined P m n k A k a k b k p s=0 p s s! x n n! P mn 5. Λ k,s n. 5. Now setting B k = k A k a k b k in Lemma 5, we see that P m n is a polynomial in n of degree m having the form where, from 5. and 5.4, α 0 = m + a + b c m P m n = α 0 n m + + α m n + α m, m k A k a k b k + a + b c k, α m = λ m λ m. 5. Assuming that the coefficient α 0 0 and λ m 0, λ m 0, we may then invoke Lemma to obtain P m n = λ m λ m η m + n η m n, 5.4 where, from 5.6 with B k defined as above, the η m are the nonvanishing zeros of the associated parametric polynomial given by 5.0. Then, provided α 0 0, α m 0 by Lemma, the zeros η m of the associated parametric polynomial Q m t are nonvanishing. This requires that λ m 0 and λ m 0 for the coefficient α m 0; a necessary condition for α 0 0 is + a + b c m 0, since if this is satisfied then + a + b c k 0 for k < m, so that the k-summation in 5. exists as a finite value. A sufficient condition for α 0 0 is that the finite sum in 5. does not vanish. With these restrictions, it then follows from 5. and 5.4 that F x = x c a b m λ n λ n c n η m + n η m n x n n!, thereby establishing Theorem Quadratic transformations In this section we derive generalizations of two well-known quadratic transformation formulas for the Gauss hypergeometric function, which we state in the following theorem. Theorem 5. Let m r denote a sequence of positive integers such that m m + + m r. Then we have the generalized quadratic transformation a, a + r+f, f r + m r r+ x f r x
14 = x a m+f m+ a, c m, c, ξ m + ξ m ± x, 6. where, provided c m m 0, the ξ m are the nonvanishing zeros of the associated parametric polynomial Q m t of degree m given by Q m t = A k k t kc m t m k. 6. In addition, we have the second generalized quadratic transformation a, a + r+f, f r + m r r+ 4x f r + x = + x a m+f m+ a, a c +, η m + η m, 6. where, provided a c + m 0, the η m are the nonvanishing zeros of the associated parametric polynomial of degree m given by Q m t = k A k a c + k t k a t k. 6.4 The coefficients A k are defined by.9 and the transformations 6. and 6. hold in neighborhoods of x = 0. When r = 0, then m = 0 so that 6. and 6. reduce to the well-known quadratic transformation formulas due to Kummer given by a, a + F x c x = x a a, c F c ± x 6.5 and F a, a + c 4x + x = + x a a, a c + F c, 6.6 which are respectively slight variations of those given in [5, Section 5., 9 and 0]. Proof: We shall first establish 6.. Let us define a, a + F x r+ F, f r + m r r+ f r X x, X x. 6.7 Then use of the expansion.8 with s = and a = a, a = a + yields F x = m A k a k k X k F c k where we have employed the duplication formula a + k, a + k + c + k X, 6.8 α k = k α k α + k. 6.9 Application of the quadratic transformation 6.5 to each of the F X functions then yields F x = = xa xa A k A k a k k x k F c k a k 4k c k n=k 4 a + k, c + k c + k ± x a + k n k c + k n k ±x n, c + k n k n k
15 where an obvious adjustment of the summation index has been made. We now make use of. with k replaced by k and 6.9 together with the identity c + k n k = c m n c m m c m + n m k c k, c c. Thus we obtain after some reduction x a F x = c k a n c m n ±x n A k m m c n k c m + n m k n n! n=k x a a n c m n ±x n = c m m c P m n, n n! where we have interchanged the order of summation, replaced the summation index n = k by n = 0 since n k = 0 for n < k, and defined P m n A k k n kc m + n m k. Since by.9 A m =, it is clear that P m n is a polynomial in n of degree m and has the form P m n = m n m + + c m m. We can then invoke Lemma to obtain P m n = c m m ξ m + n ξ m n, where, provided c m m 0, the ξ m are the nonvanishing zeros of the associated parametric polynomial given by 6.. It then follows that F x = x a a n c m n c n ξ m + n ξ m n ±x n thereby establishing the first part of Theorem 6. The second quadratic transformation formula 6. can be established in a similar manner. We again let F x be given by 6.7, where X is now defined by X 4x/ + x. Then from 6.8 and the quadratic transformation 6.6 we find mutatis mutandis that where now F x = = = + xa + xa + xa P m n a k A k x k a + k, a c + k + F c k c + k A k a k c k n=k a n a c + n c n n! a + k n k a c + k + n k x n c + k n k n k x n n! P mn, k A k a c + k n k a + n k. 6.0 The polynomial P m n is clearly of degree m and possesses the form P m n = n m a c + m
16 Provided a c + m 0, we may invoke Lemma thus giving P m n = η m + n η m n, where the η m are the nonvanishing zeros of the associated parametric polynomial Q m t given by 6.4. It then follows that F x = + x a a n a c + n c n η m + n η m n which establishes 6. and so completes the proof of Theorem 6. In the case r =, m =, we see with f = f that the associated parametric polynomials Q t given by 6. and 6.4 are respectively x n n!, 4 t + 4 ft + fc and t at + fa c +. a c + The zeros of these polynomials are respectively ξ, = f ± [f 4fc ]/ and η, = a ± [a fa c + ] /. Thus, from 6. and 6., we obtain the quadratic transformations a, a + F, f + x f x provided c, and F a, a +, = x a 4F a, c, c, f + f 4x + x = + x a 4F a, a c +, ξ +, ξ, ξ + ξ η +, η, ± x η + η provided c a +. The transformation 6. was found in an equivalent form by Rakha et al. in [6]. We note that when c = a + in 6. and c = a in 6. the 4 F functions reduce to lower order F functions. Furthermore, when c = a + p + in 6. with p a positive integer, we obtain a, a + F, f + a + p +, f 4x + x = + x a p, a, η +, 4F a + p +, η, η + η, where η, = a ± a + pf /, and the right-hand side of this transformation is a polynomial in x of degree p. We compare this with Whipple s quadratic transformation [4, p. 0] expressed in the form a, a + F, f + b a + b +, f 4x + x = + x a b, a, a f + F a + b +, f x, where b a is otherwise arbitrary. In the particular cases b = and p =, it is easily seen that the right-hand sides of both transformations reduce to + x a aa f + + x. a + f 6
17 It is worth mentioning that in general when the result of a transformation is proportional to a polynomial S p x of degree p, then it not essential to determine the zeros of the associated parametric polynomial Q µ t of degree µ for the transformation in order to compute the coefficients of powers of x in S p x, since these coefficients may be obtained directly by use of P µ n = Q µ n itself. Thus in the specialization c = a + p + just discussed above, P m n given by 6.0 may be used with the result for F x directly preceding it in order to compute the coefficients of x n 0 n p in the expression for F x. Finally, we make an observation concerning the derivation of the generalized quadratic transformations 6. and 6.. A quadratic transformation for F α, β; γ x exists if and only if any of the quantities ± γ, ±α β, ±α + β γ are such that either one of them equals or two of them are equal [5, p. 560]. It has been possible to obtain the transformations 6. and 6. since the corresponding Gauss functions that appear in the expansion 6.8 satisfy a condition of the type α β = for 0 k m. An example where it is does not seem possible to apply a quadratic transformation to each of the Gauss functions in 6.8 is given by a, b, f r + m r r+f r+ a + b +, f r X, X 4x x. 6. In this case, the third condition above for the functions F a + k, b + k; a + b + k + X, with 0 k m, has the form α + β γ = k ; that is, a quadratic transformation only exists when k = 0 and k =. Consequently, we are compelled to take r =, m = in 6.. Thus, omitting the details for brevity, we find by a similar analysis described in [7] a, b, f + F a + b +, f X = x a, b, ξ +, ξ + 4F a + b +, ξ, ξ, where X is defined in 6., ξ, = A + ± [A + Af] /, A = and it is supposed that a, b, f a + b. a b a + b f 7. Summation theorems In this section we shall show that Lemma 4 may be employed to quickly and efficiently obtain the following summation theorem. Theorem 6. Suppose m r is a sequence of positive integers such that m m + + m r. Then provided that Re c a b > m we have r+f r+ a, b, f r + m r f r ΓcΓc a b = Γc aγc b A k k a k b k + a + b c k, 7. where the A k 0 k m are defined by.9. Moreover when c = b +, then 7. reduces to the Karlsson-Minton summation formula given by a, b, f r + m r r+f r+ b +, f r Γ + bγ a f b m... f r b mr =, 7. Γ + b a f m... f r mr where Re a > m + + m r. 7
18 Proof: In.8 let x =, s =, a = a, a = b where for convergence of F we must have Re c a b > m. Thus we obtain r+f r+ a, b, f r + m r f r = m a k b k a + k, b + k A k F c k c + k. 7. Note that each F converges since Re c a b > m k 0. Thus employing the Gauss summation theorem given by a, b F c ΓcΓc a b =, Re c a b > 0 Γc aγc b and the identity 5.5, we find for nonnegative integers k that a + k, b + k F c + k ΓcΓc a b k c k =. Γc aγc b + a + b c k Combining this with 7. we then obtain 7.. Now set c = b + in 7. thus giving r+f r+ a, b, b +, f r + m r f r = Γ + bγ a Γ + b a k A k b k, 7.4 where the A k 0 k m are given by A k = { j σ k} m j, = f m... f r mr 7.5 j=k and the σ j 0 j m are defined by.5. However, k A k b k = = j=k { j σ k} m j k b k σ m j j { } j k b k k, where by. Thus using.5 we have j { j k} k b k = b j. k A k b k = σ m j b j = f b m... f r b mr which, when combined with 7.4 and 7.5, yields 7.. This evidently completes the proof of Theorem 6. We remark that the summation formula 7. has previously been deduced in [8], where a slightly more complex result is recorded. For previous work pertaining to the Karlsson- Minton summation formula 7. see the references cited in [8]. 8
19 8. Examples and concluding remarks We now present some examples of the theorems developed in this paper; the cases r =, m = have already been mentioned. Consider first the case r = with m = m =, so that the associated parametric polynomial for the transformations. and. is given by [] Q t = αt α + βλ + βt + f f λλ +, 8. where λ = c b and α = f bf b, β = f f bb +. If we choose b =, c =, f = and f = then Q t = 6 t 4t , so that the zeros are ξ = and ξ = 40. We then have the first Euler and Kummer-type transformation formulas a,, 5 4F, a, 8,, = x a 4F, 5, 4 x,,, 40, 5 F,,, 8 = e x F, 5, 4,, 40 x, where a is a free parameter. Our second example has r = where we consider in turn the cases with m = and m =. When m =, then λ = c b and the associated parametric polynomial Q t for the first Euler and Kummer-type transformations takes the form where Q t = At + Bt + C, A = f b, B = b + bλf + λ + f, C = f λ. We remark that the latter Q t is easily seen to reduce to 8. in which f f = f +. In the particular case b = 5, c = 4 and f =, we find = f and Q t = 8 6t 48t +, so that ξ = and ξ = 8. When m =, the cubic polynomial Q t with b =, c = 7 4 and f = reduces to Q t = 8 48t + 9t + 4t + 5, so that ξ = 5 and ξ, = 4 ± 4 i. Hence, with m = and m = respectively, we obtain from. the first Euler-type transformation formulas a, 5 F, 7 a, 7 = x a F, x, F a,, 5 7 4, 4,, 8 = x a 5F 4 a, 9 4,, i, 4 4 i 7 4, 5, i, 4 4 i x x 9
20 and from. the Kummer-type transformation formulas 5 F, 7 7 = e x F, F, 5 7 4, 4,, 8 x, 9 = e x 4 4F,, i, 4 4 i 4 7 4, 5, i, 4 4 i x. We remark that, in the case m =, a contraction of the order of the hypergeometric functions on the right-hand side has been possible since c = ξ + = 4. As a third example, we consider the second Euler-type transformation.4 with r = and m = m =. With the parameters a =, b =, c = and f = 4, f =, so that λ = and λ = 4, we find from 5.0 the associated parametric polynomial given by Q t = 7 5 t + t +, which has the zeros η =, η = 5. This yields the second Euler-type transformation formula 4F,, 5 4,, 4, = x /6 4F, 4,, 7 5,,. 5 Finally, we give a fourth example by setting in. m j =, f j = c j r and b = c +. Thus m = r, λ = r and we have r+f r+ c +,...,..., c + c = e x r+f r+ r, ξ r + ξ r x, 8. where the ξ r are the nonvanishing zeros of the transformation s respective associated parametric polynomial of degree r. However, we shall show that the polynomial of degree r + on the right-hand side of 8. may be written explicitly. For since c + n c n for positive integer p, we have pf p c +,...,..., p = + n p = c p c c + c p p = c p p k p k n k c p k, c p k n k xn n!, where we have interchanged the order of summation. Now employing Lemma we see that so that k { } n k xn k n! = j pf p c +,...,..., c + c x n+j n! where we have defined the polynomial of degree p R p c; x p = e x k { k j} x j, = c p e x R p c; x, 8. p k c p k k { k j} x j. Interchanging the order of summation in the latter we may write p p { R p c; x = c p k p k x k j} j. 8.4 k=j 0
21 Although 8. is indicated in [9, Section 7..4, p. 59], Prudnikov et al. do not provide the explicit formula 8.4 for R p c; x, but only give a recurrence relation by which these polynomials may be computed. Thus from 8. and 8. we have r+f r+ r, ξ r + ξ r x = c r R r+ c; x, where the ξ r are the nonvanishing zeros of the associated parametric polynomial alluded to above. We remark that when c =, since [, 6.5, p. 65] we find so that from 8. p { } p k = k j R p ; x = pf p,...,,..., p { } p +, j + { } p + x j, j + p = e x { } p + x j. 8.5 j + Equation 8.5 is recorded in [9] in an equivalent form along with the particular cases p 7. The analogous special case when m j =, f j = c j r and a = b = c in the transformations. and.4, so that λ = r in both cases, is discussed in [9], where it is shown that explicit representations for the polynomials of degree r on the right-hand sides of these transformations can be derived. In this investigation we have developed an essentially elementary algebraic method for obtaining transformation and summation formulas respectively for generalized hypergeometric functions and series of unit argument with integral parameter differences. The salient feature employed herein is Lemma 4, whereby under mild restrictions such hypergeometric functions and series can be written in a useful way as a finite sum of Gauss or confluent functions. We have provided several examples to indicate the efficiency and power of this method.
22 References [] A. R. Miller, Certain summation and transformation formulas for generalized hypergeometric series, J. Comput. Appl. Math [] A. R. Miller and R. B. Paris, A generalized Kummer-type transformation for the pf px hypergeometric function, Canadian Math. Bulletin to appear in 0. [] R. B. Paris, A Kummer-type transformation for a F hypergeometric function, J. Comput. Appl. Math [4] H. Exton, On the reducibility of the Kampé de Fériet function, J. Comput. Appl. Math [5] A. R. Miller, On a Kummer-type transformation for the generalized hypergeometric function F, J. Comput. Appl. Math [6] W. Chu and W. Zhang, Transformations of Kummer-type for F -series and their q-analogues, J. Comput. Appl. Math [7] A. R. Miller, A summation formula for Clausen s series F with an application to Goursat s function F x, J. Phys. A: Math. General [8] A. K. Rathie and R. B. Paris, An extension of the Euler-type transformation for the F series, Far East J. Math. Sci [9] A. R. Miller and R. B. Paris, Euler-type transformations for the generalized hypergeometric function r+f r+ x, Z. angew. Math. Phys. in press 00. [0] R. S. Maier, P -symbols, Heun identities, and F identities, Contempory Mathematics [] H. M. Srivastava and H. L. Manocha, A Treatise on Generating Functions, Ellis Horwood, Chichester, 984. [] R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics, second ed., Addison-Wesley, Upper Saddle River, 994. [] H. Ki and Y.-O. Kim, On the zeros of some generalized hypergeometric functions, J. Math. Anal. Appl [4] G. E. Andrews, R. Askey and R. Roy, Special Functions, Encyclopedia of Mathematics and its Applications, vol. 7, Cambridge University Press, Cambridge, 999. [5] M. Abramowitz and I. A. Stegun Eds., Handbook of Mathematical Functions, Dover, New York, 965. [6] M. A. Rakha, N. Rathie and P. Chopra, On an extension of a quadratic transformation formula due to Kummer, Math. Commun [7] A. R. Miller and R. B. Paris, Certain transformations and summations for generalized hypergeometric series with integral parameter differences, Integral Transforms and Special Functions in press 00. [8] A. R. Miller and H. M. Srivastava, Karlsson-Minton summation theorems for the generalized hypergeometric series of unit argument, Integral Transforms and Special Functions in press 00. [9] A. P. Prudnikov, Yu. A. Brychkov and O. I. Marichev, Integrals and Series, vol., Gordon and Breach, New York, 990.
Asymptotics of Integrals of. Hermite Polynomials
Applied Mathematical Sciences, Vol. 4, 010, no. 61, 04-056 Asymptotics of Integrals of Hermite Polynomials R. B. Paris Division of Complex Systems University of Abertay Dundee Dundee DD1 1HG, UK R.Paris@abertay.ac.uk
More informationOn a reduction formula for the Kampé de Fériet function
On a reduction formula for the Kampé de Fériet function Yong Sup Kim, Tibor K. Pogány, and Arjun K. Rathie Abstract The aim of this short research note is to provide a reduction formula for the Kampé de
More informationSOME UNIFIED AND GENERALIZED KUMMER S FIRST SUMMATION THEOREMS WITH APPLICATIONS IN LAPLACE TRANSFORM TECHNIQUE
Asia Pacific Journal of Mathematics, Vol. 3, No. 1 16, 1-3 ISSN 357-5 SOME UNIFIED AND GENERAIZED KUMMER S FIRST SUMMATION THEOREMS WITH APPICATIONS IN APACE TRANSFORM TECHNIQUE M. I. QURESHI 1 AND M.
More informationPolyexponentials. Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH
Polyexponentials Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH 45810 k-boyadzhiev@onu.edu 1. Introduction. The polylogarithmic function [15] (1.1) and the more general
More informationThe Generating Functions for Pochhammer
The Generating Functions for Pochhammer Symbol { }, n N Aleksandar Petoević University of Novi Sad Teacher Training Faculty, Department of Mathematics Podgorička 4, 25000 Sombor SERBIA and MONTENEGRO Email
More informationSome Summation Theorems for Generalized Hypergeometric Functions
Article Some Summation Theorems for Generalized Hypergeometric Functions Mohammad Masjed-Jamei,, * and Wolfram Koepf Department of Mathematics, University of Kassel, Heinrich-Plett-Str. 40, D-343 Kassel,
More informationQuadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers
Quadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers Martin Nicholson In this brief note, we show how to apply Kummer s and other quadratic transformation formulas for
More informationInternational Journal of Pure and Applied Sciences and Technology
Int. J. Pure Appl. Sci. Technol., 9(1) (2012), pp. 5260 International Journal of Pure and Applied Sciences and Technology ISSN 2229 6107 Available online at www.ijopaasat.in Research Paper Development
More informationApplicable Analysis and Discrete Mathematics available online at
Applicable Analysis and Discrete Mathematics available online at http://pefmath.etf.rs Appl. Anal. Discrete Math. x (xxxx, xxx xxx. doi:.98/aadmxxxxxxxx A STUDY OF GENERALIZED SUMMATION THEOREMS FOR THE
More informationResearch Article Extensions of Certain Classical Summation Theorems for the Series 2 F 1, 3 F 2, and 4 F 3 with Applications in Ramanujan s Summations
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 00, Article ID 309503, 6 pages doi:0.55/00/309503 Research Article Extensions of Certain Classical Summation
More informationDifference Equations for Multiple Charlier and Meixner Polynomials 1
Difference Equations for Multiple Charlier and Meixner Polynomials 1 WALTER VAN ASSCHE Department of Mathematics Katholieke Universiteit Leuven B-3001 Leuven, Belgium E-mail: walter@wis.kuleuven.ac.be
More information#A31 INTEGERS 18 (2018) A NOTE ON FINITE SUMS OF PRODUCTS OF BERNSTEIN BASIS POLYNOMIALS AND HYPERGEOMETRIC POLYNOMIALS
#A31 INTEGERS 18 (2018) A NOTE ON FINITE SUMS OF PRODUCTS OF BERNSTEIN BASIS POLYNOMIALS AND HYPERGEOMETRIC POLYNOMIALS Steven P. Clar Department of Finance, University of North Carolina at Charlotte,
More informationThe Expansion of the Confluent Hypergeometric Function on the Positive Real Axis
Applied Mathematical Sciences, Vol. 12, 2018, no. 1, 19-26 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ams.2018.712351 The Expansion of the Confluent Hypergeometric Function on the Positive Real
More informationA Note about the Pochhammer Symbol
Mathematica Moravica Vol. 12-1 (2008), 37 42 A Note about the Pochhammer Symbol Aleksandar Petoević Abstract. In this paper we give elementary proofs of the generating functions for the Pochhammer symbol
More informationCertain Generating Functions Involving Generalized Mittag-Leffler Function
International Journal of Mathematical Analysis Vol. 12, 2018, no. 6, 269-276 HIKARI Ltd, www.m-hiari.com https://doi.org/10.12988/ijma.2018.8431 Certain Generating Functions Involving Generalized Mittag-Leffler
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationON A NEW CLASS OF INTEGRALS INVOLVING PRODUCT OF GENERALIZED BESSEL FUNCTION OF THE FIRST KIND AND GENERAL CLASS OF POLYNOMIALS
Acta Universitatis Apulensis ISSN: 158-59 http://www.uab.ro/auajournal/ No. 6/16 pp. 97-15 doi: 1.1711/j.aua.16.6.8 ON A NEW CLASS OF INTEGRALS INVOLVING PRODUCT OF GENERALIZED BESSEL FUNCTION OF THE FIRST
More informationA Note on the 2 F 1 Hypergeometric Function
A Note on the F 1 Hypergeometric Function Armen Bagdasaryan Institution of the Russian Academy of Sciences, V.A. Trapeznikov Institute for Control Sciences 65 Profsoyuznaya, 117997, Moscow, Russia E-mail:
More informationBASIC HYPERGEOMETRIC SERIES
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS BASIC HYPERGEOMETRIC SERIES Second Edition GEORGE GASPER Northwestern University, Evanston, Illinois, USA MIZAN RAHMAN Carleton University, Ottawa, Canada
More informationOn integral representations of q-gamma and q beta functions
On integral representations of -gamma and beta functions arxiv:math/3232v [math.qa] 4 Feb 23 Alberto De Sole, Victor G. Kac Department of Mathematics, MIT 77 Massachusetts Avenue, Cambridge, MA 239, USA
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationClosed-form Second Solution to the Confluent Hypergeometric Difference Equation in the Degenerate Case
International Journal of Difference Equations ISS 973-669, Volume 11, umber 2, pp. 23 214 (216) http://campus.mst.edu/ijde Closed-form Second Solution to the Confluent Hypergeometric Difference Equation
More informationPseudo-Boolean Functions, Lovász Extensions, and Beta Distributions
Pseudo-Boolean Functions, Lovász Extensions, and Beta Distributions Guoli Ding R. F. Lax Department of Mathematics, LSU, Baton Rouge, LA 783 Abstract Let f : {,1} n R be a pseudo-boolean function and let
More informationSymmetric functions and the Vandermonde matrix
J ournal of Computational and Applied Mathematics 172 (2004) 49-64 Symmetric functions and the Vandermonde matrix Halil Oruç, Hakan K. Akmaz Department of Mathematics, Dokuz Eylül University Fen Edebiyat
More informationEVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS
EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes
More informationInternational Journal of Pure and Applied Sciences and Technology
Int. J. Pure Appl. Sci. Technol., 15(2) (2013), pp. 68-72 International Journal of Pure and Applied Sciences and Technology ISSN 2229-6107 Available online at www.ijopaasat.in Research Paper Generalization
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Corrected Version, 7th April 013 Comments to the author at keithmatt@gmail.com Chapter 1 LINEAR EQUATIONS 1.1
More informationBilinear generating relations for a family of q-polynomials and generalized basic hypergeometric functions
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 16, Number 2, 2012 Available online at www.math.ut.ee/acta/ Bilinear generating relations for a family of -polynomials and generalized
More informationON SIMILARITIES BETWEEN EXPONENTIAL POLYNOMIALS AND HERMITE POLYNOMIALS
Journal of Applied Mathematics and Computational Mechanics 2013, 12(3), 93-104 ON SIMILARITIES BETWEEN EXPONENTIAL POLYNOMIALS AND HERMITE POLYNOMIALS Edyta Hetmaniok, Mariusz Pleszczyński, Damian Słota,
More informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More informationGeneralized Extended Whittaker Function and Its Properties
Applied Mathematical Sciences, Vol. 9, 5, no. 3, 659-654 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.988/ams.5.58555 Generalized Extended Whittaker Function and Its Properties Junesang Choi Department
More information(q n a; q) = ( a) n q (n+1 2 ) (q/a; q)n (a; q). For convenience, we employ the following notation for multiple q-shifted factorial:
ARCHIVUM MATHEMATICUM (BRNO) Tomus 45 (2009) 47 58 SEVERAL q-series IDENTITIES FROM THE EULER EXPANSIONS OF (a; q) AND (a;q) Zhizheng Zhang 2 and Jizhen Yang Abstract In this paper we first give several
More informationLaura Chihara* and Dennis Stanton**
ZEROS OF GENERALIZED KRAWTCHOUK POLYNOMIALS Laura Chihara* and Dennis Stanton** Abstract. The zeros of generalized Krawtchouk polynomials are studied. Some interlacing theorems for the zeros are given.
More informationON VALUES OF THE PSI FUNCTION
Journal of Applied Mathematics and Computational Mechanics 07, 6(), 7-8 www.amcm.pcz.pl p-issn 99-9965 DOI: 0.75/jamcm.07..0 e-issn 353-0588 ON VALUES OF THE PSI FUNCTION Marcin Adam, Bożena Piątek, Mariusz
More informationANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM
q-hypergeometric PROOFS OF POLYNOMIAL ANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM S OLE WARNAAR Abstract We present alternative, q-hypergeometric
More informationPartition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x
More informationON AN EXTENSION OF KUMMER-TYPE II TRANSFORMATION
TWMS J. App. Eng. Math. V.4, No.1, 2014, pp. 80-85. ON AN EXTENSION OF KUMMER-TYPE II TRANSFORMATION MEDHAT A. RAKHA 1, ARJUN K. RATHIE 2 Abstract. In the theory of hypergeometric and generalized hypergeometric
More informationYunhi Cho and Young-One Kim
Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong
More informationCONGRUENCES FOR BERNOULLI - LUCAS SUMS
CONGRUENCES FOR BERNOULLI - LUCAS SUMS PAUL THOMAS YOUNG Abstract. We give strong congruences for sums of the form N BnVn+1 where Bn denotes the Bernoulli number and V n denotes a Lucas sequence of the
More informationEXPONENTIAL POLYNOMIALS, STIRLING NUMBERS, AND EVALUATION OF SOME GAMMA INTEGRALS. Khristo N. Boyadzhiev
January 29, 2010 EXPONENTIAL POLYNOMIALS, STIRLING NUMBERS, AND EVALUATION OF SOME GAMMA INTEGRALS Khristo N. Boyadzhiev Department of Mathematics, Ohio Northern University Ada, Ohio 45810, USA k-boyadzhiev@onu.edu
More informationarxiv: v2 [math.ca] 2 Sep 2017
A note on the asymptotics of the modified Bessel functions on the Stokes lines arxiv:1708.09656v2 [math.ca] 2 Sep 2017 R. B. Paris Division of Computing and Mathematics, University of Abertay Dundee, Dundee
More informationM. A. Pathan. UNIFIED (p, q)-bernoulli-hermite POLYNOMIALS
F A S C I C U L I M A T H E M A T I C I Nr 61 2018 DOI:101515/fascmath-2018-0022 M A Pathan UNIFIED (p, q)-bernoulli-hermite POLYNOMIALS Abstract The Concepts of p-bernoulli numbers B n,p and p-bernoulli
More informationA Fine Dream. George E. Andrews (1) January 16, 2006
A Fine Dream George E. Andrews () January 6, 2006 Abstract We shall develop further N. J. Fine s theory of three parameter non-homogeneous first order q-difference equations. The obect of our work is to
More informationSEARCHING FOR STRANGE HYPERGEOMETRIC IDENTITIES BY SHEER BRUTE FORCE. Moa APAGODU. Doron ZEILBERGER 1
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A36 1 SEARCHING FOR STRANGE HYPERGEOMETRIC IDENTITIES BY SHEER BRUTE FORCE Moa APAGODU Department of Mathematics, Virginia Commonwealth
More informationGenerating Functions of Partitions
CHAPTER B Generating Functions of Partitions For a complex sequence {α n n 0,, 2, }, its generating function with a complex variable q is defined by A(q) : α n q n α n [q n ] A(q). When the sequence has
More informationHIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION
ISSN 2066-6594 Ann Acad Rom Sci Ser Math Appl Vol 10, No 1/2018 HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION Mircea Merca Dedicated to Professor Mihail Megan on
More informationOn the Ratio of Rice Random Variables
JIRSS 9 Vol. 8, Nos. 1-, pp 61-71 On the Ratio of Rice Random Variables N. B. Khoolenjani 1, K. Khorshidian 1, 1 Departments of Statistics, Shiraz University, Shiraz, Iran. n.b.khoolenjani@gmail.com Departments
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 998 Comments to the author at krm@mathsuqeduau All contents copyright c 99 Keith
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 1998 Comments to the author at krm@maths.uq.edu.au Contents 1 LINEAR EQUATIONS
More informationCHAPTER 3 Further properties of splines and B-splines
CHAPTER 3 Further properties of splines and B-splines In Chapter 2 we established some of the most elementary properties of B-splines. In this chapter our focus is on the question What kind of functions
More informationApplicable Analysis and Discrete Mathematics available online at ABEL S METHOD ON SUMMATION BY PARTS.
Applicable Analysis and Discrete Mathematics available online at http://pefmathetfrs Appl Anal Discrete Math 4 010), 54 65 doi:1098/aadm1000006c ABEL S METHOD ON SUMMATION BY PARTS AND BALANCED -SERIES
More informationSome Umbral Calculus Presentations of the Chan-Chyan-Srivastava Polynomials and the Erkuş-Srivastava Polynomials
Proyecciones Journal of Mathematics Vol. 33, N o 1, pp. 77-90, March 2014. Universidad Católica del Norte Antofagasta - Chile Some Umbral Calculus Presentations of the Chan-Chyan-Srivastava Polynomials
More informationOn an identity of Gessel and Stanton and the new little Göllnitz identities
On an identity of Gessel and Stanton and the new little Göllnitz identities Carla D. Savage Dept. of Computer Science N. C. State University, Box 8206 Raleigh, NC 27695, USA savage@csc.ncsu.edu Andrew
More informationOn the indecomposability of polynomials
On the indecomposability of polynomials Andrej Dujella, Ivica Gusić and Robert F. Tichy Abstract Applying a combinatorial lemma a new sufficient condition for the indecomposability of integer polynomials
More informationMultiple Meixner polynomials and non-hermitian oscillator Hamiltonians arxiv: v2 [math.ca] 8 Nov 2013
Multiple Meixner polynomials and non-hermitian oscillator Hamiltonians arxiv:1310.0982v2 [math.ca] 8 Nov 2013 F Ndayiragie 1 and W Van Assche 2 1 Département de Mathématiques, Université du Burundi, Campus
More informationJournal of Computational and Applied Mathematics
Journal of Computational and Applied Mathematics 233 2010) 1554 1561 Contents lists available at ScienceDirect Journal of Computational and Applied Mathematics journal homepage: wwwelseviercom/locate/cam
More informationCOMPLEMENTARY FAMILIES OF THE FIBONACCI-LUCAS RELATIONS. Ivica Martinjak Faculty of Science, University of Zagreb, Zagreb, Croatia
#A2 INTEGERS 9 (209) COMPLEMENTARY FAMILIES OF THE FIBONACCI-LUCAS RELATIONS Ivica Martinjak Faculty of Science, University of Zagreb, Zagreb, Croatia imartinjak@phy.hr Helmut Prodinger Department of Mathematics,
More informationON EXPLICIT FORMULAE AND LINEAR RECURRENT SEQUENCES. 1. Introduction
ON EXPLICIT FORMULAE AND LINEAR RECURRENT SEQUENCES R. EULER and L. H. GALLARDO Abstract. We notice that some recent explicit results about linear recurrent sequences over a ring R with 1 were already
More informationx dt. (1) 2 x r [1]. The function in (1) was introduced by Pathan and Shahwan [16]. The special
MATEMATIQKI VESNIK 66, 3 1, 33 33 September 1 originalni nauqni rad research paper COMPOSITIONS OF SAIGO FRACTIONAL INTEGRAL OPERATORS WITH GENERALIZED VOIGT FUNCTION Deepa H. Nair and M. A. Pathan Abstract.
More informationA SUMMATION FORMULA FOR SEQUENCES INVOLVING FLOOR AND CEILING FUNCTIONS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 5, 006 A SUMMATION FORMULA FOR SEQUENCES INVOLVING FLOOR AND CEILING FUNCTIONS M.A. NYBLOM ABSTRACT. A closed form expression for the Nth partial
More informationRecurrence Coef f icients of a New Generalization of the Meixner Polynomials
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 7 (011), 068, 11 pages Recurrence Coef f icients of a New Generalization of the Meixner Polynomials Galina FILIPUK and Walter VAN ASSCHE
More informationMulti-Term Linear Fractional Nabla Difference Equations with Constant Coefficients
International Journal of Difference Equations ISSN 0973-6069, Volume 0, Number, pp. 9 06 205 http://campus.mst.edu/ijde Multi-Term Linear Fractional Nabla Difference Equations with Constant Coefficients
More informationENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS. Special Functions GEORGE E. ANDREWS RICHARD ASKEY RANJAN ROY CAMBRIDGE UNIVERSITY PRESS
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS Special Functions GEORGE E. ANDREWS RICHARD ASKEY RANJAN ROY CAMBRIDGE UNIVERSITY PRESS Preface page xiii 1 The Gamma and Beta Functions 1 1.1 The Gamma
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationSUBCLASSES OF P-VALENT STARLIKE FUNCTIONS DEFINED BY USING CERTAIN FRACTIONAL DERIVATIVE OPERATOR
Sutra: International Journal of Mathematical Science Education Technomathematics Research Foundation Vol. 4 No. 1, pp. 17-32, 2011 SUBCLASSES OF P-VALENT STARLIKE FUNCTIONS DEFINED BY USING CERTAIN FRACTIONAL
More informationP i [B k ] = lim. n=1 p(n) ii <. n=1. V i :=
2.7. Recurrence and transience Consider a Markov chain {X n : n N 0 } on state space E with transition matrix P. Definition 2.7.1. A state i E is called recurrent if P i [X n = i for infinitely many n]
More informationSome thoughts concerning power sums
Some thoughts concerning power sums Dedicated to the memory of Zoltán Szvetits (929 20 Gábor Nyul Institute of Mathematics, University of Debrecen H 00 Debrecen POBox 2, Hungary e mail: gnyul@scienceunidebhu
More informationFive-term recurrence relations for hypergeometric functions of the second order
South Asian Journal of Mathematics 2013, Vol. 3 ( 2): 109 113 www.sajm-online.com ISSN 2251-1512 RESEARCH ARTICLE Five-term recurrence relations for hypergeometric functions of the second order A. Kumar
More informationThe Truncated Pentagonal Number Theorem
The Truncated Pentagonal Number Theorem George E. Andrews Department of Mathematics The Pennsylvania State University University Park, PA 16802 USA Mircea Merca Doctoral School in Applied Mathematics University
More informationInternational Journal of Pure and Applied Mathematics Volume 21 No , THE VARIANCE OF SAMPLE VARIANCE FROM A FINITE POPULATION
International Journal of Pure and Applied Mathematics Volume 21 No. 3 2005, 387-394 THE VARIANCE OF SAMPLE VARIANCE FROM A FINITE POPULATION Eungchun Cho 1, Moon Jung Cho 2, John Eltinge 3 1 Department
More informationq GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS
q GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS BRUCE C. BERNDT 1 and AE JA YEE 1. Introduction Recall that the q-gauss summation theorem is given by (a; q) n (b; q) ( n c ) n (c/a; q) (c/b; q) =, (1.1)
More informationON THE LIMITS OF QUOTIENTS OF POLYNOMIALS IN TWO VARIABLES
Journal of Applied Mathematics and Computational Mechanics 015, 14(1), 11-13 www.amcm.pcz.pl p-issn 99-9965 DOI: 10.1751/jamcm.015.1.1 e-issn 353-0588 ON THE LIMITS OF QUOTIENTS OF POLYNOMIALS IN TWO VARIABLES
More informationSMOOTHNESS PROPERTIES OF SOLUTIONS OF CAPUTO- TYPE FRACTIONAL DIFFERENTIAL EQUATIONS. Kai Diethelm. Abstract
SMOOTHNESS PROPERTIES OF SOLUTIONS OF CAPUTO- TYPE FRACTIONAL DIFFERENTIAL EQUATIONS Kai Diethelm Abstract Dedicated to Prof. Michele Caputo on the occasion of his 8th birthday We consider ordinary fractional
More informationSuper congruences involving binomial coefficients and new series for famous constants
Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
More informationAnalysis I. Classroom Notes. H.-D. Alber
Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21
More informationRecurrence Relations and Fast Algorithms
Recurrence Relations and Fast Algorithms Mark Tygert Research Report YALEU/DCS/RR-343 December 29, 2005 Abstract We construct fast algorithms for decomposing into and reconstructing from linear combinations
More informationAn Involution for the Gauss Identity
An Involution for the Gauss Identity William Y. C. Chen Center for Combinatorics Nankai University, Tianjin 300071, P. R. China Email: chenstation@yahoo.com Qing-Hu Hou Center for Combinatorics Nankai
More informationALL TEXTS BELONG TO OWNERS. Candidate code: glt090 TAKEN FROM
How are Generating Functions used in finding the closed form of sequences involving recurrence relations and in the analysis of probability distributions? Mathematics Extended Essay Word count: 3865 Abstract
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationJACOBI TYPE AND GEGENBAUER TYPE GENERALIZATION OF CERTAIN POLYNOMIALS. Mumtaz Ahmad Khan and Mohammad Asif. 1. Introduction
MATEMATIQKI VESNIK 64 (0) 47 58 June 0 originalni nauqni rad research paper JACOBI TYPE AND GEGENBAUER TYPE GENERALIZATION OF CERTAIN POLYNOMIALS Mumtaz Ahmad Khan and Mohammad Asif Abstract. This paper
More informationSome Indefinite Integrals in the Light of Hypergeometric Function
Global Journal of Science Frontier Research Mathematics and Decision Sciences Volume 3 Issue 6 Version.0 Year 03 Type : Double Blind Peer Reviewed International Research Journal Publisher: Global Journals
More informationSECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C
p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer
More informationApproximating the Conway-Maxwell-Poisson normalizing constant
Filomat 30:4 016, 953 960 DOI 10.98/FIL1604953S Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Approximating the Conway-Maxwell-Poisson
More informationCONSTRUCTION OF ORTHONORMAL WAVELETS USING KAMPÉ DE FÉRIET FUNCTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 1 Number 1 Pages 89 94 S -999669-X Article electronically published on May 1 CONSTRUCTION OF ORTHONORMAL WAVELETS USING KAMPÉ DE FÉRIET FUNCTIONS
More informationAlmost Product Evaluation of Hankel Determinants
Almost Product Evaluation of Hankel Determinants Ömer Eğecioğlu Department of Computer Science University of California, Santa Barbara CA 93106 omer@csucsbedu Timothy Redmond Stanford Medical Informatics,
More informationTwo truncated identities of Gauss
Two truncated identities of Gauss Victor J W Guo 1 and Jiang Zeng 2 1 Department of Mathematics, East China Normal University, Shanghai 200062, People s Republic of China jwguo@mathecnueducn, http://mathecnueducn/~jwguo
More informationLinks Between Sums Over Paths in Bernoulli s Triangles and the Fibonacci Numbers
Links Between Sums Over Paths in Bernoulli s Triangles and the Fibonacci Numbers arxiv:1611.09181v1 [math.co] 28 Nov 2016 Denis Neiter and Amsha Proag Ecole Polytechnique Route de Saclay 91128 Palaiseau
More informationA Symbolic Operator Approach to Several Summation Formulas for Power Series
A Symbolic Operator Approach to Several Summation Formulas for Power Series T. X. He, L. C. Hsu 2, P. J.-S. Shiue 3, and D. C. Torney 4 Department of Mathematics and Computer Science Illinois Wesleyan
More informationThe Perrin Conjugate and the Laguerre Orthogonal Polynomial
The Perrin Conjugate and the Laguerre Orthogonal Polynomial In a previous chapter I defined the conjugate of a cubic polynomial G(x) = x 3 - Bx Cx - D as G(x)c = x 3 + Bx Cx + D. By multiplying the polynomial
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationMULTI-RESTRAINED STIRLING NUMBERS
MULTI-RESTRAINED STIRLING NUMBERS JI YOUNG CHOI DEPARTMENT OF MATHEMATICS SHIPPENSBURG UNIVERSITY SHIPPENSBURG, PA 17257, U.S.A. Abstract. Given positive integers n, k, and m, the (n, k)-th m- restrained
More informationInvestigating Geometric and Exponential Polynomials with Euler-Seidel Matrices
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.4.6 Investigating Geometric and Exponential Polynomials with Euler-Seidel Matrices Ayhan Dil and Veli Kurt Department of Mathematics
More informationq-pell Sequences and Two Identities of V. A. Lebesgue
-Pell Seuences and Two Identities of V. A. Lebesgue José Plínio O. Santos IMECC, UNICAMP C.P. 6065, 13081-970, Campinas, Sao Paulo, Brazil Andrew V. Sills Department of Mathematics, Pennsylvania State
More informationTakao Komatsu School of Mathematics and Statistics, Wuhan University
Degenerate Bernoulli polynomials and poly-cauchy polynomials Takao Komatsu School of Mathematics and Statistics, Wuhan University 1 Introduction Carlitz [6, 7] defined the degenerate Bernoulli polynomials
More informationOn the Density of Languages Representing Finite Set Partitions 1
2 3 47 6 23 Journal of Integer Sequences, Vol. 8 2005, Article 05.2.8 On the Density of Languages Representing Finite Set Partitions Nelma Moreira and Rogério Reis DCC-FC & LIACC Universidade do Porto
More informationApplications of Computer Algebra to the Theory of Hypergeometric Series
Applications of Computer Algebra to the Theory of Hypergeometric Series A Dissertation Presented to The Faculty of the Graduate School of Arts and Sciences Brandeis University Department of Mathematics
More informationOn Certain Hypergeometric Summation Theorems Motivated by the Works of Ramanujan, Chudnovsky and Borwein
www.ccsenet.org/jmr Journal of Mathematics Research Vol., No. August 00 On Certain Hypergeometric Summation Theorems Motivated by the Works of Ramanujan, Chudnovsky and Borwein M. I. Qureshi Department
More informationTHE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS
THE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS GEORGE E ANDREWS 1 AND S OLE WARNAAR 2 Abstract An empirical exploration of five of Ramanujan s intriguing false theta function identities leads to unexpected
More information