An Explicit Formula for Bell Numbers in Terms of Stirling Numbers and Hypergeometric Functions
Total Page:16
File Type:pdf, Size:1020Kb
Global Journal of Mathematical Analysis, 2 (4) (2014) 243-248 °c Science Publishing Corporation www.sciencepubco.com/index.php/GJMA doi: 10.14419/gjma.v2i4.3310 Research Paper An explicit formula for Bell numbers in terms of Stirling numbers and hypergeometric functions Bai-Ni Guo1;¤ & Feng Qi2;3 1School of Mathematics and Informatics, Henan Polytechnic University, Jiaozuo City, Henan Province, 454010, China 2College of Mathematics, Inner Mongolia University for Nationalities, Tongliao City, Inner Mongolia Autonomous Region, 028043, China 3Department of Mathematics, College of Science, Tianjin Polytechnic University, Tianjin City, 300387, China ¤Corresponding author's e-mail: [email protected], [email protected] ¤Corresponding author's URL: http: // www. researchgate. net/ profile/ Bai-Ni_ Guo/ Copyright °c 2014 Bai-Ni Guo and Feng Qi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In the paper, by two methods, the authors ¯nd an explicit formula for computing Bell numbers in terms of Kummer confluent hypergeometric functions and Stirling numbers of the second kind. Moreover, the authors supply an alternative proof of the well-known \triangular" recurrence relation for Stirling numbers of the second kind. In a remark, the authors reveal the combinatorial interpretation of the special values for Kummer confluent hypergeo- metric functions and the total sum of Lah numbers. Keywords: explicit formula; Bell number; confluent hypergeometric function of the ¯rst kind; Stirling number of the second kind; combinatorial interpretation; alternative proof; recurrence relation; polylogarithm MSC : Primary 11B73; Secondary 33B10, 33C15 1 Introduction In combinatorics, Bell numbers, usually denoted by Bn for n 2 f0g [ N, count the number of ways a set with n elements can be partitioned into disjoint and non-empty subsets. These numbers have been studied by mathemati- cians since the 19th century, and their roots go back to medieval Japan, but they are named after Eric Temple Bell, who wrote about them in the 1930s. Every Bell number Bn may be generated by 1 k x X x ee ¡1 = B (1.1) k k! k=0 or, equivalently, by 1 k ¡x X x ee ¡1 = (¡1)kB : (1.2) k k! k=0 244 Global Journal of Mathematical Analysis In combinatorics, Stirling numbers arise in a variety of combinatorics problems. They are introduced in the eighteen century by James Stirling. There are two kinds of Stirling numbers: Stirling numbers of the ¯rst kind and Stirling numbers of the second kind. Every Stirling number of the second kind, usually denoted by S(n; k), is the number of ways of partitioning a set of n elements into k nonempty subsets, may be computed by µ ¶ 1 Xk k S(n; k) = (¡1)i (k ¡ i)n; (1.3) k! i i=0 and may be generated by (ex ¡ 1)k X1 xn = S(n; k) ; k 2 f0g [ N: (1.4) k! n! n=k In the theory of special functions, the hypergeometric functions are denoted and de¯ned by X1 (a ) ¢ ¢ ¢ (a ) xn F (a ; : : : ; a ; b ; : : : ; b ; x) = 1 n p n (1.5) p q 1 p 1 q (b ) ¢ ¢ ¢ (b ) n! n=0 1 n q n for bi 2= f0; ¡1; ¡2;::: g and p; q 2 N, where (a)0 = 1 and (a)n = a(a + 1) ¢ ¢ ¢ (a + n ¡ 1) for n 2 N and any complex number a is called the rising factorial. Specially, the series X1 k (a)k z 1F1(a; b; z) = (1.6) (b)k k! k=0 is called Kummer confluent hypergeometric function. In combinatorics or number theory, it is common knowledge that Bell numbers Bn may be computed in terms of Stirling numbers of the second kind S(n; k) by Xn Bn = S(n; k): (1.7) k=1 In this paper, by two methods, we will ¯nd a new explicit formula for computing Bell numbers Bn in terms of Kummer confluent hypergeometric functions 1F1(k + 1; 2; 1) and Stirling numbers of the second kind S(n; k) as follows. Theorem 1. For n 2 N, Bell numbers Bn may be expressed as 1 Xn B = (¡1)n¡kk! F (k + 1; 2; 1)S(n; k): (1.8) n e 1 1 k=1 It is well known in combinatorics that Stirling numbers of the second kind S(n; k) satisfy the \triangular" recurrence relation S(n; k) = S(n ¡ 1; k ¡ 1) + kS(n ¡ 1; k); k; n ¸ 1 (1.9) and S(n; 0) = S(0; k) = 0;S(0; 0) = 1: See [2, p. 208, Theorem A]. In [2, pp. 208{209], the author provided an analytical proof and a combinatorial proof of (1.9). In Section 3 of this paper, we will supply an alternative proof of (1.9) by virtue of some properties of the polylogarithm Lin(z) which may be de¯ned by X1 zk Li (z) = (1.10) n kn k=1 over the open unit disk in the complex plane C and extended to the whole complex plane C uniquely via analytic continuation. Global Journal of Mathematical Analysis 245 2 Proofs of Theorem 1 We now start out to verify Theorem 1 as follows. First proof. Among other things, it was obtained in [8, Theorem 1.2] that the function Xk 1 1 H (z) = e1=z ¡ (2.1) k m! zm m=0 for k 2 f0g [ N and z 6= 0 has the integral representation Z 1 1 k ¡zt Hk(z) = 1F2(1; k + 1; k + 2; t)t e d t; <(z) > 0: (2.2) k!(k + 1)! 0 See also [6, Section 1.2] and [7, Lemma 2.1]. When k = 0, the integral representation (2.2) becomes Z ¡ p ¢ 1 I 2 t e1=z = 1 + 1 p e¡zt d t; <(z) > 0; (2.3) 0 t where Iº (z) stands for the modi¯ed Bessel function of the ¯rst kind µ ¶ X1 1 z 2k+º I (z) = (2.4) º k!¡(º + k + 1) 2 k=0 for º 2 R and z 2 C, see [1, p. 375, 9.6.10], and ¡ represents the classical Euler gamma function which may be de¯ned by Z 1 ¡(z) = tz¡1e¡t d t; <z > 0; (2.5) 0 see [1, p. 255]. Replacing z by ex in (2.3) gives ¡ p ¢ Z 1 x ¡x I1 2 t x e1=e = ee = 1 + p e¡e t d t: (2.6) 0 t Di®erentiating n ¸ 1 times with respect to x on both sides of (2.6) and (1.2) gives ¡x Z ¡ p ¢ x dn ee 1 I 2 t dn e¡e t 1 p n = n d t (2.7) d x 0 t d x and ¡x dn ee X1 xk¡n = e (¡1)kB : (2.8) d xn k (k ¡ n)! k=n From (2.7) and (2.8), it follows that ¡ p ¢ X1 k¡n Z 1 n ¡ext k x I1 2 t d e e (¡1) Bk = p d t: (k ¡ n)! t d xn k=n 0 Taking x ! 0 in the above equation yields Z ¡ p ¢ x 1 I 2 t dn e¡e t n 1 p (¡1) eBn = lim n d t: (2.9) 0 t x!0 d x In combinatorics, it is well known that Bell polynomials of the second kind, or say, the partial Bell polynomials, denoted by Bn;k(x1; x2; : : : ; xn¡k+1), may be de¯ned by X n¡Yk+1³ ´` n! xi i Bn;k(x1; x2; : : : ; xn¡k+1) = Qn¡k+1 (2.10) `i! i! 1·i·n;`i2f0g[N i=1 i=1 Pn i=1 i`i=n Pn i=1 `i=k 246 Global Journal of Mathematical Analysis for n ¸ k ¸ 0, see [2, p. 134, Theorem A], and satisfy ¡ 2 n¡k+1 ¢ k n Bn;k abx1; ab x2; : : : ; ab xn¡k+1 = a b Bn;k(x1; xn; : : : ; xn¡k+1) (2.11) and Bn;k(1; 1;:::; 1) = S(n; k); (2.12) see [2, p. 135], where a and b are any complex numbers. The well-known Fa`adi Bruno formula may be described in terms of Bell polynomials of the second kind Bn;k(x1; x2; : : : ; xn¡k+1) by dn Xn ¡ ¢ f ± g(x) = f (k)(g(x))B g0(x); g00(x); : : : ; g(n¡k+1)(x) ; (2.13) d xn n;k k=1 see [2, p. 139, Theorem C]. By Fa`adi Bruno formula (2.13) and the identities (2.11) and (2.12), we have n ¡ext n n d e X x x X = e¡e tB (¡ext; ¡ext; : : : ; ¡ext) = e¡e t (¡ext)kB (1; 1;:::; 1) d xn n;k n;k k=1 k=1 n n x X X = e¡e t (¡ext)kS(n; k) ! e¡t (¡t)kS(n; k) k=1 k=1 as x ! 0. Substituting the above limit into (2.9) leads to Z 1 Xn 1 ¡ p ¢ 1 Xn B = (¡1)n¡kS(n; k) I 2 t tk¡1=2e¡t d t = (¡1)n¡kS(n; k)k! F (k + 1; 2; 1): n e 1 e 1 1 k=1 0 k=1 The required proof is complete. Second proof. From the de¯nition of the exponential function and the formula Z 1 k! ¡zt k k+1 = e t d t; (2.14) z 0 it was obtained that Z 1 X1 tk e1=z = 1 + e¡zt d t: (2.15) k!(k + 1)! 0 k=0 Substituting z with ex and using the exponential generating function for Bell polynomials 1 X B (t) x n xn = et(e ¡1) (2.16) n! n=0 lead to Z X1 B (1) 1 X1 B (¡t) X1 tk e n (¡x)n = 1 + e¡t n xn d t: (2.17) n! n! k!(k + 1)! n=0 0 n=0 k=0 Equating coe±cients of xn and using the fact that X1 k Bn(t) = S(n; k)t (2.18) k=0 and Bn(1) = Bn, the equation (1.8) follows.