- Research
- Open access
- Published:
Explicit expressions and integral representations for the Stirling numbers. A probabilistic approach
Advances in Difference Equations volume 2019, Article number: 398 (2019)
Abstract
We show that the Stirling numbers of the first and second kind can be represented in terms of moments of appropriate random variables. This allows us to obtain, in a unified way, a variety of old and new explicit expressions and integral representations of such numbers.
1 Introduction
Let \(\mathbb {N}\) be the set of positive integers and \(\mathbb {N}_{0}= \mathbb {N}\cup\{0\}\). The Stirling numbers of the first and second kind, respectively denoted by \(s(n+k,k)\) and \(S(n+k,k)\), \(n,k\in \mathbb {N}_{0}\), can be defined in various equivalent ways (see, for instance, Abramowitz and Stegun [1, p. 824] or Comtet [2, Chap. 5]). Here, we consider the following definitions in terms of their respective generating functions:
and
The Stirling numbers play an important role in many branches of mathematics and physics as ingredients in the computation of diverse quantities. For this reason, one can find in the literature many different explicit expressions and integral representations of such numbers (see the references in Sects. 3 and 4).
In this paper, we give a probabilistic perspective by showing that the Stirling numbers of both kinds are, in fact, the moments of appropriate random variables. This allows us to obtain in a unified way a variety of old and new explicit expressions and integral representations of these numbers.
It is worth noting that, very recently, various authors have established identities between various kinds of special numbers and moments of suitable random variables by using the generating function of such random variables. In this respect, we mention that Kim et al. [3] connected extended Stirling polynomials and extended Bell polynomials with moments of Poisson random variables, and Kim et al. [4] showed that type 2 Bernoulli and Euler polynomials can be written as moments of sums of independent random variables having the Laplace distribution. Specially, this paper is close in spirit to that by Kim et al. [5], where the authors use uniform and gamma distributed random variables to give probabilistic representations of classical and degenerate Stirling numbers, derangement numbers, higher-order Bernoulli numbers and Bernoulli numbers of the second kind (see also Sect. 3).
More precisely, we will consider throughout the paper three sequences \((U_{j})_{j\geq1}\), \((X_{j})_{j\geq1}\), and \((Y_{j})_{j\geq1}\) of independent identically distributed random variables such that \(U_{1}\) has the uniform distribution on \([0,1]\), and \(X_{1}\) and \(Y_{1}\) have the exponential density \(\rho(\theta)=e^{-\theta}\), \(\theta\geq0\). We assume that these three sequences are mutually independent and denote
where it is understood that \(S_{0}=T_{0}=W_{0}=0\). It is well known that the random variable \(T_{k}\) has the gamma probability density (cf. Johnson et al. [6, p. 340])
The probability densities of the random variables \(S_{k}\) and \(W_{k}\) are more involved and will be given in Lemma 2.1 below. For any \(x\in \mathbb {R}\), we denote the rising factorial as
Let \(z\in \mathbb {C}\) and \(k\in \mathbb {N}_{0}\). From (4), it is readily seen that
where \(\mathbb {E}\) stands for mathematical expectation. Using the independence and identical distribution of the random variables involved, we have from (2) and (3)
On the other hand, by Fubini’s theorem, we have for \(|z|<1\)
thus implying, by virtue of (1) and (3),
Identifying coefficients in (6) and (8), we can write the Stirling numbers of the first and second kind in terms of moments of appropriate random variables as
The first equality in (9) was obtained by Sun [7], whereas the second one can be found in [8].
The probabilistic approach developed in this paper is motivated by the following considerations. Denote by i the imaginary unit. Replacing z by \(itT_{k+1}\), \(t\in \mathbb {R}\), in (6) and taking into account (5), we get, at least formally,
A similar procedure in Eq. (8) leads us to
Since \(0< S_{k}< k\), Eq. (10) is a true power series for \(|t|<1/k\), whereas Eq. (11) is only a formal power series. In any case, the left-hand sides in (10) and (11) always make sense and constitute the first ingredient of our approach. The second ingredient is the generalized difference operator defined in the following section. As shown in Sects. 3 and 4, Eqs. (10) and (11) give us a variety of explicit expressions and integral representations for the Stirling numbers.
2 Technical results
For any function \(f:\mathbb {R}\to \mathbb {R}\), we consider the difference operator
together with the iterates
Such iterates were considered by Mrowiec et al. [9] in connection with Wright-convex functions of order k and by Dilcher and Vignat [10] in the context of convolution identities for Bernoulli polynomials. He [11] used these iterates for \(y_{1}=\cdots=y_{k}=\beta\) to deal with Stirling numbers.
Let \(x,y_{1},\ldots, y_{k}\in \mathbb {R}\) and \(k\in \mathbb {N}\). It was shown in [12] that
where
In particular, the usual kth forward difference of f is defined as
If f is k times differentiable, we have (cf. [12])
Denote by \(1_{A}\) the indicator function of the set A, by \(x_{+}=\max(0,x)\), and by
the truncated power function. The following auxiliary result gives us in a unified way the probability densities of the random variables \(S_{k}\) and \(W_{k}\) defined in (3).
Lemma 2.1
Let \(k\in \mathbb {N}\) and \(y_{1},\ldots,y_{k}\in \mathbb {R}\setminus \{0\}\). The random variable \(y_{1}U_{1}+\cdots+y_{k}U_{k}\) has probability density
In particular, the probability density of \(S_{k}\) is given by
Moreover, the probability density of \(W_{k}\) is given by
Proof
Let \(\theta\in \mathbb {R}\) and set \(f^{(k)}(y)=1_{(\theta,\infty)}(y)\), \(y\in \mathbb {R}\). Obviously,
We therefore have from (14), with \(x=0\),
Differentiating this expression with respect to to θ and taking into account (12) and (19), we obtain (16). Choosing \(y_{1}=\cdots=y_{k}=1\) in (16) and recalling (13) and (15), we get (17). Finally, since the sequences \((Y_{j})_{j\geq1}\) and \((U_{j})_{j\geq1}\) are independent, we have from (16) and Fubini’s theorem
Differentiating this expression with respect to θ and using (16), we show (18). The proof is complete. □
We point out that Eq. (17) is well known (see, for instance, Feller [13, p. 27]).
On the other hand, recall that the characteristic function or Fourier transform of a random variable X is defined as
It is well known that \(\phi(t)\) univocally determines the law of X (see, for instance, Billingsley [14, p. 346]). If, in addition, \(\phi(t)\) is absolutely integrable, then X has the probability density \(\rho(\theta)\) given by (cf. Billingsley [14, p. 347])
Lemma 2.2
Let \(k\in \mathbb {N}_{0}\) and \(t\in \mathbb {R}\). Then
Proof
Using Fubini’s theorem, (4), and (6), we have
where the last equality follows by applying successively integration by parts. On the other hand, since \((X_{j})_{j\geq1}\) is a sequence of independent identically distributed random variables, we have from (4)
The proof is complete. □
Lemma 2.3
Let \(k\in \mathbb {N}_{0}\) and \(t\in \mathbb {R}\). Then
Proof
Observe that Eq. (7) also holds for \(z=it\theta\), \(t,\theta\in \mathbb {R}\). Therefore, by Fubini’s theorem and (3), we have
Applying successive integration by parts and interchanging integral and expectation signs, we obtain
This, together with (21), shows the first equality in Lemma 2.3. On the other hand, since the random variables \((Y_{j})_{j\geq1}\) are independent and exponentially distributed, we have for any \(\theta_{1},\ldots, \theta_{k}\in \mathbb {R}\)
Replacing \(\theta_{j}\) by \(T_{j}\), \(j=1,\ldots, k\), in (22) and then taking expectations, we obtain the second equality in Lemma 2.3. The proof is complete. □
3 Explicit expressions
The following result gives probabilistic representations and explicit expressions for the Stirling numbers of the second kind. Denote \(I_{n}(x)=x^{n}\), \(x\in \mathbb {R}\), \(n\in \mathbb {N}_{0}\).
Theorem 3.1
For any \(n,k\in \mathbb {N}_{0}\), we have
Proof
Let \(k\in \mathbb {N}_{0}\). The first equality was shown in (9). By Lemma 2.2, the random variables \(S_{k}T_{k+1}\) and \(X_{1}+2X_{2}+ \cdots+kX_{k}\) have the same characteristic function and, therefore, the same law and the same moments. Hence, we have from (5)
Since \(\mathbb {E}U_{1}^{j}=1/(j+1)\), \(j\in \mathbb {N}_{0}\), we have from the independence and identical distribution of the random variables involved
thus showing the third equality in (23). On the other hand, choosing \(k=1\) in (5) we get \(\mathbb {E}X_{1}^{n}=\langle1 \rangle _{n}=n!\), \(n\in \mathbb {N}\). Since the random variables \((X_{j})_{j \geq1}\) are independent and identically distributed, we thus have
Finally, choosing \(f(x)=I_{n+k}(x)\) in (13) and (14), we obtain
This shows the last equality in (23) and completes the proof. □
As already mentioned in the Introduction, the first equality in (23) was shown by Sun [7]. The second and third ones seem to be new. The fourth is well known and can be found in Comtet [2, Chap. 5] (see also Belbachir et al. [15] for a generalization of this formula to r-Stirling numbers of the second kind). The last one is used in many occasions to define the Stirling numbers of the second kind (see, for instance, Abramowitz and Stegun [1, p. 824]). For other explicit expressions we refer the reader to Cakić et al. [16], He [11], and Sun [17]. We finally mention that the moments
can be used to describe higher-order convolutions of derangement polynomials, as shown by Kim et al. [5].
The analogous result for the Stirling numbers of the first kind is the following.
Theorem 3.2
For any \(n,k\in \mathbb {N}_{0}\), we have
Proof
Let \(k\in \mathbb {N}_{0}\). The first equality was shown in (9). As follows from Lemma 2.3, the random variables \(W_{k}T_{k+1}\) and \(Y_{1}T_{1}+\cdots+Y_{k}T_{k}\) have the same characteristic function and, therefore, the same law and the same moments. Thus, we have from (5)
As in the proof of Theorem 3.1, \(\mathbb {E}Y_{1}^{j}=\mathbb {E}X _{1}^{j}=j!\), \(j\in \mathbb {N}_{0}\). We therefore have from (3)
thus showing the third equality in (24). Similarly, we have from (5)
which shows the fourth equality in (24). Finally, choosing \(f(y)=I_{n+k}(y)\) and \(x=0\) in (14), we have
Replacing in this formula \(y_{j}\) by \(Y_{j}\), \(j=1,\ldots,k\), and then taking expectations, we obtain from (3)
This shows the last equality in (24) and completes the proof. □
The first probabilistic representations in (24) was given in [8]. T. Kim et al. [5] extended such a representation to degenerate Stirling numbers of the first kind. The second equality in (24) seems to be new. The third expression in (24) was obtained by Adamchik [18] (see also Qi [19]). A multitude of expressions of similar type can be found in Katriel [20]. Analogous formulas to the fourth one in (24) were given in Cakić [16] and Sun [17]. The last formula in (24) is new. In contraposition to the last expression in (23), this formula is not useful to perform computations. However, it shows that both Stirling numbers of the first and second kinds can be written in terms of generalized difference operators. Finally, other explicit expressions are given in He [11], Qi [19], and Blagouchine [21].
4 Integral representations
The integral representations for the Stirling numbers will be mainly based on Eq. (20), which requires the absolute integrability of the characteristic function \(\phi(t)\) under consideration. This is the reason why we consider integral representations for \(S(n+k,k)\) and \(s(n+k,k)\) for \(k=2,3,\ldots\) .
Theorem 4.1
For any \(n\in \mathbb {N}_{0}\) and \(k=2,3,\ldots\) , we have
where \(\tau_{k}(\theta)\) is defined in (17).
Proof
The first equality in (25) readily follows from (17) and the first equality in Theorem 3.1. As seen in (6), the characteristic function of \(S_{k}\) is given by
Thus, the second equality in (25) is a consequence of the first one and Eq. (20). Finally, denote by \(h_{k}(\theta)\), \(\theta\geq0\), the probability density of the random variable \(X_{1}+2X_{2}+\cdots+kX_{k}\). By (20) and Lemma 2.2, we have
On the other hand, the second equality in Theorem 3.1 gives us
This, together with (26), shows the last integral representation in (25) and completes the proof. □
The first and third integral expressions in (25) appear to be new, while a very similar integral representation to the second one was considered in Wegner [22] and used in the location of the maximum of \(S(n+k,k)\).
Recalling (3) and Lemma 2.3, the characteristic function of \(Y_{1}T_{1}+\cdots+Y_{k}T_{k}\) is given by
where \(t\in \mathbb {R}\) and \(k\in \mathbb {N}\).
Theorem 4.2
For any \(n\in \mathbb {N}_{0}\) and \(k=2,3,\ldots\) , we have
where \(\nu_{k}(\theta)\) and \(\phi_{k}(t)\) are defined in (18) and (27), respectively.
Proof
The first equality in (28) is a direct consequence of the first expression in Theorem 3.2 and (17). As in (8), the characteristic function of \(W_{k}\) is given by
Hence, the second equality in (28) follows from the first equality in Theorem 3.2 and (20). Analogously, the third equality in (28) follows from the third equality in Theorem 3.2, (20), and (27). This concludes the proof. □
The first and third representation in Theorem 4.2 are new. The second one was shown in [8]. For other integral expressions of different character, we refer the reader to Qi [23] and Agoh and Dilcher [24].
A comparison between Theorems 4.1 and 4.2 reveals that the integral representations for the Stirling numbers of the first kind are, in general, more involved than those for the Stirling numbers of the second kind. This is explained by the more involved probability densities of the random variables describing the Stirling numbers of the first kind.
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series, vol. 55, p. 1046. U.S. Government Printing Office, Washington (1964). For sale by the superintendent of documents
Comtet, L.: Advanced Combinatorics, enlarged edn. p. 343. Reidel, Dordrecht (1974) The art of finite and infinite expansions
Kim, T., Kim, D.S., Jang, G.-W.: Extended Stirling polynomials of the second kind and extended Bell polynomials. Proc. Jangjeon Math. Soc. 20(3), 365–376 (2017)
Kim, D.S., Dolgy, D.V., Kwon, J., Kim, T.: Note on type 2 degenerate q-Bernoulli polynomials. Symmetry 11(7) 914 (2019). https://doi.org/10.3390/sym11070914
Kim, T., Yao, Y., Kim, D.S., Kwon, H.-I.: Some identities involving special numbers and moments of random variables. Rocky Mt. J. Math. 49(2), 521–538 (2019). https://doi.org/10.1216/RMJ-2019-49-2-521
Johnson, N.L., Kotz, S., Balakrishnan, N.: Continuous Univariate Distributions. Vol. 1, 2nd edn. Wiley Series in Probability and Mathematical Statistics: Applied Probability and Statistics, p. 756. Wiley, New York (1994)
Sun, P.: Product of uniform distribution and Stirling numbers of the first kind. Acta Math. Sin. Engl. Ser. 21(6), 1435–1442 (2005). https://doi.org/10.1007/s10114-005-0631-4
Adell, J.A., Lekuona, A.: Closed form expressions for the Stirling numbers of the first kind. Integers 17, 26 (2017)
Mrowiec, J., Rajba, T., Wąsowicz, S.: On the classes of higher-order Jensen-convex functions and Wright-convex functions, II. J. Math. Anal. Appl. 450(2), 1144–1147 (2017). https://doi.org/10.1016/j.jmaa.2017.01.083
Dilcher, K., Vignat, C.: General convolution identities for Bernoulli and Euler polynomials. J. Math. Anal. Appl. 435(2), 1478–1498 (2016). https://doi.org/10.1016/j.jmaa.2015.11.006
He, T.-X.: Expression and computation of generalized Stirling numbers. J. Comb. Math. Comb. Comput. 86, 239–268 (2013)
Adell, J.A., Lekuona, A.: Binomial convolution and transformations of Appell polynomials. J. Math. Anal. Appl. 456(1), 16–33 (2017). https://doi.org/10.1016/j.jmaa.2017.06.077
Feller, W.: An Introduction to Probability Theory and Its Applications. Vol. II, 2nd edn. p. 669. Wiley, New York (1971)
Billingsley, P.: Probability and Measure, 3rd edn. Wiley Series in Probability and Mathematical Statistics, p. 593. Wiley, New York (1995)
Belbachir, H., Boutiche, M.A., Medjerredine, A.: Enumerating some stable partitions involving Stirling and r-Stirling numbers of the second kind. Mediterr. J. Math. 15(3), 87 (2018). https://doi.org/10.1007/s00009-018-1130-z
Cakić, N.P., El-Desouky, B.S., Milovanović, G.V.: Explicit formulas and combinatorial identities for generalized Stirling numbers. Mediterr. J. Math. 10(1), 57–72 (2013). https://doi.org/10.1007/s00009-011-0169-x
Sun, Z.-H.: Some inversion formulas and formulas for Stirling numbers. Graphs Comb. 29(4), 1087–1100 (2013). https://doi.org/10.1007/s00373-012-1155-1
Adamchik, V.: On Stirling numbers and Euler sums. J. Comput. Appl. Math. 79(1), 119–130 (1997). https://doi.org/10.1016/S0377-0427(96)00167-7
Qi, F.: Explicit formulas for computing Bernoulli numbers of the second kind and Stirling numbers of the first kind. Filomat 28(2), 319–327 (2014). https://doi.org/10.2298/FIL1402319O
Katriel, J.: A multitude of expressions for the Stirling numbers of the first kind. Integers 10, 273–297 (2010). https://doi.org/10.1515/INTEG.2010.023
Blagouchine, I.V.: Two series expansions for the logarithm of the gamma function involving Stirling numbers and containing only rational coefficients for certain arguments related to \(\pi^{-1}\). J. Math. Anal. Appl. 442(2), 404–434 (2016). https://doi.org/10.1016/j.jmaa.2016.04.032
Wegner, H.: On the location of the maximum Stirling number(s) of the second kind. Results Math. 54(1–2), 183–198 (2009). https://doi.org/10.1007/s00025-009-0361-5
Qi, F.: Integral representations and properties of Stirling numbers of the first kind. J. Number Theory 133(7), 2307–2319 (2013). https://doi.org/10.1016/j.jnt.2012.12.015
Agoh, T., Dilcher, K.: Representations of Stirling numbers of the first kind by multiple integrals. Integers 15, 8–9 (2015)
Acknowledgements
The authors would like to thank the referees and the editors for their careful reading of the manuscript and for their suggestions, which greatly improved the final outcome.
Availability of data and materials
Not applicable.
Funding
This work was supported by research grants MTM2015-67006-P and DGA (E-64).
Author information
Authors and Affiliations
Contributions
Both authors read and approved the final manuscript. Both authors contributed equally.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Adell, J.A., Lekuona, A. Explicit expressions and integral representations for the Stirling numbers. A probabilistic approach. Adv Differ Equ 2019, 398 (2019). https://doi.org/10.1186/s13662-019-2337-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2337-4