- 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 *k*th 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/sym11070914Kim, 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-521Johnson, 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-4Adell, 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.083Dilcher, 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.006He, 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.077Feller, 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-zCakić, 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-xSun, 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-1Adamchik, 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-7Qi, 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/FIL1402319OKatriel, 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.023Blagouchine, 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.032Wegner, 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-5Qi, 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.015Agoh, 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