Supercongruences related to ${}_3F_2(1)$ involving harmonic numbers

Roberto Tauraso

DOI: https://doi.org/10.48550/arXiv.1701.00729

2017-01-30

Abstract:We show various supercongruences for truncated series which involve central binomial coefficients and harmonic numbers. The corresponding infinite series are also evaluated.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to explore supercongruences related to the hypergeometric series \( _3F_2(1) \), especially the truncated series involving central binomial coefficients and harmonic numbers. Specifically, the author studies series composed of terms in the following forms and their corresponding partial sums:

\[
\frac{(2k)!^3}{64^k k!^6} H_k, \quad \frac{(2k)!^3}{64^k k!^6} H_k^{(2)}, \quad \frac{(2k)!^3}{64^k k!^6} O_k, \quad \frac{(2k)!^3}{64^k k!^6} O_k^{(2)}
\]

where \( H_k^{(r)} \) represents the \( k \)-th generalized harmonic number, and \( O_k^{(r)} \) represents the sum with odd denominators:

\[
H_k^{(r)} = \sum_{j = 1}^k \frac{1}{j^r}, \quad O_k^{(r)} = \sum_{j = 1}^k \frac{1}{(2j - 1)^r}
\]

The main results of the paper include the evaluation of these infinite series and the study of the congruence properties of the truncated series. For example, the author proves the following conclusion:

\[
\sum_{k = 1}^{\infty} \frac{(2k)!^3}{64^k k!^6} O_k=\frac{\pi^2}{6\Gamma(3/4)^4}
\]

For the truncated series, when \( p \) is a prime number greater than 3, we have:

\[
\sum_{k = 1}^{p - 1} \frac{(2k)!^3}{64^k k!^6} O_k \equiv \begin{cases}
0 & \text{if } p \equiv 1 \pmod{4}, \\
-\frac{p}{12} \Gamma_p(1/4)^4 & \text{if } p \equiv 3 \pmod{4}.
\end{cases}
\]

These results show the interesting connection between the classical gamma function and the \( p \)-adic gamma function.