Proof of two conjectures of Z.-W. Sun on congruences for Franel numbers

Abstract

For all nonnegative integers n, the Franel numbers are defined as $$f_n=\sum _{k=0}^n{\left(\genfrac{}{}{0ex}{}{n}{k}\right)}^3.$$ We confirm two conjectures of Z.-W. Sun on congruences for Franel numbers: \sum_{k=0}^{n-1}(3k+2)(-1)^k f_k &\equiv 0 \pmod{2n^2}, \sum_{k=0}^{p-1}(3k+2)(-1)^k f_k &\equiv 2p^2 (2^p-1)^2 \pmod{p^5}, where n is a positive integer and p>3 is a prime.

8 pages, minor changes, to appear in Integral Transforms Spec. Funct

References in corpus (1)

• Supercongruences for Apery-like numbers

Cited by in corpus (3)

• On two congruences involving Apéry and Franel numbers
• Proof of some congruence conjectures of Z.-H. Sun involving Apéry-like numbers
• On two congruence conjectures of Z.-W. Sun involving Franel numbers