Supercongruences involving Lucas sequences
Number Theory
2020-12-15 v8
Abstract
For A,B∈Z, the Lucas sequence un(A,B) (n=0,1,2,…) are defined by u0(A,B)=0, u1(A,B)=1, and un+1(A,B)=Aun(A,B)−Bun−1(A,B) (n=1,2,3,…). For any odd prime p and positive integer n, we establish the new result pnupn(A,B)−(pA2−4B)un(A,B)∈Zp, where (p⋅) is the Legendre symbol and Zp is the ring of p-adic integers. Let p be an odd prime and let n be a positive integer. For any integer m≡0(modp), we show that pn1(k=0∑pn−1mk(k2k)−(pΔ)r=0∑n−1mr(r2r))∈Zp and furthermore n1(k=0∑pn−1mk(k2k)−(pΔ)r=0∑n−1mr(r2r))≡mn−1(n−12n−1)up−(pΔ)(m−2,1)(modp2) where Δ=m(m−4). We also pose some conjectures for further research.
Cite
@article{arxiv.1610.03384,
title = {Supercongruences involving Lucas sequences},
author = {Zhi-Wei Sun},
journal= {arXiv preprint arXiv:1610.03384},
year = {2020}
}
Comments
26 pages, refined version