Arithmetic theory of harmonic numbers (II)
For k=1,2,… let Hk denote the harmonic number ∑j=1k1/j. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime p>3 we have ∑k=1p−1k2kHk≡247pBp−3(modp2), ∑k=1p−1k2kHk,2≡−83Bp−3(modp), and ∑k=1p−1k2nHk,2n2≡6n+1(2n−16n+1)+npBp−1−6n(modp2) for any positive integer n<(p−1)/6, where B0,B1,B2,… are Bernoulli numbers, and Hk,m:=∑j=1k1/jm.