Abstract
In this paper, we introduce multi-Lah numbers and multi-Stirling numbers of the first kind and recall multi-Bernoulli numbers, all of whose generating functions are given with the help of multiple logarithm. The aim of this paper is to study several relations among those three kinds of numbers. In more detail, we represent the multi-Bernoulli numbers in terms of the multi-Stirling numbers of the first kind and vice versa, and the multi-Lah numbers in terms of multi-Stirling numbers. In addition, we deduce a recurrence relation for multi-Lah numbers.
Similar content being viewed by others
1 Introduction
As is well known, the unsigned Stirling number \({n\brack r}\) counts the number of permutations of a set with n elements which are products of r disjoint cycles. We generalize these numbers to the multi-Stirling numbers of the first kind \(S_{1}^{(k_{1},k_{2},\dots ,k_{r})}(n,r)\) (see (10)) which reduce to the unsigned Stirling numbers of the first kind for \((k_{1},k_{2},\dots ,k_{r})=(1,1,\dots ,1)\). Indeed, \(S_{1}^{(1,1,\dots ,1)}(n,r)={n\brack r}\).
It is also well known that the unsigned Lah number \(L(n,k)\) counts the number of ways a set of n elements can be partitioned into k nonempty linearly ordered subsets. These numbers are generalized to the multi-Lah numbers \(L^{(k_{1},k_{2},\dots ,k_{r})}(n,r)\) (see (18)) which reduce to the unsigned Lah numbers for \((k_{1},k_{2},\dots ,k_{r})=(1,1,\dots ,1)\). In fact, \(L^{(1,1,\dots ,1)}(n,r)=L(n,r)\).
In addition, we need to recall the multi-Bernoulli numbers \(B_{n}^{(k_{1},k_{2},\dots ,k_{r})}\) (see (9)) which were introduced earlier under the different name of generalized Bernoulli numbers of order r in [7]. These numbers reduce to the Bernoulli numbers of order r up to some constants. Indeed, we see that \(B_{m}^{(1,1,\dots ,1)}=\frac{1}{r!}(-1)^{m}B_{m}^{(r)}\).
The common feature of those three kinds of numbers is that they are all defined with the help of the multiple logarithm \(\mathrm{Li}_{k_{1},k_{2},\dots ,k_{r}}(z)\) (see (8)), which reduces to the polylogarithm \(\mathrm{Li}_{k_{1}}(z)\), for \(r=1\).
The aim of this paper is to study several relations among those three kinds of numbers. In more detail, we represent the multi-Bernoulli numbers in terms of the multi-Stirling numbers of the first kind and vice versa, and the multi-Lah numbers in terms of multi-Stirling numbers. Moreover, we deduce a recurrence relation for multi-Lah numbers. For the rest of this section, we recall the necessary facts that will be needed throughout this paper.
The unsigned Stirling numbers \(L(n,k)\) are defined by
where \(\langle x\rangle _{0}=1, \langle x\rangle _{n}=x(x+1)\cdots (x+n-1), n \ge 1 \), and \((x)_{0}=1, (x)_{n}=x(x-1)\cdots (x-n+1), n \ge 1\).
The inverse formula of (1) is given by
From (1), we can derive the generating function of unsigned Lah numbers given by
Thus, we note that
The Stirling numbers of the first kind are defined by
and the Stirling numbers of the second kind are defined by
From (4) and (5), we note that
and
For any \(k_{i}\ge 1\ (1\le i\le r)\), and \(|z|<1\), the multiple logarithm is defined by
If \(r=1\), \(\mathrm{Li}_{k_{1}}(z)=\sum_{m=1}^{\infty } \frac{z^{m}}{m^{k_{1}}}\) is the polylogarithm.
The multi-Bernoulli numbers, which are called the generalized Bernoulli numbers of order r in [7], are defined by
From (13), we note that
where \(B_{n}^{(r)}\) are the Bernoulli numbers of order r given by
2 Multi-Lah numbers and multi-Stirling numbers of the first kind
Now, we define the multi-Stirling numbers of the first kind by
where \(k_{i}\ge 1\ (1\le i\le r-1)\), \(k_{r}\ge 2\), and \(|t|<1\).
From (8), we note that
Let us take \(k_{r}=1\) in (11). Then we have
We claim that the following relations hold. For this, we only need to show the first equality which we prove by induction on r:
If \(r=1\), then \(\mathrm{Li}_{1}(t)=\sum_{m=1}^{\infty }\frac{t^{m}}{m}=-\log (1-t)\), as we wanted. Assume that \(r \ge 2\) and that the relationship holds for \(r-1\). By (12) and induction hypothesis, we get
Now, by (14) we obtain
Thus our proof is completed. From (10), we note that
Therefore, by (13) and (16), we obtain the following lemma.
Lemma 1
For \(n,r\ge 1\), we have
where \({n\brack r}\) are the unsigned Stirling numbers of the first kind.
We observe that
Therefore, by (9) and (17), we obtain the following theorem.
Theorem 2
For \(k_{i}\ge 1\ (i=1,2,\dots ,r)\), and \(n\ge 0\), we have
For any integer \(k_{i}\ (i=1,2,\dots ,r)\), in the view of (9), we define \(L^{(k_{1},k_{2},\dots ,k_{r})}(n,r)\) for \(n,r\ge 0\), which are called multi-Lah numbers, as
From (13), we note that
Thus, by (19), we get
For \(n\ge 1\), from (8) and (18), we get
From (20), we note that
Therefore, by comparing the coefficients on both sides of (21), we obtain the following theorem.
Theorem 3
For any \(k_{i}\ge 1\ (i=1,2,\dots ,r)\), and \(n,r\in \mathbb{N}\), we have
Replacing t by \(-\log (1-t)\) in (9), we get
On the other hand, by (10), we get
Therefore, by (22) and (23), we obtain the following theorem.
Theorem 4
For each \(k_{i}\ge 1\ (i=1,2,\dots ,r), n\ge 0\), and \(r\in \mathbb{N}\), we have
Now, we observe that
Therefore, by comparing the coefficients on both sides of (24), we obtain the following theorem.
Theorem 5
For each \(k_{i}\ (i=1,2,\dots ,r)\), and \(n,r\in \mathbb{N}\), with \(n\ge r\), we have
3 Conclusion
There are various ways of studying special polynomials and numbers which include generating functions, combinatorial methods, p-adic analysis, umbral calculus, special functions, differential equations, and probability theory. In this paper, using the generating function method and by making use of the multiple logarithm, we studied three kinds of numbers, namely the multi-Stirling numbers of the first kind, the multi-Lah numbers, and the multi-Bernoulli numbers, which reduce respectively to the unsigned Stirling numbers of the first kind, the Lah numbers, and the higher-order Bernoulli numbers up to constants when the index is specialized to \((k_{1},k_{2},\dots ,k_{r})=(1,1,\dots ,1)\). We deduced several relations among those numbers. In more detail, we expressed the multi-Bernoulli numbers in terms of the multi-Stirling numbers of the first kind and vice versa, and the multi-Lah numbers in terms of multi-Stirling numbers. Further, we derived a recurrence relation for multi-Lah numbers.
It is our continuous interest to explore some special numbers and polynomials by using different tools like those mentioned above.
Availability of data and materials
Not applicable.
References
Borwein, J.M., Chan, O.-Y.: Duality in tails of multiple-zeta values. Int. J. Number Theory 6(3), 501–514 (2010)
Comtet, L.: Advanced Combinatorics, the Art of Finite and Infinite Expansions, Revised and enlarged edn. Reidel, Dordrecht (1974)
Kim, D.S., Kim, T.: Lah–Bell numbers and polynomials. Proc. Jangjeon Math. Soc. 23(4), 577–586 (2020)
Kim, D.S., Kim, T.: A note on a new type of degenerate Bernoulli numbers. Russ. J. Math. Phys. 27(2), 227–235 (2020)
Kim, D.S., Kim, T.: r-extended Lah–Bell numbers and polynomials associated with r-Lah numbers. Proc. Jangjeon Math. Soc. 24(1), 1–10 (2021)
Kim, H.K.: Degenerate Lah–Bell polynomials arising from degenerate Sheffer sequences. Adv. Differ. Equ. 2020, Article ID 687 (2020)
Kim, M.-S., Kim, T.: An explicit formula on the generalized Bernoulli number with order n. Indian J. Pure Appl. Math. 31(11), 1455–1461 (2000)
Roman, S.: The Umbral Calculus. Pure and Applied Mathematics, vol. 111. Academic Press, New York (1984)
Acknowledgements
Not applicable.
Funding
This work was supported by the Basic Science Research Program, the National Research Foundation of Korea (NRF-2021R1F1A1050151).
Author information
Authors and Affiliations
Contributions
DSK, HKK, and TK conceived of the framework and structured the whole paper; TK and DSK wrote the paper; DSK, HKK, and TK completed the revision of the article; HL and SP checked the errors of the article. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Kim, D.S., Kim, H.K., Kim, T. et al. Multi-Lah numbers and multi-Stirling numbers of the first kind. Adv Differ Equ 2021, 411 (2021). https://doi.org/10.1186/s13662-021-03568-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03568-6