On sums of Apéry polynomials and related congruences

From MaRDI portal
Publication:452397




Abstract: The Ap'ery polynomials are given by A_n(x)=sum_{k=0}^n�inom nk^2�inom{n+k}k^2x^k (n=0,1,2,ldots). (Those An=An(1) are Ap'ery numbers.) Let p be an odd prime. We show that sum_{k=0}^{p-1}(-1)^kA_k(x)equivsum_{k=0}^{p-1}frac{�inom{2k}k^3}{16^k}x^kpmod{p^2}, and that sum_{k=0}^{p-1}A_k(x)equivleft(frac xp ight)sum_{k=0}^{p-1}frac{�inom{4k}{k,k,k,k}}{(256x)^k}pmod{p} for any p-adic integer xotequiv0pmodp. This enables us to determine explicitly sumk=0p1(pm1)kAk mod p, and sumk=0p1(1)kAk mod p2 in the case pequiv2pmod3. Another consequence states that sum_{k=0}^{p-1}(-1)^kA_k(-2)equiv�egin{cases}4x^2-2ppmod{p^2}&mbox{if} p=x^2+4y^2 (x,yinmathbb Z),\0pmod{p^2}&mbox{if} pequiv3pmod4.end{cases} We also prove that for any prime p>3 we have sum_{k=0}^{p-1}(2k+1)A_kequiv p+frac 76p^4B_{p-3}pmod{p^5} where B0,B1,B2,ldots are Bernoulli numbers.



Cites work


Cited in
(41)


Describes a project that uses

Uses Software





This page was built for publication: On sums of Apéry polynomials and related congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q452397)