A new \(q\)-extension of the (H.2) congruence of Van Hamme for primes \(p\equiv 1\pmod{4}\)
type: Item
instance of: scholarly article
title: A new \(q\)-extension of the (H.2) congruence of Van Hamme for primes \(p\equiv 1\pmod{4}\)
zbMATH Open document ID: 1496.11033
author: Yanyan Li
published in: Results in Mathematics
publication date: 2021-11-09T00:00:00Z
review text: This work enriches the impressive list of papers inspired by the famous congruence (H.2) from \textit {L. van Hamme} [Lect. Notes Pure Appl. Math. 192, 223--236 (1997; Zbl 0895.11051)] \[ \sum^{(p-1)/2}_{k=0} \frac{\left( \frac{1}{2}\right)^3_k}{k!^3} \equiv \begin{cases} -\Gamma_p \left( \frac{1}{4}\right)^4 \quad \pmod{p^2} & \text{if } p\equiv 1 \pmod{4},\\ 0 \pmod{p^2} & \text{if } p\equiv 3 \pmod{4}, \end{cases} \] where \(p\) is an odd prime, \((x)_k=x(x+1) \cdots (x+k-1)\) represents the Pochhammer symbol, and \(\Gamma_p (x)\) is the \(p\)-adic Gamma function. More specifically, the author is motivated by the refinement of \textit {L. Long} and \textit {R. Ramakrishna} [Adv. Math. 290, 773--808 (2016; Zbl 1336.33018)] \[ \sum^{(p-1)/2}_{k=0} \frac{\left( \frac{1}{2}\right)^3_k}{k!^3} \equiv \begin{cases} -\Gamma_p \left( \frac{1}{4}\right)^4 \quad \pmod{p^3} & \text{if } p\equiv 1 \pmod{4},\\ -\frac{p^2}{16} \Gamma_p \left( \frac{1}{4}\right)^4 \quad \pmod{p^3} & \text{if } p\equiv 3 \pmod{4}, \end{cases} \] whose \(q\)-extension of the case \(p\equiv 1 \pmod{4}\) is the main purpose of this paper. Recalling a \(q\)-congruence found by \textit{V. J. W. Guo} [Result. Math. 76, No. 2, Paper No. 109, 12 p. (2021; Zbl 1470.11034)], the author establishes that, for \(n\equiv 1 \pmod{4}\) and \(n>1\), \[ \sum_{k=0}^{(n-1)/2} \frac{(q;q^2)_k^2 (q^2;q^4)_k}{(q^2;q^2)_k^2 (q^4;q^4)_k}q^{2k} \equiv [n] \frac{(q^3;q^4)_{(n-1)/2}}{(q^5;q^4)_{(n-1)/2}}+[n]^3 \sum_{k=0}^{(n-3)/2} \frac{(1+q^{2k+1}) (q^3;q^4)_k}{[2k+1]^2 (q^5;q^4)_k}q^{2k+1} \pmod{\Phi_n(q)^3}, \] where \([n]=(1-q^n)/(1-q)\) is the \(q\)-integer, \((x;q)_n\) is the \(q\)-Pochhammer symbol, and \(\Phi_n(q)\) is the \(n\)th cyclotomic polynomial in \(q\). The author remarks that such achievement differs from a similar result due to \textit{C. Wei} [Result. Math. 76, No. 2, Paper No. 92, 9 p. (2021; Zbl 1470.33015)]. The author also proves two auxiliary theorems by employing the substitution \(q^n=1+t(q) \Phi_…
Mathematics Subject Classification ID: 11B65
Mathematics Subject Classification ID: 33D15
Mathematics Subject Classification ID: 11A07
Mathematics Subject Classification ID: 05A10
Mathematics Subject Classification ID: 33E50
zbMATH DE Number: 7423122
zbMATH Keywords: \(q\)-congruences
zbMATH Keywords: cyclotomic polynomials
zbMATH Keywords: Pochhammer symbol
zbMATH Keywords: harmonic numbers
zbMATH Keywords: gamma functions
describes a project that uses: SIGMA
MaRDI profile type: Publication
full work available at URL: s00025-021-01517-z
OpenAlex ID: W3201996748
cites work: A family of \(q\)-congruences modulo the square of a cyclotomic polynomial
cites work: A family of \(q\)-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial
cites work: A further q-analogue of Van Hamme’s (H.2) supercongruence for primes p ≡ 3(mod4)
cites work: Another family of \(q\)-congruences modulo the square of a cyclotomic polynomial
cites work: A new extension of the (H.2) supercongruence of Van Hamme for primes \(p\equiv 3\operatorname{mod}{4}\)
cites work: Some q-supercongruences for truncated basic hypergeometric series
cites work: On a \(q\)-deformation of modular forms
cites work: Q3999066
cites work: Some supercongruences on truncated hypergeometric series
cites work: On Van Hamme's (A.2) and (H.2) supercongruences
cites work: Some supercongruences occurring in truncated hypergeometric series
cites work: Q4065637
cites work: Q4492826
cites work: Symbolic summation assists combinatorics
cites work: Generalized Legendre polynomials and related supercongruences
cites work: On sums of Apéry polynomials and related congruences
cites work: On sums involving products of three binomial coefficients
cites work: On the supercongruence conjectures of van Hamme
cites work: Q3772278
cites work: Q4357441
cites work: Supercongruences concerning truncated hypergeometric series
cites work: A further \(q\)-analogue of Van Hamme's (H.2) supercongruence for any prime \(p\equiv 1\pmod{4}\)
DOI: 10.1007/S00025-021-01517-Z
description: scientific article