English

New congruences involving harmonic numbers

Number Theory 2024-01-11 v5

Abstract

Let p>3p>3 be a prime. For any pp-adic integer aa, we determine k=0p1(ak)(a1k)Hk,  k=0p1(ak)(a1k)Hk(2),  k=0p1(ak)(a1k)Hk(2)2k+1\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k,\ \ \sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k^{(2)},\ \ \sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}k\frac{H_k^{(2)}}{2k+1} modulo p2p^2, where Hk=0<jk1/jH_k=\sum_{0<j\le k}1/j and Hk(2)=0<jk1/j2H_k^{(2)}=\sum_{0<j\le k}1/j^2. In particular, we show that \begin{gather*}\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k\equiv(-1)^{\langle a\rangle_p}\,2\left(B_{p-1}(a)-B_{p-1}\right)\pmod p, \\\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k^{(2)}\equiv -E_{p-3}(a)\pmod p, \\(2a-1)\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}k\frac{H_k^{(2)}}{2k+1}\equiv B_{p-2}(a)\pmod p, \end{gather*} where ap\langle a\rangle_p stands for the least nonnegative integer rr with ar(modp)a\equiv r\pmod{p}, and Bn(x)B_n(x) and En(x)E_n(x) denote the Bernoulli polynomial of degree nn and the Euler polynomial of degree nn respectively. We also pose some new conjectures on congruences.

Keywords

Cite

@article{arxiv.1407.8465,
  title  = {New congruences involving harmonic numbers},
  author = {Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:1407.8465},
  year   = {2024}
}

Comments

32 pages, final published version

R2 v1 2026-06-22T05:17:43.062Z