Abstract
Associated with each complex-valued random variable satisfying appropriate integrability conditions, we introduce a different generalization of the Stirling numbers of the second kind. Various equivalent definitions are provided. Attention, however, is focused on applications. Indeed, such numbers describe the moments of sums of i.i.d. random variables, determining their precise asymptotic behavior without making use of the central limit theorem. Such numbers also allow us to obtain explicit and simple Edgeworth expansions. Applications to Lévy processes and cumulants are discussed, as well.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical Stirling numbers play an important role in many branches of mathematics and physics as ingredients in the computation of diverse quantities. In particular, the Stirling numbers of the second kind S(j, m), counting the number of partitions of \(\{1,\ldots ,j\}\) into m nonempty, pairwise disjoint subsets, are a fundamental tool in many combinatorial problems. Such numbers can be defined in various equivalent ways (cf. Abramowitz and Stegun [1, p. 824] and Comtet [7, Chap. 5]). Two of the most useful are the following. Let \(j=0,1,\ldots \) and \(m=0,1,\ldots ,j\). Then S(j, m) can be explicitly defined as
or via their generating function as
Motivated by various specific problems, different generalizations of the Stirling numbers S(j, m) have been considered in the literature (see, for instance, Hsu and Shiue [11], Luo and Srivastava [13], Cakić et al. [6] and El-Desouky et al. [9]). In [3], we considered the following probabilistic generalization. Let \((Y_k)_{k\ge 1}\) be a sequence of independent copies of a real-valued random variable Y having a finite moment generating function and denote by \(S_k=Y_1+\cdots +Y_k, k=1,2,\ldots \) \((S_0=0)\). Then, the Stirling numbers of the second kind associated with Y are defined by
Observe that formula (3) recovers (1) when \(Y=1\). The motivations behind definition (3) have to do with certain problems coming from analytic number theory, such as extensions in various ways of the classical formula for sums of powers on arithmetic progressions (cf. [3]) and explicit expressions for higher-order convolutions of Appell polynomials (see [4]).
In this paper, we extend definition (3) to complex-valued random variables Y and show its usefulness in various classical topics of probability theory. In this regard, we show in Sect. 3 that the moments \(\mathbb {E}S_n^j\) can be written in closed form in terms of the Stirling numbers \(S_Y(j,m)\). When Y is real-valued and centered, two remarkable consequences deserve to be mentioned. First, we can directly obtain the precise asymptotic behavior of \(\mathbb {E}S_n^j\) as far as rates of convergence and leading coefficients are concerned, without appealing to the central limit theorem. Monotonicity properties of the sequence \(\mathbb {E}S_n^{2j}/(n)_j, n\ge j\), where \((n)_j=n(n-1)\cdots (n-j+1)\), are also derived in a simple way. We point out that monotonicity results in the central limit theorem seem to be rather scarce. (In this respect, Teicher [19] and Kane [12] showed that \(P(S_n\ge 0)\) converges monotonically for various choices of the law of \(S_n\).) Second, from a computational point of view, we can evaluate \(\mathbb {E}S_n^j\) for \(n\ge j\) in terms of \(\mathbb {E}S_n^j\) for \(n<j\) and \(S_Y(j,\lfloor j/2\rfloor )\). In Sect. 4, we deal with analogous properties referring to Lévy processes and centered subordinators.
Concerning rates of convergence in the central limit theorem, Edgeworth expansions provide a great accuracy in the approximation at the price of using rather involved technicalities (cf. Petrov [15], Hall [10], Barbour [5], and Rinot and Rotar [16]). In Sect. 5, we give explicit and relatively simple full Edgeworth expansions whose coefficients depend on the Stirling numbers \(S_{Y+iZ}(j,m)\), where the real-valued random variables Y and Z are independent and Z has the standard normal distribution. The order of magnitude of such expansions is that of \(n^{-(r-1)/2}\), whenever \(\mathbb {E}Y^k=\mathbb {E}Z^k, k=1,2,\ldots ,r\), for some \(r\ge 2\). In Sect. 6, we show that the cumulants of a random variable Y can also be described by means of \(S_Y(j,m)\). Finally, in Sect. 2 we gather some equivalent definitions of \(S_Y(j,m)\) when Y is complex-valued without proofs, since they are similar to those previously given in [3] for real-valued random variables Y.
2 Probabilistic Stirling Numbers
The following notations will be used throughout the paper. Let \(\mathbb {N}\) be the set of positive integers and \(\mathbb {N}_0=\mathbb {N}\cup \{0\}\). Unless otherwise specified, we assume that \(j,m\in \mathbb {N}_0\), \(x\in \mathbb {C}\), and \(z\in \mathbb {C}\) satisfies \(|z|<R\), where \(R>0\) may change from line to line. We always consider measurable exponentially bounded functions \(f:\mathbb {C}\rightarrow \mathbb {C}\), i.e., \(|f(x)|\le e^{R|x|}\). We denote by \(I_j(x)=x^j\) the jth monomial function and by \((x)_j\) the descending factorial, that is, \((x)_j=x(x-1)\cdot \cdot \cdot (x-j+1), j\in \mathbb {N}\), \((x)_0=1\). Finally, we set \(j\wedge m= \min (j,m)\) and denote by \(\lfloor y\rfloor \) the integer part of \(y\in \mathbb {R}\).
Let \({\mathcal {G}}_0\) be the set of complex-valued random variables Y having a finite moment generating function in a neighborhood of the origin, i.e.,
for some \(R>0\).
For any \(r\in \mathbb {N}\), we consider a random variable \(\beta (r)\) having the beta density
whereas we set \(\beta (0)=1\). Note that \(\beta (1)\) is uniformly distributed on [0, 1]. For any \(r\in \mathbb {N}_0\), let \((Y_k)_{k\ge 1}\) and \((\beta _k(r))_{k\ge 1}\) be two sequences of independent copies of \(Y\in {\mathcal {G}}_0\) and \(\beta (r)\), respectively, and assume that both sequences are mutually independent. We denote
The following two important special cases will also be denoted
On the other hand, consider the difference operator
together with the iterates
Such generalized difference operators were used by Mrowiec et al. [14] and Dilcher and Vignat [8] in different analytic contexts. Observe that
is the usual mth forward difference of f. In general, the iterates in (7) have a cumbersome expression. However, we have the following formulas stated in [3], where it is understood that
Lemma 1
Let \(Y\in {\mathcal {G}}_0\). For any \(m\in \mathbb {N}_0\), we have
If, in addition, f is m times differentiable, then
The Stirling numbers of the second kind \(S_Y(j,m), m\le j\), associated with the random variable \(Y\in {\mathcal {G}}_0\) are defined as in (3). Observe that this definition is justified in the sense that
as follows by choosing \(f=I_j\) and \(x=0\) in Lemma 1. Such numbers are characterized in the following result (cf. [3]).
Theorem 1
Let \(Y\in {\mathcal {G}}_0\). For any \(m\le j\), we have
Equivalently, the numbers \(S_Y(j,m)\) are defined via their generating function as
For the classical Stirling numbers S(j, m), expression (9) gives us
This formula was already obtained by Sun [18].
Theorem 1 allows us to obtain explicit expressions of \(S_Y(j,m)\) for different choices of the random variable Y (see [3]). In many cases, such numbers are actually real numbers. For instance, if \(Y=U+iV\), where U and V are independent real-valued random variables and V has a real characteristic function (in particular, if \(V=0\) or if V has the standard normal distribution). In fact, let \(t\in \mathbb {R}\) with \(|t|<R\). Since \(\mathbb {E}e^{tY}=\mathbb {E}e^{tU}\mathbb {E}e^{itV}\) is real, we see that both sides in (10) are real when choosing \(z=t\). This shows the claim. Finally, if Y is nonnegative, then \(S_Y(j,m)\) is nonnegative as well, as follows from (5) and (9).
3 Moments
In this section, we give closed-form expressions for the moments of \(S_n\), as defined in (6) in terms of the probabilistic Stirling numbers \(S_Y(j,m)\) and discuss some of their consequences. In this respect, for any \(r\in \mathbb {N}\), denote by \({\mathcal {G}}_r\) the subset of \({\mathcal {G}}_0\) consisting of those random variables \(Y=U+iV\) such that
In the case in which U and V are independent, observe that \(Y\in {\mathcal {G}}_1\), if \(\mathbb {E}U=\mathbb {E}V=0\); \(Y\in {\mathcal {G}}_2\) if, in addition, \(\mathbb {E}U^2=\mathbb {E}V^2\); \(Y\in {\mathcal {G}}_3\) if, moreover, \(\mathbb {E}U^3=\mathbb {E}V^3=0\); \(Y\in {\mathcal {G}}_4\) if, additionally,
and so on. Also observe that if U and V are independent copies of a random variable having the standard normal distribution, then \(Y\in {\mathcal {G}}_r\), for any \(r\in \mathbb {N}\), since
The following auxiliary result will be used in Sect. 5.
Lemma 2
Let \(r\in \mathbb {N}\) and let U and V be two independent real-valued random variables such that \(U\in {\mathcal {G}}_0\) and V has the standard normal distribution. Then, \(Y=U+iV\in {\mathcal {G}}_r\) if and only if \(\mathbb {E}U^k=\mathbb {E}V^k, k=1,\ldots ,r\).
Proof
Let Z be an independent copy of V. By (13), we see that
Assume that \(\mathbb {E}U^k=\mathbb {E}V^k, k=1,\ldots ,r\), and let \(s=1,\ldots ,r\). By (14), we have
To show the reverse implication, we use induction on r. For \(r=1\), the result is obviously true. Assume that the result is true for some \(r\in \mathbb {N}\). Let \(Y\in {\mathcal {G}}_{r+1}\subseteq {\mathcal {G}}_r\). By the induction assumption, \(\mathbb {E}U^k=\mathbb {E}V^k=\mathbb {E}Z^k\), \(k=1,\ldots ,r\). We thus have from (14)
This shows the reverse implication and completes the proof. \(\square \)
The interesting feature of the random variables Y in the subset \({\mathcal {G}}_r, r\in \mathbb {N}\), is that its corresponding Stirling numbers satisfy \(S_Y(j,m)=0\), for \(j<m(r+1)\), as shown in the following result. This property has remarkable consequences to evaluate the moments \(\mathbb {E}S_n^j\), as seen in the remaining results of this section, as well as to obtain the Edgeworth expansions considered in Sect. 5.
Theorem 2
Let \(Y\in {\mathcal {G}}_r\), for some \(r\in \mathbb {N}_0\). Then,
whenever \(j\ge m(r+1)\), whereas \(S_Y(j,m)=0\), if \(j< m(r+1)\).
Proof
We start with the following identity, which follows from the formula for the remainder term in Taylor’s theorem:
where \(\beta (r+1)\) is the random variable defined in (4). Replacing z by zY in this formula and then taking expectations, we have from (5) and (11)
Thus, the result follows from (10) with the change \(j=m(r+1)+k\). \(\square \)
Theorem 3
Let \(Y\in {\mathcal {G}}_r\), for some \(r\in \mathbb {N}_0\). Denote by \(\tau _r(j)=\lfloor j/(r+1)\rfloor \). For any \(n\in \mathbb {N}_0\), we have
Moreover, for any \(n\ge \tau _r(j)\), we have
Proof
Note that
By (10) and Theorem 2, we see that
This, together with (17), shows (15). On the other hand, if \(n=\tau _r(j)\), formula (16) directly follows from definition (3). Assume that \(n>\tau _r(j)\). The following combinatorial identity
can be easily shown by induction on p. Using (3), (15) and the preceding identity, we have
This, together with definition (3), shows (16). The proof is complete. \(\square \)
The classical Stirling numbers of the second kind S(j, m) can also be defined by means of the equations
In this sense, formula (15) may be thought as the probabilistic counterpart of (18).
Corollary 1
Let \(Y\in {\mathcal {G}}_0\). Then,
Proof
Let \(0\le m \le j\). By (5) and the second equality in (9), we see that \(|S_Y(j,m)|\le S_{|Y|}(j,m)\). Applying (15) with \(r=0\), we get
This completes the proof. \(\square \)
This result extends the well-known upper bound for the classical Stirling numbers of the second kind, namely
The case in which \(Y\in {\mathcal {G}}_1\) is real-valued deserves special attention. First, denote by \(\sigma ^2=\mathbb {E}Y^2\) its variance and define the real-valued random variable \({\widetilde{Y}}\) whose distribution function is given by
where \(F_Y\) is the distribution function of Y and it is assumed that \(\sigma ^2>0\). Note that for any function f we have
In the trivial case in which \(Y=0\), a.s., we define \({\widetilde{Y}}=0\), a.s., so that formula (19) still holds. Second, consider the random variable \(W_m({\widetilde{Y}})\) as defined in (6). Finally, recall that if Z is a random variable having the standard normal distribution, then
With these ingredients, we give the following.
Corollary 2
Let \(Y\in {\mathcal {G}}_1\) be real-valued. Then,
whenever \(j\ge 2m\), whereas \(S_Y(j,m)=0\), for \(j<2m\). In particular,
Proof
The proof of (21) follows along the lines of that of Theorem 2, by taking into account (20) and the fact that
as follows from (19). The identities in (22) are a consequence of (21) and the equalities
The proof is complete. \(\square \)
Corollary 3
Let \(Y\in {\mathcal {G}}_1\) be real-valued. Then,
As a consequence, the sequence \(\mathbb {E}S_n^{2j}/(n)_j, n\ge j\), decreases to \(\mathbb {E}(\sigma Z)^{2j}\).
Moreover, for any \(n\ge j\), we have
Proof
As follows from (21), the Stirling numbers \(S_Y(2j,m)\) are positive. This, together with (22) and (23), implies that the sequence \(\mathbb {E}S_n^{2j}/(n)_j, n\ge j\), decreases to \(S_Y(2j,j)=\mathbb {E}(\sigma Z)^{2j}\). The remaining assertions readily follow from Theorem 3 by choosing \(r=1\). The proof is complete. \(\square \)
Let \(Y\in {\mathcal {G}}_1\) be real-valued. Traditionally, the problem of convergence concerning the moments \(\mathbb {E}S_n^j\), as \(n\rightarrow \infty \), is carried out by establishing first the central limit theorem
and afterward showing (see, for instance, von Bahr [20]) that
The explicit expressions in Corollaries 2 and 3 directly give us the precise asymptotic behaviour of the moments \(\mathbb {E}S_n^j\) as far as rates of convergence and leading coefficients are concerned. Note, in particular, that the odd moments \(\mathbb {E}S_n^{2j+1}\) have the order of magnitude of \((n)_j\) (resp. \((n)_{j-1}\)) with leading coefficients \(S_Y(2j+1,j)\) (resp. \(S_Y(2j+1,j-1)\)) in the case that \(\mathbb {E}Y^3\ne 0\) (resp. \(\mathbb {E}Y^3=0\)), as follows from (22).
On the other hand, \(\mathbb {E}S_n^{2j}/(n)_j\) decreasingly converges to \(\mathbb {E}(\sigma Z)^{2j}\). This monotonicity property is no longer true, in general, for the odd moments, since the leading coefficient of \(\mathbb {E}S_n^{2j+1}/(n)_j\) depends on \(\mathbb {E}Y^3\). Another consequence of formula (24) is that, with the help of (22), we can quickly compute the moments \(\mathbb {E}S_n^j\) for any \(n\ge j\) in terms of the corresponding moments for \(n<j\).
4 Lévy Processes and Centered Subordinators
Lévy processes are, in continuous time, the analogue to sums of independent identically distributed random variables in discrete time. It therefore seems plausible to obtain for such processes similar moment results to those given in the preceding section. Recall that a Lévy process \((Y(t))_{t\ge 0}\) is a stochastically continuous process starting at the origin and having independent stationary increments. A subordinator \((X(t))_{t\ge 0}\) is a Lévy process having right continuous nondecreasing paths.
Let \((W(t))_{t\ge 0}\) be a zero mean square integrable Lévy process whose characteristic function is given by (cf. Steutel and van Harn [17, p. 181])
where K(dx) is a Lévy measure on \(\mathbb {R}\), which puts mass 0 on \(\{0\}\) and satisfies
The characteristic function (25) can be written as
where \(\beta (2)\) is defined in (4) and U is a random variable independent of \(\beta (2)\), with distribution function
We see from (26) that \(\mathbb {E}W(t)=0\) and \(\mathbb {E}W^2(t)=t\kappa ^2\), \(t\ge 0\), so that \(\kappa ^2\) is the variance of W(1).
Now, let \((B(t))_{t\ge 0}\) be a standard Brownian motion on \(\mathbb {R}\), independent of \((W(t))_{t\ge 0}\) and define the Lévy process \((Y(t))_{t\ge 0}\) by setting
Observe that \(\mathbb {E}Y(t)=0\), \(\mathbb {E}Y^2(t)=t(\kappa ^2 +\sigma ^2)\), \(t\ge 0\), and
as follows from (26) and (27). Let V be a random variable uniformly distributed on [0, 1] and independent of \(\beta (2)\) and U. Then, we can rewrite (28) as
where
On the other hand, a subordinator \((X(t))_{t\ge 0}\) is called centered if \(\mathbb {E}(X(t)-t)=0\) and \(\mathbb {E}(X(t)-t)^2<\infty , t\ge 0\). In such a case, the characteristic function of X(t) is then given by (cf. Steutel and van Harn [17, p. 107] and [2])
where T is a nonnegative random variable. Denote by \(\tau ^2=\mathbb {E}T\). This notation comes from the fact that \(\mathbb {E}(X(t)-t)^2=t\tau ^2, t\ge 0\). Consider the nonnegative random variable \(T^*\) whose distribution function is given by
and equal to zero for \(y<0\), where \(F_T\) is the distribution function of T and it is assumed that \(\tau ^2>0\). In the case in which \(T=0\), a.s., we simply define \(T^*=0\), a.s. Observe that for any function f we have
It turns out that (cf. [2])
where the random variables \(T^*\) and \(\beta (2)\) are independent. The main difference between formulas (29) and (31) is that \(T_\star \) is real-valued, whereas \(T^*\) is nonnegative. We finally observe that if \((X(t))_{t\ge 0}\) is the standard Poisson process, then \(T=T^*=1\), whereas for the gamma process, the random variables T and \(T^*\) have the probability densities \(\rho (\theta )=e^{-\theta }\) and \(\rho ^*(\theta )=\theta e^{-\theta }, \theta \ge 0\), respectively.
Once representations (29) and (31) are given, we can obtain closed-form expressions for the moments of Y(t) and \(X(t)-t\) in a simple way, as the following result shows.
Theorem 4
Assume that \(T_\star \) and \(T^*\), appearing in (30) and (31), respectively, belong to \({\mathcal {G}}_0\). For any \(j\in \mathbb {N}_0\) and \(t\ge 0\), we have
and
Moreover, the functions \(g_{2j}(t)\) and \(h_j(t)\) are completely monotonic.
Proof
The identities in Theorem 4 follow by expanding the characteristic functions given in (29) and (31), and recalling (20). The last statements concerning complete monotonicity follow from the facts that \(\mathbb {E}W_m(T_\star )^{2(j-m)}\) and \(\mathbb {E}W_m(T^*)^{j-2m}\) are nonnegative for \(m\le \lfloor j/2\rfloor \). The proof is complete. \(\square \)
With respect to Theorem 4, similar comments to those made after Corollary 3 are valid. Details are omitted.
5 Edgeworth Expansions
Let \(y\in \mathbb {R}\) and let Z be a random variable having the standard normal density
Denote by G(y) the standard normal distribution function. Recall that the Hermite polynomials \((H_n(y))_{n\ge 0}\) are defined by
Since
differentiation under the integral sign with respect to y gives us
Let \(Y\in {\mathcal {G}}_0\) be a real-valued random variable having an integrable characteristic function. Suppose that \(\mathbb {E}Y=0\) and \(\mathbb {E}Y^2=1\). Denote by \(F_n(y)\) the distribution function of \(S_n/\sqrt{n}\). Under such circumstances, it is well known (see, for instance, Petrov [15, p. 117]) that
We will show that the Edgeworth expansion of \(F_n(y)-G(y)\) can be described in a simple way in terms of the Stirling numbers associated with the complex-valued random variable
where Y and Z are supposed to be independent. To this end, fix \(r=2,3,\ldots \) Consider the sets
and
We are in a position to state the following.
Theorem 5
Let \(Y\in {\mathcal {G}}_0\) be a real-valued random variable having an integrable characteristic function. Assume that \(\mathbb {E}Y^k=\mathbb {E}Z^k, k=1,2,\ldots ,r\) for some \(r\ge 2\). For any \(n\in \mathbb {N}\) and \(y\in \mathbb {R}\), we have
Proof
Let \(\xi \in \mathbb {R}\). By (34), the integrand in (33) can be written as
By Lemma 2, the random variable \({\widehat{Y}}\) belongs to \({\mathcal {G}}_r\). We therefore have from Theorem 2 and (35)
Hence, integrating (37) with respect to \(\xi \), the conclusion follows from (32). The proof is complete. \(\square \)
Fix \(r\ge 2\). Compared with the usual full Edgeworth expansions, Theorem 5 gives us an explicit and relatively simple expansion of \(F_n(y)-G(y)\), making clear, at the same time, that its order of magnitude is that of \(n^{-(r-1)/2}\), provided that the first moments of Y and Z (up to the order \(r\ge 2\)) coincide. The coefficients in this expansion depend on the Stirling numbers \(S_{{\widehat{Y}}}(j,m)\) associated with the complex-valued random variable \({\widehat{Y}}\) defined in (34). As noted after Theorem 1, such numbers are actually real numbers, which can be evaluated by means of Theorem 2.
For instance, let us evaluate the leading coefficient in (36). As follows from (35), we have \(\Delta _{r-1}=\{(1,r+1)\}\). Thus, the leading coefficient in (36) is equal to
as follows from Theorem 2. On the other hand, if \(r+1\) is odd, it can be checked from (34) that \(\mathbb {E}{\widehat{Y}}^{r+1}=\mathbb {E}Y^{r+1}\), whereas if \(r+1=2s\), we have from (20) and the moment assumptions in Theorem 5
6 Cumulants
Recall that the cumulant generating function of a random variable \(Y\in {\mathcal {G}}_0\) is defined as
where the coefficients \((\kappa _j(Y))_{j\ge 1}\) are called the cumulants of Y. Such cumulants can be written in terms of the Stirling numbers \(S_Y(j,m)\), as shown in the following result.
Theorem 6
Let \(Y\in {\mathcal {G}}_0\). For any \(j\in \mathbb {N}\), we have
Proof
Using the expression
and choosing z in a neighborhood of the origin so that \(|\mathbb {E}e^{zY}-1|<1\), we get
In view of (38), this shows the first equality in (39). The second one readily follows from definition (3) and the well-known combinatorial identity
The proof is complete. \(\square \)
We finally mention that, in certain particular cases, we find for the cumulants simpler formulas than those given in (39). For instance, in the case of the Lévy processes considered in (29), it can be checked that
A similar formula holds for the centered subordinators defined in (31).
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York (1992)
Adell, J.A., Lekuona, A.: Berry-Esseen bounds for standardized subordinators via moduli of smoothness. J. Theor. Probab. 20, 221–235 (2007)
Adell, J.A., Lekuona, A.: A probabilistic generalization of the Stirling numbers of the second kind. J. Number Theory 194, 335–355 (2019)
Adell, J.A., Lekuona, A.: A unified approach to higher order convolutions within a certain subset of Appell polynomials, Mediterr. J. Math. 17(2), Art. 63, 17 pp (2020)
Barbour, A.D.: Asymptotic expansions based on smooth functions in the central limit theorem. Probab. Theory Related Fields 72, 289–303 (1986)
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)
Comtet, L.: Advanced Combinatorics. The Art of Finite and Infinite Expansions, Reidel, Dordrecht (1974)
Dilcher, K., Vignat, C.: General convolution identities for Bernoulli and Euler polynomials. J. Math. Anal. Appl. 435(2), 57–72 (2013)
El-Desouky, B.S., Cakić, N.P., Shiha, F.A.: New family of Whitney numbers. Filomat 31(2), 309–320 (2017)
Hall, P.: Bounds of the rate of convergence of moments in the central limit theorem. Ann. Probab. 10(4), 1004–1018 (1982)
Hsu, L.C., Shiue, P.J.-S.: A unified approach to generalized Stirling numbers. Adv. Appl. Math. 20(3), 366–384 (1998)
Kane, J.M.: Monotonic approach to central limits. Proc. Am. Math. Soc. 129(7), 2127–2133 (2001)
Luo, Q.-M., Srivastava, H.M.: Some generalizations of the Apostol-Genocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput. 217(12), 5702–5728 (2011)
Mrowiec, J., Rajba, T., Wasowicz, S.: On the classes of higher-order Jensen-convex functions and Wright-convex functions. J. Math. Anal. Appl. 450(2), 1144–1147 (2017)
Petrov, V.V.: Sums of Independent Random Variables. Springer, New York (1975)
Rinott, Y., Rotar, V.I.: On Edgeworth expansions for dependency-neighborhoods chain structures and Stein’s method. Probab. Theory Related Fields 126, 528–570 (2003)
Steutel, F.W., van Harn, K.: Infinite Divisibility of Probability Distributions on the Real Line. Marcel Dekker, Inc., New York (2004)
Sun, P.: Product of uniform distributions and Stirling numbers of the first kind. Acta Math. Sin. (Engl. Ser.) 21, 1435–1442 (2005)
Teicher, H.: An inequality on Poisson probabilities. Ann. Math. Statist. 26, 147–149 (1955)
von Bahr, B.: On the convergence of moments in the central limit theorem. Ann. Math. Statist. 36, 808–818 (1965)
Acknowledgements
We thank the referees for their careful reading of the manuscript and for their comments and suggestions, which greatly improved the final outcome. This work was partially supported by Ministerio de Ciencia, Innovación y Universidades, Project PGC2018-097621-B-I00.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Adell, J.A. Probabilistic Stirling Numbers of the Second Kind and Applications. J Theor Probab 35, 636–652 (2022). https://doi.org/10.1007/s10959-020-01050-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-020-01050-9