Using Watson's terminating $ _8\phi_7 $ transformation formula, we prove a family of $ q $-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019), 1636-646]. As an application, we deduce two supercongruences modulo $ p^4 $ ($ p $ is an odd prime) and their $ q $-analogues. This also partially confirms a special case of Swisher's (H.3) conjecture.
Citation: Victor J. W. Guo. A family of $ q $-congruences modulo the square of a cyclotomic polynomial[J]. Electronic Research Archive, 2020, 28(2): 1031-1036. doi: 10.3934/era.2020055
Using Watson's terminating $ _8\phi_7 $ transformation formula, we prove a family of $ q $-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019), 1636-646]. As an application, we deduce two supercongruences modulo $ p^4 $ ($ p $ is an odd prime) and their $ q $-analogues. This also partially confirms a special case of Swisher's (H.3) conjecture.
| [1] |
G. Gasper and M. Rahman, Basic Hypergeometric Series, Encyclopedia of Mathematics and Its Applications, 96, Cambridge University Press, Cambridge, 2004. doi: 10.1017/CBO9780511526251
|
| [2] |
C.-Y. Gu and V. J. W. Guo, $q$-Analogues of two supercongruences of Z.-W. Sun, Czechoslovak Math. J., in press. doi: 10.21136/CMJ.2020.0516-18
|
| [3] |
V. J. W. Guo, Common $q$-analogues of some different supercongruences, Results Math., 74 (2019), 15pp. doi: 10.1007/s00025-019-1056-1
|
| [4] |
V. J. W. Guo, Proof of a generalization of the (B.2) supercongruence of Van Hamme through a $q$-microscope, Adv. in Appl. Math., 116 (2020), 19pp. doi: 10.1016/j.aam.2020.102016
|
| [5] |
V. J. W. Guo, $q$-Analogues of Dwork-type supercongruences, J. Math. Anal. Appl., 487 (2020), 9pp. doi: 10.1016/j.jmaa.2020.124022
|
| [6] |
$q$-Analogues of two Ramanujan-type formulas for $1/\pi$. J. Difference Equ. Appl. (2018) 24: 1368-1373.
|
| [7] |
V. J. W. Guo and M. J. Schlosser, Some new $q$-congruences for truncated basic hypergeometric series: Even powers, Results Math., 75 (2020), 15pp. doi: 10.1007/s00025-019-1126-4
|
| [8] |
Some $q$-supercongruences for truncated basic hypergeometric series. Acta Arith. (2015) 171: 309-326.
|
| [9] |
A $q$-microscope for supercongruences. Adv. Math. (2019) 346: 329-358.
|
| [10] |
On a $q$-deformation of modular forms. J. Math. Anal. Appl. (2019) 475: 1636-1646.
|
| [11] |
V. J. W. Guo and W. Zudilin, A common $q$-analogue of two supercongruences, Results Math., 75 (2020), 11pp. doi: 10.1007/s00025-020-1168-7
|
| [12] |
Some supercongruences on truncated $_3F_2$ hypergeometric series. J. Difference Equ. Appl. (2018) 24: 438-451.
|
| [13] |
On Van Hamme's (A.2) and (H.2) supercongruences. J. Math. Anal. Appl. (2019) 471: 613-622.
|
| [14] |
Some supercongruences occurring in truncated hypergeometric series. Adv. Math. (2016) 290: 773-808.
|
| [15] |
H.-X. Ni and H. Pan, Some symmetric $q$-congruences modulo the square of a cyclotomic polynomial, J. Math. Anal. Appl., 481 (2020), 12pp. doi: 10.1016/j.jmaa.2019.07.062
|
| [16] |
Generalized Legendre polynomials and related supercongruences. J. Number Theory (2014) 143: 293-319.
|
| [17] |
On sums of Apéry polynomials and related congruences. J. Number Theory (2012) 132: 2673-2699.
|
| [18] |
H. Swisher, On the supercongruence conjectures of van Hamme, Res. Math. Sci., 2 (2015), 21pp. doi: 10.1186/s40687-015-0037-6
|
| [19] | L. Van Hamme, Some conjectures concerning partial sums of generalized hypergeometric series, in $p$-Adic Functional Analysis, Lecture Notes in Pure and Appl. Math., 192, Dekker, New York, 1997,223–236. |
| [20] | C. Wang and H. Pan, On a conjectural congruence of Guo, preprint, arXiv: 2001.08347. |