Congruences for Bernoulli, Euler, and Stirling numbers (Q1125378)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruences for Bernoulli, Euler, and Stirling numbers |
scientific article |
Statements
Congruences for Bernoulli, Euler, and Stirling numbers (English)
0 references
2 July 2000
0 references
The author uses properties of \(p\)-adic integrals and measures to obtain congruences for higher-order Bernoulli polynomials and numbers. The Bernoulli polynomials of order \(w\), denoted by \(B_n^{(w)}(x)\), are defined by the generating function \(t^w(e^t-1)^{-w}e^{xt}\), and, as usual, \(B_n^{(w)}=B_n^{(w)}(0)\) are the corresponding Bernoulli numbers. The results are typically new generalizations of the classical Kummer congruences. For example, it is shown that \[ \frac{B_{m+w}^{(w)}}{(m+1)_w} \equiv \frac{B_{n+w}^{(w)}}{(n+1)_w} \pmod {p^C\mathbb{Z}_p}, \] provided \(0 \leq m \leq n\) and \(m \equiv n \pmod {(p-1)p^a}\), where the notation \((m+1)_w\) stands for \((m+w)!/m!\). Here the exponent \(a\) is assumed to exceed an explicitly given bound \(M\) depending on \(m\) and \(w\), and \(C\) is another explicit number depending on \(a\) and \(M\). Moreover, a lower bound is given for the \(p\)-adic ordinal of \(B_m^{(w)}\). When \(w\) is fixed and \(m \to\infty\), this bound is asymptotically better than what was known previously. Similar results are proved for the polynomial \(B_m^{(w)}(x)\) at any \(p\)-adic integer \(x\). The same arguments are also applied to the study of higher-order Euler polynomials \(H_n^{(w)}(u,x)\) and of weighted Stirling numbers \(S(n,w,x)\) of the second kind. The polynomials \(H_n^{(w)}(u,x)\) are defined by the generating function \((1-u)^w(e^t-u)^{-w}e^{xt}\), where \(u\) is a fixed algebraic number \(\neq 1\) and \(w\) is a \(p\)-adic integer. The numbers \(S(n,w,x)\) (for \(n \geq w\)) have \((e^t-1)^we^{xt}/w!\) as their generating function, with \(w\) again a nonnegative rational integer. The results proved are analogues of those obtained for Bernoulli numbers.
0 references
Bernoulli numbers
0 references
Euler numbers
0 references
weighted Stirling numbers of the second kind
0 references
Bernoulli polynomials
0 references
Euler polynomials
0 references
congruences
0 references
generating functions
0 references