Abstract
We prove some q-supercongruences for certain truncated basic hypergeometric series by making use of Andrews’ multiseries generalization of the Watson transformation, the creative microscoping method, and the Chinese remainder theorem for coprime polynomials. More precisely, we confirm Conjectures 5.2 and 5.3 in Guo (Adv Appl Math 116:Art. 102016, 2020). As a conclusion, we also prove Conjecture 4.3 in Guo (Integral Transforms Spec Funct 28:888–899, 2017) which may be deemed a generalization of the (C.2) supercongruence of Van Hamme.
Similar content being viewed by others
References
Andrews, G.E.: Problems and prospects for basic hypergeometric functions. In: Askey, R.A. (ed.) Theory and Application for Basic Hypergeometric Functions, Mathematics Research Center, University of Wisconsin, Publications No. 35, pp. 191–224. Academic Press, New York (1975)
Bauer, G.: Von den coefficienten der Reihen von Kugelfunctionen einer variabeln. J. Reine Angew. Math. 56, 101–121 (1859)
Borwein, J.M., Borwein, P.B.: Pi and the AGM. Canadian Mathematical Society Series of Monographs and Advanced Texts, vol. 4. Wiley, New York (1998)
Berndt, B.: Ramanujan’s Notebooks. Part IV. Springer, New York (1994)
Gasper, G., Rahman, M.: Basic Hypergeometric Series, 2nd Edition, Encyclopedia of Mathematics and Its Applications, vol. 96. Cambridge University Press, Cambridge (2004)
Gorodetsky, O.: \(q\)-Congruences, with applications to supercongruences and the cyclic sieving phenomenon. Int. J. Numb. Theory 15, 1919–1968 (2019)
Gu, CY., Guo, V.J.W. Two \(q\)-congruences from Carlitz’s formula. Period. Math. Hung. (2020). https://doi.org/10.1007/s10998-020-00341-2
Guo, V.J.W.: A \(q\)-analogue of the (A.2) supercongruence of Van Hamme for primes \(p\equiv 1~(\text{ mod }\,4)\). Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 114, Art. 123 (2020)
Guo, V.J.W.: Some generalizations of a supercongruence of van Hamme. Integral Transforms Spec. Funct. 28, 888–899 (2017)
Guo, V.J.W.: Common \(q\)-analogues of some different supercongruences. Results Math. 74, Art 131 (2019)
Guo, V.J.W.: Proof of some \(q\)-supercongruences modulo the fourth power of a cyclotomic polynomial. Results Math. 75, Art. 77 (2020)
Guo, V.J.W.: Proof of a generalization of the (B.2) supercongruence of Van Hamme through a \(q\)-microscope. Adv. Appl. Math. 116, Art. 102016 (2020)
Guo, V.J.W.: \(q\)-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping. Adv. Appl. Math. 120, Art. 102078 (2020)
Guo, V.J.W., Liu, J.-C.: Some congruences related to a congruence of Van Hamme. Integral Transforms Spec. Funct. 31, 221–231 (2020)
Guo, V.J.W., Schlosser, M.J.: Some \(q\)-supercongruences from transformation formulas for basic hypergeometric series. Constr. Approx. (in press). https://doi.org/10.1007/s00365-020-09524-z
Guo, V.J.W., Schlosser, M.J.: A family of \(q\)-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. Israel J. Math. 240, 821–835 (2020). https://doi.org/10.1007/s11856-020-2081-1
Guo, V.J.W., Wang, S.-D.: Some congruences involving fourth powers of central \(q\)-binomial coefficients. Proc. R. Soc. Edinburgh Sect. A 150, 1127–1138 (2020)
Guo, V.J.W., Zudilin, W.: A \(q\)-microscope for supercongruences. Adv. Math. 346, 329–358 (2019)
Guo, V.J.W., Zudilin, W.: Dwork-type supercongruences through a creative \(q\)-microscope. J. Combin. Theory Ser. A 178, Art. 105362 (2021)
Hou, Q.-H., Mu, Y.-P., Zeilberger, D.: Polynomial reduction and supercongruences. J. Symbol. Comput. 103, 127–140 (2021)
Li, L., Wang, S.-D.: Proof of a \(q\)-supercongruence conjectured by Guo and Schlosser. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 114, Art. 190 (2020)
Liu, J.-C.: Semi-automated proof of supercongruences on partial sums of hypergeometric series. J. Symbol. Comput. 93, 221–229 (2019)
Liu, J.-C., Petrov, F.: Congruences on sums of \(q\)-binomial coefficients. Adv. Appl. Math. 116, Art. 102003 (2020)
Long, L.: Hypergeometric evaluation identities and supercongruences. Pac. J. Math. 249, 405–418 (2011)
Mortenson, E.: A \(p\)-adic supercongruence conjecture of van Hamme. Proc. Am. Math. Soc. 136, 4321–4328 (2008)
Ni, H.-X., Pan, H.: Some symmetric \(q\)-congruences modulo the square of a cyclotomic polynomial. J. Math. Anal. Appl. 481, Art. 123372 (2020)
Straub, A.: Supercongruences for polynomial analogs of the Apéry numbers. Proc. Am. Math. Soc. 147, 1023–1036 (2019)
Sun, Z.-W.: A refinement of a congruence result by van Hamme and Mortenson. Ill. J. Math. 56, 967–979 (2012)
Tauraso, R.: Some \(q\)-analogs of congruences for central binomial sums. Colloq. Math. 133, 133–143 (2013)
Van Hamme, L.: Some conjectures concerning partial sums of generalized hypergeometric series. \(p\)-Adic Functional Analysis (Nijmegen, 1996), Lecture Notes in Pure and Applications Mathematics, vol. 192, pp. 223–236. Dekker, New York (1997)
Wang, S.-D.: Some supercongruences involving \({2k\atopwithdelims ()k}^4\). J. Differ. Equ. Appl. 24, 1375–1383 (2018)
Wang, X., Yu, M.: Some new \(q\)-congruences on double sums. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 115, Art 9 (2021)
Wang, X., Yue, M.: Some \(q\)-supercongruences from Watson’s \(_8\phi _7\) transformation formula. Results Math. 75, Art. 71 (2020)
Wang, X., Yue, M.: A \(q\)-analogue of the (A.2) supercongruence of Van Hamme for any prime \(p\equiv 3~(\text{ mod } 4)\). Int. J. Number Theory 16, 1325–1335 (2020)
Wilf, H.S., Zeilberger, D.: An algorithmic proof theory for hypergeometric (ordinary and “\(q\)”) multisum/integral identities. Invent. Math. 108, 575–633 (1992)
Zudilin, W.: Ramanujan-type supercongruences. J. Number Theory 129, 1848–1857 (2009)
Zudilin, W.: Congruences for \(q\)-binomial coefficients. Ann. Combin. 23, 1123–1135 (2019)
Acknowledgements
This work was partially supported by the National Natural Science Foundation of China (grant 11771175).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Guo, V.J.W. Proof of a generalization of the (C.2) supercongruence of Van Hamme. RACSAM 115, 45 (2021). https://doi.org/10.1007/s13398-020-00991-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-020-00991-4