Extended Congruences for Harmonic Numbers

Abstract

We derive $p$-adic expansions for the generalized Harmonic numbers $H_{p-1}^{(j)}$ and $H_{\frac{p-1}{2}}^{(j)}$ involving the Bernoulli numbers $B_j$ and the the base-2 Fermat quotient $q_p$. While most of our results are not new, we obtain them elementarily, without resorting to the theory of $p$-adic L-functions as was the case previously. Moreover, we show that \begin{equation*}\sum_{j=0}^{n-1}\left(\frac{(2^{j+1}-1)}{(j+1)}\frac{(2^{j+2}-1)}{(j+2)}\frac{B_{j+2}}{2^{j}}H^{(j+1)}_{\frac{p-1}{2}}+2(-1)^j\frac{q_p^{j+1}}{j+1}\right)p^j\equiv 0 \pmod {p^n} \end{equation*} holds under the condition that $p>\frac{n+1}{2}$. This is another generalization, modulo any prime power, of the old $p$-congruence $H_{\frac{p-1}{2}}+2q_p\equiv 0\mathrm{mod}p$ attributed to Eisenstein, which is stronger than the one which has been published recently.

32 pages, 0 figure

References in corpus (1)

• p-adic l-functions and sums of powers