No label defined (Q4501434)

Let \(\{w_n\}\) be the class of second-order linear recurrence sequences satisfying \(w_{n+2}= Aw_{n+1}-Bw_n\) with \(B\neq 0\), and let \(s,t\) be complex numbers. The authors give sufficient and necessary conditions for the identity \(w_{pn+r}=\sum^n_{k=0} {n\choose k}t^{n-k}s^k w_{qk+r}\). Furthermore, if \(\{u_n\}\) is the sequence in this class with initial terms \(u_0=0\) and \(u_1=1\), then, for all positive integers \(l,m\) and an integer-valued arithmetic function \(f\) such that \(w_{f(n)}\neq 0\), they prove that the identity \[ \sum^{l-1}_{k=0} {B^{f(k)}u_{f(k+m)- f(k)}\over w_{f(k)} w_{f(k+m)}}= \sum^{m-1}_{k=0} {B^{f(k)} u_{f(k+l)-f(k)} \over w_{f(k)} w_{f(k+l)}} \] holds.