English

On sums of Ap\'ery polynomials and related congruences

Number Theory 2014-04-29 v4 Combinatorics

Abstract

The Ap\'ery polynomials are given by An(x)=k=0n(nk)2(n+kk)2xk  (n=0,1,2,).A_n(x)=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2x^k\ \ (n=0,1,2,\ldots). (Those An=An(1)A_n=A_n(1) are Ap\'ery numbers.) Let pp be an odd prime. We show that k=0p1(1)kAk(x)k=0p1(2kk)316kxk(modp2),\sum_{k=0}^{p-1}(-1)^kA_k(x)\equiv\sum_{k=0}^{p-1}\frac{\binom{2k}k^3}{16^k}x^k\pmod{p^2}, and that k=0p1Ak(x)(xp)k=0p1(4kk,k,k,k)(256x)k(modp)\sum_{k=0}^{p-1}A_k(x)\equiv\left(\frac xp\right)\sum_{k=0}^{p-1}\frac{\binom{4k}{k,k,k,k}}{(256x)^k}\pmod{p} for any pp-adic integer x≢0(modp)x\not\equiv 0\pmod p. This enables us to determine explicitly k=0p1(±1)kAk\sum_{k=0}^{p-1}(\pm1)^kA_k mod pp, and k=0p1(1)kAk\sum_{k=0}^{p-1}(-1)^kA_k mod p2p^2 in the case p2(mod3)p\equiv 2\pmod3. Another consequence states that k=0p1(1)kAk(2){4x22p(modp2)\mboxif p=x2+4y2 (x,yZ),0(modp2)\mboxif p3(mod4).\sum_{k=0}^{p-1}(-1)^kA_k(-2)\equiv\begin{cases}4x^2-2p\pmod{p^2}&\mbox{if}\ p=x^2+4y^2\ (x,y\in\mathbb Z),\\0\pmod{p^2}&\mbox{if}\ p\equiv3\pmod4.\end{cases} We also prove that for any prime p>3p>3 we have k=0p1(2k+1)Akp+76p4Bp3(modp5)\sum_{k=0}^{p-1}(2k+1)A_k\equiv p+\frac 76p^4B_{p-3}\pmod{p^5} where B0,B1,B2,B_0,B_1,B_2,\ldots are Bernoulli numbers.

Keywords

Cite

@article{arxiv.1101.1946,
  title  = {On sums of Ap\'ery polynomials and related congruences},
  author = {Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:1101.1946},
  year   = {2014}
}

Comments

29 pages, final published version