No label defined (Q4786428)

For every integer \(k\), the poly-Bernoulli number \(B_n^{(k)}\), \(n=0,1,2,\ldots\), is defined by \[ \frac 1z \text{ Li}_k(z)\Big|_{z=1-e^{-x}} = \sum_{n=0}^\infty B_n^{(k)} \frac{x^n}{n!}, \] where \(\text{ Li}_k(z)\) denotes the formal power series \(\sum_{m=1}^\infty z^m/m^k\). When \(k=1\), \(B_n^{(1)}\) is the usual Bernoulli number. In the note under review the author gives new proofs of properties of \(B_n^{(k)}\) shown by \textit{T. Arakawa} and \textit{M. Kaneko} [see Comment. Math. Univ. St. Pauli 48, 159-167 (1999; Zbl 0994.11009)]. The first one is a closed formula for \(B_n^{(-k)}\), \(n,k\geq 0\), which he is able to prove without using the Stirling numbers of the second kind. For the second result \[ \sum_{k=0}^\infty\sum_{n=0}^\infty B_n^{(-k)}\frac{x^n}{n!}\frac{y^k}{k!} = \frac{e^{x+y}}{e^x+e^y-e^{x+y}} \] he gives a much simpler proof which is due to D. Zeilberger.