Stirling numbers with level $2$ and poly-Bernoulli numbers with level $2$

Takao Komatsu
DOI: https://doi.org/10.48550/arXiv.2104.09726
2021-06-09
Abstract:In this paper, we introduce poly-Bernoulli numbers with level $2$, related to the Stirling numbers of the second kind with level $2$, and study several properties of poly-Bernoulli numbers with level $2$ from their expressions, relations, and congruences. Poly-Bernoulli numbers with level $2$ have strong connections with poly-Cauchy numbers with level $2$. In a special case, we can determine the denominators of Bernoulli numbers with level $2$ by showing a von Staudt-Clausen like theorem.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The main problems that this paper attempts to solve include: 1. **Introducing and studying poly - Bernoulli numbers with level 2**: - The paper introduces poly - Bernoulli numbers with level 2 related to Stirling numbers of the second kind with level 2 and studies the properties, expressions, relationships and congruences of these numbers. 2. **Exploring the strong association between poly - Bernoulli numbers with level 2 and poly - Cauchy numbers with level 2**: - Research shows that there is a close connection between poly - Bernoulli numbers with level 2 and poly - Cauchy numbers with level 2, which provides a new perspective for further understanding the properties of these two types of numbers. 3. **Determining the denominator of poly - Bernoulli numbers with level 2 through results similar to the von Staudt - Clausen theorem**: - In specific cases, the paper shows how to determine the denominator of poly - Bernoulli numbers with level 2 by methods similar to the von Staudt - Clausen theorem. ### Specific content #### 1. Introduction of poly - Bernoulli numbers with level 2 The paper defines the generating function of poly - Bernoulli numbers with level 2 \( B_n^{(k)} \) as: \[ \frac{\text{Li}_{2,k}(2\sin(x/2))}{2\sin(x/2)} = \sum_{n = 0}^{\infty} B_n^{(k)} \frac{x^n}{n!} \] where \(\text{Li}_{2,k}(z)\) is the polylogarithm function with level 2, defined as: \[ \text{Li}_{2,k}(z) = \sum_{n = 0}^{\infty} \frac{z^{2n + 1}}{(2n + 1)^k} \] #### 2. Relationship between poly - Bernoulli numbers with level 2 and Stirling numbers The paper gives the explicit expression of poly - Bernoulli numbers with level 2 \( B_n^{(k)} \) involving Stirling numbers of the second kind: \[ B_n^{(k)} = \sum_{m = 0}^{n} {{n \brace m}_2} (- 1)^{n - m} \frac{(2m)!}{(2m + 1)^k} \] where \( {{n \brace m}_2} \) represents Stirling numbers of the second kind. #### 3. Congruence properties The paper explores the congruence properties of poly - Bernoulli numbers with level 2 in the case of negative exponents. For example, for \( n,k\geq1 \), we have: \[ B_{2n}^{(-k)} \equiv 0\pmod{6} \] and gives specific value tables of \( B_{2n}^{(-k)} \) under modulo 5 and modulo 7. #### 4. von Staudt - Clausen - type formula The paper proves a result similar to the von Staudt - Clausen theorem for determining the denominator of poly - Bernoulli numbers with level 2: \[ B_{2n}+\sum_{(p - 1)\mid2n} \frac{(-1)^{n-\frac{p - 1}{2}}}{p} \] is an integer, where the summation range is all odd prime numbers \( p \) such that \( p - 1 \) divides \( 2n \). ### Summary By introducing and studying poly - Bernoulli numbers with level 2, this paper not only extends the classical Bernoulli number theory, but also reveals the profound connection between them and poly - Cauchy numbers with level 2, and provides new insights into the properties, expressions and congruences of these numbers.