Abstract:In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme.
What problem does this paper attempt to address?
This paper attempts to solve the problems of supercongruences related to the evaluation of special truncated hypergeometric series. Specifically, the author uses hypergeometric evaluation identities to prove several supercongruence relations of truncated hypergeometric series involving special evaluations and solves a conjecture of van Hamme.
The following are the specific problems and conclusions mentioned in the paper:
1. **Ramanujan - type supercongruences**:
The author first proves a conjecture proposed by van Hamme about Ramanujan - type supercongruences. The form of this conjecture is as follows:
\[
\sum_{k = 0}^{\frac{p - 1}{2}}(4k + 1)\left(\frac{(1/2)_k}{k!}\right)^3(- 1)^k\equiv(-1)^{\frac{p - 1}{2}}p\pmod{p^3}
\]
where \((a)_k=a(a + 1)\cdots(a + k - 1)\) is the rising factorial.
2. **Other supercongruences**:
The paper also explores other forms of supercongruence relations, for example:
- For prime \(p>3\),
\[
\sum_{k = 0}^{\frac{p - 1}{2}}(6k + 1)\left(\frac{(1/2)_k}{k!}\right)^3\frac{(-1)^k}{8^k}\equiv(-1)^{\frac{p^2 - 1}{8}}+\frac{p - 1}{2}p\pmod{p^2}
\]
- Another similar conjecture:
\[
\sum_{k = 0}^{\frac{p - 1}{2}}(6k + 1)\left(\frac{(1/2)_k}{k!}\right)^3\frac{(-1)^k}{8^k}\equiv(-1)^{\frac{p^2 - 1}{8}}+\frac{p - 1}{2}p\pmod{p^3}
\]
3. **Methods and tools**:
The author uses a variety of mathematical tools and techniques to prove these supercongruence relations, including:
- Hypergeometric evaluation identities
- Combinatorial identities
- \(p\)-adic gamma function
- Some special formulas of Whipple and Gosper
Through these tools, the author not only proves van Hamme's conjecture, but also establishes some new supercongruence relations and provides a framework and methods for future research.
In summary, the main purpose of this paper is to prove and explain certain specific types of supercongruence relations through hypergeometric evaluation identities and other mathematical tools, especially in the context of truncated hypergeometric series.