Congruences involving g_n(x)=∑ _k=0^n( [ n; k ]) ^2( [ 2k; k ]) x^k

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11139-015-9727-3

2015-01-01

The Ramanujan Journal

Abstract:Define g_n(x)=∑ _k=0^n( [ n; k ]) ^2( [ 2k; k ]) x^k for n=0,1,2,… . Those numbers g_n=g_n(1) are closely related to Apéry numbers and Franel numbers. In this paper we establish some fundamental congruences involving g_n(x) . For example, for any prime p>5 we have ∑ _k=1^p-1g_k(-1)/k≡ 0p^2 and ∑ _k=1^p-1g_k(-1)/k^2≡ 0 p. This is similar to Wolstenholme’s classical congruences ∑ _k=1^p-11/k≡ 0p^2 and ∑ _k=1^p-11/k^2≡ 0 p for any prime p>3 .