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. |