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.
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.